{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 870332534209370628368397575515105530919233947896291056}, {"parameter": "", "name": "singleton", "value": 152804888634672088643556}, {"parameter": "3", "name": "ilp_2", "value": 116461530803878411105655}, {"parameter": "4", "name": "ilp_2", "value": 5695711321711525533836291519251}, {"parameter": "5", "name": "ilp_2", "value": 280353734208548278360038273757809566376}, {"parameter": "6", "name": "ilp_2", "value": 14259528298893356287455013230655223211344523276}, {"parameter": "8", "name": "ilp_3", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "9", "name": "ilp_3", "value": 109513513312304355768254719250504246386128876}, {"parameter": "10", "name": "ilp_3", "value": 1390558929027550120224123434105442371309}, {"parameter": "11", "name": "ilp_3", "value": 17770676008629601969140838236623549}, {"parameter": "", "name": "anticode", "value": 116461530803878411105655}, {"parameter": "", "name": "linear_programming_bound", "value": 116461530803878411105655}, {"parameter": "", "name": "sphere_packing", "value": 22049610782367013168770711461818}, {"parameter": "1", "name": "ilp_1", "value": 116461521263349405246012}, {"parameter": "2", "name": "ilp_1", "value": 116461521263349807589411}, {"parameter": "12", "name": "ilp_4", "value": 17766581208128307817912749350458339}, {"parameter": "13", "name": "ilp_4", "value": 17766581155731633661277559005235300}, {"parameter": "14", "name": "ilp_4", "value": 17766581155731633661277559005235300}, {"parameter": "15", "name": "ilp_4", "value": 28428494608012844411934719244290}, {"parameter": "16", "name": "ilp_4", "value": 45485894083069424363332401326}, {"parameter": "17", "name": "ilp_4", "value": 72788458240735963594394374}, {"parameter": "", "name": "johnson_1", "value": 116461521263349405246012}, {"parameter": "", "name": "johnson_2", "value": 72788458240735963594394374}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 870332534209370628368397575515105530919233947896291056}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 109513513312304355768254719250504246386128876}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1390558929027550120224123434105442371309}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 17770676008629601969140838236623549}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 17766581208128307817912749350458339}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 17766581155731633661277559005235300}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 17766581155731633661277559005235300}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 28428494608012844411934719244290}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 45485894083069424363332401326}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 72788458240735963594394374}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 14259528298893356287455013230655223211344523276}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 730097206108725145069772253321837589717901}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 44857290852496442894603174296177338675}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 2847902306209856184657898679941949}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 2845353496218518532246467258937905}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 2845382468282247796343713987142841}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 2845528153728920182765776911876604}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 22772968445578706388819609154533}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 182554950038597360282793207887}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1469857548224521537197821518}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 12150807705089590647143016}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 116646533577175306106986}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 280353734208548278360038273757809566376}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 71775150977756254955337004185721795}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 22049610782367013168770711461818}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 21964273487544387674472625238047}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 21964311541504917610634941765855}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 21964581373319789314238790142797}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 881997835856400117201411226478}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 35288512239957554533877762096}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1413736667684136567351218331}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 56988892591277280669394113}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 2370712254303810366190837}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 117579819023605461650388}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 5695711321711525533836291519251}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 7292844349908255868988228806}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 7292845089772750731325720180}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 7292848789097113272787513872}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 7292867285766131845075463312}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 1456351528139438543916630010}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 291647266177503515089826498}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 58344366632041237688905494}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 11687974541253956438561473}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 2356265702229410962264666}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 490706389277040140725455}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 122439805078347010806401}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 116461530803878411105655}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 116461533169929552908782}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 116461545000186463959118}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 116461604151501070093606}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 116461899908825374744385}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 116463378714228985970180}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 116470773210829057469597}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 116507757437107991855473}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 116692972617232037514490}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 117626458548455343517558}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 122486794288124575609673}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 152804888634672088643556}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 870332534209370628368397575515105530919233947896291056}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 14259528298893356287455013230655223211344523276}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 280353734208548278360038273757809566376}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 5695711321711525533836291519251}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 116461530803878411105655}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 116461521263349807589411}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 116461521263349405246012}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 730097206108725145069772253321837589717901}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 71775150977756254955337004185721795}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 7292844349908255868988228806}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 7302183669200245568039186996}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 7349294527691747109048463282}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 7594270991043531848529437430}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 9113125033721966480137956541}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 109513513312304355768254719250504246386128876}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 44857290852496442894603174296177338675}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 22049610782367013168770711461818}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 22056386588281742502134652297232}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 22090319476800531395538764732174}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 22261341234302196178198894324333}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 23151794501297199660020217198569}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 28708222241893843219523697810711}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 1390558929027550120224123434105442371309}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 2847902306209856184657898679941949}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 2848083125033556051348178993622313}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 2848987508019357669186108969447844}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 2853516658354071242478212884462927}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 2876344744419445848337331146598541}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 2995233404929393203288007055265538}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 3738049311678806055783484913629504}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 17770676008629601969140838236623549}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 17770903109920417356424981238094151}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 17772038689027439869845279186948193}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 17777718401467556996340844863515406}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 17806162459080354803512264832897082}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 17949529304209133951538214024342853}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 18696221694745407025077367476989917}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 23362736428829868448189697999416056}, {"parameter": "", "name": "improved_johnson", "value": 116461521263349405245996}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 1819716077223866163700425087}], "known_codes": [], "upper_bound": 116461521263349405245996, "classified": false, "lower_bound": 116415321827087402362626, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 116415321826934814453125}, {"parameter": "", "name": "sphere_covering", "value": 363570855483175}, {"parameter": "", "name": "graham_sloane", "value": 16441}, {"parameter": "", "name": "multicomponent", "value": 116415321826940917968751}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6), (3, 4, 7, 8, 9, 10, 11), (0, 2, 8, 9, 12, 13, 14), (1, 5, 7, 10, 12, 13, 15), (0, 6, 7, 11, 12, 16, 17), (3, 5, 9, 14, 15, 16, 17)]", "name": "ef_computation", "value": 116415321827087402362626}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 116415321826934814453126}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 116415321826934814453126}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 931322574615478515626}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 7450580596923828126}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 59604644775390626}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 476837158203126}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 116415321826934814453126}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 931322574615478515626}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 7450580596923828126}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 59604644775390626}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 476837158203126}, {"parameter": "7", "name": "linkage_GLT", "value": 116415321826934814453126}, {"parameter": "8", "name": "linkage_GLT", "value": 931322574615478515626}, {"parameter": "9", "name": "linkage_GLT", "value": 7450580596923828126}, {"parameter": "10", "name": "linkage_GLT", "value": 59604644775390626}, {"parameter": "11", "name": "linkage_GLT", "value": 476837158203126}, {"parameter": "7", "name": "improved_linkage", "value": 116415321826940917968751}, {"parameter": "8", "name": "improved_linkage", "value": 931322574615478593751}, {"parameter": "9", "name": "improved_linkage", "value": 7450580596923828126}, {"parameter": "10", "name": "improved_linkage", "value": 59604644775390626}, {"parameter": "11", "name": "improved_linkage", "value": 476837158203126}, {"parameter": "12", "name": "improved_linkage", "value": 476843261718751}, {"parameter": "13", "name": "improved_linkage", "value": 476837158281251}, {"parameter": "7,0", "name": "generalized_linkage", "value": 116415321826934814453126}, {"parameter": "7,1", "name": "generalized_linkage", "value": 116415321826934814531251}, {"parameter": "7,2", "name": "generalized_linkage", "value": 116415321826940917968751}, {"parameter": "8,0", "name": "generalized_linkage", "value": 931322574615478515626}, {"parameter": "8,1", "name": "generalized_linkage", "value": 931322574615478515626}, {"parameter": "8,2", "name": "generalized_linkage", "value": 931322574615478593751}, {"parameter": "9,0", "name": "generalized_linkage", "value": 7450580596923828126}, {"parameter": "9,1", "name": "generalized_linkage", "value": 7450580596923828126}, {"parameter": "9,2", "name": "generalized_linkage", "value": 7450580596923828126}, {"parameter": "10,0", "name": "generalized_linkage", "value": 59604644775390626}, {"parameter": "10,1", "name": "generalized_linkage", "value": 59604644775390626}, {"parameter": "10,2", "name": "generalized_linkage", "value": 59604644775390626}, {"parameter": "11,0", "name": "generalized_linkage", "value": 476837158203126}, {"parameter": "11,1", "name": "generalized_linkage", "value": 476837158203126}, {"parameter": "11,2", "name": "generalized_linkage", "value": 476837158203126}, {"parameter": "12,1", "name": "generalized_linkage", "value": 476843261718751}, {"parameter": "12,2", "name": "generalized_linkage", "value": 476843261718751}, {"parameter": "13,2", "name": "generalized_linkage", "value": 476837158281251}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 116415321826934814453126}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 116415321826934814531251}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 116415321826940917968751}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 931322574615478515626}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 931322574615478515626}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322574615478593751}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7450580596923828126}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7450580596923828126}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7450580596923828126}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 59604644775390626}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 59604644775390626}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 59604644775390626}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 476837158203126}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 476837158203126}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 476837158203126}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 476843261718751}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 476843261718751}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 476837158281251}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 476843261718751}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 476843261718751}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 476837158281251}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 476837158281251}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6103593751}, {"parameter": "", "name": "JohnsonLB", "value": 116415023803717041003125}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 298023254394534380}], "request": [5, 18, 10, 7], "liftedmrdsizebound": 116415321830787668472025, "comments": "", "equal_bound_constraints": []}