{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 66441249531569955747981459}, {"parameter": "", "name": "singleton", "value": 3867895279362300499}, {"parameter": "5", "name": "ilp_2", "value": 1485349618357278386}, {"parameter": "6", "name": "ilp_2", "value": 8111494265849097271149}, {"parameter": "8", "name": "ilp_3", "value": 260553919731646885286201}, {"parameter": "9", "name": "ilp_3", "value": 1529670761633934747277}, {"parameter": "", "name": "anticode", "value": 1485349618357278386}, {"parameter": "", "name": "linear_programming_bound", "value": 1485349618357278386}, {"parameter": "", "name": "sphere_packing", "value": 63877770715006048034}, {"parameter": "1", "name": "ilp_1", "value": 1485349618357278386}, {"parameter": "2", "name": "ilp_1", "value": 1485349618357278386}, {"parameter": "3", "name": "ilp_1", "value": 1485349618357278386}, {"parameter": "4", "name": "ilp_1", "value": 1485349618357278386}, {"parameter": "10", "name": "ilp_4", "value": 1517708526938850213574}, {"parameter": "11", "name": "ilp_4", "value": 1517503994347581059358}, {"parameter": "12", "name": "ilp_4", "value": 1517503020382860730052}, {"parameter": "13", "name": "ilp_4", "value": 1517503013010645779446}, {"parameter": "14", "name": "ilp_4", "value": 1517503017476506759140}, {"parameter": "15", "name": "ilp_4", "value": 378129572121268285185}, {"parameter": "16", "name": "ilp_4", "value": 95184352912277068237}, {"parameter": "17", "name": "ilp_4", "value": 23755416570482394772}, {"parameter": "18", "name": "ilp_4", "value": 5936319114695376435}, {"parameter": "", "name": "johnson_1", "value": 1485349618357278386}, {"parameter": "", "name": "johnson_2", "value": 5936319114695376435}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 66441249531569955747981459}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 260553919731646885286201}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1529670761633934747277}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1517708526938850213574}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1517503994347581059358}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1517503020382860730052}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1517503013010645779446}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1517503017476506759140}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 378129572121268285185}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 95184352912277068237}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 23755416570482394772}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 5936319114695376435}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 8111494265849097271149}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 63877770715006048034}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 63893250591241823085}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 63924232862604888272}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 63986287633919371231}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 64110759319545169298}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 64361161163913437365}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 32052352427376005298}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 16379490497917321463}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 8435755629153098956}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 4523079102024725302}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 2632586632811091924}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 1964877579956846829}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 1485349618357278386}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 1485617341505760864}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1486153012523863066}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 1487225254251886234}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 1489373342945347036}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 1493683993235463876}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 1502363604158856830}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 1519959467612492271}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1556125794090972332}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 1632595262803357278}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 1804246266908920435}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 2245145543421465221}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 3867895279362300499}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 66441249531569955747981459}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 8111494265849097271149}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1485349618357278386}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1485349618357278386}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1485349618357278386}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1485349618357278386}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 1485349618357278386}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 260553919731646885286201}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 63877770715006048034}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 64353170237606688895}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 65390858124681174092}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 67569987851802800294}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 72395073874147815858}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 84457006536371356287}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 126664970923498783229}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1529670761633934747277}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1538699811297317786533}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1557008575443800002727}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1594659066145293742186}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1674349967870851144668}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1853641523632432311929}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 2316729822711271219222}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 4052305562169692070035}, {"parameter": "", "name": "improved_johnson", "value": 1485349618357278385}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 47665150538583463735}], "known_codes": [], "upper_bound": 1485349618357278385, "classified": false, "lower_bound": 1155432334272741165, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1152921504606846976}, {"parameter": "", "name": "sphere_covering", "value": 557237724980827}, {"parameter": "", "name": "graham_sloane", "value": 241712318742205}, {"parameter": "", "name": "multicomponent", "value": 1152956689247371393}, {"parameter": "q^60 + q^51 + 2*q^46 + q^45 + q^44 + 4*q^43 + 4*q^42 + 2*q^41 + 4*q^40 + 2*q^39 + 6*q^38 + 5*q^37 + 4*q^36 + q^35 + 7*q^34 + 3*q^33 + 4*q^32 + 8*q^31 + 9*q^30 + 5*q^29 + 14*q^28 + 4*q^27 + 7*q^26 + 6*q^25 + 6*q^24 + 10*q^23 + 6*q^22 + 10*q^21 + 5*q^20 + 2*q^19 + 6*q^18 + 8*q^17 + 7*q^16 + 5*q^15 + 5*q^14 + 5*q^13 + 3*q^12 + 3*q^11 + 4*q^10 + 2*q^9 + 2*q^8 + 4*q^6 + q^5 + q^3 + q^2 + 1", "name": "greedy_multicomponent", "value": 1155432334272741165}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1152921702085408712}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1155208686271182792}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1155177711073755136}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 72420719094176371}, {"parameter": "(12,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1153284629681977704}, {"parameter": "(12,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1153284629933635944}, {"parameter": "(12,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1153284629665331560}, {"parameter": "(12,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1153284629667297640}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 36041031683394856}, {"parameter": "(11,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 36041031733726504}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 36041031667666216}, {"parameter": "(11,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 36041031683394856}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1126336616506440}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1126336616506440}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1126336603923528}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1126336616506440}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 5101746185220040}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 5101746172637128}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 5101746185220040}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 5101746185220040}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 18380585098741704}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 18380585083013064}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 18380585149073352}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 18380585098741704}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 72330092445153224}, {"parameter": "(7,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 72330092443187144}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 72330092711491528}, {"parameter": "(7,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 72330092459833288}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 1153284629665200488}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 36041031666617640}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1126336599729224}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 5101746168442824}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 18380585081964488}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 72330092443056072}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 1153284629665200488}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 36041031666617640}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1126336599729224}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 5101746168442824}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 18380585081964488}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 72330092443056072}, {"parameter": "7", "name": "linkage_GLT", "value": 1152921504608952053}, {"parameter": "8", "name": "linkage_GLT", "value": 36028797018980685}, {"parameter": "9", "name": "linkage_GLT", "value": 1125899906842769}, {"parameter": "10", "name": "linkage_GLT", "value": 5101733952880641}, {"parameter": "11", "name": "linkage_GLT", "value": 18380535881531393}, {"parameter": "12", "name": "linkage_GLT", "value": 72329894964494337}, {"parameter": "7", "name": "improved_linkage", "value": 1152956765800176590}, {"parameter": "8", "name": "improved_linkage", "value": 36029898875065548}, {"parameter": "9", "name": "improved_linkage", "value": 1125934439084744}, {"parameter": "10", "name": "improved_linkage", "value": 5101734221937985}, {"parameter": "11", "name": "improved_linkage", "value": 18380535883636469}, {"parameter": "12", "name": "improved_linkage", "value": 72329894964511053}, {"parameter": "13", "name": "improved_linkage", "value": 72224531095224465}, {"parameter": "14", "name": "improved_linkage", "value": 72419360626442241}, {"parameter": "15", "name": "improved_linkage", "value": 18052810368286721}, {"parameter": "16", "name": "improved_linkage", "value": 4513432746190593}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1153284629665200488}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1152969172420431246}, {"parameter": "7,2", "name": "generalized_linkage", "value": 1152922920428773896}, {"parameter": "7,3", "name": "generalized_linkage", "value": 1152922606462948556}, {"parameter": "7,4", "name": "generalized_linkage", "value": 1152956765800176590}, {"parameter": "8,0", "name": "generalized_linkage", "value": 36041031666617640}, {"parameter": "8,1", "name": "generalized_linkage", "value": 36031954630253814}, {"parameter": "8,2", "name": "generalized_linkage", "value": 36028808050315113}, {"parameter": "8,3", "name": "generalized_linkage", "value": 36028831551206088}, {"parameter": "8,4", "name": "generalized_linkage", "value": 36029898875065548}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1126336599729224}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1125950255203526}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1125899993150781}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1125900175899969}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1125934439084744}, {"parameter": "10,0", "name": "generalized_linkage", "value": 5101746168442824}, {"parameter": "10,1", "name": "generalized_linkage", "value": 5101734828016830}, {"parameter": "10,2", "name": "generalized_linkage", "value": 5101733954301585}, {"parameter": "10,3", "name": "generalized_linkage", "value": 5101733954985717}, {"parameter": "10,4", "name": "generalized_linkage", "value": 5101734221937985}, {"parameter": "11,0", "name": "generalized_linkage", "value": 18380585081964488}, {"parameter": "11,1", "name": "generalized_linkage", "value": 18380535893614046}, {"parameter": "11,2", "name": "generalized_linkage", "value": 18380535881555897}, {"parameter": "11,3", "name": "generalized_linkage", "value": 18380535881548109}, {"parameter": "11,4", "name": "generalized_linkage", "value": 18380535883636469}, {"parameter": "12,0", "name": "generalized_linkage", "value": 72330092443056072}, {"parameter": "12,1", "name": "generalized_linkage", "value": 72329894988671454}, {"parameter": "12,2", "name": "generalized_linkage", "value": 72329894964494677}, {"parameter": "12,3", "name": "generalized_linkage", "value": 72329894964494481}, {"parameter": "12,4", "name": "generalized_linkage", "value": 72329894964511053}, {"parameter": "13,1", "name": "generalized_linkage", "value": 72224531143590366}, {"parameter": "13,2", "name": "generalized_linkage", "value": 72224531095225001}, {"parameter": "13,3", "name": "generalized_linkage", "value": 72224531095224321}, {"parameter": "13,4", "name": "generalized_linkage", "value": 72224531095224465}, {"parameter": "14,2", "name": "generalized_linkage", "value": 72419360626443605}, {"parameter": "14,3", "name": "generalized_linkage", "value": 72419360626442241}, {"parameter": "14,4", "name": "generalized_linkage", "value": 72419360626442241}, {"parameter": "15,3", "name": "generalized_linkage", "value": 18052810368286721}, {"parameter": "15,4", "name": "generalized_linkage", "value": 18052810368286721}, {"parameter": "16,4", "name": "generalized_linkage", "value": 4513432746190593}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153284629665200488}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152969172420431246}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922920428773896}, {"parameter": "[7, 12],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1152922606462948556}, {"parameter": "[7, 12],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1152956765800176590}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 36041031666617640}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 36031954630253814}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 36028808050315113}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 36028831551206088}, {"parameter": "[8, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 36029898875065548}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1126336599729224}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1125950255203526}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125899993150781}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1125900175899969}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1125934439084744}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5101746168442824}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5101734828016830}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5101733954301585}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5101733954985717}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5101734221937985}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18380585081964488}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18380535893614046}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18380535881555897}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 18380535881548109}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 18380535883636469}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 72330092443056072}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 72329894988671454}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 72329894964494677}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 72329894964494481}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 72329894964511053}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 72224531143590366}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 72224531095225001}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 72224531095224321}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 72224531095224465}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 72419360626443605}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 72419360626442241}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 72419360626442241}, {"parameter": "[15, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 18052810368286721}, {"parameter": "[15, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 18052810368286721}, {"parameter": "[16, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4513432746190593}, {"parameter": "[7, 3, 9],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 4538806079415296}, {"parameter": "[7, 3, 9],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 4538809011909448}, {"parameter": "[7, 3, 9],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4541667676208680}, {"parameter": "[7, 3, 9],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4901909057812840}, {"parameter": "[7, 4, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 18018324255473664}, {"parameter": "[7, 4, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 18015520101065728}, {"parameter": "[7, 4, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 18015523033559880}, {"parameter": "[7, 4, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 18018381697859112}, {"parameter": "[7, 4, 8],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 18378623079463272}, {"parameter": "[7, 4, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 18018324255473664}, {"parameter": "[7, 4, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 18015520101065728}, {"parameter": "[7, 4, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 18015523033559880}, {"parameter": "[7, 4, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 18018381697859112}, {"parameter": "[7, 4, 8],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 18378623079463272}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 72139819566035648}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 72059331571545360}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72059003994698616}, {"parameter": "[7, 5, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 72059027799651144}, {"parameter": "[7, 5, 7],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 72061886463950376}, {"parameter": "[7, 5, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 72138445176500928}, {"parameter": "[7, 5, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 72057957182010640}, {"parameter": "[7, 5, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057629605163896}, {"parameter": "[7, 5, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 72057653410116424}, {"parameter": "[7, 5, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 72060512074415656}, {"parameter": "[7, 5, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 72138445176500928}, {"parameter": "[7, 5, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 72057957182010640}, {"parameter": "[7, 5, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057629605163896}, {"parameter": "[7, 5, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 72057653410116424}, {"parameter": "[7, 5, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 72060512074415656}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 72108547502153648}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 72105157711413592}, {"parameter": "[7, 6, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 72105151846425288}, {"parameter": "[7, 6, 6],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 72105176686375752}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 72061000872009648}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057611081269592}, {"parameter": "[7, 6, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 72057605216281288}, {"parameter": "[7, 6, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 72057630056231752}, {"parameter": "[7, 6, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 72060990134591408}, {"parameter": "[7, 6, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057600343851352}, {"parameter": "[7, 6, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 72057594478863048}, {"parameter": "[7, 6, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 72057619318813512}, {"parameter": "[7, 6, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 72061028789297072}, {"parameter": "[7, 6, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057638998557016}, {"parameter": "[7, 6, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 72057633133568712}, {"parameter": "[7, 6, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 72057657973519176}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 72419359108993544}, {"parameter": "[7, 7, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 72419352209007304}, {"parameter": "[7, 7, 5],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 72419352209007304}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057972654445064}, {"parameter": "[7, 7, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 72057965754458824}, {"parameter": "[7, 7, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 72057965754458824}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057601196397064}, {"parameter": "[7, 7, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 72057594296410824}, {"parameter": "[7, 7, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 72057594296410824}, {"parameter": "[7, 7, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057601414500872}, {"parameter": "[7, 7, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 72057594514514632}, {"parameter": "[7, 7, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 72057594514514632}, {"parameter": "[7, 7, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057636168503816}, {"parameter": "[7, 7, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 72057629268517576}, {"parameter": "[7, 7, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 72057629268517576}, {"parameter": "[7, 8, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 18017224916345544}, {"parameter": "[7, 8, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 18017224916345544}, {"parameter": "[7, 8, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 18014401584669384}, {"parameter": "[7, 8, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 18014401584669384}, {"parameter": "[7, 8, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 18014398779384520}, {"parameter": "[7, 8, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 18014398779384520}, {"parameter": "[7, 8, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 18014398955872968}, {"parameter": "[7, 8, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 18014398955872968}, {"parameter": "[7, 8, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 18014433171563208}, {"parameter": "[7, 8, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 18014433171563208}, {"parameter": "[7, 9, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4503621879826120}, {"parameter": "[7, 9, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4503603088071112}, {"parameter": "[7, 9, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4503599887600968}, {"parameter": "[7, 9, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4503600069320008}, {"parameter": "[7, 9, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4503634239210312}, {"parameter": "[8, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 141930679165952}, {"parameter": "[8, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 141837731851720}, {"parameter": "[8, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 141943120932424}, {"parameter": "[8, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 154071647636776}, {"parameter": "[8, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 574975248564224}, {"parameter": "[8, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 563077992342528}, {"parameter": "[8, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 562985045028296}, {"parameter": "[8, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 563090434109000}, {"parameter": "[8, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 575218960813352}, {"parameter": "[8, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 574975248564224}, {"parameter": "[8, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 563077992342528}, {"parameter": "[8, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 562985045028296}, {"parameter": "[8, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 563090434109000}, {"parameter": "[8, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 575218960813352}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 564355900857104}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 562966082355320}, {"parameter": "[8, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 562961691143624}, {"parameter": "[8, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 563067080224328}, {"parameter": "[8, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 564345163438864}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 562955344937080}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 562950953725384}, {"parameter": "[8, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 563056342806088}, {"parameter": "[8, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 564345163438864}, {"parameter": "[8, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 562955344937080}, {"parameter": "[8, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 562950953725384}, {"parameter": "[8, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 563056342806088}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 566121292628568}, {"parameter": "[8, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 566096409095624}, {"parameter": "[8, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 566096409095624}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 562975654806104}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 562950771273160}, {"parameter": "[8, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 562950771273160}, {"parameter": "[8, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 562975570920024}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 562950687387080}, {"parameter": "[8, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 562950687387080}, {"parameter": "[8, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 562975872909912}, {"parameter": "[8, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 562950989376968}, {"parameter": "[8, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 562950989376968}, {"parameter": "[8, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 574941620694472}, {"parameter": "[8, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 574941620694472}, {"parameter": "[8, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 562975261257160}, {"parameter": "[8, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 562975261257160}, {"parameter": "[8, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 562950685961672}, {"parameter": "[8, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 562950685961672}, {"parameter": "[8, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 562950687665608}, {"parameter": "[8, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 562950687665608}, {"parameter": "[8, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 562950959181256}, {"parameter": "[8, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 562950959181256}, {"parameter": "[8, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 140831899406792}, {"parameter": "[8, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 140738412223688}, {"parameter": "[8, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 140738220984904}, {"parameter": "[8, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 140738222363720}, {"parameter": "[8, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 140738489673800}, {"parameter": "[9, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 4817900659712}, {"parameter": "[9, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 4435417924552}, {"parameter": "[9, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4435417924552}, {"parameter": "[9, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4869099136072}, {"parameter": "[9, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 4783809356800}, {"parameter": "[9, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4401326621640}, {"parameter": "[9, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4401326621640}, {"parameter": "[9, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4835007833160}, {"parameter": "[9, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 4783809356800}, {"parameter": "[9, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4401326621640}, {"parameter": "[9, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4401326621640}, {"parameter": "[9, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4835007833160}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4419214219896}, {"parameter": "[9, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4401144169416}, {"parameter": "[9, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4401144169416}, {"parameter": "[9, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4419130333816}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4401060283336}, {"parameter": "[9, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4401060283336}, {"parameter": "[9, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4419130333816}, {"parameter": "[9, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4401060283336}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4401060283336}, {"parameter": "[9, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 4450403615688}, {"parameter": "[9, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4450403615688}, {"parameter": "[9, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4401058857928}, {"parameter": "[9, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4401058857928}, {"parameter": "[9, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4401058202568}, {"parameter": "[9, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4401058202568}, {"parameter": "[9, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4401060561864}, {"parameter": "[9, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4401060561864}, {"parameter": "[9, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4786552596424}, {"parameter": "[9, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4401443697352}, {"parameter": "[9, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4401058191432}, {"parameter": "[9, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4401058204744}, {"parameter": "[9, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4401060325960}, {"parameter": "[10, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 4994646061000}, {"parameter": "[10, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4994646061000}, {"parameter": "[10, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4994646061000}, {"parameter": "[10, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4994379722696}, {"parameter": "[10, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4994379722696}, {"parameter": "[10, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4994379722696}, {"parameter": "[10, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4994379722696}, {"parameter": "[10, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4994379722696}, {"parameter": "[10, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4994379722696}, {"parameter": "[10, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4994379018184}, {"parameter": "[10, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4994379018184}, {"parameter": "[10, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4994377641928}, {"parameter": "[10, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4994377641928}, {"parameter": "[10, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4994377641928}, {"parameter": "[10, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4994377641928}, {"parameter": "[10, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4995150159560}, {"parameter": "[10, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4994377636424}, {"parameter": "[10, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4994377625672}, {"parameter": "[10, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4994377644104}, {"parameter": "[11, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4536638048200}, {"parameter": "[11, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4536638048200}, {"parameter": "[11, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4536635967432}, {"parameter": "[11, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4536635967432}, {"parameter": "[11, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4536635967432}, {"parameter": "[11, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4536635967432}, {"parameter": "[11, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4536635972680}, {"parameter": "[11, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4536635951176}, {"parameter": "[11, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4536635951176}, {"parameter": "[12, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4612145018824}, {"parameter": "[12, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4612145002568}, {"parameter": "[12, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4612145002568}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 366212484785152}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 366212484785152}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 366212484785152}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 7280720569344}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7280720569344}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7280720569344}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7280720569344}, {"parameter": "[7, 3, 6, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4476566161408}, {"parameter": "[7, 3, 6, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4476566161408}, {"parameter": "[7, 3, 6, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4476566161408}, {"parameter": "[7, 4, 3, 5],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 368982547890176}, {"parameter": "[7, 4, 3, 5],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 368982547890176}, {"parameter": "[7, 4, 3, 5],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 368982547890176}, {"parameter": "[7, 4, 3, 5],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 368982547890176}, {"parameter": "[7, 4, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 10050783674368}, {"parameter": "[7, 4, 4, 4],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 10050783674368}, {"parameter": "[7, 4, 4, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 10050783674368}, {"parameter": "[7, 4, 4, 4],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 10050783674368}, {"parameter": "[7, 4, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 10050783674368}, {"parameter": "[7, 4, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 10050783674368}, {"parameter": "[7, 4, 4, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 10050783674368}, {"parameter": "[7, 4, 4, 4],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 10050783674368}, {"parameter": "[7, 4, 5, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7246629266432}, {"parameter": "[7, 4, 5, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7246629266432}, {"parameter": "[7, 4, 5, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7246629266432}, {"parameter": "[7, 4, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 7246629266432}, {"parameter": "[7, 4, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 7246629266432}, {"parameter": "[7, 4, 5, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7246629266432}, {"parameter": "[7, 5, 3, 4],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 88041145692864}, {"parameter": "[7, 5, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 88041061806784}, {"parameter": "[7, 5, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 88041061806784}, {"parameter": "[7, 5, 4, 3],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85236991284928}, {"parameter": "[7, 5, 4, 3],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85236991284928}, {"parameter": "[7, 5, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85236907398848}, {"parameter": "[7, 5, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85236907398848}, {"parameter": "[7, 5, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 85236907398848}, {"parameter": "[7, 5, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 85236907398848}, {"parameter": "[8, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 12119242761216}, {"parameter": "[8, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 12119242761216}, {"parameter": "[8, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 221986539520}, {"parameter": "[8, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 221986539520}, {"parameter": "[8, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 24016232644608}, {"parameter": "[8, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 24016232644608}, {"parameter": "[8, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 12118976422912}, {"parameter": "[8, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 12118976422912}, {"parameter": "[8, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 12118976422912}, {"parameter": "[8, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 12118976422912}, {"parameter": "[9, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 771259353088}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 9054666175173916}], "request": [2, 19, 6, 7], "liftedmrdsizebound": 1161078365909618157, "comments": "", "equal_bound_constraints": []}