diff options
| author | Marvin Borner | 2023-05-26 18:08:09 +0200 |
|---|---|---|
| committer | Marvin Borner | 2023-05-26 18:09:39 +0200 |
| commit | 464cca35825a02541efd46cfd3af91146c118d01 (patch) | |
| tree | 2c9709cfbc9705d8d2c7eda481e81c6e1ff32ca7 /tests | |
| parent | b31220aadc24ff137a4fe4bc39780ae63c58e11b (diff) | |
Becoming aggressive
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/1.in | 1 | ||||
| -rw-r--r-- | tests/1.red | 1 | ||||
| -rw-r--r-- | tests/1.trans | 1 | ||||
| -rw-r--r-- | tests/2.in | 1 | ||||
| -rw-r--r-- | tests/2.red | 1 | ||||
| -rw-r--r-- | tests/2.trans | 1 | ||||
| -rw-r--r-- | tests/3.in | 1 | ||||
| -rw-r--r-- | tests/3.red | 1 | ||||
| -rw-r--r-- | tests/3.trans | 1 | ||||
| -rw-r--r-- | tests/4.in | 1 | ||||
| -rw-r--r-- | tests/4.red | 1 | ||||
| -rw-r--r-- | tests/4.trans | 1 | ||||
| -rw-r--r-- | tests/5.in | 1 | ||||
| -rw-r--r-- | tests/5.red | 1 | ||||
| -rw-r--r-- | tests/5.trans | 1 | ||||
| -rw-r--r-- | tests/6.in | 1 | ||||
| -rw-r--r-- | tests/6.red | 1 | ||||
| -rw-r--r-- | tests/6.trans | 1 | ||||
| -rw-r--r-- | tests/readme.md | 19 |
19 files changed, 0 insertions, 37 deletions
diff --git a/tests/1.in b/tests/1.in deleted file mode 100644 index 770aae2..0000000 --- a/tests/1.in +++ /dev/null @@ -1 +0,0 @@ -([((1 0) 0)] ([[([0] 0)]] [([(0 0)] [(0 0)])])) diff --git a/tests/1.red b/tests/1.red deleted file mode 100644 index 73dac44..0000000 --- a/tests/1.red +++ /dev/null @@ -1 +0,0 @@ -((0 [0]) [0]) diff --git a/tests/1.trans b/tests/1.trans deleted file mode 100644 index e87943a..0000000 --- a/tests/1.trans +++ /dev/null @@ -1 +0,0 @@ -12611493126257126345B5A948A diff --git a/tests/2.in b/tests/2.in deleted file mode 100644 index 3739629..0000000 --- a/tests/2.in +++ /dev/null @@ -1 +0,0 @@ -(([[(([([[((1 0) [[[0]]])]] ((((0 [[(((0 ([([(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))]])]))] (([(0 0)] [[((((0 [[[[3]]]]) [([[[[[(2 ((((4 3) 2) 1) 0))]]]]] ([((3 3) 0)] 0))]) [([[[[[(1 ((((4 3) 2) 1) 0))]]]]] ([((3 3) 0)] 0))]) [([[[[[(0 ((((4 3) 2) 1) 0))]]]]] ([((3 3) 0)] 0))])]]) 1))) ([([(0 [[0]])] ((((0 (([[[((0 2) 1)]]] [[[[3]]]]) [[[[(1 3)]]]])) [(0 [[(([[[((0 2) 1)]]] ([[[[[(2 ((((4 3) 2) 1) 0))]]]]] 1)) ([[[[[(0 ((((4 3) 2) 1) 0))]]]]] 1))]])]) [(0 [[(([[[((0 2) 1)]]] ([[[[[(1 ((((4 3) 2) 1) 0))]]]]] 1)) ([[[[[(2 ((((4 3) 2) 1) 0))]]]]] 0))]])]) [(0 [[(([[[((0 2) 1)]]] ([[[[[(0 ((((4 3) 2) 1) 0))]]]]] 1)) ([[[[[(1 ((((4 3) 2) 1) 0))]]]]] 1))]])]))] (([(0 0)] [[((((0 [[[[3]]]]) [([[[[[(2 ((((4 3) 2) 1) 0))]]]]] ([((3 3) 0)] 0))]) [([[[[[(1 ((((4 3) 2) 1) 0))]]]]] ([((3 3) 0)] 0))]) [([[[[[(0 ((((4 3) 2) 1) 0))]]]]] ([((3 3) 0)] 0))])]]) 1))) (([(0 0)] [[((((0 [[[[3]]]]) [([[[[[(2 ((((4 3) 2) 1) 0))]]]]] ([((3 3) 0)] 0))]) [([[[[[(1 ((((4 3) 2) 1) 0))]]]]] ([((3 3) 0)] 0))]) [([[[[[(0 ((((4 3) 2) 1) 0))]]]]] ([((3 3) 0)] 0))])]]) 1))]]) [[[((((1 ([(((1 ([[[[[(1 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[2]]]))) ([[[[[(0 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[0]]]))) ([[[[[(2 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[0]]])))] 1)) [(((1 ([[[[[(0 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[2]]]))) ([[[[[(2 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[0]]]))) ([[[[[(1 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[2]]])))]) [(([[[[[[((((5 2) 1) 0) ((((4 3) 2) 1) 0))]]]]]] 1) ((3 0) [[[0]]]))]) [(((1 ([[[[[(1 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[2]]]))) ([[[[[(0 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[0]]]))) ([[[[[(2 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[0]]])))])]]]) [[[((((1 ([(((1 ([[[[[(0 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[0]]]))) ([[[[[(2 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[1]]]))) ([[[[[(1 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[0]]])))] 1)) [(([[[[[[((((5 2) 1) 0) ((((4 3) 2) 1) 0))]]]]]] 1) ((3 0) [[[0]]]))]) [(((1 ([[[[[(1 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[0]]]))) ([[[[[(0 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[1]]]))) ([[[[[(2 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[1]]])))]) [(((1 ([[[[[(0 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[0]]]))) ([[[[[(2 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[1]]]))) ([[[[[(1 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[0]]])))])]]]) [[[((((1 ([(([[[[[[((((5 2) 1) 0) ((((4 3) 2) 1) 0))]]]]]] 1) ((3 0) [[[0]]]))] 1)) [(((1 ([[[[[(1 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[2]]]))) ([[[[[(0 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[0]]]))) ([[[[[(2 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[0]]])))]) [(((1 ([[[[[(0 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[0]]]))) ([[[[[(2 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[1]]]))) ([[[[[(1 ((((4 3) 2) 1) 0))]]]]] ((3 0) [[[0]]])))]) [(([[[[[[((((5 2) 1) 0) ((((4 3) 2) 1) 0))]]]]]] 1) ((3 0) [[[0]]]))])]]]))] 1) ([((((0 [[[[3]]]]) [[[[[(2 4)]]]]]) [[[[[(1 4)]]]] ]) [[[[[(0 4)]]]]])] 0))]] [[[[(2 (2 (1 3)))]]]]) [[[[(1 3)]]]]) diff --git a/tests/2.red b/tests/2.red deleted file mode 100644 index bc83b7c..0000000 --- a/tests/2.red +++ /dev/null @@ -1 +0,0 @@ -[[[[(0 (2 (1 3)))]]]] diff --git a/tests/2.trans b/tests/2.trans deleted file mode 100644 index 60fda1e..0000000 --- a/tests/2.trans +++ /dev/null @@ -1 +0,0 @@ -11262611261262611311113325562626261325625626111133126111133255626262613256255626262613256112626272727271111332556262634591111311314625626111133332555562626263126111325626263126255562626261345911113113132562562611113345562626263126111325626263126255562626261334559111131133255626111325626263112613256261111333455562626263255562626263334555AAAB5B5B5B5 diff --git a/tests/3.in b/tests/3.in deleted file mode 100644 index 6f1170d..0000000 --- a/tests/3.in +++ /dev/null @@ -1 +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 deleted file mode 100644 index 9c57852..0000000 --- a/tests/3.red +++ /dev/null @@ -1 +0,0 @@ -[[(1 (1 (1 (1 (1 (1 0))))))]] diff --git a/tests/3.trans b/tests/3.trans deleted file mode 100644 index 051c200..0000000 --- a/tests/3.trans +++ /dev/null @@ -1 +0,0 @@ -1126126132562611126113325562613256262631126262571345627131313256113256146261112611333126255562611134562613256261325631314625613325562562631126262556134562561114626132562613256313146256133131325611345614626111261133312625556261113456261114626132562613256313146256133255625613256313131462561345625613325562562631126262556134562556111462611146261325626132563131462561332556256132563131314625613456256133131325611345614626111261133312625556261113456261114626111462613256261325631314625613325562561325631313146256134562561332556256132563131313325563255632556325562632556255613334555931313325563255631314625613456111462611146261325626132563131462561332556256132563131314625613456256134561493131332556325563133255631461114626132562613256313146256134561114626111462613256261325631314625613325562561325631313146256134562561345614931313325563255631314625613456111462611146261325626132563131462561332556256132563131314625613456256134561493131332556325563133255631461114626132562613256313146256134561114626111462613256261325631314625613325562561325631313146256134562561345614931313325563255631314625613456111462611146261325626132563131462561332556256132563131314625613456256134561493131332556325563133255634555A555A55555A555A55555A555A55B5B5 diff --git a/tests/4.in b/tests/4.in deleted file mode 100644 index 0c5b6bf..0000000 --- a/tests/4.in +++ /dev/null @@ -1 +0,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 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 deleted file mode 100644 index 41ccaf2..0000000 --- a/tests/4.red +++ /dev/null @@ -1 +0,0 @@ -[((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 deleted file mode 100644 index a674bad..0000000 --- a/tests/4.trans +++ /dev/null @@ -1 +0,0 @@ -11126126132562626111261133112626255611325626262626311262625711493126134561132562633255572727271494AB5B5B5B5A93113256113256146262611126113331261345611325626331126262555556113256262626263112626255711493126134561132562633255572727271491494AAB5B5B5B5A93113256113456146262611126113331261345611325626331126262555556113256262626263112626255711493126134561132562633255572727271491494AAB5B5B5B5A93113256113456146262611126113331261345611325626332555556263256263333311262625555557114932572727271491494AAB5B5B5B5A93257274B5B5AB5AB5AB5AB5 diff --git a/tests/5.in b/tests/5.in deleted file mode 100644 index 544aef9..0000000 --- a/tests/5.in +++ /dev/null @@ -1 +0,0 @@ -((([([(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 deleted file mode 100644 index 78cc9df..0000000 --- a/tests/5.red +++ /dev/null @@ -1 +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 [((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 deleted file mode 100644 index 0dd30cd..0000000 --- a/tests/5.trans +++ /dev/null @@ -1 +0,0 @@ -111261261325626261112611331126126132562611126126132562626111261133325556113256262626263112626255561132562626262631112611113325562626261325631325625626311262625571149312613456113256263312613456113256263255557114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927274B5B5AB5AB5AB5AB5AB5AB5AB5AB5A93113256113256146262611126113312613456113256263311325611325614626261112611333126134561132562632555561132562626262631126262555556113256262626263111261111333126126131111345626262613256131325613132561331126262556113256261126262561132562611262625611325626112626256113256263312625555562626261325626263112626255571149312613456113256263312613456113256263255557114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927274B5B5AB5AB5AB5AB5AB5AB5AB5AB5A931132561134561462626111261133126134561132562633113256113456146262611126113331261345611325626325555626325626333313256113256146261112612613256262611126113333455556113256262626263112626255555555561132562626262631112611113331261261311113456262626132561311113331262555626262613456131111333126255562626261333255561311113332555626262633331126262555556113256261126262561132562611262625611325626112626256113256263312625555562626261325626263112626255571149312613456113256263312613456113256263255557114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927274B5B5AB5AB5AB5AB5AB5AB5AB5AB5A931132561134561462626111261133126134561132562633113256113256146262611126113331261345611325626325555611325626262626311262625555561132562626262631112611113331261261311113456262626132561311113331262555626262613456131111333126255562626261333255561311113332555626262633331126262555556113256261126262561132562611262625611325626112626256113256263312625555562626261325631111333126255562626261332556256263112626255571149312613456113256263312613456113256263255557114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927274B5B5AB5AB5AB5AB5AB5AB5AB5AB5A931132561134561462626111261133126134561132562633113256113456146262611126113331261345611325626325555626325626333313256113456146261112612613256262611126113333455556113256262626263112626255555555561132562626262631112611113331261261311113456262626132561311114626262613325561311113331262555626262613345561311113332555626262633331126262555556113256261126262561132562611262625611325626112626256113256263312625555562626261325626263112626255571149312613456113256263312613456113256263255557114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927274B5B5AB5AB5AB5AB5AB5AB5AB5AB5A93113256113456146262611126113312613456113256263311325611325614626261112611333126134561132562632555561132562626262631126262555556113256262626263111261111333126126131111345626262613256131111333126255562626261332556131111333126255562626261333255561311113332555626262633331126262555556113256261126262561132562611262625611325626112626256113256263312625555562626261325626263112626255571149312613456113256263312613456113256263255557114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927114927274B5B5A927274B5B5AB5AB5AB5AB5AB5AB5AB5AB5A931132561134561462626111261133126134561132562633113256113456146262611126113331261345611325626325555626325626333313256113456146261112612613256262611126113333455556113256262626263112626255555555561132562626262631112611113331261261311113456262626132561311113331262555626262613325561311113331262555626262613456131111333255562626263333112626255555611325626112626256113256261126262561132562611262625611325626331262555556262626132563111133312625556262626134563111133312625556262626134563111133325556262626333325555555626325557274B5B5AB5AB5AB5AB5AB5AB5 diff --git a/tests/6.in b/tests/6.in deleted file mode 100644 index 300b8ad..0000000 --- a/tests/6.in +++ /dev/null @@ -1 +0,0 @@ -((([([(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 deleted file mode 100644 index e6fb909..0000000 --- a/tests/6.red +++ /dev/null @@ -1 +0,0 @@ -[[0]] diff --git a/tests/6.trans b/tests/6.trans deleted file mode 100644 index e6f9a94..0000000 --- a/tests/6.trans +++ /dev/null @@ -1 +0,0 @@ -1112612613256262611311261261325626113111261261325626261131262562613256126256261325611126126132562626113456261325611126126132562626113313132561462561133311313256146256261133312625556261325612625556261325611126126132562626113456261325611126126132562626113313134561462561133311313456146256261133312625556261325612625556261325611126126132562626113456261325611126126132562626113313134561462561133311313456146256261133325556263333312625555555562613256111261261325626261134562613256111261261325626261133131345614625611333126255562613256111261261325626261134562613256111261261325626261133131345614625611333126255562613256111261261325626261134562613256111261261325626261133131345614625611333255562631262555626132561262556261325612625562613256126255626132561262556261325612625562613256126256261325611311126126132562626113112612613256261131262562613256111261261325626261134562613256126256261325612625626132561131325614625626113331131325614625626113331131325614625626113331131325614625626113331131325614625626113331131325614625626113331131325614625626113332555626333113132561462562611334556263255555556263331131325614625626113345562613256111261261325626261133455626132561262555555626132561262555626132561262555626132561262555626132561262555626132561133311313256146256261133311313256146256261133311126126132562626113111261261325626261131262562613256126256261325611126126132562626113311126126132562626113126256261325612625562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611333113134561462562611333113134561462562611333113132561462562611334556263331131345614625626113345562632555555562633331131325614625626113345562613256111261261325626261133455626132561262555555562613256126255562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131325614625626113331131325614625626113331262555626132561262555626132561262555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113331131345614625626113331131325614625626113345562613256126255562613256126255562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113331131345614625626113331262555626132561262555626132561262555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113331131345614625626113331131345614625626113345562633331131345614625626113345562613256111261261325626261133455626132561262555555562613256126255562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113331131345614625626113332555626333331262555555556261325612625556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133311313456146256261133311313256146256261133455626132561262555626132561262555626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313456146256261133312625556261325612625556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133311313456146256261133311313456146256261133455626333311313456146256261133455626325555555562633333333113132561462562611334556261325611126126132562626113345562613256126255555555555626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313456146256261133312625556261325612625556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133311313256146256261133455626132561262555626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313456146256261133325556263333333311313256146256261133311313256146256261133312625556261325612625556261325611126126132562626113345562613256126255555555555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131325614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325612625556261325611333113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611333113134561462562611334556263333333311313456146256261133455626132561112612613256262611334556261325612625555555555562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611333113132561462562611334556261325612625556261325612625556261325612625556261325611333113134561462562611333113134561462562611333113134561462562611334556263333333311313456146256261133311313456146256261133312625556261325612625556261325611126126132562626113345562613256126255555555555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131325614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325612625556261325611333113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611333113134561462562611334556263333333311313456146256261133455626132561112612613256262611334556261325612625555555555562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611333113132561462562611334556261325612625556261325612625556261325612625556261325611333113134561462562611333113134561462562611333113134561462562611334556263333333311313456146256261133311313456146256261133325556263333312625555555562613256111261261325626261133455626132561262555555555556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313256146256261133455626132561262555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325612625556261325611333113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113331131345614625626113345562633333333113134561462562611334556263255555555555562633333333333333333333333333113132561462562611334556261325611126126132562626113345562613256126255555555555555555555555555555626132561262555626132561133311313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561262555626132561131345614625626113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113345562633333333113134561462562611333126255562613256111261261325626261133455626132561262555555555556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313256146256261133455626132561262555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611333113134561462562611334556263333333311313456146256261133312625556261325611126126132562626113345562613256126255555555555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131325614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133311313456146256261133455626333333331131345614625626113332555626325555555555556263333333333333333333333333333333333333331313256146256113345562613256111261261325626261134562613256126255555555555555555555555555555555555555555562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113132561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626333333333333333333333333331131345614625626113345562613256111261261325626261133455626132561262555555555555555555555555555556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313256146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556263333333333333333333333333311313456146256261133455626132561112612613256262611334556261325612625555555555555555555555555555562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113132561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556263333333333333333333333333333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555555555555555555555555555556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562633333333333333333333333333113134561462562611334556261325611126126132562626113345562613256126255555555555555555555555555555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626333333333333333333333333333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555555555555555555555555555562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113132561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133311313456146256261133455626132561262555626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113331131345614625626113345562633333333333333333333333333113134561462562611334556263255555555555555555555555555555562633333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333113132561462562611334556261325611126126132562626113345562613256126255555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131325614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633333333333333333333333333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555555555555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333333333333333333333333333333331313456146256113345562613256111261261325626261134562613256126255555555555555555555555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333333333333333333333333333333333131345614625611334556261325611126126132562626113456261325612625555555555555555555555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633333333333333333333333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555555555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556263333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333311313456146256261133455626132561112612613256262611334556261325612625555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113132561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333333333333333333333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555555555555555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633333333333333333333333333333331313456146256113345562613256111261261325626261134562613256126255555555555555555555555555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333333333333333333333333333131345614625611334556261325611126126132562626113456261325612625555555555555555555555555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333333333333333333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555555555555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562633333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333113134561462562611334556261325611126126132562626113345562613256126255555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131325614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333333333333333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555555555555555555562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113132561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333333333333333333333333331313456146256113345562613256111261261325626261134562613256126255555555555555555555555555555562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113132561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633333333333333333333333333131345614625611334556261325611126126132562626113456261325612625555555555555555555555555555562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113132561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333333333333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555555555555555562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113132561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333333333333333333333331313456146256113345562613256111261261325626261134562613256126255555555555555555555555555562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113132561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333331131345614625626113345562613256111261261325626261133455626132561262555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313256146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333333333333333333331313456146256113345562613256111261261325626261134562613256126255555555555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333333333333333333333131345614625611334556261325611126126132562626113456261325612625555555555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633333333333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333333333333333331313456146256113345562613256111261261325626261134562613256126255555555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333333333333333333131345614625611334556261325611126126132562626113456261325612625555555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633333333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333333333333331313456146256113345562613256111261261325626261134562613256126255555555555555555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131325614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556263333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333311313456146256261133455626132561112612613256262611334556261325612625555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113132561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633333333333333331313456146256113345562613256111261261325626261134562613256126255555555555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333333333333131345614625611334556261325611126126132562626113456261325612625555555555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333333333333313134561462561133455626132561112612613256262611345626132561262555555555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633333333333331313456146256113345562613256111261261325626261134562613256126255555555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333333333131345614625611334556261325611126126132562626113456261325612625555555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333333333313134561462561133455626132561112612613256262611345626132561262555555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633333333331313456146256113345562613256111261261325626261134562613256126255555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333333131345614625611334556261325611126126132562626113456261325612625555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333333313134561462561133455626132561112612613256262611345626132561262555555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633333331313456146256113345562613256111261261325626261134562613256126255555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556261325612625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313456146256261133455626333333131345614625611334556261325611126126132562626113456261325612625555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611334556263333313134561462561133455626132561112612613256262611345626132561262555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113345562633331313456146256113345562613256111261261325626261134562613256126255555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133311313256146256261133455626333131345614625611334556263255555556263333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333331112612613256262611311126126132562626113126256261325612625626132561262555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555626132561131345614625626113331131345614625626113345562613256126255562613256113331131325614625626113331131325614625626113331262555626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113331262555626132561262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331131345614625626113332555626333331262555555556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133312625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133312625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133325556263333333311126126132562626113111261261325626261131262562613256126256261325612625555555555562613256113134561462562611333113134561462562611334556261325612625556261325611333113132561462562611333113132561462562611333126255562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611333126255562613256126255562613256126255562613256113134561462562611333113134561462562611334556261325612625556261325611333113134561462562611333113134561462562611333255562633333126255555555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113331262555626132561262555626132561131345614625626113331131345614625626113345562613256126255562613256113331131345614625626113332555626333333331112612613256262611312625626132561262555555555556261325611313456146256261133311313456146256261133455626132561262555626132561133311313256146256261133312625556261325612625556261325611313456146256261133311313456146256261133455626132561262555626132561133311313456146256261133325556263333126255555556261325611313456146256261133311313456146256261133455626132561262555626132561133312625556261325611313456146256261133311313456146256261133455626132561262555626132561133312625556261325611313456146256261133311313456146256261133455626333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333331131345614625626113345562632555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555626311333255562632557274B5B5 diff --git a/tests/readme.md b/tests/readme.md deleted file mode 100644 index 9782650..0000000 --- a/tests/readme.md +++ /dev/null @@ -1,19 +0,0 @@ -# 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 |