//  2013 Plain Bob Triples
//  Composed by John R Thompson

7 bells;
1 extents;

init = +1.7.1.7.1.7.1.7.1.7.127, "  @";

m = &7.1.7.1.7.1.7;
p = +127, "  @";
b = +147, "- @";
s = +12347, "s @";
vhs = +347, "v @";


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

PL = m, p;
BL = m, b;
SL = m, s;


prove init, B, Mvh, W, M, W, 2(Hs), 2(W), F, I, Hs, B, M, H, "Part end",
      2( Ms, M, W, 2(Hs), 2(W), F, I, Hs, B, M, H, "Part end" );