/   

6 bells
7 extents
conflict =
lo = &x34x1x2x1x2x1
ls = &x3x4x2x3.4x2.5
ll = &3x3.4x2x3.4x4.3
ln = &x34x4x2x3x34x1
lk = &34x34.1x2x1x2x1
lu = &3x3.4x2x3x2x3
lb = &x3x4x2x3.4x34.5
lc = &x3x4x2x3x4x5
o = 4(lo, +1), lo, +4, "@ Oxford"
s = 4(ls, +2), ls, +4, "@ Surfleet"
l = 4(ll, +2), ll, +4, "@ London"
n = 4(ln, +1), ln, +4, "@ Norwich"
k = 4(lk, +1), lk, +4, "@ Kent"
u = 4(lu, +2), lu, +4, "@ Lincoln"
b = 4(lb, +2), lb, +4, "@ Beverley"
c = 4(lc, +2), lc, +4, "@ Cambridge"
part = o, s, l, n, k, n, u, o, b, u, c, k, l, c, "------"
peal = 3(part)
prove peal