user=vaughan
[2009-03-04 00:00:53]
711*2^623534-1 is not prime.  Res64: 5B5231C633A5316C  Time : 396.0 sec.
user=vaughan
[2009-03-04 00:07:30]
767*2^623534-1 is not prime.  Res64: 5DD2EBB4D070DE38  Time : 397.0 sec.
user=tnerual
[2009-03-04 00:10:03]
741*2^623533-1 is not prime.  Res64: AF613FAFC76EFD8E  Time : 1393.0 sec.
user=vaughan
[2009-03-04 00:14:09]
609*2^623535-1 is not prime.  Res64: BBA570743E7474B8  Time : 400.0 sec.
user=vaughan
[2009-03-04 00:20:44]
615*2^623536-1 is not prime.  Res64: 8EFCA7D1E28DDE46  Time : 396.0 sec.
user=vaughan
[2009-03-04 00:27:12]
777*2^623536-1 is not prime.  Res64: AC4C776217C8A8CB  Time : 388.0 sec.
user=vaughan
[2009-03-04 00:32:55]
631*2^623537-1 is not prime.  Res64: B6B8B061BA96856B  Time : 343.0 sec.
user=vaughan
[2009-03-04 00:38:45]
685*2^623537-1 is not prime.  Res64: C87D692FD6C31EAE  Time : 350.0 sec.
user=tnerual
[2009-03-04 00:39:12]
739*2^623535-1 is not prime.  Res64: 4D15FE508490E6D6  Time : 1749.0 sec.
user=vaughan
[2009-03-04 00:44:36]
717*2^623537-1 is not prime.  Res64: 334C199EEBE41D90  Time : 351.0 sec.
user=vaughan
[2009-03-04 00:50:27]
755*2^623538-1 is not prime.  Res64: 6C71134B994FD01C  Time : 351.0 sec.
user=vaughan
[2009-03-04 00:56:12]
615*2^623539-1 is not prime.  Res64: 87C9C5D11A04C0BB  Time : 346.0 sec.
user=vaughan
[2009-03-04 01:01:18]
619*2^623539-1 is not prime.  Res64: D916A66FE9AA47C7  Time : 306.0 sec.
user=tnerual
[2009-03-04 01:01:45]
799*2^623537-1 is not prime.  Res64: 5D53613F5D1BE8A7  Time : 1353.0 sec.
user=vaughan
[2009-03-04 01:06:26]
705*2^623539-1 is not prime.  Res64: 5C62C2259C2E2D94  Time : 308.0 sec.
user=vaughan
[2009-03-04 01:11:34]
725*2^623540-1 is not prime.  Res64: 41701FC9B9049D12  Time : 308.0 sec.
user=vaughan
[2009-03-04 01:16:41]
609*2^623541-1 is not prime.  Res64: 070D2C2B9F67323D  Time : 307.0 sec.
user=vaughan
[2009-03-04 01:21:48]
625*2^623541-1 is not prime.  Res64: 12E5F86CFD0AA2D6  Time : 307.0 sec.
user=tnerual
[2009-03-04 01:24:03]
659*2^623540-1 is not prime.  Res64: F3C4B0B8921685EC  Time : 1338.0 sec.
user=vaughan
[2009-03-04 01:26:54]
747*2^623541-1 is not prime.  Res64: C9D6A72F3E8492FB  Time : 306.0 sec.
user=vaughan
[2009-03-04 01:32:03]
623*2^623542-1 is not prime.  Res64: 7871E1E7099F44E2  Time : 309.0 sec.
user=vaughan
[2009-03-04 01:37:11]
615*2^623543-1 is not prime.  Res64: 37E5032F1D5F79FA  Time : 309.0 sec.
user=vaughan
[2009-03-04 01:42:18]
619*2^623543-1 is not prime.  Res64: E58AB68255426454  Time : 307.0 sec.
user=tnerual
[2009-03-04 01:46:18]
795*2^623541-1 is not prime.  Res64: 366F74B982915B46  Time : 1335.0 sec.
user=vaughan
[2009-03-04 01:47:26]
621*2^623543-1 is not prime.  Res64: 5898F17101721DE6  Time : 308.0 sec.
user=vaughan
[2009-03-04 01:52:33]
669*2^623543-1 is not prime.  Res64: 1504D1A5232235A2  Time : 308.0 sec.
user=vaughan
[2009-03-04 01:57:40]
705*2^623543-1 is not prime.  Res64: 2BD3E78CE93F0168  Time : 307.0 sec.
user=vaughan
[2009-03-04 02:02:49]
609*2^623544-1 is not prime.  Res64: B328076EDE5DEE03  Time : 309.0 sec.
user=vaughan
[2009-03-04 02:07:56]
689*2^623544-1 is not prime.  Res64: 0664FE0E4188169E  Time : 308.0 sec.
user=tnerual
[2009-03-04 02:08:33]
663*2^623543-1 is not prime.  Res64: 55883F0E28EB7524  Time : 1335.0 sec.
user=vaughan
[2009-03-04 02:13:02]
699*2^623544-1 is not prime.  Res64: 7E7FB94C2630DBD4  Time : 306.0 sec.
user=vaughan
[2009-03-04 02:18:10]
759*2^623544-1 is not prime.  Res64: E56C8097DDF95D77  Time : 308.0 sec.
user=vaughan
[2009-03-04 02:24:03]
765*2^623544-1 is not prime.  Res64: B8F04D660180A625  Time : 354.0 sec.
user=tnerual
[2009-03-04 02:30:51]
723*2^623544-1 is not prime.  Res64: 9B53CD55FFFECEE3  Time : 1338.0 sec.
user=vaughan
[2009-03-04 02:32:30]
609*2^623545-1 is not prime.  Res64: 8B124BF6DD64FF88  Time : 507.0 sec.
user=vaughan
[2009-03-04 02:40:57]
667*2^623545-1 is not prime.  Res64: B63CB5F06175A253  Time : 507.0 sec.
user=vaughan
[2009-03-04 02:49:21]
687*2^623545-1 is not prime.  Res64: D7526760FC4C8B8B  Time : 504.0 sec.
user=tnerual
[2009-03-04 02:53:05]
651*2^623545-1 is not prime.  Res64: 0E980F1E509397A9  Time : 1334.0 sec.
user=vaughan
[2009-03-04 02:57:47]
623*2^623546-1 is not prime.  Res64: A2B89C201793C786  Time : 506.0 sec.
user=vaughan
[2009-03-04 03:06:09]
641*2^623546-1 is not prime.  Res64: 4EDB725D50431AD1  Time : 503.0 sec.
user=vaughan
[2009-03-04 03:14:34]
711*2^623546-1 is not prime.  Res64: 74E45D359609E049  Time : 505.0 sec.
user=tnerual
[2009-03-04 03:15:23]
635*2^623546-1 is not prime.  Res64: 5D7739D611BB5FB4  Time : 1338.0 sec.
user=vaughan
[2009-03-04 03:22:56]
625*2^623547-1 is not prime.  Res64: 5A263E9DA6944FEC  Time : 502.0 sec.
user=vaughan
[2009-03-04 03:31:23]
793*2^623547-1 is not prime.  Res64: E6CE5821024181D1  Time : 508.0 sec.
user=tnerual
[2009-03-04 03:37:38]
649*2^623547-1 is not prime.  Res64: BF844D196C42AB44  Time : 1335.0 sec.
user=vaughan
[2009-03-04 03:39:50]
615*2^623548-1 is not prime.  Res64: B4FF4E6A685E3DC5  Time : 507.0 sec.
user=vaughan
[2009-03-04 03:48:19]
705*2^623548-1 is not prime.  Res64: 9B4DF4C053F06476  Time : 509.0 sec.
user=vaughan
[2009-03-04 03:56:40]
735*2^623548-1 is not prime.  Res64: E17AFEE50676634D  Time : 501.0 sec.
user=tnerual
[2009-03-04 03:59:52]
647*2^623548-1 is not prime.  Res64: E35DD842C35A64A5  Time : 1335.0 sec.
user=vaughan
[2009-03-04 04:05:05]
773*2^623548-1 is not prime.  Res64: D480F6ED3A13BD19  Time : 505.0 sec.
user=vaughan
[2009-03-04 04:13:28]
621*2^623549-1 is not prime.  Res64: 0319AB6453B2C315  Time : 503.0 sec.
user=vaughan
[2009-03-04 04:21:47]
631*2^623549-1 is not prime.  Res64: 814129BB5D5D3F18  Time : 500.0 sec.
user=tnerual
[2009-03-04 04:22:10]
619*2^623549-1 is not prime.  Res64: 792668FBB810D140  Time : 1338.0 sec.
user=vaughan
[2009-03-04 04:30:10]
655*2^623549-1 is not prime.  Res64: B46458996B6F1514  Time : 504.0 sec.
user=vaughan
[2009-03-04 04:38:32]
711*2^623549-1 is not prime.  Res64: CC6B49BC8079A2E6  Time : 502.0 sec.
user=tnerual
[2009-03-04 04:44:25]
657*2^623549-1 is not prime.  Res64: 7311D8542E4D856B  Time : 1336.0 sec.
user=vaughan
[2009-03-04 04:46:53]
729*2^623549-1 is not prime.  Res64: 97081B9AA0B0DCFB  Time : 502.0 sec.
user=vaughan
[2009-03-04 04:54:58]
799*2^623549-1 is not prime.  Res64: 874DA84552337EAE  Time : 485.0 sec.
user=vaughan
[2009-03-04 05:03:00]
651*2^623550-1 is not prime.  Res64: 0B94152543BC9783  Time : 482.0 sec.
user=tnerual
[2009-03-04 05:09:58]
741*2^623549-1 is not prime.  Res64: 31EEDCD9E95DF01F  Time : 1534.0 sec.
user=vaughan
[2009-03-04 05:11:05]
671*2^623550-1 is not prime.  Res64: 94E3248BCA55EDD0  Time : 485.0 sec.
user=vaughan
[2009-03-04 05:19:17]
765*2^623550-1 is not prime.  Res64: 5640B1F5E12E351C  Time : 492.0 sec.
user=vaughan
[2009-03-04 05:27:25]
783*2^623550-1 is not prime.  Res64: 8851D35C058F20F5  Time : 488.0 sec.
user=tnerual
[2009-03-04 05:32:08]
755*2^623550-1 is not prime.  Res64: 01ED9A53F6CEB2AF  Time : 1330.0 sec.
user=vaughan
[2009-03-04 05:35:36]
645*2^623551-1 is not prime.  Res64: 025B82D64908A2ED  Time : 491.0 sec.
user=vaughan
[2009-03-04 05:43:46]
673*2^623551-1 is not prime.  Res64: 49CCDB26268F261B  Time : 490.0 sec.
user=vaughan
[2009-03-04 05:52:06]
693*2^623551-1 is not prime.  Res64: 59049B49D79A3F71  Time : 500.0 sec.
user=tnerual
[2009-03-04 05:54:13]
651*2^623551-1 is not prime.  Res64: E7D6EC95C844872B  Time : 1325.0 sec.
user=vaughan
[2009-03-04 06:00:25]
677*2^623552-1 is not prime.  Res64: 011DF6DEB6CB245E  Time : 499.0 sec.
user=vaughan
[2009-03-04 06:08:41]
767*2^623552-1 is not prime.  Res64: 574AC8787C121115  Time : 496.0 sec.
user=tnerual
[2009-03-04 06:16:18]
683*2^623552-1 is not prime.  Res64: E0B0DCA88DB404CE  Time : 1325.0 sec.
user=vaughan
[2009-03-04 06:17:06]
777*2^623552-1 is not prime.  Res64: 5621D10815E3F56A  Time : 505.0 sec.
user=vaughan
[2009-03-04 06:25:21]
747*2^623553-1 is not prime.  Res64: 3F007574B798D34C  Time : 495.0 sec.
user=vaughan
[2009-03-04 06:33:38]
789*2^623553-1 is not prime.  Res64: 8C80E5A61AD6F970  Time : 497.0 sec.
user=tnerual
[2009-03-04 06:38:24]
735*2^623553-1 is not prime.  Res64: E85FF87FD582BA0B  Time : 1326.0 sec.
user=vaughan
[2009-03-04 06:41:58]
617*2^623554-1 is not prime.  Res64: EFF5325A0236DCE0  Time : 501.0 sec.
user=vaughan
[2009-03-04 06:50:01]
657*2^623554-1 is not prime.  Res64: 407920A803DEF9B0  Time : 483.0 sec.
user=vaughan
[2009-03-04 06:58:22]
687*2^623554-1 is not prime.  Res64: 2BCAFF5E723FA230  Time : 501.0 sec.
user=tnerual
[2009-03-04 07:01:03]
621*2^623554-1 is not prime.  Res64: 8C07F072BDE1827F  Time : 1360.0 sec.
user=vaughan
[2009-03-04 07:06:38]
695*2^623554-1 is not prime.  Res64: 46F68438D584A1C5  Time : 496.0 sec.
user=vaughan
[2009-03-04 07:15:01]
747*2^623554-1 is not prime.  Res64: FB3486912497919B  Time : 503.0 sec.
user=vaughan
[2009-03-04 07:23:11]
603*2^623555-1 is not prime.  Res64: 3389E235499F9BA4  Time : 490.0 sec.
user=tnerual
[2009-03-04 07:25:12]
705*2^623554-1 is not prime.  Res64: 3A8662CCEE39FB79  Time : 1449.0 sec.
user=vaughan
[2009-03-04 07:31:24]
619*2^623555-1 is not prime.  Res64: F00DC4AC6CDED6BE  Time : 493.0 sec.
user=vaughan
[2009-03-04 07:39:33]
645*2^623555-1 is not prime.  Res64: 2DEBDFB5D20FE845  Time : 489.0 sec.
user=tnerual
[2009-03-04 07:47:23]
643*2^623555-1 is not prime.  Res64: 53889265F3F42D9A  Time : 1331.0 sec.
user=vaughan
[2009-03-04 07:47:44]
693*2^623555-1 is not prime.  Res64: C3744C93B1A456CA  Time : 491.0 sec.
user=vaughan
[2009-03-04 07:55:54]
675*2^623556-1 is not prime.  Res64: 32F6F96559910664  Time : 490.0 sec.
user=vaughan
[2009-03-04 08:04:15]
717*2^623556-1 is not prime.  Res64: 9844C58B3C5BFC30  Time : 501.0 sec.
user=tnerual
[2009-03-04 08:09:33]
627*2^623556-1 is not prime.  Res64: D799C940C9469851  Time : 1330.0 sec.
user=vaughan
[2009-03-04 08:12:32]
725*2^623556-1 is not prime.  Res64: FAA83EEA7B4AF107  Time : 497.0 sec.
user=vaughan
[2009-03-04 08:20:52]
749*2^623556-1 is not prime.  Res64: 4C518FA526D4D379  Time : 500.0 sec.
user=vaughan
[2009-03-04 08:29:07]
767*2^623556-1 is not prime.  Res64: 0129A225B967ADDB  Time : 495.0 sec.
user=tnerual
[2009-03-04 08:31:43]
735*2^623556-1 is not prime.  Res64: ECC09685F4A79148  Time : 1331.0 sec.
user=vaughan
[2009-03-04 08:37:11]
699*2^623557-1 is not prime.  Res64: 7815E8B98C276148  Time : 484.0 sec.
user=vaughan
[2009-03-04 08:45:25]
641*2^623558-1 is not prime.  Res64: 2CF5440D530C0F40  Time : 494.0 sec.
user=tnerual
[2009-03-04 08:53:52]
617*2^623558-1 is not prime.  Res64: 88A3BCADBC959C40  Time : 1330.0 sec.
user=vaughan
[2009-03-04 08:53:54]
711*2^623558-1 is not prime.  Res64: 449BB6FB855EBECA  Time : 509.0 sec.
user=vaughan
[2009-03-04 09:02:11]
755*2^623558-1 is not prime.  Res64: BBB42320BFCC36AB  Time : 498.0 sec.
user=vaughan
[2009-03-04 09:10:31]
773*2^623558-1 is not prime.  Res64: 516CD7165D340A7B  Time : 500.0 sec.
user=tnerual
[2009-03-04 09:16:01]
747*2^623558-1 is not prime.  Res64: B125396261F73EEF  Time : 1329.0 sec.
user=vaughan
[2009-03-04 09:18:57]
649*2^623559-1 is not prime.  Res64: 740763F472CA857E  Time : 506.0 sec.
user=vaughan
[2009-03-04 09:27:18]
677*2^623560-1 is not prime.  Res64: 53D78AD1511C8AB1  Time : 502.0 sec.
user=vaughan
[2009-03-04 09:35:40]
687*2^623560-1 is not prime.  Res64: 63720DE6CB634563  Time : 502.0 sec.
user=tnerual
[2009-03-04 09:38:10]
645*2^623560-1 is not prime.  Res64: 561782221FDBFC2B  Time : 1329.0 sec.
user=vaughan
[2009-03-04 09:44:02]
695*2^623560-1 is not prime.  Res64: 47EF24AEE8E0BF9B  Time : 502.0 sec.
user=vaughan
[2009-03-04 09:52:24]
615*2^623561-1 is not prime.  Res64: A385F2D7C59999B9  Time : 502.0 sec.
user=tnerual
[2009-03-04 10:00:18]
759*2^623560-1 is not prime.  Res64: D3F5A8777E1BAC0D  Time : 1328.0 sec.
user=vaughan
[2009-03-04 10:00:46]
679*2^623561-1 is not prime.  Res64: 44BF6C6CE9E78737  Time : 502.0 sec.
user=vaughan
[2009-03-04 10:09:07]
741*2^623561-1 is not prime.  Res64: CE81C6D35821AE30  Time : 501.0 sec.
user=vaughan
[2009-03-04 10:17:28]
777*2^623561-1 is not prime.  Res64: E8D57338369B9846  Time : 501.0 sec.
user=tnerual
[2009-03-04 10:22:27]
705*2^623561-1 is not prime.  Res64: E9AFAC76F74E2AC5  Time : 1329.0 sec.
user=vaughan
[2009-03-04 10:25:49]
647*2^623562-1 is not prime.  Res64: 35718EBABE3A83B4  Time : 501.0 sec.
user=vaughan
[2009-03-04 10:33:46]
741*2^623562-1 is not prime.  Res64: 210104B38EE76AB1  Time : 477.0 sec.
user=vaughan
[2009-03-04 10:42:13]
797*2^623562-1 is not prime.  Res64: DD81B5B7EC747ED4  Time : 507.0 sec.
user=tnerual
[2009-03-04 10:44:36]
723*2^623562-1 is not prime.  Res64: 7EC83330B97E8587  Time : 1329.0 sec.
user=vaughan
[2009-03-04 10:50:38]
679*2^623563-1 is not prime.  Res64: 0F6BFA1D749AA31E  Time : 505.0 sec.
user=vaughan
[2009-03-04 10:58:56]
615*2^623564-1 is not prime.  Res64: 4F01EF05D732C6E6  Time : 498.0 sec.
user=tnerual
[2009-03-04 11:06:44]
709*2^623563-1 is not prime.  Res64: 8E20524592C42718  Time : 1329.0 sec.
user=vaughan
[2009-03-04 11:07:21]
675*2^623564-1 is not prime.  Res64: FE75230B66F18650  Time : 506.0 sec.
user=vaughan
[2009-03-04 11:15:47]
743*2^623564-1 is not prime.  Res64: 291FD8B243A6564B  Time : 506.0 sec.
user=vaughan
[2009-03-04 11:23:57]
767*2^623564-1 is not prime.  Res64: C49662A7042BD321  Time : 490.0 sec.
user=tnerual
[2009-03-04 11:28:53]
725*2^623564-1 is not prime.  Res64: 693D35ACBE6EA5C3  Time : 1330.0 sec.
user=vaughan
[2009-03-04 11:31:58]
649*2^623565-1 is not prime.  Res64: 60D7BFBB7823913B  Time : 481.0 sec.
user=vaughan
[2009-03-04 11:40:09]
675*2^623566-1 is not prime.  Res64: 3B213B875FEEB076  Time : 492.0 sec.
user=vaughan
[2009-03-04 11:48:36]
713*2^623566-1 is not prime.  Res64: 91622EE16F755FD7  Time : 507.0 sec.
user=tnerual
[2009-03-04 11:51:02]
679*2^623565-1 is not prime.  Res64: 2D05FF434E64B508  Time : 1329.0 sec.
user=vaughan
[2009-03-04 11:56:59]
755*2^623566-1 is not prime.  Res64: B9DA324957A9E7AE  Time : 503.0 sec.
user=vaughan
[2009-03-04 12:05:27]
785*2^623566-1 is not prime.  Res64: 57716E4309425350  Time : 508.0 sec.
user=tnerual
[2009-03-04 12:13:10]
773*2^623566-1 is not prime.  Res64: 6ECF4FD41A13E3A4  Time : 1328.0 sec.
user=vaughan
[2009-03-04 12:13:50]
711*2^623567-1 is not prime.  Res64: 288D1CF9456C05FA  Time : 504.0 sec.
user=vaughan
[2009-03-04 12:22:18]
605*2^623568-1 is not prime.  Res64: E2D15B13AB62F6CB  Time : 508.0 sec.
user=vaughan
[2009-03-04 12:30:39]
663*2^623568-1 is not prime.  Res64: AC067D3C2D588EFA  Time : 501.0 sec.
user=tnerual
[2009-03-04 12:35:20]
729*2^623567-1 is not prime.  Res64: 1ED506DF206C9A3A  Time : 1330.0 sec.
user=vaughan
[2009-03-04 12:39:01]
705*2^623568-1 is not prime.  Res64: 673A38FC3FE7F303  Time : 503.0 sec.
user=vaughan
[2009-03-04 12:47:28]
601*2^623569-1 is not prime.  Res64: 83A790A2C278E6CB  Time : 507.0 sec.
user=vaughan
[2009-03-04 12:55:48]
649*2^623569-1 is not prime.  Res64: FAAE12A070BDAC8A  Time : 500.0 sec.
user=tnerual
[2009-03-04 12:57:29]
789*2^623568-1 is not prime.  Res64: 29C8243B7EC24911  Time : 1329.0 sec.
user=vaughan
[2009-03-04 13:04:19]
775*2^623569-1 is not prime.  Res64: C5F02C933F36CCFC  Time : 511.0 sec.
user=vaughan
[2009-03-04 13:12:41]
645*2^623570-1 is not prime.  Res64: 81FDA9ED2BD8C3DB  Time : 502.0 sec.
user=tnerual
[2009-03-04 13:19:38]
615*2^623570-1 is not prime.  Res64: A5A229A721D86270  Time : 1329.0 sec.
user=vaughan
[2009-03-04 13:21:14]
657*2^623570-1 is not prime.  Res64: D0B126A8EAE6791A  Time : 513.0 sec.
user=vaughan
[2009-03-04 13:29:33]
723*2^623571-1 is not prime.  Res64: B94C6655FABE34AF  Time : 499.0 sec.
user=vaughan
[2009-03-04 13:37:59]
735*2^623571-1 is not prime.  Res64: EBBD3173D81DF7DD  Time : 506.0 sec.
user=tnerual
[2009-03-04 13:41:48]
649*2^623571-1 is not prime.  Res64: 6A8375E97B042676  Time : 1330.0 sec.
user=vaughan
[2009-03-04 13:46:23]
781*2^623571-1 is not prime.  Res64: 76F6B599C2570A98  Time : 504.0 sec.
user=vaughan
[2009-03-04 13:54:45]
689*2^623572-1 is not prime.  Res64: 5B797CB8ABC863A9  Time : 503.0 sec.
user=vaughan
[2009-03-04 14:03:07]
719*2^623572-1 is not prime.  Res64: 7587AE3E9D3FF77B  Time : 502.0 sec.
user=tnerual
[2009-03-04 14:03:56]
635*2^623572-1 is not prime.  Res64: 1951FA2BFC67B633  Time : 1329.0 sec.
user=vaughan
[2009-03-04 14:11:30]
723*2^623572-1 is not prime.  Res64: CCCD6365AF435F32  Time : 503.0 sec.
user=vaughan
[2009-03-04 14:19:46]
675*2^623573-1 is not prime.  Res64: 736175F75D91292E  Time : 496.0 sec.
user=tnerual
[2009-03-04 14:26:05]
621*2^623573-1 is not prime.  Res64: 452EB65EF3058FDE  Time : 1330.0 sec.
user=vaughan
[2009-03-04 14:28:13]
679*2^623573-1 is not prime.  Res64: 4793CB0E73B8DCA9  Time : 508.0 sec.
user=vaughan
[2009-03-04 14:36:13]
605*2^623574-1 is not prime.  Res64: 176D4542E2F1571D  Time : 480.0 sec.
user=vaughan
[2009-03-04 14:44:39]
627*2^623574-1 is not prime.  Res64: C4786873D6670785  Time : 506.0 sec.
user=tnerual
[2009-03-04 14:48:13]
795*2^623573-1 is not prime.  Res64: 2EDF3D4E878F7470  Time : 1328.0 sec.
user=vaughan
[2009-03-04 14:51:45]
737*2^623574-1 is not prime.  Res64: 18E15A33A01C3EA6  Time : 426.0 sec.
user=vaughan
[2009-03-04 14:56:56]
651*2^623575-1 is not prime.  Res64: 2A8752DFA08C9B1A  Time : 312.0 sec.
user=vaughan
[2009-03-04 15:02:20]
679*2^623575-1 is not prime.  Res64: 52CCD52EDA789253  Time : 324.0 sec.
user=vaughan
[2009-03-04 15:07:41]
657*2^623576-1 is not prime.  Res64: E297421F23A5D329  Time : 321.0 sec.
user=tnerual
[2009-03-04 15:10:22]
633*2^623575-1 is not prime.  Res64: 30B7FF96A7A00546  Time : 1329.0 sec.
user=vaughan
[2009-03-04 15:13:03]
683*2^623576-1 is not prime.  Res64: A3D518704604A84C  Time : 322.0 sec.
user=vaughan
[2009-03-04 15:18:24]
773*2^623576-1 is not prime.  Res64: 1FE5C49FA8259E9D  Time : 321.0 sec.
user=vaughan
[2009-03-04 15:23:43]
607*2^623577-1 is not prime.  Res64: E254B4786A8F90E8  Time : 319.0 sec.
user=vaughan
[2009-03-04 15:29:04]
667*2^623577-1 is not prime.  Res64: C7414A4891DC82C8  Time : 321.0 sec.
user=tnerual
[2009-03-04 15:32:30]
693*2^623576-1 is not prime.  Res64: C3F6D23AE854D028  Time : 1328.0 sec.
user=vaughan
[2009-03-04 15:34:26]
657*2^623578-1 is not prime.  Res64: 20EA293526967207  Time : 322.0 sec.
user=vaughan
[2009-03-04 15:39:50]
743*2^623578-1 is not prime.  Res64: D8E183741608BAA9  Time : 324.0 sec.
user=vaughan
[2009-03-04 15:45:12]
755*2^623578-1 is not prime.  Res64: A0B21636EE472D8B  Time : 322.0 sec.
user=vaughan
[2009-03-04 15:50:33]
777*2^623578-1 is not prime.  Res64: 2F8E26C5F1008E70  Time : 321.0 sec.
user=tnerual
[2009-03-04 15:54:38]
665*2^623578-1 is not prime.  Res64: 13D96408272BB1FE  Time : 1328.0 sec.
user=vaughan
[2009-03-04 15:55:54]
601*2^623579-1 is not prime.  Res64: CA2E393A1A421927  Time : 321.0 sec.
user=vaughan
[2009-03-04 16:01:16]
707*2^623580-1 is not prime.  Res64: 9512D2FB6207B070  Time : 322.0 sec.
user=vaughan
[2009-03-04 16:06:38]
777*2^623580-1 is not prime.  Res64: 674E377E5D9EA373  Time : 322.0 sec.
user=vaughan
[2009-03-04 16:11:59]
779*2^623580-1 is not prime.  Res64: 21A4EB25D90F1918  Time : 321.0 sec.
user=tnerual
[2009-03-04 16:16:47]
759*2^623579-1 is not prime.  Res64: 0CC3FE76AC8F20E7  Time : 1329.0 sec.
user=vaughan
[2009-03-04 16:17:24]
675*2^623581-1 is not prime.  Res64: F21C19406658CE88  Time : 325.0 sec.
user=vaughan
[2009-03-04 16:22:46]
747*2^623581-1 is not prime.  Res64: 849A7373587E295F  Time : 323.0 sec.
user=vaughan
[2009-03-04 16:28:06]
799*2^623581-1 is not prime.  Res64: 10B1898C1A05ED0A  Time : 320.0 sec.
user=vaughan
[2009-03-04 16:33:30]
675*2^623582-1 is not prime.  Res64: 92A9AA814CBD094C  Time : 324.0 sec.
user=vaughan
[2009-03-04 16:38:50]
677*2^623582-1 is not prime.  Res64: 5739984563888CC0  Time : 321.0 sec.
user=tnerual
[2009-03-04 16:38:57]
715*2^623581-1 is not prime.  Res64: D9829A34BF1B7FEB  Time : 1330.0 sec.
user=vaughan
[2009-03-04 16:44:13]
683*2^623582-1 is not prime.  Res64: 977D067CDEED273E  Time : 323.0 sec.
user=vaughan
[2009-03-04 16:49:35]
753*2^623582-1 is not prime.  Res64: EAFA1055EB9CFE09  Time : 322.0 sec.
user=vaughan
[2009-03-04 16:54:56]
761*2^623582-1 is not prime.  Res64: 9D9C7ED91518C819  Time : 321.0 sec.
user=vaughan
[2009-03-04 17:00:20]
767*2^623582-1 is not prime.  Res64: B063C484FFED9F1C  Time : 324.0 sec.
user=tnerual
[2009-03-04 17:01:06]
705*2^623582-1 is not prime.  Res64: C934813F8F709A58  Time : 1330.0 sec.
user=vaughan
[2009-03-04 17:05:43]
797*2^623582-1 is not prime.  Res64: 3AD3E317EC3DB51D  Time : 323.0 sec.
user=vaughan
[2009-03-04 17:11:04]
663*2^623583-1 is not prime.  Res64: 29ECFD4471001A55  Time : 322.0 sec.
user=vaughan
[2009-03-04 17:16:25]
679*2^623583-1 is not prime.  Res64: 27B953FB7BB58ECE  Time : 321.0 sec.
user=vaughan
[2009-03-04 17:21:45]
705*2^623583-1 is not prime.  Res64: 9F391B40F38B8C0B  Time : 321.0 sec.
user=tnerual
[2009-03-04 17:23:15]
643*2^623583-1 is not prime.  Res64: 30B8F04F342E3820  Time : 1330.0 sec.
user=vaughan
[2009-03-04 17:27:07]
615*2^623584-1 is not prime.  Res64: 9042AA4E5433E904  Time : 322.0 sec.
user=vaughan
[2009-03-04 17:32:27]
675*2^623584-1 is not prime.  Res64: BCDBBC5772D409EB  Time : 320.0 sec.
user=vaughan
[2009-03-04 17:37:48]
677*2^623584-1 is not prime.  Res64: E453CE3E068A4D10  Time : 322.0 sec.
user=vaughan
[2009-03-04 17:43:09]
755*2^623584-1 is not prime.  Res64: 4F2FEBED2D88D3A8  Time : 321.0 sec.
user=tnerual
[2009-03-04 17:45:23]
623*2^623584-1 is not prime.  Res64: 529746A5D9BDB7F2  Time : 1328.0 sec.
user=vaughan
[2009-03-04 17:48:29]
735*2^623585-1 is not prime.  Res64: 2C699946B775D5E4  Time : 320.0 sec.
user=vaughan
[2009-03-04 17:53:51]
627*2^623586-1 is not prime.  Res64: F35509665BDE887E  Time : 322.0 sec.
user=vaughan
[2009-03-04 17:59:12]
601*2^623587-1 is not prime.  Res64: 5FD0F43E1C4246D4  Time : 321.0 sec.
user=vaughan
[2009-03-04 18:04:31]
609*2^623587-1 is not prime.  Res64: 2ED42CD528ED45D7  Time : 320.0 sec.
user=tnerual
[2009-03-04 18:07:32]
777*2^623585-1 is not prime.  Res64: E0F842F12EEB14B4  Time : 1329.0 sec.
user=vaughan
[2009-03-04 18:09:51]
633*2^623587-1 is not prime.  Res64: 2D903DAD08E73392  Time : 320.0 sec.
user=vaughan
[2009-03-04 18:15:13]
699*2^623587-1 is not prime.  Res64: 5BB69B5EB7A8BC90  Time : 322.0 sec.
user=vaughan
[2009-03-04 18:20:34]
775*2^623587-1 is not prime.  Res64: 9081788610985685  Time : 322.0 sec.
user=vaughan
[2009-03-04 18:25:57]
617*2^623588-1 is not prime.  Res64: 87C353109D783F2C  Time : 323.0 sec.
user=tnerual
[2009-03-04 18:29:41]
645*2^623587-1 is not prime.  Res64: 62C10FB6E7385B66  Time : 1329.0 sec.
user=vaughan
[2009-03-04 18:31:19]
633*2^623588-1 is not prime.  Res64: C9A22D7EDD2C97C4  Time : 322.0 sec.
user=vaughan
[2009-03-04 18:37:03]
677*2^623588-1 is not prime.  Res64: 20A31C46EA504F96  Time : 344.0 sec.
user=vaughan
[2009-03-04 18:42:53]
683*2^623588-1 is not prime.  Res64: 90F27C6C5952B2B4  Time : 350.0 sec.
user=vaughan
[2009-03-04 18:48:45]
707*2^623588-1 is not prime.  Res64: 150DDC569271610B  Time : 353.0 sec.
user=tnerual
[2009-03-04 18:51:51]
659*2^623588-1 is not prime.  Res64: DA3C03CB4216BCA2  Time : 1330.0 sec.
user=vaughan
[2009-03-04 18:54:37]
639*2^623589-1 is not prime.  Res64: 72D9E6A838BFF5EB  Time : 352.0 sec.
user=vaughan
[2009-03-04 19:00:31]
741*2^623589-1 is not prime.  Res64: 2835A2B1991113FE  Time : 355.0 sec.
user=vaughan
[2009-03-04 19:06:24]
745*2^623589-1 is not prime.  Res64: 090C08635C40761D  Time : 353.0 sec.
user=vaughan
[2009-03-04 19:12:16]
603*2^623590-1 is not prime.  Res64: 83066C0992F07739  Time : 352.0 sec.
user=vaughan
[2009-03-04 19:18:10]
611*2^623590-1 is not prime.  Res64: EDE66C2C1DF22D19  Time : 354.0 sec.
user=vaughan
[2009-03-04 19:24:02]
765*2^623590-1 is not prime.  Res64: 10F846F631F19583  Time : 352.0 sec.
user=tnerual
[2009-03-04 19:27:06]
675*2^623589-1 is not prime.  Res64: B54E0BE0E1FB5A24  Time : 2115.0 sec.
user=vaughan
[2009-03-04 19:29:54]
603*2^623591-1 is not prime.  Res64: 6EDCC1F6DE61858C  Time : 352.0 sec.
user=vaughan
[2009-03-04 19:35:46]
693*2^623591-1 is not prime.  Res64: 8DA946F939B685F0  Time : 353.0 sec.
user=vaughan
[2009-03-04 19:41:35]
753*2^623591-1 is not prime.  Res64: 4A597442DFDF54AF  Time : 349.0 sec.
user=vaughan
[2009-03-04 19:47:29]
759*2^623591-1 is not prime.  Res64: 6D2841E77942810F  Time : 354.0 sec.
user=vaughan
[2009-03-04 19:53:24]
605*2^623592-1 is not prime.  Res64: 2B6AE966F61EBE5B  Time : 356.0 sec.
user=vaughan
[2009-03-04 19:59:16]
635*2^623592-1 is not prime.  Res64: 4A3DF34ACE3DF357  Time : 352.0 sec.
user=vaughan
[2009-03-04 20:05:08]
737*2^623592-1 is not prime.  Res64: FB6AF32391D33DD0  Time : 352.0 sec.
user=tnerual
[2009-03-04 20:08:20]
673*2^623591-1 is not prime.  Res64: 8BC2A25A370DE157  Time : 2474.0 sec.
user=vaughan
[2009-03-04 20:10:58]
687*2^623593-1 is not prime.  Res64: D5E78379A185872F  Time : 350.0 sec.
user=vaughan
[2009-03-04 20:16:51]
745*2^623593-1 is not prime.  Res64: 315D6EB5175DDF11  Time : 354.0 sec.
user=vaughan
[2009-03-04 20:22:43]
633*2^623594-1 is not prime.  Res64: 5B4421CFA7E03096  Time : 352.0 sec.
user=vaughan
[2009-03-04 20:30:25]
645*2^623594-1 is not prime.  Res64: 77460FBE18661876  Time : 463.0 sec.
user=tnerual
[2009-03-04 20:30:30]
691*2^623593-1 is not prime.  Res64: 0F12154CD21A531D  Time : 1330.0 sec.
user=vaughan
[2009-03-04 20:38:28]
705*2^623594-1 is not prime.  Res64: 5020757F577E6522  Time : 483.0 sec.
user=vaughan
[2009-03-04 20:46:50]
679*2^623595-1 is not prime.  Res64: 7C271032021F0CF1  Time : 502.0 sec.
user=tnerual
[2009-03-04 20:52:39]
791*2^623594-1 is not prime.  Res64: 1E1816CD869662A3  Time : 1330.0 sec.
user=vaughan
[2009-03-04 20:55:11]
775*2^623595-1 is not prime.  Res64: 7F384606BD4F79EE  Time : 501.0 sec.
user=vaughan
[2009-03-04 21:03:11]
717*2^623596-1 is not prime.  Res64: 2F83679156179DD5  Time : 480.0 sec.
user=vaughan
[2009-03-04 21:11:34]
749*2^623596-1 is not prime.  Res64: 7DDD3BACF1309DE4  Time : 503.0 sec.
user=tnerual
[2009-03-04 21:14:48]
707*2^623596-1 is not prime.  Res64: 6C6F490C37F14C4D  Time : 1329.0 sec.
user=vaughan
[2009-03-04 21:19:56]
759*2^623596-1 is not prime.  Res64: D42669A80FBED068  Time : 503.0 sec.
user=vaughan
[2009-03-04 21:27:57]
655*2^623597-1 is not prime.  Res64: F44CB4777990FD10  Time : 482.0 sec.
user=vaughan
[2009-03-04 21:36:05]
699*2^623597-1 is not prime.  Res64: 12210F13F6DA9AE6  Time : 488.0 sec.
user=tnerual
[2009-03-04 21:36:58]
619*2^623597-1 is not prime.  Res64: 72611C1C08129E8E  Time : 1330.0 sec.
user=vaughan
[2009-03-04 21:44:24]
741*2^623597-1 is not prime.  Res64: CF68ADA59BDDD157  Time : 499.0 sec.
user=vaughan
[2009-03-04 21:52:48]
777*2^623597-1 is not prime.  Res64: B0AE1EFDB62B220F  Time : 505.0 sec.
user=tnerual
[2009-03-04 21:59:08]
771*2^623597-1 is not prime.  Res64: C66261A77B6B7E52  Time : 1330.0 sec.
user=vaughan
[2009-03-04 22:01:13]
671*2^623598-1 is not prime.  Res64: DB0D55F1CCA94712  Time : 505.0 sec.
user=vaughan
[2009-03-04 22:09:37]
761*2^623598-1 is not prime.  Res64: 5F8A588F28749850  Time : 505.0 sec.
user=vaughan
[2009-03-04 22:18:03]
773*2^623598-1 is not prime.  Res64: C2C3AA5FCFAF832C  Time : 506.0 sec.
user=tnerual
[2009-03-04 22:21:18]
683*2^623598-1 is not prime.  Res64: 940B4A2D65E417DA  Time : 1331.0 sec.
user=vaughan
[2009-03-04 22:26:35]
797*2^623598-1 is not prime.  Res64: 4CB43C5837A0F91B  Time : 512.0 sec.
user=vaughan
[2009-03-04 22:35:00]
723*2^623599-1 is not prime.  Res64: B066A41C8355BB6C  Time : 505.0 sec.
user=vaughan
[2009-03-04 22:43:27]
735*2^623599-1 is not prime.  Res64: 57AD120BA5A0563F  Time : 508.0 sec.
user=tnerual
[2009-03-04 22:43:27]
619*2^623599-1 is not prime.  Res64: 9C131CFEC3F5D142  Time : 1329.0 sec.
user=vaughan
[2009-03-04 22:51:55]
687*2^623600-1 is not prime.  Res64: 3516CBF1AFD7397E  Time : 509.0 sec.
user=vaughan
[2009-03-04 23:00:18]
685*2^623601-1 is not prime.  Res64: 9E8893DF39025AC7  Time : 503.0 sec.
user=tnerual
[2009-03-04 23:05:37]
625*2^623601-1 is not prime.  Res64: 444C99081E0377C4  Time : 1330.0 sec.
user=vaughan
[2009-03-04 23:08:40]
739*2^623601-1 is not prime.  Res64: A2D3B8FD8E309983  Time : 503.0 sec.
user=vaughan
[2009-03-04 23:17:08]
745*2^623601-1 is not prime.  Res64: 7E2FA8AA4815D4F7  Time : 508.0 sec.
user=vaughan
[2009-03-04 23:25:35]
777*2^623601-1 is not prime.  Res64: AB2E0B499C8AABBB  Time : 507.0 sec.
user=tnerual
[2009-03-04 23:27:46]
741*2^623601-1 is not prime.  Res64: A11C361C20C39E90  Time : 1329.0 sec.
user=vaughan
[2009-03-04 23:34:01]
611*2^623602-1 is not prime.  Res64: D31B07A8CA7917DE  Time : 507.0 sec.
user=vaughan
[2009-03-04 23:42:27]
681*2^623602-1 is not prime.  Res64: 7BFC23DA0E9886B9  Time : 506.0 sec.
user=tnerual
[2009-03-04 23:49:57]
675*2^623602-1 is not prime.  Res64: 24FFECFF9A034343  Time : 1331.0 sec.
user=vaughan
[2009-03-04 23:50:59]
701*2^623602-1 is not prime.  Res64: 1667486997B9CC87  Time : 512.0 sec.
user=vaughan
[2009-03-04 23:59:23]
619*2^623603-1 is not prime.  Res64: 749FE4D275A2C954  Time : 504.0 sec.