{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 2225721943123325021617750304033262410650004373089980901}, {"parameter": "", "name": "singleton", "value": 1930351405154232225472089767795511781}, {"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": "", "name": "anticode", "value": 1336178313600332746325054033309650297}, {"parameter": "", "name": "linear_programming_bound", "value": 1336178313600332746325054033309650297}, {"parameter": "", "name": "sphere_packing", "value": 18218627706984912430404285253392277166183747}, {"parameter": "1", "name": "ilp_1", "value": 1336165545922626433554981455706100975}, {"parameter": "2", "name": "ilp_1", "value": 1336165545922626433554981455706489302}, {"parameter": "3", "name": "ilp_1", "value": 1336165545922626433554982245976669393}, {"parameter": "4", "name": "ilp_1", "value": 1336165545922626443133866700162486711}, {"parameter": "5", "name": "ilp_1", "value": 1336165545922626443133866700162486711}, {"parameter": "13", "name": "ilp_4", "value": 85514513702911972888913646565555326590}, {"parameter": "14", "name": "ilp_4", "value": 85514513695096977162342440339605474751}, {"parameter": "15", "name": "ilp_4", "value": 85514513695096932986471950117508946309}, {"parameter": "16", "name": "ilp_4", "value": 85514513695096932986300082518338112504}, {"parameter": "17", "name": "ilp_4", "value": 85514513695096932986300082481233507647}, {"parameter": "18", "name": "ilp_4", "value": 85514513695096932986462215314826065215}, {"parameter": "", "name": "johnson_1", "value": 1336165545922626433554981455706100975}, {"parameter": "", "name": "johnson_2", "value": 85514513695096932986462215314826065215}, {"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": 85514513702911972888913646565555326590}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 85514513695096977162342440339605474751}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 85514513695096932986471950117508946309}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 85514513695096932986300082518338112504}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 85514513695096932986300082481233507647}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 85514513695096932986462215314826065215}, {"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": 260595201917993438273187832332818799775}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 260607131611247873451855192470464136457}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 260654861308763677416416195843584108227}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 260845955059074576102954774120093153536}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 261613140230242181141340682582108228103}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 264727546168010154429530365312990251206}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 17374561932162268962147357052184556091}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 1357378411431924807939705361080589161}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1423323926840885190913361977602773942712110}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 65155651148299424986785952513077832917}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 65143953709067257208781339874587252964}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 65144884889683242628362666095497381537}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 65148612566681946938801486861031860179}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 65163526859124773059277931959630132664}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 65223241430607677133078754755467726110}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 65463021731332208844001812694828142415}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 16612133969897923885169335858668000522}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 4412522141144960455253150501562866129}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 1447852268844670754004670824367475281}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 1336178313600332746325054033309650297}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 1336179567740164235832207589241494332}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 1336184584318548062588299166597553331}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 1336204650937013916505800296749323942}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 1336284922290063524835485477219159882}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 1336606085788281998793175364026438680}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 1337891990377288511867014891849242510}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 1343055696645403595913858759148819767}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 1364037023824566172172129660982518308}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 1453534209144520283078859840240654469}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 1930351405154232225472089767795511781}, {"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": 1336165545922626443133866700162486711}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1336165545922626443133866700162486711}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1336165545922626433554982245976669393}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1336165545922626433554978157108690466}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 1336165545922626433554978157108302859}, {"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": 65158633910830330859420626634857379262}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 65170567692413656794905521167043287422}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 65218346564155305374320409349631310902}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 65410164679570720181107535833063643645}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 66188854853012639036285076139616811564}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 69498287496047452403891996232994416832}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 86872793091390704389918380814563158280}, {"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": 260624282265915790944878358835518910231}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 260639195875879201721128749462495779532}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 260698865338384579783545311439504002702}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 260937772851585451386330469109055681040}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 261897091869007817564835637540111711156}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 265794324579680764437113437170483741593}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 282406264666424407942185033740133459371}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 92662876598201030492627904483941634763}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 85515492350071065043074462569653823895}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 85515813455190353754417043929012403387}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 85517097895188898785258539630474078785}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 85522235967544367179397518535306253599}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 85542793255966050060530945581609650529}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 85625102471754587830076742570618214893}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 85955625346845346018345432369973936663}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 87298619306299099047776760950828239385}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 93027307297593026631515593396454948788}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 123549912998815788062283863044996567525}, {"parameter": "", "name": "improved_johnson", "value": 1336165545922626433554981455706100967}], "known_codes": [], "upper_bound": 1336165545922626433554978157108302859, "classified": false, "lower_bound": 1329227996094400882725152129005125632, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1329227995784915872903807060280344576}, {"parameter": "", "name": "sphere_covering", "value": 13459255640154730438103124}, {"parameter": "", "name": "graham_sloane", "value": 321493840361741278725}, {"parameter": "", "name": "multicomponent", "value": 1329227995784915872921821458789826561}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1329227995786668238212341635171276352}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1329227996094400882725152129005125632}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 324518553767842986423212886251071}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1329227995785025289163448216657647168}, {"parameter": "(10,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 1329227995785025289164573017052862016}, {"parameter": "(10,),(5,),(2,)", "name": "CKMP2019_Cor_45", "value": 1329227995785025289163448216657647168}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1329227995785025289163447121440986688}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1329227995785025289163451515192530496}, {"parameter": "(10,),(4,),(1,)", "name": "CKMP2019_Cor_45", "value": 1329227995785025289163447134325888576}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 324518555410792035317748091377216}, {"parameter": "(9,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 324518555410792035322128958019136}, {"parameter": "(9,),(5,),(2,)", "name": "CKMP2019_Cor_45", "value": 324518555410792035317735206475328}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 324518555410792035318830423135808}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 324518555410792036443630818350656}, {"parameter": "(9,),(4,),(1,)", "name": "CKMP2019_Cor_45", "value": 324518555410792035318830423135808}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1329227995785025289163447117146019392}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 324518555410792035317730911508032}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1329227995785025289163447117146019392}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 324518555410792035317730911508032}, {"parameter": "9", "name": "linkage_GLT", "value": 1329227995784915872903807060280344577}, {"parameter": "10", "name": "linkage_GLT", "value": 324518553658426726783156020576257}, {"parameter": "9", "name": "improved_linkage", "value": 1329227995784915872921821459059573825}, {"parameter": "10", "name": "improved_linkage", "value": 324518553658426726783224741101633}, {"parameter": "11", "name": "improved_linkage", "value": 1237940039285380274899387393}, {"parameter": "12", "name": "improved_linkage", "value": 4722366482869645213697}, {"parameter": "13", "name": "improved_linkage", "value": 4740831241341864247297}, {"parameter": "14", "name": "improved_linkage", "value": 4722438544930449129473}, {"parameter": "15", "name": "improved_linkage", "value": 4722366553582272249857}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1329227995785025289163447117146019392}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1329227995784915872905438012718822940}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1329227995784915872903807060280411404}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1329227995784915872903807060352189713}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1329227995784915872903807129000869953}, {"parameter": "9,5", "name": "generalized_linkage", "value": 1329227995784915872921821459059573825}, {"parameter": "10,0", "name": "generalized_linkage", "value": 324518555410792035317730911508032}, {"parameter": "10,1", "name": "generalized_linkage", "value": 324518553658427144713522667725340}, {"parameter": "10,2", "name": "generalized_linkage", "value": 324518553658426726783156021630629}, {"parameter": "10,3", "name": "generalized_linkage", "value": 324518553658426726783156020577345}, {"parameter": "10,4", "name": "generalized_linkage", "value": 324518553658426726783156020839425}, {"parameter": "10,5", "name": "generalized_linkage", "value": 324518553658426726783224741101633}, {"parameter": "11,1", "name": "generalized_linkage", "value": 1237940040957106524339446300}, {"parameter": "11,2", "name": "generalized_linkage", "value": 1237940039285380274916070657}, {"parameter": "11,3", "name": "generalized_linkage", "value": 1237940039285380274899128593}, {"parameter": "11,4", "name": "generalized_linkage", "value": 1237940039285380274899124225}, {"parameter": "11,5", "name": "generalized_linkage", "value": 1237940039285380274899387393}, {"parameter": "12,2", "name": "generalized_linkage", "value": 4722366482869662160129}, {"parameter": "12,3", "name": "generalized_linkage", "value": 4722366482869645231169}, {"parameter": "12,4", "name": "generalized_linkage", "value": 4722366482869645213697}, {"parameter": "12,5", "name": "generalized_linkage", "value": 4722366482869645213697}, {"parameter": "13,3", "name": "generalized_linkage", "value": 4740831241341864264769}, {"parameter": "13,4", "name": "generalized_linkage", "value": 4740831241341864247297}, {"parameter": "13,5", "name": "generalized_linkage", "value": 4740831241341864247297}, {"parameter": "14,4", "name": "generalized_linkage", "value": 4722438544930449129473}, {"parameter": "14,5", "name": "generalized_linkage", "value": 4722438544930449129473}, {"parameter": "15,5", "name": "generalized_linkage", "value": 4722366553582272249857}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329227995785025289163447117146019392}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915872905438012718822940}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915872903807060280411404}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915872903807060352189713}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915872903807129000869953}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915872921821459059573825}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518555410792035317730911508032}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553658427144713522667725340}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426726783156021630629}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426726783156020577345}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426726783156020839425}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426726783224741101633}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040957106524339446300}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285380274916070657}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285380274899128593}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285380274899124225}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285380274899387393}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869662160129}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869645231169}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869645213697}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869645213697}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4740831241341864264769}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4740831241341864247297}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4740831241341864247297}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4722438544930449129473}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4722438544930449129473}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4722366553582272249857}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 114138644137325020370496}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 114138644137325020370496}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 114138626122995230365248}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 114138626122995230365248}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 114138626122995230365248}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 114138626122995230365248}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 114138626122926582453824}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 114138626122926511150656}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 114138626122926511150656}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1752365326549042119890496}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1752365326548973400675904}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1752365326548973400675904}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 5192296859743753448145125503926272}], "request": [4, 19, 8, 9], "liftedmrdsizebound": 1329227996235968177887620911696183297, "comments": "", "equal_bound_constraints": []}