{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 24924068135208538822547384702464617091999062369254639098504245466254894991726}, {"parameter": "", "name": "singleton", "value": 13848340811466703906}, {"parameter": "2", "name": "ilp_2", "value": 12157668283352889852}, {"parameter": "3", "name": "ilp_2", "value": 42391247889538983468724411894}, {"parameter": "4", "name": "ilp_2", "value": 147811645083356575917118978939095310516}, {"parameter": "5", "name": "ilp_2", "value": 515465903505816630520129253002212613567577297960}, {"parameter": "6", "name": "ilp_2", "value": 1799787315645128446020777842252875062915823680883688820519}, {"parameter": "7", "name": "ilp_2", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "9", "name": "ilp_3", "value": 514667012348784999156727812545930551654233884899853599864429378680766}, {"parameter": "10", "name": "ilp_3", "value": 11808404611395760498566594769574638492801192638119032535867244}, {"parameter": "11", "name": "ilp_3", "value": 273939716009608417265796010728840040089932078642468753}, {"parameter": "12", "name": "ilp_3", "value": 6362806664699842222619724742683154733866220577}, {"parameter": "13", "name": "ilp_3", "value": 147809142304073999646811111983602651427}, {"parameter": "14", "name": "ilp_3", "value": 3433684627804804454498142166702}, {"parameter": "", "name": "anticode", "value": 12157668283352889852}, {"parameter": "", "name": "linear_programming_bound", "value": 12157668283352889852}, {"parameter": "", "name": "sphere_packing", "value": 2194924204969667410327925580952206}, {"parameter": "1", "name": "ilp_1", "value": 12157666989755316318}, {"parameter": "15", "name": "ilp_4", "value": 3433683989673109767728177656046}, {"parameter": "16", "name": "ilp_4", "value": 3433683989673109767728177656046}, {"parameter": "17", "name": "ilp_4", "value": 6461082441426700023316595}, {"parameter": "", "name": "johnson_1", "value": 12157666989755316318}, {"parameter": "", "name": "johnson_2", "value": 6461082441426700023316595}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 24924068135208538822547384702464617091999062369254639098504245466254894991726}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 514667012348784999156727812545930551654233884899853599864429378680766}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 11808404611395760498566594769574638492801192638119032535867244}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 273939716009608417265796010728840040089932078642468753}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 6362806664699842222619724742683154733866220577}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 147809142304073999646811111983602651427}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 3433684627804804454498142166702}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 3433683989673109767728177656046}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 3433683989673109767728177656046}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 6461082441426700023316595}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1180840485523221610985118119518932406201256471633088285154020}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 243836456730190286669636886861189411589811578605017733}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 50910215201465668594595181043308658198651793848}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 10642440948781116899747054203587708514881}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 2225036064092357827237066777374648}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 2225065837382433414816917539003711}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 2225367336762352513819126918803879}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 37732823518192998879913720098}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 646108941415805695777352}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 12157679475933150642}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 1799787315645128446020777842252875062915823680883688820519}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 3010327171170585354532667338629928723211985628228752}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 5594530182731367206127402343512859505957562919}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 10512655351552043270235128512920847793934}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 19778404809488387281598396514226177}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 19778143833572939703571341555456301}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 19778474648105949919302726853935990}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 3015020203568724618415138644352}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 460160840920382862712967006}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 71001667237174464978278}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 12157894230898730806}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 515465903505816630520129253002212613567577297960}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 7759534903709856919793389046658215709184145}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 129786106429493946683547104133122870807}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 2194924204969667410327925580952206}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 2194627293301485638819877430753498}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 2194631417160884971464686159681145}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 3010672196829185487405383306361}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 4130529923852727080962687517}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 5674213946380793678091427}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 7880717574429666414779}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 12159724534259458429}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 147811645083356575917118978939095310516}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 20025964655972949195274034804121736}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 3014596523806801732523211499990}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 3010920816071257077395771430619}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 3010921445398912562467254561654}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 37191451747460329773112380835}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 459472322480871189116918991}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 5673351608874828930944043}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 70137611294673063121942}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 876717818462876651619}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 12176221369437899398}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 42391247889538983468724411894}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 51696643782538588462538895}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 51129318599840839454104661}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 51129319786135659294621082}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 5743294654724498494758503}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 638048987203112229035061}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 70905018875633210429556}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 7879520267549665413581}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 876704824029560823436}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 98627764310221257784}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 12326545118286886906}, {"parameter": "6, 2", "name": "Ahlswede_Aydinian", "value": 12157668283352889852}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 12157668286801352254}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 12157668317837513952}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 12157668597162975642}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 12157671111092650115}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 12157693736501780000}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 12157897368590836333}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 12159730333391768330}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 12176249402883598636}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 12326756700776147956}, {"parameter": "6, 12", "name": "Ahlswede_Aydinian", "value": 13848340811466703906}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 24924068135208538822547384702464617091999062369254639098504245466254894991726}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1799787315645128446020777842252875062915823680883688820519}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 515465903505816630520129253002212613567577297960}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 147811645083356575917118978939095310516}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 42391247889538983468724411894}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 12157668283352889852}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 12157666989755316318}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 514667012348784999156727812545930551654233884899853599864429378680766}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1180840485523221610985118119518932406201256471633088285154020}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 3010327171170585354532667338629928723211985628228752}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 7759534903709856919793389046658215709184145}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 20025964655972949195274034804121736}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 51696643782538588462538895}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 51759716415915296244759612}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 52334824374756112262764349}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 58149804845830643730162686}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 11808404611395760498566594769574638492801192638119032535867244}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 243836456730190286669636886861189411589811578605017733}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 5594530182731367206127402343512859505957562919}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 129786106429493946683547104133122870807}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 3014596523806801732523211499990}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 3015024897107874249716488261035}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 3019115284890710981917971621457}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 3056388312319000341869171567874}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 3433720193865721466554805977100}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 273939716009608417265796010728840040089932078642468753}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 50910215201465668594595181043308658198651793848}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 10512655351552043270235128512920847793934}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 2194924204969667410327925580952206}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 2194798844868873988664827628470663}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 2195132958851474259334057664776493}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 2198144114613169748235001308675867}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 2225583219790035375969201698304123}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 3434272587486155230670929066999}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 6362806664699842222619724742683154733866220577}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 10642440948781116899747054203587708514881}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 19778404809488387281598396514226177}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 19778442020381793630760592585969856}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 19778776923472325647496937972548245}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 19781791516344730458227145979842548}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 19808960119815141317511104818442866}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 247611065110803061671047289155847}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 3438986075798435086131635576633}, {"parameter": "5, 5, o", "name": "Ahlswede_Aydinian", "value": 147809142304073999646811111983602651427}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 2225036064092357827237066777374648}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 2224735079702313258153836593350962}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 2224739261325996726355680460040938}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 2224776936913495952715168576329535}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 2225116068889787144342885770566376}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 247607849071086276024648414857622}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 27855820179198655271969814533112}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 3481970088764917078588839478708}, {"parameter": "6, 4, o", "name": "Ahlswede_Aydinian", "value": 3433684627804804454498142166702}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 3433684707560311069223446593933}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 3433685425360020653466996177329}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 3433691885569561123506352426338}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 3433750028439933183695687580442}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 3434273394030570366385118715999}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 3438990153559429537636755839860}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 3481971544653482233921058625202}, {"parameter": "6, 12, o", "name": "Ahlswede_Aydinian", "value": 3917150001348391097251303957615}, {"parameter": "", "name": "improved_johnson", "value": 12157666989755316271}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 6461082456250862839350446}], "known_codes": [], "upper_bound": 12157666989755316271, "classified": false, "lower_bound": 12157665459056928802, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 12157665459056928801}, {"parameter": "", "name": "sphere_covering", "value": 37792090}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 12157665459056928802}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (10, 11, 12, 13, 14, 15, 16, 17)]", "name": "ef_computation", "value": 12157665459056928802}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 12157665459056928801}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 12157665459056928802}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 150094635296999122}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 1853020188851842}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 12157665459056928802}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 150094635296999122}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 1853020188851842}, {"parameter": "", "name": "construction_1", "value": 12157665459056928802}, {"parameter": "8", "name": "linkage_GLT", "value": 12157665459056928802}, {"parameter": "9", "name": "linkage_GLT", "value": 150094635296999122}, {"parameter": "10", "name": "linkage_GLT", "value": 1853020188851842}, {"parameter": "8", "name": "improved_linkage", "value": 12157665459056928802}, {"parameter": "9", "name": "improved_linkage", "value": 150094635296999122}, {"parameter": "10", "name": "improved_linkage", "value": 1853020188851842}, {"parameter": "11", "name": "improved_linkage", "value": 43046722}, {"parameter": "8,0", "name": "generalized_linkage", "value": 12157665459056928802}, {"parameter": "8,1", "name": "generalized_linkage", "value": 12157665459056928802}, {"parameter": "9,0", "name": "generalized_linkage", "value": 150094635296999122}, {"parameter": "9,1", "name": "generalized_linkage", "value": 150094635296999122}, {"parameter": "10,0", "name": "generalized_linkage", "value": 1853020188851842}, {"parameter": "10,1", "name": "generalized_linkage", "value": 1853020188851842}, {"parameter": "11,1", "name": "generalized_linkage", "value": 43046722}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157665459056928802}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665459056928802}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094635296999122}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094635296999122}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1853020188851842}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1853020188851842}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 43046722}, {"parameter": "", "name": "JohnsonLB", "value": 12157665427675869201}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 282429536490}], "request": [9, 18, 14, 8], "liftedmrdsizebound": 12157665459056928802, "comments": "", "equal_bound_constraints": []}