{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 9771253933538933149312961201158497760}, {"parameter": "", "name": "singleton", "value": 55133793282290501540016988429720}, {"parameter": "6", "name": "ilp_2", "value": 36772745497286365908900200215108}, {"parameter": "8", "name": "ilp_3", "value": 2979040833396016204058829634499542}, {"parameter": "", "name": "anticode", "value": 36772745497286365908900200215108}, {"parameter": "", "name": "linear_programming_bound", "value": 36772745497286365908900200215108}, {"parameter": "", "name": "sphere_packing", "value": 9771253933538933149312961201158497760}, {"parameter": "1", "name": "ilp_1", "value": 36772330329187835802123994661759}, {"parameter": "2", "name": "ilp_1", "value": 36772330329187835802123994780073}, {"parameter": "3", "name": "ilp_1", "value": 36772330329187835802134647508613}, {"parameter": "4", "name": "ilp_1", "value": 36772330329187843351680752942133}, {"parameter": "5", "name": "ilp_1", "value": 36772330330576660369751671747456}, {"parameter": "9", "name": "ilp_4", "value": 2976316377802015173082655519398384}, {"parameter": "10", "name": "ilp_4", "value": 2976315270449788916058820195953687}, {"parameter": "11", "name": "ilp_4", "value": 2976315269456563187910196973356052}, {"parameter": "12", "name": "ilp_4", "value": 2976315269456416391721946797082955}, {"parameter": "13", "name": "ilp_4", "value": 2976315269456416374941677670808882}, {"parameter": "14", "name": "ilp_4", "value": 2976315269456526018870667020317436}, {"parameter": "15", "name": "ilp_4", "value": 992912664362237547306177996895723}, {"parameter": "16", "name": "ilp_4", "value": 330926062378877766391934974081335}, {"parameter": "17", "name": "ilp_4", "value": 110318651660652040117337802729483}, {"parameter": "", "name": "johnson_1", "value": 36772330329187835802123994661759}, {"parameter": "", "name": "johnson_2", "value": 110318651660652040117337802729483}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 9771253933538933149312961201158497760}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 2979040833396016204058829634499542}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 2976316377802015173082655519398384}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 2976315270449788916058820195953687}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 2976315269456563187910196973356052}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 2976315269456416391721946797082955}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 2976315269456416374941677670808882}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 2976315269456526018870667020317436}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 992912664362237547306177996895723}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 330926062378877766391934974081335}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 110318651660652040117337802729483}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 36772745497286365908900200215108}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 36772883760269083836498627938082}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 36773298555455619148607156419443}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 36774542997163403310959541004062}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 36778276827694471458004663937767}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 36789482869959033982614232182274}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 36823142006919970299940989748509}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 36924489976642430692568289074317}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 37231909022054207848553239958927}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 38185666361035570886116114759786}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 41364530302106838533707562404496}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 55133793282290501540016988429720}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 9771253933538933149312961201158497760}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 36772745497286365908900200215108}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 36772330330576660369751671747456}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 36772330329187843351680752942133}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 36772330329187835802134647508613}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 36772330329187835802092556239747}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 36772330329187835802092556180347}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 2979040833396016204058829634499542}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 2979949344280250286047752033266008}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 2982678204774031327628539323944081}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 2990894856002614324402282266391178}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 3015818694932240897424155173057380}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 3093146472927098800064225766172997}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 3350905405570293494732464251985276}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 4467854961017673003571751798888920}, {"parameter": "", "name": "improved_johnson", "value": 36772330329187835802123994661750}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 993013611132005401352943211499847}], "known_codes": [], "upper_bound": 36772330329187835802092556180347, "classified": false, "lower_bound": 31366498204356725852831211333673, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 30903154382632612361920641803529}, {"parameter": "", "name": "sphere_covering", "value": 33643992461362382284079257034}, {"parameter": "", "name": "graham_sloane", "value": 50442628803559470759393402040}, {"parameter": "", "name": "multicomponent", "value": 30903212532479034413988641790838}, {"parameter": "", "name": "construction_ST_B", "value": 31294265806557156198652776828500}, {"parameter": "", "name": "EF_special", "value": 31366481390109307710095048570592}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 30903252269154048157434770476314}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 31289540972065243273958032368981}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 31294265806551106415483846010108}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 31366498204356725852831211333673}, {"parameter": "", "name": "two_pivot_block_construction", "value": 31289443812304733426713697976320}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 1167550761837414283897729856267}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 31294271694218026067904813047674}, {"parameter": "(11,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 30926143871039205828124761288348}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 30926143871039194710003628177302}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 30926143871039189173819854076740}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 30926143871039189150944223883246}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 43312833370614116431719732123}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 43312833370619057818890003699}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 43312833370613704649455542825}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 43312833370613498852466627003}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 142968540778620208575168962655}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 142968540778622053969760329509}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 142968540778622053969760329509}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 142968540778620208575168962655}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 405771108722689463193701773467}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 405771108722689668990690689289}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 405771108722695022160125150163}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 405771108722690080772954878587}, {"parameter": "(7,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1164278554448229864192268731942}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1164278554448229887067898925436}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1164278554448235423251673025998}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1164278554448246541372806137044}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 30926143871039189150943061621779}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 43312833370613498758323448176}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 142968540778620200949571477668}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 405771108722689463099558594640}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 1164278554448229864191106470475}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 30926143871039189150943061621779}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 43312833370613498758323448176}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 142968540778620200949571477668}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 405771108722689463099558594640}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 1164278554448229864191106470475}, {"parameter": "7", "name": "linkage_GLT", "value": 30903154382632612361931281461939}, {"parameter": "8", "name": "linkage_GLT", "value": 42391158275216203514299520176}, {"parameter": "9", "name": "linkage_GLT", "value": 142932053553472466718979037860}, {"parameter": "10", "name": "linkage_GLT", "value": 405769901770973535862170822976}, {"parameter": "11", "name": "linkage_GLT", "value": 1164180667926794068676977797691}, {"parameter": "7", "name": "improved_linkage", "value": 30903213670277688662432645985348}, {"parameter": "8", "name": "improved_linkage", "value": 42391239606141466394658860326}, {"parameter": "9", "name": "improved_linkage", "value": 142932053665052191426557222837}, {"parameter": "10", "name": "improved_linkage", "value": 405769901771024532080044487595}, {"parameter": "11", "name": "improved_linkage", "value": 1164180667926794091962892821147}, {"parameter": "12", "name": "improved_linkage", "value": 1165030307667563715624780785509}, {"parameter": "13", "name": "improved_linkage", "value": 1166629892283798069519374266795}, {"parameter": "14", "name": "improved_linkage", "value": 1167163330734773731308636606763}, {"parameter": "15", "name": "improved_linkage", "value": 389003294273673633763641634126}, {"parameter": "16", "name": "improved_linkage", "value": 129662079781869219753145638154}, {"parameter": "7,0", "name": "generalized_linkage", "value": 30926143871039189150943061621779}, {"parameter": "7,1", "name": "generalized_linkage", "value": 30905791345647351297757452493602}, {"parameter": "7,2", "name": "generalized_linkage", "value": 30903447899042625797917870655349}, {"parameter": "7,3", "name": "generalized_linkage", "value": 30903186091470359486197525269264}, {"parameter": "7,4", "name": "generalized_linkage", "value": 30903155439934640779365379356154}, {"parameter": "7,5", "name": "generalized_linkage", "value": 30903213670277688662432645985348}, {"parameter": "8,0", "name": "generalized_linkage", "value": 43312833370613498758323448176}, {"parameter": "8,1", "name": "generalized_linkage", "value": 42492362338094630949486664911}, {"parameter": "8,2", "name": "generalized_linkage", "value": 42394909827630942027910903680}, {"parameter": "8,3", "name": "generalized_linkage", "value": 42391293163323248647507875021}, {"parameter": "8,4", "name": "generalized_linkage", "value": 42391162738405191817421930601}, {"parameter": "8,5", "name": "generalized_linkage", "value": 42391239606141466394658860326}, {"parameter": "9,0", "name": "generalized_linkage", "value": 142968540778620200949571477668}, {"parameter": "9,1", "name": "generalized_linkage", "value": 142933375725218621996385142377}, {"parameter": "9,2", "name": "generalized_linkage", "value": 142932100387567021090846246692}, {"parameter": "9,3", "name": "generalized_linkage", "value": 142932054113965535771595127881}, {"parameter": "9,4", "name": "generalized_linkage", "value": 142932053559643009081692454422}, {"parameter": "9,5", "name": "generalized_linkage", "value": 142932053665052191426557222837}, {"parameter": "10,0", "name": "generalized_linkage", "value": 405771108722689463099558594640}, {"parameter": "10,1", "name": "generalized_linkage", "value": 405769919088999435068004024285}, {"parameter": "10,2", "name": "generalized_linkage", "value": 405769901973298340646116461950}, {"parameter": "10,3", "name": "generalized_linkage", "value": 405769901773286875497742833765}, {"parameter": "10,4", "name": "generalized_linkage", "value": 405769901770982011935239361323}, {"parameter": "10,5", "name": "generalized_linkage", "value": 405769901771024532080044487595}, {"parameter": "11,0", "name": "generalized_linkage", "value": 1164278554448229864191106470475}, {"parameter": "11,1", "name": "generalized_linkage", "value": 1164180668117276237950572243939}, {"parameter": "11,2", "name": "generalized_linkage", "value": 1164180667927675084054288638372}, {"parameter": "11,3", "name": "generalized_linkage", "value": 1164180667926797387812594312665}, {"parameter": "11,4", "name": "generalized_linkage", "value": 1164180667926794080306124439820}, {"parameter": "11,5", "name": "generalized_linkage", "value": 1164180667926794091962892821147}, {"parameter": "12,1", "name": "generalized_linkage", "value": 1165030312812847821896722150590}, {"parameter": "12,2", "name": "generalized_linkage", "value": 1165030307667566942873250952620}, {"parameter": "12,3", "name": "generalized_linkage", "value": 1165030307667563720425997552385}, {"parameter": "12,4", "name": "generalized_linkage", "value": 1165030307667563715619701190774}, {"parameter": "12,5", "name": "generalized_linkage", "value": 1165030307667563715624780785509}, {"parameter": "13,2", "name": "generalized_linkage", "value": 1166629892283827119079966825829}, {"parameter": "13,3", "name": "generalized_linkage", "value": 1166629892283798069525242271045}, {"parameter": "13,4", "name": "generalized_linkage", "value": 1166629892283798069519371866414}, {"parameter": "13,5", "name": "generalized_linkage", "value": 1166629892283798069519374266795}, {"parameter": "14,3", "name": "generalized_linkage", "value": 1167163330734773731326256076904}, {"parameter": "14,4", "name": "generalized_linkage", "value": 1167163330734773731308636605398}, {"parameter": "14,5", "name": "generalized_linkage", "value": 1167163330734773731308636606763}, {"parameter": "15,4", "name": "generalized_linkage", "value": 389003294273673633763641635218}, {"parameter": "15,5", "name": "generalized_linkage", "value": 389003294273673633763641634126}, {"parameter": "16,5", "name": "generalized_linkage", "value": 129662079781869219753145638154}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 30926143871039189150943061621779}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30905791345647351297757452493602}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903447899042625797917870655349}, {"parameter": "[7, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 30903186091470359486197525269264}, {"parameter": "[7, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 30903155439934640779365379356154}, {"parameter": "[7, 11],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 30903213670277688662432645985348}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 43312833370613498758323448176}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 42492362338094630949486664911}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42394909827630942027910903680}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 42391293163323248647507875021}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 42391162738405191817421930601}, {"parameter": "[8, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 42391239606141466394658860326}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 142968540778620200949571477668}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 142933375725218621996385142377}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 142932100387567021090846246692}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 142932054113965535771595127881}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 142932053559643009081692454422}, {"parameter": "[9, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 142932053665052191426557222837}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 405771108722689463099558594640}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 405769919088999435068004024285}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 405769901973298340646116461950}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 405769901773286875497742833765}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 405769901770982011935239361323}, {"parameter": "[10, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 405769901771024532080044487595}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1164278554448229864191106470475}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1164180668117276237950572243939}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1164180667927675084054288638372}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1164180667926797387812594312665}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1164180667926794080306124439820}, {"parameter": "[11, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1164180667926794091962892821147}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1165030312812847821896722150590}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1165030307667566942873250952620}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1165030307667563720425997552385}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1165030307667563715619701190774}, {"parameter": "[12, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1165030307667563715624780785509}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1166629892283827119079966825829}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1166629892283798069525242271045}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1166629892283798069519371866414}, {"parameter": "[13, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1166629892283798069519374266795}, {"parameter": "[14, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1167163330734773731326256076904}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1167163330734773731308636605398}, {"parameter": "[14, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1167163330734773731308636606763}, {"parameter": "[15, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 389003294273673633763641635218}, {"parameter": "[15, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 389003294273673633763641634126}, {"parameter": "[16, 2],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 129662079781869219753145638154}, {"parameter": "[7, 2, 9],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 127243239912189442849195375722}, {"parameter": "[7, 2, 9],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 127242616170490970884035369147}, {"parameter": "[7, 2, 9],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 150221112969228439624993508022}, {"parameter": "[7, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 381531796171966673787942738927}, {"parameter": "[7, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 381533076790243623217899808452}, {"parameter": "[7, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 381532453048545151252739801877}, {"parameter": "[7, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 404510949847282619993697940752}, {"parameter": "[7, 3, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 381530838974649751317824378595}, {"parameter": "[7, 3, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 381532119592926700747781448120}, {"parameter": "[7, 3, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 381531495851228228782621441545}, {"parameter": "[7, 3, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 404509992649965697523579580420}, {"parameter": "[7, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1167194425496051117245218190731}, {"parameter": "[7, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1144602702959848720016366685681}, {"parameter": "[7, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1144603983578125669446323755206}, {"parameter": "[7, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1144603359836427197481163748631}, {"parameter": "[7, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1167581856635164666222121887506}, {"parameter": "[7, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 1167163332120747593641126487619}, {"parameter": "[7, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1144571609584545196412274982569}, {"parameter": "[7, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1144572890202822145842232052094}, {"parameter": "[7, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1144572266461123673877072045519}, {"parameter": "[7, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1167550763259861142618030184394}, {"parameter": "[7, 4, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 1167163599650176020188844753624}, {"parameter": "[7, 4, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1144571877113973622959993248574}, {"parameter": "[7, 4, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1144573157732250572389950318099}, {"parameter": "[7, 4, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1144572533990552100424790311524}, {"parameter": "[7, 4, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1167551030789289569165748450399}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1167451294788917489395599203529}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1144859572252715092166747698479}, {"parameter": "[7, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1144860852870992041596704768004}, {"parameter": "[7, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1144860229129293569631544761429}, {"parameter": "[7, 5, 6],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1167838725928031038372502900304}, {"parameter": "[7, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1167163344916315252710301552869}, {"parameter": "[7, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1144571622380112855481450047819}, {"parameter": "[7, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1144572902998389804911407117344}, {"parameter": "[7, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1144572279256691332946247110769}, {"parameter": "[7, 5, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1167550776055428801687205249644}, {"parameter": "[7, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1167163332297008727024902455380}, {"parameter": "[7, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1144571609760806329796050950330}, {"parameter": "[7, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1144572890379083279226008019855}, {"parameter": "[7, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1144572266637384807260848013280}, {"parameter": "[7, 5, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1167550763436122276001806152155}, {"parameter": "[7, 5, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1167163585207519864915500334227}, {"parameter": "[7, 5, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1144571862671317467686648829177}, {"parameter": "[7, 5, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1144573143289594417116605898702}, {"parameter": "[7, 5, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1144572519547895945151445892127}, {"parameter": "[7, 5, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1167551016346633413892404031002}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1147563453299035210793878865481}, {"parameter": "[7, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1147151967652319469119745945831}, {"parameter": "[7, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1147151927490727381593058370556}, {"parameter": "[7, 6, 5],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1147162897854214552277361162531}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1144972952154320800960775961873}, {"parameter": "[7, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1144561466507605059286643042223}, {"parameter": "[7, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1144561426346012971759955466948}, {"parameter": "[7, 6, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1144572396709500142444258258923}, {"parameter": "[7, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1144972836463323575513091509730}, {"parameter": "[7, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1144561350816607833838958590080}, {"parameter": "[7, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1144561310655015746312271014805}, {"parameter": "[7, 6, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1144572281018502916996573806780}, {"parameter": "[7, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1144972821996355200565407107427}, {"parameter": "[7, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1144561336349639458891274187777}, {"parameter": "[7, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1144561296188047371364586612502}, {"parameter": "[7, 6, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1144572266551534542048889404477}, {"parameter": "[7, 6, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1144973063884754710934278950762}, {"parameter": "[7, 6, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1144561578238038969260146031112}, {"parameter": "[7, 6, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1144561538076446881733458455837}, {"parameter": "[7, 6, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1144572508439934052417761247812}, {"parameter": "[7, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1167163944738296486016719050227}, {"parameter": "[7, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1167163330726390297374993387627}, {"parameter": "[7, 7, 4],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1167163336009388772330755539752}, {"parameter": "[7, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1144563072030876930350311273419}, {"parameter": "[7, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1144562458018970741708585610819}, {"parameter": "[7, 7, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1144562463301969216664347762944}, {"parameter": "[7, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1144562035457519911927531067166}, {"parameter": "[7, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1144561421445613723285805404566}, {"parameter": "[7, 7, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1144561426728612198241567556691}, {"parameter": "[7, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1144561902592546224160690026177}, {"parameter": "[7, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1144561288580640035518964363577}, {"parameter": "[7, 7, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1144561293863638510474726515702}, {"parameter": "[7, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1144561888917662850033504962742}, {"parameter": "[7, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1144561274905756661391779300142}, {"parameter": "[7, 7, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1144561280188755136347541452267}, {"parameter": "[7, 7, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1144562131049729046375453011523}, {"parameter": "[7, 7, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1144561517037822857733727348923}, {"parameter": "[7, 7, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1144561522320821332689489501048}, {"parameter": "[7, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 381530759294636097348476268234}, {"parameter": "[7, 8, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 381530759210367410017893559059}, {"parameter": "[7, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 381521755907036606248248922587}, {"parameter": "[7, 8, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 381521755822767918917666213412}, {"parameter": "[7, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 381520564603209611658972244584}, {"parameter": "[7, 8, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 381520564518940924328389535409}, {"parameter": "[7, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 381520439025106593986247103299}, {"parameter": "[7, 8, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 381520438940837906655664394124}, {"parameter": "[7, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 381520426011260780551590001638}, {"parameter": "[7, 8, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 381520425926992093221007292463}, {"parameter": "[7, 8, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 381520668476704461515605508589}, {"parameter": "[7, 8, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 381520668392435774185022799414}, {"parameter": "[7, 9, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 127185090177347138362084029378}, {"parameter": "[7, 9, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 127174734678610850650493758353}, {"parameter": "[7, 9, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 127173608755656291465428681298}, {"parameter": "[7, 9, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 127173489300095114109083082507}, {"parameter": "[7, 9, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 127173476277682816481621154648}, {"parameter": "[7, 9, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 127173718852667281588958263773}, {"parameter": "[8, 2, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 174925225405771402683347415}, {"parameter": "[8, 2, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 174974326089547648293190566}, {"parameter": "[8, 2, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1096204072849492295610048843}, {"parameter": "[8, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 1389946284254031658467607170}, {"parameter": "[8, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 523748257740500148810193428}, {"parameter": "[8, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 523797358424276394420036579}, {"parameter": "[8, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1445027105184221041736894856}, {"parameter": "[8, 3, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 1389942016913455529485598019}, {"parameter": "[8, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 523743990399924019828184277}, {"parameter": "[8, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 523793091083700265438027428}, {"parameter": "[8, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1445022837843644912754885705}, {"parameter": "[8, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1390074243983177503237235937}, {"parameter": "[8, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 523876217469645993579822195}, {"parameter": "[8, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 523925318153422239189665346}, {"parameter": "[8, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1445155064913366886506523623}, {"parameter": "[8, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1389941909495728201933227090}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 523743882982196692275813348}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 523792983665972937885656499}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1445022730425917585202514776}, {"parameter": "[8, 4, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1389942030472004251314518616}, {"parameter": "[8, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 523744003958472741657104874}, {"parameter": "[8, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 523793104642248987266948025}, {"parameter": "[8, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1445022851402193634583806302}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1393627546898776973917885977}, {"parameter": "[8, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 527429520385245464260472235}, {"parameter": "[8, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 527478621069021709870315386}, {"parameter": "[8, 5, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1448708367828966357187173663}, {"parameter": "[8, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1389941968004977925684836431}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 523743941491446416027422689}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 523793042175222661637265840}, {"parameter": "[8, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1445022788935167308954124117}, {"parameter": "[8, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1389941909743712632145004330}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 523743883230181122487590588}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 523792983913957368097433739}, {"parameter": "[8, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1445022730673902015414292016}, {"parameter": "[8, 5, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1389942023868137696548471785}, {"parameter": "[8, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 523743997354606186891058043}, {"parameter": "[8, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 523793098038382432500901194}, {"parameter": "[8, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1445022844798327079817759471}, {"parameter": "[8, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 627995200173593042628263853}, {"parameter": "[8, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 622846875710485961433824238}, {"parameter": "[8, 6, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 623291499614496687362071812}, {"parameter": "[8, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 528498367472734928869932801}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 523350043009627847675493186}, {"parameter": "[8, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 523794666913638573603740760}, {"parameter": "[8, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 528496750232420811146641674}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 523348425769313729952202059}, {"parameter": "[8, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 523793049673324455880449633}, {"parameter": "[8, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 528496684352269698585097260}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 523348359889162617390657645}, {"parameter": "[8, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 523792983793173343318905219}, {"parameter": "[8, 6, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 528496793518392417061247490}, {"parameter": "[8, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 523348469055285335866807875}, {"parameter": "[8, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 523793092959296061795055449}, {"parameter": "[8, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1389944262877820978020943463}, {"parameter": "[8, 7, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1389942088677801365669216091}, {"parameter": "[8, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 523395483846448901236267113}, {"parameter": "[8, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 523393309646429288884539741}, {"parameter": "[8, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 523351882485641338902140868}, {"parameter": "[8, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 523349708285621726550413496}, {"parameter": "[8, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 523350052767280961338546449}, {"parameter": "[8, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 523347878567261348986819077}, {"parameter": "[8, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 523349990446281371085987774}, {"parameter": "[8, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 523347816246261758734260402}, {"parameter": "[8, 7, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 523350099786524811090320007}, {"parameter": "[8, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 523347925586505198738592635}, {"parameter": "[8, 8, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 174845640146029497869461335}, {"parameter": "[8, 8, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 174500525151318265656345414}, {"parameter": "[8, 8, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 174451184555977189761021063}, {"parameter": "[8, 8, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 174449453740202185038800658}, {"parameter": "[8, 8, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 174449394229506993019166148}, {"parameter": "[8, 8, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 174449503721183636471671728}, {"parameter": "[9, 2, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 620662287599537321240581122}, {"parameter": "[9, 2, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 588212704941706959940711800}, {"parameter": "[9, 2, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 624685085815581249837225489}, {"parameter": "[9, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 620662184234365146707186460}, {"parameter": "[9, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 588212601576534785407317138}, {"parameter": "[9, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 624684982450409075303830827}, {"parameter": "[9, 3, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 620662178230579734827221620}, {"parameter": "[9, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 588212595572749373527352298}, {"parameter": "[9, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 624684976446623663423865987}, {"parameter": "[9, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 620662728826017789884875080}, {"parameter": "[9, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 588213146168187428585005758}, {"parameter": "[9, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 624685527042061718481519447}, {"parameter": "[9, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 620662178183316281615272194}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 588212595525485920315402872}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 624684976399360210211916561}, {"parameter": "[9, 4, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 620662178236779345582516051}, {"parameter": "[9, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 588212595578948984282646729}, {"parameter": "[9, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 624684976452823274179160418}, {"parameter": "[9, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 620708223001923374142515220}, {"parameter": "[9, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 588258640344093012842645898}, {"parameter": "[9, 5, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 624731021217967302739159587}, {"parameter": "[9, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 620662178432329382961032454}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 588212595774499021661163132}, {"parameter": "[9, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 624684976648373311557676821}, {"parameter": "[9, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 620662178183659287057151767}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 588212595525828925757282445}, {"parameter": "[9, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 624684976399703215653796134}, {"parameter": "[9, 5, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 620662178233759744963052838}, {"parameter": "[9, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 588212595575929383663183516}, {"parameter": "[9, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 624684976449803673559697205}, {"parameter": "[9, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 589500284930389888244810091}, {"parameter": "[9, 6, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 589455752108810066157024360}, {"parameter": "[9, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 588257149398171164546506083}, {"parameter": "[9, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 588212616576591342458720352}, {"parameter": "[9, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 588257128627278067967555016}, {"parameter": "[9, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 588212595805698245879769285}, {"parameter": "[9, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 588257128347241682607320097}, {"parameter": "[9, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 588212595525661860519534366}, {"parameter": "[9, 6, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 588257128395186806861757612}, {"parameter": "[9, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 588212595573606984773971881}, {"parameter": "[9, 7, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 620677022454408130424150490}, {"parameter": "[9, 7, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 588213163952798346141077178}, {"parameter": "[9, 7, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 588212619185461814476200765}, {"parameter": "[9, 7, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 588212595790502260116175866}, {"parameter": "[9, 7, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 588212595525533369314415661}, {"parameter": "[9, 7, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 588212595573644124584653050}, {"parameter": "[10, 2, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 557818614003233865973974147}, {"parameter": "[10, 2, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 557818614003233865973974147}, {"parameter": "[10, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 557818613961529473328580244}, {"parameter": "[10, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 557818613961529473328580244}, {"parameter": "[10, 3, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 557818613953225197667429401}, {"parameter": "[10, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 557818613953225197667429401}, {"parameter": "[10, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 557818616227556321172483597}, {"parameter": "[10, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 557818616227556321172483597}, {"parameter": "[10, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 557818613953206128443540332}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 557818613953206128443540332}, {"parameter": "[10, 4, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 557818613953228032423147414}, {"parameter": "[10, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 557818613953228032423147414}, {"parameter": "[10, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 557818804186743710927744289}, {"parameter": "[10, 5, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 557818804186743710927744289}, {"parameter": "[10, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 557818613954242263261941751}, {"parameter": "[10, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 557818613954242263261941751}, {"parameter": "[10, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 557818613953206600254734368}, {"parameter": "[10, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 557818613953206600254734368}, {"parameter": "[10, 5, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 557818613953226651718703215}, {"parameter": "[10, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 557818613953226651718703215}, {"parameter": "[10, 6, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 557834022627995471060983905}, {"parameter": "[10, 6, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 557818614040186107518802867}, {"parameter": "[10, 6, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 557818613954371126721872314}, {"parameter": "[10, 6, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 557818613953206370452988740}, {"parameter": "[10, 6, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 557818613953225589807917110}, {"parameter": "[11, 2, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 630205071013684906091213616}, {"parameter": "[11, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 630205071013673462464809534}, {"parameter": "[11, 3, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 630205071013662039759111858}, {"parameter": "[11, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 630205071016782807906985944}, {"parameter": "[11, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 630205071013662034526543772}, {"parameter": "[11, 4, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 630205071013662041055296457}, {"parameter": "[11, 5, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 630205071797543489908526178}, {"parameter": "[11, 5, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 630205071013663456266572202}, {"parameter": "[11, 5, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 630205071013662035174339733}, {"parameter": "[11, 5, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 630205071013662040423972980}, {"parameter": "[7, 2, 5, 4],[0, 5, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 23135978931080674016923839504}, {"parameter": "[7, 2, 5, 4],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 23125648925348528430628068354}, {"parameter": "[7, 2, 5, 4],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 23137259549357623446880909029}, {"parameter": "[7, 2, 6, 3],[0, 5, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 533940565732222892883099129}, {"parameter": "[7, 2, 6, 3],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 533926389146131201776563304}, {"parameter": "[7, 2, 6, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 533940565732222892883099129}, {"parameter": "[7, 2, 6, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 533926389146131201776563304}, {"parameter": "[7, 2, 7, 2],[0, 5, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 533926389146131201776563304}, {"parameter": "[7, 2, 7, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 523596383413985615480792154}, {"parameter": "[7, 2, 7, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 535207007423080631733632829}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 23135741054198302109054919138}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 23135741054198302109054919138}, {"parameter": "[7, 3, 4, 4],[0, 5, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 23135739741170432530906608630}, {"parameter": "[7, 3, 4, 4],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 23135739741170432530906608630}, {"parameter": "[7, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 544018517995904880203414088}, {"parameter": "[7, 3, 5, 3],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 544018517995904880203414088}, {"parameter": "[7, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 544018517995904880203414088}, {"parameter": "[7, 3, 5, 3],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 544018517995904880203414088}, {"parameter": "[7, 3, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 544017204968035302055103580}, {"parameter": "[7, 3, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 544017204968035302055103580}, {"parameter": "[7, 3, 5, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 544017204968035302055103580}, {"parameter": "[7, 3, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 544017204968035302055103580}, {"parameter": "[7, 3, 6, 2],[0, 4, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 544018517995904880203414088}, {"parameter": "[7, 3, 6, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 533688512263759293907642938}, {"parameter": "[7, 3, 6, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 545299136272854310160483613}, {"parameter": "[7, 3, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 544017204968035302055103580}, {"parameter": "[7, 3, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 533687199235889715759332430}, {"parameter": "[7, 3, 6, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 545297823244984732012173105}, {"parameter": "[7, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 45727476385968358407081489438}, {"parameter": "[7, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 45727462168604250714532750662}, {"parameter": "[7, 4, 3, 4],[0, 5, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 45727462290931378481587034277}, {"parameter": "[7, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 23135753849765961178229984388}, {"parameter": "[7, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 23135753849765961178229984388}, {"parameter": "[7, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 23135739632401853485681245612}, {"parameter": "[7, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 23135739632401853485681245612}, {"parameter": "[7, 4, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 23135739754728981252735529227}, {"parameter": "[7, 4, 4, 3],[0, 5, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 23135739754728981252735529227}, {"parameter": "[7, 4, 5, 2],[0, 3, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 23135753849765961178229984388}, {"parameter": "[7, 4, 5, 2],[0, 3, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 23125423844033815591934213238}, {"parameter": "[7, 4, 5, 2],[0, 3, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 23137034468042910608187053913}, {"parameter": "[7, 4, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 23135739632401853485681245612}, {"parameter": "[7, 4, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 23125409626669707899385474462}, {"parameter": "[7, 4, 5, 2],[0, 4, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 23137020250678802915638315137}, {"parameter": "[7, 4, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 23135739754728981252735529227}, {"parameter": "[7, 4, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 23125409748996835666439758077}, {"parameter": "[7, 4, 5, 2],[0, 5, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 23137020373005930682692598752}, {"parameter": "[8, 2, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 867229931168899960903990128}, {"parameter": "[8, 2, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 867229931168899960903990128}, {"parameter": "[8, 2, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1031904655368451246576386}, {"parameter": "[8, 2, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1031904655368451246576386}, {"parameter": "[8, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1733427850264704143009032941}, {"parameter": "[8, 3, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1733427848313473884148044368}, {"parameter": "[8, 3, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 867229823751172633351619199}, {"parameter": "[8, 3, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 867229823751172633351619199}, {"parameter": "[8, 3, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 867229821799942374490630626}, {"parameter": "[8, 3, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 867229821799942374490630626}, {"parameter": "[9, 2, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 65197805788697406469531227}, {"parameter": "", "name": "JohnsonLB", "value": 31361658142226637440736099022183}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 129725953536578369943422045349}], "request": [3, 18, 4, 7], "liftedmrdsizebound": 31653913803977674614878155512076, "comments": "", "equal_bound_constraints": []}