{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 3926442969043883795}, {"parameter": "", "name": "singleton", "value": 3774561792168531}, {"parameter": "5", "name": "ilp_2", "value": 1918145075253485}, {"parameter": "7", "name": "ilp_3", "value": 30916873771999085}, {"parameter": "", "name": "anticode", "value": 1918145075253485}, {"parameter": "", "name": "linear_programming_bound", "value": 1918145075253485}, {"parameter": "", "name": "sphere_packing", "value": 3926442969043883795}, {"parameter": "1", "name": "ilp_1", "value": 1918145075253485}, {"parameter": "2", "name": "ilp_1", "value": 1918145075253485}, {"parameter": "3", "name": "ilp_1", "value": 1918145075253485}, {"parameter": "4", "name": "ilp_1", "value": 1918145075253485}, {"parameter": "8", "name": "ilp_4", "value": 30916873771999085}, {"parameter": "9", "name": "ilp_4", "value": 30916873771999085}, {"parameter": "10", "name": "ilp_4", "value": 30916873771999085}, {"parameter": "11", "name": "ilp_4", "value": 30916873771999085}, {"parameter": "12", "name": "ilp_4", "value": 30916873771999085}, {"parameter": "13", "name": "ilp_4", "value": 15276567501262194}, {"parameter": "14", "name": "ilp_4", "value": 7683753361499993}, {"parameter": "15", "name": "ilp_4", "value": 3830665091605021}, {"parameter": "", "name": "johnson_1", "value": 1918145075253485}, {"parameter": "", "name": "johnson_2", "value": 3830665091605021}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 3926442969043883795}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 30916873771999085}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 30916873771999085}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 30916873771999085}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 30916873771999085}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 30916873771999085}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 30916873771999085}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 15276567501262194}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 7683753361499993}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 3830665091605021}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 1918145075253485}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1919067696799545}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1920915605123391}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1924622118696963}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1932078223631500}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1947165099298362}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1978056911357120}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 2042877493453175}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 2186157497943143}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 2542850019529031}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 3774561792168531}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 3926442969043883795}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1918145075253485}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1918145075253485}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1918145075253485}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1918145075253485}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1918145075253485}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 30916873771999085}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 31162004028983103}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 31664113809718916}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 32718492407014043}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 35052937467444154}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 40887541173382191}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 61291693863308051}, {"parameter": "", "name": "improved_johnson", "value": 1918145075253485}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 15428229876818650}], "known_codes": [], "upper_bound": 1918145075253485, "classified": false, "lower_bound": 1256765678235469, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1125899906842624}, {"parameter": "", "name": "sphere_covering", "value": 30461392012692}, {"parameter": "", "name": "graham_sloane", "value": 59913679240771}, {"parameter": "", "name": "multicomponent", "value": 1127000492474433}, {"parameter": "", "name": "construction_ST_B", "value": 1205650846017127}, {"parameter": "q^50 + q^46 + q^44 + 8*q^42 + 3*q^40 + 3*q^39 + 5*q^38 + q^37 + 5*q^36 + 9*q^35 + 18*q^34 + 3*q^33 + 7*q^32 + 9*q^31 + 19*q^30 + 3*q^29 + 12*q^28 + 15*q^27 + 49*q^26 + 14*q^25 + 38*q^24 + 12*q^23 + 25*q^22 + 12*q^21 + 18*q^20 + 19*q^19 + 28*q^18 + 15*q^17 + 17*q^16 + 19*q^15 + 24*q^14 + 6*q^13 + 6*q^12 + 10*q^11 + 20*q^10 + 13*q^9 + 12*q^8 + 4*q^7 + 8*q^6 + 2*q^5 + 7*q^4 + q^3 + q^2 + 1", "name": "greedy_multicomponent", "value": 1256573987482301}, {"parameter": "", "name": "EF_special", "value": 1256703351587805}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1126590173491136}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1202456475807680}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 1205650739308918}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 1256765678235469}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1200959829049344}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 323246192812579}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 1206823885772957}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1167671190354624}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1167671131634368}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1167671123311296}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 42563644174208}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 42563627396992}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 42563611144064}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 94341025055424}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 94341054415552}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 94341025055424}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 205762594627520}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 205762610880448}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 205762627657664}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 324115262746560}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 324115271069632}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 324115329789888}, {"parameter": "(6, 10)", "name": "CKMP2019_Lem_41", "value": 1167671123245760}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 42563610619776}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 94341020861120}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 205762594103232}, {"parameter": "(10, 6)", "name": "CKMP2019_Lem_41", "value": 324115262681024}, {"parameter": "(6, 10)", "name": "CKMP2019_Cor_42", "value": 1167671123245760}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 42563610619776}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 94341020861120}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 205762594103232}, {"parameter": "(10, 6)", "name": "CKMP2019_Cor_42", "value": 324115262681024}, {"parameter": "6", "name": "linkage_GLT", "value": 1125899907143837}, {"parameter": "7", "name": "linkage_GLT", "value": 35184372094818}, {"parameter": "8", "name": "linkage_GLT", "value": 93458488361045}, {"parameter": "9", "name": "linkage_GLT", "value": 205677393870849}, {"parameter": "10", "name": "linkage_GLT", "value": 323424996032513}, {"parameter": "6", "name": "improved_linkage", "value": 1127130614261954}, {"parameter": "7", "name": "improved_linkage", "value": 35222944639477}, {"parameter": "8", "name": "improved_linkage", "value": 93459700852041}, {"parameter": "9", "name": "improved_linkage", "value": 205677412598891}, {"parameter": "10", "name": "improved_linkage", "value": 323424996333725}, {"parameter": "11", "name": "improved_linkage", "value": 314204422674274}, {"parameter": "12", "name": "improved_linkage", "value": 317847261937749}, {"parameter": "13", "name": "improved_linkage", "value": 157993167441921}, {"parameter": "14", "name": "improved_linkage", "value": 78765274837121}, {"parameter": "6,0", "name": "generalized_linkage", "value": 1167671123245760}, {"parameter": "6,1", "name": "generalized_linkage", "value": 1136689806624472}, {"parameter": "6,2", "name": "generalized_linkage", "value": 1128574662167310}, {"parameter": "6,3", "name": "generalized_linkage", "value": 1126169914697139}, {"parameter": "6,4", "name": "generalized_linkage", "value": 1127130614261954}, {"parameter": "7,0", "name": "generalized_linkage", "value": 42563610619776}, {"parameter": "7,1", "name": "generalized_linkage", "value": 36732108100104}, {"parameter": "7,2", "name": "generalized_linkage", "value": 35367270156770}, {"parameter": "7,3", "name": "generalized_linkage", "value": 35202559455047}, {"parameter": "7,4", "name": "generalized_linkage", "value": 35222944639477}, {"parameter": "8,0", "name": "generalized_linkage", "value": 94341020861120}, {"parameter": "8,1", "name": "generalized_linkage", "value": 93588365453648}, {"parameter": "8,2", "name": "generalized_linkage", "value": 93470842310942}, {"parameter": "8,3", "name": "generalized_linkage", "value": 93459068930293}, {"parameter": "8,4", "name": "generalized_linkage", "value": 93459700852041}, {"parameter": "9,0", "name": "generalized_linkage", "value": 205762594103232}, {"parameter": "9,1", "name": "generalized_linkage", "value": 205684967137608}, {"parameter": "9,2", "name": "generalized_linkage", "value": 205677888781356}, {"parameter": "9,3", "name": "generalized_linkage", "value": 205677412847267}, {"parameter": "9,4", "name": "generalized_linkage", "value": 205677412598891}, {"parameter": "10,0", "name": "generalized_linkage", "value": 324115262681024}, {"parameter": "10,1", "name": "generalized_linkage", "value": 323425357064744}, {"parameter": "10,2", "name": "generalized_linkage", "value": 323425010143022}, {"parameter": "10,3", "name": "generalized_linkage", "value": 323424996409630}, {"parameter": "10,4", "name": "generalized_linkage", "value": 323424996333725}, {"parameter": "11,1", "name": "generalized_linkage", "value": 314205876106792}, {"parameter": "11,2", "name": "generalized_linkage", "value": 314204423000950}, {"parameter": "11,3", "name": "generalized_linkage", "value": 314204422673643}, {"parameter": "11,4", "name": "generalized_linkage", "value": 314204422674274}, {"parameter": "12,2", "name": "generalized_linkage", "value": 317847262603638}, {"parameter": "12,3", "name": "generalized_linkage", "value": 317847261937727}, {"parameter": "12,4", "name": "generalized_linkage", "value": 317847261937749}, {"parameter": "13,3", "name": "generalized_linkage", "value": 157993167441983}, {"parameter": "13,4", "name": "generalized_linkage", "value": 157993167441921}, {"parameter": "14,4", "name": "generalized_linkage", "value": 78765274837121}, {"parameter": "[6, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1167671123245760}, {"parameter": "[6, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1136689806624472}, {"parameter": "[6, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1128574662167310}, {"parameter": "[6, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1126169914697139}, {"parameter": "[6, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1127130614261954}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 42563610619776}, {"parameter": "[7, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 36732108100104}, {"parameter": "[7, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 35367270156770}, {"parameter": "[7, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 35202559455047}, {"parameter": "[7, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 35222944639477}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 94341020861120}, {"parameter": "[8, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 93588365453648}, {"parameter": "[8, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 93470842310942}, {"parameter": "[8, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 93459068930293}, {"parameter": "[8, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 93459700852041}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205762594103232}, {"parameter": "[9, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205684967137608}, {"parameter": "[9, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 205677888781356}, {"parameter": "[9, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 205677412847267}, {"parameter": "[9, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 205677412598891}, {"parameter": "[10, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 324115262681024}, {"parameter": "[10, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 323425357064744}, {"parameter": "[10, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 323425010143022}, {"parameter": "[10, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 323424996409630}, {"parameter": "[10, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 323424996333725}, {"parameter": "[11, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 314205876106792}, {"parameter": "[11, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 314204423000950}, {"parameter": "[11, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 314204422673643}, {"parameter": "[11, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 314204422674274}, {"parameter": "[12, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 317847262603638}, {"parameter": "[12, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 317847261937727}, {"parameter": "[12, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 317847261937749}, {"parameter": "[13, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 157993167441983}, {"parameter": "[13, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 157993167441921}, {"parameter": "[14, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 78765274837121}, {"parameter": "[6, 2, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 72222656901120}, {"parameter": "[6, 2, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 72298374364032}, {"parameter": "[6, 2, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 113239472208576}, {"parameter": "[6, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 141546026172416}, {"parameter": "[6, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 141732407619584}, {"parameter": "[6, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 141808125082496}, {"parameter": "[6, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 182749222927040}, {"parameter": "[6, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 141339867742208}, {"parameter": "[6, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 141526249189376}, {"parameter": "[6, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 141601966652288}, {"parameter": "[6, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 182543064496832}, {"parameter": "[6, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 320196908679168}, {"parameter": "[6, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 284411670822912}, {"parameter": "[6, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 284598052270080}, {"parameter": "[6, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 284673769732992}, {"parameter": "[6, 4, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 325614867577536}, {"parameter": "[6, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 317835750408192}, {"parameter": "[6, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 282050512551936}, {"parameter": "[6, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 282236893999104}, {"parameter": "[6, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 282312611462016}, {"parameter": "[6, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 323253709306560}, {"parameter": "[6, 4, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 317919502270464}, {"parameter": "[6, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 282134264414208}, {"parameter": "[6, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 282320645861376}, {"parameter": "[6, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 282396363324288}, {"parameter": "[6, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 323337461168832}, {"parameter": "[6, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 299047723958784}, {"parameter": "[6, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 291202229917056}, {"parameter": "[6, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 291176297379392}, {"parameter": "[6, 5, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 291971053386624}, {"parameter": "[6, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 289418776379904}, {"parameter": "[6, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 281573282338176}, {"parameter": "[6, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 281547349800512}, {"parameter": "[6, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 282342105807744}, {"parameter": "[6, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 289391748284928}, {"parameter": "[6, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 281546254243200}, {"parameter": "[6, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 281520321705536}, {"parameter": "[6, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 282315077712768}, {"parameter": "[6, 5, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 289482194256384}, {"parameter": "[6, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 281636700214656}, {"parameter": "[6, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 281610767676992}, {"parameter": "[6, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 282405523684224}, {"parameter": "[6, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 318134154953856}, {"parameter": "[6, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 317829204952128}, {"parameter": "[6, 6, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 317840021732544}, {"parameter": "[6, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 281931928044672}, {"parameter": "[6, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 281626978042944}, {"parameter": "[6, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 281637794823360}, {"parameter": "[6, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 281830052070528}, {"parameter": "[6, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 281525102068800}, {"parameter": "[6, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 281535918849216}, {"parameter": "[6, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 281791881806976}, {"parameter": "[6, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 281486931805248}, {"parameter": "[6, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 281497748585664}, {"parameter": "[6, 6, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 281859858629760}, {"parameter": "[6, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 281554908628032}, {"parameter": "[6, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 281565725408448}, {"parameter": "[6, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 141307588153920}, {"parameter": "[6, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 141305646680512}, {"parameter": "[6, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 140940156015168}, {"parameter": "[6, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 140938214541760}, {"parameter": "[6, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 140793656660544}, {"parameter": "[6, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 140791715187136}, {"parameter": "[6, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 140748204884544}, {"parameter": "[6, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 140746263411136}, {"parameter": "[6, 7, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 140816278569536}, {"parameter": "[6, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 140814337096128}, {"parameter": "[6, 8, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 71123283950016}, {"parameter": "[6, 8, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 70589602860480}, {"parameter": "[6, 8, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 70411409310528}, {"parameter": "[6, 8, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 70377273017600}, {"parameter": "[6, 8, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 70446482283520}, {"parameter": "[7, 2, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 2312278962176}, {"parameter": "[7, 2, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2338166701760}, {"parameter": "[7, 2, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 9612621524864}, {"parameter": "[7, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 9463494606848}, {"parameter": "[7, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 4493048606720}, {"parameter": "[7, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4518936346304}, {"parameter": "[7, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11793391169408}, {"parameter": "[7, 3, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 9448462221312}, {"parameter": "[7, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 4478016221184}, {"parameter": "[7, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4503903960768}, {"parameter": "[7, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11778358783872}, {"parameter": "[7, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 9611234770944}, {"parameter": "[7, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4640788770816}, {"parameter": "[7, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4666676510400}, {"parameter": "[7, 4, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11941131333504}, {"parameter": "[7, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 9447640137728}, {"parameter": "[7, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4477194137600}, {"parameter": "[7, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4503081877184}, {"parameter": "[7, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11777536700288}, {"parameter": "[7, 4, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 9448814542848}, {"parameter": "[7, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4478368542720}, {"parameter": "[7, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4504256282304}, {"parameter": "[7, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11778711105408}, {"parameter": "[7, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 6289907841408}, {"parameter": "[7, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 5748730809152}, {"parameter": "[7, 5, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 5849816268480}, {"parameter": "[7, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4945481890176}, {"parameter": "[7, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4404304857920}, {"parameter": "[7, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4505390317248}, {"parameter": "[7, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4943256025472}, {"parameter": "[7, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4402078993216}, {"parameter": "[7, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4503164452544}, {"parameter": "[7, 5, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4944490985856}, {"parameter": "[7, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4403313953600}, {"parameter": "[7, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4504399412928}, {"parameter": "[7, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 9456017726016}, {"parameter": "[7, 6, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 9448621228992}, {"parameter": "[7, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 4427722414656}, {"parameter": "[7, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4420325917632}, {"parameter": "[7, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4410075888192}, {"parameter": "[7, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4402679391168}, {"parameter": "[7, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4407043537472}, {"parameter": "[7, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4399647040448}, {"parameter": "[7, 6, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4407909526080}, {"parameter": "[7, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4400513029056}, {"parameter": "[7, 7, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2279151973312}, {"parameter": "[7, 7, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2228208596416}, {"parameter": "[7, 7, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2203997398720}, {"parameter": "[7, 7, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2200545169536}, {"parameter": "[7, 7, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2201454599808}, {"parameter": "[8, 2, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 6506724323328}, {"parameter": "[8, 2, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 5852611999680}, {"parameter": "[8, 2, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6724761764544}, {"parameter": "[8, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 6506170675200}, {"parameter": "[8, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 5852058351552}, {"parameter": "[8, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6724208116416}, {"parameter": "[8, 3, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 6505667358720}, {"parameter": "[8, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5851555035072}, {"parameter": "[8, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6723704799936}, {"parameter": "[8, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 6516402155520}, {"parameter": "[8, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5862289831872}, {"parameter": "[8, 4, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6734439596736}, {"parameter": "[8, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6505658707968}, {"parameter": "[8, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5851546384320}, {"parameter": "[8, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6723696149184}, {"parameter": "[8, 4, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6505672863744}, {"parameter": "[8, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5851560540096}, {"parameter": "[8, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6723710304960}, {"parameter": "[8, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 5961173854016}, {"parameter": "[8, 5, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 5940408383424}, {"parameter": "[8, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5872471721792}, {"parameter": "[8, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5851706251200}, {"parameter": "[8, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5872314521408}, {"parameter": "[8, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5851549050816}, {"parameter": "[8, 5, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5872328247104}, {"parameter": "[8, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5851562776512}, {"parameter": "[8, 6, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6516033316800}, {"parameter": "[8, 6, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 5852926853568}, {"parameter": "[8, 6, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5851761374016}, {"parameter": "[8, 6, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5851550134080}, {"parameter": "[8, 6, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5851557535488}, {"parameter": "[9, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 6512635568064}, {"parameter": "[9, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6512635568064}, {"parameter": "[9, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6512635305920}, {"parameter": "[9, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6512635305920}, {"parameter": "[9, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 6512619052992}, {"parameter": "[9, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6512619052992}, {"parameter": "[9, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6512957439936}, {"parameter": "[9, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6512957439936}, {"parameter": "[9, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6512619048896}, {"parameter": "[9, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6512619048896}, {"parameter": "[9, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 6512619139008}, {"parameter": "[9, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6512619139008}, {"parameter": "[9, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 6518321015232}, {"parameter": "[9, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 6512624082240}, {"parameter": "[9, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 6512619133568}, {"parameter": "[9, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 6512619173952}, {"parameter": "[10, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5743782473664}, {"parameter": "[10, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5743782469568}, {"parameter": "[10, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5743782215616}, {"parameter": "[10, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5743792835904}, {"parameter": "[10, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5743782215552}, {"parameter": "[10, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5743782216960}, {"parameter": "[6, 2, 4, 4],[0, 4, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 41388043141120}, {"parameter": "[6, 2, 4, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40828898799616}, {"parameter": "[6, 2, 4, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 41574424588288}, {"parameter": "[6, 2, 5, 3],[0, 4, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 5061411557376}, {"parameter": "[6, 2, 5, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 5043660943360}, {"parameter": "[6, 2, 5, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5061411557376}, {"parameter": "[6, 2, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5043660943360}, {"parameter": "[6, 2, 6, 2],[0, 4, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5043660943360}, {"parameter": "[6, 2, 6, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4484516601856}, {"parameter": "[6, 2, 6, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5230042390528}, {"parameter": "[6, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 41326839857152}, {"parameter": "[6, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 41326839857152}, {"parameter": "[6, 3, 3, 4],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 41320397406208}, {"parameter": "[6, 3, 3, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 41320397406208}, {"parameter": "[6, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5541602000896}, {"parameter": "[6, 3, 4, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5541602000896}, {"parameter": "[6, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5541602000896}, {"parameter": "[6, 3, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5541602000896}, {"parameter": "[6, 3, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5535159549952}, {"parameter": "[6, 3, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5535159549952}, {"parameter": "[6, 3, 4, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5535159549952}, {"parameter": "[6, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5535159549952}, {"parameter": "[6, 3, 5, 2],[0, 3, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 5541602000896}, {"parameter": "[6, 3, 5, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4982457659392}, {"parameter": "[6, 3, 5, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5727983448064}, {"parameter": "[6, 3, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 5535159549952}, {"parameter": "[6, 3, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4976015208448}, {"parameter": "[6, 3, 5, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5721540997120}, {"parameter": "[6, 4, 2, 4],[0, 2, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 77141572059136}, {"parameter": "[6, 4, 2, 4],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 77104678961152}, {"parameter": "[6, 4, 2, 4],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 77105987584000}, {"parameter": "[6, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 41356334202880}, {"parameter": "[6, 4, 3, 3],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 41356334202880}, {"parameter": "[6, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 41319441104896}, {"parameter": "[6, 4, 3, 3],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 41319441104896}, {"parameter": "[6, 4, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 41320749727744}, {"parameter": "[6, 4, 3, 3],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 41320749727744}, {"parameter": "[6, 4, 4, 2],[0, 2, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 41356334202880}, {"parameter": "[6, 4, 4, 2],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 40797189861376}, {"parameter": "[6, 4, 4, 2],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 41542715650048}, {"parameter": "[6, 4, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 41319441104896}, {"parameter": "[6, 4, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 40760296763392}, {"parameter": "[6, 4, 4, 2],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 41505822552064}, {"parameter": "[6, 4, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 41320749727744}, {"parameter": "[6, 4, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 40761605386240}, {"parameter": "[6, 4, 4, 2],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 41507131174912}, {"parameter": "[7, 2, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5198031155200}, {"parameter": "[7, 2, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5198031155200}, {"parameter": "[7, 2, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 227585155072}, {"parameter": "[7, 2, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227585155072}, {"parameter": "[7, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 10167655071744}, {"parameter": "[7, 3, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 10167420190720}, {"parameter": "[7, 3, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5197209071616}, {"parameter": "[7, 3, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5197209071616}, {"parameter": "[7, 3, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5196974190592}, {"parameter": "[7, 3, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5196974190592}, {"parameter": "[8, 2, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1420274950144}, {"parameter": "", "name": "JohnsonLB", "value": 1246032059569979}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 40043783250736}], "request": [2, 16, 4, 6], "liftedmrdsizebound": 1397852679049421, "comments": "", "equal_bound_constraints": []}