{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 2050065905416034207242060732309202881550943087590159038828}, {"parameter": "", "name": "singleton", "value": 25696504083440779881815469635549047}, {"parameter": "3", "name": "ilp_2", "value": 22563166182475460655083994523524484}, {"parameter": "4", "name": "ilp_2", "value": 6452160873540790561119698311010285947475340508}, {"parameter": "6", "name": "ilp_3", "value": 30860543510703510571158523743928991141817598789555306}, {"parameter": "7", "name": "ilp_3", "value": 516173949074357354197787210684729500875901302949}, {"parameter": "", "name": "anticode", "value": 22563166182475460655083994523524484}, {"parameter": "", "name": "linear_programming_bound", "value": 22563166182475460655083994523524484}, {"parameter": "", "name": "sphere_packing", "value": 874158091527041682624462943816763578509528}, {"parameter": "1", "name": "ilp_1", "value": 22563166182475460655083994523524484}, {"parameter": "2", "name": "ilp_1", "value": 22563166182475460655083994523524484}, {"parameter": "8", "name": "ilp_4", "value": 515823811379476739954876824328881852055606137184}, {"parameter": "9", "name": "ilp_4", "value": 515823809448912443700951778364931151005931242356}, {"parameter": "10", "name": "ilp_4", "value": 515823809448912443700951778364931151005931242356}, {"parameter": "11", "name": "ilp_4", "value": 6372506046626892438497085349769515298475061440}, {"parameter": "12", "name": "ilp_4", "value": 78672766324432796849182385360248868609825241}, {"parameter": "13", "name": "ilp_4", "value": 971269418554124028433805823543456843069242}, {"parameter": "14", "name": "ilp_4", "value": 11990991602996791739649709960993778564787}, {"parameter": "15", "name": "ilp_4", "value": 148036932988745716841833417650561330389}, {"parameter": "16", "name": "ilp_4", "value": 1827616458454128863824355496773870381}, {"parameter": "", "name": "johnson_1", "value": 22563166182475460655083994523524484}, {"parameter": "", "name": "johnson_2", "value": 1827616458454128863824355496773870381}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 2050065905416034207242060732309202881550943087590159038828}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 30860543510703510571158523743928991141817598789555306}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 516173949074357354197787210684729500875901302949}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 515823811379476739954876824328881852055606137184}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 515823809448912443700951778364931151005931242356}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 515823809448912443700951778364931151005931242356}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 6372506046626892438497085349769515298475061440}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 78672766324432796849182385360248868609825241}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 971269418554124028433805823543456843069242}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 11990991602996791739649709960993778564787}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 148036932988745716841833417650561330389}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 1827616458454128863824355496773870381}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 6452160873540790561119698311010285947475340508}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 874158091527041682624462943816763578509528}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 874158091551799423443988019578536140459609}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 874158091774619090882820267961265907162791}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 874158093779996102943942405248878759199692}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 97114057909349560364867876429953700458537}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 10791896951587089318762731663432577280556}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1199099438169542931160021241426731232557}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 133235496383871574711656351541835991708}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 14805949385611244947545466121783618117}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1647113924175618545157037896405832076}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 185045853225342763423159502722666752}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 22844818874189863548698688127341388}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 22563166182475460655083994523524484}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 22563166182554267682496084521662754}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 22563166183263530929227435191028136}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 22563166189646900151635386791635791}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 22563166247097223301196393260116622}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 22563166764150143626290536442382688}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 22563171417627396854992268743652228}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 22563213299001270592185348537838362}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 22563590237732410867466079871130042}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 22566983202059571094671209466954169}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 22597561713800332714160861446804054}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 22876199067320431937057522289918012}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 25696504083440779881815469635549047}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 2050065905416034207242060732309202881550943087590159038828}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 6452160873540790561119698311010285947475340508}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 22563166182475460655083994523524484}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 22563166182475460655083994523524484}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 22563166182475460655083994523524484}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 30860543510703510571158523743928991141817598789555306}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 874158091527041682624462943816763578509528}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 874276540910056243891527215411822187634061}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 875344033633969867600509841261448959611219}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 885070078451846148635304392347766206898292}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 983411198276695286855864932158249993845032}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 516173949074357354197787210684729500875901302949}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 516182582752569225627649794739423333982110497653}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 516260297685213151639571023109425281915546112432}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 516960691522621107255668703726496577499964623269}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 523342922280510265797353878597473072131831109392}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 587953159580355890974683988909617412559591458771}, {"parameter": "", "name": "improved_johnson", "value": 22563166182475460655083994523524484}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 107919127323753239072060348212944358172315}], "known_codes": [], "upper_bound": 22563166182475460655083994523524484, "classified": false, "lower_bound": 22528399609632957213199485346838317, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 22528399544939174411840147874772641}, {"parameter": "", "name": "sphere_covering", "value": 37279577728022065437011038876}, {"parameter": "", "name": "graham_sloane", "value": 58967469218558595878572840}, {"parameter": "", "name": "multicomponent", "value": 22528399603088911564974842862220981}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 22528399544939174411840147874772642}, {"parameter": "", "name": "two_pivot_block_construction", "value": 22528399603088912739799042841640960}, {"parameter": "(5, 12)", "name": "CKMP2019_Lem_41", "value": 22528399544939283830829593600678316}, {"parameter": "(6, 11)", "name": "CKMP2019_Lem_41", "value": 30903154382632762456556369337900}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 42391158275216409405427059471}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 3433741970029515524721026264581}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 278128447673196957374217976544341}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 22528399603108606832923879789820431}, {"parameter": "(11, 6)", "name": "CKMP2019_Lem_41", "value": 22528399609560205743092488684287892}, {"parameter": "(12, 5)", "name": "CKMP2019_Lem_41", "value": 22528399609632957213199485346233076}, {"parameter": "(5, 5, 7)", "name": "CKMP2019_Lem_41", "value": 22528399544939283830829279387131851}, {"parameter": "(5, 6, 6)", "name": "CKMP2019_Lem_41", "value": 22528399544939174561934783171771763}, {"parameter": "(5, 7, 5)", "name": "CKMP2019_Lem_41", "value": 22528399544939174412046039006867291}, {"parameter": "(6, 5, 6)", "name": "CKMP2019_Lem_41", "value": 30903154382632762456555938802651}, {"parameter": "(6, 6, 5)", "name": "CKMP2019_Lem_41", "value": 30903154382632612567811773898179}, {"parameter": "(7, 5, 5)", "name": "CKMP2019_Lem_41", "value": 42391158275216409405426527851}, {"parameter": "(5, 12)", "name": "CKMP2019_Cor_42", "value": 22528399544939283830829593600678316}, {"parameter": "(6, 11)", "name": "CKMP2019_Cor_42", "value": 30903154382632762456556369337900}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 42391158275216409405427059471}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 3433741970029515524721026264581}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 278128447673196957374217976544341}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 22528399603108606832923879789820431}, {"parameter": "(11, 6)", "name": "CKMP2019_Cor_42", "value": 22528399609560205743092488684287892}, {"parameter": "(12, 5)", "name": "CKMP2019_Cor_42", "value": 22528399609632957213199485346233076}, {"parameter": "(5, 5, 7)", "name": "CKMP2019_Cor_42", "value": 22528399544939283830829279387131851}, {"parameter": "(5, 6, 6)", "name": "CKMP2019_Cor_42", "value": 22528399544939174561934783171771763}, {"parameter": "(5, 7, 5)", "name": "CKMP2019_Cor_42", "value": 22528399544939174412046039006867291}, {"parameter": "(6, 5, 6)", "name": "CKMP2019_Cor_42", "value": 30903154382632762456555938802651}, {"parameter": "(6, 6, 5)", "name": "CKMP2019_Cor_42", "value": 30903154382632612567811773898179}, {"parameter": "(7, 5, 5)", "name": "CKMP2019_Cor_42", "value": 42391158275216409405426527851}, {"parameter": "5", "name": "linkage_ST", "value": 22528399609632957213199485346233076}, {"parameter": "6", "name": "linkage_ST", "value": 22528399609560205743092488684287892}, {"parameter": "7", "name": "linkage_ST", "value": 22528399603108606832923879789820431}, {"parameter": "8", "name": "linkage_ST", "value": 278128447673196957374217976544341}, {"parameter": "9", "name": "linkage_ST", "value": 3433741970029515524721026264581}, {"parameter": "10", "name": "linkage_ST", "value": 42391158275216409405427059471}, {"parameter": "11", "name": "linkage_ST", "value": 30903154382632762456556369337900}, {"parameter": "12", "name": "linkage_ST", "value": 22528399544939283830829593600678316}, {"parameter": "13", "name": "linkage_ST", "value": 79766443305934185302766}, {"parameter": "14", "name": "linkage_ST", "value": 58149737170026021090572364}, {"parameter": "15", "name": "linkage_ST", "value": 42391158396948969375146854554}, {"parameter": "16", "name": "linkage_ST", "value": 30903154471276002391073373286021}, {"parameter": "5", "name": "construction_D", "value": 22528399609632957213199485346233075}, {"parameter": "6", "name": "construction_D", "value": 22528399609560205743092488684287891}, {"parameter": "7", "name": "construction_D", "value": 22528399603108606832923879789820430}, {"parameter": "8", "name": "construction_D", "value": 278128447673196957374217976485291}, {"parameter": "9", "name": "construction_D", "value": 3433741970029515524717539479450}, {"parameter": "10", "name": "construction_D", "value": 42391158275216203514294433201}, {"parameter": "11", "name": "construction_D", "value": 30903154382632612361920641803529}, {"parameter": "12", "name": "construction_D", "value": 22528399544939174411840147874772641}, {"parameter": "13", "name": "construction_D", "value": 0}, {"parameter": "14", "name": "construction_D", "value": 0}, {"parameter": "15", "name": "construction_D", "value": 0}, {"parameter": "16", "name": "construction_D", "value": 0}, {"parameter": "17", "name": "construction_D", "value": 0}, {"parameter": "5", "name": "linkage_GLT", "value": 22528399544939283830829593600678316}, {"parameter": "6", "name": "linkage_GLT", "value": 30903154382632762456556369337900}, {"parameter": "7", "name": "linkage_GLT", "value": 42391158275216409405427059471}, {"parameter": "8", "name": "linkage_GLT", "value": 3433741970029515524721026264581}, {"parameter": "9", "name": "linkage_GLT", "value": 278128447673196957374217976544341}, {"parameter": "10", "name": "linkage_GLT", "value": 22528399603108606832923879789820431}, {"parameter": "11", "name": "linkage_GLT", "value": 22528399609560205743092488684287892}, {"parameter": "12", "name": "linkage_GLT", "value": 22528399609632957213199485346233076}, {"parameter": "5", "name": "improved_linkage", "value": 22528399603088911581866168965345005}, {"parameter": "6", "name": "improved_linkage", "value": 30903154462399055667854827106295}, {"parameter": "7", "name": "improved_linkage", "value": 42391158384635192960020338876}, {"parameter": "8", "name": "improved_linkage", "value": 3433741970029665619353267013821}, {"parameter": "9", "name": "improved_linkage", "value": 278128447673196957580109109111561}, {"parameter": "10", "name": "improved_linkage", "value": 22528399603108606832923883276605561}, {"parameter": "11", "name": "improved_linkage", "value": 22528399609560205743092488684346941}, {"parameter": "12", "name": "improved_linkage", "value": 22528399609632957213199485346233076}, {"parameter": "13", "name": "improved_linkage", "value": 278128390242382188046327950953167}, {"parameter": "14", "name": "improved_linkage", "value": 3433683830152866519377207521837}, {"parameter": "5,0", "name": "generalized_linkage", "value": 22528399545019050274135527785915391}, {"parameter": "5,1", "name": "generalized_linkage", "value": 22528399545018940855146082060075407}, {"parameter": "5,2", "name": "generalized_linkage", "value": 22528399603088911581866168965345005}, {"parameter": "6,0", "name": "generalized_linkage", "value": 30903154383629691027058652630082}, {"parameter": "6,1", "name": "generalized_linkage", "value": 30903154382742031351366367709204}, {"parameter": "6,2", "name": "generalized_linkage", "value": 30903154462399055667854827106295}, {"parameter": "7,0", "name": "generalized_linkage", "value": 42391158287524169531560227531}, {"parameter": "7,1", "name": "generalized_linkage", "value": 42391158275366298150021967572}, {"parameter": "7,2", "name": "generalized_linkage", "value": 42391158384635192960020338876}, {"parameter": "8,0", "name": "generalized_linkage", "value": 3433741970029517400900829908454}, {"parameter": "8,1", "name": "generalized_linkage", "value": 3433741970029515730608672105720}, {"parameter": "8,2", "name": "generalized_linkage", "value": 3433741970029665619353267013821}, {"parameter": "9,0", "name": "generalized_linkage", "value": 278128447673196957374253716025391}, {"parameter": "9,1", "name": "generalized_linkage", "value": 278128447673196957374221463270422}, {"parameter": "9,2", "name": "generalized_linkage", "value": 278128447673196957580109109111561}, {"parameter": "10,0", "name": "generalized_linkage", "value": 22528399603108606832923879790425672}, {"parameter": "10,1", "name": "generalized_linkage", "value": 22528399603108606832923879789879480}, {"parameter": "10,2", "name": "generalized_linkage", "value": 22528399603108606832923883276605561}, {"parameter": "11,0", "name": "generalized_linkage", "value": 22528399609560205743092488684893133}, {"parameter": "11,1", "name": "generalized_linkage", "value": 22528399609560205743092488684287892}, {"parameter": "11,2", "name": "generalized_linkage", "value": 22528399609560205743092488684346941}, {"parameter": "12,0", "name": "generalized_linkage", "value": 22528399609632957213199485346838317}, {"parameter": "12,1", "name": "generalized_linkage", "value": 22528399609632957213199485346233076}, {"parameter": "12,2", "name": "generalized_linkage", "value": 22528399609632957213199485346233076}, {"parameter": "13,1", "name": "generalized_linkage", "value": 278128390242382188046327950953167}, {"parameter": "13,2", "name": "generalized_linkage", "value": 278128390242382188046327950953167}, {"parameter": "14,2", "name": "generalized_linkage", "value": 3433683830152866519377207521837}, {"parameter": "[5, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399545019050274135527785915391}, {"parameter": "[5, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399545018940855146082060075407}, {"parameter": "[5, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399603088911581866168965345005}, {"parameter": "[6, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154383629691027058652630082}, {"parameter": "[6, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382742031351366367709204}, {"parameter": "[6, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154462399055667854827106295}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391158287524169531560227531}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158275366298150021967572}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158384635192960020338876}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3433741970029517400900829908454}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3433741970029515730608672105720}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3433741970029665619353267013821}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 278128447673196957374253716025391}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 278128447673196957374221463270422}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128447673196957580109109111561}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399603108606832923879790425672}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399603108606832923879789879480}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399603108606832923883276605561}, {"parameter": "[11, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399609560205743092488684893133}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399609560205743092488684287892}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399609560205743092488684346941}, {"parameter": "[12, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399609632957213199485346838317}, {"parameter": "[12, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399609632957213199485346233076}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399609632957213199485346233076}, {"parameter": "[13, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 278128390242382188046327950953167}, {"parameter": "[13, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128390242382188046327950953167}, {"parameter": "[14, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3433683830152866519377207521837}, {"parameter": "[5, 3, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 3433741970029515756344675731780}, {"parameter": "[5, 3, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3433741970029665825244356656550}, {"parameter": "[5, 3, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3433741970139084608798639570280}, {"parameter": "[5, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 278128389523459954334189753840122}, {"parameter": "[5, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 278128389523459954336703639240752}, {"parameter": "[5, 4, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128389523460104634685103272222}, {"parameter": "[5, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 278128389523459954334189753840122}, {"parameter": "[5, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 278128389523459954336703639240752}, {"parameter": "[5, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128389523460104634685103272222}, {"parameter": "[5, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399545019050273906151897528111}, {"parameter": "[5, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399545019050273906151940101711}, {"parameter": "[5, 5, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399545019050273908697250140841}, {"parameter": "[5, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283830829279387664750}, {"parameter": "[5, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283830829279430238350}, {"parameter": "[5, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283830831824740277480}, {"parameter": "[5, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283830829279387664750}, {"parameter": "[5, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283830829279430238350}, {"parameter": "[5, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283830831824740277480}, {"parameter": "[5, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283980923914688980361}, {"parameter": "[5, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283980923914684131701}, {"parameter": "[5, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283980923914727237471}, {"parameter": "[5, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174561934783176621152}, {"parameter": "[5, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174561934783171772492}, {"parameter": "[5, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174561934783214878262}, {"parameter": "[5, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544948037500054435677717081}, {"parameter": "[5, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544948037500054435672868421}, {"parameter": "[5, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544948037500054435715974191}, {"parameter": "[5, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174562140674347505081}, {"parameter": "[5, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174562140674303867141}, {"parameter": "[5, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174562140674303867141}, {"parameter": "[5, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939186569711498107434761}, {"parameter": "[5, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939186569711498063796821}, {"parameter": "[5, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939186569711498063796821}, {"parameter": "[5, 7, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399545657072549832526936275330}, {"parameter": "[5, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399545657072549832526892637390}, {"parameter": "[5, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399545657072549832526892637390}, {"parameter": "[5, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 278128389443693661560357557938991}, {"parameter": "[5, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128389443693661560357557938991}, {"parameter": "[5, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 278128389443705668925290185774022}, {"parameter": "[5, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128389443705668925290185774022}, {"parameter": "[5, 8, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 278128390161591500802786175046761}, {"parameter": "[5, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128390161591500802786175046761}, {"parameter": "[5, 9, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3433683820292662785215745395881}, {"parameter": "[5, 9, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3433683820304670150148297707241}, {"parameter": "[5, 9, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3433683829155450629733026163190}, {"parameter": "[6, 3, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4710208463689321743127959700}, {"parameter": "[6, 3, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4710208463689344870145092283}, {"parameter": "[6, 3, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4710208465057056501467778660}, {"parameter": "[6, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 381520424586364820760167107408}, {"parameter": "[6, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 381520424586364820760554527168}, {"parameter": "[6, 4, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 381520424586364843922875883251}, {"parameter": "[6, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 381520424586364820760167107408}, {"parameter": "[6, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 381520424586364820760554527168}, {"parameter": "[6, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 381520424586364843922875883251}, {"parameter": "[6, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154383629691024198611813722}, {"parameter": "[6, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154383629691024198606970975}, {"parameter": "[6, 5, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154383629691024198999233482}, {"parameter": "[6, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632762456555943652040}, {"parameter": "[6, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632762456555938809293}, {"parameter": "[6, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632762456556331071800}, {"parameter": "[6, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632762456555943652040}, {"parameter": "[6, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632762456555938809293}, {"parameter": "[6, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632762456556331071800}, {"parameter": "[6, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154382633980096711190686285}, {"parameter": "[6, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382633980096711146563479}, {"parameter": "[6, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382633980096711146563479}, {"parameter": "[6, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612567811818027627}, {"parameter": "[6, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612567811773904821}, {"parameter": "[6, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612567811773904821}, {"parameter": "[6, 6, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154382644770233270874956428}, {"parameter": "[6, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382644770233270830833622}, {"parameter": "[6, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382644770233270830833622}, {"parameter": "[6, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 381520424476945854791358681295}, {"parameter": "[6, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 381520424476945854791358681295}, {"parameter": "[6, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 381520424476946037523268784502}, {"parameter": "[6, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 381520424476946037523268784502}, {"parameter": "[6, 7, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 381520424489103499633059446983}, {"parameter": "[6, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 381520424489103499633059446983}, {"parameter": "[6, 8, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4710128697246267998022648682}, {"parameter": "[6, 8, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4710128697246450726096810751}, {"parameter": "[6, 8, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4710128709403910325370227562}, {"parameter": "[7, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 6461191308215804816731339}, {"parameter": "[7, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6461191308215808341241400}, {"parameter": "[7, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6461191308424241339637499}, {"parameter": "[7, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 523347633177455172554149312}, {"parameter": "[7, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633177455172510570421}, {"parameter": "[7, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633177455176040460592}, {"parameter": "[7, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 523347633177455172554149312}, {"parameter": "[7, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633177455172510570421}, {"parameter": "[7, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633177455176040460592}, {"parameter": "[7, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391158287524169499824094442}, {"parameter": "[7, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158287524169499780515551}, {"parameter": "[7, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287524169499780515551}, {"parameter": "[7, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216409405470166520}, {"parameter": "[7, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216409405426587629}, {"parameter": "[7, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216409405426587629}, {"parameter": "[7, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216409405470166520}, {"parameter": "[7, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216409405426587629}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216409405426587629}, {"parameter": "[7, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633027568973698278679}, {"parameter": "[7, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027568973698278679}, {"parameter": "[7, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633027360540700355701}, {"parameter": "[7, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027360540700355701}, {"parameter": "[7, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633027566431832450350}, {"parameter": "[7, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027566431832450350}, {"parameter": "[7, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6461081889226676828882191}, {"parameter": "[7, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6461081889226676785835470}, {"parameter": "[7, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6461081889432564474192439}, {"parameter": "[8, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 523356496115574825060572215}, {"parameter": "[8, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 523356496115574825012144655}, {"parameter": "[8, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523356496115574856785466771}, {"parameter": "[8, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391876173204101258408099419}, {"parameter": "[8, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876173204101258015836183}, {"parameter": "[8, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173204101258015836183}, {"parameter": "[8, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391876173204101258408099419}, {"parameter": "[8, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876173204101258015836183}, {"parameter": "[8, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173204101258015836183}, {"parameter": "[8, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876173205771549781369218}, {"parameter": "[8, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173205771549781369218}, {"parameter": "[8, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876173203895370370525935}, {"parameter": "[8, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173203895370370525935}, {"parameter": "[8, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876173203895370370525935}, {"parameter": "[8, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173203895370370525935}, {"parameter": "[8, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 523356495965480221488467650}, {"parameter": "[8, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 523356495965480189715204583}, {"parameter": "[8, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523356495965480193201988984}, {"parameter": "[9, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391167150312194517039629602}, {"parameter": "[9, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391167150312194516985157822}, {"parameter": "[9, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391167150312194516985157822}, {"parameter": "[9, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391167150311988629339847574}, {"parameter": "[9, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391167150311988629339847574}, {"parameter": "[9, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391167150311988629339847574}, {"parameter": "[9, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391167150311988629339847574}, {"parameter": "[9, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391167150311988661591998031}, {"parameter": "[9, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391167150311988625853122222}, {"parameter": "[9, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391167150311988625853122222}, {"parameter": "[10, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158384672253053071218873}, {"parameter": "[10, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158384672253053071218873}, {"parameter": "[10, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158384672253049584493521}, {"parameter": "[10, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158384672253049584493521}, {"parameter": "[11, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347634528544130994811062}, {"parameter": "[5, 3, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 523356605534563956530010910}, {"parameter": "[5, 3, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 523356605534563956524032210}, {"parameter": "[5, 3, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523356605534563960446657280}, {"parameter": "[5, 3, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391876173354195893360791120}, {"parameter": "[5, 3, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876173354195893312363650}, {"parameter": "[5, 3, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173354195893312363650}, {"parameter": "[5, 3, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391876173354195893360791120}, {"parameter": "[5, 3, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876173354195893312363650}, {"parameter": "[5, 3, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173354195893312363650}, {"parameter": "[5, 3, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876173204126993971028310}, {"parameter": "[5, 3, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173204126993971028310}, {"parameter": "[5, 3, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876173203897912235882610}, {"parameter": "[5, 3, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173203897912235882610}, {"parameter": "[5, 3, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876173203897912235882610}, {"parameter": "[5, 3, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173203897912235882610}, {"parameter": "[5, 3, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 523356495965480193637298950}, {"parameter": "[5, 3, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 523356495965480189757779650}, {"parameter": "[5, 3, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523356495965482735110392380}, {"parameter": "[5, 4, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391158287524169499828949672}, {"parameter": "[5, 4, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158287524169499780988672}, {"parameter": "[5, 4, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287524169499780988672}, {"parameter": "[5, 4, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391158287524169499828949672}, {"parameter": "[5, 4, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158287524169499780988672}, {"parameter": "[5, 4, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287524169499780988672}, {"parameter": "[5, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373871518704507632}, {"parameter": "[5, 4, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373871518704507632}, {"parameter": "[5, 4, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373871518704507632}, {"parameter": "[5, 4, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373871518704507632}, {"parameter": "[5, 4, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373871518704507632}, {"parameter": "[5, 4, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373871518704507632}, {"parameter": "[5, 4, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373871518704507632}, {"parameter": "[5, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373871518704507632}, {"parameter": "[5, 4, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373869004819107002}, {"parameter": "[5, 4, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373868973395000672}, {"parameter": "[5, 4, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373868973395000672}, {"parameter": "[5, 4, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373869004819107002}, {"parameter": "[5, 4, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373868973395000672}, {"parameter": "[5, 4, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373868973395000672}, {"parameter": "[5, 5, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158275366506586076672601}, {"parameter": "[5, 5, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275366506586076672601}, {"parameter": "[5, 5, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216411950779673480}, {"parameter": "[5, 5, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216411950779673480}, {"parameter": "[5, 5, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216411950779673480}, {"parameter": "[5, 5, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216411950779673480}, {"parameter": "[5, 5, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275366504040767165641}, {"parameter": "[5, 5, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275366504040767165641}, {"parameter": "[5, 5, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216409405470166520}, {"parameter": "[5, 5, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216409405470166520}, {"parameter": "[5, 5, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216409405470166520}, {"parameter": "[5, 5, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216409405470166520}, {"parameter": "[5, 6, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027363082614079411}, {"parameter": "[5, 6, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027360540748251082}, {"parameter": "[5, 6, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027566431880345731}, {"parameter": "[6, 3, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 717911513092102205463040}, {"parameter": "[6, 3, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 717911513092102151056870}, {"parameter": "[6, 3, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717911513092102151056870}, {"parameter": "[6, 3, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 717910145380474355079406}, {"parameter": "[6, 3, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910145380474355079406}, {"parameter": "[6, 3, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 717910145380474355079406}, {"parameter": "[6, 3, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910145380474355079406}, {"parameter": "[6, 3, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910145357347342191700}, {"parameter": "[6, 3, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910145357312038566070}, {"parameter": "[6, 3, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910145357312038566070}, {"parameter": "[6, 4, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 717897987920906434490131}, {"parameter": "[6, 4, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987920906434490131}, {"parameter": "[6, 4, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 717897987920906434490131}, {"parameter": "[6, 4, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987920906434490131}, {"parameter": "[6, 4, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987897744117976795}, {"parameter": "[6, 4, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987897744117976795}, {"parameter": "[6, 4, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987897744117976795}, {"parameter": "[6, 4, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987897744117976795}, {"parameter": "[6, 5, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987715015694657989}, {"parameter": "[6, 5, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987691856472666547}, {"parameter": "[6, 5, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987691856472666547}, {"parameter": "[7, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 12158079786679170718}, {"parameter": "[7, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 12158079786679170718}, {"parameter": "[7, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 12157871353724353510}, {"parameter": "[7, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 12157871353724353510}, {"parameter": "[7, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 12157665466117242043}, {"parameter": "[7, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 12157665466117242043}, {"parameter": "[8, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 12157871385498095611}, {"parameter": "[5, 3, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 12157873899470306380}, {"parameter": "", "name": "JohnsonLB", "value": 22528357220096570592554748590218996}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 58149846588984022980342603}], "request": [9, 17, 6, 5], "liftedmrdsizebound": 22528399611266342965831142790788941, "comments": "", "equal_bound_constraints": []}