/  1259 Grandsire Caters

9 bells
g=+3.1.9.1.9.1.9.1.9.1.9.1.9.1.9.1
p=g,+9.1
b=g,+3.1
s=g,+3.123
t1=b,b,b,s,    "@ - - - s   (4)"
t2=b,p,p,b,p,p,"@ -     -   (6)"
t3=b,p,b,s,p,  "@ -   - s"
t4=b,p,b,p,p,p,"@ -   -     (6)"
t5=s,p,p,b,p,  "@ s     -"
d=b,b,b,p,p,   "@ - - -"
e=b,b,b,g,+9,  "@ - - -     (4)"
head="123456789 1 2 3 4"
line="--------- -------"
foot="Courses five leads long except as marked."
Prove head,line,t1,t2,d,d,t3,d,d,t4,t5,d,d,t3,d,e,line,foot