//  1536 Spliced Major (2m)
//  Composed by A E Holroyd
//  1136 Frog, 400 Toad; 18 c.o.m

8 bells;
F = +x4x34.6.5.6x4x4.56.1.56.4x34x3.6.5x56.4.36x4.56.1.34.1.34.5x34.56x4.56.1.56.1.34.5x36.5.34x4.3.6x56x5.34.1.34.5x5x3.4.3.56x5x1, " @";

Fb = +x4x34.6.5.6x4x4.56.1.56.4x34x3.6.5x56.4.36x4.56.1.34.1.34.5x34.56x4.56.1.56.1.34.5x36.5.34x4.3.6x56x5.34.1.34.5x5x3.4.3.56x5x3, "-@";

T = +4x4x6.3.56.34.1.34x5.4x56.1.56.34.6.3x5x5.36, " @";
Tb = +4x4x6.3.56.34.1.34x5.4x56.1.56.34.6.3x5x5.16, "-@";

f2 = +56x4.56.1.56.1.34.5x36.5.34x4.3.6x56x5.34.1.34.5x5x3.4.3.56x5x1, " @";
f1 = +x4x34.6.5.6x4x4.56.1.56.4x34x3.6.5x56.4.36x4.56.1.34.1.34.5x34, " @";

prove f2, F, Fb, Tb, 7(Fb, T, Tb), Fb, Tb, 5(F), f1;