{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1494501169196850169221724045371783522951821010983978261474800}, {"parameter": "", "name": "singleton", "value": 435848050}, {"parameter": "1", "name": "ilp_2", "value": 387420570}, {"parameter": "2", "name": "ilp_2", "value": 150094949108191453}, {"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": "12", "name": "ilp_3", "value": 523348740727647788697807022}, {"parameter": "13", "name": "ilp_3", "value": 109419014832600245318}, {"parameter": "", "name": "anticode", "value": 387420570}, {"parameter": "", "name": "linear_programming_bound", "value": 387420570}, {"parameter": "", "name": "sphere_packing", "value": 69945430772116159469342}, {"parameter": "", "name": "DrakeFreeman", "value": 387420530}, {"parameter": "", "name": "partial_spread_5", "value": 387420569}, {"parameter": "", "name": "partial_spread_kurz16_28", "value": 387420522}, {"parameter": "2", "name": "partial_spread_HKK16_T10", "value": 387420513}, {"parameter": "3", "name": "partial_spread_HKK16_T10", "value": 387420514}, {"parameter": "4", "name": "partial_spread_HKK16_T10", "value": 387420518}, {"parameter": "5", "name": "partial_spread_HKK16_T10", "value": 387420522}, {"parameter": "6", "name": "partial_spread_HKK16_T10", "value": 387420526}, {"parameter": "7", "name": "partial_spread_HKK16_T10", "value": 387420530}, {"parameter": "", "name": "partial_spread_NS_2_Theorem6", "value": 387420526}, {"parameter": "", "name": "spread_bound", "value": 387420570}, {"parameter": "", "name": "XiaFuJohnson1", "value": 387420570}, {"parameter": "14", "name": "ilp_4", "value": 109419014832600245318}, {"parameter": "15", "name": "ilp_4", "value": 205891137409058}, {"parameter": "", "name": "johnson_1", "value": 387420570}, {"parameter": "", "name": "johnson_2", "value": 205891137409058}, {"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": 523348740727647788697807022}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 109419014832600245318}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 109419014832600245318}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 205891137409058}, {"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": 37681826257963156007527278433}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 70904870631379781341933}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 70914478321355079463564}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1202407005033018011}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 20589131007427}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 387420851}, {"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": 37222300331590800218272138941}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 630268020212158800407366}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 630278562102871423791987}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 96077241019817462067}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 14663625455094332}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 2262563360815}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 387423866}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 22532262446576637777357551418047028}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 3052738450704335021197659221467}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 459542152869836817657380027}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 69945430772116159469342}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 69945562188682925265616}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 95934274011677990208}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 131623800740285944}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 180803100016925}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 251129322666}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 387479539}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 58150843369561702607006878}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 70915662828601584105357}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 96078667489165817139}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 96078687549277510906}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 1184534210297627449}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 14631802945432518}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 180789340844166}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 2235024648748}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 27937349237}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 387952660}, {"parameter": "5, 2", "name": "Ahlswede_Aydinian", "value": 150094949108191453}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 1649395049355482}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 1649395087250174}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 181033930728755}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 20335356089673}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 2259181723386}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 251091633709}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 27936918983}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 3142475682}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 392263237}, {"parameter": "6, 1", "name": "Ahlswede_Aydinian", "value": 387420570}, {"parameter": "6, 2", "name": "Ahlswede_Aydinian", "value": 387420570}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 387420579}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 387420651}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 387421308}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 387427212}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 387480365}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 387959319}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 392317798}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 435848050}, {"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": 150094949108191453}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 387420570}, {"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": 70915662828601584105357}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1649395049355482}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1667719646039023}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1853021824627529}, {"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": 459542152869836817657380027}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 96078667489165817139}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 96208048793997058950}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 97395802258914413108}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 109419972835410234060}, {"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": 37222300331590800218272138941}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 69945430772116159469342}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 69950285892212209509055}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 70046239477964391825210}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 70920614921458384304815}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 109429627036153839729}, {"parameter": "4, 5, o", "name": "Ahlswede_Aydinian", "value": 2503203195046424313822968098269459}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 37681826257963156007527278433}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 630268020212158800407366}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 629851153570447128001412}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 629947149028719322991991}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 630812316115589158943251}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 7890475371622184163151}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 109587665124096243832}, {"parameter": "5, 4, o", "name": "Ahlswede_Aydinian", "value": 523348740727647788697807022}, {"parameter": "5, 5, o", "name": "Ahlswede_Aydinian", "value": 70904870631379781341933}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 70905004031318795397970}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 70906204651099458305647}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 70917011876068855168295}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 7889302265871123990505}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 887663592808687025285}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 110955631576993018435}, {"parameter": "6, 3, o", "name": "Ahlswede_Aydinian", "value": 109419014832600245318}, {"parameter": "6, 4, o", "name": "Ahlswede_Aydinian", "value": 109419037681461316870}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 109419243321597390452}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 109421094114123381330}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 109437753782650885609}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 109587896480434684257}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 110956048888312523793}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 124806266065883690200}, {"parameter": "", "name": "improved_johnson", "value": 387420526}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 205891141660587}], "known_codes": [], "upper_bound": 387420513, "classified": false, "lower_bound": 387420490, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 387420489}, {"parameter": "", "name": "sphere_covering", "value": 649}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 387420490}, {"parameter": "", "name": "multicomponent", "value": 387420490}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6), (9, 10, 11, 12, 13, 14, 15)]", "name": "ef_computation", "value": 387420490}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 387420489}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 387420490}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 43046722}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 4782970}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 387420490}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 43046722}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 4782970}, {"parameter": "7", "name": "linkage_GLT", "value": 387420490}, {"parameter": "8", "name": "linkage_GLT", "value": 43046722}, {"parameter": "9", "name": "linkage_GLT", "value": 4782970}, {"parameter": "7", "name": "improved_linkage", "value": 387420490}, {"parameter": "8", "name": "improved_linkage", "value": 43046722}, {"parameter": "9", "name": "improved_linkage", "value": 4782970}, {"parameter": "7,0", "name": "generalized_linkage", "value": 387420490}, {"parameter": "8,0", "name": "generalized_linkage", "value": 43046722}, {"parameter": "9,0", "name": "generalized_linkage", "value": 4782970}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 387420490}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 43046722}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4782970}, {"parameter": "", "name": "JohnsonLB", "value": 387420481}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 9}], "request": [9, 16, 14, 7], "liftedmrdsizebound": 387420490, "comments": "", "equal_bound_constraints": []}