{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 435352316509302207932941670577738326850779860686473}, {"parameter": "", "name": "singleton", "value": 25949007804224083420097621839124559742097033}, {"parameter": "6", "name": "ilp_2", "value": 22705392824638696612188877956815408503792193}, {"parameter": "8", "name": "ilp_3", "value": 181643152070538254145911087987140195077398663}, {"parameter": "", "name": "anticode", "value": 22705392824638696612188877956815408503792193}, {"parameter": "", "name": "linear_programming_bound", "value": 22705392824638696612188877956815408503792193}, {"parameter": "", "name": "sphere_packing", "value": 435352316509302207932941670577738326850779860686473}, {"parameter": "1", "name": "ilp_1", "value": 22705392824638140774688065129543573243994807}, {"parameter": "2", "name": "ilp_1", "value": 22705392824638140774688065129543573258679414}, {"parameter": "3", "name": "ilp_1", "value": 22705392824638140774688065131760265861083201}, {"parameter": "4", "name": "ilp_1", "value": 22705392824638140774688065131760265861083201}, {"parameter": "5", "name": "ilp_1", "value": 22705392824638696612188877956815408503792193}, {"parameter": "9", "name": "ilp_4", "value": 181642545771102654248306970699656864065486990}, {"parameter": "10", "name": "ilp_4", "value": 181642545770818065430961119403264627985474645}, {"parameter": "11", "name": "ilp_4", "value": 181642545770818065159821635186652392230261319}, {"parameter": "12", "name": "ilp_4", "value": 181642545770818065159821578691528761742267399}, {"parameter": "13", "name": "ilp_4", "value": 181642545770818065159821578691528211883397703}, {"parameter": "14", "name": "ilp_4", "value": 181642545770818065159821634032001226171978311}, {"parameter": "", "name": "johnson_1", "value": 22705392824638140774688065129543573243994807}, {"parameter": "", "name": "johnson_2", "value": 181642545770818065159821634032001226171978311}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 435352316509302207932941670577738326850779860686473}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 181643152070538254145911087987140195077398663}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 181642545771102654248306970699656864065486990}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 181642545770818065430961119403264627985474645}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 181642545770818065159821635186652392230261319}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 181642545770818065159821578691528761742267399}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 181642545770818065159821578691528211883397703}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 181642545770818065159821634032001226171978311}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 22705392824638696612188877956815408503792193}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 22705394008813329143688527433697233763495699}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 22705403482214836068388050423064988586338443}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 22705479269711479602426804072061578831252505}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 22706085587898823372726067005035337383107321}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 22710937299390194772270333225781274108437230}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 22749825760597515358585750245106414330841667}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 23065794491423909744105441118468030737916582}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 25949007804224083420097621839124559742097033}, {"parameter": "0, 8, o", "name": "Ahlswede_Aydinian", "value": 435352316509302207932941670577738326850779860686473}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 22705392824638696612188877956815408503792193}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 22705392824638696612188877956815408503792193}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 22705392824638140774688065131760265861083201}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 22705392824638140774688065131760265861083201}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 22705392824638140774688065129543573258679414}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 22705392824638140774688065129543572874895879}, {"parameter": "1, 7, o", "name": "Ahlswede_Aydinian", "value": 181643152070538254145911087987140195077398663}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 181643227857971656742613344384136733957367166}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 181643834159715595906687258110347643929542177}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 181648684719381524372658987257023748228382551}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 181687498524704416760144439507415090652267409}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 181998607124996239719121058949348072712952199}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 184526364485884174608224142449898235366143950}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 207592149047991945127896428337152713645086345}, {"parameter": "", "name": "improved_johnson", "value": 22705392824638140774688065129543573243994775}], "known_codes": [], "upper_bound": 22705392824638140774688065129543572874895879, "classified": false, "lower_bound": 22307051025687450582389478169327014155011299, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 22300745198530623141535718272648361505980416}, {"parameter": "", "name": "sphere_covering", "value": 75787465023593105124914558863849401567}, {"parameter": "", "name": "graham_sloane", "value": 86614199277767115453624156235708310081}, {"parameter": "", "name": "multicomponent", "value": 22300745198571187960743030836868292865425409}, {"parameter": "", "name": "EF_special", "value": 22306285465490013824377105083555006005322241}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 22300843937692456135550119931254776384192512}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 22306285465490553868002054600166649426159313}, {"parameter": "", "name": "two_pivot_block_construction", "value": 22306191045953951723687946161295079642234880}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 85094651534950708208088043343770025983}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 22300745222590427857628061669961351940800512}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 22300745222590427857632782883522716979167232}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 22300745222590427857628134304016142172160000}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 22300745222590427857628060517321322310664192}, {"parameter": "(7,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 183809753563228630267502539747796975616}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 183809753563228630341289234567658471424}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 183809753563228634989868741142465478656}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 183809753563228630268655179777427111936}, {"parameter": "(7, 8)", "name": "CKMP2019_Lem_41", "value": 22300745222590427857628060517039847333953536}, {"parameter": "(8, 7)", "name": "CKMP2019_Lem_41", "value": 183809753563228630267502258272820264960}, {"parameter": "(7, 8)", "name": "CKMP2019_Cor_42", "value": 22300745222590427857628060517039847333953536}, {"parameter": "(8, 7)", "name": "CKMP2019_Cor_42", "value": 183809753563228630267502258272820264960}, {"parameter": "7", "name": "linkage_GLT", "value": 22300745198530623141535718272648361505980417}, {"parameter": "8", "name": "linkage_GLT", "value": 85070591730234615865843651857942052865}, {"parameter": "7", "name": "improved_linkage", "value": 22300745198571199414003654903027375800525629}, {"parameter": "8", "name": "improved_linkage", "value": 85070591730253964066489964001846872426}, {"parameter": "9", "name": "improved_linkage", "value": 86420629478272878361828138474082439761}, {"parameter": "10", "name": "improved_linkage", "value": 85257798372288346141166576271093661769}, {"parameter": "11", "name": "improved_linkage", "value": 85092152646133309573431910056845148673}, {"parameter": "12", "name": "improved_linkage", "value": 85094286348653282384738053704749416449}, {"parameter": "13", "name": "improved_linkage", "value": 85094610958678240272610585834082533377}, {"parameter": "7,0", "name": "generalized_linkage", "value": 22300745222590427857628060517039847333953536}, {"parameter": "7,1", "name": "generalized_linkage", "value": 22300745198913249130248000503687794950668288}, {"parameter": "7,2", "name": "generalized_linkage", "value": 22300745198536521231368181392375098390819328}, {"parameter": "7,3", "name": "generalized_linkage", "value": 22300745198530714946401992020713051085378296}, {"parameter": "7,4", "name": "generalized_linkage", "value": 22300745198530624553954365453434866557808442}, {"parameter": "7,5", "name": "generalized_linkage", "value": 22300745198571199414003654903027375800525629}, {"parameter": "8,0", "name": "generalized_linkage", "value": 183809753563228630267502258272820264960}, {"parameter": "8,1", "name": "generalized_linkage", "value": 85070592467313437944606400586851287040}, {"parameter": "8,2", "name": "generalized_linkage", "value": 85070591731697069040465057244308185600}, {"parameter": "8,3", "name": "generalized_linkage", "value": 85070591730237428389457414208122328376}, {"parameter": "8,4", "name": "generalized_linkage", "value": 85070591730234621262883812341687147289}, {"parameter": "8,5", "name": "generalized_linkage", "value": 85070591730253964066489964001846872426}, {"parameter": "9,1", "name": "generalized_linkage", "value": 86421006954607096768558759360620920832}, {"parameter": "9,2", "name": "generalized_linkage", "value": 86420629478273229904836442262303285760}, {"parameter": "9,3", "name": "generalized_linkage", "value": 86420629478272878439625406449741052792}, {"parameter": "9,4", "name": "generalized_linkage", "value": 86420629478272878352623061358147352273}, {"parameter": "9,5", "name": "generalized_linkage", "value": 86420629478272878361828138474082439761}, {"parameter": "10,2", "name": "generalized_linkage", "value": 85257798372310846169304910536295981568}, {"parameter": "10,3", "name": "generalized_linkage", "value": 85257798372288346141169186185380252536}, {"parameter": "10,4", "name": "generalized_linkage", "value": 85257798372288346141166571943151379529}, {"parameter": "10,5", "name": "generalized_linkage", "value": 85257798372288346141166576271093661769}, {"parameter": "11,3", "name": "generalized_linkage", "value": 85092152646133309573452824641660930936}, {"parameter": "11,4", "name": "generalized_linkage", "value": 85092152646133309573431910056843317833}, {"parameter": "11,5", "name": "generalized_linkage", "value": 85092152646133309573431910056845148673}, {"parameter": "12,4", "name": "generalized_linkage", "value": 85094286348653282384738053704749716041}, {"parameter": "12,5", "name": "generalized_linkage", "value": 85094286348653282384738053704749416449}, {"parameter": "13,5", "name": "generalized_linkage", "value": 85094610958678240272610585834082533377}, {"parameter": "[7, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22300745222590427857628060517039847333953536}, {"parameter": "[7, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22300745198913249130248000503687794950668288}, {"parameter": "[7, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300745198536521231368181392375098390819328}, {"parameter": "[7, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300745198530714946401992020713051085378296}, {"parameter": "[7, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300745198530624553954365453434866557808442}, {"parameter": "[7, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 22300745198571199414003654903027375800525629}, {"parameter": "[8, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 183809753563228630267502258272820264960}, {"parameter": "[8, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070592467313437944606400586851287040}, {"parameter": "[8, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591731697069040465057244308185600}, {"parameter": "[8, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 85070591730237428389457414208122328376}, {"parameter": "[8, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234621262883812341687147289}, {"parameter": "[8, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 85070591730253964066489964001846872426}, {"parameter": "[9, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 86421006954607096768558759360620920832}, {"parameter": "[9, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 86420629478273229904836442262303285760}, {"parameter": "[9, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 86420629478272878439625406449741052792}, {"parameter": "[9, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 86420629478272878352623061358147352273}, {"parameter": "[9, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 86420629478272878361828138474082439761}, {"parameter": "[10, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 85257798372310846169304910536295981568}, {"parameter": "[10, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 85257798372288346141169186185380252536}, {"parameter": "[10, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 85257798372288346141166571943151379529}, {"parameter": "[10, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 85257798372288346141166576271093661769}, {"parameter": "[11, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 85092152646133309573452824641660930936}, {"parameter": "[11, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 85092152646133309573431910056843317833}, {"parameter": "[11, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 85092152646133309573431910056845148673}, {"parameter": "[12, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 85094286348653282384738053704749716041}, {"parameter": "[12, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 85094286348653282384738053704749416449}, {"parameter": "[13, 2],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 85094610958678240272610585834082533377}, {"parameter": "[7, 2, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 85094692099769915511428891238272598016}, {"parameter": "[7, 2, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 85094692099769915511428891238272598016}, {"parameter": "[7, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 85094651536362733565397930219826839552}, {"parameter": "[7, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85094651536362733565397930219826839552}, {"parameter": "[7, 3, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 85094651534970051021201877410565324800}, {"parameter": "[7, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 85094651534970051021201877410565324800}, {"parameter": "[7, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 85094651626732312677553747448406474752}, {"parameter": "[7, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85094651626732312677553747448406474752}, {"parameter": "[7, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 85094651534950708881394202034168659968}, {"parameter": "[7, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85094651534950708881394202034168659968}, {"parameter": "[7, 4, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 85094651534970357984246635974358990848}, {"parameter": "[7, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 85094651534970357984246635974358990848}, {"parameter": "[7, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 85094657420089683234739425832178024448}, {"parameter": "[7, 5, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 85094657420089683234739425832178024448}, {"parameter": "[7, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85094651534950751972967493887032557568}, {"parameter": "[7, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 85094651534950751972967493887032557568}, {"parameter": "[7, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85094651534950708892079313207500472320}, {"parameter": "[7, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 85094651534950708892079313207500472320}, {"parameter": "[7, 5, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 85094651534970093587064148552750989312}, {"parameter": "[7, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 85094651534970093587064148552750989312}, {"parameter": "[7, 6, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 85095028183668353841677735584702922752}, {"parameter": "[7, 6, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 85094651534953514461032525504043810816}, {"parameter": "[7, 6, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 85094651534950752667499389044622622720}, {"parameter": "[7, 6, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 85094651534950708882875881924702765056}, {"parameter": "[7, 6, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 85094651534970055923586571218970476544}, {"parameter": "[8, 2, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 98739202397832564518113288376176082944}, {"parameter": "[8, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 98739202397813227100672095869424631808}, {"parameter": "[8, 3, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 98739202397813221714222826346235559936}, {"parameter": "[8, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 98739202397816028052954080704087457792}, {"parameter": "[8, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 98739202397813221705002027166589779968}, {"parameter": "[8, 4, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 98739202397813221714369197732171612160}, {"parameter": "[8, 5, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 98739202399252828864700618133274099712}, {"parameter": "[8, 5, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 98739202397813221706337625292993986560}, {"parameter": "[8, 5, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 98739202397813221705002067996849471488}, {"parameter": "[8, 5, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 98739202397813221714243123331037396992}, {"parameter": "", "name": "JohnsonLB", "value": 22307051025687450582389478169327014155011299}, {"parameter": "", "name": "JohnsonLB_special", "value": 22307051025687450582389478169327014155011299}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 348535710822017268036094621221922721607752}], "request": [8, 15, 4, 7], "liftedmrdsizebound": 22307179141215234093263194177063512131613833, "comments": "", "equal_bound_constraints": []}