{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 518946525150879134496915}, {"parameter": "", "name": "singleton", "value": 251413193158549532435}, {"parameter": "6", "name": "ilp_2", "value": 126726868168712853357}, {"parameter": "8", "name": "ilp_3", "value": 2035084412356388762733}, {"parameter": "", "name": "anticode", "value": 126726868168712853357}, {"parameter": "", "name": "linear_programming_bound", "value": 126726868168712853357}, {"parameter": "", "name": "sphere_packing", "value": 518946525150879134496915}, {"parameter": "1", "name": "ilp_1", "value": 126664970923498783229}, {"parameter": "2", "name": "ilp_1", "value": 126664970923498784277}, {"parameter": "3", "name": "ilp_1", "value": 126664970923501000732}, {"parameter": "4", "name": "ilp_1", "value": 126664970928342846436}, {"parameter": "5", "name": "ilp_1", "value": 126664982260682716449}, {"parameter": "9", "name": "ilp_4", "value": 2019154201692150885921}, {"parameter": "10", "name": "ilp_4", "value": 2019060769371539520074}, {"parameter": "11", "name": "ilp_4", "value": 2019059411476308358309}, {"parameter": "12", "name": "ilp_4", "value": 2019059409135614143852}, {"parameter": "13", "name": "ilp_4", "value": 2019059409117896766084}, {"parameter": "14", "name": "ilp_4", "value": 2019059409117896766084}, {"parameter": "15", "name": "ilp_4", "value": 1015539290524262246042}, {"parameter": "16", "name": "ilp_4", "value": 506287842196589994481}, {"parameter": "17", "name": "ilp_4", "value": 253515644919823710062}, {"parameter": "", "name": "johnson_1", "value": 126664970923498783229}, {"parameter": "", "name": "johnson_2", "value": 253515644919823710062}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 518946525150879134496915}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 2035084412356388762733}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 2019154201692150885921}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 2019060769371539520074}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 2019059411476308358309}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 2019059409135614143852}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 2019059409117896766084}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 2019059409117896766084}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1015539290524262246042}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 506287842196589994481}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 253515644919823710062}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 126726868168712853357}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 126757578666269793343}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 126819044336613480962}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 126942154681801311062}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 127189093827686882001}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 127685865584367704682}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 128691142420066995259}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 130749943348671991558}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 135071697447737198768}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 144632973418045707792}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 168486116400825351016}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 251413193158549532435}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 518946525150879134496915}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 126726868168712853357}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 126664982260682716449}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 126664970928342846436}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 126664970923501000732}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 126664970923498784277}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 126664970923498783229}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 2035084412356388762733}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 2043092626219324936800}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 2059299631448568254376}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 2092497457927502276737}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 2162211170445149224631}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 2316568940929846733605}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 2702413300322446655104}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 4052305562169692070035}, {"parameter": "", "name": "improved_johnson", "value": 126664970923498783229}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 1017542206178194381366}], "known_codes": [], "upper_bound": 126664970923498783229, "classified": false, "lower_bound": 82302571633443282819, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 73786976294838206464}, {"parameter": "", "name": "sphere_covering", "value": 998091170600549554}, {"parameter": "", "name": "graham_sloane", "value": 1979631442193303405}, {"parameter": "", "name": "multicomponent", "value": 73804995091662651393}, {"parameter": "", "name": "construction_ST_B", "value": 79028921070004469760}, {"parameter": "q^66 + q^62 + q^60 + 8*q^58 + 2*q^56 + 9*q^54 + 4*q^53 + 7*q^52 + 10*q^51 + 28*q^50 + q^49 + 8*q^48 + 3*q^47 + 29*q^46 + 11*q^45 + 25*q^44 + 18*q^43 + 77*q^42 + 12*q^41 + 28*q^40 + 13*q^39 + 76*q^38 + 54*q^37 + 65*q^36 + 43*q^35 + 74*q^34 + 17*q^33 + 32*q^32 + 14*q^31 + 72*q^30 + 48*q^29 + 53*q^28 + 30*q^27 + 58*q^26 + 23*q^25 + 21*q^24 + 16*q^23 + 54*q^22 + 36*q^21 + 25*q^20 + 11*q^19 + 14*q^18 + 10*q^17 + 11*q^16 + 7*q^15 + 15*q^14 + 9*q^13 + 18*q^12 + 4*q^11 + 5*q^10 + 6*q^9 + 5*q^8 + 7*q^7 + 4*q^6 + 4*q^5 + q^4 + 2*q^3 + 2*q^2", "name": "greedy_multicomponent", "value": 82291970549255555624}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 73833288689652073472}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 78751219482740655104}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 79028921119379602024}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 82302571633443282819}, {"parameter": "", "name": "two_pivot_block_construction", "value": 78706103356577808384}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 10600320468254066495}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 79032764138023836865}, {"parameter": "(11,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 75163924743419749376}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 75163924734829814784}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 75163924726508315648}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 75163924726240404480}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1398983890151634944}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1398983896594085888}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1398983889077893120}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1398983888012539904}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 3073828438992888832}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 3073828443153638400}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 3073828443153638400}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 3073828438992888832}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 6721664690740069376}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 6721664691805422592}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 6721664699321615360}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 6721664692879164416}, {"parameter": "(7,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 10527037550682178560}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 10527037550950089728}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 10527037559271588864}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 10527037567861523456}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 75163924726239880192}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 1398983888004151296}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 3073828438858671104}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 6721664690731680768}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 10527037550681654272}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 75163924726239880192}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 1398983888004151296}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 3073828438858671104}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 6721664690731680768}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 10527037550681654272}, {"parameter": "7", "name": "linkage_GLT", "value": 73786976294840589505}, {"parameter": "8", "name": "linkage_GLT", "value": 1152921504606870846}, {"parameter": "9", "name": "linkage_GLT", "value": 3044433348102455465}, {"parameter": "10", "name": "linkage_GLT", "value": 6718807694083358721}, {"parameter": "11", "name": "linkage_GLT", "value": 10480725155867787265}, {"parameter": "7", "name": "improved_linkage", "value": 73807268688256780687}, {"parameter": "8", "name": "improved_linkage", "value": 1153239036811643631}, {"parameter": "9", "name": "improved_linkage", "value": 3044438323961488384}, {"parameter": "10", "name": "improved_linkage", "value": 6718807732655909365}, {"parameter": "11", "name": "improved_linkage", "value": 10480725156167557229}, {"parameter": "12", "name": "improved_linkage", "value": 10300017567986900161}, {"parameter": "13", "name": "improved_linkage", "value": 10354240221473692990}, {"parameter": "14", "name": "improved_linkage", "value": 10435132722958565545}, {"parameter": "15", "name": "improved_linkage", "value": 5202447643388395521}, {"parameter": "16", "name": "improved_linkage", "value": 2597426357577500545}, {"parameter": "7,0", "name": "generalized_linkage", "value": 75163924726239880192}, {"parameter": "7,1", "name": "generalized_linkage", "value": 74156517570506053824}, {"parameter": "7,2", "name": "generalized_linkage", "value": 73880370314522716584}, {"parameter": "7,3", "name": "generalized_linkage", "value": 73809098964099315712}, {"parameter": "7,4", "name": "generalized_linkage", "value": 73789199020271783049}, {"parameter": "7,5", "name": "generalized_linkage", "value": 73807268688256780687}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1398983888004151296}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1205718479529117376}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1159425555981618696}, {"parameter": "8,3", "name": "generalized_linkage", "value": 1153680843838844446}, {"parameter": "8,4", "name": "generalized_linkage", "value": 1152996142492343296}, {"parameter": "8,5", "name": "generalized_linkage", "value": 1153239036811643631}, {"parameter": "9,0", "name": "generalized_linkage", "value": 3073828438858671104}, {"parameter": "9,1", "name": "generalized_linkage", "value": 3048909203108428416}, {"parameter": "9,2", "name": "generalized_linkage", "value": 3044870250893079400}, {"parameter": "9,3", "name": "generalized_linkage", "value": 3044458132483621566}, {"parameter": "9,4", "name": "generalized_linkage", "value": 3044434543851525291}, {"parameter": "9,5", "name": "generalized_linkage", "value": 3044438323961488384}, {"parameter": "10,0", "name": "generalized_linkage", "value": 6721664690731680768}, {"parameter": "10,1", "name": "generalized_linkage", "value": 6719068339534221504}, {"parameter": "10,2", "name": "generalized_linkage", "value": 6718825683263349040}, {"parameter": "10,3", "name": "generalized_linkage", "value": 6718808501243175830}, {"parameter": "10,4", "name": "generalized_linkage", "value": 6718807712968866515}, {"parameter": "10,5", "name": "generalized_linkage", "value": 6718807732655909365}, {"parameter": "11,0", "name": "generalized_linkage", "value": 10527037550681654272}, {"parameter": "11,1", "name": "generalized_linkage", "value": 10480737665210323648}, {"parameter": "11,2", "name": "generalized_linkage", "value": 10480725672211098280}, {"parameter": "11,3", "name": "generalized_linkage", "value": 10480725172101440084}, {"parameter": "11,4", "name": "generalized_linkage", "value": 10480725156170433471}, {"parameter": "11,5", "name": "generalized_linkage", "value": 10480725156167557229}, {"parameter": "12,1", "name": "generalized_linkage", "value": 10300118331685810880}, {"parameter": "12,2", "name": "generalized_linkage", "value": 10300017580287386216}, {"parameter": "12,3", "name": "generalized_linkage", "value": 10300017568214836742}, {"parameter": "12,4", "name": "generalized_linkage", "value": 10300017567987548610}, {"parameter": "12,5", "name": "generalized_linkage", "value": 10300017567986900161}, {"parameter": "13,2", "name": "generalized_linkage", "value": 10354240270848801384}, {"parameter": "13,3", "name": "generalized_linkage", "value": 10354240221476397462}, {"parameter": "13,4", "name": "generalized_linkage", "value": 10354240221473690583}, {"parameter": "13,5", "name": "generalized_linkage", "value": 10354240221473692990}, {"parameter": "14,3", "name": "generalized_linkage", "value": 10435132722964024726}, {"parameter": "14,4", "name": "generalized_linkage", "value": 10435132722958565503}, {"parameter": "14,5", "name": "generalized_linkage", "value": 10435132722958565545}, {"parameter": "15,4", "name": "generalized_linkage", "value": 5202447643388395647}, {"parameter": "15,5", "name": "generalized_linkage", "value": 5202447643388395521}, {"parameter": "16,5", "name": "generalized_linkage", "value": 2597426357577500545}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 75163924726239880192}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 74156517570506053824}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73880370314522716584}, {"parameter": "[7, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 73809098964099315712}, {"parameter": "[7, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 73789199020271783049}, {"parameter": "[7, 11],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 73807268688256780687}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1398983888004151296}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1205718479529117376}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1159425555981618696}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1153680843838844446}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1152996142492343296}, {"parameter": "[8, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1153239036811643631}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3073828438858671104}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3048909203108428416}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3044870250893079400}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3044458132483621566}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3044434543851525291}, {"parameter": "[9, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3044438323961488384}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6721664690731680768}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6719068339534221504}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6718825683263349040}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6718808501243175830}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6718807712968866515}, {"parameter": "[10, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 6718807732655909365}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 10527037550681654272}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 10480737665210323648}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 10480725672211098280}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 10480725172101440084}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 10480725156170433471}, {"parameter": "[11, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 10480725156167557229}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 10300118331685810880}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 10300017580287386216}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 10300017568214836742}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 10300017567987548610}, {"parameter": "[12, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 10300017567986900161}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 10354240270848801384}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 10354240221476397462}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 10354240221473690583}, {"parameter": "[13, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 10354240221473692990}, {"parameter": "[14, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 10435132722964024726}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 10435132722958565503}, {"parameter": "[14, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 10435132722958565545}, {"parameter": "[15, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5202447643388395647}, {"parameter": "[15, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5202447643388395521}, {"parameter": "[16, 2],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 2597426357577500545}, {"parameter": "[7, 2, 9],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 2336356625515937792}, {"parameter": "[7, 2, 9],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 2337649767593424896}, {"parameter": "[7, 2, 9],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 3700805839124849664}, {"parameter": "[7, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 4623123206444679168}, {"parameter": "[7, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 4626155561057124352}, {"parameter": "[7, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4627448703134611456}, {"parameter": "[7, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5990604774666036224}, {"parameter": "[7, 3, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 4621434356584415232}, {"parameter": "[7, 3, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 4624466711196860416}, {"parameter": "[7, 3, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 4625759853274347520}, {"parameter": "[7, 3, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 5988915924805772288}, {"parameter": "[7, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 10454684238723678208}, {"parameter": "[7, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 9252392614823460864}, {"parameter": "[7, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 9255424969435906048}, {"parameter": "[7, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 9256718111513393152}, {"parameter": "[7, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 10619874183044817920}, {"parameter": "[7, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 10435161310260887552}, {"parameter": "[7, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 9232869686360670208}, {"parameter": "[7, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 9235902040973115392}, {"parameter": "[7, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 9237195183050602496}, {"parameter": "[7, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 10600351254582027264}, {"parameter": "[7, 4, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 10435873793795686400}, {"parameter": "[7, 4, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 9233582169895469056}, {"parameter": "[7, 4, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 9236614524507914240}, {"parameter": "[7, 4, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 9237907666585401344}, {"parameter": "[7, 4, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 10601063738116826112}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 10518324246617260032}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9316032622717042688}, {"parameter": "[7, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 9319064977329487872}, {"parameter": "[7, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 9320358119406974976}, {"parameter": "[7, 5, 6],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 10683514190938399744}, {"parameter": "[7, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 10435283287332093952}, {"parameter": "[7, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 9232991663431876608}, {"parameter": "[7, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 9236024018044321792}, {"parameter": "[7, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 9237317160121808896}, {"parameter": "[7, 5, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 10600473231653233664}, {"parameter": "[7, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 10435171171505799168}, {"parameter": "[7, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 9232879547605581824}, {"parameter": "[7, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 9235911902218027008}, {"parameter": "[7, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 9237205044295514112}, {"parameter": "[7, 5, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 10600361115826938880}, {"parameter": "[7, 5, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 10435950690890153984}, {"parameter": "[7, 5, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 9233659066989936640}, {"parameter": "[7, 5, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 9236691421602381824}, {"parameter": "[7, 5, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 9237984563679868928}, {"parameter": "[7, 5, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 10601140635211293696}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 9691143826440314880}, {"parameter": "[7, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 9554799964306122752}, {"parameter": "[7, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 9554578662511807488}, {"parameter": "[7, 6, 5],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 9568078071965038592}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9360880102158753792}, {"parameter": "[7, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 9224536240024561664}, {"parameter": "[7, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 9224314938230246400}, {"parameter": "[7, 6, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 9237814347683477504}, {"parameter": "[7, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 9360431846622617600}, {"parameter": "[7, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 9224087984488425472}, {"parameter": "[7, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 9223866682694110208}, {"parameter": "[7, 6, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 9237366092147341312}, {"parameter": "[7, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 9360275004080644096}, {"parameter": "[7, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 9223931141946451968}, {"parameter": "[7, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 9223709840152136704}, {"parameter": "[7, 6, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 9237209249605367808}, {"parameter": "[7, 6, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 9360869843897802752}, {"parameter": "[7, 6, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 9224525981763610624}, {"parameter": "[7, 6, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 9224304679969295360}, {"parameter": "[7, 6, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 9237804089422526464}, {"parameter": "[7, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 10437699473746081792}, {"parameter": "[7, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 10435134568615623680}, {"parameter": "[7, 7, 4],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 10435228174074315776}, {"parameter": "[7, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 9228526249753360384}, {"parameter": "[7, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 9225961344622902272}, {"parameter": "[7, 7, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 9226054950081594368}, {"parameter": "[7, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 9226799125040379904}, {"parameter": "[7, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 9224234219909921792}, {"parameter": "[7, 7, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 9224327825368613888}, {"parameter": "[7, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 9226163549060642816}, {"parameter": "[7, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 9223598643930184704}, {"parameter": "[7, 7, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 9223692249388876800}, {"parameter": "[7, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 9225975969859942400}, {"parameter": "[7, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 9223411064729484288}, {"parameter": "[7, 7, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 9223504670188176384}, {"parameter": "[7, 7, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 9226569649847187456}, {"parameter": "[7, 7, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 9224004744716729344}, {"parameter": "[7, 7, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 9224098350175421440}, {"parameter": "[7, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4621161548779805696}, {"parameter": "[7, 8, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4621153459419177984}, {"parameter": "[7, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4615108040770116608}, {"parameter": "[7, 8, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 4615099951409488896}, {"parameter": "[7, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4612641605117205504}, {"parameter": "[7, 8, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 4612633515756577792}, {"parameter": "[7, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4611868274084174848}, {"parameter": "[7, 8, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 4611860184723547136}, {"parameter": "[7, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4611729065617234944}, {"parameter": "[7, 8, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 4611720976256607232}, {"parameter": "[7, 8, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 4612326658269256704}, {"parameter": "[7, 8, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 4612318568908628992}, {"parameter": "[7, 9, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 2318342804817929216}, {"parameter": "[7, 9, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 2309610080549708800}, {"parameter": "[7, 9, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 2306582140922062848}, {"parameter": "[7, 9, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 2306014182515009280}, {"parameter": "[7, 9, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 2305878148030545280}, {"parameter": "[7, 9, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 2306480496981402624}, {"parameter": "[8, 2, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 37629751889887232}, {"parameter": "[8, 2, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 38052397793502208}, {"parameter": "[8, 2, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 282372655392978944}, {"parameter": "[8, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 241016991194808320}, {"parameter": "[8, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 73443044629807104}, {"parameter": "[8, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 73865690533422080}, {"parameter": "[8, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 318185948132898816}, {"parameter": "[8, 3, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 240955418543652864}, {"parameter": "[8, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 73381471978651648}, {"parameter": "[8, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 73804117882266624}, {"parameter": "[8, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 318124375481743360}, {"parameter": "[8, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 241627426306654208}, {"parameter": "[8, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 74053479741652992}, {"parameter": "[8, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 74476125645267968}, {"parameter": "[8, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 318796383244744704}, {"parameter": "[8, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 240951535893217280}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 73377589328216064}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 73800235231831040}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 318120492831307776}, {"parameter": "[8, 4, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 240956827292925952}, {"parameter": "[8, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 73382880727924736}, {"parameter": "[8, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 73805526631539712}, {"parameter": "[8, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 318125784231016448}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 246775213046366208}, {"parameter": "[8, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 79201266481364992}, {"parameter": "[8, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79623912384979968}, {"parameter": "[8, 5, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 323944169984456704}, {"parameter": "[8, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 240956304917528576}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 73382358352527360}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 73805004256142336}, {"parameter": "[8, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 318125261855619072}, {"parameter": "[8, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 240951700981022720}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 73377754416021504}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 73800400319636480}, {"parameter": "[8, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 318120657919113216}, {"parameter": "[8, 5, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 240957428051476480}, {"parameter": "[8, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 73383481486475264}, {"parameter": "[8, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 73806127390090240}, {"parameter": "[8, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 318126384989566976}, {"parameter": "[8, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 127695122638923776}, {"parameter": "[8, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 118551539309497344}, {"parameter": "[8, 6, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 120262739797304320}, {"parameter": "[8, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 81277604181665792}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 72134020852239360}, {"parameter": "[8, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 73845221340046336}, {"parameter": "[8, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 81239079763666944}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 72095496434240512}, {"parameter": "[8, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 73806696922047488}, {"parameter": "[8, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 81232853562648576}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 72089270233222144}, {"parameter": "[8, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 73800470721029120}, {"parameter": "[8, 6, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 81237100276574208}, {"parameter": "[8, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 72093516947147776}, {"parameter": "[8, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 73804717434954752}, {"parameter": "[8, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 241023179553856512}, {"parameter": "[8, 7, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 240961328933815296}, {"parameter": "[8, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 72492745438092288}, {"parameter": "[8, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 72430894818051072}, {"parameter": "[8, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 72189829299526656}, {"parameter": "[8, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 72127978679485440}, {"parameter": "[8, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 72137452015213568}, {"parameter": "[8, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 72075601395172352}, {"parameter": "[8, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 72130338750798848}, {"parameter": "[8, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 72068488130757632}, {"parameter": "[8, 7, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 72134664525749248}, {"parameter": "[8, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 72072813905708032}, {"parameter": "[8, 8, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 37358585349850112}, {"parameter": "[8, 8, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 36518368784098304}, {"parameter": "[8, 8, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 36105397014928384}, {"parameter": "[8, 8, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 36045110261413632}, {"parameter": "[8, 8, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 36039681013970304}, {"parameter": "[8, 8, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 36044042742120064}, {"parameter": "[9, 2, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 117406677552201728}, {"parameter": "[9, 2, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 95316875622974464}, {"parameter": "[9, 2, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 124538030930928640}, {"parameter": "[9, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 117403344657580032}, {"parameter": "[9, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 95313542728352768}, {"parameter": "[9, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 124534698036306944}, {"parameter": "[9, 3, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 117402313865428992}, {"parameter": "[9, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 95312511936201728}, {"parameter": "[9, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 124533667244155904}, {"parameter": "[9, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 117424473212321792}, {"parameter": "[9, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 95334671283094528}, {"parameter": "[9, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 124555826591048704}, {"parameter": "[9, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 117402287827189760}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 95312485897962496}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 124533641205916672}, {"parameter": "[9, 4, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 117402324871282688}, {"parameter": "[9, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 95312522942055424}, {"parameter": "[9, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 124533678250009600}, {"parameter": "[9, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 117786767880486912}, {"parameter": "[9, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 95696965951259648}, {"parameter": "[9, 5, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 124918121259213824}, {"parameter": "[9, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 117402452894023680}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 95312650964796416}, {"parameter": "[9, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 124533806272750592}, {"parameter": "[9, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 117402290492669952}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 95312488563442688}, {"parameter": "[9, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 124533643871396864}, {"parameter": "[9, 5, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 117402329564708864}, {"parameter": "[9, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 95312527635481600}, {"parameter": "[9, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 124533682943435776}, {"parameter": "[9, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 98732506345540608}, {"parameter": "[9, 6, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 98384635449017344}, {"parameter": "[9, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 95663352288414720}, {"parameter": "[9, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 95315481391891456}, {"parameter": "[9, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 95660577399770112}, {"parameter": "[9, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 95312706503246848}, {"parameter": "[9, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 95660360596655104}, {"parameter": "[9, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 95312489700131840}, {"parameter": "[9, 6, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 95660387516730368}, {"parameter": "[9, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 95312516620207104}, {"parameter": "[9, 7, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 117576214953952256}, {"parameter": "[9, 7, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 95336478809842688}, {"parameter": "[9, 7, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 95316443551520768}, {"parameter": "[9, 7, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 95312730187517440}, {"parameter": "[9, 7, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 95312487032370048}, {"parameter": "[9, 7, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 95312515947018880}, {"parameter": "[10, 2, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 107838401228112896}, {"parameter": "[10, 2, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 107838401228112896}, {"parameter": "[10, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 107838383779808256}, {"parameter": "[10, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 107838383779808256}, {"parameter": "[10, 3, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 107838367136809984}, {"parameter": "[10, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 107838367136809984}, {"parameter": "[10, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 107839077194728448}, {"parameter": "[10, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 107839077194728448}, {"parameter": "[10, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 107838367000495104}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 107838367000495104}, {"parameter": "[10, 4, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 107838367222793216}, {"parameter": "[10, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 107838367222793216}, {"parameter": "[10, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 107850714364183552}, {"parameter": "[10, 5, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 107850714364183552}, {"parameter": "[10, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 107838372417799168}, {"parameter": "[10, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 107838372417799168}, {"parameter": "[10, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 107838367042814976}, {"parameter": "[10, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 107838367042814976}, {"parameter": "[10, 5, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 107838367259460608}, {"parameter": "[10, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 107838367259460608}, {"parameter": "[10, 6, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 108035778807489536}, {"parameter": "[10, 6, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 107838463333185536}, {"parameter": "[10, 6, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 107838374195349248}, {"parameter": "[10, 6, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 107838367060862208}, {"parameter": "[10, 6, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 107838367173403776}, {"parameter": "[11, 2, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 128193060362519552}, {"parameter": "[11, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 128193060360422400}, {"parameter": "[11, 3, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 128193060096181248}, {"parameter": "[11, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 128193071236613120}, {"parameter": "[11, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 128193060096164864}, {"parameter": "[11, 4, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 128193060096852992}, {"parameter": "[11, 5, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 128193451170674688}, {"parameter": "[11, 5, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 128193060181135104}, {"parameter": "[11, 5, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 128193060096831360}, {"parameter": "[11, 5, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 128193060097139456}, {"parameter": "[7, 2, 5, 4],[0, 5, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1293845894252199936}, {"parameter": "[7, 2, 5, 4],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1284452990940479488}, {"parameter": "[7, 2, 5, 4],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1296878248864645120}, {"parameter": "[7, 2, 6, 3],[0, 5, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 82309286777454592}, {"parameter": "[7, 2, 6, 3],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 82161367040262144}, {"parameter": "[7, 2, 6, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 82309286777454592}, {"parameter": "[7, 2, 6, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 82161367040262144}, {"parameter": "[7, 2, 7, 2],[0, 5, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 82161367040262144}, {"parameter": "[7, 2, 7, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 72768463728541696}, {"parameter": "[7, 2, 7, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 85193721652707328}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1293313730624356352}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1293313730624356352}, {"parameter": "[7, 3, 4, 4],[0, 5, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1293287342345289728}, {"parameter": "[7, 3, 4, 4],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1293287342345289728}, {"parameter": "[7, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 91022106724139008}, {"parameter": "[7, 3, 5, 3],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 91022106724139008}, {"parameter": "[7, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 91022106724139008}, {"parameter": "[7, 3, 5, 3],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 91022106724139008}, {"parameter": "[7, 3, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 90995718445072384}, {"parameter": "[7, 3, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 90995718445072384}, {"parameter": "[7, 3, 5, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 90995718445072384}, {"parameter": "[7, 3, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 90995718445072384}, {"parameter": "[7, 3, 6, 2],[0, 4, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 91022106724139008}, {"parameter": "[7, 3, 6, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 81629203412418560}, {"parameter": "[7, 3, 6, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 94054461336584192}, {"parameter": "[7, 3, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 90995718445072384}, {"parameter": "[7, 3, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 81602815133351936}, {"parameter": "[7, 3, 6, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 94028073057517568}, {"parameter": "[7, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2495727331595780096}, {"parameter": "[7, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2495574808717164544}, {"parameter": "[7, 4, 3, 4],[0, 5, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2495580374994780160}, {"parameter": "[7, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1293435707695562752}, {"parameter": "[7, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1293435707695562752}, {"parameter": "[7, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1293283184816947200}, {"parameter": "[7, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1293283184816947200}, {"parameter": "[7, 4, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1293288751094562816}, {"parameter": "[7, 4, 4, 3],[0, 5, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1293288751094562816}, {"parameter": "[7, 4, 5, 2],[0, 3, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1293435707695562752}, {"parameter": "[7, 4, 5, 2],[0, 3, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1284042804383842304}, {"parameter": "[7, 4, 5, 2],[0, 3, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1296468062308007936}, {"parameter": "[7, 4, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1293283184816947200}, {"parameter": "[7, 4, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1283890281505226752}, {"parameter": "[7, 4, 5, 2],[0, 4, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1296315539429392384}, {"parameter": "[7, 4, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1293288751094562816}, {"parameter": "[7, 4, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1283895847782842368}, {"parameter": "[7, 4, 5, 2],[0, 5, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1296321105707008000}, {"parameter": "[8, 2, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 170780254353358848}, {"parameter": "[8, 2, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 170780254353358848}, {"parameter": "[8, 2, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 3206307788357632}, {"parameter": "[8, 2, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 3206307788357632}, {"parameter": "[8, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 338350318267924480}, {"parameter": "[8, 3, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 338349837231587328}, {"parameter": "[8, 3, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 170776371702923264}, {"parameter": "[8, 3, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 170776371702923264}, {"parameter": "[8, 3, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 170775890666586112}, {"parameter": "[8, 3, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 170775890666586112}, {"parameter": "[9, 2, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 45270778975092736}, {"parameter": "", "name": "JohnsonLB", "value": 81970724721589989489}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 2642131473689153408}], "request": [2, 18, 4, 7], "liftedmrdsizebound": 92068210825109746643, "comments": "", "equal_bound_constraints": []}