diff options
Diffstat (limited to 'gfsm/gfsm/src/programs/renumber2.tfst')
| -rw-r--r-- | gfsm/gfsm/src/programs/renumber2.tfst | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gfsm/gfsm/src/programs/renumber2.tfst b/gfsm/gfsm/src/programs/renumber2.tfst new file mode 100644 index 0000000..1c71c3d --- /dev/null +++ b/gfsm/gfsm/src/programs/renumber2.tfst @@ -0,0 +1,8 @@ +5 1 42 0 0 +5 4 43 0 0 +6 7 1 1 0 +7 0 +0 1 42 0 0 +1 7 1 1 0 +3 4 43 0 0 +4 7 1 1 0 |