{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 9234320988196680367732171600}, {"parameter": "", "name": "singleton", "value": 4656488262337620150}, {"parameter": "2", "name": "ilp_2", "value": 4002946050363009750}, {"parameter": "4", "name": "ilp_3", "value": 23085802470491700919330429}, {"parameter": "", "name": "anticode", "value": 4002946050363009750}, {"parameter": "", "name": "linear_programming_bound", "value": 4002946050363009750}, {"parameter": "", "name": "sphere_packing", "value": 9234320988196680367732171600}, {"parameter": "1", "name": "ilp_1", "value": 4002946038216470799}, {"parameter": "5", "name": "ilp_4", "value": 22681945162011124930381056}, {"parameter": "6", "name": "ilp_4", "value": 22681945162011124930381056}, {"parameter": "7", "name": "ilp_4", "value": 3296794354943477460811200}, {"parameter": "8", "name": "ilp_4", "value": 470778469058646852607293}, {"parameter": "9", "name": "ilp_4", "value": 67277595956466193838800}, {"parameter": "10", "name": "ilp_4", "value": 9611005110949962529587}, {"parameter": "11", "name": "ilp_4", "value": 1373010529199553644750}, {"parameter": "12", "name": "ilp_4", "value": 196144327984153524800}, {"parameter": "13", "name": "ilp_4", "value": 28020622364687607207}, {"parameter": "", "name": "johnson_1", "value": 4002946038216470799}, {"parameter": "", "name": "johnson_2", "value": 28020622364687607207}, {"parameter": "0, 3", "name": "Ahlswede_Aydinian", "value": 9234320988196680367732171600}, {"parameter": "0, 4", "name": "Ahlswede_Aydinian", "value": 23085802470491700919330429}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 22681945162011124930381056}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 22681945162011124930381056}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 3296794354943477460811200}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 470778469058646852607293}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 67277595956466193838800}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 9611005110949962529587}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1373010529199553644750}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 196144327984153524800}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 28020622364687607207}, {"parameter": "1, 2", "name": "Ahlswede_Aydinian", "value": 4002946050363009750}, {"parameter": "1, 3", "name": "Ahlswede_Aydinian", "value": 4002946052067787147}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 4002946064001228970}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 4002946147535323721}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 4002946732274084602}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 4002950825450194117}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 4002979477917347008}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 4003180056673014387}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 4004584670986656454}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 4014444638373555856}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 4084847759543515636}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 4656488262337620150}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 9234320988196680367732171600}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 4002946050363009750}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 4002946038216470799}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 23085802470491700919330429}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 23143661624377075799528030}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 23556941294961303397330488}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 26922218610904350161500150}, {"parameter": "", "name": "improved_johnson", "value": 4002946038216470794}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 3297971781498814417047204}], "known_codes": [], "upper_bound": 4002946038216470794, "classified": false, "lower_bound": 3922876843071748206, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 3909821048582988049}, {"parameter": "", "name": "sphere_covering", "value": 70227123720487494}, {"parameter": "", "name": "graham_sloane", "value": 81692776532238950}, {"parameter": "", "name": "multicomponent", "value": 3911450140686564246}, {"parameter": "", "name": "construction_ST_A_1", "value": 3911760443936541806}, {"parameter": "", "name": "construction_ST_B", "value": 3911450805627766280}, {"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": 3911753984677024606}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 3909821048582988049}, {"parameter": "", "name": "two_pivot_block_construction", "value": 3911450140686564352}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 3911483484589555995}, {"parameter": "(3, 11)", "name": "CKMP2019_Lem_41", "value": 3909854392485979750}, {"parameter": "(4, 10)", "name": "CKMP2019_Lem_41", "value": 79792946785428157}, {"parameter": "(5, 9)", "name": "CKMP2019_Lem_41", "value": 560174291535795203}, {"parameter": "(6, 8)", "name": "CKMP2019_Lem_41", "value": 3913576370019968261}, {"parameter": "(7, 7)", "name": "CKMP2019_Lem_41", "value": 3922876842741115350}, {"parameter": "(8, 6)", "name": "CKMP2019_Lem_41", "value": 3911759520855605861}, {"parameter": "(9, 5)", "name": "CKMP2019_Lem_41", "value": 3913581795804411347}, {"parameter": "(10, 4)", "name": "CKMP2019_Lem_41", "value": 3922876843063924957}, {"parameter": "(11, 3)", "name": "CKMP2019_Lem_41", "value": 3922876843070630950}, {"parameter": "(3, 3, 8)", "name": "CKMP2019_Lem_41", "value": 3909854281796172949}, {"parameter": "(3, 4, 7)", "name": "CKMP2019_Lem_41", "value": 3909821726811844949}, {"parameter": "(3, 5, 6)", "name": "CKMP2019_Lem_41", "value": 3909825809985902955}, {"parameter": "(3, 6, 5)", "name": "CKMP2019_Lem_41", "value": 3909854313433261131}, {"parameter": "(3, 7, 4)", "name": "CKMP2019_Lem_41", "value": 3909854392485976901}, {"parameter": "(3, 8, 3)", "name": "CKMP2019_Lem_41", "value": 3909854297990300101}, {"parameter": "(4, 3, 7)", "name": "CKMP2019_Lem_41", "value": 79792944526468901}, {"parameter": "(4, 4, 6)", "name": "CKMP2019_Lem_41", "value": 79792280139016964}, {"parameter": "(4, 5, 5)", "name": "CKMP2019_Lem_41", "value": 79792363469098001}, {"parameter": "(4, 6, 4)", "name": "CKMP2019_Lem_41", "value": 79792945172107364}, {"parameter": "(4, 7, 3)", "name": "CKMP2019_Lem_41", "value": 79792946785428101}, {"parameter": "(5, 3, 6)", "name": "CKMP2019_Lem_41", "value": 560174291522599419}, {"parameter": "(5, 4, 5)", "name": "CKMP2019_Lem_41", "value": 560174277963670049}, {"parameter": "(5, 5, 4)", "name": "CKMP2019_Lem_41", "value": 560174279664286001}, {"parameter": "(5, 6, 3)", "name": "CKMP2019_Lem_41", "value": 560174291535775995}, {"parameter": "(6, 3, 5)", "name": "CKMP2019_Lem_41", "value": 3913576370019828555}, {"parameter": "(6, 4, 4)", "name": "CKMP2019_Lem_41", "value": 3913576369743117764}, {"parameter": "(6, 5, 3)", "name": "CKMP2019_Lem_41", "value": 3913576369777824219}, {"parameter": "(7, 3, 4)", "name": "CKMP2019_Lem_41", "value": 3922876842741096101}, {"parameter": "(7, 4, 3)", "name": "CKMP2019_Lem_41", "value": 3922876842735448949}, {"parameter": "(8, 3, 3)", "name": "CKMP2019_Lem_41", "value": 3911759520855605749}, {"parameter": "(3, 3, 3, 5)", "name": "CKMP2019_Lem_41", "value": 3909854281796033243}, {"parameter": "(3, 3, 4, 4)", "name": "CKMP2019_Lem_41", "value": 3909854281519322452}, {"parameter": "(3, 3, 5, 3)", "name": "CKMP2019_Lem_41", "value": 3909854281554028907}, {"parameter": "(3, 4, 3, 4)", "name": "CKMP2019_Lem_41", "value": 3909821726811825700}, {"parameter": "(3, 4, 4, 3)", "name": "CKMP2019_Lem_41", "value": 3909821726806178548}, {"parameter": "(3, 5, 3, 3)", "name": "CKMP2019_Lem_41", "value": 3909825809985902843}, {"parameter": "(4, 3, 3, 4)", "name": "CKMP2019_Lem_41", "value": 79792944526449652}, {"parameter": "(4, 3, 4, 3)", "name": "CKMP2019_Lem_41", "value": 79792944520802500}, {"parameter": "(4, 4, 3, 3)", "name": "CKMP2019_Lem_41", "value": 79792280139016852}, {"parameter": "(5, 3, 3, 3)", "name": "CKMP2019_Lem_41", "value": 560174291522599307}, {"parameter": "(3, 11)", "name": "CKMP2019_Cor_42", "value": 3909854392485979750}, {"parameter": "(4, 10)", "name": "CKMP2019_Cor_42", "value": 79792946785428157}, {"parameter": "(5, 9)", "name": "CKMP2019_Cor_42", "value": 560174291535795203}, {"parameter": "(6, 8)", "name": "CKMP2019_Cor_42", "value": 3913576370019968261}, {"parameter": "(7, 7)", "name": "CKMP2019_Cor_42", "value": 3922876842741115350}, {"parameter": "(8, 6)", "name": "CKMP2019_Cor_42", "value": 3911759520855605861}, {"parameter": "(9, 5)", "name": "CKMP2019_Cor_42", "value": 3913581795804411347}, {"parameter": "(10, 4)", "name": "CKMP2019_Cor_42", "value": 3922876843063924957}, {"parameter": "(11, 3)", "name": "CKMP2019_Cor_42", "value": 3922876843070630950}, {"parameter": "(3, 3, 8)", "name": "CKMP2019_Cor_42", "value": 3909854281796172949}, {"parameter": "(3, 4, 7)", "name": "CKMP2019_Cor_42", "value": 3909821726811844949}, {"parameter": "(3, 5, 6)", "name": "CKMP2019_Cor_42", "value": 3909825809985902955}, {"parameter": "(3, 6, 5)", "name": "CKMP2019_Cor_42", "value": 3909854313433261131}, {"parameter": "(3, 7, 4)", "name": "CKMP2019_Cor_42", "value": 3909854392485976901}, {"parameter": "(3, 8, 3)", "name": "CKMP2019_Cor_42", "value": 3909854297990300101}, {"parameter": "(4, 3, 7)", "name": "CKMP2019_Cor_42", "value": 79792944526468901}, {"parameter": "(4, 4, 6)", "name": "CKMP2019_Cor_42", "value": 79792280139016964}, {"parameter": "(4, 5, 5)", "name": "CKMP2019_Cor_42", "value": 79792363469098001}, {"parameter": "(4, 6, 4)", "name": "CKMP2019_Cor_42", "value": 79792945172107364}, {"parameter": "(4, 7, 3)", "name": "CKMP2019_Cor_42", "value": 79792946785428101}, {"parameter": "(5, 3, 6)", "name": "CKMP2019_Cor_42", "value": 560174291522599419}, {"parameter": "(5, 4, 5)", "name": "CKMP2019_Cor_42", "value": 560174277963670049}, {"parameter": "(5, 5, 4)", "name": "CKMP2019_Cor_42", "value": 560174279664286001}, {"parameter": "(5, 6, 3)", "name": "CKMP2019_Cor_42", "value": 560174291535775995}, {"parameter": "(6, 3, 5)", "name": "CKMP2019_Cor_42", "value": 3913576370019828555}, {"parameter": "(6, 4, 4)", "name": "CKMP2019_Cor_42", "value": 3913576369743117764}, {"parameter": "(6, 5, 3)", "name": "CKMP2019_Cor_42", "value": 3913576369777824219}, {"parameter": "(7, 3, 4)", "name": "CKMP2019_Cor_42", "value": 3922876842741096101}, {"parameter": "(7, 4, 3)", "name": "CKMP2019_Cor_42", "value": 3922876842735448949}, {"parameter": "(8, 3, 3)", "name": "CKMP2019_Cor_42", "value": 3911759520855605749}, {"parameter": "(3, 3, 3, 5)", "name": "CKMP2019_Cor_42", "value": 3909854281796033243}, {"parameter": "(3, 3, 4, 4)", "name": "CKMP2019_Cor_42", "value": 3909854281519322452}, {"parameter": "(3, 3, 5, 3)", "name": "CKMP2019_Cor_42", "value": 3909854281554028907}, {"parameter": "(3, 4, 3, 4)", "name": "CKMP2019_Cor_42", "value": 3909821726811825700}, {"parameter": "(3, 4, 4, 3)", "name": "CKMP2019_Cor_42", "value": 3909821726806178548}, {"parameter": "(3, 5, 3, 3)", "name": "CKMP2019_Cor_42", "value": 3909825809985902843}, {"parameter": "(4, 3, 3, 4)", "name": "CKMP2019_Cor_42", "value": 79792944526449652}, {"parameter": "(4, 3, 4, 3)", "name": "CKMP2019_Cor_42", "value": 79792944520802500}, {"parameter": "(4, 4, 3, 3)", "name": "CKMP2019_Cor_42", "value": 79792280139016852}, {"parameter": "(5, 3, 3, 3)", "name": "CKMP2019_Cor_42", "value": 560174291522599307}, {"parameter": "", "name": "construction_1", "value": 3911760443936541806}, {"parameter": "3", "name": "linkage_ST", "value": 3922876843070630950}, {"parameter": "4", "name": "linkage_ST", "value": 3922876843063924957}, {"parameter": "5", "name": "linkage_ST", "value": 3913581795804411347}, {"parameter": "6", "name": "linkage_ST", "value": 3911759520855605861}, {"parameter": "7", "name": "linkage_ST", "value": 3922876842741115350}, {"parameter": "8", "name": "linkage_ST", "value": 3913576370019968261}, {"parameter": "9", "name": "linkage_ST", "value": 560174291535795203}, {"parameter": "10", "name": "linkage_ST", "value": 79792946785428157}, {"parameter": "11", "name": "linkage_ST", "value": 3909854392485979750}, {"parameter": "12", "name": "linkage_ST", "value": 1633851246593749}, {"parameter": "13", "name": "linkage_ST", "value": 80058711083096502}, {"parameter": "3", "name": "construction_D", "value": 3922876843070630949}, {"parameter": "4", "name": "construction_D", "value": 3922876843063924956}, {"parameter": "5", "name": "construction_D", "value": 3913581795804411003}, {"parameter": "6", "name": "construction_D", "value": 3911759520855488099}, {"parameter": "7", "name": "construction_D", "value": 3922876842735331299}, {"parameter": "8", "name": "construction_D", "value": 3913576369737352962}, {"parameter": "9", "name": "construction_D", "value": 560174277681194456}, {"parameter": "10", "name": "construction_D", "value": 79792266297612001}, {"parameter": "11", "name": "construction_D", "value": 3909821048582988049}, {"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": 3909854392485979750}, {"parameter": "4", "name": "linkage_GLT", "value": 79792946785428157}, {"parameter": "5", "name": "linkage_GLT", "value": 560174291535795203}, {"parameter": "6", "name": "linkage_GLT", "value": 3913576370019968261}, {"parameter": "7", "name": "linkage_GLT", "value": 3922876842741115350}, {"parameter": "8", "name": "linkage_GLT", "value": 3911759520855605861}, {"parameter": "9", "name": "linkage_GLT", "value": 3913581795804411347}, {"parameter": "10", "name": "linkage_GLT", "value": 3922876843063924957}, {"parameter": "11", "name": "linkage_GLT", "value": 3922876843070630950}, {"parameter": "3", "name": "improved_linkage", "value": 3911454899829581798}, {"parameter": "4", "name": "improved_linkage", "value": 79825610200603702}, {"parameter": "5", "name": "improved_linkage", "value": 560174958169010612}, {"parameter": "6", "name": "improved_linkage", "value": 3913576383591953709}, {"parameter": "7", "name": "improved_linkage", "value": 3922876843017946598}, {"parameter": "8", "name": "improved_linkage", "value": 3911759520861272150}, {"parameter": "9", "name": "improved_linkage", "value": 3913581795804528765}, {"parameter": "10", "name": "improved_linkage", "value": 3922876843063925300}, {"parameter": "11", "name": "improved_linkage", "value": 3922876843070630950}, {"parameter": "12", "name": "improved_linkage", "value": 560410977581655908}, {"parameter": "3,0", "name": "generalized_linkage", "value": 3911721651053515006}, {"parameter": "3,1", "name": "generalized_linkage", "value": 3911454899829581798}, {"parameter": "4,0", "name": "generalized_linkage", "value": 79831054103132893}, {"parameter": "4,1", "name": "generalized_linkage", "value": 79825610200603702}, {"parameter": "5,0", "name": "generalized_linkage", "value": 560175067393437035}, {"parameter": "5,1", "name": "generalized_linkage", "value": 560174958169010612}, {"parameter": "6,0", "name": "generalized_linkage", "value": 3913576385846425005}, {"parameter": "6,1", "name": "generalized_linkage", "value": 3913576383591953709}, {"parameter": "7,0", "name": "generalized_linkage", "value": 3922876843065022206}, {"parameter": "7,1", "name": "generalized_linkage", "value": 3922876843017946598}, {"parameter": "8,0", "name": "generalized_linkage", "value": 3911759520862200533}, {"parameter": "8,1", "name": "generalized_linkage", "value": 3911759520861272150}, {"parameter": "9,0", "name": "generalized_linkage", "value": 3913581795804430611}, {"parameter": "9,1", "name": "generalized_linkage", "value": 3913581795804528765}, {"parameter": "10,0", "name": "generalized_linkage", "value": 3922876843063925013}, {"parameter": "10,1", "name": "generalized_linkage", "value": 3922876843063925300}, {"parameter": "11,0", "name": "generalized_linkage", "value": 3922876843070631006}, {"parameter": "11,1", "name": "generalized_linkage", "value": 3922876843070630950}, {"parameter": "12,1", "name": "generalized_linkage", "value": 560410977581655908}, {"parameter": "[3, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3911721651053515006}, {"parameter": "[3, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3911454899829581798}, {"parameter": "[4, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79831054103132893}, {"parameter": "[4, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79825610200603702}, {"parameter": "[5, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 560175067393437035}, {"parameter": "[5, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 560174958169010612}, {"parameter": "[6, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3913576385846425005}, {"parameter": "[6, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3913576383591953709}, {"parameter": "[7, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3922876843065022206}, {"parameter": "[7, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3922876843017946598}, {"parameter": "[8, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3911759520862200533}, {"parameter": "[8, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3911759520861272150}, {"parameter": "[9, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3913581795804430611}, {"parameter": "[9, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3913581795804528765}, {"parameter": "[10, 4],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3922876843063925013}, {"parameter": "[10, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3922876843063925300}, {"parameter": "[11, 3],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3922876843070631006}, {"parameter": "[11, 3],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3922876843070630950}, {"parameter": "[12, 2],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 560410977581655908}, {"parameter": "[3, 2, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 560180595379135088}, {"parameter": "[3, 2, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 560213065486715348}, {"parameter": "[3, 3, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3911716243842561757}, {"parameter": "[3, 3, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3911716115337697885}, {"parameter": "[3, 3, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3909855199730664101}, {"parameter": "[3, 3, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3909855071225800229}, {"parameter": "[3, 4, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3909859726090522141}, {"parameter": "[3, 4, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3909859723407212485}, {"parameter": "[3, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3910054376112429804}, {"parameter": "[3, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3910054373429120148}, {"parameter": "[3, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3910092448925033995}, {"parameter": "[3, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3910092448872116164}, {"parameter": "[3, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3911451026628960949}, {"parameter": "[3, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3911451026576043118}, {"parameter": "[3, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3911717145049651771}, {"parameter": "[3, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3911717145055246549}, {"parameter": "[3, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3911454899830559404}, {"parameter": "[3, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3911454899836154182}, {"parameter": "[3, 7, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3911721651053355805}, {"parameter": "[3, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3911721651053372164}, {"parameter": "[3, 7, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3911450269541281797}, {"parameter": "[3, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3911450269541298156}, {"parameter": "[3, 8, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3911716264799778205}, {"parameter": "[3, 8, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3911716264799775013}, {"parameter": "[3, 8, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3911451028506275101}, {"parameter": "[3, 8, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3911451028506271909}, {"parameter": "[3, 9, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 558816735382488661}, {"parameter": "[3, 9, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558779271404225572}, {"parameter": "[4, 2, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 11432256988519088}, {"parameter": "[4, 2, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11432917828185323}, {"parameter": "[4, 3, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79830943805146093}, {"parameter": "[4, 3, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79830941121836437}, {"parameter": "[4, 3, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79792963313066549}, {"parameter": "[4, 3, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79792960629756893}, {"parameter": "[4, 4, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79793055633591196}, {"parameter": "[4, 4, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79793055580673365}, {"parameter": "[4, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79797028083017883}, {"parameter": "[4, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79797028030100052}, {"parameter": "[4, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79797805073412049}, {"parameter": "[4, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79797805079006827}, {"parameter": "[4, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79825531149002395}, {"parameter": "[4, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79825531154597173}, {"parameter": "[4, 6, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79830962143850884}, {"parameter": "[4, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79830962143867243}, {"parameter": "[4, 6, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79825610200604101}, {"parameter": "[4, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79825610200620460}, {"parameter": "[4, 7, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79831054103132893}, {"parameter": "[4, 7, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79831054103129701}, {"parameter": "[4, 7, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79825515704927301}, {"parameter": "[4, 7, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79825515704924109}, {"parameter": "[4, 8, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11404420597083949}, {"parameter": "[4, 8, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11403647313429421}, {"parameter": "[5, 2, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 80025577672199313}, {"parameter": "[5, 2, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80025591143744100}, {"parameter": "[5, 3, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 560175067017173651}, {"parameter": "[5, 3, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 560175066964255820}, {"parameter": "[5, 3, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 560174291905090395}, {"parameter": "[5, 3, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 560174291852172564}, {"parameter": "[5, 4, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 560174293783401305}, {"parameter": "[5, 4, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 560174293788996083}, {"parameter": "[5, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 560174374853797768}, {"parameter": "[5, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 560174374859392546}, {"parameter": "[5, 5, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 560174390717415713}, {"parameter": "[5, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 560174390717432072}, {"parameter": "[5, 5, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 560174956555693067}, {"parameter": "[5, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 560174956555709426}, {"parameter": "[5, 6, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 560175067392345371}, {"parameter": "[5, 6, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 560175067392342179}, {"parameter": "[5, 6, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 560174958169013804}, {"parameter": "[5, 6, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 560174958169010612}, {"parameter": "[5, 7, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 80025009895580366}, {"parameter": "[5, 7, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80024993748646822}, {"parameter": "[6, 2, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 559082352428894239}, {"parameter": "[6, 2, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 559082352704885674}, {"parameter": "[6, 3, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3913576385839559811}, {"parameter": "[6, 3, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3913576385845154589}, {"parameter": "[6, 3, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3913576370020945867}, {"parameter": "[6, 3, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3913576370026540645}, {"parameter": "[6, 4, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3913576370065949868}, {"parameter": "[6, 4, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3913576370065966227}, {"parameter": "[6, 4, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3913576371720447755}, {"parameter": "[6, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3913576371720464114}, {"parameter": "[6, 5, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3913576372044217803}, {"parameter": "[6, 5, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3913576372044214611}, {"parameter": "[6, 5, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3913576383591937749}, {"parameter": "[6, 5, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3913576383591934557}, {"parameter": "[6, 6, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 559082340836272485}, {"parameter": "[6, 6, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 559082340517837116}, {"parameter": "[7, 2, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 560410977816250870}, {"parameter": "[7, 2, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 560410977822806440}, {"parameter": "[7, 3, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3922876843063928205}, {"parameter": "[7, 3, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3922876843063944564}, {"parameter": "[7, 3, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3922876842741099349}, {"parameter": "[7, 3, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3922876842741115708}, {"parameter": "[7, 4, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3922876842742040541}, {"parameter": "[7, 4, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3922876842742037349}, {"parameter": "[7, 4, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3922876842775805804}, {"parameter": "[7, 4, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3922876842775802612}, {"parameter": "[7, 5, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 560410977540344358}, {"parameter": "[7, 5, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 560410977574011180}, {"parameter": "[8, 2, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 558822788699406414}, {"parameter": "[8, 2, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558822788699425566}, {"parameter": "[8, 3, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3911759520862197341}, {"parameter": "[8, 3, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3911759520862194149}, {"parameter": "[8, 3, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3911759520855608997}, {"parameter": "[8, 3, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3911759520855605805}, {"parameter": "[8, 4, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 558822788693660765}, {"parameter": "[8, 4, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558822788693759206}, {"parameter": "[9, 2, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 559083113686462534}, {"parameter": "[9, 2, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 559083113686462135}, {"parameter": "[9, 3, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 559083113686364037}, {"parameter": "[9, 3, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 559083113686344829}, {"parameter": "[10, 2, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80058711082937644}, {"parameter": "[3, 2, 2, 7],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 80063576626969649}, {"parameter": "[3, 2, 2, 7],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80063684399327945}, {"parameter": "[3, 2, 3, 6],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 560180592369028016}, {"parameter": "[3, 2, 3, 6],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 560180591945685368}, {"parameter": "[3, 2, 3, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 560175069695434817}, {"parameter": "[3, 2, 3, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 560175069272092169}, {"parameter": "[3, 2, 4, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 560174406498849248}, {"parameter": "[3, 2, 4, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 560174406543607472}, {"parameter": "[3, 2, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 560179816464818096}, {"parameter": "[3, 2, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 560179816509576320}, {"parameter": "[3, 2, 5, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 560175181970964512}, {"parameter": "[3, 2, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 560175181971095384}, {"parameter": "[3, 2, 5, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 560212973527456082}, {"parameter": "[3, 2, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 560212973527586954}, {"parameter": "[3, 2, 6, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 560180595370401776}, {"parameter": "[3, 2, 6, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 560180595370376240}, {"parameter": "[3, 2, 6, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 560213065486738091}, {"parameter": "[3, 2, 6, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 560213065486712555}, {"parameter": "[3, 2, 7, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 80025801483448472}, {"parameter": "[3, 2, 7, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80030422223310413}, {"parameter": "[3, 3, 2, 6],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 558817267103591119}, {"parameter": "[3, 3, 2, 6],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558817282835102914}, {"parameter": "[3, 3, 2, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 558551403659034311}, {"parameter": "[3, 3, 2, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558551419390546106}, {"parameter": "[3, 3, 3, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3911716243451245699}, {"parameter": "[3, 3, 3, 5],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3911716243770148045}, {"parameter": "[3, 3, 3, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3911715341790250891}, {"parameter": "[3, 3, 3, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3911715342109153237}, {"parameter": "[3, 3, 3, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3909855199339348043}, {"parameter": "[3, 3, 3, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3909855199658250389}, {"parameter": "[3, 3, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3909854297678353235}, {"parameter": "[3, 3, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3909854297997255581}, {"parameter": "[3, 3, 4, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3911715344355478948}, {"parameter": "[3, 3, 4, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3911715344356411411}, {"parameter": "[3, 3, 4, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3911715438661858507}, {"parameter": "[3, 3, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3911715438662790970}, {"parameter": "[3, 3, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3909854300243581292}, {"parameter": "[3, 3, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3909854300244513755}, {"parameter": "[3, 3, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3909854394549960851}, {"parameter": "[3, 3, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3909854394550893314}, {"parameter": "[3, 3, 5, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3911715457116751243}, {"parameter": "[3, 3, 5, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3911715457116569299}, {"parameter": "[3, 3, 5, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3911716115336788165}, {"parameter": "[3, 3, 5, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3911716115336606221}, {"parameter": "[3, 3, 5, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3909854413004853587}, {"parameter": "[3, 3, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3909854413004671643}, {"parameter": "[3, 3, 5, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3909855071224890509}, {"parameter": "[3, 3, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3909855071224708565}, {"parameter": "[3, 3, 6, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 558816606324151141}, {"parameter": "[3, 3, 6, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558816588173335108}, {"parameter": "[3, 3, 6, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 558550742879594333}, {"parameter": "[3, 3, 6, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558550724728778300}, {"parameter": "[3, 4, 2, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 558551402866907647}, {"parameter": "[3, 4, 2, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558551403240575137}, {"parameter": "[3, 4, 2, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 558579210012894456}, {"parameter": "[3, 4, 2, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558579210386561946}, {"parameter": "[3, 4, 3, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3909859726028164084}, {"parameter": "[3, 4, 3, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3909859726029096547}, {"parameter": "[3, 4, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3909859707626919292}, {"parameter": "[3, 4, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3909859707627851755}, {"parameter": "[3, 4, 3, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3910054376050071747}, {"parameter": "[3, 4, 3, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3910054376051004210}, {"parameter": "[3, 4, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3910054357648826955}, {"parameter": "[3, 4, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3910054357649759418}, {"parameter": "[3, 4, 4, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3909859707680567236}, {"parameter": "[3, 4, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3909859707680385292}, {"parameter": "[3, 4, 4, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3909859709605187227}, {"parameter": "[3, 4, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3909859709605005283}, {"parameter": "[3, 4, 4, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3910054357702474899}, {"parameter": "[3, 4, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3910054357702292955}, {"parameter": "[3, 4, 4, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3910054359627094890}, {"parameter": "[3, 4, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3910054359626912946}, {"parameter": "[3, 4, 5, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 558551387140236463}, {"parameter": "[3, 4, 5, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558551389059245317}, {"parameter": "[3, 4, 5, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 558579194286223272}, {"parameter": "[3, 4, 5, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558579196205232126}, {"parameter": "[3, 5, 2, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 558584635834680400}, {"parameter": "[3, 5, 2, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558584635835772064}, {"parameter": "[3, 5, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 558778718363812822}, {"parameter": "[3, 5, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558778718364904486}, {"parameter": "[3, 5, 3, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3910092448924852051}, {"parameter": "[3, 5, 3, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3910092448924670107}, {"parameter": "[3, 5, 3, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3910092448549316443}, {"parameter": "[3, 5, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3910092448549134499}, {"parameter": "[3, 5, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3911451026628779005}, {"parameter": "[3, 5, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3911451026628597061}, {"parameter": "[3, 5, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3911451026253243397}, {"parameter": "[3, 5, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3911451026253061453}, {"parameter": "[3, 5, 4, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 558584635507178407}, {"parameter": "[3, 5, 4, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558584635512789544}, {"parameter": "[3, 5, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 558778718036310829}, {"parameter": "[3, 5, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558778718041921966}, {"parameter": "[3, 6, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 558816735013665430}, {"parameter": "[3, 6, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558816735013642687}, {"parameter": "[3, 6, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 558779271410937949}, {"parameter": "[3, 6, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558779271410915206}, {"parameter": "[3, 6, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 558816735008051101}, {"parameter": "[3, 6, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558816735006956245}, {"parameter": "[3, 6, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 558779271405323620}, {"parameter": "[3, 6, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558779271404228764}, {"parameter": "[3, 7, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79831054103152444}, {"parameter": "[3, 7, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79825515704946852}, {"parameter": "[4, 2, 2, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1633950542386625}, {"parameter": "[4, 2, 2, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633952750318105}, {"parameter": "[4, 2, 3, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 11432256933597536}, {"parameter": "[4, 2, 3, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11432256978355760}, {"parameter": "[4, 2, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 11432144225973185}, {"parameter": "[4, 2, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11432144270731409}, {"parameter": "[4, 2, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 11432130744717992}, {"parameter": "[4, 2, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11432130744848864}, {"parameter": "[4, 2, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 11432241152186744}, {"parameter": "[4, 2, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11432241152317616}, {"parameter": "[4, 2, 5, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 11432146570861472}, {"parameter": "[4, 2, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11432146570835936}, {"parameter": "[4, 2, 5, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 11432917827116402}, {"parameter": "[4, 2, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11432917827090866}, {"parameter": "[4, 2, 6, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633179578339744}, {"parameter": "[4, 2, 6, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633274243401949}, {"parameter": "[4, 3, 2, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 11404433968996783}, {"parameter": "[4, 3, 2, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11404434342664273}, {"parameter": "[4, 3, 2, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 11399008184413991}, {"parameter": "[4, 3, 2, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11399008558081481}, {"parameter": "[4, 3, 3, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79830943742788036}, {"parameter": "[4, 3, 3, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79830943743720499}, {"parameter": "[4, 3, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79830925341543244}, {"parameter": "[4, 3, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79830925342475707}, {"parameter": "[4, 3, 3, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79792963250708492}, {"parameter": "[4, 3, 3, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79792963251640955}, {"parameter": "[4, 3, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79792944849463700}, {"parameter": "[4, 3, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79792944850396163}, {"parameter": "[4, 3, 4, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79830925395191188}, {"parameter": "[4, 3, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79830925395009244}, {"parameter": "[4, 3, 4, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79830927319811179}, {"parameter": "[4, 3, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79830927319629235}, {"parameter": "[4, 3, 4, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79792944903111644}, {"parameter": "[4, 3, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79792944902929700}, {"parameter": "[4, 3, 4, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79792946827731635}, {"parameter": "[4, 3, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79792946827549691}, {"parameter": "[4, 3, 5, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11404418242325599}, {"parameter": "[4, 3, 5, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11404420161334453}, {"parameter": "[4, 3, 5, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11398992457742807}, {"parameter": "[4, 3, 5, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11398994376751661}, {"parameter": "[4, 4, 2, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 11399008221617143}, {"parameter": "[4, 4, 2, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11399008222708807}, {"parameter": "[4, 4, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 11399575714392384}, {"parameter": "[4, 4, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11399575715484048}, {"parameter": "[4, 4, 3, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79793055633409252}, {"parameter": "[4, 4, 3, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79793055633227308}, {"parameter": "[4, 4, 3, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79793055257873644}, {"parameter": "[4, 4, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79793055257691700}, {"parameter": "[4, 4, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79797028082835939}, {"parameter": "[4, 4, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79797028082653995}, {"parameter": "[4, 4, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79797027707300331}, {"parameter": "[4, 4, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79797027707118387}, {"parameter": "[4, 4, 4, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11399007894115150}, {"parameter": "[4, 4, 4, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11399007899726287}, {"parameter": "[4, 4, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11399575386890391}, {"parameter": "[4, 4, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11399575392501528}, {"parameter": "[4, 5, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 11399686445631184}, {"parameter": "[4, 5, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11399686445608441}, {"parameter": "[4, 5, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 11403647313572662}, {"parameter": "[4, 5, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11403647313549919}, {"parameter": "[4, 5, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11399686440016855}, {"parameter": "[4, 5, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11399686438921999}, {"parameter": "[4, 5, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11403647307958333}, {"parameter": "[4, 5, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11403647306863477}, {"parameter": "[4, 6, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1629203309080915}, {"parameter": "[4, 6, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1629094085749348}, {"parameter": "[5, 2, 2, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 11432241107297256}, {"parameter": "[5, 2, 2, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11432241159741816}, {"parameter": "[5, 2, 3, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 80025577663447305}, {"parameter": "[5, 2, 3, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 80025577663578177}, {"parameter": "[5, 2, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 80025575363291706}, {"parameter": "[5, 2, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80025575363422578}, {"parameter": "[5, 2, 4, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 80025575088345993}, {"parameter": "[5, 2, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 80025575088320457}, {"parameter": "[5, 2, 4, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 80025577341559641}, {"parameter": "[5, 2, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80025577341534105}, {"parameter": "[5, 2, 5, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11432225058757959}, {"parameter": "[5, 2, 5, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11432227307318469}, {"parameter": "[5, 3, 2, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 80025009847843208}, {"parameter": "[5, 3, 2, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80025009848934872}, {"parameter": "[5, 3, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 80024899117545600}, {"parameter": "[5, 3, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80024899118637264}, {"parameter": "[5, 3, 3, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 560175067016991707}, {"parameter": "[5, 3, 3, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 560175067016809763}, {"parameter": "[5, 3, 3, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 560175066641456099}, {"parameter": "[5, 3, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 560175066641274155}, {"parameter": "[5, 3, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 560174291904908451}, {"parameter": "[5, 3, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 560174291904726507}, {"parameter": "[5, 3, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 560174291529372843}, {"parameter": "[5, 3, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 560174291529190899}, {"parameter": "[5, 3, 4, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 80025009520341215}, {"parameter": "[5, 3, 4, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80025009525952352}, {"parameter": "[5, 3, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 80024898790043607}, {"parameter": "[5, 3, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80024898795654744}, {"parameter": "[5, 4, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 80024899118486792}, {"parameter": "[5, 4, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80024899118464049}, {"parameter": "[5, 4, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 80024910699972001}, {"parameter": "[5, 4, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80024910699949258}, {"parameter": "[5, 4, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 80024899112872463}, {"parameter": "[5, 4, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80024899111777607}, {"parameter": "[5, 4, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 80024910694357672}, {"parameter": "[5, 4, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80024910693262816}, {"parameter": "[5, 5, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11432130422827136}, {"parameter": "[5, 5, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11432141970547082}, {"parameter": "[6, 2, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79868907810767986}, {"parameter": "[6, 2, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79868907810921202}, {"parameter": "[6, 2, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 559082352428868703}, {"parameter": "[6, 2, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 559082352428843167}, {"parameter": "[6, 2, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 559082352381926752}, {"parameter": "[6, 2, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 559082352381901216}, {"parameter": "[6, 2, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79868907482327545}, {"parameter": "[6, 2, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79868907488896681}, {"parameter": "[6, 3, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 559082340840795150}, {"parameter": "[6, 3, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 559082340840772407}, {"parameter": "[6, 3, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 559082338580993158}, {"parameter": "[6, 3, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 559082338580970415}, {"parameter": "[6, 3, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 559082340835180821}, {"parameter": "[6, 3, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 559082340834085965}, {"parameter": "[6, 3, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 559082338575378829}, {"parameter": "[6, 3, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 559082338574283973}, {"parameter": "[6, 4, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79868905511572731}, {"parameter": "[6, 4, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79868905545337994}, {"parameter": "[7, 2, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 80058711123294499}, {"parameter": "[7, 2, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80058711123291307}, {"parameter": "[7, 2, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 80058711116741722}, {"parameter": "[7, 2, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80058711116604865}, {"parameter": "[7, 3, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80058711082960044}, {"parameter": "[7, 3, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80058711076371700}, {"parameter": "[8, 2, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11404546708171149}, {"parameter": "[3, 2, 2, 2, 5],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 11437779608288783}, {"parameter": "[3, 2, 2, 2, 5],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11437780027845263}, {"parameter": "[3, 2, 2, 3, 4],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 80063576556953585}, {"parameter": "[3, 2, 2, 3, 4],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 80063576558000561}, {"parameter": "[3, 2, 2, 3, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 80063558155708793}, {"parameter": "[3, 2, 2, 3, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80063558156755769}, {"parameter": "[3, 2, 2, 4, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 80063555956143089}, {"parameter": "[3, 2, 2, 4, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 80063555955938801}, {"parameter": "[3, 2, 2, 4, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 80063573981852273}, {"parameter": "[3, 2, 2, 4, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80063573981647985}, {"parameter": "[3, 2, 2, 5, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11437651219974407}, {"parameter": "[3, 2, 2, 5, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11437669208458487}, {"parameter": "[3, 2, 3, 2, 4],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 80025801101551208}, {"parameter": "[3, 2, 3, 2, 4],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80025801110284520}, {"parameter": "[3, 2, 3, 2, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 80025012148180751}, {"parameter": "[3, 2, 3, 2, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80025012156914063}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 560180592367572464}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 560180592366116912}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 560180589363287600}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 560180589361832048}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 560175069693979265}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 560175069692523713}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 560175066689694401}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 560175066688238849}, {"parameter": "[3, 2, 3, 4, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 80025798481535264}, {"parameter": "[3, 2, 3, 4, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80025798526424360}, {"parameter": "[3, 2, 3, 4, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 80025009528164807}, {"parameter": "[3, 2, 3, 4, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80025009573053903}, {"parameter": "[3, 2, 4, 2, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 80024915266699880}, {"parameter": "[3, 2, 4, 2, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80024915266517936}, {"parameter": "[3, 2, 4, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 80025688118981144}, {"parameter": "[3, 2, 4, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80025688118799200}, {"parameter": "[3, 2, 4, 3, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 80024915221785248}, {"parameter": "[3, 2, 4, 3, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80024915213026400}, {"parameter": "[3, 2, 4, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 80025688074066512}, {"parameter": "[3, 2, 4, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 80025688065307664}, {"parameter": "[3, 2, 5, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11432146571017880}, {"parameter": "[3, 2, 5, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11432917827272810}, {"parameter": "[3, 3, 2, 2, 4],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79831056450435130}, {"parameter": "[3, 3, 2, 2, 4],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79831056459168442}, {"parameter": "[3, 3, 2, 2, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79793075958355586}, {"parameter": "[3, 3, 2, 2, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79793075967088898}, {"parameter": "[3, 3, 2, 3, 3],[0, 0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 558817267102135567}, {"parameter": "[3, 3, 2, 3, 3],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 558817267100680015}, {"parameter": "[3, 3, 2, 3, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 558817264426444360}, {"parameter": "[3, 3, 2, 3, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558817264424988808}, {"parameter": "[3, 3, 2, 3, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 558551403657578759}, {"parameter": "[3, 3, 2, 3, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 558551403656123207}, {"parameter": "[3, 3, 2, 3, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 558551400981887552}, {"parameter": "[3, 3, 2, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558551400980432000}, {"parameter": "[3, 3, 2, 4, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79831037729329993}, {"parameter": "[3, 3, 2, 4, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79831038103770745}, {"parameter": "[3, 3, 2, 4, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79793057237250449}, {"parameter": "[3, 3, 2, 4, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79793057611691201}, {"parameter": "[3, 3, 3, 2, 3],[0, 0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 558816606581943046}, {"parameter": "[3, 3, 3, 2, 3],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558816606580646695}, {"parameter": "[3, 3, 3, 2, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 558816477773229502}, {"parameter": "[3, 3, 3, 2, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558816477771933151}, {"parameter": "[3, 3, 3, 2, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 558550743137386238}, {"parameter": "[3, 3, 3, 2, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558550743136089887}, {"parameter": "[3, 3, 3, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 558550614328672694}, {"parameter": "[3, 3, 3, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558550614327376343}, {"parameter": "[3, 3, 3, 3, 2],[0, 0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 558816606261926293}, {"parameter": "[3, 3, 3, 3, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558816606199519501}, {"parameter": "[3, 3, 3, 3, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 558816477453212749}, {"parameter": "[3, 3, 3, 3, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558816477390805957}, {"parameter": "[3, 3, 3, 3, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 558550742817369485}, {"parameter": "[3, 3, 3, 3, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558550742754962693}, {"parameter": "[3, 3, 3, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 558550614008655941}, {"parameter": "[3, 3, 3, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558550613946249149}, {"parameter": "[3, 3, 4, 2, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79830925396305595}, {"parameter": "[3, 3, 4, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79830927320925586}, {"parameter": "[3, 3, 4, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79792944904226051}, {"parameter": "[3, 3, 4, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79792946828846042}, {"parameter": "[3, 4, 2, 2, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79793057933587594}, {"parameter": "[3, 4, 2, 2, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79793057933405650}, {"parameter": "[3, 4, 2, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79797030383014281}, {"parameter": "[3, 4, 2, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79797030382832337}, {"parameter": "[3, 4, 2, 3, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79793057560079305}, {"parameter": "[3, 4, 2, 3, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79793057552278456}, {"parameter": "[3, 4, 2, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79797030009505992}, {"parameter": "[3, 4, 2, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79797030001705143}, {"parameter": "[3, 4, 3, 2, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79793055634523659}, {"parameter": "[3, 4, 3, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79793055258988051}, {"parameter": "[3, 4, 3, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79797028083950346}, {"parameter": "[3, 4, 3, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79797027708414738}, {"parameter": "[3, 5, 2, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11399686446745591}, {"parameter": "[3, 5, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11403647314687069}, {"parameter": "[4, 2, 2, 2, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 233424073462847}, {"parameter": "[4, 2, 2, 2, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 233424074688575}, {"parameter": "[4, 2, 2, 3, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1633950542182337}, {"parameter": "[4, 2, 2, 3, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633950541978049}, {"parameter": "[4, 2, 2, 3, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1633950166646729}, {"parameter": "[4, 2, 2, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633950166442441}, {"parameter": "[4, 2, 2, 4, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 233421445939319}, {"parameter": "[4, 2, 2, 4, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 233421498492407}, {"parameter": "[4, 2, 3, 2, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1633179614521064}, {"parameter": "[4, 2, 3, 2, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633179614339120}, {"parameter": "[4, 2, 3, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1633163513431871}, {"parameter": "[4, 2, 3, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633163513249927}, {"parameter": "[4, 2, 3, 3, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633179569606432}, {"parameter": "[4, 2, 3, 3, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633179560847584}, {"parameter": "[4, 2, 3, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633163468517239}, {"parameter": "[4, 2, 3, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633163459758391}, {"parameter": "[4, 2, 4, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 233308790890400}, {"parameter": "[4, 2, 4, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 233311044104048}, {"parameter": "[4, 3, 2, 2, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1629205233886042}, {"parameter": "[4, 3, 2, 2, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1629205233704098}, {"parameter": "[4, 3, 2, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1628430121802786}, {"parameter": "[4, 3, 2, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1628430121620842}, {"parameter": "[4, 3, 2, 3, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1629204860377753}, {"parameter": "[4, 3, 2, 3, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1629204852576904}, {"parameter": "[4, 3, 2, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1628429748294497}, {"parameter": "[4, 3, 2, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1628429740493648}, {"parameter": "[4, 3, 3, 2, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1629202934822107}, {"parameter": "[4, 3, 3, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1629202559286499}, {"parameter": "[4, 3, 3, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1628427822738851}, {"parameter": "[4, 3, 3, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1628427447203243}, {"parameter": "[4, 4, 2, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 232632821989198}, {"parameter": "[4, 4, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 232644403474407}, {"parameter": "[5, 2, 2, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1633177354540320}, {"parameter": "[5, 2, 2, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633177354514784}, {"parameter": "[5, 2, 2, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633177302118104}, {"parameter": "[5, 2, 2, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633177301023248}, {"parameter": "[5, 2, 3, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633175054537937}, {"parameter": "[5, 2, 3, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633175007595986}, {"parameter": "[5, 3, 2, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633163467422383}, {"parameter": "[5, 3, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633161207620391}, {"parameter": "[6, 2, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1629977710583818}, {"parameter": "[3, 2, 2, 2, 2, 3],[0, 1, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1633968943452665}, {"parameter": "[3, 2, 2, 2, 2, 3],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633968943248377}, {"parameter": "[3, 2, 2, 2, 3, 2],[0, 1, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633968524074937}, {"parameter": "[3, 2, 2, 2, 3, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633968515316089}, {"parameter": "[3, 2, 2, 3, 2, 2],[0, 1, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633950543433601}, {"parameter": "[3, 2, 2, 3, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633950167897993}, {"parameter": "[3, 2, 3, 2, 2, 2],[0, 1, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633179623436320}, {"parameter": "[3, 2, 3, 2, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1633163522347127}, {"parameter": "[3, 3, 2, 2, 2, 2],[0, 0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1629205242801298}, {"parameter": "[3, 3, 2, 2, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1628430130718042}, {"parameter": "[4, 2, 2, 2, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4763757881135}, {"parameter": "", "name": "JohnsonLB", "value": 3910164197507227896}, {"parameter": "", "name": "EF_Kurz2020_linkage_special", "value": 3922876843071748206}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 98907531457}], "request": [7, 14, 4, 3], "liftedmrdsizebound": 3911760443936541806, "comments": "", "equal_bound_constraints": []}