{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 579000387231826230336220630661298699957563196973721335147740402322870}, {"parameter": "", "name": "singleton", "value": 1494501169196850169221724045371783522951821010983978261474800}, {"parameter": "7", "name": "ilp_2", "value": 1328445514972078526762298536522759938830891171759794118954393}, {"parameter": "9", "name": "ilp_3", "value": 11956009662180307414949529063858877798069640487856106053900596}, {"parameter": "", "name": "anticode", "value": 1328445514972078526762298536522759938830891171759794118954393}, {"parameter": "", "name": "linear_programming_bound", "value": 1328445514972078526762298536522759938830891171759794118954393}, {"parameter": "", "name": "sphere_packing", "value": 579000387231826230336220630661298699957563196973721335147740402322870}, {"parameter": "1", "name": "ilp_1", "value": 1328445487540477922605067322165944003573265810792051629351528}, {"parameter": "2", "name": "ilp_1", "value": 1328445487540477922605067322165944003573265810792051678223699}, {"parameter": "3", "name": "ilp_1", "value": 1328445487540477922605067322165944003573265811203269952647947}, {"parameter": "4", "name": "ilp_1", "value": 1328445487540477922605067322165944468141879874100954424482258}, {"parameter": "5", "name": "ilp_1", "value": 1328445487540477922605067322165944468141879874100954424482258}, {"parameter": "6", "name": "ilp_1", "value": 1328445487540477922605067322165944468141879874100954424482258}, {"parameter": "10", "name": "ilp_4", "value": 11956009662180307414949529063858877798069640487856106053900596}, {"parameter": "11", "name": "ilp_4", "value": 11956009662180256434805094902683399807067938750058144490327891}, {"parameter": "12", "name": "ilp_4", "value": 11956009662180256434805094902683399807067938750058144490327891}, {"parameter": "13", "name": "ilp_4", "value": 11956009662180256434805094902652877591612291476040578397654252}, {"parameter": "14", "name": "ilp_4", "value": 11956009662180256434805094902652877589547213067331225386623943}, {"parameter": "15", "name": "ilp_4", "value": 11956009662180256434805094902652877589547213065683866589994262}, {"parameter": "16", "name": "ilp_4", "value": 11956009662180256434805094902652877591541374611008015626871037}, {"parameter": "", "name": "johnson_1", "value": 1328445487540477922605067322165944003573265810792051629351528}, {"parameter": "", "name": "johnson_2", "value": 11956009662180256434805094902652877591541374611008015626871037}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 579000387231826230336220630661298699957563196973721335147740402322870}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 11956009662180307414949529063858877798069640487856106053900596}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 11956009662180307414949529063858877798069640487856106053900596}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 11956009662180256434805094902683399807067938750058144490327891}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 11956009662180256434805094902683399807067938750058144490327891}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 11956009662180256434805094902652877591612291476040578397654252}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 11956009662180256434805094902652877589547213067331225386623943}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 11956009662180256434805094902652877589547213065683866589994262}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 11956009662180256434805094902652877591541374611008015626871037}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1328445514972078526762298536522759938830891171759794118954393}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1328445518020033590770550631514240784799783943515092192926000}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1328445545451629796229099339125162042914247596330904704185967}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1328445792336046625493349832652819519636897791395621863969640}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1328448014299927487753418797172255540754979473127805806483318}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1328468012309342214315915762540062647011603451941938131177471}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1328648021491643449365073808536001215833966846401285546832848}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1330270302046259345632639858408092480256478672235905233148865}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1345051080398841876800276503896829205784881945337577256604894}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1494501169196850169221724045371783522951821010983978261474800}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 579000387231826230336220630661298699957563196973721335147740402322870}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 1328445514972078526762298536522759938830891171759794118954393}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1328445487540477922605067322165944468141879874100954424482258}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1328445487540477922605067322165944468141879874100954424482258}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1328445487540477922605067322165944468141879874100954424482258}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1328445487540477922605067322165944003573265811203269952647947}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1328445487540477922605067322165944003573262058425297556963399}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1328445487540477922605067322165944003573262058425297508253228}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 11956009662180307414949529063858877798069640487856106053900596}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 11956009909064714048195054621814515572769197692441641378213743}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 11956012131024832568792183950483798472753826195414572946973909}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 11956032128703063856381517949233393001545918267360292690929230}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 11956212110817529135293627701851314468725971008256914886761150}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 11957832193725915491288515936682659530612961716809732769121858}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 11972432721133076293114928566169118051614989786705340625042098}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 12105459748586623514470825427437452198303757662596887918281288}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 13450510800516607551580304140693425977457834105921803525145670}, {"parameter": "", "name": "improved_johnson", "value": 1328445487540477922605067322165944003573265810792051629351501}], "known_codes": [], "upper_bound": 1328445487540477922605067322165944003573262058425297508253228, "classified": false, "lower_bound": 1310247592297771296512889587706169335595876662623200743786165, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1310020508637620352391208095712502073964245732475093456566329}, {"parameter": "", "name": "sphere_covering", "value": 246884411731260098938186348509571142200805811641879743}, {"parameter": "", "name": "graham_sloane", "value": 277744956028584787732347374270891445007065999171872470}, {"parameter": "", "name": "multicomponent", "value": 1310020508637626715076649231658294232613300785347002384723773}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1310023315989409446635574623594912994290452933283582009464746}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1310220206885888201568914874864293333544757802069117942890496}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 273940223244900175162201242622316678790894664355383361}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 1310020508685098601950549480565805432589156180365906722079611}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1310020508685098601950549480565847823667664953492548506649451}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1310020508685098601950549480566186952933866683120662862115059}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1310020508685098601950549480565805490659126740329093902606419}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1310020508685098601950549480565805432509391088140751885208339}, {"parameter": "(8,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 3081244534089585200305230350184097743337740929825623947}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 3081244534089585200305230350242247478989929271843022027}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 3081244534089585200305230731704522218932720840802530667}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 3081244534089585200305230392575256017203092726447065059}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 3081244534089585200305230350184177508429966084662495219}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 1310020508685098601950549480565805432509389737289034212216250}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 3081244534089585200305230350184097741986889212152631858}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 1310020508685098601950549480565805432509389737289034212216250}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 3081244534089585200305230350184097741986889212152631858}, {"parameter": "8", "name": "linkage_GLT", "value": 1310020508637620352391208095712502073964245732475093456566330}, {"parameter": "9", "name": "linkage_GLT", "value": 273892744995340833777347939263771534786080723599733442}, {"parameter": "8", "name": "improved_linkage", "value": 1310020508637626716179448345461952501368291635536232891415784}, {"parameter": "9", "name": "improved_linkage", "value": 273892744995340981611765100555748471072471346578280338}, {"parameter": "10", "name": "improved_linkage", "value": 277316404228249026185368943295409438255176878944052620}, {"parameter": "11", "name": "improved_linkage", "value": 274310658901588474228427132246416984147014841635391840}, {"parameter": "12", "name": "improved_linkage", "value": 273940809508766405871319980607588046796539616936555040}, {"parameter": "13", "name": "improved_linkage", "value": 273939644140291388820152767807294949835252213961657420}, {"parameter": "14", "name": "improved_linkage", "value": 273940159607019103174461190499416279365714425003287378}, {"parameter": "15", "name": "improved_linkage", "value": 273940216881111934912451792718260265915194062166387056}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1310020508685098601950549480565805432509389737289034212216250}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1310020508638214635651327723706302643118422484883105416016734}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1310020508637627610672715748169306760456872886209600263402354}, {"parameter": "8,3", "name": "generalized_linkage", "value": 1310020508637620441866831609464986314104416074622727832669344}, {"parameter": "8,4", "name": "generalized_linkage", "value": 1310020508637620353494346415193687943807545833141478274314144}, {"parameter": "8,5", "name": "generalized_linkage", "value": 1310020508637620352404661027674179643865447794021784504333956}, {"parameter": "8,6", "name": "generalized_linkage", "value": 1310020508637626716179448345461952501368291635536232891415784}, {"parameter": "9,0", "name": "generalized_linkage", "value": 3081244534089585200305230350184097741986889212152631858}, {"parameter": "9,1", "name": "generalized_linkage", "value": 273892745801584560321178555610448051316450013732971842}, {"parameter": "9,2", "name": "generalized_linkage", "value": 273892744996460768280483348896809118947419882845156646}, {"parameter": "9,3", "name": "generalized_linkage", "value": 273892744995342353182020536212090895568311726810225466}, {"parameter": "9,4", "name": "generalized_linkage", "value": 273892744995340835855922251738576033297039909262002856}, {"parameter": "9,5", "name": "generalized_linkage", "value": 273892744995340833780164042120188963907576555668909741}, {"parameter": "9,6", "name": "generalized_linkage", "value": 273892744995340981611765100555748471072471346578280338}, {"parameter": "10,1", "name": "generalized_linkage", "value": 277321694798708330281655192747539444011380340197638710}, {"parameter": "10,2", "name": "generalized_linkage", "value": 277316404228249194799405604345438571421007220713191206}, {"parameter": "10,3", "name": "generalized_linkage", "value": 277316404228249026211382669400343147173566307766260810}, {"parameter": "10,4", "name": "generalized_linkage", "value": 277316404228249026185369426098109438382601980010214430}, {"parameter": "10,5", "name": "generalized_linkage", "value": 277316404228249026185365509612492754613365352000120920}, {"parameter": "10,6", "name": "generalized_linkage", "value": 277316404228249026185368943295409438255176878944052620}, {"parameter": "11,2", "name": "generalized_linkage", "value": 274310658901711395944747413072594008131706030337866570}, {"parameter": "11,3", "name": "generalized_linkage", "value": 274310658901588474228427567417050348639563133866880506}, {"parameter": "11,4", "name": "generalized_linkage", "value": 274310658901588474228427132253788758741937970011361630}, {"parameter": "11,5", "name": "generalized_linkage", "value": 274310658901588474228427132246337326989949064707328775}, {"parameter": "11,6", "name": "generalized_linkage", "value": 274310658901588474228427132246416984147014841635391840}, {"parameter": "12,3", "name": "generalized_linkage", "value": 273940809508766405871355229501587832425556881604759688}, {"parameter": "12,4", "name": "generalized_linkage", "value": 273940809508766405871319980607588060643021042556309096}, {"parameter": "12,5", "name": "generalized_linkage", "value": 273940809508766405871319980607588046794709827443917170}, {"parameter": "12,6", "name": "generalized_linkage", "value": 273940809508766405871319980607588046796539616936555040}, {"parameter": "13,4", "name": "generalized_linkage", "value": 273939644140291388820152767807295074470290246386704648}, {"parameter": "13,5", "name": "generalized_linkage", "value": 273939644140291388820152767807294949835252213923453455}, {"parameter": "13,6", "name": "generalized_linkage", "value": 273939644140291388820152767807294949835252213961657420}, {"parameter": "14,5", "name": "generalized_linkage", "value": 273940159607019103174461190499416279365714425008668217}, {"parameter": "14,6", "name": "generalized_linkage", "value": 273940159607019103174461190499416279365714425003287378}, {"parameter": "15,6", "name": "generalized_linkage", "value": 273940216881111934912451792718260265915194062166387056}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1310020508685098601950549480565805432509389737289034212216250}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1310020508638214635651327723706302643118422484883105416016734}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637627610672715748169306760456872886209600263402354}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637620441866831609464986314104416074622727832669344}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637620353494346415193687943807545833141478274314144}, {"parameter": "[8, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637620352404661027674179643865447794021784504333956}, {"parameter": "[8, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637626716179448345461952501368291635536232891415784}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3081244534089585200305230350184097741986889212152631858}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 273892745801584560321178555610448051316450013732971842}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892744996460768280483348896809118947419882845156646}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892744995342353182020536212090895568311726810225466}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340835855922251738576033297039909262002856}, {"parameter": "[9, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833780164042120188963907576555668909741}, {"parameter": "[9, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340981611765100555748471072471346578280338}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 277321694798708330281655192747539444011380340197638710}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 277316404228249194799405604345438571421007220713191206}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 277316404228249026211382669400343147173566307766260810}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 277316404228249026185369426098109438382601980010214430}, {"parameter": "[10, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 277316404228249026185365509612492754613365352000120920}, {"parameter": "[10, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 277316404228249026185368943295409438255176878944052620}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 274310658901711395944747413072594008131706030337866570}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 274310658901588474228427567417050348639563133866880506}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 274310658901588474228427132253788758741937970011361630}, {"parameter": "[11, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 274310658901588474228427132246337326989949064707328775}, {"parameter": "[11, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 274310658901588474228427132246416984147014841635391840}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 273940809508766405871355229501587832425556881604759688}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 273940809508766405871319980607588060643021042556309096}, {"parameter": "[12, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940809508766405871319980607588046794709827443917170}, {"parameter": "[12, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 273940809508766405871319980607588046796539616936555040}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 273939644140291388820152767807295074470290246386704648}, {"parameter": "[13, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 273939644140291388820152767807294949835252213923453455}, {"parameter": "[13, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 273939644140291388820152767807294949835252213961657420}, {"parameter": "[14, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940159607019103174461190499416279365714425008668217}, {"parameter": "[14, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 273940159607019103174461190499416279365714425003287378}, {"parameter": "[15, 2],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 273940216881111934912451792718260265915194062166387056}, {"parameter": "[8, 2, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 273940229607585616298143601097145441329428895245599683}, {"parameter": "[8, 2, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 273940229607585616298143601097145441329428895245599683}, {"parameter": "[8, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 273940223244913625765677948101338442363023445235465053}, {"parameter": "[8, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 273940223244913625765677948101338442363023445235465053}, {"parameter": "[8, 3, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900322971030656968239994874104870738680963}, {"parameter": "[8, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900322971030656968239994874104870738680963}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 273940223246003124621672376918898856057422484466956483}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 273940223246003124621672376918898856057422484466956483}, {"parameter": "[8, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900175162513707849963297426998528622507933}, {"parameter": "[8, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900175162513707849963297426998528622507933}, {"parameter": "[8, 4, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900324818640981726516282668738940095358567}, {"parameter": "[8, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900324818640981726516282668738940095358567}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 273940223334360099655733446150930693199946222266995203}, {"parameter": "[8, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940223334360099655733446150930693199946222266995203}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900175187823390694201975154865738169061763}, {"parameter": "[8, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900175187823390694201975154865738169061763}, {"parameter": "[8, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900175162517613665218145830949884445877417}, {"parameter": "[8, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900175162517613665218145830949884445877417}, {"parameter": "[8, 5, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900323196561878247909998131024383221235387}, {"parameter": "[8, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900323196561878247909998131024383221235387}, {"parameter": "[8, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940230492123648140925994903822160337566121763571523}, {"parameter": "[8, 6, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 273940230492123648140925994903822160337566121763571523}, {"parameter": "[8, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900177240406560363758669892005813077990083}, {"parameter": "[8, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900177240406560363758669892005813077990083}, {"parameter": "[8, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900175188143667537660326554237388597022567}, {"parameter": "[8, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900175188143667537660326554237388597022567}, {"parameter": "[8, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900175162514184618940345643291155874549637}, {"parameter": "[8, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900175162514184618940345643291155874549637}, {"parameter": "[8, 6, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900322996969129584317418591999807736116777}, {"parameter": "[8, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900322996969129584317418591999807736116777}, {"parameter": "[8, 7, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 273940810191330091277527969972135521679961020600022403}, {"parameter": "[8, 7, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900343519356087905996991665491583053824003}, {"parameter": "[8, 7, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900177266384126232052937237935606228768167}, {"parameter": "[8, 7, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900175187862485749411850040943063310355387}, {"parameter": "[8, 7, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900175162513762683431520547769059052439327}, {"parameter": "[8, 7, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 273940223244900322996340227383451959652096792019878377}, {"parameter": "[9, 2, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 2807351795456929955472654183741078285822552925826412339}, {"parameter": "[9, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 2807351795456929807666640390127794829976762155696325158}, {"parameter": "[9, 3, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 2807351795456929807663828203078975262251827377292204019}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2807351795456929809742034383878714036689233875727250739}, {"parameter": "[9, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 2807351795456929807663824769460563453062378177531070758}, {"parameter": "[9, 4, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 2807351795456929807663828246000022018827694974608944343}, {"parameter": "[9, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 2807351795456931324753675388814292509642502148961349939}, {"parameter": "[9, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 2807351795456929807663824817673155388948022213286354419}, {"parameter": "[9, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 2807351795456929807663824769461381059084922663821438838}, {"parameter": "[9, 5, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 2807351795456929807663828208318194790254204219349918763}, {"parameter": "[9, 6, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 2807351795458035915815386847135185727429028052999437939}, {"parameter": "[9, 6, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 2807351795456929807663860012261867614800915235109509619}, {"parameter": "[9, 6, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 2807351795456929807663824818276630380169060468366576343}, {"parameter": "[9, 6, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 2807351795456929807663824769460663255321717790158255238}, {"parameter": "[9, 6, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 2807351795456929807663828203681540847121286394110115353}, {"parameter": "", "name": "JohnsonLB", "value": 1310247592297771296512889587706169335595876662623200743786165}, {"parameter": "", "name": "JohnsonLB_special", "value": 1310247592297771296512889587706169335595876662623200743786165}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 16175591181969788252518581238140311580151934462188380437127}], "request": [9, 17, 4, 8], "liftedmrdsizebound": 1310251101935253818704130097615493710036760163884638333315742, "comments": "", "equal_bound_constraints": []}