/  1254 Grandsire Cinques
/  Composed by J. White

11 bells
m=+3.1.e.1.e.1.e.1.e.1.e.1.e.1.e.1.e.1.e.1
p=m,+x1
b=m,+3.1
s=m,+3.123
head="1234567890E 1 2 3 4 5 6"
line="----------- -----------"
c1=(p,3b,s,p)
e1=c1,"@   - - - s   (6)"       
c2=(p,3b,p,s)
e2=c2,"@   - - -   s (6)"
c3=(p,3b,3p)
e3=c3,"@   - - -     (7)"
foot="Repeat twice."
c=c1,c2,c3
e=e1,e2,e3
Prove head,line,e,2c,line,foot