{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 139107123957467496063575263387073253438062080010654181}, {"parameter": "", "name": "singleton", "value": 5592405}, {"parameter": "1", "name": "ilp_2", "value": 4194368}, {"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": "15", "name": "ilp_3", "value": 18447117908037315689}, {"parameter": "", "name": "anticode", "value": 4194368}, {"parameter": "", "name": "linear_programming_bound", "value": 4194368}, {"parameter": "", "name": "sphere_packing", "value": 841390042598593342722982}, {"parameter": "", "name": "DrakeFreeman", "value": 4194336}, {"parameter": "", "name": "partial_spread_5", "value": 4194367}, {"parameter": "3", "name": "partial_spread_HKK16_T10", "value": 4194337}, {"parameter": "4", "name": "partial_spread_HKK16_T10", "value": 4194331}, {"parameter": "5", "name": "partial_spread_HKK16_T10", "value": 4194332}, {"parameter": "6", "name": "partial_spread_HKK16_T10", "value": 4194333}, {"parameter": "7", "name": "partial_spread_HKK16_T10", "value": 4194335}, {"parameter": "8", "name": "partial_spread_HKK16_T10", "value": 4194336}, {"parameter": "", "name": "partial_spread_NS_2_Theorem6", "value": 4194348}, {"parameter": "", "name": "spread_bound", "value": 4194368}, {"parameter": "", "name": "XiaFuJohnson1", "value": 4194368}, {"parameter": "16", "name": "ilp_4", "value": 18447117908037315689}, {"parameter": "17", "name": "ilp_4", "value": 1125905543973183}, {"parameter": "18", "name": "ilp_4", "value": 68719558655}, {"parameter": "", "name": "johnson_1", "value": 4194368}, {"parameter": "", "name": "johnson_2", "value": 68719558655}, {"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": 18447117908037315689}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 18447117908037315689}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 1125905543973183}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 68719558655}, {"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": 885745451706798848754}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 886394795449649353766}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 217028189142716785}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 53615328857649}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 13744446511}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 4194432}, {"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": 3322001376087436482604}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 3322761768231667857513}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 3247064974462805252}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 3182423463942143}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 3154375129355}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 3272962277}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 4194852}, {"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": 818475722175621108709}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 818524864380815311171}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 3195011228776038010}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 12491751356772467}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 48995340819113}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 194382183969}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 809462403}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 4198401}, {"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": 12800748641022922011}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 12800942634351582379}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 199249109431450181}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 3114783779847818}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 48742472548998}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 765964436621}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 12156672934}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 202521879}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 4210722}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 73810626321976270106}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 868360514068101035}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 12732570845455096}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 12732618798241672}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 783593446748578}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 49168447320913}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 3094597860274}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 193552495828}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 12144593509}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 771010221}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 51356479}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 4260873}, {"parameter": "6, 2", "name": "Ahlswede_Aydinian", "value": 17593528307397}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 837787252442}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 837788013187}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 197271828822}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 51594920218}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 12852263469}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 3222666421}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 806231860}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 202345125}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 51349358}, {"parameter": "6, 12", "name": "Ahlswede_Aydinian", "value": 13649123}, {"parameter": "6, 13", "name": "Ahlswede_Aydinian", "value": 4473921}, {"parameter": "7, 1", "name": "Ahlswede_Aydinian", "value": 4194368}, {"parameter": "7, 2", "name": "Ahlswede_Aydinian", "value": 4194368}, {"parameter": "7, 3", "name": "Ahlswede_Aydinian", "value": 4194372}, {"parameter": "7, 4", "name": "Ahlswede_Aydinian", "value": 4194384}, {"parameter": "7, 5", "name": "Ahlswede_Aydinian", "value": 4194435}, {"parameter": "7, 6", "name": "Ahlswede_Aydinian", "value": 4194640}, {"parameter": "7, 7", "name": "Ahlswede_Aydinian", "value": 4195460}, {"parameter": "7, 8", "name": "Ahlswede_Aydinian", "value": 4198740}, {"parameter": "7, 9", "name": "Ahlswede_Aydinian", "value": 4211898}, {"parameter": "7, 10", "name": "Ahlswede_Aydinian", "value": 4265167}, {"parameter": "7, 11", "name": "Ahlswede_Aydinian", "value": 4488877}, {"parameter": "7, 12", "name": "Ahlswede_Aydinian", "value": 5592405}, {"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": 4194368}, {"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": 837787252442}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 879647219298}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 1099558814385}, {"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": 12732570845455096}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 12920366739379262}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 13727887164890374}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 18017834720824678}, {"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": 12800748641022922011}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 12843882297893999306}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 13044565592288107594}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 13900604603963721032}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 18461666542740049416}, {"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": 818475722175621108709}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 817766055139238441636}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 820960298514467395071}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 833939905612022260146}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 889315981153239217610}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 18542844022278517054}, {"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": 3322001376087436482604}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 3322811668964460985156}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 3326055275491695022031}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 3339083493882838394697}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 3392023171822057539493}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 226063979223313155076}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 18833972874671978665}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 1209024111070740017097430}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 885745451706798848754}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 883204189798458944796}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 883417875310809141194}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 884280585594718859165}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 887744953674246578510}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 226077090698876924583}, {"parameter": "6, 12, o", "name": "Ahlswede_Aydinian", "value": 60269516109844288776}, {"parameter": "6, 13, o", "name": "Ahlswede_Aydinian", "value": 20086831111462058513}, {"parameter": "7, 4, o", "name": "Ahlswede_Aydinian", "value": 18447117908037315689}, {"parameter": "7, 5, o", "name": "Ahlswede_Aydinian", "value": 18447398550401613038}, {"parameter": "7, 6, o", "name": "Ahlswede_Aydinian", "value": 18448521188139513540}, {"parameter": "7, 7, o", "name": "Ahlswede_Aydinian", "value": 18453012831848278417}, {"parameter": "7, 8, o", "name": "Ahlswede_Aydinian", "value": 18470996907824759375}, {"parameter": "7, 9, o", "name": "Ahlswede_Aydinian", "value": 18543214323966471931}, {"parameter": "7, 10, o", "name": "Ahlswede_Aydinian", "value": 18836652905563786782}, {"parameter": "7, 11, o", "name": "Ahlswede_Aydinian", "value": 20088363866615917885}, {"parameter": "7, 12, o", "name": "Ahlswede_Aydinian", "value": 26756185103024942565}, {"parameter": "", "name": "improved_johnson", "value": 4194353}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 274879217664}], "known_codes": [], "upper_bound": 4194331, "classified": false, "lower_bound": 4194305, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 4194304}, {"parameter": "", "name": "sphere_covering", "value": 193}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 4194305}, {"parameter": "", "name": "multicomponent", "value": 4194305}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (11, 12, 13, 14, 15, 16, 17, 18)]", "name": "ef_computation", "value": 4194305}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 4194304}, {"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": "(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": "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": "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": "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": "[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": "", "name": "HKK_lemma_2_4_lower_bound", "value": 4}], "request": [4, 19, 16, 8], "liftedmrdsizebound": 4194305, "comments": "", "equal_bound_constraints": []}