{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 3269560515}, {"parameter": "", "name": "singleton", "value": 2794155}, {"parameter": "2", "name": "ilp_2", "value": 1597245}, {"parameter": "4", "name": "ilp_3", "value": 217970701}, {"parameter": "", "name": "anticode", "value": 1597245}, {"parameter": "", "name": "linear_programming_bound", "value": 1597245}, {"parameter": "", "name": "sphere_packing", "value": 3269560515}, {"parameter": "1", "name": "ilp_1", "value": 1597245}, {"parameter": "5", "name": "ilp_4", "value": 189845449}, {"parameter": "6", "name": "ilp_4", "value": 180470365}, {"parameter": "7", "name": "ilp_4", "value": 105469694}, {"parameter": "8", "name": "ilp_4", "value": 50243979}, {"parameter": "9", "name": "ilp_4", "value": 25744570}, {"parameter": "10", "name": "ilp_4", "value": 12720850}, {"parameter": "11", "name": "ilp_4", "value": 6398283}, {"parameter": "12", "name": "ilp_4", "value": 3189805}, {"parameter": "", "name": "johnson_1", "value": 1597245}, {"parameter": "", "name": "johnson_2", "value": 3189805}, {"parameter": "0, 3", "name": "Ahlswede_Aydinian", "value": 3269560515}, {"parameter": "0, 4", "name": "Ahlswede_Aydinian", "value": 217970701}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 189845449}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 180470365}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 105469694}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 50243979}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 25744570}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 12720850}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 6398283}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 3189805}, {"parameter": "1, 2", "name": "Ahlswede_Aydinian", "value": 1597245}, {"parameter": "1, 3", "name": "Ahlswede_Aydinian", "value": 1597914}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 1599253}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 1601940}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1607340}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1618250}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1640522}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1686955}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1788180}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 2032045}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 2794155}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 3269560515}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1597245}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1597245}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 217970701}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 233523731}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 272396808}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 408345795}, {"parameter": "", "name": "improved_johnson", "value": 1597245}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 108772384}], "known_codes": [{"nrisotypes": null, "details": "", "file": "", "size": 1154931}, {"nrisotypes": ">=512", "details": "", "file": "code_2_13_4_3.zip", "size": 1597245}], "upper_bound": 1597245, "classified": false, "lower_bound": 1597245, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1048576}, {"parameter": "", "name": "sphere_covering", "value": 228274}, {"parameter": "", "name": "graham_sloane", "value": 399165}, {"parameter": "", "name": "construction_2", "value": 1221296}, {"parameter": "", "name": "multicomponent", "value": 1118473}, {"parameter": "", "name": "construction_ST_B", "value": 1121758}, {"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), (1, 8, 9), (1, 7, 10), (6, 7, 11), (5, 8, 10), (3, 7, 12), (0, 9, 10), (0, 8, 11), (2, 8, 12), (3, 9, 11), (2, 10, 11), (6, 9, 12), (4, 10, 12), (5, 11, 12)]", "name": "ef_computation", "value": 1192587}, {"parameter": "", "name": "expurgation_augmentation_special_cases", "value": 1287958}, {"parameter": "", "name": "Bardestani_Iranmanesh", "value": 106483}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1048576}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1118481}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 1142351}, {"parameter": "(3, 10)", "name": "CKMP2019_Lem_41", "value": 1072446}, {"parameter": "(4, 9)", "name": "CKMP2019_Lem_41", "value": 268130}, {"parameter": "(5, 8)", "name": "CKMP2019_Lem_41", "value": 591150}, {"parameter": "(6, 7)", "name": "CKMP2019_Lem_41", "value": 1261901}, {"parameter": "(7, 6)", "name": "CKMP2019_Lem_41", "value": 1364045}, {"parameter": "(8, 5)", "name": "CKMP2019_Lem_41", "value": 1357833}, {"parameter": "(9, 4)", "name": "CKMP2019_Lem_41", "value": 1532417}, {"parameter": "(10, 3)", "name": "CKMP2019_Lem_41", "value": 1527681}, {"parameter": "(3, 3, 7)", "name": "CKMP2019_Lem_41", "value": 1065293}, {"parameter": "(3, 4, 6)", "name": "CKMP2019_Lem_41", "value": 1052749}, {"parameter": "(3, 5, 5)", "name": "CKMP2019_Lem_41", "value": 1057801}, {"parameter": "(3, 6, 4)", "name": "CKMP2019_Lem_41", "value": 1068289}, {"parameter": "(3, 7, 3)", "name": "CKMP2019_Lem_41", "value": 1069889}, {"parameter": "(4, 3, 6)", "name": "CKMP2019_Lem_41", "value": 266317}, {"parameter": "(4, 4, 5)", "name": "CKMP2019_Lem_41", "value": 263177}, {"parameter": "(4, 5, 4)", "name": "CKMP2019_Lem_41", "value": 264449}, {"parameter": "(4, 6, 3)", "name": "CKMP2019_Lem_41", "value": 267073}, {"parameter": "(5, 3, 5)", "name": "CKMP2019_Lem_41", "value": 590857}, {"parameter": "(5, 4, 4)", "name": "CKMP2019_Lem_41", "value": 590081}, {"parameter": "(5, 5, 3)", "name": "CKMP2019_Lem_41", "value": 590401}, {"parameter": "(6, 3, 4)", "name": "CKMP2019_Lem_41", "value": 1261825}, {"parameter": "(6, 4, 3)", "name": "CKMP2019_Lem_41", "value": 1261633}, {"parameter": "(7, 3, 3)", "name": "CKMP2019_Lem_41", "value": 1364033}, {"parameter": "(3, 3, 3, 4)", "name": "CKMP2019_Lem_41", "value": 1065217}, {"parameter": "(3, 3, 4, 3)", "name": "CKMP2019_Lem_41", "value": 1065025}, {"parameter": "(3, 4, 3, 3)", "name": "CKMP2019_Lem_41", "value": 1052737}, {"parameter": "(4, 3, 3, 3)", "name": "CKMP2019_Lem_41", "value": 266305}, {"parameter": "(3, 10)", "name": "CKMP2019_Cor_42", "value": 1072446}, {"parameter": "(4, 9)", "name": "CKMP2019_Cor_42", "value": 268130}, {"parameter": "(5, 8)", "name": "CKMP2019_Cor_42", "value": 591150}, {"parameter": "(6, 7)", "name": "CKMP2019_Cor_42", "value": 1261901}, {"parameter": "(7, 6)", "name": "CKMP2019_Cor_42", "value": 1364045}, {"parameter": "(8, 5)", "name": "CKMP2019_Cor_42", "value": 1357833}, {"parameter": "(9, 4)", "name": "CKMP2019_Cor_42", "value": 1532417}, {"parameter": "(10, 3)", "name": "CKMP2019_Cor_42", "value": 1527681}, {"parameter": "(3, 3, 7)", "name": "CKMP2019_Cor_42", "value": 1065293}, {"parameter": "(3, 4, 6)", "name": "CKMP2019_Cor_42", "value": 1052749}, {"parameter": "(3, 5, 5)", "name": "CKMP2019_Cor_42", "value": 1057801}, {"parameter": "(3, 6, 4)", "name": "CKMP2019_Cor_42", "value": 1068289}, {"parameter": "(3, 7, 3)", "name": "CKMP2019_Cor_42", "value": 1069889}, {"parameter": "(4, 3, 6)", "name": "CKMP2019_Cor_42", "value": 266317}, {"parameter": "(4, 4, 5)", "name": "CKMP2019_Cor_42", "value": 263177}, {"parameter": "(4, 5, 4)", "name": "CKMP2019_Cor_42", "value": 264449}, {"parameter": "(4, 6, 3)", "name": "CKMP2019_Cor_42", "value": 267073}, {"parameter": "(5, 3, 5)", "name": "CKMP2019_Cor_42", "value": 590857}, {"parameter": "(5, 4, 4)", "name": "CKMP2019_Cor_42", "value": 590081}, {"parameter": "(5, 5, 3)", "name": "CKMP2019_Cor_42", "value": 590401}, {"parameter": "(6, 3, 4)", "name": "CKMP2019_Cor_42", "value": 1261825}, {"parameter": "(6, 4, 3)", "name": "CKMP2019_Cor_42", "value": 1261633}, {"parameter": "(7, 3, 3)", "name": "CKMP2019_Cor_42", "value": 1364033}, {"parameter": "(3, 3, 3, 4)", "name": "CKMP2019_Cor_42", "value": 1065217}, {"parameter": "(3, 3, 4, 3)", "name": "CKMP2019_Cor_42", "value": 1065025}, {"parameter": "(3, 4, 3, 3)", "name": "CKMP2019_Cor_42", "value": 1052737}, {"parameter": "(4, 3, 3, 3)", "name": "CKMP2019_Cor_42", "value": 266305}, {"parameter": "3", "name": "linkage_ST", "value": 1527681}, {"parameter": "4", "name": "linkage_ST", "value": 1532417}, {"parameter": "5", "name": "linkage_ST", "value": 1357833}, {"parameter": "6", "name": "linkage_ST", "value": 1364045}, {"parameter": "7", "name": "linkage_ST", "value": 1261901}, {"parameter": "8", "name": "linkage_ST", "value": 591150}, {"parameter": "9", "name": "linkage_ST", "value": 268130}, {"parameter": "10", "name": "linkage_ST", "value": 1072446}, {"parameter": "11", "name": "linkage_ST", "value": 97526}, {"parameter": "12", "name": "linkage_ST", "value": 385515}, {"parameter": "3", "name": "construction_D", "value": 1527680}, {"parameter": "4", "name": "construction_D", "value": 1532416}, {"parameter": "5", "name": "construction_D", "value": 1357824}, {"parameter": "6", "name": "construction_D", "value": 1363968}, {"parameter": "7", "name": "construction_D", "value": 1261568}, {"parameter": "8", "name": "construction_D", "value": 589824}, {"parameter": "9", "name": "construction_D", "value": 262144}, {"parameter": "10", "name": "construction_D", "value": 1048576}, {"parameter": "11", "name": "construction_D", "value": 0}, {"parameter": "12", "name": "construction_D", "value": 0}, {"parameter": "13", "name": "construction_D", "value": 0}, {"parameter": "3", "name": "linkage_GLT", "value": 1072446}, {"parameter": "4", "name": "linkage_GLT", "value": 268130}, {"parameter": "5", "name": "linkage_GLT", "value": 591150}, {"parameter": "6", "name": "linkage_GLT", "value": 1261901}, {"parameter": "7", "name": "linkage_GLT", "value": 1364045}, {"parameter": "8", "name": "linkage_GLT", "value": 1357833}, {"parameter": "9", "name": "linkage_GLT", "value": 1532417}, {"parameter": "10", "name": "linkage_GLT", "value": 1527681}, {"parameter": "3", "name": "improved_linkage", "value": 1146102}, {"parameter": "4", "name": "improved_linkage", "value": 286014}, {"parameter": "5", "name": "improved_linkage", "value": 595810}, {"parameter": "6", "name": "improved_linkage", "value": 1262894}, {"parameter": "7", "name": "improved_linkage", "value": 1364301}, {"parameter": "8", "name": "improved_linkage", "value": 1357901}, {"parameter": "9", "name": "improved_linkage", "value": 1532425}, {"parameter": "10", "name": "improved_linkage", "value": 1527681}, {"parameter": "11", "name": "improved_linkage", "value": 780209}, {"parameter": "3,0", "name": "generalized_linkage", "value": 1215666}, {"parameter": "3,1", "name": "generalized_linkage", "value": 1146102}, {"parameter": "4,0", "name": "generalized_linkage", "value": 304046}, {"parameter": "4,1", "name": "generalized_linkage", "value": 286014}, {"parameter": "5,0", "name": "generalized_linkage", "value": 599106}, {"parameter": "5,1", "name": "generalized_linkage", "value": 595810}, {"parameter": "6,0", "name": "generalized_linkage", "value": 1263899}, {"parameter": "6,1", "name": "generalized_linkage", "value": 1262894}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1364507}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1364301}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1357887}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1357901}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1532423}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1532425}, {"parameter": "10,0", "name": "generalized_linkage", "value": 1527687}, {"parameter": "10,1", "name": "generalized_linkage", "value": 1527681}, {"parameter": "11,1", "name": "generalized_linkage", "value": 780209}, {"parameter": "[3, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1215666}, {"parameter": "[3, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1146102}, {"parameter": "[4, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 304046}, {"parameter": "[4, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 286014}, {"parameter": "[5, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 599106}, {"parameter": "[5, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 595810}, {"parameter": "[6, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1263899}, {"parameter": "[6, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1262894}, {"parameter": "[7, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1364507}, {"parameter": "[7, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1364301}, {"parameter": "[8, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1357887}, {"parameter": "[8, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1357901}, {"parameter": "[9, 4],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1532423}, {"parameter": "[9, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1532425}, {"parameter": "[10, 3],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1527687}, {"parameter": "[10, 3],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1527681}, {"parameter": "[11, 2],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 780209}, {"parameter": "[3, 2, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 617670}, {"parameter": "[3, 2, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 631726}, {"parameter": "[3, 3, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1179581}, {"parameter": "[3, 3, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1172546}, {"parameter": "[3, 3, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1081277}, {"parameter": "[3, 3, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1074242}, {"parameter": "[3, 4, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1081021}, {"parameter": "[3, 4, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1079579}, {"parameter": "[3, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1089213}, {"parameter": "[3, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1087771}, {"parameter": "[3, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1113529}, {"parameter": "[3, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1113627}, {"parameter": "[3, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1127865}, {"parameter": "[3, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1127963}, {"parameter": "[3, 6, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1186609}, {"parameter": "[3, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1186623}, {"parameter": "[3, 6, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1133873}, {"parameter": "[3, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1133887}, {"parameter": "[3, 7, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1197809}, {"parameter": "[3, 7, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1197767}, {"parameter": "[3, 7, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1133489}, {"parameter": "[3, 7, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1133447}, {"parameter": "[3, 8, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 598551}, {"parameter": "[3, 8, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 572183}, {"parameter": "[4, 2, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 154449}, {"parameter": "[4, 2, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 156738}, {"parameter": "[4, 3, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 294589}, {"parameter": "[4, 3, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 293147}, {"parameter": "[4, 3, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 270013}, {"parameter": "[4, 3, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 268571}, {"parameter": "[4, 4, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 269753}, {"parameter": "[4, 4, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 269851}, {"parameter": "[4, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 271801}, {"parameter": "[4, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 271899}, {"parameter": "[4, 5, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 278321}, {"parameter": "[4, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 278335}, {"parameter": "[4, 5, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 281905}, {"parameter": "[4, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 281919}, {"parameter": "[4, 6, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 296689}, {"parameter": "[4, 6, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 296647}, {"parameter": "[4, 6, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 283505}, {"parameter": "[4, 6, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 283463}, {"parameter": "[4, 7, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 149727}, {"parameter": "[4, 7, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 141687}, {"parameter": "[5, 2, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 300625}, {"parameter": "[5, 2, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 301339}, {"parameter": "[5, 3, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 597433}, {"parameter": "[5, 3, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 597531}, {"parameter": "[5, 3, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 591289}, {"parameter": "[5, 3, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 591387}, {"parameter": "[5, 4, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 591665}, {"parameter": "[5, 4, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 591679}, {"parameter": "[5, 4, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 592177}, {"parameter": "[5, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 592191}, {"parameter": "[5, 5, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 593905}, {"parameter": "[5, 5, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 593863}, {"parameter": "[5, 5, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 594801}, {"parameter": "[5, 5, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 594759}, {"parameter": "[5, 6, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 299231}, {"parameter": "[5, 6, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 297583}, {"parameter": "[6, 2, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 631997}, {"parameter": "[6, 2, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 632347}, {"parameter": "[6, 3, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1263409}, {"parameter": "[6, 3, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1263423}, {"parameter": "[6, 3, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1261873}, {"parameter": "[6, 3, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1261887}, {"parameter": "[6, 4, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1262065}, {"parameter": "[6, 4, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1262023}, {"parameter": "[6, 4, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1262193}, {"parameter": "[6, 4, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1262151}, {"parameter": "[6, 5, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 631295}, {"parameter": "[6, 5, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 631407}, {"parameter": "[7, 2, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 682261}, {"parameter": "[7, 2, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 682303}, {"parameter": "[7, 3, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1364465}, {"parameter": "[7, 3, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1364423}, {"parameter": "[7, 3, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1364081}, {"parameter": "[7, 3, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1364039}, {"parameter": "[7, 4, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 682047}, {"parameter": "[7, 4, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 682063}, {"parameter": "[8, 2, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 678997}, {"parameter": "[8, 2, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 678983}, {"parameter": "[8, 3, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 678975}, {"parameter": "[8, 3, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 678927}, {"parameter": "[9, 2, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 383119}, {"parameter": "[3, 2, 2, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 328435}, {"parameter": "[3, 2, 2, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 330577}, {"parameter": "[3, 2, 3, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 612651}, {"parameter": "[3, 2, 3, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 612945}, {"parameter": "[3, 2, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 598315}, {"parameter": "[3, 2, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 598609}, {"parameter": "[3, 2, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 595347}, {"parameter": "[3, 2, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 595389}, {"parameter": "[3, 2, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 606099}, {"parameter": "[3, 2, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 606141}, {"parameter": "[3, 2, 5, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 602067}, {"parameter": "[3, 2, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 601941}, {"parameter": "[3, 2, 5, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 624467}, {"parameter": "[3, 2, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 624341}, {"parameter": "[3, 2, 6, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 307869}, {"parameter": "[3, 2, 6, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 313581}, {"parameter": "[3, 3, 2, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 590123}, {"parameter": "[3, 3, 2, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 592573}, {"parameter": "[3, 3, 2, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 540971}, {"parameter": "[3, 3, 2, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 543421}, {"parameter": "[3, 3, 3, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1176151}, {"parameter": "[3, 3, 3, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1176249}, {"parameter": "[3, 3, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1165399}, {"parameter": "[3, 3, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1165497}, {"parameter": "[3, 3, 3, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1077847}, {"parameter": "[3, 3, 3, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1077945}, {"parameter": "[3, 3, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1067095}, {"parameter": "[3, 3, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1067193}, {"parameter": "[3, 3, 4, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1166743}, {"parameter": "[3, 3, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1166449}, {"parameter": "[3, 3, 4, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1167639}, {"parameter": "[3, 3, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1167345}, {"parameter": "[3, 3, 4, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1068439}, {"parameter": "[3, 3, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1068145}, {"parameter": "[3, 3, 4, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1069335}, {"parameter": "[3, 3, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1069041}, {"parameter": "[3, 3, 5, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 585209}, {"parameter": "[3, 3, 5, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 585993}, {"parameter": "[3, 3, 5, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 536057}, {"parameter": "[3, 3, 5, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 536841}, {"parameter": "[3, 4, 2, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 540563}, {"parameter": "[3, 4, 2, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 540857}, {"parameter": "[3, 4, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 544659}, {"parameter": "[3, 4, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 544953}, {"parameter": "[3, 4, 3, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1080727}, {"parameter": "[3, 4, 3, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1080433}, {"parameter": "[3, 4, 3, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1078039}, {"parameter": "[3, 4, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1077745}, {"parameter": "[3, 4, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1088919}, {"parameter": "[3, 4, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1088625}, {"parameter": "[3, 4, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1086231}, {"parameter": "[3, 4, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1085937}, {"parameter": "[3, 4, 4, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 539065}, {"parameter": "[3, 4, 4, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 539177}, {"parameter": "[3, 4, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 543161}, {"parameter": "[3, 4, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 543273}, {"parameter": "[3, 5, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 557139}, {"parameter": "[3, 5, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 557041}, {"parameter": "[3, 5, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 564307}, {"parameter": "[3, 5, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 564209}, {"parameter": "[3, 5, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 556985}, {"parameter": "[3, 5, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 556649}, {"parameter": "[3, 5, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 564153}, {"parameter": "[3, 5, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 563817}, {"parameter": "[3, 6, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 296745}, {"parameter": "[3, 6, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 283561}, {"parameter": "[4, 2, 2, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 81463}, {"parameter": "[4, 2, 2, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 82513}, {"parameter": "[4, 2, 3, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 152979}, {"parameter": "[4, 2, 3, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 153021}, {"parameter": "[4, 2, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 149395}, {"parameter": "[4, 2, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 149437}, {"parameter": "[4, 2, 4, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 148947}, {"parameter": "[4, 2, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 148821}, {"parameter": "[4, 2, 4, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 151635}, {"parameter": "[4, 2, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 151509}, {"parameter": "[4, 2, 5, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 75261}, {"parameter": "[4, 2, 5, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 78061}, {"parameter": "[4, 3, 2, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 147347}, {"parameter": "[4, 3, 2, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 147641}, {"parameter": "[4, 3, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 135059}, {"parameter": "[4, 3, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 135353}, {"parameter": "[4, 3, 3, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 294295}, {"parameter": "[4, 3, 3, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 294001}, {"parameter": "[4, 3, 3, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 291607}, {"parameter": "[4, 3, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 291313}, {"parameter": "[4, 3, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 269719}, {"parameter": "[4, 3, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 269425}, {"parameter": "[4, 3, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 267031}, {"parameter": "[4, 3, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 266737}, {"parameter": "[4, 3, 4, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 145849}, {"parameter": "[4, 3, 4, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 145961}, {"parameter": "[4, 3, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 133561}, {"parameter": "[4, 3, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 133673}, {"parameter": "[4, 4, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 135251}, {"parameter": "[4, 4, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 135153}, {"parameter": "[4, 4, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 136275}, {"parameter": "[4, 4, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 136177}, {"parameter": "[4, 4, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 135097}, {"parameter": "[4, 4, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 134761}, {"parameter": "[4, 4, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 136121}, {"parameter": "[4, 4, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 135785}, {"parameter": "[4, 5, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 69673}, {"parameter": "[4, 5, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 70569}, {"parameter": "[5, 2, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 151359}, {"parameter": "[5, 2, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 151485}, {"parameter": "[5, 2, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 300499}, {"parameter": "[5, 2, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 300373}, {"parameter": "[5, 2, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 299603}, {"parameter": "[5, 2, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 299477}, {"parameter": "[5, 2, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 149693}, {"parameter": "[5, 2, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150029}, {"parameter": "[5, 3, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 299091}, {"parameter": "[5, 3, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 298993}, {"parameter": "[5, 3, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 296019}, {"parameter": "[5, 3, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 295921}, {"parameter": "[5, 3, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 298937}, {"parameter": "[5, 3, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 298601}, {"parameter": "[5, 3, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 295865}, {"parameter": "[5, 3, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 295529}, {"parameter": "[5, 4, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 148009}, {"parameter": "[5, 4, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 148137}, {"parameter": "[6, 2, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 316415}, {"parameter": "[6, 2, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 316373}, {"parameter": "[6, 2, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 316093}, {"parameter": "[6, 2, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 315981}, {"parameter": "[6, 3, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 315945}, {"parameter": "[6, 3, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 315561}, {"parameter": "[7, 2, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 170637}, {"parameter": "[3, 2, 2, 2, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 167357}, {"parameter": "[3, 2, 2, 2, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 167735}, {"parameter": "[3, 2, 2, 3, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 328057}, {"parameter": "[3, 2, 2, 3, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 327679}, {"parameter": "[3, 2, 2, 3, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 325369}, {"parameter": "[3, 2, 2, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 324991}, {"parameter": "[3, 2, 2, 4, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 162359}, {"parameter": "[3, 2, 2, 4, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 163367}, {"parameter": "[3, 2, 3, 2, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 307449}, {"parameter": "[3, 2, 3, 2, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 307155}, {"parameter": "[3, 2, 3, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 300281}, {"parameter": "[3, 2, 3, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 299987}, {"parameter": "[3, 2, 3, 3, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 306987}, {"parameter": "[3, 2, 3, 3, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 305979}, {"parameter": "[3, 2, 3, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 299819}, {"parameter": "[3, 2, 3, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 298811}, {"parameter": "[3, 2, 4, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 149115}, {"parameter": "[3, 2, 4, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 151803}, {"parameter": "[3, 3, 2, 2, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 297977}, {"parameter": "[3, 3, 2, 2, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 297683}, {"parameter": "[3, 3, 2, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 273401}, {"parameter": "[3, 3, 2, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 273107}, {"parameter": "[3, 3, 2, 3, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 295723}, {"parameter": "[3, 3, 2, 3, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 294939}, {"parameter": "[3, 3, 2, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 271147}, {"parameter": "[3, 3, 2, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 270363}, {"parameter": "[3, 3, 3, 2, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 294687}, {"parameter": "[3, 3, 3, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 291999}, {"parameter": "[3, 3, 3, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 270111}, {"parameter": "[3, 3, 3, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 267423}, {"parameter": "[3, 4, 2, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 135643}, {"parameter": "[3, 4, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 136667}, {"parameter": "[4, 2, 2, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 41981}, {"parameter": "[4, 2, 2, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 41855}, {"parameter": "[4, 2, 2, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 41015}, {"parameter": "[4, 2, 2, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40679}, {"parameter": "[4, 2, 3, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 38523}, {"parameter": "[4, 2, 3, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 37627}, {"parameter": "[4, 3, 2, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 37339}, {"parameter": "[4, 3, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 34267}, {"parameter": "[5, 2, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 38055}, {"parameter": "[3, 2, 2, 2, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42485}, {"parameter": "", "name": "JohnsonLB", "value": 1152886}, {"parameter": "", "name": "EF_Kurz2020_linkage_special", "value": 1364619}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 5458}], "request": [2, 13, 4, 3], "liftedmrdsizebound": 1222827, "comments": "", "equal_bound_constraints": []}