{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1089491124906108051165135239699867397777196296355089299912829976}, {"parameter": "", "name": "singleton", "value": 1121715605764106708446}, {"parameter": "2", "name": "ilp_2", "value": 984789432702801921392}, {"parameter": "3", "name": "ilp_2", "value": 30908446825308850212443828114417}, {"parameter": "4", "name": "ilp_2", "value": 971272147153513557296356813338895972824829}, {"parameter": "5", "name": "ilp_2", "value": 30860543510703510571158523743928991141817598789555306}, {"parameter": "7", "name": "ilp_3", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "8", "name": "ilp_3", "value": 3386617358537929779550224132183828555266523419070634}, {"parameter": "9", "name": "ilp_3", "value": 6363776602892547281889137386636679855284341723}, {"parameter": "10", "name": "ilp_3", "value": 11972743286041749575681462053213447854896}, {"parameter": "", "name": "anticode", "value": 984789432702801921392}, {"parameter": "", "name": "linear_programming_bound", "value": 984789432702801921392}, {"parameter": "", "name": "sphere_packing", "value": 19808950975104557315214979001911859}, {"parameter": "1", "name": "ilp_1", "value": 984789432451748720519}, {"parameter": "11", "name": "ilp_4", "value": 11972563055411648800208451922177650690202}, {"parameter": "12", "name": "ilp_4", "value": 11972563055411648800208451922177650690202}, {"parameter": "13", "name": "ilp_4", "value": 1824816434708056433659095995521074295}, {"parameter": "14", "name": "ilp_4", "value": 278131271898157175070672803722718}, {"parameter": "15", "name": "ilp_4", "value": 42391607563939391011773655935}, {"parameter": "16", "name": "ilp_4", "value": 6461203468168947017216105}, {"parameter": "", "name": "johnson_1", "value": 984789432451748720519}, {"parameter": "", "name": "johnson_2", "value": 6461203468168947017216105}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 1089491124906108051165135239699867397777196296355089299912829976}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 3386617358537929779550224132183828555266523419070634}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 6363776602892547281889137386636679855284341723}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 11972743286041749575681462053213447854896}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 11972563055411648800208451922177650690202}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 11972563055411648800208451922177650690202}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1824816434708056433659095995521074295}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 278131271898157175070672803722718}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 42391607563939391011773655935}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 6461203468168947017216105}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 30860543510703510571158523743928991141817598789555306}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 464557331199422585349031431003286039116729053087}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 7770193424967104859736554872172673078866257}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 131408405247936767148451139602340748520}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 131390604657933794755388209413857726390}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 131390629075803717452290233170481040093}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 180243517255221172404840524326027126}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 247253464385687924019880559450961}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 339239050725605812053230549363}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 465916663769203507068828946}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 646218711018791787743918}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 984937688593047209454}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 971272147153513557296356813338895972824829}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 131590861290350658353754029742365819728}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 19808950975104557315214979001911859}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 19784797445146108660764093787547764}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 19784797899022577657323044403604935}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 244385028794167131652830996437278}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 3019147117723288150106395950716}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 37273974527943226015011378021}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 460242128859518804957602811}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 5689714414526832206522082}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 71110470864464580842322}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 986273931928855159841}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 30908446825308850212443828114417}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 37693227836940535590635319582}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 37279577738568870223208876435}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 37279577834544794024668844499}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 4187569114058776052704624480}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 465215512782169234810568790}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 51697627223150810405237462}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 5744267155080162038055611}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 638350003169576576276718}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 71024952287951162476223}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 7990050179452758751207}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 998450154330193673092}, {"parameter": "4, 2", "name": "Ahlswede_Aydinian", "value": 984789432702801921392}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 984789432733833987706}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 984789433013122584613}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 984789435526719963191}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 984789458149096889570}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 984789661750531280341}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 984791494166847126149}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 984807986189606992135}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 984956436747108277176}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 986294304786651270470}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 998483784724240566827}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 1121715605764106708446}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1089491124906108051165135239699867397777196296355089299912829976}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 30860543510703510571158523743928991141817598789555306}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 971272147153513557296356813338895972824829}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 30908446825308850212443828114417}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 984789432702801921392}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 984789432451748720519}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 464557331199422585349031431003286039116729053087}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 131590861290350658353754029742365819728}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 37693227836940535590635319582}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 37739250837847270833824457046}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 38158575847048449862470017691}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 42398417606615636470998309703}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 3386617358537929779550224132183828555266523419070634}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 7770193424967104859736554872172673078866257}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 19808950975104557315214979001911859}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 19811933352540517529162571710688465}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 19838811568938585448886338044817064}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 20083735167985445040054866520786621}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 22563208639043448640298873371584172}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 6363776602892547281889137386636679855284341723}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 131408405247936767148451139602340748520}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 131410627645716449632461776704050710153}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 131430632274289587547123161718029982775}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 131610921203721946299347540840375338303}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 133253800981334869933610718147110244508}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 149887676981509966296498585636327250405}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 11972743286041749575681462053213447854896}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 11972765811474961560907419013420189813196}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 11972968543807100431260957638528726687380}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 11974793412930453473917261354774598956519}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 11991239794849165647315908096054272260629}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 12141107418367237894888113595771872427812}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 13658514212390616911370927114097728660820}, {"parameter": "", "name": "improved_johnson", "value": 984789432451748720503}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 4710218312934703513751582804}], "known_codes": [], "upper_bound": 984789432451748720503, "classified": false, "lower_bound": 984770902466040769363, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 984770902183611232881}, {"parameter": "", "name": "sphere_covering", "value": 20084634515988}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 984770902466040769363}, {"parameter": "[(0, 1, 2, 3, 4, 5), (5, 6, 7, 8, 9, 10), (2, 8, 13, 14, 15, 16)]", "name": "ef_computation", "value": 984770902466040769363}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 984770902183611232881}, {"parameter": "(6, 11)", "name": "CKMP2019_Lem_41", "value": 984770902183611764323}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 12157665459056928802}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 150094635296999122}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 1853020188851842}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 22876792454962}, {"parameter": "(11, 6)", "name": "CKMP2019_Lem_41", "value": 150094917726535603}, {"parameter": "(6, 11)", "name": "CKMP2019_Cor_42", "value": 984770902183611764323}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 12157665459056928802}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 150094635296999122}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 1853020188851842}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 22876792454962}, {"parameter": "(11, 6)", "name": "CKMP2019_Cor_42", "value": 150094917726535603}, {"parameter": "", "name": "construction_1", "value": 984770902466040769363}, {"parameter": "6", "name": "linkage_GLT", "value": 984770902183611764323}, {"parameter": "7", "name": "linkage_GLT", "value": 12157665459056928802}, {"parameter": "8", "name": "linkage_GLT", "value": 150094635296999122}, {"parameter": "9", "name": "linkage_GLT", "value": 1853020188851842}, {"parameter": "10", "name": "linkage_GLT", "value": 22876792454962}, {"parameter": "11", "name": "linkage_GLT", "value": 150094917726535603}, {"parameter": "6", "name": "improved_linkage", "value": 984770902466040769363}, {"parameter": "7", "name": "improved_linkage", "value": 12157665459057460243}, {"parameter": "8", "name": "improved_linkage", "value": 150094635296999122}, {"parameter": "9", "name": "improved_linkage", "value": 1853020188851842}, {"parameter": "10", "name": "improved_linkage", "value": 22876792454962}, {"parameter": "11", "name": "improved_linkage", "value": 150094917726535603}, {"parameter": "12", "name": "improved_linkage", "value": 150094635297530563}, {"parameter": "6,0", "name": "generalized_linkage", "value": 984770902183611764323}, {"parameter": "6,1", "name": "generalized_linkage", "value": 984770902466040769363}, {"parameter": "7,0", "name": "generalized_linkage", "value": 12157665459056928802}, {"parameter": "7,1", "name": "generalized_linkage", "value": 12157665459057460243}, {"parameter": "8,0", "name": "generalized_linkage", "value": 150094635296999122}, {"parameter": "8,1", "name": "generalized_linkage", "value": 150094635296999122}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1853020188851842}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1853020188851842}, {"parameter": "10,0", "name": "generalized_linkage", "value": 22876792454962}, {"parameter": "10,1", "name": "generalized_linkage", "value": 22876792454962}, {"parameter": "11,0", "name": "generalized_linkage", "value": 150094917726535603}, {"parameter": "11,1", "name": "generalized_linkage", "value": 150094917726535603}, {"parameter": "12,1", "name": "generalized_linkage", "value": 150094635297530563}, {"parameter": "[6, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902183611764323}, {"parameter": "[6, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902466040769363}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157665459056928802}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665459057460243}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094635296999122}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094635296999122}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1853020188851842}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1853020188851842}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22876792454962}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876792454962}, {"parameter": "[11, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094917726535603}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094917726535603}, {"parameter": "[12, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094635297530563}, {"parameter": "[6, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094917726535603}, {"parameter": "[6, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094917726535603}, {"parameter": "[6, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094635297530563}, {"parameter": "[6, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094635297530563}, {"parameter": "[7, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282430067923}, {"parameter": "", "name": "JohnsonLB", "value": 984770696292479203842}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 2541908875059}], "request": [9, 17, 10, 6], "liftedmrdsizebound": 984770902466088606334, "comments": "", "equal_bound_constraints": []}