{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 579000387231826230336220630661298699957563196973721335147740402322870}, {"parameter": "", "name": "singleton", "value": 170967170463507055}, {"parameter": "2", "name": "ilp_2", "value": 150094670164850412}, {"parameter": "3", "name": "ilp_2", "value": 58149859930780216542643621}, {"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": "13", "name": "ilp_3", "value": 3433691087915447790331585581834}, {"parameter": "14", "name": "ilp_3", "value": 79766461812969060839711}, {"parameter": "", "name": "anticode", "value": 150094670164850412}, {"parameter": "", "name": "linear_programming_bound", "value": 150094670164850412}, {"parameter": "", "name": "sphere_packing", "value": 37171241894155751398472154044}, {"parameter": "1", "name": "ilp_1", "value": 150094648081875546}, {"parameter": "15", "name": "ilp_4", "value": 79766446988804068022822}, {"parameter": "16", "name": "ilp_4", "value": 79766446988804068022822}, {"parameter": "", "name": "johnson_1", "value": 150094648081875546}, {"parameter": "", "name": "johnson_2", "value": 79766446988804068022822}, {"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": 3433691087915447790331585581834}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 79766461812969060839711}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 79766446988804068022822}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 79766446988804068022822}, {"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": 2225073745265601943359664850361688}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 465206769769665879900999978}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 465269027694748495126798501}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 465837121639935604785211973}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 7976651536526312197362}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 150094806924311516}, {"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": 19781419798875038913776861331489847}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 37216627172005958303241484179}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 37216689420713773101153787573}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 37222292646724250765135491137}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 5680989192310790051956277}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 876563586908548988884}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 150096226048519484}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 8729460338119423590368536543050970588180845}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 131408405247936767148451139602340748520}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 2197939159055983781338856597342689}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 37171241894155751398472154044}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 37166275746100362487119147140}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 37166904298032302039478750029}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 50993759478483357527445145}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 70046840066500342068468}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 97292811792779611542}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 150120054773177383}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 22528828697355603672754107978728065}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 3052273236077727704424898745584}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 459472122077882531514118917}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 458911971427450955697238803}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 458912834704322425592776711}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 5668660479597752661485087}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 70041509479750054117128}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 865895812769177065791}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 10823666724230684463}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 150323720954718133}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 58149859930780216542643621}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 70914463513036083082466}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 70136241113154727358103}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 70136255758772840853140}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 7878333946172399306050}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 875253469490236246024}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 97278208752862831503}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 10823498463011462962}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 1217626747467444048}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 152179566214360420}, {"parameter": "6, 2", "name": "Ahlswede_Aydinian", "value": 150094670164850412}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 150094670548012901}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 150094673996475391}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 150094705032644202}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 150094984358682765}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 150097498335090161}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 150120127530157041}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 150324066659628536}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 152182181447903681}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 170967170463507055}, {"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": 58149859930780216542643621}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 150094670164850412}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 150094648081875546}, {"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": 3052273236077727704424898745584}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 70914463513036083082466}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 71000964389150268008348}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 71789863976978563016583}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 79766515344673994409938}, {"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": 2197939159055983781338856597342689}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 459472122077882531514118917}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 459536687009179845566117311}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 460160125621353325489948232}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 465841113756271630396362186}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 79767286202784998740550}, {"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": 19781419798875038913776861331489847}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 37171241894155751398472154044}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 37168792555671865137466791331}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 37174450745002757425362200995}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 37225444419175834416739619457}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 51701572639740832070839904}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 79780103796177358659775}, {"parameter": "4, 5, o", "name": "Ahlswede_Aydinian", "value": 147811645464819658047660091023411149744}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 2225073745265601943359664850361688}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 37216627172005958303241484179}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 37191451885471133266111268492}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 37192081491963577736761344587}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 37197750067108890053863576063}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 460173486955983496000223404}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 5752145870864869531123599}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 79889467184726265457619}, {"parameter": "5, 4, o", "name": "Ahlswede_Aydinian", "value": 3433691087915447790331585581834}, {"parameter": "5, 5, o", "name": "Ahlswede_Aydinian", "value": 465206769769665879900999978}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 465206867018040716975633485}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 465207742255060915251602126}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 465215619521624791174981758}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 51690720468534890999467056}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 5752071172164194090771069}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 647105571575204994476491}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 80886790919500868412838}, {"parameter": "6, 3, o", "name": "Ahlswede_Aydinian", "value": 79766461812969060839711}, {"parameter": "6, 4, o", "name": "Ahlswede_Aydinian", "value": 79766463663726464101588}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 79766480320546571318616}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 79766630232209243471827}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 79767979459991961955157}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 79780124358629995568165}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 79889578387851202769083}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 80886961516310169712760}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 90983770072735012966405}, {"parameter": "", "name": "improved_johnson", "value": 150094648081875498}], "known_codes": [], "upper_bound": 150094648081875498, "classified": false, "lower_bound": 150094635296999122, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 150094635296999121}, {"parameter": "", "name": "sphere_covering", "value": 466640}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 150094635296999122}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (9, 10, 11, 12, 13, 14, 15, 16)]", "name": "ef_computation", "value": 150094635296999122}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 150094635296999121}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 150094635296999122}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 1853020188851842}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 150094635296999122}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 1853020188851842}, {"parameter": "", "name": "construction_1", "value": 150094635296999122}, {"parameter": "8", "name": "linkage_GLT", "value": 150094635296999122}, {"parameter": "9", "name": "linkage_GLT", "value": 1853020188851842}, {"parameter": "8", "name": "improved_linkage", "value": 150094635296999122}, {"parameter": "9", "name": "improved_linkage", "value": 1853020188851842}, {"parameter": "10", "name": "improved_linkage", "value": 43046722}, {"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,1", "name": "generalized_linkage", "value": 43046722}, {"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, 1]", "name": "generalized_linkage_multipleblocks", "value": 43046722}, {"parameter": "", "name": "JohnsonLB", "value": 150094634909578633}, {"parameter": "", "name": "JohnsonLB_special", "value": 150094634909578633}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 31381059618}], "request": [9, 17, 14, 8], "liftedmrdsizebound": 150094635296999122, "comments": "", "equal_bound_constraints": []}