/ 1272 Norwich Surprise Minor 6 bells 2 extents NOTROUND = "# rows ending in @","$ rows are repeated", "Touch is True$$" c = 2(p,2b,3p,b,3p, ce), p,2b,3p,b,p,2b,3p, ce, 2(p,2b,3p,b,3p,ce) ce = " @" p = method,+1 b = method,+4, "- @" method = &x34x4x2x3x34x1 prove c