{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1494501169196850169221724045371783522951821010983978261474800}, {"parameter": "", "name": "singleton", "value": 66327168553990994916016300}, {"parameter": "3", "name": "ilp_2", "value": 58150843369561702607006878}, {"parameter": "4", "name": "ilp_2", "value": 22532262446576637777357551418047028}, {"parameter": "5", "name": "ilp_2", "value": 8741451151967514519582349843718116857817360}, {"parameter": "6", "name": "ilp_2", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "8", "name": "ilp_3", "value": 277744956028584787732347374270891445007065999171872470}, {"parameter": "9", "name": "ilp_3", "value": 57352662470155122561788187984708014720598049357}, {"parameter": "10", "name": "ilp_3", "value": 11974568395531690810874856745621391077863}, {"parameter": "11", "name": "ilp_3", "value": 2503203195046424313822968098269459}, {"parameter": "", "name": "anticode", "value": 58150843369561702607006878}, {"parameter": "", "name": "linear_programming_bound", "value": 58150843369561702607006878}, {"parameter": "", "name": "sphere_packing", "value": 2200958254491747228136479743078554}, {"parameter": "1", "name": "ilp_1", "value": 58150365450568776659286415}, {"parameter": "2", "name": "ilp_1", "value": 58150365450568785037123563}, {"parameter": "12", "name": "ilp_4", "value": 2503178073597820828637188386085122}, {"parameter": "13", "name": "ilp_4", "value": 2503178073594538189012643572023609}, {"parameter": "14", "name": "ilp_4", "value": 2503178073594538189012643572023609}, {"parameter": "15", "name": "ilp_4", "value": 381524458106829470435167325354}, {"parameter": "", "name": "johnson_1", "value": 58150365450568776659286415}, {"parameter": "", "name": "johnson_2", "value": 381524458106829470435167325354}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1494501169196850169221724045371783522951821010983978261474800}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 277744956028584787732347374270891445007065999171872470}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 57352662470155122561788187984708014720598049357}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 11974568395531690810874856745621391077863}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 2503203195046424313822968098269459}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 2503178073597820828637188386085122}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 2503178073594538189012643572023609}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 2503178073594538189012643572023609}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 381524458106829470435167325354}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 5735267312883888653557119184362064078875306337}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 10658684204164243153214490204029718351592}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 20028686615805984763182814331835899}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 20027061655929742228568582887301236}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 20027363134285055137879654494361910}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 20030076864587409986683016718233784}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 27509884048284207052863431219461}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 38158583606094341934920163377}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 58159694466656739362560663}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 8741451151967514519582349843718116857817360}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 131588908238022494102863298171694353217}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 2200958254491747228136479743078554}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 2199465726593700384897700690037222}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 2199469805895896054849507802737303}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 2199506594324907040550705905698884}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 27176875217278392596186444986661}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 335971524970729903864115131538}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 4199006208392983095981145988}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 58239475771210002588197674}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 22532262446576637777357551418047028}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 3052738450704335021197659221467}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 3052738521514325979697975522031}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 3052739158804377807600964330025}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 3052744894425633592437986879311}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 339148551752945965229989185106}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 37693951987446572740397080626}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 4193953467167777859955914142}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 471811755128297694136778177}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 58966469379582465273176521}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 58150843369561702607006878}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 58150843519453298966393308}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 58150844868477697496963730}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 58150857009699819256124246}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 58150966280904249180575950}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 58151949738376461238001958}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 58160802203051219307382077}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 58240583676250968641865988}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 58967580020293968879486338}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 66327168553990994916016300}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 1494501169196850169221724045371783522951821010983978261474800}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 8741451151967514519582349843718116857817360}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 22532262446576637777357551418047028}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 58150843369561702607006878}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 58150365450568785037123563}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 58150365450568776659286415}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 277744956028584787732347374270891445007065999171872470}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 5735267312883888653557119184362064078875306337}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 131588908238022494102863298171694353217}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 3052738450704335021197659221467}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 3053152100892364494736266560464}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 3056880003258343974735403212572}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 3090845335917750400343112336411}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 3434272587486155230670929066975}, {"parameter": "2, 7, o", "name": "Ahlswede_Aydinian", "value": 57352662470155122561788187984708014720598049357}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 10658684204164243153214490204029718351592}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 2200958254491747228136479743078554}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 2200991386976822403111369020022514}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 2201322761708466020223476267283776}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 2204309225352458809122114742214086}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 2231522914365623543873646570316918}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 2507019512220644997356535677895540}, {"parameter": "3, 6, o", "name": "Ahlswede_Aydinian", "value": 11974568395531690810874856745621391077863}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 20028686615805984763182814331835899}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 20028724251623704144648745610052269}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 20029062979718683778727137351120264}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 20032111997220239925400161552312004}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 20059590842817499739344926675765282}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 20309991346402196946492353045674251}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 2538356718865026735354255888194531}, {"parameter": "4, 5, o", "name": "Ahlswede_Aydinian", "value": 2503203195046424313822968098269459}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 2503203718316492453580037106340095}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 2503208427755967055993937049127687}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 2503250813429019545799149241035613}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 2503632342635621147859479451171252}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 2507070822044268193784781751651234}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 2538403952625492058536849684839130}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 2855650645340126913932218722028600}, {"parameter": "", "name": "improved_johnson", "value": 58150365450568776659286389}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 381524465985080162950533997455}], "known_codes": [], "upper_bound": 58150365450568776659286389, "classified": false, "lower_bound": 58149737003040059690922340, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 58149737003040059690390169}, {"parameter": "", "name": "sphere_covering", "value": 180514204556177}, {"parameter": "", "name": "graham_sloane", "value": 2}, {"parameter": "", "name": "multicomponent", "value": 58149737003040059690390170}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6), (0, 1, 7, 8, 9, 10, 11), (2, 4, 7, 8, 12, 13, 14), (3, 6, 10, 11, 13, 14, 15)]", "name": "ef_computation", "value": 58149737003040059690922340}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 58149737003040059690390170}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 58149737003040059690390170}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 79766443076872509863362}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 109418989131512359210}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 58149737003040059690390170}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 79766443076872509863362}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 109418989131512359210}, {"parameter": "7", "name": "linkage_GLT", "value": 58149737003040059690390170}, {"parameter": "8", "name": "linkage_GLT", "value": 79766443076872509863362}, {"parameter": "9", "name": "linkage_GLT", "value": 109418989131512359210}, {"parameter": "7", "name": "improved_linkage", "value": 58149737003040059690390170}, {"parameter": "8", "name": "improved_linkage", "value": 79766443076872509863362}, {"parameter": "9", "name": "improved_linkage", "value": 109418989131512359210}, {"parameter": "10", "name": "improved_linkage", "value": 22876792454962}, {"parameter": "11", "name": "improved_linkage", "value": 4782970}, {"parameter": "7,0", "name": "generalized_linkage", "value": 58149737003040059690390170}, {"parameter": "7,1", "name": "generalized_linkage", "value": 58149737003040059690390170}, {"parameter": "7,2", "name": "generalized_linkage", "value": 58149737003040059690390170}, {"parameter": "8,0", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "8,1", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "8,2", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "9,0", "name": "generalized_linkage", "value": 109418989131512359210}, {"parameter": "9,1", "name": "generalized_linkage", "value": 109418989131512359210}, {"parameter": "9,2", "name": "generalized_linkage", "value": 109418989131512359210}, {"parameter": "10,1", "name": "generalized_linkage", "value": 22876792454962}, {"parameter": "10,2", "name": "generalized_linkage", "value": 22876792454962}, {"parameter": "11,2", "name": "generalized_linkage", "value": 4782970}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690390170}, {"parameter": "[7, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690390170}, {"parameter": "[7, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690390170}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[8, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[8, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 109418989131512359210}, {"parameter": "[9, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109418989131512359210}, {"parameter": "[9, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 109418989131512359210}, {"parameter": "[10, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876792454962}, {"parameter": "[10, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22876792454962}, {"parameter": "[11, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4782970}, {"parameter": "", "name": "JohnsonLB", "value": 58149735652188345504183130}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 109418989162893418827}], "request": [9, 16, 10, 7], "liftedmrdsizebound": 58149737003040063182496271, "comments": "", "equal_bound_constraints": []}