{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 42496814563784980451563042879529660750053921580003678289259806}, {"parameter": "", "name": "singleton", "value": 3104408566792806}, {"parameter": "2", "name": "ilp_2", "value": 2384222412593006}, {"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": "14", "name": "ilp_3", "value": 9095092491882556911010058657}, {"parameter": "", "name": "anticode", "value": 2384222412593006}, {"parameter": "", "name": "linear_programming_bound", "value": 2384222412593006}, {"parameter": "", "name": "sphere_packing", "value": 6943472123841621605561173894}, {"parameter": "1", "name": "ilp_1", "value": 2384207177789000}, {"parameter": "15", "name": "ilp_4", "value": 9094999358135436981820664288}, {"parameter": "16", "name": "ilp_4", "value": 9094999358135436981820664288}, {"parameter": "17", "name": "ilp_4", "value": 582078468799787841254654}, {"parameter": "18", "name": "ilp_4", "value": 37253224182937828124}, {"parameter": "", "name": "johnson_1", "value": 2384207177789000}, {"parameter": "", "name": "johnson_2", "value": 37253224182937828124}, {"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": 9095092491882556911010058657}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 9094999358135436981820664288}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 9094999358135436981820664288}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 582078468799787841254654}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 37253224182937828124}, {"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": 181916286326690616649458169872}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 181916286350527179034301148143}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 181962871349996245416870030624}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 58302620247561653537259389}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 18777540422482395232273}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 6209110921196293775}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 2384296876421255}, {"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": 174696069813842590599135038314}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 174653493652398941687995416625}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 174664224500363009675131881604}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 279552211236167678499162603}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 448002593692425691266350}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 722358121916081716023}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 1202183568331606054}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 2385101425784991}, {"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": 6943472123841621605561173894}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 6934602081025071113193666674}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 6934690112411952697092479379}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 55498790634042495180403993}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 444188112253254598162859}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 3561838219320867666264}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 28722531068095905783}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 239275402037045807}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 2388768116719191}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 5686612741511445670050416310922}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 7281194439997513183370363244}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 11184631618196329052787915}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 11113054733089608876105661}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 11113083100694531883070478}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 445523378904459691104248}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 17890238338099745578125}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 715792508749461995086}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 28677962157022877278}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 1156377939805181465}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 48176719209272410}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 2407264122517263}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 116424561161654637916318}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 746311304679404708412}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 722421771733871931661}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 722422139125377569771}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 149071614113308739552}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 29768905917865018899}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 5961487506032420122}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 1192603311497909529}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 238912073631317583}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 48165022007186797}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 10031570889797069}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 2503555100553776}, {"parameter": "6, 2", "name": "Ahlswede_Aydinian", "value": 2384222412593006}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 2384222459843732}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 2384222696097389}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 2384223877366256}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 2384229783725141}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 2384259315883428}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 2384406985771908}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 2385145562710387}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 2388844143558728}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 2407480554411910}, {"parameter": "6, 12", "name": "Ahlswede_Aydinian", "value": 2504393616518153}, {"parameter": "6, 13", "name": "Ahlswede_Aydinian", "value": 3104408566792806}, {"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": 2384222412593006}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 2384207177789000}, {"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": 746311304679404708412}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 751102447538992421268}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 776139193653745103228}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 931367016489171576241}, {"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": 11184631618196329052787915}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 11200140473655706828514711}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 11286851202720802566158014}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 11738325056958023412069244}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 14555521580143174343917859}, {"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": 6943472123841621605561173894}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 6945676960664604732244754176}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 6956718783031496442072855297}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 7012372418220917838156944665}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 7302216521718249071459568161}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 9113161397634846900019906998}, {"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": 174696069813842590599135038314}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 174698288062317778386153053204}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 174754119129639204744616653887}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 175033722851568689321874911784}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 176443012062172645403141237275}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 183782962443842442068388374267}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 9186346458309637392213570419}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 3552997895924877066015045483683476}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 181916286326690616649458169872}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 181918614020635170543569269230}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 181930253235175769216030134716}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 181988467934284493151203765631}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 182280007836165274051580997964}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 183749461530396756259918681507}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 38278213557869437271462948806}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 9569283749811464701602707554}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 9095092491882556911010058657}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 9095115767928207783682516507}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 9095232149645686681046000185}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 9095814095466076677605865300}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 9098724755690779654550004926}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 9113301372175925193503218016}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 9186772037824623593101718989}, {"parameter": "6, 12, o", "name": "Ahlswede_Aydinian", "value": 9569426811200971421467936174}, {"parameter": "6, 13, o", "name": "Ahlswede_Aydinian", "value": 11960833022875371081037525431}, {"parameter": "", "name": "improved_johnson", "value": 2384207177788988}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 186266212468259768036}], "known_codes": [], "upper_bound": 2384207177788988, "classified": false, "lower_bound": 2384185791015626, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 2384185791015625}, {"parameter": "", "name": "sphere_covering", "value": 7500812}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 2384185791015626}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (2, 9, 10, 13, 14, 16, 17, 18)]", "name": "ef_computation", "value": 2384185791015626}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 2384185791015625}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 2384185791015626}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 95367431640626}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 3814697265626}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 152587890626}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 2384185791015626}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 95367431640626}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 3814697265626}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 152587890626}, {"parameter": "", "name": "construction_1", "value": 2384185791015626}, {"parameter": "8", "name": "linkage_GLT", "value": 2384185791015626}, {"parameter": "9", "name": "linkage_GLT", "value": 95367431640626}, {"parameter": "10", "name": "linkage_GLT", "value": 3814697265626}, {"parameter": "11", "name": "linkage_GLT", "value": 152587890626}, {"parameter": "8", "name": "improved_linkage", "value": 2384185791015626}, {"parameter": "9", "name": "improved_linkage", "value": 95367431640626}, {"parameter": "10", "name": "improved_linkage", "value": 3814697265626}, {"parameter": "11", "name": "improved_linkage", "value": 152587890626}, {"parameter": "12", "name": "improved_linkage", "value": 390626}, {"parameter": "8,0", "name": "generalized_linkage", "value": 2384185791015626}, {"parameter": "8,1", "name": "generalized_linkage", "value": 2384185791015626}, {"parameter": "9,0", "name": "generalized_linkage", "value": 95367431640626}, {"parameter": "9,1", "name": "generalized_linkage", "value": 95367431640626}, {"parameter": "10,0", "name": "generalized_linkage", "value": 3814697265626}, {"parameter": "10,1", "name": "generalized_linkage", "value": 3814697265626}, {"parameter": "11,0", "name": "generalized_linkage", "value": 152587890626}, {"parameter": "11,1", "name": "generalized_linkage", "value": 152587890626}, {"parameter": "12,1", "name": "generalized_linkage", "value": 390626}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384185791015626}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384185791015626}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 95367431640626}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95367431640626}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3814697265626}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3814697265626}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 152587890626}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 152587890626}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 390626}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 1220703130}], "request": [5, 19, 14, 8], "liftedmrdsizebound": 2384185791015626, "comments": "", "equal_bound_constraints": []}