{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 42496814563784980451563042879529660750053921580003678289259806}, {"parameter": "", "name": "singleton", "value": 152804888634672088643556}, {"parameter": "3", "name": "ilp_2", "value": 116424561161654637916318}, {"parameter": "4", "name": "ilp_2", "value": 5686612741511445670050416310922}, {"parameter": "5", "name": "ilp_2", "value": 278111616346168847878117158312996082362}, {"parameter": "6", "name": "ilp_2", "value": 13689182222457543190049736479563331217350221424}, {"parameter": "7", "name": "ilp_2", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "9", "name": "ilp_3", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "10", "name": "ilp_3", "value": 213893602590788135972814442186309316817730751438299}, {"parameter": "11", "name": "ilp_3", "value": 543187092775829947114679049129603162419236364}, {"parameter": "12", "name": "ilp_3", "value": 1388334068860731211203751681477116128570}, {"parameter": "13", "name": "ilp_3", "value": 3552997895924877066015045483683476}, {"parameter": "", "name": "anticode", "value": 116424561161654637916318}, {"parameter": "", "name": "linear_programming_bound", "value": 116424561161654637916318}, {"parameter": "", "name": "sphere_packing", "value": 43063110341843695417387234580892351373}, {"parameter": "1", "name": "ilp_1", "value": 116421043956873017591796}, {"parameter": "2", "name": "ilp_1", "value": 116421043956873660714174}, {"parameter": "14", "name": "ilp_4", "value": 3552815980104083206147859213370451}, {"parameter": "15", "name": "ilp_4", "value": 3552815979638408509988397590930486}, {"parameter": "16", "name": "ilp_4", "value": 3552815979638408509988397590930486}, {"parameter": "17", "name": "ilp_4", "value": 1136921486655383166606991820389}, {"parameter": "18", "name": "ilp_4", "value": 363815248266999857080799999}, {"parameter": "", "name": "johnson_1", "value": 116421043956873017591796}, {"parameter": "", "name": "johnson_2", "value": 363815248266999857080799999}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 42496814563784980451563042879529660750053921580003678289259806}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 213893602590788135972814442186309316817730751438299}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 543187092775829947114679049129603162419236364}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1388334068860731211203751681477116128570}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 3552997895924877066015045483683476}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 3552815980104083206147859213370451}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 3552815979638408509988397590930486}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 3552815979638408509988397590930486}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 1136921486655383166606991820389}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 363815248266999857080799999}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 7129800770792386971280901507440265340618068904491}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 87611043905371026070805504620762539935765716}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1112450560662860231781152003245728351068}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 14216613595499291469205715718561874}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 14213483283276991260055465728508334}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 14214211010825756834125383998243652}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 14217850976359775094374987412529331}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 22779300415563932209622314426151}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 36682263524985896416306764976}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 60657177935925702946437560}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 116461521263349405245996}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 13689182222457543190049736479563331217350221424}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 700895115026575310141630771464919254284886}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 43063110341843695417387234580892351373}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 2733993492930657997011230152394038}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 2731547747609242746608075459084306}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 2731581154870499353948751941245075}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 2731748985364246971939723389593477}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 21863504867395774444041580971378}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 175309296784229801873183367919}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 1413328067005636612208108654}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 11758871251764475435767362}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 116646533577175306106986}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 278111616346168847878117158312996082362}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 71201132103144527782684679001437499}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 21873269981248747049627222702370}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 21788615524615008598250963680359}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 21788655058710953389458053096214}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 21788931655046358294646695175854}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 874946332315551867437140945980}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 35006741729691011388219932476}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 1402520102835257716154356321}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 56551217896244652461650093}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 2355520405937089909351888}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 117579819023605461650388}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 5686612741511445670050416310922}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 7281194439997513183370363244}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 7281195183445810213364933299}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 7281198900689195159973822866}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 7281217486953614930308689634}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 1454025236700164311227357201}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 291181524869977778617965449}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 58251313700774681072095985}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 11669452832844257143889095}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 2352652074911581497544888}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 490079129487454217227591}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 122439805078347010806401}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 116424561161654637916318}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 116424563529987134512357}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 116424575371650820986734}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 116424634579999340728349}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 116424930622494125590266}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 116426410853772942558942}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 116433812480319197411278}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 116470832370587598354758}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 116656226227709131332116}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 117590614544061409106120}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 122455696830450415621850}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 152804888634672088643556}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 42496814563784980451563042879529660750053921580003678289259806}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 13689182222457543190049736479563331217350221424}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 278111616346168847878117158312996082362}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 5686612741511445670050416310922}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 116424561161654637916318}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 116421043956873660714174}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 116421043956873017591796}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 7129800770792386971280901507440265340618068904491}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 700895115026575310141630771464919254284886}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 71201132103144527782684679001437499}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 7281194439997513183370363244}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 7290529303898239424709814802}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 7337564972941318762632144887}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 7582150451168077128185476207}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 9098580386119330818502125426}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 213893602590788135972814442186309316817730751438299}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 87611043905371026070805504620762539935765716}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 43063110341843695417387234580892351373}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 21873269981248747049627222702370}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 21879946787728186905845413414646}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 21913608230464091821846727991128}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 22083261901462812206293968215692}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 22966591998202284394878236204947}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 28478571161566388347020642694167}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 543187092775829947114679049129603162419236364}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 1112450560662860231781152003245728351068}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 2733993492930657997011230152394038}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 2734082413900248448270584516146992}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 2734950597062176753182891138867262}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 2739298458320672817248187826863233}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 2761212800675028279013528429048031}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 2875342684407024243639281555691684}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 3588425771623660415970818158492294}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 1388334068860731211203751681477116128570}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 14216613595499291469205715718561874}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 14216067377171254652595212877874427}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 14216975789649586233714552044981334}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 14221519350220238301774240142935853}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 14244273547727230566896399827205854}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 14358961738646454975335922802471081}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 14956288124441902021189648745085390}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 3738049311678806055783484918707694}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 3552997895924877066015045483683476}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 3553006988246594433780567515787337}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 3553052450437025515886451397336440}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 3553279775936217948558284561146132}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 3554416767224510435736160746542763}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 3560110833048143967501428471251041}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 3588810733150179046512471768517395}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 3738288626034937050762812128853575}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 4672499438759279108929231093087931}, {"parameter": "", "name": "improved_johnson", "value": 116421043956873017591785}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 1819077135447811212142555250}], "known_codes": [], "upper_bound": 116421043956873017591785, "classified": false, "lower_bound": 116415321826934814468751, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 116415321826934814453125}, {"parameter": "", "name": "sphere_covering", "value": 2906757509305}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 116415321826934814453126}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (0, 1, 8, 9, 10, 11, 12, 13), (7, 12, 13, 14, 15, 16, 17, 18)]", "name": "ef_computation", "value": 116415321826934814468751}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 116415321826934814453126}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 116415321826934814453126}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 931322574615478515626}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 7450580596923828126}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 59604644775390626}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 116415321826934814453126}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 931322574615478515626}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 7450580596923828126}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 59604644775390626}, {"parameter": "8", "name": "linkage_GLT", "value": 116415321826934814453126}, {"parameter": "9", "name": "linkage_GLT", "value": 931322574615478515626}, {"parameter": "10", "name": "linkage_GLT", "value": 7450580596923828126}, {"parameter": "11", "name": "linkage_GLT", "value": 59604644775390626}, {"parameter": "8", "name": "improved_linkage", "value": 116415321826934814453126}, {"parameter": "9", "name": "improved_linkage", "value": 931322574615478515626}, {"parameter": "10", "name": "improved_linkage", "value": 7450580596923828126}, {"parameter": "11", "name": "improved_linkage", "value": 59604644775390626}, {"parameter": "12", "name": "improved_linkage", "value": 152587890626}, {"parameter": "13", "name": "improved_linkage", "value": 390626}, {"parameter": "8,0", "name": "generalized_linkage", "value": 116415321826934814453126}, {"parameter": "8,1", "name": "generalized_linkage", "value": 116415321826934814453126}, {"parameter": "8,2", "name": "generalized_linkage", "value": 116415321826934814453126}, {"parameter": "9,0", "name": "generalized_linkage", "value": 931322574615478515626}, {"parameter": "9,1", "name": "generalized_linkage", "value": 931322574615478515626}, {"parameter": "9,2", "name": "generalized_linkage", "value": 931322574615478515626}, {"parameter": "10,0", "name": "generalized_linkage", "value": 7450580596923828126}, {"parameter": "10,1", "name": "generalized_linkage", "value": 7450580596923828126}, {"parameter": "10,2", "name": "generalized_linkage", "value": 7450580596923828126}, {"parameter": "11,0", "name": "generalized_linkage", "value": 59604644775390626}, {"parameter": "11,1", "name": "generalized_linkage", "value": 59604644775390626}, {"parameter": "11,2", "name": "generalized_linkage", "value": 59604644775390626}, {"parameter": "12,1", "name": "generalized_linkage", "value": 152587890626}, {"parameter": "12,2", "name": "generalized_linkage", "value": 152587890626}, {"parameter": "13,2", "name": "generalized_linkage", "value": 390626}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 116415321826934814453126}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 116415321826934814453126}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 116415321826934814453126}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 931322574615478515626}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 931322574615478515626}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322574615478515626}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7450580596923828126}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7450580596923828126}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7450580596923828126}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 59604644775390626}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 59604644775390626}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 59604644775390626}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 152587890626}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 152587890626}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 390626}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 298023225097656255}], "request": [5, 19, 12, 8], "liftedmrdsizebound": 116415321826935059063246, "comments": "", "equal_bound_constraints": []}