PROBLEM NoNonTerminal

NONTERMINALS

TERMINALS
  T1. 

RULES

MAXIMIZE<<  >>
END NoNonTerminal.