{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 50681462910057431534320730090844329858697}, {"parameter": "", "name": "singleton", "value": 377594800550975709003441429239433}, {"parameter": "4", "name": "ilp_2", "value": 330405533966429116862522650042952}, {"parameter": "6", "name": "ilp_3", "value": 1353346228472253772712775510450060879}, {"parameter": "", "name": "anticode", "value": 330405533966429116862522650042952}, {"parameter": "", "name": "linear_programming_bound", "value": 330405533966429116862522650042952}, {"parameter": "", "name": "sphere_packing", "value": 50681462910057431534320730090844329858697}, {"parameter": "1", "name": "ilp_1", "value": 330405516734437691450719493460551}, {"parameter": "2", "name": "ilp_1", "value": 330405516734437691450719493460551}, {"parameter": "3", "name": "ilp_1", "value": 330405516734437691450719493460551}, {"parameter": "7", "name": "ilp_4", "value": 1353057122389594217110830145796451469}, {"parameter": "8", "name": "ilp_4", "value": 1353057114790252940691351677057401976}, {"parameter": "9", "name": "ilp_4", "value": 1353057114790021480154562800965198408}, {"parameter": "10", "name": "ilp_4", "value": 1353057114790021480154562800965198408}, {"parameter": "11", "name": "ilp_4", "value": 169167713898714027144561889265918529}, {"parameter": "12", "name": "ilp_4", "value": 21145884832280252084569065531449774}, {"parameter": "13", "name": "ilp_4", "value": 2643244288963359778969932213592647}, {"parameter": "", "name": "johnson_1", "value": 330405516734437691450719493460551}, {"parameter": "", "name": "johnson_2", "value": 2643244288963359778969932213592647}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 50681462910057431534320730090844329858697}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 1353346228472253772712775510450060879}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1353057122389594217110830145796451469}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1353057114790252940691351677057401976}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1353057114790021480154562800965198408}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1353057114790021480154562800965198408}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 169167713898714027144561889265918529}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 21145884832280252084569065531449774}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 2643244288963359778969932213592647}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 330405533966429116862522650042952}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 330405536119967902973502292246567}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 330405553348279202487654429141465}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 330405691174834278715806545628905}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 330406793791414431653759895517070}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 330415614988994482148880874851952}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 330486201529851523320105253623717}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 331051981430145927219815476669844}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 335648927771859574953718352691814}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 377594800550975709003441429239433}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 50681462910057431534320730090844329858697}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 330405533966429116862522650042952}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 330405516734437691450719493460551}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 330405516734437691450719493460551}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 330405516734437691450719493460551}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 1353346228472253772712775510450060879}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 1353382367816354602193060667580921529}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1353671552067896267963638944983291780}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1355989482686612934315200136239180033}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1374822668948334858974832337181479654}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1546675492323688689677277254864590473}, {"parameter": "", "name": "improved_johnson", "value": 330405516734437691450719493460545}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 169168278559027580278973071497466896}], "known_codes": [], "upper_bound": 330405516734437691450719493460545, "classified": false, "lower_bound": 324599177887450844354761706030144, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 324518553658426726783156020576256}, {"parameter": "", "name": "sphere_covering", "value": 70584391394994211273980408513}, {"parameter": "", "name": "graham_sloane", "value": 80665413490915554155830256193}, {"parameter": "", "name": "multicomponent", "value": 324518573001240993538728496463873}, {"parameter": "", "name": "construction_ST_B", "value": 324597820218359848132646389432068}, {"parameter": "", "name": "EF_special", "value": 324599177887378338095324360943616}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 324518553663907874805325073326592}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 324597801169235252976985412575744}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 324597820218359847024068019617792}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_16", "value": 324599107938548772752293286122057}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 324599177887450844354761706030144}, {"parameter": "", "name": "two_pivot_block_construction", "value": 324597801168477624359190611886080}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 40576291650485511504466534040537}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 324597820516014257914299882285607}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 324530026101608915489319807856128}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 324530026101608897475471054188032}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 79250613502461804554922996224}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 79250613502443825340785603072}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 643748207775674559801118794240}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 643748207775674559801118794240}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 5072039251836470590021206385152}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 5072039251836488569235343778304}, {"parameter": "(5,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 40575050515552790885359982060032}, {"parameter": "(5,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 40575050515552808899208735728128}, {"parameter": "(5, 9)", "name": "CKMP2019_Lem_41", "value": 324530026101608897474921298374144}, {"parameter": "(6, 8)", "name": "CKMP2019_Lem_41", "value": 79250613502443790156413514240}, {"parameter": "(7, 7)", "name": "CKMP2019_Lem_41", "value": 643748207775672308001305108992}, {"parameter": "(8, 6)", "name": "CKMP2019_Lem_41", "value": 5072039251836470554836834296320}, {"parameter": "(9, 5)", "name": "CKMP2019_Lem_41", "value": 40575050515552790884810226246144}, {"parameter": "(5, 9)", "name": "CKMP2019_Cor_42", "value": 324530026101608897474921298374144}, {"parameter": "(6, 8)", "name": "CKMP2019_Cor_42", "value": 79250613502443790156413514240}, {"parameter": "(7, 7)", "name": "CKMP2019_Cor_42", "value": 643748207775672308001305108992}, {"parameter": "(8, 6)", "name": "CKMP2019_Cor_42", "value": 5072039251836470554836834296320}, {"parameter": "(9, 5)", "name": "CKMP2019_Cor_42", "value": 40575050515552790884810226246144}, {"parameter": "5", "name": "linkage_GLT", "value": 324518553658426726818349266905639}, {"parameter": "6", "name": "linkage_GLT", "value": 79228162514264337594617996425}, {"parameter": "7", "name": "linkage_GLT", "value": 643748163241511577014339928577}, {"parameter": "8", "name": "linkage_GLT", "value": 5072039251750827938587758034945}, {"parameter": "9", "name": "linkage_GLT", "value": 40575050510071642862641173495809}, {"parameter": "5", "name": "improved_linkage", "value": 324518573006627373095299925134279}, {"parameter": "6", "name": "improved_linkage", "value": 79228167237948349003092322968}, {"parameter": "7", "name": "improved_linkage", "value": 643748163242664824503307444736}, {"parameter": "8", "name": "improved_linkage", "value": 5072039251750827973781004364327}, {"parameter": "9", "name": "improved_linkage", "value": 40575050510071642862642247541897}, {"parameter": "10", "name": "improved_linkage", "value": 40576288762345436365317031887361}, {"parameter": "11", "name": "improved_linkage", "value": 5072017086410525280646115360769}, {"parameter": "12", "name": "improved_linkage", "value": 634001838778356331464557297665}, {"parameter": "5,0", "name": "generalized_linkage", "value": 324530026101608897474921298374144}, {"parameter": "5,1", "name": "generalized_linkage", "value": 324518732964672814924185902903296}, {"parameter": "5,2", "name": "generalized_linkage", "value": 324518554003255659616053051778392}, {"parameter": "5,3", "name": "generalized_linkage", "value": 324518573006627373095299925134279}, {"parameter": "6,0", "name": "generalized_linkage", "value": 79250613502443790156413514240}, {"parameter": "6,1", "name": "generalized_linkage", "value": 79228513385695457310036205384}, {"parameter": "6,2", "name": "generalized_linkage", "value": 79228163188914118639560372736}, {"parameter": "6,3", "name": "generalized_linkage", "value": 79228167237948349003092322968}, {"parameter": "7,0", "name": "generalized_linkage", "value": 643748207775672308001305108992}, {"parameter": "7,1", "name": "generalized_linkage", "value": 643748163327178502564602762040}, {"parameter": "7,2", "name": "generalized_linkage", "value": 643748163241676316600407737119}, {"parameter": "7,3", "name": "generalized_linkage", "value": 643748163242664824503307444736}, {"parameter": "8,0", "name": "generalized_linkage", "value": 5072039251836470554836834296320}, {"parameter": "8,1", "name": "generalized_linkage", "value": 5072039251750849174849366936440}, {"parameter": "8,2", "name": "generalized_linkage", "value": 5072039251750827943615367777553}, {"parameter": "8,3", "name": "generalized_linkage", "value": 5072039251750827973781004364327}, {"parameter": "9,0", "name": "generalized_linkage", "value": 40575050515552790884810226246144}, {"parameter": "9,1", "name": "generalized_linkage", "value": 40575050510071642867745892817784}, {"parameter": "9,2", "name": "generalized_linkage", "value": 40575050510071642862641329284169}, {"parameter": "9,3", "name": "generalized_linkage", "value": 40575050510071642862642247541897}, {"parameter": "10,1", "name": "generalized_linkage", "value": 40576288762345436406154788559736}, {"parameter": "10,2", "name": "generalized_linkage", "value": 40576288762345436365317031858761}, {"parameter": "10,3", "name": "generalized_linkage", "value": 40576288762345436365317031887361}, {"parameter": "11,2", "name": "generalized_linkage", "value": 5072017086410525280646115365449}, {"parameter": "11,3", "name": "generalized_linkage", "value": 5072017086410525280646115360769}, {"parameter": "12,3", "name": "generalized_linkage", "value": 634001838778356331464557297665}, {"parameter": "[5, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 324530026101608897474921298374144}, {"parameter": "[5, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518732964672814924185902903296}, {"parameter": "[5, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518554003255659616053051778392}, {"parameter": "[5, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518573006627373095299925134279}, {"parameter": "[6, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79250613502443790156413514240}, {"parameter": "[6, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79228513385695457310036205384}, {"parameter": "[6, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228163188914118639560372736}, {"parameter": "[6, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228167237948349003092322968}, {"parameter": "[7, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 643748207775672308001305108992}, {"parameter": "[7, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 643748163327178502564602762040}, {"parameter": "[7, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 643748163241676316600407737119}, {"parameter": "[7, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 643748163242664824503307444736}, {"parameter": "[8, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5072039251836470554836834296320}, {"parameter": "[8, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5072039251750849174849366936440}, {"parameter": "[8, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5072039251750827943615367777553}, {"parameter": "[8, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5072039251750827973781004364327}, {"parameter": "[9, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 40575050515552790884810226246144}, {"parameter": "[9, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 40575050510071642867745892817784}, {"parameter": "[9, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40575050510071642862641329284169}, {"parameter": "[9, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 40575050510071642862642247541897}, {"parameter": "[10, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 40576288762345436406154788559736}, {"parameter": "[10, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40576288762345436365317031858761}, {"parameter": "[10, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576288762345436365317031887361}, {"parameter": "[11, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5072017086410525280646115365449}, {"parameter": "[11, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5072017086410525280646115360769}, {"parameter": "[12, 2],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 634001838778356331464557297665}, {"parameter": "[5, 2, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 633844998429916107225476104192}, {"parameter": "[5, 2, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 633844993049312066436065899008}, {"parameter": "[5, 2, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 645317086109399226580424699392}, {"parameter": "[5, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 5070603095668568796420454219776}, {"parameter": "[5, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5070603101148358427881242624000}, {"parameter": "[5, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070603095767754387091832418816}, {"parameter": "[5, 3, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5082075188827841547236191219200}, {"parameter": "[5, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 5070602755658182029805998833664}, {"parameter": "[5, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 5070602761137971661266787237888}, {"parameter": "[5, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602755757367620477377032704}, {"parameter": "[5, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5082074848817454780621735833088}, {"parameter": "[5, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 40565202820789981377870954758144}, {"parameter": "[5, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564998463645322623649609052160}, {"parameter": "[5, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564998462963212691146678907392}, {"parameter": "[5, 4, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564998812987654493392851415552}, {"parameter": "[5, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 40565023565311914533829824741376}, {"parameter": "[5, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819208167255779608479035392}, {"parameter": "[5, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207485145847105548890624}, {"parameter": "[5, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564819557509587649351721398784}, {"parameter": "[5, 4, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 40565023603598131858813999120384}, {"parameter": "[5, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819246453473104592653414400}, {"parameter": "[5, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245771363172089723269632}, {"parameter": "[5, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564819595795804974335895777792}, {"parameter": "[5, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 40576288808306907041505872834560}, {"parameter": "[5, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40576288757623093679295920026112}, {"parameter": "[5, 5, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 40576288757633918963489025139200}, {"parameter": "[5, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819263457623631651288248320}, {"parameter": "[5, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819212773810269441335439872}, {"parameter": "[5, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564819212784635553634440552960}, {"parameter": "[5, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819258072658896339643265024}, {"parameter": "[5, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207388845534129690456576}, {"parameter": "[5, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564819207399670818322795569664}, {"parameter": "[5, 5, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819295776815242883758944256}, {"parameter": "[5, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245093001880673806135808}, {"parameter": "[5, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564819245103827164866911248896}, {"parameter": "[5, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602750936006247708847190528}, {"parameter": "[5, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5070602750935815872920580104704}, {"parameter": "[5, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602406469196589095247098368}, {"parameter": "[5, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 5070602406469006214306980012544}, {"parameter": "[5, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602400997295425845700014592}, {"parameter": "[5, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5070602400997105051057432928768}, {"parameter": "[5, 6, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602438701568812952313606656}, {"parameter": "[5, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5070602438701378438164046520832}, {"parameter": "[5, 7, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 633825655616802599142907290112}, {"parameter": "[5, 7, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 633825305586110805388556345856}, {"parameter": "[5, 7, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 633825300198299524320227303936}, {"parameter": "[5, 7, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 633825337903728745221238137344}, {"parameter": "[6, 2, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 154747912232846038528950272}, {"parameter": "[6, 2, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 154747922956181893494448640}, {"parameter": "[6, 2, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 177198215456607966877168128}, {"parameter": "[6, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1260385341815172465371906048}, {"parameter": "[6, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237941398700151104425951232}, {"parameter": "[6, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237941409423486959391449600}, {"parameter": "[6, 3, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1260391701923913032774169088}, {"parameter": "[6, 3, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1260384668509013774973272064}, {"parameter": "[6, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940725393992414027317248}, {"parameter": "[6, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940736117328268992815616}, {"parameter": "[6, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1260391028617754342375535104}, {"parameter": "[6, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1238340822502028414336790528}, {"parameter": "[6, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238290822429770387167818240}, {"parameter": "[6, 4, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238291517920668177444741632}, {"parameter": "[6, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237990039566349858949984256}, {"parameter": "[6, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039494091831781011968}, {"parameter": "[6, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940734984989622057935360}, {"parameter": "[6, 4, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237990040716738088766435328}, {"parameter": "[6, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040644480061597463040}, {"parameter": "[6, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940736135377851874386432}, {"parameter": "[6, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1260384668882025052846895616}, {"parameter": "[6, 5, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1260384667376995459167527424}, {"parameter": "[6, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940051516359330005725696}, {"parameter": "[6, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940050011329736326357504}, {"parameter": "[6, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040832218150341652992}, {"parameter": "[6, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940039327188556662284800}, {"parameter": "[6, 5, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940041964561264042521088}, {"parameter": "[6, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940040459531670363152896}, {"parameter": "[6, 6, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 154743189887266357684838912}, {"parameter": "[6, 6, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 154742515804215035885363712}, {"parameter": "[6, 6, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 154742504952164413376438784}, {"parameter": "[6, 6, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 154742506084788018884715008}, {"parameter": "[7, 2, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1257364480186256337217257472}, {"parameter": "[7, 2, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1257320633822124482709004800}, {"parameter": "[7, 2, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1257365166644729790428193280}, {"parameter": "[7, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1257364479198032878358233088}, {"parameter": "[7, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1257320632833901023849980416}, {"parameter": "[7, 3, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1257365165656506331569168896}, {"parameter": "[7, 3, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1257364479033370016982499328}, {"parameter": "[7, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1257320632669238162474246656}, {"parameter": "[7, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1257365165491843470193435136}, {"parameter": "[7, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1257320729016865499955769856}, {"parameter": "[7, 4, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1257320718311860065987568128}, {"parameter": "[7, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1257320643374213438255837696}, {"parameter": "[7, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1257320632669208004287635968}, {"parameter": "[7, 4, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1257320643374244147272004096}, {"parameter": "[7, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1257320632669238713303802368}, {"parameter": "[7, 5, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1257364480371460511856435712}, {"parameter": "[7, 5, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1257320632671816584580669952}, {"parameter": "[7, 5, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1257320632669208082975171072}, {"parameter": "[7, 5, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1257320632669238172444402176}, {"parameter": "[8, 2, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1238290918589630910642627072}, {"parameter": "[8, 2, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238290918589630910642627072}, {"parameter": "[8, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238290918589600752456016384}, {"parameter": "[8, 3, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238290918589600752456016384}, {"parameter": "[8, 3, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238290918589595727344280064}, {"parameter": "[8, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238290918589595727344280064}, {"parameter": "[8, 4, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238290918610504647889494528}, {"parameter": "[8, 4, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238290918589595726423925248}, {"parameter": "[8, 4, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238290918589595727361090048}, {"parameter": "[9, 2, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238257755014954630534242816}, {"parameter": "[9, 3, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238257755014954629613888000}, {"parameter": "[9, 3, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238257755014954629460533760}, {"parameter": "[5, 2, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 12707878160844218734485700608}, {"parameter": "[5, 2, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 12707528148628128918396731392}, {"parameter": "[5, 2, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 12707883640633850195274104832}, {"parameter": "[5, 2, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238327937251844382668095488}, {"parameter": "[5, 2, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238327851797035315053461504}, {"parameter": "[5, 2, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238327937251844382668095488}, {"parameter": "[5, 2, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238327851797035315053461504}, {"parameter": "[5, 2, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238327851797035315053461504}, {"parameter": "[5, 2, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237977839580945498964492288}, {"parameter": "[5, 2, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238333331586666775841865728}, {"parameter": "[5, 3, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 12707840466075625613623820288}, {"parameter": "[5, 3, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 12707840466075625613623820288}, {"parameter": "[5, 3, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 12707840383065277281930838016}, {"parameter": "[5, 3, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 12707840383065277281930838016}, {"parameter": "[5, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238640169244532010280550400}, {"parameter": "[5, 3, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238640169244532010280550400}, {"parameter": "[5, 3, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238640169244532010280550400}, {"parameter": "[5, 3, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238640169244532010280550400}, {"parameter": "[5, 3, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238640086234183678587568128}, {"parameter": "[5, 3, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238640086234183678587568128}, {"parameter": "[5, 3, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238640086234183678587568128}, {"parameter": "[5, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238640086234183678587568128}, {"parameter": "[5, 3, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238640169244532010280550400}, {"parameter": "[5, 3, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238290157028442194191581184}, {"parameter": "[5, 3, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238645649034163471068954624}, {"parameter": "[5, 3, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238640086234183678587568128}, {"parameter": "[5, 3, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238290074018093862498598912}, {"parameter": "[5, 3, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238645566023815139375972352}, {"parameter": "[5, 4, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1442653457039362021761744896}, {"parameter": "[5, 4, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1442647986596305782624747520}, {"parameter": "[5, 4, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1442647987764708410950680576}, {"parameter": "[5, 4, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1442303530278081273287409664}, {"parameter": "[5, 4, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1442303444823272205672775680}, {"parameter": "[5, 4, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1442298059835025034150412288}, {"parameter": "[5, 4, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1442297974380215966535778304}, {"parameter": "[5, 4, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1442298061003427662476345344}, {"parameter": "[5, 4, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1442297975548618594861711360}, {"parameter": "[6, 2, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22483093111187091757203456}, {"parameter": "[6, 2, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22483093111187091757203456}, {"parameter": "[6, 2, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 39149996165730811248640}, {"parameter": "[6, 2, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 39149996165730811248640}, {"parameter": "[6, 3, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 44927035093869805768278016}, {"parameter": "[6, 3, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 44927035073322132468400128}, {"parameter": "[6, 3, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22483091978848444822323200}, {"parameter": "[6, 3, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22483091978848444822323200}, {"parameter": "[6, 3, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22483091958300771522445312}, {"parameter": "[6, 3, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22483091958300771522445312}, {"parameter": "[7, 2, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 126065785145072354852864}, {"parameter": "", "name": "JohnsonLB", "value": 324597937300618857670586540258171}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 9906365033097270561167704584}], "request": [8, 14, 4, 5], "liftedmrdsizebound": 324612154578080420703239156225673, "comments": "", "equal_bound_constraints": []}