@@ -6,36 +6,38 @@ _ -: _: a.{~? 10##a.
66_ -: _: _20 +? 3 2 $ 40
77_ -: _: o. _20 +? 13 $ 40
88_ -: _: r.? 13 $ 40
9-
10- _ -: (1 =? 2 3 4 $ 2 ) _: 1 =? 2 3 4 $ 2
11- _ -: (1 =? 2 3 4 $ 2 ) _: a. { ~ ? 10 ## a.
12- _ -: (1 =? 2 3 4 $ 2 ) _: _20 +? 3 2 $ 40
13- _ -: (1 =? 2 3 4 $ 2 ) _: o. _20 +? 13 $ 40
14- _ -: (1 =? 2 3 4 $ 2 ) _: r.? 13 $ 40
15-
16- _ -: (a. { ~ ? 10 ## a. ) _: 1 =? 2 3 4 $ 2
17- _ -: (a. { ~ ? 10 ## a. ) _: a. { ~ ? 10 ## a.
18- _ -: (a. { ~ ? 10 ## a. ) _: _20 +? 3 2 $ 40
19- _ -: (a. { ~ ? 10 ## a. ) _: o. _20 +? 13 $ 40
20- _ -: (a. { ~ ? 10 ## a. ) _: r.? 13 $ 40
21-
22- _ -: (_20 +? 3 2 $ 40 ) _: 1 =? 2 3 4 $ 2
23- _ -: (_20 +? 3 2 $ 40 ) _: a. { ~ ? 10 ## a.
24- _ -: (_20 +? 3 2 $ 40 ) _: _20 +? 3 2 $ 40
25- _ -: (_20 +? 3 2 $ 40 ) _: o. _20 +? 13 $ 40
26- _ -: (_20 +? 3 2 $ 40 ) _: r.? 13 $ 40
9+ __ -: __: 1 =? 2 3 4 $ 2
10+
11+ _ -: (1 =? 2 3 4 $ 2 ) _: 1 =? 2 3 4 $ 2
12+ _ -: (1 =? 2 3 4 $ 2 ) _: a. { ~ ? 10 ## a.
13+ _ -: (1 =? 2 3 4 $ 2 ) _: _20 +? 3 2 $ 40
14+ _ -: (1 =? 2 3 4 $ 2 ) _: o. _20 +? 13 $ 40
15+ _ -: (1 =? 2 3 4 $ 2 ) _: r.? 13 $ 40
16+ __ -: (1 =? 2 3 4 $ 2 ) __: 1 =? 2 3 4 $ 2
17+
18+ _ -: (a. { ~ ? 10 ## a. ) _: 1 =? 2 3 4 $ 2
19+ _ -: (a. { ~ ? 10 ## a. ) _: a. { ~ ? 10 ## a.
20+ _ -: (a. { ~ ? 10 ## a. ) _: _20 +? 3 2 $ 40
21+ _ -: (a. { ~ ? 10 ## a. ) _: o. _20 +? 13 $ 40
22+ _ -: (a. { ~ ? 10 ## a. ) _: r.? 13 $ 40
23+
24+ _ -: (_20 +? 3 2 $ 40 ) _: 1 =? 2 3 4 $ 2
25+ _ -: (_20 +? 3 2 $ 40 ) _: a. { ~ ? 10 ## a.
26+ _ -: (_20 +? 3 2 $ 40 ) _: _20 +? 3 2 $ 40
27+ _ -: (_20 +? 3 2 $ 40 ) _: o. _20 +? 13 $ 40
28+ _ -: (_20 +? 3 2 $ 40 ) _: r.? 13 $ 40
2729
2830_ -: (o. _20 +? 13 $ 40 ) _: 1 =? 2 3 4 $ 2
2931_ -: (o. _20 +? 13 $ 40 ) _: a. { ~ ? 10 ## a.
3032_ -: (o. _20 +? 13 $ 40 ) _: _20 +? 3 2 $ 40
3133_ -: (o. _20 +? 13 $ 40 ) _: o. _20 +? 13 $ 40
3234_ -: (o. _20 +? 13 $ 40 ) _: r.? 13 $ 40
3335
34- _ -: (r.? 13 $ 40 ) _: 1 =? 2 3 4 $ 2
35- _ -: (r.? 13 $ 40 ) _: a. { ~ ? 10 ## a.
36- _ -: (r.? 13 $ 40 ) _: _20 +? 3 2 $ 40
37- _ -: (r.? 13 $ 40 ) _: o. _20 +? 13 $ 40
38- _ -: (r.? 13 $ 40 ) _: r.? 13 $ 40
36+ _ -: (r.? 13 $ 40 ) _: 1 =? 2 3 4 $ 2
37+ _ -: (r.? 13 $ 40 ) _: a. { ~ ? 10 ## a.
38+ _ -: (r.? 13 $ 40 ) _: _20 +? 3 2 $ 40
39+ _ -: (r.? 13 $ 40 ) _: o. _20 +? 13 $ 40
40+ _ -: (r.? 13 $ 40 ) _: r.? 13 $ 40
3941
4042
4143
0 commit comments