user=mdettweiler
[2009-02-22 00:00:54]
1167*2^466365-1 is not prime.  Res64: 5E51AB06FE4BE219  Time : 1075.0 sec.
user=mdettweiler
[2009-02-22 00:01:59]
1185*2^466365-1 is not prime.  Res64: 44DD83EAF1A72E38  Time : 1074.0 sec.
user=gd_barnes
[2009-02-22 00:04:18]
1141*2^466365-1 is not prime.  Res64: 3CCAE95D4F0BCDF6  Time : 1394.0 sec.
user=mdettweiler
[2009-02-22 00:04:28]
1227*2^466365-1 is not prime.  Res64: 9CF6DD02ABE34839  Time : 1074.0 sec.
user=mdettweiler
[2009-02-22 00:05:34]
1287*2^466365-1 is not prime.  Res64: 04818BC0B02B0F7F  Time : 1075.0 sec.
user=mdettweiler
[2009-02-22 00:08:04]
1357*2^466365-1 is not prime.  Res64: 610B51E88A675981  Time : 1075.0 sec.
user=gd_barnes
[2009-02-22 00:08:57]
1189*2^466365-1 is not prime.  Res64: 681DB6F680407FC0  Time : 1393.0 sec.
user=mdettweiler
[2009-02-22 00:09:08]
1395*2^466365-1 is not prime.  Res64: 3E269656F1227C64  Time : 1074.0 sec.
user=mdettweiler
[2009-02-22 00:11:38]
1055*2^466366-1 is not prime.  Res64: 9DC554E9D48636A7  Time : 1074.0 sec.
user=mdettweiler
[2009-02-22 00:12:43]
1097*2^466366-1 is not prime.  Res64: 9A32B4DAF45F3923  Time : 1074.0 sec.
user=gd_barnes
[2009-02-22 00:13:34]
1369*2^466365-1 is not prime.  Res64: DC761E2C6785DA73  Time : 1392.0 sec.
user=mdettweiler
[2009-02-22 00:15:13]
1197*2^466366-1 is not prime.  Res64: 9F4CA9FBA58F4E46  Time : 1074.0 sec.
user=mdettweiler
[2009-02-22 00:16:17]
1227*2^466366-1 is not prime.  Res64: E6BAB6884E864AA8  Time : 1074.0 sec.
user=gd_barnes
[2009-02-22 00:18:13]
1121*2^466366-1 is not prime.  Res64: 50B9C75553AD4112  Time : 1392.0 sec.
user=mdettweiler
[2009-02-22 00:19:01]
1373*2^466366-1 is not prime.  Res64: 150B9009DAE90DA7  Time : 1087.0 sec.
user=mdettweiler
[2009-02-22 00:19:53]
1023*2^466367-1 is not prime.  Res64: F5EF598D4BA0F91C  Time : 1074.0 sec.
user=mdettweiler
[2009-02-22 00:22:23]
1153*2^466367-1 is not prime.  Res64: 63BF88A483396D9D  Time : 1075.0 sec.
user=gd_barnes
[2009-02-22 00:22:51]
1307*2^466366-1 is not prime.  Res64: 78E4A8283C84A116  Time : 1392.0 sec.
user=mdettweiler
[2009-02-22 00:23:28]
1195*2^466367-1 is not prime.  Res64: B79572412D40C055  Time : 1074.0 sec.
user=mdettweiler
[2009-02-22 00:25:57]
1323*2^466367-1 is not prime.  Res64: 94E6B8F4EE7F47BF  Time : 1074.0 sec.
user=mdettweiler
[2009-02-22 00:27:03]
1143*2^466368-1 is not prime.  Res64: 362F152C3CA288D2  Time : 1075.0 sec.
user=gd_barnes
[2009-02-22 00:27:30]
1033*2^466367-1 is not prime.  Res64: D9FD6F002B2947FA  Time : 1392.0 sec.
user=mdettweiler
[2009-02-22 00:29:32]
1199*2^466368-1 is not prime.  Res64: 0EDDEA685494F45C  Time : 1074.0 sec.
user=mdettweiler
[2009-02-22 00:30:38]
1217*2^466368-1 is not prime.  Res64: 8739EAD35EAD67E2  Time : 1075.0 sec.
user=gd_barnes
[2009-02-22 00:32:07]
1095*2^466368-1 is not prime.  Res64: CD38BBE09AA0F281  Time : 1391.0 sec.
user=mdettweiler
[2009-02-22 00:33:07]
1253*2^466368-1 is not prime.  Res64: ECF4BF602F920A23  Time : 1074.0 sec.
user=mdettweiler
[2009-02-22 00:34:12]
1365*2^466368-1 is not prime.  Res64: 959BA75DFD25D609  Time : 1075.0 sec.
user=mdettweiler
[2009-02-22 00:36:43]
1189*2^466369-1 is not prime.  Res64: F85F68E44E89283B  Time : 986.0 sec.
user=gd_barnes
[2009-02-22 00:36:46]
1245*2^466368-1 is not prime.  Res64: 2A850827B86A5EA8  Time : 1392.0 sec.
user=mdettweiler
[2009-02-22 00:37:47]
1119*2^466369-1 is not prime.  Res64: 62FE023B590B864E  Time : 1075.0 sec.
user=mdettweiler
[2009-02-22 00:40:18]
1209*2^466369-1 is not prime.  Res64: 1514BDC24CAA437B  Time : 1075.0 sec.
user=mdettweiler
[2009-02-22 00:41:22]
1261*2^466369-1 is not prime.  Res64: 189079B65807CD63  Time : 1074.0 sec.
user=gd_barnes
[2009-02-22 00:41:24]
1107*2^466369-1 is not prime.  Res64: 91E547F4C123B5B4  Time : 1392.0 sec.
user=mdettweiler
[2009-02-22 00:43:53]
1017*2^468501-1 is not prime.  Res64: 980B3CEB55067DC5  Time : 1076.0 sec.
user=mdettweiler
[2009-02-22 00:44:59]
1099*2^468501-1 is not prime.  Res64: EE235210F42EAE34  Time : 1076.0 sec.
user=gd_barnes
[2009-02-22 00:46:02]
1249*2^466369-1 is not prime.  Res64: 0A6FC485A6FF7076  Time : 1391.0 sec.
user=mdettweiler
[2009-02-22 00:47:28]
1189*2^468501-1 is not prime.  Res64: 38F5F5DD0F13BB77  Time : 1076.0 sec.
user=mdettweiler
[2009-02-22 00:48:35]
1245*2^468501-1 is not prime.  Res64: F24908F8BE72583C  Time : 1077.0 sec.
user=mdettweiler
[2009-02-22 00:51:05]
1285*2^468501-1 is not prime.  Res64: D20027709F907DBF  Time : 1078.0 sec.
user=gd_barnes
[2009-02-22 00:51:14]
1185*2^468501-1 is not prime.  Res64: F1D0B618CCF2C2B8  Time : 1425.0 sec.
user=mdettweiler
[2009-02-22 00:52:10]
1291*2^468501-1 is not prime.  Res64: 7D378F244DA4C5BA  Time : 1078.0 sec.
user=mdettweiler
[2009-02-22 00:54:41]
1297*2^468501-1 is not prime.  Res64: 396634BEB0CF652C  Time : 1079.0 sec.
user=gd_barnes
[2009-02-22 00:55:31]
1255*2^468501-1 is not prime.  Res64: 9C213E1C7C4727EE  Time : 1404.0 sec.
user=mdettweiler
[2009-02-22 00:55:46]
1035*2^468502-1 is not prime.  Res64: 856A5516AA02043C  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 00:58:16]
1085*2^468502-1 is not prime.  Res64: 047104BA448A4903  Time : 1078.0 sec.
user=mdettweiler
[2009-02-22 00:59:22]
1205*2^468502-1 is not prime.  Res64: 040EBF8E0ACFB680  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 01:01:52]
1263*2^468502-1 is not prime.  Res64: A98A3B502BD088AE  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 01:02:58]
1035*2^468503-1 is not prime.  Res64: 04B37F8D649EE2A3  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 01:05:28]
1249*2^468503-1 is not prime.  Res64: 670A4C08C8305E19  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 01:06:33]
1285*2^468503-1 is not prime.  Res64: B242C4B8A509D4D3  Time : 1078.0 sec.
user=mdettweiler
[2009-02-22 01:09:04]
1309*2^468503-1 is not prime.  Res64: 2DFC107A6E785213  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 01:10:10]
1017*2^468504-1 is not prime.  Res64: 460B274FC8B162A1  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 01:12:40]
1143*2^468504-1 is not prime.  Res64: 63A7C6AD1F7F1179  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 01:13:46]
1269*2^468504-1 is not prime.  Res64: 358CA2771C8690FE  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 01:16:15]
1325*2^468504-1 is not prime.  Res64: 09E7BF77E3176ECB  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 01:17:22]
1347*2^468504-1 is not prime.  Res64: 2924F10B0CF51B7E  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 01:21:11]
1095*2^468505-1 is not prime.  Res64: 25B74582ADEBC0BF  Time : 1093.0 sec.
user=mdettweiler
[2009-02-22 01:21:16]
1081*2^468505-1 is not prime.  Res64: 02E47EE553D78AFC  Time : 1164.0 sec.
user=mdettweiler
[2009-02-22 01:23:28]
1299*2^468501-1 is not prime.  Res64: F3B1D9E660193828  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 01:24:34]
1241*2^468502-1 is not prime.  Res64: 915BD26A7E2BEB18  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 01:27:04]
1131*2^468503-1 is not prime.  Res64: 7460AA7E97689FF5  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 01:28:09]
1019*2^468504-1 is not prime.  Res64: 8BADAA3CC682CD95  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 01:30:39]
1265*2^468504-1 is not prime.  Res64: B886BD52E02C1A2E  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 01:31:45]
1119*2^468505-1 is not prime.  Res64: 143F43F07D1F39DB  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 01:34:15]
1137*2^468505-1 is not prime.  Res64: B1BF8B7DA4BF7853  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 01:35:21]
1141*2^468505-1 is not prime.  Res64: 3035A06FC144C871  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 01:37:51]
1147*2^468505-1 is not prime.  Res64: 7E4B9878EAE96968  Time : 996.0 sec.
user=mdettweiler
[2009-02-22 01:38:57]
1167*2^468505-1 is not prime.  Res64: 7F3C37F213AF8DDA  Time : 991.0 sec.
user=mdettweiler
[2009-02-22 01:41:27]
1195*2^468505-1 is not prime.  Res64: A043B9903C8080B9  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 01:42:34]
1225*2^468505-1 is not prime.  Res64: 73E15D7B5A3B0916  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 01:45:03]
1291*2^468505-1 is not prime.  Res64: 21211A6559B8480A  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 01:46:09]
1345*2^468505-1 is not prime.  Res64: 5DBD634023CDE00C  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 01:48:39]
1377*2^468505-1 is not prime.  Res64: 7C79609E9B9C2ADD  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 01:49:45]
1023*2^468506-1 is not prime.  Res64: 060B77F3A9709D4D  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 01:52:14]
1041*2^468506-1 is not prime.  Res64: 10A9679415675BDB  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 01:53:21]
1065*2^468506-1 is not prime.  Res64: 5356A5116F561B18  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 01:55:50]
1137*2^468506-1 is not prime.  Res64: 3F37928A37CA323A  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 01:56:57]
1233*2^468506-1 is not prime.  Res64: DFD3E3EAADAEBB52  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 01:59:26]
1293*2^468506-1 is not prime.  Res64: 74895207970D263D  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 02:00:32]
1015*2^468507-1 is not prime.  Res64: 89230E8879C8FCD6  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 02:03:02]
1041*2^468507-1 is not prime.  Res64: 4C06AC57E62CC4B6  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 02:04:08]
1081*2^468507-1 is not prime.  Res64: 380B4D7A77ACF36B  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 02:06:37]
1105*2^468507-1 is not prime.  Res64: 7495AA7F258B9CF0  Time : 1078.0 sec.
user=mdettweiler
[2009-02-22 02:07:44]
1165*2^468507-1 is not prime.  Res64: 30571FDD3CB15D0B  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 02:10:13]
1179*2^468507-1 is not prime.  Res64: 7715F5EC4D2D54EB  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 02:11:20]
1221*2^468507-1 is not prime.  Res64: C5D74A169E29E631  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 02:13:49]
1225*2^468507-1 is not prime.  Res64: AF068042D1624371  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 02:14:56]
1351*2^468507-1 is not prime.  Res64: 24447F2BCD5AAD12  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 02:17:25]
1353*2^468507-1 is not prime.  Res64: F66C7887BEE5C907  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 02:18:32]
1055*2^468508-1 is not prime.  Res64: E3A5E1DBD1C37E0A  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 02:23:32]
1119*2^468508-1 is not prime.  Res64: E091990A2B4500DC  Time : 1164.0 sec.
user=mdettweiler
[2009-02-22 02:24:11]
1107*2^468508-1 is not prime.  Res64: 37B419ED2F8F9A44  Time : 1269.0 sec.
user=mdettweiler
[2009-02-22 02:24:37]
1149*2^468508-1 is not prime.  Res64: 723D6613BEC4B7A6  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 02:25:45]
1209*2^468508-1 is not prime.  Res64: 291BEF594CE72A2F  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 02:28:13]
1295*2^468508-1 is not prime.  Res64: A3DAA2E05C3200B5  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 02:29:20]
1005*2^468509-1 is not prime.  Res64: BF62E2E83DF7A8C3  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 02:31:50]
1189*2^468509-1 is not prime.  Res64: CF8837CE5E3A9027  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 02:32:56]
1195*2^468509-1 is not prime.  Res64: 6B096909E9D31266  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 02:35:25]
1237*2^468509-1 is not prime.  Res64: 964D1098A011C6CE  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 02:36:32]
1305*2^468509-1 is not prime.  Res64: 6692BCAAFD757EDB  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 02:39:01]
1369*2^468509-1 is not prime.  Res64: A03A4B5BB4005374  Time : 891.0 sec.
user=mdettweiler
[2009-02-22 02:40:08]
1327*2^468509-1 is not prime.  Res64: 78E99CD40B8CC1FA  Time : 996.0 sec.
user=mdettweiler
[2009-02-22 02:42:37]
1375*2^468509-1 is not prime.  Res64: 52CF980EBF0E0514  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 02:43:43]
1387*2^468509-1 is not prime.  Res64: DB871755B6649EB7  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 02:46:12]
1005*2^468510-1 is not prime.  Res64: 43850FA3DB0B1A04  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 02:47:20]
1011*2^468510-1 is not prime.  Res64: 18CF594DA9E9735F  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 02:49:48]
1083*2^468510-1 is not prime.  Res64: 737FABBBC18325C3  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 02:50:55]
1095*2^468510-1 is not prime.  Res64: 1536198C55E0FC37  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 02:53:24]
1197*2^468510-1 is not prime.  Res64: A9CC3941E5300C76  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 02:54:31]
1215*2^468510-1 is not prime.  Res64: 9160527F6B9135E3  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 02:57:00]
1257*2^468510-1 is not prime.  Res64: 305D9D2FA6824671  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 02:58:07]
1323*2^468510-1 is not prime.  Res64: C58AFA6AD3E6A5C0  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 03:00:36]
1015*2^468511-1 is not prime.  Res64: 8D4560DD489D068E  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 03:01:42]
1065*2^468511-1 is not prime.  Res64: 3646A1DEB9E3E757  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 03:04:11]
1119*2^468511-1 is not prime.  Res64: FC0AAD797DE73E5D  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 03:05:19]
1125*2^468511-1 is not prime.  Res64: 2A0851BE8D908B95  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 03:07:47]
1195*2^468511-1 is not prime.  Res64: 8050030C0561A9BE  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 03:08:55]
1255*2^468511-1 is not prime.  Res64: 26E7FC1F09E396B0  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 03:11:23]
1263*2^468511-1 is not prime.  Res64: 4F59772B117519DC  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 03:12:30]
1303*2^468511-1 is not prime.  Res64: 932646245F639E39  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 03:14:59]
1333*2^468511-1 is not prime.  Res64: DDBCBE118C14EFC6  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 03:16:06]
1335*2^468511-1 is not prime.  Res64: 29B57B0F5ECC7C92  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 03:18:34]
1363*2^468511-1 is not prime.  Res64: 5FC611787BA7EFB2  Time : 1078.0 sec.
user=mdettweiler
[2009-02-22 03:19:42]
1065*2^468512-1 is not prime.  Res64: D2A2D69A3564314D  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 03:22:10]
1137*2^468512-1 is not prime.  Res64: 6B6D8AA52D4D570A  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 03:24:43]
1145*2^468512-1 is not prime.  Res64: AC8669AF35758078  Time : 1165.0 sec.
user=mdettweiler
[2009-02-22 03:25:47]
1179*2^468512-1 is not prime.  Res64: 3EC3275F5CA3A72A  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 03:26:54]
1313*2^468512-1 is not prime.  Res64: E0FFC196058C7FEC  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 03:29:23]
1349*2^468512-1 is not prime.  Res64: 395CA3BF891586E8  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 03:30:30]
1383*2^468512-1 is not prime.  Res64: 7CC5F37A6447F3AF  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 03:32:59]
1245*2^468513-1 is not prime.  Res64: C5AFE5B4164B1222  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 03:34:06]
1279*2^468513-1 is not prime.  Res64: 18A86F7894BA96B7  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 03:36:35]
1299*2^468513-1 is not prime.  Res64: 65F691983FBA4077  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 03:37:42]
1339*2^468513-1 is not prime.  Res64: AE48FB00C5D4C287  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 03:40:10]
1351*2^468513-1 is not prime.  Res64: ED235997BAC97EBD  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 03:41:18]
1377*2^468513-1 is not prime.  Res64: D83D3568656DC960  Time : 995.0 sec.
user=mdettweiler
[2009-02-22 03:43:46]
1095*2^468514-1 is not prime.  Res64: F3C239EB5F949216  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 03:44:53]
1181*2^468514-1 is not prime.  Res64: 96A0FEFA47F532F7  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 03:47:22]
1245*2^468514-1 is not prime.  Res64: 5A888ACA18067F1F  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 03:48:29]
1281*2^468514-1 is not prime.  Res64: D6A52DBB948FFE39  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 03:50:58]
1323*2^468514-1 is not prime.  Res64: 9B83FD3330753B06  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 03:52:05]
1371*2^468514-1 is not prime.  Res64: 8740DF44C1420203  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 03:54:34]
1041*2^468515-1 is not prime.  Res64: 7B02090EB7A7E70B  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 03:55:41]
1083*2^468515-1 is not prime.  Res64: 68A2CBF215FD5064  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 03:58:09]
1105*2^468515-1 is not prime.  Res64: 1F57A6D623EF8B25  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 03:59:17]
1119*2^468515-1 is not prime.  Res64: 1671DCB8B9B25BB4  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 04:01:46]
1281*2^468515-1 is not prime.  Res64: 5803317D6352BEE8  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 04:02:53]
1285*2^468515-1 is not prime.  Res64: 7D2EC3EE6FD9A74E  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 04:05:22]
1043*2^468516-1 is not prime.  Res64: AEA80C9539BCD6D8  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 04:06:29]
1187*2^468516-1 is not prime.  Res64: 750050D595D54355  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 04:08:58]
1199*2^468516-1 is not prime.  Res64: A1CA86D00F2CE472  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 04:10:05]
1295*2^468516-1 is not prime.  Res64: 068E593A94A83931  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 04:12:34]
1355*2^468516-1 is not prime.  Res64: EBF887B9BBC671FF  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 04:13:41]
1383*2^468516-1 is not prime.  Res64: C076D58DEF65D4EC  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 04:16:09]
1137*2^468517-1 is not prime.  Res64: AD5387F8F7EF2D95  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 04:17:17]
1161*2^468517-1 is not prime.  Res64: B594348C327DDE5C  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 04:19:46]
1195*2^468517-1 is not prime.  Res64: E7A9F2202DB88868  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 04:20:52]
1209*2^468517-1 is not prime.  Res64: 3D2ED865302135B1  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 04:23:22]
1309*2^468517-1 is not prime.  Res64: F547B9504F17909B  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 04:26:08]
1389*2^468517-1 is not prime.  Res64: 5F9962B18C41BC26  Time : 1179.0 sec.
user=mdettweiler
[2009-02-22 04:26:57]
1083*2^468518-1 is not prime.  Res64: 30E4CF8838FA2736  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 04:28:04]
1133*2^468518-1 is not prime.  Res64: 4DEEBA74D5E0929A  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 04:30:33]
1173*2^468518-1 is not prime.  Res64: 976E8BE678481599  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 04:31:40]
1317*2^468518-1 is not prime.  Res64: 8776ACE121B72FE0  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 04:34:09]
1391*2^468518-1 is not prime.  Res64: E162934868DCCABB  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 04:35:16]
1059*2^468519-1 is not prime.  Res64: 31C437DAFEDD274C  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 04:37:45]
1089*2^468519-1 is not prime.  Res64: 35FEDC79B6BDCEAA  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 04:38:52]
1159*2^468519-1 is not prime.  Res64: DD475E3C6CAAF3B9  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 04:41:21]
1195*2^468519-1 is not prime.  Res64: 69E39B2CBB756989  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 04:42:27]
1263*2^468519-1 is not prime.  Res64: C2E6ADF4107F9102  Time : 903.0 sec.
user=mdettweiler
[2009-02-22 04:44:57]
1251*2^468519-1 is not prime.  Res64: 10329A86113CAD11  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 04:46:03]
1285*2^468519-1 is not prime.  Res64: FE2A4B23386CEDD7  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 04:48:33]
1293*2^468519-1 is not prime.  Res64: 3F3DB30F68D1C50C  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 04:49:39]
1369*2^468519-1 is not prime.  Res64: 9AEF814ECB765A89  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 04:52:10]
1029*2^468520-1 is not prime.  Res64: B745EB7F4F3F74A8  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 04:53:15]
1077*2^468520-1 is not prime.  Res64: 1AA8F0113909502E  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 04:55:45]
1083*2^468520-1 is not prime.  Res64: B63C1211AAC4E505  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 04:56:52]
1169*2^468520-1 is not prime.  Res64: A7F2027A06047ACC  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 04:59:21]
1193*2^468520-1 is not prime.  Res64: 99DCB8A6DAF2E15A  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 05:00:28]
1209*2^468520-1 is not prime.  Res64: 9492FDFBE4BD995D  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 05:02:57]
1247*2^468520-1 is not prime.  Res64: 916A150DC34436E0  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 05:04:03]
1307*2^468520-1 is not prime.  Res64: C1F7ADB308D12EEC  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 06:40:35]
1141*2^468521-1 is not prime.  Res64: 9B8364B79D562D5D  Time : 6656.0 sec.
user=mdettweiler
[2009-02-22 06:40:36]
1179*2^468521-1 is not prime.  Res64: 92D39EA35D03EA8A  Time : 6441.0 sec.
user=mdettweiler
[2009-02-22 06:40:36]
1221*2^468521-1 is not prime.  Res64: 6B99B3626718024D  Time : 6225.0 sec.
user=mdettweiler
[2009-02-22 06:40:36]
1309*2^468521-1 is not prime.  Res64: 743404B8949E5DD8  Time : 6008.0 sec.
user=mdettweiler
[2009-02-22 06:40:36]
1377*2^468521-1 is not prime.  Res64: 6248BAEE05FE5E9D  Time : 5793.0 sec.
user=mdettweiler
[2009-02-22 06:40:45]
1317*2^468520-1 is not prime.  Res64: D0F30FDE3FB8959D  Time : 6732.0 sec.
user=mdettweiler
[2009-02-22 06:40:46]
1159*2^468521-1 is not prime.  Res64: 83A6BE66B8989968  Time : 6517.0 sec.
user=mdettweiler
[2009-02-22 06:40:46]
1201*2^468521-1 is not prime.  Res64: E42C9CE5CEB58FE4  Time : 6301.0 sec.
user=mdettweiler
[2009-02-22 06:40:46]
1281*2^468521-1 is not prime.  Res64: 2AD0C6403A435423  Time : 6085.0 sec.
user=mdettweiler
[2009-02-22 06:40:46]
1357*2^468521-1 is not prime.  Res64: 5F79291EA5099BC6  Time : 5869.0 sec.
user=mdettweiler
[2009-02-22 06:44:28]
1387*2^468521-1 is not prime.  Res64: DF5CCECD2CA298C2  Time : 234.0 sec.
user=mdettweiler
[2009-02-22 06:44:38]
1245*2^468522-1 is not prime.  Res64: F91813188E0D90D2  Time : 234.0 sec.
user=mdettweiler
[2009-02-22 06:48:04]
1399*2^468521-1 is not prime.  Res64: E34C3BCBF6C2F162  Time : 450.0 sec.
user=mdettweiler
[2009-02-22 06:48:14]
1263*2^468522-1 is not prime.  Res64: 0F5158BF24E830EA  Time : 450.0 sec.
user=mdettweiler
[2009-02-22 06:51:41]
1055*2^468522-1 is not prime.  Res64: 936BB6060965C75D  Time : 667.0 sec.
user=mdettweiler
[2009-02-22 06:51:50]
1385*2^468522-1 is not prime.  Res64: 25ECB4F825913EDA  Time : 665.0 sec.
user=mdettweiler
[2009-02-22 06:55:16]
1071*2^468522-1 is not prime.  Res64: 1543B9C2911E29E7  Time : 881.0 sec.
user=mdettweiler
[2009-02-22 06:55:26]
1015*2^468523-1 is not prime.  Res64: DAEA80A26DABF280  Time : 881.0 sec.
user=mdettweiler
[2009-02-22 06:58:52]
1187*2^468522-1 is not prime.  Res64: 6B5B3EF2792D31E4  Time : 1097.0 sec.
user=mdettweiler
[2009-02-22 06:59:02]
1051*2^468523-1 is not prime.  Res64: 80C0758E3AD1F18D  Time : 1097.0 sec.
user=mdettweiler
[2009-02-22 07:02:28]
1053*2^468523-1 is not prime.  Res64: 1B40EB59E6D9EA1F  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 07:02:38]
1125*2^468523-1 is not prime.  Res64: E25A6CDAF5D30209  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 07:06:04]
1135*2^468523-1 is not prime.  Res64: 799071C5641A91A4  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 07:06:13]
1141*2^468523-1 is not prime.  Res64: 9995B5EC99D005EE  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 07:09:40]
1269*2^468523-1 is not prime.  Res64: 5C1D9A90634228E9  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 07:09:50]
1279*2^468523-1 is not prime.  Res64: 1588918AAAEB38DB  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 07:13:17]
1329*2^468523-1 is not prime.  Res64: 6CBC140AE67E35E5  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 07:13:26]
1333*2^468523-1 is not prime.  Res64: 9509DC46F77465C6  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 07:16:52]
1395*2^468523-1 is not prime.  Res64: 09553A38A45BCCBE  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 07:17:02]
1005*2^468524-1 is not prime.  Res64: AC34D941BCBBD345  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 07:20:28]
1127*2^468524-1 is not prime.  Res64: 796E0855919B920B  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 07:20:37]
1163*2^468524-1 is not prime.  Res64: 26C1106CB1F96EB3  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 07:24:04]
1167*2^468524-1 is not prime.  Res64: 2E801C9305DBF0BB  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 07:24:14]
1313*2^468524-1 is not prime.  Res64: 705396AF0C6BD2F1  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 07:27:40]
1319*2^468524-1 is not prime.  Res64: 314F1D881481D237  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 07:27:49]
1337*2^468524-1 is not prime.  Res64: BB97982355F13879  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 07:31:16]
1015*2^468525-1 is not prime.  Res64: B6DC4126510EF74B  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 07:31:25]
1125*2^468525-1 is not prime.  Res64: 624E9F31A2388CE6  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 07:34:52]
1131*2^468525-1 is not prime.  Res64: 0EC007240B627F25  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 07:35:01]
1137*2^468525-1 is not prime.  Res64: C1D4A58ED1227AFA  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 07:38:28]
1141*2^468525-1 is not prime.  Res64: 7EE825A55AD0F03E  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 07:38:36]
1237*2^468525-1 is not prime.  Res64: 2068AE5B1E3D507E  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 07:42:03]
1311*2^468525-1 is not prime.  Res64: D138098315DEF438  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 07:42:12]
1371*2^468525-1 is not prime.  Res64: F2832C31965B1AFE  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 07:45:40]
1011*2^468526-1 is not prime.  Res64: BF8C7D893886254F  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 07:45:49]
1025*2^468526-1 is not prime.  Res64: 72A1FFD18A5B5E1D  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 07:49:15]
1097*2^468526-1 is not prime.  Res64: 78783B4A4B8117C4  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 07:49:24]
1151*2^468526-1 is not prime.  Res64: BACDA349AC9ED1EE  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 07:52:51]
1191*2^468526-1 is not prime.  Res64: B667813E89C970C3  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 07:53:00]
1205*2^468526-1 is not prime.  Res64: 238DC2F819B3EB43  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 07:56:26]
1217*2^468526-1 is not prime.  Res64: F0C406A7C00805C3  Time : 1078.0 sec.
user=mdettweiler
[2009-02-22 07:56:36]
1277*2^468526-1 is not prime.  Res64: C991D41909E77251  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 08:00:02]
1293*2^468526-1 is not prime.  Res64: 6AC2BF168C8B8C1A  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 08:00:12]
1307*2^468526-1 is not prime.  Res64: D2101010BA295DD2  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 08:04:04]
1367*2^468526-1 is not prime.  Res64: 8CBFB04127934699  Time : 1105.0 sec.
user=mdettweiler
[2009-02-22 08:04:29]
1011*2^468527-1 is not prime.  Res64: EB3370ACCCA99971  Time : 1120.0 sec.
user=mdettweiler
[2009-02-22 08:07:14]
1189*2^468527-1 is not prime.  Res64: 49FFF927961E8293  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 08:07:23]
1201*2^468527-1 is not prime.  Res64: 9A1045D1309FC012  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 08:10:50]
1215*2^468527-1 is not prime.  Res64: 1DE0E25ED15F59DB  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 08:10:59]
1249*2^468527-1 is not prime.  Res64: 40363BE69BFF9D5E  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 08:14:26]
1291*2^468527-1 is not prime.  Res64: D82437860CE86674  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 08:14:35]
1399*2^468527-1 is not prime.  Res64: 6D7C57D02B728802  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 08:18:03]
1047*2^468528-1 is not prime.  Res64: 273E661191AC554D  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 08:18:11]
1095*2^468528-1 is not prime.  Res64: F366040A71A3A515  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 08:21:39]
1133*2^468528-1 is not prime.  Res64: AE12CC13D896174D  Time : 1055.0 sec.
user=mdettweiler
[2009-02-22 08:21:47]
1175*2^468528-1 is not prime.  Res64: 626C3373E916CEAC  Time : 1038.0 sec.
user=mdettweiler
[2009-02-22 08:25:15]
1179*2^468528-1 is not prime.  Res64: 878B0475C0012904  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 08:25:22]
1187*2^468528-1 is not prime.  Res64: 37FE4CCF8F16D32A  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 08:28:50]
1217*2^468528-1 is not prime.  Res64: 65F5D345608A93B3  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 08:28:59]
1039*2^468529-1 is not prime.  Res64: 9D5DD07C60C7CB17  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 08:32:26]
1137*2^468529-1 is not prime.  Res64: E5658895C88E1A39  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 08:32:35]
1237*2^468529-1 is not prime.  Res64: 1D73D8B4D0BB3302  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 08:36:02]
1309*2^468529-1 is not prime.  Res64: 04F1B8FCCEB9245A  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 08:36:10]
1023*2^468530-1 is not prime.  Res64: B13357E66941A9E0  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 08:39:38]
1053*2^468530-1 is not prime.  Res64: 782962F82FBDE18D  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 08:39:46]
1071*2^468530-1 is not prime.  Res64: BCF84CCD26A3A4A0  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 08:43:15]
1077*2^468530-1 is not prime.  Res64: C4E86F8FAB3668EB  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 08:43:23]
1127*2^468530-1 is not prime.  Res64: 41E5F3940E99F124  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 08:46:50]
1337*2^468530-1 is not prime.  Res64: CDAAD886C43B0E4C  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 08:46:58]
1383*2^468530-1 is not prime.  Res64: 9DEE98358F5827CD  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 08:50:29]
1041*2^468531-1 is not prime.  Res64: 912F0BEFA424BF5A  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 08:50:34]
1081*2^468531-1 is not prime.  Res64: 92C19F3F3C13C84E  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 08:54:02]
1231*2^468531-1 is not prime.  Res64: EE1A7E9932347716  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 08:54:10]
1243*2^468531-1 is not prime.  Res64: E834761FA600AFDC  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 08:57:38]
1323*2^468531-1 is not prime.  Res64: B49F948ABBF7CB18  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 08:57:45]
1029*2^468532-1 is not prime.  Res64: E8D107E2C02F712E  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 09:01:14]
1055*2^468532-1 is not prime.  Res64: 9A2C1B5A5C01B5E1  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 09:01:21]
1175*2^468532-1 is not prime.  Res64: 91F9F6D5E54E5202  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 09:04:50]
1197*2^468532-1 is not prime.  Res64: 203EA2B71F65E781  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 09:04:58]
1233*2^468532-1 is not prime.  Res64: 476D4E8DC5856B4A  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 09:08:26]
1247*2^468532-1 is not prime.  Res64: CF225798CA42BE67  Time : 1077.0 sec.
user=mdettweiler
[2009-02-22 09:08:34]
1307*2^468532-1 is not prime.  Res64: A027D1CCD3C047DA  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 09:12:02]
1379*2^468532-1 is not prime.  Res64: 76DD194CECDF6BD0  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 09:12:13]
1047*2^468533-1 is not prime.  Res64: B63C963398A0C749  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 09:15:38]
1081*2^468533-1 is not prime.  Res64: 00C7794A61E188CC  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 09:15:45]
1125*2^468533-1 is not prime.  Res64: 44DDBBEFB545D51E  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 09:19:13]
1209*2^468533-1 is not prime.  Res64: AF18FD53C515693A  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 09:19:21]
1245*2^468533-1 is not prime.  Res64: 35E1355E9A36015D  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 09:22:49]
1251*2^468533-1 is not prime.  Res64: 12CC851006DB1518  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 09:22:57]
1061*2^468534-1 is not prime.  Res64: 0F0C209336EE402F  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 09:26:25]
1077*2^468534-1 is not prime.  Res64: 418F177FC062CA8E  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 09:26:32]
1083*2^468534-1 is not prime.  Res64: AE7B2F3317CCC662  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 09:30:01]
1095*2^468534-1 is not prime.  Res64: E51F7B73BDADE7CF  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 09:30:08]
1113*2^468534-1 is not prime.  Res64: CD854C5921F44B3C  Time : 1076.0 sec.
user=mdettweiler
[2009-02-22 09:33:37]
1133*2^468534-1 is not prime.  Res64: 4FE5DCB105198ACC  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 09:33:45]
1215*2^468534-1 is not prime.  Res64: 6F344E222B881FC1  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 09:37:13]
1251*2^468534-1 is not prime.  Res64: C80B102CBAD37903  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 09:37:21]
1271*2^468534-1 is not prime.  Res64: DE82C18A05755E7C  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 09:40:49]
1283*2^468534-1 is not prime.  Res64: 94B94E5F579FA25E  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 09:40:57]
1311*2^468534-1 is not prime.  Res64: 0E872EC8ECA30033  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 09:45:49]
1323*2^468534-1 is not prime.  Res64: 941DAB162A2B86D2  Time : 1164.0 sec.
user=mdettweiler
[2009-02-22 09:45:56]
1371*2^468534-1 is not prime.  Res64: 63BB6B778F1FD085  Time : 1164.0 sec.
user=mdettweiler
[2009-02-22 09:49:25]
1081*2^468535-1 is not prime.  Res64: E1E1B207B594E0BE  Time : 1165.0 sec.
user=mdettweiler
[2009-02-22 09:49:32]
1101*2^468535-1 is not prime.  Res64: 63BF2C96B3D73F23  Time : 1164.0 sec.
user=mdettweiler
[2009-02-22 09:51:37]
1125*2^468535-1 is not prime.  Res64: D742BEB6D756441E  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 09:51:44]
1155*2^468535-1 is not prime.  Res64: 2649D23DDE63929D  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 09:55:13]
1183*2^468535-1 is not prime.  Res64: 55D99065D80198C2  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 09:55:20]
1309*2^468535-1 is not prime.  Res64: 8BB05EE28A921D9A  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 09:58:50]
1321*2^468535-1 is not prime.  Res64: 3B0E8DAF477E2554  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 09:58:56]
1359*2^468535-1 is not prime.  Res64: C36AB11482A20321  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 10:02:25]
1067*2^468536-1 is not prime.  Res64: E0D2C7F8FF3D165C  Time : 996.0 sec.
user=mdettweiler
[2009-02-22 10:02:31]
1119*2^468536-1 is not prime.  Res64: F81F0E2540493FEF  Time : 995.0 sec.
user=mdettweiler
[2009-02-22 10:06:01]
1209*2^468536-1 is not prime.  Res64: BA2AC30BD6590450  Time : 996.0 sec.
user=mdettweiler
[2009-02-22 10:06:08]
1229*2^468536-1 is not prime.  Res64: B7BAE9018D369BB4  Time : 996.0 sec.
user=mdettweiler
[2009-02-22 10:09:37]
1233*2^468536-1 is not prime.  Res64: 1BA3CB4B23B70585  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 10:09:44]
1235*2^468536-1 is not prime.  Res64: 28663B7DDB8C4661  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 10:13:13]
1263*2^468536-1 is not prime.  Res64: 50643E4CF4453D58  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 10:13:20]
1295*2^468536-1 is not prime.  Res64: 2444BEB7BE07F09C  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 10:16:49]
1305*2^468536-1 is not prime.  Res64: D04AE01850518637  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 10:16:55]
1389*2^468536-1 is not prime.  Res64: 02B65D73B4FBCA74  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 10:20:25]
1005*2^468537-1 is not prime.  Res64: 0F239709751B98E9  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 10:20:31]
1099*2^468537-1 is not prime.  Res64: 6F8E81E3FCB01323  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 10:24:01]
1365*2^468537-1 is not prime.  Res64: 49CED42A1D7673D7  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 10:24:10]
1053*2^468538-1 is not prime.  Res64: 4C8913CD4DBF4CF7  Time : 1082.0 sec.
user=Bismarck
[2009-02-22 10:24:52]
1195*2^460229-1 is not prime.  Res64: B349FE3B1A166E40  Time : 107909.0 sec.
user=Bismarck
[2009-02-22 10:25:04]
1309*2^460229-1 is not prime.  Res64: 2E2CFEAA0DDF9E5E  Time : 107889.0 sec.
user=Bismarck
[2009-02-22 10:25:06]
1119*2^460229-1 is not prime.  Res64: 75018450EEFA2A75  Time : 107924.0 sec.
user=Bismarck
[2009-02-22 10:25:09]
1225*2^460229-1 is not prime.  Res64: 7B45F74768F58D94  Time : 107907.0 sec.
user=mdettweiler
[2009-02-22 10:27:40]
1113*2^468538-1 is not prime.  Res64: 3657B5123158EEC7  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 10:27:43]
1121*2^468538-1 is not prime.  Res64: 701D982CF36626C9  Time : 1079.0 sec.
user=Bismarck
[2009-02-22 10:28:12]
1335*2^460230-1 is not prime.  Res64: 14E7E351AD6E97DD  Time : 107907.0 sec.
user=Bismarck
[2009-02-22 10:28:25]
1119*2^460231-1 is not prime.  Res64: 57626131318408A5  Time : 107889.0 sec.
user=Bismarck
[2009-02-22 10:28:28]
1293*2^460230-1 is not prime.  Res64: D66A56CC99908594  Time : 107925.0 sec.
user=Bismarck
[2009-02-22 10:28:31]
1071*2^460231-1 is not prime.  Res64: D130A523E123368F  Time : 107906.0 sec.
user=mdettweiler
[2009-02-22 10:31:13]
1127*2^468538-1 is not prime.  Res64: 7E35DB3815B2BC71  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 10:31:19]
1167*2^468538-1 is not prime.  Res64: D80357B4A66AA8F9  Time : 1079.0 sec.
user=is prime!
[2009-02-22 10:31:37]
1111*2^468539-1 is not prime.  Res64: FB70B65AF0823FDA  Time : 406.0 sec.
user=is prime!
[2009-02-22 10:31:50]
1173*2^468539-1 is not prime.  Res64: 23D689C292263D8D  Time : 406.0 sec.
user=is prime!
[2009-02-22 10:31:52]
1195*2^468539-1 is not prime.  Res64: 64CCB477F93BB450  Time : 406.0 sec.
user=is prime!
[2009-02-22 10:31:55]
1233*2^468539-1 is not prime.  Res64: C59D2E3D76083254  Time : 406.0 sec.
user=mdettweiler
[2009-02-22 10:34:48]
1221*2^468538-1 is not prime.  Res64: F66FDDB862FD5766  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 10:34:55]
1307*2^468538-1 is not prime.  Res64: 0E04A6BEEBF0D243  Time : 1080.0 sec.
user=is prime!
[2009-02-22 10:35:02]
1369*2^468539-1 is not prime.  Res64: 281B7B78A6192801  Time : 410.0 sec.
user=is prime!
[2009-02-22 10:35:15]
1025*2^468540-1 is not prime.  Res64: 7CC78FCCADE81C3F  Time : 410.0 sec.
user=is prime!
[2009-02-22 10:35:17]
1095*2^468540-1 is not prime.  Res64: 823AC77A46476EF8  Time : 410.0 sec.
user=is prime!
[2009-02-22 10:35:20]
1127*2^468540-1 is not prime.  Res64: A02973ED780AAE35  Time : 409.0 sec.
user=mdettweiler
[2009-02-22 10:38:25]
1365*2^468538-1 is not prime.  Res64: 39F739FD2D371D6B  Time : 1080.0 sec.
user=is prime!
[2009-02-22 10:38:27]
1199*2^468540-1 is not prime.  Res64: 3080A732CB3965F3  Time : 410.0 sec.
user=mdettweiler
[2009-02-22 10:38:31]
1371*2^468538-1 is not prime.  Res64: FB100CA8753B4226  Time : 1080.0 sec.
user=is prime!
[2009-02-22 10:38:39]
1323*2^468540-1 is not prime.  Res64: 0CF35D0CDEF5C469  Time : 409.0 sec.
user=is prime!
[2009-02-22 10:38:42]
1337*2^468540-1 is not prime.  Res64: 4F29054BD609FBC2  Time : 410.0 sec.
user=is prime!
[2009-02-22 10:38:45]
1027*2^468541-1 is not prime.  Res64: B42DE629C308B9F0  Time : 410.0 sec.
user=is prime!
[2009-02-22 10:41:53]
1167*2^468541-1 is not prime.  Res64: 390DD11C3B031441  Time : 411.0 sec.
user=mdettweiler
[2009-02-22 10:42:01]
1051*2^468539-1 is not prime.  Res64: 88A175D3FDE869D2  Time : 1081.0 sec.
user=is prime!
[2009-02-22 10:42:03]
1195*2^468541-1 is not prime.  Res64: 63D899C14D728086  Time : 409.0 sec.
user=mdettweiler
[2009-02-22 10:42:06]
1105*2^468539-1 is not prime.  Res64: DCDFBA1A81A362B5  Time : 1076.0 sec.
user=is prime!
[2009-02-22 10:42:08]
1219*2^468541-1 is not prime.  Res64: 5751DF9ED9282FE2  Time : 411.0 sec.
user=is prime!
[2009-02-22 10:42:11]
1221*2^468541-1 is not prime.  Res64: 3E22984B5F585632  Time : 411.0 sec.
user=is prime!
[2009-02-22 10:45:18]
1291*2^468541-1 is not prime.  Res64: B6AC8C163E486A6C  Time : 411.0 sec.
user=is prime!
[2009-02-22 10:45:32]
1005*2^468542-1 is not prime.  Res64: B204ABDC9E52ED88  Time : 413.0 sec.
user=is prime!
[2009-02-22 10:45:34]
1023*2^468542-1 is not prime.  Res64: DFB8BCC4E84EF704  Time : 412.0 sec.
user=mdettweiler
[2009-02-22 10:45:36]
1281*2^468539-1 is not prime.  Res64: F7382444BFFA2AD8  Time : 1076.0 sec.
user=is prime!
[2009-02-22 10:45:38]
1121*2^468542-1 is not prime.  Res64: B27B117436184947  Time : 413.0 sec.
user=mdettweiler
[2009-02-22 10:45:42]
1293*2^468539-1 is not prime.  Res64: C51D6FC4309E18C4  Time : 1079.0 sec.
user=is prime!
[2009-02-22 10:48:42]
1127*2^468542-1 is not prime.  Res64: B423358E3442BE0C  Time : 409.0 sec.
user=is prime!
[2009-02-22 10:48:57]
1033*2^468543-1 is not prime.  Res64: 099DF888B927E772  Time : 414.0 sec.
user=is prime!
[2009-02-22 10:49:00]
1083*2^468543-1 is not prime.  Res64: 221EFB05DD70A323  Time : 412.0 sec.
user=is prime!
[2009-02-22 10:49:03]
1155*2^468543-1 is not prime.  Res64: 04427481EC9E274A  Time : 412.0 sec.
user=mdettweiler
[2009-02-22 10:49:12]
1139*2^468540-1 is not prime.  Res64: F7B167D3014C312A  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 10:49:18]
1157*2^468540-1 is not prime.  Res64: AD88237C1372E9F8  Time : 1080.0 sec.
user=is prime!
[2009-02-22 10:52:07]
1215*2^468543-1 is not prime.  Res64: CDF61FE59DC11231  Time : 410.0 sec.
user=is prime!
[2009-02-22 10:52:22]
1221*2^468543-1 is not prime.  Res64: 6A0F78F4EF8C2515  Time : 410.0 sec.
user=is prime!
[2009-02-22 10:52:25]
1251*2^468543-1 is not prime.  Res64: 20C2DEE4498D4D68  Time : 411.0 sec.
user=is prime!
[2009-02-22 10:52:28]
1291*2^468543-1 is not prime.  Res64: B52F28AFD48BBC25  Time : 410.0 sec.
user=mdettweiler
[2009-02-22 10:52:48]
1105*2^468541-1 is not prime.  Res64: AE68888775B04336  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 10:52:54]
1165*2^468541-1 is not prime.  Res64: DFB79C3326EEAEC7  Time : 1080.0 sec.
user=is prime!
[2009-02-22 10:55:33]
1299*2^468543-1 is not prime.  Res64: 8D681AC5E887B0DB  Time : 411.0 sec.
user=is prime!
[2009-02-22 10:55:47]
1381*2^468543-1 is not prime.  Res64: 96A28BB59405C6C5  Time : 410.0 sec.
user=is prime!
[2009-02-22 10:55:49]
1133*2^468544-1 is not prime.  Res64: 18D11BDDD539E2F1  Time : 410.0 sec.
user=is prime!
[2009-02-22 10:55:52]
1163*2^468544-1 is not prime.  Res64: E463A4E46D208FF6  Time : 409.0 sec.
user=mdettweiler
[2009-02-22 10:56:25]
1279*2^468541-1 is not prime.  Res64: EBCDBAE0E9CCD816  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 10:56:29]
1309*2^468541-1 is not prime.  Res64: 23F1BCB893289051  Time : 1079.0 sec.
user=is prime!
[2009-02-22 10:58:58]
1389*2^468544-1 is not prime.  Res64: 2D0B0C65C78AFA45  Time : 411.0 sec.
user=is prime!
[2009-02-22 10:59:11]
1047*2^468545-1 is not prime.  Res64: CA01CA0C0478239C  Time : 409.0 sec.
user=is prime!
[2009-02-22 10:59:14]
1065*2^468545-1 is not prime.  Res64: D544682C8AC667FF  Time : 410.0 sec.
user=is prime!
[2009-02-22 10:59:17]
1107*2^468545-1 is not prime.  Res64: D2432ADFC0346F26  Time : 410.0 sec.
user=mdettweiler
[2009-02-22 11:00:04]
1305*2^468542-1 is not prime.  Res64: 16C9D6130155C41C  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 11:00:06]
1053*2^468543-1 is not prime.  Res64: 4047B09ED05CCC88  Time : 1080.0 sec.
user=is prime!
[2009-02-22 11:02:23]
1177*2^468545-1 is not prime.  Res64: 03C7D34B0F390E1B  Time : 410.0 sec.
user=is prime!
[2009-02-22 11:02:36]
1189*2^468545-1 is not prime.  Res64: 95543D14B264AF3E  Time : 410.0 sec.
user=is prime!
[2009-02-22 11:02:41]
1191*2^468545-1 is not prime.  Res64: EB5B3C6A4EAFCE7D  Time : 412.0 sec.
user=is prime!
[2009-02-22 11:02:42]
1221*2^468545-1 is not prime.  Res64: 79CEEA639CA32202  Time : 410.0 sec.
user=mdettweiler
[2009-02-22 11:03:36]
1273*2^468543-1 is not prime.  Res64: 38D0F4E3B60D2A14  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 11:03:42]
1293*2^468543-1 is not prime.  Res64: D7E5D567E47737CD  Time : 1080.0 sec.
user=is prime!
[2009-02-22 11:05:48]
1351*2^468545-1 is not prime.  Res64: C2C018BD7147D3BD  Time : 410.0 sec.
user=is prime!
[2009-02-22 11:06:00]
1007*2^468546-1 is not prime.  Res64: C2C812E4EE9D3C10  Time : 409.0 sec.
user=is prime!
[2009-02-22 11:06:06]
1077*2^468546-1 is not prime.  Res64: 0142E4C43A7B9A81  Time : 412.0 sec.
user=is prime!
[2009-02-22 11:06:07]
1131*2^468546-1 is not prime.  Res64: ADE09FE76F942838  Time : 410.0 sec.
user=mdettweiler
[2009-02-22 11:07:12]
1295*2^468544-1 is not prime.  Res64: 9FD16190E2509B35  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 11:07:17]
1385*2^468544-1 is not prime.  Res64: F2AA7A62B1A44D28  Time : 1079.0 sec.
user=is prime!
[2009-02-22 11:09:12]
1181*2^468546-1 is not prime.  Res64: 28690B165F5E433F  Time : 409.0 sec.
user=is prime!
[2009-02-22 11:09:25]
1051*2^468547-1 is not prime.  Res64: BC17B2EE99EF5A9E  Time : 409.0 sec.
user=is prime!
[2009-02-22 11:09:31]
1125*2^468547-1 is not prime.  Res64: F93A93C870B579A7  Time : 410.0 sec.
user=is prime!
[2009-02-22 11:09:32]
1183*2^468547-1 is not prime.  Res64: 9540AAF612CEDE34  Time : 410.0 sec.
user=mdettweiler
[2009-02-22 11:10:48]
1141*2^468545-1 is not prime.  Res64: FEF8F47A2B8ACE3A  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 11:10:53]
1149*2^468545-1 is not prime.  Res64: 66FD2ADBBECA8F85  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 11:14:23]
1237*2^468545-1 is not prime.  Res64: F18890B0D849714E  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 11:14:29]
1261*2^468545-1 is not prime.  Res64: A35D6D23F215A3D5  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 11:18:00]
1133*2^468546-1 is not prime.  Res64: 27325035C66CEFF7  Time : 1076.0 sec.
user=mdettweiler
[2009-02-22 11:18:04]
1175*2^468546-1 is not prime.  Res64: 161D08B25CA585F3  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 11:21:36]
1191*2^468547-1 is not prime.  Res64: 6C5F7AAB05DC97D7  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 11:21:44]
1209*2^468547-1 is not prime.  Res64: FF18EB2DC5F15083  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 11:25:12]
1359*2^468547-1 is not prime.  Res64: 7173E2524D6AB681  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 11:25:16]
1109*2^468548-1 is not prime.  Res64: 0D000F11B4FCB97F  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 11:28:48]
1111*2^468549-1 is not prime.  Res64: 09A4EEC189EBDF51  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 11:28:52]
1129*2^468549-1 is not prime.  Res64: EF81AF15C91E99B0  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 11:32:23]
1131*2^468549-1 is not prime.  Res64: 26E70ECE31676FD5  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 11:32:31]
1161*2^468549-1 is not prime.  Res64: 8851D2F166F6B181  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 11:36:00]
1167*2^468549-1 is not prime.  Res64: 29C23DC83D88A1F7  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 11:36:06]
1231*2^468549-1 is not prime.  Res64: D89BDE2367E7DDF9  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 11:39:39]
1281*2^468549-1 is not prime.  Res64: EEA3AFFD44405EC9  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 11:39:40]
1389*2^470695-1 is not prime.  Res64: 86BF5C0978B402A6  Time : 1076.0 sec.
user=mdettweiler
[2009-02-22 11:50:07]
1013*2^470696-1 is not prime.  Res64: 82A44E157F33A2C8  Time : 1491.0 sec.
user=mdettweiler
[2009-02-22 11:50:07]
1107*2^470696-1 is not prime.  Res64: E073E32F41C2103E  Time : 1275.0 sec.
user=mdettweiler
[2009-02-22 11:50:32]
1245*2^470696-1 is not prime.  Res64: CDD6CA543DB24A7B  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 11:54:08]
1299*2^470696-1 is not prime.  Res64: 295923EAF407BE97  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 11:57:44]
1379*2^470696-1 is not prime.  Res64: 3F92EEA8DB4EB8F4  Time : 1084.0 sec.
user=mdettweiler
[2009-02-22 12:01:13]
1309*2^454565-1 is not prime.  Res64: 688D6F6BE2B36722  Time : 666.0 sec.
user=mdettweiler
[2009-02-22 12:04:43]
1085*2^456338-1 is not prime.  Res64: CAB3452427DA2D92  Time : 876.0 sec.
user=mdettweiler
[2009-02-22 12:08:14]
1121*2^458230-1 is not prime.  Res64: 440AB6741B79608C  Time : 1063.0 sec.
user=mdettweiler
[2009-02-22 12:11:45]
1173*2^458235-1 is not prime.  Res64: 5DDAB1DF924F9191  Time : 1057.0 sec.
user=mdettweiler
[2009-02-22 12:15:22]
1383*2^470696-1 is not prime.  Res64: 804BFD63187AEF10  Time : 1058.0 sec.
user=mdettweiler
[2009-02-22 12:18:58]
1069*2^470697-1 is not prime.  Res64: 29F045544A7D579D  Time : 1065.0 sec.
user=mdettweiler
[2009-02-22 12:22:34]
1137*2^470697-1 is not prime.  Res64: E2827C62F4ACC539  Time : 1071.0 sec.
user=mdettweiler
[2009-02-22 12:26:11]
1161*2^470697-1 is not prime.  Res64: FF1F3C21B3CE0ECC  Time : 1077.0 sec.
user=mdettweiler
[2009-02-22 12:29:47]
1215*2^470697-1 is not prime.  Res64: 2ED4D090D52A14E9  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 12:33:23]
1221*2^470697-1 is not prime.  Res64: 03043042EA33B239  Time : 1081.0 sec.
user=mdettweiler
[2009-02-22 12:37:01]
1225*2^470697-1 is not prime.  Res64: 490D79315C51488F  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 12:40:40]
1237*2^470697-1 is not prime.  Res64: B09FE03B08BD3A4B  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 12:44:13]
1255*2^470697-1 is not prime.  Res64: E73E768074FBDB3D  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 12:47:49]
1007*2^470698-1 is not prime.  Res64: 8C9FB1B13A41C819  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 12:51:27]
1017*2^470698-1 is not prime.  Res64: 1F3D2008C62E1BB6  Time : 1084.0 sec.
user=mdettweiler
[2009-02-22 12:55:03]
1085*2^470698-1 is not prime.  Res64: CD0C13F34A649BA6  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 12:58:39]
1107*2^470698-1 is not prime.  Res64: 90AB9E7C87A7FC67  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 13:02:18]
1113*2^470698-1 is not prime.  Res64: A2EFCFC4F2EB823B  Time : 1085.0 sec.
user=mdettweiler
[2009-02-22 13:05:51]
1143*2^470698-1 is not prime.  Res64: C63C152DFEF2EABC  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 13:09:29]
1223*2^470698-1 is not prime.  Res64: 11137B3801B1475C  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 13:13:05]
1361*2^470698-1 is not prime.  Res64: 24193A4AF320B70F  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 13:16:41]
1051*2^470699-1 is not prime.  Res64: 6D05CFDD886F0CCE  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 13:20:18]
1099*2^470699-1 is not prime.  Res64: 789231B5EBF33C4C  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 13:23:54]
1165*2^470699-1 is not prime.  Res64: D26F166F30B10BBC  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 13:27:31]
1293*2^470699-1 is not prime.  Res64: FABCF4E7BCFAA815  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 13:31:08]
1321*2^470699-1 is not prime.  Res64: 339772C6A80A2995  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 13:34:44]
1363*2^470699-1 is not prime.  Res64: BC16B0BA2B912927  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 13:38:20]
1113*2^470700-1 is not prime.  Res64: F68DC8D9CEB2F3BB  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 13:41:57]
1193*2^470700-1 is not prime.  Res64: EAD492894988AA92  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 13:45:33]
1253*2^470700-1 is not prime.  Res64: C7E5D1650ED95F06  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 13:49:10]
1287*2^470700-1 is not prime.  Res64: B249354F43CE8C85  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 13:52:47]
1035*2^470701-1 is not prime.  Res64: 07C8AC50622DFEDF  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 13:56:26]
1135*2^470701-1 is not prime.  Res64: 6750066D9CCCB257  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 14:00:00]
1137*2^470701-1 is not prime.  Res64: 64EEE436A4A6C9D5  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 14:03:36]
1297*2^470701-1 is not prime.  Res64: 42C23ED314EE0426  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 14:07:12]
1023*2^470702-1 is not prime.  Res64: 90E3A48F76C02BC4  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 14:10:49]
1061*2^470702-1 is not prime.  Res64: 7901490FF640EBF0  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 14:14:25]
1181*2^470702-1 is not prime.  Res64: D9A30D196418084B  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 14:18:02]
1293*2^470702-1 is not prime.  Res64: 7E6AEEB82BFEC10E  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 14:21:38]
1365*2^470702-1 is not prime.  Res64: AD78C8346666C069  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 14:26:13]
1015*2^470703-1 is not prime.  Res64: 23EFECAEE2951290  Time : 1141.0 sec.
user=mdettweiler
[2009-02-22 14:28:52]
1155*2^470703-1 is not prime.  Res64: 8B77BED62BB89C8C  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 14:32:28]
1315*2^470703-1 is not prime.  Res64: 51A9AB0B5F02891B  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 14:36:05]
1333*2^470703-1 is not prime.  Res64: 57BE6E89A71C411E  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 14:39:41]
1077*2^470704-1 is not prime.  Res64: 3248E853F3AB5ECF  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 14:43:17]
1133*2^470704-1 is not prime.  Res64: B822726C3CB48A24  Time : 948.0 sec.
user=mdettweiler
[2009-02-22 14:46:54]
1139*2^470704-1 is not prime.  Res64: 26173271EB616828  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 14:50:30]
1217*2^470704-1 is not prime.  Res64: BD077BD12CB22C7A  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 14:54:07]
1239*2^470704-1 is not prime.  Res64: 2A4A3E555BC24260  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 14:57:44]
1305*2^470704-1 is not prime.  Res64: 2AADA1FD278643D5  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 15:01:20]
1319*2^470704-1 is not prime.  Res64: 269AEC230FBC72E5  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 15:04:57]
1359*2^470704-1 is not prime.  Res64: 72B90EBB40EA0EBF  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 15:08:34]
1385*2^470704-1 is not prime.  Res64: 8E2D2635D688327E  Time : 1084.0 sec.
user=mdettweiler
[2009-02-22 15:12:10]
1039*2^470705-1 is not prime.  Res64: 7D06CD3D58E17D4A  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 15:15:46]
1057*2^470705-1 is not prime.  Res64: BF926DDF9304ED1A  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 15:19:23]
1069*2^470705-1 is not prime.  Res64: 035CA0225A11EBE4  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 15:23:00]
1089*2^470705-1 is not prime.  Res64: 6D4A23AF20C58E90  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 15:26:36]
1149*2^470705-1 is not prime.  Res64: 990BF5AA3EBE13A9  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 15:30:12]
1161*2^470705-1 is not prime.  Res64: 93739FEB356025BF  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 15:33:50]
1249*2^470705-1 is not prime.  Res64: AD7AC62DFBDAF3B6  Time : 1084.0 sec.
user=mdettweiler
[2009-02-22 15:37:25]
1287*2^470705-1 is not prime.  Res64: A746EC580415BF9B  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 15:40:59]
1169*2^464144-1 is not prime.  Res64: 46274EA393E1B2AF  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 15:44:35]
1305*2^470705-1 is not prime.  Res64: 253579218FA76379  Time : 1079.0 sec.
user=mdettweiler
[2009-02-22 15:48:15]
1351*2^470705-1 is not prime.  Res64: 01B977FFA41F174B  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 15:51:49]
1011*2^470706-1 is not prime.  Res64: 39528AB6C2EBFE1E  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 15:55:25]
1035*2^470706-1 is not prime.  Res64: BB5582F0317A8C97  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 15:59:01]
1095*2^470706-1 is not prime.  Res64: 637695C4BEA2901E  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 16:02:37]
1125*2^470706-1 is not prime.  Res64: 94AADBBBDD34DF3F  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 16:06:14]
1161*2^470706-1 is not prime.  Res64: DAECAB1D97D5270C  Time : 1080.0 sec.
user=mdettweiler
[2009-02-22 16:09:51]
1241*2^470706-1 is not prime.  Res64: 3B8D55149F08D65B  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 16:13:27]
1307*2^470706-1 is not prime.  Res64: CA0D4265DFCD49B8  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 16:17:03]
1313*2^470706-1 is not prime.  Res64: 847AED4FC175F339  Time : 1082.0 sec.
user=mdettweiler
[2009-02-22 16:20:40]
1385*2^470706-1 is not prime.  Res64: C3C102FF3001D4AA  Time : 1083.0 sec.
user=mdettweiler
[2009-02-22 16:23:37]
1187*2^466358-1 is not prime.  Res64: FDBD0C02AA30B0F3  Time : 63550.0 sec.
user=mdettweiler
[2009-02-22 16:23:37]
1119*2^466359-1 is not prime.  Res64: 682C273DCF01E545  Time : 63426.0 sec.
user=mdettweiler
[2009-02-22 16:23:42]
1129*2^466357-1 is not prime.  Res64: 15866D84D8C3E869  Time : 63945.0 sec.
user=mdettweiler
[2009-02-22 16:23:42]
1055*2^466358-1 is not prime.  Res64: 09AE294AB8862B3A  Time : 63556.0 sec.
user=mdettweiler
[2009-02-22 16:23:42]
1301*2^466358-1 is not prime.  Res64: D8B8337927560FF3  Time : 63513.0 sec.
user=mdettweiler
[2009-02-22 16:23:42]
1215*2^466359-1 is not prime.  Res64: 39DF425DBB2197A4  Time : 63296.0 sec.
user=mdettweiler
[2009-02-22 16:23:43]
1007*2^470696-1 is not prime.  Res64: 3C86D815C5D8FAAA  Time : 17911.0 sec.
user=mdettweiler
[2009-02-22 16:23:43]
1029*2^470696-1 is not prime.  Res64: B25F31BAA8A33B99  Time : 17695.0 sec.
user=mdettweiler
[2009-02-22 16:25:11]
1015*2^470707-1 is not prime.  Res64: 1E76B9A78F3D8E39  Time : 1137.0 sec.
user=mdettweiler
[2009-02-22 16:27:30]
1369*2^466359-1 is not prime.  Res64: 3467CF24D910A963  Time : 63443.0 sec.
user=mdettweiler
[2009-02-22 16:27:36]
1029*2^466360-1 is not prime.  Res64: FE76A2CCB42995CA  Time : 63315.0 sec.
user=mdettweiler
[2009-02-22 16:27:37]
1169*2^470696-1 is not prime.  Res64: 0796C3F30030C1CB  Time : 17714.0 sec.
user=mdettweiler
[2009-02-22 16:28:49]
1101*2^470707-1 is not prime.  Res64: E1AB4EE01B7380BF  Time : 1138.0 sec.
user=mdettweiler
[2009-02-22 16:31:05]
1139*2^466360-1 is not prime.  Res64: 735183975C8CED0C  Time : 63437.0 sec.
user=mdettweiler
[2009-02-22 16:31:14]
1127*2^470708-1 is not prime.  Res64: A5103D48722B7DC0  Time : 454.0 sec.
user=mdettweiler
[2009-02-22 16:31:16]
1247*2^470696-1 is not prime.  Res64: CD0CE205E66E7739  Time : 17717.0 sec.
user=mdettweiler
[2009-02-22 16:32:28]
1195*2^470707-1 is not prime.  Res64: 60662941754577B7  Time : 1141.0 sec.
user=mdettweiler
[2009-02-22 16:34:44]
1291*2^470707-1 is not prime.  Res64: 31D6E49E1CB4A887  Time : 668.0 sec.
user=mdettweiler
[2009-02-22 16:34:56]
1145*2^470708-1 is not prime.  Res64: 299C8A5C16F365B5  Time : 675.0 sec.
user=mdettweiler
[2009-02-22 16:34:57]
1317*2^470696-1 is not prime.  Res64: F61F4A48C7B9DE2E  Time : 17718.0 sec.
user=mdettweiler
[2009-02-22 16:36:07]
1261*2^470707-1 is not prime.  Res64: B0DD298D45D08BDE  Time : 1144.0 sec.
user=mdettweiler
[2009-02-22 16:38:21]
1329*2^470707-1 is not prime.  Res64: 1D21CF44668D5D01  Time : 885.0 sec.
user=mdettweiler
[2009-02-22 16:38:32]
1287*2^470708-1 is not prime.  Res64: 4D487BC5908B8743  Time : 891.0 sec.
user=mdettweiler
[2009-02-22 16:38:35]
1253*2^470708-1 is not prime.  Res64: B065A0AC68BAC289  Time : 894.0 sec.
user=mdettweiler
[2009-02-22 16:39:45]
1275*2^470707-1 is not prime.  Res64: 563B1A7EE044724C  Time : 1145.0 sec.
user=mdettweiler
[2009-02-22 16:42:15]
1029*2^470708-1 is not prime.  Res64: F7DF99C07D61B16A  Time : 1119.0 sec.
user=mdettweiler
[2009-02-22 16:43:47]
1195*2^470709-1 is not prime.  Res64: 0E500FFFB1E70046  Time : 1117.0 sec.
user=mdettweiler
[2009-02-22 16:45:45]
1197*2^470709-1 is not prime.  Res64: C8F0447EF92DEC4B  Time : 1095.0 sec.
user=mdettweiler
[2009-02-22 16:45:56]
1279*2^470709-1 is not prime.  Res64: 71CC7F372CA92369  Time : 1099.0 sec.
user=mdettweiler
[2009-02-22 16:45:57]
1231*2^470709-1 is not prime.  Res64: 1F43D26F5923FE2B  Time : 1101.0 sec.
user=mdettweiler
[2009-02-22 16:47:11]
1297*2^470709-1 is not prime.  Res64: 31CE58035B5DB81B  Time : 1102.0 sec.
user=mdettweiler
[2009-02-22 16:49:27]
1339*2^470709-1 is not prime.  Res64: 523157BEC637EC8F  Time : 1102.0 sec.
user=mdettweiler
[2009-02-22 16:49:39]
1369*2^470709-1 is not prime.  Res64: 7E0CD31561014466  Time : 1105.0 sec.
user=mdettweiler
[2009-02-22 16:49:40]
1381*2^470709-1 is not prime.  Res64: 802EF5E33D08D8DD  Time : 1104.0 sec.
user=mdettweiler
[2009-02-22 16:50:56]
1053*2^470710-1 is not prime.  Res64: A4BF87982863BFBC  Time : 1109.0 sec.
user=mdettweiler
[2009-02-22 16:53:16]
1077*2^470710-1 is not prime.  Res64: 0595EB73864E9031  Time : 1113.0 sec.
user=mdettweiler
[2009-02-22 16:53:22]
1091*2^470710-1 is not prime.  Res64: B4E5B200CA47E0C4  Time : 1106.0 sec.
user=mdettweiler
[2009-02-22 16:53:28]
1125*2^470710-1 is not prime.  Res64: 547F2444403E8934  Time : 1111.0 sec.
user=mdettweiler
[2009-02-22 16:54:41]
1155*2^470710-1 is not prime.  Res64: 743A211EEA7D0305  Time : 1115.0 sec.
user=mdettweiler
[2009-02-22 16:56:59]
1307*2^470710-1 is not prime.  Res64: 59BF284A3E511F5D  Time : 1104.0 sec.
user=mdettweiler
[2009-02-22 16:57:07]
1193*2^470710-1 is not prime.  Res64: 5549477BAAE82E02  Time : 1126.0 sec.
user=mdettweiler
[2009-02-22 16:57:13]
1197*2^470710-1 is not prime.  Res64: 699F4903640C6690  Time : 1121.0 sec.
user=mdettweiler
[2009-02-22 16:59:06]
1011*2^470711-1 is not prime.  Res64: 9FC2E9D07EBC14B1  Time : 1161.0 sec.
user=mdettweiler
[2009-02-22 17:00:40]
1033*2^470711-1 is not prime.  Res64: 968B3248A6ACAE9C  Time : 959.0 sec.
user=mdettweiler
[2009-02-22 17:00:47]
1023*2^470711-1 is not prime.  Res64: AAB845A139FAB7BD  Time : 1112.0 sec.
user=mdettweiler
[2009-02-22 17:00:55]
1053*2^470711-1 is not prime.  Res64: 62B05CD9345D2903  Time : 953.0 sec.
user=mdettweiler
[2009-02-22 17:02:46]
1155*2^470711-1 is not prime.  Res64: 20C3CC3D1A8010F2  Time : 1063.0 sec.
user=mdettweiler
[2009-02-22 17:04:21]
1219*2^470711-1 is not prime.  Res64: A061D9D4DB4E90F1  Time : 1105.0 sec.
user=mdettweiler
[2009-02-22 17:04:27]
1201*2^470711-1 is not prime.  Res64: 236CD3CF002781F2  Time : 1123.0 sec.
user=mdettweiler
[2009-02-22 17:04:35]
1261*2^470711-1 is not prime.  Res64: 3167E1F294ABB4D7  Time : 1118.0 sec.
user=mdettweiler
[2009-02-22 17:06:28]
1285*2^470711-1 is not prime.  Res64: BC5871CE541F7AA6  Time : 1157.0 sec.
user=mdettweiler
[2009-02-22 17:08:04]
1371*2^470711-1 is not prime.  Res64: 97C4E507A63E254B  Time : 1104.0 sec.
user=mdettweiler
[2009-02-22 17:08:09]
1335*2^470711-1 is not prime.  Res64: 1599619366A7A1F9  Time : 1122.0 sec.
user=mdettweiler
[2009-02-22 17:08:16]
1351*2^470711-1 is not prime.  Res64: A7B5B829EC4FAF9E  Time : 1117.0 sec.
user=mdettweiler
[2009-02-22 17:10:13]
1017*2^470712-1 is not prime.  Res64: 510C32CB8B3E1566  Time : 1157.0 sec.
user=mdettweiler
[2009-02-22 17:11:43]
1143*2^470712-1 is not prime.  Res64: 5FE8045F5B041FAC  Time : 1096.0 sec.
user=mdettweiler
[2009-02-22 17:11:47]
1043*2^470712-1 is not prime.  Res64: 3F292E9DF9FD87F8  Time : 1111.0 sec.
user=mdettweiler
[2009-02-22 17:11:59]
1127*2^470712-1 is not prime.  Res64: 4492889134D15FD7  Time : 1117.0 sec.
user=mdettweiler
[2009-02-22 17:13:53]
1179*2^470712-1 is not prime.  Res64: E0F9D5FD50C71403  Time : 1153.0 sec.
user=mdettweiler
[2009-02-22 17:15:23]
1187*2^470712-1 is not prime.  Res64: 313048B698954DAE  Time : 1104.0 sec.
user=mdettweiler
[2009-02-22 17:15:28]
1227*2^470712-1 is not prime.  Res64: 167E3159D7D0EDAB  Time : 1101.0 sec.
user=mdettweiler
[2009-02-22 17:15:38]
1253*2^470712-1 is not prime.  Res64: 0DFE3B145ED37692  Time : 1105.0 sec.
user=mdettweiler
[2009-02-22 17:17:32]
1263*2^470712-1 is not prime.  Res64: 35AF3F413799E137  Time : 1107.0 sec.
user=mdettweiler
[2009-02-22 17:19:01]
1287*2^470712-1 is not prime.  Res64: FF36190CDE9D857E  Time : 1101.0 sec.
user=mdettweiler
[2009-02-22 17:19:06]
1295*2^470712-1 is not prime.  Res64: E7A1143B2064A9E8  Time : 1099.0 sec.
user=mdettweiler
[2009-02-22 17:19:18]
1313*2^470712-1 is not prime.  Res64: 32AACB27E68C1149  Time : 1104.0 sec.
user=mdettweiler
[2009-02-22 17:21:10]
1045*2^470713-1 is not prime.  Res64: D46CC649AD07F732  Time : 1104.0 sec.
user=mdettweiler
[2009-02-22 17:22:38]
1135*2^470713-1 is not prime.  Res64: 729166A8B37DBDCA  Time : 1097.0 sec.
user=mdettweiler
[2009-02-22 17:22:44]
1197*2^470713-1 is not prime.  Res64: 328C6B2D6B8DFDE1  Time : 1097.0 sec.
user=mdettweiler
[2009-02-22 17:22:56]
1221*2^470713-1 is not prime.  Res64: 8989BC1398CBE45C  Time : 1102.0 sec.
user=mdettweiler
[2009-02-22 17:24:48]
1351*2^470713-1 is not prime.  Res64: 405E73D4F116FB74  Time : 1100.0 sec.
user=mdettweiler
[2009-02-22 17:26:16]
1389*2^470713-1 is not prime.  Res64: B73D16EE771AF336  Time : 1093.0 sec.
user=mdettweiler
[2009-02-22 17:26:23]
1163*2^470714-1 is not prime.  Res64: B13A263803EA2D1F  Time : 1094.0 sec.
user=mdettweiler
[2009-02-22 17:26:35]
1295*2^470714-1 is not prime.  Res64: 4A9F8146A25A7802  Time : 1099.0 sec.
user=mdettweiler
[2009-02-22 17:28:26]
1041*2^470715-1 is not prime.  Res64: 90E2FB67400A990E  Time : 1094.0 sec.
user=mdettweiler
[2009-02-22 17:29:54]
1083*2^470715-1 is not prime.  Res64: 88CE23AA914F2EE8  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 17:30:03]
1125*2^470715-1 is not prime.  Res64: DF2EDB161D569D88  Time : 1096.0 sec.
user=mdettweiler
[2009-02-22 17:30:14]
1155*2^470715-1 is not prime.  Res64: 5DDACCC726DB268B  Time : 1095.0 sec.
user=mdettweiler
[2009-02-22 17:32:03]
1161*2^470715-1 is not prime.  Res64: BBD199D9A9DB012E  Time : 1090.0 sec.
user=mdettweiler
[2009-02-22 17:33:32]
1255*2^470715-1 is not prime.  Res64: 978B31CDFB10A95F  Time : 1089.0 sec.
user=mdettweiler
[2009-02-22 17:33:41]
1329*2^470715-1 is not prime.  Res64: 8B0A84A6A46CC3FC  Time : 1093.0 sec.
user=mdettweiler
[2009-02-22 17:33:52]
1393*2^470715-1 is not prime.  Res64: D677ACA9F846229A  Time : 1094.0 sec.
user=mdettweiler
[2009-02-22 17:35:41]
1029*2^470716-1 is not prime.  Res64: 160F06F04C381F84  Time : 1089.0 sec.
user=mdettweiler
[2009-02-22 17:37:10]
1059*2^470716-1 is not prime.  Res64: A09FE050CD1E4261  Time : 1089.0 sec.
user=mdettweiler
[2009-02-22 17:37:20]
1097*2^470716-1 is not prime.  Res64: 4E1A318BBEC67859  Time : 1095.0 sec.
user=mdettweiler
[2009-02-22 17:37:31]
1169*2^470716-1 is not prime.  Res64: 4974BC28A3D9FACF  Time : 1093.0 sec.
user=mdettweiler
[2009-02-22 17:39:21]
1247*2^470716-1 is not prime.  Res64: CB5A68E68E385430  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 17:40:49]
1269*2^470716-1 is not prime.  Res64: F933112C0C31B1A5  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 17:40:57]
1293*2^470716-1 is not prime.  Res64: 00B6C162D6197B2F  Time : 1093.0 sec.
user=mdettweiler
[2009-02-22 17:41:10]
1105*2^470717-1 is not prime.  Res64: 2C739F13EC8EF6B9  Time : 1094.0 sec.
user=mdettweiler
[2009-02-22 17:43:00]
1117*2^470717-1 is not prime.  Res64: 213DD58094C66651  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 17:44:28]
1137*2^470717-1 is not prime.  Res64: 7578722F61EF4B40  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 17:44:35]
1231*2^470717-1 is not prime.  Res64: F997B69E1314BCA9  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 17:44:47]
1369*2^470717-1 is not prime.  Res64: 5F6CAAF6F09B3F9F  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 17:46:39]
1387*2^470717-1 is not prime.  Res64: 0421E461F65D6B80  Time : 1094.0 sec.
user=mdettweiler
[2009-02-22 17:48:05]
1031*2^470718-1 is not prime.  Res64: 1835B566D6B66572  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 17:48:14]
1047*2^470718-1 is not prime.  Res64: BBB4885B298C1A49  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 17:48:26]
1073*2^470718-1 is not prime.  Res64: B41B2AC262796177  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 18:00:46]
1129*2^470719-1 is not prime.  Res64: 00981B1455CED0AB  Time : 1395.0 sec.
user=mdettweiler
[2009-02-22 18:00:55]
1097*2^470718-1 is not prime.  Res64: 9EE5469DEED25F91  Time : 1643.0 sec.
user=mdettweiler
[2009-02-22 18:00:56]
1265*2^470718-1 is not prime.  Res64: 506E7017E8090E8B  Time : 1426.0 sec.
user=mdettweiler
[2009-02-22 18:01:23]
1131*2^470718-1 is not prime.  Res64: 5B0B41293B9106D1  Time : 1662.0 sec.
user=mdettweiler
[2009-02-22 18:01:25]
1383*2^470718-1 is not prime.  Res64: 073A7DAE94D8B820  Time : 1445.0 sec.
user=mdettweiler
[2009-02-22 18:03:07]
1231*2^470719-1 is not prime.  Res64: BDAEC0CF8F79D722  Time : 1318.0 sec.
user=IronBits
[2009-02-22 18:04:28]
1341*2^470721-1 is not prime.  Res64: 1F245A41ED50BBB8  Time : 256.0 sec.
user=IronBits
[2009-02-22 18:04:30]
1201*2^470721-1 is not prime.  Res64: ED82FA4D8F60F2F3  Time : 258.0 sec.
user=mdettweiler
[2009-02-22 18:04:33]
1195*2^470719-1 is not prime.  Res64: 5826066A1D269941  Time : 1424.0 sec.
user=IronBits
[2009-02-22 18:04:33]
1141*2^470721-1 is not prime.  Res64: 2BA0263EA2E01438  Time : 261.0 sec.
user=mdettweiler
[2009-02-22 18:05:01]
1203*2^470719-1 is not prime.  Res64: 9C8D098087CAFEE4  Time : 1444.0 sec.
user=mdettweiler
[2009-02-22 18:06:35]
1133*2^470720-1 is not prime.  Res64: 4D22C2865A4B9ECD  Time : 1308.0 sec.
user=mdettweiler
[2009-02-22 18:08:11]
1065*2^470720-1 is not prime.  Res64: F88F5E78208D8405  Time : 1423.0 sec.
user=mdettweiler
[2009-02-22 18:08:39]
1097*2^470720-1 is not prime.  Res64: F29219EA9C927080  Time : 1444.0 sec.
user=IronBits
[2009-02-22 18:09:03]
1107*2^470722-1 is not prime.  Res64: 7DB91299BEFEE1C7  Time : 275.0 sec.
user=IronBits
[2009-02-22 18:09:09]
1133*2^470722-1 is not prime.  Res64: 5F1A1B966FE61EBE  Time : 276.0 sec.
user=IronBits
[2009-02-22 18:09:14]
1115*2^470722-1 is not prime.  Res64: F4217C2B4D624FBC  Time : 284.0 sec.
user=mdettweiler
[2009-02-22 18:10:13]
1385*2^470720-1 is not prime.  Res64: 5F164F0FBF61164D  Time : 1307.0 sec.
user=mdettweiler
[2009-02-22 18:11:47]
1257*2^470720-1 is not prime.  Res64: 52CA5B0068FB0C2E  Time : 1422.0 sec.
user=mdettweiler
[2009-02-22 18:12:16]
1349*2^470720-1 is not prime.  Res64: C0983A84ED4D5E94  Time : 1442.0 sec.
user=mdettweiler
[2009-02-22 18:13:49]
1081*2^470721-1 is not prime.  Res64: C344A70E4A5B7625  Time : 869.0 sec.
user=IronBits
[2009-02-22 18:14:20]
1335*2^470722-1 is not prime.  Res64: 68F8AA869674C1A8  Time : 317.0 sec.
user=IronBits
[2009-02-22 18:14:24]
1005*2^470723-1 is not prime.  Res64: F016E7346C0A0BB4  Time : 315.0 sec.
user=IronBits
[2009-02-22 18:14:26]
1021*2^470723-1 is not prime.  Res64: C825EEBF9957FF9A  Time : 312.0 sec.
user=mdettweiler
[2009-02-22 18:15:25]
1047*2^470721-1 is not prime.  Res64: D7E1D6E4B124BEDE  Time : 870.0 sec.
user=mdettweiler
[2009-02-22 18:15:53]
1105*2^470721-1 is not prime.  Res64: 65FE776762E1D9C0  Time : 870.0 sec.
user=mdettweiler
[2009-02-22 18:17:27]
1365*2^470721-1 is not prime.  Res64: 733BCF728CF23007  Time : 1001.0 sec.
user=IronBits
[2009-02-22 18:18:52]
1055*2^470724-1 is not prime.  Res64: 7A8D29AF6E8A06EF  Time : 272.0 sec.
user=IronBits
[2009-02-22 18:19:00]
1319*2^470724-1 is not prime.  Res64: 9C4BFA38EB68D686  Time : 274.0 sec.
user=IronBits
[2009-02-22 18:19:01]
1097*2^470724-1 is not prime.  Res64: 6FA16C87AE00AB11  Time : 277.0 sec.
user=mdettweiler
[2009-02-22 18:19:03]
1377*2^470721-1 is not prime.  Res64: D9434CE886A66485  Time : 1087.0 sec.
user=mdettweiler
[2009-02-22 18:19:30]
1041*2^470722-1 is not prime.  Res64: 815CB7F8E7EA6FD3  Time : 1085.0 sec.
user=mdettweiler
[2009-02-22 18:21:04]
1071*2^470722-1 is not prime.  Res64: 7F811E1D7C8CA959  Time : 1077.0 sec.
user=mdettweiler
[2009-02-22 18:22:39]
1121*2^470722-1 is not prime.  Res64: AFBDBF554CC638C8  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 18:23:08]
1151*2^470722-1 is not prime.  Res64: 33BA4DFC89CA758E  Time : 1087.0 sec.
user=IronBits
[2009-02-22 18:23:10]
1383*2^470724-1 is not prime.  Res64: B45C96A0BB989081  Time : 258.0 sec.
user=IronBits
[2009-02-22 18:23:16]
1027*2^470725-1 is not prime.  Res64: 7C8791CF162E66D7  Time : 256.0 sec.
user=IronBits
[2009-02-22 18:23:16]
1051*2^470725-1 is not prime.  Res64: C4DF9C3B2D3F6A70  Time : 255.0 sec.
user=mdettweiler
[2009-02-22 18:24:41]
1193*2^470722-1 is not prime.  Res64: 93CA77A918D30065  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 18:26:17]
1211*2^470722-1 is not prime.  Res64: 66678C406544E3CC  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 18:26:44]
1277*2^470722-1 is not prime.  Res64: B375C4F10B299DBF  Time : 1085.0 sec.
user=IronBits
[2009-02-22 18:27:25]
1279*2^470725-1 is not prime.  Res64: CA4B249617D8CF09  Time : 255.0 sec.
user=IronBits
[2009-02-22 18:27:32]
1357*2^470725-1 is not prime.  Res64: 44708DE10BB910C3  Time : 256.0 sec.
user=IronBits
[2009-02-22 18:27:33]
1387*2^470725-1 is not prime.  Res64: 2C2075AD596512F8  Time : 257.0 sec.
user=mdettweiler
[2009-02-22 18:28:18]
1033*2^470723-1 is not prime.  Res64: 67F377058007842E  Time : 1085.0 sec.
user=mdettweiler
[2009-02-22 18:29:55]
1165*2^470723-1 is not prime.  Res64: 601F40392C726747  Time : 1088.0 sec.
user=mdettweiler
[2009-02-22 18:30:22]
1189*2^470723-1 is not prime.  Res64: E3D4524D955B83DF  Time : 1086.0 sec.
user=IronBits
[2009-02-22 18:31:41]
1085*2^470726-1 is not prime.  Res64: 8AF17CF663240F5E  Time : 256.0 sec.
user=IronBits
[2009-02-22 18:31:47]
1257*2^470726-1 is not prime.  Res64: A8CEF41B7133D9EE  Time : 255.0 sec.
user=IronBits
[2009-02-22 18:31:48]
1293*2^470726-1 is not prime.  Res64: 76AEBA16288E49E7  Time : 255.0 sec.
user=mdettweiler
[2009-02-22 18:31:56]
1209*2^470723-1 is not prime.  Res64: 3D6B8469DB536964  Time : 1087.0 sec.
user=mdettweiler
[2009-02-22 18:33:31]
1337*2^470724-1 is not prime.  Res64: 6D14034C0F7B9D19  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 18:34:00]
1045*2^470721-1 is not prime.  Res64: 8D2C16AD26244602  Time : 1087.0 sec.
user=mdettweiler
[2009-02-22 18:35:33]
1365*2^470724-1 is not prime.  Res64: FC6CBAF0F01FD39F  Time : 1086.0 sec.
user=IronBits
[2009-02-22 18:36:12]
1021*2^470727-1 is not prime.  Res64: B8AB54065A7330B8  Time : 271.0 sec.
user=IronBits
[2009-02-22 18:36:18]
1153*2^470727-1 is not prime.  Res64: 8A32870A3F268ED4  Time : 270.0 sec.
user=IronBits
[2009-02-22 18:36:18]
1095*2^470727-1 is not prime.  Res64: 8C6339EB5D45E743  Time : 271.0 sec.
user=mdettweiler
[2009-02-22 18:37:09]
1069*2^470725-1 is not prime.  Res64: 412E230BD6D24D63  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 18:37:37]
1137*2^470725-1 is not prime.  Res64: ACF663BEB29F981F  Time : 1087.0 sec.
user=mdettweiler
[2009-02-22 18:39:10]
1185*2^470725-1 is not prime.  Res64: 95B61BDE44E7B902  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 18:40:46]
1221*2^470725-1 is not prime.  Res64: 7E27EF3520A02315  Time : 1087.0 sec.
user=IronBits
[2009-02-22 18:41:13]
1025*2^470728-1 is not prime.  Res64: 4424AEC211296FA0  Time : 301.0 sec.
user=mdettweiler
[2009-02-22 18:41:13]
1227*2^470725-1 is not prime.  Res64: 7ED85461FCD9CA83  Time : 1085.0 sec.
user=IronBits
[2009-02-22 18:41:20]
1029*2^470728-1 is not prime.  Res64: A37729DE837187B2  Time : 302.0 sec.
user=IronBits
[2009-02-22 18:41:29]
1143*2^470728-1 is not prime.  Res64: 95AC950A6C879F41  Time : 311.0 sec.
user=mdettweiler
[2009-02-22 18:42:47]
1013*2^470726-1 is not prime.  Res64: 76736711ED3999CA  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 18:44:23]
1025*2^470726-1 is not prime.  Res64: 06F22C39179057AD  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 18:44:51]
1077*2^470726-1 is not prime.  Res64: 214360A5DBB1FD34  Time : 1087.0 sec.
user=IronBits
[2009-02-22 18:46:06]
1295*2^470728-1 is not prime.  Res64: 6AAD42E6EE365AA3  Time : 293.0 sec.
user=IronBits
[2009-02-22 18:46:17]
1071*2^470729-1 is not prime.  Res64: B7DD28DC04DF6D28  Time : 297.0 sec.
user=mdettweiler
[2009-02-22 18:46:24]
1295*2^470726-1 is not prime.  Res64: 254BCD32524B4E15  Time : 1086.0 sec.
user=IronBits
[2009-02-22 18:46:31]
1075*2^470729-1 is not prime.  Res64: 29600A9033EEC84F  Time : 302.0 sec.
user=mdettweiler
[2009-02-22 18:48:00]
1377*2^470726-1 is not prime.  Res64: DB84F2E28AD89924  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 18:48:28]
1011*2^470727-1 is not prime.  Res64: CA4D115AA7EFF78B  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 18:50:01]
1183*2^470727-1 is not prime.  Res64: 44AE1A6B127ABCE0  Time : 1085.0 sec.
user=IronBits
[2009-02-22 18:50:31]
1177*2^470729-1 is not prime.  Res64: E7B9A23B2225C50C  Time : 265.0 sec.
user=IronBits
[2009-02-22 18:50:40]
1191*2^470729-1 is not prime.  Res64: E9AA998B697FA60A  Time : 263.0 sec.
user=IronBits
[2009-02-22 18:50:49]
1315*2^470729-1 is not prime.  Res64: CE4C5C71A712969C  Time : 258.0 sec.
user=mdettweiler
[2009-02-22 18:51:37]
1269*2^470727-1 is not prime.  Res64: 480DB2115C2A7C05  Time : 1087.0 sec.
user=mdettweiler
[2009-02-22 18:52:05]
1293*2^470727-1 is not prime.  Res64: 18FBF25D4E6DB661  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 18:53:39]
1321*2^470727-1 is not prime.  Res64: 4353EDF4E3AFDCC4  Time : 1086.0 sec.
user=IronBits
[2009-02-22 18:54:48]
1181*2^470730-1 is not prime.  Res64: 5F22766AF0BCB9EF  Time : 257.0 sec.
user=IronBits
[2009-02-22 18:54:56]
1193*2^470730-1 is not prime.  Res64: 4B4DE5305D5294FB  Time : 256.0 sec.
user=IronBits
[2009-02-22 18:55:05]
1217*2^470730-1 is not prime.  Res64: 8FDAC8F9BC5D7DEF  Time : 256.0 sec.
user=mdettweiler
[2009-02-22 18:55:14]
1163*2^470728-1 is not prime.  Res64: DFE2DE2BC95684FA  Time : 1085.0 sec.
user=mdettweiler
[2009-02-22 18:55:42]
1169*2^470728-1 is not prime.  Res64: 044D1E8FA2329257  Time : 1085.0 sec.
user=mdettweiler
[2009-02-22 18:57:16]
1227*2^470728-1 is not prime.  Res64: 016A33222CFC7D0C  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 18:58:52]
1289*2^470728-1 is not prime.  Res64: 68CDA2245154CD7E  Time : 1087.0 sec.
user=IronBits
[2009-02-22 18:59:04]
1371*2^470730-1 is not prime.  Res64: 923A8CAE2B14C428  Time : 256.0 sec.
user=IronBits
[2009-02-22 18:59:12]
1383*2^470730-1 is not prime.  Res64: E7315EACDA2CA715  Time : 256.0 sec.
user=mdettweiler
[2009-02-22 18:59:19]
1305*2^470728-1 is not prime.  Res64: D207352F50BEB8AB  Time : 1086.0 sec.
user=IronBits
[2009-02-22 18:59:20]
1011*2^470731-1 is not prime.  Res64: C49FBFF383D610CA  Time : 255.0 sec.
user=mdettweiler
[2009-02-22 19:00:53]
1081*2^470729-1 is not prime.  Res64: 76AFD9E8C5C46BEC  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 19:02:29]
1099*2^470729-1 is not prime.  Res64: 978F7F62039D6688  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 19:02:57]
1167*2^470729-1 is not prime.  Res64: 575ADBF5C719EED7  Time : 1086.0 sec.
user=IronBits
[2009-02-22 19:03:20]
1263*2^470731-1 is not prime.  Res64: 664256896C483497  Time : 256.0 sec.
user=IronBits
[2009-02-22 19:03:28]
1079*2^470732-1 is not prime.  Res64: 7CFB3E26DABECC65  Time : 256.0 sec.
user=IronBits
[2009-02-22 19:03:38]
1149*2^470732-1 is not prime.  Res64: 2C6A0D2BA70B9422  Time : 258.0 sec.
user=mdettweiler
[2009-02-22 19:04:30]
1305*2^470729-1 is not prime.  Res64: 98578B1F3A9D8B6A  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 19:06:06]
1365*2^470729-1 is not prime.  Res64: B607FF01ACCF571C  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 19:06:33]
1007*2^470730-1 is not prime.  Res64: 349311ADFE91A81B  Time : 1085.0 sec.
user=IronBits
[2009-02-22 19:07:44]
1059*2^470733-1 is not prime.  Res64: 5B3C934D89040FE7  Time : 264.0 sec.
user=IronBits
[2009-02-22 19:07:58]
1161*2^470733-1 is not prime.  Res64: EA5F7389C4A3443D  Time : 270.0 sec.
user=IronBits
[2009-02-22 19:08:03]
1257*2^470733-1 is not prime.  Res64: 45C0CB5FE6F9D149  Time : 265.0 sec.
user=mdettweiler
[2009-02-22 19:08:08]
1103*2^470730-1 is not prime.  Res64: EE9501933D77F4FD  Time : 1087.0 sec.
user=mdettweiler
[2009-02-22 19:09:43]
1257*2^470730-1 is not prime.  Res64: 10004482932346D4  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 19:10:10]
1293*2^470730-1 is not prime.  Res64: 62BD3C5C8E7590CA  Time : 1086.0 sec.
user=IronBits
[2009-02-22 19:12:00]
1315*2^470733-1 is not prime.  Res64: DAE3EA2845879CCB  Time : 256.0 sec.
user=IronBits
[2009-02-22 19:12:12]
1205*2^470734-1 is not prime.  Res64: F07D6EA87A72D9DB  Time : 254.0 sec.
user=IronBits
[2009-02-22 19:12:19]
1233*2^470734-1 is not prime.  Res64: CAE8087239177DDA  Time : 256.0 sec.
user=mdettweiler
[2009-02-22 19:12:42]
1361*2^470730-1 is not prime.  Res64: 2A5CB11691D96C49  Time : 1143.0 sec.
user=mdettweiler
[2009-02-22 19:13:21]
1083*2^470731-1 is not prime.  Res64: 7A63174CC31671AE  Time : 1087.0 sec.
user=mdettweiler
[2009-02-22 19:13:48]
1125*2^470731-1 is not prime.  Res64: 6A0D00582E932DD6  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 19:15:21]
1219*2^470731-1 is not prime.  Res64: B0C46777ABC555DF  Time : 1086.0 sec.
user=IronBits
[2009-02-22 19:16:15]
1119*2^470735-1 is not prime.  Res64: 98004767197831FD  Time : 255.0 sec.
user=IronBits
[2009-02-22 19:16:29]
1183*2^470735-1 is not prime.  Res64: 4A6D2A6AF23F77FC  Time : 257.0 sec.
user=IronBits
[2009-02-22 19:16:34]
1219*2^470735-1 is not prime.  Res64: CE94B3A1C476A34A  Time : 255.0 sec.
user=mdettweiler
[2009-02-22 19:16:58]
1233*2^470731-1 is not prime.  Res64: F3F3B30A0C373091  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 19:17:25]
1109*2^470732-1 is not prime.  Res64: DA7909EB1C3C5658  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 19:18:58]
1229*2^470732-1 is not prime.  Res64: A437B8EE45B9A338  Time : 1085.0 sec.
user=IronBits
[2009-02-22 19:20:32]
1025*2^470736-1 is not prime.  Res64: A6FF3DC113E186F8  Time : 257.0 sec.
user=mdettweiler
[2009-02-22 19:20:35]
1245*2^470732-1 is not prime.  Res64: 4481B5746B9E233A  Time : 1087.0 sec.
user=IronBits
[2009-02-22 19:20:43]
1059*2^470736-1 is not prime.  Res64: 57EC9F5CE7CD1235  Time : 254.0 sec.
user=IronBits
[2009-02-22 19:20:51]
1085*2^470736-1 is not prime.  Res64: F5CF643F7A83131B  Time : 257.0 sec.
user=mdettweiler
[2009-02-22 19:21:02]
1265*2^470732-1 is not prime.  Res64: 43F1AC37E8BFDE59  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 19:22:36]
1285*2^470733-1 is not prime.  Res64: F9FD6209428F917C  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 19:24:13]
1309*2^470733-1 is not prime.  Res64: EB752F7959FFC3E9  Time : 1087.0 sec.
user=mdettweiler
[2009-02-22 19:24:39]
1311*2^470733-1 is not prime.  Res64: E979D8726BFBA2AA  Time : 1086.0 sec.
user=IronBits
[2009-02-22 19:25:01]
1095*2^470737-1 is not prime.  Res64: B8ACC737AED86BDB  Time : 269.0 sec.
user=IronBits
[2009-02-22 19:25:14]
1195*2^470737-1 is not prime.  Res64: 9FCE229D2647A397  Time : 271.0 sec.
user=IronBits
[2009-02-22 19:25:30]
1237*2^470737-1 is not prime.  Res64: CF9F9B4BA10C34F1  Time : 279.0 sec.
user=mdettweiler
[2009-02-22 19:26:13]
1301*2^470734-1 is not prime.  Res64: E0607010C4C31BDB  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 19:27:49]
1083*2^470735-1 is not prime.  Res64: 25DFF7F03E3CC51B  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 19:28:17]
1105*2^470735-1 is not prime.  Res64: 21E9CA3E61EAA05B  Time : 1087.0 sec.
user=IronBits
[2009-02-22 19:29:17]
1061*2^470738-1 is not prime.  Res64: 1B443F88342D06D5  Time : 256.0 sec.
user=IronBits
[2009-02-22 19:29:28]
1065*2^470738-1 is not prime.  Res64: 97C0B3A79966A61E  Time : 254.0 sec.
user=IronBits
[2009-02-22 19:29:45]
1125*2^470738-1 is not prime.  Res64: 48A3A1399C7AE2B9  Time : 255.0 sec.
user=mdettweiler
[2009-02-22 19:29:50]
1131*2^470735-1 is not prime.  Res64: F6AFAE3201A4DD3E  Time : 1028.0 sec.
user=mdettweiler
[2009-02-22 19:31:27]
1273*2^470735-1 is not prime.  Res64: 1E8214E4A8311160  Time : 1087.0 sec.
user=mdettweiler
[2009-02-22 19:31:54]
1375*2^470735-1 is not prime.  Res64: 490740B32E5677E7  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 19:33:27]
1013*2^470736-1 is not prime.  Res64: 76136E64208217D3  Time : 1086.0 sec.
user=IronBits
[2009-02-22 19:33:32]
1251*2^470738-1 is not prime.  Res64: B36783F0BC503895  Time : 255.0 sec.
user=IronBits
[2009-02-22 19:33:43]
1307*2^470738-1 is not prime.  Res64: 403D3B880CCDAE09  Time : 255.0 sec.
user=IronBits
[2009-02-22 19:34:01]
1081*2^470739-1 is not prime.  Res64: 9CC6134276DDF31F  Time : 256.0 sec.
user=mdettweiler
[2009-02-22 19:35:05]
1035*2^470737-1 is not prime.  Res64: 8E34F8F6D4C64EEF  Time : 1087.0 sec.
user=mdettweiler
[2009-02-22 19:35:31]
1045*2^470737-1 is not prime.  Res64: 5E753EA6BE230057  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 19:37:05]
1087*2^470737-1 is not prime.  Res64: E151FC36868DA438  Time : 1087.0 sec.
user=IronBits
[2009-02-22 19:37:54]
1251*2^470739-1 is not prime.  Res64: 1029596462C6A4C0  Time : 262.0 sec.
user=IronBits
[2009-02-22 19:38:06]
1321*2^470739-1 is not prime.  Res64: A4E78E1402204BF7  Time : 263.0 sec.
user=IronBits
[2009-02-22 19:38:24]
1371*2^470739-1 is not prime.  Res64: FE3A682E2EA385A0  Time : 263.0 sec.
user=mdettweiler
[2009-02-22 19:38:41]
1147*2^470737-1 is not prime.  Res64: 383C53E3DEEC62F3  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 19:39:08]
1347*2^470737-1 is not prime.  Res64: 32C31817F5EC80B8  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 19:40:41]
1365*2^470737-1 is not prime.  Res64: 1C090632548AC785  Time : 1085.0 sec.
user=IronBits
[2009-02-22 19:42:11]
1197*2^470740-1 is not prime.  Res64: 323C63FE4E2125FC  Time : 257.0 sec.
user=mdettweiler
[2009-02-22 19:42:19]
1371*2^470737-1 is not prime.  Res64: 10F0697A4F96F3A5  Time : 1087.0 sec.
user=IronBits
[2009-02-22 19:42:21]
1199*2^470740-1 is not prime.  Res64: 0F997A1D75700980  Time : 255.0 sec.
user=IronBits
[2009-02-22 19:42:41]
1217*2^470740-1 is not prime.  Res64: 29461D06C24EE8CF  Time : 257.0 sec.
user=mdettweiler
[2009-02-22 19:42:44]
1395*2^470737-1 is not prime.  Res64: CD14163688BD83B3  Time : 1085.0 sec.
user=mdettweiler
[2009-02-22 19:44:19]
1127*2^470738-1 is not prime.  Res64: 83D6CA68E087E143  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 19:45:56]
1161*2^470738-1 is not prime.  Res64: C51F28EF82E7D30A  Time : 1087.0 sec.
user=mdettweiler
[2009-02-22 19:46:22]
1205*2^470738-1 is not prime.  Res64: 0AD1C6CAF6E00FCF  Time : 1085.0 sec.
user=IronBits
[2009-02-22 19:46:27]
1347*2^470740-1 is not prime.  Res64: 58331A68A08085B3  Time : 256.0 sec.
user=IronBits
[2009-02-22 19:46:37]
1041*2^470741-1 is not prime.  Res64: C878D610D9151FB7  Time : 256.0 sec.
user=IronBits
[2009-02-22 19:46:56]
1099*2^470741-1 is not prime.  Res64: D37EDCB220AE0CD9  Time : 255.0 sec.
user=mdettweiler
[2009-02-22 19:47:56]
1119*2^470739-1 is not prime.  Res64: 41D9A9C1DFA3590A  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 19:49:33]
1129*2^470739-1 is not prime.  Res64: 32FBA3A3FBCC18F5  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 19:49:59]
1185*2^470739-1 is not prime.  Res64: 2FEF7FA28A42B042  Time : 1086.0 sec.
user=IronBits
[2009-02-22 19:50:43]
1279*2^470741-1 is not prime.  Res64: 1928E2DA70DB1DDD  Time : 256.0 sec.
user=IronBits
[2009-02-22 19:50:52]
1309*2^470741-1 is not prime.  Res64: 199335276E52DEB8  Time : 255.0 sec.
user=IronBits
[2009-02-22 19:51:13]
1347*2^470741-1 is not prime.  Res64: 6E7887A80B6C0EC8  Time : 257.0 sec.
user=mdettweiler
[2009-02-22 19:51:33]
1243*2^470739-1 is not prime.  Res64: A500B2FE0DB50ADC  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 19:53:10]
1109*2^470740-1 is not prime.  Res64: ED50F4EF81AB59EC  Time : 1085.0 sec.
user=mdettweiler
[2009-02-22 19:53:37]
1137*2^470740-1 is not prime.  Res64: 2593B7CE72542440  Time : 1086.0 sec.
user=IronBits
[2009-02-22 19:54:59]
1175*2^470742-1 is not prime.  Res64: B42002B93482DF9F  Time : 256.0 sec.
user=IronBits
[2009-02-22 19:55:09]
1029*2^470743-1 is not prime.  Res64: 84528377637E290A  Time : 257.0 sec.
user=mdettweiler
[2009-02-22 19:55:10]
1169*2^470740-1 is not prime.  Res64: BF326C00D4166769  Time : 1085.0 sec.
user=IronBits
[2009-02-22 19:55:31]
1071*2^470743-1 is not prime.  Res64: D7C414C80CDA816D  Time : 258.0 sec.
user=mdettweiler
[2009-02-22 19:56:48]
1263*2^470740-1 is not prime.  Res64: 7A77C3EC8B8AE8E0  Time : 1087.0 sec.
user=mdettweiler
[2009-02-22 19:57:13]
1287*2^470740-1 is not prime.  Res64: 3EF0DE9DEDCD6569  Time : 1085.0 sec.
user=mdettweiler
[2009-02-22 19:58:47]
1329*2^470740-1 is not prime.  Res64: EB0589F2F641A0EE  Time : 1086.0 sec.
user=IronBits
[2009-02-22 19:59:32]
1353*2^470743-1 is not prime.  Res64: 2CCEC1390ED0F935  Time : 273.0 sec.
user=IronBits
[2009-02-22 19:59:41]
1107*2^470744-1 is not prime.  Res64: 32B63DF18F444C9A  Time : 272.0 sec.
user=IronBits
[2009-02-22 20:00:00]
1205*2^470744-1 is not prime.  Res64: A7F0614CA8525C91  Time : 269.0 sec.
user=mdettweiler
[2009-02-22 20:00:24]
1377*2^470740-1 is not prime.  Res64: 6432C02338F221ED  Time : 1085.0 sec.
user=mdettweiler
[2009-02-22 20:00:52]
1125*2^470741-1 is not prime.  Res64: AD87BD4B3C0FB19C  Time : 1088.0 sec.
user=mdettweiler
[2009-02-22 20:02:24]
1137*2^470741-1 is not prime.  Res64: 3B9AD75409DA6AE7  Time : 1085.0 sec.
user=IronBits
[2009-02-22 20:03:48]
1015*2^470745-1 is not prime.  Res64: BAEF937B1FC4AC12  Time : 256.0 sec.
user=IronBits
[2009-02-22 20:03:58]
1347*2^472852-1 is not prime.  Res64: 62CF46D504C90970  Time : 257.0 sec.
user=mdettweiler
[2009-02-22 20:04:02]
1159*2^470741-1 is not prime.  Res64: 9069FA154B0239C8  Time : 1087.0 sec.
user=IronBits
[2009-02-22 20:04:18]
1379*2^472852-1 is not prime.  Res64: 65667F84F99EAAC3  Time : 258.0 sec.
user=mdettweiler
[2009-02-22 20:04:28]
1237*2^470741-1 is not prime.  Res64: 9EF1C1515ADD4036  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 20:06:01]
1055*2^470742-1 is not prime.  Res64: 5094DA40B823A72C  Time : 1085.0 sec.
user=mdettweiler
[2009-02-22 20:07:39]
1071*2^470742-1 is not prime.  Res64: 595C3EB406AADECD  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 20:08:07]
1115*2^470742-1 is not prime.  Res64: 90E7E584B1B613E0  Time : 1088.0 sec.
user=IronBits
[2009-02-22 20:08:25]
1125*2^472853-1 is not prime.  Res64: 6CBD958BF2CC1D84  Time : 267.0 sec.
user=IronBits
[2009-02-22 20:08:27]
1117*2^472853-1 is not prime.  Res64: 60885DB850B4B0D8  Time : 279.0 sec.
user=IronBits
[2009-02-22 20:08:36]
1141*2^472853-1 is not prime.  Res64: B4E96BC50DA0BE0E  Time : 258.0 sec.
user=mdettweiler
[2009-02-22 20:09:39]
1095*2^470743-1 is not prime.  Res64: EE250296020E48CB  Time : 1087.0 sec.
user=mdettweiler
[2009-02-22 20:11:17]
1263*2^470743-1 is not prime.  Res64: C5A55FB043FEDA22  Time : 1087.0 sec.
user=mdettweiler
[2009-02-22 20:11:43]
1321*2^470743-1 is not prime.  Res64: F1A239DA92892E84  Time : 1086.0 sec.
user=IronBits
[2009-02-22 20:12:42]
1365*2^472853-1 is not prime.  Res64: A4F9D2F2AB783F8E  Time : 257.0 sec.
user=IronBits
[2009-02-22 20:12:43]
1375*2^472853-1 is not prime.  Res64: A5382993A594E5F2  Time : 256.0 sec.
user=IronBits
[2009-02-22 20:12:53]
1077*2^472854-1 is not prime.  Res64: 73C77F709062E690  Time : 257.0 sec.
user=mdettweiler
[2009-02-22 20:13:16]
1193*2^470744-1 is not prime.  Res64: 4BE1CA629A3BCCFE  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 20:14:53]
1215*2^470744-1 is not prime.  Res64: 19E66ACF9D6A11E7  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 20:15:19]
1349*2^470744-1 is not prime.  Res64: 7EE86C8B74982183  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 20:16:53]
1383*2^470744-1 is not prime.  Res64: 8E2B610B4B4B38E2  Time : 1086.0 sec.
user=IronBits
[2009-02-22 20:17:08]
1083*2^472855-1 is not prime.  Res64: 5BE1AAEEF9481883  Time : 266.0 sec.
user=IronBits
[2009-02-22 20:17:19]
1095*2^472855-1 is not prime.  Res64: 5CD33A0DF959F5CD  Time : 276.0 sec.
user=IronBits
[2009-02-22 20:17:39]
1149*2^472855-1 is not prime.  Res64: 6E24600989EDF427  Time : 286.0 sec.
user=mdettweiler
[2009-02-22 20:18:32]
1047*2^472853-1 is not prime.  Res64: 6443DBD605DED629  Time : 1088.0 sec.
user=mdettweiler
[2009-02-22 20:18:58]
1057*2^472853-1 is not prime.  Res64: 88CF109ACE2515D4  Time : 1086.0 sec.
user=mdettweiler
[2009-02-22 20:20:32]
1111*2^472853-1 is not prime.  Res64: 4F093B59B4E44010  Time : 1088.0 sec.
user=mdettweiler
[2009-02-22 20:22:10]
1137*2^472853-1 is not prime.  Res64: 7A93BD5101B1D1D2  Time : 1088.0 sec.
user=IronBits
[2009-02-22 20:22:32]
1209*2^472856-1 is not prime.  Res64: 3C967C1B62F3D0A4  Time : 293.0 sec.
user=IronBits
[2009-02-22 20:22:32]
1291*2^472855-1 is not prime.  Res64: 480E27D43645D7BB  Time : 324.0 sec.
user=mdettweiler
[2009-02-22 20:22:35]
1209*2^472853-1 is not prime.  Res64: DD33261DAACE0C98  Time : 1088.0 sec.
user=IronBits
[2009-02-22 20:22:43]
1197*2^472856-1 is not prime.  Res64: EDCC5970EFD2CC69  Time : 324.0 sec.
user=mdettweiler
[2009-02-22 20:24:09]
1225*2^472853-1 is not prime.  Res64: CEED35B74FBDA112  Time : 1088.0 sec.
user=mdettweiler
[2009-02-22 20:25:48]
1309*2^472853-1 is not prime.  Res64: F0DCAAFFC95BB482  Time : 1089.0 sec.
user=mdettweiler
[2009-02-22 20:26:14]
1341*2^472853-1 is not prime.  Res64: F9928C8ED3AFF57F  Time : 1087.0 sec.
user=IronBits
[2009-02-22 20:26:58]
1089*2^472857-1 is not prime.  Res64: CC032C5F9E592E7D  Time : 266.0 sec.
user=IronBits
[2009-02-22 20:27:12]
1397*2^472856-1 is not prime.  Res64: ABE62691348FCEF9  Time : 280.0 sec.
user=IronBits
[2009-02-22 20:27:20]
1189*2^472857-1 is not prime.  Res64: 849E57DDE6974858  Time : 277.0 sec.
user=mdettweiler
[2009-02-22 20:27:48]
1083*2^472854-1 is not prime.  Res64: 4E590372A066F525  Time : 1089.0 sec.
user=mdettweiler
[2009-02-22 20:29:26]
1085*2^472854-1 is not prime.  Res64: CE5915016BAE0D38  Time : 1090.0 sec.
user=mdettweiler
[2009-02-22 20:29:52]
1023*2^472855-1 is not prime.  Res64: B6DC5444F5BEB1F6  Time : 1090.0 sec.
user=IronBits
[2009-02-22 20:31:15]
1351*2^472857-1 is not prime.  Res64: 17399E205B702782  Time : 257.0 sec.
user=mdettweiler
[2009-02-22 20:31:25]
1155*2^472855-1 is not prime.  Res64: DFC6C4A2869695DE  Time : 1089.0 sec.
user=IronBits
[2009-02-22 20:31:29]
1013*2^472858-1 is not prime.  Res64: C8F36EBDD7436111  Time : 257.0 sec.
user=IronBits
[2009-02-22 20:31:36]
1017*2^472858-1 is not prime.  Res64: C0EE7B7B11AE71F4  Time : 256.0 sec.
user=mdettweiler
[2009-02-22 20:33:04]
1213*2^472855-1 is not prime.  Res64: DAE448BEF8A86517  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 20:33:29]
1225*2^472855-1 is not prime.  Res64: 086BFBDBC080C8EF  Time : 1090.0 sec.
user=mdettweiler
[2009-02-22 20:35:04]
1251*2^472855-1 is not prime.  Res64: AE16F5FDB9924EA3  Time : 1091.0 sec.
user=IronBits
[2009-02-22 20:35:33]
1191*2^472858-1 is not prime.  Res64: 21D19EFCE778661E  Time : 258.0 sec.
user=IronBits
[2009-02-22 20:35:46]
1365*2^472858-1 is not prime.  Res64: F168B4F618B265A8  Time : 257.0 sec.
user=IronBits
[2009-02-22 20:35:52]
1371*2^472858-1 is not prime.  Res64: 39A83333A21DDE51  Time : 256.0 sec.
user=mdettweiler
[2009-02-22 20:36:43]
1223*2^472856-1 is not prime.  Res64: 71C8F2138BEBBD70  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 20:37:08]
1233*2^472856-1 is not prime.  Res64: 4F0015E75E4A70C4  Time : 1090.0 sec.
user=mdettweiler
[2009-02-22 20:38:42]
1239*2^472856-1 is not prime.  Res64: AB42A28CC929E93C  Time : 1091.0 sec.
user=IronBits
[2009-02-22 20:39:55]
1063*2^472859-1 is not prime.  Res64: 4B2B14B9A2E2FEC2  Time : 262.0 sec.
user=IronBits
[2009-02-22 20:40:08]
1141*2^472859-1 is not prime.  Res64: D26BD6EA45DB620B  Time : 262.0 sec.
user=IronBits
[2009-02-22 20:40:14]
1299*2^472859-1 is not prime.  Res64: 7BB8E617E060F607  Time : 262.0 sec.
user=mdettweiler
[2009-02-22 20:40:20]
1299*2^472856-1 is not prime.  Res64: FC46AD3FA6ED25A2  Time : 1090.0 sec.
user=mdettweiler
[2009-02-22 20:40:47]
1125*2^472857-1 is not prime.  Res64: 53DE7B4E0A20784A  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 20:42:20]
1225*2^472857-1 is not prime.  Res64: 20116DAF18B45CD3  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 20:43:59]
1309*2^472857-1 is not prime.  Res64: 1B832B48C9C36E57  Time : 1091.0 sec.
user=IronBits
[2009-02-22 20:44:21]
1083*2^472860-1 is not prime.  Res64: D45F40DA79265373  Time : 266.0 sec.
user=mdettweiler
[2009-02-22 20:44:24]
1327*2^472857-1 is not prime.  Res64: 8AC9F2CAC62F712E  Time : 1090.0 sec.
user=IronBits
[2009-02-22 20:44:42]
1113*2^472860-1 is not prime.  Res64: 4EA37208036B64B1  Time : 274.0 sec.
user=IronBits
[2009-02-22 20:44:46]
1125*2^472860-1 is not prime.  Res64: 50B66D910376618D  Time : 272.0 sec.
user=mdettweiler
[2009-02-22 20:45:58]
1035*2^472858-1 is not prime.  Res64: 51C44D857349B293  Time : 1090.0 sec.
user=mdettweiler
[2009-02-22 20:47:37]
1055*2^472858-1 is not prime.  Res64: 68AAA0DE0F91FFC7  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 20:48:02]
1127*2^472858-1 is not prime.  Res64: B6D9C1137DA8F92C  Time : 1090.0 sec.
user=IronBits
[2009-02-22 20:49:25]
1265*2^472860-1 is not prime.  Res64: 27C1655632C9F0EB  Time : 304.0 sec.
user=mdettweiler
[2009-02-22 20:49:37]
1235*2^472858-1 is not prime.  Res64: C1FF3333E814D352  Time : 1092.0 sec.
user=IronBits
[2009-02-22 20:49:49]
1015*2^472861-1 is not prime.  Res64: BA7F262EA880153E  Time : 307.0 sec.
user=IronBits
[2009-02-22 20:50:01]
1119*2^472861-1 is not prime.  Res64: 7EB4C585BBB0E3BD  Time : 315.0 sec.
user=mdettweiler
[2009-02-22 20:51:15]
1005*2^472859-1 is not prime.  Res64: F462804D4109E881  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 20:51:41]
1011*2^472859-1 is not prime.  Res64: 6941F0ADB7952AC3  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 20:53:14]
1033*2^472859-1 is not prime.  Res64: 2FBCFB224DBFF300  Time : 1090.0 sec.
user=IronBits
[2009-02-22 20:54:33]
1297*2^472861-1 is not prime.  Res64: E66D32753F03FDBA  Time : 308.0 sec.
user=mdettweiler
[2009-02-22 20:54:54]
1303*2^472859-1 is not prime.  Res64: 2D93F8CDB631CCBD  Time : 1091.0 sec.
user=IronBits
[2009-02-22 20:54:55]
1061*2^472862-1 is not prime.  Res64: E7573940FC70D20F  Time : 294.0 sec.
user=IronBits
[2009-02-22 20:55:02]
1339*2^472861-1 is not prime.  Res64: 8A8A21783A52AA02  Time : 313.0 sec.
user=mdettweiler
[2009-02-22 20:55:18]
1043*2^472860-1 is not prime.  Res64: 6A99691747086159  Time : 1090.0 sec.
user=mdettweiler
[2009-02-22 20:56:53]
1059*2^472860-1 is not prime.  Res64: 2C5804C9261C097A  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 20:58:31]
1143*2^472860-1 is not prime.  Res64: 7FB51AE5086456E9  Time : 1091.0 sec.
user=IronBits
[2009-02-22 20:58:53]
1293*2^472862-1 is not prime.  Res64: EBA299A1D20DC2AC  Time : 260.0 sec.
user=mdettweiler
[2009-02-22 20:58:57]
1175*2^472860-1 is not prime.  Res64: 05EB168F0CC2BF2C  Time : 1090.0 sec.
user=IronBits
[2009-02-22 20:59:13]
1053*2^472863-1 is not prime.  Res64: BF7FD81712E73DB9  Time : 258.0 sec.
user=IronBits
[2009-02-22 20:59:19]
1111*2^472863-1 is not prime.  Res64: 462C840894F92491  Time : 257.0 sec.
user=mdettweiler
[2009-02-22 21:00:31]
1203*2^472860-1 is not prime.  Res64: 30D17E7C46C789F2  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 21:02:10]
1253*2^472860-1 is not prime.  Res64: F7F29C5F3E2DDA6C  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 21:02:35]
1335*2^472860-1 is not prime.  Res64: EB51A21D35202DDC  Time : 1091.0 sec.
user=IronBits
[2009-02-22 21:03:10]
1273*2^472863-1 is not prime.  Res64: 8BAAD331DB8B9A5E  Time : 257.0 sec.
user=IronBits
[2009-02-22 21:03:30]
1363*2^472863-1 is not prime.  Res64: D74E89023067C736  Time : 257.0 sec.
user=IronBits
[2009-02-22 21:03:38]
1053*2^472864-1 is not prime.  Res64: F778D9581BA1D011  Time : 259.0 sec.
user=mdettweiler
[2009-02-22 21:04:09]
1189*2^472861-1 is not prime.  Res64: 5373F9638536247A  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 21:05:48]
1237*2^472861-1 is not prime.  Res64: 3A0DD027C13D9C8C  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 21:06:13]
1291*2^472861-1 is not prime.  Res64: 2D84D04B90E0CF5F  Time : 1091.0 sec.
user=IronBits
[2009-02-22 21:07:28]
1253*2^472864-1 is not prime.  Res64: 16A71C48D442B261  Time : 258.0 sec.
user=IronBits
[2009-02-22 21:07:47]
1069*2^472865-1 is not prime.  Res64: 560730C0F4D2D321  Time : 257.0 sec.
user=mdettweiler
[2009-02-22 21:07:47]
1305*2^472861-1 is not prime.  Res64: 60EA085BAE1CD934  Time : 1090.0 sec.
user=IronBits
[2009-02-22 21:07:54]
1125*2^472865-1 is not prime.  Res64: 5FC0FE8F7DCFF226  Time : 256.0 sec.
user=mdettweiler
[2009-02-22 21:09:27]
1181*2^472862-1 is not prime.  Res64: 00F530DFA3807F4D  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 21:09:52]
1187*2^472862-1 is not prime.  Res64: 4FB4CB24042BAB56  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 21:11:26]
1197*2^472862-1 is not prime.  Res64: 2C7C8FC1FFBE3BC5  Time : 1092.0 sec.
user=IronBits
[2009-02-22 21:11:49]
1221*2^472865-1 is not prime.  Res64: DDA1211E7E679374  Time : 261.0 sec.
user=IronBits
[2009-02-22 21:12:09]
1329*2^472865-1 is not prime.  Res64: 88A6556F9A148B36  Time : 262.0 sec.
user=IronBits
[2009-02-22 21:12:17]
1351*2^472865-1 is not prime.  Res64: 1FBA31499485910F  Time : 263.0 sec.
user=mdettweiler
[2009-02-22 21:13:04]
1305*2^472862-1 is not prime.  Res64: A0BB53ACF51817E3  Time : 1090.0 sec.
user=mdettweiler
[2009-02-22 21:13:29]
1165*2^472863-1 is not prime.  Res64: 7BFE2E91489B7942  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 21:15:03]
1221*2^472863-1 is not prime.  Res64: B635DC0C129019B4  Time : 1090.0 sec.
user=IronBits
[2009-02-22 21:16:14]
1155*2^472866-1 is not prime.  Res64: E3C6EB24656EC91C  Time : 265.0 sec.
user=IronBits
[2009-02-22 21:16:32]
1105*2^472867-1 is not prime.  Res64: CD379E8130E95131  Time : 263.0 sec.
user=IronBits
[2009-02-22 21:16:41]
1183*2^472867-1 is not prime.  Res64: 5141499AA2080110  Time : 264.0 sec.
user=mdettweiler
[2009-02-22 21:16:43]
1269*2^472863-1 is not prime.  Res64: 7A62497C3D0D5F52  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 21:17:08]
1293*2^472863-1 is not prime.  Res64: 1292020CAEEF411E  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 21:18:42]
1113*2^472864-1 is not prime.  Res64: 69667926792FCF65  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 21:20:20]
1223*2^472864-1 is not prime.  Res64: D19A91EFB38065DA  Time : 1090.0 sec.
user=IronBits
[2009-02-22 21:20:30]
1381*2^472867-1 is not prime.  Res64: D64A3F05617C56B4  Time : 256.0 sec.
user=mdettweiler
[2009-02-22 21:20:46]
1247*2^472864-1 is not prime.  Res64: 1AB0FFB9B233AA89  Time : 1091.0 sec.
user=IronBits
[2009-02-22 21:20:48]
1389*2^472867-1 is not prime.  Res64: 2B8AA1D65457F1CA  Time : 256.0 sec.
user=IronBits
[2009-02-22 21:20:59]
1079*2^472868-1 is not prime.  Res64: EEA2BB1009E0A579  Time : 258.0 sec.
user=mdettweiler
[2009-02-22 21:22:20]
1149*2^472865-1 is not prime.  Res64: 7454593D8DDC0F7F  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 21:23:59]
1191*2^472865-1 is not prime.  Res64: A62D94B5891FB0DC  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 21:24:25]
1201*2^472865-1 is not prime.  Res64: 6B8AE69AE30B77D0  Time : 1092.0 sec.
user=IronBits
[2009-02-22 21:24:50]
1027*2^472869-1 is not prime.  Res64: 084DFFFEA90E86BF  Time : 260.0 sec.
user=IronBits
[2009-02-22 21:25:06]
1075*2^472869-1 is not prime.  Res64: C9984208A0D59108  Time : 258.0 sec.
user=IronBits
[2009-02-22 21:25:17]
1119*2^472869-1 is not prime.  Res64: DD10E973EE524813  Time : 258.0 sec.
user=mdettweiler
[2009-02-22 21:25:59]
1287*2^472865-1 is not prime.  Res64: 86A24D1E2F2770C3  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 21:27:38]
1359*2^472865-1 is not prime.  Res64: 10F20E0C284E231B  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 21:28:02]
1011*2^472866-1 is not prime.  Res64: 46A8CA3DD49CC86B  Time : 1090.0 sec.
user=IronBits
[2009-02-22 21:29:07]
1279*2^472869-1 is not prime.  Res64: 1A31C88F43C16273  Time : 257.0 sec.
user=IronBits
[2009-02-22 21:29:23]
1011*2^472870-1 is not prime.  Res64: 927B1A083D98DA95  Time : 257.0 sec.
user=IronBits
[2009-02-22 21:29:36]
1097*2^472870-1 is not prime.  Res64: 157D8302DA6D5E5F  Time : 259.0 sec.
user=mdettweiler
[2009-02-22 21:29:36]
1077*2^472866-1 is not prime.  Res64: AEE00338472B36E8  Time : 1090.0 sec.
user=mdettweiler
[2009-02-22 21:31:15]
1225*2^472867-1 is not prime.  Res64: E20AFA5EE29679B0  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 21:31:40]
1281*2^472867-1 is not prime.  Res64: 4AA6E688FB42664F  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 21:33:15]
1351*2^472867-1 is not prime.  Res64: 2B883A24792C1502  Time : 1092.0 sec.
user=IronBits
[2009-02-22 21:33:46]
1323*2^472870-1 is not prime.  Res64: 384532133712568B  Time : 279.0 sec.
user=IronBits
[2009-02-22 21:33:57]
1125*2^472871-1 is not prime.  Res64: D63178824F156BC3  Time : 274.0 sec.
user=IronBits
[2009-02-22 21:34:04]
1149*2^472871-1 is not prime.  Res64: F428038530B268C0  Time : 268.0 sec.
user=mdettweiler
[2009-02-22 21:34:54]
1083*2^472868-1 is not prime.  Res64: F1B59127EA911B08  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 21:35:19]
1107*2^472868-1 is not prime.  Res64: 42D62112C5714256  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 21:36:52]
1343*2^472868-1 is not prime.  Res64: B124DCE98A334E05  Time : 1090.0 sec.
user=IronBits
[2009-02-22 21:38:08]
1175*2^472872-1 is not prime.  Res64: 47B62D0B5014C490  Time : 262.0 sec.
user=IronBits
[2009-02-22 21:38:19]
1187*2^472872-1 is not prime.  Res64: 6EEA998349EAA89D  Time : 262.0 sec.
user=IronBits
[2009-02-22 21:38:28]
1265*2^472872-1 is not prime.  Res64: 308A45C6BBB1366A  Time : 264.0 sec.
user=mdettweiler
[2009-02-22 21:38:32]
1015*2^472869-1 is not prime.  Res64: 03D5A4C93D932871  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 21:38:57]
1041*2^472869-1 is not prime.  Res64: 421AE19F149F4DB0  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 21:40:31]
1171*2^472869-1 is not prime.  Res64: FB5CE66DE5174B51  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 21:42:10]
1209*2^472869-1 is not prime.  Res64: 7103B29FDD19B770  Time : 1091.0 sec.
user=IronBits
[2009-02-22 21:42:28]
1087*2^472873-1 is not prime.  Res64: A134C1F942F68215  Time : 260.0 sec.
user=mdettweiler
[2009-02-22 21:42:36]
1251*2^472869-1 is not prime.  Res64: 9FEF52AADD181DED  Time : 1092.0 sec.
user=IronBits
[2009-02-22 21:42:36]
1147*2^472873-1 is not prime.  Res64: 8641045131B33C50  Time : 257.0 sec.
user=IronBits
[2009-02-22 21:42:45]
1179*2^472873-1 is not prime.  Res64: 00217917D7C00B46  Time : 257.0 sec.
user=mdettweiler
[2009-02-22 21:44:09]
1175*2^472870-1 is not prime.  Res64: EB5E10B64EF71B5B  Time : 1090.0 sec.
user=mdettweiler
[2009-02-22 21:45:48]
1193*2^472870-1 is not prime.  Res64: 3A9ECD80BD7E6FDF  Time : 1090.0 sec.
user=mdettweiler
[2009-02-22 21:46:13]
1227*2^472870-1 is not prime.  Res64: 3A9CE565827D6C4E  Time : 1091.0 sec.
user=IronBits
[2009-02-22 21:46:44]
1377*2^472873-1 is not prime.  Res64: DFEE17E95A4C4DE3  Time : 256.0 sec.
user=IronBits
[2009-02-22 21:46:53]
1395*2^472873-1 is not prime.  Res64: D3960E6D06F93D39  Time : 257.0 sec.
user=IronBits
[2009-02-22 21:47:02]
1095*2^472874-1 is not prime.  Res64: BD5969524E33F965  Time : 257.0 sec.
user=mdettweiler
[2009-02-22 21:47:47]
1179*2^472871-1 is not prime.  Res64: 09C22AF6BE2AC49E  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 21:49:27]
1191*2^472871-1 is not prime.  Res64: 543846C4ABDACF32  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 21:49:51]
1329*2^472871-1 is not prime.  Res64: 495FF5247BDDD7C3  Time : 1091.0 sec.
user=IronBits
[2009-02-22 21:51:03]
1275*2^472874-1 is not prime.  Res64: E9F2ECB0BA093AAB  Time : 259.0 sec.
user=IronBits
[2009-02-22 21:51:10]
1301*2^472874-1 is not prime.  Res64: 2E5FB78DD52A0501  Time : 257.0 sec.
user=IronBits
[2009-02-22 21:51:21]
1337*2^472874-1 is not prime.  Res64: 38EBE6A93C391F64  Time : 259.0 sec.
user=mdettweiler
[2009-02-22 21:52:46]
1029*2^472872-1 is not prime.  Res64: A5F69890817F1260  Time : 1171.0 sec.
user=mdettweiler
[2009-02-22 21:53:05]
1277*2^472872-1 is not prime.  Res64: F04931599CD6179F  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 21:53:30]
1287*2^472872-1 is not prime.  Res64: E4AC72D668B7791B  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 21:55:04]
1057*2^472873-1 is not prime.  Res64: 34AA28CC66A5DCAB  Time : 1092.0 sec.
user=IronBits
[2009-02-22 21:55:21]
1159*2^472875-1 is not prime.  Res64: 10182F5DC37C1AD3  Time : 258.0 sec.
user=IronBits
[2009-02-22 21:55:28]
1183*2^472875-1 is not prime.  Res64: C99A77675EDEAA36  Time : 258.0 sec.
user=IronBits
[2009-02-22 21:55:37]
1185*2^472875-1 is not prime.  Res64: CCA98AE0B32E013F  Time : 256.0 sec.
user=mdettweiler
[2009-02-22 21:56:43]
1197*2^472873-1 is not prime.  Res64: 1207F9A518B5B99F  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 21:57:07]
1231*2^472873-1 is not prime.  Res64: 3C29FB4C5AB2D47C  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 21:58:42]
1249*2^472873-1 is not prime.  Res64: C7BCB3BAC932B356  Time : 1091.0 sec.
user=IronBits
[2009-02-22 21:59:37]
1247*2^472876-1 is not prime.  Res64: BD6E10EC4BBE21CA  Time : 256.0 sec.
user=IronBits
[2009-02-22 21:59:44]
1307*2^472876-1 is not prime.  Res64: 09009FE4C6EECDAE  Time : 256.0 sec.
user=IronBits
[2009-02-22 21:59:56]
1373*2^472876-1 is not prime.  Res64: AD8420A4A5E4E090  Time : 259.0 sec.
user=mdettweiler
[2009-02-22 22:00:22]
1321*2^472873-1 is not prime.  Res64: D02FDA5AF84D63BF  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 22:00:46]
1387*2^472873-1 is not prime.  Res64: 263F8F7A44D26EA7  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 22:02:19]
1163*2^472874-1 is not prime.  Res64: 388AF3075FFFC190  Time : 1090.0 sec.
user=IronBits
[2009-02-22 22:03:53]
1191*2^472877-1 is not prime.  Res64: FF32117F9CB9827D  Time : 256.0 sec.
user=mdettweiler
[2009-02-22 22:03:59]
1233*2^472874-1 is not prime.  Res64: B10C6B6A33207796  Time : 1091.0 sec.
user=IronBits
[2009-02-22 22:04:02]
1221*2^472877-1 is not prime.  Res64: 24C0F754C76C4BA9  Time : 258.0 sec.
user=IronBits
[2009-02-22 22:04:13]
1267*2^472877-1 is not prime.  Res64: 7B32AC6414293543  Time : 257.0 sec.
user=mdettweiler
[2009-02-22 22:04:24]
1265*2^472874-1 is not prime.  Res64: EC259305B08A5E52  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 22:05:58]
1021*2^472875-1 is not prime.  Res64: A68D7CCA9E72B3AE  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 22:07:38]
1039*2^472875-1 is not prime.  Res64: 8C1F7ECEC139E5D1  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 22:08:02]
1101*2^472875-1 is not prime.  Res64: 0B45DA43A66BE15A  Time : 1091.0 sec.
user=IronBits
[2009-02-22 22:08:34]
1145*2^472878-1 is not prime.  Res64: DB5789AA4ACC67E5  Time : 281.0 sec.
user=IronBits
[2009-02-22 22:08:38]
1223*2^472878-1 is not prime.  Res64: 9D9C4774FCEBE2F4  Time : 276.0 sec.
user=IronBits
[2009-02-22 22:08:47]
1253*2^472878-1 is not prime.  Res64: 6B64FF705B806631  Time : 274.0 sec.
user=mdettweiler
[2009-02-22 22:09:37]
1339*2^472875-1 is not prime.  Res64: 61D2700E133396CD  Time : 1011.0 sec.
user=mdettweiler
[2009-02-22 22:11:17]
1059*2^472876-1 is not prime.  Res64: E42F758C1E452C66  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 22:11:41]
1139*2^472876-1 is not prime.  Res64: 4B23DAA456AC7240  Time : 1091.0 sec.
user=IronBits
[2009-02-22 22:12:50]
1021*2^472879-1 is not prime.  Res64: 620F6F82F4226029  Time : 256.0 sec.
user=IronBits
[2009-02-22 22:12:55]
1081*2^472879-1 is not prime.  Res64: 802191579AF55C53  Time : 257.0 sec.
user=IronBits
[2009-02-22 22:13:05]
1101*2^472879-1 is not prime.  Res64: 2246FF3B88465F7F  Time : 258.0 sec.
user=mdettweiler
[2009-02-22 22:13:14]
1167*2^472876-1 is not prime.  Res64: 5018170ECE9B4E36  Time : 1090.0 sec.
user=mdettweiler
[2009-02-22 22:14:55]
1027*2^472877-1 is not prime.  Res64: 507E41AB677B4CB3  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 22:15:19]
1057*2^472877-1 is not prime.  Res64: 5F7F4B1160109B76  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 22:16:53]
1081*2^472877-1 is not prime.  Res64: 8788E289104416DE  Time : 1091.0 sec.
user=IronBits
[2009-02-22 22:17:07]
1249*2^472879-1 is not prime.  Res64: 84402179A0CCD55B  Time : 257.0 sec.
user=IronBits
[2009-02-22 22:17:11]
1279*2^472879-1 is not prime.  Res64: CA36D5B1ED9DF7C2  Time : 256.0 sec.
user=IronBits
[2009-02-22 22:17:22]
1323*2^472879-1 is not prime.  Res64: 2A5C1B051C5E5B1D  Time : 257.0 sec.
user=mdettweiler
[2009-02-22 22:19:21]
1365*2^472877-1 is not prime.  Res64: EA5769FC8F5DE426  Time : 1115.0 sec.
user=mdettweiler
[2009-02-22 22:19:24]
1287*2^472877-1 is not prime.  Res64: 72BB567D7C9A55A8  Time : 1142.0 sec.
user=IronBits
[2009-02-22 22:21:23]
1217*2^472880-1 is not prime.  Res64: 8C32E3513D981479  Time : 256.0 sec.
user=IronBits
[2009-02-22 22:21:29]
1235*2^472880-1 is not prime.  Res64: D4E8C113DB4CE435  Time : 258.0 sec.
user=IronBits
[2009-02-22 22:21:39]
1287*2^472880-1 is not prime.  Res64: D32188A852DC92BD  Time : 257.0 sec.
user=mdettweiler
[2009-02-22 22:21:55]
1053*2^472878-1 is not prime.  Res64: A175F51DBFB8F342  Time : 1176.0 sec.
user=mdettweiler
[2009-02-22 22:22:11]
1155*2^472878-1 is not prime.  Res64: 0317AA6B907C777E  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 22:22:36]
1263*2^472878-1 is not prime.  Res64: DCA9A5159A6477F8  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 22:24:09]
1323*2^472878-1 is not prime.  Res64: 155B2389B62315B8  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 22:25:49]
1361*2^472878-1 is not prime.  Res64: ED53356A2D69A0B3  Time : 1091.0 sec.
user=IronBits
[2009-02-22 22:25:54]
1075*2^472881-1 is not prime.  Res64: 3193B84E53BCB94B  Time : 271.0 sec.
user=IronBits
[2009-02-22 22:25:58]
1125*2^472881-1 is not prime.  Res64: 3AA6B6F55642FD48  Time : 269.0 sec.
user=IronBits
[2009-02-22 22:26:08]
1141*2^472881-1 is not prime.  Res64: F6C31E484CA504C1  Time : 269.0 sec.
user=mdettweiler
[2009-02-22 22:26:14]
1371*2^472878-1 is not prime.  Res64: B152892AE87B128B  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 22:27:48]
1155*2^472879-1 is not prime.  Res64: CCE8B5B7817FEA3B  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 22:29:28]
1195*2^472879-1 is not prime.  Res64: 525FC5707A5DB93E  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 22:29:52]
1213*2^472879-1 is not prime.  Res64: B57AD4632AE17BF1  Time : 1091.0 sec.
user=IronBits
[2009-02-22 22:30:16]
1041*2^472882-1 is not prime.  Res64: 71F3B90F0A50FDE0  Time : 262.0 sec.
user=IronBits
[2009-02-22 22:30:21]
1043*2^472882-1 is not prime.  Res64: 6647AE836C695DED  Time : 263.0 sec.
user=IronBits
[2009-02-22 22:30:30]
1133*2^472882-1 is not prime.  Res64: 9DCC201D494C2D4D  Time : 262.0 sec.
user=mdettweiler
[2009-02-22 22:31:26]
1339*2^472879-1 is not prime.  Res64: 2D78FA23B0CE6412  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 22:33:08]
1363*2^472879-1 is not prime.  Res64: 840094CD41CD6761  Time : 1094.0 sec.
user=mdettweiler
[2009-02-22 22:33:30]
1037*2^472880-1 is not prime.  Res64: F3FED57384FF6E62  Time : 1091.0 sec.
user=IronBits
[2009-02-22 22:34:32]
1119*2^472883-1 is not prime.  Res64: FAA520F3CAC2F404  Time : 256.0 sec.
user=IronBits
[2009-02-22 22:34:37]
1149*2^472883-1 is not prime.  Res64: E8DF0F003647A880  Time : 256.0 sec.
user=IronBits
[2009-02-22 22:34:48]
1189*2^472883-1 is not prime.  Res64: 981E0C3D1324AC28  Time : 258.0 sec.
user=mdettweiler
[2009-02-22 22:35:05]
1209*2^472880-1 is not prime.  Res64: 11BA4AC93F1DFBD2  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 22:36:44]
1015*2^472881-1 is not prime.  Res64: 337B19CA0A7A21D1  Time : 1041.0 sec.
user=mdettweiler
[2009-02-22 22:37:08]
1305*2^472880-1 is not prime.  Res64: 182C282D379E7BB5  Time : 1067.0 sec.
user=mdettweiler
[2009-02-22 22:38:42]
1155*2^472881-1 is not prime.  Res64: 60BAD12D10803556  Time : 1007.0 sec.
user=IronBits
[2009-02-22 22:38:54]
1363*2^472883-1 is not prime.  Res64: C8E519F617CFD7FC  Time : 262.0 sec.
user=IronBits
[2009-02-22 22:38:59]
1005*2^472884-1 is not prime.  Res64: 7282674161282862  Time : 262.0 sec.
user=IronBits
[2009-02-22 22:39:11]
1085*2^472884-1 is not prime.  Res64: 322AA782790D9C6F  Time : 263.0 sec.
user=mdettweiler
[2009-02-22 22:40:22]
1215*2^472881-1 is not prime.  Res64: 6999E48BB9D2C0CC  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 22:40:47]
1327*2^472881-1 is not prime.  Res64: 6387C4E7B1578013  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 22:42:22]
1329*2^472881-1 is not prime.  Res64: 7D72A3C4042DD0F2  Time : 1093.0 sec.
user=IronBits
[2009-02-22 22:43:11]
1365*2^472884-1 is not prime.  Res64: 1041316F8CB066DD  Time : 257.0 sec.
user=IronBits
[2009-02-22 22:43:18]
1057*2^472885-1 is not prime.  Res64: A06E60187503B347  Time : 259.0 sec.
user=IronBits
[2009-02-22 22:43:29]
1069*2^472885-1 is not prime.  Res64: 451BCA7E86A5F1D8  Time : 258.0 sec.
user=mdettweiler
[2009-02-22 22:44:00]
1017*2^472882-1 is not prime.  Res64: 425B9C8F53838453  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 22:44:25]
1263*2^472882-1 is not prime.  Res64: 5B1D146BF5E8DE3B  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 22:45:59]
1331*2^472882-1 is not prime.  Res64: 35233097EC626F02  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 22:47:39]
1385*2^472882-1 is not prime.  Res64: 21C7DAC1449365C1  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 22:48:04]
1099*2^472883-1 is not prime.  Res64: B4DCF45C307136B8  Time : 1092.0 sec.
user=IronBits
[2009-02-22 22:48:09]
1339*2^472885-1 is not prime.  Res64: 7D7E3F1AE8572328  Time : 291.0 sec.
user=IronBits
[2009-02-22 22:48:22]
1225*2^472885-1 is not prime.  Res64: 47233E4B724D8090  Time : 311.0 sec.
user=IronBits
[2009-02-22 22:48:24]
1387*2^472885-1 is not prime.  Res64: 35847EAFCDE208B9  Time : 295.0 sec.
user=mdettweiler
[2009-02-22 22:49:38]
1191*2^472883-1 is not prime.  Res64: F551D6CA64F36675  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 22:51:17]
1245*2^472883-1 is not prime.  Res64: 4D7A75A6D8328D99  Time : 1090.0 sec.
user=mdettweiler
[2009-02-22 22:51:41]
1351*2^472883-1 is not prime.  Res64: C8048E01DAF00775  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 22:53:17]
1179*2^472884-1 is not prime.  Res64: 04EBDEBCE5D28CE6  Time : 1093.0 sec.
user=IronBits
[2009-02-22 22:53:29]
1317*2^472886-1 is not prime.  Res64: 28EC36A88D88837D  Time : 320.0 sec.
user=IronBits
[2009-02-22 22:53:34]
1011*2^472887-1 is not prime.  Res64: 912164A8435C3D6D  Time : 310.0 sec.
user=IronBits
[2009-02-22 22:53:37]
1377*2^472886-1 is not prime.  Res64: 536DD3FA1C567E4A  Time : 315.0 sec.
user=mdettweiler
[2009-02-22 22:54:55]
1295*2^472884-1 is not prime.  Res64: 234277D357819F38  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 22:55:20]
1305*2^472884-1 is not prime.  Res64: 4FF841724FF5EFE4  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 22:56:54]
1347*2^472884-1 is not prime.  Res64: 86C49D85FA09BC5B  Time : 1092.0 sec.
user=IronBits
[2009-02-22 22:57:51]
1353*2^472887-1 is not prime.  Res64: FD338AD8C6DFECEA  Time : 262.0 sec.
user=IronBits
[2009-02-22 22:57:57]
1369*2^472887-1 is not prime.  Res64: 584C17A12D99F21E  Time : 263.0 sec.
user=IronBits
[2009-02-22 22:57:57]
1053*2^472888-1 is not prime.  Res64: 9CBE1C4254DC0EB5  Time : 260.0 sec.
user=mdettweiler
[2009-02-22 22:58:34]
1095*2^472885-1 is not prime.  Res64: 1CA880C5464A1784  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 22:58:59]
1111*2^472885-1 is not prime.  Res64: 897A8095B2BDF664  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 23:00:32]
1195*2^472885-1 is not prime.  Res64: 16A6E000005E0FBE  Time : 1091.0 sec.
user=IronBits
[2009-02-22 23:02:08]
1193*2^472888-1 is not prime.  Res64: 61A02D5A4F9DDEE1  Time : 257.0 sec.
user=mdettweiler
[2009-02-22 23:02:11]
1013*2^472886-1 is not prime.  Res64: ECA6301259910413  Time : 1091.0 sec.
user=IronBits
[2009-02-22 23:02:14]
1217*2^472888-1 is not prime.  Res64: 3DCA541DF1D97D85  Time : 257.0 sec.
user=IronBits
[2009-02-22 23:02:16]
1235*2^472888-1 is not prime.  Res64: 796A8FA043F00FCB  Time : 259.0 sec.
user=mdettweiler
[2009-02-22 23:02:36]
1071*2^472886-1 is not prime.  Res64: 972887ACA18C9E8D  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 23:04:10]
1095*2^472886-1 is not prime.  Res64: 7C0EB3F9D64D2F93  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 23:05:50]
1203*2^472886-1 is not prime.  Res64: 594A9F1803AB28C0  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 23:06:14]
1301*2^472886-1 is not prime.  Res64: E820B9CC9BC1CAF1  Time : 1091.0 sec.
user=IronBits
[2009-02-22 23:06:25]
1071*2^472889-1 is not prime.  Res64: 3D34B0245F30999C  Time : 257.0 sec.
user=IronBits
[2009-02-22 23:06:31]
1219*2^472889-1 is not prime.  Res64: 5105CC54562B51EA  Time : 257.0 sec.
user=IronBits
[2009-02-22 23:06:32]
1347*2^472889-1 is not prime.  Res64: 5315AC5A356D58F4  Time : 256.0 sec.
user=mdettweiler
[2009-02-22 23:07:52]
1095*2^472887-1 is not prime.  Res64: 0E5C0B44C125B957  Time : 1095.0 sec.
user=mdettweiler
[2009-02-22 23:09:28]
1269*2^472887-1 is not prime.  Res64: 24255E3E7E26249F  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 23:09:52]
1309*2^472887-1 is not prime.  Res64: 8DBF9701DBE8B9DF  Time : 1091.0 sec.
user=IronBits
[2009-02-22 23:10:45]
1265*2^472890-1 is not prime.  Res64: CD69B794CB26A50D  Time : 260.0 sec.
user=IronBits
[2009-02-22 23:10:48]
1385*2^472890-1 is not prime.  Res64: 34F62FEEDC365E10  Time : 257.0 sec.
user=IronBits
[2009-02-22 23:10:51]
1053*2^472891-1 is not prime.  Res64: AC28C3567B9C59C5  Time : 259.0 sec.
user=mdettweiler
[2009-02-22 23:11:26]
1335*2^472887-1 is not prime.  Res64: F7771E4B8285814D  Time : 1090.0 sec.
user=mdettweiler
[2009-02-22 23:13:06]
1067*2^472888-1 is not prime.  Res64: 92E6A03190E2598B  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 23:13:31]
1083*2^472888-1 is not prime.  Res64: 9056D9E4BC05C7A7  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 23:15:04]
1163*2^472888-1 is not prime.  Res64: 7B9BBB15875A522C  Time : 1090.0 sec.
user=IronBits
[2009-02-22 23:15:49]
1255*2^472891-1 is not prime.  Res64: 76278EA885BBC926  Time : 298.0 sec.
user=IronBits
[2009-02-22 23:16:12]
1203*2^472891-1 is not prime.  Res64: CC0E389216EC39B0  Time : 327.0 sec.
user=IronBits
[2009-02-22 23:16:21]
1221*2^472891-1 is not prime.  Res64: F4DE405E16994486  Time : 333.0 sec.
user=mdettweiler
[2009-02-22 23:17:26]
1239*2^472888-1 is not prime.  Res64: EFC495EA7CA5B9D9  Time : 1132.0 sec.
user=mdettweiler
[2009-02-22 23:17:30]
1305*2^472888-1 is not prime.  Res64: 60CA3D53A537FB34  Time : 1112.0 sec.
user=mdettweiler
[2009-02-22 23:18:43]
1005*2^472889-1 is not prime.  Res64: BF59F64B61D231F2  Time : 1091.0 sec.
user=IronBits
[2009-02-22 23:20:16]
1351*2^472891-1 is not prime.  Res64: 535925835E899137  Time : 267.0 sec.
user=mdettweiler
[2009-02-22 23:20:22]
1191*2^472889-1 is not prime.  Res64: DC8EC7073017A45C  Time : 1091.0 sec.
user=IronBits
[2009-02-22 23:20:41]
1007*2^472892-1 is not prime.  Res64: 3BA8C716BE2F161E  Time : 269.0 sec.
user=mdettweiler
[2009-02-22 23:20:46]
1005*2^472890-1 is not prime.  Res64: DDBBE685646AD48D  Time : 1091.0 sec.
user=IronBits
[2009-02-22 23:20:48]
1025*2^472892-1 is not prime.  Res64: 3ABC8C4A6AF911B2  Time : 267.0 sec.
user=mdettweiler
[2009-02-22 23:22:21]
1043*2^472890-1 is not prime.  Res64: D8FF25ADCB7A23F7  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 23:24:01]
1113*2^472890-1 is not prime.  Res64: 0AA7CC404BC0D2C5  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 23:24:25]
1215*2^472890-1 is not prime.  Res64: 596E44A298F2B836  Time : 1091.0 sec.
user=IronBits
[2009-02-22 23:24:35]
1221*2^474983-1 is not prime.  Res64: 145CBCA2463C3D96  Time : 259.0 sec.
user=IronBits
[2009-02-22 23:25:01]
1279*2^474983-1 is not prime.  Res64: 79104CE92B3938FB  Time : 260.0 sec.
user=IronBits
[2009-02-22 23:25:08]
1369*2^474983-1 is not prime.  Res64: B64EBA54E6E29F7B  Time : 260.0 sec.
user=mdettweiler
[2009-02-22 23:25:58]
1063*2^472891-1 is not prime.  Res64: 921445C8C1FC2963  Time : 1087.0 sec.
user=mdettweiler
[2009-02-22 23:27:39]
1141*2^472891-1 is not prime.  Res64: 6E82DABAC93C9417  Time : 1092.0 sec.
user=mdettweiler
[2009-02-22 23:28:03]
1195*2^472891-1 is not prime.  Res64: F983A979C27CE298  Time : 1091.0 sec.
user=IronBits
[2009-02-22 23:28:53]
1137*2^474984-1 is not prime.  Res64: 7FF47296EE719EF3  Time : 258.0 sec.
user=IronBits
[2009-02-22 23:29:18]
1139*2^474984-1 is not prime.  Res64: D066DF111EA7F9B0  Time : 257.0 sec.
user=IronBits
[2009-02-22 23:29:27]
1277*2^474984-1 is not prime.  Res64: B17953D3A041F413  Time : 259.0 sec.
user=mdettweiler
[2009-02-22 23:29:37]
1261*2^472891-1 is not prime.  Res64: 9E8248912510A7A8  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 23:31:17]
1275*2^472891-1 is not prime.  Res64: D1BED1892DDE694A  Time : 1091.0 sec.
user=mdettweiler
[2009-02-22 23:31:42]
1303*2^472891-1 is not prime.  Res64: 8A6B2D05F9884551  Time : 1092.0 sec.
user=IronBits
[2009-02-22 23:33:10]
1081*2^474985-1 is not prime.  Res64: 2F8B5E609DEA83A4  Time : 257.0 sec.
user=mdettweiler
[2009-02-22 23:33:15]
1339*2^472891-1 is not prime.  Res64: 5F81BAFDAB65894B  Time : 1091.0 sec.
user=IronBits
[2009-02-22 23:33:37]
1141*2^474985-1 is not prime.  Res64: F6254DAD55A0AF49  Time : 259.0 sec.
user=IronBits
[2009-02-22 23:33:51]
1147*2^474985-1 is not prime.  Res64: EEDC2A60FC53CCCD  Time : 264.0 sec.
user=mdettweiler
[2009-02-22 23:34:56]
1067*2^472892-1 is not prime.  Res64: 938C1D14156D3CE2  Time : 1051.0 sec.
user=mdettweiler
[2009-02-22 23:35:20]
1085*2^472892-1 is not prime.  Res64: 364D999893BA1155  Time : 1071.0 sec.
user=mdettweiler
[2009-02-22 23:36:55]
1183*2^474983-1 is not prime.  Res64: DF589654F60C287D  Time : 1092.0 sec.
user=IronBits
[2009-02-22 23:38:07]
1381*2^474985-1 is not prime.  Res64: 4CCB05804A49D316  Time : 297.0 sec.
user=mdettweiler
[2009-02-22 23:38:36]
1231*2^474983-1 is not prime.  Res64: 6F3D1398B215DD69  Time : 1094.0 sec.
user=IronBits
[2009-02-22 23:38:44]
1131*2^474986-1 is not prime.  Res64: 654D12E7C14F1CD5  Time : 307.0 sec.
user=mdettweiler
[2009-02-22 23:39:00]
1333*2^474983-1 is not prime.  Res64: 0D2E6709D8FA88CC  Time : 1094.0 sec.
user=IronBits
[2009-02-22 23:39:13]
1217*2^474986-1 is not prime.  Res64: A93E58BFE20F16DA  Time : 322.0 sec.
user=mdettweiler
[2009-02-22 23:40:35]
1007*2^474984-1 is not prime.  Res64: 678761AF2901F299  Time : 1094.0 sec.
user=mdettweiler
[2009-02-22 23:42:16]
1053*2^474984-1 is not prime.  Res64: BA4318BF6FFAA691  Time : 1095.0 sec.
user=mdettweiler
[2009-02-22 23:42:39]
1113*2^474984-1 is not prime.  Res64: 51B8183B94E1B8B9  Time : 1094.0 sec.
user=IronBits
[2009-02-22 23:42:53]
1293*2^474986-1 is not prime.  Res64: FC30AACD2028B6D2  Time : 286.0 sec.
user=IronBits
[2009-02-22 23:43:18]
1365*2^474986-1 is not prime.  Res64: C170D6F7556F6793  Time : 274.0 sec.
user=IronBits
[2009-02-22 23:43:35]
1039*2^474987-1 is not prime.  Res64: 9FBC7529413D9005  Time : 262.0 sec.
user=mdettweiler
[2009-02-22 23:44:14]
1383*2^474984-1 is not prime.  Res64: F9C282A0F18EB218  Time : 1096.0 sec.
user=mdettweiler
[2009-02-22 23:45:54]
1389*2^474984-1 is not prime.  Res64: 862A94C927CEC081  Time : 1096.0 sec.
user=mdettweiler
[2009-02-22 23:46:19]
1065*2^474985-1 is not prime.  Res64: 7BD8DB48985413E8  Time : 1096.0 sec.
user=IronBits
[2009-02-22 23:47:25]
1215*2^474987-1 is not prime.  Res64: 45B5B1E95C6FEEEA  Time : 272.0 sec.
user=IronBits
[2009-02-22 23:47:50]
1333*2^474987-1 is not prime.  Res64: C9D67E42461DA5E5  Time : 272.0 sec.
user=mdettweiler
[2009-02-22 23:47:54]
1195*2^474985-1 is not prime.  Res64: 5F610A4CA49F12FC  Time : 1097.0 sec.
user=IronBits
[2009-02-22 23:48:13]
1389*2^474987-1 is not prime.  Res64: 0573003724812F41  Time : 278.0 sec.
user=mdettweiler
[2009-02-22 23:49:33]
1197*2^474985-1 is not prime.  Res64: E0F695976EAE75D8  Time : 1096.0 sec.
user=mdettweiler
[2009-02-22 23:49:57]
1225*2^474985-1 is not prime.  Res64: 57B293DD93093C83  Time : 1096.0 sec.
user=mdettweiler
[2009-02-22 23:51:33]
1095*2^474986-1 is not prime.  Res64: AB105C70ADA80D36  Time : 1098.0 sec.
user=IronBits
[2009-02-22 23:51:42]
1095*2^474988-1 is not prime.  Res64: 82B149EE3D695B4B  Time : 257.0 sec.
user=IronBits
[2009-02-22 23:52:07]
1107*2^474988-1 is not prime.  Res64: E7A3ED8129C75315  Time : 257.0 sec.
user=IronBits
[2009-02-22 23:52:31]
1209*2^474988-1 is not prime.  Res64: D18FB941098A5DB4  Time : 258.0 sec.
user=mdettweiler
[2009-02-22 23:53:13]
1235*2^474986-1 is not prime.  Res64: 78D337AB68854052  Time : 1097.0 sec.
user=mdettweiler
[2009-02-22 23:53:37]
1263*2^474986-1 is not prime.  Res64: 0E8E2339280939C0  Time : 1097.0 sec.
user=mdettweiler
[2009-02-22 23:55:11]
1277*2^474986-1 is not prime.  Res64: 5E69BE49BDE19728  Time : 1096.0 sec.
user=IronBits
[2009-02-22 23:56:02]
1225*2^474989-1 is not prime.  Res64: 29416E8719BEBFD3  Time : 260.0 sec.
user=IronBits
[2009-02-22 23:56:32]
1299*2^474989-1 is not prime.  Res64: 74CB3F17013209CE  Time : 265.0 sec.
user=mdettweiler
[2009-02-22 23:56:53]
1313*2^474986-1 is not prime.  Res64: 18333C24DB6E27E4  Time : 1097.0 sec.
user=IronBits
[2009-02-22 23:57:10]
1345*2^474989-1 is not prime.  Res64: C103CE9A1BF235A2  Time : 279.0 sec.
user=mdettweiler
[2009-02-22 23:57:16]
1377*2^474986-1 is not prime.  Res64: A0B79A5A1635EE55  Time : 1096.0 sec.
user=mdettweiler
[2009-02-22 23:58:51]
1081*2^474987-1 is not prime.  Res64: 047AF87AA4AD4C11  Time : 1096.0 sec.