user=vaughan
[2012-09-06 00:02:00]
605*2^1228228-1 is not prime.  Res64: A32AEFC37F0B5108  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 00:11:00]
975*2^1228228-1 is not prime.  Res64: B22802362257D68F  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 00:11:03]
861*2^1228229-1 is not prime.  Res64: 7B7D3D2C4B79FACA  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 00:11:08]
897*2^1228229-1 is not prime.  Res64: E8AD5FC7B14D7310  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 00:11:10]
939*2^1228229-1 is not prime.  Res64: 1C44906B2D3B67C8  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 00:31:45]
801*2^1228230-1 is not prime.  Res64: A4A05D9A4B7123F0  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 00:31:46]
861*2^1228230-1 is not prime.  Res64: 0BD1227CA0816997  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 00:31:48]
917*2^1228230-1 is not prime.  Res64: CF505E2933C19E7E  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 00:31:48]
685*2^1228231-1 is not prime.  Res64: 16EFA011AFFE0C60  Time : 0.0 sec.
user=vaughan
[2012-09-06 00:39:17]
991*2^1228229-1 is not prime.  Res64: FEAFC7F671F6B13C  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 00:52:25]
805*2^1228231-1 is not prime.  Res64: 97C3458F2D96790C  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 00:52:26]
895*2^1228231-1 is not prime.  Res64: 22FDE8BBD8560D5A  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 00:52:27]
717*2^1228232-1 is not prime.  Res64: DF18BBE597C191D3  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 00:52:29]
797*2^1228232-1 is not prime.  Res64: C0618F74A676597E  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 01:13:04]
875*2^1228232-1 is not prime.  Res64: EE62C0B253ED43C7  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 01:13:06]
681*2^1228233-1 is not prime.  Res64: DAB2162E15D1BF46  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 01:13:08]
609*2^1228233-1 is not prime.  Res64: 05CCC014924EDB4D  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 01:13:09]
691*2^1228233-1 is not prime.  Res64: F2694055552E0D5F  Time : 0.0 sec.
user=vaughan
[2012-09-06 01:16:35]
855*2^1228232-1 is not prime.  Res64: A42E48EA2B699BA7  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 01:33:57]
705*2^1228233-1 is not prime.  Res64: 8DD2EB2BBAC4288F  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 01:33:58]
739*2^1228233-1 is not prime.  Res64: 0D65E58C6FA5D7AB  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 01:34:03]
871*2^1228233-1 is not prime.  Res64: BD95EF229B660C7D  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 01:34:04]
885*2^1228233-1 is not prime.  Res64: 751EB821B4110E86  Time : 0.0 sec.
user=vaughan
[2012-09-06 01:53:52]
605*2^1228234-1 is not prime.  Res64: AB894072070C32B8  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 01:54:38]
611*2^1228234-1 is not prime.  Res64: 2EA9895CD5C88969  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 01:54:39]
621*2^1228234-1 is not prime.  Res64: F3A2735DD70B8770  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 01:54:41]
651*2^1228234-1 is not prime.  Res64: 41B3CA199E031186  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 01:54:42]
731*2^1228234-1 is not prime.  Res64: 82453803742A7609  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 02:15:18]
815*2^1228234-1 is not prime.  Res64: A9BA66810E7039FD  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 02:15:20]
891*2^1228234-1 is not prime.  Res64: 2AD029D0AF2713D9  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 02:15:23]
983*2^1228234-1 is not prime.  Res64: 6BBC10CA2CAA7B17  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 02:15:25]
993*2^1228234-1 is not prime.  Res64: D273A3E8F2F6B2DC  Time : 0.0 sec.
user=vaughan
[2012-09-06 02:31:11]
791*2^1228234-1 is not prime.  Res64: 39D3ADC609505CE2  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 02:36:06]
633*2^1228235-1 is not prime.  Res64: 4699B8070F68FD89  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 02:36:07]
771*2^1228235-1 is not prime.  Res64: 4392E81D5B42911D  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 02:36:12]
823*2^1228235-1 is not prime.  Res64: 6E1F461E85E8C48E  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 02:36:14]
853*2^1228235-1 is not prime.  Res64: 128A46F8DA46BCC1  Time : 0.0 sec.
user=juhehe
[2012-09-06 02:48:55]
603*2^1228235-1 is not prime.  Res64: E23797A9174177CB  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 02:56:47]
777*2^1228236-1 is not prime.  Res64: F15F6E5697AD553B  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 02:56:49]
649*2^1228237-1 is not prime.  Res64: DB89CCC7908B1408  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 02:56:54]
667*2^1228237-1 is not prime.  Res64: 5A2FA36FE0BCD627  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 02:56:56]
687*2^1228237-1 is not prime.  Res64: 16D2727CE3C9306C  Time : 0.0 sec.
user=vaughan
[2012-09-06 03:08:48]
883*2^1228235-1 is not prime.  Res64: 2B69209B5411F6F3  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 03:18:27]
771*2^1228237-1 is not prime.  Res64: 55D4F33674FC65AD  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 03:18:28]
931*2^1228237-1 is not prime.  Res64: 2B781FC2F7FC58CD  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 03:45:02]
623*2^1228238-1 is not prime.  Res64: 7F99C5BEE9E7BD31  Time : 0.0 sec.
user=vaughan
[2012-09-06 03:46:06]
711*2^1228238-1 is not prime.  Res64: 6752ADF0A70CE512  Time : 0.0 sec.
user=gd_barnes
[2012-09-06 03:48:08]
753*2^1228238-1 is not prime.  Res64: D84F64D9C1696010  Time : 0.0 sec.
user=gd_barnes
[2012-09-06 03:49:21]
755*2^1228238-1 is not prime.  Res64: 2FB03590A9A7ECFE  Time : 0.0 sec.
user=gd_barnes
[2012-09-06 03:49:43]
801*2^1228238-1 is not prime.  Res64: BCBA8360EC077956  Time : 0.0 sec.
user=gd_barnes
[2012-09-06 03:50:05]
923*2^1228238-1 is not prime.  Res64: 4EA78482E57B2AF0  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 03:50:50]
835*2^1228237-1 is not prime.  Res64: 74CFCF940C1C49B1  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 04:05:50]
927*2^1228238-1 is not prime.  Res64: 521223D10D51388D  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 04:05:50]
935*2^1228238-1 is not prime.  Res64: 36C12C534BA7BD9C  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 04:11:32]
977*2^1228238-1 is not prime.  Res64: 2C473E0A8BBE7EBB  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 04:11:33]
601*2^1228239-1 is not prime.  Res64: 175F9B7F677EDA38  Time : 0.0 sec.
user=vaughan
[2012-09-06 04:23:22]
941*2^1228238-1 is not prime.  Res64: 8BB192BE9731CDF7  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 04:26:33]
649*2^1228239-1 is not prime.  Res64: DA33C9000C0FBA2D  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 04:26:36]
663*2^1228239-1 is not prime.  Res64: D423EEDAE2A92CE9  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 04:32:15]
705*2^1228239-1 is not prime.  Res64: 5EDF7FA1E8395637  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 04:32:17]
745*2^1228239-1 is not prime.  Res64: 4B8D12B5E214CEE6  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 04:47:12]
991*2^1228239-1 is not prime.  Res64: 3FAFA80DCCC252F4  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 04:47:13]
999*2^1228239-1 is not prime.  Res64: 6A2AC8B075A1B7F0  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 04:53:03]
609*2^1228240-1 is not prime.  Res64: 01FA4E3F22CD852E  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 04:53:04]
665*2^1228240-1 is not prime.  Res64: E2EF4385669559AC  Time : 0.0 sec.
user=vaughan
[2012-09-06 05:00:51]
913*2^1228239-1 is not prime.  Res64: AE1DB315366520A5  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 05:07:54]
677*2^1228240-1 is not prime.  Res64: FD3D6D848FFA5DD5  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 05:07:57]
699*2^1228240-1 is not prime.  Res64: DA5D94C7FEBADCF7  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 05:13:46]
735*2^1228240-1 is not prime.  Res64: 0FB7AB7404A66F7D  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 05:13:47]
785*2^1228240-1 is not prime.  Res64: EADB79B1ED289651  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 05:28:42]
905*2^1228240-1 is not prime.  Res64: 13CB7E198B70C7C0  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 05:28:43]
915*2^1228240-1 is not prime.  Res64: B238E2A577FBB601  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 05:34:29]
975*2^1228240-1 is not prime.  Res64: 2A4A0120C422479F  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 05:34:30]
999*2^1228240-1 is not prime.  Res64: 5034161171A7A66B  Time : 0.0 sec.
user=vaughan
[2012-09-06 05:38:25]
827*2^1228240-1 is not prime.  Res64: 7094EF85E3005963  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 05:49:26]
619*2^1228241-1 is not prime.  Res64: 883AFF1155FBDBDE  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 05:49:27]
651*2^1228241-1 is not prime.  Res64: E76AFCB19B5B00AA  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 05:55:10]
715*2^1228241-1 is not prime.  Res64: 9B3691F8EF5FF353  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 05:55:11]
747*2^1228241-1 is not prime.  Res64: FBF8E279D6C1E585  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 06:10:07]
635*2^1228242-1 is not prime.  Res64: F854D02E347579F4  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 06:10:09]
665*2^1228242-1 is not prime.  Res64: 8539FED5A7263B00  Time : 0.0 sec.
user=vaughan
[2012-09-06 06:15:45]
777*2^1228241-1 is not prime.  Res64: D3FE0221F63F18D5  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 06:15:47]
695*2^1228242-1 is not prime.  Res64: 2433EB7C5D7CF693  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 06:15:49]
705*2^1228242-1 is not prime.  Res64: 9DE42B74BEA09369  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 06:30:49]
747*2^1228242-1 is not prime.  Res64: 1B1B6AF1E9D7EB1E  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 06:30:50]
821*2^1228242-1 is not prime.  Res64: 9CDA1DAB3A484366  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 06:36:46]
891*2^1228242-1 is not prime.  Res64: ADF1633D6AAF8B5A  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 06:36:47]
771*2^1228243-1 is not prime.  Res64: EF6D6E58725D2EF6  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 06:51:27]
805*2^1228243-1 is not prime.  Res64: 967FD11ED7053F2E  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 06:51:28]
813*2^1228243-1 is not prime.  Res64: BD2CC210F9F0B7C4  Time : 0.0 sec.
user=vaughan
[2012-09-06 06:53:26]
703*2^1228243-1 is not prime.  Res64: BA5D0204B8C84142  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 06:57:26]
913*2^1228243-1 is not prime.  Res64: C77E527D7F5A614A  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 06:57:27]
951*2^1228243-1 is not prime.  Res64: FBCAEE3047584C91  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 07:12:05]
629*2^1228244-1 is not prime.  Res64: 690FC9934AE1C41B  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 07:12:08]
635*2^1228244-1 is not prime.  Res64: 7F8F3A0A57E55A98  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 07:18:02]
869*2^1228244-1 is not prime.  Res64: B7A39E0926EE239B  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 07:18:03]
903*2^1228244-1 is not prime.  Res64: BD5C203DAE438C4C  Time : 0.0 sec.
user=vaughan
[2012-09-06 07:30:45]
707*2^1228244-1 is not prime.  Res64: 0DC12788E28EB02F  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 07:33:04]
959*2^1228244-1 is not prime.  Res64: 4CC88F4ED822DE51  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 07:33:05]
995*2^1228244-1 is not prime.  Res64: 2E842D0394DF54C2  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 07:38:42]
601*2^1228245-1 is not prime.  Res64: AB50E3714380D1DA  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 07:38:43]
607*2^1228245-1 is not prime.  Res64: 6C5E9B017D1A5416  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 07:53:44]
685*2^1228245-1 is not prime.  Res64: 94DE43B3BC180A1D  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 07:53:45]
699*2^1228245-1 is not prime.  Res64: 3985B86B42B74373  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 07:59:22]
777*2^1228245-1 is not prime.  Res64: DE7E5D2A1F845545  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 07:59:23]
781*2^1228245-1 is not prime.  Res64: F9877380BC4420AA  Time : 0.0 sec.
user=vaughan
[2012-09-06 08:08:05]
627*2^1228245-1 is not prime.  Res64: 42639E9E553EF392  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 08:14:24]
831*2^1228245-1 is not prime.  Res64: 8605D886071B887C  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 08:14:27]
961*2^1228245-1 is not prime.  Res64: 78BC9C28EDC8041F  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 08:19:59]
611*2^1228246-1 is not prime.  Res64: E1C02BF26022D3D7  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 08:20:00]
777*2^1228246-1 is not prime.  Res64: 0207484CC705D225  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 08:35:53]
815*2^1228246-1 is not prime.  Res64: 9E7046BC58CF3464  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 08:35:55]
881*2^1228246-1 is not prime.  Res64: 04DA1EAF2330B888  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 08:40:41]
711*2^1228247-1 is not prime.  Res64: 102D690F61E5B81C  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 08:40:43]
715*2^1228247-1 is not prime.  Res64: 9635551EE6CBA952  Time : 0.0 sec.
user=vaughan
[2012-09-06 08:45:23]
801*2^1228246-1 is not prime.  Res64: 57E0B78EE846A699  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 08:56:32]
931*2^1228247-1 is not prime.  Res64: 6223ACB6661C516D  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 08:56:33]
963*2^1228247-1 is not prime.  Res64: 2332403948105606  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 09:01:18]
725*2^1228248-1 is not prime.  Res64: 50BD05995E7C58E9  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 09:01:20]
737*2^1228248-1 is not prime.  Res64: C6D211A2AB6A269A  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 09:17:12]
797*2^1228248-1 is not prime.  Res64: 11A77D7DCB89AFA9  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 09:17:14]
845*2^1228248-1 is not prime.  Res64: 4A51B3EAE5F78DF1  Time : 0.0 sec.
user=juhehe
[2012-09-06 09:19:34]
759*2^1228247-1 is not prime.  Res64: 087071ABEEE9EF8A  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 09:21:58]
933*2^1228248-1 is not prime.  Res64: 8E04D11D6FA124FB  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 09:21:59]
649*2^1228249-1 is not prime.  Res64: E7726AE8D2B19BF2  Time : 0.0 sec.
user=vaughan
[2012-09-06 09:22:41]
765*2^1228248-1 is not prime.  Res64: D68A0C99405C27BF  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 09:37:58]
721*2^1228249-1 is not prime.  Res64: BCB600F8F958BCF7  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 09:38:00]
811*2^1228249-1 is not prime.  Res64: 60A7AD3EED88A882  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 09:42:36]
897*2^1228249-1 is not prime.  Res64: 38E5E9819503CE67  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 09:42:37]
645*2^1228250-1 is not prime.  Res64: 4DE406C6ABADBFC8  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 09:58:35]
753*2^1228250-1 is not prime.  Res64: C5E395BB5C78045C  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 09:58:37]
797*2^1228250-1 is not prime.  Res64: 237BC09C38D4A330  Time : 0.0 sec.
user=vaughan
[2012-09-06 10:00:00]
687*2^1228250-1 is not prime.  Res64: 02558DFFEAE32B82  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 10:03:15]
831*2^1228250-1 is not prime.  Res64: 91FE3362392ECBE6  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 10:03:16]
833*2^1228250-1 is not prime.  Res64: 3E02B902E368E48E  Time : 0.0 sec.
user=juhehe
[2012-09-06 10:03:56]
867*2^1228249-1 is not prime.  Res64: FBF8FCCCCAFACFAD  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 10:19:14]
843*2^1228250-1 is not prime.  Res64: C2C43B02B50F6531  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 10:19:15]
857*2^1228250-1 is not prime.  Res64: D1341565F4B8DBC4  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 10:23:53]
971*2^1228250-1 is not prime.  Res64: 90DF3D89E3974B18  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 10:23:54]
625*2^1228251-1 is not prime.  Res64: 237058CE17DD821F  Time : 0.0 sec.
user=vaughan
[2012-09-06 10:37:17]
861*2^1228250-1 is not prime.  Res64: 3D4CB96C792D1682  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 10:40:08]
711*2^1228251-1 is not prime.  Res64: 9C9766A1DD2ECD85  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 10:40:08]
735*2^1228251-1 is not prime.  Res64: CE9C76D1856FA055  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 10:44:53]
895*2^1228251-1 is not prime.  Res64: CA6EED761E97A3E5  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 10:44:53]
979*2^1228251-1 is not prime.  Res64: 2ACFB10CA6439E45  Time : 0.0 sec.
user=juhehe
[2012-09-06 10:48:00]
679*2^1228251-1 is not prime.  Res64: 17FF4160DAE41C66  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 11:01:52]
639*2^1228252-1 is not prime.  Res64: 2F387419066AD66A  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 11:01:54]
705*2^1228252-1 is not prime.  Res64: C1295EC9D1E3EBA0  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 11:06:39]
755*2^1228252-1 is not prime.  Res64: 74FED676717BAFC8  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 11:06:42]
777*2^1228252-1 is not prime.  Res64: C506342286C9B701  Time : 0.0 sec.
user=vaughan
[2012-09-06 11:14:34]
609*2^1228252-1 is not prime.  Res64: E2406694BD0C9C89  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 11:24:13]
779*2^1228252-1 is not prime.  Res64: B0F312462A04C71C  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 11:24:14]
807*2^1228252-1 is not prime.  Res64: CAF922E186C4F0EA  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 11:28:41]
827*2^1228252-1 is not prime.  Res64: EF69E2685DA6476C  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 11:28:42]
857*2^1228252-1 is not prime.  Res64: 302809396805D25F  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 11:45:23]
965*2^1228252-1 is not prime.  Res64: 7996C1F53FCE66CC  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 11:45:24]
987*2^1228252-1 is not prime.  Res64: 8B70AD1A2FB781CB  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 11:49:43]
729*2^1228253-1 is not prime.  Res64: 21CF7A11B0F8B5D0  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 11:49:43]
879*2^1228253-1 is not prime.  Res64: 8CCB46B89BA259E3  Time : 0.0 sec.
user=vaughan
[2012-09-06 11:52:07]
873*2^1228252-1 is not prime.  Res64: A802AD9F0F475FF4  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 12:06:27]
897*2^1228253-1 is not prime.  Res64: 6F04B346569DA13C  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 12:06:28]
939*2^1228253-1 is not prime.  Res64: CFBDC93C8D5EE510  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 12:10:47]
611*2^1228254-1 is not prime.  Res64: 55EAC44C8BAA1554  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 12:10:52]
693*2^1228254-1 is not prime.  Res64: 9B8CE79A02A9829A  Time : 0.0 sec.
user=juhehe
[2012-09-06 12:12:43]
995*2^1228252-1 is not prime.  Res64: FD0709EC02333EF1  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 12:27:41]
765*2^1228254-1 is not prime.  Res64: 229A79260E7D6C24  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 12:27:42]
767*2^1228254-1 is not prime.  Res64: 5703D348BD4481E7  Time : 0.0 sec.
user=vaughan
[2012-09-06 12:29:23]
717*2^1228254-1 is not prime.  Res64: 3165DDA91724696C  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 12:32:07]
795*2^1228254-1 is not prime.  Res64: FF8EC53FC92D3874  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 12:32:07]
863*2^1228254-1 is not prime.  Res64: A6F718CF5315E45F  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 12:48:49]
941*2^1228254-1 is not prime.  Res64: A142A1C554A03B2A  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 12:48:50]
975*2^1228254-1 is not prime.  Res64: A91FD0C309521C93  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 12:53:13]
685*2^1228255-1 is not prime.  Res64: 2EE73030704520E1  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 12:53:13]
783*2^1228255-1 is not prime.  Res64: 1199CEA824B1F209  Time : 0.0 sec.
user=vaughan
[2012-09-06 13:06:44]
645*2^1228255-1 is not prime.  Res64: FE055B50EBC1FAAF  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 13:10:10]
885*2^1228255-1 is not prime.  Res64: E192587AC608FE9F  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 13:10:12]
891*2^1228255-1 is not prime.  Res64: B3AE1C8DF3565026  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 13:14:29]
919*2^1228255-1 is not prime.  Res64: 9C04121A8430066A  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 13:14:30]
689*2^1228256-1 is not prime.  Res64: 18C4FE370CA3D08E  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 13:31:26]
735*2^1228256-1 is not prime.  Res64: 4495E910732A910E  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 13:31:28]
759*2^1228256-1 is not prime.  Res64: 81DC2A7AEDCA834D  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 13:35:33]
785*2^1228256-1 is not prime.  Res64: 6CAC20DB0D38FFE6  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 13:35:33]
903*2^1228256-1 is not prime.  Res64: 0F79F8749B723283  Time : 0.0 sec.
user=vaughan
[2012-09-06 13:44:07]
717*2^1228256-1 is not prime.  Res64: 81BA4D01FD9DF680  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 13:52:45]
957*2^1228256-1 is not prime.  Res64: 0B73B8E037B07586  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 13:52:45]
999*2^1228256-1 is not prime.  Res64: 1D135E79B35599E8  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 13:56:32]
741*2^1228257-1 is not prime.  Res64: 758F8C0845B51512  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 13:56:33]
777*2^1228257-1 is not prime.  Res64: 00ABBD145D9C9215  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 14:13:47]
937*2^1228257-1 is not prime.  Res64: 4B1117AD89677919  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 14:13:50]
681*2^1228258-1 is not prime.  Res64: 6EBDE07C1DE9C43D  Time : 0.0 sec.
user=juhehe
[2012-09-06 14:17:17]
699*2^1228257-1 is not prime.  Res64: 30A6DCE50F621C7F  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 14:17:37]
777*2^1228258-1 is not prime.  Res64: 3D0159C12F0F784A  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 14:17:38]
815*2^1228258-1 is not prime.  Res64: 73D06EAC54541AC6  Time : 0.0 sec.
user=vaughan
[2012-09-06 14:21:25]
805*2^1228257-1 is not prime.  Res64: 9D5543C18CE1DEEF  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 14:35:03]
821*2^1228258-1 is not prime.  Res64: E40D6BE924FD0C83  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 14:35:04]
831*2^1228258-1 is not prime.  Res64: 4FED40ABDF01365A  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 14:38:42]
881*2^1228258-1 is not prime.  Res64: 7D84B44B2B1814E2  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 14:38:42]
933*2^1228258-1 is not prime.  Res64: 5F5F13E37C8A544E  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 14:56:11]
971*2^1228258-1 is not prime.  Res64: FF4E4FD3135B28B4  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 14:56:12]
987*2^1228258-1 is not prime.  Res64: C498D2DB0C27F122  Time : 0.0 sec.
user=vaughan
[2012-09-06 14:58:44]
951*2^1228258-1 is not prime.  Res64: E2D73ED65BCD6EA2  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 14:59:44]
675*2^1228259-1 is not prime.  Res64: 733A45B142947654  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 14:59:45]
693*2^1228259-1 is not prime.  Res64: B688D43EF4377388  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 15:17:19]
705*2^1228259-1 is not prime.  Res64: 4FB6D98FCD16289B  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 15:17:20]
735*2^1228259-1 is not prime.  Res64: D9FAC3BB2319FAEC  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 15:20:50]
841*2^1228259-1 is not prime.  Res64: F9E2B3CA2E7021EE  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 15:20:50]
909*2^1228259-1 is not prime.  Res64: 992674678497A5C8  Time : 0.0 sec.
user=vaughan
[2012-09-06 15:36:01]
745*2^1228259-1 is not prime.  Res64: 81D37157D316022D  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 15:38:29]
999*2^1228259-1 is not prime.  Res64: 8B160F1C1BAF9CF0  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 15:38:30]
647*2^1228260-1 is not prime.  Res64: D5A38FF73D551BD1  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 15:41:54]
665*2^1228260-1 is not prime.  Res64: 9D0581496F0AD582  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 15:41:54]
789*2^1228260-1 is not prime.  Res64: 3677E049BBBC02E2  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 15:59:43]
987*2^1228260-1 is not prime.  Res64: 7892DCF70C215D7D  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 15:59:44]
645*2^1228261-1 is not prime.  Res64: 4AC0B295C09DAD2B  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 16:03:07]
687*2^1228261-1 is not prime.  Res64: 464A7F45E733C5B5  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 16:03:08]
715*2^1228261-1 is not prime.  Res64: FC79422BA312FD6B  Time : 0.0 sec.
user=vaughan
[2012-09-06 16:13:20]
923*2^1228260-1 is not prime.  Res64: C44F36F8D0ECA099  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 16:20:41]
861*2^1228261-1 is not prime.  Res64: 632F87859D0CD6FE  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 16:20:41]
871*2^1228261-1 is not prime.  Res64: A38BAA6AC4E26B01  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 16:24:02]
931*2^1228261-1 is not prime.  Res64: A8E51B3928B56BAB  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 16:24:02]
945*2^1228261-1 is not prime.  Res64: 0C4C6EB7D9794C60  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 16:42:06]
671*2^1228262-1 is not prime.  Res64: 4A0752BAA3EEC9BC  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 16:42:06]
683*2^1228262-1 is not prime.  Res64: 4666DCCC29C38FC9  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 16:45:29]
797*2^1228262-1 is not prime.  Res64: E93B1843ADC58AA4  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 16:45:29]
813*2^1228262-1 is not prime.  Res64: 56A214A4AE43C827  Time : 0.0 sec.
user=vaughan
[2012-09-06 16:50:46]
979*2^1228261-1 is not prime.  Res64: 5817CBE1AAC8163C  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 17:03:32]
831*2^1228262-1 is not prime.  Res64: 7FFB04F474E34330  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 17:03:33]
873*2^1228262-1 is not prime.  Res64: 1F27B06794439661  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 17:06:52]
981*2^1228262-1 is not prime.  Res64: 369E36B057FFE124  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 17:06:55]
987*2^1228262-1 is not prime.  Res64: 4E6DC8375E00C8CD  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 17:24:54]
853*2^1228263-1 is not prime.  Res64: F0D14B670645ECC7  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 17:24:54]
859*2^1228263-1 is not prime.  Res64: EC71FCB78CC29AF4  Time : 0.0 sec.
user=vaughan
[2012-09-06 17:28:05]
705*2^1228263-1 is not prime.  Res64: 0E154EF12ACE6744  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 17:28:06]
985*2^1228263-1 is not prime.  Res64: 73135D4B7B3A13CE  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 17:28:06]
687*2^1228264-1 is not prime.  Res64: 2076F4E6342CBE00  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 17:46:11]
723*2^1228264-1 is not prime.  Res64: 6E0B7DEDF2DA68F0  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 17:46:11]
869*2^1228264-1 is not prime.  Res64: EFC7962FA01B62A0  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 17:49:34]
697*2^1228265-1 is not prime.  Res64: 00C8703ADD80F7A7  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 17:49:34]
711*2^1228265-1 is not prime.  Res64: E07FC074A77B8504  Time : 0.0 sec.
user=vaughan
[2012-09-06 18:05:24]
607*2^1228265-1 is not prime.  Res64: B4A38CC9FDFBF910  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 18:07:14]
771*2^1228265-1 is not prime.  Res64: E20C09B9C87D2C0C  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 18:07:16]
799*2^1228265-1 is not prime.  Res64: CDDBB47BF03D35B3  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 18:10:23]
955*2^1228265-1 is not prime.  Res64: F02C4903C7AF6C56  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 18:10:26]
981*2^1228265-1 is not prime.  Res64: 800C173B7E473731  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 18:27:58]
683*2^1228266-1 is not prime.  Res64: C7833996113F7B59  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 18:27:58]
707*2^1228266-1 is not prime.  Res64: 3EE78BF78258496B  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 18:31:09]
735*2^1228266-1 is not prime.  Res64: 427028D5B281DFA6  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 18:31:10]
747*2^1228266-1 is not prime.  Res64: 9B1BE6CDBC4750C4  Time : 0.0 sec.
user=vaughan
[2012-09-06 18:42:45]
641*2^1228266-1 is not prime.  Res64: CBBD418312A381FE  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 18:48:41]
755*2^1228266-1 is not prime.  Res64: A3E46EF4268FC625  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 18:48:41]
767*2^1228266-1 is not prime.  Res64: 6457C4357076546B  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 18:51:54]
861*2^1228266-1 is not prime.  Res64: 0E9DD7FEF0CC24C3  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 18:51:54]
957*2^1228266-1 is not prime.  Res64: A0939E3A51396599  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 19:09:15]
819*2^1228267-1 is not prime.  Res64: E5E47F80CD3076D0  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 19:09:16]
873*2^1228267-1 is not prime.  Res64: D886147AEB13A1EA  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 19:12:26]
895*2^1228267-1 is not prime.  Res64: 86134D23632BE591  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 19:12:27]
931*2^1228267-1 is not prime.  Res64: AB030B68F67D84DB  Time : 0.0 sec.
user=vaughan
[2012-09-06 19:20:04]
645*2^1228267-1 is not prime.  Res64: D86BFE81E4CB6E16  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 19:30:02]
951*2^1228267-1 is not prime.  Res64: 20E7BBACD714E366  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 19:30:03]
753*2^1228268-1 is not prime.  Res64: D2A098C0A2315F6B  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 19:33:03]
837*2^1228268-1 is not prime.  Res64: DC04154320BC46F2  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 19:33:03]
999*2^1228268-1 is not prime.  Res64: F441278388C3E71E  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 19:50:44]
865*2^1228269-1 is not prime.  Res64: 63BC4349AF4FDF34  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 19:50:44]
891*2^1228269-1 is not prime.  Res64: D490B64717F6A5B8  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 19:53:38]
997*2^1228269-1 is not prime.  Res64: C0ACAE47B8E6B9A1  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 19:53:39]
657*2^1228270-1 is not prime.  Res64: B7EAF2C532A67475  Time : 0.0 sec.
user=vaughan
[2012-09-06 19:57:24]
789*2^1228269-1 is not prime.  Res64: 50118BE19BF04E9D  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 20:11:16]
665*2^1228270-1 is not prime.  Res64: 3777185E70294238  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 20:11:17]
695*2^1228270-1 is not prime.  Res64: 4746F5F732C6B7D2  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 20:14:09]
783*2^1228270-1 is not prime.  Res64: FAF09E3BDB1D272D  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 20:14:10]
897*2^1228270-1 is not prime.  Res64: A7039E735BEFA1CF  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 20:31:57]
941*2^1228270-1 is not prime.  Res64: F32A38D7632B0645  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 20:31:57]
615*2^1228271-1 is not prime.  Res64: 675308414138310A  Time : 0.0 sec.
user=vaughan
[2012-09-06 20:34:43]
915*2^1228270-1 is not prime.  Res64: 16DD98C891C5BCAB  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 20:34:46]
619*2^1228271-1 is not prime.  Res64: AFA7B51AFC196606  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 20:34:46]
841*2^1228271-1 is not prime.  Res64: 88A8892585CCE876  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 20:52:32]
855*2^1228271-1 is not prime.  Res64: 9AAA0ED95CA187F2  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 20:52:33]
623*2^1228272-1 is not prime.  Res64: 9240812DA173B8CC  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 20:55:18]
849*2^1228272-1 is not prime.  Res64: CDF32D425DB42C42  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 20:55:18]
873*2^1228272-1 is not prime.  Res64: F04335C9A7E39B70  Time : 0.0 sec.
user=vaughan
[2012-09-06 21:12:01]
815*2^1228272-1 is not prime.  Res64: AE6B0B2848ACA2B3  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 21:13:07]
875*2^1228272-1 is not prime.  Res64: 58A1FCBC7823238B  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 21:13:10]
893*2^1228272-1 is not prime.  Res64: 254BCE3948CD43F7  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 21:15:50]
947*2^1228272-1 is not prime.  Res64: AB771D339B6E8D58  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 21:15:51]
625*2^1228273-1 is not prime.  Res64: 715073A90A12998A  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 21:33:44]
639*2^1228273-1 is not prime.  Res64: 9C44183CC385692E  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 21:33:44]
751*2^1228273-1 is not prime.  Res64: 82EDB7183B657117  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 21:36:27]
801*2^1228273-1 is not prime.  Res64: DAAFF87B7259B306  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 21:36:28]
831*2^1228273-1 is not prime.  Res64: 810E7CAD13AA7032  Time : 0.0 sec.
user=vaughan
[2012-09-06 21:49:27]
637*2^1228273-1 is not prime.  Res64: 5BD9F4CEF2F3D9AC  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 21:54:18]
855*2^1228273-1 is not prime.  Res64: C236F79699D80AF3  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 21:54:19]
867*2^1228273-1 is not prime.  Res64: E2C984EC1F5AC6AF  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 21:57:00]
641*2^1228274-1 is not prime.  Res64: 5FA7DF1AA34C208F  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 21:57:00]
741*2^1228274-1 is not prime.  Res64: 233B4039A1C5C7DB  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 22:14:51]
837*2^1228274-1 is not prime.  Res64: 18680DBF06376FC5  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 22:14:52]
917*2^1228274-1 is not prime.  Res64: 6380F8500008C91F  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 22:17:31]
981*2^1228274-1 is not prime.  Res64: EA185288A2CE2637  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 22:17:32]
619*2^1228275-1 is not prime.  Res64: 459ADBFD0A1F6BF9  Time : 0.0 sec.
user=vaughan
[2012-09-06 22:26:45]
833*2^1228274-1 is not prime.  Res64: 6CE258F09A43AF02  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 22:35:44]
765*2^1228275-1 is not prime.  Res64: 9734FB336DE43836  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 22:35:45]
829*2^1228275-1 is not prime.  Res64: A2607FE073EB1967  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 22:38:03]
849*2^1228275-1 is not prime.  Res64: AC1EF8B78BF7CB42  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 22:38:04]
951*2^1228275-1 is not prime.  Res64: 05F947C806E74941  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 22:56:17]
647*2^1228276-1 is not prime.  Res64: F8C739CB1152CBFA  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 22:56:17]
783*2^1228276-1 is not prime.  Res64: 04085B43A7448B04  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 22:58:35]
857*2^1228276-1 is not prime.  Res64: 22003DC602D49F90  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 22:58:35]
875*2^1228276-1 is not prime.  Res64: 8D0DE72E3B4B5656  Time : 0.0 sec.
user=vaughan
[2012-09-06 23:04:03]
955*2^1228275-1 is not prime.  Res64: 7FAFB7841919DF8F  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 23:16:53]
903*2^1228276-1 is not prime.  Res64: 1F9DD03211027434  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 23:16:54]
923*2^1228276-1 is not prime.  Res64: 46DFF46525B39752  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 23:19:07]
619*2^1228277-1 is not prime.  Res64: 3B23FE645E3F3784  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 23:19:07]
631*2^1228277-1 is not prime.  Res64: 9A60F3C65B62499D  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 23:37:34]
747*2^1228277-1 is not prime.  Res64: 24488C311BFE0BEE  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 23:37:35]
759*2^1228277-1 is not prime.  Res64: C0EC1E5FF04D1AE6  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 23:39:47]
771*2^1228277-1 is not prime.  Res64: 2E6AC44025D7799E  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 23:39:48]
847*2^1228277-1 is not prime.  Res64: 172B1BF3AF52D24A  Time : 0.0 sec.
user=vaughan
[2012-09-06 23:41:22]
691*2^1228277-1 is not prime.  Res64: A6277B1FEE0C9100  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 23:58:11]
651*2^1228278-1 is not prime.  Res64: 44E9B1B19DEAF76B  Time : 0.0 sec.
user=mdettweiler
[2012-09-06 23:58:12]
671*2^1228278-1 is not prime.  Res64: 4A06A93F8B090067  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 00:00:24]
713*2^1228278-1 is not prime.  Res64: C702A379020A90D2  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 00:00:25]
795*2^1228278-1 is not prime.  Res64: B355BA43A1E59229  Time : 0.0 sec.