{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 152804888634672088643556}, {"parameter": "", "name": "singleton", "value": 3104408566792806}, {"parameter": "2", "name": "ilp_2", "value": 2503555305645030}, {"parameter": "4", "name": "ilp_3", "value": 979518516888923645151}, {"parameter": "", "name": "anticode", "value": 2503555305645030}, {"parameter": "", "name": "linear_programming_bound", "value": 2503555305645030}, {"parameter": "", "name": "sphere_packing", "value": 152804888634672088643556}, {"parameter": "1", "name": "ilp_1", "value": 2503555100553779}, {"parameter": "5", "name": "ilp_4", "value": 948163890868151441400}, {"parameter": "6", "name": "ilp_4", "value": 948163890868151441400}, {"parameter": "7", "name": "ilp_4", "value": 195652866369618551400}, {"parameter": "8", "name": "ilp_4", "value": 39070467947934551279}, {"parameter": "9", "name": "ilp_4", "value": 7823710441588863276}, {"parameter": "10", "name": "ilp_4", "value": 1564645950317765631}, {"parameter": "11", "name": "ilp_4", "value": 312944572143553870}, {"parameter": "12", "name": "ilp_4", "value": 62588760611817024}, {"parameter": "13", "name": "ilp_4", "value": 12517776733316405}, {"parameter": "", "name": "johnson_1", "value": 2503555100553779}, {"parameter": "", "name": "johnson_2", "value": 12517776733316405}, {"parameter": "0, 3", "name": "Ahlswede_Aydinian", "value": 152804888634672088643556}, {"parameter": "0, 4", "name": "Ahlswede_Aydinian", "value": 979518516888923645151}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 948163890868151441400}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 948163890868151441400}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 195652866369618551400}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 39070467947934551279}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 7823710441588863276}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1564645950317765631}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 312944572143553870}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 62588760611817024}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 12517776733316405}, {"parameter": "1, 2", "name": "Ahlswede_Aydinian", "value": 2503555305645030}, {"parameter": "1, 3", "name": "Ahlswede_Aydinian", "value": 2503555345340111}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 2503555543815538}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 2503556536193143}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 2503561498092972}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 2503586307887142}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 2503710364234161}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 2504330830430140}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 2507437780026329}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 2523088887107901}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 2604369602945368}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 3104408566792806}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 152804888634672088643556}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 2503555305645030}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 2503555100553779}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 979518516888923645151}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 985837990670401540605}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1018699254226406806344}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1222439084242108174806}, {"parameter": "", "name": "improved_johnson", "value": 2503555100553776}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 195903703377784729030}], "known_codes": [], "upper_bound": 2503555100553776, "classified": false, "lower_bound": 2407196057636556, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 2384185791015625}, {"parameter": "", "name": "sphere_covering", "value": 80759849849682}, {"parameter": "", "name": "graham_sloane", "value": 100142211832026}, {"parameter": "", "name": "multicomponent", "value": 2388006601578126}, {"parameter": "", "name": "construction_ST_A_1", "value": 2389152844136556}, {"parameter": "", "name": "construction_ST_B", "value": 2388012480123848}, {"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": 2389105237324056}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 2384185791015625}, {"parameter": "", "name": "two_pivot_block_construction", "value": 2388006601578150}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 2388160662125831}, {"parameter": "(3, 11)", "name": "CKMP2019_Lem_41", "value": 2384339851563306}, {"parameter": "(4, 10)", "name": "CKMP2019_Lem_41", "value": 95373594062531}, {"parameter": "(5, 9)", "name": "CKMP2019_Lem_41", "value": 480652100566251}, {"parameter": "(6, 8)", "name": "CKMP2019_Lem_41", "value": 2393493662129681}, {"parameter": "(7, 7)", "name": "CKMP2019_Lem_41", "value": 2407196045316270}, {"parameter": "(8, 6)", "name": "CKMP2019_Lem_41", "value": 2389143310562561}, {"parameter": "(9, 5)", "name": "CKMP2019_Lem_41", "value": 2393530283203251}, {"parameter": "(10, 4)", "name": "CKMP2019_Lem_41", "value": 2407196057031251}, {"parameter": "(11, 3)", "name": "CKMP2019_Lem_41", "value": 2407196057515626}, {"parameter": "(3, 3, 8)", "name": "CKMP2019_Lem_41", "value": 2384338388692181}, {"parameter": "(3, 4, 7)", "name": "CKMP2019_Lem_41", "value": 2384191894925645}, {"parameter": "(3, 5, 6)", "name": "CKMP2019_Lem_41", "value": 2384216552750061}, {"parameter": "(3, 6, 5)", "name": "CKMP2019_Lem_41", "value": 2384338974609501}, {"parameter": "(3, 7, 4)", "name": "CKMP2019_Lem_41", "value": 2384339851562501}, {"parameter": "(3, 8, 3)", "name": "CKMP2019_Lem_41", "value": 2384338696187501}, {"parameter": "(4, 3, 7)", "name": "CKMP2019_Lem_41", "value": 95373535550645}, {"parameter": "(4, 4, 6)", "name": "CKMP2019_Lem_41", "value": 95367675796936}, {"parameter": "(4, 5, 5)", "name": "CKMP2019_Lem_41", "value": 95368662109501}, {"parameter": "(4, 6, 4)", "name": "CKMP2019_Lem_41", "value": 95373558984376}, {"parameter": "(4, 7, 3)", "name": "CKMP2019_Lem_41", "value": 95373594062501}, {"parameter": "(5, 3, 6)", "name": "CKMP2019_Lem_41", "value": 480652099625061}, {"parameter": "(5, 4, 5)", "name": "CKMP2019_Lem_41", "value": 480651865234501}, {"parameter": "(5, 5, 4)", "name": "CKMP2019_Lem_41", "value": 480651904687501}, {"parameter": "(5, 6, 3)", "name": "CKMP2019_Lem_41", "value": 480652100562501}, {"parameter": "(6, 3, 5)", "name": "CKMP2019_Lem_41", "value": 2393493662109501}, {"parameter": "(6, 4, 4)", "name": "CKMP2019_Lem_41", "value": 2393493652734376}, {"parameter": "(6, 5, 3)", "name": "CKMP2019_Lem_41", "value": 2393493654312501}, {"parameter": "(7, 3, 4)", "name": "CKMP2019_Lem_41", "value": 2407196045312501}, {"parameter": "(7, 4, 3)", "name": "CKMP2019_Lem_41", "value": 2407196044937501}, {"parameter": "(8, 3, 3)", "name": "CKMP2019_Lem_41", "value": 2389143310562501}, {"parameter": "(3, 3, 3, 5)", "name": "CKMP2019_Lem_41", "value": 2384338388672001}, {"parameter": "(3, 3, 4, 4)", "name": "CKMP2019_Lem_41", "value": 2384338379296876}, {"parameter": "(3, 3, 5, 3)", "name": "CKMP2019_Lem_41", "value": 2384338380875001}, {"parameter": "(3, 4, 3, 4)", "name": "CKMP2019_Lem_41", "value": 2384191894921876}, {"parameter": "(3, 4, 4, 3)", "name": "CKMP2019_Lem_41", "value": 2384191894546876}, {"parameter": "(3, 5, 3, 3)", "name": "CKMP2019_Lem_41", "value": 2384216552750001}, {"parameter": "(4, 3, 3, 4)", "name": "CKMP2019_Lem_41", "value": 95373535546876}, {"parameter": "(4, 3, 4, 3)", "name": "CKMP2019_Lem_41", "value": 95373535171876}, {"parameter": "(4, 4, 3, 3)", "name": "CKMP2019_Lem_41", "value": 95367675796876}, {"parameter": "(5, 3, 3, 3)", "name": "CKMP2019_Lem_41", "value": 480652099625001}, {"parameter": "(3, 11)", "name": "CKMP2019_Cor_42", "value": 2384339851563306}, {"parameter": "(4, 10)", "name": "CKMP2019_Cor_42", "value": 95373594062531}, {"parameter": "(5, 9)", "name": "CKMP2019_Cor_42", "value": 480652100566251}, {"parameter": "(6, 8)", "name": "CKMP2019_Cor_42", "value": 2393493662129681}, {"parameter": "(7, 7)", "name": "CKMP2019_Cor_42", "value": 2407196045316270}, {"parameter": "(8, 6)", "name": "CKMP2019_Cor_42", "value": 2389143310562561}, {"parameter": "(9, 5)", "name": "CKMP2019_Cor_42", "value": 2393530283203251}, {"parameter": "(10, 4)", "name": "CKMP2019_Cor_42", "value": 2407196057031251}, {"parameter": "(11, 3)", "name": "CKMP2019_Cor_42", "value": 2407196057515626}, {"parameter": "(3, 3, 8)", "name": "CKMP2019_Cor_42", "value": 2384338388692181}, {"parameter": "(3, 4, 7)", "name": "CKMP2019_Cor_42", "value": 2384191894925645}, {"parameter": "(3, 5, 6)", "name": "CKMP2019_Cor_42", "value": 2384216552750061}, {"parameter": "(3, 6, 5)", "name": "CKMP2019_Cor_42", "value": 2384338974609501}, {"parameter": "(3, 7, 4)", "name": "CKMP2019_Cor_42", "value": 2384339851562501}, {"parameter": "(3, 8, 3)", "name": "CKMP2019_Cor_42", "value": 2384338696187501}, {"parameter": "(4, 3, 7)", "name": "CKMP2019_Cor_42", "value": 95373535550645}, {"parameter": "(4, 4, 6)", "name": "CKMP2019_Cor_42", "value": 95367675796936}, {"parameter": "(4, 5, 5)", "name": "CKMP2019_Cor_42", "value": 95368662109501}, {"parameter": "(4, 6, 4)", "name": "CKMP2019_Cor_42", "value": 95373558984376}, {"parameter": "(4, 7, 3)", "name": "CKMP2019_Cor_42", "value": 95373594062501}, {"parameter": "(5, 3, 6)", "name": "CKMP2019_Cor_42", "value": 480652099625061}, {"parameter": "(5, 4, 5)", "name": "CKMP2019_Cor_42", "value": 480651865234501}, {"parameter": "(5, 5, 4)", "name": "CKMP2019_Cor_42", "value": 480651904687501}, {"parameter": "(5, 6, 3)", "name": "CKMP2019_Cor_42", "value": 480652100562501}, {"parameter": "(6, 3, 5)", "name": "CKMP2019_Cor_42", "value": 2393493662109501}, {"parameter": "(6, 4, 4)", "name": "CKMP2019_Cor_42", "value": 2393493652734376}, {"parameter": "(6, 5, 3)", "name": "CKMP2019_Cor_42", "value": 2393493654312501}, {"parameter": "(7, 3, 4)", "name": "CKMP2019_Cor_42", "value": 2407196045312501}, {"parameter": "(7, 4, 3)", "name": "CKMP2019_Cor_42", "value": 2407196044937501}, {"parameter": "(8, 3, 3)", "name": "CKMP2019_Cor_42", "value": 2389143310562501}, {"parameter": "(3, 3, 3, 5)", "name": "CKMP2019_Cor_42", "value": 2384338388672001}, {"parameter": "(3, 3, 4, 4)", "name": "CKMP2019_Cor_42", "value": 2384338379296876}, {"parameter": "(3, 3, 5, 3)", "name": "CKMP2019_Cor_42", "value": 2384338380875001}, {"parameter": "(3, 4, 3, 4)", "name": "CKMP2019_Cor_42", "value": 2384191894921876}, {"parameter": "(3, 4, 4, 3)", "name": "CKMP2019_Cor_42", "value": 2384191894546876}, {"parameter": "(3, 5, 3, 3)", "name": "CKMP2019_Cor_42", "value": 2384216552750001}, {"parameter": "(4, 3, 3, 4)", "name": "CKMP2019_Cor_42", "value": 95373535546876}, {"parameter": "(4, 3, 4, 3)", "name": "CKMP2019_Cor_42", "value": 95373535171876}, {"parameter": "(4, 4, 3, 3)", "name": "CKMP2019_Cor_42", "value": 95367675796876}, {"parameter": "(5, 3, 3, 3)", "name": "CKMP2019_Cor_42", "value": 480652099625001}, {"parameter": "", "name": "construction_1", "value": 2389152844136556}, {"parameter": "3", "name": "linkage_ST", "value": 2407196057515626}, {"parameter": "4", "name": "linkage_ST", "value": 2407196057031251}, {"parameter": "5", "name": "linkage_ST", "value": 2393530283203251}, {"parameter": "6", "name": "linkage_ST", "value": 2389143310562561}, {"parameter": "7", "name": "linkage_ST", "value": 2407196045316270}, {"parameter": "8", "name": "linkage_ST", "value": 2393493662129681}, {"parameter": "9", "name": "linkage_ST", "value": 480652100566251}, {"parameter": "10", "name": "linkage_ST", "value": 95373594062531}, {"parameter": "11", "name": "linkage_ST", "value": 2384339851563306}, {"parameter": "12", "name": "linkage_ST", "value": 3851513692181}, {"parameter": "13", "name": "linkage_ST", "value": 96287842305306}, {"parameter": "3", "name": "construction_D", "value": 2407196057515625}, {"parameter": "4", "name": "construction_D", "value": 2407196057031250}, {"parameter": "5", "name": "construction_D", "value": 2393530283203125}, {"parameter": "6", "name": "construction_D", "value": 2389143310546875}, {"parameter": "7", "name": "construction_D", "value": 2407196044921875}, {"parameter": "8", "name": "construction_D", "value": 2393493652343750}, {"parameter": "9", "name": "construction_D", "value": 480651855468750}, {"parameter": "10", "name": "construction_D", "value": 95367431640625}, {"parameter": "11", "name": "construction_D", "value": 2384185791015625}, {"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": 2384339851563306}, {"parameter": "4", "name": "linkage_GLT", "value": 95373594062531}, {"parameter": "5", "name": "linkage_GLT", "value": 480652100566251}, {"parameter": "6", "name": "linkage_GLT", "value": 2393493662129681}, {"parameter": "7", "name": "linkage_GLT", "value": 2407196045316270}, {"parameter": "8", "name": "linkage_GLT", "value": 2389143310562561}, {"parameter": "9", "name": "linkage_GLT", "value": 2393530283203251}, {"parameter": "10", "name": "linkage_GLT", "value": 2407196057031251}, {"parameter": "11", "name": "linkage_GLT", "value": 2407196057515626}, {"parameter": "3", "name": "improved_linkage", "value": 2388037304707806}, {"parameter": "4", "name": "improved_linkage", "value": 95521492188306}, {"parameter": "5", "name": "improved_linkage", "value": 480658017890656}, {"parameter": "6", "name": "improved_linkage", "value": 2393493897441251}, {"parameter": "7", "name": "improved_linkage", "value": 2407196054707806}, {"parameter": "8", "name": "improved_linkage", "value": 2389143310941270}, {"parameter": "9", "name": "improved_linkage", "value": 2393530283218811}, {"parameter": "10", "name": "improved_linkage", "value": 2407196057031376}, {"parameter": "11", "name": "improved_linkage", "value": 2407196057515626}, {"parameter": "12", "name": "improved_linkage", "value": 481439211522626}, {"parameter": "3,0", "name": "generalized_linkage", "value": 2388961667993736}, {"parameter": "3,1", "name": "generalized_linkage", "value": 2388037304707806}, {"parameter": "4,0", "name": "generalized_linkage", "value": 95558466719711}, {"parameter": "4,1", "name": "generalized_linkage", "value": 95521492188306}, {"parameter": "5,0", "name": "generalized_linkage", "value": 480659453491281}, {"parameter": "5,1", "name": "generalized_linkage", "value": 480658017890656}, {"parameter": "6,0", "name": "generalized_linkage", "value": 2393493955707611}, {"parameter": "6,1", "name": "generalized_linkage", "value": 2393493897441251}, {"parameter": "7,0", "name": "generalized_linkage", "value": 2407196057148120}, {"parameter": "7,1", "name": "generalized_linkage", "value": 2407196054707806}, {"parameter": "8,0", "name": "generalized_linkage", "value": 2389143311033141}, {"parameter": "8,1", "name": "generalized_linkage", "value": 2389143310941270}, {"parameter": "9,0", "name": "generalized_linkage", "value": 2393530283207031}, {"parameter": "9,1", "name": "generalized_linkage", "value": 2393530283218811}, {"parameter": "10,0", "name": "generalized_linkage", "value": 2407196057031281}, {"parameter": "10,1", "name": "generalized_linkage", "value": 2407196057031376}, {"parameter": "11,0", "name": "generalized_linkage", "value": 2407196057515656}, {"parameter": "11,1", "name": "generalized_linkage", "value": 2407196057515626}, {"parameter": "12,1", "name": "generalized_linkage", "value": 481439211522626}, {"parameter": "[3, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2388961667993736}, {"parameter": "[3, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2388037304707806}, {"parameter": "[4, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 95558466719711}, {"parameter": "[4, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95521492188306}, {"parameter": "[5, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 480659453491281}, {"parameter": "[5, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 480658017890656}, {"parameter": "[6, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2393493955707611}, {"parameter": "[6, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2393493897441251}, {"parameter": "[7, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2407196057148120}, {"parameter": "[7, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2407196054707806}, {"parameter": "[8, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2389143311033141}, {"parameter": "[8, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2389143310941270}, {"parameter": "[9, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2393530283207031}, {"parameter": "[9, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2393530283218811}, {"parameter": "[10, 4],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2407196057031281}, {"parameter": "[10, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2407196057031376}, {"parameter": "[11, 3],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2407196057515656}, {"parameter": "[11, 3],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2407196057515626}, {"parameter": "[12, 2],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 481439211522626}, {"parameter": "[3, 2, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 480697443603936}, {"parameter": "[3, 2, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 480842890547836}, {"parameter": "[3, 3, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2388925419904691}, {"parameter": "[3, 3, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2388923613647531}, {"parameter": "[3, 3, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384347783185941}, {"parameter": "[3, 3, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384345976928781}, {"parameter": "[3, 4, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384375379013595}, {"parameter": "[3, 4, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384375303363861}, {"parameter": "[3, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384955212997970}, {"parameter": "[3, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384955137348236}, {"parameter": "[3, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2385139419371121}, {"parameter": "[3, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2385139416523120}, {"parameter": "[3, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2388015395933621}, {"parameter": "[3, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2388015393085620}, {"parameter": "[3, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2388934482542961}, {"parameter": "[3, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2388934482908141}, {"parameter": "[3, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2388037304808586}, {"parameter": "[3, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2388037305173766}, {"parameter": "[3, 7, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2388961667969711}, {"parameter": "[3, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2388961667972656}, {"parameter": "[3, 7, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2388008420313461}, {"parameter": "[3, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2388008420316406}, {"parameter": "[3, 8, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2388925851344711}, {"parameter": "[3, 8, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2388925851343781}, {"parameter": "[3, 8, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2388015439469711}, {"parameter": "[3, 8, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2388015439468781}, {"parameter": "[3, 9, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 477786911019531}, {"parameter": "[3, 9, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 477607460941406}, {"parameter": "[4, 2, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19227894401916}, {"parameter": "[4, 2, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19233672241281}, {"parameter": "[4, 3, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 95557019638595}, {"parameter": "[4, 3, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95556943988861}, {"parameter": "[4, 3, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 95373914169845}, {"parameter": "[4, 3, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95373838520111}, {"parameter": "[4, 4, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 95375015074246}, {"parameter": "[4, 4, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95375012226245}, {"parameter": "[4, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 95398208433621}, {"parameter": "[4, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95398205585620}, {"parameter": "[4, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 95405576292961}, {"parameter": "[4, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95405576658141}, {"parameter": "[4, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 95520615355461}, {"parameter": "[4, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95520615720641}, {"parameter": "[4, 6, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 95557379297836}, {"parameter": "[4, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95557379300781}, {"parameter": "[4, 6, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 95521492188461}, {"parameter": "[4, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95521492191406}, {"parameter": "[4, 7, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 95558466719711}, {"parameter": "[4, 7, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95558466718781}, {"parameter": "[4, 7, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 95520336813461}, {"parameter": "[4, 7, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95520336812531}, {"parameter": "[4, 8, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19111406810781}, {"parameter": "[4, 8, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19104123515781}, {"parameter": "[5, 2, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 96136547966845}, {"parameter": "[5, 2, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96136777973236}, {"parameter": "[5, 3, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 480659438902371}, {"parameter": "[5, 3, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 480659436054370}, {"parameter": "[5, 3, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 480652114683621}, {"parameter": "[5, 3, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 480652111835620}, {"parameter": "[5, 4, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 480652158324211}, {"parameter": "[5, 4, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 480652158689391}, {"parameter": "[5, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 480653086058586}, {"parameter": "[5, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 480653086423766}, {"parameter": "[5, 5, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 480653381250961}, {"parameter": "[5, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 480653381253906}, {"parameter": "[5, 5, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 480657982813461}, {"parameter": "[5, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 480657982816406}, {"parameter": "[5, 6, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 480659453375961}, {"parameter": "[5, 6, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 480659453375031}, {"parameter": "[5, 6, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 480658017891586}, {"parameter": "[5, 6, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 480658017890656}, {"parameter": "[5, 7, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 96131899374406}, {"parameter": "[5, 7, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96131594335156}, {"parameter": "[6, 2, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 478698977526971}, {"parameter": "[6, 2, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 478698986835620}, {"parameter": "[6, 3, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2393493955199211}, {"parameter": "[6, 3, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2393493955564391}, {"parameter": "[6, 3, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2393493662230461}, {"parameter": "[6, 3, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2393493662595641}, {"parameter": "[6, 4, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2393493664454086}, {"parameter": "[6, 4, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2393493664457031}, {"parameter": "[6, 4, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2393493701563461}, {"parameter": "[6, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2393493701566406}, {"parameter": "[6, 5, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2393493713375961}, {"parameter": "[6, 5, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2393493713375031}, {"parameter": "[6, 5, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2393493897438461}, {"parameter": "[6, 5, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2393493897437531}, {"parameter": "[6, 6, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 478698791252031}, {"parameter": "[6, 6, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 478698779768156}, {"parameter": "[7, 2, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 481439218773436}, {"parameter": "[7, 2, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 481439219236266}, {"parameter": "[7, 3, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2407196057032211}, {"parameter": "[7, 3, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2407196057035156}, {"parameter": "[7, 3, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2407196045313461}, {"parameter": "[7, 3, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2407196045316406}, {"parameter": "[7, 4, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2407196045407211}, {"parameter": "[7, 4, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2407196045406281}, {"parameter": "[7, 4, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2407196046891586}, {"parameter": "[7, 4, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2407196046890656}, {"parameter": "[7, 5, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 481439209472656}, {"parameter": "[7, 5, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 481439210945156}, {"parameter": "[8, 2, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 477828662500186}, {"parameter": "[8, 2, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 477828662503906}, {"parameter": "[8, 3, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2389143311032211}, {"parameter": "[8, 3, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2389143311031281}, {"parameter": "[8, 3, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2389143310563461}, {"parameter": "[8, 3, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2389143310562531}, {"parameter": "[8, 4, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 477828662113281}, {"parameter": "[8, 4, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 477828662125156}, {"parameter": "[9, 2, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 478706056656436}, {"parameter": "[9, 2, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 478706056656281}, {"parameter": "[9, 3, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 478706056644531}, {"parameter": "[9, 3, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 478706056640781}, {"parameter": "[10, 2, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96287842281406}, {"parameter": "[3, 2, 2, 7],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 96320020222945}, {"parameter": "[3, 2, 2, 7],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96321400261291}, {"parameter": "[3, 2, 3, 6],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 480697356070476}, {"parameter": "[3, 2, 3, 6],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 480697338982470}, {"parameter": "[3, 2, 3, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 480659514273601}, {"parameter": "[3, 2, 3, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 480659497185595}, {"parameter": "[3, 2, 4, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 480653672601516}, {"parameter": "[3, 2, 4, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 480653674792596}, {"parameter": "[3, 2, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 480690000726516}, {"parameter": "[3, 2, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 480690002917596}, {"parameter": "[3, 2, 5, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 480661010162016}, {"parameter": "[3, 2, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 480661010179686}, {"parameter": "[3, 2, 5, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 480841803130766}, {"parameter": "[3, 2, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 480841803148436}, {"parameter": "[3, 2, 6, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 480697442912016}, {"parameter": "[3, 2, 6, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 480697442906436}, {"parameter": "[3, 2, 6, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 480842890552641}, {"parameter": "[3, 2, 6, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 480842890547061}, {"parameter": "[3, 2, 7, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 96139540777686}, {"parameter": "[3, 2, 7, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96168291576561}, {"parameter": "[3, 3, 2, 6],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 477790861929851}, {"parameter": "[3, 3, 2, 6],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 477791150497970}, {"parameter": "[3, 3, 2, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 476875334586101}, {"parameter": "[3, 3, 2, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 476875623154220}, {"parameter": "[3, 3, 3, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2388925404144291}, {"parameter": "[3, 3, 3, 5],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2388925415464871}, {"parameter": "[3, 3, 3, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2388916322113041}, {"parameter": "[3, 3, 3, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2388916333433621}, {"parameter": "[3, 3, 3, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384347767425541}, {"parameter": "[3, 3, 3, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384347778746121}, {"parameter": "[3, 3, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384338685394291}, {"parameter": "[3, 3, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384338696714871}, {"parameter": "[3, 3, 4, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2388916391045416}, {"parameter": "[3, 3, 4, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2388916391136711}, {"parameter": "[3, 3, 4, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2388917541436041}, {"parameter": "[3, 3, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2388917541527336}, {"parameter": "[3, 3, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384338754326666}, {"parameter": "[3, 3, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384338754417961}, {"parameter": "[3, 3, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384339904717291}, {"parameter": "[3, 3, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384339904808586}, {"parameter": "[3, 3, 5, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2388917907623541}, {"parameter": "[3, 3, 5, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2388917907594711}, {"parameter": "[3, 3, 5, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2388923613561041}, {"parameter": "[3, 3, 5, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2388923613532211}, {"parameter": "[3, 3, 5, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384340270904791}, {"parameter": "[3, 3, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384340270875961}, {"parameter": "[3, 3, 5, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384345976842291}, {"parameter": "[3, 3, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384345976813461}, {"parameter": "[3, 3, 6, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 477785087406711}, {"parameter": "[3, 3, 6, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 477784731406586}, {"parameter": "[3, 3, 6, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 476869560062961}, {"parameter": "[3, 3, 6, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 476869204062836}, {"parameter": "[3, 4, 2, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 476875303460891}, {"parameter": "[3, 4, 2, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 476875317808621}, {"parameter": "[3, 4, 2, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 476991270257766}, {"parameter": "[3, 4, 2, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 476991284605496}, {"parameter": "[3, 4, 3, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384375375420416}, {"parameter": "[3, 4, 3, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384375375511711}, {"parameter": "[3, 4, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384375012139166}, {"parameter": "[3, 4, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384375012230461}, {"parameter": "[3, 4, 3, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384955209404791}, {"parameter": "[3, 4, 3, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384955209496086}, {"parameter": "[3, 4, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384954846123541}, {"parameter": "[3, 4, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384954846214836}, {"parameter": "[3, 4, 4, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384375015045416}, {"parameter": "[3, 4, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384375015016586}, {"parameter": "[3, 4, 4, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384375061061041}, {"parameter": "[3, 4, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384375061032211}, {"parameter": "[3, 4, 4, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384954849029791}, {"parameter": "[3, 4, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384954849000961}, {"parameter": "[3, 4, 4, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384954895045416}, {"parameter": "[3, 4, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384954895016586}, {"parameter": "[3, 4, 5, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 476875015136711}, {"parameter": "[3, 4, 5, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 476875060784211}, {"parameter": "[3, 4, 5, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 476990981933586}, {"parameter": "[3, 4, 5, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 476991027581086}, {"parameter": "[3, 5, 2, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 477027892974516}, {"parameter": "[3, 5, 2, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 477027893089836}, {"parameter": "[3, 5, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 477603088287016}, {"parameter": "[3, 5, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 477603088402336}, {"parameter": "[3, 5, 3, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2385139419342291}, {"parameter": "[3, 5, 3, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2385139419313461}, {"parameter": "[3, 5, 3, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2385139404811041}, {"parameter": "[3, 5, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2385139404782211}, {"parameter": "[3, 5, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2388015395904791}, {"parameter": "[3, 5, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2388015395875961}, {"parameter": "[3, 5, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2388015381373541}, {"parameter": "[3, 5, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2388015381344711}, {"parameter": "[3, 5, 4, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 477027880980461}, {"parameter": "[3, 5, 4, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 477027881348586}, {"parameter": "[3, 5, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 477603076292961}, {"parameter": "[3, 5, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 477603076661086}, {"parameter": "[3, 6, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 477786896974516}, {"parameter": "[3, 6, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 477786896969711}, {"parameter": "[3, 6, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 477607461427641}, {"parameter": "[3, 6, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 477607461422836}, {"parameter": "[3, 6, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 477786896605461}, {"parameter": "[3, 6, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 477786896489211}, {"parameter": "[3, 6, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 477607461058586}, {"parameter": "[3, 6, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 477607460942336}, {"parameter": "[3, 7, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95558466723586}, {"parameter": "[3, 7, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95520336817336}, {"parameter": "[4, 2, 2, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3852800708701}, {"parameter": "[4, 2, 2, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3852856560595}, {"parameter": "[4, 2, 3, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19227891351516}, {"parameter": "[4, 2, 3, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19227893542596}, {"parameter": "[4, 2, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19226377679641}, {"parameter": "[4, 2, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19226379870721}, {"parameter": "[4, 2, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19226146880766}, {"parameter": "[4, 2, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19226146898436}, {"parameter": "[4, 2, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19227600005766}, {"parameter": "[4, 2, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19227600023436}, {"parameter": "[4, 2, 5, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19226440412016}, {"parameter": "[4, 2, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19226440406436}, {"parameter": "[4, 2, 5, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19233672130766}, {"parameter": "[4, 2, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19233672125186}, {"parameter": "[4, 2, 6, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3845579543436}, {"parameter": "[4, 2, 6, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3846743124561}, {"parameter": "[4, 3, 2, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19111631585891}, {"parameter": "[4, 3, 2, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19111645933621}, {"parameter": "[4, 3, 2, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19075010492141}, {"parameter": "[4, 3, 2, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19075024839871}, {"parameter": "[4, 3, 3, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 95557016045416}, {"parameter": "[4, 3, 3, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95557016136711}, {"parameter": "[4, 3, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 95556652764166}, {"parameter": "[4, 3, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95556652855461}, {"parameter": "[4, 3, 3, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 95373910576666}, {"parameter": "[4, 3, 3, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95373910667961}, {"parameter": "[4, 3, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 95373547295416}, {"parameter": "[4, 3, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95373547386711}, {"parameter": "[4, 3, 4, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 95556655670416}, {"parameter": "[4, 3, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95556655641586}, {"parameter": "[4, 3, 4, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 95556701686041}, {"parameter": "[4, 3, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95556701657211}, {"parameter": "[4, 3, 4, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 95373550201666}, {"parameter": "[4, 3, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95373550172836}, {"parameter": "[4, 3, 4, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 95373596217291}, {"parameter": "[4, 3, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95373596188461}, {"parameter": "[4, 3, 5, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19111343261711}, {"parameter": "[4, 3, 5, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19111388909211}, {"parameter": "[4, 3, 5, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19074722167961}, {"parameter": "[4, 3, 5, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19074767815461}, {"parameter": "[4, 4, 2, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19075012115141}, {"parameter": "[4, 4, 2, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19075012230461}, {"parameter": "[4, 4, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19079650787016}, {"parameter": "[4, 4, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19079650902336}, {"parameter": "[4, 4, 3, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 95375015045416}, {"parameter": "[4, 4, 3, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95375015016586}, {"parameter": "[4, 4, 3, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 95375000514166}, {"parameter": "[4, 4, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95375000485336}, {"parameter": "[4, 4, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 95398208404791}, {"parameter": "[4, 4, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95398208375961}, {"parameter": "[4, 4, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 95398193873541}, {"parameter": "[4, 4, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95398193844711}, {"parameter": "[4, 4, 4, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19075000121086}, {"parameter": "[4, 4, 4, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19075000489211}, {"parameter": "[4, 4, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19079638792961}, {"parameter": "[4, 4, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19079639161086}, {"parameter": "[4, 5, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19081115724516}, {"parameter": "[4, 5, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19081115719711}, {"parameter": "[4, 5, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19104123537016}, {"parameter": "[4, 5, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19104123532211}, {"parameter": "[4, 5, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19081115355461}, {"parameter": "[4, 5, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19081115239211}, {"parameter": "[4, 5, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19104123167961}, {"parameter": "[4, 5, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19104123051711}, {"parameter": "[4, 6, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3822295176711}, {"parameter": "[4, 6, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3820859692336}, {"parameter": "[5, 2, 2, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19227597796866}, {"parameter": "[5, 2, 2, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19227600573846}, {"parameter": "[5, 2, 3, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 96136547271391}, {"parameter": "[5, 2, 3, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 96136547289061}, {"parameter": "[5, 2, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 96136486724516}, {"parameter": "[5, 2, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96136486742186}, {"parameter": "[5, 2, 4, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 96136477521391}, {"parameter": "[5, 2, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 96136477515811}, {"parameter": "[5, 2, 4, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 96136535646391}, {"parameter": "[5, 2, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96136535640811}, {"parameter": "[5, 2, 5, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19227297851561}, {"parameter": "[5, 2, 5, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19227355705311}, {"parameter": "[5, 3, 2, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 96131896880766}, {"parameter": "[5, 3, 2, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96131896996086}, {"parameter": "[5, 3, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 96130432037016}, {"parameter": "[5, 3, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96130432152336}, {"parameter": "[5, 3, 3, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 480659438873541}, {"parameter": "[5, 3, 3, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 480659438844711}, {"parameter": "[5, 3, 3, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 480659424342291}, {"parameter": "[5, 3, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 480659424313461}, {"parameter": "[5, 3, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 480652114654791}, {"parameter": "[5, 3, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 480652114625961}, {"parameter": "[5, 3, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 480652100123541}, {"parameter": "[5, 3, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 480652100094711}, {"parameter": "[5, 3, 4, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 96131884886711}, {"parameter": "[5, 3, 4, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96131885254836}, {"parameter": "[5, 3, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 96130420042961}, {"parameter": "[5, 3, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96130420411086}, {"parameter": "[5, 4, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 96130432130766}, {"parameter": "[5, 4, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96130432125961}, {"parameter": "[5, 4, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 96130617677641}, {"parameter": "[5, 4, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96130617672836}, {"parameter": "[5, 4, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 96130431761711}, {"parameter": "[5, 4, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96130431645461}, {"parameter": "[5, 4, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 96130617308586}, {"parameter": "[5, 4, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96130617192336}, {"parameter": "[5, 5, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19226135254836}, {"parameter": "[5, 5, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19226319317336}, {"parameter": "[6, 2, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 95739807032366}, {"parameter": "[6, 2, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95739807054686}, {"parameter": "[6, 2, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 478698977521391}, {"parameter": "[6, 2, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 478698977515811}, {"parameter": "[6, 2, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 478698975099516}, {"parameter": "[6, 2, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 478698975093936}, {"parameter": "[6, 2, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95739794945311}, {"parameter": "[6, 2, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95739795410311}, {"parameter": "[6, 3, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 478698791505766}, {"parameter": "[6, 3, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 478698791500961}, {"parameter": "[6, 3, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 478698732912016}, {"parameter": "[6, 3, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 478698732907211}, {"parameter": "[6, 3, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 478698791136711}, {"parameter": "[6, 3, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 478698791020461}, {"parameter": "[6, 3, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 478698732542961}, {"parameter": "[6, 3, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 478698732426711}, {"parameter": "[6, 4, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95739746582961}, {"parameter": "[6, 4, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95739748067336}, {"parameter": "[7, 2, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 96287844235491}, {"parameter": "[7, 2, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96287844234561}, {"parameter": "[7, 2, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 96287843773436}, {"parameter": "[7, 2, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96287843754061}, {"parameter": "[7, 3, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96287842286086}, {"parameter": "[7, 3, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96287841817336}, {"parameter": "[8, 2, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19113146504061}, {"parameter": "[3, 2, 2, 2, 5],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19265733265571}, {"parameter": "[3, 2, 2, 2, 5],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19265749927451}, {"parameter": "[3, 2, 2, 3, 4],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 96320016050221}, {"parameter": "[3, 2, 2, 3, 4],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 96320016156241}, {"parameter": "[3, 2, 2, 3, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 96319652768971}, {"parameter": "[3, 2, 2, 3, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96319652874991}, {"parameter": "[3, 2, 2, 4, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 96319597550221}, {"parameter": "[3, 2, 2, 4, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 96319597516741}, {"parameter": "[3, 2, 2, 4, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 96319946300221}, {"parameter": "[3, 2, 2, 4, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96319946266741}, {"parameter": "[3, 2, 2, 5, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19263933593741}, {"parameter": "[3, 2, 2, 5, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19264280716241}, {"parameter": "[3, 2, 3, 2, 4],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 96139525815846}, {"parameter": "[3, 2, 3, 2, 4],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96139526507766}, {"parameter": "[3, 2, 3, 2, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 96131957456471}, {"parameter": "[3, 2, 3, 2, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96131958148391}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 480697355897496}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 480697355724516}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 480697268709996}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 480697268537016}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 480659514100621}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 480659513927641}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 480659426913121}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 480659426740141}, {"parameter": "[3, 2, 3, 4, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 96139453851516}, {"parameter": "[3, 2, 3, 4, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96139456060266}, {"parameter": "[3, 2, 3, 4, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 96131885492141}, {"parameter": "[3, 2, 3, 4, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96131887700891}, {"parameter": "[3, 2, 4, 2, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 96130737315846}, {"parameter": "[3, 2, 4, 2, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96130737287016}, {"parameter": "[3, 2, 4, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 96138002940846}, {"parameter": "[3, 2, 4, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96138002912016}, {"parameter": "[3, 2, 4, 3, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 96130735101516}, {"parameter": "[3, 2, 4, 3, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96130734404016}, {"parameter": "[3, 2, 4, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 96138000726516}, {"parameter": "[3, 2, 4, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 96138000029016}, {"parameter": "[3, 2, 5, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19226440435266}, {"parameter": "[3, 2, 5, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19233672154016}, {"parameter": "[3, 3, 2, 2, 4],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 95558529722096}, {"parameter": "[3, 3, 2, 2, 4],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95558530414016}, {"parameter": "[3, 3, 2, 2, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 95375424253346}, {"parameter": "[3, 3, 2, 2, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95375424945266}, {"parameter": "[3, 3, 2, 3, 3],[0, 0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 477790861756871}, {"parameter": "[3, 3, 2, 3, 3],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 477790861583891}, {"parameter": "[3, 3, 2, 3, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 477790786678746}, {"parameter": "[3, 3, 2, 3, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 477790786505766}, {"parameter": "[3, 3, 2, 3, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 476875334413121}, {"parameter": "[3, 3, 2, 3, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 476875334240141}, {"parameter": "[3, 3, 2, 3, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 476875259334996}, {"parameter": "[3, 3, 2, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 476875259162016}, {"parameter": "[3, 3, 2, 4, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95558155023391}, {"parameter": "[3, 3, 2, 4, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95558169438391}, {"parameter": "[3, 3, 2, 4, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95375049554641}, {"parameter": "[3, 3, 2, 4, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95375063969641}, {"parameter": "[3, 3, 3, 2, 3],[0, 0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 477785095272496}, {"parameter": "[3, 3, 3, 2, 3],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 477785095123541}, {"parameter": "[3, 3, 3, 2, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 477783278866246}, {"parameter": "[3, 3, 3, 2, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 477783278717291}, {"parameter": "[3, 3, 3, 2, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 476869567928746}, {"parameter": "[3, 3, 3, 2, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 476869567779791}, {"parameter": "[3, 3, 3, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 476867751522496}, {"parameter": "[3, 3, 3, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 476867751373541}, {"parameter": "[3, 3, 3, 3, 2],[0, 0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 477785083831791}, {"parameter": "[3, 3, 3, 3, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 477785080228041}, {"parameter": "[3, 3, 3, 3, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 477783267425541}, {"parameter": "[3, 3, 3, 3, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 477783263821791}, {"parameter": "[3, 3, 3, 3, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 476869556488041}, {"parameter": "[3, 3, 3, 3, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 476869552884291}, {"parameter": "[3, 3, 3, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 476867740081791}, {"parameter": "[3, 3, 3, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 476867736478041}, {"parameter": "[3, 3, 4, 2, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95556655790541}, {"parameter": "[3, 3, 4, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95556701806166}, {"parameter": "[3, 3, 4, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95373550321791}, {"parameter": "[3, 3, 4, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95373596337416}, {"parameter": "[3, 4, 2, 2, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 95375075597096}, {"parameter": "[3, 4, 2, 2, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95375075568266}, {"parameter": "[3, 4, 2, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 95398268956471}, {"parameter": "[3, 4, 2, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95398268927641}, {"parameter": "[3, 4, 2, 3, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95375061273391}, {"parameter": "[3, 4, 2, 3, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95375060672766}, {"parameter": "[3, 4, 2, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95398254632766}, {"parameter": "[3, 4, 2, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95398254032141}, {"parameter": "[3, 4, 3, 2, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95375015165541}, {"parameter": "[3, 4, 3, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95375000634291}, {"parameter": "[3, 4, 3, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95398208524916}, {"parameter": "[3, 4, 3, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95398193993666}, {"parameter": "[3, 5, 2, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19081115844641}, {"parameter": "[3, 5, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19104123657141}, {"parameter": "[4, 2, 2, 2, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 770629303571}, {"parameter": "[4, 2, 2, 2, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 770629437491}, {"parameter": "[4, 2, 2, 3, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3852800675221}, {"parameter": "[4, 2, 2, 3, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3852800641741}, {"parameter": "[4, 2, 2, 3, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3852786143971}, {"parameter": "[4, 2, 2, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3852786110491}, {"parameter": "[4, 2, 2, 4, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 770556781241}, {"parameter": "[4, 2, 2, 4, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 770559571241}, {"parameter": "[4, 2, 3, 2, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3845581065846}, {"parameter": "[4, 2, 3, 2, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3845581037016}, {"parameter": "[4, 2, 3, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3845278331471}, {"parameter": "[4, 2, 3, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3845278302641}, {"parameter": "[4, 2, 3, 3, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3845578851516}, {"parameter": "[4, 2, 3, 3, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3845578154016}, {"parameter": "[4, 2, 3, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3845276117141}, {"parameter": "[4, 2, 3, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3845275419641}, {"parameter": "[4, 2, 4, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 769045904016}, {"parameter": "[4, 2, 4, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 769104029016}, {"parameter": "[4, 3, 2, 2, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3822341222096}, {"parameter": "[4, 3, 2, 2, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3822341193266}, {"parameter": "[4, 3, 2, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3815017003346}, {"parameter": "[4, 3, 2, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3815016974516}, {"parameter": "[4, 3, 2, 3, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3822326898391}, {"parameter": "[4, 3, 2, 3, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3822326297766}, {"parameter": "[4, 3, 2, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3815002679641}, {"parameter": "[4, 3, 2, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3815002079016}, {"parameter": "[4, 3, 3, 2, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3822280790541}, {"parameter": "[4, 3, 3, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3822266259291}, {"parameter": "[4, 3, 3, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3814956571791}, {"parameter": "[4, 3, 3, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3814942040541}, {"parameter": "[4, 4, 2, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 763000610266}, {"parameter": "[4, 4, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 763186157141}, {"parameter": "[5, 2, 2, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3845522444196}, {"parameter": "[5, 2, 2, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3845522438616}, {"parameter": "[5, 2, 2, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3845519671866}, {"parameter": "[5, 2, 2, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3845519555616}, {"parameter": "[5, 2, 3, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3845461919641}, {"parameter": "[5, 2, 3, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3845459497766}, {"parameter": "[5, 3, 2, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3845276000891}, {"parameter": "[5, 3, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3845217407141}, {"parameter": "[6, 2, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3829592305616}, {"parameter": "[3, 2, 2, 2, 2, 3],[0, 1, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3853163962051}, {"parameter": "[3, 2, 2, 2, 2, 3],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3853163928571}, {"parameter": "[3, 2, 2, 2, 3, 2],[0, 1, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3853147328071}, {"parameter": "[3, 2, 2, 2, 3, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3853146630571}, {"parameter": "[3, 2, 2, 3, 2, 2],[0, 1, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3852800814721}, {"parameter": "[3, 2, 2, 3, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3852786283471}, {"parameter": "[3, 2, 3, 2, 2, 2],[0, 1, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3845581786596}, {"parameter": "[3, 2, 3, 2, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3845279052221}, {"parameter": "[3, 3, 2, 2, 2, 2],[0, 0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3822341942846}, {"parameter": "[3, 3, 2, 2, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3815017724096}, {"parameter": "[4, 2, 2, 2, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 30825318071}, {"parameter": "", "name": "JohnsonLB", "value": 2385479139426873}, {"parameter": "", "name": "EF_Kurz2020_linkage_special", "value": 2407196057636556}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 1271565755}], "request": [5, 14, 4, 3], "liftedmrdsizebound": 2389152844136556, "comments": "", "equal_bound_constraints": []}