user=vaughan
[2012-05-04 00:14:21]
511*2^1132453-1 is not prime.  Res64: 163C3270B75EE06D  Time : 0.0 sec.
user=marco.bs
[2012-05-04 04:43:24]
503*2^1132440-1 is not prime.  Res64: 27C64075BA6B9F37  Time : 0.0 sec.
user=marco.bs
[2012-05-04 05:31:38]
595*2^1132453-1 is not prime.  Res64: 98CF0DD6993FE688  Time : 0.0 sec.
user=marco.bs
[2012-05-04 06:19:16]
503*2^1132454-1 is not prime.  Res64: 8DD33BA9A284DBD1  Time : 0.0 sec.
user=marco.bs
[2012-05-04 07:07:11]
403*2^1132455-1 is not prime.  Res64: F5FEABD14C9C0F10  Time : 0.0 sec.
user=marco.bs
[2012-05-04 07:55:07]
513*2^1132455-1 is not prime.  Res64: F87B1443977A3E14  Time : 0.0 sec.
user=marco.bs
[2012-05-04 08:42:51]
543*2^1132455-1 is not prime.  Res64: FC522549024C0EDD  Time : 0.0 sec.
user=henryzz
[2012-05-04 09:11:20]
451*2^1132451-1 is not prime.  Res64: 72727844D61CE5FB  Time : 0.0 sec.
user=vaughan
[2012-05-04 09:11:28]
479*2^1132456-1 is not prime.  Res64: B50E40C690CFC6E9  Time : 0.0 sec.
user=henryzz
[2012-05-04 09:12:11]
495*2^1132450-1 is not prime.  Res64: 0F4A48ACDA201E46  Time : 0.0 sec.
user=henryzz
[2012-05-04 09:24:17]
511*2^1132451-1 is not prime.  Res64: ADC67069CF2D2EA5  Time : 0.0 sec.
user=henryzz
[2012-05-04 09:25:55]
571*2^1132451-1 is not prime.  Res64: 1D6462A52A06CB10  Time : 0.0 sec.
user=marco.bs
[2012-05-04 09:30:44]
587*2^1132456-1 is not prime.  Res64: E1850B4E8C232F08  Time : 0.0 sec.
user=henryzz
[2012-05-04 09:32:09]
475*2^1132457-1 is not prime.  Res64: 85DCE9A2FE7550E1  Time : 0.0 sec.
user=henryzz
[2012-05-04 09:32:32]
477*2^1132457-1 is not prime.  Res64: D1469D1A6174FD42  Time : 0.0 sec.
user=henryzz
[2012-05-04 09:45:10]
507*2^1132457-1 is not prime.  Res64: AFB64D99FE38E3C0  Time : 0.0 sec.
user=henryzz
[2012-05-04 09:47:42]
561*2^1132457-1 is not prime.  Res64: 084D812E959F191E  Time : 0.0 sec.
user=henryzz
[2012-05-04 09:53:04]
413*2^1132458-1 is not prime.  Res64: 47486B28C7A7A83C  Time : 0.0 sec.
user=henryzz
[2012-05-04 09:53:24]
417*2^1132458-1 is not prime.  Res64: A95044956399F532  Time : 0.0 sec.
user=henryzz
[2012-05-04 10:06:21]
423*2^1132458-1 is not prime.  Res64: 2AD7B511EA1BA297  Time : 0.0 sec.
user=henryzz
[2012-05-04 10:09:32]
443*2^1132458-1 is not prime.  Res64: D8BA23E1244DF706  Time : 0.0 sec.
user=henryzz
[2012-05-04 10:14:10]
473*2^1132458-1 is not prime.  Res64: 9649668CB59D5652  Time : 0.0 sec.
user=henryzz
[2012-05-04 10:14:32]
483*2^1132458-1 is not prime.  Res64: 62E53B139E6EC334  Time : 0.0 sec.
user=marco.bs
[2012-05-04 10:18:26]
589*2^1132457-1 is not prime.  Res64: E6C0A08CB4BE24F5  Time : 0.0 sec.
user=henryzz
[2012-05-04 10:28:05]
503*2^1132458-1 is not prime.  Res64: 891AA995F2556865  Time : 0.0 sec.
user=henryzz
[2012-05-04 10:30:26]
585*2^1132458-1 is not prime.  Res64: 45438B15E1CCC26B  Time : 0.0 sec.
user=henryzz
[2012-05-04 10:36:16]
415*2^1132459-1 is not prime.  Res64: 14BA1D6044B0033F  Time : 0.0 sec.
user=henryzz
[2012-05-04 10:42:21]
429*2^1132459-1 is not prime.  Res64: B51AC2BF8C9541AA  Time : 0.0 sec.
user=henryzz
[2012-05-04 10:58:06]
531*2^1132459-1 is not prime.  Res64: 08A467648777072F  Time : 0.0 sec.
user=henryzz
[2012-05-04 10:59:00]
583*2^1132459-1 is not prime.  Res64: C0109D1A7D886271  Time : 0.0 sec.
user=marco.bs
[2012-05-04 11:06:20]
463*2^1132459-1 is not prime.  Res64: E91DC36F4A6A8588  Time : 0.0 sec.
user=henryzz
[2012-05-04 11:06:52]
477*2^1132460-1 is not prime.  Res64: A0DE6E2D5B2117B7  Time : 0.0 sec.
user=henryzz
[2012-05-04 11:08:46]
479*2^1132460-1 is not prime.  Res64: C7E62D360A6E5E91  Time : 0.0 sec.
user=henryzz
[2012-05-04 11:20:40]
405*2^1132461-1 is not prime.  Res64: 76B2B822C8506F5F  Time : 0.0 sec.
user=henryzz
[2012-05-04 11:23:47]
483*2^1132460-1 is not prime.  Res64: 8AAFC676424FF89F  Time : 0.0 sec.
user=henryzz
[2012-05-04 11:28:48]
455*2^1132462-1 is not prime.  Res64: 9B7D17AF032FB161  Time : 0.0 sec.
user=henryzz
[2012-05-04 11:30:18]
591*2^1132462-1 is not prime.  Res64: 4CBAE725B38B3C73  Time : 0.0 sec.
user=henryzz
[2012-05-04 11:44:43]
433*2^1132463-1 is not prime.  Res64: 3D11DC013FEF8B7E  Time : 0.0 sec.
user=henryzz
[2012-05-04 11:46:00]
463*2^1132463-1 is not prime.  Res64: AE7268A4C2AE85EA  Time : 0.0 sec.
user=henryzz
[2012-05-04 11:51:27]
549*2^1132463-1 is not prime.  Res64: DB406F82E18E7B4C  Time : 0.0 sec.
user=henryzz
[2012-05-04 11:53:08]
511*2^1132463-1 is not prime.  Res64: 311026E0FDD98522  Time : 0.0 sec.
user=marco.bs
[2012-05-04 11:54:19]
555*2^1132461-1 is not prime.  Res64: DBD295A4C0DFCE27  Time : 0.0 sec.
user=henryzz
[2012-05-04 12:07:51]
405*2^1132465-1 is not prime.  Res64: 2ECA9543CAED5299  Time : 0.0 sec.
user=henryzz
[2012-05-04 12:08:21]
563*2^1132464-1 is not prime.  Res64: AF4B1A287489CB38  Time : 0.0 sec.
user=henryzz
[2012-05-04 12:15:22]
577*2^1132465-1 is not prime.  Res64: 68B5752AF96490BE  Time : 0.0 sec.
user=henryzz
[2012-05-04 12:15:32]
535*2^1132465-1 is not prime.  Res64: 51233188B195F40E  Time : 0.0 sec.
user=henryzz
[2012-05-04 12:29:53]
431*2^1132466-1 is not prime.  Res64: B8C53BC0785A6CF4  Time : 0.0 sec.
user=henryzz
[2012-05-04 12:31:07]
483*2^1132466-1 is not prime.  Res64: 00336238AC97C40C  Time : 0.0 sec.
user=henryzz
[2012-05-04 12:37:23]
451*2^1132467-1 is not prime.  Res64: FCB17E0CA20FA205  Time : 0.0 sec.
user=henryzz
[2012-05-04 12:37:41]
409*2^1132467-1 is not prime.  Res64: C4143E1D7D936674  Time : 0.0 sec.
user=marco.bs
[2012-05-04 12:42:15]
407*2^1132466-1 is not prime.  Res64: C216F66027BFDEF0  Time : 0.0 sec.
user=vaughan
[2012-05-04 12:44:58]
521*2^1132466-1 is not prime.  Res64: 20321C60CA7F5F54  Time : 0.0 sec.
user=henryzz
[2012-05-04 12:51:19]
453*2^1132467-1 is not prime.  Res64: 62657B2AFE80E3E1  Time : 0.0 sec.
user=henryzz
[2012-05-04 12:54:39]
465*2^1132467-1 is not prime.  Res64: 6D691AF8C6608E2A  Time : 0.0 sec.
user=henryzz
[2012-05-04 12:59:28]
419*2^1132468-1 is not prime.  Res64: D50CEDAF4C2E3700  Time : 0.0 sec.
user=henryzz
[2012-05-04 13:01:04]
595*2^1132467-1 is not prime.  Res64: 6973C0E842324DBF  Time : 0.0 sec.
user=henryzz
[2012-05-04 13:13:11]
447*2^1132470-1 is not prime.  Res64: F723E93547FCDB43  Time : 0.0 sec.
user=henryzz
[2012-05-04 13:16:42]
455*2^1132470-1 is not prime.  Res64: 72B12341A5F91AD0  Time : 0.0 sec.
user=grueny
[2012-05-04 13:21:43]
405*2^1132470-1 is not prime.  Res64: 16D868FC95FEDB96  Time : 0.0 sec.
user=henryzz
[2012-05-04 13:22:02]
423*2^1132471-1 is not prime.  Res64: DDA96B8A56CFAA6F  Time : 0.0 sec.
user=henryzz
[2012-05-04 13:23:04]
465*2^1132471-1 is not prime.  Res64: 04ED483BE759CAB7  Time : 0.0 sec.
user=marco.bs
[2012-05-04 13:30:17]
435*2^1132469-1 is not prime.  Res64: 186ECEDDA284A58F  Time : 0.0 sec.
user=henryzz
[2012-05-04 13:34:52]
505*2^1132471-1 is not prime.  Res64: 8D3A28B5BBA49534  Time : 0.0 sec.
user=henryzz
[2012-05-04 13:39:26]
405*2^1132472-1 is not prime.  Res64: 9C50134E4B75719D  Time : 0.0 sec.
user=henryzz
[2012-05-04 13:44:12]
499*2^1132473-1 is not prime.  Res64: CE6248AD58ABDF81  Time : 0.0 sec.
user=henryzz
[2012-05-04 13:46:21]
565*2^1132473-1 is not prime.  Res64: C539F796EB867C40  Time : 0.0 sec.
user=vaughan
[2012-05-04 13:54:24]
483*2^1132472-1 is not prime.  Res64: C3CBC266631B56AA  Time : 0.0 sec.
user=henryzz
[2012-05-04 13:57:12]
561*2^1132474-1 is not prime.  Res64: BE8661014861D5C7  Time : 0.0 sec.
user=henryzz
[2012-05-04 14:01:08]
529*2^1132475-1 is not prime.  Res64: F84A1DA018A76DF1  Time : 0.0 sec.
user=henryzz
[2012-05-04 14:06:22]
479*2^1132476-1 is not prime.  Res64: 1185D03C591EE428  Time : 0.0 sec.
user=henryzz
[2012-05-04 14:08:14]
469*2^1132477-1 is not prime.  Res64: 13AC4F8AD4D0C6DC  Time : 0.0 sec.
user=marco.bs
[2012-05-04 14:18:22]
497*2^1132474-1 is not prime.  Res64: 6B2CCF55598F23E4  Time : 0.0 sec.
user=henryzz
[2012-05-04 14:20:02]
453*2^1132478-1 is not prime.  Res64: 937953B0A10F2593  Time : 0.0 sec.
user=henryzz
[2012-05-04 14:23:12]
467*2^1132478-1 is not prime.  Res64: 185BDB88F8323C38  Time : 0.0 sec.
user=vaughan
[2012-05-04 14:28:18]
417*2^1132478-1 is not prime.  Res64: 1CD8D903AB2AE7C9  Time : 0.0 sec.
user=henryzz
[2012-05-04 14:28:39]
495*2^1132478-1 is not prime.  Res64: 14C3553ED5978F0A  Time : 0.0 sec.
user=henryzz
[2012-05-04 14:32:38]
575*2^1132478-1 is not prime.  Res64: BD27FF0C24F309C0  Time : 0.0 sec.
user=henryzz
[2012-05-04 14:42:45]
481*2^1132479-1 is not prime.  Res64: 60A127B345DA05B6  Time : 0.0 sec.
user=henryzz
[2012-05-04 14:45:54]
543*2^1132479-1 is not prime.  Res64: 0054535C5BC5F56B  Time : 0.0 sec.
user=henryzz
[2012-05-04 14:52:08]
407*2^1132480-1 is not prime.  Res64: 6BC490B36E354C54  Time : 0.0 sec.
user=henryzz
[2012-05-04 14:57:01]
479*2^1132480-1 is not prime.  Res64: 42470426137F9A5F  Time : 0.0 sec.
user=henryzz
[2012-05-04 15:04:29]
549*2^1132480-1 is not prime.  Res64: 24CD75F32F269C78  Time : 0.0 sec.
user=marco.bs
[2012-05-04 15:06:44]
445*2^1132479-1 is not prime.  Res64: F7D9BA73755EBFAB  Time : 0.0 sec.
user=henryzz
[2012-05-04 15:07:01]
529*2^1132481-1 is not prime.  Res64: 18104063AE74FCDF  Time : 0.0 sec.
user=henryzz
[2012-05-04 15:13:45]
547*2^1132481-1 is not prime.  Res64: C2D7CFAF619B6F0C  Time : 0.0 sec.
user=henryzz
[2012-05-04 15:19:20]
571*2^1132481-1 is not prime.  Res64: 1EF87FB7A2516203  Time : 0.0 sec.
user=henryzz
[2012-05-04 15:25:36]
591*2^1132481-1 is not prime.  Res64: 991B96CEF2C99835  Time : 0.0 sec.
user=henryzz
[2012-05-04 15:29:35]
525*2^1132482-1 is not prime.  Res64: A1E00B8C36633A22  Time : 0.0 sec.
user=henryzz
[2012-05-04 15:34:45]
567*2^1132482-1 is not prime.  Res64: 0905C1AC93B4FDF0  Time : 0.0 sec.
user=henryzz
[2012-05-04 15:40:35]
429*2^1132483-1 is not prime.  Res64: B51F96A7173895B9  Time : 0.0 sec.
user=henryzz
[2012-05-04 15:48:18]
463*2^1132483-1 is not prime.  Res64: C276D317D7E7C9F6  Time : 0.0 sec.
user=henryzz
[2012-05-04 15:51:16]
481*2^1132483-1 is not prime.  Res64: F01100434C45A379  Time : 0.0 sec.
user=henryzz
[2012-05-04 15:56:34]
511*2^1132483-1 is not prime.  Res64: 237B1F0EF3F32D36  Time : 0.0 sec.
user=henryzz
[2012-05-04 16:01:53]
595*2^1132483-1 is not prime.  Res64: CECFDA339834CBB8  Time : 0.0 sec.
user=henryzz
[2012-05-04 16:09:17]
477*2^1132484-1 is not prime.  Res64: 9029EF2E8269C5BA  Time : 0.0 sec.
user=henryzz
[2012-05-04 16:12:56]
479*2^1132484-1 is not prime.  Res64: A6B708C186566F08  Time : 0.0 sec.
user=henryzz
[2012-05-04 16:19:29]
471*2^1132485-1 is not prime.  Res64: D6F8B302772D671C  Time : 0.0 sec.
user=henryzz
[2012-05-04 16:23:56]
591*2^1132485-1 is not prime.  Res64: 3ECCD954D8AFA308  Time : 0.0 sec.
user=henryzz
[2012-05-04 16:30:05]
447*2^1132486-1 is not prime.  Res64: E5AE6D434BD23615  Time : 0.0 sec.
user=henryzz
[2012-05-04 16:34:59]
465*2^1132486-1 is not prime.  Res64: 3755F15FE86182B3  Time : 0.0 sec.
user=henryzz
[2012-05-04 16:42:44]
483*2^1132486-1 is not prime.  Res64: 785AF63B1D5B6D4B  Time : 0.0 sec.
user=henryzz
[2012-05-04 16:44:59]
561*2^1132486-1 is not prime.  Res64: 5BDAD8E486078A05  Time : 0.0 sec.
user=henryzz
[2012-05-04 16:51:33]
465*2^1132487-1 is not prime.  Res64: 4FF467A83FB6626F  Time : 0.0 sec.
user=henryzz
[2012-05-04 16:56:27]
493*2^1132487-1 is not prime.  Res64: 3CCADBDC8A8C66DE  Time : 0.0 sec.
user=henryzz
[2012-05-04 17:04:58]
523*2^1132487-1 is not prime.  Res64: AB6D3EA62176E755  Time : 0.0 sec.
user=henryzz
[2012-05-04 17:06:23]
413*2^1132488-1 is not prime.  Res64: E0ABAA85D230B39F  Time : 0.0 sec.
user=henryzz
[2012-05-04 17:13:50]
423*2^1132488-1 is not prime.  Res64: 16A75C6A1F2DAF2B  Time : 0.0 sec.
user=henryzz
[2012-05-04 17:17:17]
503*2^1132488-1 is not prime.  Res64: 5E85982517999AB7  Time : 0.0 sec.
user=henryzz
[2012-05-04 17:27:15]
555*2^1132488-1 is not prime.  Res64: E993FF2ECE8E02A4  Time : 0.0 sec.
user=henryzz
[2012-05-04 17:27:49]
557*2^1132488-1 is not prime.  Res64: ECA00ECD81BE15CC  Time : 0.0 sec.
user=henryzz
[2012-05-04 17:34:57]
567*2^1132488-1 is not prime.  Res64: 83AE22CA132B80BE  Time : 0.0 sec.
user=henryzz
[2012-05-04 17:38:58]
481*2^1132489-1 is not prime.  Res64: 5B25813E74B8C936  Time : 0.0 sec.
user=henryzz
[2012-05-04 17:49:15]
535*2^1132489-1 is not prime.  Res64: 162EFB030ABB5E22  Time : 0.0 sec.
user=henryzz
[2012-05-04 17:56:53]
565*2^1132489-1 is not prime.  Res64: 493562E2A58BD782  Time : 0.0 sec.
user=henryzz
[2012-05-04 18:01:51]
417*2^1132490-1 is not prime.  Res64: 3584B541E7E44574  Time : 0.0 sec.
user=grueny
[2012-05-04 18:38:13]
511*2^1132491-1 is not prime.  Res64: F7BF808CBE01B421  Time : 0.0 sec.
user=grueny
[2012-05-04 19:01:59]
437*2^1132492-1 is not prime.  Res64: F7FC07DF59065E90  Time : 0.0 sec.
user=vaughan
[2012-05-04 19:14:53]
563*2^1132492-1 is not prime.  Res64: 9F5983B7B6068861  Time : 0.0 sec.
user=grueny
[2012-05-04 19:25:49]
465*2^1132493-1 is not prime.  Res64: 4793E71241BCA99F  Time : 0.0 sec.
user=grueny
[2012-05-04 19:49:38]
567*2^1132493-1 is not prime.  Res64: 3CFAECF650830271  Time : 0.0 sec.
user=vaughan
[2012-05-04 20:24:28]
571*2^1132493-1 is not prime.  Res64: C7C9EDDDD89D6B9D  Time : 0.0 sec.
user=grueny
[2012-05-04 21:00:36]
453*2^1132495-1 is not prime.  Res64: 4BDDF27CD23CD18B  Time : 0.0 sec.
user=grueny
[2012-05-04 21:24:24]
489*2^1132495-1 is not prime.  Res64: 8B716EAC8858D247  Time : 0.0 sec.
user=vaughan
[2012-05-04 22:10:13]
531*2^1132495-1 is not prime.  Res64: 76FDD1735220E02D  Time : 0.0 sec.
user=grueny
[2012-05-04 23:00:05]
573*2^1132495-1 is not prime.  Res64: 84D4AB8D88B657F2  Time : 0.0 sec.
user=grueny
[2012-05-04 23:24:01]
583*2^1132495-1 is not prime.  Res64: D728F8CC6EC26EF1  Time : 0.0 sec.
user=grueny
[2012-05-04 23:47:49]
429*2^1132497-1 is not prime.  Res64: B2DAC301E99B8F18  Time : 0.0 sec.
user=vaughan
[2012-05-04 23:59:43]
413*2^1132498-1 is not prime.  Res64: D7AF7916A463ED0C  Time : 0.0 sec.