<s> def Initialize ( ) : pass <EOL> def ReadInt ( ) : pass <EOL> def Login ( ) : pass <EOL> def Logout ( ) : pass <EOL> def UpdateInt ( ) : pass <EOL> states = { <EOL> <NUM_LIT:0> : { '<STR_LIT>' : ( <NUM_LIT:0> , <NUM_LIT:0> ) } , <EOL> <NUM_LIT:1> : { '<STR_LIT>' : ( <NUM_LIT:0> , <NUM_LIT:1> ) } , <EOL> <NUM_LIT:2> : { '<STR_LIT>' : ( <NUM_LIT:0> , <NUM_LIT:2> ) } , <EOL> <NUM_LIT:3> : { '<STR_LIT>' : ( <NUM_LIT:0> , <NUM_LIT:3> ) } , <EOL> <NUM_LIT:4> : { '<STR_LIT>' : ( <NUM_LIT:0> , <NUM_LIT:4> ) } , <EOL> <NUM_LIT:5> : { '<STR_LIT>' : ( <NUM_LIT:0> , <NUM_LIT:5> ) } , <EOL> <NUM_LIT:6> : { '<STR_LIT>' : ( <NUM_LIT:0> , <NUM_LIT:6> ) } , <EOL> } <EOL> initial = <NUM_LIT:0> <EOL> accepting = [ <NUM_LIT:6> ] <EOL> unsafe = [ ] <EOL> frontier = [ ] <EOL> finished = [ <NUM_LIT:6> ] <EOL> deadend = [ ] <EOL> runstarts = [ <NUM_LIT:0> ] <EOL> graph = ( <EOL> ( <NUM_LIT:0> , ( Initialize , ( ) , None ) , <NUM_LIT:1> ) , <EOL> ( <NUM_LIT:1> , ( Login , ( '<STR_LIT>' , '<STR_LIT>' ) , '<STR_LIT>' ) , <NUM_LIT:2> ) , <EOL> ( <NUM_LIT:2> , ( UpdateInt , ( '<STR_LIT>' , <NUM_LIT:1> ) , None ) , <NUM_LIT:3> ) , <EOL> ( <NUM_LIT:3> , ( Logout , ( '<STR_LIT>' , ) , None ) , <NUM_LIT:4> ) , <EOL> ( <NUM_LIT:4> , ( Login , ( '<STR_LIT>' , '<STR_LIT>' ) , '<STR_LIT>' ) , <NUM_LIT:5> ) , <EOL> ( <NUM_LIT:5> , ( ReadInt , ( '<STR_LIT>' , ) , <NUM_LIT:1> ) , <NUM_LIT:6> ) , <EOL> ) </s>
