/ 1344 St Saviour’s Delight Major / 1344 St Saviour’s Delight Major 8 bells p=&x56x14x56x18x34x58x34x18,+18 b=&x56x14x56x18x34x58x34x18,+16 head="12345678 1 6" line="-------- ---" c1=b,4p,b,p d1=c1,"@ - -" c2=5p,b,p d2=c2,"@ -" f="Repeat twice." t=head,line,d1,d2,2(c1,c2),line,f Prove t