{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 163526807242071685115835813551024717375245692141260970752894675669210919312157204}, {"parameter": "", "name": "singleton", "value": 2050065905416034207242060732309202881550943087590159038828}, {"parameter": "5", "name": "ilp_2", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "6", "name": "ilp_2", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "8", "name": "ilp_3", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "9", "name": "ilp_3", "value": 6275470353507182995197300009075849386592637967008710875741320445805}, {"parameter": "", "name": "anticode", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "", "name": "linear_programming_bound", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "", "name": "sphere_packing", "value": 860832853716562558944972792938190102679687994239857215602974626}, {"parameter": "1", "name": "ilp_1", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "2", "name": "ilp_1", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "3", "name": "ilp_1", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "4", "name": "ilp_1", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "10", "name": "ilp_4", "value": 6275459857147528049542722688306130177583436650097741675924484244696}, {"parameter": "11", "name": "ilp_4", "value": 6275459857143111945917676178743894632619448600458988787972601922799}, {"parameter": "12", "name": "ilp_4", "value": 6275459857143111945447614017226462769099330860773373183115342443216}, {"parameter": "13", "name": "ilp_4", "value": 6275459857143111945447613918949806371444219540006864919015630328167}, {"parameter": "14", "name": "ilp_4", "value": 6275459857143111945447614014729950360297590505119415904310024902856}, {"parameter": "15", "name": "ilp_4", "value": 77474868768078501502380772467692349966821304535595019183715830572}, {"parameter": "16", "name": "ilp_4", "value": 956480748898961771604943084858540945032595538020114449338037535}, {"parameter": "17", "name": "ilp_4", "value": 11808404276956844334172458227681192705051926003363715180907831}, {"parameter": "18", "name": "ilp_4", "value": 145782768995134049694230930967773069607904378605988266299648}, {"parameter": "", "name": "johnson_1", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "", "name": "johnson_2", "value": 145782768995134049694230930967773069607904378605988266299648}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 163526807242071685115835813551024717375245692141260970752894675669210919312157204}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 6275470353507182995197300009075849386592637967008710875741320445805}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 6275459857147528049542722688306130177583436650097741675924484244696}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 6275459857143111945917676178743894632619448600458988787972601922799}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 6275459857143111945447614017226462769099330860773373183115342443216}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 6275459857143111945447613918949806371444219540006864919015630328167}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 6275459857143111945447614014729950360297590505119415904310024902856}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 77474868768078501502380772467692349966821304535595019183715830572}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 956480748898961771604943084858540945032595538020114449338037535}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 11808404276956844334172458227681192705051926003363715180907831}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 145782768995134049694230930967773069607904378605988266299648}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 860832853716562558944972792938190102679687994239857215602974626}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 860832853740946167674833354262950992873126837231265819457594025}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 860832853960398646305739641673965159830969678011171732188656353}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 860832855935470959018956315893072031527262813229039583606256931}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 860832873711122181277782934325243184314301967213773240914676677}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 860833033692016216644120407164394096675904047728044102681093251}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 95648097078716258798368103572595768181086354808254049023541619}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 10627743882174880574346902489136298583633721659673667237122737}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1181020412176560708588866798191289566306526850517875482820559}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 131384717915810832295325832676025007284351773589633879316043}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 14760505067223399016349028329441962844221119522674528024620}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 1799787273842118079082254874459420319886388743027358700063}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1799787273898761829853109555566215824656645469607596189749}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 1799787274408555586936806157161692410771877598282661157132}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 1799787278996699412516437804421408918953438640139346832229}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 1799787320289994800668485744318350285416929966711170588713}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 1799787691929730886817549462643375576272876225458769665058}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 1799791036693640689214723547569260570395849221404897082779}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1799821140077924722417493562084572475815094602063148711397}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 1800092111779526791831428718769061354464319064613458087053}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 1802534202368732209923582664598736191878416926962533409389}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 1824787371446633704442891890867774758460172688736223065039}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 2050065905416034207242060732309202881550943087590159038828}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 163526807242071685115835813551024717375245692141260970752894675669210919312157204}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 860832853716562558944972792938190102679687994239857215602974626}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 860834293329938710810384517775950045909420797429902143425679395}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 860847252042147317807333101704140966793056354828717219413970041}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 860963898011255415306511521615114045486422217393349145323428616}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 862015135981935310978456512763380283458634725467737078081153456}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 871593081937015454966193611347751536152816960435781248685348688}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 968436757704708895038617281273826579399327343074561847336651269}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 6275470353507182995197300009075849386592637967008710875741320445805}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 6275471649354324203591611219528978285298944138020008577120794416403}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 6275483312000510302222586988342835766302332973896727336502796210059}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 6275588277591348317519037038655884170062519452151337282379773144431}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 6276533111719019386380138576930926659560340601442057399099263959530}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 6285048283486915903157487831122383364206383472717454162127728142460}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 6362641472151886944078215811340145075924164650730330778195035260536}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 7148152764782359019943646457263127589258812452651970587034558182456}, {"parameter": "", "name": "improved_johnson", "value": 1799787273835824328996804634818737212291462700999635758393}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 106275641065920482651322221177638894740895496783886320628503355}], "known_codes": [], "upper_bound": 1799787273835824328996804634818737212291462700999635758393, "classified": false, "lower_bound": 1797010304552837624964875592565293397244462194049577733380, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1797010299914431210413179829509605039731475627537851106401}, {"parameter": "", "name": "sphere_covering", "value": 453157775175801874516256113306018575984195247084}, {"parameter": "", "name": "graham_sloane", "value": 716908262603274098276107244147188149391343516}, {"parameter": "", "name": "multicomponent", "value": 1797010299914439938376747917222554278761982464802409442341}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1797010299914431210413205525524717337956391263003269993922}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1797010304552837624964875592565293397244462194049577733380}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1797010304552828906132227712701292762916333299089237082112}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 273892745801570943928458566285875384380609324004501641}, {"parameter": "(12,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1797010299915237440523330940136627223456932222456491643637}, {"parameter": "(12,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1797010299915237440523330940137150491323516506121195291797}, {"parameter": "(12,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1797010299915237440523330940136627143690505822765681446845}, {"parameter": "(12,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1797010299915237440523330940136627143799908134715494139485}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 30432527221718192768298362759484430889187525717807294}, {"parameter": "(11,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 30432527221718192768298362765865746335337326506876174}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 30432527221718192768298362759404676603776112264872734}, {"parameter": "(11,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 30432527221718192768298362759484430889187525717807294}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 515377520732242911966690513397217088745131534117}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 515377520732242911966690513397217088745131534117}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 515377520732242911966690434615544914056232903637}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 515377520732242911966690513397217088745131534117}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 41802852076226709386808528482751437350689341673381}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 41802852076226709386808528403969765176000443042901}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 41802852076226709386808528482751437350689341673381}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 41802852076226709386808528482751437350689341673381}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 3381398285916547012782883629661129088798531994846270}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 3381398285916547012782883629581374803387118541911710}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 3381398285916547012782883636042444534948332783915150}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 3381398285916547012782883629661129088798531994846270}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 273892745781866202382861569287004594100059140757539805}, {"parameter": "(7,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 273892745781866202382861569287004484697747190944847165}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 273892745781866202382861569810352117708430546458692117}, {"parameter": "(7,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 273892745781866202382861569287084251124146881755043957}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 1797010299915237440523330940136627143690489145583981780276}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 30432527221718192768298362759404664446110653207943933}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 515377520732242911966690433630774011872621670756}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 41802852076226709386808528402984994273816831810020}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 3381398285916547012782883629581362645721659484982909}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 273892745781866202382861569287004484681070009245180596}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 1797010299915237440523330940136627143690489145583981780276}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 30432527221718192768298362759404664446110653207943933}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 515377520732242911966690433630774011872621670756}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 41802852076226709386808528402984994273816831810020}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 3381398285916547012782883629581362645721659484982909}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 273892745781866202382861569287004484681070009245180596}, {"parameter": "7", "name": "linkage_GLT", "value": 1797010299914431210413179829509605039840894616983577012076}, {"parameter": "8", "name": "linkage_GLT", "value": 30432527221704537086371993251530170531809623902204413}, {"parameter": "9", "name": "linkage_GLT", "value": 515377520732011331036461129765621272702112311532}, {"parameter": "10", "name": "linkage_GLT", "value": 41802852076226709382892050861275649373676061270420}, {"parameter": "11", "name": "linkage_GLT", "value": 3381398285916547012465648882467981121508426095093765}, {"parameter": "12", "name": "linkage_GLT", "value": 273892745781866202357165554174706259765434543826293076}, {"parameter": "7", "name": "improved_linkage", "value": 1797010299914439938376770445622078816207942138295407756385}, {"parameter": "8", "name": "improved_linkage", "value": 30432527221704684895201789117882067725718495822011129}, {"parameter": "9", "name": "improved_linkage", "value": 515377520732013834191973491290499880360873312996}, {"parameter": "10", "name": "improved_linkage", "value": 41802852076226709382892574208910027820915852488785}, {"parameter": "11", "name": "improved_linkage", "value": 3381398285916547012465648882468090540497871820999439}, {"parameter": "12", "name": "improved_linkage", "value": 273892745781866202357165554174706259765457420661860439}, {"parameter": "13", "name": "improved_linkage", "value": 273892745702428861586132273166977340164097297772584217}, {"parameter": "14", "name": "improved_linkage", "value": 273892745801570941613275049516278997589257935457522956}, {"parameter": "15", "name": "improved_linkage", "value": 3381391922250690004908062285777721334055845106810881}, {"parameter": "16", "name": "improved_linkage", "value": 41745579287045556862586199868550491559972617322497}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1797010299915237440523330940136627143690489145583981780276}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1797010299914432316373787687524882698924648005755117802847}, {"parameter": "7,2", "name": "generalized_linkage", "value": 1797010299914431210562815962883064635449762860898070996506}, {"parameter": "7,3", "name": "generalized_linkage", "value": 1797010299914431210560988659305471391628669559286606480481}, {"parameter": "7,4", "name": "generalized_linkage", "value": 1797010299914439938376770445622078816207942138295407756385}, {"parameter": "8,0", "name": "generalized_linkage", "value": 30432527221718192768298362759404664446110653207943933}, {"parameter": "8,1", "name": "generalized_linkage", "value": 30432527221704705677892869758906776866881433829180924}, {"parameter": "8,2", "name": "generalized_linkage", "value": 30432527221704537086403278449765679729334226309338163}, {"parameter": "8,3", "name": "generalized_linkage", "value": 30432527221704537088875148763891695410394405832428044}, {"parameter": "8,4", "name": "generalized_linkage", "value": 30432527221704684895201789117882067725718495822011129}, {"parameter": "9,0", "name": "generalized_linkage", "value": 515377520732242911966690433630774011872621670756}, {"parameter": "9,1", "name": "generalized_linkage", "value": 515377520732011648271806996932303209393465717205}, {"parameter": "9,2", "name": "generalized_linkage", "value": 515377520732011331036467670723391348751022867826}, {"parameter": "9,3", "name": "generalized_linkage", "value": 515377520732011331036984477399999719941898740367}, {"parameter": "9,4", "name": "generalized_linkage", "value": 515377520732013834191973491290499880360873312996}, {"parameter": "10,0", "name": "generalized_linkage", "value": 41802852076226709386808528402984994273816831810020}, {"parameter": "10,1", "name": "generalized_linkage", "value": 41802852076226709382892648613397093160316297704694}, {"parameter": "10,2", "name": "generalized_linkage", "value": 41802852076226709382892050861287959032865490760995}, {"parameter": "10,3", "name": "generalized_linkage", "value": 41802852076226709382892050861385068363121787176094}, {"parameter": "10,4", "name": "generalized_linkage", "value": 41802852076226709382892574208910027820915852488785}, {"parameter": "11,0", "name": "generalized_linkage", "value": 3381398285916547012782883629581362645721659484982909}, {"parameter": "11,1", "name": "generalized_linkage", "value": 3381398285916547012465648882469104356561156164374965}, {"parameter": "11,2", "name": "generalized_linkage", "value": 3381398285916547012465648882467981121531620586764952}, {"parameter": "11,3", "name": "generalized_linkage", "value": 3381398285916547012465648882467981121531302930661128}, {"parameter": "11,4", "name": "generalized_linkage", "value": 3381398285916547012465648882468090540497871820999439}, {"parameter": "12,0", "name": "generalized_linkage", "value": 273892745781866202382861569287004484681070009245180596}, {"parameter": "12,1", "name": "generalized_linkage", "value": 273892745781866202357165554174716368880911691575160860}, {"parameter": "12,2", "name": "generalized_linkage", "value": 273892745781866202357165554174706259765434543869877880}, {"parameter": "12,3", "name": "generalized_linkage", "value": 273892745781866202357165554174706259765434543831082606}, {"parameter": "12,4", "name": "generalized_linkage", "value": 273892745781866202357165554174706259765457420661860439}, {"parameter": "13,1", "name": "generalized_linkage", "value": 273892745702428861586132273167068322203394204632941727}, {"parameter": "13,2", "name": "generalized_linkage", "value": 273892745702428861586132273166977340164097298160057923}, {"parameter": "13,3", "name": "generalized_linkage", "value": 273892745702428861586132273166977340164097297767794687}, {"parameter": "13,4", "name": "generalized_linkage", "value": 273892745702428861586132273166977340164097297772584217}, {"parameter": "14,2", "name": "generalized_linkage", "value": 273892745801570941613275049516278997589257938987892161}, {"parameter": "14,3", "name": "generalized_linkage", "value": 273892745801570941613275049516278997589257935457522956}, {"parameter": "14,4", "name": "generalized_linkage", "value": 273892745801570941613275049516278997589257935457522956}, {"parameter": "15,3", "name": "generalized_linkage", "value": 3381391922250690004908062285777721334055845106810881}, {"parameter": "15,4", "name": "generalized_linkage", "value": 3381391922250690004908062285777721334055845106810881}, {"parameter": "16,4", "name": "generalized_linkage", "value": 41745579287045556862586199868550491559972617322497}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1797010299915237440523330940136627143690489145583981780276}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914432316373787687524882698924648005755117802847}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914431210562815962883064635449762860898070996506}, {"parameter": "[7, 12],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914431210560988659305471391628669559286606480481}, {"parameter": "[7, 12],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914439938376770445622078816207942138295407756385}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 30432527221718192768298362759404664446110653207943933}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30432527221704705677892869758906776866881433829180924}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30432527221704537086403278449765679729334226309338163}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 30432527221704537088875148763891695410394405832428044}, {"parameter": "[8, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 30432527221704684895201789117882067725718495822011129}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 515377520732242911966690433630774011872621670756}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 515377520732011648271806996932303209393465717205}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 515377520732011331036467670723391348751022867826}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 515377520732011331036984477399999719941898740367}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 515377520732013834191973491290499880360873312996}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 41802852076226709386808528402984994273816831810020}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 41802852076226709382892648613397093160316297704694}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 41802852076226709382892050861287959032865490760995}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 41802852076226709382892050861385068363121787176094}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 41802852076226709382892574208910027820915852488785}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3381398285916547012782883629581362645721659484982909}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381398285916547012465648882469104356561156164374965}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381398285916547012465648882467981121531620586764952}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381398285916547012465648882467981121531302930661128}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381398285916547012465648882468090540497871820999439}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 273892745781866202382861569287004484681070009245180596}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 273892745781866202357165554174716368880911691575160860}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892745781866202357165554174706259765434543869877880}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892745781866202357165554174706259765434543831082606}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892745781866202357165554174706259765457420661860439}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 273892745702428861586132273167068322203394204632941727}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892745702428861586132273166977340164097298160057923}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892745702428861586132273166977340164097297767794687}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892745702428861586132273166977340164097297772584217}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892745801570941613275049516278997589257938987892161}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892745801570941613275049516278997589257935457522956}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892745801570941613275049516278997589257935457522956}, {"parameter": "[15, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391922250690004908062285777721334055845106810881}, {"parameter": "[15, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391922250690004908062285777721334055845106810881}, {"parameter": "[16, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 41745579287045556862586199868550491559972617322497}, {"parameter": "[7, 3, 9],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 41745587907256485936908047900917906726519918789915}, {"parameter": "[7, 3, 9],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 41745587907256485936956398575783495546665725569645}, {"parameter": "[7, 3, 9],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 41745587907425048906614139930721280620302418772590}, {"parameter": "[7, 3, 9],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 41746394137366637012292799506371816083644179997405}, {"parameter": "[7, 4, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 3381391913523042714446919782775100713721813601143227}, {"parameter": "[7, 4, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522874151794878088814062357569655704612547}, {"parameter": "[7, 4, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522874151794926439488927946389801511392277}, {"parameter": "[7, 4, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913523042714764584180843865731463438204595222}, {"parameter": "[7, 4, 8],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381392719752984302870262840419516266926779965820037}, {"parameter": "[7, 4, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 3381391913523042714446919782775100713721813601143227}, {"parameter": "[7, 4, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522874151794878088814062357569655704612547}, {"parameter": "[7, 4, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522874151794926439488927946389801511392277}, {"parameter": "[7, 4, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913523042714764584180843865731463438204595222}, {"parameter": "[7, 4, 8],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381392719752984302870262840419516266926779965820037}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 273892744996584952637443366397250472721153595289455717}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340983442379528028911401139626649999999877}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340983413480872925274998063212675691049327}, {"parameter": "[7, 5, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340983413516162875934590522639547501946927}, {"parameter": "[7, 5, 7],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995341151976485820617289528307713184195149872}, {"parameter": "[7, 5, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 273892744996584803003813588911254029278891411049574195}, {"parameter": "[7, 5, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833808749750542914957697364465760118355}, {"parameter": "[7, 5, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833779851095439278554620950491451167805}, {"parameter": "[7, 5, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833779886385389938147080377363262065405}, {"parameter": "[7, 5, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995341002342856043131293084865450999955268350}, {"parameter": "[7, 5, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 273892744996584803003813588911254029278891411049574195}, {"parameter": "[7, 5, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833808749750542914957697364465760118355}, {"parameter": "[7, 5, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833779851095439278554620950491451167805}, {"parameter": "[7, 5, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833779886385389938147080377363262065405}, {"parameter": "[7, 5, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995341002342856043131293084865450999955268350}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 273892744996446815712448601796104305012909054896046347}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892744996446794382350835309146898968635696713807672}, {"parameter": "[7, 6, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892744996446794382350780334385367094483440105398107}, {"parameter": "[7, 6, 6],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744996446794382386070948190454510172703431475557}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340855107477045931013498567352229245764205}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833777379279444056092523078871063525530}, {"parameter": "[7, 6, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833777379224469294560648926614455115965}, {"parameter": "[7, 6, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833777414515083099648064615877781193415}, {"parameter": "[7, 6, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340855107445761256206389009158679954061867}, {"parameter": "[7, 6, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833777347994769248982964885321771823192}, {"parameter": "[7, 6, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833777347939794487451090733065163413627}, {"parameter": "[7, 6, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833777383230408292538506422328489491077}, {"parameter": "[7, 6, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340855109952350445019923122958909789236997}, {"parameter": "[7, 6, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833779854583958062517078685551606998322}, {"parameter": "[7, 6, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833779854528983300985204533294998588757}, {"parameter": "[7, 6, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833779889819597106072620222558324666207}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892745801570941613244586830502398203668263548344461}, {"parameter": "[7, 7, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892745801570941613244146369264648254187819165888091}, {"parameter": "[7, 7, 5],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892745801570941613244146369264648254187819165888091}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340834008577268107535563652287188006955605}, {"parameter": "[7, 7, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340834008576827646297813702806743624499235}, {"parameter": "[7, 7, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340834008576827646297813702806743624499235}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833777348379738918525764145649653513287}, {"parameter": "[7, 7, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833777347939277680775814665205271056917}, {"parameter": "[7, 7, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833777347939277680775814665205271056917}, {"parameter": "[7, 7, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833777348380256443208446894493646999455}, {"parameter": "[7, 7, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833777347939795205458497414049264543085}, {"parameter": "[7, 7, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833777347939795205458497414049264543085}, {"parameter": "[7, 7, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833779851539954686364904549374017613552}, {"parameter": "[7, 7, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833779851099493448614955068929635157182}, {"parameter": "[7, 7, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995340833779851099493448614955068929635157182}, {"parameter": "[7, 8, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522894905617505444220067907803411568014291}, {"parameter": "[7, 8, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522894905617505444220067907803411568014291}, {"parameter": "[7, 8, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522726342930269823976925423117738008123867}, {"parameter": "[7, 8, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522726342930269823976925423117738008123867}, {"parameter": "[7, 8, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522726342930221486310456073538204598739915}, {"parameter": "[7, 8, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522726342930221486310456073538204598739915}, {"parameter": "[7, 8, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522726342930222003109143748346534653510030}, {"parameter": "[7, 8, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522726342930222003109143748346534653510030}, {"parameter": "[7, 8, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522726345433376991941964137845830173820901}, {"parameter": "[7, 8, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3381391913522726345433376991941964137845830173820901}, {"parameter": "[7, 9, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 41745579179292917849195629377803704541596928917131}, {"parameter": "[7, 9, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 41745579179292917814001769421604682899233401296605}, {"parameter": "[7, 9, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 41745579179292917813953365420268678419207809769510}, {"parameter": "[7, 9, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 41745579179292917813953882226933130614864399899821}, {"parameter": "[7, 9, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 41745579179292920317108870334746016437638976259400}, {"parameter": "[8, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 706965196826789179320744951736186458956903859}, {"parameter": "[8, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 706965196823934121440048314595782833460718651}, {"parameter": "[8, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 706965196826793096321614104808696107482778581}, {"parameter": "[8, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 706978852505860490351001005835149027067961854}, {"parameter": "[8, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 57264182625882176017969917343451720851496404179}, {"parameter": "[8, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 57264168970228839440256070544263484988028281627}, {"parameter": "[8, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264168970225984382375373907123081362532096419}, {"parameter": "[8, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970228843357256939697335994636554156349}, {"parameter": "[8, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264182625907910751286326598362447556139339622}, {"parameter": "[8, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 57264182625882176017969917343451720851496404179}, {"parameter": "[8, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 57264168970228839440256070544263484988028281627}, {"parameter": "[8, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264168970225984382375373907123081362532096419}, {"parameter": "[8, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970228843357256939697335994636554156349}, {"parameter": "[8, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264182625907910751286326598362447556139339622}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 57264168972564659974239777863238292783923094989}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223512565791497648853514005116955719}, {"parameter": "[8, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223512512068535408107319877051224429}, {"parameter": "[8, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264168970226371486950101198320233151073284359}, {"parameter": "[8, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 57264168972564628689564970753680099234631392651}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481281116690539295320455825253381}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481227393728298549126327759522091}, {"parameter": "[8, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264168970226340202275294088762039601781582021}, {"parameter": "[8, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 57264168972564628689564970753680099234631392651}, {"parameter": "[8, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481281116690539295320455825253381}, {"parameter": "[8, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481227393728298549126327759522091}, {"parameter": "[8, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264168970226340202275294088762039601781582021}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264169138815006072874707352926739496221332096}, {"parameter": "[8, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264169138815001619241137595067246279572208155}, {"parameter": "[8, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264169138815001619241137595067246279572208155}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223485680510491381132551684516289322}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226876921623273058467867165381}, {"parameter": "[8, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226876921623273058467867165381}, {"parameter": "[8, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223485680503950532800248138707493720}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226870380774940754922058369779}, {"parameter": "[8, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226870380774940754922058369779}, {"parameter": "[8, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223485681028016063815300528509775490}, {"parameter": "[8, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481227394446305955807311860651549}, {"parameter": "[8, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481227394446305955807311860651549}, {"parameter": "[8, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264182625879672863061845904525362992044382011}, {"parameter": "[8, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264182625879672863061845904525362992044382011}, {"parameter": "[8, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223516475169165870016490624740104035}, {"parameter": "[8, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223516475169165870016490624740104035}, {"parameter": "[8, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226870380666889317566711124189}, {"parameter": "[8, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226870380666889317566711124189}, {"parameter": "[8, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226870380775090872434147823861}, {"parameter": "[8, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481226870380775090872434147823861}, {"parameter": "[8, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481227393729284822621993397503374}, {"parameter": "[8, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 57264168970223481227393729284822621993397503374}, {"parameter": "[8, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 706965049017959765571743438327933965107669939}, {"parameter": "[8, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 706965049015104707101494542154859352064523035}, {"parameter": "[8, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 706965049015104707094124999882000617526004931}, {"parameter": "[8, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 706965049015104707094125107931767963876844766}, {"parameter": "[8, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 706965049015104707617472633042806816417870125}, {"parameter": "[9, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972748949365317837840555946958604155275}, {"parameter": "[9, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972517685765876265576110458127878199635}, {"parameter": "[9, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972517685765876265576110458127878199635}, {"parameter": "[9, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972749266647754085709494081459547340285}, {"parameter": "[9, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972746446210336192231981991923831580947}, {"parameter": "[9, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610894619967536503093105625307}, {"parameter": "[9, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610894619967536503093105625307}, {"parameter": "[9, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972746763492772440100920126424774765957}, {"parameter": "[9, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972746446210336192231981991923831580947}, {"parameter": "[9, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610894619967536503093105625307}, {"parameter": "[9, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610894619967536503093105625307}, {"parameter": "[9, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972746763492772440100920126424774765957}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515186962011349151480860729263998047}, {"parameter": "[9, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610377813292260435233213268597}, {"parameter": "[9, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610377813292260435233213268597}, {"parameter": "[9, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515186962004808303148557183455202445}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610371272443928131687404472995}, {"parameter": "[9, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610371272443928131687404472995}, {"parameter": "[9, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515186962004808303148557183455202445}, {"parameter": "[9, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610371272443928131687404472995}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610371272443928131687404472995}, {"parameter": "[9, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515499845119295536426087445066892907}, {"parameter": "[9, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515499845119295536426087445066892907}, {"parameter": "[9, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610371272335876694332057227405}, {"parameter": "[9, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610371272335876694332057227405}, {"parameter": "[9, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610371272334509165432684568747}, {"parameter": "[9, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610371272334509165432684568747}, {"parameter": "[9, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610371272444078249199493927077}, {"parameter": "[9, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610371272444078249199493927077}, {"parameter": "[9, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972746446258164328330723747225463077531}, {"parameter": "[9, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610437598239616033676646793395}, {"parameter": "[9, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610371272334509142841813217637}, {"parameter": "[9, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610371272334509165464070411325}, {"parameter": "[9, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610371272443928337892691537502}, {"parameter": "[10, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 11988940892902786329332945070767726497941}, {"parameter": "[10, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11988940892902786329332945070767726497941}, {"parameter": "[10, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11988940892902786329332945070767726497941}, {"parameter": "[10, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 11988940892902262981809336699362025345629}, {"parameter": "[10, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11988940892902262981809336699362025345629}, {"parameter": "[10, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11988940892902262981809336699362025345629}, {"parameter": "[10, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11988940892902262981809336699362025345629}, {"parameter": "[10, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11988940892902262981809336699362025345629}, {"parameter": "[10, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11988940892902262981809336699362025345629}, {"parameter": "[10, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11988940892902262981712227346221848221144}, {"parameter": "[10, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11988940892902262981712227346221848221144}, {"parameter": "[10, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11988940892902262981699917733107305441381}, {"parameter": "[10, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11988940892902262981699917733107305441381}, {"parameter": "[10, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11988940892902262981699917733107305441381}, {"parameter": "[10, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11988940892902262981699917733107305441381}, {"parameter": "[10, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 11988940892902859914858206040913175864645}, {"parameter": "[10, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11988940892902262981699917712804152077816}, {"parameter": "[10, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11988940892902262981699917710230517769389}, {"parameter": "[10, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11988940892902262981699917733138691283959}, {"parameter": "[11, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972538062570831073771189874487687848998}, {"parameter": "[11, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972538062570831073771189874487687848998}, {"parameter": "[11, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972538062570831073661770908232967944750}, {"parameter": "[11, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972538062570831073661770908232967944750}, {"parameter": "[11, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972538062570831073661770908232967944750}, {"parameter": "[11, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972538062570831073661770908232967944750}, {"parameter": "[11, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972538062570831073661770908518889048601}, {"parameter": "[11, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972538062570831073661770885356180272758}, {"parameter": "[11, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972538062570831073661770885356180272758}, {"parameter": "[12, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972540912958060712564863350229662953557}, {"parameter": "[12, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972540912958060712564863327352875281565}, {"parameter": "[12, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972540912958060712564863327352875281565}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 806242080353617166893405179636318502118643900}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 806242080353617166893405179636318502118643900}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 806242080353617166893405179636318502118643900}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 12141080408243759739892905816290668654980}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 12141080408243759739892905816290668654980}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 12141080408243759739892905816290668654980}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 12141080408243759739892905816290668654980}, {"parameter": "[7, 3, 6, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972517756202065778854549664132772124300}, {"parameter": "[7, 3, 6, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972517756202065778854549664132772124300}, {"parameter": "[7, 3, 6, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972517756202065778854549664132772124300}, {"parameter": "[7, 4, 3, 5],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 806242248913766053605720609418515625242600252}, {"parameter": "[7, 4, 3, 5],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 806242248913766053605720609418515625242600252}, {"parameter": "[7, 4, 3, 5],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 806242248913766053605720609418515625242600252}, {"parameter": "[7, 4, 3, 5],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 806242248913766053605720609418515625242600252}, {"parameter": "[7, 4, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 12309640557130472055322688013413792611332}, {"parameter": "[7, 4, 4, 4],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 12309640557130472055322688013413792611332}, {"parameter": "[7, 4, 4, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 12309640557130472055322688013413792611332}, {"parameter": "[7, 4, 4, 4],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 12309640557130472055322688013413792611332}, {"parameter": "[7, 4, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 12309640557130472055322688013413792611332}, {"parameter": "[7, 4, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 12309640557130472055322688013413792611332}, {"parameter": "[7, 4, 4, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 12309640557130472055322688013413792611332}, {"parameter": "[7, 4, 4, 4],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 12309640557130472055322688013413792611332}, {"parameter": "[7, 4, 5, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 12141077905088778094284331861255896080652}, {"parameter": "[7, 4, 5, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 12141077905088778094284331861255896080652}, {"parameter": "[7, 4, 5, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 12141077905088778094284331861255896080652}, {"parameter": "[7, 4, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 12141077905088778094284331861255896080652}, {"parameter": "[7, 4, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 12141077905088778094284331861255896080652}, {"parameter": "[7, 4, 5, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 12141077905088778094284331861255896080652}, {"parameter": "[7, 5, 3, 4],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1256110301832340133278356843127589598012462}, {"parameter": "[7, 5, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1256110301832340126737508510824043789216860}, {"parameter": "[7, 5, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1256110301832340126737508510824043789216860}, {"parameter": "[7, 5, 4, 3],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1255941739180298439317318486975431701481782}, {"parameter": "[7, 5, 4, 3],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1255941739180298439317318486975431701481782}, {"parameter": "[7, 5, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1255941739180298432776470154671885892686180}, {"parameter": "[7, 5, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1255941739180298432776470154671885892686180}, {"parameter": "[7, 5, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1255941739180298432776470154671885892686180}, {"parameter": "[7, 5, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1255941739180298432776470154671885892686180}, {"parameter": "[8, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 13655661549850697424553447634648728217700}, {"parameter": "[8, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 13655661549850697424553447634648728217700}, {"parameter": "[8, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 8213272983577754259398785260095148}, {"parameter": "[8, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 8213272983577754259398785260095148}, {"parameter": "[8, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 27311314886427887923829027499106495187940}, {"parameter": "[8, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 27311314886427887923829027499106495187940}, {"parameter": "[8, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 13655661549850174077029839263243027065388}, {"parameter": "[8, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 13655661549850174077029839263243027065388}, {"parameter": "[8, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 13655661549850174077029839263243027065388}, {"parameter": "[8, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 13655661549850174077029839263243027065388}, {"parameter": "[9, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 462527296109459734875559007867798220}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 375710213719596840304162166266413193995600612534591}], "request": [9, 19, 6, 7], "liftedmrdsizebound": 1797010305213177481993223733197994671562142993468209573871, "comments": "", "equal_bound_constraints": []}