{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 307704473408605914952760539398546150757773592525338030710455055152968189724}, {"parameter": "", "name": "singleton", "value": 2859599056870}, {"parameter": "1", "name": "ilp_2", "value": 2541870611307}, {"parameter": "2", "name": "ilp_2", "value": 6461203467963087232700203}, {"parameter": "3", "name": "ilp_2", "value": 16426015889289049188713658656385029950}, {"parameter": "4", "name": "ilp_2", "value": 41810081133590272649922273217769585973638811208449}, {"parameter": "5", "name": "ilp_2", "value": 107604061719549812740164858382371323584990909650935323051156205}, {"parameter": "7", "name": "ilp_3", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "8", "name": "ilp_3", "value": 956480770814138996591287443404989870665739868000412801893363480}, {"parameter": "9", "name": "ilp_3", "value": 1797318476230645782260377666962291952522290519401494635922}, {"parameter": "10", "name": "ilp_3", "value": 3381456336696079152937611369166569406627557989325008}, {"parameter": "11", "name": "ilp_3", "value": 6362698910215526646555168040090852955195216560}, {"parameter": "", "name": "anticode", "value": 2541870611307}, {"parameter": "", "name": "linear_programming_bound", "value": 2541870611307}, {"parameter": "", "name": "sphere_packing", "value": 852710385663021333284042546421308456032027}, {"parameter": "", "name": "DrakeFreeman", "value": 2541870611303}, {"parameter": "", "name": "partial_spread_5", "value": 2541870611306}, {"parameter": "", "name": "partial_spread_kurz16_28", "value": 2541870611299}, {"parameter": "", "name": "spread_bound", "value": 2541870611307}, {"parameter": "", "name": "XiaFuJohnson1", "value": 2541870611307}, {"parameter": "12", "name": "ilp_4", "value": 6362698910215526646555168040090852955195216560}, {"parameter": "13", "name": "ilp_4", "value": 107752661987497723374192526106933639221968}, {"parameter": "14", "name": "ilp_4", "value": 1824801597782461768721398897275069294}, {"parameter": "15", "name": "ilp_4", "value": 30903183268054282425257137497044}, {"parameter": "16", "name": "ilp_4", "value": 523348127007541375087592006}, {"parameter": "17", "name": "ilp_4", "value": 8862946703850700711614}, {"parameter": "18", "name": "ilp_4", "value": 150094917727126092}, {"parameter": "", "name": "johnson_1", "value": 2541870611307}, {"parameter": "", "name": "johnson_2", "value": 150094917727126092}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 307704473408605914952760539398546150757773592525338030710455055152968189724}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 956480770814138996591287443404989870665739868000412801893363480}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1797318476230645782260377666962291952522290519401494635922}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 3381456336696079152937611369166569406627557989325008}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 6362698910215526646555168040090852955195216560}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 6362698910215526646555168040090852955195216560}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 107752661987497723374192526106933639221968}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1824801597782461768721398897275069294}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 30903183268054282425257137497044}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 523348127007541375087592006}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 8862946703850700711614}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 150094917727126092}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 107604061719549812740164858382371323584990909650935323051156205}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1619811255751730261128076503965218884428507744262107794283}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 27092989219360500964658360295941898538106107828200492}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 458192776412537884235222042940806046085960500138}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 7758352248094050193812572989337279365856981}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 7758352265894371833444199665008604089000395}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1182475390971266311952447280026117866870}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 180228821356617251582940133930587496}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 27469806937819066887827940176161}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 4186896342820078481983396053}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 638240828930217897707322}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 97396755042099828749}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 15009743137174206}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 2541908875415}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 41810081133590272649922273217769585973638811208449}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 5664555091939644487081973315790405222667357161}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 852710385663021333284042546421308456032027}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 129788273888141096143062204530952319429}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 129788273924899486625291896393248011173}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 178008910542757512561748294134771221}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 244194730165680214571564131076168}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 334975135389864099829000703863}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 459534359842204138126179105}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 630373161090133157997588}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 864839588808675686103}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 1187946132994919798}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 1649670965592667}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 2542253307868}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 16426015889289049188713658656385029950}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 20031726694262798344826758483605917}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 27139583653073487512691942636255}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 27139583653936087559624252587275}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 334597668971242256857187788614}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 4133003784877442765012010181}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 51059279622065125323020618}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 630360423757997434679773}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 7782247656228948988442}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 96078843603242630953}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 1186338908521986239}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 14666225594301187}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 183321920952531}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 2545357402261}, {"parameter": "4, 2", "name": "Ahlswede_Aydinian", "value": 6461203467963087232700203}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 71002235911709899231555}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 71002235911958496773780}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 7793045644188658343698}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 875383209595479891318}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 97250159836606855161}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 10807019632899679852}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 1200777975883085152}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 133420243758586641}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 14824719449800621}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 1647439382161711}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 183297455718877}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 20618089400605}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 2573639151175}, {"parameter": "5, 1", "name": "Ahlswede_Aydinian", "value": 2541870611307}, {"parameter": "5, 2", "name": "Ahlswede_Aydinian", "value": 2541870611307}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 2541870611315}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 2541870611388}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 2541870612044}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 2541870617949}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 2541870671093}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 2541871149382}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 2541875453998}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 2541914196121}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 2542262922535}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 2545405297098}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 2574000895379}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 2859599056870}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 307704473408605914952760539398546150757773592525338030710455055152968189724}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 107604061719549812740164858382371323584990909650935323051156205}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 41810081133590272649922273217769585973638811208449}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 16426015889289049188713658656385029950}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 6461203467963087232700203}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 2541870611307}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1619811255751730261128076503965218884428507744262107794283}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 5664555091939644487081973315790405222667357161}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 20031726694262798344826758483605917}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 71002235911709899231555}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 71791149631858394150697}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 79767944035369972243809}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 956480770814138996591287443404989870665739868000412801893363480}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 27092989219360500964658360295941898538106107828200492}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 852710385663021333284042546421308456032027}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 27139583653073487512691942636255}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 27176402751763245297510296003109}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 27511913896837108039873782878742}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 30908446476584103427215412604706}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 1797318476230645782260377666962291952522290519401494635922}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 458192776412537884235222042940806046085960500138}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 129788273888141096143062204530952319429}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 129808031248515825366100734313308111206}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 129986094391472441627621941536508172264}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 131608691728450033875920121300355462485}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 148037211541634880994901395814248850143}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 3381456336696079152937611369166569406627557989325008}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 7758352248094050193812572989337279365856981}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 7758483458461409253775557048016472082712763}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 7759665973846359338781441596080754216683518}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 7770323231072178881310164837754313506510563}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 7867437467235220224355847867448346894432534}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 8850717257857547747286888667645237184687389}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 6362698910215526646555168040090852955195216560}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 6362710882575578518557168829354508722183168404}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 6362818635640849513525520087450976501834185589}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 6363788561059956246459274367711781276777486997}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 6372529880645306753621463186492157137322164743}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 6452185153493778608855917694461917317375103602}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 7258694620170400715835032365617891585605600635}, {"parameter": "", "name": "improved_johnson", "value": 2541870611299}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 8862956649889644879645}], "known_codes": [], "upper_bound": 2541870611299, "classified": false, "lower_bound": 2541870611299, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 2541865828329}, {"parameter": "", "name": "sphere_covering", "value": 38263897}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 2541870611299}, {"parameter": "", "name": "multicomponent", "value": 2541870611299}, {"parameter": "[(0, 1, 2, 3, 4, 5), (6, 7, 8, 9, 10, 11), (13, 14, 15, 16, 17, 18)]", "name": "ef_computation", "value": 2541870611299}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 2541865828329}, {"parameter": "(6, 13)", "name": "CKMP2019_Lem_41", "value": 2541870611299}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 282430067923}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 31381059610}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 3486784402}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 387420490}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 43046722}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 2541870611299}, {"parameter": "(13, 6)", "name": "CKMP2019_Lem_41", "value": 2541866359771}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Lem_41", "value": 2541870611299}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Lem_41", "value": 2541866359771}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Lem_41", "value": 282430067923}, {"parameter": "(6, 13)", "name": "CKMP2019_Cor_42", "value": 2541870611299}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 282430067923}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 31381059610}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 3486784402}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 387420490}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 43046722}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 2541870611299}, {"parameter": "(13, 6)", "name": "CKMP2019_Cor_42", "value": 2541866359771}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Cor_42", "value": 2541870611299}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Cor_42", "value": 2541866359771}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Cor_42", "value": 282430067923}, {"parameter": "6", "name": "linkage_GLT", "value": 2541870611299}, {"parameter": "7", "name": "linkage_GLT", "value": 282430067923}, {"parameter": "8", "name": "linkage_GLT", "value": 31381059610}, {"parameter": "9", "name": "linkage_GLT", "value": 3486784402}, {"parameter": "10", "name": "linkage_GLT", "value": 387420490}, {"parameter": "11", "name": "linkage_GLT", "value": 43046722}, {"parameter": "12", "name": "linkage_GLT", "value": 2541870611299}, {"parameter": "13", "name": "linkage_GLT", "value": 2541866359771}, {"parameter": "6", "name": "improved_linkage", "value": 2541870611299}, {"parameter": "7", "name": "improved_linkage", "value": 282430067923}, {"parameter": "8", "name": "improved_linkage", "value": 31381059610}, {"parameter": "9", "name": "improved_linkage", "value": 3486784402}, {"parameter": "10", "name": "improved_linkage", "value": 387420490}, {"parameter": "11", "name": "improved_linkage", "value": 43046722}, {"parameter": "12", "name": "improved_linkage", "value": 2541870611299}, {"parameter": "13", "name": "improved_linkage", "value": 2541866359771}, {"parameter": "6,0", "name": "generalized_linkage", "value": 2541870611299}, {"parameter": "7,0", "name": "generalized_linkage", "value": 282430067923}, {"parameter": "8,0", "name": "generalized_linkage", "value": 31381059610}, {"parameter": "9,0", "name": "generalized_linkage", "value": 3486784402}, {"parameter": "10,0", "name": "generalized_linkage", "value": 387420490}, {"parameter": "11,0", "name": "generalized_linkage", "value": 43046722}, {"parameter": "12,0", "name": "generalized_linkage", "value": 2541870611299}, {"parameter": "13,0", "name": "generalized_linkage", "value": 2541866359771}, {"parameter": "[6, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541870611299}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 282430067923}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 31381059610}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3486784402}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 387420490}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 43046722}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541870611299}, {"parameter": "[13, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541866359771}, {"parameter": "[6, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541870611299}, {"parameter": "[6, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2541866359771}, {"parameter": "[7, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 282430067923}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 9}], "request": [9, 19, 12, 6], "liftedmrdsizebound": 2541870611299, "comments": "", "equal_bound_constraints": [{"parameter": "", "name": "partial_spread_2", "value": 2541870611299}, {"parameter": "", "name": "partial_spread_NS", "value": 2541870611299}]}