/  1296 Big Ben Bob Caters
/  Composed by J. White
/  5.1.9.1.9.1.9.1.9.1.9.1.9.1.9.1.5 le 125

9 bells
m=+5.1.9.1.9.1.9.1.9.1.9.1.9.1.9.1.5
p=m,+125
b=m,+145
s=m,+12345
head="123456789 1 2 3 4 5 6 7 8"
line="--------- ---------------"
c1=b,b,p,b,b,p
d1=c1,"@ - -   - -       (6 leads)"
c2=4p,s,p,s,p
d2=c2,"@         s   s"
c3=b,b,p,b,b,p
d3=c3,"@ - -   - -       (6 leads)"
c4=4p,s,p,b,p
d4=c4,"@         s   -"
c5=4p,s,3p
d5=c5,"@         s"
f1=d1,d2,d3,d4,d5,line
f2=c1,c2,c3,c4,c5
foot="Repeat."
note="Courses eight leads long except as marked."
Q=head,line,f1,f2,foot,note
Prove Q