{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1731212183148357775944585240618840930624286}, {"parameter": "", "name": "singleton", "value": 265720}, {"parameter": "1", "name": "ilp_2", "value": 177174}, {"parameter": "2", "name": "ilp_2", "value": 31400200858}, {"parameter": "3", "name": "ilp_2", "value": 5570092068246994}, {"parameter": "4", "name": "ilp_2", "value": 990802453041525908616}, {"parameter": "5", "name": "ilp_2", "value": 177711640790778366991306153}, {"parameter": "6", "name": "ilp_2", "value": 32691888120376447092756677232188}, {"parameter": "7", "name": "ilp_2", "value": 6515174556481852235227251394772094425}, {"parameter": "9", "name": "ilp_3", "value": 175918319596418837104418782706924187646}, {"parameter": "10", "name": "ilp_3", "value": 23833941145700966956295729942680421}, {"parameter": "11", "name": "ilp_3", "value": 3498145426869503916902944342574}, {"parameter": "12", "name": "ilp_3", "value": 526591212835993363977561996}, {"parameter": "13", "name": "ilp_3", "value": 79930574567941980404566}, {"parameter": "14", "name": "ilp_3", "value": 12165972736062997229}, {"parameter": "15", "name": "ilp_3", "value": 1853438610653224}, {"parameter": "", "name": "anticode", "value": 177174}, {"parameter": "", "name": "linear_programming_bound", "value": 177174}, {"parameter": "", "name": "sphere_packing", "value": 7081975790138305586}, {"parameter": "", "name": "DrakeFreeman", "value": 177161}, {"parameter": "", "name": "partial_spread_5", "value": 177173}, {"parameter": "", "name": "partial_spread_kurz16_28", "value": 177160}, {"parameter": "3", "name": "partial_spread_HKK16_T10", "value": 177158}, {"parameter": "4", "name": "partial_spread_HKK16_T10", "value": 177157}, {"parameter": "5", "name": "partial_spread_HKK16_T10", "value": 177158}, {"parameter": "6", "name": "partial_spread_HKK16_T10", "value": 177159}, {"parameter": "7", "name": "partial_spread_HKK16_T10", "value": 177160}, {"parameter": "8", "name": "partial_spread_HKK16_T10", "value": 177161}, {"parameter": "", "name": "partial_spread_NS_2_Theorem6", "value": 177162}, {"parameter": "", "name": "spread_bound", "value": 177174}, {"parameter": "", "name": "XiaFuJohnson1", "value": 177174}, {"parameter": "16", "name": "ilp_4", "value": 1853438610653224}, {"parameter": "17", "name": "ilp_4", "value": 847350786446}, {"parameter": "18", "name": "ilp_4", "value": 387429236}, {"parameter": "", "name": "johnson_1", "value": 177174}, {"parameter": "", "name": "johnson_2", "value": 387429236}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1731212183148357775944585240618840930624286}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 175918319596418837104418782706924187646}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 23833941145700966956295729942680421}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 3498145426869503916902944342574}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 526591212835993363977561996}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 79930574567941980404566}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 12165972736062997229}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1853438610653224}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 1853438610653224}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 847350786446}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 387429236}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 6515174556481852235227251394772094425}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1986341179282204083213136164434417}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 807382826433411991819465009622}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 355518634124001532703114759}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 160570265453178519534063}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 73140620183907533340}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 33428076022895529}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 33520136194947499}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 46342851014538}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 65190000939}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 96884786}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 177187}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 32691888120376447092756677232188}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 29910386104938201490771295573}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 36476629212137489826346768}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 48187945946700212554651}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 65295311615792250623}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 89236476398012751}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 89345334390653625}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 368520180763617}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 1532678261798}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 6525397145}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 29836077}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 177280}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 177711640790778366991306153}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 488221440040087207722023}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 1786749790115058052273}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 7081975790138305586}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 28789808023584007}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 28802455466594194}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 354597020141668}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 4389099360654}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 54912040352}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 703105033}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 9740057}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 177877}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 990802453041525908616}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 8188495301462377503}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 89984957502281519}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 1070322656757932}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 1070482469354192}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 39182868251922}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 1451201064244}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 54064168946}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 2038861307}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 78345186}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 3256400}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 179348}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 5570092068246994}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 139253064987574}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 4603482805597}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 4603709912478}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 493478093531}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 55082049919}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 6227235404}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 693773456}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 78032638}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 8998959}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 1120681}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 183956}, {"parameter": "6, 2", "name": "Ahlswede_Aydinian", "value": 31400200858}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 2415412634}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 2415450342}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 726665374}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 259559815}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 85607862}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 28782946}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 9619104}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 3245905}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 1120025}, {"parameter": "6, 12", "name": "Ahlswede_Aydinian", "value": 415847}, {"parameter": "6, 13", "name": "Ahlswede_Aydinian", "value": 199288}, {"parameter": "7, 1", "name": "Ahlswede_Aydinian", "value": 177174}, {"parameter": "7, 2", "name": "Ahlswede_Aydinian", "value": 177174}, {"parameter": "7, 3", "name": "Ahlswede_Aydinian", "value": 177177}, {"parameter": "7, 4", "name": "Ahlswede_Aydinian", "value": 177183}, {"parameter": "7, 5", "name": "Ahlswede_Aydinian", "value": 177203}, {"parameter": "7, 6", "name": "Ahlswede_Aydinian", "value": 177264}, {"parameter": "7, 7", "name": "Ahlswede_Aydinian", "value": 177447}, {"parameter": "7, 8", "name": "Ahlswede_Aydinian", "value": 177996}, {"parameter": "7, 9", "name": "Ahlswede_Aydinian", "value": 179657}, {"parameter": "7, 10", "name": "Ahlswede_Aydinian", "value": 184770}, {"parameter": "7, 11", "name": "Ahlswede_Aydinian", "value": 201380}, {"parameter": "7, 12", "name": "Ahlswede_Aydinian", "value": 265720}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1731212183148357775944585240618840930624286}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 6515174556481852235227251394772094425}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 32691888120376447092756677232188}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 177711640790778366991306153}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 990802453041525908616}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 5570092068246994}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 31400200858}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 177174}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 175918319596418837104418782706924187646}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1986341179282204083213136164434417}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 29910386104938201490771295573}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 488221440040087207722023}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 8188495301462377503}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 139253064987574}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 2415412634}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 2615985238}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 3487965545}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 23833941145700966956295729942680421}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 807382826433411991819465009622}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 36476629212137489826346768}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1786749790115058052273}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 89984957502281519}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 4603482805597}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 4757229449435}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 5285789759894}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 7634900360352}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 3498145426869503916902944342574}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 355518634124001532703114759}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 48187945946700212554651}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 7081975790138305586}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 1070322656757932}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 1080885320165380}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 1120913702645685}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 1255822549618264}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 1860375459182278}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 526591212835993363977561996}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 160570265453178519534063}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 65295311615792250623}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 28789808023584007}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 28733316037177784}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 29087909754562791}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 30192509557228564}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 33918654177535833}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 1887381125087029}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 79930574567941980404566}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 73140620183907533340}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 89236476398012751}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 89358437656605759}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 89725396000863434}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 90841308509489468}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 94317480425602398}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 11767386812467790}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 1957827189662618}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 12165972736062997229}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 33428076022895529}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 33167925506667304}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 33212625555022503}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 33349298301651650}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 33764430080448805}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 11772326887465780}, {"parameter": "6, 12, o", "name": "Ahlswede_Aydinian", "value": 4406997635416207}, {"parameter": "6, 13, o", "name": "Ahlswede_Aydinian", "value": 2200888874901142}, {"parameter": "7, 4, o", "name": "Ahlswede_Aydinian", "value": 1853438610653224}, {"parameter": "7, 5, o", "name": "Ahlswede_Aydinian", "value": 1853718683541429}, {"parameter": "7, 6, o", "name": "Ahlswede_Aydinian", "value": 1854559282627145}, {"parameter": "7, 7, o", "name": "Ahlswede_Aydinian", "value": 1857084508323933}, {"parameter": "7, 8, o", "name": "Ahlswede_Aydinian", "value": 1864691167426380}, {"parameter": "7, 9, o", "name": "Ahlswede_Aydinian", "value": 1887793428367142}, {"parameter": "7, 10, o", "name": "Ahlswede_Aydinian", "value": 1959737326830824}, {"parameter": "7, 11, o", "name": "Ahlswede_Aydinian", "value": 2202231786584660}, {"parameter": "7, 12, o", "name": "Ahlswede_Aydinian", "value": 3287582741506063}, {"parameter": "", "name": "improved_johnson", "value": 177163}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 1162340199}], "known_codes": [], "upper_bound": 177157, "classified": false, "lower_bound": 177148, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 177147}, {"parameter": "", "name": "sphere_covering", "value": 55}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 177148}, {"parameter": "", "name": "multicomponent", "value": 177148}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (11, 12, 13, 14, 15, 16, 17, 18)]", "name": "ef_computation", "value": 177148}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 177147}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 177148}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 59050}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 19684}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 6562}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 177148}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 59050}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 19684}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 6562}, {"parameter": "8", "name": "linkage_GLT", "value": 177148}, {"parameter": "9", "name": "linkage_GLT", "value": 59050}, {"parameter": "10", "name": "linkage_GLT", "value": 19684}, {"parameter": "11", "name": "linkage_GLT", "value": 6562}, {"parameter": "8", "name": "improved_linkage", "value": 177148}, {"parameter": "9", "name": "improved_linkage", "value": 59050}, {"parameter": "10", "name": "improved_linkage", "value": 19684}, {"parameter": "11", "name": "improved_linkage", "value": 6562}, {"parameter": "8,0", "name": "generalized_linkage", "value": 177148}, {"parameter": "9,0", "name": "generalized_linkage", "value": 59050}, {"parameter": "10,0", "name": "generalized_linkage", "value": 19684}, {"parameter": "11,0", "name": "generalized_linkage", "value": 6562}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 177148}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 59050}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19684}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6562}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 3}], "request": [3, 19, 16, 8], "liftedmrdsizebound": 177148, "comments": "", "equal_bound_constraints": []}