{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1783202253071230934395807391969095566387830751237232265}, {"parameter": "", "name": "singleton", "value": 1227133513}, {"parameter": "1", "name": "ilp_2", "value": 1073745920}, {"parameter": "2", "name": "ilp_2", "value": 1152961088250184255}, {"parameter": "3", "name": "ilp_2", "value": 1238284857537543578451181640}, {"parameter": "4", "name": "ilp_2", "value": 1332200195067514905342778469408353303}, {"parameter": "5", "name": "ilp_2", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "7", "name": "ilp_3", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "8", "name": "ilp_3", "value": 22350622414770185084399969376516081237660161}, {"parameter": "9", "name": "ilp_3", "value": 85094333730950193919826882118184861768}, {"parameter": "10", "name": "ilp_3", "value": 324529872231903408033395642700942}, {"parameter": "11", "name": "ilp_3", "value": 1237945436111270031791825901}, {"parameter": "", "name": "anticode", "value": 1073745920}, {"parameter": "", "name": "linear_programming_bound", "value": 1073745920}, {"parameter": "", "name": "sphere_packing", "value": 68396383630700722695571109826}, {"parameter": "", "name": "DrakeFreeman", "value": 1073743880}, {"parameter": "", "name": "partial_spread_5", "value": 1073745919}, {"parameter": "4", "name": "partial_spread_HKK16_T10", "value": 1073745681}, {"parameter": "5", "name": "partial_spread_HKK16_T10", "value": 1073743937}, {"parameter": "6", "name": "partial_spread_HKK16_T10", "value": 1073743880}, {"parameter": "", "name": "partial_spread_NS_2_Theorem6", "value": 1073745888}, {"parameter": "", "name": "spread_bound", "value": 1073745920}, {"parameter": "", "name": "XiaFuJohnson1", "value": 1073745920}, {"parameter": "12", "name": "ilp_4", "value": 1237945436111270031791825901}, {"parameter": "13", "name": "ilp_4", "value": 37778952445806415997817}, {"parameter": "14", "name": "ilp_4", "value": 1152922957379510152}, {"parameter": "15", "name": "ilp_4", "value": 35184438444031}, {"parameter": "", "name": "johnson_1", "value": 1073745920}, {"parameter": "", "name": "johnson_2", "value": 35184438444031}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 1783202253071230934395807391969095566387830751237232265}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 22350622414770185084399969376516081237660161}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 85094333730950193919826882118184861768}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 324529872231903408033395642700942}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1237945436111270031791825901}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1237945436111270031791825901}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 37778952445806415997817}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1152922957379510152}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 35184438444031}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 38803291157839538452035645278072968554939}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1165680181770645750812470510104448880}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 35504260030654451549797712540765}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1083239961926573001918240749}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1083243577547270745007470137}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 264462755285087547309564}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 64580390875968340234}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 15793746754219196}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 3909449569470}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1073774593}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 1332200195067514905342778469408353303}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 284597350200507593943016781688125}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 68396383630700722695571109826}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 16665730834601375608247423}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 16665738655604310152582927}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 32542448293902079927741}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 63566227580643825902}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 124184461751881185}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 243043647815489}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 482110087006}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 1074003997}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 1238284857537543578451181640}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 2116726254165070580297312}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 4069757835698315764207}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 4069758077387167344205}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 63466069535062893819}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 992387271217699489}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 15521177710806879}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 242576484496680}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 3797653156860}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 60276844886}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 1075843073}, {"parameter": "4, 2", "name": "Ahlswede_Aydinian", "value": 1152961088250184255}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 15793987524780754}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 15793987640814819}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 1943927424855812}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 246306709603677}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 30781055417388}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 3848557011904}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 481183658910}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 60264217489}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 7650902998}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 1090785345}, {"parameter": "5, 1", "name": "Ahlswede_Aydinian", "value": 1073745920}, {"parameter": "5, 2", "name": "Ahlswede_Aydinian", "value": 1073745920}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 1073745928}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 1073745984}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 1073746440}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 1073750080}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 1073779208}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 1074012275}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 1075880015}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 1091029446}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 1227133513}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 1783202253071230934395807391969095566387830751237232265}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1332200195067514905342778469408353303}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1238284857537543578451181640}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1152961088250184255}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1073745920}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 38803291157839538452035645278072968554939}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 284597350200507593943016781688125}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 2116726254165070580297312}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 15793987524780754}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 16013112222159611}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 18014751235016188}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 22350622414770185084399969376516081237660161}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 1165680181770645750812470510104448880}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 68396383630700722695571109826}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 4069757835698315764207}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 4077597694133000850286}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 4141310154722223795676}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 4723681860035880652905}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 85094333730950193919826882118184861768}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 35504260030654451549797712540765}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 16665730834601375608247423}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 16669737018229450282347086}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 16702295084675458385154278}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 16966892963015962577244224}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 19385999577214800640413169}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 324529872231903408033395642700942}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 1083239961926573001918240749}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 1083273012614280159917890280}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 1083537482681615942630113669}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 1085657383510169592875093531}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 1102885774666614957248211422}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 1260401809332973746871411265}, {"parameter": "5, 5, o", "name": "Ahlswede_Aydinian", "value": 1237945436111270031791825901}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 1237950158246139404003318660}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 1237987936477955972598659501}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 1238290236133647644911724235}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 1240713365896277477944686511}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 1260406092577385971983739663}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 1440453028909548546592331401}, {"parameter": "", "name": "improved_johnson", "value": 1073745905}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 2251805132065245}], "known_codes": [], "upper_bound": 1073743880, "classified": false, "lower_bound": 1073741825, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1073741824}, {"parameter": "", "name": "sphere_covering", "value": 28673}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 1073741825}, {"parameter": "", "name": "multicomponent", "value": 1073741825}, {"parameter": "[(0, 1, 2, 3, 4, 5), (6, 7, 9, 10, 11, 12)]", "name": "ef_computation", "value": 1073741825}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1073741824}, {"parameter": "(6, 10)", "name": "CKMP2019_Lem_41", "value": 1073741825}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 134217729}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 16777217}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 2097153}, {"parameter": "(10, 6)", "name": "CKMP2019_Lem_41", "value": 262145}, {"parameter": "(6, 10)", "name": "CKMP2019_Cor_42", "value": 1073741825}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 134217729}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 16777217}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 2097153}, {"parameter": "(10, 6)", "name": "CKMP2019_Cor_42", "value": 262145}, {"parameter": "6", "name": "linkage_GLT", "value": 1073741825}, {"parameter": "7", "name": "linkage_GLT", "value": 134217729}, {"parameter": "8", "name": "linkage_GLT", "value": 16777217}, {"parameter": "9", "name": "linkage_GLT", "value": 2097153}, {"parameter": "10", "name": "linkage_GLT", "value": 262145}, {"parameter": "6", "name": "improved_linkage", "value": 1073741825}, {"parameter": "7", "name": "improved_linkage", "value": 134217729}, {"parameter": "8", "name": "improved_linkage", "value": 16777217}, {"parameter": "9", "name": "improved_linkage", "value": 2097153}, {"parameter": "10", "name": "improved_linkage", "value": 262145}, {"parameter": "6,0", "name": "generalized_linkage", "value": 1073741825}, {"parameter": "7,0", "name": "generalized_linkage", "value": 134217729}, {"parameter": "8,0", "name": "generalized_linkage", "value": 16777217}, {"parameter": "9,0", "name": "generalized_linkage", "value": 2097153}, {"parameter": "10,0", "name": "generalized_linkage", "value": 262145}, {"parameter": "[6, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1073741825}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 134217729}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16777217}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2097153}, {"parameter": "[10, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 262145}, {"parameter": "", "name": "JohnsonLB", "value": 1073741313}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 8}], "request": [8, 16, 12, 6], "liftedmrdsizebound": 1073741825, "comments": "", "equal_bound_constraints": []}