{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 11139400931888491774654283973798761927634476978556}, {"parameter": "", "name": "singleton", "value": 48506384092648824056}, {"parameter": "2", "name": "ilp_2", "value": 37324547004688357120}, {"parameter": "3", "name": "ilp_2", "value": 229648140966596511656127531424}, {"parameter": "4", "name": "ilp_2", "value": 1460063558992331756588547036013644832655}, {"parameter": "6", "name": "ilp_3", "value": 2851869158189578027305244232923390150444054526}, {"parameter": "7", "name": "ilp_3", "value": 876105419545208548657593845555288561910005}, {"parameter": "8", "name": "ilp_3", "value": 278111616346168847878117158312996082362}, {"parameter": "", "name": "anticode", "value": 37324547004688357120}, {"parameter": "", "name": "linear_programming_bound", "value": 37324547004688357120}, {"parameter": "", "name": "sphere_packing", "value": 1869479589223380500634296717670494473}, {"parameter": "1", "name": "ilp_1", "value": 37324546918976960122}, {"parameter": "9", "name": "ilp_4", "value": 277755633294982429545386981992505171285}, {"parameter": "10", "name": "ilp_4", "value": 277755633294982429545386981992505171285}, {"parameter": "11", "name": "ilp_4", "value": 2222755893324627514915789188201175308}, {"parameter": "12", "name": "ilp_4", "value": 17784322811499590280052201123465417}, {"parameter": "13", "name": "ilp_4", "value": 142381937780922332521809515308663}, {"parameter": "14", "name": "ilp_4", "value": 1139052590995222920828799118045}, {"parameter": "15", "name": "ilp_4", "value": 9112425386086826093987126925}, {"parameter": "16", "name": "ilp_4", "value": 72899417994627606798824812}, {"parameter": "17", "name": "ilp_4", "value": 583196047516974133687499}, {"parameter": "18", "name": "ilp_4", "value": 4665568361056201628874}, {"parameter": "", "name": "johnson_1", "value": 37324546918976960122}, {"parameter": "", "name": "johnson_2", "value": 4665568361056201628874}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 11139400931888491774654283973798761927634476978556}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 2851869158189578027305244232923390150444054526}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 876105419545208548657593845555288561910005}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 278111616346168847878117158312996082362}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 277755633294982429545386981992505171285}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 277755633294982429545386981992505171285}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 2222755893324627514915789188201175308}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 17784322811499590280052201123465417}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 142381937780922332521809515308663}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1139052590995222920828799118045}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 9112425386086826093987126925}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 72899417994627606798824812}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 583196047516974133687499}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 4665568361056201628874}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 1460063558992331756588547036013644832655}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 1869479589223380500634296717670494473}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 2871704440010743333471335258479050}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 2853325305679440436211599205849881}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 2853325352368465476246444466899817}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 114388331281760179998681092320652}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 4593035627036390034716776459426}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 183710140183330017370718705257}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 7348611408019396320315046582}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 293968446437198654705119546}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 11761739227323187813031757}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 471072028663974699217958}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 18964295835873879738855}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 783823834734676055228}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 37613511164973253443}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 229648140966596511656127531424}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 1472103467964650635682258932}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 1424981078938404168457773357}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 1424981084505739498148029968}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 294043721594466939754401399}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 58718418672504611117489241}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 11758142499055620932065047}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 2351489757363023404406219}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 470326811368458780484177}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 94070873780358854422705}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 18819956247215386136949}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 3769744445832727740984}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 759748207899500187379}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 157986792529120076660}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 39118051688850566901}, {"parameter": "3, 2", "name": "Ahlswede_Aydinian", "value": 37324547004688357120}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 37324547010559000751}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 37324547039912218928}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 37324547186678310395}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 37324547920508782175}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 37324551589661502227}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 37324569935434131361}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 37324661664522999461}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 37325120315610469974}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 37327413712134745727}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 37338884223013639985}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 37396325119609019423}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 37685755259341266316}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 39190770468660922304}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 48506384092648824056}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 11139400931888491774654283973798761927634476978556}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1460063558992331756588547036013644832655}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 229648140966596511656127531424}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 37324547004688357120}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 37324546918976960122}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 2851869158189578027305244232923390150444054526}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1869479589223380500634296717670494473}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1472103467964650635682258932}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1481600904832270935077375447}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 1530987601626300801535151170}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 1837185121700740006760268751}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 876105419545208548657593845555288561910005}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 2871704440010743333471335258479050}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 2876122446827026182476437721389868}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 2898389201180432424991121397909144}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 3014324768829395396965748204974210}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 3737762710286671044279965021773276}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 278111616346168847878117158312996082362}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 278199928356058039963071895428951499994}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 278642194901569735947212312874355426874}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 280871332423911288913056173021052097100}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 292480680631112255427058752288297091944}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 365015887882785053079719041834672291056}, {"parameter": "", "name": "improved_johnson", "value": 37324546918976960111}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 364520857482675368457921299}], "known_codes": [], "upper_bound": 37324546918976960111, "classified": false, "lower_bound": 37252998358213203156, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 37252902984619140625}, {"parameter": "", "name": "sphere_covering", "value": 1838104362586345}, {"parameter": "", "name": "graham_sloane", "value": 6421427442}, {"parameter": "", "name": "multicomponent", "value": 37252998352294921876}, {"parameter": "", "name": "construction_ST_A_1", "value": 37252998358167011556}, {"parameter": "[(0, 1, 2, 3, 4), (4, 5, 6, 7, 8), (2, 6, 9, 10, 11), (3, 8, 11, 12, 13), (0, 5, 10, 12, 14), (1, 7, 9, 12, 15), (1, 6, 13, 14, 16), (4, 10, 13, 15, 17), (2, 8, 14, 15, 18), (0, 8, 9, 16, 17), (3, 7, 10, 16, 18), (1, 5, 11, 17, 18)]", "name": "ef_computation", "value": 37252998358166409556}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 37252902984619140625}, {"parameter": "(5, 14)", "name": "CKMP2019_Lem_41", "value": 37252906799326172001}, {"parameter": "(6, 13)", "name": "CKMP2019_Lem_41", "value": 1490116271973046876}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 59604650878906876}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 2384186035156251}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 298118591318359376}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 37252906799316409376}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 37252903137207031251}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 37252906805419921876}, {"parameter": "(13, 6)", "name": "CKMP2019_Lem_41", "value": 37252998352294921876}, {"parameter": "(14, 5)", "name": "CKMP2019_Lem_41", "value": 37252998353281250001}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Lem_41", "value": 37252906799316409376}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Lem_41", "value": 37252903137207031251}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Lem_41", "value": 37252902990722656251}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Lem_41", "value": 37252902984863281251}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Lem_41", "value": 37252903015146484376}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Lem_41", "value": 1490116271972656251}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Lem_41", "value": 1490116125488281251}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Lem_41", "value": 1490116119628906251}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Lem_41", "value": 1490116119394531251}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Lem_41", "value": 59604650878906251}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Lem_41", "value": 59604645019531251}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Lem_41", "value": 59604644785156251}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Lem_41", "value": 2384186035156251}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Lem_41", "value": 2384185800781251}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Lem_41", "value": 298118591318359376}, {"parameter": "(5, 14)", "name": "CKMP2019_Cor_42", "value": 37252906799326172001}, {"parameter": "(6, 13)", "name": "CKMP2019_Cor_42", "value": 1490116271973046876}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 59604650878906876}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 2384186035156251}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 298118591318359376}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 37252906799316409376}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 37252903137207031251}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 37252906805419921876}, {"parameter": "(13, 6)", "name": "CKMP2019_Cor_42", "value": 37252998352294921876}, {"parameter": "(14, 5)", "name": "CKMP2019_Cor_42", "value": 37252998353281250001}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Cor_42", "value": 37252906799316409376}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Cor_42", "value": 37252903137207031251}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Cor_42", "value": 37252902990722656251}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Cor_42", "value": 37252902984863281251}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Cor_42", "value": 37252903015146484376}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Cor_42", "value": 1490116271972656251}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Cor_42", "value": 1490116125488281251}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Cor_42", "value": 1490116119628906251}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Cor_42", "value": 1490116119394531251}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Cor_42", "value": 59604650878906251}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Cor_42", "value": 59604645019531251}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Cor_42", "value": 59604644785156251}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Cor_42", "value": 2384186035156251}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Cor_42", "value": 2384185800781251}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Cor_42", "value": 298118591318359376}, {"parameter": "", "name": "construction_1", "value": 37252998358213203156}, {"parameter": "5", "name": "linkage_GLT", "value": 37252906799326172001}, {"parameter": "6", "name": "linkage_GLT", "value": 1490116271973046876}, {"parameter": "7", "name": "linkage_GLT", "value": 59604650878906876}, {"parameter": "8", "name": "linkage_GLT", "value": 2384186035156251}, {"parameter": "9", "name": "linkage_GLT", "value": 298118591318359376}, {"parameter": "10", "name": "linkage_GLT", "value": 37252906799316409376}, {"parameter": "11", "name": "linkage_GLT", "value": 37252903137207031251}, {"parameter": "12", "name": "linkage_GLT", "value": 37252906805419921876}, {"parameter": "13", "name": "linkage_GLT", "value": 37252998352294921876}, {"parameter": "14", "name": "linkage_GLT", "value": 37252998353281250001}, {"parameter": "5", "name": "improved_linkage", "value": 37252998352294937561}, {"parameter": "6", "name": "improved_linkage", "value": 1490119934091797001}, {"parameter": "7", "name": "improved_linkage", "value": 59604797363671876}, {"parameter": "8", "name": "improved_linkage", "value": 2384191894531876}, {"parameter": "9", "name": "improved_linkage", "value": 298118591552734376}, {"parameter": "10", "name": "improved_linkage", "value": 37252906799326171876}, {"parameter": "11", "name": "improved_linkage", "value": 37252903137207034376}, {"parameter": "12", "name": "improved_linkage", "value": 37252906805419921876}, {"parameter": "13", "name": "improved_linkage", "value": 37252998352294921876}, {"parameter": "14", "name": "improved_linkage", "value": 37252998353281250001}, {"parameter": "15", "name": "improved_linkage", "value": 298023986865425001}, {"parameter": "5,0", "name": "generalized_linkage", "value": 37252906799326172001}, {"parameter": "5,1", "name": "generalized_linkage", "value": 37252998352294937561}, {"parameter": "6,0", "name": "generalized_linkage", "value": 1490116271973046876}, {"parameter": "6,1", "name": "generalized_linkage", "value": 1490119934091797001}, {"parameter": "7,0", "name": "generalized_linkage", "value": 59604650878906876}, {"parameter": "7,1", "name": "generalized_linkage", "value": 59604797363671876}, {"parameter": "8,0", "name": "generalized_linkage", "value": 2384186035156251}, {"parameter": "8,1", "name": "generalized_linkage", "value": 2384191894531876}, {"parameter": "9,0", "name": "generalized_linkage", "value": 298118591318359376}, {"parameter": "9,1", "name": "generalized_linkage", "value": 298118591552734376}, {"parameter": "10,0", "name": "generalized_linkage", "value": 37252906799316409376}, {"parameter": "10,1", "name": "generalized_linkage", "value": 37252906799326171876}, {"parameter": "11,0", "name": "generalized_linkage", "value": 37252903137207031251}, {"parameter": "11,1", "name": "generalized_linkage", "value": 37252903137207034376}, {"parameter": "12,0", "name": "generalized_linkage", "value": 37252906805419921876}, {"parameter": "12,1", "name": "generalized_linkage", "value": 37252906805419921876}, {"parameter": "13,0", "name": "generalized_linkage", "value": 37252998352294921876}, {"parameter": "13,1", "name": "generalized_linkage", "value": 37252998352294921876}, {"parameter": "14,0", "name": "generalized_linkage", "value": 37252998353281250001}, {"parameter": "14,1", "name": "generalized_linkage", "value": 37252998353281250001}, {"parameter": "15,1", "name": "generalized_linkage", "value": 298023986865425001}, {"parameter": "[5, 14],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 37252906799326172001}, {"parameter": "[5, 14],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252998352294937561}, {"parameter": "[6, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1490116271973046876}, {"parameter": "[6, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1490119934091797001}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 59604650878906876}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 59604797363671876}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384186035156251}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384191894531876}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 298118591318359376}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 298118591552734376}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 37252906799316409376}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252906799326171876}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 37252903137207031251}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252903137207034376}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 37252906805419921876}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252906805419921876}, {"parameter": "[13, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 37252998352294921876}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252998352294921876}, {"parameter": "[14, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 37252998353281250001}, {"parameter": "[14, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252998353281250001}, {"parameter": "[15, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 298023986865425001}, {"parameter": "[5, 4, 10],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 298118591318359376}, {"parameter": "[5, 4, 10],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 298118591552734376}, {"parameter": "[5, 5, 9],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 37252906799316409376}, {"parameter": "[5, 5, 9],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252906799326171876}, {"parameter": "[5, 5, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 37252906799316409376}, {"parameter": "[5, 5, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252906799326171876}, {"parameter": "[5, 6, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 37252903137207031251}, {"parameter": "[5, 6, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252903137207034376}, {"parameter": "[5, 6, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 37252903137207031251}, {"parameter": "[5, 6, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252903137207034376}, {"parameter": "[5, 7, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 37252902990722656251}, {"parameter": "[5, 7, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252902990722656251}, {"parameter": "[5, 7, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 37252902990722656251}, {"parameter": "[5, 7, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252902990722656251}, {"parameter": "[5, 8, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 37252902984863281251}, {"parameter": "[5, 8, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252902984863281251}, {"parameter": "[5, 8, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 37252903747802734376}, {"parameter": "[5, 8, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252903747802734376}, {"parameter": "[5, 9, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 37252903015146484376}, {"parameter": "[5, 9, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252903015146484376}, {"parameter": "[5, 9, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 37252998352060546876}, {"parameter": "[5, 9, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252998352060546876}, {"parameter": "[5, 10, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 298023254394534376}, {"parameter": "[5, 10, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 298023986816409376}, {"parameter": "[6, 4, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 11924743652346876}, {"parameter": "[6, 4, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11924743662109376}, {"parameter": "[6, 5, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1490116271972656251}, {"parameter": "[6, 5, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1490116271972659376}, {"parameter": "[6, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1490116271972656251}, {"parameter": "[6, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1490116271972659376}, {"parameter": "[6, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1490116125488281251}, {"parameter": "[6, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1490116125488281251}, {"parameter": "[6, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1490116125488281251}, {"parameter": "[6, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1490116125488281251}, {"parameter": "[6, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1490116119628906251}, {"parameter": "[6, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1490116119628906251}, {"parameter": "[6, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1490116119628906251}, {"parameter": "[6, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1490116119628906251}, {"parameter": "[6, 8, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1490116119394531251}, {"parameter": "[6, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1490116119394531251}, {"parameter": "[6, 8, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1490116149912109376}, {"parameter": "[6, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1490116149912109376}, {"parameter": "[6, 9, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11920928964846876}, {"parameter": "[6, 9, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11920959472659376}, {"parameter": "[7, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 476989746093751}, {"parameter": "[7, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 476989746096876}, {"parameter": "[7, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 59604650878906251}, {"parameter": "[7, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 59604650878906251}, {"parameter": "[7, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 59604650878906251}, {"parameter": "[7, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 59604650878906251}, {"parameter": "[7, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 59604645019531251}, {"parameter": "[7, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 59604645019531251}, {"parameter": "[7, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 59604645019531251}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 59604645019531251}, {"parameter": "[7, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 59604644785156251}, {"parameter": "[7, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 59604644785156251}, {"parameter": "[7, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 59604644785156251}, {"parameter": "[7, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 59604644785156251}, {"parameter": "[7, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 476837158206251}, {"parameter": "[7, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 476837167971876}, {"parameter": "[8, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19079589843751}, {"parameter": "[8, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19079589843751}, {"parameter": "[8, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384186035156251}, {"parameter": "[8, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384186035156251}, {"parameter": "[8, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384186035156251}, {"parameter": "[8, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384186035156251}, {"parameter": "[8, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384185800781251}, {"parameter": "[8, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384185800781251}, {"parameter": "[8, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384185800781251}, {"parameter": "[8, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384185800781251}, {"parameter": "[8, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19073486331251}, {"parameter": "[8, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19073486331251}, {"parameter": "[9, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384948974609376}, {"parameter": "[9, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384948974609376}, {"parameter": "[9, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 298118591318359376}, {"parameter": "[9, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 298118591318359376}, {"parameter": "[9, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 298118591318359376}, {"parameter": "[9, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 298118591318359376}, {"parameter": "[9, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384948730471876}, {"parameter": "[9, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384948730471876}, {"parameter": "[10, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 298023254404296876}, {"parameter": "[10, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 298023254404296876}, {"parameter": "[10, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 298023254394534376}, {"parameter": "[10, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 298023254394534376}, {"parameter": "[11, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384185800784376}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384948974609376}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384948974609376}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 298118591318359376}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 298118591318359376}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 298118591318359376}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 298118591318359376}, {"parameter": "[5, 4, 6, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384948730471876}, {"parameter": "[5, 4, 6, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384948730471876}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 298023254404296876}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 298023254404296876}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 298023254404296876}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 298023254404296876}, {"parameter": "[5, 5, 5, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 298023254394534376}, {"parameter": "[5, 5, 5, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 298023254394534376}, {"parameter": "[5, 5, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 298023254394534376}, {"parameter": "[5, 5, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 298023254394534376}, {"parameter": "[5, 6, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384185800784376}, {"parameter": "[5, 6, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384185800784376}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 95397958984376}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95397958984376}, {"parameter": "[6, 4, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95397949221876}, {"parameter": "[6, 4, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95397949221876}, {"parameter": "[6, 5, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95367441409376}, {"parameter": "[6, 5, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95367441409376}, {"parameter": "[7, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 30527346876}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 152832421880}], "request": [5, 19, 8, 5], "liftedmrdsizebound": 37252999275207819280, "comments": "", "equal_bound_constraints": []}