{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 467455771483523568551302853258472608792870981791648312186505}, {"parameter": "", "name": "singleton", "value": 54418806485048320298126020637699477339315297310345}, {"parameter": "5", "name": "ilp_2", "value": 47616637318166345607857311819929827082815270108758}, {"parameter": "7", "name": "ilp_3", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "", "name": "anticode", "value": 47616637318166345607857311819929827082815270108758}, {"parameter": "", "name": "linear_programming_bound", "value": 47616637318166345607857311819929827082815270108758}, {"parameter": "", "name": "sphere_packing", "value": 467455771483523568551302853258472608792870981791648312186505}, {"parameter": "1", "name": "ilp_1", "value": 47616637279363202499920482856493715805229489361479}, {"parameter": "2", "name": "ilp_1", "value": 47616637279363202499920482856493715805230564713087}, {"parameter": "3", "name": "ilp_1", "value": 47616637279363202499920482856945786920749336786390}, {"parameter": "4", "name": "ilp_1", "value": 47616637279363202503811343507392308171473111624404}, {"parameter": "8", "name": "ilp_4", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "9", "name": "ilp_4", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "10", "name": "ilp_4", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "11", "name": "ilp_4", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "12", "name": "ilp_4", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "13", "name": "ilp_4", "value": 195037107068464913422073652318409208842614110260344035}, {"parameter": "14", "name": "ilp_4", "value": 24379718488188858058006478178771423898518474374288079}, {"parameter": "15", "name": "ilp_4", "value": 3047464632218798106895692002530778807175786697400831}, {"parameter": "16", "name": "ilp_4", "value": 380933098584133907971351160758717383992487361716808}, {"parameter": "", "name": "johnson_1", "value": 47616637279363202499920482856493715805229489361479}, {"parameter": "", "name": "johnson_2", "value": 380933098584133907971351160758717383992487361716808}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 467455771483523568551302853258472608792870981791648312186505}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 195037107068464913422073652318409208842614110260344035}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 24379718488188858058006478178771423898518474374288079}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 3047464632218798106895692002530778807175786697400831}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 380933098584133907971351160758717383992487361716808}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 47616637318166345607857311819929827082815270108758}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 47616637323016608976461378054394678643577690924197}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 47616637361818715960865591240922719172545275963907}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 47616637672235574112687045553257386316224738707006}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 47616640155570585028883271839224203470331879101800}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 47616660022259997266864616345450686165187033206540}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 47616818956372091581144061334927601499174067598274}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 47618090467464979708644061028197622856037186991555}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 47628265001356414456026690225520782283308616247163}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 47709818067616358637917278007501290120770029814570}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 48372436454443903999314486595963748286981820186837}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 54418806485048320298126020637699477339315297310345}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 467455771483523568551302853258472608792870981791648312186505}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 47616637318166345607857311819929827082815270108758}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 47616637279363202503811343507392308171473111624404}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 47616637279363202499920482856945786920749336786390}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 47616637279363202499920482856493715805230564713087}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 47616637279363202499920482856493715805177949557319}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1560307923721335339545311895129654919821612506401747050}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1560349589709437502301603765142044036954765285514954042}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1560682997741154935506871472852356667123950491691477285}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1563355400132365303281107865384554316602757395389619893}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1585068669560673000614682656449098279090330450878314500}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1783202253071230934395807391969095566387830751237232265}, {"parameter": "", "name": "improved_johnson", "value": 47616637279363202499920482856493715805229489361479}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 195037839453660286017740256472311022283928104875467848}], "known_codes": [], "upper_bound": 47616637279363202499920482856493715805177949557319, "classified": false, "lower_bound": 46779671233396171116050537713696416375261813580361, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 46768052394588893382517914646921056628989841375232}, {"parameter": "", "name": "sphere_covering", "value": 1271506243771972789032053674447773736109847818}, {"parameter": "", "name": "graham_sloane", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "", "name": "multicomponent", "value": 46768052438145036388962857182258713711089039704065}, {"parameter": "", "name": "construction_ST_B", "value": 46779475952678302550044408336348909871651620913152}, {"parameter": "", "name": "EF_special", "value": 46779671233395411929881098933346105696388708610177}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 46768052394601238803341012098519495436066283585536}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 46779473207292179264597494401551825229468864872448}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 46779475952678302550044408336349077183313797892984}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 46779671233396171116050537713696416375261813580361}, {"parameter": "", "name": "two_pivot_block_construction", "value": 46779473164404421765235623668052298861872163061760}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 5847660338897440181094750821942730715708117882216}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 46779475996245081936673220301400613729340621712024}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 46769706184162721890798080885227249950018139848704}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 46769706184162721890797926180501271140440939167744}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 46769706184162721890797926142722341529283591143424}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1430483900834095919996732367696681838498021376}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1430483900834095919977691786037751428996399104}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1430483900834095919977389555735769276309569536}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 11599224976666744621023711920254130671209676800}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 11599224976666744621025827540438456272265412608}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 11599224976666744621023410279095037372621651968}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 91394426473553244006472672826058906731787583488}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 91394426473553244006475090087402325631431344128}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 91394426473553244006472974467218000030375608320}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 730936088522027143123194312017737817263869526016}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 730936088522027143123194614248039799416556355584}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 730936088522027143123213654829698729826057977856}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 5847637570668404419924196826224232646777465733120}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 5847637570668404419924196864003162257934813757440}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 5847637570668404419924351568729141067512014438400}, {"parameter": "(6, 11)", "name": "CKMP2019_Lem_41", "value": 46769706184162721890797926142722339277483777458176}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 1430483900834095919977389554582847771702722560}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 11599224976666744621023409688799227013916000256}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 91394426473553244006472672235763096373081931776}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 730936088522027143123194312016584895759262679040}, {"parameter": "(11, 6)", "name": "CKMP2019_Lem_41", "value": 5847637570668404419924196826224230394977652047872}, {"parameter": "(6, 11)", "name": "CKMP2019_Cor_42", "value": 46769706184162721890797926142722339277483777458176}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 1430483900834095919977389554582847771702722560}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 11599224976666744621023409688799227013916000256}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 91394426473553244006472672235763096373081931776}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 730936088522027143123194312016584895759262679040}, {"parameter": "(11, 6)", "name": "CKMP2019_Cor_42", "value": 5847637570668404419924196826224230394977652047872}, {"parameter": "6", "name": "linkage_GLT", "value": 46768052394588893382517914651644740640399389747864}, {"parameter": "7", "name": "linkage_GLT", "value": 1427247692705959881058285969467514102146814528}, {"parameter": "8", "name": "linkage_GLT", "value": 11599218652528706241614588778510980363386654721}, {"parameter": "9", "name": "linkage_GLT", "value": 91394426461011917941708998505326434907435831361}, {"parameter": "10", "name": "linkage_GLT", "value": 730936088522003030984486499386189980215099260929}, {"parameter": "11", "name": "linkage_GLT", "value": 5847637570656058999101099374625791587901209837569}, {"parameter": "6", "name": "improved_linkage", "value": 46768052438155857235270073151432884281730181576201}, {"parameter": "7", "name": "improved_linkage", "value": 1427247694035563099426414841707025231368314910}, {"parameter": "8", "name": "improved_linkage", "value": 11599218652528746817887056715141359308923675453}, {"parameter": "9", "name": "improved_linkage", "value": 91394426461011917942947288650497390965579055104}, {"parameter": "10", "name": "improved_linkage", "value": 730936088522003030984486504109873991624647633560}, {"parameter": "11", "name": "improved_linkage", "value": 5847637570656058999101099374625809606866973905472}, {"parameter": "12", "name": "improved_linkage", "value": 5847659877623110146786507492812592339892966821889}, {"parameter": "13", "name": "improved_linkage", "value": 730957142266732498715385181401570726029497208897}, {"parameter": "14", "name": "improved_linkage", "value": 91369637432759359920951255163180630085516394497}, {"parameter": "15", "name": "improved_linkage", "value": 11420818172215861839006748548199963741642817537}, {"parameter": "6,0", "name": "generalized_linkage", "value": 46769706184162721890797926142722339277483777458176}, {"parameter": "6,1", "name": "generalized_linkage", "value": 46768078278801588435432479991242038203714486927360}, {"parameter": "6,2", "name": "generalized_linkage", "value": 46768052445060442013547358017238692308016721493400}, {"parameter": "6,3", "name": "generalized_linkage", "value": 46768052394685954417458788054595856325923787860110}, {"parameter": "6,4", "name": "generalized_linkage", "value": 46768052438155857235270073151432884281730181576201}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1430483900834095919977389554582847771702722560}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1427298346186925053756022757048036936553869312}, {"parameter": "7,2", "name": "generalized_linkage", "value": 1427247791473145723848026767889486198584901632}, {"parameter": "7,3", "name": "generalized_linkage", "value": 1427247692729697000452028898221218498691696229}, {"parameter": "7,4", "name": "generalized_linkage", "value": 1427247694035563099426414841707025231368314910}, {"parameter": "8,0", "name": "generalized_linkage", "value": 11599224976666744621023409688799227013916000256}, {"parameter": "8,1", "name": "generalized_linkage", "value": 11599218664897972810924923221727936683503812608}, {"parameter": "8,2", "name": "generalized_linkage", "value": 11599218652552825028503628524572113827534765888}, {"parameter": "8,3", "name": "generalized_linkage", "value": 11599218652528712038050758323756288464306044928}, {"parameter": "8,4", "name": "generalized_linkage", "value": 11599218652528746817887056715141359308923675453}, {"parameter": "9,0", "name": "generalized_linkage", "value": 91394426473553244006472672235763096373081931776}, {"parameter": "9,1", "name": "generalized_linkage", "value": 91394426461014938780158775444776494770842378752}, {"parameter": "9,2", "name": "generalized_linkage", "value": 91394426461011918677739680997202153319764545024}, {"parameter": "9,3", "name": "generalized_linkage", "value": 91394426461011917941885895747869711084442260824}, {"parameter": "9,4", "name": "generalized_linkage", "value": 91394426461011917942947288650497390965579055104}, {"parameter": "10,0", "name": "generalized_linkage", "value": 730936088522027143123194312016584895759262679040}, {"parameter": "10,1", "name": "generalized_linkage", "value": 730936088522003031733290599137781412572861997568}, {"parameter": "10,2", "name": "generalized_linkage", "value": 730936088522003030984508968009283225841245506424}, {"parameter": "10,3", "name": "generalized_linkage", "value": 730936088522003030984486500060982229113678197824}, {"parameter": "10,4", "name": "generalized_linkage", "value": 730936088522003030984486504109873991624647633560}, {"parameter": "11,0", "name": "generalized_linkage", "value": 5847637570668404419924196826224230394977652047872}, {"parameter": "11,1", "name": "generalized_linkage", "value": 5847637570656058999101279331761978227349500600832}, {"parameter": "11,2", "name": "generalized_linkage", "value": 5847637570656058999101099375321978023358398278008}, {"parameter": "11,3", "name": "generalized_linkage", "value": 5847637570656058999101099374625794162801744126537}, {"parameter": "11,4", "name": "generalized_linkage", "value": 5847637570656058999101099374625809606866973905472}, {"parameter": "12,1", "name": "generalized_linkage", "value": 5847659877623110146798024750212507338867148464640}, {"parameter": "12,2", "name": "generalized_linkage", "value": 5847659877623110146786507492812613253781964376952}, {"parameter": "12,3", "name": "generalized_linkage", "value": 5847659877623110146786507492812592339834182153353}, {"parameter": "12,4", "name": "generalized_linkage", "value": 5847659877623110146786507492812592339892966821889}, {"parameter": "13,2", "name": "generalized_linkage", "value": 730957142266732498715385181401738037691673922424}, {"parameter": "13,3", "name": "generalized_linkage", "value": 730957142266732498715385181401570726029496980041}, {"parameter": "13,4", "name": "generalized_linkage", "value": 730957142266732498715385181401570726029497208897}, {"parameter": "14,3", "name": "generalized_linkage", "value": 91369637432759359920951255163180630085516431945}, {"parameter": "14,4", "name": "generalized_linkage", "value": 91369637432759359920951255163180630085516394497}, {"parameter": "15,4", "name": "generalized_linkage", "value": 11420818172215861839006748548199963741642817537}, {"parameter": "[6, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 46769706184162721890797926142722339277483777458176}, {"parameter": "[6, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 46768078278801588435432479991242038203714486927360}, {"parameter": "[6, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 46768052445060442013547358017238692308016721493400}, {"parameter": "[6, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 46768052394685954417458788054595856325923787860110}, {"parameter": "[6, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 46768052438155857235270073151432884281730181576201}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1430483900834095919977389554582847771702722560}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1427298346186925053756022757048036936553869312}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1427247791473145723848026767889486198584901632}, {"parameter": "[7, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1427247692729697000452028898221218498691696229}, {"parameter": "[7, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1427247694035563099426414841707025231368314910}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 11599224976666744621023409688799227013916000256}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11599218664897972810924923221727936683503812608}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11599218652552825028503628524572113827534765888}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11599218652528712038050758323756288464306044928}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11599218652528746817887056715141359308923675453}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 91394426473553244006472672235763096373081931776}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 91394426461014938780158775444776494770842378752}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 91394426461011918677739680997202153319764545024}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 91394426461011917941885895747869711084442260824}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 91394426461011917942947288650497390965579055104}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 730936088522027143123194312016584895759262679040}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 730936088522003031733290599137781412572861997568}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 730936088522003030984508968009283225841245506424}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 730936088522003030984486500060982229113678197824}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 730936088522003030984486504109873991624647633560}, {"parameter": "[11, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5847637570668404419924196826224230394977652047872}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5847637570656058999101279331761978227349500600832}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5847637570656058999101099375321978023358398278008}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5847637570656058999101099374625794162801744126537}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5847637570656058999101099374625809606866973905472}, {"parameter": "[12, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5847659877623110146798024750212507338867148464640}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5847659877623110146786507492812613253781964376952}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5847659877623110146786507492812592339834182153353}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5847659877623110146786507492812592339892966821889}, {"parameter": "[13, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 730957142266732498715385181401738037691673922424}, {"parameter": "[13, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 730957142266732498715385181401570726029496980041}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 730957142266732498715385181401570726029497208897}, {"parameter": "[14, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 91369637432759359920951255163180630085516431945}, {"parameter": "[14, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 91369637432759359920951255163180630085516394497}, {"parameter": "[15, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11420818172215861839006748548199963741642817537}, {"parameter": "[6, 2, 9],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 11418031408229539495990248790666384284212789248}, {"parameter": "[6, 2, 9],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 11418031406336610283316912735422111082377904128}, {"parameter": "[6, 2, 9],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 13071814671619153208601106868828360851329122304}, {"parameter": "[6, 3, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 91343858837271905763942593505556479679496454144}, {"parameter": "[6, 3, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 91343858740653970647429798489866276055780687872}, {"parameter": "[6, 3, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 91343858738761041434756462434622002853945802752}, {"parameter": "[6, 3, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 92997642004043584360040656568028252622897020928}, {"parameter": "[6, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 91343858741567490067428650656482371339311644672}, {"parameter": "[6, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 91343858644949554950915855640792167715595878400}, {"parameter": "[6, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 91343858643056625738242519585547894513760993280}, {"parameter": "[6, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 92997641908339168663526713718954144282712211456}, {"parameter": "[6, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 730750875429700682238363923587801233210126368768}, {"parameter": "[6, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 730750875529810569278842937476485982100180172800}, {"parameter": "[6, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 730750875433192634162330142460795778476464406528}, {"parameter": "[6, 4, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 730750875431299704949656806405551505274629521408}, {"parameter": "[6, 4, 7],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 732404658696582247874941000538957755043580739584}, {"parameter": "[6, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 730750824972401362977078968352149532787135741952}, {"parameter": "[6, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 730750825072511250017557982240834281677189545984}, {"parameter": "[6, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 730750824975893314901045187225144078053473779712}, {"parameter": "[6, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 730750824974000385688371851169899804851638894592}, {"parameter": "[6, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 732404608239282928613656045303306054620590112768}, {"parameter": "[6, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 730750824983201015924277751392766181995892965376}, {"parameter": "[6, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 730750825083310902964756765281450930885946769408}, {"parameter": "[6, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 730750824986692967848243970265760727262231003136}, {"parameter": "[6, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 730750824984800038635570634210516454060396118016}, {"parameter": "[6, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 732404608250082581560854828343922703829347336192}, {"parameter": "[6, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 5846061890488193220850771196662219414415087763456}, {"parameter": "[6, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5846032426232048384830890648759681504350149017600}, {"parameter": "[6, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5846032426219761484146989885759729572523506925568}, {"parameter": "[6, 5, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 5846032426218193950887540488046611591742808129536}, {"parameter": "[6, 5, 6],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846032432526523264516303790516568114040915623936}, {"parameter": "[6, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 5846036013595367429168255727127401828919076192256}, {"parameter": "[6, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5846006549339222593148375179224863918854137446400}, {"parameter": "[6, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5846006549326935692464474416224911987027495354368}, {"parameter": "[6, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5846006549325368159205025018511794006246796558336}, {"parameter": "[6, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846006555633697472833788320981750528544904052736}, {"parameter": "[6, 5, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 5846036013593851660386351856881829589546069655552}, {"parameter": "[6, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 5846006549337706824366471308979291679481130909696}, {"parameter": "[6, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 5846006549325419923682570545979339747654488817664}, {"parameter": "[6, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5846006549323852390423121148266221766873790021632}, {"parameter": "[6, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846006555632181704051884450736178289171897516032}, {"parameter": "[6, 5, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 5846036013678945287061108674675430821360027303936}, {"parameter": "[6, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 5846006549422800451041228126772892911295088558080}, {"parameter": "[6, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5846006549410513550357327363772940979468446466048}, {"parameter": "[6, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5846006549408946017097877966059822998687747670016}, {"parameter": "[6, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846006555717275330726641268529779520985855164416}, {"parameter": "[6, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5847659884941273419119296992044810634501604507648}, {"parameter": "[6, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5847659877622944428772729670696767186374699778048}, {"parameter": "[6, 6, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5847659877622944000093185571297389699707552137216}, {"parameter": "[6, 6, 5],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5847659877622968065701030378239359350211327295488}, {"parameter": "[6, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5846006556740653616826423738851627776214745219072}, {"parameter": "[6, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5846006549422324626479856417503584328087840489472}, {"parameter": "[6, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 5846006549422324197800312318104206841420692848640}, {"parameter": "[6, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846006549422348263408157125046176491924468006912}, {"parameter": "[6, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5846006556643505375038154087076970596894083383296}, {"parameter": "[6, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5846006549325176384691586765728927148767178653696}, {"parameter": "[6, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5846006549325175956012042666329549662100031012864}, {"parameter": "[6, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846006549325200021619887473271519312603806171136}, {"parameter": "[6, 6, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 5846006556641964801617722898516810960749004324864}, {"parameter": "[6, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 5846006549323635811271155577168767512622099595264}, {"parameter": "[6, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5846006549323635382591611477769390025954951954432}, {"parameter": "[6, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846006549323659448199456284711359676458727112704}, {"parameter": "[6, 6, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 5846006556727033258627211841735530817475995238400}, {"parameter": "[6, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5846006549408704268280644520387487369349090508800}, {"parameter": "[6, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5846006549408703839601100420988109882681942867968}, {"parameter": "[6, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846006549408727905208945227930079533185718026240}, {"parameter": "[6, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 730750824972426326519770674770387167028023656448}, {"parameter": "[6, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 730750824972398401745481647151308886828730023936}, {"parameter": "[6, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 730750824972398401838511783057156819170172338176}, {"parameter": "[6, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 730750818765758761446568345623310271860587888640}, {"parameter": "[6, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 730750818765730836672279318004231991661294256128}, {"parameter": "[6, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 730750818765730836765309453910079924002736570368}, {"parameter": "[6, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 730750818667020071097159143397575205502807179264}, {"parameter": "[6, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 730750818666992146322870115778496925303513546752}, {"parameter": "[6, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 730750818666992146415900251684344857644955860992}, {"parameter": "[6, 7, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 730750818665503079736926448037922504773308776448}, {"parameter": "[6, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 730750818665475154962637420418844224574015143936}, {"parameter": "[6, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 730750818665475155055667556324692156915457458176}, {"parameter": "[6, 7, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 730750818750573710090736303227121537336064606208}, {"parameter": "[6, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 730750818750545785316447275608043257136770973696}, {"parameter": "[6, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 730750818750545785409477411513891189478213287936}, {"parameter": "[6, 8, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 91343858740238262073282580433794107600159899648}, {"parameter": "[6, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 91343858740238262071644084889464104877903577088}, {"parameter": "[6, 8, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 91343852431948604487860016651354444303861284864}, {"parameter": "[6, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 91343852431948604486221521107024441581604962304}, {"parameter": "[6, 8, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 91343852334721657453455140239199517338045775872}, {"parameter": "[6, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 91343852334721657451816644694869514615789453312}, {"parameter": "[6, 8, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 91343852333205128853196857669094410700589891584}, {"parameter": "[6, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 91343852333205128851558362124764407978333569024}, {"parameter": "[6, 8, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 91343852418276083212862725275453059753007906816}, {"parameter": "[6, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 91343852418276083211224229731123057030751584256}, {"parameter": "[6, 9, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11417987852086573615867275584602173616753999872}, {"parameter": "[6, 9, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 11417981640385224164042052278945143595166597120}, {"parameter": "[6, 9, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11417981543187943322841746644642701066859446272}, {"parameter": "[6, 9, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11417981541671375602689183604139637284959682560}, {"parameter": "[6, 9, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11417981552284505418301417895557824919194566656}, {"parameter": "[7, 2, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 348463010884630849059006375844895313100800}, {"parameter": "[7, 2, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 348462821813595548790913166278898711527424}, {"parameter": "[7, 2, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3584658601091075690605953635169826248851456}, {"parameter": "[7, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 2787605515571926941085886215450218354180096}, {"parameter": "[7, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2787605711476341206521057054127033577111552}, {"parameter": "[7, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2787605522405305906252963844561036975538176}, {"parameter": "[7, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6023801301682786048068004313451964512862208}, {"parameter": "[7, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 2787605491882072524020735160279828852113408}, {"parameter": "[7, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2787605687786486789455905998956644075044864}, {"parameter": "[7, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2787605498715451489187812789390647473471488}, {"parameter": "[7, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6023801277992931631002853258281575010795520}, {"parameter": "[7, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 25536231786528360204485131029141353215819776}, {"parameter": "[7, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22300856279816871246752083041003944168914944}, {"parameter": "[7, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300856475721285512187253879680759391846400}, {"parameter": "[7, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300856286650250211919160670114762790273024}, {"parameter": "[7, 4, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 25537052065927730353734201139005690327597056}, {"parameter": "[7, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 25536133047268016106313215243597475701850112}, {"parameter": "[7, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 22300757540556527148580167255460066654945280}, {"parameter": "[7, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300757736460941414015338094136881877876736}, {"parameter": "[7, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300757547389906113747244884570885276303360}, {"parameter": "[7, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 25536953326667386255562285353461812813627392}, {"parameter": "[7, 4, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 25536133047596961533552126490243670990651392}, {"parameter": "[7, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 22300757540885472575819078502106261943746560}, {"parameter": "[7, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300757736789886841254249340783077166678016}, {"parameter": "[7, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300757547718851540986156131217080565104640}, {"parameter": "[7, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 25536953326996331682801196600108008102428672}, {"parameter": "[7, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22358602848780684138971571804981985378566144}, {"parameter": "[7, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22351384554678853160260449878229552872816640}, {"parameter": "[7, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 22351384551672402194603680901444247333109760}, {"parameter": "[7, 5, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22351396900100505320240087772399843019587584}, {"parameter": "[7, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22307963496446021126762797655184662379626496}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300745202344190148051675728432229873876992}, {"parameter": "[7, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300745199337739182394906751646924334170112}, {"parameter": "[7, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300757547765842308031313622602520020647936}, {"parameter": "[7, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 22307963496070096427592386021200362135879680}, {"parameter": "[7, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300745201968265448881264094447929630130176}, {"parameter": "[7, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300745198961814483224495117662624090423296}, {"parameter": "[7, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300757547389917608860901988618219776901120}, {"parameter": "[7, 5, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 22307963496394058966609910467604698844102656}, {"parameter": "[7, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300745202292227987898788540852266338353152}, {"parameter": "[7, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300745199285777022242019564066960798646272}, {"parameter": "[7, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300757547713880147878426435022556485124096}, {"parameter": "[7, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 25536133270666210542062506933389667489284096}, {"parameter": "[7, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 25536133047267305022197837194782083380936704}, {"parameter": "[7, 6, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 25536133047315120317129359717637338835976192}, {"parameter": "[7, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300745615103342093113301265922622064951296}, {"parameter": "[7, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300745391704436573248631527315037956603904}, {"parameter": "[7, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300745391752251868180154050170293411643392}, {"parameter": "[7, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300745422312180874944593292347914279976960}, {"parameter": "[7, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300745198913275355079923553740330171629568}, {"parameter": "[7, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300745198961090650011446076595585626669056}, {"parameter": "[7, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300745421930266368094209735395291724513280}, {"parameter": "[7, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300745198531360848229539996787707616165888}, {"parameter": "[7, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300745198579176143161062519642963071205376}, {"parameter": "[7, 6, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300745422254142602210623658688552921726976}, {"parameter": "[7, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300745198855237082345953920080968813379584}, {"parameter": "[7, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300745198903052377277476442936224268419072}, {"parameter": "[7, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2787605491841612770874367171590466473558016}, {"parameter": "[7, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787605491841507884413535982427077139496960}, {"parameter": "[7, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2787593346056472381584200520971784506048512}, {"parameter": "[7, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787593346056367495123369331808395171987456}, {"parameter": "[7, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2787593150193301892598542969359577930006528}, {"parameter": "[7, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787593150193197006137711780196188595945472}, {"parameter": "[7, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2787593149817157337283599063443863896850432}, {"parameter": "[7, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787593149817052450822767874280474562789376}, {"parameter": "[7, 7, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2787593150141042052283173754200928695353344}, {"parameter": "[7, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787593150140937165822342565037539361292288}, {"parameter": "[7, 8, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 348461681656635243743237635032977822711808}, {"parameter": "[7, 8, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 348449337007795553746499590355301640699904}, {"parameter": "[7, 8, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 348449144103797051443048644406094874804224}, {"parameter": "[7, 8, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 348449143727765563158169623624701655646208}, {"parameter": "[7, 8, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 348449144051651498002294865911240493629440}, {"parameter": "[8, 2, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 2831840515491903416864956040079229589651456}, {"parameter": "[8, 2, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2831840515874621360483888409184045520125952}, {"parameter": "[8, 2, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2838164629418960400297400342598271087935488}, {"parameter": "[8, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 22661044569231805209504751169462272272629760}, {"parameter": "[8, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 22654723954837246600865854558823738977026048}, {"parameter": "[8, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22654723955219964544484786927928554907500544}, {"parameter": "[8, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22661048068764303584298298861342780475310080}, {"parameter": "[8, 3, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 22661044569226011650120895589775744371261440}, {"parameter": "[8, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 22654723954831453041481998979137211075657728}, {"parameter": "[8, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22654723955214170985100931348242027006132224}, {"parameter": "[8, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22661048068758510024914443281656252573941760}, {"parameter": "[8, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22661044593338070096353088446245522227855360}, {"parameter": "[8, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22654723978943511487714191835606988932251648}, {"parameter": "[8, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22654723979326229431333124204711804862726144}, {"parameter": "[8, 4, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22661048092870568471146636138126030430535680}, {"parameter": "[8, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 22661044569226010434286253810708278717448192}, {"parameter": "[8, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22654723954831451825647357200069745421844480}, {"parameter": "[8, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22654723955214169769266289569174561352318976}, {"parameter": "[8, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22661048068758508809079801502588786920128512}, {"parameter": "[8, 4, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 22661044569226011669770662524996338105450496}, {"parameter": "[8, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22654723954831453061131765914357804809846784}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22654723955214171004750698283462620740321280}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22661048068758510044564210216876846308130816}, {"parameter": "[8, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22654738056971384066914699473389649383129088}, {"parameter": "[8, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 22654736296852297182610547817335378480463872}, {"parameter": "[8, 5, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22654736321345509755056405583049404681289728}, {"parameter": "[8, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22654725690840136039227331751817039876980736}, {"parameter": "[8, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22654723930721049154923180095762768974315520}, {"parameter": "[8, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22654723955214261727369037861476795175141376}, {"parameter": "[8, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22654725690840044081475461446513431234478080}, {"parameter": "[8, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22654723930720957197171309790459160331812864}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22654723955214169769617167556173186532638720}, {"parameter": "[8, 5, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22654725690840045297644632479399422317297664}, {"parameter": "[8, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22654723930720958413340480823345151414632448}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22654723955214170985786338589059177615458304}, {"parameter": "[8, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22661044569232724762068907749467483786706944}, {"parameter": "[8, 6, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22661044569226102389576583036519743640829952}, {"parameter": "[8, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 22654723930774016775450632889282608867573760}, {"parameter": "[8, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22654723930767394402958308176334868721696768}, {"parameter": "[8, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22654723930726937168247425382670437147475968}, {"parameter": "[8, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22654723930720314795755100669722697001598976}, {"parameter": "[8, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22654723930726843750159181700911370010886144}, {"parameter": "[8, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22654723930720221377666856987963629865009152}, {"parameter": "[8, 6, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22654723930726844966295443783746066354798592}, {"parameter": "[8, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22654723930720222593803119070798326208921600}, {"parameter": "[8, 7, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2831840515451430575053379431355609255772160}, {"parameter": "[8, 7, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2831840491388029972747940749643170143010816}, {"parameter": "[8, 7, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2831840491340200180799516644709705098985472}, {"parameter": "[8, 7, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2831840491340108171775915412066409094316032}, {"parameter": "[8, 7, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2831840491340109387950334932572580062429184}, {"parameter": "[9, 2, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 22313104743076569859727798565470811912667136}, {"parameter": "[9, 2, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 22313092397755082860446062518991224263409664}, {"parameter": "[9, 2, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22313104939034053780351318185256202192814080}, {"parameter": "[9, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 22313104743076568798635661697075880621244416}, {"parameter": "[9, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22313092397755081799353925650596292971986944}, {"parameter": "[9, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22313104939034052719259181316861270901391360}, {"parameter": "[9, 3, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 22313104743076568621792481646573406658756608}, {"parameter": "[9, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22313092397755081622510745600093819009499136}, {"parameter": "[9, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22313104939034052542416001266358796938903552}, {"parameter": "[9, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22313104743077304465909071451900468254474240}, {"parameter": "[9, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22313092397755817466627335405420880605216768}, {"parameter": "[9, 4, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313104939034788386532591071685858534621184}, {"parameter": "[9, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22313104743076568621788433901300318604361728}, {"parameter": "[9, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22313092397755081622506697854820730955104256}, {"parameter": "[9, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313104939034052542411953521085708884508672}, {"parameter": "[9, 4, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22313104743076568621792556604485604613292032}, {"parameter": "[9, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22313092397755081622510820558006016964034560}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313104939034052542416076224270994893438976}, {"parameter": "[9, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 22313092401150999207696360847042984690843648}, {"parameter": "[9, 5, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313092400774248457548562683871082955145216}, {"parameter": "[9, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22313092398131832375460843954278623690358784}, {"parameter": "[9, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313092397755081625313045791106721954660352}, {"parameter": "[9, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22313092398131832372654506726224955006779392}, {"parameter": "[9, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313092397755081622506708563053053271080960}, {"parameter": "[9, 5, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22313092398131832372658546377886848129957888}, {"parameter": "[9, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313092397755081622510748214714946394259456}, {"parameter": "[9, 6, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313104743123662465556234050487024730505216}, {"parameter": "[9, 6, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313092397755093139713493336071620827807744}, {"parameter": "[9, 6, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313092397755081625357601534750444144558080}, {"parameter": "[9, 6, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313092397755081622506698228336610011774976}, {"parameter": "[9, 6, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313092397755081622510746797372205180911616}, {"parameter": "[10, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 22306399209964281987373215169424231075938304}, {"parameter": "[10, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22306399209964281987373215169424231075938304}, {"parameter": "[10, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22306399209964281987369167424151143021543424}, {"parameter": "[10, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22306399209964281987369167424151143021543424}, {"parameter": "[10, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22306399209964281987368492820955759940206592}, {"parameter": "[10, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22306399209964281987368492820955759940206592}, {"parameter": "[10, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22306399209964282009824682632360144119005184}, {"parameter": "[10, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22306399209964282009824682632360144119005184}, {"parameter": "[10, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22306399209964281987368492805514837115011072}, {"parameter": "[10, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22306399209964281987368492805514837115011072}, {"parameter": "[10, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22306399209964281987368492821241701682905088}, {"parameter": "[10, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22306399209964281987368492821241701682905088}, {"parameter": "[10, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22306399209965019091448120602586294846750720}, {"parameter": "[10, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22306399209964281987368578466507300070490112}, {"parameter": "[10, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22306399209964281987368492805555685779570688}, {"parameter": "[10, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22306399209964281987368492820965733928271872}, {"parameter": "[11, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22306979396568509098661236574137879629660160}, {"parameter": "[11, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22306979396568509098661236558696956804464640}, {"parameter": "[11, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22306979396568509098661236556123549839654912}, {"parameter": "[11, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22306979396568509098661921864686731863523328}, {"parameter": "[11, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22306979396568509098661236556123490937208832}, {"parameter": "[11, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22306979396568509098661236556123550930436096}, {"parameter": "[6, 2, 4, 5],[0, 4, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1675635436548385469105617897589712197873827840}, {"parameter": "[6, 2, 4, 5],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1675629129625501918927742910450532124484173824}, {"parameter": "[6, 2, 4, 5],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1675629129625883807840098253368503486593892352}, {"parameter": "[6, 2, 4, 5],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1675635440040337393071836770584257464211865600}, {"parameter": "[6, 2, 5, 4],[0, 4, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22307138972372196510949773147471996705046528}, {"parameter": "[6, 2, 5, 4],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 22307137216065822813985766635183847547863040}, {"parameter": "[6, 2, 5, 4],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307137240505978979469640147344829131522048}, {"parameter": "[6, 2, 5, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22307138972372196510949773147471996705046528}, {"parameter": "[6, 2, 5, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22307137216065822813985766635183847547863040}, {"parameter": "[6, 2, 5, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307137240505978979469640147344829131522048}, {"parameter": "[6, 2, 6, 3],[0, 4, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22307137216071696616050352539233395054477312}, {"parameter": "[6, 2, 6, 3],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307137216065088588727693397177654109536256}, {"parameter": "[6, 2, 6, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300830293188146438175365400053321664823296}, {"parameter": "[6, 2, 6, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300830293181538410852706257997580719882240}, {"parameter": "[6, 2, 6, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22307237325958737095064241223982285108281344}, {"parameter": "[6, 2, 6, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307237325952129067741582081926544163340288}, {"parameter": "[6, 2, 7, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787603807699479206720070156234888702853120}, {"parameter": "[6, 2, 7, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2787603808081368119075413074206250812571648}, {"parameter": "[6, 2, 7, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2793914222534953350813930289960228430544896}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1675635351501483593288067182801230729433841664}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1675629044578600043110192195662050656044187648}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1675635451611370633767081071485979619487645696}, {"parameter": "[6, 3, 3, 5],[0, 4, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1675635351478118257424660458472843495952351232}, {"parameter": "[6, 3, 3, 5],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1675629044555234707246785471333663422562697216}, {"parameter": "[6, 3, 3, 5],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1675635451588005297903674347157592386006155264}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22313359116105764427438569580072071971471360}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22307052193222214249563582440891998581817344}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313459225992804906452458264820962025275392}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22313359116105764427438569580072071971471360}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22307052193222214249563582440891998581817344}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313459225992804906452458264820962025275392}, {"parameter": "[6, 3, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22313359092740428564031845251684838489980928}, {"parameter": "[6, 3, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22307052169856878386156858112504765100326912}, {"parameter": "[6, 3, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313459202627469043045733936433728543784960}, {"parameter": "[6, 3, 4, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22313359092740428564031845251684838489980928}, {"parameter": "[6, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22307052169856878386156858112504765100326912}, {"parameter": "[6, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313459202627469043045733936433728543784960}, {"parameter": "[6, 3, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 22307052385694960301914486336464695318282240}, {"parameter": "[6, 3, 5, 3],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307052193222214249563582440891998581817344}, {"parameter": "[6, 3, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300745462811410124039499197284621928628224}, {"parameter": "[6, 3, 5, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300745270338664071688595301711925192163328}, {"parameter": "[6, 3, 5, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22307152495582000780928375021213585372086272}, {"parameter": "[6, 3, 5, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307152303109254728577471125640888635621376}, {"parameter": "[6, 3, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 22307052362329624438507762008077461836791808}, {"parameter": "[6, 3, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307052169856878386156858112504765100326912}, {"parameter": "[6, 3, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300745439446074260632774868897388447137792}, {"parameter": "[6, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300745246973328208281870973324691710672896}, {"parameter": "[6, 3, 5, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22307152472216664917521650692826351890595840}, {"parameter": "[6, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307152279743918865170746797253655154130944}, {"parameter": "[6, 3, 6, 2],[0, 3, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307052193222214249563582440891998581817344}, {"parameter": "[6, 3, 6, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300745270338664071688595301711925192163328}, {"parameter": "[6, 3, 6, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300745270720552984043938219683287301881856}, {"parameter": "[6, 3, 6, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307055685174138215782455435437264919855104}, {"parameter": "[6, 3, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307052169856878386156858112504765100326912}, {"parameter": "[6, 3, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300745246973328208281870973324691710672896}, {"parameter": "[6, 3, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300745247355217120637213891296053820391424}, {"parameter": "[6, 3, 6, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307055661808802352375731107050031438364672}, {"parameter": "[6, 4, 2, 5],[0, 2, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1675635353017628403192690480488111536120791040}, {"parameter": "[6, 4, 2, 5],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1675635353017628403192690480488111536120791040}, {"parameter": "[6, 4, 2, 5],[0, 3, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1675635351477793829240624899578820407567843328}, {"parameter": "[6, 4, 2, 5],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1675635351477793829240624899578820407567843328}, {"parameter": "[6, 4, 2, 5],[0, 4, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1675635351478123408493163924940167351208247296}, {"parameter": "[6, 4, 2, 5],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1675635351478123408493163924940167351208247296}, {"parameter": "[6, 4, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22313360632250574332061867266952878658420736}, {"parameter": "[6, 4, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22313360632250574332061867266952878658420736}, {"parameter": "[6, 4, 3, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22313360632250574332061867266952878658420736}, {"parameter": "[6, 4, 3, 4],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22313360632250574332061867266952878658420736}, {"parameter": "[6, 4, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22313359092416000379996286357661750105473024}, {"parameter": "[6, 4, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22313359092416000379996286357661750105473024}, {"parameter": "[6, 4, 3, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22313359092416000379996286357661750105473024}, {"parameter": "[6, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22313359092416000379996286357661750105473024}, {"parameter": "[6, 4, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22313359092745579632535311719008693745876992}, {"parameter": "[6, 4, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22313359092745579632535311719008693745876992}, {"parameter": "[6, 4, 3, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22313359092745579632535311719008693745876992}, {"parameter": "[6, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22313359092745579632535311719008693745876992}, {"parameter": "[6, 4, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22313360632250574332061867266952878658420736}, {"parameter": "[6, 4, 4, 3],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313360632250574332061867266952878658420736}, {"parameter": "[6, 4, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22307053709367024154186880127772805268766720}, {"parameter": "[6, 4, 4, 3],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307053709367024154186880127772805268766720}, {"parameter": "[6, 4, 4, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22313460742137614811075755951701768712224768}, {"parameter": "[6, 4, 4, 3],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313460742137614811075755951701768712224768}, {"parameter": "[6, 4, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22313359092416000379996286357661750105473024}, {"parameter": "[6, 4, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313359092416000379996286357661750105473024}, {"parameter": "[6, 4, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22307052169532450202121299218481676715819008}, {"parameter": "[6, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307052169532450202121299218481676715819008}, {"parameter": "[6, 4, 4, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22313459202303040859010175042410640159277056}, {"parameter": "[6, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313459202303040859010175042410640159277056}, {"parameter": "[6, 4, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22313359092745579632535311719008693745876992}, {"parameter": "[6, 4, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313359092745579632535311719008693745876992}, {"parameter": "[6, 4, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22307052169862029454660324579828620356222976}, {"parameter": "[6, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307052169862029454660324579828620356222976}, {"parameter": "[6, 4, 4, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22313459202632620111549200403757583799681024}, {"parameter": "[6, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313459202632620111549200403757583799681024}, {"parameter": "[6, 4, 5, 2],[0, 2, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313360632250574332061867266952878658420736}, {"parameter": "[6, 4, 5, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307053709367024154186880127772805268766720}, {"parameter": "[6, 4, 5, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307053709748913066542223045744167378485248}, {"parameter": "[6, 4, 5, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313364124202498298280740261498144996458496}, {"parameter": "[6, 4, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313359092416000379996286357661750105473024}, {"parameter": "[6, 4, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307052169532450202121299218481676715819008}, {"parameter": "[6, 4, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307052169914339114476642136453038825537536}, {"parameter": "[6, 4, 5, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313362584367924346215159352207016443510784}, {"parameter": "[6, 4, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313359092745579632535311719008693745876992}, {"parameter": "[6, 4, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307052169862029454660324579828620356222976}, {"parameter": "[6, 4, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22307052170243918367015667497799982465941504}, {"parameter": "[6, 4, 5, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22313362584697503598754184713553960083914752}, {"parameter": "[6, 5, 2, 4],[0, 1, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 51771421073913135192456652090901152229490688}, {"parameter": "[6, 5, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 51771322361400829773745884461144920595365888}, {"parameter": "[6, 5, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 51771322361395047574718236030337531376566272}, {"parameter": "[6, 5, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 51771322361719653999716545424386608341188608}, {"parameter": "[6, 5, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 51765114343502331066932568847293775576301568}, {"parameter": "[6, 5, 3, 3],[0, 1, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 51765114151029585014581664951721078839836672}, {"parameter": "[6, 5, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 51765015630990025648221801217537543942176768}, {"parameter": "[6, 5, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 51765015438517279595870897321964847205711872}, {"parameter": "[6, 5, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 51765015630984243449194152786730154723377152}, {"parameter": "[6, 5, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 51765015438511497396843248891157457986912256}, {"parameter": "[6, 5, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 51765015631308849874192462180779231687999488}, {"parameter": "[6, 5, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 51765015438836103821841558285206534951534592}, {"parameter": "[6, 5, 4, 2],[0, 1, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 51765115883277691458417140869819608523079680}, {"parameter": "[6, 5, 4, 2],[0, 1, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 51765114126971317761453134357531459365896192}, {"parameter": "[6, 5, 4, 2],[0, 1, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 51765114151411473926937007869692440949555200}, {"parameter": "[6, 5, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 51765017170765386039706373240063376888954880}, {"parameter": "[6, 5, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 51765015414459012342742366727775227731771392}, {"parameter": "[6, 5, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 51765015438899168508226240239936209315430400}, {"parameter": "[6, 5, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 51765017170759603840678724809255987670155264}, {"parameter": "[6, 5, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 51765015414453230143714718296967838512971776}, {"parameter": "[6, 5, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 51765015438893386309198591809128820096630784}, {"parameter": "[6, 5, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 51765017171084210265677034203305064634777600}, {"parameter": "[6, 5, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 51765015414777836568713027691016915477594112}, {"parameter": "[6, 5, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 51765015439217992734196901203177897061253120}, {"parameter": "[7, 2, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3235485261678097370250274629274201332121600}, {"parameter": "[7, 2, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3235472919699998647834511792634842287439872}, {"parameter": "[7, 2, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3235485457582511635685445467951016555053056}, {"parameter": "[7, 2, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 97413365158407747097394189674173431808}, {"parameter": "[7, 2, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 97412988509690101463804497433240535040}, {"parameter": "[7, 2, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 97413365158407747097394189674173431808}, {"parameter": "[7, 2, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 97412988509690101463804497433240535040}, {"parameter": "[7, 2, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 97412988509690101463804497433240535040}, {"parameter": "[7, 2, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 85071010410967685700967858074195853312}, {"parameter": "[7, 2, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 97608892923955536634643174248463466496}, {"parameter": "[7, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3235485261354303011514829849951861299216384}, {"parameter": "[7, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3235485261354303011514829849951861299216384}, {"parameter": "[7, 3, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3235485261353580054531887187871320210669568}, {"parameter": "[7, 3, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3235485261353580054531887187871320210669568}, {"parameter": "[7, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 109754642814053781781861814452252311552}, {"parameter": "[7, 3, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 109754642814053781781861814452252311552}, {"parameter": "[7, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109754642814053781781861814452252311552}, {"parameter": "[7, 3, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109754642814053781781861814452252311552}, {"parameter": "[7, 3, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 109754642091096798839199733911163764736}, {"parameter": "[7, 3, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 109754642091096798839199733911163764736}, {"parameter": "[7, 3, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109754642091096798839199733911163764736}, {"parameter": "[7, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109754642091096798839199733911163764736}, {"parameter": "[7, 3, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 109754642814053781781861814452252311552}, {"parameter": "[7, 3, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 97412664715331366019025175093207629824}, {"parameter": "[7, 3, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109950547228319216952700491267475243008}, {"parameter": "[7, 3, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 109754642091096798839199733911163764736}, {"parameter": "[7, 3, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 97412663992374383076363094552119083008}, {"parameter": "[7, 3, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109950546505362234010038410726386696192}, {"parameter": "[7, 4, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6470860768441728163531946576120905090465792}, {"parameter": "[7, 4, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6470860768065067777087480283107196808462336}, {"parameter": "[7, 4, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6470860768065069031914702111229322991763456}, {"parameter": "[7, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3235485261730239205798898587983496043560960}, {"parameter": "[7, 4, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3235485261730239205798898587983496043560960}, {"parameter": "[7, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3235485261353578819354432294969787761557504}, {"parameter": "[7, 4, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3235485261353578819354432294969787761557504}, {"parameter": "[7, 4, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3235485261353580074181654123091913944858624}, {"parameter": "[7, 4, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3235485261353580074181654123091913944858624}, {"parameter": "[7, 4, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3235485261730239205798898587983496043560960}, {"parameter": "[7, 4, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3235472919752140483383135751344136998879232}, {"parameter": "[7, 4, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3235485457634653471234069426660311266492416}, {"parameter": "[7, 4, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3235485261353578819354432294969787761557504}, {"parameter": "[7, 4, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3235472919375480096938669458330428716875776}, {"parameter": "[7, 4, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3235485457257993084789603133646602984488960}, {"parameter": "[7, 4, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3235485261353580074181654123091913944858624}, {"parameter": "[7, 4, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3235472919375481351765891286452554900176896}, {"parameter": "[7, 4, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3235485457257994339616824961768729167790080}, {"parameter": "[8, 2, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6407083530636704685343855838223331753984}, {"parameter": "[8, 2, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6407083530636704685343855838223331753984}, {"parameter": "[8, 2, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 86469136078096046447245199690036150272}, {"parameter": "[8, 2, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 86469136078096046447245199690036150272}, {"parameter": "[8, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 12727697925194097489598687409290973544448}, {"parameter": "[8, 3, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 12727697925194075388923547579351373447168}, {"parameter": "[8, 3, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6407083530635488850702076770757677940736}, {"parameter": "[8, 3, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6407083530635488850702076770757677940736}, {"parameter": "[8, 3, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6407083530635466750026936940818077843456}, {"parameter": "[8, 3, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6407083530635466750026936940818077843456}, {"parameter": "[9, 2, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 109808429718860741140771278657517780992}, {"parameter": "", "name": "JohnsonLB", "value": 46779648870257604152877365913090596929494265091029}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 178456417736320391596253020692945090659815424}], "request": [8, 17, 4, 6], "liftedmrdsizebound": 46781544952243062741486402419038202285012925882945, "comments": "", "equal_bound_constraints": []}