{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 579000252913277034724666671128579290474420179812795955722564434314244}, {"parameter": "", "name": "singleton", "value": 2050065905416034207242060732309202881550943087590159038828}, {"parameter": "5", "name": "ilp_2", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "7", "name": "ilp_3", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "", "name": "anticode", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "", "name": "linear_programming_bound", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "", "name": "sphere_packing", "value": 579000252913277034724666671128579290474420179812795955722564434314244}, {"parameter": "1", "name": "ilp_1", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "2", "name": "ilp_1", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "3", "name": "ilp_1", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "4", "name": "ilp_1", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "8", "name": "ilp_4", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "9", "name": "ilp_4", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "10", "name": "ilp_4", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "11", "name": "ilp_4", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "12", "name": "ilp_4", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "13", "name": "ilp_4", "value": 107603884240475294394474083694992044344081401467700188107168539}, {"parameter": "14", "name": "ilp_4", "value": 11956006888583023330065807528812621971291774188227336217332555}, {"parameter": "15", "name": "ilp_4", "value": 1328445179363014648387532276325011943227719156538394774512509}, {"parameter": "16", "name": "ilp_4", "value": 147605022939549692397287178596427537297814543525479021670023}, {"parameter": "17", "name": "ilp_4", "value": 16400558099748845695818511299706367619275550617911675936703}, {"parameter": "", "name": "johnson_1", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "", "name": "johnson_2", "value": 16400558099748845695818511299706367619275550617911675936703}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 579000252913277034724666671128579290474420179812795955722564434314244}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 107603884240475294394474083694992044344081401467700188107168539}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 11956006888583023330065807528812621971291774188227336217332555}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1328445179363014648387532276325011943227719156538394774512509}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 147605022939549692397287178596427537297814543525479021670023}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 16400558099748845695818511299706367619275550617911675936703}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1822284233769983670254436340779444673451569922566247801164}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1822284233821600277352604817699597219335742869100572780525}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1822284234286149741367705781113452139563732437607920317384}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1822284238467094928161972841042123322270367096828407029406}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1822284276095602472637425933691871363809688335950765064560}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1822284614752240302422117831242626457024482753317558610237}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1822287662667645071082684211075183055265956044132602846514}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1822315094365104096809151239408660002497697011678110037084}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1822562016811997462052531332139761980486144901798850153443}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1824787333714681894068324634125419870963550786343476472755}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1845062439503873288757404393241535575579302620539535520074}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 2050065905416034207242060732309202881550943087590159038828}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 579000252913277034724666671128579290474420179812795955722564434314244}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 968438377763187661687358157816509636148449222788451863946404910}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 968452956311377996564550471678385004970944140360640457196711889}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 968584182999221349106798215440526475438568823103928470618460137}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 969766825469272323334476110664419206488153898148960817073428356}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 980542012418621875425796822142438325813818685708614880411466201}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 1089491124906108051165135239699867397777196296355089299912829976}, {"parameter": "", "name": "improved_johnson", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 107604084189412099448735253474869619933259359609476612763903559}], "known_codes": [], "upper_bound": 1822284233764248491688153676911903438897112830041993324884, "classified": false, "lower_bound": 1797321852988389531920805010386458522272468414930785473613, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1797010299914431210413179829509605039731475627537851106401}, {"parameter": "", "name": "sphere_covering", "value": 27431645849314822674310346842984264239824927330517053}, {"parameter": "", "name": "graham_sloane", "value": 30860543510703510571158523743928991141817598789555307}, {"parameter": "", "name": "multicomponent", "value": 1797010300429808731292999990002803251088546408595933889767}, {"parameter": "", "name": "construction_ST_B", "value": 1797284276163312220558186709402738780477580107934039798173}, {"parameter": "", "name": "ChenHeWengXu2019_T41", "value": 1797321852988389530407874000031880315113074804045244546241}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1797010299914432315025280162310240527657014323655024213282}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1797284234920384355883986655239316939972744765951440750805}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 1797284276163312220558186702619119525767196206280406105532}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1797284234411369371681264619652362995907913031708517072896}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 1797321852988389531920805006910376195496045505877454362241}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 1797284276678768304936651365767825912265045395131270458430}, {"parameter": "(12,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1797321852988389531920805010386458522272468414930785473613}, {"parameter": "(12,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1797321852988389531920805006952832851716958970332626774501}, {"parameter": "(12,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1797321852988389531920805006952774701980106024908233383453}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 30860477386315916013717529328225242759668578605116417}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 30860477386315916013717148331148398841197487168729129}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 30860477386315916013717147807800875232826081467576817}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 277316984982789342197735814371107154333289060098410005}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 277316984982789342197735776690077576363330380725580493}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 277316984982789342197735771980028645560162418313840165}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 2465874828395292599521180710947594571293153388724954419}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 2465874828395292599521180753280603109506316843328997451}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 2465874828395292599521180710947594571293153388724954419}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 22188793983827350302741752610067695218734917535761643365}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 22188793983827350302741752614777744149538085498173383693}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 22188793983827350302741752652458773727508044177546213205}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 199702046335615227150392400057531724153659810528513170241}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 199702046335615227150392400058055071677268181934214322553}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 199702046335615227150392400439052148521186653025650709841}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1797321798992228352186056672374474481102618880228675949293}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1797321798992228352186056672374532630839471825653069340341}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1797321798992228352186056675808158301394981270251228039453}, {"parameter": "(6, 12)", "name": "CKMP2019_Lem_41", "value": 1797321852988389531920805006952774701979955930272936384332}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 30860477386315916013717147807800765813836949955217608}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 277316984982789342197735771979948879117085545803976804}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 2465874828395292599521180710889444834290113329034564250}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 22188793983827350302741752610067615452291840663251780004}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 199702046335615227150392400057531724044240821397000811032}, {"parameter": "(12, 6)", "name": "CKMP2019_Lem_41", "value": 1797321798992228352186056672374474481102468785593378950172}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Lem_41", "value": 1797321852988389530407874000074286169805679037539649967923}, {"parameter": "(6, 12)", "name": "CKMP2019_Cor_42", "value": 1797321852988389531920805006952774701979955930272936384332}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 30860477386315916013717147807800765813836949955217608}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 277316984982789342197735771979948879117085545803976804}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 2465874828395292599521180710889444834290113329034564250}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 22188793983827350302741752610067615452291840663251780004}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 199702046335615227150392400057531724044240821397000811032}, {"parameter": "(12, 6)", "name": "CKMP2019_Cor_42", "value": 1797321798992228352186056672374474481102468785593378950172}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Cor_42", "value": 1797321852988389530407874000074286169805679037539649967923}, {"parameter": "6", "name": "linkage_ST", "value": 1797321798992227247573956339573838993176930089476205843292}, {"parameter": "7", "name": "linkage_ST", "value": 199702046335615225635149498880737349322207881054773959912}, {"parameter": "8", "name": "linkage_ST", "value": 22188793983826231883273068209977439138565525615214234404}, {"parameter": "9", "name": "linkage_ST", "value": 2465874827589757616257289823714812036075516035536243850}, {"parameter": "10", "name": "linkage_ST", "value": 277316397865563585049423150548804557050759014180450404}, {"parameter": "11", "name": "linkage_ST", "value": 30432527221704537086371993251609950651694301276495288}, {"parameter": "12", "name": "linkage_ST", "value": 1797010299914431210413179829552003546215386051933333128492}, {"parameter": "13", "name": "linkage_ST", "value": 2503588893098060371070985423545284}, {"parameter": "14", "name": "linkage_ST", "value": 147834417161291976936286390380707613456}, {"parameter": "15", "name": "linkage_ST", "value": 8729311901304675301507926588885778379185444}, {"parameter": "16", "name": "linkage_ST", "value": 515457138460139773028759563895406751585607978830}, {"parameter": "17", "name": "linkage_ST", "value": 30437228568932793457735943799142491471855909627410848}, {"parameter": "6", "name": "construction_D", "value": 1797321798992227247573956339573838993176930089476205843291}, {"parameter": "7", "name": "construction_D", "value": 199702046335615225635149498880737349322207881054773959911}, {"parameter": "8", "name": "construction_D", "value": 22188793983826231883273068209977439138565525615213696320}, {"parameter": "9", "name": "construction_D", "value": 2465874827589757616257289823714812036075515753010450937}, {"parameter": "10", "name": "construction_D", "value": 277316397865563585049423150548804556900640823868386084}, {"parameter": "11", "name": "construction_D", "value": 30432527221704537086371993251530170531786747066637049}, {"parameter": "12", "name": "construction_D", "value": 1797010299914431210413179829509605039731475627537851106401}, {"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": 1797010299914431210413179829552003546215386051933333128492}, {"parameter": "7", "name": "linkage_GLT", "value": 30432527221704537086371993251609950651694301276495288}, {"parameter": "8", "name": "linkage_GLT", "value": 277316397865563585049423150548804557050759014180450404}, {"parameter": "9", "name": "linkage_GLT", "value": 2465874827589757616257289823714812036075516035536243850}, {"parameter": "10", "name": "linkage_GLT", "value": 22188793983826231883273068209977439138565525615214234404}, {"parameter": "11", "name": "linkage_GLT", "value": 199702046335615225635149498880737349322207881054773959912}, {"parameter": "12", "name": "linkage_GLT", "value": 1797321798992227247573956339573838993176930089476205843292}, {"parameter": "6", "name": "improved_linkage", "value": 1797010300429888348873319602538364603626882379123459085231}, {"parameter": "7", "name": "improved_linkage", "value": 30432527230433848987676668553038097120672525445822493}, {"parameter": "8", "name": "improved_linkage", "value": 277316397865563732883840311840781493187031204575999540}, {"parameter": "9", "name": "improved_linkage", "value": 2465874827589757616259793412607910096446586738433996221}, {"parameter": "10", "name": "improved_linkage", "value": 22188793983826231883273068252375945622475950010695718411}, {"parameter": "11", "name": "improved_linkage", "value": 199702046335615225635149498880737429102327788608983818150}, {"parameter": "12", "name": "improved_linkage", "value": 1797321798992227247573956339573838993177080207666517907611}, {"parameter": "13", "name": "improved_linkage", "value": 199702380929196687878074301832787920743382702737561732437}, {"parameter": "14", "name": "improved_linkage", "value": 22189152928168547357131356394089151230732425114440310260}, {"parameter": "15", "name": "improved_linkage", "value": 2465415514083556264563092626846385833886236407262182565}, {"parameter": "16", "name": "improved_linkage", "value": 273935057120395141118177011396138859469407089877394031}, {"parameter": "6,0", "name": "generalized_linkage", "value": 1797321852988389531920805006952774701979955930272936384332}, {"parameter": "6,1", "name": "generalized_linkage", "value": 1797010727800978895111505620876351123189378742535829900325}, {"parameter": "6,2", "name": "generalized_linkage", "value": 1797010300500684155821556322031072549953637339975871367537}, {"parameter": "6,3", "name": "generalized_linkage", "value": 1797010299915225577796198554962042261051064233370356981805}, {"parameter": "6,4", "name": "generalized_linkage", "value": 1797010300429888348873319602538364603626882379123459085231}, {"parameter": "7,0", "name": "generalized_linkage", "value": 30860477386315916013717147807800765813836949955217608}, {"parameter": "7,1", "name": "generalized_linkage", "value": 30437817010212477602867206952612010322890500910007860}, {"parameter": "7,2", "name": "generalized_linkage", "value": 30432528026983425066521894359088424871070013697390653}, {"parameter": "7,3", "name": "generalized_linkage", "value": 30432527221825761308444252672617925371898927309670969}, {"parameter": "7,4", "name": "generalized_linkage", "value": 30432527230433848987676668553038097120672525445822493}, {"parameter": "8,0", "name": "generalized_linkage", "value": 277316984982789342197735771979948879117085545803976804}, {"parameter": "8,1", "name": "generalized_linkage", "value": 277316398671931950865431646539700999679400932762738619}, {"parameter": "8,2", "name": "generalized_linkage", "value": 277316397866668386550772538429038106662659052682990495}, {"parameter": "8,3", "name": "generalized_linkage", "value": 277316397865563603528412770505588155775584235056127288}, {"parameter": "8,4", "name": "generalized_linkage", "value": 277316397865563732883840311840781493187031204575999540}, {"parameter": "9,0", "name": "generalized_linkage", "value": 2465874828395292599521180710889444834290113329034564250}, {"parameter": "9,1", "name": "generalized_linkage", "value": 2465874827589880519819963309762477242029921167376582457}, {"parameter": "9,2", "name": "generalized_linkage", "value": 2465874827589757634967196348240432686938168741907126192}, {"parameter": "9,3", "name": "generalized_linkage", "value": 2465874827589757616260106356500538205568107623737956067}, {"parameter": "9,4", "name": "generalized_linkage", "value": 2465874827589757616259793412607910096446586738433996221}, {"parameter": "10,0", "name": "generalized_linkage", "value": 22188793983827350302741752610067615452291840663251780004}, {"parameter": "10,1", "name": "generalized_linkage", "value": 22188793983826231902008991012180752040326616199038723945}, {"parameter": "10,2", "name": "generalized_linkage", "value": 22188793983826231883273385059344204317495550784213043840}, {"parameter": "10,3", "name": "generalized_linkage", "value": 22188793983826231883273068215277232504024351776096513090}, {"parameter": "10,4", "name": "generalized_linkage", "value": 22188793983826231883273068252375945622475950010695718411}, {"parameter": "11,0", "name": "generalized_linkage", "value": 199702046335615227150392400057531724044240821397000811032}, {"parameter": "11,1", "name": "generalized_linkage", "value": 199702046335615225635152389242303854627380272653012070795}, {"parameter": "11,2", "name": "generalized_linkage", "value": 199702046335615225635149498886104207810013254567801334576}, {"parameter": "11,3", "name": "generalized_linkage", "value": 199702046335615225635149498880737359294559263485206737511}, {"parameter": "11,4", "name": "generalized_linkage", "value": 199702046335615225635149498880737429102327788608983818150}, {"parameter": "12,0", "name": "generalized_linkage", "value": 1797321798992228352186056672374474481102468785593378950172}, {"parameter": "12,1", "name": "generalized_linkage", "value": 1797321798992227247573956340008937030493726446217696882276}, {"parameter": "12,2", "name": "generalized_linkage", "value": 1797321798992227247573956339573839085169898004464223058175}, {"parameter": "12,3", "name": "generalized_linkage", "value": 1797321798992227247573956339573838993176948857664629053881}, {"parameter": "12,4", "name": "generalized_linkage", "value": 1797321798992227247573956339573838993177080207666517907611}, {"parameter": "13,1", "name": "generalized_linkage", "value": 199702380929196687878074337075729034136509271695929688165}, {"parameter": "13,2", "name": "generalized_linkage", "value": 199702380929196687878074301832787920744921378036257382189}, {"parameter": "13,3", "name": "generalized_linkage", "value": 199702380929196687878074301832787920743382702490780859644}, {"parameter": "13,4", "name": "generalized_linkage", "value": 199702380929196687878074301832787920743382702737561732437}, {"parameter": "14,2", "name": "generalized_linkage", "value": 22189152928168547357131356394089151244580505345825012017}, {"parameter": "14,3", "name": "generalized_linkage", "value": 22189152928168547357131356394089151230732425114439838606}, {"parameter": "14,4", "name": "generalized_linkage", "value": 22189152928168547357131356394089151230732425114440310260}, {"parameter": "15,3", "name": "generalized_linkage", "value": 2465415514083556264563092626846385833886236407262248994}, {"parameter": "15,4", "name": "generalized_linkage", "value": 2465415514083556264563092626846385833886236407262182565}, {"parameter": "16,4", "name": "generalized_linkage", "value": 273935057120395141118177011396138859469407089877394031}, {"parameter": "[6, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1797321852988389531920805006952774701979955930272936384332}, {"parameter": "[6, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1797010727800978895111505620876351123189378742535829900325}, {"parameter": "[6, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1797010300500684155821556322031072549953637339975871367537}, {"parameter": "[6, 12],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1797010299915225577796198554962042261051064233370356981805}, {"parameter": "[6, 12],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1797010300429888348873319602538364603626882379123459085231}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 30860477386315916013717147807800765813836949955217608}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30437817010212477602867206952612010322890500910007860}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30432528026983425066521894359088424871070013697390653}, {"parameter": "[7, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 30432527221825761308444252672617925371898927309670969}, {"parameter": "[7, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 30432527230433848987676668553038097120672525445822493}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 277316984982789342197735771979948879117085545803976804}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 277316398671931950865431646539700999679400932762738619}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 277316397866668386550772538429038106662659052682990495}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 277316397865563603528412770505588155775584235056127288}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 277316397865563732883840311840781493187031204575999540}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2465874828395292599521180710889444834290113329034564250}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2465874827589880519819963309762477242029921167376582457}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2465874827589757634967196348240432686938168741907126192}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2465874827589757616260106356500538205568107623737956067}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2465874827589757616259793412607910096446586738433996221}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22188793983827350302741752610067615452291840663251780004}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22188793983826231902008991012180752040326616199038723945}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22188793983826231883273385059344204317495550784213043840}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22188793983826231883273068215277232504024351776096513090}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22188793983826231883273068252375945622475950010695718411}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 199702046335615227150392400057531724044240821397000811032}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 199702046335615225635152389242303854627380272653012070795}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 199702046335615225635149498886104207810013254567801334576}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 199702046335615225635149498880737359294559263485206737511}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 199702046335615225635149498880737429102327788608983818150}, {"parameter": "[12, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1797321798992228352186056672374474481102468785593378950172}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1797321798992227247573956340008937030493726446217696882276}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1797321798992227247573956339573839085169898004464223058175}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1797321798992227247573956339573838993176948857664629053881}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1797321798992227247573956339573838993177080207666517907611}, {"parameter": "[13, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 199702380929196687878074337075729034136509271695929688165}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 199702380929196687878074301832787920744921378036257382189}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 199702380929196687878074301832787920743382702490780859644}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 199702380929196687878074301832787920743382702737561732437}, {"parameter": "[14, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22189152928168547357131356394089151244580505345825012017}, {"parameter": "[14, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22189152928168547357131356394089151230732425114439838606}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22189152928168547357131356394089151230732425114440310260}, {"parameter": "[15, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2465415514083556264563092626846385833886236407262248994}, {"parameter": "[15, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2465415514083556264563092626846385833886236407262182565}, {"parameter": "[16, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 273935057120395141118177011396138859469407089877394031}, {"parameter": "[6, 2, 10],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 273893846605317690761548581002948731473782143759249362}, {"parameter": "[6, 2, 10],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 273893846613832280036908557088667394759398473398157041}, {"parameter": "[6, 2, 10],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 585446334331183073413856418894563548887656160792533373}, {"parameter": "[6, 3, 9],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 2465035292092548596111083922696715334716152080704910701}, {"parameter": "[6, 3, 9],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2465035291984768313664982889408108414773537418393366748}, {"parameter": "[6, 3, 9],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2465035291993282902940342865493827078059153748032274427}, {"parameter": "[6, 3, 9],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2776587779710633696317290727299723232187411435426650759}, {"parameter": "[6, 3, 9],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 2465035291307031874983189804366489561563246620101180291}, {"parameter": "[6, 3, 9],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2465035291199251592537088771077882641620631957789636338}, {"parameter": "[6, 3, 9],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2465035291207766181812448747163601304906248287428544017}, {"parameter": "[6, 3, 9],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2776587778925116975189396608969497459034505974822920349}, {"parameter": "[6, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22185313524241294642817684163018074851123058103736479126}, {"parameter": "[6, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22185313517114318447342484382012759298548286868662177475}, {"parameter": "[6, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22185313517006538164896383348724152378605672206350633522}, {"parameter": "[6, 4, 8],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22185313517015052754171743324809871041891288535989541201}, {"parameter": "[6, 4, 8],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22496866004732403547548691186615767196019546223383917533}, {"parameter": "[6, 4, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 22185312938089833589462830205416485984828482007896329936}, {"parameter": "[6, 4, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 22185312930962857393987630424411170432253710772822028285}, {"parameter": "[6, 4, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22185312930855077111541529391122563512311096110510484332}, {"parameter": "[6, 4, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22185312930863591700816889367208282175596712440149392011}, {"parameter": "[6, 4, 8],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22496865418580942494193837229014178329724970127543768343}, {"parameter": "[6, 4, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 22185312938169353705025942411739075539337044777322584729}, {"parameter": "[6, 4, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 22185312931042377509550742630733759986762273542248283078}, {"parameter": "[6, 4, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22185312930934597227104641597445153066819658879936739125}, {"parameter": "[6, 4, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22185312930943111816380001573530871730105275209575646804}, {"parameter": "[6, 4, 8],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22496865418660462609756949435336767884233532896970023136}, {"parameter": "[6, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 199668238922210507236864379912377114440725325343476210819}, {"parameter": "[6, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 199668238914996672075132564589317085691157237056273933142}, {"parameter": "[6, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 199668238914181508668416317978293621070917376792967703731}, {"parameter": "[6, 5, 7],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 199668238914092139316682839556647708613544044738198926578}, {"parameter": "[6, 5, 7],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 199668239500322079033019260059118327998337906160074016977}, {"parameter": "[6, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 199667811109742793268469762578675487324607869436612542499}, {"parameter": "[6, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 199667811102528958106737947255615458575039781149410264822}, {"parameter": "[6, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 199667811101713794700021700644591993954799920886104035411}, {"parameter": "[6, 5, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 199667811101624425348288222222946081497426588831335258258}, {"parameter": "[6, 5, 7],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 199667811687854365064624642725416700882220450253210348657}, {"parameter": "[6, 5, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 199667811109732989310401331297202657404021838787934345686}, {"parameter": "[6, 5, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 199667811102519154148669515974142628654453750500732068009}, {"parameter": "[6, 5, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 199667811101703990741953269363119164034213890237425838598}, {"parameter": "[6, 5, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 199667811101614621390219790941473251576840558182657061445}, {"parameter": "[6, 5, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 199667811687844561106556211443943870961634419604532151844}, {"parameter": "[6, 5, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 199667811110440072735612753672029861195095346427312562067}, {"parameter": "[6, 5, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 199667811103226237573880938348969832445527258140110284390}, {"parameter": "[6, 5, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 199667811102411074167164691737946367825287397876804054979}, {"parameter": "[6, 5, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 199667811102321704815431213316300455367914065822035277826}, {"parameter": "[6, 5, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 199667811688551644531767633818771074752707927243910368225}, {"parameter": "[6, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1797321852988389530407874000074286169805679037539649967923}, {"parameter": "[6, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1797321798992219775487364866011973281672169366068958591443}, {"parameter": "[6, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1797321798992218535290207239005719901812637474124995384406}, {"parameter": "[6, 6, 6],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1797321798992218519799309574248190560706655761016206178845}, {"parameter": "[6, 6, 6],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1797321798992219622710179432769302416450406431111447382962}, {"parameter": "[6, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1797010353917847263085049480657036770311058807413625842643}, {"parameter": "[6, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1797010299921677508164540346594723882177549135942934466163}, {"parameter": "[6, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1797010299921676267967382719588470502318017243998971259126}, {"parameter": "[6, 6, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1797010299921676252476485054830941161212035530890182053565}, {"parameter": "[6, 6, 6],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1797010299921677355387354913352053016955786200985423257682}, {"parameter": "[6, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1797010353910692676683024732605136570433122612340722146886}, {"parameter": "[6, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914522921762515598542823682299612940870030770406}, {"parameter": "[6, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914521681565357971536570302440081048926067563369}, {"parameter": "[6, 6, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914521666074460306779040961334099335817278357808}, {"parameter": "[6, 6, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914522768985330165300152817077850005912519561925}, {"parameter": "[6, 6, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1797010353910603311080865560462961176484384209082466383165}, {"parameter": "[6, 6, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914433556160356426400648288350874537611775006685}, {"parameter": "[6, 6, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914432315963198799394394908491342645667811799648}, {"parameter": "[6, 6, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914432300472301134636865567385360932559022594087}, {"parameter": "[6, 6, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914433403383170993157977423129111602654263798204}, {"parameter": "[6, 6, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 1797010353916965905176173324033883344599583981095290760802}, {"parameter": "[6, 6, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1797010299920796150255664189971570456466074309624599384322}, {"parameter": "[6, 6, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1797010299920794910058506562965317076606542417680636177285}, {"parameter": "[6, 6, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1797010299920794894567608898207787735500560704571846971724}, {"parameter": "[6, 6, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1797010299920795997478478756728899591244311374667088175841}, {"parameter": "[6, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 199667811688660726990826294625671629659829060542190553451}, {"parameter": "[6, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 199667811687743938334176588358248376545476059705886540411}, {"parameter": "[6, 7, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 199667811687743938331816280681032102359948614388240962570}, {"parameter": "[6, 7, 5],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 199667811687743938333889096926906821126119537837068196523}, {"parameter": "[6, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 199667811109855861210103299633220372743816355576195936814}, {"parameter": "[6, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 199667811108939072553453593365797119629463354739891923774}, {"parameter": "[6, 7, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 199667811108939072551093285688580845443935909422246345933}, {"parameter": "[6, 7, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 199667811108939072553166101934455564210106832871073579886}, {"parameter": "[6, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 199667811102609625670956813818907119108475926455579041083}, {"parameter": "[6, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 199667811101692837014307107551483865994122925619275028043}, {"parameter": "[6, 7, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 199667811101692837011946799874267591808595480301629450202}, {"parameter": "[6, 7, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 199667811101692837014019616120142310574766403750456684155}, {"parameter": "[6, 7, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 199667811102521346152561395975571216008060685686905685770}, {"parameter": "[6, 7, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 199667811101604557495911689708147962893707684850601672730}, {"parameter": "[6, 7, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 199667811101604557493551382030931688708180239532956094889}, {"parameter": "[6, 7, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 199667811101604557495624198276806407474351162981783328842}, {"parameter": "[6, 7, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 199667811108884032875971890114381886198396966949028230729}, {"parameter": "[6, 7, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 199667811107967244219322183846958633084043966112724217689}, {"parameter": "[6, 7, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 199667811107967244216961876169742358898516520795078639848}, {"parameter": "[6, 7, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 199667811107967244219034692415617077664687444243905873801}, {"parameter": "[6, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22185312938089820330335720726626434406987063572406592806}, {"parameter": "[6, 8, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22185312938089820138859353554174592591780994826619241066}, {"parameter": "[6, 8, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22185312938089820138859357453890991131618262247579422489}, {"parameter": "[6, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22185312351870118826146705144233512982653772634656548835}, {"parameter": "[6, 8, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 22185312351870118634670337971781671167447703888869197095}, {"parameter": "[6, 8, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22185312351870118634670341871498069707284971309829378518}, {"parameter": "[6, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22185312344711960487973132467084730809462175861379377602}, {"parameter": "[6, 8, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22185312344711960296496765294632888994256107115592025862}, {"parameter": "[6, 8, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22185312344711960296496769194349287534093374536552207285}, {"parameter": "[6, 8, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22185312344623697413129684551014970066132480505071073911}, {"parameter": "[6, 8, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22185312344623697221653317378563128250926411759283722171}, {"parameter": "[6, 8, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22185312344623697221653321278279526790763679180243903594}, {"parameter": "[6, 8, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22185312350986396095281537986823630946408947674298335293}, {"parameter": "[6, 8, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22185312350986395903805170814371789131202878928510983553}, {"parameter": "[6, 8, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22185312350986395903805174714088187671040146349471164976}, {"parameter": "[6, 9, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2465035291298303911415102580082101707499559279243568472}, {"parameter": "[6, 9, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2465035291298303911415102091947946372777784882816633083}, {"parameter": "[6, 9, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2465034712204246374850038107584543089395601634532971719}, {"parameter": "[6, 9, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2465034712204246374850037619450387754673827238106036330}, {"parameter": "[6, 9, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2465034705047421562309931031258059351832754694460891078}, {"parameter": "[6, 9, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2465034705047421562309930543123904017110980298033955689}, {"parameter": "[6, 9, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2465034704959157191734702053491864294864321304528591760}, {"parameter": "[6, 9, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2465034704959157191734701565357708960142546908101656371}, {"parameter": "[6, 9, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2465034705665154954612796992197180631210317922713536203}, {"parameter": "[6, 9, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2465034705665154954612796504063025296488543526286600814}, {"parameter": "[6, 10, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 273893331227796958750217544549167174546524431707221602}, {"parameter": "[6, 10, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892752241624949975923251256462590219910631462459121}, {"parameter": "[6, 10, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892745084695060226571871656827560632144302144222493}, {"parameter": "[6, 10, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995461910167777199564571016016462877619183886}, {"parameter": "[6, 10, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892745073906104267962108786116719070409348457897778}, {"parameter": "[7, 2, 9],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 4639211814638593704381834139385585430106021918131}, {"parameter": "[7, 2, 9],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 4639211666591020877695305385954277626209363765378}, {"parameter": "[7, 2, 9],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 432588571025930597412195132329883352981249196320017}, {"parameter": "[7, 3, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 41746394490235728485655910956120817866005745864825}, {"parameter": "[7, 3, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 41746384700583081571058266710301069957164727493574}, {"parameter": "[7, 3, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 41746384552535508744371737956869762153268069340821}, {"parameter": "[7, 3, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 469695743911875085278871564900798837508307901895460}, {"parameter": "[7, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 41746394369180297195306599760248668706977825129606}, {"parameter": "[7, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 41746384579527650280708955514428920798136806758355}, {"parameter": "[7, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 41746384431480077454022426760997612994240148605602}, {"parameter": "[7, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 469695743790819653988522253704926688349279981160241}, {"parameter": "[7, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 375711822878812454749973030598288756481399783857699}, {"parameter": "[7, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 375711832942864610114519328440542137689864790374022}, {"parameter": "[7, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 375711823153211963199921684194722389781023772002771}, {"parameter": "[7, 4, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 375711823005164390373235155441291081977127113850018}, {"parameter": "[7, 4, 7],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 803661182364503966907734982385220157332166946404657}, {"parameter": "[7, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 375711017739325728100486862540914867768300699968510}, {"parameter": "[7, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 375711027803377883465033160383168248976765706484833}, {"parameter": "[7, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 375711018013725236550435516137348501067924688113582}, {"parameter": "[7, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 375711017865677663723748987383917193264028029960829}, {"parameter": "[7, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 803660377225017240258248814327846268619067862515468}, {"parameter": "[7, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 375711017740670583439721551496604077235833127545646}, {"parameter": "[7, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 375711027804722738804267849338857458444298134061969}, {"parameter": "[7, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 375711018015070091889670205093037710535457115690718}, {"parameter": "[7, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 375711017867022519062983676339606402731560457537965}, {"parameter": "[7, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 803660377226362095597483503283535478086600290092604}, {"parameter": "[7, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3392615166800074280979602195407062976077108316799763}, {"parameter": "[7, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3386680786484104912046149171428837305294951104607043}, {"parameter": "[7, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3386680785381594582225216597756437418474030511989846}, {"parameter": "[7, 5, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3386680785257162844029282051042155353231788234905212}, {"parameter": "[7, 5, 6],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3386681590494047171292193242680572439187029097127602}, {"parameter": "[7, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 3387326295094427911368796204594638637368715825324323}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381391914778458542435343180616412966586558613131603}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381391913675948212614410606944013079765638020514406}, {"parameter": "[7, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913551516474418476060229731014523395743429772}, {"parameter": "[7, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381392718788400801681387251868148100478636605652162}, {"parameter": "[7, 5, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 3387326295080811507631572830822632377980521239591522}, {"parameter": "[7, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381391914764842138698119806844406707198364027398802}, {"parameter": "[7, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381391913662331808877187233172006820377443434781605}, {"parameter": "[7, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913537900070681252686457724755135201157696971}, {"parameter": "[7, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381392718774784397944163878096141841090442019919361}, {"parameter": "[7, 5, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 3387326295092769399032491093819779525653624165251155}, {"parameter": "[7, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381391914776800030099038069841553854871466953058435}, {"parameter": "[7, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381391913674289700278105496169153968050546360441238}, {"parameter": "[7, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913549857962082170949454871902808304083356604}, {"parameter": "[7, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381392718786742289345082141093288988763544945578994}, {"parameter": "[7, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3809269630746228746787858114405227649641208629556243}, {"parameter": "[7, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3809268713968362218027323278456181102709719858538163}, {"parameter": "[7, 6, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3809268713968341208700948238844995343002055932441966}, {"parameter": "[7, 6, 5],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3809268713969856448398115228977754591594198694177955}, {"parameter": "[7, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381392840252559362958680957890651626305861661037683}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381391923474692834198146121941605079374372890019603}, {"parameter": "[7, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391923474671824871771082330419319666708963923406}, {"parameter": "[7, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391923476187064568938072463178568258851725659395}, {"parameter": "[7, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381392830314419690143795385628562483474239416495046}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381391913536553161383260549679515936542750645476966}, {"parameter": "[7, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913536532152056885510068330176835086719380769}, {"parameter": "[7, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391913538047391754052500201089425427229481116758}, {"parameter": "[7, 6, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381392830300632623258352788918453454272975578293462}, {"parameter": "[7, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522766094497817952969406907341486807275382}, {"parameter": "[7, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522745085171442913358221147633822881179185}, {"parameter": "[7, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391913524260324868609903490980396225965642915174}, {"parameter": "[7, 6, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381392830312588537757069104447586968473322649986722}, {"parameter": "[7, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381391913534722008996534268498540421541833878968642}, {"parameter": "[7, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913534700999670159228887354661834169952872445}, {"parameter": "[7, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391913536216239367326219020113910426312714608434}, {"parameter": "[7, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 375711017741049043795775118968750379343017429932091}, {"parameter": "[7, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 375711017739323675517371346768669406176819189654750}, {"parameter": "[7, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 375711017739323678399320101749132180905666059656334}, {"parameter": "[7, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 375710222691705929054115492669355109164314950253534}, {"parameter": "[7, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 375710222689980560775711720469274135998116709976193}, {"parameter": "[7, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 375710222689980563657660475449736910726963579977777}, {"parameter": "[7, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 375710212629001383608321701875465503266383218259003}, {"parameter": "[7, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 375710212627276015329917929675384530100184977981662}, {"parameter": "[7, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 375710212627276018211866684655847304829031847983246}, {"parameter": "[7, 7, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 375710212615380104795104109021722586098944783328890}, {"parameter": "[7, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 375710212613654736516700336821641612932746543051549}, {"parameter": "[7, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 375710212613654739398649091802104387661593413053133}, {"parameter": "[7, 7, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 375710212627336196609857722842290484179093221506409}, {"parameter": "[7, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 375710212625610828331453950642209511012894981229068}, {"parameter": "[7, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 375710212625610831213402705622672285741741851230652}, {"parameter": "[7, 8, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 41746394369032488405484826130089759140033634622666}, {"parameter": "[7, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 41746394369032488365897617957281204542109913880886}, {"parameter": "[7, 8, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 41745589134629916730385578298533874142809390327655}, {"parameter": "[7, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 41745589134629916690798370125725319544885669585875}, {"parameter": "[7, 8, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 41745579192930165611861380008896387647048899692262}, {"parameter": "[7, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 41745579192930165572274171836087833049125178950482}, {"parameter": "[7, 8, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 41745579179311394308620352895742223698153813979122}, {"parameter": "[7, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 41745579179311394269033144722933669100230093237342}, {"parameter": "[7, 8, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 41745579191267508387283418050512478861862634474513}, {"parameter": "[7, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 41745579191267508347696209877703924263938913732733}, {"parameter": "[7, 9, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4639203086675025616674772368336724998717153925563}, {"parameter": "[7, 9, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4638407640095124049260845071285691859692284342410}, {"parameter": "[7, 9, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4638397700225547808503450146978480591148469882809}, {"parameter": "[7, 9, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4638397686606578469174653276917161175925131514310}, {"parameter": "[7, 9, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4638397687918611764270440589901546064131769021134}, {"parameter": "[8, 2, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 42267399055684644826787106384237061747184937528969}, {"parameter": "[8, 2, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 42267399042253741747040218276390551172949654345718}, {"parameter": "[8, 2, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 42854515163043135018795897559759097841278086281765}, {"parameter": "[8, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 380406582538853369621529666078116724297557675238066}, {"parameter": "[8, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 380406582552660734802236079514146674264605993030389}, {"parameter": "[8, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 380406582539229831722489191406300163690370709847138}, {"parameter": "[8, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 380993698660019224994244870689668710358699141783185}, {"parameter": "[8, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 380406582538834896333902815955099015376300361672446}, {"parameter": "[8, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 380406582552642261514609229391128965343348679464769}, {"parameter": "[8, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 380406582539211358434862341283282454769113396281518}, {"parameter": "[8, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 380993698660000751706618020566651001437441828217565}, {"parameter": "[8, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 3424246259114113709704660388049234241574328072852726}, {"parameter": "[8, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3423659235117393725939631812637999191569858478657286}, {"parameter": "[8, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3423659235131201091120338226074029141536906796449609}, {"parameter": "[8, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3423659235117770188040591337966182630962671513266358}, {"parameter": "[8, 4, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3424246351238559581312347017249551177630999945202405}, {"parameter": "[8, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 3424246258009503685035393701035160731621388433566586}, {"parameter": "[8, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3423659234012783701270365125623925681616918839371146}, {"parameter": "[8, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3423659234026591066451071539059955631583967157163469}, {"parameter": "[8, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3423659234013160163371324650952109121009731873980218}, {"parameter": "[8, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3424246350133949556643080330235477667678060305916265}, {"parameter": "[8, 4, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 3424246258009503707532508571167225585267987016636889}, {"parameter": "[8, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3423659234012783723767479995755990535263517422441449}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3423659234026591088948186409192020485230565740233772}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3423659234013160185868439521084173974656330457050521}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3424246350133949579140195200367542521324658888986568}, {"parameter": "[8, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3423660944763594916880943701053234936689704685987630}, {"parameter": "[8, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3423660039138510376057869048588569001934728218501790}, {"parameter": "[8, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3423660039138342279064952017428823591986700826598069}, {"parameter": "[8, 5, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3423660040243288989461950987979340754226409154875102}, {"parameter": "[8, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3423660138533468168996069018705695305239010760692246}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3423659232908383628172994366241029370484034293206406}, {"parameter": "[8, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3423659232908215531180077335081283960536006901302685}, {"parameter": "[8, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3423659234013162241577076305631801122775715229579718}, {"parameter": "[8, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3423660138533466090794228470906918984069815053967609}, {"parameter": "[8, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3423659232908381549971153818442253049314838586481769}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3423659232908213452978236787282507639366811194578048}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3423659234013160163375235757833024801606519522855081}, {"parameter": "[8, 5, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3423660138533466113013505802939717766692500005796758}, {"parameter": "[8, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3423659232908381572190431150475051831937523538310918}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3423659232908213475197514119315306421989496146407197}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3423659234013160185594513089865823584229204474684230}, {"parameter": "[8, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3424246258025013298621983495418221208650390810200406}, {"parameter": "[8, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3424246258009503685078408582716484035095175105286416}, {"parameter": "[8, 6, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3424246258009505789186891239936833584236049739647769}, {"parameter": "[8, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3423659232925219086142101716322427219078125294415230}, {"parameter": "[8, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3423659232909709472598526803620690045522909589501240}, {"parameter": "[8, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3423659232909711576707009460841039594663784223862593}, {"parameter": "[8, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3423659232923704126417123608563123535360921669928809}, {"parameter": "[8, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3423659232908194512873548695861386361805705965014819}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3423659232908196616982031353081735910946580599376172}, {"parameter": "[8, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3423659232923702022230044470247694286751969773499578}, {"parameter": "[8, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3423659232908192408686469557545957113196754068585588}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3423659232908194512794952214766306662337628702946941}, {"parameter": "[8, 6, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3423659232923702044448983719809016703979359482422085}, {"parameter": "[8, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3423659232908192430905408807107279530424143777508095}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3423659232908194535013891464327629079565018411869448}, {"parameter": "[8, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 380406582538834897037794532354925142879310619593817}, {"parameter": "[8, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 380406582538834893834658344158678228364165671006118}, {"parameter": "[8, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 380406581435779631590071691647217194493770596116476}, {"parameter": "[8, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 380406581435779628386935503450970279978625647528777}, {"parameter": "[8, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 380406581434245683324920972270975179643663192951929}, {"parameter": "[8, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 380406581434245680121784784074728265128518244364230}, {"parameter": "[8, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 380406581434243604410826548128219300688525428455736}, {"parameter": "[8, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 380406581434243601207690359931972386173380479868037}, {"parameter": "[8, 7, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 380406581434243626630150591711290973138371639465175}, {"parameter": "[8, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 380406581434243623427014403515044058623226690877476}, {"parameter": "[8, 8, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 42267399055536836001283793657741792840415849650889}, {"parameter": "[8, 8, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 42267397938655759145093492900203339099258507708110}, {"parameter": "[8, 8, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 42267397937140256725503072286231939205478135760485}, {"parameter": "[8, 8, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 42267397937138178193613941189619417295218591109984}, {"parameter": "[8, 8, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 42267397937138200412975838004781463649148364876096}, {"parameter": "[9, 2, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 375838260569989196890936620821918022117187582515507}, {"parameter": "[9, 2, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 375838260570008137352402628802686856840909349726550}, {"parameter": "[9, 2, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 375839066103457221013352209227443875671647591514579}, {"parameter": "[9, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 3382545150376803390698086618486074051899263756732464}, {"parameter": "[9, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3382544345117780834158301996862521298324191444495424}, {"parameter": "[9, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3382544345117799774619768004843290133047913211706467}, {"parameter": "[9, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3382545150651248858280717585268047151878651453494496}, {"parameter": "[9, 3, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 3382545150376803387882084365421736868648198853623235}, {"parameter": "[9, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3382544345117780831342299743798184115073126541386195}, {"parameter": "[9, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3382544345117799771803765751778952949796848308597238}, {"parameter": "[9, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3382545150651248855464715332203709968627586550385267}, {"parameter": "[9, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3382545150376822094581097973854220751748920774786779}, {"parameter": "[9, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3382544345117799538041313352230667998173848462549739}, {"parameter": "[9, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3382544345117818478502779360211436832897570229760782}, {"parameter": "[9, 4, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382545150651267562163728940636193851728308471548811}, {"parameter": "[9, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3382545150376803387882047273148275249085514782261264}, {"parameter": "[9, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3382544345117780831342262651524722495510442470024224}, {"parameter": "[9, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3382544345117799771803728659505491330234164237235267}, {"parameter": "[9, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382545150651248855464678239930248349064902479023296}, {"parameter": "[9, 4, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3382545150376803387882084895310218228312281875930358}, {"parameter": "[9, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3382544345117780831342300273686665474737209563693318}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3382544345117799771803766281667434309460931330904361}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382545150651248855464715862092191328291669572692390}, {"parameter": "[9, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3382544345377036431797687764316251065580127143513875}, {"parameter": "[9, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3382544345239149897985868194211024525194033591198044}, {"parameter": "[9, 5, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382544345240684049703896310761409889507124991215318}, {"parameter": "[9, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3382544345254152153932714768744322578858399451448539}, {"parameter": "[9, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3382544345116265620120895198639096038472305899132708}, {"parameter": "[9, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382544345117799771838923315189481402785397299149982}, {"parameter": "[9, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3382544345254152153897520179296268041432392021677114}, {"parameter": "[9, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3382544345116265620085700609191041501046298469361283}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382544345117799771803728725741426865359389869378557}, {"parameter": "[9, 5, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3382544345254152153897557219781368181900246155492067}, {"parameter": "[9, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3382544345116265620085737649676141641514152603176236}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382544345117799771803765766226527005827244003193510}, {"parameter": "[9, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3382545150376803647340418220948129718673776638192925}, {"parameter": "[9, 6, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382545150376803390733232922029227235590059197420835}, {"parameter": "[9, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3382544345116266082260610514761553581330875527655885}, {"parameter": "[9, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382544345116265825653425215842651098247158086883795}, {"parameter": "[9, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3382544345116265851067801966270281761507764903611824}, {"parameter": "[9, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382544345116265594460616667351379278424047462839734}, {"parameter": "[9, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3382544345116265851032167313788061559492783861375434}, {"parameter": "[9, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382544345116265594424982014869159076409066420603344}, {"parameter": "[9, 6, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3382544345116265851032204410908211806926228169299564}, {"parameter": "[9, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382544345116265594425019111989309323842510728527474}, {"parameter": "[9, 7, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 375838260569989197238972063594442003946990234660459}, {"parameter": "[9, 7, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 375838260568474191589299146588222867416464792671502}, {"parameter": "[9, 7, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 375838260568473957505712428634603248334843965801203}, {"parameter": "[9, 7, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 375838260568473957470505777083560673115499980067818}, {"parameter": "[9, 7, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 375838260568473957470542875793873433420715491938617}, {"parameter": "[10, 2, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 3381922571418014054063183427502571207738869959948162}, {"parameter": "[10, 2, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381922570313404286001621322100254530950730692920722}, {"parameter": "[10, 2, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381922571431821676163952953820100166198721700786005}, {"parameter": "[10, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381922571418014054063146335229109588176185888586191}, {"parameter": "[10, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381922570313404286001584229826792911388046621558751}, {"parameter": "[10, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381922571431821676163915861546638546636037629424034}, {"parameter": "[10, 3, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381922571418014054063141036424062434612228175378322}, {"parameter": "[10, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381922570313404286001578931021745757824088908350882}, {"parameter": "[10, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381922571431821676163910562741591393072079916216165}, {"parameter": "[10, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381922571418014054379940686339028663696129669491042}, {"parameter": "[10, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381922570313404286318378580936711986907990402463602}, {"parameter": "[10, 4, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381922571431821676480710212656557622155981410328885}, {"parameter": "[10, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381922571418014054063141036354266778158135317122991}, {"parameter": "[10, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381922570313404286001578930951950101369996050095551}, {"parameter": "[10, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381922571431821676163910562671795736617987057960834}, {"parameter": "[10, 4, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381922571418014054063141036425059513274506140539125}, {"parameter": "[10, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381922570313404286001578931022742836486366873511685}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381922571431821676163910562742588471734357881376968}, {"parameter": "[10, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381922570313441722239675367615122232648165859962755}, {"parameter": "[10, 5, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381922570313423015541059241506909413044652587997146}, {"parameter": "[10, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381922570313422992700195653164624394437309668560171}, {"parameter": "[10, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381922570313404286001579527056411574833796396594562}, {"parameter": "[10, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381922570313422992700195057060287555571771641350850}, {"parameter": "[10, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381922570313404286001578930952074735968258369385241}, {"parameter": "[10, 5, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381922570313422992700195057129985763087075255212283}, {"parameter": "[10, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381922570313404286001578931021772943483561983246674}, {"parameter": "[10, 6, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381922571418016132585209494800764082602412695733362}, {"parameter": "[10, 6, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381922570313404286036821863798703889874273395287146}, {"parameter": "[10, 6, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381922570313404286001579534507827956903970039440005}, {"parameter": "[10, 6, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381922570313404286001578930951953499571035857647711}, {"parameter": "[10, 6, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381922570313404286001578931021758275924850172772641}, {"parameter": "[11, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381971690218372863439196047629603199758647801707521}, {"parameter": "[11, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381971690218372863439196047629603199758647801707521}, {"parameter": "[11, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381971690218372863439196047559807543304554943452190}, {"parameter": "[11, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381971690218372863439196047559807543304554943452190}, {"parameter": "[11, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381971690218372863439196047549836906776410588843281}, {"parameter": "[11, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381971690218372863439196047549836906776410588843281}, {"parameter": "[11, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381971690218372863439201412579837882100587312690265}, {"parameter": "[11, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381971690218372863439201412579837882100587312690265}, {"parameter": "[11, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381971690218372863439196047549836775443569400276990}, {"parameter": "[11, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381971690218372863439196047549836775443569400276990}, {"parameter": "[11, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381971690218372863439196047549836908652589999686564}, {"parameter": "[11, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381971690218372863439196047549836908652589999686564}, {"parameter": "[11, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381971690218372866293874204241256472043992639432801}, {"parameter": "[11, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381971690218372863439196047559932007144433270457065}, {"parameter": "[11, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381971690218372863439196047549836775678091385337080}, {"parameter": "[11, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381971690218372863439196047549836906827565203321793}, {"parameter": "[12, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381978055097862992857006219125317220827102863613853}, {"parameter": "[12, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978055097862992857006219125317089494261675047562}, {"parameter": "[12, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978055097862992857006219125317070732749996151213}, {"parameter": "[12, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978055097862992857006219216174325104850218499373}, {"parameter": "[12, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978055097862992857006219125317070732502870240362}, {"parameter": "[12, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978055097862992857006219125317070732753526513776}, {"parameter": "[6, 2, 4, 6],[0, 4, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 314881062203987872813685647605870055814087991589164324}, {"parameter": "[6, 2, 4, 6],[0, 4, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 314880476064620291391309349895238099538520535154322484}, {"parameter": "[6, 2, 4, 6],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 314880476064634077949167640429283687633717280314355687}, {"parameter": "[6, 2, 4, 6],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 314880476064620667286092199882203192685919547788571876}, {"parameter": "[6, 2, 4, 6],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 314881062295973489660164537033330482750146687408754243}, {"parameter": "[6, 2, 5, 5],[0, 4, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381985320939196721910603249617026464713657309848644}, {"parameter": "[6, 2, 5, 5],[0, 4, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381984416678864461868796137945987764124130767092404}, {"parameter": "[6, 2, 5, 5],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381984416678696618193458745504440757073919408524923}, {"parameter": "[6, 2, 5, 5],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381984417781978204060563924728148841304359006280436}, {"parameter": "[6, 2, 5, 5],[0, 4, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381985320939196721910603249617026464713657309848644}, {"parameter": "[6, 2, 5, 5],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381984416678864461868796137945987764124130767092404}, {"parameter": "[6, 2, 5, 5],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381984416678696618193458745504440757073919408524923}, {"parameter": "[6, 2, 5, 5],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381984417781978204060563924728148841304359006280436}, {"parameter": "[6, 2, 6, 4],[0, 4, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381984416694161846598007399621324044116861260163844}, {"parameter": "[6, 2, 6, 4],[0, 4, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381984416678675605618663481074605689140234833215454}, {"parameter": "[6, 2, 6, 4],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381984416678677706556312092577651130899894457874487}, {"parameter": "[6, 2, 6, 4],[0, 4, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381398277326580424221709688989367768549404825322004}, {"parameter": "[6, 2, 6, 4],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381398277311094183242365770442649413572778398373614}, {"parameter": "[6, 2, 6, 4],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381398277311096284180014381945694855332438023032647}, {"parameter": "[6, 2, 6, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381991743436256614377711121004223497561454465599367}, {"parameter": "[6, 2, 6, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381991743420770373398367202457505142584828038650977}, {"parameter": "[6, 2, 6, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381991743420772474336015813960550584344487663310010}, {"parameter": "[6, 2, 7, 3],[0, 4, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 375710920681611982646919089533318270884486968108679}, {"parameter": "[6, 2, 7, 3],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 375710920681611979448609940133937620547398639389540}, {"parameter": "[6, 2, 7, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 375710920695398540505209623578906366081232128141882}, {"parameter": "[6, 2, 7, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 375710920695398537306900474179525715744143799422743}, {"parameter": "[6, 2, 7, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 376297259815092697603139516232621425125301534084391}, {"parameter": "[6, 2, 7, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 376297259815092694404830366833240774788213205365252}, {"parameter": "[6, 2, 8, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 41745658847678292479978997910784608708809642181767}, {"parameter": "[6, 2, 8, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 41745658834267629404538450830289660911077116397956}, {"parameter": "[6, 2, 8, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 42331890187090003476875601957579725138216736580323}, {"parameter": "[6, 3, 3, 6],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 314881055842391930559356432931804142617985011985564974}, {"parameter": "[6, 3, 3, 6],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 314880469703024349136980135221172186342417555550723134}, {"parameter": "[6, 3, 3, 6],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 314880469703038135694838425755217774437614300710756337}, {"parameter": "[6, 3, 3, 6],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 314881056042157829851936355647871489496658370116698846}, {"parameter": "[6, 3, 3, 6],[0, 4, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 314881055841314404192925851150829896015580477746053684}, {"parameter": "[6, 3, 3, 6],[0, 4, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 314880469701946822770549553440197939740013021311211844}, {"parameter": "[6, 3, 3, 6],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 314880469701960609328407843974243527835209766471245047}, {"parameter": "[6, 3, 3, 6],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 314881056041080303485505773866897242894253835877187556}, {"parameter": "[6, 3, 4, 5],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3382564195553241477324796974329098773369823203273534}, {"parameter": "[6, 3, 4, 5],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381978056185660054948499263697142497802366768431694}, {"parameter": "[6, 3, 4, 5],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978056199446612806789797742730592999111928464897}, {"parameter": "[6, 3, 4, 5],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382564395319140769904719690396445652043181334407406}, {"parameter": "[6, 3, 4, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3382564195553241477324796974329098773369823203273534}, {"parameter": "[6, 3, 4, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381978056185660054948499263697142497802366768431694}, {"parameter": "[6, 3, 4, 5],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978056199446612806789797742730592999111928464897}, {"parameter": "[6, 3, 4, 5],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382564395319140769904719690396445652043181334407406}, {"parameter": "[6, 3, 4, 5],[0, 4, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3382564194475715110894215193354852170965288963762244}, {"parameter": "[6, 3, 4, 5],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381978055108133688517917482722895895397832528920404}, {"parameter": "[6, 3, 4, 5],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978055121920246376208016768483990594577688953607}, {"parameter": "[6, 3, 4, 5],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382564394241614403474137909422199049638647094896116}, {"parameter": "[6, 3, 4, 5],[0, 4, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3382564194475715110894215193354852170965288963762244}, {"parameter": "[6, 3, 4, 5],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381978055108133688517917482722895895397832528920404}, {"parameter": "[6, 3, 4, 5],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978055121920246376208016768483990594577688953607}, {"parameter": "[6, 3, 4, 5],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382564394241614403474137909422199049638647094896116}, {"parameter": "[6, 3, 5, 4],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381978155448876634640344391931427914367519007493294}, {"parameter": "[6, 3, 5, 4],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978055082754104445835286822097033629330919928743}, {"parameter": "[6, 3, 5, 4],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978056199446612806789797742730592999111928464897}, {"parameter": "[6, 3, 5, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381392016081295212264046681299471638800062572651454}, {"parameter": "[6, 3, 5, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391915715172682069537576190140758061874485086903}, {"parameter": "[6, 3, 5, 4],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391916831865190430492087110774317431655493623057}, {"parameter": "[6, 3, 5, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381985482190971402420048113314327367812112212928817}, {"parameter": "[6, 3, 5, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381985381824848872225539008204996487073924125364266}, {"parameter": "[6, 3, 5, 4],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381985382941541380586493519125630046443705133900420}, {"parameter": "[6, 3, 5, 4],[0, 4, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381978154371350268209762610957181311962984767982004}, {"parameter": "[6, 3, 5, 4],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978054005227738015253505847850431224796680417453}, {"parameter": "[6, 3, 5, 4],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978055121920246376208016768483990594577688953607}, {"parameter": "[6, 3, 5, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381392015003768845833464900325225036395528333140164}, {"parameter": "[6, 3, 5, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391914637646315638955795215894155657340245575613}, {"parameter": "[6, 3, 5, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391915754338823999910306136527715027121254111767}, {"parameter": "[6, 3, 5, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381985481113445035989466332340080765407577973417527}, {"parameter": "[6, 3, 5, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381985380747322505794957227230749884669389885852976}, {"parameter": "[6, 3, 5, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381985381864015014155911738151383444039170894389130}, {"parameter": "[6, 3, 6, 3],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978055082922207891044007770116397728523507308344}, {"parameter": "[6, 3, 6, 3],[0, 3, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978055082735426285256540050094882062753965775454}, {"parameter": "[6, 3, 6, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391915715340785514746297138160122161067072466504}, {"parameter": "[6, 3, 6, 3],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391915715154003908958829418138606495297530933614}, {"parameter": "[6, 3, 6, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391915729127343373036831183748217357812232499707}, {"parameter": "[6, 3, 6, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391915728940561767249363463726701692042690966817}, {"parameter": "[6, 3, 6, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978254848821500470966723837463276401881638442216}, {"parameter": "[6, 3, 6, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978254848634718865179256117441760736112096909326}, {"parameter": "[6, 3, 6, 3],[0, 4, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978054005395841460462226795869795323989267797054}, {"parameter": "[6, 3, 6, 3],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978054005209059854674759075848279658219726264164}, {"parameter": "[6, 3, 6, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391914637814419084164516163913519756532832955214}, {"parameter": "[6, 3, 6, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391914637627637478377048443892004090763291422324}, {"parameter": "[6, 3, 6, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391914651600976942455050209501614953277992988417}, {"parameter": "[6, 3, 6, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391914651414195336667582489480099287508451455527}, {"parameter": "[6, 3, 6, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978253771295134040384942863216673997347398930926}, {"parameter": "[6, 3, 6, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978253771108352434597475143195158331577857398036}, {"parameter": "[6, 3, 7, 2],[0, 3, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 375710213837620470981523031058058150824383096742030}, {"parameter": "[6, 3, 7, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 375710213851407028839813565103646246021128256775233}, {"parameter": "[6, 3, 7, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 375710213837996365764373018023151298223395730991422}, {"parameter": "[6, 3, 7, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 376296445190818739836710169150441362450535351173789}, {"parameter": "[6, 3, 7, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 375710213717895319155902833172030750557212625685220}, {"parameter": "[6, 3, 7, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 375710213731681877014193367217618845753957785718423}, {"parameter": "[6, 3, 7, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 375710213718271213938752820137123897956225259934612}, {"parameter": "[6, 3, 7, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 376296445071093588011089971264413962183364880116979}, {"parameter": "[6, 4, 2, 6],[0, 2, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 314881055930641171885632076002414652615573072522865124}, {"parameter": "[6, 4, 2, 6],[0, 2, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 314880469791273590463255778291782696340005616088023284}, {"parameter": "[6, 4, 2, 6],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 314881063257383266653411779723797552069017665728300647}, {"parameter": "[6, 4, 2, 6],[0, 3, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 314881055841302433727827647720506164753007217303258334}, {"parameter": "[6, 4, 2, 6],[0, 3, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 314880469701934852305451350009874208477439760868416494}, {"parameter": "[6, 4, 2, 6],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 314881063168044528495607351441889064206451810508693857}, {"parameter": "[6, 4, 2, 6],[0, 4, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 314881055841314553849084028181765513869682809860707847}, {"parameter": "[6, 4, 2, 6],[0, 4, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 314880469701946972426707730471133557594115353425866007}, {"parameter": "[6, 4, 2, 6],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 314881063168056648616863731903148413323127403066143370}, {"parameter": "[6, 4, 3, 5],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3382564283802482803600440044939608770957883740573684}, {"parameter": "[6, 4, 3, 5],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381978144434901381224142334307652495390427305731844}, {"parameter": "[6, 4, 3, 5],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3382571610544577571380143766322508224402476946009207}, {"parameter": "[6, 4, 3, 5],[0, 2, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3382564283802482803600440044939608770957883740573684}, {"parameter": "[6, 4, 3, 5],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381978144434901381224142334307652495390427305731844}, {"parameter": "[6, 4, 3, 5],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3382571610544577571380143766322508224402476946009207}, {"parameter": "[6, 4, 3, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3382564194463744645796011763031120908392028520966894}, {"parameter": "[6, 4, 3, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381978055096163223419714052399164632824572086125054}, {"parameter": "[6, 4, 3, 5],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3382571521205839413575715484414020361836621726402417}, {"parameter": "[6, 4, 3, 5],[0, 3, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3382564194463744645796011763031120908392028520966894}, {"parameter": "[6, 4, 3, 5],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381978055096163223419714052399164632824572086125054}, {"parameter": "[6, 4, 3, 5],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3382571521205839413575715484414020361836621726402417}, {"parameter": "[6, 4, 3, 5],[0, 4, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3382564194475864767052392224290470025067621078416407}, {"parameter": "[6, 4, 3, 5],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381978055108283344676094513658513749500164643574567}, {"parameter": "[6, 4, 3, 5],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3382571521217959534832095945673369478512214283851930}, {"parameter": "[6, 4, 3, 5],[0, 4, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3382564194475864767052392224290470025067621078416407}, {"parameter": "[6, 4, 3, 5],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381978055108283344676094513658513749500164643574567}, {"parameter": "[6, 4, 3, 5],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3382571521217959534832095945673369478512214283851930}, {"parameter": "[6, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3382564283802482803600440044939608770957883740573684}, {"parameter": "[6, 4, 4, 4],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978144434901381224142334307652495390427305731844}, {"parameter": "[6, 4, 4, 4],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382571610544577571380143766322508224402476946009207}, {"parameter": "[6, 4, 4, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381978144434901381224142334307652495390427305731844}, {"parameter": "[6, 4, 4, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381392005067319958847844623675696219822970870890004}, {"parameter": "[6, 4, 4, 4],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381985471176996149003846055690551948835020511167367}, {"parameter": "[6, 4, 4, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3382571610544577571380143766322508224402476946009207}, {"parameter": "[6, 4, 4, 4],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381985471176996149003846055690551948835020511167367}, {"parameter": "[6, 4, 4, 4],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382578937286672339159847487705407677847070151444730}, {"parameter": "[6, 4, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3382564194463744645796011763031120908392028520966894}, {"parameter": "[6, 4, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978055096163223419714052399164632824572086125054}, {"parameter": "[6, 4, 4, 4],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382571521205839413575715484414020361836621726402417}, {"parameter": "[6, 4, 4, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381978055096163223419714052399164632824572086125054}, {"parameter": "[6, 4, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391915728581801043416341767208357257115651283214}, {"parameter": "[6, 4, 4, 4],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381985381838257991199417773782064086269165291560577}, {"parameter": "[6, 4, 4, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3382571521205839413575715484414020361836621726402417}, {"parameter": "[6, 4, 4, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381985381838257991199417773782064086269165291560577}, {"parameter": "[6, 4, 4, 4],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382578847947934181355419205796919815281214931837940}, {"parameter": "[6, 4, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3382564194475864767052392224290470025067621078416407}, {"parameter": "[6, 4, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978055108283344676094513658513749500164643574567}, {"parameter": "[6, 4, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382571521217959534832095945673369478512214283851930}, {"parameter": "[6, 4, 4, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381978055108283344676094513658513749500164643574567}, {"parameter": "[6, 4, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391915740701922299796803026557473932708208732727}, {"parameter": "[6, 4, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381985381850378112455798235041413202944757849010090}, {"parameter": "[6, 4, 4, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3382571521217959534832095945673369478512214283851930}, {"parameter": "[6, 4, 4, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381985381850378112455798235041413202944757849010090}, {"parameter": "[6, 4, 4, 4],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3382578847960054302611799667056268931956807489287453}, {"parameter": "[6, 4, 5, 3],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978154361241717353905593903083188613519483791293}, {"parameter": "[6, 4, 5, 3],[0, 2, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978144434901381224142334307652495390427305731844}, {"parameter": "[6, 4, 5, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381392014993660294977607883271126913046063048949453}, {"parameter": "[6, 4, 5, 3],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381392005067319958847844623675696219822970870890004}, {"parameter": "[6, 4, 5, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381392015007446852835898417316715008242808208982656}, {"parameter": "[6, 4, 5, 3],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381392005081106516706135157721284315019716030923207}, {"parameter": "[6, 4, 5, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978354127141009933828309970430067286877614925165}, {"parameter": "[6, 4, 5, 3],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978344200800673804065050374999374063785436865716}, {"parameter": "[6, 4, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978065022503559549477311994595326047664264184503}, {"parameter": "[6, 4, 5, 3],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978055096163223419714052399164632824572086125054}, {"parameter": "[6, 4, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391925654922137173179601362639050480207829342663}, {"parameter": "[6, 4, 5, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391915728581801043416341767208357257115651283214}, {"parameter": "[6, 4, 5, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391925668708695031470135408227145676952989375866}, {"parameter": "[6, 4, 5, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391915742368358901706875812796452453860811316417}, {"parameter": "[6, 4, 5, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978264788402852129400028061942204721022395318375}, {"parameter": "[6, 4, 5, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978254862062515999636768466511511497930217258926}, {"parameter": "[6, 4, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978065034623680805857773253944442723256821634016}, {"parameter": "[6, 4, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978055108283344676094513658513749500164643574567}, {"parameter": "[6, 4, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391925667042258429560062621988167155800386792176}, {"parameter": "[6, 4, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391915740701922299796803026557473932708208732727}, {"parameter": "[6, 4, 5, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391925680828816287850596667576262352545546825379}, {"parameter": "[6, 4, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391915754488480158087337072145569129453368765930}, {"parameter": "[6, 4, 5, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978264800522973385780489321291321396614952767888}, {"parameter": "[6, 4, 5, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978254874182637256017229725860628173522774708439}, {"parameter": "[6, 4, 6, 2],[0, 2, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978144434901381224142334307652495390427305731844}, {"parameter": "[6, 4, 6, 2],[0, 2, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381392005067319958847844623675696219822970870890004}, {"parameter": "[6, 4, 6, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381392005081106516706135157721284315019716030923207}, {"parameter": "[6, 4, 6, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381392005067695853630694610640789367221983505139396}, {"parameter": "[6, 4, 6, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978236420518227703031761768079431449123125321763}, {"parameter": "[6, 4, 6, 2],[0, 3, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978055096163223419714052399164632824572086125054}, {"parameter": "[6, 4, 6, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391915728581801043416341767208357257115651283214}, {"parameter": "[6, 4, 6, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391915742368358901706875812796452453860811316417}, {"parameter": "[6, 4, 6, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391915728957695826266328732301504656128285532606}, {"parameter": "[6, 4, 6, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978147081780069898603479859591568883267905714973}, {"parameter": "[6, 4, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978055108283344676094513658513749500164643574567}, {"parameter": "[6, 4, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391915740701922299796803026557473932708208732727}, {"parameter": "[6, 4, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391915754488480158087337072145569129453368765930}, {"parameter": "[6, 4, 6, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391915741077817082646789991650621331720842982119}, {"parameter": "[6, 4, 6, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978147093900191154983941118940685558860463164486}, {"parameter": "[6, 5, 2, 5],[0, 1, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381993428434026946573306504194335394787865767918164}, {"parameter": "[6, 5, 2, 5],[0, 1, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381993428434026946573306504194335394787865767918164}, {"parameter": "[6, 5, 2, 5],[0, 2, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381986183392320669271495849759855096796071564682484}, {"parameter": "[6, 5, 2, 5],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381986183392320669271495849759855096796071564682484}, {"parameter": "[6, 5, 2, 5],[0, 3, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381986183392154638380736797422426352522908079294447}, {"parameter": "[6, 5, 2, 5],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381986183392154638380736797422426352522908079294447}, {"parameter": "[6, 5, 2, 5],[0, 4, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381986183404129158274577884906163651902635215052516}, {"parameter": "[6, 5, 2, 5],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381986183404129158274577884906163651902635215052516}, {"parameter": "[6, 5, 3, 4],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381407298992785860326772053157809812443501511135773}, {"parameter": "[6, 5, 3, 4],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381407298992785860326772053157809812443501511135773}, {"parameter": "[6, 5, 3, 4],[0, 1, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381407289066445524197008793562379119220409333076324}, {"parameter": "[6, 5, 3, 4],[0, 1, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381407289066445524197008793562379119220409333076324}, {"parameter": "[6, 5, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381400053951079583024961398723329514451707307900093}, {"parameter": "[6, 5, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381400053951079583024961398723329514451707307900093}, {"parameter": "[6, 5, 3, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381400044024739246895198139127898821228615129840644}, {"parameter": "[6, 5, 3, 4],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381400044024739246895198139127898821228615129840644}, {"parameter": "[6, 5, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381400053950913552134202346385900770178543822512056}, {"parameter": "[6, 5, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381400053950913552134202346385900770178543822512056}, {"parameter": "[6, 5, 3, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381400044024573216004439086790470076955451644452607}, {"parameter": "[6, 5, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381400044024573216004439086790470076955451644452607}, {"parameter": "[6, 5, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381400053962888072028043433869638069558270958270125}, {"parameter": "[6, 5, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381400053962888072028043433869638069558270958270125}, {"parameter": "[6, 5, 3, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381400044036547735898280174274207376335178780210676}, {"parameter": "[6, 5, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381400044036547735898280174274207376335178780210676}, {"parameter": "[6, 5, 4, 3],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381407388329662103888853921796664535785561572137924}, {"parameter": "[6, 5, 4, 3],[0, 1, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381407388329662103888853921796664535785561572137924}, {"parameter": "[6, 5, 4, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381407287963539573694344816687333655047373484573373}, {"parameter": "[6, 5, 4, 3],[0, 1, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381407287963539573694344816687333655047373484573373}, {"parameter": "[6, 5, 4, 3],[0, 1, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381407289080232082055299327607967214417154493109527}, {"parameter": "[6, 5, 4, 3],[0, 1, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381407289080232082055299327607967214417154493109527}, {"parameter": "[6, 5, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381400143287955826587043267362184237793767368902244}, {"parameter": "[6, 5, 4, 3],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381400143287955826587043267362184237793767368902244}, {"parameter": "[6, 5, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381400042921833296392534162252853357055579281337693}, {"parameter": "[6, 5, 4, 3],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381400042921833296392534162252853357055579281337693}, {"parameter": "[6, 5, 4, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381400044038525804753488673173486916425360289873847}, {"parameter": "[6, 5, 4, 3],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381400044038525804753488673173486916425360289873847}, {"parameter": "[6, 5, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381400143287789795696284215024755493520603883514207}, {"parameter": "[6, 5, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381400143287789795696284215024755493520603883514207}, {"parameter": "[6, 5, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381400042921667265501775109915424612782415795949656}, {"parameter": "[6, 5, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381400042921667265501775109915424612782415795949656}, {"parameter": "[6, 5, 4, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381400044038359773862729620836058172152196804485810}, {"parameter": "[6, 5, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381400044038359773862729620836058172152196804485810}, {"parameter": "[6, 5, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381400143299764315590125302508492792900331019272276}, {"parameter": "[6, 5, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381400143299764315590125302508492792900331019272276}, {"parameter": "[6, 5, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381400042933641785395616197399161912162142931707725}, {"parameter": "[6, 5, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381400042933641785395616197399161912162142931707725}, {"parameter": "[6, 5, 4, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381400044050334293756570708319795471531923940243879}, {"parameter": "[6, 5, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381400044050334293756570708319795471531923940243879}, {"parameter": "[6, 5, 5, 2],[0, 1, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381408192224039936829898105416349890028720270893924}, {"parameter": "[6, 5, 5, 2],[0, 1, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381407287963707676788090993745311189439193728137684}, {"parameter": "[6, 5, 5, 2],[0, 1, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381407287963539833112753601303764182388982369570203}, {"parameter": "[6, 5, 5, 2],[0, 1, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381407289066821418979858780527472266619421967325716}, {"parameter": "[6, 5, 5, 2],[0, 2, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381400947182333659528087450981869592036926067658244}, {"parameter": "[6, 5, 5, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381400042922001399486280339310830891447399524902004}, {"parameter": "[6, 5, 5, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381400042921833555810942946869283884397188166334523}, {"parameter": "[6, 5, 5, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381400044025115141678048126092991968627627764090036}, {"parameter": "[6, 5, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381400947182167628637328398644440847763762582270207}, {"parameter": "[6, 5, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381400042921835368595521286973402147174236039513967}, {"parameter": "[6, 5, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381400042921667524920183894531855140124024680946486}, {"parameter": "[6, 5, 5, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381400044024949110787289073755563224354464278701999}, {"parameter": "[6, 5, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381400947194142148531169486128178147143489718028276}, {"parameter": "[6, 5, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381400042933809888489362374457139446553963175272036}, {"parameter": "[6, 5, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381400042933642044814024982015592439503751816704555}, {"parameter": "[6, 5, 5, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381400044036923630681130161239300523734191414460068}, {"parameter": "[6, 6, 2, 4],[0, 0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3435974226106958659083568336002319383795906265980804}, {"parameter": "[6, 6, 2, 4],[0, 1, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3435388085650083357172679790675087575383269246770724}, {"parameter": "[6, 6, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3435388085636620740622536410597336329472742593627847}, {"parameter": "[6, 6, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3435388085636452583475912096436074037047546940190766}, {"parameter": "[6, 6, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3435388085648424926775182878274363081579677076956323}, {"parameter": "[6, 6, 3, 3],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3435974225004220812026113080075293283722063004857454}, {"parameter": "[6, 6, 3, 3],[0, 0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3435974225004034030420325612355271768056293463324564}, {"parameter": "[6, 6, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3435388084547345510115224534748061475309425985647374}, {"parameter": "[6, 6, 3, 3],[0, 1, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3435388084547158728509437067028039959643656444114484}, {"parameter": "[6, 6, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3435388084533882893565081154670310229398899332504497}, {"parameter": "[6, 6, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3435388084533696111959293686950288713733129790971607}, {"parameter": "[6, 6, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3435388084533714736418456840509047936973703679067416}, {"parameter": "[6, 6, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3435388084533527954812669372789026421307934137534526}, {"parameter": "[6, 6, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3435388084545687079717727622347336981505833815832973}, {"parameter": "[6, 6, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3435388084545500298111940154627315465840064274300083}, {"parameter": "[6, 6, 4, 2],[0, 0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3435974225019518196403861797860587734007421154113604}, {"parameter": "[6, 6, 4, 2],[0, 0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3435974225004031955424517879313869379030794727165214}, {"parameter": "[6, 6, 4, 2],[0, 0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3435974225004034056362166490816914820790454351824247}, {"parameter": "[6, 6, 4, 2],[0, 1, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3435388084562642894492973252533355925594784134903524}, {"parameter": "[6, 6, 4, 2],[0, 1, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3435388084547156653513629333986637570618157707955134}, {"parameter": "[6, 6, 4, 2],[0, 1, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3435388084547158754451277945489683012377817332614167}, {"parameter": "[6, 6, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3435388084549180277942829872455604679684257481760647}, {"parameter": "[6, 6, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3435388084533694036963485953908886324707631054812257}, {"parameter": "[6, 6, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3435388084533696137901134565411931766467290679471290}, {"parameter": "[6, 6, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3435388084549012120796205558294342387259061828323566}, {"parameter": "[6, 6, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3435388084533525879816861639747624032282435401375176}, {"parameter": "[6, 6, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3435388084533527980754510251250669474042095026034209}, {"parameter": "[6, 6, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3435388084560984464095476340132631431791191965089123}, {"parameter": "[6, 6, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3435388084545498223116132421585913076814565538140733}, {"parameter": "[6, 6, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3435388084545500324053781033088958518574225162799766}, {"parameter": "[7, 2, 4, 5],[0, 4, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 427883968268715669425432501917717669082062686304644}, {"parameter": "[7, 2, 4, 5],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 427883163144543240261728674537447172404862164998804}, {"parameter": "[7, 2, 4, 5],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 427883163144562177551390865723858913789853553440807}, {"parameter": "[7, 2, 4, 5],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 427883968543115177875381155514151302381686674449716}, {"parameter": "[7, 2, 5, 4],[0, 4, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7167960964537903778418368960516220615650504964}, {"parameter": "[7, 2, 5, 4],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 7167823101094819447921005569896989624957030813}, {"parameter": "[7, 2, 5, 4],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 7167824634989625664067390834285667610256525367}, {"parameter": "[7, 2, 5, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7167960964537903778418368960516220615650504964}, {"parameter": "[7, 2, 5, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 7167823101094819447921005569896989624957030813}, {"parameter": "[7, 2, 5, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7167824634989625664067390834285667610256525367}, {"parameter": "[7, 2, 6, 3],[0, 4, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 7167823101325727239978432349868546479435800014}, {"parameter": "[7, 2, 6, 3],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 7167823101069163026581291483233483307792723124}, {"parameter": "[7, 2, 6, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362698928896563536151052079371869278914494174}, {"parameter": "[7, 2, 6, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362698928639999322753911212736806107271417284}, {"parameter": "[7, 2, 6, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 7177887153481091786276274603249754944442316337}, {"parameter": "[7, 2, 6, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7177887153224527572879133736614691772799239447}, {"parameter": "[7, 2, 7, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 706967894283443837869806888044751931327131060}, {"parameter": "[7, 2, 7, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 706967913220733500060993299786136922715573063}, {"parameter": "[7, 2, 7, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1512366466221057490350783592174728755836581972}, {"parameter": "[7, 3, 3, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 427883968256761627530497332252132637976602952764583}, {"parameter": "[7, 3, 3, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 427883163132589198366793504871862141299402431458743}, {"parameter": "[7, 3, 3, 5],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 427883978320813782895043630094386019185067959280906}, {"parameter": "[7, 3, 3, 5],[0, 4, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 427883968256743176771270027068289340895493513971604}, {"parameter": "[7, 3, 3, 5],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 427883163132570747607566199688018844218292992665764}, {"parameter": "[7, 3, 3, 5],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 427883978320795332135816324910542722103958520487927}, {"parameter": "[7, 3, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7972936834439604770533919108009854359655849143}, {"parameter": "[7, 3, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 7167812662010441066706538837513177159134543303}, {"parameter": "[7, 3, 4, 4],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7983000886594969316831761361391062824662365466}, {"parameter": "[7, 3, 4, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 7972936834439604770533919108009854359655849143}, {"parameter": "[7, 3, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7167812662010441066706538837513177159134543303}, {"parameter": "[7, 3, 4, 4],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7983000886594969316831761361391062824662365466}, {"parameter": "[7, 3, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7972936815988845543228735264712773250217056164}, {"parameter": "[7, 3, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 7167812643559681839401354994216096049695750324}, {"parameter": "[7, 3, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7983000868144210089526577518093981715223572487}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 7972936815988845543228735264712773250217056164}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7167812643559681839401354994216096049695750324}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7983000868144210089526577518093981715223572487}, {"parameter": "[7, 3, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 7167826296884654265700469377973877275977093152}, {"parameter": "[7, 3, 5, 3],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 7167812662010441066706538837513177159134543303}, {"parameter": "[7, 3, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362702124455490561873089107477200075455787312}, {"parameter": "[7, 3, 5, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362688489581277362879158567016499958613237463}, {"parameter": "[7, 3, 5, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7177890349040018811998311631355085740983609475}, {"parameter": "[7, 3, 5, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7177876714165805613004381090894385624141059626}, {"parameter": "[7, 3, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 7167826278433895038395285534676796166538300173}, {"parameter": "[7, 3, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 7167812643559681839401354994216096049695750324}, {"parameter": "[7, 3, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362702106004731334567905264180118966016994333}, {"parameter": "[7, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362688471130518135573974723719418849174444484}, {"parameter": "[7, 3, 5, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7177890330589259584693127788058004631544816496}, {"parameter": "[7, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7177876695715046385699197247597304514702266647}, {"parameter": "[7, 3, 6, 2],[0, 3, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 7167812662010441066706538837513177159134543303}, {"parameter": "[7, 3, 6, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362688489581277362879158567016499958613237463}, {"parameter": "[7, 3, 6, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362688508518567025070344978757884950001679466}, {"parameter": "[7, 3, 6, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7168087061518891015360135271146476783122688375}, {"parameter": "[7, 3, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 7167812643559681839401354994216096049695750324}, {"parameter": "[7, 3, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362688471130518135573974723719418849174444484}, {"parameter": "[7, 3, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362688490067807797765161135460803840562886487}, {"parameter": "[7, 3, 6, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7168087043068131788054951427849395673683895396}, {"parameter": "[7, 4, 2, 5],[0, 2, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 427883968270378262183381532278355652640291736976644}, {"parameter": "[7, 4, 2, 5],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 427883968270378262183381532278355652640291736976644}, {"parameter": "[7, 4, 2, 5],[0, 3, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 427883968256743154277631231914792215937067074423783}, {"parameter": "[7, 4, 2, 5],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 427883968256743154277631231914792215937067074423783}, {"parameter": "[7, 4, 2, 5],[0, 4, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 427883968256743177052874491490550580840951433725847}, {"parameter": "[7, 4, 2, 5],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 427883968256743177052874491490550580840951433725847}, {"parameter": "[7, 4, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 7972950451074257654733945331024518048440061204}, {"parameter": "[7, 4, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7972950451074257654733945331024518048440061204}, {"parameter": "[7, 4, 3, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 7972950451074257654733945331024518048440061204}, {"parameter": "[7, 4, 3, 4],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 7972950451074257654733945331024518048440061204}, {"parameter": "[7, 4, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 7972936815966351904433581767587814823777508343}, {"parameter": "[7, 4, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7972936815966351904433581767587814823777508343}, {"parameter": "[7, 4, 3, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 7972936815966351904433581767587814823777508343}, {"parameter": "[7, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 7972936815966351904433581767587814823777508343}, {"parameter": "[7, 4, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 7972936815989127147693157525952718708136810407}, {"parameter": "[7, 4, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7972936815989127147693157525952718708136810407}, {"parameter": "[7, 4, 3, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 7972936815989127147693157525952718708136810407}, {"parameter": "[7, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 7972936815989127147693157525952718708136810407}, {"parameter": "[7, 4, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 7972950451074257654733945331024518048440061204}, {"parameter": "[7, 4, 4, 3],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7972950451074257654733945331024518048440061204}, {"parameter": "[7, 4, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7167826278645093950906565060527840847918755364}, {"parameter": "[7, 4, 4, 3],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7167826278645093950906565060527840847918755364}, {"parameter": "[7, 4, 4, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 7983014503229622201031787584405726513446577527}, {"parameter": "[7, 4, 4, 3],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7983014503229622201031787584405726513446577527}, {"parameter": "[7, 4, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 7972936815966351904433581767587814823777508343}, {"parameter": "[7, 4, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7972936815966351904433581767587814823777508343}, {"parameter": "[7, 4, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7167812643537188200606201497091137623256202503}, {"parameter": "[7, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7167812643537188200606201497091137623256202503}, {"parameter": "[7, 4, 4, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 7983000868121716450731424020969023288784024666}, {"parameter": "[7, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7983000868121716450731424020969023288784024666}, {"parameter": "[7, 4, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 7972936815989127147693157525952718708136810407}, {"parameter": "[7, 4, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7972936815989127147693157525952718708136810407}, {"parameter": "[7, 4, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7167812643559963443865777255456041507615504567}, {"parameter": "[7, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7167812643559963443865777255456041507615504567}, {"parameter": "[7, 4, 4, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 7983000868144491693990999779333927173143326730}, {"parameter": "[7, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7983000868144491693990999779333927173143326730}, {"parameter": "[7, 4, 5, 2],[0, 2, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 7972950451074257654733945331024518048440061204}, {"parameter": "[7, 4, 5, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7167826278645093950906565060527840847918755364}, {"parameter": "[7, 4, 5, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7167826297582383613097751472269225839307197367}, {"parameter": "[7, 4, 5, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7973224850582707603387541764657817672428206276}, {"parameter": "[7, 4, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 7972936815966351904433581767587814823777508343}, {"parameter": "[7, 4, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7167812643537188200606201497091137623256202503}, {"parameter": "[7, 4, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7167812662474477862797387908832522614644644506}, {"parameter": "[7, 4, 5, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7973211215474801853087178201221114447765653415}, {"parameter": "[7, 4, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 7972936815989127147693157525952718708136810407}, {"parameter": "[7, 4, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7167812643559963443865777255456041507615504567}, {"parameter": "[7, 4, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7167812662497253106056963667197426499003946570}, {"parameter": "[7, 4, 5, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7973211215497577096346753959586018332124955479}, {"parameter": "[7, 5, 2, 4],[0, 1, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5941559321140230911757007667695649305240946378484}, {"parameter": "[7, 5, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5941549369195037284675900252214321322758020912644}, {"parameter": "[7, 5, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5941549369195011663010019705975374748708619013683}, {"parameter": "[7, 5, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5941549369195034163892339508668424677388704108596}, {"parameter": "[7, 5, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5940754210602675961252174217965613328157267622493}, {"parameter": "[7, 5, 3, 3],[0, 1, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5940754196967801748053180287425152628040425072644}, {"parameter": "[7, 5, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5940744258657482334171066802484285345674342156653}, {"parameter": "[7, 5, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5940744245022608120972072871943824645557499606804}, {"parameter": "[7, 5, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5940744258657456712505186256245338771624940257692}, {"parameter": "[7, 5, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5940744245022582499306192325704878071508097707843}, {"parameter": "[7, 5, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5940744258657479213387506058938388700305025352605}, {"parameter": "[7, 5, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5940744245022605000188512128397928000188182802756}, {"parameter": "[7, 5, 4, 2],[0, 1, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5940754333316287315829722451963124566037207494244}, {"parameter": "[7, 5, 4, 2],[0, 1, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5940754195452844231499225088572505335046514020093}, {"parameter": "[7, 5, 4, 2],[0, 1, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5940754196986739037715371473836894013031813514647}, {"parameter": "[7, 5, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5940744381371093688748615036481796583554282028404}, {"parameter": "[7, 5, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5940744243507650604418117673091177352563588554253}, {"parameter": "[7, 5, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5940744245041545410634264058355566030548888048807}, {"parameter": "[7, 5, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5940744381371068067082734490242850009504880129443}, {"parameter": "[7, 5, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5940744243507624982752237126852230778514186655292}, {"parameter": "[7, 5, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5940744245041519788968383512116619456499486149846}, {"parameter": "[7, 5, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5940744381371090567965054292935899938184965224356}, {"parameter": "[7, 5, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5940744243507647483634556929545280707194271750205}, {"parameter": "[7, 5, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5940744245041542289850703314809669385179571244759}, {"parameter": "[8, 2, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 593468424762085875096503932714458627353220314487}, {"parameter": "[8, 2, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 593467320172871418583429050318461263487796928647}, {"parameter": "[8, 2, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 593468438569451055802917368744408594401538106810}, {"parameter": "[8, 2, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6443323471594004093218492451508436453613671056}, {"parameter": "[8, 2, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6443323452887653554853639083411259018202733207}, {"parameter": "[8, 2, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6443323471594004093218492451508436453613671056}, {"parameter": "[8, 2, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6443323452887653554853639083411259018202733207}, {"parameter": "[8, 2, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6443323452887653554853639083411259018202733207}, {"parameter": "[8, 2, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6442218863673197041778756687413895152779347367}, {"parameter": "[8, 2, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6443337260252834261267075113361226066520525530}, {"parameter": "[8, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 593468424762063659586098222910844926212556998427}, {"parameter": "[8, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 593468424762063659586098222910844926212556998427}, {"parameter": "[8, 3, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 593468424762063346739350151815262990719639975047}, {"parameter": "[8, 3, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 593468424762063346739350151815262990719639975047}, {"parameter": "[8, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6444428042079894557522811675794921742962802987}, {"parameter": "[8, 3, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6444428042079894557522811675794921742962802987}, {"parameter": "[8, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6444428042079894557522811675794921742962802987}, {"parameter": "[8, 3, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6444428042079894557522811675794921742962802987}, {"parameter": "[8, 3, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6444428042079581710774740580212986250045779607}, {"parameter": "[8, 3, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6444428042079581710774740580212986250045779607}, {"parameter": "[8, 3, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6444428042079581710774740580212986250045779607}, {"parameter": "[8, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6444428042079581710774740580212986250045779607}, {"parameter": "[8, 3, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6444428042079894557522811675794921742962802987}, {"parameter": "[8, 3, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6443323452865438044447929279797557877539417147}, {"parameter": "[8, 3, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6444441849445075263936247705744888791280595310}, {"parameter": "[8, 3, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6444428042079581710774740580212986250045779607}, {"parameter": "[8, 3, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6443323452865125197699858184215622384622393767}, {"parameter": "[8, 3, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6444441849444762417188176610162953298363571930}, {"parameter": "[8, 4, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180492421484125630366328313837896696665506793367}, {"parameter": "[8, 4, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180492421482047111726123160891447187670241204827}, {"parameter": "[8, 4, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180492421482047111768455451531672659272256477610}, {"parameter": "[8, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 593468424764141865337752902602846692195912597927}, {"parameter": "[8, 4, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 593468424764141865337752902602846692195912597927}, {"parameter": "[8, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 593468424762063346697547749656397183200647009387}, {"parameter": "[8, 4, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 593468424762063346697547749656397183200647009387}, {"parameter": "[8, 4, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 593468424762063346739880040296622654802662282170}, {"parameter": "[8, 4, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 593468424762063346739880040296622654802662282170}, {"parameter": "[8, 4, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 593468424764141865337752902602846692195912597927}, {"parameter": "[8, 4, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 593467320174927408824678020206849328330489212087}, {"parameter": "[8, 4, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 593468438571507046044166338632796659244230390250}, {"parameter": "[8, 4, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 593468424762063346697547749656397183200647009387}, {"parameter": "[8, 4, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 593467320172848890184472867260399819335223623547}, {"parameter": "[8, 4, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 593468438569428527403961185686347150248964801710}, {"parameter": "[8, 4, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 593468424762063346739880040296622654802662282170}, {"parameter": "[8, 4, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 593467320172848890226805157900625290937238896330}, {"parameter": "[8, 4, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 593468438569428527446293476326572621850980074493}, {"parameter": "[9, 2, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 7170115997530885397245974566419177046760991956}, {"parameter": "[9, 2, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7170115997530885397245974566419177046760991956}, {"parameter": "[9, 2, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364856974974345612624351013665601974448754916}, {"parameter": "[9, 2, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364856974974345612624351013665601974448754916}, {"parameter": "[9, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7975375020087425144775324657553189435001867025}, {"parameter": "[9, 3, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7975375020087425139476519610399625477288659156}, {"parameter": "[9, 3, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7170115997530885360153701104799614362689629985}, {"parameter": "[9, 3, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7170115997530885360153701104799614362689629985}, {"parameter": "[9, 3, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7170115997530885354854896057646050404976422116}, {"parameter": "[9, 3, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7170115997530885354854896057646050404976422116}, {"parameter": "[10, 2, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6365893189200913572533034177858716031759843363}, {"parameter": "[6, 2, 4, 2, 4],[0, 4, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1764784108938030297068046378377669671014634534005}, {"parameter": "[6, 2, 4, 3, 3],[0, 4, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1178644741356607920770335746421394103558199692165}, {"parameter": "[6, 2, 4, 3, 3],[0, 4, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1178644741356607920770335746421394103558199692165}, {"parameter": "[6, 2, 4, 4, 2],[0, 4, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1178644741356607920770335746421394103558199692165}, {"parameter": "[6, 2, 4, 4, 2],[0, 4, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1178643638431979257527612099373778363945397035925}, {"parameter": "[6, 2, 4, 4, 2],[0, 4, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1178644755143165779060869792009489300303359725368}, {"parameter": "[6, 3, 3, 3, 3],[0, 3, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1764784096967565198864616054646407097754191738655}, {"parameter": "[6, 3, 3, 3, 3],[0, 4, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1764784096965537642905571528949341484445462200965}, {"parameter": "[6, 3, 3, 4, 2],[0, 3, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1178644729386142822566905422690131530297756896815}, {"parameter": "[6, 3, 3, 4, 2],[0, 3, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1178644729386142822566905422690131530297756896815}, {"parameter": "[6, 3, 3, 4, 2],[0, 4, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1178644729384115266607860896993065916989027359125}, {"parameter": "[6, 3, 3, 4, 2],[0, 4, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1178644729384115266607860896993065916989027359125}, {"parameter": "[6, 4, 2, 4, 2],[0, 2, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1764784097133621715629930817847986407588374762805}, {"parameter": "[6, 4, 2, 4, 2],[0, 3, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1764784096965515118363621992819604164098380849615}, {"parameter": "[6, 4, 2, 4, 2],[0, 4, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1764784096965537924510035951210581429903381955208}, {"parameter": "", "name": "JohnsonLB", "value": 1797287533339500451982978935669045430177497821611508527162}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 375775339696204628932013991687821312197353149381004}], "request": [9, 18, 4, 6], "liftedmrdsizebound": 1797326608581278929739608488085824000196634848308240436444, "comments": "", "equal_bound_constraints": []}