{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 71425080387019299237581315602206452684576535149974900600}, {"parameter": "", "name": "singleton", "value": 2306881200}, {"parameter": "1", "name": "ilp_2", "value": 1977343550}, {"parameter": "2", "name": "ilp_2", "value": 3910086928129460042}, {"parameter": "3", "name": "ilp_2", "value": 7734740916881156562817118265}, {"parameter": "4", "name": "ilp_2", "value": 15338829685176301053982478623483262665}, {"parameter": "5", "name": "ilp_2", "value": 30961750603810590349247857064423799840484432033}, {"parameter": "7", "name": "ilp_3", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "8", "name": "ilp_3", "value": 4332845747159677930585779132913792972087613758}, {"parameter": "9", "name": "ilp_3", "value": 36721210132462755676911165348061266109749}, {"parameter": "10", "name": "ilp_3", "value": 311995139191489845597327511100537342}, {"parameter": "11", "name": "ilp_3", "value": 2651757141537803743064274074110}, {"parameter": "", "name": "anticode", "value": 1977343550}, {"parameter": "", "name": "linear_programming_bound", "value": 1977343550}, {"parameter": "", "name": "sphere_packing", "value": 2234270785721737942669345827540}, {"parameter": "", "name": "DrakeFreeman", "value": 1977335470}, {"parameter": "", "name": "partial_spread_5", "value": 1977343549}, {"parameter": "5", "name": "partial_spread_HKK16_T10", "value": 1977343232}, {"parameter": "6", "name": "partial_spread_HKK16_T10", "value": 1977335470}, {"parameter": "", "name": "partial_spread_NS_2_Theorem6", "value": 1977343523}, {"parameter": "", "name": "spread_bound", "value": 1977343550}, {"parameter": "", "name": "XiaFuJohnson1", "value": 1977343550}, {"parameter": "12", "name": "ilp_4", "value": 2651757141537803743064274074110}, {"parameter": "13", "name": "ilp_4", "value": 157775605532756823747489535}, {"parameter": "14", "name": "ilp_4", "value": 9387505034461139839617}, {"parameter": "15", "name": "ilp_4", "value": 558548205520613232}, {"parameter": "16", "name": "ilp_4", "value": 33233072588750}, {"parameter": "", "name": "johnson_1", "value": 1977343550}, {"parameter": "", "name": "johnson_2", "value": 33233072588750}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 71425080387019299237581315602206452684576535149974900600}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 4332845747159677930585779132913792972087613758}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 36721210132462755676911165348061266109749}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 311995139191489845597327511100537342}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 2651757141537803743064274074110}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 2651757141537803743064274074110}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 157775605532756823747489535}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 9387505034461139839617}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 558548205520613232}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 33233072588750}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 30961750603810590349247857064423799840484432033}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1579036649185606989016058003170000440540200}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 92033872456882562700856446671670331351}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 5459961325420885221058232393319396}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 324727092029230572559803948115}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 324727429988086753631475340012}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 135239681760102289054630701}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 56330023072624095780976}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 23469600728067781076}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 9799434684926666}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 4154394401648}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1977444393}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 15338829685176301053982478623483262665}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 5476197676819932806270293750158749}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 2234270785721737942669345827540}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 927846578874413524750750767}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 927846736483773639165447407}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 2703969615408833331005846}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 7884297019713947671781}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 22988269925291322045}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 67061971465957722}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 196075734254462}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 583311451150}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 1978150464}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 7734740916881156562817118265}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 19336852301929293740777734}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 55228425191043513936955}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 55228426552253732593876}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 1123835624818440569379}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 22958639732675549476}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 469215710284663951}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 9576316366335175}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 195516593542903}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 4001755039679}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 83360592506}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 1983108376}, {"parameter": "4, 2", "name": "Ahlswede_Aydinian", "value": 3910086928129460042}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 68598016317042452}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 68598016555528739}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 9604212362402585}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 1395961336991609}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 199341926046877}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 28487618164466}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 4069863657703}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 581651147758}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 83331593105}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 12147971516}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 2018521044}, {"parameter": "5, 1", "name": "Ahlswede_Aydinian", "value": 1977343550}, {"parameter": "5, 2", "name": "Ahlswede_Aydinian", "value": 1977343551}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 1977343557}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 1977343600}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 1977343900}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 1977346000}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 1977360706}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 1977463650}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 1978184514}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 1983243244}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 2019286620}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 2306881200}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 71425080387019299237581315602206452684576535149974900600}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 30961750603810590349247857064423799840484432033}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 15338829685176301053982478623483262665}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 7734740916881156562817118265}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 3910086928129460042}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1977343550}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1579036649185606989016058003170000440540200}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 5476197676819932806270293750158749}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 19336852301929293740777734}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 68598016317042452}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 69822980890338030}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 79797692410788822}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 4332845747159677930585779132913792972087613758}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 92033872456882562700856446671670331351}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 2234270785721737942669345827540}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 55228425191043513936955}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 55386607930471314995669}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 56516946843256556933595}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 65744203237984062174657}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 36721210132462755676911165348061266109749}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 5459961325420885221058232393319396}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 927846578874413524750750767}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 928228178757518618424228878}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 930934382956595815798340603}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 950272302691054370151117194}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 1108189246322960605903413052}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 311995139191489845597327511100537342}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 324727092029230572559803948115}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 324744040083884094839532324106}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 324879293601239408373130879303}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 325828836421374037193459216093}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 332614102752590709080788821923}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 388026629280127140049553152849}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 2651757141537803743064274074110}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 2651779679787888121322906398384}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 2651937456925907032681802180118}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 2653042357067682470778225507771}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 2660799272597580922693583892180}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 2716228879089867716728925176829}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 3168902828959544132129870582100}, {"parameter": "", "name": "improved_johnson", "value": 1977343544}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 11398957733539891}], "known_codes": [], "upper_bound": 1977335470, "classified": false, "lower_bound": 1977326744, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1977326743}, {"parameter": "", "name": "sphere_covering", "value": 100844}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 1977326744}, {"parameter": "", "name": "multicomponent", "value": 1977326744}, {"parameter": "[(0, 1, 2, 3, 4, 5), (8, 10, 11, 13, 14, 16)]", "name": "ef_computation", "value": 1977326744}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1977326743}, {"parameter": "(6, 11)", "name": "CKMP2019_Lem_41", "value": 1977326744}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 282475250}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 40353608}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 5764802}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 823544}, {"parameter": "(11, 6)", "name": "CKMP2019_Lem_41", "value": 117650}, {"parameter": "(6, 11)", "name": "CKMP2019_Cor_42", "value": 1977326744}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 282475250}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 40353608}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 5764802}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 823544}, {"parameter": "(11, 6)", "name": "CKMP2019_Cor_42", "value": 117650}, {"parameter": "6", "name": "linkage_GLT", "value": 1977326744}, {"parameter": "7", "name": "linkage_GLT", "value": 282475250}, {"parameter": "8", "name": "linkage_GLT", "value": 40353608}, {"parameter": "9", "name": "linkage_GLT", "value": 5764802}, {"parameter": "10", "name": "linkage_GLT", "value": 823544}, {"parameter": "11", "name": "linkage_GLT", "value": 117650}, {"parameter": "6", "name": "improved_linkage", "value": 1977326744}, {"parameter": "7", "name": "improved_linkage", "value": 282475250}, {"parameter": "8", "name": "improved_linkage", "value": 40353608}, {"parameter": "9", "name": "improved_linkage", "value": 5764802}, {"parameter": "10", "name": "improved_linkage", "value": 823544}, {"parameter": "11", "name": "improved_linkage", "value": 117650}, {"parameter": "6,0", "name": "generalized_linkage", "value": 1977326744}, {"parameter": "7,0", "name": "generalized_linkage", "value": 282475250}, {"parameter": "8,0", "name": "generalized_linkage", "value": 40353608}, {"parameter": "9,0", "name": "generalized_linkage", "value": 5764802}, {"parameter": "10,0", "name": "generalized_linkage", "value": 823544}, {"parameter": "11,0", "name": "generalized_linkage", "value": 117650}, {"parameter": "[6, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1977326744}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 282475250}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 40353608}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5764802}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 823544}, {"parameter": "[11, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 117650}, {"parameter": "", "name": "JohnsonLB", "value": 1977324343}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 7}], "request": [7, 17, 12, 6], "liftedmrdsizebound": 1977326744, "comments": "", "equal_bound_constraints": []}