{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 4459723384904004537589585475440372}, {"parameter": "", "name": "singleton", "value": 7174453}, {"parameter": "1", "name": "ilp_2", "value": 4802733}, {"parameter": "2", "name": "ilp_2", "value": 23258466133332}, {"parameter": "3", "name": "ilp_2", "value": 115523157089617719092}, {"parameter": "4", "name": "ilp_2", "value": 621611624594098607599713243}, {"parameter": "6", "name": "ilp_3", "value": 12251987321164847630740619438023}, {"parameter": "7", "name": "ilp_3", "value": 44838013984134849517806475527}, {"parameter": "8", "name": "ilp_3", "value": 177711640790778366991306153}, {"parameter": "9", "name": "ilp_3", "value": 722331636178349220572324}, {"parameter": "", "name": "anticode", "value": 4802733}, {"parameter": "", "name": "linear_programming_bound", "value": 4802733}, {"parameter": "", "name": "sphere_packing", "value": 95473752743924878}, {"parameter": "", "name": "DrakeFreeman", "value": 4802697}, {"parameter": "", "name": "partial_spread_5", "value": 4802732}, {"parameter": "4", "name": "partial_spread_HKK16_T10", "value": 4802720}, {"parameter": "5", "name": "partial_spread_HKK16_T10", "value": 4802697}, {"parameter": "", "name": "partial_spread_kurz16_additional", "value": 4802696}, {"parameter": "", "name": "partial_spread_NS_2_Theorem6", "value": 4802727}, {"parameter": "", "name": "spread_bound", "value": 4802733}, {"parameter": "", "name": "XiaFuJohnson1", "value": 4802733}, {"parameter": "10", "name": "ilp_4", "value": 722331636178349220572324}, {"parameter": "11", "name": "ilp_4", "value": 8881160097325987977800}, {"parameter": "12", "name": "ilp_4", "value": 109493937764304082745}, {"parameter": "13", "name": "ilp_4", "value": 1353630892390061031}, {"parameter": "14", "name": "ilp_4", "value": 16714883510427394}, {"parameter": "15", "name": "ilp_4", "value": 206743629368088}, {"parameter": "16", "name": "ilp_4", "value": 2552347439108}, {"parameter": "17", "name": "ilp_4", "value": 31510285064}, {"parameter": "18", "name": "ilp_4", "value": 389018051}, {"parameter": "", "name": "johnson_1", "value": 4802733}, {"parameter": "", "name": "johnson_2", "value": 389018051}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 4459723384904004537589585475440372}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 12251987321164847630740619438023}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 44838013984134849517806475527}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 177711640790778366991306153}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 722331636178349220572324}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 722331636178349220572324}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 8881160097325987977800}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 109493937764304082745}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1353630892390061031}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 16714883510427394}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 206743629368088}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 2552347439108}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 31510285064}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 389018051}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 621611624594098607599713243}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 5137286863805203869314997}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 56453725211113012692348}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 671454108670778544608}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 671456614719914955319}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 24566593051579458302}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 908671615435978291}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 33719296053509801}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1256619056697790}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 46576701988544}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1729746908472}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 64595546666}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 2453423466}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 98369316}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 4842750}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 115523157089617719092}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 2888079450556033905}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 95473752743924878}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 95473908441490790}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 10232517048759190}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 1141663735788119}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 128903194352342}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 14305552439385}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 1590369747727}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 177022039198}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 19738581202}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 2216938059}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 254533200}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 31333488}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 4966925}, {"parameter": "3, 2", "name": "Ahlswede_Aydinian", "value": 23258466133332}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 1789113111984}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 1789114109475}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 538213739761}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 192220157295}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 63372169171}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 21280914537}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 7085950049}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 2364866410}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 789144246}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 264037731}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 88987933}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 30673163}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 11346266}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 5380840}, {"parameter": "4, 1", "name": "Ahlswede_Aydinian", "value": 4802733}, {"parameter": "4, 2", "name": "Ahlswede_Aydinian", "value": 4802734}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 4802736}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 4802743}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 4802763}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 4802823}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 4803004}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 4803546}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 4805173}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 4810060}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 4824763}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 4869252}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 5006216}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 5451053}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 7174453}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 4459723384904004537589585475440372}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 621611624594098607599713243}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 115523157089617719092}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 23258466133332}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 4802733}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 12251987321164847630740619438023}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 5137286863805203869314997}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 2888079450556033905}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1789113111984}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 1938203369892}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 2584270755178}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 44838013984134849517806475527}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 56453725211113012692348}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 95473752743924878}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 98737808385151166}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 109708660125567248}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 158467965366971044}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 177711640790778366991306153}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 671454108670778544608}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 679528723767422021246}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 704696354936160344078}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 789520545281746393504}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 1169657686024197792238}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 722331636178349220572324}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 725279594336427162652499}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 734233560779805437940607}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 762124343712318264540669}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 856212531236290408970111}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 1279025522911365763892449}, {"parameter": "", "name": "improved_johnson", "value": 4802731}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 851950958851}], "known_codes": [], "upper_bound": 4802696, "classified": false, "lower_bound": 4802653, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 4782969}, {"parameter": "", "name": "sphere_covering", "value": 39693}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 4802653}, {"parameter": "", "name": "multicomponent", "value": 4802653}, {"parameter": "[(0, 1, 2, 3, 4), (5, 6, 7, 8, 9), (12, 13, 15, 16, 17)]", "name": "ef_computation", "value": 4802653}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 4782969}, {"parameter": "(5, 14)", "name": "CKMP2019_Lem_41", "value": 4802653}, {"parameter": "(6, 13)", "name": "CKMP2019_Lem_41", "value": 1600885}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 533629}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 177877}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 59293}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 4802653}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 4789531}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 4785157}, {"parameter": "(13, 6)", "name": "CKMP2019_Lem_41", "value": 4783699}, {"parameter": "(14, 5)", "name": "CKMP2019_Lem_41", "value": 4783213}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Lem_41", "value": 4802653}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Lem_41", "value": 4789531}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Lem_41", "value": 4785157}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Lem_41", "value": 4783699}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Lem_41", "value": 4783213}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Lem_41", "value": 1600885}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Lem_41", "value": 1596511}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Lem_41", "value": 1595053}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Lem_41", "value": 1594567}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Lem_41", "value": 533629}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Lem_41", "value": 532171}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Lem_41", "value": 531685}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Lem_41", "value": 177877}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Lem_41", "value": 177391}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Lem_41", "value": 59293}, {"parameter": "(5, 14)", "name": "CKMP2019_Cor_42", "value": 4802653}, {"parameter": "(6, 13)", "name": "CKMP2019_Cor_42", "value": 1600885}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 533629}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 177877}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 59293}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 4802653}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 4789531}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 4785157}, {"parameter": "(13, 6)", "name": "CKMP2019_Cor_42", "value": 4783699}, {"parameter": "(14, 5)", "name": "CKMP2019_Cor_42", "value": 4783213}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Cor_42", "value": 4802653}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Cor_42", "value": 4789531}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Cor_42", "value": 4785157}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Cor_42", "value": 4783699}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Cor_42", "value": 4783213}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Cor_42", "value": 1600885}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Cor_42", "value": 1596511}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Cor_42", "value": 1595053}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Cor_42", "value": 1594567}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Cor_42", "value": 533629}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Cor_42", "value": 532171}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Cor_42", "value": 531685}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Cor_42", "value": 177877}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Cor_42", "value": 177391}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Cor_42", "value": 59293}, {"parameter": "5", "name": "linkage_GLT", "value": 4802653}, {"parameter": "6", "name": "linkage_GLT", "value": 1600885}, {"parameter": "7", "name": "linkage_GLT", "value": 533629}, {"parameter": "8", "name": "linkage_GLT", "value": 177877}, {"parameter": "9", "name": "linkage_GLT", "value": 59293}, {"parameter": "10", "name": "linkage_GLT", "value": 4802653}, {"parameter": "11", "name": "linkage_GLT", "value": 4789531}, {"parameter": "12", "name": "linkage_GLT", "value": 4785157}, {"parameter": "13", "name": "linkage_GLT", "value": 4783699}, {"parameter": "14", "name": "linkage_GLT", "value": 4783213}, {"parameter": "5", "name": "improved_linkage", "value": 4802653}, {"parameter": "6", "name": "improved_linkage", "value": 1600885}, {"parameter": "7", "name": "improved_linkage", "value": 533629}, {"parameter": "8", "name": "improved_linkage", "value": 177877}, {"parameter": "9", "name": "improved_linkage", "value": 59293}, {"parameter": "10", "name": "improved_linkage", "value": 4802653}, {"parameter": "11", "name": "improved_linkage", "value": 4789531}, {"parameter": "12", "name": "improved_linkage", "value": 4785157}, {"parameter": "13", "name": "improved_linkage", "value": 4783699}, {"parameter": "14", "name": "improved_linkage", "value": 4783213}, {"parameter": "5,0", "name": "generalized_linkage", "value": 4802653}, {"parameter": "6,0", "name": "generalized_linkage", "value": 1600885}, {"parameter": "7,0", "name": "generalized_linkage", "value": 533629}, {"parameter": "8,0", "name": "generalized_linkage", "value": 177877}, {"parameter": "9,0", "name": "generalized_linkage", "value": 59293}, {"parameter": "10,0", "name": "generalized_linkage", "value": 4802653}, {"parameter": "11,0", "name": "generalized_linkage", "value": 4789531}, {"parameter": "12,0", "name": "generalized_linkage", "value": 4785157}, {"parameter": "13,0", "name": "generalized_linkage", "value": 4783699}, {"parameter": "14,0", "name": "generalized_linkage", "value": 4783213}, {"parameter": "[5, 14],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4802653}, {"parameter": "[6, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1600885}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 533629}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 177877}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 59293}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4802653}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4789531}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4785157}, {"parameter": "[13, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4783699}, {"parameter": "[14, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4783213}, {"parameter": "[5, 5, 9],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4802653}, {"parameter": "[5, 6, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4789531}, {"parameter": "[5, 7, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4785157}, {"parameter": "[5, 8, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4783699}, {"parameter": "[5, 9, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4783213}, {"parameter": "[6, 5, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1600885}, {"parameter": "[6, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1596511}, {"parameter": "[6, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1595053}, {"parameter": "[6, 8, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1594567}, {"parameter": "[7, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 533629}, {"parameter": "[7, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 532171}, {"parameter": "[7, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 531685}, {"parameter": "[8, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 177877}, {"parameter": "[8, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 177391}, {"parameter": "[9, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 59293}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 3}], "request": [3, 19, 10, 5], "liftedmrdsizebound": 4802696, "comments": "", "equal_bound_constraints": []}