{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 579000387231826230336220630661298699957563196973721335147740402322870}, {"parameter": "", "name": "singleton", "value": 435848050}, {"parameter": "1", "name": "ilp_2", "value": 387420498}, {"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": "15", "name": "ilp_3", "value": 1853020236681531}, {"parameter": "", "name": "anticode", "value": 387420498}, {"parameter": "", "name": "linear_programming_bound", "value": 387420498}, {"parameter": "", "name": "sphere_packing", "value": 37171241894155751398472154044}, {"parameter": "", "name": "DrakeFreeman", "value": 387420494}, {"parameter": "", "name": "partial_spread_5", "value": 387420497}, {"parameter": "", "name": "partial_spread_kurz16_28", "value": 387420490}, {"parameter": "", "name": "spread_bound", "value": 387420498}, {"parameter": "", "name": "XiaFuJohnson1", "value": 387420498}, {"parameter": "16", "name": "ilp_4", "value": 1853020236681531}, {"parameter": "", "name": "johnson_1", "value": 387420498}, {"parameter": "", "name": "johnson_2", "value": 1853020236681531}, {"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": 1853020236681531}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 1853020236681531}, {"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": 97276175199666419636}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 97394949506255653868}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 185302027542358}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 387420513}, {"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": 70029635257871551554363}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 70040178696309758666299}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1187743532260394275}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 20362877246269}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 387420851}, {"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": 629403484269269474803033}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 629414128671165148848073}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 95945630587040050433}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 14643759072320576}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 2259804184451}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 387423866}, {"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": 69934771628688045671630}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 69934903185663277292407}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 95919656569725200411}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 131603769763257938}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 180775887084646}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 251095304162}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 387479539}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 58149859930780216542643621}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 70914463513036083082466}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 96077042620759900490}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 96077062683250466922}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 1184514177963008244}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 14631555532184806}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 180786287555219}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 2234987317039}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 27936929268}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 387952660}, {"parameter": "6, 2", "name": "Ahlswede_Aydinian", "value": 150094670164850412}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 1649391984044097}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 1649392021939290}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 181033594287624}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 20335318298155}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 2259177525460}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 251091167710}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 27936867706}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 3142470492}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 392263237}, {"parameter": "7, 1", "name": "Ahlswede_Aydinian", "value": 387420498}, {"parameter": "7, 2", "name": "Ahlswede_Aydinian", "value": 387420498}, {"parameter": "7, 3", "name": "Ahlswede_Aydinian", "value": 387420506}, {"parameter": "7, 4", "name": "Ahlswede_Aydinian", "value": 387420579}, {"parameter": "7, 5", "name": "Ahlswede_Aydinian", "value": 387421236}, {"parameter": "7, 6", "name": "Ahlswede_Aydinian", "value": 387427141}, {"parameter": "7, 7", "name": "Ahlswede_Aydinian", "value": 387480293}, {"parameter": "7, 8", "name": "Ahlswede_Aydinian", "value": 387959247}, {"parameter": "7, 9", "name": "Ahlswede_Aydinian", "value": 392317733}, {"parameter": "7, 10", "name": "Ahlswede_Aydinian", "value": 435848050}, {"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": 387420498}, {"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": 1649391984044097}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1667718251324960}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1853020274945284}, {"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": 96077042620759900490}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 96207226331402023727}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 97394969642589812021}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1853021824627529}, {"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": 69934771628688045671630}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 69944364858235609098657}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 70040310328319068122917}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 10808558568476185496}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 1853039387725430}, {"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": 629403484269269474803033}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 629328868197716629703848}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 629424786410341108569349}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 864638213436044700585}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 1200894215112801442}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 1853334047809135}, {"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": 70029635257871551554363}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 69944377855041248208993}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 69945562208737379383146}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 864110421229040480994}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 10689913047002712980}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 133623407459024335}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 1855846679927513}, {"parameter": "6, 3, o", "name": "Ahlswede_Aydinian", "value": 79766461812969060839711}, {"parameter": "6, 4, o", "name": "Ahlswede_Aydinian", "value": 97276175199666419636}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 96208674602884461195}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 96208855415706027893}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 10807204912612377991}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 1200802582092134636}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 133623437811586785}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 15032379001168540}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 1878760114983586}, {"parameter": "7, 2, o", "name": "Ahlswede_Aydinian", "value": 1853020236681531}, {"parameter": "7, 3, o", "name": "Ahlswede_Aydinian", "value": 1853020279255204}, {"parameter": "7, 4, o", "name": "Ahlswede_Aydinian", "value": 1853020662418343}, {"parameter": "7, 5, o", "name": "Ahlswede_Aydinian", "value": 1853024110893002}, {"parameter": "7, 6, o", "name": "Ahlswede_Aydinian", "value": 1853055147684197}, {"parameter": "7, 7, o", "name": "Ahlswede_Aydinian", "value": 1853334520871693}, {"parameter": "7, 8, o", "name": "Ahlswede_Aydinian", "value": 1855852291587816}, {"parameter": "7, 9, o", "name": "Ahlswede_Aydinian", "value": 1878792013959371}, {"parameter": "7, 10, o", "name": "Ahlswede_Aydinian", "value": 2110705802810605}, {"parameter": "", "name": "improved_johnson", "value": 387420490}], "known_codes": [], "upper_bound": 387420490, "classified": false, "lower_bound": 387420490, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 387420489}, {"parameter": "", "name": "sphere_covering", "value": 73}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 387420490}, {"parameter": "", "name": "multicomponent", "value": 387420490}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (9, 10, 11, 12, 13, 14, 15, 16)]", "name": "ef_computation", "value": 387420490}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 387420489}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 387420490}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 43046722}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 387420490}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 43046722}, {"parameter": "8", "name": "linkage_GLT", "value": 387420490}, {"parameter": "9", "name": "linkage_GLT", "value": 43046722}, {"parameter": "8", "name": "improved_linkage", "value": 387420490}, {"parameter": "9", "name": "improved_linkage", "value": 43046722}, {"parameter": "8,0", "name": "generalized_linkage", "value": 387420490}, {"parameter": "9,0", "name": "generalized_linkage", "value": 43046722}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 387420490}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 43046722}, {"parameter": "", "name": "JohnsonLB", "value": 387420489}, {"parameter": "", "name": "JohnsonLB_special", "value": 387420489}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 9}], "request": [9, 17, 16, 8], "liftedmrdsizebound": 387420490, "comments": "", "equal_bound_constraints": [{"parameter": "", "name": "partial_spread_2", "value": 387420490}, {"parameter": "", "name": "partial_spread_NS", "value": 387420490}]}