{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1072899407235501640594173584630829335134329469413072927564629311304442562608422652286}, {"parameter": "", "name": "singleton", "value": 35303692060}, {"parameter": "1", "name": "ilp_2", "value": 31381060338}, {"parameter": "2", "name": "ilp_2", "value": 984771130951584136342}, {"parameter": "3", "name": "ilp_2", "value": 30903219711473935603040210453326}, {"parameter": "4", "name": "ilp_2", "value": 969792203391907204092728313403938183273054}, {"parameter": "5", "name": "ilp_2", "value": 30437746136116296700646966229901852929751322431249926}, {"parameter": "6", "name": "ilp_2", "value": 956480770814138996591287443404989870665739868000412801893363480}, {"parameter": "7", "name": "ilp_2", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "9", "name": "ilp_3", "value": 22154727289187692946051393846384899192720638345033996809474450123648443963726}, {"parameter": "10", "name": "ilp_3", "value": 508313098778064808275530746240229804692728081381435498208021123959335}, {"parameter": "11", "name": "ilp_3", "value": 11792206526260621493306791059293388848538400929501368247598256}, {"parameter": "12", "name": "ilp_3", "value": 273897963281002786554205194045094977972722798619128958}, {"parameter": "13", "name": "ilp_3", "value": 6362698910215526646555168040090852955195216560}, {"parameter": "14", "name": "ilp_3", "value": 147808864179812389508014662749022324905}, {"parameter": "15", "name": "ilp_3", "value": 3433683910016083598516363468374}, {"parameter": "", "name": "anticode", "value": 31381060338}, {"parameter": "", "name": "linear_programming_bound", "value": 31381060338}, {"parameter": "", "name": "sphere_packing", "value": 129608076376689398903767775582675201094}, {"parameter": "", "name": "DrakeFreeman", "value": 31381059974}, {"parameter": "", "name": "partial_spread_5", "value": 31381060337}, {"parameter": "3", "name": "partial_spread_HKK16_T10", "value": 31381060167}, {"parameter": "4", "name": "partial_spread_HKK16_T10", "value": 31381059967}, {"parameter": "5", "name": "partial_spread_HKK16_T10", "value": 31381059963}, {"parameter": "6", "name": "partial_spread_HKK16_T10", "value": 31381059966}, {"parameter": "7", "name": "partial_spread_HKK16_T10", "value": 31381059970}, {"parameter": "8", "name": "partial_spread_HKK16_T10", "value": 31381059974}, {"parameter": "", "name": "partial_spread_NS_2_Theorem6", "value": 31381060287}, {"parameter": "", "name": "spread_bound", "value": 31381060338}, {"parameter": "", "name": "XiaFuJohnson1", "value": 31381060338}, {"parameter": "16", "name": "ilp_4", "value": 3433683910016083598516363468374}, {"parameter": "17", "name": "ilp_4", "value": 717897989773640697514118}, {"parameter": "18", "name": "ilp_4", "value": 150094636119669788}, {"parameter": "", "name": "johnson_1", "value": 31381060338}, {"parameter": "", "name": "johnson_2", "value": 150094636119669788}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1072899407235501640594173584630829335134329469413072927564629311304442562608422652286}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 22154727289187692946051393846384899192720638345033996809474450123648443963726}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 508313098778064808275530746240229804692728081381435498208021123959335}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 11792206526260621493306791059293388848538400929501368247598256}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 273897963281002786554205194045094977972722798619128958}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 6362698910215526646555168040090852955195216560}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 147808864179812389508014662749022324905}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 3433683910016083598516363468374}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 3433683910016083598516363468374}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 717897989773640697514118}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 150094636119669788}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 5647923434942666828522445363212797918234998723806816770403447733088}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1166262210971660630886562891678661455177402312935768695898506}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 243501976071530085378797849224447294904314049400639309}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 50902455684026773649970526812909535681563218744}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 10642260718485964374478180698444712426006}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 2225031877366234343451302832719502}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 2225065372247443590857145717376122}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 4187419499616161713202701739}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 7888989548209037195540}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 15009465385061455}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 31381062891}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 956480770814138996591287443404989870665739868000412801893363480}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1599811281771890945790682038980811532907737151134889384292}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 2973162707356188106270803811772170944011299887049548}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 5586855944678842365654569129554384879545830303}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 10511053060228227553330475125981772052939}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 19778069861726736868836800876966978}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 19778106618206277807232358831747671}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 334948944361028245837873148273}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 5673246305062857856005735}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 96207293440535640284}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 1649393498347648}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 31381090003}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 30437746136116296700646966229901852929751322431249926}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 458192776412537884235222042940806046085960500138}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 7663739779045380279497913025310350044756284}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 129608076376689398903767775582675201094}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 2194589669596923371840626976376742}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 2194590127794901638394598246714875}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 334485152664176952428266491709}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 50981926217524481489731452}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 7771645547533858086908}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 1186146610004027689}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 183045686321487}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 31381591051}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 969792203391907204092728313403938183273054}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 131390354074353346518194731458625803072}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 19778767742288858065420892470778422}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 3010461904311669640586178523004}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 3010461974226293986770640769858}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 4128949023664529619647957981}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 5664151660654101558299403}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 7769953509833399994878}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 10660785637885314725}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 14643930188678575}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 20338719328731}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 31385842953}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 30903219711473935603040210453326}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 37686853307874989009152358800}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 51059278307370422822974562}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 51059278439000392933808892}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 629498084951869737281272}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 7775662371655192795510}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 96060995074582437305}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 1185956041743803352}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 14643672310903999}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 181034270920847}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 2262893365488}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 31424165420}, {"parameter": "6, 2", "name": "Ahlswede_Aydinian", "value": 984771130951584136342}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 10821660780028794482}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 10821660783098304972}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 1187761139604304791}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 133419747514054633}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 14822187904350744}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 1647133232231836}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 183017528810820}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 20338380391194}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 2262889971169}, {"parameter": "6, 12", "name": "Ahlswede_Aydinian", "value": 254540109293}, {"parameter": "6, 13", "name": "Ahlswede_Aydinian", "value": 31773322846}, {"parameter": "7, 1", "name": "Ahlswede_Aydinian", "value": 31381060338}, {"parameter": "7, 2", "name": "Ahlswede_Aydinian", "value": 31381060338}, {"parameter": "7, 3", "name": "Ahlswede_Aydinian", "value": 31381060347}, {"parameter": "7, 4", "name": "Ahlswede_Aydinian", "value": 31381060419}, {"parameter": "7, 5", "name": "Ahlswede_Aydinian", "value": 31381061075}, {"parameter": "7, 6", "name": "Ahlswede_Aydinian", "value": 31381066980}, {"parameter": "7, 7", "name": "Ahlswede_Aydinian", "value": 31381120125}, {"parameter": "7, 8", "name": "Ahlswede_Aydinian", "value": 31381598430}, {"parameter": "7, 9", "name": "Ahlswede_Aydinian", "value": 31385903758}, {"parameter": "7, 10", "name": "Ahlswede_Aydinian", "value": 31424699082}, {"parameter": "7, 11", "name": "Ahlswede_Aydinian", "value": 31777736410}, {"parameter": "7, 12", "name": "Ahlswede_Aydinian", "value": 35303692060}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1072899407235501640594173584630829335134329469413072927564629311304442562608422652286}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 956480770814138996591287443404989870665739868000412801893363480}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 30437746136116296700646966229901852929751322431249926}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 969792203391907204092728313403938183273054}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 30903219711473935603040210453326}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 984771130951584136342}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 31381060338}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 22154727289187692946051393846384899192720638345033996809474450123648443963726}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 5647923434942666828522445363212797918234998723806816770403447733088}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1599811281771890945790682038980811532907737151134889384292}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 458192776412537884235222042940806046085960500138}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 131390354074353346518194731458625803072}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 37686853307874989009152358800}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 10821660780028794482}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 10941900291093595320}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 12157666989755316271}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 508313098778064808275530746240229804692728081381435498208021123959335}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1166262210971660630886562891678661455177402312935768695898506}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 2973162707356188106270803811772170944011299887049548}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 7663739779045380279497913025310350044756284}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 19778767742288858065420892470778422}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 51059278307370422822974562}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 51128500363674045478550081}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 51759716416078411348410947}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 58149804845830643730162686}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 11792206526260621493306791059293388848538400929501368247598256}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 243501976071530085378797849224447294904314049400639309}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 5586855944678842365654569129554384879545830303}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 129608076376689398903767775582675201094}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 3010461904311669640586178523004}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 3010894726111774888569128335252}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 3015024897118383475126233142509}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 3052661009586648584420519487317}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 3433720193865721466554805977100}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 273897963281002786554205194045094977972722798619128958}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 50902455684026773649970526812909535681563218744}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 10511053060228227553330475125981772052939}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 2194589669596923371840626976376742}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 2194464373917021942068793645634993}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 2194798844874560782762911083630535}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 2197813218383382799837121152850784}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 2225281691169424177654268437559480}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 3434272587486155230670929066999}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 6362698910215526646555168040090852955195216560}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 10642260718485964374478180698444712426006}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 19778069861726736868836800876966978}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 19778107077032016931517218349746012}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 19778442019830180719968479097609832}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 19781456970132569958387479894195027}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 19808628795452608370079714727702103}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 247607337719663955075987664262545}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 3438986075798435086131635576633}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 147808864179812389508014662749022324905}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 2225031877366234343451302832719502}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 2224730893549537072791655869507950}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 2224735075228368343238980477058882}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 2224772751312131362485864341704703}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 2225111887755563970612576822572217}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 247607388913099682025383703249929}, {"parameter": "6, 12, o", "name": "Ahlswede_Aydinian", "value": 27855773588307739558693769960935}, {"parameter": "6, 13, o", "name": "Ahlswede_Aydinian", "value": 3481970088764917078588839478708}, {"parameter": "7, 4, o", "name": "Ahlswede_Aydinian", "value": 3433683910016083598516363468374}, {"parameter": "7, 5, o", "name": "Ahlswede_Aydinian", "value": 3433683989771706940272799649580}, {"parameter": "7, 6, o", "name": "Ahlswede_Aydinian", "value": 3433684707572467068044001313475}, {"parameter": "7, 7, o", "name": "Ahlswede_Aydinian", "value": 3433691167791462449877034337934}, {"parameter": "7, 8, o", "name": "Ahlswede_Aydinian", "value": 3433749310746930339866745336434}, {"parameter": "7, 9, o", "name": "Ahlswede_Aydinian", "value": 3434272677103561527292795300706}, {"parameter": "7, 10, o", "name": "Ahlswede_Aydinian", "value": 3438989443537036014424102819172}, {"parameter": "7, 11, o", "name": "Ahlswede_Aydinian", "value": 3481970897647772272149821739197}, {"parameter": "7, 12, o", "name": "Ahlswede_Aydinian", "value": 3917150001348391097251303957615}, {"parameter": "", "name": "improved_johnson", "value": 31381060294}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 1350851728520765801}], "known_codes": [], "upper_bound": 31381059963, "classified": false, "lower_bound": 31381059610, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 31381059609}, {"parameter": "", "name": "sphere_covering", "value": 5833}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 31381059610}, {"parameter": "", "name": "multicomponent", "value": 31381059610}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (11, 12, 13, 14, 15, 16, 17, 18)]", "name": "ef_computation", "value": 31381059610}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 31381059609}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 31381059610}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 3486784402}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 387420490}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 43046722}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 31381059610}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 3486784402}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 387420490}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 43046722}, {"parameter": "8", "name": "linkage_GLT", "value": 31381059610}, {"parameter": "9", "name": "linkage_GLT", "value": 3486784402}, {"parameter": "10", "name": "linkage_GLT", "value": 387420490}, {"parameter": "11", "name": "linkage_GLT", "value": 43046722}, {"parameter": "8", "name": "improved_linkage", "value": 31381059610}, {"parameter": "9", "name": "improved_linkage", "value": 3486784402}, {"parameter": "10", "name": "improved_linkage", "value": 387420490}, {"parameter": "11", "name": "improved_linkage", "value": 43046722}, {"parameter": "8,0", "name": "generalized_linkage", "value": 31381059610}, {"parameter": "9,0", "name": "generalized_linkage", "value": 3486784402}, {"parameter": "10,0", "name": "generalized_linkage", "value": 387420490}, {"parameter": "11,0", "name": "generalized_linkage", "value": 43046722}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 31381059610}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3486784402}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 387420490}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 43046722}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 9}], "request": [9, 19, 16, 8], "liftedmrdsizebound": 31381059610, "comments": "", "equal_bound_constraints": []}