{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 579000252913277034724666671128579290474420179812795955722564434314244}, {"parameter": "", "name": "singleton", "value": 90858964067210376612667}, {"parameter": "2", "name": "ilp_2", "value": 79767944048926998148833}, {"parameter": "3", "name": "ilp_2", "value": 22532257735650261092479326250257440}, {"parameter": "4", "name": "ilp_2", "value": 6372516557474480965096086648549180037473526732}, {"parameter": "5", "name": "ilp_2", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "7", "name": "ilp_3", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "8", "name": "ilp_3", "value": 1799787315645128446020777842252875062915823680883688820519}, {"parameter": "9", "name": "ilp_3", "value": 3381971801629792765898137708091713120248611218731740}, {"parameter": "10", "name": "ilp_3", "value": 6362806664699842222619724742683154733866220577}, {"parameter": "", "name": "anticode", "value": 79767944048926998148833}, {"parameter": "", "name": "linear_programming_bound", "value": 79767944048926998148833}, {"parameter": "", "name": "sphere_packing", "value": 129966527311312236306428024056741935980}, {"parameter": "1", "name": "ilp_1", "value": 79767944035369972243809}, {"parameter": "11", "name": "ilp_4", "value": 6362710882753550497266483516431358068248955466}, {"parameter": "12", "name": "ilp_4", "value": 6362710882753550497266483516431358068248955466}, {"parameter": "13", "name": "ilp_4", "value": 969782270881117926760880068646803069868155}, {"parameter": "14", "name": "ilp_4", "value": 147810361269351899348828136053823636958}, {"parameter": "15", "name": "ilp_4", "value": 22528638315467281037084929942647255}, {"parameter": "16", "name": "ilp_4", "value": 3433748432339331243130450863548}, {"parameter": "17", "name": "ilp_4", "value": 523357480773442843342811882}, {"parameter": "", "name": "johnson_1", "value": 79767944035369972243809}, {"parameter": "", "name": "johnson_2", "value": 523357480773442843342811882}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 579000252913277034724666671128579290474420179812795955722564434314244}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1799787315645128446020777842252875062915823680883688820519}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 3381971801629792765898137708091713120248611218731740}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 6362806664699842222619724742683154733866220577}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 6362710882753550497266483516431358068248955466}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 6362710882753550497266483516431358068248955466}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 969782270881117926760880068646803069868155}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 147810361269351899348828136053823636958}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 22528638315467281037084929942647255}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 3433748432339331243130450863548}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 523357480773442843342811882}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 27431645849314822674310346842984264239824927330517052}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 458822151435540947083027215668209714212639212255}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 7759534903709856919793389046658215709184145}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 7758483654268191256309691164098887631103887}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 7758483814473802738687496238694604726656610}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 10643181648876631048465329761333150616145}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 14599850040599860592160440709255254588}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 20029012788855385792488218535380343}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 27478362470630780278267177043575}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 37739250057629375108538223124}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 52343715661085184431642146}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 79779953676155038583005}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 6372516557474480965096086648549180037473526732}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 863367640901878146106586653572944103625132}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 129966527311312236306428024056741935980}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 129808055707187230516479172777612855216}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 129808056038063168741379213568605087892}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 1603409842874510076870868180637057274}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 19808587431183824017367642757648050}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 244550457009585146227793664219947}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 3019194108061713183455968044307}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 37279647031337089445786126964}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 460866866390358834392805484}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 5759948145724222527313087}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 79888188588210217752724}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 22532257735650261092479326250257440}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 27478363092353456828291613730887}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 27176812163738764323330273112654}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 27176812171512814131239724007085}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 3052737813426437714774792401926}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 339142038096828016754773635534}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 37687499513639948755068978326}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 4187500022833341154561829121}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 465286408194065693399741539}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 51706349070579864927314927}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 5753021252674193979549960}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 647194064354640232040160}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 80874462521394506644867}, {"parameter": "4, 2", "name": "Ahlswede_Aydinian", "value": 79767944048926998148833}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 79767944049206286745653}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 79767944051719884117118}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 79767944074342260466711}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 79767944277943648132228}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 79767946110356179175237}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 79767962602072364884852}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 79768111027793948909961}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 79769446881637502686495}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 79781471376795148466165}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 79889838687998506648384}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 80877186562946662470252}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 90858964067210376612667}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 579000252913277034724666671128579290474420179812795955722564434314244}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 6372516557474480965096086648549180037473526732}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 22532257735650261092479326250257440}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 79767944048926998148833}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 79767944035369972243809}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 27431645849314822674310346842984264239824927330517052}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 863367640901878146106586653572944103625132}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 27478363092353456828291613730887}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 27511913896836037583509608225875}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 27817601829014337624734529209181}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 30908446476584103427215412604706}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1799787315645128446020777842252875062915823680883688820519}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 458822151435540947083027215668209714212639212255}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 129966527311312236306428024056741935980}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 129986094391466828998947398666555409045}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 130162442369160872268695953095358212568}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 131769386101698189004121709024549467658}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 148037211541634880994901395814248850143}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 3381971801629792765898137708091713120248611218731740}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 7759534903709856919793389046658215709184145}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 7759665973846020604611292617620953934786114}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 7760847227153256688454357504058137035760567}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 7771493108098825690735278759820315908708479}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 7868503515669728964338314790839665879786768}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 8850717257857547747286888667645237184687389}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 6362806664699842222619724742683154733866220577}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 6362818635640571421246472544293986296146130175}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 6362926375931694559080807131095448963439402362}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 6363896186363719992536120887679970255702704336}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 6372636469463316366208918736252182475565977822}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 6452282282533832388642289884824081445057226301}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 7258694620170400715835032365617891585605600635}, {"parameter": "", "name": "improved_johnson", "value": 79767944035369972243809}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 3433749149254046955760142931599}], "known_codes": [], "upper_bound": 79767944035369972243809, "classified": false, "lower_bound": 79766443099749302324884, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 79766443076872509863361}, {"parameter": "", "name": "sphere_covering", "value": 1626855358428878}, {"parameter": "", "name": "graham_sloane", "value": 10}, {"parameter": "", "name": "multicomponent", "value": 79766443099749302318323}, {"parameter": "[(0, 1, 2, 3, 4, 5), (5, 6, 7, 8, 9, 10), (2, 6, 11, 12, 13, 14), (0, 7, 12, 15, 16, 17)]", "name": "ef_computation", "value": 79766443099749302324884}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 79766443076872509863361}, {"parameter": "(6, 12)", "name": "CKMP2019_Lem_41", "value": 79766443077154939399843}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 984770902183611764323}, {"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": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 12157688335849383763}, {"parameter": "(12, 6)", "name": "CKMP2019_Lem_41", "value": 79766443077154939399843}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Lem_41", "value": 79766443077154939399843}, {"parameter": "(6, 12)", "name": "CKMP2019_Cor_42", "value": 79766443077154939399843}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 984770902183611764323}, {"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": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 12157688335849383763}, {"parameter": "(12, 6)", "name": "CKMP2019_Cor_42", "value": 79766443077154939399843}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Cor_42", "value": 79766443077154939399843}, {"parameter": "", "name": "construction_1", "value": 79766443099749302324884}, {"parameter": "6", "name": "linkage_GLT", "value": 79766443077154939399843}, {"parameter": "7", "name": "linkage_GLT", "value": 984770902183611764323}, {"parameter": "8", "name": "linkage_GLT", "value": 12157665459056928802}, {"parameter": "9", "name": "linkage_GLT", "value": 150094635296999122}, {"parameter": "10", "name": "linkage_GLT", "value": 1853020188851842}, {"parameter": "11", "name": "linkage_GLT", "value": 12157688335849383763}, {"parameter": "12", "name": "linkage_GLT", "value": 79766443077154939399843}, {"parameter": "6", "name": "improved_linkage", "value": 79766443099749302318323}, {"parameter": "7", "name": "improved_linkage", "value": 984770902466040769363}, {"parameter": "8", "name": "improved_linkage", "value": 12157665459057460243}, {"parameter": "9", "name": "improved_linkage", "value": 150094635296999122}, {"parameter": "10", "name": "improved_linkage", "value": 1853020188851842}, {"parameter": "11", "name": "improved_linkage", "value": 12157688335849383763}, {"parameter": "12", "name": "improved_linkage", "value": 79766443077154939399843}, {"parameter": "13", "name": "improved_linkage", "value": 12157665459057460243}, {"parameter": "6,0", "name": "generalized_linkage", "value": 79766443077154939399843}, {"parameter": "6,1", "name": "generalized_linkage", "value": 79766443099749302318323}, {"parameter": "7,0", "name": "generalized_linkage", "value": 984770902183611764323}, {"parameter": "7,1", "name": "generalized_linkage", "value": 984770902466040769363}, {"parameter": "8,0", "name": "generalized_linkage", "value": 12157665459056928802}, {"parameter": "8,1", "name": "generalized_linkage", "value": 12157665459057460243}, {"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,0", "name": "generalized_linkage", "value": 12157688335849383763}, {"parameter": "11,1", "name": "generalized_linkage", "value": 12157688335849383763}, {"parameter": "12,0", "name": "generalized_linkage", "value": 79766443077154939399843}, {"parameter": "12,1", "name": "generalized_linkage", "value": 79766443077154939399843}, {"parameter": "13,1", "name": "generalized_linkage", "value": 12157665459057460243}, {"parameter": "[6, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154939399843}, {"parameter": "[6, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443099749302318323}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902183611764323}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902466040769363}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157665459056928802}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665459057460243}, {"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, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157688335849383763}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157688335849383763}, {"parameter": "[12, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154939399843}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154939399843}, {"parameter": "[13, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665459057460243}, {"parameter": "[6, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157688335849383763}, {"parameter": "[6, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157688335849383763}, {"parameter": "[6, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154939399843}, {"parameter": "[6, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154939399843}, {"parameter": "[6, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154939399843}, {"parameter": "[6, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154939399843}, {"parameter": "[6, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665459057460243}, {"parameter": "[6, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665459057460243}, {"parameter": "[7, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094917726535603}, {"parameter": "[7, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094917726535603}, {"parameter": "[7, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094635297530563}, {"parameter": "[7, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094635297530563}, {"parameter": "[8, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282430067923}, {"parameter": "", "name": "JohnsonLB", "value": 79766426399691197676249}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 22877179875459}], "request": [9, 18, 10, 6], "liftedmrdsizebound": 79766443099753177119543, "comments": "", "equal_bound_constraints": []}