{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1072899407235501640594173584630829335134329469413072927564629311304442562608422652286}, {"parameter": "", "name": "singleton", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "7", "name": "ilp_2", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "9", "name": "ilp_3", "value": 22154727289187692946051393846384899192720638345033996809474450123648443963726}, {"parameter": "", "name": "anticode", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "", "name": "linear_programming_bound", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "", "name": "sphere_packing", "value": 1072899407235501640594173584630829335134329469413072927564629311304442562608422652286}, {"parameter": "1", "name": "ilp_1", "value": 30390572327068572599996725939138509663435061519969305908401149434502399560}, {"parameter": "2", "name": "ilp_1", "value": 30390572327068572599996725939138509663435061519969305908401149435281374149}, {"parameter": "3", "name": "ilp_1", "value": 30390572327068572599996725939138509663435061519969306783754912969228260599}, {"parameter": "4", "name": "ilp_1", "value": 30390572327068572599996725939138509663435064957382039898522712738366965677}, {"parameter": "5", "name": "ilp_1", "value": 30390572327068572599996725939145407014813335204716514034527312454811902818}, {"parameter": "6", "name": "ilp_1", "value": 30390572327068572600213469450092696688022337777430540415829277915641023173}, {"parameter": "10", "name": "ilp_4", "value": 22154727289187692946051393846384899192720638345033996809474450123648443963726}, {"parameter": "11", "name": "ilp_4", "value": 22154727289187598478814496659647881383372482027666188188658212689610504412861}, {"parameter": "12", "name": "ilp_4", "value": 22154727289187598478814496659647881383372482027666188188658212689610504412861}, {"parameter": "13", "name": "ilp_4", "value": 22154727289187598478814496659591323101906658873177570850206734453275270954180}, {"parameter": "14", "name": "ilp_4", "value": 22154727289187598478814496659591323098080026889057698118010758280726782551421}, {"parameter": "15", "name": "ilp_4", "value": 22154727289187598478814496659591323098080026886005109008600536554191418018114}, {"parameter": "16", "name": "ilp_4", "value": 22154727289187598478814496659591323101775248490500275166669594024315500389142}, {"parameter": "17", "name": "ilp_4", "value": 2461636308986066148249863276304420822219197802181641004249473064886950305651}, {"parameter": "18", "name": "ilp_4", "value": 273515151021092095838110320224552013510666148673298916622007344757073841535}, {"parameter": "", "name": "johnson_1", "value": 30390572327068572599996725939138509663435061519969305908401149434502399560}, {"parameter": "", "name": "johnson_2", "value": 273515151021092095838110320224552013510666148673298916622007344757073841535}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1072899407235501640594173584630829335134329469413072927564629311304442562608422652286}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 22154727289187692946051393846384899192720638345033996809474450123648443963726}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 22154727289187692946051393846384899192720638345033996809474450123648443963726}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 22154727289187598478814496659647881383372482027666188188658212689610504412861}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 22154727289187598478814496659647881383372482027666188188658212689610504412861}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 22154727289187598478814496659591323101906658873177570850206734453275270954180}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 22154727289187598478814496659591323098080026889057698118010758280726782551421}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 22154727289187598478814496659591323098080026886005109008600536554191418018114}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 22154727289187598478814496659591323101775248490500275166669594024315500389142}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 2461636308986066148249863276304420822219197802181641004249473064886950305651}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 273515151021092095838110320224552013510666148673298916622007344757073841535}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 30390572335676899377586714908189951550355610533008671950857687700114260511}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 30390572343424392183789718412917803070877991989177882844471871039516813372}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 30390572413151827617373456315610529937538059640737195648083605262575149799}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 30390573040698760917920646633080159597841986764288024811076305869448502027}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 30390578688622326884866346032941589263645938904367266687919938162504367534}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 30390629520028887988590762798603153604118223018228117526304362136418493307}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 30391087010339926829696336662850601748134106260217373916181021623147245462}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 30395205043044731689323261990931759741660459802343271077382892433658464133}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 30432317618608224992600075792507990724672631630432009618205184873544075946}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 30770454417410787756896218034748967572278741064240151484742021409947331149}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1072899407235501640594173584630829335134329469413072927564629311304442562608422652286}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 30390572327068572600213469450092696688022337777430540415829277915641023173}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 30390572327068572599996725939145407014813335204716514034527312454811902818}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 30390572327068572599996725939138509663435064957382039898522712738366965677}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 30390572327068572599996725939138509663434845197431326466205691687755087316}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 30390572327068572599996725939138509663434845197431326356773500077268950111}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 30390572327068572599996725939138509663434845197431326356773500073480837783}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 22154727289187692946051393846384899192720638345033996809474450123648443963726}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 22154727746669492226043396563613002732573850637948205718595580440097039623821}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 22154731864006535951300298849349210763062074889180052092523128749926425504902}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 22154768920108796239658727459910516004324040353095681132022527692639306491508}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 22155102430607440819084475824589793291042602917435925842682345127666065442123}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 22158104477006486694545415035749871927132201790329734076179876091203903407588}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 22185159549621077589688812768966486705265461179089763019532277345179754979068}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 22431661322331018702425964321981594838494204350996817887102323990644133813324}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 24924068135208538822547384702464617091999062369254639098504245466254894991726}, {"parameter": "", "name": "improved_johnson", "value": 30390572327068572599996725939138509663435061519969305908401149434502399539}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 2461636365465299216227932649598322132524515371670444089941605569294271551525}], "known_codes": [], "upper_bound": 30390572327068572599996725939138509663434845197431326356773500073480837783, "classified": false, "lower_bound": 29973697026756603314019362623281023278094694159378234061636310178009770385, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 29969067287845284806900763378587428179104321131567560879029936829441608169}, {"parameter": "", "name": "sphere_covering", "value": 5647923434942666828522445363212797918234998723806816770403447733089}, {"parameter": "", "name": "graham_sloane", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "", "name": "multicomponent", "value": 29969067287846594827409401005302504828335979425800174179815283831826331942}, {"parameter": "", "name": "construction_ST_B", "value": 29973636439635394319351331584134490111258190701116591519327571298450860304}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 29969067297635554976323090670533606121931246663490945216924675170669650106}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 29973635753016093529323451022003382046539665203440454654269147132153573102}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 29973636439635394319351331649460266494850785698119027324982448565425880449}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 29973697026756603314019362623281023278094694159378234061636310178009770385}, {"parameter": "", "name": "two_pivot_block_construction", "value": 29973635743224524912533859341328885910382311618682093402321128908845481984}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 507616898451133293641603167307046508513871650811172702402611846322881}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 29973636439636704539558217472416705317244006954378905881075605724274385574}, {"parameter": "(11,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 29969067375957679524593685227594993529278454660513119562258771809304176835}, {"parameter": "(11,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 29969067375957679524593685227594993545679129529228838534078399462138659483}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 29969067375957679524593685227594993529458681856872632957553492992302357963}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 29969067375957679524593685227594993529255926642488604864792763290079303003}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 29969067375957679524593685227594993529255926260968180497265920792941763403}, {"parameter": "(10,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 6265909840058264453023561660623873224876492108121427029297937703295}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 6265909840058264453023561660624075980090876136214187759000160758255}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 6265909840058264453023561660625698024858111756771840249647144388407}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 6265909840058264453023561660623873502623361127337992454955064036247}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 6265909840058264453023561660623873224494978144726370424342586736727}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 57096988580767806748832239971700430175296254030948382694225831965487}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 57096988580767806748832239971700430453424637013560004724838309265007}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 57096988580767806748832239971702254975659387642993852519530389617167}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 57096988580767806748832239971700632930892152022436200028883405987015}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 57096988580767806748832239971700430175677767994343439299181182932055}, {"parameter": "(8,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 508312979232063836330073173192569051208059513062488797146329100045171}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 508312979232063836330073173192569051208441033486856323988826237584771}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 508312979232063836330073173192569253963655417514949084718528460639731}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 508312979232063836330073173192585474411327773720525609624998296941251}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 508312979232063836330073173192569073736459058001553789997345462458603}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 29969067375957679524593685227594993529255926260968180387846931661429404194}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 6265909840058264453023561660623873224494971683644481197669287804486}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 57096988580767806748832239971700430175296247569866493467552533033246}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 508312979232063836330073173192569051208059513062379378157197587685962}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 29969067375957679524593685227594993529255926260968180387846931661429404194}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 6265909840058264453023561660623873224494971683644481197669287804486}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 57096988580767806748832239971700430175296247569866493467552533033246}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 508312979232063836330073173192569051208059513062379378157197587685962}, {"parameter": "8", "name": "linkage_GLT", "value": 29969067287845284806900763378587428179104321131567560879031792677025196194}, {"parameter": "9", "name": "linkage_GLT", "value": 6265787482177970379256224194341930332206694446810665274859641635606}, {"parameter": "10", "name": "linkage_GLT", "value": 57096988414971498723002088566050738955827227222009115661219419030846}, {"parameter": "11", "name": "linkage_GLT", "value": 508303188961894414002781227014626224282527589678041483418856359644026}, {"parameter": "8", "name": "improved_linkage", "value": 29969067287846595054493061149883941068692027300903156755692560030185394334}, {"parameter": "9", "name": "improved_linkage", "value": 6265787482178244319479469094517092533449840111122483530061166945684}, {"parameter": "10", "name": "improved_linkage", "value": 57096988414971498723008452354290988705277654626055018722358853880300}, {"parameter": "11", "name": "improved_linkage", "value": 508303188961894414002781227014774058699688881654977769809479338190922}, {"parameter": "12", "name": "improved_linkage", "value": 507617850570160526168514738217460240302220396832732609264323780474830}, {"parameter": "13", "name": "improved_linkage", "value": 507615691118848868090410536934941789596903563904274655821891194998030}, {"parameter": "14", "name": "improved_linkage", "value": 507616646289102004183734231885168362856729927405073019311639782099082}, {"parameter": "15", "name": "improved_linkage", "value": 507616752419152319568738456231485516540018436309507053046743698903060}, {"parameter": "16", "name": "improved_linkage", "value": 507616764211380406329454088177957263632799708486745820208546990029604}, {"parameter": "17", "name": "improved_linkage", "value": 56401862546563909922798630985792501368151071446352050544755528414966}, {"parameter": "8,0", "name": "generalized_linkage", "value": 29969067375957679524593685227594993529255926260968180387846931661429404194}, {"parameter": "8,1", "name": "generalized_linkage", "value": 29969067288933099254701913190535884302882760727580049992084631971347016784}, {"parameter": "8,2", "name": "generalized_linkage", "value": 29969067287858716357824068847406507894274581774846221360532817702126255184}, {"parameter": "8,3", "name": "generalized_linkage", "value": 29969067287845450606644197457492576698262191566376107908146898231943396026}, {"parameter": "8,4", "name": "generalized_linkage", "value": 29969067287845286851042614265220625992438948756364078655468867391610028824}, {"parameter": "8,5", "name": "generalized_linkage", "value": 29969067287845284831829323693873344118864634257823013254491160172211042522}, {"parameter": "8,6", "name": "generalized_linkage", "value": 29969067287846595054493061149883941068692027300903156755692560030185394334}, {"parameter": "9,0", "name": "generalized_linkage", "value": 6265909840058264453023561660623873224494971683644481197669287804486}, {"parameter": "9,1", "name": "generalized_linkage", "value": 6265788978443442068628684403657831795206546270777301564091891798826}, {"parameter": "9,2", "name": "generalized_linkage", "value": 6265787484227970799689509283132781397254633623361728473757543201816}, {"parameter": "9,3", "name": "generalized_linkage", "value": 6265787482180782058744210149271688905240274523195000938142027547416}, {"parameter": "9,4", "name": "generalized_linkage", "value": 6265787482177974230887251543595849247949047382790543510085670534978}, {"parameter": "9,5", "name": "generalized_linkage", "value": 6265787482177970384474530551346724881557165764451175409196174603901}, {"parameter": "9,6", "name": "generalized_linkage", "value": 6265787482178244319479469094517092533449840111122483530061166945684}, {"parameter": "10,0", "name": "generalized_linkage", "value": 57096988580767806748832239971700430175296247569866493467552533033246}, {"parameter": "10,1", "name": "generalized_linkage", "value": 57096988415202087204809618038537827573949505007284901490956160376370}, {"parameter": "10,2", "name": "generalized_linkage", "value": 57096988414971811644960958483383550094620945617104489141384481738870}, {"parameter": "10,3", "name": "generalized_linkage", "value": 57096988414971498770625578655351678548878572450481077467527765703460}, {"parameter": "10,4", "name": "generalized_linkage", "value": 57096988414971498723009337166871870249161613292634443442409094319460}, {"parameter": "10,5", "name": "generalized_linkage", "value": 57096988414971498723002089657216572023323308988738964849424073677602}, {"parameter": "10,6", "name": "generalized_linkage", "value": 57096988414971498723008452354290988705277654626055018722358853880300}, {"parameter": "11,0", "name": "generalized_linkage", "value": 508312979232063836330073173192569051208059513062379378157197587685962}, {"parameter": "11,1", "name": "generalized_linkage", "value": 508303188961894448714801134778007900798219747747895461536809923568026}, {"parameter": "11,2", "name": "generalized_linkage", "value": 508303188961894414008138746050710981640169290495833521939631650952750}, {"parameter": "11,3", "name": "generalized_linkage", "value": 508303188961894414002782034625142662585078998002949632662319442784050}, {"parameter": "11,4", "name": "generalized_linkage", "value": 508303188961894414002781227028266031712158822076061417925992098958240}, {"parameter": "11,5", "name": "generalized_linkage", "value": 508303188961894414002781227014626452421201677250988484599495817426475}, {"parameter": "11,6", "name": "generalized_linkage", "value": 508303188961894414002781227014774058699688881654977769809479338190922}, {"parameter": "12,1", "name": "generalized_linkage", "value": 507617850570388272159143971168503424297096219022968329862047519588120}, {"parameter": "12,2", "name": "generalized_linkage", "value": 507617850570160526168514827827560006454350001103425200762507453716616}, {"parameter": "12,3", "name": "generalized_linkage", "value": 507617850570160526168514738218996556470232451820020370499994148158380}, {"parameter": "12,4", "name": "generalized_linkage", "value": 507617850570160526168514738217460265999189390243015386883935045204640}, {"parameter": "12,5", "name": "generalized_linkage", "value": 507617850570160526168514738217460240298833823468667312884122963662480}, {"parameter": "12,6", "name": "generalized_linkage", "value": 507617850570160526168514738217460240302220396832732609264323780474830}, {"parameter": "13,2", "name": "generalized_linkage", "value": 507615691118848868090475862711325382191900566260299869678403489454360}, {"parameter": "13,3", "name": "generalized_linkage", "value": 507615691118848868090410536934941792452064573922557948384385413123816}, {"parameter": "13,4", "name": "generalized_linkage", "value": 507615691118848868090410536934941789596908996018323027530132289492780}, {"parameter": "13,5", "name": "generalized_linkage", "value": 507615691118848868090410536934941789596903563834480233712810302875215}, {"parameter": "13,6", "name": "generalized_linkage", "value": 507615691118848868090410536934941789596903563904274655821891194998030}, {"parameter": "14,3", "name": "generalized_linkage", "value": 507616646289102004183734231885168594124777110387097660287706647324210}, {"parameter": "14,4", "name": "generalized_linkage", "value": 507616646289102004183734231885168362856729927406194732800658054752658}, {"parameter": "14,5", "name": "generalized_linkage", "value": 507616646289102004183734231885168362856729927405073017690315060647257}, {"parameter": "14,6", "name": "generalized_linkage", "value": 507616646289102004183734231885168362856729927405073019311639782099082}, {"parameter": "15,4", "name": "generalized_linkage", "value": 507616752419152319568738456231485516540018436319602491153110000045968}, {"parameter": "15,5", "name": "generalized_linkage", "value": 507616752419152319568738456231485516540018436309507053046743660699095}, {"parameter": "15,6", "name": "generalized_linkage", "value": 507616752419152319568738456231485516540018436309507053046743698903060}, {"parameter": "16,5", "name": "generalized_linkage", "value": 507616764211380406329454088177957263632799708486745820208546995410443}, {"parameter": "16,6", "name": "generalized_linkage", "value": 507616764211380406329454088177957263632799708486745820208546990029604}, {"parameter": "17,6", "name": "generalized_linkage", "value": 56401862546563909922798630985792501368151071446352050544755528414966}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 29969067375957679524593685227594993529255926260968180387846931661429404194}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 29969067288933099254701913190535884302882760727580049992084631971347016784}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 29969067287858716357824068847406507894274581774846221360532817702126255184}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 29969067287845450606644197457492576698262191566376107908146898231943396026}, {"parameter": "[8, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 29969067287845286851042614265220625992438948756364078655468867391610028824}, {"parameter": "[8, 11],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 29969067287845284831829323693873344118864634257823013254491160172211042522}, {"parameter": "[8, 11],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 29969067287846595054493061149883941068692027300903156755692560030185394334}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6265909840058264453023561660623873224494971683644481197669287804486}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6265788978443442068628684403657831795206546270777301564091891798826}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6265787484227970799689509283132781397254633623361728473757543201816}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6265787482180782058744210149271688905240274523195000938142027547416}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6265787482177974230887251543595849247949047382790543510085670534978}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 6265787482177970384474530551346724881557165764451175409196174603901}, {"parameter": "[9, 10],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 6265787482178244319479469094517092533449840111122483530061166945684}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 57096988580767806748832239971700430175296247569866493467552533033246}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 57096988415202087204809618038537827573949505007284901490956160376370}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 57096988414971811644960958483383550094620945617104489141384481738870}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 57096988414971498770625578655351678548878572450481077467527765703460}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 57096988414971498723009337166871870249161613292634443442409094319460}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 57096988414971498723002089657216572023323308988738964849424073677602}, {"parameter": "[10, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 57096988414971498723008452354290988705277654626055018722358853880300}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 508312979232063836330073173192569051208059513062379378157197587685962}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 508303188961894448714801134778007900798219747747895461536809923568026}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 508303188961894414008138746050710981640169290495833521939631650952750}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 508303188961894414002782034625142662585078998002949632662319442784050}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 508303188961894414002781227028266031712158822076061417925992098958240}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 508303188961894414002781227014626452421201677250988484599495817426475}, {"parameter": "[11, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 508303188961894414002781227014774058699688881654977769809479338190922}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 507617850570388272159143971168503424297096219022968329862047519588120}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 507617850570160526168514827827560006454350001103425200762507453716616}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 507617850570160526168514738218996556470232451820020370499994148158380}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 507617850570160526168514738217460265999189390243015386883935045204640}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 507617850570160526168514738217460240298833823468667312884122963662480}, {"parameter": "[12, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 507617850570160526168514738217460240302220396832732609264323780474830}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 507615691118848868090475862711325382191900566260299869678403489454360}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 507615691118848868090410536934941792452064573922557948384385413123816}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 507615691118848868090410536934941789596908996018323027530132289492780}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 507615691118848868090410536934941789596903563834480233712810302875215}, {"parameter": "[13, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 507615691118848868090410536934941789596903563904274655821891194998030}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 507616646289102004183734231885168594124777110387097660287706647324210}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 507616646289102004183734231885168362856729927406194732800658054752658}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 507616646289102004183734231885168362856729927405073017690315060647257}, {"parameter": "[14, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 507616646289102004183734231885168362856729927405073019311639782099082}, {"parameter": "[15, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 507616752419152319568738456231485516540018436319602491153110000045968}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 507616752419152319568738456231485516540018436309507053046743660699095}, {"parameter": "[15, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 507616752419152319568738456231485516540018436309507053046743698903060}, {"parameter": "[16, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 507616764211380406329454088177957263632799708486745820208546995410443}, {"parameter": "[16, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 507616764211380406329454088177957263632799708486745820208546990029604}, {"parameter": "[17, 2],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 56401862546563909922798630985792501368151071446352050544755528414966}, {"parameter": "[8, 2, 9],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 56392088651666025013275711677819244306018103865590084567821161982579}, {"parameter": "[8, 2, 9],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 56392088651691572299711600327546649190397509132276389065384294073943}, {"parameter": "[8, 2, 9],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 56480201044339934972775377705635620307491724605050536943661826819563}, {"parameter": "[8, 3, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 507616764211405330569248663224057272507749108819589411390313750212573}, {"parameter": "[8, 3, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 507528786058484307921898077295103871174871033281377785228466340817053}, {"parameter": "[8, 3, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 507528786058509855208333965944831276059250438548064089726029472908417}, {"parameter": "[8, 3, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 507616898451158217881397743322920247176344654020838237604307005654037}, {"parameter": "[8, 3, 8],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 507616764211380680222199082549017311193215369381458664125189774202883}, {"parameter": "[8, 3, 8],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 507528786058459657574848496620063909860337293843247037963342364807363}, {"parameter": "[8, 3, 8],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 507528786058485204861284385269791314744716699109933342460905496898727}, {"parameter": "[8, 3, 8],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 507616898451133567534348162647880285861810914582707490339183029644347}, {"parameter": "[8, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 507616764213424193945137324433514838231481671405197608507295481435203}, {"parameter": "[8, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 507528786060503171297786738504561436898603595866985982345448072039683}, {"parameter": "[8, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 507528786060528718584222627154288841782983001133672286843011204131047}, {"parameter": "[8, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 507616898453177081257286404532377812900077216606446434721288736876667}, {"parameter": "[8, 4, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 507616764211380406330033091583326904599897315027314884659477184154653}, {"parameter": "[8, 4, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 507528786058459383682682505654373503267019239489103258497629774759133}, {"parameter": "[8, 4, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 507528786058484930969118394304100908151398644755789562995192906850497}, {"parameter": "[8, 4, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 507616898451133293642182171682189879268492860228563710873470439596117}, {"parameter": "[8, 4, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 507616764211380683645858315457209719210785129243243317219520933071847}, {"parameter": "[8, 4, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 507528786058459660998507729528256317877907053705031691057673523676327}, {"parameter": "[8, 4, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 507528786058485208284943618177983722762286458971717995555236655767691}, {"parameter": "[8, 4, 7],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 507616898451133570958007395556072693879380674444492143433514188513311}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 507616764377151452509130567315325103990989623001212627180297624718723}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 507528786224230429861779981386371702658111547463001001018450215323203}, {"parameter": "[8, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 507528786224255977148215870036099107542490952729687305516013347414567}, {"parameter": "[8, 5, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 507616898616904339821279647414188078659585168202461453394290880160187}, {"parameter": "[8, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 507616764211380406376932444867138259463780343974689589125543185255683}, {"parameter": "[8, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 507528786058459383729581858938184858130902268436477962963695775860163}, {"parameter": "[8, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 507528786058484931016017747587912263015281673703164267461258907951527}, {"parameter": "[8, 5, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 507616898451133293689081524966001234132375889175938415339536440697147}, {"parameter": "[8, 5, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 507616764211380406330040329137848064190871261657260227590555060774697}, {"parameter": "[8, 5, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 507528786058459383682689743208894662857993186119048601428707651379177}, {"parameter": "[8, 5, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 507528786058484930969125631858622067742372591385734905926270783470541}, {"parameter": "[8, 5, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 507616898451133293642189409236711038859466806858509053804548316216161}, {"parameter": "[8, 5, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 507616764211380680640112988796657762272408351947127584038553129297467}, {"parameter": "[8, 5, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 507528786058459657992762402867704360939530276408915957876705719901947}, {"parameter": "[8, 5, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 507528786058485205279198291517431765823909681675602262374268851993311}, {"parameter": "[8, 5, 6],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 507616898451133567952262068895520736941003897148376410252546384738931}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 507616777640631814879985638126782121892149691296876857830108853723843}, {"parameter": "[8, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 507528799487710792232635052197828720559271615758665231668261444328323}, {"parameter": "[8, 6, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 507528799487736339519070940847556125443651021025351536165824576419687}, {"parameter": "[8, 6, 5],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 507616911880384702192134718225645096560745236498125684044102109165307}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 507616764211380410180410497562330603656739100566346166080963754292803}, {"parameter": "[8, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 507528786058459387533059911633377202323861025028134539919116344897283}, {"parameter": "[8, 6, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 507528786058484934819495800283104607208240430294820844416679476988647}, {"parameter": "[8, 6, 5],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 507616898451133297492559577661193578325334645767594992294957009734267}, {"parameter": "[8, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 507616764211380406377525924324088325290622468246971944682458896495847}, {"parameter": "[8, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 507528786058459383730175338395134923957744392708760318520611487100327}, {"parameter": "[8, 6, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 507528786058484931016611227044862328842123797975446623018174619191691}, {"parameter": "[8, 6, 5],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 507616898451133293689675004422951299959218013448220770896452151937311}, {"parameter": "[8, 6, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 507616764211380406330033975045866793184699121570522054280403993331717}, {"parameter": "[8, 6, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 507528786058459383682683389116913391851821046032310428118556583936197}, {"parameter": "[8, 6, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 507528786058484930969119277766640796736200451298996732616119716027561}, {"parameter": "[8, 6, 5],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 507616898451133293642183055144729767853294666771770880494397248773181}, {"parameter": "[8, 6, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 507616764211380680270263595974589405165256713197970672728235527436457}, {"parameter": "[8, 6, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 507528786058459657622913010045636003832378637659759046566388118040937}, {"parameter": "[8, 6, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 507528786058485204909348898695363408716758042926445351063951250132301}, {"parameter": "[8, 6, 5],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 507616898451133567582412676073452379833852258399219498942228782877921}, {"parameter": "[8, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 507529873865984255094382547485327388812753185751485818052919096219203}, {"parameter": "[8, 7, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 507529873680000010268417423503892294210413071181485119118784271938572}, {"parameter": "[8, 7, 4],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 507529873682069340042420158097739626165414670876779740095931170489767}, {"parameter": "[8, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 507528786242400157989708645282748647300195874323319340050828704964803}, {"parameter": "[8, 7, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 507528786056415913163743521301313552697855759753318641116693880684172}, {"parameter": "[8, 7, 4],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 507528786058485242937746255895160884652857359448613262093840779235367}, {"parameter": "[8, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 507528786242399849919595143681870152059069688498807020860979148570727}, {"parameter": "[8, 7, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 507528786056415605093630019700435057456729573928806321926844324290096}, {"parameter": "[8, 7, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 507528786058484934867632754294282389411731173624100942903991222841291}, {"parameter": "[8, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 507528786242399846068052580902088201174400707226558377851612847642747}, {"parameter": "[8, 7, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 507528786056415601242087456920653106572060592656557678917478023362116}, {"parameter": "[8, 7, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 507528786058484931016090191514500438527062192351852299894624921913311}, {"parameter": "[8, 7, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 507528786242399846021080885299212313007409719284047122901126093176287}, {"parameter": "[8, 7, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 507528786056415601195115761317777218405069604714046423966991268895656}, {"parameter": "[8, 7, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 507528786058484930969118495911624550360071204409341044944138167446851}, {"parameter": "[8, 7, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 507528786242400119960145919607934120196883757508054469589383740967337}, {"parameter": "[8, 7, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 507528786056415875134180795626499025594543642938053770655248916686706}, {"parameter": "[8, 7, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 507528786058485204908183530220346357549545242633348391632395815237901}, {"parameter": "[8, 8, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 507616764211380410649974797108249555495881733218028316113074938612253}, {"parameter": "[8, 8, 3],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 507616764211380406376932336767524918698579464155067882858406930119363}, {"parameter": "[8, 8, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 507528786056440871159485414711635834630069008188241713081820749892253}, {"parameter": "[8, 8, 3],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 507528786056440866886442954370911197832766739125281279827152741399363}, {"parameter": "[8, 8, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 507528786056415920909096730842249855422069397442542195533922606751297}, {"parameter": "[8, 8, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 507528786056415916636054270501525218624767128379581762279254598258407}, {"parameter": "[8, 8, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 507528786056415608897107186772001198643963938588202429187252366373717}, {"parameter": "[8, 8, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 507528786056415604624064726431276561846661669525241995932584357880827}, {"parameter": "[8, 8, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 507528786056415605087761559117462238344813454097396342101886717336707}, {"parameter": "[8, 8, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 507528786056415600814719098776737601547511185034435908847218708843817}, {"parameter": "[8, 8, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 507528786056415605040853973160861232020977020281270315703001216476857}, {"parameter": "[8, 8, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 507528786056415600767811512820136595223674751218309882448333207983967}, {"parameter": "[8, 8, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 507528786056415878980434476660865553020538377216047691046661209545069}, {"parameter": "[8, 8, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 507528786056415874707392016320140916223236108153087257791993201052179}, {"parameter": "[8, 9, 2],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 56392087341645516423133608845952533446819388446488356906668461066171}, {"parameter": "[8, 9, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 56392087339627315406477607361291680673184661212033761270802035479135}, {"parameter": "[8, 9, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 56392087339602045906003266683091793734104198210273414874148399031155}, {"parameter": "[8, 9, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 56392087339601737312416469005961609985374522177343750085792692070945}, {"parameter": "[8, 9, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 56392087339601733508270754771534230731450461719097773615903178771745}, {"parameter": "[8, 9, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 56392087339601733461363371917205074886658651274465230294127850408197}, {"parameter": "[8, 9, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 56392087339602007401001148420353670294956326826705907481739304494185}, {"parameter": "[9, 2, 8],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 132637474065622108118609199502455093399811140359524876606771059}, {"parameter": "[9, 2, 8],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 11790187658983117261106073166642868849775953579165053261728819}, {"parameter": "[9, 2, 8],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 134148065145705095504327988581652746206686580194279374398584087}, {"parameter": "[9, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 132637473791734580525330097197841103495624887171513482984420838}, {"parameter": "[9, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 11790187385095589667826970862028878945589700391153659639378598}, {"parameter": "[9, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 134148064871817567911048886277038756302500327006267980776233866}, {"parameter": "[9, 3, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 132637473791729369485953806861049512610868368111978383897253939}, {"parameter": "[9, 3, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 11790187385090378628450680525237288060833181331618560552211699}, {"parameter": "[9, 3, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 134148064871812356871672595940247165417743807946732881689066967}, {"parameter": "[9, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 132637473795580327495572402026467035472186434879894975890265459}, {"parameter": "[9, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11790187388941336638069275690654810922151248099535152545223219}, {"parameter": "[9, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 134148064875663314881291191105664688279061874714649473682078487}, {"parameter": "[9, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 132637473791729363123389568965226917793158793805813387311070438}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 11790187385090372265886442629414693243123607025453563966028198}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 134148064871812350509108358044424570600034233640567885102883466}, {"parameter": "[9, 4, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 132637473791729369565487373027638424412479686192669934203590423}, {"parameter": "[9, 4, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 11790187385090378707984246691826199862444499412310110858548183}, {"parameter": "[9, 4, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 134148064871812356951206162106836077219355126027424431995403451}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 132637476602927484623275667861592981665048105746629633786892659}, {"parameter": "[9, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11790190196288493765772541525780757115012918966269810441850419}, {"parameter": "[9, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 134148067683010472008994456940790634471923545581384131578705687}, {"parameter": "[9, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 132637473791729363212728475179298480378051891158374752168140339}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11790187385090372355225348843486255828016704378014928823098099}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 134148064871812350598447264258496133184927330993129249959953367}, {"parameter": "[9, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 132637473791729363123391084005693219579714785405750259786705718}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 11790187385090372265887957669880995029679598625390436441663478}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 134148064871812350509109873084890872386590225240504757578518746}, {"parameter": "[9, 5, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 132637473791729369495662186420264730213138073685270921554497643}, {"parameter": "[9, 5, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 11790187385090378638159060084452505663102886904911098209455403}, {"parameter": "[9, 5, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 134148064871812356881380975499462383020013513520025419346310671}, {"parameter": "[9, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 132639523432465261245329802926711222839148125544171886706900659}, {"parameter": "[9, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 11792237025826270387826676590898998289112938763812063361858419}, {"parameter": "[9, 6, 4],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 134150114512548248631048592005908875646023565378926384498713687}, {"parameter": "[9, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 132637473791729428429011897270919949876877276554434788116863539}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 11790187385090437571508770935107725326842089774074964771821299}, {"parameter": "[9, 6, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 134148064871812415814730686350117602683752716389189285908676567}, {"parameter": "[9, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 132637473791729363213846726521498251775032556391312745204102423}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 11790187385090372356343600185686027224997369610952921859060183}, {"parameter": "[9, 6, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 134148064871812350599565515600695904581907996226067242995915451}, {"parameter": "[9, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 132637473791729363123389753900828367122561464479813623005698118}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 11790187385090372265886627565016142572526277699453799660655878}, {"parameter": "[9, 6, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 134148064871812350509108542980026019929436904314568120797511146}, {"parameter": "[9, 6, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 132637473791729369487070373054919937584051374172219581097919833}, {"parameter": "[9, 6, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 11790187385090378629567246719107713034016187391859757752877593}, {"parameter": "[9, 6, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 134148064871812356872789162134117590390926814006974078889732861}, {"parameter": "[9, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 13284198553677335175170235748132287149170149873706953958827372}, {"parameter": "[9, 7, 3],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 13284173287511233326970936997190588866234285066430556982741619}, {"parameter": "[9, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 11790212651304088442960656614892042426626772731751709257355052}, {"parameter": "[9, 7, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790187385137986594761357863950344143690907924475312281269299}, {"parameter": "[9, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 11790212651256540236029844866748950813799206219824251817801936}, {"parameter": "[9, 7, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790187385090438387830546115807252530863341412547854841716183}, {"parameter": "[9, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 11790212651256474203561148558686713676716107102601438674501156}, {"parameter": "[9, 7, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790187385090372355361849807745015393780242295325041698415403}, {"parameter": "[9, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 11790212651256474114085762649903936709546920506578298839481431}, {"parameter": "[9, 7, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790187385090372265886463898962238426611055699301901863395678}, {"parameter": "[9, 7, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 11790212651256480477739473292472469947429091314540625154676946}, {"parameter": "[9, 7, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790187385090378629540174541530771664493226507264228178591193}, {"parameter": "[9, 8, 2],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 132637476599081152217512732252989565056365812774252641559936035}, {"parameter": "[9, 8, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790187419796521020297810202428352870339113652417895936328499}, {"parameter": "[9, 8, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790187385138581773859982992989010853911604567496632894556183}, {"parameter": "[9, 8, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790187385090437671154266766474684528495458545836484134895403}, {"parameter": "[9, 8, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790187385090372355241047896164658362950594300675241396333593}, {"parameter": "[9, 8, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790187385090372265886463383262433716934724978829014547907678}, {"parameter": "[9, 8, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 11790187385090378629552149129042660300759452037458026922570115}, {"parameter": "[10, 2, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562492662814214177125153403378664968693844082182727}, {"parameter": "[10, 2, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562492662814214177125153403378664968693844082182727}, {"parameter": "[10, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486301219750011090082188545912604692928311559387}, {"parameter": "[10, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486301219750011090082188545912604692928311559387}, {"parameter": "[10, 3, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128920850012209274473218513369819575264007}, {"parameter": "[10, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128920850012209274473218513369819575264007}, {"parameter": "[10, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562493547488615774968792808338609336039248305754247}, {"parameter": "[10, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562493547488615774968792808338609336039248305754247}, {"parameter": "[10, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128773066526815206128937079419197319949467}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128773066526815206128937079419197319949467}, {"parameter": "[10, 4, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128922697622534032749506308003888931941611}, {"parameter": "[10, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128922697622534032749506308003888931941611}, {"parameter": "[10, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 12103358189610101434398862982371941243317881259360470678772487}, {"parameter": "[10, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 12103358189610101434398862982371941243317881259360470678772487}, {"parameter": "[10, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128941401505587779275928224057060244429127}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128941401505587779275928224057060244429127}, {"parameter": "[10, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128773066843615452239223558154992180280911}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128773066843615452239223558154992180280911}, {"parameter": "[10, 5, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128921075543430554143221770289332057818431}, {"parameter": "[10, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128921075543430554143221770289332057818431}, {"parameter": "[10, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 12103358502007706720633875058548578848944977663730250658799047}, {"parameter": "[10, 6, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 12103358502007706720633875058548578848944977663730250658799047}, {"parameter": "[10, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486301234899899720752818284321801334918953370567}, {"parameter": "[10, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486301234899899720752818284321801334918953370567}, {"parameter": "[10, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128943506009573801075127816130136237831211}, {"parameter": "[10, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128943506009573801075127816130136237831211}, {"parameter": "[10, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128773066565485885465122622890425312474931}, {"parameter": "[10, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128773066565485885465122622890425312474931}, {"parameter": "[10, 6, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128920875950681890550642231264756572699821}, {"parameter": "[10, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128920875950681890550642231264756572699821}, {"parameter": "[10, 7, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 12103585931272978805415912191624022903200867707179171522172311}, {"parameter": "[10, 7, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562493558410313707313950826946528746832495978337927}, {"parameter": "[10, 7, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486301248726485131277780990304803220695415306411}, {"parameter": "[10, 7, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128941658394904641870416065353610832386431}, {"parameter": "[10, 7, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128773066531262742710858556422330323505721}, {"parameter": "[10, 7, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 12103358189562486300128920875321779689685183291361740856461421}, {"parameter": "[11, 2, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 9802078343823390137453104883666393127149159747466742769206495563}, {"parameter": "[11, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 9802078343823390137453104736085663328985268035739353477824134792}, {"parameter": "[11, 3, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 9802078343823390137453104735857567146487056723896017220672287243}, {"parameter": "[11, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 9802078343823390137453118373271809544588809996002256058061475083}, {"parameter": "[11, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 9802078343823390137453104735857563718102121244980173393046269192}, {"parameter": "[11, 4, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 9802078343823390137453104735857567189408103480471884817989027567}, {"parameter": "[11, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 9802078343823390138259484852912178841622149740081831658948665483}, {"parameter": "[11, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 9802078343823390137453104735857880517752115854407961406514300363}, {"parameter": "[11, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 9802078343823390137453104735857563718168357303611429764106210112}, {"parameter": "[11, 5, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 9802078343823390137453104735857567151726276251898394062730001987}, {"parameter": "[11, 6, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 9802078343823395428829932016132933238937701618636710019202058907}, {"parameter": "[11, 6, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 9802078343823390137453104754590235988924224341680191597510162763}, {"parameter": "[11, 6, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 9802078343823390137453104735857884477813884852689123792144757167}, {"parameter": "[11, 6, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 9802078343823390137453104735857563718110206445087405669660738712}, {"parameter": "[11, 6, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 9802078343823390137453104735857567147089622308765476237490198577}, {"parameter": "[8, 2, 6, 3],[0, 6, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 87989947193440203377435865727591300647564748054733756394764144004}, {"parameter": "[8, 2, 6, 3],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 87989947193440203377435865727591300647564748054733756394764144004}, {"parameter": "[8, 2, 7, 2],[0, 6, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 11794272417556026849936774189967769489209843107594547354748484}, {"parameter": "[8, 2, 7, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 11794272417556026849936774189967769489209843107594547354748484}, {"parameter": "[8, 3, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 175968100114188958562030828990586040207585932122580452529583491294}, {"parameter": "[8, 3, 5, 3],[0, 6, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 175968100114188957989389139288351227944851343494112371749464022404}, {"parameter": "[8, 3, 6, 2],[0, 5, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 87989947193166311211444900037184707329510393910954290682174095774}, {"parameter": "[8, 3, 6, 2],[0, 5, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 87989947193166311211444900037184707329510393910954290682174095774}, {"parameter": "[8, 3, 6, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 87989947193166310638803210334949895066775805282486209902054626884}, {"parameter": "[8, 3, 6, 2],[0, 6, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 87989947193166310638803210334949895066775805282486209902054626884}, {"parameter": "[9, 2, 6, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 241694578701874311261521260640679568679323085286951578285831076}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 4568464719829878220706897589263190068873520787299247294593358234156575}], "request": [9, 19, 4, 8], "liftedmrdsizebound": 29974342522991232679638527209135499996886175717434832009205114703167029232, "comments": "", "equal_bound_constraints": []}