{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 31627961868755063955}, {"parameter": "", "name": "singleton", "value": 61291693863308051}, {"parameter": "6", "name": "ilp_2", "value": 30916873771999085}, {"parameter": "8", "name": "ilp_3", "value": 124031223014725741}, {"parameter": "", "name": "anticode", "value": 30916873771999085}, {"parameter": "", "name": "linear_programming_bound", "value": 30916873771999085}, {"parameter": "", "name": "sphere_packing", "value": 31627961868755063955}, {"parameter": "1", "name": "ilp_1", "value": 30856459753637301}, {"parameter": "2", "name": "ilp_1", "value": 30856459753638448}, {"parameter": "3", "name": "ilp_1", "value": 30856459753880865}, {"parameter": "4", "name": "ilp_1", "value": 30856459753880865}, {"parameter": "5", "name": "ilp_1", "value": 30856459753880865}, {"parameter": "9", "name": "ilp_4", "value": 123060332815001860}, {"parameter": "10", "name": "ilp_4", "value": 123054638444328993}, {"parameter": "11", "name": "ilp_4", "value": 123054555685400064}, {"parameter": "12", "name": "ilp_4", "value": 123054555542743000}, {"parameter": "13", "name": "ilp_4", "value": 123054555541663188}, {"parameter": "14", "name": "ilp_4", "value": 123054555541663188}, {"parameter": "15", "name": "ilp_4", "value": 61893540856806957}, {"parameter": "", "name": "johnson_1", "value": 30856459753637301}, {"parameter": "", "name": "johnson_2", "value": 61893540856806957}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 31627961868755063955}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 124031223014725741}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 123060332815001860}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 123054638444328993}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 123054555685400064}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 123054555542743000}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 123054555541663188}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 123054555541663188}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 61893540856806957}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 30916873771999085}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 30946886685403082}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 31007087664573872}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 31128195021132317}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 31373270202778179}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 31875182774525993}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 32928778250509440}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 35259712228266515}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 41074855122985685}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 61291693863308051}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 31627961868755063955}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 30916873771999085}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 30856459753880865}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 30856459753880865}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 30856459753880865}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 30856459753638448}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 30856459753637301}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 124031223014725741}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 124518575560952561}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 125504861307970007}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 127525060282746184}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 131767058129989300}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 141158028865311478}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 164623259637726892}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 246614610741341843}, {"parameter": "", "name": "improved_johnson", "value": 30856459753637299}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 62014900740839912}], "known_codes": [], "upper_bound": 30856459753637299, "classified": false, "lower_bound": 20292393418647653, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 18014398509481984}, {"parameter": "", "name": "sphere_covering", "value": 243676273113411}, {"parameter": "", "name": "graham_sloane", "value": 482611762703213}, {"parameter": "", "name": "multicomponent", "value": 18018796824444929}, {"parameter": "", "name": "construction_ST_B", "value": 19294151875808461}, {"parameter": "q^54 + q^50 + q^48 + 8*q^46 + 2*q^44 + 9*q^42 + 4*q^41 + 7*q^40 + 10*q^39 + 28*q^38 + q^37 + 8*q^36 + 3*q^35 + 19*q^34 + 9*q^33 + 14*q^32 + 15*q^31 + 46*q^30 + 7*q^29 + 25*q^28 + 8*q^27 + 55*q^26 + 37*q^25 + 63*q^24 + 37*q^23 + 57*q^22 + 8*q^21 + 23*q^20 + 7*q^19 + 24*q^18 + 15*q^17 + 25*q^16 + 21*q^15 + 15*q^14 + 13*q^13 + 11*q^12 + 11*q^11 + 24*q^10 + 14*q^9 + 21*q^8 + 4*q^7 + 4*q^6", "name": "greedy_multicomponent", "value": 20090530823175168}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 18188333957743616}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 19389000655275008}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 19294151495120488}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 20093092605969267}, {"parameter": "", "name": "two_pivot_block_construction", "value": 19215340084920320}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 660600092427095}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 19295090111414441}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 18112048682042368}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 18112048782705664}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 18112048665265152}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 18112048648619008}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 291783415481344}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 291783480493056}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 291783480493056}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 291783415481344}, {"parameter": "(7,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 917205308769280}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 917205325415424}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 917205442855936}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 917205342192640}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 18112048648487936}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 291783413384192}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 917205308638208}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 18112048648487936}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 291783413384192}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 917205308638208}, {"parameter": "7", "name": "linkage_GLT", "value": 18014398509482153}, {"parameter": "8", "name": "linkage_GLT", "value": 281474976710657}, {"parameter": "9", "name": "linkage_GLT", "value": 743269860376577}, {"parameter": "7", "name": "improved_linkage", "value": 18019374368515072}, {"parameter": "8", "name": "improved_linkage", "value": 281513549261301}, {"parameter": "9", "name": "improved_linkage", "value": 743270160146541}, {"parameter": "10", "name": "improved_linkage", "value": 820166957227201}, {"parameter": "11", "name": "improved_linkage", "value": 639692697525566}, {"parameter": "12", "name": "improved_linkage", "value": 628663181639849}, {"parameter": "13", "name": "improved_linkage", "value": 631972669767681}, {"parameter": "14", "name": "improved_linkage", "value": 636909956235265}, {"parameter": "7,0", "name": "generalized_linkage", "value": 18112048648487936}, {"parameter": "7,1", "name": "generalized_linkage", "value": 18043824240142464}, {"parameter": "7,2", "name": "generalized_linkage", "value": 18020168461801480}, {"parameter": "7,3", "name": "generalized_linkage", "value": 18015731286746374}, {"parameter": "7,4", "name": "generalized_linkage", "value": 18014668517336499}, {"parameter": "7,5", "name": "generalized_linkage", "value": 18019374368515072}, {"parameter": "8,0", "name": "generalized_linkage", "value": 291783413384192}, {"parameter": "8,1", "name": "generalized_linkage", "value": 285219221464256}, {"parameter": "8,2", "name": "generalized_linkage", "value": 281992879517616}, {"parameter": "8,3", "name": "generalized_linkage", "value": 281521889255782}, {"parameter": "8,4", "name": "generalized_linkage", "value": 281479473260131}, {"parameter": "8,5", "name": "generalized_linkage", "value": 281513549261301}, {"parameter": "9,0", "name": "generalized_linkage", "value": 917205308638208}, {"parameter": "9,1", "name": "generalized_linkage", "value": 743457370012352}, {"parameter": "9,2", "name": "generalized_linkage", "value": 743300844556712}, {"parameter": "9,3", "name": "generalized_linkage", "value": 743271833900436}, {"parameter": "9,4", "name": "generalized_linkage", "value": 743269934250847}, {"parameter": "9,5", "name": "generalized_linkage", "value": 743270160146541}, {"parameter": "10,1", "name": "generalized_linkage", "value": 821709235618496}, {"parameter": "10,2", "name": "generalized_linkage", "value": 820167708475496}, {"parameter": "10,3", "name": "generalized_linkage", "value": 820167012086150}, {"parameter": "10,4", "name": "generalized_linkage", "value": 820166956347970}, {"parameter": "10,5", "name": "generalized_linkage", "value": 820166957227201}, {"parameter": "11,2", "name": "generalized_linkage", "value": 639695752787560}, {"parameter": "11,3", "name": "generalized_linkage", "value": 639692698181782}, {"parameter": "11,4", "name": "generalized_linkage", "value": 639692697523159}, {"parameter": "11,5", "name": "generalized_linkage", "value": 639692697525566}, {"parameter": "12,3", "name": "generalized_linkage", "value": 628663183002518}, {"parameter": "12,4", "name": "generalized_linkage", "value": 628663181639807}, {"parameter": "12,5", "name": "generalized_linkage", "value": 628663181639849}, {"parameter": "13,4", "name": "generalized_linkage", "value": 631972669767807}, {"parameter": "13,5", "name": "generalized_linkage", "value": 631972669767681}, {"parameter": "14,5", "name": "generalized_linkage", "value": 636909956235265}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18112048648487936}, {"parameter": "[7, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18043824240142464}, {"parameter": "[7, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18020168461801480}, {"parameter": "[7, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 18015731286746374}, {"parameter": "[7, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 18014668517336499}, {"parameter": "[7, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 18019374368515072}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 291783413384192}, {"parameter": "[8, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 285219221464256}, {"parameter": "[8, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 281992879517616}, {"parameter": "[8, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 281521889255782}, {"parameter": "[8, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 281479473260131}, {"parameter": "[8, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 281513549261301}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 917205308638208}, {"parameter": "[9, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 743457370012352}, {"parameter": "[9, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 743300844556712}, {"parameter": "[9, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 743271833900436}, {"parameter": "[9, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 743269934250847}, {"parameter": "[9, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 743270160146541}, {"parameter": "[10, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 821709235618496}, {"parameter": "[10, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 820167708475496}, {"parameter": "[10, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 820167012086150}, {"parameter": "[10, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 820166956347970}, {"parameter": "[10, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 820166957227201}, {"parameter": "[11, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 639695752787560}, {"parameter": "[11, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 639692698181782}, {"parameter": "[11, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 639692697523159}, {"parameter": "[11, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 639692697525566}, {"parameter": "[12, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 628663183002518}, {"parameter": "[12, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 628663181639807}, {"parameter": "[12, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 628663181639849}, {"parameter": "[13, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 631972669767807}, {"parameter": "[13, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 631972669767681}, {"parameter": "[14, 2],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 636909956235265}, {"parameter": "[7, 2, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 641307868528640}, {"parameter": "[7, 2, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 567925811405824}, {"parameter": "[7, 2, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 664998138938368}, {"parameter": "[7, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 637150340186112}, {"parameter": "[7, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 563768283063296}, {"parameter": "[7, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 660840610595840}, {"parameter": "[7, 3, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 636944181755904}, {"parameter": "[7, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 563562124633088}, {"parameter": "[7, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 660634452165632}, {"parameter": "[7, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 638103286054912}, {"parameter": "[7, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 564721228932096}, {"parameter": "[7, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 661793556464640}, {"parameter": "[7, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 636911701065728}, {"parameter": "[7, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 563529643942912}, {"parameter": "[7, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 660601971475456}, {"parameter": "[7, 4, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 636955187609600}, {"parameter": "[7, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 563573130486784}, {"parameter": "[7, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 660645458019328}, {"parameter": "[7, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 641987563880448}, {"parameter": "[7, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 568605506757632}, {"parameter": "[7, 5, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 665677834290176}, {"parameter": "[7, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 636919145955328}, {"parameter": "[7, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 563537088832512}, {"parameter": "[7, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 660609416365056}, {"parameter": "[7, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 636912302948352}, {"parameter": "[7, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 563530245825536}, {"parameter": "[7, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 660602573358080}, {"parameter": "[7, 5, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 636959881035776}, {"parameter": "[7, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 563577823912960}, {"parameter": "[7, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 660650151445504}, {"parameter": "[7, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 584880755715072}, {"parameter": "[7, 6, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 583725132768256}, {"parameter": "[7, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 564723057699840}, {"parameter": "[7, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 563567434753024}, {"parameter": "[7, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 564695698353152}, {"parameter": "[7, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 563540075406336}, {"parameter": "[7, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 564686125444096}, {"parameter": "[7, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 563530502497280}, {"parameter": "[7, 6, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 564722431585280}, {"parameter": "[7, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 563566808638464}, {"parameter": "[7, 7, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 637487633490944}, {"parameter": "[7, 7, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 563685556831232}, {"parameter": "[7, 7, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 563580141504512}, {"parameter": "[7, 7, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 563541349025280}, {"parameter": "[7, 7, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 563529900099456}, {"parameter": "[7, 7, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 563566135450240}, {"parameter": "[8, 2, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 14740842923008}, {"parameter": "[8, 2, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 14740842923008}, {"parameter": "[8, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 14710509716480}, {"parameter": "[8, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 14710509716480}, {"parameter": "[8, 3, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 14706751620096}, {"parameter": "[8, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 14706751620096}, {"parameter": "[8, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 14747767718912}, {"parameter": "[8, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 14747767718912}, {"parameter": "[8, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 14706514641920}, {"parameter": "[8, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 14706514641920}, {"parameter": "[8, 4, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 14706837603328}, {"parameter": "[8, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 14706837603328}, {"parameter": "[8, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 15061963686912}, {"parameter": "[8, 5, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 15061963686912}, {"parameter": "[8, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 14706805720064}, {"parameter": "[8, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 14706805720064}, {"parameter": "[8, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 14706524718080}, {"parameter": "[8, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 14706524718080}, {"parameter": "[8, 5, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 14706874270720}, {"parameter": "[8, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 14706874270720}, {"parameter": "[8, 6, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 17542360867840}, {"parameter": "[8, 6, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 14709260376064}, {"parameter": "[8, 6, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 14706909032192}, {"parameter": "[8, 6, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 14706529015040}, {"parameter": "[8, 6, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 14706788213888}, {"parameter": "[9, 2, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 179742512481280}, {"parameter": "[9, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 179742309057536}, {"parameter": "[9, 3, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 179742246142976}, {"parameter": "[9, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 179743598642176}, {"parameter": "[9, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 179742244553728}, {"parameter": "[9, 4, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 179742246814720}, {"parameter": "[9, 5, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 179765711353856}, {"parameter": "[9, 5, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 179742254628608}, {"parameter": "[9, 5, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 179742244716416}, {"parameter": "[9, 5, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 179742247101184}, {"parameter": "[7, 2, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 152352143441920}, {"parameter": "", "name": "JohnsonLB", "value": 20292393418647653}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 2513531356470938}], "request": [2, 16, 4, 7], "liftedmrdsizebound": 22457957014151747, "comments": "", "equal_bound_constraints": []}