user=gd_barnes [2009-02-20 00:01:42] 1033*2^454527-1 is not prime. Res64: EC97A49CD2EFD83A Time : 1360.0 sec. user=gd_barnes [2009-02-20 00:06:14] 1213*2^454527-1 is not prime. Res64: 1F2D5B01350004F3 Time : 1345.0 sec. user=gd_barnes [2009-02-20 00:10:46] 1249*2^454527-1 is not prime. Res64: 949D2E8AD238DE99 Time : 1359.0 sec. user=gd_barnes [2009-02-20 00:15:17] 1335*2^454527-1 is not prime. Res64: 41EE051F0AC1C4FB Time : 1359.0 sec. user=gd_barnes [2009-02-20 00:19:49] 1389*2^454527-1 is not prime. Res64: 3D6DB2C39EF83680 Time : 1359.0 sec. user=gd_barnes [2009-02-20 00:24:21] 1013*2^454528-1 is not prime. Res64: 700E1609FB26E553 Time : 1359.0 sec. user=gd_barnes [2009-02-20 00:28:52] 1025*2^454528-1 is not prime. Res64: C7CD897B276D7B9F Time : 1358.0 sec. user=gd_barnes [2009-02-20 00:33:24] 1083*2^454528-1 is not prime. Res64: DD83E6196D435433 Time : 1358.0 sec. user=gd_barnes [2009-02-20 00:37:56] 1163*2^454528-1 is not prime. Res64: C5172A6EA09E2EF1 Time : 1359.0 sec. user=gd_barnes [2009-02-20 00:42:28] 1169*2^454528-1 is not prime. Res64: 511517E37CF282C6 Time : 1359.0 sec. user=gd_barnes [2009-02-20 00:47:15] 1289*2^454528-1 is not prime. Res64: 03F4CF32E2AE8014 Time : 1374.0 sec. user=gd_barnes [2009-02-20 00:51:32] 1353*2^454528-1 is not prime. Res64: 52AB43723C33456F Time : 1360.0 sec. user=gd_barnes [2009-02-20 00:56:36] 1005*2^454529-1 is not prime. Res64: E735C96A69C0B970 Time : 1392.0 sec. user=gd_barnes [2009-02-20 01:00:35] 1065*2^454529-1 is not prime. Res64: D4F261E948C234C9 Time : 1359.0 sec. user=gd_barnes [2009-02-20 01:05:07] 1081*2^454529-1 is not prime. Res64: D67A74D9D84EDDDC Time : 1359.0 sec. user=gd_barnes [2009-02-20 01:09:38] 1117*2^454529-1 is not prime. Res64: E5D594889C5EA7C0 Time : 1344.0 sec. user=gd_barnes [2009-02-20 01:14:11] 1125*2^454529-1 is not prime. Res64: 142F68725E63D6ED Time : 1360.0 sec. user=gd_barnes [2009-02-20 01:18:56] 1167*2^454529-1 is not prime. Res64: E7F9348D53EAB78B Time : 1275.0 sec. user=gd_barnes [2009-02-20 01:23:14] 1189*2^454529-1 is not prime. Res64: 389B4C7194DBBEBC Time : 1359.0 sec. user=gd_barnes [2009-02-20 01:27:11] 1049*2^443496-1 is not prime. Res64: 123D24AA42F8D8DF Time : 1324.0 sec. user=gd_barnes [2009-02-20 01:31:43] 1237*2^454529-1 is not prime. Res64: 4CBF87F1B1CB7666 Time : 1325.0 sec. user=gd_barnes [2009-02-20 01:36:14] 1321*2^454529-1 is not prime. Res64: 334CE21B96355C55 Time : 1323.0 sec. user=gd_barnes [2009-02-20 01:40:47] 1085*2^454530-1 is not prime. Res64: 10173AF103A19B8C Time : 1311.0 sec. user=gd_barnes [2009-02-20 01:45:51] 1125*2^454530-1 is not prime. Res64: 84C6B425DF42F36B Time : 1357.0 sec. user=gd_barnes [2009-02-20 01:49:50] 1217*2^454530-1 is not prime. Res64: 2BE3B96BA51C0514 Time : 1359.0 sec. user=gd_barnes [2009-02-20 01:54:23] 1283*2^454530-1 is not prime. Res64: B33ACD041E0EA254 Time : 1360.0 sec. user=gd_barnes [2009-02-20 01:58:54] 1335*2^454530-1 is not prime. Res64: A17A658D9A6D1E9C Time : 1360.0 sec. user=gd_barnes [2009-02-20 02:03:27] 1361*2^454530-1 is not prime. Res64: A845AB16D6E63B52 Time : 1360.0 sec. user=gd_barnes [2009-02-20 02:07:58] 1395*2^454530-1 is not prime. Res64: 98B5B2114DE3A0E9 Time : 1248.0 sec. user=gd_barnes [2009-02-20 02:12:30] 1011*2^454531-1 is not prime. Res64: 144834548B703404 Time : 1360.0 sec. user=gd_barnes [2009-02-20 02:17:01] 1143*2^454531-1 is not prime. Res64: 8A13A4ED2190DB0D Time : 1359.0 sec. user=gd_barnes [2009-02-20 02:23:07] 1251*2^454531-1 is not prime. Res64: B40B76873922E504 Time : 1453.0 sec. user=gd_barnes [2009-02-20 02:26:05] 1255*2^454531-1 is not prime. Res64: CA5DB61FCDFEC754 Time : 1359.0 sec. user=gd_barnes [2009-02-20 02:30:37] 1323*2^454531-1 is not prime. Res64: 558495CD4A36236B Time : 1359.0 sec. user=gd_barnes [2009-02-20 02:35:08] 1363*2^454531-1 is not prime. Res64: 07918486C8483565 Time : 1359.0 sec. user=gd_barnes [2009-02-20 02:40:27] 1083*2^454532-1 is not prime. Res64: 359EE35B7F1D4046 Time : 1406.0 sec. user=gd_barnes [2009-02-20 02:44:11] 1097*2^454532-1 is not prime. Res64: B15DD859F05F0946 Time : 1265.0 sec. user=gd_barnes [2009-02-20 02:48:44] 1133*2^454532-1 is not prime. Res64: F67108FA58A43671 Time : 1359.0 sec. user=gd_barnes [2009-02-20 02:53:15] 1145*2^454532-1 is not prime. Res64: DD1F16C3E5DCA48D Time : 1359.0 sec. user=gd_barnes [2009-02-20 02:57:47] 1247*2^454532-1 is not prime. Res64: D0A240E034792BCF Time : 1359.0 sec. user=gd_barnes [2009-02-20 03:02:18] 1259*2^454532-1 is not prime. Res64: F4906CD6787EBF2B Time : 1245.0 sec. user=gd_barnes [2009-02-20 03:06:51] 1317*2^454532-1 is not prime. Res64: 4FA039921638F7EA Time : 1360.0 sec. user=gd_barnes [2009-02-20 03:11:22] 1029*2^454533-1 is not prime. Res64: C441CECE867AFC04 Time : 1358.0 sec. user=gd_barnes [2009-02-20 03:15:54] 1057*2^454533-1 is not prime. Res64: 4005C84656961CBA Time : 1359.0 sec. user=gd_barnes [2009-02-20 03:20:25] 1119*2^454533-1 is not prime. Res64: AE573169578B9627 Time : 1358.0 sec. user=gd_barnes [2009-02-20 03:24:58] 1237*2^454533-1 is not prime. Res64: 2A611F673372D9EB Time : 1360.0 sec. user=gd_barnes [2009-02-20 03:29:29] 1245*2^454533-1 is not prime. Res64: 18DB3D8D542B932A Time : 1358.0 sec. user=gd_barnes [2009-02-20 03:34:01] 1257*2^454533-1 is not prime. Res64: F6F9A45305D1E413 Time : 1359.0 sec. user=gd_barnes [2009-02-20 03:38:33] 1267*2^454533-1 is not prime. Res64: 707F4281368C6A70 Time : 1359.0 sec. user=gd_barnes [2009-02-20 03:43:04] 1311*2^454533-1 is not prime. Res64: 672472F45F2A51CE Time : 1359.0 sec. user=gd_barnes [2009-02-20 03:47:37] 1101*2^454534-1 is not prime. Res64: 2BB54DC17A3F7421 Time : 1359.0 sec. user=gd_barnes [2009-02-20 03:52:08] 1133*2^454534-1 is not prime. Res64: 5D1B6006759C53BF Time : 1359.0 sec. user=gd_barnes [2009-02-20 03:56:40] 1193*2^454534-1 is not prime. Res64: 73A9DCA7DFCE1CBE Time : 1359.0 sec. user=gd_barnes [2009-02-20 04:01:13] 1287*2^454534-1 is not prime. Res64: C35C31E5F5876017 Time : 1360.0 sec. user=gd_barnes [2009-02-20 04:05:45] 1367*2^454534-1 is not prime. Res64: 36030AF6175CC3BA Time : 1361.0 sec. user=gd_barnes [2009-02-20 04:10:16] 1093*2^454535-1 is not prime. Res64: AB0C867E32108B50 Time : 1359.0 sec. user=gd_barnes [2009-02-20 04:14:48] 1105*2^454535-1 is not prime. Res64: 075D45EF4497BB3B Time : 1360.0 sec. user=gd_barnes [2009-02-20 04:19:19] 1125*2^454535-1 is not prime. Res64: 9CE808376268BAE5 Time : 1359.0 sec. user=gd_barnes [2009-02-20 04:23:52] 1233*2^454535-1 is not prime. Res64: 51F50852627B9ADA Time : 1359.0 sec. user=gd_barnes [2009-02-20 04:28:23] 1249*2^454535-1 is not prime. Res64: 7011C89BDFDB2911 Time : 1359.0 sec. user=gd_barnes [2009-02-20 04:32:55] 1299*2^454535-1 is not prime. Res64: E4911C1F206180DB Time : 1359.0 sec. user=gd_barnes [2009-02-20 04:37:26] 1309*2^454535-1 is not prime. Res64: A964B8B24B6952D0 Time : 1359.0 sec. user=gd_barnes [2009-02-20 04:43:08] 1323*2^454535-1 is not prime. Res64: 3D4B7DC915C1D6E7 Time : 1429.0 sec. user=gd_barnes [2009-02-20 04:46:30] 1375*2^454535-1 is not prime. Res64: 9DD6C19E59FC2F4E Time : 1359.0 sec. user=gd_barnes [2009-02-20 04:51:02] 1059*2^454536-1 is not prime. Res64: 5547D181896302DF Time : 1359.0 sec. user=gd_barnes [2009-02-20 04:55:33] 1113*2^454536-1 is not prime. Res64: CD6D4B394BDACEC8 Time : 1359.0 sec. user=gd_barnes [2009-02-20 05:00:19] 1133*2^454536-1 is not prime. Res64: AC40C24B375128FF Time : 1373.0 sec. user=gd_barnes [2009-02-20 05:04:37] 1173*2^454536-1 is not prime. Res64: EE3EEE9D3063B1AF Time : 1223.0 sec. user=gd_barnes [2009-02-20 05:09:09] 1269*2^454536-1 is not prime. Res64: 7FF0EAE7318605D0 Time : 1359.0 sec. user=gd_barnes [2009-02-20 05:13:40] 1295*2^454536-1 is not prime. Res64: 5E3BA107230F4CC2 Time : 1358.0 sec. user=gd_barnes [2009-02-20 05:18:45] 1323*2^454536-1 is not prime. Res64: 6764575F3C39A3C6 Time : 1392.0 sec. user=gd_barnes [2009-02-20 05:22:58] 1365*2^454536-1 is not prime. Res64: D1877EAC9A4C52A6 Time : 1359.0 sec. user=gd_barnes [2009-02-20 05:27:16] 1385*2^454536-1 is not prime. Res64: 2268D2BADCE11403 Time : 1359.0 sec. user=gd_barnes [2009-02-20 05:31:45] 1269*2^451224-1 is not prime. Res64: A28506FF77512004 Time : 1356.0 sec. user=gd_barnes [2009-02-20 05:36:15] 1277*2^451224-1 is not prime. Res64: CF86E0A19415AD48 Time : 1355.0 sec. user=gd_barnes [2009-02-20 05:40:44] 1337*2^451224-1 is not prime. Res64: 3E610DF05383E09E Time : 1253.0 sec. user=gd_barnes [2009-02-20 05:45:15] 1107*2^451225-1 is not prime. Res64: 0F3AE01B68A59787 Time : 1337.0 sec. user=gd_barnes [2009-02-20 05:49:44] 1133*2^451226-1 is not prime. Res64: D9F36F867026381B Time : 1348.0 sec. user=gd_barnes [2009-02-20 05:54:14] 1301*2^451226-1 is not prime. Res64: F592E49E52D42AC0 Time : 1349.0 sec. user=gd_barnes [2009-02-20 05:58:44] 1371*2^451226-1 is not prime. Res64: 3A8F967CCDBC889A Time : 1349.0 sec. user=gd_barnes [2009-02-20 06:03:14] 1383*2^451226-1 is not prime. Res64: 1D3488FD83640D05 Time : 1350.0 sec. user=gd_barnes [2009-02-20 06:07:45] 1345*2^454537-1 is not prime. Res64: E20E541B558F7925 Time : 1350.0 sec. user=gd_barnes [2009-02-20 06:12:17] 1357*2^454537-1 is not prime. Res64: 2F10E366570476B8 Time : 1353.0 sec. user=gd_barnes [2009-02-20 06:16:49] 1381*2^454537-1 is not prime. Res64: 2CAE32F5F843C706 Time : 1355.0 sec. user=gd_barnes [2009-02-20 06:21:21] 1035*2^454538-1 is not prime. Res64: 8EA9A7E63B1BAC67 Time : 1357.0 sec. user=gd_barnes [2009-02-20 06:25:54] 1131*2^454538-1 is not prime. Res64: 3CCD13DA3FCEE954 Time : 1360.0 sec. user=gd_barnes [2009-02-20 06:30:25] 1133*2^454538-1 is not prime. Res64: 6B17BB2BEC43D5DE Time : 1360.0 sec. user=gd_barnes [2009-02-20 06:34:57] 1161*2^454538-1 is not prime. Res64: D31F157BE7551671 Time : 1360.0 sec. user=gd_barnes [2009-02-20 06:39:29] 1187*2^454538-1 is not prime. Res64: 9C5C3CD708EF56A4 Time : 1360.0 sec. user=gd_barnes [2009-02-20 06:44:02] 1331*2^454538-1 is not prime. Res64: 9607086984FC3164 Time : 1361.0 sec. user=gd_barnes [2009-02-20 06:48:33] 1383*2^454538-1 is not prime. Res64: B922C3BF43F9A268 Time : 1360.0 sec. user=gd_barnes [2009-02-20 06:53:06] 1063*2^454539-1 is not prime. Res64: ED5A2348A6001289 Time : 1361.0 sec. user=gd_barnes [2009-02-20 06:57:38] 1125*2^454539-1 is not prime. Res64: A7FF11610241153E Time : 1362.0 sec. user=gd_barnes [2009-02-20 07:02:10] 1143*2^454539-1 is not prime. Res64: 820FF1AC61159A71 Time : 1361.0 sec. user=gd_barnes [2009-02-20 07:06:42] 1155*2^454539-1 is not prime. Res64: C40C29E1C9D79C64 Time : 1360.0 sec. user=gd_barnes [2009-02-20 07:11:13] 1243*2^454539-1 is not prime. Res64: F5BF3F4ABAD8C9F6 Time : 1360.0 sec. user=gd_barnes [2009-02-20 07:15:45] 1263*2^454539-1 is not prime. Res64: A08F0ADA53F88E2F Time : 1359.0 sec. user=gd_barnes [2009-02-20 07:20:17] 1339*2^454539-1 is not prime. Res64: C73276D3F52534EC Time : 1359.0 sec. user=gd_barnes [2009-02-20 07:24:49] 1363*2^454539-1 is not prime. Res64: 329128330EF6F6F3 Time : 1359.0 sec. user=gd_barnes [2009-02-20 07:29:20] 1393*2^454539-1 is not prime. Res64: 2680EC8C0B8B8502 Time : 1359.0 sec. user=gd_barnes [2009-02-20 07:34:07] 1007*2^454540-1 is not prime. Res64: 1D3C5483B609257A Time : 1374.0 sec. user=gd_barnes [2009-02-20 07:38:24] 1025*2^454540-1 is not prime. Res64: 6042122250B1464F Time : 1360.0 sec. user=gd_barnes [2009-02-20 07:43:10] 1305*2^454540-1 is not prime. Res64: F4E5439ED3E6969A Time : 1373.0 sec. user=gd_barnes [2009-02-20 07:47:27] 1349*2^454540-1 is not prime. Res64: 6497166C040BBA46 Time : 1359.0 sec. user=gd_barnes [2009-02-20 07:52:47] 1377*2^454540-1 is not prime. Res64: EC75A8DC3F6E459E Time : 1407.0 sec. user=gd_barnes [2009-02-20 07:56:31] 1089*2^454541-1 is not prime. Res64: 9A93A571F978F717 Time : 1345.0 sec. user=gd_barnes [2009-02-20 08:01:03] 1137*2^454541-1 is not prime. Res64: 233F9B302189BB73 Time : 1359.0 sec. user=gd_barnes [2009-02-20 08:05:35] 1327*2^454541-1 is not prime. Res64: C76F82D835A003FA Time : 1346.0 sec. user=gd_barnes [2009-02-20 08:10:07] 1083*2^454542-1 is not prime. Res64: ED4E11C76BF5D19E Time : 1360.0 sec. user=gd_barnes [2009-02-20 08:14:39] 1127*2^454542-1 is not prime. Res64: 98038775403CC036 Time : 1247.0 sec. user=gd_barnes [2009-02-20 08:19:10] 1241*2^454542-1 is not prime. Res64: 7E7FBDD06E469620 Time : 1359.0 sec. user=gd_barnes [2009-02-20 08:23:43] 1365*2^454542-1 is not prime. Res64: BEEC5EDC86EF2C2D Time : 1360.0 sec. user=gd_barnes [2009-02-20 08:28:15] 1385*2^454542-1 is not prime. Res64: 0BDEB263E8158D86 Time : 1361.0 sec. user=gd_barnes [2009-02-20 08:32:47] 1391*2^454542-1 is not prime. Res64: 927333E2B41BC6CE Time : 1360.0 sec. user=gd_barnes [2009-02-20 08:37:18] 1021*2^454543-1 is not prime. Res64: F74E664004B88D45 Time : 1359.0 sec. user=gd_barnes [2009-02-20 08:41:50] 1035*2^454543-1 is not prime. Res64: CBDEDAA00622877D Time : 1360.0 sec. user=gd_barnes [2009-02-20 08:46:22] 1053*2^454543-1 is not prime. Res64: 2F293C47C15BA3DE Time : 1359.0 sec. user=gd_barnes [2009-02-20 08:50:54] 1083*2^454543-1 is not prime. Res64: 6CAAD7E4BF252352 Time : 1359.0 sec. user=gd_barnes [2009-02-20 08:55:26] 1095*2^454543-1 is not prime. Res64: 4923EC547B09F162 Time : 1360.0 sec. user=gd_barnes [2009-02-20 08:59:57] 1101*2^454543-1 is not prime. Res64: 653AF1955A7B9F95 Time : 1359.0 sec. user=gd_barnes [2009-02-20 09:04:29] 1149*2^454543-1 is not prime. Res64: 37491CD2D11EC021 Time : 1359.0 sec. user=gd_barnes [2009-02-20 09:09:01] 1315*2^454543-1 is not prime. Res64: 16085D960C79EE99 Time : 1360.0 sec. user=gd_barnes [2009-02-20 09:13:33] 1239*2^454544-1 is not prime. Res64: B54ADAE03550DDE1 Time : 1359.0 sec. user=gd_barnes [2009-02-20 09:18:04] 1247*2^454544-1 is not prime. Res64: A1F3B5C88D245319 Time : 1358.0 sec. user=gd_barnes [2009-02-20 09:22:37] 1257*2^454544-1 is not prime. Res64: 7ACC95E1ED110EFF Time : 1360.0 sec. user=gd_barnes [2009-02-20 09:27:08] 1299*2^454544-1 is not prime. Res64: 3316801AD36D1E88 Time : 1359.0 sec. user=gd_barnes [2009-02-20 09:31:40] 1365*2^454544-1 is not prime. Res64: 8F5312FFCD4A2D35 Time : 1359.0 sec. user=gd_barnes [2009-02-20 09:36:12] 1069*2^454545-1 is not prime. Res64: 8EB156D828616AF6 Time : 1359.0 sec. user=gd_barnes [2009-02-20 09:40:43] 1095*2^454545-1 is not prime. Res64: C59BBC157A184827 Time : 1359.0 sec. user=gd_barnes [2009-02-20 09:45:16] 1207*2^454545-1 is not prime. Res64: 12B2818B4B4F0FC0 Time : 1359.0 sec. user=gd_barnes [2009-02-20 09:49:47] 1305*2^454545-1 is not prime. Res64: FD7D1B5806E8C483 Time : 1359.0 sec. user=gd_barnes [2009-02-20 09:54:19] 1381*2^454545-1 is not prime. Res64: 68641615018DE72C Time : 1359.0 sec. user=gd_barnes [2009-02-20 09:58:51] 1395*2^454545-1 is not prime. Res64: AD62C976B8E3E372 Time : 1359.0 sec. user=gd_barnes [2009-02-20 10:03:23] 1007*2^454546-1 is not prime. Res64: 37FD346C6C231038 Time : 1360.0 sec. user=gd_barnes [2009-02-20 10:07:55] 1097*2^454546-1 is not prime. Res64: AB5D9F819D24A256 Time : 1359.0 sec. user=gd_barnes [2009-02-20 10:12:27] 1121*2^454546-1 is not prime. Res64: 9DA9916B75BBA137 Time : 1360.0 sec. user=gd_barnes [2009-02-20 10:16:59] 1125*2^454546-1 is not prime. Res64: D9989C56470D7499 Time : 1360.0 sec. user=gd_barnes [2009-02-20 10:21:31] 1185*2^454546-1 is not prime. Res64: C2DCD040F5D0509D Time : 1360.0 sec. user=gd_barnes [2009-02-20 10:26:03] 1191*2^454546-1 is not prime. Res64: 307E45CB9FD00AD8 Time : 1360.0 sec. user=gd_barnes [2009-02-20 10:31:22] 1283*2^454546-1 is not prime. Res64: FB920C0BC6C55D25 Time : 1407.0 sec. user=gd_barnes [2009-02-20 10:35:07] 1293*2^454546-1 is not prime. Res64: 2241D9891893D2EC Time : 1360.0 sec. user=gd_barnes [2009-02-20 10:42:08] 1041*2^454547-1 is not prime. Res64: 65DE75DCDEE83B78 Time : 1509.0 sec. user=gd_barnes [2009-02-20 10:44:11] 1131*2^454547-1 is not prime. Res64: 193AA20D8F128DA3 Time : 1360.0 sec. user=gd_barnes [2009-02-20 10:48:42] 1149*2^454547-1 is not prime. Res64: 2C6917B02A2C4396 Time : 1359.0 sec. user=gd_barnes [2009-02-20 10:53:14] 1201*2^454547-1 is not prime. Res64: 2EF209304A443294 Time : 1247.0 sec. user=gd_barnes [2009-02-20 10:57:46] 1209*2^454547-1 is not prime. Res64: 40CFD3CFA38EAB13 Time : 1359.0 sec. user=gd_barnes [2009-02-20 11:02:18] 1219*2^454547-1 is not prime. Res64: 7F337BE13D9C7821 Time : 1210.0 sec. user=gd_barnes [2009-02-20 11:06:50] 1323*2^454547-1 is not prime. Res64: C69DB79E3F4658D4 Time : 1359.0 sec. user=gd_barnes [2009-02-20 11:11:21] 1035*2^454548-1 is not prime. Res64: FA3264C4441C31A9 Time : 1359.0 sec. user=gd_barnes [2009-02-20 11:15:54] 1125*2^454548-1 is not prime. Res64: 7ECD353660877E62 Time : 1360.0 sec. user=gd_barnes [2009-02-20 11:20:25] 1127*2^454548-1 is not prime. Res64: 06B54CD428705BD7 Time : 1360.0 sec. user=gd_barnes [2009-02-20 11:24:57] 1133*2^454548-1 is not prime. Res64: 535A55DDA87F52C7 Time : 1359.0 sec. user=gd_barnes [2009-02-20 11:29:28] 1139*2^454548-1 is not prime. Res64: D1C64A8F1C1FD368 Time : 1359.0 sec. user=gd_barnes [2009-02-20 11:34:01] 1187*2^454548-1 is not prime. Res64: BD4BB6A1EC2E2BF2 Time : 1360.0 sec. user=gd_barnes [2009-02-20 11:38:32] 1193*2^454548-1 is not prime. Res64: 103AD6DF7A889F7B Time : 1358.0 sec. user=gd_barnes [2009-02-20 11:43:04] 1385*2^454548-1 is not prime. Res64: 41E5C4E13F4E3F24 Time : 1359.0 sec. user=gd_barnes [2009-02-20 11:47:37] 1015*2^454549-1 is not prime. Res64: 00CFC983A4B529DC Time : 1360.0 sec. user=gd_barnes [2009-02-20 11:52:08] 1065*2^454549-1 is not prime. Res64: 2881D1ED195C60D6 Time : 1360.0 sec. user=gd_barnes [2009-02-20 11:56:40] 1165*2^454549-1 is not prime. Res64: D5B7F27B0711E08B Time : 1359.0 sec. user=gd_barnes [2009-02-20 12:01:11] 1221*2^454549-1 is not prime. Res64: 151DD080E3B3D8BA Time : 1359.0 sec. user=gd_barnes [2009-02-20 12:05:44] 1329*2^454549-1 is not prime. Res64: A784E64AA4CD6289 Time : 1360.0 sec. user=gd_barnes [2009-02-20 12:10:15] 1095*2^454550-1 is not prime. Res64: 77ABFB424EE021F8 Time : 1359.0 sec. user=gd_barnes [2009-02-20 12:14:48] 1187*2^454550-1 is not prime. Res64: E278A81B0039F7FE Time : 1360.0 sec. user=gd_barnes [2009-02-20 12:20:06] 1191*2^454550-1 is not prime. Res64: 81AFA4ED639D173F Time : 1406.0 sec. user=gd_barnes [2009-02-20 12:26:25] 1221*2^454550-1 is not prime. Res64: B96AE6769737976B Time : 1514.0 sec. user=gd_barnes [2009-02-20 12:28:23] 1317*2^454550-1 is not prime. Res64: 3B005B907FB4EC38 Time : 1359.0 sec. user=gd_barnes [2009-02-20 12:33:28] 1331*2^454550-1 is not prime. Res64: E5011FC26EA81A50 Time : 1393.0 sec. user=gd_barnes [2009-02-20 12:37:27] 1335*2^454550-1 is not prime. Res64: D1AD0EA78B337D6D Time : 1359.0 sec. user=gd_barnes [2009-02-20 12:41:59] 1373*2^454550-1 is not prime. Res64: AAD843C419C43DB6 Time : 1247.0 sec. user=gd_barnes [2009-02-20 12:46:31] 1033*2^454551-1 is not prime. Res64: C9BCF64E50623E8F Time : 1206.0 sec. user=gd_barnes [2009-02-20 12:51:06] 1081*2^454551-1 is not prime. Res64: BC46761407B9C353 Time : 1363.0 sec. user=gd_barnes [2009-02-20 12:55:34] 1111*2^454551-1 is not prime. Res64: 6B90A67B36A9519F Time : 1260.0 sec. user=gd_barnes [2009-02-20 13:00:07] 1189*2^454551-1 is not prime. Res64: 401D8DBB3930CA35 Time : 1360.0 sec. user=gd_barnes [2009-02-20 13:04:38] 1231*2^454551-1 is not prime. Res64: 711C75DC941DC095 Time : 1359.0 sec. user=gd_barnes [2009-02-20 13:09:10] 1273*2^454551-1 is not prime. Res64: 38D3002E61034F02 Time : 1359.0 sec. user=gd_barnes [2009-02-20 13:13:42] 1329*2^454551-1 is not prime. Res64: F4FDDF3A9801786C Time : 1356.0 sec. user=gd_barnes [2009-02-20 13:18:14] 1371*2^454551-1 is not prime. Res64: 711E88EC0A3D17DC Time : 1360.0 sec. user=gd_barnes [2009-02-20 13:22:45] 1193*2^454552-1 is not prime. Res64: 6C073A0DBB037BF1 Time : 1358.0 sec. user=gd_barnes [2009-02-20 13:27:18] 1203*2^454552-1 is not prime. Res64: D011B28555ABEEC7 Time : 1360.0 sec. user=gd_barnes [2009-02-20 13:31:49] 1263*2^454552-1 is not prime. Res64: AA5F8D58523B8A35 Time : 1359.0 sec. user=gd_barnes [2009-02-20 13:36:21] 1269*2^454552-1 is not prime. Res64: 88CA7FC8CD16ADED Time : 1359.0 sec. user=gd_barnes [2009-02-20 13:40:53] 1319*2^454552-1 is not prime. Res64: 7BBA5ACB9F0BAEFD Time : 1359.0 sec. user=gd_barnes [2009-02-20 13:45:25] 1095*2^454553-1 is not prime. Res64: 07669383F1D544A5 Time : 1360.0 sec. user=gd_barnes [2009-02-20 13:49:57] 1119*2^454553-1 is not prime. Res64: 8153635CC2E5A91F Time : 1359.0 sec. user=gd_barnes [2009-02-20 13:54:42] 1135*2^454553-1 is not prime. Res64: FCA4E14D2BE138DB Time : 1373.0 sec. user=gd_barnes [2009-02-20 13:59:00] 1309*2^454553-1 is not prime. Res64: 6E23815970AACDFC Time : 1359.0 sec. user=gd_barnes [2009-02-20 14:03:32] 1377*2^454553-1 is not prime. Res64: BFBC69B7E4208A3E Time : 1360.0 sec. user=gd_barnes [2009-02-20 14:08:04] 1077*2^454554-1 is not prime. Res64: 1808FC3497C9E557 Time : 1359.0 sec. user=gd_barnes [2009-02-20 14:12:36] 1127*2^454554-1 is not prime. Res64: D744DC4AEEFE7853 Time : 1359.0 sec. user=gd_barnes [2009-02-20 14:17:08] 1133*2^454554-1 is not prime. Res64: 8170B960D654C08E Time : 1346.0 sec. user=gd_barnes [2009-02-20 14:21:41] 1167*2^454554-1 is not prime. Res64: 1ED5F1CCF95FE4DB Time : 1361.0 sec. user=gd_barnes [2009-02-20 14:26:12] 1245*2^454554-1 is not prime. Res64: B7D0707B585FF1D4 Time : 1360.0 sec. user=gd_barnes [2009-02-20 14:30:44] 1343*2^454554-1 is not prime. Res64: E51D550BED2616BF Time : 1360.0 sec. user=gd_barnes [2009-02-20 14:35:16] 1347*2^454554-1 is not prime. Res64: CE3BE0DE0F58D3FE Time : 1360.0 sec. user=gd_barnes [2009-02-20 14:39:47] 1371*2^454554-1 is not prime. Res64: DA19D89D1415458D Time : 1359.0 sec. user=gd_barnes [2009-02-20 14:44:20] 1081*2^454555-1 is not prime. Res64: E968DACCC7F9B61B Time : 1360.0 sec. user=gd_barnes [2009-02-20 14:48:51] 1123*2^454555-1 is not prime. Res64: 813C1338A7751F5D Time : 1359.0 sec. user=gd_barnes [2009-02-20 14:53:23] 1291*2^454555-1 is not prime. Res64: 65D803199742E88D Time : 1359.0 sec. user=gd_barnes [2009-02-20 14:57:55] 1333*2^454555-1 is not prime. Res64: 46B6F460CDF982D8 Time : 1359.0 sec. user=gd_barnes [2009-02-20 15:02:41] 1335*2^454555-1 is not prime. Res64: 2FD70D5DF094C1EA Time : 1374.0 sec. user=gd_barnes [2009-02-20 15:06:58] 1025*2^454556-1 is not prime. Res64: CDD1604DBB8DA4EE Time : 1358.0 sec. user=gd_barnes [2009-02-20 15:11:45] 1049*2^454556-1 is not prime. Res64: 0A241929767CC931 Time : 1374.0 sec. user=gd_barnes [2009-02-20 15:16:02] 1065*2^454556-1 is not prime. Res64: 5BC9AB65233A76DA Time : 1359.0 sec. user=gd_barnes [2009-02-20 15:20:35] 1113*2^454556-1 is not prime. Res64: FE5B6DA32C0FE7FC Time : 1360.0 sec. user=gd_barnes [2009-02-20 15:25:06] 1217*2^454556-1 is not prime. Res64: D58D869DE9F4FB57 Time : 1345.0 sec. user=gd_barnes [2009-02-20 15:29:38] 1229*2^454556-1 is not prime. Res64: 426CADB474D29D7E Time : 1360.0 sec. user=gd_barnes [2009-02-20 15:34:09] 1233*2^454556-1 is not prime. Res64: 255715F95492A6C4 Time : 1344.0 sec. user=gd_barnes [2009-02-20 15:38:42] 1253*2^454556-1 is not prime. Res64: 72CAB2FAFB34273B Time : 1360.0 sec. user=gd_barnes [2009-02-20 15:43:14] 1263*2^454556-1 is not prime. Res64: D3DB9DC285068E64 Time : 1359.0 sec. user=gd_barnes [2009-02-20 15:47:45] 1293*2^454556-1 is not prime. Res64: CDB352CE92ED3E54 Time : 1359.0 sec. user=gd_barnes [2009-02-20 15:52:18] 1299*2^454556-1 is not prime. Res64: FF3D391006E9C4B1 Time : 1360.0 sec. user=gd_barnes [2009-02-20 15:56:49] 1313*2^454556-1 is not prime. Res64: E39EAE2055B21218 Time : 1360.0 sec. user=gd_barnes [2009-02-20 16:01:21] 1017*2^454557-1 is not prime. Res64: 2DD9167EF196F765 Time : 1359.0 sec. user=gd_barnes [2009-02-20 16:05:52] 1081*2^454557-1 is not prime. Res64: 1ACF80616F92B34C Time : 1359.0 sec. user=gd_barnes [2009-02-20 16:10:25] 1105*2^454557-1 is not prime. Res64: 8DC95E43B82ED7EF Time : 1360.0 sec. user=gd_barnes [2009-02-20 16:14:56] 1225*2^454557-1 is not prime. Res64: 45CA48D5458DCE17 Time : 1359.0 sec. user=gd_barnes [2009-02-20 16:19:28] 1239*2^454557-1 is not prime. Res64: B025DCBDC7BF3A84 Time : 1359.0 sec. user=gd_barnes [2009-02-20 16:23:57] 1221*2^451289-1 is not prime. Res64: 70811BB958129079 Time : 1356.0 sec. user=gd_barnes [2009-02-20 16:28:30] 1287*2^454557-1 is not prime. Res64: 58E922EFD70659DF Time : 1358.0 sec. user=gd_barnes [2009-02-20 16:33:01] 1297*2^454557-1 is not prime. Res64: 8489086C5591205D Time : 1356.0 sec. user=gd_barnes [2009-02-20 16:38:21] 1377*2^454557-1 is not prime. Res64: 3B58CE32DE066D5A Time : 1405.0 sec. user=gd_barnes [2009-02-20 16:42:06] 1011*2^454558-1 is not prime. Res64: 74A5D1BC65A47D7B Time : 1358.0 sec. user=gd_barnes [2009-02-20 16:46:36] 1007*2^451292-1 is not prime. Res64: D02918E98D2BC2F4 Time : 1359.0 sec. user=gd_barnes [2009-02-20 16:51:07] 1017*2^454558-1 is not prime. Res64: 864556174A5B4BC0 Time : 1357.0 sec. user=gd_barnes [2009-02-20 16:55:40] 1023*2^454558-1 is not prime. Res64: 3076590BA68AF2A5 Time : 1359.0 sec. user=gd_barnes [2009-02-20 17:00:09] 1125*2^451293-1 is not prime. Res64: E45C19994C0E7C19 Time : 1242.0 sec. user=gd_barnes [2009-02-20 17:04:39] 1237*2^451293-1 is not prime. Res64: 225294F53B95C01A Time : 1353.0 sec. user=gd_barnes [2009-02-20 17:09:09] 1185*2^451294-1 is not prime. Res64: D7CB31B0729B57FB Time : 1353.0 sec. user=gd_barnes [2009-02-20 17:13:39] 1233*2^451294-1 is not prime. Res64: 2C354B6E7A7EC473 Time : 1352.0 sec. user=gd_barnes [2009-02-20 17:18:09] 1287*2^451294-1 is not prime. Res64: AF01EB11674EB8DE Time : 1349.0 sec. user=gd_barnes [2009-02-20 17:22:41] 1025*2^454558-1 is not prime. Res64: CE4E82CCFDDAD9CB Time : 1352.0 sec. user=gd_barnes [2009-02-20 17:27:14] 1055*2^454558-1 is not prime. Res64: C5CBC619C222DA25 Time : 1355.0 sec. user=gd_barnes [2009-02-20 17:31:46] 1085*2^454558-1 is not prime. Res64: BE888AA749D6831E Time : 1357.0 sec. user=gd_barnes [2009-02-20 17:36:18] 1113*2^454558-1 is not prime. Res64: 5DF749E20BD8BB46 Time : 1359.0 sec. user=gd_barnes [2009-02-20 17:40:50] 1277*2^454558-1 is not prime. Res64: 5DEB2FAED12174AD Time : 1361.0 sec. user=gd_barnes [2009-02-20 17:45:23] 1293*2^454558-1 is not prime. Res64: 4637B73FFB517CBE Time : 1362.0 sec. user=gd_barnes [2009-02-20 17:50:08] 1295*2^454558-1 is not prime. Res64: 91D6DD48239FC57C Time : 1375.0 sec. user=gd_barnes [2009-02-20 17:54:27] 1305*2^454558-1 is not prime. Res64: 89DCD80F4B0F1640 Time : 1361.0 sec. user=gd_barnes [2009-02-20 17:58:58] 1311*2^454558-1 is not prime. Res64: 4A396F9BCF9E76AE Time : 1360.0 sec. user=gd_barnes [2009-02-20 18:03:31] 1323*2^454558-1 is not prime. Res64: 26C880E76F7B6248 Time : 1361.0 sec. user=gd_barnes [2009-02-20 18:10:51] 1365*2^454558-1 is not prime. Res64: 964BA8B8FE14D144 Time : 1528.0 sec. user=gd_barnes [2009-02-20 18:12:35] 1035*2^454559-1 is not prime. Res64: 92518A1C1A483DD7 Time : 1347.0 sec. user=gd_barnes [2009-02-20 18:17:07] 1065*2^454559-1 is not prime. Res64: 37B217AAAFF9DB79 Time : 1360.0 sec. user=gd_barnes [2009-02-20 18:21:39] 1089*2^454559-1 is not prime. Res64: 73E0325CCA89230E Time : 1361.0 sec. user=gd_barnes [2009-02-20 18:26:11] 1093*2^454559-1 is not prime. Res64: D9756C7B32708634 Time : 1360.0 sec. user=gd_barnes [2009-02-20 18:30:43] 1123*2^454559-1 is not prime. Res64: 13A1C2462DDE771D Time : 1192.0 sec. user=gd_barnes [2009-02-20 18:35:16] 1215*2^454559-1 is not prime. Res64: 9C0C2C8F23648A51 Time : 1361.0 sec. user=gd_barnes [2009-02-20 18:39:47] 1249*2^454559-1 is not prime. Res64: AE935E82F8DF6B5C Time : 1360.0 sec. user=gd_barnes [2009-02-20 18:44:20] 1363*2^454559-1 is not prime. Res64: 07598550564601BD Time : 1361.0 sec. user=gd_barnes [2009-02-20 18:48:51] 1109*2^454560-1 is not prime. Res64: FCC6B6CEC90E5FEE Time : 1360.0 sec. user=gd_barnes [2009-02-20 18:53:24] 1169*2^454560-1 is not prime. Res64: CB69F880186135A8 Time : 1361.0 sec. user=mdettweiler [2009-02-20 18:54:20] 1291*2^451383-1 is not prime. Res64: D8AA51DC30DD5FDF Time : 186565.0 sec. user=mdettweiler [2009-02-20 18:54:20] 1321*2^451383-1 is not prime. Res64: C34388EEF71A85C4 Time : 186358.0 sec. user=mdettweiler [2009-02-20 18:54:20] 1335*2^451383-1 is not prime. Res64: 15692E32900459B6 Time : 186150.0 sec. user=mdettweiler [2009-02-20 18:54:21] 1053*2^451384-1 is not prime. Res64: 49CA6934A4263AD1 Time : 185942.0 sec. user=mdettweiler [2009-02-20 18:54:21] 1059*2^451384-1 is not prime. Res64: 81ADC92E0E4121FD Time : 185734.0 sec. user=gd_barnes [2009-02-20 18:57:57] 1245*2^454560-1 is not prime. Res64: A234A0AA41F5401A Time : 1361.0 sec. user=mdettweiler [2009-02-20 18:58:10] 1149*2^454561-1 is not prime. Res64: 2D230EB8C341A21F Time : 232.0 sec. user=mdettweiler [2009-02-20 19:01:43] 1179*2^454561-1 is not prime. Res64: A497862395E979C5 Time : 444.0 sec. user=gd_barnes [2009-02-20 19:02:28] 1263*2^454560-1 is not prime. Res64: 74F78BF13367F088 Time : 1361.0 sec. user=mdettweiler [2009-02-20 19:05:16] 1209*2^454561-1 is not prime. Res64: 0F1FCF906DA2E089 Time : 657.0 sec. user=gd_barnes [2009-02-20 19:07:15] 1011*2^454561-1 is not prime. Res64: E504F00EF4FA6E0E Time : 1375.0 sec. user=mdettweiler [2009-02-20 19:08:49] 1261*2^454561-1 is not prime. Res64: F9538A5F4C7DAE6A Time : 870.0 sec. user=mdettweiler [2009-02-20 19:11:18] 1377*2^454561-1 is not prime. Res64: D528CFC42A3101E3 Time : 1016.0 sec. user=mdettweiler [2009-02-20 19:11:19] 1395*2^454561-1 is not prime. Res64: BA8142609F939FE3 Time : 1012.0 sec. user=gd_barnes [2009-02-20 19:11:32] 1081*2^454561-1 is not prime. Res64: 8F8717F39047E110 Time : 1361.0 sec. user=mdettweiler [2009-02-20 19:12:16] 1399*2^454561-1 is not prime. Res64: 7E2A7C3C0543D46E Time : 1065.0 sec. user=mdettweiler [2009-02-20 19:12:19] 1291*2^454561-1 is not prime. Res64: E7F2DD62336A4868 Time : 1079.0 sec. user=mdettweiler [2009-02-20 19:14:47] 1013*2^454562-1 is not prime. Res64: 381B2B837A0457D4 Time : 1022.0 sec. user=mdettweiler [2009-02-20 19:14:51] 1293*2^454562-1 is not prime. Res64: B415EDAA9D0B7D09 Time : 984.0 sec. user=mdettweiler [2009-02-20 19:15:46] 1287*2^454562-1 is not prime. Res64: 3480CA9D437BDD96 Time : 1048.0 sec. user=mdettweiler [2009-02-20 19:15:53] 1251*2^454562-1 is not prime. Res64: CBD02F20C5CE9D65 Time : 1063.0 sec. user=gd_barnes [2009-02-20 19:16:05] 1111*2^454561-1 is not prime. Res64: 8005B255C9E5E40D Time : 1361.0 sec. user=mdettweiler [2009-02-20 19:18:17] 1337*2^454562-1 is not prime. Res64: 65BECBAE9685E6E9 Time : 962.0 sec. user=mdettweiler [2009-02-20 19:18:23] 1251*2^454563-1 is not prime. Res64: 918BD76D99697C84 Time : 944.0 sec. user=mdettweiler [2009-02-20 19:19:20] 1331*2^454562-1 is not prime. Res64: 6AE4A83B4881FFDF Time : 1053.0 sec. user=mdettweiler [2009-02-20 19:19:23] 1313*2^454562-1 is not prime. Res64: 5EB1BFE3FA00A096 Time : 1060.0 sec. user=gd_barnes [2009-02-20 19:21:13] 1035*2^454562-1 is not prime. Res64: B14680339ECCD2B1 Time : 1397.0 sec. user=mdettweiler [2009-02-20 19:21:48] 1281*2^454563-1 is not prime. Res64: 81128220F7781D06 Time : 1051.0 sec. user=mdettweiler [2009-02-20 19:21:53] 1037*2^454564-1 is not prime. Res64: F3CCB8804CD0E3D1 Time : 1033.0 sec. user=mdettweiler [2009-02-20 19:22:52] 1083*2^454564-1 is not prime. Res64: 01E76E60F3FE3F03 Time : 1055.0 sec. user=mdettweiler [2009-02-20 19:22:56] 1077*2^454564-1 is not prime. Res64: 942EC5D42CB2A176 Time : 1061.0 sec. user=gd_barnes [2009-02-20 19:25:10] 1011*2^454563-1 is not prime. Res64: 16B55402FEB3DF0C Time : 1362.0 sec. user=mdettweiler [2009-02-20 19:25:19] 1277*2^454564-1 is not prime. Res64: 779DC2B8A287B20C Time : 1052.0 sec. user=mdettweiler [2009-02-20 19:25:25] 1295*2^454564-1 is not prime. Res64: 88033DE3A095C29F Time : 1058.0 sec. user=mdettweiler [2009-02-20 19:26:24] 1347*2^454564-1 is not prime. Res64: B22B0B26F89D8280 Time : 1059.0 sec. user=mdettweiler [2009-02-20 19:26:26] 1029*2^454565-1 is not prime. Res64: 72E54CB4B9C3D25A Time : 1057.0 sec. user=mdettweiler [2009-02-20 19:28:51] 1221*2^454565-1 is not prime. Res64: 36263ADEFA6D22D9 Time : 1053.0 sec. user=mdettweiler [2009-02-20 19:28:55] 1281*2^454565-1 is not prime. Res64: F6B1B526CF50FB02 Time : 1056.0 sec. user=gd_barnes [2009-02-20 19:29:41] 1203*2^454564-1 is not prime. Res64: 8BF7699A32F097D6 Time : 1346.0 sec. user=mdettweiler [2009-02-20 19:29:56] 1371*2^454565-1 is not prime. Res64: 330D698F6F0034F3 Time : 1061.0 sec. user=mdettweiler [2009-02-20 19:29:56] 1095*2^454566-1 is not prime. Res64: C1670650EFE08318 Time : 1057.0 sec. user=mdettweiler [2009-02-20 19:32:21] 1097*2^454566-1 is not prime. Res64: 868D4E0B1AF41B2C Time : 1055.0 sec. user=mdettweiler [2009-02-20 19:32:26] 1115*2^454566-1 is not prime. Res64: 95C5B5CF87FDA870 Time : 1055.0 sec. user=mdettweiler [2009-02-20 19:33:27] 1157*2^454566-1 is not prime. Res64: 4FAAEF33BA56BA92 Time : 1061.0 sec. user=mdettweiler [2009-02-20 19:33:29] 1265*2^454566-1 is not prime. Res64: EE9F93724C471992 Time : 1056.0 sec. user=mdettweiler [2009-02-20 19:35:52] 1235*2^456334-1 is not prime. Res64: D905BBFCC2077643 Time : 1055.0 sec. user=mdettweiler [2009-02-20 19:35:59] 1295*2^456334-1 is not prime. Res64: 296C75AE53CC3EEC Time : 1057.0 sec. user=mdettweiler [2009-02-20 19:36:58] 1051*2^456335-1 is not prime. Res64: 0C40AFD55148660F Time : 1058.0 sec. user=mdettweiler [2009-02-20 19:37:03] 1053*2^456335-1 is not prime. Res64: 2A7CF096B0FAC53F Time : 1060.0 sec. user=gd_barnes [2009-02-20 19:38:58] 1185*2^456334-1 is not prime. Res64: A9D65E0F1A8E4826 Time : 1373.0 sec. user=mdettweiler [2009-02-20 19:39:23] 1113*2^456335-1 is not prime. Res64: A17ADF26651BA007 Time : 1055.0 sec. user=mdettweiler [2009-02-20 19:39:33] 1125*2^456335-1 is not prime. Res64: 1A45A0B7FCD08498 Time : 1060.0 sec. user=mdettweiler [2009-02-20 19:40:29] 1183*2^456335-1 is not prime. Res64: C81007E6B99315C6 Time : 1057.0 sec. user=mdettweiler [2009-02-20 19:40:35] 1215*2^456335-1 is not prime. Res64: 377FDD37D506AA29 Time : 1060.0 sec. user=mdettweiler [2009-02-20 19:42:57] 1257*2^456336-1 is not prime. Res64: 58740A9FCB1A6FF5 Time : 1058.0 sec. user=mdettweiler [2009-02-20 19:43:04] 1269*2^456336-1 is not prime. Res64: 96F1BCACECDD7937 Time : 1059.0 sec. user=gd_barnes [2009-02-20 19:43:30] 1305*2^456335-1 is not prime. Res64: 22F21170497B3297 Time : 1178.0 sec. user=mdettweiler [2009-02-20 19:44:02] 1295*2^456336-1 is not prime. Res64: 457558C8A9DB6D4F Time : 1058.0 sec. user=mdettweiler [2009-02-20 19:44:06] 1319*2^456336-1 is not prime. Res64: 2BF7DBDD2CD0BFD3 Time : 1061.0 sec. user=mdettweiler [2009-02-20 19:46:28] 1343*2^456336-1 is not prime. Res64: 6469E946D7F06969 Time : 1058.0 sec. user=mdettweiler [2009-02-20 19:46:36] 1035*2^456337-1 is not prime. Res64: 86AF9C80092C5DA7 Time : 1061.0 sec. user=mdettweiler [2009-02-20 19:47:34] 1069*2^456337-1 is not prime. Res64: 535DECC71C96B44A Time : 1058.0 sec. user=mdettweiler [2009-02-20 19:47:39] 1147*2^456337-1 is not prime. Res64: 2F8A5670315924A8 Time : 1063.0 sec. user=gd_barnes [2009-02-20 19:48:04] 1203*2^456336-1 is not prime. Res64: F952C1689D66CDFC Time : 1375.0 sec. user=mdettweiler [2009-02-20 19:50:01] 1209*2^456337-1 is not prime. Res64: 9B160E6D4DB7DF90 Time : 1060.0 sec. user=mdettweiler [2009-02-20 19:50:08] 1261*2^456337-1 is not prime. Res64: A820D53D1C4CDC29 Time : 1062.0 sec. user=mdettweiler [2009-02-20 19:51:05] 1287*2^456337-1 is not prime. Res64: 9D54BC5CAB57A167 Time : 1058.0 sec. user=mdettweiler [2009-02-20 19:51:14] 1297*2^456337-1 is not prime. Res64: 2DC3DB7D8A294F02 Time : 1065.0 sec. user=gd_barnes [2009-02-20 19:52:36] 1057*2^456337-1 is not prime. Res64: 0D0C0FCF3879B756 Time : 1375.0 sec. user=mdettweiler [2009-02-20 19:53:32] 1097*2^456338-1 is not prime. Res64: 8DC8590701580095 Time : 1060.0 sec. user=mdettweiler [2009-02-20 19:53:41] 1131*2^456338-1 is not prime. Res64: DF0904130C03F7AF Time : 1062.0 sec. user=mdettweiler [2009-02-20 19:54:41] 1295*2^456338-1 is not prime. Res64: 314923FA066557D9 Time : 1063.0 sec. user=mdettweiler [2009-02-20 19:54:46] 1377*2^456338-1 is not prime. Res64: 1C7E74AE79419048 Time : 1063.0 sec. user=mdettweiler [2009-02-20 19:57:03] 1041*2^456339-1 is not prime. Res64: A587732E9BD389FD Time : 1060.0 sec. user=gd_barnes [2009-02-20 19:57:10] 1005*2^456339-1 is not prime. Res64: 6FBEFFA61BB1E016 Time : 1093.0 sec. user=mdettweiler [2009-02-20 19:57:12] 1075*2^456339-1 is not prime. Res64: E2C5E9A151D6F463 Time : 1059.0 sec. user=mdettweiler [2009-02-20 19:58:10] 1111*2^456339-1 is not prime. Res64: F4C9310E91068876 Time : 1061.0 sec. user=mdettweiler [2009-02-20 19:58:19] 1129*2^456339-1 is not prime. Res64: 951ECED64E9DD856 Time : 1064.0 sec. user=mdettweiler [2009-02-20 20:00:33] 1165*2^456339-1 is not prime. Res64: DEA93A508896B6EE Time : 1056.0 sec. user=mdettweiler [2009-02-20 20:00:44] 1225*2^456339-1 is not prime. Res64: 924C5815B15A385D Time : 1060.0 sec. user=mdettweiler [2009-02-20 20:01:40] 1381*2^456339-1 is not prime. Res64: 4A3766010A66A41D Time : 1058.0 sec. user=gd_barnes [2009-02-20 20:01:43] 1011*2^456339-1 is not prime. Res64: 15FF39CED9FAB088 Time : 1366.0 sec. user=mdettweiler [2009-02-20 20:01:53] 1085*2^456340-1 is not prime. Res64: 8FC84F55E83349C5 Time : 1067.0 sec. user=mdettweiler [2009-02-20 20:04:06] 1107*2^456340-1 is not prime. Res64: FF537F9B3CDD53E6 Time : 1058.0 sec. user=mdettweiler [2009-02-20 20:04:16] 1143*2^456340-1 is not prime. Res64: 7E8BEB228D56CD7F Time : 1060.0 sec. user=mdettweiler [2009-02-20 20:05:14] 1245*2^456340-1 is not prime. Res64: C695F2686734C5AE Time : 1061.0 sec. user=mdettweiler [2009-02-20 20:05:24] 1065*2^456341-1 is not prime. Res64: CCF973A40DA49813 Time : 1065.0 sec. user=gd_barnes [2009-02-20 20:06:16] 1321*2^456339-1 is not prime. Res64: 88E250A33D56D0A8 Time : 1366.0 sec. user=mdettweiler [2009-02-20 20:07:37] 1099*2^456341-1 is not prime. Res64: FB9B41A0DDC31160 Time : 1056.0 sec. user=mdettweiler [2009-02-20 20:07:49] 1107*2^456341-1 is not prime. Res64: 3A5FFCE89E5D7E9F Time : 1061.0 sec. user=mdettweiler [2009-02-20 20:08:46] 1141*2^456341-1 is not prime. Res64: 981DA740D424C62A Time : 1061.0 sec. user=mdettweiler [2009-02-20 20:08:58] 1149*2^456341-1 is not prime. Res64: 60F4ED91D2544732 Time : 1064.0 sec. user=gd_barnes [2009-02-20 20:10:50] 1075*2^456341-1 is not prime. Res64: ABE0F0BD1FE01DE7 Time : 1366.0 sec. user=mdettweiler [2009-02-20 20:11:09] 1321*2^456341-1 is not prime. Res64: 9C6CFDA742DFAD2E Time : 1057.0 sec. user=mdettweiler [2009-02-20 20:11:22] 1347*2^456341-1 is not prime. Res64: 486D17F678678027 Time : 1061.0 sec. user=mdettweiler [2009-02-20 20:12:18] 1053*2^456342-1 is not prime. Res64: D6AFA1198CE350AD Time : 1057.0 sec. user=mdettweiler [2009-02-20 20:12:29] 1101*2^456342-1 is not prime. Res64: D77B99D107571625 Time : 1063.0 sec. user=mdettweiler [2009-02-20 20:14:40] 1133*2^456342-1 is not prime. Res64: BB3247AA8E82F1E5 Time : 1057.0 sec. user=mdettweiler [2009-02-20 20:14:55] 1305*2^456342-1 is not prime. Res64: 616E3D6089F18915 Time : 1063.0 sec. user=gd_barnes [2009-02-20 20:15:22] 1165*2^456341-1 is not prime. Res64: 6FDDCADD3B043FC9 Time : 1366.0 sec. user=mdettweiler [2009-02-20 20:15:50] 1371*2^456342-1 is not prime. Res64: E5064E320C2586C2 Time : 1061.0 sec. user=mdettweiler [2009-02-20 20:16:01] 1397*2^456342-1 is not prime. Res64: 23C782DB76FE1D7E Time : 1062.0 sec. user=mdettweiler [2009-02-20 20:18:11] 1051*2^456343-1 is not prime. Res64: 42743641E4F0AA0B Time : 1058.0 sec. user=mdettweiler [2009-02-20 20:18:26] 1093*2^456343-1 is not prime. Res64: 6A2B61587DC00682 Time : 1062.0 sec. user=mdettweiler [2009-02-20 20:19:24] 1219*2^456343-1 is not prime. Res64: 0BEEF43FC33D3691 Time : 1064.0 sec. user=mdettweiler [2009-02-20 20:19:35] 1023*2^456344-1 is not prime. Res64: 54BD4455327AC170 Time : 1062.0 sec. user=gd_barnes [2009-02-20 20:19:56] 1187*2^456342-1 is not prime. Res64: 9BD67BCC0ACC6B22 Time : 1366.0 sec. user=mdettweiler [2009-02-20 20:21:43] 1037*2^456344-1 is not prime. Res64: AA2BDDACD967868D Time : 1058.0 sec. user=mdettweiler [2009-02-20 20:21:59] 1079*2^456344-1 is not prime. Res64: 52CDF4691BEA60DA Time : 1063.0 sec. user=mdettweiler [2009-02-20 20:22:54] 1107*2^456344-1 is not prime. Res64: 2365F817C16194B4 Time : 1060.0 sec. user=mdettweiler [2009-02-20 20:23:09] 1145*2^456344-1 is not prime. Res64: 4730E99A9408D390 Time : 1065.0 sec. user=gd_barnes [2009-02-20 20:24:29] 1351*2^456343-1 is not prime. Res64: 36962CD1E10FA763 Time : 1366.0 sec. user=mdettweiler [2009-02-20 20:25:17] 1163*2^456344-1 is not prime. Res64: 641316126213D6D7 Time : 1060.0 sec. user=mdettweiler [2009-02-20 20:25:31] 1193*2^456344-1 is not prime. Res64: F2B79B24AFC7A5B7 Time : 1062.0 sec. user=mdettweiler [2009-02-20 20:26:31] 1203*2^456344-1 is not prime. Res64: F2B226CD333978B1 Time : 1066.0 sec. user=mdettweiler [2009-02-20 20:26:46] 1095*2^456345-1 is not prime. Res64: 5C614CE7061AE80C Time : 1068.0 sec. user=mdettweiler [2009-02-20 20:28:47] 1309*2^456345-1 is not prime. Res64: DDEAFE094DCD1CEB Time : 1058.0 sec. user=gd_barnes [2009-02-20 20:29:02] 1155*2^456344-1 is not prime. Res64: EC5B47F4793316F5 Time : 1366.0 sec. user=mdettweiler [2009-02-20 20:29:02] 1311*2^456345-1 is not prime. Res64: 3734165DB1C1DE9F Time : 1060.0 sec. user=mdettweiler [2009-02-20 20:30:00] 1381*2^456345-1 is not prime. Res64: D5C1811EA009B63B Time : 1062.0 sec. user=mdettweiler [2009-02-20 20:30:12] 1025*2^456346-1 is not prime. Res64: 0F98987D104C9DDC Time : 1063.0 sec. user=mdettweiler [2009-02-20 20:32:19] 1041*2^456346-1 is not prime. Res64: E4EC9A0C6A51F81B Time : 1059.0 sec. user=mdettweiler [2009-02-20 20:32:35] 1185*2^456346-1 is not prime. Res64: AC0ED58736A7CAD2 Time : 1060.0 sec. user=mdettweiler [2009-02-20 20:33:33] 1251*2^456346-1 is not prime. Res64: 987DA98FAA871C57 Time : 1063.0 sec. user=gd_barnes [2009-02-20 20:33:36] 1119*2^456345-1 is not prime. Res64: 1A834902CE434671 Time : 1367.0 sec. user=mdettweiler [2009-02-20 20:33:47] 1293*2^456346-1 is not prime. Res64: 6F173ED40525BCF2 Time : 1066.0 sec. user=mdettweiler [2009-02-20 20:35:50] 1295*2^456346-1 is not prime. Res64: D1D5F1E3E7F098C8 Time : 1059.0 sec. user=mdettweiler [2009-02-20 20:36:10] 1307*2^456346-1 is not prime. Res64: F3010BED21B4ED04 Time : 1064.0 sec. user=mdettweiler [2009-02-20 20:37:04] 1323*2^456346-1 is not prime. Res64: 0F4C8F09D94BAD70 Time : 1062.0 sec. user=mdettweiler [2009-02-20 20:37:15] 1365*2^456346-1 is not prime. Res64: 7A1FAA90E7F55363 Time : 1060.0 sec. user=gd_barnes [2009-02-20 20:38:08] 1227*2^456346-1 is not prime. Res64: DC706C5BFFE4B6A5 Time : 1366.0 sec. user=mdettweiler [2009-02-20 20:39:23] 1011*2^456347-1 is not prime. Res64: 3C83FF6DBFFB78BC Time : 1060.0 sec. user=mdettweiler [2009-02-20 20:39:41] 1041*2^456347-1 is not prime. Res64: 9C27EA06019B9CC6 Time : 1062.0 sec. user=mdettweiler [2009-02-20 20:40:35] 1063*2^456347-1 is not prime. Res64: B81C66D683256480 Time : 1061.0 sec. user=mdettweiler [2009-02-20 20:40:48] 1111*2^456347-1 is not prime. Res64: E88D64A952BB334C Time : 1059.0 sec. user=gd_barnes [2009-02-20 20:42:42] 1005*2^456347-1 is not prime. Res64: 96F2238F4795A00F Time : 1366.0 sec. user=mdettweiler [2009-02-20 20:42:57] 1281*2^456347-1 is not prime. Res64: C76ACCBDA9A5C0D0 Time : 1060.0 sec. user=mdettweiler [2009-02-20 20:43:13] 1329*2^456347-1 is not prime. Res64: CB98C9CF5B4D9AF6 Time : 1062.0 sec. user=mdettweiler [2009-02-20 20:44:10] 1043*2^456348-1 is not prime. Res64: 110C6A88EF9910E9 Time : 1059.0 sec. user=mdettweiler [2009-02-20 20:44:24] 1095*2^456348-1 is not prime. Res64: B2CB688891A96D8F Time : 1058.0 sec. user=mdettweiler [2009-02-20 20:46:33] 1127*2^456348-1 is not prime. Res64: 7E678239164418E9 Time : 1066.0 sec. user=mdettweiler [2009-02-20 20:46:50] 1389*2^456348-1 is not prime. Res64: A2D9005474C3C67C Time : 1068.0 sec. user=gd_barnes [2009-02-20 20:47:18] 1245*2^456347-1 is not prime. Res64: 34E09679FAD0F378 Time : 1369.0 sec. user=mdettweiler [2009-02-20 20:47:48] 1119*2^456349-1 is not prime. Res64: 043E1269B9E77C83 Time : 1068.0 sec. user=mdettweiler [2009-02-20 20:48:03] 1137*2^456349-1 is not prime. Res64: 737535D6D0658825 Time : 1071.0 sec. user=mdettweiler [2009-02-20 20:50:06] 1161*2^456349-1 is not prime. Res64: 288757C897B174F3 Time : 1067.0 sec. user=mdettweiler [2009-02-20 20:50:26] 1219*2^456349-1 is not prime. Res64: 558F9ED13AADD3BD Time : 1071.0 sec. user=mdettweiler [2009-02-20 20:51:22] 1221*2^456349-1 is not prime. Res64: 20FF041313711DCC Time : 1069.0 sec. user=mdettweiler [2009-02-20 20:51:46] 1395*2^456349-1 is not prime. Res64: FE8AA647416F220C Time : 1079.0 sec. user=gd_barnes [2009-02-20 20:51:49] 1245*2^456348-1 is not prime. Res64: 72F190DD52D8798B Time : 1367.0 sec. user=mdettweiler [2009-02-20 20:53:48] 1091*2^456350-1 is not prime. Res64: F4683BBD1D544E89 Time : 1078.0 sec. user=mdettweiler [2009-02-20 20:54:00] 1095*2^456350-1 is not prime. Res64: D6B14332D6E302AF Time : 1070.0 sec. user=mdettweiler [2009-02-20 20:54:59] 1155*2^456350-1 is not prime. Res64: 13F9C75463EB0EE1 Time : 1075.0 sec. user=mdettweiler [2009-02-20 20:55:21] 1197*2^456350-1 is not prime. Res64: 99FB528C069E0827 Time : 1086.0 sec. user=gd_barnes [2009-02-20 20:56:21] 1375*2^456349-1 is not prime. Res64: 724208D711032A44 Time : 1366.0 sec. user=mdettweiler [2009-02-20 20:57:27] 1275*2^456350-1 is not prime. Res64: D475EFA97F4CF5A8 Time : 1084.0 sec. user=mdettweiler [2009-02-20 20:57:50] 1295*2^456350-1 is not prime. Res64: 74966F72A479EE75 Time : 1089.0 sec. user=mdettweiler [2009-02-20 20:58:42] 1317*2^456350-1 is not prime. Res64: FB09D27D65616E1E Time : 1087.0 sec. user=mdettweiler [2009-02-20 20:59:04] 1341*2^456350-1 is not prime. Res64: CE673CE328DB3AAA Time : 1096.0 sec. user=gd_barnes [2009-02-20 21:00:55] 1215*2^456350-1 is not prime. Res64: D76D794A77E6B7F9 Time : 1367.0 sec. user=mdettweiler [2009-02-20 21:01:05] 1033*2^456351-1 is not prime. Res64: 2ABC80E8E4511B1F Time : 1089.0 sec. user=mdettweiler [2009-02-20 21:01:25] 1063*2^456351-1 is not prime. Res64: F1D18C58485682AC Time : 1092.0 sec. user=mdettweiler [2009-02-20 21:02:17] 1083*2^456351-1 is not prime. Res64: A5ABF5A410437E69 Time : 1089.0 sec. user=mdettweiler [2009-02-20 21:02:38] 1111*2^456351-1 is not prime. Res64: C329E29520ECCCFE Time : 1094.0 sec. user=mdettweiler [2009-02-20 21:04:39] 1155*2^456351-1 is not prime. Res64: 298D65F5C2E5E673 Time : 1086.0 sec. user=mdettweiler [2009-02-20 21:05:01] 1269*2^456351-1 is not prime. Res64: 3028A37D21CA192F Time : 1091.0 sec. user=gd_barnes [2009-02-20 21:05:29] 1377*2^456350-1 is not prime. Res64: DC6619AE43D04581 Time : 1368.0 sec. user=mdettweiler [2009-02-20 21:05:51] 1321*2^456351-1 is not prime. Res64: 07742B8370C3F0A4 Time : 1084.0 sec. user=mdettweiler [2009-02-20 21:06:11] 1083*2^456352-1 is not prime. Res64: C0AA75F032D84DAA Time : 1089.0 sec. user=mdettweiler [2009-02-20 21:08:13] 1095*2^456352-1 is not prime. Res64: E7D44B6891123046 Time : 1087.0 sec. user=mdettweiler [2009-02-20 21:08:35] 1209*2^456352-1 is not prime. Res64: DC2F3BC41870AB06 Time : 1090.0 sec. user=mdettweiler [2009-02-20 21:09:31] 1349*2^456352-1 is not prime. Res64: A5FBCC78B67ED119 Time : 1089.0 sec. user=mdettweiler [2009-02-20 21:09:46] 1385*2^456352-1 is not prime. Res64: 1CAA52A78B942175 Time : 1080.0 sec. user=gd_barnes [2009-02-20 21:10:01] 1299*2^456351-1 is not prime. Res64: DF2B3756322AB002 Time : 1363.0 sec. user=mdettweiler [2009-02-20 21:11:49] 1167*2^456353-1 is not prime. Res64: F55ED5836E1E62DF Time : 1081.0 sec. user=mdettweiler [2009-02-20 21:12:10] 1191*2^456353-1 is not prime. Res64: B3D281B69780DF0C Time : 1090.0 sec. user=mdettweiler [2009-02-20 21:13:05] 1201*2^456353-1 is not prime. Res64: 9A2C3B868B5F48A5 Time : 1086.0 sec. user=mdettweiler [2009-02-20 21:13:22] 1291*2^456353-1 is not prime. Res64: 1CA36B1141A939E7 Time : 1081.0 sec. user=gd_barnes [2009-02-20 21:14:51] 1117*2^456353-1 is not prime. Res64: F70E85CC7D23E801 Time : 1382.0 sec. user=mdettweiler [2009-02-20 21:15:23] 1055*2^456354-1 is not prime. Res64: CF016438A04C28C1 Time : 1077.0 sec. user=mdettweiler [2009-02-20 21:15:45] 1077*2^456354-1 is not prime. Res64: 61539B8FE872C87F Time : 1075.0 sec. user=mdettweiler [2009-02-20 21:16:40] 1133*2^456354-1 is not prime. Res64: BF7D36BC71CDA525 Time : 1078.0 sec. user=mdettweiler [2009-02-20 21:16:53] 1157*2^456354-1 is not prime. Res64: 4B766C59C6FCE35C Time : 1069.0 sec. user=mdettweiler [2009-02-20 21:18:58] 1015*2^456355-1 is not prime. Res64: 1FA3551761B603ED Time : 1073.0 sec. user=gd_barnes [2009-02-20 21:19:08] 1341*2^456353-1 is not prime. Res64: 62D0BEAF3849B6DB Time : 1367.0 sec. user=mdettweiler [2009-02-20 21:19:23] 1029*2^456355-1 is not prime. Res64: 38DF0A756F7F0D4E Time : 1078.0 sec. user=mdettweiler [2009-02-20 21:20:15] 1071*2^456355-1 is not prime. Res64: 38BB775D4047AA40 Time : 1078.0 sec. user=mdettweiler [2009-02-20 21:20:29] 1233*2^456355-1 is not prime. Res64: 1B3B7960784FC2F6 Time : 1071.0 sec. user=mdettweiler [2009-02-20 21:22:33] 1305*2^456355-1 is not prime. Res64: AAD15688E3144798 Time : 1074.0 sec. user=mdettweiler [2009-02-20 21:22:56] 1311*2^456355-1 is not prime. Res64: DBA376894D2DB6B8 Time : 1075.0 sec. user=gd_barnes [2009-02-20 21:23:40] 1245*2^456354-1 is not prime. Res64: 7EF897A77DFB95BB Time : 1365.0 sec. user=mdettweiler [2009-02-20 21:24:03] 1065*2^456356-1 is not prime. Res64: 8F41706BD5246133 Time : 1072.0 sec. user=mdettweiler [2009-02-20 21:24:04] 1049*2^456356-1 is not prime. Res64: CA5BF609C14F8FD8 Time : 1094.0 sec. user=mdettweiler [2009-02-20 21:26:07] 1217*2^456356-1 is not prime. Res64: 20E844F446D08373 Time : 1074.0 sec. user=mdettweiler [2009-02-20 21:26:30] 1233*2^456356-1 is not prime. Res64: 259F3CCCDB9DFBCA Time : 1076.0 sec. user=mdettweiler [2009-02-20 21:27:27] 1275*2^456356-1 is not prime. Res64: 0EEF1F5DBF413FE8 Time : 1076.0 sec. user=mdettweiler [2009-02-20 21:27:36] 1295*2^456356-1 is not prime. Res64: 71741E5D4D987D16 Time : 1070.0 sec. user=gd_barnes [2009-02-20 21:28:14] 1399*2^456355-1 is not prime. Res64: DB663976424C9EE2 Time : 1365.0 sec. user=mdettweiler [2009-02-20 21:29:43] 1323*2^456356-1 is not prime. Res64: 008CF4C0B1EC4A0C Time : 1074.0 sec. user=mdettweiler [2009-02-20 21:30:07] 1021*2^456357-1 is not prime. Res64: E55E6452553FF8E1 Time : 1078.0 sec. user=mdettweiler [2009-02-20 21:31:06] 1027*2^456357-1 is not prime. Res64: F04F1CF6C6C3F8ED Time : 1081.0 sec. user=mdettweiler [2009-02-20 21:31:11] 1189*2^456357-1 is not prime. Res64: 2967A4B8686494E2 Time : 1069.0 sec. user=gd_barnes [2009-02-20 21:32:47] 1299*2^456356-1 is not prime. Res64: 6F104FAB6E2ED748 Time : 1366.0 sec. user=mdettweiler [2009-02-20 21:33:22] 1077*2^456358-1 is not prime. Res64: CEC42FBFF1255F44 Time : 1079.0 sec. user=mdettweiler [2009-02-20 21:33:38] 1107*2^456358-1 is not prime. Res64: 872CE0CAA1087C8D Time : 1073.0 sec. user=mdettweiler [2009-02-20 21:34:37] 1155*2^456358-1 is not prime. Res64: EEABD55FE5214736 Time : 1077.0 sec. user=mdettweiler [2009-02-20 21:34:45] 1197*2^456358-1 is not prime. Res64: DA75CE0E241E74CA Time : 1072.0 sec. user=mdettweiler [2009-02-20 21:36:55] 1223*2^456358-1 is not prime. Res64: A9355903AE66214D Time : 1078.0 sec. user=mdettweiler [2009-02-20 21:37:13] 1083*2^456359-1 is not prime. Res64: D9CEA9AE6E9F003A Time : 1070.0 sec. user=gd_barnes [2009-02-20 21:37:20] 1025*2^456358-1 is not prime. Res64: 766E132AE06BA3CB Time : 1349.0 sec. user=mdettweiler [2009-02-20 21:38:14] 1089*2^456359-1 is not prime. Res64: F8C3B79AA90D59BE Time : 1079.0 sec. user=mdettweiler [2009-02-20 21:38:19] 1153*2^456359-1 is not prime. Res64: 42A34CF0967AFD97 Time : 1071.0 sec. user=mdettweiler [2009-02-20 21:40:32] 1155*2^456359-1 is not prime. Res64: 06769A9B650C703F Time : 1079.0 sec. user=mdettweiler [2009-02-20 21:40:47] 1231*2^456359-1 is not prime. Res64: 817F5A73FB5FCFDA Time : 1072.0 sec. user=mdettweiler [2009-02-20 21:41:47] 1017*2^456360-1 is not prime. Res64: 6B5A7840CE737349 Time : 1063.0 sec. user=gd_barnes [2009-02-20 21:41:53] 1235*2^456358-1 is not prime. Res64: 3C347D590073D1E5 Time : 1365.0 sec. user=mdettweiler [2009-02-20 21:41:55] 1007*2^456360-1 is not prime. Res64: B92F5B503CCA97EC Time : 1072.0 sec. user=mdettweiler [2009-02-20 21:44:06] 1029*2^456360-1 is not prime. Res64: A0D982BD6CC2FE04 Time : 1079.0 sec. user=mdettweiler [2009-02-20 21:44:22] 1073*2^456360-1 is not prime. Res64: 3504365940AC9B17 Time : 1072.0 sec. user=mdettweiler [2009-02-20 21:45:23] 1095*2^456360-1 is not prime. Res64: 13CBE7FE38BC17A9 Time : 1076.0 sec. user=mdettweiler [2009-02-20 21:45:30] 1133*2^456360-1 is not prime. Res64: 13DD08E266BCC713 Time : 1074.0 sec. user=gd_barnes [2009-02-20 21:46:27] 1365*2^456359-1 is not prime. Res64: 891B41C6526F7066 Time : 1367.0 sec. user=mdettweiler [2009-02-20 21:47:40] 1347*2^456360-1 is not prime. Res64: 99BBC8128A349BB7 Time : 1077.0 sec. user=mdettweiler [2009-02-20 21:47:55] 1015*2^456361-1 is not prime. Res64: B5719301CFE0FB2F Time : 1071.0 sec. user=mdettweiler [2009-02-20 21:48:59] 1035*2^456361-1 is not prime. Res64: 045A2C55A7B09A2F Time : 1073.0 sec. user=mdettweiler [2009-02-20 21:49:03] 1111*2^456361-1 is not prime. Res64: FD6D8C35DEFB83BE Time : 1073.0 sec. user=gd_barnes [2009-02-20 21:51:00] 1263*2^456360-1 is not prime. Res64: DEF93E97087A1F62 Time : 1366.0 sec. user=mdettweiler [2009-02-20 21:51:19] 1023*2^456362-1 is not prime. Res64: 19EA354B3A086599 Time : 1077.0 sec. user=mdettweiler [2009-02-20 21:51:30] 1113*2^456362-1 is not prime. Res64: 99EA2852E9C55BDC Time : 1073.0 sec. user=mdettweiler [2009-02-20 21:52:37] 1131*2^456362-1 is not prime. Res64: 58469518237D1C63 Time : 1080.0 sec. user=mdettweiler [2009-02-20 21:52:41] 1253*2^456362-1 is not prime. Res64: D05568A21703FE7B Time : 1077.0 sec. user=mdettweiler [2009-02-20 21:54:54] 1263*2^456362-1 is not prime. Res64: 952E75F8F3427A96 Time : 1080.0 sec. user=mdettweiler [2009-02-20 21:55:07] 1365*2^456362-1 is not prime. Res64: E7911940C6219EDE Time : 1074.0 sec. user=gd_barnes [2009-02-20 21:56:06] 1171*2^456361-1 is not prime. Res64: 9829C8DAE82BCAF3 Time : 1399.0 sec. user=mdettweiler [2009-02-20 21:56:14] 1075*2^456363-1 is not prime. Res64: 1321A4681FC66F96 Time : 1081.0 sec. user=mdettweiler [2009-02-20 21:56:20] 1245*2^456363-1 is not prime. Res64: E7FD8D3C80161CED Time : 1081.0 sec. user=mdettweiler [2009-02-20 21:58:34] 1255*2^456363-1 is not prime. Res64: A0756E02F7454C48 Time : 1082.0 sec. user=mdettweiler [2009-02-20 21:58:49] 1263*2^456363-1 is not prime. Res64: 528C62D15B77C463 Time : 1082.0 sec. user=mdettweiler [2009-02-20 21:59:51] 1323*2^456363-1 is not prime. Res64: 4C1615FF66726473 Time : 1084.0 sec. user=mdettweiler [2009-02-20 22:00:02] 1253*2^456364-1 is not prime. Res64: 3D9A721CBCDBACBD Time : 1087.0 sec. user=gd_barnes [2009-02-20 22:00:07] 1059*2^456363-1 is not prime. Res64: 78A5F369B280C84D Time : 1367.0 sec. user=mdettweiler [2009-02-20 22:02:10] 1269*2^456364-1 is not prime. Res64: 11B89040940AAEC7 Time : 1084.0 sec. user=mdettweiler [2009-02-20 22:02:24] 1353*2^456364-1 is not prime. Res64: 58DDDDB1823AEF71 Time : 1083.0 sec. user=mdettweiler [2009-02-20 22:03:27] 1041*2^456365-1 is not prime. Res64: 3F065991C6DE05DF Time : 1084.0 sec. user=mdettweiler [2009-02-20 22:03:41] 1057*2^456365-1 is not prime. Res64: A355412D81245ABD Time : 1092.0 sec. user=gd_barnes [2009-02-20 22:04:53] 1133*2^456364-1 is not prime. Res64: 94B7C461821CDEDF Time : 1380.0 sec. user=mdettweiler [2009-02-20 22:05:51] 1131*2^456365-1 is not prime. Res64: 54B471381A34A887 Time : 1091.0 sec. user=mdettweiler [2009-02-20 22:06:01] 1237*2^456365-1 is not prime. Res64: AAA20AAA6E5A4003 Time : 1086.0 sec. user=mdettweiler [2009-02-20 22:07:08] 1261*2^456365-1 is not prime. Res64: 07D745EDB8F8D99F Time : 1089.0 sec. user=mdettweiler [2009-02-20 22:07:25] 1315*2^456365-1 is not prime. Res64: AD000915350212C8 Time : 1102.0 sec. user=gd_barnes [2009-02-20 22:09:13] 1081*2^456365-1 is not prime. Res64: 1550FDCC0208C299 Time : 1366.0 sec. user=mdettweiler [2009-02-20 22:09:32] 1095*2^456366-1 is not prime. Res64: C7F1FCBE11BD1915 Time : 1093.0 sec. user=mdettweiler [2009-02-20 22:09:50] 1157*2^456366-1 is not prime. Res64: ED4A682E284D6AC1 Time : 1100.0 sec. user=mdettweiler [2009-02-20 22:10:56] 1217*2^456366-1 is not prime. Res64: DB08F46CE9654703 Time : 1099.0 sec. user=mdettweiler [2009-02-20 22:11:17] 1323*2^456366-1 is not prime. Res64: 45EF02AAB8C536CB Time : 1116.0 sec. user=mdettweiler [2009-02-20 22:13:16] 1371*2^456366-1 is not prime. Res64: 9324E2632DF37FCC Time : 1102.0 sec. user=mdettweiler [2009-02-20 22:13:35] 1171*2^456367-1 is not prime. Res64: 1642B3DEB95C8A4D Time : 1108.0 sec. user=gd_barnes [2009-02-20 22:14:00] 1345*2^456365-1 is not prime. Res64: EBAD255E90AB0432 Time : 1380.0 sec. user=mdettweiler [2009-02-20 22:14:34] 1245*2^456367-1 is not prime. Res64: 07328E78C5F91007 Time : 1100.0 sec. user=mdettweiler [2009-02-20 22:14:54] 1269*2^456367-1 is not prime. Res64: 0854460EFBB32807 Time : 1114.0 sec. user=mdettweiler [2009-02-20 22:16:50] 1353*2^456367-1 is not prime. Res64: 300F82CBB75FA0A9 Time : 1096.0 sec. user=mdettweiler [2009-02-20 22:17:08] 1375*2^456367-1 is not prime. Res64: B6409D7A41507202 Time : 1099.0 sec. user=mdettweiler [2009-02-20 22:18:08] 1085*2^456368-1 is not prime. Res64: F8C1D32C23B1AF04 Time : 1098.0 sec. user=gd_barnes [2009-02-20 22:18:19] 1281*2^456367-1 is not prime. Res64: D0AD07E38890DF0B Time : 1268.0 sec. user=mdettweiler [2009-02-20 22:18:26] 1125*2^456368-1 is not prime. Res64: 3DFD5AE7C5BBBDD6 Time : 1104.0 sec. user=mdettweiler [2009-02-20 22:20:24] 1373*2^456368-1 is not prime. Res64: F3D79DDA33CAFA88 Time : 1094.0 sec. user=mdettweiler [2009-02-20 22:20:40] 1011*2^456369-1 is not prime. Res64: C2E3B6C2B96B3C68 Time : 1096.0 sec. user=mdettweiler [2009-02-20 22:21:42] 1045*2^456369-1 is not prime. Res64: 302B5D65B2E0CA88 Time : 1095.0 sec. user=mdettweiler [2009-02-20 22:21:59] 1071*2^456369-1 is not prime. Res64: F18BF0C9788A4633 Time : 1099.0 sec. user=gd_barnes [2009-02-20 22:22:53] 1217*2^456368-1 is not prime. Res64: BCCCF566B5CB20F9 Time : 1366.0 sec. user=mdettweiler [2009-02-20 22:23:54] 1209*2^456369-1 is not prime. Res64: A48156A3825190B6 Time : 1083.0 sec. user=mdettweiler [2009-02-20 22:24:12] 1017*2^456370-1 is not prime. Res64: 3E3BA9E7E30852E2 Time : 1091.0 sec. user=mdettweiler [2009-02-20 22:25:16] 1053*2^456370-1 is not prime. Res64: A8A73D2E1830E160 Time : 1089.0 sec. user=mdettweiler [2009-02-20 22:25:30] 1073*2^456370-1 is not prime. Res64: FBA4155B595EF6F0 Time : 1085.0 sec. user=gd_barnes [2009-02-20 22:27:26] 1147*2^456369-1 is not prime. Res64: 4903D884DDE99577 Time : 1353.0 sec. user=mdettweiler [2009-02-20 22:27:28] 1263*2^456370-1 is not prime. Res64: 0DC26D90D0722EA8 Time : 1076.0 sec. user=mdettweiler [2009-02-20 22:27:44] 1301*2^456370-1 is not prime. Res64: 74630B3F78615E35 Time : 1075.0 sec. user=mdettweiler [2009-02-20 22:28:50] 1385*2^456370-1 is not prime. Res64: F7432A702DC7AC14 Time : 1075.0 sec. user=mdettweiler [2009-02-20 22:29:01] 1063*2^456371-1 is not prime. Res64: 35CC5CB1FA1784C9 Time : 1065.0 sec. user=mdettweiler [2009-02-20 22:30:59] 1065*2^456371-1 is not prime. Res64: 79A691D66D109336 Time : 1064.0 sec. user=mdettweiler [2009-02-20 22:31:19] 1233*2^456371-1 is not prime. Res64: 4DE115DED6210789 Time : 1064.0 sec. user=gd_barnes [2009-02-20 22:31:59] 1121*2^456370-1 is not prime. Res64: 444A1ABF7D647A2A Time : 1366.0 sec. user=mdettweiler [2009-02-20 22:32:21] 1321*2^456371-1 is not prime. Res64: 5071F9FFFBD82D1C Time : 1067.0 sec. user=mdettweiler [2009-02-20 22:32:34] 1007*2^456372-1 is not prime. Res64: A50351C8A3A11FEC Time : 1061.0 sec. user=mdettweiler [2009-02-20 22:34:30] 1097*2^456372-1 is not prime. Res64: D5B11F5397E996AB Time : 1060.0 sec. user=mdettweiler [2009-02-20 22:34:50] 1109*2^456372-1 is not prime. Res64: EAA6465447EA883D Time : 1062.0 sec. user=mdettweiler [2009-02-20 22:35:54] 1115*2^456372-1 is not prime. Res64: 24C9FAC0CF3A3753 Time : 1066.0 sec. user=mdettweiler [2009-02-20 22:36:07] 1365*2^456372-1 is not prime. Res64: 8D4C2009CE11E70E Time : 1061.0 sec. user=gd_barnes [2009-02-20 22:36:32] 1281*2^456371-1 is not prime. Res64: 697D193DFC0149C9 Time : 1352.0 sec. user=mdettweiler [2009-02-20 22:38:20] 1395*2^456372-1 is not prime. Res64: DF1F456C54F690D2 Time : 1076.0 sec. user=mdettweiler [2009-02-20 22:38:22] 1035*2^456373-1 is not prime. Res64: 51BF0237D860C170 Time : 1062.0 sec. user=mdettweiler [2009-02-20 22:39:27] 1051*2^456373-1 is not prime. Res64: ECF6AABEBE9549B2 Time : 1066.0 sec. user=mdettweiler [2009-02-20 22:39:40] 1057*2^456373-1 is not prime. Res64: 780614F3AD1A618E Time : 1062.0 sec. user=gd_barnes [2009-02-20 22:41:06] 1329*2^456372-1 is not prime. Res64: 8BF922E1D54C5AF4 Time : 1367.0 sec. user=mdettweiler [2009-02-20 22:41:51] 1135*2^456373-1 is not prime. Res64: 1EA6711235E4EC57 Time : 1077.0 sec. user=mdettweiler [2009-02-20 22:41:54] 1167*2^456373-1 is not prime. Res64: ADA40BF7474D70DA Time : 1062.0 sec. user=mdettweiler [2009-02-20 22:43:00] 1005*2^456374-1 is not prime. Res64: 6D76052B8B93FDC1 Time : 1065.0 sec. user=mdettweiler [2009-02-20 22:43:11] 1053*2^456374-1 is not prime. Res64: C920B7806C534B59 Time : 1061.0 sec. user=gd_barnes [2009-02-20 22:45:38] 1077*2^456373-1 is not prime. Res64: FEE41A9C68B15593 Time : 1366.0 sec. user=mdettweiler [2009-02-20 22:45:40] 1331*2^456374-1 is not prime. Res64: F3420C3B76E91518 Time : 1076.0 sec. user=mdettweiler [2009-02-20 22:46:38] 1257*2^456374-1 is not prime. Res64: 12C3D368AFA6130C Time : 1150.0 sec. user=mdettweiler [2009-02-20 22:46:39] 1377*2^456374-1 is not prime. Res64: 7715825A7A8A2A34 Time : 1069.0 sec. user=mdettweiler [2009-02-20 22:46:45] 1083*2^456375-1 is not prime. Res64: F2625505CAB9DB6B Time : 1064.0 sec. user=mdettweiler [2009-02-20 22:48:45] 1183*2^456375-1 is not prime. Res64: 8989A8C83A7D56DB Time : 1066.0 sec. user=mdettweiler [2009-02-20 22:49:07] 1263*2^456375-1 is not prime. Res64: CD9C11B8338EEB86 Time : 1069.0 sec. user=mdettweiler [2009-02-20 22:50:04] 1389*2^456375-1 is not prime. Res64: 1E707E09A585EE4F Time : 1063.0 sec. user=gd_barnes [2009-02-20 22:50:12] 1163*2^456374-1 is not prime. Res64: 2BB23102AA4CF1F2 Time : 1366.0 sec. user=mdettweiler [2009-02-20 22:50:17] 1395*2^456375-1 is not prime. Res64: F85B2D4508CAF69B Time : 1063.0 sec. user=mdettweiler [2009-02-20 22:52:17] 1007*2^456376-1 is not prime. Res64: B77C78BDE38645EA Time : 1067.0 sec. user=mdettweiler [2009-02-20 22:52:32] 1037*2^456376-1 is not prime. Res64: B53DC10E2600D608 Time : 1063.0 sec. user=mdettweiler [2009-02-20 22:53:36] 1059*2^456376-1 is not prime. Res64: E1BE930BF655220C Time : 1062.0 sec. user=mdettweiler [2009-02-20 22:53:50] 1065*2^456376-1 is not prime. Res64: A33CF8B2F433F0CB Time : 1064.0 sec. user=gd_barnes [2009-02-20 22:54:45] 1299*2^456375-1 is not prime. Res64: 582C20E0DE1193A9 Time : 1366.0 sec. user=mdettweiler [2009-02-20 22:55:52] 1069*2^456377-1 is not prime. Res64: 3647E6327287C771 Time : 972.0 sec. user=mdettweiler [2009-02-20 22:56:05] 1199*2^456376-1 is not prime. Res64: 860C340E90E8FB00 Time : 1063.0 sec. user=mdettweiler [2009-02-20 22:57:08] 1223*2^456376-1 is not prime. Res64: B1EEDD24E1D34716 Time : 1061.0 sec. user=mdettweiler [2009-02-20 22:57:21] 1015*2^456377-1 is not prime. Res64: DC227D767795655B Time : 1061.0 sec. user=gd_barnes [2009-02-20 22:59:18] 1167*2^456376-1 is not prime. Res64: 7C01BC4078EB2EAA Time : 1366.0 sec. user=mdettweiler [2009-02-20 22:59:23] 1321*2^456377-1 is not prime. Res64: 887EE5EDC817EF8C Time : 976.0 sec. user=mdettweiler [2009-02-20 22:59:37] 1237*2^456377-1 is not prime. Res64: C54C43609BC8F549 Time : 1063.0 sec. user=mdettweiler [2009-02-20 23:00:40] 1249*2^456377-1 is not prime. Res64: 85EF7BA304694DCD Time : 1061.0 sec. user=mdettweiler [2009-02-20 23:00:54] 1365*2^456377-1 is not prime. Res64: AEB8858A4DB677CB Time : 1063.0 sec. user=mdettweiler [2009-02-20 23:02:57] 1253*2^456378-1 is not prime. Res64: 6ECEFCACD4449CB8 Time : 979.0 sec. user=mdettweiler [2009-02-20 23:03:09] 1383*2^456378-1 is not prime. Res64: 2AA4B5EE1790F66F Time : 973.0 sec. user=gd_barnes [2009-02-20 23:03:51] 1081*2^456377-1 is not prime. Res64: 685CA1452278EFE3 Time : 1365.0 sec. user=mdettweiler [2009-02-20 23:04:12] 1283*2^456378-1 is not prime. Res64: 4B070CEE9F9FCECC Time : 1054.0 sec. user=mdettweiler [2009-02-20 23:04:28] 1347*2^456378-1 is not prime. Res64: 3315DD54F78723C5 Time : 1064.0 sec. user=mdettweiler [2009-02-20 23:06:31] 1015*2^456379-1 is not prime. Res64: C496C102654E6EE7 Time : 1066.0 sec. user=mdettweiler [2009-02-20 23:06:40] 1045*2^456379-1 is not prime. Res64: BE04F41E727405EE Time : 1054.0 sec. user=mdettweiler [2009-02-20 23:07:46] 1123*2^456379-1 is not prime. Res64: 958833DA66BC4C40 Time : 1062.0 sec. user=mdettweiler [2009-02-20 23:07:59] 1261*2^456379-1 is not prime. Res64: DC9E244904B19A61 Time : 1062.0 sec. user=gd_barnes [2009-02-20 23:08:24] 1035*2^456378-1 is not prime. Res64: CADA5B0EF5D7CD0B Time : 1366.0 sec. user=mdettweiler [2009-02-20 23:10:01] 1279*2^456379-1 is not prime. Res64: D0D3D1BFB0CBC014 Time : 1065.0 sec. user=mdettweiler [2009-02-20 23:10:14] 1309*2^456379-1 is not prime. Res64: B2917F9BA611119E Time : 1062.0 sec. user=mdettweiler [2009-02-20 23:11:18] 1163*2^456380-1 is not prime. Res64: 8E5B6920545F675D Time : 1062.0 sec. user=mdettweiler [2009-02-20 23:11:30] 1193*2^456380-1 is not prime. Res64: 9BEDA768E55C453E Time : 1060.0 sec. user=gd_barnes [2009-02-20 23:12:58] 1249*2^456379-1 is not prime. Res64: E718A50E9470A6E5 Time : 1366.0 sec. user=mdettweiler [2009-02-20 23:13:34] 1275*2^456380-1 is not prime. Res64: 486D4B939C476095 Time : 1062.0 sec. user=mdettweiler [2009-02-20 23:13:44] 1373*2^456380-1 is not prime. Res64: F78B4D0B1FDC171B Time : 1059.0 sec. user=mdettweiler [2009-02-20 23:14:49] 1379*2^456380-1 is not prime. Res64: E0F280F7FFD5C3A7 Time : 1062.0 sec. user=mdettweiler [2009-02-20 23:15:06] 1027*2^456381-1 is not prime. Res64: 72537A9B195EB885 Time : 1065.0 sec. user=gd_barnes [2009-02-20 23:17:30] 1197*2^456380-1 is not prime. Res64: E0658459977203CC Time : 1365.0 sec. user=mdettweiler [2009-02-20 23:18:22] 1131*2^456381-1 is not prime. Res64: ADB92A41E75CB0EE Time : 1062.0 sec. user=mdettweiler [2009-02-20 23:18:33] 1105*2^456381-1 is not prime. Res64: 4C2180DCBFE56B2B Time : 1150.0 sec. user=mdettweiler [2009-02-20 23:18:39] 1221*2^456381-1 is not prime. Res64: AAF869450E874DAB Time : 1066.0 sec. user=mdettweiler [2009-02-20 23:18:41] 1125*2^456381-1 is not prime. Res64: 0F8AF85439A44CDF Time : 1145.0 sec. user=mdettweiler [2009-02-20 23:20:43] 1239*2^456381-1 is not prime. Res64: 5CEFE2C8E182AC15 Time : 1066.0 sec. user=mdettweiler [2009-02-20 23:20:48] 1255*2^456381-1 is not prime. Res64: 30DAFD491B9E3C38 Time : 1060.0 sec. user=mdettweiler [2009-02-20 23:21:56] 1357*2^456381-1 is not prime. Res64: F4E57CAED8FF7553 Time : 1064.0 sec. user=gd_barnes [2009-02-20 23:22:03] 1081*2^456381-1 is not prime. Res64: F493D0A0A58032D2 Time : 1365.0 sec. user=mdettweiler [2009-02-20 23:22:11] 1017*2^456382-1 is not prime. Res64: 4388E0FAFDEDCFA5 Time : 1064.0 sec. user=gd_barnes [2009-02-20 23:26:35] 1285*2^456381-1 is not prime. Res64: 0BA0A4A97404374D Time : 1364.0 sec. user=gd_barnes [2009-02-20 23:31:08] 1157*2^456382-1 is not prime. Res64: 2445A4454487AB2A Time : 1364.0 sec. user=gd_barnes [2009-02-20 23:35:41] 1183*2^456383-1 is not prime. Res64: 10A95CDFAA6CED56 Time : 1364.0 sec. user=gd_barnes [2009-02-20 23:41:01] 1005*2^456384-1 is not prime. Res64: 8420B82EE5E18DDB Time : 1411.0 sec. user=gd_barnes [2009-02-20 23:44:47] 1107*2^456385-1 is not prime. Res64: 41120DFB90B46469 Time : 1364.0 sec. user=gd_barnes [2009-02-20 23:49:19] 1161*2^456385-1 is not prime. Res64: 32FF52B16F5EE8FC Time : 1364.0 sec. user=mdettweiler [2009-02-20 23:53:37] 1055*2^456382-1 is not prime. Res64: 6D84F69F8D130E8A Time : 2751.0 sec. user=mdettweiler [2009-02-20 23:53:37] 1023*2^456383-1 is not prime. Res64: CF09F99E47F4EB0D Time : 2539.0 sec. user=mdettweiler [2009-02-20 23:53:37] 1329*2^456383-1 is not prime. Res64: 0B8DBC3C3A3899D9 Time : 2328.0 sec. user=mdettweiler [2009-02-20 23:53:37] 1193*2^456384-1 is not prime. Res64: 17180C885DA083F3 Time : 2116.0 sec. user=mdettweiler [2009-02-20 23:53:38] 1101*2^456385-1 is not prime. Res64: CDCC3235FCA50960 Time : 1902.0 sec. user=mdettweiler [2009-02-20 23:53:50] 1023*2^456382-1 is not prime. Res64: 798784516A9A7980 Time : 2839.0 sec. user=mdettweiler [2009-02-20 23:53:50] 1193*2^456382-1 is not prime. Res64: 99074EF9442A9E3C Time : 2630.0 sec. user=mdettweiler [2009-02-20 23:53:50] 1215*2^456383-1 is not prime. Res64: B86076F6D92DE99D Time : 2416.0 sec. user=mdettweiler [2009-02-20 23:53:50] 1245*2^456384-1 is not prime. Res64: 7F70E0D138918103 Time : 2117.0 sec. user=mdettweiler [2009-02-20 23:53:51] 1059*2^456385-1 is not prime. Res64: E5FE94D2FD3517DB Time : 1989.0 sec. user=mdettweiler [2009-02-20 23:53:51] 1101*2^456382-1 is not prime. Res64: 3FAE04A669C2BE75 Time : 2752.0 sec. user=mdettweiler [2009-02-20 23:53:52] 1033*2^456383-1 is not prime. Res64: A64F4DDCE4B0A890 Time : 2542.0 sec. user=mdettweiler [2009-02-20 23:53:52] 1335*2^456383-1 is not prime. Res64: 9E69B4048465DD27 Time : 2326.0 sec. user=gd_barnes [2009-02-20 23:53:52] 1237*2^456385-1 is not prime. Res64: 22CE4E752365C26A Time : 1364.0 sec. user=mdettweiler [2009-02-20 23:53:52] 1253*2^456384-1 is not prime. Res64: 55FDC1DCEE3F928F Time : 2114.0 sec. user=mdettweiler [2009-02-20 23:53:52] 1141*2^456385-1 is not prime. Res64: 3BB93E82F23B2F80 Time : 1902.0 sec. user=mdettweiler [2009-02-20 23:53:53] 1053*2^456382-1 is not prime. Res64: EB780EB6C42BAA4D Time : 2833.0 sec. user=mdettweiler [2009-02-20 23:53:53] 1371*2^456382-1 is not prime. Res64: 897EAD5B20EA27CF Time : 2619.0 sec. user=mdettweiler [2009-02-20 23:53:53] 1291*2^456383-1 is not prime. Res64: 27A3F49D4317DB7C Time : 2409.0 sec. user=mdettweiler [2009-02-20 23:53:53] 1045*2^456385-1 is not prime. Res64: 07A0A4E40B781065 Time : 2112.0 sec. user=mdettweiler [2009-02-20 23:53:54] 1069*2^456385-1 is not prime. Res64: 351415705EC847E2 Time : 1986.0 sec. user=mdettweiler [2009-02-20 23:57:26] 1125*2^456386-1 is not prime. Res64: 9A54C0B75D35A4A9 Time : 231.0 sec. user=mdettweiler [2009-02-20 23:57:39] 1125*2^456387-1 is not prime. Res64: B6C64F5C5EBE4EEE Time : 231.0 sec. user=mdettweiler [2009-02-20 23:57:40] 1055*2^456388-1 is not prime. Res64: 15C57E04852A13AE Time : 231.0 sec. user=mdettweiler [2009-02-20 23:57:44] 1199*2^456388-1 is not prime. Res64: 11FEEAE2CCE50B75 Time : 233.0 sec. user=gd_barnes [2009-02-20 23:58:25] 1279*2^456385-1 is not prime. Res64: C39D3A621465B52C Time : 1365.0 sec.