{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 25949007804224083420097621839124559742097033}, {"parameter": "", "name": "singleton", "value": 1546675492323688689677277254864590473}, {"parameter": "5", "name": "ilp_2", "value": 1353346228472253772712775510450060879}, {"parameter": "7", "name": "ilp_3", "value": 86614199277767115453624156235708310081}, {"parameter": "", "name": "anticode", "value": 1353346228472253772712775510450060879}, {"parameter": "", "name": "linear_programming_bound", "value": 1353346228472253772712775510450060879}, {"parameter": "", "name": "sphere_packing", "value": 25949007804224083420097621839124559742097033}, {"parameter": "1", "name": "ilp_1", "value": 1353346228472220642231784571979735175}, {"parameter": "2", "name": "ilp_1", "value": 1353346228472220642231784572111860288}, {"parameter": "3", "name": "ilp_1", "value": 1353346228472220642231784572111860288}, {"parameter": "4", "name": "ilp_1", "value": 1353346228472253772712775510450060879}, {"parameter": "8", "name": "ilp_4", "value": 86614199277767115453624156235708310081}, {"parameter": "9", "name": "ilp_4", "value": 86614199277767115453624156235708310081}, {"parameter": "10", "name": "ilp_4", "value": 86614199277767115453624156235708310081}, {"parameter": "11", "name": "ilp_4", "value": 86614199277767115453624156235708310081}, {"parameter": "12", "name": "ilp_4", "value": 86614199277767115453624156235708310081}, {"parameter": "13", "name": "ilp_4", "value": 10826734254175895071689389951840129607}, {"parameter": "", "name": "johnson_1", "value": 1353346228472220642231784571979735175}, {"parameter": "", "name": "johnson_2", "value": 10826734254175895071689389951840129607}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 25949007804224083420097621839124559742097033}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 86614199277767115453624156235708310081}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 86614199277767115453624156235708310081}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 86614199277767115453624156235708310081}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 86614199277767115453624156235708310081}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 86614199277767115453624156235708310081}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 86614199277767115453624156235708310081}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 10826734254175895071689389951840129607}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 1353346228472253772712775510450060879}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1353346299052879271535746736863928125}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1353346863698148291954602162427999879}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1353351380877262429327620291315413993}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1353387519395774930007767088230803219}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1353676697039169686648801383540046233}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1355994574571871240078985227827272384}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1374827321665488248717724282769402969}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1546675492323688689677277254864590473}, {"parameter": "0, 8, o", "name": "Ahlswede_Aydinian", "value": 25949007804224083420097621839124559742097033}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 1353346228472253772712775510450060879}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 1353346228472253772712775510450060879}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1353346228472220642231784572111860288}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1353346228472220642231784572111860288}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1353346228472220642231784571979735175}, {"parameter": "1, 7, o", "name": "Ahlswede_Aydinian", "value": 86614199277767115453624156235708310081}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 86614488384829852056315076847043590366}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 86616801310813759377226859207389874899}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 86635309166617746106332766595046290147}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 86783657236735600883711951112178270090}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 87988985298583410705772282310007054493}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 98987603216356624971042374274625033865}, {"parameter": "", "name": "improved_johnson", "value": 1353346228472220642231784571979735153}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 10826738771443594156737718721783833165}], "known_codes": [], "upper_bound": 1353346228472220642231784571979735153, "classified": false, "lower_bound": 1329603218368128872257530152329382378, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1329227995784915872903807060280344576}, {"parameter": "", "name": "sphere_covering", "value": 36138382842075336365076416910036}, {"parameter": "", "name": "graham_sloane", "value": 41300848949870188514440365693733}, {"parameter": "", "name": "multicomponent", "value": 1329227997022855912207201733689212929}, {"parameter": "", "name": "construction_ST_B", "value": 1329552672833594327603291482811277186}, {"parameter": "", "name": "EF_special", "value": 1329558223045414729174409793499570241}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1329228087762311599635931334449037312}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1329552686782072579912432358912688128}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 1329552672833594325333249762002389880}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 1329558223045414729174436187566776385}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1329552593586084349375244746285383680}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 324611788606275615965837744664511}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 1329552674071836744818095406417449025}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1329228089019863722945911246611546112}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1329228089019863721937104930080555008}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1329228089019863721792994140051210240}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 40564998807407506094837106212864}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 40564998807408656764541899374592}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 40564998807407506094837106212864}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 329761599557619926235683491676160}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 329761599557620070346473521020928}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 329761599557621079152790052012032}, {"parameter": "(6, 8)", "name": "CKMP2019_Lem_41", "value": 1329228089019863721792989742004699136}, {"parameter": "(7, 7)", "name": "CKMP2019_Lem_41", "value": 40564998807407503843037292527616}, {"parameter": "(8, 6)", "name": "CKMP2019_Lem_41", "value": 329761599557619926231285445165056}, {"parameter": "(6, 8)", "name": "CKMP2019_Cor_42", "value": 1329228089019863721792989742004699136}, {"parameter": "(7, 7)", "name": "CKMP2019_Cor_42", "value": 40564998807407503843037292527616}, {"parameter": "(8, 6)", "name": "CKMP2019_Cor_42", "value": 329761599557619926231285445165056}, {"parameter": "6", "name": "linkage_GLT", "value": 1329227995784915872903807060280610881}, {"parameter": "7", "name": "linkage_GLT", "value": 40564819207303340847894502572033}, {"parameter": "8", "name": "linkage_GLT", "value": 329669622161893194107011276472321}, {"parameter": "6", "name": "improved_linkage", "value": 1329227997023206018074763118423834624}, {"parameter": "7", "name": "improved_linkage", "value": 40564819212027024859304050944664}, {"parameter": "8", "name": "improved_linkage", "value": 329669622161893212125977040540224}, {"parameter": "9", "name": "improved_linkage", "value": 324698229054163497912555954016257}, {"parameter": "10", "name": "improved_linkage", "value": 324600830002631748787183640907841}, {"parameter": "11", "name": "improved_linkage", "value": 324609093530273617961351383089153}, {"parameter": "12", "name": "improved_linkage", "value": 324610331815695104905967055142913}, {"parameter": "6,0", "name": "generalized_linkage", "value": 1329228089019863721792989742004699136}, {"parameter": "6,1", "name": "generalized_linkage", "value": 1329227997222167388626565967586632192}, {"parameter": "6,2", "name": "generalized_linkage", "value": 1329227995807329097468992325433413120}, {"parameter": "6,3", "name": "generalized_linkage", "value": 1329227995785260701836639957311546712}, {"parameter": "6,4", "name": "generalized_linkage", "value": 1329227997023206018074763118423834624}, {"parameter": "7,0", "name": "generalized_linkage", "value": 40564998807407503843037292527616}, {"parameter": "7,1", "name": "generalized_linkage", "value": 40564822062971758940304646513152}, {"parameter": "7,2", "name": "generalized_linkage", "value": 40564819212787505625421292166008}, {"parameter": "7,3", "name": "generalized_linkage", "value": 40564819207313881942866482295872}, {"parameter": "7,4", "name": "generalized_linkage", "value": 40564819212027024859304050944664}, {"parameter": "8,0", "name": "generalized_linkage", "value": 329761599557619926231285445165056}, {"parameter": "8,1", "name": "generalized_linkage", "value": 329669622162579652293972051763712}, {"parameter": "8,2", "name": "generalized_linkage", "value": 329669622161894553840966166718840}, {"parameter": "8,3", "name": "generalized_linkage", "value": 329669622161893194428865248567881}, {"parameter": "8,4", "name": "generalized_linkage", "value": 329669622161893212125977040540224}, {"parameter": "9,1", "name": "generalized_linkage", "value": 324698229098098157756322877153792}, {"parameter": "9,2", "name": "generalized_linkage", "value": 324698229054163497953334750792568}, {"parameter": "9,3", "name": "generalized_linkage", "value": 324698229054163497912497169347721}, {"parameter": "9,4", "name": "generalized_linkage", "value": 324698229054163497912555954016257}, {"parameter": "10,2", "name": "generalized_linkage", "value": 324600830002631749113964211391352}, {"parameter": "10,3", "name": "generalized_linkage", "value": 324600830002631748787183640678985}, {"parameter": "10,4", "name": "generalized_linkage", "value": 324600830002631748787183640907841}, {"parameter": "11,3", "name": "generalized_linkage", "value": 324609093530273617961351383126601}, {"parameter": "11,4", "name": "generalized_linkage", "value": 324609093530273617961351383089153}, {"parameter": "12,4", "name": "generalized_linkage", "value": 324610331815695104905967055142913}, {"parameter": "[6, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329228089019863721792989742004699136}, {"parameter": "[6, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227997222167388626565967586632192}, {"parameter": "[6, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995807329097468992325433413120}, {"parameter": "[6, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1329227995785260701836639957311546712}, {"parameter": "[6, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1329227997023206018074763118423834624}, {"parameter": "[7, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 40564998807407503843037292527616}, {"parameter": "[7, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564822062971758940304646513152}, {"parameter": "[7, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819212787505625421292166008}, {"parameter": "[7, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564819207313881942866482295872}, {"parameter": "[7, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564819212027024859304050944664}, {"parameter": "[8, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 329761599557619926231285445165056}, {"parameter": "[8, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 329669622162579652293972051763712}, {"parameter": "[8, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 329669622161894553840966166718840}, {"parameter": "[8, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 329669622161893194428865248567881}, {"parameter": "[8, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 329669622161893212125977040540224}, {"parameter": "[9, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324698229098098157756322877153792}, {"parameter": "[9, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324698229054163497953334750792568}, {"parameter": "[9, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 324698229054163497912497169347721}, {"parameter": "[9, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 324698229054163497912555954016257}, {"parameter": "[10, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324600830002631749113964211391352}, {"parameter": "[10, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 324600830002631748787183640678985}, {"parameter": "[10, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 324600830002631748787183640907841}, {"parameter": "[11, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 324609093530273617961351383126601}, {"parameter": "[11, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 324609093530273617961351383089153}, {"parameter": "[12, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 324610331815695104905967055142913}, {"parameter": "[6, 2, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 324611569755725166914205099491328}, {"parameter": "[6, 2, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 324519791948571897704029791977472}, {"parameter": "[6, 2, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 324613026546314901346112644055040}, {"parameter": "[6, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 324610332160418634783414300966912}, {"parameter": "[6, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518554353265365573238993453056}, {"parameter": "[6, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 324611788951008369215321845530624}, {"parameter": "[6, 3, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 324610331820408248016799845580800}, {"parameter": "[6, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518554013254978806624538066944}, {"parameter": "[6, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 324611788610997982448707390144512}, {"parameter": "[6, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324610354223229382443867756822528}, {"parameter": "[6, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518576416076113233692449308672}, {"parameter": "[6, 4, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 324611811013819116875775301386240}, {"parameter": "[6, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 324610331815687196585021392551936}, {"parameter": "[6, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518554008533927374846085038080}, {"parameter": "[6, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 324611788606276931016928937115648}, {"parameter": "[6, 4, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 324610331820483205928997800116224}, {"parameter": "[6, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518554013329936718822492602368}, {"parameter": "[6, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 324611788611072940360905344679936}, {"parameter": "[6, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 324519993265576222216255778324480}, {"parameter": "[6, 5, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 324519990464729137891464800108544}, {"parameter": "[6, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518556809465174643468165447680}, {"parameter": "[6, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518554008618090318677187231744}, {"parameter": "[6, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518556809381032573384280244224}, {"parameter": "[6, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518554008533948248593302028288}, {"parameter": "[6, 5, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518556814104677752542901043200}, {"parameter": "[6, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518554013257593427751922827264}, {"parameter": "[6, 6, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 324610332165791767074529072644096}, {"parameter": "[6, 6, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518554014012257848831063621632}, {"parameter": "[6, 6, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518554008619447107071625658368}, {"parameter": "[6, 6, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518554008533928102947213803520}, {"parameter": "[6, 6, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518554013256176085010709479424}, {"parameter": "[7, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1417544865814858287334293504}, {"parameter": "[7, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1417544865814858287334293504}, {"parameter": "[7, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1417540153986798545736040448}, {"parameter": "[7, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1417540153986798545736040448}, {"parameter": "[7, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1417540143466389816198561792}, {"parameter": "[7, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1417540143466389816198561792}, {"parameter": "[7, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1417545624578429042355339264}, {"parameter": "[7, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1417545624578429042355339264}, {"parameter": "[7, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1417540143448415618582970368}, {"parameter": "[7, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1417540143448415618582970368}, {"parameter": "[7, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1417540143466675757941260288}, {"parameter": "[7, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1417540143466675757941260288}, {"parameter": "[7, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1420351192214986697104687104}, {"parameter": "[7, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1417540143469284269517176832}, {"parameter": "[7, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1417540143448416256689963008}, {"parameter": "[7, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1417540143466399790186627072}, {"parameter": "[8, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 93234985532970739541311488000}, {"parameter": "[8, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 93234985532953046818672607232}, {"parameter": "[8, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 93234985532952725211521482752}, {"parameter": "[8, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 93234985534291213334427205632}, {"parameter": "[8, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 93234985532952725144029102080}, {"parameter": "[8, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 93234985532952725212612263936}, {"parameter": "[6, 2, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 184794259279961364692903919616}, {"parameter": "", "name": "JohnsonLB", "value": 1329603218368128872257530152329382378}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 2596793423099606754838093648241152}], "request": [8, 14, 4, 6], "liftedmrdsizebound": 1329611477132721910830022396155568193, "comments": "", "equal_bound_constraints": []}