<s> def PowerOff ( ) : pass <EOL> def PowerOn ( ) : pass <EOL> def IncrementSpeed ( ) : pass <EOL> states = { <EOL> <NUM_LIT:0> : { '<STR_LIT>' : <NUM_LIT:0> , '<STR_LIT>' : { '<STR_LIT>' : False } } , <EOL> <NUM_LIT:1> : { '<STR_LIT>' : <NUM_LIT:0> , '<STR_LIT>' : { '<STR_LIT>' : True } } , <EOL> <NUM_LIT:2> : { '<STR_LIT>' : <NUM_LIT:1> , '<STR_LIT>' : { '<STR_LIT>' : False } } , <EOL> <NUM_LIT:3> : { '<STR_LIT>' : <NUM_LIT:1> , '<STR_LIT>' : { '<STR_LIT>' : True } } , <EOL> <NUM_LIT:4> : { '<STR_LIT>' : <NUM_LIT:2> , '<STR_LIT>' : { '<STR_LIT>' : False } } , <EOL> <NUM_LIT:5> : { '<STR_LIT>' : <NUM_LIT:2> , '<STR_LIT>' : { '<STR_LIT>' : True } } , <EOL> } <EOL> initial = <NUM_LIT:0> <EOL> accepting = [ <NUM_LIT:0> ] <EOL> unsafe = [ ] <EOL> frontier = [ ] <EOL> finished = [ ] <EOL> deadend = [ ] <EOL> runstarts = [ <NUM_LIT:0> ] <EOL> graph = ( <EOL> ( <NUM_LIT:0> , ( PowerOn , ( ) , None ) , <NUM_LIT:1> ) , <EOL> ( <NUM_LIT:0> , ( IncrementSpeed , ( ) , None ) , <NUM_LIT:2> ) , <EOL> ( <NUM_LIT:1> , ( IncrementSpeed , ( ) , None ) , <NUM_LIT:3> ) , <EOL> ( <NUM_LIT:1> , ( PowerOff , ( ) , None ) , <NUM_LIT:0> ) , <EOL> ( <NUM_LIT:2> , ( PowerOn , ( ) , None ) , <NUM_LIT:3> ) , <EOL> ( <NUM_LIT:2> , ( IncrementSpeed , ( ) , None ) , <NUM_LIT:4> ) , <EOL> ( <NUM_LIT:3> , ( IncrementSpeed , ( ) , None ) , <NUM_LIT:5> ) , <EOL> ( <NUM_LIT:3> , ( PowerOff , ( ) , None ) , <NUM_LIT:2> ) , <EOL> ( <NUM_LIT:4> , ( PowerOn , ( ) , None ) , <NUM_LIT:5> ) , <EOL> ( <NUM_LIT:4> , ( IncrementSpeed , ( ) , None ) , <NUM_LIT:0> ) , <EOL> ( <NUM_LIT:5> , ( IncrementSpeed , ( ) , None ) , <NUM_LIT:1> ) , <EOL> ( <NUM_LIT:5> , ( PowerOff , ( ) , None ) , <NUM_LIT:4> ) , <EOL> ) </s>
