perm: (5, 6, 7, 8, 9), val: 13134
perm: (5, 6, 7, 9, 8), val: 13068
perm: (5, 6, 8, 7, 9), val: 13002
perm: (5, 6, 8, 9, 7), val: 13167
perm: (5, 6, 9, 7, 8), val: 13233
perm: (5, 6, 9, 8, 7), val: 13101
perm: (5, 7, 6, 8, 9), val: 12870
perm: (5, 7, 6, 9, 8), val: 12804
perm: (5, 7, 8, 6, 9), val: 13200
perm: (5, 7, 8, 9, 6), val: 13926
perm: (5, 7, 9, 6, 8), val: 13530
perm: (5, 7, 9, 8, 6), val: 13860
perm: (5, 8, 6, 7, 9), val: 13332
perm: (5, 8, 6, 9, 7), val: 13497
perm: (5, 8, 7, 6, 9), val: 13068
perm: (5, 8, 7, 9, 6), val: 13794
perm: (5, 8, 9, 6, 7), val: 14223
perm: (5, 8, 9, 7, 6), val: 13959
perm: (5, 9, 6, 7, 8), val: 13959
perm: (5, 9, 6, 8, 7), val: 13827
perm: (5, 9, 7, 6, 8), val: 13695
perm: (5, 9, 7, 8, 6), val: 14025
perm: (5, 9, 8, 6, 7), val: 14157
perm: (5, 9, 8, 7, 6), val: 13893
perm: (6, 5, 7, 8, 9), val: 12606
perm: (6, 5, 7, 9, 8), val: 12540
perm: (6, 5, 8, 7, 9), val: 12474
perm: (6, 5, 8, 9, 7), val: 12639
perm: (6, 5, 9, 7, 8), val: 12705
perm: (6, 5, 9, 8, 7), val: 12573
perm: (6, 7, 5, 8, 9), val: 13266
perm: (6, 7, 5, 9, 8), val: 13200
perm: (6, 7, 8, 5, 9), val: 14718
perm: (6, 7, 8, 9, 5), val: 16797
perm: (6, 7, 9, 5, 8), val: 15279
perm: (6, 7, 9, 8, 5), val: 16731
perm: (6, 8, 5, 7, 9), val: 13926
perm: (6, 8, 5, 9, 7), val: 14091
perm: (6, 8, 7, 5, 9), val: 14586
perm: (6, 8, 7, 9, 5), val: 16665
perm: (6, 8, 9, 5, 7), val: 16170
perm: (6, 8, 9, 7, 5), val: 16830
perm: (6, 9, 5, 7, 8), val: 14784
perm: (6, 9, 5, 8, 7), val: 14652
perm: (6, 9, 7, 5, 8), val: 15444
perm: (6, 9, 7, 8, 5), val: 16896
perm: (6, 9, 8, 5, 7), val: 16104
perm: (6, 9, 8, 7, 5), val: 16764
perm: (7, 5, 6, 8, 9), val: 13530
perm: (7, 5, 6, 9, 8), val: 13464
perm: (7, 5, 8, 6, 9), val: 13860
perm: (7, 5, 8, 9, 6), val: 14586
perm: (7, 5, 9, 6, 8), val: 14190
perm: (7, 5, 9, 8, 6), val: 14520
perm: (7, 6, 5, 8, 9), val: 13002
perm: (7, 6, 5, 9, 8), val: 12936
perm: (7, 6, 8, 5, 9), val: 14454
perm: (7, 6, 8, 9, 5), val: 16533
perm: (7, 6, 9, 5, 8), val: 15015
perm: (7, 6, 9, 8, 5), val: 16467
perm: (7, 8, 5, 6, 9), val: 15312
perm: (7, 8, 5, 9, 6), val: 16038
perm: (7, 8, 6, 5, 9), val: 14784
perm: (7, 8, 6, 9, 5), val: 16863
perm: (7, 8, 9, 5, 6), val: 18117
perm: (7, 8, 9, 6, 5), val: 17589
perm: (7, 9, 5, 6, 8), val: 16269
perm: (7, 9, 5, 8, 6), val: 16599
perm: (7, 9, 6, 5, 8), val: 15741
perm: (7, 9, 6, 8, 5), val: 17193
perm: (7, 9, 8, 5, 6), val: 18051
perm: (7, 9, 8, 6, 5), val: 17523
perm: (8, 5, 6, 7, 9), val: 14784
perm: (8, 5, 6, 9, 7), val: 14949
perm: (8, 5, 7, 6, 9), val: 14520
perm: (8, 5, 7, 9, 6), val: 15246
perm: (8, 5, 9, 6, 7), val: 15675
perm: (8, 5, 9, 7, 6), val: 15411
perm: (8, 6, 5, 7, 9), val: 14256
perm: (8, 6, 5, 9, 7), val: 14421
perm: (8, 6, 7, 5, 9), val: 14916
perm: (8, 6, 7, 9, 5), val: 16995
perm: (8, 6, 9, 5, 7), val: 16500
perm: (8, 6, 9, 7, 5), val: 17160
perm: (8, 7, 5, 6, 9), val: 15180
perm: (8, 7, 5, 9, 6), val: 15906
perm: (8, 7, 6, 5, 9), val: 14652
perm: (8, 7, 6, 9, 5), val: 16731
perm: (8, 7, 9, 5, 6), val: 17985
perm: (8, 7, 9, 6, 5), val: 17457
perm: (8, 9, 5, 6, 7), val: 17754
perm: (8, 9, 5, 7, 6), val: 17490
perm: (8, 9, 6, 5, 7), val: 17226
perm: (8, 9, 6, 7, 5), val: 17886
perm: (8, 9, 7, 5, 6), val: 18150
perm: (8, 9, 7, 6, 5), val: 17622
perm: (9, 5, 6, 7, 8), val: 16038
perm: (9, 5, 6, 8, 7), val: 15906
perm: (9, 5, 7, 6, 8), val: 15774
perm: (9, 5, 7, 8, 6), val: 16104
perm: (9, 5, 8, 6, 7), val: 16236
perm: (9, 5, 8, 7, 6), val: 15972
perm: (9, 6, 5, 7, 8), val: 15510
perm: (9, 6, 5, 8, 7), val: 15378
perm: (9, 6, 7, 5, 8), val: 16170
perm: (9, 6, 7, 8, 5), val: 17622
perm: (9, 6, 8, 5, 7), val: 16830
perm: (9, 6, 8, 7, 5), val: 17490
perm: (9, 7, 5, 6, 8), val: 16434
perm: (9, 7, 5, 8, 6), val: 16764
perm: (9, 7, 6, 5, 8), val: 15906
perm: (9, 7, 6, 8, 5), val: 17358
perm: (9, 7, 8, 5, 6), val: 18216
perm: (9, 7, 8, 6, 5), val: 17688
perm: (9, 8, 5, 6, 7), val: 17688
perm: (9, 8, 5, 7, 6), val: 17424
perm: (9, 8, 6, 5, 7), val: 17160
perm: (9, 8, 6, 7, 5), val: 17820
perm: (9, 8, 7, 5, 6), val: 18084
perm: (9, 8, 7, 6, 5), val: 17556