{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1072899407235501640594173584630829335134329469413072927564629311304442562608422652286}, {"parameter": "", "name": "singleton", "value": 35248976794718684386485952344220}, {"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": "", "name": "anticode", "value": 30903219711473935603040210453326}, {"parameter": "", "name": "linear_programming_bound", "value": 30903219711473935603040210453326}, {"parameter": "", "name": "sphere_packing", "value": 2973162707356188106270803811772170944011299887049548}, {"parameter": "1", "name": "ilp_1", "value": 30903191492747760816984836984062}, {"parameter": "2", "name": "ilp_1", "value": 30903191492747760817979146319934}, {"parameter": "14", "name": "ilp_4", "value": 6362691224132338978054130183691476764614929296}, {"parameter": "15", "name": "ilp_4", "value": 6362691224132191329427758452506910686742646773}, {"parameter": "16", "name": "ilp_4", "value": 6362691224132191329427758452506910686742646773}, {"parameter": "17", "name": "ilp_4", "value": 107752762391455675846410617863954670522933}, {"parameter": "18", "name": "ilp_4", "value": 1824802509447355573466014837763402972}, {"parameter": "", "name": "johnson_1", "value": 30903191492747760816984836984062}, {"parameter": "", "name": "johnson_2", "value": 1824802509447355573466014837763402972}, {"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": 6362691224132338978054130183691476764614929296}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 6362691224132191329427758452506910686742646773}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 6362691224132191329427758452506910686742646773}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 107752762391455675846410617863954670522933}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 1824802509447355573466014837763402972}, {"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": 50901954301039804575057887237022456423014780412}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 50902039439790589752259995049760291004262740213}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 50902805701964937729320112580641359947134791821}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 7759454707770898781912075671681971099755049}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1184107732736580675153037877241934801237}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 182483512030483782511260109000863833}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 30903742343286422601841286384392}, {"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": 5586393458343977923588974259006540247152180012}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 5586394611384574286008006567527388838656248800}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 5586404993398627048515402518368280956362657831}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 7663300848130087525183957792453642100455440}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 10514433240121367569393067847133208608192}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 14442657842299618238403602352108887253}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 20056189397774296736570907224619578}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 30908446476584103427215412604706}, {"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": 7658541233098576581223637859180277632681933}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 7658541382100676394418614806194970411711519}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 7658542981091242313643807213788940649427621}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 94614095487105412235821737340299237608700}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 1168092812360826015483652920549619977177}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 14423104549772083189859892783680708271}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 178307437452581846573824261656560116}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 2228804797371127321364052287607434}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 30950845203943469331520387641680}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 969792203391907204092728313403938183273054}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 131390354074353346518194731458625803072}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 131390354112024884128590988683381063429}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 131390354451068723497143637200065634231}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 131390357502463348688012133043262146264}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 14596734025079555212779513537565589273}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 1622079438107005476243653787410706147}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 180233765124866313199621875422839528}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 20029058850848776114959694456131987}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 2228506989803811228489474959525055}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 250706144617853728680016246461295}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 31337200093768229777316157151641}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 30903219711473935603040210453326}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 30903219712457490987504934216377}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 30903219721309489450222769930398}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 30903219800977475820044361457493}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 30903220517989369782685749269666}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 30903226971097762820751746585729}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 30903285049182437686200613045413}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 30903807760784800332935015396626}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 30908512881378468419313462538326}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 30950917056261185110502993729845}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 31337318617186435521399503090877}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 35248976794718684386485952344220}, {"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": 30903191492747760817979146319934}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 30903191492747760816984836984062}, {"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": 131408157645361592153259881344585721114}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 131568607166255139593812457470925383929}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 133030480578836194954486459466803229080}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 147811645083356575602351950724797508778}, {"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": 7663867806770157528025719255545794282567222}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 7665021656181355651749106836885565955706187}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 7675420545936569813027909098570487602349828}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 7770178824061068048055524287462885265801253}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 8729460157861318892610559793439115242354755}, {"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": 5586861244367138034849420922157212092772294293}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 5586955730165070435680812668567112950560140614}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 5587806231956607160643599353335990497629966316}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 5595471260922856651658262321899134081638336338}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 5665318705927477134096429393728002264803538086}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 6372512108005887606934188394236395412469053866}, {"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": 50902381185314128527436051755397974645828661677}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 50902476952670851752141296704783093498761826117}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 50903338873636045029908662003113306738550003035}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 50911097344816036472774792331343883055822450248}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 50981019498957703790422980062863507079337616595}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 51618184993731557786731546020878433769230630019}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 6452174361350525213845021903364888923945819490}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 6362698910215526646555168040090852955195216560}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 6362699058021922006533644372359838662849037023}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 6362700388279758369172954613152938287426067216}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 6362712360622813624791932901357343578690650088}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 6362820113535109169496929268036158499471247739}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 6363790037576958607351536078421616093733956060}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 6372531344728172098809284266666823310452771742}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 6452186502462818353529039780184239747088453787}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 7258694620170400715835032365617891585605600635}, {"parameter": "", "name": "improved_johnson", "value": 30903191492747760816984836984035}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 16423222626894060155844598832328889836}], "known_codes": [], "upper_bound": 30903191492747760816984836984035, "classified": false, "lower_bound": 30903154382632612361920642334971, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 30903154382632612361920641803529}, {"parameter": "", "name": "sphere_covering", "value": 131590156907347992}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 30903154382632612361920641803530}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (0, 1, 8, 9, 10, 11, 12, 13), (7, 12, 13, 14, 15, 16, 17, 18)]", "name": "ef_computation", "value": 30903154382632612361920642334971}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 30903154382632612361920641803530}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 30903154382632612361920641803530}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 42391158275216203514294433202}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 58149737003040059690390170}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 79766443076872509863362}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 30903154382632612361920641803530}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 42391158275216203514294433202}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 58149737003040059690390170}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 79766443076872509863362}, {"parameter": "8", "name": "linkage_GLT", "value": 30903154382632612361920641803530}, {"parameter": "9", "name": "linkage_GLT", "value": 42391158275216203514294433202}, {"parameter": "10", "name": "linkage_GLT", "value": 58149737003040059690390170}, {"parameter": "11", "name": "linkage_GLT", "value": 79766443076872509863362}, {"parameter": "8", "name": "improved_linkage", "value": 30903154382632612361920641803530}, {"parameter": "9", "name": "improved_linkage", "value": 42391158275216203514294433202}, {"parameter": "10", "name": "improved_linkage", "value": 58149737003040059690390170}, {"parameter": "11", "name": "improved_linkage", "value": 79766443076872509863362}, {"parameter": "12", "name": "improved_linkage", "value": 1853020188851842}, {"parameter": "13", "name": "improved_linkage", "value": 43046722}, {"parameter": "8,0", "name": "generalized_linkage", "value": 30903154382632612361920641803530}, {"parameter": "8,1", "name": "generalized_linkage", "value": 30903154382632612361920641803530}, {"parameter": "8,2", "name": "generalized_linkage", "value": 30903154382632612361920641803530}, {"parameter": "9,0", "name": "generalized_linkage", "value": 42391158275216203514294433202}, {"parameter": "9,1", "name": "generalized_linkage", "value": 42391158275216203514294433202}, {"parameter": "9,2", "name": "generalized_linkage", "value": 42391158275216203514294433202}, {"parameter": "10,0", "name": "generalized_linkage", "value": 58149737003040059690390170}, {"parameter": "10,1", "name": "generalized_linkage", "value": 58149737003040059690390170}, {"parameter": "10,2", "name": "generalized_linkage", "value": 58149737003040059690390170}, {"parameter": "11,0", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "11,1", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "11,2", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "12,1", "name": "generalized_linkage", "value": 1853020188851842}, {"parameter": "12,2", "name": "generalized_linkage", "value": 1853020188851842}, {"parameter": "13,2", "name": "generalized_linkage", "value": 43046722}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612361920641803530}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612361920641803530}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612361920641803530}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216203514294433202}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216203514294433202}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216203514294433202}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690390170}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690390170}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690390170}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1853020188851842}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1853020188851842}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 43046722}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 717897987694394454598587}], "request": [9, 19, 12, 8], "liftedmrdsizebound": 30903154382632612362203119176982, "comments": "", "equal_bound_constraints": []}