| FSG_BEGIN <test.nulltest> | |
| NUM_STATES 35 | |
| START_STATE 0 | |
| FINAL_STATE 1 | |
| TRANSITION 0 2 1.000000 | |
| TRANSITION 2 4 1.000000 | |
| TRANSITION 3 13 1.000000 | |
| TRANSITION 4 5 1.000000 | |
| TRANSITION 5 7 1.000000 one | |
| TRANSITION 6 3 1.000000 | |
| TRANSITION 7 8 1.000000 | |
| TRANSITION 8 11 0.500041 and | |
| TRANSITION 8 10 0.500041 | |
| TRANSITION 9 12 1.000000 one | |
| TRANSITION 10 9 1.000000 | |
| TRANSITION 11 9 1.000000 | |
| TRANSITION 12 6 1.000000 | |
| TRANSITION 13 15 1.000000 | |
| TRANSITION 14 24 1.000000 | |
| TRANSITION 15 16 1.000000 | |
| TRANSITION 16 18 1.000000 two | |
| TRANSITION 17 14 1.000000 | |
| TRANSITION 18 19 1.000000 | |
| TRANSITION 19 22 0.500041 and | |
| TRANSITION 19 21 0.500041 | |
| TRANSITION 20 23 1.000000 two | |
| TRANSITION 21 20 1.000000 | |
| TRANSITION 22 20 1.000000 | |
| TRANSITION 23 17 1.000000 | |
| TRANSITION 24 26 1.000000 | |
| TRANSITION 25 1 1.000000 | |
| TRANSITION 26 27 1.000000 | |
| TRANSITION 27 29 1.000000 three | |
| TRANSITION 28 25 1.000000 | |
| TRANSITION 29 30 1.000000 | |
| TRANSITION 30 33 0.500041 and | |
| TRANSITION 30 32 0.500041 | |
| TRANSITION 31 34 1.000000 three | |
| TRANSITION 32 31 1.000000 | |
| TRANSITION 33 31 1.000000 | |
| TRANSITION 34 28 1.000000 | |
| FSG_END | |