# Generated by jabuti 0.4.2 (compiled Mar  1 2006 at 22:07:09)
# ../../src/jabuti --owrrbb 3 --acm
# Wed Mar  1 22:11:36 2006
# 360 states -- 720 arcs
.model ACM
.internal writer.wrCH_01 reader.rdCH_21 writer.wrCH_11 writer.wrCH_20 reader.rdCH_01 writer.wrCH_21 reader.rdCH_11 writer.wrCH_00 reader.rdCH_20 writer.wrCH_10 reader.rdCH_00 reader.rdCH_10
.outputs writer.l0111 reader.m2121 writer.l1120 reader.m2101 writer.l2001 writer.l1121 reader.m0101 reader.m2111 writer.l2000 reader.m0111 writer.l2100 reader.m2120 writer.l0110 reader.m1120 writer.l0011 reader.m1111 writer.l2101 reader.m2001 writer.l1021 reader.m2020 reader.m0120 writer.l0010 reader.m0121 reader.m1121 reader.m1101 reader.m0100 reader.m2000 reader.m2100 reader.m2011 reader.m1110 reader.m0110 reader.m0011 reader.m0000 reader.m1100 writer.l1020 reader.m2021 reader.m1021 reader.m1010 reader.m2010 reader.m0010 reader.m0021 reader.m2110 reader.m1001 reader.m0001 reader.m0020 reader.m1020 reader.m1011 reader.m1000
.process 0 writer.wrCH_01 writer.l0111 writer.wrCH_11 writer.l1120 writer.wrCH_20 writer.l2001 writer.l1121 writer.wrCH_21 writer.l2000 writer.l2100 writer.wrCH_00 writer.l0110 writer.l0011 writer.l2101 writer.wrCH_10 writer.l1021 writer.l0010 writer.l1020
.process 1 reader.rdCH_21 reader.m2121 reader.m2101 reader.rdCH_01 reader.m0101 reader.m2111 reader.m0111 reader.rdCH_11 reader.m2120 reader.m1120 reader.m1111 reader.rdCH_20 reader.m2001 reader.m2020 reader.m0120 reader.m0121 reader.m1121 reader.m1101 reader.m0100 reader.m2000 reader.m2100 reader.rdCH_00 reader.m2011 reader.m1110 reader.m0110 reader.m0011 reader.m0000 reader.m1100 reader.rdCH_10 reader.m2021 reader.m1021 reader.m1010 reader.m2010 reader.m0010 reader.m0021 reader.m2110 reader.m1001 reader.m0001 reader.m0020 reader.m1020 reader.m1011 reader.m1000
.state graph # begin state graph
s0 writer.wrCH_01 s1
s0 reader.rdCH_21 s2
s1 writer.l0111 s3
s1 reader.rdCH_21 s4
s2 writer.wrCH_01 s4
s2 reader.m2121 s0
s3 writer.wrCH_11 s5
s3 reader.rdCH_21 s6
s4 writer.l0111 s6
s4 reader.m2121 s1
s5 writer.l1120 s7
s5 reader.rdCH_21 s8
s6 writer.wrCH_11 s8
s6 reader.m2101 s9
s7 writer.wrCH_20 s10
s7 reader.rdCH_21 s11
s8 writer.l1120 s11
s8 reader.m2101 s12
s9 writer.wrCH_11 s12
s9 reader.rdCH_01 s13
s10 writer.l2001 s14
s10 reader.rdCH_21 s15
s11 writer.wrCH_20 s15
s11 reader.m2101 s16
s12 writer.l1121 s17
s12 reader.rdCH_01 s18
s13 writer.wrCH_11 s18
s13 reader.m0101 s9
s14 writer.wrCH_01 s19
s14 reader.rdCH_21 s20
s15 writer.l2001 s20
s15 reader.m2101 s21
s16 writer.wrCH_20 s21
s16 reader.rdCH_01 s22
s17 writer.wrCH_21 s23
s17 reader.rdCH_01 s24
s18 writer.l1121 s24
s18 reader.m0101 s12
s19 writer.l0111 s25
s19 reader.rdCH_21 s26
s20 writer.wrCH_01 s26
s20 reader.m2111 s27
s21 writer.l2000 s28
s21 reader.rdCH_01 s29
s22 writer.wrCH_20 s29
s22 reader.m0111 s30
s23 writer.l2100 s31
s23 reader.rdCH_01 s32
s24 writer.wrCH_21 s32
s24 reader.m0111 s33
s25 writer.wrCH_11 s34
s25 reader.rdCH_21 s35
s26 writer.l0111 s35
s26 reader.m2111 s36
s27 writer.wrCH_01 s36
s27 reader.rdCH_11 s37
s28 writer.wrCH_00 s38
s28 reader.rdCH_01 s39
s29 writer.l2000 s39
s29 reader.m0111 s40
s30 writer.wrCH_20 s40
s30 reader.rdCH_11 s41
s31 writer.wrCH_00 s42
s31 reader.rdCH_01 s43
s32 writer.l2100 s43
s32 reader.m0111 s44
s33 writer.wrCH_21 s44
s33 reader.rdCH_11 s45
s34 writer.l1120 s7
s34 reader.rdCH_21 s46
s35 writer.wrCH_11 s46
s35 reader.m2120 s47
s36 writer.l0110 s48
s36 reader.rdCH_11 s49
s37 writer.wrCH_01 s49
s37 reader.m1120 s50
s38 writer.l0011 s51
s38 reader.rdCH_01 s52
s39 writer.wrCH_00 s52
s39 reader.m0111 s53
s40 writer.l2001 s54
s40 reader.rdCH_11 s55
s41 writer.wrCH_20 s55
s41 reader.m1111 s30
s42 writer.l0011 s56
s42 reader.rdCH_01 s57
s43 writer.wrCH_00 s57
s43 reader.m0111 s58
s44 writer.l2101 s59
s44 reader.rdCH_11 s60
s45 writer.wrCH_21 s60
s45 reader.m1111 s33
s46 writer.l1120 s11
s46 reader.m2120 s61
s47 writer.wrCH_11 s61
s47 reader.rdCH_20 s62
s48 writer.wrCH_10 s63
s48 reader.rdCH_11 s64
s49 writer.l0110 s64
s49 reader.m1120 s65
s50 writer.wrCH_01 s65
s50 reader.rdCH_20 s66
s51 writer.wrCH_11 s67
s51 reader.rdCH_01 s68
s52 writer.l0011 s68
s52 reader.m0111 s69
s53 writer.wrCH_00 s69
s53 reader.rdCH_11 s70
s54 writer.wrCH_01 s71
s54 reader.rdCH_11 s72
s55 writer.l2001 s72
s55 reader.m1111 s40
s56 writer.wrCH_11 s73
s56 reader.rdCH_01 s74
s57 writer.l0011 s74
s57 reader.m0111 s75
s58 writer.wrCH_00 s75
s58 reader.rdCH_11 s76
s59 writer.wrCH_01 s77
s59 reader.rdCH_11 s78
s60 writer.l2101 s78
s60 reader.m1111 s44
s61 writer.l1121 s79
s61 reader.rdCH_20 s80
s62 writer.wrCH_11 s80
s62 reader.m2001 s9
s63 writer.l1021 s81
s63 reader.rdCH_11 s82
s64 writer.wrCH_10 s82
s64 reader.m1120 s83
s65 writer.l0111 s84
s65 reader.rdCH_20 s85
s66 writer.wrCH_01 s85
s66 reader.m2020 s50
s67 writer.l1121 s86
s67 reader.rdCH_01 s87
s68 writer.wrCH_11 s87
s68 reader.m0120 s88
s69 writer.l0010 s89
s69 reader.rdCH_11 s90
s70 writer.wrCH_00 s90
s70 reader.m1120 s91
s71 writer.l0110 s48
s71 reader.rdCH_11 s92
s72 writer.wrCH_01 s92
s72 reader.m1120 s50
s73 writer.l1121 s86
s73 reader.rdCH_01 s93
s74 writer.wrCH_11 s93
s74 reader.m0121 s94
s75 writer.l0010 s95
s75 reader.rdCH_11 s96
s76 writer.wrCH_00 s96
s76 reader.m1121 s97
s77 writer.l0110 s98
s77 reader.rdCH_11 s99
s78 writer.wrCH_01 s99
s78 reader.m1121 s0
s79 writer.wrCH_21 s100
s79 reader.rdCH_20 s101
s80 writer.l1121 s101
s80 reader.m2001 s12
s81 writer.wrCH_21 s102
s81 reader.rdCH_11 s103
s82 writer.l1021 s103
s82 reader.m1120 s104
s83 writer.wrCH_10 s104
s83 reader.rdCH_20 s105
s84 writer.wrCH_11 s106
s84 reader.rdCH_20 s107
s85 writer.l0111 s107
s85 reader.m2020 s65
s86 writer.wrCH_21 s108
s86 reader.rdCH_01 s109
s87 writer.l1121 s109
s87 reader.m0120 s110
s88 writer.wrCH_11 s110
s88 reader.rdCH_20 s111
s89 writer.wrCH_10 s112
s89 reader.rdCH_11 s113
s90 writer.l0010 s113
s90 reader.m1120 s114
s91 writer.wrCH_00 s114
s91 reader.rdCH_20 s115
s92 writer.l0110 s64
s92 reader.m1120 s65
s93 writer.l1121 s109
s93 reader.m0121 s116
s94 writer.wrCH_11 s116
s94 reader.rdCH_21 s117
s95 writer.wrCH_10 s118
s95 reader.rdCH_11 s119
s96 writer.l0010 s119
s96 reader.m1121 s120
s97 writer.wrCH_00 s120
s97 reader.rdCH_21 s121
s98 writer.wrCH_10 s122
s98 reader.rdCH_11 s123
s99 writer.l0110 s123
s99 reader.m1121 s1
s100 writer.l2101 s124
s100 reader.rdCH_20 s125
s101 writer.wrCH_21 s125
s101 reader.m2001 s126
s102 writer.l2101 s127
s102 reader.rdCH_11 s128
s103 writer.wrCH_21 s128
s103 reader.m1101 s129
s104 writer.l1021 s130
s104 reader.rdCH_20 s131
s105 writer.wrCH_10 s131
s105 reader.m2001 s132
s106 writer.l1121 s79
s106 reader.rdCH_20 s133
s107 writer.wrCH_11 s133
s107 reader.m2001 s9
s108 writer.l2100 s31
s108 reader.rdCH_01 s134
s109 writer.wrCH_21 s134
s109 reader.m0100 s135
s110 writer.l1121 s136
s110 reader.rdCH_20 s137
s111 writer.wrCH_11 s137
s111 reader.m2000 s138
s112 writer.l1021 s139
s112 reader.rdCH_11 s140
s113 writer.wrCH_10 s140
s113 reader.m1120 s141
s114 writer.l0011 s142
s114 reader.rdCH_20 s143
s115 writer.wrCH_00 s143
s115 reader.m2020 s91
s116 writer.l1120 s144
s116 reader.rdCH_21 s145
s117 writer.wrCH_11 s145
s117 reader.m2100 s138
s118 writer.l1021 s139
s118 reader.rdCH_11 s146
s119 writer.wrCH_10 s146
s119 reader.m1121 s147
s120 writer.l0011 s148
s120 reader.rdCH_21 s149
s121 writer.wrCH_00 s149
s121 reader.m2121 s97
s122 writer.l1021 s81
s122 reader.rdCH_11 s150
s123 writer.wrCH_10 s150
s123 reader.m1121 s151
s124 writer.wrCH_01 s152
s124 reader.rdCH_20 s153
s125 writer.l2101 s153
s125 reader.m2001 s154
s126 writer.wrCH_21 s154
s126 reader.rdCH_01 s155
s127 writer.wrCH_01 s156
s127 reader.rdCH_11 s157
s128 writer.l2101 s157
s128 reader.m1101 s158
s129 writer.wrCH_21 s158
s129 reader.rdCH_01 s159
s130 writer.wrCH_21 s160
s130 reader.rdCH_20 s161
s131 writer.l1021 s161
s131 reader.m2001 s162
s132 writer.wrCH_10 s162
s132 reader.rdCH_01 s163
s133 writer.l1121 s101
s133 reader.m2001 s12
s134 writer.l2100 s43
s134 reader.m0100 s164
s135 writer.wrCH_21 s164
s135 reader.rdCH_00 s165
s136 writer.wrCH_21 s166
s136 reader.rdCH_20 s167
s137 writer.l1121 s167
s137 reader.m2000 s168
s138 writer.wrCH_11 s168
s138 reader.rdCH_00 s169
s139 writer.wrCH_21 s170
s139 reader.rdCH_11 s171
s140 writer.l1021 s171
s140 reader.m1120 s172
s141 writer.wrCH_10 s172
s141 reader.rdCH_20 s173
s142 writer.wrCH_11 s174
s142 reader.rdCH_20 s175
s143 writer.l0011 s175
s143 reader.m2020 s114
s144 writer.wrCH_20 s176
s144 reader.rdCH_21 s177
s145 writer.l1120 s177
s145 reader.m2100 s168
s146 writer.l1021 s171
s146 reader.m1121 s178
s147 writer.wrCH_10 s178
s147 reader.rdCH_21 s179
s148 writer.wrCH_11 s180
s148 reader.rdCH_21 s181
s149 writer.l0011 s181
s149 reader.m2121 s120
s150 writer.l1021 s103
s150 reader.m1121 s182
s151 writer.wrCH_10 s182
s151 reader.rdCH_21 s183
s152 writer.l0111 s184
s152 reader.rdCH_20 s185
s153 writer.wrCH_01 s185
s153 reader.m2011 s186
s154 writer.l2100 s31
s154 reader.rdCH_01 s187
s155 writer.wrCH_21 s187
s155 reader.m0111 s33
s156 writer.l0110 s98
s156 reader.rdCH_11 s188
s157 writer.wrCH_01 s188
s157 reader.m1110 s189
s158 writer.l2100 s190
s158 reader.rdCH_01 s191
s159 writer.wrCH_21 s191
s159 reader.m0110 s192
s160 writer.l2101 s193
s160 reader.rdCH_20 s194
s161 writer.wrCH_21 s194
s161 reader.m2001 s129
s162 writer.l1021 s195
s162 reader.rdCH_01 s196
s163 writer.wrCH_10 s196
s163 reader.m0101 s132
s164 writer.l2101 s197
s164 reader.rdCH_00 s198
s165 writer.wrCH_21 s198
s165 reader.m0011 s33
s166 writer.l2101 s124
s166 reader.rdCH_20 s199
s167 writer.wrCH_21 s199
s167 reader.m2000 s135
s168 writer.l1121 s200
s168 reader.rdCH_00 s201
s169 writer.wrCH_11 s201
s169 reader.m0000 s138
s170 writer.l2101 s127
s170 reader.rdCH_11 s202
s171 writer.wrCH_21 s202
s171 reader.m1100 s203
s172 writer.l1021 s204
s172 reader.rdCH_20 s205
s173 writer.wrCH_10 s205
s173 reader.m2000 s206
s174 writer.l1121 s136
s174 reader.rdCH_20 s207
s175 writer.wrCH_11 s207
s175 reader.m2000 s138
s176 writer.l2001 s14
s176 reader.rdCH_21 s208
s177 writer.wrCH_20 s208
s177 reader.m2100 s209
s178 writer.l1020 s210
s178 reader.rdCH_21 s211
s179 writer.wrCH_10 s211
s179 reader.m2100 s206
s180 writer.l1120 s144
s180 reader.rdCH_21 s212
s181 writer.wrCH_11 s212
s181 reader.m2100 s138
s182 writer.l1020 s213
s182 reader.rdCH_21 s214
s183 writer.wrCH_10 s214
s183 reader.m2101 s132
s184 writer.wrCH_11 s215
s184 reader.rdCH_20 s216
s185 writer.l0111 s216
s185 reader.m2011 s217
s186 writer.wrCH_01 s217
s186 reader.rdCH_11 s218
s187 writer.l2100 s43
s187 reader.m0111 s44
s188 writer.l0110 s123
s188 reader.m1110 s219
s189 writer.wrCH_01 s219
s189 reader.rdCH_10 s220
s190 writer.wrCH_00 s221
s190 reader.rdCH_01 s222
s191 writer.l2100 s222
s191 reader.m0110 s223
s192 writer.wrCH_21 s223
s192 reader.rdCH_10 s224
s193 writer.wrCH_01 s225
s193 reader.rdCH_20 s226
s194 writer.l2101 s226
s194 reader.m2001 s158
s195 writer.wrCH_21 s227
s195 reader.rdCH_01 s228
s196 writer.l1021 s228
s196 reader.m0101 s162
s197 writer.wrCH_01 s229
s197 reader.rdCH_00 s230
s198 writer.l2101 s230
s198 reader.m0011 s44
s199 writer.l2101 s153
s199 reader.m2000 s164
s200 writer.wrCH_21 s231
s200 reader.rdCH_00 s232
s201 writer.l1121 s232
s201 reader.m0000 s168
s202 writer.l2101 s157
s202 reader.m1100 s233
s203 writer.wrCH_21 s233
s203 reader.rdCH_00 s234
s204 writer.wrCH_21 s235
s204 reader.rdCH_20 s236
s205 writer.l1021 s236
s205 reader.m2000 s237
s206 writer.wrCH_10 s237
s206 reader.rdCH_00 s238
s207 writer.l1121 s167
s207 reader.m2000 s168
s208 writer.l2001 s20
s208 reader.m2100 s239
s209 writer.wrCH_20 s239
s209 reader.rdCH_00 s240
s210 writer.wrCH_20 s241
s210 reader.rdCH_21 s242
s211 writer.l1020 s242
s211 reader.m2100 s237
s212 writer.l1120 s177
s212 reader.m2100 s168
s213 writer.wrCH_20 s243
s213 reader.rdCH_21 s244
s214 writer.l1020 s244
s214 reader.m2101 s162
s215 writer.l1121 s79
s215 reader.rdCH_20 s245
s216 writer.wrCH_11 s245
s216 reader.m2021 s246
s217 writer.l0110 s98
s217 reader.rdCH_11 s247
s218 writer.wrCH_01 s247
s218 reader.m1121 s0
s219 writer.l0111 s248
s219 reader.rdCH_10 s249
s220 writer.wrCH_01 s249
s220 reader.m1021 s0
s221 writer.l0011 s56
s221 reader.rdCH_01 s250
s222 writer.wrCH_00 s250
s222 reader.m0110 s251
s223 writer.l2101 s252
s223 reader.rdCH_10 s253
s224 writer.wrCH_21 s253
s224 reader.m1010 s192
s225 writer.l0111 s184
s225 reader.rdCH_20 s254
s226 writer.wrCH_01 s254
s226 reader.m2010 s189
s227 writer.l2100 s190
s227 reader.rdCH_01 s255
s228 writer.wrCH_21 s255
s228 reader.m0110 s192
s229 writer.l0111 s256
s229 reader.rdCH_00 s257
s230 writer.wrCH_01 s257
s230 reader.m0011 s186
s231 writer.l2101 s197
s231 reader.rdCH_00 s258
s232 writer.wrCH_21 s258
s232 reader.m0011 s33
s233 writer.l2101 s259
s233 reader.rdCH_00 s260
s234 writer.wrCH_21 s260
s234 reader.m0010 s192
s235 writer.l2101 s193
s235 reader.rdCH_20 s261
s236 writer.wrCH_21 s261
s236 reader.m2000 s203
s237 writer.l1021 s262
s237 reader.rdCH_00 s263
s238 writer.wrCH_10 s263
s238 reader.m0000 s206
s239 writer.l2001 s264
s239 reader.rdCH_00 s265
s240 writer.wrCH_20 s265
s240 reader.m0011 s30
s241 writer.l2001 s266
s241 reader.rdCH_21 s267
s242 writer.wrCH_20 s267
s242 reader.m2100 s268
s243 writer.l2001 s266
s243 reader.rdCH_21 s269
s244 writer.wrCH_20 s269
s244 reader.m2101 s270
s245 writer.l1121 s101
s245 reader.m2021 s271
s246 writer.wrCH_11 s271
s246 reader.rdCH_21 s272
s247 writer.l0110 s123
s247 reader.m1121 s1
s248 writer.wrCH_11 s273
s248 reader.rdCH_10 s274
s249 writer.l0111 s274
s249 reader.m1021 s1
s250 writer.l0011 s74
s250 reader.m0110 s275
s251 writer.wrCH_00 s275
s251 reader.rdCH_10 s276
s252 writer.wrCH_01 s277
s252 reader.rdCH_10 s278
s253 writer.l2101 s278
s253 reader.m1010 s223
s254 writer.l0111 s216
s254 reader.m2010 s219
s255 writer.l2100 s222
s255 reader.m0110 s223
s256 writer.wrCH_11 s279
s256 reader.rdCH_00 s280
s257 writer.l0111 s280
s257 reader.m0011 s217
s258 writer.l2101 s230
s258 reader.m0011 s44
s259 writer.wrCH_01 s281
s259 reader.rdCH_00 s282
s260 writer.l2101 s282
s260 reader.m0010 s223
s261 writer.l2101 s226
s261 reader.m2000 s233
s262 writer.wrCH_21 s283
s262 reader.rdCH_00 s284
s263 writer.l1021 s284
s263 reader.m0000 s237
s264 writer.wrCH_01 s285
s264 reader.rdCH_00 s286
s265 writer.l2001 s286
s265 reader.m0011 s40
s266 writer.wrCH_01 s287
s266 reader.rdCH_21 s288
s267 writer.l2001 s288
s267 reader.m2100 s289
s268 writer.wrCH_20 s289
s268 reader.rdCH_00 s290
s269 writer.l2001 s288
s269 reader.m2101 s291
s270 writer.wrCH_20 s291
s270 reader.rdCH_01 s292
s271 writer.l1120 s7
s271 reader.rdCH_21 s293
s272 writer.wrCH_11 s293
s272 reader.m2101 s9
s273 writer.l1121 s294
s273 reader.rdCH_10 s295
s274 writer.wrCH_11 s295
s274 reader.m1021 s246
s275 writer.l0011 s296
s275 reader.rdCH_10 s297
s276 writer.wrCH_00 s297
s276 reader.m1021 s97
s277 writer.l0111 s248
s277 reader.rdCH_10 s298
s278 writer.wrCH_01 s298
s278 reader.m1021 s0
s279 writer.l1121 s299
s279 reader.rdCH_00 s300
s280 writer.wrCH_11 s300
s280 reader.m0021 s246
s281 writer.l0111 s256
s281 reader.rdCH_00 s301
s282 writer.wrCH_01 s301
s282 reader.m0010 s189
s283 writer.l2101 s259
s283 reader.rdCH_00 s302
s284 writer.wrCH_21 s302
s284 reader.m0010 s192
s285 writer.l0111 s303
s285 reader.rdCH_00 s304
s286 writer.wrCH_01 s304
s286 reader.m0011 s27
s287 writer.l0111 s25
s287 reader.rdCH_21 s305
s288 writer.wrCH_01 s305
s288 reader.m2110 s306
s289 writer.l2001 s307
s289 reader.rdCH_00 s308
s290 writer.wrCH_20 s308
s290 reader.m0010 s309
s291 writer.l2000 s310
s291 reader.rdCH_01 s311
s292 writer.wrCH_20 s311
s292 reader.m0110 s309
s293 writer.l1120 s11
s293 reader.m2101 s12
s294 writer.wrCH_21 s312
s294 reader.rdCH_10 s313
s295 writer.l1121 s313
s295 reader.m1021 s271
s296 writer.wrCH_11 s314
s296 reader.rdCH_10 s315
s297 writer.l0011 s315
s297 reader.m1021 s120
s298 writer.l0111 s274
s298 reader.m1021 s1
s299 writer.wrCH_21 s316
s299 reader.rdCH_00 s317
s300 writer.l1121 s317
s300 reader.m0021 s271
s301 writer.l0111 s280
s301 reader.m0010 s219
s302 writer.l2101 s282
s302 reader.m0010 s223
s303 writer.wrCH_11 s318
s303 reader.rdCH_00 s319
s304 writer.l0111 s319
s304 reader.m0011 s36
s305 writer.l0111 s35
s305 reader.m2110 s320
s306 writer.wrCH_01 s320
s306 reader.rdCH_10 s321
s307 writer.wrCH_01 s322
s307 reader.rdCH_00 s323
s308 writer.l2001 s323
s308 reader.m0010 s324
s309 writer.wrCH_20 s324
s309 reader.rdCH_10 s325
s310 writer.wrCH_00 s326
s310 reader.rdCH_01 s327
s311 writer.l2000 s327
s311 reader.m0110 s324
s312 writer.l2101 s328
s312 reader.rdCH_10 s329
s313 writer.wrCH_21 s329
s313 reader.m1001 s126
s314 writer.l1121 s330
s314 reader.rdCH_10 s331
s315 writer.wrCH_11 s331
s315 reader.m1021 s94
s316 writer.l2101 s197
s316 reader.rdCH_00 s332
s317 writer.wrCH_21 s332
s317 reader.m0001 s126
s318 writer.l1121 s299
s318 reader.rdCH_00 s333
s319 writer.wrCH_11 s333
s319 reader.m0020 s47
s320 writer.l0111 s334
s320 reader.rdCH_10 s335
s321 writer.wrCH_01 s335
s321 reader.m1020 s50
s322 writer.l0111 s303
s322 reader.rdCH_00 s336
s323 writer.wrCH_01 s336
s323 reader.m0010 s306
s324 writer.l2001 s337
s324 reader.rdCH_10 s338
s325 writer.wrCH_20 s338
s325 reader.m1010 s309
s326 writer.l0011 s51
s326 reader.rdCH_01 s339
s327 writer.wrCH_00 s339
s327 reader.m0110 s340
s328 writer.wrCH_01 s341
s328 reader.rdCH_10 s342
s329 writer.l2101 s342
s329 reader.m1001 s154
s330 writer.wrCH_21 s343
s330 reader.rdCH_10 s344
s331 writer.l1121 s344
s331 reader.m1021 s116
s332 writer.l2101 s230
s332 reader.m0001 s154
s333 writer.l1121 s317
s333 reader.m0020 s61
s334 writer.wrCH_11 s345
s334 reader.rdCH_10 s346
s335 writer.l0111 s346
s335 reader.m1020 s65
s336 writer.l0111 s319
s336 reader.m0010 s320
s337 writer.wrCH_01 s347
s337 reader.rdCH_10 s348
s338 writer.l2001 s348
s338 reader.m1010 s324
s339 writer.l0011 s68
s339 reader.m0110 s349
s340 writer.wrCH_00 s349
s340 reader.rdCH_10 s350
s341 writer.l0111 s248
s341 reader.rdCH_10 s351
s342 writer.wrCH_01 s351
s342 reader.m1011 s186
s343 writer.l2101 s328
s343 reader.rdCH_10 s352
s344 writer.wrCH_21 s352
s344 reader.m1000 s135
s345 writer.l1121 s294
s345 reader.rdCH_10 s353
s346 writer.wrCH_11 s353
s346 reader.m1020 s47
s347 writer.l0111 s334
s347 reader.rdCH_10 s354
s348 writer.wrCH_01 s354
s348 reader.m1020 s50
s349 writer.l0011 s355
s349 reader.rdCH_10 s356
s350 writer.wrCH_00 s356
s350 reader.m1020 s91
s351 writer.l0111 s274
s351 reader.m1011 s217
s352 writer.l2101 s342
s352 reader.m1000 s164
s353 writer.l1121 s313
s353 reader.m1020 s61
s354 writer.l0111 s346
s354 reader.m1020 s65
s355 writer.wrCH_11 s357
s355 reader.rdCH_10 s358
s356 writer.l0011 s358
s356 reader.m1020 s114
s357 writer.l1121 s330
s357 reader.rdCH_10 s359
s358 writer.wrCH_11 s359
s358 reader.m1020 s88
s359 writer.l1121 s344
s359 reader.m1020 s110
.marking{s0}
.end # end state graph
