{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1660730178183390221013476379650255525660841609}, {"parameter": "", "name": "singleton", "value": 1227133513}, {"parameter": "1", "name": "ilp_2", "value": 1073774593}, {"parameter": "2", "name": "ilp_2", "value": 1153238242357678585}, {"parameter": "3", "name": "ilp_2", "value": 1240703382647669174810739264}, {"parameter": "4", "name": "ilp_2", "value": 1353341067284004834291797537804067393}, {"parameter": "6", "name": "ilp_3", "value": 44346449255878400518397724362473110781618}, {"parameter": "7", "name": "ilp_3", "value": 1332200830135903057366425514822636033}, {"parameter": "8", "name": "ilp_3", "value": 40576139973138954368424284845510}, {"parameter": "9", "name": "ilp_3", "value": 1237983215063715228456353209}, {"parameter": "", "name": "anticode", "value": 1073774593}, {"parameter": "", "name": "linear_programming_bound", "value": 1073774593}, {"parameter": "", "name": "sphere_packing", "value": 4077706580997269786815}, {"parameter": "", "name": "spread_bound", "value": 1073774593}, {"parameter": "", "name": "XiaFuJohnson1", "value": 1073774593}, {"parameter": "10", "name": "ilp_4", "value": 1237983215063715228456353209}, {"parameter": "11", "name": "ilp_4", "value": 302232772483706043167450}, {"parameter": "12", "name": "ilp_4", "value": 73787860920569240344}, {"parameter": "13", "name": "ilp_4", "value": 18014674612123402}, {"parameter": "14", "name": "ilp_4", "value": 4398115852287}, {"parameter": "", "name": "johnson_1", "value": 1073774593}, {"parameter": "", "name": "johnson_2", "value": 4398115852287}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 1660730178183390221013476379650255525660841609}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 44346449255878400518397724362473110781618}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1332200830135903057366425514822636033}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 40576139973138954368424284845510}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1237983215063715228456353209}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1237983215063715228456353209}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 302232772483706043167450}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 73787860920569240344}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 18014674612123402}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 4398115852287}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 1353341067284004834291797537804067393}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 289113665538691879026293770996033}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 69481775396081669327637281595}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 16930201534721186173297463}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 16930208597046049148057634}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 33058853221830282200928}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 64574722703789851109}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 126151313311475034}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 246840276087442}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 488804402978}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1074003997}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 1240703382647669174810739264}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 2120860485099427848575356}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 4077706580997269786815}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 4077706819840897273271}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 63590026229150857819}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 994325468441687634}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 15551485108170310}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 243049341115049}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 3804954525528}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 60379853928}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1075843073}, {"parameter": "3, 2", "name": "Ahlswede_Aydinian", "value": 1153238242357678585}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 15797784156368953}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 15797784272232513}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 1944394714878915}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 246365917721029}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 30788454483306}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 3849481919497}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 481299101702}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 60278477291}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 7652511864}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 1090785345}, {"parameter": "4, 1", "name": "Ahlswede_Aydinian", "value": 1073774593}, {"parameter": "4, 2", "name": "Ahlswede_Aydinian", "value": 1073774593}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 1073774600}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 1073774657}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 1073775112}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 1073778753}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 1073807874}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 1074040898}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 1075908289}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 1091054887}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 1227133513}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 1660730178183390221013476379650255525660841609}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1353341067284004834291797537804067393}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1240703382647669174810739264}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1153238242357678585}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1073774593}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 44346449255878400518397724362473110781618}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 289113665538691879026293770996033}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 2120860485099427848575356}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 15797784156368953}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 16017196988392333}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 18019346597024241}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 1332200830135903057366425514822636033}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 69481775396081669327637281595}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 4077706580997269786815}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 4085554187362479780209}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 4149390968152045471343}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 4732899037785715410753}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 40576139973138954368424284845510}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 16930201534721186173297463}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 16934271293009946005043517}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 16967346027772384518123310}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 17236142845051903555413384}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 19693638584000487350637113}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 1237983215063715228456353209}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 1238020987116137906373939709}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 1238323237324549541531875659}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 1240745970731384736756945227}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 1260435476126422639753596683}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 1440453028909548546592331401}, {"parameter": "", "name": "improved_johnson", "value": 1073774593}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 2251843904377023}], "known_codes": [], "upper_bound": 1073774593, "classified": false, "lower_bound": 1073774593, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1073741824}, {"parameter": "", "name": "sphere_covering", "value": 229391}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 1073774593}, {"parameter": "", "name": "multicomponent", "value": 1073774593}, {"parameter": "[(0, 1, 2, 3, 4), (5, 6, 7, 8, 9), (10, 11, 12, 13, 14)]", "name": "ef_computation", "value": 1073774593}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1073741824}, {"parameter": "(5, 10)", "name": "CKMP2019_Lem_41", "value": 1073774593}, {"parameter": "(6, 9)", "name": "CKMP2019_Lem_41", "value": 134217729}, {"parameter": "(7, 8)", "name": "CKMP2019_Lem_41", "value": 16777217}, {"parameter": "(8, 7)", "name": "CKMP2019_Lem_41", "value": 2097153}, {"parameter": "(9, 6)", "name": "CKMP2019_Lem_41", "value": 262145}, {"parameter": "(10, 5)", "name": "CKMP2019_Lem_41", "value": 1073774593}, {"parameter": "(5, 5, 5)", "name": "CKMP2019_Lem_41", "value": 1073774593}, {"parameter": "(5, 10)", "name": "CKMP2019_Cor_42", "value": 1073774593}, {"parameter": "(6, 9)", "name": "CKMP2019_Cor_42", "value": 134217729}, {"parameter": "(7, 8)", "name": "CKMP2019_Cor_42", "value": 16777217}, {"parameter": "(8, 7)", "name": "CKMP2019_Cor_42", "value": 2097153}, {"parameter": "(9, 6)", "name": "CKMP2019_Cor_42", "value": 262145}, {"parameter": "(10, 5)", "name": "CKMP2019_Cor_42", "value": 1073774593}, {"parameter": "(5, 5, 5)", "name": "CKMP2019_Cor_42", "value": 1073774593}, {"parameter": "5", "name": "linkage_GLT", "value": 1073774593}, {"parameter": "6", "name": "linkage_GLT", "value": 134217729}, {"parameter": "7", "name": "linkage_GLT", "value": 16777217}, {"parameter": "8", "name": "linkage_GLT", "value": 2097153}, {"parameter": "9", "name": "linkage_GLT", "value": 262145}, {"parameter": "10", "name": "linkage_GLT", "value": 1073774593}, {"parameter": "5", "name": "improved_linkage", "value": 1073774593}, {"parameter": "6", "name": "improved_linkage", "value": 134217729}, {"parameter": "7", "name": "improved_linkage", "value": 16777217}, {"parameter": "8", "name": "improved_linkage", "value": 2097153}, {"parameter": "9", "name": "improved_linkage", "value": 262145}, {"parameter": "10", "name": "improved_linkage", "value": 1073774593}, {"parameter": "5,0", "name": "generalized_linkage", "value": 1073774593}, {"parameter": "6,0", "name": "generalized_linkage", "value": 134217729}, {"parameter": "7,0", "name": "generalized_linkage", "value": 16777217}, {"parameter": "8,0", "name": "generalized_linkage", "value": 2097153}, {"parameter": "9,0", "name": "generalized_linkage", "value": 262145}, {"parameter": "10,0", "name": "generalized_linkage", "value": 1073774593}, {"parameter": "[5, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1073774593}, {"parameter": "[6, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 134217729}, {"parameter": "[7, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16777217}, {"parameter": "[8, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2097153}, {"parameter": "[9, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 262145}, {"parameter": "[10, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1073774593}, {"parameter": "[5, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1073774593}, {"parameter": "", "name": "JohnsonLB", "value": 1073737730}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 8}], "request": [8, 15, 10, 5], "liftedmrdsizebound": 1073774593, "comments": "", "equal_bound_constraints": [{"parameter": "", "name": "spread", "value": 1073774593}, {"parameter": "", "name": "partial_spread_NS", "value": 1073774593}]}