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
