{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 7304000285529245661070083855625231278792460341966726485641}, {"parameter": "", "name": "singleton", "value": 25949007804224083420097621839124559742097033}, {"parameter": "6", "name": "ilp_2", "value": 22350622414770185084399969376516081237660161}, {"parameter": "7", "name": "ilp_2", "value": 380933302489206359659857650468008737411766944866881}, {"parameter": "9", "name": "ilp_3", "value": 380933302489206359659857650468008737411766944866881}, {"parameter": "10", "name": "ilp_3", "value": 22350622414770185084399969376516081237660161}, {"parameter": "", "name": "anticode", "value": 22350622414770185084399969376516081237660161}, {"parameter": "", "name": "linear_programming_bound", "value": 22350622414770185084399969376516081237660161}, {"parameter": "", "name": "sphere_packing", "value": 158937777008575864484695256371054870051400986}, {"parameter": "1", "name": "ilp_1", "value": 22350581033279427641510495554821279853974451}, {"parameter": "2", "name": "ilp_1", "value": 22350581033279427641510495554821279860288566}, {"parameter": "3", "name": "ilp_1", "value": 22350581033279427641510495554927213542092716}, {"parameter": "4", "name": "ilp_1", "value": 22350581033279427641562115956461678856966177}, {"parameter": "5", "name": "ilp_1", "value": 22350581033279427641562115956461678856966177}, {"parameter": "11", "name": "ilp_4", "value": 22350581033279427641562115956461678856966177}, {"parameter": "12", "name": "ilp_4", "value": 22350581033279427641562115956461678856966177}, {"parameter": "13", "name": "ilp_4", "value": 22350581033279427641510495554927213542092716}, {"parameter": "14", "name": "ilp_4", "value": 22350581033279427641510495547502926539941302}, {"parameter": "15", "name": "ilp_4", "value": 22350581033279427641510495547502926533628643}, {"parameter": "", "name": "johnson_1", "value": 22350581033279427641510495554821279853974451}, {"parameter": "", "name": "johnson_2", "value": 22350581033279427641510495547502926533628643}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 7304000285529245661070083855625231278792460341966726485641}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 380933302489206359659857650468008737411766944866881}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 22350622414770185084399969376516081237660161}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 22350581033279427641562115956461678856966177}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 22350581033279427641562115956461678856966177}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 22350581033279427641510495554927213542092716}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 22350581033279427641510495547502926539941302}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 22350581033279427641510495547502926533628643}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 380933302489206359659857650468008737411766944866881}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 158937777008575864484695256371054870051400986}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 158937312810297258240436442752206643196821243}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 158937843322366649181948641402099679857948240}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 158942087548413602147473338870650520644247599}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 158976049518758988714986438900989936501278890}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 159248268667832575361545338241017788561004006}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 161460049239632776713405310693345118366157955}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 22705392824638140774688065129543573243994807}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 22350622414770185084399969376516081237660161}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 22350623726151156355551700144272007078028394}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 22350634217203919259738803673468019237901272}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 22350718145945558750156046332630307993256850}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 22351389596329619074995687306459088963534761}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 22356762508582088181749131945087829011868362}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 22399829758048080426828301282333800672839607}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 22749825909199241050072032791869514232479997}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 25949007804224083420097621839124559742097033}, {"parameter": "0, 8, o", "name": "Ahlswede_Aydinian", "value": 7304000285529245661070083855625231278792460341966726485641}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 380933302489206359659857650468008737411766944866881}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 22350622414770185084399969376516081237660161}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 22350581033279427641562115956461678856966177}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 22350581033279427641562115956461678856966177}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 22350581033279427641510495554927213542092716}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 22350581033279427641510495547502926539941302}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 22350581033279427641510495547502926533628643}, {"parameter": "1, 7, o", "name": "Ahlswede_Aydinian", "value": 380933302489206359659857650468008737411766944866881}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 158937777008575864484695256371054870051400986}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 158937312810297258240436442752206643196821243}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 158937843322366649181948641402099679857948240}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 158942087548413602147473338870650520644247599}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 158976049518758988714986438900989936501278890}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 159248268667832575361545338241017788561004006}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 161460049239632776713405310693345118366157955}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 22705392824638140774688065129543573243994807}, {"parameter": "2, 6, o", "name": "Ahlswede_Aydinian", "value": 22350622414770185084399969376516081237660161}, {"parameter": "2, 7, o", "name": "Ahlswede_Aydinian", "value": 22350623726151156355551700144272007078028394}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 22350634217203919259738803673468019237901272}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 22350718145945558750156046332630307993256850}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 22351389596329619074995687306459088963534761}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 22356762508582088181749131945087829011868362}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 22399829758048080426828301282333800672839607}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 22749825909199241050072032791869514232479997}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 25949007804224083420097621839124559742097033}, {"parameter": "", "name": "improved_johnson", "value": 22350581033279427641510495554821279853974451}], "known_codes": [], "upper_bound": 22350581033279427641510495547502926533628643, "classified": false, "lower_bound": 22300745391757287672361563752919847426326528, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 22300745198530623141535718272648361505980416}, {"parameter": "", "name": "sphere_covering", "value": 280142415286311653909508683143801}, {"parameter": "", "name": "graham_sloane", "value": 645326111021440788369968856796}, {"parameter": "", "name": "multicomponent", "value": 22300745198530623141540440639131231151194113}, {"parameter": "", "name": "XuChen2018", "value": 22300745391757287672361562599998342819479551}, {"parameter": "", "name": "ChenHeWengXu2019_T41", "value": 22300745391757287672361562599998342819479551}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 22300745391757287672361562599998342819479552}, {"parameter": "", "name": "two_pivot_block_construction", "value": 22300745364684122614650202385624244041023488}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 22300745391757287672361562599998342819479551}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 22300745391757287672361562600033527191568384}, {"parameter": "(8,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 22300745391757287672361562600033527191568384}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 22300745391757287672361563752919847426326528}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 22300745391757287672361563752919847426326528}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 22300745391757287672361562600033527191568384}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 22300745391757287672361562600033527191568384}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 22300745391757287672361562599998342819479552}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 22300745391757287672361562599998342819479552}, {"parameter": "8", "name": "linkage_GLT", "value": 22300745198530623141535718272648361505980417}, {"parameter": "8", "name": "improved_linkage", "value": 22300745198530623141540440639170885812523072}, {"parameter": "9", "name": "improved_linkage", "value": 1329227995784915872904088536331101321}, {"parameter": "10", "name": "improved_linkage", "value": 79228162514264337593560760321}, {"parameter": "11", "name": "improved_linkage", "value": 79382909741541492997551554561}, {"parameter": "12", "name": "improved_linkage", "value": 79228464831362225039705374721}, {"parameter": "13", "name": "improved_linkage", "value": 79228163179559156116352925697}, {"parameter": "8,0", "name": "generalized_linkage", "value": 22300745391757287672361562599998342819479552}, {"parameter": "8,1", "name": "generalized_linkage", "value": 22300745198530623164035061081871721069978112}, {"parameter": "8,2", "name": "generalized_linkage", "value": 22300745198530623141535718275267082518153592}, {"parameter": "8,3", "name": "generalized_linkage", "value": 22300745198530623141535718272652838089035841}, {"parameter": "8,4", "name": "generalized_linkage", "value": 22300745198530623141535718272929837556737161}, {"parameter": "8,5", "name": "generalized_linkage", "value": 22300745198530623141540440639170885812523072}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1329228087964718554426525168552550912}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1329227995784915874244918999083759992}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1329227995784915872903807060280610881}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1329227995784915872903807060297154561}, {"parameter": "9,5", "name": "generalized_linkage", "value": 1329227995784915872904088536331101321}, {"parameter": "10,2", "name": "generalized_linkage", "value": 79228163200934564845710555512}, {"parameter": "10,3", "name": "generalized_linkage", "value": 79228162514264337593544216641}, {"parameter": "10,4", "name": "generalized_linkage", "value": 79228162514264337593543950337}, {"parameter": "10,5", "name": "generalized_linkage", "value": 79228162514264337593560760321}, {"parameter": "11,3", "name": "generalized_linkage", "value": 79382909741541492997551820865}, {"parameter": "11,4", "name": "generalized_linkage", "value": 79382909741541492997551554561}, {"parameter": "11,5", "name": "generalized_linkage", "value": 79382909741541492997551554561}, {"parameter": "12,4", "name": "generalized_linkage", "value": 79228464831362225039705374721}, {"parameter": "12,5", "name": "generalized_linkage", "value": 79228464831362225039705374721}, {"parameter": "13,5", "name": "generalized_linkage", "value": 79228163179559156116352925697}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22300745391757287672361562599998342819479552}, {"parameter": "[8, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22300745198530623164035061081871721069978112}, {"parameter": "[8, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300745198530623141535718275267082518153592}, {"parameter": "[8, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300745198530623141535718272652838089035841}, {"parameter": "[8, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300745198530623141535718272929837556737161}, {"parameter": "[8, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 22300745198530623141540440639170885812523072}, {"parameter": "[9, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329228087964718554426525168552550912}, {"parameter": "[9, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915874244918999083759992}, {"parameter": "[9, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915872903807060280610881}, {"parameter": "[9, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915872903807060297154561}, {"parameter": "[9, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915872904088536331101321}, {"parameter": "[10, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228163200934564845710555512}, {"parameter": "[10, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228162514264337593544216641}, {"parameter": "[10, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228162514264337593543950337}, {"parameter": "[10, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 79228162514264337593560760321}, {"parameter": "[11, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79382909741541492997551820865}, {"parameter": "[11, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 79382909741541492997551554561}, {"parameter": "[11, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 79382909741541492997551554561}, {"parameter": "[12, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 79228464831362225039705374721}, {"parameter": "[12, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 79228464831362225039705374721}, {"parameter": "[13, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 79228163179559156116352925697}, {"parameter": "[8, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 193226743758993080958170444502663168}, {"parameter": "[8, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 193226743758988358591969049834160128}, {"parameter": "[8, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 193226743758988358591969049834160128}, {"parameter": "[8, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 193226743758988358591692042713956352}, {"parameter": "[8, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 193226743758988358591687574874226688}, {"parameter": "[8, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 193226743758988358591687574874226688}, {"parameter": "", "name": "JohnsonLB", "value": 348449143727041121986187394848658345164801}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 348449146323189415853909412275378813140992}], "request": [8, 16, 6, 8], "liftedmrdsizebound": 22300745392241720870339000348935834194784912, "comments": "", "equal_bound_constraints": []}