print 'GTR_sym +> (x=2) +> F'
