{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 71425080387019299237581315602206452684576535149974900600}, {"parameter": "", "name": "singleton", "value": 9234320988196680367732171600}, {"parameter": "3", "name": "ilp_2", "value": 7734740916881156562817118265}, {"parameter": "4", "name": "ilp_2", "value": 15338829685176301053982478623483262665}, {"parameter": "5", "name": "ilp_2", "value": 30961750603810590349247857064423799840484432033}, {"parameter": "7", "name": "ilp_3", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "8", "name": "ilp_3", "value": 4332845747159677930585779132913792972087613758}, {"parameter": "9", "name": "ilp_3", "value": 36721210132462755676911165348061266109749}, {"parameter": "", "name": "anticode", "value": 7734740916881156562817118265}, {"parameter": "", "name": "linear_programming_bound", "value": 7734740916881156562817118265}, {"parameter": "", "name": "sphere_packing", "value": 1579036649185606989016058003170000440540200}, {"parameter": "1", "name": "ilp_1", "value": 7734740271159625998440388944}, {"parameter": "2", "name": "ilp_1", "value": 7734740271159626034197763275}, {"parameter": "10", "name": "ilp_4", "value": 36712780023801801621283125558711329590763}, {"parameter": "11", "name": "ilp_4", "value": 36712779970739203968283353336287374724712}, {"parameter": "12", "name": "ilp_4", "value": 36712779970739203968283353336287374724712}, {"parameter": "13", "name": "ilp_4", "value": 107037332825047361290866158600539201244}, {"parameter": "14", "name": "ilp_4", "value": 312124704177845175986469524299018504}, {"parameter": "15", "name": "ilp_4", "value": 909984402499495657689018642135744}, {"parameter": "16", "name": "ilp_4", "value": 2653015882161075826158407866739}, {"parameter": "", "name": "johnson_1", "value": 7734740271159625998440388944}, {"parameter": "", "name": "johnson_2", "value": 2653015882161075826158407866739}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 71425080387019299237581315602206452684576535149974900600}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 4332845747159677930585779132913792972087613758}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 36721210132462755676911165348061266109749}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 36712780023801801621283125558711329590763}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 36712779970739203968283353336287374724712}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 36712779970739203968283353336287374724712}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 107037332825047361290866158600539201244}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 312124704177845175986469524299018504}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 909984402499495657689018642135744}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 2653015882161075826158407866739}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 30961750603810590349247857064423799840484432033}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1579036649185606989016058003170000440540200}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 92033872456882562700856446671670331351}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 91902069029484340040852167644352085128}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 91902079420054400216428111513086720221}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 91902175066898793069795747215964081086}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1878242612459746773881398345526783309}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 38333111916547091247673344756898113}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 782590089164973725594438258438905}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 16011318862147037143414007959833}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 332596326169973052989342385714}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 7757291087504148380828083576}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 15338829685176301053982478623483262665}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 5476197676819932806270293750158749}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 5476197695803979697482566623300587}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 5476197828692311218168693317505218}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 5476198758910792690810068034794063}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 781995858978560628759587538193425}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 111753707536354853540146778456310}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 15965612653671713189298148588173}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 2281748699319474348368424453007}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 326897370079775232034996781545}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 47652336583788819284738420991}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 7918430223921389549757076509}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 7734740916881156562817118265}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 7734740920771717496311093966}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 7734740948005644126870654072}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 7734741138643135249772470771}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 7734742473105803850384997559}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 7734751814355790343051787603}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 7734817203659708617462459509}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 7735274955935375537618781776}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 7738480552681398934222559470}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 7760985130014485387702979606}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 7921788338802676010858401103}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 9234320988196680367732171600}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 71425080387019299237581315602206452684576535149974900600}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 30961750603810590349247857064423799840484432033}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 15338829685176301053982478623483262665}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 7734740916881156562817118265}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 7734740271159626034197763275}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 7734740271159625998440388944}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1579036649185606989016058003170000440540200}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 5476197676819932806270293750158749}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 5478153345338217420339058790387257}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 5491883052928860437775421358026889}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 5589952392855952105158810537232742}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 6388517017579780708567412894745735}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 4332845747159677930585779132913792972087613758}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 92033872456882562700856446671670331351}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 92039223262527775053441775492777654738}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 92076790291632521653185395090002091862}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 92340526169411056827186748381670089049}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 94225026662516088263063887688102854264}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 109608704096938754872872354702779730819}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 36721210132462755676911165348061266109749}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 36721521350212031063634468842741327714542}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 36723700004030714684954998408885608409007}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 36738956932520846159503161969967220156281}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 36846067578152814807019288973498946049780}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 37611455891659735612115778131693541131782}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 43861755035533826577243997768793428552803}, {"parameter": "", "name": "improved_johnson", "value": 7734740271159625998440388925}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 909985552085263754880532245046080}], "known_codes": [], "upper_bound": 7734740271159625998440388925, "classified": false, "lower_bound": 7730993720265990388220496407, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 7730993719707444524137094407}, {"parameter": "", "name": "sphere_covering", "value": 160547751605388757541}, {"parameter": "", "name": "graham_sloane", "value": 34040971619036}, {"parameter": "", "name": "multicomponent", "value": 7730993720265990388220378415}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 7730993719707444524137094408}, {"parameter": "(6, 11)", "name": "CKMP2019_Lem_41", "value": 7730993719707444537978381609}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 22539340290692258087980899}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 65712362363534280139544}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 191581231380566414402}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 65712920909398363423551}, {"parameter": "(11, 6)", "name": "CKMP2019_Lem_41", "value": 22539340292320671685773699}, {"parameter": "(6, 11)", "name": "CKMP2019_Cor_42", "value": 7730993719707444537978381609}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 22539340290692258087980899}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 65712362363534280139544}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 191581231380566414402}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 65712920909398363423551}, {"parameter": "(11, 6)", "name": "CKMP2019_Cor_42", "value": 22539340292320671685773699}, {"parameter": "6", "name": "linkage_GLT", "value": 7730993719707444537978381609}, {"parameter": "7", "name": "linkage_GLT", "value": 22539340290692258087980899}, {"parameter": "8", "name": "linkage_GLT", "value": 65712362363534280139544}, {"parameter": "9", "name": "linkage_GLT", "value": 191581231380566414402}, {"parameter": "10", "name": "linkage_GLT", "value": 65712920909398363423551}, {"parameter": "11", "name": "linkage_GLT", "value": 22539340292320671685773699}, {"parameter": "6", "name": "improved_linkage", "value": 7730993720265990388220496407}, {"parameter": "7", "name": "improved_linkage", "value": 22539340292320671685776149}, {"parameter": "8", "name": "improved_linkage", "value": 65712362363548121426745}, {"parameter": "9", "name": "improved_linkage", "value": 191581231380566532051}, {"parameter": "10", "name": "improved_linkage", "value": 65712920909398363423551}, {"parameter": "11", "name": "improved_linkage", "value": 22539340292320671685773699}, {"parameter": "12", "name": "improved_linkage", "value": 22539340290726183082792901}, {"parameter": "13", "name": "improved_linkage", "value": 65712362363548161898001}, {"parameter": "6,0", "name": "generalized_linkage", "value": 7730993719707478449132026509}, {"parameter": "6,1", "name": "generalized_linkage", "value": 7730993719709072937735007307}, {"parameter": "6,2", "name": "generalized_linkage", "value": 7730993720265990388220496407}, {"parameter": "7,0", "name": "generalized_linkage", "value": 22539340290692258376223399}, {"parameter": "7,1", "name": "generalized_linkage", "value": 22539340290692271929150451}, {"parameter": "7,2", "name": "generalized_linkage", "value": 22539340292320671685776149}, {"parameter": "8,0", "name": "generalized_linkage", "value": 65712362363534280141994}, {"parameter": "8,1", "name": "generalized_linkage", "value": 65712362363534280257193}, {"parameter": "8,2", "name": "generalized_linkage", "value": 65712362363548121426745}, {"parameter": "9,0", "name": "generalized_linkage", "value": 191581231380566416852}, {"parameter": "9,1", "name": "generalized_linkage", "value": 191581231380566414402}, {"parameter": "9,2", "name": "generalized_linkage", "value": 191581231380566532051}, {"parameter": "10,0", "name": "generalized_linkage", "value": 65712920909398363426001}, {"parameter": "10,1", "name": "generalized_linkage", "value": 65712920909398363423551}, {"parameter": "10,2", "name": "generalized_linkage", "value": 65712920909398363423551}, {"parameter": "11,0", "name": "generalized_linkage", "value": 22539340292320671685776149}, {"parameter": "11,1", "name": "generalized_linkage", "value": 22539340292320671685773699}, {"parameter": "11,2", "name": "generalized_linkage", "value": 22539340292320671685773699}, {"parameter": "12,1", "name": "generalized_linkage", "value": 22539340290726183082792901}, {"parameter": "12,2", "name": "generalized_linkage", "value": 22539340290726183082792901}, {"parameter": "13,2", "name": "generalized_linkage", "value": 65712362363548161898001}, {"parameter": "[6, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707478449132026509}, {"parameter": "[6, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709072937735007307}, {"parameter": "[6, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993720265990388220496407}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692258376223399}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692271929150451}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671685776149}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 65712362363534280141994}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 65712362363534280257193}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 65712362363548121426745}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 191581231380566416852}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 191581231380566414402}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581231380566532051}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 65712920909398363426001}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 65712920909398363423551}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 65712920909398363423551}, {"parameter": "[11, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671685776149}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671685773699}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671685773699}, {"parameter": "[12, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340290726183082792901}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290726183082792901}, {"parameter": "[13, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 65712362363548161898001}, {"parameter": "[6, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 65712920909398363546100}, {"parameter": "[6, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 65712920909398363426001}, {"parameter": "[6, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 65712920909398363426001}, {"parameter": "[6, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671686616842}, {"parameter": "[6, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671685776149}, {"parameter": "[6, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671685776149}, {"parameter": "[6, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671686616842}, {"parameter": "[6, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671685776149}, {"parameter": "[6, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340292320671685776149}, {"parameter": "[6, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340290726183082795351}, {"parameter": "[6, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290726183082795351}, {"parameter": "[6, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692271929152901}, {"parameter": "[6, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692271929152901}, {"parameter": "[6, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692271929152901}, {"parameter": "[6, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290692271929152901}, {"parameter": "[6, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 65712362363534568499693}, {"parameter": "[6, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 65712362363534280259643}, {"parameter": "[6, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 65712362363534280259643}, {"parameter": "[7, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 191582859794164447400}, {"parameter": "[7, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 191582859794164327301}, {"parameter": "[7, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 191582859794164327301}, {"parameter": "[7, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407704053}, {"parameter": "[7, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407704053}, {"parameter": "[7, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407704053}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407704053}, {"parameter": "[7, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581231380854774551}, {"parameter": "[7, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581231380566534501}, {"parameter": "[7, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 191581231380566534501}, {"parameter": "[8, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1628427439200101}, {"parameter": "[8, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1628427439200101}, {"parameter": "[8, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1628413598030549}, {"parameter": "[8, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1628413598030549}, {"parameter": "[9, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 13841407301}, {"parameter": "", "name": "JohnsonLB", "value": 7730984332227344596963677959}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 1341068852296457195107}], "request": [7, 17, 8, 6], "liftedmrdsizebound": 7730993720279532214016765531, "comments": "", "equal_bound_constraints": []}