/  840 Grandsire Triples
/  Composed by J. J. Parker

7 bells
g=+3.1.7.1.7.1.7.1.7.1.7.1
p=g,+7.1
b=g,+3.1
s=g,+3.123
head="1234567 1 2 3 4 5"
line="------- ---------"
c1=b,2p,b,s
d1=c1,"@ -     - s  (5 leads)"
e1=b,2p,2b
c2=p,b,3p
d2=c2,"@   -        (5 leads)"
c3=2b,2p
d3=c3,"@ - -        (4 leads)"
c4=p,b,3p 
d4=c4,"@   -        (5 leads)"
c5=b,p,b,s
d5=c5,"@ -   - s    (4 leads)"
c6=b,b,s
d6=c6,"@ - - s      (3 leads)"
c7=p,b,p,s
d7=c7,"@   -   s    (4 leads)"
e7=p,b,p,s
C=c1,c2,c3,c4,c5,c6,c7
D=d1,d2,d3,d4,d5,d6,d7,line
E=e1,c2,c3,c4,c5,c6,c7
foot="Repeat."
Touch=head,line,D,C,foot
Prove Touch