{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 870332534209370628368397575515105530919233947896291056}, {"parameter": "", "name": "singleton", "value": 3104408566792806}, {"parameter": "2", "name": "ilp_2", "value": 2384368908590779}, {"parameter": "3", "name": "ilp_2", "value": 116461530803878411105655}, {"parameter": "4", "name": "ilp_2", "value": 5695711321711525533836291519251}, {"parameter": "5", "name": "ilp_2", "value": 280353734208548278360038273757809566376}, {"parameter": "6", "name": "ilp_2", "value": 14259528298893356287455013230655223211344523276}, {"parameter": "8", "name": "ilp_3", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "9", "name": "ilp_3", "value": 109513513312304355768254719250504246386128876}, {"parameter": "10", "name": "ilp_3", "value": 1390558929027550120224123434105442371309}, {"parameter": "11", "name": "ilp_3", "value": 17770676008629601969140838236623549}, {"parameter": "12", "name": "ilp_3", "value": 227391865152924638021716445892}, {"parameter": "", "name": "anticode", "value": 2384368908590779}, {"parameter": "", "name": "linear_programming_bound", "value": 2384368908590779}, {"parameter": "", "name": "sphere_packing", "value": 22049610782367013168770711461818}, {"parameter": "1", "name": "ilp_1", "value": 2384296876421268}, {"parameter": "13", "name": "ilp_4", "value": 227380222689419270774146137161}, {"parameter": "14", "name": "ilp_4", "value": 227380222689419270774146137161}, {"parameter": "15", "name": "ilp_4", "value": 72761484993119987815714701}, {"parameter": "16", "name": "ilp_4", "value": 23284092439274228495215}, {"parameter": "17", "name": "ilp_4", "value": 7450917210111659374}, {"parameter": "", "name": "johnson_1", "value": 2384296876421268}, {"parameter": "", "name": "johnson_2", "value": 7450917210111659374}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 870332534209370628368397575515105530919233947896291056}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 109513513312304355768254719250504246386128876}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1390558929027550120224123434105442371309}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 17770676008629601969140838236623549}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 227391865152924638021716445892}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 227380222689419270774146137161}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 227380222689419270774146137161}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 72761484993119987815714701}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 23284092439274228495215}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 7450917210111659374}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 14259528298893356287455013230655223211344523276}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 730097206108725145069772253321837589717901}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 44857290852496442894603174296177338675}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 2847902306209856184657898679941949}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 181974513700340146600567105329}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 181929791094323472154200159506}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 181939106018828012029468381724}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 291180838753201248173337744}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 466518847596221147016219}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 751250585625996331819}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1242253703800341473}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 2385101425784991}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 280353734208548278360038273757809566376}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 71775150977756254955337004185721795}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 22049610782367013168770711461818}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 6999449804826127365988726971}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 6990507679963890323120547202}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 6990593558429536508300381602}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 55946075117918250066344828}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 447763398179901642804085}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 3590323792745065824016}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 28944827342048104154}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 240818600566114274}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 2388768116719191}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 5695711321711525533836291519251}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 7292844349908255868988228806}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 11202527019620200816168540}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 11130835575129142459155246}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 11130863805987547354552933}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 446236170674631487141670}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 17918853556730990292151}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 716935943753519148484}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 28723479702743768216}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 1158154113578420930}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 48238381330623615}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 2407264122517263}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 116461530803878411105655}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 746548289550830467363}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 722651170591130427403}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 722651537628737064502}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 149118949947279609147}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 29778358178325773763}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 5963379919657419357}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 1192981405787382663}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 238987330275590003}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 48179703682821825}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 10034118393581909}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 2503555100553776}, {"parameter": "5, 2", "name": "Ahlswede_Aydinian", "value": 2384368908590779}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 2384368955832312}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 2384369192039996}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 2384370373079001}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 2384376278288578}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 2384405804700236}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 2384553445853394}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 2385291879060848}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 2388989739891647}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 2407622516332208}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 2504516513923759}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 3104408566792806}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 870332534209370628368397575515105530919233947896291056}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 14259528298893356287455013230655223211344523276}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 280353734208548278360038273757809566376}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 5695711321711525533836291519251}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 116461530803878411105655}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 2384368908590779}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 2384296876421268}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 730097206108725145069772253321837589717901}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 71775150977756254955337004185721795}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 7292844349908255868988228806}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 746548289550830467363}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 751364729730834000753}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 776410218584539620707}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 931692246400606974481}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 109513513312304355768254719250504246386128876}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 44857290852496442894603174296177338675}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 22049610782367013168770711461818}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 11202527019620200816168540}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 11219738691429122934427713}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 11306601148587986558540151}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 11758865000321052294346322}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 14580991107308309542042206}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 1390558929027550120224123434105442371309}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 2847902306209856184657898679941949}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 6999449804826127365988726971}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 7001455604743732463489372999}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 7012586101071444630885449513}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 7068686673881292787552540255}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 7360858428276429972647718332}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 9186346458309637392209273489}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 17770676008629601969140838236623549}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 181974513700340146600567105329}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 181976824364920517893236612019}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 182034981676851286303963678979}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 182326234659342083497977707147}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 183794239745075159809989130891}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 191439997910436356405599226238}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 239222784482400726040014553914}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 227391865152924638021716445892}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 227394774725664388496331966934}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 227409323520371127232874600665}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 227482090776554366230610423382}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 227846510056437238784370493805}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 229683298961211478789506255478}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 239249859617695504244377206144}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 299039198587280398947721603556}, {"parameter": "", "name": "improved_johnson", "value": 2384296876421255}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 186273403297834315248}], "known_codes": [], "upper_bound": 2384296876421255, "classified": false, "lower_bound": 2384185791031251, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 2384185791015625}, {"parameter": "", "name": "sphere_covering", "value": 187531705}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 2384185791015626}, {"parameter": "", "name": "coset_construction", "value": 2384185791031251}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6), (0, 7, 8, 9, 10, 11, 12), (2, 12, 13, 14, 15, 16, 17)]", "name": "ef_computation", "value": 2384185791031251}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 2384185791015625}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 2384185791015626}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 95367431640626}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 3814697265626}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 152587890626}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 6103515626}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 2384185791015626}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 95367431640626}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 3814697265626}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 152587890626}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 6103515626}, {"parameter": "", "name": "construction_1", "value": 2384185791031251}, {"parameter": "7", "name": "linkage_GLT", "value": 2384185791015626}, {"parameter": "8", "name": "linkage_GLT", "value": 95367431640626}, {"parameter": "9", "name": "linkage_GLT", "value": 3814697265626}, {"parameter": "10", "name": "linkage_GLT", "value": 152587890626}, {"parameter": "11", "name": "linkage_GLT", "value": 6103515626}, {"parameter": "7", "name": "improved_linkage", "value": 2384185791015626}, {"parameter": "8", "name": "improved_linkage", "value": 95367431640626}, {"parameter": "9", "name": "improved_linkage", "value": 3814697265626}, {"parameter": "10", "name": "improved_linkage", "value": 152587890626}, {"parameter": "11", "name": "improved_linkage", "value": 6103515626}, {"parameter": "12", "name": "improved_linkage", "value": 78126}, {"parameter": "7,0", "name": "generalized_linkage", "value": 2384185791015626}, {"parameter": "7,1", "name": "generalized_linkage", "value": 2384185791015626}, {"parameter": "8,0", "name": "generalized_linkage", "value": 95367431640626}, {"parameter": "8,1", "name": "generalized_linkage", "value": 95367431640626}, {"parameter": "9,0", "name": "generalized_linkage", "value": 3814697265626}, {"parameter": "9,1", "name": "generalized_linkage", "value": 3814697265626}, {"parameter": "10,0", "name": "generalized_linkage", "value": 152587890626}, {"parameter": "10,1", "name": "generalized_linkage", "value": 152587890626}, {"parameter": "11,0", "name": "generalized_linkage", "value": 6103515626}, {"parameter": "11,1", "name": "generalized_linkage", "value": 6103515626}, {"parameter": "12,1", "name": "generalized_linkage", "value": 78126}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384185791015626}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384185791015626}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 95367431640626}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95367431640626}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3814697265626}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3814697265626}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 152587890626}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 152587890626}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6103515626}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6103515626}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 78126}, {"parameter": "", "name": "JohnsonLB", "value": 2384179687500126}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 1220781255}], "request": [5, 18, 12, 7], "liftedmrdsizebound": 2384185791031251, "comments": "", "equal_bound_constraints": []}