test05.in revision 027d68858fd4bbb565ca2aa7ce026dc60c8cf881
(~p0 /\ (<1>T /\ ~(<2>T)) /\ (<1>p0 /\ ~(<2>p0))) -> ([0]p0)