{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 7906721240160746987619507371870782509541}, {"parameter": "", "name": "singleton", "value": 1884649011792085827682980366254565}, {"parameter": "5", "name": "ilp_2", "value": 1413832016844407189325434651437222}, {"parameter": "7", "name": "ilp_3", "value": 1447852268844670754004670824367475281}, {"parameter": "", "name": "anticode", "value": 1413832016844407189325434651437222}, {"parameter": "", "name": "linear_programming_bound", "value": 1413832016844407189325434651437222}, {"parameter": "", "name": "sphere_packing", "value": 7906721240160746987619507371870782509541}, {"parameter": "1", "name": "ilp_1", "value": 1413831005592760963204738090624339}, {"parameter": "2", "name": "ilp_1", "value": 1413831005592760963204738091682399}, {"parameter": "3", "name": "ilp_1", "value": 1413831005592760963244524293096378}, {"parameter": "4", "name": "ilp_1", "value": 1413831005592930487484351639483000}, {"parameter": "8", "name": "ilp_4", "value": 1447852268844670754004670824367475281}, {"parameter": "9", "name": "ilp_4", "value": 1447852268844670754004670824367475281}, {"parameter": "10", "name": "ilp_4", "value": 1447852268844670754004670824367475281}, {"parameter": "11", "name": "ilp_4", "value": 1447852268844670754004670824367475281}, {"parameter": "12", "name": "ilp_4", "value": 1447852268844670754004670824367475281}, {"parameter": "13", "name": "ilp_4", "value": 361880219175410736836449402010628724}, {"parameter": "14", "name": "ilp_4", "value": 90485588800576024982495531807393143}, {"parameter": "15", "name": "ilp_4", "value": 22621073613891678473102347313429055}, {"parameter": "16", "name": "ilp_4", "value": 5655329078629331491515639694035540}, {"parameter": "", "name": "johnson_1", "value": 1413831005592760963204738090624339}, {"parameter": "", "name": "johnson_2", "value": 5655329078629331491515639694035540}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 7906721240160746987619507371870782509541}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1447852268844670754004670824367475281}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1447852268844670754004670824367475281}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1447852268844670754004670824367475281}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1447852268844670754004670824367475281}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1447852268844670754004670824367475281}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1447852268844670754004670824367475281}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 361880219175410736836449402010628724}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 90485588800576024982495531807393143}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 22621073613891678473102347313429055}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 5655329078629331491515639694035540}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 1413832016844407189325434651437222}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1413832269472121905218162792651435}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1413833279983883574880562617057844}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1413837322045375205196354883232531}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1413853490522464422124695092307196}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1413918168129006450358954004409553}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1414176937740350497808817243849720}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1415212964059082156011434065367882}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1419372293809757029834698598589246}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1436257007710773257490286808469977}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1508013743350378336520429794168969}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1884649011792085827682980366254565}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 7906721240160746987619507371870782509541}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1413832016844407189325434651437222}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1413831005592930487484351639483000}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1413831005592760963244524293096378}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1413831005592760963204738091682399}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1413831005592760963204738082233683}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1447852268844670754004670824367475281}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1448117443063181763961478841442318471}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1449179111982785443701573734786085267}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1453441400428219388291639154119678735}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1470744261671181661322302684359597720}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1544281418653713250377990744402064872}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1930351405154232225472089767795511781}, {"parameter": "", "name": "improved_johnson", "value": 1413831005592760963204738090624339}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 361963067211167688501167706091868820}], "known_codes": [], "upper_bound": 1413831005592760963204738082233683, "classified": false, "lower_bound": 1303625277015154268047530588005973, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1298074214633706907132624082305024}, {"parameter": "", "name": "sphere_covering", "value": 1035774556389832897595723657621}, {"parameter": "", "name": "graham_sloane", "value": 1380695246734128811489362905681}, {"parameter": "", "name": "multicomponent", "value": 1298075452574926784415091386220545}, {"parameter": "", "name": "construction_ST_B", "value": 1303184586465210572314709866840064}, {"parameter": "", "name": "EF_special", "value": 1303625275416014562978042328889121}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1298074221502625315399526495580160}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1303165868884206084470186593513472}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 1303184586465210572315100327089244}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 1303625277015154268047530588005973}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1303164701749912892683651167289344}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 326292959048561595796061983834936}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 1303185829259916677574588034710728}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1299848620023842064658843196424192}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1299848620023841777554366951555072}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1299848620023841776428484224581632}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1295778250341754627430071365632}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1295778250341687073435660808192}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1295778250341682570935545065472}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 5409003536581719599180401111040}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 5409003536581733109979283222528}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 5409003536581715165949517918208}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 20486987728682854080945178505216}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 20486987728682872024974943809536}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 20486987728682858514176061698048}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 81508943022468242356089393016832}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 81508943022468246858589508759552}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 81508943022468314412583919316992}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 326204157636434522789825463742464}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 326204157636434523915708190715904}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 326204157636434811020184435585024}, {"parameter": "(6, 11)", "name": "CKMP2019_Lem_41", "value": 1299848620023841776428467044712448}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 1295778250341682569836033437696}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 5409003536581715095580773740544}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 20486987728682854010576434327552}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 81508943022468242354989881389056}, {"parameter": "(11, 6)", "name": "CKMP2019_Lem_41", "value": 326204157636434522789808283873280}, {"parameter": "(6, 11)", "name": "CKMP2019_Cor_42", "value": 1299848620023841776428467044712448}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 1295778250341682569836033437696}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 5409003536581715095580773740544}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 20486987728682854010576434327552}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 81508943022468242354989881389056}, {"parameter": "(11, 6)", "name": "CKMP2019_Cor_42", "value": 326204157636434522789808283873280}, {"parameter": "6", "name": "linkage_GLT", "value": 1298074214633706907415561081453768}, {"parameter": "7", "name": "linkage_GLT", "value": 1267650600228229401565743965521}, {"parameter": "8", "name": "linkage_GLT", "value": 5408560031637826421034290681089}, {"parameter": "9", "name": "linkage_GLT", "value": 20486980404069399129003506274577}, {"parameter": "10", "name": "linkage_GLT", "value": 81508942915147606625008201236481}, {"parameter": "11", "name": "linkage_GLT", "value": 326204150767516114522905870598145}, {"parameter": "6", "name": "improved_linkage", "value": 1298075457867651794436325046234053}, {"parameter": "7", "name": "improved_linkage", "value": 1267651815644388885769216933973}, {"parameter": "8", "name": "improved_linkage", "value": 5408560032824773000672583431388}, {"parameter": "9", "name": "improved_linkage", "value": 20486980404070558321889018671104}, {"parameter": "10", "name": "improved_linkage", "value": 81508942915147606907945200385224}, {"parameter": "11", "name": "improved_linkage", "value": 326204150767516114522974911358289}, {"parameter": "12", "name": "improved_linkage", "value": 326283790452761169150679284094209}, {"parameter": "13", "name": "improved_linkage", "value": 81566347866329594498937889231121}, {"parameter": "14", "name": "improved_linkage", "value": 20391299437558088565687637245953}, {"parameter": "15", "name": "improved_linkage", "value": 5092286238258395959148253302785}, {"parameter": "6,0", "name": "generalized_linkage", "value": 1299848620023841776428467044712448}, {"parameter": "6,1", "name": "generalized_linkage", "value": 1298186404498579411282418512691200}, {"parameter": "6,2", "name": "generalized_linkage", "value": 1298075949849902825651782689963536}, {"parameter": "6,3", "name": "generalized_linkage", "value": 1298074240157446256302346870605561}, {"parameter": "6,4", "name": "generalized_linkage", "value": 1298075457867651794436325046234053}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1295778250341682569836033437696}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1269430193702869950732199477760}, {"parameter": "7,2", "name": "generalized_linkage", "value": 1267678117978927800896051494912}, {"parameter": "7,3", "name": "generalized_linkage", "value": 1267650701118688670753027427596}, {"parameter": "7,4", "name": "generalized_linkage", "value": 1267651815644388885769216933973}, {"parameter": "8,0", "name": "generalized_linkage", "value": 5409003536581715095580773740544}, {"parameter": "8,1", "name": "generalized_linkage", "value": 5408567006115369682190744520256}, {"parameter": "8,2", "name": "generalized_linkage", "value": 5408560139497891086854006044640}, {"parameter": "8,3", "name": "generalized_linkage", "value": 5408560032033111194994002440192}, {"parameter": "8,4", "name": "generalized_linkage", "value": 5408560032824773000672583431388}, {"parameter": "9,0", "name": "generalized_linkage", "value": 20486987728682854010576434327552}, {"parameter": "9,1", "name": "generalized_linkage", "value": 20486980431486231178104485499456}, {"parameter": "9,2", "name": "generalized_linkage", "value": 20486980404174696134817843150108}, {"parameter": "9,3", "name": "generalized_linkage", "value": 20486980404069785338007344305768}, {"parameter": "9,4", "name": "generalized_linkage", "value": 20486980404070558321889018671104}, {"parameter": "10,0", "name": "generalized_linkage", "value": 81508943022468242354989881389056}, {"parameter": "10,1", "name": "generalized_linkage", "value": 81508942915260727866537494509120}, {"parameter": "10,2", "name": "generalized_linkage", "value": 81508942915147710012649834356828}, {"parameter": "10,3", "name": "generalized_linkage", "value": 81508942915147606719248838834405}, {"parameter": "10,4", "name": "generalized_linkage", "value": 81508942915147606907945200385224}, {"parameter": "11,0", "name": "generalized_linkage", "value": 326204157636434522789808283873280}, {"parameter": "11,1", "name": "generalized_linkage", "value": 326204150767516528816185114989120}, {"parameter": "11,2", "name": "generalized_linkage", "value": 326204150767516114629525541090844}, {"parameter": "11,3", "name": "generalized_linkage", "value": 326204150767516114522929002479189}, {"parameter": "11,4", "name": "generalized_linkage", "value": 326204150767516114522974911358289}, {"parameter": "12,1", "name": "generalized_linkage", "value": 326283790452767797941543072010816}, {"parameter": "12,2", "name": "generalized_linkage", "value": 326283790452761169150776882140252}, {"parameter": "12,3", "name": "generalized_linkage", "value": 326283790452761169150679273111461}, {"parameter": "12,4", "name": "generalized_linkage", "value": 326283790452761169150679284094209}, {"parameter": "13,2", "name": "generalized_linkage", "value": 81566347866329594499328349475932}, {"parameter": "13,3", "name": "generalized_linkage", "value": 81566347866329594498937889228117}, {"parameter": "13,4", "name": "generalized_linkage", "value": 81566347866329594498937889231121}, {"parameter": "14,3", "name": "generalized_linkage", "value": 20391299437558088565687637247317}, {"parameter": "14,4", "name": "generalized_linkage", "value": 20391299437558088565687637245953}, {"parameter": "15,4", "name": "generalized_linkage", "value": 5092286238258395959148253302785}, {"parameter": "[6, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1299848620023841776428467044712448}, {"parameter": "[6, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1298186404498579411282418512691200}, {"parameter": "[6, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1298075949849902825651782689963536}, {"parameter": "[6, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1298074240157446256302346870605561}, {"parameter": "[6, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1298075457867651794436325046234053}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1295778250341682569836033437696}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1269430193702869950732199477760}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1267678117978927800896051494912}, {"parameter": "[7, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1267650701118688670753027427596}, {"parameter": "[7, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1267651815644388885769216933973}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5409003536581715095580773740544}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5408567006115369682190744520256}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5408560139497891086854006044640}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5408560032033111194994002440192}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5408560032824773000672583431388}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 20486987728682854010576434327552}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 20486980431486231178104485499456}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20486980404174696134817843150108}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 20486980404069785338007344305768}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 20486980404070558321889018671104}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 81508943022468242354989881389056}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 81508942915260727866537494509120}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 81508942915147710012649834356828}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 81508942915147606719248838834405}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 81508942915147606907945200385224}, {"parameter": "[11, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 326204157636434522789808283873280}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 326204150767516528816185114989120}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 326204150767516114629525541090844}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 326204150767516114522929002479189}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 326204150767516114522974911358289}, {"parameter": "[12, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 326283790452767797941543072010816}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 326283790452761169150776882140252}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 326283790452761169150679273111461}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 326283790452761169150679284094209}, {"parameter": "[13, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 81566347866329594499328349475932}, {"parameter": "[13, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 81566347866329594498937889228117}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 81566347866329594498937889231121}, {"parameter": "[14, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 20391299437558088565687637247317}, {"parameter": "[14, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 20391299437558088565687637245953}, {"parameter": "[15, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5092286238258395959148253302785}, {"parameter": "[6, 2, 9],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 5072275653666493592151057760256}, {"parameter": "[6, 2, 9],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 5072273321782949315622357659648}, {"parameter": "[6, 2, 9],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6846245731087072282104674353152}, {"parameter": "[6, 3, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 20282894681082614547054954807296}, {"parameter": "[6, 3, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 20282870303808172937049265930240}, {"parameter": "[6, 3, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 20282867971924628660520565829632}, {"parameter": "[6, 3, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22056840381228751627002882523136}, {"parameter": "[6, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 20282870502566222254471460683776}, {"parameter": "[6, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 20282846125291780644465771806720}, {"parameter": "[6, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 20282843793408236367937071706112}, {"parameter": "[6, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22056816202712359334419388399616}, {"parameter": "[6, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 81131795306326929241775856943104}, {"parameter": "[6, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 81131824030375206626747096236032}, {"parameter": "[6, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 81131799653100765016741407358976}, {"parameter": "[6, 4, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 81131797321217220740212707258368}, {"parameter": "[6, 4, 7],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 82905769730521343706695023951872}, {"parameter": "[6, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 81130069405339560561778437914624}, {"parameter": "[6, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 81130098129387837946749677207552}, {"parameter": "[6, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 81130073752113396336743988330496}, {"parameter": "[6, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 81130071420229852060215288229888}, {"parameter": "[6, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 82904043829533975026697604923392}, {"parameter": "[6, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 81130074538551927441082785202176}, {"parameter": "[6, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 81130103262600204826054024495104}, {"parameter": "[6, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 81130078885325763216048335618048}, {"parameter": "[6, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 81130076553442218939519635517440}, {"parameter": "[6, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 82904048962746341906001952210944}, {"parameter": "[6, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 324774665720244695216671432900608}, {"parameter": "[6, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 324630145468576556172111162114048}, {"parameter": "[6, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 324630138918126016257264175497216}, {"parameter": "[6, 5, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 324630137093252575851893612490752}, {"parameter": "[6, 5, 6],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 324630569542695731494479490936832}, {"parameter": "[6, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 324663084502280831163531912019968}, {"parameter": "[6, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518564250612692118971641233408}, {"parameter": "[6, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518557700162152204124654616576}, {"parameter": "[6, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518555875288711798754091610112}, {"parameter": "[6, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518988324731867441339970056192}, {"parameter": "[6, 5, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 324663082922585831960882211454976}, {"parameter": "[6, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518562670917692916321940668416}, {"parameter": "[6, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518556120467153001474954051584}, {"parameter": "[6, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518554295593712596104391045120}, {"parameter": "[6, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518986745036868238690269491200}, {"parameter": "[6, 5, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 324663102354713468913832228290560}, {"parameter": "[6, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518582103045329869271957504000}, {"parameter": "[6, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518575552594789954424970887168}, {"parameter": "[6, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518573727721349549054407880704}, {"parameter": "[6, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 324519006177164505191640286326784}, {"parameter": "[6, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 326284397111860040337940390084608}, {"parameter": "[6, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 326283790159697944765225385607168}, {"parameter": "[6, 6, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 326283790151105107075210901467136}, {"parameter": "[6, 6, 5],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 326283790256807232384376926924800}, {"parameter": "[6, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 324519187861676837605124721082368}, {"parameter": "[6, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518580909514742032409716604928}, {"parameter": "[6, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518580900921904342395232464896}, {"parameter": "[6, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518581006624029651561257922560}, {"parameter": "[6, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 324519162417568973973349098848256}, {"parameter": "[6, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518555465406878400634094370816}, {"parameter": "[6, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518555456814040710619610230784}, {"parameter": "[6, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518555562516166019785635688448}, {"parameter": "[6, 6, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 324519160719926986388151975280640}, {"parameter": "[6, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553767764890815436970803200}, {"parameter": "[6, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518553759172053125422486663168}, {"parameter": "[6, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518553864874178434588512120832}, {"parameter": "[6, 6, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 324519180053003406773936398794752}, {"parameter": "[6, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518573100841311201221394317312}, {"parameter": "[6, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518573092248473511206910177280}, {"parameter": "[6, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518573197950598820372935634944}, {"parameter": "[6, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 81130069529421641282227912851456}, {"parameter": "[6, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 81130069380547669593998504570880}, {"parameter": "[6, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 81130069380574536185197987590144}, {"parameter": "[6, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 81129667621085566209594813333504}, {"parameter": "[6, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 81129667472211594521365405052928}, {"parameter": "[6, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 81129667472238461112564888072192}, {"parameter": "[6, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 81129640265955476387666865963008}, {"parameter": "[6, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 81129640117081504699437457682432}, {"parameter": "[6, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 81129640117108371290636940701696}, {"parameter": "[6, 7, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 81129638663114529574325870673920}, {"parameter": "[6, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 81129638514240557886096462393344}, {"parameter": "[6, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 81129638514267424477295945412608}, {"parameter": "[6, 7, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 81129658006763717207069229072384}, {"parameter": "[6, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 81129657857889745518839820791808}, {"parameter": "[6, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 81129657857916612110039303811072}, {"parameter": "[6, 8, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 20282869293642541180364933902336}, {"parameter": "[6, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 20282869293640408911222117789696}, {"parameter": "[6, 8, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 20282437120338843198944001208320}, {"parameter": "[6, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 20282437120336710929801185095680}, {"parameter": "[6, 8, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 20282411297008283074350263119872}, {"parameter": "[6, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 20282411297006150805207447007232}, {"parameter": "[6, 8, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 20282409703338607095786077761536}, {"parameter": "[6, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 20282409703336474826643261648896}, {"parameter": "[6, 8, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 20282429051683234869290409996288}, {"parameter": "[6, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 20282429051681102600147593883648}, {"parameter": "[6, 9, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5071037713627214483255990448128}, {"parameter": "[6, 9, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 5070629770196554665728938373120}, {"parameter": "[6, 9, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5070604095141920168070961065984}, {"parameter": "[6, 9, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5070602500622059117601320103936}, {"parameter": "[6, 9, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5070607262646114075883162447872}, {"parameter": "[7, 2, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 4960259793895469873790713856}, {"parameter": "[7, 2, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 4959873168853208528397824000}, {"parameter": "[7, 2, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 33080619196414304068101435392}, {"parameter": "[7, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 19813976124650831566948270080}, {"parameter": "[7, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 19814431689788179523366289408}, {"parameter": "[7, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 19814045064745918177973399552}, {"parameter": "[7, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 47934791092307013717677010944}, {"parameter": "[7, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 19813876954954691304398782464}, {"parameter": "[7, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 19814332520092039260816801792}, {"parameter": "[7, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 19813945895049777915423911936}, {"parameter": "[7, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 47934691922610873455127523328}, {"parameter": "[7, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 107252288574887920737271676928}, {"parameter": "[7, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 79262366536229478414164164608}, {"parameter": "[7, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79262822101366826370582183936}, {"parameter": "[7, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 79262435476324565025189294080}, {"parameter": "[7, 4, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 107383181503885660564892905472}, {"parameter": "[7, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 107224919796718093996834947072}, {"parameter": "[7, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 79234997758059651673727434752}, {"parameter": "[7, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 79235453323196999630145454080}, {"parameter": "[7, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79235066698154738284752564224}, {"parameter": "[7, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 107355812725715833824456175616}, {"parameter": "[7, 4, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 107224924735833819732567392256}, {"parameter": "[7, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 79235002697175377409459879936}, {"parameter": "[7, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 79235458262312725365877899264}, {"parameter": "[7, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 79235071637270464020485009408}, {"parameter": "[7, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 107355817664831559560188620800}, {"parameter": "[7, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 81577165266640781840562782208}, {"parameter": "[7, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 80998595317769729982859788288}, {"parameter": "[7, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 80998569182239376051612495872}, {"parameter": "[7, 5, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 81005464368337827837878497280}, {"parameter": "[7, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 79806774180313897636731813888}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228204231442845779028819968}, {"parameter": "[7, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228178095912491847781527552}, {"parameter": "[7, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79235073282010943634047528960}, {"parameter": "[7, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 79806767602989319122007621632}, {"parameter": "[7, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228197654118267264304627712}, {"parameter": "[7, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228171518587913333057335296}, {"parameter": "[7, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79235066704686365119323336704}, {"parameter": "[7, 5, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 79806772268456198399547146240}, {"parameter": "[7, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228202319585146541844152320}, {"parameter": "[7, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228176184054792610596859904}, {"parameter": "[7, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 79235071370153244396862861312}, {"parameter": "[7, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 107225515292708837168109600768}, {"parameter": "[7, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 107224919707275301286817640448}, {"parameter": "[7, 6, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 107224921478678490307925078016}, {"parameter": "[7, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 79229190334271031072768933888}, {"parameter": "[7, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228594748837495191476973568}, {"parameter": "[7, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228596520240684212584411136}, {"parameter": "[7, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228765235456156637209051136}, {"parameter": "[7, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228169650022620755917090816}, {"parameter": "[7, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228171421425809777024528384}, {"parameter": "[7, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228758207240159362043625472}, {"parameter": "[7, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228162621806623480751665152}, {"parameter": "[7, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228164393209812501859102720}, {"parameter": "[7, 6, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228762852698319276484083712}, {"parameter": "[7, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228167267264783395192123392}, {"parameter": "[7, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228169038667972416299560960}, {"parameter": "[7, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 19813875808992617750463590400}, {"parameter": "[7, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 19813875774770477024204845056}, {"parameter": "[7, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 19807501697246166800415141888}, {"parameter": "[7, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 19807501663024026074156396544}, {"parameter": "[7, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 19807047412444145934735060992}, {"parameter": "[7, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 19807047378222005208476315648}, {"parameter": "[7, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 19807040761652129951194886144}, {"parameter": "[7, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19807040727429989224936140800}, {"parameter": "[7, 7, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 19807045410090780672156315648}, {"parameter": "[7, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 19807045375868639945897570304}, {"parameter": "[7, 8, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4959050868483261681833373696}, {"parameter": "[7, 8, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4952196743049674210057154560}, {"parameter": "[7, 8, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4951766870643061322511429632}, {"parameter": "[7, 8, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4951760256056273160440573952}, {"parameter": "[7, 8, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4951764905602986595607932928}, {"parameter": "[8, 2, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 21127296000555620645266784256}, {"parameter": "[8, 2, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 21127303145236137283083792384}, {"parameter": "[8, 2, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 21570693748065554721076441088}, {"parameter": "[8, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 84947827254808238847265079296}, {"parameter": "[8, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 84508858083866011370285694976}, {"parameter": "[8, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 84508865228546528008102703104}, {"parameter": "[8, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 84952255831375945446095351808}, {"parameter": "[8, 3, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 84947826862814927280937107456}, {"parameter": "[8, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 84508857691872699803957723136}, {"parameter": "[8, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 84508864836553216441774731264}, {"parameter": "[8, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 84952255439382633879767379968}, {"parameter": "[8, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 84947934164380565609587408896}, {"parameter": "[8, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 84508964993438338132608024576}, {"parameter": "[8, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 84508972138118854770425032704}, {"parameter": "[8, 4, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 84952362740948272208417681408}, {"parameter": "[8, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 84947826861757988743388594176}, {"parameter": "[8, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 84508857690815761266409209856}, {"parameter": "[8, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 84508864835496277904226217984}, {"parameter": "[8, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 84952255438325695342218866688}, {"parameter": "[8, 4, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 84947826862891769949579116544}, {"parameter": "[8, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 84508857691949542472599732224}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 84508864836630059110416740352}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 84952255439459476548409389056}, {"parameter": "[8, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 84517943116461341060318576640}, {"parameter": "[8, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 84515692646782563761701924864}, {"parameter": "[8, 5, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 84515806856986866353033146368}, {"parameter": "[8, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 84511001121071722417850105856}, {"parameter": "[8, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 84508750651392945119233454080}, {"parameter": "[8, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 84508864861597247710564675584}, {"parameter": "[8, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 84511001094977149913759432704}, {"parameter": "[8, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 84508750625298372615142780928}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 84508864835502675206474002432}, {"parameter": "[8, 5, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 84511001096039319652754997248}, {"parameter": "[8, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 84508750626360542354138345472}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 84508864836564844945469566976}, {"parameter": "[8, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 84947827411252814748470030336}, {"parameter": "[8, 6, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 84947826887832996679765487616}, {"parameter": "[8, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 84508752738761335709837373440}, {"parameter": "[8, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 84508752215341517641132830720}, {"parameter": "[8, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 84508751071874836709728661504}, {"parameter": "[8, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 84508750548455018641024118784}, {"parameter": "[8, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 84508751044028797863503147008}, {"parameter": "[8, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 84508750520608979794798604288}, {"parameter": "[8, 6, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 84508751045090158546557153280}, {"parameter": "[8, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 84508750521670340477852610560}, {"parameter": "[8, 7, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 21127294846134990831290707968}, {"parameter": "[8, 7, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 21127189457546786748193861632}, {"parameter": "[8, 7, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 21127187676217428721690357760}, {"parameter": "[8, 7, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 21127187649852682075762245632}, {"parameter": "[8, 7, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 21127187650915160309113614336}, {"parameter": "[9, 2, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 80034134134443998101467299840}, {"parameter": "[9, 2, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 80027268881045568245404037120}, {"parameter": "[9, 2, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 80034591818003893425204850688}, {"parameter": "[9, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 80034134133675289940070498304}, {"parameter": "[9, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 80027268880276860084007235584}, {"parameter": "[9, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 80034591817235185263808049152}, {"parameter": "[9, 3, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 80034134133291358071837163520}, {"parameter": "[9, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 80027268879892928215773900800}, {"parameter": "[9, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 80034591816851253395574714368}, {"parameter": "[9, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 80034134238098079391032541184}, {"parameter": "[9, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 80027268984699649534969278464}, {"parameter": "[9, 4, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 80034591921657974714770092032}, {"parameter": "[9, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 80034134133291170398946197504}, {"parameter": "[9, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 80027268879892740542882934784}, {"parameter": "[9, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 80034591816851065722683748352}, {"parameter": "[9, 4, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 80034134133291376832254312448}, {"parameter": "[9, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 80027268879892946976191049728}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 80034591816851272155991863296}, {"parameter": "[9, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 80027302728942744426672697344}, {"parameter": "[9, 5, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 80027296022956518854163722240}, {"parameter": "[9, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 80027275585904459960472711168}, {"parameter": "[9, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 80027268879918234387963736064}, {"parameter": "[9, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 80027275585878972367337566208}, {"parameter": "[9, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 80027268879892746794828591104}, {"parameter": "[9, 5, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 80027275585879156627273035776}, {"parameter": "[9, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 80027268879892931054764060672}, {"parameter": "[9, 6, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 80034135809787632989987696640}, {"parameter": "[9, 6, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 80027268886519371318949867520}, {"parameter": "[9, 6, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 80027268879919939814642561024}, {"parameter": "[9, 6, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 80027268879892741488981950464}, {"parameter": "[9, 6, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 80027268879892929531750744064}, {"parameter": "[10, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 79598684386209846051391434752}, {"parameter": "[10, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 79598684386209846051391434752}, {"parameter": "[10, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 79598684386209658378500468736}, {"parameter": "[10, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79598684386209658378500468736}, {"parameter": "[10, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 79598684386209564645134200832}, {"parameter": "[10, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 79598684386209564645134200832}, {"parameter": "[10, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 79598684386311919850554683392}, {"parameter": "[10, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79598684386311919850554683392}, {"parameter": "[10, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79598684386209564599315623936}, {"parameter": "[10, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79598684386209564599315623936}, {"parameter": "[10, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 79598684386209564649714380800}, {"parameter": "[10, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 79598684386209564649714380800}, {"parameter": "[10, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 79598684492262346747159801856}, {"parameter": "[10, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79598684386209589565495324672}, {"parameter": "[10, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79598684386209564600841977856}, {"parameter": "[10, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 79598684386209564645827313664}, {"parameter": "[11, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 79646554164383880868326567936}, {"parameter": "[11, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79646554164383880822507991040}, {"parameter": "[11, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 79646554164383880799623868416}, {"parameter": "[11, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79646554164383980757073408000}, {"parameter": "[11, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79646554164383880799612682240}, {"parameter": "[11, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 79646554164383880799624986624}, {"parameter": "[6, 2, 4, 5],[0, 4, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1844914963370820466450087542784}, {"parameter": "[6, 2, 4, 5],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1844484102646659691881498148864}, {"parameter": "[6, 2, 4, 5],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1844484109659366790852438392832}, {"parameter": "[6, 2, 4, 5],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1844919310144656241415637958656}, {"parameter": "[6, 2, 5, 4],[0, 4, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 79680680296256750221413842944}, {"parameter": "[6, 2, 5, 4],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 79678471396270861539646373888}, {"parameter": "[6, 2, 5, 4],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 79678583496834157910280896512}, {"parameter": "[6, 2, 5, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79680680296256750221413842944}, {"parameter": "[6, 2, 5, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 79678471396270861539646373888}, {"parameter": "[6, 2, 5, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79678583496834157910280896512}, {"parameter": "[6, 2, 6, 3],[0, 4, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79678471807272010197283897344}, {"parameter": "[6, 2, 6, 3],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 79678471293520574375236993024}, {"parameter": "[6, 2, 6, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 79247611083111235628694503424}, {"parameter": "[6, 2, 6, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 79247610569359799806647599104}, {"parameter": "[6, 2, 6, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 79707195855549395168523190272}, {"parameter": "[6, 2, 6, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79707195341797959346476285952}, {"parameter": "[6, 2, 7, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 19811981573826171061393162240}, {"parameter": "[6, 2, 7, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 19811988586533270032333406208}, {"parameter": "[6, 2, 7, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 20247189071822720595532972032}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1844895719727402772645841731584}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1844464859003241998077252337664}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1844924443775680157617081024512}, {"parameter": "[6, 3, 3, 5],[0, 4, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1844895625280073115252937457664}, {"parameter": "[6, 3, 3, 5],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1844464764555912340684348063744}, {"parameter": "[6, 3, 3, 5],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1844924349328350500224176750592}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 80090193564870139703684235264}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 79659332840709365135094841344}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 80118917613147524674923528192}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 80090193564870139703684235264}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79659332840709365135094841344}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 80118917613147524674923528192}, {"parameter": "[6, 3, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 80090099117540482310779961344}, {"parameter": "[6, 3, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 79659238393379707742190567424}, {"parameter": "[6, 3, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 80118823165817867282019254272}, {"parameter": "[6, 3, 4, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 80090099117540482310779961344}, {"parameter": "[6, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79659238393379707742190567424}, {"parameter": "[6, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 80118823165817867282019254272}, {"parameter": "[6, 3, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 79659753705885590555918860288}, {"parameter": "[6, 3, 5, 3],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 79659332840709365135094841344}, {"parameter": "[6, 3, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228892981724815987329466368}, {"parameter": "[6, 3, 5, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228472116548590566505447424}, {"parameter": "[6, 3, 5, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79688477754162975527158153216}, {"parameter": "[6, 3, 5, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79688056888986750106334134272}, {"parameter": "[6, 3, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 79659659258555933163014586368}, {"parameter": "[6, 3, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 79659238393379707742190567424}, {"parameter": "[6, 3, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228798534395158594425192448}, {"parameter": "[6, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228377669218933173601173504}, {"parameter": "[6, 3, 5, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79688383306833318134253879296}, {"parameter": "[6, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79687962441657092713429860352}, {"parameter": "[6, 3, 6, 2],[0, 3, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 79659332840709365135094841344}, {"parameter": "[6, 3, 6, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228472116548590566505447424}, {"parameter": "[6, 3, 6, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228479129255689537445691392}, {"parameter": "[6, 3, 6, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79663679614545140100645257216}, {"parameter": "[6, 3, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 79659238393379707742190567424}, {"parameter": "[6, 3, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228377669218933173601173504}, {"parameter": "[6, 3, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228384681926032144541417472}, {"parameter": "[6, 3, 6, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79663585167215482707740983296}, {"parameter": "[6, 4, 2, 5],[0, 2, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1844897306032100961206596009984}, {"parameter": "[6, 4, 2, 5],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1844897306032100961206596009984}, {"parameter": "[6, 4, 2, 5],[0, 3, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1844895620581917983980036030464}, {"parameter": "[6, 4, 2, 5],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1844895620581917983980036030464}, {"parameter": "[6, 4, 2, 5],[0, 4, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1844895625594820686010606682112}, {"parameter": "[6, 4, 2, 5],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1844895625594820686010606682112}, {"parameter": "[6, 4, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 80091779869568328264438513664}, {"parameter": "[6, 4, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 80091779869568328264438513664}, {"parameter": "[6, 4, 3, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 80091779869568328264438513664}, {"parameter": "[6, 4, 3, 4],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 80091779869568328264438513664}, {"parameter": "[6, 4, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 80090094419385351037878534144}, {"parameter": "[6, 4, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 80090094419385351037878534144}, {"parameter": "[6, 4, 3, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 80090094419385351037878534144}, {"parameter": "[6, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 80090094419385351037878534144}, {"parameter": "[6, 4, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 80090099432288053068449185792}, {"parameter": "[6, 4, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 80090099432288053068449185792}, {"parameter": "[6, 4, 3, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 80090099432288053068449185792}, {"parameter": "[6, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 80090099432288053068449185792}, {"parameter": "[6, 4, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 80091779869568328264438513664}, {"parameter": "[6, 4, 4, 3],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 80091779869568328264438513664}, {"parameter": "[6, 4, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79660919145407553695849119744}, {"parameter": "[6, 4, 4, 3],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79660919145407553695849119744}, {"parameter": "[6, 4, 4, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 80120503917845713235677806592}, {"parameter": "[6, 4, 4, 3],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 80120503917845713235677806592}, {"parameter": "[6, 4, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 80090094419385351037878534144}, {"parameter": "[6, 4, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 80090094419385351037878534144}, {"parameter": "[6, 4, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79659233695224576469289140224}, {"parameter": "[6, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79659233695224576469289140224}, {"parameter": "[6, 4, 4, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 80118818467662736009117827072}, {"parameter": "[6, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 80118818467662736009117827072}, {"parameter": "[6, 4, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 80090099432288053068449185792}, {"parameter": "[6, 4, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 80090099432288053068449185792}, {"parameter": "[6, 4, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79659238708127278499859791872}, {"parameter": "[6, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79659238708127278499859791872}, {"parameter": "[6, 4, 4, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 80118823480565438039688478720}, {"parameter": "[6, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 80118823480565438039688478720}, {"parameter": "[6, 4, 5, 2],[0, 2, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 80091779869568328264438513664}, {"parameter": "[6, 4, 5, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79660919145407553695849119744}, {"parameter": "[6, 4, 5, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79660926158114652666789363712}, {"parameter": "[6, 4, 5, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 80096126643404103229988929536}, {"parameter": "[6, 4, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 80090094419385351037878534144}, {"parameter": "[6, 4, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79659233695224576469289140224}, {"parameter": "[6, 4, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79659240707931675440229384192}, {"parameter": "[6, 4, 5, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 80094441193221126003428950016}, {"parameter": "[6, 4, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 80090099432288053068449185792}, {"parameter": "[6, 4, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79659238708127278499859791872}, {"parameter": "[6, 4, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79659245720834377470800035840}, {"parameter": "[6, 4, 5, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 80094446206123828033999601664}, {"parameter": "[6, 5, 2, 4],[0, 1, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 224215528754213951120210919424}, {"parameter": "[6, 5, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 224188287245921992122862403584}, {"parameter": "[6, 5, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 224188286860254267708153004032}, {"parameter": "[6, 5, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 224188291604426054073619316736}, {"parameter": "[6, 5, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 223785088895229401972445544448}, {"parameter": "[6, 5, 3, 3],[0, 1, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 223784668030053176551621525504}, {"parameter": "[6, 5, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 223757847386937442975097028608}, {"parameter": "[6, 5, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 223757426521761217554273009664}, {"parameter": "[6, 5, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 223757847001269718560387629056}, {"parameter": "[6, 5, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 223757426136093493139563610112}, {"parameter": "[6, 5, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 223757851745441504925853941760}, {"parameter": "[6, 5, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 223757430880265279505029922816}, {"parameter": "[6, 5, 4, 2],[0, 1, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 223786771842182867833694715904}, {"parameter": "[6, 5, 4, 2],[0, 1, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 223784562942196979151927246848}, {"parameter": "[6, 5, 4, 2],[0, 1, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 223784675042760275522561769472}, {"parameter": "[6, 5, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 223759530333890908836346200064}, {"parameter": "[6, 5, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 223757321433905020154578731008}, {"parameter": "[6, 5, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 223757433534468316525213253632}, {"parameter": "[6, 5, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 223759529948223184421636800512}, {"parameter": "[6, 5, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 223757321048237295739869331456}, {"parameter": "[6, 5, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 223757433148800592110503854080}, {"parameter": "[6, 5, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 223759534692394970787103113216}, {"parameter": "[6, 5, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 223757325792409082105335644160}, {"parameter": "[6, 5, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 223757437892972378475970166784}, {"parameter": "[7, 2, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 28022939865732731636751007744}, {"parameter": "[7, 2, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 28016106388672512290480717824}, {"parameter": "[7, 2, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 28023395430870079593169027072}, {"parameter": "[7, 2, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 26191024961137336698011648}, {"parameter": "[7, 2, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 26184350014069967373205504}, {"parameter": "[7, 2, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 26191024961137336698011648}, {"parameter": "[7, 2, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 26184350014069967373205504}, {"parameter": "[7, 2, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 26184350014069967373205504}, {"parameter": "[7, 2, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 19350872953850621102915584}, {"parameter": "[7, 2, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 26639915151417923791224832}, {"parameter": "[7, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 28022935241364576658687787008}, {"parameter": "[7, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 28022935241364576658687787008}, {"parameter": "[7, 3, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 28022935144519170271712641024}, {"parameter": "[7, 3, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 28022935144519170271712641024}, {"parameter": "[7, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 33013202706134335580274688}, {"parameter": "[7, 3, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 33013202706134335580274688}, {"parameter": "[7, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 33013202706134335580274688}, {"parameter": "[7, 3, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 33013202706134335580274688}, {"parameter": "[7, 3, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 33013105860727948605128704}, {"parameter": "[7, 3, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 33013105860727948605128704}, {"parameter": "[7, 3, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 33013105860727948605128704}, {"parameter": "[7, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 33013105860727948605128704}, {"parameter": "[7, 3, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 33013202706134335580274688}, {"parameter": "[7, 3, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 26179725645914989309984768}, {"parameter": "[7, 3, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 33468767843482291998294016}, {"parameter": "[7, 3, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 33013105860727948605128704}, {"parameter": "[7, 3, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 26179628800508602334838784}, {"parameter": "[7, 3, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 33468670998075905023148032}, {"parameter": "[7, 4, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 56012863863879224331090264064}, {"parameter": "[7, 4, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 56012857182048616463233712128}, {"parameter": "[7, 4, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 56012857183254455263462162432}, {"parameter": "[7, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 28022941825220782007982751744}, {"parameter": "[7, 4, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 28022941825220782007982751744}, {"parameter": "[7, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 28022935143390174140126199808}, {"parameter": "[7, 4, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 28022935143390174140126199808}, {"parameter": "[7, 4, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 28022935144596012940354650112}, {"parameter": "[7, 4, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 28022935144596012940354650112}, {"parameter": "[7, 4, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 28022941825220782007982751744}, {"parameter": "[7, 4, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 28016108348160562661712461824}, {"parameter": "[7, 4, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 28023397390358129964400771072}, {"parameter": "[7, 4, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 28022935143390174140126199808}, {"parameter": "[7, 4, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 28016101666329954793855909888}, {"parameter": "[7, 4, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 28023390708527522096544219136}, {"parameter": "[7, 4, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 28022935144596012940354650112}, {"parameter": "[7, 4, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 28016101667535793594084360192}, {"parameter": "[7, 4, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 28023390709733360896772669440}, {"parameter": "[8, 2, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 459815584016287402905567232}, {"parameter": "[8, 2, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 459815584016287402905567232}, {"parameter": "[8, 2, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 20846413074059925926182912}, {"parameter": "[8, 2, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 20846413074059925926182912}, {"parameter": "[8, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 898784753901576342336438272}, {"parameter": "[8, 3, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 898784753805874850254815232}, {"parameter": "[8, 3, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 459815582959348865357053952}, {"parameter": "[8, 3, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 459815582959348865357053952}, {"parameter": "[8, 3, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 459815582863647373275430912}, {"parameter": "[8, 3, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 459815582863647373275430912}, {"parameter": "[9, 2, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 33271766822333096977760256}, {"parameter": "", "name": "JohnsonLB", "value": 1303543936627109162753246486440156}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 318637849212442982603114563840}], "request": [4, 17, 4, 6], "liftedmrdsizebound": 1305879060117646119185725692983889, "comments": "", "equal_bound_constraints": []}