user=vaughan
[2009-07-19 00:03:42]
503*2^703836-1 is not prime.  Res64: C44299B07FD2D1E7  Time : 4536.0 sec.
user=vaughan
[2009-07-19 00:06:21]
537*2^703836-1 is not prime.  Res64: CC9EC652A8CC4D0C  Time : 4606.0 sec.
user=kar_bon
[2009-07-19 00:09:42]
539*2^703840-1 is not prime.  Res64: 6E480E2041886677  Time : 1349.0 sec.
user=vaughan
[2009-07-19 00:11:13]
545*2^703836-1 is not prime.  Res64: E9550AEAF32B9D4F  Time : 4536.0 sec.
user=vaughan
[2009-07-19 00:14:04]
597*2^703836-1 is not prime.  Res64: 1BBF1B082169C416  Time : 4609.0 sec.
user=vaughan
[2009-07-19 00:18:44]
439*2^703837-1 is not prime.  Res64: 7AEB1508B5EFA582  Time : 4533.0 sec.
user=vaughan
[2009-07-19 00:21:44]
441*2^703837-1 is not prime.  Res64: A4E83DF35A06C64C  Time : 4611.0 sec.
user=kar_bon
[2009-07-19 00:22:09]
475*2^703841-1 is not prime.  Res64: 521E9375E2F77EAF  Time : 1422.0 sec.
user=vaughan
[2009-07-19 00:26:18]
589*2^703837-1 is not prime.  Res64: D41D22BCA8E5098D  Time : 4532.0 sec.
user=vaughan
[2009-07-19 00:29:24]
405*2^703838-1 is not prime.  Res64: B1C983A5AD394024  Time : 4611.0 sec.
user=vaughan
[2009-07-19 00:33:52]
563*2^703838-1 is not prime.  Res64: 1281C59D65C7C092  Time : 4532.0 sec.
user=kar_bon
[2009-07-19 00:34:20]
523*2^703843-1 is not prime.  Res64: 18AFE032BFBB5C79  Time : 1479.0 sec.
user=vaughan
[2009-07-19 00:37:02]
433*2^703839-1 is not prime.  Res64: C9ACF7F4D3A6F58C  Time : 4610.0 sec.
user=vaughan
[2009-07-19 00:41:26]
483*2^703839-1 is not prime.  Res64: CD32F605EA04E8B3  Time : 4531.0 sec.
user=vaughan
[2009-07-19 00:44:41]
489*2^703839-1 is not prime.  Res64: 32D90B78B8E77FB8  Time : 4609.0 sec.
user=kar_bon
[2009-07-19 00:47:01]
495*2^703846-1 is not prime.  Res64: 56742D279A816F49  Time : 1492.0 sec.
user=vaughan
[2009-07-19 00:49:00]
531*2^703839-1 is not prime.  Res64: 9951012097CCFCAB  Time : 4530.0 sec.
user=vaughan
[2009-07-19 00:52:20]
553*2^703839-1 is not prime.  Res64: B9520DDFDA3B152B  Time : 4609.0 sec.
user=vaughan
[2009-07-19 00:56:35]
437*2^703840-1 is not prime.  Res64: D212840B143CF08A  Time : 4531.0 sec.
user=vaughan
[2009-07-19 01:00:00]
467*2^703840-1 is not prime.  Res64: 9366037517D943BF  Time : 4608.0 sec.
user=vaughan
[2009-07-19 01:04:10]
569*2^703840-1 is not prime.  Res64: E8932713FE6B757C  Time : 4533.0 sec.
user=vaughan
[2009-07-19 01:07:40]
597*2^703840-1 is not prime.  Res64: C06D41722C63325C  Time : 4603.0 sec.
user=vaughan
[2009-07-19 01:11:47]
405*2^703841-1 is not prime.  Res64: 54840B36C080BD2E  Time : 4538.0 sec.
user=vaughan
[2009-07-19 01:15:18]
497*2^703842-1 is not prime.  Res64: 9DC60F23BF7F84A7  Time : 4598.0 sec.
user=vaughan
[2009-07-19 01:19:20]
525*2^703842-1 is not prime.  Res64: F4F0F222B681BA6D  Time : 4538.0 sec.
user=vaughan
[2009-07-19 01:22:56]
441*2^703843-1 is not prime.  Res64: DED9DD991F14B616  Time : 4595.0 sec.
user=kar_bon
[2009-07-19 01:25:59]
587*2^703846-1 is not prime.  Res64: 65DAA3E8F805596F  Time : 3099.0 sec.
user=vaughan
[2009-07-19 01:26:54]
563*2^703844-1 is not prime.  Res64: 506CE815B3621941  Time : 4541.0 sec.
user=vaughan
[2009-07-19 01:30:36]
427*2^703845-1 is not prime.  Res64: DE670419A9C36F9D  Time : 4593.0 sec.
user=vaughan
[2009-07-19 01:34:30]
481*2^703845-1 is not prime.  Res64: B2F17B6948E9278F  Time : 4546.0 sec.
user=kar_bon
[2009-07-19 01:37:21]
571*2^703847-1 is not prime.  Res64: DD3F96A9AD2F812A  Time : 3021.0 sec.
user=vaughan
[2009-07-19 01:38:15]
537*2^703845-1 is not prime.  Res64: A510807722016351  Time : 4591.0 sec.
user=vaughan
[2009-07-19 01:42:03]
561*2^703846-1 is not prime.  Res64: 6D82E15E112C4588  Time : 4545.0 sec.
user=vaughan
[2009-07-19 01:45:57]
567*2^703846-1 is not prime.  Res64: C9220F3C1AC989C8  Time : 4593.0 sec.
user=kar_bon
[2009-07-19 01:48:47]
559*2^703849-1 is not prime.  Res64: A68154D35857BEB3  Time : 1368.0 sec.
user=vaughan
[2009-07-19 01:49:35]
573*2^703846-1 is not prime.  Res64: 3ECCC689B9C43282  Time : 4543.0 sec.
user=vaughan
[2009-07-19 01:53:40]
421*2^703847-1 is not prime.  Res64: BCCEF98ADCF7440B  Time : 4598.0 sec.
user=vaughan
[2009-07-19 01:57:07]
469*2^703847-1 is not prime.  Res64: B0DB746988C83F94  Time : 4541.0 sec.
user=kar_bon
[2009-07-19 02:00:00]
561*2^703850-1 is not prime.  Res64: D0C0C81406B5274C  Time : 1360.0 sec.
user=vaughan
[2009-07-19 02:01:23]
553*2^703847-1 is not prime.  Res64: 04178D47187FABAE  Time : 4602.0 sec.
user=vaughan
[2009-07-19 02:04:40]
459*2^703848-1 is not prime.  Res64: 2B3434F8AE570EE7  Time : 4540.0 sec.
user=vaughan
[2009-07-19 02:09:06]
465*2^703848-1 is not prime.  Res64: 2F97CC37DEA0D415  Time : 4606.0 sec.
user=kar_bon
[2009-07-19 02:11:32]
595*2^703851-1 is not prime.  Res64: 24CC5D0106A6738C  Time : 1365.0 sec.
user=vaughan
[2009-07-19 02:12:12]
473*2^703848-1 is not prime.  Res64: D167AAA38AEE3A73  Time : 4537.0 sec.
user=vaughan
[2009-07-19 02:16:49]
549*2^703848-1 is not prime.  Res64: CC97747AEB9B2E01  Time : 4609.0 sec.
user=vaughan
[2009-07-19 02:19:45]
555*2^703848-1 is not prime.  Res64: 78B3036E96A5EE5E  Time : 4536.0 sec.
user=kar_bon
[2009-07-19 02:23:01]
533*2^703852-1 is not prime.  Res64: 0D75203851DAC947  Time : 1381.0 sec.
user=vaughan
[2009-07-19 02:24:31]
567*2^703848-1 is not prime.  Res64: F786251CCECA0676  Time : 4611.0 sec.
user=vaughan
[2009-07-19 02:27:16]
435*2^703849-1 is not prime.  Res64: 850AB6487F4B836B  Time : 4530.0 sec.
user=vaughan
[2009-07-19 02:32:13]
495*2^703849-1 is not prime.  Res64: E908F84F7C655D74  Time : 4615.0 sec.
user=kar_bon
[2009-07-19 02:34:26]
445*2^703853-1 is not prime.  Res64: AF573712A44CEF7B  Time : 1374.0 sec.
user=vaughan
[2009-07-19 02:34:48]
511*2^703849-1 is not prime.  Res64: 8AB60DD52CDBAF43  Time : 4528.0 sec.
user=vaughan
[2009-07-19 02:39:54]
535*2^703849-1 is not prime.  Res64: A977CC007D2C1334  Time : 4618.0 sec.
user=vaughan
[2009-07-19 02:42:25]
425*2^703850-1 is not prime.  Res64: 8B3DA91ED97C7E4A  Time : 4531.0 sec.
user=kar_bon
[2009-07-19 02:45:52]
589*2^703853-1 is not prime.  Res64: 6855429D9A0168F4  Time : 1372.0 sec.
user=vaughan
[2009-07-19 02:48:08]
501*2^703850-1 is not prime.  Res64: 9808722B9257DD45  Time : 4652.0 sec.
user=vaughan
[2009-07-19 02:50:26]
531*2^703850-1 is not prime.  Res64: BB8985FB9BB83DE0  Time : 4557.0 sec.
user=vaughan
[2009-07-19 02:55:47]
575*2^703850-1 is not prime.  Res64: 0A7C95EED17ED4D1  Time : 4653.0 sec.
user=kar_bon
[2009-07-19 02:57:16]
511*2^703855-1 is not prime.  Res64: 9BAE85C68F69F936  Time : 1370.0 sec.
user=vaughan
[2009-07-19 02:58:00]
465*2^703851-1 is not prime.  Res64: D38B393C48476ED4  Time : 4557.0 sec.
user=vaughan
[2009-07-19 03:03:26]
531*2^703851-1 is not prime.  Res64: 14842592B7C767FC  Time : 4649.0 sec.
user=vaughan
[2009-07-19 03:05:35]
405*2^703852-1 is not prime.  Res64: 99E64F35577E0EE7  Time : 4560.0 sec.
user=kar_bon
[2009-07-19 03:08:33]
441*2^703857-1 is not prime.  Res64: C980A1AAC454C769  Time : 1361.0 sec.
user=vaughan
[2009-07-19 03:11:06]
455*2^703852-1 is not prime.  Res64: 15F8F8538E78C868  Time : 4646.0 sec.
user=vaughan
[2009-07-19 03:13:08]
497*2^703852-1 is not prime.  Res64: EEB7F3FEBE061F6D  Time : 4561.0 sec.
user=vaughan
[2009-07-19 03:18:47]
563*2^703852-1 is not prime.  Res64: 7B7743A22C9C2C36  Time : 4644.0 sec.
user=kar_bon
[2009-07-19 03:19:57]
585*2^703857-1 is not prime.  Res64: 8BAFC574CE20C919  Time : 1361.0 sec.
user=vaughan
[2009-07-19 03:20:40]
579*2^703852-1 is not prime.  Res64: 90764EE85B8EEBD4  Time : 4560.0 sec.
user=vaughan
[2009-07-19 03:26:30]
411*2^703853-1 is not prime.  Res64: 7F96753823D4CC03  Time : 4644.0 sec.
user=vaughan
[2009-07-19 03:28:13]
487*2^703853-1 is not prime.  Res64: 2B3B1CCFA0890455  Time : 4561.0 sec.
user=kar_bon
[2009-07-19 03:31:11]
491*2^703858-1 is not prime.  Res64: CF037172A050428B  Time : 1358.0 sec.
user=vaughan
[2009-07-19 03:34:11]
507*2^703853-1 is not prime.  Res64: 0FA939B79D4616B8  Time : 4642.0 sec.
user=vaughan
[2009-07-19 03:35:45]
547*2^703853-1 is not prime.  Res64: EF46A8A264EF45FB  Time : 4560.0 sec.
user=vaughan
[2009-07-19 03:41:55]
563*2^703854-1 is not prime.  Res64: 5C60C24490548204  Time : 4644.0 sec.
user=kar_bon
[2009-07-19 03:42:31]
411*2^703859-1 is not prime.  Res64: 9DE27AC4382B2327  Time : 1354.0 sec.
user=vaughan
[2009-07-19 03:43:19]
567*2^703854-1 is not prime.  Res64: 2D42DAF2CE845CC8  Time : 4563.0 sec.
user=vaughan
[2009-07-19 03:49:37]
471*2^703855-1 is not prime.  Res64: 1CD0820C41F4B12A  Time : 4644.0 sec.
user=vaughan
[2009-07-19 03:50:50]
595*2^703855-1 is not prime.  Res64: C69E5FE2C3974482  Time : 4562.0 sec.
user=kar_bon
[2009-07-19 03:53:47]
501*2^703859-1 is not prime.  Res64: D06B1E9D47C720B6  Time : 1356.0 sec.
user=vaughan
[2009-07-19 03:57:20]
503*2^703856-1 is not prime.  Res64: 6774C41C25A1FE37  Time : 4646.0 sec.
user=vaughan
[2009-07-19 03:58:22]
567*2^703856-1 is not prime.  Res64: C321B99929683E9A  Time : 4557.0 sec.
user=vaughan
[2009-07-19 04:05:02]
469*2^703857-1 is not prime.  Res64: DA7BF418DE894649  Time : 4614.0 sec.
user=kar_bon
[2009-07-19 04:05:05]
539*2^703860-1 is not prime.  Res64: 579B153C4C6A4B02  Time : 1355.0 sec.
user=vaughan
[2009-07-19 04:05:53]
517*2^703857-1 is not prime.  Res64: 87D2912AE9EFC353  Time : 4527.0 sec.
user=vaughan
[2009-07-19 04:12:46]
579*2^703857-1 is not prime.  Res64: FE563045801A64B9  Time : 4619.0 sec.
user=vaughan
[2009-07-19 04:13:25]
595*2^703857-1 is not prime.  Res64: 8D468704C70E7C93  Time : 4525.0 sec.
user=kar_bon
[2009-07-19 04:16:21]
541*2^703861-1 is not prime.  Res64: 761F98A6C9B4EC4F  Time : 1354.0 sec.
user=vaughan
[2009-07-19 04:20:27]
413*2^703858-1 is not prime.  Res64: CF6C96D891CE6624  Time : 4622.0 sec.
user=vaughan
[2009-07-19 04:20:56]
461*2^703858-1 is not prime.  Res64: 4D6E0D737F1408F7  Time : 4521.0 sec.
user=kar_bon
[2009-07-19 04:27:37]
503*2^703862-1 is not prime.  Res64: 6028EF84AF6FC93C  Time : 1352.0 sec.
user=vaughan
[2009-07-19 04:28:10]
513*2^703858-1 is not prime.  Res64: 20A582233247D624  Time : 4624.0 sec.
user=vaughan
[2009-07-19 04:28:29]
533*2^703858-1 is not prime.  Res64: DBE2480BD164C2EC  Time : 4521.0 sec.
user=vaughan
[2009-07-19 04:35:52]
581*2^703858-1 is not prime.  Res64: D411B3B0AE917C25  Time : 4625.0 sec.
user=vaughan
[2009-07-19 04:36:01]
439*2^703859-1 is not prime.  Res64: 9296A3CA78D8F9C1  Time : 4521.0 sec.
user=kar_bon
[2009-07-19 04:38:54]
557*2^703862-1 is not prime.  Res64: 88043E5198D8099F  Time : 1353.0 sec.
user=vaughan
[2009-07-19 04:43:32]
465*2^703859-1 is not prime.  Res64: 43DC766EC93E049E  Time : 4623.0 sec.
user=vaughan
[2009-07-19 04:43:35]
469*2^703859-1 is not prime.  Res64: E90255A6E0C84C10  Time : 4522.0 sec.
user=kar_bon
[2009-07-19 04:50:07]
441*2^703863-1 is not prime.  Res64: 6071EC120504EF74  Time : 1350.0 sec.
user=vaughan
[2009-07-19 04:51:09]
423*2^703860-1 is not prime.  Res64: 46D5FA5714D1FCA2  Time : 4524.0 sec.
user=vaughan
[2009-07-19 04:51:14]
511*2^703859-1 is not prime.  Res64: FAE6B4CFF233482A  Time : 4623.0 sec.
user=vaughan
[2009-07-19 04:58:45]
557*2^703860-1 is not prime.  Res64: 0FCE1121831F50FF  Time : 4527.0 sec.
user=vaughan
[2009-07-19 04:58:53]
515*2^703860-1 is not prime.  Res64: E6CB3989D98E459D  Time : 4618.0 sec.
user=kar_bon
[2009-07-19 05:01:24]
587*2^703864-1 is not prime.  Res64: E70F5E5600ED1374  Time : 1351.0 sec.
user=vaughan
[2009-07-19 05:06:18]
421*2^703861-1 is not prime.  Res64: 2D915F3910E0BC9E  Time : 4529.0 sec.
user=vaughan
[2009-07-19 05:06:34]
593*2^703860-1 is not prime.  Res64: 8806F89A5DE56105  Time : 4617.0 sec.
user=kar_bon
[2009-07-19 05:12:39]
547*2^703865-1 is not prime.  Res64: B413DCF87057339B  Time : 1352.0 sec.
user=vaughan
[2009-07-19 05:13:53]
577*2^703861-1 is not prime.  Res64: 325CABF428BDB8B1  Time : 4532.0 sec.
user=vaughan
[2009-07-19 05:14:14]
549*2^703861-1 is not prime.  Res64: DE6B3042398E04D3  Time : 4614.0 sec.
user=vaughan
[2009-07-19 05:21:27]
525*2^703862-1 is not prime.  Res64: 041C0D64030E8D22  Time : 4534.0 sec.
user=vaughan
[2009-07-19 05:21:53]
405*2^703862-1 is not prime.  Res64: 6841D8CDE47D3F1C  Time : 4612.0 sec.
user=kar_bon
[2009-07-19 05:23:56]
513*2^703866-1 is not prime.  Res64: D478C798C7DB28CE  Time : 1352.0 sec.
user=vaughan
[2009-07-19 05:29:01]
537*2^703862-1 is not prime.  Res64: C9B80F7729001443  Time : 4536.0 sec.
user=vaughan
[2009-07-19 05:29:34]
533*2^703862-1 is not prime.  Res64: 2D8A529CA6284FD3  Time : 4608.0 sec.
user=kar_bon
[2009-07-19 05:35:10]
453*2^703867-1 is not prime.  Res64: 8854B2CA10C96529  Time : 1351.0 sec.
user=vaughan
[2009-07-19 05:36:35]
573*2^703862-1 is not prime.  Res64: AD830B2492804D93  Time : 4539.0 sec.
user=vaughan
[2009-07-19 05:37:13]
561*2^703862-1 is not prime.  Res64: 3608EF426490FF94  Time : 4606.0 sec.
user=vaughan
[2009-07-19 05:44:09]
555*2^703863-1 is not prime.  Res64: E64BCCBBE02BC4AB  Time : 4541.0 sec.
user=vaughan
[2009-07-19 05:44:51]
489*2^703863-1 is not prime.  Res64: E1A142A42833150D  Time : 4601.0 sec.
user=kar_bon
[2009-07-19 05:46:27]
515*2^703868-1 is not prime.  Res64: 9FAB888669E2A16B  Time : 1352.0 sec.
user=vaughan
[2009-07-19 05:51:43]
435*2^703864-1 is not prime.  Res64: AEC9C669E9C2A79F  Time : 4543.0 sec.
user=vaughan
[2009-07-19 05:52:29]
423*2^703864-1 is not prime.  Res64: 8A7AE40F7253ADEB  Time : 4597.0 sec.
user=kar_bon
[2009-07-19 05:57:42]
465*2^703869-1 is not prime.  Res64: C54803361C3E209E  Time : 1352.0 sec.
user=vaughan
[2009-07-19 05:59:17]
529*2^703865-1 is not prime.  Res64: C618ABA89CACDEA8  Time : 4542.0 sec.
user=vaughan
[2009-07-19 06:00:08]
469*2^703865-1 is not prime.  Res64: E0ABDEE49AB52512  Time : 4597.0 sec.
user=vaughan
[2009-07-19 06:06:52]
585*2^703865-1 is not prime.  Res64: 839441B55F387A5A  Time : 4543.0 sec.
user=vaughan
[2009-07-19 06:07:47]
591*2^703865-1 is not prime.  Res64: F4343105F1A9BD86  Time : 4594.0 sec.
user=kar_bon
[2009-07-19 06:08:58]
411*2^703871-1 is not prime.  Res64: E5A2A468145A8FAF  Time : 1351.0 sec.
user=vaughan
[2009-07-19 06:14:25]
405*2^703866-1 is not prime.  Res64: EEDA393E4251E06D  Time : 4541.0 sec.
user=vaughan
[2009-07-19 06:15:25]
437*2^703866-1 is not prime.  Res64: 5F696B47A204BE38  Time : 4592.0 sec.
user=kar_bon
[2009-07-19 06:20:14]
503*2^703872-1 is not prime.  Res64: AC02FD5647B5A393  Time : 1352.0 sec.
user=vaughan
[2009-07-19 06:22:00]
587*2^703866-1 is not prime.  Res64: 34DF4FB4B4188FFD  Time : 4543.0 sec.
user=vaughan
[2009-07-19 06:23:03]
441*2^703867-1 is not prime.  Res64: DD8F0D0367B99ECB  Time : 4590.0 sec.
user=vaughan
[2009-07-19 06:29:35]
483*2^703867-1 is not prime.  Res64: 8C2ACF822340B19E  Time : 4543.0 sec.
user=vaughan
[2009-07-19 06:30:41]
413*2^703868-1 is not prime.  Res64: B138F09E03781B2B  Time : 4587.0 sec.
user=kar_bon
[2009-07-19 06:31:31]
541*2^703873-1 is not prime.  Res64: B86A9194739F4DDF  Time : 1354.0 sec.
user=vaughan
[2009-07-19 06:37:09]
417*2^703868-1 is not prime.  Res64: 26C23D4BF04E305F  Time : 4543.0 sec.
user=vaughan
[2009-07-19 06:38:20]
489*2^703868-1 is not prime.  Res64: E398A5D9B00DCFCF  Time : 4587.0 sec.
user=kar_bon
[2009-07-19 06:42:47]
441*2^703875-1 is not prime.  Res64: 0D43E871487D6663  Time : 1353.0 sec.
user=vaughan
[2009-07-19 06:44:44]
563*2^703868-1 is not prime.  Res64: FF085E6C527EDD07  Time : 4543.0 sec.
user=vaughan
[2009-07-19 06:45:58]
439*2^703869-1 is not prime.  Res64: 2F639F40B245BB97  Time : 4585.0 sec.
user=vaughan
[2009-07-19 06:52:19]
549*2^703869-1 is not prime.  Res64: D2198A3044EA9CBB  Time : 4544.0 sec.
user=vaughan
[2009-07-19 06:53:37]
595*2^703869-1 is not prime.  Res64: 10B104DE54B2180C  Time : 4585.0 sec.
user=kar_bon
[2009-07-19 06:54:02]
569*2^703876-1 is not prime.  Res64: 60EFAA6858E18346  Time : 1351.0 sec.
user=vaughan
[2009-07-19 06:59:55]
461*2^703870-1 is not prime.  Res64: 7C445A38D378093B  Time : 4546.0 sec.
user=vaughan
[2009-07-19 07:01:16]
477*2^703870-1 is not prime.  Res64: 645D8EAA4491C998  Time : 4585.0 sec.
user=kar_bon
[2009-07-19 07:05:20]
417*2^703878-1 is not prime.  Res64: 5B93F2F5BC2B932C  Time : 1353.0 sec.
user=vaughan
[2009-07-19 07:07:29]
525*2^703871-1 is not prime.  Res64: EC258F9C1B948217  Time : 4546.0 sec.
user=vaughan
[2009-07-19 07:08:54]
573*2^703871-1 is not prime.  Res64: B16CA44F593F9395  Time : 4585.0 sec.
user=vaughan
[2009-07-19 07:15:03]
421*2^703873-1 is not prime.  Res64: FEA229E4134EFB08  Time : 4546.0 sec.
user=vaughan
[2009-07-19 07:16:33]
477*2^703873-1 is not prime.  Res64: EA79C31EFA4EF198  Time : 4586.0 sec.
user=kar_bon
[2009-07-19 07:16:45]
511*2^703879-1 is not prime.  Res64: E56EB1E784EF0A5B  Time : 1363.0 sec.
user=vaughan
[2009-07-19 07:22:39]
499*2^703873-1 is not prime.  Res64: 5688625CA02A0BCE  Time : 4547.0 sec.
user=vaughan
[2009-07-19 07:24:11]
525*2^703873-1 is not prime.  Res64: 9703764CA74E7C8F  Time : 4585.0 sec.
user=kar_bon
[2009-07-19 07:28:11]
425*2^703880-1 is not prime.  Res64: A7321CEAD15376DE  Time : 1372.0 sec.
user=vaughan
[2009-07-19 07:30:13]
453*2^703874-1 is not prime.  Res64: F153AC06E78FF655  Time : 4548.0 sec.
user=vaughan
[2009-07-19 07:31:50]
521*2^703874-1 is not prime.  Res64: 42126553751C5F96  Time : 4586.0 sec.
user=vaughan
[2009-07-19 07:37:48]
445*2^703875-1 is not prime.  Res64: D1BB201399E13062  Time : 4548.0 sec.
user=vaughan
[2009-07-19 07:39:28]
465*2^703875-1 is not prime.  Res64: 8D5A306A9F29ECAC  Time : 4586.0 sec.
user=kar_bon
[2009-07-19 07:40:26]
557*2^703880-1 is not prime.  Res64: FE7083C2E63FBD68  Time : 1421.0 sec.
user=vaughan
[2009-07-19 07:45:22]
595*2^703875-1 is not prime.  Res64: D6C82E714062E00F  Time : 4548.0 sec.
user=vaughan
[2009-07-19 07:47:06]
485*2^703876-1 is not prime.  Res64: 6287E66F6969647B  Time : 4586.0 sec.
user=kar_bon
[2009-07-19 07:51:54]
465*2^703881-1 is not prime.  Res64: A0D381F0B777107C  Time : 1423.0 sec.
user=vaughan
[2009-07-19 07:52:57]
587*2^703876-1 is not prime.  Res64: E9EB43272729AE31  Time : 4549.0 sec.
user=vaughan
[2009-07-19 07:54:46]
477*2^703877-1 is not prime.  Res64: 9DE9AC9EDBFDEB6A  Time : 4587.0 sec.
user=vaughan
[2009-07-19 08:00:32]
503*2^703878-1 is not prime.  Res64: EB78792C25BC6DE8  Time : 4549.0 sec.
user=vaughan
[2009-07-19 08:02:24]
551*2^703878-1 is not prime.  Res64: 5D672C21217A9D88  Time : 4587.0 sec.
user=kar_bon
[2009-07-19 08:04:23]
401*2^703882-1 is not prime.  Res64: 40EB500E3D9BA39E  Time : 1437.0 sec.
user=vaughan
[2009-07-19 08:08:06]
421*2^703879-1 is not prime.  Res64: 8626D972CE509D5A  Time : 4547.0 sec.
user=vaughan
[2009-07-19 08:10:04]
441*2^703879-1 is not prime.  Res64: 07E77DAC2E0A77FE  Time : 4588.0 sec.
user=vaughan
[2009-07-19 08:15:40]
559*2^703879-1 is not prime.  Res64: 44FC3CD2546B8979  Time : 4545.0 sec.
user=vaughan
[2009-07-19 08:17:44]
583*2^703879-1 is not prime.  Res64: 135AD068CAF48EF6  Time : 4589.0 sec.
user=vaughan
[2009-07-19 08:23:14]
437*2^703880-1 is not prime.  Res64: 295ADA6B654A9FEE  Time : 4545.0 sec.
user=vaughan
[2009-07-19 08:25:23]
447*2^703880-1 is not prime.  Res64: C4695BB3B258B0D8  Time : 4590.0 sec.
user=kar_bon
[2009-07-19 08:27:48]
435*2^703883-1 is not prime.  Res64: 478BCD6D7515C9F5  Time : 2154.0 sec.
user=vaughan
[2009-07-19 08:30:49]
509*2^703880-1 is not prime.  Res64: 32B00F2EFA74D262  Time : 4546.0 sec.
user=vaughan
[2009-07-19 08:33:01]
515*2^703880-1 is not prime.  Res64: A71372AD35365CA1  Time : 4589.0 sec.
user=vaughan
[2009-07-19 08:38:23]
441*2^703881-1 is not prime.  Res64: 10CFAFC2558BF334  Time : 4544.0 sec.
user=kar_bon
[2009-07-19 08:39:21]
579*2^703884-1 is not prime.  Res64: DDCFEE7D85DD4D32  Time : 2098.0 sec.
user=vaughan
[2009-07-19 08:40:40]
459*2^703881-1 is not prime.  Res64: EDD95C7123BBDC0A  Time : 4590.0 sec.
user=vaughan
[2009-07-19 08:45:58]
495*2^703881-1 is not prime.  Res64: FDB5D495E5F9AC09  Time : 4545.0 sec.
user=vaughan
[2009-07-19 08:48:19]
537*2^703881-1 is not prime.  Res64: 53FEA22C29DD84D2  Time : 4589.0 sec.
user=kar_bon
[2009-07-19 08:51:06]
503*2^703886-1 is not prime.  Res64: 800D240ABE66C58F  Time : 1398.0 sec.
user=vaughan
[2009-07-19 08:53:35]
571*2^703881-1 is not prime.  Res64: C00BC680715C6400  Time : 4548.0 sec.
user=vaughan
[2009-07-19 08:55:58]
597*2^703881-1 is not prime.  Res64: C41486FA9BD6A905  Time : 4590.0 sec.
user=vaughan
[2009-07-19 09:01:09]
471*2^703882-1 is not prime.  Res64: B3D04F6431951707  Time : 4547.0 sec.
user=vaughan
[2009-07-19 09:03:37]
581*2^703882-1 is not prime.  Res64: 2B7A8E8238E8B118  Time : 4591.0 sec.
user=vaughan
[2009-07-19 09:08:42]
523*2^703883-1 is not prime.  Res64: 4F9B18F3DF3529CA  Time : 4546.0 sec.
user=kar_bon
[2009-07-19 09:08:54]
565*2^703887-1 is not prime.  Res64: D34F458572312BE3  Time : 1774.0 sec.
user=vaughan
[2009-07-19 09:11:16]
437*2^703884-1 is not prime.  Res64: 0CEC3FE62FE33427  Time : 4590.0 sec.
user=vaughan
[2009-07-19 09:16:16]
453*2^703884-1 is not prime.  Res64: 01D731740F4B7BAB  Time : 4545.0 sec.
user=vaughan
[2009-07-19 09:18:55]
545*2^703884-1 is not prime.  Res64: 587505FDDC99F2AE  Time : 4591.0 sec.
user=kar_bon
[2009-07-19 09:20:28]
569*2^703888-1 is not prime.  Res64: C0F8F3456F9C1281  Time : 1762.0 sec.
user=vaughan
[2009-07-19 09:23:51]
411*2^703885-1 is not prime.  Res64: C7A93F988C6D46F3  Time : 4546.0 sec.
user=vaughan
[2009-07-19 09:26:34]
441*2^703885-1 is not prime.  Res64: 1133662BE5067E7D  Time : 4590.0 sec.
user=vaughan
[2009-07-19 09:31:26]
495*2^703885-1 is not prime.  Res64: 8E1D6F33FDFA3065  Time : 4547.0 sec.
user=kar_bon
[2009-07-19 09:31:54]
453*2^703890-1 is not prime.  Res64: A8DDFF8A7C36B9B2  Time : 1380.0 sec.
user=vaughan
[2009-07-19 09:34:12]
577*2^703885-1 is not prime.  Res64: 6617C183A6BD031D  Time : 4588.0 sec.
user=vaughan
[2009-07-19 09:39:00]
591*2^703885-1 is not prime.  Res64: B1DB5661960E5B92  Time : 4547.0 sec.
user=vaughan
[2009-07-19 09:41:50]
473*2^703886-1 is not prime.  Res64: BF99025407F1E287  Time : 4587.0 sec.
user=kar_bon
[2009-07-19 09:43:09]
479*2^703892-1 is not prime.  Res64: C2A025D88FC13759  Time : 1362.0 sec.
user=vaughan
[2009-07-19 09:46:35]
587*2^703886-1 is not prime.  Res64: AF277D4FDF85EB37  Time : 4547.0 sec.
user=vaughan
[2009-07-19 09:49:29]
511*2^703887-1 is not prime.  Res64: 24272FBF2EBAA523  Time : 4588.0 sec.
user=vaughan
[2009-07-19 09:54:10]
543*2^703887-1 is not prime.  Res64: 93ABE292D1206224  Time : 4547.0 sec.
user=kar_bon
[2009-07-19 09:54:26]
549*2^703893-1 is not prime.  Res64: 3C2FB7478E1E6D31  Time : 1352.0 sec.
user=vaughan
[2009-07-19 09:57:09]
437*2^703888-1 is not prime.  Res64: 99043DA3D8D8A6C8  Time : 4589.0 sec.
user=vaughan
[2009-07-19 10:01:44]
485*2^703888-1 is not prime.  Res64: 2F93AFF5D7062D99  Time : 4546.0 sec.
user=vaughan
[2009-07-19 10:04:48]
549*2^703888-1 is not prime.  Res64: 03CCCE998A958922  Time : 4590.0 sec.
user=kar_bon
[2009-07-19 10:05:58]
533*2^703894-1 is not prime.  Res64: 3322A71501BEB758  Time : 1369.0 sec.
user=vaughan
[2009-07-19 10:09:19]
507*2^703889-1 is not prime.  Res64: 4178128DAEDB8A5A  Time : 4544.0 sec.
user=vaughan
[2009-07-19 10:12:26]
511*2^703889-1 is not prime.  Res64: 351146549E83C3C2  Time : 4588.0 sec.
user=vaughan
[2009-07-19 10:16:53]
565*2^703889-1 is not prime.  Res64: 4F993988584D6C27  Time : 4544.0 sec.
user=kar_bon
[2009-07-19 10:17:16]
509*2^703896-1 is not prime.  Res64: 5EB394613724CA35  Time : 1370.0 sec.
user=vaughan
[2009-07-19 10:20:04]
571*2^703889-1 is not prime.  Res64: E25D307A7DFC2504  Time : 4587.0 sec.
user=vaughan
[2009-07-19 10:24:29]
401*2^703890-1 is not prime.  Res64: DE9B0E6BDC085E63  Time : 4547.0 sec.
user=vaughan
[2009-07-19 10:27:42]
583*2^703891-1 is not prime.  Res64: 0C50AD2CF7690379  Time : 4586.0 sec.
user=kar_bon
[2009-07-19 10:28:32]
439*2^703897-1 is not prime.  Res64: AB4561FC1775A2C3  Time : 1355.0 sec.
user=vaughan
[2009-07-19 10:32:04]
417*2^703892-1 is not prime.  Res64: C340FFFAFB51FA8B  Time : 4548.0 sec.
user=vaughan
[2009-07-19 10:35:21]
425*2^703892-1 is not prime.  Res64: C120965C74724858  Time : 4586.0 sec.
user=vaughan
[2009-07-19 10:39:38]
563*2^703892-1 is not prime.  Res64: 6424313D709D1F5F  Time : 4547.0 sec.
user=kar_bon
[2009-07-19 10:39:55]
503*2^703898-1 is not prime.  Res64: 0880A95811F37494  Time : 1359.0 sec.
user=vaughan
[2009-07-19 10:43:00]
587*2^703892-1 is not prime.  Res64: 0DCC79BF1EF449DC  Time : 4586.0 sec.
user=vaughan
[2009-07-19 10:47:13]
481*2^703893-1 is not prime.  Res64: 30A2165C0FC5DD1B  Time : 4547.0 sec.
user=vaughan
[2009-07-19 10:50:40]
571*2^703893-1 is not prime.  Res64: 5E23067BE72145F6  Time : 4588.0 sec.
user=kar_bon
[2009-07-19 10:51:14]
525*2^703900-1 is not prime.  Res64: B408D6837BEFB503  Time : 1362.0 sec.
user=vaughan
[2009-07-19 10:54:47]
483*2^703894-1 is not prime.  Res64: EF12F3097DB413F5  Time : 4547.0 sec.
user=vaughan
[2009-07-19 10:58:18]
495*2^703894-1 is not prime.  Res64: 2678FEA639F9252E  Time : 4588.0 sec.
user=vaughan
[2009-07-19 11:02:20]
575*2^703894-1 is not prime.  Res64: B1912EC327382C66  Time : 4545.0 sec.
user=kar_bon
[2009-07-19 11:02:30]
441*2^703901-1 is not prime.  Res64: B51EAFBC6429305F  Time : 1356.0 sec.
user=vaughan
[2009-07-19 11:05:56]
511*2^703895-1 is not prime.  Res64: 5E1687B5077BA1B7  Time : 4587.0 sec.
user=vaughan
[2009-07-19 11:09:55]
459*2^703896-1 is not prime.  Res64: 93441017CF72A977  Time : 4546.0 sec.
user=vaughan
[2009-07-19 11:13:34]
527*2^703896-1 is not prime.  Res64: 6BE7F85E684899D2  Time : 4585.0 sec.
user=kar_bon
[2009-07-19 11:13:44]
507*2^703902-1 is not prime.  Res64: 4B3632036A3C5C34  Time : 1350.0 sec.
user=vaughan
[2009-07-19 11:17:29]
405*2^703897-1 is not prime.  Res64: 04BD6D99097CFF20  Time : 4546.0 sec.
user=vaughan
[2009-07-19 11:21:12]
427*2^703897-1 is not prime.  Res64: AE222992E710A799  Time : 4585.0 sec.
user=kar_bon
[2009-07-19 11:24:58]
429*2^703903-1 is not prime.  Res64: AF2194FB8577061F  Time : 1348.0 sec.
user=vaughan
[2009-07-19 11:25:04]
431*2^703898-1 is not prime.  Res64: 5D54A443B9A1D454  Time : 4546.0 sec.
user=vaughan
[2009-07-19 11:28:52]
461*2^703898-1 is not prime.  Res64: 38026676A30B5BE4  Time : 4586.0 sec.
user=vaughan
[2009-07-19 11:32:38]
467*2^703898-1 is not prime.  Res64: B0D5FD9D90A67CB2  Time : 4546.0 sec.
user=kar_bon
[2009-07-19 11:36:16]
471*2^703906-1 is not prime.  Res64: 90B71DD11327C31D  Time : 1352.0 sec.
user=vaughan
[2009-07-19 11:36:30]
495*2^703899-1 is not prime.  Res64: AF1F47637DCC4DAF  Time : 4586.0 sec.
user=vaughan
[2009-07-19 11:40:14]
543*2^703899-1 is not prime.  Res64: BC22696F2A1E215C  Time : 4546.0 sec.
user=vaughan
[2009-07-19 11:44:08]
555*2^703899-1 is not prime.  Res64: 5A5DF5F6BC94EA86  Time : 4586.0 sec.
user=kar_bon
[2009-07-19 11:47:34]
421*2^703907-1 is not prime.  Res64: CE6432EBC9FF59AD  Time : 1357.0 sec.
user=vaughan
[2009-07-19 11:47:46]
567*2^703900-1 is not prime.  Res64: 54D6C9109C2E5B7E  Time : 4543.0 sec.
user=vaughan
[2009-07-19 11:51:47]
587*2^703900-1 is not prime.  Res64: 9F12B4A6030AE597  Time : 4586.0 sec.
user=vaughan
[2009-07-19 11:55:19]
439*2^703901-1 is not prime.  Res64: E2A56B71D93E50C4  Time : 4542.0 sec.
user=kar_bon
[2009-07-19 11:58:53]
459*2^703908-1 is not prime.  Res64: 75FC230E0057BC70  Time : 1357.0 sec.
user=vaughan
[2009-07-19 11:59:25]
453*2^703902-1 is not prime.  Res64: 23AA5D7465428260  Time : 4586.0 sec.
user=vaughan
[2009-07-19 12:02:54]
455*2^703902-1 is not prime.  Res64: 079A21CBFF21E98E  Time : 4541.0 sec.
user=vaughan
[2009-07-19 12:07:05]
485*2^703902-1 is not prime.  Res64: B4891EF2A9697160  Time : 4586.0 sec.
user=kar_bon
[2009-07-19 12:10:13]
411*2^703909-1 is not prime.  Res64: E21B3685810D4D6D  Time : 1359.0 sec.
user=vaughan
[2009-07-19 12:10:31]
525*2^703902-1 is not prime.  Res64: 813680746F764083  Time : 4544.0 sec.
user=vaughan
[2009-07-19 12:14:43]
557*2^703902-1 is not prime.  Res64: 7BECE865AEFD9560  Time : 4586.0 sec.
user=vaughan
[2009-07-19 12:18:02]
415*2^703903-1 is not prime.  Res64: 790752DA733A4FD8  Time : 4542.0 sec.
user=kar_bon
[2009-07-19 12:21:33]
453*2^703910-1 is not prime.  Res64: 916CC0010F214306  Time : 1360.0 sec.
user=vaughan
[2009-07-19 12:22:21]
479*2^703904-1 is not prime.  Res64: 3019693805819DCD  Time : 4585.0 sec.
user=vaughan
[2009-07-19 12:25:36]
525*2^703904-1 is not prime.  Res64: 3BD9757762653AB5  Time : 4541.0 sec.
user=vaughan
[2009-07-19 12:29:59]
539*2^703904-1 is not prime.  Res64: 37DEFBD750CE1617  Time : 4585.0 sec.
user=kar_bon
[2009-07-19 12:32:57]
595*2^703911-1 is not prime.  Res64: 53939943D206CE52  Time : 1364.0 sec.
user=vaughan
[2009-07-19 12:33:10]
507*2^703906-1 is not prime.  Res64: 614C5E773636357B  Time : 4541.0 sec.
user=vaughan
[2009-07-19 12:37:39]
575*2^703906-1 is not prime.  Res64: 6ADAC98CF20A9BF5  Time : 4587.0 sec.
user=vaughan
[2009-07-19 12:40:44]
463*2^703907-1 is not prime.  Res64: 15E8CDB56EFA7665  Time : 4541.0 sec.
user=kar_bon
[2009-07-19 12:44:12]
489*2^703913-1 is not prime.  Res64: 8EE68783E67C21BE  Time : 1360.0 sec.
user=vaughan
[2009-07-19 12:45:18]
475*2^703907-1 is not prime.  Res64: E8BCFF22AC616F33  Time : 4587.0 sec.
user=vaughan
[2009-07-19 12:48:18]
405*2^703908-1 is not prime.  Res64: 947A4EF26BC5AEC6  Time : 4540.0 sec.
user=vaughan
[2009-07-19 12:52:57]
479*2^703908-1 is not prime.  Res64: 6288DE898B7496AC  Time : 4587.0 sec.
user=kar_bon
[2009-07-19 12:55:31]
453*2^703914-1 is not prime.  Res64: A31EAE80AB5EAAC6  Time : 1354.0 sec.
user=vaughan
[2009-07-19 12:55:52]
485*2^703908-1 is not prime.  Res64: 57F259021A9457B2  Time : 4538.0 sec.
user=vaughan
[2009-07-19 13:00:37]
539*2^703908-1 is not prime.  Res64: 3CDC4E558DC26A38  Time : 4589.0 sec.
user=vaughan
[2009-07-19 13:03:26]
451*2^703909-1 is not prime.  Res64: 58485A22316F6E81  Time : 4540.0 sec.
user=kar_bon
[2009-07-19 13:06:50]
587*2^703914-1 is not prime.  Res64: A354BBD5A14E5E32  Time : 1358.0 sec.
user=vaughan
[2009-07-19 13:08:16]
565*2^703909-1 is not prime.  Res64: FFCBFBF2E31F2597  Time : 4590.0 sec.
user=vaughan
[2009-07-19 13:11:01]
411*2^703910-1 is not prime.  Res64: BF438E8A2FC2B9C0  Time : 4542.0 sec.
user=vaughan
[2009-07-19 13:15:55]
467*2^703910-1 is not prime.  Res64: 45F338B0FA16D535  Time : 4590.0 sec.
user=kar_bon
[2009-07-19 13:18:03]
515*2^703916-1 is not prime.  Res64: 86CC1036D418A6D0  Time : 1352.0 sec.
user=vaughan
[2009-07-19 13:18:35]
513*2^703911-1 is not prime.  Res64: CC34340979072FA0  Time : 4542.0 sec.
user=vaughan
[2009-07-19 13:23:33]
559*2^703911-1 is not prime.  Res64: 1AD40C38F60CEE18  Time : 4588.0 sec.
user=vaughan
[2009-07-19 13:26:09]
549*2^703912-1 is not prime.  Res64: 4843392D61D6A3FA  Time : 4538.0 sec.
user=kar_bon
[2009-07-19 13:29:15]
465*2^703917-1 is not prime.  Res64: 7926D9A47A7518CC  Time : 1346.0 sec.
user=vaughan
[2009-07-19 13:31:12]
573*2^703912-1 is not prime.  Res64: 1CEDC79931AED2D1  Time : 4589.0 sec.
user=vaughan
[2009-07-19 13:33:45]
445*2^703913-1 is not prime.  Res64: 52446123447BDDDB  Time : 4543.0 sec.
user=vaughan
[2009-07-19 13:38:50]
571*2^703913-1 is not prime.  Res64: 6203427054F6239A  Time : 4589.0 sec.
user=kar_bon
[2009-07-19 13:40:28]
545*2^703918-1 is not prime.  Res64: 16D9D5740A9ED382  Time : 1345.0 sec.
user=vaughan
[2009-07-19 13:41:20]
585*2^703913-1 is not prime.  Res64: 0AB9BABFEB865DC9  Time : 4544.0 sec.
user=vaughan
[2009-07-19 13:46:29]
591*2^703913-1 is not prime.  Res64: B546CACE8D7CF409  Time : 4590.0 sec.
user=vaughan
[2009-07-19 13:48:54]
521*2^703914-1 is not prime.  Res64: DA0FDF0FA2565B83  Time : 4544.0 sec.
user=kar_bon
[2009-07-19 13:51:40]
469*2^703919-1 is not prime.  Res64: 8EE8D0C7249CFD4D  Time : 1345.0 sec.
user=vaughan
[2009-07-19 13:54:08]
527*2^703914-1 is not prime.  Res64: B8A84E8A1B5A04D3  Time : 4589.0 sec.
user=vaughan
[2009-07-19 13:56:29]
555*2^703914-1 is not prime.  Res64: AA9AD692F371966D  Time : 4545.0 sec.
user=vaughan
[2009-07-19 14:01:47]
489*2^703915-1 is not prime.  Res64: E47FACCC753850FF  Time : 4589.0 sec.
user=vaughan
[2009-07-19 14:04:03]
531*2^703915-1 is not prime.  Res64: 4B1E365F1DD79C4C  Time : 4545.0 sec.
user=kar_bon
[2009-07-19 14:06:45]
549*2^703920-1 is not prime.  Res64: 2E8ED51DA60AC9D6  Time : 1577.0 sec.
user=vaughan
[2009-07-19 14:09:26]
589*2^703915-1 is not prime.  Res64: 71A79E43187B7951  Time : 4589.0 sec.
user=vaughan
[2009-07-19 14:11:37]
525*2^703916-1 is not prime.  Res64: 3A4EDED585A56416  Time : 4546.0 sec.
user=vaughan
[2009-07-19 14:17:06]
537*2^703916-1 is not prime.  Res64: 341806EC04269749  Time : 4589.0 sec.
user=kar_bon
[2009-07-19 14:18:13]
471*2^703921-1 is not prime.  Res64: 4FDC4D23D467ADA0  Time : 1593.0 sec.
user=vaughan
[2009-07-19 14:19:11]
427*2^703917-1 is not prime.  Res64: 7A71BAE7F117ED72  Time : 4545.0 sec.
user=vaughan
[2009-07-19 14:24:46]
579*2^703917-1 is not prime.  Res64: 72DA62B6C72A5650  Time : 4591.0 sec.
user=vaughan
[2009-07-19 14:26:46]
491*2^703918-1 is not prime.  Res64: F9BB8F2F3284DB06  Time : 4545.0 sec.
user=kar_bon
[2009-07-19 14:30:30]
581*2^703922-1 is not prime.  Res64: 9CB28D964E6E00E5  Time : 1425.0 sec.
user=vaughan
[2009-07-19 14:32:26]
527*2^703918-1 is not prime.  Res64: 2D6DBB38725F576F  Time : 4592.0 sec.
user=vaughan
[2009-07-19 14:34:20]
567*2^703918-1 is not prime.  Res64: 2FE800356952C69F  Time : 4545.0 sec.
user=vaughan
[2009-07-19 14:40:06]
591*2^703918-1 is not prime.  Res64: C362141A1BBC184D  Time : 4593.0 sec.
user=vaughan
[2009-07-19 14:41:54]
411*2^703919-1 is not prime.  Res64: F151BB216CF53566  Time : 4545.0 sec.
user=vaughan
[2009-07-19 14:47:50]
549*2^703919-1 is not prime.  Res64: 1251E369D03A7BD2  Time : 4598.0 sec.
user=vaughan
[2009-07-19 14:49:27]
571*2^703919-1 is not prime.  Res64: 2F2D6C6346314EA5  Time : 4543.0 sec.
user=vaughan
[2009-07-19 14:55:30]
589*2^703919-1 is not prime.  Res64: A89100EB535C3793  Time : 4600.0 sec.
user=vaughan
[2009-07-19 14:57:01]
585*2^703920-1 is not prime.  Res64: 1390C4B58063CD51  Time : 4541.0 sec.
user=vaughan
[2009-07-19 15:03:10]
593*2^703920-1 is not prime.  Res64: CE1DEF6B91FACE49  Time : 4601.0 sec.
user=vaughan
[2009-07-19 15:04:35]
447*2^703921-1 is not prime.  Res64: B72A806A0C47BB4F  Time : 4541.0 sec.
user=vaughan
[2009-07-19 15:10:53]
535*2^703921-1 is not prime.  Res64: B55A61DC3EC5BFA9  Time : 4605.0 sec.
user=vaughan
[2009-07-19 15:12:09]
541*2^703921-1 is not prime.  Res64: 448638603E899547  Time : 4541.0 sec.
user=kar_bon
[2009-07-19 15:16:40]
595*2^703923-1 is not prime.  Res64: 6610A03DB2E6D0CE  Time : 3507.0 sec.
user=vaughan
[2009-07-19 15:18:32]
417*2^703922-1 is not prime.  Res64: 1B1A701327E9D231  Time : 4605.0 sec.
user=vaughan
[2009-07-19 15:19:45]
477*2^703922-1 is not prime.  Res64: F9EBFF2B200AD94F  Time : 4543.0 sec.
user=vaughan
[2009-07-19 15:26:14]
453*2^703923-1 is not prime.  Res64: 2E580BC2B53E7AC7  Time : 4608.0 sec.
user=vaughan
[2009-07-19 15:27:19]
459*2^703923-1 is not prime.  Res64: A8F958C17139038C  Time : 4543.0 sec.
user=vaughan
[2009-07-19 15:33:55]
471*2^703923-1 is not prime.  Res64: F84741370D1329F4  Time : 4609.0 sec.
user=vaughan
[2009-07-19 15:34:53]
429*2^703924-1 is not prime.  Res64: FFF9BD55AB29A4DC  Time : 4543.0 sec.
user=kar_bon
[2009-07-19 15:38:53]
563*2^703924-1 is not prime.  Res64: F7A86C57CA13D067  Time : 4104.0 sec.
user=vaughan
[2009-07-19 15:41:33]
447*2^703924-1 is not prime.  Res64: 7993525B8EBE5FFE  Time : 4607.0 sec.
user=vaughan
[2009-07-19 15:42:29]
533*2^703924-1 is not prime.  Res64: F4C55FDFE776CAC2  Time : 4544.0 sec.
user=vaughan
[2009-07-19 15:49:12]
597*2^703924-1 is not prime.  Res64: A95B296326EB2424  Time : 4606.0 sec.
user=vaughan
[2009-07-19 15:50:03]
441*2^703925-1 is not prime.  Res64: E28EF4E792801184  Time : 4544.0 sec.
user=vaughan
[2009-07-19 15:56:50]
465*2^703925-1 is not prime.  Res64: 3C1C52AB79E1D979  Time : 4604.0 sec.
user=vaughan
[2009-07-19 15:57:37]
405*2^703926-1 is not prime.  Res64: 9F69D7D084E77A29  Time : 4544.0 sec.
user=vaughan
[2009-07-19 16:04:31]
425*2^703926-1 is not prime.  Res64: D12D3A7E75022565  Time : 4602.0 sec.
user=vaughan
[2009-07-19 16:05:11]
447*2^703926-1 is not prime.  Res64: F7B79E11E42C4763  Time : 4544.0 sec.
user=kar_bon
[2009-07-19 16:10:29]
583*2^703927-1 is not prime.  Res64: B8EA8D290EE91001  Time : 3229.0 sec.
user=vaughan
[2009-07-19 16:12:10]
455*2^703926-1 is not prime.  Res64: BE757AA48F522628  Time : 4600.0 sec.
user=vaughan
[2009-07-19 16:12:46]
465*2^703926-1 is not prime.  Res64: F7250CA32F59A44D  Time : 4545.0 sec.
user=vaughan
[2009-07-19 16:19:51]
473*2^703926-1 is not prime.  Res64: AE477EE2772F61F5  Time : 4601.0 sec.
user=vaughan
[2009-07-19 16:20:20]
503*2^703926-1 is not prime.  Res64: 9B8B2B8FFD140F9D  Time : 4545.0 sec.
user=vaughan
[2009-07-19 16:27:30]
537*2^703926-1 is not prime.  Res64: 1FEE9B139E40EE08  Time : 4597.0 sec.
user=vaughan
[2009-07-19 16:27:55]
563*2^703926-1 is not prime.  Res64: BFB43FF09B0F36E8  Time : 4546.0 sec.
user=vaughan
[2009-07-19 16:35:10]
589*2^703927-1 is not prime.  Res64: A9411429A28E2AA9  Time : 4598.0 sec.
user=kar_bon
[2009-07-19 16:35:13]
413*2^703930-1 is not prime.  Res64: 58A36274C794B102  Time : 3380.0 sec.
user=vaughan
[2009-07-19 16:35:31]
467*2^703928-1 is not prime.  Res64: 9D48217C606942DC  Time : 4546.0 sec.
user=vaughan
[2009-07-19 16:42:50]
473*2^703928-1 is not prime.  Res64: 1C945C00F64618EE  Time : 4597.0 sec.
user=vaughan
[2009-07-19 16:43:05]
439*2^703929-1 is not prime.  Res64: EA1558942C1829CD  Time : 4546.0 sec.
user=kar_bon
[2009-07-19 16:46:25]
447*2^703932-1 is not prime.  Res64: 9C0CF64EFF931C67  Time : 2156.0 sec.
user=vaughan
[2009-07-19 16:50:30]
481*2^703929-1 is not prime.  Res64: 570CD64325271AEF  Time : 4596.0 sec.
user=vaughan
[2009-07-19 16:50:39]
511*2^703929-1 is not prime.  Res64: 3663DDB5C0F7D6FE  Time : 4546.0 sec.
user=kar_bon
[2009-07-19 16:57:40]
503*2^703934-1 is not prime.  Res64: B02D587FE9EDFF35  Time : 1348.0 sec.
user=vaughan
[2009-07-19 16:58:09]
495*2^703930-1 is not prime.  Res64: 0A4874CFBDDF7B4C  Time : 4596.0 sec.
user=vaughan
[2009-07-19 16:58:13]
531*2^703930-1 is not prime.  Res64: 77D65794596EDE48  Time : 4545.0 sec.
user=vaughan
[2009-07-19 17:05:48]
555*2^703930-1 is not prime.  Res64: 00C63AC2D0AA971A  Time : 4597.0 sec.
user=vaughan
[2009-07-19 17:05:49]
403*2^703931-1 is not prime.  Res64: 05B67F7D513B1FE4  Time : 4546.0 sec.
user=kar_bon
[2009-07-19 17:08:51]
433*2^703935-1 is not prime.  Res64: EFE6E0C76B5CB33B  Time : 1346.0 sec.
user=vaughan
[2009-07-19 17:13:21]
493*2^703931-1 is not prime.  Res64: A8ED9BB65FEBBB5C  Time : 4544.0 sec.
user=vaughan
[2009-07-19 17:13:26]
475*2^703931-1 is not prime.  Res64: 4C131165FFD4CC68  Time : 4597.0 sec.
user=kar_bon
[2009-07-19 17:20:03]
567*2^703936-1 is not prime.  Res64: 57FE900394CDE3C6  Time : 1344.0 sec.
user=vaughan
[2009-07-19 17:20:56]
425*2^703932-1 is not prime.  Res64: 80AE3AEA891017C0  Time : 4545.0 sec.
user=vaughan
[2009-07-19 17:21:05]
413*2^703932-1 is not prime.  Res64: 60282DBE4792548D  Time : 4594.0 sec.
user=vaughan
[2009-07-19 17:28:30]
441*2^703933-1 is not prime.  Res64: 01B4D0EE0DB7C951  Time : 4545.0 sec.
user=vaughan
[2009-07-19 17:28:45]
593*2^703932-1 is not prime.  Res64: 77B4E3EB71705D97  Time : 4595.0 sec.
user=kar_bon
[2009-07-19 17:31:25]
567*2^703937-1 is not prime.  Res64: B294C9E32271648F  Time : 1354.0 sec.
user=vaughan
[2009-07-19 17:36:04]
537*2^703933-1 is not prime.  Res64: AB24A8BA9C4506EF  Time : 4544.0 sec.
user=vaughan
[2009-07-19 17:36:25]
477*2^703933-1 is not prime.  Res64: E8F864528B105A9F  Time : 4594.0 sec.
user=kar_bon
[2009-07-19 17:42:40]
453*2^703938-1 is not prime.  Res64: C29F97203004DF05  Time : 1358.0 sec.
user=vaughan
[2009-07-19 17:43:38]
597*2^703933-1 is not prime.  Res64: A67921301222CCB4  Time : 4543.0 sec.
user=vaughan
[2009-07-19 17:44:03]
567*2^703933-1 is not prime.  Res64: 247A16F51737DB3E  Time : 4593.0 sec.
user=vaughan
[2009-07-19 17:51:12]
545*2^703934-1 is not prime.  Res64: 9ACBF9F83AF652E8  Time : 4541.0 sec.
user=vaughan
[2009-07-19 17:51:41]
495*2^703934-1 is not prime.  Res64: 79B2256F1C987D4A  Time : 4592.0 sec.
user=kar_bon
[2009-07-19 17:53:53]
511*2^703939-1 is not prime.  Res64: A5941A667321D32C  Time : 1348.0 sec.
user=vaughan
[2009-07-19 17:58:46]
423*2^703935-1 is not prime.  Res64: D5753B4A32A17392  Time : 4541.0 sec.
user=vaughan
[2009-07-19 17:59:19]
405*2^703935-1 is not prime.  Res64: 1A6D97794518FA2B  Time : 4590.0 sec.
user=kar_bon
[2009-07-19 18:05:05]
483*2^703940-1 is not prime.  Res64: EB49086096A8E245  Time : 1346.0 sec.
user=vaughan
[2009-07-19 18:06:19]
543*2^703935-1 is not prime.  Res64: 88D532CBC2C9BAB1  Time : 4540.0 sec.
user=vaughan
[2009-07-19 18:06:57]
481*2^703935-1 is not prime.  Res64: 26DD000D1ACA5795  Time : 4587.0 sec.
user=vaughan
[2009-07-19 18:13:53]
441*2^703937-1 is not prime.  Res64: DD1BBC26A9A8E8C9  Time : 4541.0 sec.
user=vaughan
[2009-07-19 18:14:37]
421*2^703937-1 is not prime.  Res64: 2D83E2C71BB76059  Time : 4588.0 sec.
user=kar_bon
[2009-07-19 18:16:17]
529*2^703941-1 is not prime.  Res64: B858CC039368C783  Time : 1344.0 sec.
user=vaughan
[2009-07-19 18:21:27]
475*2^703937-1 is not prime.  Res64: 87F5D12CD697464A  Time : 4538.0 sec.
user=vaughan
[2009-07-19 18:22:17]
507*2^703937-1 is not prime.  Res64: 4B2EAB69AE66819A  Time : 4589.0 sec.
user=kar_bon
[2009-07-19 18:27:27]
423*2^703942-1 is not prime.  Res64: 491A72AFE91E2127  Time : 1343.0 sec.
user=vaughan
[2009-07-19 18:29:01]
401*2^703938-1 is not prime.  Res64: 785CB5AFE07A3D51  Time : 4541.0 sec.
user=vaughan
[2009-07-19 18:29:55]
447*2^703938-1 is not prime.  Res64: 98920F19A40470B5  Time : 4589.0 sec.
user=vaughan
[2009-07-19 18:36:35]
461*2^703938-1 is not prime.  Res64: E7F3DD6598CFAEB6  Time : 4540.0 sec.
user=vaughan
[2009-07-19 18:37:35]
483*2^703938-1 is not prime.  Res64: 63D35D2EF8AF17D8  Time : 4590.0 sec.
user=kar_bon
[2009-07-19 18:38:37]
411*2^703943-1 is not prime.  Res64: 0B235C6A7888784E  Time : 1340.0 sec.
user=vaughan
[2009-07-19 18:44:07]
451*2^703939-1 is not prime.  Res64: 4F060C85CBB62C36  Time : 4537.0 sec.
user=vaughan
[2009-07-19 18:45:16]
505*2^703939-1 is not prime.  Res64: 62720E262E75E419  Time : 4591.0 sec.
user=kar_bon
[2009-07-19 18:49:46]
573*2^703943-1 is not prime.  Res64: 8AFAFF52BDD5C61B  Time : 1339.0 sec.
user=vaughan
[2009-07-19 18:51:40]
405*2^703940-1 is not prime.  Res64: CA0470F8BA148162  Time : 4536.0 sec.
user=vaughan
[2009-07-19 18:52:56]
437*2^703940-1 is not prime.  Res64: 18DFFF9BE829DFD9  Time : 4592.0 sec.
user=vaughan
[2009-07-19 18:59:15]
545*2^703940-1 is not prime.  Res64: 1EC9F6A57539B34B  Time : 4537.0 sec.
user=vaughan
[2009-07-19 19:00:35]
465*2^703941-1 is not prime.  Res64: 59C5C178E25CA748  Time : 4592.0 sec.
user=kar_bon
[2009-07-19 19:00:55]
499*2^703945-1 is not prime.  Res64: 4D9F328022D8332E  Time : 1339.0 sec.
user=vaughan
[2009-07-19 19:06:50]
511*2^703941-1 is not prime.  Res64: CACCFD677CC55338  Time : 4538.0 sec.
user=vaughan
[2009-07-19 19:08:14]
517*2^703941-1 is not prime.  Res64: 32B4070CA27F0DD7  Time : 4593.0 sec.
user=kar_bon
[2009-07-19 19:12:06]
501*2^703946-1 is not prime.  Res64: EEA5CBF4607B2742  Time : 1340.0 sec.
user=vaughan
[2009-07-19 19:14:24]
585*2^703941-1 is not prime.  Res64: 6B57C1C42FF297CC  Time : 4538.0 sec.
user=vaughan
[2009-07-19 19:15:53]
405*2^703942-1 is not prime.  Res64: 50254CD38035E9FE  Time : 4594.0 sec.
user=vaughan
[2009-07-19 19:21:58]
461*2^703942-1 is not prime.  Res64: 431E562BCE438E84  Time : 4539.0 sec.
user=kar_bon
[2009-07-19 19:23:16]
435*2^703949-1 is not prime.  Res64: 23584686DED6B983  Time : 1341.0 sec.
user=vaughan
[2009-07-19 19:23:33]
513*2^703942-1 is not prime.  Res64: DFCC71DDCFBAB563  Time : 4596.0 sec.
user=vaughan
[2009-07-19 19:29:32]
527*2^703942-1 is not prime.  Res64: C0231643FBC47330  Time : 4539.0 sec.
user=vaughan
[2009-07-19 19:31:11]
581*2^703942-1 is not prime.  Res64: 8791A51737BC841A  Time : 4594.0 sec.
user=kar_bon
[2009-07-19 19:34:26]
405*2^703950-1 is not prime.  Res64: 06A8C2D48AB99F90  Time : 1340.0 sec.
user=vaughan
[2009-07-19 19:37:05]
501*2^703943-1 is not prime.  Res64: B1E50E3A59928CB9  Time : 4538.0 sec.
user=vaughan
[2009-07-19 19:37:05]
417*2^703950-1 is not prime.  Res64: 1E6F65870D88DCE2  Time : 1418.0 sec.
user=vaughan
[2009-07-19 19:38:49]
565*2^703943-1 is not prime.  Res64: 711230A6EED974BC  Time : 4593.0 sec.
user=vaughan
[2009-07-19 19:44:40]
585*2^703943-1 is not prime.  Res64: E895791F13D843C7  Time : 4539.0 sec.
user=kar_bon
[2009-07-19 19:45:38]
417*2^703952-1 is not prime.  Res64: E7F2FE87F938B881  Time : 1342.0 sec.
user=vaughan
[2009-07-19 19:46:27]
507*2^703944-1 is not prime.  Res64: F30C86F2B78384CA  Time : 4592.0 sec.
user=vaughan
[2009-07-19 19:52:16]
469*2^703945-1 is not prime.  Res64: 090B6EB95FF07AB3  Time : 4541.0 sec.
user=vaughan
[2009-07-19 19:54:07]
477*2^703945-1 is not prime.  Res64: 5C1C591648004F60  Time : 4592.0 sec.
user=kar_bon
[2009-07-19 19:56:49]
563*2^703952-1 is not prime.  Res64: 62981081673CB5DB  Time : 1343.0 sec.
user=vaughan
[2009-07-19 19:59:51]
525*2^703945-1 is not prime.  Res64: EEF66C7A88063E49  Time : 4545.0 sec.
user=vaughan
[2009-07-19 20:01:45]
531*2^703945-1 is not prime.  Res64: 2697B89E7595A271  Time : 4589.0 sec.
user=vaughan
[2009-07-19 20:07:24]
503*2^703946-1 is not prime.  Res64: 5866A2CB6C6AD448  Time : 4544.0 sec.
user=kar_bon
[2009-07-19 20:07:58]
411*2^703955-1 is not prime.  Res64: 96BCD8A485F16DD8  Time : 1341.0 sec.
user=vaughan
[2009-07-19 20:09:23]
561*2^703946-1 is not prime.  Res64: 585FAC5F4DF518D5  Time : 4587.0 sec.
user=vaughan
[2009-07-19 20:14:59]
581*2^703946-1 is not prime.  Res64: 6ECB83EC3C1EF5DB  Time : 4544.0 sec.
user=vaughan
[2009-07-19 20:17:02]
441*2^703947-1 is not prime.  Res64: 808A09381D250543  Time : 4587.0 sec.
user=kar_bon
[2009-07-19 20:19:09]
597*2^703956-1 is not prime.  Res64: 7F0098567C1B94A3  Time : 1341.0 sec.
user=vaughan
[2009-07-19 20:22:33]
559*2^703949-1 is not prime.  Res64: 0B8C50B254961443  Time : 4543.0 sec.
user=vaughan
[2009-07-19 20:24:41]
401*2^703950-1 is not prime.  Res64: CCD1E45466784A19  Time : 4588.0 sec.
user=vaughan
[2009-07-19 20:30:06]
405*2^703951-1 is not prime.  Res64: DC373B0B803189A3  Time : 4542.0 sec.
user=vaughan
[2009-07-19 20:32:21]
531*2^703951-1 is not prime.  Res64: E5EC85BDC8F1840E  Time : 4589.0 sec.
user=vaughan
[2009-07-19 20:37:39]
573*2^703951-1 is not prime.  Res64: 064053F0141DC8A6  Time : 4541.0 sec.
user=vaughan
[2009-07-19 20:40:00]
447*2^703952-1 is not prime.  Res64: 253BD62BEF8E8CF1  Time : 4588.0 sec.
user=vaughan
[2009-07-19 20:45:14]
519*2^703952-1 is not prime.  Res64: 66D9AA38E06D35CC  Time : 4542.0 sec.
user=vaughan
[2009-07-19 20:47:38]
533*2^703952-1 is not prime.  Res64: D409BA10C33329A8  Time : 4587.0 sec.
user=vaughan
[2009-07-19 20:52:48]
441*2^703953-1 is not prime.  Res64: 979C7A4637D98381  Time : 4543.0 sec.
user=vaughan
[2009-07-19 20:55:17]
443*2^703954-1 is not prime.  Res64: 7E36238C46590DBE  Time : 4588.0 sec.
user=vaughan
[2009-07-19 21:00:22]
483*2^703954-1 is not prime.  Res64: 241BE2129D842FC1  Time : 4542.0 sec.
user=vaughan
[2009-07-19 21:02:56]
441*2^703955-1 is not prime.  Res64: 4612B47CB2E70938  Time : 4589.0 sec.
user=vaughan
[2009-07-19 21:07:56]
479*2^703820-1 is not prime.  Res64: 2DA8FE71AB5E46B4  Time : 4541.0 sec.
user=vaughan
[2009-07-19 21:10:36]
585*2^703956-1 is not prime.  Res64: AD7588D0CE0715E9  Time : 4589.0 sec.
user=vaughan
[2009-07-19 21:15:31]
409*2^703957-1 is not prime.  Res64: 068F318D033F03E2  Time : 4541.0 sec.
user=vaughan
[2009-07-19 21:18:14]
435*2^703957-1 is not prime.  Res64: 8504CB40A85957F6  Time : 4589.0 sec.
user=vaughan
[2009-07-19 21:23:05]
441*2^703957-1 is not prime.  Res64: 7861BAFD7898A037  Time : 4541.0 sec.
user=vaughan
[2009-07-19 21:25:53]
471*2^703957-1 is not prime.  Res64: 8A70837B31DCD5B0  Time : 4590.0 sec.
user=vaughan
[2009-07-19 21:30:38]
477*2^703957-1 is not prime.  Res64: 49CE6F25B29C3A95  Time : 4540.0 sec.
user=vaughan
[2009-07-19 21:33:32]
511*2^703957-1 is not prime.  Res64: 0912D056E25228AE  Time : 4590.0 sec.
user=vaughan
[2009-07-19 21:38:12]
555*2^703957-1 is not prime.  Res64: 6612FCB52B9582F8  Time : 4539.0 sec.
user=vaughan
[2009-07-19 21:41:11]
565*2^703957-1 is not prime.  Res64: 111236C50E6A08F4  Time : 4590.0 sec.
user=kar_bon
[2009-07-19 21:43:06]
447*2^703957-1 is not prime.  Res64: DEBA8F2636E1F533  Time : 5708.0 sec.
user=vaughan
[2009-07-19 21:45:45]
567*2^703957-1 is not prime.  Res64: 26376B136290CBF1  Time : 4539.0 sec.
user=vaughan
[2009-07-19 21:48:51]
507*2^703958-1 is not prime.  Res64: BB1D9D1E2EC5A41B  Time : 4590.0 sec.
user=vaughan
[2009-07-19 21:53:19]
533*2^703958-1 is not prime.  Res64: A3A7905A487DB5D7  Time : 4540.0 sec.
user=vaughan
[2009-07-19 21:56:30]
561*2^703958-1 is not prime.  Res64: E447E8C2911E6ED5  Time : 4590.0 sec.
user=vaughan
[2009-07-19 22:00:53]
563*2^703958-1 is not prime.  Res64: B66E873AB91F9BE5  Time : 4539.0 sec.
user=vaughan
[2009-07-19 22:04:09]
591*2^703958-1 is not prime.  Res64: F5894B7EE528E68D  Time : 4591.0 sec.
user=kar_bon
[2009-07-19 22:05:37]
537*2^703957-1 is not prime.  Res64: 5AAF89A76C6FF7E1  Time : 6389.0 sec.
user=vaughan
[2009-07-19 22:08:27]
403*2^703959-1 is not prime.  Res64: 66C2550832D98678  Time : 4539.0 sec.
user=vaughan
[2009-07-19 22:11:47]
433*2^703959-1 is not prime.  Res64: 21F2EAFB9A68744D  Time : 4590.0 sec.
user=vaughan
[2009-07-19 22:16:01]
465*2^703959-1 is not prime.  Res64: D72EC58B05FD2E14  Time : 4539.0 sec.
user=kar_bon
[2009-07-19 22:16:51]
533*2^703964-1 is not prime.  Res64: 7622D8F32DD7D41C  Time : 2025.0 sec.
user=vaughan
[2009-07-19 22:19:26]
407*2^703960-1 is not prime.  Res64: B6AEEF13CA356FD5  Time : 4590.0 sec.
user=vaughan
[2009-07-19 22:23:35]
465*2^703960-1 is not prime.  Res64: 2DA86CB5042B7528  Time : 4539.0 sec.
user=vaughan
[2009-07-19 22:27:07]
533*2^703960-1 is not prime.  Res64: F16BF29BEAC34136  Time : 4592.0 sec.
user=kar_bon
[2009-07-19 22:28:03]
585*2^703967-1 is not prime.  Res64: 4EC15278CE3BC08A  Time : 1346.0 sec.
user=vaughan
[2009-07-19 22:31:10]
539*2^703960-1 is not prime.  Res64: B70D7A72B99C52A1  Time : 4540.0 sec.
user=vaughan
[2009-07-19 22:34:46]
525*2^703961-1 is not prime.  Res64: F0AEEB33E49113BE  Time : 4593.0 sec.
user=vaughan
[2009-07-19 22:38:43]
483*2^703962-1 is not prime.  Res64: 13ABBBFF9A415B57  Time : 4539.0 sec.
user=kar_bon
[2009-07-19 22:39:15]
567*2^703968-1 is not prime.  Res64: C794A8B7DC82EE75  Time : 1344.0 sec.
user=vaughan
[2009-07-19 22:42:26]
497*2^703962-1 is not prime.  Res64: 67552986D92F3A68  Time : 4594.0 sec.
user=vaughan
[2009-07-19 22:46:17]
433*2^703963-1 is not prime.  Res64: 7E6C9F657C5E3576  Time : 4539.0 sec.
user=vaughan
[2009-07-19 22:50:05]
439*2^703963-1 is not prime.  Res64: C0C7F4E28E7A4F02  Time : 4593.0 sec.
user=kar_bon
[2009-07-19 22:51:28]
481*2^703969-1 is not prime.  Res64: D50A9AFC468D2B9D  Time : 1405.0 sec.
user=vaughan
[2009-07-19 22:53:51]
435*2^703964-1 is not prime.  Res64: BD84210EDB144914  Time : 4539.0 sec.
user=vaughan
[2009-07-19 22:57:45]
465*2^703964-1 is not prime.  Res64: FF153C9D56933F00  Time : 4594.0 sec.
user=vaughan
[2009-07-19 23:01:25]
415*2^703965-1 is not prime.  Res64: A6A23E42985A303D  Time : 4540.0 sec.
user=kar_bon
[2009-07-19 23:02:51]
431*2^703970-1 is not prime.  Res64: D60D0899129AD3DC  Time : 1416.0 sec.
user=vaughan
[2009-07-19 23:05:24]
445*2^703965-1 is not prime.  Res64: D9DE5EBBF3F1D4E1  Time : 4594.0 sec.
user=vaughan
[2009-07-19 23:08:59]
517*2^703965-1 is not prime.  Res64: 715AD81DBE708DD6  Time : 4540.0 sec.
user=vaughan
[2009-07-19 23:13:03]
595*2^703965-1 is not prime.  Res64: 24FE1DCE69B5CDE3  Time : 4593.0 sec.
user=kar_bon
[2009-07-19 23:14:17]
411*2^703971-1 is not prime.  Res64: E0113C0DEF73E2BD  Time : 1369.0 sec.
user=vaughan
[2009-07-19 23:16:33]
483*2^703966-1 is not prime.  Res64: 63CA54820E12AC42  Time : 4541.0 sec.
user=vaughan
[2009-07-19 23:20:42]
549*2^703967-1 is not prime.  Res64: F342294A4F2CB5D5  Time : 4593.0 sec.
user=vaughan
[2009-07-19 23:24:07]
465*2^703968-1 is not prime.  Res64: DC7E8904843FAD24  Time : 4540.0 sec.
user=kar_bon
[2009-07-19 23:25:36]
469*2^703971-1 is not prime.  Res64: 25EB38D8DDD49069  Time : 1365.0 sec.
user=vaughan
[2009-07-19 23:28:21]
549*2^703968-1 is not prime.  Res64: B70F59325D36EF63  Time : 4594.0 sec.
user=vaughan
[2009-07-19 23:31:40]
555*2^703968-1 is not prime.  Res64: 5F05775F983BE47F  Time : 4539.0 sec.
user=vaughan
[2009-07-19 23:35:59]
569*2^703968-1 is not prime.  Res64: E15ADFF1AD37FAA3  Time : 4593.0 sec.
user=vaughan
[2009-07-19 23:39:14]
435*2^703969-1 is not prime.  Res64: 707D6733BFF0512E  Time : 4539.0 sec.
user=kar_bon
[2009-07-19 23:41:39]
539*2^703972-1 is not prime.  Res64: 81304D80F426A52C  Time : 1642.0 sec.
user=vaughan
[2009-07-19 23:43:37]
469*2^703969-1 is not prime.  Res64: 83F0F3F085D77F3E  Time : 4591.0 sec.
user=vaughan
[2009-07-19 23:46:48]
561*2^703969-1 is not prime.  Res64: DE9B878D30E06D9E  Time : 4539.0 sec.
user=vaughan
[2009-07-19 23:51:15]
407*2^703970-1 is not prime.  Res64: 80158F77E6842467  Time : 4589.0 sec.
user=vaughan
[2009-07-19 23:54:22]
423*2^703970-1 is not prime.  Res64: BF6DD848A066AAAA  Time : 4540.0 sec.
user=vaughan
[2009-07-19 23:58:53]
447*2^703970-1 is not prime.  Res64: 6D4E26F4EC6F06C6  Time : 4587.0 sec.