{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 66441249531569955747981459}, {"parameter": "", "name": "singleton", "value": 16094312257426532376339}, {"parameter": "6", "name": "ilp_2", "value": 8111494265849097271149}, {"parameter": "8", "name": "ilp_3", "value": 260553919731646885286201}, {"parameter": "", "name": "anticode", "value": 8111494265849097271149}, {"parameter": "", "name": "linear_programming_bound", "value": 8111494265849097271149}, {"parameter": "", "name": "sphere_packing", "value": 66441249531569955747981459}, {"parameter": "1", "name": "ilp_1", "value": 8111494265849097271149}, {"parameter": "2", "name": "ilp_1", "value": 8111494265849097271149}, {"parameter": "3", "name": "ilp_1", "value": 8111494265849097271149}, {"parameter": "4", "name": "ilp_1", "value": 8111494265849097271149}, {"parameter": "5", "name": "ilp_1", "value": 8111494265849097271149}, {"parameter": "9", "name": "ilp_4", "value": 258514358716134972289832}, {"parameter": "10", "name": "ilp_4", "value": 258502396481439887756129}, {"parameter": "11", "name": "ilp_4", "value": 258502222628737308975045}, {"parameter": "12", "name": "ilp_4", "value": 258502222329055856566028}, {"parameter": "13", "name": "ilp_4", "value": 258502222326787482735072}, {"parameter": "14", "name": "ilp_4", "value": 258502222326787482735072}, {"parameter": "15", "name": "ilp_4", "value": 130020524544833670376224}, {"parameter": "16", "name": "ilp_4", "value": 64820545524230422084702}, {"parameter": "17", "name": "ilp_4", "value": 32457864939701981313132}, {"parameter": "18", "name": "ilp_4", "value": 16217044593545398428029}, {"parameter": "", "name": "johnson_1", "value": 8111494265849097271149}, {"parameter": "", "name": "johnson_2", "value": 16217044593545398428029}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 66441249531569955747981459}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 260553919731646885286201}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 258514358716134972289832}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 258502396481439887756129}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 258502222628737308975045}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 258502222329055856566028}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 258502222326787482735072}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 258502222326787482735072}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 130020524544833670376224}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 64820545524230422084702}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 32457864939701981313132}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 16217044593545398428029}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 8111494265849097271149}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 8112476880805768100358}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 8114442825087711531816}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 8118377573550820810577}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 8126258529507760146454}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 8142066433582236500947}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 8173867467817006545451}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 8238220648675753967511}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 8370015573939974209592}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 8646674294562892410978}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 9258742921844612693783}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 10785710329346615426887}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 16094312257426532376339}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 66441249531569955747981459}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 8111494265849097271149}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 8111494265849097271149}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 8111494265849097271149}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 8111494265849097271149}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 8111494265849097271149}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 8111494265849097271149}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 260553919731646885286201}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 261579471077949766700525}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 263654985625929890302065}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 267906417628555249223324}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 276834314526924160485934}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 296602697266007895673314}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 346020448646105850782693}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 518946525150879134496915}, {"parameter": "", "name": "improved_johnson", "value": 8111494265849097271149}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 130213328648173346201534}], "known_codes": [], "upper_bound": 8111494265849097271149, "classified": false, "lower_bound": 5267367924445148864092, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 4722366482869645213696}, {"parameter": "", "name": "sphere_covering", "value": 63877770715006048035}, {"parameter": "", "name": "graham_sloane", "value": 126726868168712853357}, {"parameter": "", "name": "multicomponent", "value": 4723519685883590606977}, {"parameter": "", "name": "construction_ST_B", "value": 5057851188437703710475}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 4723112317844328154112}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 5037859888601997378560}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 5057851177376532687464}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 5267367924445148864092}, {"parameter": "", "name": "two_pivot_block_construction", "value": 5037190896295956447232}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 1353802145877226124179}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 5058097205000347197549}, {"parameter": "(12,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 4895577008304637711360}, {"parameter": "(12,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 4895577008098479281152}, {"parameter": "(12,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 4895577008030833546240}, {"parameter": "(12,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 4895577008029760852992}, {"parameter": "(11,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 98352403602497586176}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 98352403602497586176}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 98352403538073076736}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 98352403533794886656}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 198995573432857262080}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 198995573497281771520}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 198995573445742163968}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 198995573428830730240}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 430486524855169819648}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 430486524872081253376}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 430486524923620860928}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 430486524859196351488}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 670812722370369029120}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 670812722374647219200}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 670812722439071728640}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 670812722439071728640}, {"parameter": "(7,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1319148083676702180352}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1319148083677774873600}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1319148083745420608512}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1319148083951579038720}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 4895577008029759804416}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 98352403533778109440}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 198995573428562294784}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 430486524854901384192}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 670812722370352251904}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 1319148083676701131776}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 4895577008029759804416}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 98352403533778109440}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 198995573428562294784}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 430486524854901384192}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 670812722370352251904}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 1319148083676701131776}, {"parameter": "7", "name": "linkage_GLT", "value": 4722366482869944983661}, {"parameter": "8", "name": "linkage_GLT", "value": 73786976294840589505}, {"parameter": "9", "name": "linkage_GLT", "value": 194843734278557162814}, {"parameter": "10", "name": "linkage_GLT", "value": 430003692421334958249}, {"parameter": "11", "name": "linkage_GLT", "value": 670766409975538384897}, {"parameter": "12", "name": "linkage_GLT", "value": 1318402248702018191361}, {"parameter": "7", "name": "improved_linkage", "value": 4723652456634053848904}, {"parameter": "8", "name": "improved_linkage", "value": 73807268688256780687}, {"parameter": "9", "name": "improved_linkage", "value": 194844051810761935599}, {"parameter": "10", "name": "improved_linkage", "value": 430003697397193991168}, {"parameter": "11", "name": "improved_linkage", "value": 670766410014110935541}, {"parameter": "12", "name": "improved_linkage", "value": 1318402248702317961325}, {"parameter": "13", "name": "improved_linkage", "value": 1325342748348632030401}, {"parameter": "14", "name": "improved_linkage", "value": 1335696988538696391998}, {"parameter": "15", "name": "improved_linkage", "value": 665913298353714626729}, {"parameter": "16", "name": "improved_linkage", "value": 332470573769920069633}, {"parameter": "17", "name": "improved_linkage", "value": 164604641844305306625}, {"parameter": "7,0", "name": "generalized_linkage", "value": 4895577008029759804416}, {"parameter": "7,1", "name": "generalized_linkage", "value": 4769916775545283843776}, {"parameter": "7,2", "name": "generalized_linkage", "value": 4734414311408663732224}, {"parameter": "7,3", "name": "generalized_linkage", "value": 4723778231052171141826}, {"parameter": "7,4", "name": "generalized_linkage", "value": 4722508529623575233257}, {"parameter": "7,5", "name": "generalized_linkage", "value": 4723652456634053848904}, {"parameter": "8,0", "name": "generalized_linkage", "value": 98352403533778109440}, {"parameter": "8,1", "name": "generalized_linkage", "value": 80428468121690902464}, {"parameter": "8,2", "name": "generalized_linkage", "value": 74623877520253047624}, {"parameter": "8,3", "name": "generalized_linkage", "value": 73884931055763576832}, {"parameter": "8,4", "name": "generalized_linkage", "value": 73791739277910156289}, {"parameter": "8,5", "name": "generalized_linkage", "value": 73807268688256780687}, {"parameter": "9,0", "name": "generalized_linkage", "value": 198995573428562294784}, {"parameter": "9,1", "name": "generalized_linkage", "value": 195290577428506413760}, {"parameter": "9,2", "name": "generalized_linkage", "value": 194898693607521176904}, {"parameter": "9,3", "name": "generalized_linkage", "value": 194846923379899366254}, {"parameter": "9,4", "name": "generalized_linkage", "value": 194843888530187164672}, {"parameter": "9,5", "name": "generalized_linkage", "value": 194844051810761935599}, {"parameter": "10,0", "name": "generalized_linkage", "value": 430486524854901384192}, {"parameter": "10,1", "name": "generalized_linkage", "value": 430040506663418358400}, {"parameter": "10,2", "name": "generalized_linkage", "value": 430005488355707530856}, {"parameter": "10,3", "name": "generalized_linkage", "value": 430003793956419803230}, {"parameter": "10,4", "name": "generalized_linkage", "value": 430003694851405648715}, {"parameter": "10,5", "name": "generalized_linkage", "value": 430003697397193991168}, {"parameter": "11,0", "name": "generalized_linkage", "value": 670812722370352251904}, {"parameter": "11,1", "name": "generalized_linkage", "value": 670768524054427033792}, {"parameter": "11,2", "name": "generalized_linkage", "value": 670766482905211958576}, {"parameter": "11,3", "name": "generalized_linkage", "value": 670766411596211206422}, {"parameter": "11,4", "name": "generalized_linkage", "value": 670766410013609170451}, {"parameter": "11,5", "name": "generalized_linkage", "value": 670766410014110935541}, {"parameter": "12,0", "name": "generalized_linkage", "value": 1319148083676701131776}, {"parameter": "12,1", "name": "generalized_linkage", "value": 1318402349465719485120}, {"parameter": "12,2", "name": "generalized_linkage", "value": 1318402250781203068584}, {"parameter": "12,3", "name": "generalized_linkage", "value": 1318402248734549134420}, {"parameter": "12,4", "name": "generalized_linkage", "value": 1318402248702320837567}, {"parameter": "12,5", "name": "generalized_linkage", "value": 1318402248702317961325}, {"parameter": "13,1", "name": "generalized_linkage", "value": 1325343557223247737536}, {"parameter": "13,2", "name": "generalized_linkage", "value": 1325342748398004779624}, {"parameter": "13,3", "name": "generalized_linkage", "value": 1325342748349090737158}, {"parameter": "13,4", "name": "generalized_linkage", "value": 1325342748348632678850}, {"parameter": "13,5", "name": "generalized_linkage", "value": 1325342748348632030401}, {"parameter": "14,2", "name": "generalized_linkage", "value": 1335696988736524413544}, {"parameter": "14,3", "name": "generalized_linkage", "value": 1335696988538701827478}, {"parameter": "14,4", "name": "generalized_linkage", "value": 1335696988538696389591}, {"parameter": "14,5", "name": "generalized_linkage", "value": 1335696988538696391998}, {"parameter": "15,3", "name": "generalized_linkage", "value": 665913298353725547926}, {"parameter": "15,4", "name": "generalized_linkage", "value": 665913298353714626687}, {"parameter": "15,5", "name": "generalized_linkage", "value": 665913298353714626729}, {"parameter": "16,4", "name": "generalized_linkage", "value": 332470573769920069759}, {"parameter": "16,5", "name": "generalized_linkage", "value": 332470573769920069633}, {"parameter": "17,5", "name": "generalized_linkage", "value": 164604641844305306625}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4895577008029759804416}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4769916775545283843776}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4734414311408663732224}, {"parameter": "[7, 12],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4723778231052171141826}, {"parameter": "[7, 12],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4722508529623575233257}, {"parameter": "[7, 12],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4723652456634053848904}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 98352403533778109440}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 80428468121690902464}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 74623877520253047624}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 73884931055763576832}, {"parameter": "[8, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 73791739277910156289}, {"parameter": "[8, 11],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 73807268688256780687}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 198995573428562294784}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 195290577428506413760}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 194898693607521176904}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 194846923379899366254}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 194843888530187164672}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 194844051810761935599}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 430486524854901384192}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 430040506663418358400}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 430005488355707530856}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 430003793956419803230}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 430003694851405648715}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 430003697397193991168}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 670812722370352251904}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 670768524054427033792}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 670766482905211958576}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 670766411596211206422}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 670766410013609170451}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 670766410014110935541}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1319148083676701131776}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1318402349465719485120}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1318402250781203068584}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1318402248734549134420}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1318402248702320837567}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1318402248702317961325}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1325343557223247737536}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1325342748398004779624}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1325342748349090737158}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1325342748348632678850}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1325342748348632030401}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1335696988736524413544}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1335696988538701827478}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1335696988538696389591}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1335696988538696391998}, {"parameter": "[15, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 665913298353725547926}, {"parameter": "[15, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 665913298353714626687}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 665913298353714626729}, {"parameter": "[16, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 332470573769920069759}, {"parameter": "[16, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 332470573769920069633}, {"parameter": "[17, 2],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 164604641844305306625}, {"parameter": "[7, 2, 10],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 150492296157675126784}, {"parameter": "[7, 2, 10],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 150103822525684933632}, {"parameter": "[7, 2, 10],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 321937399254397850624}, {"parameter": "[7, 3, 9],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 296873905846392717312}, {"parameter": "[7, 3, 9],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 297039428032311066624}, {"parameter": "[7, 3, 9],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 296650954400320873472}, {"parameter": "[7, 3, 9],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 468484531129033790464}, {"parameter": "[7, 3, 9],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 296765819455335825408}, {"parameter": "[7, 3, 9],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 296931341641254174720}, {"parameter": "[7, 3, 9],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 296542868009263981568}, {"parameter": "[7, 3, 9],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 468376444737976898560}, {"parameter": "[7, 4, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 592759006592241762304}, {"parameter": "[7, 4, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 593147147982634745856}, {"parameter": "[7, 4, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 593312670168553095168}, {"parameter": "[7, 4, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 592924196536562902016}, {"parameter": "[7, 4, 8],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 764757773265275819008}, {"parameter": "[7, 4, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 591509539170623160320}, {"parameter": "[7, 4, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 591897680561016143872}, {"parameter": "[7, 4, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 592063202746934493184}, {"parameter": "[7, 4, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 591674729114944300032}, {"parameter": "[7, 4, 8],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 763508305843657217024}, {"parameter": "[7, 4, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 591555138116850286592}, {"parameter": "[7, 4, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 591943279507243270144}, {"parameter": "[7, 4, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 592108801693161619456}, {"parameter": "[7, 4, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 591720328061171426304}, {"parameter": "[7, 4, 8],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 763553904789884343296}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1346345503567009284096}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1192452175707781464064}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1192840317098174447616}, {"parameter": "[7, 5, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1193005839284092796928}, {"parameter": "[7, 5, 7],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1192617365652102603776}, {"parameter": "[7, 5, 7],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1364450942380815520768}, {"parameter": "[7, 5, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1335716260778508025856}, {"parameter": "[7, 5, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1181822932919280205824}, {"parameter": "[7, 5, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1182211074309673189376}, {"parameter": "[7, 5, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1182376596495591538688}, {"parameter": "[7, 5, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1181988122863601345536}, {"parameter": "[7, 5, 7],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1353821699592314262528}, {"parameter": "[7, 5, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 1335701909952742293504}, {"parameter": "[7, 5, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1181808582093514473472}, {"parameter": "[7, 5, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1182196723483907457024}, {"parameter": "[7, 5, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1182362245669825806336}, {"parameter": "[7, 5, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1181973772037835613184}, {"parameter": "[7, 5, 7],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1353807348766548530176}, {"parameter": "[7, 5, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 1335801688433939709952}, {"parameter": "[7, 5, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1181908360574711889920}, {"parameter": "[7, 5, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1182296501965104873472}, {"parameter": "[7, 5, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1182462024151023222784}, {"parameter": "[7, 5, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1182073550519033029632}, {"parameter": "[7, 5, 7],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1353907127247745946624}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1257669512199776305152}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1223085429262478598144}, {"parameter": "[7, 6, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1223035479771848370176}, {"parameter": "[7, 6, 6],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1222989948227743819776}, {"parameter": "[7, 6, 6],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1224325519579534746624}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1215395755491736485888}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180811672554438778880}, {"parameter": "[7, 6, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1180761723063808550912}, {"parameter": "[7, 6, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1180716191519704000512}, {"parameter": "[7, 6, 6],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1182051762871494927360}, {"parameter": "[7, 6, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1215338378783111053312}, {"parameter": "[7, 6, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180754295845813346304}, {"parameter": "[7, 6, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1180704346355183118336}, {"parameter": "[7, 6, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1180658814811078567936}, {"parameter": "[7, 6, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1181994386162869494784}, {"parameter": "[7, 6, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1215318302937738444800}, {"parameter": "[7, 6, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180734220000440737792}, {"parameter": "[7, 6, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1180684270509810509824}, {"parameter": "[7, 6, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1180638738965705959424}, {"parameter": "[7, 6, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1181974310317496886272}, {"parameter": "[7, 6, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1215394442434334752768}, {"parameter": "[7, 6, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180810359497037045760}, {"parameter": "[7, 6, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1180760410006406817792}, {"parameter": "[7, 6, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1180714878462302267392}, {"parameter": "[7, 6, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1182050449814093194240}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1337095736560577617920}, {"parameter": "[7, 7, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1335699276013530429440}, {"parameter": "[7, 7, 5],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1335697390614692699136}, {"parameter": "[7, 7, 5],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1335710499423589906432}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1182321563889509277696}, {"parameter": "[7, 7, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1180925103342462089216}, {"parameter": "[7, 7, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1180923217943624358912}, {"parameter": "[7, 7, 5],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1180936326752521566208}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1182100491926247776256}, {"parameter": "[7, 7, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1180704031379200587776}, {"parameter": "[7, 7, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1180702145980362857472}, {"parameter": "[7, 7, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1180715254789260064768}, {"parameter": "[7, 7, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1182019138200841428992}, {"parameter": "[7, 7, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1180622677653794240512}, {"parameter": "[7, 7, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1180620792254956510208}, {"parameter": "[7, 7, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1180633901063853717504}, {"parameter": "[7, 7, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1181995128063151775744}, {"parameter": "[7, 7, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1180598667516104587264}, {"parameter": "[7, 7, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1180596782117266856960}, {"parameter": "[7, 7, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1180609890926164064256}, {"parameter": "[7, 7, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1182071119101519142912}, {"parameter": "[7, 7, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1180674658554471954432}, {"parameter": "[7, 7, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1180672773155634224128}, {"parameter": "[7, 7, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1180685881964531431424}, {"parameter": "[7, 8, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 591518943642451695616}, {"parameter": "[7, 8, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 591507577512958286848}, {"parameter": "[7, 8, 4],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 591507666495925191680}, {"parameter": "[7, 8, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 590744094617211492352}, {"parameter": "[7, 8, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 590732728487718083584}, {"parameter": "[7, 8, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 590732817470684988416}, {"parameter": "[7, 8, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 590428390853638871040}, {"parameter": "[7, 8, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 590417024724145462272}, {"parameter": "[7, 8, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 590417113707112367104}, {"parameter": "[7, 8, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 590329404481410947072}, {"parameter": "[7, 8, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 590318038351917538304}, {"parameter": "[7, 8, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 590318127334884443136}, {"parameter": "[7, 8, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 590311585797642639360}, {"parameter": "[7, 8, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 590300219668149230592}, {"parameter": "[7, 8, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 590300308651116135424}, {"parameter": "[7, 8, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 590388077657101424640}, {"parameter": "[7, 8, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 590376711527608015872}, {"parameter": "[7, 8, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 590376800510574920704}, {"parameter": "[7, 9, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 296747822968982019072}, {"parameter": "[7, 9, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 296747805634637816832}, {"parameter": "[7, 9, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 295630034262649805824}, {"parameter": "[7, 9, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 295630016928305603584}, {"parameter": "[7, 9, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 295242457990311123968}, {"parameter": "[7, 9, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 295242440655966921728}, {"parameter": "[7, 9, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 295169759314208267264}, {"parameter": "[7, 9, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 295169741979864065024}, {"parameter": "[7, 9, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 295152346900196875264}, {"parameter": "[7, 9, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 295152329565852673024}, {"parameter": "[7, 9, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 295229447565906615296}, {"parameter": "[7, 9, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 295229430231562413056}, {"parameter": "[7, 10, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 149339375230879753216}, {"parameter": "[7, 10, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 147949977821665379328}, {"parameter": "[7, 10, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 147666858105264019456}, {"parameter": "[7, 10, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 147595904343189348096}, {"parameter": "[7, 10, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 147578411537181533184}, {"parameter": "[7, 10, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 147614597289701858176}, {"parameter": "[8, 2, 9],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 2546849509845106688}, {"parameter": "[8, 2, 9],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 2569919791120480256}, {"parameter": "[8, 2, 9],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 26889284646663078912}, {"parameter": "[8, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 4784801569537261568}, {"parameter": "[8, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 4838900245199978496}, {"parameter": "[8, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4861970526475352064}, {"parameter": "[8, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 29181335382017950720}, {"parameter": "[8, 3, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 4780860919863312384}, {"parameter": "[8, 3, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 4834959595526029312}, {"parameter": "[8, 3, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 4858029876801402880}, {"parameter": "[8, 3, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 29177394732344001536}, {"parameter": "[8, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 30928310567251738624}, {"parameter": "[8, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 9478845406931582976}, {"parameter": "[8, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 9532944082594299904}, {"parameter": "[8, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 9556014363869673472}, {"parameter": "[8, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 33875379219412272128}, {"parameter": "[8, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 30841796594331811840}, {"parameter": "[8, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 9392331434011656192}, {"parameter": "[8, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 9446430109674373120}, {"parameter": "[8, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 9469500390949746688}, {"parameter": "[8, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 33788865246492345344}, {"parameter": "[8, 4, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 30842473893494521856}, {"parameter": "[8, 4, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 9393008733174366208}, {"parameter": "[8, 4, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 9447107408837083136}, {"parameter": "[8, 4, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 9470177690112456704}, {"parameter": "[8, 4, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 33789542545655055360}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 31587227269934874624}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 10137762109614718976}, {"parameter": "[8, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 10191860785277435904}, {"parameter": "[8, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 10214931066552809472}, {"parameter": "[8, 5, 6],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 34534295922095408128}, {"parameter": "[8, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 30842407029443657728}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 9392941869123502080}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 9447040544786219008}, {"parameter": "[8, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 9470110826061592576}, {"parameter": "[8, 5, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 33789475681604191232}, {"parameter": "[8, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 30841817725570908160}, {"parameter": "[8, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 9392352565250752512}, {"parameter": "[8, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 9446451240913469440}, {"parameter": "[8, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 9469521522188843008}, {"parameter": "[8, 5, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 33788886377731441664}, {"parameter": "[8, 5, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 30842550790588989440}, {"parameter": "[8, 5, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 9393085630268833792}, {"parameter": "[8, 5, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 9447184305931550720}, {"parameter": "[8, 5, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 9470254587206924288}, {"parameter": "[8, 5, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 33789619442749522944}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 17612253668680065024}, {"parameter": "[8, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 15179813100572469248}, {"parameter": "[8, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 15175864969326504960}, {"parameter": "[8, 6, 5],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 15416700975330326528}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 11670811306151043072}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 9238370738043447296}, {"parameter": "[8, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 9234422606797483008}, {"parameter": "[8, 6, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 9475258612801304576}, {"parameter": "[8, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 11665880180647190528}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 9233439612539594752}, {"parameter": "[8, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 9229491481293630464}, {"parameter": "[8, 6, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 9470327487297452032}, {"parameter": "[8, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11665083226916839424}, {"parameter": "[8, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 9232642658809243648}, {"parameter": "[8, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 9228694527563279360}, {"parameter": "[8, 6, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 9469530533567100928}, {"parameter": "[8, 6, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 11665626806299320320}, {"parameter": "[8, 6, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 9233186238191724544}, {"parameter": "[8, 6, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 9229238106945760256}, {"parameter": "[8, 6, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 9470074112949581824}, {"parameter": "[8, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 30887561933084686336}, {"parameter": "[8, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 30841802782690860032}, {"parameter": "[8, 7, 4],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 30843472749431972864}, {"parameter": "[8, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 9315666366266865664}, {"parameter": "[8, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 9269907215873039360}, {"parameter": "[8, 7, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 9271577182614152192}, {"parameter": "[8, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 9276893100530464768}, {"parameter": "[8, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 9231133950136638464}, {"parameter": "[8, 7, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 9232803916877751296}, {"parameter": "[8, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 9270188808138389504}, {"parameter": "[8, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 9224429657744563200}, {"parameter": "[8, 7, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 9226099624485676032}, {"parameter": "[8, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 9269278310293305344}, {"parameter": "[8, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 9223519159899479040}, {"parameter": "[8, 7, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 9225189126640591872}, {"parameter": "[8, 7, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 9269832009486956544}, {"parameter": "[8, 7, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 9224072859093130240}, {"parameter": "[8, 7, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 9225742825834243072}, {"parameter": "[8, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4780734071436704768}, {"parameter": "[8, 8, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4780589753323275264}, {"parameter": "[8, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4673186351020473344}, {"parameter": "[8, 8, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 4673042032907043840}, {"parameter": "[8, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4620325964566723584}, {"parameter": "[8, 8, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 4620181646453294080}, {"parameter": "[8, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4612609260116835328}, {"parameter": "[8, 8, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 4612464942003405824}, {"parameter": "[8, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4611914316444089344}, {"parameter": "[8, 8, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 4611769998330659840}, {"parameter": "[8, 8, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 4612472617647258624}, {"parameter": "[8, 8, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 4612328299533829120}, {"parameter": "[8, 9, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 2528845419772298240}, {"parameter": "[8, 9, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 2373545717948351488}, {"parameter": "[8, 9, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 2312471478678607872}, {"parameter": "[8, 9, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 2306608680406334208}, {"parameter": "[8, 9, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 2305927376947605888}, {"parameter": "[8, 9, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 2306490227606602752}, {"parameter": "[9, 2, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 6111411908559110144}, {"parameter": "[9, 2, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 6118543261937837056}, {"parameter": "[9, 2, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 10240987321186777088}, {"parameter": "[9, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 15027628116170244096}, {"parameter": "[9, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 12200133469229154304}, {"parameter": "[9, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 12207264822607881216}, {"parameter": "[9, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 16329708881856821248}, {"parameter": "[9, 3, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 15027496174774910976}, {"parameter": "[9, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 12200001527833821184}, {"parameter": "[9, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 12207132881212548096}, {"parameter": "[9, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 16329576940461488128}, {"parameter": "[9, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 15030332571177189376}, {"parameter": "[9, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 12202837924236099584}, {"parameter": "[9, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 12209969277614826496}, {"parameter": "[9, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 16332413336863766528}, {"parameter": "[9, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 15027492841880289280}, {"parameter": "[9, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 12199998194939199488}, {"parameter": "[9, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 12207129548317926400}, {"parameter": "[9, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 16329573607566866432}, {"parameter": "[9, 4, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 15027497583524184064}, {"parameter": "[9, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 12200002936583094272}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 12207134289961821184}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 16329578349210761216}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 15076706288702324736}, {"parameter": "[9, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 12249211641761234944}, {"parameter": "[9, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 12256342995139961856}, {"parameter": "[9, 5, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 16378787054388901888}, {"parameter": "[9, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 15027513970435031040}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 12200019323493941248}, {"parameter": "[9, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 12207150676872668160}, {"parameter": "[9, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 16329594736121608192}, {"parameter": "[9, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 15027493183061753856}, {"parameter": "[9, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 12199998536120664064}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 12207129889499390976}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 16329573948748331008}, {"parameter": "[9, 5, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 15027498184282734592}, {"parameter": "[9, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 12200003537341644800}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 12207134890720371712}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 16329578949969311744}, {"parameter": "[9, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 12725772149049583616}, {"parameter": "[9, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 12571491406441516032}, {"parameter": "[9, 6, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 12600364690852946944}, {"parameter": "[9, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 12332920429737469952}, {"parameter": "[9, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 12178639687129402368}, {"parameter": "[9, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 12207512971540833280}, {"parameter": "[9, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 12332565243990960128}, {"parameter": "[9, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 12178284501382892544}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 12207157785794323456}, {"parameter": "[9, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 12332537493192239104}, {"parameter": "[9, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 12178256750584171520}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 12207130034995602432}, {"parameter": "[9, 6, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 12332540938961872896}, {"parameter": "[9, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 12178260196353805312}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 12207133480765236224}, {"parameter": "[9, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 15028709324866231296}, {"parameter": "[9, 7, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 15027665712176661504}, {"parameter": "[9, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 12182023098420206592}, {"parameter": "[9, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 12180979485730636800}, {"parameter": "[9, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 12179458585355000832}, {"parameter": "[9, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 12178414972665431040}, {"parameter": "[9, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 12178983274762574848}, {"parameter": "[9, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 12177939662073005056}, {"parameter": "[9, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 12178952150903708672}, {"parameter": "[9, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 12177908538214138880}, {"parameter": "[9, 7, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 12178955851978759168}, {"parameter": "[9, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 12177912239289189376}, {"parameter": "[9, 8, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 6111304369030661120}, {"parameter": "[9, 8, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 6093096840094278656}, {"parameter": "[9, 8, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 6089600796295896064}, {"parameter": "[9, 8, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 6089065850861338368}, {"parameter": "[9, 8, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 6089041821140393344}, {"parameter": "[9, 8, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 6089045568939654784}, {"parameter": "[10, 2, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 13803315357198450688}, {"parameter": "[10, 2, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 13440476782861550592}, {"parameter": "[10, 2, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 13920452219779654656}, {"parameter": "[10, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 13803313123815456768}, {"parameter": "[10, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 13440474549478556672}, {"parameter": "[10, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 13920449986396660736}, {"parameter": "[10, 3, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 13803310993511677952}, {"parameter": "[10, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 13440472419174777856}, {"parameter": "[10, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 13920447856092881920}, {"parameter": "[10, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 13803401880925241344}, {"parameter": "[10, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 13440563306588341248}, {"parameter": "[10, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 13920538743506445312}, {"parameter": "[10, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 13803310976063373312}, {"parameter": "[10, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 13440472401726473216}, {"parameter": "[10, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 13920447838644577280}, {"parameter": "[10, 4, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 13803311004517531648}, {"parameter": "[10, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 13440472430180631552}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 13920447867098735616}, {"parameter": "[10, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 13804891438615494656}, {"parameter": "[10, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 13442052864278594560}, {"parameter": "[10, 5, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 13922028301196698624}, {"parameter": "[10, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 13803311669478293504}, {"parameter": "[10, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 13440473095141393408}, {"parameter": "[10, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 13920448532059497472}, {"parameter": "[10, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 13803310981480316928}, {"parameter": "[10, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 13440472407143416832}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 13920447844061520896}, {"parameter": "[10, 5, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 13803311009210957824}, {"parameter": "[10, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 13440472434874057728}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 13920447871792161792}, {"parameter": "[10, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 13471455106318404608}, {"parameter": "[10, 6, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 13465741113021760512}, {"parameter": "[10, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 13446198725607492608}, {"parameter": "[10, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 13440484732310848512}, {"parameter": "[10, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 13446187315964447744}, {"parameter": "[10, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 13440473322667803648}, {"parameter": "[10, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 13446186402750106624}, {"parameter": "[10, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 13440472409453462528}, {"parameter": "[10, 6, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 13446186417155427328}, {"parameter": "[10, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 13440472423858783232}, {"parameter": "[10, 7, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 13806167955800261632}, {"parameter": "[10, 7, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 13440669796754154496}, {"parameter": "[10, 7, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 13440488687368099840}, {"parameter": "[10, 7, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 13440473419696025088}, {"parameter": "[10, 7, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 13440472404031882112}, {"parameter": "[10, 7, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 13440472423185595008}, {"parameter": "[11, 2, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 10527037585041392640}, {"parameter": "[11, 2, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 10527037585041392640}, {"parameter": "[11, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 10527037584772957184}, {"parameter": "[11, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 10527037584772957184}, {"parameter": "[11, 3, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 10527037550950089728}, {"parameter": "[11, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 10527037550950089728}, {"parameter": "[11, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 10527038976925369344}, {"parameter": "[11, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 10527038976925369344}, {"parameter": "[11, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 10527037550947992576}, {"parameter": "[11, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 10527037550947992576}, {"parameter": "[11, 4, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 10527037551036072960}, {"parameter": "[11, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 10527037551036072960}, {"parameter": "[11, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 10527087608485250048}, {"parameter": "[11, 5, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 10527087608485250048}, {"parameter": "[11, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 10527037561824183296}, {"parameter": "[11, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 10527037561824183296}, {"parameter": "[11, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 10527037551033304064}, {"parameter": "[11, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 10527037551033304064}, {"parameter": "[11, 5, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 10527037551072740352}, {"parameter": "[11, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 10527037551072740352}, {"parameter": "[11, 6, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 10528638746526311424}, {"parameter": "[11, 6, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 10527037941758244864}, {"parameter": "[11, 6, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 10527037565393274624}, {"parameter": "[11, 6, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 10527037551069684992}, {"parameter": "[11, 6, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 10527037550986683520}, {"parameter": "[12, 2, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 11045852542935892992}, {"parameter": "[12, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11045852542933795840}, {"parameter": "[12, 3, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 11045852542669554688}, {"parameter": "[12, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11045852564996195328}, {"parameter": "[12, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11045852542669538304}, {"parameter": "[12, 4, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 11045852542670226432}, {"parameter": "[12, 5, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 11045854117434701824}, {"parameter": "[12, 5, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 11045852542841900800}, {"parameter": "[12, 5, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 11045852542670204800}, {"parameter": "[12, 5, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 11045852542670512896}, {"parameter": "[7, 2, 5, 5],[0, 5, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 165612274464281591808}, {"parameter": "[7, 2, 5, 5],[0, 5, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 164409982840381374464}, {"parameter": "[7, 2, 5, 5],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 164413015194993819648}, {"parameter": "[7, 2, 5, 5],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 166165938040592924672}, {"parameter": "[7, 2, 6, 4],[0, 5, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 10573012401023877120}, {"parameter": "[7, 2, 6, 4],[0, 5, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 10507409997579026432}, {"parameter": "[7, 2, 6, 4],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 10519687335765999616}, {"parameter": "[7, 2, 6, 4],[0, 5, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 10573012401023877120}, {"parameter": "[7, 2, 6, 4],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 10507409997579026432}, {"parameter": "[7, 2, 6, 4],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 10519687335765999616}, {"parameter": "[7, 2, 7, 3],[0, 5, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 10507705837053411328}, {"parameter": "[7, 2, 7, 3],[0, 5, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 10507262077841833984}, {"parameter": "[7, 2, 7, 3],[0, 5, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 9305414213153193984}, {"parameter": "[7, 2, 7, 3],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 9304970453941616640}, {"parameter": "[7, 2, 7, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 10895847227446394880}, {"parameter": "[7, 2, 7, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 10895403468234817536}, {"parameter": "[7, 2, 8, 2],[0, 5, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4657255638495264768}, {"parameter": "[7, 2, 8, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 4660287993107709952}, {"parameter": "[7, 2, 8, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 6413210838706814976}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 165544157519917613056}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 164341865896017395712}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 165932298910310596608}, {"parameter": "[7, 3, 4, 5],[0, 5, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 165540779820197085184}, {"parameter": "[7, 3, 4, 5],[0, 5, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 164338488196296867840}, {"parameter": "[7, 3, 4, 5],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 165928921210590068736}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11650829660689793024}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 10448538036789575680}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 12038971051082776576}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11650829660689793024}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 10448538036789575680}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 12038971051082776576}, {"parameter": "[7, 3, 5, 4],[0, 5, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11647451960969265152}, {"parameter": "[7, 3, 5, 4],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 10445160337069047808}, {"parameter": "[7, 3, 5, 4],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 12035593351362248704}, {"parameter": "[7, 3, 5, 4],[0, 5, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11647451960969265152}, {"parameter": "[7, 3, 5, 4],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 10445160337069047808}, {"parameter": "[7, 3, 5, 4],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 12035593351362248704}, {"parameter": "[7, 3, 6, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 10467471763150209024}, {"parameter": "[7, 3, 6, 3],[0, 4, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 10448538036789575680}, {"parameter": "[7, 3, 6, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 9265180139249991680}, {"parameter": "[7, 3, 6, 3],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 9246246412889358336}, {"parameter": "[7, 3, 6, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 10855613153543192576}, {"parameter": "[7, 3, 6, 3],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 10836679427182559232}, {"parameter": "[7, 3, 6, 3],[0, 5, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 10464094063429681152}, {"parameter": "[7, 3, 6, 3],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 10445160337069047808}, {"parameter": "[7, 3, 6, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 9261802439529463808}, {"parameter": "[7, 3, 6, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 9242868713168830464}, {"parameter": "[7, 3, 6, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 10852235453822664704}, {"parameter": "[7, 3, 6, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 10833301727462031360}, {"parameter": "[7, 3, 7, 2],[0, 4, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 10448538036789575680}, {"parameter": "[7, 3, 7, 2],[0, 4, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 9246246412889358336}, {"parameter": "[7, 3, 7, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 9249278767501803520}, {"parameter": "[7, 3, 7, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 11002201613100908544}, {"parameter": "[7, 3, 7, 2],[0, 5, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 10445160337069047808}, {"parameter": "[7, 3, 7, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 9242868713168830464}, {"parameter": "[7, 3, 7, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 9245901067781275648}, {"parameter": "[7, 3, 7, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 10998823913380380672}, {"parameter": "[7, 4, 3, 5],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 165559770585032032256}, {"parameter": "[7, 4, 3, 5],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 165559770585032032256}, {"parameter": "[7, 4, 3, 5],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 165540247656569241600}, {"parameter": "[7, 4, 3, 5],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 165540247656569241600}, {"parameter": "[7, 4, 3, 5],[0, 5, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 165540960140104040448}, {"parameter": "[7, 4, 3, 5],[0, 5, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 165540960140104040448}, {"parameter": "[7, 4, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11666442725804212224}, {"parameter": "[7, 4, 4, 4],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11666442725804212224}, {"parameter": "[7, 4, 4, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11666442725804212224}, {"parameter": "[7, 4, 4, 4],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11666442725804212224}, {"parameter": "[7, 4, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11646919797341421568}, {"parameter": "[7, 4, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11646919797341421568}, {"parameter": "[7, 4, 4, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11646919797341421568}, {"parameter": "[7, 4, 4, 4],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11646919797341421568}, {"parameter": "[7, 4, 4, 4],[0, 5, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11647632280876220416}, {"parameter": "[7, 4, 4, 4],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11647632280876220416}, {"parameter": "[7, 4, 4, 4],[0, 5, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11647632280876220416}, {"parameter": "[7, 4, 4, 4],[0, 5, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11647632280876220416}, {"parameter": "[7, 4, 5, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11666442725804212224}, {"parameter": "[7, 4, 5, 3],[0, 3, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 11666442725804212224}, {"parameter": "[7, 4, 5, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 10464151101903994880}, {"parameter": "[7, 4, 5, 3],[0, 3, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 10464151101903994880}, {"parameter": "[7, 4, 5, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 12054584116197195776}, {"parameter": "[7, 4, 5, 3],[0, 3, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 12054584116197195776}, {"parameter": "[7, 4, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11646919797341421568}, {"parameter": "[7, 4, 5, 3],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 11646919797341421568}, {"parameter": "[7, 4, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 10444628173441204224}, {"parameter": "[7, 4, 5, 3],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 10444628173441204224}, {"parameter": "[7, 4, 5, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 12035061187734405120}, {"parameter": "[7, 4, 5, 3],[0, 4, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 12035061187734405120}, {"parameter": "[7, 4, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11647632280876220416}, {"parameter": "[7, 4, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 11647632280876220416}, {"parameter": "[7, 4, 5, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 10445340656976003072}, {"parameter": "[7, 4, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 10445340656976003072}, {"parameter": "[7, 4, 5, 3],[0, 5, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 12035773671269203968}, {"parameter": "[7, 4, 5, 3],[0, 5, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 12035773671269203968}, {"parameter": "[7, 4, 6, 2],[0, 3, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 11666442725804212224}, {"parameter": "[7, 4, 6, 2],[0, 3, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 10464151101903994880}, {"parameter": "[7, 4, 6, 2],[0, 3, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 10467183456516440064}, {"parameter": "[7, 4, 6, 2],[0, 3, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 12220106302115545088}, {"parameter": "[7, 4, 6, 2],[0, 4, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 11646919797341421568}, {"parameter": "[7, 4, 6, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 10444628173441204224}, {"parameter": "[7, 4, 6, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 10447660528053649408}, {"parameter": "[7, 4, 6, 2],[0, 4, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 12200583373652754432}, {"parameter": "[7, 4, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 11647632280876220416}, {"parameter": "[7, 4, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 10445340656976003072}, {"parameter": "[7, 4, 6, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 10448373011588448256}, {"parameter": "[7, 4, 6, 2],[0, 5, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 12201295857187553280}, {"parameter": "[7, 5, 2, 5],[0, 2, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 319516738452153434112}, {"parameter": "[7, 5, 2, 5],[0, 3, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 319433697492868268032}, {"parameter": "[7, 5, 2, 5],[0, 4, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 319433585377041973248}, {"parameter": "[7, 5, 2, 5],[0, 5, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 319434364896426328064}, {"parameter": "[7, 5, 3, 4],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 165623410592925614080}, {"parameter": "[7, 5, 3, 4],[0, 2, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 165623410592925614080}, {"parameter": "[7, 5, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 165540369633640448000}, {"parameter": "[7, 5, 3, 4],[0, 3, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 165540369633640448000}, {"parameter": "[7, 5, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 165540257517814153216}, {"parameter": "[7, 5, 3, 4],[0, 4, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 165540257517814153216}, {"parameter": "[7, 5, 3, 4],[0, 5, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 165541037037198508032}, {"parameter": "[7, 5, 3, 4],[0, 5, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 165541037037198508032}, {"parameter": "[7, 5, 4, 3],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 165623410592925614080}, {"parameter": "[7, 5, 4, 3],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 164421118969025396736}, {"parameter": "[7, 5, 4, 3],[0, 2, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 166011551983318597632}, {"parameter": "[7, 5, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 165540369633640448000}, {"parameter": "[7, 5, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 164338078009740230656}, {"parameter": "[7, 5, 4, 3],[0, 3, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 165928511024033431552}, {"parameter": "[7, 5, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 165540257517814153216}, {"parameter": "[7, 5, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 164337965893913935872}, {"parameter": "[7, 5, 4, 3],[0, 4, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 165928398908207136768}, {"parameter": "[7, 5, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 165541037037198508032}, {"parameter": "[7, 5, 4, 3],[0, 5, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 164338745413298290688}, {"parameter": "[7, 5, 4, 3],[0, 5, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 165929178427591491584}, {"parameter": "[7, 5, 5, 2],[0, 2, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 165623410592925614080}, {"parameter": "[7, 5, 5, 2],[0, 2, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 164421118969025396736}, {"parameter": "[7, 5, 5, 2],[0, 2, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 164424151323637841920}, {"parameter": "[7, 5, 5, 2],[0, 2, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 166177074169236946944}, {"parameter": "[7, 5, 5, 2],[0, 3, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 165540369633640448000}, {"parameter": "[7, 5, 5, 2],[0, 3, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 164338078009740230656}, {"parameter": "[7, 5, 5, 2],[0, 3, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 164341110364352675840}, {"parameter": "[7, 5, 5, 2],[0, 3, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 166094033209951780864}, {"parameter": "[7, 5, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 165540257517814153216}, {"parameter": "[7, 5, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 164337965893913935872}, {"parameter": "[7, 5, 5, 2],[0, 4, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 164340998248526381056}, {"parameter": "[7, 5, 5, 2],[0, 4, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 166093921094125486080}, {"parameter": "[7, 5, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 165541037037198508032}, {"parameter": "[7, 5, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 164338745413298290688}, {"parameter": "[7, 5, 5, 2],[0, 5, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 164341777767910735872}, {"parameter": "[7, 5, 5, 2],[0, 5, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 166094700613509840896}, {"parameter": "[8, 2, 5, 4],[0, 5, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 21859872557229932544}, {"parameter": "[8, 2, 5, 4],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 21692298610664931328}, {"parameter": "[8, 2, 5, 4],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 21913971232892649472}, {"parameter": "[8, 2, 6, 3],[0, 5, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 245472410133200896}, {"parameter": "[8, 2, 6, 3],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 242833450344775680}, {"parameter": "[8, 2, 6, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 245472410133200896}, {"parameter": "[8, 2, 6, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 242833450344775680}, {"parameter": "[8, 2, 7, 2],[0, 5, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 242833450344775680}, {"parameter": "[8, 2, 7, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 75259503779774464}, {"parameter": "[8, 2, 7, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 296932126007492608}, {"parameter": "[8, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 21859375577974177792}, {"parameter": "[8, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 21859375577974177792}, {"parameter": "[8, 3, 4, 4],[0, 5, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 21859314005323022336}, {"parameter": "[8, 3, 4, 4],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 21859314005323022336}, {"parameter": "[8, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 409910417654022144}, {"parameter": "[8, 3, 5, 3],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 409910417654022144}, {"parameter": "[8, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 409910417654022144}, {"parameter": "[8, 3, 5, 3],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 409910417654022144}, {"parameter": "[8, 3, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 409848845002866688}, {"parameter": "[8, 3, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 409848845002866688}, {"parameter": "[8, 3, 5, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 409848845002866688}, {"parameter": "[8, 3, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 409848845002866688}, {"parameter": "[8, 3, 6, 2],[0, 4, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 409910417654022144}, {"parameter": "[8, 3, 6, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 242336471089020928}, {"parameter": "[8, 3, 6, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 464009093316739072}, {"parameter": "[8, 3, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 409848845002866688}, {"parameter": "[8, 3, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 242274898437865472}, {"parameter": "[8, 3, 6, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 463947520665583616}, {"parameter": "[8, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 43309451173406179328}, {"parameter": "[8, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 43308775282992742400}, {"parameter": "[8, 4, 3, 4],[0, 5, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 43308780574392451072}, {"parameter": "[8, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 21859986013086023680}, {"parameter": "[8, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 21859986013086023680}, {"parameter": "[8, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 21859310122672586752}, {"parameter": "[8, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 21859310122672586752}, {"parameter": "[8, 4, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 21859315414072295424}, {"parameter": "[8, 4, 4, 3],[0, 5, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 21859315414072295424}, {"parameter": "[8, 4, 5, 2],[0, 3, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 21859986013086023680}, {"parameter": "[8, 4, 5, 2],[0, 3, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 21692412066521022464}, {"parameter": "[8, 4, 5, 2],[0, 3, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 21914084688748740608}, {"parameter": "[8, 4, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 21859310122672586752}, {"parameter": "[8, 4, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 21691736176107585536}, {"parameter": "[8, 4, 5, 2],[0, 4, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 21913408798335303680}, {"parameter": "[8, 4, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 21859315414072295424}, {"parameter": "[8, 4, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 21691741467507294208}, {"parameter": "[8, 4, 5, 2],[0, 5, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 21913414089735012352}, {"parameter": "[9, 2, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2967165061870780416}, {"parameter": "[9, 2, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 2967165061870780416}, {"parameter": "[9, 2, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 139670414929690624}, {"parameter": "[9, 2, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 139670414929690624}, {"parameter": "[9, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5794656375917248512}, {"parameter": "[9, 3, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5794655345125097472}, {"parameter": "[9, 3, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 2967161728976158720}, {"parameter": "[9, 3, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 2967161728976158720}, {"parameter": "[9, 3, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 2967160698184007680}, {"parameter": "[9, 3, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 2967160698184007680}, {"parameter": "[10, 2, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 836372546550235136}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 84485200940539092224}], "request": [2, 19, 4, 7], "liftedmrdsizebound": 5893224281956302907539, "comments": "", "equal_bound_constraints": []}