{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 17824182148160735190135826789101008407579416056}, {"parameter": "", "name": "singleton", "value": 365015887882785053079719041834672291056}, {"parameter": "5", "name": "ilp_2", "value": 292031401511626105946805916070747953975}, {"parameter": "7", "name": "ilp_3", "value": 912609807391364251197369657933593180460776}, {"parameter": "", "name": "anticode", "value": 292031401511626105946805916070747953975}, {"parameter": "", "name": "linear_programming_bound", "value": 292031401511626105946805916070747953975}, {"parameter": "", "name": "sphere_packing", "value": 17824182148160735190135826789101008407579416056}, {"parameter": "1", "name": "ilp_1", "value": 292031377588413298236896009382591832029}, {"parameter": "2", "name": "ilp_1", "value": 292031377588413298236896009382601648299}, {"parameter": "3", "name": "ilp_1", "value": 292031377588413298236903653939079765363}, {"parameter": "4", "name": "ilp_1", "value": 292031377588413674516499693080700451586}, {"parameter": "8", "name": "ilp_4", "value": 912609807391364251197369657933593180460776}, {"parameter": "9", "name": "ilp_4", "value": 912609807391364251197369657933593180460776}, {"parameter": "10", "name": "ilp_4", "value": 912609807391364251197369657933593180460776}, {"parameter": "11", "name": "ilp_4", "value": 912609807391364251197369657933593180460776}, {"parameter": "12", "name": "ilp_4", "value": 912609807391364251197369657933593180460776}, {"parameter": "13", "name": "ilp_4", "value": 182510747300249859685369313360565345753009}, {"parameter": "14", "name": "ilp_4", "value": 36503943728533723212921844177926125222709}, {"parameter": "15", "name": "ilp_4", "value": 7300770803477565041025554259290062476374}, {"parameter": "16", "name": "ilp_4", "value": 1460157031481343431513840407966606163905}, {"parameter": "", "name": "johnson_1", "value": 292031377588413298236896009382591832029}, {"parameter": "", "name": "johnson_2", "value": 1460157031481343431513840407966606163905}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 17824182148160735190135826789101008407579416056}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 912609807391364251197369657933593180460776}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 912609807391364251197369657933593180460776}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 912609807391364251197369657933593180460776}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 912609807391364251197369657933593180460776}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 912609807391364251197369657933593180460776}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 912609807391364251197369657933593180460776}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 182510747300249859685369313360565345753009}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 36503943728533723212921844177926125222709}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 7300770803477565041025554259290062476374}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 1460157031481343431513840407966606163905}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 292031401511626105946805916070747953975}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 292031406295043739385531143990445836628}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 292031430212134257122901352872995791174}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 292031549797645609433192767772776987227}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 292032147726671465300498433307871304164}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 292035137408528568769114389807290015483}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 292050086736067972621695511191487921615}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 292124856337399883282914090508285291799}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 292499279347354976122984457508614938768}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 294385884450498609044189410559255639105}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 304196130362540448329862681698302708917}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 365015887882785053079719041834672291056}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 17824182148160735190135826789101008407579416056}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 292031401511626105946805916070747953975}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 292031377588413674516499693080700451586}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 292031377588413298236903653939079765363}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 292031377588413298236896009382601648299}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 292031377588413298236896009382445338279}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 912609807391364251197369657933593180460776}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 912656536000305702261930267833291354721447}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 912890250843125806138384596724930214156200}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 914060622863562046647263382331729324620057}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 919957787685373729160220828212504522475060}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 950623044658150818472897649877805262483090}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1140747634121270227670449517400445860666056}, {"parameter": "", "name": "improved_johnson", "value": 292031377588413298236896009382591832029}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 182521961478272850239473931586718636092155}], "known_codes": [], "upper_bound": 292031377588413298236896009382445338279, "classified": false, "lower_bound": 278023401859130594858143611346347770156, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 277555756156289135105907917022705078125}, {"parameter": "", "name": "sphere_covering", "value": 74764824960328658316828249869545786}, {"parameter": "", "name": "graham_sloane", "value": 93450048101071442160706359916710776}, {"parameter": "", "name": "multicomponent", "value": 277555784578001475893020629883056640626}, {"parameter": "", "name": "construction_ST_B", "value": 278001268728991276584565639495849609375}, {"parameter": "", "name": "EF_special", "value": 278023401850065051300001033963426380051}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 277555756215478110595608589847959593750}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 278000584389773363715971348484434203125}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 278001268728991276584565664321581522820}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 278023401859130594858143611346347770156}, {"parameter": "", "name": "two_pivot_block_construction", "value": 278000557047565211275803695980828688384}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 55625868719239903946929110659165863993}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 278001297196248318255007386107281761007}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 277670473644271212217979682954191765625}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 277670473644271212032013191254973015625}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 277670473644271212031715168794035515625}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 89742530769192672610962881605687500}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 89742530769192636848176016371312500}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 89742530769192635358155264418187500}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 462599167461622340410320294873656250}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 462599167461622346370784772412718750}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 462599167461622338932125104443968750}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 2229148847423299789764802032437718750}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 2229148847423299797203461700406468750}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 2229148847423299791242997222867406250}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 11122012939271212685980581798643187500}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 11122012939271212687470602550596312500}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 11122012939271212723233389415830687500}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 55622080182367642878557084568418578125}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 55622080182367642878855107029356078125}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 55622080182367643064821598728574828125}, {"parameter": "(6, 11)", "name": "CKMP2019_Lem_41", "value": 277670473644271212031715168031096062500}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 89742530769192635358059896986546875}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 462599167461622338920204175488890625}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 2229148847423299789752881103482640625}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 11122012939271212685980486431211546875}, {"parameter": "(11, 6)", "name": "CKMP2019_Lem_41", "value": 55622080182367642878557083805479125000}, {"parameter": "(6, 11)", "name": "CKMP2019_Cor_42", "value": 277670473644271212031715168031096062500}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 89742530769192635358059896986546875}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 462599167461622338920204175488890625}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 2229148847423299789752881103482640625}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 11122012939271212685980486431211546875}, {"parameter": "(11, 6)", "name": "CKMP2019_Cor_42", "value": 55622080182367642878557083805479125000}, {"parameter": "6", "name": "linkage_GLT", "value": 277555756156289135105967640776471214132}, {"parameter": "7", "name": "linkage_GLT", "value": 88817841970012523233894354941812651}, {"parameter": "8", "name": "linkage_GLT", "value": 462591742689255625009536743409160001}, {"parameter": "9", "name": "linkage_GLT", "value": 2229148785772849805653095245361344401}, {"parameter": "10", "name": "linkage_GLT", "value": 11122012938797706738114356994628906251}, {"parameter": "11", "name": "linkage_GLT", "value": 55622080123178667388856410980224609376}, {"parameter": "6", "name": "improved_linkage", "value": 277555784625885485475066326187909630381}, {"parameter": "7", "name": "improved_linkage", "value": 88817851083584022377307656999540964}, {"parameter": "8", "name": "improved_linkage", "value": 462591742692171975001433042600706086}, {"parameter": "9", "name": "improved_linkage", "value": 2229148785772850738896471595002562500}, {"parameter": "10", "name": "improved_linkage", "value": 11122012938797706738174080748395042257}, {"parameter": "11", "name": "improved_linkage", "value": 55622080123178667388856414801719156401}, {"parameter": "12", "name": "improved_linkage", "value": 55625639936306550167500972748047831876}, {"parameter": "13", "name": "improved_linkage", "value": 11124992339692304369520515441894547526}, {"parameter": "14", "name": "improved_linkage", "value": 2224993041783060821179754721435546876}, {"parameter": "15", "name": "improved_linkage", "value": 444837442974518100143206321129000001}, {"parameter": "6,0", "name": "generalized_linkage", "value": 277670473644271212031715168031096062500}, {"parameter": "6,1", "name": "generalized_linkage", "value": 277560373846085611766865919604695312500}, {"parameter": "6,2", "name": "generalized_linkage", "value": 277555792881724183806452426206368178895}, {"parameter": "6,3", "name": "generalized_linkage", "value": 277555756438809851579353847852825613634}, {"parameter": "6,4", "name": "generalized_linkage", "value": 277555784625885485475066326187909630381}, {"parameter": "7,0", "name": "generalized_linkage", "value": 89742530769192635358059896986546875}, {"parameter": "7,1", "name": "generalized_linkage", "value": 88855074724491888941058609100269000}, {"parameter": "7,2", "name": "generalized_linkage", "value": 88818138051688018911718962226250000}, {"parameter": "7,3", "name": "generalized_linkage", "value": 88817842424963121969713245563665041}, {"parameter": "7,4", "name": "generalized_linkage", "value": 88817851083584022377307656999540964}, {"parameter": "8,0", "name": "generalized_linkage", "value": 462599167461622338920204175488890625}, {"parameter": "8,1", "name": "generalized_linkage", "value": 462591802342899453582244905866610750}, {"parameter": "8,2", "name": "generalized_linkage", "value": 462591743163684757334382804368664115}, {"parameter": "8,3", "name": "generalized_linkage", "value": 462591742689984488086465812968109375}, {"parameter": "8,4", "name": "generalized_linkage", "value": 462591742692171975001433042600706086}, {"parameter": "9,0", "name": "generalized_linkage", "value": 2229148847423299789752881103482640625}, {"parameter": "9,1", "name": "generalized_linkage", "value": 2229148785868529467913922131046248250}, {"parameter": "9,2", "name": "generalized_linkage", "value": 2229148785773001597951854567832992695}, {"parameter": "9,3", "name": "generalized_linkage", "value": 2229148785772850038934077455888571467}, {"parameter": "9,4", "name": "generalized_linkage", "value": 2229148785772850738896471595002562500}, {"parameter": "10,0", "name": "generalized_linkage", "value": 11122012939271212685980486431211546875}, {"parameter": "10,1", "name": "generalized_linkage", "value": 11122012938797865591266573454043860750}, {"parameter": "10,2", "name": "generalized_linkage", "value": 11122012938797706786792032196476394695}, {"parameter": "10,3", "name": "generalized_linkage", "value": 11122012938797706738129283752329589806}, {"parameter": "10,4", "name": "generalized_linkage", "value": 11122012938797706738174080748395042257}, {"parameter": "11,0", "name": "generalized_linkage", "value": 55622080182367642878557083805479125000}, {"parameter": "11,1", "name": "generalized_linkage", "value": 55622080123178667632858555811306717000}, {"parameter": "11,2", "name": "generalized_linkage", "value": 55622080123178667388872573516785340195}, {"parameter": "11,3", "name": "generalized_linkage", "value": 55622080123178667388856411937575448281}, {"parameter": "11,4", "name": "generalized_linkage", "value": 55622080123178667388856414801719156401}, {"parameter": "12,1", "name": "generalized_linkage", "value": 55625639936306556267569985477127029500}, {"parameter": "12,2", "name": "generalized_linkage", "value": 55625639936306550167500977712948710320}, {"parameter": "12,3", "name": "generalized_linkage", "value": 55625639936306550167500972747866308431}, {"parameter": "12,4", "name": "generalized_linkage", "value": 55625639936306550167500972748047831876}, {"parameter": "13,2", "name": "generalized_linkage", "value": 11124992339692304369520540267626444695}, {"parameter": "13,3", "name": "generalized_linkage", "value": 11124992339692304369520515441894535156}, {"parameter": "13,4", "name": "generalized_linkage", "value": 11124992339692304369520515441894547526}, {"parameter": "14,3", "name": "generalized_linkage", "value": 2224993041783060821179754721435550781}, {"parameter": "14,4", "name": "generalized_linkage", "value": 2224993041783060821179754721435546876}, {"parameter": "15,4", "name": "generalized_linkage", "value": 444837442974518100143206321129000001}, {"parameter": "[6, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 277670473644271212031715168031096062500}, {"parameter": "[6, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 277560373846085611766865919604695312500}, {"parameter": "[6, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 277555792881724183806452426206368178895}, {"parameter": "[6, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 277555756438809851579353847852825613634}, {"parameter": "[6, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 277555784625885485475066326187909630381}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 89742530769192635358059896986546875}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 88855074724491888941058609100269000}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 88818138051688018911718962226250000}, {"parameter": "[7, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 88817842424963121969713245563665041}, {"parameter": "[7, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 88817851083584022377307656999540964}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 462599167461622338920204175488890625}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 462591802342899453582244905866610750}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 462591743163684757334382804368664115}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 462591742689984488086465812968109375}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 462591742692171975001433042600706086}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2229148847423299789752881103482640625}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2229148785868529467913922131046248250}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2229148785773001597951854567832992695}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2229148785772850038934077455888571467}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2229148785772850738896471595002562500}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 11122012939271212685980486431211546875}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11122012938797865591266573454043860750}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11122012938797706786792032196476394695}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11122012938797706738129283752329589806}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11122012938797706738174080748395042257}, {"parameter": "[11, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 55622080182367642878557083805479125000}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 55622080123178667632858555811306717000}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 55622080123178667388872573516785340195}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 55622080123178667388856411937575448281}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 55622080123178667388856414801719156401}, {"parameter": "[12, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 55625639936306556267569985477127029500}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 55625639936306550167500977712948710320}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 55625639936306550167500972747866308431}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 55625639936306550167500972748047831876}, {"parameter": "[13, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11124992339692304369520540267626444695}, {"parameter": "[13, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11124992339692304369520515441894535156}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11124992339692304369520515441894547526}, {"parameter": "[14, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2224993041783060821179754721435550781}, {"parameter": "[14, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2224993041783060821179754721435546876}, {"parameter": "[15, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 444837442974518100143206321129000001}, {"parameter": "[6, 2, 9],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 444124987554766144654355966552734375}, {"parameter": "[6, 2, 9],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 444124971892729418332653292652562500}, {"parameter": "[6, 2, 9],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 558835119541569945984138520598015625}, {"parameter": "[6, 3, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 2220453963754346540686660766601562500}, {"parameter": "[6, 3, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2220453687188943754932485544189453125}, {"parameter": "[6, 3, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2220453671526907028610782870289281250}, {"parameter": "[6, 3, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2335163819175747556262268098234734375}, {"parameter": "[6, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 2220453690905936008808189392089843750}, {"parameter": "[6, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2220453414340533223054014169677734375}, {"parameter": "[6, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2220453398678496496732311495777562500}, {"parameter": "[6, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2335163546327337024383796723723015625}, {"parameter": "[6, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 11102274223822195204436779022216796875}, {"parameter": "[6, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 11102274529105864411708885192871093750}, {"parameter": "[6, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 11102274252540461625954709970458984375}, {"parameter": "[6, 4, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11102274236878424899633007296558812500}, {"parameter": "[6, 4, 7],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11216984384527265427284492524504265625}, {"parameter": "[6, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 11102237573618793981611728668212890625}, {"parameter": "[6, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 11102237878902463188883834838867187500}, {"parameter": "[6, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 11102237602337060403129659616455078125}, {"parameter": "[6, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11102237586675023676807956942554906250}, {"parameter": "[6, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11216947734323864204459442170500359375}, {"parameter": "[6, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 11102237620897966558575630187988281250}, {"parameter": "[6, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 11102237926181635765847736358642578125}, {"parameter": "[6, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11102237649616232980093561136230468750}, {"parameter": "[6, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11102237633954196253771858462330296875}, {"parameter": "[6, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11216947781603036781423343690275750000}, {"parameter": "[6, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 55521434484381132409773056467529296875}, {"parameter": "[6, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 55515759489958681651741810140544921875}, {"parameter": "[6, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 55515759432066153547939309173684843750}, {"parameter": "[6, 5, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 55515759419748793240869064789781000000}, {"parameter": "[6, 5, 6],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 55515766757257327454145031222340062500}, {"parameter": "[6, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 55516826310442962334356491526123046875}, {"parameter": "[6, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 55511151316020511576325245199138671875}, {"parameter": "[6, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 55511151258127983472522744232278593750}, {"parameter": "[6, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 55511151245810623165452499848374750000}, {"parameter": "[6, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 55511158583319157378728466280933812500}, {"parameter": "[6, 5, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 55516826299184772767923061808105468750}, {"parameter": "[6, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 55511151304762322009891815481121093750}, {"parameter": "[6, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 55511151246869793906089314514261015625}, {"parameter": "[6, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 55511151234552433599019070130357171875}, {"parameter": "[6, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 55511158572060967812295036562916234375}, {"parameter": "[6, 5, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 55516826526979704038105194529052734375}, {"parameter": "[6, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 55511151532557253280073948202068359375}, {"parameter": "[6, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 55511151474664725176271447235208281250}, {"parameter": "[6, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 55511151462347364869201202851304437500}, {"parameter": "[6, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 55511158799855899082477169283863500000}, {"parameter": "[6, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 55625649438617622389077524676716796875}, {"parameter": "[6, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 55625639934511749314165025827380546875}, {"parameter": "[6, 6, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 55625639934488529915979500649545843750}, {"parameter": "[6, 6, 5],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 55625639934958344461435082829953734375}, {"parameter": "[6, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 55511161030311771287202219500935546875}, {"parameter": "[6, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 55511151526205898212289720651599296875}, {"parameter": "[6, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 55511151526182678814104195473764593750}, {"parameter": "[6, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 55511151526652493359559777654172484375}, {"parameter": "[6, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 55511160747604621912419180407917968750}, {"parameter": "[6, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 55511151243498748837506681558581718750}, {"parameter": "[6, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 55511151243475529439321156380747015625}, {"parameter": "[6, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 55511151243945343984776738561154906250}, {"parameter": "[6, 6, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 55511160735840766080259661212361328125}, {"parameter": "[6, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 55511151231734893005347162363025078125}, {"parameter": "[6, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 55511151231711673607161637185190375000}, {"parameter": "[6, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 55511151232181488152617219365598265625}, {"parameter": "[6, 6, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 55511160963166713632881025805867187500}, {"parameter": "[6, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 55511151459060840557968526956530937500}, {"parameter": "[6, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 55511151459037621159783001778696234375}, {"parameter": "[6, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 55511151459507435705238583959104125000}, {"parameter": "[6, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11102237574137967470851921446357109375}, {"parameter": "[6, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11102237573528572406840919955653656250}, {"parameter": "[6, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11102237573528603370164382715320531250}, {"parameter": "[6, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 11102230554072552055140995390448906250}, {"parameter": "[6, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 11102230553463156991129993899745453125}, {"parameter": "[6, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 11102230553463187954453456659412328125}, {"parameter": "[6, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 11102230258635021397662453062568046875}, {"parameter": "[6, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11102230258025626333651451571864593750}, {"parameter": "[6, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11102230258025657296974914331531468750}, {"parameter": "[6, 7, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 11102230247312873956665752775702812500}, {"parameter": "[6, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11102230246703478892654751284999359375}, {"parameter": "[6, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11102230246703509855978214044666234375}, {"parameter": "[6, 7, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11102230474689000952432205565009453125}, {"parameter": "[6, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11102230474079605888421204074306000000}, {"parameter": "[6, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11102230474079636851744666833972875000}, {"parameter": "[6, 8, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2220453681810990491225037559794281250}, {"parameter": "[6, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2220453681810988992999708716584593750}, {"parameter": "[6, 8, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2220446345330111298567275749491546875}, {"parameter": "[6, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2220446345330109800341946906281859375}, {"parameter": "[6, 8, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2220446060999306438536931863993500000}, {"parameter": "[6, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2220446060999304940311603020783812500}, {"parameter": "[6, 8, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2220446049702325412719520889139984375}, {"parameter": "[6, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2220446049702323914494192045930296875}, {"parameter": "[6, 8, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2220446277092935760105023369120453125}, {"parameter": "[6, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2220446277092934261879694525910765625}, {"parameter": "[6, 9, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 444096565845335742567722825227171875}, {"parameter": "[6, 9, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 444089505299460256010726083744750000}, {"parameter": "[6, 9, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 444089221601593030129216850109828125}, {"parameter": "[6, 9, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 444089210302102378509611843781859375}, {"parameter": "[6, 9, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 444089255418031241469933068437500000}, {"parameter": "[7, 2, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 142179178212029083077640136718750}, {"parameter": "[7, 2, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 142176948454468291257845469359375}, {"parameter": "[7, 2, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1066806441279149890625967543187500}, {"parameter": "[7, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 710602264599558513313293457031250}, {"parameter": "[7, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 710604725892846627537936767578125}, {"parameter": "[7, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 710602496135285835718142100218750}, {"parameter": "[7, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1635231988959967435086264174046875}, {"parameter": "[7, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 710601813490186433940887451171875}, {"parameter": "[7, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 710604274783474548165530761718750}, {"parameter": "[7, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 710602045025913756345736094359375}, {"parameter": "[7, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1635231537850595355713858168187500}, {"parameter": "[7, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4476053208943160712718963623046875}, {"parameter": "[7, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3553068225900326471477508544921875}, {"parameter": "[7, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3553070687193614585702151855468750}, {"parameter": "[7, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3553068457436053793882357188109375}, {"parameter": "[7, 4, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4477697950260735393250479261937500}, {"parameter": "[7, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 4475757736808324694633483886718750}, {"parameter": "[7, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3552772753765490453392028808593750}, {"parameter": "[7, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552775215058778567616672119140625}, {"parameter": "[7, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552772985301217775796877451781250}, {"parameter": "[7, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4477402478125899375164999525609375}, {"parameter": "[7, 4, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 4475757751821244597434997558593750}, {"parameter": "[7, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3552772768778410356193542480468750}, {"parameter": "[7, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552775230071698470418185791015625}, {"parameter": "[7, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552773000314137678598391123656250}, {"parameter": "[7, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4477402493138819277966513197484375}, {"parameter": "[7, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3599072615041587606480859294921875}, {"parameter": "[7, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3589872296004933521584853155546875}, {"parameter": "[7, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3589872202437617732942010700531250}, {"parameter": "[7, 5, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3589931485163180869077669688109375}, {"parameter": "[7, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3561914133944564119389794841796875}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552713814907910034493788702421875}, {"parameter": "[7, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552713721340594245850946247406250}, {"parameter": "[7, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552773004066157381986605234984375}, {"parameter": "[7, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3561914115185677722504876628906250}, {"parameter": "[7, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552713796149023637608870489531250}, {"parameter": "[7, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552713702581707848966028034515625}, {"parameter": "[7, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552772985307270985101687022093750}, {"parameter": "[7, 5, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3561914129643287674001000896484375}, {"parameter": "[7, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552713810606633589104994757109375}, {"parameter": "[7, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552713717039317800462152302093750}, {"parameter": "[7, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552772999764880936597811289671875}, {"parameter": "[7, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4475760783783751721474909568046875}, {"parameter": "[7, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4475757736670539457300103065765625}, {"parameter": "[7, 6, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4475757740601349604437732984593750}, {"parameter": "[7, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552719104065214741799616599296875}, {"parameter": "[7, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552716056952002477624810097015625}, {"parameter": "[7, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552716060882812624762440015843750}, {"parameter": "[7, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552716745619315858723902487968750}, {"parameter": "[7, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552713698506103594549095985687500}, {"parameter": "[7, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552713702436913741686725904515625}, {"parameter": "[7, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552716726067070029469752097343750}, {"parameter": "[7, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552713678953857765294945595062500}, {"parameter": "[7, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552713682884667912432575513890625}, {"parameter": "[7, 6, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3552716740499059076977991843437500}, {"parameter": "[7, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552713693385846812803185341156250}, {"parameter": "[7, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552713697316656959940815259984375}, {"parameter": "[7, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 710601810617550780262190544281250}, {"parameter": "[7, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 710601810580045358729021406859375}, {"parameter": "[7, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 710545213024839677158888542328125}, {"parameter": "[7, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 710545212987334255625719404906250}, {"parameter": "[7, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 710542754782189566244324333343750}, {"parameter": "[7, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 710542754744684144711155195921875}, {"parameter": "[7, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 710542735943392780340420768890625}, {"parameter": "[7, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 710542735905887358807251631468750}, {"parameter": "[7, 7, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 710542750378842149676346306000000}, {"parameter": "[7, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 710542750341336728143177168578125}, {"parameter": "[7, 8, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 142170083265253324256765303343750}, {"parameter": "[7, 8, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 142110934617074682134546281859375}, {"parameter": "[7, 8, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 142108566096183434226599476312500}, {"parameter": "[7, 8, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 142108547297838657440685687593750}, {"parameter": "[7, 8, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 142108561734189763098873457640625}, {"parameter": "[8, 2, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 740147264543469819124002441406250}, {"parameter": "[8, 2, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 740147284264302512276413834203125}, {"parameter": "[8, 2, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 747571563579905956356061475218750}, {"parameter": "[8, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 3708129727831617858558654785156250}, {"parameter": "[8, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3700734415571685704286355957031250}, {"parameter": "[8, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3700734435292518397438767349828125}, {"parameter": "[8, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3708158714608121841518414990843750}, {"parameter": "[8, 3, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 3708129727105186250358581542968750}, {"parameter": "[8, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3700734414845254096086282714843750}, {"parameter": "[8, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3700734434566086789238694107640625}, {"parameter": "[8, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3708158713881690233318341748656250}, {"parameter": "[8, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3708130200587218072563171386718750}, {"parameter": "[8, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3700734888327285918290872558593750}, {"parameter": "[8, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3700734908048118611443283951390625}, {"parameter": "[8, 4, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3708159187363722055522931592406250}, {"parameter": "[8, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3708129727104301479011535644531250}, {"parameter": "[8, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3700734414844369324739236816406250}, {"parameter": "[8, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3700734434565202017891648209203125}, {"parameter": "[8, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3708158713880805461971295850218750}, {"parameter": "[8, 4, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3708129727105225052982330322265625}, {"parameter": "[8, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3700734414845292898710031494140625}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3700734434566125591862442886937500}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3708158713881729035942090527953125}, {"parameter": "[8, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3700808161381925064702490411406250}, {"parameter": "[8, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3700793489233867048195913489984375}, {"parameter": "[8, 5, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3700793982103218688118698990453125}, {"parameter": "[8, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3700748613874164752889135919218750}, {"parameter": "[8, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3700733941726106736382558997796875}, {"parameter": "[8, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3700734434595458376305344498265625}, {"parameter": "[8, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3700748613843910333985785089140625}, {"parameter": "[8, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3700733941695852317479208167718750}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3700734434565203957401993668187500}, {"parameter": "[8, 5, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3700748613844796816014746270781250}, {"parameter": "[8, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3700733941696738799508169349359375}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3700734434566090439430954849828125}, {"parameter": "[8, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3708129728043342198886461845062500}, {"parameter": "[8, 6, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3708129727134548065561465928343750}, {"parameter": "[8, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3700733946264174707224962821625000}, {"parameter": "[8, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3700733945355380573899966904906250}, {"parameter": "[8, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3700733942484697721247349296234375}, {"parameter": "[8, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3700733941575903587922353379515625}, {"parameter": "[8, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3700733942453179004857569266937500}, {"parameter": "[8, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3700733941544384871532573350218750}, {"parameter": "[8, 6, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3700733942454065253245934745453125}, {"parameter": "[8, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3700733941545271119920938828734375}, {"parameter": "[8, 7, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 740147261663379911228131943968750}, {"parameter": "[8, 7, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 740146792302927845894359504515625}, {"parameter": "[8, 7, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 740146788363523815570076831781250}, {"parameter": "[8, 7, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 740146788333148771968402829609375}, {"parameter": "[8, 7, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 740146788334035321445354528062500}, {"parameter": "[9, 2, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 3566697241820988281167001708984375}, {"parameter": "[9, 2, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3566638061025304355444818906859375}, {"parameter": "[9, 2, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3566699707687475111405425992406250}, {"parameter": "[9, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3566697241820289774334878906250000}, {"parameter": "[9, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3566638061024605848612696104125000}, {"parameter": "[9, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3566699707686776604573303189671875}, {"parameter": "[9, 3, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3566697241820057018197031005859375}, {"parameter": "[9, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3566638061024373092474848203734375}, {"parameter": "[9, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3566699707686543848435455289281250}, {"parameter": "[9, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3566697241971579264824838623046875}, {"parameter": "[9, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3566638061175895339102655820921875}, {"parameter": "[9, 4, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3566699707838066095063262906468750}, {"parameter": "[9, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3566697241820056973492593750000000}, {"parameter": "[9, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3566638061024373047770410947875000}, {"parameter": "[9, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3566699707686543803731018033421875}, {"parameter": "[9, 4, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3566697241820057020680398925781250}, {"parameter": "[9, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3566638061024373094958216123656250}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3566699707686543850918823209203125}, {"parameter": "[9, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3566638175269562616738310413812500}, {"parameter": "[9, 5, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3566638156330495897612055234984375}, {"parameter": "[9, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3566638079963449449424057484125000}, {"parameter": "[9, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3566638061024382730297802305296875}, {"parameter": "[9, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3566638079963439767517468372796875}, {"parameter": "[9, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3566638061024373048391213193968750}, {"parameter": "[9, 5, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3566638079963439811834715687250000}, {"parameter": "[9, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3566638061024373092708460508421875}, {"parameter": "[9, 6, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3566697245607870302417637266234375}, {"parameter": "[9, 6, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3566638061030472624733546906859375}, {"parameter": "[9, 6, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3566638061024383134331425784906250}, {"parameter": "[9, 6, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3566638061024373047828810286250000}, {"parameter": "[9, 6, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3566638061024373092581055725625000}, {"parameter": "[10, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3559044613921214081930675596312500}, {"parameter": "[10, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3559044613921214081930675596312500}, {"parameter": "[10, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3559044613921214037226238340453125}, {"parameter": "[10, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3559044613921214037226238340453125}, {"parameter": "[10, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3559044613921214022329845518187500}, {"parameter": "[10, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3559044613921214022329845518187500}, {"parameter": "[10, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3559044613921262509960538877562500}, {"parameter": "[10, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3559044613921262509960538877562500}, {"parameter": "[10, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3559044613921214022326984434203125}, {"parameter": "[10, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3559044613921214022326984434203125}, {"parameter": "[10, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3559044613921214022330004453734375}, {"parameter": "[10, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3559044613921214022330004453734375}, {"parameter": "[10, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3559044614073713438852338166625000}, {"parameter": "[10, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3559044613921214025429239429437500}, {"parameter": "[10, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3559044613921214022327024165546875}, {"parameter": "[10, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3559044613921214022329860469375000}, {"parameter": "[11, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3559872316858924413563450254515625}, {"parameter": "[11, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3559872316858924413560589170531250}, {"parameter": "[11, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3559872316858924413559635801390625}, {"parameter": "[11, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3559872316858924429075710376703125}, {"parameter": "[11, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3559872316858924413559635618281250}, {"parameter": "[11, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3559872316858924413559635811562500}, {"parameter": "[6, 2, 4, 5],[0, 4, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 118048971559216389894485473632812500}, {"parameter": "[6, 2, 4, 5],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 118041644751155415363937377929687500}, {"parameter": "[6, 2, 4, 5],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 118041644770693570193202792724609375}, {"parameter": "[6, 2, 4, 5],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 118049000277482811412416421875000000}, {"parameter": "[6, 2, 5, 4],[0, 4, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3560282865899852621040668945312500}, {"parameter": "[6, 2, 5, 4],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3560268329662722280669338134765625}, {"parameter": "[6, 2, 5, 4],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560268817966530379207431396484375}, {"parameter": "[6, 2, 5, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3560282865899852621040668945312500}, {"parameter": "[6, 2, 5, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3560268329662722280669338134765625}, {"parameter": "[6, 2, 5, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560268817966530379207431396484375}, {"parameter": "[6, 2, 6, 3],[0, 4, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3560268330413035446155721191406250}, {"parameter": "[6, 2, 6, 3],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560268329512659647572061523437500}, {"parameter": "[6, 2, 6, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552941522352060915607625488281250}, {"parameter": "[6, 2, 6, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552941521451685117023965820312500}, {"parameter": "[6, 2, 6, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3560573614082242718261891845703125}, {"parameter": "[6, 2, 6, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560573613181866919678232177734375}, {"parameter": "[6, 2, 7, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 710588679470929787891885742187500}, {"parameter": "[6, 2, 7, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 710588699009084617157300537109375}, {"parameter": "[6, 2, 7, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 717944205798325836370929687500000}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 118048744636650318741798400878906250}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 118041417828589344211250305175781250}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 118049049920319526013904571533203125}, {"parameter": "[6, 3, 3, 5],[0, 4, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 118048744200092861890792846679687500}, {"parameter": "[6, 3, 3, 5],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 118041417392031887360244750976562500}, {"parameter": "[6, 3, 3, 5],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 118049049483762069162899017333984375}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3567368683923278927803039550781250}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3560041875862304397254943847656250}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3567673967592486199909210205078125}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3567368683923278927803039550781250}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3560041875862304397254943847656250}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3567673967592486199909210205078125}, {"parameter": "[6, 3, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3567368247365822076797485351562500}, {"parameter": "[6, 3, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3560041439304847546249389648437500}, {"parameter": "[6, 3, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3567673531035029348903656005859375}, {"parameter": "[6, 3, 4, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3567368247365822076797485351562500}, {"parameter": "[6, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3560041439304847546249389648437500}, {"parameter": "[6, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3567673531035029348903656005859375}, {"parameter": "[6, 3, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3560044220590946542201995849609375}, {"parameter": "[6, 3, 5, 3],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560041875862304397254943847656250}, {"parameter": "[6, 3, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552717412529972011653900146484375}, {"parameter": "[6, 3, 5, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552715067801329866706848144531250}, {"parameter": "[6, 3, 5, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3560349504260153814308166503906250}, {"parameter": "[6, 3, 5, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560347159531511669361114501953125}, {"parameter": "[6, 3, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3560043784033489691196441650390625}, {"parameter": "[6, 3, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560041439304847546249389648437500}, {"parameter": "[6, 3, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3552716975972515160648345947265625}, {"parameter": "[6, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552714631243873015701293945312500}, {"parameter": "[6, 3, 5, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3560349067702696963302612304687500}, {"parameter": "[6, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560346722974054818355560302734375}, {"parameter": "[6, 3, 6, 2],[0, 3, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560041875862304397254943847656250}, {"parameter": "[6, 3, 6, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552715067801329866706848144531250}, {"parameter": "[6, 3, 6, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552715087339484695972262939453125}, {"parameter": "[6, 3, 6, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560070594128725915185892089843750}, {"parameter": "[6, 3, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560041439304847546249389648437500}, {"parameter": "[6, 3, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552714631243873015701293945312500}, {"parameter": "[6, 3, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3552714650782027844966708740234375}, {"parameter": "[6, 3, 6, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560070157571269064180337890625000}, {"parameter": "[6, 4, 2, 5],[0, 2, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 118048755913634906053543090820312500}, {"parameter": "[6, 4, 2, 5],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 118048755913634906053543090820312500}, {"parameter": "[6, 4, 2, 5],[0, 3, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 118048744185569817662239074707031250}, {"parameter": "[6, 4, 2, 5],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 118048744185569817662239074707031250}, {"parameter": "[6, 4, 2, 5],[0, 4, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 118048744200699152886867523193359375}, {"parameter": "[6, 4, 2, 5],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 118048744200699152886867523193359375}, {"parameter": "[6, 4, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3567379960907866239547729492187500}, {"parameter": "[6, 4, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3567379960907866239547729492187500}, {"parameter": "[6, 4, 3, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3567379960907866239547729492187500}, {"parameter": "[6, 4, 3, 4],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3567379960907866239547729492187500}, {"parameter": "[6, 4, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3567368232842777848243713378906250}, {"parameter": "[6, 4, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3567368232842777848243713378906250}, {"parameter": "[6, 4, 3, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3567368232842777848243713378906250}, {"parameter": "[6, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3567368232842777848243713378906250}, {"parameter": "[6, 4, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3567368247972113072872161865234375}, {"parameter": "[6, 4, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3567368247972113072872161865234375}, {"parameter": "[6, 4, 3, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3567368247972113072872161865234375}, {"parameter": "[6, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3567368247972113072872161865234375}, {"parameter": "[6, 4, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3567379960907866239547729492187500}, {"parameter": "[6, 4, 4, 3],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3567379960907866239547729492187500}, {"parameter": "[6, 4, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3560053152846891708999633789062500}, {"parameter": "[6, 4, 4, 3],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560053152846891708999633789062500}, {"parameter": "[6, 4, 4, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3567685244577073511653900146484375}, {"parameter": "[6, 4, 4, 3],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3567685244577073511653900146484375}, {"parameter": "[6, 4, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3567368232842777848243713378906250}, {"parameter": "[6, 4, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3567368232842777848243713378906250}, {"parameter": "[6, 4, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3560041424781803317695617675781250}, {"parameter": "[6, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560041424781803317695617675781250}, {"parameter": "[6, 4, 4, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3567673516511985120349884033203125}, {"parameter": "[6, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3567673516511985120349884033203125}, {"parameter": "[6, 4, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3567368247972113072872161865234375}, {"parameter": "[6, 4, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3567368247972113072872161865234375}, {"parameter": "[6, 4, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3560041439911138542324066162109375}, {"parameter": "[6, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560041439911138542324066162109375}, {"parameter": "[6, 4, 4, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3567673531641320344978332519531250}, {"parameter": "[6, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3567673531641320344978332519531250}, {"parameter": "[6, 4, 5, 2],[0, 2, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3567379960907866239547729492187500}, {"parameter": "[6, 4, 5, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560053152846891708999633789062500}, {"parameter": "[6, 4, 5, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560053172385046538265048583984375}, {"parameter": "[6, 4, 5, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3567408679174287757478677734375000}, {"parameter": "[6, 4, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3567368232842777848243713378906250}, {"parameter": "[6, 4, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560041424781803317695617675781250}, {"parameter": "[6, 4, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560041444319958146961032470703125}, {"parameter": "[6, 4, 5, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3567396951109199366174661621093750}, {"parameter": "[6, 4, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3567368247972113072872161865234375}, {"parameter": "[6, 4, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560041439911138542324066162109375}, {"parameter": "[6, 4, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3560041459449293371589480957031250}, {"parameter": "[6, 4, 5, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3567396966238534590803110107421875}, {"parameter": "[6, 5, 2, 4],[0, 1, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 9235403336731198570911844726562500}, {"parameter": "[6, 5, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 9235108413599155686085184570312500}, {"parameter": "[6, 5, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 9235108412878631553833445068359375}, {"parameter": "[6, 5, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 9235108427457507155125101562500000}, {"parameter": "[6, 5, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 9228078873398866185310801025390625}, {"parameter": "[6, 5, 3, 3],[0, 1, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 9228076528670224040363749023437500}, {"parameter": "[6, 5, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 9227783950266823300484140869140625}, {"parameter": "[6, 5, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 9227781605538181155537088867187500}, {"parameter": "[6, 5, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 9227783949546299168232401367187500}, {"parameter": "[6, 5, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 9227781604817657023285349365234375}, {"parameter": "[6, 5, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 9227783964125174769524057861328125}, {"parameter": "[6, 5, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 9227781619396532624577005859375000}, {"parameter": "[6, 5, 4, 2],[0, 1, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 9228090596141701111462401367187500}, {"parameter": "[6, 5, 4, 2],[0, 1, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 9228076059904570771091070556640625}, {"parameter": "[6, 5, 4, 2],[0, 1, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 9228076548208378869629163818359375}, {"parameter": "[6, 5, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 9227795673009658226635741210937500}, {"parameter": "[6, 5, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 9227781136772527886264410400390625}, {"parameter": "[6, 5, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 9227781625076335984802503662109375}, {"parameter": "[6, 5, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 9227795672289134094384001708984375}, {"parameter": "[6, 5, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 9227781136052003754012670898437500}, {"parameter": "[6, 5, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 9227781624355811852550764160156250}, {"parameter": "[6, 5, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 9227795686868009695675658203125000}, {"parameter": "[6, 5, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 9227781150630879355304327392578125}, {"parameter": "[6, 5, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 9227781638934687453842420654296875}, {"parameter": "[7, 2, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 923330520909599106460571289062500}, {"parameter": "[7, 2, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 923271449870684365069131835937500}, {"parameter": "[7, 2, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 923332982202887220685214599609375}, {"parameter": "[7, 2, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 286485731792428852443603515625}, {"parameter": "[7, 2, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 286466827850123827676757812500}, {"parameter": "[7, 2, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 286485731792428852443603515625}, {"parameter": "[7, 2, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 286466827850123827676757812500}, {"parameter": "[7, 2, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 286466827850123827676757812500}, {"parameter": "[7, 2, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 227395788935382436237304687500}, {"parameter": "[7, 2, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 288928121138238052320068359375}, {"parameter": "[7, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 923330506502970199733734130859375}, {"parameter": "[7, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 923330506502970199733734130859375}, {"parameter": "[7, 3, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 923330506358615200668334960937500}, {"parameter": "[7, 3, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 923330506358615200668334960937500}, {"parameter": "[7, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 345523460135958492279052734375}, {"parameter": "[7, 3, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 345523460135958492279052734375}, {"parameter": "[7, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 345523460135958492279052734375}, {"parameter": "[7, 3, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 345523460135958492279052734375}, {"parameter": "[7, 3, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 345523315780959426879882812500}, {"parameter": "[7, 3, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 345523315780959426879882812500}, {"parameter": "[7, 3, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 345523315780959426879882812500}, {"parameter": "[7, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 345523315780959426879882812500}, {"parameter": "[7, 3, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 345523460135958492279052734375}, {"parameter": "[7, 3, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 286452421221217100839599609375}, {"parameter": "[7, 3, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 347984753424072716922363281250}, {"parameter": "[7, 3, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 345523315780959426879882812500}, {"parameter": "[7, 3, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 286452276866218035440429687500}, {"parameter": "[7, 3, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 347984609069073651523193359375}, {"parameter": "[7, 4, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1846315508310744047164916992187500}, {"parameter": "[7, 4, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1846315489400527417659759521484375}, {"parameter": "[7, 4, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1846315489401488244533538818359375}, {"parameter": "[7, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 923330525267909805923461914062500}, {"parameter": "[7, 4, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 923330525267909805923461914062500}, {"parameter": "[7, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 923330506357693176418304443359375}, {"parameter": "[7, 4, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 923330506357693176418304443359375}, {"parameter": "[7, 4, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 923330506358654003292083740234375}, {"parameter": "[7, 4, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 923330506358654003292083740234375}, {"parameter": "[7, 4, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 923330525267909805923461914062500}, {"parameter": "[7, 4, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 923271454228995064532022460937500}, {"parameter": "[7, 4, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 923332986561197920148105224609375}, {"parameter": "[7, 4, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 923330506357693176418304443359375}, {"parameter": "[7, 4, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 923271435318778435026864990234375}, {"parameter": "[7, 4, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 923332967650981290642947753906250}, {"parameter": "[7, 4, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 923330506358654003292083740234375}, {"parameter": "[7, 4, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 923271435319739261900644287109375}, {"parameter": "[7, 4, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 923332967651942117516727050781250}, {"parameter": "[8, 2, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 7633105893675922597665771484375}, {"parameter": "[8, 2, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7633105893675922597665771484375}, {"parameter": "[8, 2, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 237793633743768325366943359375}, {"parameter": "[8, 2, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 237793633743768325366943359375}, {"parameter": "[8, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 15028418152723305522918701171875}, {"parameter": "[8, 3, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 15028418152676813899993896484375}, {"parameter": "[8, 3, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7633105892791151250619873046875}, {"parameter": "[8, 3, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7633105892791151250619873046875}, {"parameter": "[8, 3, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7633105892744659627695068359375}, {"parameter": "[8, 3, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7633105892744659627695068359375}, {"parameter": "[9, 2, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 346634002657738519611328125000}, {"parameter": "", "name": "JohnsonLB", "value": 278019803158420755990491413537968855294}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 17800211963931807757603318717178750}], "request": [5, 17, 4, 6], "liftedmrdsizebound": 278162715011759473473688128599566773276, "comments": "", "equal_bound_constraints": []}