(
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)
10 (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)
)