{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 132652779978953955673720303437969865726009299429}, {"parameter": "", "name": "singleton", "value": 89478485}, {"parameter": "1", "name": "ilp_2", "value": 67125252}, {"parameter": "2", "name": "ilp_2", "value": 4509102828147953}, {"parameter": "3", "name": "ilp_2", "value": 303787438118733987214510}, {"parameter": "4", "name": "ilp_2", "value": 20710430338917441299861457810329}, {"parameter": "5", "name": "ilp_2", "value": 1482510348481581417853915423780027855031}, {"parameter": "7", "name": "ilp_3", "value": 24290932059870711531536404218635756404689489}, {"parameter": "8", "name": "ilp_3", "value": 5559837962890984557458549832601454887775}, {"parameter": "9", "name": "ilp_3", "value": 1336178313600332746325054033309650297}, {"parameter": "10", "name": "ilp_3", "value": 324941439542316811208438860829183}, {"parameter": "11", "name": "ilp_3", "value": 79253952957568897112638966385}, {"parameter": "", "name": "anticode", "value": 67125252}, {"parameter": "", "name": "linear_programming_bound", "value": 67125252}, {"parameter": "", "name": "sphere_packing", "value": 222470344507988025269320008}, {"parameter": "", "name": "DrakeFreeman", "value": 67125250}, {"parameter": "", "name": "partial_spread_5", "value": 67125251}, {"parameter": "", "name": "partial_spread_kurz16_28", "value": 67125249}, {"parameter": "", "name": "spread_bound", "value": 67125252}, {"parameter": "", "name": "XiaFuJohnson1", "value": 67125252}, {"parameter": "12", "name": "ilp_4", "value": 79253952957568897112638966385}, {"parameter": "13", "name": "ilp_4", "value": 77377548297096271919783908}, {"parameter": "14", "name": "ilp_4", "value": 75559400492972097447244}, {"parameter": "15", "name": "ilp_4", "value": 73795513990598697451}, {"parameter": "16", "name": "ilp_4", "value": 72066550115777444}, {"parameter": "17", "name": "ilp_4", "value": 70377943334317}, {"parameter": "18", "name": "ilp_4", "value": 68736259072}, {"parameter": "", "name": "johnson_1", "value": 67125252}, {"parameter": "", "name": "johnson_2", "value": 68736259072}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 132652779978953955673720303437969865726009299429}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 24290932059870711531536404218635756404689489}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 5559837962890984557458549832601454887775}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1336178313600332746325054033309650297}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 324941439542316811208438860829183}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 79253952957568897112638966385}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 79253952957568897112638966385}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 77377548297096271919783908}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 75559400492972097447244}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 73795513990598697451}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 72066550115777444}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 70377943334317}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 68736259072}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 1482510348481581417853915423780027855031}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1086088179514862958966179419656460020}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 994404164101100324054888305039287}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 955939170403668802542575372370}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 929891939435036087254369068}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 929894597938307177862845566}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 3628899115642754883345898}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 14175171240730899247709}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 55394569805338810570}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 216550167561280436}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 848770123160505}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 3354946059380}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 13760008103}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 67174432}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 20710430338917441299861457810329}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 60734400666833916105625142863}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 222470344507988025269320008}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 855498677138184836371879}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 855499439771294538777601}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 13315251952322877383985}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 208104648218101030866}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 3253604684206917096}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 50942092497296781}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 796685389368630}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 12493851719799}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 198113183730}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 3288399582}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 67372033}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 303787438118733987214510}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 3573969912027816942467}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 52404253948057147321}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 52404266102293454533}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 3225028538145349414}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 202350695670517650}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 12732807799751163}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 795656485874023}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 49743332768844}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 3112241866118}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 195256392764}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 12391929490}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 824676529}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 68174081}, {"parameter": "4, 2", "name": "Ahlswede_Aydinian", "value": 4509102828147953}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 214719185328061}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 214719197469269}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 50559215255574}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 13223191337732}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 3293709473855}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 825707715877}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 206391633448}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 51618722600}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 12916462105}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 3241160581}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 822479346}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 218572775}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 71582785}, {"parameter": "5, 1", "name": "Ahlswede_Aydinian", "value": 67125252}, {"parameter": "5, 2", "name": "Ahlswede_Aydinian", "value": 67125252}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 67125255}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 67125268}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 67125319}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 67125524}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 67126343}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 67129617}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 67142718}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 67195161}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 67405556}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 68257274}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 71834167}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 89478485}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 132652779978953955673720303437969865726009299429}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1482510348481581417853915423780027855031}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 20710430338917441299861457810329}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 303787438118733987214510}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 4509102828147953}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 67125252}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 24290932059870711531536404218635756404689489}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1086088179514862958966179419656460020}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 60734400666833916105625142863}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 3573969912027816942467}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 214719185328061}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 225454982785110}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 281818725122052}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 5559837962890984557458549832601454887775}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 994404164101100324054888305039287}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 222470344507988025269320008}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 52404253948057147321}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 53183696976835107697}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 56507677396360063514}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 74166322162334898742}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 1336178313600332746325054033309650297}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 955939170403668802542575372370}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 855498677138184836371879}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 858798694225949642433710}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 872217414035613014755576}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 929456637514448921418841}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 1234434287690006888096733}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 324941439542316811208438860829183}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 929891939435036087254369068}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 930786719262762899024811825}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 934422594432316660942556095}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 949196718093624772873088678}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 1012229117300472060415362288}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 1348319450262741392593069509}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 79253952957568897112638966385}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 79273287670680214154959325289}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 79350702103692108780660474451}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 79661573866756733122947000847}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 80924793717226424508178457064}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 86314444594973267498677079449}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 115057361291389776393497498085}, {"parameter": "", "name": "improved_johnson", "value": 67125249}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 70390224519245}], "known_codes": [], "upper_bound": 67125249, "classified": false, "lower_bound": 67125249, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 67108864}, {"parameter": "", "name": "sphere_covering", "value": 49177}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 67125249}, {"parameter": "", "name": "multicomponent", "value": 67125249}, {"parameter": "[(0, 1, 2, 3, 4, 5), (6, 7, 8, 9, 10, 11), (13, 14, 15, 16, 17, 18)]", "name": "ef_computation", "value": 67125249}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 67108864}, {"parameter": "(6, 13)", "name": "CKMP2019_Lem_41", "value": 67125249}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 16781313}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 4194305}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1048577}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 262145}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 65537}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 67125249}, {"parameter": "(13, 6)", "name": "CKMP2019_Lem_41", "value": 67112961}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Lem_41", "value": 67125249}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Lem_41", "value": 67112961}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Lem_41", "value": 16781313}, {"parameter": "(6, 13)", "name": "CKMP2019_Cor_42", "value": 67125249}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 16781313}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 4194305}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1048577}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 262145}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 65537}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 67125249}, {"parameter": "(13, 6)", "name": "CKMP2019_Cor_42", "value": 67112961}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Cor_42", "value": 67125249}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Cor_42", "value": 67112961}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Cor_42", "value": 16781313}, {"parameter": "6", "name": "linkage_GLT", "value": 67125249}, {"parameter": "7", "name": "linkage_GLT", "value": 16781313}, {"parameter": "8", "name": "linkage_GLT", "value": 4194305}, {"parameter": "9", "name": "linkage_GLT", "value": 1048577}, {"parameter": "10", "name": "linkage_GLT", "value": 262145}, {"parameter": "11", "name": "linkage_GLT", "value": 65537}, {"parameter": "12", "name": "linkage_GLT", "value": 67125249}, {"parameter": "13", "name": "linkage_GLT", "value": 67112961}, {"parameter": "6", "name": "improved_linkage", "value": 67125249}, {"parameter": "7", "name": "improved_linkage", "value": 16781313}, {"parameter": "8", "name": "improved_linkage", "value": 4194305}, {"parameter": "9", "name": "improved_linkage", "value": 1048577}, {"parameter": "10", "name": "improved_linkage", "value": 262145}, {"parameter": "11", "name": "improved_linkage", "value": 65537}, {"parameter": "12", "name": "improved_linkage", "value": 67125249}, {"parameter": "13", "name": "improved_linkage", "value": 67112961}, {"parameter": "6,0", "name": "generalized_linkage", "value": 67125249}, {"parameter": "7,0", "name": "generalized_linkage", "value": 16781313}, {"parameter": "8,0", "name": "generalized_linkage", "value": 4194305}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1048577}, {"parameter": "10,0", "name": "generalized_linkage", "value": 262145}, {"parameter": "11,0", "name": "generalized_linkage", "value": 65537}, {"parameter": "12,0", "name": "generalized_linkage", "value": 67125249}, {"parameter": "13,0", "name": "generalized_linkage", "value": 67112961}, {"parameter": "[6, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 67125249}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16781313}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4194305}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1048577}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 262145}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 65537}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 67125249}, {"parameter": "[13, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 67112961}, {"parameter": "[6, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 67125249}, {"parameter": "[6, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 67112961}, {"parameter": "[7, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16781313}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 4}], "request": [4, 19, 12, 6], "liftedmrdsizebound": 67125249, "comments": "", "equal_bound_constraints": [{"parameter": "", "name": "partial_spread_2", "value": 67125249}, {"parameter": "", "name": "partial_spread_NS", "value": 67125249}]}