// 1259 Grandsire Caters 9 bells; round_at_hand = +3.1.9.1.9.1.9.1.9.1.9.1.9.1.9.1.9; m = +3.1.9.1.9.1.9.1.9.1.9.1.9.1.9.1; p = +9.1, " @ \"; b = +3.1, "- @ \"; s = +3.123, "s @ \"; crsend = " "; P = m,p; B = m,b; S = m,s; C123 = 3B, 2P, crsend; C134 = B, P, 2B, P, crsend; C134s = B, P, B, S, P, crsend; prove B,2(P),B,B,crsend, 4(P),S,P,crsend, S,2(P),S,P,crsend, 2(C123), C134, 2(C123), C134s, 2(C123), C134, C123, B, B, B, round_at_hand, crsend;