Compare axioms and programs results against exptected outputs

Mihalis Rasoulis · Mihalis Rasoulis · commit b6cf7d4777fb · 2026-02-04T18:35:33.000+02:00
diff --git a/tests/axioms/expected_outputs/fibn.txt b/tests/axioms/expected_outputs/fibn.txt
@@ -0,0 +1 @@
+89
diff --git a/tests/axioms/expected_outputs/list_sum_int63.txt b/tests/axioms/expected_outputs/list_sum_int63.txt
@@ -0,0 +1 @@
+100
diff --git a/tests/axioms/expected_outputs/list_sum_int63_tinfo.txt b/tests/axioms/expected_outputs/list_sum_int63_tinfo.txt
@@ -0,0 +1 @@
+100
diff --git a/tests/axioms/expected_outputs/print_lst.txt b/tests/axioms/expected_outputs/print_lst.txt
@@ -0,0 +1 @@
+[1;2;3;4;5]
diff --git a/tests/axioms/run.sh b/tests/axioms/run.sh
@@ -15,7 +15,8 @@ for f in $FILES
 do
     if [ -x ${f} ]; then
 	echo "Running ${f} ${N} time(s)."
-	./${f} ${N} || exit 1
+	./${f} ${N} > /tmp/${f}.txt
+	diff /tmp/${f}.txt ./expected_outputs/${f}.txt || exit 1
     else
 	echo "${f} not found."
     fi
diff --git a/tests/programs/expected_outputs/binom.txt b/tests/programs/expected_outputs/binom.txt
@@ -0,0 +1 @@
+2001
diff --git a/tests/programs/expected_outputs/clos.txt b/tests/programs/expected_outputs/clos.txt
@@ -0,0 +1 @@
+O
diff --git a/tests/programs/expected_outputs/color.txt b/tests/programs/expected_outputs/color.txt
@@ -0,0 +1 @@
+(pair (Zpos (xI (xO (xI (xI (xO (xO (xO xH)))))))) (S (S (S (S (S (S (S O))))))))
diff --git a/tests/programs/expected_outputs/demo1.txt b/tests/programs/expected_outputs/demo1.txt
@@ -0,0 +1 @@
+(cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true nil))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
diff --git a/tests/programs/expected_outputs/demo2.txt b/tests/programs/expected_outputs/demo2.txt
@@ -0,0 +1 @@
+(cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false nil))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
diff --git a/tests/programs/expected_outputs/lazy_factorial.txt b/tests/programs/expected_outputs/lazy_factorial.txt
@@ -0,0 +1,149 @@
+(cons not create the next generation
+ (cons he next generation
+ (cons -to->start (cons  (cons  (cons t generation
+ (cons  (cons ration
+ (cons not create the next generation
+ (cons eate the next generation
+ (cons Could not create the next generation
+ (cons Could not create the next generation
+ (cons not create the next generation
+ (cons t generation
+ (cons not create the next generation
+ (cons Could not create the next generation
+ (cons not create the next generation
+ (cons ration
+ (cons >limit-to->start (cons Could not create the next generation
+ (cons he next generation
+ (cons t generation
+ (cons ration
+ (cons  (cons tart (cons t generation
+ (cons eate the next generation
+ (cons not create the next generation
+ (cons tart (cons eate the next generation
+ (cons -to->start (cons >limit-to->start (cons not create the next generation
+ (cons Could not create the next generation
+ (cons >limit-to->start (cons >limit-to->start (cons  (cons -to->start (cons t generation
+ (cons ration
+ (cons not create the next generation
+ (cons not create the next generation
+ (cons  (cons not create the next generation
+ (cons he next generation
+ (cons t generation
+ (cons eate the next generation
+ (cons >limit-to->start (cons -to->start (cons -to->start (cons tart (cons eate the next generation
+ (cons Could not create the next generation
+ (cons -to->start (cons t generation
+ (cons tart (cons not create the next generation
+ (cons Could not create the next generation
+ (cons t generation
+ (cons  (cons he next generation
+ (cons not create the next generation
+ (cons t generation
+ (cons  (cons  (cons -to->start (cons he next generation
+ (cons ration
+ (cons t generation
+ (cons tart (cons ration
+ (cons -to->start (cons tart (cons Could not create the next generation
+ (cons t generation
+ (cons Could not create the next generation
+ (cons not create the next generation
+ (cons  (cons ration
+ (cons t generation
+ (cons  (cons ration
+ (cons  (cons -to->start (cons tart (cons eate the next generation
+ (cons not create the next generation
+ (cons he next generation
+ (cons Could not create the next generation
+ (cons Could not create the next generation
+ (cons t generation
+ (cons t generation
+ (cons eate the next generation
+ (cons he next generation
+ (cons not create the next generation
+ (cons  (cons -to->start (cons -to->start (cons -to->start (cons Could not create the next generation
+ (cons not create the next generation
+ (cons  (cons he next generation
+ (cons he next generation
+ (cons -to->start (cons >limit-to->start (cons he next generation
+ (cons t generation
+ (cons he next generation
+ (cons t generation
+ (cons he next generation
+ (cons Could not create the next generation
+ (cons eate the next generation
+ (cons t generation
+ (cons not create the next generation
+ (cons Could not create the next generation
+ (cons tart (cons >limit-to->start (cons Could not create the next generation
+ (cons -to->start (cons eate the next generation
+ (cons tart (cons eate the next generation
+ (cons eate the next generation
+ (cons eate the next generation
+ (cons tart (cons not create the next generation
+ (cons >limit-to->start (cons -to->start (cons ration
+ (cons t generation
+ (cons eate the next generation
+ (cons t generation
+ (cons Could not create the next generation
+ (cons not create the next generation
+ (cons >limit-to->start (cons Could not create the next generation
+ (cons Could not create the next generation
+ (cons eate the next generation
+ (cons eate the next generation
+ (cons  (cons not create the next generation
+ (cons not create the next generation
+ (cons ration
+ (cons Could not create the next generation
+ (cons ration
+ (cons -to->start (cons ration
+ (cons not create the next generation
+ (cons ration
+ (cons tart (cons tart (cons >limit-to->start (cons eate the next generation
+ (cons eate the next generation
+ (cons not create the next generation
+ (cons he next generation
+ (cons Could not create the next generation
+ (cons ration
+ (cons Could not create the next generation
+ (cons tart (cons not create the next generation
+ (cons ration
+ (cons tart (cons >limit-to->start (cons ration
+ (cons not create the next generation
+ (cons he next generation
+ (cons  (cons not create the next generation
+ (cons he next generation
+ (cons he next generation
+ (cons t generation
+ (cons ration
+ (cons tart (cons ration
+ (cons  (cons tart (cons not create the next generation
+ (cons  (cons not create the next generation
+ (cons he next generation
+ (cons tart (cons ration
+ (cons >limit-to->start (cons Could not create the next generation
+ (cons Could not create the next generation
+ (cons Could not create the next generation
+ (cons ration
+ (cons eate the next generation
+ (cons tart (cons Could not create the next generation
+ (cons he next generation
+ (cons tart (cons Could not create the next generation
+ (cons >limit-to->start (cons not create the next generation
+ (cons Could not create the next generation
+ (cons -to->start (cons eate the next generation
+ (cons he next generation
+ (cons ration
+ (cons >limit-to->start (cons he next generation
+ (cons tart (cons tart (cons -to->start (cons -to->start (cons t generation
+ (cons Could not create the next generation
+ (cons Could not create the next generation
+ (cons not create the next generation
+ (cons Could not create the next generation
+ (cons  (cons he next generation
+ (cons -to->start (cons tart (cons tart (cons tart (cons eate the next generation
+ (cons ration
+ (cons eate the next generation
+ (cons he next generation
+ (cons not create the next generation
+ (cons not create the next generation
+ (cons tart (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start (cons >limit-to->start nil)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
diff --git a/tests/programs/expected_outputs/list_sum.txt b/tests/programs/expected_outputs/list_sum.txt
@@ -0,0 +1 @@
+100
diff --git a/tests/programs/expected_outputs/rec_clos.txt b/tests/programs/expected_outputs/rec_clos.txt
diff --git a/tests/programs/expected_outputs/rec_clos2.txt b/tests/programs/expected_outputs/rec_clos2.txt
diff --git a/tests/programs/expected_outputs/sha_fast.txt b/tests/programs/expected_outputs/sha_fast.txt
diff --git a/tests/programs/expected_outputs/vs_easy.txt b/tests/programs/expected_outputs/vs_easy.txt
@@ -0,0 +1 @@
+true
diff --git a/tests/programs/expected_outputs/vs_hard.txt b/tests/programs/expected_outputs/vs_hard.txt
@@ -0,0 +1 @@
+true
diff --git a/tests/programs/run.sh b/tests/programs/run.sh

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+(pair (Zpos (xI (xO (xI (xI (xO (xO (xO xH)))))))) (S (S (S (S (S (S (S O))))))))`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	+(cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons false (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true (cons true nil))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	+(cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false (cons true (cons false nil))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))