(
1 (move abby2 1)
2 (move abby2 1)
3 (move abby2 1)
4 (move abby2 1)
5 (move abby2 1)
6 (move abby2 1)
7 (move abby2 1)
8 (move abby2 1)
9 (move abby2 1)
10 (move abby2 1)
11 (move abby2 1)
12 (move abby2 1)
13 (move abby2 1)
14 (move abby2 1)
15 (move abby2 1)
16 (move abby2 1)
17 (move abby2 1)
18 (move abby2 1)
19 (move abby2 1)
20 (move abby2 1)
21 (move abby2 1)
22 (move abby2 1)
23 (move abby2 1)
24 (move abby2 1)
25 (move abby2 1)
26 (move abby2 1)
27 (move abby2 1)
28 (move abby2 1)
29 (move abby2 1)
30 (move abby2 1)
31 (move abby2 1)
32 (move abby2 1)
33 (move abby2 1)
34 (move abby2 1)
35 (move abby2 1)
36 (move abby2 1)
37 (move abby2 1)
38 (move abby2 1)
39 (move abby2 1)
40 (move abby2 1)
41 (move abby2 1)
42 (move abby2 1)
43 (move abby2 1)
44 (move abby2 1)
45 (move abby2 1)
46 (move abby2 1)
47 (move abby2 1)
48 (move abby2 1)
49 (move abby2 1)
50 (move abby2 1)
51 (move abby2 1)
52 (move abby2 1)
53 (move abby2 1)
54 (move abby2 1)
55 (move abby2 1)
56 (move abby2 1)
57 (move abby2 1)
58 (move abby2 1)
59 (move abby2 1)
60 (move abby2 1)
61 (move abby2 1)
62 (move abby2 1)
63 (move abby2 1)
64 (move abby2 1)
65 (move abby2 1)
66 (move abby2 1)
67 (move abby2 1)
68 (move abby2 1)
69 (move abby2 1)

)