[r-t] Nirerin Triples

[Andrew Johnson]

> From: Philip Earis <Earisp at rsc.org>
> 
> What are the chances of getting an extent of Nirerin triples? 
> 5.7.5.7.5.3.1.3.1.3
> 
I had a quick look at the beginning of February and didn't
see anything obvious, though found some quarter-peals.

7 bells;
pp=+5.7.5.7.5.3.1.3.1.3,"    \"
bp=+5.7.3.7.5.3.1.3.1.3,"-   \"
pb=+5.7.5.7.5.3.1.5.1.3,"  - \"
bb=+5.7.3.7.5.3.1.5.1.3,"- - \"

c1=bp,pp,pp,pp,bp,pb,pp,"@"
c2=pb,bp,pb,pp,pp,pp,bp,"@"
c3=pp,pp,pp,pp,pp,pp,bp,"@"
c4=pb,bp,pb,pp,pb,pp,pb,"@",line
part=c1,c2,c3,c4
line="___________________________________"
qp="1 2 3 4 5 6 7 8 9 0 1 2 3 4 @",line,5part
prove qp

1 2 3 4 5 6 7 8 9 0 1 2 3 4 1234567
___________________________________
-               -     -     1643527
  - -     -             -   5123467
                        -   5423617
  - -     -       -       - 2415367
___________________________________
-               -     -     2651347
  - -     -             -   3241567
                        -   3541627
  - -     -       -       - 4523167
___________________________________
-               -     -     4632157
  - -     -             -   1452367
                        -   1352647
  - -     -       -       - 5341267
___________________________________
-               -     -     5614237
  - -     -             -   2534167
                        -   2134657
  - -     -       -       - 3152467
___________________________________
-               -     -     3625417
  - -     -             -   4315267
                        -   4215637
  - -     -       -       - 1234567
___________________________________
1400 rows ending in 1234567
Touch is true


Andrew Johnson




Unless stated otherwise above:
IBM United Kingdom Limited - Registered in England and Wales with number 
741598. 
Registered office: PO Box 41, North Harbour, Portsmouth, Hampshire PO6 3AU