/  1280 Pluto Surprise Major

8 bells
p=&X36X14X58X16X14X1458X56X58,+12
b=&X36X14X58X16X14X1458X56X58,+14
head="12345678  B M H"
line="--------  -----"
c1=6p,b,            "@      -"
c2=6p,b,            "@      -"
c3=4p,b,2p,       "@    -"
c4=3(b,p),          "@  3"
c5=4p,b,2p,       "@    -"
c6=2(b,p),2b,    "@  3   -"
q=head,line,c1,c2,c3,c4,c5,c6,line
Prove q