{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 32388362598469313692303194069198582021263845}, {"parameter": "", "name": "singleton", "value": 123549912998815788062283863044996567525}, {"parameter": "7", "name": "ilp_2", "value": 92663937053055757649104338943419160349}, {"parameter": "9", "name": "ilp_3", "value": 370656808670870254315047825833975143581}, {"parameter": "", "name": "anticode", "value": 92663937053055757649104338943419160349}, {"parameter": "", "name": "linear_programming_bound", "value": 92663937053055757649104338943419160349}, {"parameter": "", "name": "sphere_packing", "value": 32388362598469313692303194069198582021263845}, {"parameter": "1", "name": "ilp_1", "value": 92662876598201030492627904483941634763}, {"parameter": "2", "name": "ilp_1", "value": 92662876598201030492627904483941724050}, {"parameter": "3", "name": "ilp_1", "value": 92662876598201030492627904486056330817}, {"parameter": "4", "name": "ilp_1", "value": 92662876598201030492681172327113832833}, {"parameter": "5", "name": "ilp_1", "value": 92662876598201030492681172327113832833}, {"parameter": "6", "name": "ilp_1", "value": 92662876598201030492681172327113832833}, {"parameter": "10", "name": "ilp_4", "value": 370656808670870254315047825833975143581}, {"parameter": "11", "name": "ilp_4", "value": 370656808428150474333780405418411965011}, {"parameter": "12", "name": "ilp_4", "value": 370656808428150474333780405418411965011}, {"parameter": "13", "name": "ilp_4", "value": 370656808428150474264515037649550393092}, {"parameter": "14", "name": "ilp_4", "value": 370656808428150474264512010262233427413}, {"parameter": "15", "name": "ilp_4", "value": 370656808428150474264512010259000932947}, {"parameter": "16", "name": "ilp_4", "value": 370656808428150474264514825234257140307}, {"parameter": "", "name": "johnson_1", "value": 92662876598201030492627904483941634763}, {"parameter": "", "name": "johnson_2", "value": 370656808428150474264514825234257140307}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 32388362598469313692303194069198582021263845}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 370656808670870254315047825833975143581}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 370656808670870254315047825833975143581}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 370656808428150474333780405418411965011}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 370656808428150474333780405418411965011}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 370656808428150474264515037649550393092}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 370656808428150474264512010262233427413}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 370656808428150474264512010259000932947}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 370656808428150474264514825234257140307}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 92663937053055757649104338943419160349}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 92664202155581357569458563554511755671}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 92665262580852582486089199741556693903}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 92669504524653267986485351192998585100}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 92686476184242062838950971213007675721}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 92754425032574945144227093902770784040}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 93027219627754113956598161786420560827}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 94134635026878309894555132172877350972}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 98841136954749630562355443462387450054}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 123549912998815788062283863044996567525}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 32388362598469313692303194069198582021263845}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 92663937053055757649104338943419160349}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 92662876598201030492681172327113832833}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 92662876598201030492681172327113832833}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 92662876598201030492681172327113832833}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 92662876598201030492627904486056330817}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 92662876598201030492627903796694524729}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 92662876598201030492627903796694437843}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 370656808670870254315047825833975143581}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 370661050517594626036935625633178838286}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 370678018875421928280047879472480132065}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 370745907845342485638520874332538476113}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 371017712582034368672980934810405546588}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 372108928611359774302697462106869585961}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 376538745308609578485588025157053058068}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 395365452753203845860524213130459180926}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 494205307747746503853075131001823990245}, {"parameter": "", "name": "improved_johnson", "value": 92662876598201030492627904483941634751}], "known_codes": [], "upper_bound": 92662876598201030492627903796694437843, "classified": false, "lower_bound": 85533532872836274590749810343791230317, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 85070591730234615865843651857942052864}, {"parameter": "", "name": "sphere_covering", "value": 4241895269195759101371415131815599}, {"parameter": "", "name": "graham_sloane", "value": 5655752483351603939678821837720145}, {"parameter": "", "name": "multicomponent", "value": 85070591809462778398554733529490522113}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 85099981554270312183601939574838788096}, {"parameter": "", "name": "two_pivot_block_construction", "value": 85404201893804920082460426632293253120}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 5220570943029781811980610759032831}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 85070620004319110820027383447348576256}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 85070620004319110821180023476978712576}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 85070620004319110824638787990799253504}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 85070620004319110820045116370881347584}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 85070620004319110820027102247249772544}, {"parameter": "(8,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 34582120894231145386818488103862272}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 34582120894231145404832611735437312}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 34582120894231149998504231653343232}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 34582120894231146539739717832802304}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 34582120894231145387099688202665984}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 85070620004319110820027101972371865600}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 34582120894231145386818213225955328}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 85070620004319110820027101972371865600}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 34582120894231145386818213225955328}, {"parameter": "8", "name": "linkage_GLT", "value": 85070591730234615865843651857942052865}, {"parameter": "9", "name": "linkage_GLT", "value": 5192296858534827628530496329220097}, {"parameter": "8", "name": "improved_linkage", "value": 85070591809892991181005802765646171102}, {"parameter": "9", "name": "improved_linkage", "value": 5192296859750243788014768851890489}, {"parameter": "10", "name": "improved_linkage", "value": 5538444700559667060727781616633368}, {"parameter": "11", "name": "improved_linkage", "value": 5294660076089774755407074636385105}, {"parameter": "12", "name": "improved_linkage", "value": 5222349860765475377280615413711205}, {"parameter": "13", "name": "improved_linkage", "value": 5218898219241934197120073809858833}, {"parameter": "14", "name": "improved_linkage", "value": 5220172656014870711220756522467329}, {"parameter": "15", "name": "improved_linkage", "value": 5220491284654466721887297092845569}, {"parameter": "8,0", "name": "generalized_linkage", "value": 85070620004319110820027101972371865600}, {"parameter": "8,1", "name": "generalized_linkage", "value": 85070593643201793253469058030652882944}, {"parameter": "8,2", "name": "generalized_linkage", "value": 85070591844854138784378209098665570304}, {"parameter": "8,3", "name": "generalized_linkage", "value": 85070591737281170894311932184818147904}, {"parameter": "8,4", "name": "generalized_linkage", "value": 85070591730668406902221660867026519712}, {"parameter": "8,5", "name": "generalized_linkage", "value": 85070591730260139605192821580918131117}, {"parameter": "8,6", "name": "generalized_linkage", "value": 85070591809892991181005802765646171102}, {"parameter": "9,0", "name": "generalized_linkage", "value": 34582120894231145386818213225955328}, {"parameter": "9,1", "name": "generalized_linkage", "value": 5192325319570821328653371149647872}, {"parameter": "9,2", "name": "generalized_linkage", "value": 5192297334265412560417125689880576}, {"parameter": "9,3", "name": "generalized_linkage", "value": 5192296865620440207844497144214336}, {"parameter": "9,4", "name": "generalized_linkage", "value": 5192296858642380707075242456631836}, {"parameter": "9,5", "name": "generalized_linkage", "value": 5192296858536403634873296642819576}, {"parameter": "9,6", "name": "generalized_linkage", "value": 5192296859750243788014768851890489}, {"parameter": "10,1", "name": "generalized_linkage", "value": 5545758933072350120247112064040960}, {"parameter": "10,2", "name": "generalized_linkage", "value": 5538444702308612948691131506323456}, {"parameter": "10,3", "name": "generalized_linkage", "value": 5538444700566914583732234216900160}, {"parameter": "10,4", "name": "generalized_linkage", "value": 5538444700559675239003321856287820}, {"parameter": "10,5", "name": "generalized_linkage", "value": 5538444700559648616015206098326245}, {"parameter": "10,6", "name": "generalized_linkage", "value": 5538444700559667060727781616633368}, {"parameter": "11,2", "name": "generalized_linkage", "value": 5294660188132167935919101553111040}, {"parameter": "11,3", "name": "generalized_linkage", "value": 5294660076089781413807245717627456}, {"parameter": "11,4", "name": "generalized_linkage", "value": 5294660076089774761953902288200220}, {"parameter": "11,5", "name": "generalized_linkage", "value": 5294660076089774755129948691984265}, {"parameter": "11,6", "name": "generalized_linkage", "value": 5294660076089774755407074636385105}, {"parameter": "12,3", "name": "generalized_linkage", "value": 5222349860765581941806055018422848}, {"parameter": "12,4", "name": "generalized_linkage", "value": 5222349860765475377282174640779356}, {"parameter": "12,5", "name": "generalized_linkage", "value": 5222349860765475377280611415822245}, {"parameter": "12,6", "name": "generalized_linkage", "value": 5222349860765475377280615413711205}, {"parameter": "13,4", "name": "generalized_linkage", "value": 5218898219241934197126328308199516}, {"parameter": "13,5", "name": "generalized_linkage", "value": 5218898219241934197120073809810773}, {"parameter": "13,6", "name": "generalized_linkage", "value": 5218898219241934197120073809858833}, {"parameter": "14,5", "name": "generalized_linkage", "value": 5220172656014870711220756522489173}, {"parameter": "14,6", "name": "generalized_linkage", "value": 5220172656014870711220756522467329}, {"parameter": "15,6", "name": "generalized_linkage", "value": 5220491284654466721887297092845569}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070620004319110820027101972371865600}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070593643201793253469058030652882944}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591844854138784378209098665570304}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591737281170894311932184818147904}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730668406902221660867026519712}, {"parameter": "[8, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 85070591730260139605192821580918131117}, {"parameter": "[8, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 85070591809892991181005802765646171102}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 34582120894231145386818213225955328}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5192325319570821328653371149647872}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192297334265412560417125689880576}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192296865620440207844497144214336}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296858642380707075242456631836}, {"parameter": "[9, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5192296858536403634873296642819576}, {"parameter": "[9, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5192296859750243788014768851890489}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5545758933072350120247112064040960}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5538444702308612948691131506323456}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5538444700566914583732234216900160}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5538444700559675239003321856287820}, {"parameter": "[10, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5538444700559648616015206098326245}, {"parameter": "[10, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5538444700559667060727781616633368}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5294660188132167935919101553111040}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5294660076089781413807245717627456}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5294660076089774761953902288200220}, {"parameter": "[11, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5294660076089774755129948691984265}, {"parameter": "[11, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5294660076089774755407074636385105}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5222349860765581941806055018422848}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5222349860765475377282174640779356}, {"parameter": "[12, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5222349860765475377280611415822245}, {"parameter": "[12, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5222349860765475377280615413711205}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5218898219241934197126328308199516}, {"parameter": "[13, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5218898219241934197120073809810773}, {"parameter": "[13, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5218898219241934197120073809858833}, {"parameter": "[14, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5220172656014870711220756522489173}, {"parameter": "[14, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5220172656014870711220756522467329}, {"parameter": "[15, 2],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5220491284654466721887297092845569}, {"parameter": "[8, 2, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 5220650171192296076318204302983168}, {"parameter": "[8, 2, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 5220650171192296076318204302983168}, {"parameter": "[8, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 5220570968417224023887823427862528}, {"parameter": "[8, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 5220570968417224023887823427862528}, {"parameter": "[8, 3, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 5220570944238707631595239933739008}, {"parameter": "[8, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 5220570944238707631595239933739008}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5220571374609732373512985528762368}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5220571374609732373512985528762368}, {"parameter": "[8, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 5220570943030169193606158659616768}, {"parameter": "[8, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 5220570943030169193606158659616768}, {"parameter": "[8, 4, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 5220570944319301456453276964749312}, {"parameter": "[8, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 5220570944319301456453276964749312}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5220577949034073612859885934870528}, {"parameter": "[8, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 5220577949034073612859885934870528}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5220570943036367199409833359966208}, {"parameter": "[8, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 5220570943036367199409833359966208}, {"parameter": "[8, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 5220570943030195018653796885594112}, {"parameter": "[8, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 5220570943030195018653796885594112}, {"parameter": "[8, 5, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 5220570944262540925425039360131072}, {"parameter": "[8, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 5220570944262540925425039360131072}, {"parameter": "[8, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 5220683346579815979775214210777088}, {"parameter": "[8, 6, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 5220683346579815979775214210777088}, {"parameter": "[8, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 5220570943136684953640170074144768}, {"parameter": "[8, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 5220570943136684953640170074144768}, {"parameter": "[8, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 5220570943036806218539445688205312}, {"parameter": "[8, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 5220570943036806218539445688205312}, {"parameter": "[8, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 5220570943030176830617426142953472}, {"parameter": "[8, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 5220570943030176830617426142953472}, {"parameter": "[8, 6, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 5220570944245704891448332828803072}, {"parameter": "[8, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 5220570944245704891448332828803072}, {"parameter": "[8, 7, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 5222364351468910278021937341923328}, {"parameter": "[8, 7, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 5220570944744923871828141804617728}, {"parameter": "[8, 7, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 5220570943143811721003308115034112}, {"parameter": "[8, 7, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 5220570943036497026625893449859072}, {"parameter": "[8, 7, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 5220570943030171435770113050345472}, {"parameter": "[8, 7, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 5220570944244901243530744312627200}, {"parameter": "[9, 2, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 29389903265067757842239939615391744}, {"parameter": "[9, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 29389903263860399995871575752572928}, {"parameter": "[9, 3, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 29389903263858850469369384150237184}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 29389903263965766166591639696441344}, {"parameter": "[9, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 29389903263858832046550683461091328}, {"parameter": "[9, 4, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 29389903263858851699133557399093248}, {"parameter": "[9, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 29389903270807456373886332272902144}, {"parameter": "[9, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 29389903263858833654310856801910784}, {"parameter": "[9, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 29389903263858832048145683990970368}, {"parameter": "[9, 5, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 29389903263858850833036587363729408}, {"parameter": "[9, 6, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 29389903709856680732962512955244544}, {"parameter": "[9, 6, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 29389903263858938050218560883523584}, {"parameter": "[9, 6, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 29389903263858833763088233389621248}, {"parameter": "[9, 6, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 29389903263858832047022358758227968}, {"parameter": "[9, 6, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 29389903263858850576139096264081408}, {"parameter": "", "name": "JohnsonLB", "value": 85533532872836274590749810343791230317}, {"parameter": "", "name": "JohnsonLB_special", "value": 85533532872836274590749810343791230317}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 5339641870219942856190862246384777472}], "request": [4, 17, 4, 8], "liftedmrdsizebound": 85582666884746603951326927039219567937, "comments": "", "equal_bound_constraints": []}