diff --git a/.gitea/workflows/test-and-build.yml b/.gitea/workflows/test-and-build.yml
index 6ba4b30..e10f64d 100644
--- a/.gitea/workflows/test-and-build.yml
+++ b/.gitea/workflows/test-and-build.yml
@@ -24,7 +24,7 @@ jobs:
         uses: actions/cache@v4
         with:
           path: |
-            ~/.cabal
+            ~/.cache/cabal
             ~/.ghc
           key: cabal-${{ runner.os }}-${{ hashFiles('tricu.cabal') }}
           restore-keys: |
@@ -44,7 +44,7 @@ jobs:
         run: |
           nix develop --command cabal update
 
-      - name: Install dependencies and run tests
+      - name: Run test suite
         run: |
           nix develop --command cabal test
 
@@ -63,7 +63,7 @@ jobs:
         uses: actions/cache@v4
         with:
           path: |
-            ~/.cabal
+            ~/.cache/cabal
             ~/.ghc
           key: cabal-${{ runner.os }}-${{ hashFiles('tricu.cabal') }}
           restore-keys: |
diff --git a/lib/base64.tri b/lib/base64.tri
new file mode 100644
index 0000000..4858555
--- /dev/null
+++ b/lib/base64.tri
@@ -0,0 +1,7 @@
+base64Decode = (t (t (t t (t (t (t t (t (t t t) (t t)))) (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t))) (t t (t (t (t t (t (t (t t (t (t t t)))) (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t t t) (t (t (t t (t (t t t)))) (t (t (t t t))))) (t t (t t))) t)))))) (t t))))) (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))))))) (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t))) (t t (t (t (t t (t (t (t t (t (t t t)))) (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t (t (t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t))) (t t (t (t (t t (t (t (t t (t (t (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t t (t (t (t t t)) t))) (t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t t t)))) (t (t (t t (t (t (t (t (t t (t (t (t (t (t t (t (t (t t t)) t))) (t (t (t t (t t))) (t (t (t t t)) t)))) (t t (t t))))) (t (t (t t (t (t (t (t (t (t (t t (t (t (t (t (t t (t (t (t t t)) t))) (t (t (t t (t t))) (t (t (t t t)) t)))) (t t (t t))))) (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t t t))))) t))))) (t t)))) (t t)))) (t t t)))))) (t t))))))) (t t))))))) (t t))))))) (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))))) (t t)))) (t (t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t t)) (t (t (t t)))))) (t (t (t t (t (t (t t (t (t (t t (t t))))))))) (t (t (t t (t (t (t t (t (t t))))))))))) (t (t (t t (t (t (t t (t (t (t t (t (t (t t (t t)))))))))))) (t (t (t t (t (t (t t (t (t (t t (t (t (t t (t t)))))))))))) (t (t (t t (t (t (t t (t (t (t t (t (t (t t (t (t t))))))))))))) (t (t (t (t (t t (t (t (t (t (t t (t (t (t t t)) t))) (t (t (t t (t t))) (t (t (t t t)) t)))) (t t (t t))))) (t (t (t t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t))))))) (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))))))) (t (t (t t)) t)))))))) (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))))) (t t t)))) (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t t (t t (t (t t) (t t (t (t t) t))))))))))) t)) t) (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t (t t) (t (t t) (t (t t) (t (t t) (t (t t) t))))))))))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t (t t) (t (t t) (t (t t) (t t (t t t))))))))))) t)) t) t))) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t t (t t (t t (t (t t) (t (t t) t))))))))))) t)) t) (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t (t t) (t t (t (t t) (t (t t) (t (t t) t))))))))))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t (t t) (t (t t) (t t (t (t t) (t t t))))))))))) t)) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t t (t t (t t (t t (t (t t) t))))))))))) t)) t) t))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t (t t) (t (t t) (t t (t t (t t t))))))))))) t)) t) t))) t) t))) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t t (t (t t) (t t (t t (t (t t) t))))))))))) t)) t) (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t (t t) (t (t t) (t (t t) (t (t t) (t (t t) t))))))))))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t (t t) (t t (t (t t) (t t (t t t))))))))))) t)) t) t))) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t t (t (t t) (t (t t) (t t (t (t t) t))))))))))) t)) t) (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t (t t) (t (t t) (t t (t (t t) (t (t t) t))))))))))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t (t t) (t t (t t (t (t t) (t t t))))))))))) t)) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t t (t (t t) (t (t t) (t (t t) (t t t))))))))))) t)) t) t))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t (t t) (t t (t t (t t (t t t))))))))))) t)) t) t))) t) t))) t) t))) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t (t t) (t (t t) (t t (t t (t (t t) t))))))))))) t)) t) t))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t t (t (t t) (t (t t) (t t (t t t))))))))))) t)) t) t))) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t (t t) (t (t t) (t (t t) (t t (t (t t) t))))))))))) t)) t) (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t t (t t (t (t t) (t (t t) (t (t t) t))))))))))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t t (t (t t) (t t (t (t t) (t t t))))))))))) t)) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t (t t) (t (t t) (t (t t) (t (t t) (t t t))))))))))) t)) t) t))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t t (t (t t) (t t (t t (t t t))))))))))) t)) t) t))) t) t))) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t (t t) (t t (t t (t (t t) (t (t t) t))))))))))) t)) t) (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t t (t (t t) (t (t t) (t (t t) (t (t t) t))))))))))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t t (t t (t (t t) (t (t t) (t t t))))))))))) t)) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t (t t) (t t (t t (t t (t (t t) t))))))))))) t)) t) t))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t t (t t (t (t t) (t t (t t t))))))))))) t)) t) t))) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t (t t) (t t (t (t t) (t t (t (t t) t))))))))))) t)) t) (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t t (t (t t) (t t (t (t t) (t (t t) t))))))))))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t t (t t (t t (t (t t) (t t t))))))))))) t)) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t (t t) (t t (t (t t) (t (t t) (t t t))))))))))) t)) t) t))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t t (t t (t t (t t (t t t))))))))))) t)) t) t))) t) t))) t) t))) t) t))) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t (t t) (t (t t) (t t (t t (t (t t) t))))))))))) t)) t) t))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t t (t (t t) (t (t t) (t t (t t t))))))))))) t)) t) t))) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t (t t) (t (t t) (t (t t) (t t (t (t t) t))))))))))) t)) t) (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t (t t) (t t (t (t t) (t (t t) (t (t t) t))))))))))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t t (t (t t) (t t (t (t t) (t t t))))))))))) t)) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t (t t) (t (t t) (t (t t) (t (t t) (t t t))))))))))) t)) t) t))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t t (t (t t) (t t (t t (t t t))))))))))) t)) t) t))) t) t))) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t (t t) (t t (t t (t (t t) (t (t t) t))))))))))) t)) t) t))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t t (t t (t (t t) (t (t t) (t t t))))))))))) t)) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t (t t) (t t (t t (t t (t (t t) t))))))))))) t)) t) t))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t t (t t (t (t t) (t t (t t t))))))))))) t)) t) t))) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t (t t) (t t (t (t t) (t t (t (t t) t))))))))))) t)) t) (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t (t t) (t (t t) (t t (t (t t) (t (t t) t))))))))))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t t (t t (t t (t (t t) (t t t))))))))))) t)) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t (t t) (t t (t (t t) (t (t t) (t t t))))))))))) t)) t) t))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t t (t t (t t (t t (t t t))))))))))) t)) t) t))) t) t))) t) t))) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t t (t (t t) (t t (t t (t (t t) t))))))))))) t)) t) t))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t (t t) (t t (t (t t) (t t (t t t))))))))))) t)) t) t))) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t t (t (t t) (t (t t) (t t (t (t t) t))))))))))) t)) t) (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t t (t t (t (t t) (t (t t) (t (t t) t))))))))))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t (t t) (t t (t t (t (t t) (t t t))))))))))) t)) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t t (t (t t) (t (t t) (t (t t) (t t t))))))))))) t)) t) t))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t (t t) (t t (t t (t t (t t t))))))))))) t)) t) t))) t) t))) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t t (t t (t t (t (t t) (t (t t) t))))))))))) t)) t) (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t t (t (t t) (t (t t) (t (t t) (t (t t) t))))))))))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t (t t) (t (t t) (t t (t (t t) (t t t))))))))))) t)) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t t (t t (t t (t t (t (t t) t))))))))))) t)) t) t))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t (t t) (t (t t) (t t (t t (t t t))))))))))) t)) t) t))) t) t))) t) t))) (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t t (t t (t (t t) (t t (t (t t) t))))))))))) t)) t) (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t t (t t (t (t t) (t t (t (t t) (t (t t) t))))))))))) (t (t (t t (t (t t (t t (t t (t (t (t (t (t t (t (t (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t)))) (t (t (t (t (t t (t (t (t t t)) t))) (t t))) (t t (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))) (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) (t (t (t (t (t t (t (t (t t t))))) t)) (t t t)))) (t t (t (t (t t (t (t (t (t (t t (t (t (t t (t (t (t t t)) t))) (t t)))) t))))) (t t)))))) (t t (t (t t) (t (t t) (t (t t) (t (t t) (t t (t t t))))))))))) t)) t) t))) t) t))) t)) t) t))) t) t))) t) t))) t) t))) t) t)))))))) (t t))))) (t (t (t t (t (t (t (t (t t (t (t (t (t (t (t (t t)) t)) (t (t (t t)) t)))))) (t t)))))) (t t))))))
+base64Encode = base64Decode "UmSZlSdqbmyUWOlVKTpsyzpUOlSpUKrsyKrsykbKrsyKrMlVKLn0MT9myKrsyUWpscSzM1bKrsyUWpscSzM1bKrMlVKLn0MT9myUWpscSzM1bKllTampemkkk0MzMTPpppZmmeSamZameSTTz000TSampZmeSTTTz00TSzMNNTPZmmppnkkmpZmpn00MNTTPJNTz0M9kZmppnk0MNNz0TaampppnkmmZmmeyMTTTPJJppZmZ6JNz0MN9k00MTz0Tamppppnk00MNz0TamZaa6JpZmZa6JTTz00TSSTTzMTPpZaammeSaaammpnMNz00TSaaaampn0MNTTTPJNTzMN9kmmpZ6JJJZamZmeyMTz00Ty0MTz0TmZaaa6JJTz0MTPZmZaa6JZammmpn0MNTTPJJTTzMTPZmmmppnkppZameSzMTTPJZaaampnMTz000TyMNz00TampppnkkMTzMTPZammppnkZammpnMNTTTTPJZmmmZ6JTzMNN9kMNzMN9kmmmppnkkZmmZ6JTTTz00TyMTTz0TaamppnkMzMNTPZaammmeSmmmZa6JNNNNTPnz5cOlVKT5psyUKr8cKlpUmyTZT5ZTZlTpMlyUeKbKPbKlpUmyTZT5ZTpMlyUeKbKPbKlpUmyTZT5ZTZlVWZlVmcTZlVWZlpsSZ5kmZq3UWZlVmyKllTampeTZlVmyKllTampeTZlpsSZ5kmZq3UmyKllTampeTpscSzM1zkkkkmZmZ6JNNNz00TSzMTz0TaaammmeSSzMNz0TaaaammeSamppZ6Jz0MN9kk0MNzM9kmmpZa6JpZammpnMzMN9kkmppZmeSTzMNN9k00Mz00TmZaa6JJJNNzMTPpZmmppnkmmZameSzMNNN9kkmmpZmeSzMTTTPJNzMTTPZaammeSSaaamZ6JNTTz00TSTTz0M9kpZmmeSSTTTzM9kmpZaa6JpZamppn00MNTPJJJTzMz0TmZammeSmmZameyMTTTTPJZammZ6JzMTTTPJTz00M9kmpZa6JJZaamZ6Jz00MN9kMNNTz0TamZa6JJTTTzM9kZammmeSmpZmmeSzMNN9kkkZamZ6JTz0MN9kMTz0M9kpZaaa6JJz00MTPZampppnkpZmppn000MN9kkMz0MTPZaaammeSmZaameSTzMN9kkZmpZ6JTTz000Ty00MTTPppppZ65cOnTZlyUeKrMlnyKrMlyKPnSZKlp8U2Ue2UWZKlp8U2Ue2UWZlTpMlyUeKbKPbKrMlyUeKbKPbKlpUmyTZT5ZTZlpUmyTZT5ZTpMlyUeKbKPbKrMlyUeKbKPbKrsyKrsykbKrsyKrMlVKLn0MT9myKrsyUWpscSzM1bKrsyUWpscSzM1bKrMlVKLn0MT9myUWpscSzM1bKllTampemkkk0MzMTPpppZmmeSamZameSTTz000TSampZmeSTTTz00TSzMNNTPZmmppnkkmpZmpn00MNTTPJNTz0M9kZmppnk0MNNz0TaampppnkmmZmmeyMTTTPJJppZmZ6JNz0MN9k00MTz0Tamppppnk00MNz0TamZaa6JpZmZa6JTTz00TSSTTzMTPpZaammeSaaammpnMNz00TSaaaampn0MNTTTPJNTzMN9kmmpZ6JJJZamZmeyMTz00Ty0MTz0TmZaaa6JJTz0MTPZmZaa6JZammmpn0MNTTPJJTTzMTPZmmmppnkppZameSzMTTPJZaaampnMTz000TyMNz00TampppnkkMTzMTPZammppnkZammpnMNTTTTPJZmmmZ6JTzMNN9kMNzMN9kmmmppnkkZmmZ6JTTTz00TyMTTz0TaamppnkMzMNTPZaammmeSmmmZa6JNNNNTPnz5UWpMlnyKT5psyKT5psyKrMlyKPnSZKlp8U2Ue2UWZKlp8U2Ue2UWZlpUmyTZT5ZTZlVW5UKTpMlnymyzmyKTpMlnymyzmyKrMlyUeKbKPbKlpUmyTZT5ZTZlpUmyTZT5ZTZlVmSZKPlNlnNlVWZlVWZyNlVWZlVmyKllTampeTZlVWZKrUWOpZm6NlVWZKrUWOpZm6NlVmyKllTampeTZKrUWOpZm6NlyyJNzUPTSSSamZmpn000MTTPJNzMNTPpppZaa6JJNz0MTPppppZa6JpZmmmpnMTz00TSSz0Mz0TaammppnkmpZameyMz00TSammmZ6JNNz000TSTzMTTPZmpppnkk00MzM9kmZammeSaampZ6JNz0000TSaammZ6JNzMNN9k0MzMN9kppZa6JJpppZmpn0MNNTTPJNNNTz0TmmZa6JJNNNNz0TammpppnkmpZmmeSTz0M9kkkMNzMTPZmpZa6JZampZ6JzMNNN9kkpZampnMzMNN9kMNTTz0TammppnkkppZmpnMTTz00Ty00MNTPpZmppnkMNNNz0TmpZaa6JZmmZa6JNz000TSSmpZmpnMNTz00TyMNTz0TmmppppnkMTTzM9kpZmmmeSmmZmmeSTTz00TSyMTzM9kpppZa6JZmppZ6JNNz00TSmZmmpnMNNTTTPJTTzMN9kmmmmpnz5UWpMlnyKT5psyKT5psyKrMlnyKrsyKTpsyzpUmSZKPlNlnNlVmSZKPlNlnNlVWZKlp8U2Ue2UWZlVmSZKPlNlnNlVWZlVOlyUKT5psp8spsyUKT5psp8spsyKTpMlnymyzmyKrsyUKT5psp8spsyKrsyKTupsyKrsyUWpscSzM1bKrsyKTZlyyJNzUvpsyKTZlyyJNzUvpsyUWpscSzM1bKTZlyyJNzUvpUWOpZm6ZSSSSzMzM9kmmmZa6JpZmpZ6JNNNTTTPJpZmmZ6JNNNNTTPJNz00M9kZammeSSammZmeSTz0MN9k0MNTz0TmZmmeSSz00MTPppZmmmeSaamZa6JzMNN9kkkmmZmpn0MTz00TSTzMNTPpZmmmmeSSTz0MTPpZmpppnkmZmppnMNNTTPJJNNNzM9kmppZa6JpppZamey0MTTPJppppZmeSz0MNN9k0MNz00TaammpnkkkpZmZ6JzMNTTPJTzMNTPZmppppnkMNTzM9kZmpppnkpZaameSz0MN9kkMNNzM9kZaammeSmmmpZ6JNzMN9kkpppZmeyMNTTTPJz0MTTPpZmmmeSSyMNzM9kpZammeSmpZamey0MNNN9kkZaampnMNz000Ty0Mz00TaaammeSSmZampnMNNNTTPJzMNNTPppZmmeSyMz0M9kppZaa6JZaamppn0000M9cOlVKTpMlnymyzmyKTpMlnymyzmyKrMlyUeKbKPbKrsyKTpMlnymyzmyKrsyKTpMlnymyzmyKrsyKrMlp8myKrsyKrcKrsyKrsykbKrsyKrMlVKLn0MT9myKrsyUWpscSzM1bKrsyUWpscSzM1bKrMlVKLn0MT9myUWpscSzM1bKllTampemkkk0MzMTPpppZmmeSamZameSTTz000TSampZmeSTTTz00TSzMNNTPZmmppnkkmpZmpn00MNTTPJNTz0M9kZmppnk0MNNz0TaampppnkmmZmmeyMTTTPJJppZmZ6JNz0MN9k00MTz0Tamppppnk00MNz0TamZaa6JpZmZa6JTTz00TSSTTzMTPpZaammeSaaammpnMNz00TSaaaampn0MNTTTPJNTzMN9kmmpZ6JJJZamZmeyMTz00Ty0MTz0TmZaaa6JJTz0MTPZmZaa6JZammmpn0MNTTPJJTTzMTPZmmmppnkppZameSzMTTPJZaaampnMTz000TyMNz00TampppnkkMTzMTPZammppnkZammpnMNTTTTPJZmmmZ6JTzMNN9kMNzMN9kmmmppnkkZmmZ6JTTTz00TyMTTz0TaamppnkMzMNTPZaammmeSmmmZa6JNNNNTvpsSZlSdqbTpUWpUn6mpMlyUuaKrsyWZl1UWZlV2UWZlV2UWZlVWTpMlyUeKbKPbKrMlp8WZKT5N1psSZlSdqbzB"
+exec = base64Decode "kTd"
+_filter = base64Decode "k8UKTZKvpMlnSZKT5NlyUKTpMlnymyzmyUWpsybTZ7M1psSdzUKrUqTdzUmySeKrUmyUeTZKPlyUmybKlpUmSZKPlNlnNlpsSZl3my2ZqTZl62UWpsSpO1tB"
+filter = base64Decode "UWJ5pUmyUeTZKPlyUmybKlpUmSZKPlNlnNlpsSZl3my2ZqTZl6mpUWpUn6mpMll8UWpMlp8myUeKlpMl3UKTpMlyUeKbKPbKTZlyKvNltzUnyK1tpsSZlSdqbb"
+foldl = base64Decode "UmyUWpsSpO1tpUmybmyKlVK1puNlVWpUW55UWpMlp8myUeb"
+foldr = base64Decode "UWZKTZlyKl6U3mSZKvZKrUWpUn62UmyKlpMl3UKr8cTZKlp8U2Ue2KTZKvB"
diff --git a/lib/eager.tri b/lib/eager.tri
new file mode 100644
index 0000000..c1313dc
--- /dev/null
+++ b/lib/eager.tri
@@ -0,0 +1,2 @@
+eager = (\f x : triage (f t) (\u f : (t u)) (\u v : f (t u v)) x)
+eagerEval = y (\self : triage (\u : t u) (\u v : t u v) (triage (\u2 v : u2) (\u1 u2 v : eager (self (self u1 v)) (self u2 v)) (\u0 u1 u2 v : triage u0 (\v : self u1 v) (\v1 v2 : self (self u2 v1) v2) v)))
diff --git a/lib/labels.tri b/lib/labels.tri
new file mode 100644
index 0000000..facae17
--- /dev/null
+++ b/lib/labels.tri
@@ -0,0 +1,9 @@
+-- IMPLIED BASE IMPORT
+isLeaf = (\node : lOr (emptyList node) (emptyList (tail node)))
+getLabel = (\node : head node)
+getLeft = (\node : if (emptyList node) [] (if (emptyList (tail node)) [] (head (tail node))))
+getRight = (\node : if (emptyList node) [] (if (emptyList (tail node)) [] (if (emptyList (tail (tail node))) [] (head (tail (tail node))))))
+
+processLevel = y (\self queue : if (emptyList queue) [] (pair (map getLabel queue) (self (filter (\node : not (emptyList node)) (lconcat (map getLeft queue) (map getRight queue))))))
+
+levelOrderTraversal = (\a : processLevel (t a t))