{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1089491124906108051165135239699867397777196296355089299912829976}, {"parameter": "", "name": "singleton", "value": 34718046121166753868579146371116506562228516029840080}, {"parameter": "5", "name": "ilp_2", "value": 30860543510703510571158523743928991141817598789555306}, {"parameter": "7", "name": "ilp_3", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "", "name": "anticode", "value": 30860543510703510571158523743928991141817598789555306}, {"parameter": "", "name": "linear_programming_bound", "value": 30860543510703510571158523743928991141817598789555306}, {"parameter": "", "name": "sphere_packing", "value": 1089491124906108051165135239699867397777196296355089299912829976}, {"parameter": "1", "name": "ilp_1", "value": 30860543502836206178994968616164352599198794660993829}, {"parameter": "2", "name": "ilp_1", "value": 30860543502836206178994968616164352599198798151563999}, {"parameter": "3", "name": "ilp_1", "value": 30860543502836206178994968616171356613798216128156143}, {"parameter": "4", "name": "ilp_1", "value": 30860543502836206179215063929828500953772541409674190}, {"parameter": "8", "name": "ilp_4", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "9", "name": "ilp_4", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "10", "name": "ilp_4", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "11", "name": "ilp_4", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "12", "name": "ilp_4", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "13", "name": "ilp_4", "value": 202475692014907207715348321132422001036744438409535223868}, {"parameter": "14", "name": "ilp_4", "value": 22497336277292664100935485454400236966469382093403930473}, {"parameter": "15", "name": "ilp_4", "value": 2499703973457657619954992061012609272999914577119568650}, {"parameter": "16", "name": "ilp_4", "value": 277744891604198899532617780737333577363299158704453725}, {"parameter": "", "name": "johnson_1", "value": 30860543502836206178994968616164352599198794660993829}, {"parameter": "", "name": "johnson_2", "value": 277744891604198899532617780737333577363299158704453725}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 1089491124906108051165135239699867397777196296355089299912829976}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 202475692014907207715348321132422001036744438409535223868}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 22497336277292664100935485454400236966469382093403930473}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 2499703973457657619954992061012609272999914577119568650}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 277744891604198899532617780737333577363299158704453725}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 30860543510703510571158523743928991141817598789555306}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 30860543511577642344736157961548291578524310996598198}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 30860543519444828309163263879986110467542397328578073}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 30860543590249502169507452360176347043047355895246970}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 30860544227491581533124540208164085503916459169498828}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 30860549962671480067996300934612428736857429556976507}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 30860601579386492309848028132685004615048975402927767}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 30861066137591693559685771345298877478797921667267775}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 30865247790911690358761035169649260101909775336600536}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 30902933728060101899149053545313779966741252238566719}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 31246294424924055709826087410131855457024624584652007}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 34718046121166753868579146371116506562228516029840080}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1089491124906108051165135239699867397777196296355089299912829976}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 30860543510703510571158523743928991141817598789555306}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 30860543502836206179215063929828500953772541409674190}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 30860543502836206178994968616171356613798216128156143}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 30860543502836206178994968616164352599198798151563999}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 30860543502836206178994968616164352599198574993163223}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1822287662712809785752427852672457304674536760615267839469}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1822315094823217111539120857500280932488296255803696375165}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1822562020987764344881459602959926953853088955620395603389}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1824787371440172768500866515732284685455463087696312662935}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1845062786673163472396688194937338422586023099100248265344}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 2050069762911386221695293524269464063566943065726695501256}, {"parameter": "", "name": "improved_johnson", "value": 30860543502836206178994968616164352599198794660993829}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 202476068305724823055500311326889244925781331936355891695}], "known_codes": [], "upper_bound": 30860543502836206178994968616164352599198574993163223, "classified": false, "lower_bound": 30437228568932793457735943799142491471855909627410848, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 30432527221704537086371993251530170531786747066637049}, {"parameter": "", "name": "sphere_covering", "value": 464557331199422585349031431003286039116729053088}, {"parameter": "", "name": "graham_sloane", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "", "name": "multicomponent", "value": 30432527230432500656962861182494576055656201332164190}, {"parameter": "", "name": "construction_ST_B", "value": 30437167033536761343260079804026554730350176009533139}, {"parameter": "", "name": "EF_special", "value": 30437228568932719575938776421624397010040042569507531}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 30432527221706052329273170045904892564727089293488170}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 30437166335085653014444917119167376473273050144584997}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 30437167033536761343260079804026556269025757230975804}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 30437228568932793457735943799142491471855909627410848}, {"parameter": "", "name": "two_pivot_block_construction", "value": 30437166326463945447106588868724464772605001234120704}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 3381978154493440591159802836078555402336020932891921}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 30437167042266055393599025112271476643794401445472223}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 30433113462675251334601579325424962130076629679142337}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 30433113462675251334601574616014162871523647346308897}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 30433113462675251334601574615296264900508976457205217}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 516182772771362141691713804064855328402377059442}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 516182772771362141691196917513717194538462480162}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 516182772771362141691190456443985633324220476722}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 4696378653538663693839105043382314357105665630630}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 4696378653538663693839156732037428170492057088558}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 4696378653538663693839098591163363250084867794318}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 41759806731364619632083097505949029415212459122926}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 41759806731364619632083155646823094335619648417166}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 41759806731364619632083103958167980522233256959238}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 375769174479268990464236288732648162474756016954882}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 375769174479268990464236295193717894035970258958322}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 375769174479268990464236812080269032169834173537602}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 3381971690218372863439196047549836773358956991510729}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 3381971690218372863439196048267734744373627880614409}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 3381971690218372863439200757678534002926610213447849}, {"parameter": "(6, 11)", "name": "CKMP2019_Lem_41", "value": 30433113462675251334601574615296264883831794757538648}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 516182772771362141691190456431827967865163547921}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 4696378653538663693839098582300425130432366698389}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 41759806731364619632083097497086091295559958026997}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 375769174479268990464236288732636004809296960026081}, {"parameter": "(11, 6)", "name": "CKMP2019_Lem_41", "value": 3381971690218372863439196047549836756681775291844160}, {"parameter": "(6, 11)", "name": "CKMP2019_Cor_42", "value": 30433113462675251334601574615296264883831794757538648}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 516182772771362141691190456431827967865163547921}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 4696378653538663693839098582300425130432366698389}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 41759806731364619632083097497086091295559958026997}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 375769174479268990464236288732636004809296960026081}, {"parameter": "(11, 6)", "name": "CKMP2019_Cor_42", "value": 3381971690218372863439196047549836756681775291844160}, {"parameter": "6", "name": "linkage_GLT", "value": 30432527221704537086371993251609950651694301276495288}, {"parameter": "7", "name": "linkage_GLT", "value": 515377520732011331036461129765771390892419586321}, {"parameter": "8", "name": "linkage_GLT", "value": 4696377548570908652973346721346755354321388836629}, {"parameter": "9", "name": "linkage_GLT", "value": 41759806729830439402145503289044895528722176239797}, {"parameter": "10", "name": "linkage_GLT", "value": 375769174479266911942167830276167913742239929807681}, {"parameter": "11", "name": "linkage_GLT", "value": 3381971690216857620538019253175114723741433064993040}, {"parameter": "6", "name": "improved_linkage", "value": 30432527230433848987676668553038097120672525445822493}, {"parameter": "7", "name": "improved_linkage", "value": 515377520879845748197753106701907663082815135457}, {"parameter": "8", "name": "improved_linkage", "value": 4696377548570911156562239819407126425024286589000}, {"parameter": "9", "name": "improved_linkage", "value": 41759806729830439402187901795528805953117657723804}, {"parameter": "10", "name": "improved_linkage", "value": 375769174479266911942167830355948033649794139665919}, {"parameter": "11", "name": "improved_linkage", "value": 3381971690216857620538019253175114873859623377057359}, {"parameter": "12", "name": "improved_linkage", "value": 3381978053993250892524205583637391532036632919300764}, {"parameter": "13", "name": "improved_linkage", "value": 375775261843171091199351013250366307348102052233448}, {"parameter": "14", "name": "improved_linkage", "value": 41752805914802484861219507704691868393165798488337}, {"parameter": "15", "name": "improved_linkage", "value": 4639114246141257946908674014324046947612691544805}, {"parameter": "6,0", "name": "generalized_linkage", "value": 30433113462675251334601574615296264883831794757538648}, {"parameter": "6,1", "name": "generalized_linkage", "value": 30432534468002288446924267073259797425666715725090500}, {"parameter": "6,2", "name": "generalized_linkage", "value": 30432527231632782422294605909906089953271947039681853}, {"parameter": "6,3", "name": "generalized_linkage", "value": 30432527221717990018333670821431372593311391459461545}, {"parameter": "6,4", "name": "generalized_linkage", "value": 30432527230433848987676668553038097120672525445822493}, {"parameter": "7,0", "name": "generalized_linkage", "value": 516182772771362141691190456431827967865163547921}, {"parameter": "7,1", "name": "generalized_linkage", "value": 515387474383600668191776693325889705759956685120}, {"parameter": "7,2", "name": "generalized_linkage", "value": 515377534369482821466685844531843879950868675772}, {"parameter": "7,3", "name": "generalized_linkage", "value": 515377520734064273928801539269899480749414654881}, {"parameter": "7,4", "name": "generalized_linkage", "value": 515377520879845748197753106701907663082815135457}, {"parameter": "8,0", "name": "generalized_linkage", "value": 4696378653538663693839098582300425130432366698389}, {"parameter": "8,1", "name": "generalized_linkage", "value": 4696377550088210957625985431694492610582828184516}, {"parameter": "8,2", "name": "generalized_linkage", "value": 4696377548572987527998936320739038153887942941235}, {"parameter": "8,3", "name": "generalized_linkage", "value": 4696377548570908965916723079089597817091668097387}, {"parameter": "8,4", "name": "generalized_linkage", "value": 4696377548570911156562239819407126425024286589000}, {"parameter": "9,0", "name": "generalized_linkage", "value": 41759806731364619632083097497086091295559958026997}, {"parameter": "9,1", "name": "generalized_linkage", "value": 41759806729830670709400300169386706202183142179106}, {"parameter": "9,2", "name": "generalized_linkage", "value": 41759806729830439437350981942427083083774623556113}, {"parameter": "9,3", "name": "generalized_linkage", "value": 41759806729830439402150803082410354354883058518483}, {"parameter": "9,4", "name": "generalized_linkage", "value": 41759806729830439402187901795528805953117657723804}, {"parameter": "10,0", "name": "generalized_linkage", "value": 375769174479268990464236288732636004809296960026081}, {"parameter": "10,1", "name": "generalized_linkage", "value": 375769174479266911977851298964654098064991349186180}, {"parameter": "10,2", "name": "generalized_linkage", "value": 375769174479266911942168426593765356295214580899473}, {"parameter": "10,3", "name": "generalized_linkage", "value": 375769174479266911942167830286140265124670362585280}, {"parameter": "10,4", "name": "generalized_linkage", "value": 375769174479266911942167830355948033649794139665919}, {"parameter": "11,0", "name": "generalized_linkage", "value": 3381971690218372863439196047549836756681775291844160}, {"parameter": "11,1", "name": "generalized_linkage", "value": 3381971690216857620538024624755697876753179170802240}, {"parameter": "11,2", "name": "generalized_linkage", "value": 3381971690216857620538019253185336164597424333570259}, {"parameter": "11,3", "name": "generalized_linkage", "value": 3381971690216857620538019253175114742509621488203629}, {"parameter": "11,4", "name": "generalized_linkage", "value": 3381971690216857620538019253175114873859623377057359}, {"parameter": "12,1", "name": "generalized_linkage", "value": 3381978053993250892524640681674708328393091884546836}, {"parameter": "12,2", "name": "generalized_linkage", "value": 3381978053993250892524205583637391703000303818973052}, {"parameter": "12,3", "name": "generalized_linkage", "value": 3381978053993250892524205583637391532036386138427971}, {"parameter": "12,4", "name": "generalized_linkage", "value": 3381978053993250892524205583637391532036632919300764}, {"parameter": "13,2", "name": "generalized_linkage", "value": 375775261843171091199351013250367846023683273138029}, {"parameter": "13,3", "name": "generalized_linkage", "value": 375775261843171091199351013250366307348102051761794}, {"parameter": "13,4", "name": "generalized_linkage", "value": 375775261843171091199351013250366307348102052233448}, {"parameter": "14,3", "name": "generalized_linkage", "value": 41752805914802484861219507704691868393165798554766}, {"parameter": "14,4", "name": "generalized_linkage", "value": 41752805914802484861219507704691868393165798488337}, {"parameter": "15,4", "name": "generalized_linkage", "value": 4639114246141257946908674014324046947612691544805}, {"parameter": "[6, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 30433113462675251334601574615296264883831794757538648}, {"parameter": "[6, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30432534468002288446924267073259797425666715725090500}, {"parameter": "[6, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30432527231632782422294605909906089953271947039681853}, {"parameter": "[6, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 30432527221717990018333670821431372593311391459461545}, {"parameter": "[6, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 30432527230433848987676668553038097120672525445822493}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 516182772771362141691190456431827967865163547921}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 515387474383600668191776693325889705759956685120}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 515377534369482821466685844531843879950868675772}, {"parameter": "[7, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 515377520734064273928801539269899480749414654881}, {"parameter": "[7, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 515377520879845748197753106701907663082815135457}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4696378653538663693839098582300425130432366698389}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4696377550088210957625985431694492610582828184516}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4696377548572987527998936320739038153887942941235}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4696377548570908965916723079089597817091668097387}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4696377548570911156562239819407126425024286589000}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 41759806731364619632083097497086091295559958026997}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 41759806729830670709400300169386706202183142179106}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 41759806729830439437350981942427083083774623556113}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 41759806729830439402150803082410354354883058518483}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 41759806729830439402187901795528805953117657723804}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 375769174479268990464236288732636004809296960026081}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 375769174479266911977851298964654098064991349186180}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 375769174479266911942168426593765356295214580899473}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 375769174479266911942167830286140265124670362585280}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 375769174479266911942167830355948033649794139665919}, {"parameter": "[11, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3381971690218372863439196047549836756681775291844160}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381971690216857620538024624755697876753179170802240}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381971690216857620538019253185336164597424333570259}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381971690216857620538019253175114742509621488203629}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381971690216857620538019253175114873859623377057359}, {"parameter": "[12, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381978053993250892524640681674708328393091884546836}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381978053993250892524205583637391703000303818973052}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978053993250892524205583637391532036386138427971}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978053993250892524205583637391532036632919300764}, {"parameter": "[13, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 375775261843171091199351013250367846023683273138029}, {"parameter": "[13, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 375775261843171091199351013250366307348102051761794}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 375775261843171091199351013250366307348102052233448}, {"parameter": "[14, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 41752805914802484861219507704691868393165798554766}, {"parameter": "[14, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 41752805914802484861219507704691868393165798488337}, {"parameter": "[15, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4639114246141257946908674014324046947612691544805}, {"parameter": "[6, 2, 9],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 4638407517854268864308702979429073132624739551011}, {"parameter": "[6, 2, 9],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 4638407517651461247948465373959026749408889320578}, {"parameter": "[6, 2, 9],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5224647385265918296621939825382422976093998641057}, {"parameter": "[6, 3, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 41745580309456783163367504533414845216962546959136}, {"parameter": "[6, 3, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 41745580296046120087926957452919897419230021175325}, {"parameter": "[6, 3, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 41745580295843312471566719847449851036014170944892}, {"parameter": "[6, 3, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 42331820163457769520240194298873247262699280265371}, {"parameter": "[6, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 41745580296153988516076371434967356298388050175046}, {"parameter": "[6, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 41745580282743325440635824354472408500655524391235}, {"parameter": "[6, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 41745580282540517824275586749002362117439674160802}, {"parameter": "[6, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 42331820150154974872949061200425758344124783481281}, {"parameter": "[6, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 375710223643089654105419067040114578160103494869459}, {"parameter": "[6, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 375710223656876211963709601085702673356848654902662}, {"parameter": "[6, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 375710223643465548888269054005207725559116129118851}, {"parameter": "[6, 4, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 375710223643262741271908816399737679175900278888418}, {"parameter": "[6, 4, 7],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 376296463510877198320582290851161075402585388208897}, {"parameter": "[6, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 375710213716563192127149257939171482319452914913149}, {"parameter": "[6, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 375710213730349749985439791984759577516198074946352}, {"parameter": "[6, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 375710213716939086909999244904264629718465549162541}, {"parameter": "[6, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 375710213716736279293639007298794583335249698932108}, {"parameter": "[6, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 376296453584350736342312481750217979561934808252587}, {"parameter": "[6, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 375710213717909872266747086967988050838963199074206}, {"parameter": "[6, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 375710213731696430125037621013576146035708359107409}, {"parameter": "[6, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 375710213718285767049597073933081198237975833323598}, {"parameter": "[6, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 375710213718082959433236836327611151854759983093165}, {"parameter": "[6, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 376296453585697416481910310779034548081445092413644}, {"parameter": "[6, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3381407287963518820182590653607331264417843535514163}, {"parameter": "[6, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381399158566302252536134625682329489359116742758243}, {"parameter": "[6, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381399158564791944141783037670401506679125146646726}, {"parameter": "[6, 5, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381399158564621487418033698907423888156718743559052}, {"parameter": "[6, 5, 6],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381399159667700518014063920369465480771975023999842}, {"parameter": "[6, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 3381400042921812542880779999172850966426049332278483}, {"parameter": "[6, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381391913524595975234323971247849191367322539522563}, {"parameter": "[6, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381391913523085666839972383235921208687330943411046}, {"parameter": "[6, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522915210116223044472943590164924540323372}, {"parameter": "[6, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391914625994240712253265934985182780180820764162}, {"parameter": "[6, 5, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 3381400042921646511990020946835422222152885846890446}, {"parameter": "[6, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381391913524429944343564918910420447094159054134526}, {"parameter": "[6, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522919635949213330898492464414167458023009}, {"parameter": "[6, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522749179225463992135514845891761054935335}, {"parameter": "[6, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391914625828209821494213597556438507017335376125}, {"parameter": "[6, 5, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 3381400042933621031883862034319159521532612982648515}, {"parameter": "[6, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381391913536404464237406006394157746473886189892595}, {"parameter": "[6, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381391913534894155843054418382229763793894593781078}, {"parameter": "[6, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913534723699119305079619252145271488190693404}, {"parameter": "[6, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391914637802729715335301081293737886744471134194}, {"parameter": "[6, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381978055249111445935087883159138019321869777042163}, {"parameter": "[6, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381978053993234498461032525855202957798994858939283}, {"parameter": "[6, 6, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381978053993234469680747093928088234289420933108766}, {"parameter": "[6, 6, 5],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381978053993236545379425089764508236888860314366595}, {"parameter": "[6, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381391914792236144024199337831906210909232757832083}, {"parameter": "[6, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381391913536359196550143980527971149386357839729203}, {"parameter": "[6, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913536359167769858548600856425876783913898686}, {"parameter": "[6, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391913536361243468536544437276428476223295156515}, {"parameter": "[6, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381391914778773527474055957754154964998706104689206}, {"parameter": "[6, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522896580000000600450219903475831186586326}, {"parameter": "[6, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522896551219715168523105179966257260755809}, {"parameter": "[6, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522898626918393164359525182565696642013638}, {"parameter": "[6, 6, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381391914778605370327431643592892672573510451252125}, {"parameter": "[6, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522728422853376286288957611050635533149245}, {"parameter": "[6, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522728394073090854361842887541061607318728}, {"parameter": "[6, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522730469771768850198262890140500988576557}, {"parameter": "[6, 6, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381391914790577713626702425431181717105640588017682}, {"parameter": "[6, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381391913534700766152647068127246655582765669914802}, {"parameter": "[6, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913534700737372361636200131932073191744084285}, {"parameter": "[6, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391913534702813071039632036551934672631125342114}, {"parameter": "[6, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 375710213716565327889917411894868055444581629558811}, {"parameter": "[6, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 375710213716562964340004329085314854894247686378510}, {"parameter": "[6, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 375710213716562964343952257081096124511422744275134}, {"parameter": "[6, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 375710212627441858340667363455904450987995282314254}, {"parameter": "[6, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 375710212627439494790754280646351250437661339133953}, {"parameter": "[6, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 375710212627439494794702208642132520054836397030577}, {"parameter": "[6, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 375710212613806787769999150400620320415946025443563}, {"parameter": "[6, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 375710212613804424220086067591067119865612082263262}, {"parameter": "[6, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 375710212613804424224033995586848389482787140159886}, {"parameter": "[6, 7, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 375710212613640674281586668406690790890720759104170}, {"parameter": "[6, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 375710212613638310731673585597137590340386815923869}, {"parameter": "[6, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 375710212613638310735621513592918859957561873820493}, {"parameter": "[6, 7, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 375710212625613191876974480297024186677527349604569}, {"parameter": "[6, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 375710212625610828327061397487470986127193406424268}, {"parameter": "[6, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 375710212625610828331009325483252255744368464320892}, {"parameter": "[6, 8, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 41745580296006179686716262640021797729781269870266}, {"parameter": "[6, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 41745580296006179686662032859859967103171722371686}, {"parameter": "[6, 8, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 41745579192930388575023684193133203465632867812935}, {"parameter": "[6, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 41745579192930388574969454412971372839023320314355}, {"parameter": "[6, 8, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 41745579179461050796844031744133630280290380550422}, {"parameter": "[6, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 41745579179461050796789801963971799653680833051842}, {"parameter": "[6, 8, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 41745579179294968249875604550767366210845803718171}, {"parameter": "[6, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 41745579179294968249821374770605535584236256219591}, {"parameter": "[6, 8, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 41745579191267508347745082885725829860200044676673}, {"parameter": "[6, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 41745579191267508347690853105563999233590497178093}, {"parameter": "[6, 9, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4638398789890700776596284436240287670887455003803}, {"parameter": "[6, 9, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4638397700223065918606282775665438123893606872570}, {"parameter": "[6, 9, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4638397686756237404170800612402754707366001851369}, {"parameter": "[6, 9, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4638397686590152419054430257525740971187510937171}, {"parameter": "[6, 9, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4638397687918611764265083817761621033783352466494}, {"parameter": "[7, 2, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 78553353844932177147235698524407979036840406}, {"parameter": "[7, 2, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 78553335423973600532714718310574744663050995}, {"parameter": "[7, 2, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 883803859272429480908272559605195915499696562}, {"parameter": "[7, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 706966566053715909368764702300906178338481310}, {"parameter": "[7, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 706966584991005571559951114042291169726923313}, {"parameter": "[7, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 706966566570046994945430133828457935353133902}, {"parameter": "[7, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1512217090418502875320987975123079106189779469}, {"parameter": "[7, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 706966564003631550779299830823452721734170979}, {"parameter": "[7, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 706966582940921212970486242564837713122612982}, {"parameter": "[7, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 706966564519962636355965262351004478748823571}, {"parameter": "[7, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1512217088368418516731523103645625649585469138}, {"parameter": "[7, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 7167824763659070262129461667143318612714027603}, {"parameter": "[7, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6362700591229906558302081396646641412192721763}, {"parameter": "[7, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362700610167196220493267808388026403581163766}, {"parameter": "[7, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362700591746237643878746828174193169207374355}, {"parameter": "[7, 4, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7167951115594693524254304669468814340044019922}, {"parameter": "[7, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 7167811128551164511829098103706615388051474742}, {"parameter": "[7, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6362686956122000808001717833209938187530168902}, {"parameter": "[7, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362686975059290470192904244951323178918610905}, {"parameter": "[7, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362686956638331893578383264737489944544821494}, {"parameter": "[7, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7167937480486787773953941106032111115381467061}, {"parameter": "[7, 4, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 7167811128573939755088673862071519272410776806}, {"parameter": "[7, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 6362686956144776051261293591574842071889470966}, {"parameter": "[7, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362686975082065713452480003316227063277912969}, {"parameter": "[7, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362686956661107136837959023102393828904123558}, {"parameter": "[7, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7167937480509563017213516864397014999740769125}, {"parameter": "[7, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 6373879483446790911379205806097323648008152163}, {"parameter": "[7, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6372637386614640744829630820019226196232691923}, {"parameter": "[7, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6372637386384089774057794178943584502445486842}, {"parameter": "[7, 5, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6372638901857581075074899699936594555164027155}, {"parameter": "[7, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6363927538253163830271790324769341165082686323}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685441421013663722215338691243713307226083}, {"parameter": "[7, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685441190462692950378697615602019520021002}, {"parameter": "[7, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362686956663953993967484218608612072238561315}, {"parameter": "[7, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6363927538227542164391244085822767115680787362}, {"parameter": "[7, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685441395391997841669099744669663905327122}, {"parameter": "[7, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685441164841027069832458669027970118122041}, {"parameter": "[7, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362686956638332328086937979662038022836662354}, {"parameter": "[7, 5, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 6363927538250043046711046778872695795765882275}, {"parameter": "[7, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685441417892880161471792794598343990422035}, {"parameter": "[7, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685441187341909389635151718956650203216954}, {"parameter": "[7, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362686956660833210406740672711966702921757267}, {"parameter": "[7, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7167811149823113733482559677842923179999990483}, {"parameter": "[7, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 7167811128551130239214264150752859467572698093}, {"parameter": "[7, 6, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 7167811128554016098412978756811640060566333926}, {"parameter": "[7, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685481134267024573805636444957980974422323}, {"parameter": "[7, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685459862283530305510109354894268547129933}, {"parameter": "[7, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685459865169389504224715413674861540765766}, {"parameter": "[7, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685462433903912177724844292886268721091766}, {"parameter": "[7, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685441161920417909429317202822556293799376}, {"parameter": "[7, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685441164806277108143923261603149287435209}, {"parameter": "[7, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685462407961113474872417193529935278124742}, {"parameter": "[7, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685441135977619206576890103466222850832352}, {"parameter": "[7, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685441138863478405291496162246815844468185}, {"parameter": "[7, 6, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685462430458275904410814737440763009419602}, {"parameter": "[7, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685441158474781636115287647377050582127212}, {"parameter": "[7, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685441161360640834829893706157643575763045}, {"parameter": "[7, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 706966564001132793852992456839314696828167550}, {"parameter": "[7, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 706966564001128400638426937841182488220134011}, {"parameter": "[7, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 706965067975528606856393349319580106951393873}, {"parameter": "[7, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 706965067975524213641827830321447898343360334}, {"parameter": "[7, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 706965049040774710476938638836403976585216382}, {"parameter": "[7, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 706965049040770317262373119838271767977182843}, {"parameter": "[7, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 706965049015143871280832969808717145558934189}, {"parameter": "[7, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 706965049015139478066267450810584936950900650}, {"parameter": "[7, 7, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 706965049037641367361778199515435103112356748}, {"parameter": "[7, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 706965049037636974147212680517302894504323209}, {"parameter": "[7, 8, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 78553206036102768165432731060243111125591686}, {"parameter": "[7, 8, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 78551690845512332585379163812785942790396915}, {"parameter": "[7, 8, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 78551672138450304780741963653901915220524642}, {"parameter": "[7, 8, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 78551672112824183907040034158145727894189102}, {"parameter": "[7, 8, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 78551672135321721881458765785495245834485053}, {"parameter": "[8, 2, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 715802097580286754871145478560559239788773966}, {"parameter": "[8, 2, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 715802097606267748397626147978293193260651969}, {"parameter": "[8, 2, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 716907063256844227471356057997315918246768878}, {"parameter": "[8, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 6443323450786954651296278905564538162493757386}, {"parameter": "[8, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6442218861572498138221396509567174297070371546}, {"parameter": "[8, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6442218861598479131747877178984908250542249549}, {"parameter": "[8, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6443323827249055610821607089003930975528366458}, {"parameter": "[8, 3, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 6443323450786641804548207809982602669576734006}, {"parameter": "[8, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 6442218861572185291473325413985238804153348166}, {"parameter": "[8, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6442218861598166284999806083402972757625226169}, {"parameter": "[8, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6443323827248742764073535993421995482611343078}, {"parameter": "[8, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 6443323452865160402950958597566304145849356886}, {"parameter": "[8, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6442218863650703889876076201568940280425971046}, {"parameter": "[8, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6442218863676684883402556870986674233897849049}, {"parameter": "[8, 4, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6443323829327261362476286781005696958883965958}, {"parameter": "[8, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6443323450786641762745805651116795150583768346}, {"parameter": "[8, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6442218861572185249670923255119431285160382506}, {"parameter": "[8, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6442218861598166243197403924537165238632260509}, {"parameter": "[8, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6443323827248742722271133834556187963618377418}, {"parameter": "[8, 4, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 6443323450786641805078096291342266752599041129}, {"parameter": "[8, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6442218861572185292003213895344902887175655289}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6442218861598166285529694564762636840647533292}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6443323827248742764603424474781659565633650201}, {"parameter": "[8, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6442220565699563692765835157744316071927992430}, {"parameter": "[8, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6442220376557966019285333183969865732314906279}, {"parameter": "[8, 5, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6442220378662391295631496019477585027878248833}, {"parameter": "[8, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6442219048635342550842508424677918049474523606}, {"parameter": "[8, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6442218859493744877362006450903467709861437455}, {"parameter": "[8, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6442218861598170153708169286411187005424780009}, {"parameter": "[8, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6442219048635338640339102500410169943533891049}, {"parameter": "[8, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6442218859493740966858600526635719603920804898}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6442218861598166243204763362143438899484147452}, {"parameter": "[8, 5, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6442219048635338682148592795725734197369566038}, {"parameter": "[8, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6442218859493741008668090821951283857756479887}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6442218861598166285014253657459003153319822441}, {"parameter": "[8, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6443323450786997666177960228868011949165477216}, {"parameter": "[8, 6, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6443323450786645673190246355580702592577720326}, {"parameter": "[8, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6442218859496912383936127590633863681394895880}, {"parameter": "[8, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6442218859496560390948413717346554324807138990}, {"parameter": "[8, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6442218859494061719939600962542873931418504099}, {"parameter": "[8, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6442218859493709726951887089255564574830747209}, {"parameter": "[8, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6442218859494057760540384232340595129803739908}, {"parameter": "[8, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6442218859493705767552670359053285773215983018}, {"parameter": "[8, 6, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6442218859494057802349238365840499008554889535}, {"parameter": "[8, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6442218859493705809361524492553189651967132645}, {"parameter": "[8, 7, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 715802097577787510399349057773547105098107638}, {"parameter": "[8, 7, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 715802095502194423965064084074288018227617737}, {"parameter": "[8, 7, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 715802095499308029680184446680406073006779670}, {"parameter": "[8, 7, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 715802095499304117836547195992642278050918597}, {"parameter": "[8, 7, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 715802095499304159646125387331044231324840276}, {"parameter": "[9, 2, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 6364855459734577141038123741304558858433640675}, {"parameter": "[9, 2, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 6364853944497659860399662234526661117056757235}, {"parameter": "[9, 2, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6364855478675038607046104510139282580200851718}, {"parameter": "[9, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6364855459734577103945850279684996174362278704}, {"parameter": "[9, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6364853944497659823307388772907098432985395264}, {"parameter": "[9, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6364855478675038569953831048519719896129489747}, {"parameter": "[9, 3, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 6364855459734577098647045232531432216649070835}, {"parameter": "[9, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6364853944497659818008583725753534475272187395}, {"parameter": "[9, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6364855478675038564655026001366155938416281878}, {"parameter": "[9, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6364855459734612298601534269757547407424193419}, {"parameter": "[9, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6364853944497695017963072762979649666047309979}, {"parameter": "[9, 4, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364855478675073764609515038592271129191404462}, {"parameter": "[9, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6364855459734577098646975436874978123790815504}, {"parameter": "[9, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6364853944497659818008513930097080382413932064}, {"parameter": "[9, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364855478675038564654956205709701845558026547}, {"parameter": "[9, 4, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6364855459734577098647046229610094494614231638}, {"parameter": "[9, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6364853944497659818008584722832196753237348198}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364855478675038564655026998444818216381442681}, {"parameter": "[9, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6364853944754548985040060098536041261723215484}, {"parameter": "[9, 5, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364853944728888266510168208287732889979138275}, {"parameter": "[9, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6364853944523320536604630774167148973168648388}, {"parameter": "[9, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364853944497659818074738883918840601424571179}, {"parameter": "[9, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6364853944523320536538405944979987016477298963}, {"parameter": "[9, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364853944497659818008514054731678644733221754}, {"parameter": "[9, 5, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6364853944523320536538475643187502320091160396}, {"parameter": "[9, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364853944497659818008583752939193948347083187}, {"parameter": "[9, 6, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364855459737428289594731231671500718777438275}, {"parameter": "[9, 6, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364853944497660253105623868508748621474254835}, {"parameter": "[9, 6, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364853944497659818075566818918536688591563014}, {"parameter": "[9, 6, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364853944497659818008513933495281422221484224}, {"parameter": "[9, 6, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364853944497659818008583738271635236536609154}, {"parameter": "[10, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 6363683967586268379863773076414072696195570082}, {"parameter": "[10, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6363683967586268379863773076414072696195570082}, {"parameter": "[10, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6363683967586268379863703280757618603337314751}, {"parameter": "[10, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363683967586268379863703280757618603337314751}, {"parameter": "[10, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6363683967586268379863693310121090458982705842}, {"parameter": "[10, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363683967586268379863693310121090458982705842}, {"parameter": "[10, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363683967586268380459807742231082403683813762}, {"parameter": "[10, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363683967586268380459807742231082403683813762}, {"parameter": "[10, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363683967586268379863693309989757617794139551}, {"parameter": "[10, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363683967586268379863693309989757617794139551}, {"parameter": "[10, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363683967586268379863693310122966638393549125}, {"parameter": "[10, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363683967586268379863693310122966638393549125}, {"parameter": "[10, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363683967586303622796550034546122880682506346}, {"parameter": "[10, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363683967586268379863694431665468512256178322}, {"parameter": "[10, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363683967586268379863693309989992139779199641}, {"parameter": "[10, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363683967586268379863693310121141613597184354}, {"parameter": "[11, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6363777908514887381355218264881311406593931521}, {"parameter": "[11, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363777908514887381355218264749978565405365230}, {"parameter": "[11, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363777908514887381355218264731217053726468881}, {"parameter": "[11, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363777908514887381355228359981679429275545305}, {"parameter": "[11, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363777908514887381355218264731216806600558030}, {"parameter": "[11, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363777908514887381355218264731217057256831444}, {"parameter": "[6, 2, 4, 5],[0, 4, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 592504270848481530054485159417263733535967288164}, {"parameter": "[6, 2, 4, 5],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 592503167923852866811761512369647993923164631924}, {"parameter": "[6, 2, 4, 5],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 592503167923878808652639974012700728084053131607}, {"parameter": "[6, 2, 4, 5],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 592504271224376312904472124510411132548601537556}, {"parameter": "[6, 2, 5, 4],[0, 4, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6363800529211744838974710393058384863927507684}, {"parameter": "[6, 2, 5, 4],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363800340355178390028337973336664332884196973}, {"parameter": "[6, 2, 5, 4],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363800342456432354929342056425160627618289767}, {"parameter": "[6, 2, 5, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6363800529211744838974710393058384863927507684}, {"parameter": "[6, 2, 5, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363800340355178390028337973336664332884196973}, {"parameter": "[6, 2, 5, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363800342456432354929342056425160627618289767}, {"parameter": "[6, 2, 6, 3],[0, 4, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363800340355494706317839010983400967993630734}, {"parameter": "[6, 2, 6, 3],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363800340355143243773948969153693595649815444}, {"parameter": "[6, 2, 6, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362697415726831463594191963367661355190974494}, {"parameter": "[6, 2, 6, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362697415726480001050301921537953982847159204}, {"parameter": "[6, 2, 6, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363814126913352996851884599078597713153663937}, {"parameter": "[6, 2, 6, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363814126913001534307994557248890340809848647}, {"parameter": "[6, 2, 7, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 706966381369924516166197596845899806902872980}, {"parameter": "[6, 2, 7, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 706966381395866357044659239898633967791372663}, {"parameter": "[6, 2, 7, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 708069681893370608876809737609038432339778612}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 592504258878016431851054835686001160275524492814}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 592503155953387768608331188638385420662721836574}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 592504272664574290141588881274096357020684526017}, {"parameter": "[6, 3, 3, 5],[0, 4, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 592504258875988875892010309988935546966794955124}, {"parameter": "[6, 3, 3, 5],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 592503155951360212649286662941319807353992298884}, {"parameter": "[6, 3, 3, 5],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 592504272662546734182544355577030743711954988327}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6364891296594055553344203729725592819089650974}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363788371965392310620556682109853206286994734}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364905083151913843878249317820789564249684177}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6364891296594055553344203729725592819089650974}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363788371965392310620556682109853206286994734}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364905083151913843878249317820789564249684177}, {"parameter": "[6, 3, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6364891294566499594299678032659979510360113284}, {"parameter": "[6, 3, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363788369937836351576030985044239897557457044}, {"parameter": "[6, 3, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364905081124357884833723620755176255520146487}, {"parameter": "[6, 3, 4, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6364891294566499594299678032659979510360113284}, {"parameter": "[6, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363788369937836351576030985044239897557457044}, {"parameter": "[6, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364905081124357884833723620755176255520146487}, {"parameter": "[6, 3, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363788390643552889367328684261419783241148023}, {"parameter": "[6, 3, 5, 3],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363788371965392310620556682109853206286994734}, {"parameter": "[6, 3, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685466014889646643681636645680170438491783}, {"parameter": "[6, 3, 5, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685447336729067896909634494113593484338494}, {"parameter": "[6, 3, 5, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363802177201411179901374272356616528401181226}, {"parameter": "[6, 3, 5, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363802158523250601154602270205049951447027937}, {"parameter": "[6, 3, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363788388615996930322802987195806474511610333}, {"parameter": "[6, 3, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363788369937836351576030985044239897557457044}, {"parameter": "[6, 3, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685463987333687599155939580066861708954093}, {"parameter": "[6, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685445309173108852383937428500284754800804}, {"parameter": "[6, 3, 5, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363802175173855220856848575291003219671643536}, {"parameter": "[6, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363802156495694642110076573139436642717490247}, {"parameter": "[6, 3, 6, 2],[0, 3, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363788371965392310620556682109853206286994734}, {"parameter": "[6, 3, 6, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685447336729067896909634494113593484338494}, {"parameter": "[6, 3, 6, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685447362670908775371277546847754372838177}, {"parameter": "[6, 3, 6, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363788747860175160607521775257252218921244126}, {"parameter": "[6, 3, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363788369937836351576030985044239897557457044}, {"parameter": "[6, 3, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685445309173108852383937428500284754800804}, {"parameter": "[6, 3, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6362685445335114949730845580481234445643300487}, {"parameter": "[6, 3, 6, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363788745832619201562996078191638910191706436}, {"parameter": "[6, 4, 2, 5],[0, 2, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 592504259044072948616369598887580470109707516964}, {"parameter": "[6, 4, 2, 5],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 592504259044072948616369598887580470109707516964}, {"parameter": "[6, 4, 2, 5],[0, 3, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 592504258875966351350060773859198226619713603774}, {"parameter": "[6, 4, 2, 5],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 592504258875966351350060773859198226619713603774}, {"parameter": "[6, 4, 2, 5],[0, 4, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 592504258875989157496474732250175492424714709367}, {"parameter": "[6, 4, 2, 5],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 592504258875989157496474732250175492424714709367}, {"parameter": "[6, 4, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6364891462650572318658966931304902653272675124}, {"parameter": "[6, 4, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6364891462650572318658966931304902653272675124}, {"parameter": "[6, 4, 3, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6364891462650572318658966931304902653272675124}, {"parameter": "[6, 4, 3, 4],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6364891462650572318658966931304902653272675124}, {"parameter": "[6, 4, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6364891294543975052350141902922659163278761934}, {"parameter": "[6, 4, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6364891294543975052350141902922659163278761934}, {"parameter": "[6, 4, 3, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6364891294543975052350141902922659163278761934}, {"parameter": "[6, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6364891294543975052350141902922659163278761934}, {"parameter": "[6, 4, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6364891294566781198764100293899924968279867527}, {"parameter": "[6, 4, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6364891294566781198764100293899924968279867527}, {"parameter": "[6, 4, 3, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6364891294566781198764100293899924968279867527}, {"parameter": "[6, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6364891294566781198764100293899924968279867527}, {"parameter": "[6, 4, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6364891462650572318658966931304902653272675124}, {"parameter": "[6, 4, 4, 3],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364891462650572318658966931304902653272675124}, {"parameter": "[6, 4, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363788538021909075935319883689163040470018884}, {"parameter": "[6, 4, 4, 3],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363788538021909075935319883689163040470018884}, {"parameter": "[6, 4, 4, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6364905249208430609193012519400099398432708327}, {"parameter": "[6, 4, 4, 3],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364905249208430609193012519400099398432708327}, {"parameter": "[6, 4, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6364891294543975052350141902922659163278761934}, {"parameter": "[6, 4, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364891294543975052350141902922659163278761934}, {"parameter": "[6, 4, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363788369915311809626494855306919550476105694}, {"parameter": "[6, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363788369915311809626494855306919550476105694}, {"parameter": "[6, 4, 4, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6364905081101833342884187491017855908438795137}, {"parameter": "[6, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364905081101833342884187491017855908438795137}, {"parameter": "[6, 4, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6364891294566781198764100293899924968279867527}, {"parameter": "[6, 4, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364891294566781198764100293899924968279867527}, {"parameter": "[6, 4, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6363788369938117956040453246284185355477211287}, {"parameter": "[6, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363788369938117956040453246284185355477211287}, {"parameter": "[6, 4, 4, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6364905081124639489298145881995121713439900730}, {"parameter": "[6, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364905081124639489298145881995121713439900730}, {"parameter": "[6, 4, 5, 2],[0, 2, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364891462650572318658966931304902653272675124}, {"parameter": "[6, 4, 5, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363788538021909075935319883689163040470018884}, {"parameter": "[6, 4, 5, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363788538047850916813781526741897201358518567}, {"parameter": "[6, 4, 5, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364891838545355168645932024452301665906924516}, {"parameter": "[6, 4, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364891294543975052350141902922659163278761934}, {"parameter": "[6, 4, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363788369915311809626494855306919550476105694}, {"parameter": "[6, 4, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363788369941253650504956498359653711364605377}, {"parameter": "[6, 4, 5, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364891670438757902337106996070058175913011326}, {"parameter": "[6, 4, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364891294566781198764100293899924968279867527}, {"parameter": "[6, 4, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363788369938117956040453246284185355477211287}, {"parameter": "[6, 4, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6363788369964059796918914889336919516365710970}, {"parameter": "[6, 4, 5, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6364891670461564048751065387047323980914116919}, {"parameter": "[6, 5, 2, 4],[0, 1, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 14493200918757786038542596119454758412994067844}, {"parameter": "[6, 5, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 14493187285933622533465248578646878896750883364}, {"parameter": "[6, 5, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 14493187285933310117052591195536752383604243407}, {"parameter": "[6, 5, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 14493187285955842288815479432394159507593034516}, {"parameter": "[6, 5, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 14492098012807283374565721073990585377145564893}, {"parameter": "[6, 5, 3, 3],[0, 1, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 14492097994129122795818949071839018800191411604}, {"parameter": "[6, 5, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 14492084379983119869488373533182705860902380413}, {"parameter": "[6, 5, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 14492084361304959290741601531031139283948227124}, {"parameter": "[6, 5, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 14492084379982807453075716150072579347755740456}, {"parameter": "[6, 5, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 14492084361304646874328944147921012770801587167}, {"parameter": "[6, 5, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 14492084380005339624838604386929986471744531565}, {"parameter": "[6, 5, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 14492084361327179046091832384778419894790378276}, {"parameter": "[6, 5, 4, 2],[0, 1, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 14492098180910377120742779051524977197389129204}, {"parameter": "[6, 5, 4, 2],[0, 1, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 14492097992053810671796406631803256666345818493}, {"parameter": "[6, 5, 4, 2],[0, 1, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 14492097994155064636697410714891752961079911287}, {"parameter": "[6, 5, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 14492084548086213615665431510717097681145944724}, {"parameter": "[6, 5, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 14492084359229647166719059090995377150102634013}, {"parameter": "[6, 5, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 14492084361330901131620063174083873444836726807}, {"parameter": "[6, 5, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 14492084548085901199252774127606971167999304767}, {"parameter": "[6, 5, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 14492084359229334750306401707885250636955994056}, {"parameter": "[6, 5, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 14492084361330588715207405790973746931690086850}, {"parameter": "[6, 5, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 14492084548108433371015662364464378291988095876}, {"parameter": "[6, 5, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 14492084359251866922069289944742657760944785165}, {"parameter": "[6, 5, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 14492084361353120886970294027831154055678877959}, {"parameter": "[7, 2, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 805139174938922042946314834417588535852639684}, {"parameter": "[7, 2, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 805137659955749067651401895106789224777279444}, {"parameter": "[7, 2, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 805139193876211705137501246158973527241081687}, {"parameter": "[7, 2, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 13487552241785163735711273618341420281293}, {"parameter": "[7, 2, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 13487526585363824021624610112024255973604}, {"parameter": "[7, 2, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 13487552241785163735711273618341420281293}, {"parameter": "[7, 2, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 13487526585363824021624610112024255973604}, {"parameter": "[7, 2, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 13487526585363824021624610112024255973604}, {"parameter": "[7, 2, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972543412388529108685299312713180613364}, {"parameter": "[7, 2, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 13506463875026015208036351497015644415607}, {"parameter": "[7, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 805139174916428404151161337292630109413091863}, {"parameter": "[7, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 805139174916428404151161337292630109413091863}, {"parameter": "[7, 3, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 805139174916393685792533935221951902272300244}, {"parameter": "[7, 3, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 805139174916393685792533935221951902272300244}, {"parameter": "[7, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 15002487264700323781066795952908891786023}, {"parameter": "[7, 3, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 15002487264700323781066795952908891786023}, {"parameter": "[7, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 15002487264700323781066795952908891786023}, {"parameter": "[7, 3, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 15002487264700323781066795952908891786023}, {"parameter": "[7, 3, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 15002487229981965153664725274701750994404}, {"parameter": "[7, 3, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 15002487229981965153664725274701750994404}, {"parameter": "[7, 3, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 15002487229981965153664725274701750994404}, {"parameter": "[7, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 15002487229981965153664725274701750994404}, {"parameter": "[7, 3, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 15002487264700323781066795952908891786023}, {"parameter": "[7, 3, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 13487504091725028868127485153597816425783}, {"parameter": "[7, 3, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 15021424554362514967478537337900280228026}, {"parameter": "[7, 3, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 15002487229981965153664725274701750994404}, {"parameter": "[7, 3, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 13487504057006670240725414475390675634164}, {"parameter": "[7, 3, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 15021424519644156340076466659693139436407}, {"parameter": "[7, 4, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1610263347371214208367642561660429437628137524}, {"parameter": "[7, 4, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1610263347345557347294164413825461046587128903}, {"parameter": "[7, 4, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1610263347345557390149802687078293185815913207}, {"parameter": "[7, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 805139174942050504540262291163752237106831684}, {"parameter": "[7, 4, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 805139174942050504540262291163752237106831684}, {"parameter": "[7, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 805139174916393643466784143328783846065823063}, {"parameter": "[7, 4, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 805139174916393643466784143328783846065823063}, {"parameter": "[7, 4, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 805139174916393686322422416581615985294607367}, {"parameter": "[7, 4, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 805139174916393686322422416581615985294607367}, {"parameter": "[7, 4, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 805139174942050504540262291163752237106831684}, {"parameter": "[7, 4, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 805137659958877529245349351852952926031471444}, {"parameter": "[7, 4, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 805139193879340166731448702905137228495273687}, {"parameter": "[7, 4, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 805139174916393643466784143328783846065823063}, {"parameter": "[7, 4, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 805137659933220668171871204017984534990462823}, {"parameter": "[7, 4, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 805139193853683305657970555070168837454265066}, {"parameter": "[7, 4, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 805139174916393686322422416581615985294607367}, {"parameter": "[7, 4, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 805137659933220711027509477270816674219247127}, {"parameter": "[7, 4, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 805139193853683348513608828323000976683049370}, {"parameter": "[8, 2, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1116715542764080820065640273735858970898407}, {"parameter": "[8, 2, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1116715542764080820065640273735858970898407}, {"parameter": "[8, 2, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 12126328307567745183244276371993547512567}, {"parameter": "[8, 2, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 12126328307567745183244276371993547512567}, {"parameter": "[8, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2221304757220552092545877405292205401318587}, {"parameter": "[8, 3, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2221304757220551503869527497973082609714407}, {"parameter": "[8, 3, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1116715542764039017663481407928339977932747}, {"parameter": "[8, 3, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1116715542764039017663481407928339977932747}, {"parameter": "[8, 3, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1116715542764038428987131500609217186328567}, {"parameter": "[8, 3, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1116715542764038428987131500609217186328567}, {"parameter": "[9, 2, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 15007075141149111908692777032958977796356}, {"parameter": "", "name": "JohnsonLB", "value": 30437222194101516751192456334098633153709639032160208}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 57274095365979317721047166505455497071145283990}], "request": [9, 17, 4, 6], "liftedmrdsizebound": 30437883936750653410827138300960713303605977254278564, "comments": "", "equal_bound_constraints": []}