aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarvin Borner2023-02-13 16:52:13 +0100
committerMarvin Borner2023-02-13 16:52:13 +0100
commit373c4bdc9cc01e2986f518eccc54c9d3856b7d05 (patch)
treec2728ac3183b2ffd6e79cf184ed291193ed4b8ae
parent22ec76b4a290eea09108cd3d4c8d4662c1d5cd4b (diff)
More tests
Diffstat
-rw-r--r--tests/1.trans2
-rw-r--r--tests/2.trans2
-rw-r--r--tests/3.in2
-rw-r--r--tests/3.red2
-rw-r--r--tests/3.trans2
-rw-r--r--tests/4.in1
-rw-r--r--tests/4.red1
-rw-r--r--tests/4.trans1
-rw-r--r--tests/5.in1
-rw-r--r--tests/5.red1
-rw-r--r--tests/5.trans1
-rw-r--r--tests/6.in1
-rw-r--r--tests/6.red1
-rw-r--r--tests/6.trans1
-rw-r--r--tests/readme.md19
15 files changed, 33 insertions, 5 deletions
diff --git a/tests/1.trans b/tests/1.trans
index 2a30d16..e87943a 100644
--- a/tests/1.trans
+++ b/tests/1.trans
@@ -1 +1 @@
-1-2-6-1-1-4-9-3-1-2-6-2-5-7-1-2-6-3-4-5-11-5-10-9-4-8-10
+12611493126257126345B5A948A
diff --git a/tests/2.trans b/tests/2.trans
index 1147e5d..60fda1e 100644
--- a/tests/2.trans
+++ b/tests/2.trans
@@ -1 +1 @@
-1-1-2-6-2-6-1-1-2-6-1-2-6-2-6-1-1-3-1-1-1-1-3-3-2-5-5-6-2-6-2-6-2-6-1-3-2-5-6-2-5-6-2-6-1-1-1-1-3-3-1-2-6-1-1-1-1-3-3-2-5-5-6-2-6-2-6-2-6-1-3-2-5-6-2-5-5-6-2-6-2-6-2-6-1-3-2-5-6-1-1-2-6-2-6-2-7-2-7-2-7-2-7-1-1-1-1-3-3-2-5-5-6-2-6-2-6-3-4-5-9-1-1-1-1-3-1-1-3-1-4-6-2-5-6-2-6-1-1-1-1-3-3-3-3-2-5-5-5-5-6-2-6-2-6-2-6-3-1-2-6-1-1-1-3-2-5-6-2-6-2-6-3-1-2-6-2-5-5-5-6-2-6-2-6-2-6-1-3-4-5-9-1-1-1-1-3-1-1-3-1-3-2-5-6-2-5-6-2-6-1-1-1-1-3-3-4-5-5-6-2-6-2-6-2-6-3-1-2-6-1-1-1-3-2-5-6-2-6-2-6-3-1-2-6-2-5-5-5-6-2-6-2-6-2-6-1-3-3-4-5-5-9-1-1-1-1-3-1-1-3-3-2-5-5-6-2-6-1-1-1-3-2-5-6-2-6-2-6-3-1-1-2-6-1-3-2-5-6-2-6-1-1-1-1-3-3-3-4-5-5-5-6-2-6-2-6-2-6-3-2-5-5-5-6-2-6-2-6-2-6-3-3-3-4-5-5-5-10-10-10-11-5-11-5-11-5-11-5
+11262611261262611311113325562626261325625626111133126111133255626262613256255626262613256112626272727271111332556262634591111311314625626111133332555562626263126111325626263126255562626261345911113113132562562611113345562626263126111325626263126255562626261334559111131133255626111325626263112613256261111333455562626263255562626263334555AAAB5B5B5B5
diff --git a/tests/3.in b/tests/3.in
index 544aef9..6f1170d 100644
--- a/tests/3.in
+++ b/tests/3.in
@@ -1 +1 @@
-((([([(1 [((1 1) 0)])] [(1 [((1 1) 0)])])] [[[((([((0 [[[[[0]]]]]) [[1]])] 0) [[0]]) ((([((((0 [[1]]) [[[0]]]) [[[0]]]) [0])] 1) [[0]]) (([[[((0 2) 1)]]] ([(0 [[1]])] 0)) ((2 ([([(0 [[0]])] ((((0 (([[[((0 2) 1)]]] [[[[3]]]]) [[[[(2 3)]]]])) [(0 [[(([[[((0 2) 1)]]] ([[[[[(2 ((((4 3) 2) 1) 0))]]]]] 1)) ([[[[[(1 ((((4 3) 2) 1) 0))]]]]] 0))]])]) [(0 [[(([[[((0 2) 1)]]] ([[[[[(1 ((((4 3) 2) 1) 0))]]]]] 1)) ([[[[[(0 ((((4 3) 2) 1) 0))]]]]] 1))]])]) [(0 [[(([[[((0 2) 1)]]] ([[[[[(0 ((((4 3) 2) 1) 0))]]]]] 1)) ([[[[[(2 ((((4 3) 2) 1) 0))]]]]] 1))]])]))] 1)) ([(0 [[0]])] 0)))))]]]) [[[[(0 (2 (1 3)))]]]]) (([([(1 [((1 1) 0)])] [(1 [((1 1) 0)])])] [[((([([(1 [((1 1) 0)])] [(1 [((1 1) 0)])])] [[[((([((0 [[[[[0]]]]]) [[1]])] 1) 0) (([[[((0 2) 1)]]] ([(0 [[1]])] 1)) ((2 ([(0 [[0]])] 1)) 0)))]]]) 0) (1 0))]]) [((0 [((0 [[1]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[1]]) [((0 [[1]]) [((0 [[0]]) [[0]])])])])])])])])]) [((0 [((0 [[0]]) [((0 [[1]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[1]]) [((0 [[1]]) [((0 [[0]]) [[0]])])])])])])])])]) [[0]])])]))
+(([([(1 [((1 1) 0)])] [(1 [((1 1) 0)])])] [[((([((0 [[[0]]]) [[1]])] 0) [[(1 0)]]) (([[[(2 (1 0))]]] 0) (1 ([[[(((2 [[(0 (1 3))]]) [1]) [0])]]] 0))))]]) [[(1 (1 (1 0)))]])
diff --git a/tests/3.red b/tests/3.red
index 78cc9df..9c57852 100644
--- a/tests/3.red
+++ b/tests/3.red
@@ -1 +1 @@
-[((0 [((0 [[1]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[1]]) [((0 [[1]]) [((0 [[0]]) [[0]])])])])])])])])]) [((0 [((0 [[0]]) [((0 [[1]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[1]]) [((0 [[1]]) [((0 [[0]]) [[0]])])])])])])])])]) [((0 [((0 [[1]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[1]]) [((0 [[1]]) [((0 [[0]]) [[0]])])])])])])])])]) [((0 [((0 [[0]]) [((0 [[1]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[1]]) [((0 [[1]]) [((0 [[0]]) [[0]])])])])])])])])]) [((0 [((0 [[1]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[1]]) [((0 [[1]]) [((0 [[0]]) [[0]])])])])])])])])]) [((0 [((0 [[0]]) [((0 [[1]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[1]]) [((0 [[1]]) [((0 [[0]]) [[0]])])])])])])])])]) [[0]])])])])])])]
+[[(1 (1 (1 (1 (1 (1 0))))))]]
diff --git a/tests/3.trans b/tests/3.trans
index 003ebc3..051c200 100644
--- a/tests/3.trans
+++ b/tests/3.trans
@@ -1 +1 @@
-1-1-1-2-6-1-2-6-1-3-2-5-6-2-6-2-6-1-1-1-2-6-1-1-3-3-1-1-2-6-1-2-6-1-3-2-5-6-2-6-1-1-1-2-6-1-2-6-1-3-2-5-6-2-6-2-6-1-1-1-2-6-1-1-3-3-3-2-5-5-5-6-1-1-3-2-5-6-2-6-2-6-2-6-2-6-3-1-1-2-6-2-6-2-5-5-5-6-1-1-3-2-5-6-2-6-2-6-2-6-2-6-3-1-1-1-2-6-1-1-1-1-3-3-2-5-5-6-2-6-2-6-2-6-1-3-2-5-6-3-1-3-2-5-6-2-5-6-2-6-3-1-1-2-6-2-6-2-5-5-7-1-1-4-9-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-2-5-5-5-5-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-2-7-4-11-5-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-9-3-1-1-3-2-5-6-1-1-3-2-5-6-1-4-6-2-6-2-6-1-1-1-2-6-1-1-3-3-1-2-6-1-3-AAH-4-5-6-1-1-3-2-5-6-2-6-3-3-1-1-3-2-5-6-1-1-3-2-5-6-1-4-6-2-6-2-6-1-1-1-2-6-1-1-3-3-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-2-5-5-5-5-6-1-1-3-2-5-6-2-6-2-6-2-6-2-6-3-1-1-2-6-2-6-2-5-5-5-5-5-6-1-1-3-2-5-6-2-6-2-6-2-6-2-6-3-1-1-1-2-6-1-1-1-1-3-3-3-1-2-6-1-2-6-1-3-1-1-1-1-3-4-5-6-2-6-2-6-2-6-1-3-2-5-6-1-3-1-3-2-5-6-1-3-1-3-2-5-6-1-3-3-1-1-2-6-2-6-2-5-5-6-1-1-3-2-5-6-2-6-1-1-2-6-2-6-2-5-6-1-1-3-2-5-6-2-6-1-1-2-6-2-6-2-5-6-1-1-3-2-5-6-2-6-1-1-2-6-2-6-2-5-6-1-1-3-2-5-6-2-6-3-3-1-2-6-2-5-5-5-5-5-6-2-6-2-6-2-6-1-3-2-5-6-2-6-2-6-3-1-1-2-6-2-6-2-5-5-5-7-1-1-4-9-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-2-5-5-5-5-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-2-7-4-11-5-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-9-3-1-1-3-2-5-6-1-1-3-4-5-6-1-4-6-2-6-2-6-1-1-1-2-6-1-1-3-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-3-1-1-3-2-5-6-1-1-3-4-5-6-1-4-6-2-6-2-6-1-1-1-2-6-1-1-3-3-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-2-5-5-5-5-6-2-6-3-2-5-6-2-6-3-3-3-3-1-3-2-5-6-1-1-3-2-5-6-1-4-6-2-6-1-1-1-2-6-1-2-6-1-3-2-5-6-2-6-2-6-1-1-1-2-6-1-1-3-3-3-3-4-5-5-5-5-6-1-1-3-2-5-6-2-6-2-6-2-6-2-6-3-1-1-2-6-2-6-2-5-5-5-5-5-5-5-5-5-6-1-1-3-2-5-6-2-6-2-6-2-6-2-6-3-1-1-1-2-6-1-1-1-1-3-3-3-1-2-6-1-2-6-1-3-1-1-1-1-3-4-5-6-2-6-2-6-2-6-1-3-2-5-6-1-3-1-1-1-1-3-3-3-1-2-6-2-5-5-5-6-2-6-2-6-2-6-1-3-4-5-6-1-3-1-1-1-1-3-3-3-1-2-6-2-5-5-5-6-2-6-2-6-2-6-1-3-3-3-2-5-5-5-6-1-3-1-1-1-1-3-3-3-2-5-5-5-6-2-6-2-6-2-6-3-3-3-3-1-1-2-6-2-6-2-5-5-5-5-5-6-1-1-3-2-5-6-2-6-1-1-2-6-2-6-2-5-6-1-1-3-2-5-6-2-6-1-1-2-6-2-6-2-5-6-1-1-3-2-5-6-2-6-1-1-2-6-2-6-2-5-6-1-1-3-2-5-6-2-6-3-3-1-2-6-2-5-5-5-5-5-6-2-6-2-6-2-6-1-3-2-5-6-2-6-2-6-3-1-1-2-6-2-6-2-5-5-5-7-1-1-4-9-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-2-5-5-5-5-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-2-7-4-11-5-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-9-3-1-1-3-2-5-6-1-1-3-4-5-6-1-4-6-2-6-2-6-1-1-1-2-6-1-1-3-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-3-1-1-3-2-5-6-1-1-3-2-5-6-1-4-6-2-6-2-6-1-1-1-2-6-1-1-3-3-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-2-5-5-5-5-6-1-1-3-2-5-6-2-6-2-6-2-6-2-6-3-1-1-2-6-2-6-2-5-5-5-5-5-6-1-1-3-2-5-6-2-6-2-6-2-6-2-6-3-1-1-1-2-6-1-1-1-1-3-3-3-1-2-6-1-2-6-1-3-1-1-1-1-3-4-5-6-2-6-2-6-2-6-1-3-2-5-6-1-3-1-1-1-1-3-3-3-1-2-6-2-5-5-5-6-2-6-2-6-2-6-1-3-4-5-6-1-3-1-1-1-1-3-3-3-1-2-6-2-5-5-5-6-2-6-2-6-2-6-1-3-3-3-2-5-5-5-6-1-3-1-1-1-1-3-3-3-2-5-5-5-6-2-6-2-6-2-6-3-3-3-3-1-1-2-6-2-6-2-5-5-5-5-5-6-1-1-3-2-5-6-2-6-1-1-2-6-2-6-2-5-6-1-1-3-2-5-6-2-6-1-1-2-6-2-6-2-5-6-1-1-3-2-5-6-2-6-1-1-2-6-2-6-2-5-6-1-1-3-2-5-6-2-6-3-3-1-2-6-2-5-5-5-5-5-6-2-6-2-6-2-6-1-3-2-5-6-3-1-1-1-1-3-3-3-1-2-6-2-5-5-5-6-2-6-2-6-2-6-1-3-3-2-5-5-6-2-5-6-2-6-3-1-1-2-6-2-6-2-5-5-5-7-1-1-4-9-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-2-5-5-5-5-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-2-7-4-11-5-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-9-3-1-1-3-2-5-6-1-1-3-4-5-6-1-4-6-2-6-2-6-1-1-1-2-6-1-1-3-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-3-1-1-3-2-5-6-1-1-3-4-5-6-1-4-6-2-6-2-6-1-1-1-2-6-1-1-3-3-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-2-5-5-5-5-6-2-6-3-2-5-6-2-6-3-3-3-3-1-3-2-5-6-1-1-3-4-5-6-1-4-6-2-6-1-1-1-2-6-1-2-6-1-3-2-5-6-2-6-2-6-1-1-1-2-6-1-1-3-3-3-3-4-5-5-5-5-6-1-1-3-2-5-6-2-6-2-6-2-6-2-6-3-1-1-2-6-2-6-2-5-5-5-5-5-5-5-5-5-6-1-1-3-2-5-6-2-6-2-6-2-6-2-6-3-1-1-1-2-6-1-1-1-1-3-3-3-1-2-6-1-2-6-1-3-1-1-1-1-3-4-5-6-2-6-2-6-2-6-1-3-2-5-6-1-3-1-1-1-1-4-6-2-6-2-6-2-6-1-3-3-2-5-5-6-1-3-1-1-1-1-3-3-3-1-2-6-2-5-5-5-6-2-6-2-6-2-6-1-3-3-4-5-5-6-1-3-1-1-1-1-3-3-3-2-5-5-5-6-2-6-2-6-2-6-3-3-3-3-1-1-2-6-2-6-2-5-5-5-5-5-6-1-1-3-2-5-6-2-6-1-1-2-6-2-6-2-5-6-1-1-3-2-5-6-2-6-1-1-2-6-2-6-2-5-6-1-1-3-2-5-6-2-6-1-1-2-6-2-6-2-5-6-1-1-3-2-5-6-2-6-3-3-1-2-6-2-5-5-5-5-5-6-2-6-2-6-2-6-1-3-2-5-6-2-6-2-6-3-1-1-2-6-2-6-2-5-5-5-7-1-1-4-9-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-2-5-5-5-5-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-2-7-4-11-5-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-9-3-1-1-3-2-5-6-1-1-3-4-5-6-1-4-6-2-6-2-6-1-1-1-2-6-1-1-3-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-3-1-1-3-2-5-6-1-1-3-2-5-6-1-4-6-2-6-2-6-1-1-1-2-6-1-1-3-3-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-2-5-5-5-5-6-1-1-3-2-5-6-2-6-2-6-2-6-2-6-3-1-1-2-6-2-6-2-5-5-5-5-5-6-1-1-3-2-5-6-2-6-2-6-2-6-2-6-3-1-1-1-2-6-1-1-1-1-3-3-3-1-2-6-1-2-6-1-3-1-1-1-1-3-4-5-6-2-6-2-6-2-6-1-3-2-5-6-1-3-1-1-1-1-3-3-3-1-2-6-2-5-5-5-6-2-6-2-6-2-6-1-3-3-2-5-5-6-1-3-1-1-1-1-3-3-3-1-2-6-2-5-5-5-6-2-6-2-6-2-6-1-3-3-3-2-5-5-5-6-1-3-1-1-1-1-3-3-3-2-5-5-5-6-2-6-2-6-2-6-3-3-3-3-1-1-2-6-2-6-2-5-5-5-5-5-6-1-1-3-2-5-6-2-6-1-1-2-6-2-6-2-5-6-1-1-3-2-5-6-2-6-1-1-2-6-2-6-2-5-6-1-1-3-2-5-6-2-6-1-1-2-6-2-6-2-5-6-1-1-3-2-5-6-2-6-3-3-1-2-6-2-5-5-5-5-5-6-2-6-2-6-2-6-1-3-2-5-6-2-6-2-6-3-1-1-2-6-2-6-2-5-5-5-7-1-1-4-9-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-2-5-5-5-5-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-1-1-4-9-2-7-2-7-4-11-5-11-5-10-9-2-7-2-7-4-11-5-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-9-3-1-1-3-2-5-6-1-1-3-4-5-6-1-4-6-2-6-2-6-1-1-1-2-6-1-1-3-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-3-1-1-3-2-5-6-1-1-3-4-5-6-1-4-6-2-6-2-6-1-1-1-2-6-1-1-3-3-3-1-2-6-1-3-4-5-6-1-1-3-2-5-6-2-6-3-2-5-5-5-5-6-2-6-3-2-5-6-2-6-3-3-3-3-1-3-2-5-6-1-1-3-4-5-6-1-4-6-2-6-1-1-1-2-6-1-2-6-1-3-2-5-6-2-6-2-6-1-1-1-2-6-1-1-3-3-3-3-4-5-5-5-5-6-1-1-3-2-5-6-2-6-2-6-2-6-2-6-3-1-1-2-6-2-6-2-5-5-5-5-5-5-5-5-5-6-1-1-3-2-5-6-2-6-2-6-2-6-2-6-3-1-1-1-2-6-1-1-1-1-3-3-3-1-2-6-1-2-6-1-3-1-1-1-1-3-4-5-6-2-6-2-6-2-6-1-3-2-5-6-1-3-1-1-1-1-3-3-3-1-2-6-2-5-5-5-6-2-6-2-6-2-6-1-3-3-2-5-5-6-1-3-1-1-1-1-3-3-3-1-2-6-2-5-5-5-6-2-6-2-6-2-6-1-3-4-5-6-1-3-1-1-1-1-3-3-3-2-5-5-5-6-2-6-2-6-2-6-3-3-3-3-1-1-2-6-2-6-2-5-5-5-5-5-6-1-1-3-2-5-6-2-6-1-1-2-6-2-6-2-5-6-1-1-3-2-5-6-2-6-1-1-2-6-2-6-2-5-6-1-1-3-2-5-6-2-6-1-1-2-6-2-6-2-5-6-1-1-3-2-5-6-2-6-3-3-1-2-6-2-5-5-5-5-5-6-2-6-2-6-2-6-1-3-2-5-6-3-1-1-1-1-3-3-3-1-2-6-2-5-5-5-6-2-6-2-6-2-6-1-3-4-5-6-3-1-1-1-1-3-3-3-1-2-6-2-5-5-5-6-2-6-2-6-2-6-1-3-4-5-6-3-1-1-1-1-3-3-3-2-5-5-5-6-2-6-2-6-2-6-3-3-3-3-2-5-5-5-5-5-5-5-6-2-6-3-2-5-5-5-7-2-7-4-11-5-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5-10-11-5
+1126126132562611126113325562613256262631126262571345627131313256113256146261112611333126255562611134562613256261325631314625613325562562631126262556134562561114626132562613256313146256133131325611345614626111261133312625556261113456261114626132562613256313146256133255625613256313131462561345625613325562562631126262556134562556111462611146261325626132563131462561332556256132563131314625613456256133131325611345614626111261133312625556261113456261114626111462613256261325631314625613325562561325631313146256134562561332556256132563131313325563255632556325562632556255613334555931313325563255631314625613456111462611146261325626132563131462561332556256132563131314625613456256134561493131332556325563133255631461114626132562613256313146256134561114626111462613256261325631314625613325562561325631313146256134562561345614931313325563255631314625613456111462611146261325626132563131462561332556256132563131314625613456256134561493131332556325563133255631461114626132562613256313146256134561114626111462613256261325631314625613325562561325631313146256134562561345614931313325563255631314625613456111462611146261325626132563131462561332556256132563131314625613456256134561493131332556325563133255634555A555A55555A555A55555A555A55B5B5
diff --git a/tests/4.in b/tests/4.in
new file mode 100644
index 0000000..0c5b6bf
--- /dev/null
+++ b/tests/4.in
@@ -0,0 +1 @@
+((([([(1 [((1 1) 0)])] [(1 [((1 1) 0)])])] [[[((([((0 [[[[[0]]]]]) [[1]])] 1) 0) (([[[((0 2) 1)]]] ([(0 [[1]])] 1)) ((2 ([(0 [[0]])] 1)) 0)))]]]) (([[[((0 2) 1)]]] [[[[(1 3)]]]]) (([[[((0 2) 1)]]] [[[[(2 (1 3))]]]]) (([[[((0 2) 1)]]] [[[[(0 (1 3))]]]]) [[0]])))) (([[[((0 2) 1)]]] [[[[(1 (1 3))]]]]) [[0]]))
diff --git a/tests/4.red b/tests/4.red
new file mode 100644
index 0000000..41ccaf2
--- /dev/null
+++ b/tests/4.red
@@ -0,0 +1 @@
+[((0 [[[[(1 3)]]]]) [((0 [[[[(2 (1 3))]]]]) [((0 [[[[(0 (1 3))]]]]) [((0 [[[[(1 (1 3))]]]]) [[0]])])])])]
diff --git a/tests/4.trans b/tests/4.trans
new file mode 100644
index 0000000..a674bad
--- /dev/null
+++ b/tests/4.trans
@@ -0,0 +1 @@
+11126126132562626111261133112626255611325626262626311262625711493126134561132562633255572727271494AB5B5B5B5A93113256113256146262611126113331261345611325626331126262555556113256262626263112626255711493126134561132562633255572727271491494AAB5B5B5B5A93113256113456146262611126113331261345611325626331126262555556113256262626263112626255711493126134561132562633255572727271491494AAB5B5B5B5A93113256113456146262611126113331261345611325626332555556263256263333311262625555557114932572727271491494AAB5B5B5B5A93257274B5B5AB5AB5AB5AB5
diff --git a/tests/5.in b/tests/5.in
new file mode 100644
index 0000000..544aef9
--- /dev/null
+++ b/tests/5.in
@@ -0,0 +1 @@
+((([([(1 [((1 1) 0)])] [(1 [((1 1) 0)])])] [[[((([((0 [[[[[0]]]]]) [[1]])] 0) [[0]]) ((([((((0 [[1]]) [[[0]]]) [[[0]]]) [0])] 1) [[0]]) (([[[((0 2) 1)]]] ([(0 [[1]])] 0)) ((2 ([([(0 [[0]])] ((((0 (([[[((0 2) 1)]]] [[[[3]]]]) [[[[(2 3)]]]])) [(0 [[(([[[((0 2) 1)]]] ([[[[[(2 ((((4 3) 2) 1) 0))]]]]] 1)) ([[[[[(1 ((((4 3) 2) 1) 0))]]]]] 0))]])]) [(0 [[(([[[((0 2) 1)]]] ([[[[[(1 ((((4 3) 2) 1) 0))]]]]] 1)) ([[[[[(0 ((((4 3) 2) 1) 0))]]]]] 1))]])]) [(0 [[(([[[((0 2) 1)]]] ([[[[[(0 ((((4 3) 2) 1) 0))]]]]] 1)) ([[[[[(2 ((((4 3) 2) 1) 0))]]]]] 1))]])]))] 1)) ([(0 [[0]])] 0)))))]]]) [[[[(0 (2 (1 3)))]]]]) (([([(1 [((1 1) 0)])] [(1 [((1 1) 0)])])] [[((([([(1 [((1 1) 0)])] [(1 [((1 1) 0)])])] [[[((([((0 [[[[[0]]]]]) [[1]])] 1) 0) (([[[((0 2) 1)]]] ([(0 [[1]])] 1)) ((2 ([(0 [[0]])] 1)) 0)))]]]) 0) (1 0))]]) [((0 [((0 [[1]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[1]]) [((0 [[1]]) [((0 [[0]]) [[0]])])])])])])])])]) [((0 [((0 [[0]]) [((0 [[1]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[1]]) [((0 [[1]]) [((0 [[0]]) [[0]])])])])])])])])]) [[0]])])]))
diff --git a/tests/5.red b/tests/5.red
new file mode 100644
index 0000000..78cc9df
--- /dev/null
+++ b/tests/5.red
@@ -0,0 +1 @@
+[((0 [((0 [[1]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[1]]) [((0 [[1]]) [((0 [[0]]) [[0]])])])])])])])])]) [((0 [((0 [[0]]) [((0 [[1]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[1]]) [((0 [[1]]) [((0 [[0]]) [[0]])])])])])])])])]) [((0 [((0 [[1]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[1]]) [((0 [[1]]) [((0 [[0]]) [[0]])])])])])])])])]) [((0 [((0 [[0]]) [((0 [[1]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[1]]) [((0 [[1]]) [((0 [[0]]) [[0]])])])])])])])])]) [((0 [((0 [[1]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[1]]) [((0 [[1]]) [((0 [[0]]) [[0]])])])])])])])])]) [((0 [((0 [[0]]) [((0 [[1]]) [((0 [[0]]) [((0 [[0]]) [((0 [[0]]) [((0 [[1]]) [((0 [[1]]) [((0 [[0]]) [[0]])])])])])])])])]) [[0]])])])])])])]
diff --git a/tests/5.trans b/tests/5.trans
new file mode 100644
index 0000000..0dd30cd
--- /dev/null
+++ b/tests/5.trans
@@ -0,0 +1 @@
+111261261325626261112611331126126132562611126126132562626111261133325556113256262626263112626255561132562626262631112611113325562626261325631325625626311262625571149312613456113256263312613456113256263255557114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927274B5B5AB5AB5AB5AB5AB5AB5AB5AB5A93113256113256146262611126113312613456113256263311325611325614626261112611333126134561132562632555561132562626262631126262555556113256262626263111261111333126126131111345626262613256131325613132561331126262556113256261126262561132562611262625611325626112626256113256263312625555562626261325626263112626255571149312613456113256263312613456113256263255557114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927274B5B5AB5AB5AB5AB5AB5AB5AB5AB5A931132561134561462626111261133126134561132562633113256113456146262611126113331261345611325626325555626325626333313256113256146261112612613256262611126113333455556113256262626263112626255555555561132562626262631112611113331261261311113456262626132561311113331262555626262613456131111333126255562626261333255561311113332555626262633331126262555556113256261126262561132562611262625611325626112626256113256263312625555562626261325626263112626255571149312613456113256263312613456113256263255557114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927274B5B5AB5AB5AB5AB5AB5AB5AB5AB5A931132561134561462626111261133126134561132562633113256113256146262611126113331261345611325626325555611325626262626311262625555561132562626262631112611113331261261311113456262626132561311113331262555626262613456131111333126255562626261333255561311113332555626262633331126262555556113256261126262561132562611262625611325626112626256113256263312625555562626261325631111333126255562626261332556256263112626255571149312613456113256263312613456113256263255557114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927274B5B5AB5AB5AB5AB5AB5AB5AB5AB5A931132561134561462626111261133126134561132562633113256113456146262611126113331261345611325626325555626325626333313256113456146261112612613256262611126113333455556113256262626263112626255555555561132562626262631112611113331261261311113456262626132561311114626262613325561311113331262555626262613345561311113332555626262633331126262555556113256261126262561132562611262625611325626112626256113256263312625555562626261325626263112626255571149312613456113256263312613456113256263255557114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927274B5B5AB5AB5AB5AB5AB5AB5AB5AB5A93113256113456146262611126113312613456113256263311325611325614626261112611333126134561132562632555561132562626262631126262555556113256262626263111261111333126126131111345626262613256131111333126255562626261332556131111333126255562626261333255561311113332555626262633331126262555556113256261126262561132562611262625611325626112626256113256263312625555562626261325626263112626255571149312613456113256263312613456113256263255557114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927274B5B5AB5AB5AB5AB5AB5AB5AB5AB5A931132561134561462626111261133126134561132562633113256113456146262611126113331261345611325626325555626325626333313256113456146261112612613256262611126113333455556113256262626263112626255555555561132562626262631112611113331261261311113456262626132561311113331262555626262613325561311113331262555626262613456131111333255562626263333112626255555611325626112626256113256261126262561132562611262625611325626331262555556262626132563111133312625556262626134563111133312625556262626134563111133325556262626333325555555626325557274B5B5AB5AB5AB5AB5AB5AB5
diff --git a/tests/6.in b/tests/6.in
new file mode 100644
index 0000000..300b8ad
--- /dev/null
+++ b/tests/6.in
@@ -0,0 +1 @@
+((([([(1 (0 0))] [(1 (0 0))])] [[[((1 ((0 [[0]]) ([[1]] [[1]]))) [((1 [[1]]) [((4 1) 0)])])]]]) (([([(1 (0 0))] [(1 (0 0))])] [[((0 ([[[(0 2)]]] [[1]])) [((([([(1 (0 0))] [(1 (0 0))])] [[[((1 [[1]]) [((([([(1 (0 0))] [(1 (0 0))])] [[[((1 0) [([[[(0 2)]]] ((3 0) 1))])]]]) 1) ((3 0) 1))])]]]) 1) (2 0))])]]) ((([([(1 (0 0))] [(1 (0 0))])] [[[((1 0) [([[[(0 2)]]] ((3 0) 1))])]]]) ([[[(0 2)]]] ([[[(0 2)]]] ([[[(0 2)]]] [[1]])))) ([[[(0 2)]]] ([[[(0 2)]]] ([[[(0 2)]]] [[1]])))))) ((([([(1 (0 0))] [(1 (0 0))])] [[[((1 0) [([[[(0 2)]]] ((3 0) 1))])]]]) (([([(1 (0 0))] [(1 (0 0))])] [[((0 [[1]]) [((([([(1 (0 0))] [(1 (0 0))])] [[[((1 0) [([[[(0 2)]]] ((3 0) 1))])]]]) 1) (2 0))])]]) ([[[(0 2)]]] ((([([(1 (0 0))] [(1 (0 0))])] [[[((1 [[1]]) [((([([(1 (0 0))] [(1 (0 0))])] [[[((1 0) [([[[(0 2)]]] ((3 0) 1))])]]]) 1) ((3 0) 1))])]]]) ((([([(1 (0 0))] [(1 (0 0))])] [[[((1 0) [([[[(0 2)]]] ((3 0) 1))])]]]) ([[[(0 2)]]] ([[[(0 2)]]] ([[[(0 2)]]] [[1]])))) ([[[(0 2)]]] ([[[(0 2)]]] ([[[(0 2)]]] [[1]]))))) ((([([(1 (0 0))] [(1 (0 0))])] [[[((1 0) [([[[(0 2)]]] ((3 0) 1))])]]]) ([[[(0 2)]]] ([[[(0 2)]]] ([[[(0 2)]]] [[1]])))) ([[[(0 2)]]] ([[[(0 2)]]] ([[[(0 2)]]] [[1]])))))))) ((([([(1 (0 0))] [(1 (0 0))])] [[[((1 0) [([[[(0 2)]]] ((3 0) 1))])]]]) ((([([(1 (0 0))] [(1 (0 0))])] [[[((1 0) [([[[(0 2)]]] ((3 0) 1))])]]]) ([[[(0 2)]]] ([[[(0 2)]]] ([[[(0 2)]]] [[1]])))) ([[[(0 2)]]] ([[[(0 2)]]] ([[[(0 2)]]] [[1]]))))) ((([([(1 (0 0))] [(1 (0 0))])] [[[((1 0) [([[[(0 2)]]] ((3 0) 1))])]]]) ((([([(1 (0 0))] [(1 (0 0))])] [[[((1 0) [([[[(0 2)]]] ((3 0) 1))])]]]) ([[[(0 2)]]] ([[[(0 2)]]] ([[[(0 2)]]] [[1]])))) ([[[(0 2)]]] ([[[(0 2)]]] ([[[(0 2)]]] [[1]]))))) ((([([(1 (0 0))] [(1 (0 0))])] [[[((1 0) [([[[(0 2)]]] ((3 0) 1))])]]]) ([[[(0 2)]]] ([[[(0 2)]]] [[1]]))) ([[[(0 2)]]] ([[[(0 2)]]] ([[[(0 2)]]] [[1]]))))))))
diff --git a/tests/6.red b/tests/6.red
new file mode 100644
index 0000000..e6fb909
--- /dev/null
+++ b/tests/6.red
@@ -0,0 +1 @@
+[[0]]
diff --git a/tests/6.trans b/tests/6.trans
new file mode 100644
index 0000000..e6f9a94
--- /dev/null
+++ b/tests/6.trans
@@ -0,0 +1 @@
+1112612613256262611311261261325626113111261261325626261131262562613256126256261325611126126132562626113456261325611126126132562626113313132561462561133311313256146256261133312625556261325612625556261325611126126132562626113456261325611126126132562626113313134561462561133311313456146256261133312625556261325612625556261325611126126132562626113456261325611126126132562626113313134561462561133311313456146256261133325556263333312625555555562613256111261261325626261134562613256111261261325626261133131345614625611333126255562613256111261261325626261134562613256111261261325626261133131345614625611333126255562613256111261261325626261134562613256111261261325626261133131345614625611333255562631262555626132561262556261325612625562613256126255626132561262556261325612625562613256126256261325611311126126132562626113112612613256261131262562613256111261261325626261134562613256126256261325612625626132561131325614625626113331131325614625626113331131325614625626113331131325614625626113331131325614625626113331131325614625626113331131325614625626113332555626333113132561462562611334556263255555556263331131325614625626113345562613256111261261325626261133455626132561262555555626132561262555626132561262555626132561262555626132561262555626132561133311313256146256261133311313256146256261133311126126132562626113111261261325626261131262562613256126256261325611126126132562626113311126126132562626113126256261325612625562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611333113134561462562611333113134561462562611333113132561462562611334556263331131345614625626113345562632555555562633331131325614625626113345562613256111261261325626261133455626132561262555555562613256126255562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131325614625626113331131325614625626113331262555626132561262555626132561262555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113331131345614625626113331131325614625626113345562613256126255562613256126255562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113331131345614625626113331262555626132561262555626132561262555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113331131345614625626113331131345614625626113345562633331131345614625626113345562613256111261261325626261133455626132561262555555562613256126255562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113331131345614625626113332555626333331262555555556261325612625556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133311313456146256261133311313256146256261133455626132561262555626132561262555626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313456146256261133312625556261325612625556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133311313456146256261133311313456146256261133455626333311313456146256261133455626325555555562633333333113132561462562611334556261325611126126132562626113345562613256126255555555555626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313456146256261133312625556261325612625556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133311313256146256261133455626132561262555626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313456146256261133325556263333333311313256146256261133311313256146256261133312625556261325612625556261325611126126132562626113345562613256126255555555555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131325614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325612625556261325611333113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611333113134561462562611334556263333333311313456146256261133455626132561112612613256262611334556261325612625555555555562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611333113132561462562611334556261325612625556261325612625556261325612625556261325611333113134561462562611333113134561462562611333113134561462562611334556263333333311313456146256261133311313456146256261133312625556261325612625556261325611126126132562626113345562613256126255555555555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131325614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325612625556261325611333113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611333113134561462562611334556263333333311313456146256261133455626132561112612613256262611334556261325612625555555555562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611333113132561462562611334556261325612625556261325612625556261325612625556261325611333113134561462562611333113134561462562611333113134561462562611334556263333333311313456146256261133311313456146256261133325556263333312625555555562613256111261261325626261133455626132561262555555555556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313256146256261133455626132561262555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325612625556261325611333113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113331131345614625626113345562633333333113134561462562611334556263255555555555562633333333333333333333333333113132561462562611334556261325611126126132562626113345562613256126255555555555555555555555555555626132561262555626132561133311313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561262555626132561131345614625626113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113345562633333333113134561462562611333126255562613256111261261325626261133455626132561262555555555556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313256146256261133455626132561262555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611333113134561462562611334556263333333311313456146256261133312625556261325611126126132562626113345562613256126255555555555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131325614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313456146256261133455626333333331131345614625626113332555626325555555555556263333333333333333333333333333333333333331313256146256113345562613256111261261325626261134562613256126255555555555555555555555555555555555555555562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113132561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626333333333333333333333333331131345614625626113345562613256111261261325626261133455626132561262555555555555555555555555555556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313256146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556263333333333333333333333333311313456146256261133455626132561112612613256262611334556261325612625555555555555555555555555555562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113132561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556263333333333333333333333333333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555555555555555555555555555556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562633333333333333333333333333113134561462562611334556261325611126126132562626113345562613256126255555555555555555555555555555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626333333333333333333333333333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555555555555555555555555555562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113132561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562633333333333333333333333333113134561462562611334556263255555555555555555555555555555562633333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333113132561462562611334556261325611126126132562626113345562613256126255555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131325614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633333333333333333333333333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555555555555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333333333333333333333333333333331313456146256113345562613256111261261325626261134562613256126255555555555555555555555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333333333333333333333333333333333131345614625611334556261325611126126132562626113456261325612625555555555555555555555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633333333333333333333333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555555555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556263333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333311313456146256261133455626132561112612613256262611334556261325612625555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113132561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333333333333333333333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555555555555555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633333333333333333333333333333331313456146256113345562613256111261261325626261134562613256126255555555555555555555555555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333333333333333333333333333131345614625611334556261325611126126132562626113456261325612625555555555555555555555555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333333333333333333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555555555555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562633333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333113134561462562611334556261325611126126132562626113345562613256126255555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131325614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333333333333333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555555555555555555562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113132561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333333333333333333333333331313456146256113345562613256111261261325626261134562613256126255555555555555555555555555555562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113132561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633333333333333333333333333131345614625611334556261325611126126132562626113456261325612625555555555555555555555555555562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113132561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333333333333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555555555555555562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113132561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333333333333333333333331313456146256113345562613256111261261325626261134562613256126255555555555555555555555555562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113132561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333331131345614625626113345562613256111261261325626261133455626132561262555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313256146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333333333333333333331313456146256113345562613256111261261325626261134562613256126255555555555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333333333333333333333131345614625611334556261325611126126132562626113456261325612625555555555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633333333333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333333333333333331313456146256113345562613256111261261325626261134562613256126255555555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333333333333333333131345614625611334556261325611126126132562626113456261325612625555555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633333333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333333333333331313456146256113345562613256111261261325626261134562613256126255555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556263333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333311313456146256261133455626132561112612613256262611334556261325612625555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113132561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633333333333333331313456146256113345562613256111261261325626261134562613256126255555555555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333333333333131345614625611334556261325611126126132562626113456261325612625555555555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633333333333331313456146256113345562613256111261261325626261134562613256126255555555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333333333131345614625611334556261325611126126132562626113456261325612625555555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333333333313134561462561133455626132561112612613256262611345626132561262555555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633333333331313456146256113345562613256111261261325626261134562613256126255555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333333131345614625611334556261325611126126132562626113456261325612625555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333333313134561462561133455626132561112612613256262611345626132561262555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633333331313456146256113345562613256111261261325626261134562613256126255555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333131345614625611334556261325611126126132562626113456261325612625555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333313134561462561133455626132561112612613256262611345626132561262555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633331313456146256113345562613256111261261325626261134562613256126255555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626333131345614625611334556263255555556263333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333331112612613256262611311126126132562626113126256261325612625626132561262555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555626132561131345614625626113331131345614625626113345562613256126255562613256113331131325614625626113331131325614625626113331262555626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113331262555626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113332555626333331262555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133312625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133312625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133325556263333333311126126132562626113111261261325626261131262562613256126256261325612625555555555562613256113134561462562611333113134561462562611334556261325612625556261325611333113132561462562611333113132561462562611333126255562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611333126255562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611333255562633333126255555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113332555626333333331112612613256262611312625626132561262555555555556261325611313456146256261133311313456146256261133455626132561262555626132561133311313256146256261133312625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133325556263333126255555556261325611313456146256261133311313456146256261133455626132561262555626132561133312625556261325611313456146256261133311313456146256261133455626132561262555626132561133312625556261325611313456146256261133311313456146256261133455626333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333331131345614625626113345562632555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555626311333255562632557274B5B5
diff --git a/tests/readme.md b/tests/readme.md
new file mode 100644
index 0000000..9782650
--- /dev/null
+++ b/tests/readme.md
@@ -0,0 +1,19 @@
+# Tests
+
+These tests don't really test *specific* transition rules although I
+used them to fix specific rules using TDD. They are still useful as
+*random* overall reduction tests or for general benchmarking.
+
+## Descriptions
+
+1. Smallest expression that uses all transition rules\[0\]
+2. Folds a list of balanced ternary numbers:
+ `foldl + 0 [1, 2, 3] ~~> 6`
+3. Factorial function using church numerals and the z combinator
+4. Appends two lists of balanced ternary numbers:
+ `[1, 2, 3] ++ [4] ~~> [1, 2, 3, 4]`
+5. Inifinite lazy list generators, list-based string representation and
+ generator management using balanced ternary numbers. Basically
+ equivalent of `(take (+6) (cycle "ab")) ~~> "ababab"`
+6. Stress test using factorial equalities, originally by Lennart
+ Augustsson