{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 163526807242071685115835813551024717375245692141260970752894675669210919312157204}, {"parameter": "", "name": "singleton", "value": 90858964067210376612667}, {"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": "", "name": "anticode", "value": 79766609849006803916831}, {"parameter": "", "name": "linear_programming_bound", "value": 79766609849006803916831}, {"parameter": "", "name": "sphere_packing", "value": 453157775175801874516256113306018575984195247083}, {"parameter": "1", "name": "ilp_1", "value": 79766609849006803916831}, {"parameter": "13", "name": "ilp_4", "value": 57264194411795750965625547248266691302362374353}, {"parameter": "14", "name": "ilp_4", "value": 57264194411795750965625547248266691302362374353}, {"parameter": "15", "name": "ilp_4", "value": 969774588682480718223159682511327833615040}, {"parameter": "16", "name": "ilp_4", "value": 16423222052839318778643358926586843534}, {"parameter": "17", "name": "ilp_4", "value": 278128710114709423508632068211616}, {"parameter": "18", "name": "ilp_4", "value": 4710134244011329089144131012}, {"parameter": "", "name": "johnson_1", "value": 79766609849006803916831}, {"parameter": "", "name": "johnson_2", "value": 4710134244011329089144131012}, {"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": 57264194411795750965625547248266691302362374353}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 57264194411795750965625547248266691302362374353}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 969774588682480718223159682511327833615040}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 16423222052839318778643358926586843534}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 278128710114709423508632068211616}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 4710134244011329089144131012}, {"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": 5655744320753617879101433306742854861101839583}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 5655745371841535756695742446304560664842617551}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 862030487516213075334133806978460868837321}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 131389240349341171343050982991671127612}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 20028513123791601277737592661003074}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 3056414071772624322285569312357}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 471021821327164157443512612}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 79767944035369972243809}, {"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": 7662701509728203066524781805337129900176118}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 7662701685536867015318929646841996748537370}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 10511786786514101347871268206818958524848}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 14419611007889122713528266689803440594}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 19781782384254687638210084075291822}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 27139588706299352264965922314870}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 37279023009296861430117701928}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 51768519735638526021060859}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 79779953676155038583005}, {"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": 129630019633509934243067738492377731228}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 129630019967603422103176915756702796307}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 1601210713302013112457457163865100128}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 19781419344471420692810422364679752}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 244215053580864958998587201361030}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 3015053813018092262938718411115}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 37228586795785471694534018470}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 460242565315977186466154674}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 5752924901229743723238311}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 79888188588210217752724}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 22528828173999107390633096601500531}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 27474180700096056012547376815583}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 27172675669568297862120949615810}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 27172675677350655086741141809291}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 3052273166145388169434286945048}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 339090418401250961806423685384}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 37681763232732504804345750336}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 4186862667870897919793497568}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 465215599257524126904786667}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 51698489811078046882429826}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 5752156414503637686603894}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 647106502325884734546320}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 80874462521394506644867}, {"parameter": "5, 2", "name": "Ahlswede_Aydinian", "value": 79766609849006803916831}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 79766609849286125685617}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 79766609851800021604764}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 79766609874425084883503}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 79766610078050654911400}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 79766611910680827221400}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 79766628404355784785291}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 79766776847706352058723}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 79768112860213716466334}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 79780138783585567142400}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 79888518968175787221247}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 80875984299245378046837}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 90858964067210376612667}, {"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": 79766609849006803916831}, {"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": 27507726701263361984112399543988}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 27813368109046411407049701514069}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 30903742343286422601841286384392}, {"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": 129807812790962304396679644128459638323}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 129983918899709856077190250891177853811}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 131588658638797729773697735880439623117}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 147834172046284044197781905797823888131}, {"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": 7663869389313075910701495840948236902617244}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 7665036059514198552018350393245853861305952}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 7675550512246572904974911242369235196824848}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 7771363282478347824656190102464328618339072}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 8741451151967514519582345941046080289501103}, {"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": 5655839984330386683401941450519335579319992716}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 5655935753498297728092325683808949974742933969}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 5656797807398112824984547848257917079188078367}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 5664566949575475421831195481046178901429919524}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 5735363242844861449032362202607910394215018437}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 6452174361350525213845021903364888922869651240}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 57264290192119967396877088476588248158899983805}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 57264302164458016544767173829419246410353759215}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 57264409915703211430510952851248401604137181124}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 57265379693333200464390650025903609912872622633}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 57274109022487928618061089439425810757432441241}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 57352780902186107806406771869449523568858140117}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 58069678387451471801932668677452055763695506495}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 65328263722437948968579803258916013252842235400}, {"parameter": "", "name": "improved_johnson", "value": 79766609849006803916806}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 3433687943638640090776092998226}], "known_codes": [], "upper_bound": 79766609849006803916806, "classified": false, "lower_bound": 79766443077154939399843, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 79766443076872509863361}, {"parameter": "", "name": "sphere_covering", "value": 20083962649905}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 79766443076872514646331}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6), (0, 7, 8, 9, 10, 11, 12), (5, 8, 14, 15, 16, 17, 18)]", "name": "ef_computation", "value": 79766443077154939399843}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 79766443076872509863361}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 79766443076872509863362}, {"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": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 22876792454962}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 79766443076872509863362}, {"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": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 22876792454962}, {"parameter": "", "name": "construction_1", "value": 79766443077154939399843}, {"parameter": "7", "name": "linkage_GLT", "value": 79766443076872509863362}, {"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": "12", "name": "linkage_GLT", "value": 22876792454962}, {"parameter": "7", "name": "improved_linkage", "value": 79766443076872514646331}, {"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": 22876792454962}, {"parameter": "13", "name": "improved_linkage", "value": 22876797237931}, {"parameter": "7,0", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "7,1", "name": "generalized_linkage", "value": 79766443076872514646331}, {"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,0", "name": "generalized_linkage", "value": 22876792454962}, {"parameter": "12,1", "name": "generalized_linkage", "value": 22876792454962}, {"parameter": "13,1", "name": "generalized_linkage", "value": 22876797237931}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872514646331}, {"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, 0]", "name": "generalized_linkage_multipleblocks", "value": 22876792454962}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876792454962}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876797237931}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876797237931}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 22876835501691}], "request": [9, 19, 12, 7], "liftedmrdsizebound": 79766443077154944714333, "comments": "", "equal_bound_constraints": []}