{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 8403089283059531541841722254852038933206966651131615823995604}, {"parameter": "", "name": "singleton", "value": 228167924870691555751}, {"parameter": "2", "name": "ilp_2", "value": 191594259478349189595}, {"parameter": "3", "name": "ilp_2", "value": 2653016134490793888433530012994}, {"parameter": "4", "name": "ilp_2", "value": 36828530074162577714239167361389047822604}, {"parameter": "5", "name": "ilp_2", "value": 520374142403615099743331086088296419247068926522004}, {"parameter": "7", "name": "ilp_3", "value": 61221571818264507761656762531980437669532094181947848372}, {"parameter": "8", "name": "ilp_3", "value": 509754969344417216999639987776689739130158985694819}, {"parameter": "9", "name": "ilp_3", "value": 4320213651186233225696778518867133975152415700}, {"parameter": "10", "name": "ilp_3", "value": 36705916133391481230498002590588473579695}, {"parameter": "", "name": "anticode", "value": 191594259478349189595}, {"parameter": "", "name": "linear_programming_bound", "value": 191594259478349189595}, {"parameter": "", "name": "sphere_packing", "value": 5364484138308549717273145096412061}, {"parameter": "1", "name": "ilp_1", "value": 191594259063067511313}, {"parameter": "11", "name": "ilp_4", "value": 36704044162555250329135800774184151606056}, {"parameter": "12", "name": "ilp_4", "value": 36704044162555250329135800774184151606056}, {"parameter": "13", "name": "ilp_4", "value": 15287186343956335932136952289962897181}, {"parameter": "14", "name": "ilp_4", "value": 6367050025487133665409920916481050}, {"parameter": "15", "name": "ilp_4", "value": 2651835274610864571576308825964}, {"parameter": "16", "name": "ilp_4", "value": 1104502779273162269723838264}, {"parameter": "17", "name": "ilp_4", "value": 460017815644859749613314}, {"parameter": "", "name": "johnson_1", "value": 191594259063067511313}, {"parameter": "", "name": "johnson_2", "value": 460017815644859749613314}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 8403089283059531541841722254852038933206966651131615823995604}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 61221571818264507761656762531980437669532094181947848372}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 509754969344417216999639987776689739130158985694819}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 4320213651186233225696778518867133975152415700}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 36705916133391481230498002590588473579695}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 36704044162555250329135800774184151606056}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 36704044162555250329135800774184151606056}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 15287186343956335932136952289962897181}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 6367050025487133665409920916481050}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 2651835274610864571576308825964}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 1104502779273162269723838264}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 460017815644859749613314}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 520374142403615099743331086088296419247068926522004}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 26538868953276133216059613782627976548273645882}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1546813289801162290313782422713592803757170}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 91765568053903683623278968651631224892}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 91732810234211605774778999376488661472}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 91732823872865688310895182623218679939}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 267474736961452563399332487975760449}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 779837185889000152066381283351584}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 2274149197831822824701770701016}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 6632539236357334796490044812}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 19385310848044295892889761}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 57526120467895665953393}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 191672461216906131253}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 36828530074162577714239167361389047822604}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 13148350616482727295855940094111711828}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 5364484138308549717273145096412061}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 5351078515912016784436391381697236}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 5351078645764139610568768155120827}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 109316124368368020080834008643414}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 2234125048589550691654305937011}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 45594381854068571279781701999}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 930554542712460217949214011}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 18998736522609903072066194}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 388839483871393618927736}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 8097389542882489056943}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 192221469340652809604}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 2653016134490793888433530012994}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 6632540336703578435230855578}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 6516512322666672319782924062}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 6516512345611231200354611757}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 947167515439410949370929913}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 135254462906820688217516617}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 19328849330199778732656628}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 2761264542083410767938759}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 394492523430481887364748}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 56379419872675219129060}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 8077626757106217780784}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 1177855796024578721825}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 196144356469770586151}, {"parameter": "4, 2", "name": "Ahlswede_Aydinian", "value": 191594259478349189595}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 191594259491942907883}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 191594259587098935950}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 191594260253191134729}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 191594264915836639448}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 191594297554360722381}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 191594526024301248346}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 191596125327210367541}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 191607321100558699486}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 191685723523298340101}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 192236113430972003054}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 196167489702739700430}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 228167924870691555751}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 8403089283059531541841722254852038933206966651131615823995604}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 520374142403615099743331086088296419247068926522004}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 36828530074162577714239167361389047822604}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 2653016134490793888433530012994}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 191594259478349189595}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 191594259063067511313}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 61221571818264507761656762531980437669532094181947848372}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 26538868953276133216059613782627976548273645882}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 13148350616482727295855940094111711828}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 6632540336703578435230855578}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 6649162689714443289326734701}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 6767897737692516145258192954}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 7734740271159625998440388925}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 509754969344417216999639987776689739130158985694819}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1546813289801162290313782422713592803757170}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 5364484138308549717273145096412061}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 5366673609672039337794337813143291}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 5382045392252300959441936113002212}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 5491883052977587188953816722874456}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 6388517017579780708567412894745735}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 4320213651186233225696778518867133975152415700}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 91765568053903683623278968651631224892}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 91770998775650669831442473743314669739}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 91809125210191850265107860276466650551}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 92076790292563846502314625346367499764}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 93989464101801491180976787197987165376}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 109608704096938754872872354702779730819}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 36705916133391481230498002590588473579695}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 36706228001191326154834567645496877563718}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 36708411205681014390187425583084306730867}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 36723700004408660156202993102258518333615}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 36831034505459798761028489199803743016337}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 37598028026884944572369924189317533033317}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 43861755035533826577243997768793428552803}, {"parameter": "", "name": "improved_johnson", "value": 191594259063067511313}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 1104504116444951371743375711}], "known_codes": [], "upper_bound": 191594259063067511313, "classified": false, "lower_bound": 191581232058789489652, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 191581231380566414401}, {"parameter": "", "name": "sphere_covering", "value": 27907831034268}, {"parameter": "", "name": "graham_sloane", "value": 8}, {"parameter": "", "name": "multicomponent", "value": 191581232058789487251}, {"parameter": "[(0, 1, 2, 3, 4, 5), (5, 6, 7, 8, 9, 10), (2, 6, 11, 12, 13, 14), (0, 7, 12, 15, 16, 17)]", "name": "ef_computation", "value": 191581232058789489652}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 191581231380566414401}, {"parameter": "(6, 12)", "name": "CKMP2019_Lem_41", "value": 191581231394407701603}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 3909821048583105699}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 79792266297612002}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 1628413597910450}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 33232930569602}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 79792944520684851}, {"parameter": "(12, 6)", "name": "CKMP2019_Lem_41", "value": 191581231394407701603}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Lem_41", "value": 191581231394407701603}, {"parameter": "(6, 12)", "name": "CKMP2019_Cor_42", "value": 191581231394407701603}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 3909821048583105699}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 79792266297612002}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 1628413597910450}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 33232930569602}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 79792944520684851}, {"parameter": "(12, 6)", "name": "CKMP2019_Cor_42", "value": 191581231394407701603}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Cor_42", "value": 191581231394407701603}, {"parameter": "", "name": "construction_1", "value": 191581232058789489652}, {"parameter": "6", "name": "linkage_GLT", "value": 191581231394407701603}, {"parameter": "7", "name": "linkage_GLT", "value": 3909821048583105699}, {"parameter": "8", "name": "linkage_GLT", "value": 79792266297612002}, {"parameter": "9", "name": "linkage_GLT", "value": 1628413597910450}, {"parameter": "10", "name": "linkage_GLT", "value": 33232930569602}, {"parameter": "11", "name": "linkage_GLT", "value": 79792944520684851}, {"parameter": "12", "name": "linkage_GLT", "value": 191581231394407701603}, {"parameter": "6", "name": "improved_linkage", "value": 191581232058789487251}, {"parameter": "7", "name": "improved_linkage", "value": 3909821062424275251}, {"parameter": "8", "name": "improved_linkage", "value": 79792266297729651}, {"parameter": "9", "name": "improved_linkage", "value": 1628413597910450}, {"parameter": "10", "name": "improved_linkage", "value": 33232930569602}, {"parameter": "11", "name": "improved_linkage", "value": 79792944520684851}, {"parameter": "12", "name": "improved_linkage", "value": 191581231394407701603}, {"parameter": "13", "name": "improved_linkage", "value": 79792266297729651}, {"parameter": "6,0", "name": "generalized_linkage", "value": 191581231394407701603}, {"parameter": "6,1", "name": "generalized_linkage", "value": 191581232058789487251}, {"parameter": "7,0", "name": "generalized_linkage", "value": 3909821048583105699}, {"parameter": "7,1", "name": "generalized_linkage", "value": 3909821062424275251}, {"parameter": "8,0", "name": "generalized_linkage", "value": 79792266297612002}, {"parameter": "8,1", "name": "generalized_linkage", "value": 79792266297729651}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1628413597910450}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1628413597910450}, {"parameter": "10,0", "name": "generalized_linkage", "value": 33232930569602}, {"parameter": "10,1", "name": "generalized_linkage", "value": 33232930569602}, {"parameter": "11,0", "name": "generalized_linkage", "value": 79792944520684851}, {"parameter": "11,1", "name": "generalized_linkage", "value": 79792944520684851}, {"parameter": "12,0", "name": "generalized_linkage", "value": 191581231394407701603}, {"parameter": "12,1", "name": "generalized_linkage", "value": 191581231394407701603}, {"parameter": "13,1", "name": "generalized_linkage", "value": 79792266297729651}, {"parameter": "[6, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407701603}, {"parameter": "[6, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 191581232058789487251}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3909821048583105699}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3909821062424275251}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79792266297612002}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79792266297729651}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1628413597910450}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1628413597910450}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 33232930569602}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 33232930569602}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79792944520684851}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79792944520684851}, {"parameter": "[12, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407701603}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407701603}, {"parameter": "[13, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79792266297729651}, {"parameter": "[6, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79792944520684851}, {"parameter": "[6, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79792944520684851}, {"parameter": "[6, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407701603}, {"parameter": "[6, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407701603}, {"parameter": "[6, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407701603}, {"parameter": "[6, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407701603}, {"parameter": "[6, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79792266297729651}, {"parameter": "[6, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79792266297729651}, {"parameter": "[7, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1628427439197651}, {"parameter": "[7, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1628427439197651}, {"parameter": "[7, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1628413598028099}, {"parameter": "[7, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1628413598028099}, {"parameter": "[8, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 13841404851}, {"parameter": "", "name": "JohnsonLB", "value": 191580998750092797559}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 678263426463}], "request": [7, 18, 10, 6], "liftedmrdsizebound": 191581232059112452627, "comments": "", "equal_bound_constraints": []}