{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 4015416416396119033147299622148303750458461840668912175671578360534665}, {"parameter": "", "name": "singleton", "value": 467455771483523568551302853258472608792870981791648312186505}, {"parameter": "6", "name": "ilp_2", "value": 409023995091874635940228064878877984564869415324170471940673}, {"parameter": "8", "name": "ilp_3", "value": 1675362383731318531236030375425130228897301064847913389063742017}, {"parameter": "", "name": "anticode", "value": 409023995091874635940228064878877984564869415324170471940673}, {"parameter": "", "name": "linear_programming_bound", "value": 409023995091874635940228064878877984564869415324170471940673}, {"parameter": "", "name": "sphere_packing", "value": 4015416416396119033147299622148303750458461840668912175671578360534665}, {"parameter": "1", "name": "ilp_1", "value": 409023994758558015741285168983587557146918489980554850178039}, {"parameter": "2", "name": "ilp_1", "value": 409023994758558015741285168983587557146918489980562366403063}, {"parameter": "3", "name": "ilp_1", "value": 409023994758558015741285168983587557146927727184935763382848}, {"parameter": "4", "name": "ilp_1", "value": 409023994758558015741285168987470820311850627343910930817088}, {"parameter": "5", "name": "ilp_1", "value": 409023994758558015774707423418365835163980660071530383610881}, {"parameter": "9", "name": "ilp_4", "value": 1675356791606010734668278980398091882030180107041221789635908609}, {"parameter": "10", "name": "ilp_4", "value": 1675356791603385866106062725786667387273094705675643488442581512}, {"parameter": "11", "name": "ilp_4", "value": 1675356791603385863605242367723181510035899619301982262446817722}, {"parameter": "12", "name": "ilp_4", "value": 1675356791603385863605241846647633569675624689734256219346734650}, {"parameter": "13", "name": "ilp_4", "value": 1675356791603385863605241846647628498122658627458906586091314381}, {"parameter": "14", "name": "ilp_4", "value": 1675356791603385863605242357073404142187015178803001249609951759}, {"parameter": "15", "name": "ilp_4", "value": 209420287044289947918226806934442541572503335406884300044453439}, {"parameter": "16", "name": "ilp_4", "value": 26177534344613895768337372748490496053480213272376311670447524}, {"parameter": "17", "name": "ilp_4", "value": 3272191961068313707725542022702711200796992527958864550765128}, {"parameter": "", "name": "johnson_1", "value": 409023994758558015741285168983587557146918489980554850178039}, {"parameter": "", "name": "johnson_2", "value": 3272191961068313707725542022702711200796992527958864550765128}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 4015416416396119033147299622148303750458461840668912175671578360534665}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1675362383731318531236030375425130228897301064847913389063742017}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1675356791606010734668278980398091882030180107041221789635908609}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1675356791603385866106062725786667387273094705675643488442581512}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1675356791603385863605242367723181510035899619301982262446817722}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1675356791603385863605241846647633569675624689734256219346734650}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1675356791603385863605241846647628498122658627458906586091314381}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1675356791603385863605242357073404142187015178803001249609951759}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 209420287044289947918226806934442541572503335406884300044453439}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 26177534344613895768337372748490496053480213272376311670447524}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 3272191961068313707725542022702711200796992527958864550765128}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 409023995091874635940228064878877984564869415324170471940673}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 409023995133539074395095209808563868693234847999213656139890}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 409023995466854582339605227289392506768375579260471500397285}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 409023998133378665452348427333303805561969663659282788157549}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 409024019465572581980804337107171423397780754387236794693190}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 409024190123204018343233316333094971175411595578220829717815}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 409025555389382193387180225969442069420610025357308513792429}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 409036477846925372757569843508064368111932664523339583373914}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 409123878511926724304802558434898740723176028051747011512016}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 409824430755489406659233739056662396979108738503532695334743}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 415516417437503327387192048712075895552230053887815074202997}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 467455771483523568551302853258472608792870981791648312186505}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 4015416416396119033147299622148303750458461840668912175671578360534665}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 409023995091874635940228064878877984564869415324170471940673}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 409023994758558015774707423418365835163980660071530383610881}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 409023994758558015741285168987470820311850627343910930817088}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 409023994758558015741285168983587557146927727184935763382848}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 409023994758558015741285168983587557146475766222829896139847}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 409023994758558015741285168983587557146475766222828822196807}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1675362383731318531236030375425130228897301064847913389063742017}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1675363082747309544899986097077885790637297928720951674760482605}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1675368674896236692617184280049075470361837139679190575954176527}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1675413413431633267201235805305207177933201630808550852089957152}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1675771407750450787158121572561829571176327571270982525671063228}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1678640879336721643649041263449446996538192102560257175354462386}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1701955335974875418914819240214362673832199451118552614641978395}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 1914699752773601179916275049971104096031183830202122303905453705}, {"parameter": "", "name": "improved_johnson", "value": 409023994758558015741285168983587557146918489980554850178007}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 209420297966414816404503796928141278612162633105989173632967752}], "known_codes": [], "upper_bound": 409023994758558015741285168983587557146475766222828822196807, "classified": false, "lower_bound": 401834315641772630677971972159869730106935844085497257345033, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 401734511064747568885490523085290650630550748445698208825344}, {"parameter": "", "name": "sphere_covering", "value": 1365265527343893463449063261853794543574899440237968365}, {"parameter": "", "name": "graham_sloane", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "", "name": "multicomponent", "value": 401734511070593575434899205349835643920094838014644722860033}, {"parameter": "", "name": "construction_ST_B", "value": 401832638687300979742702664675682594800981590822370028007740}, {"parameter": "", "name": "EF_special", "value": 401834315641464759976904424139464794128095421048885275000832}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 401734511071534736457577061510827055345867116109178500808704}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 401832614737238985923349019242551713688064841534420765638656}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 401832638687300979742702562433273499715433885815471376572928}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 401834315641772630677971972159869730106935844085497257345033}, {"parameter": "", "name": "two_pivot_block_construction", "value": 401832614730453245598955186776896367258717923366076856401920}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 784859685696507995619415008728636377825413196277247077807}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 401832638687390940268018827025231124846506301722165053526609}, {"parameter": "(11,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 401734733033520741785630464421188931107285510527080305000448}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 401734733033520741785630464416752154006486707621841843781632}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 401734733033520741785630464416118348049185706755160287477760}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 401734733033520741785630464416118328706372737036281568034816}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1532930755924911755006011660886830812020427935753175040}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1532930755924911755006012284808610611852086484911783936}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1532930755924911755006011652221250537022766011459305472}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1532930755924911755006011650983311088033196095265832960}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 12454526132725632348566629653994732259649543877867601920}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 12454526132725632348566629733220476922274652213062139904}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 12454526132725632348566629733220476922274652213062139904}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 12454526132725632348566629653994732259649543877867601920}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 98295549180502886176153749882285740731654934559094472704}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 98295549180502886176153749883523680180644504475287945216}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 98295549180502886176153750516111040255473824948740423680}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 98295549180502886176153749892189260455642166399581814784}, {"parameter": "(7,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 784836588059291656666819331071102176444987032153622577152}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 784836588059291656666819331071121519257956751032342020096}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 784836588059291656666819331704927476558957617713898323968}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 784836588059291656666819336141704577357760522952359542784}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 401734733033520741785630464416118328706372592921093492178944}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 1532930755924911755006011650983310497737385736560181248}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 12454526132725632348566629653992314408010314619518189568}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 98295549180502886176153749882285740141359124200388820992}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 784836588059291656666819331071102176444842916965546721280}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 401734733033520741785630464416118328706372592921093492178944}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 1532930755924911755006011650983310497737385736560181248}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 12454526132725632348566629653992314408010314619518189568}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 98295549180502886176153749882285740141359124200388820992}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 784836588059291656666819331071102176444842916965546721280}, {"parameter": "7", "name": "linkage_GLT", "value": 401734511064747568885490523085290650630559974155374249415249}, {"parameter": "8", "name": "linkage_GLT", "value": 1532495540865888858358347027150309183618743529908469833}, {"parameter": "9", "name": "linkage_GLT", "value": 12454525270895149986949723556872995929658589341322084865}, {"parameter": "10", "name": "linkage_GLT", "value": 98295549178845869077387265403047435861845422327633805313}, {"parameter": "11", "name": "linkage_GLT", "value": 784836581272124084580280905534697461128475253485254737921}, {"parameter": "7", "name": "improved_linkage", "value": 401734511070595228426763783894390440689789177295204982069661}, {"parameter": "8", "name": "improved_linkage", "value": 1532495540888195909384034477732698661788066136338613475}, {"parameter": "9", "name": "improved_linkage", "value": 12454525270895150072044375091823704138899554189696827392}, {"parameter": "10", "name": "improved_linkage", "value": 98295549178845869077387305979319903798475801341928350525}, {"parameter": "11", "name": "improved_linkage", "value": 784836581272124084580280905534716809329121565629159557482}, {"parameter": "12", "name": "improved_linkage", "value": 784856261204281768376857836887718604786851933685908279889}, {"parameter": "13", "name": "improved_linkage", "value": 784859255203308847690735341540693427831916329348882235465}, {"parameter": "14", "name": "improved_linkage", "value": 784859629453365688257774683817904408843359485632899482113}, {"parameter": "15", "name": "improved_linkage", "value": 98107447936543596717034457366287847552105066204648964097}, {"parameter": "16", "name": "improved_linkage", "value": 12263430902300301452325242922311989538600828522865885185}, {"parameter": "7,0", "name": "generalized_linkage", "value": 401734733033520741785630464416118328706372592921093492178944}, {"parameter": "7,1", "name": "generalized_linkage", "value": 401734514539686420329681511928208900062184825637279723159552}, {"parameter": "7,2", "name": "generalized_linkage", "value": 401734511119043721042920018538580143432879043952898858916352}, {"parameter": "7,3", "name": "generalized_linkage", "value": 401734511065594344188323385579952902767962133154157511573504}, {"parameter": "7,4", "name": "generalized_linkage", "value": 401734511064749197300215398269183165062457109317731524650171}, {"parameter": "7,5", "name": "generalized_linkage", "value": 401734511070595228426763783894390440689789177295204982069661}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1532930755924911755006011650983310497737385736560181248}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1532502340941109715000231449493814335337122667010195456}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1532495554147619594979082035695135161794522515915412480}, {"parameter": "8,3", "name": "generalized_linkage", "value": 1532495540891780157815790295742584137877140928696562584}, {"parameter": "8,4", "name": "generalized_linkage", "value": 1532495540865938638729494973314611589583175422654283776}, {"parameter": "8,5", "name": "generalized_linkage", "value": 1532495540888195909384034477732698661788066136338613475}, {"parameter": "9,0", "name": "generalized_linkage", "value": 12454526132725632348566629653992314408010314619518189568}, {"parameter": "9,1", "name": "generalized_linkage", "value": 12454525272558961812236240528522301964838563628929777664}, {"parameter": "9,2", "name": "generalized_linkage", "value": 12454525270898393305796695259895786487128289023826903552}, {"parameter": "9,3", "name": "generalized_linkage", "value": 12454525270895150777276400079727163743068897811153647536}, {"parameter": "9,4", "name": "generalized_linkage", "value": 12454525270895149987139661088295407296462755254086096485}, {"parameter": "9,5", "name": "generalized_linkage", "value": 12454525270895150072044375091823704138899554189696827392}, {"parameter": "10,0", "name": "generalized_linkage", "value": 98295549180502886176153749882285740141359124200388820992}, {"parameter": "10,1", "name": "generalized_linkage", "value": 98295549178846280834204582263411777283155017461950840832}, {"parameter": "10,2", "name": "generalized_linkage", "value": 98295549178845869176561198951385039077677760622464315904}, {"parameter": "10,3", "name": "generalized_linkage", "value": 98295549178845869077411384378924833742096017457975415032}, {"parameter": "10,4", "name": "generalized_linkage", "value": 98295549178845869077387266127618201865588899419221582650}, {"parameter": "10,5", "name": "generalized_linkage", "value": 98295549178845869077387305979319903798475801341928350525}, {"parameter": "11,0", "name": "generalized_linkage", "value": 784836588059291656666819331071102176444842916965546721280}, {"parameter": "11,1", "name": "generalized_linkage", "value": 784836581272124084679237452448444424136855203718195052544}, {"parameter": "11,2", "name": "generalized_linkage", "value": 784836581272124084580283973373731589598942267036069929472}, {"parameter": "11,3", "name": "generalized_linkage", "value": 784836581272124084580280905626883196727110592904834811192}, {"parameter": "11,4", "name": "generalized_linkage", "value": 784836581272124084580280905534700225086514227513706146585}, {"parameter": "11,5", "name": "generalized_linkage", "value": 784836581272124084580280905534716809329121565629159557482}, {"parameter": "12,1", "name": "generalized_linkage", "value": 784856261204281819042633968864691870754877845427342540800}, {"parameter": "12,2", "name": "generalized_linkage", "value": 784856261204281768376857836979879114685457401766420554240}, {"parameter": "12,3", "name": "generalized_linkage", "value": 784856261204281768376857836887718961234618233732418845560}, {"parameter": "12,4", "name": "generalized_linkage", "value": 784856261204281768376857836887718604778946747526143653585}, {"parameter": "12,5", "name": "generalized_linkage", "value": 784856261204281768376857836887718604786851933685908279889}, {"parameter": "13,2", "name": "generalized_linkage", "value": 784859255203308847690735347438966412735973149354835190272}, {"parameter": "13,3", "name": "generalized_linkage", "value": 784859255203308847690735341540693427833254858448039988088}, {"parameter": "13,4", "name": "generalized_linkage", "value": 784859255203308847690735341540693427831916325579420181577}, {"parameter": "13,5", "name": "generalized_linkage", "value": 784859255203308847690735341540693427831916329348882235465}, {"parameter": "14,3", "name": "generalized_linkage", "value": 784859629453365688257774683817904408854067753696684559224}, {"parameter": "14,4", "name": "generalized_linkage", "value": 784859629453365688257774683817904408843359485632897651273}, {"parameter": "14,5", "name": "generalized_linkage", "value": 784859629453365688257774683817904408843359485632899482113}, {"parameter": "15,4", "name": "generalized_linkage", "value": 98107447936543596717034457366287847552105066204649263689}, {"parameter": "15,5", "name": "generalized_linkage", "value": 98107447936543596717034457366287847552105066204648964097}, {"parameter": "16,5", "name": "generalized_linkage", "value": 12263430902300301452325242922311989538600828522865885185}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 401734733033520741785630464416118328706372592921093492178944}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 401734514539686420329681511928208900062184825637279723159552}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 401734511119043721042920018538580143432879043952898858916352}, {"parameter": "[7, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 401734511065594344188323385579952902767962133154157511573504}, {"parameter": "[7, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 401734511064749197300215398269183165062457109317731524650171}, {"parameter": "[7, 11],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 401734511070595228426763783894390440689789177295204982069661}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1532930755924911755006011650983310497737385736560181248}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1532502340941109715000231449493814335337122667010195456}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1532495554147619594979082035695135161794522515915412480}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1532495540891780157815790295742584137877140928696562584}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1532495540865938638729494973314611589583175422654283776}, {"parameter": "[8, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1532495540888195909384034477732698661788066136338613475}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12454526132725632348566629653992314408010314619518189568}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12454525272558961812236240528522301964838563628929777664}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 12454525270898393305796695259895786487128289023826903552}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 12454525270895150777276400079727163743068897811153647536}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 12454525270895149987139661088295407296462755254086096485}, {"parameter": "[9, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 12454525270895150072044375091823704138899554189696827392}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 98295549180502886176153749882285740141359124200388820992}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 98295549178846280834204582263411777283155017461950840832}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 98295549178845869176561198951385039077677760622464315904}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 98295549178845869077411384378924833742096017457975415032}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 98295549178845869077387266127618201865588899419221582650}, {"parameter": "[10, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 98295549178845869077387305979319903798475801341928350525}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656666819331071102176444842916965546721280}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 784836581272124084679237452448444424136855203718195052544}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 784836581272124084580283973373731589598942267036069929472}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 784836581272124084580280905626883196727110592904834811192}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 784836581272124084580280905534700225086514227513706146585}, {"parameter": "[11, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 784836581272124084580280905534716809329121565629159557482}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 784856261204281819042633968864691870754877845427342540800}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 784856261204281768376857836979879114685457401766420554240}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 784856261204281768376857836887718961234618233732418845560}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 784856261204281768376857836887718604778946747526143653585}, {"parameter": "[12, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 784856261204281768376857836887718604786851933685908279889}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 784859255203308847690735347438966412735973149354835190272}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 784859255203308847690735341540693427833254858448039988088}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 784859255203308847690735341540693427831916325579420181577}, {"parameter": "[13, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 784859255203308847690735341540693427831916329348882235465}, {"parameter": "[14, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 784859629453365688257774683817904408854067753696684559224}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 784859629453365688257774683817904408843359485632897651273}, {"parameter": "[14, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 784859629453365688257774683817904408843359485632899482113}, {"parameter": "[15, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 98107447936543596717034457366287847552105066204649263689}, {"parameter": "[15, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 98107447936543596717034457366287847552105066204648964097}, {"parameter": "[16, 2],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 12263430902300301452325242922311989538600828522865885185}, {"parameter": "[7, 2, 9],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 12259970280429062046060671638072149906009990376542175232}, {"parameter": "[7, 2, 9],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 12259970278982659748569832709293416555682403021752369152}, {"parameter": "[7, 2, 9],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 12481938946106560330419779859619880155926466996482342912}, {"parameter": "[7, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 98079714722860981523880436279189382342742475353580634112}, {"parameter": "[7, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 98079714724540243190009167833082240757430632985030295552}, {"parameter": "[7, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 98079714723093840892518328904303507407103045630240489472}, {"parameter": "[7, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 98301683390217741474368276054629971007347109604970463232}, {"parameter": "[7, 3, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 98079714721255327869586231412998810627111793325150044160}, {"parameter": "[7, 3, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 98079714722934589535714962966891669041799950956599705600}, {"parameter": "[7, 3, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 98079714721488187238224124038112935691472363601809899520}, {"parameter": "[7, 3, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 98301683388612087820074071188439399291716427576539873280}, {"parameter": "[7, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 784859630299901572408476146071303279927576417840572399616}, {"parameter": "[7, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 784637717875687119830262455172873987237481660391815643136}, {"parameter": "[7, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 784637717877366381496391186726766845652169818023265304576}, {"parameter": "[7, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637717875919979198900347797988112301842230668475498496}, {"parameter": "[7, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 784859686543043879780750294948314575902086294643205472256}, {"parameter": "[7, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 784859629453365694457294056158752040066715614780424454144}, {"parameter": "[7, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 784637717029151241879080365260322747376620857331667697664}, {"parameter": "[7, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 784637717030830503545209096814215605791309014963117359104}, {"parameter": "[7, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637717029384101247718257885436872440981427608327553024}, {"parameter": "[7, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 784859685696508001829568205035763336041225491583057526784}, {"parameter": "[7, 4, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 784859629453546925443092478775007998748887700212163805184}, {"parameter": "[7, 4, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 784637717029332472864878787876578706058792942763407048704}, {"parameter": "[7, 4, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 784637717031011734531007519430471564473481100394856710144}, {"parameter": "[7, 4, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637717029565332233516680501692831123153513040066904064}, {"parameter": "[7, 4, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 784859685696689232815366627652019294723397577014796877824}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 784859683734191943512133998386645266052563579375382953984}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 784637771309977490933920307488215973362468821926626197504}, {"parameter": "[7, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637771311656752600049039042108831777156979558075858944}, {"parameter": "[7, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637771310210350302558200113330098426829392203286052864}, {"parameter": "[7, 5, 6],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 784859739977334250884408147263656562027073456178016026624}, {"parameter": "[7, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 784859629453366091906906180312557918239274683565493714944}, {"parameter": "[7, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 784637717029151639328692489414128625549179926116736958464}, {"parameter": "[7, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637717030830900994821220968021483963868083748186619904}, {"parameter": "[7, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637717029384498697330382039242750613540496393396813824}, {"parameter": "[7, 5, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 784859685696508399279180329189569214213784560368126787584}, {"parameter": "[7, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 784859629453365694555846811765545201600106331407709634560}, {"parameter": "[7, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 784637717029151241977633120867115908910011573958952878080}, {"parameter": "[7, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637717030830503643761852421008767324699731590402539520}, {"parameter": "[7, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637717029384101346271013492230033974372144235612733440}, {"parameter": "[7, 5, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 784859685696508001928120960642556497574616208210342707200}, {"parameter": "[7, 5, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 784859629453544486809512901101311721618645436743964164096}, {"parameter": "[7, 5, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 784637717029330034231299210202882428928550679295207407616}, {"parameter": "[7, 5, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637717031009295897427941756775287343238836926657069056}, {"parameter": "[7, 5, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637717029562893599937102827996553992911249571867262976}, {"parameter": "[7, 5, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 784859685696686794181787049978323017593155313546597236736}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 784641252795111806870510455917785145311459877005008306176}, {"parameter": "[7, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 784641190894588828790495336646179352336168929435410497536}, {"parameter": "[7, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 784641190894585606746511771792946940452132100230973751296}, {"parameter": "[7, 6, 5],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 784641191000634144984385689001485869962555569135205482496}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 784637778823887640038626306629307358824338517731351461888}, {"parameter": "[7, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637716923364661958611187357701565849047570161753653248}, {"parameter": "[7, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637716923361439914627622504469153965010740957316907008}, {"parameter": "[7, 6, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637717029409978152501539713008083475434209861548638208}, {"parameter": "[7, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 784637778823862166989381209455811107901920029008273080320}, {"parameter": "[7, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637716923339188909366090184205314926629081438675271680}, {"parameter": "[7, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637716923335966865382525330972903042592252234238525440}, {"parameter": "[7, 6, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637717029384505103256442539511832553015721138470256640}, {"parameter": "[7, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 784637778823861763147509109671658457888458895874282487808}, {"parameter": "[7, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637716923338785067493990400052664913167948304684679168}, {"parameter": "[7, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637716923335563023510425546820253029131119100247932928}, {"parameter": "[7, 6, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637717029384101261384342755359182539554588004479664128}, {"parameter": "[7, 6, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 784637778824040208101795972257047731460338678297748570112}, {"parameter": "[7, 6, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637716923517230021780852985441938485047730728150761472}, {"parameter": "[7, 6, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637716923514007977797288132209526601010901523714015232}, {"parameter": "[7, 6, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637717029562546215671205340748456111434370427945746432}, {"parameter": "[7, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 784859629453605106918668068282726320645383135906959982592}, {"parameter": "[7, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 784859629453365688248897225595899822843969607616096632832}, {"parameter": "[7, 7, 4],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 784859629453365739504942800570382046605815356096912556032}, {"parameter": "[7, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637716925231032729554060742225052490074545996907413504}, {"parameter": "[7, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637716924991614059783218055398554688661017706044063744}, {"parameter": "[7, 7, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637716924991665315828793029880778450506766186859986944}, {"parameter": "[7, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637716923600808021070135447974564978792338258191712256}, {"parameter": "[7, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637716923361389351299292761148067177378809967328362496}, {"parameter": "[7, 7, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637716923361440607344867735630290939224558448144285696}, {"parameter": "[7, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637716923574918699061299854899862907061363345570398208}, {"parameter": "[7, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637716923335500029290457168073365105647835054707048448}, {"parameter": "[7, 7, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637716923335551285336032142555588867493583535522971648}, {"parameter": "[7, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637716923574520362728029499791139658577971463850033152}, {"parameter": "[7, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637716923335101692957186812964641857164443172986683392}, {"parameter": "[7, 7, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637716923335152949002761787446865619010191653802606592}, {"parameter": "[7, 7, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637716923752969803805537260519258976851559962512457728}, {"parameter": "[7, 7, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637716923513551134034694573692761175438031671649107968}, {"parameter": "[7, 7, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637716923513602390080269548174984937283780152465031168}, {"parameter": "[7, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 98079714721233027138462686548771295121808164173008338944}, {"parameter": "[7, 8, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 98079714721233027124411760594573367251083536449472036864}, {"parameter": "[7, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 98079714617099693843722966848430161481422631040976945152}, {"parameter": "[7, 8, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 98079714617099693829672040894232233610698003317440643072}, {"parameter": "[7, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 98079714615442827022419037896126734558800689383774093312}, {"parameter": "[7, 8, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 98079714615442827008368111941928806688076061660237791232}, {"parameter": "[7, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 98079714615417290711081013123486701441335954360168873984}, {"parameter": "[7, 8, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 98079714615417290697030087169288773570611326636632571904}, {"parameter": "[7, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 98079714615416893160892098948223422050446243475822215168}, {"parameter": "[7, 8, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 98079714615416893146841172994025494179721615752285913088}, {"parameter": "[7, 8, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 98079714615595343282570409485477993799871440882149359616}, {"parameter": "[7, 8, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 98079714615595343268519483531280065929146813158613057536}, {"parameter": "[7, 9, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 12259964434422512722473058628048911383122303238639976448}, {"parameter": "[7, 9, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 12259964328587274786028615096668712316506469413739823104}, {"parameter": "[7, 9, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 12259964326953000541834162484306227846078446595618111488}, {"parameter": "[7, 9, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 12259964326927514639087067279460951957322588448287096832}, {"parameter": "[7, 9, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 12259964326927117078797436005430105711767070351321726976}, {"parameter": "[7, 9, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 12259964327105567285546660969540991919108007719178600448}, {"parameter": "[8, 2, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 46768281766364808300204346649789089452023600906240}, {"parameter": "[8, 2, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 46768285052502853264078139951389169545585377673216}, {"parameter": "[8, 2, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 481983133718230739577764889183953447923965723934720}, {"parameter": "[8, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 808403845415410005776060331510736823634692963041280}, {"parameter": "[8, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 374144626277508159609393857924036749543487085477888}, {"parameter": "[8, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144629563646204573267651225636829637048862244864}, {"parameter": "[8, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 809359478229374090886954400458201108015429208506368}, {"parameter": "[8, 3, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 808403845365728780205603315845084130949654804168704}, {"parameter": "[8, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 374144626227826934038936842258384056858448926605312}, {"parameter": "[8, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144629513964979002810635559984136952010703372288}, {"parameter": "[8, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 809359478179692865316497384792548415330391049633792}, {"parameter": "[8, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 808403871249634959999557186706437276081605000036352}, {"parameter": "[8, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144652111733113832890713119737201990399122472960}, {"parameter": "[8, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144655397871158796764506421337282083960899239936}, {"parameter": "[8, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 809359504063599045110451255653901560462341245501440}, {"parameter": "[8, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 808403845365643733344292317501672683316080866754560}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144626227741887177625843914972609224874989191168}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144629513879932141499637216572689318436765958144}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 809359478179607818455186386449136967696817112219648}, {"parameter": "[8, 4, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 808403845365730130243351354107570889726594903965696}, {"parameter": "[8, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 374144626227828284076684880520870815635389026402304}, {"parameter": "[8, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144629513966329040558673822470895728950803169280}, {"parameter": "[8, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 809359478179694215354245423055035174107331149430784}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 808417123398064553255776169812169184685354974707712}, {"parameter": "[8, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 374157904260162707089109696225469110594149097144320}, {"parameter": "[8, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 374157907546300752052983489527069190687710873911296}, {"parameter": "[8, 5, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 809372756212028638366670238759633469066091220172800}, {"parameter": "[8, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 808403845365656052062703869690953763419217142480896}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144626227754205896037396104253689328011264917504}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144629513892250859911189405853769421573041684480}, {"parameter": "[8, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 809359478179620137173597938638418047799953387945984}, {"parameter": "[8, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 808403845365643733720884992997956955869469705502720}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144626227741887554218519411256881778263827939328}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144629513879932518092312712856961871825604706304}, {"parameter": "[8, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 809359478179607818831779061945421240250205950967808}, {"parameter": "[8, 5, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 808403845365728967412245369575359453869660230909952}, {"parameter": "[8, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 374144626227827121245578895988659379778454353346560}, {"parameter": "[8, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144629513965166209452689290259459872016130113536}, {"parameter": "[8, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 809359478179693052523139438522823738250396476375040}, {"parameter": "[8, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 380957887531363340535594730883847674387059460538368}, {"parameter": "[8, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 380942771354118916388447041948449528755590086524928}, {"parameter": "[8, 6, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 380942981710399025282887179587584441566090212933632}, {"parameter": "[8, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 374159535341175682909871994743303862199240041168896}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419163931258762724305807905716567770667155456}, {"parameter": "[8, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 374144629520211367657164443447040629378270793564160}, {"parameter": "[8, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 374159535334856761982560231576786562856554525097984}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419157612337835412542641388417225085151084544}, {"parameter": "[8, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 374144629513892446729852680280523330035585277493248}, {"parameter": "[8, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 374159535334844247446428432181121392655567075409920}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419157599823299280743245723247024097701396480}, {"parameter": "[8, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 374144629513879932193720880884858159834597827805184}, {"parameter": "[8, 6, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 374159535334929315816434085549954958031178851942400}, {"parameter": "[8, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419157684891669286396614556812399709477928960}, {"parameter": "[8, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 374144629513965000563726534253691725210209604337664}, {"parameter": "[8, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 808403845372851668427681644280539365566082971598848}, {"parameter": "[8, 7, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 808403845365742448775706075243619945904211740327936}, {"parameter": "[8, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144422405626047726100351966829799371450160775168}, {"parameter": "[8, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 374144422398516828074124782929910379709578929504256}, {"parameter": "[8, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419170351042956248521062274334508514602385408}, {"parameter": "[8, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 374144419163241823304272952025354914846643371114496}, {"parameter": "[8, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419163931475483618785344938883521193927770112}, {"parameter": "[8, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 374144419156822255831643216308019463859322696499200}, {"parameter": "[8, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419163919129610385528330396892739751131480064}, {"parameter": "[8, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 374144419156809909958409959293477473077879900209152}, {"parameter": "[8, 7, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 374144419164004200160300533509074269353909589901312}, {"parameter": "[8, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 374144419156894980508324964472154849692038358630400}, {"parameter": "[8, 8, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 46768259465718348931414199128472475410076973137920}, {"parameter": "[8, 8, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 46768055687839223488115702579342130007356100050944}, {"parameter": "[8, 8, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 46768052401033024821822790640661755722378055254016}, {"parameter": "[8, 8, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 46768052394699978121342625736674062983880180236288}, {"parameter": "[8, 8, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 46768052394687656281379752522983765589294860730368}, {"parameter": "[8, 8, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 46768052394772727155309586901595325821238802120704}, {"parameter": "[9, 2, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 380930315183541241153142828643101378536603828355072}, {"parameter": "[9, 2, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 380081948368947612883097030499782065608659650478080}, {"parameter": "[9, 2, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 380943778446776215908158273028368729363299145089024}, {"parameter": "[9, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 380930315183456360445331303414174043878912425984000}, {"parameter": "[9, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 380081948368862732175285505270854730950968248107008}, {"parameter": "[9, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 380943778446691335200346747799441394705607742717952}, {"parameter": "[9, 3, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 380930315183456170601977413234538875732640388874240}, {"parameter": "[9, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 380081948368862542331931615091219562804696210997248}, {"parameter": "[9, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 380943778446691145356992857619806226559335705608192}, {"parameter": "[9, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 380930315184246277170410002659832486836933471764480}, {"parameter": "[9, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 380081948369652648900364204516513173908989293887488}, {"parameter": "[9, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 380943778447481251925425447045099837663628788498432}, {"parameter": "[9, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 380930315183456170561503137735421392151414680059904}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 380081948368862542291457339592102079223470502182912}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 380943778446691145316518582120688742978109996793856}, {"parameter": "[9, 4, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 380930315183456170602621161397780387309654728769536}, {"parameter": "[9, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 380081948368862542332575363254461074381710550892544}, {"parameter": "[9, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 380943778446691145357636605783047738136350045503488}, {"parameter": "[9, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 380930318425953215255025255323609691813287968112640}, {"parameter": "[9, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 380081951611359586984979457180290378885343790235648}, {"parameter": "[9, 5, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 380943781689188190010040699708877042639983284846592}, {"parameter": "[9, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 380930315183456170938164784139067501569541243142144}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 380081948368862542668118985995748188641597065265152}, {"parameter": "[9, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 380943778446691145693180228524334852396236559876096}, {"parameter": "[9, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 380930315183456170561504574629433906988532830830592}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 380081948368862542291458776486114594060588652953600}, {"parameter": "[9, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 380943778446691145316520019014701257815228147564544}, {"parameter": "[9, 5, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 380930315183456170602066680317732526109591091544064}, {"parameter": "[9, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 380081948368862542332020882174413213181646913667072}, {"parameter": "[9, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 380943778446691145357082124702999876936286408278016}, {"parameter": "[9, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 380083611763601386971401255277422734368037725536256}, {"parameter": "[9, 6, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 380083608527337275923114240958289230602928096542720}, {"parameter": "[9, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 380081951605128199482730083936504094491631857696768}, {"parameter": "[9, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 380081948368864088434443069617370590726522228703232}, {"parameter": "[9, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 380081951605126653722384913449986768091843810820096}, {"parameter": "[9, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 380081948368862542674097899130853264326734181826560}, {"parameter": "[9, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 380081951605126653339744553162036874205151226757120}, {"parameter": "[9, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 380081948368862542291457538842903370440041597763584}, {"parameter": "[9, 6, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 380081951605126653380228910456218456254286630223872}, {"parameter": "[9, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 380081948368862542331941896137084952489177001230336}, {"parameter": "[9, 7, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 380930315587989184442448470817127222855384589926400}, {"parameter": "[9, 7, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 380081948369654167540625615343566773930625563885568}, {"parameter": "[9, 7, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 380081948368864112971142231846013576474348360826880}, {"parameter": "[9, 7, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 380081948368862542668948068184583577738272261013504}, {"parameter": "[9, 7, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 380081948368862542291457362540164830940615017496576}, {"parameter": "[9, 7, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 380081948368862542331942913565731027171081862512640}, {"parameter": "[10, 2, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749817387880000363784071674116555407360}, {"parameter": "[10, 2, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749817387880000363784071674116555407360}, {"parameter": "[10, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749817348039550164780702793639198195712}, {"parameter": "[10, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749817348039550164780702793639198195712}, {"parameter": "[10, 3, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749817347315200499293844660288848134144}, {"parameter": "[10, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749817347315200499293844660288848134144}, {"parameter": "[10, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749841460179716976039438774045685841920}, {"parameter": "[10, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749841460179716976039438774045685841920}, {"parameter": "[10, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749817347315181501886790234396552069120}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749817347315181501886790234396552069120}, {"parameter": "[10, 4, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749817347315200806256889418852641800192}, {"parameter": "[10, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749817347315200806256889418852641800192}, {"parameter": "[10, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 374969419692848773517568743385210904996110246346752}, {"parameter": "[10, 5, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 374969419692848773517568743385210904996110246346752}, {"parameter": "[10, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749817347326679066282127939406003175424}, {"parameter": "[10, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749817347326679066282127939406003175424}, {"parameter": "[10, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749817347315181507368252266315771805696}, {"parameter": "[10, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749817347315181507368252266315771805696}, {"parameter": "[10, 5, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749817347315200541859706931431033798656}, {"parameter": "[10, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749817347315200541859706931431033798656}, {"parameter": "[10, 6, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 374969420098074290329891186503440894445568506462208}, {"parameter": "[10, 6, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749817394501160166853955432819080560640}, {"parameter": "[10, 6, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749817347326861533712290510990645133312}, {"parameter": "[10, 6, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749817347315181502646892018240547979264}, {"parameter": "[10, 6, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 374969419692749817347315200504196229354097253285888}, {"parameter": "[11, 2, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 381026412639742142111049398575330648188600121819136}, {"parameter": "[11, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 381026412639742142111049381995775232991966175166464}, {"parameter": "[11, 3, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 381026412639742142111049379232526757726570181296128}, {"parameter": "[11, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 381026412639742142111141362549307143974299793096704}, {"parameter": "[11, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 381026412639742142111049379232518851978481727700992}, {"parameter": "[11, 4, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 381026412639742142111049379232526904097956117348352}, {"parameter": "[11, 5, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 381026412639742145130963531003819470082341766955008}, {"parameter": "[11, 5, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 381026412639742142111049379276378597734588572762112}, {"parameter": "[11, 5, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 381026412639742142111049379232518872888669747806208}, {"parameter": "[11, 5, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 381026412639742142111049379232526778023554983133184}, {"parameter": "[7, 2, 5, 4],[0, 5, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 222286780444295629855978131353728119208658547322650624}, {"parameter": "[7, 2, 5, 4],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 222286674628205897470067041603963472062104508913680384}, {"parameter": "[7, 2, 5, 4],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 222286782123557295984709685246586533896816178772312064}, {"parameter": "[7, 2, 6, 3],[0, 5, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 374250414156975797015843076450862713643904033357824}, {"parameter": "[7, 2, 6, 3],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 374250413753319256376143174670781967347060156923904}, {"parameter": "[7, 2, 6, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 374250414156975797015843076450862713643904033357824}, {"parameter": "[7, 2, 6, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 374250413753319256376143174670781967347060156923904}, {"parameter": "[7, 2, 7, 2],[0, 5, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 374250413753319256376143174670781967347060156923904}, {"parameter": "[7, 2, 7, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 374144597663586870465053424906134820793021747953664}, {"parameter": "[7, 2, 7, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 374252093014985385107697067529196655504691606585344}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 222286780265895878420929453348400579614057285044666368}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 222286780265895878420929453348400579614057285044666368}, {"parameter": "[7, 3, 4, 4],[0, 5, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 222286780265889753338324876456058238871123513216860160}, {"parameter": "[7, 3, 4, 4],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 222286780265889753338324876456058238871123513216860160}, {"parameter": "[7, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 374356051443300207238554919107889519299836287909888}, {"parameter": "[7, 3, 5, 3],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 374356051443300207238554919107889519299836287909888}, {"parameter": "[7, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 374356051443300207238554919107889519299836287909888}, {"parameter": "[7, 3, 5, 3],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 374356051443300207238554919107889519299836287909888}, {"parameter": "[7, 3, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 374356051437175124633978026765548776366064460103680}, {"parameter": "[7, 3, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 374356051437175124633978026765548776366064460103680}, {"parameter": "[7, 3, 5, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 374356051437175124633978026765548776366064460103680}, {"parameter": "[7, 3, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 374356051437175124633978026765548776366064460103680}, {"parameter": "[7, 3, 6, 2],[0, 4, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 374356051443300207238554919107889519299836287909888}, {"parameter": "[7, 3, 6, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 374250235353567821327465169343242372745797878939648}, {"parameter": "[7, 3, 6, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 374357730704966335970108811966304207457467737571328}, {"parameter": "[7, 3, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 374356051437175124633978026765548776366064460103680}, {"parameter": "[7, 3, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 374250235347442738722888277000901629812026051133440}, {"parameter": "[7, 3, 6, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 374357730698841253365531919623963464523695909765120}, {"parameter": "[7, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 444199204480745906246744505583571442267883518870683648}, {"parameter": "[7, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 444199204480342246484385276452868207004125402719322112}, {"parameter": "[7, 4, 3, 4],[0, 5, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 444199204480342332902053522923613415724657902073413632}, {"parameter": "[7, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 222286780266293328033053607154278752173126070113927168}, {"parameter": "[7, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 222286780266293328033053607154278752173126070113927168}, {"parameter": "[7, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 222286780265889668270694378023575516909367953962565632}, {"parameter": "[7, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 222286780265889668270694378023575516909367953962565632}, {"parameter": "[7, 4, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 222286780265889754688362624494320725629900453316657152}, {"parameter": "[7, 4, 4, 3],[0, 5, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 222286780265889754688362624494320725629900453316657152}, {"parameter": "[7, 4, 5, 2],[0, 3, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 222286780266293328033053607154278752173126070113927168}, {"parameter": "[7, 4, 5, 2],[0, 3, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 222286674450203595647142517404514105026572031704956928}, {"parameter": "[7, 4, 5, 2],[0, 3, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 222286781945554994161785161047137166861283701563588608}, {"parameter": "[7, 4, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 222286780265889668270694378023575516909367953962565632}, {"parameter": "[7, 4, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 222286674449799935884783288273810869762813915553595392}, {"parameter": "[7, 4, 5, 2],[0, 4, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 222286781945151334399425931916433931597525585412227072}, {"parameter": "[7, 4, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 222286780265889754688362624494320725629900453316657152}, {"parameter": "[7, 4, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 222286674449800022302451534744556078483346414907686912}, {"parameter": "[7, 4, 5, 2],[0, 5, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 222286781945151420817094178387179140318058084766318592}, {"parameter": "[8, 2, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 434259811686009937777508421422611619279300374560768}, {"parameter": "[8, 2, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 434259811686009937777508421422611619279300374560768}, {"parameter": "[8, 2, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 592548108091610841947835911545188094496997376}, {"parameter": "[8, 2, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 592548108091610841947835911545188094496997376}, {"parameter": "[8, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 868519030823826737082863896665900245736932314710016}, {"parameter": "[8, 3, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 868519030823826713393009479600749190566542812643328}, {"parameter": "[8, 3, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 434259811685924890916197423079200171645726437146624}, {"parameter": "[8, 3, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 434259811685924890916197423079200171645726437146624}, {"parameter": "[8, 3, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 434259811685924867226343006014049116475336935079936}, {"parameter": "[8, 3, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 434259811685924867226343006014049116475336935079936}, {"parameter": "[9, 2, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1696915675449235961651551990614101316121774784512}, {"parameter": "", "name": "JohnsonLB", "value": 401834291687666320254883802875371588768590080187452913471236}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 12263432588269761061291285407798404487661008185431425024}], "request": [8, 18, 4, 7], "liftedmrdsizebound": 401850414734309450562399165352537584240754511908496562968201, "comments": "", "equal_bound_constraints": []}