{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 139107123957467496063575263387073253438062080010654181}, {"parameter": "", "name": "singleton", "value": 25019996065701}, {"parameter": "2", "name": "ilp_2", "value": 17593528307397}, {"parameter": "3", "name": "ilp_2", "value": 73810626321976270106}, {"parameter": "4", "name": "ilp_2", "value": 309886829009143909944438429}, {"parameter": "5", "name": "ilp_2", "value": 1304856661584186139345447640118521}, {"parameter": "6", "name": "ilp_2", "value": 5559837962890984557458549832601454887775}, {"parameter": "7", "name": "ilp_2", "value": 24874293610256677773440096592981597977625382999}, {"parameter": "9", "name": "ilp_3", "value": 1591960769016920109217968018071128202218583902801}, {"parameter": "10", "name": "ilp_3", "value": 22773203190285674976295944754611661572399455}, {"parameter": "11", "name": "ilp_3", "value": 342062030565745374978070139315289019191}, {"parameter": "12", "name": "ilp_3", "value": 5199064194758490644568117266506908}, {"parameter": "13", "name": "ilp_3", "value": 79253952957568897112638966385}, {"parameter": "14", "name": "ilp_3", "value": 1209024111070740017097430}, {"parameter": "", "name": "anticode", "value": 17593528307397}, {"parameter": "", "name": "linear_programming_bound", "value": 17593528307397}, {"parameter": "", "name": "sphere_packing", "value": 841390042598593342722982}, {"parameter": "1", "name": "ilp_1", "value": 17592991363008}, {"parameter": "15", "name": "ilp_4", "value": 1208968766339041558320603}, {"parameter": "16", "name": "ilp_4", "value": 1208968766339041558320603}, {"parameter": "17", "name": "ilp_4", "value": 295153886528597296787}, {"parameter": "18", "name": "ilp_4", "value": 72060703639883775}, {"parameter": "", "name": "johnson_1", "value": 17592991363008}, {"parameter": "", "name": "johnson_2", "value": 72060703639883775}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 139107123957467496063575263387073253438062080010654181}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1591960769016920109217968018071128202218583902801}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 22773203190285674976295944754611661572399455}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 342062030565745374978070139315289019191}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 5199064194758490644568117266506908}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 79253952957568897112638966385}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1209024111070740017097430}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1208968766339041558320603}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 1208968766339041558320603}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 295153886528597296787}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 72060703639883775}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 24874293610256677773440096592981597977625382999}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1138672376192466547352945425929868872823087}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 65155651148299424986785952513077832917}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 3914663010079668288139942500755889}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 238001520434071572854109987903}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 14512939185706195517793998}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 14512939226215899136837331}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 14523578723442504661468186}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 14224027506479047623429}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 14057349593867701192}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 14414364678147091}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 17595558470404}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 5559837962890984557458549832601454887775}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1018099103714400908039821524083854839}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 233028156054043898699942642809596}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 56003121672253061193035295936}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 13619436168664843424301587}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 13610239637830227269231510}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 13613354964445143212234263}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 53222643779977043831794}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 208712911881471211180}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 827440004255233901}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 3435717428702163}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 17613670319353}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 1304856661584186139345447640118521}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 955939170403668802542575372370}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 875242691042951129586390706}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 841390042598593342722982}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 838937615230011636427705}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 838987985990335693951016}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 13115534351433639255110}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 205239930617211673999}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 3225126712184877211}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 51178623381078709}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 852103264218861}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 17678312100030}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 309886829009143909944438429}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 908759244538168680643376}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 3328791594440834781235}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 3289792400742890957082}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 3289842257028356671437}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 206427714662858985537}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 12992394151430538861}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 812617808529906221}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 50989486581434219}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 3237419835189858}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 215731809806753}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 17941480559177}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 73810626321976270106}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 868360514068101035}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 827617104954581268}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 827620221885708685}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 216457780408645205}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 53919509185609749}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 13520298051537778}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 3382562090379263}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 849060117635495}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 215587564982057}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 57441410564607}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 19062841575697}, {"parameter": "6, 2", "name": "Ahlswede_Aydinian", "value": 17593528307397}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 17593532301302}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 17593548276939}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 17593612179717}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 17593867794505}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 17594890312535}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 17598981326871}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 17615360473547}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 17681119378319}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 17948089813694}, {"parameter": "6, 12", "name": "Ahlswede_Aydinian", "value": 19082853005394}, {"parameter": "6, 13", "name": "Ahlswede_Aydinian", "value": 25019996065701}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 139107123957467496063575263387073253438062080010654181}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 24874293610256677773440096592981597977625382999}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 5559837962890984557458549832601454887775}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1304856661584186139345447640118521}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 309886829009143909944438429}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 73810626321976270106}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 17593528307397}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 17592991363008}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1591960769016920109217968018071128202218583902801}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1138672376192466547352945425929868872823087}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1018099103714400908039821524083854839}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 955939170403668802542575372370}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 908759244538168680643376}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 868360514068101035}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 878592518360483876}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 922522110760681194}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 1153152418505279674}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 22773203190285674976295944754611661572399455}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 65155651148299424986785952513077832917}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 233028156054043898699942642809596}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 875242691042951129586390706}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 3328791594440834781235}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 3339511413916808150529}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 3389206378885538713114}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 3601031123432373786274}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 4726348842121203994421}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 342062030565745374978070139315289019191}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 3914663010079668288139942500755889}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 56003121672253061193035295936}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 841390042598593342722982}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 842199655338821107935229}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 845450755001924600130596}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 858660768906176269309481}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 915009683768773806309128}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 1215242368688067172167998}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 5199064194758490644568117266506908}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 238001520434071572854109987903}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 13619436168664843424301587}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 13620254492724510870042379}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 13633515594626002135744989}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 13686769065101745346734975}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 13903160631452164228291714}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 14826371606497114904904363}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 1234378585654815412242825}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 79253952957568897112638966385}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 14512939185706195517793998}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 14513824012126009992499992}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 14517364181705730044149302}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 14531538695939656457103518}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 14588458995395099564528254}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 14819752499214510124636876}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 3950739361246799252611838}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 1316732026596696799065635}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 1209024111070740017097430}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 1209042541579780428549463}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 1209116268111663832164535}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 1209411246188294553813398}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 1210592310804602842351010}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 1215335078459116655413925}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 1234606992306566885150991}, {"parameter": "6, 12, o", "name": "Ahlswede_Aydinian", "value": 1316828712676694438351272}, {"parameter": "6, 13, o", "name": "Ahlswede_Aydinian", "value": 1755207390500040817377765}, {"parameter": "", "name": "improved_johnson", "value": 17592991363000}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 288243845400101696}], "known_codes": [], "upper_bound": 17592991363000, "classified": false, "lower_bound": 17592186044417, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 17592186044416}, {"parameter": "", "name": "sphere_covering", "value": 737622}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 17592186044417}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (2, 9, 10, 13, 14, 16, 17, 18)]", "name": "ef_computation", "value": 17592186044417}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 17592186044416}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 17592186044417}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1099511627777}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 68719476737}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 4294967297}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 17592186044417}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1099511627777}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 68719476737}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 4294967297}, {"parameter": "", "name": "construction_1", "value": 17592186044417}, {"parameter": "8", "name": "linkage_GLT", "value": 17592186044417}, {"parameter": "9", "name": "linkage_GLT", "value": 1099511627777}, {"parameter": "10", "name": "linkage_GLT", "value": 68719476737}, {"parameter": "11", "name": "linkage_GLT", "value": 4294967297}, {"parameter": "8", "name": "improved_linkage", "value": 17592186044417}, {"parameter": "9", "name": "improved_linkage", "value": 1099511627777}, {"parameter": "10", "name": "improved_linkage", "value": 68719476737}, {"parameter": "11", "name": "improved_linkage", "value": 4294967297}, {"parameter": "12", "name": "improved_linkage", "value": 65537}, {"parameter": "8,0", "name": "generalized_linkage", "value": 17592186044417}, {"parameter": "8,1", "name": "generalized_linkage", "value": 17592186044417}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1099511627777}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1099511627777}, {"parameter": "10,0", "name": "generalized_linkage", "value": 68719476737}, {"parameter": "10,1", "name": "generalized_linkage", "value": 68719476737}, {"parameter": "11,0", "name": "generalized_linkage", "value": 4294967297}, {"parameter": "11,1", "name": "generalized_linkage", "value": 4294967297}, {"parameter": "12,1", "name": "generalized_linkage", "value": 65537}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 17592186044417}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 17592186044417}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1099511627777}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1099511627777}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 68719476737}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 68719476737}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4294967297}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4294967297}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 65537}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 67108868}], "request": [4, 19, 14, 8], "liftedmrdsizebound": 17592186044417, "comments": "", "equal_bound_constraints": []}