{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 2207498667862417763177484010791369279003449860843419129261743334890182948865169033}, {"parameter": "", "name": "singleton", "value": 1546628304496854696033468524851058313}, {"parameter": "4", "name": "ilp_2", "value": 1329233789366745212940266023726165942}, {"parameter": "5", "name": "ilp_2", "value": 1427297471179124568759632482938292177874190919}, {"parameter": "6", "name": "ilp_2", "value": 1532923238931742003711631518879429813660762116326659057}, {"parameter": "7", "name": "ilp_2", "value": 1649184858796900175517010098845798323740831757686612565111388322}, {"parameter": "8", "name": "ilp_2", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "10", "name": "ilp_3", "value": 14391253413099961127473366635863624130271163914515727962691272894779735744}, {"parameter": "11", "name": "ilp_3", "value": 105547831059764765912036744874371805354190889276643487499816538751}, {"parameter": "12", "name": "ilp_3", "value": 784856699062579021557952446926529882809235631476244565330}, {"parameter": "13", "name": "ilp_3", "value": 5846210447393072724893878954188101031937563697151}, {"parameter": "14", "name": "ilp_3", "value": 43556332850533265243359043087622209340357}, {"parameter": "", "name": "anticode", "value": 1329233789366745212940266023726165942}, {"parameter": "", "name": "linear_programming_bound", "value": 1329233789366745212940266023726165942}, {"parameter": "", "name": "sphere_packing", "value": 322981897892878362412888433526612330784258140506476}, {"parameter": "1", "name": "ilp_1", "value": 1329231263948353322110850586370914309}, {"parameter": "2", "name": "ilp_1", "value": 1329231263948353322110850618119077974}, {"parameter": "3", "name": "ilp_1", "value": 1329231263948353350502384943745127854}, {"parameter": "15", "name": "ilp_4", "value": 43556248799549484972243340299119626565356}, {"parameter": "16", "name": "ilp_4", "value": 43556248799549439010034063783630891012331}, {"parameter": "17", "name": "ilp_4", "value": 43556248799549439010033721338649554223103}, {"parameter": "18", "name": "ilp_4", "value": 43556248799549439010033721338649554223103}, {"parameter": "", "name": "johnson_1", "value": 1329231263948353322110850586370914309}, {"parameter": "", "name": "johnson_2", "value": 43556248799549439010033721338649554223103}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 2207498667862417763177484010791369279003449860843419129261743334890182948865169033}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 14391253413099961127473366635863624130271163914515727962691272894779735744}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 105547831059764765912036744874371805354190889276643487499816538751}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 784856699062579021557952446926529882809235631476244565330}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 5846210447393072724893878954188101031937563697151}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 43556332850533265243359043087622209340357}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 43556248799549484972243340299119626565356}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 43556248799549439010034063783630891012331}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 43556248799549439010033721338649554223103}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 43556248799549439010033721338649554223103}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 93820294963440004101360795185256649345354211875693558051992396074}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 5504748436375247072170178782162292384144275824831984710474}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 327467755184132460996760268072968007874718517024216}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 19513842082224736977870696060389922905444525}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 19513610612383465557781680060066216153963528}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 19514131697876829576448475102314627286670402}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 19518301383919540476492318554668411935189372}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 19551723131118117015182152784158561351146570}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 4839668833192006071458635459254719106548}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 1329274345696838298381545994407120233}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1649184858796900175517010098845798323740831757686612565111388322}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 688093585387191310110822618052491008400514498949065214012}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 322981897892878362412888433526612330784258140506476}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 153708979171357555146724870910348893213691857}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 153690869655715123977209480210526022546935551}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 153691446780545350030023041740374159354455906}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 153696063924464516720098340031102357750797738}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 153733010078257808301630320445098083952787636}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 300873767797969753887276174697090461745545}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 596825976981583905026808299333856479148}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 1329598832217635453079130711352179861}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 1532923238931742003711631518879429813660762116326659057}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 5116685771552055273329491620414033649382974572059}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 19213630272055540492749757802113268745553430}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 19213631415036639754113658460342591054747277}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 19213640556692280549915968065121376345342950}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 19213713707796469075403697273553322430842216}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 19214298934485319360898494705580981015750644}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 300295448777720770152838719777717271091298}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 4701287358452876123296857424731727612777}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 74621465191000994788001724465428069242}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 1332200186382558088365773259505434233}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 1427297471179124568759632482938292177874190919}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 38113099749206625245046387930919880655935}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 38104958192657187307396707250156203283784}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 38104960249261105768997012362214865492243}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 38104978414203135269533010935184026650792}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 38105123734345837649061543831639957379350}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 4764287681070695131739742897370099631820}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 595679113933042202777845209062041042499}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 74605808970146822640077323214676816668}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 9473712802288870064165269104714021777}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 1353341067284004834291797537804067393}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 1329233789366745212940266023726165942}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 1329233790604388416299379016289292842}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 1329233800505534116923803094444829183}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 1329233879714704442016765800622332409}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 1329234513388369129148963603949026460}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 1329239582797020228804199865180271096}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 1329280139303617345204573732706421540}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 1329604670568580910887460590156638330}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 1332206000186716020439106410925947887}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 1353346883881238037857469217264308870}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 1546628304496854696033468524851058313}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 2207498667862417763177484010791369279003449860843419129261743334890182948865169033}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1649184858796900175517010098845798323740831757686612565111388322}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1532923238931742003711631518879429813660762116326659057}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1427297471179124568759632482938292177874190919}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1329233789366745212940266023726165942}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1329231263948353350502384943745127854}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1329231263948353322110850618119077974}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 1329231263948353322110850586370914309}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 14391253413099961127473366635863624130271163914515727962691272894779735744}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 93820294963440004101360795185256649345354211875693558051992396074}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 688093585387191310110822618052491008400514498949065214012}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 5116685771552055273329491620414033649382974572059}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 38113099749206625245046387930919880655935}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 38113555226329775464881373395262196993003}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 38121699148333558937081336894048266933171}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 38186976030010480196108728497468430976841}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 38717350693581426462598514007241515250053}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 43557019494220762073768639690279329980141}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 105547831059764765912036744874371805354190889276643487499816538751}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 5504748436375247072170178782162292384144275824831984710474}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 322981897892878362412888433526612330784258140506476}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 19213630272055540492749757802113268745553430}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 19213702421288259424447924026749212649764620}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 19214279632729686449100465150788764065171381}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 19218898449708137272736360135674386433433091}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 19255921154546899055791515857300947030756116}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 19556794906618532424272969723479580637730077}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 43568296279079504432056402622584662179042}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 784856699062579021557952446926529882809235631476244565330}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 327467755184132460996760268072968007874718517024216}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 153708979171357555146724870910348893213691857}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 153708539263047717162274642313497866461570269}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 153709124470869404674356637118595492765866291}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 153713806280230278422878549855368896230734430}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 153751269899271950156818585933261486000867088}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 154051565222725564179868439043504550684820434}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 2445191791404524360656199473834477342438746}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 43653556806975059159768620970725492105656}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 5846210447393072724893878954188101031937563697151}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 19513842082224736977870696060389922905444525}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 19513843245052586654602983207653671200353993}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 19513852547679819755001926499855496350089073}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 19513926968981569579722001324689014738176805}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 19514522357564764030944322995310356604759906}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 19519286629342815113936520666947106693153672}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 2444675243537939309611068632626624704444358}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 310434770867411620025192448816142019638698}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 44346446943030839670943602899281102018111}, {"parameter": "5, 5, o", "name": "Ahlswede_Aydinian", "value": 43556332850533265243359043087622209340357}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 43556333175034667120213284597115413551837}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 43556335771046036864208813021249013489520}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 43556356539146897487237022677263317960482}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 43556522684587555837136568009002076904727}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 43557851888675555877684825382092303568370}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 43568488118028411582287011806392446336144}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 43653744463584252660958130946340253982629}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 44346621063407281357629497371257736644081}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 50681462910057431534320730090844329858697}, {"parameter": "", "name": "improved_johnson", "value": 1329231263948353322110850586370914280}], "known_codes": [], "upper_bound": 1329231263948353322110850586370914280, "classified": false, "lower_bound": 1329227995784915872903807060280607233, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1329227995784915872903807060280344576}, {"parameter": "", "name": "sphere_covering", "value": 990875166790212795}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 1329227995784915872903807060280344577}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7, 8), (0, 1, 2, 9, 10, 11, 12, 13, 14), (3, 4, 5, 9, 10, 11, 15, 16, 18), (2, 7, 8, 13, 14, 15, 16, 17, 18)]", "name": "ef_computation", "value": 1329227995784915872903807060280607233}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1329227995784915872903807060280344577}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1329227995784915872903807060280344577}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 324518553658426726783156020576257}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1329227995784915872903807060280344577}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 324518553658426726783156020576257}, {"parameter": "9", "name": "linkage_GLT", "value": 1329227995784915872903807060280344577}, {"parameter": "10", "name": "linkage_GLT", "value": 324518553658426726783156020576257}, {"parameter": "9", "name": "improved_linkage", "value": 1329227995784915872903807060280344577}, {"parameter": "10", "name": "improved_linkage", "value": 324518553658426726783156020576257}, {"parameter": "11", "name": "improved_linkage", "value": 2417851639229258349412353}, {"parameter": "12", "name": "improved_linkage", "value": 18014398509481985}, {"parameter": "13", "name": "improved_linkage", "value": 134217729}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1329227995784915872903807060280607233}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1329227995784915872903807060280344577}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1329227995784915872903807060280344577}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1329227995784915872903807060280344577}, {"parameter": "10,0", "name": "generalized_linkage", "value": 324518553658426726783156020838913}, {"parameter": "10,1", "name": "generalized_linkage", "value": 324518553658426726783156020576257}, {"parameter": "10,2", "name": "generalized_linkage", "value": 324518553658426726783156020576257}, {"parameter": "10,3", "name": "generalized_linkage", "value": 324518553658426726783156020576257}, {"parameter": "11,1", "name": "generalized_linkage", "value": 2417851639229258349412353}, {"parameter": "11,2", "name": "generalized_linkage", "value": 2417851639229258349412353}, {"parameter": "11,3", "name": "generalized_linkage", "value": 2417851639229258349412353}, {"parameter": "12,2", "name": "generalized_linkage", "value": 18014398509481985}, {"parameter": "12,3", "name": "generalized_linkage", "value": 18014398509481985}, {"parameter": "13,3", "name": "generalized_linkage", "value": 134217729}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915872903807060280607233}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915872903807060280344577}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915872903807060280344577}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915872903807060280344577}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426726783156020838913}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426726783156020576257}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426726783156020576257}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426726783156020576257}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2417851639229258349412353}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2417851639229258349412353}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2417851639229258349412353}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18014398509481985}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 18014398509481985}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 134217729}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 5070602400912917605986814918664}], "request": [8, 19, 12, 9], "liftedmrdsizebound": 1329227995784915872903807129151115272, "comments": "", "equal_bound_constraints": []}