{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 108791843055238262380012581148498138201467880091570509806}, {"parameter": "", "name": "singleton", "value": 12207031}, {"parameter": "1", "name": "ilp_2", "value": 9765650}, {"parameter": "2", "name": "ilp_2", "value": 95368896503600}, {"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": "14", "name": "ilp_3", "value": 23283436302375781176398}, {"parameter": "15", "name": "ilp_3", "value": 59604833984394374}, {"parameter": "", "name": "anticode", "value": 9765650}, {"parameter": "", "name": "linear_programming_bound", "value": 9765650}, {"parameter": "", "name": "sphere_packing", "value": 2221916675293604798381857}, {"parameter": "", "name": "DrakeFreeman", "value": 9765638}, {"parameter": "", "name": "partial_spread_5", "value": 9765649}, {"parameter": "", "name": "partial_spread_kurz16_28", "value": 9765626}, {"parameter": "", "name": "spread_bound", "value": 9765650}, {"parameter": "", "name": "XiaFuJohnson1", "value": 9765650}, {"parameter": "16", "name": "ilp_4", "value": 59604833984394374}, {"parameter": "17", "name": "ilp_4", "value": 762939921874}, {"parameter": "", "name": "johnson_1", "value": 9765650}, {"parameter": "", "name": "johnson_2", "value": 762939921874}, {"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": 23283436302375781176398}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 59604833984394374}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 59604833984394374}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 762939921874}, {"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": 2328647644358486517834376}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 29812414632516575733}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 29850635284905537119}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1922741343566178}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 127156924913}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 9765684}, {"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": 11180685620420990128993003}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 715378864655009591638}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 715598688129485087170}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 229329179951739973}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 73953263463330}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 24612036303}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 9765941}, {"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": 2221916675293604798381857}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 709885089742897753320}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 709930150272019658005}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 1135885375137672668}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 1820328389290902}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 2936022510535}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 4891785344}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 9768751}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 9098580386120647817629858656}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 11649912055228707815603496}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 17895419359167438101918}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 28404045682786257271}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 28404408212713395667}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 226886841959672053}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 1816255013302392}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 14555119993840}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 117465853967}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 978764412}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 9781261}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 931396489287181935298}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 5970490923208266085}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 45868071392064812}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 45868188024582803}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 1820207972095658}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 72975878060845}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 2931129430980}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 117424348231}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 4734679730}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 197228725}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 9844376}, {"parameter": "6, 2", "name": "Ahlswede_Aydinian", "value": 95368896503600}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 3076416321088}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 3076417845306}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 591771785276}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 122113150762}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 24386634496}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 4884840541}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 978422948}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 197220904}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 41031904}, {"parameter": "6, 12", "name": "Ahlswede_Aydinian", "value": 10172526}, {"parameter": "7, 1", "name": "Ahlswede_Aydinian", "value": 9765650}, {"parameter": "7, 2", "name": "Ahlswede_Aydinian", "value": 9765650}, {"parameter": "7, 3", "name": "Ahlswede_Aydinian", "value": 9765655}, {"parameter": "7, 4", "name": "Ahlswede_Aydinian", "value": 9765675}, {"parameter": "7, 5", "name": "Ahlswede_Aydinian", "value": 9765780}, {"parameter": "7, 6", "name": "Ahlswede_Aydinian", "value": 9766300}, {"parameter": "7, 7", "name": "Ahlswede_Aydinian", "value": 9768905}, {"parameter": "7, 8", "name": "Ahlswede_Aydinian", "value": 9781947}, {"parameter": "7, 9", "name": "Ahlswede_Aydinian", "value": 9847579}, {"parameter": "7, 10", "name": "Ahlswede_Aydinian", "value": 10186671}, {"parameter": "7, 11", "name": "Ahlswede_Aydinian", "value": 12207031}, {"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": 95368896503600}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 9765650}, {"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": 5970490923208266085}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 3076416321088}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 3178924424934}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 3814708984376}, {"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": 17895419359167438101918}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 45868071392064812}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 46220811650463852}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 48069640140559989}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 59606323255859400}, {"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": 2221916675293604798381857}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 28404045682786257271}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 28442644974100822421}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 28670183696910256708}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 29855205218136569625}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 59618836473840788}, {"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": 11180685620420990128993003}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 709885089742897753320}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 709474962961640023415}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 710610023902758423996}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 716331284961265697578}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 5969796404508712017}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 59723097178981911}, {"parameter": "5, 5, o", "name": "Ahlswede_Aydinian", "value": 9095674427288746078427735155}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 2328647644358486517834376}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 715378864655009591638}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 712655409965962151893}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 712882884851672042644}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 714024666839528270149}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 28901304489080959640}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 1204116232224660267}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 60199016570769013}, {"parameter": "6, 4, o", "name": "Ahlswede_Aydinian", "value": 23283436302375781176398}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 29812414632516575733}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 29812795723300575435}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 29814701298994725639}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 29824232222792245474}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 5965215834827165085}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 1204131540020586321}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 250831193555138932}, {"parameter": "6, 12, o", "name": "Ahlswede_Aydinian", "value": 62689177437692526}, {"parameter": "7, 3, o", "name": "Ahlswede_Aydinian", "value": 59604833984394374}, {"parameter": "7, 4, o", "name": "Ahlswede_Aydinian", "value": 59604985593083785}, {"parameter": "7, 5, o", "name": "Ahlswede_Aydinian", "value": 59605743646161737}, {"parameter": "7, 6, o", "name": "Ahlswede_Aydinian", "value": 59609534152339315}, {"parameter": "7, 7, o", "name": "Ahlswede_Aydinian", "value": 59628492704834402}, {"parameter": "7, 8, o", "name": "Ahlswede_Aydinian", "value": 59723436246845575}, {"parameter": "7, 9, o", "name": "Ahlswede_Aydinian", "value": 60201953604118509}, {"parameter": "7, 10, o", "name": "Ahlswede_Aydinian", "value": 62693457197483619}, {"parameter": "7, 11, o", "name": "Ahlswede_Aydinian", "value": 78236053707784181}, {"parameter": "", "name": "improved_johnson", "value": 9765626}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 762940234375}], "known_codes": [], "upper_bound": 9765626, "classified": false, "lower_bound": 9765626, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 9765625}, {"parameter": "", "name": "sphere_covering", "value": 101}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 9765626}, {"parameter": "", "name": "multicomponent", "value": 9765626}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (10, 11, 12, 13, 14, 15, 16, 17)]", "name": "ef_computation", "value": 9765626}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 9765625}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 9765626}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 1953126}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 390626}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 9765626}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 1953126}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 390626}, {"parameter": "8", "name": "linkage_GLT", "value": 9765626}, {"parameter": "9", "name": "linkage_GLT", "value": 1953126}, {"parameter": "10", "name": "linkage_GLT", "value": 390626}, {"parameter": "8", "name": "improved_linkage", "value": 9765626}, {"parameter": "9", "name": "improved_linkage", "value": 1953126}, {"parameter": "10", "name": "improved_linkage", "value": 390626}, {"parameter": "8,0", "name": "generalized_linkage", "value": 9765626}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1953126}, {"parameter": "10,0", "name": "generalized_linkage", "value": 390626}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9765626}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1953126}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 390626}, {"parameter": "", "name": "JohnsonLB", "value": 9765621}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 5}], "request": [5, 18, 16, 8], "liftedmrdsizebound": 9765626, "comments": "", "equal_bound_constraints": [{"parameter": "", "name": "partial_spread_NS", "value": 9765626}]}