{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 579000387231826230336220630661298699957563196973721335147740402322870}, {"parameter": "", "name": "singleton", "value": 25700421225173962543056800181928315}, {"parameter": "4", "name": "ilp_2", "value": 22528828697355603672754107978728065}, {"parameter": "5", "name": "ilp_2", "value": 8729460338119423590368536543050970588180845}, {"parameter": "6", "name": "ilp_2", "value": 3386617358537929779550224132183828555266523419070634}, {"parameter": "7", "name": "ilp_2", "value": 1328445514972078526762298536522759938830891171759794118954393}, {"parameter": "9", "name": "ilp_3", "value": 11956009662180307414949529063858877798069640487856106053900596}, {"parameter": "10", "name": "ilp_3", "value": 274316006740888422351540383485916199420179589833110554}, {"parameter": "11", "name": "ilp_3", "value": 6363776602892547281889137386636679855284341723}, {"parameter": "12", "name": "ilp_3", "value": 147811645464819658047660091023411149744}, {"parameter": "", "name": "anticode", "value": 22528828697355603672754107978728065}, {"parameter": "", "name": "linear_programming_bound", "value": 22528828697355603672754107978728065}, {"parameter": "", "name": "sphere_packing", "value": 10527095782008368725038211475753561853731}, {"parameter": "1", "name": "ilp_1", "value": 22528643541741360643522295156305105}, {"parameter": "2", "name": "ilp_1", "value": 22528643541741360643522305510376159}, {"parameter": "3", "name": "ilp_1", "value": 22528643541741363889268145540963287}, {"parameter": "13", "name": "ilp_4", "value": 147810395558929841758913733057572966253}, {"parameter": "14", "name": "ilp_4", "value": 147810395558928081541365925326041035663}, {"parameter": "15", "name": "ilp_4", "value": 147810395558928081541325034540523414454}, {"parameter": "16", "name": "ilp_4", "value": 147810395558928081541325034540523414454}, {"parameter": "", "name": "johnson_1", "value": 22528643541741360643522295156305105}, {"parameter": "", "name": "johnson_2", "value": 147810395558928081541325034540523414454}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 579000387231826230336220630661298699957563196973721335147740402322870}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 11956009662180307414949529063858877798069640487856106053900596}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 274316006740888422351540383485916199420179589833110554}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 6363776602892547281889137386636679855284341723}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 147811645464819658047660091023411149744}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 147810395558929841758913733057572966253}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 147810395558928081541365925326041035663}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 147810395558928081541325034540523414454}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 147810395558928081541325034540523414454}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1328445514972078526762298536522759938830891171759794118954393}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 246884411731260098938186348509571142200805811641879742}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 50980146786511472289692041118776107376714708112}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 10644063268704605413231546037073405911072}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 10643293148973745462157792703988482174124}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 10643453369517527275629017948994543319659}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 10644895571603054072820962100587220778076}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 10657892999674591764375287917589147489669}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 14783417738389578028722202791807875663}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 22532261981298972738173459820820109}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 3386617358537929779550224132183828555266523419070634}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 5664461676802265980253312031953452920433199003}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 10527095782008368725038211475753561853731}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 10527097955787128333783546071640283506248}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 10527117519501862558030295179214702936073}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 10527293598890072580865805123319446047171}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 10528878554624485794345639670732301466423}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 130162258176220976413107558689129071724}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 1626781378689774918798884376372179253}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 22563208639043448640298873371584172}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 8729460338119423590368536543050970588180845}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 131408405247936767148451139602340748520}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 131390604989207654464655508532548633373}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 131390632156937568324317828371874922139}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 131390879049193594821477479000260610114}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 131393101117162680261738930418516829243}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 14603409951753624967997036135091174349}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 1624823842809237379448386338656778608}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 182789854270880680797495383424170340}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 22845205287197907022024807798486342}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 22528828697355603672754107978728065}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 22528828755489708186360177641158314}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 22528829278696660961197243044025016}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 22528833987560220277914115469775333}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 22528876367411986076218625200456136}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 22529257792536275393738690765462547}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 22532691141864780201944712147015998}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 22563633724028630431094334155784222}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 22845597420294854484835133323137729}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 25700421225173962543056800181928315}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 579000387231826230336220630661298699957563196973721335147740402322870}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 1328445514972078526762298536522759938830891171759794118954393}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 3386617358537929779550224132183828555266523419070634}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 8729460338119423590368536543050970588180845}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 22528828697355603672754107978728065}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 22528643541741363889268145540963287}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 22528643541741360643522305510376159}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 22528643541741360643522295156305105}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 11956009662180307414949529063858877798069640487856106053900596}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 246884411731260098938186348509571142200805811641879742}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 5664461676802265980253312031953452920433199003}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 131408405247936767148451139602340748520}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 131410383426180220855545517939989347758}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 131428189710828375550876376158875176124}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 131588663687621034197332920157072410202}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 133050759920248022731368329110193106804}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 147834177345737203063537357028825327278}, {"parameter": "2, 7, o", "name": "Ahlswede_Aydinian", "value": 274316006740888422351540383485916199420179589833110554}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 50980146786511472289692041118776107376714708112}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 10527095782008368725038211475753561853731}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 10527097738412565056219675177527328803601}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 10527273817724295839192595201529037571391}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 10528858772837358128115365254474975371142}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 10543142936198031859242847820982863685790}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 10673305170147381601435780818095360306941}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 148037105078660521628898674194899100853}, {"parameter": "3, 6, o", "name": "Ahlswede_Aydinian", "value": 6363776602892547281889137386636679855284341723}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 10644063268704605413231546037073405911072}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 10644065491057876438880708652693382973097}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 10644085492274945682953970694510048470893}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 10644265506276651569885228346196740929489}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 10645885879224338143334459891368281870853}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 10660489264746635438622308300254307671544}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 1199282478067988945601488913278233175515}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 149887676981509966296498585636327250430}, {"parameter": "4, 5, o", "name": "Ahlswede_Aydinian", "value": 147811645464819658047660091023411149744}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 147811648897993937097382536009526990077}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 147811679796568908453092953403732826481}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 147811957884266904203943532469591356161}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 147814460715933121235229389138494347868}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 147836989634577084044461027241352227316}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 148040028409894856351973473472036229071}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 149890218480565289052770612879064723743}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 168623318873839155489174680568370759015}, {"parameter": "", "name": "improved_johnson", "value": 22528643541741360643522295156305079}], "known_codes": [], "upper_bound": 22528643541741360643522295156305079, "classified": false, "lower_bound": 22528399544939174411840430304375462, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 22528399544939174411840147874772641}, {"parameter": "", "name": "sphere_covering", "value": 10657559156608240978}, {"parameter": "", "name": "graham_sloane", "value": 59880}, {"parameter": "", "name": "multicomponent", "value": 22528399544939174411840147874772642}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (0, 1, 2, 8, 9, 10, 11, 12), (3, 4, 5, 9, 10, 11, 15, 16), (2, 4, 6, 8, 9, 13, 14, 16), (0, 3, 7, 8, 10, 13, 14, 15), (1, 6, 7, 11, 12, 14, 15, 16)]", "name": "ef_computation", "value": 22528399544939174411840430304375462}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 22528399544939174411840147874772642}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 22528399544939174411840147874772642}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 3433683820292512484657849089282}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 22528399544939174411840147874772642}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 3433683820292512484657849089282}, {"parameter": "8", "name": "linkage_GLT", "value": 22528399544939174411840147874772642}, {"parameter": "9", "name": "linkage_GLT", "value": 3433683820292512484657849089282}, {"parameter": "8", "name": "improved_linkage", "value": 22528399544939174411840147874772642}, {"parameter": "9", "name": "improved_linkage", "value": 3433683820292512484657849089282}, {"parameter": "10", "name": "improved_linkage", "value": 79766443076872509863362}, {"parameter": "11", "name": "improved_linkage", "value": 1853020188851842}, {"parameter": "12", "name": "improved_linkage", "value": 43046722}, {"parameter": "8,0", "name": "generalized_linkage", "value": 22528399544939174411840147874831691}, {"parameter": "8,1", "name": "generalized_linkage", "value": 22528399544939174411840147874772642}, {"parameter": "8,2", "name": "generalized_linkage", "value": 22528399544939174411840147874772642}, {"parameter": "8,3", "name": "generalized_linkage", "value": 22528399544939174411840147874772642}, {"parameter": "9,0", "name": "generalized_linkage", "value": 3433683820292512484657849621452}, {"parameter": "9,1", "name": "generalized_linkage", "value": 3433683820292512484657849089282}, {"parameter": "9,2", "name": "generalized_linkage", "value": 3433683820292512484657849089282}, {"parameter": "9,3", "name": "generalized_linkage", "value": 3433683820292512484657849089282}, {"parameter": "10,1", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "10,2", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "10,3", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "11,2", "name": "generalized_linkage", "value": 1853020188851842}, {"parameter": "11,3", "name": "generalized_linkage", "value": 1853020188851842}, {"parameter": "12,3", "name": "generalized_linkage", "value": 43046722}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411840147874831691}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411840147874772642}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411840147874772642}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411840147874772642}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3433683820292512484657849621452}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3433683820292512484657849089282}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3433683820292512484657849089282}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3433683820292512484657849089282}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1853020188851842}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1853020188851842}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 43046722}, {"parameter": "", "name": "JohnsonLB", "value": 22528399486789439579226947318493983}, {"parameter": "", "name": "JohnsonLB_special", "value": 22528399486789439579226947318493983}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 381520424476945831911079495797}], "request": [9, 17, 10, 8], "liftedmrdsizebound": 22528399544939174412048930771503525, "comments": "", "equal_bound_constraints": []}