{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1066968301301093995246996371}, {"parameter": "", "name": "singleton", "value": 251413193158549532435}, {"parameter": "6", "name": "ilp_2", "value": 95429344304107026719}, {"parameter": "7", "name": "ilp_2", "value": 260553919731646885286201}, {"parameter": "9", "name": "ilp_3", "value": 2088000589630320930033261}, {"parameter": "10", "name": "ilp_3", "value": 6123168884546395689247}, {"parameter": "", "name": "anticode", "value": 95429344304107026719}, {"parameter": "", "name": "linear_programming_bound", "value": 95429344304107026719}, {"parameter": "", "name": "sphere_packing", "value": 1022028678288088457674}, {"parameter": "1", "name": "ilp_1", "value": 95330301077166927471}, {"parameter": "2", "name": "ilp_1", "value": 95330301077166928621}, {"parameter": "3", "name": "ilp_1", "value": 95330301077166995984}, {"parameter": "4", "name": "ilp_1", "value": 95330301086281180173}, {"parameter": "5", "name": "ilp_1", "value": 95330320996216541493}, {"parameter": "11", "name": "ilp_4", "value": 6072316969042102222360}, {"parameter": "12", "name": "ilp_4", "value": 6072316969042102222360}, {"parameter": "13", "name": "ilp_4", "value": 6072316070107505019387}, {"parameter": "14", "name": "ilp_4", "value": 6072316066599256785934}, {"parameter": "15", "name": "ilp_4", "value": 6072316066598745786696}, {"parameter": "16", "name": "ilp_4", "value": 6072316069947425991508}, {"parameter": "17", "name": "ilp_4", "value": 1528548726179508156316}, {"parameter": "18", "name": "ilp_4", "value": 381484042573040810171}, {"parameter": "", "name": "johnson_1", "value": 95330301077166927471}, {"parameter": "", "name": "johnson_2", "value": 381484042573040810171}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1066968301301093995246996371}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 2088000589630320930033261}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 6123168884546395689247}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 6072316969042102222360}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 6072316969042102222360}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 6072316070107505019387}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 6072316066599256785934}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 6072316066598745786696}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 6072316069947425991508}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 1528548726179508156316}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 381484042573040810171}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 260553919731646885286201}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1022028678288088457674}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1014522123872693820027}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1015463916718544290847}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1017446501314071096872}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1021436367058538789114}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1029510719394717626234}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1046048537578987004319}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 543602358465773190387}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 290279019326470316991}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 169451603270442645336}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 126664970923498783229}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 95429344304107026719}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 95464033236326018021}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 95533469906809565283}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 95672578899225545371}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 95951742920833637365}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 96513882766135797732}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 97653634270325693973}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 99996876911523209418}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 104954085961661807921}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 116094762293171536277}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 144793081819040634821}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 251413193158549532435}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1066968301301093995246996371}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 260553919731646885286201}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 95429344304107026719}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 95330320996216541493}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 95330301086281180173}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 95330301077166995984}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 95330301077162684737}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 95330301077162683831}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 2088000589630320930033261}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1022028678288088457674}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1026050435965236335426}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1034189660026552416408}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1050861743360605987279}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1085872251324400483260}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1163391338856892066620}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 1357163864662567488468}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 2035084412356388762733}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 6123168884546395689247}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 6141160548649501644305}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 6177391514464155667080}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 6250858718455700834760}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 6401935666809323854696}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 6721693993894321748876}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 7441045871739276181105}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 9298715653254788891554}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 16256896431763117598611}, {"parameter": "", "name": "improved_johnson", "value": 95330301077166927468}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 764087901318018139356}], "known_codes": [], "upper_bound": 95330301077162683831, "classified": false, "lower_bound": 73943094039895448341, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 73786976294838206464}, {"parameter": "", "name": "sphere_covering", "value": 8849788782474254}, {"parameter": "", "name": "graham_sloane", "value": 3881615471565989}, {"parameter": "", "name": "multicomponent", "value": 73787257769831694337}, {"parameter": "q^66 + q^57 + q^52 + 2*q^50 + 4*q^49 + 6*q^48 + 6*q^47 + 3*q^46 + 2*q^45 + 6*q^44 + 3*q^43 + 5*q^42 + 5*q^41 + 7*q^40 + 8*q^39 + 6*q^38 + 7*q^37 + 6*q^36 + 8*q^35 + 7*q^34 + 11*q^33 + 9*q^32 + 7*q^31 + 9*q^30 + 7*q^29 + 10*q^28 + 15*q^27 + 13*q^26 + 11*q^25 + 8*q^24 + 8*q^23 + 7*q^22 + 5*q^21 + 8*q^20 + 6*q^19 + 9*q^18 + 4*q^17 + 6*q^16 + q^15 + 8*q^14 + 5*q^13 + 5*q^12 + 2*q^11 + 5*q^10 + 2*q^9 + 2*q^8 + 2*q^7 + q^4 + q^2 + 1", "name": "greedy_multicomponent", "value": 73943094039895448341}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 73787799115357524416}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 73932195778410090944}, {"parameter": "", "name": "two_pivot_block_construction", "value": 73931373507646586880}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 72478879104379486}, {"parameter": "(11,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 73787397580173093760}, {"parameter": "(11,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 73787397580441529216}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 73787397579971767168}, {"parameter": "(11,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 73787397580441529216}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 73787397579904920448}, {"parameter": "(11,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 73787397579906755456}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1152933821676577216}, {"parameter": "(10,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 1152933821609468352}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1152933821676577216}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1152933821810794944}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1152933821546553792}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1152933821559136704}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 18115798178951616}, {"parameter": "(9,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 18115798166368704}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 18115798430609856}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 18115798296392128}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 18115798229283264}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 18115798296392128}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 82450563767505344}, {"parameter": "(8,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 82450563765670336}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 82450564302279104}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 82450563832517056}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 82450564302279104}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 82450564033843648}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 73787397579904658304}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1152933821542359488}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 18115798162174400}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 82450563765408192}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 73787397579904658304}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1152933821542359488}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 18115798162174400}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 82450563765408192}, {"parameter": "8", "name": "linkage_GLT", "value": 73786976294838206754}, {"parameter": "9", "name": "linkage_GLT", "value": 1152921504606846977}, {"parameter": "10", "name": "linkage_GLT", "value": 18014398509481985}, {"parameter": "11", "name": "linkage_GLT", "value": 81627743246090241}, {"parameter": "8", "name": "improved_linkage", "value": 73787259222523091392}, {"parameter": "9", "name": "improved_linkage", "value": 1152922606462948556}, {"parameter": "10", "name": "improved_linkage", "value": 18014402815322002}, {"parameter": "11", "name": "improved_linkage", "value": 81627743262925364}, {"parameter": "12", "name": "improved_linkage", "value": 73490257688986903}, {"parameter": "13", "name": "improved_linkage", "value": 72306307004104994}, {"parameter": "14", "name": "improved_linkage", "value": 72240008043429889}, {"parameter": "15", "name": "improved_linkage", "value": 72211241473146881}, {"parameter": "16", "name": "improved_linkage", "value": 72429487330541569}, {"parameter": "8,0", "name": "generalized_linkage", "value": 73787397579904658304}, {"parameter": "8,1", "name": "generalized_linkage", "value": 73787025212204631288}, {"parameter": "8,2", "name": "generalized_linkage", "value": 73786982283529526488}, {"parameter": "8,3", "name": "generalized_linkage", "value": 73786976660834607994}, {"parameter": "8,4", "name": "generalized_linkage", "value": 73786977396694308044}, {"parameter": "8,5", "name": "generalized_linkage", "value": 73787259222523091392}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1152933821542359488}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1152925105055532816}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1152921705912948210}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1152921506037832516}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1152921508912686994}, {"parameter": "9,5", "name": "generalized_linkage", "value": 1152922606462948556}, {"parameter": "10,0", "name": "generalized_linkage", "value": 18115798162174400}, {"parameter": "10,1", "name": "generalized_linkage", "value": 18014449655002376}, {"parameter": "10,2", "name": "generalized_linkage", "value": 18014405694094524}, {"parameter": "10,3", "name": "generalized_linkage", "value": 18014398515163299}, {"parameter": "10,4", "name": "generalized_linkage", "value": 18014398526317108}, {"parameter": "10,5", "name": "generalized_linkage", "value": 18014402815322002}, {"parameter": "11,0", "name": "generalized_linkage", "value": 82450563765408192}, {"parameter": "11,1", "name": "generalized_linkage", "value": 81627950804631816}, {"parameter": "11,2", "name": "generalized_linkage", "value": 81627743295736446}, {"parameter": "11,3", "name": "generalized_linkage", "value": 81627743246114890}, {"parameter": "11,4", "name": "generalized_linkage", "value": 81627743246157079}, {"parameter": "11,5", "name": "generalized_linkage", "value": 81627743262925364}, {"parameter": "12,1", "name": "generalized_linkage", "value": 73491093884147976}, {"parameter": "12,2", "name": "generalized_linkage", "value": 73490257788309630}, {"parameter": "12,3", "name": "generalized_linkage", "value": 73490257688920233}, {"parameter": "12,4", "name": "generalized_linkage", "value": 73490257688920354}, {"parameter": "12,5", "name": "generalized_linkage", "value": 73490257688986903}, {"parameter": "13,2", "name": "generalized_linkage", "value": 72306307202980990}, {"parameter": "13,3", "name": "generalized_linkage", "value": 72306307004105045}, {"parameter": "13,4", "name": "generalized_linkage", "value": 72306307004104705}, {"parameter": "13,5", "name": "generalized_linkage", "value": 72306307004104994}, {"parameter": "14,3", "name": "generalized_linkage", "value": 72240008043430569}, {"parameter": "14,4", "name": "generalized_linkage", "value": 72240008043429889}, {"parameter": "14,5", "name": "generalized_linkage", "value": 72240008043429889}, {"parameter": "15,4", "name": "generalized_linkage", "value": 72211241473146881}, {"parameter": "15,5", "name": "generalized_linkage", "value": 72211241473146881}, {"parameter": "16,5", "name": "generalized_linkage", "value": 72429487330541569}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787397579904658304}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787025212204631288}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786982283529526488}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 73786976660834607994}, {"parameter": "[8, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 73786977396694308044}, {"parameter": "[8, 11],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 73787259222523091392}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152933821542359488}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152925105055532816}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921705912948210}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1152921506037832516}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1152921508912686994}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1152922606462948556}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18115798162174400}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014449655002376}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18014405694094524}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 18014398515163299}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 18014398526317108}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 18014402815322002}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 82450563765408192}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 81627950804631816}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 81627743295736446}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 81627743246114890}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 81627743246157079}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 81627743262925364}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73491093884147976}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73490257788309630}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 73490257688920233}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 73490257688920354}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 73490257688986903}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 72306307202980990}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 72306307004105045}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 72306307004104705}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 72306307004104994}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 72240008043430569}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 72240008043429889}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 72240008043429889}, {"parameter": "[15, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 72211241473146881}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 72211241473146881}, {"parameter": "[16, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 72429487330541569}, {"parameter": "[8, 3, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 72710962038816768}, {"parameter": "[8, 3, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 72340521721764288}, {"parameter": "[8, 3, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 72340521721764288}, {"parameter": "[8, 3, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 72760354081090432}, {"parameter": "[8, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 72430586573733888}, {"parameter": "[8, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 72060146256681408}, {"parameter": "[8, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 72060146256681408}, {"parameter": "[8, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 72479978616007552}, {"parameter": "[8, 4, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 72430586573733888}, {"parameter": "[8, 4, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 72060146256681408}, {"parameter": "[8, 4, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 72060146256681408}, {"parameter": "[8, 4, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 72479978616007552}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 72429852134326272}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 72059411817273792}, {"parameter": "[8, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 72059411817273792}, {"parameter": "[8, 5, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 72479244176599936}, {"parameter": "[8, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 72429491357073408}, {"parameter": "[8, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 72059051040020928}, {"parameter": "[8, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 72059051040020928}, {"parameter": "[8, 5, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 72478883399347072}, {"parameter": "[8, 5, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 72429491357073408}, {"parameter": "[8, 5, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 72059051040020928}, {"parameter": "[8, 5, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 72059051040020928}, {"parameter": "[8, 5, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 72478883399347072}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 72073731079746624}, {"parameter": "[8, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 72065014836992448}, {"parameter": "[8, 6, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 72065014836992448}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 72067764413871168}, {"parameter": "[8, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 72059048171116992}, {"parameter": "[8, 6, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 72059048171116992}, {"parameter": "[8, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 72067763004585024}, {"parameter": "[8, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 72059046761830848}, {"parameter": "[8, 6, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 72059046761830848}, {"parameter": "[8, 6, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 72067767853200448}, {"parameter": "[8, 6, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 72059051610446272}, {"parameter": "[8, 6, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 72059051610446272}, {"parameter": "[8, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 72107010486671808}, {"parameter": "[8, 7, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 72107010486671808}, {"parameter": "[8, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 72059070057912768}, {"parameter": "[8, 7, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 72059070057912768}, {"parameter": "[8, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 72059046750624192}, {"parameter": "[8, 7, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 72059046750624192}, {"parameter": "[8, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 72059046764059072}, {"parameter": "[8, 7, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 72059046764059072}, {"parameter": "[8, 7, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 72059051125414336}, {"parameter": "[8, 7, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 72059051125414336}, {"parameter": "[8, 8, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 72430939769231808}, {"parameter": "[8, 8, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 72059234103419328}, {"parameter": "[8, 8, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 72059046836119488}, {"parameter": "[8, 8, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 72059046751364032}, {"parameter": "[8, 8, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 72059046762164416}, {"parameter": "[8, 8, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 72059051054845376}, {"parameter": "[9, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 294891423850944}, {"parameter": "[9, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 294891423850944}, {"parameter": "[9, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 294891423850944}, {"parameter": "[9, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 293796207190464}, {"parameter": "[9, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 293796207190464}, {"parameter": "[9, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 293796207190464}, {"parameter": "[9, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 293796207190464}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 293796207190464}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 293796207190464}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 293793338286528}, {"parameter": "[9, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 293793338286528}, {"parameter": "[9, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 293793338286528}, {"parameter": "[9, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 293791929000384}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 293791929000384}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 293791929000384}, {"parameter": "[9, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 293791929000384}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 293791929000384}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 293791929000384}, {"parameter": "[9, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 293989293941184}, {"parameter": "[9, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 293989293941184}, {"parameter": "[9, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 293791917793728}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 293791917793728}, {"parameter": "[9, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 293791912288704}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 293791912288704}, {"parameter": "[9, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 293791931228608}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 293791931228608}, {"parameter": "[9, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 296970239338944}, {"parameter": "[9, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 293792683245504}, {"parameter": "[9, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 293791912244928}, {"parameter": "[9, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 293791912297408}, {"parameter": "[9, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 293791929333952}, {"parameter": "[10, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 102503459287488}, {"parameter": "[10, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 102503459287488}, {"parameter": "[10, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 102499181097408}, {"parameter": "[10, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 102499181097408}, {"parameter": "[10, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 102499181097408}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 102499181097408}, {"parameter": "[10, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 102499169890752}, {"parameter": "[10, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 102499169890752}, {"parameter": "[10, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 102499164385728}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 102499164385728}, {"parameter": "[10, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 102499164385728}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 102499164385728}, {"parameter": "[10, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 102505506598848}, {"parameter": "[10, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 102499164341952}, {"parameter": "[10, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 102499164320448}, {"parameter": "[10, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 102499164394432}, {"parameter": "[11, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 824066076611008}, {"parameter": "[11, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 824066059899328}, {"parameter": "[11, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 824066059899328}, {"parameter": "[11, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 824066059855552}, {"parameter": "[11, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 824066059834048}, {"parameter": "[11, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 824066059834048}, {"parameter": "[8, 3, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 744889854951424}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 2310864668545482330}], "request": [2, 19, 6, 8], "liftedmrdsizebound": 74322832715137086419, "comments": "", "equal_bound_constraints": []}