//  90 Spliced Doubles (2m)
//  Generated by Andrew Johnson
//  30 Plain Bob, 60 Grandsire; 5 changes of method.

5 bells

PlainBob = &5.1.5.1.5
GrandsireB = +3.1.5.1.5.1.5.1.3.1
GrandsireS = +3.1.5.1.5.1.5.1.3.123

p = PlainBob, +25, "P  @"
gb = GrandsireB, "G- @"
gs = GrandsireS, "Gs @"

prove "   @", 3(p,gb,gs)