{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 61291693863308051}, {"parameter": "", "name": "singleton", "value": 117843461817939}, {"parameter": "5", "name": "ilp_2", "value": 59913679240770}, {"parameter": "7", "name": "ilp_3", "value": 482611762703213}, {"parameter": "", "name": "anticode", "value": 59913679240770}, {"parameter": "", "name": "linear_programming_bound", "value": 59913679240770}, {"parameter": "", "name": "sphere_packing", "value": 61291693863308051}, {"parameter": "1", "name": "ilp_1", "value": 59796603169483}, {"parameter": "2", "name": "ilp_1", "value": 59796603169953}, {"parameter": "3", "name": "ilp_1", "value": 59796603169953}, {"parameter": "4", "name": "ilp_1", "value": 59796603169953}, {"parameter": "8", "name": "ilp_4", "value": 482611762703213}, {"parameter": "9", "name": "ilp_4", "value": 482611762703213}, {"parameter": "10", "name": "ilp_4", "value": 482611762703213}, {"parameter": "11", "name": "ilp_4", "value": 482611762703213}, {"parameter": "12", "name": "ilp_4", "value": 482611762703213}, {"parameter": "13", "name": "ilp_4", "value": 238466904002307}, {"parameter": "14", "name": "ilp_4", "value": 119943231690157}, {"parameter": "", "name": "johnson_1", "value": 59796603169483}, {"parameter": "", "name": "johnson_2", "value": 119943231690157}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 61291693863308051}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 482611762703213}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 482611762703213}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 482611762703213}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 482611762703213}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 482611762703213}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 482611762703213}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 238466904002307}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 119943231690157}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 59913679240770}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 59971371758094}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 60087090758109}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 60319873676300}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 60790892699639}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 61755349103401}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 63779077901465}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 68252350214554}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 79388488936623}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 117843461817939}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 61291693863308051}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 59913679240770}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 59796603169953}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 59796603169953}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 59796603169953}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 59796603169483}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 482611762703213}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 486434459815652}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 494264452540761}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 510705815776907}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 547103875559425}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 638051939701966}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 955841412523283}, {"parameter": "", "name": "improved_johnson", "value": 59796603169481}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 241303115723112}], "known_codes": [], "upper_bound": 59796603169481, "classified": false, "lower_bound": 39324543589822, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 35184372088832}, {"parameter": "", "name": "sphere_covering", "value": 951926535843}, {"parameter": "", "name": "graham_sloane", "value": 1870531139968}, {"parameter": "", "name": "multicomponent", "value": 35218748608513}, {"parameter": "", "name": "construction_ST_B", "value": 37676560416768}, {"parameter": "q^45 + q^41 + q^39 + 8*q^37 + 3*q^35 + 3*q^34 + 5*q^33 + q^32 + 5*q^31 + 9*q^30 + 18*q^29 + 3*q^28 + 7*q^27 + 7*q^26 + 10*q^25 + 2*q^24 + 11*q^23 + 13*q^22 + 34*q^21 + 12*q^20 + 25*q^19 + 10*q^18 + 10*q^17 + 17*q^16 + 14*q^15 + 16*q^14 + 17*q^13 + 9*q^12 + 6*q^11 + 5*q^10 + 4*q^9 + 2*q^8 + 3*q^7 + 5*q^6 + 6*q^5 + 5*q^4 + 3*q^3 + 2*q^2 + q + 1", "name": "greedy_multicomponent", "value": 39267424469491}, {"parameter": "", "name": "EF_special", "value": 39267675031563}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 35269572321216}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 37640394268608}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 37676560749430}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 39273527139056}, {"parameter": "", "name": "two_pivot_block_construction", "value": 37529961103360}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 5228165063710}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 37713210251106}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 36014499036032}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 36014492744576}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 36014490680192}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1204297432768}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1204299529920}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1204295597760}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 2930960758720}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 2930964690880}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 2930962593728}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 6512618823616}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 6512620888000}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 6512627179456}, {"parameter": "(6, 9)", "name": "CKMP2019_Lem_41", "value": 36014490647424}, {"parameter": "(7, 8)", "name": "CKMP2019_Lem_41", "value": 1204295335616}, {"parameter": "(8, 7)", "name": "CKMP2019_Lem_41", "value": 2930960496576}, {"parameter": "(9, 6)", "name": "CKMP2019_Lem_41", "value": 6512618790848}, {"parameter": "(6, 9)", "name": "CKMP2019_Cor_42", "value": 36014490647424}, {"parameter": "(7, 8)", "name": "CKMP2019_Cor_42", "value": 1204295335616}, {"parameter": "(8, 7)", "name": "CKMP2019_Cor_42", "value": 2930960496576}, {"parameter": "(9, 6)", "name": "CKMP2019_Cor_42", "value": 6512618790848}, {"parameter": "6", "name": "linkage_GLT", "value": 35184372094818}, {"parameter": "7", "name": "linkage_GLT", "value": 1099511627861}, {"parameter": "8", "name": "linkage_GLT", "value": 2920577761281}, {"parameter": "9", "name": "linkage_GLT", "value": 6427418558465}, {"parameter": "6", "name": "improved_linkage", "value": 35222944639477}, {"parameter": "7", "name": "improved_linkage", "value": 1100724118857}, {"parameter": "8", "name": "improved_linkage", "value": 2920596489323}, {"parameter": "9", "name": "improved_linkage", "value": 6427418859677}, {"parameter": "10", "name": "improved_linkage", "value": 5053515568994}, {"parameter": "11", "name": "improved_linkage", "value": 4909444104277}, {"parameter": "12", "name": "improved_linkage", "value": 4966363467777}, {"parameter": "13", "name": "improved_linkage", "value": 2468643241281}, {"parameter": "6,0", "name": "generalized_linkage", "value": 36014490647424}, {"parameter": "6,1", "name": "generalized_linkage", "value": 35357911741800}, {"parameter": "6,2", "name": "generalized_linkage", "value": 35225686151690}, {"parameter": "6,3", "name": "generalized_linkage", "value": 35192859526399}, {"parameter": "6,4", "name": "generalized_linkage", "value": 35222944639477}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1204295335616}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1130269754960}, {"parameter": "7,2", "name": "generalized_linkage", "value": 1102453273934}, {"parameter": "7,3", "name": "generalized_linkage", "value": 1099792548421}, {"parameter": "7,4", "name": "generalized_linkage", "value": 1100724118857}, {"parameter": "8,0", "name": "generalized_linkage", "value": 2930960496576}, {"parameter": "8,1", "name": "generalized_linkage", "value": 2922421989960}, {"parameter": "8,2", "name": "generalized_linkage", "value": 2920823271084}, {"parameter": "8,3", "name": "generalized_linkage", "value": 2920587098883}, {"parameter": "8,4", "name": "generalized_linkage", "value": 2920596489323}, {"parameter": "9,0", "name": "generalized_linkage", "value": 6512618790848}, {"parameter": "9,1", "name": "generalized_linkage", "value": 6427507655720}, {"parameter": "9,2", "name": "generalized_linkage", "value": 6427425586094}, {"parameter": "9,3", "name": "generalized_linkage", "value": 6427418935582}, {"parameter": "9,4", "name": "generalized_linkage", "value": 6427418859677}, {"parameter": "10,1", "name": "generalized_linkage", "value": 5053876595240}, {"parameter": "10,2", "name": "generalized_linkage", "value": 5053515729014}, {"parameter": "10,3", "name": "generalized_linkage", "value": 5053515568363}, {"parameter": "10,4", "name": "generalized_linkage", "value": 5053515568994}, {"parameter": "11,2", "name": "generalized_linkage", "value": 4909444436854}, {"parameter": "11,3", "name": "generalized_linkage", "value": 4909444104255}, {"parameter": "11,4", "name": "generalized_linkage", "value": 4909444104277}, {"parameter": "12,3", "name": "generalized_linkage", "value": 4966363467839}, {"parameter": "12,4", "name": "generalized_linkage", "value": 4966363467777}, {"parameter": "13,4", "name": "generalized_linkage", "value": 2468643241281}, {"parameter": "[6, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 36014490647424}, {"parameter": "[6, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 35357911741800}, {"parameter": "[6, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 35225686151690}, {"parameter": "[6, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 35192859526399}, {"parameter": "[6, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 35222944639477}, {"parameter": "[7, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1204295335616}, {"parameter": "[7, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1130269754960}, {"parameter": "[7, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1102453273934}, {"parameter": "[7, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1099792548421}, {"parameter": "[7, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1100724118857}, {"parameter": "[8, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2930960496576}, {"parameter": "[8, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2922421989960}, {"parameter": "[8, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2920823271084}, {"parameter": "[8, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2920587098883}, {"parameter": "[8, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2920596489323}, {"parameter": "[9, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6512618790848}, {"parameter": "[9, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6427507655720}, {"parameter": "[9, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6427425586094}, {"parameter": "[9, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6427418935582}, {"parameter": "[9, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6427418859677}, {"parameter": "[10, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5053876595240}, {"parameter": "[10, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5053515729014}, {"parameter": "[10, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5053515568363}, {"parameter": "[10, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5053515568994}, {"parameter": "[11, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4909444436854}, {"parameter": "[11, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4909444104255}, {"parameter": "[11, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4909444104277}, {"parameter": "[12, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4966363467839}, {"parameter": "[12, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4966363467777}, {"parameter": "[13, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2468643241281}, {"parameter": "[6, 2, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 2242258300928}, {"parameter": "[6, 2, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2245170511040}, {"parameter": "[6, 2, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3063501552512}, {"parameter": "[6, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 4973582352384}, {"parameter": "[6, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 4414438010880}, {"parameter": "[6, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4417350220992}, {"parameter": "[6, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5235681262464}, {"parameter": "[6, 3, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 4967139901440}, {"parameter": "[6, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 4407995559936}, {"parameter": "[6, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4410907770048}, {"parameter": "[6, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5229238811520}, {"parameter": "[6, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5003076698112}, {"parameter": "[6, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4443932356608}, {"parameter": "[6, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4446844566720}, {"parameter": "[6, 4, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5265175608192}, {"parameter": "[6, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 4966183600128}, {"parameter": "[6, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4407039258624}, {"parameter": "[6, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4409951468736}, {"parameter": "[6, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5228282510208}, {"parameter": "[6, 4, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 4967492222976}, {"parameter": "[6, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4408347881472}, {"parameter": "[6, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4411260091584}, {"parameter": "[6, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5229591133056}, {"parameter": "[6, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4610372195712}, {"parameter": "[6, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 4549493136704}, {"parameter": "[6, 5, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4560864623808}, {"parameter": "[6, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4459919889792}, {"parameter": "[6, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4399040830784}, {"parameter": "[6, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4410412317888}, {"parameter": "[6, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4459497575808}, {"parameter": "[6, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4398618516800}, {"parameter": "[6, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4409990003904}, {"parameter": "[6, 5, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4460910794112}, {"parameter": "[6, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4400031735104}, {"parameter": "[6, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4411403222208}, {"parameter": "[6, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4967036896320}, {"parameter": "[6, 6, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4966204836288}, {"parameter": "[6, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 4401377100864}, {"parameter": "[6, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4400545040832}, {"parameter": "[6, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4399785288768}, {"parameter": "[6, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398953228736}, {"parameter": "[6, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4399188878400}, {"parameter": "[6, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4398356818368}, {"parameter": "[6, 6, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4400251016256}, {"parameter": "[6, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4399418956224}, {"parameter": "[6, 7, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2208037239232}, {"parameter": "[6, 7, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2202296112064}, {"parameter": "[6, 7, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2200007059648}, {"parameter": "[6, 7, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2199296875648}, {"parameter": "[6, 7, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2200360526976}, {"parameter": "[7, 2, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 148689186816}, {"parameter": "[7, 2, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 71025968064}, {"parameter": "[7, 2, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 174576926400}, {"parameter": "[7, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 147867103232}, {"parameter": "[7, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 70203884480}, {"parameter": "[7, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 173754842816}, {"parameter": "[7, 3, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 147632222208}, {"parameter": "[7, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 69969003456}, {"parameter": "[7, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 173519961792}, {"parameter": "[7, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 150175543296}, {"parameter": "[7, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 72512324544}, {"parameter": "[7, 4, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 176063282880}, {"parameter": "[7, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 147619377152}, {"parameter": "[7, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 69956158400}, {"parameter": "[7, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 173507116736}, {"parameter": "[7, 4, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 147637727232}, {"parameter": "[7, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 69974508480}, {"parameter": "[7, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 173525466816}, {"parameter": "[7, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 93464382272}, {"parameter": "[7, 5, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 90998883264}, {"parameter": "[7, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 72457726784}, {"parameter": "[7, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 69992227776}, {"parameter": "[7, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 72422947648}, {"parameter": "[7, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 69957448640}, {"parameter": "[7, 5, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 72442243904}, {"parameter": "[7, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 69976744896}, {"parameter": "[7, 6, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 148848194496}, {"parameter": "[7, 6, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 70281080256}, {"parameter": "[7, 6, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 70005353280}, {"parameter": "[7, 6, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 69957972800}, {"parameter": "[7, 6, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 69971503872}, {"parameter": "[8, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 101667567552}, {"parameter": "[8, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 101667567552}, {"parameter": "[8, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 101658916800}, {"parameter": "[8, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 101658916800}, {"parameter": "[8, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 101651052480}, {"parameter": "[8, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 101651052480}, {"parameter": "[8, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 101818783680}, {"parameter": "[8, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 101818783680}, {"parameter": "[8, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 101650917312}, {"parameter": "[8, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 101650917312}, {"parameter": "[8, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 101651138496}, {"parameter": "[8, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 101651138496}, {"parameter": "[8, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 103039386048}, {"parameter": "[8, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 101653415232}, {"parameter": "[8, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 101650958976}, {"parameter": "[8, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 101651173440}, {"parameter": "[9, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 185628909504}, {"parameter": "[9, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 185628905408}, {"parameter": "[9, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 185628651456}, {"parameter": "[9, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 185633938752}, {"parameter": "[9, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 185628651392}, {"parameter": "[9, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 185628652800}, {"parameter": "[6, 2, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 646688174080}, {"parameter": "[6, 2, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 646688174080}, {"parameter": "[6, 2, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 87543832576}, {"parameter": "[6, 2, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 87543832576}, {"parameter": "[6, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1204876214272}, {"parameter": "[6, 3, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1204775550976}, {"parameter": "[6, 3, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 645731872768}, {"parameter": "[6, 3, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 645731872768}, {"parameter": "[6, 3, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 645631209472}, {"parameter": "[6, 3, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 645631209472}, {"parameter": "[7, 2, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 158882455552}, {"parameter": "", "name": "JohnsonLB", "value": 39324543589822}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 2504897173632}], "request": [2, 15, 4, 6], "liftedmrdsizebound": 43657947377181, "comments": "", "equal_bound_constraints": []}