{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 163526807242071685115835813551024717375245692141260970752894675669210919312157204}, {"parameter": "", "name": "singleton", "value": 317733228541}, {"parameter": "1", "name": "ilp_2", "value": 282429595530}, {"parameter": "2", "name": "ilp_2", "value": 79766609849006803916831}, {"parameter": "3", "name": "ilp_2", "value": 22528828173999107390633096601500531}, {"parameter": "4", "name": "ilp_2", "value": 6363776438657695073256483192556642358637786110}, {"parameter": "5", "name": "ilp_2", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "6", "name": "ilp_2", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "8", "name": "ilp_3", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "9", "name": "ilp_3", "value": 6275470353507182995197300009075849386592637967008710875741320445805}, {"parameter": "10", "name": "ilp_3", "value": 1310245169547399954096282639846392095088942247184064927427024}, {"parameter": "11", "name": "ilp_3", "value": 273897963281002786554205194045094977972722798619128958}, {"parameter": "12", "name": "ilp_3", "value": 57264290192119967396877088476588248158899983805}, {"parameter": "13", "name": "ilp_3", "value": 11972517998606671370639068873161799321836}, {"parameter": "", "name": "anticode", "value": 282429595530}, {"parameter": "", "name": "linear_programming_bound", "value": 282429595530}, {"parameter": "", "name": "sphere_packing", "value": 19754650965179813203759179898259331}, {"parameter": "", "name": "DrakeFreeman", "value": 282429566097}, {"parameter": "", "name": "partial_spread_5", "value": 282429595529}, {"parameter": "5", "name": "partial_spread_HKK16_T10", "value": 282429594558}, {"parameter": "6", "name": "partial_spread_HKK16_T10", "value": 282429566870}, {"parameter": "7", "name": "partial_spread_HKK16_T10", "value": 282429566097}, {"parameter": "", "name": "partial_spread_NS_2_Theorem6", "value": 282429595486}, {"parameter": "", "name": "spread_bound", "value": 282429595530}, {"parameter": "", "name": "XiaFuJohnson1", "value": 282429595530}, {"parameter": "14", "name": "ilp_4", "value": 11972517998606671370639068873161799321836}, {"parameter": "15", "name": "ilp_4", "value": 22528400133695278777361568850467280}, {"parameter": "16", "name": "ilp_4", "value": 42391160914930552477033332949}, {"parameter": "17", "name": "ilp_4", "value": 79766451269588503803789}, {"parameter": "18", "name": "ilp_4", "value": 150094650995234819}, {"parameter": "", "name": "johnson_1", "value": 282429595530}, {"parameter": "", "name": "johnson_2", "value": 150094650995234819}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 163526807242071685115835813551024717375245692141260970752894675669210919312157204}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 6275470353507182995197300009075849386592637967008710875741320445805}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1310245169547399954096282639846392095088942247184064927427024}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 273897963281002786554205194045094977972722798619128958}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 57264290192119967396877088476588248158899983805}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 11972517998606671370639068873161799321836}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 11972517998606671370639068873161799321836}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 22528400133695278777361568850467280}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 42391160914930552477033332949}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 79766451269588503803789}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 150094650995234819}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 860832853716562558944972792938190102679687994239857215602974626}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1599811281771890945790682038980811532907737151134889384292}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 3006197786387705274162300274727243220791189137183546}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 5655829343491930750535012619191866618270816564}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 10642260718485964374478180698444712426006}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 10642262696289596525483011215343463002251}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 180227615561118229890695252142061006}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 3052217788500699428036182112742}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 51696593598400791687604962}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 876555328144568324059}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 15009480891407666}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 282430067923}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 27092989219360500964658360295941898538106107828200492}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 453157775175801874516256113306018575984195247083}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 7663739779045380279497913025310350044756284}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 129766325312924692066465398904947161730}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 129766328290209432943588986398679030457}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 19778106618206277807232358831747671}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 3014515848475729366136657609580}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 459468215422324656716039768}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 70040770995795762143526}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 10689889962014783528}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 1649422632999342}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 282434319483}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 6363776438657695073256483192556642358637786110}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 862183503411488061062049719622315354307246}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 129788273888141096143062204530952319429}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 19754650965179813203759179898259331}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 19754651016093176181526503467952270}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 27094157829433518880838606970170}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 37168093268362891221258349448}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 50985571588939001779012010}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 69945414390140862050796}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 95961672300526444507}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 131815212414472988}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 183073273687035}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 282472589764}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 22528828173999107390633096601500531}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 27474180700096056012547376815583}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 37222843382970271044001300843}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 37222843393631034365398824396}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 458911854335875706907952149}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 5668552551021941904289910}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 70029518128642562879300}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 864561952205761520195}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 10673792537916302834}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 131795398942975751}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 1629335648954224}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 20366346467328}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 282817489141}, {"parameter": "5, 2", "name": "Ahlswede_Aydinian", "value": 79766609849006803916831}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 876556152189957425116}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 876556152217582654997}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 96208830861589764036}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 10807019384643091032}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 1200599203248626806}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 133417791470661371}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 14824199089676359}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 1647163541030152}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 183045759034997}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 20366047537237}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 2290864766811}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 285959905687}, {"parameter": "6, 1", "name": "Ahlswede_Aydinian", "value": 282429595530}, {"parameter": "6, 2", "name": "Ahlswede_Aydinian", "value": 282429595530}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 282429595539}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 282429595611}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 282429596268}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 282429602172}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 282429655316}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 282430133613}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 282434438351}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 282473186249}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 282822343651}, {"parameter": "6, 12", "name": "Ahlswede_Aydinian", "value": 285999674870}, {"parameter": "6, 13", "name": "Ahlswede_Aydinian", "value": 317733228541}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 163526807242071685115835813551024717375245692141260970752894675669210919312157204}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 6363776438657695073256483192556642358637786110}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 22528828173999107390633096601500531}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 79766609849006803916831}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 282429595530}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 860832853716562558944972792938190102679687994239857215602974626}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 27092989219360500964658360295941898538106107828200492}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 862183503411488061062049719622315354307246}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 27474180700096056012547376815583}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 876556152189957425116}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 886294855686644683473}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 984772061870911538689}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 6275470353507182995197300009075849386592637967008710875741320445805}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1599811281771890945790682038980811532907737151134889384292}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 453157775175801874516256113306018575984195247083}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 129788273888141096143062204530952319429}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 37222843382970271044001300843}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 37273342424312648873523582201}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 37733507145481537691664263257}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 42391964816412331623764245237}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 1310245169547399954096282639846392095088942247184064927427024}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 3006197786387705274162300274727243220791189137183546}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 7663739779045380279497913025310350044756284}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 19754650965179813203759179898259331}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 19757657806073080454791635655090965}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 19784760217267416397335495537494404}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 20031730474549062182205585881941344}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 22532261981298972738173459820820090}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 273897963281002786554205194045094977972722798619128958}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 5655829343491930750535012619191866618270816564}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 129766325312924692066465398904947161730}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 129768401869958916621545740624869721330}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 129788180623074274911998085831126976766}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 129966433914518268775813205951976914223}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 131590766692733218252104194486967945788}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 148037105078660521628898674193995119523}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 57264290192119967396877088476588248158899983805}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 10642260718485964374478180698444712426006}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 10642262943179596121400502569080949659471}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 10642443170799848591637789393602460472156}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 10644065466678194371423223524255565745952}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 10658686185397105576988292116930926042359}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 10791917481287983682458349577369765858824}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 12140884035629856924397345285557795937070}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 11972517998606671370639068873161799321836}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 11972520501754391569140288871275908883037}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 11972543030126264375087464764351599702270}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 11972745788906850353364909663422246197724}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 11974570896106710981878378728739705079740}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 11991019423997674438244030894560127559456}, {"parameter": "6, 12, o", "name": "Ahlswede_Aydinian", "value": 12140906630572971795720276113030320547521}, {"parameter": "6, 13, o", "name": "Ahlswede_Aydinian", "value": 13658514212390616911370927114097728660820}, {"parameter": "", "name": "improved_johnson", "value": 282429595513}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 109419003117004916425}], "known_codes": [], "upper_bound": 282429566097, "classified": false, "lower_bound": 282429536482, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 282429536481}, {"parameter": "", "name": "sphere_covering", "value": 472393}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 282429536482}, {"parameter": "", "name": "multicomponent", "value": 282429536482}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6), (12, 13, 14, 15, 16, 17, 18)]", "name": "ef_computation", "value": 282429536482}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 282429536481}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 282429536482}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 31381059610}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 3486784402}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 387420490}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 43046722}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 4782970}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 282429536482}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 31381059610}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 3486784402}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 387420490}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 43046722}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 4782970}, {"parameter": "7", "name": "linkage_GLT", "value": 282429536482}, {"parameter": "8", "name": "linkage_GLT", "value": 31381059610}, {"parameter": "9", "name": "linkage_GLT", "value": 3486784402}, {"parameter": "10", "name": "linkage_GLT", "value": 387420490}, {"parameter": "11", "name": "linkage_GLT", "value": 43046722}, {"parameter": "12", "name": "linkage_GLT", "value": 4782970}, {"parameter": "7", "name": "improved_linkage", "value": 282429536482}, {"parameter": "8", "name": "improved_linkage", "value": 31381059610}, {"parameter": "9", "name": "improved_linkage", "value": 3486784402}, {"parameter": "10", "name": "improved_linkage", "value": 387420490}, {"parameter": "11", "name": "improved_linkage", "value": 43046722}, {"parameter": "12", "name": "improved_linkage", "value": 4782970}, {"parameter": "7,0", "name": "generalized_linkage", "value": 282429536482}, {"parameter": "8,0", "name": "generalized_linkage", "value": 31381059610}, {"parameter": "9,0", "name": "generalized_linkage", "value": 3486784402}, {"parameter": "10,0", "name": "generalized_linkage", "value": 387420490}, {"parameter": "11,0", "name": "generalized_linkage", "value": 43046722}, {"parameter": "12,0", "name": "generalized_linkage", "value": 4782970}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 282429536482}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 31381059610}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3486784402}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 387420490}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 43046722}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4782970}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 9}], "request": [9, 19, 14, 7], "liftedmrdsizebound": 282429536482, "comments": "", "equal_bound_constraints": []}