{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 2225721943123325021617750304033262410650004373089980901}, {"parameter": "", "name": "singleton", "value": 1665737215212030181}, {"parameter": "3", "name": "ilp_2", "value": 1153013869485329862}, {"parameter": "4", "name": "ilp_2", "value": 1209317914559435956226794}, {"parameter": "5", "name": "ilp_2", "value": 1269301292439498539091599425619}, {"parameter": "6", "name": "ilp_2", "value": 1336178313600332746325054033309650297}, {"parameter": "7", "name": "ilp_2", "value": 1423323926840885190913361977602773942712110}, {"parameter": "8", "name": "ilp_2", "value": 1591960769016920109217968018071128202218583902801}, {"parameter": "10", "name": "ilp_3", "value": 6367847630708318494006867331473463731206650091095}, {"parameter": "11", "name": "ilp_3", "value": 22773203190285674976295944754611661572399455}, {"parameter": "12", "name": "ilp_3", "value": 85515492350071065043074462569653823895}, {"parameter": "13", "name": "ilp_3", "value": 324941439542316811208438860829183}, {"parameter": "14", "name": "ilp_3", "value": 1238342724331218086918633585}, {"parameter": "15", "name": "ilp_3", "value": 4722749312277033345968}, {"parameter": "", "name": "anticode", "value": 1153013869485329862}, {"parameter": "", "name": "linear_programming_bound", "value": 1153013869485329862}, {"parameter": "", "name": "sphere_packing", "value": 13459255640154730438103123}, {"parameter": "1", "name": "ilp_1", "value": 1152975381600406800}, {"parameter": "2", "name": "ilp_1", "value": 1152975381616146300}, {"parameter": "16", "name": "ilp_4", "value": 4722479074393653793082}, {"parameter": "17", "name": "ilp_4", "value": 4722479073362840997886}, {"parameter": "18", "name": "ilp_4", "value": 4722479073362840997886}, {"parameter": "", "name": "johnson_1", "value": 1152975381600406800}, {"parameter": "", "name": "johnson_2", "value": 4722479073362840997886}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 2225721943123325021617750304033262410650004373089980901}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 6367847630708318494006867331473463731206650091095}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 22773203190285674976295944754611661572399455}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 85515492350071065043074462569653823895}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 324941439542316811208438860829183}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1238342724331218086918633585}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 4722749312277033345968}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 4722479074393653793082}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 4722479073362840997886}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 4722479073362840997886}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1591960769016920109217968018071128202218583902801}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 18218627706984912430404285253392277166183747}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 260620554044763687462004962304169011671}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 3914663010079668288139942500755889}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 59502412384571529489839725331}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 907214241891031393036922}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 907671550259907982105899}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 910341138615954242808599}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 921178407130084645783190}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 944657236754436629112}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 1153152418505279674}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1423323926840885190913361977602773942712110}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 65155651148299424986785952513077832917}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 3728263818981700750230718243838336}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 224003033152164467228407227703}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 13619436168664843424301587}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 13612574135615034899572693}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 13625047821128998562298594}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 13675137604958774341472986}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 54225795598230807849043}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 225064445204580922593}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 1154400781636654897}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 1336178313600332746325054033309650297}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 244676719967069078160081961040376}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 56003121672253061193035295936}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 13459255640154730438103123}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 13427138494605471548850895}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 13430357571882104222418445}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 13443278475518044389751133}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 210977744293290152184184}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 3354143627807578639209}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 55846271102379892744}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 1158846030637124842}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 1269301292439498539091599425619}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 929891939435036087254369068}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 851396694982321171137399}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 845485421007416605297384}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 845531093909283007086258}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 845736615529203284259786}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 53268854118877541441005}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 3341496350729630911536}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 212155835867089800540}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 14141057376223914767}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 1176960861605484753}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 1209317914559435956226794}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 3546390215105288885324}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 3546403690716239537393}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 3546457593979477835954}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 3546673220144199306911}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 883635919265053255420}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 221733682894502161446}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 55637216954298085152}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 14131637649810490142}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 3767405328639765151}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 1254202432865482321}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 1153013869485329862}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 1153014955884301670}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 1153019301496533503}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 1153036684206978399}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 1153106219233290540}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 1153384426307163562}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 1154498327132264761}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 1158971157184847472}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 1177142413521311739}, {"parameter": "6, 12", "name": "Ahlswede_Aydinian", "value": 1254600212457648043}, {"parameter": "6, 13", "name": "Ahlswede_Aydinian", "value": 1665737215212030181}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 2225721943123325021617750304033262410650004373089980901}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1591960769016920109217968018071128202218583902801}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1423323926840885190913361977602773942712110}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1336178313600332746325054033309650297}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1269301292439498539091599425619}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1209317914559435956226794}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1153013869485329862}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1152975381616146300}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 1152975381600406800}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 6367847630708318494006867331473463731206650091095}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 18218627706984912430404285253392277166183747}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 65155651148299424986785952513077832917}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 244676719967069078160081961040376}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 929891939435036087254369068}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 3546390215105288885324}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 3556359329929540071267}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 3598696817422785336345}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 3778631109176470862165}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 4723285282890585214310}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 22773203190285674976295944754611661572399455}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 260620554044763687462004962304169011671}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 3728263818981700750230718243838336}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 56003121672253061193035295936}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 851396694982321171137399}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 851760429277957487134790}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 854891863814385657305917}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 867613320597133759435100}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 921838483316511495240105}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 4726348842121203994430}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 85515492350071065043074462569653823895}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 3914663010079668288139942500755889}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 224003033152164467228407227703}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 13459255640154730438103123}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 13437734406679347362800059}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 13450664048784675499432242}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 13502585179670739455186556}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 13713553225800754642313975}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 228752551825492124421171}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 4746914033807435942254}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 324941439542316811208438860829183}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 59502412384571529489839725331}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 13619436168664843424301587}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 13620264084849675064546215}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 13623573559792104260743254}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 13636836382614064228525621}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 13690095472655236269552165}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 868948131209190660507099}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 57918498639741505222276}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 4822022445926894949237}, {"parameter": "5, 5, o", "name": "Ahlswede_Aydinian", "value": 1238342724331218086918633585}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 907214241891031393036922}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 904570004496263912962818}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 904623298822714203273774}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 904843828837096593225742}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 905726817246679586806438}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 227944832727139356469197}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 57875942692349161708268}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 15434527530595870745073}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 5142174804553483433297}, {"parameter": "6, 4, o", "name": "Ahlswede_Aydinian", "value": 4722749312277033345968}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 4722767270986292047211}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 4722839106915572712437}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 4723126468109691833775}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 4724276192586140799964}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 4728879570049599183172}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 4747365032834174599230}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 4822476334722877836362}, {"parameter": "6, 12, o", "name": "Ahlswede_Aydinian", "value": 5142875151165076662728}, {"parameter": "6, 13, o", "name": "Ahlswede_Aydinian", "value": 6849609413493939400165}, {"parameter": "", "name": "improved_johnson", "value": 1152975381600406785}], "known_codes": [], "upper_bound": 1152975381600406785, "classified": false, "lower_bound": 1152921504606846977, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1152921504606846976}, {"parameter": "", "name": "sphere_covering", "value": 11628974}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 1152921504606846977}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7, 8), (4, 5, 12, 13, 14, 15, 16, 17, 18)]", "name": "ef_computation", "value": 1152921504606846977}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1152921504606846977}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1152921504606846977}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 18014398509481985}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1152921504606846977}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 18014398509481985}, {"parameter": "9", "name": "linkage_GLT", "value": 1152921504606846977}, {"parameter": "10", "name": "linkage_GLT", "value": 18014398509481985}, {"parameter": "9", "name": "improved_linkage", "value": 1152921504606846977}, {"parameter": "10", "name": "improved_linkage", "value": 18014398509481985}, {"parameter": "11", "name": "improved_linkage", "value": 68719476737}, {"parameter": "12", "name": "improved_linkage", "value": 262145}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1152921504606846977}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1152921504606846977}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1152921504606846977}, {"parameter": "10,0", "name": "generalized_linkage", "value": 18014398509481985}, {"parameter": "10,1", "name": "generalized_linkage", "value": 18014398509481985}, {"parameter": "10,2", "name": "generalized_linkage", "value": 18014398509481985}, {"parameter": "11,1", "name": "generalized_linkage", "value": 68719476737}, {"parameter": "11,2", "name": "generalized_linkage", "value": 68719476737}, {"parameter": "12,2", "name": "generalized_linkage", "value": 262145}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152921504606846977}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921504606846977}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921504606846977}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18014398509481985}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014398509481985}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18014398509481985}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 68719476737}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 68719476737}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 262145}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 70368744177668}], "request": [4, 19, 14, 9], "liftedmrdsizebound": 1152921504606846977, "comments": "", "equal_bound_constraints": []}