<s> """<STR_LIT>""" <EOL> stack = list ( ) <EOL> def Push ( x ) : <EOL> global stack <EOL> stack . insert ( <NUM_LIT:0> , x ) <EOL> def Pop ( ) : <EOL> global stack <EOL> result = stack [ <NUM_LIT:0> ] <EOL> del stack [ <NUM_LIT:0> ] <EOL> return result <EOL> def PopEnabled ( ) : <EOL> return stack <EOL> state = ( '<STR_LIT>' , ) <EOL> actions = ( Push , Pop ) <EOL> enablers = { Pop : ( PopEnabled , ) } <EOL> domains = { Push : { '<STR_LIT:x>' : [ <NUM_LIT:1> , <NUM_LIT:2> ] } } <EOL> def StateFilter ( ) : <EOL> return len ( stack ) < <NUM_LIT:4> <EOL> def Reset ( ) : <EOL> global stack <EOL> del stack [ : ] </s>
