/  1344 St Simon's Bob Triples
/  Composed by J. White

7 bells
m = +7.1.7.3.7.3.7.3.7.3.7.1.7
p = m,+127
p1= p,"@"
b = m,+147
b1= b,"@ -"
s = m,+12347
s1= s,"@ s"
c = p,s,p,b,p,p,p,p,p,b,p,b,p,p,p,b
c1= p1,s1,p1,b1,5p1,b1,p1,b1,3p1,b1
head = "1234567"
line = "-------"
note = "Repeat five times."
peal = head,line,c1,5c,line,note
prove peal