{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 34492166432379026353648541013350430510335403493513053042272039631920888745547401}, {"parameter": "", "name": "singleton", "value": 4015416416396119033147299622148303750458461840668912175671578360534665}, {"parameter": "7", "name": "ilp_2", "value": 3513489573818030098472922941319498008141342469938284393950635593754077}, {"parameter": "9", "name": "ilp_3", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "", "name": "anticode", "value": 3513489573818030098472922941319498008141342469938284393950635593754077}, {"parameter": "", "name": "linear_programming_bound", "value": 3513489573818030098472922941319498008141342469938284393950635593754077}, {"parameter": "", "name": "sphere_packing", "value": 34492166432379026353648541013350430510335403493513053042272039631920888745547401}, {"parameter": "1", "name": "ilp_1", "value": 3513489570954861961879377744027741604629917459862411943889357392145338}, {"parameter": "2", "name": "ilp_1", "value": 3513489570954861961879377744027741604629917459862411943889357662350411}, {"parameter": "3", "name": "ilp_1", "value": 3513489570954861961879377744027741604629917459862476507774541955067083}, {"parameter": "4", "name": "ilp_1", "value": 3513489570954861961879377744027741604629996806848586373096272034341503}, {"parameter": "5", "name": "ilp_1", "value": 3513489570954861961879377744061098583208438286653987888277550517951849}, {"parameter": "6", "name": "ilp_1", "value": 3513489570954861962166472740651864231399551205464010294835888656871566}, {"parameter": "10", "name": "ilp_4", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "11", "name": "ilp_4", "value": 1798906675171509004895037375799565761015993198190063434056367176588211264}, {"parameter": "12", "name": "ilp_4", "value": 1798906675171509004895037375799565761015993198190063434056367176588211264}, {"parameter": "13", "name": "ilp_4", "value": 1798906675171509004895037375623941267308030849572755356538977953072361975}, {"parameter": "14", "name": "ilp_4", "value": 1798906675171509004895037375623941236901564495975235385364509331686017876}, {"parameter": "15", "name": "ilp_4", "value": 1798906675171509004895037375623941236901564426635217152891463753442635143}, {"parameter": "16", "name": "ilp_4", "value": 1798906675171509004895037375623941266144596269596958586562141797404464124}, {"parameter": "17", "name": "ilp_4", "value": 224863321202965333901332619465461352593321925205548806650825079813592755}, {"parameter": "18", "name": "ilp_4", "value": 28107916593407408924417942298794043701042172982780442605573302138249800}, {"parameter": "", "name": "johnson_1", "value": 3513489570954861961879377744027741604629917459862411943889357392145338}, {"parameter": "", "name": "johnson_2", "value": 28107916593407408924417942298794043701042172982780442605573302138249800}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 34492166432379026353648541013350430510335403493513053042272039631920888745547401}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1798906675171509004895037375799565761015993198190063434056367176588211264}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1798906675171509004895037375799565761015993198190063434056367176588211264}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1798906675171509004895037375623941267308030849572755356538977953072361975}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1798906675171509004895037375623941236901564495975235385364509331686017876}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1798906675171509004895037375623941236901564426635217152891463753442635143}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 1798906675171509004895037375623941266144596269596958586562141797404464124}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 224863321202965333901332619465461352593321925205548806650825079813592755}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 28107916593407408924417942298794043701042172982780442605573302138249800}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 3513489573818030098472922941319498008141342469938284393950635593754077}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 3513489574175925966226379119843392998780690716318103750744112603536891}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 3513489577039092910878894900677110563104404795722271123190409704987696}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 3513489599944428636090468965659243059370124984639401460519427115737427}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 3513489783187125189236361442163475769747505685897517545511134054264735}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 3513491249129385707742165978618864555995607553760579800097843647478152}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 3513502976711507997127143553487995413411374815014228240791239067976621}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 3513596800187013204460242680260076541720895221739247597025703683804911}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 3514347568420740150511550176127230034344030594129748064039333413592929}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 3520365284344115344025161468672280200320511080774962212276068561719910}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 3569259225902708712238342756650278741752064011879095581599399312442126}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 4015416416396119033147299622148303750458461840668912175671578360534665}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 34492166432379026353648541013350430510335403493513053042272039631920888745547401}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 3513489573818030098472922941319498008141342469938284393950635593754077}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 3513489570954861962166472740651864231399551205464010294835888656871566}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 3513489570954861961879377744061098583208438286653987888277550517951849}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 3513489570954861961879377744027741604629996806848586373096272034341503}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 3513489570954861961879377744027741604626114491514555556535444674348038}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 3513489570954861961879377744027741604626114491514546331434418280961213}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 3513489570954861961879377744027741604626114491514546331434417106555463}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1798906768991852746522177354121223100677524607449654043775662101410789260}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1798907519554602679727344495770828866407564245488752320735182254919771322}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1798913524079149692512444060168330391406117063977669454323496072103818190}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1798961561718612765501303671199433854904282839419075918081719756878415166}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1799345955214393164637582145629557049768610176789905541470986374928600799}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1802427027052997999628122334916313942028623542301957747457623655435628528}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 1827460735741343453733347772405721869648443264496317227508113432471472536}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 2055893327496266957357670186770148926269239171925460767841525522246915721}, {"parameter": "", "name": "improved_johnson", "value": 3513489570954861961879377744027741604629917459862411943889357392145319}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 224863334396444130360235301754749778295258107424393511089545084293751880}], "known_codes": [], "upper_bound": 3513489570954861961879377744027741604626114491514546331434417106555463, "classified": false, "lower_bound": 3451730488158872567254861778301003471443124750791181363571603492943432, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 3450873173395281893717377931138512726225554486085193277581262111899648}, {"parameter": "", "name": "sphere_covering", "value": 1465942173312524263626868573771257684393079245525954471895889051}, {"parameter": "", "name": "graham_sloane", "value": 1675362383731318531236030375425130228897301064847913389063742017}, {"parameter": "", "name": "multicomponent", "value": 3450873173396066531434301288534737398434157814085438609279250142855169}, {"parameter": "", "name": "construction_ST_B", "value": 3451716083255456912035660673571297296113995923266532796244929196064768}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 3450873177126566698885464482962256503161136565583637260705831959134208}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 3451715881198986273129819877761039475352063138819656495779619645947904}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 3451716083255456912035660881148982087678438726410982211446204291350528}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 3451730488158872567254861778301003471443124750791181363571603492943432}, {"parameter": "", "name": "two_pivot_block_construction", "value": 3451715877466929090209136917952683091514797303492668668137469263216640}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 105342141918573669590735994135645961496570866713287904513748888951}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 3451716083256241741361306090066607755463169548983834979971097956455049}, {"parameter": "(11,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 3450873203245531910200270749104964702079250715514932743439771961917440}, {"parameter": "(11,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 3450873203245531910200270749104964867908231634970990129632498476384256}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 3450873203245531910200270749104964704350880591123919830921864105951232}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 3450873203245531910200270749104964701754742065376820299698815134334976}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 3450873203245531910200270749104964701754732161856515240028652796116992}, {"parameter": "(10,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 1645563768020312926046593646417817527656122375829018003252445184}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1645563768020312926046593646420413666181869475360241052224061440}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1645563768020312926046593646438586705186741372060097789376331776}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1645563768020312926046593646417822588355002974463581790872272896}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1645563768020312926046593646417817517752904293000879461353127936}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 13372989519641265224813423827925193097509829337292572645872631808}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 13372989519641265224813423827925198168111928018755274975391776768}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 13372989519641265224813423827945962284943666416351790973895835648}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 13372989519641265224813423827927789245938794519651934236743565312}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 13372989519641265224813423827925193107413047420120711187771949056}, {"parameter": "(8,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 105547773551208146307169263165752574985054216126401674393832914944}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 105547773551208146307169263165752574994957736431461344556171132928}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 105547773551208146307169263165755171133483483530992567605142749184}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 105547773551208146307169263165918728484527330601291278239513182208}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 105547773551208146307169263165752899503607874543905085512998715392}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 3450873203245531910200270749104964701754732161856506016656615941341184}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1645563768020312926046593646417817517752602061545975804059451392}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 13372989519641265224813423827925193097509527105837668988578955264}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 105547773551208146307169263165752574985054216117178302356978139136}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 3450873203245531910200270749104964701754732161856506016656615941341184}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1645563768020312926046593646417817517752602061545975804059451392}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 13372989519641265224813423827925193097509527105837668988578955264}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 105547773551208146307169263165752574985054216117178302356978139136}, {"parameter": "8", "name": "linkage_GLT", "value": 3450873173395281893717377931138512726225554486085193277863356503429769}, {"parameter": "9", "name": "linkage_GLT", "value": 1645504557321206042154969182557350504982735865633579863365652545}, {"parameter": "10", "name": "linkage_GLT", "value": 13372989405774917089841414698252218740479404145898388245658468353}, {"parameter": "11", "name": "linkage_GLT", "value": 105544042266402978220617439421975639402974717673195177787130904577}, {"parameter": "8", "name": "improved_linkage", "value": 3450873173396066753341906429201481461745924557154997041026165467284152}, {"parameter": "9", "name": "improved_linkage", "value": 1645504557321580292390657213489948029636499427694020559542157312}, {"parameter": "10", "name": "improved_linkage", "value": 13372989405774917089863721749277906191061793624067715259813479651}, {"parameter": "11", "name": "improved_linkage", "value": 105544042266402978220617439423305242621342846545452707939460286954}, {"parameter": "12", "name": "improved_linkage", "value": 105342541907873436961003882136729836811446658345903898897724075363}, {"parameter": "13", "name": "improved_linkage", "value": 105341618016467828210550108460383844502823261434155931040604041793}, {"parameter": "14", "name": "improved_linkage", "value": 105342019864359008284426867660391867769779235177867116975577109129}, {"parameter": "15", "name": "improved_linkage", "value": 105342070095369357794468990123328149539631228826220535988166594625}, {"parameter": "16", "name": "improved_linkage", "value": 105342076374246025733259180013533420982053470126839113763340156929}, {"parameter": "17", "name": "improved_linkage", "value": 13167759450393510158008077072121082273448816928047692410586660865}, {"parameter": "8,0", "name": "generalized_linkage", "value": 3450873203245531910200270749104964701754732161856506016656615941341184}, {"parameter": "8,1", "name": "generalized_linkage", "value": 3450873173861698338582449563871318529472907540117472957499939871522816}, {"parameter": "8,2", "name": "generalized_linkage", "value": 3450873173402571123042610043765729115657077659315463334022741952299008}, {"parameter": "8,3", "name": "generalized_linkage", "value": 3450873173395395764415572169544902621804673321581115292769689488331776}, {"parameter": "8,4", "name": "generalized_linkage", "value": 3450873173395283669534534599238105153261460300428821324647417886503272}, {"parameter": "8,5", "name": "generalized_linkage", "value": 3450873173395281921037645136364770805844854210825223689752084240924672}, {"parameter": "8,6", "name": "generalized_linkage", "value": 3450873173396066753341906429201481461745924557154997041026165467284152}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1645563768020312926046593646417817517752602061545975804059451392}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1645505471816352580156262113452294861261200746260119229416079360}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1645504559104299665378553624011816049660824206674902222819295232}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1645504557324687873841955162265045858969872529747197603887261184}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1645504557321212829406208547819636463231571524854389510351147952}, {"parameter": "9,5", "name": "generalized_linkage", "value": 1645504557321206055204594032584509095680580594689883144030218939}, {"parameter": "9,6", "name": "generalized_linkage", "value": 1645504557321580292390657213489948029636499427694020559542157312}, {"parameter": "10,0", "name": "generalized_linkage", "value": 13372989519641265224813423827925193097509527105837668988578955264}, {"parameter": "10,1", "name": "generalized_linkage", "value": 13372989406001283549441426742203965025758086134937920747025203200}, {"parameter": "10,2", "name": "generalized_linkage", "value": 13372989405775353354589745169857595956665863990247962856790949888}, {"parameter": "10,3", "name": "generalized_linkage", "value": 13372989405774917196125314002542924884942058499372096801374118400}, {"parameter": "10,4", "name": "generalized_linkage", "value": 13372989405774917089867312132077183546511232158897646924095473512}, {"parameter": "10,5", "name": "generalized_linkage", "value": 13372989405774917089841420922124883921690655183397031299497379770}, {"parameter": "10,6", "name": "generalized_linkage", "value": 13372989405774917089863721749277906191061793624067715259813479651}, {"parameter": "11,0", "name": "generalized_linkage", "value": 105547773551208146307169263165752574985054216117178302356978139136}, {"parameter": "11,1", "name": "generalized_linkage", "value": 105544042266403032624004272373918020158301449040968471488996835328}, {"parameter": "11,2", "name": "generalized_linkage", "value": 105544042266402978234113225913397718334748717293941200063024594944}, {"parameter": "11,3", "name": "generalized_linkage", "value": 105544042266402978220620689252410764119141175019774008745279631872}, {"parameter": "11,4", "name": "generalized_linkage", "value": 105544042266402978220617439520770343707829443617319321053767047544}, {"parameter": "11,5", "name": "generalized_linkage", "value": 105544042266402978220617439421978607244658468245761786652337317691}, {"parameter": "11,6", "name": "generalized_linkage", "value": 105544042266402978220617439423305242621342846545452707939460286954}, {"parameter": "12,1", "name": "generalized_linkage", "value": 105342541908096274082048824272525197058959115666807294696617934848}, {"parameter": "12,2", "name": "generalized_linkage", "value": 105342541907873436961004287561702211959513097610620074598264995840}, {"parameter": "12,3", "name": "generalized_linkage", "value": 105342541907873436961003882149296130183737124433217859863439122944}, {"parameter": "12,4", "name": "generalized_linkage", "value": 105342541907873436961003882136730214326387346492141407772746240824}, {"parameter": "12,5", "name": "generalized_linkage", "value": 105342541907873436961003882136729836733611627469521535787838236297}, {"parameter": "12,6", "name": "generalized_linkage", "value": 105342541907873436961003882136729836811446658345903898897724075363}, {"parameter": "13,2", "name": "generalized_linkage", "value": 105341618016467828210757686145175408945626401159848181801275883520}, {"parameter": "13,3", "name": "generalized_linkage", "value": 105341618016467828210550108460383891690441568233124151240091378176}, {"parameter": "13,4", "name": "generalized_linkage", "value": 105341618016467828210550108460383844503005763986044998381616015736}, {"parameter": "13,5", "name": "generalized_linkage", "value": 105341618016467828210550108460383844502823257386541302954040453905}, {"parameter": "13,6", "name": "generalized_linkage", "value": 105341618016467828210550108460383844502823261434155931040604041793}, {"parameter": "14,3", "name": "generalized_linkage", "value": 105342019864359008284426867660394887777530822748198711599855706624}, {"parameter": "14,4", "name": "generalized_linkage", "value": 105342019864359008284426867660391867769779235263533301007207254904}, {"parameter": "14,5", "name": "generalized_linkage", "value": 105342019864359008284426867660391867769779235177866875730159318153}, {"parameter": "14,6", "name": "generalized_linkage", "value": 105342019864359008284426867660391867769779235177867116975577109129}, {"parameter": "15,4", "name": "generalized_linkage", "value": 105342070095369357794468990123328149539631229511552265554804755320}, {"parameter": "15,5", "name": "generalized_linkage", "value": 105342070095369357794468990123328149539631228826220535988151947849}, {"parameter": "15,6", "name": "generalized_linkage", "value": 105342070095369357794468990123328149539631228826220535988166594625}, {"parameter": "16,5", "name": "generalized_linkage", "value": 105342076374246025733259180013533420982053470126839113763342553673}, {"parameter": "16,6", "name": "generalized_linkage", "value": 105342076374246025733259180013533420982053470126839113763340156929}, {"parameter": "17,6", "name": "generalized_linkage", "value": 13167759450393510158008077072121082273448816928047692410586660865}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3450873203245531910200270749104964701754732161856506016656615941341184}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3450873173861698338582449563871318529472907540117472957499939871522816}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3450873173402571123042610043765729115657077659315463334022741952299008}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3450873173395395764415572169544902621804673321581115292769689488331776}, {"parameter": "[8, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3450873173395283669534534599238105153261460300428821324647417886503272}, {"parameter": "[8, 11],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3450873173395281921037645136364770805844854210825223689752084240924672}, {"parameter": "[8, 11],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 3450873173396066753341906429201481461745924557154997041026165467284152}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1645563768020312926046593646417817517752602061545975804059451392}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1645505471816352580156262113452294861261200746260119229416079360}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1645504559104299665378553624011816049660824206674902222819295232}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1645504557324687873841955162265045858969872529747197603887261184}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321212829406208547819636463231571524854389510351147952}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321206055204594032584509095680580594689883144030218939}, {"parameter": "[9, 10],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321580292390657213489948029636499427694020559542157312}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 13372989519641265224813423827925193097509527105837668988578955264}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 13372989406001283549441426742203965025758086134937920747025203200}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 13372989405775353354589745169857595956665863990247962856790949888}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 13372989405774917196125314002542924884942058499372096801374118400}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 13372989405774917089867312132077183546511232158897646924095473512}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 13372989405774917089841420922124883921690655183397031299497379770}, {"parameter": "[10, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 13372989405774917089863721749277906191061793624067715259813479651}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 105547773551208146307169263165752574985054216117178302356978139136}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 105544042266403032624004272373918020158301449040968471488996835328}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 105544042266402978234113225913397718334748717293941200063024594944}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 105544042266402978220620689252410764119141175019774008745279631872}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 105544042266402978220617439520770343707829443617319321053767047544}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 105544042266402978220617439421978607244658468245761786652337317691}, {"parameter": "[11, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 105544042266402978220617439423305242621342846545452707939460286954}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 105342541908096274082048824272525197058959115666807294696617934848}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 105342541907873436961004287561702211959513097610620074598264995840}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 105342541907873436961003882149296130183737124433217859863439122944}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 105342541907873436961003882136730214326387346492141407772746240824}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 105342541907873436961003882136729836733611627469521535787838236297}, {"parameter": "[12, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342541907873436961003882136729836811446658345903898897724075363}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 105341618016467828210757686145175408945626401159848181801275883520}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 105341618016467828210550108460383891690441568233124151240091378176}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 105341618016467828210550108460383844503005763986044998381616015736}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 105341618016467828210550108460383844502823257386541302954040453905}, {"parameter": "[13, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 105341618016467828210550108460383844502823261434155931040604041793}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 105342019864359008284426867660394887777530822748198711599855706624}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 105342019864359008284426867660391867769779235263533301007207254904}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 105342019864359008284426867660391867769779235177866875730159318153}, {"parameter": "[14, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342019864359008284426867660391867769779235177867116975577109129}, {"parameter": "[15, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 105342070095369357794468990123328149539631229511552265554804755320}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 105342070095369357794468990123328149539631228826220535988151947849}, {"parameter": "[15, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342070095369357794468990123328149539631228826220535988166594625}, {"parameter": "[16, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 105342076374246025733259180013533420982053470126839113763342553673}, {"parameter": "[16, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342076374246025733259180013533420982053470126839113763340156929}, {"parameter": "[17, 2],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 13167759450393510158008077072121082273448816928047692410586660865}, {"parameter": "[8, 2, 9],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 13164037244982672062897655974254915731093731827396071382172303360}, {"parameter": "[8, 2, 9],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 13164037245010851534270771461787247420124784168809395623548682240}, {"parameter": "[8, 2, 9],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 13193887493223848153392815391908011118495960250602144818622627840}, {"parameter": "[8, 3, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 105342076374273338275857614482750940709191856609916724922411909120}, {"parameter": "[8, 3, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 105312291670359806042839274631728256571322440187153443239053230080}, {"parameter": "[8, 3, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 105312291670387985514212390119260588260353492528566767480429608960}, {"parameter": "[8, 3, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 105342141918600982133334434049381351958724668610359516675503554560}, {"parameter": "[8, 3, 8],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 105342076374246399877678331280162610390355230081298426773779775488}, {"parameter": "[8, 3, 8],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 105312291670332867644659991429139926252485813658535145090421096448}, {"parameter": "[8, 3, 8],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 105312291670361047116033106916672257941516865999948469331797475328}, {"parameter": "[8, 3, 8],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 105342141918574043735155150846793021639888042081741218526871420928}, {"parameter": "[8, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 105342076376021340896363033739986654103589730537038022249281486848}, {"parameter": "[8, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 105312291672107808663344693888963969965720314114274740565922807808}, {"parameter": "[8, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 105312291672135988134717809376496301654751366455688064807299186688}, {"parameter": "[8, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 105342141920348984753839853306617065353122542537480814002373132288}, {"parameter": "[8, 4, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 105342076374246025734887128968508285736370162146748725244985344000}, {"parameter": "[8, 4, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 105312291670332493501868789117485601598500745723985443561626664960}, {"parameter": "[8, 4, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 105312291670360672973241904605017933287531798065398767803003043840}, {"parameter": "[8, 4, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 105342141918573669592363948535138696985902974147191516998076989440}, {"parameter": "[8, 4, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 105342076374246405816478281374860206097024684678920337623894458368}, {"parameter": "[8, 4, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 105312291670332873583459941523837521959155268256157055940535779328}, {"parameter": "[8, 4, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 105312291670361053054833057011369853648186320597570380181912158208}, {"parameter": "[8, 4, 7],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 105342141918574049673955100941490617346557496679363129376986103808}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 105342076488084588883795482970841435486276301034757504302168670208}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 105312291784171056650777143119818751348406884611994222618809991168}, {"parameter": "[8, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 105312291784199236122150258607351083037437936953407546860186370048}, {"parameter": "[8, 5, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 105342142032412232741272302537471846735809113035200296055260315648}, {"parameter": "[8, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 105342076374246025839076204230185745049984136860901176230971179008}, {"parameter": "[8, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 105312291670332493606057864379163060912114720438137894547612499968}, {"parameter": "[8, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 105312291670360673077430979866695392601145772779551218788988878848}, {"parameter": "[8, 5, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 105342141918573669696553023796816156299516948861343967984062824448}, {"parameter": "[8, 5, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 105342076374246025734912969512991763383942118475509446117834096640}, {"parameter": "[8, 5, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 105312291670332493501894629661969079246072702052746164434475417600}, {"parameter": "[8, 5, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 105312291670360672973267745149501410935103754394159488675851796480}, {"parameter": "[8, 5, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 105342141918573669592389789079622174633474930475952237870925742080}, {"parameter": "[8, 5, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 105342076374246400701021850317100056775279765636040434604811747328}, {"parameter": "[8, 5, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 105312291670332868468003510466077372637410349213277152921453068288}, {"parameter": "[8, 5, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 105312291670361047939376625953609704326441401554690477162829447168}, {"parameter": "[8, 5, 6],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 105342141918574044558498669883730468024812577636483226357903392768}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 105342083661446082009594134154141021382148880511564035837476732928}, {"parameter": "[8, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 105312298957532549776575794303118337244279464088800754154118053888}, {"parameter": "[8, 6, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 105312298957560729247948909790650668933310516430214078395494432768}, {"parameter": "[8, 6, 5],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342149205773725867070953720771432631681692512006827590568378368}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 105342076374246032518566292897605252008396151267020194888147795968}, {"parameter": "[8, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 105312291670332500285547953046582567870526734844256913204789116928}, {"parameter": "[8, 6, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 105312291670360679756921068534114899559557787185670237446165495808}, {"parameter": "[8, 6, 5],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342141918573676376043112464235663257928963267462986641239441408}, {"parameter": "[8, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 105342076374246025840755839521518820139855934208353697248720191488}, {"parameter": "[8, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 105312291670332493607737499670496136001986517785590415565361512448}, {"parameter": "[8, 6, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 105312291670360673079110615158028467691017570127003739806737891328}, {"parameter": "[8, 6, 5],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342141918573669698232659088149231389388746208796489001811836928}, {"parameter": "[8, 6, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 105342076374246025734890711450660848857306681023962650139709931520}, {"parameter": "[8, 6, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 105312291670332493501872371599638164719437264601199368456351252480}, {"parameter": "[8, 6, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 105312291670360672973245487087170496408468316942612692697727631360}, {"parameter": "[8, 6, 5],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342141918573669592367531017291260106839493024405441892801576960}, {"parameter": "[8, 6, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 105342076374246399985148770285993632412457124756530832652076318720}, {"parameter": "[8, 6, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 105312291670332867752130430434970948274587708333767550968717639680}, {"parameter": "[8, 6, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 105312291670361047223503545922503279963618760675180875210094018560}, {"parameter": "[8, 6, 5],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342141918574043842625589852624043661989936756973624405167964160}, {"parameter": "[8, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 105312758080662962421347495600544265824377325682606336095276761088}, {"parameter": "[8, 7, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 105312757951065574422921618997635127021105570566676747690648272896}, {"parameter": "[8, 7, 4],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 105312757952869059744268759641420056068554957373180901453398540288}, {"parameter": "[8, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 105312291798155009999663447722166434522350483341657311206627606528}, {"parameter": "[8, 7, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557622001237571119257295719078728225727722801999118336}, {"parameter": "[8, 7, 4],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 105312291670361107322584711763042224766528115032231876564749385728}, {"parameter": "[8, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 105312291798154582541703085666140208075005022213319930518215589888}, {"parameter": "[8, 7, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557194543277209063231069271733267097390342113587101696}, {"parameter": "[8, 7, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 105312291670360679864624349707015998319182653903894495876337369088}, {"parameter": "[8, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 105312291798154575754742577151859512873973699268154773612462604288}, {"parameter": "[8, 7, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557187756316700548950374070701944152225185207834116096}, {"parameter": "[8, 7, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 105312291670360673077663841192735303118151330958729338970584383488}, {"parameter": "[8, 7, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 105312291798154575650321108182968021285883058739225500727363239936}, {"parameter": "[8, 7, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557187651895231580058882482611303623295912322734751744}, {"parameter": "[8, 7, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 105312291670360672973242372223843811530060690429800066085485019136}, {"parameter": "[8, 7, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 105312291798154949897299960247195060137017206267351422687072223232}, {"parameter": "[8, 7, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557561898874083644285921333745451151421834282443735040}, {"parameter": "[8, 7, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 105312291670361047220221224288070850381194837957925988045194002432}, {"parameter": "[8, 8, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 105342076374246033457865960913359779083196967488876348733757849600}, {"parameter": "[8, 8, 3],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 105342076374246025839075705888801087628355300093338969565716021248}, {"parameter": "[8, 8, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 105312291668584987025802185712018099859953454565973081333411348480}, {"parameter": "[8, 8, 3],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 105312291668584979407011930687459408405111787170435702165369520128}, {"parameter": "[8, 8, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557635667955018001757036349619771421856511245827440640}, {"parameter": "[8, 8, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557628049164762977198344894778104026319132077785612288}, {"parameter": "[8, 8, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557201222763702963106627652479073503197046535754874880}, {"parameter": "[8, 8, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557193603973447938547936197637406107659667367713046528}, {"parameter": "[8, 8, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557194528372238911055627023637554070414158650830487552}, {"parameter": "[8, 8, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557186909581983886496935568795886674876779482788659200}, {"parameter": "[8, 8, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557194424153221764495375585424253075719161239918608384}, {"parameter": "[8, 8, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557186805362966739936684130582585680181782071876780032}, {"parameter": "[8, 8, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557568672559738610352897371411297413176941295511273472}, {"parameter": "[8, 8, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557561053769483585794205916569630017639562127469445120}, {"parameter": "[8, 9, 2],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 13164036460344955245379091814566775211452675195095215534835236864}, {"parameter": "[8, 9, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 13164036458597882198740335883902896668913113761483985672170635264}, {"parameter": "[8, 9, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 13164036458570083749861313677563134216246936166822026656459259904}, {"parameter": "[8, 9, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 13164036458569655230312436416452961617980963503812817638377127936}, {"parameter": "[8, 9, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 13164036458569648548902781343877173183571933350027030509773651968}, {"parameter": "[8, 9, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 13164036458569648444684698728630921810395304647988649062523994112}, {"parameter": "[8, 9, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 13164036458570022693269665760151251495250506389453327299501883392}, {"parameter": "[9, 2, 8],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 64562634097152562451922998463087102366661681335563379015680}, {"parameter": "[9, 2, 8],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 6277105583619529587391693764658083633344190519677246504960}, {"parameter": "[9, 2, 8],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 65487801216414991545010796950363753457666720872323476357120}, {"parameter": "[9, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 64562633723021189231152991817481583586482727595125646557184}, {"parameter": "[9, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 6277105209488156366621687119052564853165236779239514046464}, {"parameter": "[9, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 65487800842283618324240790304758234677487767131885743898624}, {"parameter": "[9, 3, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 64562633723008165595957049933566926727011500952006153994240}, {"parameter": "[9, 3, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 6277105209475132731425745235137907993694010136120021483520}, {"parameter": "[9, 3, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 65487800842270594689044848420843577818016540488766251335680}, {"parameter": "[9, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 64562633729793479128606544543601507358316630628123017216000}, {"parameter": "[9, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6277105216260446264075239845172488624999139812236884705280}, {"parameter": "[9, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 65487800849055908221694343030878158449321670164883114557440}, {"parameter": "[9, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 64562633723008143295989449780477960976941955433908649590784}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 6277105209475110431458145082048942243624464618022517080064}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 65487800842270572389077248267754612067946994970668746932224}, {"parameter": "[9, 4, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 64562633723008165949937111351068948260659840139963316305920}, {"parameter": "[9, 4, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 6277105209475133085405806652639929527342349324077183795200}, {"parameter": "[9, 4, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 65487800842270595043024909838345599351664879676723413647360}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 64562637203870513411548602261246092757331310296024953651200}, {"parameter": "[9, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6277108690337480547017297562817074024013819480138821140480}, {"parameter": "[9, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 65487804323132942504636400748522743848336349832785050992640}, {"parameter": "[9, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 64562633723008143699649383434163574020245669937787185397760}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6277105209475110835118078735734555286928179121901052887040}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 65487800842270572792737181921440225111250709474547282739200}, {"parameter": "[9, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 64562633723008143296001792611131702258129321936099773251584}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 6277105209475110431470487912702683524811831120213640740864}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 65487800842270572389089591098408353349134361472859870593024}, {"parameter": "[9, 5, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 64562633723008165645032147913883651884804339498922520084480}, {"parameter": "[9, 5, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 6277105209475132780500843215454633151486848683036387573760}, {"parameter": "[9, 5, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 65487800842270594738119946401160302975809379035682617425920}, {"parameter": "[9, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 64564416304596932842878497384440875151352746815465319301120}, {"parameter": "[9, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 6278887791063899978347192686011856418035255999579186790400}, {"parameter": "[9, 6, 4],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 65489583423859361935966295871717526242357786352225416642560}, {"parameter": "[9, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 64562633723008350770776934211483107704772673644163718184960}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 6277105209475317906245629513054088971455182828277585674240}, {"parameter": "[9, 6, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 65487800842270779863864732698759758795777713180923815526400}, {"parameter": "[9, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 64562633723008143706069026417097928913458833550235182039040}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 6277105209475110841537721718668910180141342734349049528320}, {"parameter": "[9, 6, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 65487800842270572799156824904374580004463873086995279380480}, {"parameter": "[9, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 64562633723008143295991160966190685023900479947782104285184}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 6277105209475110431459856267761666290582989131895971774464}, {"parameter": "[9, 6, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 65487800842270572389078959453467336114905519484542201626624}, {"parameter": "[9, 6, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 64562633723008165602362787274364769588550739325955229089792}, {"parameter": "[9, 6, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 6277105209475132737831482575935750855233248510069096579072}, {"parameter": "[9, 6, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 65487800842270594695450585761641420679555778862715326431232}, {"parameter": "[9, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 7189620126359587049845880633349140432953561715655430897664}, {"parameter": "[9, 7, 3],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 7189592333652149715087822382892340097966505369299582976000}, {"parameter": "[9, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 6277133002288797907821557386808051552835347186203202945024}, {"parameter": "[9, 7, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 6277105209581360573063499136351251217848290839847355023360}, {"parameter": "[9, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 6277133002182758534266429292101095469488130918019638493184}, {"parameter": "[9, 7, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 6277105209475321199508371041644295134501074571663790571520}, {"parameter": "[9, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 6277133002182548170766143635505359275534264180541430431744}, {"parameter": "[9, 7, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 6277105209475110836008085385048558940547207834185582510080}, {"parameter": "[9, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 6277133002182547766216426692349495364417819247386032078848}, {"parameter": "[9, 7, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 6277105209475110431458368441892695029430762901030184157184}, {"parameter": "[9, 7, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 6277133002182570072393899211333626659331275191595279843328}, {"parameter": "[9, 7, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 6277105209475132737635840960876826324344218845239431921664}, {"parameter": "[9, 8, 2],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 64562637197096572962056608684250885233166610346939129004032}, {"parameter": "[9, 8, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 6277105263863581329370727745712285663639754687678209064960}, {"parameter": "[9, 8, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 6277105209583047083159530095680869139795404134474307338240}, {"parameter": "[9, 8, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 6277105209475318362817084606459852930932964925247879905280}, {"parameter": "[9, 8, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 6277105209475110835234250665322056631495678497174199468032}, {"parameter": "[9, 8, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 6277105209475110431458361620120548239948493012965684936704}, {"parameter": "[9, 8, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 6277105209475132737720935561780372158966729630709817802752}, {"parameter": "[10, 2, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065203035728512394268224570665232491227910242304}, {"parameter": "[10, 2, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065203035728512394268224570665232491227910242304}, {"parameter": "[10, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180741205430111914274236009680692038697222144}, {"parameter": "[10, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180741205430111914274236009680692038697222144}, {"parameter": "[10, 3, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180734984643091640867950819863649926684606464}, {"parameter": "[10, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180734984643091640867950819863649926684606464}, {"parameter": "[10, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065206625207479734122356321295927733388589400064}, {"parameter": "[10, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065206625207479734122356321295927733388589400064}, {"parameter": "[10, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180734983314234512111764218324118245635784704}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180734983314234512111764218324118245635784704}, {"parameter": "[10, 4, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180734984664190496686311984286498648378834944}, {"parameter": "[10, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180734984664190496686311984286498648378834944}, {"parameter": "[10, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6490604613171434113727428313619325451960394619887774859264}, {"parameter": "[10, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 6490604613171434113727428313619325451960394619887774859264}, {"parameter": "[10, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180734984857041259644978792308579448676941824}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180734984857041259644978792308579448676941824}, {"parameter": "[10, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180734983314240398889647136956784318175248384}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180734983314240398889647136956784318175248384}, {"parameter": "[10, 5, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180734984646016744650385088168820035869999104}, {"parameter": "[10, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180734984646016744650385088168820035869999104}, {"parameter": "[10, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 6490605048371991373534487393549261663939361134802563497984}, {"parameter": "[10, 6, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 6490605048371991373534487393549261663939361134802563497984}, {"parameter": "[10, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180741316508759873065673678106715710788993024}, {"parameter": "[10, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180741316508759873065673678106715710788993024}, {"parameter": "[10, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180734984881536140955794511420474729487663104}, {"parameter": "[10, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180734984881536140955794511420474729487663104}, {"parameter": "[10, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180734983314235328243046403330852169862610944}, {"parameter": "[10, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180734983314235328243046403330852169862610944}, {"parameter": "[10, 6, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180734984643473452566673530643646991654977536}, {"parameter": "[10, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180734984643473452566673530643646991654977536}, {"parameter": "[10, 7, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 6490827442549057022967702766677814245119166974791459536896}, {"parameter": "[10, 7, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065206681291130282720424849952418972223819218944}, {"parameter": "[10, 7, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180741417035656995925206308985287457902690304}, {"parameter": "[10, 7, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180734984860437181707737875420088574740004864}, {"parameter": "[10, 7, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180734983314234618640795120769980608393773056}, {"parameter": "[10, 7, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 6490604613065180734984643461791417704659733783935134466048}, {"parameter": "[11, 2, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 3737575720315534315399097383884862232416908897290988627689472}, {"parameter": "[11, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 3737575720315534315399096057623881905497721172024555743477760}, {"parameter": "[11, 3, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 3737575720315534315399096054656945675663550257821521891295232}, {"parameter": "[11, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3737575720315534315399194820991213692758411985759689938829312}, {"parameter": "[11, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 3737575720315534315399096054656866624348938410469271955046400}, {"parameter": "[11, 4, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 3737575720315534315399096054656946933253356478422390524608512}, {"parameter": "[11, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 3737575720315534318641790604798737435813686049311333235556352}, {"parameter": "[11, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 3737575720315534315399096054662753379775571009148982208233472}, {"parameter": "[11, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 3737575720315534315399096054656866627156047805326874189496320}, {"parameter": "[11, 5, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 3737575720315534315399096054656945850013322140967587673014272}, {"parameter": "[11, 6, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 3737575720315547600313935920806907124052249863792584843853824}, {"parameter": "[11, 6, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 3737575720315534315399096247936523223802359664386779918630912}, {"parameter": "[11, 6, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 3737575720315534315399096054662846823139438414047785571581952}, {"parameter": "[11, 6, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 3737575720315534315399096054656866624738110523843263028264960}, {"parameter": "[11, 6, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 3737575720315534315399096054656945698421300931277164352897024}, {"parameter": "[8, 2, 6, 3],[0, 6, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 29790984566255368763874466604035069400093672637761900882427904}, {"parameter": "[8, 2, 6, 3],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 29790984566255368763874466604035069400093672637761900882427904}, {"parameter": "[8, 2, 7, 2],[0, 6, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 6280652723135745534615581350931530677249874480217523748864}, {"parameter": "[8, 2, 7, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 6280652723135745534615581350931530677249874480217523748864}, {"parameter": "[8, 3, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 59575688479413458991012005972394553284442160851342055446675456}, {"parameter": "[8, 3, 5, 3],[0, 6, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 59575688479413457385358351678189687093870445220660027016085504}, {"parameter": "[8, 3, 6, 2],[0, 5, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 29790984565881225972672154949710415415025738088060372087996416}, {"parameter": "[8, 3, 6, 2],[0, 5, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 29790984565881225972672154949710415415025738088060372087996416}, {"parameter": "[8, 3, 6, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 29790984565881224367018500655505549224454022457378343657406464}, {"parameter": "[8, 3, 6, 2],[0, 6, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 29790984565881224367018500655505549224454022457378343657406464}, {"parameter": "[9, 2, 6, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 116571064349387366520208469550238696261468471398641463984128}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 842707638716774755893953521023275984596492959483431543981702415440}], "request": [8, 19, 4, 8], "liftedmrdsizebound": 3451868782074394269135629084636203259711745493506768788719022262005327, "comments": "", "equal_bound_constraints": []}