{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 278507089702354054782976088295474189687551961134806}, {"parameter": "", "name": "singleton", "value": 4967053120931}, {"parameter": "2", "name": "ilp_2", "value": 3814755860120}, {"parameter": "3", "name": "ilp_2", "value": 7451171914055248761}, {"parameter": "4", "name": "ilp_2", "value": 14557728615411714472678721}, {"parameter": "5", "name": "ilp_2", "value": 28478629485861016671466230230237}, {"parameter": "6", "name": "ilp_2", "value": 56070890107604095060049745510788472626}, {"parameter": "7", "name": "ilp_2", "value": 114076515623519420687495684165384286631372234}, {"parameter": "9", "name": "ilp_3", "value": 570382811746420718362942830655860436280649792}, {"parameter": "10", "name": "ilp_3", "value": 1401772941689552786458973634018742731722}, {"parameter": "11", "name": "ilp_3", "value": 3559830493784781604980619993066375}, {"parameter": "12", "name": "ilp_3", "value": 9098585035654302749336410624}, {"parameter": "13", "name": "ilp_3", "value": 23284924149488816896750}, {"parameter": "14", "name": "ilp_3", "value": 59605590830484499}, {"parameter": "", "name": "anticode", "value": 3814755860120}, {"parameter": "", "name": "linear_programming_bound", "value": 3814755860120}, {"parameter": "", "name": "sphere_packing", "value": 711022289271017297837}, {"parameter": "1", "name": "ilp_1", "value": 3814708984400}, {"parameter": "15", "name": "ilp_4", "value": 59604980469234374}, {"parameter": "16", "name": "ilp_4", "value": 59604980469234374}, {"parameter": "", "name": "johnson_1", "value": 3814708984400}, {"parameter": "", "name": "johnson_2", "value": 59604980469234374}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 278507089702354054782976088295474189687551961134806}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 570382811746420718362942830655860436280649792}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1401772941689552786458973634018742731722}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 3559830493784781604980619993066375}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 9098585035654302749336410624}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 23284924149488816896750}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 59605590830484499}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 59604980469234374}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 59604980469234374}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 114076515623519420687495684165384286631372234}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1168146988908061669748438592959972920323}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 14354226946222213275307909393745363}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 182266117126915706995354639398}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 2329392802066053079911182}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 29814319671794816343}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 29851014316325911214}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 30043599517461985096}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 9934388057033496}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 3814865236486}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 56070890107604095060049745510788472626}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 2870867731614920988604663810186238}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 176386998446563949678823010268}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 11198601092423776959338475}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 715607771239841380397}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 715644413167320719411}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 716745348095925392187}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1155685283745691538}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 1923189257969260}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 3815584040989}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 28478629485861016671466230230237}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 7290999474289586059102145216}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 2239829394880642494355821}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 711022289271017297837}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 710157255218652268088}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 710382701944323346797}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 5693914796290128541}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 45921510797895170}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 382841379010617}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 3822025781991}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 14557728615411714472678721}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 18639866898231161904600}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 28632741135272263075}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 28449852356320267874}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 28451668022002957445}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 1140976560844036397}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 45886830452657004}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 1850115199886727}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 77080431385843}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 3851623532001}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 7451171914055248761}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 47763946816596754}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 46235128824653491}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 46235716659952542}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 9541309973032291}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 1905936662870292}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 382263968411358}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 77060427277534}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 16050519353302}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 4005680190876}, {"parameter": "6, 2", "name": "Ahlswede_Aydinian", "value": 3814755860120}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 3814757750149}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 3814767200323}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 3814814451770}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 3815050723565}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 3816232446529}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 3822150175202}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 3851968429117}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 4007029310569}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 4967053120931}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 278507089702354054782976088295474189687551961134806}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 114076515623519420687495684165384286631372234}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 56070890107604095060049745510788472626}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 28478629485861016671466230230237}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 14557728615411714472678721}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 7451171914055248761}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 3814755860120}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 3814708984400}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 570382811746420718362942830655860436280649792}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 1168146988908061669748438592959972920323}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 2870867731614920988604663810186238}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 7290999474289586059102145216}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 18639866898231161904600}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 47763946816596754}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 48069639352938239}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 49671957239907071}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 59606323255859400}, {"parameter": "2, 7, o", "name": "Ahlswede_Aydinian", "value": 1401772941689552786458973634018742731722}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 14354226946222213275307909393745363}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 176386998446563949678823010268}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 2239829394880642494355821}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 28632741135272263075}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 28670183216887512582}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 28892143546285649694}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 30047816881272132789}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 59618836473840788}, {"parameter": "3, 6, o", "name": "Ahlswede_Aydinian", "value": 3559830493784781604980619993066375}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 182266117126915706995354639398}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 11198601092423776959338475}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 711022289271017297837}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 710610050229111355412}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 711739639218155119385}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 717433261996711895354}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 5977449479568314413}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 59723097178981911}, {"parameter": "4, 5, o", "name": "Ahlswede_Aydinian", "value": 9098585035654302749336410624}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 2329392802066053079911182}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 715607771239841380397}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 712883386716612545509}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 713110642355530866625}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 714251326713749722129}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 28910182946944515425}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 1204424481876478287}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 60199016570769013}, {"parameter": "5, 4, o", "name": "Ahlswede_Aydinian", "value": 23284924149488816896750}, {"parameter": "5, 5, o", "name": "Ahlswede_Aydinian", "value": 29814319671794816343}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 29814700689359131469}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 29816605898925259081}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 29826134991342427018}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 5965593971730242211}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 1204205407265957761}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 250844015530029095}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 62689177437692526}, {"parameter": "6, 3, o", "name": "Ahlswede_Aydinian", "value": 59605590830484499}, {"parameter": "6, 4, o", "name": "Ahlswede_Aydinian", "value": 59605742433336432}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 59606500457226535}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 59610290817453190}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 59629248639901677}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 59724188524368171}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 60202687409612655}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 62694093838248937}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 78236053707784181}, {"parameter": "", "name": "improved_johnson", "value": 3814708984376}], "known_codes": [], "upper_bound": 3814708984376, "classified": false, "lower_bound": 3814697265626, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 3814697265625}, {"parameter": "", "name": "sphere_covering", "value": 12024}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 3814697265626}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (9, 10, 11, 12, 13, 14, 15, 16)]", "name": "ef_computation", "value": 3814697265626}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 3814697265625}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 3814697265626}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 152587890626}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 3814697265626}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 152587890626}, {"parameter": "", "name": "construction_1", "value": 3814697265626}, {"parameter": "8", "name": "linkage_GLT", "value": 3814697265626}, {"parameter": "9", "name": "linkage_GLT", "value": 152587890626}, {"parameter": "8", "name": "improved_linkage", "value": 3814697265626}, {"parameter": "9", "name": "improved_linkage", "value": 152587890626}, {"parameter": "10", "name": "improved_linkage", "value": 390626}, {"parameter": "8,0", "name": "generalized_linkage", "value": 3814697265626}, {"parameter": "8,1", "name": "generalized_linkage", "value": 3814697265626}, {"parameter": "9,0", "name": "generalized_linkage", "value": 152587890626}, {"parameter": "9,1", "name": "generalized_linkage", "value": 152587890626}, {"parameter": "10,1", "name": "generalized_linkage", "value": 390626}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3814697265626}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3814697265626}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 152587890626}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 152587890626}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 390626}, {"parameter": "", "name": "JohnsonLB", "value": 3814695312501}, {"parameter": "", "name": "JohnsonLB_special", "value": 3814695312501}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 48828130}], "request": [5, 17, 14, 8], "liftedmrdsizebound": 3814697265626, "comments": "", "equal_bound_constraints": []}