{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 26167664835}, {"parameter": "", "name": "singleton", "value": 11180715}, {"parameter": "2", "name": "ilp_2", "value": 6390150}, {"parameter": "4", "name": "ilp_3", "value": 1744510989}, {"parameter": "", "name": "anticode", "value": 6390150}, {"parameter": "", "name": "linear_programming_bound", "value": 6390150}, {"parameter": "", "name": "sphere_packing", "value": 26167664835}, {"parameter": "1", "name": "ilp_1", "value": 6387029}, {"parameter": "5", "name": "ilp_4", "value": 1519412796}, {"parameter": "6", "name": "ilp_4", "value": 1444380066}, {"parameter": "7", "name": "ilp_4", "value": 844118220}, {"parameter": "8", "name": "ilp_4", "value": 402123653}, {"parameter": "9", "name": "ilp_4", "value": 206044605}, {"parameter": "10", "name": "ilp_4", "value": 101810307}, {"parameter": "11", "name": "ilp_4", "value": 51208150}, {"parameter": "12", "name": "ilp_4", "value": 25529355}, {"parameter": "13", "name": "ilp_4", "value": 12783422}, {"parameter": "", "name": "johnson_1", "value": 6387029}, {"parameter": "", "name": "johnson_2", "value": 12783422}, {"parameter": "0, 3", "name": "Ahlswede_Aydinian", "value": 26167664835}, {"parameter": "0, 4", "name": "Ahlswede_Aydinian", "value": 1744510989}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 1519412796}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 1444380066}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 844118220}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 402123653}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 206044605}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 101810307}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 51208150}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 25529355}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 12783422}, {"parameter": "1, 2", "name": "Ahlswede_Aydinian", "value": 6390150}, {"parameter": "1, 3", "name": "Ahlswede_Aydinian", "value": 6391487}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 6394165}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 6399526}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 6410276}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 6431885}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 6475541}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 6564658}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 6750457}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 7155500}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 8131293}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 11180715}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 26167664835}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 6390150}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 6387029}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1744510989}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1869053697}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 2180372447}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 3269560515}, {"parameter": "", "name": "improved_johnson", "value": 6387029}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 872255494}], "known_codes": [{"nrisotypes": null, "details": "", "file": "", "size": 4177665}, {"nrisotypes": null, "details": "", "file": "", "size": 5996178}], "upper_bound": 6387029, "classified": false, "lower_bound": 6241671, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 4194304}, {"parameter": "", "name": "sphere_covering", "value": 913070}, {"parameter": "", "name": "graham_sloane", "value": 1597245}, {"parameter": "", "name": "construction_2", "value": 4885184}, {"parameter": "", "name": "multicomponent", "value": 4473921}, {"parameter": "", "name": "construction_ST_B", "value": 4488110}, {"parameter": "[(0, 1, 2), (2, 3, 4), (1, 3, 5), (0, 4, 5), (0, 3, 6), (1, 4, 6), (2, 5, 6), (4, 7, 8), (5, 7, 9), (0, 8, 9), (0, 7, 10), (6, 7, 11), (5, 8, 10), (2, 8, 11), (2, 7, 12), (3, 9, 10), (3, 7, 13), (4, 9, 11), (1, 8, 12), (6, 9, 12), (1, 10, 11), (6, 8, 13), (4, 10, 12), (1, 9, 13), (3, 11, 12), (2, 10, 13), (0, 11, 13), (5, 12, 13)]", "name": "ef_computation", "value": 4770411}, {"parameter": "", "name": "expurgation_augmentation_special_cases", "value": 4970117}, {"parameter": "", "name": "Bardestani_Iranmanesh", "value": 229362}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 4194304}, {"parameter": "", "name": "two_pivot_block_construction", "value": 4473924}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 4571450}, {"parameter": "(3, 11)", "name": "CKMP2019_Lem_41", "value": 4291830}, {"parameter": "(4, 10)", "name": "CKMP2019_Lem_41", "value": 1072446}, {"parameter": "(5, 9)", "name": "CKMP2019_Lem_41", "value": 2365282}, {"parameter": "(6, 8)", "name": "CKMP2019_Lem_41", "value": 5047598}, {"parameter": "(7, 7)", "name": "CKMP2019_Lem_41", "value": 5456205}, {"parameter": "(8, 6)", "name": "CKMP2019_Lem_41", "value": 5431373}, {"parameter": "(9, 5)", "name": "CKMP2019_Lem_41", "value": 6129673}, {"parameter": "(10, 4)", "name": "CKMP2019_Lem_41", "value": 6110721}, {"parameter": "(11, 3)", "name": "CKMP2019_Lem_41", "value": 6241665}, {"parameter": "(3, 3, 8)", "name": "CKMP2019_Lem_41", "value": 4261166}, {"parameter": "(3, 4, 7)", "name": "CKMP2019_Lem_41", "value": 4211021}, {"parameter": "(3, 5, 6)", "name": "CKMP2019_Lem_41", "value": 4231245}, {"parameter": "(3, 6, 5)", "name": "CKMP2019_Lem_41", "value": 4273161}, {"parameter": "(3, 7, 4)", "name": "CKMP2019_Lem_41", "value": 4279553}, {"parameter": "(3, 8, 3)", "name": "CKMP2019_Lem_41", "value": 4279169}, {"parameter": "(4, 3, 7)", "name": "CKMP2019_Lem_41", "value": 1065293}, {"parameter": "(4, 4, 6)", "name": "CKMP2019_Lem_41", "value": 1052749}, {"parameter": "(4, 5, 5)", "name": "CKMP2019_Lem_41", "value": 1057801}, {"parameter": "(4, 6, 4)", "name": "CKMP2019_Lem_41", "value": 1068289}, {"parameter": "(4, 7, 3)", "name": "CKMP2019_Lem_41", "value": 1069889}, {"parameter": "(5, 3, 6)", "name": "CKMP2019_Lem_41", "value": 2363469}, {"parameter": "(5, 4, 5)", "name": "CKMP2019_Lem_41", "value": 2360329}, {"parameter": "(5, 5, 4)", "name": "CKMP2019_Lem_41", "value": 2361601}, {"parameter": "(5, 6, 3)", "name": "CKMP2019_Lem_41", "value": 2364225}, {"parameter": "(6, 3, 5)", "name": "CKMP2019_Lem_41", "value": 5047305}, {"parameter": "(6, 4, 4)", "name": "CKMP2019_Lem_41", "value": 5046529}, {"parameter": "(6, 5, 3)", "name": "CKMP2019_Lem_41", "value": 5046849}, {"parameter": "(7, 3, 4)", "name": "CKMP2019_Lem_41", "value": 5456129}, {"parameter": "(7, 4, 3)", "name": "CKMP2019_Lem_41", "value": 5455937}, {"parameter": "(8, 3, 3)", "name": "CKMP2019_Lem_41", "value": 5431361}, {"parameter": "(3, 3, 3, 5)", "name": "CKMP2019_Lem_41", "value": 4260873}, {"parameter": "(3, 3, 4, 4)", "name": "CKMP2019_Lem_41", "value": 4260097}, {"parameter": "(3, 3, 5, 3)", "name": "CKMP2019_Lem_41", "value": 4260417}, {"parameter": "(3, 4, 3, 4)", "name": "CKMP2019_Lem_41", "value": 4210945}, {"parameter": "(3, 4, 4, 3)", "name": "CKMP2019_Lem_41", "value": 4210753}, {"parameter": "(3, 5, 3, 3)", "name": "CKMP2019_Lem_41", "value": 4231233}, {"parameter": "(4, 3, 3, 4)", "name": "CKMP2019_Lem_41", "value": 1065217}, {"parameter": "(4, 3, 4, 3)", "name": "CKMP2019_Lem_41", "value": 1065025}, {"parameter": "(4, 4, 3, 3)", "name": "CKMP2019_Lem_41", "value": 1052737}, {"parameter": "(5, 3, 3, 3)", "name": "CKMP2019_Lem_41", "value": 2363457}, {"parameter": "(3, 11)", "name": "CKMP2019_Cor_42", "value": 4291830}, {"parameter": "(4, 10)", "name": "CKMP2019_Cor_42", "value": 1072446}, {"parameter": "(5, 9)", "name": "CKMP2019_Cor_42", "value": 2365282}, {"parameter": "(6, 8)", "name": "CKMP2019_Cor_42", "value": 5047598}, {"parameter": "(7, 7)", "name": "CKMP2019_Cor_42", "value": 5456205}, {"parameter": "(8, 6)", "name": "CKMP2019_Cor_42", "value": 5431373}, {"parameter": "(9, 5)", "name": "CKMP2019_Cor_42", "value": 6129673}, {"parameter": "(10, 4)", "name": "CKMP2019_Cor_42", "value": 6110721}, {"parameter": "(11, 3)", "name": "CKMP2019_Cor_42", "value": 6241665}, {"parameter": "(3, 3, 8)", "name": "CKMP2019_Cor_42", "value": 4261166}, {"parameter": "(3, 4, 7)", "name": "CKMP2019_Cor_42", "value": 4211021}, {"parameter": "(3, 5, 6)", "name": "CKMP2019_Cor_42", "value": 4231245}, {"parameter": "(3, 6, 5)", "name": "CKMP2019_Cor_42", "value": 4273161}, {"parameter": "(3, 7, 4)", "name": "CKMP2019_Cor_42", "value": 4279553}, {"parameter": "(3, 8, 3)", "name": "CKMP2019_Cor_42", "value": 4279169}, {"parameter": "(4, 3, 7)", "name": "CKMP2019_Cor_42", "value": 1065293}, {"parameter": "(4, 4, 6)", "name": "CKMP2019_Cor_42", "value": 1052749}, {"parameter": "(4, 5, 5)", "name": "CKMP2019_Cor_42", "value": 1057801}, {"parameter": "(4, 6, 4)", "name": "CKMP2019_Cor_42", "value": 1068289}, {"parameter": "(4, 7, 3)", "name": "CKMP2019_Cor_42", "value": 1069889}, {"parameter": "(5, 3, 6)", "name": "CKMP2019_Cor_42", "value": 2363469}, {"parameter": "(5, 4, 5)", "name": "CKMP2019_Cor_42", "value": 2360329}, {"parameter": "(5, 5, 4)", "name": "CKMP2019_Cor_42", "value": 2361601}, {"parameter": "(5, 6, 3)", "name": "CKMP2019_Cor_42", "value": 2364225}, {"parameter": "(6, 3, 5)", "name": "CKMP2019_Cor_42", "value": 5047305}, {"parameter": "(6, 4, 4)", "name": "CKMP2019_Cor_42", "value": 5046529}, {"parameter": "(6, 5, 3)", "name": "CKMP2019_Cor_42", "value": 5046849}, {"parameter": "(7, 3, 4)", "name": "CKMP2019_Cor_42", "value": 5456129}, {"parameter": "(7, 4, 3)", "name": "CKMP2019_Cor_42", "value": 5455937}, {"parameter": "(8, 3, 3)", "name": "CKMP2019_Cor_42", "value": 5431361}, {"parameter": "(3, 3, 3, 5)", "name": "CKMP2019_Cor_42", "value": 4260873}, {"parameter": "(3, 3, 4, 4)", "name": "CKMP2019_Cor_42", "value": 4260097}, {"parameter": "(3, 3, 5, 3)", "name": "CKMP2019_Cor_42", "value": 4260417}, {"parameter": "(3, 4, 3, 4)", "name": "CKMP2019_Cor_42", "value": 4210945}, {"parameter": "(3, 4, 4, 3)", "name": "CKMP2019_Cor_42", "value": 4210753}, {"parameter": "(3, 5, 3, 3)", "name": "CKMP2019_Cor_42", "value": 4231233}, {"parameter": "(4, 3, 3, 4)", "name": "CKMP2019_Cor_42", "value": 1065217}, {"parameter": "(4, 3, 4, 3)", "name": "CKMP2019_Cor_42", "value": 1065025}, {"parameter": "(4, 4, 3, 3)", "name": "CKMP2019_Cor_42", "value": 1052737}, {"parameter": "(5, 3, 3, 3)", "name": "CKMP2019_Cor_42", "value": 2363457}, {"parameter": "3", "name": "linkage_ST", "value": 6241665}, {"parameter": "4", "name": "linkage_ST", "value": 6110721}, {"parameter": "5", "name": "linkage_ST", "value": 6129673}, {"parameter": "6", "name": "linkage_ST", "value": 5431373}, {"parameter": "7", "name": "linkage_ST", "value": 5456205}, {"parameter": "8", "name": "linkage_ST", "value": 5047598}, {"parameter": "9", "name": "linkage_ST", "value": 2365282}, {"parameter": "10", "name": "linkage_ST", "value": 1072446}, {"parameter": "11", "name": "linkage_ST", "value": 4291830}, {"parameter": "12", "name": "linkage_ST", "value": 385515}, {"parameter": "13", "name": "linkage_ST", "value": 1597245}, {"parameter": "3", "name": "construction_D", "value": 6241664}, {"parameter": "4", "name": "construction_D", "value": 6110720}, {"parameter": "5", "name": "construction_D", "value": 6129664}, {"parameter": "6", "name": "construction_D", "value": 5431296}, {"parameter": "7", "name": "construction_D", "value": 5455872}, {"parameter": "8", "name": "construction_D", "value": 5046272}, {"parameter": "9", "name": "construction_D", "value": 2359296}, {"parameter": "10", "name": "construction_D", "value": 1048576}, {"parameter": "11", "name": "construction_D", "value": 4194304}, {"parameter": "12", "name": "construction_D", "value": 0}, {"parameter": "13", "name": "construction_D", "value": 0}, {"parameter": "14", "name": "construction_D", "value": 0}, {"parameter": "3", "name": "linkage_GLT", "value": 4291830}, {"parameter": "4", "name": "linkage_GLT", "value": 1072446}, {"parameter": "5", "name": "linkage_GLT", "value": 2365282}, {"parameter": "6", "name": "linkage_GLT", "value": 5047598}, {"parameter": "7", "name": "linkage_GLT", "value": 5456205}, {"parameter": "8", "name": "linkage_GLT", "value": 5431373}, {"parameter": "9", "name": "linkage_GLT", "value": 6129673}, {"parameter": "10", "name": "linkage_GLT", "value": 6110721}, {"parameter": "11", "name": "linkage_GLT", "value": 6241665}, {"parameter": "3", "name": "improved_linkage", "value": 4579819}, {"parameter": "4", "name": "improved_linkage", "value": 1146102}, {"parameter": "5", "name": "improved_linkage", "value": 2383166}, {"parameter": "6", "name": "improved_linkage", "value": 5052258}, {"parameter": "7", "name": "improved_linkage", "value": 5457198}, {"parameter": "8", "name": "improved_linkage", "value": 5431629}, {"parameter": "9", "name": "improved_linkage", "value": 6129741}, {"parameter": "10", "name": "improved_linkage", "value": 6110729}, {"parameter": "11", "name": "improved_linkage", "value": 6241665}, {"parameter": "12", "name": "improved_linkage", "value": 3084121}, {"parameter": "3,0", "name": "generalized_linkage", "value": 4876986}, {"parameter": "3,1", "name": "generalized_linkage", "value": 4579819}, {"parameter": "4,0", "name": "generalized_linkage", "value": 1215666}, {"parameter": "4,1", "name": "generalized_linkage", "value": 1146102}, {"parameter": "5,0", "name": "generalized_linkage", "value": 2401198}, {"parameter": "5,1", "name": "generalized_linkage", "value": 2383166}, {"parameter": "6,0", "name": "generalized_linkage", "value": 5055554}, {"parameter": "6,1", "name": "generalized_linkage", "value": 5052258}, {"parameter": "7,0", "name": "generalized_linkage", "value": 5458203}, {"parameter": "7,1", "name": "generalized_linkage", "value": 5457198}, {"parameter": "8,0", "name": "generalized_linkage", "value": 5431835}, {"parameter": "8,1", "name": "generalized_linkage", "value": 5431629}, {"parameter": "9,0", "name": "generalized_linkage", "value": 6129727}, {"parameter": "9,1", "name": "generalized_linkage", "value": 6129741}, {"parameter": "10,0", "name": "generalized_linkage", "value": 6110727}, {"parameter": "10,1", "name": "generalized_linkage", "value": 6110729}, {"parameter": "11,0", "name": "generalized_linkage", "value": 6241671}, {"parameter": "11,1", "name": "generalized_linkage", "value": 6241665}, {"parameter": "12,1", "name": "generalized_linkage", "value": 3084121}, {"parameter": "[3, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4876986}, {"parameter": "[3, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4579819}, {"parameter": "[4, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1215666}, {"parameter": "[4, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1146102}, {"parameter": "[5, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2401198}, {"parameter": "[5, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2383166}, {"parameter": "[6, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5055554}, {"parameter": "[6, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5052258}, {"parameter": "[7, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5458203}, {"parameter": "[7, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5457198}, {"parameter": "[8, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5431835}, {"parameter": "[8, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5431629}, {"parameter": "[9, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6129727}, {"parameter": "[9, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6129741}, {"parameter": "[10, 4],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6110727}, {"parameter": "[10, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6110729}, {"parameter": "[11, 3],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6241671}, {"parameter": "[11, 3],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6241665}, {"parameter": "[12, 2],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3084121}, {"parameter": "[3, 2, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2485002}, {"parameter": "[3, 2, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2526386}, {"parameter": "[3, 3, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4718030}, {"parameter": "[3, 3, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4694958}, {"parameter": "[3, 3, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4324814}, {"parameter": "[3, 3, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4301742}, {"parameter": "[3, 4, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4325309}, {"parameter": "[3, 4, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4318274}, {"parameter": "[3, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4358077}, {"parameter": "[3, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4351042}, {"parameter": "[3, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4456125}, {"parameter": "[3, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4454683}, {"parameter": "[3, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4513469}, {"parameter": "[3, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4512027}, {"parameter": "[3, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4746681}, {"parameter": "[3, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4746779}, {"parameter": "[3, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4535737}, {"parameter": "[3, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4535835}, {"parameter": "[3, 7, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4791089}, {"parameter": "[3, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4791103}, {"parameter": "[3, 7, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4533809}, {"parameter": "[3, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4533823}, {"parameter": "[3, 8, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4788401}, {"parameter": "[3, 8, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4788359}, {"parameter": "[3, 8, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4577457}, {"parameter": "[3, 8, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4577415}, {"parameter": "[3, 9, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2432375}, {"parameter": "[3, 9, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2288119}, {"parameter": "[4, 2, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 617670}, {"parameter": "[4, 2, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 631726}, {"parameter": "[4, 3, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1179581}, {"parameter": "[4, 3, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1172546}, {"parameter": "[4, 3, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1081277}, {"parameter": "[4, 3, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1074242}, {"parameter": "[4, 4, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1081021}, {"parameter": "[4, 4, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1079579}, {"parameter": "[4, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1089213}, {"parameter": "[4, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1087771}, {"parameter": "[4, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1113529}, {"parameter": "[4, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1113627}, {"parameter": "[4, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1127865}, {"parameter": "[4, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1127963}, {"parameter": "[4, 6, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1186609}, {"parameter": "[4, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1186623}, {"parameter": "[4, 6, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1133873}, {"parameter": "[4, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1133887}, {"parameter": "[4, 7, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1197809}, {"parameter": "[4, 7, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1197767}, {"parameter": "[4, 7, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1133489}, {"parameter": "[4, 7, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1133447}, {"parameter": "[4, 8, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 598551}, {"parameter": "[4, 8, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 572183}, {"parameter": "[5, 2, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1203025}, {"parameter": "[5, 2, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1205314}, {"parameter": "[5, 3, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2391741}, {"parameter": "[5, 3, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2390299}, {"parameter": "[5, 3, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2367165}, {"parameter": "[5, 3, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2365723}, {"parameter": "[5, 4, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2366905}, {"parameter": "[5, 4, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2367003}, {"parameter": "[5, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2368953}, {"parameter": "[5, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2369051}, {"parameter": "[5, 5, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2375473}, {"parameter": "[5, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2375487}, {"parameter": "[5, 5, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2379057}, {"parameter": "[5, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2379071}, {"parameter": "[5, 6, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2393841}, {"parameter": "[5, 6, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2393799}, {"parameter": "[5, 6, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2380657}, {"parameter": "[5, 6, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2380615}, {"parameter": "[5, 7, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1198303}, {"parameter": "[5, 7, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1190263}, {"parameter": "[6, 2, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2528849}, {"parameter": "[6, 2, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2529563}, {"parameter": "[6, 3, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5053881}, {"parameter": "[6, 3, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5053979}, {"parameter": "[6, 3, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 5047737}, {"parameter": "[6, 3, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5047835}, {"parameter": "[6, 4, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5048113}, {"parameter": "[6, 4, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5048127}, {"parameter": "[6, 4, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 5048625}, {"parameter": "[6, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5048639}, {"parameter": "[6, 5, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5050353}, {"parameter": "[6, 5, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5050311}, {"parameter": "[6, 5, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 5051249}, {"parameter": "[6, 5, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5051207}, {"parameter": "[6, 6, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2527455}, {"parameter": "[6, 6, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2525807}, {"parameter": "[7, 2, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2729149}, {"parameter": "[7, 2, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2729499}, {"parameter": "[7, 3, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5457713}, {"parameter": "[7, 3, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5457727}, {"parameter": "[7, 3, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 5456177}, {"parameter": "[7, 3, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5456191}, {"parameter": "[7, 4, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5456369}, {"parameter": "[7, 4, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5456327}, {"parameter": "[7, 4, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 5456497}, {"parameter": "[7, 4, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5456455}, {"parameter": "[7, 5, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2728447}, {"parameter": "[7, 5, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2728559}, {"parameter": "[8, 2, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2715925}, {"parameter": "[8, 2, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2715967}, {"parameter": "[8, 3, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5431793}, {"parameter": "[8, 3, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5431751}, {"parameter": "[8, 3, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 5431409}, {"parameter": "[8, 3, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5431367}, {"parameter": "[8, 4, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2715711}, {"parameter": "[8, 4, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2715727}, {"parameter": "[9, 2, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3064917}, {"parameter": "[9, 2, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3064903}, {"parameter": "[9, 3, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3064895}, {"parameter": "[9, 3, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3064847}, {"parameter": "[10, 2, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1527695}, {"parameter": "[3, 2, 2, 7],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1315315}, {"parameter": "[3, 2, 2, 7],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1322182}, {"parameter": "[3, 2, 3, 6],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2456631}, {"parameter": "[3, 2, 3, 6],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2452305}, {"parameter": "[3, 2, 3, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2399287}, {"parameter": "[3, 2, 3, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2394961}, {"parameter": "[3, 2, 4, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2382123}, {"parameter": "[3, 2, 4, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2382417}, {"parameter": "[3, 2, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2425131}, {"parameter": "[3, 2, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2425425}, {"parameter": "[3, 2, 5, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2407827}, {"parameter": "[3, 2, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2407869}, {"parameter": "[3, 2, 5, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2497427}, {"parameter": "[3, 2, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2497469}, {"parameter": "[3, 2, 6, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2462931}, {"parameter": "[3, 2, 6, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2462805}, {"parameter": "[3, 2, 6, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2508627}, {"parameter": "[3, 2, 6, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2508501}, {"parameter": "[3, 2, 7, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1235613}, {"parameter": "[3, 2, 7, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1253925}, {"parameter": "[3, 3, 2, 6],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2366519}, {"parameter": "[3, 3, 2, 6],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2371517}, {"parameter": "[3, 3, 2, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2169911}, {"parameter": "[3, 3, 2, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2174909}, {"parameter": "[3, 3, 3, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4706319}, {"parameter": "[3, 3, 3, 5],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4707005}, {"parameter": "[3, 3, 3, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4663311}, {"parameter": "[3, 3, 3, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4663997}, {"parameter": "[3, 3, 3, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4313103}, {"parameter": "[3, 3, 3, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4313789}, {"parameter": "[3, 3, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4270095}, {"parameter": "[3, 3, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4270781}, {"parameter": "[3, 3, 4, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4665943}, {"parameter": "[3, 3, 4, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4666041}, {"parameter": "[3, 3, 4, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4669527}, {"parameter": "[3, 3, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4669625}, {"parameter": "[3, 3, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4272727}, {"parameter": "[3, 3, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4272825}, {"parameter": "[3, 3, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4276311}, {"parameter": "[3, 3, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4276409}, {"parameter": "[3, 3, 5, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4681623}, {"parameter": "[3, 3, 5, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4681329}, {"parameter": "[3, 3, 5, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4687895}, {"parameter": "[3, 3, 5, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4687601}, {"parameter": "[3, 3, 5, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4288407}, {"parameter": "[3, 3, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4288113}, {"parameter": "[3, 3, 5, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4294679}, {"parameter": "[3, 3, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4294385}, {"parameter": "[3, 3, 6, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2356761}, {"parameter": "[3, 3, 6, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2345225}, {"parameter": "[3, 3, 6, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2160153}, {"parameter": "[3, 3, 6, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2148617}, {"parameter": "[3, 4, 2, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2162987}, {"parameter": "[3, 4, 2, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2165437}, {"parameter": "[3, 4, 2, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2179371}, {"parameter": "[3, 4, 2, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2181821}, {"parameter": "[3, 4, 3, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4321879}, {"parameter": "[3, 4, 3, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4321977}, {"parameter": "[3, 4, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4311127}, {"parameter": "[3, 4, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4311225}, {"parameter": "[3, 4, 3, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4354647}, {"parameter": "[3, 4, 3, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4354745}, {"parameter": "[3, 4, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4343895}, {"parameter": "[3, 4, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4343993}, {"parameter": "[3, 4, 4, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4312471}, {"parameter": "[3, 4, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4312177}, {"parameter": "[3, 4, 4, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4313367}, {"parameter": "[3, 4, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4313073}, {"parameter": "[3, 4, 4, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4345239}, {"parameter": "[3, 4, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4344945}, {"parameter": "[3, 4, 4, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4346135}, {"parameter": "[3, 4, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4345841}, {"parameter": "[3, 4, 5, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2158073}, {"parameter": "[3, 4, 5, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2158857}, {"parameter": "[3, 4, 5, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2174457}, {"parameter": "[3, 4, 5, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2175241}, {"parameter": "[3, 5, 2, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2228115}, {"parameter": "[3, 5, 2, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2228409}, {"parameter": "[3, 5, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2256787}, {"parameter": "[3, 5, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2257081}, {"parameter": "[3, 5, 3, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4455831}, {"parameter": "[3, 5, 3, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4455537}, {"parameter": "[3, 5, 3, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4453143}, {"parameter": "[3, 5, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4452849}, {"parameter": "[3, 5, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4513175}, {"parameter": "[3, 5, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4512881}, {"parameter": "[3, 5, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4510487}, {"parameter": "[3, 5, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4510193}, {"parameter": "[3, 5, 4, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2226617}, {"parameter": "[3, 5, 4, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2226729}, {"parameter": "[3, 5, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2255289}, {"parameter": "[3, 5, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2255401}, {"parameter": "[3, 6, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2373715}, {"parameter": "[3, 6, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2373617}, {"parameter": "[3, 6, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2268243}, {"parameter": "[3, 6, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2268145}, {"parameter": "[3, 6, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2373561}, {"parameter": "[3, 6, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2373225}, {"parameter": "[3, 6, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2268089}, {"parameter": "[3, 6, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2267753}, {"parameter": "[3, 7, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1197865}, {"parameter": "[3, 7, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1133545}, {"parameter": "[4, 2, 2, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 328435}, {"parameter": "[4, 2, 2, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 330577}, {"parameter": "[4, 2, 3, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 612651}, {"parameter": "[4, 2, 3, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 612945}, {"parameter": "[4, 2, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 598315}, {"parameter": "[4, 2, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 598609}, {"parameter": "[4, 2, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 595347}, {"parameter": "[4, 2, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 595389}, {"parameter": "[4, 2, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 606099}, {"parameter": "[4, 2, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 606141}, {"parameter": "[4, 2, 5, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 602067}, {"parameter": "[4, 2, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 601941}, {"parameter": "[4, 2, 5, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 624467}, {"parameter": "[4, 2, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 624341}, {"parameter": "[4, 2, 6, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 307869}, {"parameter": "[4, 2, 6, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 313581}, {"parameter": "[4, 3, 2, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 590123}, {"parameter": "[4, 3, 2, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 592573}, {"parameter": "[4, 3, 2, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 540971}, {"parameter": "[4, 3, 2, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 543421}, {"parameter": "[4, 3, 3, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1176151}, {"parameter": "[4, 3, 3, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1176249}, {"parameter": "[4, 3, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1165399}, {"parameter": "[4, 3, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1165497}, {"parameter": "[4, 3, 3, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1077847}, {"parameter": "[4, 3, 3, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1077945}, {"parameter": "[4, 3, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1067095}, {"parameter": "[4, 3, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1067193}, {"parameter": "[4, 3, 4, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1166743}, {"parameter": "[4, 3, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1166449}, {"parameter": "[4, 3, 4, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1167639}, {"parameter": "[4, 3, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1167345}, {"parameter": "[4, 3, 4, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1068439}, {"parameter": "[4, 3, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1068145}, {"parameter": "[4, 3, 4, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1069335}, {"parameter": "[4, 3, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1069041}, {"parameter": "[4, 3, 5, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 585209}, {"parameter": "[4, 3, 5, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 585993}, {"parameter": "[4, 3, 5, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 536057}, {"parameter": "[4, 3, 5, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 536841}, {"parameter": "[4, 4, 2, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 540563}, {"parameter": "[4, 4, 2, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 540857}, {"parameter": "[4, 4, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 544659}, {"parameter": "[4, 4, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 544953}, {"parameter": "[4, 4, 3, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1080727}, {"parameter": "[4, 4, 3, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1080433}, {"parameter": "[4, 4, 3, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1078039}, {"parameter": "[4, 4, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1077745}, {"parameter": "[4, 4, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1088919}, {"parameter": "[4, 4, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1088625}, {"parameter": "[4, 4, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1086231}, {"parameter": "[4, 4, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1085937}, {"parameter": "[4, 4, 4, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 539065}, {"parameter": "[4, 4, 4, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 539177}, {"parameter": "[4, 4, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 543161}, {"parameter": "[4, 4, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 543273}, {"parameter": "[4, 5, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 557139}, {"parameter": "[4, 5, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 557041}, {"parameter": "[4, 5, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 564307}, {"parameter": "[4, 5, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 564209}, {"parameter": "[4, 5, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 556985}, {"parameter": "[4, 5, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 556649}, {"parameter": "[4, 5, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 564153}, {"parameter": "[4, 5, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 563817}, {"parameter": "[4, 6, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 296745}, {"parameter": "[4, 6, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 283561}, {"parameter": "[5, 2, 2, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 605751}, {"parameter": "[5, 2, 2, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 606801}, {"parameter": "[5, 2, 3, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1201555}, {"parameter": "[5, 2, 3, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1201597}, {"parameter": "[5, 2, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1197971}, {"parameter": "[5, 2, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1198013}, {"parameter": "[5, 2, 4, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1197523}, {"parameter": "[5, 2, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1197397}, {"parameter": "[5, 2, 4, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1200211}, {"parameter": "[5, 2, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1200085}, {"parameter": "[5, 2, 5, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 599549}, {"parameter": "[5, 2, 5, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 602349}, {"parameter": "[5, 3, 2, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1195923}, {"parameter": "[5, 3, 2, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1196217}, {"parameter": "[5, 3, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1183635}, {"parameter": "[5, 3, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1183929}, {"parameter": "[5, 3, 3, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2391447}, {"parameter": "[5, 3, 3, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2391153}, {"parameter": "[5, 3, 3, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2388759}, {"parameter": "[5, 3, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2388465}, {"parameter": "[5, 3, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2366871}, {"parameter": "[5, 3, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2366577}, {"parameter": "[5, 3, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2364183}, {"parameter": "[5, 3, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2363889}, {"parameter": "[5, 3, 4, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1194425}, {"parameter": "[5, 3, 4, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1194537}, {"parameter": "[5, 3, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1182137}, {"parameter": "[5, 3, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1182249}, {"parameter": "[5, 4, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1183827}, {"parameter": "[5, 4, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1183729}, {"parameter": "[5, 4, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1184851}, {"parameter": "[5, 4, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1184753}, {"parameter": "[5, 4, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1183673}, {"parameter": "[5, 4, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1183337}, {"parameter": "[5, 4, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1184697}, {"parameter": "[5, 4, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1184361}, {"parameter": "[5, 5, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 593961}, {"parameter": "[5, 5, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 594857}, {"parameter": "[6, 2, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1265471}, {"parameter": "[6, 2, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1265597}, {"parameter": "[6, 2, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2528723}, {"parameter": "[6, 2, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2528597}, {"parameter": "[6, 2, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2527827}, {"parameter": "[6, 2, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2527701}, {"parameter": "[6, 2, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1263805}, {"parameter": "[6, 2, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1264141}, {"parameter": "[6, 3, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2527315}, {"parameter": "[6, 3, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2527217}, {"parameter": "[6, 3, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2524243}, {"parameter": "[6, 3, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2524145}, {"parameter": "[6, 3, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2527161}, {"parameter": "[6, 3, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2526825}, {"parameter": "[6, 3, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2524089}, {"parameter": "[6, 3, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2523753}, {"parameter": "[6, 4, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1262121}, {"parameter": "[6, 4, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1262249}, {"parameter": "[7, 2, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1364991}, {"parameter": "[7, 2, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1364949}, {"parameter": "[7, 2, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1364669}, {"parameter": "[7, 2, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1364557}, {"parameter": "[7, 3, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1364521}, {"parameter": "[7, 3, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1364137}, {"parameter": "[8, 2, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 679053}, {"parameter": "[3, 2, 2, 2, 5],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 670373}, {"parameter": "[3, 2, 2, 2, 5],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 673523}, {"parameter": "[3, 2, 2, 3, 4],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1310905}, {"parameter": "[3, 2, 2, 3, 4],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1311031}, {"parameter": "[3, 2, 2, 3, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1300153}, {"parameter": "[3, 2, 2, 3, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1300279}, {"parameter": "[3, 2, 2, 4, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1298809}, {"parameter": "[3, 2, 2, 4, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1298431}, {"parameter": "[3, 2, 2, 4, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1306873}, {"parameter": "[3, 2, 2, 4, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1306495}, {"parameter": "[3, 2, 2, 5, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 651767}, {"parameter": "[3, 2, 2, 5, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 660167}, {"parameter": "[3, 2, 3, 2, 4],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1228473}, {"parameter": "[3, 2, 3, 2, 4],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1229355}, {"parameter": "[3, 2, 3, 2, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1199801}, {"parameter": "[3, 2, 3, 2, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1200683}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2455749}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2454867}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2447685}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2446803}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2398405}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2397523}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2390341}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2389459}, {"parameter": "[3, 2, 3, 4, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1223979}, {"parameter": "[3, 2, 3, 4, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1224315}, {"parameter": "[3, 2, 3, 4, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1195307}, {"parameter": "[3, 2, 3, 4, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1195643}, {"parameter": "[3, 2, 4, 2, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1192185}, {"parameter": "[3, 2, 4, 2, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1191891}, {"parameter": "[3, 2, 4, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1213689}, {"parameter": "[3, 2, 4, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1213395}, {"parameter": "[3, 2, 4, 3, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1191723}, {"parameter": "[3, 2, 4, 3, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1190715}, {"parameter": "[3, 2, 4, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1213227}, {"parameter": "[3, 2, 4, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1212219}, {"parameter": "[3, 2, 5, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 602235}, {"parameter": "[3, 2, 5, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 624635}, {"parameter": "[3, 3, 2, 2, 4],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1190585}, {"parameter": "[3, 3, 2, 2, 4],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1191467}, {"parameter": "[3, 3, 2, 2, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1092281}, {"parameter": "[3, 3, 2, 2, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1093163}, {"parameter": "[3, 3, 2, 3, 3],[0, 0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2365637}, {"parameter": "[3, 3, 2, 3, 3],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2364755}, {"parameter": "[3, 3, 2, 3, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2359365}, {"parameter": "[3, 3, 2, 3, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2358483}, {"parameter": "[3, 3, 2, 3, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2169029}, {"parameter": "[3, 3, 2, 3, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2168147}, {"parameter": "[3, 3, 2, 3, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2162757}, {"parameter": "[3, 3, 2, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2161875}, {"parameter": "[3, 3, 2, 4, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1178923}, {"parameter": "[3, 3, 2, 4, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1181275}, {"parameter": "[3, 3, 2, 4, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1080619}, {"parameter": "[3, 3, 2, 4, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1082971}, {"parameter": "[3, 3, 3, 2, 3],[0, 0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2355781}, {"parameter": "[3, 3, 3, 2, 3],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2355095}, {"parameter": "[3, 3, 3, 2, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2334277}, {"parameter": "[3, 3, 3, 2, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2333591}, {"parameter": "[3, 3, 3, 2, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2159173}, {"parameter": "[3, 3, 3, 2, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2158487}, {"parameter": "[3, 3, 3, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2137669}, {"parameter": "[3, 3, 3, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2136983}, {"parameter": "[3, 3, 3, 3, 2],[0, 0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2354703}, {"parameter": "[3, 3, 3, 3, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2352351}, {"parameter": "[3, 3, 3, 3, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2333199}, {"parameter": "[3, 3, 3, 3, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2330847}, {"parameter": "[3, 3, 3, 3, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2158095}, {"parameter": "[3, 3, 3, 3, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2155743}, {"parameter": "[3, 3, 3, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2136591}, {"parameter": "[3, 3, 3, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2134239}, {"parameter": "[3, 3, 4, 2, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1167135}, {"parameter": "[3, 3, 4, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1168031}, {"parameter": "[3, 3, 4, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1068831}, {"parameter": "[3, 3, 4, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1069727}, {"parameter": "[3, 4, 2, 2, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1084409}, {"parameter": "[3, 4, 2, 2, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1084115}, {"parameter": "[3, 4, 2, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1092601}, {"parameter": "[3, 4, 2, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1092307}, {"parameter": "[3, 4, 2, 3, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1082155}, {"parameter": "[3, 4, 2, 3, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1081371}, {"parameter": "[3, 4, 2, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1090347}, {"parameter": "[3, 4, 2, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1089563}, {"parameter": "[3, 4, 3, 2, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1081119}, {"parameter": "[3, 4, 3, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1078431}, {"parameter": "[3, 4, 3, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1089311}, {"parameter": "[3, 4, 3, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1086623}, {"parameter": "[3, 5, 2, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 557531}, {"parameter": "[3, 5, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 564699}, {"parameter": "[4, 2, 2, 2, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 167357}, {"parameter": "[4, 2, 2, 2, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 167735}, {"parameter": "[4, 2, 2, 3, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 328057}, {"parameter": "[4, 2, 2, 3, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 327679}, {"parameter": "[4, 2, 2, 3, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 325369}, {"parameter": "[4, 2, 2, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 324991}, {"parameter": "[4, 2, 2, 4, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 162359}, {"parameter": "[4, 2, 2, 4, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 163367}, {"parameter": "[4, 2, 3, 2, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 307449}, {"parameter": "[4, 2, 3, 2, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 307155}, {"parameter": "[4, 2, 3, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 300281}, {"parameter": "[4, 2, 3, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 299987}, {"parameter": "[4, 2, 3, 3, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 306987}, {"parameter": "[4, 2, 3, 3, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 305979}, {"parameter": "[4, 2, 3, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 299819}, {"parameter": "[4, 2, 3, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 298811}, {"parameter": "[4, 2, 4, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 149115}, {"parameter": "[4, 2, 4, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 151803}, {"parameter": "[4, 3, 2, 2, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 297977}, {"parameter": "[4, 3, 2, 2, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 297683}, {"parameter": "[4, 3, 2, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 273401}, {"parameter": "[4, 3, 2, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 273107}, {"parameter": "[4, 3, 2, 3, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 295723}, {"parameter": "[4, 3, 2, 3, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 294939}, {"parameter": "[4, 3, 2, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 271147}, {"parameter": "[4, 3, 2, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 270363}, {"parameter": "[4, 3, 3, 2, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 294687}, {"parameter": "[4, 3, 3, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 291999}, {"parameter": "[4, 3, 3, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 270111}, {"parameter": "[4, 3, 3, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 267423}, {"parameter": "[4, 4, 2, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 135643}, {"parameter": "[4, 4, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 136667}, {"parameter": "[5, 2, 2, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 304125}, {"parameter": "[5, 2, 2, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 303999}, {"parameter": "[5, 2, 2, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 303159}, {"parameter": "[5, 2, 2, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302823}, {"parameter": "[5, 2, 3, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 300667}, {"parameter": "[5, 2, 3, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 299771}, {"parameter": "[5, 3, 2, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 299483}, {"parameter": "[5, 3, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 296411}, {"parameter": "[6, 2, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 316583}, {"parameter": "[3, 2, 2, 2, 2, 3],[0, 1, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 338935}, {"parameter": "[3, 2, 2, 2, 2, 3],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 338557}, {"parameter": "[3, 2, 2, 2, 3, 2],[0, 1, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 336037}, {"parameter": "[3, 2, 2, 2, 3, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 335029}, {"parameter": "[3, 2, 2, 3, 2, 2],[0, 1, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 328561}, {"parameter": "[3, 2, 2, 3, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 325873}, {"parameter": "[3, 2, 3, 2, 2, 2],[0, 1, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 308625}, {"parameter": "[3, 2, 3, 2, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 301457}, {"parameter": "[3, 3, 2, 2, 2, 2],[0, 0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 299153}, {"parameter": "[3, 3, 2, 2, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 274577}, {"parameter": "[4, 2, 2, 2, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42485}, {"parameter": "", "name": "JohnsonLB", "value": 4611416}, {"parameter": "", "name": "EF_Kurz2020_linkage_special", "value": 6241671}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 10922}], "request": [2, 14, 4, 3], "liftedmrdsizebound": 4892331, "comments": "", "equal_bound_constraints": []}