/  1253 Erin Cinques
/  Composed by Matt Dawson
/  October 2007

er=+3.1.3.1.3
p=+E,er," @"
b=+9,er," @ -"
s=+90E,er," @ s"
z=+E.3.1.3.1,"(213547698E0)"
l=" -----------"
go=2b,2p,s,2b,3p,l
aa=b,4p,s,b,4p,l
a=5p,s,b,4p,l
ai=5p,2b,4p,l
aib=5p,2b,3p,b,l
turn=2p,b,7p,4b,2p,s,b,4p,l
aas=s,4p,s,b,4p,l
qp=go,aa,2a,ai,3a,aib,turn,aa,aas,a,ai,3a,ai,z
prove qp