  ***   Warning: new stack size = 10000000 (9.537 Mbytes).
11a3:5
14a4:3
14a6:3
15a3:2
15a7:2
15a8:4
17a2:2
17a3:2
17a4:4
19a3:3
20a2:2
20a4:2
21a4:2
24a4:2
26a3:3
27a3:3
27a4:3
32a2:2
32a3:2
32a4:2
33a2:2
35a3:3
37b3:3
38a3:3
39a4:2
40a3:2
48a4:2
52a2:2
54a3:3
55a4:2
57b2:2
64a4:2
73a2:2
77b3:3
80a2:2
80b2:2
80b4:2
89b2:2
Total time spent: 1022
