{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 36121735336208679823466411064327588635221204800}, {"parameter": "", "name": "singleton", "value": 18266877872505055585959373506477770853}, {"parameter": "4", "name": "ilp_2", "value": 15658255542681903092134268147110301404}, {"parameter": "6", "name": "ilp_3", "value": 1842193764596525898789596647507526960180600}, {"parameter": "", "name": "anticode", "value": 15658255542681903092134268147110301404}, {"parameter": "", "name": "linear_programming_bound", "value": 15658255542681903092134268147110301404}, {"parameter": "", "name": "sphere_packing", "value": 36121735336208679823466411064327588635221204800}, {"parameter": "1", "name": "ilp_1", "value": 15658255495168494582615252181951216799}, {"parameter": "2", "name": "ilp_1", "value": 15658255495168494582615252192125168232}, {"parameter": "3", "name": "ilp_1", "value": 15658255495168494602791300741269019008}, {"parameter": "7", "name": "ilp_4", "value": 1841536111475262649781963592466779538766400}, {"parameter": "8", "name": "ilp_4", "value": 1841536078619985983841130571664695904423948}, {"parameter": "9", "name": "ilp_4", "value": 1841536078618036826377030279010507820508458}, {"parameter": "10", "name": "ilp_4", "value": 1841536078618036826377030279010507820508458}, {"parameter": "11", "name": "ilp_4", "value": 263168620443465031462631494672968144686400}, {"parameter": "12", "name": "ilp_4", "value": 37595204171095166505340705130845997352627}, {"parameter": "13", "name": "ilp_4", "value": 5370781783843896086102825363354145573152}, {"parameter": "14", "name": "ilp_4", "value": 767254410172469901265472293650122667300}, {"parameter": "15", "name": "ilp_4", "value": 109607788846286730157821567754817494807}, {"parameter": "", "name": "johnson_1", "value": 15658255495168494582615252181951216799}, {"parameter": "", "name": "johnson_2", "value": 109607788846286730157821567754817494807}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 36121735336208679823466411064327588635221204800}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 1842193764596525898789596647507526960180600}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1841536111475262649781963592466779538766400}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1841536078619985983841130571664695904423948}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1841536078618036826377030279010507820508458}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1841536078618036826377030279010507820508458}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 263168620443465031462631494672968144686400}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 37595204171095166505340705130845997352627}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 5370781783843896086102825363354145573152}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 767254410172469901265472293650122667300}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 109607788846286730157821567754817494807}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 15658255542681903092134268147110301404}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 15658255549467109591652202813323259173}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 15658255596963555252931178695754266241}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 15658255929438682949902436879797821146}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 15658258256764972161672520204673401811}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 15658274548068367983100631166483499362}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 15658388588141342387640215320681812607}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 15659186915165900760469207222193964577}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 15664777484457497487829231862003791604}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 15704023520978145341119209633136778816}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 15984350309949045394022923901831239139}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 18266877872505055585959373506477770853}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 36121735336208679823466411064327588635221204800}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 15658255542681903092134268147110301404}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 15658255495168494602791300741269019008}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 15658255495168494582615252192125168232}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 15658255495168494582615252181951216799}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1842193764596525898789596647507526960180600}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1842287720518339857492478911459699765228607}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1842945680416527650534080719076230328149867}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1847564591882211835085968912628625643590773}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1880556816635054939757999107426038379211049}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 2149207789489010647406518443408592558383021}, {"parameter": "", "name": "improved_johnson", "value": 15658255495168494582615252181951216794}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 263170537799503699827085235358218137168657}], "known_codes": [], "upper_bound": 15658255495168494582615252181951216794, "classified": false, "lower_bound": 15294258129970872784630866754436144481, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 15286700631942576193765185769276826401}, {"parameter": "", "name": "sphere_covering", "value": 5590237611377047337255338383906912}, {"parameter": "", "name": "graham_sloane", "value": 6521555827384882394130443950902453}, {"parameter": "", "name": "multicomponent", "value": 15286703283673882040034994554841272054}, {"parameter": "", "name": "construction_ST_B", "value": 15293072690318237971619157346182732731}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 15286700631943123764187532038580791202}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 15293070089434878651826745252743396804}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 15293072690318237971228175241324433926}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_16", "value": 15293209704801963962596487177724496625}, {"parameter": "", "name": "two_pivot_block_construction", "value": 15293070090539216168860850514011619328}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 15294258129970872589046736892936620001}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 15293072743374952837535365375342342842}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 15294258129970872784630866754436144481}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 15294258129970872780721050453414666375}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 6521483628605391079336407266913659}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 6521483628605387169747989197912817}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 45480286850453455328322124277527135}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 45480286850453451429899970879912229}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 312128158695675907365278948553935405}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 312128158695675907365278948553935405}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 2184763504115771520120938313701256229}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 2184763504115771524019360467098871135}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 15294254467765537111608707995224933617}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 15294254467765537115518296413293934459}, {"parameter": "(5,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 15294127491211502667227418716084783175}, {"parameter": "(5,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 15294127491211502671137235017106261281}, {"parameter": "(5, 11)", "name": "CKMP2019_Lem_41", "value": 15294258129970872780721045705853156432}, {"parameter": "(6, 10)", "name": "CKMP2019_Lem_41", "value": 6521483628605387169515358683925610}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 45480286850453451418501075694539086}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 312128158695675906806733084470651398}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 2184763504115771520109539418515883086}, {"parameter": "(10, 6)", "name": "CKMP2019_Lem_41", "value": 15294254467765537111608475364710946410}, {"parameter": "(11, 5)", "name": "CKMP2019_Lem_41", "value": 15294127491211502667227413968523273232}, {"parameter": "(5, 5, 6)", "name": "CKMP2019_Lem_41", "value": 15294254461589166617441864925680397603}, {"parameter": "(5, 6, 5)", "name": "CKMP2019_Lem_41", "value": 15286703854455422038002053097680395203}, {"parameter": "(6, 5, 5)", "name": "CKMP2019_Lem_41", "value": 6521483628527200055115071153032803}, {"parameter": "(5, 11)", "name": "CKMP2019_Cor_42", "value": 15294258129970872780721045705853156432}, {"parameter": "(6, 10)", "name": "CKMP2019_Cor_42", "value": 6521483628605387169515358683925610}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 45480286850453451418501075694539086}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 312128158695675906806733084470651398}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 2184763504115771520109539418515883086}, {"parameter": "(10, 6)", "name": "CKMP2019_Cor_42", "value": 15294254467765537111608475364710946410}, {"parameter": "(11, 5)", "name": "CKMP2019_Cor_42", "value": 15294127491211502667227413968523273232}, {"parameter": "(5, 5, 6)", "name": "CKMP2019_Cor_42", "value": 15294254461589166617441864925680397603}, {"parameter": "(5, 6, 5)", "name": "CKMP2019_Cor_42", "value": 15286703854455422038002053097680395203}, {"parameter": "(6, 5, 5)", "name": "CKMP2019_Cor_42", "value": 6521483628527200055115071153032803}, {"parameter": "5", "name": "linkage_ST", "value": 15294127491210955096805067699219308432}, {"parameter": "6", "name": "linkage_ST", "value": 15294254467765525936703795781025360810}, {"parameter": "7", "name": "linkage_ST", "value": 2184763504111860080065010551057737486}, {"parameter": "8", "name": "linkage_ST", "value": 312128157380320232387845379257691398}, {"parameter": "9", "name": "linkage_ST", "value": 45479835737338916694486779642731086}, {"parameter": "10", "name": "linkage_ST", "value": 6366805760909028065573130329575210}, {"parameter": "11", "name": "linkage_ST", "value": 15286700631942576385439494582193362832}, {"parameter": "12", "name": "linkage_ST", "value": 460209469597451055529972}, {"parameter": "13", "name": "linkage_ST", "value": 1104898620940893642387898640}, {"parameter": "14", "name": "linkage_ST", "value": 2652861588879102858398037208053}, {"parameter": "15", "name": "linkage_ST", "value": 6369953433034380716678478121377611}, {"parameter": "5", "name": "construction_D", "value": 15294127491210955096805067699219308431}, {"parameter": "6", "name": "construction_D", "value": 15294254467765525936703795781025360809}, {"parameter": "7", "name": "construction_D", "value": 2184763504111860080065010551057720335}, {"parameter": "8", "name": "construction_D", "value": 312128157380320232387845378975076099}, {"parameter": "9", "name": "construction_D", "value": 45479835737338916694482030017838751}, {"parameter": "10", "name": "construction_D", "value": 6366805760909027985741435139224001}, {"parameter": "11", "name": "construction_D", "value": 15286700631942576193765185769276826401}, {"parameter": "12", "name": "construction_D", "value": 0}, {"parameter": "13", "name": "construction_D", "value": 0}, {"parameter": "14", "name": "construction_D", "value": 0}, {"parameter": "15", "name": "construction_D", "value": 0}, {"parameter": "16", "name": "construction_D", "value": 0}, {"parameter": "5", "name": "linkage_GLT", "value": 15286700631942576385439494582193362832}, {"parameter": "6", "name": "linkage_GLT", "value": 6366805760909028065573130329575210}, {"parameter": "7", "name": "linkage_GLT", "value": 45479835737338916694486779642731086}, {"parameter": "8", "name": "linkage_GLT", "value": 312128157380320232387845379257691398}, {"parameter": "9", "name": "linkage_GLT", "value": 2184763504111860080065010551057737486}, {"parameter": "10", "name": "linkage_GLT", "value": 15294254467765525936703795781025360810}, {"parameter": "11", "name": "linkage_GLT", "value": 15294127491210955096805067699219308432}, {"parameter": "5", "name": "improved_linkage", "value": 15286703284804165072868044167314034454}, {"parameter": "6", "name": "improved_linkage", "value": 6366806865807648926635077527122641}, {"parameter": "7", "name": "improved_linkage", "value": 45479835737799126164079481073368723}, {"parameter": "8", "name": "improved_linkage", "value": 312128157380320424062154191891612530}, {"parameter": "9", "name": "improved_linkage", "value": 2184763504111860080144842246248071544}, {"parameter": "10", "name": "improved_linkage", "value": 15294254467765525936703800530650253144}, {"parameter": "11", "name": "improved_linkage", "value": 15294127491210955096805067699501923730}, {"parameter": "12", "name": "improved_linkage", "value": 2184872764372141885575913008412528747}, {"parameter": "13", "name": "improved_linkage", "value": 312106513070035545916038622920761361}, {"parameter": "14", "name": "improved_linkage", "value": 44586644724291081741095811355746772}, {"parameter": "5,0", "name": "generalized_linkage", "value": 15294258129970872780721045705853156432}, {"parameter": "5,1", "name": "generalized_linkage", "value": 15286722674642022659307735044954237573}, {"parameter": "5,2", "name": "generalized_linkage", "value": 15286700694921797587396123385387048881}, {"parameter": "5,3", "name": "generalized_linkage", "value": 15286703284804165072868044167314034454}, {"parameter": "6,0", "name": "generalized_linkage", "value": 6521483628605387169515358683925610}, {"parameter": "6,1", "name": "generalized_linkage", "value": 6367256900953888738087589932769732}, {"parameter": "6,2", "name": "generalized_linkage", "value": 6366805944992815824721857351212801}, {"parameter": "6,3", "name": "generalized_linkage", "value": 6366806865807648926635077527122641}, {"parameter": "7,0", "name": "generalized_linkage", "value": 45480286850453451418501075694539086}, {"parameter": "7,1", "name": "generalized_linkage", "value": 45479837052694017343722912260491560}, {"parameter": "7,2", "name": "generalized_linkage", "value": 45479835737875796433467009236381982}, {"parameter": "7,3", "name": "generalized_linkage", "value": 45479835737799126164079481073368723}, {"parameter": "8,0", "name": "generalized_linkage", "value": 312128158695675906806733084470651398}, {"parameter": "8,1", "name": "generalized_linkage", "value": 312128157380868040145260951847296934}, {"parameter": "8,2", "name": "generalized_linkage", "value": 312128157380320455996423607148812508}, {"parameter": "8,3", "name": "generalized_linkage", "value": 312128157380320424062154191891612530}, {"parameter": "9,0", "name": "generalized_linkage", "value": 2184763504115771520109539418515883086}, {"parameter": "9,1", "name": "generalized_linkage", "value": 2184763504111860308237366179652095634}, {"parameter": "9,2", "name": "generalized_linkage", "value": 2184763504111860080078314250381150670}, {"parameter": "9,3", "name": "generalized_linkage", "value": 2184763504111860080144842246248071544}, {"parameter": "10,0", "name": "generalized_linkage", "value": 15294254467765537111608475364710946410}, {"parameter": "10,1", "name": "generalized_linkage", "value": 15294254467765525936800725043771043260}, {"parameter": "10,2", "name": "generalized_linkage", "value": 15294254467765525936703796572630813308}, {"parameter": "10,3", "name": "generalized_linkage", "value": 15294254467765525936703800530650253144}, {"parameter": "11,0", "name": "generalized_linkage", "value": 15294127491211502667227413968523273232}, {"parameter": "11,1", "name": "generalized_linkage", "value": 15294127491210955096805107259877790832}, {"parameter": "11,2", "name": "generalized_linkage", "value": 15294127491210955096805067699267348382}, {"parameter": "11,3", "name": "generalized_linkage", "value": 15294127491210955096805067699501923730}, {"parameter": "12,1", "name": "generalized_linkage", "value": 2184872764372141885576189933022728697}, {"parameter": "12,2", "name": "generalized_linkage", "value": 2184872764372141885575913008412514397}, {"parameter": "12,3", "name": "generalized_linkage", "value": 2184872764372141885575913008412528747}, {"parameter": "13,2", "name": "generalized_linkage", "value": 312106513070035545916038622920764161}, {"parameter": "13,3", "name": "generalized_linkage", "value": 312106513070035545916038622920761361}, {"parameter": "14,3", "name": "generalized_linkage", "value": 44586644724291081741095811355746772}, {"parameter": "[5, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 15294258129970872780721045705853156432}, {"parameter": "[5, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 15286722674642022659307735044954237573}, {"parameter": "[5, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 15286700694921797587396123385387048881}, {"parameter": "[5, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 15286703284804165072868044167314034454}, {"parameter": "[6, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6521483628605387169515358683925610}, {"parameter": "[6, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6367256900953888738087589932769732}, {"parameter": "[6, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805944992815824721857351212801}, {"parameter": "[6, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366806865807648926635077527122641}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 45480286850453451418501075694539086}, {"parameter": "[7, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 45479837052694017343722912260491560}, {"parameter": "[7, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 45479835737875796433467009236381982}, {"parameter": "[7, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 45479835737799126164079481073368723}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 312128158695675906806733084470651398}, {"parameter": "[8, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 312128157380868040145260951847296934}, {"parameter": "[8, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 312128157380320455996423607148812508}, {"parameter": "[8, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 312128157380320424062154191891612530}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2184763504115771520109539418515883086}, {"parameter": "[9, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2184763504111860308237366179652095634}, {"parameter": "[9, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2184763504111860080078314250381150670}, {"parameter": "[9, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2184763504111860080144842246248071544}, {"parameter": "[10, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 15294254467765537111608475364710946410}, {"parameter": "[10, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 15294254467765525936800725043771043260}, {"parameter": "[10, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 15294254467765525936703796572630813308}, {"parameter": "[10, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 15294254467765525936703800530650253144}, {"parameter": "[11, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 15294127491211502667227413968523273232}, {"parameter": "[11, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 15294127491210955096805107259877790832}, {"parameter": "[11, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 15294127491210955096805067699267348382}, {"parameter": "[11, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 15294127491210955096805067699501923730}, {"parameter": "[12, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2184872764372141885576189933022728697}, {"parameter": "[12, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2184872764372141885575913008412514397}, {"parameter": "[12, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2184872764372141885575913008412528747}, {"parameter": "[13, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 312106513070035545916038622920764161}, {"parameter": "[13, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 312106513070035545916038622920761361}, {"parameter": "[14, 2],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 44586644724291081741095811355746772}, {"parameter": "[5, 2, 9],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 44573439542062150047957619410855953}, {"parameter": "[5, 2, 9],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 44573439729334408204806601682491217}, {"parameter": "[5, 2, 9],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 52127790085505642509521761574279639}, {"parameter": "[5, 3, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 311976692914240533415759092436570557}, {"parameter": "[5, 3, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 311976692721772897699102955636936851}, {"parameter": "[5, 3, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 311976692909045155855951937908572115}, {"parameter": "[5, 3, 8],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 319531043265216390160667097800360537}, {"parameter": "[5, 3, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 311976631066290775756202899339815301}, {"parameter": "[5, 3, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 311976630873823140039546762540181595}, {"parameter": "[5, 3, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311976631061095398196395744811816859}, {"parameter": "[5, 3, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 319530981417266632501110904703605281}, {"parameter": "[5, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2183836484195569736988307843403873495}, {"parameter": "[5, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2183836418687943596610372769216775401}, {"parameter": "[5, 4, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2183836409511574192845063954884132924}, {"parameter": "[5, 4, 7],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2183839555685521475361386671334527853}, {"parameter": "[5, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2183814452200189445970428379283397251}, {"parameter": "[5, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2183814386692563305592493305096299157}, {"parameter": "[5, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2183814377516193901827184490763656680}, {"parameter": "[5, 4, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2183817523690141184343507207214051609}, {"parameter": "[5, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 2183814460063199301666213272220833545}, {"parameter": "[5, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2183814394555573161288278198033735451}, {"parameter": "[5, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2183814385379203757522969383701092974}, {"parameter": "[5, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2183817531553151040039292100151487903}, {"parameter": "[5, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 15294254461589166617441864925680397603}, {"parameter": "[5, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 15294254460066922356008293142142631253}, {"parameter": "[5, 5, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 15294254460035167379220003715813119245}, {"parameter": "[5, 5, 6],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 15294254460221804475763204014417534737}, {"parameter": "[5, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 15286700642673396183350058425841509103}, {"parameter": "[5, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 15286700641151151921916486642303742753}, {"parameter": "[5, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 15286700641119396945128197215974230745}, {"parameter": "[5, 5, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 15286700641306034041671397514578646237}, {"parameter": "[5, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 15286700633684501747076960828752276009}, {"parameter": "[5, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 15286700632162257485643389045214509659}, {"parameter": "[5, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 15286700632130502508855099618884997651}, {"parameter": "[5, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 15286700632317139605398299917489413143}, {"parameter": "[5, 5, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 15286700687640997583617659433365478501}, {"parameter": "[5, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 15286700686118753322184087649827712151}, {"parameter": "[5, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 15286700686086998345395798223498200143}, {"parameter": "[5, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 15286700686273635441938998522102615635}, {"parameter": "[5, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 15286703854455422038002053097680395203}, {"parameter": "[5, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 15286703778060158357787554273543769903}, {"parameter": "[5, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 15286703778060065825372102153791124402}, {"parameter": "[5, 6, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 15286703778060076698071309431103933701}, {"parameter": "[5, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 15286700773885937274697561150074988853}, {"parameter": "[5, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 15286700697490673594483062325938363553}, {"parameter": "[5, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 15286700697490581062067610206185718052}, {"parameter": "[5, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 15286700697490591934766817483498527351}, {"parameter": "[5, 6, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 15286700709623312043155308222313585645}, {"parameter": "[5, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 15286700633228048362940809398176960345}, {"parameter": "[5, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 15286700633227955830525357278424314844}, {"parameter": "[5, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 15286700633227966703224564555737124143}, {"parameter": "[5, 6, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 15286701087321266899853884936572109937}, {"parameter": "[5, 6, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 15286701010926003219639386112435484637}, {"parameter": "[5, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 15286701010925910687223933992682839136}, {"parameter": "[5, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 15286701010925921559923141269995648435}, {"parameter": "[5, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2183817586503605890426033182752033537}, {"parameter": "[5, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2183817586502956237012588130269673937}, {"parameter": "[5, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2183817586502956237578392162003048287}, {"parameter": "[5, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2183814440257591966970731040328903001}, {"parameter": "[5, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2183814440256942313557285987846543401}, {"parameter": "[5, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2183814440256942314123090019579917751}, {"parameter": "[5, 7, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2183814377277747023187655770966513929}, {"parameter": "[5, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2183814377277097369774210718484154329}, {"parameter": "[5, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2183814377277097370340014750217528679}, {"parameter": "[5, 7, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2183814754998329611846314125283831431}, {"parameter": "[5, 7, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2183814754997679958432869072801471831}, {"parameter": "[5, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2183814754997679958998673104534846181}, {"parameter": "[5, 8, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 311976629961863101622722468566584501}, {"parameter": "[5, 8, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 311976629961863101512321681886901701}, {"parameter": "[5, 8, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973546545758534084918223342257365}, {"parameter": "[5, 8, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973546545758533974517436662574565}, {"parameter": "[5, 8, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973483569919616100004466458428787}, {"parameter": "[5, 8, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973483569919615989603679778745987}, {"parameter": "[5, 8, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973536427790480243263581918340769}, {"parameter": "[5, 8, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 311973536427790480132862795238657969}, {"parameter": "[5, 9, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 44570787811216290394525269239859953}, {"parameter": "[5, 9, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 44567704591402837835193930885400571}, {"parameter": "[5, 9, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 44567640509986992068694703811315177}, {"parameter": "[5, 9, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 44567648061103751424589365119193012}, {"parameter": "[6, 2, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 18572423545157534368967541601501}, {"parameter": "[6, 2, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 18572422982419590067435708638743}, {"parameter": "[6, 2, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 173241088045051001997023013672017}, {"parameter": "[6, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 129944382352131193333252934148848}, {"parameter": "[6, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129944198638203354159024609049942}, {"parameter": "[6, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129944198075465409857492776087184}, {"parameter": "[6, 3, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 284612863138096821787080081120458}, {"parameter": "[6, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 129944198817503111982008504405249}, {"parameter": "[6, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 129944015103575272807780179306343}, {"parameter": "[6, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 129944014540837328506248346343585}, {"parameter": "[6, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 284612679603468740435835651376859}, {"parameter": "[6, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 909994819374501407948969172948945}, {"parameter": "[6, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 909994632933523291153173065845037}, {"parameter": "[6, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 909994605480852139992478309661436}, {"parameter": "[6, 4, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 910003803733930674868339095972179}, {"parameter": "[6, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543898480792138297397902294644}, {"parameter": "[6, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543712039814021501601795190736}, {"parameter": "[6, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543684587142870340907039007135}, {"parameter": "[6, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 909552882840221405216767825317878}, {"parameter": "[6, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543901689969345153265909925795}, {"parameter": "[6, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543715248991228357469802821887}, {"parameter": "[6, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543687796320077196775046638286}, {"parameter": "[6, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 909552886049398612072635832949029}, {"parameter": "[6, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6521483628527200055115071153032803}, {"parameter": "[6, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6521407233263519935516747342944303}, {"parameter": "[6, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6521407233172611089500042952578409}, {"parameter": "[6, 5, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6521407233718298082086280518331301}, {"parameter": "[6, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366882344070996470226855300487503}, {"parameter": "[6, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805948807316350628531490399003}, {"parameter": "[6, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805948716407504611827100033109}, {"parameter": "[6, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805949262094497198064665786001}, {"parameter": "[6, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366882156812917977099422577255602}, {"parameter": "[6, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805761549237857501098767167102}, {"parameter": "[6, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805761458329011484394376801208}, {"parameter": "[6, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805762004016004070631942554100}, {"parameter": "[6, 5, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366882178816026310978523854198501}, {"parameter": "[6, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805783552346191380200044110001}, {"parameter": "[6, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805783461437345363495653744107}, {"parameter": "[6, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805784007124337949733219496999}, {"parameter": "[6, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909552883326055505084575959725787}, {"parameter": "[6, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909552878765683995267760077980286}, {"parameter": "[6, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 909552878765716451160818639422637}, {"parameter": "[6, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543876339658031778521274865337}, {"parameter": "[6, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543871779286521961705393119836}, {"parameter": "[6, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 909543871779318977854763954562187}, {"parameter": "[6, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543685226926831918226919057844}, {"parameter": "[6, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680666555322101411037312343}, {"parameter": "[6, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 909543680666587777994469598754694}, {"parameter": "[6, 6, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543707239369751173665358861949}, {"parameter": "[6, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543702678998241356849477116448}, {"parameter": "[6, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 909543702679030697249908038558799}, {"parameter": "[6, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129944198357522002513649477736849}, {"parameter": "[6, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 129944198357516577374818126054049}, {"parameter": "[6, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934999345726946923369536256601}, {"parameter": "[6, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 129934999345721521784538184573801}, {"parameter": "[6, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811983789036841124006572850}, {"parameter": "[6, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 129934811983783611702292654890050}, {"parameter": "[6, 7, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934833997606424180113239732891}, {"parameter": "[6, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 129934833997600999041281888050091}, {"parameter": "[6, 8, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 18571319117483292385870818927901}, {"parameter": "[6, 8, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 18562303808126842696274293674653}, {"parameter": "[6, 8, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 18562116457710096665695854162008}, {"parameter": "[6, 8, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 18562119142487684458690974092625}, {"parameter": "[7, 2, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 132594301124945410446715074441715}, {"parameter": "[7, 2, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 132594300589117664488206174041757}, {"parameter": "[7, 2, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 133045386861223641597260943851593}, {"parameter": "[7, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 928159940372662678760357646468849}, {"parameter": "[7, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 928159940921792189199793477248857}, {"parameter": "[7, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 928159940385964443241284576848899}, {"parameter": "[7, 3, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 928611026658070420350339346658735}, {"parameter": "[7, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 928159939836235230894771686146049}, {"parameter": "[7, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 928159940385364741334207516926057}, {"parameter": "[7, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 928159939849536995375698616526099}, {"parameter": "[7, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 928611026121642972484753386335935}, {"parameter": "[7, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 6497131405560194038897777131147095}, {"parameter": "[7, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6497120705844847295133788926527137}, {"parameter": "[7, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6497120705766894966170893073578402}, {"parameter": "[7, 4, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6497120732596291878015557152453293}, {"parameter": "[7, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 6497130090854971076570400499347495}, {"parameter": "[7, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6497119391139624332806412294727537}, {"parameter": "[7, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6497119391061672003843516441778802}, {"parameter": "[7, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6497119417891068915688180520653693}, {"parameter": "[7, 4, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 6497130090856116095591771231561845}, {"parameter": "[7, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6497119391140769351827783026941887}, {"parameter": "[7, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6497119391062817022864887173993152}, {"parameter": "[7, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6497119417892213934709551252868043}, {"parameter": "[7, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6497570312734813903374235880806637}, {"parameter": "[7, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6497570308185615769703444412058393}, {"parameter": "[7, 5, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6497570308187239335301709067166687}, {"parameter": "[7, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6497119395675843901469604688863437}, {"parameter": "[7, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6497119391126645767798813220115193}, {"parameter": "[7, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6497119391128269333397077875223487}, {"parameter": "[7, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6497119395597848290718289817423087}, {"parameter": "[7, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6497119391048650157047498348674843}, {"parameter": "[7, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6497119391050273722645763003783137}, {"parameter": "[7, 5, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6497119395598961951611636102108251}, {"parameter": "[7, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6497119391049763817940844633360007}, {"parameter": "[7, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6497119391051387383539109288468301}, {"parameter": "[7, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 928159939836081641136381985652048}, {"parameter": "[7, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 928159939836043744642073596896449}, {"parameter": "[7, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 928159913086779398014808414974798}, {"parameter": "[7, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 928159913086741501520500026219199}, {"parameter": "[7, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 928159913007178267654622421838850}, {"parameter": "[7, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 928159913007140371160314033083251}, {"parameter": "[7, 6, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 928159913008296310181436936458014}, {"parameter": "[7, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 928159913008258413687128547702415}, {"parameter": "[7, 7, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 132594300664958968880657590629715}, {"parameter": "[7, 7, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 132594273364964942347810135172751}, {"parameter": "[7, 7, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 132594273286926071286686676979603}, {"parameter": "[7, 7, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 132594273288044207313222016108921}, {"parameter": "[8, 2, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 909994628009377946256191758460701}, {"parameter": "[8, 2, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 909994628010979000245841828221045}, {"parameter": "[8, 2, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 909995943286828776760034688739193}, {"parameter": "[8, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 6369963710220812902202674941896501}, {"parameter": "[8, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6369962395595186523008402563758059}, {"parameter": "[8, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369962395596787576998052633518403}, {"parameter": "[8, 3, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369963710872637353512245494036551}, {"parameter": "[8, 3, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 6369963710220589483857041628293701}, {"parameter": "[8, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6369962395594963104662769250155259}, {"parameter": "[8, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369962395596564158652419319915603}, {"parameter": "[8, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369963710872413935166612180433751}, {"parameter": "[8, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6369962400522793110633622633179637}, {"parameter": "[8, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369962396064346443263158749821702}, {"parameter": "[8, 4, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369962396144133851822958592558845}, {"parameter": "[8, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6369962399975223350968736852274737}, {"parameter": "[8, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369962395516776683598272968916802}, {"parameter": "[8, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369962395596564092158072811653945}, {"parameter": "[8, 4, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6369962399975223419096244519956787}, {"parameter": "[8, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369962395516776751725780636598852}, {"parameter": "[8, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369962395596564160285580479335995}, {"parameter": "[8, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369963710220854694987478975961757}, {"parameter": "[8, 5, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369963710220594058291489429721701}, {"parameter": "[8, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369962395517037307273267564719657}, {"parameter": "[8, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369962395516776670577278018479601}, {"parameter": "[8, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369962395517004740979441153199307}, {"parameter": "[8, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369962395516744104283451606959251}, {"parameter": "[8, 5, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369962395517004807241170988760959}, {"parameter": "[8, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369962395516744170545181442520903}, {"parameter": "[8, 6, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 909994628009191019251525291086301}, {"parameter": "[8, 6, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 909994627931000677565238289581051}, {"parameter": "[8, 6, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 909994627930967444172175565940187}, {"parameter": "[8, 6, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 909994627930967510694608291263839}, {"parameter": "[9, 2, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 6369572902118294181477478681062353}, {"parameter": "[9, 2, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6369572898285534494674834724331947}, {"parameter": "[9, 2, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369572902196746480195800085389097}, {"parameter": "[9, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6369572902118294114983132172800695}, {"parameter": "[9, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369572898285534428180488216070289}, {"parameter": "[9, 3, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369572902196746413701453577127439}, {"parameter": "[9, 3, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6369572902118294101689959944960295}, {"parameter": "[9, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369572898285534414887315988229889}, {"parameter": "[9, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369572902196746400408281349287039}, {"parameter": "[9, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369572898287358887222710088694402}, {"parameter": "[9, 4, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369572898285762474167395408955195}, {"parameter": "[9, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369572898287130827938674319631602}, {"parameter": "[9, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369572898285534414883359639892395}, {"parameter": "[9, 4, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369572898287130827942727839454752}, {"parameter": "[9, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369572898285534414887413159715545}, {"parameter": "[9, 5, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369572902118522160693114480555953}, {"parameter": "[9, 5, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369572898285534428451871980416753}, {"parameter": "[9, 5, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369572898285534414883375834176403}, {"parameter": "[9, 5, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369572898285534414887318342050239}, {"parameter": "[10, 2, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6369951881629469755456424450354753}, {"parameter": "[10, 2, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369951881629469755456424450354753}, {"parameter": "[10, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369951881629469755452468102017259}, {"parameter": "[10, 3, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369951881629469755452468102017259}, {"parameter": "[10, 3, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369951881629469755451677171320059}, {"parameter": "[10, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369951881629469755451677171320059}, {"parameter": "[10, 4, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369951881629469850436815887543717}, {"parameter": "[10, 4, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369951881629469755451676935921217}, {"parameter": "[10, 4, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369951881629469755451677177101667}, {"parameter": "[11, 2, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 909985571512701325946261714673483}, {"parameter": "[11, 3, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 909985571512701325946261479274641}, {"parameter": "[11, 3, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 909985571512701325946261432215041}, {"parameter": "[5, 2, 3, 6],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 8463426076232824291200902822520736}, {"parameter": "[5, 2, 3, 6],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 8463426080064184455220871774959992}, {"parameter": "[5, 2, 3, 6],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 8463426076325632726323276503301086}, {"parameter": "[5, 2, 3, 6],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 8466573373895016818393156003896338}, {"parameter": "[5, 2, 4, 5],[0, 3, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 6370405351267783508586401144580052}, {"parameter": "[5, 2, 4, 5],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6370330697725465118658354215381146}, {"parameter": "[5, 2, 4, 5],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6370330697181579856250918564576001}, {"parameter": "[5, 2, 4, 5],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6370330884374365161966511106358638}, {"parameter": "[5, 2, 4, 5],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 6370405351267783508586401144580052}, {"parameter": "[5, 2, 4, 5],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6370330697725465118658354215381146}, {"parameter": "[5, 2, 4, 5],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6370330697181579856250918564576001}, {"parameter": "[5, 2, 4, 5],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6370330884374365161966511106358638}, {"parameter": "[5, 2, 5, 4],[0, 3, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6370330728831140234273117065723252}, {"parameter": "[5, 2, 5, 4],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6370330697090692532541752747419944}, {"parameter": "[5, 2, 5, 4],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6370330697102020396804386490363602}, {"parameter": "[5, 2, 5, 4],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6367184798532681092159179960056394}, {"parameter": "[5, 2, 5, 4],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6367184766792233390427815641753086}, {"parameter": "[5, 2, 5, 4],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6367184766803561254690449384696744}, {"parameter": "[5, 2, 5, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6370395122501416917891300712298844}, {"parameter": "[5, 2, 5, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6370395090760969216159936393995536}, {"parameter": "[5, 2, 5, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6370395090772297080422570136939194}, {"parameter": "[5, 2, 6, 3],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909597984277066132324233129483535}, {"parameter": "[5, 2, 6, 3],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 909597984276801722716137255876742}, {"parameter": "[5, 2, 6, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 909597988108426296344202081922791}, {"parameter": "[5, 2, 6, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 909597988108161886736106208315998}, {"parameter": "[5, 2, 6, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 912745474406894376172623110492843}, {"parameter": "[5, 2, 6, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 912745474406629966564527236886050}, {"parameter": "[5, 2, 7, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 129942733463105521365928511558862}, {"parameter": "[5, 2, 7, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 129942729724553792468333239899956}, {"parameter": "[5, 2, 7, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 133090027293937884538212740495208}, {"parameter": "[5, 3, 2, 6],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 8463372142811414420440478292603486}, {"parameter": "[5, 3, 2, 6],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 8463372146642774584460447245042742}, {"parameter": "[5, 3, 2, 6],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 8466519632941242664288868273612794}, {"parameter": "[5, 3, 2, 6],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 8463371962496692094902413589697494}, {"parameter": "[5, 3, 2, 6],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 8463371966328052258922382542136750}, {"parameter": "[5, 3, 2, 6],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 8466519452626520338750803570706802}, {"parameter": "[5, 3, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 6373099280630146773635102821824396}, {"parameter": "[5, 3, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6369953350331687631521165716157538}, {"parameter": "[5, 3, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369953354163047795541134668596794}, {"parameter": "[5, 3, 3, 5],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6373100840461515875369555697166846}, {"parameter": "[5, 3, 3, 5],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 6373099280630146773635102821824396}, {"parameter": "[5, 3, 3, 5],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6369953350331687631521165716157538}, {"parameter": "[5, 3, 3, 5],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369953354163047795541134668596794}, {"parameter": "[5, 3, 3, 5],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6373100840461515875369555697166846}, {"parameter": "[5, 3, 3, 5],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 6373098018427090494868649901482452}, {"parameter": "[5, 3, 3, 5],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6369952088128631352754712795815594}, {"parameter": "[5, 3, 3, 5],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369952091959991516774681748254850}, {"parameter": "[5, 3, 3, 5],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6373099578258459596603102776824902}, {"parameter": "[5, 3, 3, 5],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 6373098018427090494868649901482452}, {"parameter": "[5, 3, 3, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6369952088128631352754712795815594}, {"parameter": "[5, 3, 3, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369952091959991516774681748254850}, {"parameter": "[5, 3, 3, 5],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6373099578258459596603102776824902}, {"parameter": "[5, 3, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6369963832398487995176689038458802}, {"parameter": "[5, 3, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369953163229887063580879576543987}, {"parameter": "[5, 3, 4, 4],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369953354163047795541134668596794}, {"parameter": "[5, 3, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366817902100028853062751932791944}, {"parameter": "[5, 3, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366807232931427921466942470877129}, {"parameter": "[5, 3, 4, 4],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366807423864588653427197562929936}, {"parameter": "[5, 3, 4, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6370028226068764678794872685034394}, {"parameter": "[5, 3, 4, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6370017556900163747199063223119579}, {"parameter": "[5, 3, 4, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6370017747833324479159318315172386}, {"parameter": "[5, 3, 4, 4],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6369962570195431716410236118116858}, {"parameter": "[5, 3, 4, 4],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369951901026830784814426656202043}, {"parameter": "[5, 3, 4, 4],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369952091959991516774681748254850}, {"parameter": "[5, 3, 4, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366816639896972574296299012450000}, {"parameter": "[5, 3, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805970728371642700489550535185}, {"parameter": "[5, 3, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366806161661532374660744642587992}, {"parameter": "[5, 3, 4, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6370026963865708400028419764692450}, {"parameter": "[5, 3, 4, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6370016294697107468432610302777635}, {"parameter": "[5, 3, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6370016485630268200392865394830442}, {"parameter": "[5, 3, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369953163775633133455817014536788}, {"parameter": "[5, 3, 5, 3],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369953163151923339313031371116444}, {"parameter": "[5, 3, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366807233477173991341879908869930}, {"parameter": "[5, 3, 5, 3],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366807232853464197199094265449586}, {"parameter": "[5, 3, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366807237308534155361848861309186}, {"parameter": "[5, 3, 5, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366807236684824361219063217888842}, {"parameter": "[5, 3, 5, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369954723607002235190269889879238}, {"parameter": "[5, 3, 5, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369954722983292441047484246458894}, {"parameter": "[5, 3, 5, 3],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369951901572576854689364094194844}, {"parameter": "[5, 3, 5, 3],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369951900948867060546578450774500}, {"parameter": "[5, 3, 5, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805971274117712575426988527986}, {"parameter": "[5, 3, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805970650407918432641345107642}, {"parameter": "[5, 3, 5, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805975105477876595395940967242}, {"parameter": "[5, 3, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805974481768082452610297546898}, {"parameter": "[5, 3, 5, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369953461403945956423816969537294}, {"parameter": "[5, 3, 5, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369953460780236162281031326116950}, {"parameter": "[5, 3, 6, 2],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 909544050866528864170397567653134}, {"parameter": "[5, 3, 6, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 909544054697889028190366520092390}, {"parameter": "[5, 3, 6, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 909544050959337299292771248433484}, {"parameter": "[5, 3, 6, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 912691348528721391362650749028736}, {"parameter": "[5, 3, 6, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 909543870551806538632332864747142}, {"parameter": "[5, 3, 6, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 909543874383166702652301817186398}, {"parameter": "[5, 3, 6, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 909543870644614973754706545527492}, {"parameter": "[5, 3, 6, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 912691168213999065824586046122744}, {"parameter": "[5, 4, 2, 5],[0, 1, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 6370090765874641819317632834814616}, {"parameter": "[5, 4, 2, 5],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6370016116139363319103281790687210}, {"parameter": "[5, 4, 2, 5],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6370092293871127348537776638169360}, {"parameter": "[5, 4, 2, 5],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 6370026532651958755125564426300108}, {"parameter": "[5, 4, 2, 5],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6369951882916680254911213382172702}, {"parameter": "[5, 4, 2, 5],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6370028060648444284345708229654852}, {"parameter": "[5, 4, 2, 5],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 6370026555576185739661380440694966}, {"parameter": "[5, 4, 2, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6369951905840907239447029396567560}, {"parameter": "[5, 4, 2, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6370028083572671268881524244049710}, {"parameter": "[5, 4, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366946145912496446928484349862959}, {"parameter": "[5, 4, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366871496177217946714133305735553}, {"parameter": "[5, 4, 3, 4],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366947673908981976148628153217703}, {"parameter": "[5, 4, 3, 4],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366944835576182677203695729147758}, {"parameter": "[5, 4, 3, 4],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366870185840904176989344685020352}, {"parameter": "[5, 4, 3, 4],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366946363572668206423839532502502}, {"parameter": "[5, 4, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366881912689813382736415941348451}, {"parameter": "[5, 4, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366807262954534882522064897221045}, {"parameter": "[5, 4, 3, 4],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366883440686298911956559744703195}, {"parameter": "[5, 4, 3, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366880602353499613011627320633250}, {"parameter": "[5, 4, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805952618221112797276276505844}, {"parameter": "[5, 4, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366882130349985142231771123987994}, {"parameter": "[5, 4, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366881935614040367272231955743309}, {"parameter": "[5, 4, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366807285878761867057880911615903}, {"parameter": "[5, 4, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366883463610525896492375759098053}, {"parameter": "[5, 4, 3, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366880625277726597547443335028108}, {"parameter": "[5, 4, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805975542448097333092290900702}, {"parameter": "[5, 4, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366882153274212126767587138382852}, {"parameter": "[5, 4, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366880699000656281065045352157323}, {"parameter": "[5, 4, 4, 3],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366880667907704540644868007321616}, {"parameter": "[5, 4, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366870029832055349469235890242508}, {"parameter": "[5, 4, 4, 3],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366869998739103609049058545406801}, {"parameter": "[5, 4, 4, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366870220765216081429490982295315}, {"parameter": "[5, 4, 4, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366870189672264341009313637459608}, {"parameter": "[5, 4, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366816465777973216872976943642815}, {"parameter": "[5, 4, 4, 3],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366816434685021476452799598807108}, {"parameter": "[5, 4, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805796609372285277167481728000}, {"parameter": "[5, 4, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805765516420544856990136892293}, {"parameter": "[5, 4, 4, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805987542533017237422573780807}, {"parameter": "[5, 4, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805956449581276817245228945100}, {"parameter": "[5, 4, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366816488702200201408792958037673}, {"parameter": "[5, 4, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366816457609248460988615613201966}, {"parameter": "[5, 4, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805819533599269812983496122858}, {"parameter": "[5, 4, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805788440647529392806151287151}, {"parameter": "[5, 4, 4, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366806010466760001773238588175665}, {"parameter": "[5, 4, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805979373808261353061243339958}, {"parameter": "[5, 4, 5, 2],[0, 1, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366944652827130958731608404022116}, {"parameter": "[5, 4, 5, 2],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366869999284812568803561474823210}, {"parameter": "[5, 4, 5, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366869998740927306396125824018065}, {"parameter": "[5, 4, 5, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366870185933712612111718365800702}, {"parameter": "[5, 4, 5, 2],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366880419604447894539539995507608}, {"parameter": "[5, 4, 5, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805766062129504611493066308702}, {"parameter": "[5, 4, 5, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805765518244242204057415503557}, {"parameter": "[5, 4, 5, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805952711029547919649957286194}, {"parameter": "[5, 4, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366880442528674879075356009902466}, {"parameter": "[5, 4, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805788986356489147309080703560}, {"parameter": "[5, 4, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805788442471226739873429898415}, {"parameter": "[5, 4, 5, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805975635256532455465971681052}, {"parameter": "[5, 5, 2, 4],[0, 0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6369953620223691507576123500083546}, {"parameter": "[5, 5, 2, 4],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369953620223691507576123500083546}, {"parameter": "[5, 5, 2, 4],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366807506556148636234263233595046}, {"parameter": "[5, 5, 2, 4],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366807506556148636234263233595046}, {"parameter": "[5, 5, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366807502812335876437054738347552}, {"parameter": "[5, 5, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366807502812335876437054738347552}, {"parameter": "[5, 5, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366807525284845595945883811489244}, {"parameter": "[5, 5, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366807525284845595945883811489244}, {"parameter": "[5, 5, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369953433667637009510774798462796}, {"parameter": "[5, 5, 3, 3],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369953433667637009510774798462796}, {"parameter": "[5, 5, 3, 3],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6369953433043927215367989155042452}, {"parameter": "[5, 5, 3, 3],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369953433043927215367989155042452}, {"parameter": "[5, 5, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366807320000094138168914531974296}, {"parameter": "[5, 5, 3, 3],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366807320000094138168914531974296}, {"parameter": "[5, 5, 3, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366807319376384344026128888553952}, {"parameter": "[5, 5, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366807319376384344026128888553952}, {"parameter": "[5, 5, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366807316256281378371706036726802}, {"parameter": "[5, 5, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366807316256281378371706036726802}, {"parameter": "[5, 5, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366807315632571584228920393306458}, {"parameter": "[5, 5, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366807315632571584228920393306458}, {"parameter": "[5, 5, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366807338728791097880535109868494}, {"parameter": "[5, 5, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366807338728791097880535109868494}, {"parameter": "[5, 5, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366807338105081303737749466448150}, {"parameter": "[5, 5, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366807338105081303737749466448150}, {"parameter": "[5, 5, 4, 2],[0, 0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369953464773275015005103140228510}, {"parameter": "[5, 5, 4, 2],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369953433032827313273738821925202}, {"parameter": "[5, 5, 4, 2],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6369953433044155177536372564868860}, {"parameter": "[5, 5, 4, 2],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366807351105732143663242873740010}, {"parameter": "[5, 5, 4, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366807319365284441931878555436702}, {"parameter": "[5, 5, 4, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366807319376612306194512298380360}, {"parameter": "[5, 5, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366807347361919383866034378492516}, {"parameter": "[5, 5, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366807315621471682134670060189208}, {"parameter": "[5, 5, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366807315632799546397303803132866}, {"parameter": "[5, 5, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366807369834429103374863451634208}, {"parameter": "[5, 5, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366807338093981401643499133330900}, {"parameter": "[5, 5, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366807338105309265906132876274558}, {"parameter": "[5, 6, 2, 3],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 909620262688383910469003204280736}, {"parameter": "[5, 6, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 909620079397523866243115660542686}, {"parameter": "[5, 6, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 909620075573960753757707620573542}, {"parameter": "[5, 6, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 909620098046618268882273379736898}, {"parameter": "[5, 6, 3, 2],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 909620262677511307862414236193887}, {"parameter": "[5, 6, 3, 2],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 909620262677246898254318362587094}, {"parameter": "[5, 6, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 909620079386651263636526692455837}, {"parameter": "[5, 6, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 909620079386386854028430818849044}, {"parameter": "[5, 6, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 909620075563088151151118652486693}, {"parameter": "[5, 6, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 909620075562823741543022778879900}, {"parameter": "[5, 6, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 909620098035745666275684411650049}, {"parameter": "[5, 6, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 909620098035481256667588538043256}, {"parameter": "[6, 2, 3, 5],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 154989512129116976625448760777536}, {"parameter": "[6, 2, 3, 5],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 154980314040604697999739469176442}, {"parameter": "[6, 2, 3, 5],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 154980314051806850167044304922850}, {"parameter": "[6, 2, 3, 5],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 154989516689760613343594825557886}, {"parameter": "[6, 2, 4, 4],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 388071062263074449617084913536}, {"parameter": "[6, 2, 4, 4],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 388039867688550068344321147991}, {"parameter": "[6, 2, 4, 4],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 388040425939987870980365335992}, {"parameter": "[6, 2, 4, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 388071062263074449617084913536}, {"parameter": "[6, 2, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 388039867688550068344321147991}, {"parameter": "[6, 2, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 388040425939987870980365335992}, {"parameter": "[6, 2, 5, 3],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 388039869284205464268556472334}, {"parameter": "[6, 2, 5, 3],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 388039867460599297498001815942}, {"parameter": "[6, 2, 5, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378841780771926838559264871240}, {"parameter": "[6, 2, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 378841778948320671788710214848}, {"parameter": "[6, 2, 5, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 388228143855681356642946351590}, {"parameter": "[6, 2, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 388228142032075189872391695198}, {"parameter": "[6, 2, 6, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 54120723286073122696591224112}, {"parameter": "[6, 2, 6, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 54120734488225290001426970520}, {"parameter": "[6, 2, 6, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 63323372441988466551947605556}, {"parameter": "[6, 3, 2, 5],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 154989490126204133798776633237087}, {"parameter": "[6, 3, 2, 5],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 154980292037691855173067341635993}, {"parameter": "[6, 3, 2, 5],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 154989678400775609691151023116343}, {"parameter": "[6, 3, 2, 5],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 154989489591117754552854637815094}, {"parameter": "[6, 3, 2, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 154980291502605475927145346214000}, {"parameter": "[6, 3, 2, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 154989677865689230445229027694350}, {"parameter": "[6, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 397216500337271502712693650229}, {"parameter": "[6, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 388018411824992877003402049135}, {"parameter": "[6, 3, 3, 4],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 397404774908747395087083529485}, {"parameter": "[6, 3, 3, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 397216500337271502712693650229}, {"parameter": "[6, 3, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 388018411824992877003402049135}, {"parameter": "[6, 3, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 397404774908747395087083529485}, {"parameter": "[6, 3, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 397215965250892256790698228236}, {"parameter": "[6, 3, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 388017876738613631081406627142}, {"parameter": "[6, 3, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 397404239822368149165088107492}, {"parameter": "[6, 3, 3, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 397215965250892256790698228236}, {"parameter": "[6, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 388017876738613631081406627142}, {"parameter": "[6, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 397404239822368149165088107492}, {"parameter": "[6, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 388022242993598491092415796678}, {"parameter": "[6, 3, 4, 3],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 388018411824992877003402049135}, {"parameter": "[6, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378824154481319865383124195584}, {"parameter": "[6, 3, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 378820323312714251294110448041}, {"parameter": "[6, 3, 4, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 388210517565074383466805675934}, {"parameter": "[6, 3, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 388206686396468769377791928391}, {"parameter": "[6, 3, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 388021707907219245170420374685}, {"parameter": "[6, 3, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 388017876738613631081406627142}, {"parameter": "[6, 3, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378823619394940619461128773591}, {"parameter": "[6, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 378819788226335005372115026048}, {"parameter": "[6, 3, 4, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 388209982478695137544810253941}, {"parameter": "[6, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 388206151310089523455796506398}, {"parameter": "[6, 3, 5, 2],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 388018411824992877003402049135}, {"parameter": "[6, 3, 5, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 378820323312714251294110448041}, {"parameter": "[6, 3, 5, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 378820334514866418598946194449}, {"parameter": "[6, 3, 5, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 388022972468629595149466829485}, {"parameter": "[6, 3, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 388017876738613631081406627142}, {"parameter": "[6, 3, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 378819788226335005372115026048}, {"parameter": "[6, 3, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 378819799428487172676950772456}, {"parameter": "[6, 3, 5, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 388022437382250349227471407492}, {"parameter": "[6, 4, 2, 4],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 388423407871605969941137014088}, {"parameter": "[6, 4, 2, 4],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 388423407871605969941137014088}, {"parameter": "[6, 4, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 388235602418166040890086922187}, {"parameter": "[6, 4, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 388235602418166040890086922187}, {"parameter": "[6, 4, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 388235603754766293641385550938}, {"parameter": "[6, 4, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 388235603754766293641385550938}, {"parameter": "[6, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 379229150527932958320859160537}, {"parameter": "[6, 4, 3, 3],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 379229150527932958320859160537}, {"parameter": "[6, 4, 3, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 379225319359327344231845412994}, {"parameter": "[6, 4, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 379225319359327344231845412994}, {"parameter": "[6, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 379041345074493029269809068636}, {"parameter": "[6, 4, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 379041345074493029269809068636}, {"parameter": "[6, 4, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 379037513905887415180795321093}, {"parameter": "[6, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 379037513905887415180795321093}, {"parameter": "[6, 4, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 379041346411093282021107697387}, {"parameter": "[6, 4, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 379041346411093282021107697387}, {"parameter": "[6, 4, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 379037515242487667932093949844}, {"parameter": "[6, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 379037515242487667932093949844}, {"parameter": "[6, 4, 4, 2],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 379255966884566090173400736946}, {"parameter": "[6, 4, 4, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 379224772310041708900636971401}, {"parameter": "[6, 4, 4, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 379225330561479511536681159402}, {"parameter": "[6, 4, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 379068161431126161122350645045}, {"parameter": "[6, 4, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 379036966856601779849586879500}, {"parameter": "[6, 4, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 379037525108039582485631067501}, {"parameter": "[6, 4, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 379068162767726413873649273796}, {"parameter": "[6, 4, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 379036968193202032600885508251}, {"parameter": "[6, 4, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 379037526444639835236929696252}, {"parameter": "[6, 5, 2, 3],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 464413231880672661267508097536}, {"parameter": "[6, 5, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 455214607232835237284154979636}, {"parameter": "[6, 5, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 455214596091163404528313203993}, {"parameter": "[6, 5, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 455214597400326749198932664750}, {"parameter": "[6, 5, 3, 2],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 464412686427042421860534980286}, {"parameter": "[6, 5, 3, 2],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 464412684603436255089980323894}, {"parameter": "[6, 5, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 455214061779204997877181862386}, {"parameter": "[6, 5, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 455214059955598831106627205994}, {"parameter": "[6, 5, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 455214050637533165121340086743}, {"parameter": "[6, 5, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 455214048813926998350785430351}, {"parameter": "[6, 5, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 455214051946696509791959547500}, {"parameter": "[6, 5, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 455214050123090343021404891108}, {"parameter": "[7, 2, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 837516192987399245446095111198}, {"parameter": "[7, 2, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 837489365456723532775827411156}, {"parameter": "[7, 2, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 837516742116909684881925891206}, {"parameter": "[7, 2, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 386599068564167698342554478111}, {"parameter": "[7, 2, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 386599057390020683586592805262}, {"parameter": "[7, 2, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 386599068564167698342554478111}, {"parameter": "[7, 2, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 386599057390020683586592805262}, {"parameter": "[7, 2, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 386599057390020683586592805262}, {"parameter": "[7, 2, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 386572229859344970916325105220}, {"parameter": "[7, 2, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 386599606519531123022423585270}, {"parameter": "[7, 3, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 837516191869828763681741425192}, {"parameter": "[7, 3, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 837516191869828763681741425192}, {"parameter": "[7, 3, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 837516191646410418048427822392}, {"parameter": "[7, 3, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 837516191646410418048427822392}, {"parameter": "[7, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 386625883803125914492506819298}, {"parameter": "[7, 3, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 386625883803125914492506819298}, {"parameter": "[7, 3, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 386625883803125914492506819298}, {"parameter": "[7, 3, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 386625883803125914492506819298}, {"parameter": "[7, 3, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 386625883579707568859193216498}, {"parameter": "[7, 3, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 386625883579707568859193216498}, {"parameter": "[7, 3, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 386625883579707568859193216498}, {"parameter": "[7, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 386625883579707568859193216498}, {"parameter": "[7, 3, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 386625883803125914492506819298}, {"parameter": "[7, 3, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 386599056272450201822239119256}, {"parameter": "[7, 3, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 386626432932636353928337599306}, {"parameter": "[7, 3, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 386625883579707568859193216498}, {"parameter": "[7, 3, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 386599056049031856188925516456}, {"parameter": "[7, 3, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 386626432709218008295023996506}, {"parameter": "[7, 4, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 397298939007236513361823851492}, {"parameter": "[7, 4, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 397298860783566437659594028692}, {"parameter": "[7, 4, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 397298860783634565167261710742}, {"parameter": "[7, 4, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 397272122650707815447517824299}, {"parameter": "[7, 4, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 397272111476560800691556151450}, {"parameter": "[7, 4, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 397272044427037739745288001499}, {"parameter": "[7, 4, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 397272033252890724989326328650}, {"parameter": "[7, 4, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 397272044427105867252955683549}, {"parameter": "[7, 4, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 397272033252958852496994010700}, {"parameter": "[8, 2, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 380321290999484474230881990350}, {"parameter": "[8, 2, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 380321290999484474230881990350}, {"parameter": "[8, 2, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 379006665373105279958503851908}, {"parameter": "[8, 2, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 379006665373105279958503851908}, {"parameter": "[8, 3, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 381635916625797174156751867134}, {"parameter": "[8, 3, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 381635916625783880984524026734}, {"parameter": "[8, 3, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 380321290999417979884373728692}, {"parameter": "[8, 3, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 380321290999417979884373728692}, {"parameter": "[8, 3, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 380321290999404686712145888292}, {"parameter": "[8, 3, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 380321290999404686712145888292}, {"parameter": "[9, 2, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 378991000198452675156898094292}, {"parameter": "[5, 2, 3, 2, 4],[0, 3, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6671263401230141012438711415137}, {"parameter": "[5, 2, 3, 2, 4],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6671263401230141012438711415137}, {"parameter": "[5, 2, 3, 3, 3],[0, 3, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3525333102770998898501605748279}, {"parameter": "[5, 2, 3, 3, 3],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3525333102770998898501605748279}, {"parameter": "[5, 2, 3, 3, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3525333102770998898501605748279}, {"parameter": "[5, 2, 3, 3, 3],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3525333102770998898501605748279}, {"parameter": "[5, 2, 3, 4, 2],[0, 3, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3525333102770998898501605748279}, {"parameter": "[5, 2, 3, 4, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3525145923006706690367260707185}, {"parameter": "[5, 2, 3, 4, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3525336934131162918470558187535}, {"parameter": "[5, 2, 4, 2, 3],[0, 3, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 453869790538638526828219083185}, {"parameter": "[5, 2, 4, 2, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 453869790538638526828219083185}, {"parameter": "[5, 2, 4, 3, 2],[0, 3, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 453682688738070586542079469634}, {"parameter": "[5, 2, 4, 3, 2],[0, 3, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 453682610774346318693874042091}, {"parameter": "[5, 2, 4, 3, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 453682688738070586542079469634}, {"parameter": "[5, 2, 4, 3, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 453682610774346318693874042091}, {"parameter": "[5, 3, 2, 3, 3],[0, 2, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6671240938330761641026622897887}, {"parameter": "[5, 3, 2, 3, 3],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6671240938330761641026622897887}, {"parameter": "[5, 3, 2, 3, 3],[0, 3, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6671240863230918939844588452695}, {"parameter": "[5, 3, 2, 3, 3],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6671240863230918939844588452695}, {"parameter": "[5, 3, 2, 4, 2],[0, 2, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3525310639871619527089517231029}, {"parameter": "[5, 3, 2, 4, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3525310639871619527089517231029}, {"parameter": "[5, 3, 2, 4, 2],[0, 3, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3525310564771776825907482785837}, {"parameter": "[5, 3, 2, 4, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3525310564771776825907482785837}, {"parameter": "[5, 3, 3, 2, 3],[0, 2, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6671240938330761641026622897887}, {"parameter": "[5, 3, 3, 2, 3],[0, 2, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6671240938330761641026622897887}, {"parameter": "[5, 3, 3, 2, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6671240863230918939844588452695}, {"parameter": "[5, 3, 3, 2, 3],[0, 3, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6671240863230918939844588452695}, {"parameter": "[5, 3, 3, 3, 2],[0, 2, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3525310639871619527089517231029}, {"parameter": "[5, 3, 3, 3, 2],[0, 2, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3525310639871619527089517231029}, {"parameter": "[5, 3, 3, 3, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3525310639871619527089517231029}, {"parameter": "[5, 3, 3, 3, 2],[0, 2, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3525310639871619527089517231029}, {"parameter": "[5, 3, 3, 3, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3525310564771776825907482785837}, {"parameter": "[5, 3, 3, 3, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3525310564771776825907482785837}, {"parameter": "[5, 3, 3, 3, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3525310564771776825907482785837}, {"parameter": "[5, 3, 3, 3, 2],[0, 3, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3525310564771776825907482785837}, {"parameter": "[5, 4, 2, 3, 2],[0, 1, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 528318059243367452451920930801}, {"parameter": "[5, 4, 2, 3, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 528314237429677736012814105757}, {"parameter": "[5, 4, 2, 3, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 528314238793646736104193650851}, {"parameter": "[6, 2, 3, 2, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 27618448147597595088076316285}, {"parameter": "[6, 2, 3, 3, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 18420359635318969378784715191}, {"parameter": "[6, 2, 3, 3, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 18420359635318969378784715191}, {"parameter": "[6, 3, 2, 3, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 27618446838445881943156215878}, {"parameter": "[6, 3, 2, 3, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 27618446806608767690409027479}, {"parameter": "", "name": "JohnsonLB", "value": 15293088787523135802723714592145913633}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 18571479935620465930451206847428}], "request": [7, 16, 4, 5], "liftedmrdsizebound": 15294460231838765362041550177830558460, "comments": "", "equal_bound_constraints": []}