{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 579000387231826230336220630661298699957563196973721335147740402322870}, {"parameter": "", "name": "singleton", "value": 66327168553990994916016300}, {"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": "", "name": "anticode", "value": 58149859930780216542643621}, {"parameter": "", "name": "linear_programming_bound", "value": 58149859930780216542643621}, {"parameter": "", "name": "sphere_packing", "value": 10527095782008368725038211475753561853731}, {"parameter": "1", "name": "ilp_1", "value": 58149804845830643730162720}, {"parameter": "2", "name": "ilp_1", "value": 58149804845830656905330292}, {"parameter": "14", "name": "ilp_4", "value": 3433686940047425919701829554850}, {"parameter": "15", "name": "ilp_4", "value": 3433686940047346239713876392697}, {"parameter": "16", "name": "ilp_4", "value": 3433686940047346239713876392697}, {"parameter": "", "name": "johnson_1", "value": 58149804845830643730162720}, {"parameter": "", "name": "johnson_2", "value": 3433686940047346239713876392697}, {"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": 3433686940047425919701829554850}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 3433686940047346239713876392697}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 3433686940047346239713876392697}, {"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": 2225084910221851442898242700213398}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 2225386412183247299885929091401661}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 2228103611204052091996580905080934}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 343372019475202448209986972830}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 58150365450568776659286389}, {"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": 19779818576123382707090177528756815}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 19780149416847378586568920161649079}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 19783127453030304826726261037488186}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 27174398281791209588140534050082}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 37739259300556022321358261310}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 58159694466656739362560663}, {"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": 2196448683525663350135719582491091}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 2196452802586959760316898308037735}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 2196489948753067752300706582663368}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 27139647250791033136244727853393}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 335516348388608998136868804504}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 4193885556798167320864490808}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 58239475771210002588197674}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 22528828697355603672754107978728065}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 3052273236077727704424898745584}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 3052273306963373656848291971822}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 3052273944934320590423264526456}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 3052279686683645315840485733702}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 339096875912171708218363926017}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 37688215588086360104344770271}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 4193322229253876616280305006}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 471747842520806634712498135}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 58966469379582465273176521}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 58149859930780216542643621}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 58149860080689588127622552}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 58149861429873963692703447}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 58149873572535879100871954}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 58149982856698479277961318}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 58150966430796443983921733}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 58159819945282853933570292}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 58239610881377801779052773}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 58966693588211493598108143}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 66327168553990994916016300}, {"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": 58149804845830656905330292}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 58149804845830643730162720}, {"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": 3052661009489526389554081722790}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 3056388312232307239870531366111}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 3090348181658205243070515594462}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 3433720193865721466554805977100}, {"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": 2197813218308506939822871641376992}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 2198144114543977149792083743563940}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 2201126265819807041457012621857579}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 2228300659043675491676169945063923}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 3434272587486155230670929066999}, {"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": 19781456970054760377476324690029899}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 19781791515715213131620000965450475}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 19784802891165207957687732697269891}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 19811942493015176203095044832899397}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 247644616681720521171223118796543}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 3438986075798435086131635576633}, {"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": 2224772755715344181409472682766838}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 2224776936842687956858529199101948}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 2224814607963727805730017130052393}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 2225153699734979060887979522353724}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 247611990563005826260135503264142}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 27856239504230533945644976717842}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 3481970088764917078588839478708}, {"parameter": "5, 4, o", "name": "Ahlswede_Aydinian", "value": 3433691087915447790331585581834}, {"parameter": "5, 5, o", "name": "Ahlswede_Aydinian", "value": 3433691167669903859549280842925}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 3433691885460158531997150757200}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 3433698345584604615472075292522}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 3433756487689112583662540356717}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 3434279846385789109285918033345}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 3438996543772978885243390244730}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 3481977367715693735917873222652}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 3917150001348391097251303957615}, {"parameter": "", "name": "improved_johnson", "value": 58149804845830643730162686}], "known_codes": [], "upper_bound": 58149804845830643730162686, "classified": false, "lower_bound": 58149737003040059690390170, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 58149737003040059690390169}, {"parameter": "", "name": "sphere_covering", "value": 247614749234}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 58149737003040059690390170}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (3, 5, 8, 10, 12, 14, 15, 16)]", "name": "ef_computation", "value": 58149737003040059690390170}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 58149737003040059690390170}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 58149737003040059690390170}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 79766443076872509863362}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 58149737003040059690390170}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 79766443076872509863362}, {"parameter": "8", "name": "linkage_GLT", "value": 58149737003040059690390170}, {"parameter": "9", "name": "linkage_GLT", "value": 79766443076872509863362}, {"parameter": "8", "name": "improved_linkage", "value": 58149737003040059690390170}, {"parameter": "9", "name": "improved_linkage", "value": 79766443076872509863362}, {"parameter": "10", "name": "improved_linkage", "value": 1853020188851842}, {"parameter": "11", "name": "improved_linkage", "value": 43046722}, {"parameter": "8,0", "name": "generalized_linkage", "value": 58149737003040059690390170}, {"parameter": "8,1", "name": "generalized_linkage", "value": 58149737003040059690390170}, {"parameter": "8,2", "name": "generalized_linkage", "value": 58149737003040059690390170}, {"parameter": "9,0", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "9,1", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "9,2", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "10,1", "name": "generalized_linkage", "value": 1853020188851842}, {"parameter": "10,2", "name": "generalized_linkage", "value": 1853020188851842}, {"parameter": "11,2", "name": "generalized_linkage", "value": 43046722}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690390170}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690390170}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690390170}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1853020188851842}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1853020188851842}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 43046722}, {"parameter": "", "name": "JohnsonLB", "value": 58149736852945424780811537}, {"parameter": "", "name": "JohnsonLB_special", "value": 58149736852945424780811537}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 109418989131512359218}], "request": [9, 17, 12, 8], "liftedmrdsizebound": 58149737003040059690390170, "comments": "", "equal_bound_constraints": []}