/  1280 Spliced Surprise Major (8m)
/  Composed by R W Diary
/  160 each Bristol, Cambridge, Lincolnshire, London, Pudsey, Rutland, Superlative and Yorkshire.

pp=&x5x6x2x3x4x5x6x7,+2,"@ Pudsey"
py=&x3x4x5x6x2x3x4x7,+2,"@ Yorkshire"
bn=&x3x4x5x6x4x5x36x7,+4,"@ Lincolnshire, Bob"
pr=&x3x4x5x6x4x3x34x1,+2,"@ Rutland"
bc=&x3x4x25x36x4x5x6x7,+4,"@ Cambridge, Bob"
pl=&3x3.4x2x3.4x4.5.6x6.5,+2,"@ London"
bs=&x36x4x5x36x4x5x36x7,+4,"@ Superlative, Bob"
pb=&x5x4.5x5.36.4x4.5x4x1,+1,"@ Bristol"
l="--------"
part=pp,py,bn,pr,bc,pl,bs,pb,l
qp=5part
prove qp