{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 4052305562169692070035}, {"parameter": "", "name": "singleton", "value": 3774561792168531}, {"parameter": "5", "name": "ilp_2", "value": 1450279444830258}, {"parameter": "6", "name": "ilp_2", "value": 1979631442193303405}, {"parameter": "8", "name": "ilp_3", "value": 15891394361449772823}, {"parameter": "9", "name": "ilp_3", "value": 93295857307924302}, {"parameter": "", "name": "anticode", "value": 1450279444830258}, {"parameter": "", "name": "linear_programming_bound", "value": 1450279444830258}, {"parameter": "", "name": "sphere_packing", "value": 15595207729935738}, {"parameter": "1", "name": "ilp_1", "value": 1448862075576760}, {"parameter": "2", "name": "ilp_1", "value": 1448862075580200}, {"parameter": "3", "name": "ilp_1", "value": 1448862075580200}, {"parameter": "4", "name": "ilp_1", "value": 1448862983402027}, {"parameter": "10", "name": "ilp_4", "value": 92566270936014825}, {"parameter": "11", "name": "ilp_4", "value": 92553796327799470}, {"parameter": "12", "name": "ilp_4", "value": 92553736924903207}, {"parameter": "13", "name": "ilp_4", "value": 92553736475265853}, {"parameter": "14", "name": "ilp_4", "value": 92553736747642327}, {"parameter": "15", "name": "ilp_4", "value": 23062428523409713}, {"parameter": "16", "name": "ilp_4", "value": 5805370691510971}, {"parameter": "", "name": "johnson_1", "value": 1448862075576760}, {"parameter": "", "name": "johnson_2", "value": 5805370691510971}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 4052305562169692070035}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 15891394361449772823}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 93295857307924302}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 92566270936014825}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 92553796327799470}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 92553736924903207}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 92553736475265853}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 92553736747642327}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 23062428523409713}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 5805370691510971}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1979631442193303405}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 15595207729935738}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 15610346900199514}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 15640713591070536}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 15701802789725983}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 15825424064272042}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 16078599704677964}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 8207318936405075}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 4420302217114565}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 2567140826256688}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1918145075253485}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 1450279444830258}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 1451325810319412}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1453422059554099}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 1457628681749451}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 1466098829675091}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 1483270057890441}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 1518563600799504}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 1593187699809786}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1760696545454562}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 2190957245441052}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 3774561792168531}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 4052305562169692070035}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1979631442193303405}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1450279444830258}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1448862983402027}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1448862075580200}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1448862075580200}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1448862075576760}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 15891394361449772823}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 15595207729935738}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 15688140902024130}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 15940921112608120}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 16471733302384258}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 17646976592370049}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 20584322173713194}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 30856459753637299}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 93295857307924302}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 93845732541199431}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 94960722646929644}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 97253500236440466}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 102105902889943621}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 113020644989743964}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 141197184407058325}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 246614610741341843}, {"parameter": "", "name": "improved_johnson", "value": 1448862075576757}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 11644890622383772}], "known_codes": [], "upper_bound": 1448862075576757, "classified": false, "lower_bound": 1128351823743557, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1125899906842624}, {"parameter": "", "name": "sphere_covering", "value": 544965151689}, {"parameter": "", "name": "graham_sloane", "value": 235877027680}, {"parameter": "", "name": "multicomponent", "value": 1125934266597377}, {"parameter": "q^50 + q^41 + 2*q^36 + q^35 + q^34 + 4*q^33 + 4*q^32 + 2*q^31 + 4*q^30 + 2*q^29 + 6*q^28 + 5*q^27 + 4*q^26 + q^25 + 6*q^24 + 2*q^22 + 5*q^21 + 5*q^20 + q^19 + 5*q^18 + 7*q^17 + 5*q^16 + 5*q^15 + 2*q^14 + 4*q^13 + 3*q^12 + 2*q^11 + q^10 + 2*q^9 + q^8 + 2*q^7 + q^6 + 2*q + 1", "name": "greedy_multicomponent", "value": 1128351823743557}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1125912122404808}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1128145505398728}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1128103233454080}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 4423058961079}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1125924920341320}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1125924923487048}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1125924919325512}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1125924919554888}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 35185105006024}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 35185105006024}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 35185104219592}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 35185105006024}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1102524351432}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1102523565000}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1102524351432}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1102524351432}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 4994377887688}, {"parameter": "(7,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 4994377658312}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 4994381819848}, {"parameter": "(7,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 4994378674120}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 1125924919292744}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 35185103957448}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 1102523302856}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 4994377625544}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 1125924919292744}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 35185103957448}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 1102523302856}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 4994377625544}, {"parameter": "7", "name": "linkage_GLT", "value": 1125899906842769}, {"parameter": "8", "name": "linkage_GLT", "value": 35184372088833}, {"parameter": "9", "name": "linkage_GLT", "value": 1099511627777}, {"parameter": "10", "name": "linkage_GLT", "value": 4982162063361}, {"parameter": "7", "name": "improved_linkage", "value": 1125934439084744}, {"parameter": "8", "name": "improved_linkage", "value": 35184641146177}, {"parameter": "9", "name": "improved_linkage", "value": 1099513732853}, {"parameter": "10", "name": "improved_linkage", "value": 4982162080077}, {"parameter": "11", "name": "improved_linkage", "value": 4487435518097}, {"parameter": "12", "name": "improved_linkage", "value": 4414666440705}, {"parameter": "13", "name": "improved_linkage", "value": 4408235540481}, {"parameter": "14", "name": "improved_linkage", "value": 4420126991361}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1125924919292744}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1125902868526646}, {"parameter": "7,2", "name": "generalized_linkage", "value": 1125899993150781}, {"parameter": "7,3", "name": "generalized_linkage", "value": 1125900175899969}, {"parameter": "7,4", "name": "generalized_linkage", "value": 1125934439084744}, {"parameter": "8,0", "name": "generalized_linkage", "value": 35185103957448}, {"parameter": "8,1", "name": "generalized_linkage", "value": 35184589588542}, {"parameter": "8,2", "name": "generalized_linkage", "value": 35184372774229}, {"parameter": "8,3", "name": "generalized_linkage", "value": 35184374193909}, {"parameter": "8,4", "name": "generalized_linkage", "value": 35184641146177}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1102523302856}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1099514639582}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1099511633721}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1099511644493}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1099513732853}, {"parameter": "10,0", "name": "generalized_linkage", "value": 4994377625544}, {"parameter": "10,1", "name": "generalized_linkage", "value": 4982168098782}, {"parameter": "10,2", "name": "generalized_linkage", "value": 4982162063445}, {"parameter": "10,3", "name": "generalized_linkage", "value": 4982162063505}, {"parameter": "10,4", "name": "generalized_linkage", "value": 4982162080077}, {"parameter": "11,1", "name": "generalized_linkage", "value": 4487447600606}, {"parameter": "11,2", "name": "generalized_linkage", "value": 4487435518121}, {"parameter": "11,3", "name": "generalized_linkage", "value": 4487435517953}, {"parameter": "11,4", "name": "generalized_linkage", "value": 4487435518097}, {"parameter": "12,2", "name": "generalized_linkage", "value": 4414666441045}, {"parameter": "12,3", "name": "generalized_linkage", "value": 4414666440705}, {"parameter": "12,4", "name": "generalized_linkage", "value": 4414666440705}, {"parameter": "13,3", "name": "generalized_linkage", "value": 4408235540481}, {"parameter": "13,4", "name": "generalized_linkage", "value": 4408235540481}, {"parameter": "14,4", "name": "generalized_linkage", "value": 4420126991361}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1125924919292744}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1125902868526646}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125899993150781}, {"parameter": "[7, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1125900175899969}, {"parameter": "[7, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1125934439084744}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 35185103957448}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 35184589588542}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 35184372774229}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 35184374193909}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 35184641146177}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1102523302856}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1099514639582}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099511633721}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1099511644493}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1099513732853}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4994377625544}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4982168098782}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4982162063445}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4982162063505}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4982162080077}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4487447600606}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4487435518121}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4487435517953}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4487435518097}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4414666441045}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4414666440705}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4414666440705}, {"parameter": "[13, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4408235540481}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4408235540481}, {"parameter": "[14, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4420126991361}, {"parameter": "[7, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 4454486205440}, {"parameter": "[7, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 4432578749128}, {"parameter": "[7, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4432578749128}, {"parameter": "[7, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4457418699592}, {"parameter": "[7, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 4420394902528}, {"parameter": "[7, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4398487446216}, {"parameter": "[7, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4398487446216}, {"parameter": "[7, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4423327396680}, {"parameter": "[7, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 4420394902528}, {"parameter": "[7, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4398487446216}, {"parameter": "[7, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4398487446216}, {"parameter": "[7, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4423327396680}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4399339991928}, {"parameter": "[7, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4398304993992}, {"parameter": "[7, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398304993992}, {"parameter": "[7, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4399256105848}, {"parameter": "[7, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4398221107912}, {"parameter": "[7, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398221107912}, {"parameter": "[7, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4399256105848}, {"parameter": "[7, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4398221107912}, {"parameter": "[7, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398221107912}, {"parameter": "[7, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 4401121698504}, {"parameter": "[7, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4401121698504}, {"parameter": "[7, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4398219682504}, {"parameter": "[7, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398219682504}, {"parameter": "[7, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4398219027144}, {"parameter": "[7, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398219027144}, {"parameter": "[7, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4398221386440}, {"parameter": "[7, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398221386440}, {"parameter": "[7, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4420298966728}, {"parameter": "[7, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398241688008}, {"parameter": "[7, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398219016008}, {"parameter": "[7, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398219029320}, {"parameter": "[7, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398221150536}, {"parameter": "[8, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 35360042440}, {"parameter": "[8, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 35360042440}, {"parameter": "[8, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 35360042440}, {"parameter": "[8, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 35093704136}, {"parameter": "[8, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 35093704136}, {"parameter": "[8, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 35093704136}, {"parameter": "[8, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 35093704136}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 35093704136}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 35093704136}, {"parameter": "[8, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 35092278728}, {"parameter": "[8, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 35092278728}, {"parameter": "[8, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 35091623368}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 35091623368}, {"parameter": "[8, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 35091623368}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 35091623368}, {"parameter": "[8, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 35283606728}, {"parameter": "[8, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 35091612232}, {"parameter": "[8, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 35091607112}, {"parameter": "[8, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 35091625544}, {"parameter": "[9, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3282207688}, {"parameter": "[9, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3282207688}, {"parameter": "[9, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3280126920}, {"parameter": "[9, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3280126920}, {"parameter": "[9, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3280126920}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3280126920}, {"parameter": "[9, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3280115784}, {"parameter": "[9, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3280110664}, {"parameter": "[9, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3280110664}, {"parameter": "[10, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 12519665608}, {"parameter": "[10, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 12519649352}, {"parameter": "[10, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 12519649352}, {"parameter": "[7, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 44430444544}, {"parameter": "", "name": "JohnsonLB", "value": 1123878946510505}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 35275769135970}], "request": [2, 17, 6, 7], "liftedmrdsizebound": 1133824780612877, "comments": "", "equal_bound_constraints": []}