(
0 (move abby1 -1)
1 (move abby1 -1)
2 (move abby1 -1)
3 (move abby1 -1)
4 (move abby1 -1)
5 (move abby1 -1)
6 (move abby1 -1)
7 (move abby1 -1)
8 (move abby1 -1)
9 (move abby1 -1)
0 (move abby1 -1)
11 (move abby1 -1)
12 (move abby1 -1)
13 (move abby1 -1)
14 (move abby1 -1)
15 (move abby1 -1)
16 (move abby1 -1)
17 (move abby1 -1)
18 (move abby1 -1)
19 (move abby1 -1)
20 (move abby1 -1)
21 (move abby1 -1)
22 (move abby1 -1)
23 (move abby1 -1)
24 (move abby1 -1)
25 (move abby1 -1)
26 (move abby1 -1)
27 (move abby1 -1)
28 (move abby1 -1)
29 (move abby1 -1)
30 (move abby1 -1)
)