--- /dev/null
+../../../../casl2 count1.casl ../../../../as/app/count1.casl ../../../../as/casl2lib/outa.casl
+0
+1
+1
+2
+1
+2
+2
+3
+1
+2
+2
+3
+2
+3
+3
+4
+1
+2
+2
+3
+2
+3
+3
+4
+2
+3
+3
+4
+3
+4
+4
+5
+1
+2
+2
+3
+2
+3
+3
+4
+2
+3
+3
+4
+3
+4
+4
+5
+2
+3
+3
+4
+3
+4
+4
+5
+3
+4
+4
+5
+4
+5
+5
+6
+1
+2
+2
+3
+2
+3
+3
+4
+2
+3
+3
+4
+3
+4
+4
+5
+2
+3
+3
+4
+3
+4
+4
+5
+3
+4
+4
+5
+4
+5
+5
+6
+2
+3
+3
+4
+3
+4
+4
+5
+3
+4
+4
+5
+4
+5
+5
+6
+3
+4
+4
+5
+4
+5
+5
+6
+4
+5
+5
+6
+5
+6
+6
+7
+1
+2
+2
+3
+2
+3
+3
+4
+2
+3
+3
+4
+3
+4
+4
+5
+2
+3
+3
+4
+3
+4
+4
+5
+3
+4
+4
+5
+4
+5
+5
+6
+2
+3
+3
+4
+3
+4
+4
+5
+3
+4
+4
+5
+4
+5
+5
+6
+3
+4
+4
+5
+4
+5
+5
+6
+4
+5
+5
+6
+5
+6
+6
+7
+2
+3
+3
+4
+3
+4
+4
+5
+3
+4
+4
+5
+4
+5
+5
+6
+3
+4
+4
+5
+4
+5
+5
+6
+4
+5
+5
+6
+5
+6
+6
+7
+3
+4
+4
+5
+4
+5
+5
+6
+4
+5
+5
+6
+5
+6
+6
+7
+4
+5
+5
+6
+5
+6
+6
+7
+5
+6
+6
+7
+6
+7
+7
+8