{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "", "name": "singleton", "value": 1121715605764106708446}, {"parameter": "2", "name": "ilp_2", "value": 984772961098849372751}, {"parameter": "3", "name": "ilp_2", "value": 30903742351164739711130072415639}, {"parameter": "4", "name": "ilp_2", "value": 969940015036985851168134739798343427612463}, {"parameter": "5", "name": "ilp_2", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "6", "name": "ilp_2", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "8", "name": "ilp_3", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "9", "name": "ilp_3", "value": 1312044956487270438778939812900483628957348583612820368890660}, {"parameter": "10", "name": "ilp_3", "value": 273939716009608417265796010728840040089932078642468753}, {"parameter": "11", "name": "ilp_3", "value": 57265259983920655674490245223754927038853558009}, {"parameter": "12", "name": "ilp_3", "value": 11972540527006805064835830657778944961536}, {"parameter": "", "name": "anticode", "value": 984772961098849372751}, {"parameter": "", "name": "linear_programming_bound", "value": 984772961098849372751}, {"parameter": "", "name": "sphere_packing", "value": 7674266715821696389327427636595626819072155}, {"parameter": "1", "name": "ilp_1", "value": 984772061870911538720}, {"parameter": "13", "name": "ilp_4", "value": 11972520501720373960615496377741102160909}, {"parameter": "14", "name": "ilp_4", "value": 11972520501720373960615496377741102160909}, {"parameter": "15", "name": "ilp_4", "value": 202755775477333646126427147409415451}, {"parameter": "16", "name": "ilp_4", "value": 3433687747669108661855706116280}, {"parameter": "17", "name": "ilp_4", "value": 58149804047177527530899318}, {"parameter": "", "name": "johnson_1", "value": 984772061870911538720}, {"parameter": "", "name": "johnson_2", "value": 58149804047177527530899318}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1312044956487270438778939812900483628957348583612820368890660}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 273939716009608417265796010728840040089932078642468753}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 57265259983920655674490245223754927038853558009}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 11972540527006805064835830657778944961536}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 11972520501720373960615496377741102160909}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 11972520501720373960615496377741102160909}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 202755775477333646126427147409415451}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 3433687747669108661855706116280}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 58149804047177527530899318}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1619808885159214694866254629985172668827445670589158248550}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 3010327171170585354532667338629928723211985628228752}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 5656691510956818443735079134398363710367424817}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 10642440948781116899747054203587708514881}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 10642282721546720065199249539091621609637}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 10642300521845984477130354657474230130467}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1622086862343651877311574384062933138}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 247265536041056046882310167522563}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 37733196952700675082732452929}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 5815084215562739022419545}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 984789432451748720503}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 458822151435540947083027215668209714212639212255}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 7674266715821696389327427636595626819072155}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 129786106429493946683547104133122870807}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 129768525893914139939680983978428220823}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 129768552689936187551477244549874618913}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 178018363084998785958787291247058210}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 244201463037273422144103104821233}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 335056658476236245736069461665}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 460234848401701681005274998}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 639117526763319798916125}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 984937688593047209454}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 969940015036985851168134739798343427612463}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 131410380038998472321365129077771101926}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 19781782338797200627320812675649627}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 19757661936769471496366130190519056}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 19757662395059588941871052127724190}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 244049847213120071444010495531532}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 3015006326871871454542635180493}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 37222859811078211054128180606}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 459611756166059797523833805}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 5682006993835614209078436}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 71023764142396364800819}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 986273931928855159841}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 30903742351164739711130072415639}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 37687490673351437161390271583}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 37273903535328617227172152357}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 37273903631407101729061928968}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 4186931737919596642641392078}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 465144703975581966063198043}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 51689758628744231425446957}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 5743392972122528277277208}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 638252975272266559675994}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 71014275273717639953648}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 7988969166751771211191}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 998450154330193673092}, {"parameter": "5, 2", "name": "Ahlswede_Aydinian", "value": 984772961098849372751}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 984772961129885124840}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 984772961409206893712}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 984772963923102819973}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 984772986548166675574}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 984773190173783434916}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 984775022807741049222}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 984791516789313392128}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 984939984979088811631}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 986278011949333803096}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 998468941962496366070}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 1121715605764106708446}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 969940015036985851168134739798343427612463}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 30903742351164739711130072415639}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 984772961098849372751}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 984772061870911538720}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1619808885159214694866254629985172668827445670589158248550}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 458822151435540947083027215668209714212639212255}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 131410380038998472321365129077771101926}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 37687490673351437161390271583}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 37733507145468324262974842784}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 38152768335865309145553223320}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 42391964816412331623764245237}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 1312044956487270438778939812900483628957348583612820368890660}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 3010327171170585354532667338629928723211985628228752}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 7674266715821696389327427636595626819072155}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 19781782338797200627320812675649627}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 19784760217259729885879621738448966}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 19811601568734151183704482124382548}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 20056189241853342191266294707944726}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 22532261981298972738173459820820090}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 273939716009608417265796010728840040089932078642468753}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 5656691510956818443735079134398363710367424817}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 129786106429493946683547104133122870807}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 129788180623023283890924351538236578146}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 129807938266625896077635642347029359523}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 129986001278398302204842724663524875951}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 131608597419507966919792468726500295944}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 148037105078660521628898674193995119523}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 57265259983920655674490245223754927038853558009}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 10642440948781116899747054203587708514881}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 10642443170799338075607285449611605580619}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 10642623377053568354083738088015965108608}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 10644245480604680177452619468916106654591}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 10658864465698946139335221987820860077924}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 10792079939178314207736743150820330503959}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 12140884035629856924397345285557795937070}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 11972540527006805064835830657778944961536}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 11972543030121554322204004427926748174543}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 11972565558196688028686656681389404738591}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 11972768314306571140273663834987185656713}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 11974593397465976639034650866366110338296}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 11991041708657903040159109096652277388698}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 12140926937468283076341359593601132412155}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 13658514212390616911370927114097728660820}, {"parameter": "", "name": "improved_johnson", "value": 984772061870911538689}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 4710134237090402746920381152}], "known_codes": [], "upper_bound": 984772061870911538689, "classified": false, "lower_bound": 984770902183611764323, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 984770902183611232881}, {"parameter": "", "name": "sphere_covering", "value": 247950207441}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 984770902183611232882}, {"parameter": "", "name": "coset_construction", "value": 984770902183611764323}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6), (0, 7, 8, 9, 10, 11, 12), (2, 12, 13, 14, 15, 16, 17)]", "name": "ef_computation", "value": 984770902183611764323}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 984770902183611232881}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 984770902183611232882}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 12157665459056928802}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 150094635296999122}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 1853020188851842}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 22876792454962}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 984770902183611232882}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 12157665459056928802}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 150094635296999122}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 1853020188851842}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 22876792454962}, {"parameter": "", "name": "construction_1", "value": 984770902183611764323}, {"parameter": "7", "name": "linkage_GLT", "value": 984770902183611232882}, {"parameter": "8", "name": "linkage_GLT", "value": 12157665459056928802}, {"parameter": "9", "name": "linkage_GLT", "value": 150094635296999122}, {"parameter": "10", "name": "linkage_GLT", "value": 1853020188851842}, {"parameter": "11", "name": "linkage_GLT", "value": 22876792454962}, {"parameter": "7", "name": "improved_linkage", "value": 984770902183611232882}, {"parameter": "8", "name": "improved_linkage", "value": 12157665459056928802}, {"parameter": "9", "name": "improved_linkage", "value": 150094635296999122}, {"parameter": "10", "name": "improved_linkage", "value": 1853020188851842}, {"parameter": "11", "name": "improved_linkage", "value": 22876792454962}, {"parameter": "12", "name": "improved_linkage", "value": 4782970}, {"parameter": "7,0", "name": "generalized_linkage", "value": 984770902183611232882}, {"parameter": "7,1", "name": "generalized_linkage", "value": 984770902183611232882}, {"parameter": "8,0", "name": "generalized_linkage", "value": 12157665459056928802}, {"parameter": "8,1", "name": "generalized_linkage", "value": 12157665459056928802}, {"parameter": "9,0", "name": "generalized_linkage", "value": 150094635296999122}, {"parameter": "9,1", "name": "generalized_linkage", "value": 150094635296999122}, {"parameter": "10,0", "name": "generalized_linkage", "value": 1853020188851842}, {"parameter": "10,1", "name": "generalized_linkage", "value": 1853020188851842}, {"parameter": "11,0", "name": "generalized_linkage", "value": 22876792454962}, {"parameter": "11,1", "name": "generalized_linkage", "value": 22876792454962}, {"parameter": "12,1", "name": "generalized_linkage", "value": 4782970}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984770902183611232882}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984770902183611232882}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157665459056928802}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157665459056928802}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094635296999122}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094635296999122}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1853020188851842}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1853020188851842}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22876792454962}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876792454962}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4782970}, {"parameter": "", "name": "JohnsonLB", "value": 984770879306818778650}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 2541870611307}], "request": [9, 18, 12, 7], "liftedmrdsizebound": 984770902183611764323, "comments": "", "equal_bound_constraints": []}