{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 10203496184250084875767235936019316188596527511243454432}, {"parameter": "", "name": "singleton", "value": 1086408630029793075132746383601600}, {"parameter": "3", "name": "ilp_2", "value": 912637550264833097621134324470231}, {"parameter": "4", "name": "ilp_2", "value": 90266727211772477977600199202764556213202404}, {"parameter": "6", "name": "ilp_3", "value": 520374142403615099743331086088296419247068926522004}, {"parameter": "7", "name": "ilp_3", "value": 30329914971396145901095380845467782000018588576}, {"parameter": "", "name": "anticode", "value": 912637550264833097621134324470231}, {"parameter": "", "name": "linear_programming_bound", "value": 912637550264833097621134324470231}, {"parameter": "", "name": "sphere_packing", "value": 32226607359004195193386663250392509948573}, {"parameter": "1", "name": "ilp_1", "value": 912637550208316622959629269633205}, {"parameter": "2", "name": "ilp_1", "value": 912637550208316622960210880523450}, {"parameter": "8", "name": "ilp_4", "value": 30286478290504554418206218434931391837620560289}, {"parameter": "9", "name": "ilp_4", "value": 30286477211800084101672493427897327029053780480}, {"parameter": "10", "name": "ilp_4", "value": 30286477211800084101672493427897327029053780480}, {"parameter": "11", "name": "ilp_4", "value": 618972702399423395842152504194899410494133910}, {"parameter": "12", "name": "ilp_4", "value": 12631988915449032630941713940114003084039078}, {"parameter": "13", "name": "ilp_4", "value": 257796450167641755133258144484240183787574}, {"parameter": "14", "name": "ilp_4", "value": 5261173883681401710287782953211565723723}, {"parameter": "15", "name": "ilp_4", "value": 107370892932341133799116683797957153103}, {"parameter": "16", "name": "ilp_4", "value": 2191242731689132409389760956227145263}, {"parameter": "17", "name": "ilp_4", "value": 44719239963428953580727622337737624}, {"parameter": "", "name": "johnson_1", "value": 912637550208316622959629269633205}, {"parameter": "", "name": "johnson_2", "value": 44719239963428953580727622337737624}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 10203496184250084875767235936019316188596527511243454432}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 520374142403615099743331086088296419247068926522004}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 30329914971396145901095380845467782000018588576}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 30286478290504554418206218434931391837620560289}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 30286477211800084101672493427897327029053780480}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 30286477211800084101672493427897327029053780480}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 618972702399423395842152504194899410494133910}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 12631988915449032630941713940114003084039078}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 257796450167641755133258144484240183787574}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 5261173883681401710287782953211565723723}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 107370892932341133799116683797957153103}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 2191242731689132409389760956227145263}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 44719239963428953580727622337737624}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 90266727211772477977600199202764556213202404}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 32226607359004195193386663250392509948573}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 32226607360999164602142909170667805692338}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 32226607374963950470352486270581426951245}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 32226607472717451886696454407062603518047}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 4601922843120628464062828234964277332785}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 657647645397374647535354603329195458257}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 93948979113342978125326027839074858647}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 13421476266394687970023103041544960797}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1917451180848794321817600310714944052}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 274019431376197866765575736569068788}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 39243707144747911278121728804132792}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 5706318906919737329373488757025250}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 931595400194226671408923570315801}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 912637550264833097621134324470231}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 912637550274037209208864915042192}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 912637550338465990327607479357647}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 912637550789467458385598514954959}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 912637553946477745904396987416588}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 912637576045550303066199685469958}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 912637730739084885183888100491298}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 912638813595134378858504606633701}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 912646393651544901034511741540566}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 912699457185743991803606258743626}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 913071055815970001106567720557478}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 915679808855133245844424614566469}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 934319343497163352571954304373536}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 1086408630029793075132746383601600}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 10203496184250084875767235936019316188596527511243454432}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 90266727211772477977600199202764556213202404}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 912637550264833097621134324470231}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 912637550208316622960210880523450}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 912637550208316622959629269633205}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 520374142403615099743331086088296419247068926522004}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 32226607359004195193386663250392509948573}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 32238116861631697942933677381356889589848}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 32318914146994177849974158224945997887044}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 32896037613868304658632966273720078446493}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 37595471558367113883311055106157476792604}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 30329914971396145901095380845467782000018588576}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 30331682848172413723536906111432538717628532947}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 30344063126880584346216459840032822415767472012}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 30430977736586803627487568824245410183620125490}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 31052018098282455754759958084866341942738460373}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 36121735336208679823466411064327588635221204800}, {"parameter": "", "name": "improved_johnson", "value": 912637550208316622959629269633193}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 5261218582023225387748452480198435403229}], "known_codes": [], "upper_bound": 912637550208316622959629269633193, "classified": false, "lower_bound": 909543705959280746929402301205852, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 909543680129861140820205019889143}, {"parameter": "", "name": "sphere_covering", "value": 6516512319446383365423830628}, {"parameter": "", "name": "graham_sloane", "value": 23087176136706882002792815}, {"parameter": "", "name": "multicomponent", "value": 909543702669201990058327473511649}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 909543680129861140820205019889144}, {"parameter": "", "name": "two_pivot_block_construction", "value": 909543702669202080495874626027520}, {"parameter": "(5, 13)", "name": "CKMP2019_Lem_41", "value": 909543680130052722057026151855357}, {"parameter": "(6, 12)", "name": "CKMP2019_Lem_41", "value": 2651730845860212017658968372700}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 7730993719709072937781143648}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 378841231605955478688367116896}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 18562138526070227358245814149592}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 909543702690658529427086546182112}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 909543705900492586219116495788688}, {"parameter": "(12, 6)", "name": "CKMP2019_Lem_41", "value": 909543705959280655505610304093452}, {"parameter": "(13, 5)", "name": "CKMP2019_Lem_41", "value": 909543705959280746929402301065803}, {"parameter": "(5, 5, 8)", "name": "CKMP2019_Lem_41", "value": 909543680130052722051585586320352}, {"parameter": "(5, 6, 7)", "name": "CKMP2019_Lem_41", "value": 909543680129861699366069103173151}, {"parameter": "(5, 7, 6)", "name": "CKMP2019_Lem_41", "value": 909543680129861142448618617799593}, {"parameter": "(5, 8, 5)", "name": "CKMP2019_Lem_41", "value": 909543680129861220617218879011088}, {"parameter": "(6, 5, 7)", "name": "CKMP2019_Lem_41", "value": 2651730845860212017643106665609}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Lem_41", "value": 2651730845859655100192621292051}, {"parameter": "(6, 7, 5)", "name": "CKMP2019_Lem_41", "value": 2651730845859653476526584891545}, {"parameter": "(7, 5, 6)", "name": "CKMP2019_Lem_41", "value": 7730993719709072937735004857}, {"parameter": "(7, 6, 5)", "name": "CKMP2019_Lem_41", "value": 7730993719707449271698604351}, {"parameter": "(8, 5, 5)", "name": "CKMP2019_Lem_41", "value": 378841231605955478688366999136}, {"parameter": "(5, 13)", "name": "CKMP2019_Cor_42", "value": 909543680130052722057026151855357}, {"parameter": "(6, 12)", "name": "CKMP2019_Cor_42", "value": 2651730845860212017658968372700}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 7730993719709072937781143648}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 378841231605955478688367116896}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 18562138526070227358245814149592}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 909543702690658529427086546182112}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 909543705900492586219116495788688}, {"parameter": "(12, 6)", "name": "CKMP2019_Cor_42", "value": 909543705959280655505610304093452}, {"parameter": "(13, 5)", "name": "CKMP2019_Cor_42", "value": 909543705959280746929402301065803}, {"parameter": "(5, 5, 8)", "name": "CKMP2019_Cor_42", "value": 909543680130052722051585586320352}, {"parameter": "(5, 6, 7)", "name": "CKMP2019_Cor_42", "value": 909543680129861699366069103173151}, {"parameter": "(5, 7, 6)", "name": "CKMP2019_Cor_42", "value": 909543680129861142448618617799593}, {"parameter": "(5, 8, 5)", "name": "CKMP2019_Cor_42", "value": 909543680129861220617218879011088}, {"parameter": "(6, 5, 7)", "name": "CKMP2019_Cor_42", "value": 2651730845860212017643106665609}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Cor_42", "value": 2651730845859655100192621292051}, {"parameter": "(6, 7, 5)", "name": "CKMP2019_Cor_42", "value": 2651730845859653476526584891545}, {"parameter": "(7, 5, 6)", "name": "CKMP2019_Cor_42", "value": 7730993719709072937735004857}, {"parameter": "(7, 6, 5)", "name": "CKMP2019_Cor_42", "value": 7730993719707449271698604351}, {"parameter": "(8, 5, 5)", "name": "CKMP2019_Cor_42", "value": 378841231605955478688366999136}, {"parameter": "5", "name": "linkage_ST", "value": 909543705959280746929402301065803}, {"parameter": "6", "name": "linkage_ST", "value": 909543705959280655505610304093452}, {"parameter": "7", "name": "linkage_ST", "value": 909543705900492586219116495788688}, {"parameter": "8", "name": "linkage_ST", "value": 909543702690658529427086546182112}, {"parameter": "9", "name": "linkage_ST", "value": 18562138526070227358245814149592}, {"parameter": "10", "name": "linkage_ST", "value": 378841231605955478688367116896}, {"parameter": "11", "name": "linkage_ST", "value": 7730993719709072937781143648}, {"parameter": "12", "name": "linkage_ST", "value": 2651730845860212017658968372700}, {"parameter": "13", "name": "linkage_ST", "value": 909543680130052722057026151855357}, {"parameter": "14", "name": "linkage_ST", "value": 65712364229648265256946}, {"parameter": "15", "name": "linkage_ST", "value": 22539340930769354998789742}, {"parameter": "16", "name": "linkage_ST", "value": 7730993938754197538603243313}, {"parameter": "17", "name": "linkage_ST", "value": 2651730921164083543748135137407}, {"parameter": "5", "name": "construction_D", "value": 909543705959280746929402301065802}, {"parameter": "6", "name": "construction_D", "value": 909543705959280655505610304093451}, {"parameter": "7", "name": "construction_D", "value": 909543705900492586219116495788687}, {"parameter": "8", "name": "construction_D", "value": 909543702690658529427086546165304}, {"parameter": "9", "name": "construction_D", "value": 18562138526070227358245531673999}, {"parameter": "10", "name": "construction_D", "value": 378841231605955473940805489192}, {"parameter": "11", "name": "construction_D", "value": 7730993719707444524137094407}, {"parameter": "12", "name": "construction_D", "value": 2651730845859653471779023381601}, {"parameter": "13", "name": "construction_D", "value": 909543680129861140820205019889143}, {"parameter": "14", "name": "construction_D", "value": 0}, {"parameter": "15", "name": "construction_D", "value": 0}, {"parameter": "16", "name": "construction_D", "value": 0}, {"parameter": "17", "name": "construction_D", "value": 0}, {"parameter": "18", "name": "construction_D", "value": 0}, {"parameter": "5", "name": "linkage_GLT", "value": 909543680130052722057026151855357}, {"parameter": "6", "name": "linkage_GLT", "value": 2651730845860212017658968372700}, {"parameter": "7", "name": "linkage_GLT", "value": 7730993719709072937781143648}, {"parameter": "8", "name": "linkage_GLT", "value": 378841231605955478688367116896}, {"parameter": "9", "name": "linkage_GLT", "value": 18562138526070227358245814149592}, {"parameter": "10", "name": "linkage_GLT", "value": 909543702690658529427086546182112}, {"parameter": "11", "name": "linkage_GLT", "value": 909543705900492586219116495788688}, {"parameter": "12", "name": "linkage_GLT", "value": 909543705959280655505610304093452}, {"parameter": "13", "name": "linkage_GLT", "value": 909543705959280746929402301065803}, {"parameter": "5", "name": "improved_linkage", "value": 909543702669202071589560018678885}, {"parameter": "6", "name": "improved_linkage", "value": 2651730911572017701427288638547}, {"parameter": "7", "name": "improved_linkage", "value": 7730993911288681345269060621}, {"parameter": "8", "name": "improved_linkage", "value": 378841231606514019820750480291}, {"parameter": "9", "name": "improved_linkage", "value": 18562138526070228986659175723240}, {"parameter": "10", "name": "improved_linkage", "value": 909543702690658529431834107793008}, {"parameter": "11", "name": "improved_linkage", "value": 909543705900492586219116778264280}, {"parameter": "12", "name": "improved_linkage", "value": 909543705959280655505610304110259}, {"parameter": "13", "name": "improved_linkage", "value": 909543705959280746929402301065803}, {"parameter": "14", "name": "improved_linkage", "value": 18562116448148586910873870329555}, {"parameter": "15", "name": "improved_linkage", "value": 378818703023440549464659193795}, {"parameter": "5,0", "name": "generalized_linkage", "value": 909543680195765086286674416266759}, {"parameter": "5,1", "name": "generalized_linkage", "value": 909543680195573505049853285146089}, {"parameter": "5,2", "name": "generalized_linkage", "value": 909543702669202071589560018678885}, {"parameter": "6,0", "name": "generalized_linkage", "value": 2651730847228649423524196565250}, {"parameter": "6,1", "name": "generalized_linkage", "value": 2651730846051234708600155347815}, {"parameter": "6,2", "name": "generalized_linkage", "value": 2651730911572017701427288638547}, {"parameter": "7,0", "name": "generalized_linkage", "value": 7730993747636366933225626798}, {"parameter": "7,1", "name": "generalized_linkage", "value": 7730993720265990404082085506}, {"parameter": "7,2", "name": "generalized_linkage", "value": 7730993911288681345269060621}, {"parameter": "8,0", "name": "generalized_linkage", "value": 378841231606525656092292739592}, {"parameter": "8,1", "name": "generalized_linkage", "value": 378841231605957102354449538433}, {"parameter": "8,2", "name": "generalized_linkage", "value": 378841231606514019820750480291}, {"parameter": "9,0", "name": "generalized_linkage", "value": 18562138526070227397806238473649}, {"parameter": "9,1", "name": "generalized_linkage", "value": 18562138526070227362993093301703}, {"parameter": "9,2", "name": "generalized_linkage", "value": 18562138526070228986659175723240}, {"parameter": "10,0", "name": "generalized_linkage", "value": 909543702690658529427088900125704}, {"parameter": "10,1", "name": "generalized_linkage", "value": 909543702690658529427086828640897}, {"parameter": "10,2", "name": "generalized_linkage", "value": 909543702690658529431834107793008}, {"parameter": "11,0", "name": "generalized_linkage", "value": 909543705900492586219116495928737}, {"parameter": "11,1", "name": "generalized_linkage", "value": 909543705900492586219116495805495}, {"parameter": "11,2", "name": "generalized_linkage", "value": 909543705900492586219116778264280}, {"parameter": "12,0", "name": "generalized_linkage", "value": 909543705959280655505610304233501}, {"parameter": "12,1", "name": "generalized_linkage", "value": 909543705959280655505610304093452}, {"parameter": "12,2", "name": "generalized_linkage", "value": 909543705959280655505610304110259}, {"parameter": "13,0", "name": "generalized_linkage", "value": 909543705959280746929402301205852}, {"parameter": "13,1", "name": "generalized_linkage", "value": 909543705959280746929402301065803}, {"parameter": "13,2", "name": "generalized_linkage", "value": 909543705959280746929402301065803}, {"parameter": "14,1", "name": "generalized_linkage", "value": 18562116448148586910873870329555}, {"parameter": "14,2", "name": "generalized_linkage", "value": 18562116448148586910873870329555}, {"parameter": "15,2", "name": "generalized_linkage", "value": 378818703023440549464659193795}, {"parameter": "[5, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680195765086286674416266759}, {"parameter": "[5, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680195573505049853285146089}, {"parameter": "[5, 13],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543702669202071589560018678885}, {"parameter": "[6, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730847228649423524196565250}, {"parameter": "[6, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730846051234708600155347815}, {"parameter": "[6, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730911572017701427288638547}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993747636366933225626798}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993720265990404082085506}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993911288681345269060621}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 378841231606525656092292739592}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 378841231605957102354449538433}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 378841231606514019820750480291}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18562138526070227397806238473649}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18562138526070227362993093301703}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18562138526070228986659175723240}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543702690658529427088900125704}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543702690658529427086828640897}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543702690658529431834107793008}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543705900492586219116495928737}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543705900492586219116495805495}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543705900492586219116778264280}, {"parameter": "[12, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543705959280655505610304233501}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543705959280655505610304093452}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543705959280655505610304110259}, {"parameter": "[13, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543705959280746929402301205852}, {"parameter": "[13, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543705959280746929402301065803}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543705959280746929402301065803}, {"parameter": "[14, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18562116448148586910873870329555}, {"parameter": "[14, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18562116448148586910873870329555}, {"parameter": "[15, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818703023440549464659193795}, {"parameter": "[5, 3, 10],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 378841231606048564129201509224}, {"parameter": "[5, 3, 10],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378841231606515648234358428096}, {"parameter": "[5, 3, 10],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378841231798095256641882427248}, {"parameter": "[5, 4, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18562115986729936699414475583998}, {"parameter": "[5, 4, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18562115986729938299148643740926}, {"parameter": "[5, 4, 9],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 18562115986730496840280996749654}, {"parameter": "[5, 4, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 18562115986729936699414475583998}, {"parameter": "[5, 4, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 18562115986729938299148643740926}, {"parameter": "[5, 4, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18562115986730496840280996749654}, {"parameter": "[5, 5, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680195765084415121855434575}, {"parameter": "[5, 5, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680195765084415217038047079}, {"parameter": "[5, 5, 8],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680195765086048281066373263}, {"parameter": "[5, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680130052722051587575295032}, {"parameter": "[5, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680130052722051682757907536}, {"parameter": "[5, 5, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680130052723684746786233720}, {"parameter": "[5, 5, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680130052722051587575295032}, {"parameter": "[5, 5, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680130052722051682757907536}, {"parameter": "[5, 5, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680130052723684746786233720}, {"parameter": "[5, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680130053280597449670430695}, {"parameter": "[5, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680130053280597449675369503}, {"parameter": "[5, 6, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680130053280597546841191543}, {"parameter": "[5, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680129861699366069104016294}, {"parameter": "[5, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680129861699366069108955102}, {"parameter": "[5, 6, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680129861699366166274777142}, {"parameter": "[5, 6, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680139249179703716858321943}, {"parameter": "[5, 6, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680139249179703716863260751}, {"parameter": "[5, 6, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680139249179703814029082791}, {"parameter": "[5, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680129861700994482706983543}, {"parameter": "[5, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680129861700994482701083943}, {"parameter": "[5, 7, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680129861700994482706865551}, {"parameter": "[5, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680129888511195958704615879}, {"parameter": "[5, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680129888511195958698716279}, {"parameter": "[5, 7, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680129888511195958704497887}, {"parameter": "[5, 7, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680589848237539222667960344}, {"parameter": "[5, 7, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680589848237539222662060744}, {"parameter": "[5, 7, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680589848237539222667842352}, {"parameter": "[5, 8, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680129888590992972599152279}, {"parameter": "[5, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680129888590992972557838223}, {"parameter": "[5, 8, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680129888590992972557838223}, {"parameter": "[5, 8, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543680131202211073030185524742}, {"parameter": "[5, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543680131202211073030144210686}, {"parameter": "[5, 8, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543680131202211073030144210686}, {"parameter": "[5, 8, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 909543702669201990590054121464415}, {"parameter": "[5, 8, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 909543702669201990590054080150359}, {"parameter": "[5, 8, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 909543702669201990590054080150359}, {"parameter": "[5, 9, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18562115921045022875486533265559}, {"parameter": "[5, 9, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18562115921045022875486533265559}, {"parameter": "[5, 9, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18562115922358642955381696369847}, {"parameter": "[5, 9, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 18562115922358642955381696369847}, {"parameter": "[5, 9, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 18562116381004123880259883407560}, {"parameter": "[5, 9, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18562116381004123880259883407560}, {"parameter": "[5, 10, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692293113321969944094319}, {"parameter": "[5, 10, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692293033529798253219774}, {"parameter": "[5, 10, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818701653145385918183027180}, {"parameter": "[6, 3, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1104493386606323644403109995}, {"parameter": "[6, 3, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1104493386617920454134941248}, {"parameter": "[6, 3, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104493390597526022150128435}, {"parameter": "[6, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 54116956229533343063697639602}, {"parameter": "[6, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 54116956229533343741873753693}, {"parameter": "[6, 4, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116956229544979323075577754}, {"parameter": "[6, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 54116956229533343063697639602}, {"parameter": "[6, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 54116956229533343741873753693}, {"parameter": "[6, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116956229544979323075577754}, {"parameter": "[6, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730847228649384647153325902}, {"parameter": "[6, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730847228649384647193679166}, {"parameter": "[6, 5, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730847228649385339500161201}, {"parameter": "[6, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860212017643107508752}, {"parameter": "[6, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860212017643147862016}, {"parameter": "[6, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860212018335454344051}, {"parameter": "[6, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860212017643107508752}, {"parameter": "[6, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860212017643147862016}, {"parameter": "[6, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845860212018335454344051}, {"parameter": "[6, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845863644713507507899501}, {"parameter": "[6, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845863644713507501894551}, {"parameter": "[6, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845863644713507543088508}, {"parameter": "[6, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192627299451}, {"parameter": "[6, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192621294501}, {"parameter": "[6, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859655100192662488458}, {"parameter": "[6, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845887023847532708215794}, {"parameter": "[6, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845887023847532702210844}, {"parameter": "[6, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845887023847532743404801}, {"parameter": "[6, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859665108052326288995}, {"parameter": "[6, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859665108052284254345}, {"parameter": "[6, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859665108052284254345}, {"parameter": "[6, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859733268792924540646}, {"parameter": "[6, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859733268792882505996}, {"parameter": "[6, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859733268792882505996}, {"parameter": "[6, 7, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2651730847200723724604189739901}, {"parameter": "[6, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651730847200723724604147705251}, {"parameter": "[6, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730847200723724604147705251}, {"parameter": "[6, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 54116956037963748634567368892}, {"parameter": "[6, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116956037963748634567368892}, {"parameter": "[6, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 54116956038031904032428760957}, {"parameter": "[6, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116956038031904032428760957}, {"parameter": "[6, 8, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 54116957379020764597492361596}, {"parameter": "[6, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 54116957379020764597492361596}, {"parameter": "[6, 9, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104427674255556933736893153}, {"parameter": "[6, 9, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104427674323712914582122780}, {"parameter": "[6, 9, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104427701612668761840895139}, {"parameter": "[7, 3, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 3220097337044576724870464}, {"parameter": "[7, 3, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3220097337049405032147551}, {"parameter": "[7, 3, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3220097418469989770003312}, {"parameter": "[7, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 157775382593391670704226694}, {"parameter": "[7, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 157775382593391670986600758}, {"parameter": "[7, 4, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 157775382593396515437222293}, {"parameter": "[7, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 157775382593391670704226694}, {"parameter": "[7, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 157775382593391670986600758}, {"parameter": "[7, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 157775382593396515437222293}, {"parameter": "[7, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993747636366141905105150}, {"parameter": "[7, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993747636366141899222357}, {"parameter": "[7, 5, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993747636366142187479214}, {"parameter": "[7, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709072937740904800}, {"parameter": "[7, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709072937735022007}, {"parameter": "[7, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709072938023278864}, {"parameter": "[7, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709072937740904800}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709072937735022007}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709072938023278864}, {"parameter": "[7, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993719788869951636163901}, {"parameter": "[7, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719788869951594143951}, {"parameter": "[7, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719788869951594143951}, {"parameter": "[7, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707449271740641451}, {"parameter": "[7, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707449271698621501}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707449271698621501}, {"parameter": "[7, 6, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993719787241538038253452}, {"parameter": "[7, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719787241537996233502}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719787241537996233502}, {"parameter": "[7, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 157775382034850651348055493}, {"parameter": "[7, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 157775382034850651348055493}, {"parameter": "[7, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 157775382034850554459045086}, {"parameter": "[7, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 157775382034850554459045086}, {"parameter": "[7, 7, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 157775382114638170084157551}, {"parameter": "[7, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 157775382114638170084157551}, {"parameter": "[7, 8, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3219905755818024748107214}, {"parameter": "[7, 8, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3219905755817927294146309}, {"parameter": "[7, 8, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3219905835605448003675886}, {"parameter": "[8, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 157784770073729318459478099}, {"parameter": "[8, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 157784770073729320471273199}, {"parameter": "[8, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 157784770073763243771351699}, {"parameter": "[8, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 7731453706245617677737296057}, {"parameter": "[8, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 7731453706245617677696101757}, {"parameter": "[8, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7731453706245617679714622457}, {"parameter": "[8, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 7731453706245617677737296057}, {"parameter": "[8, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7731453706245617677696101757}, {"parameter": "[8, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7731453706245617679714622457}, {"parameter": "[8, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 378841231606525656078190957892}, {"parameter": "[8, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 378841231606525656078149763592}, {"parameter": "[8, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 378841231606525656078149763592}, {"parameter": "[8, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 378841231605955478688408313535}, {"parameter": "[8, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 378841231605955478688367119235}, {"parameter": "[8, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378841231605955478688367119235}, {"parameter": "[8, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 378841231605955478688408313535}, {"parameter": "[8, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378841231605955478688367119235}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378841231605955478688367119235}, {"parameter": "[8, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7731453706244023189375596208}, {"parameter": "[8, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7731453706244023189375596208}, {"parameter": "[8, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 7731453706243989264380666557}, {"parameter": "[8, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7731453706243989264380666557}, {"parameter": "[8, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7731453706243994011942176500}, {"parameter": "[8, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7731453706243994011942176500}, {"parameter": "[8, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 157784769515183456387989192}, {"parameter": "[8, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 157784769515183454651960548}, {"parameter": "[8, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 157784769515188201936760043}, {"parameter": "[9, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 7731003134558157925578209698}, {"parameter": "[9, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7731003134558157925570366898}, {"parameter": "[9, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7731003134558157927924187248}, {"parameter": "[9, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 378819153593269950834253190694}, {"parameter": "[9, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 378819153593269950834205153544}, {"parameter": "[9, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378819153593269950834205153544}, {"parameter": "[9, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 378819153593269950834253190694}, {"parameter": "[9, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378819153593269950834205153544}, {"parameter": "[9, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378819153593269950834205153544}, {"parameter": "[9, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 378819153593269985647302266051}, {"parameter": "[9, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 378819153593269985647302266051}, {"parameter": "[9, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 378819153593269946086926118850}, {"parameter": "[9, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378819153593269946086926118850}, {"parameter": "[9, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378819153593269946086926118850}, {"parameter": "[9, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378819153593269946086926118850}, {"parameter": "[9, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7731003134556529514326276799}, {"parameter": "[9, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7731003134556529511972473256}, {"parameter": "[9, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7731003134556529512254948505}, {"parameter": "[10, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 378818701662081857903373968497}, {"parameter": "[10, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818701662081857903366125697}, {"parameter": "[10, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818701662081857903366125697}, {"parameter": "[10, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818701662081853156087091003}, {"parameter": "[10, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818701662081853156087091003}, {"parameter": "[10, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818701662081853156087091003}, {"parameter": "[10, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818701662081853156087091003}, {"parameter": "[10, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818701662081853158158436104}, {"parameter": "[10, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818701662081853155804632561}, {"parameter": "[10, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818701662081853155804632561}, {"parameter": "[11, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993938754197538885718562}, {"parameter": "[11, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993938754197538885718562}, {"parameter": "[11, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993938754197538603260120}, {"parameter": "[11, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993938754197538603260120}, {"parameter": "[12, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 157775386515385466992965508}, {"parameter": "[5, 3, 3, 7],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 157784961654960699020164456}, {"parameter": "[5, 3, 3, 7],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 157784961654960699348618064}, {"parameter": "[5, 3, 3, 7],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 157784961654966237800474344}, {"parameter": "[5, 3, 4, 6],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 7731453706804163541786010816}, {"parameter": "[5, 3, 4, 6],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 7731453706804163541779285272}, {"parameter": "[5, 3, 4, 6],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7731453706804163542108836928}, {"parameter": "[5, 3, 4, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 7731453706804163541786010816}, {"parameter": "[5, 3, 4, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7731453706804163541779285272}, {"parameter": "[5, 3, 4, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7731453706804163542108836928}, {"parameter": "[5, 3, 5, 5],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 378841231606048564126899196688}, {"parameter": "[5, 3, 5, 5],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 378841231606048564126892471144}, {"parameter": "[5, 3, 5, 5],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 378841231606048564126892471144}, {"parameter": "[5, 3, 5, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 378841231605957107101971654736}, {"parameter": "[5, 3, 5, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 378841231605957107101964929192}, {"parameter": "[5, 3, 5, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378841231605957107101964929192}, {"parameter": "[5, 3, 5, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 378841231605957107101971654736}, {"parameter": "[5, 3, 5, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378841231605957107101964929192}, {"parameter": "[5, 3, 5, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378841231605957107101964929192}, {"parameter": "[5, 3, 6, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7731453706243994802872773208}, {"parameter": "[5, 3, 6, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7731453706243994802872773208}, {"parameter": "[5, 3, 6, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 7731453706243989361269576472}, {"parameter": "[5, 3, 6, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7731453706243989361269576472}, {"parameter": "[5, 3, 6, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7731453706245622522428996864}, {"parameter": "[5, 3, 6, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7731453706245622522428996864}, {"parameter": "[5, 3, 7, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 157784769515183454698919656}, {"parameter": "[5, 3, 7, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 157784769515183551546635264}, {"parameter": "[5, 3, 7, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 157784769516816617517661544}, {"parameter": "[5, 4, 3, 6],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993747636366141905950358}, {"parameter": "[5, 4, 3, 6],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993747636366141899323542}, {"parameter": "[5, 4, 3, 6],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993747636366143888196694}, {"parameter": "[5, 4, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 7730993747636366141905950358}, {"parameter": "[5, 4, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993747636366141899323542}, {"parameter": "[5, 4, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993747636366143888196694}, {"parameter": "[5, 4, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 378818693606735034507882654726}, {"parameter": "[5, 4, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818693606735034507842065478}, {"parameter": "[5, 4, 4, 5],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693606735034507842065478}, {"parameter": "[5, 4, 4, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 378818693606735034507882654726}, {"parameter": "[5, 4, 4, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818693606735034507842065478}, {"parameter": "[5, 4, 4, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693606735034507842065478}, {"parameter": "[5, 4, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 378818693606735034507882654726}, {"parameter": "[5, 4, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818693606735034507842065478}, {"parameter": "[5, 4, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693606735034507842065478}, {"parameter": "[5, 4, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 378818693606735034507882654726}, {"parameter": "[5, 4, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818693606735034507842065478}, {"parameter": "[5, 4, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693606735034507842065478}, {"parameter": "[5, 4, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733434773673710750}, {"parameter": "[5, 4, 5, 4],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733434773673710750}, {"parameter": "[5, 4, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733401443854130742}, {"parameter": "[5, 4, 5, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733401443854130742}, {"parameter": "[5, 4, 5, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733401443854130742}, {"parameter": "[5, 4, 5, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733401443854130742}, {"parameter": "[5, 4, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733434773673710750}, {"parameter": "[5, 4, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733434773673710750}, {"parameter": "[5, 4, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733401443854130742}, {"parameter": "[5, 4, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733401443854130742}, {"parameter": "[5, 4, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733401443854130742}, {"parameter": "[5, 4, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818693606733401443854130742}, {"parameter": "[5, 4, 6, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993747076191866207002238}, {"parameter": "[5, 4, 6, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993747076191864223910694}, {"parameter": "[5, 4, 6, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993747076191961395396350}, {"parameter": "[5, 4, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993747076191866207002238}, {"parameter": "[5, 4, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993747076191864223910694}, {"parameter": "[5, 4, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993747076191961395396350}, {"parameter": "[5, 5, 3, 5],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 378818692293114954450262319831}, {"parameter": "[5, 5, 3, 5],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818692293114954450255693015}, {"parameter": "[5, 5, 3, 5],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692293114954450255693015}, {"parameter": "[5, 5, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 378818692265746207110181403488}, {"parameter": "[5, 5, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818692265746207110174776672}, {"parameter": "[5, 5, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265746207110174776672}, {"parameter": "[5, 5, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 378818692265746207110181403488}, {"parameter": "[5, 5, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818692265746207110174776672}, {"parameter": "[5, 5, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265746207110174776672}, {"parameter": "[5, 5, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818692293113321386267758279}, {"parameter": "[5, 5, 4, 4],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692293113321386267758279}, {"parameter": "[5, 5, 4, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818692293113321386267758279}, {"parameter": "[5, 5, 4, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692293113321386267758279}, {"parameter": "[5, 5, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744574046186841936}, {"parameter": "[5, 5, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744574046186841936}, {"parameter": "[5, 5, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744574046186841936}, {"parameter": "[5, 5, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744574046186841936}, {"parameter": "[5, 5, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744574046186841936}, {"parameter": "[5, 5, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744574046186841936}, {"parameter": "[5, 5, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744574046186841936}, {"parameter": "[5, 5, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744574046186841936}, {"parameter": "[5, 5, 5, 3],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692293113321291085145775}, {"parameter": "[5, 5, 5, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692293113321289102054231}, {"parameter": "[5, 5, 5, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692293113321289102054231}, {"parameter": "[5, 5, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744573951004229432}, {"parameter": "[5, 5, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744573949021137888}, {"parameter": "[5, 5, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744573949021137888}, {"parameter": "[5, 5, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744573951004229432}, {"parameter": "[5, 5, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744573949021137888}, {"parameter": "[5, 5, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692265744573949021137888}, {"parameter": "[5, 6, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709077782468843599}, {"parameter": "[5, 6, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709077782468843599}, {"parameter": "[5, 6, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707449368870933150}, {"parameter": "[5, 6, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707449368870933150}, {"parameter": "[5, 6, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7730993719787241635168545151}, {"parameter": "[5, 6, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719787241635168545151}, {"parameter": "[5, 6, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709077685303139551}, {"parameter": "[5, 6, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719709077685303139551}, {"parameter": "[5, 6, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707449271705229102}, {"parameter": "[5, 6, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719707449271705229102}, {"parameter": "[5, 6, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719787241538002841103}, {"parameter": "[5, 6, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7730993719787241538002841103}, {"parameter": "[5, 7, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 157775382034845903798209951}, {"parameter": "[5, 7, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 157775382034850554470709487}, {"parameter": "[5, 7, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 157775382114638170095821952}, {"parameter": "[6, 3, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 460017896533808528366942}, {"parameter": "[6, 3, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 460017896533808520543350}, {"parameter": "[6, 3, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 460017896533810868598899}, {"parameter": "[6, 3, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22540681370948195361693557}, {"parameter": "[6, 3, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681370948195313774056}, {"parameter": "[6, 3, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681370948195313774056}, {"parameter": "[6, 3, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22540681370948195361693557}, {"parameter": "[6, 3, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681370948195313774056}, {"parameter": "[6, 3, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681370948195313774056}, {"parameter": "[6, 3, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681359351385822515806}, {"parameter": "[6, 3, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359351385822515806}, {"parameter": "[6, 3, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681359312614399739062}, {"parameter": "[6, 3, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359312614399739062}, {"parameter": "[6, 3, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22540681359312614399739062}, {"parameter": "[6, 3, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22540681359312614399739062}, {"parameter": "[6, 3, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 460013905292082390088400}, {"parameter": "[6, 3, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 460013905292080083226808}, {"parameter": "[6, 3, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 460013905292772430062107}, {"parameter": "[6, 4, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539340382120797694404751}, {"parameter": "[6, 4, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340382120797647188687}, {"parameter": "[6, 4, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340382120797647188687}, {"parameter": "[6, 4, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22539340382120797694404751}, {"parameter": "[6, 4, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340382120797647188687}, {"parameter": "[6, 4, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340382120797647188687}, {"parameter": "[6, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340370485216733153693}, {"parameter": "[6, 4, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370485216733153693}, {"parameter": "[6, 4, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340370485216733153693}, {"parameter": "[6, 4, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370485216733153693}, {"parameter": "[6, 4, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340370485216733153693}, {"parameter": "[6, 4, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370485216733153693}, {"parameter": "[6, 4, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340370485216733153693}, {"parameter": "[6, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370485216733153693}, {"parameter": "[6, 4, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484538557039602}, {"parameter": "[6, 4, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484524427512351}, {"parameter": "[6, 4, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484524427512351}, {"parameter": "[6, 4, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484538557039602}, {"parameter": "[6, 4, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484524427512351}, {"parameter": "[6, 4, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340370484524427512351}, {"parameter": "[6, 5, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340302329223696411985}, {"parameter": "[6, 5, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340302329223696411985}, {"parameter": "[6, 5, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697697997051635}, {"parameter": "[6, 5, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697697997051635}, {"parameter": "[6, 5, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697697997051635}, {"parameter": "[6, 5, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697697997051635}, {"parameter": "[6, 5, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340302328531390770643}, {"parameter": "[6, 5, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340302328531390770643}, {"parameter": "[6, 5, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697005691410293}, {"parameter": "[6, 5, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697005691410293}, {"parameter": "[6, 5, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697005691410293}, {"parameter": "[6, 5, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697005691410293}, {"parameter": "[6, 6, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 459986536545432355013458}, {"parameter": "[6, 6, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 459986536544740290653408}, {"parameter": "[6, 6, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 459986536549487852163351}, {"parameter": "[7, 3, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1341229837357775268800}, {"parameter": "[7, 3, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1341229837357720522808}, {"parameter": "[7, 3, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341229837357720522808}, {"parameter": "[7, 3, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1341148416774996486014}, {"parameter": "[7, 3, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341148416774996486014}, {"parameter": "[7, 3, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1341148416774996486014}, {"parameter": "[7, 3, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341148416774996486014}, {"parameter": "[7, 3, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341148411946694131264}, {"parameter": "[7, 3, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341148411930551747272}, {"parameter": "[7, 3, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341148411930551747272}, {"parameter": "[7, 4, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1341068629256265306293}, {"parameter": "[7, 4, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068629256265306293}, {"parameter": "[7, 4, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1341068629256265306293}, {"parameter": "[7, 4, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068629256265306293}, {"parameter": "[7, 4, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068624411820567551}, {"parameter": "[7, 4, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068624411820567551}, {"parameter": "[7, 4, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068624411820567551}, {"parameter": "[7, 4, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068624411820567551}, {"parameter": "[7, 5, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068624508992053207}, {"parameter": "[7, 5, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068619664541532857}, {"parameter": "[7, 5, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068619664541532857}, {"parameter": "[8, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1341148450603108273351}, {"parameter": "[8, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341148450603108273351}, {"parameter": "[8, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341148416679849389151}, {"parameter": "[8, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341148416679849389151}, {"parameter": "[8, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341148411932604823157}, {"parameter": "[8, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341148411932604823157}, {"parameter": "[9, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341070252827768599648}, {"parameter": "[5, 3, 3, 3, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1341150050630197733248}, {"parameter": "[5, 3, 3, 3, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341150050630197733248}, {"parameter": "[5, 3, 3, 4, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341150045091752602512}, {"parameter": "[5, 3, 3, 4, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341150045091752602512}, {"parameter": "[5, 3, 4, 3, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341148412027770295272}, {"parameter": "[5, 3, 4, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341148412027770295272}, {"parameter": "[5, 4, 3, 3, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068624510693514710}, {"parameter": "[5, 4, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341068624510693514710}, {"parameter": "[6, 3, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79797708561976091}, {"parameter": "", "name": "JohnsonLB", "value": 909535976045051452648345738948907}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 3219933215951081229075049}], "request": [7, 18, 6, 5], "liftedmrdsizebound": 909543707052079751724555181389293, "comments": "", "equal_bound_constraints": []}