8001 ALL
8002 INTO
8004 THEN
8005 AND
-8006 BUT
9001 WITH
9002 AT
