/  5040 Hereward Bob Triples
/  Composed by R. B. Pullin
/  Arranged by J. White

7 bells
m=+3.1.5.1.7.3.7.1.7.3.7.1
p=m,+5.1
b=m,+3.1
s=m,+5.12367,"@ 1S"
t=4p,m,+5.12367,"@ 5S"
head="1234567"
line="-------"
u1=b,"@ 1"
v=p,b
v1=v,"@ 2"
w=2p,b
w1=w,"@ 3"
x=3p,b
x1=x,"@ 4"
y=4p,b
y1=y,"@ 5"
z1=p,"@ PL"
j=u1,v1,u1,y1,w1,y1,v1,y1,x1,y1,w1,x1,y1,v1,2y1,w1,u1,y1,v1,u1,z1
k=b,v,b,y,w,y,v,y,x,y,w,x,y,v,2y,w,b,y,v,b,p
part1=s,t,j
part=p,k
foot="Repeat four times omitting the singles (5.12367) and the course between them in all but one part."
comp=head,line,part1,4part,line,foot
prove comp