{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 4015416416396119033147299622148303750458461840668912175671578360534665}, {"parameter": "", "name": "singleton", "value": 9817068105}, {"parameter": "1", "name": "ilp_2", "value": 8589938688}, {"parameter": "2", "name": "ilp_2", "value": 73787292955411710535}, {"parameter": "3", "name": "ilp_2", "value": 633847363694167576172006961224}, {"parameter": "4", "name": "ilp_2", "value": 5446036994319946616530116939991562620417}, {"parameter": "5", "name": "ilp_2", "value": 46872649710776340205384521009499981207402512421377}, {"parameter": "6", "name": "ilp_2", "value": 409023995091874635940228064878877984564869415324170471940673}, {"parameter": "8", "name": "ilp_3", "value": 1675362383731318531236030375425130228897301064847913389063742017}, {"parameter": "9", "name": "ilp_3", "value": 786392621408892340039925677267528188884691566006169539073}, {"parameter": "10", "name": "ilp_3", "value": 374248837972239427019508041537566991576593724829839}, {"parameter": "11", "name": "ilp_3", "value": 178412184081358443680946234820559977708234367}, {"parameter": "12", "name": "ilp_3", "value": 85070962608427261681965210854064993333}, {"parameter": "13", "name": "ilp_3", "value": 40564841312701014431528360152421}, {"parameter": "", "name": "anticode", "value": 8589938688}, {"parameter": "", "name": "linear_programming_bound", "value": 8589938688}, {"parameter": "", "name": "sphere_packing", "value": 68129536157873479888421892605}, {"parameter": "", "name": "DrakeFreeman", "value": 8589936641}, {"parameter": "", "name": "partial_spread_5", "value": 8589938687}, {"parameter": "4", "name": "partial_spread_HKK16_T10", "value": 8589938395}, {"parameter": "5", "name": "partial_spread_HKK16_T10", "value": 8589936701}, {"parameter": "6", "name": "partial_spread_HKK16_T10", "value": 8589936645}, {"parameter": "7", "name": "partial_spread_HKK16_T10", "value": 8589936641}, {"parameter": "", "name": "partial_spread_NS_2_Theorem6", "value": 8589938650}, {"parameter": "", "name": "spread_bound", "value": 8589938688}, {"parameter": "", "name": "XiaFuJohnson1", "value": 8589938688}, {"parameter": "14", "name": "ilp_4", "value": 40564841312701014431528360152421}, {"parameter": "15", "name": "ilp_4", "value": 154742515449095123678223306}, {"parameter": "16", "name": "ilp_4", "value": 590295885743971415111}, {"parameter": "17", "name": "ilp_4", "value": 2251800338235391}, {"parameter": "", "name": "johnson_1", "value": 8589938688}, {"parameter": "", "name": "johnson_2", "value": 2251800338235391}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 4015416416396119033147299622148303750458461840668912175671578360534665}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1675362383731318531236030375425130228897301064847913389063742017}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 786392621408892340039925677267528188884691566006169539073}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 374248837972239427019508041537566991576593724829839}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 178412184081358443680946234820559977708234367}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 85070962608427261681965210854064993333}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 40564841312701014431528360152421}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 40564841312701014431528360152421}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 154742515449095123678223306}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 590295885743971415111}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 2251800338235391}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 409023995091874635940228064878877984564869415324170471940673}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1365265527343893463449063261853794543574899440237968364}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 5126698816982236650128837726950412087283046022040}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 19518607348764349439724726194850610090653822}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 74439403914122047838089145146922578011}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 283955243186821180819086103471988}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 283956190990151643164995540678879}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 8665853589274186699784004072}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 264517561670949813106781}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 8086263031544607325}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 250200564459034}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 8589951523}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 46872649710776340205384521009499981207402512421377}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 1251639555559497730794638845356351204377370617}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 37600197636000846500994867738703306901290}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 1145225899108351972821098157398467701}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 34940990559329413981353692701665}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 34941006959731259751999331190537}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 8530290986482287423707068273}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 2082669025014492531013643}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 508588038692060383549}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 124406241488914173}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 30847631859550}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 8590196737}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 5446036994319946616530116939991562620417}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 1163434521459640099008984964533439987}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 279604547594526709041396606027537}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 68129536157873479888421892605}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 68129540209913380435354982479}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 133033093620507299785034778}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 259851073086483139052521}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 507544583959033289127}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 991656806694369744}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 1940611645533918}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 3850289441707}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 8592032008}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 633847363694167576172006961224}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 1083499767124466668050296299}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 2083208270280763145469897}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 2083208285771559708416751}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 32486694407495279766401}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 507976546515487254728}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 7944665117043080942}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 124138700853192364}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 1940142712663246}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 30373994133139}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 482111944575}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 8606744609}, {"parameter": "5, 2", "name": "Ahlswede_Aydinian", "value": 73787292955411710535}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 1010784835121695241}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 1010784836050138207}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 124407610482295738}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 15763148453654477}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 1969920957321415}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 246292838037356}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 30787415806548}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 3849366504946}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 482099455354}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 61205618660}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 8726282753}, {"parameter": "6, 1", "name": "Ahlswede_Aydinian", "value": 8589938688}, {"parameter": "6, 2", "name": "Ahlswede_Aydinian", "value": 8589938688}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 8589938696}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 8589938752}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 8589939208}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 8589942848}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 8589971976}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 8590204999}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 8592069584}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 8607011850}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 8728210131}, {"parameter": "6, 12", "name": "Ahlswede_Aydinian", "value": 9817068105}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 4015416416396119033147299622148303750458461840668912175671578360534665}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 409023995091874635940228064878877984564869415324170471940673}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 46872649710776340205384521009499981207402512421377}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 5446036994319946616530116939991562620417}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 633847363694167576172006961224}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 73787292955411710535}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 8589938688}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1675362383731318531236030375425130228897301064847913389063742017}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1365265527343893463449063261853794543574899440237968364}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1251639555559497730794638845356351204377370617}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1163434521459640099008984964533439987}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1083499767124466668050296299}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1010784835121695241}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1024821566307973544}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 1152924261977165288}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 786392621408892340039925677267528188884691566006169539073}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 5126698816982236650128837726950412087283046022040}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 37600197636000846500994867738703306901290}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 279604547594526709041396606027537}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 2083208270280763145469897}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 2087190507880232713704102}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 2119802859349507384230314}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 2417900134193687014350356}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 374248837972239427019508041537566991576593724829839}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 19518607348764349439724726194850610090653822}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 1145225899108351972821098157398467701}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 68129536157873479888421892605}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 68146140911746569132807485830}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 68279238836254362334747451769}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 69360919428801166281947905362}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 79250268670574384747812491753}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 178412184081358443680946234820559977708234367}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 74439403914122047838089145146922578011}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 34940990559329413981353692701665}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 34941940013800410233441352594660}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 34950470757201686436125945083601}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 35018850254885490853461637027912}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 35574569078101598077796044176508}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 40655407171354750807444413287928}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 85070962608427261681965210854064993333}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 283955243186821180819086103471988}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 283956326357570665209685431129913}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 283964991988018606519111525692187}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 284034333960667427743009637571325}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 284590155322301857702473876168914}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 289107306170887818750203270439197}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 41300711093348340943127063106159}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 40564841312701014431528360152421}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 40564860654943595662270567826521}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 40565015393474508391309103607460}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 40566253339499787599392651804570}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 40576159326082980399118985475349}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 40655562298009879591564667311890}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 41300868682122116037438068935252}, {"parameter": "6, 12, o", "name": "Ahlswede_Aydinian", "value": 47200787357710533846587480462985}, {"parameter": "", "name": "improved_johnson", "value": 8589938665}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 144115230220224964}], "known_codes": [], "upper_bound": 8589936641, "classified": false, "lower_bound": 8589934593, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 8589934592}, {"parameter": "", "name": "sphere_covering", "value": 28673}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 8589934593}, {"parameter": "", "name": "multicomponent", "value": 8589934593}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6), (11, 12, 13, 14, 15, 16, 17)]", "name": "ef_computation", "value": 8589934593}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 8589934592}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 8589934593}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 1073741825}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 134217729}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 16777217}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 2097153}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 8589934593}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 1073741825}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 134217729}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 16777217}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 2097153}, {"parameter": "7", "name": "linkage_GLT", "value": 8589934593}, {"parameter": "8", "name": "linkage_GLT", "value": 1073741825}, {"parameter": "9", "name": "linkage_GLT", "value": 134217729}, {"parameter": "10", "name": "linkage_GLT", "value": 16777217}, {"parameter": "11", "name": "linkage_GLT", "value": 2097153}, {"parameter": "7", "name": "improved_linkage", "value": 8589934593}, {"parameter": "8", "name": "improved_linkage", "value": 1073741825}, {"parameter": "9", "name": "improved_linkage", "value": 134217729}, {"parameter": "10", "name": "improved_linkage", "value": 16777217}, {"parameter": "11", "name": "improved_linkage", "value": 2097153}, {"parameter": "7,0", "name": "generalized_linkage", "value": 8589934593}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1073741825}, {"parameter": "9,0", "name": "generalized_linkage", "value": 134217729}, {"parameter": "10,0", "name": "generalized_linkage", "value": 16777217}, {"parameter": "11,0", "name": "generalized_linkage", "value": 2097153}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 8589934593}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1073741825}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 134217729}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16777217}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2097153}, {"parameter": "", "name": "JohnsonLB", "value": 8589934081}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 8}], "request": [8, 18, 14, 7], "liftedmrdsizebound": 8589934593, "comments": "", "equal_bound_constraints": []}