{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1072899407235501640594173584630829335134329469413072927564629311304442562608422652286}, {"parameter": "", "name": "singleton", "value": 1121715605764106708446}, {"parameter": "2", "name": "ilp_2", "value": 984771130951584136342}, {"parameter": "3", "name": "ilp_2", "value": 30903219711473935603040210453326}, {"parameter": "4", "name": "ilp_2", "value": 969792203391907204092728313403938183273054}, {"parameter": "5", "name": "ilp_2", "value": 30437746136116296700646966229901852929751322431249926}, {"parameter": "6", "name": "ilp_2", "value": 956480770814138996591287443404989870665739868000412801893363480}, {"parameter": "7", "name": "ilp_2", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "9", "name": "ilp_3", "value": 22154727289187692946051393846384899192720638345033996809474450123648443963726}, {"parameter": "10", "name": "ilp_3", "value": 508313098778064808275530746240229804692728081381435498208021123959335}, {"parameter": "11", "name": "ilp_3", "value": 11792206526260621493306791059293388848538400929501368247598256}, {"parameter": "12", "name": "ilp_3", "value": 273897963281002786554205194045094977972722798619128958}, {"parameter": "13", "name": "ilp_3", "value": 6362698910215526646555168040090852955195216560}, {"parameter": "14", "name": "ilp_3", "value": 147808864179812389508014662749022324905}, {"parameter": "", "name": "anticode", "value": 984771130951584136342}, {"parameter": "", "name": "linear_programming_bound", "value": 984771130951584136342}, {"parameter": "", "name": "sphere_packing", "value": 129608076376689398903767775582675201094}, {"parameter": "1", "name": "ilp_1", "value": 984771028053044247870}, {"parameter": "15", "name": "ilp_4", "value": 147808836710335366194093510674055547848}, {"parameter": "16", "name": "ilp_4", "value": 147808836710335366194093510674055547848}, {"parameter": "17", "name": "ilp_4", "value": 278128413222956936525922785944052}, {"parameter": "18", "name": "ilp_4", "value": 523347698935584141196998302}, {"parameter": "", "name": "johnson_1", "value": 984771028053044247870}, {"parameter": "", "name": "johnson_2", "value": 523347698935584141196998302}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1072899407235501640594173584630829335134329469413072927564629311304442562608422652286}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 22154727289187692946051393846384899192720638345033996809474450123648443963726}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 508313098778064808275530746240229804692728081381435498208021123959335}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 11792206526260621493306791059293388848538400929501368247598256}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 273897963281002786554205194045094977972722798619128958}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 6362698910215526646555168040090852955195216560}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 147808864179812389508014662749022324905}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 147808836710335366194093510674055547848}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 147808836710335366194093510674055547848}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 278128413222956936525922785944052}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 523347698935584141196998302}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 5647923434942666828522445363212797918234998723806816770403447733088}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1166262210971660630886562891678661455177402312935768695898506}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 243501976071530085378797849224447294904314049400639309}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 50902455684026773649970526812909535681563218744}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 10642260718485964374478180698444712426006}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 10642260718486377877697277909812399045812}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 10642420923498355271762002251838472117632}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 180254833844482617023718219556317699}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 3056359493970178533950337477560}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 52334824736650950519605922}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 984772061870911538689}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 956480770814138996591287443404989870665739868000412801893363480}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1599811281771890945790682038980811532907737151134889384292}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 2973162707356188106270803811772170944011299887049548}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 5586855944678842365654569129554384879545830303}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 10511053060228227553330475125981772052939}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 10510897003455780495048367131657084750584}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 10510916537392780690431179242261645850613}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1602064150389110497807049736111823012}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 244217016605184739499329262011431}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 37273036870612013755467413480}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 5751182311458828617876678}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 984789432451748720503}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 30437746136116296700646966229901852929751322431249926}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 458192776412537884235222042940806046085960500138}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 7663739779045380279497913025310350044756284}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 129608076376689398903767775582675201094}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 129590519989698325107189022955046640578}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 129590547046288941747201026468513403913}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 177774176059089559950352488932458920}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 243866538257321049085964650467454}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 334597684515713014763376530826}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 459611318996087114342434262}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 638338128491377782024354}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 984937688593047209454}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 969792203391907204092728313403938183273054}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 131390354074353346518194731458625803072}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 19778767742288858065420892470778422}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 19754651016093176181526503467952270}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 19754651474872941141188944731809814}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 244012655901316887445980860676593}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 3014546870109544032128332047924}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 37217188188519843527127239048}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 459541810818198816231276432}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 5681151786864521358369035}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 71014143114707183963078}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 986273931928855159841}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 30903219711473935603040210453326}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 37686853307874989009152358800}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 37273273164380408660771430352}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 37273273260470286841680491215}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 4186860929140952416025707799}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 465136837529375970362821239}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 51688884473711616195133420}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 5743295855484652647801772}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 638242196037465868374836}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 71013089119346455724460}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 7988849072310505780139}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 998450154330193673092}, {"parameter": "6, 2", "name": "Ahlswede_Aydinian", "value": 984771130951584136342}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 984771130982620297952}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 984771131261945752529}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 984771133775874850132}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 984771156401237247805}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 984771360029540886420}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 984773192687680464335}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 984789686886894541987}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 984938157035774666726}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 986276201664654674260}, {"parameter": "6, 12", "name": "Ahlswede_Aydinian", "value": 998467292794331532585}, {"parameter": "6, 13", "name": "Ahlswede_Aydinian", "value": 1121715605764106708446}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1072899407235501640594173584630829335134329469413072927564629311304442562608422652286}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 956480770814138996591287443404989870665739868000412801893363480}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 30437746136116296700646966229901852929751322431249926}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 969792203391907204092728313403938183273054}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 30903219711473935603040210453326}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 984771130951584136342}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 984771028053044247870}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 22154727289187692946051393846384899192720638345033996809474450123648443963726}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 5647923434942666828522445363212797918234998723806816770403447733088}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1599811281771890945790682038980811532907737151134889384292}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 458192776412537884235222042940806046085960500138}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 131390354074353346518194731458625803072}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 37686853307874989009152358800}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 37732833614803520008921059267}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 38152087321526453425514841509}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 42391208133813624722283430374}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 508313098778064808275530746240229804692728081381435498208021123959335}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1166262210971660630886562891678661455177402312935768695898506}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 2973162707356188106270803811772170944011299887049548}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 7663739779045380279497913025310350044756284}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 19778767742288858065420892470778422}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 19781582997011385504131438478597643}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 19808420038052701959043521516800770}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 20052968433015423210138540997564867}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 22528643541741360643522295156305079}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 11792206526260621493306791059293388848538400929501368247598256}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 243501976071530085378797849224447294904314049400639309}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 5586855944678842365654569129554384879545830303}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 129608076376689398903767775582675201094}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 129610268327049233238665029839413367041}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 129629998887077109767598383576940445347}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 129807817811914167610160109055009205743}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 131428189715011405378918613362885989753}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 147834177345737203063537357028825327278}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 273897963281002786554205194045094977972722798619128958}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 50902455684026773649970526812909535681563218744}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 10511053060228227553330475125981772052939}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 10511055254814221994055209962792675554581}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 10511233236300709079248149923131771166869}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 10512835313923405933371286948908228735820}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 10527273818092889614568754940620597240315}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 10658844659493229418538393542120258459081}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 148037105078660521628898674194899100853}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 6362698910215526646555168040090852955195216560}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 10642260718485964374478180698444712426006}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 10642262943477369481331181163081899418814}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 10642282968437695798578510918504733594187}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 10642463196132793143499064627714270301572}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 10644085492651355572274848718906948311147}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 10658706217107322647877693125551872076840}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 1199101945147087777601685532531986931651}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 149887676981509966296498585636327250430}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 147808864179812389508014662749022324905}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 147808867613438947435470047177556553483}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 147808898516084429649842828312285213502}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 147809176640417100813141292464746009393}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 147811679801801689107768900451886699428}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 147834211688420768610900990351260518037}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 148037277216863819992198180045738404577}, {"parameter": "6, 12, o", "name": "Ahlswede_Aydinian", "value": 149887711457338029005608135509247076407}, {"parameter": "6, 13, o", "name": "Ahlswede_Aydinian", "value": 168623318873839155489174680568370759015}, {"parameter": "", "name": "improved_johnson", "value": 984771028053044247831}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 4710129302427829637710071576}], "known_codes": [], "upper_bound": 984771028053044247831, "classified": false, "lower_bound": 984770902183611232882, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 984770902183611232881}, {"parameter": "", "name": "sphere_covering", "value": 3061107992}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 984770902183611232882}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (2, 9, 10, 13, 14, 16, 17, 18)]", "name": "ef_computation", "value": 984770902183611232882}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 984770902183611232881}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 984770902183611232882}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 12157665459056928802}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 150094635296999122}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 1853020188851842}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 984770902183611232882}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 12157665459056928802}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 150094635296999122}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 1853020188851842}, {"parameter": "", "name": "construction_1", "value": 984770902183611232882}, {"parameter": "8", "name": "linkage_GLT", "value": 984770902183611232882}, {"parameter": "9", "name": "linkage_GLT", "value": 12157665459056928802}, {"parameter": "10", "name": "linkage_GLT", "value": 150094635296999122}, {"parameter": "11", "name": "linkage_GLT", "value": 1853020188851842}, {"parameter": "8", "name": "improved_linkage", "value": 984770902183611232882}, {"parameter": "9", "name": "improved_linkage", "value": 12157665459056928802}, {"parameter": "10", "name": "improved_linkage", "value": 150094635296999122}, {"parameter": "11", "name": "improved_linkage", "value": 1853020188851842}, {"parameter": "12", "name": "improved_linkage", "value": 43046722}, {"parameter": "8,0", "name": "generalized_linkage", "value": 984770902183611232882}, {"parameter": "8,1", "name": "generalized_linkage", "value": 984770902183611232882}, {"parameter": "9,0", "name": "generalized_linkage", "value": 12157665459056928802}, {"parameter": "9,1", "name": "generalized_linkage", "value": 12157665459056928802}, {"parameter": "10,0", "name": "generalized_linkage", "value": 150094635296999122}, {"parameter": "10,1", "name": "generalized_linkage", "value": 150094635296999122}, {"parameter": "11,0", "name": "generalized_linkage", "value": 1853020188851842}, {"parameter": "11,1", "name": "generalized_linkage", "value": 1853020188851842}, {"parameter": "12,1", "name": "generalized_linkage", "value": 43046722}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902183611232882}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902183611232882}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157665459056928802}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665459056928802}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094635296999122}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094635296999122}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1853020188851842}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1853020188851842}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 43046722}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 2541865828338}], "request": [9, 19, 14, 8], "liftedmrdsizebound": 984770902183611232882, "comments": "", "equal_bound_constraints": []}