/  1270 Stedman Triples
/  Composed by Lucinda J. Woodward

7 bells
qs=+1.3.1.3.1
ss=+3.1.3.1.3
os=+3.1," @ 1  5 12 13"
p=+7
b=+5
s=+567
l=" ------- ----------"
a=ss,p,qs,p,ss,p,qs
d=ss,p,qs,p,ss,p,qs,p,ss,p,qs,p,ss
e=ss,b,qs,b,ss,p,qs,s,ss,p,qs,p,ss,b
f=qs,p,ss,s,qs,b,ss,b,qs,p,ss,p,qs,b,ss,b
g=+1,"(3124567) 1s.2.3.5s.8.10s.11.12.15.16"
c0=os,s,l,a,s,d,b,qs,s,ss,p,qs," @ s  s  -  s",p
c1=a,s,d,b,qs,s,ss,p,qs," @    s  -  s",p
c2=a,p,d,p,qs,s,ss,p,qs," @          s",p
c3=a,s,d,p,qs,b,ss,p,qs," @    s     -",p
c4=a,p,d,p,qs,s,ss,p,qs," @          s",s
c5=e,f,g
Q=c0,c2,2(c1,c2),c3,c2,2(c1,c2),c1,c4,c5

Prove Q