//  1264 Plain Bob Major
//  Composed by G A C John

8 bells

GACJ = H,sH, W,2M,sM,B,sH,H,W,2M,sM,B,H

H = repeat(PB, {/*8?/:b,break;p})
sH = repeat(PB, {/*8?/:s,break;p})
W = repeat(PB, {/*8/:b,break;p})
M = repeat(PB, {/*8???/:b,break;p})
sM = repeat(PB, {/*8???/:s,break;p})
B = repeat(PB, {/18*/:b,break;p})

p=+2
b=+4,"- @"
s=+234,"s @"

PB = &x1x1x1x1
prove GACJ