/ 1296 Plain Bob Major / Composed by J. White / 1296 Plain Bob Major 8 bells m=+x.18.x.18.x.18.x.18.x.18.x.18.x.18.x p=m,+12 b=m,+14 s=m,+1234 t="12345678 W V F B M H" z="-------- -----------" u=s,2p,b,3p,s u1=u,"@ s - s" v=6p,s v1=v,"@ s" w=p,3b,p w1=w,"@ - - -" x=5p,s,b x1=x,"@ s -" y="Repeat twice." Q=t,z,u1,v1,w1,x1,z,2(u,v,w,x),y Prove Q