DELIMITERS = "<$.>" "<$!>" "<$?>" "<$\;>" "<$:>" "<$-->" "<$>" "<$start>" "<$START>" ;

SETS
LIST INF = INF ;


MAPPINGS
 
CONSTRAINTS
 	
SELECT INF IF (-1 ("t[N]"));