{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 4015416416396119033147299622148303750458461840668912175671578360534665}, {"parameter": "", "name": "singleton", "value": 85666512159498155145}, {"parameter": "2", "name": "ilp_2", "value": 73787292955411710535}, {"parameter": "3", "name": "ilp_2", "value": 633847363694167576172006961224}, {"parameter": "4", "name": "ilp_2", "value": 5446036994319946616530116939991562620417}, {"parameter": "5", "name": "ilp_2", "value": 46872649710776340205384521009499981207402512421377}, {"parameter": "6", "name": "ilp_2", "value": 409023995091874635940228064878877984564869415324170471940673}, {"parameter": "8", "name": "ilp_3", "value": 1675362383731318531236030375425130228897301064847913389063742017}, {"parameter": "9", "name": "ilp_3", "value": 786392621408892340039925677267528188884691566006169539073}, {"parameter": "10", "name": "ilp_3", "value": 374248837972239427019508041537566991576593724829839}, {"parameter": "11", "name": "ilp_3", "value": 178412184081358443680946234820559977708234367}, {"parameter": "12", "name": "ilp_3", "value": 85070962608427261681965210854064993333}, {"parameter": "", "name": "anticode", "value": 73787292955411710535}, {"parameter": "", "name": "linear_programming_bound", "value": 73787292955411710535}, {"parameter": "", "name": "sphere_packing", "value": 37600197636000846500994867738703306901290}, {"parameter": "1", "name": "ilp_1", "value": 73787156915478994985}, {"parameter": "13", "name": "ilp_4", "value": 85070678653454870518122995078732039276}, {"parameter": "14", "name": "ilp_4", "value": 85070678653454870518122995078732039276}, {"parameter": "15", "name": "ilp_4", "value": 2596152938864723432070283198740550}, {"parameter": "16", "name": "ilp_4", "value": 79228349721135588717316823876}, {"parameter": "17", "name": "ilp_4", "value": 2417857422135411653771263}, {"parameter": "", "name": "johnson_1", "value": 73787156915478994985}, {"parameter": "", "name": "johnson_2", "value": 2417857422135411653771263}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 4015416416396119033147299622148303750458461840668912175671578360534665}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1675362383731318531236030375425130228897301064847913389063742017}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 786392621408892340039925677267528188884691566006169539073}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 374248837972239427019508041537566991576593724829839}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 178412184081358443680946234820559977708234367}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 85070962608427261681965210854064993333}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 85070678653454870518122995078732039276}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 85070678653454870518122995078732039276}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 2596152938864723432070283198740550}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 79228349721135588717316823876}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 2417857422135411653771263}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 409023995091874635940228064878877984564869415324170471940673}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1365265527343893463449063261853794543574899440237968364}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 5126698816982236650128837726950412087283046022040}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 19518607348764349439724726194850610090653822}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 74439403914122047838089145146922578011}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 74437447225209238445819326594664329595}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 74437695687113302497487756011264918554}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 18173889494565910372305684529130604}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 4437947623438679067680156307498}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1085339057023842127338582945}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 268659519698029899203501}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 73789509587882250225}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 46872649710776340205384521009499981207402512421377}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 1251639555559497730794638845356351204377370617}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 37600197636000846500994867738703306901290}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 1145225899108351972821098157398467701}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 1144981319638665566754979156140889948}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 1144981857063433650813266083782727764}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 2236471698417828498446094260369926}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 4368304573106508944873007660152}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 8534904792913435137427359445}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 16701846145953213594145655}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 33130479915142020161676}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 73807245379467217448}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 5446036994319946616530116939991562620417}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 1163434521459640099008984964533439987}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 279604547594526709041396606027537}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 279126709638807647102864494003579}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 279126726240015119643649363219016}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 4364550811328446221807137301219}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 68260818878487715116168015213}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 1066603714030792942117136942}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 16669767778698069213731279}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 260974214837750881122541}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 4142307359956302802395}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 73949427300756111913}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 633847363694167576172006961224}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 1083499767124466668050296299}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 1068685842654031493626057554}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 1068685850600810130417793484}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 135408546630366072982708796}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 16922008607067621206698350}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 2115704043994157670271245}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 264470067638444011119310}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 33066924288666654959947}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 4141438242278397257087}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 525880647220610850898}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 75104887312583036993}, {"parameter": "5, 2", "name": "Ahlswede_Aydinian", "value": 73787292955411710535}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 73787292963883752597}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 73787293031660089148}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 73787293573870785537}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 73787297911556611270}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 73787332613059512572}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 73787610226125635121}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 73789831197402997310}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 73807603240545280055}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 73950053579591427359}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 75107465842774071505}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 85666512159498155145}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 4015416416396119033147299622148303750458461840668912175671578360534665}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 409023995091874635940228064878877984564869415324170471940673}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 46872649710776340205384521009499981207402512421377}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 5446036994319946616530116939991562620417}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 633847363694167576172006961224}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 73787292955411710535}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 73787156915478994985}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1675362383731318531236030375425130228897301064847913389063742017}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1365265527343893463449063261853794543574899440237968364}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1251639555559497730794638845356351204377370617}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1163434521459640099008984964533439987}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1083499767124466668050296299}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1085355074943370412933856735}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1100429450971771330505509794}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 1237983132215135905771745761}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 786392621408892340039925677267528188884691566006169539073}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 5126698816982236650128837726950412087283046022040}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 37600197636000846500994867738703306901290}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 279604547594526709041396606027537}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 279671745639702781818617073641254}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 280210496858519434863548287415988}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 284588785842887889232351953615851}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 324609083549728248989273064430473}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 374248837972239427019508041537566991576593724829839}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 19518607348764349439724726194850610090653822}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 1145225899108351972821098157398467701}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 1145258661015967880773530117865892626}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 1145537787210855326814169094538247472}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 1147775165584556695360463075847671088}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 1165958234733839503803377805993075009}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 1332198363606993200452166503389860579}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 178412184081358443680946234820559977708234367}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 74439403914122047838089145146922578011}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 74439439340283841416537291603488192998}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 74441710565320473707151238800034265336}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 74459884803478991043971905048687421030}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 74605563228122433281611869558263520334}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 75789488899603410081331051608512977051}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 86613910171548753253901749774270665327}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 85070962608427261681965210854064993333}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 85071003172069318025132462997483341267}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 85071327682443668302165287368504078576}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 85073923844666458382880179316699580464}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 85094698214278236679811486348906221438}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 85261218403474380454657255983073688025}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 86614525177654794282829648400690432120}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 98987603216356624971042374274625033865}, {"parameter": "", "name": "improved_johnson", "value": 73787156915478994971}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 154742884222046549820353789}], "known_codes": [], "upper_bound": 73787156915478994971, "classified": false, "lower_bound": 73786976294838468609, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 73786976294838206464}, {"parameter": "", "name": "sphere_covering", "value": 59190557896}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 73786976294838206465}, {"parameter": "", "name": "coset_construction", "value": 73786976294838468609}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6), (0, 7, 8, 9, 10, 11, 12), (2, 12, 13, 14, 15, 16, 17)]", "name": "ef_computation", "value": 73786976294838468609}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 73786976294838206464}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 73786976294838206465}, {"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": 4398046511105}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 73786976294838206465}, {"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": 4398046511105}, {"parameter": "", "name": "construction_1", "value": 73786976294838468609}, {"parameter": "7", "name": "linkage_GLT", "value": 73786976294838206465}, {"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": 4398046511105}, {"parameter": "7", "name": "improved_linkage", "value": 73786976294838206465}, {"parameter": "8", "name": "improved_linkage", "value": 1152921504606846977}, {"parameter": "9", "name": "improved_linkage", "value": 18014398509481985}, {"parameter": "10", "name": "improved_linkage", "value": 281474976710657}, {"parameter": "11", "name": "improved_linkage", "value": 4398046511105}, {"parameter": "12", "name": "improved_linkage", "value": 2097153}, {"parameter": "7,0", "name": "generalized_linkage", "value": 73786976294838206465}, {"parameter": "7,1", "name": "generalized_linkage", "value": 73786976294838206465}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1152921504606846977}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1152921504606846977}, {"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": 4398046511105}, {"parameter": "11,1", "name": "generalized_linkage", "value": 4398046511105}, {"parameter": "12,1", "name": "generalized_linkage", "value": 2097153}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786976294838206465}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976294838206465}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152921504606846977}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921504606846977}, {"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": 4398046511105}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4398046511105}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2097153}, {"parameter": "", "name": "JohnsonLB", "value": 73786971896791695873}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 549757911048}], "request": [8, 18, 12, 7], "liftedmrdsizebound": 73786976294838468609, "comments": "", "equal_bound_constraints": []}