//  1260 Grandsire Triples
//  Composed by Andrew Johnson
//  132 combinations of 567;8

7 bells;
P=+3.1.7.1.7.1.7.1.7.1.7.1.7.1,"  @"
B=+3.1.7.1.7.1.7.1.7.1.7.1.3.1,"- @"
S=+3.1.7.1.7.1.7.1.7.1.7.1.3.123,"S @"
partA=P,P,P,S,S,P,B,P,B,P,S,P,B,P,B,P,S,B,S,"  -------"
partB=P,P,P,S,S,P,S,P,S,B,S,"  -------"
part=partA,partB
prove "  @", "  -------", 3part