pb2.in revision 74b23191c8f49798f7513f324bbdbbe32f8a1db2
(<0.5><0.5> (p0 \/ p3)) \/ (<0.5> (~<0.5> (p0 \/ p3)))