{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 2207498667862417763177484010791369279003449860843419129261743334890182948865169033}, {"parameter": "", "name": "singleton", "value": 1660730178183390221013476379650255525660841609}, {"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": "", "name": "anticode", "value": 1427297471179124568759632482938292177874190919}, {"parameter": "", "name": "linear_programming_bound", "value": 1427297471179124568759632482938292177874190919}, {"parameter": "", "name": "sphere_packing", "value": 322981897892878362412888433526612330784258140506476}, {"parameter": "1", "name": "ilp_1", "value": 1427297471179124540439023883816175359978432937}, {"parameter": "2", "name": "ilp_1", "value": 1427297471179124540439023883816175360377342916}, {"parameter": "3", "name": "ilp_1", "value": 1427297471179124540439023900134937903385861705}, {"parameter": "4", "name": "ilp_1", "value": 1427297471179124568759632482938292177874190919}, {"parameter": "14", "name": "ilp_4", "value": 5846124200410650177774272799209931268598192098928}, {"parameter": "15", "name": "ilp_4", "value": 5846124200410647217252521198607668202621492762842}, {"parameter": "16", "name": "ilp_4", "value": 5846124200410647217252459347351290672670884826635}, {"parameter": "17", "name": "ilp_4", "value": 5846124200410647217252459347350829845119962845183}, {"parameter": "18", "name": "ilp_4", "value": 5846124200410647217252459347351280205086474768383}, {"parameter": "", "name": "johnson_1", "value": 1427297471179124540439023883816175359978432937}, {"parameter": "", "name": "johnson_2", "value": 5846124200410647217252459347351280205086474768383}, {"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": 5846124200410650177774272799209931268598192098928}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 5846124200410647217252521198607668202621492762842}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 5846124200410647217252459347351290672670884826635}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 5846124200410647217252459347350829845119962845183}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 5846124200410647217252459347351280205086474768383}, {"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": 327467891814385047568322224117270198322133986666294}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 327468984860492926219885728801072028865548872012572}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 327477729492189709307649761712421133634078250643861}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 327547703362362513644270537368239656839001945118669}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 328108572688126191775284809687370995202353150429730}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 649737531509146276657530055360192123495527901781}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 1427645960387964111051982366213954873889849117}, {"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": 322980838774835891394500488275499701516376801711919}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 322980990376679333186404150995085175069976711378531}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 322982203204333509854145379062253369319951294899995}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 322991906121097989196970743330794888862643855491905}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 323069548373819589328175031378424543168345348634867}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 5057693151538191375756437921468539118318354585854}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 80261391348442359889741058061048434044198450410}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 1430439740146367920555923003986416956675756166}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 1532923238931742003711631518879429813660762116326659057}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 5116685771552055273329491620414033649382974572059}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 5116685809599750710921724251491774033284606228440}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 5116686113981332349719237816281533710834473741680}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 5116688549035146296470618297549902292433330503196}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 5116708029539951681641744091314160750508134527886}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 5116863878333343781806473729736315507900068394308}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 639761469261204530441162724326577121567493476019}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 80126638172833130769294463202097664937975849705}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 10174499549918499388514716573908701044245677197}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 1427297471179124568759632482938292177874190919}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 1427297472508038908801742181625018610684110167}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 1427297483139353708343324300259329745941217974}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 1427297568189877173777373245993765034028718072}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 1427298248594389319893544085865350269149409097}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 1427303691851249617227128197086989058091006068}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 1427347239235012766603304793851800258995870073}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 1427695703374255409924910878817944086180195205}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 1430488871567080360539877451613778662633507353}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 1453188883633719154334438703927730183403958648}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 1660730178183390221013476379650255525660841609}, {"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": 1427297471179124568759632482938292177874190919}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1427297471179124540439023900134937903385861705}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1427297471179124540439023883816175360377342916}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 1427297471179124540439023883816175342798563625}, {"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": 5116702583541564794840224367780795645239961011725}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 5116839218409916457771517964107068956816055504087}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 5117932560116122392665453459000079792683967044475}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 5126696143209762299703703988800244540182209280148}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 5197900255838331679706128813643405389242017696086}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 5847637782977201295316045159912957467903208635618}, {"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": 322981451504968260627311805399406683538321836009022}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 322982664334796802825379818504362719379158324590800}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 322992367268956852460228118271817062816275211698723}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 323070009660884503543315754119618408876805666340511}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 323692361958610104260385674936429784052658769082727}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 328750054845788313649737719247973347762540389959994}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 5859081562979599662574518845303079790786247200816}, {"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": 327466681622972790283902506908147323615925184878864}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 327466837465773778196091062229201292448862347161613}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 327468084217040968895621571573767050201939713661475}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 327478058531495966214511894695219496676661081909722}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 327557872528209858943076974393293321439733985098076}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 328197633730475559569886875114778488023615216950466}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 41674754805357823492717195140863326553362114005103}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 5952082191740081289300713153122071193819594700151}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 5846210447393072724893878954188101031937563697151}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 5846210490939955625411215444820398173010841730162}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 5846210839315039593612471548130586315927654037507}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 5846213626317040239860292165871207718012235913803}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 5846235922418095375097653542867555992454603723804}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 5846414296669900350322702559134015666289834622798}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 5847841639144702008429584036172684535521988212057}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 5859282724048726794396574217834754311287828846153}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 5952264189655832287223593471550635180738410439270}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 6802376752511981034135502513716198679876614477449}, {"parameter": "", "name": "improved_johnson", "value": 1427297471179124540439023883816175359978432913}], "known_codes": [], "upper_bound": 1427297471179124540439023883816175342798563625, "classified": false, "lower_bound": 1427247692705959881058285969449495137456488961, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1427247692705959881058285969449495136382746624}, {"parameter": "", "name": "sphere_covering", "value": 1063972521160851572951944788}, {"parameter": "", "name": "graham_sloane", "value": 35822795909555}, {"parameter": "", "name": "multicomponent", "value": 1427247692705959881058285969449495136516964353}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1427247692705959881058285969449495136402263042}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1427247692705959881058285969449495136382746624}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1427247692705959881058285969449495136382746625}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 43556142965880123323311949751266331066369}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1427247692705959881058285969449495136382746625}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 43556142965880123323311949751266331066369}, {"parameter": "9", "name": "linkage_GLT", "value": 1427247692705959881058285969449495136382746625}, {"parameter": "10", "name": "linkage_GLT", "value": 43556142965880123323311949751266331066369}, {"parameter": "9", "name": "improved_linkage", "value": 1427247692705959881058285969449495136516964353}, {"parameter": "10", "name": "improved_linkage", "value": 43556142965880123323311949751266331066369}, {"parameter": "11", "name": "improved_linkage", "value": 324518553658426726783156020576257}, {"parameter": "12", "name": "improved_linkage", "value": 2417851639229258349412353}, {"parameter": "13", "name": "improved_linkage", "value": 18014398509481985}, {"parameter": "14", "name": "improved_linkage", "value": 18014398643699713}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1427247692705959881058285969449495137456488961}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1427247692705959881058285969449495136383009281}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1427247692705959881058285969449495136382746625}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1427247692705959881058285969449495136382746625}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1427247692705959881058285969449495136516964353}, {"parameter": "10,0", "name": "generalized_linkage", "value": 43556142965880123323311949751335050805393}, {"parameter": "10,1", "name": "generalized_linkage", "value": 43556142965880123323311949751266331329025}, {"parameter": "10,2", "name": "generalized_linkage", "value": 43556142965880123323311949751266331066369}, {"parameter": "10,3", "name": "generalized_linkage", "value": 43556142965880123323311949751266331066369}, {"parameter": "10,4", "name": "generalized_linkage", "value": 43556142965880123323311949751266331066369}, {"parameter": "11,1", "name": "generalized_linkage", "value": 324518553658426726783156022677505}, {"parameter": "11,2", "name": "generalized_linkage", "value": 324518553658426726783156020576257}, {"parameter": "11,3", "name": "generalized_linkage", "value": 324518553658426726783156020576257}, {"parameter": "11,4", "name": "generalized_linkage", "value": 324518553658426726783156020576257}, {"parameter": "12,2", "name": "generalized_linkage", "value": 2417851639229258349412353}, {"parameter": "12,3", "name": "generalized_linkage", "value": 2417851639229258349412353}, {"parameter": "12,4", "name": "generalized_linkage", "value": 2417851639229258349412353}, {"parameter": "13,3", "name": "generalized_linkage", "value": 18014398509481985}, {"parameter": "13,4", "name": "generalized_linkage", "value": 18014398509481985}, {"parameter": "14,4", "name": "generalized_linkage", "value": 18014398643699713}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1427247692705959881058285969449495137456488961}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1427247692705959881058285969449495136383009281}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1427247692705959881058285969449495136382746625}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1427247692705959881058285969449495136382746625}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1427247692705959881058285969449495136516964353}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 43556142965880123323311949751335050805393}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 43556142965880123323311949751266331329025}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 43556142965880123323311949751266331066369}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 43556142965880123323311949751266331066369}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 43556142965880123323311949751266331066369}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426726783156022677505}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426726783156020576257}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426726783156020576257}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426726783156020576257}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2417851639229258349412353}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2417851639229258349412353}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2417851639229258349412353}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 18014398509481985}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 18014398509481985}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 18014398643699713}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 18014399717442049}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 43556142965880123323311952003066144751624}], "request": [8, 19, 10, 9], "liftedmrdsizebound": 1427247692705959881058329928419654590974645897, "comments": "", "equal_bound_constraints": []}