From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,76e8d825615718a
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!proxad.net!feeder1-2.proxad.net!fdn.fr!feeder.erje.net!eternal-september.org!.POSTED!not-for-mail
From: Charmed Snark <snark@cogeco.ca>
Newsgroups: comp.lang.ada
Subject: Re: Ada.Containers Hash function for a set of small integers
Date: Mon, 26 Apr 2010 18:32:34 +0000 (UTC)
Organization: The Snarky Insanitorium
Message-ID: <Xns9D6693F01EFF5SnarkCharmedImSure@188.40.43.213>
References: 
 <50701baa-7c05-450c-a42d-c699516ddc00@t14g2000prm.googlegroups.com>
 <m28w8dyhjr.fsf@pushface.org>
 <Xns9D66758409103WarrensBlatherings@188.40.43.213>
 <hr4lnl$6m8$1@tornado.tornevall.net>
Injection-Date: Mon, 26 Apr 2010 18:32:34 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="9f8M0iN5t54V+4DF/iqO8g";
	logging-data="19243"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+IXdtd1SCEPRD4b0fVJ3yoxBNER63PWWI="
User-Agent: Xnews/5.04.25
X-Face: 
 &6@]C2>ZS=NM|HE-^zWuryN#Z/2_.s9E|G&~DRi|sav9{E}XQJb*\_>=a5"q]\%A;5}LKP][1mA{gZ,Q!j
Cancel-Lock: sha1:/frp4tH8MEXrdWLWjmSiqDWHKQE=
Xref: g2news2.google.com comp.lang.ada:11188
Date: 2010-04-26T18:32:34+00:00
List-Id: <comp.lang.ada>

Jeffrey R. Carter expounded in news:hr4lnl$6m8$1@tornado.tornevall.net:

> Warren wrote:
>> Simon Wright expounded in news:m28w8dyhjr.fsf@pushface.org:
>>>
>>> I believe the 10019 came from Knuth, but can't see a reference.
>> 
>> I think this is just a selected prime number:
> 
> Except that 10_019 is not a prime number, according to:
> 
> http://www.mathematical.com/primes0to1000k.html
> 
> 9949,9967,9973,10007,10009,10037,10039,10061,10067,10069,10079,10091,10
> 093 

Oh I see - these numbers start at 3000017-- my haste, my bad.

Warren