More failing tests

19 files changed, 81 insertions, 6 deletions

diff --git a/test/aoc.bla b/test/aoc.blc.i
index edc2c7a..edc2c7a 100644
--- a/test/aoc.bla
+++ b/test/aoc.blc.i
diff --git a/test/aoc.blc.io.in b/test/aoc.blc.io.in
new file mode 100644
index 0000000..2094f91
--- /dev/null
+++ b/test/aoc.blc.io.in
@@ -0,0 +1,14 @@
+1000
+2000
+3000
+
+4000
+
+5000
+6000
+
+7000
+8000
+9000
+
+10000
diff --git a/test/churchadd1.blc b/test/churchadd1.blc
index 3f81a04..f620e67 100644
--- a/test/churchadd1.blc
+++ b/test/churchadd1.blc
@@ -1 +1 @@
-000101000000000101111101100101111011010010100000000010111110110010111101101001010000000001011111011001011110110100101000000000101111101100101111011010000001110011100111001110011100111001110011100111001110100000011100111001110011100111001110011100111001110011101000000111001110011100111001110011100111001110011100111010000001110011100111001110011100111001110011100111001110100000011100111010
+000101000000000101111101100101111011010010100000000010111110110010111101101001010000000001011111011001011110110100101000000000101111101100101111011010000001110011100111001110011100111001110011100111001110100000011100111001110011100111001110011100111001110011101000000111001110011100111001110011100111001110011100111010000001110011100111001110011100111001110011100111001110100000011100111010
\ No newline at end of file
diff --git a/test/churchadd2.blc b/test/churchadd2.blc
index f6806bb..dfeff36 100644
--- a/test/churchadd2.blc
+++ b/test/churchadd2.blc
@@ -1 +1 @@
-0001010000000001011111011001011110110100101000000000101111101100101111011010010100000000010111110110010111101101001010000000001011111011001011110110100101000000000101111101100101111011010000001110011100111001110011100111001110011100111001110100000011100111001110011100111001110011100111001110011101000000111001110011100111001110011100111001110011100111010000001110011100111001110011101000000111001110011100111001110100000011100111010
+0001010000000001011111011001011110110100101000000000101111101100101111011010010100000000010111110110010111101101001010000000001011111011001011110110100101000000000101111101100101111011010000001110011100111001110011100111001110011100111001110100000011100111001110011100111001110011100111001110011101000000111001110011100111001110011100111001110011100111010000001110011100111001110011101000000111001110011100111001110100000011100111010
\ No newline at end of file
diff --git a/test/churcharith.blc b/test/churcharith.blc
index 68a0c60..f3537eb 100644
--- a/test/churcharith.blc
+++ b/test/churcharith.blc
@@ -1 +1 @@
-0001010000000001011111011001011110110100101000000000101111101100101111011010010100000000010111110110010111101101001010000000001011111011001011110110100101000000000101111101100101111011010010100000000010111110110010111101101001010000000001011111011001011110110100000011100111001110011100111001110011100111001110011101000000111001110011100111001110011100111001110011100111010010100000000010111110110010111101101000000111001110011100111001110011100111001110011100111010000001110011100111001110011100111001110011100111001110100101000000000101111101100101111011010010100000001111001110100101000000000101111101100101111011010000001110011100111001110011100111001110011100111001110100000011100111001110011100111001110011100111001110011101001010000000001011111011001011110110100000011100111001110011100111001110011100111001110011101000000111001110011100111001110011100111001110011100111010000001110011100111001110011100111001110011100111001110011100111001110011100111001110011100111001110011101001010000000001011111011001011110110100000011100111001110011100111001110011100111001110011101000000111001110011100111001110011100111001110011100111010010100000000010111110110010111101101001010000000111100111010010100000000010111110110010111101101000000111001110011100111001110011100111001110011100111010000001110011100111001110011100111001110011100111001110100101000000000101111101100101111011010000001110011100111001110011100111001110011100111001110100000011100111001110011100111001110011100111001110011101000000111001110011100111001110011100111001110011100111001110011100111001110011100111001110011100111001110100101000000000101111101100101111011010000001110011100111001110011100111001110011100111001110100000011100111001110011100111001110011100111001110011101001010000000001011111011001011110110100000011100111001110011100111001110011100111001110011101000000111001110011100111001110011100111001110011100111010
+0001010000000001011111011001011110110100101000000000101111101100101111011010010100000000010111110110010111101101001010000000001011111011001011110110100101000000000101111101100101111011010010100000000010111110110010111101101001010000000001011111011001011110110100000011100111001110011100111001110011100111001110011101000000111001110011100111001110011100111001110011100111010010100000000010111110110010111101101000000111001110011100111001110011100111001110011100111010000001110011100111001110011100111001110011100111001110100101000000000101111101100101111011010010100000001111001110100101000000000101111101100101111011010000001110011100111001110011100111001110011100111001110100000011100111001110011100111001110011100111001110011101001010000000001011111011001011110110100000011100111001110011100111001110011100111001110011101000000111001110011100111001110011100111001110011100111010000001110011100111001110011100111001110011100111001110011100111001110011100111001110011100111001110011101001010000000001011111011001011110110100000011100111001110011100111001110011100111001110011101000000111001110011100111001110011100111001110011100111010010100000000010111110110010111101101001010000000111100111010010100000000010111110110010111101101000000111001110011100111001110011100111001110011100111010000001110011100111001110011100111001110011100111001110100101000000000101111101100101111011010000001110011100111001110011100111001110011100111001110100000011100111001110011100111001110011100111001110011101000000111001110011100111001110011100111001110011100111001110011100111001110011100111001110011100111001110100101000000000101111101100101111011010000001110011100111001110011100111001110011100111001110100000011100111001110011100111001110011100111001110011101001010000000001011111011001011110110100000011100111001110011100111001110011100111001110011101000000111001110011100111001110011100111001110011100111010
\ No newline at end of file
diff --git a/test/collatz.blc b/test/collatz.blc
new file mode 100644
index 0000000..5eb2384
--- /dev/null
+++ b/test/collatz.blc
@@ -0,0 +1 @@
+0001000101000100011100001011101101000011100001011101101000000101010100000101000101011000010001010110000011000000010001001010001101000000101011000000011100001000000000111001010111110111011010010001011111011110101000010000000001100101011111011101101001000101111101111010101000000101011000001000011110100000001000000101011001110100000001000011110101100100010101100000001110000000000111011110000000000110111101010000000011101110000011001110010100010001110000101110110100001110000101110110100000010101010100000001111001110100000000101111010110000101011000001000000011000000010100111001000100011000001001010110010100000001011011101100000001110000000111000011000000101000000010110111011001000000000111001010111110111011010110110000110000001010000000101101110110010000000001100101011111011101101011011010100101000001010001000001011101000001001010110000001011001000100011000001001010110010100000001011011101100000001110000000011101110000110000001010000000101101110110010000000001110010101111101110110101100100000000011001010111110111011010100001100000010100000001011011101100100000000011001010111110111011010110010000000001110010101111101110110101100101000110100000010101100000001110000100000000011100101011111011101101001000101111101111010100001000000000110010101111101110110100100010111110111101010110010100011010000001010110000000111000010000000001110010101111101110110100100010111110111101010000100000000011001010111110111011010010001011111011110101011000000001010111001000101110010000000001100101011111011101101001011111010000011001000000000111001010111110111011010010111110100000101100001010000000000010101111110110100101011111011101101011001011111010000011000010111001000000000110010101111101110110100101111101000001100100000000011100101011111011101101001011111010000010000000010101110010001010000000000010101111110110100101011111011101101011001011111010000010110000101110010000000001100101011111011101101001011111010000011001000000000111001010111110111011010010111110100000100001010000000000010101111110110100101011111011101101011001011111010000010110010001010110000000111000000000011101111000000000011011110100100000000011100101011111011101101010100101010101000000011110011101000000001011110101100001010110000010000000110000000101001010001000111000010111011010000111000010111011010000001010101010000000111100111010000000010111101011000010101100000100000001100000001010011100100010001100000100101011001010000000101101110110000000111000000011100001100000010100000001011011101100100000000011100101011111011101101011011000011000000101000000010110111011001000000000110010101111101110110101101101010010001000110000010010101100101000000010110111011000000011100000001110000110000001010000000101101110110010000000001110010101111101110110101101100001100000010100000001011011101100100000000011001010111110111011010110110101000000001100110011001100111001100110011001110011100111001100110011101110
\ No newline at end of file
diff --git a/test/echo.blc.io b/test/echo.blc.io
new file mode 100644
index 0000000..82bfd11
--- /dev/null
+++ b/test/echo.blc.io
@@ -0,0 +1 @@
+0010
\ No newline at end of file
diff --git a/test/echo.blc.io.in b/test/echo.blc.io.in
new file mode 100644
index 0000000..4a3fbc8
--- /dev/null
+++ b/test/echo.blc.io.in
@@ -0,0 +1 @@
+fckafd
diff --git a/test/huh.blc.io b/test/huh.blc.io
new file mode 100644
index 0000000..36edb97
--- /dev/null
+++ b/test/huh.blc.io
@@ -0,0 +1 @@
+000101000001010001000001011101000000010010101011000000101011001000100011000001001010101100101000000010110111011000000000111100000000001111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001110010101011111101111011101101010000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010001000110000010010101011001010000000101101110110000000001111000000000011101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001111001010101111110111101110110101000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011100101010111111011110111011010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100000000101010111001000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001011000010101110010000000000011001010101111110111101110110100101111101000000011100100000000000111100101010111111011110111011010010111110100000001001000000000001110010101011111101111011101101001011111010000000111000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001000000001010101110010001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000101100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001000010101110010000000000011100101010111111011110111011010010111110100000001001000000000001100101010111111011110111011010010111110100000001100100000000000111100101010111111011110111011010010111110100000001100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100000000101010111001000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100100010101011000000000111100000000000011110111110000000000001110111110000000000001101111101001010100010001110000101110110100001110000101110110100000000101100000000101111111001000100011000001001010101100101000000010110111011000000000111100000000001110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000111100101010111111011110111011010100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001110010101011111101111011101101011011111011011000000000111100101000000010110111011000100101000000010110111011000100100010100000001011011101101000001000100000000011110
\ No newline at end of file
diff --git a/test/huh.blc.io.in b/test/huh.blc.io.in
new file mode 100644
index 0000000..8a0f05e
--- /dev/null
+++ b/test/huh.blc.io.in
@@ -0,0 +1 @@
+01
diff --git a/test/huh.bruijn b/test/huh.bruijn
new file mode 100644
index 0000000..7db06c7
--- /dev/null
+++ b/test/huh.bruijn
@@ -0,0 +1,18 @@
+:import std/Number/Ternary .
+:import std/List .
+
+# main map [ternary! (0 - 0)]
+
+# main [sub (+1b) (+1b)]
+
+# main [pad (+1b) (+2b)]
+
+# main [pad-right (+6) 'a' "hah"]
+
+# main [|((+6) - ∀"hah")]
+
+# main [(+1) - ∀"aa"]
+
+# main [∀([0] : ([0] : {}[0])) - (+0)]
+
+main [∀([0] : ([0] : {}[0])) + (+0)]
diff --git a/test/reverse.blc.io b/test/reverse.blc.io
new file mode 100644
index 0000000..2a1a051
--- /dev/null
+++ b/test/reverse.blc.io
@@ -0,0 +1 @@
+0001010101000100011100001011101101000011100001011101101000000000010110000000010101111111101111110010111111101111101110110110010000000101111010110000000010110111011000001010
\ No newline at end of file
diff --git a/test/reverse.blc.io.in b/test/reverse.blc.io.in
new file mode 100644
index 0000000..ce52162
--- /dev/null
+++ b/test/reverse.blc.io.in
@@ -0,0 +1 @@
+dfakcf
diff --git a/test/run b/test/run
index efdf9ba..5ef28da 100755
--- a/test/run
+++ b/test/run
@@ -3,7 +3,7 @@
 set -e
 
 FAIL="\033[0;31m[FAIL]\033[0m "
-SUCC="\033[0;32m[SUCC]\033[0m "
+SUCC="\033[0;32m[ OK ]\033[0m "
 
 rm -f ../build/*.out ../build/*.blc ../build/*.bloc
 
@@ -14,4 +14,37 @@ for file in *.blc; do
 	bruijn -E ../build/"$file".bloc.blc &>../build/"$file".bloc.blc.out
 	cmp ../build/"$file".out ../build/"$file".bloc.blc.out && printf "$SUCC" || printf "$FAIL"
 	echo "blc res cmp on $file"
+
+	../build/blocade -i ../build/"$file".bloc -t unblc -o ../build/"$file".bloc.unblc
+	cmp ../build/"$file".bloc.unblc "$file" && printf "$SUCC" || printf "$FAIL"
+	echo "unblc inp cmp on $file"
+done
+
+for file in *.blc.io; do
+	bloc --from-blc -i "$file" -o ../build/"$file".bloc
+	../build/blocade -i ../build/"$file".bloc -t blc -o ../build/"$file".bloc.blc
+	cat "$file".in | bruijn -E "$file" &>../build/"$file".out
+	cat "$file".in | bruijn -E ../build/"$file".bloc.blc &>../build/"$file".bloc.blc.out
+	cmp ../build/"$file".out ../build/"$file".bloc.blc.out && printf "$SUCC" || printf "$FAIL"
+	echo "blc res cmp on $file"
+
+	../build/blocade -i ../build/"$file".bloc -t unblc -o ../build/"$file".bloc.unblc
+	cmp ../build/"$file".bloc.unblc "$file" && printf "$SUCC" || printf "$FAIL"
+	echo "unblc inp cmp on $file"
+done
+
+echo
+echo "----------"
+echo "Benchmarks"
+echo "----------"
+echo
+
+INDENT=8
+printf "%-${INDENT}s\tbloc\tunbblc\tbblc\n" "file"
+for file in *.blc.io *.blc; do
+	base="$(basename "$(basename "$file" .blc)" .blc.io)" # beautiful
+	unblc=$(stat -c%s ../build/"$file".bloc.unblc) # minus 1 to remove the newline
+	bloc=$(($(stat -c%s ../build/"$file".bloc) * 8)) # times 8 to make it comparable
+	blc=$(stat -c%s ../build/"$file".bloc.blc)
+	printf "%-${INDENT}s\t%s\t%s\t%s\n" "$base" "$bloc" "$unblc" "$blc"
 done
diff --git a/test/ternaryadd.blc b/test/ternaryadd.blc
index 18c6799..999230b 100644
--- a/test/ternaryadd.blc
+++ b/test/ternaryadd.blc
@@ -1 +1 @@
-000101000001010001000001011101000000010010101011000000101011001000100011000001001010101100101000000010110111011000000000111100000000001111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001110010101011111101111011101101010000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010001000110000010010101011001010000000101101110110000000001111000000000011101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001111001010101111110111101110110101000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011100101010111111011110111011010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100000000101010111001000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001011000010101110010000000000011001010101111110111101110110100101111101000000011100100000000000111100101010111111011110111011010010111110100000001001000000000001110010101011111101111011101101001011111010000000111000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001000000001010101110010001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000101100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001000010101110010000000000011100101010111111011110111011010010111110100000001001000000000001100101010111111011110111011010010111110100000001100100000000000111100101010111111011110111011010010111110100000001100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100000000101010111001000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100100010101011000000000111100000000000011110111110000000000001110111110000000000001101111101001010000010100010000010111010000000100101010110000001010110010001000110000010010101011001010000000101101110110000000001111000000000011110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011100101010111111011110111011010100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011110010101011111101111011101101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100100010001100000100101010110010100000001011011101100000000011110000000000111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011110010101011111101111011101101010000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011000000001010101110010001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010110000101011100100000000000110010101011111101111011101101001011111010000000111001000000000001111001010101111110111101110110100101111101000000010010000000000011100101010111111011110111011010010111110100000001110000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000000010101011100100010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001011000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000010010000000000011001010101111110111101110110100101111101000000011001000000000001111001010101111110111101110110100101111101000000011000010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001000000001010101110010001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001011000010101110010000000000011100101010111111011110111011010010111110100000001110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001011001000101010110000000001111000000000000111101111100000000000011101111100000000000011011111010010100000101000100000101110100000001001010101100000010101100100010001100000100101010110010100000001011011101100000000011110000000000111101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000111001010101111110111101110110101000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111100101010111111011110111011010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011001000100011000001001010101100101000000010110111011000000000111100000000001110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000111100101010111111011110111011010100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001110010101011111101111011101101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110000000010101011100100010101110010000000000011100101010111111011110111011010010111110100000001110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000101100001010111001000000000001100101010111111011110111011010010111110100000001110010000000000011110010101011111101111011101101001011111010000000100100000000000111001010101111110111101110110100101111101000000011100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001000010101110010000000000011100101010111111011110111011010010111110100000001110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000100000000101010111001000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010110000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000100001010111001000000000001110010101011111101111011101101001011111010000000100100000000000110010101011111101111011101101001011111010000000110010000000000011110010101011111101111011101101001011111010000000110000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010000000010101011100100010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010110000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001000010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010110010001010101100000000011110000000000001111011111000000000000111011111000000000000110111110100101000001010001000001011101000000010010101011000000101011001000100011000001001010101100101000000010110111011000000000111100000000001111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001110010101011111101111011101101010000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010001000110000010010101011001010000000101101110110000000001111000000000011101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001111001010101111110111101110110101000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011100101010111111011110111011010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100000000101010111001000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001011000010101110010000000000011001010101111110111101110110100101111101000000011100100000000000111100101010111111011110111011010010111110100000001001000000000001110010101011111101111011101101001011111010000000111000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001000000001010101110010001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000101100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001000010101110010000000000011100101010111111011110111011010010111110100000001001000000000001100101010111111011110111011010010111110100000001100100000000000111100101010111111011110111011010010111110100000001100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100000000101010111001000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100100010101011000000000111100000000000011110111110000000000001110111110000000000001101111101001010000010100010000010111010000000100101010110000001010110010001000110000010010101011001010000000101101110110000000001111000000000011110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011100101010111111011110111011010100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011110010101011111101111011101101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100100010001100000100101010110010100000001011011101100000000011110000000000111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011110010101011111101111011101101010000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011000000001010101110010001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010110000101011100100000000000110010101011111101111011101101001011111010000000111001000000000001111001010101111110111101110110100101111101000000010010000000000011100101010111111011110111011010010111110100000001110000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000000010101011100100010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001011000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000010010000000000011001010101111110111101110110100101111101000000011001000000000001111001010101111110111101110110100101111101000000011000010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001000000001010101110010001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001011000010101110010000000000011100101010111111011110111011010010111110100000001110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001011001000101010110000000001111000000000000111101111100000000000011101111100000000000011011111010000000000111001100111011110000000000111001100111011110000000000111001100111011110000000000111100111100111011110000000000111100111100111011110000000000111100111011110
+000101000001010001000001011101000000010010101011000000101011001000100011000001001010101100101000000010110111011000000000111100000000001111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001110010101011111101111011101101010000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010001000110000010010101011001010000000101101110110000000001111000000000011101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001111001010101111110111101110110101000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011100101010111111011110111011010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100000000101010111001000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001011000010101110010000000000011001010101111110111101110110100101111101000000011100100000000000111100101010111111011110111011010010111110100000001001000000000001110010101011111101111011101101001011111010000000111000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001000000001010101110010001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000101100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001000010101110010000000000011100101010111111011110111011010010111110100000001001000000000001100101010111111011110111011010010111110100000001100100000000000111100101010111111011110111011010010111110100000001100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100000000101010111001000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100100010101011000000000111100000000000011110111110000000000001110111110000000000001101111101001010000010100010000010111010000000100101010110000001010110010001000110000010010101011001010000000101101110110000000001111000000000011110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011100101010111111011110111011010100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011110010101011111101111011101101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100100010001100000100101010110010100000001011011101100000000011110000000000111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011110010101011111101111011101101010000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011000000001010101110010001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010110000101011100100000000000110010101011111101111011101101001011111010000000111001000000000001111001010101111110111101110110100101111101000000010010000000000011100101010111111011110111011010010111110100000001110000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000000010101011100100010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001011000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000010010000000000011001010101111110111101110110100101111101000000011001000000000001111001010101111110111101110110100101111101000000011000010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001000000001010101110010001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001011000010101110010000000000011100101010111111011110111011010010111110100000001110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001011001000101010110000000001111000000000000111101111100000000000011101111100000000000011011111010010100000101000100000101110100000001001010101100000010101100100010001100000100101010110010100000001011011101100000000011110000000000111101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000111001010101111110111101110110101000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111100101010111111011110111011010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011001000100011000001001010101100101000000010110111011000000000111100000000001110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000111100101010111111011110111011010100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001110010101011111101111011101101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110000000010101011100100010101110010000000000011100101010111111011110111011010010111110100000001110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000101100001010111001000000000001100101010111111011110111011010010111110100000001110010000000000011110010101011111101111011101101001011111010000000100100000000000111001010101111110111101110110100101111101000000011100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001000010101110010000000000011100101010111111011110111011010010111110100000001110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000100000000101010111001000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010110000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000100001010111001000000000001110010101011111101111011101101001011111010000000100100000000000110010101011111101111011101101001011111010000000110010000000000011110010101011111101111011101101001011111010000000110000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010000000010101011100100010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010110000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001000010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010110010001010101100000000011110000000000001111011111000000000000111011111000000000000110111110100101000001010001000001011101000000010010101011000000101011001000100011000001001010101100101000000010110111011000000000111100000000001111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001110010101011111101111011101101010000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010001000110000010010101011001010000000101101110110000000001111000000000011101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001111001010101111110111101110110101000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011100101010111111011110111011010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100000000101010111001000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001011000010101110010000000000011001010101111110111101110110100101111101000000011100100000000000111100101010111111011110111011010010111110100000001001000000000001110010101011111101111011101101001011111010000000111000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001000000001010101110010001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000101100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001000010101110010000000000011100101010111111011110111011010010111110100000001001000000000001100101010111111011110111011010010111110100000001100100000000000111100101010111111011110111011010010111110100000001100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100000000101010111001000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100100010101011000000000111100000000000011110111110000000000001110111110000000000001101111101001010000010100010000010111010000000100101010110000001010110010001000110000010010101011001010000000101101110110000000001111000000000011110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011100101010111111011110111011010100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011110010101011111101111011101101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100100010001100000100101010110010100000001011011101100000000011110000000000111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011110010101011111101111011101101010000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011000000001010101110010001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010110000101011100100000000000110010101011111101111011101101001011111010000000111001000000000001111001010101111110111101110110100101111101000000010010000000000011100101010111111011110111011010010111110100000001110000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000000010101011100100010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001011000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000010010000000000011001010101111110111101110110100101111101000000011001000000000001111001010101111110111101110110100101111101000000011000010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001000000001010101110010001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001011000010101110010000000000011100101010111111011110111011010010111110100000001110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001011001000101010110000000001111000000000000111101111100000000000011101111100000000000011011111010000000000111001100111011110000000000111001100111011110000000000111001100111011110000000000111100111100111011110000000000111100111100111011110000000000111100111011110
\ No newline at end of file
diff --git a/test/fac.blc b/test/ternaryfac.blc
index 77c719c..b3e034a 100644
--- a/test/fac.blc
+++ b/test/ternaryfac.blc
@@ -1 +1 @@
-00010001010101010001000111000010111011010000111000010111011010000000000001010101000001010001010101100001000101010110000011000000010000000100010010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101010000001010101100000100001111010000000100000001000000101010110000010000000100001111010000000100000010101011001110100000001000000010000111101011001000101010110000000001111000000000000111101111100000000000011101111100000000000011011111010111001000100011000001001010101100101000000010110111011000000000111100000000001110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000111100101010111111011110111011010100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001110010101011111101111011101101011011011110010101011111100101000001010101110000000001111000010100000101000001010001000001011101000000010010101011000000101011001000100011000001001010101100101000000010110111011000000000111100000000001111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001110010101011111101111011101101010000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010001000110000010010101011001010000000101101110110000000001111000000000011101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001111001010101111110111101110110101000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011100101010111111011110111011010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100000000101010111001000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001011000010101110010000000000011001010101111110111101110110100101111101000000011100100000000000111100101010111111011110111011010010111110100000001001000000000001110010101011111101111011101101001011111010000000111000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001000000001010101110010001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000101100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001000010101110010000000000011100101010111111011110111011010010111110100000001001000000000001100101010111111011110111011010010111110100000001100100000000000111100101010111111011110111011010010111110100000001100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100000000101010111001000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100100010101011000000000111100000000000011110111110000000000001110111110000000000001101111101011001000000000001010101111110111101101110101001000000000001100101010111111011110111011010101100001010000010100010000010111010000000100101010110000001010110010001000110000010010101011001010000000101101110110000000001111000000000011110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011100101010111111011110111011010100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011110010101011111101111011101101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100100010001100000100101010110010100000001011011101100000000011110000000000111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011110010101011111101111011101101010000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011000000001010101110010001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010110000101011100100000000000110010101011111101111011101101001011111010000000111001000000000001111001010101111110111101110110100101111101000000010010000000000011100101010111111011110111011010010111110100000001110000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000000010101011100100010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001011000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000010010000000000011001010101111110111101110110100101111101000000011001000000000001111001010101111110111101110110100101111101000000011000010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001000000001010101110010001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001011000010101110010000000000011100101010111111011110111011010010111110100000001110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001011001000101010110000000001111000000000000111101111100000000000011101111100000000000011011111010010000000000011001010101111110111101110110101011000010000000000011001010101111110111101110110101011110011011100100010001100000100101010110010100000001011011101100000000011110000000000111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011110010101011111101111011101101010000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111001010101111110111101110110101101110110100000000001110111100000000001110111101000100000000001100111001100111011110
+00010001010101010001000111000010111011010000111000010111011010000000000001010101000001010001010101100001000101010110000011000000010000000100010010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101010000001010101100000100001111010000000100000001000000101010110000010000000100001111010000000100000010101011001110100000001000000010000111101011001000101010110000000001111000000000000111101111100000000000011101111100000000000011011111010111001000100011000001001010101100101000000010110111011000000000111100000000001110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000111100101010111111011110111011010100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001110010101011111101111011101101011011011110010101011111100101000001010101110000000001111000010100000101000001010001000001011101000000010010101011000000101011001000100011000001001010101100101000000010110111011000000000111100000000001111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001110010101011111101111011101101010000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010001000110000010010101011001010000000101101110110000000001111000000000011101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001111001010101111110111101110110101000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011100101010111111011110111011010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100000000101010111001000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001011000010101110010000000000011001010101111110111101110110100101111101000000011100100000000000111100101010111111011110111011010010111110100000001001000000000001110010101011111101111011101101001011111010000000111000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001000000001010101110010001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000101100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001000010101110010000000000011100101010111111011110111011010010111110100000001001000000000001100101010111111011110111011010010111110100000001100100000000000111100101010111111011110111011010010111110100000001100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100000000101010111001000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100100010101011000000000111100000000000011110111110000000000001110111110000000000001101111101011001000000000001010101111110111101101110101001000000000001100101010111111011110111011010101100001010000010100010000010111010000000100101010110000001010110010001000110000010010101011001010000000101101110110000000001111000000000011110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011100101010111111011110111011010100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011110010101011111101111011101101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100100010001100000100101010110010100000001011011101100000000011110000000000111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011110010101011111101111011101101010000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011000000001010101110010001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010110000101011100100000000000110010101011111101111011101101001011111010000000111001000000000001111001010101111110111101110110100101111101000000010010000000000011100101010111111011110111011010010111110100000001110000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000000010101011100100010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001011000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000010010000000000011001010101111110111101110110100101111101000000011001000000000001111001010101111110111101110110100101111101000000011000010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001000000001010101110010001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001011000010101110010000000000011100101010111111011110111011010010111110100000001110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001011001000101010110000000001111000000000000111101111100000000000011101111100000000000011011111010010000000000011001010101111110111101110110101011000010000000000011001010101111110111101110110101011110011011100100010001100000100101010110010100000001011011101100000000011110000000000111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011110010101011111101111011101101010000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111001010101111110111101110110101101110110100000000001110111100000000001110111101000100000000001100111001100111011110
\ No newline at end of file
diff --git a/test/ternaryvarmod.blc b/test/ternaryvarmod.blc
new file mode 100644
index 0000000..0e0ff73
--- /dev/null
+++ b/test/ternaryvarmod.blc
@@ -0,0 +1 @@
+00010100011000001100100010001010100010001110000101110110100001110000101110110100000000101100000000101000000010110111011001111110111001011111110111110110000010000110110100101010001000111000010111011010000111000010111011010000000010110000000010100000001011011101100111111011100101111111011111011000001000000101010001000111000010111011010000111000010111011010000000010110000000010111111100111111011101101101100101010001000111000010111011010000111000010111011010000000010110000000010100000001011011101100111111011100101111111011111011000001000000101110111010101001010000000101101110110000000000101010001010101100000110000000100000001000101000000000111100111100100010001100000100101010110010100000001011011101100000000011110000000000111101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000111001010101111110111101110110101000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111100101010111111011110111011010110100101000000010110111011000000000010101000101010110000011000000010000000100010100000000001110111100111001000100011000001001010101100101000000010110111011000000000111100000000001111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001110010101011111101111011101101010000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001111001010101111110111101110110101101001000101000000010110111011010000010000000000101010001010101100000110000000100000001000101000000000011110011101111001111100100010001100000100101010110010100000001011011101100000000011110000000000111101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000111001010101111110111101110110101000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111100101010111111011110111011010110100000000001100111100111100111100111011110
\ No newline at end of file
diff --git a/test/uni.blc.io b/test/uni.blc.io
new file mode 100644
index 0000000..703fa6a
--- /dev/null
+++ b/test/uni.blc.io
@@ -0,0 +1 @@
+010100000001111001110100101000110100000000101011000000000011110000101111110011110000101110011110000001111000010110110111001111100001111100001011110100111010010110011100001101100001011111000011111000011100110111101111100111101110110000110010001101000011010010100010001110000101110110100001110000101110110100000000101100000000101000000010110111011001111110111001011111110111110110000010010100000001111001110100000000101111010110000101011000001000000011000000010
\ No newline at end of file
diff --git a/test/uni.blc.io.in b/test/uni.blc.io.in
new file mode 100644
index 0000000..c3159d0
--- /dev/null
+++ b/test/uni.blc.io.in
@@ -0,0 +1 @@
+000101010100010001110000101110110100001110000101110110100000000001011000000001010111111110111111001011111110111110111011011001000000010111101011000000001011011101100000100001011000000001110011001100110011001110011100110111000010110000000011001110011001100110011100111001101110000101100000000111001110011001100110011100111001101110000010