[r-t] Big searches
Don Morrison
dfm at ringing.org
Sat Jan 5 23:54:56 UTC 2008
Mark Davies wrote:
> So I'm a lot slower than Don's optimised search (562ms compared to 40ms -
> he's 14 times faster... not counting his set-up time),
On the other hand, with a roughly equivalent speed machine you're visiting 56
million nodes per second versus my 1 million.
> "small search" I'm not sure I'm that bothered! On a bigger search -
> one-part? - Don's optimisations would win convincingly.
Probably not unless I start dealing cleverly with rotations, which I seem to
recall you do do. That's a particularly big win with one parts, I think.
I'm also suspicious that much of the benefit I'm getting is based on knowing the
part ends a priori. I need to think about this further, as your statement that
you don't care about what the part ends are until you're done surprises me.
> 28200 nodes/s/Mcycle* (*if I've understood Don's metric correctly)
I believe that should be "nodes/Mcycle", not "nodes/s/Mcycle". It's really a
dimensionless quantity, since we're dividing inverse time units by inverse time
units.
> Worryingly though, I find far fewer compositions than him. I have a total of
> just 14, all with a xxx5678 part end as it happens. Don, are you filtering
> out rotations? My software drops rotations (or rather only finds
> them once),
I don't filter out rotations. My naive assumption has long been that you don't
usually get all that many rotations in multi-parts, but maybe I'm mistaken? The
only thing I filter out is the addition or removal of shunts; if I remember
correctly the canonical representative I end up showing is that with the fewest
shunts, with ties broken by having them as late in the calling as possible.
If I read your reply correctly that you don't filter out the addition or removal
of shunts, then I'm doubly surprised at the discrepancy. For three parts with
bobs that don't shift you to different parts of the course there are generally
lots of shunts possible, so we differ even more massively than just 72:14.
Anyway, here are the 72 solutions I find. Just eyeballing them I don't think
that reduces modulo rotations all the way down to 14, but maybe I'm missing
something.
5088 (14235678): BW3H W BWH B2H WH
5088 (14235678): BW3H W BWH BH 2W
5088 (14235678): BW3H WH M2B2H W
5088 (13425678): BW3H WH M2BH 2W
5088 (14235678): BW3H BH WH B2H WH
5088 (14235678): BW3H BH WH BH 2W
5088 (14235678): BW2H W 2BWH MW MW MWH
5088 (14235678): BW2H W 2BWH MWH W MW
5088 (13425678): BWH WH B 2MH B2H W
5088 (14235678): BWH WH B 2MH BH 2WH
5088 (14235678): BWH WH B MH MWH B2H WH
5088 (14235678): BWH WH B MH MWH BH 2W
5088 (14235678): BWH WH B2H WH B2H WH
5088 (14235678): BWH WH B2H WH BH 2W
5088 (14235678): BWH WH BH 2W B2H WH
5088 (14235678): BWH WH BH 2W BH 2W
5088 (13425678): BWH WH BH M2H B2H W
5088 (14235678): BWH WH BH M2H BH 2WH
5088 (13425678): BWH WH BH MWH W B2H W
5088 (14235678): BWH WH BH MWH W BH 2WH
5088 (13425678): BWH BWH MW 2MH B2H W
5088 (14235678): BWH BWH MW 2MH BH 2WH
5088 (13425678): 2MH WH 2BWH B2H W
5088 (14235678): 2MH WH 2BWH BH 2WH
5088 (14235678): 2MH WH BH M2B2H WH
5088 (14235678): 2MH WH BH M2BH 2W
5088 (14235678): 2MH 2BWH BH M2H WH
5088 (14235678): 2MH 2BWH BH MH 2W
5088 (13425678): 2MH 2BWH M3H MB
5088 (13425678): 2MH 2BWH MW2H MBWH W
5088 (14235678): 2MH B 2MH BH MH MB
5088 (14235678): 2MH B MH MWH BH MH MBH
5088 (14235678): 2MH B2H WH BH MH MBH
5088 (14235678): 2MH BH 2W BH MH MBH
5088 (14235678): 2MH BH 2W MWH MBH MBH
5088 (14235678): 2MH BH M2H BH MH MB
5088 (14235678): 2MH BH MH B3H MB
5088 (14235678): 2MH BH MH BW2H MBWH W
5088 (14235678): 2MH BH MWH W BH MH MB
5088 (13425678): 2MH BH M2BH M2H W
5088 (14235678): 2MH BH M2BH MH 2WH
5088 (14235678): 2MH BH MB M3H MB
5088 (14235678): 2MH BH MB MW2H MBWH W
5088 (14235678): M2H WH 2BWH B2H W
5088 (13425678): M2H WH 2BWH BH 2W
5088 (13425678): M2H WH BH M2B2H W
5088 (14235678): M2H WH BH M2BH 2WH
5088 (13425678): M2H 2BWH BH M2H W
5088 (14235678): M2H 2BWH BH MH 2WH
5088 (14235678): M2H 2BWH M3H MB
5088 (14235678): M2H 2BWH MW2H MBWH W
5088 (14235678): M2H B 2MH BH MH MBH
5088 (13425678): M2H B MH MWH BH MH MB
5088 (13425678): M2H B2H WH BH MH MB
5088 (13425678): M2H BH 2W BH MH MB
5088 (13425678): M2H BH 2W MWH MBH MB
5088 (14235678): M2H BH M2H BH MH MBH
5088 (14235678): M2H BH MH B3H MBH
5088 (14235678): M2H BH MH BW2H MBWH WH
5088 (14235678): M2H BH MWH W BH MH MBH
5088 (14235678): M2H BH M2BH M2H W
5088 (13425678): M2H BH M2BH MH 2W
5088 (14235678): M2H BH MB M3H MBH
5088 (14235678): M2H BH MB MW2H MBWH WH
5088 (14235678): MH MBW2H MW BWH B2H WH
5088 (14235678): MH MBW2H MW BWH BH 2W
5088 (14235678): MH MBW2H MWH M2B2H W
5088 (13425678): MH MBW2H MWH M2BH 2W
5088 (14235678): MH MBW2H MBH WH B2H WH
5088 (14235678): MH MBW2H MBH WH BH 2W
5088 (14235678): MW MH MWH M2B M2H MB
5088 (14235678): MW MW MWH M2B M2H MBH
If I include shunts I get the following 588 solutions:
5088 (14235678): BW3H W BWH B2H WH
[ (13425678): BW3H W BWH BW2H W ]
[ (13425678): BWH M2H W BWH B2H W ]
[ (14235678): BWH M2H W BWH BW2H W ]
[ (13425678): BWH M2H W BWH BW2H WH ]
5088 (14235678): BW3H W BWH BH 2W
[ (13425678): BW3H W BWH BH 2WH ]
[ (14235678): BW3H W BWH BWH 2WH ]
[ (14235678): BWH M2H W BWH BH 2WH ]
[ (13425678): BWH M2H W BWH BWH 2W ]
5088 (14235678): BW3H WH M2B2H W
[ (13425678): BW3H WH M2B2H WH ]
[ (14235678): BW3H WH M2BW2H WH ]
[ (14235678): BWH M2H WH M2B2H WH ]
[ (13425678): BWH M2H WH M2BW2H W ]
5088 (13425678): BW3H WH M2BH 2W
[ (14235678): BW3H WH M2BWH 2W ]
[ (13425678): BW3H WH M2BWH 2WH ]
[ (14235678): BWH M2H WH M2BH 2W ]
[ (13425678): BWH M2H WH M2BH 2WH ]
[ (14235678): BWH M2H WH M2BWH 2WH ]
5088 (14235678): BW3H BH WH B2H WH
[ (13425678): BW3H BH WH BW2H W ]
[ (13425678): BWH M2H BH WH B2H W ]
[ (14235678): BWH M2H BH WH BW2H W ]
[ (13425678): BWH M2H BH WH BW2H WH ]
5088 (14235678): BW3H BH WH BH 2W
[ (13425678): BW3H BH WH BH 2WH ]
[ (14235678): BW3H BH WH BWH 2WH ]
[ (14235678): BWH M2H BH WH BH 2WH ]
[ (13425678): BWH M2H BH WH BWH 2W ]
5088 (14235678): BW2H W 2BWH MW MW MWH
[ (13425678): BW2H W BW BWH MW MW MW ]
[ (13425678): BWH MH W 2BWH MW MW MW ]
[ (14235678): BWH MH W BW BWH MW MW MW ]
[ (13425678): BWH MH W BW BWH MW MW MWH ]
5088 (14235678): BW2H W 2BWH MWH W MW
[ (13425678): BW2H W 2BWH MWH W MWH ]
[ (14235678): BW2H W BW BWH MWH W MWH ]
[ (14235678): BWH MH W 2BWH MWH W MWH ]
[ (13425678): BWH MH W BW BWH MWH W MW ]
5088 (13425678): BWH WH B 2MH B2H W
[ (14235678): BWH WH B 2MH BW2H W ]
[ (13425678): BWH WH B 2MH BW2H WH ]
[ (14235678): BWH WH MB 2MH B2H WH ]
[ (13425678): BWH WH MB 2MH BW2H W ]
[ (14235678): BWH MWH B 2MH B2H W ]
[ (13425678): BWH MWH B 2MH B2H WH ]
[ (14235678): BWH MWH B 2MH BW2H WH ]
[ (13425678): BWH MWH MB 2MH B2H W ]
[ (14235678): BWH MWH MB 2MH BW2H W ]
[ (13425678): BWH MWH MB 2MH BW2H WH ]
5088 (14235678): BWH WH B 2MH BH 2WH
[ (13425678): BWH WH B 2MH BWH 2W ]
[ (14235678): BWH WH MB 2MH BH 2W ]
[ (13425678): BWH WH MB 2MH BH 2WH ]
[ (14235678): BWH WH MB 2MH BWH 2WH ]
[ (13425678): BWH MWH B 2MH BH 2W ]
[ (14235678): BWH MWH B 2MH BWH 2W ]
[ (13425678): BWH MWH B 2MH BWH 2WH ]
[ (14235678): BWH MWH MB 2MH BH 2WH ]
[ (13425678): BWH MWH MB 2MH BWH 2W ]
5088 (14235678): BWH WH B MH MWH B2H WH
[ (13425678): BWH WH B MH MWH BW2H W ]
[ (14235678): BWH WH MB MH MWH B2H W ]
[ (13425678): BWH WH MB MH MWH B2H WH ]
[ (14235678): BWH WH MB MH MWH BW2H WH ]
[ (13425678): BWH MWH B MH MWH B2H W ]
[ (14235678): BWH MWH B MH MWH BW2H W ]
[ (13425678): BWH MWH B MH MWH BW2H WH ]
[ (14235678): BWH MWH MB MH MWH B2H WH ]
[ (13425678): BWH MWH MB MH MWH BW2H W ]
5088 (14235678): BWH WH B MH MWH BH 2W
[ (13425678): BWH WH B MH MWH BH 2WH ]
[ (14235678): BWH WH B MH MWH BWH 2WH ]
[ (13425678): BWH WH MB MH MWH BH 2W ]
[ (14235678): BWH WH MB MH MWH BWH 2W ]
[ (13425678): BWH WH MB MH MWH BWH 2WH ]
[ (14235678): BWH MWH B MH MWH BH 2WH ]
[ (13425678): BWH MWH B MH MWH BWH 2W ]
[ (14235678): BWH MWH MB MH MWH BH 2W ]
[ (13425678): BWH MWH MB MH MWH BH 2WH ]
[ (14235678): BWH MWH MB MH MWH BWH 2WH ]
5088 (14235678): BWH WH B2H WH B2H WH
[ (13425678): BWH WH B2H WH BW2H W ]
[ (14235678): BWH WH MB2H WH B2H W ]
[ (13425678): BWH WH MB2H WH B2H WH ]
[ (14235678): BWH WH MB2H WH BW2H WH ]
[ (13425678): BWH MWH B2H WH B2H W ]
[ (14235678): BWH MWH B2H WH BW2H W ]
[ (13425678): BWH MWH B2H WH BW2H WH ]
[ (14235678): BWH MWH MB2H WH B2H WH ]
[ (13425678): BWH MWH MB2H WH BW2H W ]
5088 (14235678): BWH WH B2H WH BH 2W
[ (13425678): BWH WH B2H WH BH 2WH ]
[ (14235678): BWH WH B2H WH BWH 2WH ]
[ (13425678): BWH WH MB2H WH BH 2W ]
[ (14235678): BWH WH MB2H WH BWH 2W ]
[ (13425678): BWH WH MB2H WH BWH 2WH ]
[ (14235678): BWH MWH B2H WH BH 2WH ]
[ (13425678): BWH MWH B2H WH BWH 2W ]
[ (14235678): BWH MWH MB2H WH BH 2W ]
[ (13425678): BWH MWH MB2H WH BH 2WH ]
[ (14235678): BWH MWH MB2H WH BWH 2WH ]
5088 (14235678): BWH WH BH 2W B2H WH
[ (13425678): BWH WH BH 2W BW2H W ]
[ (14235678): BWH WH MBH 2W B2H W ]
[ (13425678): BWH WH MBH 2W B2H WH ]
[ (14235678): BWH WH MBH 2W BW2H WH ]
[ (13425678): BWH MWH BH 2W B2H W ]
[ (14235678): BWH MWH BH 2W BW2H W ]
[ (13425678): BWH MWH BH 2W BW2H WH ]
[ (14235678): BWH MWH MBH 2W B2H WH ]
[ (13425678): BWH MWH MBH 2W BW2H W ]
5088 (14235678): BWH WH BH 2W BH 2W
[ (13425678): BWH WH BH 2W BH 2WH ]
[ (14235678): BWH WH BH 2W BWH 2WH ]
[ (13425678): BWH WH MBH 2W BH 2W ]
[ (14235678): BWH WH MBH 2W BWH 2W ]
[ (13425678): BWH WH MBH 2W BWH 2WH ]
[ (14235678): BWH MWH BH 2W BH 2WH ]
[ (13425678): BWH MWH BH 2W BWH 2W ]
[ (14235678): BWH MWH MBH 2W BH 2W ]
[ (13425678): BWH MWH MBH 2W BH 2WH ]
[ (14235678): BWH MWH MBH 2W BWH 2WH ]
5088 (13425678): BWH WH BH M2H B2H W
[ (14235678): BWH WH BH M2H BW2H W ]
[ (13425678): BWH WH BH M2H BW2H WH ]
[ (14235678): BWH WH MBH M2H B2H WH ]
[ (13425678): BWH WH MBH M2H BW2H W ]
[ (14235678): BWH MWH BH M2H B2H W ]
[ (13425678): BWH MWH BH M2H B2H WH ]
[ (14235678): BWH MWH BH M2H BW2H WH ]
[ (13425678): BWH MWH MBH M2H B2H W ]
[ (14235678): BWH MWH MBH M2H BW2H W ]
[ (13425678): BWH MWH MBH M2H BW2H WH ]
5088 (14235678): BWH WH BH M2H BH 2WH
[ (13425678): BWH WH BH M2H BWH 2W ]
[ (14235678): BWH WH MBH M2H BH 2W ]
[ (13425678): BWH WH MBH M2H BH 2WH ]
[ (14235678): BWH WH MBH M2H BWH 2WH ]
[ (13425678): BWH MWH BH M2H BH 2W ]
[ (14235678): BWH MWH BH M2H BWH 2W ]
[ (13425678): BWH MWH BH M2H BWH 2WH ]
[ (14235678): BWH MWH MBH M2H BH 2WH ]
[ (13425678): BWH MWH MBH M2H BWH 2W ]
5088 (13425678): BWH WH BH MWH W B2H W
[ (14235678): BWH WH BH MWH W BW2H W ]
[ (13425678): BWH WH BH MWH W BW2H WH ]
[ (14235678): BWH WH MBH MWH W B2H WH ]
[ (13425678): BWH WH MBH MWH W BW2H W ]
[ (14235678): BWH MWH BH MWH W B2H W ]
[ (13425678): BWH MWH BH MWH W B2H WH ]
[ (14235678): BWH MWH BH MWH W BW2H WH ]
[ (13425678): BWH MWH MBH MWH W B2H W ]
[ (14235678): BWH MWH MBH MWH W BW2H W ]
[ (13425678): BWH MWH MBH MWH W BW2H WH ]
5088 (14235678): BWH WH BH MWH W BH 2WH
[ (13425678): BWH WH BH MWH W BWH 2W ]
[ (14235678): BWH WH MBH MWH W BH 2W ]
[ (13425678): BWH WH MBH MWH W BH 2WH ]
[ (14235678): BWH WH MBH MWH W BWH 2WH ]
[ (13425678): BWH MWH BH MWH W BH 2W ]
[ (14235678): BWH MWH BH MWH W BWH 2W ]
[ (13425678): BWH MWH BH MWH W BWH 2WH ]
[ (14235678): BWH MWH MBH MWH W BH 2WH ]
[ (13425678): BWH MWH MBH MWH W BWH 2W ]
5088 (13425678): BWH BWH MW 2MH B2H W
[ (14235678): BWH BWH MW 2MH BW2H W ]
[ (13425678): BWH BWH MW 2MH BW2H WH ]
[ (14235678): BWH MBWH MW 2MH B2H W ]
[ (13425678): BWH MBWH MW 2MH B2H WH ]
[ (14235678): BWH MBWH MW 2MH BW2H WH ]
5088 (14235678): BWH BWH MW 2MH BH 2WH
[ (13425678): BWH BWH MW 2MH BWH 2W ]
[ (13425678): BWH MBWH MW 2MH BH 2W ]
[ (14235678): BWH MBWH MW 2MH BWH 2W ]
[ (13425678): BWH MBWH MW 2MH BWH 2WH ]
5088 (13425678): 2MH WH 2BWH B2H W
[ (14235678): 2MH WH 2BWH BW2H W ]
[ (13425678): 2MH WH 2BWH BW2H WH ]
[ (14235678): 2MH WH M2BWH B2H WH ]
[ (13425678): 2MH WH M2BWH BW2H W ]
[ (14235678): 2MH MWH 2BWH B2H W ]
[ (13425678): 2MH MWH 2BWH B2H WH ]
[ (14235678): 2MH MWH 2BWH BW2H WH ]
[ (13425678): 2MH MWH M2BWH B2H W ]
[ (14235678): 2MH MWH M2BWH BW2H W ]
[ (13425678): 2MH MWH M2BWH BW2H WH ]
5088 (14235678): 2MH WH 2BWH BH 2WH
[ (13425678): 2MH WH 2BWH BWH 2W ]
[ (14235678): 2MH WH M2BWH BH 2W ]
[ (13425678): 2MH WH M2BWH BH 2WH ]
[ (14235678): 2MH WH M2BWH BWH 2WH ]
[ (13425678): 2MH MWH 2BWH BH 2W ]
[ (14235678): 2MH MWH 2BWH BWH 2W ]
[ (13425678): 2MH MWH 2BWH BWH 2WH ]
[ (14235678): 2MH MWH M2BWH BH 2WH ]
[ (13425678): 2MH MWH M2BWH BWH 2W ]
5088 (14235678): 2MH WH BH M2B2H WH
[ (13425678): 2MH WH BH M2BW2H W ]
[ (14235678): 2MH WH MBH M2B2H W ]
[ (13425678): 2MH WH MBH M2B2H WH ]
[ (14235678): 2MH WH MBH M2BW2H WH ]
[ (13425678): 2MH MWH BH M2B2H W ]
[ (14235678): 2MH MWH BH M2BW2H W ]
[ (13425678): 2MH MWH BH M2BW2H WH ]
[ (14235678): 2MH MWH MBH M2B2H WH ]
[ (13425678): 2MH MWH MBH M2BW2H W ]
5088 (14235678): 2MH WH BH M2BH 2W
[ (13425678): 2MH WH BH M2BH 2WH ]
[ (14235678): 2MH WH BH M2BWH 2WH ]
[ (13425678): 2MH WH MBH M2BH 2W ]
[ (14235678): 2MH WH MBH M2BWH 2W ]
[ (13425678): 2MH WH MBH M2BWH 2WH ]
[ (14235678): 2MH MWH BH M2BH 2WH ]
[ (13425678): 2MH MWH BH M2BWH 2W ]
[ (14235678): 2MH MWH MBH M2BH 2W ]
[ (13425678): 2MH MWH MBH M2BH 2WH ]
[ (14235678): 2MH MWH MBH M2BWH 2WH ]
5088 (14235678): 2MH 2BWH BH M2H WH
[ (13425678): 2MH 2BWH BH MW2H W ]
[ (14235678): 2MH 2BWH BWH M2H W ]
[ (13425678): 2MH 2BWH BWH M2H WH ]
[ (14235678): 2MH 2BWH BWH MW2H WH ]
[ (13425678): 2MH M2BWH BH M2H W ]
[ (14235678): 2MH M2BWH BH MW2H W ]
[ (13425678): 2MH M2BWH BH MW2H WH ]
[ (14235678): 2MH M2BWH BWH M2H WH ]
[ (13425678): 2MH M2BWH BWH MW2H W ]
5088 (14235678): 2MH 2BWH BH MH 2W
[ (13425678): 2MH 2BWH BH MH 2WH ]
[ (14235678): 2MH 2BWH BH MWH 2WH ]
[ (13425678): 2MH 2BWH BWH MH 2W ]
[ (14235678): 2MH 2BWH BWH MWH 2W ]
[ (13425678): 2MH 2BWH BWH MWH 2WH ]
[ (14235678): 2MH M2BWH BH MH 2WH ]
[ (13425678): 2MH M2BWH BH MWH 2W ]
[ (14235678): 2MH M2BWH BWH MH 2W ]
[ (13425678): 2MH M2BWH BWH MH 2WH ]
[ (14235678): 2MH M2BWH BWH MWH 2WH ]
5088 (13425678): 2MH 2BWH M3H MB
[ (14235678): 2MH 2BWH M2H WH MB ]
[ (13425678): 2MH 2BWH M2H WH MBH ]
[ (14235678): 2MH M2BWH M3H MB ]
[ (13425678): 2MH M2BWH M3H MBH ]
[ (14235678): 2MH M2BWH M2H WH MBH ]
5088 (13425678): 2MH 2BWH MW2H MBWH W
[ (14235678): 2MH 2BWH MWH WH MBWH W ]
[ (13425678): 2MH 2BWH MWH WH MBWH WH ]
[ (14235678): 2MH M2BWH MW2H MBWH W ]
[ (13425678): 2MH M2BWH MW2H MBWH WH ]
[ (14235678): 2MH M2BWH MWH WH MBWH WH ]
5088 (14235678): 2MH B 2MH BH MH MB
[ (13425678): 2MH B 2MH BH MH MBH ]
[ (14235678): 2MH B 2MH BH MWH MBH ]
[ (13425678): 2MH B 2MH BWH MH MB ]
[ (14235678): 2MH B 2MH BWH MWH MB ]
[ (13425678): 2MH B 2MH BWH MWH MBH ]
[ (14235678): 2MH MB 2MH BH MH MBH ]
[ (13425678): 2MH MB 2MH BH MWH MB ]
[ (14235678): 2MH MB 2MH BWH MH MB ]
[ (13425678): 2MH MB 2MH BWH MH MBH ]
[ (14235678): 2MH MB 2MH BWH MWH MBH ]
5088 (14235678): 2MH B MH MWH BH MH MBH
[ (13425678): 2MH B MH MWH BH MWH MB ]
[ (14235678): 2MH B MH MWH BWH MH MB ]
[ (13425678): 2MH B MH MWH BWH MH MBH ]
[ (14235678): 2MH B MH MWH BWH MWH MBH ]
[ (13425678): 2MH MB MH MWH BH MH MB ]
[ (14235678): 2MH MB MH MWH BH MWH MB ]
[ (13425678): 2MH MB MH MWH BH MWH MBH ]
[ (14235678): 2MH MB MH MWH BWH MH MBH ]
[ (13425678): 2MH MB MH MWH BWH MWH MB ]
5088 (14235678): 2MH B2H WH BH MH MBH
[ (13425678): 2MH B2H WH BH MWH MB ]
[ (14235678): 2MH B2H WH BWH MH MB ]
[ (13425678): 2MH B2H WH BWH MH MBH ]
[ (14235678): 2MH B2H WH BWH MWH MBH ]
[ (13425678): 2MH MB2H WH BH MH MB ]
[ (14235678): 2MH MB2H WH BH MWH MB ]
[ (13425678): 2MH MB2H WH BH MWH MBH ]
[ (14235678): 2MH MB2H WH BWH MH MBH ]
[ (13425678): 2MH MB2H WH BWH MWH MB ]
5088 (14235678): 2MH BH 2W BH MH MBH
[ (13425678): 2MH BH 2W BH MWH MB ]
[ (14235678): 2MH BH 2W BWH MH MB ]
[ (13425678): 2MH BH 2W BWH MH MBH ]
[ (14235678): 2MH BH 2W BWH MWH MBH ]
[ (13425678): 2MH MBH 2W BH MH MB ]
[ (14235678): 2MH MBH 2W BH MWH MB ]
[ (13425678): 2MH MBH 2W BH MWH MBH ]
[ (14235678): 2MH MBH 2W BWH MH MBH ]
[ (13425678): 2MH MBH 2W BWH MWH MB ]
5088 (14235678): 2MH BH 2W MWH MBH MBH
[ (13425678): 2MH BH 2W MWH MBWH MB ]
[ (13425678): 2MH MBH 2W MWH MBH MB ]
[ (14235678): 2MH MBH 2W MWH MBWH MB ]
[ (13425678): 2MH MBH 2W MWH MBWH MBH ]
5088 (14235678): 2MH BH M2H BH MH MB
[ (13425678): 2MH BH M2H BH MH MBH ]
[ (14235678): 2MH BH M2H BH MWH MBH ]
[ (13425678): 2MH BH M2H BWH MH MB ]
[ (14235678): 2MH BH M2H BWH MWH MB ]
[ (13425678): 2MH BH M2H BWH MWH MBH ]
[ (14235678): 2MH MBH M2H BH MH MBH ]
[ (13425678): 2MH MBH M2H BH MWH MB ]
[ (14235678): 2MH MBH M2H BWH MH MB ]
[ (13425678): 2MH MBH M2H BWH MH MBH ]
[ (14235678): 2MH MBH M2H BWH MWH MBH ]
5088 (14235678): 2MH BH MH B3H MB
[ (13425678): 2MH BH MH B3H MBH ]
[ (14235678): 2MH BH MH B2H WH MBH ]
[ (14235678): 2MH MBH MH B3H MBH ]
[ (13425678): 2MH MBH MH B2H WH MB ]
5088 (14235678): 2MH BH MH BW2H MBWH W
[ (13425678): 2MH BH MH BW2H MBWH WH ]
[ (14235678): 2MH BH MH BWH WH MBWH WH ]
[ (14235678): 2MH MBH MH BW2H MBWH WH ]
[ (13425678): 2MH MBH MH BWH WH MBWH W ]
5088 (14235678): 2MH BH MWH W BH MH MB
[ (13425678): 2MH BH MWH W BH MH MBH ]
[ (14235678): 2MH BH MWH W BH MWH MBH ]
[ (13425678): 2MH BH MWH W BWH MH MB ]
[ (14235678): 2MH BH MWH W BWH MWH MB ]
[ (13425678): 2MH BH MWH W BWH MWH MBH ]
[ (14235678): 2MH MBH MWH W BH MH MBH ]
[ (13425678): 2MH MBH MWH W BH MWH MB ]
[ (14235678): 2MH MBH MWH W BWH MH MB ]
[ (13425678): 2MH MBH MWH W BWH MH MBH ]
[ (14235678): 2MH MBH MWH W BWH MWH MBH ]
5088 (13425678): 2MH BH M2BH M2H W
[ (14235678): 2MH BH M2BH MW2H W ]
[ (13425678): 2MH BH M2BH MW2H WH ]
[ (14235678): 2MH BH M2BWH M2H WH ]
[ (13425678): 2MH BH M2BWH MW2H W ]
[ (14235678): 2MH MBH M2BH M2H W ]
[ (13425678): 2MH MBH M2BH M2H WH ]
[ (14235678): 2MH MBH M2BH MW2H WH ]
[ (13425678): 2MH MBH M2BWH M2H W ]
[ (14235678): 2MH MBH M2BWH MW2H W ]
[ (13425678): 2MH MBH M2BWH MW2H WH ]
5088 (14235678): 2MH BH M2BH MH 2WH
[ (13425678): 2MH BH M2BH MWH 2W ]
[ (14235678): 2MH BH M2BWH MH 2W ]
[ (13425678): 2MH BH M2BWH MH 2WH ]
[ (14235678): 2MH BH M2BWH MWH 2WH ]
[ (13425678): 2MH MBH M2BH MH 2W ]
[ (14235678): 2MH MBH M2BH MWH 2W ]
[ (13425678): 2MH MBH M2BH MWH 2WH ]
[ (14235678): 2MH MBH M2BWH MH 2WH ]
[ (13425678): 2MH MBH M2BWH MWH 2W ]
5088 (14235678): 2MH BH MB M3H MB
[ (13425678): 2MH BH MB M3H MBH ]
[ (14235678): 2MH BH MB M2H WH MBH ]
[ (14235678): 2MH MBH MB M3H MBH ]
[ (13425678): 2MH MBH MB M2H WH MB ]
5088 (14235678): 2MH BH MB MW2H MBWH W
[ (13425678): 2MH BH MB MW2H MBWH WH ]
[ (14235678): 2MH BH MB MWH WH MBWH WH ]
[ (14235678): 2MH MBH MB MW2H MBWH WH ]
[ (13425678): 2MH MBH MB MWH WH MBWH W ]
5088 (14235678): M2H WH 2BWH B2H W
[ (13425678): M2H WH 2BWH B2H WH ]
[ (14235678): M2H WH 2BWH BW2H WH ]
[ (13425678): M2H WH M2BWH B2H W ]
[ (14235678): M2H WH M2BWH BW2H W ]
[ (13425678): M2H WH M2BWH BW2H WH ]
[ (14235678): M2H MWH 2BWH B2H WH ]
[ (13425678): M2H MWH 2BWH BW2H W ]
[ (14235678): M2H MWH M2BWH B2H W ]
[ (13425678): M2H MWH M2BWH B2H WH ]
[ (14235678): M2H MWH M2BWH BW2H WH ]
5088 (13425678): M2H WH 2BWH BH 2W
[ (14235678): M2H WH 2BWH BWH 2W ]
[ (13425678): M2H WH 2BWH BWH 2WH ]
[ (14235678): M2H WH M2BWH BH 2WH ]
[ (13425678): M2H WH M2BWH BWH 2W ]
[ (14235678): M2H MWH 2BWH BH 2W ]
[ (13425678): M2H MWH 2BWH BH 2WH ]
[ (14235678): M2H MWH 2BWH BWH 2WH ]
[ (13425678): M2H MWH M2BWH BH 2W ]
[ (14235678): M2H MWH M2BWH BWH 2W ]
[ (13425678): M2H MWH M2BWH BWH 2WH ]
5088 (13425678): M2H WH BH M2B2H W
[ (14235678): M2H WH BH M2BW2H W ]
[ (13425678): M2H WH BH M2BW2H WH ]
[ (14235678): M2H WH MBH M2B2H WH ]
[ (13425678): M2H WH MBH M2BW2H W ]
[ (14235678): M2H MWH BH M2B2H W ]
[ (13425678): M2H MWH BH M2B2H WH ]
[ (14235678): M2H MWH BH M2BW2H WH ]
[ (13425678): M2H MWH MBH M2B2H W ]
[ (14235678): M2H MWH MBH M2BW2H W ]
[ (13425678): M2H MWH MBH M2BW2H WH ]
5088 (14235678): M2H WH BH M2BH 2WH
[ (13425678): M2H WH BH M2BWH 2W ]
[ (14235678): M2H WH MBH M2BH 2W ]
[ (13425678): M2H WH MBH M2BH 2WH ]
[ (14235678): M2H WH MBH M2BWH 2WH ]
[ (13425678): M2H MWH BH M2BH 2W ]
[ (14235678): M2H MWH BH M2BWH 2W ]
[ (13425678): M2H MWH BH M2BWH 2WH ]
[ (14235678): M2H MWH MBH M2BH 2WH ]
[ (13425678): M2H MWH MBH M2BWH 2W ]
5088 (13425678): M2H 2BWH BH M2H W
[ (14235678): M2H 2BWH BH MW2H W ]
[ (13425678): M2H 2BWH BH MW2H WH ]
[ (14235678): M2H 2BWH BWH M2H WH ]
[ (13425678): M2H 2BWH BWH MW2H W ]
[ (14235678): M2H M2BWH BH M2H W ]
[ (13425678): M2H M2BWH BH M2H WH ]
[ (14235678): M2H M2BWH BH MW2H WH ]
[ (13425678): M2H M2BWH BWH M2H W ]
[ (14235678): M2H M2BWH BWH MW2H W ]
[ (13425678): M2H M2BWH BWH MW2H WH ]
5088 (14235678): M2H 2BWH BH MH 2WH
[ (13425678): M2H 2BWH BH MWH 2W ]
[ (14235678): M2H 2BWH BWH MH 2W ]
[ (13425678): M2H 2BWH BWH MH 2WH ]
[ (14235678): M2H 2BWH BWH MWH 2WH ]
[ (13425678): M2H M2BWH BH MH 2W ]
[ (14235678): M2H M2BWH BH MWH 2W ]
[ (13425678): M2H M2BWH BH MWH 2WH ]
[ (14235678): M2H M2BWH BWH MH 2WH ]
[ (13425678): M2H M2BWH BWH MWH 2W ]
5088 (14235678): M2H 2BWH M3H MB
[ (13425678): M2H 2BWH M3H MBH ]
[ (14235678): M2H 2BWH M2H WH MBH ]
[ (14235678): M2H M2BWH M3H MBH ]
[ (13425678): M2H M2BWH M2H WH MB ]
5088 (14235678): M2H 2BWH MW2H MBWH W
[ (13425678): M2H 2BWH MW2H MBWH WH ]
[ (14235678): M2H 2BWH MWH WH MBWH WH ]
[ (14235678): M2H M2BWH MW2H MBWH WH ]
[ (13425678): M2H M2BWH MWH WH MBWH W ]
5088 (14235678): M2H B 2MH BH MH MBH
[ (13425678): M2H B 2MH BH MWH MB ]
[ (14235678): M2H B 2MH BWH MH MB ]
[ (13425678): M2H B 2MH BWH MH MBH ]
[ (14235678): M2H B 2MH BWH MWH MBH ]
[ (13425678): M2H MB 2MH BH MH MB ]
[ (14235678): M2H MB 2MH BH MWH MB ]
[ (13425678): M2H MB 2MH BH MWH MBH ]
[ (14235678): M2H MB 2MH BWH MH MBH ]
[ (13425678): M2H MB 2MH BWH MWH MB ]
5088 (13425678): M2H B MH MWH BH MH MB
[ (14235678): M2H B MH MWH BH MWH MB ]
[ (13425678): M2H B MH MWH BH MWH MBH ]
[ (14235678): M2H B MH MWH BWH MH MBH ]
[ (13425678): M2H B MH MWH BWH MWH MB ]
[ (14235678): M2H MB MH MWH BH MH MB ]
[ (13425678): M2H MB MH MWH BH MH MBH ]
[ (14235678): M2H MB MH MWH BH MWH MBH ]
[ (13425678): M2H MB MH MWH BWH MH MB ]
[ (14235678): M2H MB MH MWH BWH MWH MB ]
[ (13425678): M2H MB MH MWH BWH MWH MBH ]
5088 (13425678): M2H B2H WH BH MH MB
[ (14235678): M2H B2H WH BH MWH MB ]
[ (13425678): M2H B2H WH BH MWH MBH ]
[ (14235678): M2H B2H WH BWH MH MBH ]
[ (13425678): M2H B2H WH BWH MWH MB ]
[ (14235678): M2H MB2H WH BH MH MB ]
[ (13425678): M2H MB2H WH BH MH MBH ]
[ (14235678): M2H MB2H WH BH MWH MBH ]
[ (13425678): M2H MB2H WH BWH MH MB ]
[ (14235678): M2H MB2H WH BWH MWH MB ]
[ (13425678): M2H MB2H WH BWH MWH MBH ]
5088 (13425678): M2H BH 2W BH MH MB
[ (14235678): M2H BH 2W BH MWH MB ]
[ (13425678): M2H BH 2W BH MWH MBH ]
[ (14235678): M2H BH 2W BWH MH MBH ]
[ (13425678): M2H BH 2W BWH MWH MB ]
[ (14235678): M2H MBH 2W BH MH MB ]
[ (13425678): M2H MBH 2W BH MH MBH ]
[ (14235678): M2H MBH 2W BH MWH MBH ]
[ (13425678): M2H MBH 2W BWH MH MB ]
[ (14235678): M2H MBH 2W BWH MWH MB ]
[ (13425678): M2H MBH 2W BWH MWH MBH ]
5088 (13425678): M2H BH 2W MWH MBH MB
[ (14235678): M2H BH 2W MWH MBWH MB ]
[ (13425678): M2H BH 2W MWH MBWH MBH ]
[ (14235678): M2H MBH 2W MWH MBH MB ]
[ (13425678): M2H MBH 2W MWH MBH MBH ]
[ (14235678): M2H MBH 2W MWH MBWH MBH ]
5088 (14235678): M2H BH M2H BH MH MBH
[ (13425678): M2H BH M2H BH MWH MB ]
[ (14235678): M2H BH M2H BWH MH MB ]
[ (13425678): M2H BH M2H BWH MH MBH ]
[ (14235678): M2H BH M2H BWH MWH MBH ]
[ (13425678): M2H MBH M2H BH MH MB ]
[ (14235678): M2H MBH M2H BH MWH MB ]
[ (13425678): M2H MBH M2H BH MWH MBH ]
[ (14235678): M2H MBH M2H BWH MH MBH ]
[ (13425678): M2H MBH M2H BWH MWH MB ]
5088 (14235678): M2H BH MH B3H MBH
[ (13425678): M2H BH MH B2H WH MB ]
[ (13425678): M2H MBH MH B3H MB ]
[ (14235678): M2H MBH MH B2H WH MB ]
[ (13425678): M2H MBH MH B2H WH MBH ]
5088 (14235678): M2H BH MH BW2H MBWH WH
[ (13425678): M2H BH MH BWH WH MBWH W ]
[ (13425678): M2H MBH MH BW2H MBWH W ]
[ (14235678): M2H MBH MH BWH WH MBWH W ]
[ (13425678): M2H MBH MH BWH WH MBWH WH ]
5088 (14235678): M2H BH MWH W BH MH MBH
[ (13425678): M2H BH MWH W BH MWH MB ]
[ (14235678): M2H BH MWH W BWH MH MB ]
[ (13425678): M2H BH MWH W BWH MH MBH ]
[ (14235678): M2H BH MWH W BWH MWH MBH ]
[ (13425678): M2H MBH MWH W BH MH MB ]
[ (14235678): M2H MBH MWH W BH MWH MB ]
[ (13425678): M2H MBH MWH W BH MWH MBH ]
[ (14235678): M2H MBH MWH W BWH MH MBH ]
[ (13425678): M2H MBH MWH W BWH MWH MB ]
5088 (14235678): M2H BH M2BH M2H W
[ (13425678): M2H BH M2BH M2H WH ]
[ (14235678): M2H BH M2BH MW2H WH ]
[ (13425678): M2H BH M2BWH M2H W ]
[ (14235678): M2H BH M2BWH MW2H W ]
[ (13425678): M2H BH M2BWH MW2H WH ]
[ (14235678): M2H MBH M2BH M2H WH ]
[ (13425678): M2H MBH M2BH MW2H W ]
[ (14235678): M2H MBH M2BWH M2H W ]
[ (13425678): M2H MBH M2BWH M2H WH ]
[ (14235678): M2H MBH M2BWH MW2H WH ]
5088 (13425678): M2H BH M2BH MH 2W
[ (14235678): M2H BH M2BH MWH 2W ]
[ (13425678): M2H BH M2BH MWH 2WH ]
[ (14235678): M2H BH M2BWH MH 2WH ]
[ (13425678): M2H BH M2BWH MWH 2W ]
[ (14235678): M2H MBH M2BH MH 2W ]
[ (13425678): M2H MBH M2BH MH 2WH ]
[ (14235678): M2H MBH M2BH MWH 2WH ]
[ (13425678): M2H MBH M2BWH MH 2W ]
[ (14235678): M2H MBH M2BWH MWH 2W ]
[ (13425678): M2H MBH M2BWH MWH 2WH ]
5088 (14235678): M2H BH MB M3H MBH
[ (13425678): M2H BH MB M2H WH MB ]
[ (13425678): M2H MBH MB M3H MB ]
[ (14235678): M2H MBH MB M2H WH MB ]
[ (13425678): M2H MBH MB M2H WH MBH ]
5088 (14235678): M2H BH MB MW2H MBWH WH
[ (13425678): M2H BH MB MWH WH MBWH W ]
[ (13425678): M2H MBH MB MW2H MBWH W ]
[ (14235678): M2H MBH MB MWH WH MBWH W ]
[ (13425678): M2H MBH MB MWH WH MBWH WH ]
5088 (14235678): MH MBW2H MW BWH B2H WH
[ (13425678): MH MBW2H MW BWH BW2H W ]
[ (13425678): MH MBWH MH MW BWH B2H W ]
[ (14235678): MH MBWH MH MW BWH BW2H W ]
[ (13425678): MH MBWH MH MW BWH BW2H WH ]
5088 (14235678): MH MBW2H MW BWH BH 2W
[ (13425678): MH MBW2H MW BWH BH 2WH ]
[ (14235678): MH MBW2H MW BWH BWH 2WH ]
[ (14235678): MH MBWH MH MW BWH BH 2WH ]
[ (13425678): MH MBWH MH MW BWH BWH 2W ]
5088 (14235678): MH MBW2H MWH M2B2H W
[ (13425678): MH MBW2H MWH M2B2H WH ]
[ (14235678): MH MBW2H MWH M2BW2H WH ]
[ (14235678): MH MBWH MH MWH M2B2H WH ]
[ (13425678): MH MBWH MH MWH M2BW2H W ]
5088 (13425678): MH MBW2H MWH M2BH 2W
[ (14235678): MH MBW2H MWH M2BWH 2W ]
[ (13425678): MH MBW2H MWH M2BWH 2WH ]
[ (14235678): MH MBWH MH MWH M2BH 2W ]
[ (13425678): MH MBWH MH MWH M2BH 2WH ]
[ (14235678): MH MBWH MH MWH M2BWH 2WH ]
5088 (14235678): MH MBW2H MBH WH B2H WH
[ (13425678): MH MBW2H MBH WH BW2H W ]
[ (13425678): MH MBWH MH MBH WH B2H W ]
[ (14235678): MH MBWH MH MBH WH BW2H W ]
[ (13425678): MH MBWH MH MBH WH BW2H WH ]
5088 (14235678): MH MBW2H MBH WH BH 2W
[ (13425678): MH MBW2H MBH WH BH 2WH ]
[ (14235678): MH MBW2H MBH WH BWH 2WH ]
[ (14235678): MH MBWH MH MBH WH BH 2WH ]
[ (13425678): MH MBWH MH MBH WH BWH 2W ]
5088 (14235678): MW MH MWH M2B M2H MB
[ (13425678): MW MH MWH M2B M2H MBH ]
[ (14235678): MW MH MWH M2B MH WH MBH ]
[ (14235678): MW MH MWH MB MB M2H MBH ]
[ (13425678): MW MH MWH MB MB MH WH MB ]
5088 (14235678): MW MW MWH M2B M2H MBH
[ (13425678): MW MW MWH M2B MH WH MB ]
[ (13425678): MW MW MWH MB MB M2H MB ]
[ (14235678): MW MW MWH MB MB MH WH MB ]
[ (13425678): MW MW MWH MB MB MH WH MBH ]
--
Don Morrison <dfm at ringing.org>
"Many philosophers have gone to great lengths to try to refute such
scepticism in its various forms. I cannot see why, for it is harmless
enough: like many other philosophical theories it is devoid of practical
consequences." -- Aaron Sloman, _The Computer Revolution in Philosophy_
More information about the ringing-theory
mailing list