{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 58431748536115363555282493344447171066526327500951471773321}, {"parameter": "", "name": "singleton", "value": 193281338737652937508391225143510665}, {"parameter": "3", "name": "ilp_2", "value": 166524389141229608599103148422369288}, {"parameter": "4", "name": "ilp_2", "value": 93000889990639858701108117490964856547901776449}, {"parameter": "6", "name": "ilp_3", "value": 1560301971644512899016862755866569763318815655984177729}, {"parameter": "7", "name": "ilp_3", "value": 46872649710776340205384521009499981207402512421377}, {"parameter": "", "name": "anticode", "value": 166524389141229608599103148422369288}, {"parameter": "", "name": "linear_programming_bound", "value": 166524389141229608599103148422369288}, {"parameter": "", "name": "sphere_packing", "value": 19867739797220219773240309316622795073589710}, {"parameter": "1", "name": "ilp_1", "value": 166524389139109265904140388129079311}, {"parameter": "2", "name": "ilp_1", "value": 166524389139109265904144237477002831}, {"parameter": "8", "name": "ilp_4", "value": 46828216673409877004273583620777533071575289037904}, {"parameter": "9", "name": "ilp_4", "value": 46828216016992186516560887570321401158388159676721}, {"parameter": "10", "name": "ilp_4", "value": 46828216016992186516560887570321401158388159676721}, {"parameter": "11", "name": "ilp_4", "value": 732382401472872773323821264570602846717227635784}, {"parameter": "12", "name": "ilp_4", "value": 11443431456171251830062538459047620180227999194}, {"parameter": "13", "name": "ilp_4", "value": 178803871785175023789931566211042887430613334}, {"parameter": "14", "name": "ilp_4", "value": 2793815648816935534550624000079914202941997}, {"parameter": "15", "name": "ilp_4", "value": 43653369188156909977195535665661152062986}, {"parameter": "16", "name": "ilp_4", "value": 682083895466950008427309024491050930175}, {"parameter": "17", "name": "ilp_4", "value": 10657560905057778034597266341671244352}, {"parameter": "", "name": "johnson_1", "value": 166524389139109265904140388129079311}, {"parameter": "", "name": "johnson_2", "value": 10657560905057778034597266341671244352}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 58431748536115363555282493344447171066526327500951471773321}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 1560301971644512899016862755866569763318815655984177729}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 46872649710776340205384521009499981207402512421377}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 46828216673409877004273583620777533071575289037904}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 46828216016992186516560887570321401158388159676721}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 46828216016992186516560887570321401158388159676721}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 732382401472872773323821264570602846717227635784}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 11443431456171251830062538459047620180227999194}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 178803871785175023789931566211042887430613334}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 2793815648816935534550624000079914202941997}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 43653369188156909977195535665661152062986}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 682083895466950008427309024491050930175}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 10657560905057778034597266341671244352}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 93000889990639858701108117490964856547901776449}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 19867739797220219773240309316622795073589710}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 19867739797473140187565265278173621410048592}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 19867739799496503502396733451329612513656910}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 19867739815683410035884989618325531592450314}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 2482870651233447722142804159553733647512308}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 310424127174933491909496819850575909095341}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 38802886374307489809556845286701747216614}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 4850392920191114597669929483920826836836}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 606315266417638090246260951549101940191}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 75805603051584022201475765607758130095}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 9491922414066471469174825523083812444}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1202965758416337205666595295427849480}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 169162470824684974441589220900672001}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 166524389141229608599103148422369288}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 166524389141527272092819073475531347}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 166524389143908580042580994022730857}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 166524389162959043642885646202378122}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 166524389315362752586717283102231823}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 166524390534592433186613291188957504}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 166524400288430457137362226359386919}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 166524478319171714462165600072998173}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 166525102567473988094313184029586505}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 166530096705718562687286484554700940}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 166570059530931580025879463474357559}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 166890385379700484541028435922863348}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 169493511736669422221539819962279562}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 193281338737652937508391225143510665}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 58431748536115363555282493344447171066526327500951471773321}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 93000889990639858701108117490964856547901776449}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 166524389141229608599103148422369288}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 166524389139109265904144237477002831}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 166524389139109265904140388129079311}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1560301971644512899016862755866569763318815655984177729}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 19867739797220219773240309316622795073589710}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 19871985040766580282749909192209297311584608}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 19906012412411294422432994579708707342791100}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 20182484807024541789409316659656220246674674}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 22705295407865897927128399151732070204383809}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 46872649710776340205384521009499981207402512421377}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 46874057842877367010223668197121415860834693689900}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 46885325645242295217071334746843821606793380673334}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 46975644123573653182040677939103385076194877849975}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 47709638562928407790540281426087522672524755342105}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 54418806485048320298126020637699477339315297310345}, {"parameter": "", "name": "improved_johnson", "value": 166524389139109265904140388129079297}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 2793826303491944805969361856854267500237376}], "known_codes": [], "upper_bound": 166524389139109265904140388129079297, "classified": false, "lower_bound": 166153500868338843367721770829522057, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 166153499473114484112975882535043072}, {"parameter": "", "name": "sphere_covering", "value": 547300508254017320567863520362}, {"parameter": "", "name": "graham_sloane", "value": 1260397087136427725480491933}, {"parameter": "", "name": "multicomponent", "value": 166153500711054532621728195362684929}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 166153499473114484112975882535043073}, {"parameter": "", "name": "two_pivot_block_construction", "value": 166153500711054523398356157434167296}, {"parameter": "(5, 13)", "name": "CKMP2019_Lem_41", "value": 166153499473119206479498406841585728}, {"parameter": "(6, 12)", "name": "CKMP2019_Lem_41", "value": 324518553658435950155270325862400}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 633825300114132715147012118208}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 40566057147342626263353774047376}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 2596149669625304738874782486888961}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 166153500711734544171889386344972289}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 166153500866152976682674991304540161}, {"parameter": "(12, 6)", "name": "CKMP2019_Lem_41", "value": 166153500868338842068433278332829697}, {"parameter": "(13, 5)", "name": "CKMP2019_Lem_41", "value": 166153500868338843367721770829217793}, {"parameter": "(5, 5, 8)", "name": "CKMP2019_Lem_41", "value": 166153499473119206479458752180289537}, {"parameter": "(5, 6, 7)", "name": "CKMP2019_Lem_41", "value": 166153499473114493336347919389818881}, {"parameter": "(5, 7, 6)", "name": "CKMP2019_Lem_41", "value": 166153499473114484130990281044525057}, {"parameter": "(5, 8, 5)", "name": "CKMP2019_Lem_41", "value": 166153499473114485265932571513978881}, {"parameter": "(6, 5, 7)", "name": "CKMP2019_Lem_41", "value": 324518553658435950155192875352065}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Lem_41", "value": 324518553658426744797554530058241}, {"parameter": "(6, 7, 5)", "name": "CKMP2019_Lem_41", "value": 324518553658426726818340392665089}, {"parameter": "(7, 5, 6)", "name": "CKMP2019_Lem_41", "value": 633825300114132715146861084673}, {"parameter": "(7, 6, 5)", "name": "CKMP2019_Lem_41", "value": 633825300114114735932723691521}, {"parameter": "(8, 5, 5)", "name": "CKMP2019_Lem_41", "value": 40566057147342626263353773785089}, {"parameter": "(5, 13)", "name": "CKMP2019_Cor_42", "value": 166153499473119206479498406841585728}, {"parameter": "(6, 12)", "name": "CKMP2019_Cor_42", "value": 324518553658435950155270325862400}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 633825300114132715147012118208}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 40566057147342626263353774047376}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 2596149669625304738874782486888961}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 166153500711734544171889386344972289}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 166153500866152976682674991304540161}, {"parameter": "(12, 6)", "name": "CKMP2019_Cor_42", "value": 166153500868338842068433278332829697}, {"parameter": "(13, 5)", "name": "CKMP2019_Cor_42", "value": 166153500868338843367721770829217793}, {"parameter": "(5, 5, 8)", "name": "CKMP2019_Cor_42", "value": 166153499473119206479458752180289537}, {"parameter": "(5, 6, 7)", "name": "CKMP2019_Cor_42", "value": 166153499473114493336347919389818881}, {"parameter": "(5, 7, 6)", "name": "CKMP2019_Cor_42", "value": 166153499473114484130990281044525057}, {"parameter": "(5, 8, 5)", "name": "CKMP2019_Cor_42", "value": 166153499473114485265932571513978881}, {"parameter": "(6, 5, 7)", "name": "CKMP2019_Cor_42", "value": 324518553658435950155192875352065}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Cor_42", "value": 324518553658426744797554530058241}, {"parameter": "(6, 7, 5)", "name": "CKMP2019_Cor_42", "value": 324518553658426726818340392665089}, {"parameter": "(7, 5, 6)", "name": "CKMP2019_Cor_42", "value": 633825300114132715146861084673}, {"parameter": "(7, 6, 5)", "name": "CKMP2019_Cor_42", "value": 633825300114114735932723691521}, {"parameter": "(8, 5, 5)", "name": "CKMP2019_Cor_42", "value": 40566057147342626263353773785089}, {"parameter": "5", "name": "linkage_ST", "value": 166153500868338843367721770829217793}, {"parameter": "6", "name": "linkage_ST", "value": 166153500868338842068433278332829697}, {"parameter": "7", "name": "linkage_ST", "value": 166153500866152976682674991304540161}, {"parameter": "8", "name": "linkage_ST", "value": 166153500711734544171889386344972289}, {"parameter": "9", "name": "linkage_ST", "value": 2596149669625304738874782486888961}, {"parameter": "10", "name": "linkage_ST", "value": 40566057147342626263353774047376}, {"parameter": "11", "name": "linkage_ST", "value": 633825300114132715147012118208}, {"parameter": "12", "name": "linkage_ST", "value": 324518553658435950155270325862400}, {"parameter": "13", "name": "linkage_ST", "value": 166153499473119206479498406841585728}, {"parameter": "14", "name": "linkage_ST", "value": 2417851659532444951978560}, {"parameter": "15", "name": "linkage_ST", "value": 1237940049680611815459176960}, {"parameter": "16", "name": "linkage_ST", "value": 633825305428134829264354976905}, {"parameter": "17", "name": "linkage_ST", "value": 324518556383474300914908747048073}, {"parameter": "5", "name": "construction_D", "value": 166153500868338843367721770829217792}, {"parameter": "6", "name": "construction_D", "value": 166153500868338842068433278332829696}, {"parameter": "7", "name": "construction_D", "value": 166153500866152976682674991304540160}, {"parameter": "8", "name": "construction_D", "value": 166153500711734544171889386344939520}, {"parameter": "9", "name": "construction_D", "value": 2596149669625304738874781413146624}, {"parameter": "10", "name": "construction_D", "value": 40566057147342626228169401696256}, {"parameter": "11", "name": "construction_D", "value": 633825300114114700748351602688}, {"parameter": "12", "name": "construction_D", "value": 324518553658426726783156020576256}, {"parameter": "13", "name": "construction_D", "value": 166153499473114484112975882535043072}, {"parameter": "14", "name": "construction_D", "value": 0}, {"parameter": "15", "name": "construction_D", "value": 0}, {"parameter": "16", "name": "construction_D", "value": 0}, {"parameter": "17", "name": "construction_D", "value": 0}, {"parameter": "18", "name": "construction_D", "value": 0}, {"parameter": "5", "name": "linkage_GLT", "value": 166153499473119206479498406841585728}, {"parameter": "6", "name": "linkage_GLT", "value": 324518553658435950155270325862400}, {"parameter": "7", "name": "linkage_GLT", "value": 633825300114132715147012118208}, {"parameter": "8", "name": "linkage_GLT", "value": 40566057147342626263353774047376}, {"parameter": "9", "name": "linkage_GLT", "value": 2596149669625304738874782486888961}, {"parameter": "10", "name": "linkage_GLT", "value": 166153500711734544171889386344972289}, {"parameter": "11", "name": "linkage_GLT", "value": 166153500866152976682674991304540161}, {"parameter": "12", "name": "linkage_GLT", "value": 166153500868338842068433278332829697}, {"parameter": "13", "name": "linkage_GLT", "value": 166153500868338843367721770829217793}, {"parameter": "5", "name": "improved_linkage", "value": 166153500711054533793587697994220032}, {"parameter": "6", "name": "improved_linkage", "value": 324518556076278386315600972554816}, {"parameter": "7", "name": "improved_linkage", "value": 633825304836481223272658145344}, {"parameter": "8", "name": "improved_linkage", "value": 40566057147351849600283706982400}, {"parameter": "9", "name": "improved_linkage", "value": 2596149669625304756889180073662144}, {"parameter": "10", "name": "improved_linkage", "value": 166153500711734544171924570717290640}, {"parameter": "11", "name": "improved_linkage", "value": 166153500866152976682674992378282497}, {"parameter": "12", "name": "improved_linkage", "value": 166153500868338842068433278332862465}, {"parameter": "13", "name": "improved_linkage", "value": 166153500868338843367721770829217793}, {"parameter": "14", "name": "improved_linkage", "value": 2596148451067794429917051423293441}, {"parameter": "15", "name": "improved_linkage", "value": 40564819547934287968966310625281}, {"parameter": "5,0", "name": "generalized_linkage", "value": 166153499475537058139030851791425600}, {"parameter": "5,1", "name": "generalized_linkage", "value": 166153499475532335772508327487021632}, {"parameter": "5,2", "name": "generalized_linkage", "value": 166153500711054533793587697994220032}, {"parameter": "6,0", "name": "generalized_linkage", "value": 324518553696805178150780316221440}, {"parameter": "6,1", "name": "generalized_linkage", "value": 324518553663149093305680327118912}, {"parameter": "6,2", "name": "generalized_linkage", "value": 324518556076278386315600972554816}, {"parameter": "7,0", "name": "generalized_linkage", "value": 633825300713651902568968623808}, {"parameter": "7,1", "name": "generalized_linkage", "value": 633825300123338072862656888832}, {"parameter": "7,2", "name": "generalized_linkage", "value": 633825304836481223272658145344}, {"parameter": "8,0", "name": "generalized_linkage", "value": 40566057147351996002448366707856}, {"parameter": "8,1", "name": "generalized_linkage", "value": 40566057147342644242568062211776}, {"parameter": "8,2", "name": "generalized_linkage", "value": 40566057147351849600283706982400}, {"parameter": "9,0", "name": "generalized_linkage", "value": 2596149669625304739201483625313929}, {"parameter": "9,1", "name": "generalized_linkage", "value": 2596149669625304738909965785497744}, {"parameter": "9,2", "name": "generalized_linkage", "value": 2596149669625304756889180073662144}, {"parameter": "10,0", "name": "generalized_linkage", "value": 166153500711734544171889396315399305}, {"parameter": "10,1", "name": "generalized_linkage", "value": 166153500711734544171889387418681857}, {"parameter": "10,2", "name": "generalized_linkage", "value": 166153500711734544171924570717290640}, {"parameter": "11,0", "name": "generalized_linkage", "value": 166153500866152976682674991304844425}, {"parameter": "11,1", "name": "generalized_linkage", "value": 166153500866152976682674991304572929}, {"parameter": "11,2", "name": "generalized_linkage", "value": 166153500866152976682674992378282497}, {"parameter": "12,0", "name": "generalized_linkage", "value": 166153500868338842068433278333133961}, {"parameter": "12,1", "name": "generalized_linkage", "value": 166153500868338842068433278332829697}, {"parameter": "12,2", "name": "generalized_linkage", "value": 166153500868338842068433278332862465}, {"parameter": "13,0", "name": "generalized_linkage", "value": 166153500868338843367721770829522057}, {"parameter": "13,1", "name": "generalized_linkage", "value": 166153500868338843367721770829217793}, {"parameter": "13,2", "name": "generalized_linkage", "value": 166153500868338843367721770829217793}, {"parameter": "14,1", "name": "generalized_linkage", "value": 2596148451067794429917051423293441}, {"parameter": "14,2", "name": "generalized_linkage", "value": 2596148451067794429917051423293441}, {"parameter": "15,2", "name": "generalized_linkage", "value": 40564819547934287968966310625281}, {"parameter": "[5, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499475537058139030851791425600}, {"parameter": "[5, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499475532335772508327487021632}, {"parameter": "[5, 13],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153500711054533793587697994220032}, {"parameter": "[6, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553696805178150780316221440}, {"parameter": "[6, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553663149093305680327118912}, {"parameter": "[6, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518556076278386315600972554816}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 633825300713651902568968623808}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 633825300123338072862656888832}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825304836481223272658145344}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 40566057147351996002448366707856}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 40566057147342644242568062211776}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40566057147351849600283706982400}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2596149669625304739201483625313929}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2596149669625304738909965785497744}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2596149669625304756889180073662144}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153500711734544171889396315399305}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153500711734544171889387418681857}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153500711734544171924570717290640}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153500866152976682674991304844425}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153500866152976682674991304572929}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153500866152976682674992378282497}, {"parameter": "[12, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153500868338842068433278333133961}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153500868338842068433278332829697}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153500868338842068433278332862465}, {"parameter": "[13, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153500868338843367721770829522057}, {"parameter": "[13, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153500868338843367721770829217793}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153500868338843367721770829217793}, {"parameter": "[14, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2596148451067794429917051423293441}, {"parameter": "[14, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2596148451067794429917051423293441}, {"parameter": "[15, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819547934287968966310625281}, {"parameter": "[5, 3, 10],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 40566057147343943847729578789136}, {"parameter": "[5, 3, 10],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40566057147351867614682246158016}, {"parameter": "[5, 3, 10],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40566057152074216122808013488128}, {"parameter": "[5, 4, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2596148431685265453777082211108353}, {"parameter": "[5, 4, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2596148431685265471544089530146960}, {"parameter": "[5, 4, 9],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2596148431685274694881019358484160}, {"parameter": "[5, 4, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2596148431685265453777082211108353}, {"parameter": "[5, 4, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2596148431685265471544089530146960}, {"parameter": "[5, 4, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2596148431685274694881019358484160}, {"parameter": "[5, 5, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499475537058118688019153454081}, {"parameter": "[5, 5, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499475537058118688561359488001}, {"parameter": "[5, 5, 8],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499475537058136737593545793680}, {"parameter": "[5, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499473119206479458760804041729}, {"parameter": "[5, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499473119206479459303010075649}, {"parameter": "[5, 5, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499473119206497508335196381328}, {"parameter": "[5, 5, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499473119206479458760804041729}, {"parameter": "[5, 5, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499473119206479459303010075649}, {"parameter": "[5, 5, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499473119206497508335196381328}, {"parameter": "[5, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499473119215702830789037167169}, {"parameter": "[5, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499473119215702830789051843073}, {"parameter": "[5, 6, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499473119215702831339864851457}, {"parameter": "[5, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499473114493336347919391953473}, {"parameter": "[5, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499473114493336347919406629377}, {"parameter": "[5, 6, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499473114493336348470219637761}, {"parameter": "[5, 6, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499473416724791251576685630017}, {"parameter": "[5, 6, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499473416724791251576700305921}, {"parameter": "[5, 6, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499473416724791252127513314305}, {"parameter": "[5, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499473114493354362317916374017}, {"parameter": "[5, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499473114493354362317899301377}, {"parameter": "[5, 7, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499473114493354362317916111361}, {"parameter": "[5, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499473115074426800639767249921}, {"parameter": "[5, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499473115074426800639750177281}, {"parameter": "[5, 7, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499473115074426800639766987265}, {"parameter": "[5, 7, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499492457306468196384711672833}, {"parameter": "[5, 7, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499492457306468196384694600193}, {"parameter": "[5, 7, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499492457306468196384711410177}, {"parameter": "[5, 8, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499473115075579757328865727041}, {"parameter": "[5, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499473115075579757328729113089}, {"parameter": "[5, 8, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499473115075579757328729113089}, {"parameter": "[5, 8, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499473152263062888422714937921}, {"parameter": "[5, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499473152263062888422578323969}, {"parameter": "[5, 8, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499473152263062888422578323969}, {"parameter": "[5, 8, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153500711054532626794744006349377}, {"parameter": "[5, 8, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153500711054532626794743869735425}, {"parameter": "[5, 8, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153500711054532626794743869735425}, {"parameter": "[5, 9, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2596148429268005263279687039189505}, {"parameter": "[5, 9, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2596148429268005263279687039189505}, {"parameter": "[5, 9, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2596148429305192746409834921853441}, {"parameter": "[5, 9, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2596148429305192746409834921853441}, {"parameter": "[5, 9, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2596148448610227090270339389719041}, {"parameter": "[5, 9, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2596148448610227090270339389719041}, {"parameter": "[5, 10, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207894789584166872154625}, {"parameter": "[5, 10, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207893636663202275131905}, {"parameter": "[5, 10, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819509534798289450118939137}, {"parameter": "[6, 3, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 79230580365903893004349453449}, {"parameter": "[6, 3, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 79230580366049969025246373008}, {"parameter": "[6, 3, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79230580440861479678298441408}, {"parameter": "[6, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 5070602405635284088926406513217}, {"parameter": "[6, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5070602405635284093324299899457}, {"parameter": "[6, 4, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602405635430491029811045520}, {"parameter": "[6, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 5070602405635284088926406513217}, {"parameter": "[6, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5070602405635284093324299899457}, {"parameter": "[6, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602405635430491029811045520}, {"parameter": "[6, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553696805177828508744847937}, {"parameter": "[6, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553696805177828508879065153}, {"parameter": "[6, 5, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553696805177832976584577601}, {"parameter": "[6, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553658435950155192877486657}, {"parameter": "[6, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553658435950155193011703873}, {"parameter": "[6, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658435950159660717216321}, {"parameter": "[6, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553658435950155192877486657}, {"parameter": "[6, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553658435950155193011703873}, {"parameter": "[6, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658435950159660717216321}, {"parameter": "[6, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553658501684695353992425601}, {"parameter": "[6, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553658501684695353975115841}, {"parameter": "[6, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658501684695354111463489}, {"parameter": "[6, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426744797554547372161}, {"parameter": "[6, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426744797554530062401}, {"parameter": "[6, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426744797554666410049}, {"parameter": "[6, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553659017040607913253023873}, {"parameter": "[6, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553659017040607913235714113}, {"parameter": "[6, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553659017040607913372061761}, {"parameter": "[6, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426873185328420688449}, {"parameter": "[6, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426873185328282210369}, {"parameter": "[6, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426873185328282210369}, {"parameter": "[6, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553658427879739845137994305}, {"parameter": "[6, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553658427879739844999516225}, {"parameter": "[6, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658427879739844999516225}, {"parameter": "[6, 7, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553696205676695696202338881}, {"parameter": "[6, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553696205676695696063860801}, {"parameter": "[6, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553696205676695696063860801}, {"parameter": "[6, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5070602400913064012626914185281}, {"parameter": "[6, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602400913064012626914185281}, {"parameter": "[6, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5070602400914070528042249228353}, {"parameter": "[6, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602400914070528042249228353}, {"parameter": "[6, 8, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5070602438691849750573570068545}, {"parameter": "[6, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602438691849750573570068545}, {"parameter": "[6, 9, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228162514410739835751927873}, {"parameter": "[6, 9, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228162515417259106745454657}, {"parameter": "[6, 9, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228163104560152901316513857}, {"parameter": "[7, 3, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 154747227277155483620315721}, {"parameter": "[7, 3, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 154747227277191139226321921}, {"parameter": "[7, 3, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 154747228448126500225228944}, {"parameter": "[7, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9903520323506414236064842753}, {"parameter": "[7, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9903520323506414237138354689}, {"parameter": "[7, 4, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903520323506449971266487297}, {"parameter": "[7, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 9903520323506414236064842753}, {"parameter": "[7, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 9903520323506414237138354689}, {"parameter": "[7, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903520323506449971266487297}, {"parameter": "[7, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 633825300713651897542438585345}, {"parameter": "[7, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 633825300713651897542421545473}, {"parameter": "[7, 5, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300713651897543512097281}, {"parameter": "[7, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 633825300114132715146878157825}, {"parameter": "[7, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 633825300114132715146861117953}, {"parameter": "[7, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300114132715147951669761}, {"parameter": "[7, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 633825300114132715146878157825}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 633825300114132715146861117953}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300114132715147951669761}, {"parameter": "[7, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 633825300115285671835978502721}, {"parameter": "[7, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 633825300115285671835840053761}, {"parameter": "[7, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300115285671835840053761}, {"parameter": "[7, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 633825300114114735932862173761}, {"parameter": "[7, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 633825300114114735932723724801}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300114114735932723724801}, {"parameter": "[7, 6, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 633825300115267657437469020737}, {"parameter": "[7, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 633825300115267657437330571777}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300115267657437330571777}, {"parameter": "[7, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9903520314283077934394671617}, {"parameter": "[7, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903520314283077934394671617}, {"parameter": "[7, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9903520314283077384638857729}, {"parameter": "[7, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903520314283077384638857729}, {"parameter": "[7, 7, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 9903520315435964254629429761}, {"parameter": "[7, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903520315435964254629429761}, {"parameter": "[7, 8, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 154742504910708270654620161}, {"parameter": "[7, 8, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 154742504910707718751322625}, {"parameter": "[7, 8, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 154742506063594047563923969}, {"parameter": "[8, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 9903822554961317893360886409}, {"parameter": "[8, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 9903822554961317902067994689}, {"parameter": "[8, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903822554961603836294500929}, {"parameter": "[8, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 633844642927246549213792997953}, {"parameter": "[8, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 633844642927246549213656649793}, {"parameter": "[8, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 633844642927246549222382932033}, {"parameter": "[8, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 633844642927246549213792997953}, {"parameter": "[8, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 633844642927246549213656649793}, {"parameter": "[8, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633844642927246549222382932033}, {"parameter": "[8, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 40566057147351996002378654716481}, {"parameter": "[8, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 40566057147351996002378518368321}, {"parameter": "[8, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40566057147351996002378518368321}, {"parameter": "[8, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 40566057147342626263353910399553}, {"parameter": "[8, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40566057147342626263353774051393}, {"parameter": "[8, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40566057147342626263353774051393}, {"parameter": "[8, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 40566057147342626263353910399553}, {"parameter": "[8, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40566057147342626263353774051393}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40566057147342626263353774051393}, {"parameter": "[8, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 633844642927228820757963608129}, {"parameter": "[8, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 633844642927228820757963608129}, {"parameter": "[8, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 633844642927228534816220909633}, {"parameter": "[8, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 633844642927228534816220909633}, {"parameter": "[8, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 633844642927228570000592998465}, {"parameter": "[8, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633844642927228570000592998465}, {"parameter": "[8, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903822545737945865213218881}, {"parameter": "[8, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903822545737945857560711233}, {"parameter": "[8, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903822545737981040875835457}, {"parameter": "[9, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 633825602935883429162882624273}, {"parameter": "[9, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 633825602935883429162860717193}, {"parameter": "[9, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825602935883429172830872713}, {"parameter": "[9, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 40564838587895386580102987757193}, {"parameter": "[9, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564838587895386580102831973513}, {"parameter": "[9, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564838587895386580102831973513}, {"parameter": "[9, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 40564838587895386580102987757193}, {"parameter": "[9, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564838587895386580102831973513}, {"parameter": "[9, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564838587895386580102831973513}, {"parameter": "[9, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564838587895386871620515964041}, {"parameter": "[9, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564838587895386871620515964041}, {"parameter": "[9, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564838587895386544919533626505}, {"parameter": "[9, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564838587895386544919533626505}, {"parameter": "[9, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564838587895386544919533626505}, {"parameter": "[9, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564838587895386544919533626505}, {"parameter": "[9, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825602935865414774321390729}, {"parameter": "[9, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825602935865414764351267977}, {"parameter": "[9, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825602935865414765425009801}, {"parameter": "[10, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 40564819509700816483399576513297}, {"parameter": "[10, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819509700816483399554606217}, {"parameter": "[10, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819509700816483399554606217}, {"parameter": "[10, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819509700816448216256259209}, {"parameter": "[10, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819509700816448216256259209}, {"parameter": "[10, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819509700816448216256259209}, {"parameter": "[10, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819509700816448216256259209}, {"parameter": "[10, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819509700816448225152672905}, {"parameter": "[10, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819509700816448215182550153}, {"parameter": "[10, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819509700816448215182550153}, {"parameter": "[11, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 633825305428134829265428718729}, {"parameter": "[11, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825305428134829265428718729}, {"parameter": "[11, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825305428134829264355009673}, {"parameter": "[11, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825305428134829264355009673}, {"parameter": "[12, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903520397444894437100823689}, {"parameter": "[5, 3, 3, 7],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 9903827277327800762989393617}, {"parameter": "[5, 3, 3, 7],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 9903827277327800764213826121}, {"parameter": "[5, 3, 3, 7],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903827277327840973563438153}, {"parameter": "[5, 3, 4, 6],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 633844642936469921250530370633}, {"parameter": "[5, 3, 4, 6],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 633844642936469921250511196745}, {"parameter": "[5, 3, 4, 6],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 633844642936469921251738325577}, {"parameter": "[5, 3, 4, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 633844642936469921250530370633}, {"parameter": "[5, 3, 4, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 633844642936469921250511196745}, {"parameter": "[5, 3, 4, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633844642936469921251738325577}, {"parameter": "[5, 3, 5, 5],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 40566057147343943847719775577161}, {"parameter": "[5, 3, 5, 5],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 40566057147343943847719756403273}, {"parameter": "[5, 3, 5, 5],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40566057147343943847719756403273}, {"parameter": "[5, 3, 5, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 40566057147342644277752302478409}, {"parameter": "[5, 3, 5, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40566057147342644277752283304521}, {"parameter": "[5, 3, 5, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40566057147342644277752283304521}, {"parameter": "[5, 3, 5, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 40566057147342644277752302478409}, {"parameter": "[5, 3, 5, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40566057147342644277752283304521}, {"parameter": "[5, 3, 5, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40566057147342644277752283304521}, {"parameter": "[5, 3, 6, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 633844642927228575025704505929}, {"parameter": "[5, 3, 6, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 633844642927228575025704505929}, {"parameter": "[5, 3, 6, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 633844642927228535365976494665}, {"parameter": "[5, 3, 6, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 633844642927228535365976494665}, {"parameter": "[5, 3, 6, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 633844642927246584948858065481}, {"parameter": "[5, 3, 6, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633844642927246584948858065481}, {"parameter": "[5, 3, 7, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903822545737945857713836617}, {"parameter": "[5, 3, 7, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903822545737946407333073481}, {"parameter": "[5, 3, 7, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903822545755995447991800393}, {"parameter": "[5, 4, 3, 6],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 633825300713651897542440723529}, {"parameter": "[5, 4, 3, 6],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 633825300713651897542421775361}, {"parameter": "[5, 4, 3, 6],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300713651897551045297153}, {"parameter": "[5, 4, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 633825300713651897542440723529}, {"parameter": "[5, 4, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 633825300713651897542421775361}, {"parameter": "[5, 4, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300713651897551045297153}, {"parameter": "[5, 4, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082290760434680858113}, {"parameter": "[5, 4, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082290760434546115585}, {"parameter": "[5, 4, 4, 5],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082290760434546115585}, {"parameter": "[5, 4, 4, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082290760434680858113}, {"parameter": "[5, 4, 4, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082290760434546115585}, {"parameter": "[5, 4, 4, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082290760434546115585}, {"parameter": "[5, 4, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082290760434680858113}, {"parameter": "[5, 4, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082290760434546115585}, {"parameter": "[5, 4, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082290760434546115585}, {"parameter": "[5, 4, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082290760434680858113}, {"parameter": "[5, 4, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082290760434546115585}, {"parameter": "[5, 4, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082290760434546115585}, {"parameter": "[5, 4, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082272993427226625025}, {"parameter": "[5, 4, 5, 4],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082272993427226625025}, {"parameter": "[5, 4, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082272711402494100481}, {"parameter": "[5, 4, 5, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082272711402494100481}, {"parameter": "[5, 4, 5, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082272711402494100481}, {"parameter": "[5, 4, 5, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082272711402494100481}, {"parameter": "[5, 4, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082272993427226625025}, {"parameter": "[5, 4, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082272993427226625025}, {"parameter": "[5, 4, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082272711402494100481}, {"parameter": "[5, 4, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082272711402494100481}, {"parameter": "[5, 4, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082272711402494100481}, {"parameter": "[5, 4, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082272711402494100481}, {"parameter": "[5, 4, 6, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300704410511115681039361}, {"parameter": "[5, 4, 6, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300704410511107074327553}, {"parameter": "[5, 4, 6, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300704410511657903883265}, {"parameter": "[5, 4, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300704410511115681039361}, {"parameter": "[5, 4, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300704410511107074327553}, {"parameter": "[5, 4, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300704410511657903883265}, {"parameter": "[5, 5, 3, 5],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 40564819207894807629340715852873}, {"parameter": "[5, 5, 3, 5],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819207894807629340696904705}, {"parameter": "[5, 5, 3, 5],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207894807629340696904705}, {"parameter": "[5, 5, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304511818982010201161}, {"parameter": "[5, 5, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304511818981991252993}, {"parameter": "[5, 5, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304511818981991252993}, {"parameter": "[5, 5, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304511818982010201161}, {"parameter": "[5, 5, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304511818981991252993}, {"parameter": "[5, 5, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304511818981991252993}, {"parameter": "[5, 5, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819207894789580308644889601}, {"parameter": "[5, 5, 4, 4],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207894789580308644889601}, {"parameter": "[5, 5, 4, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819207894789580308644889601}, {"parameter": "[5, 5, 4, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207894789580308644889601}, {"parameter": "[5, 5, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493769949939237889}, {"parameter": "[5, 5, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493769949939237889}, {"parameter": "[5, 5, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493769949939237889}, {"parameter": "[5, 5, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493769949939237889}, {"parameter": "[5, 5, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493769949939237889}, {"parameter": "[5, 5, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493769949939237889}, {"parameter": "[5, 5, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493769949939237889}, {"parameter": "[5, 5, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493769949939237889}, {"parameter": "[5, 5, 5, 3],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207894789579766438855681}, {"parameter": "[5, 5, 5, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207894789579757832143873}, {"parameter": "[5, 5, 5, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207894789579757832143873}, {"parameter": "[5, 5, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493769407733203969}, {"parameter": "[5, 5, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493769399126492161}, {"parameter": "[5, 5, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493769399126492161}, {"parameter": "[5, 5, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493769407733203969}, {"parameter": "[5, 5, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493769399126492161}, {"parameter": "[5, 5, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493769399126492161}, {"parameter": "[5, 6, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 633825300114132750882064863809}, {"parameter": "[5, 6, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300114132750882064863809}, {"parameter": "[5, 6, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 633825300114114736483555381825}, {"parameter": "[5, 6, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300114114736483555381825}, {"parameter": "[5, 6, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 633825300115267657988162228801}, {"parameter": "[5, 6, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300115267657988162228801}, {"parameter": "[5, 6, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300114132750331252118081}, {"parameter": "[5, 6, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300114132750331252118081}, {"parameter": "[5, 6, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300114114735932742636097}, {"parameter": "[5, 6, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300114114735932742636097}, {"parameter": "[5, 6, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300115267657437349483073}, {"parameter": "[5, 6, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300115267657437349483073}, {"parameter": "[5, 7, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903520314283042750056432641}, {"parameter": "[5, 7, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903520314283077384672707585}, {"parameter": "[5, 7, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903520315435964254663279617}, {"parameter": "[6, 3, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 19343478367556623477659921}, {"parameter": "[6, 3, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 19343478367556623455789705}, {"parameter": "[6, 3, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19343478367556633409168009}, {"parameter": "[6, 3, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237977818363645404478289033}, {"parameter": "[6, 3, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237977818363645404322767497}, {"parameter": "[6, 3, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818363645404322767497}, {"parameter": "[6, 3, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237977818363645404478289033}, {"parameter": "[6, 3, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237977818363645404322767497}, {"parameter": "[6, 3, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818363645404322767497}, {"parameter": "[6, 3, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217569384361403017}, {"parameter": "[6, 3, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217569384361403017}, {"parameter": "[6, 3, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217247699900867209}, {"parameter": "[6, 3, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217247699900867209}, {"parameter": "[6, 3, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217247699900867209}, {"parameter": "[6, 3, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217247699900867209}, {"parameter": "[6, 3, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19343403409644435454632585}, {"parameter": "[6, 3, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 19343403409644425637601929}, {"parameter": "[6, 3, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19343403409648893477331593}, {"parameter": "[6, 4, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940040584703951923426441}, {"parameter": "[6, 4, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040584703951769735745}, {"parameter": "[6, 4, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040584703951769735745}, {"parameter": "[6, 4, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940040584703951923426441}, {"parameter": "[6, 4, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040584703951769735745}, {"parameter": "[6, 4, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040584703951769735745}, {"parameter": "[6, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438306247347835457}, {"parameter": "[6, 4, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438306247347835457}, {"parameter": "[6, 4, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438306247347835457}, {"parameter": "[6, 4, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438306247347835457}, {"parameter": "[6, 4, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438306247347835457}, {"parameter": "[6, 4, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438306247347835457}, {"parameter": "[6, 4, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438306247347835457}, {"parameter": "[6, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438306247347835457}, {"parameter": "[6, 4, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301849454449217}, {"parameter": "[6, 4, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301779644453441}, {"parameter": "[6, 4, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301779644453441}, {"parameter": "[6, 4, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301849454449217}, {"parameter": "[6, 4, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301779644453441}, {"parameter": "[6, 4, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301779644453441}, {"parameter": "[6, 5, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940039431786915002618433}, {"parameter": "[6, 5, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039431786915002618433}, {"parameter": "[6, 5, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285419927113077313}, {"parameter": "[6, 5, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285419927113077313}, {"parameter": "[6, 5, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285419927113077313}, {"parameter": "[6, 5, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285419927113077313}, {"parameter": "[6, 5, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039431782447299236417}, {"parameter": "[6, 5, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039431782447299236417}, {"parameter": "[6, 5, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285415459409695297}, {"parameter": "[6, 5, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285415459409695297}, {"parameter": "[6, 5, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285415459409695297}, {"parameter": "[6, 5, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285415459409695297}, {"parameter": "[6, 6, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813113838534788690049}, {"parameter": "[6, 6, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813113834068022702209}, {"parameter": "[6, 6, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813113869252394791041}, {"parameter": "[7, 3, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 37781255755549434328785}, {"parameter": "[7, 3, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 37781255755549259403849}, {"parameter": "[7, 3, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37781255755549259403849}, {"parameter": "[7, 3, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 37780084820196972630601}, {"parameter": "[7, 3, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 37780084820196972630601}, {"parameter": "[7, 3, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 37780084820196972630601}, {"parameter": "[7, 3, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37780084820196972630601}, {"parameter": "[7, 3, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 37780084784541381268041}, {"parameter": "[7, 3, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 37780084784462861537865}, {"parameter": "[7, 3, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37780084784462861537865}, {"parameter": "[7, 4, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 37778931933876752516097}, {"parameter": "[7, 4, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37778931933876752516097}, {"parameter": "[7, 4, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 37778931933876752516097}, {"parameter": "[7, 4, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37778931933876752516097}, {"parameter": "[7, 4, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 37778931898142641423361}, {"parameter": "[7, 4, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37778931898142641423361}, {"parameter": "[7, 4, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 37778931898142641423361}, {"parameter": "[7, 4, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37778931898142641423361}, {"parameter": "[7, 5, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37778931898693470979073}, {"parameter": "[7, 5, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37778931862959343076353}, {"parameter": "[7, 5, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37778931862959343076353}, {"parameter": "[8, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 37780085105588976525961}, {"parameter": "[8, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37780085105588976525961}, {"parameter": "[8, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 37780084819654886367881}, {"parameter": "[8, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37780084819654886367881}, {"parameter": "[8, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37780084784471705195073}, {"parameter": "[8, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37780084784471705195073}, {"parameter": "[9, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37778949912551109389073}, {"parameter": "[5, 3, 3, 3, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 37780102874255210428113}, {"parameter": "[5, 3, 3, 3, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37780102874255210428113}, {"parameter": "[5, 3, 3, 4, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 37780102834045879989969}, {"parameter": "[5, 3, 3, 4, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37780102834045879989969}, {"parameter": "[5, 3, 4, 3, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37780084785013844452425}, {"parameter": "[5, 3, 4, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37780084785013844452425}, {"parameter": "[5, 4, 3, 3, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37778931898701006087241}, {"parameter": "[5, 4, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37778931898701006087241}, {"parameter": "[6, 3, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152961166794217745}, {"parameter": "", "name": "JohnsonLB", "value": 166152867087465297047129632087125721}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 154743096505489920560571464}], "request": [8, 18, 6, 5], "liftedmrdsizebound": 166153500913172676068348313221383817, "comments": "", "equal_bound_constraints": []}