p1 true 1 p2 true p3 true p4 true p5 true p6 true p7 true t4 true false t5 true false t6 true false t7 true false t8 true false t1 true false t2 true false t3 true false 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1