// 2016 Cambridge Surprise Major 8 bells; 8 bells; m=&x3x4x25x36x4x5x6x78; p=+12; b=+14; s=+1234; M=repeat( m, {/*8???/: b, "- @ M", break; p} ); Ms=repeat( m, {/*8???/: s, "s @ M", break; p} ); W=repeat( m, {/*8/: b, "- @ W", break; p} ); Ws=repeat( m, {/*8/: s, "s @ W", break; p} ); H=repeat( m, {/*8?/: b, "- @ H", break; p} ); Hs=repeat( m, {/*8?/: s, "s @ H", break; p} ); prove 3(M, Hs, Ms, W, 2H)