{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 67994729513609927546967202237401483010992316720167622853556}, {"parameter": "", "name": "singleton", "value": 1140674654304411569828223908172341508228556}, {"parameter": "5", "name": "ilp_2", "value": 876105419545208548657593845555288561910005}, {"parameter": "6", "name": "ilp_2", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "8", "name": "ilp_3", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "9", "name": "ilp_3", "value": 8555743262567653630521482013420407804556258739569}, {"parameter": "", "name": "anticode", "value": 876105419545208548657593845555288561910005}, {"parameter": "", "name": "linear_programming_bound", "value": 876105419545208548657593845555288561910005}, {"parameter": "", "name": "sphere_packing", "value": 11407768705277223105649087115985426922092332551}, {"parameter": "1", "name": "ilp_1", "value": 876105419545208548657593845555288561910005}, {"parameter": "2", "name": "ilp_1", "value": 876105419545208548657593845555288561910005}, {"parameter": "3", "name": "ilp_1", "value": 876105419545208548657593845555288561910005}, {"parameter": "4", "name": "ilp_1", "value": 876105419545208548657593845555288561910005}, {"parameter": "10", "name": "ilp_4", "value": 8555305208467753426825818455105372308217030633984}, {"parameter": "11", "name": "ilp_4", "value": 8555305197031796513453769696151392111434375344159}, {"parameter": "12", "name": "ilp_4", "value": 8555305197031719175471146591426009042769538603268}, {"parameter": "13", "name": "ilp_4", "value": 8555305197031719174481537189416404772695160924563}, {"parameter": "14", "name": "ilp_4", "value": 8555305197031719175391046442180996367732930151156}, {"parameter": "15", "name": "ilp_4", "value": 342218292060961847576192550919147269103910529713}, {"parameter": "16", "name": "ilp_4", "value": 13689148849059486169119808577172150480319149563}, {"parameter": "17", "name": "ilp_4", "value": 547565675851440938649448317174257171833393975}, {"parameter": "18", "name": "ilp_4", "value": 21902630148900740254504997269852307530081649}, {"parameter": "", "name": "johnson_1", "value": 876105419545208548657593845555288561910005}, {"parameter": "", "name": "johnson_2", "value": 21902630148900740254504997269852307530081649}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 67994729513609927546967202237401483010992316720167622853556}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 8555743262567653630521482013420407804556258739569}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 8555305208467753426825818455105372308217030633984}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 8555305197031796513453769696151392111434375344159}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 8555305197031719175471146591426009042769538603268}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 8555305197031719174481537189416404772695160924563}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 8555305197031719175391046442180996367732930151156}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 342218292060961847576192550919147269103910529713}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 13689148849059486169119808577172150480319149563}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 547565675851440938649448317174257171833393975}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 21902630148900740254504997269852307530081649}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 11407768705277223105649087115985426922092332551}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 11407768892172539747865182436363025782740817759}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 11407769826649214817037665962165091386687904907}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 11407774499034886616366574875936073855342658154}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 11407797861020657095463547533956434846226059102}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 11407914672384814776260241389174405985094025541}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 2281559565026377627650002642715535582145496035}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 456451196085485826172898131690237515164927115}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 91407047343117487721322385936788070337607358}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 18399384132967831931161211266315190334847736}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 3802532471602805427212615508296952111715461}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 912598130471192737441651254127296440148276}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 876105419545208548657593845555288561910005}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 876105422989313276242043616570857187647727}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 876105440209837263918087168680866481154680}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 876105526312465946144066022496412236361014}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 876105956825827953529696113038732162717358}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 876108109398102910814839055197061603313664}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 876118872396102451637313168926077311187271}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 876172690801937213617996740111141572607774}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 876441868254320939143826871853520137859437}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 877789894512383088015528624910681152289986}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 884583931134515970134870180518881196468768}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 919957791452461311490514615354041954690584}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 1140674654304411569828223908172341508228556}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 67994729513609927546967202237401483010992316720167622853556}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 876105419545208548657593845555288561910005}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 876105419545208548657593845555288561910005}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 876105419545208548657593845555288561910005}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 876105419545208548657593845555288561910005}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 876105419545208548657593845555288561910005}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 11407768705277223105649087115985426922092332551}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 11408351885836467784519649243556300981755808244}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 11411273358742691922846184789081366768803913286}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 11425903196142026857162240269560162604082814123}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 11499618699415774068216989118177475442893591002}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 11882939316187644624470998997766796883831937370}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 14259527130752778711907818687988987773277699529}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 8555743262567653630521482013420407804556258739569}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 8555848396877970634733501217826184749552496150918}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 8556374101805524097846332543590484977852201025459}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 8559003461109168307190607887582153290337995185690}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 8572171157660943545248623302911159533132539176431}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 8638536348232761051582198309960657411210209151502}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 8984077772485709331156040942924482218672368706650}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 11140256209730412546658078532854767895273286916056}, {"parameter": "", "name": "improved_johnson", "value": 876105419545208548657593845555288561910001}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 2737835766258007516075186800903190151262612026}], "known_codes": [], "upper_bound": 876105419545208548657593845555288561910001, "classified": false, "lower_bound": 867362182106035125792002834689855238704500, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 867361737988403547205962240695953369140625}, {"parameter": "", "name": "sphere_covering", "value": 68905027205152631349389510336977112}, {"parameter": "", "name": "graham_sloane", "value": 747609957277019998123721397667377}, {"parameter": "", "name": "multicomponent", "value": 867361738016825256636403501033782959062501}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 867361737988403566298982657802343031673250}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 867362182106035125792002834689855238704500}, {"parameter": "", "name": "two_pivot_block_construction", "value": 867362182077840679822534739559109441355776}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 1387779711209387105069062312151152853125}, {"parameter": "(12,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 867361738918831488635501823504473225390625}, {"parameter": "(12,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 867361738918831488635539016802813069140625}, {"parameter": "(12,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 867361738918831488635501763900591389453125}, {"parameter": "(12,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 867361738918831488635501764376665608203125}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 277555756454518661679485308243919871250}, {"parameter": "(11,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 277555756454518661680915819718529246250}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 277555756454518661679425798966576121250}, {"parameter": "(11,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 277555756454518661679485308243919871250}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 88817842066234992426264120884095125}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 88817842066234992426264120884095125}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 88817842066234992369043661899720125}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 88817842066234992426264120884095125}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 2238238039353776537928271827357845125}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 2238238039353776537871051368373470125}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 2238238039353776537928271827357845125}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 2238238039353776537928271827357845125}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 55514738232887648080442311850844173250}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 55514738232887648080382802573500423250}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 55514738232887648081872823325453548250}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 55514738232887648080442311850844173250}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1387779639908349957293429267644545345125}, {"parameter": "(7,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1387779639908349957293428791570326595125}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1387779639908349957330681693792006282625}, {"parameter": "(7,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1387779639908349957293488395452162532625}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 867361738918831488635501763899828450000000}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 277555756454518661679425703599144480625}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 88817842066234992366659476108704500}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 2238238039353776537868667182582454500}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 55514738232887648080382707206068782625}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 1387779639908349957293428790807387142000}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 867361738918831488635501763899828450000000}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 277555756454518661679425703599144480625}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 88817842066234992366659476108704500}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 2238238039353776537868667182582454500}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 55514738232887648080382707206068782625}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 1387779639908349957293428790807387142000}, {"parameter": "7", "name": "linkage_GLT", "value": 867361737988403547205962241172790822537500}, {"parameter": "8", "name": "linkage_GLT", "value": 277555756156289135105907917028808988145}, {"parameter": "9", "name": "linkage_GLT", "value": 88817841970012523233890533447344376}, {"parameter": "10", "name": "linkage_GLT", "value": 2238238039353745989501476287841796876}, {"parameter": "11", "name": "linkage_GLT", "value": 55514738232886884361505508422851562501}, {"parameter": "12", "name": "linkage_GLT", "value": 1387779639908330864273011684417724609376}, {"parameter": "7", "name": "improved_linkage", "value": 867361738016825271188288928925698894663057}, {"parameter": "8", "name": "improved_linkage", "value": 277555756165384086780252458397252833133}, {"parameter": "9", "name": "improved_linkage", "value": 88817841972922908230811514326204500}, {"parameter": "10", "name": "improved_linkage", "value": 2238238039353746026754398386191812501}, {"parameter": "11", "name": "improved_linkage", "value": 55514738232886884361505985260304959375}, {"parameter": "12", "name": "improved_linkage", "value": 1387779639908330864273011684423828519395}, {"parameter": "13", "name": "improved_linkage", "value": 1387779492823407636061310768127441485001}, {"parameter": "14", "name": "improved_linkage", "value": 1387779711208811225385129451751708984376}, {"parameter": "15", "name": "improved_linkage", "value": 55511179652981819913011200000000000001}, {"parameter": "16", "name": "improved_linkage", "value": 2220447186119272517948869181440000001}, {"parameter": "7,0", "name": "generalized_linkage", "value": 867361738918831488635501763899828450000000}, {"parameter": "7,1", "name": "generalized_linkage", "value": 867361737995849833716707924366091331035195}, {"parameter": "7,2", "name": "generalized_linkage", "value": 867361737988413008867587230804790799423250}, {"parameter": "7,3", "name": "generalized_linkage", "value": 867361737988412642157636585237327916895633}, {"parameter": "7,4", "name": "generalized_linkage", "value": 867361738016825271188288928925698894663057}, {"parameter": "8,0", "name": "generalized_linkage", "value": 277555756454518661679425703599144480625}, {"parameter": "8,1", "name": "generalized_linkage", "value": 277555756168222135085766796634613562500}, {"parameter": "8,2", "name": "generalized_linkage", "value": 277555756156289256215157658758605878251}, {"parameter": "8,3", "name": "generalized_linkage", "value": 277555756156292045490904838003584017000}, {"parameter": "8,4", "name": "generalized_linkage", "value": 277555756165384086780252458397252833133}, {"parameter": "9,0", "name": "generalized_linkage", "value": 88817842066234992366659476108704500}, {"parameter": "9,1", "name": "generalized_linkage", "value": 88817841970776291930089534576594525}, {"parameter": "9,2", "name": "generalized_linkage", "value": 88817841970012524784089094440506250}, {"parameter": "9,3", "name": "generalized_linkage", "value": 88817841970012560486812631797281251}, {"parameter": "9,4", "name": "generalized_linkage", "value": 88817841972922908230811514326204500}, {"parameter": "10,0", "name": "generalized_linkage", "value": 2238238039353776537868667182582454500}, {"parameter": "10,1", "name": "generalized_linkage", "value": 2238238039353746038771265308144247070}, {"parameter": "10,2", "name": "generalized_linkage", "value": 2238238039353745989501575635081282395}, {"parameter": "10,3", "name": "generalized_linkage", "value": 2238238039353745989501953125295193750}, {"parameter": "10,4", "name": "generalized_linkage", "value": 2238238039353746026754398386191812501}, {"parameter": "11,0", "name": "generalized_linkage", "value": 55514738232887648080382707206068782625}, {"parameter": "11,1", "name": "generalized_linkage", "value": 55514738232886884361508636624982406445}, {"parameter": "11,2", "name": "generalized_linkage", "value": 55514738232886884361505508429260003876}, {"parameter": "11,3", "name": "generalized_linkage", "value": 55514738232886884361505508428955472520}, {"parameter": "11,4", "name": "generalized_linkage", "value": 55514738232886884361505985260304959375}, {"parameter": "12,0", "name": "generalized_linkage", "value": 1387779639908349957293428790807387142000}, {"parameter": "12,1", "name": "generalized_linkage", "value": 1387779639908330864273027325429660140820}, {"parameter": "12,2", "name": "generalized_linkage", "value": 1387779639908330864273011684417725016276}, {"parameter": "12,3", "name": "generalized_linkage", "value": 1387779639908330864273011684417724688126}, {"parameter": "12,4", "name": "generalized_linkage", "value": 1387779639908330864273011684423828519395}, {"parameter": "13,1", "name": "generalized_linkage", "value": 1387779492823407636061388973188400375195}, {"parameter": "13,2", "name": "generalized_linkage", "value": 1387779492823407636061310768127443440751}, {"parameter": "13,3", "name": "generalized_linkage", "value": 1387779492823407636061310768127441406251}, {"parameter": "13,4", "name": "generalized_linkage", "value": 1387779492823407636061310768127441485001}, {"parameter": "14,2", "name": "generalized_linkage", "value": 1387779711208811225385129451751719156901}, {"parameter": "14,3", "name": "generalized_linkage", "value": 1387779711208811225385129451751708984376}, {"parameter": "14,4", "name": "generalized_linkage", "value": 1387779711208811225385129451751708984376}, {"parameter": "15,3", "name": "generalized_linkage", "value": 55511179652981819913011200000000000001}, {"parameter": "15,4", "name": "generalized_linkage", "value": 55511179652981819913011200000000000001}, {"parameter": "16,4", "name": "generalized_linkage", "value": 2220447186119272517948869181440000001}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 867361738918831488635501763899828450000000}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 867361737995849833716707924366091331035195}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 867361737988413008867587230804790799423250}, {"parameter": "[7, 12],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 867361737988412642157636585237327916895633}, {"parameter": "[7, 12],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 867361738016825271188288928925698894663057}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 277555756454518661679425703599144480625}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 277555756168222135085766796634613562500}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 277555756156289256215157658758605878251}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 277555756156292045490904838003584017000}, {"parameter": "[8, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 277555756165384086780252458397252833133}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 88817842066234992366659476108704500}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 88817841970776291930089534576594525}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 88817841970012524784089094440506250}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 88817841970012560486812631797281251}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 88817841972922908230811514326204500}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2238238039353776537868667182582454500}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2238238039353746038771265308144247070}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2238238039353745989501575635081282395}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2238238039353745989501953125295193750}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2238238039353746026754398386191812501}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 55514738232887648080382707206068782625}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 55514738232886884361508636624982406445}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 55514738232886884361505508429260003876}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 55514738232886884361505508428955472520}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 55514738232886884361505985260304959375}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1387779639908349957293428790807387142000}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1387779639908330864273027325429660140820}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387779639908330864273011684417725016276}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387779639908330864273011684417724688126}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387779639908330864273011684423828519395}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1387779492823407636061388973188400375195}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387779492823407636061310768127443440751}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387779492823407636061310768127441406251}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387779492823407636061310768127441485001}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387779711208811225385129451751719156901}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387779711208811225385129451751708984376}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387779711208811225385129451751708984376}, {"parameter": "[15, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 55511179652981819913011200000000000001}, {"parameter": "[15, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 55511179652981819913011200000000000001}, {"parameter": "[16, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2220447186119272517948869181440000001}, {"parameter": "[7, 3, 9],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 2220474470959895926074250796005859375}, {"parameter": "[7, 3, 9],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2220474470959897147555254827198157625}, {"parameter": "[7, 3, 9],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2220474482869983324703987417310496250}, {"parameter": "[7, 3, 9],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2221404898901173024377902056233203125}, {"parameter": "[7, 4, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 55511151252262244316458901214599609375}, {"parameter": "[7, 4, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 55511151240352926480130418398544921875}, {"parameter": "[7, 4, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 55511151240352927701611422429737220125}, {"parameter": "[7, 4, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 55511151252263013878760155019849558750}, {"parameter": "[7, 4, 8],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 55512081668294203578434069658772265625}, {"parameter": "[7, 4, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 55511151252262244316458901214599609375}, {"parameter": "[7, 4, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 55511151240352926480130418398544921875}, {"parameter": "[7, 4, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 55511151240352927701611422429737220125}, {"parameter": "[7, 4, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 55511151252263013878760155019849558750}, {"parameter": "[7, 4, 8],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 55512081668294203578434069658772265625}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1387778790076726457143059132672183453125}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1387778780790931111338830540482963693125}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387778780790907330871512388076680698875}, {"parameter": "[7, 5, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387778780790907484473724268804248938875}, {"parameter": "[7, 5, 7],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780802817570650873001394361277500}, {"parameter": "[7, 5, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1387778790067267712244620678997867046875}, {"parameter": "[7, 5, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781472366440392086808647286875}, {"parameter": "[7, 5, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781448585973073934402364292625}, {"parameter": "[7, 5, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781448739575285815129932532625}, {"parameter": "[7, 5, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780793358825752434547720044871250}, {"parameter": "[7, 5, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 1387778790067267712244620678997867046875}, {"parameter": "[7, 5, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781472366440392086808647286875}, {"parameter": "[7, 5, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781448585973073934402364292625}, {"parameter": "[7, 5, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781448739575285815129932532625}, {"parameter": "[7, 5, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780793358825752434547720044871250}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1387778788230823797518372221699103174375}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387778788227728367306925124966842702000}, {"parameter": "[7, 6, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387778788227728365736170798696699251375}, {"parameter": "[7, 6, 6],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778788227728519396920107732471595125}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1387778780784541228422879858723028955625}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781445798211432761990768483250}, {"parameter": "[7, 6, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781445796640678435720625032625}, {"parameter": "[7, 6, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781445950301427744756397376375}, {"parameter": "[7, 6, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1387778780784541107350945158710821924375}, {"parameter": "[7, 6, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781445677139498061978561452000}, {"parameter": "[7, 6, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781445675568743735708418001375}, {"parameter": "[7, 6, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781445829229493044744190345125}, {"parameter": "[7, 6, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1387778780784544041017055197468146143125}, {"parameter": "[7, 6, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781448610805608100735885670750}, {"parameter": "[7, 6, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781448609234853774465742220125}, {"parameter": "[7, 6, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781448762895603083501514563875}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387779711208811115313313605815945907625}, {"parameter": "[7, 7, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387779711208811108971758872427168001375}, {"parameter": "[7, 7, 5],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387779711208811108971758872427168001375}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781540994291480186016141220125}, {"parameter": "[7, 7, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781540987949925452627363313875}, {"parameter": "[7, 7, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781540987949925452627363313875}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781445681874595763713895126375}, {"parameter": "[7, 7, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781445675533041030325117220125}, {"parameter": "[7, 7, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781445675533041030325117220125}, {"parameter": "[7, 7, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781445681910596969158231063875}, {"parameter": "[7, 7, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781445675569042235769453157625}, {"parameter": "[7, 7, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781445675569042235769453157625}, {"parameter": "[7, 7, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781448592444153430492459579500}, {"parameter": "[7, 7, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781448586102598697103681673250}, {"parameter": "[7, 7, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780781448586102598697103681673250}, {"parameter": "[7, 8, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 55511151243167297300680866445722688875}, {"parameter": "[7, 8, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 55511151243167297300680866445722688875}, {"parameter": "[7, 8, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257828243131786977949251375}, {"parameter": "[7, 8, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257828243131786977949251375}, {"parameter": "[7, 8, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257827024695450039472688875}, {"parameter": "[7, 8, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257827024695450039472688875}, {"parameter": "[7, 8, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257827060388141195478548250}, {"parameter": "[7, 8, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257827060388141195478548250}, {"parameter": "[7, 8, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 55511151231260737407980224050703157625}, {"parameter": "[7, 8, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 55511151231260737407980224050703157625}, {"parameter": "[7, 9, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2220446049250465524018063561308626375}, {"parameter": "[7, 9, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2220446049250314312573074543931282625}, {"parameter": "[7, 9, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2220446049250313084348808717941048250}, {"parameter": "[7, 9, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2220446049250313120051436993085970125}, {"parameter": "[7, 9, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2220446049253223467337444541425892000}, {"parameter": "[8, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 710551834524209203723330185546875}, {"parameter": "[8, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 710551830707166773921997111751375}, {"parameter": "[8, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 710551834554794792800382493470125}, {"parameter": "[8, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 710850060233691432940079857371250}, {"parameter": "[8, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 17763866607169807210167694091796875}, {"parameter": "[8, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 17763568400729978981021303818359375}, {"parameter": "[8, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 17763568396912936551219970744563875}, {"parameter": "[8, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568400760564570098356126282625}, {"parameter": "[8, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763866626439461210238053490183750}, {"parameter": "[8, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 17763866607169807210167694091796875}, {"parameter": "[8, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 17763568400729978981021303818359375}, {"parameter": "[8, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 17763568396912936551219970744563875}, {"parameter": "[8, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568400760564570098356126282625}, {"parameter": "[8, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763866626439461210238053490183750}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 17763568989582281742157556721505625}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 17763568394125128456204408022886375}, {"parameter": "[8, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568394123662693149597209407625}, {"parameter": "[8, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763568397971290712027982591126375}, {"parameter": "[8, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 17763568989461209807457544514474375}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 17763568394004056521504395815855125}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002590758449585002376375}, {"parameter": "[8, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763568397850218777327970384095125}, {"parameter": "[8, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 17763568989461209807457544514474375}, {"parameter": "[8, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 17763568394004056521504395815855125}, {"parameter": "[8, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002590758449585002376375}, {"parameter": "[8, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763568397850218777327970384095125}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 17763580327034477361123873731764500}, {"parameter": "[8, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763580326995146052486450236751375}, {"parameter": "[8, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763580326995146052486450236751375}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 17763568394041886364381625196608250}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002555055744201701595125}, {"parameter": "[8, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002555055744201701595125}, {"parameter": "[8, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 17763568394041884814660861036452000}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002553506023437541438875}, {"parameter": "[8, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002553506023437541438875}, {"parameter": "[8, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 17763568394041922365587069532545750}, {"parameter": "[8, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002591056949646037532625}, {"parameter": "[8, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002591056949646037532625}, {"parameter": "[8, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763866604259473023262817424251375}, {"parameter": "[8, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763866604259473023262817424251375}, {"parameter": "[8, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568394155295810731201213313875}, {"parameter": "[8, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763568394155295810731201213313875}, {"parameter": "[8, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002553505566442912532625}, {"parameter": "[8, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002553505566442912532625}, {"parameter": "[8, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002553506027258342220125}, {"parameter": "[8, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002553506027258342220125}, {"parameter": "[8, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002590760856781047298250}, {"parameter": "[8, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 17763568394002590760856781047298250}, {"parameter": "[8, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 710542739577240333209444728938875}, {"parameter": "[8, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 710542735760150999741124324251375}, {"parameter": "[8, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 710542735760149044659619484876375}, {"parameter": "[8, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 710542735760149045116485931673250}, {"parameter": "[8, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 710542735760186297565664592220125}, {"parameter": "[9, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 227472043412860729555771484375}, {"parameter": "[9, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 227376587048134841111478938875}, {"parameter": "[9, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 227376587048134841111478938875}, {"parameter": "[9, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227472808295410501791782532625}, {"parameter": "[9, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 227469133067067959170029296875}, {"parameter": "[9, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 227373676702342070725736751375}, {"parameter": "[9, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373676702342070725736751375}, {"parameter": "[9, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227469897949617731406040345125}, {"parameter": "[9, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 227469133067067959170029296875}, {"parameter": "[9, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 227373676702342070725736751375}, {"parameter": "[9, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373676702342070725736751375}, {"parameter": "[9, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227469897949617731406040345125}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 227373713322352613213171323875}, {"parameter": "[9, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373676666639365342435970125}, {"parameter": "[9, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373676666639365342435970125}, {"parameter": "[9, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 227373713320802892449011167625}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373676665089644578275813875}, {"parameter": "[9, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373676665089644578275813875}, {"parameter": "[9, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 227373713320802892449011167625}, {"parameter": "[9, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373676665089644578275813875}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373676665089644578275813875}, {"parameter": "[9, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 227374440384435596848783626375}, {"parameter": "[9, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 227374440384435596848783626375}, {"parameter": "[9, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373676665089187583646907625}, {"parameter": "[9, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373676665089187583646907625}, {"parameter": "[9, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373676665089167747221126375}, {"parameter": "[9, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373676665089167747221126375}, {"parameter": "[9, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227373676665089648399076595125}, {"parameter": "[9, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373676665089648399076595125}, {"parameter": "[9, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 227469134251672164447768001375}, {"parameter": "[9, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373676674864775375410188875}, {"parameter": "[9, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373676665089167741371595125}, {"parameter": "[9, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373676665089167747270032625}, {"parameter": "[9, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227373676665089644609087923250}, {"parameter": "[10, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 229195605815443683204310970125}, {"parameter": "[10, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 229195605815443683204310970125}, {"parameter": "[10, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 229195605815443683204310970125}, {"parameter": "[10, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 229195605778191257056850032625}, {"parameter": "[10, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 229195605778191257056850032625}, {"parameter": "[10, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 229195605778191257056850032625}, {"parameter": "[10, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 229195605778191257056850032625}, {"parameter": "[10, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 229195605778191257056850032625}, {"parameter": "[10, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 229195605778191257056850032625}, {"parameter": "[10, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 229195605778190879560512142000}, {"parameter": "[10, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 229195605778190879560512142000}, {"parameter": "[10, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 229195605778190780225795345125}, {"parameter": "[10, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 229195605778190780225795345125}, {"parameter": "[10, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 229195605778190780225795345125}, {"parameter": "[10, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 229195605778190780225795345125}, {"parameter": "[10, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 229195605827068918493632845125}, {"parameter": "[10, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 229195605778190780220963392000}, {"parameter": "[10, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 229195605778190780219691907625}, {"parameter": "[10, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 229195605778190780225844251375}, {"parameter": "[11, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 227389131520782353965101985750}, {"parameter": "[11, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227389131520782353965101985750}, {"parameter": "[11, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 227389131520781877134047298250}, {"parameter": "[11, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227389131520781877134047298250}, {"parameter": "[11, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227389131520781877134047298250}, {"parameter": "[11, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227389131520781877134047298250}, {"parameter": "[11, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227389131520781877134301282625}, {"parameter": "[11, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227389131520781877127943860750}, {"parameter": "[11, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227389131520781877127943860750}, {"parameter": "[12, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 227392909222998035198256282625}, {"parameter": "[12, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227392909222998035192152845125}, {"parameter": "[12, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227392909222998035192152845125}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 930654742171707765325167343750000}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 930654742171707765325167343750000}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 930654742171707765325167343750000}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 239286208545045320894882812500}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 239286208545045320894882812500}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 239286208545045320894882812500}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 239286208545045320894882812500}, {"parameter": "[7, 3, 6, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 227376890708716838078828125000}, {"parameter": "[7, 3, 6, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227376890708716838078828125000}, {"parameter": "[7, 3, 6, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227376890708716838078828125000}, {"parameter": "[7, 4, 3, 5],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 930666648579198301037597656250000}, {"parameter": "[7, 4, 3, 5],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 930666648579198301037597656250000}, {"parameter": "[7, 4, 3, 5],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 930666648579198301037597656250000}, {"parameter": "[7, 4, 3, 5],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 930666648579198301037597656250000}, {"parameter": "[7, 4, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 251192616035581033325195312500}, {"parameter": "[7, 4, 4, 4],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 251192616035581033325195312500}, {"parameter": "[7, 4, 4, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 251192616035581033325195312500}, {"parameter": "[7, 4, 4, 4],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 251192616035581033325195312500}, {"parameter": "[7, 4, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 251192616035581033325195312500}, {"parameter": "[7, 4, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 251192616035581033325195312500}, {"parameter": "[7, 4, 4, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 251192616035581033325195312500}, {"parameter": "[7, 4, 4, 4],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 251192616035581033325195312500}, {"parameter": "[7, 4, 5, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 239283298199252550509140625000}, {"parameter": "[7, 4, 5, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 239283298199252550509140625000}, {"parameter": "[7, 4, 5, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 239283298199252550509140625000}, {"parameter": "[7, 4, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 239283298199252550509140625000}, {"parameter": "[7, 4, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 239283298199252550509140625000}, {"parameter": "[7, 4, 5, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 239283298199252550509140625000}, {"parameter": "[7, 5, 3, 4],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 9525102272054365713024966656250}, {"parameter": "[7, 5, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 9525102272052815992260806500000}, {"parameter": "[7, 5, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 9525102272052815992260806500000}, {"parameter": "[7, 5, 4, 3],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 9513192954218037230208911968750}, {"parameter": "[7, 5, 4, 3],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 9513192954218037230208911968750}, {"parameter": "[7, 5, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 9513192954216487509444751812500}, {"parameter": "[7, 5, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 9513192954216487509444751812500}, {"parameter": "[7, 5, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 9513192954216487509444751812500}, {"parameter": "[7, 5, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 9513192954216487509444751812500}, {"parameter": "[8, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 298216984431104862398789062500}, {"parameter": "[8, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 298216984431104862398789062500}, {"parameter": "[8, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 10544602875716008515625000}, {"parameter": "[8, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 10544602875716008515625000}, {"parameter": "[8, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 596423424222081582641601562500}, {"parameter": "[8, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 596423424222081582641601562500}, {"parameter": "[8, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 298216984393852436251328125000}, {"parameter": "[8, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 298216984393852436251328125000}, {"parameter": "[8, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 298216984393852436251328125000}, {"parameter": "[8, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 298216984393852436251328125000}, {"parameter": "[9, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 190915210419373235078125000}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 11102237692516845650976443244616113475}], "request": [5, 19, 6, 7], "liftedmrdsizebound": 867362326490039653181331081950536017882651, "comments": "", "equal_bound_constraints": []}