{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 737309794366817196670904616585}, {"parameter": "", "name": "singleton", "value": 85666512159498155145}, {"parameter": "2", "name": "ilp_2", "value": 75104887373786554440}, {"parameter": "4", "name": "ilp_3", "value": 1260358622849260165249409601}, {"parameter": "", "name": "anticode", "value": 75104887373786554440}, {"parameter": "", "name": "linear_programming_bound", "value": 75104887373786554440}, {"parameter": "", "name": "sphere_packing", "value": 737309794366817196670904616585}, {"parameter": "1", "name": "ilp_1", "value": 75104887312583036999}, {"parameter": "5", "name": "ilp_4", "value": 1243126631423848362092827200}, {"parameter": "6", "name": "ilp_4", "value": 1243126631423848362092827200}, {"parameter": "7", "name": "ilp_4", "value": 157511171622904763228136000}, {"parameter": "8", "name": "ilp_4", "value": 19684164698304086007914567}, {"parameter": "9", "name": "ilp_4", "value": 2461038122942849788449345}, {"parameter": "10", "name": "ilp_4", "value": 307628610189525483257865}, {"parameter": "11", "name": "ilp_4", "value": 38453702621320610124280}, {"parameter": "12", "name": "ilp_4", "value": 4806712545639385047615}, {"parameter": "13", "name": "ilp_4", "value": 600839099051495952968}, {"parameter": "", "name": "johnson_1", "value": 75104887312583036999}, {"parameter": "", "name": "johnson_2", "value": 600839099051495952968}, {"parameter": "0, 3", "name": "Ahlswede_Aydinian", "value": 737309794366817196670904616585}, {"parameter": "0, 4", "name": "Ahlswede_Aydinian", "value": 1260358622849260165249409601}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 1243126631423848362092827200}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 1243126631423848362092827200}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 157511171622904763228136000}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 19684164698304086007914567}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 2461038122942849788449345}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 307628610189525483257865}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 38453702621320610124280}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 4806712545639385047615}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 600839099051495952968}, {"parameter": "1, 2", "name": "Ahlswede_Aydinian", "value": 75104887373786554440}, {"parameter": "1, 3", "name": "Ahlswede_Aydinian", "value": 75104887381332193577}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 75104887441697306731}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 75104887924618215454}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 75104891787985708815}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 75104922694939964276}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 75105169951489760485}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 75107148062498051816}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 75122976702501056877}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 75249846409027394852}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 76280442131586022177}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 85666512159498155145}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 737309794366817196670904616585}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 75104887373786554440}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 75104887312583036999}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1260358622849260165249409601}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1262516771174295141433540645}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1280051726314981051646431476}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1440058191955372430686340745}, {"parameter": "", "name": "improved_johnson", "value": 75104887312583036993}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 157544827856157520656176200}], "known_codes": [], "upper_bound": 75104887312583036993, "classified": false, "lower_bound": 73949352173274772617, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 73786976294838206464}, {"parameter": "", "name": "sphere_covering", "value": 1028834073716879365}, {"parameter": "", "name": "graham_sloane", "value": 1173513865198604865}, {"parameter": "", "name": "multicomponent", "value": 73804995092468203521}, {"parameter": "", "name": "construction_ST_A_1", "value": 73807890970636825737}, {"parameter": "", "name": "construction_ST_B", "value": 73804999423926460670}, {"parameter": "[(0, 1, 2), (2, 3, 4), (1, 3, 5), (0, 4, 5), (0, 3, 6), (1, 4, 6), (2, 5, 6), (4, 7, 8), (5, 7, 9), (0, 8, 9), (0, 7, 10), (6, 7, 11), (5, 8, 10), (2, 8, 11), (2, 7, 12), (3, 9, 10), (3, 7, 13), (4, 9, 11), (1, 8, 12), (6, 9, 12), (1, 10, 11), (6, 8, 13), (4, 10, 12), (1, 9, 13), (3, 11, 12), (2, 10, 13), (0, 11, 13), (5, 12, 13)]", "name": "ef_computation", "value": 73807845026780001417}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 73786976294838206464}, {"parameter": "", "name": "two_pivot_block_construction", "value": 73804995092468203520}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 73805277186859733705}, {"parameter": "(3, 11)", "name": "CKMP2019_Lem_41", "value": 73787258389229736585}, {"parameter": "(4, 10)", "name": "CKMP2019_Lem_41", "value": 1152925912331714633}, {"parameter": "(5, 9)", "name": "CKMP2019_Lem_41", "value": 9241386504121782273}, {"parameter": "(6, 8)", "name": "CKMP2019_Lem_41", "value": 73827790167535297673}, {"parameter": "(7, 7)", "name": "CKMP2019_Lem_41", "value": 73949352172044980280}, {"parameter": "(8, 6)", "name": "CKMP2019_Lem_41", "value": 73807885226427547793}, {"parameter": "(9, 5)", "name": "CKMP2019_Lem_41", "value": 73827829749953593857}, {"parameter": "(10, 4)", "name": "CKMP2019_Lem_41", "value": 73949352173252902913}, {"parameter": "(11, 3)", "name": "CKMP2019_Lem_41", "value": 73949352173272039425}, {"parameter": "(3, 3, 8)", "name": "CKMP2019_Lem_41", "value": 73787257770888963209}, {"parameter": "(3, 4, 7)", "name": "CKMP2019_Lem_41", "value": 73786980692901531704}, {"parameter": "(3, 5, 6)", "name": "CKMP2019_Lem_41", "value": 73787011547930034321}, {"parameter": "(3, 6, 5)", "name": "CKMP2019_Lem_41", "value": 73787257925507482113}, {"parameter": "(3, 7, 4)", "name": "CKMP2019_Lem_41", "value": 73787258389229731841}, {"parameter": "(3, 8, 3)", "name": "CKMP2019_Lem_41", "value": 73787257849576161281}, {"parameter": "(4, 3, 7)", "name": "CKMP2019_Lem_41", "value": 1152925902670172216}, {"parameter": "(4, 4, 6)", "name": "CKMP2019_Lem_41", "value": 1152921573326586001}, {"parameter": "(4, 5, 5)", "name": "CKMP2019_Lem_41", "value": 1152922055436403201}, {"parameter": "(4, 6, 4)", "name": "CKMP2019_Lem_41", "value": 1152925905086054401}, {"parameter": "(4, 7, 3)", "name": "CKMP2019_Lem_41", "value": 1152925912331714561}, {"parameter": "(5, 3, 6)", "name": "CKMP2019_Lem_41", "value": 9241386504083996817}, {"parameter": "(5, 4, 5)", "name": "CKMP2019_Lem_41", "value": 9241386436438000129}, {"parameter": "(5, 5, 4)", "name": "CKMP2019_Lem_41", "value": 9241386443970969601}, {"parameter": "(5, 6, 3)", "name": "CKMP2019_Lem_41", "value": 9241386504121745409}, {"parameter": "(6, 3, 5)", "name": "CKMP2019_Lem_41", "value": 73827790167534993921}, {"parameter": "(6, 4, 4)", "name": "CKMP2019_Lem_41", "value": 73827790166478028801}, {"parameter": "(6, 5, 3)", "name": "CKMP2019_Lem_41", "value": 73827790166595731457}, {"parameter": "(7, 3, 4)", "name": "CKMP2019_Lem_41", "value": 73949352172044943361}, {"parameter": "(7, 4, 3)", "name": "CKMP2019_Lem_41", "value": 73949352172028428289}, {"parameter": "(8, 3, 3)", "name": "CKMP2019_Lem_41", "value": 73807885226427547649}, {"parameter": "(3, 3, 3, 5)", "name": "CKMP2019_Lem_41", "value": 73787257770888659457}, {"parameter": "(3, 3, 4, 4)", "name": "CKMP2019_Lem_41", "value": 73787257769831694337}, {"parameter": "(3, 3, 5, 3)", "name": "CKMP2019_Lem_41", "value": 73787257769949396993}, {"parameter": "(3, 4, 3, 4)", "name": "CKMP2019_Lem_41", "value": 73786980692901494785}, {"parameter": "(3, 4, 4, 3)", "name": "CKMP2019_Lem_41", "value": 73786980692884979713}, {"parameter": "(3, 5, 3, 3)", "name": "CKMP2019_Lem_41", "value": 73787011547930034177}, {"parameter": "(4, 3, 3, 4)", "name": "CKMP2019_Lem_41", "value": 1152925902670135297}, {"parameter": "(4, 3, 4, 3)", "name": "CKMP2019_Lem_41", "value": 1152925902653620225}, {"parameter": "(4, 4, 3, 3)", "name": "CKMP2019_Lem_41", "value": 1152921573326585857}, {"parameter": "(5, 3, 3, 3)", "name": "CKMP2019_Lem_41", "value": 9241386504083996673}, {"parameter": "(3, 11)", "name": "CKMP2019_Cor_42", "value": 73787258389229736585}, {"parameter": "(4, 10)", "name": "CKMP2019_Cor_42", "value": 1152925912331714633}, {"parameter": "(5, 9)", "name": "CKMP2019_Cor_42", "value": 9241386504121782273}, {"parameter": "(6, 8)", "name": "CKMP2019_Cor_42", "value": 73827790167535297673}, {"parameter": "(7, 7)", "name": "CKMP2019_Cor_42", "value": 73949352172044980280}, {"parameter": "(8, 6)", "name": "CKMP2019_Cor_42", "value": 73807885226427547793}, {"parameter": "(9, 5)", "name": "CKMP2019_Cor_42", "value": 73827829749953593857}, {"parameter": "(10, 4)", "name": "CKMP2019_Cor_42", "value": 73949352173252902913}, {"parameter": "(11, 3)", "name": "CKMP2019_Cor_42", "value": 73949352173272039425}, {"parameter": "(3, 3, 8)", "name": "CKMP2019_Cor_42", "value": 73787257770888963209}, {"parameter": "(3, 4, 7)", "name": "CKMP2019_Cor_42", "value": 73786980692901531704}, {"parameter": "(3, 5, 6)", "name": "CKMP2019_Cor_42", "value": 73787011547930034321}, {"parameter": "(3, 6, 5)", "name": "CKMP2019_Cor_42", "value": 73787257925507482113}, {"parameter": "(3, 7, 4)", "name": "CKMP2019_Cor_42", "value": 73787258389229731841}, {"parameter": "(3, 8, 3)", "name": "CKMP2019_Cor_42", "value": 73787257849576161281}, {"parameter": "(4, 3, 7)", "name": "CKMP2019_Cor_42", "value": 1152925902670172216}, {"parameter": "(4, 4, 6)", "name": "CKMP2019_Cor_42", "value": 1152921573326586001}, {"parameter": "(4, 5, 5)", "name": "CKMP2019_Cor_42", "value": 1152922055436403201}, {"parameter": "(4, 6, 4)", "name": "CKMP2019_Cor_42", "value": 1152925905086054401}, {"parameter": "(4, 7, 3)", "name": "CKMP2019_Cor_42", "value": 1152925912331714561}, {"parameter": "(5, 3, 6)", "name": "CKMP2019_Cor_42", "value": 9241386504083996817}, {"parameter": "(5, 4, 5)", "name": "CKMP2019_Cor_42", "value": 9241386436438000129}, {"parameter": "(5, 5, 4)", "name": "CKMP2019_Cor_42", "value": 9241386443970969601}, {"parameter": "(5, 6, 3)", "name": "CKMP2019_Cor_42", "value": 9241386504121745409}, {"parameter": "(6, 3, 5)", "name": "CKMP2019_Cor_42", "value": 73827790167534993921}, {"parameter": "(6, 4, 4)", "name": "CKMP2019_Cor_42", "value": 73827790166478028801}, {"parameter": "(6, 5, 3)", "name": "CKMP2019_Cor_42", "value": 73827790166595731457}, {"parameter": "(7, 3, 4)", "name": "CKMP2019_Cor_42", "value": 73949352172044943361}, {"parameter": "(7, 4, 3)", "name": "CKMP2019_Cor_42", "value": 73949352172028428289}, {"parameter": "(8, 3, 3)", "name": "CKMP2019_Cor_42", "value": 73807885226427547649}, {"parameter": "(3, 3, 3, 5)", "name": "CKMP2019_Cor_42", "value": 73787257770888659457}, {"parameter": "(3, 3, 4, 4)", "name": "CKMP2019_Cor_42", "value": 73787257769831694337}, {"parameter": "(3, 3, 5, 3)", "name": "CKMP2019_Cor_42", "value": 73787257769949396993}, {"parameter": "(3, 4, 3, 4)", "name": "CKMP2019_Cor_42", "value": 73786980692901494785}, {"parameter": "(3, 4, 4, 3)", "name": "CKMP2019_Cor_42", "value": 73786980692884979713}, {"parameter": "(3, 5, 3, 3)", "name": "CKMP2019_Cor_42", "value": 73787011547930034177}, {"parameter": "(4, 3, 3, 4)", "name": "CKMP2019_Cor_42", "value": 1152925902670135297}, {"parameter": "(4, 3, 4, 3)", "name": "CKMP2019_Cor_42", "value": 1152925902653620225}, {"parameter": "(4, 4, 3, 3)", "name": "CKMP2019_Cor_42", "value": 1152921573326585857}, {"parameter": "(5, 3, 3, 3)", "name": "CKMP2019_Cor_42", "value": 9241386504083996673}, {"parameter": "", "name": "construction_1", "value": 73807890970636825737}, {"parameter": "3", "name": "linkage_ST", "value": 73949352173272039425}, {"parameter": "4", "name": "linkage_ST", "value": 73949352173252902913}, {"parameter": "5", "name": "linkage_ST", "value": 73827829749953593857}, {"parameter": "6", "name": "linkage_ST", "value": 73807885226427547793}, {"parameter": "7", "name": "linkage_ST", "value": 73949352172044980280}, {"parameter": "8", "name": "linkage_ST", "value": 73827790167535297673}, {"parameter": "9", "name": "linkage_ST", "value": 9241386504121782273}, {"parameter": "10", "name": "linkage_ST", "value": 1152925912331714633}, {"parameter": "11", "name": "linkage_ST", "value": 73787258389229736585}, {"parameter": "12", "name": "linkage_ST", "value": 18054041057928329}, {"parameter": "13", "name": "linkage_ST", "value": 1155458627707417737}, {"parameter": "3", "name": "construction_D", "value": 73949352173272039424}, {"parameter": "4", "name": "construction_D", "value": 73949352173252902912}, {"parameter": "5", "name": "construction_D", "value": 73827829749953593344}, {"parameter": "6", "name": "construction_D", "value": 73807885226427285504}, {"parameter": "7", "name": "construction_D", "value": 73949352172028166144}, {"parameter": "8", "name": "construction_D", "value": 73827790166461251584}, {"parameter": "9", "name": "construction_D", "value": 9241386435364257792}, {"parameter": "10", "name": "construction_D", "value": 1152921504606846976}, {"parameter": "11", "name": "construction_D", "value": 73786976294838206464}, {"parameter": "12", "name": "construction_D", "value": 0}, {"parameter": "13", "name": "construction_D", "value": 0}, {"parameter": "14", "name": "construction_D", "value": 0}, {"parameter": "3", "name": "linkage_GLT", "value": 73787258389229736585}, {"parameter": "4", "name": "linkage_GLT", "value": 1152925912331714633}, {"parameter": "5", "name": "linkage_GLT", "value": 9241386504121782273}, {"parameter": "6", "name": "linkage_GLT", "value": 73827790167535297673}, {"parameter": "7", "name": "linkage_GLT", "value": 73949352172044980280}, {"parameter": "8", "name": "linkage_GLT", "value": 73807885226427547793}, {"parameter": "9", "name": "linkage_GLT", "value": 73827829749953593857}, {"parameter": "10", "name": "linkage_GLT", "value": 73949352173252902913}, {"parameter": "11", "name": "linkage_GLT", "value": 73949352173272039425}, {"parameter": "3", "name": "improved_linkage", "value": 73805030335896134793}, {"parameter": "4", "name": "improved_linkage", "value": 1153203598998377097}, {"parameter": "5", "name": "improved_linkage", "value": 9241390843089125449}, {"parameter": "6", "name": "improved_linkage", "value": 73827790235218776065}, {"parameter": "7", "name": "improved_linkage", "value": 73949352173102212233}, {"parameter": "8", "name": "improved_linkage", "value": 73807885226444099640}, {"parameter": "9", "name": "improved_linkage", "value": 73827829749953855633}, {"parameter": "10", "name": "improved_linkage", "value": 73949352173252903425}, {"parameter": "11", "name": "improved_linkage", "value": 73949352173272039425}, {"parameter": "12", "name": "improved_linkage", "value": 9243669021659304449}, {"parameter": "3,0", "name": "generalized_linkage", "value": 73807569185419905297}, {"parameter": "3,1", "name": "generalized_linkage", "value": 73805030335896134793}, {"parameter": "4,0", "name": "generalized_linkage", "value": 1153243268522185937}, {"parameter": "4,1", "name": "generalized_linkage", "value": 1153203598998377097}, {"parameter": "5,0", "name": "generalized_linkage", "value": 9241391454663544905}, {"parameter": "5,1", "name": "generalized_linkage", "value": 9241390843089125449}, {"parameter": "6,0", "name": "generalized_linkage", "value": 73827790244866616081}, {"parameter": "6,1", "name": "generalized_linkage", "value": 73827790235218776065}, {"parameter": "7,0", "name": "generalized_linkage", "value": 73949352173255598072}, {"parameter": "7,1", "name": "generalized_linkage", "value": 73949352173102212233}, {"parameter": "8,0", "name": "generalized_linkage", "value": 73807885226446432601}, {"parameter": "8,1", "name": "generalized_linkage", "value": 73807885226444099640}, {"parameter": "9,0", "name": "generalized_linkage", "value": 73827829749953630793}, {"parameter": "9,1", "name": "generalized_linkage", "value": 73827829749953855633}, {"parameter": "10,0", "name": "generalized_linkage", "value": 73949352173252902985}, {"parameter": "10,1", "name": "generalized_linkage", "value": 73949352173252903425}, {"parameter": "11,0", "name": "generalized_linkage", "value": 73949352173272039497}, {"parameter": "11,1", "name": "generalized_linkage", "value": 73949352173272039425}, {"parameter": "12,1", "name": "generalized_linkage", "value": 9243669021659304449}, {"parameter": "[3, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73807569185419905297}, {"parameter": "[3, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73805030335896134793}, {"parameter": "[4, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153243268522185937}, {"parameter": "[4, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153203598998377097}, {"parameter": "[5, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241391454663544905}, {"parameter": "[5, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241390843089125449}, {"parameter": "[6, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73827790244866616081}, {"parameter": "[6, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73827790235218776065}, {"parameter": "[7, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73949352173255598072}, {"parameter": "[7, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73949352173102212233}, {"parameter": "[8, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73807885226446432601}, {"parameter": "[8, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73807885226444099640}, {"parameter": "[9, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73827829749953630793}, {"parameter": "[9, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73827829749953855633}, {"parameter": "[10, 4],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73949352173252902985}, {"parameter": "[10, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73949352173252903425}, {"parameter": "[11, 3],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73949352173272039497}, {"parameter": "[11, 3],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73949352173272039425}, {"parameter": "[12, 2],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9243669021659304449}, {"parameter": "[3, 2, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241431609057841809}, {"parameter": "[3, 2, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241708199279596753}, {"parameter": "[3, 3, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73807529691729692633}, {"parameter": "[3, 3, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73807528987437371465}, {"parameter": "[3, 3, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787263493406525401}, {"parameter": "[3, 3, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787262789114204233}, {"parameter": "[3, 4, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787297441836047800}, {"parameter": "[3, 4, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787297430638881553}, {"parameter": "[3, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73789232582300933560}, {"parameter": "[3, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73789232571103767313}, {"parameter": "[3, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73789549771920231009}, {"parameter": "[3, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73789549771749924856}, {"parameter": "[3, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73805000659069553249}, {"parameter": "[3, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73805000658899247096}, {"parameter": "[3, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73807535333698025169}, {"parameter": "[3, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73807535333714438489}, {"parameter": "[3, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73805030335898564305}, {"parameter": "[3, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73805030335914977625}, {"parameter": "[3, 7, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73807569185419564241}, {"parameter": "[3, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73807569185419596361}, {"parameter": "[3, 7, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73804995798067320017}, {"parameter": "[3, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804995798067352137}, {"parameter": "[3, 8, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73807529790708913361}, {"parameter": "[3, 8, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73807529790708908105}, {"parameter": "[3, 8, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73805000667335759057}, {"parameter": "[3, 8, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73805000667335753801}, {"parameter": "[3, 9, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225941918089777737}, {"parameter": "[3, 9, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225628791987016265}, {"parameter": "[4, 2, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144397368700847001}, {"parameter": "[4, 2, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144401682351853641}, {"parameter": "[4, 3, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153242651604688312}, {"parameter": "[4, 3, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153242640407522065}, {"parameter": "[4, 3, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152925992255888824}, {"parameter": "[4, 3, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152925981058722577}, {"parameter": "[4, 4, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152926522526386785}, {"parameter": "[4, 4, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152926522356080632}, {"parameter": "[4, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152956759096150625}, {"parameter": "[4, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152956758925844472}, {"parameter": "[4, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152961715167147729}, {"parameter": "[4, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152961715183561049}, {"parameter": "[4, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153203135278855889}, {"parameter": "[4, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153203135295269209}, {"parameter": "[4, 6, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153242739588994257}, {"parameter": "[4, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153242739589026377}, {"parameter": "[4, 6, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153203598998377681}, {"parameter": "[4, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153203598998409801}, {"parameter": "[4, 7, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153243268522185937}, {"parameter": "[4, 7, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153243268522180681}, {"parameter": "[4, 7, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153203059344807121}, {"parameter": "[4, 7, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153203059344801865}, {"parameter": "[4, 8, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144155331622478409}, {"parameter": "[4, 8, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144150391928390217}, {"parameter": "[5, 2, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155177713513930680}, {"parameter": "[5, 2, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155177780872407825}, {"parameter": "[5, 3, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241391453283797601}, {"parameter": "[5, 3, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241391453113491448}, {"parameter": "[5, 3, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241386505481472609}, {"parameter": "[5, 3, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241386505311166456}, {"parameter": "[5, 4, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241386513750144721}, {"parameter": "[5, 4, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241386513766558041}, {"parameter": "[5, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241386986196547281}, {"parameter": "[5, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241386986212960601}, {"parameter": "[5, 5, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241387063654225105}, {"parameter": "[5, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241387063654257225}, {"parameter": "[5, 5, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241390835843470545}, {"parameter": "[5, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241390835843502665}, {"parameter": "[5, 6, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241391454660859089}, {"parameter": "[5, 6, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241391454660853833}, {"parameter": "[5, 6, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241390843089130705}, {"parameter": "[5, 6, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241390843089125449}, {"parameter": "[5, 7, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155173932865679433}, {"parameter": "[5, 7, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155173854332129865}, {"parameter": "[6, 2, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9228473839699457057}, {"parameter": "[6, 2, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9228473840754565112}, {"parameter": "[6, 3, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73827790244847138513}, {"parameter": "[6, 3, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73827790244863551833}, {"parameter": "[6, 3, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73827790167537727185}, {"parameter": "[6, 3, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73827790167554140505}, {"parameter": "[6, 4, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73827790167685993681}, {"parameter": "[6, 4, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73827790167686025801}, {"parameter": "[6, 4, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73827790175067968721}, {"parameter": "[6, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73827790175068000841}, {"parameter": "[6, 5, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73827790176278287569}, {"parameter": "[6, 5, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73827790176278282313}, {"parameter": "[6, 5, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73827790235218744529}, {"parameter": "[6, 5, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73827790235218739273}, {"parameter": "[6, 6, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9228473780610970185}, {"parameter": "[6, 6, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9228473779416494153}, {"parameter": "[7, 2, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9243669022577599633}, {"parameter": "[7, 2, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9243669022596409689}, {"parameter": "[7, 3, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73949352173252908241}, {"parameter": "[7, 3, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73949352173252940361}, {"parameter": "[7, 3, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73949352172044948689}, {"parameter": "[7, 3, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73949352172044980809}, {"parameter": "[7, 4, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73949352172047307985}, {"parameter": "[7, 4, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73949352172047302729}, {"parameter": "[7, 4, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73949352172162651345}, {"parameter": "[7, 4, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73949352172162646089}, {"parameter": "[7, 5, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9243669021522694729}, {"parameter": "[7, 5, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9243669021637812809}, {"parameter": "[8, 2, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9225985653320188561}, {"parameter": "[8, 2, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225985653320225353}, {"parameter": "[8, 3, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73807885226446427345}, {"parameter": "[8, 3, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73807885226446422089}, {"parameter": "[8, 3, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73807885226427552977}, {"parameter": "[8, 3, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73807885226427547721}, {"parameter": "[8, 4, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225985653303448137}, {"parameter": "[8, 4, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225985653303673417}, {"parameter": "[9, 2, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9228478718744461969}, {"parameter": "[9, 2, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9228478718744461385}, {"parameter": "[9, 3, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9228478718744236617}, {"parameter": "[9, 3, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9228478718744199753}, {"parameter": "[10, 2, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155458627707077193}, {"parameter": "[3, 2, 2, 7],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155494461237828984}, {"parameter": "[3, 2, 2, 7],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155495067464123289}, {"parameter": "[3, 2, 3, 6],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241431596640116073}, {"parameter": "[3, 2, 3, 6],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241431595107360696}, {"parameter": "[3, 2, 3, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241391464465702249}, {"parameter": "[3, 2, 3, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241391462932946872}, {"parameter": "[3, 2, 4, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241387140837240153}, {"parameter": "[3, 2, 4, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241387140984960033}, {"parameter": "[3, 2, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241426645946428761}, {"parameter": "[3, 2, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241426646094148641}, {"parameter": "[3, 2, 5, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241392089973963609}, {"parameter": "[3, 2, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241392089974252689}, {"parameter": "[3, 2, 5, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241707670346447705}, {"parameter": "[3, 2, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241707670346736785}, {"parameter": "[3, 2, 6, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241431609033669465}, {"parameter": "[3, 2, 6, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241431609033622161}, {"parameter": "[3, 2, 6, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241708199279639385}, {"parameter": "[3, 2, 6, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241708199279592081}, {"parameter": "[3, 2, 7, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155178960426857105}, {"parameter": "[3, 2, 7, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155213447967155345}, {"parameter": "[3, 3, 2, 6],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9225945525118705001}, {"parameter": "[3, 3, 2, 6],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225945602141593016}, {"parameter": "[3, 3, 2, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9223412250328309097}, {"parameter": "[3, 3, 2, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9223412327351197112}, {"parameter": "[3, 3, 3, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73807529690307830169}, {"parameter": "[3, 3, 3, 5],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73807529691506002529}, {"parameter": "[3, 3, 3, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73807524046720803225}, {"parameter": "[3, 3, 3, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73807524047918975585}, {"parameter": "[3, 3, 3, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787263491984662937}, {"parameter": "[3, 3, 3, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787263493182835297}, {"parameter": "[3, 3, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787257848397635993}, {"parameter": "[3, 3, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787257849595808353}, {"parameter": "[3, 3, 4, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73807524057544257433}, {"parameter": "[3, 3, 4, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73807524057546602193}, {"parameter": "[3, 3, 4, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73807524596428435353}, {"parameter": "[3, 3, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73807524596430780113}, {"parameter": "[3, 3, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787257859221090201}, {"parameter": "[3, 3, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787257859223434961}, {"parameter": "[3, 3, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787258398105268121}, {"parameter": "[3, 3, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787258398107612881}, {"parameter": "[3, 3, 5, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73807524684781711257}, {"parameter": "[3, 3, 5, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73807524684781327569}, {"parameter": "[3, 3, 5, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73807528987435069337}, {"parameter": "[3, 3, 5, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73807528987434685649}, {"parameter": "[3, 3, 5, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787258486458544025}, {"parameter": "[3, 3, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787258486458160337}, {"parameter": "[3, 3, 5, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787262789111902105}, {"parameter": "[3, 3, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787262789111518417}, {"parameter": "[3, 3, 6, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225941211659163345}, {"parameter": "[3, 3, 6, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225941124462413009}, {"parameter": "[3, 3, 6, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9223407936868767441}, {"parameter": "[3, 3, 6, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9223407849672017105}, {"parameter": "[3, 4, 2, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9223412247436946777}, {"parameter": "[3, 4, 2, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9223412248810080865}, {"parameter": "[3, 4, 2, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9223654139995057497}, {"parameter": "[3, 4, 2, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9223654141368191585}, {"parameter": "[3, 4, 3, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787297441639690137}, {"parameter": "[3, 4, 3, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787297441642034897}, {"parameter": "[3, 4, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787297353458642841}, {"parameter": "[3, 4, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787297353460987601}, {"parameter": "[3, 4, 3, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73789232582104575897}, {"parameter": "[3, 4, 3, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73789232582106920657}, {"parameter": "[3, 4, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73789232493923528601}, {"parameter": "[3, 4, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73789232493925873361}, {"parameter": "[3, 4, 4, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787297353630871449}, {"parameter": "[3, 4, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787297353630487761}, {"parameter": "[3, 4, 4, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787297362050936729}, {"parameter": "[3, 4, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787297362050553041}, {"parameter": "[3, 4, 4, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73789232494095757209}, {"parameter": "[3, 4, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73789232494095373521}, {"parameter": "[3, 4, 4, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73789232502515822489}, {"parameter": "[3, 4, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73789232502515438801}, {"parameter": "[3, 4, 5, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9223412170428888785}, {"parameter": "[3, 4, 5, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9223412178832508625}, {"parameter": "[3, 4, 5, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9223654062986999505}, {"parameter": "[3, 4, 5, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9223654071390619345}, {"parameter": "[3, 5, 2, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9223693722540096345}, {"parameter": "[3, 5, 2, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9223693722542782161}, {"parameter": "[3, 5, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9225625083433761625}, {"parameter": "[3, 5, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225625083436447441}, {"parameter": "[3, 5, 3, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73789549771919847321}, {"parameter": "[3, 5, 3, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73789549771919463633}, {"parameter": "[3, 5, 3, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73789549770542018457}, {"parameter": "[3, 5, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73789549770541634769}, {"parameter": "[3, 5, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73805000659069169561}, {"parameter": "[3, 5, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73805000659068785873}, {"parameter": "[3, 5, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73805000657691340697}, {"parameter": "[3, 5, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73805000657690957009}, {"parameter": "[3, 5, 4, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9223693721318045393}, {"parameter": "[3, 5, 4, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9223693721334490833}, {"parameter": "[3, 5, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225625082211710673}, {"parameter": "[3, 5, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225625082228156113}, {"parameter": "[3, 6, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9225941916731095897}, {"parameter": "[3, 6, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225941916731053265}, {"parameter": "[3, 6, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9225628792006163289}, {"parameter": "[3, 6, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225628792006120657}, {"parameter": "[3, 6, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225941916714645201}, {"parameter": "[3, 6, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225941916711954129}, {"parameter": "[3, 6, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225628791989712593}, {"parameter": "[3, 6, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225628791987021521}, {"parameter": "[3, 7, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153243268522223313}, {"parameter": "[3, 7, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153203059344844497}, {"parameter": "[4, 2, 2, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18054600954287401}, {"parameter": "[4, 2, 2, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18054610450259896}, {"parameter": "[4, 2, 3, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 144397368525548889}, {"parameter": "[4, 2, 3, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144397368673268769}, {"parameter": "[4, 2, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144396741460323673}, {"parameter": "[4, 2, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144396741608043553}, {"parameter": "[4, 2, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 144396674075245401}, {"parameter": "[4, 2, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144396674075534481}, {"parameter": "[4, 2, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144397291342576473}, {"parameter": "[4, 2, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144397291342865553}, {"parameter": "[4, 2, 5, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 144396751405890393}, {"parameter": "[4, 2, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144396751405843089}, {"parameter": "[4, 2, 5, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144401682349210457}, {"parameter": "[4, 2, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144401682349163153}, {"parameter": "[4, 2, 6, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049671111394449}, {"parameter": "[4, 2, 6, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18050211326718609}, {"parameter": "[4, 3, 2, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144155398658026841}, {"parameter": "[4, 3, 2, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144155400031160929}, {"parameter": "[4, 3, 2, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144115816239426905}, {"parameter": "[4, 3, 2, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144115817612560993}, {"parameter": "[4, 3, 3, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153242651408330649}, {"parameter": "[4, 3, 3, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153242651410675409}, {"parameter": "[4, 3, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153242563227283353}, {"parameter": "[4, 3, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153242563229628113}, {"parameter": "[4, 3, 3, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152925992059531161}, {"parameter": "[4, 3, 3, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152925992061875921}, {"parameter": "[4, 3, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152925903878483865}, {"parameter": "[4, 3, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152925903880828625}, {"parameter": "[4, 3, 4, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153242563399511961}, {"parameter": "[4, 3, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153242563399128273}, {"parameter": "[4, 3, 4, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153242571819577241}, {"parameter": "[4, 3, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153242571819193553}, {"parameter": "[4, 3, 4, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152925904050712473}, {"parameter": "[4, 3, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152925904050328785}, {"parameter": "[4, 3, 4, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152925912470777753}, {"parameter": "[4, 3, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152925912470394065}, {"parameter": "[4, 3, 5, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144155321649968849}, {"parameter": "[4, 3, 5, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144155330053588689}, {"parameter": "[4, 3, 5, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144115739231368913}, {"parameter": "[4, 3, 5, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144115747634988753}, {"parameter": "[4, 4, 2, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144115816365865817}, {"parameter": "[4, 4, 2, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144115816368551633}, {"parameter": "[4, 4, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144119595937086297}, {"parameter": "[4, 4, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144119595939772113}, {"parameter": "[4, 4, 3, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152926522526003097}, {"parameter": "[4, 4, 3, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152926522525619409}, {"parameter": "[4, 4, 3, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152926521148174233}, {"parameter": "[4, 4, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152926521147790545}, {"parameter": "[4, 4, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152956759095766937}, {"parameter": "[4, 4, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152956759095383249}, {"parameter": "[4, 4, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152956757717938073}, {"parameter": "[4, 4, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152956757717554385}, {"parameter": "[4, 4, 4, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144115815143814865}, {"parameter": "[4, 4, 4, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144115815160260305}, {"parameter": "[4, 4, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144119594715035345}, {"parameter": "[4, 4, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144119594731480785}, {"parameter": "[4, 5, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144120214414736217}, {"parameter": "[4, 5, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144120214414693585}, {"parameter": "[4, 5, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144150391928699737}, {"parameter": "[4, 5, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144150391928657105}, {"parameter": "[4, 5, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144120214398285521}, {"parameter": "[4, 5, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144120214395594449}, {"parameter": "[4, 5, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144150391912249041}, {"parameter": "[4, 5, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144150391909557969}, {"parameter": "[4, 6, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18019417806120657}, {"parameter": "[4, 6, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18018806234392273}, {"parameter": "[5, 2, 2, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144397291194566937}, {"parameter": "[5, 2, 2, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144397291363857441}, {"parameter": "[5, 2, 3, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155177713489722201}, {"parameter": "[5, 2, 3, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155177713490011281}, {"parameter": "[5, 2, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155177703691828057}, {"parameter": "[5, 2, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155177703692117137}, {"parameter": "[5, 2, 4, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155177702639319897}, {"parameter": "[5, 2, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155177702639272593}, {"parameter": "[5, 2, 4, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155177712284121945}, {"parameter": "[5, 2, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155177712284074641}, {"parameter": "[5, 2, 5, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144397212980946065}, {"parameter": "[5, 2, 5, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144397222611694737}, {"parameter": "[5, 3, 2, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155173932710542169}, {"parameter": "[5, 3, 2, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155173932713227985}, {"parameter": "[5, 3, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155173314235251545}, {"parameter": "[5, 3, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155173314237937361}, {"parameter": "[5, 3, 3, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241391453283413913}, {"parameter": "[5, 3, 3, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241391453283030225}, {"parameter": "[5, 3, 3, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241391451905585049}, {"parameter": "[5, 3, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241391451905201361}, {"parameter": "[5, 3, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241386505481088921}, {"parameter": "[5, 3, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241386505480705233}, {"parameter": "[5, 3, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241386504103260057}, {"parameter": "[5, 3, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241386504102876369}, {"parameter": "[5, 3, 4, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155173931488491217}, {"parameter": "[5, 3, 4, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155173931504936657}, {"parameter": "[5, 3, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155173313013200593}, {"parameter": "[5, 3, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155173313029646033}, {"parameter": "[5, 4, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155173314237610841}, {"parameter": "[5, 4, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155173314237568209}, {"parameter": "[5, 4, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155173373293411161}, {"parameter": "[5, 4, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155173373293368529}, {"parameter": "[5, 4, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155173314221160145}, {"parameter": "[5, 4, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155173314218469073}, {"parameter": "[5, 4, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155173373276960465}, {"parameter": "[5, 4, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155173373274269393}, {"parameter": "[5, 5, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144396672869639889}, {"parameter": "[5, 5, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144396731810096849}, {"parameter": "[6, 2, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153559231165634329}, {"parameter": "[6, 2, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153559231165965457}, {"parameter": "[6, 2, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9228473839699409753}, {"parameter": "[6, 2, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9228473839699362449}, {"parameter": "[6, 2, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9228473839546317657}, {"parameter": "[6, 2, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9228473839546270353}, {"parameter": "[6, 2, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153559229941228689}, {"parameter": "[6, 2, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153559229960066193}, {"parameter": "[6, 3, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9228473780624735065}, {"parameter": "[6, 3, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9228473780624692433}, {"parameter": "[6, 3, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9228473770961058649}, {"parameter": "[6, 3, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9228473770961016017}, {"parameter": "[6, 3, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9228473780608284369}, {"parameter": "[6, 3, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9228473780605593297}, {"parameter": "[6, 3, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9228473770944607953}, {"parameter": "[6, 3, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9228473770941916881}, {"parameter": "[6, 4, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153559221370136273}, {"parameter": "[6, 4, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153559221485479633}, {"parameter": "[7, 2, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155458627841300249}, {"parameter": "[7, 2, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155458627841294993}, {"parameter": "[7, 2, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155458627822494865}, {"parameter": "[7, 2, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155458627822195857}, {"parameter": "[7, 3, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155458627707119313}, {"parameter": "[7, 3, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155458627688244945}, {"parameter": "[8, 2, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144156025833165969}, {"parameter": "[3, 2, 2, 2, 5],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144437500702659041}, {"parameter": "[3, 2, 2, 2, 5],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144437502226273577}, {"parameter": "[3, 2, 2, 3, 4],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155494461019952673}, {"parameter": "[3, 2, 2, 3, 4],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155494461022554393}, {"parameter": "[3, 2, 2, 3, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155494372838905377}, {"parameter": "[3, 2, 2, 3, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155494372841507097}, {"parameter": "[3, 2, 2, 4, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155494363366331937}, {"parameter": "[3, 2, 2, 4, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155494363365906201}, {"parameter": "[3, 2, 2, 4, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155494450169550369}, {"parameter": "[3, 2, 2, 4, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155494450169124633}, {"parameter": "[3, 2, 2, 5, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144436796780071193}, {"parameter": "[3, 2, 2, 5, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144436883456809241}, {"parameter": "[3, 2, 3, 2, 4],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155178959030621729}, {"parameter": "[3, 2, 3, 2, 4],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155178959054794073}, {"parameter": "[3, 2, 3, 2, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155173942508820001}, {"parameter": "[3, 2, 3, 2, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155173942532992345}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241431596636662881}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241431596633209689}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241431584236203105}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241431584232749913}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241391464462249057}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241391464458795865}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9241391452061789281}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9241391452058336089}, {"parameter": "[3, 2, 3, 4, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155178948032163161}, {"parameter": "[3, 2, 3, 4, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155178948180172121}, {"parameter": "[3, 2, 3, 4, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155173931510361433}, {"parameter": "[3, 2, 3, 4, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155173931658370393}, {"parameter": "[3, 2, 4, 2, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155173392774239777}, {"parameter": "[3, 2, 4, 2, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155173392773856089}, {"parameter": "[3, 2, 4, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155178330912888353}, {"parameter": "[3, 2, 4, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155178330912504665}, {"parameter": "[3, 2, 4, 3, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155173392626183513}, {"parameter": "[3, 2, 4, 3, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155173392601963865}, {"parameter": "[3, 2, 4, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155178330764832089}, {"parameter": "[3, 2, 4, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155178330740612441}, {"parameter": "[3, 2, 5, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144396751406226777}, {"parameter": "[3, 2, 5, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144401682349546841}, {"parameter": "[3, 3, 2, 2, 4],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153243278473598497}, {"parameter": "[3, 3, 2, 2, 4],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153243278497770841}, {"parameter": "[3, 3, 2, 2, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152926619124799009}, {"parameter": "[3, 3, 2, 2, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152926619148971353}, {"parameter": "[3, 3, 2, 3, 3],[0, 0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9225945525115251809}, {"parameter": "[3, 3, 2, 3, 3],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225945525111798617}, {"parameter": "[3, 3, 2, 3, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9225945513939528801}, {"parameter": "[3, 3, 2, 3, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225945513936075609}, {"parameter": "[3, 3, 2, 3, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9223412250324855905}, {"parameter": "[3, 3, 2, 3, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9223412250321402713}, {"parameter": "[3, 3, 2, 3, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9223412239149132897}, {"parameter": "[3, 3, 2, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9223412239145679705}, {"parameter": "[3, 3, 2, 4, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153243189091986777}, {"parameter": "[3, 3, 2, 4, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153243190467124569}, {"parameter": "[3, 3, 2, 4, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152926529743187289}, {"parameter": "[3, 3, 2, 4, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152926531118325081}, {"parameter": "[3, 3, 3, 2, 3],[0, 0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9225941212663999585}, {"parameter": "[3, 3, 3, 2, 3],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225941212660887449}, {"parameter": "[3, 3, 3, 2, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9225940507215621217}, {"parameter": "[3, 3, 3, 2, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225940507212509081}, {"parameter": "[3, 3, 3, 2, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9223407937873603681}, {"parameter": "[3, 3, 3, 2, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9223407937870491545}, {"parameter": "[3, 3, 3, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9223407232425225313}, {"parameter": "[3, 3, 3, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9223407232422113177}, {"parameter": "[3, 3, 3, 3, 2],[0, 0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225941211463098777}, {"parameter": "[3, 3, 3, 3, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225941211266650521}, {"parameter": "[3, 3, 3, 3, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225940506014720409}, {"parameter": "[3, 3, 3, 3, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9225940505818272153}, {"parameter": "[3, 3, 3, 3, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9223407936672702873}, {"parameter": "[3, 3, 3, 3, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9223407936476254617}, {"parameter": "[3, 3, 3, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9223407231224324505}, {"parameter": "[3, 3, 3, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9223407231027876249}, {"parameter": "[3, 3, 4, 2, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153242563402240409}, {"parameter": "[3, 3, 4, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153242571822305689}, {"parameter": "[3, 3, 4, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152925904053440921}, {"parameter": "[3, 3, 4, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152925912473506201}, {"parameter": "[3, 4, 2, 2, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152926532323939873}, {"parameter": "[3, 4, 2, 2, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152926532323556185}, {"parameter": "[3, 4, 2, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152956768893703713}, {"parameter": "[3, 4, 2, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152956768893320025}, {"parameter": "[3, 4, 2, 3, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152926530951146841}, {"parameter": "[3, 4, 2, 3, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152926530929319257}, {"parameter": "[3, 4, 2, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152956767520910681}, {"parameter": "[3, 4, 2, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152956767499083097}, {"parameter": "[3, 4, 3, 2, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152926522528731545}, {"parameter": "[3, 4, 3, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152926521150902681}, {"parameter": "[3, 4, 3, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152956759098495385}, {"parameter": "[3, 4, 3, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152956757720666521}, {"parameter": "[3, 5, 2, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144120214417464665}, {"parameter": "[3, 5, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144150391931428185}, {"parameter": "[4, 2, 2, 2, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2256835948105697}, {"parameter": "[4, 2, 2, 2, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2256835951085849}, {"parameter": "[4, 2, 2, 3, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18054600953861665}, {"parameter": "[4, 2, 2, 3, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18054600953435929}, {"parameter": "[4, 2, 2, 3, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18054599576032801}, {"parameter": "[4, 2, 2, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18054599575607065}, {"parameter": "[4, 2, 2, 4, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2256824928454937}, {"parameter": "[4, 2, 2, 4, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2256825097992473}, {"parameter": "[4, 2, 3, 2, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18049671235278369}, {"parameter": "[4, 2, 3, 2, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049671234894681}, {"parameter": "[4, 2, 3, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18049592852125217}, {"parameter": "[4, 2, 3, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049592851741529}, {"parameter": "[4, 2, 3, 3, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049671087222105}, {"parameter": "[4, 2, 3, 3, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049671063002457}, {"parameter": "[4, 2, 3, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049592704068953}, {"parameter": "[4, 2, 3, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049592679849305}, {"parameter": "[4, 2, 4, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2256198032809305}, {"parameter": "[4, 2, 4, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2256207677611353}, {"parameter": "[4, 3, 2, 2, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18019426226574881}, {"parameter": "[4, 3, 2, 2, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18019426226191193}, {"parameter": "[4, 3, 2, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18014478424249889}, {"parameter": "[4, 3, 2, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014478423866201}, {"parameter": "[4, 3, 2, 3, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18019424853781849}, {"parameter": "[4, 3, 2, 3, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18019424831954265}, {"parameter": "[4, 3, 2, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014477051456857}, {"parameter": "[4, 3, 2, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014477029629273}, {"parameter": "[4, 3, 3, 2, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18019416431366553}, {"parameter": "[4, 3, 3, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18019415053537689}, {"parameter": "[4, 3, 3, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014468629041561}, {"parameter": "[4, 3, 3, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014467251212697}, {"parameter": "[4, 4, 2, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2251809633492313}, {"parameter": "[4, 4, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2251868689292633}, {"parameter": "[5, 2, 2, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18049661571223521}, {"parameter": "[5, 2, 2, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049661571176217}, {"parameter": "[5, 2, 2, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049661401975065}, {"parameter": "[5, 2, 2, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049661399283993}, {"parameter": "[5, 2, 3, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049651773660505}, {"parameter": "[5, 2, 3, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049651620568409}, {"parameter": "[5, 3, 2, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049592701377881}, {"parameter": "[5, 3, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049583037701465}, {"parameter": "[6, 2, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18024362987305241}, {"parameter": "[3, 2, 2, 2, 2, 3],[0, 1, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18054689134956265}, {"parameter": "[3, 2, 2, 2, 2, 3],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18054689134530529}, {"parameter": "[3, 2, 2, 2, 3, 2],[0, 1, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18054687611720161}, {"parameter": "[3, 2, 2, 2, 3, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18054687587500513}, {"parameter": "[3, 2, 2, 3, 2, 2],[0, 1, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18054600956889121}, {"parameter": "[3, 2, 2, 3, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18054599579060257}, {"parameter": "[3, 2, 3, 2, 2, 2],[0, 1, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049671259834401}, {"parameter": "[3, 2, 3, 2, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049592876681249}, {"parameter": "[3, 3, 2, 2, 2, 2],[0, 0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18019426251130913}, {"parameter": "[3, 3, 2, 2, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014478448805921}, {"parameter": "[4, 2, 2, 2, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 35263064768993}, {"parameter": "", "name": "JohnsonLB", "value": 73790151528618436652}, {"parameter": "", "name": "EF_Kurz2020_linkage_special", "value": 73949352173274772617}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 558482096648}], "request": [8, 14, 4, 3], "liftedmrdsizebound": 73807890970636825737, "comments": "", "equal_bound_constraints": []}