{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 587953159580355890974683988909617412559591458771}, {"parameter": "", "name": "singleton", "value": 168620463706718874134703442098874261321}, {"parameter": "4", "name": "ilp_2", "value": 149887394989165629317505482725538542321}, {"parameter": "6", "name": "ilp_3", "value": 8850717440619537723538822654066196184850089}, {"parameter": "", "name": "anticode", "value": 149887394989165629317505482725538542321}, {"parameter": "", "name": "linear_programming_bound", "value": 149887394989165629317505482725538542321}, {"parameter": "", "name": "sphere_packing", "value": 587953159580355890974683988909617412559591458771}, {"parameter": "1", "name": "ilp_1", "value": 149887394989165629317505482725538542321}, {"parameter": "2", "name": "ilp_1", "value": 149887394989165629317505482725538542321}, {"parameter": "3", "name": "ilp_1", "value": 149887394989165629317505482725538542321}, {"parameter": "7", "name": "ilp_4", "value": 8849518338952639374972649274465949038072653}, {"parameter": "8", "name": "ilp_4", "value": 8849518321124914827900466252136653236716035}, {"parameter": "9", "name": "ilp_4", "value": 8849518321124613327967317603211399955980684}, {"parameter": "10", "name": "ilp_4", "value": 8849518321124613327967317603211399955980684}, {"parameter": "11", "name": "ilp_4", "value": 983411404099472780875279096844666178087901}, {"parameter": "12", "name": "ilp_4", "value": 109267730720287499992463374547644321644183}, {"parameter": "13", "name": "ilp_4", "value": 12140879025073209529511894278086916665525}, {"parameter": "14", "name": "ilp_4", "value": 1348986527390628217453922334152173231424}, {"parameter": "", "name": "johnson_1", "value": 149887394989165629317505482725538542321}, {"parameter": "", "name": "johnson_2", "value": 1348986527390628217453922334152173231424}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 587953159580355890974683988909617412559591458771}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 8850717440619537723538822654066196184850089}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 8849518338952639374972649274465949038072653}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 8849518321124914827900466252136653236716035}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 8849518321124613327967317603211399955980684}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 8849518321124613327967317603211399955980684}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 983411404099472780875279096844666178087901}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 109267730720287499992463374547644321644183}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 12140879025073209529511894278086916665525}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1348986527390628217453922334152173231424}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 149887394989165629317505482725538542321}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 149887395027371372451989622684086127284}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 149887395371223061538812131921272711268}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 149887398465888334313901580225464677336}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 149887426317881539779543166375907512919}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 149887676986286179522224337741101796103}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 149889933039657609903217626737125055384}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 149910240576569139119118815491251303007}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 150093256330406684577877049302546249396}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 151760730409212729403828996092998102386}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 168620463706718874134703442098874261321}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 587953159580355890974683988909617412559591458771}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 149887394989165629317505482725538542321}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 149887394989165629317505482725538542321}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 149887394989165629317505482725538542321}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 149887394989165629317505482725538542321}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 8850717440619537723538822654066196184850089}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 8850850676366279543289987219495285816166704}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 8852049978623197704357534647346200436724438}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 8862858342430627976117896924876705362657827}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 8961334546006647296452312211882382275847929}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 9957038381881749517654238255938525131005050}, {"parameter": "", "name": "improved_johnson", "value": 149887394989165629317505482725538542321}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 983413028650838638587432074182804131631934}], "known_codes": [], "upper_bound": 149887394989165629317505482725538542321, "classified": false, "lower_bound": 147834451659242095115954774336751358413, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 147808829414345923316083210206383297601}, {"parameter": "", "name": "sphere_covering", "value": 20307193473427905765071077453473260}, {"parameter": "", "name": "graham_sloane", "value": 22845205758937660768825828762887721}, {"parameter": "", "name": "multicomponent", "value": 147808832848029823375038977627874403942}, {"parameter": "", "name": "construction_ST_B", "value": 147831364640424781707115859690775746495}, {"parameter": "", "name": "ChenHeWengXu2019_T41", "value": 147834451659241278745558658029146634561}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 147808829414353281645651049387339835202}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 147831361247582041112575374193063697124}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 147831364640424781695697707196137955689}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_16", "value": 147831647542932378880420989287572446421}, {"parameter": "", "name": "two_pivot_block_construction", "value": 147831361248098098726821994692926767104}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 147834451659242095091637336286335920961}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 147831364682305357910937851019064216662}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 147834451659242095115954774336751358413}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 147834451659242095103797131754486884573}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 22563593750616181760747657446685460}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 22563593750616169604935218578608500}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 205262233378739241518403057751798383}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 205262233378739229510832233991868703}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1825117115175225414624618597878242623}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1825117115175225426632189421638172303}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 16425771519666709452647035439905733460}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 16425771519666709464802847878773810420}, {"parameter": "(5,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 147834447223953862115641950725398550013}, {"parameter": "(5,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 147834447223953862127799593307663023853}, {"parameter": "(5, 10)", "name": "CKMP2019_Lem_41", "value": 147834451659242095103797108877694429612}, {"parameter": "(6, 9)", "name": "CKMP2019_Lem_41", "value": 22563593750616169603082198389756659}, {"parameter": "(7, 8)", "name": "CKMP2019_Lem_41", "value": 205262233378739229360737598694869582}, {"parameter": "(8, 7)", "name": "CKMP2019_Lem_41", "value": 1825117115175225414474523962581243502}, {"parameter": "(9, 6)", "name": "CKMP2019_Lem_41", "value": 16425771519666709452645182419716881619}, {"parameter": "(10, 5)", "name": "CKMP2019_Lem_41", "value": 147834447223953862115641927848606095052}, {"parameter": "(5, 5, 5)", "name": "CKMP2019_Lem_41", "value": 147834451659241278757720537752031882083}, {"parameter": "(5, 10)", "name": "CKMP2019_Cor_42", "value": 147834451659242095103797108877694429612}, {"parameter": "(6, 9)", "name": "CKMP2019_Cor_42", "value": 22563593750616169603082198389756659}, {"parameter": "(7, 8)", "name": "CKMP2019_Cor_42", "value": 205262233378739229360737598694869582}, {"parameter": "(8, 7)", "name": "CKMP2019_Cor_42", "value": 1825117115175225414474523962581243502}, {"parameter": "(9, 6)", "name": "CKMP2019_Cor_42", "value": 16425771519666709452645182419716881619}, {"parameter": "(10, 5)", "name": "CKMP2019_Cor_42", "value": 147834447223953862115641927848606095052}, {"parameter": "(5, 5, 5)", "name": "CKMP2019_Cor_42", "value": 147834451659241278757720537752031882083}, {"parameter": "5", "name": "linkage_ST", "value": 147834447223946503786074088667649557452}, {"parameter": "6", "name": "linkage_ST", "value": 16425771519666618609089029476965323219}, {"parameter": "7", "name": "linkage_ST", "value": 1825117115108181873105316157996636782}, {"parameter": "8", "name": "linkage_ST", "value": 205262185093266103820361564195518542}, {"parameter": "9", "name": "linkage_ST", "value": 22528399544939174412046071204008179}, {"parameter": "10", "name": "linkage_ST", "value": 147808829414345923328242982797741806252}, {"parameter": "11", "name": "linkage_ST", "value": 79780119907554209858239}, {"parameter": "12", "name": "linkage_ST", "value": 523437258772710399222207401}, {"parameter": "13", "name": "linkage_ST", "value": 3434214279120463268840947142394}, {"parameter": "14", "name": "linkage_ST", "value": 22531879885309361371329789150871659}, {"parameter": "5", "name": "construction_D", "value": 147834447223946503786074088667649557451}, {"parameter": "6", "name": "construction_D", "value": 16425771519666618609089029476965323218}, {"parameter": "7", "name": "construction_D", "value": 1825117115108181873105316157996577003}, {"parameter": "8", "name": "construction_D", "value": 205262185093266103820361560708128899}, {"parameter": "9", "name": "construction_D", "value": 22528399544939174411840147874772641}, {"parameter": "10", "name": "construction_D", "value": 147808829414345923316083210206383297601}, {"parameter": "11", "name": "construction_D", "value": 0}, {"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": "5", "name": "linkage_GLT", "value": 147808829414345923328242982797741806252}, {"parameter": "6", "name": "linkage_GLT", "value": 22528399544939174412046071204008179}, {"parameter": "7", "name": "linkage_GLT", "value": 205262185093266103820361564195518542}, {"parameter": "8", "name": "linkage_GLT", "value": 1825117115108181873105316157996636782}, {"parameter": "9", "name": "linkage_GLT", "value": 16425771519666618609089029476965323219}, {"parameter": "10", "name": "linkage_GLT", "value": 147834447223946503786074088667649557452}, {"parameter": "5", "name": "improved_linkage", "value": 147808832848560202436546479047330439995}, {"parameter": "6", "name": "improved_linkage", "value": 22528400068376433184550547096980042}, {"parameter": "7", "name": "improved_linkage", "value": 205262185093345883940269114917987138}, {"parameter": "8", "name": "improved_linkage", "value": 1825117115108181885265088749355085654}, {"parameter": "9", "name": "improved_linkage", "value": 16425771519666618609089235400294558756}, {"parameter": "10", "name": "improved_linkage", "value": 147834447223946503786074088671136947094}, {"parameter": "11", "name": "improved_linkage", "value": 16426019206413180188208485645420522890}, {"parameter": "12", "name": "improved_linkage", "value": 1825112868790887024498475298593551802}, {"parameter": "13", "name": "improved_linkage", "value": 202786918967784235561789087811223307}, {"parameter": "5,0", "name": "generalized_linkage", "value": 147834451659242095103797108877694429612}, {"parameter": "5,1", "name": "generalized_linkage", "value": 147808864566757357584212578199363429904}, {"parameter": "5,2", "name": "generalized_linkage", "value": 147808829461978713864399856535604171092}, {"parameter": "5,3", "name": "generalized_linkage", "value": 147808832848560202436546479047330439995}, {"parameter": "6,0", "name": "generalized_linkage", "value": 22563593750616169603082198389756659}, {"parameter": "6,1", "name": "generalized_linkage", "value": 22528834114900112144468134858789308}, {"parameter": "6,2", "name": "generalized_linkage", "value": 22528399610358872736034599958528621}, {"parameter": "6,3", "name": "generalized_linkage", "value": 22528400068376433184550547096980042}, {"parameter": "7,0", "name": "generalized_linkage", "value": 205262233378739229360737598694869582}, {"parameter": "7,1", "name": "generalized_linkage", "value": 205262185159501303230742266547126677}, {"parameter": "7,2", "name": "generalized_linkage", "value": 205262185093355855101858377860481930}, {"parameter": "7,3", "name": "generalized_linkage", "value": 205262185093345883940269114917987138}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1825117115175225414474523962581243502}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1825117115108191968586098773712589254}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1825117115108181874625236251084082981}, {"parameter": "8,3", "name": "generalized_linkage", "value": 1825117115108181885265088749355085654}, {"parameter": "9,0", "name": "generalized_linkage", "value": 16425771519666709452645182419716881619}, {"parameter": "9,1", "name": "generalized_linkage", "value": 16425771519666618610646492587417503957}, {"parameter": "9,2", "name": "generalized_linkage", "value": 16425771519666618609089055217388278201}, {"parameter": "9,3", "name": "generalized_linkage", "value": 16425771519666618609089235400294558756}, {"parameter": "10,0", "name": "generalized_linkage", "value": 147834447223953862115641927848606095052}, {"parameter": "10,1", "name": "generalized_linkage", "value": 147834447223946503786074323150800555548}, {"parameter": "10,2", "name": "generalized_linkage", "value": 147834447223946503786074088668090786250}, {"parameter": "10,3", "name": "generalized_linkage", "value": 147834447223946503786074088671136947094}, {"parameter": "11,1", "name": "generalized_linkage", "value": 16426019206413180188210595993784287912}, {"parameter": "11,2", "name": "generalized_linkage", "value": 16426019206413180188208485645420470492}, {"parameter": "11,3", "name": "generalized_linkage", "value": 16426019206413180188208485645420522890}, {"parameter": "12,2", "name": "generalized_linkage", "value": 1825112868790887024498475298593559182}, {"parameter": "12,3", "name": "generalized_linkage", "value": 1825112868790887024498475298593551802}, {"parameter": "13,3", "name": "generalized_linkage", "value": 202786918967784235561789087811223307}, {"parameter": "[5, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 147834451659242095103797108877694429612}, {"parameter": "[5, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808864566757357584212578199363429904}, {"parameter": "[5, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829461978713864399856535604171092}, {"parameter": "[5, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 147808832848560202436546479047330439995}, {"parameter": "[6, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22563593750616169603082198389756659}, {"parameter": "[6, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528834114900112144468134858789308}, {"parameter": "[6, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399610358872736034599958528621}, {"parameter": "[6, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22528400068376433184550547096980042}, {"parameter": "[7, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205262233378739229360737598694869582}, {"parameter": "[7, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205262185159501303230742266547126677}, {"parameter": "[7, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 205262185093355855101858377860481930}, {"parameter": "[7, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 205262185093345883940269114917987138}, {"parameter": "[8, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1825117115175225414474523962581243502}, {"parameter": "[8, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1825117115108191968586098773712589254}, {"parameter": "[8, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1825117115108181874625236251084082981}, {"parameter": "[8, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1825117115108181885265088749355085654}, {"parameter": "[9, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16425771519666709452645182419716881619}, {"parameter": "[9, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16425771519666618610646492587417503957}, {"parameter": "[9, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16425771519666618609089055217388278201}, {"parameter": "[9, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 16425771519666618609089235400294558756}, {"parameter": "[10, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 147834447223953862115641927848606095052}, {"parameter": "[10, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 147834447223946503786074323150800555548}, {"parameter": "[10, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 147834447223946503786074088668090786250}, {"parameter": "[10, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 147834447223946503786074088671136947094}, {"parameter": "[11, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16426019206413180188210595993784287912}, {"parameter": "[11, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16426019206413180188208485645420470492}, {"parameter": "[11, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 16426019206413180188208485645420522890}, {"parameter": "[12, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1825112868790887024498475298593559182}, {"parameter": "[12, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1825112868790887024498475298593551802}, {"parameter": "[13, 2],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 202786918967784235561789087811223307}, {"parameter": "[5, 2, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 202759463503354791471993469253308077}, {"parameter": "[5, 2, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 202759463495891764366536418758614268}, {"parameter": "[5, 2, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 228381274484444649932944660033175061}, {"parameter": "[5, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824800849967876734956749697144757151}, {"parameter": "[5, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800844679789662101808344817397359}, {"parameter": "[5, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800844672326634996351294322703550}, {"parameter": "[5, 3, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1850422655660879520562759535597264343}, {"parameter": "[5, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824800802866589762494301347928720261}, {"parameter": "[5, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800797578502689639359995601360469}, {"parameter": "[5, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800797571039662533902945106666660}, {"parameter": "[5, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1850422608559592548100311186381227453}, {"parameter": "[5, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423238420662137681625946420443881723}, {"parameter": "[5, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423238415322701154496428016765942997}, {"parameter": "[5, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423238414719343466052621395654427416}, {"parameter": "[5, 4, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 16423238848553478468061370619662017404}, {"parameter": "[5, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203274284195008263529429925256677}, {"parameter": "[5, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268944758481134011026247317951}, {"parameter": "[5, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268341400792690204405135802370}, {"parameter": "[5, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 16423203702175535794698953629143392358}, {"parameter": "[5, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203279045294462635895798649548045}, {"parameter": "[5, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203273705857935506377394971609319}, {"parameter": "[5, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203273102500247062570773860093738}, {"parameter": "[5, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 16423203706936635249071319997867683726}, {"parameter": "[5, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 147834451659241278757720537752031882083}, {"parameter": "[5, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 147834447219237303525236295422540536659}, {"parameter": "[5, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 147834447219236386551391565217180104691}, {"parameter": "[5, 5, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 147834447219243723478841717953330851885}, {"parameter": "[5, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808833859707691060790518119345039699}, {"parameter": "[5, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829419703715828306275789853694275}, {"parameter": "[5, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829419702798854461545584493262307}, {"parameter": "[5, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 147808829419710135781911698320644009501}, {"parameter": "[5, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808833854416963335572307863045569011}, {"parameter": "[5, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414412988103088065533554223587}, {"parameter": "[5, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414412071129243335328193791619}, {"parameter": "[5, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 147808829414419408056693488064344538813}, {"parameter": "[5, 5, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808833896749343589949878173683033965}, {"parameter": "[5, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829456745368357465635844191688541}, {"parameter": "[5, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829456744451383620905638831256573}, {"parameter": "[5, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 147808829456751788311071058374982003767}, {"parameter": "[5, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203702175738800161788423514709315}, {"parameter": "[5, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203702100433426994909200241290598}, {"parameter": "[5, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 16423203702100433551229299727163055797}, {"parameter": "[5, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203273759052440297083945763081093}, {"parameter": "[5, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203273683747067130204722489662376}, {"parameter": "[5, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 16423203273683747191364595249411427575}, {"parameter": "[5, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268401303577876565761060497963}, {"parameter": "[5, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268325998204709686537787079246}, {"parameter": "[5, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 16423203268325998328944077064708844445}, {"parameter": "[5, 6, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203310733750902130245831423786188}, {"parameter": "[5, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203310658445528963366608150367471}, {"parameter": "[5, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 16423203310658445653197757135072132670}, {"parameter": "[5, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800802343242145019681469125452281}, {"parameter": "[5, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1824800802343242129469047942629368101}, {"parameter": "[5, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800368497867072354879997814630673}, {"parameter": "[5, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1824800368497867056804246471318546493}, {"parameter": "[5, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363205412075860214601211916620}, {"parameter": "[5, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1824800363205412060309581074715832440}, {"parameter": "[5, 7, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800405538578534167987999197180513}, {"parameter": "[5, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1824800405538578518617354472701096333}, {"parameter": "[5, 8, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 202756029819534498961615943318378157}, {"parameter": "[5, 8, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 202755601262154348952359421801260204}, {"parameter": "[5, 8, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 202755595969792609177657163324406939}, {"parameter": "[5, 8, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 202755600615388870129837000706267841}, {"parameter": "[6, 2, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 30904281021214540804874104113381}, {"parameter": "[6, 2, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 30904273757480366703562536113973}, {"parameter": "[6, 2, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 66097883407260830964508370299068}, {"parameter": "[6, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 278129050775950093464285661061142}, {"parameter": "[6, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 278129058143125735375160112986112}, {"parameter": "[6, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 278129050879391561273848544986704}, {"parameter": "[6, 3, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 313322660529172025534794379171799}, {"parameter": "[6, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 278128985447233213505700082968483}, {"parameter": "[6, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 278128992814408855416574534893453}, {"parameter": "[6, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128985550674681315262966894045}, {"parameter": "[6, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 313322595200455145576208801079140}, {"parameter": "[6, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2504077979394226051171947734755803}, {"parameter": "[6, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503590000567149161502857146708675}, {"parameter": "[6, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503589999750958445391740423721256}, {"parameter": "[6, 4, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503590595676005320436134505483989}, {"parameter": "[6, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503643484748646344708916577773406}, {"parameter": "[6, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505921569455039825989726278}, {"parameter": "[6, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505105378738928709266738859}, {"parameter": "[6, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503156101030425613973103348501592}, {"parameter": "[6, 4, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503643485465450142509454042951565}, {"parameter": "[6, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155506638373252840363454904437}, {"parameter": "[6, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505822182536729246731917018}, {"parameter": "[6, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503156101747229411773640813679751}, {"parameter": "[6, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2538344283185811157958184094453635}, {"parameter": "[6, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2538344207880437974430617788490989}, {"parameter": "[6, 5, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2538344207890639206880806621083157}, {"parameter": "[6, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155587656835481602474123279379}, {"parameter": "[6, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155512351462298074907817316733}, {"parameter": "[6, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155512361663530525096649908901}, {"parameter": "[6, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155580308722869694719057868166}, {"parameter": "[6, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505003349686167152751905520}, {"parameter": "[6, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155505013550918617341584497688}, {"parameter": "[6, 5, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155581016652939239044337680253}, {"parameter": "[6, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711279755711478031717607}, {"parameter": "[6, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155505721480988161666864309775}, {"parameter": "[6, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128985367606916029436654373142}, {"parameter": "[6, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 278128985367466941338096608570083}, {"parameter": "[6, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128396893005451538985351643624}, {"parameter": "[6, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 278128396892865476847645305840565}, {"parameter": "[6, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128389453804673019980371751041}, {"parameter": "[6, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 278128389453664698328640325947982}, {"parameter": "[6, 6, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128390161843909038356010742519}, {"parameter": "[6, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 278128390161703934347015964939460}, {"parameter": "[6, 7, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 30903757673581684353605926066821}, {"parameter": "[6, 7, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 30903161742115177121158976277309}, {"parameter": "[6, 7, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 30903154392603627938973689625330}, {"parameter": "[6, 7, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 30903155100655195018318254601389}, {"parameter": "[7, 2, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 281566784290026523935092204973861}, {"parameter": "[7, 2, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 281566784300133910545130512788991}, {"parameter": "[7, 2, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 281615068945575253439689043528775}, {"parameter": "[7, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2534149327716990306362665335276441}, {"parameter": "[7, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2534101051441461969505747261988529}, {"parameter": "[7, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2534101051451569356115785569803659}, {"parameter": "[7, 3, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2534149336097010699010344100543443}, {"parameter": "[7, 3, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 2534149327627266735274825200725061}, {"parameter": "[7, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2534101051351738398417907127437149}, {"parameter": "[7, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2534101051361845785027945435252279}, {"parameter": "[7, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2534149336007287127922503965992063}, {"parameter": "[7, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2534101191157236309204872638990437}, {"parameter": "[7, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2534101116759131093411952579813558}, {"parameter": "[7, 4, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2534101117586676833542609593241647}, {"parameter": "[7, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2534101124932394622707195414676537}, {"parameter": "[7, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2534101050534289406914275355499658}, {"parameter": "[7, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2534101051361835147044932368927747}, {"parameter": "[7, 4, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2534101124932405410990734910094839}, {"parameter": "[7, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2534101050534300195197814850917960}, {"parameter": "[7, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2534101051361845935328471864346049}, {"parameter": "[7, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2534149327628514539501850371208831}, {"parameter": "[7, 5, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2534149327627268423344448388053541}, {"parameter": "[7, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2534101050536530915308287338040031}, {"parameter": "[7, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2534101050535284799150885354884741}, {"parameter": "[7, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2534101050535410930243184774899549}, {"parameter": "[7, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2534101050534164814085782791744259}, {"parameter": "[7, 5, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2534101050535421551549298571093993}, {"parameter": "[7, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2534101050534175435391896587938703}, {"parameter": "[7, 6, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 281566784210273926593301939367781}, {"parameter": "[7, 6, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 281566783393832504219321905522263}, {"parameter": "[7, 6, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 281566783392698635668095859973179}, {"parameter": "[7, 6, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 281566783392709275288528820465374}, {"parameter": "[8, 2, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503590073231949711207357348639277}, {"parameter": "[8, 2, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503590007008241874525873129843589}, {"parameter": "[8, 2, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503590074050661720433368110726407}, {"parameter": "[8, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503590073231939073224344282314745}, {"parameter": "[8, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503590007008231236542860063519057}, {"parameter": "[8, 3, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503590074050651082450355044401875}, {"parameter": "[8, 3, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503590073231937553747789423805125}, {"parameter": "[8, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503590007008229717066305205009437}, {"parameter": "[8, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503590074050649562973800185892255}, {"parameter": "[8, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503590007028417155259125222876974}, {"parameter": "[8, 4, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503590007018323445556338788823845}, {"parameter": "[8, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503590007018323426588936462631698}, {"parameter": "[8, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503590007008229716886150028578569}, {"parameter": "[8, 4, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503590007018323426771636991675296}, {"parameter": "[8, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503590007008229717068850557622167}, {"parameter": "[8, 5, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503590073233059076842207895494157}, {"parameter": "[8, 5, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503590007008229887798595852872381}, {"parameter": "[8, 5, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503590007008229716886468192266939}, {"parameter": "[8, 5, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503590007008229717066340943944295}, {"parameter": "[9, 2, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503546947151751742472083308582988}, {"parameter": "[9, 2, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503546947151751742472083308582988}, {"parameter": "[9, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503546947151751742291928132152120}, {"parameter": "[9, 3, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503546947151751742291928132152120}, {"parameter": "[9, 3, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503546947151751742266195663272740}, {"parameter": "[9, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503546947151751742266195663272740}, {"parameter": "[9, 4, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503546947151753280710114107113148}, {"parameter": "[9, 4, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503546947151751742266192612329008}, {"parameter": "[9, 4, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503546947151751742266195706378510}, {"parameter": "[10, 2, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503589352206616647824858860630501}, {"parameter": "[10, 3, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503589352206616647824855809686769}, {"parameter": "[10, 3, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503589352206616647824855373905149}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 28121436626378568597745942546534500}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 28121002793950404251292843588102972}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 28121002794041233794944256746715942}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 28121436701685218815100193156440238}, {"parameter": "[5, 2, 4, 4],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503632404503034401948306178612580}, {"parameter": "[5, 2, 4, 4],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503631735928040093436308162955229}, {"parameter": "[5, 2, 4, 4],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503631743364740085903860323419070}, {"parameter": "[5, 2, 4, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503632404503034401948306178612580}, {"parameter": "[5, 2, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503631735928040093436308162955229}, {"parameter": "[5, 2, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503631743364740085903860323419070}, {"parameter": "[5, 2, 5, 3],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503631735938118440060643047678038}, {"parameter": "[5, 2, 5, 3],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503631735926920277144715397986028}, {"parameter": "[5, 2, 5, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503197903509954093607544089246510}, {"parameter": "[5, 2, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503197903498755930691616439554500}, {"parameter": "[5, 2, 5, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503637099331841512356245984943568}, {"parameter": "[5, 2, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503637099320643349440318335251558}, {"parameter": "[5, 2, 6, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 278133106919629870674650856870900}, {"parameter": "[5, 2, 6, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 278133107010459414326064015483870}, {"parameter": "[5, 2, 6, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 278567014654444434482000425208166}, {"parameter": "[5, 3, 2, 5],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 28121394300549010261501013830193958}, {"parameter": "[5, 3, 2, 5],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 28120960468120845915047914871762430}, {"parameter": "[5, 3, 2, 5],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 28121399663942733333796616767459488}, {"parameter": "[5, 3, 2, 5],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 28121394235938191369234280840871548}, {"parameter": "[5, 3, 2, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 28120960403510027022781181882440020}, {"parameter": "[5, 3, 2, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 28121399599331914441529883778137078}, {"parameter": "[5, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2504023249872516552460617406897086}, {"parameter": "[5, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503589417444352206007518448465558}, {"parameter": "[5, 3, 3, 4],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2504028613266239624756220344162616}, {"parameter": "[5, 3, 3, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2504023249872516552460617406897086}, {"parameter": "[5, 3, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503589417444352206007518448465558}, {"parameter": "[5, 3, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2504028613266239624756220344162616}, {"parameter": "[5, 3, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2504023185261697660193884417574676}, {"parameter": "[5, 3, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503589352833533313740785459143148}, {"parameter": "[5, 3, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2504028548655420732489487354840206}, {"parameter": "[5, 3, 3, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2504023185261697660193884417574676}, {"parameter": "[5, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503589352833533313740785459143148}, {"parameter": "[5, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2504028548655420732489487354840206}, {"parameter": "[5, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503589483568384408268697114815407}, {"parameter": "[5, 3, 4, 3],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503589417444352206007518448465558}, {"parameter": "[5, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155651140220061815598156383879}, {"parameter": "[5, 3, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155585016187859554419490034030}, {"parameter": "[5, 3, 4, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503594846962107480564300052080937}, {"parameter": "[5, 3, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503594780838075278303121385731088}, {"parameter": "[5, 3, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503589418957565516001964125492997}, {"parameter": "[5, 3, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503589352833533313740785459143148}, {"parameter": "[5, 3, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155586529401169548865167061469}, {"parameter": "[5, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155520405368967287686500711620}, {"parameter": "[5, 3, 4, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503594782351288588297567062758527}, {"parameter": "[5, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503594716227256386036388396408678}, {"parameter": "[5, 3, 5, 2],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503589417444352206007518448465558}, {"parameter": "[5, 3, 5, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155585016187859554419490034030}, {"parameter": "[5, 3, 5, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155585107017403205832648647000}, {"parameter": "[5, 3, 5, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503589492751002423361769058371296}, {"parameter": "[5, 3, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503589352833533313740785459143148}, {"parameter": "[5, 3, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155520405368967287686500711620}, {"parameter": "[5, 3, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155520496198510939099659324590}, {"parameter": "[5, 3, 5, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503589428140183531095036069048886}, {"parameter": "[5, 4, 2, 4],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503600717910712163589026383694452}, {"parameter": "[5, 4, 2, 4],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503600717910712163589026383694452}, {"parameter": "[5, 4, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503595361047742696531806906401566}, {"parameter": "[5, 4, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503595361047742696531806906401566}, {"parameter": "[5, 4, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503595361773409432451996872675654}, {"parameter": "[5, 4, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503595361773409432451996872675654}, {"parameter": "[5, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503166951606580019397106091612773}, {"parameter": "[5, 4, 3, 3],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503166951606580019397106091612773}, {"parameter": "[5, 4, 3, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503166885482547817135927425262924}, {"parameter": "[5, 4, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503166885482547817135927425262924}, {"parameter": "[5, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503161594743610552339886614319887}, {"parameter": "[5, 4, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503161594743610552339886614319887}, {"parameter": "[5, 4, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503161528619578350078707947970038}, {"parameter": "[5, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503161528619578350078707947970038}, {"parameter": "[5, 4, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503161595469277288260076580593975}, {"parameter": "[5, 4, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503161595469277288260076580593975}, {"parameter": "[5, 4, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503161529345245085998897914244126}, {"parameter": "[5, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503161529345245085998897914244126}, {"parameter": "[5, 4, 4, 2],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503167546711671676831786439069404}, {"parameter": "[5, 4, 4, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503166878136677368319788423412053}, {"parameter": "[5, 4, 4, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503166885573377360787340583875894}, {"parameter": "[5, 4, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503162189848702209774566961776518}, {"parameter": "[5, 4, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503161521273707901262568946119167}, {"parameter": "[5, 4, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503161528710407893730121106583008}, {"parameter": "[5, 4, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503162190574368945694756928050606}, {"parameter": "[5, 4, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503161521999374637182758912393255}, {"parameter": "[5, 4, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503161529436074629650311072857096}, {"parameter": "[5, 5, 2, 3],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2508029357019304218742852174301220}, {"parameter": "[5, 5, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2507595517334744146651368497478804}, {"parameter": "[5, 5, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2507595517245145208054301480995892}, {"parameter": "[5, 5, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2507595517962047784802046071262238}, {"parameter": "[5, 5, 3, 2],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2508029349683512116551048057173158}, {"parameter": "[5, 5, 3, 2],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2508029349672313953635120407481148}, {"parameter": "[5, 5, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2507595509998952044459564380350742}, {"parameter": "[5, 5, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2507595509987753881543636730658732}, {"parameter": "[5, 5, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2507595509909353105862497363867830}, {"parameter": "[5, 5, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2507595509898154942946569714175820}, {"parameter": "[5, 5, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2507595510626255682610241954134176}, {"parameter": "[5, 5, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2507595510615057519694314304442166}, {"parameter": "[6, 2, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 35231690687127283438472255170500}, {"parameter": "[6, 2, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 35231094773446045694205628779228}, {"parameter": "[6, 2, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 35231698054302925349346707095470}, {"parameter": "[6, 2, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42987900866677339660384897701}, {"parameter": "[6, 2, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 42987810038484494183850558900}, {"parameter": "[6, 2, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42987900866677339660384897701}, {"parameter": "[6, 2, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 42987810038484494183850558900}, {"parameter": "[6, 2, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 42987810038484494183850558900}, {"parameter": "[6, 2, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 42391896357246749917224167628}, {"parameter": "[6, 2, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 42995177214126405058302483870}, {"parameter": "[6, 3, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 35231689979198581423046348017071}, {"parameter": "[6, 3, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 35231689979198581423046348017071}, {"parameter": "[6, 3, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 35231689969241453412078723329052}, {"parameter": "[6, 3, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 35231689969241453412078723329052}, {"parameter": "[6, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 43583015791020223024569796743}, {"parameter": "[6, 3, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 43583015791020223024569796743}, {"parameter": "[6, 3, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 43583015791020223024569796743}, {"parameter": "[6, 3, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 43583015791020223024569796743}, {"parameter": "[6, 3, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 43583005833892212056945108724}, {"parameter": "[6, 3, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 43583005833892212056945108724}, {"parameter": "[6, 3, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 43583005833892212056945108724}, {"parameter": "[6, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 43583005833892212056945108724}, {"parameter": "[6, 3, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 43583015791020223024569796743}, {"parameter": "[6, 3, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 42987102109782478757943405471}, {"parameter": "[6, 3, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 43590382966662133899021721713}, {"parameter": "[6, 3, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 43583005833892212056945108724}, {"parameter": "[6, 3, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 42987092152654467790318717452}, {"parameter": "[6, 3, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 43590373009534122931397033694}, {"parameter": "[6, 4, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 530974185689077107827605296732}, {"parameter": "[6, 4, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 530966827484101922702318989479}, {"parameter": "[6, 4, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 530966827496241057959487399870}, {"parameter": "[6, 4, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 530378362836032209037513244261}, {"parameter": "[6, 4, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 530378272007839363560978905460}, {"parameter": "[6, 4, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 530371004631057023912226937008}, {"parameter": "[6, 4, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 530370913802864178435692598207}, {"parameter": "[6, 4, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 530371004643196159169395347399}, {"parameter": "[6, 4, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 530370913815003313692861008598}, {"parameter": "[7, 2, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 91193134500347521163523303222}, {"parameter": "[7, 2, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 91193134500347521163523303222}, {"parameter": "[7, 2, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 42916858972010664245450015310}, {"parameter": "[7, 2, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 42916858972010664245450015310}, {"parameter": "[7, 3, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 139469410018046395068530266602}, {"parameter": "[7, 3, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 139469410016526918513671756982}, {"parameter": "[7, 3, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 91193134489709538150456978690}, {"parameter": "[7, 3, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 91193134489709538150456978690}, {"parameter": "[7, 3, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 91193134488190061595598469070}, {"parameter": "[7, 3, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 91193134488190061595598469070}, {"parameter": "[8, 2, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 42530966263694143526773061430}, {"parameter": "[5, 2, 3, 2, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1343911202010310675056647281317}, {"parameter": "[5, 2, 3, 3, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 910078773845964221957688849789}, {"parameter": "[5, 2, 3, 3, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 910078773845964221957688849789}, {"parameter": "[5, 3, 2, 3, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1343910485218670539978239031959}, {"parameter": "[5, 3, 2, 3, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1343910484124480648663115439869}, {"parameter": "", "name": "JohnsonLB", "value": 147831385384414383753354139917291485826}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 278177197255947846085444831129977}], "request": [9, 15, 4, 5], "liftedmrdsizebound": 147834842718600961075303942439938477321, "comments": "", "equal_bound_constraints": []}