// 1296 Cambridge Surprise Minor 6 bells 2 extents m = &-36-14-12-36-14-56; p = m, +12; b = m, +14; part1 = p,p,b,p,b,p,p,b,p,p; part2 = p,b,p,p,p,b,p,b; prove 3*part1, 3*part2