Rule:QdCA

From LifeWiki
Revision as of 17:19, 20 December 2019 by Dvgrn (talk | contribs) (Rule 'QdCA' from auto-import project)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
Click here to view this Rule without MediaWiki formatting, so that you can copy/paste it.

@RULE QdCA

https://conwaylife.com/forums/viewtopic.php?p=72674#p72674

        • COMPILED FROM NUTSHELL ****
        • v0.5.6 ****


@TREE

num_states=17 num_neighbors=8 num_nodes=310 1 0 6 7 8 9 10 13 13 13 11 12 14 15 16 4 5 3 1 0 6 7 8 9 10 13 13 13 11 12 14 15 16 4 5 1 1 0 6 7 8 9 10 13 13 13 11 12 14 15 16 4 5 2 2 0 1 2 0 1 2 1 2 0 1 2 0 0 0 0 0 0 1 0 6 7 8 9 10 13 13 13 11 12 14 15 16 4 5 16 2 1 4 4 4 4 4 1 1 1 1 1 1 1 1 1 1 1 2 2 4 4 4 4 4 2 2 2 2 2 2 2 2 2 2 2 2 0 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 2 1 1 2 0 1 2 4 4 4 4 4 1 1 1 1 1 1 2 2 1 2 0 1 2 4 4 4 4 4 2 2 2 2 2 2 2 0 1 2 0 1 2 4 4 4 4 4 0 0 0 0 0 0 3 3 5 6 7 5 6 8 9 10 8 9 3 3 3 3 3 3 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 2 1 1 2 0 1 2 1 1 1 1 1 1 1 1 1 1 1 2 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 3 5 12 3 13 12 3 12 14 15 12 14 5 5 5 5 5 5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 2 0 0 2 0 2 0 0 2 0 0 0 0 0 0 2 2 1 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 0 0 2 2 2 2 2 2 2 2 2 2 2 2 3 6 3 17 18 3 17 19 17 20 19 17 6 6 6 6 6 6 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 3 7 13 18 22 13 18 23 24 22 23 24 7 7 7 7 7 7 2 1 1 2 0 1 2 1 2 0 1 2 1 1 1 1 1 1 2 1 1 2 0 1 2 1 0 0 1 0 1 1 1 1 1 1 3 8 12 19 23 12 19 14 26 27 14 26 8 8 8 8 8 8 2 2 1 2 0 1 2 0 2 0 0 2 2 2 2 2 2 2 2 2 1 2 0 1 2 1 2 0 1 2 2 2 2 2 2 2 3 9 14 17 24 14 17 26 19 29 30 19 9 9 9 9 9 9 2 0 1 2 0 1 2 0 0 0 0 0 0 0 0 0 0 0 2 0 1 2 0 1 2 1 0 0 1 0 0 0 0 0 0 0 2 0 1 2 0 1 2 0 2 0 0 2 0 0 0 0 0 0 3 10 15 20 22 15 20 27 29 32 33 34 10 10 10 10 10 10 3 8 12 19 23 12 19 14 30 33 14 26 8 8 8 8 8 8 3 9 14 17 24 14 17 26 19 34 26 19 9 9 9 9 9 9 4 11 16 21 25 16 21 28 31 35 36 37 11 11 11 11 11 11 2 4 1 1 1 1 1 1 1 1 1 1 4 4 4 4 4 4 2 4 1 2 0 1 2 1 2 0 1 2 4 4 4 4 4 4 2 4 1 0 0 1 0 1 0 0 1 0 4 4 4 4 4 4 3 15 39 40 41 39 40 12 14 15 12 14 15 15 15 15 15 15 2 1 4 4 4 4 4 4 4 4 4 4 1 1 1 1 1 1 3 39 43 43 43 43 43 43 43 43 43 43 39 39 39 39 39 39 2 2 4 4 4 4 4 4 4 4 4 4 2 2 2 2 2 2 2 0 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 3 40 43 45 46 43 45 43 45 46 43 45 40 40 40 40 40 40 3 41 43 46 46 43 46 43 46 46 43 46 41 41 41 41 41 41 3 12 43 43 43 43 43 5 5 5 5 5 12 12 12 12 12 12 3 14 43 45 46 43 45 5 5 5 5 5 14 14 14 14 14 14 3 15 43 46 46 43 46 5 5 5 5 5 15 15 15 15 15 15 4 42 44 47 48 44 47 49 50 51 49 50 42 42 42 42 42 42 2 4 2 2 2 2 2 2 2 2 2 2 4 4 4 4 4 4 2 4 0 2 0 0 2 0 2 0 0 2 4 4 4 4 4 4 3 20 40 53 54 40 53 19 17 20 19 17 20 20 20 20 20 20 3 53 45 45 45 45 45 45 45 45 45 45 53 53 53 53 53 53 3 54 46 45 46 46 45 46 45 46 46 45 54 54 54 54 54 54 3 19 43 45 46 43 45 6 6 6 6 6 19 19 19 19 19 19 3 17 45 45 45 45 45 6 6 6 6 6 17 17 17 17 17 17 3 20 46 45 46 46 45 6 6 6 6 6 20 20 20 20 20 20 4 55 47 56 57 47 56 58 59 60 58 59 55 55 55 55 55 55 2 4 0 0 0 0 0 0 0 0 0 0 4 4 4 4 4 4 3 22 41 54 62 41 54 23 24 22 23 24 22 22 22 22 22 22 3 62 46 46 46 46 46 46 46 46 46 46 62 62 62 62 62 62 3 23 43 46 46 43 46 7 7 7 7 7 23 23 23 23 23 23 3 24 46 45 46 46 45 7 7 7 7 7 24 24 24 24 24 24 3 22 46 46 46 46 46 7 7 7 7 7 22 22 22 22 22 22 4 63 48 57 64 48 57 65 66 67 65 66 63 63 63 63 63 63 2 4 1 2 0 1 2 1 1 1 1 1 4 4 4 4 4 4 2 4 1 2 0 1 2 1 0 0 1 0 4 4 4 4 4 4 3 14 12 19 23 12 19 69 40 70 69 40 14 14 14 14 14 14 3 69 5 6 7 5 6 8 8 8 8 8 69 69 69 69 69 69 3 40 5 6 7 5 6 8 9 10 8 9 40 40 40 40 40 40 3 70 5 6 7 5 6 8 10 10 8 10 70 70 70 70 70 70 4 71 49 58 65 49 58 72 73 74 72 73 71 71 71 71 71 71 2 2 1 2 0 1 2 1 2 2 2 2 2 2 2 2 2 2 2 4 1 2 0 1 2 2 2 2 2 2 4 4 4 4 4 4 2 4 1 2 0 1 2 0 2 0 0 2 4 4 4 4 4 4 3 76 14 17 24 14 17 40 77 78 40 77 76 76 76 76 76 76 3 77 5 6 7 5 6 9 9 9 9 9 77 77 77 77 77 77 3 78 5 6 7 5 6 10 9 10 10 9 78 78 78 78 78 78 4 79 50 59 66 50 59 73 80 81 73 80 79 79 79 79 79 79 2 0 1 2 0 1 2 1 2 0 0 0 0 0 0 0 0 0 2 4 1 2 0 1 2 0 0 0 0 0 4 4 4 4 4 4 3 83 15 20 22 15 20 70 78 84 70 78 83 83 83 83 83 83 3 84 5 6 7 5 6 10 10 10 10 10 84 84 84 84 84 84 4 85 51 60 67 51 60 74 81 86 74 81 85 85 85 85 85 85 2 1 1 2 0 1 2 1 2 0 1 1 1 1 1 1 1 1 3 88 12 19 23 12 19 69 40 70 69 40 88 88 88 88 88 88 4 89 49 58 65 49 58 72 73 74 72 73 89 89 89 89 89 89 3 30 14 17 24 14 17 40 77 78 40 77 30 30 30 30 30 30 4 91 50 59 66 50 59 73 80 81 73 80 91 91 91 91 91 91 5 38 52 61 68 52 61 75 82 87 90 92 38 38 38 38 38 38 2 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 94 94 94 94 94 94 94 94 94 94 94 94 94 94 94 94 94 3 94 43 45 46 43 45 43 45 46 43 45 94 94 94 94 94 94 4 47 95 95 95 95 95 96 96 96 96 96 47 47 47 47 47 47 4 95 95 95 95 95 95 95 95 95 95 95 95 95 95 95 95 95 3 40 94 94 94 94 94 94 94 94 94 94 40 40 40 40 40 40 4 99 95 95 95 95 95 95 95 95 95 95 99 99 99 99 99 99 5 97 98 98 98 98 98 100 100 100 100 100 97 97 97 97 97 97 3 5 94 94 94 94 94 5 5 5 5 5 5 5 5 5 5 5 3 6 94 94 94 94 94 6 6 6 6 6 6 6 6 6 6 6 3 7 94 94 94 94 94 7 7 7 7 7 7 7 7 7 7 7 2 4 1 2 0 1 2 4 4 4 4 4 4 4 4 4 4 4 3 105 5 6 7 5 6 8 9 10 8 9 105 105 105 105 105 105 4 73 102 103 104 102 103 106 106 106 106 106 73 73 73 73 73 73 4 102 95 95 95 95 95 102 102 102 102 102 102 102 102 102 102 102 4 103 95 95 95 95 95 103 103 103 103 103 103 103 103 103 103 103 4 104 95 95 95 95 95 104 104 104 104 104 104 104 104 104 104 104 3 40 5 6 7 5 6 105 105 105 105 105 40 40 40 40 40 40 3 105 5 6 7 5 6 105 105 105 105 105 105 105 105 105 105 105 4 111 102 103 104 102 103 112 112 112 112 112 111 111 111 111 111 111 5 107 108 109 110 108 109 113 113 113 113 113 107 107 107 107 107 107 3 5 43 46 46 43 46 5 5 5 5 5 5 5 5 5 5 5 3 6 46 45 46 46 45 6 6 6 6 6 6 6 6 6 6 6 3 7 46 46 46 46 46 7 7 7 7 7 7 7 7 7 7 7 3 8 5 6 7 5 6 8 8 8 8 8 8 8 8 8 8 8 3 9 5 6 7 5 6 8 9 9 9 9 9 9 9 9 9 9 3 10 5 6 7 5 6 8 9 10 10 10 10 10 10 10 10 10 3 8 5 6 7 5 6 8 9 10 8 8 8 8 8 8 8 8 3 9 5 6 7 5 6 8 9 10 8 9 9 9 9 9 9 9 4 11 115 116 117 115 116 118 119 120 121 122 11 11 11 11 11 11 3 15 94 94 94 94 94 5 5 5 5 5 15 15 15 15 15 15 4 124 95 95 95 95 95 102 102 102 102 102 124 124 124 124 124 124 3 20 94 94 94 94 94 6 6 6 6 6 20 20 20 20 20 20 4 126 95 95 95 95 95 103 103 103 103 103 126 126 126 126 126 126 3 22 94 94 94 94 94 7 7 7 7 7 22 22 22 22 22 22 4 128 95 95 95 95 95 104 104 104 104 104 128 128 128 128 128 128 3 14 5 6 7 5 6 105 105 105 105 105 14 14 14 14 14 14 4 130 102 103 104 102 103 112 112 112 112 112 130 130 130 130 130 130 3 76 5 6 7 5 6 105 105 105 105 105 76 76 76 76 76 76 4 132 102 103 104 102 103 112 112 112 112 112 132 132 132 132 132 132 3 83 5 6 7 5 6 105 105 105 105 105 83 83 83 83 83 83 4 134 102 103 104 102 103 112 112 112 112 112 134 134 134 134 134 134 3 88 5 6 7 5 6 105 105 105 105 105 88 88 88 88 88 88 4 136 102 103 104 102 103 112 112 112 112 112 136 136 136 136 136 136 3 30 5 6 7 5 6 105 105 105 105 105 30 30 30 30 30 30 4 138 102 103 104 102 103 112 112 112 112 112 138 138 138 138 138 138 5 123 125 127 129 125 127 131 133 135 137 139 123 123 123 123 123 123 6 93 101 101 101 101 101 114 114 114 114 114 140 140 140 140 140 140 3 43 94 94 94 94 94 43 43 43 43 43 43 43 43 43 43 43 3 45 94 94 94 94 94 45 45 45 45 45 45 45 45 45 45 45 3 46 94 94 94 94 94 46 46 46 46 46 46 46 46 46 46 46 4 99 142 143 144 142 143 142 143 144 142 143 99 99 99 99 99 99 5 145 98 98 98 98 98 100 100 100 100 100 145 145 145 145 145 145 2 2 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 147 94 94 94 94 94 94 94 94 94 94 94 94 94 94 94 94 4 148 95 95 95 95 95 95 95 95 95 95 95 95 95 95 95 95 5 149 98 98 98 98 98 98 98 98 98 98 149 149 149 149 149 149 2 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 151 94 94 94 94 94 94 94 94 94 94 94 94 94 94 94 94 4 152 95 95 95 95 95 95 95 95 95 95 95 95 95 95 95 95 5 153 98 98 98 98 98 98 98 98 98 98 153 153 153 153 153 153 6 146 150 154 154 150 154 150 154 154 150 154 146 146 146 146 146 146 2 1 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 156 94 94 94 94 94 94 94 94 94 94 94 94 94 94 94 94 4 157 95 95 95 95 95 95 95 95 95 95 95 95 95 95 95 95 5 158 98 98 98 98 98 98 98 98 98 98 158 158 158 158 158 158 6 146 154 159 154 154 159 154 159 154 154 159 146 146 146 146 146 146 6 146 154 154 154 154 154 154 154 154 154 154 146 146 146 146 146 146 3 9 5 6 7 5 6 9 9 9 9 9 9 9 9 9 9 9 3 10 5 6 7 5 6 10 10 10 10 10 10 10 10 10 10 10 4 111 102 103 104 102 103 118 162 163 118 162 111 111 111 111 111 111 5 164 108 109 110 108 109 113 113 113 113 113 164 164 164 164 164 164 2 2 1 2 0 1 2 4 4 4 4 4 4 4 4 4 4 4 3 166 5 6 7 5 6 105 105 105 105 105 105 105 105 105 105 105 4 167 102 103 104 102 103 112 112 112 112 112 112 112 112 112 112 112 4 112 102 103 104 102 103 112 112 112 112 112 112 112 112 112 112 112 5 168 108 109 110 108 109 169 169 169 169 169 168 168 168 168 168 168 2 0 1 2 0 1 2 4 4 4 4 4 4 4 4 4 4 4 3 171 5 6 7 5 6 105 105 105 105 105 105 105 105 105 105 105 4 172 102 103 104 102 103 112 112 112 112 112 112 112 112 112 112 112 5 173 108 109 110 108 109 169 169 169 169 169 173 173 173 173 173 173 6 165 150 154 154 150 154 170 174 174 170 174 165 165 165 165 165 165 2 1 1 2 0 1 2 4 4 4 4 4 4 4 4 4 4 4 3 176 5 6 7 5 6 105 105 105 105 105 105 105 105 105 105 105 4 177 102 103 104 102 103 112 112 112 112 112 112 112 112 112 112 112 5 178 108 109 110 108 109 169 169 169 169 169 178 178 178 178 178 178 6 165 154 159 154 154 159 174 179 174 174 179 165 165 165 165 165 165 6 165 154 154 154 154 154 174 174 174 174 174 165 165 165 165 165 165 6 140 101 101 101 101 101 114 114 114 114 114 140 140 140 140 140 140 7 141 155 160 161 155 160 175 180 181 175 180 182 182 182 182 182 182 4 96 95 95 95 95 95 96 96 96 96 96 96 96 96 96 96 96 3 5 94 94 94 94 94 94 94 94 94 94 5 5 5 5 5 5 4 185 95 95 95 95 95 95 95 95 95 95 185 185 185 185 185 185 3 6 94 94 94 94 94 94 94 94 94 94 6 6 6 6 6 6 4 187 95 95 95 95 95 95 95 95 95 95 187 187 187 187 187 187 3 7 94 94 94 94 94 94 94 94 94 94 7 7 7 7 7 7 4 189 95 95 95 95 95 95 95 95 95 95 189 189 189 189 189 189 5 184 186 188 190 186 188 186 188 190 186 188 184 184 184 184 184 184 4 148 95 95 95 95 95 95 95 95 95 95 148 148 148 148 148 148 5 192 98 98 98 98 98 98 98 98 98 98 98 98 98 98 98 98 4 152 95 95 95 95 95 95 95 95 95 95 152 152 152 152 152 152 5 194 98 98 98 98 98 98 98 98 98 98 98 98 98 98 98 98 6 191 193 195 195 193 195 193 195 195 193 195 191 191 191 191 191 191 5 98 98 98 98 98 98 98 98 98 98 98 98 98 98 98 98 98 6 197 197 197 197 197 197 197 197 197 197 197 197 197 197 197 197 197 6 191 197 197 197 197 197 197 197 197 197 197 191 191 191 191 191 191 7 196 198 198 198 198 198 198 198 198 198 198 199 199 199 199 199 199 4 157 95 95 95 95 95 95 95 95 95 95 157 157 157 157 157 157 5 201 98 98 98 98 98 98 98 98 98 98 98 98 98 98 98 98 6 191 195 202 195 195 202 195 202 195 195 202 191 191 191 191 191 191 7 203 198 198 198 198 198 198 198 198 198 198 199 199 199 199 199 199 6 191 195 195 195 195 195 195 195 195 195 195 191 191 191 191 191 191 7 205 198 198 198 198 198 198 198 198 198 198 199 199 199 199 199 199 4 106 102 103 104 102 103 106 106 106 106 106 106 106 106 106 106 106 3 19 5 6 7 5 6 105 105 105 105 105 19 19 19 19 19 19 4 208 102 103 104 102 103 112 112 112 112 112 208 208 208 208 208 208 3 32 5 6 7 5 6 105 105 105 105 105 32 32 32 32 32 32 4 210 102 103 104 102 103 112 112 112 112 112 210 210 210 210 210 210 5 207 108 109 110 108 109 131 209 211 131 209 207 207 207 207 207 207 4 167 102 103 104 102 103 112 112 112 112 112 167 167 167 167 167 167 5 213 108 109 110 108 109 169 169 169 169 169 169 169 169 169 169 169 4 172 102 103 104 102 103 112 112 112 112 112 172 172 172 172 172 172 5 215 108 109 110 108 109 169 169 169 169 169 169 169 169 169 169 169 6 212 193 195 195 193 195 214 216 216 214 216 212 212 212 212 212 212 5 169 108 109 110 108 109 169 169 169 169 169 169 169 169 169 169 169 6 218 197 197 197 197 197 218 218 218 218 218 218 218 218 218 218 218 6 212 197 197 197 197 197 218 218 218 218 218 212 212 212 212 212 212 7 217 198 198 198 198 198 219 219 219 219 219 220 220 220 220 220 220 4 177 102 103 104 102 103 112 112 112 112 112 177 177 177 177 177 177 5 222 108 109 110 108 109 169 169 169 169 169 169 169 169 169 169 169 6 212 195 202 195 195 202 216 223 216 216 223 212 212 212 212 212 212 7 224 198 198 198 198 198 219 219 219 219 219 220 220 220 220 220 220 6 212 195 195 195 195 195 216 216 216 216 216 212 212 212 212 212 212 7 226 198 198 198 198 198 219 219 219 219 219 220 220 220 220 220 220 6 146 197 197 197 197 197 197 197 197 197 197 146 146 146 146 146 146 6 165 197 197 197 197 197 218 218 218 218 218 165 165 165 165 165 165 7 182 228 228 228 228 228 229 229 229 229 229 182 182 182 182 182 182 8 183 200 204 206 200 204 221 225 227 221 225 230 230 230 230 230 230 4 95 142 143 144 142 143 142 143 144 142 143 95 95 95 95 95 95 5 232 186 188 190 186 188 186 188 190 186 188 232 232 232 232 232 232 6 233 197 197 197 197 197 197 197 197 197 197 233 233 233 233 233 233 3 147 94 94 94 94 94 94 94 94 94 94 147 147 147 147 147 147 4 235 95 95 95 95 95 95 95 95 95 95 95 95 95 95 95 95 5 236 98 98 98 98 98 98 98 98 98 98 98 98 98 98 98 98 6 237 197 197 197 197 197 197 197 197 197 197 197 197 197 197 197 197 3 151 94 94 94 94 94 94 94 94 94 94 151 151 151 151 151 151 4 239 95 95 95 95 95 95 95 95 95 95 95 95 95 95 95 95 5 240 98 98 98 98 98 98 98 98 98 98 98 98 98 98 98 98 6 241 197 197 197 197 197 197 197 197 197 197 197 197 197 197 197 197 7 234 238 242 242 238 242 238 242 242 238 242 234 234 234 234 234 234 3 45 94 94 94 94 94 94 94 94 94 94 94 94 94 94 94 94 4 244 95 95 95 95 95 95 95 95 95 95 95 95 95 95 95 95 5 245 98 98 98 98 98 98 98 98 98 98 98 98 98 98 98 98 6 246 197 197 197 197 197 197 197 197 197 197 197 197 197 197 197 197 7 247 198 198 198 198 198 198 198 198 198 198 198 198 198 198 198 198 3 46 94 94 94 94 94 94 94 94 94 94 94 94 94 94 94 94 4 249 95 95 95 95 95 95 95 95 95 95 95 95 95 95 95 95 5 250 98 98 98 98 98 98 98 98 98 98 98 98 98 98 98 98 6 251 197 197 197 197 197 197 197 197 197 197 197 197 197 197 197 197 7 252 198 198 198 198 198 198 198 198 198 198 198 198 198 198 198 198 7 234 198 198 198 198 198 198 198 198 198 198 234 234 234 234 234 234 8 243 248 253 253 248 253 248 253 253 248 253 254 254 254 254 254 254 3 156 94 94 94 94 94 94 94 94 94 94 156 156 156 156 156 156 4 256 95 95 95 95 95 95 95 95 95 95 95 95 95 95 95 95 5 257 98 98 98 98 98 98 98 98 98 98 98 98 98 98 98 98 6 258 197 197 197 197 197 197 197 197 197 197 197 197 197 197 197 197 7 234 242 259 242 242 259 242 259 242 242 259 234 234 234 234 234 234 3 43 94 94 94 94 94 94 94 94 94 94 94 94 94 94 94 94 4 261 95 95 95 95 95 95 95 95 95 95 95 95 95 95 95 95 5 262 98 98 98 98 98 98 98 98 98 98 98 98 98 98 98 98 6 263 197 197 197 197 197 197 197 197 197 197 197 197 197 197 197 197 7 264 198 198 198 198 198 198 198 198 198 198 198 198 198 198 198 198 8 260 253 265 253 253 265 253 265 253 253 265 254 254 254 254 254 254 7 234 242 242 242 242 242 242 242 242 242 242 234 234 234 234 234 234 8 267 253 253 253 253 253 253 253 253 253 253 254 254 254 254 254 254 4 112 102 103 104 102 103 118 162 163 118 162 112 112 112 112 112 112 5 269 108 109 110 108 109 131 209 211 131 209 269 269 269 269 269 269 6 270 197 197 197 197 197 218 218 218 218 218 270 270 270 270 270 270 3 166 5 6 7 5 6 105 105 105 105 105 166 166 166 166 166 166 4 272 102 103 104 102 103 112 112 112 112 112 112 112 112 112 112 112 5 273 108 109 110 108 109 169 169 169 169 169 169 169 169 169 169 169 6 274 197 197 197 197 197 218 218 218 218 218 218 218 218 218 218 218 3 171 5 6 7 5 6 105 105 105 105 105 171 171 171 171 171 171 4 276 102 103 104 102 103 112 112 112 112 112 112 112 112 112 112 112 5 277 108 109 110 108 109 169 169 169 169 169 169 169 169 169 169 169 6 278 197 197 197 197 197 218 218 218 218 218 218 218 218 218 218 218 7 271 238 242 242 238 242 275 279 279 275 279 271 271 271 271 271 271 3 9 5 6 7 5 6 105 105 105 105 105 105 105 105 105 105 105 4 281 102 103 104 102 103 112 112 112 112 112 112 112 112 112 112 112 5 282 108 109 110 108 109 169 169 169 169 169 169 169 169 169 169 169 6 283 197 197 197 197 197 218 218 218 218 218 218 218 218 218 218 218 7 284 198 198 198 198 198 219 219 219 219 219 219 219 219 219 219 219 3 10 5 6 7 5 6 105 105 105 105 105 105 105 105 105 105 105 4 286 102 103 104 102 103 112 112 112 112 112 112 112 112 112 112 112 5 287 108 109 110 108 109 169 169 169 169 169 169 169 169 169 169 169 6 288 197 197 197 197 197 218 218 218 218 218 218 218 218 218 218 218 7 289 198 198 198 198 198 219 219 219 219 219 219 219 219 219 219 219 7 271 198 198 198 198 198 219 219 219 219 219 271 271 271 271 271 271 8 280 248 253 253 248 253 285 290 290 285 290 291 291 291 291 291 291 3 176 5 6 7 5 6 105 105 105 105 105 176 176 176 176 176 176 4 293 102 103 104 102 103 112 112 112 112 112 112 112 112 112 112 112 5 294 108 109 110 108 109 169 169 169 169 169 169 169 169 169 169 169 6 295 197 197 197 197 197 218 218 218 218 218 218 218 218 218 218 218 7 271 242 259 242 242 259 279 296 279 279 296 271 271 271 271 271 271 3 8 5 6 7 5 6 105 105 105 105 105 105 105 105 105 105 105 4 298 102 103 104 102 103 112 112 112 112 112 112 112 112 112 112 112 5 299 108 109 110 108 109 169 169 169 169 169 169 169 169 169 169 169 6 300 197 197 197 197 197 218 218 218 218 218 218 218 218 218 218 218 7 301 198 198 198 198 198 219 219 219 219 219 219 219 219 219 219 219 8 297 253 265 253 253 265 290 302 290 290 302 291 291 291 291 291 291 7 271 242 242 242 242 242 279 279 279 279 279 271 271 271 271 271 271 8 304 253 253 253 253 253 290 290 290 290 290 291 291 291 291 291 291 7 199 198 198 198 198 198 198 198 198 198 198 199 199 199 199 199 199 7 220 198 198 198 198 198 219 219 219 219 219 220 220 220 220 220 220 8 230 306 306 306 306 306 307 307 307 307 307 230 230 230 230 230 230 9 231 255 266 268 255 266 292 303 305 292 303 308 308 308 308 308 308

@TABLE neighborhood: Moore symmetries: rotate4reflect n_states: 17

var any.0 = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16} var any.1 = any.0 var any.2 = any.0 var any.3 = any.0 var any.4 = any.0 var any.5 = any.0 var any.6 = any.0 var any.7 = any.0 var not_switch_hold.0 = {0,11,12,13,14,15,16} var not_switch_hold.1 = not_switch_hold.0 var not_switch_hold.2 = not_switch_hold.0 var not_switch_hold.3 = not_switch_hold.0 var not_switch_hold.4 = not_switch_hold.0 var not_switch_hold.5 = not_switch_hold.0 var not_switch_hold.6 = not_switch_hold.0 var not_switch_hold.7 = not_switch_hold.0 var undefined_relax.0 = {16} var not_switch.0 = {0,6,7,8,9,10,11,12,13,14,15,16} var not_switch.1 = not_switch.0 var not_switch.2 = not_switch.0 var not_switch.3 = not_switch.0 var not_switch.4 = not_switch.0 var not_switch.5 = not_switch.0 var not_switch.6 = not_switch.0

1, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 6 2, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 7 3, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 8 4, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 9 5, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 10 6, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 13 7, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 13 8, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 13 9, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 11 10, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 12 11, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 14 12, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 15 13, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 16 14, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 4 15, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 5 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, not_switch.0, not_switch_hold.2, not_switch_hold.3, any.0, 1, not_switch_hold.4, 1 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, not_switch.0, not_switch_hold.2, not_switch_hold.3, any.0, 2, not_switch_hold.4, 2 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, not_switch.0, not_switch_hold.2, not_switch_hold.3, any.0, 3, not_switch_hold.4, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, not_switch.0, not_switch_hold.2, not_switch_hold.3, any.0, 4, not_switch_hold.4, 1 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, not_switch.0, not_switch_hold.2, not_switch_hold.3, any.0, 5, not_switch_hold.4, 2 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, not_switch.0, not_switch_hold.2, not_switch_hold.3, any.0, 6, not_switch_hold.4, 1 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, not_switch.0, not_switch_hold.2, not_switch_hold.3, any.0, 7, not_switch_hold.4, 2 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, not_switch.0, not_switch_hold.2, not_switch_hold.3, any.0, 8, not_switch_hold.4, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, not_switch.0, not_switch_hold.2, not_switch_hold.3, any.0, 9, not_switch_hold.4, 1 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, not_switch.0, not_switch_hold.2, not_switch_hold.3, any.0, 10, not_switch_hold.4, 2 16, not_switch_hold.0, not_switch_hold.1, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, not_switch_hold.5, not_switch_hold.6, not_switch_hold.7, 3 undefined_relax.0, not_switch.0, not_switch.1, not_switch.2, not_switch.3, not_switch.4, not_switch.5, 1, not_switch.6, 1 undefined_relax.0, not_switch.0, not_switch.1, not_switch.2, not_switch.3, not_switch.4, not_switch.5, 2, not_switch.6, 2 undefined_relax.0, not_switch.0, not_switch.1, not_switch.2, not_switch.3, not_switch.4, not_switch.5, 3, not_switch.6, 3 undefined_relax.0, not_switch.0, not_switch.1, not_switch.2, not_switch.3, not_switch.4, not_switch.5, 4, not_switch.6, 1 undefined_relax.0, not_switch.0, not_switch.1, not_switch.2, not_switch.3, not_switch.4, not_switch.5, 5, not_switch.6, 2 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 6, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 6, not_switch_hold.5, 1 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 7, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 6, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 8, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 6, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 9, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 6, not_switch_hold.5, 1 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 10, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 6, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 6, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 7, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 7, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 7, not_switch_hold.5, 2 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 8, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 7, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 9, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 7, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 10, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 7, not_switch_hold.5, 2 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 6, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 8, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 7, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 8, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 8, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 8, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 9, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 8, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 10, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 8, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 6, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 9, not_switch_hold.5, 1 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 7, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 9, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 8, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 9, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 9, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 9, not_switch_hold.5, 1 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 10, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 9, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 6, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 10, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 7, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 10, not_switch_hold.5, 2 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 8, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 10, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 9, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 10, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 10, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 10, not_switch_hold.5, 2 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 1, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 1, not_switch_hold.5, 1 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 2, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 1, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 3, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 1, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 4, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 1, not_switch_hold.5, 1 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 5, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 1, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 1, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 2, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 2, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 2, not_switch_hold.5, 2 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 3, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 2, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 4, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 2, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 5, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 2, not_switch_hold.5, 2 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 1, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 3, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 2, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 3, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 3, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 3, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 4, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 3, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 5, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 3, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 1, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 4, not_switch_hold.5, 1 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 2, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 4, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 3, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 4, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 4, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 4, not_switch_hold.5, 1 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 5, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 4, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 1, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 5, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 2, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 5, not_switch_hold.5, 2 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 3, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 5, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 4, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 5, not_switch_hold.5, 3 undefined_relax.0, not_switch_hold.0, not_switch_hold.1, 5, not_switch_hold.2, not_switch_hold.3, not_switch_hold.4, 5, not_switch_hold.5, 2 undefined_relax.0, not_switch_hold.0, 0, 0, 1, 0, 1, 0, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 0, 2, 0, 1, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 3, 0, 1, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 4, 0, 1, 0, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 0, 5, 0, 1, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 6, 0, 1, 0, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 0, 7, 0, 1, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 8, 0, 1, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 9, 0, 1, 0, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 0, 10, 0, 1, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 1, 0, 2, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 2, 0, 2, 0, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 0, 3, 0, 2, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 4, 0, 2, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 5, 0, 2, 0, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 0, 6, 0, 2, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 7, 0, 2, 0, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 0, 8, 0, 2, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 9, 0, 2, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 10, 0, 2, 0, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 0, 1, 0, 3, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 2, 0, 3, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 3, 0, 3, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 4, 0, 3, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 5, 0, 3, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 6, 0, 3, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 7, 0, 3, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 8, 0, 3, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 9, 0, 3, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 10, 0, 3, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 1, 0, 4, 0, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 0, 2, 0, 4, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 3, 0, 4, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 4, 0, 4, 0, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 0, 5, 0, 4, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 6, 0, 4, 0, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 0, 7, 0, 4, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 8, 0, 4, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 9, 0, 4, 0, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 0, 10, 0, 4, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 1, 0, 5, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 2, 0, 5, 0, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 0, 3, 0, 5, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 4, 0, 5, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 5, 0, 5, 0, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 0, 6, 0, 5, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 7, 0, 5, 0, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 0, 8, 0, 5, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 9, 0, 5, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 10, 0, 5, 0, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 0, 1, 0, 6, 0, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 0, 2, 0, 6, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 3, 0, 6, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 4, 0, 6, 0, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 0, 5, 0, 6, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 6, 0, 6, 0, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 0, 7, 0, 6, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 8, 0, 6, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 9, 0, 6, 0, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 0, 10, 0, 6, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 1, 0, 7, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 2, 0, 7, 0, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 0, 3, 0, 7, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 4, 0, 7, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 5, 0, 7, 0, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 0, 6, 0, 7, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 7, 0, 7, 0, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 0, 8, 0, 7, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 9, 0, 7, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 10, 0, 7, 0, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 0, 1, 0, 8, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 2, 0, 8, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 3, 0, 8, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 4, 0, 8, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 5, 0, 8, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 6, 0, 8, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 7, 0, 8, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 8, 0, 8, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 9, 0, 8, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 10, 0, 8, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 1, 0, 9, 0, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 0, 2, 0, 9, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 3, 0, 9, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 4, 0, 9, 0, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 0, 5, 0, 9, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 6, 0, 9, 0, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 0, 7, 0, 9, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 8, 0, 9, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 9, 0, 9, 0, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 0, 10, 0, 9, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 1, 0, 10, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 2, 0, 10, 0, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 0, 3, 0, 10, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 4, 0, 10, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 5, 0, 10, 0, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 0, 6, 0, 10, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 7, 0, 10, 0, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 0, 8, 0, 10, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 9, 0, 10, 0, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 0, 10, 0, 10, 0, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 1, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 1, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 1, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 1, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 1, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 1, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 1, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 1, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 1, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 1, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 2, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 2, 0, 1, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 2, 0, 1, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 2, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 2, 0, 1, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 2, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 2, 0, 1, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 2, 0, 1, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 2, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 2, 0, 1, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 3, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 3, 0, 1, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 3, 0, 1, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 3, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 3, 0, 1, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 3, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 3, 0, 1, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 3, 0, 1, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 3, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 3, 0, 1, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 4, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 4, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 4, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 4, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 4, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 4, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 4, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 4, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 4, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 4, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 5, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 5, 0, 1, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 5, 0, 1, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 5, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 5, 0, 1, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 5, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 5, 0, 1, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 5, 0, 1, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 5, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 5, 0, 1, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 6, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 6, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 6, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 6, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 6, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 6, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 6, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 6, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 6, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 6, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 7, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 7, 0, 1, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 7, 0, 1, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 7, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 7, 0, 1, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 7, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 7, 0, 1, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 7, 0, 1, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 7, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 7, 0, 1, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 8, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 8, 0, 1, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 8, 0, 1, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 8, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 8, 0, 1, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 8, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 8, 0, 1, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 8, 0, 1, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 8, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 8, 0, 1, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 9, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 9, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 9, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 9, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 9, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 9, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 9, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 9, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 9, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 9, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 10, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 10, 0, 1, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 10, 0, 1, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 10, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 10, 0, 1, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 10, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 10, 0, 1, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 10, 0, 1, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 10, 0, 1, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 10, 0, 1, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 1, 0, 2, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 1, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 1, 0, 2, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 1, 0, 2, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 1, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 1, 0, 2, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 1, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 1, 0, 2, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 1, 0, 2, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 1, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 2, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 2, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 2, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 2, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 2, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 2, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 2, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 2, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 2, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 2, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 3, 0, 2, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 3, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 3, 0, 2, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 3, 0, 2, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 3, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 3, 0, 2, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 3, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 3, 0, 2, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 3, 0, 2, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 3, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 4, 0, 2, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 4, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 4, 0, 2, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 4, 0, 2, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 4, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 4, 0, 2, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 4, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 4, 0, 2, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 4, 0, 2, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 4, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 5, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 5, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 5, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 5, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 5, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 5, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 5, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 5, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 5, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 5, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 6, 0, 2, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 6, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 6, 0, 2, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 6, 0, 2, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 6, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 6, 0, 2, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 6, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 6, 0, 2, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 6, 0, 2, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 6, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 7, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 7, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 7, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 7, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 7, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 7, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 7, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 7, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 7, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 7, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 8, 0, 2, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 8, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 8, 0, 2, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 8, 0, 2, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 8, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 8, 0, 2, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 8, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 8, 0, 2, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 8, 0, 2, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 8, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 9, 0, 2, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 9, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 9, 0, 2, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 9, 0, 2, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 9, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 9, 0, 2, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 9, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 9, 0, 2, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 9, 0, 2, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 9, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 10, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 10, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 10, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 10, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 10, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 10, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 10, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 10, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 10, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 10, 0, 2, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 1, 0, 3, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 1, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 1, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 1, 0, 3, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 1, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 1, 0, 3, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 1, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 1, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 1, 0, 3, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 1, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 2, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 2, 0, 3, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 2, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 2, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 2, 0, 3, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 2, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 2, 0, 3, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 2, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 2, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 2, 0, 3, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 3, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 3, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 3, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 3, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 3, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 3, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 3, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 3, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 3, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 3, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 4, 0, 3, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 4, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 4, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 4, 0, 3, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 4, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 4, 0, 3, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 4, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 4, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 4, 0, 3, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 4, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 5, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 5, 0, 3, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 5, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 5, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 5, 0, 3, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 5, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 5, 0, 3, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 5, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 5, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 5, 0, 3, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 6, 0, 3, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 6, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 6, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 6, 0, 3, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 6, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 6, 0, 3, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 6, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 6, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 6, 0, 3, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 6, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 7, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 7, 0, 3, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 7, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 7, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 7, 0, 3, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 7, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 7, 0, 3, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 7, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 7, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 7, 0, 3, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 8, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 8, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 8, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 8, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 8, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 8, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 8, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 8, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 8, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 8, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 9, 0, 3, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 9, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 9, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 9, 0, 3, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 9, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 9, 0, 3, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 9, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 9, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 9, 0, 3, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 9, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 10, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 10, 0, 3, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 10, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 10, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 10, 0, 3, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 10, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 10, 0, 3, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 10, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 10, 0, 3, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 10, 0, 3, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 1, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 1, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 1, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 1, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 1, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 1, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 1, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 1, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 1, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 1, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 2, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 2, 0, 4, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 2, 0, 4, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 2, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 2, 0, 4, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 2, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 2, 0, 4, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 2, 0, 4, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 2, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 2, 0, 4, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 3, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 3, 0, 4, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 3, 0, 4, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 3, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 3, 0, 4, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 3, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 3, 0, 4, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 3, 0, 4, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 3, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 3, 0, 4, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 4, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 4, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 4, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 4, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 4, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 4, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 4, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 4, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 4, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 4, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 5, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 5, 0, 4, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 5, 0, 4, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 5, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 5, 0, 4, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 5, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 5, 0, 4, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 5, 0, 4, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 5, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 5, 0, 4, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 6, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 6, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 6, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 6, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 6, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 6, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 6, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 6, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 6, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 6, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 7, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 7, 0, 4, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 7, 0, 4, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 7, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 7, 0, 4, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 7, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 7, 0, 4, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 7, 0, 4, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 7, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 7, 0, 4, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 8, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 8, 0, 4, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 8, 0, 4, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 8, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 8, 0, 4, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 8, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 8, 0, 4, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 8, 0, 4, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 8, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 8, 0, 4, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 9, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 9, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 9, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 9, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 9, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 9, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 9, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 9, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 9, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 9, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 10, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 10, 0, 4, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 10, 0, 4, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 10, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 10, 0, 4, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 10, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 10, 0, 4, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 10, 0, 4, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 10, 0, 4, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 10, 0, 4, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 1, 0, 5, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 1, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 1, 0, 5, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 1, 0, 5, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 1, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 1, 0, 5, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 1, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 1, 0, 5, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 1, 0, 5, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 1, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 2, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 2, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 2, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 2, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 2, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 2, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 2, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 2, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 2, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 2, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 3, 0, 5, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 3, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 3, 0, 5, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 3, 0, 5, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 3, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 3, 0, 5, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 3, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 3, 0, 5, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 3, 0, 5, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 3, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 4, 0, 5, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 4, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 4, 0, 5, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 4, 0, 5, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 4, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 4, 0, 5, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 4, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 4, 0, 5, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 4, 0, 5, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 4, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 5, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 5, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 5, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 5, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 5, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 5, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 5, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 5, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 5, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 5, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 6, 0, 5, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 6, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 6, 0, 5, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 6, 0, 5, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 6, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 6, 0, 5, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 6, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 6, 0, 5, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 6, 0, 5, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 6, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 7, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 7, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 7, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 7, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 7, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 7, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 7, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 7, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 7, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 7, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 8, 0, 5, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 8, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 8, 0, 5, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 8, 0, 5, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 8, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 8, 0, 5, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 8, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 8, 0, 5, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 8, 0, 5, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 8, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 9, 0, 5, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 9, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 9, 0, 5, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 9, 0, 5, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 9, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 9, 0, 5, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 9, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 9, 0, 5, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 9, 0, 5, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 9, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 10, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 10, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 10, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 10, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 10, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 10, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 10, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 10, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 10, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 10, 0, 5, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 1, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 1, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 1, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 1, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 1, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 1, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 1, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 1, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 1, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 1, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 2, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 2, 0, 6, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 2, 0, 6, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 2, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 2, 0, 6, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 2, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 2, 0, 6, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 2, 0, 6, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 2, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 2, 0, 6, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 3, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 3, 0, 6, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 3, 0, 6, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 3, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 3, 0, 6, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 3, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 3, 0, 6, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 3, 0, 6, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 3, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 3, 0, 6, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 4, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 4, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 4, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 4, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 4, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 4, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 4, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 4, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 4, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 4, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 5, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 5, 0, 6, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 5, 0, 6, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 5, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 5, 0, 6, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 5, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 5, 0, 6, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 5, 0, 6, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 5, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 5, 0, 6, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 6, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 6, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 6, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 6, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 6, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 6, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 6, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 6, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 6, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 6, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 7, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 7, 0, 6, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 7, 0, 6, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 7, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 7, 0, 6, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 7, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 7, 0, 6, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 7, 0, 6, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 7, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 7, 0, 6, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 8, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 8, 0, 6, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 8, 0, 6, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 8, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 8, 0, 6, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 8, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 8, 0, 6, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 8, 0, 6, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 8, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 8, 0, 6, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 9, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 9, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 9, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 9, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 9, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 9, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 9, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 9, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 9, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 9, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 10, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 10, 0, 6, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 10, 0, 6, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 10, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 10, 0, 6, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 10, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 10, 0, 6, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 10, 0, 6, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 10, 0, 6, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 10, 0, 6, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 1, 0, 7, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 1, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 1, 0, 7, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 1, 0, 7, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 1, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 1, 0, 7, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 1, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 1, 0, 7, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 1, 0, 7, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 1, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 2, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 2, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 2, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 2, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 2, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 2, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 2, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 2, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 2, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 2, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 3, 0, 7, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 3, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 3, 0, 7, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 3, 0, 7, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 3, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 3, 0, 7, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 3, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 3, 0, 7, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 3, 0, 7, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 3, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 4, 0, 7, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 4, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 4, 0, 7, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 4, 0, 7, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 4, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 4, 0, 7, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 4, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 4, 0, 7, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 4, 0, 7, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 4, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 5, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 5, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 5, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 5, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 5, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 5, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 5, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 5, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 5, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 5, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 6, 0, 7, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 6, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 6, 0, 7, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 6, 0, 7, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 6, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 6, 0, 7, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 6, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 6, 0, 7, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 6, 0, 7, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 6, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 7, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 7, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 7, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 7, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 7, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 7, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 7, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 7, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 7, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 7, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 8, 0, 7, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 8, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 8, 0, 7, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 8, 0, 7, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 8, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 8, 0, 7, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 8, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 8, 0, 7, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 8, 0, 7, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 8, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 9, 0, 7, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 9, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 9, 0, 7, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 9, 0, 7, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 9, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 9, 0, 7, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 9, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 9, 0, 7, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 9, 0, 7, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 9, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 10, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 10, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 10, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 10, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 10, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 10, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 10, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 10, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 10, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 10, 0, 7, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 1, 0, 8, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 1, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 1, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 1, 0, 8, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 1, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 1, 0, 8, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 1, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 1, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 1, 0, 8, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 1, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 2, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 2, 0, 8, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 2, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 2, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 2, 0, 8, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 2, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 2, 0, 8, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 2, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 2, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 2, 0, 8, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 3, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 3, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 3, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 3, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 3, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 3, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 3, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 3, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 3, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 3, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 4, 0, 8, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 4, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 4, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 4, 0, 8, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 4, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 4, 0, 8, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 4, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 4, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 4, 0, 8, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 4, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 5, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 5, 0, 8, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 5, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 5, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 5, 0, 8, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 5, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 5, 0, 8, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 5, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 5, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 5, 0, 8, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 6, 0, 8, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 6, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 6, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 6, 0, 8, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 6, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 6, 0, 8, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 6, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 6, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 6, 0, 8, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 6, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 7, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 7, 0, 8, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 7, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 7, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 7, 0, 8, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 7, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 7, 0, 8, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 7, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 7, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 7, 0, 8, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 8, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 8, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 8, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 8, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 8, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 8, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 8, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 8, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 8, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 8, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 9, 0, 8, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 9, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 9, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 9, 0, 8, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 9, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 9, 0, 8, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 9, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 9, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 9, 0, 8, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 9, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 10, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 10, 0, 8, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 10, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 10, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 10, 0, 8, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 10, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 10, 0, 8, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 10, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 10, 0, 8, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 10, 0, 8, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 1, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 1, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 1, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 1, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 1, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 1, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 1, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 1, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 1, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 1, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 2, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 2, 0, 9, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 2, 0, 9, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 2, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 2, 0, 9, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 2, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 2, 0, 9, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 2, 0, 9, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 2, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 2, 0, 9, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 3, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 3, 0, 9, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 3, 0, 9, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 3, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 3, 0, 9, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 3, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 3, 0, 9, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 3, 0, 9, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 3, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 3, 0, 9, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 4, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 4, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 4, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 4, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 4, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 4, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 4, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 4, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 4, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 4, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 5, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 5, 0, 9, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 5, 0, 9, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 5, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 5, 0, 9, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 5, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 5, 0, 9, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 5, 0, 9, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 5, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 5, 0, 9, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 6, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 6, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 6, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 6, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 6, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 6, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 6, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 6, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 6, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 6, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 7, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 7, 0, 9, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 7, 0, 9, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 7, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 7, 0, 9, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 7, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 7, 0, 9, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 7, 0, 9, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 7, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 7, 0, 9, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 8, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 8, 0, 9, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 8, 0, 9, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 8, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 8, 0, 9, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 8, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 8, 0, 9, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 8, 0, 9, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 8, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 8, 0, 9, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 9, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 9, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 9, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 9, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 9, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 9, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 9, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 9, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 9, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 9, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 10, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 10, 0, 9, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 10, 0, 9, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 10, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 10, 0, 9, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 10, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 10, 0, 9, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 10, 0, 9, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 10, 0, 9, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 10, 0, 9, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 1, 0, 10, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 1, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 1, 0, 10, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 1, 0, 10, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 1, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 1, 0, 10, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 1, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 1, 0, 10, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 1, 0, 10, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 1, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 2, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 2, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 2, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 2, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 2, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 2, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 2, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 2, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 2, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 2, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 3, 0, 10, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 3, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 3, 0, 10, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 3, 0, 10, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 3, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 3, 0, 10, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 3, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 3, 0, 10, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 3, 0, 10, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 3, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 4, 0, 10, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 4, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 4, 0, 10, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 4, 0, 10, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 4, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 4, 0, 10, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 4, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 4, 0, 10, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 4, 0, 10, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 4, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 5, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 5, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 5, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 5, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 5, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 5, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 5, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 5, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 5, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 5, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 6, 0, 10, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 6, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 6, 0, 10, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 6, 0, 10, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 6, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 6, 0, 10, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 6, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 6, 0, 10, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 6, 0, 10, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 6, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 7, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 7, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 7, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 7, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 7, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 7, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 7, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 7, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 7, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 7, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 8, 0, 10, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 8, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 8, 0, 10, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 8, 0, 10, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 8, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 8, 0, 10, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 8, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 8, 0, 10, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 8, 0, 10, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 8, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 9, 0, 10, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 9, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 9, 0, 10, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 9, 0, 10, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 9, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 9, 0, 10, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 9, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 9, 0, 10, 0, 3 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 9, 0, 10, 0, 1 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 9, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 1, 0, 10, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 2, 0, 10, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 3, 0, 10, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 4, 0, 10, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 5, 0, 10, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 6, 0, 10, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 7, 0, 10, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 8, 0, 10, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 9, 0, 10, 0, 10, 0, 2 undefined_relax.0, not_switch_hold.0, 0, 10, 0, 10, 0, 10, 0, 2

@COLORS 1 0 255 0 4 0 255 0 6 0 150 0 9 0 255 0 11 0 255 0 14 0 255 0 2 255 255 0 5 255 255 0 10 255 255 0 12 255 255 0 15 255 255 0 7 150 150 0 3 192 192 192 8 192 192 192 13 64 64 64 16 64 64 64

Retrieved from "https://conwaylife.com/w/index.php?title=Rule:QdCA&oldid=66124"