TIRRED

Definition of TIRRED