{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 40192610828533997938427918835113044}, {"parameter": "", "name": "singleton", "value": 75525744222315755534269847164}, {"parameter": "5", "name": "ilp_2", "value": 50419690412017143260179460404}, {"parameter": "7", "name": "ilp_3", "value": 36772745497286365908900200215108}, {"parameter": "", "name": "anticode", "value": 50419690412017143260179460404}, {"parameter": "", "name": "linear_programming_bound", "value": 50419690412017143260179460404}, {"parameter": "", "name": "sphere_packing", "value": 40192610828533997938427918835113044}, {"parameter": "1", "name": "ilp_1", "value": 50419690412017143260179460404}, {"parameter": "2", "name": "ilp_1", "value": 50419690412017143260179460404}, {"parameter": "3", "name": "ilp_1", "value": 50419690412017143260179460404}, {"parameter": "4", "name": "ilp_1", "value": 50419690412017143260179460404}, {"parameter": "8", "name": "ilp_4", "value": 36772745497286365908900200215108}, {"parameter": "9", "name": "ilp_4", "value": 36772745497286365908900200215108}, {"parameter": "10", "name": "ilp_4", "value": 36772745497286365908900200215108}, {"parameter": "11", "name": "ilp_4", "value": 36772745497286365908900200215108}, {"parameter": "12", "name": "ilp_4", "value": 36772745497286365908900200215108}, {"parameter": "13", "name": "ilp_4", "value": 12242633559822305203317925083572}, {"parameter": "14", "name": "ilp_4", "value": 4084199691961183347906293593559}, {"parameter": "15", "name": "ilp_4", "value": 1361215513247453705654015239015}, {"parameter": "16", "name": "ilp_4", "value": 453779490686032966461877985787}, {"parameter": "17", "name": "ilp_4", "value": 151257553250798978367159138059}, {"parameter": "", "name": "johnson_1", "value": 50419690412017143260179460404}, {"parameter": "", "name": "johnson_2", "value": 151257553250798978367159138059}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 40192610828533997938427918835113044}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 36772745497286365908900200215108}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 36772745497286365908900200215108}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 36772745497286365908900200215108}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 36772745497286365908900200215108}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 36772745497286365908900200215108}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 36772745497286365908900200215108}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 12242633559822305203317925083572}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 4084199691961183347906293593559}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1361215513247453705654015239015}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 453779490686032966461877985787}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 151257553250798978367159138059}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 50419690412017143260179460404}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 50419753487403020289971507939}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 50419942714507547927697956148}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 50420510404343338373293799273}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 50422213550554319815217189534}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 50427323679620812719525925158}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 50442660283452014109508205134}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 50488726118435047130552050562}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 50627429835605203654888620618}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 51048151584226176099238764943}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 52353344685703861719576625366}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 56702644183984760279704951027}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 75525744222315755534269847164}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 40192610828533997938427918835113044}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 50419690412017143260179460404}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 50419690412017143260179460404}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 50419690412017143260179460404}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 50419690412017143260179460404}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 50419690412017143260179460404}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 36772745497286365908900200215108}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 36806420045804204811679200796023}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 36907814759361279701182820874071}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 37215378710945142373175522206557}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 38169615463147147467216481415745}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 41350403291094092786389520141155}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 55133793282290501540016988429720}, {"parameter": "", "name": "improved_johnson", "value": 50419690412017143260179460404}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 12257443443062611934041331553919}], "known_codes": [], "upper_bound": 50419690412017143260179460404, "classified": false, "lower_bound": 43241984512192789981140681783, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 42391158275216203514294433201}, {"parameter": "", "name": "sphere_covering", "value": 138515806284074231565855792}, {"parameter": "", "name": "graham_sloane", "value": 207488308303065262456785295}, {"parameter": "", "name": "multicomponent", "value": 42391876185361766717459648119}, {"parameter": "", "name": "construction_ST_B", "value": 42927589599052153953696124277}, {"parameter": "", "name": "ChenHeWengXu2019_T41", "value": 43241984454039791949376848001}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 42391159927793410271142164562}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 42921686540697689334243378573}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 42927589599048818523207876804}, {"parameter": "", "name": "two_pivot_block_construction", "value": 42921047753654531946855792640}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 43241984512190727017167020609}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 42928316470780094090136497400}, {"parameter": "(12,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 43241984512192789981140681783}, {"parameter": "(12,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 43241984512190944586549314929}, {"parameter": "(12,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 43241984512190936961339250431}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 207017196241845383222742117}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 207017196241250586618913131}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 207017196241227720286811373}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 589895413411927408397145999}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 589895413411790147642416233}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 589895413411721799694587831}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1624891493445500995204833279}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1624891493445699260739442941}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1624891493445500995204833279}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 4792776918107639737036125591}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 4792776918107708084983953993}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 4792776918107845345738683759}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 14388783537871622410678494441}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 14388783537871645277010596199}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 14388783537872240073614425185}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 43225565183206151580609710967}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 43225565183206159205819775465}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 43225565183208004600411142319}, {"parameter": "(6, 12)", "name": "CKMP2019_Lem_41", "value": 43241984512190936960951829942}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 207017196241227709826458170}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 589895413411721517265051350}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 1624891493445493369607348292}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 4792776918107639454606589110}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 14388783537871622400218141238}, {"parameter": "(12, 6)", "name": "CKMP2019_Lem_41", "value": 43225565183206151580222290478}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Lem_41", "value": 43241984454040005945785674203}, {"parameter": "(6, 12)", "name": "CKMP2019_Cor_42", "value": 43241984512190936960951829942}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 207017196241227709826458170}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 589895413411721517265051350}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 1624891493445493369607348292}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 4792776918107639454606589110}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 14388783537871622400218141238}, {"parameter": "(12, 6)", "name": "CKMP2019_Cor_42", "value": 43225565183206151580222290478}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Cor_42", "value": 43241984454040005945785674203}, {"parameter": "6", "name": "linkage_ST", "value": 43225563530628944823374559118}, {"parameter": "7", "name": "linkage_ST", "value": 14388783476673564100824850270}, {"parameter": "8", "name": "linkage_ST", "value": 4792775060274724209136275190}, {"parameter": "9", "name": "linkage_ST", "value": 1624845399788599576750912204}, {"parameter": "10", "name": "linkage_ST", "value": 588676349907319123185822550}, {"parameter": "11", "name": "linkage_ST", "value": 174449211009120466665396274}, {"parameter": "12", "name": "linkage_ST", "value": 42391158275216413458079242534}, {"parameter": "13", "name": "linkage_ST", "value": 50996217873664620}, {"parameter": "14", "name": "linkage_ST", "value": 12390450019301475857}, {"parameter": "15", "name": "linkage_ST", "value": 2998677038028861083854}, {"parameter": "16", "name": "linkage_ST", "value": 728678523485248028210242}, {"parameter": "17", "name": "linkage_ST", "value": 177068881245303116902339546}, {"parameter": "6", "name": "construction_D", "value": 43225563530628944823374559117}, {"parameter": "7", "name": "construction_D", "value": 14388783476673564100824850269}, {"parameter": "8", "name": "construction_D", "value": 4792775060274724209136274370}, {"parameter": "9", "name": "construction_D", "value": 1624845399788599576750362213}, {"parameter": "10", "name": "construction_D", "value": 588676349907319122791604180}, {"parameter": "11", "name": "construction_D", "value": 174449211009120179071170507}, {"parameter": "12", "name": "construction_D", "value": 42391158275216203514294433201}, {"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": "17", "name": "construction_D", "value": 0}, {"parameter": "18", "name": "construction_D", "value": 0}, {"parameter": "6", "name": "linkage_GLT", "value": 42391158275216413458079242534}, {"parameter": "7", "name": "linkage_GLT", "value": 174449211009120466665396274}, {"parameter": "8", "name": "linkage_GLT", "value": 588676349907319123185822550}, {"parameter": "9", "name": "linkage_GLT", "value": 1624845399788599576750912204}, {"parameter": "10", "name": "linkage_GLT", "value": 4792775060274724209136275190}, {"parameter": "11", "name": "linkage_GLT", "value": 14388783476673564100824850270}, {"parameter": "12", "name": "linkage_GLT", "value": 43225563530628944823374559118}, {"parameter": "6", "name": "improved_linkage", "value": 42391886953739688762322643443}, {"parameter": "7", "name": "improved_linkage", "value": 174452209686158207932254361}, {"parameter": "8", "name": "improved_linkage", "value": 588676362297769142093080037}, {"parameter": "9", "name": "improved_linkage", "value": 1624845399839595794624026833}, {"parameter": "10", "name": "improved_linkage", "value": 4792775060274934152921083703}, {"parameter": "11", "name": "improved_linkage", "value": 14388783476673564388419076036}, {"parameter": "12", "name": "improved_linkage", "value": 43225563530628944823768777487}, {"parameter": "13", "name": "improved_linkage", "value": 14402838176343186043449552211}, {"parameter": "14", "name": "improved_linkage", "value": 4800314205407837214940634893}, {"parameter": "15", "name": "improved_linkage", "value": 1593619923767095963264453615}, {"parameter": "16", "name": "improved_linkage", "value": 531206643620745812565266419}, {"parameter": "6,0", "name": "generalized_linkage", "value": 43241984512190936960951829942}, {"parameter": "6,1", "name": "generalized_linkage", "value": 42423411947018797281922398621}, {"parameter": "6,2", "name": "generalized_linkage", "value": 42392330919796480225271015538}, {"parameter": "6,3", "name": "generalized_linkage", "value": 42391197258017697889488523303}, {"parameter": "6,4", "name": "generalized_linkage", "value": 42391886953739688762322643443}, {"parameter": "7,0", "name": "generalized_linkage", "value": 207017196241227709826458170}, {"parameter": "7,1", "name": "generalized_linkage", "value": 178163654625013986047813544}, {"parameter": "7,2", "name": "generalized_linkage", "value": 174494132608516950635300727}, {"parameter": "7,3", "name": "generalized_linkage", "value": 174449706627120951130204787}, {"parameter": "7,4", "name": "generalized_linkage", "value": 174452209686158207932254361}, {"parameter": "8,0", "name": "generalized_linkage", "value": 589895413411721517265051350}, {"parameter": "8,1", "name": "generalized_linkage", "value": 588722683702278616128023229}, {"parameter": "8,2", "name": "generalized_linkage", "value": 588678032818587648468216177}, {"parameter": "8,3", "name": "generalized_linkage", "value": 588676356077861485505023200}, {"parameter": "8,4", "name": "generalized_linkage", "value": 588676362297769142093080037}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1624891493445493369607348292}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1624845973615153047758223783}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1624845406711006107890663262}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1624845399865019114420959425}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1624845399839595794624026833}, {"parameter": "10,0", "name": "generalized_linkage", "value": 4792776918107639454606589110}, {"parameter": "10,1", "name": "generalized_linkage", "value": 4792775067489150914473917603}, {"parameter": "10,2", "name": "generalized_linkage", "value": 4792775060303199453907271940}, {"parameter": "10,3", "name": "generalized_linkage", "value": 4792775060274828893434453558}, {"parameter": "10,4", "name": "generalized_linkage", "value": 4792775060274934152921083703}, {"parameter": "11,0", "name": "generalized_linkage", "value": 14388783537871622400218141238}, {"parameter": "11,1", "name": "generalized_linkage", "value": 14388783476770411757634545649}, {"parameter": "11,2", "name": "generalized_linkage", "value": 14388783476673683294051033742}, {"parameter": "11,3", "name": "generalized_linkage", "value": 14388783476673564244320336949}, {"parameter": "11,4", "name": "generalized_linkage", "value": 14388783476673564388419076036}, {"parameter": "12,0", "name": "generalized_linkage", "value": 43225565183206151580222290478}, {"parameter": "12,1", "name": "generalized_linkage", "value": 43225563530630007937602448524}, {"parameter": "12,2", "name": "generalized_linkage", "value": 43225563530628945356520132897}, {"parameter": "12,3", "name": "generalized_linkage", "value": 43225563530628944823574755841}, {"parameter": "12,4", "name": "generalized_linkage", "value": 43225563530628944823768777487}, {"parameter": "13,1", "name": "generalized_linkage", "value": 14402838176352754527929196861}, {"parameter": "13,2", "name": "generalized_linkage", "value": 14402838176343186045399556827}, {"parameter": "13,3", "name": "generalized_linkage", "value": 14402838176343186043449300700}, {"parameter": "13,4", "name": "generalized_linkage", "value": 14402838176343186043449552211}, {"parameter": "14,2", "name": "generalized_linkage", "value": 4800314205407837220792319914}, {"parameter": "14,3", "name": "generalized_linkage", "value": 4800314205407837214940634437}, {"parameter": "14,4", "name": "generalized_linkage", "value": 4800314205407837214940634893}, {"parameter": "15,3", "name": "generalized_linkage", "value": 1593619923767095963264453978}, {"parameter": "15,4", "name": "generalized_linkage", "value": 1593619923767095963264453615}, {"parameter": "16,4", "name": "generalized_linkage", "value": 531206643620745812565266419}, {"parameter": "[6, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 43241984512190936960951829942}, {"parameter": "[6, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 42423411947018797281922398621}, {"parameter": "[6, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42392330919796480225271015538}, {"parameter": "[6, 12],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 42391197258017697889488523303}, {"parameter": "[6, 12],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 42391886953739688762322643443}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 207017196241227709826458170}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 178163654625013986047813544}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 174494132608516950635300727}, {"parameter": "[7, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 174449706627120951130204787}, {"parameter": "[7, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 174452209686158207932254361}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 589895413411721517265051350}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 588722683702278616128023229}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 588678032818587648468216177}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 588676356077861485505023200}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 588676362297769142093080037}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1624891493445493369607348292}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1624845973615153047758223783}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1624845406711006107890663262}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1624845399865019114420959425}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1624845399839595794624026833}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4792776918107639454606589110}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4792775067489150914473917603}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4792775060303199453907271940}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4792775060274828893434453558}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4792775060274934152921083703}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 14388783537871622400218141238}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 14388783476770411757634545649}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 14388783476673683294051033742}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 14388783476673564244320336949}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 14388783476673564388419076036}, {"parameter": "[12, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 43225565183206151580222290478}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 43225563530630007937602448524}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 43225563530628945356520132897}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 43225563530628944823574755841}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 43225563530628944823768777487}, {"parameter": "[13, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 14402838176352754527929196861}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 14402838176343186045399556827}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 14402838176343186043449300700}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 14402838176343186043449552211}, {"parameter": "[14, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4800314205407837220792319914}, {"parameter": "[14, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4800314205407837214940634437}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4800314205407837214940634893}, {"parameter": "[15, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1593619923767095963264453978}, {"parameter": "[15, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1593619923767095963264453615}, {"parameter": "[16, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 531206643620745812565266419}, {"parameter": "[6, 2, 10],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 525230199268813566817705980}, {"parameter": "[6, 2, 10],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 525231046408171666266657729}, {"parameter": "[6, 2, 10],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1374891767989785836459678511}, {"parameter": "[6, 3, 9],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1571265841765783892817915009}, {"parameter": "[6, 3, 9],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1571245973401027949494041132}, {"parameter": "[6, 3, 9],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1571246820540386048942992881}, {"parameter": "[6, 3, 9],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2420907542122000219136013663}, {"parameter": "[6, 3, 9],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 1571230390013305282813531293}, {"parameter": "[6, 3, 9],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1571210521648549339489657416}, {"parameter": "[6, 3, 9],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1571211368787907438938609165}, {"parameter": "[6, 3, 9],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2420872090369521609131629947}, {"parameter": "[6, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4712566772475631220408320590}, {"parameter": "[6, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4712463847481472562059557217}, {"parameter": "[6, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4712443979116716618735683340}, {"parameter": "[6, 4, 8],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4712444826256074718184635089}, {"parameter": "[6, 4, 8],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5562105547837688888377655871}, {"parameter": "[6, 4, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 4711416316908571581349739562}, {"parameter": "[6, 4, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 4711313391914412923000976189}, {"parameter": "[6, 4, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4711293523549656979677102312}, {"parameter": "[6, 4, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4711294370689015079126054061}, {"parameter": "[6, 4, 8],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5560955092270629249319074843}, {"parameter": "[6, 4, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 4711426128144597040291281969}, {"parameter": "[6, 4, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 4711323203150438381942518596}, {"parameter": "[6, 4, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4711303334785682438618644719}, {"parameter": "[6, 4, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4711304181925040538067596468}, {"parameter": "[6, 4, 8],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5560964903506654708260617250}, {"parameter": "[6, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 14162211892598788682409014847}, {"parameter": "[6, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 14162099334145892954563973994}, {"parameter": "[6, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 14162050731852522021138597909}, {"parameter": "[6, 5, 7],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 14162036025673536401000455614}, {"parameter": "[6, 5, 7],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 14163195150568692653173937613}, {"parameter": "[6, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 14130573084197409524895534447}, {"parameter": "[6, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 14130460525744513797050493594}, {"parameter": "[6, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 14130411923451142863625117509}, {"parameter": "[6, 5, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 14130397217272157243486975214}, {"parameter": "[6, 5, 7],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 14131556342167313495660457213}, {"parameter": "[6, 5, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 14130568882498220565801140880}, {"parameter": "[6, 5, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 14130456324045324837956100027}, {"parameter": "[6, 5, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 14130407721751953904530723942}, {"parameter": "[6, 5, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 14130393015572968284392581647}, {"parameter": "[6, 5, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 14131552140468124536566063646}, {"parameter": "[6, 5, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 14130595866061470354412116897}, {"parameter": "[6, 5, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 14130483307608574626567076044}, {"parameter": "[6, 5, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 14130434705315203693141699959}, {"parameter": "[6, 5, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 14130419999136218073003557664}, {"parameter": "[6, 5, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 14131579124031374325177039663}, {"parameter": "[6, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 43241984454040005945785674203}, {"parameter": "[6, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 43225563139495886382751445931}, {"parameter": "[6, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 43225560890823751284451727214}, {"parameter": "[6, 6, 6],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 43225560605292128429157614565}, {"parameter": "[6, 6, 6],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 43225562173940729028613583964}, {"parameter": "[6, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 42407712373283332664378525739}, {"parameter": "[6, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391291058739213101344297467}, {"parameter": "[6, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391288810067078003044578750}, {"parameter": "[6, 6, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 42391288524535455147750466101}, {"parameter": "[6, 6, 6],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 42391290093184055747206435500}, {"parameter": "[6, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 42407598131248929894673574310}, {"parameter": "[6, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391176816704810331639346038}, {"parameter": "[6, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391174568032675233339627321}, {"parameter": "[6, 6, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 42391174282501052378045514672}, {"parameter": "[6, 6, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 42391175851149652977501484071}, {"parameter": "[6, 6, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 42407583625037476401824522997}, {"parameter": "[6, 6, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391162310493356838790294725}, {"parameter": "[6, 6, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391160061821221740490576008}, {"parameter": "[6, 6, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 42391159776289598885196463359}, {"parameter": "[6, 6, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 42391161344938199484652432758}, {"parameter": "[6, 6, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 42407663319006462994753749060}, {"parameter": "[6, 6, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391242004462343431719520788}, {"parameter": "[6, 6, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391239755790208333419802071}, {"parameter": "[6, 6, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 42391239470258585478125689422}, {"parameter": "[6, 6, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 42391241038907186077581658821}, {"parameter": "[6, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 14131602378073058903966071557}, {"parameter": "[6, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 14131530680083798156492231341}, {"parameter": "[6, 7, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 14131530676646832558605707404}, {"parameter": "[6, 7, 5],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 14131530678742820647640279811}, {"parameter": "[6, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 14130604268855577938602508040}, {"parameter": "[6, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 14130532570866317191128667824}, {"parameter": "[6, 7, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 14130532567429351593242143887}, {"parameter": "[6, 7, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 14130532569525339682276716294}, {"parameter": "[6, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 14130472494234891818740325931}, {"parameter": "[6, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 14130400796245631071266485715}, {"parameter": "[6, 7, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 14130400792808665473379961778}, {"parameter": "[6, 7, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 14130400794904653562414534185}, {"parameter": "[6, 7, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 14130459240703737036662288430}, {"parameter": "[6, 7, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 14130387542714476289188448214}, {"parameter": "[6, 7, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 14130387539277510691301924277}, {"parameter": "[6, 7, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 14130387541373498780336496684}, {"parameter": "[6, 7, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 14130539018401765374399366747}, {"parameter": "[6, 7, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 14130467320412504626925526531}, {"parameter": "[6, 7, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 14130467316975539029039002594}, {"parameter": "[6, 7, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 14130467319071527118073575001}, {"parameter": "[6, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4711416191344906227423389142}, {"parameter": "[6, 8, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4711416158859410982851924166}, {"parameter": "[6, 8, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4711416158862243777069602289}, {"parameter": "[6, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4710263495429392922101725441}, {"parameter": "[6, 8, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 4710263462943897677530260465}, {"parameter": "[6, 8, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4710263462946730471747938588}, {"parameter": "[6, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4710143184088779625646005812}, {"parameter": "[6, 8, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4710143151603284381074540836}, {"parameter": "[6, 8, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4710143151606117175292218959}, {"parameter": "[6, 8, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4710130178190872991693348501}, {"parameter": "[6, 8, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4710130145705377747121883525}, {"parameter": "[6, 8, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4710130145708210541339561648}, {"parameter": "[6, 8, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4710210066256003791297951519}, {"parameter": "[6, 8, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4710210033770508546726486543}, {"parameter": "[6, 8, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4710210033773341340944164666}, {"parameter": "[6, 9, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1571227435702073892344975478}, {"parameter": "[6, 9, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1571227435700602784618198427}, {"parameter": "[6, 9, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1570175404340656898479301361}, {"parameter": "[6, 9, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1570175404339185790752524310}, {"parameter": "[6, 9, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1570057363953704382862493718}, {"parameter": "[6, 9, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1570057363952233275135716667}, {"parameter": "[6, 9, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1570044349529111029143282480}, {"parameter": "[6, 9, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1570044349527639921416505429}, {"parameter": "[6, 9, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1570070000564579770204994811}, {"parameter": "[6, 9, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1570070000563108662478217760}, {"parameter": "[6, 10, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 524512301281125766867301508}, {"parameter": "[6, 10, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 523480234664200389640494561}, {"parameter": "[6, 10, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 523362117739583693973443535}, {"parameter": "[6, 10, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 523348116318521378571481038}, {"parameter": "[6, 10, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 523356665665428660627777051}, {"parameter": "[7, 2, 9],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 2202052247177700985560261}, {"parameter": "[7, 2, 9],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2201290681303793805628320}, {"parameter": "[7, 2, 9],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 34724633507889639355297053}, {"parameter": "[7, 3, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 6510917341596251898232461}, {"parameter": "[7, 3, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6506972167240627961635152}, {"parameter": "[7, 3, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6506210601366720781703211}, {"parameter": "[7, 3, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 39029553427952566331371944}, {"parameter": "[7, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 6510443192643348678009222}, {"parameter": "[7, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 6506498018287724741411913}, {"parameter": "[7, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6505736452413817561479972}, {"parameter": "[7, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 39029079278999663111148705}, {"parameter": "[7, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 19471190099368904417266911}, {"parameter": "[7, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 19476666650909588179846770}, {"parameter": "[7, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19472721476553964243249461}, {"parameter": "[7, 4, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 19471959910680057063317520}, {"parameter": "[7, 4, 7],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 51995302737265902612986253}, {"parameter": "[7, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 19427120263152356416353324}, {"parameter": "[7, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 19432596814693040178933183}, {"parameter": "[7, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 19428651640337416242335874}, {"parameter": "[7, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 19427890074463509062403933}, {"parameter": "[7, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 51951232901049354612072666}, {"parameter": "[7, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 19427159287757533636124784}, {"parameter": "[7, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 19432635839298217398704643}, {"parameter": "[7, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 19428690664942593462107334}, {"parameter": "[7, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 19427929099068686282175393}, {"parameter": "[7, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 51951271925654531831844126}, {"parameter": "[7, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 66885296200482991832869131}, {"parameter": "[7, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 61794853924992578569527939}, {"parameter": "[7, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 61793357717521300636186830}, {"parameter": "[7, 5, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 61792727936070592627032726}, {"parameter": "[7, 5, 6],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 61837121211433728628890060}, {"parameter": "[7, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 63242735763197338766493939}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 58152293487706925503152747}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 58150797280235647569811638}, {"parameter": "[7, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 58150167498784939560657534}, {"parameter": "[7, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58194560774148075562514868}, {"parameter": "[7, 5, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 63242561150840140804475370}, {"parameter": "[7, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 58152118875349727541134178}, {"parameter": "[7, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 58150622667878449607793069}, {"parameter": "[7, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 58149992886427741598638965}, {"parameter": "[7, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 58194386161790877600496299}, {"parameter": "[7, 5, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 63242667635880639968086329}, {"parameter": "[7, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 58152225360390226704745137}, {"parameter": "[7, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 58150729152918948771404028}, {"parameter": "[7, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 58150099371468240762249924}, {"parameter": "[7, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 58194492646831376764107258}, {"parameter": "[7, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 90204481086359557014601227}, {"parameter": "[7, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 90132868899933369341990427}, {"parameter": "[7, 6, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 90132859389686908435956918}, {"parameter": "[7, 6, 5],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 90132920465057932916636577}, {"parameter": "[7, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 58226356809217222301548827}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 58154744622791034628938027}, {"parameter": "[7, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 58154735112544573722904518}, {"parameter": "[7, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 58154796187915598203584177}, {"parameter": "[7, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 58221563912067591523499238}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 58149951725641403850888438}, {"parameter": "[7, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 58149942215394942944854929}, {"parameter": "[7, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58150003290765967425534588}, {"parameter": "[7, 6, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 58221366120229449038162058}, {"parameter": "[7, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 58149753933803261365551258}, {"parameter": "[7, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 58149744423556800459517749}, {"parameter": "[7, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 58149805498927824940197408}, {"parameter": "[7, 6, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 58221471245792832484651188}, {"parameter": "[7, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 58149859059366644812040388}, {"parameter": "[7, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 58149849549120183906006879}, {"parameter": "[7, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 58149910624491208386686538}, {"parameter": "[7, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19427218015351605901402653}, {"parameter": "[7, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 19427118266420265825296604}, {"parameter": "[7, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 19427118354749676519462024}, {"parameter": "[7, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 19388966079461291440665552}, {"parameter": "[7, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 19388866330529951364559503}, {"parameter": "[7, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 19388866418859362058724923}, {"parameter": "[7, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19383533117310905156847051}, {"parameter": "[7, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 19383433368379565080741002}, {"parameter": "[7, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 19383433456708975774906422}, {"parameter": "[7, 7, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 19383351530272020469151532}, {"parameter": "[7, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 19383251781340680393045483}, {"parameter": "[7, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19383251869670091087210903}, {"parameter": "[7, 7, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 19383456841036653569374395}, {"parameter": "[7, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 19383357092105313493268346}, {"parameter": "[7, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 19383357180434724187433766}, {"parameter": "[7, 8, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6510431048680272562098390}, {"parameter": "[7, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6510431035091132455303710}, {"parameter": "[7, 8, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6466253222628937588262769}, {"parameter": "[7, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6466253209039797481468089}, {"parameter": "[7, 8, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6461266450850106872950980}, {"parameter": "[7, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6461266437260966766156300}, {"parameter": "[7, 8, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6461088016503573673560090}, {"parameter": "[7, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6461088002914433566765410}, {"parameter": "[7, 8, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6461193475663999096689063}, {"parameter": "[7, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6461193462074858989894383}, {"parameter": "[7, 9, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2199097934584392986084907}, {"parameter": "[7, 9, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2158778543766850948242006}, {"parameter": "[7, 9, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2153878645343618551004019}, {"parameter": "[7, 9, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2153700085149565640684316}, {"parameter": "[7, 9, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2153731139431630502042016}, {"parameter": "[8, 2, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 7269469964293512186735561}, {"parameter": "[8, 2, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 7269322183697159241464412}, {"parameter": "[8, 2, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 8486684920182904429037751}, {"parameter": "[8, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 21804477232876717756053168}, {"parameter": "[8, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 21804682376675111906094867}, {"parameter": "[8, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 21804534596078758960823718}, {"parameter": "[8, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 23021897332564504148397057}, {"parameter": "[8, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 21804471229091305876088328}, {"parameter": "[8, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 21804676372889700026130027}, {"parameter": "[8, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 21804528592293347080858878}, {"parameter": "[8, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 23021891328779092268432217}, {"parameter": "[8, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 66608175785152640107483710}, {"parameter": "[8, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 65411777152917957064295142}, {"parameter": "[8, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 65411982296716351214336841}, {"parameter": "[8, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 65411834516119998269065692}, {"parameter": "[8, 4, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 66629197252605743456639031}, {"parameter": "[8, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 66606525384897576195700398}, {"parameter": "[8, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 65410126752662893152511830}, {"parameter": "[8, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 65410331896461287302553529}, {"parameter": "[8, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 65410184115864934357282380}, {"parameter": "[8, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 66627546852350679544855719}, {"parameter": "[8, 4, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 66606525528815477529860049}, {"parameter": "[8, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 65410126896580794486671481}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 65410332040379188636713180}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 65410184259782835691442031}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 66627546996268580879015370}, {"parameter": "[8, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 65518843130370171860237748}, {"parameter": "[8, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 65454014313224971983685692}, {"parameter": "[8, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 65453995187003698406785107}, {"parameter": "[8, 5, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 65455685811992978681788458}, {"parameter": "[8, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 65473343673287006849803470}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 65408514856141806973251414}, {"parameter": "[8, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 65408495729920533396350829}, {"parameter": "[8, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 65410186354909813671354180}, {"parameter": "[8, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 65473341437351959161923961}, {"parameter": "[8, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 65408512620206759285371905}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 65408493493985485708471320}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 65410184118974765983474671}, {"parameter": "[8, 5, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 65473341564663003751000812}, {"parameter": "[8, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 65408512747517803874448756}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 65408493621296530297548171}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 65410184246285810572551522}, {"parameter": "[8, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 66606818023639971943282350}, {"parameter": "[8, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 66606525400185375979669002}, {"parameter": "[8, 6, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 66606527895716591464965489}, {"parameter": "[8, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 65408838403317623029289484}, {"parameter": "[8, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 65408545779863027065676136}, {"parameter": "[8, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 65408548275394242550972623}, {"parameter": "[8, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 65408778533254904637879321}, {"parameter": "[8, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 65408485909800308674265973}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 65408488405331524159562460}, {"parameter": "[8, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 65408776012473092461027980}, {"parameter": "[8, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 65408483389018496497414632}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 65408485884549711982711119}, {"parameter": "[8, 6, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 65408776139418954497173431}, {"parameter": "[8, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 65408483515964358533560083}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 65408486011495574018856570}, {"parameter": "[8, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 21804471302753996984538261}, {"parameter": "[8, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 21804471182152116682274862}, {"parameter": "[8, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 21802898106042259428051120}, {"parameter": "[8, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 21802897985440379125787721}, {"parameter": "[8, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 21802830241020760013834259}, {"parameter": "[8, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 21802830120418879711570860}, {"parameter": "[8, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 21802827923389349280746550}, {"parameter": "[8, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 21802827802787468978483151}, {"parameter": "[8, 7, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 21802828050878751839275227}, {"parameter": "[8, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 21802827930276871537011828}, {"parameter": "[8, 8, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 7269457809720409034993001}, {"parameter": "[8, 8, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 7267673856492807390525654}, {"parameter": "[8, 8, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7267611564889690178253591}, {"parameter": "[8, 8, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7267609286575805864529324}, {"parameter": "[8, 8, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7267609414256425929851778}, {"parameter": "[9, 2, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 20059880896554883076649681}, {"parameter": "[9, 2, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 20059888523084730538062660}, {"parameter": "[9, 2, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 20105913457401875940558159}, {"parameter": "[9, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 60223998344491180989740484}, {"parameter": "[9, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 60179520422420786029246956}, {"parameter": "[9, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 60179528048950633490659935}, {"parameter": "[9, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 60225552983267778893155434}, {"parameter": "[9, 3, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 60223998269752700039382897}, {"parameter": "[9, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 60179520347682305078889369}, {"parameter": "[9, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 60179527974212152540302348}, {"parameter": "[9, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 60225552908529297942797847}, {"parameter": "[9, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 60224005067639026193172855}, {"parameter": "[9, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 60179527145568631232679327}, {"parameter": "[9, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 60179534772098478694092306}, {"parameter": "[9, 4, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 60225559706415624096587805}, {"parameter": "[9, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 60223998269649613258567332}, {"parameter": "[9, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 60179520347579218298073804}, {"parameter": "[9, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 60179527974109065759486783}, {"parameter": "[9, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 60225552908426211161982282}, {"parameter": "[9, 4, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 60223998269778401127202668}, {"parameter": "[9, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 60179520347708006166709140}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 60179527974237853628122119}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 60225552908554999030617618}, {"parameter": "[9, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 60180816425860098326728233}, {"parameter": "[9, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 60180023518180023245099724}, {"parameter": "[9, 5, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 60180091905524589492495228}, {"parameter": "[9, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 60180252503666999621433687}, {"parameter": "[9, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 60179459595986924539805178}, {"parameter": "[9, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 60179527983331490787200682}, {"parameter": "[9, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 60180252494457407509997424}, {"parameter": "[9, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 60179459586777332428368915}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 60179527974121898675764419}, {"parameter": "[9, 5, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 60180252494554848024606303}, {"parameter": "[9, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 60179459586874772942977794}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 60179527974219339190373298}, {"parameter": "[9, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 60223999359051072830347245}, {"parameter": "[9, 6, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 60223998353354829209062017}, {"parameter": "[9, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 60179461114502490123805317}, {"parameter": "[9, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 60179460108806246502520089}, {"parameter": "[9, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 60179460351423161951912256}, {"parameter": "[9, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 60179459345726918330627028}, {"parameter": "[9, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 60179460341040270623975400}, {"parameter": "[9, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 60179459335344027002690172}, {"parameter": "[9, 6, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 60179460341143381681547286}, {"parameter": "[9, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 60179459335447138060262058}, {"parameter": "[9, 7, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 20059880930331358279423743}, {"parameter": "[9, 7, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 20059820704416604983964722}, {"parameter": "[9, 7, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 20059819843935285707417775}, {"parameter": "[9, 7, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 20059819834389166496135862}, {"parameter": "[9, 7, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 20059819834494214476930285}, {"parameter": "[10, 2, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 59171714131508001660073572}, {"parameter": "[10, 2, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 59170064738383247144964876}, {"parameter": "[10, 2, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 59171920305648595974462159}, {"parameter": "[10, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 59171714131404914879258007}, {"parameter": "[10, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 59170064738280160364149311}, {"parameter": "[10, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 59171920305545509193646594}, {"parameter": "[10, 3, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 59171714131302392957515404}, {"parameter": "[10, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 59170064738177638442406708}, {"parameter": "[10, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 59171920305442987271903991}, {"parameter": "[10, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 59171714159286329664125652}, {"parameter": "[10, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 59170064766161575149016956}, {"parameter": "[10, 4, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 59171920333426923978514239}, {"parameter": "[10, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 59171714131302251549036919}, {"parameter": "[10, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 59170064738177497033928223}, {"parameter": "[10, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 59171920305442845863425506}, {"parameter": "[10, 4, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 59171714131302428212779903}, {"parameter": "[10, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 59170064738177673697671207}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 59171920305443022527168490}, {"parameter": "[10, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 59170078506226832497907181}, {"parameter": "[10, 5, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 59170071709277142575454810}, {"parameter": "[10, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 59170071535165433067196599}, {"parameter": "[10, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 59170064738215743144744228}, {"parameter": "[10, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 59170071535127204559832278}, {"parameter": "[10, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 59170064738177514637379907}, {"parameter": "[10, 5, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 59170071535127338223089629}, {"parameter": "[10, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 59170064738177648300637258}, {"parameter": "[10, 6, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 59171716396952007168796380}, {"parameter": "[10, 6, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 59170064747739907160418354}, {"parameter": "[10, 6, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 59170064738220534954072807}, {"parameter": "[10, 6, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 59170064738177501956282023}, {"parameter": "[10, 6, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 59170064738177643398061957}, {"parameter": "[11, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 59213161925110285941448233}, {"parameter": "[11, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 59213161925110285941448233}, {"parameter": "[11, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 59213161925110144532969748}, {"parameter": "[11, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 59213161925110144532969748}, {"parameter": "[11, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 59213161925110003899332241}, {"parameter": "[11, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 59213161925110003899332241}, {"parameter": "[11, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 59213161925225176609864575}, {"parameter": "[11, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 59213161925225176609864575}, {"parameter": "[11, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 59213161925110003705356276}, {"parameter": "[11, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 59213161925110003705356276}, {"parameter": "[11, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 59213161925110003947693372}, {"parameter": "[11, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 59213161925110003947693372}, {"parameter": "[11, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 59213162011209932553701913}, {"parameter": "[11, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 59213161925110161499700439}, {"parameter": "[11, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 59213161925110003729503672}, {"parameter": "[11, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 59213161925110003912855191}, {"parameter": "[12, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 59295978407973485387929023}, {"parameter": "[12, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 59295978407973485193953058}, {"parameter": "[12, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 59295978407973485001039975}, {"parameter": "[12, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 59295978407973958979927175}, {"parameter": "[12, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 59295978407973485000773890}, {"parameter": "[12, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 59295978407973485001106314}, {"parameter": "[6, 2, 4, 6],[0, 4, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 893776389321323205890091540}, {"parameter": "[6, 2, 4, 6],[0, 4, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 892633374621289099932885756}, {"parameter": "[6, 2, 4, 6],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 892633570611464002900299543}, {"parameter": "[6, 2, 4, 6],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 892633429424915088416967906}, {"parameter": "[6, 2, 4, 6],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 893796472799912867462105013}, {"parameter": "[6, 2, 5, 5],[0, 4, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 59436052305877438199599140}, {"parameter": "[6, 2, 5, 5],[0, 4, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 59374116184432381929477612}, {"parameter": "[6, 2, 5, 5],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 59374097911633096820364507}, {"parameter": "[6, 2, 5, 5],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 59375713100051845613951370}, {"parameter": "[6, 2, 5, 5],[0, 4, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 59436052305877438199599140}, {"parameter": "[6, 2, 5, 5],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 59374116184432381929477612}, {"parameter": "[6, 2, 5, 5],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 59374097911633096820364507}, {"parameter": "[6, 2, 5, 5],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 59375713100051845613951370}, {"parameter": "[6, 2, 6, 4],[0, 4, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 59374367826138430183934820}, {"parameter": "[6, 2, 6, 4],[0, 4, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 59374088259695301436132896}, {"parameter": "[6, 2, 6, 4],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 59374090643874609937839327}, {"parameter": "[6, 2, 6, 4],[0, 4, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 58231353126104324226729036}, {"parameter": "[6, 2, 6, 4],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 58231073559661195478927112}, {"parameter": "[6, 2, 6, 4],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 58231075943840503980633543}, {"parameter": "[6, 2, 6, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 59517244663642693428585543}, {"parameter": "[6, 2, 6, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 59516965097199564680783619}, {"parameter": "[6, 2, 6, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 59516967481378873182490050}, {"parameter": "[6, 2, 7, 3],[0, 4, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 19411404675351321632346783}, {"parameter": "[6, 2, 7, 3],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 19411404560130760254940896}, {"parameter": "[6, 2, 7, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 19411600665526224599760570}, {"parameter": "[6, 2, 7, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 19411600550305663222354683}, {"parameter": "[6, 2, 7, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 20594371218731032485439917}, {"parameter": "[6, 2, 7, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 20594371103510471108034030}, {"parameter": "[6, 2, 8, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6471710895613011622298343}, {"parameter": "[6, 2, 8, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6471569709064097138966706}, {"parameter": "[6, 2, 8, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7634613084061876184103813}, {"parameter": "[6, 3, 3, 6],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 893698045325105043040897896}, {"parameter": "[6, 3, 3, 6],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 892555030625070937083692112}, {"parameter": "[6, 3, 3, 6],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 892555226615245840051105899}, {"parameter": "[6, 3, 3, 6],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 893737997168450647936785246}, {"parameter": "[6, 3, 3, 6],[0, 4, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 893696732297235464892587388}, {"parameter": "[6, 3, 3, 6],[0, 4, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 892553717597201358935381604}, {"parameter": "[6, 3, 3, 6],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 892553913587376261902795391}, {"parameter": "[6, 3, 3, 6],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 893736684140581069788474738}, {"parameter": "[6, 3, 4, 5],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 60440329000241800237881360}, {"parameter": "[6, 3, 4, 5],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 59297314300207694280675576}, {"parameter": "[6, 3, 4, 5],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 59297510290382597248089363}, {"parameter": "[6, 3, 4, 5],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 60480280843587405133768710}, {"parameter": "[6, 3, 4, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 60440329000241800237881360}, {"parameter": "[6, 3, 4, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 59297314300207694280675576}, {"parameter": "[6, 3, 4, 5],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 59297510290382597248089363}, {"parameter": "[6, 3, 4, 5],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 60480280843587405133768710}, {"parameter": "[6, 3, 4, 5],[0, 4, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 60439015972372222089570852}, {"parameter": "[6, 3, 4, 5],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 59296001272338116132365068}, {"parameter": "[6, 3, 4, 5],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 59296197262513019099778855}, {"parameter": "[6, 3, 4, 5],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 60478967815717826985458202}, {"parameter": "[6, 3, 4, 5],[0, 4, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 60439015972372222089570852}, {"parameter": "[6, 3, 4, 5],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 59296001272338116132365068}, {"parameter": "[6, 3, 4, 5],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 59296197262513019099778855}, {"parameter": "[6, 3, 4, 5],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 60478967815717826985458202}, {"parameter": "[6, 3, 5, 4],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 59316129356998379152399128}, {"parameter": "[6, 3, 5, 4],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 59295752840023027782049251}, {"parameter": "[6, 3, 5, 4],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 59297510290382597248089363}, {"parameter": "[6, 3, 5, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 58173114656964273195193344}, {"parameter": "[6, 3, 5, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 58152738139988921824843467}, {"parameter": "[6, 3, 5, 4],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58154495590348491290883579}, {"parameter": "[6, 3, 5, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 59459006194502642397049851}, {"parameter": "[6, 3, 5, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 59438629677527291026699974}, {"parameter": "[6, 3, 5, 4],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 59440387127886860492740086}, {"parameter": "[6, 3, 5, 4],[0, 4, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 59314816329128801004088620}, {"parameter": "[6, 3, 5, 4],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 59294439812153449633738743}, {"parameter": "[6, 3, 5, 4],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 59296197262513019099778855}, {"parameter": "[6, 3, 5, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 58171801629094695046882836}, {"parameter": "[6, 3, 5, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 58151425112119343676532959}, {"parameter": "[6, 3, 5, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58153182562478913142573071}, {"parameter": "[6, 3, 5, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 59457693166633064248739343}, {"parameter": "[6, 3, 5, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 59437316649657712878389466}, {"parameter": "[6, 3, 5, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 59439074100017282344429578}, {"parameter": "[6, 3, 6, 3],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 59295772223666699504101164}, {"parameter": "[6, 3, 6, 3],[0, 3, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 59295746378808470541365280}, {"parameter": "[6, 3, 6, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 58152757523632593546895380}, {"parameter": "[6, 3, 6, 3],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 58152731678774364584159496}, {"parameter": "[6, 3, 6, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 58152953513807496514309167}, {"parameter": "[6, 3, 6, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58152927668949267551573283}, {"parameter": "[6, 3, 6, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 59335724067012304399988514}, {"parameter": "[6, 3, 6, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 59335698222154075437252630}, {"parameter": "[6, 3, 6, 3],[0, 4, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 59294459195797121355790656}, {"parameter": "[6, 3, 6, 3],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 59294433350938892393054772}, {"parameter": "[6, 3, 6, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 58151444495763015398584872}, {"parameter": "[6, 3, 6, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 58151418650904786435848988}, {"parameter": "[6, 3, 6, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 58151640485937918365998659}, {"parameter": "[6, 3, 6, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58151614641079689403262775}, {"parameter": "[6, 3, 6, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 59334411039142726251678006}, {"parameter": "[6, 3, 6, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 59334385194284497288942122}, {"parameter": "[6, 3, 7, 2],[0, 3, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 19385292045508518350119572}, {"parameter": "[6, 3, 7, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 19385488035683421317533359}, {"parameter": "[6, 3, 7, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 19385346849134506834201722}, {"parameter": "[6, 3, 7, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 20548390224132285879338829}, {"parameter": "[6, 3, 7, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 19384854369551992300682736}, {"parameter": "[6, 3, 7, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 19385050359726895268096523}, {"parameter": "[6, 3, 7, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 19384909173177980784764886}, {"parameter": "[6, 3, 7, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 20547952548175759829901993}, {"parameter": "[6, 4, 2, 6],[0, 2, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 893710827984625476674038740}, {"parameter": "[6, 4, 2, 6],[0, 2, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 892567813284591370716832956}, {"parameter": "[6, 4, 2, 6],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 893853704822129739918689463}, {"parameter": "[6, 4, 2, 6],[0, 3, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 893696624829476592241216752}, {"parameter": "[6, 4, 2, 6],[0, 3, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 892553610129442486284010968}, {"parameter": "[6, 4, 2, 6],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 893839501666980855485867475}, {"parameter": "[6, 4, 2, 6],[0, 4, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 893696745955847276919507399}, {"parameter": "[6, 4, 2, 6],[0, 4, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 892553731255813170962301615}, {"parameter": "[6, 4, 2, 6],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 893839622793351540164158122}, {"parameter": "[6, 4, 3, 5],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 60453111659762233871022204}, {"parameter": "[6, 4, 3, 5],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 59310096959728127913816420}, {"parameter": "[6, 4, 3, 5],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 60595988497266497115672927}, {"parameter": "[6, 4, 3, 5],[0, 2, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 60453111659762233871022204}, {"parameter": "[6, 4, 3, 5],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 59310096959728127913816420}, {"parameter": "[6, 4, 3, 5],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 60595988497266497115672927}, {"parameter": "[6, 4, 3, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 60438908504613349438200216}, {"parameter": "[6, 4, 3, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 59295893804579243480994432}, {"parameter": "[6, 4, 3, 5],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 60581785342117612682850939}, {"parameter": "[6, 4, 3, 5],[0, 3, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 60438908504613349438200216}, {"parameter": "[6, 4, 3, 5],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 59295893804579243480994432}, {"parameter": "[6, 4, 3, 5],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 60581785342117612682850939}, {"parameter": "[6, 4, 3, 5],[0, 4, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 60439029630984034116490863}, {"parameter": "[6, 4, 3, 5],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 59296014930949928159285079}, {"parameter": "[6, 4, 3, 5],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 60581906468488297361141586}, {"parameter": "[6, 4, 3, 5],[0, 4, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 60439029630984034116490863}, {"parameter": "[6, 4, 3, 5],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 59296014930949928159285079}, {"parameter": "[6, 4, 3, 5],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 60581906468488297361141586}, {"parameter": "[6, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 60453111659762233871022204}, {"parameter": "[6, 4, 4, 4],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 59310096959728127913816420}, {"parameter": "[6, 4, 4, 4],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 60595988497266497115672927}, {"parameter": "[6, 4, 4, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 59310096959728127913816420}, {"parameter": "[6, 4, 4, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 58167082259694021956610636}, {"parameter": "[6, 4, 4, 4],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 59452973797232391158467143}, {"parameter": "[6, 4, 4, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 60595988497266497115672927}, {"parameter": "[6, 4, 4, 4],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 59452973797232391158467143}, {"parameter": "[6, 4, 4, 4],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 60738865334770760360323650}, {"parameter": "[6, 4, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 60438908504613349438200216}, {"parameter": "[6, 4, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 59295893804579243480994432}, {"parameter": "[6, 4, 4, 4],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 60581785342117612682850939}, {"parameter": "[6, 4, 4, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 59295893804579243480994432}, {"parameter": "[6, 4, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 58152879104545137523788648}, {"parameter": "[6, 4, 4, 4],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 59438770642083506725645155}, {"parameter": "[6, 4, 4, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 60581785342117612682850939}, {"parameter": "[6, 4, 4, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 59438770642083506725645155}, {"parameter": "[6, 4, 4, 4],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 60724662179621875927501662}, {"parameter": "[6, 4, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 60439029630984034116490863}, {"parameter": "[6, 4, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 59296014930949928159285079}, {"parameter": "[6, 4, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 60581906468488297361141586}, {"parameter": "[6, 4, 4, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 59296014930949928159285079}, {"parameter": "[6, 4, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 58153000230915822202079295}, {"parameter": "[6, 4, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 59438891768454191403935802}, {"parameter": "[6, 4, 4, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 60581906468488297361141586}, {"parameter": "[6, 4, 4, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 59438891768454191403935802}, {"parameter": "[6, 4, 4, 4],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 60724783305992560605792309}, {"parameter": "[6, 4, 5, 3],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 59314807185140356372431279}, {"parameter": "[6, 4, 5, 3],[0, 2, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 59310096959728127913816420}, {"parameter": "[6, 4, 5, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 58171792485106250415225495}, {"parameter": "[6, 4, 5, 3],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58167082259694021956610636}, {"parameter": "[6, 4, 5, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 58171988475281153382639282}, {"parameter": "[6, 4, 5, 3],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 58167278249868924924024423}, {"parameter": "[6, 4, 5, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 59354759028485961268318629}, {"parameter": "[6, 4, 5, 3],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 59350048803073732809703770}, {"parameter": "[6, 4, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 59300604029991471939609291}, {"parameter": "[6, 4, 5, 3],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 59295893804579243480994432}, {"parameter": "[6, 4, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 58157589329957365982403507}, {"parameter": "[6, 4, 5, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58152879104545137523788648}, {"parameter": "[6, 4, 5, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 58157785320132268949817294}, {"parameter": "[6, 4, 5, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 58153075094720040491202435}, {"parameter": "[6, 4, 5, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 59340555873337076835496641}, {"parameter": "[6, 4, 5, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 59335845647924848376881782}, {"parameter": "[6, 4, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 59300725156362156617899938}, {"parameter": "[6, 4, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 59296014930949928159285079}, {"parameter": "[6, 4, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 58157710456328050660694154}, {"parameter": "[6, 4, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58153000230915822202079295}, {"parameter": "[6, 4, 5, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 58157906446502953628107941}, {"parameter": "[6, 4, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 58153196221090725169493082}, {"parameter": "[6, 4, 5, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 59340676999707761513787288}, {"parameter": "[6, 4, 5, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 59335966774295533055172429}, {"parameter": "[6, 4, 6, 2],[0, 2, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 59310096959728127913816420}, {"parameter": "[6, 4, 6, 2],[0, 2, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 58167082259694021956610636}, {"parameter": "[6, 4, 6, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58167278249868924924024423}, {"parameter": "[6, 4, 6, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 58167137063320010440692786}, {"parameter": "[6, 4, 6, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 59330180438317789485829893}, {"parameter": "[6, 4, 6, 2],[0, 3, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 59295893804579243480994432}, {"parameter": "[6, 4, 6, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 58152879104545137523788648}, {"parameter": "[6, 4, 6, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58153075094720040491202435}, {"parameter": "[6, 4, 6, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 58152933908171126007870798}, {"parameter": "[6, 4, 6, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 59315977283168905053007905}, {"parameter": "[6, 4, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 59296014930949928159285079}, {"parameter": "[6, 4, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 58153000230915822202079295}, {"parameter": "[6, 4, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58153196221090725169493082}, {"parameter": "[6, 4, 6, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 58153055034541810686161445}, {"parameter": "[6, 4, 6, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 59316098409539589731298552}, {"parameter": "[6, 5, 2, 5],[0, 1, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 59606799544788357672532908}, {"parameter": "[6, 5, 2, 5],[0, 1, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 59606799544788357672532908}, {"parameter": "[6, 5, 2, 5],[0, 2, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 59476598687169513402930108}, {"parameter": "[6, 5, 2, 5],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 59476598687169513402930108}, {"parameter": "[6, 5, 2, 5],[0, 3, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 59476581396226348962212439}, {"parameter": "[6, 5, 2, 5],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 59476581396226348962212439}, {"parameter": "[6, 5, 2, 5],[0, 4, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 59476692439696512701352258}, {"parameter": "[6, 5, 2, 5],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 59476692439696512701352258}, {"parameter": "[6, 5, 3, 4],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 58468495070166480173941983}, {"parameter": "[6, 5, 3, 4],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 58468495070166480173941983}, {"parameter": "[6, 5, 3, 4],[0, 1, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 58463784844754251715327124}, {"parameter": "[6, 5, 3, 4],[0, 1, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 58463784844754251715327124}, {"parameter": "[6, 5, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 58338294212547635904339183}, {"parameter": "[6, 5, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 58338294212547635904339183}, {"parameter": "[6, 5, 3, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 58333583987135407445724324}, {"parameter": "[6, 5, 3, 4],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 58333583987135407445724324}, {"parameter": "[6, 5, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 58338276921604471463621514}, {"parameter": "[6, 5, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 58338276921604471463621514}, {"parameter": "[6, 5, 3, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 58333566696192243005006655}, {"parameter": "[6, 5, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 58333566696192243005006655}, {"parameter": "[6, 5, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 58338387965074635202761333}, {"parameter": "[6, 5, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 58338387965074635202761333}, {"parameter": "[6, 5, 3, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 58333677739662406744146474}, {"parameter": "[6, 5, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 58333677739662406744146474}, {"parameter": "[6, 5, 4, 3],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 58482599901544936587050676}, {"parameter": "[6, 5, 4, 3],[0, 1, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58482599901544936587050676}, {"parameter": "[6, 5, 4, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 58462223384569585216700799}, {"parameter": "[6, 5, 4, 3],[0, 1, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 58462223384569585216700799}, {"parameter": "[6, 5, 4, 3],[0, 1, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 58463980834929154682740911}, {"parameter": "[6, 5, 4, 3],[0, 1, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 58463980834929154682740911}, {"parameter": "[6, 5, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 58352399043926092317447876}, {"parameter": "[6, 5, 4, 3],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58352399043926092317447876}, {"parameter": "[6, 5, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 58332022526950740947097999}, {"parameter": "[6, 5, 4, 3],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 58332022526950740947097999}, {"parameter": "[6, 5, 4, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 58333779977310310413138111}, {"parameter": "[6, 5, 4, 3],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 58333779977310310413138111}, {"parameter": "[6, 5, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 58352381752982927876730207}, {"parameter": "[6, 5, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58352381752982927876730207}, {"parameter": "[6, 5, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 58332005236007576506380330}, {"parameter": "[6, 5, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 58332005236007576506380330}, {"parameter": "[6, 5, 4, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 58333762686367145972420442}, {"parameter": "[6, 5, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 58333762686367145972420442}, {"parameter": "[6, 5, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 58352492796453091615870026}, {"parameter": "[6, 5, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58352492796453091615870026}, {"parameter": "[6, 5, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 58332116279477740245520149}, {"parameter": "[6, 5, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 58332116279477740245520149}, {"parameter": "[6, 5, 4, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 58333873729837309711560261}, {"parameter": "[6, 5, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 58333873729837309711560261}, {"parameter": "[6, 5, 5, 2],[0, 1, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 58524178854205832785057044}, {"parameter": "[6, 5, 5, 2],[0, 1, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58462242732760776514935516}, {"parameter": "[6, 5, 5, 2],[0, 1, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 58462224459961491405822411}, {"parameter": "[6, 5, 5, 2],[0, 1, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 58463839648380240199409274}, {"parameter": "[6, 5, 5, 2],[0, 2, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 58393977996586988515454244}, {"parameter": "[6, 5, 5, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58332041875141932245332716}, {"parameter": "[6, 5, 5, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 58332023602342647136219611}, {"parameter": "[6, 5, 5, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 58333638790761395929806474}, {"parameter": "[6, 5, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 58393960705643824074736575}, {"parameter": "[6, 5, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58332024584198767804615047}, {"parameter": "[6, 5, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 58332006311399482695501942}, {"parameter": "[6, 5, 5, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 58333621499818231489088805}, {"parameter": "[6, 5, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 58394071749113987813876394}, {"parameter": "[6, 5, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 58332135627668931543754866}, {"parameter": "[6, 5, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 58332117354869646434641761}, {"parameter": "[6, 5, 5, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 58333732543288395228228624}, {"parameter": "[6, 6, 2, 4],[0, 0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 75719769577116657864819588}, {"parameter": "[6, 6, 2, 4],[0, 1, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 74575363430674033336140372}, {"parameter": "[6, 6, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 74575206720064427342032071}, {"parameter": "[6, 6, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 74575186821283284004790574}, {"parameter": "[6, 6, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 74575296140856653816764821}, {"parameter": "[6, 6, 3, 3],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 75718227500575663088245176}, {"parameter": "[6, 6, 3, 3],[0, 0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 75718201655717434125509292}, {"parameter": "[6, 6, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 74573821354133038559565960}, {"parameter": "[6, 6, 3, 3],[0, 1, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 74573795509274809596830076}, {"parameter": "[6, 6, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 74573664643523432565457659}, {"parameter": "[6, 6, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 74573638798665203602721775}, {"parameter": "[6, 6, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 74573644744742289228216162}, {"parameter": "[6, 6, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 74573618899884060265480278}, {"parameter": "[6, 6, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 74573754064315659040190409}, {"parameter": "[6, 6, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 74573728219457430077454525}, {"parameter": "[6, 6, 4, 2],[0, 0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 75718479106829230918885188}, {"parameter": "[6, 6, 4, 2],[0, 0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 75718199540386102171083264}, {"parameter": "[6, 6, 4, 2],[0, 0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 75718201924565410672789695}, {"parameter": "[6, 6, 4, 2],[0, 1, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 74574072960386606390205972}, {"parameter": "[6, 6, 4, 2],[0, 1, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 74573793393943477642404048}, {"parameter": "[6, 6, 4, 2],[0, 1, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 74573795778122786144110479}, {"parameter": "[6, 6, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 74573916249777000396097671}, {"parameter": "[6, 6, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 74573636683333871648295747}, {"parameter": "[6, 6, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 74573639067513180150002178}, {"parameter": "[6, 6, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 74573896350995857058856174}, {"parameter": "[6, 6, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 74573616784552728311054250}, {"parameter": "[6, 6, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 74573619168732036812760681}, {"parameter": "[6, 6, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 74574005670569226870830421}, {"parameter": "[6, 6, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 74573726104126098123028497}, {"parameter": "[6, 6, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 74573728488305406624734928}, {"parameter": "[7, 2, 4, 5],[0, 4, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 32106869635754772507096900}, {"parameter": "[7, 2, 4, 5],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 32063057223429302406458028}, {"parameter": "[7, 2, 4, 5],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 32063064735845681945226999}, {"parameter": "[7, 2, 4, 5],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 32108401012939832333079450}, {"parameter": "[7, 2, 5, 4],[0, 4, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 124529830134034762541556}, {"parameter": "[7, 2, 5, 4],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 123748786492641176901615}, {"parameter": "[7, 2, 5, 4],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 123816150577978579489311}, {"parameter": "[7, 2, 5, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 124529830134034762541556}, {"parameter": "[7, 2, 5, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 123748786492641176901615}, {"parameter": "[7, 2, 5, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 123816150577978579489311}, {"parameter": "[7, 2, 6, 3],[0, 4, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 123749529478876515900744}, {"parameter": "[7, 2, 6, 3],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 123748538830562730568572}, {"parameter": "[7, 2, 6, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 79937117153406415261872}, {"parameter": "[7, 2, 6, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 79936126505092629929700}, {"parameter": "[7, 2, 6, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 129226081019560278480603}, {"parameter": "[7, 2, 6, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 129225090371246493148431}, {"parameter": "[7, 2, 7, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 26685551794423281781320}, {"parameter": "[7, 2, 7, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 26693064210802820550291}, {"parameter": "[7, 2, 7, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 72029341304953208402742}, {"parameter": "[7, 3, 3, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 32106766220551052874702531}, {"parameter": "[7, 3, 3, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 32062953808225582774063659}, {"parameter": "[7, 3, 3, 5],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 32112242772091736637282390}, {"parameter": "[7, 3, 3, 5],[0, 4, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 32106760366860276291736812}, {"parameter": "[7, 3, 3, 5],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 32062947954534806191097940}, {"parameter": "[7, 3, 3, 5],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 32112236918400960054316671}, {"parameter": "[7, 3, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 167517635283349508964843}, {"parameter": "[7, 3, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 123705222957879408325971}, {"parameter": "[7, 3, 4, 4],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 172994186824033271544702}, {"parameter": "[7, 3, 4, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 167517635283349508964843}, {"parameter": "[7, 3, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 123705222957879408325971}, {"parameter": "[7, 3, 4, 4],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 172994186824033271544702}, {"parameter": "[7, 3, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 167511781592572925999124}, {"parameter": "[7, 3, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 123699369267102825360252}, {"parameter": "[7, 3, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 172988333133256688578983}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 167511781592572925999124}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 123699369267102825360252}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 172988333133256688578983}, {"parameter": "[7, 3, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 123885768613066785114318}, {"parameter": "[7, 3, 5, 3],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 123705222957879408325971}, {"parameter": "[7, 3, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 80073356287596684475446}, {"parameter": "[7, 3, 5, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79892810632409307687099}, {"parameter": "[7, 3, 5, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 129362320153750547694177}, {"parameter": "[7, 3, 5, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 129181774498563170905830}, {"parameter": "[7, 3, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 123879914922290202148599}, {"parameter": "[7, 3, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 123699369267102825360252}, {"parameter": "[7, 3, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 80067502596820101509727}, {"parameter": "[7, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79886956941632724721380}, {"parameter": "[7, 3, 5, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 129356466462973964728458}, {"parameter": "[7, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 129175920807786587940111}, {"parameter": "[7, 3, 6, 2],[0, 3, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 123705222957879408325971}, {"parameter": "[7, 3, 6, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 79892810632409307687099}, {"parameter": "[7, 3, 6, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79900323048788846456070}, {"parameter": "[7, 3, 6, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 125236600142939234308521}, {"parameter": "[7, 3, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 123699369267102825360252}, {"parameter": "[7, 3, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 79886956941632724721380}, {"parameter": "[7, 3, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79894469358012263490351}, {"parameter": "[7, 3, 6, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 125230746452162651342802}, {"parameter": "[7, 4, 2, 5],[0, 2, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 32106941582351971661243460}, {"parameter": "[7, 4, 2, 5],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 32106941582351971661243460}, {"parameter": "[7, 4, 2, 5],[0, 3, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 32106760225001286278523651}, {"parameter": "[7, 4, 2, 5],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 32106760225001286278523651}, {"parameter": "[7, 4, 2, 5],[0, 4, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 32106760385596369312349871}, {"parameter": "[7, 4, 2, 5],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 32106760385596369312349871}, {"parameter": "[7, 4, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 167692997084268295505772}, {"parameter": "[7, 4, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 167692997084268295505772}, {"parameter": "[7, 4, 3, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 167692997084268295505772}, {"parameter": "[7, 4, 3, 4],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 167692997084268295505772}, {"parameter": "[7, 4, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 167511639733582912785963}, {"parameter": "[7, 4, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 167511639733582912785963}, {"parameter": "[7, 4, 3, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 167511639733582912785963}, {"parameter": "[7, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 167511639733582912785963}, {"parameter": "[7, 4, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 167511800328665946612183}, {"parameter": "[7, 4, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 167511800328665946612183}, {"parameter": "[7, 4, 3, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 167511800328665946612183}, {"parameter": "[7, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 167511800328665946612183}, {"parameter": "[7, 4, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 167692997084268295505772}, {"parameter": "[7, 4, 4, 3],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 167692997084268295505772}, {"parameter": "[7, 4, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 123880584758798194866900}, {"parameter": "[7, 4, 4, 3],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 123880584758798194866900}, {"parameter": "[7, 4, 4, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 173169548624952058085631}, {"parameter": "[7, 4, 4, 3],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 173169548624952058085631}, {"parameter": "[7, 4, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 167511639733582912785963}, {"parameter": "[7, 4, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 167511639733582912785963}, {"parameter": "[7, 4, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 123699227408112812147091}, {"parameter": "[7, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 123699227408112812147091}, {"parameter": "[7, 4, 4, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 172988191274266675365822}, {"parameter": "[7, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 172988191274266675365822}, {"parameter": "[7, 4, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 167511800328665946612183}, {"parameter": "[7, 4, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 167511800328665946612183}, {"parameter": "[7, 4, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 123699388003195845973311}, {"parameter": "[7, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 123699388003195845973311}, {"parameter": "[7, 4, 4, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 172988351869349709192042}, {"parameter": "[7, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 172988351869349709192042}, {"parameter": "[7, 4, 5, 2],[0, 2, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 167692997084268295505772}, {"parameter": "[7, 4, 5, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 123880584758798194866900}, {"parameter": "[7, 4, 5, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 123888097175177733635871}, {"parameter": "[7, 4, 5, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 169224374269328121488322}, {"parameter": "[7, 4, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 167511639733582912785963}, {"parameter": "[7, 4, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 123699227408112812147091}, {"parameter": "[7, 4, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 123706739824492350916062}, {"parameter": "[7, 4, 5, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 169043016918642738768513}, {"parameter": "[7, 4, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 167511800328665946612183}, {"parameter": "[7, 4, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 123699388003195845973311}, {"parameter": "[7, 4, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 123706900419575384742282}, {"parameter": "[7, 4, 5, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 169043177513725772594733}, {"parameter": "[7, 5, 2, 4],[0, 1, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5221453334194254691283292}, {"parameter": "[7, 5, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5216456680645166003949444}, {"parameter": "[7, 5, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5216456441122042275606483}, {"parameter": "[7, 5, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5216456587192056677751354}, {"parameter": "[7, 5, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5177821467523971967432767}, {"parameter": "[7, 5, 3, 3],[0, 1, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5177640921868784590644420}, {"parameter": "[7, 5, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5172824813974883280098919}, {"parameter": "[7, 5, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5172644268319695903310572}, {"parameter": "[7, 5, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5172824574451759551755958}, {"parameter": "[7, 5, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5172644028796572174967611}, {"parameter": "[7, 5, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5172824720521773953900829}, {"parameter": "[7, 5, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5172644174866586577112482}, {"parameter": "[7, 5, 4, 2],[0, 1, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5178362113841220312465636}, {"parameter": "[7, 5, 4, 2],[0, 1, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5177581070199826726825695}, {"parameter": "[7, 5, 4, 2],[0, 1, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5177648434285164129413391}, {"parameter": "[7, 5, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5173365460292131625131788}, {"parameter": "[7, 5, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5172584416650738039491847}, {"parameter": "[7, 5, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5172651780736075442079543}, {"parameter": "[7, 5, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5173365220769007896788827}, {"parameter": "[7, 5, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5172584177127614311148886}, {"parameter": "[7, 5, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5172651541212951713736582}, {"parameter": "[7, 5, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5173365366839022298933698}, {"parameter": "[7, 5, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5172584323197628713293757}, {"parameter": "[7, 5, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5172651687282966115881453}, {"parameter": "[8, 2, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1289409162846374636945631}, {"parameter": "[8, 2, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1287768012459221436612039}, {"parameter": "[8, 2, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1289614306644768786987330}, {"parameter": "[8, 2, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 91376143206903035732538}, {"parameter": "[8, 2, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 91369380224538393423471}, {"parameter": "[8, 2, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 91376143206903035732538}, {"parameter": "[8, 2, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 91369380224538393423471}, {"parameter": "[8, 2, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 91369380224538393423471}, {"parameter": "[8, 2, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 89728229837385193089879}, {"parameter": "[8, 2, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 91574524022932543465170}, {"parameter": "[8, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1289409037664566323399039}, {"parameter": "[8, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1289409037664566323399039}, {"parameter": "[8, 3, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1289409012957630472041159}, {"parameter": "[8, 3, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1289409012957630472041159}, {"parameter": "[8, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 93010405429883280210471}, {"parameter": "[8, 3, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 93010405429883280210471}, {"parameter": "[8, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 93010405429883280210471}, {"parameter": "[8, 3, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 93010405429883280210471}, {"parameter": "[8, 3, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 93010380722947428852591}, {"parameter": "[8, 3, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 93010380722947428852591}, {"parameter": "[8, 3, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 93010380722947428852591}, {"parameter": "[8, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 93010380722947428852591}, {"parameter": "[8, 3, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 93010405429883280210471}, {"parameter": "[8, 3, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 91369255042730079876879}, {"parameter": "[8, 3, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 93215549228277430252170}, {"parameter": "[8, 3, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 93010380722947428852591}, {"parameter": "[8, 3, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 91369230335794228518999}, {"parameter": "[8, 3, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 93215524521341578894290}, {"parameter": "[8, 4, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2485809908944128680659407}, {"parameter": "[8, 4, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2485807645020596357049279}, {"parameter": "[8, 4, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2485807645218014603049498}, {"parameter": "[8, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1289411276709445637470839}, {"parameter": "[8, 4, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1289411276709445637470839}, {"parameter": "[8, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1289409012785913313860711}, {"parameter": "[8, 4, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1289409012785913313860711}, {"parameter": "[8, 4, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1289409012983331559860930}, {"parameter": "[8, 4, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1289409012983331559860930}, {"parameter": "[8, 4, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1289411276709445637470839}, {"parameter": "[8, 4, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1287770126322292437137247}, {"parameter": "[8, 4, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1289616420507839787512538}, {"parameter": "[8, 4, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1289409012785913313860711}, {"parameter": "[8, 4, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1287767862398760113527119}, {"parameter": "[8, 4, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1289614156584307463902410}, {"parameter": "[8, 4, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1289409012983331559860930}, {"parameter": "[8, 4, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1287767862596178359527338}, {"parameter": "[8, 4, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1289614156781725709902629}, {"parameter": "[9, 2, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 127150812931517922301290}, {"parameter": "[9, 2, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 127150812931517922301290}, {"parameter": "[9, 2, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 82672890861122961807762}, {"parameter": "[9, 2, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 82672890861122961807762}, {"parameter": "[9, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 171628734898826101979253}, {"parameter": "[9, 3, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 171628734796304180236650}, {"parameter": "[9, 3, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 127150812828431141485725}, {"parameter": "[9, 3, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 127150812828431141485725}, {"parameter": "[9, 3, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 127150812725909219743122}, {"parameter": "[9, 3, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 127150812725909219743122}, {"parameter": "[10, 2, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 84469384041391955890917}, {"parameter": "[6, 2, 4, 2, 4],[0, 4, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3513630187580550352454781}, {"parameter": "[6, 2, 4, 3, 3],[0, 4, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2370615487546444395248997}, {"parameter": "[6, 2, 4, 3, 3],[0, 4, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2370615487546444395248997}, {"parameter": "[6, 2, 4, 4, 2],[0, 4, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2370615487546444395248997}, {"parameter": "[6, 2, 4, 4, 2],[0, 4, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2369047566147220655938701}, {"parameter": "[6, 2, 4, 4, 2],[0, 4, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2370811477721347362662784}, {"parameter": "[6, 3, 3, 3, 3],[0, 3, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3513522719821677701084145}, {"parameter": "[6, 3, 3, 3, 3],[0, 4, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3513520918686054137094693}, {"parameter": "[6, 3, 3, 4, 2],[0, 3, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2370508019787571743878361}, {"parameter": "[6, 3, 3, 4, 2],[0, 3, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2370508019787571743878361}, {"parameter": "[6, 3, 3, 4, 2],[0, 4, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2370506218651948179888909}, {"parameter": "[6, 3, 3, 4, 2],[0, 4, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2370506218651948179888909}, {"parameter": "[6, 4, 2, 4, 2],[0, 2, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3513540254334051409771581}, {"parameter": "[6, 4, 2, 4, 2],[0, 3, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3513520771268003557326009}, {"parameter": "[6, 4, 2, 4, 2],[0, 4, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3513520937422147157707752}, {"parameter": "", "name": "JohnsonLB", "value": 43007072677654666018400699512}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 19766581929221704913667546}], "request": [3, 18, 4, 6], "liftedmrdsizebound": 43417253082457739291929070644, "comments": "", "equal_bound_constraints": []}