/  1302 Single Oxford Bob Triples
/  Composed by R. B. Pullin

7 bells
m=+3.1.5.1.7.1.7.1.7.1.7.1
p=m,+5.1
b=m,+3.1
s=m,+3.123
h="1234567"
l="-------"
c1=b
d1=c1,"@ 1"
c2=p,b
d2=c2,"@ 2"
c3=2p,b
d3=c3,"@ 3"
c4=3p,b
d4=c4,"@ 4"
c5=4p,b
d5=c5,"@ 5"
pl=p, "@ PL"
f1="Repeat twice."
C=2c3,2c1,c3,c1,c4,2c5,c1,c3,p
D=2d3,2d1,d3,d1,d4,2d5,d1,d3,pl

Prove h,l,D,2C,l,f1