user=henryzz
[2012-02-04 00:06:53]
525*2^1119079-1 is not prime.  Res64: 10ABC5A162B06998  Time : 0.0 sec.
user=henryzz
[2012-02-04 00:10:21]
407*2^1119080-1 is not prime.  Res64: BCBAC446A23A6D44  Time : 0.0 sec.
user=henryzz
[2012-02-04 00:22:42]
437*2^1119080-1 is not prime.  Res64: DED0E2879CA3AD43  Time : 0.0 sec.
user=henryzz
[2012-02-04 00:22:43]
503*2^1119080-1 is not prime.  Res64: 7A3AF43E9EABB03E  Time : 0.0 sec.
user=henryzz
[2012-02-04 00:29:11]
459*2^1119081-1 is not prime.  Res64: CDD83291A1A7DDDF  Time : 0.0 sec.
user=henryzz
[2012-02-04 00:32:35]
529*2^1119081-1 is not prime.  Res64: 264EAAB01021709D  Time : 0.0 sec.
user=henryzz
[2012-02-04 00:44:59]
413*2^1119082-1 is not prime.  Res64: 4EC55AF2B5E5C381  Time : 0.0 sec.
user=henryzz
[2012-02-04 00:46:16]
435*2^1119082-1 is not prime.  Res64: 90D04B7B062791E1  Time : 0.0 sec.
user=henryzz
[2012-02-04 00:51:29]
529*2^1119083-1 is not prime.  Res64: DA2810C865EE2CCA  Time : 0.0 sec.
user=henryzz
[2012-02-04 00:54:33]
597*2^1119084-1 is not prime.  Res64: 4C418E7CC1E23C8F  Time : 0.0 sec.
user=henryzz
[2012-02-04 01:08:03]
421*2^1119085-1 is not prime.  Res64: 561321A24C04DD3E  Time : 0.0 sec.
user=henryzz
[2012-02-04 01:08:59]
411*2^1119085-1 is not prime.  Res64: 9CDAA8F25DA3897D  Time : 0.0 sec.
user=henryzz
[2012-02-04 01:13:38]
427*2^1119085-1 is not prime.  Res64: F895A2DCF5223D1C  Time : 0.0 sec.
user=henryzz
[2012-02-04 01:17:05]
425*2^1119086-1 is not prime.  Res64: CFA8A7CAD3AD34DA  Time : 0.0 sec.
user=henryzz
[2012-02-04 01:30:27]
483*2^1119086-1 is not prime.  Res64: B92232C4E8FD6255  Time : 0.0 sec.
user=henryzz
[2012-02-04 01:31:29]
525*2^1119086-1 is not prime.  Res64: 336B32D5F19F2298  Time : 0.0 sec.
user=henryzz
[2012-02-04 01:36:15]
537*2^1119086-1 is not prime.  Res64: 36B606138BA6901E  Time : 0.0 sec.
user=henryzz
[2012-02-04 01:39:24]
551*2^1119086-1 is not prime.  Res64: 8A7CC6422208D2BB  Time : 0.0 sec.
user=henryzz
[2012-02-04 01:53:29]
595*2^1119087-1 is not prime.  Res64: 890BFF8C7C4F8CD4  Time : 0.0 sec.
user=henryzz
[2012-02-04 01:54:11]
469*2^1119087-1 is not prime.  Res64: FF25870FAF707078  Time : 0.0 sec.
user=henryzz
[2012-02-04 01:58:13]
435*2^1119088-1 is not prime.  Res64: B9EFAA55E1E7D514  Time : 0.0 sec.
user=henryzz
[2012-02-04 02:01:38]
483*2^1119088-1 is not prime.  Res64: E03FD7F5BDF3674B  Time : 0.0 sec.
user=henryzz
[2012-02-04 02:15:52]
411*2^1119089-1 is not prime.  Res64: E46695DF6D6F646A  Time : 0.0 sec.
user=henryzz
[2012-02-04 02:17:07]
519*2^1119088-1 is not prime.  Res64: 858704FBCC2ED8E6  Time : 0.0 sec.
user=henryzz
[2012-02-04 02:21:25]
501*2^1119089-1 is not prime.  Res64: 1513CEE11F271371  Time : 0.0 sec.
user=henryzz
[2012-02-04 02:23:39]
571*2^1119089-1 is not prime.  Res64: B8E06A70AACE9B94  Time : 0.0 sec.
user=henryzz
[2012-02-04 02:38:56]
589*2^1119089-1 is not prime.  Res64: F5195962C21DA1AB  Time : 0.0 sec.
user=henryzz
[2012-02-04 02:40:10]
595*2^1119089-1 is not prime.  Res64: 045CD39EBC41AC42  Time : 0.0 sec.
user=henryzz
[2012-02-04 02:46:10]
401*2^1119090-1 is not prime.  Res64: 5E2D74092AE8E9AF  Time : 0.0 sec.
user=henryzz
[2012-02-04 02:48:51]
515*2^1119090-1 is not prime.  Res64: B7938358EE9DB1A3  Time : 0.0 sec.
user=henryzz
[2012-02-04 03:03:36]
543*2^1119090-1 is not prime.  Res64: 6C7A293922315C1B  Time : 0.0 sec.
user=henryzz
[2012-02-04 03:06:45]
493*2^1119091-1 is not prime.  Res64: 8EFDEFA5912A67C4  Time : 0.0 sec.
user=henryzz
[2012-02-04 03:08:24]
405*2^1119092-1 is not prime.  Res64: 3FA5E372A4009885  Time : 0.0 sec.
user=henryzz
[2012-02-04 03:11:34]
467*2^1119092-1 is not prime.  Res64: 6812637CE052009C  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:12:59]
413*2^1119000-1 is not prime.  Res64: EBDE69E2C715A72A  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:16:02]
553*2^1118983-1 is not prime.  Res64: 7B19C665A68B3FB4  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:16:10]
557*2^1118988-1 is not prime.  Res64: A06C9AFF25578077  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:16:10]
465*2^1118989-1 is not prime.  Res64: 61CA1584D28BCD91  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:16:26]
447*2^1118984-1 is not prime.  Res64: 1874B2AEAED42D85  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:16:51]
483*2^1118990-1 is not prime.  Res64: D8A46BA3FE8700D1  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:16:51]
525*2^1118990-1 is not prime.  Res64: 2E0095854E3FC883  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:17:21]
415*2^1118991-1 is not prime.  Res64: 7771B6FAE218A289  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:17:23]
439*2^1118991-1 is not prime.  Res64: 491DC691DA023384  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:18:26]
453*2^1118991-1 is not prime.  Res64: DBC87A501214FA5C  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:18:26]
489*2^1118991-1 is not prime.  Res64: 2961D02A0AE4F895  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:18:56]
559*2^1118639-1 is not prime.  Res64: 7F3999563EE99517  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:19:02]
439*2^1118993-1 is not prime.  Res64: 692D29300D3E87F5  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:19:03]
517*2^1118993-1 is not prime.  Res64: 7A7497BB522F3988  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:19:30]
417*2^1118994-1 is not prime.  Res64: 95CE97F1C5F7A7A0  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:19:31]
551*2^1118994-1 is not prime.  Res64: C2C1A0EB8987EBD0  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:20:14]
471*2^1118641-1 is not prime.  Res64: CACDC18C3AEC6C1E  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:22:04]
583*2^1118979-1 is not prime.  Res64: E53C0AF5BF038FD1  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:22:45]
425*2^1118654-1 is not prime.  Res64: 1D78A100C74D5ADD  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:22:45]
437*2^1118654-1 is not prime.  Res64: EC1958A2C3B58ED9  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:23:11]
489*2^1118655-1 is not prime.  Res64: 23AD95D82F94B99F  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:23:12]
485*2^1118656-1 is not prime.  Res64: A35F371AA5788D7B  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:23:16]
461*2^1118654-1 is not prime.  Res64: D03CC79193D774D3  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:23:16]
415*2^1118655-1 is not prime.  Res64: 02D9FD8490A70F67  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:23:37]
409*2^1119001-1 is not prime.  Res64: 43C25536ED96AE74  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:23:38]
511*2^1119001-1 is not prime.  Res64: 8A709ABC08DF3FA6  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:23:45]
489*2^1118971-1 is not prime.  Res64: 57BFDB3DF47F2641  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:23:48]
431*2^1118658-1 is not prime.  Res64: 8C7AC3E69DD34DF7  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:23:48]
551*2^1118658-1 is not prime.  Res64: 30D89FAD994F661D  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:24:15]
515*2^1118646-1 is not prime.  Res64: EFB1BE952686900A  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:24:16]
537*2^1118646-1 is not prime.  Res64: 99B4EF59074628A0  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:24:53]
413*2^1118648-1 is not prime.  Res64: DCE12628D06DBE1F  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:24:54]
465*2^1118648-1 is not prime.  Res64: BFD2C02B9A56E992  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:26:43]
495*2^1118974-1 is not prime.  Res64: 7EB0CC205E1A5B21  Time : 0.0 sec.
user=henryzz
[2012-02-04 03:27:17]
489*2^1119092-1 is not prime.  Res64: 08C16D71E1AB67CE  Time : 0.0 sec.
user=henryzz
[2012-02-04 03:30:42]
599*2^1119092-1 is not prime.  Res64: 9C75D019CB7170AD  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:31:11]
447*2^1118982-1 is not prime.  Res64: 833CE0F0693EF862  Time : 0.0 sec.
user=henryzz
[2012-02-04 03:32:18]
507*2^1119093-1 is not prime.  Res64: 7E1C51E27F846E1B  Time : 0.0 sec.
user=henryzz
[2012-02-04 03:35:25]
529*2^1119093-1 is not prime.  Res64: 11520A2F0AAA9A30  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:37:21]
537*2^1118988-1 is not prime.  Res64: 25346102224A1B98  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:37:22]
549*2^1118988-1 is not prime.  Res64: CD4A6F18E588315A  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:38:22]
541*2^1118991-1 is not prime.  Res64: 1267BEDFB29A2080  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:38:23]
537*2^1118992-1 is not prime.  Res64: A11D8929D17B322C  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:39:01]
537*2^1118637-1 is not prime.  Res64: 5787B2ACECF5F224  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:42:02]
409*2^1118975-1 is not prime.  Res64: CD6D05779B8C65EF  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:42:05]
451*2^1118975-1 is not prime.  Res64: 60DF29C7B19A3F3A  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:43:09]
455*2^1118976-1 is not prime.  Res64: 1C22E44C9D49409B  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:43:30]
489*2^1119103-1 is not prime.  Res64: 61289075E40A362D  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:43:31]
525*2^1119103-1 is not prime.  Res64: 2B234190076BC96E  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:45:48]
577*2^1118989-1 is not prime.  Res64: 19B15694FAFCC6B8  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:45:49]
467*2^1118990-1 is not prime.  Res64: A292B651049778DA  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:46:24]
545*2^1118990-1 is not prime.  Res64: 3969FDE399229BB6  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:46:24]
561*2^1118990-1 is not prime.  Res64: 6FA29B989C8FF6E5  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:46:34]
495*2^1119107-1 is not prime.  Res64: ECB5E02A798E553D  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:46:35]
523*2^1119107-1 is not prime.  Res64: A181C63034B82848  Time : 0.0 sec.
user=henryzz
[2012-02-04 03:50:22]
419*2^1119108-1 is not prime.  Res64: B99C954C614D2F08  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:52:52]
423*2^1119095-1 is not prime.  Res64: E33349BF9749CE2D  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:52:52]
481*2^1119095-1 is not prime.  Res64: 6D814FC4D83BA146  Time : 0.0 sec.
user=henryzz
[2012-02-04 03:53:26]
423*2^1119108-1 is not prime.  Res64: 3A5665882041F3A4  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:53:30]
595*2^1119095-1 is not prime.  Res64: FD8DB7F490E82B28  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:53:31]
525*2^1119096-1 is not prime.  Res64: 5349167C69001D45  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:54:06]
577*2^1118645-1 is not prime.  Res64: 02FCFE298618FB0C  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:54:07]
567*2^1119096-1 is not prime.  Res64: E81E0770CA8DD963  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:54:07]
425*2^1118646-1 is not prime.  Res64: CF2FB31C66B9D767  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:54:07]
587*2^1119096-1 is not prime.  Res64: 63896A7851CCA1C0  Time : 0.0 sec.
user=henryzz
[2012-02-04 03:54:50]
549*2^1119108-1 is not prime.  Res64: 4FA1639E48DB6AA8  Time : 0.0 sec.
user=juhehe
[2012-02-04 03:55:00]
441*2^1119051-1 is not prime.  Res64: 4808EF206EEA3F0D  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:55:09]
597*2^1119096-1 is not prime.  Res64: 41BC272855CD8813  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:55:09]
511*2^1119097-1 is not prime.  Res64: 8C3EE1CA746A4695  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:55:38]
565*2^1119101-1 is not prime.  Res64: 92C455B625167894  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:55:38]
405*2^1119102-1 is not prime.  Res64: 084FEC4DB711C2BB  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:55:38]
563*2^1119098-1 is not prime.  Res64: A517F94902DE0E07  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:55:39]
567*2^1119098-1 is not prime.  Res64: 8C8D0D3E12C4B107  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:56:01]
413*2^1119102-1 is not prime.  Res64: E6B8C0542F64AB7F  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:56:02]
437*2^1119102-1 is not prime.  Res64: 29CB6045042201A4  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:56:09]
521*2^1119102-1 is not prime.  Res64: 238326AD9A4BC97F  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:56:09]
525*2^1119102-1 is not prime.  Res64: 509D1F8F1DDB2780  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:56:11]
579*2^1119099-1 is not prime.  Res64: 316584B0A73215D6  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:56:12]
595*2^1119099-1 is not prime.  Res64: 38761104B02EF2D5  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:56:35]
559*2^1119103-1 is not prime.  Res64: F6F1ED12A857A3A2  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:56:36]
583*2^1119103-1 is not prime.  Res64: 00C09DE3344D8BBE  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:57:12]
545*2^1119110-1 is not prime.  Res64: F9B4F436C470CF39  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:57:13]
575*2^1119110-1 is not prime.  Res64: FFF5B08A87B8138F  Time : 0.0 sec.
user=juhehe
[2012-02-04 03:57:19]
405*2^1119051-1 is not prime.  Res64: 3CB4016E86754857  Time : 0.0 sec.
user=henryzz
[2012-02-04 03:57:56]
451*2^1119109-1 is not prime.  Res64: CFC0ECC6164259AC  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:58:09]
525*2^1119112-1 is not prime.  Res64: E80960DFA0E52729  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:58:10]
563*2^1119112-1 is not prime.  Res64: DF89C1A747E1F72B  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:58:20]
525*2^1119098-1 is not prime.  Res64: 31B9BC05C00CD723  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:58:21]
561*2^1119098-1 is not prime.  Res64: BBAF8613CA94AF29  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:59:31]
423*2^1119094-1 is not prime.  Res64: 3CCF7CB3E7BEE459  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:59:32]
495*2^1119094-1 is not prime.  Res64: 5212ADB004EBAECA  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:59:36]
489*2^1119101-1 is not prime.  Res64: B442C69C30200394  Time : 0.0 sec.
user=vaughan
[2012-02-04 03:59:37]
537*2^1119101-1 is not prime.  Res64: 8AA1BA30D37B7CDB  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:01:36]
549*2^1119101-1 is not prime.  Res64: 0EC63DEBD31D79CD  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:01:37]
561*2^1119101-1 is not prime.  Res64: 4682E4B5DCA2A942  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:02:19]
587*2^1119094-1 is not prime.  Res64: F0A526954609FA9E  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:02:21]
421*2^1119095-1 is not prime.  Res64: 006C0A3682E4DD60  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:02:28]
411*2^1118651-1 is not prime.  Res64: 74982FB0A72C9E21  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:02:29]
493*2^1118651-1 is not prime.  Res64: DA159D0DE71B20D9  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:02:39]
511*2^1119095-1 is not prime.  Res64: D430AA05CB1DE117  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:02:40]
525*2^1119095-1 is not prime.  Res64: 0CD0BA23471FAAD4  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:03:16]
553*2^1119115-1 is not prime.  Res64: 201568FB9D762572  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:03:17]
437*2^1119116-1 is not prime.  Res64: 3229432F4E44F9A6  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:03:34]
595*2^1119103-1 is not prime.  Res64: 4D22D399783B4C8A  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:03:34]
413*2^1119104-1 is not prime.  Res64: D31B56019086E837  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:04:16]
427*2^1119105-1 is not prime.  Res64: 9FCE23CD6FFE7AE0  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:04:18]
581*2^1119106-1 is not prime.  Res64: 8537A2A6FFC4F61D  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:06:21]
545*2^1118644-1 is not prime.  Res64: FEA34C696670FD01  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:06:23]
469*2^1118645-1 is not prime.  Res64: E7DA12F051595D51  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:06:25]
585*2^1119117-1 is not prime.  Res64: 570493EA566E2573  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:06:27]
413*2^1119118-1 is not prime.  Res64: 799B1D0C163FAEF0  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:09:52]
587*2^1119102-1 is not prime.  Res64: 77E0167BAB6158B7  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:09:54]
441*2^1119103-1 is not prime.  Res64: 9D8EEBCD907A3521  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:10:44]
459*2^1119108-1 is not prime.  Res64: B650DAB67910FBC1  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:10:45]
515*2^1119108-1 is not prime.  Res64: B81FD2A0D3F18B06  Time : 0.0 sec.
user=henryzz
[2012-02-04 04:12:44]
513*2^1119118-1 is not prime.  Res64: CE0A22F0876934C9  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:12:52]
503*2^1118648-1 is not prime.  Res64: 546E077DC692C7B7  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:12:54]
585*2^1118648-1 is not prime.  Res64: 58C3D93F7BE82F2B  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:14:12]
569*2^1119108-1 is not prime.  Res64: 21F0D02AFE855504  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:14:13]
439*2^1119109-1 is not prime.  Res64: 47C77744D92912FC  Time : 0.0 sec.
user=henryzz
[2012-02-04 04:15:37]
455*2^1119120-1 is not prime.  Res64: 80F8E652262D724A  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:15:57]
559*2^1119109-1 is not prime.  Res64: A03B6D3E6B58C925  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:15:58]
595*2^1119109-1 is not prime.  Res64: C4D533680E949051  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:16:03]
483*2^1119110-1 is not prime.  Res64: 505A3CBB13DEC6D4  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:16:03]
525*2^1119110-1 is not prime.  Res64: 822A4641351A8836  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:16:58]
421*2^1119127-1 is not prime.  Res64: 8242D8455EE8169A  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:16:58]
453*2^1119127-1 is not prime.  Res64: 2B7E9FE92F747FA2  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:17:03]
511*2^1119111-1 is not prime.  Res64: 8A0119FBDF421EE4  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:17:03]
419*2^1119112-1 is not prime.  Res64: 36319A52AAF15DC5  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:17:55]
523*2^1119127-1 is not prime.  Res64: D9C4102911252E73  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:17:56]
559*2^1119127-1 is not prime.  Res64: 846CBB80C4DE8E91  Time : 0.0 sec.
user=henryzz
[2012-02-04 04:19:11]
549*2^1119121-1 is not prime.  Res64: 3FC6E8205644E60D  Time : 0.0 sec.
user=henryzz
[2012-02-04 04:20:15]
493*2^1119127-1 is not prime.  Res64: 03444739D1D7B20D  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:23:02]
447*2^1119132-1 is not prime.  Res64: 1A3567EA473E9101  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:23:02]
479*2^1119132-1 is not prime.  Res64: 970A6EBEA839D5A9  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:25:15]
455*2^1119116-1 is not prime.  Res64: 4CF26DA0D29BBDE3  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:25:15]
593*2^1119116-1 is not prime.  Res64: 052BCC59E4146AD6  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:25:49]
495*2^1119117-1 is not prime.  Res64: 0743BC2DA872BE15  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:25:49]
507*2^1119117-1 is not prime.  Res64: 2FA5AA07089C023D  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:26:21]
495*2^1119134-1 is not prime.  Res64: A95F8A9113DDC261  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:26:21]
545*2^1119134-1 is not prime.  Res64: 535B9EC21C968B18  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:26:36]
579*2^1118651-1 is not prime.  Res64: 28784B4BF6E68200  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:26:37]
485*2^1118652-1 is not prime.  Res64: BA2D75A1264173C8  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:28:24]
523*2^1119123-1 is not prime.  Res64: F4B25291D44CEB40  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:28:25]
565*2^1119123-1 is not prime.  Res64: 94F4913B975F076C  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:28:58]
497*2^1119124-1 is not prime.  Res64: 7EC37C70556D900B  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:28:58]
569*2^1119124-1 is not prime.  Res64: 6B82A682300D6C0D  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:28:59]
441*2^1119125-1 is not prime.  Res64: A1AF87F8FE1BC742  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:29:00]
405*2^1119126-1 is not prime.  Res64: 549839BD926FB462  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:29:24]
551*2^1119126-1 is not prime.  Res64: EA7583E550B41C8C  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:29:25]
581*2^1119126-1 is not prime.  Res64: C57CA53A94F1CFB6  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:29:31]
551*2^1119118-1 is not prime.  Res64: 8FEFF49DB81C2F04  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:29:32]
439*2^1119119-1 is not prime.  Res64: 4F680B893994E96E  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:30:21]
501*2^1119119-1 is not prime.  Res64: CF79933165C9662C  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:30:22]
543*2^1119119-1 is not prime.  Res64: 5A6EBC3448CF67EB  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:30:23]
571*2^1119113-1 is not prime.  Res64: 2A8FC5F4B94E28DA  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:30:24]
431*2^1119114-1 is not prime.  Res64: 7514556A4EA923ED  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:30:33]
465*2^1119113-1 is not prime.  Res64: 424D79281FF3BDA2  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:30:34]
547*2^1119113-1 is not prime.  Res64: B3AF01CF61F2C82D  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:30:45]
537*2^1119121-1 is not prime.  Res64: B7675B544599A943  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:30:46]
541*2^1119121-1 is not prime.  Res64: ABD570A8D27C3D6E  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:31:48]
481*2^1119123-1 is not prime.  Res64: 81B69277701DBAF7  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:31:49]
495*2^1119123-1 is not prime.  Res64: 843B4FF4E5BA4F8D  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:32:11]
485*2^1119114-1 is not prime.  Res64: 4FDA1AE67EB1D89E  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:32:12]
587*2^1119114-1 is not prime.  Res64: 071DCDF75E959B18  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:32:20]
447*2^1119124-1 is not prime.  Res64: E23F4C1FE955BA21  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:32:21]
495*2^1119124-1 is not prime.  Res64: BCE5652C8D594999  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:32:51]
507*2^1119126-1 is not prime.  Res64: 9C4C8211F80D8EAF  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:32:53]
521*2^1119126-1 is not prime.  Res64: D71F7A602F52F1CB  Time : 0.0 sec.
user=juhehe
[2012-02-04 04:34:31]
415*2^1119123-1 is not prime.  Res64: E57D80CA8729F72B  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:35:03]
569*2^1119112-1 is not prime.  Res64: DFC1D4874FBA28BB  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:35:04]
411*2^1119113-1 is not prime.  Res64: 8F9D23C48FD0DA07  Time : 0.0 sec.
user=juhehe
[2012-02-04 04:36:32]
475*2^1119127-1 is not prime.  Res64: 21E15391028E4874  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:36:47]
495*2^1119138-1 is not prime.  Res64: 826888D6B5A226BF  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:36:48]
563*2^1119138-1 is not prime.  Res64: 2213E6BBB4E27772  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:37:36]
425*2^1119128-1 is not prime.  Res64: ADF7A1758D869DBC  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:37:38]
479*2^1119128-1 is not prime.  Res64: A55FDF0752E84857  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:37:44]
595*2^1119139-1 is not prime.  Res64: B7C49697A585A86B  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:37:45]
447*2^1119140-1 is not prime.  Res64: 5E21F28A83BB3535  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:38:59]
557*2^1119128-1 is not prime.  Res64: 6DECF53CBF940589  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:39:00]
441*2^1119129-1 is not prime.  Res64: 1463767071AEBEA8  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:41:03]
555*2^1119129-1 is not prime.  Res64: 95DFBD9E8F289AA4  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:41:04]
565*2^1119129-1 is not prime.  Res64: 8E9EE9E0CCEC0522  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:42:46]
483*2^1119140-1 is not prime.  Res64: 80A6164B8143B129  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:42:47]
525*2^1119140-1 is not prime.  Res64: D5194275FA24E283  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:42:55]
507*2^1119132-1 is not prime.  Res64: F3DC601BC430E6B7  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:42:55]
411*2^1119133-1 is not prime.  Res64: 438234124BE8E4BF  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:43:40]
465*2^1119133-1 is not prime.  Res64: 2450F7855590D71E  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:43:40]
577*2^1119133-1 is not prime.  Res64: E92930110F39034C  Time : 0.0 sec.
user=henryzz
[2012-02-04 04:43:44]
573*2^1119135-1 is not prime.  Res64: 1DCB5FF00F39CD4B  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:45:45]
507*2^1119128-1 is not prime.  Res64: 973D19852D209DCB  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:45:46]
515*2^1119128-1 is not prime.  Res64: 3ABC7EB6BE174589  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:46:07]
453*2^1119142-1 is not prime.  Res64: 5ADE2E6825F90263  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:46:08]
471*2^1119142-1 is not prime.  Res64: 76420323242DAF53  Time : 0.0 sec.
user=henryzz
[2012-02-04 04:48:30]
585*2^1119137-1 is not prime.  Res64: 86CF92033035E820  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:48:35]
447*2^1119130-1 is not prime.  Res64: 6E46323F7618CB40  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:48:36]
461*2^1119130-1 is not prime.  Res64: D6AE59857C56D2C8  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:48:51]
425*2^1119132-1 is not prime.  Res64: 98BF637A8C0185CD  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:48:52]
429*2^1119132-1 is not prime.  Res64: 22D3B051C40226AD  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:50:06]
493*2^1119135-1 is not prime.  Res64: 23E2ACE1663C9E6A  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:50:07]
535*2^1119135-1 is not prime.  Res64: 965917075B8E2536  Time : 0.0 sec.
user=henryzz
[2012-02-04 04:50:30]
467*2^1119140-1 is not prime.  Res64: E08A7DB139ECA055  Time : 0.0 sec.
user=henryzz
[2012-02-04 04:52:08]
465*2^1119140-1 is not prime.  Res64: 8311D1778C14A9A9  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:53:49]
567*2^1119136-1 is not prime.  Res64: EF7885099CB42163  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:53:50]
489*2^1119137-1 is not prime.  Res64: AAE2A30BBCFEF9AE  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:55:25]
589*2^1119137-1 is not prime.  Res64: AB89B01011A37D0A  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:55:25]
431*2^1119138-1 is not prime.  Res64: ED4CB1823F569917  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:55:38]
461*2^1119138-1 is not prime.  Res64: 0495BD133E47B130  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:55:39]
465*2^1119138-1 is not prime.  Res64: 6E9A74353DEF5C9F  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:56:05]
405*2^1119135-1 is not prime.  Res64: AF4AD8AB6454235B  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:56:06]
489*2^1119135-1 is not prime.  Res64: 2122B0B23CD54F03  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:56:30]
415*2^1119139-1 is not prime.  Res64: 85E2614B60C3895F  Time : 0.0 sec.
user=vaughan
[2012-02-04 04:56:30]
549*2^1119139-1 is not prime.  Res64: 16606166A5DE8901  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:01:16]
423*2^1119143-1 is not prime.  Res64: EBCB86BA22F51065  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:01:19]
573*2^1119143-1 is not prime.  Res64: 80AAE2594A7DCC4D  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:01:50]
567*2^1119144-1 is not prime.  Res64: 528F0DA611607535  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:01:51]
411*2^1119145-1 is not prime.  Res64: 5190BDAD90EBE72C  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:01:52]
495*2^1119145-1 is not prime.  Res64: 88586A58A17E3778  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:01:55]
565*2^1119145-1 is not prime.  Res64: 4AE1DBED70C4489E  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:02:15]
589*2^1119145-1 is not prime.  Res64: 73EA1B57AEF4F6E1  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:02:18]
425*2^1119146-1 is not prime.  Res64: 75504BB51811F1AA  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:03:46]
481*2^1119153-1 is not prime.  Res64: BB3F654D02A494A4  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:03:47]
499*2^1119153-1 is not prime.  Res64: FC3D2AD46D8D77C3  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:04:37]
405*2^1119141-1 is not prime.  Res64: F4EBF7C7831FEA8C  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:04:38]
429*2^1119141-1 is not prime.  Res64: DABF672B80D8535E  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:05:11]
471*2^1119141-1 is not prime.  Res64: AC9BF344AAA6F950  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:05:12]
507*2^1119141-1 is not prime.  Res64: 07A26A50DB89D72C  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:06:16]
545*2^1119146-1 is not prime.  Res64: 8AA2082C41D5EA00  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:06:19]
563*2^1119146-1 is not prime.  Res64: BEEC5072DA8D9D34  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:07:03]
587*2^1119146-1 is not prime.  Res64: 5DD6BEA16608382C  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:07:04]
433*2^1119147-1 is not prime.  Res64: 85250C81AD2A51D0  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:07:24]
451*2^1119149-1 is not prime.  Res64: F33A411EA5E96960  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:07:25]
481*2^1119149-1 is not prime.  Res64: 6802C20041A83125  Time : 0.0 sec.
user=juhehe
[2012-02-04 05:07:28]
437*2^1119152-1 is not prime.  Res64: FEBAF241FA03B5E4  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:08:27]
423*2^1119150-1 is not prime.  Res64: C05B55318770C3BA  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:08:29]
431*2^1119150-1 is not prime.  Res64: 5EE8BE7DE7B1B159  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:09:03]
537*2^1119150-1 is not prime.  Res64: 0935D901F5C0D2FE  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:09:04]
567*2^1119150-1 is not prime.  Res64: 04C5F0909A6AA2A5  Time : 0.0 sec.
user=juhehe
[2012-02-04 05:09:25]
459*2^1119153-1 is not prime.  Res64: E562C5F54F363201  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:09:33]
423*2^1119151-1 is not prime.  Res64: 23CA0B068359C73A  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:09:34]
519*2^1119151-1 is not prime.  Res64: 5EB6EBEA9AB44C40  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:12:27]
465*2^1119130-1 is not prime.  Res64: 47047EF76A3B0017  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:12:28]
571*2^1119131-1 is not prime.  Res64: C114DB16EB8A9779  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:15:30]
571*2^1119153-1 is not prime.  Res64: D29EC190835F17E5  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:15:33]
411*2^1119154-1 is not prime.  Res64: 36FF79E64E082F6B  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:15:41]
495*2^1119136-1 is not prime.  Res64: 6F2573B340E3A0C4  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:15:42]
527*2^1119136-1 is not prime.  Res64: 674E768AAC533BBB  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:17:05]
517*2^1119153-1 is not prime.  Res64: C7AD348B4EA01DB2  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:17:06]
529*2^1119153-1 is not prime.  Res64: E97D2A8241635631  Time : 0.0 sec.
user=henryzz
[2012-02-04 05:17:21]
567*2^1119158-1 is not prime.  Res64: 2AAC671B877CB9AC  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:18:20]
527*2^1119154-1 is not prime.  Res64: 1EE5A83B2BA0D1EC  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:18:20]
531*2^1119154-1 is not prime.  Res64: 8C37F842EC0994A3  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:18:42]
439*2^1119147-1 is not prime.  Res64: 02EAB814BF05CE74  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:18:42]
529*2^1119147-1 is not prime.  Res64: 97F1891DCF6986E8  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:19:08]
435*2^1119148-1 is not prime.  Res64: A134B0A1FB918203  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:19:09]
519*2^1119148-1 is not prime.  Res64: E1F777E881371E8A  Time : 0.0 sec.
user=henryzz
[2012-02-04 05:19:39]
489*2^1119159-1 is not prime.  Res64: AB3DA06B0F2CB38D  Time : 0.0 sec.
user=henryzz
[2012-02-04 05:19:40]
549*2^1119161-1 is not prime.  Res64: DAEFB2A409DDB1F1  Time : 0.0 sec.
user=henryzz
[2012-02-04 05:20:08]
547*2^1119161-1 is not prime.  Res64: A9782B5D439FE105  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:20:23]
595*2^1119155-1 is not prime.  Res64: 0685737CD0BA1B8B  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:20:23]
453*2^1119156-1 is not prime.  Res64: B9140D3AAB9E773E  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:20:38]
501*2^1119150-1 is not prime.  Res64: 7EA63728A36A6013  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:20:39]
513*2^1119150-1 is not prime.  Res64: A9BD9B94BBE86C14  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:21:49]
537*2^1119156-1 is not prime.  Res64: DFE42A446AAE8646  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:21:49]
587*2^1119156-1 is not prime.  Res64: 780831DF3CCD348B  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:22:13]
597*2^1119156-1 is not prime.  Res64: 8F8B966F60345165  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:22:13]
555*2^1119157-1 is not prime.  Res64: E669CE2A9190F8DE  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:22:58]
417*2^1119158-1 is not prime.  Res64: 800C847F5522D626  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:22:58]
533*2^1119158-1 is not prime.  Res64: 8387447104ECAF91  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:29:24]
487*2^1119161-1 is not prime.  Res64: E1E1471E76D81398  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:29:25]
517*2^1119161-1 is not prime.  Res64: 9DCA94CA2398FF44  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:31:56]
573*2^1119158-1 is not prime.  Res64: 44C2BB2B8B32E94C  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:31:56]
429*2^1119159-1 is not prime.  Res64: FE6CF6DA418FE4BF  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:33:08]
525*2^1119142-1 is not prime.  Res64: A945DC8AEF7A140D  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:33:09]
561*2^1119142-1 is not prime.  Res64: 113A16E53ADB0473  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:33:24]
415*2^1119163-1 is not prime.  Res64: BB23A64B3DBF7D77  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:33:25]
421*2^1119163-1 is not prime.  Res64: 0E0303F336E6A53F  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:34:19]
495*2^1119166-1 is not prime.  Res64: 9DD0E6BC553035AF  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:34:19]
503*2^1119166-1 is not prime.  Res64: 32659606DA9DAA13  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:34:44]
421*2^1119167-1 is not prime.  Res64: DEDB3B6A876A34CD  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:34:44]
501*2^1119159-1 is not prime.  Res64: A23A85E3173B2EBA  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:34:45]
441*2^1119167-1 is not prime.  Res64: B01276263A8E4114  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:34:45]
523*2^1119159-1 is not prime.  Res64: 66EEC99DA694695E  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:34:50]
453*2^1119168-1 is not prime.  Res64: 29DD24F950D6F15C  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:34:51]
505*2^1119163-1 is not prime.  Res64: A452C8C743BCE1F1  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:34:51]
465*2^1119168-1 is not prime.  Res64: 62E82D32C3887E63  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:34:51]
525*2^1119164-1 is not prime.  Res64: D02ACA47A963C61F  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:35:04]
479*2^1119160-1 is not prime.  Res64: DF35BE464BF27C40  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:35:04]
549*2^1119160-1 is not prime.  Res64: 3E6EF1DB6409BA96  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:35:05]
471*2^1119159-1 is not prime.  Res64: 8089F0A062533ED8  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:35:05]
481*2^1119159-1 is not prime.  Res64: AF23A9D626586202  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:35:08]
489*2^1119168-1 is not prime.  Res64: B27CA0A8C1961115  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:35:09]
563*2^1119168-1 is not prime.  Res64: 0CD4A8AA326DF4D8  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:35:15]
573*2^1119164-1 is not prime.  Res64: DE5A55EF8B8F1A7C  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:35:15]
475*2^1119165-1 is not prime.  Res64: 6C74DC0125A87A27  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:35:58]
577*2^1119165-1 is not prime.  Res64: 305616EE184B489D  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:35:59]
465*2^1119166-1 is not prime.  Res64: 78C65354192FA121  Time : 0.0 sec.
user=juhehe
[2012-02-04 05:40:23]
539*2^1119172-1 is not prime.  Res64: 88CAA40FFFBEA696  Time : 0.0 sec.
user=juhehe
[2012-02-04 05:42:09]
511*2^1119173-1 is not prime.  Res64: 3333E37818683DF3  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:42:20]
481*2^1119165-1 is not prime.  Res64: 08F96770A015A531  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:42:21]
507*2^1119165-1 is not prime.  Res64: FA92D40AEA3463B7  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:43:04]
437*2^1119170-1 is not prime.  Res64: 0C96E0F9A1F101B2  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:43:05]
433*2^1119171-1 is not prime.  Res64: 6E89EEFE34BA6723  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:43:47]
475*2^1119171-1 is not prime.  Res64: 1BB6862AD4B334A5  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:43:47]
419*2^1119172-1 is not prime.  Res64: BE60860979D489E4  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:44:02]
511*2^1119169-1 is not prime.  Res64: 79DA8146B8F2F977  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:44:02]
565*2^1119169-1 is not prime.  Res64: 3907ADC1FE51EDE1  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:44:17]
429*2^1119172-1 is not prime.  Res64: E6C16939FC2E66E2  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:44:17]
453*2^1119172-1 is not prime.  Res64: 225EE5BB98107A9B  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:44:27]
405*2^1119170-1 is not prime.  Res64: 364FD75CD13190F4  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:44:27]
407*2^1119170-1 is not prime.  Res64: C8EE52A3FEDA3F4B  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:45:11]
573*2^1119172-1 is not prime.  Res64: FE9E75FA43EB6B30  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:45:11]
593*2^1119172-1 is not prime.  Res64: C7BDFBC9891979C4  Time : 0.0 sec.
user=henryzz
[2012-02-04 05:45:37]
501*2^1119182-1 is not prime.  Res64: 4B74817D13673C05  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:45:44]
417*2^1119173-1 is not prime.  Res64: 38220901C9F59127  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:45:45]
439*2^1119173-1 is not prime.  Res64: BB9D003D3339DEE4  Time : 0.0 sec.
user=henryzz
[2012-02-04 05:46:04]
503*2^1119182-1 is not prime.  Res64: 2F830F6E9AB89470  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:46:14]
447*2^1119174-1 is not prime.  Res64: FDA2F44D201BF317  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:46:14]
441*2^1119175-1 is not prime.  Res64: 761B5238A5E35C6F  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:47:29]
439*2^1119169-1 is not prime.  Res64: FDA748DEC9689F23  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:47:29]
471*2^1119169-1 is not prime.  Res64: B99239AC038956E9  Time : 0.0 sec.
user=henryzz
[2012-02-04 05:49:07]
455*2^1119182-1 is not prime.  Res64: CE5782B571E5B6D2  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:54:44]
495*2^1119176-1 is not prime.  Res64: C8C977614FC590F1  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:54:45]
573*2^1119176-1 is not prime.  Res64: 619307202576CCFB  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:55:36]
489*2^1119121-1 is not prime.  Res64: A0C1A3A8F8786DD7  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:55:37]
535*2^1119121-1 is not prime.  Res64: 0B0DC20FBD73EAB3  Time : 0.0 sec.
user=henryzz
[2012-02-04 05:56:05]
491*2^1119178-1 is not prime.  Res64: 137057021FFEA18F  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:56:24]
423*2^1119178-1 is not prime.  Res64: 8F6DC174EB007BE1  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:56:24]
443*2^1119178-1 is not prime.  Res64: B4634AA34DCAD5C2  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:57:28]
465*2^1119184-1 is not prime.  Res64: 24B30211E6914674  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:57:28]
539*2^1119184-1 is not prime.  Res64: C549DB77F3C7A6C2  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:57:43]
511*2^1119179-1 is not prime.  Res64: A923FCCF6E7F7619  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:57:44]
573*2^1119179-1 is not prime.  Res64: 981F20BD6B93C254  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:59:37]
573*2^1119182-1 is not prime.  Res64: F4A04D3C87ED0FB8  Time : 0.0 sec.
user=vaughan
[2012-02-04 05:59:37]
411*2^1119183-1 is not prime.  Res64: 62D832E23056A682  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:01:27]
563*2^1119184-1 is not prime.  Res64: 80158580723A8E79  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:01:31]
569*2^1119184-1 is not prime.  Res64: FD76C3F78B0CC188  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:02:23]
409*2^1119185-1 is not prime.  Res64: D56652881AB219C4  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:02:24]
465*2^1119185-1 is not prime.  Res64: CBACBB8E8E81B3F4  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:07:13]
467*2^1119180-1 is not prime.  Res64: CB62CA799F12156D  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:07:14]
567*2^1119180-1 is not prime.  Res64: EE6F7B5894AD0F2C  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:07:19]
569*2^1119180-1 is not prime.  Res64: BC77ED4CAD985BCD  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:07:20]
471*2^1119189-1 is not prime.  Res64: 0227B83E03CB76E6  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:07:20]
427*2^1119181-1 is not prime.  Res64: 2C0661D0EDFB409B  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:07:21]
559*2^1119189-1 is not prime.  Res64: 59CE444B4B076B18  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:07:31]
597*2^1119189-1 is not prime.  Res64: 25D67ED57FA0B964  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:07:34]
453*2^1119190-1 is not prime.  Res64: 891C448A25957689  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:07:48]
525*2^1119191-1 is not prime.  Res64: 5A30A3D4EF23C3F2  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:07:50]
549*2^1119191-1 is not prime.  Res64: 96DFBD8DC487B8D9  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:07:55]
539*2^1119192-1 is not prime.  Res64: 95DF634A4B2EE3A2  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:07:56]
405*2^1119193-1 is not prime.  Res64: 454CB464719F2CD4  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:08:52]
483*2^1118642-1 is not prime.  Res64: B2D752A12B7D3A71  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:08:53]
487*2^1119185-1 is not prime.  Res64: A11D14B05F9E198D  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:09:13]
441*2^1119183-1 is not prime.  Res64: C97C113087665339  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:09:15]
501*2^1119183-1 is not prime.  Res64: 04AA5AC2335A84C2  Time : 0.0 sec.
user=juhehe
[2012-02-04 06:12:41]
545*2^1119194-1 is not prime.  Res64: 90EA3BF1C04FEDEF  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:13:01]
533*2^1119188-1 is not prime.  Res64: BE9EC09627515DB5  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:13:05]
557*2^1119188-1 is not prime.  Res64: 81E2F38D22AA92C4  Time : 0.0 sec.
user=henryzz
[2012-02-04 06:13:40]
453*2^1119198-1 is not prime.  Res64: 32C99845D1811643  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:14:17]
559*2^1119191-1 is not prime.  Res64: CDD0E96A3594AF8C  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:14:17]
595*2^1119191-1 is not prime.  Res64: D3C6179721AB7651  Time : 0.0 sec.
user=juhehe
[2012-02-04 06:14:23]
563*2^1119194-1 is not prime.  Res64: 576146D228529F42  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:14:51]
511*2^1119193-1 is not prime.  Res64: B48B46078FBD5D6C  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:14:51]
423*2^1119194-1 is not prime.  Res64: 0F694085E790256A  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:15:26]
507*2^1119194-1 is not prime.  Res64: 082DE46C57E7F5E8  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:15:26]
525*2^1119194-1 is not prime.  Res64: 4BAC68D87B938EF0  Time : 0.0 sec.
user=henryzz
[2012-02-04 06:16:50]
537*2^1119200-1 is not prime.  Res64: 4D8FEF0609488466  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:18:13]
483*2^1119186-1 is not prime.  Res64: FEF1E25607163BC4  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:18:14]
521*2^1119186-1 is not prime.  Res64: 991D77D033EA077F  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:18:30]
449*2^1119176-1 is not prime.  Res64: DE651473B8F5BFD6  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:18:30]
483*2^1119176-1 is not prime.  Res64: 1CA4FCDB8E519730  Time : 0.0 sec.
user=henryzz
[2012-02-04 06:19:03]
467*2^1119202-1 is not prime.  Res64: 4D4A6F59E8D3CB77  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:19:43]
591*2^1119195-1 is not prime.  Res64: A78EA4C8B14EBF2A  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:19:43]
447*2^1119196-1 is not prime.  Res64: 8CDF5A52591B60AB  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:20:28]
525*2^1119196-1 is not prime.  Res64: 999E61CC0BA9E196  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:20:29]
573*2^1119196-1 is not prime.  Res64: 7A155C74D9DD9981  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:20:51]
423*2^1119191-1 is not prime.  Res64: 2A4C52293708A190  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:20:52]
445*2^1119191-1 is not prime.  Res64: 0838FDE0B480D2D6  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:20:54]
439*2^1119197-1 is not prime.  Res64: 5267584B68230839  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:20:55]
447*2^1119197-1 is not prime.  Res64: F467ACC55C73B5F9  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:21:22]
413*2^1119192-1 is not prime.  Res64: CB7ADFB45D6D5082  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:21:22]
485*2^1119192-1 is not prime.  Res64: 6BEC0904E51EBF39  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:21:49]
401*2^1119198-1 is not prime.  Res64: D304B47B07C2F1A3  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:21:50]
443*2^1119198-1 is not prime.  Res64: 43E21EE03FE9F880  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:21:57]
501*2^1119177-1 is not prime.  Res64: EDD16C867401AE7A  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:21:58]
517*2^1119177-1 is not prime.  Res64: E77F07A929657F7B  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:22:32]
503*2^1119198-1 is not prime.  Res64: B759ADE75FEF2056  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:22:33]
483*2^1119199-1 is not prime.  Res64: F677C1DBA84DAC0D  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:22:51]
599*2^1119200-1 is not prime.  Res64: EF95CC80AB9CE796  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:22:52]
409*2^1119201-1 is not prime.  Res64: 7412E933212F873A  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:23:30]
575*2^1119196-1 is not prime.  Res64: B3E77AF5FAB1FA2F  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:23:30]
597*2^1119196-1 is not prime.  Res64: 97931F2D5C2B99ED  Time : 0.0 sec.
user=henryzz
[2012-02-04 06:23:33]
495*2^1118662-1 is not prime.  Res64: 106F54E9A8042EA0  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:23:42]
475*2^1119197-1 is not prime.  Res64: 306CEB4D7F0BE7AD  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:23:42]
561*2^1119197-1 is not prime.  Res64: 01F9521EF5FFEC6B  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:28:27]
565*2^1119201-1 is not prime.  Res64: 99565D18A7CB3AD6  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:28:28]
423*2^1119202-1 is not prime.  Res64: 604969E8091FDF5F  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:28:30]
495*2^1119195-1 is not prime.  Res64: BE95BA7207CCAD94  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:28:31]
529*2^1119195-1 is not prime.  Res64: 7AE645F070C69BCA  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:34:39]
505*2^1119187-1 is not prime.  Res64: FEFCD61D9CCBC224  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:34:40]
515*2^1119188-1 is not prime.  Res64: 60B4C51E7DCCFE78  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:35:01]
503*2^1119192-1 is not prime.  Res64: C86B7E9CDC9F7156  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:35:01]
527*2^1119192-1 is not prime.  Res64: 60B73CFE554CA656  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:35:46]
521*2^1118662-1 is not prime.  Res64: D02C7FD21891295D  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:35:47]
525*2^1118662-1 is not prime.  Res64: BDA0388E82AEC594  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:37:06]
445*2^1118667-1 is not prime.  Res64: 724969DB8FA35829  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:37:06]
531*2^1118667-1 is not prime.  Res64: 8F362E93CEA6BF58  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:38:56]
471*2^1119202-1 is not prime.  Res64: 658FC5C3D54628E0  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:38:56]
527*2^1119202-1 is not prime.  Res64: F839A02778D9572A  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:39:16]
525*2^1118665-1 is not prime.  Res64: A5C4A9E210A7813E  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:39:16]
541*2^1118665-1 is not prime.  Res64: 27DC3CED1D8F71FE  Time : 0.0 sec.
user=henryzz
[2012-02-04 06:39:17]
475*2^1119211-1 is not prime.  Res64: EC5D41ABDAF9BC7A  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:40:14]
591*2^1119205-1 is not prime.  Res64: 3971BECD2DAFD82B  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:40:15]
407*2^1119206-1 is not prime.  Res64: 96F2CC089DC2015B  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:40:23]
587*2^1119206-1 is not prime.  Res64: 2E6C2B66AB42B960  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:40:23]
489*2^1119207-1 is not prime.  Res64: 5F65EEB40DE59E32  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:40:41]
583*2^1119207-1 is not prime.  Res64: 3CC70647E9E09684  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:40:42]
437*2^1119208-1 is not prime.  Res64: 43F5328C97E02204  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:40:48]
513*2^1119207-1 is not prime.  Res64: 1B55F755B3C36AEF  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:40:48]
531*2^1119207-1 is not prime.  Res64: B5F804F7834E8922  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:41:46]
585*2^1119203-1 is not prime.  Res64: C006A86725A1090A  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:41:47]
503*2^1119204-1 is not prime.  Res64: 0887853EE9C51F6B  Time : 0.0 sec.
user=henryzz
[2012-02-04 06:41:54]
435*2^1119214-1 is not prime.  Res64: 8EEF645AECD9387E  Time : 0.0 sec.
user=henryzz
[2012-02-04 06:42:27]
537*2^1119216-1 is not prime.  Res64: B6BBD8B26366446C  Time : 0.0 sec.
user=juhehe
[2012-02-04 06:44:16]
465*2^1119210-1 is not prime.  Res64: 9D68E3067ABFB01E  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:45:27]
489*2^1119152-1 is not prime.  Res64: F925964EAA6B6885  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:45:27]
507*2^1119152-1 is not prime.  Res64: DF388FC7E053AF61  Time : 0.0 sec.
user=juhehe
[2012-02-04 06:47:15]
449*2^1119212-1 is not prime.  Res64: 8CF50F9ADE2DAA26  Time : 0.0 sec.
user=henryzz
[2012-02-04 06:47:30]
521*2^1119222-1 is not prime.  Res64: A279570CB7D7661F  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:47:54]
507*2^1118644-1 is not prime.  Res64: 80ED1F80AB94BFDE  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:47:55]
587*2^1118650-1 is not prime.  Res64: DD3ECD809F64FE5B  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:48:17]
559*2^1119209-1 is not prime.  Res64: D266A485E9087D1F  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:48:18]
423*2^1119210-1 is not prime.  Res64: 034CFEC1E2BC267A  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:52:37]
405*2^1119211-1 is not prime.  Res64: 02DE9BEE34EE6B57  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:52:37]
465*2^1119211-1 is not prime.  Res64: AF413A1B5BF03F46  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:53:50]
499*2^1119211-1 is not prime.  Res64: 2C4062A2F411DA3E  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:53:50]
595*2^1119211-1 is not prime.  Res64: DADBFB2E4D36A113  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:54:23]
429*2^1119213-1 is not prime.  Res64: F6859017A54D6FA1  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:54:23]
457*2^1119213-1 is not prime.  Res64: 9BE655880668A78A  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:55:02]
507*2^1119213-1 is not prime.  Res64: CAD082E6E917E108  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:55:03]
555*2^1119213-1 is not prime.  Res64: FEDC35559224EFBE  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:55:36]
405*2^1119205-1 is not prime.  Res64: DE527D895B05EAE2  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:55:37]
411*2^1119205-1 is not prime.  Res64: 9FF8B00A200D1D29  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:55:51]
441*2^1119205-1 is not prime.  Res64: C5A679E27D5D51C8  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:55:52]
465*2^1119205-1 is not prime.  Res64: 06A050AF2B273A24  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:56:23]
517*2^1119217-1 is not prime.  Res64: E687584024A8A4B9  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:56:24]
417*2^1119218-1 is not prime.  Res64: F76DEE7FE434C0A0  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:57:10]
447*2^1119218-1 is not prime.  Res64: AF7D100E22E4B125  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:57:10]
497*2^1119218-1 is not prime.  Res64: 657501609A9320E1  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:57:36]
439*2^1119219-1 is not prime.  Res64: 5A417313427C57BB  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:57:37]
495*2^1119219-1 is not prime.  Res64: 00DAA518DC15D54A  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:57:53]
425*2^1119210-1 is not prime.  Res64: 0FC8E5ED6D193CC8  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:57:54]
447*2^1119210-1 is not prime.  Res64: 5E21D895AA7D303B  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:58:33]
565*2^1119219-1 is not prime.  Res64: 5AD335818869377F  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:58:34]
571*2^1119219-1 is not prime.  Res64: 988F069F74E3EAF4  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:59:09]
591*2^1119133-1 is not prime.  Res64: 827668AC1E41DC4A  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:59:09]
453*2^1119134-1 is not prime.  Res64: A0F442DF8B450C2D  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:59:12]
525*2^1119220-1 is not prime.  Res64: 60980E0F90E935C6  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:59:12]
597*2^1119220-1 is not prime.  Res64: E2C11386A9200F10  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:59:31]
417*2^1119221-1 is not prime.  Res64: F518EF956EA51B48  Time : 0.0 sec.
user=vaughan
[2012-02-04 06:59:31]
507*2^1119221-1 is not prime.  Res64: 852605AF82ACFC91  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:02:53]
537*2^1119221-1 is not prime.  Res64: 41CCE6119F21C6E4  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:02:54]
413*2^1119222-1 is not prime.  Res64: 7FB6D06B2DC5AF7A  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:02:56]
439*2^1119223-1 is not prime.  Res64: 99CE753C5F488D98  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:02:57]
451*2^1119223-1 is not prime.  Res64: D35BFC8D890E1199  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:04:27]
483*2^1119214-1 is not prime.  Res64: E791D6808D93DC9F  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:04:30]
533*2^1119214-1 is not prime.  Res64: 5C457237B49745AE  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:06:48]
453*2^1119223-1 is not prime.  Res64: 96BA36D3D1043338  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:06:48]
463*2^1119223-1 is not prime.  Res64: E23CC988D40DA070  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:07:04]
501*2^1119218-1 is not prime.  Res64: 28802E04AC36DD13  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:07:05]
545*2^1119218-1 is not prime.  Res64: 010E6DDED083690F  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:07:31]
501*2^1119219-1 is not prime.  Res64: BAF388C6BC2CD5AC  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:07:34]
549*2^1119219-1 is not prime.  Res64: 00D7715DF44746C4  Time : 0.0 sec.
user=henryzz
[2012-02-04 07:08:48]
465*2^1119228-1 is not prime.  Res64: 159161D8DF73C057  Time : 0.0 sec.
user=henryzz
[2012-02-04 07:10:14]
447*2^1119232-1 is not prime.  Res64: 573B03438BB0D365  Time : 0.0 sec.
user=henryzz
[2012-02-04 07:11:34]
423*2^1119231-1 is not prime.  Res64: FA5442D943576092  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:13:07]
483*2^1119228-1 is not prime.  Res64: BBC6CC21388DF7B3  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:13:07]
439*2^1119229-1 is not prime.  Res64: E37044BB1D105985  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:13:15]
441*2^1119229-1 is not prime.  Res64: 0C2308C25AB72F1B  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:13:16]
511*2^1119229-1 is not prime.  Res64: 70A1BA738B7C500C  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:13:33]
537*2^1119229-1 is not prime.  Res64: 3E748E62E4BB0A06  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:13:33]
565*2^1119229-1 is not prime.  Res64: 4B18CD5445742D79  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:13:41]
501*2^1119230-1 is not prime.  Res64: 04234A811FB39F97  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:13:42]
575*2^1119230-1 is not prime.  Res64: 9AA3998409AE3CB2  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:14:42]
519*2^1119223-1 is not prime.  Res64: E63304FD803C28F5  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:14:43]
595*2^1119223-1 is not prime.  Res64: F90B25B02A40935B  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:14:50]
471*2^1119225-1 is not prime.  Res64: 4146AEF115D28F98  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:14:51]
475*2^1119225-1 is not prime.  Res64: 61B72AD78B7484D4  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:15:11]
481*2^1119225-1 is not prime.  Res64: ED5EA368CB7EF256  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:15:11]
461*2^1119226-1 is not prime.  Res64: E1B103F80A765D9D  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:16:26]
507*2^1119226-1 is not prime.  Res64: 59A10C6C6B5CFF5D  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:16:26]
493*2^1119227-1 is not prime.  Res64: 4FB7588029DE64F9  Time : 0.0 sec.
user=henryzz
[2012-02-04 07:16:27]
485*2^1119234-1 is not prime.  Res64: 654C8AD30CCB2C24  Time : 0.0 sec.
user=juhehe
[2012-02-04 07:16:36]
525*2^1119233-1 is not prime.  Res64: 423910FFF793D7FC  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:18:14]
565*2^1119227-1 is not prime.  Res64: 5B27819999F4E9C1  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:18:14]
589*2^1119227-1 is not prime.  Res64: E1BB3E3B4A560B86  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:18:21]
419*2^1119228-1 is not prime.  Res64: FE146C6922BA740F  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:18:21]
423*2^1119228-1 is not prime.  Res64: 4B820CD3DCC241F9  Time : 0.0 sec.
user=juhehe
[2012-02-04 07:19:39]
401*2^1119234-1 is not prime.  Res64: 2E06D88D03B71EFF  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:20:59]
567*2^1119214-1 is not prime.  Res64: CBFB2BE51B14F4C9  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:21:00]
473*2^1119216-1 is not prime.  Res64: A010786EB0B3C8E5  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:21:09]
593*2^1119230-1 is not prime.  Res64: A354AEC5E8823DCF  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:21:10]
415*2^1119231-1 is not prime.  Res64: F1251CCC15565D2B  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:22:15]
453*2^1119232-1 is not prime.  Res64: DA6B7CBD08AF018E  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:22:16]
465*2^1119233-1 is not prime.  Res64: 14CB293F39E1FB44  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:24:37]
405*2^1119235-1 is not prime.  Res64: F3690A1D9043CBC8  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:24:45]
429*2^1119247-1 is not prime.  Res64: A29C2DA0D3E983AE  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:27:38]
495*2^1119235-1 is not prime.  Res64: 25E588E3E2C917E4  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:27:39]
579*2^1119235-1 is not prime.  Res64: 5AFF2B6B03CBA02F  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:29:54]
483*2^1119250-1 is not prime.  Res64: 6D44D994CBC46439  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:30:11]
585*2^1119251-1 is not prime.  Res64: 1B3F35B54212F97D  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:30:21]
525*2^1119252-1 is not prime.  Res64: 9D8791E52932C9CE  Time : 0.0 sec.
user=henryzz
[2012-02-04 07:30:26]
535*2^1119249-1 is not prime.  Res64: 7EFE74F1D6376820  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:30:32]
435*2^1119254-1 is not prime.  Res64: 3E18B5831B654A2E  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:31:00]
559*2^1119233-1 is not prime.  Res64: 8FC655ACA4FE77B3  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:31:06]
573*2^1119219-1 is not prime.  Res64: 7C56FB5622A973EB  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:31:13]
529*2^1119243-1 is not prime.  Res64: 1C81BAD953866456  Time : 0.0 sec.
user=henryzz
[2012-02-04 07:31:46]
549*2^1119249-1 is not prime.  Res64: 9AEAD614DD58EBC7  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:32:13]
479*2^1119236-1 is not prime.  Res64: F2EC65C15170DFDF  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:32:13]
451*2^1119237-1 is not prime.  Res64: 57B8061D9C59F750  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:32:38]
427*2^1118661-1 is not prime.  Res64: EAD3372319191D24  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:32:38]
455*2^1118662-1 is not prime.  Res64: 6F321FF5AD365FA0  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:33:07]
571*2^1119239-1 is not prime.  Res64: 376AA9F9F1654B8A  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:33:08]
429*2^1119240-1 is not prime.  Res64: 19251B69A35599E2  Time : 0.0 sec.
user=henryzz
[2012-02-04 07:33:19]
423*2^1119250-1 is not prime.  Res64: 1B1F3F6BB079FDB8  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:33:23]
565*2^1119237-1 is not prime.  Res64: AA4B2FE450BD6586  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:33:23]
585*2^1119237-1 is not prime.  Res64: BA15DEA2DF159E0F  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:33:42]
509*2^1119224-1 is not prime.  Res64: 2A5F1F52AB1F8E1D  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:33:43]
469*2^1119225-1 is not prime.  Res64: DA593D86C758CE4C  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:33:43]
459*2^1119240-1 is not prime.  Res64: C88A605B1F5F80B0  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:33:44]
467*2^1119240-1 is not prime.  Res64: 8660DD36285E86C8  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:33:59]
413*2^1119238-1 is not prime.  Res64: 7B332A247EB77B86  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:33:59]
435*2^1119238-1 is not prime.  Res64: 59A91A3CF4768AEF  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:34:13]
465*2^1119241-1 is not prime.  Res64: F3BD3C34FD0B8FFD  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:34:14]
471*2^1119241-1 is not prime.  Res64: 5B4C876ECED2F096  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:34:40]
491*2^1119238-1 is not prime.  Res64: 961AA5405EAE03D3  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:34:41]
503*2^1119238-1 is not prime.  Res64: 7FD51688FB655996  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:35:15]
453*2^1119243-1 is not prime.  Res64: D0D2802A490AF746  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:35:15]
489*2^1119243-1 is not prime.  Res64: B877F59753F81D09  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:36:00]
585*2^1119243-1 is not prime.  Res64: DF76BB166A5D6C99  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:36:01]
595*2^1119243-1 is not prime.  Res64: E8342CC3EC101EAE  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:36:10]
423*2^1119244-1 is not prime.  Res64: 57407B465F2FE35B  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:36:11]
567*2^1119244-1 is not prime.  Res64: E710D4E03253680F  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:42:11]
575*2^1119244-1 is not prime.  Res64: 24522BA2903B1E85  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:42:12]
475*2^1119245-1 is not prime.  Res64: 1EED3E06F085E2AA  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:42:15]
481*2^1119245-1 is not prime.  Res64: 576BAFB2B1B01C44  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:42:16]
589*2^1119245-1 is not prime.  Res64: 7142DEBC6A28B9F6  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:42:51]
495*2^1119256-1 is not prime.  Res64: 50B9CA1CFBACE56F  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:43:43]
481*2^1119239-1 is not prime.  Res64: 6AB1D15630BA39E3  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:43:44]
559*2^1119239-1 is not prime.  Res64: 0E425C9501E9709A  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:43:55]
527*2^1119238-1 is not prime.  Res64: 0B3219A3D9CB559B  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:43:56]
533*2^1119238-1 is not prime.  Res64: 34BDA7F1942E890B  Time : 0.0 sec.
user=henryzz
[2012-02-04 07:43:57]
465*2^1119256-1 is not prime.  Res64: 9517AE1FA3149565  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:45:46]
525*2^1119242-1 is not prime.  Res64: D39DB81BB450BF01  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:45:47]
581*2^1119242-1 is not prime.  Res64: 7669666AF6203DFC  Time : 0.0 sec.
user=juhehe
[2012-02-04 07:48:53]
483*2^1119256-1 is not prime.  Res64: 7E2D7FA7D2DE7AE7  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:50:48]
405*2^1119246-1 is not prime.  Res64: 5E7B3C6C046751F0  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:50:48]
425*2^1119246-1 is not prime.  Res64: 8493EC72CFE5F214  Time : 0.0 sec.
user=juhehe
[2012-02-04 07:51:52]
447*2^1119257-1 is not prime.  Res64: DF7335AFEAF87E32  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:53:16]
595*2^1119247-1 is not prime.  Res64: B5526A669E65E48D  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:53:17]
507*2^1119248-1 is not prime.  Res64: 5AF12EBF3087C43E  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:53:48]
507*2^1119266-1 is not prime.  Res64: BF2A43974123EC83  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:53:51]
563*2^1119248-1 is not prime.  Res64: 1A712ECBCBE5B838  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:53:51]
457*2^1119249-1 is not prime.  Res64: 0F900C8B7B04CA60  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:53:54]
425*2^1119262-1 is not prime.  Res64: 159D927178A43B5E  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:54:01]
443*2^1119268-1 is not prime.  Res64: 84B45CC7A9BC0332  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:54:45]
411*2^1119269-1 is not prime.  Res64: 3CE2E5315B32B3C9  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:54:56]
413*2^1119270-1 is not prime.  Res64: 3C47A1604E024061  Time : 0.0 sec.
user=vaughan
[2012-02-04 07:55:02]
483*2^1119267-1 is not prime.  Res64: 909D00A9A6A49D4D  Time : 0.0 sec.
user=henryzz
[2012-02-04 07:55:57]
483*2^1119260-1 is not prime.  Res64: B1D438040950DD57  Time : 0.0 sec.
user=henryzz
[2012-02-04 07:59:23]
599*2^1119260-1 is not prime.  Res64: 259F907D36834689  Time : 0.0 sec.
user=henryzz
[2012-02-04 07:59:25]
593*2^1119264-1 is not prime.  Res64: 2CD30E2462F70BFD  Time : 0.0 sec.
user=vaughan
[2012-02-04 08:00:52]
507*2^1119254-1 is not prime.  Res64: 8BC779FBEF40D1C8  Time : 0.0 sec.
user=vaughan
[2012-02-04 08:00:53]
545*2^1119254-1 is not prime.  Res64: 9A1DAE4C92AA2453  Time : 0.0 sec.
user=henryzz
[2012-02-04 08:11:46]
489*2^1119271-1 is not prime.  Res64: 623C71293AF7F46B  Time : 0.0 sec.
user=juhehe
[2012-02-04 08:21:23]
449*2^1119272-1 is not prime.  Res64: 380745D69D8102EF  Time : 0.0 sec.
user=henryzz
[2012-02-04 08:22:05]
487*2^1119273-1 is not prime.  Res64: E07F510522418771  Time : 0.0 sec.
user=henryzz
[2012-02-04 08:25:23]
571*2^1119273-1 is not prime.  Res64: C35C6C6F08DDC616  Time : 0.0 sec.
user=henryzz
[2012-02-04 08:27:11]
401*2^1119274-1 is not prime.  Res64: F65438A710502AD9  Time : 0.0 sec.
user=henryzz
[2012-02-04 08:39:31]
411*2^1119275-1 is not prime.  Res64: 74C5AD3E0E91679A  Time : 0.0 sec.
user=henryzz
[2012-02-04 08:48:10]
481*2^1119275-1 is not prime.  Res64: 4CE6CD8FF2ACFA06  Time : 0.0 sec.
user=henryzz
[2012-02-04 08:53:03]
531*2^1119275-1 is not prime.  Res64: 33765CC737DE06F1  Time : 0.0 sec.
user=henryzz
[2012-02-04 08:53:06]
429*2^1119276-1 is not prime.  Res64: B15CBDC944D27E5E  Time : 0.0 sec.
user=henryzz
[2012-02-04 09:06:23]
479*2^1119276-1 is not prime.  Res64: 572BB763298F9526  Time : 0.0 sec.
user=juhehe
[2012-02-04 09:13:06]
405*2^1119273-1 is not prime.  Res64: C0118564D2474430  Time : 0.0 sec.
user=henryzz
[2012-02-04 09:14:58]
483*2^1119276-1 is not prime.  Res64: CA51F687A92DCC8C  Time : 0.0 sec.
user=henryzz
[2012-02-04 09:18:55]
515*2^1119276-1 is not prime.  Res64: FC72119232BDCC12  Time : 0.0 sec.
user=henryzz
[2012-02-04 09:20:12]
427*2^1119277-1 is not prime.  Res64: 395EB844A4BCCB6A  Time : 0.0 sec.
user=henryzz
[2012-02-04 09:30:58]
471*2^1119277-1 is not prime.  Res64: CE6ACBEDB762AED4  Time : 0.0 sec.
user=henryzz
[2012-02-04 09:36:54]
453*2^1119278-1 is not prime.  Res64: 4854D9EC4629138C  Time : 0.0 sec.
user=henryzz
[2012-02-04 09:40:27]
495*2^1119278-1 is not prime.  Res64: C53F4876130B75B6  Time : 0.0 sec.
user=henryzz
[2012-02-04 09:41:32]
503*2^1119278-1 is not prime.  Res64: C5992BD592009CAD  Time : 0.0 sec.
user=henryzz
[2012-02-04 09:51:11]
531*2^1119279-1 is not prime.  Res64: 6D0195E408C94CAC  Time : 0.0 sec.
user=juhehe
[2012-02-04 09:54:12]
531*2^1119277-1 is not prime.  Res64: 955499678ED187AD  Time : 0.0 sec.
user=juhehe
[2012-02-04 09:55:55]
433*2^1119275-1 is not prime.  Res64: AA604B42946BC5C9  Time : 0.0 sec.
user=henryzz
[2012-02-04 09:57:19]
553*2^1119279-1 is not prime.  Res64: 8E98D27309A98A7B  Time : 0.0 sec.
user=henryzz
[2012-02-04 10:00:53]
583*2^1119279-1 is not prime.  Res64: 46C4466BC647B34F  Time : 0.0 sec.
user=henryzz
[2012-02-04 10:02:20]
447*2^1119280-1 is not prime.  Res64: 5EBA02F99327FE89  Time : 0.0 sec.
user=henryzz
[2012-02-04 10:12:09]
571*2^1119281-1 is not prime.  Res64: 9B351AFF3C58ECCE  Time : 0.0 sec.
user=henryzz
[2012-02-04 10:18:04]
413*2^1119282-1 is not prime.  Res64: 3743EE2E10E1CA61  Time : 0.0 sec.
user=henryzz
[2012-02-04 10:21:53]
471*2^1119282-1 is not prime.  Res64: FB1E0577BBBBA99A  Time : 0.0 sec.
user=henryzz
[2012-02-04 10:23:00]
441*2^1119283-1 is not prime.  Res64: 2E0E390DD805CCF0  Time : 0.0 sec.
user=juhehe
[2012-02-04 10:29:36]
585*2^1119281-1 is not prime.  Res64: 86A7B821536E01F2  Time : 0.0 sec.
user=juhehe
[2012-02-04 10:31:21]
401*2^1119282-1 is not prime.  Res64: 0B9D8CAF3F158ADC  Time : 0.0 sec.
user=henryzz
[2012-02-04 10:33:07]
451*2^1119283-1 is not prime.  Res64: E283C210EA092AA3  Time : 0.0 sec.
user=henryzz
[2012-02-04 10:38:42]
549*2^1119283-1 is not prime.  Res64: 52239EA38D13C639  Time : 0.0 sec.
user=henryzz
[2012-02-04 10:42:40]
561*2^1119283-1 is not prime.  Res64: DEFCC6E716E82C4B  Time : 0.0 sec.
user=henryzz
[2012-02-04 10:43:55]
423*2^1119284-1 is not prime.  Res64: E4CBC90ACEBC7156  Time : 0.0 sec.
user=henryzz
[2012-02-04 10:54:06]
451*2^1119285-1 is not prime.  Res64: 5716161D7B39145B  Time : 0.0 sec.
user=henryzz
[2012-02-04 11:00:23]
471*2^1119285-1 is not prime.  Res64: F413CC46C7391367  Time : 0.0 sec.
user=henryzz
[2012-02-04 11:04:19]
591*2^1119285-1 is not prime.  Res64: 48B6052C6171A19C  Time : 0.0 sec.
user=juhehe
[2012-02-04 11:04:59]
437*2^1119284-1 is not prime.  Res64: B59DD8C5FDFE00BF  Time : 0.0 sec.
user=henryzz
[2012-02-04 11:06:06]
483*2^1119286-1 is not prime.  Res64: 803C375474ED4263  Time : 0.0 sec.
user=juhehe
[2012-02-04 11:06:22]
525*2^1119284-1 is not prime.  Res64: 9F4FF76F67561729  Time : 0.0 sec.
user=henryzz
[2012-02-04 11:16:02]
495*2^1119286-1 is not prime.  Res64: 0BA2AEDD2B22A082  Time : 0.0 sec.
user=henryzz
[2012-02-04 11:22:33]
525*2^1119288-1 is not prime.  Res64: 9435293671681166  Time : 0.0 sec.
user=henryzz
[2012-02-04 11:26:19]
489*2^1119289-1 is not prime.  Res64: 66EA96270919DD40  Time : 0.0 sec.
user=henryzz
[2012-02-04 11:27:49]
417*2^1119290-1 is not prime.  Res64: FD7E6D5D5EB7C348  Time : 0.0 sec.
user=henryzz
[2012-02-04 11:37:35]
515*2^1119290-1 is not prime.  Res64: 68C442F9B3504308  Time : 0.0 sec.
user=juhehe
[2012-02-04 11:39:43]
549*2^1119289-1 is not prime.  Res64: DF48AB19C7C363FF  Time : 0.0 sec.
user=juhehe
[2012-02-04 11:41:10]
447*2^1119290-1 is not prime.  Res64: CBCA32E128DE7776  Time : 0.0 sec.
user=henryzz
[2012-02-04 11:43:40]
409*2^1119291-1 is not prime.  Res64: 3219CCE52ADF6486  Time : 0.0 sec.
user=henryzz
[2012-02-04 11:47:39]
511*2^1119291-1 is not prime.  Res64: 6857123C3F6A48B7  Time : 0.0 sec.
user=henryzz
[2012-02-04 11:49:10]
513*2^1119291-1 is not prime.  Res64: F40721D6917F3D2C  Time : 0.0 sec.
user=henryzz
[2012-02-04 11:59:10]
529*2^1119291-1 is not prime.  Res64: 7B542CB4DE0EFBF2  Time : 0.0 sec.
user=henryzz
[2012-02-04 12:04:18]
495*2^1119292-1 is not prime.  Res64: 7EE59DFA856B20C1  Time : 0.0 sec.
user=henryzz
[2012-02-04 12:09:10]
549*2^1119292-1 is not prime.  Res64: E5DACC1487B9A292  Time : 0.0 sec.
user=henryzz
[2012-02-04 12:10:09]
411*2^1119293-1 is not prime.  Res64: 4A75C0DA50097279  Time : 0.0 sec.
user=juhehe
[2012-02-04 12:18:32]
485*2^1119292-1 is not prime.  Res64: C225FFAFA3FEEC93  Time : 0.0 sec.
user=henryzz
[2012-02-04 12:20:12]
421*2^1119293-1 is not prime.  Res64: 2177F5218F39BE70  Time : 0.0 sec.
user=juhehe
[2012-02-04 12:20:23]
447*2^1119292-1 is not prime.  Res64: 76050411CDDAB532  Time : 0.0 sec.
user=henryzz
[2012-02-04 12:25:15]
435*2^1119293-1 is not prime.  Res64: E53E35AD3798F2D2  Time : 0.0 sec.
user=henryzz
[2012-02-04 12:30:24]
451*2^1119293-1 is not prime.  Res64: B396B64DCF6C9AA8  Time : 0.0 sec.
user=henryzz
[2012-02-04 12:31:41]
507*2^1119293-1 is not prime.  Res64: 1173158925CB1CF4  Time : 0.0 sec.
user=henryzz
[2012-02-04 12:41:49]
567*2^1119293-1 is not prime.  Res64: 12080E4FDE22C9F4  Time : 0.0 sec.
user=henryzz
[2012-02-04 12:46:23]
501*2^1119294-1 is not prime.  Res64: DA9368E66E7DA3A7  Time : 0.0 sec.
user=henryzz
[2012-02-04 12:51:19]
555*2^1119295-1 is not prime.  Res64: 01546C2DEF9FF6C7  Time : 0.0 sec.
user=henryzz
[2012-02-04 12:52:25]
495*2^1119296-1 is not prime.  Res64: 9BEFF9BDA3F81E46  Time : 0.0 sec.
user=juhehe
[2012-02-04 12:53:50]
525*2^1119293-1 is not prime.  Res64: 4F9C4F78557E789B  Time : 0.0 sec.
user=juhehe
[2012-02-04 12:55:33]
447*2^1119294-1 is not prime.  Res64: 262311A1E7FBC4F1  Time : 0.0 sec.
user=henryzz
[2012-02-04 13:02:28]
457*2^1119297-1 is not prime.  Res64: 920E1971E8E71082  Time : 0.0 sec.
user=juhehe
[2012-02-04 13:06:45]
449*2^1119052-1 is not prime.  Res64: 604EB43A67C46BE2  Time : 0.0 sec.
user=henryzz
[2012-02-04 13:07:24]
491*2^1119298-1 is not prime.  Res64: D3086DE7CD1F65CE  Time : 0.0 sec.
user=henryzz
[2012-02-04 13:12:15]
507*2^1119298-1 is not prime.  Res64: 988B0E23F6B2124E  Time : 0.0 sec.
user=henryzz
[2012-02-04 13:14:31]
545*2^1119298-1 is not prime.  Res64: BDDEAFF9B099E5A7  Time : 0.0 sec.
user=henryzz
[2012-02-04 13:24:23]
557*2^1119300-1 is not prime.  Res64: 8A39D5DD9FC0313B  Time : 0.0 sec.
user=juhehe
[2012-02-04 13:26:00]
403*2^1119299-1 is not prime.  Res64: 7D3A7AE412E78F37  Time : 0.0 sec.
user=juhehe
[2012-02-04 13:27:31]
433*2^1119299-1 is not prime.  Res64: 6AE6483CF48AA53A  Time : 0.0 sec.
user=henryzz
[2012-02-04 13:29:00]
465*2^1119301-1 is not prime.  Res64: 8DC696EDA85A336F  Time : 0.0 sec.
user=henryzz
[2012-02-04 13:35:58]
511*2^1119301-1 is not prime.  Res64: 7BBDC06110EBAC8D  Time : 0.0 sec.
user=henryzz
[2012-02-04 13:36:28]
489*2^1119301-1 is not prime.  Res64: 63BFC69CA38FC79A  Time : 0.0 sec.
user=henryzz
[2012-02-04 13:45:54]
525*2^1119301-1 is not prime.  Res64: 45D35796CF79A65A  Time : 0.0 sec.
user=henryzz
[2012-02-04 13:51:37]
495*2^1119302-1 is not prime.  Res64: F217A66C03A48D8D  Time : 0.0 sec.
user=juhehe
[2012-02-04 13:57:53]
541*2^1119301-1 is not prime.  Res64: D8C72E8EBAD135AB  Time : 0.0 sec.
user=henryzz
[2012-02-04 13:58:56]
521*2^1119302-1 is not prime.  Res64: 2B86DA245B8A9071  Time : 0.0 sec.
user=juhehe
[2012-02-04 13:59:22]
467*2^1119302-1 is not prime.  Res64: 1502B4FC7500E6C3  Time : 0.0 sec.
user=henryzz
[2012-02-04 14:00:09]
429*2^1119303-1 is not prime.  Res64: 87C48850B42483E6  Time : 0.0 sec.
user=henryzz
[2012-02-04 14:08:24]
471*2^1119303-1 is not prime.  Res64: 5A34E03B310FA623  Time : 0.0 sec.
user=henryzz
[2012-02-04 14:14:45]
481*2^1119303-1 is not prime.  Res64: 77D904BF1BF7A7A2  Time : 0.0 sec.
user=henryzz
[2012-02-04 14:22:55]
495*2^1119304-1 is not prime.  Res64: 5996AB207656D970  Time : 0.0 sec.
user=vaughan
[2012-02-04 14:23:59]
527*2^1119256-1 is not prime.  Res64: 0F7A5C6656848C33  Time : 0.0 sec.
user=henryzz
[2012-02-04 14:24:39]
405*2^1119305-1 is not prime.  Res64: FFB594F5D64A1266  Time : 0.0 sec.
user=henryzz
[2012-02-04 14:31:29]
577*2^1119305-1 is not prime.  Res64: 88AAB846FA7344BC  Time : 0.0 sec.
user=vaughan
[2012-02-04 14:33:24]
437*2^1119260-1 is not prime.  Res64: D10D7F9B304C145A  Time : 0.0 sec.
user=vaughan
[2012-02-04 14:33:24]
473*2^1119260-1 is not prime.  Res64: BB084F167310F655  Time : 0.0 sec.
user=henryzz
[2012-02-04 14:36:28]
579*2^1119305-1 is not prime.  Res64: B6B4F231621B318E  Time : 0.0 sec.
user=henryzz
[2012-02-04 14:43:22]
589*2^1119305-1 is not prime.  Res64: 415619E5DADB2E43  Time : 0.0 sec.
user=henryzz
[2012-02-04 14:45:13]
467*2^1119308-1 is not prime.  Res64: 695DC75B84B188E3  Time : 0.0 sec.
user=vaughan
[2012-02-04 14:48:05]
537*2^1119270-1 is not prime.  Res64: 6CA6B48913D2D7F2  Time : 0.0 sec.
user=vaughan
[2012-02-04 14:48:06]
543*2^1119270-1 is not prime.  Res64: DFACED9CD16DFD8F  Time : 0.0 sec.
user=vaughan
[2012-02-04 14:48:09]
437*2^1119270-1 is not prime.  Res64: 3035BE9314406D84  Time : 0.0 sec.
user=vaughan
[2012-02-04 14:48:09]
525*2^1119270-1 is not prime.  Res64: 1FFA9D7603778B73  Time : 0.0 sec.
user=henryzz
[2012-02-04 14:51:53]
473*2^1119308-1 is not prime.  Res64: AF2FD67CD719E6DD  Time : 0.0 sec.
user=henryzz
[2012-02-04 14:57:01]
495*2^1119309-1 is not prime.  Res64: A853DF864B172296  Time : 0.0 sec.
user=vaughan
[2012-02-04 15:03:24]
531*2^1119306-1 is not prime.  Res64: 1A558F298969401E  Time : 0.0 sec.
user=vaughan
[2012-02-04 15:03:25]
531*2^1119307-1 is not prime.  Res64: FFC622C29CCA6919  Time : 0.0 sec.
user=henryzz
[2012-02-04 15:03:40]
423*2^1119310-1 is not prime.  Res64: 7A4D6EB9D6AA8504  Time : 0.0 sec.
user=henryzz
[2012-02-04 15:05:42]
527*2^1119310-1 is not prime.  Res64: FA6D4ABDD5940B9F  Time : 0.0 sec.
user=henryzz
[2012-02-04 15:12:07]
425*2^1119312-1 is not prime.  Res64: 85352CE91D1CEA46  Time : 0.0 sec.
user=vaughan
[2012-02-04 15:12:48]
515*2^1119308-1 is not prime.  Res64: 1A59BF0A573BD419  Time : 0.0 sec.
user=vaughan
[2012-02-04 15:12:50]
599*2^1119308-1 is not prime.  Res64: 0FB6224C4352EE85  Time : 0.0 sec.
user=henryzz
[2012-02-04 15:17:26]
429*2^1119312-1 is not prime.  Res64: F61FC3E1005389BF  Time : 0.0 sec.
user=henryzz
[2012-02-04 15:24:28]
555*2^1119312-1 is not prime.  Res64: A3F4BF85D50EFF58  Time : 0.0 sec.
user=henryzz
[2012-02-04 15:25:57]
557*2^1119312-1 is not prime.  Res64: 36EBA65C9104145A  Time : 0.0 sec.
user=vaughan
[2012-02-04 15:27:27]
591*2^1119310-1 is not prime.  Res64: D994AB065214239E  Time : 0.0 sec.
user=vaughan
[2012-02-04 15:27:28]
421*2^1119311-1 is not prime.  Res64: C9B8A9BFB709E7E9  Time : 0.0 sec.
user=vaughan
[2012-02-04 15:27:36]
465*2^1119311-1 is not prime.  Res64: 98DCCD47A1149C50  Time : 0.0 sec.
user=vaughan
[2012-02-04 15:27:37]
565*2^1119311-1 is not prime.  Res64: 7265C95AFD24D1C3  Time : 0.0 sec.
user=henryzz
[2012-02-04 15:32:29]
587*2^1119312-1 is not prime.  Res64: D458620B8EA22276  Time : 0.0 sec.
user=henryzz
[2012-02-04 15:37:33]
447*2^1119314-1 is not prime.  Res64: 46ECADE6B08533FF  Time : 0.0 sec.
user=vaughan
[2012-02-04 15:42:44]
479*2^1119312-1 is not prime.  Res64: 9891F645F86AA65F  Time : 0.0 sec.
user=vaughan
[2012-02-04 15:42:44]
497*2^1119312-1 is not prime.  Res64: C22529FD2B37C617  Time : 0.0 sec.
user=henryzz
[2012-02-04 15:44:51]
535*2^1119315-1 is not prime.  Res64: DBB56CEBC84F0D1D  Time : 0.0 sec.
user=henryzz
[2012-02-04 15:46:19]
541*2^1119315-1 is not prime.  Res64: 26F42BF1746B04BF  Time : 0.0 sec.
user=vaughan
[2012-02-04 15:52:11]
559*2^1119313-1 is not prime.  Res64: 07C40F2ADE61D3E1  Time : 0.0 sec.
user=vaughan
[2012-02-04 15:52:12]
417*2^1119314-1 is not prime.  Res64: 5AD2C829AD6647F9  Time : 0.0 sec.
user=henryzz
[2012-02-04 15:52:43]
401*2^1119318-1 is not prime.  Res64: D88BED34131CF426  Time : 0.0 sec.
user=henryzz
[2012-02-04 15:57:47]
501*2^1119318-1 is not prime.  Res64: F77449AA6F0C6290  Time : 0.0 sec.
user=henryzz
[2012-02-04 16:05:15]
405*2^1119320-1 is not prime.  Res64: B1EBEDCBE5EC8D51  Time : 0.0 sec.
user=henryzz
[2012-02-04 16:06:47]
437*2^1119320-1 is not prime.  Res64: 90AFFE9BC0AA4318  Time : 0.0 sec.
user=vaughan
[2012-02-04 16:06:53]
569*2^1119316-1 is not prime.  Res64: C5627934B8F908FB  Time : 0.0 sec.
user=vaughan
[2012-02-04 16:06:54]
579*2^1119316-1 is not prime.  Res64: 46325D2ECAA53C53  Time : 0.0 sec.
user=vaughan
[2012-02-04 16:06:58]
429*2^1119316-1 is not prime.  Res64: B11202456ABDE13E  Time : 0.0 sec.
user=vaughan
[2012-02-04 16:07:00]
545*2^1119316-1 is not prime.  Res64: 9AB62FACE7EB7B75  Time : 0.0 sec.
user=henryzz
[2012-02-04 16:13:12]
495*2^1119321-1 is not prime.  Res64: 937FECA716EFD773  Time : 0.0 sec.
user=henryzz
[2012-02-04 16:18:04]
499*2^1119321-1 is not prime.  Res64: 49E0AFB15E5B3D97  Time : 0.0 sec.
user=mdettweiler
[2012-02-04 16:18:31]
481*2^1119315-1 is not prime.  Res64: B0D8BE5969C23C6D  Time : 0.0 sec.
user=vaughan
[2012-02-04 16:22:10]
555*2^1119318-1 is not prime.  Res64: 7A590660AA55899E  Time : 0.0 sec.
user=vaughan
[2012-02-04 16:22:10]
489*2^1119319-1 is not prime.  Res64: C1FAA4E7BCE66249  Time : 0.0 sec.
user=henryzz
[2012-02-04 16:25:37]
517*2^1119321-1 is not prime.  Res64: 68FEA2DEDC131F61  Time : 0.0 sec.
user=henryzz
[2012-02-04 16:27:02]
571*2^1119321-1 is not prime.  Res64: 9931F4C581856A93  Time : 0.0 sec.
user=vaughan
[2012-02-04 16:31:39]
467*2^1119320-1 is not prime.  Res64: 0021745283AF80EE  Time : 0.0 sec.
user=vaughan
[2012-02-04 16:31:39]
495*2^1119320-1 is not prime.  Res64: B0E2601D4E0A7805  Time : 0.0 sec.
user=henryzz
[2012-02-04 16:33:56]
571*2^1119323-1 is not prime.  Res64: 013FD92A912C9B6E  Time : 0.0 sec.
user=henryzz
[2012-02-04 16:38:27]
545*2^1119324-1 is not prime.  Res64: 7A89627CD1E4288A  Time : 0.0 sec.
user=henryzz
[2012-02-04 16:45:57]
587*2^1119326-1 is not prime.  Res64: 6D902BA7A1F531E5  Time : 0.0 sec.
user=vaughan
[2012-02-04 16:46:27]
593*2^1119322-1 is not prime.  Res64: 7BBAEC6B94B67AC2  Time : 0.0 sec.
user=vaughan
[2012-02-04 16:46:28]
433*2^1119323-1 is not prime.  Res64: 25E3B4952703C6EB  Time : 0.0 sec.
user=vaughan
[2012-02-04 16:46:33]
435*2^1119323-1 is not prime.  Res64: 1D0B728A7F441997  Time : 0.0 sec.
user=vaughan
[2012-02-04 16:46:34]
523*2^1119323-1 is not prime.  Res64: 4D2EB72F27E84A26  Time : 0.0 sec.
user=henryzz
[2012-02-04 16:47:23]
471*2^1119327-1 is not prime.  Res64: DAD7CA5400ADCA78  Time : 0.0 sec.
user=henryzz
[2012-02-04 16:54:17]
585*2^1119327-1 is not prime.  Res64: C1BE4BD15D8E9306  Time : 0.0 sec.
user=henryzz
[2012-02-04 16:58:46]
595*2^1119327-1 is not prime.  Res64: 9F2C798251CE92AD  Time : 0.0 sec.
user=vaughan
[2012-02-04 17:01:33]
405*2^1119326-1 is not prime.  Res64: 852156CEE23CAA89  Time : 0.0 sec.
user=vaughan
[2012-02-04 17:01:35]
521*2^1119326-1 is not prime.  Res64: D3B1C73D0AC900D7  Time : 0.0 sec.
user=henryzz
[2012-02-04 17:06:16]
413*2^1119328-1 is not prime.  Res64: A2319BF9624B2AC2  Time : 0.0 sec.
user=henryzz
[2012-02-04 17:07:12]
559*2^1119329-1 is not prime.  Res64: 1CDFAB00677BC301  Time : 0.0 sec.
user=vaughan
[2012-02-04 17:11:00]
493*2^1119327-1 is not prime.  Res64: 8288C106CF2B48A7  Time : 0.0 sec.
user=vaughan
[2012-02-04 17:11:02]
573*2^1119327-1 is not prime.  Res64: 34DC2800A760A39C  Time : 0.0 sec.
user=henryzz
[2012-02-04 17:14:31]
579*2^1119329-1 is not prime.  Res64: EA1AE3E930D058D3  Time : 0.0 sec.
user=mdettweiler
[2012-02-04 17:17:42]
553*2^1119323-1 is not prime.  Res64: 10C62EEA2450393C  Time : 0.0 sec.
user=henryzz
[2012-02-04 17:19:04]
589*2^1119329-1 is not prime.  Res64: 9AE13A9C65544346  Time : 0.0 sec.
user=mdettweiler
[2012-02-04 17:23:50]
413*2^1119324-1 is not prime.  Res64: 59D96DEBB60C20DF  Time : 0.0 sec.
user=mdettweiler
[2012-02-04 17:25:47]
591*2^1119325-1 is not prime.  Res64: 7EC87D19C94CFE66  Time : 0.0 sec.
user=vaughan
[2012-02-04 17:25:50]
519*2^1119328-1 is not prime.  Res64: 2A5B1D804D48B933  Time : 0.0 sec.
user=vaughan
[2012-02-04 17:25:51]
563*2^1119328-1 is not prime.  Res64: 09330C56F1377F27  Time : 0.0 sec.
user=vaughan
[2012-02-04 17:25:55]
567*2^1119328-1 is not prime.  Res64: 57D4788312D32790  Time : 0.0 sec.
user=vaughan
[2012-02-04 17:25:56]
507*2^1119329-1 is not prime.  Res64: EAA8A5598CCFC132  Time : 0.0 sec.
user=henryzz
[2012-02-04 17:26:25]
437*2^1119330-1 is not prime.  Res64: 5E082D8020B707CE  Time : 0.0 sec.
user=henryzz
[2012-02-04 17:27:29]
447*2^1119330-1 is not prime.  Res64: BDE960E4D9A1B6A2  Time : 0.0 sec.
user=henryzz
[2012-02-04 17:34:52]
433*2^1119331-1 is not prime.  Res64: 1A17EEF3E6FF9E97  Time : 0.0 sec.
user=henryzz
[2012-02-04 17:38:58]
515*2^1119332-1 is not prime.  Res64: 2BF4F5F419C933E5  Time : 0.0 sec.
user=vaughan
[2012-02-04 17:41:02]
411*2^1119330-1 is not prime.  Res64: 441323831D4D4819  Time : 0.0 sec.
user=vaughan
[2012-02-04 17:41:03]
431*2^1119330-1 is not prime.  Res64: A5F5AB1B3817727D  Time : 0.0 sec.
user=henryzz
[2012-02-04 17:46:38]
587*2^1119334-1 is not prime.  Res64: 1D1D71496A791BDE  Time : 0.0 sec.
user=henryzz
[2012-02-04 17:47:36]
579*2^1119335-1 is not prime.  Res64: 8A3AD804732F5CCC  Time : 0.0 sec.
user=vaughan
[2012-02-04 17:50:24]
543*2^1119330-1 is not prime.  Res64: 4EC38414FDBF2DDA  Time : 0.0 sec.
user=vaughan
[2012-02-04 17:50:24]
411*2^1119331-1 is not prime.  Res64: AB390FA82FD6B0F1  Time : 0.0 sec.
user=henryzz
[2012-02-04 17:54:56]
479*2^1119336-1 is not prime.  Res64: 43AEE4D2A4A8C689  Time : 0.0 sec.
user=henryzz
[2012-02-04 17:59:04]
525*2^1119336-1 is not prime.  Res64: 87B743CD1121BF05  Time : 0.0 sec.
user=vaughan
[2012-02-04 18:05:14]
559*2^1119333-1 is not prime.  Res64: E9CEAFC1B61EED65  Time : 0.0 sec.
user=vaughan
[2012-02-04 18:05:16]
561*2^1119334-1 is not prime.  Res64: 12867405540CD714  Time : 0.0 sec.
user=vaughan
[2012-02-04 18:05:17]
513*2^1119334-1 is not prime.  Res64: C5B2BCD34048C88D  Time : 0.0 sec.
user=vaughan
[2012-02-04 18:05:19]
567*2^1119334-1 is not prime.  Res64: 3D8E1F109417C015  Time : 0.0 sec.
user=henryzz
[2012-02-04 18:06:41]
421*2^1119337-1 is not prime.  Res64: 5265BFB52E2A7AEB  Time : 0.0 sec.
user=henryzz
[2012-02-04 18:07:48]
435*2^1119337-1 is not prime.  Res64: B169B75FB5F3C545  Time : 0.0 sec.
user=henryzz
[2012-02-04 18:15:08]
497*2^1119338-1 is not prime.  Res64: CDF3A8DDD6F8E6E0  Time : 0.0 sec.
user=henryzz
[2012-02-04 18:19:09]
515*2^1119338-1 is not prime.  Res64: 7DCB947091810638  Time : 0.0 sec.
user=vaughan
[2012-02-04 18:20:22]
563*2^1119336-1 is not prime.  Res64: BF2D925E9FFAF3C1  Time : 0.0 sec.
user=vaughan
[2012-02-04 18:20:22]
405*2^1119337-1 is not prime.  Res64: 96ABABAA6ED37190  Time : 0.0 sec.
user=mdettweiler
[2012-02-04 18:25:09]
583*2^1119331-1 is not prime.  Res64: BC09CAE57CC8416A  Time : 0.0 sec.
user=henryzz
[2012-02-04 18:26:31]
447*2^1119340-1 is not prime.  Res64: 40C8220FC7D26523  Time : 0.0 sec.
user=henryzz
[2012-02-04 18:28:05]
455*2^1119340-1 is not prime.  Res64: 785A66F6D60CA995  Time : 0.0 sec.
user=vaughan
[2012-02-04 18:29:49]
511*2^1119337-1 is not prime.  Res64: 330F6D0196843B2F  Time : 0.0 sec.
user=vaughan
[2012-02-04 18:29:49]
423*2^1119338-1 is not prime.  Res64: B689609920D63A18  Time : 0.0 sec.
user=mdettweiler
[2012-02-04 18:30:47]
587*2^1119332-1 is not prime.  Res64: 16563020C5ED296F  Time : 0.0 sec.
user=mdettweiler
[2012-02-04 18:32:33]
439*2^1119333-1 is not prime.  Res64: A2B4A2DCEAB7BBB9  Time : 0.0 sec.
user=henryzz
[2012-02-04 18:35:21]
537*2^1119340-1 is not prime.  Res64: 99D8EA5F4BDD2D51  Time : 0.0 sec.
user=henryzz
[2012-02-04 18:39:18]
539*2^1119340-1 is not prime.  Res64: D8900A80677DD4D4  Time : 0.0 sec.
user=vaughan
[2012-02-04 18:44:43]
533*2^1119338-1 is not prime.  Res64: 31034208929E9E32  Time : 0.0 sec.
user=vaughan
[2012-02-04 18:44:44]
545*2^1119338-1 is not prime.  Res64: BCBCDABB19067283  Time : 0.0 sec.
user=vaughan
[2012-02-04 18:44:51]
415*2^1119339-1 is not prime.  Res64: 30733EE9D013CCFC  Time : 0.0 sec.
user=vaughan
[2012-02-04 18:44:51]
513*2^1119339-1 is not prime.  Res64: 43E5B97C230CA391  Time : 0.0 sec.
user=henryzz
[2012-02-04 18:46:37]
593*2^1119342-1 is not prime.  Res64: DCD61508151A95D8  Time : 0.0 sec.
user=henryzz
[2012-02-04 18:47:59]
423*2^1119343-1 is not prime.  Res64: 974CEA12629FE1B8  Time : 0.0 sec.
user=henryzz
[2012-02-04 18:55:59]
509*2^1119344-1 is not prime.  Res64: B3AC113C5E02DA21  Time : 0.0 sec.
user=henryzz
[2012-02-04 18:59:22]
557*2^1119344-1 is not prime.  Res64: 39C975EAB15D3B98  Time : 0.0 sec.
user=vaughan
[2012-02-04 18:59:43]
519*2^1119341-1 is not prime.  Res64: 6CD378BEF423446B  Time : 0.0 sec.
user=vaughan
[2012-02-04 18:59:44]
453*2^1119342-1 is not prime.  Res64: AF4574B898264933  Time : 0.0 sec.
user=henryzz
[2012-02-04 19:07:23]
483*2^1119346-1 is not prime.  Res64: 83DA62023E19A3A3  Time : 0.0 sec.
user=henryzz
[2012-02-04 19:08:54]
497*2^1119346-1 is not prime.  Res64: 6DEEE2D154CBD5EB  Time : 0.0 sec.
user=vaughan
[2012-02-04 19:09:09]
433*2^1119343-1 is not prime.  Res64: 83589E19B9C82B94  Time : 0.0 sec.
user=vaughan
[2012-02-04 19:09:10]
493*2^1119343-1 is not prime.  Res64: 8EDB4E4F19D74A1E  Time : 0.0 sec.
user=henryzz
[2012-02-04 19:17:43]
521*2^1119346-1 is not prime.  Res64: 8E16F6BCAFEDC40A  Time : 0.0 sec.
user=henryzz
[2012-02-04 19:21:08]
505*2^1119347-1 is not prime.  Res64: 68EBFA7AF687CD4E  Time : 0.0 sec.
user=vaughan
[2012-02-04 19:24:06]
573*2^1119344-1 is not prime.  Res64: AFED0B4ED85EFC7A  Time : 0.0 sec.
user=vaughan
[2012-02-04 19:24:07]
487*2^1119345-1 is not prime.  Res64: 10B1686CFF34D6CE  Time : 0.0 sec.
user=vaughan
[2012-02-04 19:24:12]
507*2^1119345-1 is not prime.  Res64: B7564D0EDE21F3FE  Time : 0.0 sec.
user=vaughan
[2012-02-04 19:24:12]
565*2^1119345-1 is not prime.  Res64: B7934779AAA593A0  Time : 0.0 sec.
user=mdettweiler
[2012-02-04 19:26:16]
455*2^1119342-1 is not prime.  Res64: 0B9DE5854313C5C4  Time : 0.0 sec.
user=henryzz
[2012-02-04 19:28:36]
573*2^1119347-1 is not prime.  Res64: BD74463F909B668C  Time : 0.0 sec.
user=henryzz
[2012-02-04 19:29:54]
503*2^1119348-1 is not prime.  Res64: 641FDF7B7C9EE428  Time : 0.0 sec.
user=mdettweiler
[2012-02-04 19:31:37]
589*2^1119343-1 is not prime.  Res64: 22EECC85A6E54847  Time : 0.0 sec.
user=mdettweiler
[2012-02-04 19:33:21]
483*2^1119344-1 is not prime.  Res64: AA5840997D682220  Time : 0.0 sec.
user=henryzz
[2012-02-04 19:37:36]
511*2^1119349-1 is not prime.  Res64: F34E9457F29754D6  Time : 0.0 sec.
user=vaughan
[2012-02-04 19:39:02]
523*2^1119347-1 is not prime.  Res64: 8261AA92356C99EE  Time : 0.0 sec.
user=vaughan
[2012-02-04 19:39:02]
571*2^1119347-1 is not prime.  Res64: 42DB8008FFD36952  Time : 0.0 sec.
user=henryzz
[2012-02-04 19:41:20]
549*2^1119349-1 is not prime.  Res64: 946ED3DD9970B0CC  Time : 0.0 sec.
user=vaughan
[2012-02-04 19:48:35]
515*2^1119348-1 is not prime.  Res64: E4961E905ED8D9EA  Time : 0.0 sec.
user=vaughan
[2012-02-04 19:48:36]
481*2^1119349-1 is not prime.  Res64: 453B2EA2F3668167  Time : 0.0 sec.
user=henryzz
[2012-02-04 19:48:52]
567*2^1119350-1 is not prime.  Res64: 27A134E7DA3482EB  Time : 0.0 sec.
user=henryzz
[2012-02-04 19:50:05]
433*2^1119351-1 is not prime.  Res64: 50B1CA185D84C3EA  Time : 0.0 sec.
user=henryzz
[2012-02-04 19:57:32]
563*2^1119352-1 is not prime.  Res64: C4F5349B59034E9A  Time : 0.0 sec.
user=henryzz
[2012-02-04 20:01:28]
503*2^1119354-1 is not prime.  Res64: 19BECA4EA10787C8  Time : 0.0 sec.
user=vaughan
[2012-02-04 20:03:25]
565*2^1119349-1 is not prime.  Res64: FA444C62F978B2DB  Time : 0.0 sec.
user=vaughan
[2012-02-04 20:03:26]
407*2^1119350-1 is not prime.  Res64: C952C88373D00C21  Time : 0.0 sec.
user=vaughan
[2012-02-04 20:03:33]
473*2^1119350-1 is not prime.  Res64: 0A207DB3FF64D119  Time : 0.0 sec.
user=vaughan
[2012-02-04 20:03:34]
483*2^1119350-1 is not prime.  Res64: 505ED178A7754F5F  Time : 0.0 sec.
user=henryzz
[2012-02-04 20:09:07]
567*2^1119354-1 is not prime.  Res64: 1AF104FBCE876E4F  Time : 0.0 sec.
user=henryzz
[2012-02-04 20:10:19]
411*2^1119355-1 is not prime.  Res64: F7F3A8E73A1EBB02  Time : 0.0 sec.
user=henryzz
[2012-02-04 20:17:48]
421*2^1119355-1 is not prime.  Res64: CF08917108669BE4  Time : 0.0 sec.
user=vaughan
[2012-02-04 20:18:23]
411*2^1119353-1 is not prime.  Res64: 7627E0F2987BD642  Time : 0.0 sec.
user=vaughan
[2012-02-04 20:18:24]
585*2^1119353-1 is not prime.  Res64: 0C06D9C954961B03  Time : 0.0 sec.
user=henryzz
[2012-02-04 20:21:38]
511*2^1119355-1 is not prime.  Res64: 03347B6258D67473  Time : 0.0 sec.
user=mdettweiler
[2012-02-04 20:26:21]
525*2^1119350-1 is not prime.  Res64: 9E348EF9E676E6C6  Time : 0.0 sec.
user=vaughan
[2012-02-04 20:27:59]
513*2^1119354-1 is not prime.  Res64: 76F486DED8A2E4E3  Time : 0.0 sec.
user=vaughan
[2012-02-04 20:28:00]
527*2^1119354-1 is not prime.  Res64: 866B88C6709E7FA3  Time : 0.0 sec.
user=henryzz
[2012-02-04 20:29:23]
451*2^1119357-1 is not prime.  Res64: AA5E3083DD0DCD0F  Time : 0.0 sec.
user=henryzz
[2012-02-04 20:30:41]
499*2^1119357-1 is not prime.  Res64: 80BAE43B7118E2B5  Time : 0.0 sec.
user=mdettweiler
[2012-02-04 20:31:42]
447*2^1119352-1 is not prime.  Res64: 704CB86A32079F3C  Time : 0.0 sec.
user=mdettweiler
[2012-02-04 20:33:34]
537*2^1119352-1 is not prime.  Res64: 61DDF9B0A211CED0  Time : 0.0 sec.
user=mdettweiler
[2012-02-04 20:37:35]
447*2^1119356-1 is not prime.  Res64: EAE7DD4BA76179B8  Time : 0.0 sec.
user=henryzz
[2012-02-04 20:38:02]
517*2^1119357-1 is not prime.  Res64: 1233F289B4A2C33A  Time : 0.0 sec.
user=henryzz
[2012-02-04 20:41:42]
553*2^1119359-1 is not prime.  Res64: 012255E1A6EA9F14  Time : 0.0 sec.
user=vaughan
[2012-02-04 20:42:40]
483*2^1119356-1 is not prime.  Res64: FAD0D2B437E39A33  Time : 0.0 sec.
user=vaughan
[2012-02-04 20:42:41]
515*2^1119356-1 is not prime.  Res64: DBFB2FA2368EFD2C  Time : 0.0 sec.
user=vaughan
[2012-02-04 20:42:56]
573*2^1119356-1 is not prime.  Res64: F5E8CE0557F7EFBC  Time : 0.0 sec.
user=vaughan
[2012-02-04 20:42:56]
447*2^1119357-1 is not prime.  Res64: 4738F409EAD8D29D  Time : 0.0 sec.
user=henryzz
[2012-02-04 20:49:15]
585*2^1119360-1 is not prime.  Res64: 30352065ACB0D36F  Time : 0.0 sec.
user=henryzz
[2012-02-04 20:51:34]
597*2^1119360-1 is not prime.  Res64: 83DDB0137273BA30  Time : 0.0 sec.
user=vaughan
[2012-02-04 20:57:44]
559*2^1119357-1 is not prime.  Res64: 171AB5E379CA4A4A  Time : 0.0 sec.
user=vaughan
[2012-02-04 20:57:44]
577*2^1119357-1 is not prime.  Res64: 17CFFEABA778E291  Time : 0.0 sec.
user=henryzz
[2012-02-04 20:58:06]
447*2^1119362-1 is not prime.  Res64: B9C1E380D823EEF9  Time : 0.0 sec.
user=henryzz
[2012-02-04 21:01:41]
477*2^1119362-1 is not prime.  Res64: AD4C81456A058B63  Time : 0.0 sec.
user=vaughan
[2012-02-04 21:07:22]
467*2^1119360-1 is not prime.  Res64: 03B41FF20E45087B  Time : 0.0 sec.
user=vaughan
[2012-02-04 21:07:25]
557*2^1119360-1 is not prime.  Res64: 5B43492A1E00B24A  Time : 0.0 sec.
user=henryzz
[2012-02-04 21:09:38]
415*2^1119363-1 is not prime.  Res64: 42DE3DC3456290A1  Time : 0.0 sec.
user=henryzz
[2012-02-04 21:11:58]
591*2^1119363-1 is not prime.  Res64: 3430188A0A783FC3  Time : 0.0 sec.
user=henryzz
[2012-02-04 21:18:38]
533*2^1119364-1 is not prime.  Res64: 56FE3830A86739E6  Time : 0.0 sec.
user=henryzz
[2012-02-04 21:21:54]
469*2^1119365-1 is not prime.  Res64: D7C5FC48CF42FD34  Time : 0.0 sec.
user=vaughan
[2012-02-04 21:22:03]
483*2^1119362-1 is not prime.  Res64: B030766C462FEA6D  Time : 0.0 sec.
user=vaughan
[2012-02-04 21:22:04]
515*2^1119362-1 is not prime.  Res64: 37DEDD3AED36980E  Time : 0.0 sec.
user=vaughan
[2012-02-04 21:22:22]
525*2^1119362-1 is not prime.  Res64: 2601ABA0683C39AB  Time : 0.0 sec.
user=vaughan
[2012-02-04 21:22:22]
411*2^1119363-1 is not prime.  Res64: 42F6E87D557B2EF6  Time : 0.0 sec.
user=henryzz
[2012-02-04 21:29:54]
589*2^1119365-1 is not prime.  Res64: 8B403979F6D7A9E2  Time : 0.0 sec.
user=henryzz
[2012-02-04 21:33:02]
417*2^1119366-1 is not prime.  Res64: A210217F1AFED4F8  Time : 0.0 sec.
user=vaughan
[2012-02-04 21:37:11]
443*2^1119364-1 is not prime.  Res64: A4AC4F350F4DE94A  Time : 0.0 sec.
user=vaughan
[2012-02-04 21:37:12]
497*2^1119364-1 is not prime.  Res64: 49415596EDCB1319  Time : 0.0 sec.
user=henryzz
[2012-02-04 21:38:50]
473*2^1119366-1 is not prime.  Res64: 4FAC0FEE8771BBF1  Time : 0.0 sec.
user=henryzz
[2012-02-04 21:42:29]
537*2^1119366-1 is not prime.  Res64: 26193CDE332AEB6E  Time : 0.0 sec.
user=vaughan
[2012-02-04 21:46:50]
489*2^1119365-1 is not prime.  Res64: B91FCDD3E974E73B  Time : 0.0 sec.
user=vaughan
[2012-02-04 21:46:50]
565*2^1119365-1 is not prime.  Res64: CD55DED3829BE900  Time : 0.0 sec.
user=henryzz
[2012-02-04 21:50:04]
401*2^1119370-1 is not prime.  Res64: B64C95AAA5610FC4  Time : 0.0 sec.
user=henryzz
[2012-02-04 21:53:18]
453*2^1119370-1 is not prime.  Res64: 062DE36414B0B9C5  Time : 0.0 sec.
user=henryzz
[2012-02-04 21:58:54]
511*2^1119371-1 is not prime.  Res64: 344DE0C03BDA2FC8  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:01:27]
581*2^1119366-1 is not prime.  Res64: 3FAF68CA7AF6D9C0  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:01:28]
435*2^1119368-1 is not prime.  Res64: E1CAA57AEF243292  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:01:44]
599*2^1119368-1 is not prime.  Res64: 965DE6518CEEB9EE  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:01:47]
445*2^1119369-1 is not prime.  Res64: AAE2916276DE4903  Time : 0.0 sec.
user=henryzz
[2012-02-04 22:02:31]
549*2^1119371-1 is not prime.  Res64: 5CF7C08F22A37F4D  Time : 0.0 sec.
user=henryzz
[2012-02-04 22:10:18]
419*2^1119372-1 is not prime.  Res64: 06D3F994816BAFD1  Time : 0.0 sec.
user=henryzz
[2012-02-04 22:13:31]
423*2^1119372-1 is not prime.  Res64: 3493F853E484B379  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:16:34]
465*2^1119370-1 is not prime.  Res64: 7C1CAB70F0870820  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:16:35]
467*2^1119370-1 is not prime.  Res64: 02B21EA81DBD72EA  Time : 0.0 sec.
user=henryzz
[2012-02-04 22:19:10]
503*2^1119372-1 is not prime.  Res64: 9E695BE8EB2AD4AA  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:22:16]
503*2^1119370-1 is not prime.  Res64: 82FC3B3AE8C36C79  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:22:16]
465*2^1119371-1 is not prime.  Res64: F5D4E9A97FDD9FF3  Time : 0.0 sec.
user=henryzz
[2012-02-04 22:22:43]
405*2^1119373-1 is not prime.  Res64: 41D1382605791D4E  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:26:10]
571*2^1119371-1 is not prime.  Res64: 6E413D43A094CECD  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:26:11]
405*2^1119372-1 is not prime.  Res64: 6A530881CCC5655D  Time : 0.0 sec.
user=henryzz
[2012-02-04 22:30:21]
423*2^1119374-1 is not prime.  Res64: 1D26CA4CB180CB87  Time : 0.0 sec.
user=henryzz
[2012-02-04 22:33:46]
521*2^1119374-1 is not prime.  Res64: 6C02D28E2EA67F53  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:36:13]
421*2^1119373-1 is not prime.  Res64: A99D2C6048F26FA9  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:36:14]
507*2^1119373-1 is not prime.  Res64: 1913C1F125DBA798  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:37:51]
541*2^1119373-1 is not prime.  Res64: C118E4F4FEFBE4D6  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:37:52]
555*2^1119373-1 is not prime.  Res64: 4409CDF026BBF8DD  Time : 0.0 sec.
user=henryzz
[2012-02-04 22:39:20]
535*2^1119375-1 is not prime.  Res64: F51C26C4BEA94024  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:40:51]
513*2^1119372-1 is not prime.  Res64: BB72CF646FD6918E  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:40:51]
525*2^1119372-1 is not prime.  Res64: 014CFD49CACFFFCB  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:41:14]
563*2^1119372-1 is not prime.  Res64: 35F5396753581FD3  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:41:15]
567*2^1119372-1 is not prime.  Res64: 963F8C92B5BAC4B3  Time : 0.0 sec.
user=henryzz
[2012-02-04 22:42:46]
567*2^1119376-1 is not prime.  Res64: C50ABF949F83D017  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:49:02]
583*2^1119375-1 is not prime.  Res64: D1065921425449D0  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:49:03]
563*2^1119376-1 is not prime.  Res64: B0943055D8784A20  Time : 0.0 sec.
user=henryzz
[2012-02-04 22:50:35]
589*2^1119377-1 is not prime.  Res64: 67F89271FE52C66A  Time : 0.0 sec.
user=henryzz
[2012-02-04 22:53:59]
421*2^1119379-1 is not prime.  Res64: 8A614FFF368CEA2F  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:55:55]
575*2^1119374-1 is not prime.  Res64: 2223CC9C9CC52700  Time : 0.0 sec.
user=vaughan
[2012-02-04 22:55:56]
415*2^1119375-1 is not prime.  Res64: 278310C5ADB86F3C  Time : 0.0 sec.
user=henryzz
[2012-02-04 22:59:31]
519*2^1119380-1 is not prime.  Res64: 61CEF5E063F91451  Time : 0.0 sec.
user=henryzz
[2012-02-04 23:03:03]
491*2^1119382-1 is not prime.  Res64: 760E03EFA79977D1  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:03:05]
463*2^1119379-1 is not prime.  Res64: 74ED44C088BF9E7F  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:03:06]
481*2^1119379-1 is not prime.  Res64: A2500AD8566B949B  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:04:33]
417*2^1119380-1 is not prime.  Res64: BF5F1ABDF1EA6DE2  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:04:34]
455*2^1119380-1 is not prime.  Res64: FFE5B0E8726C86EC  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:05:34]
517*2^1119377-1 is not prime.  Res64: 4B84E9893A573722  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:05:36]
567*2^1119377-1 is not prime.  Res64: E184C45B21033715  Time : 0.0 sec.
user=henryzz
[2012-02-04 23:10:38]
465*2^1119383-1 is not prime.  Res64: FBBA3C400CDB1FBF  Time : 0.0 sec.
user=henryzz
[2012-02-04 23:14:08]
511*2^1119383-1 is not prime.  Res64: D1838F7A03AF1325  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:15:33]
411*2^1119383-1 is not prime.  Res64: 529B322ECA0A7775  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:15:34]
463*2^1119383-1 is not prime.  Res64: 7FE7899B7C7B8C71  Time : 0.0 sec.
user=henryzz
[2012-02-04 23:19:37]
543*2^1119384-1 is not prime.  Res64: BB01DAC7795D3A84  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:20:13]
499*2^1119381-1 is not prime.  Res64: 9DA2C06416016919  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:20:14]
571*2^1119381-1 is not prime.  Res64: 63223688E5C1C785  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:20:39]
423*2^1119382-1 is not prime.  Res64: CEC6F40417687F3E  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:20:39]
435*2^1119382-1 is not prime.  Res64: 527AC2A0B1054158  Time : 0.0 sec.
user=henryzz
[2012-02-04 23:23:17]
429*2^1119385-1 is not prime.  Res64: 81B6806FF7009549  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:29:55]
557*2^1119384-1 is not prime.  Res64: F9B18FFEBC223572  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:29:56]
411*2^1119385-1 is not prime.  Res64: F4E7316ED23AE674  Time : 0.0 sec.
user=henryzz
[2012-02-04 23:30:49]
561*2^1119386-1 is not prime.  Res64: 763A0824B9FCC023  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:31:23]
531*2^1119385-1 is not prime.  Res64: BFA9FE5E6BBBA4D2  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:31:24]
405*2^1119386-1 is not prime.  Res64: 93ECAE2B4E77BBF3  Time : 0.0 sec.
user=henryzz
[2012-02-04 23:34:03]
441*2^1119387-1 is not prime.  Res64: 9A10D8D0AFE8F9F6  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:35:14]
571*2^1119383-1 is not prime.  Res64: 66CCEC5CA6ECB71C  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:35:14]
425*2^1119384-1 is not prime.  Res64: 6A9BA1BCBA513DD5  Time : 0.0 sec.
user=henryzz
[2012-02-04 23:39:50]
571*2^1119387-1 is not prime.  Res64: 7E7B4066816ADBBB  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:42:22]
469*2^1119387-1 is not prime.  Res64: 8B191B6C8696FF26  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:42:23]
483*2^1119387-1 is not prime.  Res64: 2F68B5A8BE2D4D9B  Time : 0.0 sec.
user=henryzz
[2012-02-04 23:43:28]
565*2^1119389-1 is not prime.  Res64: B6A311C2C42BBE89  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:45:04]
407*2^1119386-1 is not prime.  Res64: B26FB94952F31BE6  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:45:05]
437*2^1119386-1 is not prime.  Res64: 56B19BB0A56CBF12  Time : 0.0 sec.
user=henryzz
[2012-02-04 23:51:04]
465*2^1119390-1 is not prime.  Res64: E53FEA7CE166F959  Time : 0.0 sec.
user=henryzz
[2012-02-04 23:54:18]
531*2^1119391-1 is not prime.  Res64: C8C58318C72966FE  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:56:27]
401*2^1119390-1 is not prime.  Res64: 5A9EF8626E9E7AE8  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:56:27]
443*2^1119390-1 is not prime.  Res64: BBAF4E1056098C33  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:57:58]
415*2^1119391-1 is not prime.  Res64: EBE84C7BE5C3CB77  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:57:59]
463*2^1119391-1 is not prime.  Res64: A3844DF1BE46FAAF  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:59:32]
539*2^1119388-1 is not prime.  Res64: C86DDE0CC2426FEA  Time : 0.0 sec.
user=vaughan
[2012-02-04 23:59:33]
575*2^1119388-1 is not prime.  Res64: 93A9ADF7454E757A  Time : 0.0 sec.
user=henryzz
[2012-02-04 23:59:49]
423*2^1119394-1 is not prime.  Res64: 3BEFB5F8EB2AD8B8  Time : 0.0 sec.
user=vaughan
[2012-02-05 00:00:04]
489*2^1119389-1 is not prime.  Res64: 6FB369D7773B5709  Time : 0.0 sec.
user=vaughan
[2012-02-05 00:00:05]
559*2^1119389-1 is not prime.  Res64: DDCF03AF6EE0E203  Time : 0.0 sec.