{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 7148152764782359019943646457263127589258812452651970587034558182456}, {"parameter": "", "name": "singleton", "value": 3922632451}, {"parameter": "1", "name": "ilp_2", "value": 3486785130}, {"parameter": "2", "name": "ilp_2", "value": 12157690877763566023}, {"parameter": "3", "name": "ilp_2", "value": 42391964816412331714038545194}, {"parameter": "4", "name": "ilp_2", "value": 147834173912047471300612456556413563339}, {"parameter": "5", "name": "ilp_2", "value": 516173949074357354197787210684729500875901302949}, {"parameter": "6", "name": "ilp_2", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "8", "name": "ilp_3", "value": 1328445514972078526762298536522759938830891171759794118954393}, {"parameter": "9", "name": "ilp_3", "value": 274316006740888422351540383485916199420179589833110554}, {"parameter": "10", "name": "ilp_3", "value": 57273989440633831983394614011048974860014499720}, {"parameter": "11", "name": "ilp_3", "value": 11972743286041749575681462053213447854896}, {"parameter": "12", "name": "ilp_3", "value": 2503160803807276173542084521988334}, {"parameter": "13", "name": "ilp_3", "value": 523347756104961801966825893}, {"parameter": "", "name": "anticode", "value": 3486785130}, {"parameter": "", "name": "linear_programming_bound", "value": 3486785130}, {"parameter": "", "name": "sphere_packing", "value": 458911875624953971323753927}, {"parameter": "", "name": "DrakeFreeman", "value": 3486784766}, {"parameter": "", "name": "partial_spread_5", "value": 3486785129}, {"parameter": "3", "name": "partial_spread_HKK16_T10", "value": 3486784977}, {"parameter": "4", "name": "partial_spread_HKK16_T10", "value": 3486784764}, {"parameter": "5", "name": "partial_spread_HKK16_T10", "value": 3486784759}, {"parameter": "6", "name": "partial_spread_HKK16_T10", "value": 3486784762}, {"parameter": "7", "name": "partial_spread_HKK16_T10", "value": 3486784766}, {"parameter": "", "name": "partial_spread_NS_2_Theorem6", "value": 3486785086}, {"parameter": "", "name": "spread_bound", "value": 3486785130}, {"parameter": "", "name": "XiaFuJohnson1", "value": 3486785130}, {"parameter": "14", "name": "ilp_4", "value": 523347756104961801966825893}, {"parameter": "15", "name": "ilp_4", "value": 984770927884698535142}, {"parameter": "16", "name": "ilp_4", "value": 1853020304174537}, {"parameter": "", "name": "johnson_1", "value": 3486785130}, {"parameter": "", "name": "johnson_2", "value": 1853020304174537}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 7148152764782359019943646457263127589258812452651970587034558182456}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1328445514972078526762298536522759938830891171759794118954393}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 274316006740888422351540383485916199420179589833110554}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 57273989440633831983394614011048974860014499720}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 11972743286041749575681462053213447854896}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 2503160803807276173542084521988334}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 523347756104961801966825893}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 523347756104961801966825893}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 984770927884698535142}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 1853020304174537}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 3047956189907319780989494439537360383788900501399731}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 5664461676802265980253312031953452920433199003}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 10644063268704605413231546037073405911072}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 20025633939193830607849305747192939}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 37681188124934298407337237898}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 37681755364018105943760899522}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 638229104134803433022884}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 10821667824875345428}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 185302226949689}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 3486787692}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 516173949074357354197787210684729500875901302949}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 7770193424967104859736554872172673078866257}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 129964381024927222973568274247985992807}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 2197939159055983781338856597342689}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 37216627172005958303241484179}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 37216696336181248350143958067}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 5672410997935019333209092}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 864699327504759197230}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 131972834540893901}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 20363075036157}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 3486843451}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 147834173912047471300612456556413563339}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 20029016929194147435956033030748991}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 3015055995907666665767158455889}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 458911875624953971323753927}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 458911971427450955697238803}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 629414128671165148848073}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 863452331438937178115}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 1184624360923177513}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 1627348326554616}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 2260163852147}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 3487315879}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 42391964816412331714038545194}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 51697518083601891452837561}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 70041346994796337280932}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 70041348619665045682172}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 863523816907774699349}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 10666403958523949581}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 131775369363704123}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 1627101010580612}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 20115236310583}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 251436376531}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 3491573932}, {"parameter": "5, 2", "name": "Ahlswede_Aydinian", "value": 12157690877763566023}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 133600998694637174}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 133600999035689396}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 14663745361104720}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 1647160778412954}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 182990654738572}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 20335356556813}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 2259820504266}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 251432686277}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 28282280501}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 3530369206}, {"parameter": "6, 1", "name": "Ahlswede_Aydinian", "value": 3486785130}, {"parameter": "6, 2", "name": "Ahlswede_Aydinian", "value": 3486785130}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 3486785139}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 3486785211}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 3486785867}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 3486791772}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 3486844917}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 3487323286}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 3491633872}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 3530860183}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 3922632451}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 7148152764782359019943646457263127589258812452651970587034558182456}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 516173949074357354197787210684729500875901302949}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 147834173912047471300612456556413563339}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 42391964816412331714038545194}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 12157690877763566023}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 3486785130}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 1328445514972078526762298536522759938830891171759794118954393}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 3047956189907319780989494439537360383788900501399731}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 7770193424967104859736554872172673078866257}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 20029016929194147435956033030748991}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 51697518083601891452837561}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 133600998694637174}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 135085326266748278}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 150094806924311516}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 274316006740888422351540383485916199420179589833110554}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 5664461676802265980253312031953452920433199003}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 129964381024927222973568274247985992807}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 3015055995907666665767158455889}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 70041346994796337280932}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 70135776770429738147678}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 71001650539592775007709}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 79767286202784998740550}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 57273989440633831983394614011048974860014499720}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 10644063268704605413231546037073405911072}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 2197939159055983781338856597342689}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 458911875624953971323753927}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 458947759824360381196638979}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 459577317676328585566718048}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 465314152796823766153997133}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 523398623225112730808615130}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 11972743286041749575681462053213447854896}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 20025633939193830607849305747192939}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 37216627172005958303241484179}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 37217257352410545953117231210}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 37222929839442470601220747616}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 37274052358855292448870502969}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 37739906208902886308599724132}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 524155391361569275441103682}, {"parameter": "5, 5, o", "name": "Ahlswede_Aydinian", "value": 2503160803807276173542084521988334}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 37681188124934298407337237898}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 37676153942092783151960299226}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 37676791905561592046034649597}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 37682535135224031513767646441}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 37734295202353551195903347654}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 4245674638123985843884710927}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 530706333764662471697485859}, {"parameter": "6, 4, o", "name": "Ahlswede_Aydinian", "value": 523347756104961801966825893}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 523347865508969257173688190}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 523348850146888847796334450}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 523357712038219698832756660}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 523437481216467254349744405}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 524156389830903195154179108}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 530707432369514340942958433}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 597035499217287155085549610}, {"parameter": "", "name": "improved_johnson", "value": 3486785095}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 16677183120208388}], "known_codes": [], "upper_bound": 3486784759, "classified": false, "lower_bound": 3486784402, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 3486784401}, {"parameter": "", "name": "sphere_covering", "value": 5833}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 3486784402}, {"parameter": "", "name": "multicomponent", "value": 3486784402}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6), (10, 11, 12, 13, 14, 15, 16)]", "name": "ef_computation", "value": 3486784402}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 3486784401}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 3486784402}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 387420490}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 43046722}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 4782970}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 3486784402}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 387420490}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 43046722}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 4782970}, {"parameter": "7", "name": "linkage_GLT", "value": 3486784402}, {"parameter": "8", "name": "linkage_GLT", "value": 387420490}, {"parameter": "9", "name": "linkage_GLT", "value": 43046722}, {"parameter": "10", "name": "linkage_GLT", "value": 4782970}, {"parameter": "7", "name": "improved_linkage", "value": 3486784402}, {"parameter": "8", "name": "improved_linkage", "value": 387420490}, {"parameter": "9", "name": "improved_linkage", "value": 43046722}, {"parameter": "10", "name": "improved_linkage", "value": 4782970}, {"parameter": "7,0", "name": "generalized_linkage", "value": 3486784402}, {"parameter": "8,0", "name": "generalized_linkage", "value": 387420490}, {"parameter": "9,0", "name": "generalized_linkage", "value": 43046722}, {"parameter": "10,0", "name": "generalized_linkage", "value": 4782970}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3486784402}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 387420490}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 43046722}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4782970}, {"parameter": "", "name": "JohnsonLB", "value": 3486784321}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 9}], "request": [9, 17, 14, 7], "liftedmrdsizebound": 3486784402, "comments": "", "equal_bound_constraints": []}