{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 279259670231478779655842545905397190474970347732964572361530582614904633406}, {"parameter": "", "name": "singleton", "value": 18266877872505055585959373506477770853}, {"parameter": "4", "name": "ilp_2", "value": 15287761388705342430378454086700610892}, {"parameter": "5", "name": "ilp_2", "value": 30241494809247892622204038955983363679711619332}, {"parameter": "6", "name": "ilp_2", "value": 59972162389020313865495823553110335469067634322181748324}, {"parameter": "7", "name": "ilp_2", "value": 121055072203752312713737727762225983061013435686659795208149679582}, {"parameter": "9", "name": "ilp_3", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "10", "name": "ilp_3", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "11", "name": "ilp_3", "value": 1220353431701249690568977749408382344975958668427206050}, {"parameter": "12", "name": "ilp_3", "value": 211602302138705658630184813922517092770266395760}, {"parameter": "", "name": "anticode", "value": 15287761388705342430378454086700610892}, {"parameter": "", "name": "linear_programming_bound", "value": 15287761388705342430378454086700610892}, {"parameter": "", "name": "sphere_packing", "value": 3638079626611341126949638191699521526630810361}, {"parameter": "1", "name": "ilp_1", "value": 15287761342316161304399543342185561134}, {"parameter": "2", "name": "ilp_1", "value": 15287761342316161304399543385875418264}, {"parameter": "3", "name": "ilp_1", "value": 15287761342316161351955739053910977708}, {"parameter": "13", "name": "ilp_4", "value": 211596025053585427730863620983278083931426410271}, {"parameter": "14", "name": "ilp_4", "value": 211596025053476617801243306838855558220930275482}, {"parameter": "15", "name": "ilp_4", "value": 211596025053476617782368586835303721564188330490}, {"parameter": "16", "name": "ilp_4", "value": 211596025053476617782368586835303721564188330490}, {"parameter": "17", "name": "ilp_4", "value": 88128379855366888829396438702175389892095072}, {"parameter": "18", "name": "ilp_4", "value": 36705915112837190480532152410334806314830}, {"parameter": "", "name": "johnson_1", "value": 15287761342316161304399543342185561134}, {"parameter": "", "name": "johnson_2", "value": 36705915112837190480532152410334806314830}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 279259670231478779655842545905397190474970347732964572361530582614904633406}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1220353431701249690568977749408382344975958668427206050}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 211602302138705658630184813922517092770266395760}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 211596025053585427730863620983278083931426410271}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 211596025053476617801243306838855558220930275482}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 211596025053476617782368586835303721564188330490}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 211596025053476617782368586835303721564188330490}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 88128379855366888829396438702175389892095072}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 36705915112837190480532152410334806314830}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 121055072203752312713737727762225983061013435686659795208149679582}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 125994038568097314959943997826068420660792210195409100508392}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 149867991217930664506524991731234113196816268264199103}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 181449009950865549304230592433403936475804718660}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 181412666676531701398377029778462078121726995332}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 181412855487599467673588086209292552824228968990}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 181414177197882960535903318187633850198678346046}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 181423429709147860478774902117765060467006284946}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 529226174143544370122661976225233916372031328}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1546800181204863179050786753591636428907180}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 4590150617095028769702977362324463829268}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 15294127359456932061378495924271340673}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 59972162389020313865495823553110335469067634322181748324}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 436933361640798208376145726014825564358942996652003}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 3638079626611341126949638191699521526630810361}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 3638079714925806479703645759935134695756958006}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 3638080331330076020823103754754150523684487283}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 3638084658744848635074875180085382748687157937}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 3638114950905090200414472515724839674063993946}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 74250942352295273519923713527854739569384060}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 1515948307205881107616932207218777281669436}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 31026463725037083533932323671603951250851}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 646115333855315237489692434670263910042}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 15338829498456941323191016876916934947}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 30241494809247892622204038955983363679711619332}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 1542303897618148556442591719972241550269923}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 1541753308984744518638558198339553573438805}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 1541753319570716681463381100963752425230165}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 1541753586218406982328648923483982012692824}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 1541755452765927485102739299833019409211010}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 220329701287444524776062050971755694122553}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 31477276845529965749629382392780008776658}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 4498654031181980590213830274997635674274}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 644538314687753174029285510589816141029}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 93989492098248569080414268081448067506}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 15658255495168494582615252181951216799}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 15287761388705342430378454086700610892}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 15287761396430893359502850684070506906}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 15287761450509750054731900436933664956}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 15287761829061756297890885961262359939}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 15287764478926259451309675925518356085}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 15287783028000294666555293277506198030}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 15287912872621694470361610692553309830}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 15288821839029219680449067050854116994}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 15295187253813712008854620202355487301}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 15339875383472263047180670079701395193}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 15659206255305774594520272658287798000}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 18266877872505055585959373506477770853}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 279259670231478779655842545905397190474970347732964572361530582614904633406}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 121055072203752312713737727762225983061013435686659795208149679582}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 59972162389020313865495823553110335469067634322181748324}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 30241494809247892622204038955983363679711619332}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 15287761388705342430378454086700610892}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 15287761342316161351955739053910977708}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 15287761342316161304399543385875418264}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 15287761342316161304399543342185561134}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 125994038568097314959943997826068420660792210195409100508392}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 436933361640798208376145726014825564358942996652003}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1542303897618148556442591719972241550269923}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1542382411024878162324355702654581232640549}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1542933261884286277757343704320910338026757}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1546800262528869536440263634805259561698455}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 1574421695702753029201388399371231188527128}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 1799339080006908842271302774551427825187405}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 149867991217930664506524991731234113196816268264199103}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 3638079626611341126949638191699521526630810361}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 3638109918949739738821775522122271377924666412}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 3638321977899046078015172981560829278255278333}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 3639807007246222420144826789500783776489336819}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 3650232519397114114732311510408130200500312650}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 3724727058989963155145465701839132085137481996}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 4332845747159677930584464684965896560411144062}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 1220353431701249690568977749408382344975958668427206050}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 181449009950865549304230592433403936475804718660}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 181449229636051235905642407907994831101801106260}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 181450767445384668622846540212696133180471546567}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 181461532751201596834845134723381824611058169965}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 181536921277646110154075467399918030935373860633}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 182066183359849457641920583181895106213937896077}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 185848169829174545464232768962252831968309491309}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 216732554100808010252712561606396923221318982560}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 211602302138705658630184813922517092770266395760}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 211602338829302225757945530356936832567526258424}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 211602595663790042036127721536421219204382192726}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 211604393520485358674124161548698647849052575059}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 211616979266146659066010394518771503330935500582}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 211705116191973605036227109530930011894501753461}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 212323878535480623600439802985017860259238425707}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 216745445638507610618508706948186417924206445563}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 252854596323205247053675081227392663237129990403}, {"parameter": "", "name": "improved_johnson", "value": 15287761342316161304399543342185561109}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 256941412027164222163243798023809710373505}], "known_codes": [], "upper_bound": 15287761342316161304399543342185561109, "classified": false, "lower_bound": 15286700631942576193765219002207396003, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 15286700631942576193765185769276826401}, {"parameter": "", "name": "sphere_covering", "value": 384994844244965944527160}, {"parameter": "", "name": "graham_sloane", "value": 99244952942}, {"parameter": "", "name": "multicomponent", "value": 15286700631942576193765219002207396003}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 15286700631942576193765185769276826402}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 15286700631942576193765185769276826402}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 6366805760909027985741435139224002}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 2651730845859653471779023381602}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 1104427674243920646305299202}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 15286700631942576193765185769276826402}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 6366805760909027985741435139224002}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 2651730845859653471779023381602}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 1104427674243920646305299202}, {"parameter": "8", "name": "linkage_GLT", "value": 15286700631942576193765185769276826402}, {"parameter": "9", "name": "linkage_GLT", "value": 6366805760909027985741435139224002}, {"parameter": "10", "name": "linkage_GLT", "value": 2651730845859653471779023381602}, {"parameter": "11", "name": "linkage_GLT", "value": 1104427674243920646305299202}, {"parameter": "8", "name": "improved_linkage", "value": 15286700631942576193765219002207396003}, {"parameter": "9", "name": "improved_linkage", "value": 6366805760909027985741435144988803}, {"parameter": "10", "name": "improved_linkage", "value": 2651730845859653471779023381602}, {"parameter": "11", "name": "improved_linkage", "value": 1104427674243920646305299202}, {"parameter": "12", "name": "improved_linkage", "value": 191581231380566414402}, {"parameter": "13", "name": "improved_linkage", "value": 191581264613496984003}, {"parameter": "14", "name": "improved_linkage", "value": 191581231380572179203}, {"parameter": "8,0", "name": "generalized_linkage", "value": 15286700631942576193765185769276843209}, {"parameter": "8,1", "name": "generalized_linkage", "value": 15286700631942576193765185769276826402}, {"parameter": "8,2", "name": "generalized_linkage", "value": 15286700631942576193765185769282591203}, {"parameter": "8,3", "name": "generalized_linkage", "value": 15286700631942576193765219002207396003}, {"parameter": "9,0", "name": "generalized_linkage", "value": 6366805760909027985741435139341994}, {"parameter": "9,1", "name": "generalized_linkage", "value": 6366805760909027985741435139224002}, {"parameter": "9,2", "name": "generalized_linkage", "value": 6366805760909027985741435139224002}, {"parameter": "9,3", "name": "generalized_linkage", "value": 6366805760909027985741435144988803}, {"parameter": "10,0", "name": "generalized_linkage", "value": 2651730845859653471779024207546}, {"parameter": "10,1", "name": "generalized_linkage", "value": 2651730845859653471779023381602}, {"parameter": "10,2", "name": "generalized_linkage", "value": 2651730845859653471779023381602}, {"parameter": "10,3", "name": "generalized_linkage", "value": 2651730845859653471779023381602}, {"parameter": "11,0", "name": "generalized_linkage", "value": 1104427674243920646311080810}, {"parameter": "11,1", "name": "generalized_linkage", "value": 1104427674243920646305299202}, {"parameter": "11,2", "name": "generalized_linkage", "value": 1104427674243920646305299202}, {"parameter": "11,3", "name": "generalized_linkage", "value": 1104427674243920646305299202}, {"parameter": "12,1", "name": "generalized_linkage", "value": 191581231380566414402}, {"parameter": "12,2", "name": "generalized_linkage", "value": 191581231380566414402}, {"parameter": "12,3", "name": "generalized_linkage", "value": 191581231380566414402}, {"parameter": "13,2", "name": "generalized_linkage", "value": 191581264613496984003}, {"parameter": "13,3", "name": "generalized_linkage", "value": 191581264613496984003}, {"parameter": "14,3", "name": "generalized_linkage", "value": 191581231380572179203}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 15286700631942576193765185769276843209}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 15286700631942576193765185769276826402}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 15286700631942576193765185769282591203}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 15286700631942576193765219002207396003}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366805760909027985741435139341994}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805760909027985741435139224002}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805760909027985741435139224002}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805760909027985741435144988803}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653471779024207546}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653471779023381602}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653471779023381602}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653471779023381602}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1104427674243920646311080810}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1104427674243920646305299202}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104427674243920646305299202}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1104427674243920646305299202}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 191581231380566414402}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581231380566414402}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 191581231380566414402}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581264613496984003}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 191581264613496984003}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 191581231380572179203}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581264613497000810}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 191581264613497000810}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 191581231380572196010}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 191581231380572196010}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 33232936452395}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 18562115921021484123502069521740}], "request": [7, 19, 10, 8], "liftedmrdsizebound": 15286700631942576390002905311007642603, "comments": "", "equal_bound_constraints": []}