# Generated by jabuti 0.4.2 (compiled Mar  1 2006 at 22:07:09)
# ../../src/jabuti --owbb 2 --acm
# Wed Mar  1 22:11:36 2006
# 80 states -- 144 arcs
.model ACM
.internal writer.wrCH_01 reader.rdCH_11 writer.wrCH_10 reader.rdCH_01 reader.rdCH_10 writer.wrCH_00 writer.wrCH_11 reader.rdCH_00
.outputs writer.l0110 writer.l1001 reader.m1101 reader.m1110 writer.l1000 writer.l0111 writer.l0011 reader.m0110 writer.l1101 reader.m1001 writer.l1100 reader.m0100 reader.m1011 reader.m0111 reader.m1000 writer.l0010 reader.m0011 reader.m1100 reader.m0001 reader.m0010
.process 0 writer.wrCH_01 writer.l0110 writer.wrCH_10 writer.l1001 writer.l1000 writer.wrCH_00 writer.l0111 writer.l0011 writer.wrCH_11 writer.l1101 writer.l1100 writer.l0010
.process 1 reader.rdCH_11 reader.m1101 reader.rdCH_01 reader.m1110 reader.rdCH_10 reader.m0110 reader.m1001 reader.m0100 reader.rdCH_00 reader.m1011 reader.m0111 reader.m1000 reader.m0011 reader.m1100 reader.m0001 reader.m0010
.state graph # begin state graph
s0 writer.wrCH_01 s1
s0 reader.rdCH_11 s2
s1 writer.l0110 s3
s1 reader.rdCH_11 s4
s2 writer.wrCH_01 s4
s3 writer.wrCH_10 s5
s3 reader.rdCH_11 s6
s4 writer.l0110 s6
s5 writer.l1001 s7
s5 reader.rdCH_11 s8
s6 writer.wrCH_10 s8
s6 reader.m1101 s9
s7 writer.wrCH_01 s10
s7 reader.rdCH_11 s11
s8 writer.l1001 s11
s8 reader.m1101 s12
s9 writer.wrCH_10 s12
s9 reader.rdCH_01 s13
s10 writer.l0110 s3
s10 reader.rdCH_11 s14
s11 writer.wrCH_01 s14
s11 reader.m1110 s15
s12 writer.l1000 s16
s12 reader.rdCH_01 s17
s13 writer.wrCH_10 s17
s14 writer.l0110 s6
s14 reader.m1110 s18
s15 writer.wrCH_01 s18
s15 reader.rdCH_10 s19
s16 writer.wrCH_00 s20
s16 reader.rdCH_01 s21
s17 writer.l1000 s21
s18 writer.l0111 s22
s18 reader.rdCH_10 s23
s19 writer.wrCH_01 s23
s20 writer.l0011 s24
s20 reader.rdCH_01 s25
s21 writer.wrCH_00 s25
s21 reader.m0110 s26
s22 writer.wrCH_11 s27
s22 reader.rdCH_10 s28
s23 writer.l0111 s28
s24 writer.wrCH_11 s29
s24 reader.rdCH_01 s30
s25 writer.l0011 s30
s25 reader.m0110 s31
s26 writer.wrCH_00 s31
s26 reader.rdCH_10 s32
s27 writer.l1101 s33
s27 reader.rdCH_10 s34
s28 writer.wrCH_11 s34
s28 reader.m1001 s35
s29 writer.l1100 s36
s29 reader.rdCH_01 s37
s30 writer.wrCH_11 s37
s30 reader.m0100 s38
s31 writer.l0011 s39
s31 reader.rdCH_10 s40
s32 writer.wrCH_00 s40
s33 writer.wrCH_01 s41
s33 reader.rdCH_10 s42
s34 writer.l1101 s42
s34 reader.m1001 s43
s35 writer.wrCH_11 s43
s35 reader.rdCH_01 s44
s36 writer.wrCH_00 s45
s36 reader.rdCH_01 s46
s37 writer.l1100 s46
s37 reader.m0100 s47
s38 writer.wrCH_11 s47
s38 reader.rdCH_00 s48
s39 writer.wrCH_11 s49
s39 reader.rdCH_10 s50
s40 writer.l0011 s50
s41 writer.l0111 s22
s41 reader.rdCH_10 s51
s42 writer.wrCH_01 s51
s42 reader.m1011 s0
s43 writer.l1100 s36
s43 reader.rdCH_01 s52
s44 writer.wrCH_11 s52
s45 writer.l0011 s24
s45 reader.rdCH_01 s53
s46 writer.wrCH_00 s53
s46 reader.m0111 s54
s47 writer.l1101 s55
s47 reader.rdCH_00 s56
s48 writer.wrCH_11 s56
s49 writer.l1101 s33
s49 reader.rdCH_10 s57
s50 writer.wrCH_11 s57
s50 reader.m1000 s38
s51 writer.l0111 s28
s51 reader.m1011 s1
s52 writer.l1100 s46
s53 writer.l0011 s30
s53 reader.m0111 s58
s54 writer.wrCH_00 s58
s54 reader.rdCH_11 s59
s55 writer.wrCH_01 s60
s55 reader.rdCH_00 s61
s56 writer.l1101 s61
s57 writer.l1101 s42
s57 reader.m1000 s47
s58 writer.l0010 s62
s58 reader.rdCH_11 s63
s59 writer.wrCH_00 s63
s60 writer.l0111 s64
s60 reader.rdCH_00 s65
s61 writer.wrCH_01 s65
s61 reader.m0011 s0
s62 writer.wrCH_10 s66
s62 reader.rdCH_11 s67
s63 writer.l0010 s67
s64 writer.wrCH_11 s68
s64 reader.rdCH_00 s69
s65 writer.l0111 s69
s65 reader.m0011 s1
s66 writer.l1001 s7
s66 reader.rdCH_11 s70
s67 writer.wrCH_10 s70
s67 reader.m1100 s71
s68 writer.l1101 s55
s68 reader.rdCH_00 s72
s69 writer.wrCH_11 s72
s69 reader.m0001 s35
s70 writer.l1001 s11
s70 reader.m1100 s73
s71 writer.wrCH_10 s73
s71 reader.rdCH_00 s74
s72 writer.l1101 s61
s72 reader.m0001 s43
s73 writer.l1001 s75
s73 reader.rdCH_00 s76
s74 writer.wrCH_10 s76
s75 writer.wrCH_01 s77
s75 reader.rdCH_00 s78
s76 writer.l1001 s78
s77 writer.l0111 s64
s77 reader.rdCH_00 s79
s78 writer.wrCH_01 s79
s78 reader.m0010 s15
s79 writer.l0111 s69
s79 reader.m0010 s18
.marking{s0}
.end # end state graph
