{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 2050069762911386221695293524269464063566943065726695501256}, {"parameter": "", "name": "singleton", "value": 3922632451}, {"parameter": "1", "name": "ilp_2", "value": 3486790962}, {"parameter": "2", "name": "ilp_2", "value": 12157894230898730831}, {"parameter": "3", "name": "ilp_2", "value": 42398418141711249633358304508}, {"parameter": "4", "name": "ilp_2", "value": 148037211881288142907544358503947200017}, {"parameter": "5", "name": "ilp_2", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "7", "name": "ilp_3", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "8", "name": "ilp_3", "value": 6372518037618495430514083389174081311297962654}, {"parameter": "9", "name": "ilp_3", "value": 11974568395531690810874856745621391077863}, {"parameter": "10", "name": "ilp_3", "value": 22528828761161112146578107969989863}, {"parameter": "11", "name": "ilp_3", "value": 42391248010947067126553227743}, {"parameter": "", "name": "anticode", "value": 3486790962}, {"parameter": "", "name": "linear_programming_bound", "value": 3486790962}, {"parameter": "", "name": "sphere_packing", "value": 3019196925006201506857699958278}, {"parameter": "", "name": "DrakeFreeman", "value": 3486787692}, {"parameter": "", "name": "partial_spread_5", "value": 3486790961}, {"parameter": "4", "name": "partial_spread_HKK16_T10", "value": 3486790638}, {"parameter": "5", "name": "partial_spread_HKK16_T10", "value": 3486787774}, {"parameter": "6", "name": "partial_spread_HKK16_T10", "value": 3486787692}, {"parameter": "", "name": "partial_spread_NS_2_Theorem6", "value": 3486790925}, {"parameter": "", "name": "spread_bound", "value": 3486790962}, {"parameter": "", "name": "XiaFuJohnson1", "value": 3486790962}, {"parameter": "12", "name": "ilp_4", "value": 42391248010947067126553227743}, {"parameter": "13", "name": "ilp_4", "value": 717898156522550008984990}, {"parameter": "14", "name": "ilp_4", "value": 12157673684381288730}, {"parameter": "15", "name": "ilp_4", "value": 205891324535339}, {"parameter": "", "name": "johnson_1", "value": 3486790962}, {"parameter": "", "name": "johnson_2", "value": 205891324535339}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 2050069762911386221695293524269464063566943065726695501256}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 6372518037618495430514083389174081311297962654}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 11974568395531690810874856745621391077863}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 22528828761161112146578107969989863}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 42391248010947067126553227743}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 42391248010947067126553227743}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 717898156522550008984990}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 12157673684381288730}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 205891324535339}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 7867319197667145452992620454692833425798262}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 131588908238022494102863298171694353217}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 2225412927521432096093813354206597}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 37681826257963156007527278433}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 37681889283803247994163662354}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 5743304127726860539218146}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 875493059471878073192}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 133602101168554282}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 20589327551202}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 3486843451}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 148037211881288142907544358503947200017}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 20056525121692855065359920109377433}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 3019196925006201506857699958278}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 459542152869836817657380027}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 459542247749689963126736537}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 630278562102871423791987}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 864638030809483744572}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 1186249112333719101}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 1629555761036396}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 2262923089162}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 3487315879}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 42398418141711249633358304508}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 51705387992487205546962510}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 70052009383013470754168}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 70052011006147683922792}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 863655270819669899409}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 10668027676814630168}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 131795426459343023}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 1627348364209790}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 20118260641445}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 251470399182}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 3491573932}, {"parameter": "4, 2", "name": "Ahlswede_Aydinian", "value": 12157894230898730831}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 133603233344469650}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 133603233685481369}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 14663990631197452}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 1647188329259634}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 182993715442507}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 20335696640091}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 2259858250771}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 251436839823}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 28282700932}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 3530369206}, {"parameter": "5, 1", "name": "Ahlswede_Aydinian", "value": 3486790962}, {"parameter": "5, 2", "name": "Ahlswede_Aydinian", "value": 3486790962}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 3486790971}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 3486791043}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 3486791700}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 3486797604}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 3486850749}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 3487329111}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 3491639639}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 3530865425}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 3922632451}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 2050069762911386221695293524269464063566943065726695501256}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 148037211881288142907544358503947200017}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 42398418141711249633358304508}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 12157894230898730831}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 3486790962}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 7867319197667145452992620454692833425798262}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 20056525121692855065359920109377433}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 51705387992487205546962510}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 133603233344469650}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 135086603478535761}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 150096226048519484}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 6372518037618495430514083389174081311297962654}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 131588908238022494102863298171694353217}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 3019196925006201506857699958278}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 70052009383013470754168}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 70147046702148321729021}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 71013059606268136478831}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 79780103796177358659775}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 11974568395531690810874856745621391077863}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 2225412927521432096093813354206597}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 459542152869836817657380027}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 459611340172993866748514091}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 460241808286012271580019965}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 465986938143693872402976702}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 524155391361569275441103674}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 22528828761161112146578107969989863}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 37681826257963156007527278433}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 37682464315474576976392396077}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 37688207708444713103174678590}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 37739969247327353844714072140}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 38211646160942407688926683382}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 42987364825231475446819490020}, {"parameter": "5, 5, o", "name": "Ahlswede_Aydinian", "value": 42391248010947067126553227743}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 42391327775157489657109095515}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 42392045665208599523380164055}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 42398507660560573239236786496}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 42456745504560003281706718910}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 42987437735926020878485655252}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 48360684318187059842589436510}, {"parameter": "", "name": "improved_johnson", "value": 3486790945}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 16677200769367946}], "known_codes": [], "upper_bound": 3486787692, "classified": false, "lower_bound": 3486784402, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 3486784401}, {"parameter": "", "name": "sphere_covering", "value": 52489}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 3486784402}, {"parameter": "", "name": "multicomponent", "value": 3486784402}, {"parameter": "[(0, 1, 2, 3, 4, 5), (6, 7, 9, 10, 11, 12)]", "name": "ef_computation", "value": 3486784402}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 3486784401}, {"parameter": "(6, 10)", "name": "CKMP2019_Lem_41", "value": 3486784402}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 387420490}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 43046722}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 4782970}, {"parameter": "(10, 6)", "name": "CKMP2019_Lem_41", "value": 531442}, {"parameter": "(6, 10)", "name": "CKMP2019_Cor_42", "value": 3486784402}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 387420490}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 43046722}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 4782970}, {"parameter": "(10, 6)", "name": "CKMP2019_Cor_42", "value": 531442}, {"parameter": "6", "name": "linkage_GLT", "value": 3486784402}, {"parameter": "7", "name": "linkage_GLT", "value": 387420490}, {"parameter": "8", "name": "linkage_GLT", "value": 43046722}, {"parameter": "9", "name": "linkage_GLT", "value": 4782970}, {"parameter": "10", "name": "linkage_GLT", "value": 531442}, {"parameter": "6", "name": "improved_linkage", "value": 3486784402}, {"parameter": "7", "name": "improved_linkage", "value": 387420490}, {"parameter": "8", "name": "improved_linkage", "value": 43046722}, {"parameter": "9", "name": "improved_linkage", "value": 4782970}, {"parameter": "10", "name": "improved_linkage", "value": 531442}, {"parameter": "6,0", "name": "generalized_linkage", "value": 3486784402}, {"parameter": "7,0", "name": "generalized_linkage", "value": 387420490}, {"parameter": "8,0", "name": "generalized_linkage", "value": 43046722}, {"parameter": "9,0", "name": "generalized_linkage", "value": 4782970}, {"parameter": "10,0", "name": "generalized_linkage", "value": 531442}, {"parameter": "[6, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3486784402}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 387420490}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 43046722}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4782970}, {"parameter": "[10, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 531442}, {"parameter": "", "name": "JohnsonLB", "value": 3486783673}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 9}], "request": [9, 16, 12, 6], "liftedmrdsizebound": 3486784402, "comments": "", "equal_bound_constraints": []}