{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 139107123957467496063575263387073253438062080010654181}, {"parameter": "", "name": "singleton", "value": 448896535558672700374937061}, {"parameter": "4", "name": "ilp_2", "value": 309886829009143909944438429}, {"parameter": "5", "name": "ilp_2", "value": 1304856661584186139345447640118521}, {"parameter": "6", "name": "ilp_2", "value": 5559837962890984557458549832601454887775}, {"parameter": "7", "name": "ilp_2", "value": 24874293610256677773440096592981597977625382999}, {"parameter": "9", "name": "ilp_3", "value": 1591960769016920109217968018071128202218583902801}, {"parameter": "10", "name": "ilp_3", "value": 22773203190285674976295944754611661572399455}, {"parameter": "11", "name": "ilp_3", "value": 342062030565745374978070139315289019191}, {"parameter": "12", "name": "ilp_3", "value": 5199064194758490644568117266506908}, {"parameter": "", "name": "anticode", "value": 309886829009143909944438429}, {"parameter": "", "name": "linear_programming_bound", "value": 309886829009143909944438429}, {"parameter": "", "name": "sphere_packing", "value": 233028156054043898699942642809596}, {"parameter": "1", "name": "ilp_1", "value": 309886607360700442438812557}, {"parameter": "2", "name": "ilp_1", "value": 309886607360700442493704169}, {"parameter": "3", "name": "ilp_1", "value": 309886607360811494391064268}, {"parameter": "13", "name": "ilp_4", "value": 5196523187521877445881511747974666}, {"parameter": "14", "name": "ilp_4", "value": 5196523177637108889435021937859409}, {"parameter": "15", "name": "ilp_4", "value": 5196523177636958096660179457403016}, {"parameter": "16", "name": "ilp_4", "value": 5196523177636958096660179457403016}, {"parameter": "17", "name": "ilp_4", "value": 20299537904959095433670546457920}, {"parameter": "18", "name": "ilp_4", "value": 79331047065677519025100657919}, {"parameter": "", "name": "johnson_1", "value": 309886607360700442438812557}, {"parameter": "", "name": "johnson_2", "value": 79331047065677519025100657919}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 139107123957467496063575263387073253438062080010654181}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1591960769016920109217968018071128202218583902801}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 22773203190285674976295944754611661572399455}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 342062030565745374978070139315289019191}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 5199064194758490644568117266506908}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 5196523187521877445881511747974666}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 5196523177637108889435021937859409}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 5196523177636958096660179457403016}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 5196523177636958096660179457403016}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 20299537904959095433670546457920}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 79331047065677519025100657919}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 24874293610256677773440096592981597977625382999}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1138672376192466547352945425929868872823087}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 65155651148299424986785952513077832917}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 3914663010079668288139942500755889}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 3907508962486587083118777781401790}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 3907687797114685013457259977928646}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 3908403458077643801540655340780719}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 3911268725209580589296876515668694}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 61405310888672922155280203701406}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 970864815203712511075699579754}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 15928228971197309097620692500}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 311095089443635962118015611}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 5559837962890984557458549832601454887775}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1018099103714400908039821524083854839}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 233028156054043898699942642809596}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 233028989278244987624219866392010}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 233032270951929516492054990657066}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 233045603524825053793808872906493}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 233098946683393111065758760563531}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 14578531365999729975244440725541}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 914562418108945625862007580423}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 58016689971652621572037329250}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 3852611559209486961785717129}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 316015549642473050685665102}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 1304856661584186139345447640118521}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 955939170403668802542575372370}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 953139290545773780119579479223}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 953140943886410714723421415412}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 953155248297517543826913553245}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 953212476813311830353597271525}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 239017484476849088070798875537}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 59798137144747536710266022973}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 15009778188782073982546695755}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 3810978183168866052412981883}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 1015229716053641139942781987}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 337001283667012899415009619}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 309886829009143909944438429}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 309886902387515520099391490}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 309887195901280632289584707}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 309888369960799843117584015}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 309893066270217963754057468}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 309911852649420279637252718}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 309987016435149310236437393}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 310287964165374298406696155}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 311496454768289365651223783}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 316406800838559435049279953}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 337351454305609450181866748}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 448896535558672700374937061}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 139107123957467496063575263387073253438062080010654181}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 24874293610256677773440096592981597977625382999}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 5559837962890984557458549832601454887775}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1304856661584186139345447640118521}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 309886829009143909944438429}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 309886607360811494391064268}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 309886607360700442493704169}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 309886607360700442438812557}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1591960769016920109217968018071128202218583902801}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1138672376192466547352945425929868872823087}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1018099103714400908039821524083854839}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 955939170403668802542575372370}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 956630864021950330402308607774}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 959444482189907440947778430892}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 970866432011948028153047268369}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 1019409716577064410324886262245}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 1274261902676041511127836858759}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 22773203190285674976295944754611661572399455}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 65155651148299424986785952513077832917}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 233028156054043898699942642809596}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 233081504838193100564503777056569}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 233295105312179958009910304586012}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 234152805439910315399640033185092}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 237637212030537329842082877598157}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 252489491917294598594810705441202}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 331392142102236183752954968942828}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 342062030565745374978070139315289019191}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 3914663010079668288139942500755889}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 3914898220498850242699132362444966}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 3915839288464551234864001409967671}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 3919607235808964730416986764168572}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 3934737898567807165032760305705776}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 3996217460851320216320357453273319}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 4258465982768526713652561199124094}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 5655752479648008142526419715368555}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 5199064194758490644568117266506908}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 5199143213882293508998032685754788}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 5199459309650574623158120939307393}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 5200724001168094619162085124348541}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 5205787707171198651235882722739472}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 5226121879974761572674402279397950}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 5308748297806962426595769915154871}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 5661264881784218308207442898178248}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 7540859480106603961931048583270885}, {"parameter": "", "name": "improved_johnson", "value": 309886607360700442438812545}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 317325323106770364914890694025}], "known_codes": [], "upper_bound": 309886607360700442438812545, "classified": false, "lower_bound": 309485009821345073019748353, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 309485009821345068724781056}, {"parameter": "", "name": "sphere_covering", "value": 49809115308761021}, {"parameter": "", "name": "graham_sloane", "value": 73098975}, {"parameter": "", "name": "multicomponent", "value": 309485009821345073019748353}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 309485009821345068724781057}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 309485009821345068724781057}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1208925819614629174706177}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 4722366482869645213697}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 18446744073709551617}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 309485009821345068724781057}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1208925819614629174706177}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 4722366482869645213697}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 18446744073709551617}, {"parameter": "8", "name": "linkage_GLT", "value": 309485009821345068724781057}, {"parameter": "9", "name": "linkage_GLT", "value": 1208925819614629174706177}, {"parameter": "10", "name": "linkage_GLT", "value": 4722366482869645213697}, {"parameter": "11", "name": "linkage_GLT", "value": 18446744073709551617}, {"parameter": "8", "name": "improved_linkage", "value": 309485009821345073019748353}, {"parameter": "9", "name": "improved_linkage", "value": 1208925819614629174771713}, {"parameter": "10", "name": "improved_linkage", "value": 4722366482869645213697}, {"parameter": "11", "name": "improved_linkage", "value": 18446744073709551617}, {"parameter": "12", "name": "improved_linkage", "value": 281474976710657}, {"parameter": "13", "name": "improved_linkage", "value": 281479271677953}, {"parameter": "14", "name": "improved_linkage", "value": 281474976776193}, {"parameter": "8,0", "name": "generalized_linkage", "value": 309485009821345068724782081}, {"parameter": "8,1", "name": "generalized_linkage", "value": 309485009821345068724781057}, {"parameter": "8,2", "name": "generalized_linkage", "value": 309485009821345068724846593}, {"parameter": "8,3", "name": "generalized_linkage", "value": 309485009821345073019748353}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1208925819614629174710337}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1208925819614629174706177}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1208925819614629174706177}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1208925819614629174771713}, {"parameter": "10,0", "name": "generalized_linkage", "value": 4722366482869645230337}, {"parameter": "10,1", "name": "generalized_linkage", "value": 4722366482869645213697}, {"parameter": "10,2", "name": "generalized_linkage", "value": 4722366482869645213697}, {"parameter": "10,3", "name": "generalized_linkage", "value": 4722366482869645213697}, {"parameter": "11,0", "name": "generalized_linkage", "value": 18446744073709618177}, {"parameter": "11,1", "name": "generalized_linkage", "value": 18446744073709551617}, {"parameter": "11,2", "name": "generalized_linkage", "value": 18446744073709551617}, {"parameter": "11,3", "name": "generalized_linkage", "value": 18446744073709551617}, {"parameter": "12,1", "name": "generalized_linkage", "value": 281474976710657}, {"parameter": "12,2", "name": "generalized_linkage", "value": 281474976710657}, {"parameter": "12,3", "name": "generalized_linkage", "value": 281474976710657}, {"parameter": "13,2", "name": "generalized_linkage", "value": 281479271677953}, {"parameter": "13,3", "name": "generalized_linkage", "value": 281479271677953}, {"parameter": "14,3", "name": "generalized_linkage", "value": 281474976776193}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 309485009821345068724782081}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 309485009821345068724781057}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 309485009821345068724846593}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 309485009821345073019748353}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1208925819614629174710337}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925819614629174706177}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925819614629174706177}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1208925819614629174771713}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869645230337}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869645213697}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869645213697}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869645213697}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18446744073709618177}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18446744073709551617}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18446744073709551617}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 18446744073709551617}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 281474976710657}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 281474976710657}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 281474976710657}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 281479271677953}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 281479271677953}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 281474976776193}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 281479271678977}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 281479271678977}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 281474976777217}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 281474976777217}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4295036993}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 18889465949070768211976}], "request": [4, 19, 10, 8], "liftedmrdsizebound": 309485009821651563620661841, "comments": "", "equal_bound_constraints": []}