{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 122540725761559997805240746641257692029742922745214204200122046089}, {"parameter": "", "name": "singleton", "value": 5482656778286418474121}, {"parameter": "2", "name": "ilp_2", "value": 4722528617472903352824}, {"parameter": "3", "name": "ilp_2", "value": 324608945694404695124957404332103}, {"parameter": "4", "name": "ilp_2", "value": 22350610427935558447754894854834140001899009}, {"parameter": "5", "name": "ilp_2", "value": 1560301971644512899016862755866569763318815655984177729}, {"parameter": "7", "name": "ilp_3", "value": 409023995091874635940228064878877984564869415324170471940673}, {"parameter": "8", "name": "ilp_3", "value": 1535923077268074711102788400063378399072001709784534544}, {"parameter": "9", "name": "ilp_3", "value": 5847638087955298016435078448559826690596487852159}, {"parameter": "10", "name": "ilp_3", "value": 22301523007898096353932975419597202648958024}, {"parameter": "", "name": "anticode", "value": 4722528617472903352824}, {"parameter": "", "name": "linear_programming_bound", "value": 4722528617472903352824}, {"parameter": "", "name": "sphere_packing", "value": 1147500892475449317156446627840128853}, {"parameter": "1", "name": "ilp_1", "value": 4722528614792701411353}, {"parameter": "11", "name": "ilp_4", "value": 22300927492986164513618770199338867677434512}, {"parameter": "12", "name": "ilp_4", "value": 22300927492986164513618770199338867677434512}, {"parameter": "13", "name": "ilp_4", "value": 5444603914783190010842440915779701254069}, {"parameter": "14", "name": "ilp_4", "value": 1329253439437445275045717641102533820}, {"parameter": "15", "name": "ilp_4", "value": 324524908141502535992462585048634}, {"parameter": "16", "name": "ilp_4", "value": 79230882691898388559056338738}, {"parameter": "17", "name": "ilp_4", "value": 19343477201687288169664511}, {"parameter": "", "name": "johnson_1", "value": 4722528614792701411353}, {"parameter": "", "name": "johnson_2", "value": 19343477201687288169664511}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 122540725761559997805240746641257692029742922745214204200122046089}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 409023995091874635940228064878877984564869415324170471940673}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1535923077268074711102788400063378399072001709784534544}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 5847638087955298016435078448559826690596487852159}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 22301523007898096353932975419597202648958024}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 22300927492986164513618770199338867677434512}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 22300927492986164513618770199338867677434512}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 5444603914783190010842440915779701254069}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1329253439437445275045717641102533820}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 324524908141502535992462585048634}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 79230882691898388559056338738}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 19343477201687288169664511}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 1560301971644512899016862755866569763318815655984177729}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 41664716592282292658620457343209165930400005924393}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1251639555559497730794638845356351204377370617}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 38122406693369201665475181553453355007752}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 38114263117106560772742045193009781581841}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 38114265104867323418349853355212900903755}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 74447634406184203969164671187615240895}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 145408170476733906052139721791649313}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 284041497922936501094263996081323}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 554887054687435434179109845334}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1085619509146415135106291163}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 2149799126633266435963694}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 4723663840698240896513}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 22350610427935558447754894854834140001899009}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 4774751213043292522846735226669940257161}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 1147500892475449317156446627840128853}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1145539831494775926942601894894820901}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 1145539839894559617338869016415821439}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 17912167778953220782948276641498152}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 280142267327380997666273281299810}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 4377222695682487913709775724624}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 68396256504315821351090970626}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1068950321270198801032136009}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 16734516658290592406298141}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 265561510713778248612319}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 4732763364363837116929}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 324608945694404695124957404332103}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 554887086665147166059829826601}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 547300508316628740219498286698}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 547300508824476922309466351950}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 69346068884350987524855534655}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 8666175916913788688931448611}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 1083500355296525253207254258}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 135437550594237661170004856}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 16930264230582771983026083}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 2116797810157592183630667}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 265115650870089592582806}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 33663538653878198643844}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 4806712791930946228801}, {"parameter": "4, 2", "name": "Ahlswede_Aydinian", "value": 4722528617472903352824}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 4722528617540667245955}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 4722528618082778391070}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 4722528622419667555966}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 4722528657114781129700}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 4722528934675706011620}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 4722531155164147758545}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 4722548919138414245055}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 4722691035203555159435}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 4723828237134971041676}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 4732943384553678186641}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 4807004138378232094444}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 5482656778286418474121}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 122540725761559997805240746641257692029742922745214204200122046089}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1560301971644512899016862755866569763318815655984177729}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 22350610427935558447754894854834140001899009}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 324608945694404695124957404332103}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 4722528617472903352824}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 4722528614792701411353}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 409023995091874635940228064878877984564869415324170471940673}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 41664716592282292658620457343209165930400005924393}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 4774751213043292522846735226669940257161}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 554887086665147166059829826601}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 555837219734320592040120831364}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 563557181118720625597413014648}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 634001828750359871381576122856}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1535923077268074711102788400063378399072001709784534544}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1251639555559497730794638845356351204377370617}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1147500892475449317156446627840128853}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1147776726553263003660553082417461892}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1149987769046958012010297009373357213}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1167956327923416134019078507355414405}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 1332200186382558088365773259505434233}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 5847638087955298016435078448559826690596487852159}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 38122406693369201665475181553453355007752}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 38123565871750690443176500103496245637585}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 38132857472613703283052214382379994423353}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 38207335709378292181043768888013406405182}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 38812616848327364710730423574633955123230}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 44346446943030839670943602899281102018089}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 22301523007898096353932975419597202648958024}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 22301608061007038026814545381031066699281081}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 22302288506643489383845523760984107364273067}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 22307733401014380392050942930912198031383386}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 22351377796339869391040655807893163882179304}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 22706074934923262462925877716703199588855703}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 25949007804224083420097621839124559742097033}, {"parameter": "", "name": "improved_johnson", "value": 4722528614792701411353}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 79230920397205095276907883903}], "known_codes": [], "upper_bound": 4722528614792701411353, "classified": false, "lower_bound": 4722366487267691728897, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 4722366482869645213696}, {"parameter": "", "name": "sphere_covering", "value": 242458963953324}, {"parameter": "", "name": "graham_sloane", "value": 9}, {"parameter": "", "name": "multicomponent", "value": 4722366487267691724801}, {"parameter": "[(0, 1, 2, 3, 4, 5), (5, 6, 7, 8, 9, 10), (2, 6, 11, 12, 13, 14), (0, 7, 12, 15, 16, 17)]", "name": "ef_computation", "value": 4722366487267691728897}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 4722366482869645213696}, {"parameter": "(6, 12)", "name": "CKMP2019_Lem_41", "value": 4722366482938364690433}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 73786976294838468609}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 1152921504606846977}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 18014398509481985}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 281474976710657}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 1152925902653358081}, {"parameter": "(12, 6)", "name": "CKMP2019_Lem_41", "value": 4722366482938364690433}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Lem_41", "value": 4722366482938364690433}, {"parameter": "(6, 12)", "name": "CKMP2019_Cor_42", "value": 4722366482938364690433}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 73786976294838468609}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 1152921504606846977}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 18014398509481985}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 281474976710657}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 1152925902653358081}, {"parameter": "(12, 6)", "name": "CKMP2019_Cor_42", "value": 4722366482938364690433}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Cor_42", "value": 4722366482938364690433}, {"parameter": "", "name": "construction_1", "value": 4722366487267691728897}, {"parameter": "6", "name": "linkage_GLT", "value": 4722366482938364690433}, {"parameter": "7", "name": "linkage_GLT", "value": 73786976294838468609}, {"parameter": "8", "name": "linkage_GLT", "value": 1152921504606846977}, {"parameter": "9", "name": "linkage_GLT", "value": 18014398509481985}, {"parameter": "10", "name": "linkage_GLT", "value": 281474976710657}, {"parameter": "11", "name": "linkage_GLT", "value": 1152925902653358081}, {"parameter": "12", "name": "linkage_GLT", "value": 4722366482938364690433}, {"parameter": "6", "name": "improved_linkage", "value": 4722366487267691724801}, {"parameter": "7", "name": "improved_linkage", "value": 73786976363557683201}, {"parameter": "8", "name": "improved_linkage", "value": 1152921504607109121}, {"parameter": "9", "name": "improved_linkage", "value": 18014398509481985}, {"parameter": "10", "name": "improved_linkage", "value": 281474976710657}, {"parameter": "11", "name": "improved_linkage", "value": 1152925902653358081}, {"parameter": "12", "name": "improved_linkage", "value": 4722366482938364690433}, {"parameter": "13", "name": "improved_linkage", "value": 1152921504607109121}, {"parameter": "6,0", "name": "generalized_linkage", "value": 4722366482938364690433}, {"parameter": "6,1", "name": "generalized_linkage", "value": 4722366487267691724801}, {"parameter": "7,0", "name": "generalized_linkage", "value": 73786976294838468609}, {"parameter": "7,1", "name": "generalized_linkage", "value": 73786976363557683201}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1152921504606846977}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1152921504607109121}, {"parameter": "9,0", "name": "generalized_linkage", "value": 18014398509481985}, {"parameter": "9,1", "name": "generalized_linkage", "value": 18014398509481985}, {"parameter": "10,0", "name": "generalized_linkage", "value": 281474976710657}, {"parameter": "10,1", "name": "generalized_linkage", "value": 281474976710657}, {"parameter": "11,0", "name": "generalized_linkage", "value": 1152925902653358081}, {"parameter": "11,1", "name": "generalized_linkage", "value": 1152925902653358081}, {"parameter": "12,0", "name": "generalized_linkage", "value": 4722366482938364690433}, {"parameter": "12,1", "name": "generalized_linkage", "value": 4722366482938364690433}, {"parameter": "13,1", "name": "generalized_linkage", "value": 1152921504607109121}, {"parameter": "[6, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690433}, {"parameter": "[6, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691724801}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786976294838468609}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557683201}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152921504606846977}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921504607109121}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18014398509481985}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014398509481985}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 281474976710657}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 281474976710657}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152925902653358081}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152925902653358081}, {"parameter": "[12, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690433}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690433}, {"parameter": "[13, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921504607109121}, {"parameter": "[6, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152925902653358081}, {"parameter": "[6, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152925902653358081}, {"parameter": "[6, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690433}, {"parameter": "[6, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690433}, {"parameter": "[6, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690433}, {"parameter": "[6, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690433}, {"parameter": "[6, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921504607109121}, {"parameter": "[6, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921504607109121}, {"parameter": "[7, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18014467228958721}, {"parameter": "[7, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014467228958721}, {"parameter": "[7, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014398509744129}, {"parameter": "[7, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014398509744129}, {"parameter": "[8, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 68719738881}, {"parameter": "", "name": "JohnsonLB", "value": 4722364231069965778880}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 4398180728840}], "request": [8, 18, 10, 6], "liftedmrdsizebound": 4722366487268899982856, "comments": "", "equal_bound_constraints": []}