default transition --> S1
stream : .
last   :^
current:^
transition S1 -| . |-> S3
stream : .
last   :^
current: ^

>> rejected
>> rolling back
stream : .
last   :^
current:^


default transition --> S1
stream : 12
last   :^
current:^
transition S1 -| 1 |-> S2
stream : 12
last   :^
current: ^
transition S2 -| 2 |-> S2
stream : 12
last   :^
current:  ^

>> recognized 12E0
>> committing
stream : 12
last   :  ^
current:  ^


default transition --> S1
stream : 12.3e+1
last   :^
current:^
transition S1 -| 1 |-> S2
stream : 12.3e+1
last   :^
current: ^
transition S2 -| 2 |-> S2
stream : 12.3e+1
last   :^
current:  ^
transition S2 -| . |-> S4
stream : 12.3e+1
last   :^
current:   ^
transition S4 -| 3 |-> S4
stream : 12.3e+1
last   :^
current:    ^
transition S4 -| e |-> S5
stream : 12.3e+1
last   :^
current:     ^
transition S5 -| + |-> S6
stream : 12.3e+1
last   :^
current:      ^
transition S6 -| 1 |-> S7
stream : 12.3e+1
last   :^
current:       ^

>> recognized 12.3E1
>> committing
stream : 12.3e+1
last   :       ^
current:       ^


default transition --> S1
stream : 12.3e1
last   :^
current:^
transition S1 -| 1 |-> S2
stream : 12.3e1
last   :^
current: ^
transition S2 -| 2 |-> S2
stream : 12.3e1
last   :^
current:  ^
transition S2 -| . |-> S4
stream : 12.3e1
last   :^
current:   ^
transition S4 -| 3 |-> S4
stream : 12.3e1
last   :^
current:    ^
transition S4 -| e |-> S5
stream : 12.3e1
last   :^
current:     ^
transition S5 -| 1 |-> S7
stream : 12.3e1
last   :^
current:      ^

>> recognized 12.3E1
>> committing
stream : 12.3e1
last   :      ^
current:      ^


default transition --> S1
stream : e3
last   :^
current:^
transition S1 -| e
stream : e3
last   :^
current:^

>> rejected
>> rolling back
stream : e3
last   :^
current:^


default transition --> S1
stream : 10ab
last   :^
current:^
transition S1 -| 1 |-> S2
stream : 10ab
last   :^
current: ^
transition S2 -| 0 |-> S2
stream : 10ab
last   :^
current:  ^
transition S2 -| a
stream : 10ab
last   :^
current:  ^

>> recognized 10E0
>> committing
stream : 10ab
last   :  ^
current:  ^


default transition --> S1
stream : 10e3
last   :^
current:^
transition S1 -| 1 |-> S2
stream : 10e3
last   :^
current: ^
transition S2 -| 0 |-> S2
stream : 10e3
last   :^
current:  ^
transition S2 -| e |-> S5
stream : 10e3
last   :^
current:   ^
transition S5 -| 3 |-> S7
stream : 10e3
last   :^
current:    ^

>> recognized 10E3
>> committing
stream : 10e3
last   :    ^
current:    ^


default transition --> S1
stream : 10E-3
last   :^
current:^
transition S1 -| 1 |-> S2
stream : 10E-3
last   :^
current: ^
transition S2 -| 0 |-> S2
stream : 10E-3
last   :^
current:  ^
transition S2 -| E |-> S5
stream : 10E-3
last   :^
current:   ^
transition S5 -| - |-> S6
stream : 10E-3
last   :^
current:    ^
transition S6 -| 3 |-> S7
stream : 10E-3
last   :^
current:     ^

>> recognized 10E-3
>> committing
stream : 10E-3
last   :     ^
current:     ^


default transition --> S1
stream : .10
last   :^
current:^
transition S1 -| . |-> S3
stream : .10
last   :^
current: ^
transition S3 -| 1 |-> S4
stream : .10
last   :^
current:  ^
transition S4 -| 0 |-> S4
stream : .10
last   :^
current:   ^

>> recognized 0.1E0
>> committing
stream : .10
last   :   ^
current:   ^


default transition --> S1
stream : .10e3
last   :^
current:^
transition S1 -| . |-> S3
stream : .10e3
last   :^
current: ^
transition S3 -| 1 |-> S4
stream : .10e3
last   :^
current:  ^
transition S4 -| 0 |-> S4
stream : .10e3
last   :^
current:   ^
transition S4 -| e |-> S5
stream : .10e3
last   :^
current:    ^
transition S5 -| 3 |-> S7
stream : .10e3
last   :^
current:     ^

>> recognized 0.1E3
>> committing
stream : .10e3
last   :     ^
current:     ^


default transition --> S1
stream : 10.
last   :^
current:^
transition S1 -| 1 |-> S2
stream : 10.
last   :^
current: ^
transition S2 -| 0 |-> S2
stream : 10.
last   :^
current:  ^
transition S2 -| . |-> S4
stream : 10.
last   :^
current:   ^

>> recognized 10E0
>> committing
stream : 10.
last   :   ^
current:   ^


default transition --> S1
stream : 10.3e44
last   :^
current:^
transition S1 -| 1 |-> S2
stream : 10.3e44
last   :^
current: ^
transition S2 -| 0 |-> S2
stream : 10.3e44
last   :^
current:  ^
transition S2 -| . |-> S4
stream : 10.3e44
last   :^
current:   ^
transition S4 -| 3 |-> S4
stream : 10.3e44
last   :^
current:    ^
transition S4 -| e |-> S5
stream : 10.3e44
last   :^
current:     ^
transition S5 -| 4 |-> S7
stream : 10.3e44
last   :^
current:      ^
transition S7 -| 4 |-> S7
stream : 10.3e44
last   :^
current:       ^

>> recognized 10.3E44
>> committing
stream : 10.3e44
last   :       ^
current:       ^


default transition --> S1
stream : AAA
last   :^
current:^
transition S1 -| A |-> S3
stream : AAA
last   :^
current: ^
transition S3 -| A |-> S4
stream : AAA
last   :^
current:  ^
transition S4 -| A
stream : AAA
last   :^
current:  ^

>> rejected
>> rolling back
stream : AAA
last   :^
current:^


default transition --> S1
stream : A1
last   :^
current:^
transition S1 -| A |-> S3
stream : A1
last   :^
current: ^
transition S3 -| 1 |-> S6
stream : A1
last   :^
current:  ^

>> recognized (REL_1,REL_1)
>> committing
stream : A1
last   :  ^
current:  ^


default transition --> S1
stream : b23
last   :^
current:^
transition S1 -| b |-> S3
stream : b23
last   :^
current: ^
transition S3 -| 2 |-> S6
stream : b23
last   :^
current:  ^
transition S6 -| 3 |-> S7
stream : b23
last   :^
current:   ^

>> recognized (REL_2,REL_23)
>> committing
stream : b23
last   :   ^
current:   ^


default transition --> S1
stream : ab$10
last   :^
current:^
transition S1 -| a |-> S3
stream : ab$10
last   :^
current: ^
transition S3 -| b |-> S4
stream : ab$10
last   :^
current:  ^
transition S4 -| $ |-> S5
stream : ab$10
last   :^
current:   ^
transition S5 -| 1 |-> S6
stream : ab$10
last   :^
current:    ^
transition S6 -| 0 |-> S7
stream : ab$10
last   :^
current:     ^

>> recognized (REL_28,ABS_10)
>> committing
stream : ab$10
last   :     ^
current:     ^


default transition --> S1
stream : $f$235
last   :^
current:^
transition S1 -| $ |-> S2
stream : $f$235
last   :^
current: ^
transition S2 -| f |-> S3
stream : $f$235
last   :^
current:  ^
transition S3 -| $ |-> S5
stream : $f$235
last   :^
current:   ^
transition S5 -| 2 |-> S6
stream : $f$235
last   :^
current:    ^
transition S6 -| 3 |-> S7
stream : $f$235
last   :^
current:     ^
transition S7 -| 5 |-> S8
stream : $f$235
last   :^
current:      ^

>> recognized (ABS_6,ABS_235)
>> committing
stream : $f$235
last   :      ^
current:      ^


default transition --> S1
stream : ij$1
last   :^
current:^
transition S1 -| i |-> S3
stream : ij$1
last   :^
current: ^
transition S3 -| j |-> S4
stream : ij$1
last   :^
current:  ^
transition S4 -| $ |-> S5
stream : ij$1
last   :^
current:   ^
transition S5 -| 1 |-> S6
stream : ij$1
last   :^
current:    ^

>> recognized (REL_244,ABS_1)
>> committing
stream : ij$1
last   :    ^
current:    ^