//  1320 Plain Bob Minor
//  Arranged by D L Thomas

2 extents
notround = "# rows ending in @ $$"

m = &x1x1x1
p = m, +2
b = m, +4, "- @"
s = m, +234

part = 2(b,4p), b
spart = 2(b, 4p), s

prove 2(4part, spart)