{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 163526807242071685115835813551024717375245692141260970752894675669210919312157204}, {"parameter": "", "name": "singleton", "value": 579000252913277034724666671128579290474420179812795955722564434314244}, {"parameter": "6", "name": "ilp_2", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "8", "name": "ilp_3", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "", "name": "anticode", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "", "name": "linear_programming_bound", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "", "name": "sphere_packing", "value": 163526807242071685115835813551024717375245692141260970752894675669210919312157204}, {"parameter": "1", "name": "ilp_1", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "2", "name": "ilp_1", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "3", "name": "ilp_1", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "4", "name": "ilp_1", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "5", "name": "ilp_1", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "9", "name": "ilp_4", "value": 30390521503506203435625734224352051465222724329455500576074528106281656340}, {"parameter": "10", "name": "ilp_4", "value": 30390521503495707075970788569774730695503515320254183665105328289445455232}, {"parameter": "11", "name": "ilp_4", "value": 30390521503495707071584746916307843390328797755612546889788470888631086513}, {"parameter": "12", "name": "ilp_4", "value": 30390521503495707071584746509088216835120445401285948873372813204802018639}, {"parameter": "13", "name": "ilp_4", "value": 30390521503495707071584746509088215504680465486873062255013541464919396423}, {"parameter": "14", "name": "ilp_4", "value": 30390521503495707071584746909938246848258644219848648780737277642218039719}, {"parameter": "15", "name": "ilp_4", "value": 3376730189696544656489511545036838705049489038842004351763043853997343560}, {"parameter": "16", "name": "ilp_4", "value": 375192234691290930469009827174146265115307837916005807730970104781141178}, {"parameter": "17", "name": "ilp_4", "value": 41688026927015213517856000001521610155885005740309919939754935675774564}, {"parameter": "18", "name": "ilp_4", "value": 4632002990578534357093709104892811551942760641367084256290707089380494}, {"parameter": "", "name": "johnson_1", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "", "name": "johnson_2", "value": 4632002990578534357093709104892811551942760641367084256290707089380494}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 163526807242071685115835813551024717375245692141260970752894675669210919312157204}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 30390521503506203435625734224352051465222724329455500576074528106281656340}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 30390521503495707075970788569774730695503515320254183665105328289445455232}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 30390521503495707071584746916307843390328797755612546889788470888631086513}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 30390521503495707071584746509088216835120445401285948873372813204802018639}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 30390521503495707071584746509088215504680465486873062255013541464919396423}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 30390521503495707071584746909938246848258644219848648780737277642218039719}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 3376730189696544656489511545036838705049489038842004351763043853997343560}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 375192234691290930469009827174146265115307837916005807730970104781141178}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 41688026927015213517856000001521610155885005740309919939754935675774564}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 4632002990578534357093709104892811551942760641367084256290707089380494}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 514666999084374973678989828686748654879207740804177673349766042790085}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 514666999098953226213920292346544773060049215302294126744931197611457}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 514666999230157499065458865307255224073301672362217254695364162666894}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 514667000410995957739622431539306868561236145408059124890256437709227}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 514667011038542329642729360727967467849176031440065821318898659948107}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 514667106686479427461236911951783462973719428919213455714047903237781}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 514667967519513116768153501261717180349507899540381389727894057219725}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 514675715146403036247062806552254593487366944377174714465667521005519}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 514745454286534166910668317511653078594544098697366273521019906636917}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 515373958062040656738963926873571863261109651582102612214129275419451}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 521100325676169023741868116327511164603793347662782008737151265428799}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 579000252913277034724666671128579290474420179812795955722564434314244}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 163526807242071685115835813551024717375245692141260970752894675669210919312157204}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 30390577982740551102718917966968005998743485765522972918016443426267484254}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 30390628814155376867043351686841153224168006839917508579046897929054579120}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 30391086304540800319571839858182535069725917835925761244445469896593325122}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 30395204337915282680257557470577577181810056332452011854868730728291308344}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 30432316919523406167631596124657399128500203314865717411556840482275533966}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 30770453774175079677214964057486306610993399602516779873883832987907043692}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "", "name": "improved_johnson", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 3376730258563174733332969548793167740381673502218811767600127714944711062}], "known_codes": [], "upper_bound": 514666999082755167841826312697130569567303971133134122093988594785444, "classified": false, "lower_bound": 507607191092208691189655287695910007652613420811027477177039803795175, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 507528786056415600719754159741696356908742250191663887263627442114881}, {"parameter": "", "name": "sphere_covering", "value": 860832853716562558944972792938190102679687994239857215602974627}, {"parameter": "", "name": "graham_sloane", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "", "name": "multicomponent", "value": 507528786058212611019674953637550675183765835053508921730099686665631}, {"parameter": "", "name": "construction_ST_B", "value": 507606165043169233643923229966201383821277820099682692481088548833149}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 507528786056440871123609309495925025293995253765902784609780113604162}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 507606153249437002006295260674054794070989039230102774306675858968645}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 507606165043169233643923229079069016310413510041548848286254630981218}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 507607191092208691189655287695910007652613420811027477177039803795175}, {"parameter": "", "name": "two_pivot_block_construction", "value": 507606153249411998827333471551985839485984821085815692321278316773376}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 6266873816253636017204399451347154423719833987937191879748966370801}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 507606165043191151744342958417924108474489256861695103851682833640579}, {"parameter": "(12,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 507529872390491266357702334998703405800619053243176545630893889756802}, {"parameter": "(12,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 507529872390491266357702334998701603528655458109223598419063907945522}, {"parameter": "(12,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 507529872390491266357702334998701581000298304328324402782430327606082}, {"parameter": "(12,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 507529872390491266357702334998701581000255913170061344244375090101682}, {"parameter": "(11,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 956497123958556212241633803306301797871849841664160219832951596}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 956497123958556212241633803306301797871849841664160219832951596}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 956497123958556212241633803283776832010730959764804729807268236}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 956497123958556212241633803283773398326990433695396944468042316}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 8702470085877376658786923715346159040687895688338664865526457723}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 8702470085877376658786923715368684006549014570238020355552141083}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 8702470085877376658786923715346433735393519089337437493453600203}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 8702470085877376658786923715346155607527423028853540744890879963}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 77473432248212440316122374395396452341129282688134318206196288123}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 77473432248212440316122374395396730468995378748618214954759008363}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 77473432248212440316122374395418980740150874229518797816857549243}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 77473432248212440316122374395396455774289755347619442326831865883}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 696307844198465136953186521981178737604733146125562770016383454076}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 696307844198465136953186521981178741038416886651632177801722679996}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 696307844198465136953186521981201266004278005533531533291748363356}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 696307844198465136953186521981201266004278005533531533291748363356}, {"parameter": "(7,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 6266860527800190443360897884930904326319099674152517326555902996082}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 6266860527800190443360897884930904326361490832415575864611140500482}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 6266860527800190443360897884930926854718644613314771501244720839922}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 6266860527800190443360897884932729126682239747267718713074702651202}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 507529872390491266357702334998701581000255913170049186578916033172881}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 956497123958556212241633803283773398326910667252320071958178955}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 8702470085877376658786923715346155607004075395826180207677368442}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 77473432248212440316122374395396452340605935055106957668982776602}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 696307844198465136953186521981178737604733066359119693143873590715}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 6266860527800190443360897884930904326319099674140359661096846067281}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 507529872390491266357702334998701581000255913170049186578916033172881}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 956497123958556212241633803283773398326910667252320071958178955}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 8702470085877376658786923715346155607004075395826180207677368442}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 77473432248212440316122374395396452340605935055106957668982776602}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 696307844198465136953186521981178737604733066359119693143873590715}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 6266860527800190443360897884930904326319099674140359661096846067281}, {"parameter": "7", "name": "linkage_GLT", "value": 507528786056415600719754159741696356908742773628922659974026664852881}, {"parameter": "8", "name": "linkage_GLT", "value": 955004950796825236893190701774414011919935248410500337405505675}, {"parameter": "9", "name": "linkage_GLT", "value": 8702468035890011915366005792997980786949524132307696281519792762}, {"parameter": "10", "name": "linkage_GLT", "value": 77473432245369530523241373418496034997722082985577800651278853402}, {"parameter": "11", "name": "linkage_GLT", "value": 696307844198461285345408761875037301305706036849260676410593382715}, {"parameter": "12", "name": "linkage_GLT", "value": 6266860527774920039505748130702235941066096099901462314944174578001}, {"parameter": "7", "name": "improved_linkage", "value": 507528786058212888628861913991976199268535618145014102203870595496784}, {"parameter": "8", "name": "improved_linkage", "value": 955004950800207214870767331362016734101078998805683608667284835}, {"parameter": "9", "name": "improved_linkage", "value": 8702468035890011921729794033247730237376928178210734509256079403}, {"parameter": "10", "name": "improved_linkage", "value": 77473432245369530523241385393086603018951896006968951905656477777}, {"parameter": "11", "name": "improved_linkage", "value": 696307844198461285345408761875039804894599134909631747396016927998}, {"parameter": "12", "name": "improved_linkage", "value": 6266860527774920039505748130702235941066619537160235025343397316000}, {"parameter": "13", "name": "improved_linkage", "value": 6266872319998346070787217389945775691503260178150429617647531737950}, {"parameter": "14", "name": "improved_linkage", "value": 6266873630245667347246686557991267637099633328003134406433862786897}, {"parameter": "15", "name": "improved_linkage", "value": 696319276295133497350807210194081641344332560095345751778802723843}, {"parameter": "16", "name": "improved_linkage", "value": 77368808280269301792874227777136489694122828110668709262963461235}, {"parameter": "17", "name": "improved_linkage", "value": 8596372353337206238706727331778525326467524202519855087887210008}, {"parameter": "7,0", "name": "generalized_linkage", "value": 507529872390491266357702334998701581000255913170049186578916033172881}, {"parameter": "7,1", "name": "generalized_linkage", "value": 507528799485967726763691589258750804784410068976662820101481807142085}, {"parameter": "7,2", "name": "generalized_linkage", "value": 507528786222212609442916889617864043932514165220397375173466977987444}, {"parameter": "7,3", "name": "generalized_linkage", "value": 507528786056642727549870253154339277956577128394543279001402428131616}, {"parameter": "7,4", "name": "generalized_linkage", "value": 507528786056415908479750119214988828756460734282908539247201011335335}, {"parameter": "7,5", "name": "generalized_linkage", "value": 507528786058212888628861913991976199268535618145014102203870595496784}, {"parameter": "8,0", "name": "generalized_linkage", "value": 956497123958556212241633803283773398326910667252320071958178955}, {"parameter": "8,1", "name": "generalized_linkage", "value": 955023397914341331000144041522446707731157049386788658705719841}, {"parameter": "8,2", "name": "generalized_linkage", "value": 955004976101561388479686951597845899752629176524866807903749301}, {"parameter": "8,3", "name": "generalized_linkage", "value": 955004950831489917738877819764814999156787995196331055170418452}, {"parameter": "8,4", "name": "generalized_linkage", "value": 955004950796830455199547706568963362391252779484477466413406941}, {"parameter": "8,5", "name": "generalized_linkage", "value": 955004950800207214870767331362016734101078998805683608667284835}, {"parameter": "9,0", "name": "generalized_linkage", "value": 8702470085877376658786923715346155607004075395826180207677368442}, {"parameter": "9,1", "name": "generalized_linkage", "value": 8702468038702031571007621622611330454522284227290689180646043702}, {"parameter": "9,2", "name": "generalized_linkage", "value": 8702468035893869336512923686300973991434173987713256930225247948}, {"parameter": "9,3", "name": "generalized_linkage", "value": 8702468035890012502503681444321677461173757104836116035287269728}, {"parameter": "9,4", "name": "generalized_linkage", "value": 8702468035890011915454390245980545484199435020395081966811064811}, {"parameter": "9,5", "name": "generalized_linkage", "value": 8702468035890011921729794033247730237376928178210734509256079403}, {"parameter": "10,0", "name": "generalized_linkage", "value": 77473432248212440316122374395396452340605935055106957668982776602}, {"parameter": "10,1", "name": "generalized_linkage", "value": 77473432245369959713323302081949305997062009174390037400085544012}, {"parameter": "10,2", "name": "generalized_linkage", "value": 77473432245369530588567306460530816507617973973705484953893646168}, {"parameter": "10,3", "name": "generalized_linkage", "value": 77473432245369530523251316794191956271866956340865246927283100654}, {"parameter": "10,4", "name": "generalized_linkage", "value": 77473432245369530523241373584809445166226233435823362337387226774}, {"parameter": "10,5", "name": "generalized_linkage", "value": 77473432245369530523241385393086603018951896006968951905656477777}, {"parameter": "11,0", "name": "generalized_linkage", "value": 696307844198465136953186521981178737604733066359119693143873590715}, {"parameter": "11,1", "name": "generalized_linkage", "value": 696307844198461285411540906272017153302455557140106111686927382262}, {"parameter": "11,2", "name": "generalized_linkage", "value": 696307844198461285345409869691739357243337798906169449933664033688}, {"parameter": "11,3", "name": "generalized_linkage", "value": 696307844198461285345408761893747251903268757670018660535556671988}, {"parameter": "11,4", "name": "generalized_linkage", "value": 696307844198461285345408761875037614253663376548399770108184180714}, {"parameter": "11,5", "name": "generalized_linkage", "value": 696307844198461285345408761875039804894599134909631747396016927998}, {"parameter": "12,0", "name": "generalized_linkage", "value": 6266860527800190443360897884930904326319099674140359661096846067281}, {"parameter": "12,1", "name": "generalized_linkage", "value": 6266860527774920039505758085864745152133058713571177423247409000137}, {"parameter": "12,2", "name": "generalized_linkage", "value": 6266860527774920039505748130721202458808309264523248768717912767948}, {"parameter": "12,3", "name": "generalized_linkage", "value": 6266860527774920039505748130702235976320356776270639127514300826110}, {"parameter": "12,4", "name": "generalized_linkage", "value": 6266860527774920039505748130702235941066161528606208161221615223414}, {"parameter": "12,5", "name": "generalized_linkage", "value": 6266860527774920039505748130702235941066619537160235025343397316000}, {"parameter": "13,1", "name": "generalized_linkage", "value": 6266872319998346070794474703583350850334849658111908610661677749637}, {"parameter": "13,2", "name": "generalized_linkage", "value": 6266872319998346070787217389945776008738014650983219843957255337237}, {"parameter": "13,3", "name": "generalized_linkage", "value": 6266872319998346070787217389945775691503327241925530460550681482464}, {"parameter": "13,4", "name": "generalized_linkage", "value": 6266872319998346070787217389945775691503260178054691700571411255110}, {"parameter": "13,5", "name": "generalized_linkage", "value": 6266872319998346070787217389945775691503260178150429617647531737950}, {"parameter": "14,2", "name": "generalized_linkage", "value": 6266873630245667347246686557991293333114811862274371427721722950164}, {"parameter": "14,3", "name": "generalized_linkage", "value": 6266873630245667347246686557991267637099633328127769190244890839308}, {"parameter": "14,4", "name": "generalized_linkage", "value": 6266873630245667347246686557991267637099633328003134386417502813591}, {"parameter": "14,5", "name": "generalized_linkage", "value": 6266873630245667347246686557991267637099633328003134406433862786897}, {"parameter": "15,3", "name": "generalized_linkage", "value": 696319276295133497350807210194081641344332561217059012315110674536}, {"parameter": "15,4", "name": "generalized_linkage", "value": 696319276295133497350807210194081641344332560095345751778798478966}, {"parameter": "15,5", "name": "generalized_linkage", "value": 696319276295133497350807210194081641344332560095345751778802723843}, {"parameter": "16,4", "name": "generalized_linkage", "value": 77368808280269301792874227777136489694122828110668709262964059105}, {"parameter": "16,5", "name": "generalized_linkage", "value": 77368808280269301792874227777136489694122828110668709262963461235}, {"parameter": "17,5", "name": "generalized_linkage", "value": 8596372353337206238706727331778525326467524202519855087887210008}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 507529872390491266357702334998701581000255913170049186578916033172881}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 507528799485967726763691589258750804784410068976662820101481807142085}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 507528786222212609442916889617864043932514165220397375173466977987444}, {"parameter": "[7, 12],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 507528786056642727549870253154339277956577128394543279001402428131616}, {"parameter": "[7, 12],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 507528786056415908479750119214988828756460734282908539247201011335335}, {"parameter": "[7, 12],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 507528786058212888628861913991976199268535618145014102203870595496784}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 956497123958556212241633803283773398326910667252320071958178955}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 955023397914341331000144041522446707731157049386788658705719841}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 955004976101561388479686951597845899752629176524866807903749301}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 955004950831489917738877819764814999156787995196331055170418452}, {"parameter": "[8, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 955004950796830455199547706568963362391252779484477466413406941}, {"parameter": "[8, 11],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 955004950800207214870767331362016734101078998805683608667284835}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 8702470085877376658786923715346155607004075395826180207677368442}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 8702468038702031571007621622611330454522284227290689180646043702}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 8702468035893869336512923686300973991434173987713256930225247948}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 8702468035890012502503681444321677461173757104836116035287269728}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 8702468035890011915454390245980545484199435020395081966811064811}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 8702468035890011921729794033247730237376928178210734509256079403}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 77473432248212440316122374395396452340605935055106957668982776602}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 77473432245369959713323302081949305997062009174390037400085544012}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 77473432245369530588567306460530816507617973973705484953893646168}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 77473432245369530523251316794191956271866956340865246927283100654}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 77473432245369530523241373584809445166226233435823362337387226774}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 77473432245369530523241385393086603018951896006968951905656477777}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 696307844198465136953186521981178737604733066359119693143873590715}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 696307844198461285411540906272017153302455557140106111686927382262}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 696307844198461285345409869691739357243337798906169449933664033688}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 696307844198461285345408761893747251903268757670018660535556671988}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 696307844198461285345408761875037614253663376548399770108184180714}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 696307844198461285345408761875039804894599134909631747396016927998}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6266860527800190443360897884930904326319099674140359661096846067281}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6266860527774920039505758085864745152133058713571177423247409000137}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6266860527774920039505748130721202458808309264523248768717912767948}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6266860527774920039505748130702235976320356776270639127514300826110}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6266860527774920039505748130702235941066161528606208161221615223414}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 6266860527774920039505748130702235941066619537160235025343397316000}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6266872319998346070794474703583350850334849658111908610661677749637}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6266872319998346070787217389945776008738014650983219843957255337237}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6266872319998346070787217389945775691503327241925530460550681482464}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6266872319998346070787217389945775691503260178054691700571411255110}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 6266872319998346070787217389945775691503260178150429617647531737950}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6266873630245667347246686557991293333114811862274371427721722950164}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6266873630245667347246686557991267637099633328127769190244890839308}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6266873630245667347246686557991267637099633328003134386417502813591}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 6266873630245667347246686557991267637099633328003134406433862786897}, {"parameter": "[15, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 696319276295133497350807210194081641344332561217059012315110674536}, {"parameter": "[15, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 696319276295133497350807210194081641344332560095345751778798478966}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 696319276295133497350807210194081641344332560095345751778802723843}, {"parameter": "[16, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 77368808280269301792874227777136489694122828110668709262964059105}, {"parameter": "[16, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 77368808280269301792874227777136489694122828110668709262963461235}, {"parameter": "[17, 2],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 8596372353337206238706727331778525326467524202519855087887210008}, {"parameter": "[7, 2, 10],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 8595046581614801681673916164015512119362285205080808875499067976}, {"parameter": "[7, 2, 10],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 8595046581303936426880215456111327494521596414147889677332904564}, {"parameter": "[7, 2, 10],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 9681380429847364994645183734373647130547434367544030994973848970}, {"parameter": "[7, 3, 9],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 77355401244775326928449381011631279603742678406663968034609158920}, {"parameter": "[7, 3, 9],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 77355401242283625487683004375800141621980269426245952684019657178}, {"parameter": "[7, 3, 9],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 77355401241972760232889303667895956997139580635313033485853493766}, {"parameter": "[7, 3, 9],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 78441735090516188800654271946158276633165418588709174803494438172}, {"parameter": "[7, 3, 9],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 77355401244471001656232335640767559671227376701346100563942788430}, {"parameter": "[7, 3, 9],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 77355401241979300215465959004936421689464967720928085213353286688}, {"parameter": "[7, 3, 9],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 77355401241668434960672258297032237064624278929995166015187123276}, {"parameter": "[7, 3, 9],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 78441735090211863528437226575294556700650116883391307332828067682}, {"parameter": "[7, 4, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 696198609585059647356499648249393166330376234014800183391110679715}, {"parameter": "[7, 4, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 696198609587897844427469567087486786236093689723739060110113917494}, {"parameter": "[7, 4, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 696198609585406142986703190451655648254331280743321044759524415752}, {"parameter": "[7, 4, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 696198609585095277731909489743751463629490591952388125561358252340}, {"parameter": "[7, 4, 8],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 697284943433638706299674458022013783265516429905784266878999196746}, {"parameter": "[7, 4, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 696198609357972177279140843969522043889364916197617988462778676269}, {"parameter": "[7, 4, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 696198609360810374350110762807615663795082371906556865181781914048}, {"parameter": "[7, 4, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 696198609358318672909344386171784525813319962926138849831192412306}, {"parameter": "[7, 4, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 696198609358007807654550685463880341188479274135205930633026248894}, {"parameter": "[7, 4, 8],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 697284943206551236222315653742142660824505112088602071950667193300}, {"parameter": "[7, 4, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 696198609358002989582331159028735908528195624768180948585077081166}, {"parameter": "[7, 4, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 696198609360841186653301077866829528433913080477119825304080318945}, {"parameter": "[7, 4, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 696198609358349485212534701230998390452150671496701809953490817203}, {"parameter": "[7, 4, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 696198609358038619957741000523094205827309982705768890755324653791}, {"parameter": "[7, 4, 8],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 697284943206582048525505968801356525463335820659165032072965598197}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 6266873796013940833141289905609130611415294965890352332515834721123}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6265787648173330444162190674633532723459353695954736989884861305131}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6265787648176168641233160593471626343365071151663675866603864542910}, {"parameter": "[7, 5, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6265787648173676939792394216835795205383308742683257851253275041168}, {"parameter": "[7, 5, 7],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6265787648173366074537600516127891020758468053892324932055108877756}, {"parameter": "[7, 5, 7],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 6266873982021909503105365484406153340394493891845721073372749822162}, {"parameter": "[7, 5, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 6266873630245667774545463401421971509964065768760138391527966207539}, {"parameter": "[7, 5, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6265787482405057385566364170446373622008124498824523048896992791547}, {"parameter": "[7, 5, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6265787482407895582637334089284467241913841954533461925615996029326}, {"parameter": "[7, 5, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6265787482405403881196567712648636103932079545553043910265406527584}, {"parameter": "[7, 5, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6265787482405093015941774011940731919307238856762110991067240364172}, {"parameter": "[7, 5, 7],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 6266873816253636444509538980218994238943264694715507132384881308578}, {"parameter": "[7, 5, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 6266873630245667352516492402484420609597845626600853155053037084070}, {"parameter": "[7, 5, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 6265787482405056963537393171508822721641904356665237812422063668078}, {"parameter": "[7, 5, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6265787482407895160608363090346916341547621812374176689141066905857}, {"parameter": "[7, 5, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6265787482405403459167596713711085203565859403393758673790477404115}, {"parameter": "[7, 5, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6265787482405092593912803013003181018941018714602825754592311240703}, {"parameter": "[7, 5, 7],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 6266873816253636022480567981281443338577044552556221895909952185109}, {"parameter": "[7, 5, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 6266873630245941657899225447573756645167925814680729714597348754096}, {"parameter": "[7, 5, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 6265787482405331268920126216598158757211984544745114371966375338104}, {"parameter": "[7, 5, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 6265787482408169465991096135436252377117702000454053248685378575883}, {"parameter": "[7, 5, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 6265787482405677764550329758800421239135939591473635233334789074141}, {"parameter": "[7, 5, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 6265787482405366899295536058092517054511098902682702314136622910729}, {"parameter": "[7, 5, 7],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 6266873816253910327863301026370779374147124740636098455454263855135}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6265802585272772485195452027742981622364837554501526963191450627283}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6265800909405389402712382890106275057948768706050231414572249406507}, {"parameter": "[7, 6, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6265800909405354845796803915110933122205976734631309264584400470422}, {"parameter": "[7, 6, 6],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6265800909405350946791907558692776197571802386607103064916252553510}, {"parameter": "[7, 6, 6],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 6265800909632472680666257416745841829068942596204143577565138549364}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6265789158045427051193820891831401704083744104222951170174169558883}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6265787482178043968710751754194695139667675255771655621554968338107}, {"parameter": "[7, 6, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6265787482178009411795172779199353203924883284352733471567119402022}, {"parameter": "[7, 6, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6265787482178005512790276422781196279290708936328527271898971485110}, {"parameter": "[7, 6, 6],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 6265787482405127246664626280834261910787849145925567784547857480964}, {"parameter": "[7, 6, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6265789158045392825811558105306758007353154183927577931831034458598}, {"parameter": "[7, 6, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6265787482178009743328488967670051442937085335476282383211833237822}, {"parameter": "[7, 6, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6265787482177975186412909992674709507194293364057360233223984301737}, {"parameter": "[7, 6, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6265787482177971287408013636256552582560119016033154033555836384825}, {"parameter": "[7, 6, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 6265787482405093021282363494309618214057259225630194546204722380679}, {"parameter": "[7, 6, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 6265789158045392398384819633215110043165927610260568893062454979140}, {"parameter": "[7, 6, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6265787482178009315901750495578403478749858761809273344443253758364}, {"parameter": "[7, 6, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6265787482177974758986171520583061543007066790390351194455404822279}, {"parameter": "[7, 6, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6265787482177970859981275164164904618372892442366144994787256905367}, {"parameter": "[7, 6, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 6265787482405092593855625022217970249870032651963185507436142901221}, {"parameter": "[7, 6, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 6265789158045666328885188525351354702337107154924536544940375539380}, {"parameter": "[7, 6, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 6265787482178283246402119387714648137921038306473240996321174318604}, {"parameter": "[7, 6, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 6265787482178248689486540412719306202178246335054318846333325382519}, {"parameter": "[7, 6, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 6265787482178244790481644056301149277544071987030112646665177465607}, {"parameter": "[7, 6, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 6265787482405366524355993914354214909041212196627153159314063461461}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6266873630274402584502087715490487986674283309280808516971106316883}, {"parameter": "[7, 7, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6266873630245667347314395432260123929939859442137186417400332877859}, {"parameter": "[7, 7, 5],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6266873630245667347241238474309277171623137761363357589094769717350}, {"parameter": "[7, 7, 5],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 6266873630245667394790929915617521308779208192324082115423480419536}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6265787482209512916205711714693311800541699550160537478608999017923}, {"parameter": "[7, 7, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6265787482180777679018019431462947743807275683016915379038225578899}, {"parameter": "[7, 7, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6265787482180777678944862473512100985490554002243086550732662418390}, {"parameter": "[7, 7, 5],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 6265787482180777726494553914820345122646624433203811077061373120576}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6265787482206740707712545481130375353268911720188394382024262533870}, {"parameter": "[7, 7, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6265787482178005470524853197900011296534487853044772282453489094846}, {"parameter": "[7, 7, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6265787482178005470451696239949164538217766172270943454147925934337}, {"parameter": "[7, 7, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 6265787482178005518001387681257408675373836603231667980476636636523}, {"parameter": "[7, 7, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6265787482206706044475122784273153688347372370380481382073664098320}, {"parameter": "[7, 7, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6265787482177970807287430501042789631612948503236859282502890659296}, {"parameter": "[7, 7, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6265787482177970807214273543091942873296226822463030454197327498787}, {"parameter": "[7, 7, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 6265787482177970854763964984400187010452297253423754980526038200973}, {"parameter": "[7, 7, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6265787482206705621729845036921683610483500571978668651032137295696}, {"parameter": "[7, 7, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6265787482177970384542152753691319553749076704835046551461363856672}, {"parameter": "[7, 7, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6265787482177970384468995795740472795432355024061217723155800696163}, {"parameter": "[7, 7, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 6265787482177970432018687237048716932588425455021942249484511398349}, {"parameter": "[7, 7, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 6265787482206979556168405065279311918314635261335798812547594857922}, {"parameter": "[7, 7, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 6265787482178244318980712782048947861580211394192176712976821418898}, {"parameter": "[7, 7, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 6265787482178244318907555824098101103263489713418347884671258258389}, {"parameter": "[7, 7, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 6265787482178244366457247265406345240419560144379072410999968960575}, {"parameter": "[7, 8, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 696198609357972182708072537005526322278821230635157159521150817795}, {"parameter": "[7, 8, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 696198609357972176700136470527967365820375512131247817640083756678}, {"parameter": "[7, 8, 4],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 696198609357972176700146519394933107695429996192575788174884328526}, {"parameter": "[7, 8, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 696198609133727989875368933707074909101878300877660230114177251318}, {"parameter": "[7, 8, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 696198609133727983867432867229515952643432582373750888233110190201}, {"parameter": "[7, 8, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 696198609133727983867442916096481694518487066435078858767910762049}, {"parameter": "[7, 8, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 696198609130920314613340344596276054493480547993075075440519668232}, {"parameter": "[7, 8, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 696198609130920308605404278118717098035034829489165733559452607115}, {"parameter": "[7, 8, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 696198609130920308605414326985682839910089313550493704094253178963}, {"parameter": "[7, 8, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 696198609130886031075256719252109204628157218571044458951343148228}, {"parameter": "[7, 8, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 696198609130886025067320652774550248169711500067135117070276087111}, {"parameter": "[7, 8, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 696198609130886025067330701641515990044765984128463087605076658959}, {"parameter": "[7, 8, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 696198609130885608915003881082786601636769687711160725061424298826}, {"parameter": "[7, 8, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 696198609130885602907067814605227645178323969207251383180357237709}, {"parameter": "[7, 8, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 696198609130885602907077863472193387053378453268579353715157809557}, {"parameter": "[7, 8, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 696198609131159543868955761498407174588957965178898694116134197182}, {"parameter": "[7, 8, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 696198609131159537861019695020848218130512246674989352235067136065}, {"parameter": "[7, 8, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 696198609131159537861029743887813960005566730736317322769867707913}, {"parameter": "[7, 9, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 77355401244467620264318828232844703878945128788397358809602263090}, {"parameter": "[7, 9, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 77355401244467620264318812916500014908965008866669361114769372510}, {"parameter": "[7, 9, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 77355401017354427339580771686557400635991191172364507997970920116}, {"parameter": "[7, 9, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 77355401017354427339580756370212711666011071250636510303138029536}, {"parameter": "[7, 9, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 77355401014577507654259813444404286703712577905181689592758923536}, {"parameter": "[7, 9, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 77355401014577507654259798128059597733732457983453691897926032956}, {"parameter": "[7, 9, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 77355401014543271566666007337540157955469377708763745087820790342}, {"parameter": "[7, 9, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 77355401014543271566665992021195468985489257787035747392987899762}, {"parameter": "[7, 9, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 77355401014542849400290060657585697969760858544803967966666291426}, {"parameter": "[7, 9, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 77355401014542849400290045341241008999780738623075970271833400846}, {"parameter": "[7, 9, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 77355401014816784411506217387581805388584802771497915100937231545}, {"parameter": "[7, 9, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 77355401014816784411506202071237116418604682849769917406104340965}, {"parameter": "[7, 10, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 8595044784604501767242705752911068068967269880098640415926394216}, {"parameter": "[7, 10, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 8595044559979167291155286229633716153937057168111481116500268836}, {"parameter": "[7, 10, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 8595044557206091095380929547817226409420515885897238304867399210}, {"parameter": "[7, 10, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 8595044557171854511160450542419645056848489178622510005498087742}, {"parameter": "[7, 10, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 8595044557171432343981404500997063484186470069748590596557482227}, {"parameter": "[7, 10, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 8595044557201864933914395421924272876791469575697568809273049105}, {"parameter": "[8, 2, 9],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 16173411906582859239518992309127973501306708465369581420022}, {"parameter": "[8, 2, 9],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 16173408483967795099463441639608285486188809423286805563864}, {"parameter": "[8, 2, 9],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1508346257811597142859546470755194324725352728823310233131284}, {"parameter": "[8, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 145558146225683991155444390233742443487339437328903133589782}, {"parameter": "[8, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 145558150124247394928273069837547423555013381518897386615553}, {"parameter": "[8, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 145558146701632330788217519168027735539895482476814610759395}, {"parameter": "[8, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1637730996029261678548300548283613774779059401876838038326815}, {"parameter": "[8, 3, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 145558146220472951779154053442151558730820377793804046422883}, {"parameter": "[8, 3, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 145558150119036355551982733045956538798494321983798299448654}, {"parameter": "[8, 3, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 145558146696421291411927182376436850783376422941715523592496}, {"parameter": "[8, 3, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1637730996024050639172010211492022890022540342341738951159916}, {"parameter": "[8, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 2801959616559769092967854231057312298285470262192610003276835}, {"parameter": "[8, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1310020855223690923060392062354799065004205350403900142672427}, {"parameter": "[8, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310020859122254326833220741958604045071879294593894395698198}, {"parameter": "[8, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020855699639262693165191289084357056761395551811619842040}, {"parameter": "[8, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2802193705027268610453248220404670396295925314951835047409460}, {"parameter": "[8, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 2801959581901096193166378065425386609583565779600789160417238}, {"parameter": "[8, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1310020820565018023258915896722873376302300867812079299812830}, {"parameter": "[8, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310020824463581427031744576326678356369974812002073552838601}, {"parameter": "[8, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020821040966362891689025657158668354856912959990776982443}, {"parameter": "[8, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2802193670368595710651772054772744707594020832360014204549863}, {"parameter": "[8, 4, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 2801959581901154163222870937580737599271377861619247476210206}, {"parameter": "[8, 4, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1310020820565075993315408768878224365990112949830537615605798}, {"parameter": "[8, 4, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310020824463639397088237448482029346057786894020531868631569}, {"parameter": "[8, 4, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020821041024332948181897812509658042668994978449092775411}, {"parameter": "[8, 4, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 2802193670368653680708264926928095697281832914378472520342831}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2801984882256827456466847863286995461116384693171038277236003}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310046120920749286559385694584482227835119781382328416631595}, {"parameter": "[8, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310046124819312690332214374188287207902793725572322669657366}, {"parameter": "[8, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310046121396697626192158823518767519887675826530239893801208}, {"parameter": "[8, 5, 6],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 2802218970724326973952241852634353559126839745930263321368628}, {"parameter": "[8, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2801959581901103429616434727585513661888876369867404285004011}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310020820565025259708972558883000428607611458078694424399603}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020824463588663481801238486805408675285402268688677425374}, {"parameter": "[8, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020821040973599341745687817285720660167503226605901569216}, {"parameter": "[8, 5, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 2802193670368602947101828716932871759899331422626629329136636}, {"parameter": "[8, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2801959581901096193289079694430439221125301513360894453661458}, {"parameter": "[8, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310020820565018023381617525727925987844036601572184593057050}, {"parameter": "[8, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020824463581427154446205331730967911710545762178846082821}, {"parameter": "[8, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020821040966363014390654662211279896592646720096070226663}, {"parameter": "[8, 5, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 2802193670368595710774473683777797319135756566120119497794083}, {"parameter": "[8, 5, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 2801959581901153534893301869330528027995964239198949056777904}, {"parameter": "[8, 5, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310020820565075364985839700628014794714699327410239196173496}, {"parameter": "[8, 5, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020824463638768758668380231819774782373271600233449199267}, {"parameter": "[8, 5, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020821041023704618612829562300086767255372558150673343109}, {"parameter": "[8, 5, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 2802193670368653052378695858677886126006419291958174100910529}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1328720243625232766465626906022156272075645109193604742452323}, {"parameter": "[8, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1328464467544878740101455074387156576602456005492725644733595}, {"parameter": "[8, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1328464467539604374386970401284423365202208267465350768149706}, {"parameter": "[8, 6, 5],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1328464779942290061442480898361218232129230664005179907278320}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310276284729198733972602617082280201215576660886391303459891}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020508648844707608430785447280505742387557185512205741163}, {"parameter": "[8, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508643570341893946112344547294342139819158137329157274}, {"parameter": "[8, 6, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020821046256028949456609421342161269162215697966468285888}, {"parameter": "[8, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310276284723916394930945129022939965004503695878245539066982}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020508643562368566773297387940269531314592177366441348254}, {"parameter": "[8, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508638288002852288624285207058131066854149991564764365}, {"parameter": "[8, 6, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020821040973689907799121362001925058089250689820703892979}, {"parameter": "[8, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310276284723909067929814817035010263987021857805940553175106}, {"parameter": "[8, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020508643555041565642985400010568513832754105061455456378}, {"parameter": "[8, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508638280675851158312297277357113585016077686578872489}, {"parameter": "[8, 6, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020821040966362906668809374072224040607412617515718001103}, {"parameter": "[8, 6, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310276284723966331251214774792914588035102863610859982277540}, {"parameter": "[8, 6, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020508643612304887042943157914892561913759909980884558812}, {"parameter": "[8, 6, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508638337939172558270055181681161666021882606007974923}, {"parameter": "[8, 6, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020821041023626228068767131976548088688418422435147103537}, {"parameter": "[8, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2801959582387739888287870171012650741752834802533070055098675}, {"parameter": "[8, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2801959581901096184589709894163682455213496735477624969181629}, {"parameter": "[8, 7, 4],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 2801959581901162214711666414041230933010253153896519489221726}, {"parameter": "[8, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020512980437681144933009799586508222034814005905008071499}, {"parameter": "[8, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020512493793977446772732950618221682696746950459922154453}, {"parameter": "[8, 7, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020512493860007568729252828166699479453165369354442194550}, {"parameter": "[8, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020509129619845181896269617584861743744077834370764013766}, {"parameter": "[8, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508642976141483735992768616575204406010778925678096720}, {"parameter": "[8, 7, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020508643042171605692512646165053001162429197820198136817}, {"parameter": "[8, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020509124271314654257812663451270337025741866894431284568}, {"parameter": "[8, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637627610956097535814482983797687674811449345367522}, {"parameter": "[8, 7, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637693641078054055692031461594444093230343865407619}, {"parameter": "[8, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020509124264067149165481793956876888745343722461982137106}, {"parameter": "[8, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637620363451005204944988590349407276667016896220060}, {"parameter": "[8, 7, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637686393572961724822537068146163695085911416260157}, {"parameter": "[8, 7, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020509124321331305891330822094262142042569829609472148186}, {"parameter": "[8, 7, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637677627607731053973125975602704502774164386231140}, {"parameter": "[8, 7, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637743657729687573850674453399460921193058906271237}, {"parameter": "[8, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 145558146220466600274496525413031537451791661056802134741782}, {"parameter": "[8, 8, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 145558146220466589107348019460662886894191660993472215936483}, {"parameter": "[8, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 145557838197438192794937399653580800127938398232701088981697}, {"parameter": "[8, 8, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 145557838197438181627788893701212149570338398169371170176398}, {"parameter": "[8, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 145557834298366686248309073546331419343752073975975302332211}, {"parameter": "[8, 8, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 145557834298366675081160567593962768786152073912645383526912}, {"parameter": "[8, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 145557834293076186628725332613958926152505726050064267543519}, {"parameter": "[8, 8, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 145557834293076175461576826661590275594905725986734348738220}, {"parameter": "[8, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 145557834293068949043394910455864471320223914190919556913701}, {"parameter": "[8, 8, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 145557834293068937876246404503495820762623914127589638108402}, {"parameter": "[8, 8, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 145557834293126213307751123972621682163235651591725432107625}, {"parameter": "[8, 8, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 145557834293126202140602618020253031605635651528395513302326}, {"parameter": "[8, 9, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 16173408525190945730427751339776304101199360000741189301382}, {"parameter": "[8, 9, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 16173096561287372081491688361938124321867595590575314398792}, {"parameter": "[8, 9, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 16173092704520386744169580052494598374842675781344337010020}, {"parameter": "[8, 9, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 16173092699237128415830250300530514148471598899649040041530}, {"parameter": "[8, 9, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 16173092699229890726515933260972354617753568202289763608250}, {"parameter": "[8, 9, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 16173092699287155002828258359993805459930426404194112515717}, {"parameter": "[9, 2, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 147377060765810021887642107075256258686532738293472258899222}, {"parameter": "[9, 2, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 147377060771158651730210440632953552383434791833622339075481}, {"parameter": "[9, 2, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 149427047702604987169317281692039759662495262824531182125467}, {"parameter": "[9, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 1328440407237602965970184449200636636038902326636658975654610}, {"parameter": "[9, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1326393543468645376098965914222055685794347983225465541879578}, {"parameter": "[9, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1326393543473994005941534247779752979491250036765615622055837}, {"parameter": "[9, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1328443530405440341380641088838839186770310507756524465105823}, {"parameter": "[9, 3, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 1328440407237602877613022401892930596150680929464851335728830}, {"parameter": "[9, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1326393543468645287741803866914349645906126586053657901953798}, {"parameter": "[9, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1326393543473993917584372200472046939603028639593807982130057}, {"parameter": "[9, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1328443530405440253023479041531133146882089110584716825180043}, {"parameter": "[9, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1328440407238189913639213833897059477187465297296164639995854}, {"parameter": "[9, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1326393543469232323767995298918478526942910953884971206220822}, {"parameter": "[9, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1326393543474580953610563632476175820639813007425121286397081}, {"parameter": "[9, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1328443530406027289049670473535262027918873478416030129447067}, {"parameter": "[9, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1328440407237602877601068362501150931478337499674963588274618}, {"parameter": "[9, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1326393543468645287729849827522569981233783156263770154499586}, {"parameter": "[9, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1326393543473993917572418161080267274930685209803920234675845}, {"parameter": "[9, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1328443530405440253011525002139353482209745680794829077725831}, {"parameter": "[9, 4, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1328440407237602877613172038025863587140365973042607561696201}, {"parameter": "[9, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1326393543468645287741953503047282636895811629631414127921169}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1326393543473993917584521836604979930592713683171564208097428}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1328443530405440253023628677664066137871774154162473051147414}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1328440411094363536103900962260269040730125770214433375802430}, {"parameter": "[9, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1326393547325405946232682427281688090485571426803239942027398}, {"parameter": "[9, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1326393547330754576075250760839385384182473480343390022203657}, {"parameter": "[9, 5, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1328443534262200911514357601898471591461533951334298865253643}, {"parameter": "[9, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1328440407237602877723784539216781891332528724531944818867094}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1326393543468645287852566004238200941087974381120751385092062}, {"parameter": "[9, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1326393543473993917695134337795898234784876434660901465268321}, {"parameter": "[9, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1328443530405440253134241178854984442063936905651810308318307}, {"parameter": "[9, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1328440407237602877601068593417198511633361474387458571767897}, {"parameter": "[9, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1326393543468645287729850058438617561388807130976265137992865}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1326393543473993917572418391996314855085709184516415218169124}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1328443530405440253011525233055401062364769655507324061219110}, {"parameter": "[9, 5, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1328440407237602877613040669921853661462492820318092219803243}, {"parameter": "[9, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1326393543468645287741822134943272711217938476906898786028211}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1326393543473993917584390468500970004914840530447048866204470}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1328443530405440253023497309560056212193901001437957709254456}, {"parameter": "[9, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1326396393562511134186693919552710648417400138225123964170766}, {"parameter": "[9, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1326396354619210618627304436856477194147157099489914800868207}, {"parameter": "[9, 6, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1326396355052506809372209612863701749311145405699776440785505}, {"parameter": "[9, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1326393581983999048739728533277230137282866205121989930789886}, {"parameter": "[9, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1326393543040698533180339050580996683012623166386780767487327}, {"parameter": "[9, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1326393543473994723925244226588221238176611472596642407404625}, {"parameter": "[9, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1326393581983998242511152619468265980991252151147753422340577}, {"parameter": "[9, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1326393543040697726951763136772032526721009112412544259038018}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1326393543473993917696668312779257081884997418622405898955316}, {"parameter": "[9, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1326393581983998242386902495960201409208873208793338039713643}, {"parameter": "[9, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1326393543040697726827513013263967954938630170058128876411084}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1326393543473993917572418189271192510102618476267990516328382}, {"parameter": "[9, 6, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1326393581983998242398858385674583251169584270831959323048943}, {"parameter": "[9, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1326393543040697726839468902978349796899341232096750159746384}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1326393543473993917584374078985574352063329538306611799663682}, {"parameter": "[9, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1328440407237611019679633899797803134546832335323347384481160}, {"parameter": "[9, 7, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1328440407237602967074440919821219505572899663568741025940270}, {"parameter": "[9, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1326393543041292805394342493417425316624341061286880976056520}, {"parameter": "[9, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1326393543041284752789149513440841687650408389532274617515630}, {"parameter": "[9, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1326393543040705790603055616349111709335439118309246833138387}, {"parameter": "[9, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1326393543040697737997862636372528080361506446554640474597497}, {"parameter": "[9, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1326393543040704974295090116044782204497305645268765165742309}, {"parameter": "[9, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1326393543040696921689897136068198575523372973514158807201419}, {"parameter": "[9, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1326393543040704974172186669950859520752070022323013610580473}, {"parameter": "[9, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1326393543040696921566993689974275891778137350568407252039583}, {"parameter": "[9, 7, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1326393543040704974184142756793322640494723632773647121011879}, {"parameter": "[9, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1326393543040696921578949776816739011520790961019040762470989}, {"parameter": "[9, 8, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 147377060765803748675592004243748713068591673889848106000022}, {"parameter": "[9, 8, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 147377060338450471154762713891420878575536043215093291865145}, {"parameter": "[9, 8, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 147377060337856100622547142399422501173709070335257082007499}, {"parameter": "[9, 8, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 147377060337855293162098740524565643261367327783984504432343}, {"parameter": "[9, 8, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 147377060337855293039363309640560644455057260026073642569773}, {"parameter": "[9, 8, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 147377060337855293051319418750144496208251699994338136555969}, {"parameter": "[10, 2, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 1312022185712652111694895095658952961217214871228806673483896}, {"parameter": "[10, 2, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1312019377896394433935185012987846048676614928441553924329728}, {"parameter": "[10, 2, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1312022220805600270185354933364744867022305878314758154257275}, {"parameter": "[10, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1312022185712652111683088865096587642468187524649125309327285}, {"parameter": "[10, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1312019377896394433923378782425480729927587581861872560173117}, {"parameter": "[10, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1312022220805600270173548702802379548273278531735076790100664}, {"parameter": "[10, 3, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1312022185712652111682922582979546446421853732517661612464064}, {"parameter": "[10, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1312019377896394433923212500308439533881253789730408863309896}, {"parameter": "[10, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1312022220805600270173382420685338352226944739603613093237443}, {"parameter": "[10, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1312022185712652121624595718081258304002031117917707607825120}, {"parameter": "[10, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1312019377896394443864885635410151391461431175130454858670952}, {"parameter": "[10, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1312022220805600280115055555787050209807122125003659088598499}, {"parameter": "[10, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1312022185712652111682922580511156924690619691689183196718245}, {"parameter": "[10, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1312019377896394433923212497840050012150019748901930447564077}, {"parameter": "[10, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1312022220805600270173382418216948830495710698775134677491624}, {"parameter": "[10, 4, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1312022185712652111682922583010831644576596318071748117677923}, {"parameter": "[10, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1312019377896394433923212500339724732035996375284495368523755}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1312022220805600270173382420716623550381687325157699598451302}, {"parameter": "[10, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1312022185712717427367792388351821869158060661831994780681104}, {"parameter": "[10, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1312019377896459749608082305680714956617460719044742031526936}, {"parameter": "[10, 5, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1312022220805665585858252226057613774963151668917946261454483}, {"parameter": "[10, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1312022185712652111682924659033274250701024846697211320793960}, {"parameter": "[10, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1312019377896394433923214576362167338160424903909958571639792}, {"parameter": "[10, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1312022220805600270173384496739066156506115853783162801567339}, {"parameter": "[10, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1312022185712652111682922580511591440514038064243627510812975}, {"parameter": "[10, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1312019377896394433923212497840484527973438121456374761658807}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1312022220805600270173382418217383346319129071329578991586354}, {"parameter": "[10, 5, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1312022185712652111682922582983365837457644537729213444232341}, {"parameter": "[10, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1312019377896394433923212500312258924917044594941960695078173}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1312022220805600270173382420689157743262735544815164925005720}, {"parameter": "[10, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1312019378330214044988718730771581716989244352288495057075473}, {"parameter": "[10, 6, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1312019378324930642231455910407585127431837138734173747529864}, {"parameter": "[10, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1312019377901677836694131205311724543010041863341692825799337}, {"parameter": "[10, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1312019377896394433936868384947727953452634649787371516253728}, {"parameter": "[10, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1312019377901677836680477422704599482567758085982909811626196}, {"parameter": "[10, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1312019377896394433923214602340602893010350872428588502080587}, {"parameter": "[10, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1312019377901677836680475318204099648705328806099855424242876}, {"parameter": "[10, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1312019377896394433923212497840103059147921592545534114697267}, {"parameter": "[10, 6, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1312019377901677836680475320672828873951451795008636121818130}, {"parameter": "[10, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1312019377896394433923212500308832284394044581454314812272521}, {"parameter": "[10, 7, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1312022185713239156433729560516835006934990710485903105216616}, {"parameter": "[10, 7, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1312019377896394523519488013754355118895306516231920851495440}, {"parameter": "[10, 7, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1312019377896394433937039060374954882033302550022223288905099}, {"parameter": "[10, 7, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1312019377896394433923214579533692843330406037434484861545677}, {"parameter": "[10, 7, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1312019377896394433923212497840055467007988657396679017372827}, {"parameter": "[10, 7, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1312019377896394433923212500308868211042864073874816826346047}, {"parameter": "[11, 2, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089237245745745919600499576960982158762804}, {"parameter": "[11, 2, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089237245745745919600499576960982158762804}, {"parameter": "[11, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089237243555484787312959047389789519248746}, {"parameter": "[11, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089237243555484787312959047389789519248746}, {"parameter": "[11, 3, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089237243242590937954891003005947386188476}, {"parameter": "[11, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089237243242590937954891003005947386188476}, {"parameter": "[11, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089255950258016795657427474436526078353604}, {"parameter": "[11, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089255950258016795657427474436526078353604}, {"parameter": "[11, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089237243242590480025698426691835885320994}, {"parameter": "[11, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089237243242590480025698426691835885320994}, {"parameter": "[11, 4, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089237243242590944495848754298624707343287}, {"parameter": "[11, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089237243242590944495848754298624707343287}, {"parameter": "[11, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467474195366180021008178618297002266794451489756}, {"parameter": "[11, 5, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467474195366180021008178618297002266794451489756}, {"parameter": "[11, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089237243246501586815645914218605773801676}, {"parameter": "[11, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089237243246501586815645914218605773801676}, {"parameter": "[11, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089237243242590480843317974659448529826143}, {"parameter": "[11, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089237243242590480843317974659448529826143}, {"parameter": "[11, 5, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089237243242590938753430787769512697097209}, {"parameter": "[11, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089237243242590938753430787769512697097209}, {"parameter": "[11, 6, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540532788896822993796970911188190120927534745740324}, {"parameter": "[11, 6, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089237474506672782362048778395548553541284}, {"parameter": "[11, 6, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089237243246550469834424673307357354637687}, {"parameter": "[11, 6, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089237243242590480125515878917927577740141}, {"parameter": "[11, 6, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089237243242590938037005378572837266492101}, {"parameter": "[12, 2, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310270126219337131658302922410783682159360626787230719562802}, {"parameter": "[12, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310270126219337131658302922410783224230168050473119218695320}, {"parameter": "[12, 3, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310270126219337131658302922410783158811837018415825018410490}, {"parameter": "[12, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310270126219337131658302922445983709414089239232543900453546}, {"parameter": "[12, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310270126219337131658302922410783158811741276797475346039312}, {"parameter": "[12, 4, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310270126219337131658302922410783158811838385967601183524109}, {"parameter": "[12, 5, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310270126219337131658321654805365523113520280221362095615850}, {"parameter": "[12, 5, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310270126219337131658302922410783166171288282835187227388466}, {"parameter": "[12, 5, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310270126219337131658302922410783158811741447741411626540533}, {"parameter": "[12, 5, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310270126219337131658302922410783158811837185370656789966047}, {"parameter": "[7, 2, 5, 5],[0, 5, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1087458315566077354447857482677897554324570704764362049434797700}, {"parameter": "[7, 2, 5, 5],[0, 5, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1087458088479545827609824641730992902028485168506457050397038732}, {"parameter": "[7, 2, 5, 5],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1087458088479546421006326055375705651289437041172934491266239223}, {"parameter": "[7, 2, 5, 5],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1087458315912572984651399684940379478279617433285223417848533737}, {"parameter": "[7, 2, 6, 4],[0, 5, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310247873429882234503526923690296194796245374838067109801220}, {"parameter": "[7, 2, 6, 4],[0, 5, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310247869109370447444317621058132115534409575530784663752029}, {"parameter": "[7, 2, 6, 4],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247869157441907095079777817695348167105557591860292823231}, {"parameter": "[7, 2, 6, 4],[0, 5, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310247873429882234503526923690296194796245374838067109801220}, {"parameter": "[7, 2, 6, 4],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310247869109370447444317621058132115534409575530784663752029}, {"parameter": "[7, 2, 6, 4],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247869157441907095079777817695348167105557591860292823231}, {"parameter": "[7, 2, 7, 3],[0, 5, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310247869109371251491167091695341381165100983650436593533478}, {"parameter": "[7, 2, 7, 3],[0, 5, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247869109370358105778790987331086019888307961934449331868}, {"parameter": "[7, 2, 7, 3],[0, 5, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020782577844413458326144790689085079564725745437555774510}, {"parameter": "[7, 2, 7, 3],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020782577843520072937844082678789934352050056935411572900}, {"parameter": "[7, 2, 7, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310250707306442221410005185315247098620809922527155596771257}, {"parameter": "[7, 2, 7, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310250707306441328024616884607236803475597246838653452569647}, {"parameter": "[7, 2, 8, 2],[0, 5, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 145557864773074322088900623584508711946991589118431361528660}, {"parameter": "[7, 2, 8, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 145557864773667718590314268297257972898864255595872230729151}, {"parameter": "[7, 2, 8, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 145785297800231363663943832971084963079256367884798813023665}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1087458315292189820491892939237341205945555689037816424922231158}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1087458088205658293653860098290436553649470152779911425884472190}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1087458318130386891461811777330961111663011397976693143925468937}, {"parameter": "[7, 3, 4, 5],[0, 5, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1087458315292184666716685619124030841334258032825089403847011148}, {"parameter": "[7, 3, 4, 5],[0, 5, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1087458088205653139878652778177126189038172496567184404809252180}, {"parameter": "[7, 3, 4, 5],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1087458318130381737686604457217650747051713741763966122850248927}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310474681800841392661963639453250004285753422473793948815166}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310247595269314554629122692548597708200217164568794911056198}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310477519997912362580801733073155721741462361350512952052945}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310474681800841392661963639453250004285753422473793948815166}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310247595269314554629122692548597708200217164568794911056198}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310477519997912362580801733073155721741462361350512952052945}, {"parameter": "[7, 3, 5, 4],[0, 5, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310474681795687617454643526142885392988097209746772873595156}, {"parameter": "[7, 3, 5, 4],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310247595264160779421802579238233096902560951841773835836188}, {"parameter": "[7, 3, 5, 4],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310477519992758587373481619762791110443806148623491876832935}, {"parameter": "[7, 3, 5, 4],[0, 5, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310474681795687617454643526142885392988097209746772873595156}, {"parameter": "[7, 3, 5, 4],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310247595264160779421802579238233096902560951841773835836188}, {"parameter": "[7, 3, 5, 4],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310477519992758587373481619762791110443806148623491876832935}, {"parameter": "[7, 3, 6, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310247595696618016358647601677933748472839680510009894094207}, {"parameter": "[7, 3, 6, 3],[0, 4, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247595269314554629122692548597708200217164568794911056198}, {"parameter": "[7, 3, 6, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020509165091178325806654773281452387303422605010856335239}, {"parameter": "[7, 3, 6, 3],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020508737787716596281745643945412114680906663795873297230}, {"parameter": "[7, 3, 6, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310250433893688986277485695297839465928548619386728897331986}, {"parameter": "[7, 3, 6, 3],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310250433466385524547960786168503425655926103445513914293977}, {"parameter": "[7, 3, 6, 3],[0, 5, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310247595691464241151327488367569137175183467782988818874197}, {"parameter": "[7, 3, 6, 3],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247595264160779421802579238233096902560951841773835836188}, {"parameter": "[7, 3, 6, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020509159937403118486541462916841089647209877989781115229}, {"parameter": "[7, 3, 6, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020508732633941388961632333580800817024693936774798077220}, {"parameter": "[7, 3, 6, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310250433888535211070165581987474854630892406659707822111976}, {"parameter": "[7, 3, 6, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310250433461231749340640672858138814358269890718492839073967}, {"parameter": "[7, 3, 7, 2],[0, 4, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247595269314554629122692548597708200217164568794911056198}, {"parameter": "[7, 3, 7, 2],[0, 4, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020508737787716596281745643945412114680906663795873297230}, {"parameter": "[7, 3, 7, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020508738381113097695390356694673066553573141236742497721}, {"parameter": "[7, 3, 7, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247941764944758171324955030521663246945685430163324792235}, {"parameter": "[7, 3, 7, 2],[0, 5, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247595264160779421802579238233096902560951841773835836188}, {"parameter": "[7, 3, 7, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020508732633941388961632333580800817024693936774798077220}, {"parameter": "[7, 3, 7, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020508733227337890375277046330061768897360414215667277711}, {"parameter": "[7, 3, 7, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247941759790982964004841720157051949289472703142249572225}, {"parameter": "[7, 4, 3, 5],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1087458315292611914592045520740364837968068689520823562527264036}, {"parameter": "[7, 4, 3, 5],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1087458315292611914592045520740364837968068689520823562527264036}, {"parameter": "[7, 4, 3, 5],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1087458315292184609453606147782162758861562019320712577121681230}, {"parameter": "[7, 4, 3, 5],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1087458315292184609453606147782162758861562019320712577121681230}, {"parameter": "[7, 4, 3, 5],[0, 5, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1087458315292184667432390604222405822277141228882207762777515647}, {"parameter": "[7, 4, 3, 5],[0, 5, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1087458315292184667432390604222405822277141228882207762777515647}, {"parameter": "[7, 4, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310474682222935492814545142476882026798753905480931553848044}, {"parameter": "[7, 4, 4, 4],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310474682222935492814545142476882026798753905480931553848044}, {"parameter": "[7, 4, 4, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310474682222935492814545142476882026798753905480931553848044}, {"parameter": "[7, 4, 4, 4],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310474682222935492814545142476882026798753905480931553848044}, {"parameter": "[7, 4, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310474681795630354375172184274802920292083705369946148265238}, {"parameter": "[7, 4, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310474681795630354375172184274802920292083705369946148265238}, {"parameter": "[7, 4, 4, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310474681795630354375172184274802920292083705369946148265238}, {"parameter": "[7, 4, 4, 4],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310474681795630354375172184274802920292083705369946148265238}, {"parameter": "[7, 4, 4, 4],[0, 5, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310474681795688333159628624517866335871293266865131804099655}, {"parameter": "[7, 4, 4, 4],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310474681795688333159628624517866335871293266865131804099655}, {"parameter": "[7, 4, 4, 4],[0, 5, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310474681795688333159628624517866335871293266865131804099655}, {"parameter": "[7, 4, 4, 4],[0, 5, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310474681795688333159628624517866335871293266865131804099655}, {"parameter": "[7, 4, 5, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310474682222935492814545142476882026798753905480931553848044}, {"parameter": "[7, 4, 5, 3],[0, 3, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310474682222935492814545142476882026798753905480931553848044}, {"parameter": "[7, 4, 5, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310247595691408654781704195572229730713217647575932516089076}, {"parameter": "[7, 4, 5, 3],[0, 3, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247595691408654781704195572229730713217647575932516089076}, {"parameter": "[7, 4, 5, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310477520420006462733383236096787744254462844357650557085823}, {"parameter": "[7, 4, 5, 3],[0, 3, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310477520420006462733383236096787744254462844357650557085823}, {"parameter": "[7, 4, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310474681795630354375172184274802920292083705369946148265238}, {"parameter": "[7, 4, 5, 3],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310474681795630354375172184274802920292083705369946148265238}, {"parameter": "[7, 4, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310247595264103516342331237370150624206547447464947110506270}, {"parameter": "[7, 4, 5, 3],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247595264103516342331237370150624206547447464947110506270}, {"parameter": "[7, 4, 5, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310477519992701324294010277894708637747792644246665151503017}, {"parameter": "[7, 4, 5, 3],[0, 4, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310477519992701324294010277894708637747792644246665151503017}, {"parameter": "[7, 4, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310474681795688333159628624517866335871293266865131804099655}, {"parameter": "[7, 4, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310474681795688333159628624517866335871293266865131804099655}, {"parameter": "[7, 4, 5, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310247595264161495126787677613214039785757008960132766340687}, {"parameter": "[7, 4, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247595264161495126787677613214039785757008960132766340687}, {"parameter": "[7, 4, 5, 3],[0, 5, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310477519992759303078466718137772053327002205741850807337434}, {"parameter": "[7, 4, 5, 3],[0, 5, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310477519992759303078466718137772053327002205741850807337434}, {"parameter": "[7, 4, 6, 2],[0, 3, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310474682222935492814545142476882026798753905480931553848044}, {"parameter": "[7, 4, 6, 2],[0, 3, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247595691408654781704195572229730713217647575932516089076}, {"parameter": "[7, 4, 6, 2],[0, 3, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247595692002051283117840284978991665090314053373385289567}, {"parameter": "[7, 4, 6, 2],[0, 3, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310475028718565696356747404958805981845482426342299967584081}, {"parameter": "[7, 4, 6, 2],[0, 4, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310474681795630354375172184274802920292083705369946148265238}, {"parameter": "[7, 4, 6, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247595264103516342331237370150624206547447464947110506270}, {"parameter": "[7, 4, 6, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247595264696912843744882082899885158420113942387979706761}, {"parameter": "[7, 4, 6, 2],[0, 4, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310475028291260557917374446756726875338812226231314562001275}, {"parameter": "[7, 4, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310474681795688333159628624517866335871293266865131804099655}, {"parameter": "[7, 4, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247595264161495126787677613214039785757008960132766340687}, {"parameter": "[7, 4, 6, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247595264754891628201322325963300737629675437573635541178}, {"parameter": "[7, 4, 6, 2],[0, 5, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310475028291318536701830886999790290918021787726500217835692}, {"parameter": "[7, 5, 2, 5],[0, 2, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 2173606155937231616543545389868244274519627788592959674117796820}, {"parameter": "[7, 5, 2, 5],[0, 3, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 2173606155902573588641086514114672139910047164257503974124552484}, {"parameter": "[7, 5, 2, 5],[0, 4, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 2173606155902573588552850740268147616982893293901631024658127983}, {"parameter": "[7, 5, 2, 5],[0, 5, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 2173606155902573645903292010752043568647135750875130095331499337}, {"parameter": "[7, 5, 3, 4],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1087458315326842637444314414270356318578357852977617043144380828}, {"parameter": "[7, 5, 3, 4],[0, 2, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1087458315326842637444314414270356318578357852977617043144380828}, {"parameter": "[7, 5, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1087458315292184609541855538516784183968777228642161343151136492}, {"parameter": "[7, 5, 3, 4],[0, 3, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1087458315292184609541855538516784183968777228642161343151136492}, {"parameter": "[7, 5, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1087458315292184609453619764670259661041623358286288393684711991}, {"parameter": "[7, 5, 3, 4],[0, 4, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1087458315292184609453619764670259661041623358286288393684711991}, {"parameter": "[7, 5, 3, 4],[0, 5, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1087458315292184666804061035154155612705865815259787464358083345}, {"parameter": "[7, 5, 3, 4],[0, 5, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1087458315292184666804061035154155612705865815259787464358083345}, {"parameter": "[7, 5, 4, 3],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1087458315326842637444314414270356318578357852977617043144380828}, {"parameter": "[7, 5, 4, 3],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1087458088240311110606281573323451666282272316719712044106621860}, {"parameter": "[7, 5, 4, 3],[0, 2, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1087458318165039708414233252363976224295813561916493762147618607}, {"parameter": "[7, 5, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1087458315292184609541855538516784183968777228642161343151136492}, {"parameter": "[7, 5, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1087458088205653082703822697569879531672691692384256344113377524}, {"parameter": "[7, 5, 4, 3],[0, 3, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1087458318130381680511774376610404089686232937581038062154374271}, {"parameter": "[7, 5, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1087458315292184609453619764670259661041623358286288393684711991}, {"parameter": "[7, 5, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1087458088205653082615586923723355008745537822028383394646953023}, {"parameter": "[7, 5, 4, 3],[0, 4, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1087458318130381680423538602763879566759079067225165112687949770}, {"parameter": "[7, 5, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1087458315292184666804061035154155612705865815259787464358083345}, {"parameter": "[7, 5, 4, 3],[0, 5, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1087458088205653139966028194207250960409780279001882465320324377}, {"parameter": "[7, 5, 4, 3],[0, 5, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1087458318130381737773979873247775518423321524198664183361321124}, {"parameter": "[7, 5, 5, 2],[0, 2, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1087458315326842637444314414270356318578357852977617043144380828}, {"parameter": "[7, 5, 5, 2],[0, 2, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1087458088240311110606281573323451666282272316719712044106621860}, {"parameter": "[7, 5, 5, 2],[0, 2, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1087458088240311704002782986968164415543224189386189484975822351}, {"parameter": "[7, 5, 5, 2],[0, 2, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1087458315673338267647856616532838242533404581498478411558116865}, {"parameter": "[7, 5, 5, 2],[0, 3, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1087458315292184609541855538516784183968777228642161343151136492}, {"parameter": "[7, 5, 5, 2],[0, 3, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1087458088205653082703822697569879531672691692384256344113377524}, {"parameter": "[7, 5, 5, 2],[0, 3, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1087458088205653676100324111214592280933643565050733784982578015}, {"parameter": "[7, 5, 5, 2],[0, 3, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1087458315638680239745397740779266107923823957163022711564872529}, {"parameter": "[7, 5, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1087458315292184609453619764670259661041623358286288393684711991}, {"parameter": "[7, 5, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1087458088205653082615586923723355008745537822028383394646953023}, {"parameter": "[7, 5, 5, 2],[0, 4, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1087458088205653676012088337368067758006489694694860835516153514}, {"parameter": "[7, 5, 5, 2],[0, 4, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1087458315638680239657161966932741584996670086807149762098448028}, {"parameter": "[7, 5, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1087458315292184666804061035154155612705865815259787464358083345}, {"parameter": "[7, 5, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1087458088205653139966028194207250960409780279001882465320324377}, {"parameter": "[7, 5, 5, 2],[0, 5, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1087458088205653733362529607851963709670732151668359906189524868}, {"parameter": "[7, 5, 5, 2],[0, 5, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1087458315638680297007603237416637536660912543780648832771819382}, {"parameter": "[8, 2, 5, 4],[0, 5, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1491939659083675751517756872150708921879279171535525905460900}, {"parameter": "[8, 2, 5, 4],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1491939347156343306737502200321941329508675623558336049388268}, {"parameter": "[8, 2, 5, 4],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1491939662982239155290585551754513901946953115725520158486671}, {"parameter": "[8, 2, 6, 3],[0, 5, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 585820852083259956146946155446046253600835982433422901}, {"parameter": "[8, 2, 6, 3],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 585820265136830040031619428096227410711769626188783860}, {"parameter": "[8, 2, 6, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 585820852083259956146946155446046253600835982433422901}, {"parameter": "[8, 2, 6, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 585820265136830040031619428096227410711769626188783860}, {"parameter": "[8, 2, 7, 2],[0, 5, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 585820265136830040031619428096227410711769626188783860}, {"parameter": "[8, 2, 7, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892932692049785359790660503856807163792436332711228}, {"parameter": "[8, 2, 7, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 589718828540602868711223233076295084655959620441809631}, {"parameter": "[8, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1491939659083618497166249098370338875074663146635426520172431}, {"parameter": "[8, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1491939659083618497166249098370338875074663146635426520172431}, {"parameter": "[8, 3, 4, 4],[0, 5, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1491939659083618487360759163852044668209019064754164940619692}, {"parameter": "[8, 3, 4, 4],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1491939659083618487360759163852044668209019064754164940619692}, {"parameter": "[8, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 897747540327258786929667825641793398234846716659568023}, {"parameter": "[8, 3, 5, 3],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 897747540327258786929667825641793398234846716659568023}, {"parameter": "[8, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 897747540327258786929667825641793398234846716659568023}, {"parameter": "[8, 3, 5, 3],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 897747540327258786929667825641793398234846716659568023}, {"parameter": "[8, 3, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 897747540317453296995149531434927754152965455080015284}, {"parameter": "[8, 3, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 897747540317453296995149531434927754152965455080015284}, {"parameter": "[8, 3, 5, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 897747540317453296995149531434927754152965455080015284}, {"parameter": "[8, 3, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 897747540317453296995149531434927754152965455080015284}, {"parameter": "[8, 3, 6, 2],[0, 4, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 897747540327258786929667825641793398234846716659568023}, {"parameter": "[8, 3, 6, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 585820207882478532257839058049422794686869526803495391}, {"parameter": "[8, 3, 6, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 901646103731031615609271630621861072179036710912593794}, {"parameter": "[8, 3, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 897747540317453296995149531434927754152965455080015284}, {"parameter": "[8, 3, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 585820207872673042323320763842557150604988265223942652}, {"parameter": "[8, 3, 6, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 901646103721226125674753336414995428097155449333041055}, {"parameter": "[8, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2983878420419703903523767929232979160661238648690751505363612}, {"parameter": "[8, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2983878420419696657256250869959509976159794315285186344514599}, {"parameter": "[8, 4, 3, 4],[0, 5, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2983878420419696657268370968687490892479969020120631027191471}, {"parameter": "[8, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1491939659083625733616305760530465927379973736902041644759204}, {"parameter": "[8, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1491939659083625733616305760530465927379973736902041644759204}, {"parameter": "[8, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1491939659083618487348788701256996742878529403496476483910191}, {"parameter": "[8, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1491939659083618487348788701256996742878529403496476483910191}, {"parameter": "[8, 4, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1491939659083618487360908799984977659198704108331921166587063}, {"parameter": "[8, 4, 4, 3],[0, 5, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1491939659083618487360908799984977659198704108331921166587063}, {"parameter": "[8, 4, 5, 2],[0, 3, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1491939659083625733616305760530465927379973736902041644759204}, {"parameter": "[8, 4, 5, 2],[0, 3, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1491939347156293288836051088701698335009370188924851788686572}, {"parameter": "[8, 4, 5, 2],[0, 3, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1491939662982189137389134440134270907447647681092035897784975}, {"parameter": "[8, 4, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1491939659083618487348788701256996742878529403496476483910191}, {"parameter": "[8, 4, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1491939347156286042568534029428229150507925855519286627837559}, {"parameter": "[8, 4, 5, 2],[0, 4, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1491939662982181891121617380860801722946203347686470736935962}, {"parameter": "[8, 4, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1491939659083618487360908799984977659198704108331921166587063}, {"parameter": "[8, 4, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1491939347156286042580654128156210066828100560354731310514431}, {"parameter": "[8, 4, 5, 2],[0, 5, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1491939662982181891133737479588782639266378052521915419612834}, {"parameter": "[9, 2, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2047141940794253367508658850556438317413197565668119516183}, {"parameter": "[9, 2, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 2047141940794253367508658850556438317413197565668119516183}, {"parameter": "[9, 2, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 278171836663496290123871975488072858854154474685741151}, {"parameter": "[9, 2, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 278171836663496290123871975488072858854154474685741151}, {"parameter": "[9, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4094005709751843226773154437357723889624111186973805837003}, {"parameter": "[9, 3, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4094005709751843226754681149730873766606402265716492271383}, {"parameter": "[9, 3, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 2047141940794253355554619458776773645069767775780372061971}, {"parameter": "[9, 3, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 2047141940794253355554619458776773645069767775780372061971}, {"parameter": "[9, 3, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 2047141940794253355536146171149923522052058854523058496351}, {"parameter": "[9, 3, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 2047141940794253355536146171149923522052058854523058496351}, {"parameter": "[10, 2, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 5889944348346596057752876684228402638779323010516817321}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 955170522839859759687937680837971370932237215916329059138742563}], "request": [9, 19, 4, 7], "liftedmrdsizebound": 507618122460820468186905666128735149961311239364074891913447508990644, "comments": "", "equal_bound_constraints": []}