/ 1280 Cambridge Surprise Major 8 bells p=&X38X14X1258X36X14X58X16X78,+12 b=&X38X14X1258X36X14X58X16X78,+14 head="12345678 B M W H" line="-------- -------" c1=3p,b,2p,b,"@ - -" c2=2p,b,4p,"@ -" c3=p,b,2p,"@ -" c4=2p,2b,3p,"@ - -" c5=2p,b,4p,"@ -" c6=p,b,2p,"@ -" c7=p,b,p,b,"@ - -" q=head,line,c1,c2,c3,c4,c5,c6,c7,line Prove q