{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1072899407235501640594173584630829335134329469413072927564629311304442562608422652286}, {"parameter": "", "name": "singleton", "value": 1089491124906108051165135239699867397777196296355089299912829976}, {"parameter": "6", "name": "ilp_2", "value": 956480770814138996591287443404989870665739868000412801893363480}, {"parameter": "7", "name": "ilp_2", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "9", "name": "ilp_3", "value": 22154727289187692946051393846384899192720638345033996809474450123648443963726}, {"parameter": "10", "name": "ilp_3", "value": 508313098778064808275530746240229804692728081381435498208021123959335}, {"parameter": "", "name": "anticode", "value": 956480770814138996591287443404989870665739868000412801893363480}, {"parameter": "", "name": "linear_programming_bound", "value": 956480770814138996591287443404989870665739868000412801893363480}, {"parameter": "", "name": "sphere_packing", "value": 5647923434942666828522445363212797918234998723806816770403447733088}, {"parameter": "1", "name": "ilp_1", "value": 956480769593284343861899990598750052668059471054976885656530203}, {"parameter": "2", "name": "ilp_1", "value": 956480769593284343861899990598750052668059471054976911003831100}, {"parameter": "3", "name": "ilp_1", "value": 956480769593284343861899990598750052668060236724537556033496041}, {"parameter": "4", "name": "ilp_1", "value": 956480769593284343861899990599292669830315625161626569889985821}, {"parameter": "5", "name": "ilp_1", "value": 956480769593284343878930487829589576829017195543354264815756541}, {"parameter": "11", "name": "ilp_4", "value": 508312625793956886833020300418390613254603936709310303922371632380930}, {"parameter": "12", "name": "ilp_4", "value": 508312625793956886833020300418390613254603936709310303922371632380930}, {"parameter": "13", "name": "ilp_4", "value": 508312625793956886832966255838323271129203702363678891385429075964857}, {"parameter": "14", "name": "ilp_4", "value": 508312625793956886832966255835080576497414854221314066320691116223067}, {"parameter": "15", "name": "ilp_4", "value": 508312625793956886832966255835080576494192703310513051509756948076538}, {"parameter": "16", "name": "ilp_4", "value": 508312625793956886832966255838184562641968642883291059784661177268202}, {"parameter": "17", "name": "ilp_4", "value": 6275470339286641200714565503094754384878966766674373136770867717886}, {"parameter": "18", "name": "ilp_4", "value": 77474942260626851250544561853403965758630920438567049926053946083}, {"parameter": "", "name": "johnson_1", "value": 956480769593284343861899990598750052668059471054976885656530203}, {"parameter": "", "name": "johnson_2", "value": 77474942260626851250544561853403965758630920438567049926053946083}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1072899407235501640594173584630829335134329469413072927564629311304442562608422652286}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 22154727289187692946051393846384899192720638345033996809474450123648443963726}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 508313098778064808275530746240229804692728081381435498208021123959335}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 508312625793956886833020300418390613254603936709310303922371632380930}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 508312625793956886833020300418390613254603936709310303922371632380930}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 508312625793956886832966255838323271129203702363678891385429075964857}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 508312625793956886832966255835080576497414854221314066320691116223067}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 508312625793956886832966255835080576494192703310513051509756948076538}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 508312625793956886832966255838184562641968642883291059784661177268202}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 6275470339286641200714565503094754384878966766674373136770867717886}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 77474942260626851250544561853403965758630920438567049926053946083}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 5647923434942666828522445363212797918234998723806816770403447733088}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 5647913989658587576904640670551054404737454696165067980525098491597}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 5647914002615081813437360826821039234223913193013501146182871574632}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 5647914119241088842107083677579812892032635519716721966549155912652}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 5647915168875368850594493248828742135077337111148553736997667260170}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 5647924615601445152999198514128099086896063088186232059425499435147}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 5648009637558210232083287461238855094977562405577056670367589314895}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 627642697988540081233550769808124897935758060681649718481572850323}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 69823226214271639503922069835571010951393586514715882767210339448}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 7844337903635720408436558369447132168304886402480881195550488094}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 968436757704708895038617281273826579399334236485289514875132039}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 956480770814138996591287443404989870665739868000412801893363480}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 956480770844242211650820861327496771991081718286167451076283995}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 956480771115171147264216554679088147910850398935848757330511138}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 956480773553531574069967307035450937384378902998248349975042058}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 956480795498775924422086390666710308983227564991954912377838837}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 956480993006016314729125780791718159994003586497886261438384205}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 956482770574520041952092121526120803005609887010259468338072525}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 956498768961615539470930741991790537411563660037531633382909514}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 956642776364333435455748285778897082114826813935979869517865727}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 957940620854724235482051628523158867294868453806400432753807916}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 969767028220066977146753115611418439407563816699123835048496300}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 1089491124906108051165135239699867397777196296355089299912829976}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1072899407235501640594173584630829335134329469413072927564629311304442562608422652286}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 956480770814138996591287443404989870665739868000412801893363480}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 956480769593284343878930487829589576829017195543354264815756541}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 956480769593284343861899990599292669830315625161626569889985821}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 956480769593284343861899990598750052668060236724537556033496041}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 956480769593284343861899990598750052668049623343667395162467678}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 956480769593284343861899990598750052668049623343667370245568482}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 22154727289187692946051393846384899192720638345033996809474450123648443963726}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 5647923434942666828522445363212797918234998723806816770403447733088}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 5647924484578872911409639192155148660667130877508781434522203913192}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 5647933931322283918886268210274008158488066399034560256337033931461}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 5648018953435064217053884721607273852393519322729919934240187401046}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 5648784267656201749641165918083583387744783073567076365417004523527}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 5655681440142421742711681036099827723896393467910400208824529847642}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 5718522345016672759490706696848665528590510391154875470412082202662}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 508313098778064808275530746240229804692728081381435498208021123959335}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 508313110440686891233678207540505821849233202158544561358406870153178}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 508313215404307553039272166487508058331133674925428524144595911328738}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 508314160078668642392946181590161273093229709923949518150880440453772}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 508322662291706662640533919410143046666279144835013581658800683378385}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 508399193857669509251853464730986891754317714110555378890485659787721}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 509088922785480456531217745640431864228127056382751967977288806200089}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 515373971200312477595895922387830453088729444613372242725518444473519}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 579000387231826230336220630661298699957563196973721335147740402322870}, {"parameter": "", "name": "improved_johnson", "value": 956480769593284343861899990598750052668059471054976885656530180}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 697274482123209380977029519174787222454444167637704079706173835105}], "known_codes": [], "upper_bound": 956480769593284343861899990598750052668049623343667370245568482, "classified": false, "lower_bound": 955004953261859955471378337350020164824374758005196855944653052, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 955004950796825236893190701774414011919935138974343129836853841}, {"parameter": "", "name": "sphere_covering", "value": 2973162707356188106270803811772170944011299887049549}, {"parameter": "", "name": "graham_sloane", "value": 4703635220191569106926403127189726462967356010302}, {"parameter": "", "name": "multicomponent", "value": 955004950796825243255876142910356370394843667955954233236933524}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 955004950796825244150625392217946352975602182391936112656835762}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 955004953261859955471378337350020164824374758005196855944653052}, {"parameter": "", "name": "two_pivot_block_construction", "value": 955004953261859926197585119529325666601753141905094578108628992}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 273892745802690537523312089490050729852457500959327681}, {"parameter": "(11,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 955004950796825237700540405520378162669561967068080444453065373}, {"parameter": "(11,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 955004950796825237700540405520378166856343031286964742161157541}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 955004950796825237700540405520378162152675415929946580538486093}, {"parameter": "(11,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 955004950796825237700540405520378166856343031286964742161157541}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 955004950796825237700540405520378162146214334190814542536552973}, {"parameter": "(11,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 955004950796825237700540405520378162146214443459709038751913061}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1797010299914431224069066932847907980332840539316262261531}, {"parameter": "(10,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 1797010299914431224069066932847856291677726725929870803603}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1797010299914431224069066932847907980332840539316262261531}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1797010299914431224069066932848373178228864859793785382883}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1797010299914431224069066932847849831580608401440183104243}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1797010299914431224069066932847849910362280576129081734723}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 3381391923478036426859721556544468165737721972292723}, {"parameter": "(9,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 3381391923478036426859721556465686493563033073662243}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 3381391923478036426859722079812334750021386675940883}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 3381391923478036426859721614614438725700909152819531}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 3381391923478036426859721562925783611887522761361603}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 3381391923478036426859721614614438725700909152819531}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 274268468828074601617148218957866588068996905205829621}, {"parameter": "(8,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 274268468828074601617148218957866478800102408990469533}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 274268468828074601617148223667995175896252608615074101}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 274268468828074601617148218964327560539234446992402653}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 274268468828074601617148223667995175896252608615074101}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 274268468828074601617148219481214111677368310906981933}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 955004950796825237700540405520378162146214334040719907239553852}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1797010299914431224069066932847849830595837499256571871362}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 3381391923478036426859721556464701722660849462429362}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 274268468828074601617148218957866478650007773693470412}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 955004950796825237700540405520378162146214334040719907239553852}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1797010299914431224069066932847849830595837499256571871362}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 3381391923478036426859721556464701722660849462429362}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 274268468828074601617148218957866478650007773693470412}, {"parameter": "8", "name": "linkage_GLT", "value": 955004950796825236893190701774414011919935138974343129879959612}, {"parameter": "9", "name": "linkage_GLT", "value": 1797010299914431210413179829509605039731475627537851106402}, {"parameter": "10", "name": "linkage_GLT", "value": 3381391913522726342930221472392241170198527451848562}, {"parameter": "11", "name": "linkage_GLT", "value": 274268461570639911173615877902199435232414790873488492}, {"parameter": "8", "name": "improved_linkage", "value": 955004950796825243255876161639860216781461189686768003794204404}, {"parameter": "9", "name": "improved_linkage", "value": 1797010299914431210560988659305471391628669559286606480481}, {"parameter": "10", "name": "improved_linkage", "value": 3381391913522726342933655156221409046767887551853552}, {"parameter": "11", "name": "improved_linkage", "value": 274268461570639911173615877902279201675720725058791257}, {"parameter": "12", "name": "improved_linkage", "value": 273893260462321677321076531044574134720938289190121368}, {"parameter": "13", "name": "improved_linkage", "value": 273892745781866202582727678013541697395093308393357017}, {"parameter": "14", "name": "improved_linkage", "value": 273892745703297057826268722045644811686875992828034752}, {"parameter": "15", "name": "improved_linkage", "value": 273892745702305890397553045147995428058523453651681281}, {"parameter": "16", "name": "improved_linkage", "value": 273892745801584560321182955539249604782702235584653924}, {"parameter": "8,0", "name": "generalized_linkage", "value": 955004950796825237700540405520378162146214334040719907239553852}, {"parameter": "8,1", "name": "generalized_linkage", "value": 955004950796825236894296812007635455758156720419981417026796445}, {"parameter": "8,2", "name": "generalized_linkage", "value": 955004950796825236893192218867436941427092520726325493203839807}, {"parameter": "8,3", "name": "generalized_linkage", "value": 955004950796825236893190703622024341453902834921903180922431085}, {"parameter": "8,4", "name": "generalized_linkage", "value": 955004950796825236893190849583243807786287036168274878592227921}, {"parameter": "8,5", "name": "generalized_linkage", "value": 955004950796825243255876161639860216781461189686768003794204404}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1797010299914431224069066932847849830595837499256571871362}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1797010299914431210582025168495438311645618769429747668812}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1797010299914431210413205525572554896860464217846229802925}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1797010299914431210413179829552526086611305917702304646745}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1797010299914431210413179832943288868899352196897951111392}, {"parameter": "9,5", "name": "generalized_linkage", "value": 1797010299914431210560988659305471391628669559286606480481}, {"parameter": "10,0", "name": "generalized_linkage", "value": 3381391923478036426859721556464701722660849462429362}, {"parameter": "10,1", "name": "generalized_linkage", "value": 3381391913522726343247503907912130530640772922860882}, {"parameter": "10,2", "name": "generalized_linkage", "value": 3381391913522726342930657240968558681619626149840732}, {"parameter": "10,3", "name": "generalized_linkage", "value": 3381391913522726342930221472393238252590334174525217}, {"parameter": "10,4", "name": "generalized_linkage", "value": 3381391913522726342930221472472007613504461637151327}, {"parameter": "10,5", "name": "generalized_linkage", "value": 3381391913522726342933655156221409046767887551853552}, {"parameter": "11,0", "name": "generalized_linkage", "value": 274268468828074601617148218957866478650007773693470412}, {"parameter": "11,1", "name": "generalized_linkage", "value": 274268461570639911199315803524344340252875887587477292}, {"parameter": "11,2", "name": "generalized_linkage", "value": 274268461570639911173615877902290418810178492974871852}, {"parameter": "11,3", "name": "generalized_linkage", "value": 274268461570639911173615877902199435232437985399171255}, {"parameter": "11,4", "name": "generalized_linkage", "value": 274268461570639911173615877902199435234267814549729975}, {"parameter": "11,5", "name": "generalized_linkage", "value": 274268461570639911173615877902279201675720725058791257}, {"parameter": "12,1", "name": "generalized_linkage", "value": 273893260462321679402770941543617350662926673547273965}, {"parameter": "12,2", "name": "generalized_linkage", "value": 273893260462321677321076531045392986920837340570247885}, {"parameter": "12,3", "name": "generalized_linkage", "value": 273893260462321677321076531044574134719085265518722632}, {"parameter": "12,4", "name": "generalized_linkage", "value": 273893260462321677321076531044574134719085265556985655}, {"parameter": "12,5", "name": "generalized_linkage", "value": 273893260462321677321076531044574134720938289190121368}, {"parameter": "13,2", "name": "generalized_linkage", "value": 273892745781866202582727678020911367212740740001481007}, {"parameter": "13,3", "name": "generalized_linkage", "value": 273892745781866202582727678013541697395093308393836051}, {"parameter": "13,4", "name": "generalized_linkage", "value": 273892745781866202582727678013541697395093308350251247}, {"parameter": "13,5", "name": "generalized_linkage", "value": 273892745781866202582727678013541697395093308393357017}, {"parameter": "14,3", "name": "generalized_linkage", "value": 273892745703297057826268722045644811686875993220297988}, {"parameter": "14,4", "name": "generalized_linkage", "value": 273892745703297057826268722045644811686875992828034752}, {"parameter": "14,5", "name": "generalized_linkage", "value": 273892745703297057826268722045644811686875992828034752}, {"parameter": "15,4", "name": "generalized_linkage", "value": 273892745702305890397553045147995428058523453651681281}, {"parameter": "15,5", "name": "generalized_linkage", "value": 273892745702305890397553045147995428058523453651681281}, {"parameter": "16,5", "name": "generalized_linkage", "value": 273892745801584560321182955539249604782702235584653924}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 955004950796825237700540405520378162146214334040719907239553852}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 955004950796825236894296812007635455758156720419981417026796445}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 955004950796825236893192218867436941427092520726325493203839807}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 955004950796825236893190703622024341453902834921903180922431085}, {"parameter": "[8, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 955004950796825236893190849583243807786287036168274878592227921}, {"parameter": "[8, 11],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 955004950796825243255876161639860216781461189686768003794204404}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914431224069066932847849830595837499256571871362}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914431210582025168495438311645618769429747668812}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914431210413205525572554896860464217846229802925}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914431210413179829552526086611305917702304646745}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914431210413179832943288868899352196897951111392}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914431210560988659305471391628669559286606480481}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3381391923478036426859721556464701722660849462429362}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522726343247503907912130530640772922860882}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522726342930657240968558681619626149840732}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522726342930221472393238252590334174525217}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522726342930221472472007613504461637151327}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522726342933655156221409046767887551853552}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 274268468828074601617148218957866478650007773693470412}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 274268461570639911199315803524344340252875887587477292}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 274268461570639911173615877902290418810178492974871852}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 274268461570639911173615877902199435232437985399171255}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 274268461570639911173615877902199435234267814549729975}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 274268461570639911173615877902279201675720725058791257}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 273893260462321679402770941543617350662926673547273965}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 273893260462321677321076531045392986920837340570247885}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 273893260462321677321076531044574134719085265518722632}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 273893260462321677321076531044574134719085265556985655}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 273893260462321677321076531044574134720938289190121368}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892745781866202582727678020911367212740740001481007}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892745781866202582727678013541697395093308393836051}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892745781866202582727678013541697395093308350251247}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892745781866202582727678013541697395093308393357017}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892745703297057826268722045644811686875993220297988}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892745703297057826268722045644811686875992828034752}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892745703297057826268722045644811686875992828034752}, {"parameter": "[15, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892745702305890397553045147995428058523453651681281}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892745702305890397553045147995428058523453651681281}, {"parameter": "[16, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892745801584560321182955539249604782702235584653924}, {"parameter": "[8, 3, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 273892752164270001457125313490730734293875929261358723}, {"parameter": "[8, 3, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 273892751358026293642794144125297573340840138500155203}, {"parameter": "[8, 3, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892751358026293642794144125297573340840138500155203}, {"parameter": "[8, 3, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892752165375978659254447964879492390991731892649773}, {"parameter": "[8, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 273892745801584708130012369361825287838551904754440003}, {"parameter": "[8, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892744995341000315681199996392126885516113993236483}, {"parameter": "[8, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892744995341000315681199996392126885516113993236483}, {"parameter": "[8, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892745802690685332141503835974045935667707385731053}, {"parameter": "[8, 4, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 273892745801584708130012369361825287838551904754440003}, {"parameter": "[8, 4, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892744995341000315681199996392126885516113993236483}, {"parameter": "[8, 4, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892744995341000315681199996392126885516113993236483}, {"parameter": "[8, 4, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892745802690685332141503835974045935667707385731053}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892745801584562168793279774178259549975767727820006}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340854354462110408745098596939976966616486}, {"parameter": "[8, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340854354462110408745098596939976966616486}, {"parameter": "[8, 5, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892745802690539370922414248327017647091570359111056}, {"parameter": "[8, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892745801584560321186388699722264267826356220231683}, {"parameter": "[8, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506855219334289103314790565459028163}, {"parameter": "[8, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506855219334289103314790565459028163}, {"parameter": "[8, 5, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892745802690537523315523173871022364942158851522733}, {"parameter": "[8, 5, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892745801584560321186388699722264267826356220231683}, {"parameter": "[8, 5, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506855219334289103314790565459028163}, {"parameter": "[8, 5, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506855219334289103314790565459028163}, {"parameter": "[8, 5, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892745802690537523315523173871022364942158851522733}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892744995344055255216533393192788680076496257319133}, {"parameter": "[8, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995342369599870358590437947219809935338829443}, {"parameter": "[8, 6, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995342369599870358590437947219809935338829443}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892744995342538162198003374270408838440065845168896}, {"parameter": "[8, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506851828571515567378173504926679206}, {"parameter": "[8, 6, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506851828571515567378173504926679206}, {"parameter": "[8, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892744995342538162197960453303418705649341038291933}, {"parameter": "[8, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506851785650548577245382780119802243}, {"parameter": "[8, 6, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506851785650548577245382780119802243}, {"parameter": "[8, 6, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892744995342538162201398847252408464378833808984903}, {"parameter": "[8, 6, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506855224044497567004112272890495213}, {"parameter": "[8, 6, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506855224044497567004112272890495213}, {"parameter": "[8, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744996446960658374317159153170093679228978025603}, {"parameter": "[8, 7, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744996446960658374317159153170093679228978025603}, {"parameter": "[8, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506887028590774831787484695501913923}, {"parameter": "[8, 7, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506887028590774831787484695501913923}, {"parameter": "[8, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506851785650469807882821205763951526}, {"parameter": "[8, 7, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506851785650469807882821205763951526}, {"parameter": "[8, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506851785650548686666224931821013293}, {"parameter": "[8, 7, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506851785650548686666224931821013293}, {"parameter": "[8, 7, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506855219340751306729662379823910926}, {"parameter": "[8, 7, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506855219340751306729662379823910926}, {"parameter": "[8, 8, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892745801584579050686801402599247771566882381347843}, {"parameter": "[8, 8, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852532547311949034769140557949882178883}, {"parameter": "[8, 8, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506851785651287524504239696833484803}, {"parameter": "[8, 8, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506851785650469809250581700886355726}, {"parameter": "[8, 8, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506851785650548577395503469100312846}, {"parameter": "[8, 8, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340852506855219334298963668824998078469168}, {"parameter": "[9, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 6362699244831875111065542942983616155994278883}, {"parameter": "[9, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362699244831875111065542942983616155994278883}, {"parameter": "[9, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362699244831875111065542942983616155994278883}, {"parameter": "[9, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023049130403439919412890607460070563}, {"parameter": "[9, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023049130403439919412890607460070563}, {"parameter": "[9, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023049130403439919412890607460070563}, {"parameter": "[9, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023049130403439919412890607460070563}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023049130403439919412890607460070563}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023049130403439919412890607460070563}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023045739640666383476273546927721606}, {"parameter": "[9, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023045739640666383476273546927721606}, {"parameter": "[9, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023045739640666383476273546927721606}, {"parameter": "[9, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023045696719699393343482822120844643}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023045696719699393343482822120844643}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023045696719699393343482822120844643}, {"parameter": "[9, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023045696719699393343482822120844643}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023045696719699393343482822120844643}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023045696719699393343482822120844643}, {"parameter": "[9, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362699097048741711309498982172941972768090083}, {"parameter": "[9, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362699097048741711309498982172941972768090083}, {"parameter": "[9, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023045696719620623980921247764993926}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023045696719620623980921247764993926}, {"parameter": "[9, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023045696719619626902258969799833123}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023045696719619626902258969799833123}, {"parameter": "[9, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023045696719699502764324973822055693}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023045696719699502764324973822055693}, {"parameter": "[9, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362699265637085786005757406578579043507932643}, {"parameter": "[9, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023045697316552772862426036403097763}, {"parameter": "[9, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023045696719619626900429112362803846}, {"parameter": "[9, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023045696719619626902261511708708173}, {"parameter": "[9, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 6362699097023045696719699393493603511101355246}, {"parameter": "[10, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 9955457892762348113816069148157186242967683}, {"parameter": "[10, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 9955457892762348113816069148157186242967683}, {"parameter": "[10, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 9955457892758914430075543078749400903741763}, {"parameter": "[10, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 9955457892758914430075543078749400903741763}, {"parameter": "[10, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 9955457892758914430075543078749400903741763}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 9955457892758914430075543078749400903741763}, {"parameter": "[10, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 9955457892758914429996773716187826547891046}, {"parameter": "[10, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 9955457892758914429996773716187826547891046}, {"parameter": "[10, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 9955457892758914429995776637525548582730243}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 9955457892758914429995776637525548582730243}, {"parameter": "[10, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 9955457892758914429995776637525548582730243}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 9955457892758914429995776637525548582730243}, {"parameter": "[10, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 9955457892759349601618743479753761720291523}, {"parameter": "[10, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 9955457892758914429995776635695691145700966}, {"parameter": "[10, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 9955457892758914429995776635672528436925123}, {"parameter": "[10, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 9955457892758914429995776637528090491605293}, {"parameter": "[11, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 7257434838455120784989942988162926050435185933}, {"parameter": "[11, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7257434838455120784989863221721702198114174413}, {"parameter": "[11, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 7257434838455120784989863221721702198114174413}, {"parameter": "[11, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 7257434838455120784989863221719872340677145136}, {"parameter": "[11, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 7257434838455120784989863221719849177968369293}, {"parameter": "[11, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 7257434838455120784989863221719849177968369293}, {"parameter": "[8, 3, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1612487600896502879534004482534216813775204804}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 16173092740975538624683880333087640575200159746446199600420}], "request": [9, 19, 6, 8], "liftedmrdsizebound": 955004953612843871055637184574175868316978272411169294264670651, "comments": "", "equal_bound_constraints": []}