{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 21658948312410865183}, {"parameter": "", "name": "singleton", "value": 3287582741506063}, {"parameter": "4", "name": "ilp_2", "value": 2200888965797263}, {"parameter": "6", "name": "ilp_3", "value": 59502605253876003}, {"parameter": "", "name": "anticode", "value": 2200888965797263}, {"parameter": "", "name": "linear_programming_bound", "value": 2200888965797263}, {"parameter": "", "name": "sphere_packing", "value": 21658948312410865183}, {"parameter": "1", "name": "ilp_1", "value": 2200888874901144}, {"parameter": "2", "name": "ilp_1", "value": 2200888874901144}, {"parameter": "3", "name": "ilp_1", "value": 2200888965797263}, {"parameter": "7", "name": "ilp_4", "value": 59012647845564123}, {"parameter": "8", "name": "ilp_4", "value": 59011452827495070}, {"parameter": "9", "name": "ilp_4", "value": 59011448091624255}, {"parameter": "10", "name": "ilp_4", "value": 59011448091624255}, {"parameter": "11", "name": "ilp_4", "value": 19816055180613783}, {"parameter": "12", "name": "ilp_4", "value": 6597296418766871}, {"parameter": "", "name": "johnson_1", "value": 2200888874901144}, {"parameter": "", "name": "johnson_2", "value": 6597296418766871}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 21658948312410865183}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 59502605253876003}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 59012647845564123}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 59011452827495070}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 59011448091624255}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 59011448091624255}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 19816055180613783}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 6597296418766871}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 2200888965797263}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 2201110784696406}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 2201776509749978}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 2203776103284234}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 2209796735138604}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 2228057639379782}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 2284697197322346}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 2473320377955206}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 3287582741506063}, {"parameter": "0, 8, o", "name": "Ahlswede_Aydinian", "value": 21658948312410865183}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 2200888965797263}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 2200888965797263}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 2200888874901144}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 2200888874901144}, {"parameter": "1, 7, o", "name": "Ahlswede_Aydinian", "value": 59502605253876003}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 59666474163671197}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 60163541506217490}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 61705708681202472}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 66846089864793215}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 89117945389585840}, {"parameter": "", "name": "improved_johnson", "value": 2200888874901142}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 19816055177248479}], "known_codes": [], "upper_bound": 2200888874901142, "classified": false, "lower_bound": 1885910090565414, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1853020188851841}, {"parameter": "", "name": "sphere_covering", "value": 18190998220632}, {"parameter": "", "name": "graham_sloane", "value": 27170105301703}, {"parameter": "", "name": "multicomponent", "value": 1853302632737473}, {"parameter": "", "name": "construction_ST_B", "value": 1876440300231043}, {"parameter": "", "name": "EF_special", "value": 1880918023783990}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1853072180131842}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1876231402123284}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 1876440273972543}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_16", "value": 1879773300800662}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 1880918252176932}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1876182940674405}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 209984781462809}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 1876468900633708}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1857113881326981}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1857113838811701}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 23048235370593}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 23048197106841}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 76544164819881}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 76544203083633}, {"parameter": "(5,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 210162133031301}, {"parameter": "(5,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 210162175546581}, {"parameter": "(5, 8)", "name": "CKMP2019_Lem_41", "value": 1857113838280260}, {"parameter": "(6, 7)", "name": "CKMP2019_Lem_41", "value": 23048192323872}, {"parameter": "(7, 6)", "name": "CKMP2019_Lem_41", "value": 76544160036912}, {"parameter": "(8, 5)", "name": "CKMP2019_Lem_41", "value": 210162132499860}, {"parameter": "(5, 8)", "name": "CKMP2019_Cor_42", "value": 1857113838280260}, {"parameter": "(6, 7)", "name": "CKMP2019_Cor_42", "value": 23048192323872}, {"parameter": "(7, 6)", "name": "CKMP2019_Cor_42", "value": 76544160036912}, {"parameter": "(8, 5)", "name": "CKMP2019_Cor_42", "value": 210162132499860}, {"parameter": "5", "name": "linkage_GLT", "value": 1853020188912100}, {"parameter": "6", "name": "linkage_GLT", "value": 22876792455232}, {"parameter": "7", "name": "linkage_GLT", "value": 76538404386352}, {"parameter": "8", "name": "linkage_GLT", "value": 210110141219860}, {"parameter": "5", "name": "improved_linkage", "value": 1853307783077608}, {"parameter": "6", "name": "improved_linkage", "value": 22880347193286}, {"parameter": "7", "name": "improved_linkage", "value": 76538418972259}, {"parameter": "8", "name": "improved_linkage", "value": 210110141280118}, {"parameter": "9", "name": "improved_linkage", "value": 209291837402827}, {"parameter": "10", "name": "improved_linkage", "value": 209903743352926}, {"parameter": "11", "name": "improved_linkage", "value": 69885396861382}, {"parameter": "5,0", "name": "generalized_linkage", "value": 1857113838280260}, {"parameter": "5,1", "name": "generalized_linkage", "value": 1853479076103429}, {"parameter": "5,2", "name": "generalized_linkage", "value": 1853066400450066}, {"parameter": "5,3", "name": "generalized_linkage", "value": 1853307783077608}, {"parameter": "6,0", "name": "generalized_linkage", "value": 23048192323872}, {"parameter": "6,1", "name": "generalized_linkage", "value": 22894437555600}, {"parameter": "6,2", "name": "generalized_linkage", "value": 22877375891281}, {"parameter": "6,3", "name": "generalized_linkage", "value": 22880347193286}, {"parameter": "7,0", "name": "generalized_linkage", "value": 76544160036912}, {"parameter": "7,1", "name": "generalized_linkage", "value": 76538643105102}, {"parameter": "7,2", "name": "generalized_linkage", "value": 76538411677690}, {"parameter": "7,3", "name": "generalized_linkage", "value": 76538418972259}, {"parameter": "8,0", "name": "generalized_linkage", "value": 210162132499860}, {"parameter": "8,1", "name": "generalized_linkage", "value": 210110143864920}, {"parameter": "8,2", "name": "generalized_linkage", "value": 210110141252650}, {"parameter": "8,3", "name": "generalized_linkage", "value": 210110141280118}, {"parameter": "9,1", "name": "generalized_linkage", "value": 209291845340157}, {"parameter": "9,2", "name": "generalized_linkage", "value": 209291837402677}, {"parameter": "9,3", "name": "generalized_linkage", "value": 209291837402827}, {"parameter": "10,2", "name": "generalized_linkage", "value": 209903743353046}, {"parameter": "10,3", "name": "generalized_linkage", "value": 209903743352926}, {"parameter": "11,3", "name": "generalized_linkage", "value": 69885396861382}, {"parameter": "[5, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1857113838280260}, {"parameter": "[5, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1853479076103429}, {"parameter": "[5, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1853066400450066}, {"parameter": "[5, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1853307783077608}, {"parameter": "[6, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 23048192323872}, {"parameter": "[6, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22894437555600}, {"parameter": "[6, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22877375891281}, {"parameter": "[6, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22880347193286}, {"parameter": "[7, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 76544160036912}, {"parameter": "[7, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 76538643105102}, {"parameter": "[7, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 76538411677690}, {"parameter": "[7, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 76538418972259}, {"parameter": "[8, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 210162132499860}, {"parameter": "[8, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 210110143864920}, {"parameter": "[8, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 210110141252650}, {"parameter": "[8, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 210110141280118}, {"parameter": "[9, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 209291845340157}, {"parameter": "[9, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 209291837402677}, {"parameter": "[9, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 209291837402827}, {"parameter": "[10, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 209903743353046}, {"parameter": "[10, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 209903743352926}, {"parameter": "[11, 2],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 69885396861382}, {"parameter": "[5, 2, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 68929314921927}, {"parameter": "[5, 2, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 68931217080675}, {"parameter": "[5, 2, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 73006456329783}, {"parameter": "[5, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 209947909288671}, {"parameter": "[5, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 205952968312425}, {"parameter": "[5, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 205954870471173}, {"parameter": "[5, 3, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 210030109720281}, {"parameter": "[5, 3, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 209906067875859}, {"parameter": "[5, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 205911126899613}, {"parameter": "[5, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 205913029058361}, {"parameter": "[5, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 209988268307469}, {"parameter": "[5, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 206556352114203}, {"parameter": "[5, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 206342834794740}, {"parameter": "[5, 4, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 206360973237087}, {"parameter": "[5, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 206105107686867}, {"parameter": "[5, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 205891590367404}, {"parameter": "[5, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 205909728809751}, {"parameter": "[5, 4, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 206108809704873}, {"parameter": "[5, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 205895292385410}, {"parameter": "[5, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 205913430827757}, {"parameter": "[5, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 209903464236591}, {"parameter": "[5, 5, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 209902649025699}, {"parameter": "[5, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 205893872980371}, {"parameter": "[5, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 205893057769479}, {"parameter": "[5, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 205892223269409}, {"parameter": "[5, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 205891408058517}, {"parameter": "[5, 5, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 205895573473473}, {"parameter": "[5, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 205894758262581}, {"parameter": "[5, 6, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 68646953319687}, {"parameter": "[5, 6, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 68632517100357}, {"parameter": "[5, 6, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 68630635657305}, {"parameter": "[5, 6, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 68633989674768}, {"parameter": "[6, 2, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1004466051207}, {"parameter": "[6, 2, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 851407865685}, {"parameter": "[6, 2, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1022175262755}, {"parameter": "[6, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1001553223086}, {"parameter": "[6, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 848495037564}, {"parameter": "[6, 3, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1019262434634}, {"parameter": "[6, 3, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1000993615713}, {"parameter": "[6, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 847935430191}, {"parameter": "[6, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1018702827261}, {"parameter": "[6, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 867109284036}, {"parameter": "[6, 4, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 865211868513}, {"parameter": "[6, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 849820858767}, {"parameter": "[6, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 847923443244}, {"parameter": "[6, 4, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 849834499086}, {"parameter": "[6, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 847937083563}, {"parameter": "[6, 5, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1001611738647}, {"parameter": "[6, 5, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 847992236787}, {"parameter": "[6, 5, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 847923715404}, {"parameter": "[6, 5, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 847935724221}, {"parameter": "[7, 2, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 950688572139}, {"parameter": "[7, 2, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 950688572139}, {"parameter": "[7, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 950681368161}, {"parameter": "[7, 3, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 950681368161}, {"parameter": "[7, 3, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 950674282281}, {"parameter": "[7, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 950674282281}, {"parameter": "[7, 4, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 950888277315}, {"parameter": "[7, 4, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 950674252635}, {"parameter": "[7, 4, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 950674289085}, {"parameter": "[8, 2, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 916642125963}, {"parameter": "[8, 3, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 916642096317}, {"parameter": "[8, 3, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 916642067157}, {"parameter": "[5, 2, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4878732411216}, {"parameter": "[5, 2, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4878732411216}, {"parameter": "[5, 2, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 883791434970}, {"parameter": "[5, 2, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 883791434970}, {"parameter": "[5, 3, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 8870373138852}, {"parameter": "[5, 3, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 8870200951968}, {"parameter": "[5, 3, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4875432162606}, {"parameter": "[5, 3, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4875432162606}, {"parameter": "[5, 3, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4875259975722}, {"parameter": "[5, 3, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4875259975722}, {"parameter": "[6, 2, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 310882448034}, {"parameter": "", "name": "JohnsonLB", "value": 1885910090565414}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 23380542722469}], "request": [3, 13, 4, 5], "liftedmrdsizebound": 1897353669834186, "comments": "", "equal_bound_constraints": []}