user=mdettweiler [2009-02-17 00:00:13] 1035*2^443488-1 is not prime. Res64: C6021089AC73A42F Time : 984.0 sec. user=mdettweiler [2009-02-17 00:01:14] 1059*2^443488-1 is not prime. Res64: 38AC2C1300D8064C Time : 1022.0 sec. user=gd_barnes [2009-02-17 00:03:25] 1375*2^443487-1 is not prime. Res64: A25746D43903DEE9 Time : 1328.0 sec. user=mdettweiler [2009-02-17 00:03:38] 1079*2^443488-1 is not prime. Res64: 9E22D6EC68CFE2E1 Time : 1004.0 sec. user=mdettweiler [2009-02-17 00:04:38] 1085*2^443488-1 is not prime. Res64: BC03F13098D51B52 Time : 1022.0 sec. user=mdettweiler [2009-02-17 00:07:02] 1169*2^443488-1 is not prime. Res64: A99A50EA925C064C Time : 1003.0 sec. user=gd_barnes [2009-02-17 00:07:50] 1097*2^443488-1 is not prime. Res64: 70D55310B4BB58CF Time : 1206.0 sec. user=mdettweiler [2009-02-17 00:08:04] 1197*2^443488-1 is not prime. Res64: 8228766E040F6591 Time : 1023.0 sec. user=mdettweiler [2009-02-17 00:10:27] 1233*2^443488-1 is not prime. Res64: 1DA38880A7887871 Time : 1004.0 sec. user=mdettweiler [2009-02-17 00:11:27] 1235*2^443488-1 is not prime. Res64: C863BE9E342B5DAA Time : 1022.0 sec. user=gd_barnes [2009-02-17 00:12:15] 1119*2^443488-1 is not prime. Res64: 5B96533448938E70 Time : 1327.0 sec. user=mdettweiler [2009-02-17 00:13:51] 1359*2^443488-1 is not prime. Res64: 39C3CFF6FF791069 Time : 1003.0 sec. user=mdettweiler [2009-02-17 00:14:33] 1005*2^443489-1 is not prime. Res64: 1FD2D8F581FD3923 Time : 1002.0 sec. user=gd_barnes [2009-02-17 00:16:40] 1353*2^443488-1 is not prime. Res64: 9A52BC36C31716FB Time : 1313.0 sec. user=mdettweiler [2009-02-17 00:17:16] 1107*2^443489-1 is not prime. Res64: 8D0D5D58127DA99D Time : 1023.0 sec. user=gd_barnes [2009-02-17 00:20:38] 1039*2^443489-1 is not prime. Res64: 0FAE3818FEC79BAA Time : 1285.0 sec. user=mdettweiler [2009-02-17 00:20:40] 1221*2^443489-1 is not prime. Res64: D61ECDE30D549E05 Time : 1023.0 sec. user=mdettweiler [2009-02-17 00:20:55] 1137*2^443489-1 is not prime. Res64: 0AEBE27A0076E56C Time : 1181.0 sec. user=mdettweiler [2009-02-17 00:21:22] 1239*2^443489-1 is not prime. Res64: E8B7B659ED567D8E Time : 1004.0 sec. user=mdettweiler [2009-02-17 00:24:04] 1299*2^443489-1 is not prime. Res64: 2440435DEB8EBB5F Time : 1022.0 sec. user=mdettweiler [2009-02-17 00:24:47] 1215*2^443490-1 is not prime. Res64: 60F8962D8130A28E Time : 1003.0 sec. user=gd_barnes [2009-02-17 00:25:03] 1141*2^443489-1 is not prime. Res64: F03725940BCD48CB Time : 1299.0 sec. user=mdettweiler [2009-02-17 00:27:29] 1281*2^443490-1 is not prime. Res64: 768385820F394A82 Time : 1023.0 sec. user=mdettweiler [2009-02-17 00:28:11] 1307*2^443490-1 is not prime. Res64: A222B8FBCF664395 Time : 1004.0 sec. user=gd_barnes [2009-02-17 00:29:43] 1173*2^443490-1 is not prime. Res64: 821D8ED8AD2E30E2 Time : 1313.0 sec. user=mdettweiler [2009-02-17 00:30:53] 1065*2^443491-1 is not prime. Res64: 43ED4DA23906EA57 Time : 1022.0 sec. user=mdettweiler [2009-02-17 00:31:35] 1081*2^443491-1 is not prime. Res64: BF18391CE2B26B3E Time : 1023.0 sec. user=gd_barnes [2009-02-17 00:33:54] 1371*2^443490-1 is not prime. Res64: D6D38D5A2485159C Time : 1299.0 sec. user=mdettweiler [2009-02-17 00:34:18] 1135*2^443491-1 is not prime. Res64: 9700DBF9269CAD90 Time : 1023.0 sec. user=mdettweiler [2009-02-17 00:34:59] 1109*2^443492-1 is not prime. Res64: B3AD3DB5C0BBD46F Time : 844.0 sec. user=mdettweiler [2009-02-17 00:37:42] 1079*2^443492-1 is not prime. Res64: D3B708F0DA43108A Time : 1022.0 sec. user=gd_barnes [2009-02-17 00:38:20] 1105*2^443491-1 is not prime. Res64: 1BF0567D304C5A3D Time : 1300.0 sec. user=mdettweiler [2009-02-17 00:38:24] 1187*2^443492-1 is not prime. Res64: CE84AEA78C00697C Time : 1022.0 sec. user=mdettweiler [2009-02-17 00:41:06] 1239*2^443492-1 is not prime. Res64: CF95B665AA3570D9 Time : 1022.0 sec. user=mdettweiler [2009-02-17 00:41:48] 1275*2^443492-1 is not prime. Res64: 43477E48A1857ED9 Time : 1022.0 sec. user=gd_barnes [2009-02-17 00:42:17] 1025*2^443492-1 is not prime. Res64: 2F7B95ED85212C41 Time : 1299.0 sec. user=mdettweiler [2009-02-17 00:44:31] 1299*2^443492-1 is not prime. Res64: A1F37990F07940EE Time : 1022.0 sec. user=mdettweiler [2009-02-17 00:45:13] 1337*2^443492-1 is not prime. Res64: 6B936B142F78CF4E Time : 1022.0 sec. user=gd_barnes [2009-02-17 00:46:42] 1289*2^443492-1 is not prime. Res64: CBC87F7A7480A017 Time : 1299.0 sec. user=mdettweiler [2009-02-17 00:47:36] 1015*2^443493-1 is not prime. Res64: 17346FB9C934F2E7 Time : 1003.0 sec. user=mdettweiler [2009-02-17 00:48:38] 1131*2^443493-1 is not prime. Res64: 86DC5FE9CF5CD036 Time : 1023.0 sec. user=mdettweiler [2009-02-17 00:51:01] 1179*2^443493-1 is not prime. Res64: 70480204B281C36C Time : 1004.0 sec. user=gd_barnes [2009-02-17 00:51:07] 1383*2^443492-1 is not prime. Res64: 2A82D100C95222B7 Time : 1284.0 sec. user=mdettweiler [2009-02-17 00:52:02] 1231*2^443493-1 is not prime. Res64: 04EC411C98FECB1B Time : 1023.0 sec. user=mdettweiler [2009-02-17 00:54:25] 1237*2^443493-1 is not prime. Res64: ABD7A5035479AA15 Time : 1003.0 sec. user=mdettweiler [2009-02-17 00:55:27] 1309*2^443493-1 is not prime. Res64: F2AB3E528EFBEB58 Time : 1023.0 sec. user=gd_barnes [2009-02-17 00:55:33] 1171*2^443493-1 is not prime. Res64: 1B95F57EFA35000F Time : 1299.0 sec. user=mdettweiler [2009-02-17 00:57:50] 1107*2^443494-1 is not prime. Res64: 0E7DDFEC45DAFE7D Time : 1004.0 sec. user=mdettweiler [2009-02-17 00:58:51] 1121*2^443494-1 is not prime. Res64: EE6E0DA862F21ECC Time : 1023.0 sec. user=gd_barnes [2009-02-17 01:00:12] 1279*2^443493-1 is not prime. Res64: AA23A2A302DE8212 Time : 1312.0 sec. user=mdettweiler [2009-02-17 01:01:14] 1133*2^443494-1 is not prime. Res64: 098649A9A7950C0B Time : 1003.0 sec. user=mdettweiler [2009-02-17 01:02:16] 1151*2^443494-1 is not prime. Res64: 81697E03013FEDEC Time : 1023.0 sec. user=gd_barnes [2009-02-17 01:04:24] 1125*2^443494-1 is not prime. Res64: DE8E14BC2DB4D672 Time : 1327.0 sec. user=mdettweiler [2009-02-17 01:04:39] 1167*2^443494-1 is not prime. Res64: FACE806DE153C2E4 Time : 1023.0 sec. user=mdettweiler [2009-02-17 01:05:39] 1221*2^443494-1 is not prime. Res64: 362296732D0F4AA8 Time : 1021.0 sec. user=mdettweiler [2009-02-17 01:08:03] 1223*2^443494-1 is not prime. Res64: 5DAF305FA04FCA0D Time : 1023.0 sec. user=gd_barnes [2009-02-17 01:08:49] 1163*2^443494-1 is not prime. Res64: 400ED31C05C9376F Time : 1327.0 sec. user=mdettweiler [2009-02-17 01:09:04] 1233*2^443494-1 is not prime. Res64: E3F923246BB5C0F4 Time : 1022.0 sec. user=mdettweiler [2009-02-17 01:11:27] 1251*2^443494-1 is not prime. Res64: 1268BA361E650E1B Time : 1022.0 sec. user=mdettweiler [2009-02-17 01:12:28] 1323*2^443494-1 is not prime. Res64: 383C9AB6D94E0A63 Time : 1022.0 sec. user=gd_barnes [2009-02-17 01:13:15] 1227*2^443494-1 is not prime. Res64: 0E1EB181CA90899C Time : 1328.0 sec. user=mdettweiler [2009-02-17 01:14:52] 1123*2^443495-1 is not prime. Res64: CE7DCEAA5D3A8F38 Time : 1023.0 sec. user=mdettweiler [2009-02-17 01:15:53] 1233*2^443495-1 is not prime. Res64: 015C35F53097333A Time : 1022.0 sec. user=gd_barnes [2009-02-17 01:17:40] 1391*2^443494-1 is not prime. Res64: B781EC67B3AA66FC Time : 1327.0 sec. user=mdettweiler [2009-02-17 01:18:16] 1371*2^443495-1 is not prime. Res64: E30F2EC37FE7D42B Time : 1022.0 sec. user=mdettweiler [2009-02-17 01:21:41] 1245*2^443496-1 is not prime. Res64: E9B2994BBE510618 Time : 1023.0 sec. user=gd_barnes [2009-02-17 01:22:06] 1281*2^443495-1 is not prime. Res64: 70BD23CA98DD321D Time : 1314.0 sec. user=mdettweiler [2009-02-17 01:22:27] 1257*2^443496-1 is not prime. Res64: 2343F665A04CFF4F Time : 1008.0 sec. user=mdettweiler [2009-02-17 01:25:05] 1313*2^443496-1 is not prime. Res64: 300AE6E3C1B7DACE Time : 1022.0 sec. user=mdettweiler [2009-02-17 01:25:51] 1389*2^443496-1 is not prime. Res64: BE0883935BBD92CB Time : 1008.0 sec. user=gd_barnes [2009-02-17 01:26:32] 1169*2^443496-1 is not prime. Res64: AC689DBCC375A18E Time : 1328.0 sec. user=mdettweiler [2009-02-17 01:28:29] 1397*2^443496-1 is not prime. Res64: 00316BD24D975645 Time : 1022.0 sec. user=mdettweiler [2009-02-17 01:28:56] 1051*2^443497-1 is not prime. Res64: 95161AB95A8EE261 Time : 988.0 sec. user=gd_barnes [2009-02-17 01:30:57] 1319*2^443496-1 is not prime. Res64: 8C5DEAC4417D1A40 Time : 1328.0 sec. user=mdettweiler [2009-02-17 01:31:54] 1087*2^443497-1 is not prime. Res64: D5444FCB3D3B15C7 Time : 1022.0 sec. user=mdettweiler [2009-02-17 01:32:21] 1149*2^443497-1 is not prime. Res64: 52AE6E53359A2858 Time : 989.0 sec. user=mdettweiler [2009-02-17 01:35:18] 1345*2^443497-1 is not prime. Res64: 2AFC3A3945D15CEA Time : 1022.0 sec. user=gd_barnes [2009-02-17 01:35:23] 1057*2^443497-1 is not prime. Res64: 94EA03A4B883CE37 Time : 1328.0 sec. user=mdettweiler [2009-02-17 01:35:45] 1085*2^443498-1 is not prime. Res64: 0A85298E29D0C064 Time : 815.0 sec. user=mdettweiler [2009-02-17 01:38:24] 1025*2^443498-1 is not prime. Res64: ACB7B6579175A13A Time : 1004.0 sec. user=mdettweiler [2009-02-17 01:39:09] 1127*2^443498-1 is not prime. Res64: D08B3B562C0FA961 Time : 1002.0 sec. user=gd_barnes [2009-02-17 01:39:48] 1311*2^443497-1 is not prime. Res64: E0E750731AB8144D Time : 1328.0 sec. user=mdettweiler [2009-02-17 01:41:49] 1215*2^443498-1 is not prime. Res64: 24407E438836AA7E Time : 1004.0 sec. user=mdettweiler [2009-02-17 01:42:34] 1235*2^443498-1 is not prime. Res64: 06134FC0492CFE64 Time : 1003.0 sec. user=gd_barnes [2009-02-17 01:44:14] 1065*2^443498-1 is not prime. Res64: 7157C3F671262366 Time : 1328.0 sec. user=mdettweiler [2009-02-17 01:44:57] 1005*2^443499-1 is not prime. Res64: B45EBC11B1411F82 Time : 988.0 sec. user=mdettweiler [2009-02-17 01:45:39] 1029*2^443499-1 is not prime. Res64: 083AEDB5F336462B Time : 1003.0 sec. user=mdettweiler [2009-02-17 01:48:18] 1083*2^443499-1 is not prime. Res64: 7D5483DC66494D67 Time : 984.0 sec. user=gd_barnes [2009-02-17 01:48:39] 1295*2^443498-1 is not prime. Res64: 01414200A798720A Time : 1328.0 sec. user=mdettweiler [2009-02-17 01:49:03] 1111*2^443499-1 is not prime. Res64: 9982710740931293 Time : 1003.0 sec. user=mdettweiler [2009-02-17 01:51:43] 1153*2^443499-1 is not prime. Res64: 6577787CD4DE9FCA Time : 985.0 sec. user=mdettweiler [2009-02-17 01:52:27] 1285*2^443499-1 is not prime. Res64: E16EC3972F0D3D45 Time : 1002.0 sec. user=gd_barnes [2009-02-17 01:53:05] 1059*2^443499-1 is not prime. Res64: E20A8B4507CD066C Time : 1328.0 sec. user=mdettweiler [2009-02-17 01:55:07] 1309*2^443499-1 is not prime. Res64: E7383B1895ABE955 Time : 1003.0 sec. user=mdettweiler [2009-02-17 01:55:52] 1371*2^443499-1 is not prime. Res64: 3D34DF4BDE0EE197 Time : 1003.0 sec. user=gd_barnes [2009-02-17 01:57:30] 1221*2^443499-1 is not prime. Res64: 710616159DC15BE7 Time : 1328.0 sec. user=mdettweiler [2009-02-17 01:58:31] 1307*2^443500-1 is not prime. Res64: 872FFC01B3EFF76A Time : 1003.0 sec. user=mdettweiler [2009-02-17 01:59:17] 1319*2^443500-1 is not prime. Res64: 922A39F4D8EA5D6C Time : 1004.0 sec. user=gd_barnes [2009-02-17 02:01:28] 1007*2^443500-1 is not prime. Res64: 860D247477FFCCA3 Time : 1300.0 sec. user=mdettweiler [2009-02-17 02:01:56] 1367*2^443500-1 is not prime. Res64: 2A0C9A899104DB1E Time : 1019.0 sec. user=mdettweiler [2009-02-17 02:02:41] 1177*2^443501-1 is not prime. Res64: C67F71C5CB37F7DC Time : 1022.0 sec. user=mdettweiler [2009-02-17 02:05:24] 1299*2^451203-1 is not prime. Res64: 617717CE2D42DC2D Time : 1026.0 sec. user=gd_barnes [2009-02-17 02:05:52] 1347*2^443500-1 is not prime. Res64: 06088CBE843AEC25 Time : 1299.0 sec. user=mdettweiler [2009-02-17 02:06:10] 1339*2^451203-1 is not prime. Res64: 4AD3B4B4D33A6944 Time : 1027.0 sec. user=mdettweiler [2009-02-17 02:08:52] 1369*2^451203-1 is not prime. Res64: 65C47BE056964824 Time : 1030.0 sec. user=mdettweiler [2009-02-17 02:09:37] 1007*2^451204-1 is not prime. Res64: 434DE9BAA9776034 Time : 1030.0 sec. user=gd_barnes [2009-02-17 02:10:23] 1323*2^451203-1 is not prime. Res64: 8CFB0B065B848EAB Time : 1304.0 sec. user=mdettweiler [2009-02-17 02:12:20] 1059*2^451204-1 is not prime. Res64: 02BC305465FEA4ED Time : 1033.0 sec. user=mdettweiler [2009-02-17 02:13:05] 1097*2^451204-1 is not prime. Res64: AA7B8958A6037B08 Time : 1034.0 sec. user=gd_barnes [2009-02-17 02:14:53] 1017*2^451204-1 is not prime. Res64: 3C8A5A0A40C8FD65 Time : 1309.0 sec. user=mdettweiler [2009-02-17 02:15:51] 1193*2^451204-1 is not prime. Res64: 395DF7D9CC3E5121 Time : 1040.0 sec. user=mdettweiler [2009-02-17 02:16:33] 1203*2^451204-1 is not prime. Res64: 3AE9371801D7C7D5 Time : 1036.0 sec. user=mdettweiler [2009-02-17 02:19:17] 1377*2^451204-1 is not prime. Res64: 7AC4A4A6FB3881BD Time : 1042.0 sec. user=gd_barnes [2009-02-17 02:19:37] 1119*2^451204-1 is not prime. Res64: 0A43FAFE4D6D20C6 Time : 1327.0 sec. user=mdettweiler [2009-02-17 02:20:02] 1027*2^451205-1 is not prime. Res64: F02F5AAD30A66816 Time : 1041.0 sec. user=mdettweiler [2009-02-17 02:22:46] 1069*2^451205-1 is not prime. Res64: 517E3959E949313D Time : 1042.0 sec. user=mdettweiler [2009-02-17 02:23:30] 1095*2^451205-1 is not prime. Res64: 153D895DEA33AE0C Time : 1041.0 sec. user=gd_barnes [2009-02-17 02:23:53] 1253*2^451204-1 is not prime. Res64: 46E3E0A0E33681D2 Time : 1346.0 sec. user=mdettweiler [2009-02-17 02:26:13] 1149*2^451205-1 is not prime. Res64: 052D639E429EA6AF Time : 1041.0 sec. user=mdettweiler [2009-02-17 02:26:57] 1287*2^451205-1 is not prime. Res64: 1BD43763B3539813 Time : 1040.0 sec. user=gd_barnes [2009-02-17 02:28:37] 1081*2^451205-1 is not prime. Res64: B7342596C9473BC0 Time : 1365.0 sec. user=mdettweiler [2009-02-17 02:29:41] 1387*2^451205-1 is not prime. Res64: A2E91D709B988935 Time : 1041.0 sec. user=mdettweiler [2009-02-17 02:30:25] 1113*2^451206-1 is not prime. Res64: 47738D8A580377CB Time : 1040.0 sec. user=gd_barnes [2009-02-17 02:32:53] 1369*2^451205-1 is not prime. Res64: BB84A06A8CE17FAF Time : 1351.0 sec. user=mdettweiler [2009-02-17 02:33:08] 1187*2^451206-1 is not prime. Res64: 7A5837627F7B5405 Time : 1037.0 sec. user=mdettweiler [2009-02-17 02:33:54] 1263*2^451206-1 is not prime. Res64: FF0D8E06D7186CFB Time : 1041.0 sec. user=mdettweiler [2009-02-17 02:36:37] 1395*2^451206-1 is not prime. Res64: A2312CFC9DF242B6 Time : 1041.0 sec. user=mdettweiler [2009-02-17 02:37:22] 1123*2^451207-1 is not prime. Res64: B5A01D3EEDB2A8DE Time : 1041.0 sec. user=gd_barnes [2009-02-17 02:37:23] 1133*2^451206-1 is not prime. Res64: ED0DB49C7717998C Time : 1350.0 sec. user=mdettweiler [2009-02-17 02:40:04] 1129*2^451207-1 is not prime. Res64: DA5F27341BACF976 Time : 1038.0 sec. user=mdettweiler [2009-02-17 02:40:50] 1255*2^451207-1 is not prime. Res64: 6ABFAC39876F3ABA Time : 1040.0 sec. user=gd_barnes [2009-02-17 02:41:53] 1095*2^451207-1 is not prime. Res64: 779D6512BA0DA0C7 Time : 1337.0 sec. user=mdettweiler [2009-02-17 02:43:33] 1281*2^451207-1 is not prime. Res64: 644111D53E94C462 Time : 1041.0 sec. user=mdettweiler [2009-02-17 02:44:19] 1353*2^451207-1 is not prime. Res64: E13FCC04F4C06E6A Time : 1042.0 sec. user=gd_barnes [2009-02-17 02:46:23] 1275*2^451207-1 is not prime. Res64: 7F94D53EEDB14D98 Time : 1350.0 sec. user=mdettweiler [2009-02-17 02:47:01] 1035*2^451208-1 is not prime. Res64: A81F1C60A9EF2977 Time : 1040.0 sec. user=mdettweiler [2009-02-17 02:47:46] 1053*2^451208-1 is not prime. Res64: 4156ADDAEA489270 Time : 1041.0 sec. user=mdettweiler [2009-02-17 02:50:28] 1097*2^451208-1 is not prime. Res64: 3B9446DCB0D3B016 Time : 1040.0 sec. user=gd_barnes [2009-02-17 02:50:53] 1023*2^451208-1 is not prime. Res64: 73A52018D05C74D1 Time : 1337.0 sec. user=mdettweiler [2009-02-17 02:51:14] 1139*2^451208-1 is not prime. Res64: 7CCF3EC74CC0F91C Time : 1040.0 sec. user=mdettweiler [2009-02-17 02:53:57] 1257*2^451208-1 is not prime. Res64: 6A8FFDAC814C31FD Time : 1040.0 sec. user=mdettweiler [2009-02-17 02:54:42] 1295*2^451208-1 is not prime. Res64: 3AE60F2F2CF71F4D Time : 1040.0 sec. user=gd_barnes [2009-02-17 02:55:23] 1067*2^451208-1 is not prime. Res64: C3A97620D0B20D92 Time : 1350.0 sec. user=mdettweiler [2009-02-17 02:57:28] 1383*2^451208-1 is not prime. Res64: 643EA0C7E4200670 Time : 1044.0 sec. user=mdettweiler [2009-02-17 02:58:11] 1397*2^451208-1 is not prime. Res64: 78A3A34E64A9CF04 Time : 1041.0 sec. user=gd_barnes [2009-02-17 02:59:53] 1343*2^451208-1 is not prime. Res64: AB949AD7B64AAAF2 Time : 1351.0 sec. user=mdettweiler [2009-02-17 03:00:54] 1089*2^451209-1 is not prime. Res64: 825AAAFE53823FFD Time : 1042.0 sec. user=mdettweiler [2009-02-17 03:01:39] 1101*2^451209-1 is not prime. Res64: 66F306C98DDC5126 Time : 1041.0 sec. user=mdettweiler [2009-02-17 03:04:21] 1221*2^451209-1 is not prime. Res64: 5D81D62D2BEE66A5 Time : 1040.0 sec. user=gd_barnes [2009-02-17 03:04:23] 1081*2^451209-1 is not prime. Res64: 7C49D2876851C593 Time : 1350.0 sec. user=mdettweiler [2009-02-17 03:05:07] 1249*2^451209-1 is not prime. Res64: 4FEC8AE76EF2FEEA Time : 1041.0 sec. user=mdettweiler [2009-02-17 03:07:49] 1251*2^451209-1 is not prime. Res64: 3D5FB66C2549FC55 Time : 1041.0 sec. user=mdettweiler [2009-02-17 03:08:35] 1085*2^451210-1 is not prime. Res64: 0BD597DD682417A6 Time : 1041.0 sec. user=gd_barnes [2009-02-17 03:08:53] 1111*2^451209-1 is not prime. Res64: 263D802A2CC6DD71 Time : 1351.0 sec. user=mdettweiler [2009-02-17 03:11:18] 1107*2^451210-1 is not prime. Res64: 6024CF563CAA5C20 Time : 1041.0 sec. user=mdettweiler [2009-02-17 03:12:03] 1223*2^451210-1 is not prime. Res64: 2EA3AB829A8E4445 Time : 1041.0 sec. user=gd_barnes [2009-02-17 03:13:24] 1011*2^451210-1 is not prime. Res64: C372AC954A7B2141 Time : 1351.0 sec. user=mdettweiler [2009-02-17 03:14:46] 1113*2^451211-1 is not prime. Res64: E6408CBC9B897197 Time : 1038.0 sec. user=mdettweiler [2009-02-17 03:15:31] 1119*2^451211-1 is not prime. Res64: A4E18DF8AEBBB148 Time : 1041.0 sec. user=gd_barnes [2009-02-17 03:17:53] 1331*2^451210-1 is not prime. Res64: 3EC4B090DB17971E Time : 1351.0 sec. user=mdettweiler [2009-02-17 03:18:14] 1165*2^451211-1 is not prime. Res64: 7C88F6D50A074C6E Time : 1041.0 sec. user=mdettweiler [2009-02-17 03:18:59] 1221*2^451211-1 is not prime. Res64: 203AF680D867F7D9 Time : 1040.0 sec. user=mdettweiler [2009-02-17 03:21:42] 1261*2^451211-1 is not prime. Res64: 68ECD4E260280E0C Time : 1041.0 sec. user=gd_barnes [2009-02-17 03:22:24] 1141*2^451211-1 is not prime. Res64: C22967DBC9E93334 Time : 1351.0 sec. user=mdettweiler [2009-02-17 03:23:54] 1309*2^451211-1 is not prime. Res64: 4962F2010E1F2A85 Time : 1127.0 sec. user=mdettweiler [2009-02-17 03:25:10] 1007*2^451212-1 is not prime. Res64: 2EF65E7A8F725831 Time : 1041.0 sec. user=mdettweiler [2009-02-17 03:25:55] 1077*2^451212-1 is not prime. Res64: 204DB4EC381C3A18 Time : 1041.0 sec. user=gd_barnes [2009-02-17 03:26:53] 1281*2^451211-1 is not prime. Res64: 2F0095C3C19E114B Time : 1351.0 sec. user=mdettweiler [2009-02-17 03:28:38] 1263*2^451212-1 is not prime. Res64: A283583A8353CC72 Time : 1041.0 sec. user=mdettweiler [2009-02-17 03:29:25] 1283*2^451212-1 is not prime. Res64: 19B85B0137421A0B Time : 1042.0 sec. user=mdettweiler [2009-02-17 03:32:06] 1307*2^451212-1 is not prime. Res64: 6AD1FBF9166A98CE Time : 1040.0 sec. user=gd_barnes [2009-02-17 03:32:19] 1133*2^451212-1 is not prime. Res64: 78ADEA60E46EEBCF Time : 1406.0 sec. user=mdettweiler [2009-02-17 03:32:51] 1313*2^451212-1 is not prime. Res64: C4656626746C2ACA Time : 1040.0 sec. user=mdettweiler [2009-02-17 03:35:34] 1355*2^451212-1 is not prime. Res64: 2A0C1FB06F8D246F Time : 1041.0 sec. user=gd_barnes [2009-02-17 03:35:53] 1295*2^451212-1 is not prime. Res64: B99FED03B349B1EB Time : 1349.0 sec. user=mdettweiler [2009-02-17 03:36:20] 1385*2^451212-1 is not prime. Res64: 29AB45A39303C322 Time : 1041.0 sec. user=mdettweiler [2009-02-17 03:39:02] 1059*2^451213-1 is not prime. Res64: 1CA332BBFF958C8C Time : 1040.0 sec. user=mdettweiler [2009-02-17 03:39:48] 1111*2^451213-1 is not prime. Res64: C0B27F67CECEF04A Time : 954.0 sec. user=gd_barnes [2009-02-17 03:40:24] 1347*2^451212-1 is not prime. Res64: 48163720E1B407C8 Time : 1351.0 sec. user=mdettweiler [2009-02-17 03:42:31] 1137*2^451213-1 is not prime. Res64: 46720429E61EB0A4 Time : 1041.0 sec. user=mdettweiler [2009-02-17 03:43:17] 1161*2^451213-1 is not prime. Res64: 110AFB673C17C764 Time : 1042.0 sec. user=gd_barnes [2009-02-17 03:44:53] 1095*2^451213-1 is not prime. Res64: 9C2496987572F218 Time : 1350.0 sec. user=mdettweiler [2009-02-17 03:45:59] 1179*2^451213-1 is not prime. Res64: 604C806E27EDC4F0 Time : 1041.0 sec. user=mdettweiler [2009-02-17 03:46:44] 1221*2^451213-1 is not prime. Res64: 609EAC456371CCDD Time : 1040.0 sec. user=gd_barnes [2009-02-17 03:49:24] 1167*2^451213-1 is not prime. Res64: 2DA9F63ACD5FC25F Time : 1351.0 sec. user=mdettweiler [2009-02-17 03:49:26] 1315*2^451213-1 is not prime. Res64: 9643B97626C017AA Time : 1040.0 sec. user=mdettweiler [2009-02-17 03:50:12] 1389*2^451213-1 is not prime. Res64: 41EE13DDF3390F79 Time : 1041.0 sec. user=mdettweiler [2009-02-17 03:52:58] 1071*2^451214-1 is not prime. Res64: 376222656AC0C66F Time : 1044.0 sec. user=mdettweiler [2009-02-17 03:53:39] 1091*2^451214-1 is not prime. Res64: E1D84C69161EA563 Time : 1040.0 sec. user=gd_barnes [2009-02-17 03:53:53] 1395*2^451213-1 is not prime. Res64: 334689B11D3C0852 Time : 1228.0 sec. user=mdettweiler [2009-02-17 03:56:22] 1155*2^451214-1 is not prime. Res64: DB3DBD6D60F11D2A Time : 1040.0 sec. user=mdettweiler [2009-02-17 03:57:07] 1247*2^451214-1 is not prime. Res64: CDD4B050E2A24708 Time : 1039.0 sec. user=gd_barnes [2009-02-17 03:58:24] 1083*2^451214-1 is not prime. Res64: 456E72E7F4668931 Time : 1351.0 sec. user=mdettweiler [2009-02-17 03:59:51] 1337*2^451214-1 is not prime. Res64: 3C538B521764375F Time : 1041.0 sec. user=mdettweiler [2009-02-17 04:00:36] 1083*2^451215-1 is not prime. Res64: 659687FAEBFD84FF Time : 1040.0 sec. user=gd_barnes [2009-02-17 04:03:08] 1277*2^451214-1 is not prime. Res64: 2417D241D74CB097 Time : 1364.0 sec. user=mdettweiler [2009-02-17 04:03:18] 1213*2^451215-1 is not prime. Res64: A8BE016E3D6F7A57 Time : 1039.0 sec. user=mdettweiler [2009-02-17 04:04:04] 1321*2^451215-1 is not prime. Res64: 11B00645EB78AB38 Time : 1040.0 sec. user=mdettweiler [2009-02-17 04:06:47] 1393*2^451215-1 is not prime. Res64: C73E7FA8AFB302CC Time : 1041.0 sec. user=gd_barnes [2009-02-17 04:07:24] 1129*2^451215-1 is not prime. Res64: 679DEED315AC100E Time : 1351.0 sec. user=mdettweiler [2009-02-17 04:07:32] 1399*2^451215-1 is not prime. Res64: 8C558803EBF6E1C7 Time : 1040.0 sec. user=mdettweiler [2009-02-17 04:10:15] 1025*2^451216-1 is not prime. Res64: 3D3E52FD4D581B40 Time : 1037.0 sec. user=mdettweiler [2009-02-17 04:10:59] 1067*2^451216-1 is not prime. Res64: 1E1721D59AAD19DF Time : 1040.0 sec. user=gd_barnes [2009-02-17 04:12:09] 1371*2^451215-1 is not prime. Res64: 474F96DD5D36F9F4 Time : 1365.0 sec. user=mdettweiler [2009-02-17 04:13:42] 1109*2^451216-1 is not prime. Res64: 26A315C5636A5035 Time : 1040.0 sec. user=mdettweiler [2009-02-17 04:14:28] 1155*2^451216-1 is not prime. Res64: 93076C84A215788B Time : 1041.0 sec. user=gd_barnes [2009-02-17 04:16:24] 1077*2^451216-1 is not prime. Res64: AFE7A22537E3BD56 Time : 1351.0 sec. user=mdettweiler [2009-02-17 04:17:11] 1209*2^451216-1 is not prime. Res64: 750E7E213ED44F48 Time : 1041.0 sec. user=mdettweiler [2009-02-17 04:17:56] 1217*2^451216-1 is not prime. Res64: FC3F362915480CAA Time : 1040.0 sec. user=mdettweiler [2009-02-17 04:20:39] 1253*2^451216-1 is not prime. Res64: F71B32861A93463C Time : 1041.0 sec. user=gd_barnes [2009-02-17 04:21:08] 1175*2^451216-1 is not prime. Res64: 7585CAA48BB59014 Time : 1364.0 sec. user=mdettweiler [2009-02-17 04:21:24] 1317*2^451216-1 is not prime. Res64: 44927F3E1DAE5782 Time : 1040.0 sec. user=gd_barnes [2009-02-17 04:25:24] 1247*2^451216-1 is not prime. Res64: 04ABB5392B96A118 Time : 1336.0 sec. user=mdettweiler [2009-02-17 04:25:30] 1041*2^451217-1 is not prime. Res64: 2B2AE29707768C20 Time : 1124.0 sec. user=mdettweiler [2009-02-17 04:26:16] 1237*2^451217-1 is not prime. Res64: FBCF0C160CD04F2A Time : 1124.0 sec. user=mdettweiler [2009-02-17 04:27:35] 1299*2^451217-1 is not prime. Res64: AC06285BD71959E4 Time : 1040.0 sec. user=mdettweiler [2009-02-17 04:28:20] 1347*2^451217-1 is not prime. Res64: 9E21BE6A35C912AA Time : 1041.0 sec. user=gd_barnes [2009-02-17 04:29:54] 1057*2^451217-1 is not prime. Res64: 673C9EC2A8E22029 Time : 1350.0 sec. user=mdettweiler [2009-02-17 04:31:03] 1017*2^451218-1 is not prime. Res64: 90498A243B2CAD16 Time : 1041.0 sec. user=mdettweiler [2009-02-17 04:31:48] 1041*2^451218-1 is not prime. Res64: D91C5243E65C2708 Time : 1041.0 sec. user=gd_barnes [2009-02-17 04:34:24] 1375*2^451217-1 is not prime. Res64: 924F23D2BAD93FE8 Time : 1335.0 sec. user=mdettweiler [2009-02-17 04:34:31] 1167*2^451218-1 is not prime. Res64: 95C7FBE636BB39B7 Time : 1041.0 sec. user=mdettweiler [2009-02-17 04:35:16] 1215*2^451218-1 is not prime. Res64: 67C3D28AC5B1C1D9 Time : 1040.0 sec. user=mdettweiler [2009-02-17 04:37:59] 1235*2^451218-1 is not prime. Res64: 6DF54F2140E229F2 Time : 1040.0 sec. user=mdettweiler [2009-02-17 04:38:44] 1323*2^451218-1 is not prime. Res64: 84B4A2082F0DC561 Time : 1040.0 sec. user=gd_barnes [2009-02-17 04:38:55] 1155*2^451218-1 is not prime. Res64: E4763CCA7251D3F8 Time : 1351.0 sec. user=mdettweiler [2009-02-17 04:41:28] 1015*2^451219-1 is not prime. Res64: 5297D907327B26A8 Time : 958.0 sec. user=mdettweiler [2009-02-17 04:42:12] 1051*2^451219-1 is not prime. Res64: 685009206C35E866 Time : 956.0 sec. user=gd_barnes [2009-02-17 04:43:24] 1301*2^451218-1 is not prime. Res64: 4439C255B90B4BC0 Time : 1337.0 sec. user=mdettweiler [2009-02-17 04:44:55] 1071*2^451219-1 is not prime. Res64: 10D178EF419A43B4 Time : 1040.0 sec. user=mdettweiler [2009-02-17 04:45:40] 1125*2^451219-1 is not prime. Res64: 3DC0A38A8EC8E294 Time : 1041.0 sec. user=gd_barnes [2009-02-17 04:47:55] 1383*2^451218-1 is not prime. Res64: 054488BF16BA2B14 Time : 1351.0 sec. user=mdettweiler [2009-02-17 04:48:23] 1261*2^451219-1 is not prime. Res64: 068FE1C08F5E921A Time : 1040.0 sec. user=mdettweiler [2009-02-17 04:49:08] 1281*2^451219-1 is not prime. Res64: F33E3BC759EB4D49 Time : 1040.0 sec. user=mdettweiler [2009-02-17 04:51:54] 1329*2^451219-1 is not prime. Res64: 3D0264F6DE3049DA Time : 1044.0 sec. user=gd_barnes [2009-02-17 04:52:24] 1165*2^451219-1 is not prime. Res64: 207AB5C05D0AFDD5 Time : 1351.0 sec. user=mdettweiler [2009-02-17 04:52:36] 1047*2^451220-1 is not prime. Res64: E0D5266F95C7B15A Time : 1040.0 sec. user=mdettweiler [2009-02-17 04:55:20] 1049*2^451220-1 is not prime. Res64: 7330DF306983F763 Time : 1041.0 sec. user=mdettweiler [2009-02-17 04:56:05] 1083*2^451220-1 is not prime. Res64: 5B1257B5212499C2 Time : 1041.0 sec. user=gd_barnes [2009-02-17 04:56:55] 1309*2^451219-1 is not prime. Res64: C29E3045F60BB4E6 Time : 1351.0 sec. user=mdettweiler [2009-02-17 04:58:47] 1265*2^451220-1 is not prime. Res64: E0C744081EDFFD01 Time : 1039.0 sec. user=mdettweiler [2009-02-17 04:59:32] 1319*2^451220-1 is not prime. Res64: E8A37EF4D60D611C Time : 1041.0 sec. user=gd_barnes [2009-02-17 05:01:24] 1239*2^451220-1 is not prime. Res64: 3AC223FA24C78B82 Time : 1350.0 sec. user=Bismarck [2009-02-17 05:02:00] 1017*2^451222-1 is not prime. Res64: D65AD8ECA90C3DDF Time : 360.0 sec. user=mdettweiler [2009-02-17 05:02:16] 1077*2^451221-1 is not prime. Res64: B2DBEA77D03E1DEB Time : 1041.0 sec. user=Bismarck [2009-02-17 05:02:19] 1193*2^451222-1 is not prime. Res64: 738B40D78F63A6D0 Time : 204.0 sec. user=Bismarck [2009-02-17 05:02:34] 1253*2^451222-1 is not prime. Res64: 033CF23DE5EF38DC Time : 202.0 sec. user=mdettweiler [2009-02-17 05:03:01] 1119*2^451221-1 is not prime. Res64: E9BBCC4F2D470C7F Time : 1041.0 sec. user=Bismarck [2009-02-17 05:03:02] 1295*2^451222-1 is not prime. Res64: E2229C9E8B2834C5 Time : 203.0 sec. user=Bismarck [2009-02-17 05:05:16] 1035*2^451222-1 is not prime. Res64: A1BFAE52C47A95D1 Time : 555.0 sec. user=Bismarck [2009-02-17 05:05:37] 1241*2^451222-1 is not prime. Res64: 3D7B11B770A2A217 Time : 401.0 sec. user=mdettweiler [2009-02-17 05:05:43] 1201*2^451221-1 is not prime. Res64: F96AD3F047BABE82 Time : 1041.0 sec. user=Bismarck [2009-02-17 05:05:53] 1287*2^451222-1 is not prime. Res64: F3A5E4D4AC68F0E1 Time : 401.0 sec. user=gd_barnes [2009-02-17 05:05:55] 1379*2^451220-1 is not prime. Res64: B455C9CC2C0899FA Time : 1351.0 sec. user=Bismarck [2009-02-17 05:06:20] 1365*2^451222-1 is not prime. Res64: 2758F38DFCF46AFF Time : 400.0 sec. user=mdettweiler [2009-02-17 05:06:29] 1297*2^451221-1 is not prime. Res64: CFE1B9259010096D Time : 1041.0 sec. user=Bismarck [2009-02-17 05:08:35] 1191*2^451223-1 is not prime. Res64: E9B023017778F3B0 Time : 395.0 sec. user=Bismarck [2009-02-17 05:08:55] 1321*2^451223-1 is not prime. Res64: B2FF0A93ED43B0CB Time : 396.0 sec. user=Bismarck [2009-02-17 05:09:09] 1335*2^451223-1 is not prime. Res64: 9ED81845189EDF57 Time : 395.0 sec. user=mdettweiler [2009-02-17 05:09:12] 1339*2^451221-1 is not prime. Res64: 9BC0A21C7753444C Time : 1038.0 sec. user=Bismarck [2009-02-17 05:09:39] 1047*2^451224-1 is not prime. Res64: 1E8C7EF9CFD9D3AF Time : 398.0 sec. user=mdettweiler [2009-02-17 05:09:56] 1375*2^451221-1 is not prime. Res64: 09F018F36AD0D181 Time : 1040.0 sec. user=gd_barnes [2009-02-17 05:10:25] 1159*2^451221-1 is not prime. Res64: 41083452C3E320AC Time : 1351.0 sec. user=mdettweiler [2009-02-17 05:12:39] 1013*2^451222-1 is not prime. Res64: 99F3E2307D5682C4 Time : 1039.0 sec. user=mdettweiler [2009-02-17 05:13:24] 1053*2^451222-1 is not prime. Res64: 4E0CC774E32AECCB Time : 1039.0 sec. user=gd_barnes [2009-02-17 05:14:57] 1341*2^451221-1 is not prime. Res64: 11F54B5438EC7818 Time : 1353.0 sec. user=mdettweiler [2009-02-17 05:16:08] 1181*2^451222-1 is not prime. Res64: 17E2675EE51D48A9 Time : 1041.0 sec. user=mdettweiler [2009-02-17 05:16:52] 1293*2^451222-1 is not prime. Res64: 7DBC40432A3D43F5 Time : 1040.0 sec. user=gd_barnes [2009-02-17 05:19:25] 1085*2^451222-1 is not prime. Res64: B97AF635D7ED967D Time : 1351.0 sec. user=mdettweiler [2009-02-17 05:19:37] 1279*2^451223-1 is not prime. Res64: CABA591EAC271ABD Time : 1041.0 sec. user=mdettweiler [2009-02-17 05:20:21] 1007*2^451224-1 is not prime. Res64: 1F908DE2EDFFDA0B Time : 1041.0 sec. user=Bismarck [2009-02-17 05:22:28] 1059*2^451224-1 is not prime. Res64: 38338F624A828518 Time : 1032.0 sec. user=mdettweiler [2009-02-17 05:23:04] 1115*2^451224-1 is not prime. Res64: 824FAA5507C6743B Time : 1041.0 sec. user=Bismarck [2009-02-17 05:23:29] 1083*2^451224-1 is not prime. Res64: FFDFF6084AA2E35B Time : 1072.0 sec. user=mdettweiler [2009-02-17 05:23:48] 1245*2^451224-1 is not prime. Res64: F8FC14BC1D8595F6 Time : 1040.0 sec. user=Bismarck [2009-02-17 05:23:49] 1173*2^451224-1 is not prime. Res64: B6209E9730218714 Time : 1077.0 sec. user=Bismarck [2009-02-17 05:23:49] 1203*2^451224-1 is not prime. Res64: 874B3CC2CE42C992 Time : 1049.0 sec. user=gd_barnes [2009-02-17 05:23:55] 1189*2^451223-1 is not prime. Res64: 26B4C9F25BD9A064 Time : 1351.0 sec. user=mdettweiler [2009-02-17 05:26:32] 1027*2^451225-1 is not prime. Res64: 20DD29874E454056 Time : 1041.0 sec. user=mdettweiler [2009-02-17 05:27:16] 1197*2^451225-1 is not prime. Res64: C07EDF337DC1FD3E Time : 1040.0 sec. user=gd_barnes [2009-02-17 05:28:25] 1193*2^451224-1 is not prime. Res64: 6203961E4F83C631 Time : 1350.0 sec. user=mdettweiler [2009-02-17 05:30:01] 1269*2^451225-1 is not prime. Res64: BEA887BA8BFD5458 Time : 1042.0 sec. user=mdettweiler [2009-02-17 05:30:45] 1287*2^451225-1 is not prime. Res64: EE4ECE7F04371CF7 Time : 1041.0 sec. user=gd_barnes [2009-02-17 05:32:55] 1251*2^451225-1 is not prime. Res64: 5CA05E1D53E7366B Time : 1350.0 sec. user=mdettweiler [2009-02-17 05:33:29] 1377*2^451225-1 is not prime. Res64: C4BAC56762105CE3 Time : 1042.0 sec. user=mdettweiler [2009-02-17 05:34:13] 1025*2^451226-1 is not prime. Res64: 9AA3CD3E30DE7C47 Time : 1041.0 sec. user=mdettweiler [2009-02-17 05:36:56] 1047*2^451226-1 is not prime. Res64: 120841705CF6A2C5 Time : 1040.0 sec. user=gd_barnes [2009-02-17 05:37:25] 1311*2^451225-1 is not prime. Res64: 88C480FAD9D42472 Time : 1348.0 sec. user=mdettweiler [2009-02-17 05:37:40] 1055*2^451226-1 is not prime. Res64: 461E2AEA3C1EEFB8 Time : 1039.0 sec. user=mdettweiler [2009-02-17 05:40:25] 1197*2^451226-1 is not prime. Res64: 510F17871DC759A0 Time : 1041.0 sec. user=mdettweiler [2009-02-17 05:41:08] 1313*2^451226-1 is not prime. Res64: 4CF7FAEA21B6CC23 Time : 1040.0 sec. user=gd_barnes [2009-02-17 05:41:55] 1041*2^451226-1 is not prime. Res64: 18BFA3CA1E81F35F Time : 1350.0 sec. user=mdettweiler [2009-02-17 05:43:52] 1255*2^451227-1 is not prime. Res64: D77162D7C6AC4D7E Time : 1040.0 sec. user=mdettweiler [2009-02-17 05:44:37] 1311*2^451227-1 is not prime. Res64: 832FDBCB5CEAF614 Time : 1041.0 sec. user=gd_barnes [2009-02-17 05:46:25] 1101*2^451227-1 is not prime. Res64: A67D46345E380708 Time : 1350.0 sec. user=mdettweiler [2009-02-17 05:47:21] 1381*2^451227-1 is not prime. Res64: 916741376E2E16BF Time : 1040.0 sec. user=mdettweiler [2009-02-17 05:48:05] 1077*2^451228-1 is not prime. Res64: 77359ACFE1D83CDE Time : 1041.0 sec. user=mdettweiler [2009-02-17 05:50:49] 1239*2^451228-1 is not prime. Res64: 70B8CF85D3B56F2D Time : 1041.0 sec. user=gd_barnes [2009-02-17 05:50:55] 1365*2^451227-1 is not prime. Res64: 19B2AED48F156A31 Time : 1350.0 sec. user=mdettweiler [2009-02-17 05:51:32] 1253*2^451228-1 is not prime. Res64: 3B9F5EA078BCEC06 Time : 1039.0 sec. user=mdettweiler [2009-02-17 05:54:17] 1329*2^451228-1 is not prime. Res64: 2CAD3D2E6B32ABC9 Time : 1041.0 sec. user=mdettweiler [2009-02-17 05:55:01] 1071*2^451229-1 is not prime. Res64: F1C1F7AB426FAF54 Time : 1041.0 sec. user=gd_barnes [2009-02-17 05:55:25] 1107*2^451228-1 is not prime. Res64: 10AAF28DECD1864A Time : 1350.0 sec. user=mdettweiler [2009-02-17 05:57:44] 1197*2^451229-1 is not prime. Res64: 651BC47A7501544F Time : 1040.0 sec. user=mdettweiler [2009-02-17 05:58:29] 1209*2^451229-1 is not prime. Res64: 23761E66ACF97873 Time : 1041.0 sec. user=gd_barnes [2009-02-17 05:59:55] 1027*2^451229-1 is not prime. Res64: 855F7388E2EC91AF Time : 1350.0 sec. user=mdettweiler [2009-02-17 06:01:13] 1299*2^451229-1 is not prime. Res64: 180CAC88311322CF Time : 1041.0 sec. user=mdettweiler [2009-02-17 06:01:57] 1387*2^451229-1 is not prime. Res64: F3A6AB341B2C7CBA Time : 1041.0 sec. user=gd_barnes [2009-02-17 06:04:39] 1231*2^451229-1 is not prime. Res64: 512F263D7433DA7B Time : 1364.0 sec. user=mdettweiler [2009-02-17 06:04:41] 1053*2^451230-1 is not prime. Res64: C58D5FC3E1936526 Time : 1041.0 sec. user=mdettweiler [2009-02-17 06:05:25] 1187*2^451230-1 is not prime. Res64: 7A1B37E5D81882E1 Time : 1040.0 sec. user=mdettweiler [2009-02-17 06:08:08] 1355*2^451230-1 is not prime. Res64: 5874D959C705883A Time : 1039.0 sec. user=mdettweiler [2009-02-17 06:08:54] 1385*2^451230-1 is not prime. Res64: EB4D6C06CF8246CC Time : 1042.0 sec. user=gd_barnes [2009-02-17 06:08:55] 1017*2^451230-1 is not prime. Res64: 043EDC492E189FD7 Time : 1350.0 sec. user=mdettweiler [2009-02-17 06:11:37] 1021*2^451231-1 is not prime. Res64: 3D29EA3D40E1DB34 Time : 1040.0 sec. user=mdettweiler [2009-02-17 06:12:22] 1093*2^451231-1 is not prime. Res64: B67C85BEA7032321 Time : 1042.0 sec. user=gd_barnes [2009-02-17 06:13:58] 1361*2^451230-1 is not prime. Res64: D3503E0ACB5C676F Time : 1383.0 sec. user=mdettweiler [2009-02-17 06:15:05] 1143*2^451231-1 is not prime. Res64: 6D3CD0D4C72EBF18 Time : 1041.0 sec. user=mdettweiler [2009-02-17 06:15:49] 1165*2^451231-1 is not prime. Res64: 8D2F147A9B7D7888 Time : 1040.0 sec. user=gd_barnes [2009-02-17 06:17:56] 1119*2^451231-1 is not prime. Res64: E4E73713CF7982B8 Time : 1351.0 sec. user=mdettweiler [2009-02-17 06:18:33] 1191*2^451231-1 is not prime. Res64: F89802AED4A14236 Time : 1041.0 sec. user=mdettweiler [2009-02-17 06:19:17] 1221*2^451231-1 is not prime. Res64: 6009B935A62470E1 Time : 1040.0 sec. user=mdettweiler [2009-02-17 06:22:01] 1251*2^451231-1 is not prime. Res64: 01313FBF61B05E36 Time : 1040.0 sec. user=gd_barnes [2009-02-17 06:22:29] 1185*2^451231-1 is not prime. Res64: EB9E32897B4FF61F Time : 1354.0 sec. user=mdettweiler [2009-02-17 06:22:46] 1263*2^451231-1 is not prime. Res64: 3179695D0CF13AC9 Time : 1041.0 sec. user=mdettweiler [2009-02-17 06:25:29] 1321*2^451231-1 is not prime. Res64: 3D1E9FCD32010BF2 Time : 1041.0 sec. user=mdettweiler [2009-02-17 06:26:14] 1339*2^451231-1 is not prime. Res64: 8732AB0BE5161C49 Time : 1041.0 sec. user=gd_barnes [2009-02-17 06:26:56] 1233*2^451231-1 is not prime. Res64: 4359D9535D1DE56B Time : 1337.0 sec. user=mdettweiler [2009-02-17 06:28:57] 1399*2^451231-1 is not prime. Res64: BF13A336BD39D2D8 Time : 1040.0 sec. user=mdettweiler [2009-02-17 06:29:42] 1083*2^451232-1 is not prime. Res64: E3CE40589A354685 Time : 1040.0 sec. user=gd_barnes [2009-02-17 06:32:13] 1389*2^451231-1 is not prime. Res64: 5A3E050164477000 Time : 1398.0 sec. user=mdettweiler [2009-02-17 06:32:25] 1175*2^451232-1 is not prime. Res64: DF6E804A3422797A Time : 1040.0 sec. user=mdettweiler [2009-02-17 06:33:10] 1215*2^451232-1 is not prime. Res64: C82363BB5E1BD98A Time : 1041.0 sec. user=mdettweiler [2009-02-17 06:35:53] 1299*2^451232-1 is not prime. Res64: 99BFDECC43522360 Time : 1041.0 sec. user=gd_barnes [2009-02-17 06:35:56] 1193*2^451232-1 is not prime. Res64: F729BDFA39836EBB Time : 1239.0 sec. user=mdettweiler [2009-02-17 06:36:38] 1313*2^451232-1 is not prime. Res64: 465A83BC989730B0 Time : 1041.0 sec. user=mdettweiler [2009-02-17 06:39:30] 1379*2^451232-1 is not prime. Res64: 989439C2755AC862 Time : 1049.0 sec. user=mdettweiler [2009-02-17 06:40:06] 1039*2^451233-1 is not prime. Res64: AAB1DA93D1154D9F Time : 1041.0 sec. user=gd_barnes [2009-02-17 06:40:26] 1287*2^451232-1 is not prime. Res64: 110D1D7626F1653C Time : 1350.0 sec. user=mdettweiler [2009-02-17 06:42:49] 1059*2^451233-1 is not prime. Res64: C3BDF2F39BCADF84 Time : 1041.0 sec. user=mdettweiler [2009-02-17 06:43:34] 1095*2^451233-1 is not prime. Res64: 7DA7559AAA837218 Time : 1040.0 sec. user=gd_barnes [2009-02-17 06:45:10] 1017*2^451233-1 is not prime. Res64: 0D3F34297E303BBA Time : 1361.0 sec. user=mdettweiler [2009-02-17 06:46:17] 1159*2^451233-1 is not prime. Res64: 3D4201FFF8DF2429 Time : 1040.0 sec. user=mdettweiler [2009-02-17 06:47:02] 1207*2^451233-1 is not prime. Res64: 43D39302AAD62489 Time : 1040.0 sec. user=gd_barnes [2009-02-17 06:49:27] 1119*2^451233-1 is not prime. Res64: 122CC4FA86AD0C7F Time : 1351.0 sec. user=mdettweiler [2009-02-17 06:49:49] 1209*2^451233-1 is not prime. Res64: 6E44252186EB99D7 Time : 1044.0 sec. user=mdettweiler [2009-02-17 06:50:30] 1251*2^451233-1 is not prime. Res64: 5229277A4192A0E0 Time : 1041.0 sec. user=mdettweiler [2009-02-17 06:53:13] 1297*2^451233-1 is not prime. Res64: 973ACBAC8F4A035A Time : 1040.0 sec. user=gd_barnes [2009-02-17 06:53:56] 1287*2^451233-1 is not prime. Res64: D57BE73F91D053D0 Time : 1238.0 sec. user=mdettweiler [2009-02-17 06:53:58] 1013*2^451234-1 is not prime. Res64: 6DE7F4D6F8D4DAED Time : 1040.0 sec. user=mdettweiler [2009-02-17 06:56:41] 1137*2^451234-1 is not prime. Res64: 5CE6D0551C4C5EFB Time : 1031.0 sec. user=mdettweiler [2009-02-17 06:57:26] 1143*2^451234-1 is not prime. Res64: 058358881B97B36E Time : 1040.0 sec. user=gd_barnes [2009-02-17 06:58:27] 1381*2^451233-1 is not prime. Res64: C5BA37C0E3439232 Time : 1351.0 sec. user=mdettweiler [2009-02-17 07:00:09] 1233*2^451234-1 is not prime. Res64: 50BABE6DB922E1C8 Time : 1040.0 sec. user=mdettweiler [2009-02-17 07:00:55] 1287*2^451234-1 is not prime. Res64: 4A2FC25046B9BC74 Time : 1041.0 sec. user=gd_barnes [2009-02-17 07:02:57] 1151*2^451234-1 is not prime. Res64: 468ECDED5F325B95 Time : 1351.0 sec. user=mdettweiler [2009-02-17 07:05:01] 1323*2^451234-1 is not prime. Res64: FE127B1D8886B8E9 Time : 1124.0 sec. user=mdettweiler [2009-02-17 07:05:46] 1331*2^451234-1 is not prime. Res64: 9A66953DE49D7876 Time : 1125.0 sec. user=mdettweiler [2009-02-17 07:07:05] 1385*2^451234-1 is not prime. Res64: 32FE880A48BA2807 Time : 1037.0 sec. user=gd_barnes [2009-02-17 07:07:37] 1295*2^451234-1 is not prime. Res64: C6F61493AB0106BB Time : 1347.0 sec. user=mdettweiler [2009-02-17 07:07:50] 1065*2^451235-1 is not prime. Res64: 87216D7650F7C806 Time : 1040.0 sec. user=mdettweiler [2009-02-17 07:10:33] 1119*2^451235-1 is not prime. Res64: 98DF5DC68874EF33 Time : 1040.0 sec. user=mdettweiler [2009-02-17 07:11:19] 1225*2^451235-1 is not prime. Res64: 15018401A59BE1C9 Time : 1041.0 sec. user=gd_barnes [2009-02-17 07:11:58] 1367*2^451234-1 is not prime. Res64: F9ACF274AE0259F6 Time : 1351.0 sec. user=mdettweiler [2009-02-17 07:14:04] 1025*2^451236-1 is not prime. Res64: 573E4FC59ADCBA28 Time : 1043.0 sec. user=mdettweiler [2009-02-17 07:16:02] 1029*2^451236-1 is not prime. Res64: 1F046FB084565AE9 Time : 1116.0 sec. user=gd_barnes [2009-02-17 07:16:28] 1141*2^451235-1 is not prime. Res64: B47C72E51A9BE985 Time : 1352.0 sec. user=mdettweiler [2009-02-17 07:17:30] 1085*2^451236-1 is not prime. Res64: 539FBCF442C1FB8B Time : 1041.0 sec. user=mdettweiler [2009-02-17 07:18:15] 1169*2^451236-1 is not prime. Res64: C257BB9E79B8E63E Time : 1040.0 sec. user=mdettweiler [2009-02-17 07:20:58] 1217*2^451236-1 is not prime. Res64: B8326F11625C1B9D Time : 957.0 sec. user=gd_barnes [2009-02-17 07:20:58] 1077*2^451236-1 is not prime. Res64: B0B66B961A397781 Time : 1351.0 sec. user=mdettweiler [2009-02-17 07:21:43] 1319*2^451236-1 is not prime. Res64: B5D5A14BDCE43CA3 Time : 957.0 sec. user=mdettweiler [2009-02-17 07:24:25] 1389*2^451236-1 is not prime. Res64: B6E39FC8774B7998 Time : 1040.0 sec. user=mdettweiler [2009-02-17 07:25:11] 1015*2^451237-1 is not prime. Res64: 25CCE249C4B54B05 Time : 1041.0 sec. user=gd_barnes [2009-02-17 07:25:29] 1199*2^451236-1 is not prime. Res64: D6006174670B8A94 Time : 1352.0 sec. user=mdettweiler [2009-02-17 07:27:53] 1069*2^451237-1 is not prime. Res64: A311B1435FE751ED Time : 1040.0 sec. user=mdettweiler [2009-02-17 07:28:39] 1071*2^451237-1 is not prime. Res64: 1C208FFE58C9395F Time : 1040.0 sec. user=gd_barnes [2009-02-17 07:29:58] 1397*2^451236-1 is not prime. Res64: 6ECBE6936078D31E Time : 1341.0 sec. user=mdettweiler [2009-02-17 07:31:22] 1195*2^451237-1 is not prime. Res64: 98892098B2568BD8 Time : 1038.0 sec. user=mdettweiler [2009-02-17 07:32:07] 1227*2^451237-1 is not prime. Res64: 8AB31D0D90A4C79B Time : 965.0 sec. user=gd_barnes [2009-02-17 07:34:29] 1105*2^451237-1 is not prime. Res64: 3FB87337FFE0AFA8 Time : 1351.0 sec. user=mdettweiler [2009-02-17 07:34:50] 1377*2^451237-1 is not prime. Res64: 56E867E496709BD3 Time : 1041.0 sec. user=mdettweiler [2009-02-17 07:35:36] 1387*2^451237-1 is not prime. Res64: D639151BC31D4541 Time : 1041.0 sec. user=mdettweiler [2009-02-17 07:38:18] 1395*2^451237-1 is not prime. Res64: 3738D9A2545A0BC0 Time : 1041.0 sec. user=gd_barnes [2009-02-17 07:39:00] 1357*2^451237-1 is not prime. Res64: B42F931CDA761365 Time : 1352.0 sec. user=mdettweiler [2009-02-17 07:39:03] 1217*2^451238-1 is not prime. Res64: 6F64B0C95A8BB888 Time : 1041.0 sec. user=mdettweiler [2009-02-17 07:41:46] 1295*2^451238-1 is not prime. Res64: 06DAEDC5384AF6E7 Time : 1041.0 sec. user=mdettweiler [2009-02-17 07:42:31] 1301*2^451238-1 is not prime. Res64: BF21DE44C8BFE2C8 Time : 1040.0 sec. user=gd_barnes [2009-02-17 07:43:29] 1065*2^451238-1 is not prime. Res64: FA2A5359AB68BF3F Time : 1351.0 sec. user=mdettweiler [2009-02-17 07:45:14] 1385*2^451238-1 is not prime. Res64: 35A883A6CE0739B3 Time : 1041.0 sec. user=mdettweiler [2009-02-17 07:46:00] 1391*2^451238-1 is not prime. Res64: 7130295106553ACF Time : 1041.0 sec. user=gd_barnes [2009-02-17 07:48:00] 1305*2^451238-1 is not prime. Res64: FDF17CDC411EE3DC Time : 1351.0 sec. user=mdettweiler [2009-02-17 07:48:42] 1021*2^451239-1 is not prime. Res64: 05654FCE41F4D476 Time : 1040.0 sec. user=mdettweiler [2009-02-17 07:49:28] 1033*2^451239-1 is not prime. Res64: 4E9097CE5C46C46B Time : 1041.0 sec. user=mdettweiler [2009-02-17 07:52:10] 1099*2^451239-1 is not prime. Res64: D7398B99A1E65AFA Time : 1040.0 sec. user=gd_barnes [2009-02-17 07:52:30] 1397*2^451238-1 is not prime. Res64: 5B1C8E60CEA750CF Time : 1352.0 sec. user=mdettweiler [2009-02-17 07:52:56] 1231*2^451239-1 is not prime. Res64: 449023412D00164E Time : 1041.0 sec. user=mdettweiler [2009-02-17 07:55:39] 1251*2^451239-1 is not prime. Res64: 4156A8B7908DDD06 Time : 1042.0 sec. user=mdettweiler [2009-02-17 07:56:24] 1393*2^451239-1 is not prime. Res64: 1BB7AF842A494CE1 Time : 1041.0 sec. user=gd_barnes [2009-02-17 07:57:01] 1081*2^451239-1 is not prime. Res64: 37C51A2B3AF7896B Time : 1352.0 sec. user=mdettweiler [2009-02-17 07:59:06] 1203*2^451240-1 is not prime. Res64: 1690B4814DC98C01 Time : 1040.0 sec. user=mdettweiler [2009-02-17 07:59:52] 1227*2^451240-1 is not prime. Res64: 912132D9DF31572D Time : 1041.0 sec. user=gd_barnes [2009-02-17 08:01:31] 1263*2^451239-1 is not prime. Res64: B53B75FBD17DDB20 Time : 1352.0 sec. user=mdettweiler [2009-02-17 08:02:35] 1305*2^451240-1 is not prime. Res64: 8C4CDC04426BFA31 Time : 1041.0 sec. user=mdettweiler [2009-02-17 08:03:20] 1319*2^451240-1 is not prime. Res64: 764D4015CD90EE55 Time : 1041.0 sec. user=gd_barnes [2009-02-17 08:06:01] 1289*2^451240-1 is not prime. Res64: E88E22F716E50068 Time : 1352.0 sec. user=mdettweiler [2009-02-17 08:06:03] 1359*2^451240-1 is not prime. Res64: CDBE27E6C2250A2B Time : 1041.0 sec. user=mdettweiler [2009-02-17 08:06:49] 1377*2^451240-1 is not prime. Res64: 36F6985AE93757BB Time : 1041.0 sec. user=mdettweiler [2009-02-17 08:09:30] 1011*2^451241-1 is not prime. Res64: 6C5A65164AFEC681 Time : 1040.0 sec. user=mdettweiler [2009-02-17 08:10:16] 1089*2^451241-1 is not prime. Res64: E7C6BEE58A5604D8 Time : 1040.0 sec. user=gd_barnes [2009-02-17 08:10:31] 1347*2^451240-1 is not prime. Res64: 4F8E9A7A5E6A9EE4 Time : 1352.0 sec. user=mdettweiler [2009-02-17 08:12:59] 1137*2^451241-1 is not prime. Res64: 5175CF8C03F8F53F Time : 1040.0 sec. user=mdettweiler [2009-02-17 08:13:45] 1147*2^451241-1 is not prime. Res64: 466B7E7A17BB17E1 Time : 1042.0 sec. user=gd_barnes [2009-02-17 08:15:02] 1015*2^451241-1 is not prime. Res64: 591B8E28F506F807 Time : 1352.0 sec. user=mdettweiler [2009-02-17 08:16:26] 1309*2^451241-1 is not prime. Res64: 431C266C86B2A2D8 Time : 1040.0 sec. user=mdettweiler [2009-02-17 08:17:13] 1321*2^451241-1 is not prime. Res64: 2041116553094A0B Time : 1041.0 sec. user=gd_barnes [2009-02-17 08:19:31] 1239*2^451241-1 is not prime. Res64: F8CDCD3429E35C89 Time : 1350.0 sec. user=mdettweiler [2009-02-17 08:19:55] 1377*2^451241-1 is not prime. Res64: 60F7F9BCCB6D11D3 Time : 1041.0 sec. user=mdettweiler [2009-02-17 08:20:40] 1113*2^451242-1 is not prime. Res64: DD9A935F45EC53DD Time : 1040.0 sec. user=gd_barnes [2009-02-17 08:24:02] 1341*2^451241-1 is not prime. Res64: 74A3875643C17F8B Time : 1351.0 sec. user=mdettweiler [2009-02-17 08:24:47] 1193*2^451242-1 is not prime. Res64: CDAC472750271C58 Time : 1124.0 sec. user=mdettweiler [2009-02-17 08:25:33] 1295*2^451242-1 is not prime. Res64: CCBEA123F7CCCE0C Time : 1125.0 sec. user=mdettweiler [2009-02-17 08:26:51] 1053*2^451243-1 is not prime. Res64: E83CA1A4D2778378 Time : 1041.0 sec. user=mdettweiler [2009-02-17 08:27:37] 1065*2^451243-1 is not prime. Res64: 0754CD76FA5F3926 Time : 1041.0 sec. user=gd_barnes [2009-02-17 08:28:32] 1167*2^451242-1 is not prime. Res64: F7523376206A5026 Time : 1351.0 sec. user=mdettweiler [2009-02-17 08:30:19] 1153*2^451243-1 is not prime. Res64: AEC0E78187A467C0 Time : 1040.0 sec. user=mdettweiler [2009-02-17 08:31:05] 1191*2^451243-1 is not prime. Res64: 8817E798FA6F66D3 Time : 1041.0 sec. user=gd_barnes [2009-02-17 08:33:02] 1071*2^451243-1 is not prime. Res64: BBC046F87B9928E1 Time : 1351.0 sec. user=mdettweiler [2009-02-17 08:34:34] 1263*2^451243-1 is not prime. Res64: E88C7D13A4B5AD26 Time : 1041.0 sec. user=mdettweiler [2009-02-17 08:35:12] 1255*2^451243-1 is not prime. Res64: B437519A460E01DD Time : 1126.0 sec. user=gd_barnes [2009-02-17 08:37:32] 1219*2^451243-1 is not prime. Res64: B57A89948BA42ED6 Time : 1350.0 sec. user=mdettweiler [2009-02-17 08:38:17] 1035*2^451244-1 is not prime. Res64: 53B956E9A9A18DA4 Time : 1057.0 sec. user=mdettweiler [2009-02-17 08:38:39] 1339*2^451243-1 is not prime. Res64: EBFA2C91DC4BE2CA Time : 1124.0 sec. user=mdettweiler [2009-02-17 08:40:45] 1137*2^451244-1 is not prime. Res64: A7BAE6B997BA4652 Time : 958.0 sec. user=mdettweiler [2009-02-17 08:41:31] 1275*2^451244-1 is not prime. Res64: EF701C87C2654AC2 Time : 958.0 sec. user=gd_barnes [2009-02-17 08:42:03] 1333*2^451243-1 is not prime. Res64: 930F4EEBD58CD839 Time : 1352.0 sec. user=mdettweiler [2009-02-17 08:44:15] 1295*2^451244-1 is not prime. Res64: 11A5BD2D14BFD834 Time : 1044.0 sec. user=mdettweiler [2009-02-17 08:45:01] 1305*2^451244-1 is not prime. Res64: E0D7E07C61209A7E Time : 1044.0 sec. user=gd_barnes [2009-02-17 08:46:32] 1049*2^451244-1 is not prime. Res64: B79822CEA7740F2A Time : 1350.0 sec. user=mdettweiler [2009-02-17 08:47:44] 1125*2^451245-1 is not prime. Res64: BDAA4834E1CF111B Time : 1045.0 sec. user=mdettweiler [2009-02-17 08:48:30] 1161*2^451245-1 is not prime. Res64: CC7F030949D65BBD Time : 1045.0 sec. user=gd_barnes [2009-02-17 08:51:03] 1071*2^451245-1 is not prime. Res64: 9141DA8B36EC74CA Time : 1351.0 sec. user=mdettweiler [2009-02-17 08:51:13] 1195*2^451245-1 is not prime. Res64: C1892388E098257D Time : 962.0 sec. user=mdettweiler [2009-02-17 08:51:59] 1185*2^451245-1 is not prime. Res64: B5839FCECEC35178 Time : 1045.0 sec. user=mdettweiler [2009-02-17 08:54:42] 1225*2^451245-1 is not prime. Res64: 6E5EBF39B266FAC5 Time : 963.0 sec. user=mdettweiler [2009-02-17 08:55:28] 1227*2^451245-1 is not prime. Res64: D4DE49FA3111B091 Time : 955.0 sec. user=gd_barnes [2009-02-17 08:55:47] 1167*2^451245-1 is not prime. Res64: A28E8E69CCCCC121 Time : 1365.0 sec. user=mdettweiler [2009-02-17 08:58:11] 1279*2^451245-1 is not prime. Res64: 5745FEE5FE810C19 Time : 1046.0 sec. user=mdettweiler [2009-02-17 08:58:56] 1375*2^451245-1 is not prime. Res64: 93B8C9EA5175C59B Time : 1045.0 sec. user=gd_barnes [2009-02-17 09:00:03] 1201*2^451245-1 is not prime. Res64: 876D20ACC5C9004F Time : 1351.0 sec. user=mdettweiler [2009-02-17 09:01:38] 1023*2^451246-1 is not prime. Res64: A38F78F3B5EF94B1 Time : 1043.0 sec. user=mdettweiler [2009-02-17 09:02:25] 1125*2^451246-1 is not prime. Res64: 4619C31E977F35D6 Time : 1045.0 sec. user=gd_barnes [2009-02-17 09:04:33] 1389*2^451245-1 is not prime. Res64: B931E39251C649C4 Time : 1350.0 sec. user=mdettweiler [2009-02-17 09:05:06] 1223*2^451246-1 is not prime. Res64: E98D7DDC3DDFD4C4 Time : 1042.0 sec. user=mdettweiler [2009-02-17 09:05:52] 1311*2^451246-1 is not prime. Res64: 9DDB99E1D6953F00 Time : 1042.0 sec. user=mdettweiler [2009-02-17 09:08:34] 1373*2^451246-1 is not prime. Res64: 990EAE337528FC1F Time : 1042.0 sec. user=gd_barnes [2009-02-17 09:09:04] 1155*2^451246-1 is not prime. Res64: 8DEDFFA2DF7828FE Time : 1352.0 sec. user=mdettweiler [2009-02-17 09:09:20] 1015*2^451247-1 is not prime. Res64: 30FF5C8B04FF8139 Time : 1042.0 sec. user=mdettweiler [2009-02-17 09:12:02] 1023*2^451247-1 is not prime. Res64: F71A4373BD5E7F66 Time : 1040.0 sec. user=mdettweiler [2009-02-17 09:12:49] 1083*2^451247-1 is not prime. Res64: 983CAF41A4ED2DF1 Time : 1041.0 sec. user=gd_barnes [2009-02-17 09:13:34] 1335*2^451246-1 is not prime. Res64: D995A04FB04DF3B9 Time : 1351.0 sec. user=mdettweiler [2009-02-17 09:15:29] 1161*2^451247-1 is not prime. Res64: D50F992DBB1558E3 Time : 1038.0 sec. user=mdettweiler [2009-02-17 09:16:16] 1215*2^451247-1 is not prime. Res64: 46EDCD5AB3A66A8F Time : 1040.0 sec. user=gd_barnes [2009-02-17 09:18:04] 1089*2^451247-1 is not prime. Res64: 01D99FB8C017C4E3 Time : 1337.0 sec. user=mdettweiler [2009-02-17 09:19:00] 1239*2^451247-1 is not prime. Res64: 2E045AC23C950581 Time : 1042.0 sec. user=mdettweiler [2009-02-17 09:19:44] 1281*2^451247-1 is not prime. Res64: 4AEC7E578F49738B Time : 1040.0 sec. user=mdettweiler [2009-02-17 09:22:26] 1351*2^451247-1 is not prime. Res64: 897C94487ED3F1BF Time : 1041.0 sec. user=gd_barnes [2009-02-17 09:22:34] 1225*2^451247-1 is not prime. Res64: FC6A4FAD093182F6 Time : 1351.0 sec. user=mdettweiler [2009-02-17 09:23:12] 1369*2^451247-1 is not prime. Res64: 58C6908643763BF4 Time : 1040.0 sec. user=mdettweiler [2009-02-17 09:25:53] 1007*2^451248-1 is not prime. Res64: 8069DA261FB287B9 Time : 1039.0 sec. user=mdettweiler [2009-02-17 09:26:40] 1073*2^451248-1 is not prime. Res64: 5D89DF0396DFD3B1 Time : 1040.0 sec. user=gd_barnes [2009-02-17 09:27:05] 1291*2^451247-1 is not prime. Res64: E24B68BF428D0BEE Time : 1352.0 sec. user=mdettweiler [2009-02-17 09:29:22] 1085*2^451248-1 is not prime. Res64: 0DC05552602BA024 Time : 1041.0 sec. user=mdettweiler [2009-02-17 09:30:08] 1109*2^451248-1 is not prime. Res64: 8CCC8AE9A1E7CFEC Time : 1040.0 sec. user=gd_barnes [2009-02-17 09:31:34] 1035*2^451248-1 is not prime. Res64: DA6A9CB16826CEF1 Time : 1350.0 sec. user=mdettweiler [2009-02-17 09:32:49] 1167*2^451248-1 is not prime. Res64: F76056368750E6B9 Time : 1040.0 sec. user=mdettweiler [2009-02-17 09:33:37] 1179*2^451248-1 is not prime. Res64: 1094565353682FCC Time : 1041.0 sec. user=gd_barnes [2009-02-17 09:36:05] 1155*2^451248-1 is not prime. Res64: 13AFA8CE253F8227 Time : 1351.0 sec. user=mdettweiler [2009-02-17 09:36:17] 1209*2^451248-1 is not prime. Res64: 58CBF7CEDF74ACAB Time : 1037.0 sec. user=mdettweiler [2009-02-17 09:37:07] 1235*2^451248-1 is not prime. Res64: CFFC61344EDC954C Time : 1043.0 sec. user=mdettweiler [2009-02-17 09:39:45] 1239*2^451248-1 is not prime. Res64: CF4B8C9A9CFD184D Time : 1039.0 sec. user=mdettweiler [2009-02-17 09:40:32] 1287*2^451248-1 is not prime. Res64: 523367D1508084D4 Time : 1040.0 sec. user=gd_barnes [2009-02-17 09:40:34] 1187*2^451248-1 is not prime. Res64: 17AD8872C7CAD68B Time : 1350.0 sec. user=mdettweiler [2009-02-17 09:43:13] 1319*2^451248-1 is not prime. Res64: F83E8AEFC8786E73 Time : 1040.0 sec. user=mdettweiler [2009-02-17 09:44:00] 1365*2^451248-1 is not prime. Res64: 0798B064C7DD0A0A Time : 1040.0 sec. user=gd_barnes [2009-02-17 09:45:05] 1253*2^451248-1 is not prime. Res64: C806798DB632F7A0 Time : 1351.0 sec. user=mdettweiler [2009-02-17 09:46:41] 1251*2^451249-1 is not prime. Res64: 42348338F5D3A7E3 Time : 1040.0 sec. user=mdettweiler [2009-02-17 09:47:29] 1287*2^451249-1 is not prime. Res64: D6DF0451B4DBD5DB Time : 1041.0 sec. user=gd_barnes [2009-02-17 09:49:34] 1171*2^451249-1 is not prime. Res64: B5EA1217F69818B3 Time : 1349.0 sec. user=mdettweiler [2009-02-17 09:50:09] 1053*2^451250-1 is not prime. Res64: FEEE6A4DC7F97120 Time : 1040.0 sec. user=mdettweiler [2009-02-17 09:50:56] 1083*2^451250-1 is not prime. Res64: 9534740FEDB5C25B Time : 1040.0 sec. user=mdettweiler [2009-02-17 09:53:37] 1103*2^451250-1 is not prime. Res64: 6EE761C63DCDDCD2 Time : 1040.0 sec. user=gd_barnes [2009-02-17 09:54:05] 1309*2^451249-1 is not prime. Res64: 65DE817E22596434 Time : 1351.0 sec. user=mdettweiler [2009-02-17 09:54:23] 1137*2^451250-1 is not prime. Res64: 7B6462FD0C317BFB Time : 1036.0 sec. user=mdettweiler [2009-02-17 09:57:05] 1151*2^451250-1 is not prime. Res64: 9FE0290766639A02 Time : 1040.0 sec. user=mdettweiler [2009-02-17 09:57:52] 1155*2^451250-1 is not prime. Res64: A19A577DAE9D73DC Time : 1040.0 sec. user=gd_barnes [2009-02-17 09:58:36] 1091*2^451250-1 is not prime. Res64: 88159DD878A36B27 Time : 1351.0 sec. user=mdettweiler [2009-02-17 10:00:33] 1281*2^451250-1 is not prime. Res64: 91A5DACBD58B27DE Time : 1040.0 sec. user=mdettweiler [2009-02-17 10:01:20] 1335*2^451250-1 is not prime. Res64: CAC05C35D18A982D Time : 1040.0 sec. user=gd_barnes [2009-02-17 10:03:05] 1275*2^451250-1 is not prime. Res64: E36F70D2864132CE Time : 1351.0 sec. user=mdettweiler [2009-02-17 10:04:00] 1383*2^451250-1 is not prime. Res64: 6C77F9BBB2A16BB7 Time : 1039.0 sec. user=mdettweiler [2009-02-17 10:04:47] 1391*2^451250-1 is not prime. Res64: 8CB12DF4C41F45FD Time : 1038.0 sec. user=mdettweiler [2009-02-17 10:07:29] 1053*2^451251-1 is not prime. Res64: 758B3CA52E233FA1 Time : 1041.0 sec. user=gd_barnes [2009-02-17 10:07:36] 1377*2^451250-1 is not prime. Res64: 98A04D1E7D6E7439 Time : 1351.0 sec. user=mdettweiler [2009-02-17 10:08:16] 1179*2^451251-1 is not prime. Res64: A029F3FD864CCFB3 Time : 1040.0 sec. user=mdettweiler [2009-02-17 10:10:56] 1195*2^451251-1 is not prime. Res64: 2A1EA9D11C6330F9 Time : 1039.0 sec. user=mdettweiler [2009-02-17 10:11:44] 1243*2^451251-1 is not prime. Res64: 101D51BE9A1C4F55 Time : 1041.0 sec. user=gd_barnes [2009-02-17 10:12:05] 1041*2^451251-1 is not prime. Res64: 5B95D5428190EAAA Time : 1351.0 sec. user=mdettweiler [2009-02-17 10:14:25] 1245*2^451251-1 is not prime. Res64: 52DB472B12B8DEC5 Time : 1041.0 sec. user=mdettweiler [2009-02-17 10:15:11] 1263*2^451251-1 is not prime. Res64: FC0F88EC25E671BE Time : 1039.0 sec. user=gd_barnes [2009-02-17 10:16:36] 1213*2^451251-1 is not prime. Res64: F223D769724DD23A Time : 1351.0 sec. user=mdettweiler [2009-02-17 10:17:52] 1095*2^451252-1 is not prime. Res64: A08EE47CED686F59 Time : 1039.0 sec. user=mdettweiler [2009-02-17 10:18:40] 1139*2^451252-1 is not prime. Res64: 155ECB281679EE81 Time : 1040.0 sec. user=gd_barnes [2009-02-17 10:21:05] 1323*2^451251-1 is not prime. Res64: 7D7CB220B1FE1B74 Time : 1350.0 sec. user=mdettweiler [2009-02-17 10:21:20] 1245*2^451252-1 is not prime. Res64: 74ADCA7281B267D6 Time : 1040.0 sec. user=mdettweiler [2009-02-17 10:22:08] 1287*2^451252-1 is not prime. Res64: D5A193F5A16FB8FA Time : 1041.0 sec. user=mdettweiler [2009-02-17 10:24:48] 1305*2^451252-1 is not prime. Res64: 9550923BB2681396 Time : 1040.0 sec. user=gd_barnes [2009-02-17 10:25:36] 1203*2^451252-1 is not prime. Res64: 3F14FE5CB749756E Time : 1351.0 sec. user=mdettweiler [2009-02-17 10:25:36] 1117*2^451253-1 is not prime. Res64: 43ED7C34C573E8D5 Time : 1041.0 sec. user=mdettweiler [2009-02-17 10:28:15] 1125*2^451253-1 is not prime. Res64: 30852B9723482D43 Time : 1039.0 sec. user=mdettweiler [2009-02-17 10:29:04] 1179*2^451253-1 is not prime. Res64: 50650B3F7685F05F Time : 1040.0 sec. user=gd_barnes [2009-02-17 10:30:05] 1395*2^451252-1 is not prime. Res64: 0EAA8ED9F9FD6D5E Time : 1350.0 sec. user=mdettweiler [2009-02-17 10:31:46] 1251*2^451253-1 is not prime. Res64: 0CB064062799A0BC Time : 1042.0 sec. user=mdettweiler [2009-02-17 10:32:33] 1345*2^451253-1 is not prime. Res64: CBC0D52D5A6624F9 Time : 1042.0 sec. user=gd_barnes [2009-02-17 10:35:08] 1189*2^451253-1 is not prime. Res64: 2ED87E2136A6A8D3 Time : 1383.0 sec. user=mdettweiler [2009-02-17 10:35:15] 1293*2^451254-1 is not prime. Res64: 558F71807C0334E3 Time : 1043.0 sec. user=mdettweiler [2009-02-17 10:36:03] 1023*2^451255-1 is not prime. Res64: 37F2AFA20CCA5F64 Time : 1044.0 sec. user=mdettweiler [2009-02-17 10:38:45] 1149*2^451255-1 is not prime. Res64: C7FB0C45C80298E1 Time : 1045.0 sec. user=mdettweiler [2009-02-17 10:39:32] 1263*2^451255-1 is not prime. Res64: D357487B95D3CB6D Time : 1044.0 sec. user=gd_barnes [2009-02-17 10:40:15] 1167*2^451254-1 is not prime. Res64: 590EC94FF631EC84 Time : 1420.0 sec. user=mdettweiler [2009-02-17 10:42:15] 1281*2^451255-1 is not prime. Res64: 5C8203811DE30511 Time : 1047.0 sec. user=mdettweiler [2009-02-17 10:43:02] 1329*2^451255-1 is not prime. Res64: 5F8EDBAB978BE443 Time : 1047.0 sec. user=gd_barnes [2009-02-17 10:43:35] 1071*2^451255-1 is not prime. Res64: DCF25A52164EE84D Time : 1350.0 sec. user=mdettweiler [2009-02-17 10:45:43] 1209*2^451256-1 is not prime. Res64: B0F7DB21B6833977 Time : 1048.0 sec. user=mdettweiler [2009-02-17 10:46:30] 1223*2^451256-1 is not prime. Res64: 92FE059D1E892527 Time : 1046.0 sec. user=gd_barnes [2009-02-17 10:48:06] 1049*2^451256-1 is not prime. Res64: 9C3AA476C66067D7 Time : 1351.0 sec. user=mdettweiler [2009-02-17 10:49:11] 1389*2^451256-1 is not prime. Res64: FC525CFB66E954FD Time : 1046.0 sec. user=mdettweiler [2009-02-17 10:49:59] 1047*2^451257-1 is not prime. Res64: 8A780C20D23CE1F5 Time : 1046.0 sec. user=gd_barnes [2009-02-17 10:52:35] 1305*2^451256-1 is not prime. Res64: 49D0DC264508B5C8 Time : 1350.0 sec. user=mdettweiler [2009-02-17 10:52:40] 1125*2^451257-1 is not prime. Res64: A35F8EA75FEF97F4 Time : 1045.0 sec. user=mdettweiler [2009-02-17 10:53:26] 1201*2^451257-1 is not prime. Res64: 61B9D1B5333169CB Time : 1044.0 sec. user=mdettweiler [2009-02-17 10:56:07] 1287*2^451257-1 is not prime. Res64: 4CB6500B41619D1C Time : 1043.0 sec. user=mdettweiler [2009-02-17 10:56:54] 1297*2^451257-1 is not prime. Res64: 21AA6A1DB8BFD2A7 Time : 1042.0 sec. user=gd_barnes [2009-02-17 10:57:39] 1221*2^451257-1 is not prime. Res64: 7C61F1A1428607F0 Time : 1285.0 sec. user=mdettweiler [2009-02-17 10:59:35] 1157*2^451258-1 is not prime. Res64: 8D90201BC81BB76E Time : 1041.0 sec. user=mdettweiler [2009-02-17 11:00:23] 1211*2^451258-1 is not prime. Res64: 0AB0EE60A94C4E19 Time : 1041.0 sec. user=gd_barnes [2009-02-17 11:01:36] 1035*2^451258-1 is not prime. Res64: CEE58FE295CEA65B Time : 1215.0 sec. user=mdettweiler [2009-02-17 11:03:03] 1301*2^451258-1 is not prime. Res64: 97EB683337CFA8C5 Time : 1040.0 sec. user=mdettweiler [2009-02-17 11:03:50] 1307*2^451258-1 is not prime. Res64: 9D675FF2316DD039 Time : 1040.0 sec. user=gd_barnes [2009-02-17 11:06:06] 1233*2^451258-1 is not prime. Res64: 2D7CFD90B113BE98 Time : 1351.0 sec. user=mdettweiler [2009-02-17 11:06:31] 1377*2^451258-1 is not prime. Res64: 66E5E1E0A36253AE Time : 1040.0 sec. user=mdettweiler [2009-02-17 11:07:18] 1053*2^451259-1 is not prime. Res64: 9F0CB6789E94F4A0 Time : 1039.0 sec. user=mdettweiler [2009-02-17 11:09:58] 1165*2^451259-1 is not prime. Res64: 71A6927A76875E3F Time : 1038.0 sec. user=gd_barnes [2009-02-17 11:10:36] 1323*2^451258-1 is not prime. Res64: 76D0B1234F72E067 Time : 1350.0 sec. user=mdettweiler [2009-02-17 11:10:46] 1279*2^451259-1 is not prime. Res64: B7FA19E5BA9379A8 Time : 1040.0 sec. user=mdettweiler [2009-02-17 11:13:27] 1281*2^451259-1 is not prime. Res64: 49045EA464FC2AAF Time : 1040.0 sec. user=mdettweiler [2009-02-17 11:14:14] 1025*2^451260-1 is not prime. Res64: 5744A3580A84C4A5 Time : 1040.0 sec. user=gd_barnes [2009-02-17 11:15:06] 1071*2^451259-1 is not prime. Res64: 3EA7E2FC5FE669B5 Time : 1351.0 sec. user=mdettweiler [2009-02-17 11:16:55] 1059*2^451260-1 is not prime. Res64: 80C68C0D8FE0AA7F Time : 1041.0 sec. user=mdettweiler [2009-02-17 11:17:42] 1077*2^451260-1 is not prime. Res64: 90C2CBE91E951610 Time : 1040.0 sec. user=gd_barnes [2009-02-17 11:19:36] 1049*2^451260-1 is not prime. Res64: 238F0B73888A746E Time : 1252.0 sec. user=mdettweiler [2009-02-17 11:20:23] 1095*2^451260-1 is not prime. Res64: FE4AFFB7699D2C55 Time : 1040.0 sec. user=mdettweiler [2009-02-17 11:21:09] 1115*2^451260-1 is not prime. Res64: 51488C44BA673A45 Time : 1039.0 sec. user=mdettweiler [2009-02-17 11:23:50] 1319*2^451260-1 is not prime. Res64: 418CB091CEE6B799 Time : 1040.0 sec. user=gd_barnes [2009-02-17 11:24:06] 1083*2^451260-1 is not prime. Res64: D8D44EB31102D690 Time : 1350.0 sec. user=mdettweiler [2009-02-17 11:24:38] 1367*2^451260-1 is not prime. Res64: 5FFB20C240E23C6C Time : 1040.0 sec. user=mdettweiler [2009-02-17 11:27:19] 1081*2^451261-1 is not prime. Res64: EF228A56C4BF3E26 Time : 1041.0 sec. user=mdettweiler [2009-02-17 11:28:06] 1119*2^451261-1 is not prime. Res64: 619B3A2124639B9B Time : 1041.0 sec. user=gd_barnes [2009-02-17 11:28:36] 1133*2^451260-1 is not prime. Res64: 9E7C386A02CE8217 Time : 1350.0 sec. user=mdettweiler [2009-02-17 11:30:46] 1279*2^451261-1 is not prime. Res64: 5DA9127B5FA6391E Time : 1040.0 sec. user=mdettweiler [2009-02-17 11:31:33] 1357*2^451261-1 is not prime. Res64: 225B05D82AA47E58 Time : 1039.0 sec. user=gd_barnes [2009-02-17 11:33:06] 1111*2^451261-1 is not prime. Res64: 0D5C7EDCEB4545BA Time : 1350.0 sec. user=mdettweiler [2009-02-17 11:34:17] 1061*2^451262-1 is not prime. Res64: 803335EB7D7A8848 Time : 1042.0 sec. user=mdettweiler [2009-02-17 11:35:02] 1113*2^451262-1 is not prime. Res64: A3F0111C5AC4BAEF Time : 1040.0 sec. user=gd_barnes [2009-02-17 11:37:37] 1025*2^451262-1 is not prime. Res64: 8B8DC07D256F3C48 Time : 1351.0 sec. user=mdettweiler [2009-02-17 11:37:42] 1151*2^451262-1 is not prime. Res64: E489942467A847E6 Time : 1039.0 sec. user=mdettweiler [2009-02-17 11:38:29] 1163*2^451262-1 is not prime. Res64: D1F8473EBDA20BFD Time : 1040.0 sec. user=mdettweiler [2009-02-17 11:41:10] 1197*2^451262-1 is not prime. Res64: 52567E1544F4DEF7 Time : 1040.0 sec. user=mdettweiler [2009-02-17 11:41:58] 1233*2^451262-1 is not prime. Res64: A07DA826E8EAF34B Time : 1040.0 sec. user=gd_barnes [2009-02-17 11:42:06] 1137*2^451262-1 is not prime. Res64: E33A37AAEEEA16EF Time : 1350.0 sec. user=mdettweiler [2009-02-17 11:44:39] 1277*2^451262-1 is not prime. Res64: 3F90B69A6E6B7EC5 Time : 1040.0 sec. user=mdettweiler [2009-02-17 11:45:27] 1305*2^451262-1 is not prime. Res64: 40FC1CE2E1A703CD Time : 1041.0 sec. user=gd_barnes [2009-02-17 11:46:37] 1215*2^451262-1 is not prime. Res64: 4CC03D6B7CCC0DE6 Time : 1351.0 sec. user=mdettweiler [2009-02-17 11:48:08] 1015*2^451263-1 is not prime. Res64: E5571C9B5C2FBF7C Time : 1042.0 sec. user=mdettweiler [2009-02-17 11:48:55] 1021*2^451263-1 is not prime. Res64: 82698E408E379AC6 Time : 1042.0 sec. user=gd_barnes [2009-02-17 11:51:06] 1331*2^451262-1 is not prime. Res64: 27FA17B6000AD195 Time : 1350.0 sec. user=mdettweiler [2009-02-17 11:51:39] 1125*2^451263-1 is not prime. Res64: 44F4480B7C46324B Time : 1042.0 sec. user=mdettweiler [2009-02-17 11:52:24] 1273*2^451263-1 is not prime. Res64: 9354ECEACCFFF1BE Time : 1042.0 sec. user=mdettweiler [2009-02-17 11:55:05] 1339*2^451263-1 is not prime. Res64: 85B3605A4F95A719 Time : 1043.0 sec. user=gd_barnes [2009-02-17 11:55:37] 1033*2^451263-1 is not prime. Res64: 190BC570AD278010 Time : 1351.0 sec. user=mdettweiler [2009-02-17 11:55:52] 1095*2^451264-1 is not prime. Res64: D6F6A91BB1EC86C8 Time : 1043.0 sec. user=mdettweiler [2009-02-17 11:58:33] 1245*2^451264-1 is not prime. Res64: D7BF25FB3BBD569C Time : 1044.0 sec. user=mdettweiler [2009-02-17 11:59:21] 1275*2^451264-1 is not prime. Res64: 18F7D009C3B9F915 Time : 1044.0 sec. user=gd_barnes [2009-02-17 12:00:06] 1281*2^451263-1 is not prime. Res64: 4A13782882238D1C Time : 1349.0 sec. user=mdettweiler [2009-02-17 12:02:01] 1349*2^451264-1 is not prime. Res64: DB8CB2F5F6EF6312 Time : 1042.0 sec. user=mdettweiler [2009-02-17 12:02:50] 1359*2^451264-1 is not prime. Res64: 83615477C904F542 Time : 1043.0 sec. user=gd_barnes [2009-02-17 12:04:37] 1347*2^451264-1 is not prime. Res64: 858E55ABA38E0A02 Time : 1351.0 sec. user=mdettweiler [2009-02-17 12:05:30] 1005*2^451265-1 is not prime. Res64: 953865C922D3C70D Time : 1043.0 sec. user=mdettweiler [2009-02-17 12:06:18] 1069*2^451265-1 is not prime. Res64: 2797DC9CCFD2B2F3 Time : 1043.0 sec. user=mdettweiler [2009-02-17 12:08:59] 1125*2^451265-1 is not prime. Res64: 4417E81F50ABBF37 Time : 1040.0 sec. user=gd_barnes [2009-02-17 12:09:20] 1365*2^451264-1 is not prime. Res64: EF8937C44FE9D5FF Time : 1363.0 sec. user=mdettweiler [2009-02-17 12:09:46] 1141*2^451265-1 is not prime. Res64: 3B5F06AC7F970843 Time : 1043.0 sec. user=mdettweiler [2009-02-17 12:12:28] 1215*2^451265-1 is not prime. Res64: 5ACD8A28ED22B260 Time : 1044.0 sec. user=mdettweiler [2009-02-17 12:13:18] 1249*2^451265-1 is not prime. Res64: 346E35370ED20DBC Time : 1046.0 sec. user=gd_barnes [2009-02-17 12:13:37] 1071*2^451265-1 is not prime. Res64: DE22E7D5AD2E60E7 Time : 1351.0 sec. user=mdettweiler [2009-02-17 12:15:55] 1315*2^451265-1 is not prime. Res64: 1084EC29DBC79B99 Time : 1042.0 sec. user=mdettweiler [2009-02-17 12:16:43] 1387*2^451265-1 is not prime. Res64: BB56C09C67825532 Time : 1043.0 sec. user=gd_barnes [2009-02-17 12:18:06] 1225*2^451265-1 is not prime. Res64: 1167082CF6630068 Time : 1349.0 sec. user=mdettweiler [2009-02-17 12:19:23] 1095*2^451266-1 is not prime. Res64: 1AADBD8D0B185588 Time : 1042.0 sec. user=mdettweiler [2009-02-17 12:20:11] 1161*2^451266-1 is not prime. Res64: 56E4CBBE5AB1D0F7 Time : 1042.0 sec. user=gd_barnes [2009-02-17 12:22:37] 1007*2^451266-1 is not prime. Res64: E1DFECD7ED595A19 Time : 1351.0 sec. user=mdettweiler [2009-02-17 12:22:52] 1253*2^451266-1 is not prime. Res64: E88CACA56653E269 Time : 1042.0 sec. user=mdettweiler [2009-02-17 12:23:39] 1371*2^451266-1 is not prime. Res64: D8B6DACF27757D38 Time : 1041.0 sec. user=mdettweiler [2009-02-17 12:26:21] 1397*2^451266-1 is not prime. Res64: F39394EA4AD2FA18 Time : 1043.0 sec. user=gd_barnes [2009-02-17 12:27:07] 1251*2^451266-1 is not prime. Res64: A0406D25BC4B231E Time : 1350.0 sec. user=mdettweiler [2009-02-17 12:27:09] 1143*2^451267-1 is not prime. Res64: 16F49660F5BC2C65 Time : 1043.0 sec. user=mdettweiler [2009-02-17 12:29:49] 1321*2^451267-1 is not prime. Res64: 425412DE55B13709 Time : 1042.0 sec. user=mdettweiler [2009-02-17 12:30:37] 1351*2^451267-1 is not prime. Res64: 7620C43642C9DF79 Time : 1040.0 sec. user=gd_barnes [2009-02-17 12:31:37] 1083*2^451267-1 is not prime. Res64: D58A3A81035952CF Time : 1337.0 sec. user=mdettweiler [2009-02-17 12:33:18] 1197*2^451268-1 is not prime. Res64: D24BCA680E7D0A9C Time : 1043.0 sec. user=mdettweiler [2009-02-17 12:34:05] 1217*2^451268-1 is not prime. Res64: 9E437E4B8D1C549D Time : 1042.0 sec. user=gd_barnes [2009-02-17 12:36:07] 1109*2^451268-1 is not prime. Res64: 5625E6E796351317 Time : 1350.0 sec. user=mdettweiler [2009-02-17 12:36:45] 1239*2^451268-1 is not prime. Res64: A3DBE5A192F87C28 Time : 1042.0 sec. user=mdettweiler [2009-02-17 12:37:34] 1259*2^451268-1 is not prime. Res64: C1B3A4BD615F878B Time : 1043.0 sec. user=mdettweiler [2009-02-17 12:40:15] 1343*2^451268-1 is not prime. Res64: 0AF5A7E70668B114 Time : 1043.0 sec. user=gd_barnes [2009-02-17 12:40:37] 1229*2^451268-1 is not prime. Res64: 54813901AA6ADF72 Time : 1351.0 sec. user=mdettweiler [2009-02-17 12:41:02] 1373*2^451268-1 is not prime. Res64: 2B6D2A281576BCDB Time : 1043.0 sec. user=mdettweiler [2009-02-17 12:43:43] 1377*2^451268-1 is not prime. Res64: 0B4AAAC1D838EAE2 Time : 1042.0 sec. user=mdettweiler [2009-02-17 12:44:30] 1207*2^451269-1 is not prime. Res64: 08188B015E476DAE Time : 1042.0 sec. user=gd_barnes [2009-02-17 12:45:07] 1287*2^451268-1 is not prime. Res64: C8E0F644D501C947 Time : 1350.0 sec. user=mdettweiler [2009-02-17 12:47:12] 1285*2^451269-1 is not prime. Res64: 4779D1AA2E81EF05 Time : 1044.0 sec. user=mdettweiler [2009-02-17 12:48:00] 1287*2^451269-1 is not prime. Res64: 5797050D363BD4AE Time : 1043.0 sec. user=gd_barnes [2009-02-17 12:49:37] 1397*2^451268-1 is not prime. Res64: EE53AAF1C00E310D Time : 1350.0 sec. user=mdettweiler [2009-02-17 12:50:43] 1071*2^451270-1 is not prime. Res64: BF710B6D54CCF6D0 Time : 1046.0 sec. user=mdettweiler [2009-02-17 12:51:28] 1097*2^451270-1 is not prime. Res64: E6F521B2C4E353EF Time : 1043.0 sec. user=gd_barnes [2009-02-17 12:54:07] 1043*2^451270-1 is not prime. Res64: 22F708A8DE6B6D80 Time : 1350.0 sec. user=mdettweiler [2009-02-17 12:54:09] 1181*2^451270-1 is not prime. Res64: 2FB90D5551F5FA7B Time : 1044.0 sec. user=mdettweiler [2009-02-17 12:54:56] 1191*2^451270-1 is not prime. Res64: 4067F5C82AA0FAE2 Time : 1043.0 sec. user=mdettweiler [2009-02-17 12:57:36] 1193*2^451270-1 is not prime. Res64: 69C4579136C5571C Time : 1042.0 sec. user=mdettweiler [2009-02-17 12:58:25] 1337*2^451270-1 is not prime. Res64: 147F6B5DF3C584E8 Time : 1043.0 sec. user=gd_barnes [2009-02-17 12:58:37] 1157*2^451270-1 is not prime. Res64: 188183A1B6CC54DC Time : 1350.0 sec. user=mdettweiler [2009-02-17 13:01:06] 1361*2^451270-1 is not prime. Res64: C322B59D24064318 Time : 1043.0 sec. user=mdettweiler [2009-02-17 13:01:54] 1371*2^451270-1 is not prime. Res64: 6FE9EC1E87029366 Time : 1044.0 sec. user=gd_barnes [2009-02-17 13:03:08] 1217*2^451270-1 is not prime. Res64: F2BD0DEA0146E443 Time : 1351.0 sec. user=mdettweiler [2009-02-17 13:04:34] 1083*2^451271-1 is not prime. Res64: D4A87568E433C8B3 Time : 1043.0 sec. user=mdettweiler [2009-02-17 13:05:22] 1155*2^451271-1 is not prime. Res64: E822AADA66D65DE0 Time : 1042.0 sec. user=gd_barnes [2009-02-17 13:07:37] 1033*2^451271-1 is not prime. Res64: 8BE01279FA823CEE Time : 1350.0 sec. user=mdettweiler [2009-02-17 13:08:02] 1215*2^451271-1 is not prime. Res64: 4491346B93A3106D Time : 1039.0 sec. user=mdettweiler [2009-02-17 13:08:51] 1245*2^451271-1 is not prime. Res64: D1BF062D893B918F Time : 1044.0 sec. user=mdettweiler [2009-02-17 13:11:31] 1329*2^451271-1 is not prime. Res64: A4C6B8ADA4F5E366 Time : 1042.0 sec. user=gd_barnes [2009-02-17 13:12:08] 1191*2^451271-1 is not prime. Res64: 33BFC37C760E8903 Time : 1351.0 sec. user=mdettweiler [2009-02-17 13:12:19] 1399*2^451271-1 is not prime. Res64: 25EBFD6E73F5FF35 Time : 1043.0 sec. user=mdettweiler [2009-02-17 13:14:59] 1115*2^451272-1 is not prime. Res64: F7D4612C5A4ADDBC Time : 1043.0 sec. user=mdettweiler [2009-02-17 13:15:48] 1239*2^451272-1 is not prime. Res64: F90479ECA7406259 Time : 1043.0 sec. user=gd_barnes [2009-02-17 13:16:37] 1251*2^451271-1 is not prime. Res64: 72A616F6FC8FFE50 Time : 1350.0 sec. user=mdettweiler [2009-02-17 13:18:28] 1325*2^451272-1 is not prime. Res64: ACA95C093BDD924A Time : 1043.0 sec. user=mdettweiler [2009-02-17 13:19:16] 1377*2^451272-1 is not prime. Res64: 03AA758FF6C95C20 Time : 1042.0 sec. user=gd_barnes [2009-02-17 13:21:07] 1307*2^451272-1 is not prime. Res64: 5C34CA8125C7A237 Time : 1350.0 sec. user=mdettweiler [2009-02-17 13:21:56] 1149*2^451273-1 is not prime. Res64: 67CA77253962B39D Time : 1042.0 sec. user=mdettweiler [2009-02-17 13:22:44] 1287*2^451273-1 is not prime. Res64: F79A2784E508A070 Time : 1042.0 sec. user=mdettweiler [2009-02-17 13:25:25] 1297*2^451273-1 is not prime. Res64: ABD097203B177E8C Time : 1043.0 sec. user=gd_barnes [2009-02-17 13:25:37] 1119*2^451273-1 is not prime. Res64: 714339ECA6E746FF Time : 1349.0 sec. user=mdettweiler [2009-02-17 13:26:17] 1013*2^451274-1 is not prime. Res64: 6F0C8A174C04FAB9 Time : 1046.0 sec. user=mdettweiler [2009-02-17 13:28:54] 1071*2^451274-1 is not prime. Res64: CA0833E5BF272016 Time : 1043.0 sec. user=mdettweiler [2009-02-17 13:29:42] 1173*2^451274-1 is not prime. Res64: 2564CC76C136729E Time : 1043.0 sec. user=gd_barnes [2009-02-17 13:30:08] 1291*2^451273-1 is not prime. Res64: 2AA00144F110947D Time : 1351.0 sec. user=mdettweiler [2009-02-17 13:32:21] 1223*2^451274-1 is not prime. Res64: CC68635323603F6C Time : 1042.0 sec. user=mdettweiler [2009-02-17 13:33:10] 1277*2^451274-1 is not prime. Res64: 2D2AF04BBAF318F2 Time : 1043.0 sec. user=gd_barnes [2009-02-17 13:34:37] 1151*2^451274-1 is not prime. Res64: 72090C83E492D108 Time : 1349.0 sec. user=mdettweiler [2009-02-17 13:35:49] 1341*2^451274-1 is not prime. Res64: 579ADC2E34323AF8 Time : 1042.0 sec. user=mdettweiler [2009-02-17 13:36:38] 1041*2^451275-1 is not prime. Res64: 06185CA4FE8A8387 Time : 1042.0 sec. user=gd_barnes [2009-02-17 13:39:08] 1295*2^451274-1 is not prime. Res64: 0C4123774B3BB721 Time : 1351.0 sec. user=mdettweiler [2009-02-17 13:39:21] 1131*2^451275-1 is not prime. Res64: C78B93B3D96FAFAD Time : 1045.0 sec. user=mdettweiler [2009-02-17 13:40:27] 1161*2^451275-1 is not prime. Res64: 820283F9A64D5FCC Time : 1063.0 sec. user=mdettweiler [2009-02-17 13:42:45] 1215*2^451275-1 is not prime. Res64: 0F511C3A1B3CA40A Time : 1040.0 sec. user=mdettweiler [2009-02-17 13:43:34] 1351*2^451275-1 is not prime. Res64: 8E8FD6A6FFEAEAF1 Time : 1038.0 sec. user=gd_barnes [2009-02-17 13:43:38] 1113*2^451275-1 is not prime. Res64: 538844F4A0FE438D Time : 1351.0 sec. user=mdettweiler [2009-02-17 13:46:14] 1353*2^451275-1 is not prime. Res64: ADC232909A1C17BE Time : 1040.0 sec. user=mdettweiler [2009-02-17 13:47:02] 1059*2^451276-1 is not prime. Res64: 1C9426E0A92595C5 Time : 1040.0 sec. user=gd_barnes [2009-02-17 13:48:08] 1291*2^451275-1 is not prime. Res64: 1C37A4DB2CCB5D3B Time : 1351.0 sec. user=mdettweiler [2009-02-17 13:49:43] 1175*2^451276-1 is not prime. Res64: BCA2A666A34B9C51 Time : 1042.0 sec. user=mdettweiler [2009-02-17 13:50:31] 1263*2^451276-1 is not prime. Res64: B85A0B2EF4BA6B32 Time : 1042.0 sec. user=gd_barnes [2009-02-17 13:52:38] 1095*2^451276-1 is not prime. Res64: CDAD293EC1EBD531 Time : 1350.0 sec. user=mdettweiler [2009-02-17 13:53:10] 1379*2^451276-1 is not prime. Res64: AA7AC872730AF640 Time : 1041.0 sec. user=mdettweiler [2009-02-17 13:53:59] 1389*2^451276-1 is not prime. Res64: 445F84836111DE7F Time : 1041.0 sec. user=mdettweiler [2009-02-17 13:56:38] 1107*2^451277-1 is not prime. Res64: 8495AAF2B0EBF7F8 Time : 1037.0 sec. user=gd_barnes [2009-02-17 13:57:08] 1329*2^451276-1 is not prime. Res64: 9C795FBB85FCA32E Time : 1351.0 sec. user=mdettweiler [2009-02-17 13:57:27] 1111*2^451277-1 is not prime. Res64: E5859810CAF39EE8 Time : 1020.0 sec. user=mdettweiler [2009-02-17 14:00:07] 1149*2^451277-1 is not prime. Res64: D80164EB4800CF3F Time : 1042.0 sec. user=mdettweiler [2009-02-17 14:00:56] 1159*2^451277-1 is not prime. Res64: DABB3D5E2D367B9C Time : 1042.0 sec. user=gd_barnes [2009-02-17 14:01:38] 1027*2^451277-1 is not prime. Res64: 3C5333FE971B06DD Time : 1350.0 sec. user=mdettweiler [2009-02-17 14:03:35] 1329*2^451277-1 is not prime. Res64: 75C0C854EB6A483A Time : 1042.0 sec. user=mdettweiler [2009-02-17 14:04:24] 1345*2^451277-1 is not prime. Res64: DAC502ED14A39A88 Time : 1042.0 sec. user=gd_barnes [2009-02-17 14:06:08] 1327*2^451277-1 is not prime. Res64: 2CEF9058DE01D76A Time : 1351.0 sec. user=mdettweiler [2009-02-17 14:07:04] 1053*2^451278-1 is not prime. Res64: 7954ADD7F5280065 Time : 1042.0 sec. user=mdettweiler [2009-02-17 14:07:53] 1101*2^451278-1 is not prime. Res64: F415420675596674 Time : 1043.0 sec. user=mdettweiler [2009-02-17 14:10:32] 1131*2^451278-1 is not prime. Res64: B14072AAC578F648 Time : 1042.0 sec. user=gd_barnes [2009-02-17 14:10:38] 1365*2^451277-1 is not prime. Res64: 97A1D5415AAEEB0B Time : 1350.0 sec. user=mdettweiler [2009-02-17 14:11:20] 1145*2^451278-1 is not prime. Res64: A54C5EEC2D5F226B Time : 1041.0 sec. user=mdettweiler [2009-02-17 14:14:00] 1161*2^451278-1 is not prime. Res64: 313F41A6A4AC6C74 Time : 1042.0 sec. user=mdettweiler [2009-02-17 14:14:48] 1265*2^451278-1 is not prime. Res64: BB8EE674CBCC22AF Time : 1041.0 sec. user=gd_barnes [2009-02-17 14:15:08] 1125*2^451278-1 is not prime. Res64: DA9E746280D4E8CC Time : 1351.0 sec. user=mdettweiler [2009-02-17 14:17:29] 1323*2^451278-1 is not prime. Res64: 2C8DC9B29645D265 Time : 1042.0 sec. user=mdettweiler [2009-02-17 14:18:17] 1355*2^451278-1 is not prime. Res64: 8CDC89A13F6AEACA Time : 1042.0 sec. user=gd_barnes [2009-02-17 14:20:34] 1251*2^451278-1 is not prime. Res64: C0A2E3D61AF47FE7 Time : 1406.0 sec. user=mdettweiler [2009-02-17 14:20:56] 1391*2^451278-1 is not prime. Res64: B6AB16497B2438ED Time : 1041.0 sec. user=mdettweiler [2009-02-17 14:21:45] 1023*2^451279-1 is not prime. Res64: 43342B6FB944CA7D Time : 1041.0 sec. user=gd_barnes [2009-02-17 14:24:08] 1367*2^451278-1 is not prime. Res64: 55A7AAE2B0223B81 Time : 1351.0 sec. user=mdettweiler [2009-02-17 14:24:25] 1095*2^451279-1 is not prime. Res64: 2DEE89A8EAFF63D4 Time : 1041.0 sec. user=mdettweiler [2009-02-17 14:25:14] 1233*2^451279-1 is not prime. Res64: 4C1AE3EAB3434268 Time : 1042.0 sec. user=mdettweiler [2009-02-17 14:27:56] 1261*2^451279-1 is not prime. Res64: CD2BBF8083FC0E30 Time : 1044.0 sec. user=gd_barnes [2009-02-17 14:28:38] 1045*2^451279-1 is not prime. Res64: 4FD4142FE657A7D5 Time : 1350.0 sec. user=mdettweiler [2009-02-17 14:28:44] 1133*2^451280-1 is not prime. Res64: B9A05FC1E6E49CC7 Time : 1044.0 sec. user=mdettweiler [2009-02-17 14:31:23] 1205*2^451280-1 is not prime. Res64: BD456B5F09FBFE6C Time : 1044.0 sec. user=mdettweiler [2009-02-17 14:32:10] 1047*2^451281-1 is not prime. Res64: 95055D6F2CA1A78D Time : 1042.0 sec. user=gd_barnes [2009-02-17 14:33:08] 1125*2^451280-1 is not prime. Res64: C116B32A0982B565 Time : 1351.0 sec. user=mdettweiler [2009-02-17 14:34:49] 1099*2^451281-1 is not prime. Res64: 310D829D3A14F945 Time : 1041.0 sec. user=mdettweiler [2009-02-17 14:35:38] 1105*2^451281-1 is not prime. Res64: F86550E19C4313E9 Time : 1042.0 sec. user=gd_barnes [2009-02-17 14:37:52] 1081*2^451281-1 is not prime. Res64: 58F3F81ACF6F77B9 Time : 1364.0 sec. user=mdettweiler [2009-02-17 14:38:18] 1129*2^451281-1 is not prime. Res64: A1984BB607E92660 Time : 1042.0 sec. user=mdettweiler [2009-02-17 14:39:06] 1201*2^451281-1 is not prime. Res64: FFAA01E8FB2679FE Time : 1041.0 sec. user=mdettweiler [2009-02-17 14:41:47] 1279*2^451281-1 is not prime. Res64: AA67ED6813E8A7C5 Time : 1043.0 sec. user=gd_barnes [2009-02-17 14:42:08] 1185*2^451281-1 is not prime. Res64: C015BFC7D6A0CFEF Time : 1228.0 sec. user=mdettweiler [2009-02-17 14:42:36] 1327*2^451281-1 is not prime. Res64: 2FA3062857514840 Time : 1042.0 sec. user=mdettweiler [2009-02-17 14:45:15] 1339*2^451281-1 is not prime. Res64: 8A03329E3277A2F5 Time : 1039.0 sec. user=mdettweiler [2009-02-17 14:46:04] 1375*2^451281-1 is not prime. Res64: 687E71A68258799A Time : 1040.0 sec. user=gd_barnes [2009-02-17 14:46:38] 1237*2^451281-1 is not prime. Res64: 91A674416D26FEA6 Time : 1350.0 sec. user=mdettweiler [2009-02-17 14:48:46] 1023*2^451282-1 is not prime. Res64: 3F53DBF0181F81C2 Time : 1044.0 sec. user=mdettweiler [2009-02-17 14:49:33] 1151*2^451282-1 is not prime. Res64: 86F003A642B8DDED Time : 1044.0 sec. user=gd_barnes [2009-02-17 14:51:09] 1365*2^451281-1 is not prime. Res64: C60EB2329C01626D Time : 1351.0 sec. user=mdettweiler [2009-02-17 14:52:15] 1205*2^451282-1 is not prime. Res64: 56DDBB4027E27096 Time : 1046.0 sec. user=mdettweiler [2009-02-17 14:53:00] 1277*2^451282-1 is not prime. Res64: 8AA6A46BFA964E2A Time : 1042.0 sec. user=gd_barnes [2009-02-17 14:55:38] 1181*2^451282-1 is not prime. Res64: 11C9130D922CF7DD Time : 1350.0 sec. user=mdettweiler [2009-02-17 14:55:43] 1295*2^451282-1 is not prime. Res64: 6F6F0C04A06CB84F Time : 1045.0 sec. user=mdettweiler [2009-02-17 14:56:31] 1347*2^451282-1 is not prime. Res64: 9693B494B946718E Time : 1045.0 sec. user=mdettweiler [2009-02-17 14:59:10] 1011*2^451283-1 is not prime. Res64: CCC400D35EBAD808 Time : 1043.0 sec. user=mdettweiler [2009-02-17 14:59:58] 1039*2^451283-1 is not prime. Res64: 37BC8BADAF02F55A Time : 1043.0 sec. user=gd_barnes [2009-02-17 15:00:09] 1293*2^451282-1 is not prime. Res64: AEDA4590892D5E5A Time : 1337.0 sec. user=mdettweiler [2009-02-17 15:02:38] 1075*2^451283-1 is not prime. Res64: A350BAD5F80528FC Time : 1044.0 sec. user=mdettweiler [2009-02-17 15:03:26] 1093*2^451283-1 is not prime. Res64: 7376EBC971FD430E Time : 1042.0 sec. user=gd_barnes [2009-02-17 15:04:38] 1021*2^451283-1 is not prime. Res64: 497F235D6F8977CB Time : 1350.0 sec. user=mdettweiler [2009-02-17 15:06:06] 1243*2^451283-1 is not prime. Res64: 2B56C034FE2F64CA Time : 1040.0 sec. user=mdettweiler [2009-02-17 15:06:54] 1279*2^451283-1 is not prime. Res64: D4AC38BC4799F009 Time : 1041.0 sec. user=gd_barnes [2009-02-17 15:09:09] 1221*2^451283-1 is not prime. Res64: 2B5ECA180C3E8228 Time : 1351.0 sec. user=mdettweiler [2009-02-17 15:09:34] 1345*2^451283-1 is not prime. Res64: 9D2EBA3FC9EF4529 Time : 1040.0 sec. user=mdettweiler [2009-02-17 15:10:26] 1369*2^451283-1 is not prime. Res64: EC0978E27827FB94 Time : 1046.0 sec. user=mdettweiler [2009-02-17 15:13:02] 1077*2^451284-1 is not prime. Res64: E9A71B1194720E7A Time : 1039.0 sec. user=gd_barnes [2009-02-17 15:13:38] 1291*2^451283-1 is not prime. Res64: 6F6A63FDF7E2DF7B Time : 1350.0 sec. user=mdettweiler [2009-02-17 15:13:51] 1137*2^451284-1 is not prime. Res64: 00A66CFA4F2FDAFF Time : 1041.0 sec. user=mdettweiler [2009-02-17 15:16:32] 1169*2^451284-1 is not prime. Res64: F805AEA45CBFC93C Time : 1043.0 sec. user=mdettweiler [2009-02-17 15:17:21] 1245*2^451284-1 is not prime. Res64: 304E7B79923F1097 Time : 1043.0 sec. user=gd_barnes [2009-02-17 15:18:09] 1059*2^451284-1 is not prime. Res64: 1EDAE3C067F82408 Time : 1351.0 sec. user=mdettweiler [2009-02-17 15:19:57] 1337*2^451284-1 is not prime. Res64: B7FC5A895DDF2CF8 Time : 1039.0 sec. user=mdettweiler [2009-02-17 15:20:50] 1367*2^451284-1 is not prime. Res64: B78277FE4F6B7DD8 Time : 1044.0 sec. user=gd_barnes [2009-02-17 15:22:38] 1305*2^451284-1 is not prime. Res64: 48563EB3E7AB5CD9 Time : 1350.0 sec. user=mdettweiler [2009-02-17 15:23:30] 1027*2^451285-1 is not prime. Res64: D27DDDD6CE23673D Time : 1045.0 sec. user=mdettweiler [2009-02-17 15:24:14] 1029*2^451285-1 is not prime. Res64: 6C8CEAB48F5AF9FE Time : 1040.0 sec. user=mdettweiler [2009-02-17 15:26:53] 1039*2^451285-1 is not prime. Res64: BBF23EBBEC4112A1 Time : 1040.0 sec. user=gd_barnes [2009-02-17 15:27:09] 1017*2^451285-1 is not prime. Res64: C200CBF68D9A9437 Time : 1351.0 sec. user=mdettweiler [2009-02-17 15:27:43] 1095*2^451285-1 is not prime. Res64: 15C7B34AE63C72EC Time : 1037.0 sec. user=mdettweiler [2009-02-17 15:30:22] 1111*2^451285-1 is not prime. Res64: 2DBE4DB2D9F32713 Time : 1040.0 sec. user=mdettweiler [2009-02-17 15:31:11] 1219*2^451285-1 is not prime. Res64: 0202C57D3E841FE9 Time : 1040.0 sec. user=gd_barnes [2009-02-17 15:31:38] 1035*2^451285-1 is not prime. Res64: 09C4DD31273AAF70 Time : 1349.0 sec. user=mdettweiler [2009-02-17 15:33:50] 1311*2^451285-1 is not prime. Res64: 87429B42421AA6FF Time : 1039.0 sec. user=mdettweiler [2009-02-17 15:34:38] 1329*2^451285-1 is not prime. Res64: 0CF3A49E18475694 Time : 1037.0 sec. user=gd_barnes [2009-02-17 15:36:09] 1137*2^451285-1 is not prime. Res64: AB11093B825E4ECE Time : 1351.0 sec. user=mdettweiler [2009-02-17 15:37:17] 1399*2^451285-1 is not prime. Res64: 343FC94C25BF7326 Time : 1040.0 sec. user=mdettweiler [2009-02-17 15:38:06] 1095*2^451286-1 is not prime. Res64: 9A7BF0923749A140 Time : 1037.0 sec. user=gd_barnes [2009-02-17 15:40:39] 1377*2^451285-1 is not prime. Res64: B6EAF891822B8125 Time : 1350.0 sec. user=mdettweiler [2009-02-17 15:40:46] 1137*2^451286-1 is not prime. Res64: 81C3F1A4CA78C3EB Time : 1038.0 sec. user=mdettweiler [2009-02-17 15:41:34] 1145*2^451286-1 is not prime. Res64: 070B63E8595715D8 Time : 1040.0 sec. user=mdettweiler [2009-02-17 15:44:13] 1155*2^451286-1 is not prime. Res64: EE3C457183A2BAA2 Time : 1040.0 sec. user=mdettweiler [2009-02-17 15:45:02] 1011*2^451287-1 is not prime. Res64: 24181BB6E27ADC75 Time : 1040.0 sec. user=gd_barnes [2009-02-17 15:45:09] 1113*2^451286-1 is not prime. Res64: F1ACDDAEB40242A1 Time : 1351.0 sec. user=mdettweiler [2009-02-17 15:47:41] 1059*2^451287-1 is not prime. Res64: 831DF57676B7618D Time : 1039.0 sec. user=mdettweiler [2009-02-17 15:48:30] 1081*2^451287-1 is not prime. Res64: D1DB543032E8A8FF Time : 1040.0 sec. user=gd_barnes [2009-02-17 15:49:39] 1175*2^451286-1 is not prime. Res64: 228E2E79841FE7E8 Time : 1350.0 sec. user=mdettweiler [2009-02-17 15:51:08] 1129*2^451287-1 is not prime. Res64: 1B4FD6E00419813C Time : 1039.0 sec. user=mdettweiler [2009-02-17 15:51:58] 1159*2^451287-1 is not prime. Res64: E6739DFA12A3BCF9 Time : 1040.0 sec. user=gd_barnes [2009-02-17 15:54:09] 1095*2^451287-1 is not prime. Res64: FAA0F85831CC0DE6 Time : 1351.0 sec. user=mdettweiler [2009-02-17 15:54:37] 1179*2^451287-1 is not prime. Res64: 56D18D91E177D866 Time : 1040.0 sec. user=mdettweiler [2009-02-17 15:55:26] 1213*2^451287-1 is not prime. Res64: 37A5992A275CEA11 Time : 1040.0 sec. user=mdettweiler [2009-02-17 15:58:05] 1025*2^451288-1 is not prime. Res64: 6789C49A2928F972 Time : 1040.0 sec. user=gd_barnes [2009-02-17 15:58:39] 1173*2^451287-1 is not prime. Res64: 688F216BB19C6F0F Time : 1350.0 sec. user=mdettweiler [2009-02-17 15:58:54] 1043*2^451288-1 is not prime. Res64: 9C444BA1D914D3C1 Time : 1041.0 sec. user=mdettweiler [2009-02-17 16:02:23] 1217*2^451288-1 is not prime. Res64: 5DAE222355CC0DF5 Time : 1041.0 sec. user=mdettweiler [2009-02-17 16:02:57] 1067*2^451288-1 is not prime. Res64: 8ACF8932E7D54DFF Time : 1124.0 sec. user=gd_barnes [2009-02-17 16:03:09] 1381*2^451287-1 is not prime. Res64: 1B4975A8254F8645 Time : 1350.0 sec. user=mdettweiler [2009-02-17 16:05:00] 1235*2^451288-1 is not prime. Res64: 739981DA9BF4F2FE Time : 1040.0 sec. user=mdettweiler [2009-02-17 16:05:53] 1289*2^451288-1 is not prime. Res64: C24E3D2383750FD8 Time : 1044.0 sec. user=gd_barnes [2009-02-17 16:07:39] 1223*2^451288-1 is not prime. Res64: F3C907452D07DEA0 Time : 1350.0 sec. user=mdettweiler [2009-02-17 16:08:29] 1305*2^451288-1 is not prime. Res64: 9386B65CDEC41F49 Time : 1041.0 sec. user=mdettweiler [2009-02-17 16:09:19] 1307*2^451288-1 is not prime. Res64: F7B9D281523863DE Time : 1041.0 sec. user=mdettweiler [2009-02-17 16:11:57] 1367*2^451288-1 is not prime. Res64: 8294C84371D8ED0B Time : 1040.0 sec. user=gd_barnes [2009-02-17 16:12:09] 1295*2^451288-1 is not prime. Res64: 6AA1BF19B2C061AE Time : 1350.0 sec. user=mdettweiler [2009-02-17 16:12:46] 1095*2^451289-1 is not prime. Res64: B75E659BC4F23C7E Time : 1040.0 sec. user=mdettweiler [2009-02-17 16:15:33] 1147*2^451289-1 is not prime. Res64: 618BD6B700A6FC60 Time : 1048.0 sec. user=mdettweiler [2009-02-17 16:16:14] 1237*2^451289-1 is not prime. Res64: 7B1C194724928E08 Time : 1040.0 sec. user=gd_barnes [2009-02-17 16:16:39] 1343*2^451288-1 is not prime. Res64: 7EACD25C8BDCDE05 Time : 1350.0 sec. user=mdettweiler [2009-02-17 16:18:53] 1345*2^451289-1 is not prime. Res64: 97DE3C8113518C4D Time : 957.0 sec. user=mdettweiler [2009-02-17 16:19:45] 1239*2^451289-1 is not prime. Res64: D1CDEE72F8FBB3CC Time : 1043.0 sec. user=mdettweiler [2009-02-17 16:22:23] 1357*2^451289-1 is not prime. Res64: 8CDC14401E4510CB Time : 1043.0 sec. user=mdettweiler [2009-02-17 16:23:11] 1365*2^451289-1 is not prime. Res64: 13A5145A768DD496 Time : 1038.0 sec. user=gd_barnes [2009-02-17 16:25:39] 1347*2^451289-1 is not prime. Res64: 840FC39E484967C7 Time : 1350.0 sec. user=mdettweiler [2009-02-17 16:25:49] 1085*2^451290-1 is not prime. Res64: CEA8F09D17F33351 Time : 1040.0 sec. user=mdettweiler [2009-02-17 16:26:38] 1113*2^451290-1 is not prime. Res64: 32E25E61F4F0E83B Time : 1039.0 sec. user=mdettweiler [2009-02-17 16:29:16] 1133*2^451290-1 is not prime. Res64: 615DE441E763C318 Time : 1039.0 sec. user=mdettweiler [2009-02-17 16:30:06] 1281*2^451290-1 is not prime. Res64: 91EDD982B7002799 Time : 1040.0 sec. user=gd_barnes [2009-02-17 16:30:10] 1371*2^451289-1 is not prime. Res64: E7F55E522D4B19AB Time : 1351.0 sec. user=mdettweiler [2009-02-17 16:32:43] 1283*2^451290-1 is not prime. Res64: D253D4C10868F136 Time : 1030.0 sec. user=mdettweiler [2009-02-17 16:33:34] 1021*2^451291-1 is not prime. Res64: 70A3EDDB8374CD56 Time : 1040.0 sec. user=gd_barnes [2009-02-17 16:34:39] 1151*2^451290-1 is not prime. Res64: DF7F652DBAF4DA4E Time : 1350.0 sec. user=mdettweiler [2009-02-17 16:36:12] 1071*2^451291-1 is not prime. Res64: 0B0FD3636AC39988 Time : 1039.0 sec. user=mdettweiler [2009-02-17 16:37:02] 1155*2^451291-1 is not prime. Res64: BAA70DC2695355DC Time : 1037.0 sec. user=gd_barnes [2009-02-17 16:39:24] 1023*2^451291-1 is not prime. Res64: 0071F3D204CF31AD Time : 1365.0 sec. user=mdettweiler [2009-02-17 16:39:40] 1047*2^451292-1 is not prime. Res64: 5AC11BED1887A269 Time : 1037.0 sec. user=mdettweiler [2009-02-17 16:40:31] 1145*2^451292-1 is not prime. Res64: CBEB7256F6F3AFAD Time : 1041.0 sec. user=mdettweiler [2009-02-17 16:43:07] 1349*2^451292-1 is not prime. Res64: 138D83494EFDEAC6 Time : 1039.0 sec. user=gd_barnes [2009-02-17 16:43:39] 1245*2^451292-1 is not prime. Res64: CA3AA0643CB99794 Time : 1209.0 sec. user=mdettweiler [2009-02-17 16:43:58] 1373*2^451292-1 is not prime. Res64: 9324A7C7DEFA2407 Time : 1040.0 sec. user=mdettweiler [2009-02-17 16:46:36] 1377*2^451292-1 is not prime. Res64: F19670D8AA8CB601 Time : 1040.0 sec. user=mdettweiler [2009-02-17 16:47:30] 1017*2^451293-1 is not prime. Res64: D46B0E39E8721406 Time : 1044.0 sec. user=gd_barnes [2009-02-17 16:48:10] 1293*2^451292-1 is not prime. Res64: 06C9169AAB186F6E Time : 1351.0 sec. user=mdettweiler [2009-02-17 16:50:03] 1117*2^451293-1 is not prime. Res64: 8F39E29357141895 Time : 1040.0 sec. user=gd_barnes [2009-02-17 16:52:39] 1101*2^451293-1 is not prime. Res64: 9CA83C201D080AE7 Time : 1349.0 sec. user=gd_barnes [2009-02-17 16:57:10] 1185*2^451293-1 is not prime. Res64: A2E1FEDD1CCEBD68 Time : 1351.0 sec. user=mdettweiler [2009-02-17 16:59:00] 1201*2^451293-1 is not prime. Res64: C988133A5D6B2498 Time : 1368.0 sec. user=mdettweiler [2009-02-17 16:59:00] 1035*2^451294-1 is not prime. Res64: C9F5BE1E3B1893A1 Time : 1161.0 sec. user=mdettweiler [2009-02-17 17:00:27] 1205*2^451294-1 is not prime. Res64: B56597654A17A378 Time : 1040.0 sec. user=gd_barnes [2009-02-17 17:01:39] 1369*2^451293-1 is not prime. Res64: E86E60C8423D4F3B Time : 1335.0 sec. user=mdettweiler [2009-02-17 17:03:54] 1251*2^451294-1 is not prime. Res64: A5CE5CE1ADDA2F9D Time : 1039.0 sec. user=gd_barnes [2009-02-17 17:06:10] 1223*2^451294-1 is not prime. Res64: 39E5FB78EB4E1069 Time : 1351.0 sec. user=mdettweiler [2009-02-17 17:07:24] 1093*2^451295-1 is not prime. Res64: E94F7E6ED3287AC9 Time : 1041.0 sec. user=mdettweiler [2009-02-17 17:10:51] 1203*2^451295-1 is not prime. Res64: A9BA557D6DBB567E Time : 712.0 sec. user=gd_barnes [2009-02-17 17:10:54] 1083*2^451295-1 is not prime. Res64: 8D9731882CE57C6A Time : 1364.0 sec. user=mdettweiler [2009-02-17 17:14:18] 1251*2^451295-1 is not prime. Res64: 8EFA229588C89A37 Time : 918.0 sec. user=gd_barnes [2009-02-17 17:15:13] 1095*2^451295-1 is not prime. Res64: 781398EAE83DC47F Time : 1354.0 sec. user=mdettweiler [2009-02-17 17:17:44] 1261*2^451295-1 is not prime. Res64: 3AB2B25672B5D1F9 Time : 1037.0 sec. user=mdettweiler [2009-02-17 17:21:13] 1279*2^451295-1 is not prime. Res64: C6F9F72CB23045F6 Time : 1039.0 sec. user=gd_barnes [2009-02-17 17:21:18] 1191*2^451295-1 is not prime. Res64: 5639892DAEF6F747 Time : 1448.0 sec. user=gd_barnes [2009-02-17 17:24:10] 1273*2^451295-1 is not prime. Res64: 21799C9CBF804DB4 Time : 1351.0 sec. user=mdettweiler [2009-02-17 17:24:58] 1375*2^451295-1 is not prime. Res64: 92AC54F387428CE2 Time : 1056.0 sec. user=mdettweiler [2009-02-17 17:28:11] 1383*2^451295-1 is not prime. Res64: A9B86CC65ED7843D Time : 1041.0 sec. user=gd_barnes [2009-02-17 17:28:41] 1335*2^451295-1 is not prime. Res64: 13E991110AC01602 Time : 1351.0 sec. user=mdettweiler [2009-02-17 17:31:53] 1253*2^451296-1 is not prime. Res64: D6CDB9D3EC866B25 Time : 1056.0 sec. user=gd_barnes [2009-02-17 17:33:10] 1109*2^451296-1 is not prime. Res64: 4D5FDB3553BD9000 Time : 1336.0 sec. user=mdettweiler [2009-02-17 17:35:03] 1343*2^451296-1 is not prime. Res64: BB3F31EC27B9DFD3 Time : 1039.0 sec. user=gd_barnes [2009-02-17 17:37:41] 1305*2^451296-1 is not prime. Res64: 7093D5F6DEBFE947 Time : 1348.0 sec. user=mdettweiler [2009-02-17 17:38:31] 1231*2^451297-1 is not prime. Res64: 5BE4990CE429DC14 Time : 1038.0 sec. user=mdettweiler [2009-02-17 17:41:58] 1041*2^451298-1 is not prime. Res64: 2D759E3BDD3602E6 Time : 1020.0 sec. user=gd_barnes [2009-02-17 17:42:10] 1261*2^451297-1 is not prime. Res64: 9AEE42653E8FDC32 Time : 1187.0 sec. user=mdettweiler [2009-02-17 17:45:26] 1065*2^451298-1 is not prime. Res64: 0F9799538D40013D Time : 1035.0 sec. user=gd_barnes [2009-02-17 17:46:55] 1347*2^451297-1 is not prime. Res64: DA104A5312921D20 Time : 1365.0 sec. user=mdettweiler [2009-02-17 17:48:53] 1197*2^451298-1 is not prime. Res64: B8567D5AE2F247F0 Time : 1021.0 sec. user=gd_barnes [2009-02-17 17:51:10] 1133*2^451298-1 is not prime. Res64: 1CC0CCAC62115660 Time : 1350.0 sec. user=mdettweiler [2009-02-17 17:52:24] 1301*2^451298-1 is not prime. Res64: F7CE041FE9858B91 Time : 1041.0 sec. user=gd_barnes [2009-02-17 17:55:41] 1287*2^451298-1 is not prime. Res64: 40411B8BB5538049 Time : 1351.0 sec. user=mdettweiler [2009-02-17 17:55:48] 1383*2^451298-1 is not prime. Res64: E71ACB4592C0A34E Time : 1038.0 sec. user=mdettweiler [2009-02-17 17:59:17] 1029*2^451299-1 is not prime. Res64: 38D32F128E1ACD68 Time : 1039.0 sec. user=gd_barnes [2009-02-17 18:00:10] 1343*2^451298-1 is not prime. Res64: 325329B83051C262 Time : 1350.0 sec. user=mdettweiler [2009-02-17 18:02:45] 1081*2^451299-1 is not prime. Res64: 1FCDD55EEA5D3E1E Time : 1039.0 sec. user=gd_barnes [2009-02-17 18:04:41] 1053*2^451299-1 is not prime. Res64: 7DEB07FB93ED58EF Time : 1351.0 sec. user=mdettweiler [2009-02-17 18:06:14] 1119*2^451299-1 is not prime. Res64: 8BFD25E77B84DF6C Time : 1042.0 sec. user=gd_barnes [2009-02-17 18:09:10] 1111*2^451299-1 is not prime. Res64: 3C72D4321EBDD9A6 Time : 1335.0 sec. user=mdettweiler [2009-02-17 18:09:43] 1165*2^451299-1 is not prime. Res64: 30AC2F6A13504ECF Time : 1039.0 sec. user=mdettweiler [2009-02-17 18:13:15] 1215*2^451299-1 is not prime. Res64: FC3F207B114E6EAA Time : 1047.0 sec. user=gd_barnes [2009-02-17 18:13:41] 1153*2^451299-1 is not prime. Res64: 78D87E89D70EBA3E Time : 1351.0 sec. user=mdettweiler [2009-02-17 18:16:42] 1231*2^451299-1 is not prime. Res64: 468C29E37BA2EDB5 Time : 1046.0 sec. user=gd_barnes [2009-02-17 18:18:12] 1183*2^451299-1 is not prime. Res64: B3CF10E34D5C73D0 Time : 1351.0 sec. user=mdettweiler [2009-02-17 18:20:10] 1339*2^451299-1 is not prime. Res64: EA8462109616CB9E Time : 1045.0 sec. user=gd_barnes [2009-02-17 18:23:14] 1293*2^451299-1 is not prime. Res64: 04AFC3710F66A7AA Time : 1384.0 sec. user=mdettweiler [2009-02-17 18:23:39] 1073*2^451300-1 is not prime. Res64: 8F724A6191809610 Time : 1046.0 sec. user=mdettweiler [2009-02-17 18:27:08] 1109*2^451300-1 is not prime. Res64: 74C3475F875C0742 Time : 1045.0 sec. user=gd_barnes [2009-02-17 18:27:11] 1389*2^451299-1 is not prime. Res64: 87B46C6400CF8DE5 Time : 1350.0 sec. user=mdettweiler [2009-02-17 18:30:36] 1113*2^451300-1 is not prime. Res64: 93201DC876BF79DA Time : 1041.0 sec. user=gd_barnes [2009-02-17 18:31:42] 1097*2^451300-1 is not prime. Res64: A68EB55810D4ABD7 Time : 1352.0 sec. user=mdettweiler [2009-02-17 18:34:05] 1275*2^451300-1 is not prime. Res64: 9346BB32000607A2 Time : 1044.0 sec. user=gd_barnes [2009-02-17 18:36:11] 1227*2^451300-1 is not prime. Res64: 062E62FE49A0289B Time : 1350.0 sec. user=mdettweiler [2009-02-17 18:37:35] 1353*2^451300-1 is not prime. Res64: 17CA0F85DDE76310 Time : 1046.0 sec. user=mdettweiler [2009-02-17 18:41:01] 1373*2^451300-1 is not prime. Res64: CA4F116007B277D3 Time : 1042.0 sec. user=gd_barnes [2009-02-17 18:41:14] 1293*2^451300-1 is not prime. Res64: 7C7B8F7D1EBC447D Time : 1382.0 sec. user=mdettweiler [2009-02-17 18:44:30] 1137*2^451301-1 is not prime. Res64: 3ADBA4C28B6BB74E Time : 1043.0 sec. user=gd_barnes [2009-02-17 18:45:11] 1027*2^451301-1 is not prime. Res64: 4241F84576267F6F Time : 1251.0 sec. user=mdettweiler [2009-02-17 18:47:58] 1149*2^451301-1 is not prime. Res64: BB26935C60DB057D Time : 1043.0 sec. user=gd_barnes [2009-02-17 18:49:44] 1141*2^451301-1 is not prime. Res64: 33189E9B143E7E53 Time : 1353.0 sec. user=mdettweiler [2009-02-17 18:51:31] 1231*2^451301-1 is not prime. Res64: 5D3CDE69636F2449 Time : 1047.0 sec. user=gd_barnes [2009-02-17 18:54:12] 1221*2^451301-1 is not prime. Res64: 3A2F554C54A1033B Time : 1350.0 sec. user=mdettweiler [2009-02-17 18:54:54] 1309*2^451301-1 is not prime. Res64: 50312234972BDFD2 Time : 1040.0 sec. user=mdettweiler [2009-02-17 18:58:23] 1011*2^451302-1 is not prime. Res64: 3BEB436A7C8392B2 Time : 1042.0 sec. user=gd_barnes [2009-02-17 18:58:41] 1305*2^451301-1 is not prime. Res64: 3E5C64D6A9ED72BF Time : 1350.0 sec. user=mdettweiler [2009-02-17 19:02:19] 1055*2^451302-1 is not prime. Res64: 4FFD7394A30D9DED Time : 1070.0 sec. user=gd_barnes [2009-02-17 19:03:12] 1035*2^451302-1 is not prime. Res64: E1D7E1DA229B01F4 Time : 1252.0 sec. user=mdettweiler [2009-02-17 19:05:20] 1175*2^451302-1 is not prime. Res64: 41B1DAD80B2FCCE6 Time : 1043.0 sec. user=gd_barnes [2009-02-17 19:07:42] 1161*2^451302-1 is not prime. Res64: EBC1BD26C7D29EE9 Time : 1351.0 sec. user=mdettweiler [2009-02-17 19:08:48] 1305*2^451302-1 is not prime. Res64: EA43B71EDDA6CA92 Time : 1043.0 sec. user=mdettweiler [2009-02-17 19:12:20] 1383*2^451302-1 is not prime. Res64: B31733C0D6F99CE1 Time : 1046.0 sec. user=gd_barnes [2009-02-17 19:12:29] 1241*2^451302-1 is not prime. Res64: 554B72BEF1D98E17 Time : 1365.0 sec. user=mdettweiler [2009-02-17 19:15:47] 1015*2^451303-1 is not prime. Res64: 33BC0E369C09FDBB Time : 1045.0 sec. user=gd_barnes [2009-02-17 19:16:42] 1353*2^451302-1 is not prime. Res64: EAF3FD3B4408800B Time : 1351.0 sec. user=mdettweiler [2009-02-17 19:19:13] 1125*2^451303-1 is not prime. Res64: 98B492418B4DF80E Time : 1015.0 sec. user=gd_barnes [2009-02-17 19:21:12] 1119*2^451303-1 is not prime. Res64: CFBFBCE8B154A593 Time : 1351.0 sec. user=mdettweiler [2009-02-17 19:22:41] 1179*2^451303-1 is not prime. Res64: 81BD245E43532EC8 Time : 1042.0 sec. user=gd_barnes [2009-02-17 19:25:42] 1165*2^451303-1 is not prime. Res64: 61C00EB3EA6B0C45 Time : 1351.0 sec. user=mdettweiler [2009-02-17 19:26:10] 1273*2^451303-1 is not prime. Res64: 91AC109ACA0A2C04 Time : 1043.0 sec. user=mdettweiler [2009-02-17 19:29:39] 1315*2^451303-1 is not prime. Res64: 000446E5F8839AB6 Time : 1040.0 sec. user=gd_barnes [2009-02-17 19:30:12] 1221*2^451303-1 is not prime. Res64: 2C7377458EA3F57E Time : 1350.0 sec. user=mdettweiler [2009-02-17 19:33:10] 1145*2^451304-1 is not prime. Res64: F4A780AB0B37986F Time : 1045.0 sec. user=gd_barnes [2009-02-17 19:34:42] 1127*2^451304-1 is not prime. Res64: FF4FED48CD7C5E7D Time : 1334.0 sec. user=mdettweiler [2009-02-17 19:36:35] 1209*2^451304-1 is not prime. Res64: E8F5E761D50B13F0 Time : 1043.0 sec. user=gd_barnes [2009-02-17 19:39:13] 1163*2^451304-1 is not prime. Res64: 2A3C25D6E8A4F268 Time : 1351.0 sec. user=mdettweiler [2009-02-17 19:40:04] 1253*2^451304-1 is not prime. Res64: 0B7EE23465034599 Time : 1043.0 sec. user=mdettweiler [2009-02-17 19:43:32] 1041*2^451305-1 is not prime. Res64: BD3A27A2B08C0A28 Time : 1042.0 sec. user=gd_barnes [2009-02-17 19:43:42] 1239*2^451304-1 is not prime. Res64: CCD5BEF9F4E74D43 Time : 1350.0 sec. user=mdettweiler [2009-02-17 19:47:00] 1069*2^451305-1 is not prime. Res64: 08FCB9B3D4FF10FC Time : 1042.0 sec. user=gd_barnes [2009-02-17 19:48:13] 1017*2^451305-1 is not prime. Res64: 30591D8BACC2397A Time : 1351.0 sec. user=mdettweiler [2009-02-17 19:50:28] 1221*2^451305-1 is not prime. Res64: 73CBFC9B229A4383 Time : 1038.0 sec. user=gd_barnes [2009-02-17 19:52:42] 1071*2^451305-1 is not prime. Res64: EEA840A677F92030 Time : 1350.0 sec. user=mdettweiler [2009-02-17 19:53:56] 1251*2^451305-1 is not prime. Res64: 83BF3662F25F723B Time : 1041.0 sec. user=gd_barnes [2009-02-17 19:57:13] 1249*2^451305-1 is not prime. Res64: 435127B3EB10CDEF Time : 1351.0 sec. user=mdettweiler [2009-02-17 19:57:24] 1025*2^451306-1 is not prime. Res64: 47568ADFF623AE68 Time : 1041.0 sec. user=mdettweiler [2009-02-17 20:00:51] 1115*2^451306-1 is not prime. Res64: BF93CE099F395D77 Time : 1040.0 sec. user=gd_barnes [2009-02-17 20:01:42] 1285*2^451305-1 is not prime. Res64: 6757EDDD70220BAD Time : 1349.0 sec. user=mdettweiler [2009-02-17 20:04:22] 1151*2^451306-1 is not prime. Res64: 3805E769A67AEA5A Time : 1042.0 sec. user=gd_barnes [2009-02-17 20:06:13] 1137*2^451306-1 is not prime. Res64: 00267BBC1186F0C2 Time : 1351.0 sec. user=mdettweiler [2009-02-17 20:07:47] 1221*2^451306-1 is not prime. Res64: 1622EC59DC58D9EC Time : 1039.0 sec. user=gd_barnes [2009-02-17 20:10:46] 1191*2^451306-1 is not prime. Res64: 1FC680EE60EAE070 Time : 1353.0 sec. user=mdettweiler [2009-02-17 20:11:15] 1245*2^451306-1 is not prime. Res64: 91EB19A9AE1E11C8 Time : 1039.0 sec. user=mdettweiler [2009-02-17 20:14:46] 1251*2^451306-1 is not prime. Res64: B2DEB25D0B4F1A61 Time : 1043.0 sec. user=gd_barnes [2009-02-17 20:15:13] 1233*2^451306-1 is not prime. Res64: 64FD52C1CA63B2BF Time : 1351.0 sec. user=mdettweiler [2009-02-17 20:18:13] 1331*2^451306-1 is not prime. Res64: 139847F1E5EEAA85 Time : 1042.0 sec. user=gd_barnes [2009-02-17 20:20:31] 1247*2^451306-1 is not prime. Res64: 7292348BB44C1FEA Time : 1398.0 sec. user=mdettweiler [2009-02-17 20:21:57] 1039*2^451307-1 is not prime. Res64: 8F6CDDC5955BB003 Time : 1055.0 sec. user=gd_barnes [2009-02-17 20:24:17] 1005*2^451307-1 is not prime. Res64: 86461E630A2DCFB3 Time : 1355.0 sec. user=mdettweiler [2009-02-17 20:25:09] 1111*2^451307-1 is not prime. Res64: 8AC97F2FB9CCB8F9 Time : 1042.0 sec. user=gd_barnes [2009-02-17 20:28:47] 1041*2^451307-1 is not prime. Res64: CFFAB0621BF03528 Time : 1354.0 sec. user=mdettweiler [2009-02-17 20:28:59] 1225*2^451307-1 is not prime. Res64: 4FA861E87F7268AC Time : 1065.0 sec. user=mdettweiler [2009-02-17 20:31:59] 1281*2^451307-1 is not prime. Res64: A41D160E90933420 Time : 1034.0 sec. user=gd_barnes [2009-02-17 20:33:14] 1131*2^451307-1 is not prime. Res64: E8FF67A734CD6210 Time : 1348.0 sec. user=mdettweiler [2009-02-17 20:35:27] 1305*2^451307-1 is not prime. Res64: E2B48ADE1112B626 Time : 1035.0 sec. user=gd_barnes [2009-02-17 20:37:44] 1291*2^451307-1 is not prime. Res64: 4C4CEF0A921542DB Time : 1351.0 sec. user=mdettweiler [2009-02-17 20:38:58] 1095*2^451308-1 is not prime. Res64: 734CEFB0FDD0BCF4 Time : 1023.0 sec. user=gd_barnes [2009-02-17 20:42:31] 1309*2^451307-1 is not prime. Res64: 809A49C98AE3FBE1 Time : 1255.0 sec. user=mdettweiler [2009-02-17 20:43:08] 1143*2^451308-1 is not prime. Res64: FF804F53391DBBF4 Time : 1079.0 sec. user=mdettweiler [2009-02-17 20:46:07] 1347*2^451308-1 is not prime. Res64: 6C21AFDB036F5E3F Time : 1028.0 sec. user=gd_barnes [2009-02-17 20:46:44] 1133*2^451308-1 is not prime. Res64: C2804F34F56B28D5 Time : 1347.0 sec. user=mdettweiler [2009-02-17 20:49:18] 1377*2^451308-1 is not prime. Res64: 8B51D03B5FBEA143 Time : 1039.0 sec. user=gd_barnes [2009-02-17 20:51:14] 1283*2^451308-1 is not prime. Res64: A2BC512974A6A3EB Time : 1347.0 sec. user=mdettweiler [2009-02-17 20:52:47] 1017*2^451309-1 is not prime. Res64: 06E11E8B37A11F47 Time : 1040.0 sec. user=gd_barnes [2009-02-17 20:55:44] 1395*2^451308-1 is not prime. Res64: 1FF703F052124EBA Time : 1350.0 sec. user=mdettweiler [2009-02-17 20:56:15] 1137*2^451309-1 is not prime. Res64: 73CCD17AC16ADF76 Time : 1037.0 sec. user=mdettweiler [2009-02-17 20:59:55] 1195*2^451309-1 is not prime. Res64: 8703270D50645B67 Time : 1007.0 sec. user=gd_barnes [2009-02-17 21:00:14] 1029*2^451309-1 is not prime. Res64: 571023346FAF8325 Time : 1350.0 sec. user=mdettweiler [2009-02-17 21:03:27] 1207*2^451309-1 is not prime. Res64: A79B9AFF245B21D0 Time : 1040.0 sec. user=gd_barnes [2009-02-17 21:04:44] 1171*2^451309-1 is not prime. Res64: CF41214D54FA7F59 Time : 1333.0 sec. user=mdettweiler [2009-02-17 21:06:55] 1237*2^451309-1 is not prime. Res64: D29A352794614BDE Time : 1057.0 sec. user=gd_barnes [2009-02-17 21:09:17] 1209*2^451309-1 is not prime. Res64: F57901A9C7BA5B33 Time : 1353.0 sec. user=mdettweiler [2009-02-17 21:10:10] 1395*2^451309-1 is not prime. Res64: 80D9D24BD320C130 Time : 1044.0 sec. user=mdettweiler [2009-02-17 21:13:37] 1113*2^451310-1 is not prime. Res64: 0FA2EA5C5235B863 Time : 1042.0 sec. user=gd_barnes [2009-02-17 21:13:48] 1375*2^451309-1 is not prime. Res64: 3989AF70CD1DA004 Time : 1354.0 sec. user=mdettweiler [2009-02-17 21:17:07] 1125*2^451310-1 is not prime. Res64: 0CC85F0769B29788 Time : 1032.0 sec. user=gd_barnes [2009-02-17 21:18:15] 1025*2^451310-1 is not prime. Res64: 00D22267314FC682 Time : 1351.0 sec. user=mdettweiler [2009-02-17 21:20:30] 1293*2^451310-1 is not prime. Res64: 8918B9B3EA9EBADA Time : 1023.0 sec. user=gd_barnes [2009-02-17 21:23:44] 1151*2^451310-1 is not prime. Res64: 19478E5375F33CB8 Time : 1410.0 sec. user=mdettweiler [2009-02-17 21:24:25] 1337*2^451310-1 is not prime. Res64: 317F5F9AEAA36DE1 Time : 1051.0 sec. user=mdettweiler [2009-02-17 21:27:43] 1385*2^451310-1 is not prime. Res64: CDC55A96AA011F27 Time : 1054.0 sec. user=gd_barnes [2009-02-17 21:30:07] 1301*2^451310-1 is not prime. Res64: E3CEBE73A6F9F51D Time : 1523.0 sec. user=mdettweiler [2009-02-17 21:30:58] 1041*2^451311-1 is not prime. Res64: F6D5747ADF48E38C Time : 1042.0 sec. user=gd_barnes [2009-02-17 21:31:45] 1361*2^451310-1 is not prime. Res64: A03B483EF218FA85 Time : 1348.0 sec. user=mdettweiler [2009-02-17 21:34:25] 1165*2^451311-1 is not prime. Res64: AC7436E2C59D67A5 Time : 1038.0 sec. user=gd_barnes [2009-02-17 21:37:28] 1083*2^451311-1 is not prime. Res64: 38D188EE35FEA8E8 Time : 1421.0 sec. user=mdettweiler [2009-02-17 21:37:55] 1043*2^451312-1 is not prime. Res64: 0DB1CDF8DE3059E1 Time : 1045.0 sec. user=gd_barnes [2009-02-17 21:40:59] 1263*2^451311-1 is not prime. Res64: E9491AB837C0496C Time : 1364.0 sec. user=mdettweiler [2009-02-17 21:41:37] 1083*2^451312-1 is not prime. Res64: 04C04C1C7675C0EC Time : 1032.0 sec. user=gd_barnes [2009-02-17 21:45:19] 1193*2^451312-1 is not prime. Res64: 0003A67B5F3F8482 Time : 1230.0 sec. user=mdettweiler [2009-02-17 21:45:20] 1253*2^451312-1 is not prime. Res64: 0805935B9E7FECBF Time : 1057.0 sec. user=mdettweiler [2009-02-17 21:48:18] 1329*2^451312-1 is not prime. Res64: 7B32345B99BC6EF3 Time : 1040.0 sec. user=gd_barnes [2009-02-17 21:49:45] 1325*2^451312-1 is not prime. Res64: 1BBCC2E78B7CD645 Time : 1178.0 sec. user=mdettweiler [2009-02-17 21:51:49] 1137*2^451313-1 is not prime. Res64: 16A197178F7EFFCB Time : 1044.0 sec. user=gd_barnes [2009-02-17 21:54:16] 1105*2^451313-1 is not prime. Res64: FD56956110ABF6AD Time : 1351.0 sec. user=mdettweiler [2009-02-17 21:55:20] 1245*2^451313-1 is not prime. Res64: 14D36C263FFF9967 Time : 1046.0 sec. user=mdettweiler [2009-02-17 21:58:42] 1031*2^451314-1 is not prime. Res64: F4AA09F2FBD45E96 Time : 1025.0 sec. user=gd_barnes [2009-02-17 21:58:47] 1347*2^451313-1 is not prime. Res64: D9816BAB0F5994E9 Time : 1213.0 sec. user=mdettweiler [2009-02-17 22:02:09] 1313*2^451314-1 is not prime. Res64: 6EC287F897810612 Time : 1010.0 sec. user=gd_barnes [2009-02-17 22:03:19] 1357*2^451313-1 is not prime. Res64: BDFB25DE135D4B27 Time : 1340.0 sec. user=mdettweiler [2009-02-17 22:05:52] 1039*2^451315-1 is not prime. Res64: B64FD9DFD2FAA3A6 Time : 1054.0 sec. user=gd_barnes [2009-02-17 22:07:47] 1097*2^451314-1 is not prime. Res64: 5146EDB330D82AC0 Time : 1348.0 sec. user=mdettweiler [2009-02-17 22:09:19] 1305*2^451315-1 is not prime. Res64: 081335EFD285B277 Time : 1051.0 sec. user=gd_barnes [2009-02-17 22:12:19] 1105*2^451315-1 is not prime. Res64: 2D55B5F3CA278486 Time : 1354.0 sec. user=mdettweiler [2009-02-17 22:12:34] 1023*2^451316-1 is not prime. Res64: 0B8B7A54DB4AD770 Time : 1034.0 sec. user=mdettweiler [2009-02-17 22:16:03] 1047*2^451316-1 is not prime. Res64: 50D84F6E37255756 Time : 1041.0 sec. user=gd_barnes [2009-02-17 22:17:01] 1005*2^451316-1 is not prime. Res64: D3693C2501612C28 Time : 1365.0 sec. user=mdettweiler [2009-02-17 22:19:30] 1187*2^451316-1 is not prime. Res64: 35DF7AE010ED1B86 Time : 1041.0 sec. user=gd_barnes [2009-02-17 22:22:03] 1085*2^451316-1 is not prime. Res64: 3BAE81D19660EDAF Time : 1396.0 sec. user=mdettweiler [2009-02-17 22:23:16] 1295*2^451316-1 is not prime. Res64: F5057A823A00C538 Time : 1044.0 sec. user=gd_barnes [2009-02-17 22:25:46] 1217*2^451316-1 is not prime. Res64: E468A44AC3DAEB13 Time : 1347.0 sec. user=mdettweiler [2009-02-17 22:26:27] 1029*2^451317-1 is not prime. Res64: 5D1C15A06956DF3F Time : 1028.0 sec. user=mdettweiler [2009-02-17 22:29:56] 1137*2^451317-1 is not prime. Res64: D3143652D66418A3 Time : 1042.0 sec. user=gd_barnes [2009-02-17 22:30:17] 1317*2^451316-1 is not prime. Res64: BEC2B57840CA11CB Time : 1350.0 sec. user=mdettweiler [2009-02-17 22:33:26] 1201*2^451317-1 is not prime. Res64: 9B841ECE582B594C Time : 1044.0 sec. user=gd_barnes [2009-02-17 22:34:46] 1117*2^451317-1 is not prime. Res64: DA1B98E46509C771 Time : 1347.0 sec. user=mdettweiler [2009-02-17 22:36:53] 1011*2^451318-1 is not prime. Res64: 8D9E19A5C7660007 Time : 1043.0 sec. user=gd_barnes [2009-02-17 22:39:17] 1357*2^451317-1 is not prime. Res64: AC2EECEBD1A0277B Time : 1336.0 sec. user=mdettweiler [2009-02-17 22:40:23] 1157*2^451318-1 is not prime. Res64: 661AC49B0A50269E Time : 1027.0 sec. user=gd_barnes [2009-02-17 22:43:48] 1025*2^451318-1 is not prime. Res64: 119ABBFE8D11DB0B Time : 1239.0 sec. user=mdettweiler [2009-02-17 22:43:51] 1301*2^451318-1 is not prime. Res64: E6CBB28FEFBCB2D0 Time : 1044.0 sec. user=mdettweiler [2009-02-17 22:47:34] 1373*2^451318-1 is not prime. Res64: 86C0DAE1CE16E0CF Time : 1058.0 sec. user=gd_barnes [2009-02-17 22:48:18] 1283*2^451318-1 is not prime. Res64: C34CB113E94984B6 Time : 1352.0 sec. user=mdettweiler [2009-02-17 22:50:49] 1021*2^451319-1 is not prime. Res64: 9697598CE7361368 Time : 1044.0 sec. user=gd_barnes [2009-02-17 22:52:48] 1015*2^451319-1 is not prime. Res64: 1426608B33EFE0E5 Time : 1351.0 sec. user=mdettweiler [2009-02-17 22:54:18] 1131*2^451319-1 is not prime. Res64: E3402A707565E7BB Time : 1045.0 sec. user=gd_barnes [2009-02-17 22:57:18] 1053*2^451319-1 is not prime. Res64: 0E7213F75A9C57E1 Time : 1352.0 sec. user=mdettweiler [2009-02-17 22:57:48] 1275*2^451319-1 is not prime. Res64: 64451DB8B9437C6D Time : 1046.0 sec. user=mdettweiler [2009-02-17 23:01:16] 1309*2^451319-1 is not prime. Res64: FE895E7A9C9D33AA Time : 1045.0 sec. user=gd_barnes [2009-02-17 23:01:48] 1239*2^451319-1 is not prime. Res64: 991346885752B9DC Time : 1351.0 sec. user=mdettweiler [2009-02-17 23:04:46] 1329*2^451319-1 is not prime. Res64: 11EB6B698A11A9E0 Time : 1032.0 sec. user=gd_barnes [2009-02-17 23:06:21] 1305*2^451319-1 is not prime. Res64: 868A34BEED736494 Time : 1354.0 sec. user=mdettweiler [2009-02-17 23:08:15] 1389*2^451319-1 is not prime. Res64: BBEA4E9E5D6B6B2D Time : 1047.0 sec. user=gd_barnes [2009-02-17 23:10:49] 1363*2^451319-1 is not prime. Res64: 789A57EEA012A8FF Time : 1351.0 sec. user=mdettweiler [2009-02-17 23:11:43] 1235*2^451320-1 is not prime. Res64: A8808802720FE223 Time : 1045.0 sec. user=mdettweiler [2009-02-17 23:15:12] 1383*2^451320-1 is not prime. Res64: 56C4780058547F71 Time : 1045.0 sec. user=gd_barnes [2009-02-17 23:15:18] 1049*2^451320-1 is not prime. Res64: B64E784EEF7B9669 Time : 1350.0 sec. user=mdettweiler [2009-02-17 23:18:41] 1027*2^451321-1 is not prime. Res64: 78520E668C125355 Time : 1045.0 sec. user=gd_barnes [2009-02-17 23:19:49] 1287*2^451320-1 is not prime. Res64: 5AC64C155A4519B7 Time : 1351.0 sec. user=mdettweiler [2009-02-17 23:22:09] 1069*2^451321-1 is not prime. Res64: 90FDAAF422BB95E1 Time : 1043.0 sec. user=gd_barnes [2009-02-17 23:24:21] 1065*2^451321-1 is not prime. Res64: 6CB0C6E9182FD912 Time : 1353.0 sec. user=mdettweiler [2009-02-17 23:25:38] 1111*2^451321-1 is not prime. Res64: 74F57FE60AE51E8A Time : 1043.0 sec. user=gd_barnes [2009-02-17 23:28:49] 1077*2^451321-1 is not prime. Res64: 1327310A6F041EAD Time : 1348.0 sec. user=mdettweiler [2009-02-17 23:29:07] 1297*2^451321-1 is not prime. Res64: E7708C7226BBFC36 Time : 1044.0 sec. user=mdettweiler [2009-02-17 23:32:35] 1305*2^451321-1 is not prime. Res64: C32E7EB403B16A8C Time : 1043.0 sec. user=gd_barnes [2009-02-17 23:34:05] 1141*2^451321-1 is not prime. Res64: D932BEFA1A65EC51 Time : 1396.0 sec. user=mdettweiler [2009-02-17 23:36:05] 1013*2^451322-1 is not prime. Res64: 861E62CA89875237 Time : 1044.0 sec. user=gd_barnes [2009-02-17 23:37:49] 1377*2^451321-1 is not prime. Res64: 3F87601BEC2D7434 Time : 1351.0 sec. user=mdettweiler [2009-02-17 23:39:33] 1071*2^451322-1 is not prime. Res64: DBC0A31A92B761B1 Time : 1044.0 sec. user=gd_barnes [2009-02-17 23:42:20] 1041*2^451322-1 is not prime. Res64: AE2C8A750204958F Time : 1351.0 sec. user=mdettweiler [2009-02-17 23:43:01] 1211*2^451322-1 is not prime. Res64: BE8079BA1DD48DA6 Time : 1043.0 sec. user=mdettweiler [2009-02-17 23:46:28] 1265*2^451322-1 is not prime. Res64: 779D2DB2B0022AE3 Time : 1041.0 sec. user=gd_barnes [2009-02-17 23:46:50] 1113*2^451322-1 is not prime. Res64: 3B448CC41D295541 Time : 1349.0 sec. user=mdettweiler [2009-02-17 23:49:57] 1287*2^451322-1 is not prime. Res64: E311EDBE6C7EE24A Time : 1042.0 sec. user=gd_barnes [2009-02-17 23:51:20] 1263*2^451322-1 is not prime. Res64: A15D31D24891145F Time : 1351.0 sec. user=mdettweiler [2009-02-17 23:53:24] 1307*2^451322-1 is not prime. Res64: 3725F83F512D9435 Time : 1039.0 sec. user=gd_barnes [2009-02-17 23:55:50] 1295*2^451322-1 is not prime. Res64: 16B9494AF403FBB8 Time : 1239.0 sec. user=mdettweiler [2009-02-17 23:56:52] 1015*2^451323-1 is not prime. Res64: 2D3E8C3C9E12DA41 Time : 1039.0 sec.