{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1140747634121270227670449517400445860666056}, {"parameter": "", "name": "singleton", "value": 1222439084242108174806}, {"parameter": "3", "name": "ilp_2", "value": 933173398025403218780}, {"parameter": "4", "name": "ilp_2", "value": 9186513566155686617139770389}, {"parameter": "5", "name": "ilp_2", "value": 93450048101071442160706359916710776}, {"parameter": "7", "name": "ilp_3", "value": 58407026476947940590366571983024210776}, {"parameter": "8", "name": "ilp_3", "value": 3588536893398128569081259030660126}, {"parameter": "9", "name": "ilp_3", "value": 227829146936583618124643453155}, {"parameter": "", "name": "anticode", "value": 933173398025403218780}, {"parameter": "", "name": "linear_programming_bound", "value": 933173398025403218780}, {"parameter": "", "name": "sphere_packing", "value": 23924745456871544077792633682348}, {"parameter": "1", "name": "ilp_1", "value": 933172058699108294802}, {"parameter": "2", "name": "ilp_1", "value": 933172058699108294802}, {"parameter": "10", "name": "ilp_4", "value": 227624778702954669017574424423}, {"parameter": "11", "name": "ilp_4", "value": 227624765644314756447490551133}, {"parameter": "12", "name": "ilp_4", "value": 227624765644314756447490551133}, {"parameter": "13", "name": "ilp_4", "value": 1821231168149300319273574474}, {"parameter": "14", "name": "ilp_4", "value": 14580843230108355004779052}, {"parameter": "15", "name": "ilp_4", "value": 116646447709573333425749}, {"parameter": "", "name": "johnson_1", "value": 933172058699108294802}, {"parameter": "", "name": "johnson_2", "value": 116646447709573333425749}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 1140747634121270227670449517400445860666056}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 58407026476947940590366571983024210776}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 3588536893398128569081259030660126}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 227829146936583618124643453155}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 227624778702954669017574424423}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 227624765644314756447490551133}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 227624765644314756447490551133}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1821231168149300319273574474}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 14580843230108355004779052}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 116646447709573333425749}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 93450048101071442160706359916710776}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 23924745456871544077792633682348}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 7349778891181233769272892489}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 7321344872485330806349505443}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 7321414520919859199440868132}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 7321789305354008736360063636}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 294067013927786644694188250}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 11777009524795193431350691}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 474127254233874308641795}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 19597688479067573201006}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 940638399159515725526}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 9186513566155686617139770389}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 11762502519936629363465043}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 11762508294042124497142184}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 11762537164642811644611037}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 11762681519476557714220633}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 2349066904119226588448941}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 470535948423672620614543}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 94245993409827274220012}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 18995873065747091683046}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 3950927905347248673572}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 979518516888923645151}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 933173398025403218780}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 933173492210268879363}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 933173963134836129267}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 933176317763646068747}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 933188091057039911264}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 933246961257849781715}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 933541405637553740802}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 935015965638098469988}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 942447685734452409324}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 981140146346557679797}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 1222439084242108174806}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 1140747634121270227670449517400445860666056}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 93450048101071442160706359916710776}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 9186513566155686617139770389}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 933173398025403218780}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 933172058699108294802}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 933172058699108294802}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 58407026476947940590366571983024210776}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 23924745456871544077792633682348}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 11762502519936629363465043}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 11777582645185803526443752}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 11853567017974485472402820}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 12248685749991714199156582}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 14698421645740690829002736}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 3588536893398128569081259030660126}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 7349778891181233769272892489}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 7352037461373324884810525106}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 7363348264844319001301234792}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 7420354714215603898379284663}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 7717168265503334983189944514}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 9569283749811464701602707541}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 227829146936583618124643453155}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 227843612131111365591098567116}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 227915961218153946851199759584}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 228278285439212932677720652756}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 230104492842551620828933046079}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 239615376311871466425153293860}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 299039198587280398947721603556}, {"parameter": "", "name": "improved_johnson", "value": 933172058699108294791}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 2916198221461661908408443}], "known_codes": [], "upper_bound": 933172058699108294791, "classified": false, "lower_bound": 931322578436298848125, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 931322574615478515625}, {"parameter": "", "name": "sphere_covering", "value": 364727728360703}, {"parameter": "", "name": "graham_sloane", "value": 1284367655}, {"parameter": "", "name": "multicomponent", "value": 931322578430175781251}, {"parameter": "[(0, 1, 2, 3, 4, 5), (2, 5, 6, 7, 8, 9), (0, 4, 6, 7, 10, 11), (1, 3, 8, 9, 10, 11), (1, 3, 6, 7, 12, 13), (0, 4, 8, 9, 12, 13), (0, 3, 7, 8, 14, 15), (2, 5, 10, 11, 12, 13), (1, 4, 6, 9, 14, 15)]", "name": "ef_computation", "value": 931322578436298848125}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 931322574615478515626}, {"parameter": "(6, 10)", "name": "CKMP2019_Lem_41", "value": 931322574615478531251}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 7450580596923828126}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 59604644775390626}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 476837158203126}, {"parameter": "(10, 6)", "name": "CKMP2019_Lem_41", "value": 59608459472656251}, {"parameter": "(6, 10)", "name": "CKMP2019_Cor_42", "value": 931322574615478531251}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 7450580596923828126}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 59604644775390626}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 476837158203126}, {"parameter": "(10, 6)", "name": "CKMP2019_Cor_42", "value": 59608459472656251}, {"parameter": "6", "name": "linkage_GLT", "value": 931322574615478531251}, {"parameter": "7", "name": "linkage_GLT", "value": 7450580596923828126}, {"parameter": "8", "name": "linkage_GLT", "value": 59604644775390626}, {"parameter": "9", "name": "linkage_GLT", "value": 476837158203126}, {"parameter": "10", "name": "linkage_GLT", "value": 59608459472656251}, {"parameter": "6", "name": "improved_linkage", "value": 931322578430175781901}, {"parameter": "7", "name": "improved_linkage", "value": 7450580597167968751}, {"parameter": "8", "name": "improved_linkage", "value": 59604644775406251}, {"parameter": "9", "name": "improved_linkage", "value": 476837158203126}, {"parameter": "10", "name": "improved_linkage", "value": 59608459472656251}, {"parameter": "11", "name": "improved_linkage", "value": 59604645019531251}, {"parameter": "12", "name": "improved_linkage", "value": 59604644785562501}, {"parameter": "6,0", "name": "generalized_linkage", "value": 931322574615488688151}, {"parameter": "6,1", "name": "generalized_linkage", "value": 931322574615722656251}, {"parameter": "6,2", "name": "generalized_linkage", "value": 931322578430175781901}, {"parameter": "7,0", "name": "generalized_linkage", "value": 7450580596923828776}, {"parameter": "7,1", "name": "generalized_linkage", "value": 7450580596923843751}, {"parameter": "7,2", "name": "generalized_linkage", "value": 7450580597167968751}, {"parameter": "8,0", "name": "generalized_linkage", "value": 59604644775391276}, {"parameter": "8,1", "name": "generalized_linkage", "value": 59604644775390626}, {"parameter": "8,2", "name": "generalized_linkage", "value": 59604644775406251}, {"parameter": "9,0", "name": "generalized_linkage", "value": 476837158203776}, {"parameter": "9,1", "name": "generalized_linkage", "value": 476837158203126}, {"parameter": "9,2", "name": "generalized_linkage", "value": 476837158203126}, {"parameter": "10,0", "name": "generalized_linkage", "value": 59608459472656901}, {"parameter": "10,1", "name": "generalized_linkage", "value": 59608459472656251}, {"parameter": "10,2", "name": "generalized_linkage", "value": 59608459472656251}, {"parameter": "11,1", "name": "generalized_linkage", "value": 59604645019531251}, {"parameter": "11,2", "name": "generalized_linkage", "value": 59604645019531251}, {"parameter": "12,2", "name": "generalized_linkage", "value": 59604644785562501}, {"parameter": "[6, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 931322574615488688151}, {"parameter": "[6, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 931322574615722656251}, {"parameter": "[6, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322578430175781901}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7450580596923828776}, {"parameter": "[7, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7450580596923843751}, {"parameter": "[7, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7450580597167968751}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 59604644775391276}, {"parameter": "[8, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 59604644775390626}, {"parameter": "[8, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 59604644775406251}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 476837158203776}, {"parameter": "[9, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 476837158203126}, {"parameter": "[9, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 476837158203126}, {"parameter": "[10, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 59608459472656901}, {"parameter": "[10, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 59608459472656251}, {"parameter": "[10, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 59608459472656251}, {"parameter": "[11, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 59604645019531251}, {"parameter": "[11, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 59604645019531251}, {"parameter": "[12, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 59604644785562501}, {"parameter": "[6, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 59608459472673176}, {"parameter": "[6, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 59608459472656901}, {"parameter": "[6, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 59608459472656901}, {"parameter": "[6, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 59604645019531901}, {"parameter": "[6, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 59604645019531901}, {"parameter": "[6, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 59604645019531901}, {"parameter": "[6, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 59604645019531901}, {"parameter": "[6, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 59604644785563151}, {"parameter": "[6, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 59604644775406901}, {"parameter": "[6, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 59604644775406901}, {"parameter": "[7, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3814941406901}, {"parameter": "[7, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3814941406901}, {"parameter": "[7, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3814697281901}, {"parameter": "[7, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3814697281901}, {"parameter": "[8, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 244156901}, {"parameter": "", "name": "JohnsonLB", "value": 931310653693847691151}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 11920959474628225}], "request": [5, 16, 8, 6], "liftedmrdsizebound": 931322578627573645151, "comments": "", "equal_bound_constraints": []}