Rule:Cactus

@RULE Cactus

@COLORS 0 0 0 0 1 255 0 0 Right 2 255 255 0 Up 3 0 255 0 Left 4 0 255 255 Down 5 255 255 255 Solid 6 128 128 128 One-time splitter 7 255 0 255 Marked arm 8 0 0 128 9 0 0 255 10 0 128 128 11 0 128 255 12 128 0 128 13 0 128 0 14 0 128 0 15 0 128 0 16 255 128 0

@TABLE n_states:17 neighborhood:Moore symmetries:none

var ns = {0,1,2,3,4}

var b0 = {0,1,2,3,5,6,7,8,9,10,11,12,13,14,15,16} var b2 = {0,1,2,4,5,6,7,8,9,10,11,12,13,14,15,16} var b4 = {0,1,3,4,5,6,7,8,9,10,11,12,13,14,15,16} var b6 = {0,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16} var a1 = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16} var a3 = a1 var a5 = a1 var a7 = a1 var a0 = a1 var a2 = a1 var a4 = a1 var a6 = a1

var sp = {5,6} var sg = {1,2,3,4,16}

var fm = {9,10,11,12}

1. c/2o T

5,16, 0, 0, 0, 0, 0, 0, 0,16
5, 0, 0,16, 0, 0, 0, 0, 0,16
5, 0, 0, 0, 0,16, 0, 0, 0,16
5, 0, 0, 0, 0, 0, 0,16, 0,16
0,16, 0, 0, 0, 0, 0, 0, 5,16
0, 0, 5,16, 0, 0, 0, 0, 0,16
0, 0, 0, 0, 5,16, 0, 0, 0,16
0, 0, 0, 0, 0, 0, 5,16, 0,16
0,16, 5, 0, 0, 0, 0, 0, 0,16
0, 0, 0,16, 5, 0, 0, 0, 0,16
0, 0, 0, 0, 0,16, 5, 0, 0,16
0, 0, 0, 0, 0, 0, 0,16, 5,16
0, 0,16, 0,16, 0, 0, 0, 0,16
0, 0, 0, 0,16, 0,16, 0, 0,16
0, 0, 0, 0, 0, 0,16, 0,16,16
0, 0,16, 0, 0, 0, 0, 0,16,16
0,16,16,16, 0, 0, 0, 0, 0,16
0, 0, 0,16,16,16, 0, 0, 0,16
0, 0, 0, 0, 0,16,16,16, 0,16
0,16, 0, 0, 0, 0, 0,16,16,16

16, 0,16, 0, 0, 0, 0, 0, 0,16 16, 0, 0, 0,16, 0, 0, 0, 0,16 16, 0, 0, 0, 0, 0,16, 0, 0,16 16, 0, 0, 0, 0, 0, 0, 0,16,16 16, 0, 0,16, 0,16, 0,16, 0,16 16,16, 0, 0, 0,16, 0,16, 0,16 16,16, 0,16, 0, 0, 0,16, 0,16 16,16, 0,16, 0,16, 0, 0, 0,16

0, 0, 0,16, 0,16, 0,16, 0,16
0,16, 0, 0, 0,16, 0,16, 0,16
0,16, 0,16, 0, 0, 0,16, 0,16
0,16, 0,16, 0,16, 0, 0, 0,16

16, 0, 2,16, 0,16, 0,16, 0, 5 16,16, 0, 0, 2,16, 0,16, 0, 5 16,16, 0,16, 0, 0, 2,16, 0, 5 16,16, 0,16, 0,16, 0, 0, 2, 5 16, 0, 0,16, 0,16, 0,16, 2, 5 16,16, 2, 0, 0,16, 0,16, 0, 5 16,16, 0,16, 2, 0, 0,16, 0, 5 16,16, 0,16, 0,16, 2, 0, 0, 5 16,a0,a1,a2,a3,a4,a5,a6,a7, 0

1. Receive 10

1, 5,a1, 0,a3,a4,a5, 0,a7, 8
3, 5,a1, 0,a3,a4,a5, 0,a7, 8
1,a0,a1, 0,a3, 5,a5, 0,a7, 8
3,a0,a1, 0,a3, 5,a5, 0,a7, 8
2, 0,a1, 5,a3, 0,a5,a6,a7, 8
4, 0,a1, 5,a3, 0,a5,a6,a7, 8
2, 0,a1,a2,a3, 0,a5, 5,a7, 8
4, 0,a1,a2,a3, 0,a5, 5,a7, 8

1. Receive 101

8,a0,a1,a2,a3,a4,a5, 1,a7,12
8,a0,a1,a2,a3, 2,a5,a6,a7,12
8,a0,a1, 3,a3,a4,a5,a6,a7,12
8, 4,a1,a2,a3,a4,a5,a6,a7,12

1. Receive 100

8,a0,a1,a2,a3,a4,a5,a6,a7, 9

1. Receive 110

1, 5,a1, 7,a3,a4,a5, 0,a7,10
1,a0,a1, 7,a3, 5,a5, 0,a7,10
3, 5,a1, 0,a3,a4,a5, 7,a7,10
3,a0,a1, 0,a3, 5,a5, 7,a7,10
2, 7,a1, 5,a3, 0,a5,a6,a7,10
2, 7,a1,a2,a3, 0,a5, 5,a7,10
4, 0,a1, 5,a3, 7,a5,a6,a7,10
4, 0,a1,a2,a3, 7,a5, 5,a7,10

1. Receive 111

1, 5,a1, 7,a3,a4,a5, 1,a7,11
1,a0,a1, 7,a3, 5,a5, 1,a7,11
3, 5,a1, 3,a3,a4,a5, 7,a7,11
3,a0,a1, 3,a3, 5,a5, 7,a7,11
2, 7,a1, 5,a3, 2,a5,a6,a7,11
2, 7,a1,a2,a3, 2,a5, 5,a7,11
4, 4,a1, 5,a3, 7,a5,a6,a7,11
4, 4,a1,a2,a3, 7,a5, 5,a7,11

1. Return

5, 9,a1,a2,a3, 5,a5,a6,a7, 0
5,a0,a1, 9,a3,a4,a5, 5,a7, 0
5, 5,a1,a2,a3, 9,a5,a6,a7, 0
5,a0,a1, 5,a3,a4,a5, 9,a7, 0
5, 9, 7,a2,a3,a4,a5,a6, 0, 3
5, 9, 0,a2,a3,a4,a5,a6, 7, 1
5,a0,a1,a2, 7, 9, 0,a6,a7, 3
5,a0,a1,a2, 0, 9, 7,a6,a7, 1
5,a0, 7, 9, 0,a4,a5,a6,a7, 4
5,a0, 0, 9, 7,a4,a5,a6,a7, 2
5,a0,a1,a2,a3,a4, 7, 9, 0, 2
5,a0,a1,a2,a3,a4, 0, 9, 7, 4

1. Push

5,10,a1,a2,a3,a4,a5,a6,a7, 0
5,a0,a1,10,a3,a4,a5,a6,a7, 0
5,a0,a1,a2,a3,10,a5,a6,a7, 0
5,a0,a1,a2,a3,a4,a5,10,a7, 0
0, 5,10, 7,a3,a4,a5,a6,a7, 5
0, 5,a1,a2,a3,a4,a5, 7,10, 5
0, 7,10, 5,a3,a4,a5,a6,a7, 5
0,a0,a1, 5,10, 7,a5,a6,a7, 5
0,a0,a1, 7,10, 5,a5,a6,a7, 5
0,a0,a1,a2,a3, 5,10, 7,a7, 5
0,a0,a1,a2,a3, 7,10, 5,a7, 5
0, 7,a1,a2,a3,a4,a5, 5,10, 5

1. Pull

5,12, 0,a2,a3,a4,a5,a6, 7, 0
5,12, 7,a2,a3,a4,a5,a6, 0, 0
5,a0, 7,12, 0,a4,a5,a6,a7, 0
5,a0, 0,12, 7,a4,a5,a6,a7, 0
5,a0,a1,a2, 7,12, 0,a6,a7, 0
5,a0,a1,a2, 0,12, 7,a6,a7, 0
5,a0,a1,a2,a3,a4, 7,12, 0, 0
5,a0,a1,a2,a3,a4, 0,12, 7, 0
0, 5,a1,a2,a3,a4,a5, 0,12, 5
0, 5,12, 0,a3,a4,a5,a6,a7, 5
0, 0,12, 5,a3,a4,a5,a6,a7, 5
0,a0,a1, 5,12, 0,a5,a6,a7, 5
0,a0,a1, 0,12, 5,a5,a6,a7, 5
0,a0,a1,a2,a3, 5,12, 0,a7, 5
0,a0,a1,a2,a3, 0,12, 5,a7, 5
0, 0,a1,a2,a3,a4,a5, 5,12, 5

1. Reflectorify

11, 7,a1,a2,a3, 0,a5,a6,a7, 5 11,a0,a1, 7,a3,a4,a5, 0,a7, 5 11, 0,a1,a2,a3, 7,a5,a6,a7, 5 11,a0,a1, 0,a3,a4,a5, 7,a7, 5

1. State 13

12, 7,a1,a2,a3, 2,a5,a6,a7,13 12,a0,a1, 7,a3,a4,a5, 1,a7,13 12, 4,a1,a2,a3, 7,a5,a6,a7,13 12,a0,a1, 3,a3,a4,a5, 7,a7,13

9, 7,a1,a2,a3, 2,a5,a6,a7,13
9,a0,a1, 7,a3,a4,a5, 1,a7,13
9, 4,a1,a2,a3, 7,a5,a6,a7,13
9,a0,a1, 3,a3,a4,a5, 7,a7,13

13,a0,a1,a2,a3,a4,a5, 1,a7, 1 13,a0,a1,a2,a3, 2,a5,a6,a7, 2 13,a0,a1, 3,a3,a4,a5,a6,a7, 3 13, 4,a1,a2,a3,a4,a5,a6,a7, 4 13,a0,a1,a2,a3,a4,a5,a6,a7, 0

1. Create block

0, 9, 7,a2,a3,a4,a5,a6, 1,14
0,a0, 7, 9, 2,a4,a5,a6,a7,14
0,a0, 4, 9, 7,a4,a5,a6,a7,14
0,a0,a1,a2, 7, 9, 1,a6,a7,14
0,a0,a1,a2, 3, 9, 7,a6,a7,14
0,a0,a1,a2,a3,a4, 7, 9, 4,14
0,a0,a1,a2,a3,a4, 2, 9, 7,14
0, 9, 3,a2,a3,a4,a5,a6, 7,14
0,14, 0,a2,a3,a4,a5,a6, 0, 5
0,a0, 0,14, 0,a4,a5,a6,a7, 5
0,a0,a1,a2, 0,14, 0,a6,a7, 5
0,a0,a1,a2,a3,a4, 0,14, 0, 5

14,a0,a1,a2,a3,a4,a5,a6,a7, 0

5,14, 0,a2,a3,a4,a5,a6, 0, 0
5,a0, 0,14, 0,a4,a5,a6,a7, 0
5,a0,a1,a2, 0,14, 0,a6,a7, 0
5,a0,a1,a2,a3,a4, 0,14, 0, 0

1. Create one-time splitter

0,12, 7,a2,a3,a4,a5,a6, 1,15
0,a0, 7,12, 2,a4,a5,a6,a7,15
0,a0, 4,12, 7,a4,a5,a6,a7,15
0,a0,a1,a2, 7,12, 1,a6,a7,15
0,a0,a1,a2, 3,12, 7,a6,a7,15
0,a0,a1,a2,a3,a4, 7,12, 4,15
0,a0,a1,a2,a3,a4, 2,12, 7,15
0,12, 3,a2,a3,a4,a5,a6, 7,15
0,15, 0,a2,a3,a4,a5,a6, 0, 6
0,a0, 0,15, 0,a4,a5,a6,a7, 6
0,a0,a1,a2, 0,15, 0,a6,a7, 6
0,a0,a1,a2,a3,a4, 0,15, 0, 6

15,a0,a1,a2,a3,a4,a5,a6,a7, 0

6,15, 0,a2,a3,a4,a5,a6, 0, 0
6,a0, 0,15, 0,a4,a5,a6,a7, 0
6,a0,a1,a2, 0,15, 0,a6,a7, 0
6,a0,a1,a2,a3,a4, 0,15, 0, 0

1. Flip

5,11, 7,a2,a3,a4,a5,a6, 1, 0
5,a0, 7,11, 2,a4,a5,a6,a7, 0
5,a0, 4,11, 7,a4,a5,a6,a7, 0
5,a0,a1,a2, 7,11, 1,a6,a7, 0
5,a0,a1,a2, 3,11, 7,a6,a7, 0
5,a0,a1,a2,a3,a4, 7,11, 4, 0
5,a0,a1,a2,a3,a4, 2,11, 7, 0
5,11, 3,a2,a3,a4,a5,a6, 7, 0
0,11, 7,a2,a3,a4,a5,a6, 1, 5
0,a0, 7,11, 2,a4,a5,a6,a7, 5
0,a0, 4,11, 7,a4,a5,a6,a7, 5
0,a0,a1,a2, 7,11, 1,a6,a7, 5
0,a0,a1,a2, 3,11, 7,a6,a7, 5
0,a0,a1,a2,a3,a4, 7,11, 4, 5
0,a0,a1,a2,a3,a4, 2,11, 7, 5
0,11, 3,a2,a3,a4,a5,a6, 7, 5

1. Remove mark

fm,a0,a1,a2,a3,a4,a5,a6,a7, 0

7,fm,a1,a2,a3,a4,a5,a6,a7, 0
7,a0,a1,fm,a3,a4,a5,a6,a7, 0
7,a0,a1,a2,a3,fm,a5,a6,a7, 0
7,a0,a1,a2,a3,a4,a5,fm,a7, 0

1. Destructing reflector

7, 5, 5,a2,a3,a4,a5,a6,a7, 0
7,a0, 5, 5,a3,a4,a5,a6,a7, 0
7,a0,a1, 5, 5,a4,a5,a6,a7, 0
7,a0,a1,a2, 5, 5,a5,a6,a7, 0
7,a0,a1,a2,a3, 5, 5,a6,a7, 0
7,a0,a1,a2,a3,a4, 5, 5,a7, 0
7,a0,a1,a2,a3,a4,a5, 5, 5, 0
7, 5,a1,a2,a3,a4,a5,a6, 5, 0
5, 5, 7,a2,a3,a4,a5,a6,a7, 0
5,a0, 7, 5,a3,a4,a5,a6,a7, 0
5,a0,a1, 5, 7,a4,a5,a6,a7, 0
5,a0,a1,a2, 7, 5,a5,a6,a7, 0
5,a0,a1,a2,a3, 5, 7,a6,a7, 0
5,a0,a1,a2,a3,a4, 7, 5,a7, 0
5,a0,a1,a2,a3,a4,a5, 5, 7, 0
5, 5,a1,a2,a3,a4,a5,a6, 7, 0

1. Used one-time splitter

6,sg,a1,a2,a3,a4,a5,a6,a7, 0
6,a0,sg,a2,a3,a4,a5,a6,a7, 0
6,a0,a1,sg,a3,a4,a5,a6,a7, 0
6,a0,a1,a2,sg,a4,a5,a6,a7, 0
6,a0,a1,a2,a3,sg,a5,a6,a7, 0
6,a0,a1,a2,a3,a4,sg,a6,a7, 0
6,a0,a1,a2,a3,a4,a5,sg,a7, 0
6,a0,a1,a2,a3,a4,a5,a6,sg, 0

1. T synthesis

0, 4,a1, 5,a3, 2,a5,a6,a7,16
0,a0,a1, 3,a3, 5,a5, 1,a7,16
0, 4,a1,a2,a3, 2,a5, 5,a7,16
0, 5,a1, 3,a3,a4,a5, 1,a7,16

1. Block synthesis

0, 4,a1,a2,a3, 2,a5,a6,a7, 5
0,a0,a1, 3,a3,a4,a5, 1,a7, 5

1. Mark block

ns, 4, 5,a2,a3,a4,a5,a6,a7, 7 ns, 4,a1,a2,a3,a4,a5,a6, 5, 7 ns,a0, 5, 3,a3,a4,a5,a6,a7, 7 ns,a0,a1, 3, 5,a4,a5,a6,a7, 7 ns,a0,a1,a2, 5, 2,a5,a6,a7, 7 ns,a0,a1,a2,a3, 2, 5,a6,a7, 7 ns,a0,a1,a2,a3,a4, 5, 1,a7, 7 ns,a0,a1,a2,a3,a4,a5, 1, 5, 7

1. Propagation

ns,b0,a1,b2,a3,b4,a5, 1,a7, 1 ns,b0,a1,b2,a3, 2,a5,b6,a7, 2 ns,b0,a1, 3,a3,b4,a5,b6,a7, 3 ns, 4,a1,b2,a3,b4,a5,b6,a7, 4 ns,b0,a1,b2,a3,b4,a5,sp, 4, 1 ns,b0,a1,b2,a3,b4, 2,sp,a7, 1 ns,b0,a1,b2, 3,sp,a5,b6,a7, 2 ns,b0,a1,b2,a3,sp, 1,b6,a7, 2 ns,b0,a1,sp, 2,b4,a5,b6,a7, 3 ns,b0, 4,sp,a3,b4,a5,b6,a7, 3 ns,sp,a1,b2,a3,b4,a5,b6, 1, 4 ns,sp, 3,b2,a3,b4,a5,b6,a7, 4 ns,a0,a1,a2,a3,a4,a5,a6,a7, 0