user=henryzz
[2012-06-08 00:09:31]
459*2^1133981-1 is not prime.  Res64: 3ACF06755474BA2F  Time : 0.0 sec.
user=henryzz
[2012-06-08 00:18:57]
475*2^1133981-1 is not prime.  Res64: 716C0D1D38CDDDFD  Time : 0.0 sec.
user=henryzz
[2012-06-08 00:19:25]
487*2^1133981-1 is not prime.  Res64: FF08F92EFEE2EAF5  Time : 0.0 sec.
user=henryzz
[2012-06-08 00:19:55]
565*2^1133981-1 is not prime.  Res64: 0F8F12A8ADBC70DF  Time : 0.0 sec.
user=henryzz
[2012-06-08 00:38:39]
483*2^1133982-1 is not prime.  Res64: C16704433956229C  Time : 0.0 sec.
user=henryzz
[2012-06-08 00:45:45]
567*2^1133982-1 is not prime.  Res64: 8058B48D39721361  Time : 0.0 sec.
user=henryzz
[2012-06-08 00:45:57]
573*2^1133984-1 is not prime.  Res64: 2D033DBB479CDD51  Time : 0.0 sec.
user=henryzz
[2012-06-08 00:46:56]
459*2^1133985-1 is not prime.  Res64: 9355B21ED63769A0  Time : 0.0 sec.
user=henryzz
[2012-06-08 01:06:51]
595*2^1133985-1 is not prime.  Res64: 0BDABE113A1A22C9  Time : 0.0 sec.
user=henryzz
[2012-06-08 01:12:43]
513*2^1133986-1 is not prime.  Res64: 095DA53F77E7D614  Time : 0.0 sec.
user=henryzz
[2012-06-08 01:13:20]
561*2^1133986-1 is not prime.  Res64: 00398FDE06AB5BA9  Time : 0.0 sec.
user=henryzz
[2012-06-08 01:14:27]
435*2^1133987-1 is not prime.  Res64: E5AB3F08C806CE82  Time : 0.0 sec.
user=henryzz
[2012-06-08 01:34:02]
465*2^1133987-1 is not prime.  Res64: 8CEC0D6AC08792EE  Time : 0.0 sec.
user=henryzz
[2012-06-08 01:40:37]
437*2^1133988-1 is not prime.  Res64: 909CEDE4B0BD2807  Time : 0.0 sec.
user=henryzz
[2012-06-08 01:41:43]
515*2^1133988-1 is not prime.  Res64: DFDB7033F96AC288  Time : 0.0 sec.
user=henryzz
[2012-06-08 01:41:54]
419*2^1133988-1 is not prime.  Res64: 02642F6B52883322  Time : 0.0 sec.
user=henryzz
[2012-06-08 02:00:45]
567*2^1133988-1 is not prime.  Res64: 51CCA802BBDFC6DF  Time : 0.0 sec.
user=henryzz
[2012-06-08 02:08:08]
585*2^1133988-1 is not prime.  Res64: 572823173435D485  Time : 0.0 sec.
user=henryzz
[2012-06-08 02:09:50]
481*2^1133989-1 is not prime.  Res64: 61086E8574551D58  Time : 0.0 sec.
user=henryzz
[2012-06-08 02:10:34]
429*2^1133989-1 is not prime.  Res64: 7B544C9E02978609  Time : 0.0 sec.
user=henryzz
[2012-06-08 02:28:22]
537*2^1133989-1 is not prime.  Res64: 99FE12BFFC4AE97B  Time : 0.0 sec.
user=henryzz
[2012-06-08 02:36:14]
431*2^1133990-1 is not prime.  Res64: 820D1DBE7F8A7F20  Time : 0.0 sec.
user=henryzz
[2012-06-08 02:37:56]
409*2^1133991-1 is not prime.  Res64: 4D56E127B365AEE5  Time : 0.0 sec.
user=henryzz
[2012-06-08 02:39:19]
465*2^1133991-1 is not prime.  Res64: 0B3D3660AE18D53A  Time : 0.0 sec.
user=henryzz
[2012-06-08 02:56:43]
511*2^1133991-1 is not prime.  Res64: D8DAFFBEA7E7F0DF  Time : 0.0 sec.
user=henryzz
[2012-06-08 03:03:42]
449*2^1133992-1 is not prime.  Res64: 257C425FE3859A68  Time : 0.0 sec.
user=henryzz
[2012-06-08 03:07:13]
435*2^1133993-1 is not prime.  Res64: 044A2271C928F6DD  Time : 0.0 sec.
user=henryzz
[2012-06-08 03:07:14]
477*2^1133993-1 is not prime.  Res64: C25FDCDAE5E00427  Time : 0.0 sec.
user=henryzz
[2012-06-08 03:25:02]
487*2^1133993-1 is not prime.  Res64: 785AAF45433D7583  Time : 0.0 sec.
user=henryzz
[2012-06-08 03:32:32]
495*2^1133993-1 is not prime.  Res64: 39969DB5DEC0E99E  Time : 0.0 sec.
user=henryzz
[2012-06-08 03:35:42]
585*2^1133993-1 is not prime.  Res64: 332FB9F2213434BE  Time : 0.0 sec.
user=henryzz
[2012-06-08 03:36:43]
501*2^1133993-1 is not prime.  Res64: E12847F86D28F553  Time : 0.0 sec.
user=henryzz
[2012-06-08 04:01:00]
587*2^1133994-1 is not prime.  Res64: 0009949FF0FE79D6  Time : 0.0 sec.
user=henryzz
[2012-06-08 04:04:41]
593*2^1133994-1 is not prime.  Res64: 9FE5CA8453994EAA  Time : 0.0 sec.
user=henryzz
[2012-06-08 04:08:28]
519*2^1133995-1 is not prime.  Res64: 6EE3EC09C338F74E  Time : 0.0 sec.
user=henryzz
[2012-06-08 04:10:25]
579*2^1133996-1 is not prime.  Res64: CF95083D01B1CBBD  Time : 0.0 sec.
user=vaughan
[2012-06-08 04:10:59]
495*2^1133994-1 is not prime.  Res64: BA1551E7065AEA38  Time : 0.0 sec.
user=henryzz
[2012-06-08 04:36:06]
585*2^1133996-1 is not prime.  Res64: D2B7D1B8F22FE854  Time : 0.0 sec.
user=henryzz
[2012-06-08 04:39:36]
465*2^1133997-1 is not prime.  Res64: 66B32B7C5B8D76CA  Time : 0.0 sec.
user=henryzz
[2012-06-08 04:41:08]
507*2^1133997-1 is not prime.  Res64: B08172068B038F4F  Time : 0.0 sec.
user=henryzz
[2012-06-08 04:43:50]
517*2^1133997-1 is not prime.  Res64: 59E3ECF2425ED9A7  Time : 0.0 sec.
user=henryzz
[2012-06-08 05:03:44]
529*2^1133997-1 is not prime.  Res64: 81B8150D472FE3D0  Time : 0.0 sec.
user=henryzz
[2012-06-08 05:07:05]
423*2^1133998-1 is not prime.  Res64: FE05FB67DB9424B3  Time : 0.0 sec.
user=henryzz
[2012-06-08 05:08:26]
467*2^1133998-1 is not prime.  Res64: 310EF96E020BA9D1  Time : 0.0 sec.
user=henryzz
[2012-06-08 05:11:10]
503*2^1133998-1 is not prime.  Res64: 3A29B4D58D7D51C2  Time : 0.0 sec.
user=henryzz
[2012-06-08 05:30:56]
421*2^1133999-1 is not prime.  Res64: CAD3BF07C4653DD6  Time : 0.0 sec.
user=henryzz
[2012-06-08 05:34:23]
445*2^1133999-1 is not prime.  Res64: A0A300F4A6AA27B6  Time : 0.0 sec.
user=henryzz
[2012-06-08 05:35:16]
501*2^1133999-1 is not prime.  Res64: 7B36AACB708D985F  Time : 0.0 sec.
user=henryzz
[2012-06-08 05:38:48]
573*2^1133999-1 is not prime.  Res64: 2CF2F1E671BB4EFD  Time : 0.0 sec.
user=marco.bs
[2012-06-08 05:43:15]
551*2^1133954-1 is not prime.  Res64: E217CAD54DA47FE2  Time : 0.0 sec.
user=henryzz
[2012-06-08 05:58:26]
413*2^1134000-1 is not prime.  Res64: 2443C2A42A0517FB  Time : 0.0 sec.
user=henryzz
[2012-06-08 06:02:05]
427*2^1134001-1 is not prime.  Res64: 31F30E6725389729  Time : 0.0 sec.
user=henryzz
[2012-06-08 06:02:08]
525*2^1134000-1 is not prime.  Res64: BEA1BED153FDD1FA  Time : 0.0 sec.
user=henryzz
[2012-06-08 06:06:34]
429*2^1134001-1 is not prime.  Res64: 4E895FA51AB13688  Time : 0.0 sec.
user=henryzz
[2012-06-08 06:24:56]
499*2^1134001-1 is not prime.  Res64: 97666542BD6F7B06  Time : 0.0 sec.
user=henryzz
[2012-06-08 06:29:14]
525*2^1134001-1 is not prime.  Res64: 1FAECA670ADAF53F  Time : 0.0 sec.
user=henryzz
[2012-06-08 06:30:06]
541*2^1134001-1 is not prime.  Res64: 7F0F06B3860B4BAB  Time : 0.0 sec.
user=marco.bs
[2012-06-08 06:32:19]
471*2^1134001-1 is not prime.  Res64: 05CC4F9367CAA716  Time : 0.0 sec.
user=henryzz
[2012-06-08 06:33:47]
577*2^1134001-1 is not prime.  Res64: A8541F9946D4894D  Time : 0.0 sec.
user=henryzz
[2012-06-08 06:52:37]
591*2^1134001-1 is not prime.  Res64: 6EB76F4A9A779B24  Time : 0.0 sec.
user=henryzz
[2012-06-08 06:56:22]
447*2^1134002-1 is not prime.  Res64: 7FC05206A42547B8  Time : 0.0 sec.
user=henryzz
[2012-06-08 06:58:07]
467*2^1134002-1 is not prime.  Res64: 93B40928CC35D851  Time : 0.0 sec.
user=henryzz
[2012-06-08 07:01:00]
459*2^1134003-1 is not prime.  Res64: A7263A3A291288E5  Time : 0.0 sec.
user=henryzz
[2012-06-08 07:20:16]
493*2^1134003-1 is not prime.  Res64: 2F56236DE43A33E6  Time : 0.0 sec.
user=marco.bs
[2012-06-08 07:21:12]
501*2^1134002-1 is not prime.  Res64: E4E693A47C08D89C  Time : 0.0 sec.
user=henryzz
[2012-06-08 07:22:55]
529*2^1134003-1 is not prime.  Res64: F01B6B74A8A53026  Time : 0.0 sec.
user=henryzz
[2012-06-08 07:25:39]
549*2^1134003-1 is not prime.  Res64: 885BA1511EB67D05  Time : 0.0 sec.
user=henryzz
[2012-06-08 07:28:35]
583*2^1134003-1 is not prime.  Res64: FE71B55B4AB7E595  Time : 0.0 sec.
user=henryzz
[2012-06-08 07:48:19]
453*2^1134004-1 is not prime.  Res64: 54D8BF7EBBE5E1EA  Time : 0.0 sec.
user=henryzz
[2012-06-08 07:49:59]
527*2^1134004-1 is not prime.  Res64: D90C23C7DDE05294  Time : 0.0 sec.
user=henryzz
[2012-06-08 07:53:35]
549*2^1134004-1 is not prime.  Res64: 61A329BD21423F16  Time : 0.0 sec.
user=henryzz
[2012-06-08 07:55:57]
409*2^1134005-1 is not prime.  Res64: 56F306ADDC8F2A3B  Time : 0.0 sec.
user=marco.bs
[2012-06-08 08:10:37]
507*2^1134004-1 is not prime.  Res64: 7959C7F8351ACD87  Time : 0.0 sec.
user=henryzz
[2012-06-08 08:16:13]
441*2^1134005-1 is not prime.  Res64: D90451A81500C01A  Time : 0.0 sec.
user=henryzz
[2012-06-08 08:16:53]
477*2^1134005-1 is not prime.  Res64: 78720D07010C097F  Time : 0.0 sec.
user=henryzz
[2012-06-08 08:21:31]
481*2^1134005-1 is not prime.  Res64: 75E1710E99A77987  Time : 0.0 sec.
user=henryzz
[2012-06-08 08:22:54]
591*2^1134005-1 is not prime.  Res64: 5EAE333C5C4C297A  Time : 0.0 sec.
user=henryzz
[2012-06-08 08:43:49]
511*2^1134007-1 is not prime.  Res64: 5589E3C71C94E9A7  Time : 0.0 sec.
user=henryzz
[2012-06-08 08:44:25]
465*2^1134007-1 is not prime.  Res64: F63ADE1BFAFCDBC0  Time : 0.0 sec.
user=henryzz
[2012-06-08 08:49:19]
423*2^1134008-1 is not prime.  Res64: A1DFEC32F2EAB092  Time : 0.0 sec.
user=henryzz
[2012-06-08 08:49:55]
503*2^1134008-1 is not prime.  Res64: B4A2C87BA62437D5  Time : 0.0 sec.
user=marco.bs
[2012-06-08 08:59:52]
513*2^1134006-1 is not prime.  Res64: 2FDDC24571255561  Time : 0.0 sec.
user=henryzz
[2012-06-08 09:12:43]
441*2^1134009-1 is not prime.  Res64: E4F1F2F1C0E5E3C6  Time : 0.0 sec.
user=henryzz
[2012-06-08 09:12:46]
457*2^1134009-1 is not prime.  Res64: 8A6227A8EA550A41  Time : 0.0 sec.
user=henryzz
[2012-06-08 09:17:00]
425*2^1134010-1 is not prime.  Res64: 59769A2265913E7E  Time : 0.0 sec.
user=henryzz
[2012-06-08 09:17:24]
481*2^1134009-1 is not prime.  Res64: 011455D5E6BF5A78  Time : 0.0 sec.
user=henryzz
[2012-06-08 09:41:09]
497*2^1134012-1 is not prime.  Res64: 9891DC4E398BE367  Time : 0.0 sec.
user=henryzz
[2012-06-08 09:41:28]
479*2^1134012-1 is not prime.  Res64: 2A053BDAE2620944  Time : 0.0 sec.
user=henryzz
[2012-06-08 09:46:29]
579*2^1134012-1 is not prime.  Res64: 39330ECDE5FDEC63  Time : 0.0 sec.
user=henryzz
[2012-06-08 09:47:11]
513*2^1134012-1 is not prime.  Res64: 723F0FA385B3CAB4  Time : 0.0 sec.
user=marco.bs
[2012-06-08 09:49:10]
467*2^1134012-1 is not prime.  Res64: A52A9C0328512C43  Time : 0.0 sec.
user=henryzz
[2012-06-08 10:17:27]
489*2^1134013-1 is not prime.  Res64: F2C3B32E2072EDA3  Time : 0.0 sec.
user=henryzz
[2012-06-08 10:18:35]
441*2^1134013-1 is not prime.  Res64: AE72428C2F11925E  Time : 0.0 sec.
user=henryzz
[2012-06-08 10:19:02]
471*2^1134013-1 is not prime.  Res64: FAF70E8335595719  Time : 0.0 sec.
user=henryzz
[2012-06-08 10:25:37]
595*2^1134013-1 is not prime.  Res64: E08438199C8A8A61  Time : 0.0 sec.
user=marco.bs
[2012-06-08 10:38:04]
461*2^1134014-1 is not prime.  Res64: 01322311B2FDC223  Time : 0.0 sec.
user=henryzz
[2012-06-08 10:52:23]
433*2^1134015-1 is not prime.  Res64: 51DD1CED9F90F086  Time : 0.0 sec.
user=henryzz
[2012-06-08 10:55:47]
459*2^1134015-1 is not prime.  Res64: 2F1495D337B3522B  Time : 0.0 sec.
user=henryzz
[2012-06-08 11:00:55]
481*2^1134015-1 is not prime.  Res64: EE07CF50E21F5EFB  Time : 0.0 sec.
user=henryzz
[2012-06-08 11:08:34]
493*2^1134015-1 is not prime.  Res64: CEC807BB066B043E  Time : 0.0 sec.
user=marco.bs
[2012-06-08 11:27:04]
543*2^1134015-1 is not prime.  Res64: 1CE52D12F69DDBC2  Time : 0.0 sec.
user=henryzz
[2012-06-08 11:32:07]
441*2^1134017-1 is not prime.  Res64: ADBF58FFBAD0024B  Time : 0.0 sec.
user=henryzz
[2012-06-08 11:32:13]
465*2^1134016-1 is not prime.  Res64: C531258AED282C1F  Time : 0.0 sec.
user=henryzz
[2012-06-08 11:41:14]
585*2^1134017-1 is not prime.  Res64: 9D03EDD31D71A461  Time : 0.0 sec.
user=henryzz
[2012-06-08 11:48:34]
401*2^1134018-1 is not prime.  Res64: 4E5228A8635FFB5D  Time : 0.0 sec.
user=henryzz
[2012-06-08 12:10:06]
525*2^1134018-1 is not prime.  Res64: 90922AA013646CAD  Time : 0.0 sec.
user=henryzz
[2012-06-08 12:12:07]
563*2^1134018-1 is not prime.  Res64: 9A8C1708264F3895  Time : 0.0 sec.
user=henryzz
[2012-06-08 12:20:32]
439*2^1134019-1 is not prime.  Res64: D09211141A29C4D3  Time : 0.0 sec.
user=henryzz
[2012-06-08 12:28:55]
553*2^1134019-1 is not prime.  Res64: 6BC8C619A19C2807  Time : 0.0 sec.
user=henryzz
[2012-06-08 12:45:51]
417*2^1134020-1 is not prime.  Res64: E28C1A4A5493A6EF  Time : 0.0 sec.
user=henryzz
[2012-06-08 12:47:21]
583*2^1134019-1 is not prime.  Res64: D8FD4D0678E22379  Time : 0.0 sec.
user=henryzz
[2012-06-08 12:52:11]
425*2^1134020-1 is not prime.  Res64: 64925BCE3C5F0053  Time : 0.0 sec.
user=henryzz
[2012-06-08 13:02:10]
477*2^1134020-1 is not prime.  Res64: 8AD58443479D7533  Time : 0.0 sec.
user=henryzz
[2012-06-08 13:23:34]
519*2^1134020-1 is not prime.  Res64: 6C016AFA04656AB2  Time : 0.0 sec.
user=henryzz
[2012-06-08 13:23:42]
567*2^1134020-1 is not prime.  Res64: A68E306DDA69E3AB  Time : 0.0 sec.
user=henryzz
[2012-06-08 13:27:57]
587*2^1134020-1 is not prime.  Res64: 79664EDD92D74CBD  Time : 0.0 sec.
user=henryzz
[2012-06-08 13:40:46]
417*2^1134021-1 is not prime.  Res64: EA34DFAB9B8D5A7C  Time : 0.0 sec.
user=henryzz
[2012-06-08 13:59:17]
469*2^1134021-1 is not prime.  Res64: 8E77CE648E1659D0  Time : 0.0 sec.
user=henryzz
[2012-06-08 14:03:38]
531*2^1134021-1 is not prime.  Res64: 0507DF1DA0DCB2D8  Time : 0.0 sec.
user=henryzz
[2012-06-08 14:03:44]
445*2^1134021-1 is not prime.  Res64: B0203B909F727AD9  Time : 0.0 sec.
user=henryzz
[2012-06-08 14:15:35]
549*2^1134021-1 is not prime.  Res64: AA32B5CFFAD3341A  Time : 0.0 sec.
user=henryzz
[2012-06-08 14:33:38]
413*2^1134022-1 is not prime.  Res64: 64BD960446054605  Time : 0.0 sec.
user=henryzz
[2012-06-08 14:36:49]
527*2^1134022-1 is not prime.  Res64: 9E62F7B8C4A2A087  Time : 0.0 sec.
user=henryzz
[2012-06-08 14:39:11]
423*2^1134022-1 is not prime.  Res64: 39A5606A90D69B0D  Time : 0.0 sec.
user=henryzz
[2012-06-08 14:48:25]
555*2^1134022-1 is not prime.  Res64: E70A114E56A798B9  Time : 0.0 sec.
user=henryzz
[2012-06-08 15:04:11]
573*2^1134022-1 is not prime.  Res64: 5A13218604F4475F  Time : 0.0 sec.
user=henryzz
[2012-06-08 15:07:59]
411*2^1134023-1 is not prime.  Res64: 0B92EF549DA7EB7C  Time : 0.0 sec.
user=henryzz
[2012-06-08 15:08:26]
441*2^1134023-1 is not prime.  Res64: 984ECE64B4A95AB7  Time : 0.0 sec.
user=henryzz
[2012-06-08 15:19:56]
595*2^1134023-1 is not prime.  Res64: 21D5F557DA71B819  Time : 0.0 sec.
user=henryzz
[2012-06-08 15:38:35]
497*2^1134024-1 is not prime.  Res64: EBD61FF117E59FF1  Time : 0.0 sec.
user=henryzz
[2012-06-08 15:40:22]
441*2^1134025-1 is not prime.  Res64: A9B2ED0659FA7FF2  Time : 0.0 sec.
user=henryzz
[2012-06-08 15:43:59]
511*2^1134025-1 is not prime.  Res64: 6610F7B852DAFE8F  Time : 0.0 sec.
user=henryzz
[2012-06-08 15:52:39]
561*2^1134025-1 is not prime.  Res64: 96B96C0EC1D166F5  Time : 0.0 sec.
user=henryzz
[2012-06-08 16:08:46]
595*2^1134025-1 is not prime.  Res64: A8A135A4F4B9964C  Time : 0.0 sec.
user=henryzz
[2012-06-08 16:13:22]
537*2^1134026-1 is not prime.  Res64: 23629CDE5BAFD220  Time : 0.0 sec.
user=henryzz
[2012-06-08 16:13:47]
405*2^1134026-1 is not prime.  Res64: 5DFB9012F6050550  Time : 0.0 sec.
user=henryzz
[2012-06-08 16:23:36]
545*2^1134026-1 is not prime.  Res64: E5DC4D180CB9B62E  Time : 0.0 sec.
user=henryzz
[2012-06-08 16:37:25]
405*2^1134028-1 is not prime.  Res64: C4B4375C0E905193  Time : 0.0 sec.
user=henryzz
[2012-06-08 16:41:19]
419*2^1134028-1 is not prime.  Res64: F572273DF126F511  Time : 0.0 sec.
user=henryzz
[2012-06-08 16:42:15]
479*2^1134028-1 is not prime.  Res64: 30EF024D947B8C9A  Time : 0.0 sec.
user=henryzz
[2012-06-08 16:51:29]
567*2^1134028-1 is not prime.  Res64: 98AE1460F76BA933  Time : 0.0 sec.
user=henryzz
[2012-06-08 17:05:32]
439*2^1134029-1 is not prime.  Res64: 64956A86B91D2C41  Time : 0.0 sec.
user=henryzz
[2012-06-08 17:08:16]
579*2^1134029-1 is not prime.  Res64: 3019D3B0C5B6A0D7  Time : 0.0 sec.
user=henryzz
[2012-06-08 17:09:22]
513*2^1134030-1 is not prime.  Res64: 93E88678BF89B64C  Time : 0.0 sec.
user=henryzz
[2012-06-08 17:19:51]
421*2^1134031-1 is not prime.  Res64: 2B92483FC7A55CE6  Time : 0.0 sec.
user=henryzz
[2012-06-08 17:32:29]
465*2^1134031-1 is not prime.  Res64: DAA2888131738354  Time : 0.0 sec.
user=henryzz
[2012-06-08 17:35:19]
499*2^1134031-1 is not prime.  Res64: 972E375B19DB1682  Time : 0.0 sec.
user=henryzz
[2012-06-08 17:36:43]
555*2^1134031-1 is not prime.  Res64: 47E555FA2B3DA107  Time : 0.0 sec.
user=henryzz
[2012-06-08 17:46:43]
539*2^1134032-1 is not prime.  Res64: FCFB540EAA500B1B  Time : 0.0 sec.
user=henryzz
[2012-06-08 17:58:53]
405*2^1134033-1 is not prime.  Res64: 4D647BF277D2E5B7  Time : 0.0 sec.
user=henryzz
[2012-06-08 18:02:47]
507*2^1134033-1 is not prime.  Res64: 5ECC3FE438CD8822  Time : 0.0 sec.
user=henryzz
[2012-06-08 18:03:04]
521*2^1134034-1 is not prime.  Res64: B7931B94D430A135  Time : 0.0 sec.
user=henryzz
[2012-06-08 18:14:16]
531*2^1134034-1 is not prime.  Res64: E7FB9799CA86B1D5  Time : 0.0 sec.
user=henryzz
[2012-06-08 18:25:41]
453*2^1134035-1 is not prime.  Res64: 20F022287CC59DCB  Time : 0.0 sec.
user=henryzz
[2012-06-08 18:29:43]
531*2^1134035-1 is not prime.  Res64: CFBE0A83B2D0233B  Time : 0.0 sec.
user=henryzz
[2012-06-08 18:30:15]
475*2^1134035-1 is not prime.  Res64: 0FD603E0A85411C0  Time : 0.0 sec.
user=henryzz
[2012-06-08 18:41:22]
563*2^1134036-1 is not prime.  Res64: 6701C76622ED8D42  Time : 0.0 sec.
user=henryzz
[2012-06-08 18:53:59]
531*2^1134037-1 is not prime.  Res64: 3536164541D8E98A  Time : 0.0 sec.
user=henryzz
[2012-06-08 18:56:55]
565*2^1134037-1 is not prime.  Res64: C63ED2808D1E7E85  Time : 0.0 sec.
user=henryzz
[2012-06-08 18:57:27]
425*2^1134038-1 is not prime.  Res64: 07B4FD3077BDB7EF  Time : 0.0 sec.
user=henryzz
[2012-06-08 19:08:12]
437*2^1134038-1 is not prime.  Res64: 2F69AB072B8A8065  Time : 0.0 sec.
user=henryzz
[2012-06-08 19:20:26]
495*2^1134038-1 is not prime.  Res64: E87116659E3AC717  Time : 0.0 sec.
user=henryzz
[2012-06-08 19:24:17]
557*2^1134038-1 is not prime.  Res64: 012560E49503C7CA  Time : 0.0 sec.
user=henryzz
[2012-06-08 19:24:21]
501*2^1134038-1 is not prime.  Res64: A6DF793953F57D8E  Time : 0.0 sec.
user=henryzz
[2012-06-08 19:35:00]
441*2^1134039-1 is not prime.  Res64: 41604581C4AAAFA0  Time : 0.0 sec.
user=henryzz
[2012-06-08 19:47:01]
565*2^1134039-1 is not prime.  Res64: 75D651FB9DBDFCC7  Time : 0.0 sec.
user=henryzz
[2012-06-08 19:51:08]
595*2^1134039-1 is not prime.  Res64: 5FCE73F7CD32AE91  Time : 0.0 sec.
user=henryzz
[2012-06-08 19:51:54]
483*2^1134040-1 is not prime.  Res64: 890091D5627F5CB8  Time : 0.0 sec.
user=henryzz
[2012-06-08 20:01:34]
527*2^1134040-1 is not prime.  Res64: EAE04A041A1EB9E6  Time : 0.0 sec.
user=henryzz
[2012-06-08 20:15:21]
569*2^1134040-1 is not prime.  Res64: 10323FF4EB1DBBCA  Time : 0.0 sec.
user=henryzz
[2012-06-08 20:18:03]
593*2^1134040-1 is not prime.  Res64: 791C7506287CB12F  Time : 0.0 sec.
user=henryzz
[2012-06-08 20:18:22]
465*2^1134041-1 is not prime.  Res64: 377D4B29CA8B5480  Time : 0.0 sec.
user=henryzz
[2012-06-08 20:28:41]
489*2^1134041-1 is not prime.  Res64: F1EFE3C1F780A0BC  Time : 0.0 sec.
user=henryzz
[2012-06-08 20:42:23]
429*2^1133851-1 is not prime.  Res64: 93A9A1290D5C09C5  Time : 0.0 sec.
user=henryzz
[2012-06-08 20:44:46]
495*2^1134041-1 is not prime.  Res64: 7195F87DE0871603  Time : 0.0 sec.
user=henryzz
[2012-06-08 20:45:20]
547*2^1134041-1 is not prime.  Res64: 7721FDC716B707FF  Time : 0.0 sec.
user=henryzz
[2012-06-08 20:55:50]
565*2^1134041-1 is not prime.  Res64: 8444DB7DC8178682  Time : 0.0 sec.
user=henryzz
[2012-06-08 21:10:59]
571*2^1134041-1 is not prime.  Res64: 7C6AACE4F0A03D7C  Time : 0.0 sec.
user=henryzz
[2012-06-08 21:13:47]
413*2^1134042-1 is not prime.  Res64: 9927D9CE9EA2B924  Time : 0.0 sec.
user=henryzz
[2012-06-08 21:14:06]
447*2^1134042-1 is not prime.  Res64: 4830A9657EAA1AC6  Time : 0.0 sec.
user=henryzz
[2012-06-08 21:24:57]
501*2^1134042-1 is not prime.  Res64: C1BF737CB6E9386A  Time : 0.0 sec.
user=henryzz
[2012-06-08 21:38:00]
527*2^1134042-1 is not prime.  Res64: A70369E89307ED7A  Time : 0.0 sec.
user=henryzz
[2012-06-08 21:41:35]
511*2^1134043-1 is not prime.  Res64: 7DA8086FE951F270  Time : 0.0 sec.
user=henryzz
[2012-06-08 21:41:51]
439*2^1134043-1 is not prime.  Res64: 43D6EE5924809340  Time : 0.0 sec.
user=henryzz
[2012-06-08 21:51:25]
541*2^1134043-1 is not prime.  Res64: EAFA2EEAA5205A0C  Time : 0.0 sec.
user=henryzz
[2012-06-08 22:04:58]
555*2^1134043-1 is not prime.  Res64: 26CB2745D4F1A097  Time : 0.0 sec.
user=henryzz
[2012-06-08 22:08:30]
507*2^1134044-1 is not prime.  Res64: 3A1CA479E30949D7  Time : 0.0 sec.
user=henryzz
[2012-06-08 22:09:05]
519*2^1134044-1 is not prime.  Res64: FD6F0A1B861C25C2  Time : 0.0 sec.
user=henryzz
[2012-06-08 22:18:07]
445*2^1134045-1 is not prime.  Res64: F93F389AEFED5E03  Time : 0.0 sec.
user=henryzz
[2012-06-08 22:31:47]
495*2^1134045-1 is not prime.  Res64: 86564123382A0B0C  Time : 0.0 sec.
user=henryzz
[2012-06-08 22:35:52]
525*2^1134045-1 is not prime.  Res64: 5AAED2A5F8D77BA0  Time : 0.0 sec.
user=henryzz
[2012-06-08 22:37:00]
483*2^1134046-1 is not prime.  Res64: E06095563D506011  Time : 0.0 sec.
user=henryzz
[2012-06-08 22:45:12]
435*2^1134047-1 is not prime.  Res64: A8E38527A3AECD94  Time : 0.0 sec.
user=henryzz
[2012-06-08 23:00:07]
559*2^1134047-1 is not prime.  Res64: BCFA03F12C4DC14F  Time : 0.0 sec.
user=henryzz
[2012-06-08 23:03:45]
573*2^1134047-1 is not prime.  Res64: D2B25417686C2EAB  Time : 0.0 sec.
user=henryzz
[2012-06-08 23:04:28]
485*2^1134048-1 is not prime.  Res64: F269FD9938B13FEE  Time : 0.0 sec.
user=henryzz
[2012-06-08 23:12:27]
537*2^1134048-1 is not prime.  Res64: 88163AB5DE958B5B  Time : 0.0 sec.
user=henryzz
[2012-06-08 23:28:18]
421*2^1134049-1 is not prime.  Res64: C28578E01470D397  Time : 0.0 sec.
user=henryzz
[2012-06-08 23:30:38]
435*2^1134049-1 is not prime.  Res64: 45CB96661CA34936  Time : 0.0 sec.
user=henryzz
[2012-06-08 23:31:38]
547*2^1134049-1 is not prime.  Res64: C9268E679C53F025  Time : 0.0 sec.
user=henryzz
[2012-06-08 23:39:55]
555*2^1134049-1 is not prime.  Res64: AB9712A46BA8E600  Time : 0.0 sec.
user=henryzz
[2012-06-08 23:55:02]
405*2^1134050-1 is not prime.  Res64: 9BA17DA0C4039AD0  Time : 0.0 sec.
user=henryzz
[2012-06-08 23:58:08]
407*2^1134050-1 is not prime.  Res64: 76B1BF552B6970A3  Time : 0.0 sec.
user=henryzz
[2012-06-08 23:58:32]
587*2^1134050-1 is not prime.  Res64: E3CC8CE78FCAC45D  Time : 0.0 sec.