{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 870332534209370628368397575515105530919233947896291056}, {"parameter": "", "name": "singleton", "value": 61035156}, {"parameter": "1", "name": "ilp_2", "value": 48828750}, {"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": "13", "name": "ilp_3", "value": 2910429596925726016616057}, {"parameter": "", "name": "anticode", "value": 48828750}, {"parameter": "", "name": "linear_programming_bound", "value": 48828750}, {"parameter": "", "name": "sphere_packing", "value": 17780887500206297858075}, {"parameter": "", "name": "DrakeFreeman", "value": 48828438}, {"parameter": "", "name": "partial_spread_5", "value": 48828749}, {"parameter": "4", "name": "partial_spread_HKK16_T10", "value": 48828663}, {"parameter": "5", "name": "partial_spread_HKK16_T10", "value": 48828450}, {"parameter": "6", "name": "partial_spread_HKK16_T10", "value": 48828439}, {"parameter": "7", "name": "partial_spread_HKK16_T10", "value": 48828438}, {"parameter": "", "name": "partial_spread_NS_2_Theorem6", "value": 48828730}, {"parameter": "", "name": "spread_bound", "value": 48828750}, {"parameter": "", "name": "XiaFuJohnson1", "value": 48828750}, {"parameter": "14", "name": "ilp_4", "value": 2910429596925726016616057}, {"parameter": "15", "name": "ilp_4", "value": 186265110014721167232}, {"parameter": "16", "name": "ilp_4", "value": 11920936523419654}, {"parameter": "17", "name": "ilp_4", "value": 762944078124}, {"parameter": "", "name": "johnson_1", "value": 48828750}, {"parameter": "", "name": "johnson_2", "value": 762944078124}, {"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": 2910429596925726016616057}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 2910429596925726016616057}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 186265110014721167232}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 11920936523419654}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 762944078124}, {"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": 11642761493301130945488298}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 11643357610317932422210954}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 3726590016292208011995}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1194034527711560324}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 384562916338271}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 127162049103}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 48829775}, {"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": 2236246858593694921023847}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 2236274330911559983461414}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 3577114104064467397651}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 5725214195992564088}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 9175066017480029}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 14793827141892}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 24620404318}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 48843751}, {"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": 17780887500206297858075}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 17780932597424197052001}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 142022087616271227199}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 1136612295254873278}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 9096945566280683}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 72946111500429}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 588229904615}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 4900088344}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 48906316}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 116461530803878411105655}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 746548289550830467363}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 5735326750723257360}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 5735329663720135432}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 227595355532467396}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 9124301304211143}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 366391000224712}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 14659363029440}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 587317135758}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 23681336938}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 986393574}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 49221888}, {"parameter": "5, 2", "name": "Ahlswede_Aydinian", "value": 2384368908590779}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 76915127607493}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 76915135227096}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 14795167290847}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 3052978589357}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 609665572504}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 122090699188}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 24424200786}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 4892653492}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 986160264}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 205169997}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 50862626}, {"parameter": "6, 1", "name": "Ahlswede_Aydinian", "value": 48828750}, {"parameter": "6, 2", "name": "Ahlswede_Aydinian", "value": 48828750}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 48828755}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 48828775}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 48828880}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 48829400}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 48832005}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 48845029}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 48910235}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 49238382}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 50933773}, {"parameter": "6, 12", "name": "Ahlswede_Aydinian", "value": 61035156}, {"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": 48828750}, {"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": 76915127607493}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 79476449969936}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 95371738336241}, {"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": 5735326750723257360}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 5778853021919726645}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 6010007043511706387}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 7452407970829827759}, {"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": 17780887500206297858075}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 17809154494128307207344}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 17951627434456732930503}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 18693626439894776406372}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 23329633454083565610111}, {"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": 2236246858593694921023847}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 2236847001565100546393241}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 2240425917053918109488635}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 2258464772770895426759497}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 2352415897145327228798286}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 2939571078761966271178620}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 227391865152924638021716445892}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 11642761493301130945488298}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 11643506401124936113505432}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 11647232132330877386237797}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 11665890638289756734645972}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 11759935433987582755081985}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 12249749609221007846212544}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 3062012447615399816194539}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 2910429596925726016616057}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 2910466838980023297142966}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 2910653061166037782928451}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 2911584470054628927036574}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 2916248975394219862027241}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 2939759528242514382389324}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 3062208742400474100803473}, {"parameter": "6, 12, o", "name": "Ahlswede_Aydinian", "value": 3827456772141158994166056}, {"parameter": "", "name": "improved_johnson", "value": 48828736}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 19073650391036}], "known_codes": [], "upper_bound": 48828438, "classified": false, "lower_bound": 48828126, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 48828125}, {"parameter": "", "name": "sphere_covering", "value": 2501}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 48828126}, {"parameter": "", "name": "multicomponent", "value": 48828126}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6), (11, 12, 13, 14, 15, 16, 17)]", "name": "ef_computation", "value": 48828126}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 48828125}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 48828126}, {"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": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 78126}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 48828126}, {"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": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 78126}, {"parameter": "7", "name": "linkage_GLT", "value": 48828126}, {"parameter": "8", "name": "linkage_GLT", "value": 9765626}, {"parameter": "9", "name": "linkage_GLT", "value": 1953126}, {"parameter": "10", "name": "linkage_GLT", "value": 390626}, {"parameter": "11", "name": "linkage_GLT", "value": 78126}, {"parameter": "7", "name": "improved_linkage", "value": 48828126}, {"parameter": "8", "name": "improved_linkage", "value": 9765626}, {"parameter": "9", "name": "improved_linkage", "value": 1953126}, {"parameter": "10", "name": "improved_linkage", "value": 390626}, {"parameter": "11", "name": "improved_linkage", "value": 78126}, {"parameter": "7,0", "name": "generalized_linkage", "value": 48828126}, {"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": "11,0", "name": "generalized_linkage", "value": 78126}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 48828126}, {"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": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 78126}, {"parameter": "", "name": "JohnsonLB", "value": 48828001}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 5}], "request": [5, 18, 14, 7], "liftedmrdsizebound": 48828126, "comments": "", "equal_bound_constraints": []}