/  1320 Grandsire Maximus
/  Arranged by Matt Dawson
/  November 2015

12 bells
g = +3.1, 10(+x1)
p = g, +x1, "@"
b = g, +3.1, "@ -"
s = g, +3.23, "@ s"
a = 3p, 2(b, 8p)
q = a, b, a, s, 10b, s
prove q