{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 24924068135208538822547384702464617091999062369254639098504245466254894991726}, {"parameter": "", "name": "singleton", "value": 48352505889707776105242586606}, {"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": "", "name": "anticode", "value": 42391247889538983468724411894}, {"parameter": "", "name": "linear_programming_bound", "value": 42391247889538983468724411894}, {"parameter": "", "name": "sphere_packing", "value": 5594530182731367206127402343512859505957562919}, {"parameter": "1", "name": "ilp_1", "value": 42391208133813624722283430410}, {"parameter": "2", "name": "ilp_1", "value": 42391208133813624829020427605}, {"parameter": "14", "name": "ilp_4", "value": 147808963751956466151667901314517051647}, {"parameter": "15", "name": "ilp_4", "value": 147808963751953036189456214478693592929}, {"parameter": "16", "name": "ilp_4", "value": 147808963751953036189456214478693592929}, {"parameter": "17", "name": "ilp_4", "value": 2503158426120818542688571080758949}, {"parameter": "", "name": "johnson_1", "value": 42391208133813624722283430410}, {"parameter": "", "name": "johnson_2", "value": 2503158426120818542688571080758949}, {"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": 147808963751956466151667901314517051647}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 147808963751953036189456214478693592929}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 147808963751953036189456214478693592929}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 2503158426120818542688571080758949}, {"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": 10642351944625875672390544870316497750312}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 10642512150997184203974792857217893748547}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 10643954225546349838426521550639753716933}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1624290061138313175468491155583289798}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 250318261065190902963209290335203}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 42391964816412331623764245237}, {"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": 10511787031337269095649352582587900271686}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 10511806565960490401575739109279025142533}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 10511982389253589778995737015278201513042}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 14422023536027440445348253599516622769}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 19811602437996355288874928813342383}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 27511919398975659100635009308233}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 42398417606615636470998309703}, {"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": 129698071271657647276277122578465870953}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 129698097865284698050344722037446647313}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 129698341577153947934820770930984580309}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 1602325112824538082557057215194926433}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 19784765674586497983685865021591821}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 244591593946256855407810657941718}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 3057345408841080587806506768360}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 42456577739950791067113142498}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 147811645083356575917118978939095310516}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 20025964655972949195274034804121736}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 20025964707648583909151693994438149}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 20025965172729307136351290773041003}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 20025969358456691167684360941523102}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 2224776936913495952715168576329535}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 247234705177567623088174707625649}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 27474658111333131421172227503707}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 3056936955916547404863633419421}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 343904169405826359695979495304}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 42986557066730102910348722371}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 42391247889538983468724411894}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 42391247901681642539281894158}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 42391248010965574456001662646}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 42391248994520984524376785539}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 42391257846521523389812513274}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 42391337514676081714881422229}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 42392054540193703152729148684}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 42398508752256142791612161255}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 42456676344686003614473129397}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 42986719638119427168941680748}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 48352505889707776105242586606}, {"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": 42391208133813624829020427605}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 42391208133813624722283430410}, {"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": 20028513593455963236339814998465279}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 20052968432952223922756624538925248}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 20275779192800757579141429462743332}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 22528643541741360643522295156305079}, {"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": 129788277270270472315212128777953648978}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 129807817811460161296760659304474017697}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 129983923923421850591521925297380785631}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 131588663691353488413765572985768207265}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 147834177345737203063537357028825327278}, {"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": 10512657522352576121455319735663601647849}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 10512835313886233511039869537026417359651}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 10514435681639825127561764686212522575597}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 10528858773168782758958678254104882429104}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 10660288947081735593878131241081302898385}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 148037105078660521628898674194899100853}, {"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": 10642443173508749382031591589960878399087}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 10642463196095117044014182701029004133786}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 10642643402424178718525756279067073121870}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 10644265506615385400478883767497426903111}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 10658884497445617429684111054564691941655}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 1199119995993263778412298579889291655965}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 149887676981509966296498585636327250430}, {"parameter": "5, 5, o", "name": "Ahlswede_Aydinian", "value": 147809142304073999646811111983602651427}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 147809145737655330463358346020997889098}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 147809176639893768583651363605812132823}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 147809454760563035131797943213190682929}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 147811957888976352636114046287581973051}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 147834489478803017590171093315999864782}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 148037552331979422933132572439341788674}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 149887962155886822709755141972822045924}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 168623318873839155489174680568370759015}, {"parameter": "", "name": "improved_johnson", "value": 42391208133813624722283430374}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 2503158431864009161217228398870682}], "known_codes": [], "upper_bound": 42391208133813624722283430374, "classified": false, "lower_bound": 42391158275216203514294964643, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 42391158275216203514294433201}, {"parameter": "", "name": "sphere_covering", "value": 180508099050163}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 42391158275216203514294433202}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (0, 1, 8, 9, 10, 11, 12, 13), (6, 7, 9, 10, 14, 15, 16, 17)]", "name": "ef_computation", "value": 42391158275216203514294964643}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 42391158275216203514294433202}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 42391158275216203514294433202}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 58149737003040059690390170}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 79766443076872509863362}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 42391158275216203514294433202}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 58149737003040059690390170}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 79766443076872509863362}, {"parameter": "8", "name": "linkage_GLT", "value": 42391158275216203514294433202}, {"parameter": "9", "name": "linkage_GLT", "value": 58149737003040059690390170}, {"parameter": "10", "name": "linkage_GLT", "value": 79766443076872509863362}, {"parameter": "8", "name": "improved_linkage", "value": 42391158275216203514294433202}, {"parameter": "9", "name": "improved_linkage", "value": 58149737003040059690390170}, {"parameter": "10", "name": "improved_linkage", "value": 79766443076872509863362}, {"parameter": "11", "name": "improved_linkage", "value": 1853020188851842}, {"parameter": "12", "name": "improved_linkage", "value": 43046722}, {"parameter": "8,0", "name": "generalized_linkage", "value": 42391158275216203514294433202}, {"parameter": "8,1", "name": "generalized_linkage", "value": 42391158275216203514294433202}, {"parameter": "8,2", "name": "generalized_linkage", "value": 42391158275216203514294433202}, {"parameter": "9,0", "name": "generalized_linkage", "value": 58149737003040059690390170}, {"parameter": "9,1", "name": "generalized_linkage", "value": 58149737003040059690390170}, {"parameter": "9,2", "name": "generalized_linkage", "value": 58149737003040059690390170}, {"parameter": "10,0", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "10,1", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "10,2", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "11,1", "name": "generalized_linkage", "value": 1853020188851842}, {"parameter": "11,2", "name": "generalized_linkage", "value": 1853020188851842}, {"parameter": "12,2", "name": "generalized_linkage", "value": 43046722}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216203514294433202}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216203514294433202}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216203514294433202}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690390170}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690390170}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690390170}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1853020188851842}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1853020188851842}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 43046722}, {"parameter": "", "name": "JohnsonLB", "value": 42391158165797214414163133521}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 8862938119652505878907}], "request": [9, 18, 12, 8], "liftedmrdsizebound": 42391158275216203514294964679, "comments": "", "equal_bound_constraints": []}