{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 36121735336208679823466411064327588635221204800}, {"parameter": "", "name": "singleton", "value": 2306881200}, {"parameter": "1", "name": "ilp_2", "value": 1977444399}, {"parameter": "2", "name": "ilp_2", "value": 3911682881976869028}, {"parameter": "3", "name": "ilp_2", "value": 7757291181933545698912862432}, {"parameter": "4", "name": "ilp_2", "value": 15658255542681903092134268147110301404}, {"parameter": "6", "name": "ilp_3", "value": 1842193764596525898789596647507526960180600}, {"parameter": "7", "name": "ilp_3", "value": 107371938165428409409478373999579006400}, {"parameter": "8", "name": "ilp_3", "value": 6369900578090569667298363153597006}, {"parameter": "9", "name": "ilp_3", "value": 378844988163322187402931761999}, {"parameter": "", "name": "anticode", "value": 1977444399}, {"parameter": "", "name": "linear_programming_bound", "value": 1977444399}, {"parameter": "", "name": "sphere_packing", "value": 55389441003935305987116}, {"parameter": "", "name": "DrakeFreeman", "value": 1977444396}, {"parameter": "", "name": "partial_spread_5", "value": 1977444398}, {"parameter": "", "name": "partial_spread_kurz16_28", "value": 1977444393}, {"parameter": "", "name": "spread_bound", "value": 1977444399}, {"parameter": "", "name": "XiaFuJohnson1", "value": 1977444399}, {"parameter": "10", "name": "ilp_4", "value": 378844988163322187402931761999}, {"parameter": "11", "name": "ilp_4", "value": 157776946590482061694048670}, {"parameter": "12", "name": "ilp_4", "value": 65713891709284254791424}, {"parameter": "13", "name": "ilp_4", "value": 27369564709590612997}, {"parameter": "14", "name": "ilp_4", "value": 11399247195650485}, {"parameter": "15", "name": "ilp_4", "value": 4747844004400}, {"parameter": "", "name": "johnson_1", "value": 1977444399}, {"parameter": "", "name": "johnson_2", "value": 4747844004400}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 36121735336208679823466411064327588635221204800}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 1842193764596525898789596647507526960180600}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 107371938165428409409478373999579006400}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 6369900578090569667298363153597006}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 378844988163322187402931761999}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 378844988163322187402931761999}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 157776946590482061694048670}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 65713891709284254791424}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 27369564709590612997}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 11399247195650485}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 4747844004400}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 15658255542681903092134268147110301404}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 5590237611377047337255338383906911}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 2280798705970627330731415165411}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 947168661713145518498680508}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 947168802493225794115658999}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 2760278374902257234654621}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 8048475026541467033187}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 23466793352627905389}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 68454442219130409}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 200075609059763}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 593723311314}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1978150464}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 7757291181933545698912862432}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 19393227964417487312946242}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 55389441003935305987116}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 55389442345163562871449}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1127112109540384173259}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 23025573973223106406}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 470583604689958927}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 9604224023096152}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 196084950225821}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 4013183768018}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 83568894791}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 1983108376}, {"parameter": "3, 2", "name": "Ahlswede_Aydinian", "value": 3911682881976869028}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 68626015507276570}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 68626015745263739}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 9608132448399136}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 1396531116435275}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 199423289404725}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 28499245069870}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 4071524132661}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 581887862223}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 83364909871}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 12152219729}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 2018521044}, {"parameter": "4, 1", "name": "Ahlswede_Aydinian", "value": 1977444399}, {"parameter": "4, 2", "name": "Ahlswede_Aydinian", "value": 1977444399}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 1977444405}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 1977444448}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 1977444748}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 1977446849}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 1977461550}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 1977564462}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 1978285106}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 1983342287}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 2019374628}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 2306881200}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 36121735336208679823466411064327588635221204800}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 15658255542681903092134268147110301404}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 7757291181933545698912862432}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 3911682881976869028}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1977444399}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1842193764596525898789596647507526960180600}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 5590237611377047337255338383906911}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 19393227964417487312946242}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 68626015507276570}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 69851473387292062}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 79830255264436440}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 107371938165428409409478373999579006400}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 2280798705970627330731415165411}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 55389441003935305987116}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 55548093176720319466773}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 56681727706704911809096}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 65935887098869549216204}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 6369900578090569667298363153597006}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 947168661713145518498680508}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 947562164670044756702787702}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 950324736166415373071923181}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 970065443788913673936929808}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 1131271626030000717939391898}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 378844988163322187402931761999}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 378867520997290317646263599972}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 379025316551845866802773822147}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 380133114971358398948591764243}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 388049248039089842820966254359}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 452697105941691435357049202400}, {"parameter": "", "name": "improved_johnson", "value": 1977444393}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 11399670344398403}], "known_codes": [], "upper_bound": 1977444393, "classified": false, "lower_bound": 1977444393, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1977326743}, {"parameter": "", "name": "sphere_covering", "value": 705979}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 1977444393}, {"parameter": "", "name": "multicomponent", "value": 1977444393}, {"parameter": "[(0, 1, 2, 3, 4), (5, 6, 7, 8, 9), (11, 12, 13, 14, 15)]", "name": "ef_computation", "value": 1977444393}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1977326743}, {"parameter": "(5, 11)", "name": "CKMP2019_Lem_41", "value": 1977444393}, {"parameter": "(6, 10)", "name": "CKMP2019_Lem_41", "value": 282492057}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 40353608}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 5764802}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 823544}, {"parameter": "(10, 6)", "name": "CKMP2019_Lem_41", "value": 1977444393}, {"parameter": "(11, 5)", "name": "CKMP2019_Lem_41", "value": 1977343551}, {"parameter": "(5, 5, 6)", "name": "CKMP2019_Lem_41", "value": 1977444393}, {"parameter": "(5, 6, 5)", "name": "CKMP2019_Lem_41", "value": 1977343551}, {"parameter": "(6, 5, 5)", "name": "CKMP2019_Lem_41", "value": 282492057}, {"parameter": "(5, 11)", "name": "CKMP2019_Cor_42", "value": 1977444393}, {"parameter": "(6, 10)", "name": "CKMP2019_Cor_42", "value": 282492057}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 40353608}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 5764802}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 823544}, {"parameter": "(10, 6)", "name": "CKMP2019_Cor_42", "value": 1977444393}, {"parameter": "(11, 5)", "name": "CKMP2019_Cor_42", "value": 1977343551}, {"parameter": "(5, 5, 6)", "name": "CKMP2019_Cor_42", "value": 1977444393}, {"parameter": "(5, 6, 5)", "name": "CKMP2019_Cor_42", "value": 1977343551}, {"parameter": "(6, 5, 5)", "name": "CKMP2019_Cor_42", "value": 282492057}, {"parameter": "5", "name": "linkage_GLT", "value": 1977444393}, {"parameter": "6", "name": "linkage_GLT", "value": 282492057}, {"parameter": "7", "name": "linkage_GLT", "value": 40353608}, {"parameter": "8", "name": "linkage_GLT", "value": 5764802}, {"parameter": "9", "name": "linkage_GLT", "value": 823544}, {"parameter": "10", "name": "linkage_GLT", "value": 1977444393}, {"parameter": "11", "name": "linkage_GLT", "value": 1977343551}, {"parameter": "5", "name": "improved_linkage", "value": 1977444393}, {"parameter": "6", "name": "improved_linkage", "value": 282492057}, {"parameter": "7", "name": "improved_linkage", "value": 40353608}, {"parameter": "8", "name": "improved_linkage", "value": 5764802}, {"parameter": "9", "name": "improved_linkage", "value": 823544}, {"parameter": "10", "name": "improved_linkage", "value": 1977444393}, {"parameter": "11", "name": "improved_linkage", "value": 1977343551}, {"parameter": "5,0", "name": "generalized_linkage", "value": 1977444393}, {"parameter": "6,0", "name": "generalized_linkage", "value": 282492057}, {"parameter": "7,0", "name": "generalized_linkage", "value": 40353608}, {"parameter": "8,0", "name": "generalized_linkage", "value": 5764802}, {"parameter": "9,0", "name": "generalized_linkage", "value": 823544}, {"parameter": "10,0", "name": "generalized_linkage", "value": 1977444393}, {"parameter": "11,0", "name": "generalized_linkage", "value": 1977343551}, {"parameter": "[5, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1977444393}, {"parameter": "[6, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 282492057}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 40353608}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5764802}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 823544}, {"parameter": "[10, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1977444393}, {"parameter": "[11, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1977343551}, {"parameter": "[5, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1977444393}, {"parameter": "[5, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1977343551}, {"parameter": "[6, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 282492057}, {"parameter": "", "name": "JohnsonLB", "value": 1977309943}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 7}], "request": [7, 16, 10, 5], "liftedmrdsizebound": 1977444393, "comments": "", "equal_bound_constraints": [{"parameter": "", "name": "partial_spread_2", "value": 1977444393}, {"parameter": "", "name": "partial_spread_NS", "value": 1977444393}]}