/  5075 Grandsire Caters
/  Composed by J. White

/  5075 Grandsire Caters
/  Composed by James White
9 Bells
g = +3.1.9.1.9.1.9.1.9.1.9.1.9.1.9.1
p = g , +9.1
b = g , +3.1
s = g , +3.123
l = " ---------    ----------"

y1 = b , b , b , p , p
y2 = y1 ,                       " @    1  2  3    |  "
y3 = y1 ,                       " @    1  2  3    "
x1 = b , b , s , p , p        
x2 = x1 ,                       " @    1  2  3S   |  "
x3 = x1 ,                       " @    1  2  3S   "
x4 = x1 ,                       " @    1  2  3S   | A "

j = b , p , p , p , b , p ,     " @    1  5      "
k = p , p , p , p , p , s ,     " @    6S        "
m = p , p , p , p , p , b ,     " @    6         "
n = s , b , b , p , p ,         " @    1S 2  3   "
q = s , b , p , s , p ,         " @    1S 2  4S  "
r = b , p , b , s , p ,         " @    1  3  4S  "
t = s , p , p , b , p ,         " @    1S 4      "
u = b , p , b , b , p ,         " @    1  3  4   "
Dlock = y2 , x2 , x2 , y2 , y2 , x4 , x2 , y2 , y2 , x2 , x2
Block = y1 , x1 , x1 , y1 , y1 , x1 , x1 , y1 , y1 , x1 , x1 , " @    A"
Slock = y1 , x1 , x1 , y1 , y1 , x1 , x1 , y1 , y1 , x1 , b , b , s , g , +9 , " @    A*"

Part1 = j , k , m , l
Part2 = n , y3 , y3 , l
Part3 = q , Dlock , l
Part4 = r , Block , l
Part5 = x3,  t , u , Block , l
Part6 = r , Slock , l
Note = "A* = A without the final lead and one change."

peal = Part1 , Part2 , Part3 , Part4 , Part5 , Part6, Note
Prove peal