/  1275 Grandsire Cinques
/  Composed by Simon Bond

g=+3.1.E.1.E.1.E.1.E.1.E.1.E.1.E.1.E.1.E.1
p=g,+E.1," @  "
b=g,+3.1," @ -"
s=g,+3.123," @ s"
z=g,+E,"(132547698E0)"
l=" -----------"
q=b,s,p,2b,p,l,
  b,p,b,p,b,s,l,
  b,s,p,2b,p,l,
  b,2s,2b,l,
  b,2p,2b,s,l,
  b,s,b,s,2p,l,
  s,4p,b,p,l,
  b,s,2b,s,l,
  4b,2p,l,
  4b,z
prove q