/  1260 Grandsire Triples
/  Composed by John Carter

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
u=s,p,b
u1=u,"@ s   -    (3 leads)"
v=p,p,p,b
v1=v,"@       -  (4 leads)"
w=b,p,b,p
w1=w,"@ -   -    (4 leads)"
x=p,b,b,p
x1=x,"@   - -    (4 leads)"
h="1234567 1 2 3 4"
l="------- -------"
f="Repeat five times."
A1=u1,v1,w1,x1
A=u,v,w,x
Prove h,l,A1,l,5A,f