//  2016 St Andrew Bob Triples
//  Composed by David C W Richards

7 bells;

m=&7.1.7.123.7.3.7;
p=+127, "  @";
b=+147, "- @";
s=+12347, "s @";

M = repeat( m, {/*7??/:  b, break; p} )
Ms = repeat( m, {/*7??/:  s, break; p} )
W = repeat( m, {/*7?/:  b, break; p} )
Ws = repeat( m, {/*7?/:  s, break; p} )
H = repeat( m, {/*7/: b, break; p} )
Hs = repeat( m, {/*7/: s, break; p} )
Hp = repeat( m, {/*7/: p, break; p} )

prove 3( 2(M,W,H,W,H,M,W,Hs), M, W, H, M, H);