/  1288 Grandsire Triples
/  Composed by R. W. Willans

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=b,p,p,p,p,s,b
u1=u,"@ -   s    -   (7 leads)"
v=p,p,p,s
v1=v,"@     s"
w=p,p,p,b
w1=w,"@     -"
head="1234567 In  Out  Home"
line="------- -------------"
q1=u1,v1,2w1,v1
q2=u,v,2w,v
foot="Repeat three times.","Courses four leads long except as marked."
Prove head,line,q1,3q2,line,foot