/  1280 Bristol Surprise Royal

10 bells
r = &x5x4.5x5.36.4x7.58.6x6.7x6x1
p = r, +1, "@"
b = r, +4, "@ -"
l = "----------"
q = 2(6p, b, p, l, 7p, b, l)
prove q