{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 4052305562169692070035}, {"parameter": "", "name": "singleton", "value": 3926442969043883795}, {"parameter": "6", "name": "ilp_2", "value": 1979631442193303405}, {"parameter": "8", "name": "ilp_3", "value": 15891394361449772823}, {"parameter": "", "name": "anticode", "value": 1979631442193303405}, {"parameter": "", "name": "linear_programming_bound", "value": 1979631442193303405}, {"parameter": "", "name": "sphere_packing", "value": 4052305562169692070035}, {"parameter": "1", "name": "ilp_1", "value": 1979631442193303405}, {"parameter": "2", "name": "ilp_1", "value": 1979631442193303405}, {"parameter": "3", "name": "ilp_1", "value": 1979631442193303405}, {"parameter": "4", "name": "ilp_1", "value": 1979631442193303405}, {"parameter": "5", "name": "ilp_1", "value": 1979631442193303405}, {"parameter": "9", "name": "ilp_4", "value": 15766999885039207087}, {"parameter": "10", "name": "ilp_4", "value": 15766270298667297610}, {"parameter": "11", "name": "ilp_4", "value": 15766259695250314559}, {"parameter": "12", "name": "ilp_4", "value": 15766259676972500324}, {"parameter": "13", "name": "ilp_4", "value": 15766259676834150368}, {"parameter": "14", "name": "ilp_4", "value": 15766259676834150368}, {"parameter": "15", "name": "ilp_4", "value": 7930056983032790567}, {"parameter": "16", "name": "ilp_4", "value": 3953457513557179549}, {"parameter": "", "name": "johnson_1", "value": 1979631442193303405}, {"parameter": "", "name": "johnson_2", "value": 3953457513557179549}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 4052305562169692070035}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 15891394361449772823}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 15766999885039207087}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 15766270298667297610}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 15766259695250314559}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 15766259676972500324}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 15766259676834150368}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 15766259676834150368}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 7930056983032790567}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 3953457513557179549}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1979631442193303405}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1980591381701838775}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1982514056325338293}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1986370626065958125}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1994128954295199891}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 2009828856162549422}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 2041982162494101491}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 2109477127626076038}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 2258800321259972581}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 2631326886260824779}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 3926442969043883795}, {"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": 1979631442193303405}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1979631442193303405}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1979631442193303405}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1979631442193303405}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1979631442193303405}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 15891394361449772823}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 15953897507724260371}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 16080390498409982147}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 16339490956638044813}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 16883575010078379814}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 18088202833978065509}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 21098990681444810832}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 31627961868755063955}, {"parameter": "", "name": "improved_johnson", "value": 1979631442193303405}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 7930170659547048390}], "known_codes": [], "upper_bound": 1979631442193303405, "classified": false, "lower_bound": 1285973764408635208, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1152921504606846976}, {"parameter": "", "name": "sphere_covering", "value": 15595207729935739}, {"parameter": "", "name": "graham_sloane", "value": 30916873771999085}, {"parameter": "", "name": "multicomponent", "value": 1153203013945393281}, {"parameter": "", "name": "construction_ST_B", "value": 1234826657385404171}, {"parameter": "q^60 + q^56 + q^54 + 8*q^52 + 2*q^50 + 9*q^48 + 4*q^47 + 7*q^46 + 10*q^45 + 28*q^44 + q^43 + 8*q^42 + 3*q^41 + 29*q^40 + 9*q^39 + 17*q^38 + 16*q^37 + 61*q^36 + 10*q^35 + 27*q^34 + 11*q^33 + 69*q^32 + 46*q^31 + 59*q^30 + 38*q^29 + 67*q^28 + 11*q^27 + 27*q^26 + 10*q^25 + 63*q^24 + 24*q^23 + 26*q^22 + 22*q^21 + 30*q^20 + 18*q^19 + 11*q^18 + 16*q^17 + 31*q^16 + 31*q^15 + 16*q^14 + 4*q^13 + 9*q^12 + 2*q^10 + 8*q^8 + q^6 + q^4 + 1", "name": "greedy_multicomponent", "value": 1285807203784040529}, {"parameter": "", "name": "EF_special", "value": 1285780755925958656}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1155778501255169024}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1232621169897178112}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 1234826611963912808}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 1285973764408635208}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1229782864946528256}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 85849953908153026}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 1234886939656609086}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1166713865550837760}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1166713865550837760}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1166713864544204800}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1166713864477358080}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 19756524374418432}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 19756525381051392}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 19756524575745024}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 19756524311503872}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 47743206516556800}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 47743206780797952}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 47743207586104320}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 47743206579471360}, {"parameter": "(7,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 107838366868636672}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 107838366935483392}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 107838367942116352}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 107838367942116352}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 1166713864477095936}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 19756524307309568}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 47743206512362496}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 107838366868374528}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 1166713864477095936}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 19756524307309568}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 47743206512362496}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 107838366868374528}, {"parameter": "7", "name": "linkage_GLT", "value": 1152921504606870846}, {"parameter": "8", "name": "linkage_GLT", "value": 18014398509482153}, {"parameter": "9", "name": "linkage_GLT", "value": 47569271064100865}, {"parameter": "10", "name": "linkage_GLT", "value": 104981370220052481}, {"parameter": "7", "name": "improved_linkage", "value": 1153239036811643631}, {"parameter": "8", "name": "improved_linkage", "value": 18019374368515072}, {"parameter": "9", "name": "improved_linkage", "value": 47569309636651509}, {"parameter": "10", "name": "improved_linkage", "value": 104981370519822445}, {"parameter": "11", "name": "improved_linkage", "value": 81880665282600129}, {"parameter": "12", "name": "improved_linkage", "value": 80468887249902910}, {"parameter": "13", "name": "improved_linkage", "value": 80892501730263209}, {"parameter": "14", "name": "improved_linkage", "value": 81524474398113793}, {"parameter": "15", "name": "improved_linkage", "value": 40644122213971841}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1166713864477095936}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1155859197217608640}, {"parameter": "7,2", "name": "generalized_linkage", "value": 1153647324433223016}, {"parameter": "7,3", "name": "generalized_linkage", "value": 1153092998167014646}, {"parameter": "7,4", "name": "generalized_linkage", "value": 1152956335620078592}, {"parameter": "7,5", "name": "generalized_linkage", "value": 1153239036811643631}, {"parameter": "8,0", "name": "generalized_linkage", "value": 19756524307309568}, {"parameter": "8,1", "name": "generalized_linkage", "value": 18543245386809984}, {"parameter": "8,2", "name": "generalized_linkage", "value": 18066102892515112}, {"parameter": "8,3", "name": "generalized_linkage", "value": 18020299781012974}, {"parameter": "8,4", "name": "generalized_linkage", "value": 18014977097741659}, {"parameter": "8,5", "name": "generalized_linkage", "value": 18019374368515072}, {"parameter": "9,0", "name": "generalized_linkage", "value": 47743206512362496}, {"parameter": "9,1", "name": "generalized_linkage", "value": 47600960192547008}, {"parameter": "9,2", "name": "generalized_linkage", "value": 47573647350372144}, {"parameter": "9,3", "name": "generalized_linkage", "value": 47569468089164662}, {"parameter": "9,4", "name": "generalized_linkage", "value": 47569280356969779}, {"parameter": "9,5", "name": "generalized_linkage", "value": 47569309636651509}, {"parameter": "10,0", "name": "generalized_linkage", "value": 107838366868374528}, {"parameter": "10,1", "name": "generalized_linkage", "value": 104982912500826816}, {"parameter": "10,2", "name": "generalized_linkage", "value": 104981497583748264}, {"parameter": "10,3", "name": "generalized_linkage", "value": 104981378305060180}, {"parameter": "10,4", "name": "generalized_linkage", "value": 104981370370184063}, {"parameter": "10,5", "name": "generalized_linkage", "value": 104981370519822445}, {"parameter": "11,1", "name": "generalized_linkage", "value": 81893174622753472}, {"parameter": "11,2", "name": "generalized_linkage", "value": 81880668335502952}, {"parameter": "11,3", "name": "generalized_linkage", "value": 81880665395151622}, {"parameter": "11,4", "name": "generalized_linkage", "value": 81880665283248578}, {"parameter": "11,5", "name": "generalized_linkage", "value": 81880665282600129}, {"parameter": "12,2", "name": "generalized_linkage", "value": 80468899552748136}, {"parameter": "12,3", "name": "generalized_linkage", "value": 80468887251241878}, {"parameter": "12,4", "name": "generalized_linkage", "value": 80468887249900503}, {"parameter": "12,5", "name": "generalized_linkage", "value": 80468887249902910}, {"parameter": "13,3", "name": "generalized_linkage", "value": 80892501732991382}, {"parameter": "13,4", "name": "generalized_linkage", "value": 80892501730263167}, {"parameter": "13,5", "name": "generalized_linkage", "value": 80892501730263209}, {"parameter": "14,4", "name": "generalized_linkage", "value": 81524474398113919}, {"parameter": "14,5", "name": "generalized_linkage", "value": 81524474398113793}, {"parameter": "15,5", "name": "generalized_linkage", "value": 40644122213971841}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1166713864477095936}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155859197217608640}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1153647324433223016}, {"parameter": "[7, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1153092998167014646}, {"parameter": "[7, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1152956335620078592}, {"parameter": "[7, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1153239036811643631}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19756524307309568}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18543245386809984}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18066102892515112}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 18020299781012974}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 18014977097741659}, {"parameter": "[8, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 18019374368515072}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 47743206512362496}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 47600960192547008}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 47573647350372144}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 47569468089164662}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 47569280356969779}, {"parameter": "[9, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 47569309636651509}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 107838366868374528}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 104982912500826816}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 104981497583748264}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 104981378305060180}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 104981370370184063}, {"parameter": "[10, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 104981370519822445}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 81893174622753472}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 81880668335502952}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 81880665395151622}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 81880665283248578}, {"parameter": "[11, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 81880665282600129}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 80468899552748136}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 80468887251241878}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 80468887249900503}, {"parameter": "[12, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 80468887249902910}, {"parameter": "[13, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 80892501732991382}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 80892501730263167}, {"parameter": "[13, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 80892501730263209}, {"parameter": "[14, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 81524474398113919}, {"parameter": "[14, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 81524474398113793}, {"parameter": "[15, 2],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 40644122213971841}, {"parameter": "[7, 2, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 36384231864270848}, {"parameter": "[7, 2, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 36407922134680576}, {"parameter": "[7, 2, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 50102631865923584}, {"parameter": "[7, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 81555243543822336}, {"parameter": "[7, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 72162340232101888}, {"parameter": "[7, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 72186030502511616}, {"parameter": "[7, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85880740233754624}, {"parameter": "[7, 3, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 81528855264755712}, {"parameter": "[7, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 72135951953035264}, {"parameter": "[7, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 72159642223444992}, {"parameter": "[7, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 85854351954688000}, {"parameter": "[7, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 81677220615028736}, {"parameter": "[7, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 72284317303308288}, {"parameter": "[7, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 72308007573718016}, {"parameter": "[7, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 86002717304961024}, {"parameter": "[7, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 81524697736413184}, {"parameter": "[7, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 72131794424692736}, {"parameter": "[7, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 72155484695102464}, {"parameter": "[7, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85850194426345472}, {"parameter": "[7, 4, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 81530264014028800}, {"parameter": "[7, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 72137360702308352}, {"parameter": "[7, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 72161050972718080}, {"parameter": "[7, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 85855760703961088}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 82174408176697344}, {"parameter": "[7, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 72781504864976896}, {"parameter": "[7, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 72805195135386624}, {"parameter": "[7, 5, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 86499904866629632}, {"parameter": "[7, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 81525650682281984}, {"parameter": "[7, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 72132747370561536}, {"parameter": "[7, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 72156437640971264}, {"parameter": "[7, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 85851147372214272}, {"parameter": "[7, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 81524774777389056}, {"parameter": "[7, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 72131871465668608}, {"parameter": "[7, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 72155561736078336}, {"parameter": "[7, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 85850271467321344}, {"parameter": "[7, 5, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 81530864772579328}, {"parameter": "[7, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 72137961460858880}, {"parameter": "[7, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 72161651731268608}, {"parameter": "[7, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 85856361462511616}, {"parameter": "[7, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 75157109337073664}, {"parameter": "[7, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 74644590560160768}, {"parameter": "[7, 6, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 74740507264746496}, {"parameter": "[7, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 72576923991123968}, {"parameter": "[7, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 72064405214211072}, {"parameter": "[7, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 72160321918796800}, {"parameter": "[7, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 72573421994747904}, {"parameter": "[7, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 72060903217835008}, {"parameter": "[7, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 72156819922420736}, {"parameter": "[7, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 72572196662388736}, {"parameter": "[7, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 72059677885475840}, {"parameter": "[7, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 72155594590061568}, {"parameter": "[7, 6, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 72576843848460288}, {"parameter": "[7, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 72064325071547392}, {"parameter": "[7, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 72160241776133120}, {"parameter": "[7, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 81528501898558464}, {"parameter": "[7, 7, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 81525035029718016}, {"parameter": "[7, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 72081836086115328}, {"parameter": "[7, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 72078369217274880}, {"parameter": "[7, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 72068342924295168}, {"parameter": "[7, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 72064876055454720}, {"parameter": "[7, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 72063377486953472}, {"parameter": "[7, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 72059910618113024}, {"parameter": "[7, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 72061912024448000}, {"parameter": "[7, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 72058445155607552}, {"parameter": "[7, 7, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 72066550149348352}, {"parameter": "[7, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 72063083280507904}, {"parameter": "[7, 8, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 36103334699033600}, {"parameter": "[7, 8, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 36056041667707904}, {"parameter": "[7, 8, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 36036772639169536}, {"parameter": "[7, 8, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 36030730990473984}, {"parameter": "[7, 8, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 36029643424326016}, {"parameter": "[7, 8, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 36034312116919936}, {"parameter": "[8, 2, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 1886827894145024}, {"parameter": "[8, 2, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 577656436605952}, {"parameter": "[8, 2, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 2309473797760000}, {"parameter": "[8, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1882945243709440}, {"parameter": "[8, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 573773786170368}, {"parameter": "[8, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2305591147324416}, {"parameter": "[8, 3, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1882464207372288}, {"parameter": "[8, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 573292749833216}, {"parameter": "[8, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 2305110110987264}, {"parameter": "[8, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1887714268020736}, {"parameter": "[8, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 578542810481664}, {"parameter": "[8, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2310360171635712}, {"parameter": "[8, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1882433874165760}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 573262416626688}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2305079777780736}, {"parameter": "[8, 4, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1882475213225984}, {"parameter": "[8, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 573303755686912}, {"parameter": "[8, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 2305121116840960}, {"parameter": "[8, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1927931351924736}, {"parameter": "[8, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 618759894385664}, {"parameter": "[8, 5, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 2350577255539712}, {"parameter": "[8, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1882471132168192}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 573299674629120}, {"parameter": "[8, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 2305117035783168}, {"parameter": "[8, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1882435163914240}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 573263706375168}, {"parameter": "[8, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 2305081067529216}, {"parameter": "[8, 5, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1882479906652160}, {"parameter": "[8, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 573308449113088}, {"parameter": "[8, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 2305125810267136}, {"parameter": "[8, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 956867606891520}, {"parameter": "[8, 6, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 936250733544448}, {"parameter": "[8, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 594230743944192}, {"parameter": "[8, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 573613870597120}, {"parameter": "[8, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 593929771928576}, {"parameter": "[8, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 573312898581504}, {"parameter": "[8, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 593881129733120}, {"parameter": "[8, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 573264256386048}, {"parameter": "[8, 6, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 593914307185664}, {"parameter": "[8, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 573297433838592}, {"parameter": "[8, 7, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1892738284307456}, {"parameter": "[8, 7, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 576094267778048}, {"parameter": "[8, 7, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 573727735445504}, {"parameter": "[8, 7, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 573318537911808}, {"parameter": "[8, 7, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 573262965533568}, {"parameter": "[8, 7, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 573296760650368}, {"parameter": "[9, 2, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 917239668376576}, {"parameter": "[9, 2, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 917239668376576}, {"parameter": "[9, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 917213630137344}, {"parameter": "[9, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 917213630137344}, {"parameter": "[9, 3, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 917205577073664}, {"parameter": "[9, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 917205577073664}, {"parameter": "[9, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 917378696971264}, {"parameter": "[9, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 917378696971264}, {"parameter": "[9, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 917205373649920}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 917205373649920}, {"parameter": "[9, 4, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 917205663056896}, {"parameter": "[9, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 917205663056896}, {"parameter": "[9, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 920209124066304}, {"parameter": "[9, 5, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 920209124066304}, {"parameter": "[9, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 917206663234560}, {"parameter": "[9, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 917206663234560}, {"parameter": "[9, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 917205394473984}, {"parameter": "[9, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 917205394473984}, {"parameter": "[9, 5, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 917205699724288}, {"parameter": "[9, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 917205699724288}, {"parameter": "[9, 6, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 941206542017536}, {"parameter": "[9, 6, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 917228775946240}, {"parameter": "[9, 6, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 917207097128704}, {"parameter": "[9, 6, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 917205403354368}, {"parameter": "[9, 6, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 917205613667456}, {"parameter": "[10, 2, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 3677163871601664}, {"parameter": "[10, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3677163735286784}, {"parameter": "[10, 3, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 3677163605263360}, {"parameter": "[10, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3677169152590848}, {"parameter": "[10, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3677163604198400}, {"parameter": "[10, 4, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 3677163605935104}, {"parameter": "[10, 5, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 3677260067977216}, {"parameter": "[10, 5, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 3677163646521088}, {"parameter": "[10, 5, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 3677163604529024}, {"parameter": "[10, 5, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 3677163606221568}, {"parameter": "[7, 2, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 10108171048845312}, {"parameter": "[7, 2, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 10108171048845312}, {"parameter": "[7, 2, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 715267737124864}, {"parameter": "[7, 2, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 715267737124864}, {"parameter": "[7, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19496916832223232}, {"parameter": "[7, 3, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19496710673793024}, {"parameter": "[7, 3, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 10104013520502784}, {"parameter": "[7, 3, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 10104013520502784}, {"parameter": "[7, 3, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 10103807362072576}, {"parameter": "[7, 3, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 10103807362072576}, {"parameter": "[8, 2, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 2643392194674688}, {"parameter": "", "name": "JohnsonLB", "value": 1280790340734869382}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 80429186592701086}], "request": [2, 17, 4, 7], "liftedmrdsizebound": 1438146670175355251, "comments": "", "equal_bound_constraints": []}