{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 8403100909706635989964618390064768734975720085968387305788806}, {"parameter": "", "name": "singleton", "value": 3168691824510592423395247884703}, {"parameter": "4", "name": "ilp_2", "value": 2651914851645285262434912924453}, {"parameter": "5", "name": "ilp_2", "value": 107058919023702495838706133014602658953}, {"parameter": "6", "name": "ilp_2", "value": 4332845747159677930585779132913792972087613758}, {"parameter": "7", "name": "ilp_2", "value": 178488578433745869088635016758666983840843713555427425}, {"parameter": "9", "name": "ilp_3", "value": 1249420075574901929205229152021472688459473002631049226}, {"parameter": "10", "name": "ilp_3", "value": 212309446764678272277686430412588536061944457966}, {"parameter": "11", "name": "ilp_3", "value": 36721210132462755676911165348061266109749}, {"parameter": "12", "name": "ilp_3", "value": 6367247716520947099817912660272452}, {"parameter": "", "name": "anticode", "value": 2651914851645285262434912924453}, {"parameter": "", "name": "linear_programming_bound", "value": 2651914851645285262434912924453}, {"parameter": "", "name": "sphere_packing", "value": 262842629126664502878380460578661154}, {"parameter": "1", "name": "ilp_1", "value": 2651838943732050655416676103822}, {"parameter": "2", "name": "ilp_1", "value": 2651838943732050655417298520032}, {"parameter": "3", "name": "ilp_1", "value": 2651838943732080975195114408738}, {"parameter": "13", "name": "ilp_4", "value": 6367058835041425204643237018427451}, {"parameter": "14", "name": "ilp_4", "value": 6367058835038151044726698843465348}, {"parameter": "15", "name": "ilp_4", "value": 6367058835038151044158746526180021}, {"parameter": "16", "name": "ilp_4", "value": 6367058835038151044158746526180021}, {"parameter": "", "name": "johnson_1", "value": 2651838943732050655416676103822}, {"parameter": "", "name": "johnson_2", "value": 6367058835038151044158746526180021}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 8403100909706635989964618390064768734975720085968387305788806}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1249420075574901929205229152021472688459473002631049226}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 212309446764678272277686430412588536061944457966}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 36721210132462755676911165348061266109749}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 6367247716520947099817912660272452}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 6367058835041425204643237018427451}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 6367058835038151044726698843465348}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 6367058835038151044158746526180021}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 6367058835038151044158746526180021}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 178488578433745869088635016758666983840843713555427425}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 185770797486450920031416689804771421781871437584}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 220971568319759928212402302758623926171609}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 267536202042498239867326163459111727}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 267484524973409836459534267945558265}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 267498167252009570194158970033805485}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 267593702212268168694159407391538402}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 268264362420003913878504606753747950}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 796237574727448905340900177057593}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 2653018961463526867751426969959}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 4332845747159677930585779132913792972087613758}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 31567394394017110958488245241823872356408}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 262842629126664502878380460578661154}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 262842941772064433602713103637176878}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 262845130178574764409021707330473578}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 262860450841897426640812878280005504}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 262967740039795128938883485105071443}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 5382014674588104407849534988638045}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 112078919140989633396742540305465}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 2660773491385100935996925955834}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 107058919023702495838706133014602658953}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 5459961325420885221058232393319396}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 5458013092996387870540659870951299}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 5458019603445471809410868740417535}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 5458065858620079680358678298160727}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 5458389664139760511912022442345485}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 780366809551548857212227477055128}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 111805042634801612179127869370299}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 16304030963010948638207070281443}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 2716182779852848970147445657074}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 2651914851645285262434912924453}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 2651914917311386262730261935996}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 2651915376974172964219078675002}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 2651918594617585151028149741264}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 2651941118312830627521113653576}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 2652098793556754935034559569949}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 2653202979938688290662974918972}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 2660954874492874797002766317418}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 2716348091109096047616814640770}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 3168691824510592423395247884703}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 8403100909706635989964618390064768734975720085968387305788806}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 178488578433745869088635016758666983840843713555427425}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 4332845747159677930585779132913792972087613758}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 107058919023702495838706133014602658953}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 2651914851645285262434912924453}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 2651838943732080975195114408738}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 2651838943732050655417298520032}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 2651838943732050655416676103822}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 1249420075574901929205229152021472688459473002631049226}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 185770797486450920031416689804771421781871437584}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 31567394394017110958488245241823872356408}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 5459961325420885221058232393319396}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 5460239795381284822769280552682903}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 5462189880730309231288496231229182}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 5475879577638095350419012529059392}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 5573663126682586757725994126122666}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 6369900578088105829700973441956738}, {"parameter": "2, 7, o", "name": "Ahlswede_Aydinian", "value": 212309446764678272277686430412588536061944457966}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 220971568319759928212402302758623926171609}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 262842629126664502878380460578661154}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 262842902693423216123474159938946498}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 262858223317894449436810809961825205}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 262965512276917828425795769286730514}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 263718724558147433721004493661606791}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 269100733612419759600469014000076865}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 6388498232724647711405843228548652}, {"parameter": "3, 6, o", "name": "Ahlswede_Aydinian", "value": 36721210132462755676911165348061266109749}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 267536202042498239867326163459111727}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 267536525953445869464170279142194394}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 267538793349343639764730465015282578}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 267554666064637988730353081843703655}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 267665821347458545489257718471543451}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 268446182469150407004833551204100218}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 39145740431300915525260909338316276}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 6521611233780604769792095842564896}, {"parameter": "4, 5, o", "name": "Ahlswede_Aydinian", "value": 6367247716520947099817912660272452}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 6367248820509153066752635814646593}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 6367256548435977496315422476970716}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 6367310644383502800804756073361231}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 6367689338545480892997725637133276}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 6370341302075016790466739044128491}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 6388959320391966284289640881791000}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 6522000256013072370063447013280820}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 7608481579300344488889504665693103}, {"parameter": "", "name": "improved_johnson", "value": 2651838943732050655416676103807}], "known_codes": [], "upper_bound": 2651838943732050655416676103807, "classified": false, "lower_bound": 2651730845859653471792864688354, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 2651730845859653471779023381601}, {"parameter": "", "name": "sphere_covering", "value": 66784365967899717}, {"parameter": "", "name": "graham_sloane", "value": 17216}, {"parameter": "", "name": "multicomponent", "value": 2651730845859653471779023381602}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (0, 1, 2, 8, 9, 10, 11, 12), (3, 4, 5, 9, 10, 11, 15, 16), (2, 4, 6, 8, 9, 13, 14, 16), (0, 3, 7, 8, 10, 13, 14, 15), (1, 6, 7, 11, 12, 14, 15, 16)]", "name": "ef_computation", "value": 2651730845859653471792864688354}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 2651730845859653471779023381602}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 2651730845859653471779023381602}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 1104427674243920646305299202}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 2651730845859653471779023381602}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 1104427674243920646305299202}, {"parameter": "8", "name": "linkage_GLT", "value": 2651730845859653471779023381602}, {"parameter": "9", "name": "linkage_GLT", "value": 1104427674243920646305299202}, {"parameter": "8", "name": "improved_linkage", "value": 2651730845859653471779023381602}, {"parameter": "9", "name": "improved_linkage", "value": 1104427674243920646305299202}, {"parameter": "10", "name": "improved_linkage", "value": 191581231380566414402}, {"parameter": "11", "name": "improved_linkage", "value": 33232930569602}, {"parameter": "12", "name": "improved_linkage", "value": 5764802}, {"parameter": "8,0", "name": "generalized_linkage", "value": 2651730845859653471779023398409}, {"parameter": "8,1", "name": "generalized_linkage", "value": 2651730845859653471779023381602}, {"parameter": "8,2", "name": "generalized_linkage", "value": 2651730845859653471779023381602}, {"parameter": "8,3", "name": "generalized_linkage", "value": 2651730845859653471779023381602}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1104427674243920646305417194}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1104427674243920646305299202}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1104427674243920646305299202}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1104427674243920646305299202}, {"parameter": "10,1", "name": "generalized_linkage", "value": 191581231380566414402}, {"parameter": "10,2", "name": "generalized_linkage", "value": 191581231380566414402}, {"parameter": "10,3", "name": "generalized_linkage", "value": 191581231380566414402}, {"parameter": "11,2", "name": "generalized_linkage", "value": 33232930569602}, {"parameter": "11,3", "name": "generalized_linkage", "value": 33232930569602}, {"parameter": "12,3", "name": "generalized_linkage", "value": 5764802}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653471779023398409}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653471779023381602}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653471779023381602}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653471779023381602}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1104427674243920646305417194}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1104427674243920646305299202}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104427674243920646305299202}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1104427674243920646305299202}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 191581231380566414402}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581231380566414402}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 191581231380566414402}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 33232930569602}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 33232930569602}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5764802}, {"parameter": "", "name": "JohnsonLB", "value": 2651730780147292777183602242992}, {"parameter": "", "name": "JohnsonLB_special", "value": 2651730780147292777183602242992}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 157775382034845820456347437}], "request": [7, 17, 10, 8], "liftedmrdsizebound": 2651730845859653476641681783201, "comments": "", "equal_bound_constraints": []}