test02.in revision 027d68858fd4bbb565ca2aa7ce026dc60c8cf881
T -> (<>F)\/~([]T/\T)<->(<>~F<-T)