GATORS

Definition of GATORS