{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 171490160368944013609940109087491905339708781403421918572228}, {"parameter": "", "name": "singleton", "value": 372638160100766855958152870082720200}, {"parameter": "3", "name": "ilp_2", "value": 313034679740847144434648701970563524}, {"parameter": "4", "name": "ilp_2", "value": 216730412035511351501731319940718756184122483603}, {"parameter": "6", "name": "ilp_3", "value": 8745928211390453570478381736408195906757893788424210453}, {"parameter": "7", "name": "ilp_3", "value": 509754880925006583007256853138751154797665330783811}, {"parameter": "", "name": "anticode", "value": 313034679740847144434648701970563524}, {"parameter": "", "name": "linear_programming_bound", "value": 313034679740847144434648701970563524}, {"parameter": "", "name": "sphere_packing", "value": 77376084268398842933984994907933969555124438}, {"parameter": "1", "name": "ilp_1", "value": 313034679729737620272722867870115664}, {"parameter": "2", "name": "ilp_1", "value": 313034679729737620272729989636118664}, {"parameter": "8", "name": "ilp_4", "value": 509024840629260528616938383707111977456905976604837}, {"parameter": "9", "name": "ilp_4", "value": 509024822499474495980226355633087801695524598703108}, {"parameter": "10", "name": "ilp_4", "value": 509024822499474495980226355633087801695524598703108}, {"parameter": "11", "name": "ilp_4", "value": 10403074209242446821865995057053883081670689326913}, {"parameter": "12", "name": "ilp_4", "value": 212305837702264905264262711955474380250113265511}, {"parameter": "13", "name": "ilp_4", "value": 4332784937973943034777790312072733151241357182}, {"parameter": "14", "name": "ilp_4", "value": 88424549463163687580937990558412003901352538}, {"parameter": "15", "name": "ilp_4", "value": 1804582597516518028270120942704686908021251}, {"parameter": "16", "name": "ilp_4", "value": 36828216591553546211372375740262845948750}, {"parameter": "17", "name": "ilp_4", "value": 751596266066458541349978678688143763021}, {"parameter": "18", "name": "ilp_4", "value": 15338699306373792145727585145841632743}, {"parameter": "", "name": "johnson_1", "value": 313034679729737620272722867870115664}, {"parameter": "", "name": "johnson_2", "value": 15338699306373792145727585145841632743}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 171490160368944013609940109087491905339708781403421918572228}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 8745928211390453570478381736408195906757893788424210453}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 509754880925006583007256853138751154797665330783811}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 509024840629260528616938383707111977456905976604837}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 509024822499474495980226355633087801695524598703108}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 509024822499474495980226355633087801695524598703108}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 10403074209242446821865995057053883081670689326913}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 212305837702264905264262711955474380250113265511}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 4332784937973943034777790312072733151241357182}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 88424549463163687580937990558412003901352538}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1804582597516518028270120942704686908021251}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 36828216591553546211372375740262845948750}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 751596266066458541349978678688143763021}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 15338699306373792145727585145841632743}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 216730412035511351501731319940718756184122483603}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 77376084268398842933984994907933969555124438}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 77376084269083117441140984513973575774662490}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 77376084273873038991571788683321838789805520}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 77376084307402489861192387303609848089920652}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 11049216511738510461334143859664458659778518}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1579011761908901182528339965210427494854822}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 225571264160621386374906295927104235659406}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 32224729821185125320254381346017662529823}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 4603565577113567665894773255982571285978}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 657685850824835257576734813555440337840}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 93988664636232464464563980061592404061}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 13460591590679622758543858235701382678}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 1957267384937832679793204683728495673}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 319537222286474688304595572417537011}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 313034679740847144434648701970563524}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 313034679741298145902443534360300825}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 313034679744455156177039760100641767}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 313034679766554228100800891879954328}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 313034679921247731644918842623727799}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 313034681004102260265455897420913815}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 313034688584084147383078474326603778}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 313034741643966509127315374391847418}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 313035113063591486002797908552398762}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 313037713022940298924824035572025714}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 313055913815170613769789728126141219}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 313183372145338322016150656880270333}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 314078174437772628147141370401028919}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 320471534819998337002130754219694977}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 372638160100766855958152870082720200}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 171490160368944013609940109087491905339708781403421918572228}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 216730412035511351501731319940718756184122483603}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 313034679740847144434648701970563524}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 313034679729737620272729989636118664}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 313034679729737620272722867870115664}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 8745928211390453570478381736408195906757893788424210453}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 77376084268398842933984994907933969555124438}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 77403718579415397273534801631232632725769267}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 77597712861567599372526320509173132120073234}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 78983386305511649803075560662517645372609050}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 90266727206182572982171580005173603420985201}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 509754880925006583007256853138751154797665330783811}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 509784593629996400777480548149562806721086870601822}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 509992668974322283518219532847282323871134414224782}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 511453442820201658584709934070714576173880204593037}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 521891268183217750833653199627280900474102528895199}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 607098005839518055568051981319221867272218743306204}, {"parameter": "", "name": "improved_johnson", "value": 313034679729737620272722867870115649}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 12632185814658156414740594475932166157648449}], "known_codes": [], "upper_bound": 313034679729737620272722867870115649, "classified": false, "lower_bound": 311973491144033300211057138628954128, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 311973482284542371301330321821976049}, {"parameter": "", "name": "sphere_covering", "value": 2235163725415602686019562728316}, {"parameter": "", "name": "graham_sloane", "value": 7918901414902131618024819404}, {"parameter": "", "name": "multicomponent", "value": 311973490015536282590010974086994801}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 311973482284542371301330321821976050}, {"parameter": "", "name": "two_pivot_block_construction", "value": 311973490015536297325068744155725824}, {"parameter": "(5, 14)", "name": "CKMP2019_Lem_41", "value": 311973482284608083665559970087232995}, {"parameter": "(6, 13)", "name": "CKMP2019_Lem_41", "value": 909543680130052722057026151855357}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 2651730845860212017658968372700}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 129942542440842729190109926842097}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 6366813514442087983882964925809361}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 311973490022895875593490685617174865}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 311973491123868957073156958055536449}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 311973491144033264838424334304053694}, {"parameter": "(13, 6)", "name": "CKMP2019_Lem_41", "value": 311973491144033296196784989265570087}, {"parameter": "(14, 5)", "name": "CKMP2019_Lem_41", "value": 311973491144033300211057138628814079}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Lem_41", "value": 311973482284608083663693856384591185}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Lem_41", "value": 311973482284542562882561702388407258}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Lem_41", "value": 311973482284542371859876185905260057}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Lem_41", "value": 311973482284542398671706075500802842}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Lem_41", "value": 311973482284543712371583146946297249}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Lem_41", "value": 909543680130052722051585586320352}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Lem_41", "value": 909543680129861699366069103173151}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Lem_41", "value": 909543680129861142448618617799593}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Lem_41", "value": 909543680129861220617218879011088}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Lem_41", "value": 2651730845860212017643106665609}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Lem_41", "value": 2651730845859655100192621292051}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Lem_41", "value": 2651730845859653476526584891545}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Lem_41", "value": 129942542440842729190109880703306}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Lem_41", "value": 129942542440842727566443844302800}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Lem_41", "value": 6366813514442087983882964925691601}, {"parameter": "(5, 14)", "name": "CKMP2019_Cor_42", "value": 311973482284608083665559970087232995}, {"parameter": "(6, 13)", "name": "CKMP2019_Cor_42", "value": 909543680130052722057026151855357}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 2651730845860212017658968372700}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 129942542440842729190109926842097}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 6366813514442087983882964925809361}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 311973490022895875593490685617174865}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 311973491123868957073156958055536449}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 311973491144033264838424334304053694}, {"parameter": "(13, 6)", "name": "CKMP2019_Cor_42", "value": 311973491144033296196784989265570087}, {"parameter": "(14, 5)", "name": "CKMP2019_Cor_42", "value": 311973491144033300211057138628814079}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Cor_42", "value": 311973482284608083663693856384591185}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Cor_42", "value": 311973482284542562882561702388407258}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Cor_42", "value": 311973482284542371859876185905260057}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Cor_42", "value": 311973482284542398671706075500802842}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Cor_42", "value": 311973482284543712371583146946297249}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Cor_42", "value": 909543680130052722051585586320352}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Cor_42", "value": 909543680129861699366069103173151}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Cor_42", "value": 909543680129861142448618617799593}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Cor_42", "value": 909543680129861220617218879011088}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Cor_42", "value": 2651730845860212017643106665609}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Cor_42", "value": 2651730845859655100192621292051}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Cor_42", "value": 2651730845859653476526584891545}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Cor_42", "value": 129942542440842729190109880703306}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Cor_42", "value": 129942542440842727566443844302800}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Cor_42", "value": 6366813514442087983882964925691601}, {"parameter": "5", "name": "linkage_ST", "value": 311973491144033300211057138628814079}, {"parameter": "6", "name": "linkage_ST", "value": 311973491144033296196784989265570087}, {"parameter": "7", "name": "linkage_ST", "value": 311973491144033264838424334304053694}, {"parameter": "8", "name": "linkage_ST", "value": 311973491123868957073156958055536449}, {"parameter": "9", "name": "linkage_ST", "value": 311973490022895875593490685617174865}, {"parameter": "10", "name": "linkage_ST", "value": 6366813514442087983882964925809361}, {"parameter": "11", "name": "linkage_ST", "value": 129942542440842729190109926842097}, {"parameter": "12", "name": "linkage_ST", "value": 2651730845860212017658968372700}, {"parameter": "13", "name": "linkage_ST", "value": 909543680130052722057026151855357}, {"parameter": "14", "name": "linkage_ST", "value": 311973482284608083665559970087232995}, {"parameter": "15", "name": "linkage_ST", "value": 22539340930769354998789742}, {"parameter": "16", "name": "linkage_ST", "value": 7730993938754197538603243313}, {"parameter": "17", "name": "linkage_ST", "value": 2651730921164083543748135137407}, {"parameter": "18", "name": "linkage_ST", "value": 909543705959280746929402301205852}, {"parameter": "5", "name": "construction_D", "value": 311973491144033300211057138628814078}, {"parameter": "6", "name": "construction_D", "value": 311973491144033296196784989265570086}, {"parameter": "7", "name": "construction_D", "value": 311973491144033264838424334304053693}, {"parameter": "8", "name": "construction_D", "value": 311973491123868957073156958055519641}, {"parameter": "9", "name": "construction_D", "value": 311973490022895875593490685334699272}, {"parameter": "10", "name": "construction_D", "value": 6366813514442087983878217364181657}, {"parameter": "11", "name": "construction_D", "value": 129942542440842727561696282792856}, {"parameter": "12", "name": "construction_D", "value": 2651730845859653471779023381601}, {"parameter": "13", "name": "construction_D", "value": 909543680129861140820205019889143}, {"parameter": "14", "name": "construction_D", "value": 311973482284542371301330321821976049}, {"parameter": "15", "name": "construction_D", "value": 0}, {"parameter": "16", "name": "construction_D", "value": 0}, {"parameter": "17", "name": "construction_D", "value": 0}, {"parameter": "18", "name": "construction_D", "value": 0}, {"parameter": "19", "name": "construction_D", "value": 0}, {"parameter": "5", "name": "linkage_GLT", "value": 311973482284608083665559970087232995}, {"parameter": "6", "name": "linkage_GLT", "value": 909543680130052722057026151855357}, {"parameter": "7", "name": "linkage_GLT", "value": 2651730845860212017658968372700}, {"parameter": "8", "name": "linkage_GLT", "value": 129942542440842729190109926842097}, {"parameter": "9", "name": "linkage_GLT", "value": 6366813514442087983882964925809361}, {"parameter": "10", "name": "linkage_GLT", "value": 311973490022895875593490685617174865}, {"parameter": "11", "name": "linkage_GLT", "value": 311973491123868957073156958055536449}, {"parameter": "12", "name": "linkage_GLT", "value": 311973491144033264838424334304053694}, {"parameter": "13", "name": "linkage_GLT", "value": 311973491144033296196784989265570087}, {"parameter": "14", "name": "linkage_GLT", "value": 311973491144033300211057138628814079}, {"parameter": "5", "name": "improved_linkage", "value": 311973490015536310055527860425219362}, {"parameter": "6", "name": "improved_linkage", "value": 909543702669202071589560018678885}, {"parameter": "7", "name": "improved_linkage", "value": 2651730911572017701427288638547}, {"parameter": "8", "name": "improved_linkage", "value": 129942542441034308798517414759070}, {"parameter": "9", "name": "improved_linkage", "value": 6366813514442088542424097309172756}, {"parameter": "10", "name": "improved_linkage", "value": 311973490022895875595119098978748513}, {"parameter": "11", "name": "improved_linkage", "value": 311973491123868957073161705617147345}, {"parameter": "12", "name": "improved_linkage", "value": 311973491144033264838424334586529286}, {"parameter": "13", "name": "improved_linkage", "value": 311973491144033296196784989265586894}, {"parameter": "14", "name": "improved_linkage", "value": 311973491144033300211057138628814079}, {"parameter": "15", "name": "improved_linkage", "value": 6366805941714965314852527070095759}, {"parameter": "16", "name": "improved_linkage", "value": 129934815128641798031304710361592}, {"parameter": "5,0", "name": "generalized_linkage", "value": 311973482307147424596329325070365473}, {"parameter": "5,1", "name": "generalized_linkage", "value": 311973482307081712232099676820765791}, {"parameter": "5,2", "name": "generalized_linkage", "value": 311973490015536310055527860425219362}, {"parameter": "6,0", "name": "generalized_linkage", "value": 909543680599426752268799469079657}, {"parameter": "6,1", "name": "generalized_linkage", "value": 909543680195573505049853285146089}, {"parameter": "6,2", "name": "generalized_linkage", "value": 909543702669202071589560018678885}, {"parameter": "7,0", "name": "generalized_linkage", "value": 2651730855439273858715565720550}, {"parameter": "7,1", "name": "generalized_linkage", "value": 2651730846051234708600155347815}, {"parameter": "7,2", "name": "generalized_linkage", "value": 2651730911572017701427288638547}, {"parameter": "8,0", "name": "generalized_linkage", "value": 129942542441038300040346596636956}, {"parameter": "8,1", "name": "generalized_linkage", "value": 129942542440843286107576227783955}, {"parameter": "8,2", "name": "generalized_linkage", "value": 129942542441034308798517414759070}, {"parameter": "9,0", "name": "generalized_linkage", "value": 6366813514442088648774223324126857}, {"parameter": "9,1", "name": "generalized_linkage", "value": 6366813514442087985506631008230898}, {"parameter": "9,2", "name": "generalized_linkage", "value": 6366813514442088542424097309172756}, {"parameter": "10,0", "name": "generalized_linkage", "value": 311973490022895875593530246041498922}, {"parameter": "10,1", "name": "generalized_linkage", "value": 311973490022895875593495432896326976}, {"parameter": "10,2", "name": "generalized_linkage", "value": 311973490022895875595119098978748513}, {"parameter": "11,0", "name": "generalized_linkage", "value": 311973491123868957073156960409480041}, {"parameter": "11,1", "name": "generalized_linkage", "value": 311973491123868957073156958337995234}, {"parameter": "11,2", "name": "generalized_linkage", "value": 311973491123868957073161705617147345}, {"parameter": "12,0", "name": "generalized_linkage", "value": 311973491144033264838424334304193743}, {"parameter": "12,1", "name": "generalized_linkage", "value": 311973491144033264838424334304070501}, {"parameter": "12,2", "name": "generalized_linkage", "value": 311973491144033264838424334586529286}, {"parameter": "13,0", "name": "generalized_linkage", "value": 311973491144033296196784989265710136}, {"parameter": "13,1", "name": "generalized_linkage", "value": 311973491144033296196784989265570087}, {"parameter": "13,2", "name": "generalized_linkage", "value": 311973491144033296196784989265586894}, {"parameter": "14,0", "name": "generalized_linkage", "value": 311973491144033300211057138628954128}, {"parameter": "14,1", "name": "generalized_linkage", "value": 311973491144033300211057138628814079}, {"parameter": "14,2", "name": "generalized_linkage", "value": 311973491144033300211057138628814079}, {"parameter": "15,1", "name": "generalized_linkage", "value": 6366805941714965314852527070095759}, {"parameter": "15,2", "name": "generalized_linkage", "value": 6366805941714965314852527070095759}, {"parameter": "16,2", "name": "generalized_linkage", "value": 129934815128641798031304710361592}, {"parameter": "[5, 14],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973482307147424596329325070365473}, {"parameter": "[5, 14],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973482307081712232099676820765791}, {"parameter": "[5, 14],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973490015536310055527860425219362}, {"parameter": "[6, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680599426752268799469079657}, {"parameter": "[6, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680195573505049853285146089}, {"parameter": "[6, 13],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543702669202071589560018678885}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730855439273858715565720550}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051234708600155347815}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730911572017701427288638547}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 129942542441038300040346596636956}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 129942542440843286107576227783955}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129942542441034308798517414759070}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366813514442088648774223324126857}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366813514442087985506631008230898}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366813514442088542424097309172756}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973490022895875593530246041498922}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973490022895875593495432896326976}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973490022895875595119098978748513}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973491123868957073156960409480041}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973491123868957073156958337995234}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973491123868957073161705617147345}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973491144033264838424334304193743}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973491144033264838424334304070501}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973491144033264838424334586529286}, {"parameter": "[13, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973491144033296196784989265710136}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973491144033296196784989265570087}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973491144033296196784989265586894}, {"parameter": "[14, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973491144033300211057138628954128}, {"parameter": "[14, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973491144033300211057138628814079}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973491144033300211057138628814079}, {"parameter": "[15, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805941714965314852527070095759}, {"parameter": "[15, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805941714965314852527070095759}, {"parameter": "[16, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934815128641798031304710361592}, {"parameter": "[5, 3, 11],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 129942542440874657496428800310384}, {"parameter": "[5, 3, 11],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129942542441034867344397359730912}, {"parameter": "[5, 3, 11],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129942542506746673028165679170472}, {"parameter": "[5, 4, 10],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368838241146003067794}, {"parameter": "[5, 4, 10],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368836607986780026154}, {"parameter": "[5, 4, 10],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448560416216394304025306}, {"parameter": "[5, 4, 10],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368838241146003067794}, {"parameter": "[5, 4, 10],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368836607986780026154}, {"parameter": "[5, 4, 10],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448560416216394304025306}, {"parameter": "[5, 5, 9],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973482307147423954419541221752089}, {"parameter": "[5, 5, 9],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973482307147423956019275389909017}, {"parameter": "[5, 5, 9],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973482307147424514560407742917745}, {"parameter": "[5, 5, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973482284608083663727283133888840}, {"parameter": "[5, 5, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973482284608083665327017302045768}, {"parameter": "[5, 5, 9],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973482284608084223868149655054496}, {"parameter": "[5, 5, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973482284608083663727283133888840}, {"parameter": "[5, 5, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973482284608083665327017302045768}, {"parameter": "[5, 5, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973482284608084223868149655054496}, {"parameter": "[5, 6, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973482284608275244925250840094345}, {"parameter": "[5, 6, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973482284608275244925333840133985}, {"parameter": "[5, 6, 8],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973482284608275246558397868460169}, {"parameter": "[5, 6, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973482284542562882561716559954802}, {"parameter": "[5, 6, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973482284542562882561799559994442}, {"parameter": "[5, 6, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973482284542562884194863588320626}, {"parameter": "[5, 6, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973482287762468638374896286792409}, {"parameter": "[5, 6, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973482287762468638374979286832049}, {"parameter": "[5, 6, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973482287762468640008043315158233}, {"parameter": "[5, 7, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973482284542563441107566477574401}, {"parameter": "[5, 7, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973482284542563441107566477456409}, {"parameter": "[5, 7, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973482284542563441107663643278449}, {"parameter": "[5, 7, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973482284551759340213833665465649}, {"parameter": "[5, 7, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973482284551759340213833665347657}, {"parameter": "[5, 7, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973482284551759340213930831169697}, {"parameter": "[5, 7, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973482442317945475953373092617144}, {"parameter": "[5, 7, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973482442317945475953373092499152}, {"parameter": "[5, 7, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973482442317945475953470258321192}, {"parameter": "[5, 8, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973482284551786710589587379706897}, {"parameter": "[5, 8, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973482284551786710589587338392841}, {"parameter": "[5, 8, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973482284551786710589587344174449}, {"parameter": "[5, 8, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973482285002358398049339505461706}, {"parameter": "[5, 8, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973482285002358398049339464147650}, {"parameter": "[5, 8, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973482285002358398049339469929258}, {"parameter": "[5, 8, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973490015536282772388549532769545}, {"parameter": "[5, 8, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973490015536282772388549491455489}, {"parameter": "[5, 8, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973490015536282772388549497237097}, {"parameter": "[5, 9, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973482285003699468302164636645705}, {"parameter": "[5, 9, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973482285003699468302164588468849}, {"parameter": "[5, 9, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973482285003699468302164588468849}, {"parameter": "[5, 9, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973482307081712151100170930414121}, {"parameter": "[5, 9, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973482307081712151100170882237265}, {"parameter": "[5, 9, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973482307081712151100170882237265}, {"parameter": "[5, 9, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 311973490015536310055527860473256512}, {"parameter": "[5, 9, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 311973490015536310055527860425079656}, {"parameter": "[5, 9, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 311973490015536310055527860425079656}, {"parameter": "[5, 10, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805761370355602348850387438169}, {"parameter": "[5, 10, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805761370355602348850387438169}, {"parameter": "[5, 10, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805761369014535319241858960354}, {"parameter": "[5, 10, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805761369014535319241858960354}, {"parameter": "[5, 10, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805918684414501126902132032996}, {"parameter": "[5, 10, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805918684414501126902132032996}, {"parameter": "[5, 11, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811456537869468916389858321}, {"parameter": "[5, 11, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811456510500721407611099686}, {"parameter": "[5, 11, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934814667028867369937101857491}, {"parameter": "[6, 3, 10],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 378841231606618741533127131920}, {"parameter": "[6, 3, 10],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378841231609946715782370178883}, {"parameter": "[6, 3, 10],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378841232974951425685978672841}, {"parameter": "[6, 4, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18562115986729936904155045195142}, {"parameter": "[6, 4, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18562115986729948302260993313254}, {"parameter": "[6, 4, 9],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 18562115986733927907829008500441}, {"parameter": "[6, 4, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 18562115986729936904155045195142}, {"parameter": "[6, 4, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 18562115986729948302260993313254}, {"parameter": "[6, 4, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18562115986733927907829008500441}, {"parameter": "[6, 5, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680599426738933987473150346}, {"parameter": "[6, 5, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680599426738934665649264437}, {"parameter": "[6, 5, 8],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680599426750570246851088498}, {"parameter": "[6, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680130052722051599757867896}, {"parameter": "[6, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680130052722052277933981987}, {"parameter": "[6, 5, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680130052733687859135806048}, {"parameter": "[6, 5, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680130052722051599757867896}, {"parameter": "[6, 5, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680130052722052277933981987}, {"parameter": "[6, 5, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680130052733687859135806048}, {"parameter": "[6, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680131230136733073154997701}, {"parameter": "[6, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680131230136733073190186708}, {"parameter": "[6, 6, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680131230136733765496668743}, {"parameter": "[6, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680129861699366069109180551}, {"parameter": "[6, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680129861699366069144369558}, {"parameter": "[6, 6, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680129861699366761450851593}, {"parameter": "[6, 6, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680139249179703716863486200}, {"parameter": "[6, 6, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680139249179703716898675207}, {"parameter": "[6, 6, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680139249179704409205157242}, {"parameter": "[6, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680129865132061933540436743}, {"parameter": "[6, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680129865132061933498402093}, {"parameter": "[6, 7, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680129865132061933539596050}, {"parameter": "[6, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680129888511195958740753036}, {"parameter": "[6, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680129888511195958698718386}, {"parameter": "[6, 7, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680129888511195958739912343}, {"parameter": "[6, 7, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680589848237539222704097501}, {"parameter": "[6, 7, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680589848237539222662062851}, {"parameter": "[6, 7, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680589848237539222703256808}, {"parameter": "[6, 8, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680130056723301174022138987}, {"parameter": "[6, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680130056723301173727776338}, {"parameter": "[6, 8, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680130056723301173727776338}, {"parameter": "[6, 8, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680131202211073030438575442}, {"parameter": "[6, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680131202211073030144212793}, {"parameter": "[6, 8, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680131202211073030144212793}, {"parameter": "[6, 8, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543702669201990590054374515115}, {"parameter": "[6, 8, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543702669201990590054080152466}, {"parameter": "[6, 8, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543702669201990590054080152466}, {"parameter": "[6, 9, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18562115921213145385315922030965}, {"parameter": "[6, 9, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18562115921213145385315922030965}, {"parameter": "[6, 9, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18562115922358642955381696371954}, {"parameter": "[6, 9, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 18562115922358642955381696371954}, {"parameter": "[6, 9, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 18562116381004123880259883409667}, {"parameter": "[6, 9, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18562116381004123880259883409667}, {"parameter": "[6, 10, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692461235631229206213122}, {"parameter": "[6, 10, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692293033529798253221881}, {"parameter": "[6, 10, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818701653145385918183029287}, {"parameter": "[7, 3, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1104493386606560330702484695}, {"parameter": "[7, 3, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1104493386687709610062190048}, {"parameter": "[7, 3, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104493414535206589673971135}, {"parameter": "[7, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 54116956229533343148692334002}, {"parameter": "[7, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 54116956229533347894264970793}, {"parameter": "[7, 4, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116956229614768479002826554}, {"parameter": "[7, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 54116956229533343148692334002}, {"parameter": "[7, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 54116956229533347894264970793}, {"parameter": "[7, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116956229614768479002826554}, {"parameter": "[7, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730855439273586671433285602}, {"parameter": "[7, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730855439273586671715659666}, {"parameter": "[7, 5, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730855439273591516166281201}, {"parameter": "[7, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860212017643112565552}, {"parameter": "[7, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860212017643394939616}, {"parameter": "[7, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860212022487845561151}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860212017643112565552}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860212017643394939616}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860212022487845561151}, {"parameter": "[7, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845887582393396827529501}, {"parameter": "[7, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845887582393396785509551}, {"parameter": "[7, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845887582393397073766408}, {"parameter": "[7, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192663329151}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192621309201}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192909566058}, {"parameter": "[7, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845887023847532744245494}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845887023847532702225544}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845887023847532990482401}, {"parameter": "[7, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859734897206774570795}, {"parameter": "[7, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859734897206480431145}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859734897206480431145}, {"parameter": "[7, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859733268793176660346}, {"parameter": "[7, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859733268792882520696}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859733268792882520696}, {"parameter": "[7, 7, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730847200723724604441859601}, {"parameter": "[7, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730847200723724604147719951}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730847200723724604147719951}, {"parameter": "[7, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 54116956038033541941149705992}, {"parameter": "[7, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116956038033541941149705992}, {"parameter": "[7, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 54116956038031904032428775657}, {"parameter": "[7, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116956038031904032428775657}, {"parameter": "[7, 8, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 54116957379020764597492376296}, {"parameter": "[7, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116957379020764597492376296}, {"parameter": "[7, 9, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104427674325346172922707553}, {"parameter": "[7, 9, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104427674323712914582137480}, {"parameter": "[7, 9, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104427701612668761840909839}, {"parameter": "[8, 3, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 54120176135289156344315438457}, {"parameter": "[8, 3, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 54120176135289190154571632157}, {"parameter": "[8, 3, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 54120176135859338380740163257}, {"parameter": "[8, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651888621242246863449763022751}, {"parameter": "[8, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651888621242246863451740349151}, {"parameter": "[8, 4, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651888621242246897375040427651}, {"parameter": "[8, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651888621242246863449763022751}, {"parameter": "[8, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651888621242246863451740349151}, {"parameter": "[8, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651888621242246897375040427651}, {"parameter": "[8, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 129942542441038300034805369032156}, {"parameter": "[8, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 129942542441038300034805327837856}, {"parameter": "[8, 5, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129942542441038300034807346358556}, {"parameter": "[8, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 129942542440842729190109922017705}, {"parameter": "[8, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 129942542440842729190109880823405}, {"parameter": "[8, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129942542440842729190111899344105}, {"parameter": "[8, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 129942542440842729190109922017705}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129942542440842729190109880823405}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129942542440842729190111899344105}, {"parameter": "[8, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 129942542440843297743833921312256}, {"parameter": "[8, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 129942542440843297743833627067256}, {"parameter": "[8, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129942542440843297743833627067256}, {"parameter": "[8, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 129942542440842727566444138667899}, {"parameter": "[8, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 129942542440842727566443844422899}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129942542440842727566443844422899}, {"parameter": "[8, 6, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 129942542440842807358710436279900}, {"parameter": "[8, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129942542440842807358710142034900}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129942542440842807358710142034900}, {"parameter": "[8, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651888621241688351510915949344}, {"parameter": "[8, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651888621241688351510915949344}, {"parameter": "[8, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651888621241688322333482529636}, {"parameter": "[8, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651888621241688322333482529636}, {"parameter": "[8, 7, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651888621241768109949107642101}, {"parameter": "[8, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651888621241768109949107642101}, {"parameter": "[8, 8, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 54120175943707958775982544156}, {"parameter": "[8, 8, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 54120175943707929596253910107}, {"parameter": "[8, 8, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 54120175943787717116963439684}, {"parameter": "[9, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651734075153448168470595791714}, {"parameter": "[9, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651734075153448168472941769264}, {"parameter": "[9, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651734075153448208031294608514}, {"parameter": "[9, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 129934969682491593136132367805642}, {"parameter": "[9, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934969682491593136132319768492}, {"parameter": "[9, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934969682491593136134673588842}, {"parameter": "[9, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 129934969682491593136132367805642}, {"parameter": "[9, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934969682491593136132319768492}, {"parameter": "[9, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934969682491593136134673588842}, {"parameter": "[9, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366813514442088648774206879876007}, {"parameter": "[9, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366813514442088648774206831838857}, {"parameter": "[9, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366813514442088648774206831838857}, {"parameter": "[9, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366813514442087983882964973868800}, {"parameter": "[9, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366813514442087983882964925831650}, {"parameter": "[9, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366813514442087983882964925831650}, {"parameter": "[9, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366813514442087983882964973868800}, {"parameter": "[9, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366813514442087983882964925831650}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366813514442087983882964925831650}, {"parameter": "[9, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934969682491591547279380480493}, {"parameter": "[9, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934969682491591547279380480493}, {"parameter": "[9, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934969682491591507719004333292}, {"parameter": "[9, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934969682491591507719004333292}, {"parameter": "[9, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934969682491591512466565843235}, {"parameter": "[9, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934969682491591512466565843235}, {"parameter": "[9, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651734075152889622608858485257}, {"parameter": "[9, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651734075152889622606787156963}, {"parameter": "[9, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651734075152889627354071956458}, {"parameter": "[10, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 129934814670094077260854541059771}, {"parameter": "[10, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934814670094077260854533216971}, {"parameter": "[10, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934814670094077260856887037321}, {"parameter": "[10, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366805918834609705994353432844271}, {"parameter": "[10, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805918834609705994353384807121}, {"parameter": "[10, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805918834609705994353384807121}, {"parameter": "[10, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366805918834609705994353432844271}, {"parameter": "[10, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805918834609705994353384807121}, {"parameter": "[10, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805918834609705994353384807121}, {"parameter": "[10, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805918834609706029166481919628}, {"parameter": "[10, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805918834609706029166481919628}, {"parameter": "[10, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805918834609705989606105772427}, {"parameter": "[10, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805918834609705989606105772427}, {"parameter": "[10, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805918834609705989606105772427}, {"parameter": "[10, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805918834609705989606105772427}, {"parameter": "[10, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934814670094075632443289126872}, {"parameter": "[10, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934814670094075632440935323329}, {"parameter": "[10, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934814670094075632441217798578}, {"parameter": "[11, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 129934815128641798036049926034034}, {"parameter": "[11, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934815128641798036049918191234}, {"parameter": "[11, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934815128641798036049918191234}, {"parameter": "[11, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934815128641798031302639156540}, {"parameter": "[11, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934815128641798031302639156540}, {"parameter": "[11, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934815128641798031302639156540}, {"parameter": "[11, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934815128641798031302639156540}, {"parameter": "[11, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934815128641798031304710501641}, {"parameter": "[11, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934815128641798031302356698098}, {"parameter": "[11, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934815128641798031302356698098}, {"parameter": "[12, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730921164083543748417612656}, {"parameter": "[12, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730921164083543748417612656}, {"parameter": "[12, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730921164083543748135154214}, {"parameter": "[12, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730921164083543748135154214}, {"parameter": "[13, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116957574777220618159394143}, {"parameter": "[5, 3, 3, 8],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 54120241847651519782318614448}, {"parameter": "[5, 3, 3, 8],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 54120241847651525302314479944}, {"parameter": "[5, 3, 3, 8],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 54120241847744609951929072432}, {"parameter": "[5, 3, 4, 7],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651888621433828094830294867904}, {"parameter": "[5, 3, 4, 7],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651888621433828094830617694016}, {"parameter": "[5, 3, 4, 7],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651888621433828100369069550296}, {"parameter": "[5, 3, 4, 7],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651888621433828094830294867904}, {"parameter": "[5, 3, 4, 7],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651888621433828094830617694016}, {"parameter": "[5, 3, 4, 7],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651888621433828100369069550296}, {"parameter": "[5, 3, 5, 6],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 129942542440874657495524117622000}, {"parameter": "[5, 3, 5, 6],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 129942542440874657495524110896456}, {"parameter": "[5, 3, 5, 6],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129942542440874657495524440448112}, {"parameter": "[5, 3, 5, 6],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 129942542440843287735973970732464}, {"parameter": "[5, 3, 5, 6],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 129942542440843287735973964006920}, {"parameter": "[5, 3, 5, 6],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129942542440843287735974293558576}, {"parameter": "[5, 3, 5, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 129942542440843287735973970732464}, {"parameter": "[5, 3, 5, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129942542440843287735973964006920}, {"parameter": "[5, 3, 5, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129942542440843287735974293558576}, {"parameter": "[5, 3, 6, 5],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 129942542440842820651882417814408}, {"parameter": "[5, 3, 6, 5],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 129942542440842820651882369774808}, {"parameter": "[5, 3, 6, 5],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129942542440842820651882369774808}, {"parameter": "[5, 3, 6, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 129942542440842729194857490272456}, {"parameter": "[5, 3, 6, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 129942542440842729194857442232856}, {"parameter": "[5, 3, 6, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129942542440842729194857442232856}, {"parameter": "[5, 3, 6, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 129942542440870177734463868800800}, {"parameter": "[5, 3, 6, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129942542440870177734463820761200}, {"parameter": "[5, 3, 6, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129942542440870177734463820761200}, {"parameter": "[5, 3, 7, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651888621241688323124413126344}, {"parameter": "[5, 3, 7, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651888621241688323124413126344}, {"parameter": "[5, 3, 7, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651888621241689950843969350000}, {"parameter": "[5, 3, 7, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651888621241689950843969350000}, {"parameter": "[5, 3, 7, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651888621269136890619008037960}, {"parameter": "[5, 3, 7, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651888621269136890619008037960}, {"parameter": "[5, 3, 8, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 54120175943707930387790752112}, {"parameter": "[5, 3, 8, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 54120175943709558011834811608}, {"parameter": "[5, 3, 8, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 54120175971156465135912986096}, {"parameter": "[5, 4, 3, 7],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730855439273586671434130810}, {"parameter": "[5, 4, 3, 7],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730855439273586673416377146}, {"parameter": "[5, 4, 3, 7],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730855439273620098459158906}, {"parameter": "[5, 4, 3, 7],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730855439273586671434130810}, {"parameter": "[5, 4, 3, 7],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730855439273586673416377146}, {"parameter": "[5, 4, 3, 7],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730855439273620098459158906}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 129934811907110116836189828577290}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811907110116836189787988042}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811907110116836191776861194}, {"parameter": "[5, 4, 4, 6],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 129934811907110116836189828577290}, {"parameter": "[5, 4, 4, 6],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811907110116836189787988042}, {"parameter": "[5, 4, 4, 6],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811907110116836191776861194}, {"parameter": "[5, 4, 4, 6],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 129934811907110116836189828577290}, {"parameter": "[5, 4, 4, 6],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811907110116836189787988042}, {"parameter": "[5, 4, 4, 6],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811907110116836191776861194}, {"parameter": "[5, 4, 4, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 129934811907110116836189828577290}, {"parameter": "[5, 4, 4, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811907110116836189787988042}, {"parameter": "[5, 4, 4, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811907110116836191776861194}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368838241132108409682}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368838241132067820434}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368838241132067820434}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368278066854427215226}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368278066854386625978}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368278066854386625978}, {"parameter": "[5, 4, 5, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368278066854427215226}, {"parameter": "[5, 4, 5, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368278066854386625978}, {"parameter": "[5, 4, 5, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368278066854386625978}, {"parameter": "[5, 4, 5, 5],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368838241132108409682}, {"parameter": "[5, 4, 5, 5],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368838241132067820434}, {"parameter": "[5, 4, 5, 5],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368838241132067820434}, {"parameter": "[5, 4, 5, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368278066854427215226}, {"parameter": "[5, 4, 5, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368278066854386625978}, {"parameter": "[5, 4, 5, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368278066854386625978}, {"parameter": "[5, 4, 5, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368278066854427215226}, {"parameter": "[5, 4, 5, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368278066854386625978}, {"parameter": "[5, 4, 5, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805783448368278066854386625978}, {"parameter": "[5, 4, 6, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811907109556695339097859250}, {"parameter": "[5, 4, 6, 4],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811907109556695339097859250}, {"parameter": "[5, 4, 6, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811907109556662009278279242}, {"parameter": "[5, 4, 6, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811907109556662009278279242}, {"parameter": "[5, 4, 6, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811907109558295170437699634}, {"parameter": "[5, 4, 6, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811907109558295170437699634}, {"parameter": "[5, 4, 6, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811907109556695339097859250}, {"parameter": "[5, 4, 6, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811907109556695339097859250}, {"parameter": "[5, 4, 6, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811907109556662009278279242}, {"parameter": "[5, 4, 6, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811907109556662009278279242}, {"parameter": "[5, 4, 6, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811907109558295170437699634}, {"parameter": "[5, 4, 6, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811907109558295170437699634}, {"parameter": "[5, 4, 7, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730855247133809428766678738}, {"parameter": "[5, 4, 7, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730855247133809523955072850}, {"parameter": "[5, 4, 7, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730855247135442589926099130}, {"parameter": "[5, 4, 7, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730855247133809428766678738}, {"parameter": "[5, 4, 7, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730855247133809523955072850}, {"parameter": "[5, 4, 7, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730855247135442589926099130}, {"parameter": "[5, 5, 3, 6],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 129934811456538429376437668860049}, {"parameter": "[5, 5, 3, 6],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811456538429376437662233233}, {"parameter": "[5, 5, 3, 6],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811456538429376439651106385}, {"parameter": "[5, 5, 3, 6],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150949038789914554400}, {"parameter": "[5, 5, 3, 6],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150949038789907927584}, {"parameter": "[5, 5, 3, 6],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150949038791896800736}, {"parameter": "[5, 5, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150949038789914554400}, {"parameter": "[5, 5, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150949038789907927584}, {"parameter": "[5, 5, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150949038791896800736}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366805761370355592539000265229585}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805761370355592539000224640337}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805761370355592539000224640337}, {"parameter": "[5, 5, 4, 5],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366805761370355592539000265229585}, {"parameter": "[5, 5, 4, 5],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805761370355592539000224640337}, {"parameter": "[5, 5, 4, 5],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805761370355592539000224640337}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369055994260304252784}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369055994260263663536}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369055994260263663536}, {"parameter": "[5, 5, 4, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369055994260304252784}, {"parameter": "[5, 5, 4, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369055994260263663536}, {"parameter": "[5, 5, 4, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369055994260263663536}, {"parameter": "[5, 5, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369055994260304252784}, {"parameter": "[5, 5, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369055994260263663536}, {"parameter": "[5, 5, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369055994260263663536}, {"parameter": "[5, 5, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369055994260304252784}, {"parameter": "[5, 5, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369055994260263663536}, {"parameter": "[5, 5, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369055994260263663536}, {"parameter": "[5, 5, 5, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805761370355590939266056285609}, {"parameter": "[5, 5, 5, 4],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805761370355590939266056285609}, {"parameter": "[5, 5, 5, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805761370355590905936236705601}, {"parameter": "[5, 5, 5, 4],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805761370355590905936236705601}, {"parameter": "[5, 5, 5, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805761370355590905936236705601}, {"parameter": "[5, 5, 5, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805761370355590905936236705601}, {"parameter": "[5, 5, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369054394526095308808}, {"parameter": "[5, 5, 5, 4],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369054394526095308808}, {"parameter": "[5, 5, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369054361196275728800}, {"parameter": "[5, 5, 5, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369054361196275728800}, {"parameter": "[5, 5, 5, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369054361196275728800}, {"parameter": "[5, 5, 5, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369054361196275728800}, {"parameter": "[5, 5, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369054394526095308808}, {"parameter": "[5, 5, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369054394526095308808}, {"parameter": "[5, 5, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369054361196275728800}, {"parameter": "[5, 5, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369054361196275728800}, {"parameter": "[5, 5, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369054361196275728800}, {"parameter": "[5, 5, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805760910369054361196275728800}, {"parameter": "[5, 5, 6, 3],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811456537869202161969911929}, {"parameter": "[5, 5, 6, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811456537869202159986820385}, {"parameter": "[5, 5, 6, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811456537869202257158306041}, {"parameter": "[5, 5, 6, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150388864514215606280}, {"parameter": "[5, 5, 6, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150388864512232514736}, {"parameter": "[5, 5, 6, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150388864609404000392}, {"parameter": "[5, 5, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150388864514215606280}, {"parameter": "[5, 5, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150388864512232514736}, {"parameter": "[5, 5, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150388864609404000392}, {"parameter": "[5, 6, 3, 5],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150470289939731706393}, {"parameter": "[5, 6, 3, 5],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150470289939684490329}, {"parameter": "[5, 6, 3, 5],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150470289939684490329}, {"parameter": "[5, 6, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 129934811447123101542599650790050}, {"parameter": "[5, 6, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811447123101542599603573986}, {"parameter": "[5, 6, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811447123101542599603573986}, {"parameter": "[5, 6, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 129934811448464170162263615690857}, {"parameter": "[5, 6, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811448464170162263568474793}, {"parameter": "[5, 6, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811448464170162263568474793}, {"parameter": "[5, 6, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150468656875696555593}, {"parameter": "[5, 6, 4, 4],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150468656875696555593}, {"parameter": "[5, 6, 4, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150468656875696555593}, {"parameter": "[5, 6, 4, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150468656875696555593}, {"parameter": "[5, 6, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811447123099909535615639250}, {"parameter": "[5, 6, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811447123099909535615639250}, {"parameter": "[5, 6, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811447123099909535615639250}, {"parameter": "[5, 6, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811447123099909535615639250}, {"parameter": "[5, 6, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811448464168529199580540057}, {"parameter": "[5, 6, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811448464168529199580540057}, {"parameter": "[5, 6, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 129934811448464168529199580540057}, {"parameter": "[5, 6, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811448464168529199580540057}, {"parameter": "[5, 6, 5, 3],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150468656792695791145}, {"parameter": "[5, 6, 5, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150468656778530851545}, {"parameter": "[5, 6, 5, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811447150468656778530851545}, {"parameter": "[5, 6, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811447123099909452614874802}, {"parameter": "[5, 6, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811447123099909438449935202}, {"parameter": "[5, 6, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811447123099909438449935202}, {"parameter": "[5, 6, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811448464168529116579775609}, {"parameter": "[5, 6, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811448464168529102414836009}, {"parameter": "[5, 6, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 129934811448464168529102414836009}, {"parameter": "[5, 7, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655105037360187593}, {"parameter": "[5, 7, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655105037360187593}, {"parameter": "[5, 7, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859733268890059889145}, {"parameter": "[5, 7, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859733268890059889145}, {"parameter": "[5, 7, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730847200723724701325088400}, {"parameter": "[5, 7, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730847200723724701325088400}, {"parameter": "[5, 7, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655104940194483545}, {"parameter": "[5, 7, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655104940194483545}, {"parameter": "[5, 7, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859733268792894185097}, {"parameter": "[5, 7, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859733268792894185097}, {"parameter": "[5, 7, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730847200723724604159384352}, {"parameter": "[5, 7, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730847200723724604159384352}, {"parameter": "[5, 8, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116956037953744927337662905}, {"parameter": "[5, 8, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116956038031904032475854514}, {"parameter": "[5, 8, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116957379020764597539455153}, {"parameter": "[6, 3, 3, 7],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 157786138511096322506412848}, {"parameter": "[6, 3, 3, 7],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 157786138511096324846644805}, {"parameter": "[6, 3, 3, 7],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 157786138511135786316120800}, {"parameter": "[6, 3, 4, 6],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 7731453710235230992624640915}, {"parameter": "[6, 3, 4, 6],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 7731453710235230992576721414}, {"parameter": "[6, 3, 4, 6],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7731453710235230994924776963}, {"parameter": "[6, 3, 4, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 7731453710235230992624640915}, {"parameter": "[6, 3, 4, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7731453710235230992576721414}, {"parameter": "[6, 3, 4, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7731453710235230994924776963}, {"parameter": "[6, 3, 5, 5],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 378841231606618741516723155101}, {"parameter": "[6, 3, 5, 5],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 378841231606618741516675235600}, {"parameter": "[6, 3, 5, 5],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 378841231606618741516675235600}, {"parameter": "[6, 3, 5, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 378841231605967110214114418693}, {"parameter": "[6, 3, 5, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 378841231605967110214066499192}, {"parameter": "[6, 3, 5, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378841231605967110214066499192}, {"parameter": "[6, 3, 5, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 378841231605967110214114418693}, {"parameter": "[6, 3, 5, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378841231605967110214066499192}, {"parameter": "[6, 3, 5, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378841231605967110214066499192}, {"parameter": "[6, 3, 6, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7731453706244028727867822958}, {"parameter": "[6, 3, 6, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7731453706244028727867822958}, {"parameter": "[6, 3, 6, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 7731453706243989956445046214}, {"parameter": "[6, 3, 6, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7731453706243989956445046214}, {"parameter": "[6, 3, 6, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7731453706255626229705916507}, {"parameter": "[6, 3, 6, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7731453706255626229705916507}, {"parameter": "[6, 3, 7, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 157784769515183456717543648}, {"parameter": "[6, 3, 7, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 157784769515184146757517355}, {"parameter": "[6, 3, 7, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 157784769526819741801079600}, {"parameter": "[6, 4, 3, 6],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993751067433592744580457}, {"parameter": "[6, 4, 3, 6],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993751067433592697364393}, {"parameter": "[6, 4, 3, 6],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993751067433606868085601}, {"parameter": "[6, 4, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993751067433592744580457}, {"parameter": "[6, 4, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993751067433592697364393}, {"parameter": "[6, 4, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993751067433606868085601}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 378818693606745037620233438579}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818693606745037619944240187}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693606745037619944240187}, {"parameter": "[6, 4, 4, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 378818693606745037620233438579}, {"parameter": "[6, 4, 4, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818693606745037619944240187}, {"parameter": "[6, 4, 4, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693606745037619944240187}, {"parameter": "[6, 4, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 378818693606745037620233438579}, {"parameter": "[6, 4, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818693606745037619944240187}, {"parameter": "[6, 4, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693606745037619944240187}, {"parameter": "[6, 4, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 378818693606745037620233438579}, {"parameter": "[6, 4, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818693606745037619944240187}, {"parameter": "[6, 4, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693606745037619944240187}, {"parameter": "[6, 4, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733639513994712750}, {"parameter": "[6, 4, 5, 4],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733639513994712750}, {"parameter": "[6, 4, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733402039030205193}, {"parameter": "[6, 4, 5, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733402039030205193}, {"parameter": "[6, 4, 5, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733402039030205193}, {"parameter": "[6, 4, 5, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733402039030205193}, {"parameter": "[6, 4, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733639513994712750}, {"parameter": "[6, 4, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733639513994712750}, {"parameter": "[6, 4, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733402039030205193}, {"parameter": "[6, 4, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733402039030205193}, {"parameter": "[6, 4, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733402039030205193}, {"parameter": "[6, 4, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733402039030205193}, {"parameter": "[6, 4, 6, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993747076191878389575102}, {"parameter": "[6, 4, 6, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993747076191864260047851}, {"parameter": "[6, 4, 6, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993747076192556606883150}, {"parameter": "[6, 4, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993747076191878389575102}, {"parameter": "[6, 4, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993747076191864260047851}, {"parameter": "[6, 4, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993747076192556606883150}, {"parameter": "[6, 5, 3, 5],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 378818692461247262651473569895}, {"parameter": "[6, 5, 3, 5],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818692461247262651426353831}, {"parameter": "[6, 5, 3, 5],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692461247262651426353831}, {"parameter": "[6, 5, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 378818692265756210222324167445}, {"parameter": "[6, 5, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818692265756210222276951381}, {"parameter": "[6, 5, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265756210222276951381}, {"parameter": "[6, 5, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 378818692265756210222324167445}, {"parameter": "[6, 5, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818692265756210222276951381}, {"parameter": "[6, 5, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265756210222276951381}, {"parameter": "[6, 5, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818692461235627070512318837}, {"parameter": "[6, 5, 4, 4],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692461235627070512318837}, {"parameter": "[6, 5, 4, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818692461235627070512318837}, {"parameter": "[6, 5, 4, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692461235627070512318837}, {"parameter": "[6, 5, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744574641362916387}, {"parameter": "[6, 5, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744574641362916387}, {"parameter": "[6, 5, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744574641362916387}, {"parameter": "[6, 5, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744574641362916387}, {"parameter": "[6, 5, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744574641362916387}, {"parameter": "[6, 5, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744574641362916387}, {"parameter": "[6, 5, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744574641362916387}, {"parameter": "[6, 5, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744574641362916387}, {"parameter": "[6, 5, 5, 3],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692461235626392336204746}, {"parameter": "[6, 5, 5, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692461235626378206677495}, {"parameter": "[6, 5, 5, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692461235626378206677495}, {"parameter": "[6, 5, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744573963186802296}, {"parameter": "[6, 5, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744573949057275045}, {"parameter": "[6, 5, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744573949057275045}, {"parameter": "[6, 5, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744573963186802296}, {"parameter": "[6, 5, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744573949057275045}, {"parameter": "[6, 5, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744573949057275045}, {"parameter": "[6, 6, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719719081489750807400}, {"parameter": "[6, 6, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719719081489750807400}, {"parameter": "[6, 6, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707449964051447050}, {"parameter": "[6, 6, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707449964051447050}, {"parameter": "[6, 6, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719787242230349059051}, {"parameter": "[6, 6, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719787242230349059051}, {"parameter": "[6, 6, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719719080797445166058}, {"parameter": "[6, 6, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719719080797445166058}, {"parameter": "[6, 6, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707449271745805708}, {"parameter": "[6, 6, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707449271745805708}, {"parameter": "[6, 6, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719787241538043417709}, {"parameter": "[6, 6, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719787241538043417709}, {"parameter": "[6, 7, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 157775382034846499045109100}, {"parameter": "[6, 7, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 157775382034850554542258993}, {"parameter": "[6, 7, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 157775382114638170167371458}, {"parameter": "[7, 3, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 460041834213697859727542}, {"parameter": "[7, 3, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 460041834213697804981550}, {"parameter": "[7, 3, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 460041834213714235622399}, {"parameter": "[7, 3, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22540681440737349846093257}, {"parameter": "[7, 3, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681440737349510774056}, {"parameter": "[7, 3, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681440737349510774056}, {"parameter": "[7, 3, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22540681440737349846093257}, {"parameter": "[7, 3, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681440737349510774056}, {"parameter": "[7, 3, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681440737349510774056}, {"parameter": "[7, 3, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681359588071834490806}, {"parameter": "[7, 3, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359588071834490806}, {"parameter": "[7, 3, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681359316766786737262}, {"parameter": "[7, 3, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359316766786737262}, {"parameter": "[7, 3, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681359316766786737262}, {"parameter": "[7, 3, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359316766786737262}, {"parameter": "[7, 3, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 460013905292096473511600}, {"parameter": "[7, 3, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 460013905292080331127608}, {"parameter": "[7, 3, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 460013905296925064123207}, {"parameter": "[7, 4, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539340451909952178804451}, {"parameter": "[7, 4, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340451909951848407587}, {"parameter": "[7, 4, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340451909951848407587}, {"parameter": "[7, 4, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539340451909952178804451}, {"parameter": "[7, 4, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340451909951848407587}, {"parameter": "[7, 4, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340451909951848407587}, {"parameter": "[7, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340370489369124370793}, {"parameter": "[7, 4, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370489369124370793}, {"parameter": "[7, 4, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340370489369124370793}, {"parameter": "[7, 4, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370489369124370793}, {"parameter": "[7, 4, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340370489369124370793}, {"parameter": "[7, 4, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370489369124370793}, {"parameter": "[7, 4, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340370489369124370793}, {"parameter": "[7, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370489369124370793}, {"parameter": "[7, 4, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484623551734002}, {"parameter": "[7, 4, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484524679632051}, {"parameter": "[7, 4, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484524679632051}, {"parameter": "[7, 4, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484623551734002}, {"parameter": "[7, 4, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484524679632051}, {"parameter": "[7, 4, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484524679632051}, {"parameter": "[7, 5, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340372122530283791185}, {"parameter": "[7, 5, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340372122530283791185}, {"parameter": "[7, 5, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340290701850388268735}, {"parameter": "[7, 5, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290701850388268735}, {"parameter": "[7, 5, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340290701850388268735}, {"parameter": "[7, 5, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290701850388268735}, {"parameter": "[7, 5, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340372117685839052443}, {"parameter": "[7, 5, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340372117685839052443}, {"parameter": "[7, 5, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697005943529993}, {"parameter": "[7, 5, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697005943529993}, {"parameter": "[7, 5, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697005943529993}, {"parameter": "[7, 5, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697005943529993}, {"parameter": "[7, 6, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 459986536549585024266358}, {"parameter": "[7, 6, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 459986536544740573746008}, {"parameter": "[7, 6, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 459986536549488135255951}, {"parameter": "[8, 3, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22540682009286326084735257}, {"parameter": "[8, 3, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540682009286325701376057}, {"parameter": "[8, 3, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540682009286325701376057}, {"parameter": "[8, 3, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681439138113634626657}, {"parameter": "[8, 3, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681439138113634626657}, {"parameter": "[8, 3, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681439138113634626657}, {"parameter": "[8, 3, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681439138113634626657}, {"parameter": "[8, 3, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681439104303412901657}, {"parameter": "[8, 3, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681439104190375742457}, {"parameter": "[8, 3, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681439104190375742457}, {"parameter": "[8, 4, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681359350594932993299}, {"parameter": "[8, 4, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359350594932993299}, {"parameter": "[8, 4, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681359350594932993299}, {"parameter": "[8, 4, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359350594932993299}, {"parameter": "[8, 4, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359316671674109099}, {"parameter": "[8, 4, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359316671674109099}, {"parameter": "[8, 4, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359316671674109099}, {"parameter": "[8, 4, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359316671674109099}, {"parameter": "[8, 5, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359345849390004056}, {"parameter": "[8, 5, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359311924395074405}, {"parameter": "[8, 5, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359311924395074405}, {"parameter": "[9, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539367739276172694506836}, {"parameter": "[9, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539367739276172694506836}, {"parameter": "[9, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539367739236614389704736}, {"parameter": "[9, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539367739236614389704736}, {"parameter": "[9, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539367739231867150864392}, {"parameter": "[9, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539367739231867150864392}, {"parameter": "[10, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340849769851704539321}, {"parameter": "[5, 3, 3, 3, 5],[0, 2, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22540708900941714581961136}, {"parameter": "[5, 3, 3, 3, 5],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540708900941714519372400}, {"parameter": "[5, 3, 3, 3, 5],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540708900941714519372400}, {"parameter": "[5, 3, 3, 4, 4],[0, 2, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540708807857067207092448}, {"parameter": "[5, 3, 3, 4, 4],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540708807857067207092448}, {"parameter": "[5, 3, 3, 4, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540708807857067207092448}, {"parameter": "[5, 3, 3, 4, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540708807857067207092448}, {"parameter": "[5, 3, 3, 5, 3],[0, 2, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540708807851547216854448}, {"parameter": "[5, 3, 3, 5, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540708807851528761961712}, {"parameter": "[5, 3, 3, 5, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540708807851528761961712}, {"parameter": "[5, 3, 4, 3, 4],[0, 2, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681360950621993611992}, {"parameter": "[5, 3, 4, 3, 4],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681360950621993611992}, {"parameter": "[5, 3, 4, 3, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681360950621993611992}, {"parameter": "[5, 3, 4, 3, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681360950621993611992}, {"parameter": "[5, 3, 4, 4, 3],[0, 2, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681360945083548481256}, {"parameter": "[5, 3, 4, 4, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681360945083548481256}, {"parameter": "[5, 3, 4, 4, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681360945083548481256}, {"parameter": "[5, 3, 4, 4, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681360945083548481256}, {"parameter": "[5, 3, 5, 3, 3],[0, 2, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359317461163743256}, {"parameter": "[5, 3, 5, 3, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359312019560546520}, {"parameter": "[5, 3, 5, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359312019560546520}, {"parameter": "[5, 4, 3, 3, 4],[0, 1, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340372151112542706458}, {"parameter": "[5, 4, 3, 3, 4],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340372151112542706458}, {"parameter": "[5, 4, 3, 3, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340372151112542706458}, {"parameter": "[5, 4, 3, 3, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340372151112542706458}, {"parameter": "[5, 4, 3, 4, 3],[0, 1, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340372117687540513946}, {"parameter": "[5, 4, 3, 4, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340372117687540513946}, {"parameter": "[5, 4, 3, 4, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340372117687540513946}, {"parameter": "[5, 4, 3, 4, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340372117687540513946}, {"parameter": "[5, 4, 4, 3, 3],[0, 1, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484623586541642}, {"parameter": "[5, 4, 4, 3, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484623586541642}, {"parameter": "[5, 4, 4, 3, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484623586541642}, {"parameter": "[5, 4, 4, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484623586541642}, {"parameter": "[5, 5, 3, 3, 3],[0, 0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340292325518414387601}, {"parameter": "[5, 5, 3, 3, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697104816477152}, {"parameter": "[5, 5, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697104816477152}, {"parameter": "[6, 3, 3, 3, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1341160087667300958443}, {"parameter": "[6, 3, 3, 3, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341160087667300958443}, {"parameter": "[6, 3, 3, 4, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341160048205879401949}, {"parameter": "[6, 3, 3, 4, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341160048205879401949}, {"parameter": "[6, 3, 4, 3, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341148412625005462864}, {"parameter": "[6, 3, 4, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341148412625005462864}, {"parameter": "[6, 4, 3, 3, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068625118092026465}, {"parameter": "[6, 4, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068625118092026465}, {"parameter": "[7, 3, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79801875078481991}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 157776727581602980225638200}], "request": [7, 19, 6, 5], "liftedmrdsizebound": 311973491518863359498010689554147649, "comments": "", "equal_bound_constraints": []}