{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 2225721943123325021617750304033262410650004373089980901}, {"parameter": "", "name": "singleton", "value": 1398101}, {"parameter": "1", "name": "ilp_2", "value": 1048580}, {"parameter": "2", "name": "ilp_2", "value": 1099532599612}, {"parameter": "3", "name": "ilp_2", "value": 1153013869485329862}, {"parameter": "4", "name": "ilp_2", "value": 1209317914559435956226794}, {"parameter": "5", "name": "ilp_2", "value": 1269301292439498539091599425619}, {"parameter": "6", "name": "ilp_2", "value": 1336178313600332746325054033309650297}, {"parameter": "7", "name": "ilp_2", "value": 1423323926840885190913361977602773942712110}, {"parameter": "8", "name": "ilp_2", "value": 1591960769016920109217968018071128202218583902801}, {"parameter": "10", "name": "ilp_3", "value": 6367847630708318494006867331473463731206650091095}, {"parameter": "11", "name": "ilp_3", "value": 22773203190285674976295944754611661572399455}, {"parameter": "12", "name": "ilp_3", "value": 85515492350071065043074462569653823895}, {"parameter": "13", "name": "ilp_3", "value": 324941439542316811208438860829183}, {"parameter": "14", "name": "ilp_3", "value": 1238342724331218086918633585}, {"parameter": "15", "name": "ilp_3", "value": 4722749312277033345968}, {"parameter": "16", "name": "ilp_3", "value": 18014759291207743}, {"parameter": "17", "name": "ilp_3", "value": 68719804416}, {"parameter": "", "name": "anticode", "value": 1048580}, {"parameter": "", "name": "linear_programming_bound", "value": 1048580}, {"parameter": "", "name": "sphere_packing", "value": 796221869738262169}, {"parameter": "", "name": "DrakeFreeman", "value": 1048578}, {"parameter": "", "name": "partial_spread_5", "value": 1048579}, {"parameter": "", "name": "partial_spread_kurz16_28", "value": 1048577}, {"parameter": "", "name": "spread_bound", "value": 1048580}, {"parameter": "", "name": "XiaFuJohnson1", "value": 1048580}, {"parameter": "18", "name": "ilp_4", "value": 68719804416}, {"parameter": "", "name": "johnson_1", "value": 1048580}, {"parameter": "", "name": "johnson_2", "value": 68719804416}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 2225721943123325021617750304033262410650004373089980901}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 6367847630708318494006867331473463731206650091095}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 22773203190285674976295944754611661572399455}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 85515492350071065043074462569653823895}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 324941439542316811208438860829183}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1238342724331218086918633585}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 4722749312277033345968}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 18014759291207743}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 68719804416}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 68719804416}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1591960769016920109217968018071128202218583902801}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 18218627706984912430404285253392277166183747}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 260620554044763687462004962304169011671}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 3914663010079668288139942500755889}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 59502412384571529489839725331}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 907214241891031393036922}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 13849757392921677557}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 211939143525777}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 214462199234910}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 13744002826}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 1048577}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1423323926840885190913361977602773942712110}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 65155651148299424986785952513077832917}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 3728263818981700750230718243838336}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 224003033152164467228407227703}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 13619436168664843424301587}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 830642795680683115668}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 50732483719673581}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 50918991625996327}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 12615606813853}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 3272421571}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 1048605}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 1336178313600332746325054033309650297}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 244676719967069078160081961040376}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 56003121672253061193035295936}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 13459255640154730438103123}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 3273315088884805350768}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 798560843298356401}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 799329112322354339}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 783416352445518}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 776959365546}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 808609545}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 1048706}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 1269301292439498539091599425619}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 929891939435036087254369068}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 851396694982321171137399}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 818475722175621108709}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 796221869738262169}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 796415405859716877}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 3110987115074722}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 12198984482892}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 48416227787}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 201681215}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 1049601}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 1209317914559435956226794}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 3546390215105288885324}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 12990489709583295008}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 49955032101467438}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 49958069389153850}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 777748863224439}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 12167132774744}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 190958769095}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 3036442082}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 50593472}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 1052678}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 1153013869485329862}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 13564881833932960}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 198899310246081}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 198902308816108}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 12241440612188}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 768257531762}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 48388157627}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 3035247036}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 192688829}, {"parameter": "6, 12", "name": "Ahlswede_Aydinian", "value": 12836853}, {"parameter": "6, 13", "name": "Ahlswede_Aydinian", "value": 1065217}, {"parameter": "7, 2", "name": "Ahlswede_Aydinian", "value": 1099532599612}, {"parameter": "7, 3", "name": "Ahlswede_Aydinian", "value": 52358742772}, {"parameter": "7, 4", "name": "Ahlswede_Aydinian", "value": 52358932982}, {"parameter": "7, 5", "name": "Ahlswede_Aydinian", "value": 12328960166}, {"parameter": "7, 6", "name": "Ahlswede_Aydinian", "value": 3224684709}, {"parameter": "7, 7", "name": "Ahlswede_Aydinian", "value": 803407124}, {"parameter": "7, 8", "name": "Ahlswede_Aydinian", "value": 201592571}, {"parameter": "7, 9", "name": "Ahlswede_Aydinian", "value": 50574737}, {"parameter": "7, 10", "name": "Ahlswede_Aydinian", "value": 12836832}, {"parameter": "7, 11", "name": "Ahlswede_Aydinian", "value": 3412097}, {"parameter": "7, 12", "name": "Ahlswede_Aydinian", "value": 1118481}, {"parameter": "8, 1", "name": "Ahlswede_Aydinian", "value": 1048580}, {"parameter": "8, 2", "name": "Ahlswede_Aydinian", "value": 1048580}, {"parameter": "8, 3", "name": "Ahlswede_Aydinian", "value": 1048583}, {"parameter": "8, 4", "name": "Ahlswede_Aydinian", "value": 1048596}, {"parameter": "8, 5", "name": "Ahlswede_Aydinian", "value": 1048648}, {"parameter": "8, 6", "name": "Ahlswede_Aydinian", "value": 1048852}, {"parameter": "8, 7", "name": "Ahlswede_Aydinian", "value": 1049672}, {"parameter": "8, 8", "name": "Ahlswede_Aydinian", "value": 1052962}, {"parameter": "8, 9", "name": "Ahlswede_Aydinian", "value": 1066280}, {"parameter": "8, 10", "name": "Ahlswede_Aydinian", "value": 1122209}, {"parameter": "8, 11", "name": "Ahlswede_Aydinian", "value": 1398101}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 2225721943123325021617750304033262410650004373089980901}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1591960769016920109217968018071128202218583902801}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1423323926840885190913361977602773942712110}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1336178313600332746325054033309650297}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1269301292439498539091599425619}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1209317914559435956226794}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1153013869485329862}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1099532599612}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 1048580}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 6367847630708318494006867331473463731206650091095}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 18218627706984912430404285253392277166183747}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 65155651148299424986785952513077832917}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 244676719967069078160081961040376}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 929891939435036087254369068}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 3546390215105288885324}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 13564881833932960}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 52358742772}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 54976042763}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 68720001025}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 22773203190285674976295944754611661572399455}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 260620554044763687462004962304169011671}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 3728263818981700750230718243838336}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 56003121672253061193035295936}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 851396694982321171137399}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 12990489709583295008}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 198899310246081}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 201849846523462}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 214465306098337}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 68720787457}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 85515492350071065043074462569653823895}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 3914663010079668288139942500755889}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 224003033152164467228407227703}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 13459255640154730438103123}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 818475722175621108709}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 49955032101467438}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 50138681999260469}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 50922062339852112}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 52988618447712}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 68731536070}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 324941439542316811208438860829183}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 59502412384571529489839725331}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 13619436168664843424301587}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 3273315088884805350768}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 796221869738262169}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 796413269600635507}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 799523686477802265}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 3172316585913662}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 13217619993503}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 68772180473}, {"parameter": "5, 5, o", "name": "Ahlswede_Aydinian", "value": 1238342724331218086918633585}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 907214241891031393036922}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 830642795680683115668}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 798560843298356401}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 796415405859716877}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 797192584805050736}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 12507948070862412}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 198642550249189}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 3316391914843}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 69055611193}, {"parameter": "6, 4, o", "name": "Ahlswede_Aydinian", "value": 4722749312277033345968}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 13849757392921677557}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 50732483719673581}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 50140976779801089}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 50153182319641285}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 3149836943040351}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 198974906744857}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 12629655685649}, {"parameter": "6, 12, o", "name": "Ahlswede_Aydinian", "value": 841847666309}, {"parameter": "6, 13, o", "name": "Ahlswede_Aydinian", "value": 70084022593}, {"parameter": "7, 3, o", "name": "Ahlswede_Aydinian", "value": 18014759291207743}, {"parameter": "7, 4, o", "name": "Ahlswede_Aydinian", "value": 211939143525777}, {"parameter": "7, 5, o", "name": "Ahlswede_Aydinian", "value": 201997830679875}, {"parameter": "7, 6, o", "name": "Ahlswede_Aydinian", "value": 202010014591535}, {"parameter": "7, 7, o", "name": "Ahlswede_Aydinian", "value": 52846137746764}, {"parameter": "7, 8, o", "name": "Ahlswede_Aydinian", "value": 13175864291027}, {"parameter": "7, 9, o", "name": "Ahlswede_Aydinian", "value": 3315846240425}, {"parameter": "7, 10, o", "name": "Ahlswede_Aydinian", "value": 841768335407}, {"parameter": "7, 11, o", "name": "Ahlswede_Aydinian", "value": 224330545734}, {"parameter": "7, 12, o", "name": "Ahlswede_Aydinian", "value": 74463405185}, {"parameter": "8, 2, o", "name": "Ahlswede_Aydinian", "value": 68719804416}, {"parameter": "8, 3, o", "name": "Ahlswede_Aydinian", "value": 68720054075}, {"parameter": "8, 4, o", "name": "Ahlswede_Aydinian", "value": 68721052726}, {"parameter": "8, 5, o", "name": "Ahlswede_Aydinian", "value": 68725047562}, {"parameter": "8, 6, o", "name": "Ahlswede_Aydinian", "value": 68741030584}, {"parameter": "8, 7, o", "name": "Ahlswede_Aydinian", "value": 68805021630}, {"parameter": "8, 8, o", "name": "Ahlswede_Aydinian", "value": 69061932564}, {"parameter": "8, 9, o", "name": "Ahlswede_Aydinian", "value": 70104949832}, {"parameter": "8, 10, o", "name": "Ahlswede_Aydinian", "value": 74538328257}, {"parameter": "8, 11, o", "name": "Ahlswede_Aydinian", "value": 97734250405}, {"parameter": "", "name": "improved_johnson", "value": 1048577}], "known_codes": [], "upper_bound": 1048577, "classified": false, "lower_bound": 1048577, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1048576}, {"parameter": "", "name": "sphere_covering", "value": 13}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 1048577}, {"parameter": "", "name": "multicomponent", "value": 1048577}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7, 8), (10, 11, 12, 13, 14, 15, 16, 17, 18)]", "name": "ef_computation", "value": 1048577}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1048576}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1048577}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 262145}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1048577}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 262145}, {"parameter": "9", "name": "linkage_GLT", "value": 1048577}, {"parameter": "10", "name": "linkage_GLT", "value": 262145}, {"parameter": "9", "name": "improved_linkage", "value": 1048577}, {"parameter": "10", "name": "improved_linkage", "value": 262145}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1048577}, {"parameter": "10,0", "name": "generalized_linkage", "value": 262145}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1048577}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 262145}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 4}], "request": [4, 19, 18, 9], "liftedmrdsizebound": 1048577, "comments": "", "equal_bound_constraints": [{"parameter": "", "name": "partial_spread_2", "value": 1048577}, {"parameter": "", "name": "partial_spread_NS", "value": 1048577}]}