{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 67994729513609927546967202237401483010992316720167622853556}, {"parameter": "", "name": "singleton", "value": 19100611156944225555440431}, {"parameter": "3", "name": "ilp_2", "value": 14557691350579443431953879}, {"parameter": "4", "name": "ilp_2", "value": 3559819576186164989451560610637654}, {"parameter": "5", "name": "ilp_2", "value": 876105419545208548657593845555288561910005}, {"parameter": "6", "name": "ilp_2", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "8", "name": "ilp_3", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "9", "name": "ilp_3", "value": 8555743262567653630521482013420407804556258739569}, {"parameter": "10", "name": "ilp_3", "value": 108637416775250516524562462128803092128570184}, {"parameter": "11", "name": "ilp_3", "value": 1388334068860731211203751681477116128570}, {"parameter": "", "name": "anticode", "value": 14557691350579443431953879}, {"parameter": "", "name": "linear_programming_bound", "value": 14557691350579443431953879}, {"parameter": "", "name": "sphere_packing", "value": 68905027205152631349389510336977111}, {"parameter": "1", "name": "ilp_1", "value": 14557690277155489191783527}, {"parameter": "2", "name": "ilp_1", "value": 14557690277155489191783527}, {"parameter": "12", "name": "ilp_4", "value": 1388014162570257286245578893917626739188}, {"parameter": "13", "name": "ilp_4", "value": 1388014158476767100991733466174671541161}, {"parameter": "14", "name": "ilp_4", "value": 1388014158476767100991733466174671541161}, {"parameter": "15", "name": "ilp_4", "value": 2220976150348005338393915386410963811}, {"parameter": "16", "name": "ilp_4", "value": 3553585489795098634363903607619068}, {"parameter": "17", "name": "ilp_4", "value": 5686598323349505746726682029582}, {"parameter": "18", "name": "ilp_4", "value": 9098556385966382215370644374}, {"parameter": "", "name": "johnson_1", "value": 14557690277155489191783527}, {"parameter": "", "name": "johnson_2", "value": 9098556385966382215370644374}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 67994729513609927546967202237401483010992316720167622853556}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 8555743262567653630521482013420407804556258739569}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 108637416775250516524562462128803092128570184}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1388334068860731211203751681477116128570}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1388014162570257286245578893917626739188}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1388014158476767100991733466174671541161}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1388014158476767100991733466174671541161}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 2220976150348005338393915386410963811}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 3553585489795098634363903607619068}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 5686598323349505746726682029582}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 9098556385966382215370644374}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 11407768705277223105649087115985426922092332551}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 700895115026575310141630771464919254284886}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 44498455491141464493680701607842971185}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 44458557513810208033390724553423949905}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 44458646009952339912724103663539161189}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 44459101249004810406109401095922843498}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 355736540379711092179184416210465440}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 2848769025352925830057550990961810}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 22819310525460997090593338140250}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 183732288201577083164083715922}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 1518851279920526342235036048}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 14580834346990699091831751}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 876105419545208548657593845555288561910005}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 224297343315236373845889302757515921056}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 68905027205152631349389510336977111}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 68638321201158568241730224840039745}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 68638305205529140710268563109786864}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 68638473848273359434010770120432113}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 2756073947674603029867172906313022}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 110242732469649480922851555724082}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 4411142472221717119255156555387}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 176722469669874290999913035539}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 7123607984969539985832854786}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 296339075144782589406532591}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 14697481021288871704003876}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 3559819576186164989451560610637654}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 4558027644855336160082426846405}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 4558027737338388954667099312578}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 4558028199753700133310888693564}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 4558030511831436170143613114386}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 910208166002177874972789300696}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 182267984354924356292575320853}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 36453668564572018526747818051}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 7293404349572655371272246494}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 1460993233125374152969566979}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 294533793060583449401107942}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 61338292880735934685248585}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 15304976901014638191223276}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 14557691350579443431953879}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 14557691409730721014484510}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 14557691705487114937310587}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 14557693184269234805779304}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 14557700578183590508489280}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 14557737547849278269709400}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 14557922398525478081745912}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 14558846710604229299453623}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 14563469738907813406461166}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 14586621636517053575260549}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 14703307378392366466072260}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 15310849348310027103857648}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 19100611156944225555440431}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 67994729513609927546967202237401483010992316720167622853556}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 876105419545208548657593845555288561910005}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 3559819576186164989451560610637654}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 14557691350579443431953879}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 14557690277155489191783527}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 14557690277155489191783527}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 11407768705277223105649087115985426922092332551}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 224297343315236373845889302757515921056}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 4558027644855336160082426846405}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 4563865745607539210527051673798}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 4593310040254168999474479965007}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 4746420372316231601574038726320}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 5695704427338189846705425766766}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 8555743262567653630521482013420407804556258739569}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 700895115026575310141630771464919254284886}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 68905027205152631349389510336977111}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 68926173371410660682012105164916266}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 69032213629430204650350294689250248}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 69566656529466937642118246617125934}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 72349322551660072877749728586312338}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 89713158126737683926413676950472541}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 108637416775250516524562462128803092128570184}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 44498455491141464493680701607842971185}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 44501189650120557121213634215196208691}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 44515320623886305790277305840746048288}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 44586088540451655937348408995984168577}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 44942777101271132579833518145783995756}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 46800411089398622268238814460548675646}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 58406906859355266032686252828239742494}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 1388334068860731211203751681477116128570}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 1388351811294497453872605293915988723696}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 1388440529139440447952169217424323634870}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 1388884260312370345764018169508410088205}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 1391106470569042649139953267745738398621}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 1402307098216599791769894655343546267062}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 1460642948056998747532832363183472758411}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 1825218456001772231793929085435472462931}, {"parameter": "", "name": "improved_johnson", "value": 14557690277155489191783512}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 1137322455132822047330984019923}], "known_codes": [], "upper_bound": 14557690277155489191783512, "classified": false, "lower_bound": 14551915228843688967188752, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 14551915228366851806640625}, {"parameter": "", "name": "sphere_covering", "value": 45446241708418460}, {"parameter": "", "name": "graham_sloane", "value": 2055015}, {"parameter": "", "name": "multicomponent", "value": 14551915228843688964843751}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6), (1, 2, 7, 8, 9, 10, 11), (3, 4, 7, 11, 12, 13, 14), (0, 6, 8, 10, 12, 13, 15), (3, 5, 9, 10, 14, 15, 16), (4, 5, 8, 9, 12, 17, 18), (1, 6, 11, 14, 15, 17, 18), (0, 2, 7, 13, 16, 17, 18)]", "name": "ef_computation", "value": 14551915228843688967188752}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 14551915228366851806640626}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 14551915228366851806718751}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 116415321826934814453126}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 931322574615478515626}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 7450580596923828126}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 59604644775390626}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 37253379821777343751}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 14551915228366851806718751}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 116415321826934814453126}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 931322574615478515626}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 7450580596923828126}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 59604644775390626}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 37253379821777343751}, {"parameter": "7", "name": "linkage_GLT", "value": 14551915228366851806718751}, {"parameter": "8", "name": "linkage_GLT", "value": 116415321826934814453126}, {"parameter": "9", "name": "linkage_GLT", "value": 931322574615478515626}, {"parameter": "10", "name": "linkage_GLT", "value": 7450580596923828126}, {"parameter": "11", "name": "linkage_GLT", "value": 59604644775390626}, {"parameter": "12", "name": "linkage_GLT", "value": 37253379821777343751}, {"parameter": "7", "name": "improved_linkage", "value": 14551915228843688964843751}, {"parameter": "8", "name": "improved_linkage", "value": 116415321826940917968751}, {"parameter": "9", "name": "improved_linkage", "value": 931322574615478593751}, {"parameter": "10", "name": "improved_linkage", "value": 7450580596923828126}, {"parameter": "11", "name": "improved_linkage", "value": 59604644775390626}, {"parameter": "12", "name": "improved_linkage", "value": 37253379821777343751}, {"parameter": "13", "name": "improved_linkage", "value": 37252902990722656251}, {"parameter": "14", "name": "improved_linkage", "value": 37252902984619218751}, {"parameter": "7,0", "name": "generalized_linkage", "value": 14551915228366851806718751}, {"parameter": "7,1", "name": "generalized_linkage", "value": 14551915228366857910156251}, {"parameter": "7,2", "name": "generalized_linkage", "value": 14551915228843688964843751}, {"parameter": "8,0", "name": "generalized_linkage", "value": 116415321826934814453126}, {"parameter": "8,1", "name": "generalized_linkage", "value": 116415321826934814531251}, {"parameter": "8,2", "name": "generalized_linkage", "value": 116415321826940917968751}, {"parameter": "9,0", "name": "generalized_linkage", "value": 931322574615478515626}, {"parameter": "9,1", "name": "generalized_linkage", "value": 931322574615478515626}, {"parameter": "9,2", "name": "generalized_linkage", "value": 931322574615478593751}, {"parameter": "10,0", "name": "generalized_linkage", "value": 7450580596923828126}, {"parameter": "10,1", "name": "generalized_linkage", "value": 7450580596923828126}, {"parameter": "10,2", "name": "generalized_linkage", "value": 7450580596923828126}, {"parameter": "11,0", "name": "generalized_linkage", "value": 59604644775390626}, {"parameter": "11,1", "name": "generalized_linkage", "value": 59604644775390626}, {"parameter": "11,2", "name": "generalized_linkage", "value": 59604644775390626}, {"parameter": "12,0", "name": "generalized_linkage", "value": 37253379821777343751}, {"parameter": "12,1", "name": "generalized_linkage", "value": 37253379821777343751}, {"parameter": "12,2", "name": "generalized_linkage", "value": 37253379821777343751}, {"parameter": "13,1", "name": "generalized_linkage", "value": 37252902990722656251}, {"parameter": "13,2", "name": "generalized_linkage", "value": 37252902990722656251}, {"parameter": "14,2", "name": "generalized_linkage", "value": 37252902984619218751}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 14551915228366851806718751}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 14551915228366857910156251}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 14551915228843688964843751}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 116415321826934814453126}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 116415321826934814531251}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 116415321826940917968751}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 931322574615478515626}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 931322574615478515626}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 931322574615478593751}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7450580596923828126}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7450580596923828126}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7450580596923828126}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 59604644775390626}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 59604644775390626}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 59604644775390626}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 37253379821777343751}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 37253379821777343751}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 37253379821777343751}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252902990722656251}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 37252902990722656251}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 37252902984619218751}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 37253379821777343751}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 37253379821777343751}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37253379821777343751}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252902990722656251}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 37252902990722656251}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 37252902990722656251}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37252902990722656251}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 37252902984619218751}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 37252902984619218751}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37252902984619218751}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 476843261718751}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 476843261718751}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 476837158281251}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 476837158281251}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6103593751}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 7450581359865234380}], "request": [5, 19, 10, 7], "liftedmrdsizebound": 14551915228848458803613251, "comments": "", "equal_bound_constraints": []}