user=mdettweiler
[2012-09-27 00:01:39]
619*2^1229583-1 is not prime.  Res64: 234F6190AE57FA2E  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 00:01:40]
723*2^1229583-1 is not prime.  Res64: ABA4C13A21D55BC5  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 00:01:40]
769*2^1229583-1 is not prime.  Res64: AFEFB326356A0403  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 00:01:41]
823*2^1229583-1 is not prime.  Res64: E2A5B858C8906F6E  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 00:22:14]
605*2^1229584-1 is not prime.  Res64: 66E0CAC85F72EC5D  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 00:22:14]
615*2^1229584-1 is not prime.  Res64: C44E2E831C22A132  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 00:22:15]
687*2^1229584-1 is not prime.  Res64: E33CE1F6F857E470  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 00:22:16]
699*2^1229584-1 is not prime.  Res64: 6599AC2B5C747739  Time : 0.0 sec.
user=vaughan
[2012-09-27 00:25:06]
873*2^1229583-1 is not prime.  Res64: AC460388C01555EE  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 00:42:54]
707*2^1229584-1 is not prime.  Res64: FB4C5B881020197C  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 00:42:54]
743*2^1229584-1 is not prime.  Res64: A59C0B444D191889  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 00:42:54]
773*2^1229584-1 is not prime.  Res64: 6D4281E4573346F8  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 00:42:55]
897*2^1229584-1 is not prime.  Res64: 56558B579E9EC2EA  Time : 0.0 sec.
user=vaughan
[2012-09-27 01:02:56]
917*2^1229584-1 is not prime.  Res64: 1C6E2D82B01FF579  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 01:03:30]
983*2^1229584-1 is not prime.  Res64: B54B5517C84A5039  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 01:03:31]
837*2^1229585-1 is not prime.  Res64: ADB31890266F0B6A  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 01:03:33]
861*2^1229585-1 is not prime.  Res64: B07897793B144074  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 01:03:34]
723*2^1229586-1 is not prime.  Res64: 25F5F2BB3B40B098  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 01:24:07]
873*2^1229586-1 is not prime.  Res64: 80E2EA07831CEEF3  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 01:24:08]
945*2^1229586-1 is not prime.  Res64: 493CFE4D132007C6  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 01:24:12]
1001*2^1229586-1 is not prime.  Res64: F99A6CC6AC00D8FD  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 01:24:13]
603*2^1229587-1 is not prime.  Res64: 1064172ADF2D6599  Time : 0.0 sec.
user=vaughan
[2012-09-27 01:41:10]
777*2^1229586-1 is not prime.  Res64: 20B25A46695CEEA3  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 01:44:44]
633*2^1229587-1 is not prime.  Res64: ACC88B2FC74AD49B  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 01:44:44]
843*2^1229587-1 is not prime.  Res64: 12D9F8442FEBFBBA  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 01:44:47]
999*2^1229587-1 is not prime.  Res64: C1A5BBE41FCA241B  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 01:44:47]
603*2^1229588-1 is not prime.  Res64: 204D7C5288231177  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 02:05:19]
749*2^1229588-1 is not prime.  Res64: 756FB49CA043E13D  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 02:05:20]
909*2^1229588-1 is not prime.  Res64: EE73A4A5A1B521A5  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 02:05:22]
957*2^1229588-1 is not prime.  Res64: D664E9E3581140C2  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 02:05:25]
621*2^1229589-1 is not prime.  Res64: ACC8E6EC67666142  Time : 0.0 sec.
user=vaughan
[2012-09-27 02:18:57]
707*2^1229588-1 is not prime.  Res64: B64DCECB9869ED1D  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 02:26:03]
685*2^1229589-1 is not prime.  Res64: FFA470875A9EF80F  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 02:26:03]
831*2^1229589-1 is not prime.  Res64: 7B23BC3E190B7405  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 02:26:04]
837*2^1229589-1 is not prime.  Res64: CF57465EFAF859EB  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 02:26:04]
847*2^1229589-1 is not prime.  Res64: 096B151DB78812E9  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 02:46:41]
645*2^1229590-1 is not prime.  Res64: 227533CC76E4AC2A  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 02:46:41]
777*2^1229590-1 is not prime.  Res64: 9FDE5C44AC84BC50  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 02:46:44]
713*2^1229590-1 is not prime.  Res64: BDA3A009955D3C4C  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 02:46:47]
867*2^1229590-1 is not prime.  Res64: 869B5F8098D4099A  Time : 0.0 sec.
user=vaughan
[2012-09-27 02:56:49]
867*2^1229589-1 is not prime.  Res64: 7F130FEB3D9D793C  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 03:08:02]
987*2^1229590-1 is not prime.  Res64: 4C6AEC8489B917E4  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 03:08:05]
673*2^1229591-1 is not prime.  Res64: 9AE034F19F6132DA  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 03:08:08]
705*2^1229591-1 is not prime.  Res64: CF99E5E65CC174FC  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 03:08:12]
781*2^1229591-1 is not prime.  Res64: 4A2D07F7AA35D476  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 03:28:53]
855*2^1229591-1 is not prime.  Res64: 25C032B59622BEA3  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 03:28:53]
969*2^1229591-1 is not prime.  Res64: C3E2111065765CE4  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 03:29:01]
979*2^1229591-1 is not prime.  Res64: 6938C7E7624456E8  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 03:29:01]
737*2^1229592-1 is not prime.  Res64: 2A789658C02D4397  Time : 0.0 sec.
user=vaughan
[2012-09-27 03:34:47]
811*2^1229591-1 is not prime.  Res64: 215ADEC5DD4B68EF  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 03:49:29]
893*2^1229592-1 is not prime.  Res64: 226C71A964D2996D  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 03:49:30]
923*2^1229592-1 is not prime.  Res64: 67708F961FB287DB  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 03:49:36]
685*2^1229593-1 is not prime.  Res64: 65EB0B751A1DFFC8  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 03:49:36]
937*2^1229593-1 is not prime.  Res64: F0AD6D948AECC943  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 04:10:08]
755*2^1229594-1 is not prime.  Res64: EE32A852E08D7806  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 04:10:09]
857*2^1229594-1 is not prime.  Res64: 09DF977D84829B38  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 04:10:11]
875*2^1229594-1 is not prime.  Res64: FBCA1AF140A0CF01  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 04:10:13]
639*2^1229595-1 is not prime.  Res64: 275EDADD4F28C4C2  Time : 0.0 sec.
user=vaughan
[2012-09-27 04:12:47]
671*2^1229594-1 is not prime.  Res64: CF668B68AC852BE3  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 04:30:49]
669*2^1229595-1 is not prime.  Res64: 285C8F06231F52AD  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 04:30:55]
675*2^1229595-1 is not prime.  Res64: 48E7ECF84F8934D4  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 04:31:00]
793*2^1229595-1 is not prime.  Res64: A8F6B7CD76A9626B  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 04:31:05]
859*2^1229595-1 is not prime.  Res64: 32012A7D252AA6F8  Time : 0.0 sec.
user=vaughan
[2012-09-27 04:50:35]
949*2^1229595-1 is not prime.  Res64: 862A78952A6A6928  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 04:52:11]
785*2^1229596-1 is not prime.  Res64: 8818EB805BCB85B7  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 04:52:12]
887*2^1229596-1 is not prime.  Res64: 7ECC16FB12483107  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 04:52:13]
657*2^1229596-1 is not prime.  Res64: A2B21F1C4CA9EFD6  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 04:52:13]
903*2^1229596-1 is not prime.  Res64: 0DB5D5A997DE8633  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 05:12:46]
957*2^1229596-1 is not prime.  Res64: 1A02F3DC433AB228  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 05:12:47]
645*2^1229597-1 is not prime.  Res64: 2FA24FB6CD05BD11  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 05:12:48]
989*2^1229596-1 is not prime.  Res64: DB65C4F30471514E  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 05:12:49]
651*2^1229597-1 is not prime.  Res64: F3F67134A9C335FD  Time : 0.0 sec.
user=vaughan
[2012-09-27 05:28:24]
933*2^1229596-1 is not prime.  Res64: 2DFC13B31C9E09B1  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 05:33:31]
729*2^1229597-1 is not prime.  Res64: BA9021FB7E5150A6  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 05:33:31]
795*2^1229597-1 is not prime.  Res64: D853B099007F3CF4  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 05:33:31]
925*2^1229597-1 is not prime.  Res64: 22A79E9081A84217  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 05:33:31]
799*2^1229597-1 is not prime.  Res64: 0952BA6AD2B8180F  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 05:54:07]
695*2^1229598-1 is not prime.  Res64: 3537AA339FE19602  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 05:54:08]
747*2^1229598-1 is not prime.  Res64: F2240BB92518F4A2  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 05:54:08]
797*2^1229598-1 is not prime.  Res64: F6A63734AD9A522A  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 05:54:09]
971*2^1229598-1 is not prime.  Res64: 8A31CA15D5F27922  Time : 0.0 sec.
user=vaughan
[2012-09-27 06:06:16]
651*2^1229598-1 is not prime.  Res64: D46A18076E0876BD  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 06:14:42]
615*2^1229599-1 is not prime.  Res64: 3EF9BA8310085E36  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 06:14:43]
759*2^1229599-1 is not prime.  Res64: DF59EB9300BBE688  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 06:14:44]
625*2^1229599-1 is not prime.  Res64: D32C6E4A889FBC1F  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 06:14:44]
883*2^1229599-1 is not prime.  Res64: 2759905612307F88  Time : 0.0 sec.
user=juhehe
[2012-09-27 06:34:16]
993*2^1229599-1 is not prime.  Res64: 9951884D3FD04F0B  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 06:35:27]
649*2^1229601-1 is not prime.  Res64: 157A6FA36FB07AF0  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 06:35:28]
811*2^1229601-1 is not prime.  Res64: 2411F090903A06E1  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 06:35:28]
817*2^1229601-1 is not prime.  Res64: BAA6E9590BE5DCF7  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 06:35:29]
937*2^1229601-1 is not prime.  Res64: DC5966582DE9D12D  Time : 0.0 sec.
user=vaughan
[2012-09-27 06:44:24]
759*2^1229600-1 is not prime.  Res64: 31717964CFE3AA09  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 06:56:04]
987*2^1229601-1 is not prime.  Res64: 3A5FE05DC3FAAD22  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 06:56:04]
635*2^1229602-1 is not prime.  Res64: A78ED61653E15AA9  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 06:56:04]
611*2^1229602-1 is not prime.  Res64: 1935F25D286F14EE  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 06:56:05]
677*2^1229602-1 is not prime.  Res64: 54695BEF92FD05DF  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 07:16:40]
803*2^1229602-1 is not prime.  Res64: CBA4E5439250F836  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 07:16:41]
827*2^1229602-1 is not prime.  Res64: 40F372F0936EA559  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 07:16:43]
821*2^1229602-1 is not prime.  Res64: 2322513DE7F9AB97  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 07:16:44]
831*2^1229602-1 is not prime.  Res64: DC9543B81923475F  Time : 0.0 sec.
user=vaughan
[2012-09-27 07:22:13]
701*2^1229602-1 is not prime.  Res64: 8350AD3D95617B9A  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 07:37:23]
855*2^1229602-1 is not prime.  Res64: 25D5F65E87E86ADE  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 07:37:24]
887*2^1229602-1 is not prime.  Res64: 8D0BA6EDD81B7430  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 07:37:25]
699*2^1229603-1 is not prime.  Res64: 2C980D3C799FE5F6  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 07:37:25]
735*2^1229603-1 is not prime.  Res64: 12761D57162079B8  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 07:57:59]
963*2^1229603-1 is not prime.  Res64: EA1D288DCC1A4AF4  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 07:58:00]
609*2^1229604-1 is not prime.  Res64: FF4788F7967D4247  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 07:58:00]
623*2^1229604-1 is not prime.  Res64: A8DC8C09F2D76569  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 07:58:01]
675*2^1229604-1 is not prime.  Res64: 64A01EBE6C73991D  Time : 0.0 sec.
user=vaughan
[2012-09-27 07:59:59]
895*2^1229603-1 is not prime.  Res64: 1981555006D652D7  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 08:18:35]
737*2^1229604-1 is not prime.  Res64: 2D454F97945754BE  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 08:18:35]
875*2^1229604-1 is not prime.  Res64: 30FEEFE467082784  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 08:18:35]
983*2^1229604-1 is not prime.  Res64: 3482154F7D7EA239  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 08:18:36]
727*2^1229605-1 is not prime.  Res64: 25368E0AA39640F4  Time : 0.0 sec.
user=vaughan
[2012-09-27 08:37:51]
741*2^1229605-1 is not prime.  Res64: 45813B9E98029255  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 08:39:14]
825*2^1229605-1 is not prime.  Res64: 0AB8A06BD6712596  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 08:39:14]
885*2^1229605-1 is not prime.  Res64: A36D3D443D9BE889  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 08:39:15]
805*2^1229605-1 is not prime.  Res64: 647AADEE5837835A  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 08:39:15]
925*2^1229605-1 is not prime.  Res64: 30724EB59E06D57B  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 08:59:49]
741*2^1229606-1 is not prime.  Res64: A9BD24DE3E6A64B0  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 08:59:49]
785*2^1229606-1 is not prime.  Res64: 9B3CBF521731C1F4  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 08:59:49]
773*2^1229606-1 is not prime.  Res64: 9326C3629D2CFFEB  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 08:59:50]
945*2^1229606-1 is not prime.  Res64: ACC14554B9CACA15  Time : 0.0 sec.
user=vaughan
[2012-09-27 09:15:37]
615*2^1229606-1 is not prime.  Res64: 3EF30A5FB8178295  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 09:20:24]
649*2^1229607-1 is not prime.  Res64: 7DD524CDC4ADACE7  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 09:20:24]
781*2^1229607-1 is not prime.  Res64: 9B8E9C669DE27E89  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 09:20:25]
793*2^1229607-1 is not prime.  Res64: E785C2EA6484E56B  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 09:20:25]
859*2^1229607-1 is not prime.  Res64: AF862E06BCC2DFF4  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 09:40:59]
605*2^1229608-1 is not prime.  Res64: A1AE78EA2618FCC0  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 09:41:00]
695*2^1229608-1 is not prime.  Res64: 200AFD863FFFD400  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 09:41:00]
723*2^1229608-1 is not prime.  Res64: 4A46CA5FDB4884DE  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 09:41:01]
773*2^1229608-1 is not prime.  Res64: 337734557401551A  Time : 0.0 sec.
user=vaughan
[2012-09-27 09:53:26]
979*2^1229607-1 is not prime.  Res64: C4880DD12DE77238  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 10:01:35]
869*2^1229608-1 is not prime.  Res64: 10E24ABE9751B6FC  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 10:01:36]
631*2^1229609-1 is not prime.  Res64: 676D43C1CBCD96AB  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 10:01:37]
649*2^1229609-1 is not prime.  Res64: 65D4F1487837FDE2  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 10:01:38]
771*2^1229609-1 is not prime.  Res64: 5365ABD59A961A67  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 10:22:29]
889*2^1229609-1 is not prime.  Res64: 167E7183EC1AB983  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 10:22:30]
939*2^1229609-1 is not prime.  Res64: 703C2340542FE700  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 10:22:30]
969*2^1229609-1 is not prime.  Res64: 6058D7263C5699AC  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 10:22:31]
651*2^1229610-1 is not prime.  Res64: EA67A853001B3501  Time : 0.0 sec.
user=vaughan
[2012-09-27 10:31:15]
811*2^1229609-1 is not prime.  Res64: DE502295CD022D79  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 10:43:08]
707*2^1229610-1 is not prime.  Res64: A14206B357667F27  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 10:43:09]
783*2^1229610-1 is not prime.  Res64: CA3EA4A1D94BA034  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 10:43:09]
791*2^1229610-1 is not prime.  Res64: 6A09911E7E695253  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 10:43:10]
833*2^1229610-1 is not prime.  Res64: 784A7CF0EAA8552F  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 11:03:48]
861*2^1229611-1 is not prime.  Res64: A4648D1A58B01CF0  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 11:03:49]
657*2^1229612-1 is not prime.  Res64: 96EB04DC3E8FED79  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 11:03:50]
961*2^1229611-1 is not prime.  Res64: BC1B226482E8DC57  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 11:03:51]
665*2^1229612-1 is not prime.  Res64: 004AAC65C3ADDBE2  Time : 0.0 sec.
user=vaughan
[2012-09-27 11:09:05]
603*2^1229611-1 is not prime.  Res64: 085F868DA8BD1790  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 11:25:05]
683*2^1229612-1 is not prime.  Res64: 7D09A1BFEFA219CE  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 11:25:06]
717*2^1229612-1 is not prime.  Res64: 0DADC6AF6E0A5F3A  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 11:25:10]
777*2^1229612-1 is not prime.  Res64: 9B08FC22A64BF180  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 11:25:11]
875*2^1229612-1 is not prime.  Res64: 7AE4A613EE5F056C  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 11:46:27]
935*2^1229612-1 is not prime.  Res64: 9DF62466C34A7BD6  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 11:46:27]
759*2^1229613-1 is not prime.  Res64: 30374AFB6547995F  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 11:46:30]
765*2^1229613-1 is not prime.  Res64: 542D47FA36130CE8  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 11:46:30]
769*2^1229613-1 is not prime.  Res64: 71127424BC6A42A5  Time : 0.0 sec.
user=vaughan
[2012-09-27 11:46:59]
885*2^1229612-1 is not prime.  Res64: 18D23B012855879B  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 12:07:49]
819*2^1229613-1 is not prime.  Res64: 181D44F78C3C63BD  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 12:07:51]
889*2^1229613-1 is not prime.  Res64: 0C1DF59DEF1276E9  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 12:07:53]
681*2^1229614-1 is not prime.  Res64: D62C73D8B141CE00  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 12:07:54]
687*2^1229614-1 is not prime.  Res64: CD7A9F20E591A100  Time : 0.0 sec.
user=vaughan
[2012-09-27 12:24:48]
825*2^1229614-1 is not prime.  Res64: 713BAF5F7845C3AC  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 12:29:18]
861*2^1229614-1 is not prime.  Res64: 27448264F193D5D8  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 12:29:19]
903*2^1229614-1 is not prime.  Res64: 340B42B1CA299E96  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 12:29:19]
941*2^1229614-1 is not prime.  Res64: F93BFEF1CB59379C  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 12:29:20]
633*2^1229615-1 is not prime.  Res64: 24E89A25B6058336  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 12:50:40]
871*2^1229615-1 is not prime.  Res64: 1E0929ECE552A8AB  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 12:50:40]
829*2^1229615-1 is not prime.  Res64: E9DAB6798D0A503A  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 12:50:40]
885*2^1229615-1 is not prime.  Res64: 62A792A145104D1E  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 12:50:40]
859*2^1229615-1 is not prime.  Res64: 983EA9EBBD5167AB  Time : 0.0 sec.
user=juhehe
[2012-09-27 12:53:53]
663*2^1229615-1 is not prime.  Res64: BB59D355ECD7BD24  Time : 0.0 sec.
user=vaughan
[2012-09-27 13:02:36]
799*2^1229615-1 is not prime.  Res64: 6A726DFFEF6BCB87  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 13:12:00]
913*2^1229615-1 is not prime.  Res64: 3D056E5F67BD1977  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 13:12:01]
705*2^1229616-1 is not prime.  Res64: BF3B717CFCD811D2  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 13:12:01]
707*2^1229616-1 is not prime.  Res64: A9ECA6FEF1D10CA7  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 13:12:01]
735*2^1229616-1 is not prime.  Res64: 3071540CAB00D8CF  Time : 0.0 sec.
user=juhehe
[2012-09-27 13:26:38]
825*2^1229616-1 is not prime.  Res64: 94D1620A629DDB4E  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 13:34:04]
661*2^1229617-1 is not prime.  Res64: 8284BDAF91B189F3  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 13:34:04]
715*2^1229617-1 is not prime.  Res64: E4CE6E83F3EBB5BE  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 13:34:05]
909*2^1229616-1 is not prime.  Res64: 7DA2F1444B9BF133  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 13:34:05]
607*2^1229617-1 is not prime.  Res64: 262F29436B58BACF  Time : 0.0 sec.
user=vaughan
[2012-09-27 13:40:38]
845*2^1229616-1 is not prime.  Res64: E26D4BF363ACD4CF  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 13:55:32]
765*2^1229617-1 is not prime.  Res64: DDF8BE5128F40429  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 13:55:32]
769*2^1229617-1 is not prime.  Res64: 2594E3FC25D6AFA0  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 13:55:33]
775*2^1229617-1 is not prime.  Res64: 55D2AD06623610F9  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 13:55:33]
807*2^1229617-1 is not prime.  Res64: EFAFA6C72EA9A4EB  Time : 0.0 sec.
user=juhehe
[2012-09-27 13:59:38]
729*2^1229617-1 is not prime.  Res64: F67ECB06303D211D  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 14:16:37]
831*2^1229617-1 is not prime.  Res64: C9ADCAE1E7C2819E  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 14:16:37]
867*2^1229617-1 is not prime.  Res64: CB901805A9D00250  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 14:16:38]
909*2^1229617-1 is not prime.  Res64: 7FDF37DE911C0005  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 14:16:39]
915*2^1229617-1 is not prime.  Res64: 252E93C8EF3FAA8D  Time : 0.0 sec.
user=vaughan
[2012-09-27 14:18:28]
819*2^1229617-1 is not prime.  Res64: EFF1CB8F80AC0EFB  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 14:37:15]
623*2^1229618-1 is not prime.  Res64: 574CA2E82629224D  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 14:37:16]
767*2^1229618-1 is not prime.  Res64: 690246CFA48754F4  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 14:37:16]
753*2^1229618-1 is not prime.  Res64: CA96194FACD5B854  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 14:37:17]
771*2^1229618-1 is not prime.  Res64: 12300BF48323C3A8  Time : 0.0 sec.
user=vaughan
[2012-09-27 14:56:17]
791*2^1229618-1 is not prime.  Res64: AB125590A585C965  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 14:57:49]
825*2^1229618-1 is not prime.  Res64: FC3C02B586DBF4C0  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 14:57:49]
833*2^1229618-1 is not prime.  Res64: 4A854686B3DA00D0  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 14:57:50]
875*2^1229618-1 is not prime.  Res64: EA5033CFC248E468  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 14:57:50]
887*2^1229618-1 is not prime.  Res64: 5C98D852BE0F2F92  Time : 0.0 sec.
user=juhehe
[2012-09-27 15:03:56]
957*2^1229617-1 is not prime.  Res64: 808376FBFC77A208  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 15:18:23]
621*2^1229619-1 is not prime.  Res64: B5A20B26EEEB8368  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 15:18:23]
663*2^1229619-1 is not prime.  Res64: C6CCB4A2E4DA86B3  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 15:18:24]
741*2^1229619-1 is not prime.  Res64: 1C5B31DFCBD70719  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 15:18:24]
649*2^1229619-1 is not prime.  Res64: 862FFD4CEE1C0C26  Time : 0.0 sec.
user=juhehe
[2012-09-27 15:37:57]
775*2^1229619-1 is not prime.  Res64: 74EC49AFD786483A  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 15:39:21]
873*2^1229619-1 is not prime.  Res64: 8C4642D629B9CABC  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 15:39:22]
919*2^1229619-1 is not prime.  Res64: 96AABFFBD8BF50D5  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 15:39:23]
969*2^1229619-1 is not prime.  Res64: 429BDD325A284EFF  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 15:39:23]
605*2^1229620-1 is not prime.  Res64: 15EABDED7A652D38  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 16:00:30]
717*2^1229620-1 is not prime.  Res64: 9D2EA46C7424E293  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 16:00:31]
825*2^1229620-1 is not prime.  Res64: B45348055B0925F0  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 16:00:32]
933*2^1229620-1 is not prime.  Res64: C5FA3B16A1F485B6  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 16:00:33]
989*2^1229620-1 is not prime.  Res64: DD1724F898B87B4E  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 16:21:51]
679*2^1229621-1 is not prime.  Res64: 90ADD9756C5CF986  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 16:21:51]
653*2^1229622-1 is not prime.  Res64: E94E22B99A431A1B  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 16:21:51]
979*2^1229621-1 is not prime.  Res64: A1FA1B936345E7AD  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 16:21:51]
725*2^1229622-1 is not prime.  Res64: D1556BAFE12D9083  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 16:43:10]
1001*2^1229622-1 is not prime.  Res64: 5D4D2141F5D3694C  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 16:43:10]
603*2^1229623-1 is not prime.  Res64: 8AA1B9BB1771ABB5  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 16:43:11]
801*2^1229622-1 is not prime.  Res64: 5A2D4C05F46E7D25  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 16:43:11]
873*2^1229622-1 is not prime.  Res64: 3BF4DE100DD996D7  Time : 0.0 sec.
user=vaughan
[2012-09-27 16:49:43]
797*2^1229622-1 is not prime.  Res64: 2C9B7AFBC3020194  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 17:04:36]
675*2^1229623-1 is not prime.  Res64: 30D7CB2EB46BC441  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 17:04:37]
735*2^1229623-1 is not prime.  Res64: 066C9E501B0BEC8B  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 17:04:39]
783*2^1229623-1 is not prime.  Res64: 008DBC90AA2A7345  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 17:04:40]
819*2^1229623-1 is not prime.  Res64: F3C449DE2A231E77  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 17:26:02]
605*2^1229624-1 is not prime.  Res64: 703915B93DFF34B9  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 17:26:02]
623*2^1229624-1 is not prime.  Res64: 645579D653C55706  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 17:26:05]
759*2^1229624-1 is not prime.  Res64: E13532DADDE7C9B8  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 17:26:05]
767*2^1229624-1 is not prime.  Res64: 2B08D6DCEE5B01C9  Time : 0.0 sec.
user=vaughan
[2012-09-27 17:27:25]
961*2^1229623-1 is not prime.  Res64: D8368AE257BB0C3D  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 17:47:19]
957*2^1229624-1 is not prime.  Res64: 111033F9A6245236  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 17:47:19]
843*2^1229624-1 is not prime.  Res64: 6696C7CC3CAF2DDD  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 17:47:19]
601*2^1229625-1 is not prime.  Res64: 16601D36787B6443  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 17:47:19]
899*2^1229624-1 is not prime.  Res64: 8DEE6065548F211A  Time : 0.0 sec.
user=vaughan
[2012-09-27 18:05:10]
669*2^1229625-1 is not prime.  Res64: EDA64083DCB8AB39  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 18:08:29]
765*2^1229625-1 is not prime.  Res64: 5A081ADF60C917C8  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 18:08:29]
781*2^1229625-1 is not prime.  Res64: 1CD0DB2C6AF9AC72  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 18:08:29]
831*2^1229625-1 is not prime.  Res64: B55039505586292C  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 18:08:30]
847*2^1229625-1 is not prime.  Res64: B60B3C83AF94ECC8  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 18:29:42]
975*2^1229625-1 is not prime.  Res64: 09B919714BAD00D3  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 18:29:42]
717*2^1229626-1 is not prime.  Res64: B1C5C662036EEB65  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 18:29:47]
747*2^1229626-1 is not prime.  Res64: 38BC78DB62BD9534  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 18:29:47]
773*2^1229626-1 is not prime.  Res64: B77C4815E66BFEC3  Time : 0.0 sec.
user=vaughan
[2012-09-27 18:42:58]
861*2^1229625-1 is not prime.  Res64: E6C6FBCFD0C289BB  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 18:50:54]
867*2^1229626-1 is not prime.  Res64: 833DFDA77DF20580  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 18:50:54]
923*2^1229626-1 is not prime.  Res64: 21850AACCED4CA5D  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 18:50:57]
1001*2^1229626-1 is not prime.  Res64: 16AF39C54991D42B  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 18:50:57]
609*2^1229627-1 is not prime.  Res64: 5DA6816C6D87F3A7  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 19:11:36]
735*2^1229627-1 is not prime.  Res64: 1A6286A3222DBDE5  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 19:11:36]
759*2^1229627-1 is not prime.  Res64: 0315FDF14C10C5E0  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 19:11:39]
915*2^1229627-1 is not prime.  Res64: 0901B4A5E482EF2C  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 19:11:40]
985*2^1229627-1 is not prime.  Res64: 5FA4D2E2D77439A7  Time : 0.0 sec.
user=vaughan
[2012-09-27 19:20:46]
633*2^1229627-1 is not prime.  Res64: 059880917903A13F  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 19:32:14]
993*2^1229627-1 is not prime.  Res64: 63452460370DC6ED  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 19:32:14]
635*2^1229628-1 is not prime.  Res64: C0A8515B1993026A  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 19:32:16]
753*2^1229628-1 is not prime.  Res64: 56A427D1221C5988  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 19:32:17]
773*2^1229628-1 is not prime.  Res64: 26069B4459A4D0A5  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 19:52:47]
789*2^1229628-1 is not prime.  Res64: BAD2A6A552C46803  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 19:52:48]
879*2^1229628-1 is not prime.  Res64: 6DB9D886476A160A  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 19:52:49]
923*2^1229628-1 is not prime.  Res64: 87E6AEBA22986D8A  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 19:52:49]
927*2^1229628-1 is not prime.  Res64: 62C9449F5C200993  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 20:13:20]
691*2^1229629-1 is not prime.  Res64: E7D2816F840D5616  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 20:13:21]
801*2^1229629-1 is not prime.  Res64: CEF0CEE2176FB71D  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 20:13:21]
861*2^1229629-1 is not prime.  Res64: 56050F937A2AAF4E  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 20:13:22]
931*2^1229629-1 is not prime.  Res64: 2A3032AE56F43966  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 20:33:56]
975*2^1229629-1 is not prime.  Res64: 80311A2836CB42CE  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 20:33:57]
615*2^1229630-1 is not prime.  Res64: AB789565CA8B86E1  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 20:33:58]
627*2^1229630-1 is not prime.  Res64: B6C18E16AE2BCBEA  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 20:33:59]
635*2^1229630-1 is not prime.  Res64: 011E0CCDE944EC79  Time : 0.0 sec.
user=vaughan
[2012-09-27 20:36:45]
957*2^1229629-1 is not prime.  Res64: E9F8297CC836808C  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 20:54:31]
785*2^1229630-1 is not prime.  Res64: 4D58B10E6820D694  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 20:54:32]
875*2^1229630-1 is not prime.  Res64: F04222809C745AA6  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 20:54:32]
831*2^1229630-1 is not prime.  Res64: 2F490E4B83D3BD85  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 20:54:32]
927*2^1229630-1 is not prime.  Res64: ABAA4A53DE9CEC32  Time : 0.0 sec.
user=vaughan
[2012-09-27 21:14:35]
971*2^1229630-1 is not prime.  Res64: 5C54C9F18CD2F77E  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 21:15:05]
849*2^1229631-1 is not prime.  Res64: 6E0053E202574914  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 21:15:06]
861*2^1229631-1 is not prime.  Res64: 559E6EE5777F16A7  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 21:15:06]
909*2^1229631-1 is not prime.  Res64: 2B8847782D5A2037  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 21:15:07]
933*2^1229631-1 is not prime.  Res64: E9F2513DF2249CFC  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 21:35:39]
969*2^1229631-1 is not prime.  Res64: E9D5AB475EFC1BBA  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 21:35:39]
979*2^1229631-1 is not prime.  Res64: DDE4AF7C419AAF05  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 21:35:39]
603*2^1229632-1 is not prime.  Res64: 05FE1455D1799C4F  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 21:35:41]
609*2^1229632-1 is not prime.  Res64: 01E38E971D0D79D0  Time : 0.0 sec.
user=vaughan
[2012-09-27 21:52:28]
955*2^1229631-1 is not prime.  Res64: C60DD8C319F3A384  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 21:56:12]
645*2^1229632-1 is not prime.  Res64: 754DE8633AC46A22  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 21:56:13]
693*2^1229632-1 is not prime.  Res64: 06C4DB51822F4FC8  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 21:56:13]
755*2^1229632-1 is not prime.  Res64: F8F46918A8B8465E  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 21:56:14]
765*2^1229632-1 is not prime.  Res64: 5E54DE1C0BD77D48  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 22:16:45]
855*2^1229632-1 is not prime.  Res64: C3D7F25641DA49C5  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 22:16:46]
875*2^1229632-1 is not prime.  Res64: 3BE1636095A429E8  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 22:16:46]
869*2^1229632-1 is not prime.  Res64: BE5B9CD5CE4E65FD  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 22:16:46]
619*2^1229633-1 is not prime.  Res64: 8EDBF9239940F76C  Time : 0.0 sec.
user=vaughan
[2012-09-27 22:30:22]
849*2^1229632-1 is not prime.  Res64: 9363DC0988779CCC  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 22:37:21]
669*2^1229633-1 is not prime.  Res64: EF48BA06E7CED6E6  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 22:37:22]
715*2^1229633-1 is not prime.  Res64: 41F55D0DA43AE0DA  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 22:37:22]
769*2^1229633-1 is not prime.  Res64: 01E175D36700A827  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 22:37:23]
811*2^1229633-1 is not prime.  Res64: 789932EC337DBF79  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 22:57:54]
867*2^1229633-1 is not prime.  Res64: 487A0CDB02B88E3C  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 22:57:54]
981*2^1229633-1 is not prime.  Res64: D326FFA3668071EC  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 22:57:54]
985*2^1229633-1 is not prime.  Res64: 789D0B6F4CB66C98  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 22:57:55]
627*2^1229634-1 is not prime.  Res64: 09DA217DE0B96BFD  Time : 0.0 sec.
user=vaughan
[2012-09-27 23:08:10]
861*2^1229633-1 is not prime.  Res64: 6B735F2EFA8A2E81  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 23:18:27]
657*2^1229634-1 is not prime.  Res64: 0D6B894F0FF45C4F  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 23:18:56]
725*2^1229634-1 is not prime.  Res64: 3ED7BF8EC8D7F9ED  Time : 0.0 sec.
user=vaughan
[2012-09-27 23:46:08]
679*2^1229635-1 is not prime.  Res64: A8B175FCFAE9303B  Time : 0.0 sec.
user=mdettweiler
[2012-09-27 23:51:58]
603*2^1229635-1 is not prime.  Res64: 59C79359052019CD  Time : 0.0 sec.