{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "", "name": "singleton", "value": 35303692060}, {"parameter": "1", "name": "ilp_2", "value": 31381066170}, {"parameter": "2", "name": "ilp_2", "value": 984772961098849372751}, {"parameter": "3", "name": "ilp_2", "value": 30903742351164739711130072415639}, {"parameter": "4", "name": "ilp_2", "value": 969940015036985851168134739798343427612463}, {"parameter": "5", "name": "ilp_2", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "6", "name": "ilp_2", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "8", "name": "ilp_3", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "9", "name": "ilp_3", "value": 1312044956487270438778939812900483628957348583612820368890660}, {"parameter": "10", "name": "ilp_3", "value": 273939716009608417265796010728840040089932078642468753}, {"parameter": "11", "name": "ilp_3", "value": 57265259983920655674490245223754927038853558009}, {"parameter": "12", "name": "ilp_3", "value": 11972540527006805064835830657778944961536}, {"parameter": "13", "name": "ilp_3", "value": 2503156093749359490152665891222629}, {"parameter": "", "name": "anticode", "value": 31381066170}, {"parameter": "", "name": "linear_programming_bound", "value": 31381066170}, {"parameter": "", "name": "sphere_packing", "value": 3010920746231251370979294451465}, {"parameter": "", "name": "DrakeFreeman", "value": 31381062891}, {"parameter": "", "name": "partial_spread_5", "value": 31381066169}, {"parameter": "4", "name": "partial_spread_HKK16_T10", "value": 31381065773}, {"parameter": "5", "name": "partial_spread_HKK16_T10", "value": 31381062978}, {"parameter": "6", "name": "partial_spread_HKK16_T10", "value": 31381062896}, {"parameter": "7", "name": "partial_spread_HKK16_T10", "value": 31381062891}, {"parameter": "", "name": "partial_spread_NS_2_Theorem6", "value": 31381066126}, {"parameter": "", "name": "spread_bound", "value": 31381066170}, {"parameter": "", "name": "XiaFuJohnson1", "value": 31381066170}, {"parameter": "14", "name": "ilp_4", "value": 2503156093749359490152665891222629}, {"parameter": "15", "name": "ilp_4", "value": 4710128820323843275772279960}, {"parameter": "16", "name": "ilp_4", "value": 8862938671519814965091}, {"parameter": "17", "name": "ilp_4", "value": 16677183412500911}, {"parameter": "", "name": "johnson_1", "value": 31381066170}, {"parameter": "", "name": "johnson_2", "value": 16677183412500911}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1312044956487270438778939812900483628957348583612820368890660}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 273939716009608417265796010728840040089932078642468753}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 57265259983920655674490245223754927038853558009}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 11972540527006805064835830657778944961536}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 2503156093749359490152665891222629}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 2503156093749359490152665891222629}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 4710128820323843275772279960}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 8862938671519814965091}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 16677183412500911}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1619808885159214694866254629985172668827445670589158248550}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 3010327171170585354532667338629928723211985628228752}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 5656691510956818443735079134398363710367424817}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 10642440948781116899747054203587708514881}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 20025294804600916121042841060909039}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 20025328298941341627365459744382698}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 339135160144453444595234114739}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 5744064472715070624502268}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 97395035566319604991}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1667720057905850}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 31381090003}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 458822151435540947083027215668209714212639212255}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 7674266715821696389327427636595626819072155}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 129786106429493946683547104133122870807}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 2197604164164507026920931142733754}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 2197604617949808425935262397118960}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 334944594729669696238548209759}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 51051944476454024886245688}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 7782306060447738816237}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 1187755789891770708}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 183269181496282}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 31381591051}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 969940015036985851168134739798343427612463}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 131410380038998472321365129077771101926}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 19781782338797200627320812675649627}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 3010920746231251370979294451465}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 3010920816071257077395771430619}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 4129578339508789199821256733}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 5665014952185289812168044}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 7771137592934482615440}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 10662408281010182073}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 14646134599271953}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 20341474827470}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 31385842953}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 30903742351164739711130072415639}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 37687490673351437161390271583}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 51060141829217283872838564}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 51060141960831646204194423}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 629508731111679842811485}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 7775793874526664994262}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 96062619644412826669}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 1185976095745258363}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 14643919627021867}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 181037294794254}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 2262927383018}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 31424165420}, {"parameter": "5, 2", "name": "Ahlswede_Aydinian", "value": 984772961098849372751}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 10821680891537199174}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 10821680894606669161}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 1187763346998167771}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 133419995467845369}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 14822215450584272}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 1647136293293605}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 183017868887714}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 20338418137124}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 2262894124645}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 254540529716}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 31773322846}, {"parameter": "6, 1", "name": "Ahlswede_Aydinian", "value": 31381066170}, {"parameter": "6, 2", "name": "Ahlswede_Aydinian", "value": 31381066170}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 31381066179}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 31381066251}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 31381066908}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 31381072812}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 31381125957}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 31381604261}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 31385909583}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 31424704850}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 31777741652}, {"parameter": "6, 12", "name": "Ahlswede_Aydinian", "value": 35303692060}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 969940015036985851168134739798343427612463}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 30903742351164739711130072415639}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 984772961098849372751}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 31381066170}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1619808885159214694866254629985172668827445670589158248550}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 458822151435540947083027215668209714212639212255}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 131410380038998472321365129077771101926}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 37687490673351437161390271583}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 10821680891537199174}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 10941911528653646555}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 12157679475933150642}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 1312044956487270438778939812900483628957348583612820368890660}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 3010327171170585354532667338629928723211985628228752}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 7674266715821696389327427636595626819072155}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 19781782338797200627320812675649627}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 51060141829217283872838564}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 51128993278132369707302995}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 51760215415900408738892004}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 58150365450568776659286389}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 273939716009608417265796010728840040089932078642468753}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 5656691510956818443735079134398363710367424817}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 129786106429493946683547104133122870807}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 3010920746231251370979294451465}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 3011379098438164081349394919098}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 3015509933878685580814624902539}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 3053152100989510845820050261079}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 3434272587486155230670929066975}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 57265259983920655674490245223754927038853558009}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 10642440948781116899747054203587708514881}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 2197604164164507026920931142733754}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 2197637699957114291550814772305049}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 2197972654580086513872978763362088}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 2200991387052337342033961405895269}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 2228499580884217672512992658241971}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 2507019512220644997356535677895540}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 11972540527006805064835830657778944961536}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 20025294804600916121042841060909039}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 20025332485095761508229462010014542}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 20025671615292548292647851852635745}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 20028724252331985727748378607368663}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 20056235724191176759132169141256688}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 20306933999923533799668088255829656}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 2538356718865026735354255888194531}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 2503156093749359490152665891222629}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 2503156617088362087125006098161874}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 2503161327148248120069918387654444}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 2503203718405110049560753473748401}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 2503585297874629698462690872339228}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 2507024230349791970720632981156529}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 2538361495967986897804509150612093}, {"parameter": "6, 12, o", "name": "Ahlswede_Aydinian", "value": 2855650645340126913932218722028600}, {"parameter": "", "name": "improved_johnson", "value": 31381066144}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 1350851887750590696}], "known_codes": [], "upper_bound": 31381062891, "classified": false, "lower_bound": 31381059610, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 31381059609}, {"parameter": "", "name": "sphere_covering", "value": 52489}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 31381059610}, {"parameter": "", "name": "multicomponent", "value": 31381059610}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6), (11, 12, 13, 14, 15, 16, 17)]", "name": "ef_computation", "value": 31381059610}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 31381059609}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 31381059610}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 3486784402}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 387420490}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 43046722}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 4782970}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 31381059610}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 3486784402}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 387420490}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 43046722}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 4782970}, {"parameter": "7", "name": "linkage_GLT", "value": 31381059610}, {"parameter": "8", "name": "linkage_GLT", "value": 3486784402}, {"parameter": "9", "name": "linkage_GLT", "value": 387420490}, {"parameter": "10", "name": "linkage_GLT", "value": 43046722}, {"parameter": "11", "name": "linkage_GLT", "value": 4782970}, {"parameter": "7", "name": "improved_linkage", "value": 31381059610}, {"parameter": "8", "name": "improved_linkage", "value": 3486784402}, {"parameter": "9", "name": "improved_linkage", "value": 387420490}, {"parameter": "10", "name": "improved_linkage", "value": 43046722}, {"parameter": "11", "name": "improved_linkage", "value": 4782970}, {"parameter": "7,0", "name": "generalized_linkage", "value": 31381059610}, {"parameter": "8,0", "name": "generalized_linkage", "value": 3486784402}, {"parameter": "9,0", "name": "generalized_linkage", "value": 387420490}, {"parameter": "10,0", "name": "generalized_linkage", "value": 43046722}, {"parameter": "11,0", "name": "generalized_linkage", "value": 4782970}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 31381059610}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3486784402}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 387420490}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 43046722}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4782970}, {"parameter": "", "name": "JohnsonLB", "value": 31381058881}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 9}], "request": [9, 18, 14, 7], "liftedmrdsizebound": 31381059610, "comments": "", "equal_bound_constraints": []}