{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 108791843055238262380012581148498138201467880091570509806}, {"parameter": "", "name": "singleton", "value": 1222439084242108174806}, {"parameter": "3", "name": "ilp_2", "value": 931396489287181935298}, {"parameter": "4", "name": "ilp_2", "value": 9098580386120647817629858656}, {"parameter": "5", "name": "ilp_2", "value": 88995717216197638948566257951299424}, {"parameter": "6", "name": "ilp_2", "value": 876107661519621300531765374210814893791135}, {"parameter": "7", "name": "ilp_2", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "9", "name": "ilp_3", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "10", "name": "ilp_3", "value": 547567611418261424891277474450051364364269260}, {"parameter": "11", "name": "ilp_3", "value": 1390558929027550120224123434105442371309}, {"parameter": "12", "name": "ilp_3", "value": 3554135143494969010236711047653405}, {"parameter": "13", "name": "ilp_3", "value": 9095674427288746078427735155}, {"parameter": "", "name": "anticode", "value": 931396489287181935298}, {"parameter": "", "name": "linear_programming_bound", "value": 931396489287181935298}, {"parameter": "", "name": "sphere_packing", "value": 2756040360016861947932915864746871}, {"parameter": "1", "name": "ilp_1", "value": 931367016489171576254}, {"parameter": "2", "name": "ilp_1", "value": 931367016489266302709}, {"parameter": "14", "name": "ilp_4", "value": 9095208722797051400936647769}, {"parameter": "15", "name": "ilp_4", "value": 9095208721604924203183129024}, {"parameter": "16", "name": "ilp_4", "value": 9095208721604924203183129024}, {"parameter": "17", "name": "ilp_4", "value": 2910518946230504261971874}, {"parameter": "", "name": "johnson_1", "value": 931367016489171576254}, {"parameter": "", "name": "johnson_2", "value": 2910518946230504261971874}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 108791843055238262380012581148498138201467880091570509806}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 547567611418261424891277474450051364364269260}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1390558929027550120224123434105442371309}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 3554135143494969010236711047653405}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 9095674427288746078427735155}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 9095208722797051400936647769}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 9095208721604924203183129024}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 9095208721604924203183129024}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 2910518946230504261971874}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 91261455473190185491726142338436148019594293}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1121421798351998622713172960069553685398}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 14239396046864918954807771429743809}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 181974513700340146600567105329}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 181941897749017268611435499060}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 181988488770320878752727830727}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 182221804952650376941052443928}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 293456149215784223070773078}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 485183895341944730636728}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 931692246400606974481}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 876107661519621300531765374210814893791135}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 44857290852496442894603174296177338675}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 2756040360016861947932915864746871}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 174976009963316220797216391521}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 174821200360902601656934601996}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 174831931482938947437070932337}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 174885654292664917280426119927}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1401416886713923419251735811}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 11306653202578787248122611}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 94070920000082647020924}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 933172058699108294791}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 88995717216197638948566257951299424}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 22784364120363610315970849529467}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 6999449804826127365988726971}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 6972374527071331857322268812}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 6972457986855523816919905321}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 6972900569254714296003920895}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 280071704034830809363688484}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 11219961113629167414179210}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 452395947057133157890230}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 18844172432701903435412}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 940638399159515725526}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 9098580386120647817629858656}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 11649912055228707815603496}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 11649918002818002204349088}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 11649947740840466206190835}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 11650096432852611946441386}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 2326588804239230358973721}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 466039133592204551813419}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 93351032069679012624200}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 18821262468978629610341}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 3920625247433360683374}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 979518516888923645151}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 931396489287181935298}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 931396584020489509345}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 931397057687268078534}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 931399426027178413589}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 931411267877169227110}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 931470480888340579103}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 931766640004492459876}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 933249790831440698874}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 940724897210944605432}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 979645554714404737750}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 1222439084242108174806}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 108791843055238262380012581148498138201467880091570509806}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 876107661519621300531765374210814893791135}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 88995717216197638948566257951299424}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 9098580386120647817629858656}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 931396489287181935298}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 931367016489266302709}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 931367016489171576254}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 222805808653701992049685695631200350211185526554526}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 91261455473190185491726142338436148019594293}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 44857290852496442894603174296177338675}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 22784364120363610315970849529467}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 11649912055228707815603496}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 11663079375904880217881744}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 11738325018183721040914384}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 12129602351844849360550218}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 14555521580143174343917859}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 547567611418261424891277474450051364364269260}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 1121421798351998622713172960069553685398}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 2756040360016861947932915864746871}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 6999449804826127365988726971}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 7001600719693619324813802262}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 7012372390603031090530968492}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 7066661613015057551700214372}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 7349327470623465465781282372}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 9113161397634846900019906998}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 1390558929027550120224123434105442371309}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 14239396046864918954807771429743809}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 174976009963316220797216391521}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 174978160096046671477369659410}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 175033722140147642215121156455}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 175311978023088744878933128834}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 176714459347596039531178045168}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 184018578485881907745993002452}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 9186346458309637392213570419}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 3554135143494969010236711047653405}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 181974513700340146600567105329}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 181976839157972035339490124206}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 181988467190043265774292664383}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 182046625954146532509129637818}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 182337885613588793139925945454}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 183805923791156540954615876934}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 38288015263848200704060658106}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 9569283749811464701602707554}, {"parameter": "5, 5, o", "name": "Ahlswede_Aydinian", "value": 9095674427288746078427735155}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 9095697698864248338661074327}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 9095814058230622009621612498}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 9096395892286431165450121348}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 9099305993461786754889632030}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 9113879809029667288657473348}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 9187336327138184481252517360}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 9569916633888068990759767134}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 11960833022875371081037525431}, {"parameter": "", "name": "improved_johnson", "value": 931367016489171576241}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 2910520138379675018361847}], "known_codes": [], "upper_bound": 931367016489171576241, "classified": false, "lower_bound": 931322574615478531251, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 931322574615478515625}, {"parameter": "", "name": "sphere_covering", "value": 23255537942}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 931322574615478515626}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (0, 1, 8, 9, 10, 11, 12, 13), (6, 7, 9, 10, 14, 15, 16, 17)]", "name": "ef_computation", "value": 931322574615478531251}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 931322574615478515626}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 931322574615478515626}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 7450580596923828126}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 59604644775390626}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 931322574615478515626}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 7450580596923828126}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 59604644775390626}, {"parameter": "8", "name": "linkage_GLT", "value": 931322574615478515626}, {"parameter": "9", "name": "linkage_GLT", "value": 7450580596923828126}, {"parameter": "10", "name": "linkage_GLT", "value": 59604644775390626}, {"parameter": "8", "name": "improved_linkage", "value": 931322574615478515626}, {"parameter": "9", "name": "improved_linkage", "value": 7450580596923828126}, {"parameter": "10", "name": "improved_linkage", "value": 59604644775390626}, {"parameter": "11", "name": "improved_linkage", "value": 152587890626}, {"parameter": "12", "name": "improved_linkage", "value": 390626}, {"parameter": "8,0", "name": "generalized_linkage", "value": 931322574615478515626}, {"parameter": "8,1", "name": "generalized_linkage", "value": 931322574615478515626}, {"parameter": "8,2", "name": "generalized_linkage", "value": 931322574615478515626}, {"parameter": "9,0", "name": "generalized_linkage", "value": 7450580596923828126}, {"parameter": "9,1", "name": "generalized_linkage", "value": 7450580596923828126}, {"parameter": "9,2", "name": "generalized_linkage", "value": 7450580596923828126}, {"parameter": "10,0", "name": "generalized_linkage", "value": 59604644775390626}, {"parameter": "10,1", "name": "generalized_linkage", "value": 59604644775390626}, {"parameter": "10,2", "name": "generalized_linkage", "value": 59604644775390626}, {"parameter": "11,1", "name": "generalized_linkage", "value": 152587890626}, {"parameter": "11,2", "name": "generalized_linkage", "value": 152587890626}, {"parameter": "12,2", "name": "generalized_linkage", "value": 390626}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 931322574615478515626}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 931322574615478515626}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322574615478515626}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7450580596923828126}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7450580596923828126}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7450580596923828126}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 59604644775390626}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 59604644775390626}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 59604644775390626}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 152587890626}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 152587890626}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 390626}, {"parameter": "", "name": "JohnsonLB", "value": 931322097778369140601}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 11920928955156255}], "request": [5, 18, 12, 8], "liftedmrdsizebound": 931322574615478531261, "comments": "", "equal_bound_constraints": []}