{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 3774561792168531}, {"parameter": "", "name": "singleton", "value": 3571013994483}, {"parameter": "4", "name": "ilp_2", "value": 1843948115373}, {"parameter": "6", "name": "ilp_3", "value": 59913679240770}, {"parameter": "", "name": "anticode", "value": 1843948115373}, {"parameter": "", "name": "linear_programming_bound", "value": 1843948115373}, {"parameter": "", "name": "sphere_packing", "value": 3774561792168531}, {"parameter": "1", "name": "ilp_1", "value": 1843948115373}, {"parameter": "2", "name": "ilp_1", "value": 1843948115373}, {"parameter": "3", "name": "ilp_1", "value": 1843948115373}, {"parameter": "7", "name": "ilp_4", "value": 58026634225313}, {"parameter": "8", "name": "ilp_4", "value": 58004433695719}, {"parameter": "9", "name": "ilp_4", "value": 58003825462031}, {"parameter": "10", "name": "ilp_4", "value": 58003825462031}, {"parameter": "11", "name": "ilp_4", "value": 29720958993453}, {"parameter": "12", "name": "ilp_4", "value": 14685645114640}, {"parameter": "13", "name": "ilp_4", "value": 7386533329894}, {"parameter": "14", "name": "ilp_4", "value": 3682488758237}, {"parameter": "", "name": "johnson_1", "value": 1843948115373}, {"parameter": "", "name": "johnson_2", "value": 3682488758237}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 3774561792168531}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 59913679240770}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 58026634225313}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 58004433695719}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 58003825462031}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 58003825462031}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 29720958993453}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 14685645114640}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 7386533329894}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 3682488758237}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 1843948115373}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 1844820274602}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1846567070513}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1850070605044}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1857117710051}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1871374215254}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1900554120831}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1961731781266}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 2096715744570}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 2431304996306}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 3571013994483}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 3774561792168531}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1843948115373}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1843948115373}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1843948115373}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1843948115373}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 59913679240770}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 60879069061888}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 62906288604147}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 67394654217443}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 78612689863156}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 117843461817939}, {"parameter": "", "name": "improved_johnson", "value": 1843948115373}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 29898301584740}], "known_codes": [], "upper_bound": 1843948115373, "classified": false, "lower_bound": 1252448586816, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1099511627776}, {"parameter": "", "name": "sphere_covering", "value": 59510331439}, {"parameter": "", "name": "graham_sloane", "value": 115193999823}, {"parameter": "", "name": "multicomponent", "value": 1103823405089}, {"parameter": "", "name": "construction_ST_B", "value": 1176477148120}, {"parameter": "q^40 + q^36 + q^34 + 8*q^32 + q^31 + q^30 + 3*q^29 + 2*q^28 + 3*q^27 + 5*q^26 + 5*q^25 + 9*q^24 + 3*q^23 + 6*q^22 + 8*q^21 + 13*q^20 + 7*q^19 + 9*q^18 + 2*q^17 + 27*q^16 + 3*q^15 + 8*q^14 + 8*q^13 + 6*q^12 + 9*q^11 + 5*q^10 + 8*q^9 + 4*q^8 + 5*q^7 + 7*q^6 + 6*q^5 + 3*q^4 + q^3 + 1", "name": "greedy_multicomponent", "value": 1226285536569}, {"parameter": "", "name": "ChenHeWengXu2019_T41", "value": 1252379805361}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1099673205512}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1172687649544}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 1176477106176}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_16", "value": 1212571582495}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1172812333056}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 1252446359416}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 1177394805960}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1252448586816}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1252447554624}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 90190233352}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 90189250312}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 179305293168}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 179304506736}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 356352428616}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 356353215048}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 625243176712}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 625244159752}, {"parameter": "(5,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1236248148744}, {"parameter": "(5,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1236249180936}, {"parameter": "(5, 10)", "name": "CKMP2019_Lem_41", "value": 1252447538240}, {"parameter": "(6, 9)", "name": "CKMP2019_Lem_41", "value": 90189184776}, {"parameter": "(7, 8)", "name": "CKMP2019_Lem_41", "value": 179304244592}, {"parameter": "(8, 7)", "name": "CKMP2019_Lem_41", "value": 356352166472}, {"parameter": "(9, 6)", "name": "CKMP2019_Lem_41", "value": 625243111176}, {"parameter": "(10, 5)", "name": "CKMP2019_Lem_41", "value": 1236248132360}, {"parameter": "(5, 5, 5)", "name": "CKMP2019_Lem_41", "value": 1252381113408}, {"parameter": "(5, 10)", "name": "CKMP2019_Cor_42", "value": 1252447538240}, {"parameter": "(6, 9)", "name": "CKMP2019_Cor_42", "value": 90189184776}, {"parameter": "(7, 8)", "name": "CKMP2019_Cor_42", "value": 179304244592}, {"parameter": "(8, 7)", "name": "CKMP2019_Cor_42", "value": 356352166472}, {"parameter": "(9, 6)", "name": "CKMP2019_Cor_42", "value": 625243111176}, {"parameter": "(10, 5)", "name": "CKMP2019_Cor_42", "value": 1236248132360}, {"parameter": "(5, 5, 5)", "name": "CKMP2019_Cor_42", "value": 1252381113408}, {"parameter": "5", "name": "linkage_ST", "value": 1236086554625}, {"parameter": "6", "name": "linkage_ST", "value": 625202954241}, {"parameter": "7", "name": "linkage_ST", "value": 355945414697}, {"parameter": "8", "name": "linkage_ST", "value": 176093660462}, {"parameter": "9", "name": "linkage_ST", "value": 68719514001}, {"parameter": "10", "name": "linkage_ST", "value": 1099512806600}, {"parameter": "11", "name": "linkage_ST", "value": 18728043}, {"parameter": "12", "name": "linkage_ST", "value": 299769965}, {"parameter": "13", "name": "linkage_ST", "value": 4796825069}, {"parameter": "14", "name": "linkage_ST", "value": 76749681496}, {"parameter": "5", "name": "construction_D", "value": 1236086554624}, {"parameter": "6", "name": "construction_D", "value": 625202954240}, {"parameter": "7", "name": "construction_D", "value": 355945414656}, {"parameter": "8", "name": "construction_D", "value": 176093659136}, {"parameter": "9", "name": "construction_D", "value": 68719476736}, {"parameter": "10", "name": "construction_D", "value": 1099511627776}, {"parameter": "11", "name": "construction_D", "value": 0}, {"parameter": "12", "name": "construction_D", "value": 0}, {"parameter": "13", "name": "construction_D", "value": 0}, {"parameter": "14", "name": "construction_D", "value": 0}, {"parameter": "15", "name": "construction_D", "value": 0}, {"parameter": "5", "name": "linkage_GLT", "value": 1099512806600}, {"parameter": "6", "name": "linkage_GLT", "value": 68719514001}, {"parameter": "7", "name": "linkage_GLT", "value": 176093660462}, {"parameter": "8", "name": "linkage_GLT", "value": 355945414697}, {"parameter": "9", "name": "linkage_GLT", "value": 625202954241}, {"parameter": "10", "name": "linkage_GLT", "value": 1236086554625}, {"parameter": "5", "name": "improved_linkage", "value": 1104308452845}, {"parameter": "6", "name": "improved_linkage", "value": 69019246701}, {"parameter": "7", "name": "improved_linkage", "value": 176112387179}, {"parameter": "8", "name": "improved_linkage", "value": 355946593480}, {"parameter": "9", "name": "improved_linkage", "value": 625202991505}, {"parameter": "10", "name": "improved_linkage", "value": 1236086555950}, {"parameter": "11", "name": "improved_linkage", "value": 613680513065}, {"parameter": "12", "name": "improved_linkage", "value": 306964444161}, {"parameter": "13", "name": "improved_linkage", "value": 153498402209}, {"parameter": "5,0", "name": "generalized_linkage", "value": 1252447538240}, {"parameter": "5,1", "name": "generalized_linkage", "value": 1119850282474}, {"parameter": "5,2", "name": "generalized_linkage", "value": 1101610017531}, {"parameter": "5,3", "name": "generalized_linkage", "value": 1104308452845}, {"parameter": "6,0", "name": "generalized_linkage", "value": 90189184776}, {"parameter": "6,1", "name": "generalized_linkage", "value": 74384904880}, {"parameter": "6,2", "name": "generalized_linkage", "value": 69000397381}, {"parameter": "6,3", "name": "generalized_linkage", "value": 69019246701}, {"parameter": "7,0", "name": "generalized_linkage", "value": 179304244592}, {"parameter": "7,1", "name": "generalized_linkage", "value": 176457589126}, {"parameter": "7,2", "name": "generalized_linkage", "value": 176130202680}, {"parameter": "7,3", "name": "generalized_linkage", "value": 176112387179}, {"parameter": "8,0", "name": "generalized_linkage", "value": 356352166472}, {"parameter": "8,1", "name": "generalized_linkage", "value": 355971518292}, {"parameter": "8,2", "name": "generalized_linkage", "value": 355946569871}, {"parameter": "8,3", "name": "generalized_linkage", "value": 355946593480}, {"parameter": "9,0", "name": "generalized_linkage", "value": 625243111176}, {"parameter": "9,1", "name": "generalized_linkage", "value": 625204574806}, {"parameter": "9,2", "name": "generalized_linkage", "value": 625202995346}, {"parameter": "9,3", "name": "generalized_linkage", "value": 625202991505}, {"parameter": "10,0", "name": "generalized_linkage", "value": 1236248132360}, {"parameter": "10,1", "name": "generalized_linkage", "value": 1236086633830}, {"parameter": "10,2", "name": "generalized_linkage", "value": 1236086555895}, {"parameter": "10,3", "name": "generalized_linkage", "value": 1236086555950}, {"parameter": "11,1", "name": "generalized_linkage", "value": 613680671590}, {"parameter": "11,2", "name": "generalized_linkage", "value": 613680513055}, {"parameter": "11,3", "name": "generalized_linkage", "value": 613680513065}, {"parameter": "12,2", "name": "generalized_linkage", "value": 306964444191}, {"parameter": "12,3", "name": "generalized_linkage", "value": 306964444161}, {"parameter": "13,3", "name": "generalized_linkage", "value": 153498402209}, {"parameter": "[5, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1252447538240}, {"parameter": "[5, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1119850282474}, {"parameter": "[5, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1101610017531}, {"parameter": "[5, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1104308452845}, {"parameter": "[6, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 90189184776}, {"parameter": "[6, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 74384904880}, {"parameter": "[6, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 69000397381}, {"parameter": "[6, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 69019246701}, {"parameter": "[7, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 179304244592}, {"parameter": "[7, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 176457589126}, {"parameter": "[7, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 176130202680}, {"parameter": "[7, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 176112387179}, {"parameter": "[8, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 356352166472}, {"parameter": "[8, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 355971518292}, {"parameter": "[8, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 355946569871}, {"parameter": "[8, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 355946593480}, {"parameter": "[9, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 625243111176}, {"parameter": "[9, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 625204574806}, {"parameter": "[9, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 625202995346}, {"parameter": "[9, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 625202991505}, {"parameter": "[10, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1236248132360}, {"parameter": "[10, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1236086633830}, {"parameter": "[10, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1236086555895}, {"parameter": "[10, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1236086555950}, {"parameter": "[11, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 613680671590}, {"parameter": "[11, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 613680513055}, {"parameter": "[11, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 613680513065}, {"parameter": "[12, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 306964444191}, {"parameter": "[12, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 306964444161}, {"parameter": "[13, 2],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 153498402209}, {"parameter": "[5, 2, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 147238878720}, {"parameter": "[5, 2, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 146568532808}, {"parameter": "[5, 2, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 294669831232}, {"parameter": "[5, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 282203791360}, {"parameter": "[5, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 282261913088}, {"parameter": "[5, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 281591567176}, {"parameter": "[5, 3, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 429692865600}, {"parameter": "[5, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 280593178624}, {"parameter": "[5, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 280651300352}, {"parameter": "[5, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 279980954440}, {"parameter": "[5, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 428082252864}, {"parameter": "[5, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 569685272000}, {"parameter": "[5, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 569135450832}, {"parameter": "[5, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 568491960272}, {"parameter": "[5, 4, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 572810482504}, {"parameter": "[5, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 551582655936}, {"parameter": "[5, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 551032834768}, {"parameter": "[5, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 550389344208}, {"parameter": "[5, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 554707866440}, {"parameter": "[5, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 552153081280}, {"parameter": "[5, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 551603260112}, {"parameter": "[5, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 550959769552}, {"parameter": "[5, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 555278291784}, {"parameter": "[5, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1252381113408}, {"parameter": "[5, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1235690577008}, {"parameter": "[5, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1235586917944}, {"parameter": "[5, 5, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1235721713648}, {"parameter": "[5, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1117481811008}, {"parameter": "[5, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1100791274608}, {"parameter": "[5, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1100687615544}, {"parameter": "[5, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1100822411248}, {"parameter": "[5, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1116643998784}, {"parameter": "[5, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1099953462384}, {"parameter": "[5, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099849803320}, {"parameter": "[5, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1099984599024}, {"parameter": "[5, 5, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1117733469248}, {"parameter": "[5, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1101042932848}, {"parameter": "[5, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1100939273784}, {"parameter": "[5, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1101074069488}, {"parameter": "[5, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 554630514352}, {"parameter": "[5, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 554008949176}, {"parameter": "[5, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 554012322312}, {"parameter": "[5, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 551838353072}, {"parameter": "[5, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 551216787896}, {"parameter": "[5, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 551220161032}, {"parameter": "[5, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 550683477680}, {"parameter": "[5, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 550061912504}, {"parameter": "[5, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 550065285640}, {"parameter": "[5, 6, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 551600424624}, {"parameter": "[5, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 550978859448}, {"parameter": "[5, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 550982232584}, {"parameter": "[5, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 280328764984}, {"parameter": "[5, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 280324872904}, {"parameter": "[5, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 276356525624}, {"parameter": "[5, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 276352633544}, {"parameter": "[5, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 275149044280}, {"parameter": "[5, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 275145152200}, {"parameter": "[5, 7, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 276089044536}, {"parameter": "[5, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 276085152456}, {"parameter": "[5, 8, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 142944041160}, {"parameter": "[5, 8, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 138734116488}, {"parameter": "[5, 8, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 137703139784}, {"parameter": "[5, 8, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 138038380584}, {"parameter": "[6, 2, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 9614260480}, {"parameter": "[6, 2, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 9622326384}, {"parameter": "[6, 2, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 30328078088}, {"parameter": "[6, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 18021490688}, {"parameter": "[6, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 18187417856}, {"parameter": "[6, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18195483760}, {"parameter": "[6, 3, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 38901235464}, {"parameter": "[6, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 17786609664}, {"parameter": "[6, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 17952536832}, {"parameter": "[6, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 17960602736}, {"parameter": "[6, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 38666354440}, {"parameter": "[6, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 46990362560}, {"parameter": "[6, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 39524792272}, {"parameter": "[6, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 39470059352}, {"parameter": "[6, 4, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 40163150960}, {"parameter": "[6, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 41966634944}, {"parameter": "[6, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 34501064656}, {"parameter": "[6, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 34446331736}, {"parameter": "[6, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 35139423344}, {"parameter": "[6, 4, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 41993897920}, {"parameter": "[6, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 34528327632}, {"parameter": "[6, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 34473594712}, {"parameter": "[6, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 35166686320}, {"parameter": "[6, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 53864246512}, {"parameter": "[6, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 53242595768}, {"parameter": "[6, 5, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 53262184392}, {"parameter": "[6, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 35142905072}, {"parameter": "[6, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 34521254328}, {"parameter": "[6, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 34540842952}, {"parameter": "[6, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 35005574384}, {"parameter": "[6, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 34383923640}, {"parameter": "[6, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 34403512264}, {"parameter": "[6, 5, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 35028872432}, {"parameter": "[6, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 34407221688}, {"parameter": "[6, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 34426810312}, {"parameter": "[6, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 17778474488}, {"parameter": "[6, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 17770408584}, {"parameter": "[6, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 17390286328}, {"parameter": "[6, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 17382220424}, {"parameter": "[6, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 17208878584}, {"parameter": "[6, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 17200812680}, {"parameter": "[6, 6, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 17226670584}, {"parameter": "[6, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 17218604680}, {"parameter": "[6, 7, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 9346401160}, {"parameter": "[6, 7, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 8794438920}, {"parameter": "[6, 7, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 8608397928}, {"parameter": "[6, 7, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 8628233096}, {"parameter": "[7, 2, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 22105964800}, {"parameter": "[7, 2, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 22127756104}, {"parameter": "[7, 2, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 25239070064}, {"parameter": "[7, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 46535286784}, {"parameter": "[7, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 44133400832}, {"parameter": "[7, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 44155192136}, {"parameter": "[7, 3, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 47266506096}, {"parameter": "[7, 3, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 46503829504}, {"parameter": "[7, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 44101943552}, {"parameter": "[7, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 44123734856}, {"parameter": "[7, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 47235048816}, {"parameter": "[7, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 44871260880}, {"parameter": "[7, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 44350690840}, {"parameter": "[7, 4, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 44442698568}, {"parameter": "[7, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 44552264400}, {"parameter": "[7, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 44031694360}, {"parameter": "[7, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 44123702088}, {"parameter": "[7, 4, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 44552592080}, {"parameter": "[7, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 44032022040}, {"parameter": "[7, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 44124029768}, {"parameter": "[7, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 46519729720}, {"parameter": "[7, 5, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 46505202184}, {"parameter": "[7, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 44050363960}, {"parameter": "[7, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 44035836424}, {"parameter": "[7, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 44041665080}, {"parameter": "[7, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 44027137544}, {"parameter": "[7, 5, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 44041721400}, {"parameter": "[7, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 44027193864}, {"parameter": "[7, 6, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22091608840}, {"parameter": "[7, 6, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 22026941640}, {"parameter": "[7, 6, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22015444040}, {"parameter": "[7, 6, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22015321128}, {"parameter": "[8, 2, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 44811690240}, {"parameter": "[8, 2, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 44504146184}, {"parameter": "[8, 2, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 44900977224}, {"parameter": "[8, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 44811657472}, {"parameter": "[8, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 44504113416}, {"parameter": "[8, 3, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 44900944456}, {"parameter": "[8, 3, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 44810674432}, {"parameter": "[8, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 44503130376}, {"parameter": "[8, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 44899961416}, {"parameter": "[8, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 44543097624}, {"parameter": "[8, 4, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 44523256072}, {"parameter": "[8, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 44522970904}, {"parameter": "[8, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 44503129352}, {"parameter": "[8, 4, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 44522981144}, {"parameter": "[8, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 44503139592}, {"parameter": "[8, 5, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 44820562440}, {"parameter": "[8, 5, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 44503727560}, {"parameter": "[8, 5, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 44503138280}, {"parameter": "[8, 5, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 44503140040}, {"parameter": "[9, 2, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 39115374344}, {"parameter": "[9, 2, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 39115374344}, {"parameter": "[9, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 39115373320}, {"parameter": "[9, 3, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 39115373320}, {"parameter": "[9, 3, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 39115342600}, {"parameter": "[9, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 39115342600}, {"parameter": "[9, 4, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 39116606408}, {"parameter": "[9, 4, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 39115342568}, {"parameter": "[9, 4, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 39115342888}, {"parameter": "[10, 2, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 38789283592}, {"parameter": "[10, 3, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 38789283560}, {"parameter": "[10, 3, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 38789282600}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 175722725376}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 171604385792}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 171641749760}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 176976494080}, {"parameter": "[5, 2, 4, 4],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40589707776}, {"parameter": "[5, 2, 4, 4],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 39697124096}, {"parameter": "[5, 2, 4, 4],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 39854883072}, {"parameter": "[5, 2, 4, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40589707776}, {"parameter": "[5, 2, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 39697124096}, {"parameter": "[5, 2, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 39854883072}, {"parameter": "[5, 2, 5, 3],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 39713730304}, {"parameter": "[5, 2, 5, 3],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 39688820992}, {"parameter": "[5, 2, 5, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 35595390720}, {"parameter": "[5, 2, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 35570481408}, {"parameter": "[5, 2, 5, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40909377280}, {"parameter": "[5, 2, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40884467968}, {"parameter": "[5, 2, 6, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 17853741312}, {"parameter": "[5, 2, 6, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 17891105280}, {"parameter": "[5, 2, 6, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 23225849600}, {"parameter": "[5, 3, 2, 5],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 174883864576}, {"parameter": "[5, 3, 2, 5],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 170765524992}, {"parameter": "[5, 3, 2, 5],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 176079511552}, {"parameter": "[5, 3, 2, 5],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 174682537984}, {"parameter": "[5, 3, 2, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 170564198400}, {"parameter": "[5, 3, 2, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 175878184960}, {"parameter": "[5, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 43096997888}, {"parameter": "[5, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 38978658304}, {"parameter": "[5, 3, 3, 4],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 44292644864}, {"parameter": "[5, 3, 3, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 43096997888}, {"parameter": "[5, 3, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 38978658304}, {"parameter": "[5, 3, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 44292644864}, {"parameter": "[5, 3, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42895671296}, {"parameter": "[5, 3, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 38777331712}, {"parameter": "[5, 3, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 44091318272}, {"parameter": "[5, 3, 3, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 42895671296}, {"parameter": "[5, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 38777331712}, {"parameter": "[5, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 44091318272}, {"parameter": "[5, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 39244357632}, {"parameter": "[5, 3, 4, 3],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 38978658304}, {"parameter": "[5, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 35126018048}, {"parameter": "[5, 3, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 34860318720}, {"parameter": "[5, 3, 4, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40440004608}, {"parameter": "[5, 3, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40174305280}, {"parameter": "[5, 3, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 39043031040}, {"parameter": "[5, 3, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 38777331712}, {"parameter": "[5, 3, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 34924691456}, {"parameter": "[5, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 34658992128}, {"parameter": "[5, 3, 4, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40238678016}, {"parameter": "[5, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 39972978688}, {"parameter": "[5, 3, 5, 2],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 38978658304}, {"parameter": "[5, 3, 5, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 34860318720}, {"parameter": "[5, 3, 5, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 34897682688}, {"parameter": "[5, 3, 5, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40232427008}, {"parameter": "[5, 3, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 38777331712}, {"parameter": "[5, 3, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 34658992128}, {"parameter": "[5, 3, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 34696356096}, {"parameter": "[5, 3, 5, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40031100416}, {"parameter": "[5, 4, 2, 4],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 41459082688}, {"parameter": "[5, 4, 2, 4],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 41459082688}, {"parameter": "[5, 4, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 40327669184}, {"parameter": "[5, 4, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40327669184}, {"parameter": "[5, 4, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 40363320768}, {"parameter": "[5, 4, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40363320768}, {"parameter": "[5, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37606442432}, {"parameter": "[5, 4, 3, 3],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 37606442432}, {"parameter": "[5, 4, 3, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 37340743104}, {"parameter": "[5, 4, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 37340743104}, {"parameter": "[5, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 36475028928}, {"parameter": "[5, 4, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36475028928}, {"parameter": "[5, 4, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 36209329600}, {"parameter": "[5, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36209329600}, {"parameter": "[5, 4, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 36510680512}, {"parameter": "[5, 4, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36510680512}, {"parameter": "[5, 4, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 36244981184}, {"parameter": "[5, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36244981184}, {"parameter": "[5, 4, 4, 2],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 38112931776}, {"parameter": "[5, 4, 4, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 37220348096}, {"parameter": "[5, 4, 4, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 37378107072}, {"parameter": "[5, 4, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 36981518272}, {"parameter": "[5, 4, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36088934592}, {"parameter": "[5, 4, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36246693568}, {"parameter": "[5, 4, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 37017169856}, {"parameter": "[5, 4, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36124586176}, {"parameter": "[5, 4, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 36282345152}, {"parameter": "[5, 5, 2, 3],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 55575206976}, {"parameter": "[5, 5, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 51359603776}, {"parameter": "[5, 5, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 51333422144}, {"parameter": "[5, 5, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 51367468096}, {"parameter": "[5, 5, 3, 2],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 55471418176}, {"parameter": "[5, 5, 3, 2],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 55446508864}, {"parameter": "[5, 5, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 51255814976}, {"parameter": "[5, 5, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 51230905664}, {"parameter": "[5, 5, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 51229633344}, {"parameter": "[5, 5, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 51204724032}, {"parameter": "[5, 5, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 51263679296}, {"parameter": "[5, 5, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 51238769984}, {"parameter": "[6, 2, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20576083968}, {"parameter": "[6, 2, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20004557056}, {"parameter": "[6, 2, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 20742011136}, {"parameter": "[6, 2, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1752568576}, {"parameter": "[6, 2, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1715695872}, {"parameter": "[6, 2, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1752568576}, {"parameter": "[6, 2, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1715695872}, {"parameter": "[6, 2, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1715695872}, {"parameter": "[6, 2, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1144168960}, {"parameter": "[6, 2, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1881623040}, {"parameter": "[6, 3, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 20558258176}, {"parameter": "[6, 3, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 20558258176}, {"parameter": "[6, 3, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 20543578112}, {"parameter": "[6, 3, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 20543578112}, {"parameter": "[6, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2269396992}, {"parameter": "[6, 3, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2269396992}, {"parameter": "[6, 3, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2269396992}, {"parameter": "[6, 3, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2269396992}, {"parameter": "[6, 3, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2254716928}, {"parameter": "[6, 3, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2254716928}, {"parameter": "[6, 3, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2254716928}, {"parameter": "[6, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2254716928}, {"parameter": "[6, 3, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2269396992}, {"parameter": "[6, 3, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1697870080}, {"parameter": "[6, 3, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2435324160}, {"parameter": "[6, 3, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2254716928}, {"parameter": "[6, 3, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1683190016}, {"parameter": "[6, 3, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2420644096}, {"parameter": "[6, 4, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 9412356032}, {"parameter": "[6, 4, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 9255364544}, {"parameter": "[6, 4, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 9256216512}, {"parameter": "[6, 4, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 8877701824}, {"parameter": "[6, 4, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 8840829120}, {"parameter": "[6, 4, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 8720710336}, {"parameter": "[6, 4, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 8683837632}, {"parameter": "[6, 4, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 8721562304}, {"parameter": "[6, 4, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 8684689600}, {"parameter": "[7, 2, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3933626624}, {"parameter": "[7, 2, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3933626624}, {"parameter": "[7, 2, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1531740672}, {"parameter": "[7, 2, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1531740672}, {"parameter": "[7, 3, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6335479808}, {"parameter": "[7, 3, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6334496768}, {"parameter": "[7, 3, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3933593856}, {"parameter": "[7, 3, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3933593856}, {"parameter": "[7, 3, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3932610816}, {"parameter": "[7, 3, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3932610816}, {"parameter": "[8, 2, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2025374208}, {"parameter": "[5, 2, 3, 2, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 13860864000}, {"parameter": "[5, 2, 3, 3, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 9742524416}, {"parameter": "[5, 2, 3, 3, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 9742524416}, {"parameter": "[5, 3, 2, 3, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 13834649600}, {"parameter": "[5, 3, 2, 3, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 13828358144}, {"parameter": "", "name": "JohnsonLB", "value": 1208151945203}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 20146967682}], "request": [2, 15, 4, 5], "liftedmrdsizebound": 1352430457203, "comments": "", "equal_bound_constraints": []}