{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 34718046121166753868579146371116506562228516029840080}, {"parameter": "", "name": "singleton", "value": 1121715605764106708446}, {"parameter": "2", "name": "ilp_2", "value": 984937699705613035564}, {"parameter": "3", "name": "ilp_2", "value": 30950845243449212232351562291480}, {"parameter": "4", "name": "ilp_2", "value": 983411198527397133334817173541721249713068}, {"parameter": "6", "name": "ilp_3", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "7", "name": "ilp_3", "value": 8741451151967514519582349843718116857817360}, {"parameter": "8", "name": "ilp_3", "value": 147834177345738550353103574121949107214}, {"parameter": "", "name": "anticode", "value": 984937699705613035564}, {"parameter": "", "name": "linear_programming_bound", "value": 984937699705613035564}, {"parameter": "", "name": "sphere_packing", "value": 133235496349444400497609434609431273125}, {"parameter": "1", "name": "ilp_1", "value": 984937688593047209475}, {"parameter": "9", "name": "ilp_4", "value": 147814148667491355731246266202811612181}, {"parameter": "10", "name": "ilp_4", "value": 147814148667491355731246266202811612181}, {"parameter": "11", "name": "ilp_4", "value": 202773193808637582921474644379901698}, {"parameter": "12", "name": "ilp_4", "value": 278154913439761579785230687582977}, {"parameter": "13", "name": "ilp_4", "value": 381585046359497349585282288931}, {"parameter": "14", "name": "ilp_4", "value": 523436265427177728384179885}, {"parameter": "15", "name": "ilp_4", "value": 718019574046367040256868}, {"parameter": "", "name": "johnson_1", "value": 984937688593047209475}, {"parameter": "", "name": "johnson_2", "value": 718019574046367040256868}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 34718046121166753868579146371116506562228516029840080}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 8741451151967514519582349843718116857817360}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 147834177345738550353103574121949107214}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 147814148667491355731246266202811612181}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 147814148667491355731246266202811612181}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 202773193808637582921474644379901698}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 278154913439761579785230687582977}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 381585046359497349585282288931}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 523436265427177728384179885}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 718019574046367040256868}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 983411198527397133334817173541721249713068}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 133235496349444400497609434609431273125}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 20056525121692855065359920109377433}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 20032069713521846409099039811272665}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 20032070127116000411907393171393879}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 247439370304998290155814035526862}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 3056880065592428477878349604122}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 37739757190740386496213188227}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 465986388033468608238159400}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 5759947083088516956721804}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 71900465443310844461473}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 986273931928855159841}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 30950845243449212232351562291480}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 37744933224905046947226628653}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 37330715705156427778272385200}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 37330715800207878564896221125}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 4193313377760299106894640167}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 465853667291449501234230727}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 51768541834381925970273183}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 5752145607077781770812434}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 639224453402653396029254}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 71121177213136286418412}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 7999792492940204633432}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 998450154330193673092}, {"parameter": "3, 2", "name": "Ahlswede_Aydinian", "value": 984937699705613035564}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 984937699736611924293}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 984937700015601922942}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 984937702526511917185}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 984937725124702383925}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 984937928508458587794}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 984939758965666689174}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 984956233356127801814}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 985104525196282960572}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 986440962617535552353}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 998617389692116233194}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 1121715605764106708446}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 34718046121166753868579146371116506562228516029840080}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 983411198527397133334817173541721249713068}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 30950845243449212232351562291480}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 984937699705613035564}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 984937688593047209475}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 133235496349444400497609434609431273125}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 37744933224905046947226628653}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 37791019747740631438079670926}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 38210919967051588380392282363}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 42456577739950791067113142498}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 8741451151967514519582349843718116857817360}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 20056525121692855065359920109377433}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 20059544358947120481728553543350994}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 20086758501279034161270258067568419}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 20334743173557545959245821223930163}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 22845205287197907022024807798486342}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 147834177345738550353103574121949107214}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 147836677538529677203485935004851489462}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 147859182703269482030897719763800913537}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 148062007366706269128408210633229281614}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 149910243633961170297482677257614624604}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 168623318873839155489174680568370759015}, {"parameter": "", "name": "improved_johnson", "value": 984937688593047209454}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 4710935289623959607888701078}], "known_codes": [], "upper_bound": 984937688593047209454, "classified": false, "lower_bound": 984770925060446800245, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 984770902183611232881}, {"parameter": "", "name": "sphere_covering", "value": 1627345264417394}, {"parameter": "", "name": "graham_sloane", "value": 43652067}, {"parameter": "", "name": "multicomponent", "value": 984770925060403687843}, {"parameter": "[(0, 1, 2, 3, 4), (4, 5, 6, 7, 8), (2, 5, 9, 10, 11), (3, 6, 9, 12, 13), (1, 8, 10, 12, 14), (0, 7, 11, 12, 15)]", "name": "ef_computation", "value": 984770925060446741934}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 984770902183611232881}, {"parameter": "(5, 11)", "name": "CKMP2019_Lem_41", "value": 984770902466040769363}, {"parameter": "(6, 10)", "name": "CKMP2019_Lem_41", "value": 12157665462543713203}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 150094635297058171}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 1853020188851842}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 1350874594465447051}, {"parameter": "(10, 6)", "name": "CKMP2019_Lem_41", "value": 984770902466040769363}, {"parameter": "(11, 5)", "name": "CKMP2019_Lem_41", "value": 984770902187098017283}, {"parameter": "(5, 5, 6)", "name": "CKMP2019_Lem_41", "value": 984770902466040769363}, {"parameter": "(5, 6, 5)", "name": "CKMP2019_Lem_41", "value": 984770902187098017283}, {"parameter": "(6, 5, 5)", "name": "CKMP2019_Lem_41", "value": 12157665462543713203}, {"parameter": "(5, 11)", "name": "CKMP2019_Cor_42", "value": 984770902466040769363}, {"parameter": "(6, 10)", "name": "CKMP2019_Cor_42", "value": 12157665462543713203}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 150094635297058171}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 1853020188851842}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 1350874594465447051}, {"parameter": "(10, 6)", "name": "CKMP2019_Cor_42", "value": 984770902466040769363}, {"parameter": "(11, 5)", "name": "CKMP2019_Cor_42", "value": 984770902187098017283}, {"parameter": "(5, 5, 6)", "name": "CKMP2019_Cor_42", "value": 984770902466040769363}, {"parameter": "(5, 6, 5)", "name": "CKMP2019_Cor_42", "value": 984770902187098017283}, {"parameter": "(6, 5, 5)", "name": "CKMP2019_Cor_42", "value": 12157665462543713203}, {"parameter": "", "name": "construction_1", "value": 984770925060446800245}, {"parameter": "5", "name": "linkage_GLT", "value": 984770902466040769363}, {"parameter": "6", "name": "linkage_GLT", "value": 12157665462543713203}, {"parameter": "7", "name": "linkage_GLT", "value": 150094635297058171}, {"parameter": "8", "name": "linkage_GLT", "value": 1853020188851842}, {"parameter": "9", "name": "linkage_GLT", "value": 1350874594465447051}, {"parameter": "10", "name": "linkage_GLT", "value": 984770902466040769363}, {"parameter": "11", "name": "linkage_GLT", "value": 984770902187098017283}, {"parameter": "5", "name": "improved_linkage", "value": 984770925060403694404}, {"parameter": "6", "name": "improved_linkage", "value": 12157665741486465283}, {"parameter": "7", "name": "improved_linkage", "value": 150094638783783523}, {"parameter": "8", "name": "improved_linkage", "value": 1853020188910891}, {"parameter": "9", "name": "improved_linkage", "value": 1350874594465447051}, {"parameter": "10", "name": "improved_linkage", "value": 984770902466040769363}, {"parameter": "11", "name": "improved_linkage", "value": 984770902187098017283}, {"parameter": "12", "name": "improved_linkage", "value": 1350851718060471628}, {"parameter": "5,0", "name": "generalized_linkage", "value": 984770902466040769363}, {"parameter": "5,1", "name": "generalized_linkage", "value": 984770925060403694404}, {"parameter": "6,0", "name": "generalized_linkage", "value": 12157665462543713203}, {"parameter": "6,1", "name": "generalized_linkage", "value": 12157665741486465283}, {"parameter": "7,0", "name": "generalized_linkage", "value": 150094635297058171}, {"parameter": "7,1", "name": "generalized_linkage", "value": 150094638783783523}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1853020188851842}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1853020188910891}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1350874594465447051}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1350874594465447051}, {"parameter": "10,0", "name": "generalized_linkage", "value": 984770902466040769363}, {"parameter": "10,1", "name": "generalized_linkage", "value": 984770902466040769363}, {"parameter": "11,0", "name": "generalized_linkage", "value": 984770902187098017283}, {"parameter": "11,1", "name": "generalized_linkage", "value": 984770902187098017283}, {"parameter": "12,1", "name": "generalized_linkage", "value": 1350851718060471628}, {"parameter": "[5, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902466040769363}, {"parameter": "[5, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770925060403694404}, {"parameter": "[6, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157665462543713203}, {"parameter": "[6, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665741486465283}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094635297058171}, {"parameter": "[7, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094638783783523}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1853020188851842}, {"parameter": "[8, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1853020188910891}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1350874594465447051}, {"parameter": "[9, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350874594465447051}, {"parameter": "[10, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902466040769363}, {"parameter": "[10, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902466040769363}, {"parameter": "[11, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902187098017283}, {"parameter": "[11, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902187098017283}, {"parameter": "[12, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350851718060471628}, {"parameter": "[5, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1350874594465447051}, {"parameter": "[5, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350874594465447051}, {"parameter": "[5, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902466040769363}, {"parameter": "[5, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902466040769363}, {"parameter": "[5, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902466040769363}, {"parameter": "[5, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902466040769363}, {"parameter": "[5, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902187098017283}, {"parameter": "[5, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902187098017283}, {"parameter": "[5, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902187098017283}, {"parameter": "[5, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902187098017283}, {"parameter": "[5, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350851717673051139}, {"parameter": "[5, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350851717673051139}, {"parameter": "[6, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 16677464129203051}, {"parameter": "[6, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16677464129203051}, {"parameter": "[6, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157665462543713203}, {"parameter": "[6, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665462543713203}, {"parameter": "[6, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157665462543713203}, {"parameter": "[6, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665462543713203}, {"parameter": "[6, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16677181699725619}, {"parameter": "[6, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16677181699725619}, {"parameter": "[7, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 205894618879051}, {"parameter": "[7, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894618879051}, {"parameter": "[7, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205891132153699}, {"parameter": "[7, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205891132153699}, {"parameter": "[8, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3486843451}, {"parameter": "", "name": "JohnsonLB", "value": 984769049166909217929}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 2542253307876}], "request": [9, 16, 8, 5], "liftedmrdsizebound": 984770925095319952193, "comments": "", "equal_bound_constraints": []}