s1 p2 exit 0
s1 p3 exit 0
s1 p5 exit 0
s1 p7 exit 0
s2 p2 exit 0
s2 p3 exit 0
s2 p5 exit 0
s2 p7 exit 0
s3 p2 exit 0
s3 p3 exit 0
s3 p5 exit 0
s3 p7 exit 0
