/  1296 Grandsire Major
/  Composed by Matt Dawson

8 bells
g = +3.1x1x1x1x1x1x1
p = g, +x1, "@"
b = g, +3.1, "@ -"
s = g, +3.123, "@ s"
l = "--------"
q = p, b, l,
4p, b, l,
4p, s, 6b, s, l,
p, s, 6b, s, l,
4p, 3s, 4b, s, l,
4p, s, 6b, s, l,
4p, b, l,
4p, 3s, 4b, s, l,
4p, s, 6b, s, l
prove q