//  5120 Spliced Surprise Major
//  Composed by P G K Davies
//  8m: 896 Rutland, 704 Lincolnshire, Yorkshire, 640 Cambridge, 576 London, Pudsey, Superlative, 448 Bristol; 87 com; atw.

8 bells

Part=4B,b,2P,h,".    -     - @",
2P,Y,N,b,P,2C,h,".       - - @",
C,P,C,b,C,R,h,".       -   - @",
2R,L,b,3B,b,R,h,".  -   - - @",
R,P,3N,h,".            - @",
R,b,Y,2C,Y,h,".       -   - @",
S,C,5S,h,".          - @",
Y,C,S,P,b,S,2N,"        -   @",
N,S,N,b,6R,h,".   -   - @",
L,Y,L,h,".              - @",
N,Y,Y,b,L,R,4L,"    -     @",
L,b,Y,R,h,".         -   - @",
2N,P,C,3Y,h,".          - @",
"----------------------------"

lh = "\"
p2lh = +2
p8lh = +8
blh  = +4,".\"
hlh  = +4

lh2 = (p = lh=p2lh), (b = lh=blh), (h = lh=hlh), (lh=p2lh)
lh8 = (p = lh=p8lh), (b = lh=blh), (h = lh=hlh), (lh=p8lh)

B=lh,&x5x4.5x5.36.4x4.5x4x1,lh8,"B\"
C=lh,&x3x4x25x36x4x5x6x7,lh2,"C\"
Y=lh,&x3x4x5x6x2x3x4x7,lh2,"Y\"
P=lh,&x5x6x2x3x4x5x6x7,lh2,"P\"
L=lh,&3x3.4x2x3.4x4.5.6x6.5,lh2,"L\"
N=lh,&x3x4x5x6x4x5x36x7,lh2,"N\"
R=lh,&x3x4x5x6x4x3x34x18,lh2,"R\"
S=lh,&x36x4x5x36x4x5x36x7,lh2,"S\"

start = "            B M W H @","----------------------------"
finish = lh, "\n";
conflict=


prove 2 Part