Rule:StateInvestigator

@RULE StateInvestigator

@TABLE n_states:8 neighborhood:Moore symmetries:permute var a={1,2,4,6} var b={1,2,4,6} var c={1,2,4,6} var d={0,1,2,3,4,5,6,7} var e={0,1,2,3,4,5,6,7} var f={0,1,2,3,4,5,6,7} var k={0,1,4,6} var l={1,4,6} var m={1,4,6} var n={1,4,6} var o={1,4,6} var p={0,1,4,5,6,7} var q={0,1,4,5,6,7} var r={0,1,4,5,6,7} var s={0,1,4,5,6,7} var t={2,3,6,7} var A={0,3,5,7} var B={0,3,5,7} var C={0,3,5,7} var D={0,3,5,7} var E={0,3,5,7} var F={0,3,5,7} var G={0,3,5,7} var w={0,1,2,3,4,5,6,7} var x={0,1,2,3,4,5,6,7} var y={0,1,2,3,4,5,6,7} var z={0,1,2,3,4,5,6,7} 0, a,b,c,A,B,C,D,E, 1 1, k,A,B,C,D,E,F,G, 0 1, l,m,n,o,p,q,r,s, 0 1, t,x,y,z,d,e,f,w, 0 6, p,q,r,s,w,x,y,z, 7 7, p,q,r,s,w,x,y,z, 6

@TREE num_states=8 num_neighbors=8 num_nodes=142 1 0 0 2 3 4 5 7 6 2 0 0 0 0 0 0 0 0 1 0 1 2 3 4 5 7 6 2 0 2 0 0 2 0 0 0 3 1 3 1 1 3 1 1 1 1 1 1 2 3 4 5 7 6 1 1 0 2 3 4 5 7 6 2 2 5 6 0 5 2 6 0 2 0 6 6 0 6 0 6 0 3 3 7 8 1 7 3 8 1 3 1 8 8 1 8 1 8 1 3 1 1 1 1 1 1 1 1 4 4 9 10 11 9 4 10 11 2 5 0 0 6 0 5 0 6 2 6 0 0 6 0 6 0 6 3 7 13 14 8 13 7 14 8 3 8 14 14 8 14 8 14 8 4 9 15 16 10 15 9 16 10 4 10 16 16 10 16 10 16 10 4 11 10 10 11 10 11 10 11 5 12 17 18 19 17 12 18 19 3 13 1 1 14 1 13 1 14 3 14 1 1 14 1 14 1 14 4 15 21 22 16 21 15 22 16 4 16 22 22 16 22 16 22 16 5 17 23 24 18 23 17 24 18 1 0 0 2 3 4 5 6 7 2 0 0 26 26 0 0 0 0 1 1 0 2 3 4 5 6 7 2 6 0 26 28 0 6 0 6 3 14 1 27 29 1 14 1 14 2 0 6 28 26 6 0 6 0 3 8 14 29 31 14 8 14 8 4 16 22 30 32 22 16 22 16 3 1 8 31 27 8 1 8 1 4 10 16 32 34 16 10 16 10 5 18 24 33 35 24 18 24 18 3 1 1 27 27 1 1 1 1 4 11 10 34 37 10 11 10 11 5 19 18 35 38 18 19 18 19 5 18 24 24 18 24 18 24 18 5 19 18 18 19 18 19 18 19 6 20 25 36 39 25 20 40 41 4 21 11 11 22 11 21 11 22 4 22 11 11 22 11 22 11 22 5 23 43 44 24 43 23 44 24 4 22 11 37 30 11 22 11 22 5 24 44 46 33 44 24 44 24 5 24 44 44 24 44 24 44 24 6 25 45 47 36 45 25 48 40 2 26 26 26 26 26 26 26 26 3 27 27 50 50 27 27 27 27 2 28 26 26 28 26 28 26 28 3 29 27 50 52 27 29 27 29 4 30 37 51 53 37 30 37 30 2 26 28 28 26 28 26 28 26 3 31 29 52 55 29 31 29 31 4 32 30 53 56 30 32 30 32 5 33 46 54 57 46 33 46 33 3 27 31 55 50 31 27 31 27 4 34 32 56 59 32 34 32 34 5 35 33 57 60 33 35 33 35 6 36 47 58 61 47 36 47 36 4 37 34 59 51 34 37 34 37 5 38 35 60 63 35 38 35 38 6 39 36 61 64 36 39 36 39 6 40 48 47 36 48 40 48 40 6 41 40 36 39 40 41 40 41 7 42 49 62 65 49 42 66 67 4 11 11 11 11 11 11 11 11 5 43 69 69 44 69 43 69 44 4 11 11 37 37 11 11 11 11 5 44 69 71 46 69 44 69 44 5 44 69 69 44 69 44 69 44 6 45 70 72 47 70 45 73 48 4 37 37 51 51 37 37 37 37 5 46 71 75 54 71 46 71 46 6 47 72 76 58 72 47 72 47 6 48 73 72 47 73 48 73 48 7 49 74 77 62 74 49 78 66 3 50 50 50 50 50 50 50 50 4 51 51 80 80 51 51 51 51 3 52 50 50 52 50 52 50 52 4 53 51 80 82 51 53 51 53 5 54 75 81 83 75 54 75 54 3 55 52 52 55 52 55 52 55 4 56 53 82 85 53 56 53 56 5 57 54 83 86 54 57 54 57 6 58 76 84 87 76 58 76 58 3 50 55 55 50 55 50 55 50 4 59 56 85 89 56 59 56 59 5 60 57 86 90 57 60 57 60 6 61 58 87 91 58 61 58 61 7 62 77 88 92 77 62 77 62 4 51 59 89 80 59 51 59 51 5 63 60 90 94 60 63 60 63 6 64 61 91 95 61 64 61 64 7 65 62 92 96 62 65 62 65 7 66 78 77 62 78 66 78 66 7 67 66 62 65 66 67 66 67 8 68 79 93 97 79 68 98 99 5 69 69 69 69 69 69 69 69 5 69 69 71 71 69 69 69 69 6 70 101 102 72 101 70 101 73 5 71 71 75 75 71 71 71 71 6 72 102 104 76 102 72 102 72 6 73 101 102 72 101 73 101 73 7 74 103 105 77 103 74 106 78 5 75 75 81 81 75 75 75 75 6 76 104 108 84 104 76 104 76 7 77 105 109 88 105 77 105 77 7 78 106 105 77 106 78 106 78 8 79 107 110 93 107 79 111 98 4 80 80 80 80 80 80 80 80 5 81 81 113 113 81 81 81 81 4 82 80 80 82 80 82 80 82 5 83 81 113 115 81 83 81 83 6 84 108 114 116 108 84 108 84 4 85 82 82 85 82 85 82 85 5 86 83 115 118 83 86 83 86 6 87 84 116 119 84 87 84 87 7 88 109 117 120 109 88 109 88 4 89 85 85 89 85 89 85 89 5 90 86 118 122 86 90 86 90 6 91 87 119 123 87 91 87 91 7 92 88 120 124 88 92 88 92 8 93 110 121 125 110 93 110 93 4 80 89 89 80 89 80 89 80 5 94 90 122 127 90 94 90 94 6 95 91 123 128 91 95 91 95 7 96 92 124 129 92 96 92 96 8 97 93 125 130 93 97 93 97 2 0 0 0 0 0 2 0 0 3 1 3 1 1 3 132 1 1 4 4 9 10 11 9 133 10 11 5 12 17 18 19 17 134 18 19 6 20 25 36 39 25 135 40 41 7 42 49 62 65 49 136 66 67 8 68 79 93 97 79 137 98 99 8 98 111 110 93 111 98 111 98 8 99 98 93 97 98 99 98 99 9 100 112 126 131 112 138 139 140

@COLORS 1 0 236 91 2 0 192 254 3 254 0 0 4 254 254 254 5 75 75 75 6 254 0 254 7 64 0 128