[(*,p,open(r)),(*,p,overlinein(r,p)),(*,s_1_1,r),(*,s_1_1,overlinein(p,s_1_1)),(*,s_1_1,overlineout(p,s_1_1)),(*,s_1_2,r),(*,s_1_2,overlinein(p,s_1_2)),(*,s_1_2,overlineout(p,s_1_2)),(*,s_2_1,r),(*,s_2_1,overlinein(p,s_2_1)),(*,s_2_1,overlineout(p,s_2_1)),(*,s_2_2,overlinein(p,s_2_2)),(s_1_1,r,out(s_1_1)),(s_1_1,r,overlineopen(p,r)),(s_1_2,r,out(s_1_2)),(s_1_2,r,overlineopen(p,r)),(s_2_1,r,out(s_2_1)),(s_2_1,r,overlineopen(p,r)),(t,*,p),(t,*,s_1_1),(t,*,s_1_2),(t,*,s_2_1),(t,*,s_2_2)]
