user=vaughan [2010-07-14 00:03:12] 431*2^841382-1 is not prime. Res64: AA47783873B9F69D Time : 1025.0 sec. user=vaughan [2010-07-14 00:04:55] 541*2^841381-1 is not prime. Res64: 641DD78286E43EE7 Time : 1350.0 sec. user=vaughan [2010-07-14 00:07:33] 467*2^841382-1 is not prime. Res64: 8998500F2E1B40BD Time : 1048.0 sec. user=vaughan [2010-07-14 00:08:49] 495*2^841382-1 is not prime. Res64: 1DFCB1643A3812AD Time : 1023.0 sec. user=vaughan [2010-07-14 00:11:33] 441*2^841383-1 is not prime. Res64: 7BE1714E2C1C6B80 Time : 982.0 sec. user=vaughan [2010-07-14 00:13:44] 581*2^841382-1 is not prime. Res64: A279C2DF790BB9E9 Time : 1157.0 sec. user=vaughan [2010-07-14 00:16:26] 445*2^841383-1 is not prime. Res64: 1C9509752AFD983E Time : 1151.0 sec. user=vaughan [2010-07-14 00:16:58] 559*2^841383-1 is not prime. Res64: B799E80EF588E442 Time : 1026.0 sec. user=vaughan [2010-07-14 00:18:02] 465*2^841383-1 is not prime. Res64: 3056888C901BF5E1 Time : 1154.0 sec. user=vaughan [2010-07-14 00:18:03] 571*2^841383-1 is not prime. Res64: 05D764E812A7EB34 Time : 1059.0 sec. user=vaughan [2010-07-14 00:20:15] 413*2^841384-1 is not prime. Res64: 211E97CAC3847F5F Time : 1024.0 sec. user=vaughan [2010-07-14 00:24:59] 519*2^841384-1 is not prime. Res64: 47A758EDD99BB2F8 Time : 1047.0 sec. user=vaughan [2010-07-14 00:25:51] 573*2^841384-1 is not prime. Res64: 6ADC7ADC26BA99E5 Time : 1022.0 sec. user=vaughan [2010-07-14 00:27:20] 437*2^841384-1 is not prime. Res64: DD171C82629DD8CD Time : 1346.0 sec. user=vaughan [2010-07-14 00:27:56] 597*2^841384-1 is not prime. Res64: 4E82177A099BEC66 Time : 983.0 sec. user=vaughan [2010-07-14 00:32:56] 409*2^841385-1 is not prime. Res64: A7C84E2E3C717DCC Time : 1152.0 sec. user=vaughan [2010-07-14 00:34:04] 547*2^841385-1 is not prime. Res64: 95FDE7DC1CD290E2 Time : 1026.0 sec. user=vaughan [2010-07-14 00:35:42] 447*2^841385-1 is not prime. Res64: 9FF67F2CC36AFF74 Time : 1156.0 sec. user=vaughan [2010-07-14 00:35:43] 465*2^841386-1 is not prime. Res64: A746203ECCAE302B Time : 1060.0 sec. user=vaughan [2010-07-14 00:37:14] 437*2^841386-1 is not prime. Res64: 7EFC0D36D6A2E7AB Time : 1152.0 sec. user=vaughan [2010-07-14 00:37:18] 503*2^841386-1 is not prime. Res64: CD761B04D2625A33 Time : 1024.0 sec. user=vaughan [2010-07-14 00:42:27] 593*2^841386-1 is not prime. Res64: C6A8FC41685DB26D Time : 1048.0 sec. user=vaughan [2010-07-14 00:42:54] 471*2^841387-1 is not prime. Res64: 3D4FBBA0D82C52CB Time : 1023.0 sec. user=vaughan [2010-07-14 00:44:17] 505*2^841387-1 is not prime. Res64: 9F99E413A6F2213A Time : 982.0 sec. user=vaughan [2010-07-14 00:49:48] 489*2^841387-1 is not prime. Res64: 76BAE34A95E43FE6 Time : 1348.0 sec. user=vaughan [2010-07-14 00:51:10] 579*2^841387-1 is not prime. Res64: 4285975718155EF0 Time : 1026.0 sec. user=vaughan [2010-07-14 00:52:06] 511*2^841387-1 is not prime. Res64: 916BC70647ADE766 Time : 1151.0 sec. user=vaughan [2010-07-14 00:53:23] 459*2^841388-1 is not prime. Res64: 2C5FED0A4F08893F Time : 1060.0 sec. user=vaughan [2010-07-14 00:54:22] 427*2^841389-1 is not prime. Res64: 45C36F1203CF77AD Time : 1025.0 sec. user=vaughan [2010-07-14 00:54:52] 405*2^841388-1 is not prime. Res64: A55882D17B6C6086 Time : 1150.0 sec. user=vaughan [2010-07-14 00:56:25] 537*2^841388-1 is not prime. Res64: 1B856F05A2A7BBE6 Time : 1152.0 sec. user=vaughan [2010-07-14 00:59:56] 481*2^841389-1 is not prime. Res64: A6AE29768495CACB Time : 1022.0 sec. user=vaughan [2010-07-14 01:00:40] 525*2^841389-1 is not prime. Res64: A828043084FED4A0 Time : 983.0 sec. user=vaughan [2010-07-14 01:08:16] 555*2^841389-1 is not prime. Res64: 862744144B8F7E70 Time : 1026.0 sec. user=vaughan [2010-07-14 01:11:17] 447*2^841390-1 is not prime. Res64: 7DC98931703B3A0E Time : 1152.0 sec. user=vaughan [2010-07-14 01:11:23] 545*2^841390-1 is not prime. Res64: 859BF7E5F1FCA509 Time : 1022.0 sec. user=vaughan [2010-07-14 01:12:18] 549*2^841389-1 is not prime. Res64: 8760E88DD2C03DFC Time : 1351.0 sec. user=vaughan [2010-07-14 01:14:01] 597*2^841390-1 is not prime. Res64: 0DBA2CE7B0412DA7 Time : 1149.0 sec. user=vaughan [2010-07-14 01:14:10] 465*2^841389-1 is not prime. Res64: 053A7524DA1499FC Time : 1903.0 sec. user=vaughan [2010-07-14 01:15:39] 433*2^841391-1 is not prime. Res64: 565E1101BC79935D Time : 1154.0 sec. user=vaughan [2010-07-14 01:16:56] 493*2^841391-1 is not prime. Res64: 4A35EF9E3E646F5D Time : 1020.0 sec. user=vaughan [2010-07-14 01:17:01] 519*2^841391-1 is not prime. Res64: 0D49460F86452CFB Time : 982.0 sec. user=vaughan [2010-07-14 01:25:22] 405*2^841392-1 is not prime. Res64: 392F17B633C5DED4 Time : 1026.0 sec. user=vaughan [2010-07-14 01:25:26] 455*2^841390-1 is not prime. Res64: F480910AD880CBF1 Time : 1924.0 sec. user=vaughan [2010-07-14 01:28:26] 497*2^841392-1 is not prime. Res64: C2C8BB05B0B4832C Time : 1023.0 sec. user=vaughan [2010-07-14 01:30:30] 455*2^841392-1 is not prime. Res64: 1FAE75586008E05C Time : 1153.0 sec. user=vaughan [2010-07-14 01:31:37] 411*2^841393-1 is not prime. Res64: 02E22CEB53FAD652 Time : 1048.0 sec. user=vaughan [2010-07-14 01:33:14] 587*2^841392-1 is not prime. Res64: 1ADC61A31C60CE86 Time : 1153.0 sec. user=vaughan [2010-07-14 01:33:24] 589*2^841393-1 is not prime. Res64: BAB20FDE9BB7904F Time : 984.0 sec. user=vaughan [2010-07-14 01:33:59] 541*2^841393-1 is not prime. Res64: 95E9FC6AC15A455F Time : 1023.0 sec. user=vaughan [2010-07-14 01:34:41] 567*2^841392-1 is not prime. Res64: 925432C43D871DB1 Time : 1343.0 sec. user=vaughan [2010-07-14 01:34:51] 525*2^841393-1 is not prime. Res64: 1212E7EEC31929A0 Time : 1152.0 sec. user=vaughan [2010-07-14 01:42:29] 407*2^841394-1 is not prime. Res64: 1748E6F7BAA8206A Time : 1027.0 sec. user=vaughan [2010-07-14 01:43:10] 501*2^841394-1 is not prime. Res64: 021B05A8F504A956 Time : 1065.0 sec. user=vaughan [2010-07-14 01:45:30] 533*2^841394-1 is not prime. Res64: 274D064F48519342 Time : 1024.0 sec. user=vaughan [2010-07-14 01:49:01] 593*2^841394-1 is not prime. Res64: 133420B3805DE960 Time : 1044.0 sec. user=vaughan [2010-07-14 01:49:45] 585*2^841394-1 is not prime. Res64: A6654B49FAC6D96B Time : 1156.0 sec. user=vaughan [2010-07-14 01:49:46] 453*2^841395-1 is not prime. Res64: 6D864EA00CCD37A2 Time : 982.0 sec. user=vaughan [2010-07-14 01:51:01] 465*2^841395-1 is not prime. Res64: DEE52685F1F8A1BE Time : 1025.0 sec. user=vaughan [2010-07-14 01:52:25] 415*2^841395-1 is not prime. Res64: 71A5E1D693CB1439 Time : 1151.0 sec. user=vaughan [2010-07-14 01:54:01] 513*2^841395-1 is not prime. Res64: B76A9E7F471F91FB Time : 1150.0 sec. user=vaughan [2010-07-14 01:57:05] 493*2^841395-1 is not prime. Res64: 896EB48172966310 Time : 1344.0 sec. user=vaughan [2010-07-14 01:59:35] 595*2^841395-1 is not prime. Res64: DE1FD182CE5272DA Time : 1026.0 sec. user=vaughan [2010-07-14 02:02:34] 455*2^841396-1 is not prime. Res64: 853119B75743CB98 Time : 1024.0 sec. user=vaughan [2010-07-14 02:02:36] 429*2^841396-1 is not prime. Res64: F857243459687ED6 Time : 1166.0 sec. user=vaughan [2010-07-14 02:06:08] 587*2^841396-1 is not prime. Res64: C90F47E52D470FC7 Time : 982.0 sec. user=vaughan [2010-07-14 02:08:05] 593*2^841396-1 is not prime. Res64: E9674603C583D542 Time : 1025.0 sec. user=vaughan [2010-07-14 02:08:06] 485*2^841396-1 is not prime. Res64: 7BBE8057E33C167B Time : 1146.0 sec. user=vaughan [2010-07-14 02:09:03] 507*2^841396-1 is not prime. Res64: C4446F5CD7D51815 Time : 1158.0 sec. user=vaughan [2010-07-14 02:11:36] 511*2^841397-1 is not prime. Res64: 4CFA4152706FF59B Time : 1152.0 sec. user=vaughan [2010-07-14 02:13:15] 529*2^841397-1 is not prime. Res64: 5BABAB677C5B166F Time : 1154.0 sec. user=vaughan [2010-07-14 02:16:41] 471*2^841398-1 is not prime. Res64: AE2C000F527850D9 Time : 1027.0 sec. user=vaughan [2010-07-14 02:19:29] 561*2^841397-1 is not prime. Res64: 263715BE7025C0B7 Time : 1345.0 sec. user=vaughan [2010-07-14 02:19:37] 473*2^841398-1 is not prime. Res64: 1AAD6D59F01A31F6 Time : 1023.0 sec. user=vaughan [2010-07-14 02:20:21] 429*2^841399-1 is not prime. Res64: 3AB4A3474743EE22 Time : 1065.0 sec. user=vaughan [2010-07-14 02:22:30] 483*2^841399-1 is not prime. Res64: 9B51BE0DAB3C1FEA Time : 982.0 sec. user=vaughan [2010-07-14 02:25:07] 511*2^841399-1 is not prime. Res64: B5A7C5C8D0DC972F Time : 1023.0 sec. user=vaughan [2010-07-14 02:25:36] 549*2^841399-1 is not prime. Res64: 35E22E810EA4CDBC Time : 1050.0 sec. user=vaughan [2010-07-14 02:28:18] 425*2^841400-1 is not prime. Res64: 7781EECB908EDF02 Time : 1156.0 sec. user=vaughan [2010-07-14 02:30:52] 483*2^841400-1 is not prime. Res64: 7BFBA85500FBDC5F Time : 1156.0 sec. user=vaughan [2010-07-14 02:32:29] 515*2^841400-1 is not prime. Res64: 4CE29606649DC79D Time : 1155.0 sec. user=vaughan [2010-07-14 02:33:45] 593*2^841400-1 is not prime. Res64: A213A6296907E558 Time : 1025.0 sec. user=vaughan [2010-07-14 02:36:39] 555*2^841402-1 is not prime. Res64: 8A71C8A98BC15AD1 Time : 1022.0 sec. user=vaughan [2010-07-14 02:38:09] 561*2^841402-1 is not prime. Res64: 91C5723BD0B16722 Time : 1068.0 sec. user=vaughan [2010-07-14 02:38:52] 445*2^841403-1 is not prime. Res64: F02239270137F065 Time : 982.0 sec. user=vaughan [2010-07-14 02:41:52] 425*2^841402-1 is not prime. Res64: B9A2655546ECDAE1 Time : 1344.0 sec. user=vaughan [2010-07-14 02:42:08] 553*2^841403-1 is not prime. Res64: 531925FA6A710205 Time : 1022.0 sec. user=vaughan [2010-07-14 02:43:32] 585*2^841403-1 is not prime. Res64: C34E28326E0DACD8 Time : 1076.0 sec. user=vaughan [2010-07-14 02:47:26] 459*2^841404-1 is not prime. Res64: A6150E2E83843570 Time : 1148.0 sec. user=vaughan [2010-07-14 02:50:07] 473*2^841404-1 is not prime. Res64: 94B1469358DD01B0 Time : 1156.0 sec. user=vaughan [2010-07-14 02:50:51] 527*2^841404-1 is not prime. Res64: 376E9930919171FE Time : 1026.0 sec. user=vaughan [2010-07-14 02:51:43] 489*2^841404-1 is not prime. Res64: 8D4FD620616C38DD Time : 1155.0 sec. user=vaughan [2010-07-14 02:53:42] 471*2^841405-1 is not prime. Res64: 0EDCEDFF309A7BFE Time : 1023.0 sec. user=vaughan [2010-07-14 02:55:14] 577*2^841405-1 is not prime. Res64: A5765DF8715108AE Time : 982.0 sec. user=vaughan [2010-07-14 02:55:51] 537*2^841405-1 is not prime. Res64: 9409F421B22442DC Time : 1063.0 sec. user=vaughan [2010-07-14 02:59:11] 515*2^841406-1 is not prime. Res64: 49418D583B95796A Time : 1023.0 sec. user=vaughan [2010-07-14 03:00:56] 581*2^841406-1 is not prime. Res64: 638D4BD7C9A8B8E6 Time : 1045.0 sec. user=vaughan [2010-07-14 03:04:11] 437*2^841406-1 is not prime. Res64: 66A42E5A49ED14F1 Time : 1339.0 sec. user=vaughan [2010-07-14 03:06:41] 465*2^841407-1 is not prime. Res64: B9029D0FF4EBA163 Time : 1155.0 sec. user=vaughan [2010-07-14 03:07:57] 513*2^841407-1 is not prime. Res64: 2B8A77FE2F81129B Time : 1026.0 sec. user=vaughan [2010-07-14 03:09:24] 471*2^841407-1 is not prime. Res64: 9911B81A1ACA99AC Time : 1158.0 sec. user=vaughan [2010-07-14 03:10:46] 435*2^841408-1 is not prime. Res64: C935D01BF576B521 Time : 1024.0 sec. user=vaughan [2010-07-14 03:10:53] 531*2^841407-1 is not prime. Res64: CAACF8DD80280A32 Time : 1151.0 sec. user=vaughan [2010-07-14 03:11:37] 467*2^841408-1 is not prime. Res64: 58A5AE0699B7848A Time : 983.0 sec. user=vaughan [2010-07-14 03:13:33] 569*2^841408-1 is not prime. Res64: 55B3B2D52E84D8E6 Time : 1062.0 sec. user=vaughan [2010-07-14 03:16:14] 575*2^841408-1 is not prime. Res64: 4759968122B4862B Time : 1024.0 sec. user=vaughan [2010-07-14 03:18:23] 597*2^841408-1 is not prime. Res64: 79E903A7A0A7ABF0 Time : 1047.0 sec. user=vaughan [2010-07-14 03:25:15] 487*2^841409-1 is not prime. Res64: 3257D12A8952FC9B Time : 1038.0 sec. user=vaughan [2010-07-14 03:26:10] 411*2^841409-1 is not prime. Res64: 8296DF7EAC608FDC Time : 1319.0 sec. user=vaughan [2010-07-14 03:26:17] 481*2^841409-1 is not prime. Res64: EF06B961212B847E Time : 1177.0 sec. user=vaughan [2010-07-14 03:27:59] 511*2^841409-1 is not prime. Res64: 4F033BB49E0B5D32 Time : 1033.0 sec. user=vaughan [2010-07-14 03:28:10] 579*2^841409-1 is not prime. Res64: 8FE150EBB186BDA4 Time : 993.0 sec. user=vaughan [2010-07-14 03:28:35] 495*2^841409-1 is not prime. Res64: 3BDB5B04D1BA25D7 Time : 1152.0 sec. user=vaughan [2010-07-14 03:30:45] 535*2^841409-1 is not prime. Res64: 5563D40905772842 Time : 1192.0 sec. user=vaughan [2010-07-14 03:31:14] 543*2^841410-1 is not prime. Res64: F1F96A9EEBF0D215 Time : 1061.0 sec. user=vaughan [2010-07-14 03:33:23] 563*2^841410-1 is not prime. Res64: 8074BC90F6B74EB6 Time : 1029.0 sec. user=vaughan [2010-07-14 03:35:50] 581*2^841410-1 is not prime. Res64: 0AB88F7D5EE893BA Time : 1048.0 sec. user=vaughan [2010-07-14 03:42:39] 465*2^841411-1 is not prime. Res64: 1BFC6713080AECAD Time : 1044.0 sec. user=vaughan [2010-07-14 03:44:43] 567*2^841412-1 is not prime. Res64: ECCA16FAA4C17269 Time : 993.0 sec. user=vaughan [2010-07-14 03:45:17] 435*2^841412-1 is not prime. Res64: 1CABB797622EB24E Time : 1039.0 sec. user=vaughan [2010-07-14 03:46:48] 469*2^841411-1 is not prime. Res64: CCF911782EB882B6 Time : 1239.0 sec. user=vaughan [2010-07-14 03:46:59] 535*2^841411-1 is not prime. Res64: 8E10064AF2B85FEB Time : 1242.0 sec. user=vaughan [2010-07-14 03:47:38] 579*2^841412-1 is not prime. Res64: 31941F750D71719A Time : 1143.0 sec. user=vaughan [2010-07-14 03:48:54] 591*2^841413-1 is not prime. Res64: 9B39E3BE5A12DD35 Time : 1060.0 sec. user=vaughan [2010-07-14 03:50:27] 597*2^841413-1 is not prime. Res64: FA268AE3FD628459 Time : 1024.0 sec. user=vaughan [2010-07-14 03:51:23] 507*2^841413-1 is not prime. Res64: C67FC1ADE9069B93 Time : 1238.0 sec. user=vaughan [2010-07-14 03:53:17] 425*2^841414-1 is not prime. Res64: 6EF45A2E6AC7783D Time : 1047.0 sec. user=vaughan [2010-07-14 04:00:02] 453*2^841414-1 is not prime. Res64: D271DD6ACAD73AFF Time : 1044.0 sec. user=vaughan [2010-07-14 04:01:12] 455*2^841414-1 is not prime. Res64: 39926152D968C729 Time : 989.0 sec. user=vaughan [2010-07-14 04:02:36] 461*2^841414-1 is not prime. Res64: 054CF8CFF886D355 Time : 1040.0 sec. user=vaughan [2010-07-14 04:07:00] 525*2^841416-1 is not prime. Res64: FC5D4A064C4CBC75 Time : 1162.0 sec. user=vaughan [2010-07-14 04:07:30] 465*2^841414-1 is not prime. Res64: 094933EDED987E58 Time : 1242.0 sec. user=vaughan [2010-07-14 04:07:30] 505*2^841417-1 is not prime. Res64: 7FBA248710069B42 Time : 1023.0 sec. user=vaughan [2010-07-14 04:07:52] 551*2^841414-1 is not prime. Res64: 781C08DBF63CF613 Time : 1253.0 sec. user=vaughan [2010-07-14 04:09:09] 495*2^841417-1 is not prime. Res64: EEC288414E6A3FAC Time : 1215.0 sec. user=vaughan [2010-07-14 04:12:18] 507*2^841417-1 is not prime. Res64: 3580FDE346492D91 Time : 1255.0 sec. user=vaughan [2010-07-14 04:13:08] 549*2^841417-1 is not prime. Res64: 1AF5B4A867F6F05C Time : 1191.0 sec. user=vaughan [2010-07-14 04:17:13] 565*2^841417-1 is not prime. Res64: E153987D048E4067 Time : 1031.0 sec. user=vaughan [2010-07-14 04:17:36] 425*2^841418-1 is not prime. Res64: FC023AD121704FC3 Time : 984.0 sec. user=vaughan [2010-07-14 04:19:42] 461*2^841418-1 is not prime. Res64: C91A9AF23357F2A7 Time : 1027.0 sec. user=vaughan [2010-07-14 04:24:33] 513*2^841419-1 is not prime. Res64: 40FB500045EB89CC Time : 1023.0 sec. user=vaughan [2010-07-14 04:26:23] 483*2^841418-1 is not prime. Res64: 68954778A342D5AD Time : 1163.0 sec. user=vaughan [2010-07-14 04:26:52] 423*2^841420-1 is not prime. Res64: C813A3946CFB556A Time : 1063.0 sec. user=vaughan [2010-07-14 04:28:14] 501*2^841419-1 is not prime. Res64: D7145B470CCB561C Time : 1245.0 sec. user=vaughan [2010-07-14 04:28:38] 543*2^841419-1 is not prime. Res64: 37603FC0306F6966 Time : 1247.0 sec. user=vaughan [2010-07-14 04:30:34] 569*2^841420-1 is not prime. Res64: 446C322149B6228D Time : 1046.0 sec. user=vaughan [2010-07-14 04:33:04] 483*2^841420-1 is not prime. Res64: 2752A416E1837589 Time : 1246.0 sec. user=vaughan [2010-07-14 04:33:59] 511*2^841421-1 is not prime. Res64: 230A9A0641AD4D62 Time : 983.0 sec. user=vaughan [2010-07-14 04:34:19] 597*2^841420-1 is not prime. Res64: AE02E6C82B328923 Time : 1026.0 sec. user=vaughan [2010-07-14 04:36:44] 405*2^841422-1 is not prime. Res64: 711E7C706875FE32 Time : 1023.0 sec. user=vaughan [2010-07-14 04:41:34] 417*2^841422-1 is not prime. Res64: 6B83BEF1A70C5E71 Time : 1022.0 sec. user=vaughan [2010-07-14 04:44:34] 521*2^841422-1 is not prime. Res64: 811FA936E8DF7616 Time : 1063.0 sec. user=vaughan [2010-07-14 04:45:28] 455*2^841422-1 is not prime. Res64: CA4AF9E4A1AAB0A3 Time : 1145.0 sec. user=vaughan [2010-07-14 04:47:58] 563*2^841422-1 is not prime. Res64: F3CEAD42F099DEEB Time : 1044.0 sec. user=vaughan [2010-07-14 04:48:50] 543*2^841422-1 is not prime. Res64: ADB5E92933E0FDEC Time : 1236.0 sec. user=vaughan [2010-07-14 04:49:22] 551*2^841422-1 is not prime. Res64: 31CA005E4C9E0CD0 Time : 1244.0 sec. user=vaughan [2010-07-14 04:50:23] 511*2^841423-1 is not prime. Res64: AE62CC42F77BEAE8 Time : 984.0 sec. user=vaughan [2010-07-14 04:51:28] 519*2^841423-1 is not prime. Res64: 1EC52897589F2C93 Time : 1029.0 sec. user=vaughan [2010-07-14 04:53:44] 489*2^841423-1 is not prime. Res64: 09DD0B76B526552A Time : 1240.0 sec. user=vaughan [2010-07-14 04:53:50] 437*2^841424-1 is not prime. Res64: C804905A0B6F39E6 Time : 1026.0 sec. user=vaughan [2010-07-14 04:58:39] 465*2^841424-1 is not prime. Res64: 24086CB50B62CD4D Time : 1025.0 sec. user=vaughan [2010-07-14 05:04:29] 507*2^841424-1 is not prime. Res64: 363A510EA5D81100 Time : 1142.0 sec. user=vaughan [2010-07-14 05:06:47] 409*2^841425-1 is not prime. Res64: EE1682575F18FC9A Time : 984.0 sec. user=vaughan [2010-07-14 05:08:34] 427*2^841425-1 is not prime. Res64: D889636E5B537364 Time : 1027.0 sec. user=vaughan [2010-07-14 05:09:30] 539*2^841424-1 is not prime. Res64: E816F56A57275D14 Time : 1240.0 sec. user=vaughan [2010-07-14 05:10:03] 543*2^841424-1 is not prime. Res64: C95A878FAFCF14A6 Time : 1241.0 sec. user=vaughan [2010-07-14 05:10:56] 507*2^841425-1 is not prime. Res64: 3BA7EF476F4CDC34 Time : 1026.0 sec. user=vaughan [2010-07-14 05:14:29] 459*2^841425-1 is not prime. Res64: E8C2B040728B2A7D Time : 1245.0 sec. user=vaughan [2010-07-14 05:15:47] 453*2^841426-1 is not prime. Res64: 365DFA8FE69783F9 Time : 1028.0 sec. user=vaughan [2010-07-14 05:23:14] 521*2^841426-1 is not prime. Res64: 0F944EA7243116F0 Time : 987.0 sec. user=vaughan [2010-07-14 05:23:35] 471*2^841426-1 is not prime. Res64: AB1B74981E090990 Time : 1146.0 sec. user=vaughan [2010-07-14 05:25:46] 527*2^841426-1 is not prime. Res64: 99D29D3D90437B4E Time : 1032.0 sec. user=vaughan [2010-07-14 05:28:03] 595*2^841427-1 is not prime. Res64: CB7277F945F1F9BE Time : 1028.0 sec. user=vaughan [2010-07-14 05:29:45] 531*2^841426-1 is not prime. Res64: 71E59B5B397A7E66 Time : 1215.0 sec. user=vaughan [2010-07-14 05:30:39] 479*2^841424-1 is not prime. Res64: AC22C45DA0AB27BF Time : 2765.0 sec. user=vaughan [2010-07-14 05:30:47] 435*2^841427-1 is not prime. Res64: 4B2FFA126956FAC1 Time : 1245.0 sec. user=vaughan [2010-07-14 05:32:50] 485*2^841428-1 is not prime. Res64: 4DCA29EAC3C65DDA Time : 1023.0 sec. user=vaughan [2010-07-14 05:33:36] 519*2^841424-1 is not prime. Res64: 3940D8D0C78AA9FB Time : 2738.0 sec. user=vaughan [2010-07-14 05:35:15] 473*2^841428-1 is not prime. Res64: 9C18185E8E20A299 Time : 1246.0 sec. user=vaughan [2010-07-14 05:39:36] 527*2^841428-1 is not prime. Res64: 7B901734B64CEC48 Time : 982.0 sec. user=vaughan [2010-07-14 05:42:32] 569*2^841428-1 is not prime. Res64: 577DDEF3119C5C2D Time : 1138.0 sec. user=vaughan [2010-07-14 05:42:51] 597*2^841428-1 is not prime. Res64: 32D70EE26F612DB0 Time : 1025.0 sec. user=vaughan [2010-07-14 05:45:05] 435*2^841429-1 is not prime. Res64: 509F1297B00C7B46 Time : 1023.0 sec. user=vaughan [2010-07-14 05:48:24] 507*2^841429-1 is not prime. Res64: 9116C31B374AA0FC Time : 1065.0 sec. user=vaughan [2010-07-14 05:49:52] 483*2^841430-1 is not prime. Res64: 7BA29C1FFB437535 Time : 1022.0 sec. user=vaughan [2010-07-14 05:49:58] 457*2^841429-1 is not prime. Res64: 953318F78222AF95 Time : 1213.0 sec. user=vaughan [2010-07-14 05:51:05] 525*2^841430-1 is not prime. Res64: B7FE35698E7992AB Time : 1050.0 sec. user=vaughan [2010-07-14 05:51:30] 511*2^841429-1 is not prime. Res64: E906DC8F64FFA248 Time : 1243.0 sec. user=vaughan [2010-07-14 05:55:58] 483*2^841431-1 is not prime. Res64: 0D251124135E41E0 Time : 983.0 sec. user=vaughan [2010-07-14 05:55:58] 557*2^841430-1 is not prime. Res64: 011E41A90CF32143 Time : 1243.0 sec. user=vaughan [2010-07-14 05:59:55] 549*2^841431-1 is not prime. Res64: 55A25AB5CE37BDBA Time : 1025.0 sec. user=vaughan [2010-07-14 06:01:29] 531*2^841431-1 is not prime. Res64: D2FE7A9A693A0788 Time : 1137.0 sec. user=vaughan [2010-07-14 06:02:09] 555*2^841431-1 is not prime. Res64: 7437B8B6DCD0192A Time : 1024.0 sec. user=vaughan [2010-07-14 06:06:12] 559*2^841431-1 is not prime. Res64: 41DDF2B5B2321EB8 Time : 1068.0 sec. user=vaughan [2010-07-14 06:06:53] 571*2^841431-1 is not prime. Res64: 798738441657A1B0 Time : 1022.0 sec. user=vaughan [2010-07-14 06:08:38] 447*2^841432-1 is not prime. Res64: D841E0D4314D5B45 Time : 1053.0 sec. user=vaughan [2010-07-14 06:10:09] 585*2^841431-1 is not prime. Res64: 5845934DAA66E875 Time : 1211.0 sec. user=vaughan [2010-07-14 06:12:13] 569*2^841432-1 is not prime. Res64: 76CB0CCBDD28D8E9 Time : 1244.0 sec. user=vaughan [2010-07-14 06:12:20] 573*2^841432-1 is not prime. Res64: C3F2585C3B780171 Time : 983.0 sec. user=vaughan [2010-07-14 06:16:39] 405*2^841433-1 is not prime. Res64: 4F0C886E4C0DC6A8 Time : 1241.0 sec. user=vaughan [2010-07-14 06:17:00] 489*2^841433-1 is not prime. Res64: 9F93CD8B29DE9EB1 Time : 1025.0 sec. user=vaughan [2010-07-14 06:19:11] 529*2^841433-1 is not prime. Res64: 3129DA3D9A495387 Time : 1023.0 sec. user=vaughan [2010-07-14 06:20:26] 517*2^841433-1 is not prime. Res64: BCADE07846E15D65 Time : 1138.0 sec. user=vaughan [2010-07-14 06:23:53] 465*2^841434-1 is not prime. Res64: 9BBBA085A7018CF3 Time : 1020.0 sec. user=vaughan [2010-07-14 06:23:56] 565*2^841433-1 is not prime. Res64: 80A6FB7874C41C6B Time : 1064.0 sec. user=vaughan [2010-07-14 06:26:06] 513*2^841434-1 is not prime. Res64: A6200788FE806D60 Time : 1049.0 sec. user=vaughan [2010-07-14 06:28:42] 441*2^841435-1 is not prime. Res64: EC5178C217A74C51 Time : 982.0 sec. user=vaughan [2010-07-14 06:30:19] 521*2^841434-1 is not prime. Res64: 5ACF746A49B3F8BC Time : 1210.0 sec. user=vaughan [2010-07-14 06:32:58] 405*2^841435-1 is not prime. Res64: 9D96080B6809B2D8 Time : 1245.0 sec. user=vaughan [2010-07-14 06:34:04] 493*2^841435-1 is not prime. Res64: 065280AFE78ACC82 Time : 1025.0 sec. user=vaughan [2010-07-14 06:36:14] 553*2^841435-1 is not prime. Res64: 3EBA5CD299A30A29 Time : 1023.0 sec. user=vaughan [2010-07-14 06:37:21] 489*2^841435-1 is not prime. Res64: B8DC24825A8BAB7B Time : 1242.0 sec. user=vaughan [2010-07-14 06:39:21] 555*2^841435-1 is not prime. Res64: 290D226191F80C19 Time : 1135.0 sec. user=vaughan [2010-07-14 06:40:58] 479*2^841436-1 is not prime. Res64: DDFE9C1D731C4CE1 Time : 1025.0 sec. user=vaughan [2010-07-14 06:41:44] 563*2^841436-1 is not prime. Res64: 5685DC4213D6CFB9 Time : 1069.0 sec. user=vaughan [2010-07-14 06:43:36] 451*2^841437-1 is not prime. Res64: 2E63E80178FB430A Time : 1050.0 sec. user=vaughan [2010-07-14 06:45:04] 499*2^841437-1 is not prime. Res64: 67E69204989C1CDF Time : 982.0 sec. user=vaughan [2010-07-14 06:50:32] 579*2^841437-1 is not prime. Res64: 254885134DD454C6 Time : 1213.0 sec. user=vaughan [2010-07-14 06:51:09] 405*2^841438-1 is not prime. Res64: 927C083AF5593C12 Time : 1025.0 sec. user=vaughan [2010-07-14 06:53:17] 453*2^841438-1 is not prime. Res64: 14C26879908FE87F Time : 1024.0 sec. user=vaughan [2010-07-14 06:53:38] 401*2^841438-1 is not prime. Res64: 72C321B440362DA0 Time : 1240.0 sec. user=vaughan [2010-07-14 06:58:00] 411*2^841439-1 is not prime. Res64: 3D868FDB2DDE2772 Time : 1023.0 sec. user=vaughan [2010-07-14 06:58:04] 483*2^841438-1 is not prime. Res64: D77CF749098D276E Time : 1243.0 sec. user=vaughan [2010-07-14 06:58:18] 591*2^841438-1 is not prime. Res64: 8313377FBFA7F9C4 Time : 1137.0 sec. user=vaughan [2010-07-14 06:59:36] 435*2^841439-1 is not prime. Res64: 8337EFBA25394CFF Time : 1072.0 sec. user=vaughan [2010-07-14 07:01:05] 445*2^841439-1 is not prime. Res64: D6926D51F9D99C86 Time : 1049.0 sec. user=vaughan [2010-07-14 07:01:28] 505*2^841439-1 is not prime. Res64: 0CA85475CECD187B Time : 984.0 sec. user=vaughan [2010-07-14 07:08:13] 413*2^841440-1 is not prime. Res64: 858B68FCC5E0F785 Time : 1025.0 sec. user=vaughan [2010-07-14 07:10:20] 447*2^841440-1 is not prime. Res64: 1305B644D62F36C3 Time : 1023.0 sec. user=vaughan [2010-07-14 07:10:41] 531*2^841439-1 is not prime. Res64: 3E8DD0FD6A295691 Time : 1210.0 sec. user=vaughan [2010-07-14 07:14:21] 509*2^841440-1 is not prime. Res64: AF4D96A016676555 Time : 1243.0 sec. user=vaughan [2010-07-14 07:15:03] 525*2^841440-1 is not prime. Res64: 4D7CF39B0D6EA75E Time : 1023.0 sec. user=vaughan [2010-07-14 07:17:15] 405*2^841441-1 is not prime. Res64: B433CECD536664F3 Time : 1137.0 sec. user=vaughan [2010-07-14 07:17:27] 415*2^841441-1 is not prime. Res64: 6F84D44F20ED0DC4 Time : 1072.0 sec. user=vaughan [2010-07-14 07:17:50] 505*2^841441-1 is not prime. Res64: 3BF8BE14892BBAC2 Time : 983.0 sec. user=vaughan [2010-07-14 07:18:45] 597*2^841440-1 is not prime. Res64: 0F31CD1597690E48 Time : 1241.0 sec. user=vaughan [2010-07-14 07:18:51] 471*2^841441-1 is not prime. Res64: 75C5BD48A32FF58E Time : 1067.0 sec. user=vaughan [2010-07-14 07:25:19] 517*2^841441-1 is not prime. Res64: 8F5DBF19A0C40008 Time : 1026.0 sec. user=vaughan [2010-07-14 07:27:22] 501*2^841442-1 is not prime. Res64: 776743047AA61720 Time : 1023.0 sec. user=vaughan [2010-07-14 07:30:59] 561*2^841442-1 is not prime. Res64: 342184C8A5FEA06B Time : 1219.0 sec. user=vaughan [2010-07-14 07:32:05] 429*2^841443-1 is not prime. Res64: 9B27B18FFF2E86C8 Time : 1022.0 sec. user=vaughan [2010-07-14 07:34:13] 465*2^841443-1 is not prime. Res64: F72CDD06AE43DB85 Time : 983.0 sec. user=vaughan [2010-07-14 07:35:07] 415*2^841443-1 is not prime. Res64: 23827A5EFB39AC68 Time : 1247.0 sec. user=vaughan [2010-07-14 07:35:18] 439*2^841443-1 is not prime. Res64: 3A5DBD594A072349 Time : 1071.0 sec. user=vaughan [2010-07-14 07:36:34] 433*2^841443-1 is not prime. Res64: 5E0ECD93F397387B Time : 1159.0 sec. user=vaughan [2010-07-14 07:36:40] 423*2^841444-1 is not prime. Res64: 5C4A5BCF8DC751CD Time : 1070.0 sec. user=vaughan [2010-07-14 07:39:29] 553*2^841443-1 is not prime. Res64: 6B68A65CDBEAC26E Time : 1244.0 sec. user=vaughan [2010-07-14 07:42:24] 533*2^841444-1 is not prime. Res64: 0344C36E43BA14F7 Time : 1025.0 sec. user=vaughan [2010-07-14 07:44:26] 569*2^841444-1 is not prime. Res64: 5E1F1D0E8F6109D2 Time : 1024.0 sec. user=vaughan [2010-07-14 07:49:07] 487*2^841445-1 is not prime. Res64: 0B7CB881CA04070D Time : 1022.0 sec. user=vaughan [2010-07-14 07:50:38] 519*2^841445-1 is not prime. Res64: 819DA07A6C7C5559 Time : 986.0 sec. user=vaughan [2010-07-14 07:51:12] 447*2^841445-1 is not prime. Res64: A20A4186D90283EF Time : 1214.0 sec. user=vaughan [2010-07-14 07:53:15] 567*2^841445-1 is not prime. Res64: 14DC925731E78977 Time : 1078.0 sec. user=vaughan [2010-07-14 07:54:07] 503*2^841446-1 is not prime. Res64: 578174A97E2D3D0F Time : 1047.0 sec. user=vaughan [2010-07-14 07:55:32] 405*2^841446-1 is not prime. Res64: 59A1985FB7EB17AE Time : 1138.0 sec. user=vaughan [2010-07-14 07:55:49] 525*2^841445-1 is not prime. Res64: 26E39334A4D969FC Time : 1243.0 sec. user=vaughan [2010-07-14 07:59:40] 451*2^841447-1 is not prime. Res64: 21793B25832784D4 Time : 1036.0 sec. user=vaughan [2010-07-14 08:00:09] 515*2^841446-1 is not prime. Res64: 2B14E7E3975A037D Time : 1241.0 sec. user=vaughan [2010-07-14 08:01:38] 435*2^841448-1 is not prime. Res64: 6F73E4B0DA21AD46 Time : 1033.0 sec. user=vaughan [2010-07-14 08:06:21] 465*2^841448-1 is not prime. Res64: 3944665415ED4667 Time : 1034.0 sec. user=vaughan [2010-07-14 08:07:57] 479*2^841448-1 is not prime. Res64: C2A8BA3C102BC248 Time : 1039.0 sec. user=vaughan [2010-07-14 08:10:58] 539*2^841448-1 is not prime. Res64: AECF5EAF2A65101C Time : 1063.0 sec. user=vaughan [2010-07-14 08:11:21] 533*2^841448-1 is not prime. Res64: 8672E0E3158B3964 Time : 1209.0 sec. user=vaughan [2010-07-14 08:11:32] 441*2^841449-1 is not prime. Res64: E4310B91F6A24D68 Time : 1045.0 sec. user=vaughan [2010-07-14 08:14:30] 465*2^841449-1 is not prime. Res64: 3702F5CCEA9BD37E Time : 1138.0 sec. user=vaughan [2010-07-14 08:16:31] 501*2^841449-1 is not prime. Res64: 31D7675633F5F8E4 Time : 1242.0 sec. user=vaughan [2010-07-14 08:16:55] 549*2^841449-1 is not prime. Res64: 4F4C66F664E5E06B Time : 1035.0 sec. user=vaughan [2010-07-14 08:18:47] 575*2^841450-1 is not prime. Res64: 6E4C8A4E88924465 Time : 1030.0 sec. user=vaughan [2010-07-14 08:20:54] 525*2^841450-1 is not prime. Res64: 4D6545C70BC65572 Time : 1246.0 sec. user=vaughan [2010-07-14 08:23:28] 587*2^841450-1 is not prime. Res64: DBF20A6FC47542BE Time : 1027.0 sec. user=vaughan [2010-07-14 08:26:10] 519*2^841451-1 is not prime. Res64: B5F98D534E0D53F4 Time : 1093.0 sec. user=vaughan [2010-07-14 08:28:43] 531*2^841451-1 is not prime. Res64: 9B60167AEE2C9B00 Time : 1065.0 sec. user=vaughan [2010-07-14 08:28:54] 571*2^841451-1 is not prime. Res64: 1E10C5973BB7B2E4 Time : 1043.0 sec. user=vaughan [2010-07-14 08:31:37] 549*2^841451-1 is not prime. Res64: A868CFFF8884E64F Time : 1216.0 sec. user=vaughan [2010-07-14 08:33:28] 455*2^841452-1 is not prime. Res64: A1C45DF3190299BF Time : 1138.0 sec. user=vaughan [2010-07-14 08:34:11] 569*2^841452-1 is not prime. Res64: 40E921FEB6285A73 Time : 1036.0 sec. user=vaughan [2010-07-14 08:36:02] 587*2^841452-1 is not prime. Res64: F971031B403F0F7B Time : 1035.0 sec. user=vaughan [2010-07-14 08:37:15] 563*2^841452-1 is not prime. Res64: E3CEE369A15F9F2F Time : 1244.0 sec. user=vaughan [2010-07-14 08:40:35] 429*2^841453-1 is not prime. Res64: D80879B8EC45560A Time : 1027.0 sec. user=vaughan [2010-07-14 08:41:35] 593*2^841452-1 is not prime. Res64: 63D339D019876F7D Time : 1241.0 sec. user=vaughan [2010-07-14 08:44:27] 453*2^841454-1 is not prime. Res64: 79AAF9E7241FD722 Time : 1097.0 sec. user=vaughan [2010-07-14 08:46:21] 503*2^841454-1 is not prime. Res64: E958AF7976E03D0B Time : 1058.0 sec. user=vaughan [2010-07-14 08:46:21] 557*2^841454-1 is not prime. Res64: 0A257C701DFA7FDB Time : 1047.0 sec. user=vaughan [2010-07-14 08:51:19] 579*2^841455-1 is not prime. Res64: 59CD6EC91A3C39F7 Time : 1029.0 sec. user=vaughan [2010-07-14 08:51:45] 567*2^841454-1 is not prime. Res64: 175F625C9BC9CDB1 Time : 1209.0 sec. user=vaughan [2010-07-14 08:52:31] 481*2^841455-1 is not prime. Res64: 83AD26D4B63CDB39 Time : 1144.0 sec. user=vaughan [2010-07-14 08:53:10] 583*2^841455-1 is not prime. Res64: EE8D2F2D90864969 Time : 1028.0 sec. user=vaughan [2010-07-14 08:57:34] 455*2^841456-1 is not prime. Res64: 9558349843D792E3 Time : 1219.0 sec. user=vaughan [2010-07-14 08:57:43] 525*2^841456-1 is not prime. Res64: A8D0CECE5519C70D Time : 1028.0 sec. user=vaughan [2010-07-14 09:01:38] 575*2^841456-1 is not prime. Res64: 0F84BEE54C83F29C Time : 1203.0 sec. user=vaughan [2010-07-14 09:02:36] 439*2^841457-1 is not prime. Res64: BAFD466042099DBE Time : 1090.0 sec. user=vaughan [2010-07-14 09:07:12] 431*2^841458-1 is not prime. Res64: CC8885265D64D6D1 Time : 1251.0 sec. user=vaughan [2010-07-14 09:07:46] 571*2^841457-1 is not prime. Res64: 0E170BDAFF7EC132 Time : 1285.0 sec. user=vaughan [2010-07-14 09:08:20] 483*2^841458-1 is not prime. Res64: C50BCC9DB882A96D Time : 1021.0 sec. user=vaughan [2010-07-14 09:10:10] 507*2^841458-1 is not prime. Res64: 9AE792CC97C20066 Time : 1020.0 sec. user=vaughan [2010-07-14 09:11:09] 495*2^841458-1 is not prime. Res64: CD111FB4AAFBAF14 Time : 1165.0 sec. user=vaughan [2010-07-14 09:11:20] 503*2^841458-1 is not prime. Res64: E40BF6FFE7C83C7C Time : 1130.0 sec. user=vaughan [2010-07-14 09:14:48] 413*2^841460-1 is not prime. Res64: B04FC59F4A78B181 Time : 1025.0 sec. user=vaughan [2010-07-14 09:17:10] 471*2^841459-1 is not prime. Res64: E2C7F2322F3E4019 Time : 1177.0 sec. user=vaughan [2010-07-14 09:20:45] 479*2^841460-1 is not prime. Res64: 687DC568C747A5E1 Time : 1089.0 sec. user=vaughan [2010-07-14 09:21:17] 467*2^841460-1 is not prime. Res64: 690E502108DB84A7 Time : 1179.0 sec. user=vaughan [2010-07-14 09:24:39] 503*2^841460-1 is not prime. Res64: 205FDF6812DFB3C7 Time : 1047.0 sec. user=vaughan [2010-07-14 09:25:20] 545*2^841460-1 is not prime. Res64: 968DBBD87A3A33DC Time : 1020.0 sec. user=vaughan [2010-07-14 09:25:26] 537*2^841460-1 is not prime. Res64: FD0192B729CBF18D Time : 1060.0 sec. user=vaughan [2010-07-14 09:27:09] 557*2^841460-1 is not prime. Res64: 73BB787AACA7D10F Time : 1020.0 sec. user=vaughan [2010-07-14 09:30:18] 417*2^841461-1 is not prime. Res64: 9C42F352E778B08C Time : 1139.0 sec. user=vaughan [2010-07-14 09:30:32] 563*2^841460-1 is not prime. Res64: CD6136CCC873C7E5 Time : 1163.0 sec. user=vaughan [2010-07-14 09:36:41] 487*2^841461-1 is not prime. Res64: 0B3EA8657A27F83A Time : 1172.0 sec. user=vaughan [2010-07-14 09:39:18] 439*2^841461-1 is not prime. Res64: 65CC2AA6563169AF Time : 1470.0 sec. user=vaughan [2010-07-14 09:40:54] 579*2^841461-1 is not prime. Res64: 1B9E1D50A0F6F0F1 Time : 1177.0 sec. user=vaughan [2010-07-14 09:42:08] 401*2^841462-1 is not prime. Res64: C0860BB98462FC8C Time : 1049.0 sec. user=vaughan [2010-07-14 09:43:05] 483*2^841462-1 is not prime. Res64: 94B803A0D2D61D21 Time : 1059.0 sec. user=vaughan [2010-07-14 09:45:42] 549*2^841461-1 is not prime. Res64: AFDA7C371BD615A6 Time : 1498.0 sec. user=vaughan [2010-07-14 09:50:20] 461*2^841462-1 is not prime. Res64: F3A20BBB552585FE Time : 1500.0 sec. user=vaughan [2010-07-14 09:52:11] 491*2^841462-1 is not prime. Res64: 2262829AD171B358 Time : 1503.0 sec. user=vaughan [2010-07-14 09:55:55] 503*2^841462-1 is not prime. Res64: 6F9D27F1D640C513 Time : 1538.0 sec. user=vaughan [2010-07-14 09:56:09] 591*2^841462-1 is not prime. Res64: 61FF487CFD53B024 Time : 1011.0 sec. user=vaughan [2010-07-14 09:56:23] 521*2^841462-1 is not prime. Res64: D9EE702426D14E97 Time : 1551.0 sec. user=vaughan [2010-07-14 09:59:36] 505*2^841463-1 is not prime. Res64: 68A36F13401158B0 Time : 1048.0 sec. user=vaughan [2010-07-14 10:00:45] 511*2^841463-1 is not prime. Res64: 90CC08F45C83DC40 Time : 1060.0 sec. user=vaughan [2010-07-14 10:02:15] 581*2^841462-1 is not prime. Res64: 9D0FE5B1DEE51F90 Time : 1534.0 sec. user=vaughan [2010-07-14 10:02:17] 519*2^841463-1 is not prime. Res64: 8067218B4DA141CC Time : 995.0 sec. user=vaughan [2010-07-14 10:08:38] 455*2^841464-1 is not prime. Res64: 8C76BE0802008BAE Time : 1098.0 sec. user=vaughan [2010-07-14 10:08:41] 445*2^841463-1 is not prime. Res64: BF44B620A4AE6246 Time : 1667.0 sec. user=vaughan [2010-07-14 10:10:01] 465*2^841464-1 is not prime. Res64: 007F820A9B93A194 Time : 1071.0 sec. user=vaughan [2010-07-14 10:13:16] 557*2^841464-1 is not prime. Res64: DD35BE2D15C39AE0 Time : 1027.0 sec. user=vaughan [2010-07-14 10:14:46] 429*2^841465-1 is not prime. Res64: DB63DC75A0393CFD Time : 1103.0 sec. user=vaughan [2010-07-14 10:14:48] 543*2^841464-1 is not prime. Res64: 0C2AE389DA61B40E Time : 1133.0 sec. user=vaughan [2010-07-14 10:17:05] 457*2^841465-1 is not prime. Res64: 71EBBAE2B41FE03E Time : 1049.0 sec. user=vaughan [2010-07-14 10:18:23] 471*2^841465-1 is not prime. Res64: 28743E8383C11E20 Time : 1059.0 sec. user=vaughan [2010-07-14 10:18:40] 481*2^841465-1 is not prime. Res64: EC472C710BBAA1F7 Time : 983.0 sec. user=vaughan [2010-07-14 10:20:48] 477*2^841465-1 is not prime. Res64: D09239F1B4E3A8F7 Time : 1113.0 sec. user=vaughan [2010-07-14 10:26:28] 507*2^841465-1 is not prime. Res64: EAEDAFA8F6482A55 Time : 1070.0 sec. user=vaughan [2010-07-14 10:27:23] 541*2^841465-1 is not prime. Res64: 6C3FBCD772D041D6 Time : 1042.0 sec. user=vaughan [2010-07-14 10:29:58] 425*2^841466-1 is not prime. Res64: 6155F323C99FE71C Time : 1003.0 sec. user=vaughan [2010-07-14 10:30:13] 525*2^841465-1 is not prime. Res64: 3F09D9CFA7803202 Time : 1293.0 sec. user=vaughan [2010-07-14 10:32:40] 431*2^841466-1 is not prime. Res64: 9D85A680F6BF93A2 Time : 1075.0 sec. user=vaughan [2010-07-14 10:33:28] 507*2^841466-1 is not prime. Res64: E57BB22541DDDC44 Time : 1121.0 sec. user=vaughan [2010-07-14 10:34:27] 545*2^841466-1 is not prime. Res64: 78BFCE961E3C55F2 Time : 1043.0 sec. user=vaughan [2010-07-14 10:34:59] 585*2^841466-1 is not prime. Res64: D80E45A018DB3C54 Time : 979.0 sec. user=vaughan [2010-07-14 10:36:07] 563*2^841466-1 is not prime. Res64: 23B516D4E64962FF Time : 1064.0 sec. user=vaughan [2010-07-14 10:38:58] 433*2^841467-1 is not prime. Res64: 0D88671CC56DDB90 Time : 1090.0 sec. user=vaughan [2010-07-14 10:44:16] 571*2^841467-1 is not prime. Res64: 571157A603622D4D Time : 1069.0 sec. user=vaughan [2010-07-14 10:44:40] 579*2^841467-1 is not prime. Res64: F3C0969DDEBC7538 Time : 1038.0 sec. user=vaughan [2010-07-14 10:46:37] 583*2^841467-1 is not prime. Res64: B37C2797BE905B2B Time : 999.0 sec. user=vaughan [2010-07-14 10:50:33] 513*2^841468-1 is not prime. Res64: 98AC8646E5F7DA68 Time : 1073.0 sec. user=vaughan [2010-07-14 10:51:18] 417*2^841469-1 is not prime. Res64: 355E0B679DAB7774 Time : 979.0 sec. user=vaughan [2010-07-14 10:51:39] 483*2^841468-1 is not prime. Res64: 6A33EE8B50BE888D Time : 1286.0 sec. user=vaughan [2010-07-14 10:51:47] 537*2^841468-1 is not prime. Res64: FAF7EA95402A50CD Time : 1041.0 sec. user=vaughan [2010-07-14 10:52:08] 527*2^841468-1 is not prime. Res64: BC6B0ED646E7A10A Time : 1121.0 sec. user=vaughan [2010-07-14 10:53:51] 447*2^841469-1 is not prime. Res64: A2F9EA58869FD11D Time : 1065.0 sec. user=vaughan [2010-07-14 10:57:05] 567*2^841469-1 is not prime. Res64: C66FCDE3AE95C519 Time : 1088.0 sec. user=vaughan [2010-07-14 11:02:00] 443*2^841470-1 is not prime. Res64: 476A1B9B877E0107 Time : 1040.0 sec. user=vaughan [2010-07-14 11:02:03] 571*2^841469-1 is not prime. Res64: DD9915B7D051C02C Time : 1067.0 sec. user=vaughan [2010-07-14 11:03:17] 471*2^841470-1 is not prime. Res64: 0C9CCAB58A3E10E2 Time : 1000.0 sec. user=vaughan [2010-07-14 11:07:36] 423*2^841471-1 is not prime. Res64: EF2A8980C450E39C Time : 978.0 sec. user=vaughan [2010-07-14 11:08:20] 483*2^841470-1 is not prime. Res64: E706E224A2712225 Time : 1067.0 sec. user=vaughan [2010-07-14 11:09:08] 453*2^841471-1 is not prime. Res64: 528DEA24D1F98308 Time : 1041.0 sec. user=vaughan [2010-07-14 11:10:42] 531*2^841471-1 is not prime. Res64: 1AB12A7C0602D175 Time : 1114.0 sec. user=vaughan [2010-07-14 11:11:36] 555*2^841471-1 is not prime. Res64: D1F243E90CC5A0D4 Time : 1065.0 sec. user=vaughan [2010-07-14 11:12:48] 451*2^841471-1 is not prime. Res64: 1B165D6F0B6645F9 Time : 1269.0 sec. user=vaughan [2010-07-14 11:15:10] 507*2^841472-1 is not prime. Res64: 6A3C4A25939F0A70 Time : 1085.0 sec. user=vaughan [2010-07-14 11:19:20] 427*2^841473-1 is not prime. Res64: AC50EAF7C728CBFA Time : 1040.0 sec. user=vaughan [2010-07-14 11:19:50] 495*2^841473-1 is not prime. Res64: A089391CC913E5FC Time : 1067.0 sec. user=vaughan [2010-07-14 11:19:59] 501*2^841473-1 is not prime. Res64: 644CF62A35BAA628 Time : 1002.0 sec. user=vaughan [2010-07-14 11:24:03] 517*2^841473-1 is not prime. Res64: 49E49807421EE84E Time : 987.0 sec. user=vaughan [2010-07-14 11:26:06] 595*2^841473-1 is not prime. Res64: 4579A67B349A38A9 Time : 1066.0 sec. user=vaughan [2010-07-14 11:26:31] 477*2^841474-1 is not prime. Res64: 4653F02008491E46 Time : 1043.0 sec. user=vaughan [2010-07-14 11:29:16] 513*2^841474-1 is not prime. Res64: FC05BB5997E7F9DB Time : 1114.0 sec. user=vaughan [2010-07-14 11:29:23] 593*2^841474-1 is not prime. Res64: 5FBB1AC5B4A949A5 Time : 1068.0 sec. user=vaughan [2010-07-14 11:33:12] 515*2^841476-1 is not prime. Res64: D48DE32453F58F3D Time : 1083.0 sec. user=vaughan [2010-07-14 11:34:02] 531*2^841475-1 is not prime. Res64: 6C6E47682892D1B2 Time : 1274.0 sec. user=vaughan [2010-07-14 11:36:42] 527*2^841476-1 is not prime. Res64: C3F7EFCD07CEB972 Time : 1042.0 sec. user=vaughan [2010-07-14 11:36:49] 421*2^841477-1 is not prime. Res64: 45BA66DACB8FA1D2 Time : 1011.0 sec. user=vaughan [2010-07-14 11:37:32] 585*2^841476-1 is not prime. Res64: 2B0718F47989E958 Time : 1062.0 sec. user=vaughan [2010-07-14 11:40:48] 441*2^841477-1 is not prime. Res64: 74C5A55BB5A051B0 Time : 1006.0 sec. user=vaughan [2010-07-14 11:43:50] 465*2^841477-1 is not prime. Res64: 64C2CCCC3ED5874B Time : 1064.0 sec. user=vaughan [2010-07-14 11:43:59] 489*2^841477-1 is not prime. Res64: E28076E2D0113E86 Time : 1048.0 sec. user=vaughan [2010-07-14 11:47:08] 561*2^841477-1 is not prime. Res64: 6D574EE9E15318FB Time : 1066.0 sec. user=vaughan [2010-07-14 11:47:48] 537*2^841477-1 is not prime. Res64: 16643E77AF5096E4 Time : 1112.0 sec. user=vaughan [2010-07-14 11:51:16] 437*2^841478-1 is not prime. Res64: 55AB1916D7DE444B Time : 1084.0 sec. user=vaughan [2010-07-14 11:53:43] 545*2^841478-1 is not prime. Res64: 61844DFF85B35562 Time : 1014.0 sec. user=vaughan [2010-07-14 11:54:05] 483*2^841478-1 is not prime. Res64: 52C56C65711FFB73 Time : 1044.0 sec. user=vaughan [2010-07-14 11:55:13] 473*2^841478-1 is not prime. Res64: 5FA87C564BDD02A2 Time : 1272.0 sec. user=vaughan [2010-07-14 11:55:19] 411*2^841479-1 is not prime. Res64: 175FA5AD067E3BBC Time : 1068.0 sec. user=vaughan [2010-07-14 11:57:34] 439*2^841479-1 is not prime. Res64: 7B7E111C84F11175 Time : 1006.0 sec. user=vaughan [2010-07-14 12:01:30] 451*2^841479-1 is not prime. Res64: C03330E4B41163BA Time : 1051.0 sec. user=vaughan [2010-07-14 12:01:36] 441*2^841479-1 is not prime. Res64: 694765139E9B6B2F Time : 1066.0 sec. user=vaughan [2010-07-14 12:04:52] 501*2^841479-1 is not prime. Res64: C8B03B283949C66D Time : 1064.0 sec. user=vaughan [2010-07-14 12:06:20] 565*2^841479-1 is not prime. Res64: 4BC8BC90007FD66B Time : 1112.0 sec. user=vaughan [2010-07-14 12:09:18] 437*2^841480-1 is not prime. Res64: 6EDEEEE4F1423916 Time : 1082.0 sec. user=vaughan [2010-07-14 12:10:38] 453*2^841480-1 is not prime. Res64: 61044E1C4F5AF564 Time : 1016.0 sec. user=vaughan [2010-07-14 12:11:30] 537*2^841480-1 is not prime. Res64: 80B7199A9C8ECFD0 Time : 1045.0 sec. user=vaughan [2010-07-14 12:13:03] 465*2^841481-1 is not prime. Res64: 2D345B140D411B51 Time : 1064.0 sec. user=vaughan [2010-07-14 12:14:21] 561*2^841481-1 is not prime. Res64: 19EFA7D5C7E2377A Time : 1008.0 sec. user=vaughan [2010-07-14 12:16:20] 563*2^841480-1 is not prime. Res64: FD2564A8A150FF1F Time : 1268.0 sec. user=vaughan [2010-07-14 12:19:04] 577*2^841481-1 is not prime. Res64: 81A137693EA458AC Time : 1054.0 sec. user=vaughan [2010-07-14 12:19:19] 501*2^841482-1 is not prime. Res64: A031FA6BA0F6FD8F Time : 1064.0 sec. user=vaughan [2010-07-14 12:23:03] 429*2^841483-1 is not prime. Res64: 8C67B6A4058E36ED Time : 1092.0 sec. user=vaughan [2010-07-14 12:24:52] 463*2^841483-1 is not prime. Res64: 00B8CE88D07E53DD Time : 1112.0 sec. user=vaughan [2010-07-14 12:27:22] 519*2^841483-1 is not prime. Res64: A4C36DF6949B8531 Time : 1084.0 sec. user=vaughan [2010-07-14 12:27:22] 447*2^841484-1 is not prime. Res64: 0C1C1F536E4AB32B Time : 1004.0 sec. user=vaughan [2010-07-14 12:28:49] 473*2^841484-1 is not prime. Res64: 5A496B6ED6E085FD Time : 1039.0 sec. user=vaughan [2010-07-14 12:30:33] 503*2^841484-1 is not prime. Res64: DC8DCB902DC53848 Time : 1050.0 sec. user=vaughan [2010-07-14 12:31:06] 507*2^841484-1 is not prime. Res64: 265D92A8D2388B90 Time : 1005.0 sec. user=vaughan [2010-07-14 12:36:34] 531*2^841485-1 is not prime. Res64: 0685D3E1D269A80D Time : 1050.0 sec. user=vaughan [2010-07-14 12:37:03] 585*2^841485-1 is not prime. Res64: BD58B281D59032BE Time : 1064.0 sec. user=vaughan [2010-07-14 12:37:27] 405*2^841485-1 is not prime. Res64: DAACA010BE2781BB Time : 1268.0 sec. user=vaughan [2010-07-14 12:40:44] 465*2^841486-1 is not prime. Res64: A1855DD6698A59CF Time : 1062.0 sec. user=vaughan [2010-07-14 12:43:22] 477*2^841486-1 is not prime. Res64: 56E0BC3B7596DEE5 Time : 1111.0 sec. user=vaughan [2010-07-14 12:44:03] 593*2^841486-1 is not prime. Res64: 6F7965CFF50AA711 Time : 1001.0 sec. user=vaughan [2010-07-14 12:45:24] 507*2^841486-1 is not prime. Res64: ED85DECB30298640 Time : 1082.0 sec. user=vaughan [2010-07-14 12:46:08] 403*2^841487-1 is not prime. Res64: 4B2C30ED68B5A7B7 Time : 1039.0 sec. user=vaughan [2010-07-14 12:47:50] 509*2^841488-1 is not prime. Res64: 64E858B8260C46DA Time : 1005.0 sec. user=vaughan [2010-07-14 12:48:02] 589*2^841487-1 is not prime. Res64: B380FFAA052439B4 Time : 1049.0 sec. user=vaughan [2010-07-14 12:54:02] 537*2^841488-1 is not prime. Res64: 763272D2C1D25156 Time : 1048.0 sec. user=vaughan [2010-07-14 12:54:51] 557*2^841488-1 is not prime. Res64: F12CE75692E75439 Time : 1068.0 sec. user=vaughan [2010-07-14 12:58:23] 489*2^841489-1 is not prime. Res64: 71A276F66DDC358B Time : 1059.0 sec. user=vaughan [2010-07-14 12:58:32] 439*2^841489-1 is not prime. Res64: 9E48E006807068CE Time : 1266.0 sec. user=vaughan [2010-07-14 13:00:42] 407*2^841490-1 is not prime. Res64: 06F291ECD5FF26E5 Time : 999.0 sec. user=vaughan [2010-07-14 13:01:54] 559*2^841489-1 is not prime. Res64: BD4BE66393C92685 Time : 1112.0 sec. user=vaughan [2010-07-14 13:03:28] 501*2^841490-1 is not prime. Res64: F9C53A07E74A7ED4 Time : 1084.0 sec. user=vaughan [2010-07-14 13:03:29] 531*2^841490-1 is not prime. Res64: 810E8B673C361090 Time : 1041.0 sec. user=vaughan [2010-07-14 13:04:36] 441*2^841491-1 is not prime. Res64: C669CDBEFBFA50B2 Time : 1006.0 sec. user=vaughan [2010-07-14 13:05:31] 413*2^841492-1 is not prime. Res64: FB2816949E5DCD44 Time : 1049.0 sec. user=vaughan [2010-07-14 13:12:37] 489*2^841492-1 is not prime. Res64: E608234543B29512 Time : 1067.0 sec. user=vaughan [2010-07-14 13:17:22] 481*2^841493-1 is not prime. Res64: 995AAC69FBCCBD79 Time : 1000.0 sec. user=vaughan [2010-07-14 13:19:35] 423*2^841492-1 is not prime. Res64: 2A36CF1BB54021BE Time : 1533.0 sec. user=vaughan [2010-07-14 13:19:37] 405*2^841493-1 is not prime. Res64: D4C2DE47DE369949 Time : 1265.0 sec. user=vaughan [2010-07-14 13:20:23] 517*2^841493-1 is not prime. Res64: C6AF8B0A853FF815 Time : 1110.0 sec. user=vaughan [2010-07-14 13:20:49] 567*2^841493-1 is not prime. Res64: B75556E2487DFC52 Time : 1040.0 sec. user=vaughan [2010-07-14 13:21:22] 423*2^841494-1 is not prime. Res64: 1078DBDD5DE88BD2 Time : 1007.0 sec. user=vaughan [2010-07-14 13:21:31] 549*2^841493-1 is not prime. Res64: E8C148F83E490BBF Time : 1083.0 sec. user=vaughan [2010-07-14 13:23:00] 437*2^841494-1 is not prime. Res64: DEB419BFB1F32633 Time : 1050.0 sec. user=vaughan [2010-07-14 13:24:26] 539*2^841492-1 is not prime. Res64: EEA52E5B5FEB9A11 Time : 1564.0 sec. user=vaughan [2010-07-14 13:30:21] 507*2^841494-1 is not prime. Res64: CC96CB87F95C55E5 Time : 1064.0 sec. user=vaughan [2010-07-14 13:34:02] 525*2^841494-1 is not prime. Res64: 7F5C252D184BD7AF Time : 1001.0 sec. user=vaughan [2010-07-14 13:37:04] 587*2^841494-1 is not prime. Res64: 11C2130A43A11BB8 Time : 1049.0 sec. user=vaughan [2010-07-14 13:38:06] 579*2^841495-1 is not prime. Res64: 58D40361F4B813AE Time : 1005.0 sec. user=vaughan [2010-07-14 13:38:09] 475*2^841495-1 is not prime. Res64: 6B391BD20A369C96 Time : 1040.0 sec. user=vaughan [2010-07-14 13:38:52] 465*2^841495-1 is not prime. Res64: 916569D325AC265C Time : 1109.0 sec. user=vaughan [2010-07-14 13:39:32] 515*2^841496-1 is not prime. Res64: 4EA38F3D85C7E50C Time : 1082.0 sec. user=vaughan [2010-07-14 13:40:28] 537*2^841496-1 is not prime. Res64: 9C56B63B3C2CC264 Time : 1048.0 sec. user=vaughan [2010-07-14 13:40:50] 451*2^841495-1 is not prime. Res64: 7D02840E7C8F0559 Time : 1273.0 sec. user=vaughan [2010-07-14 13:42:03] 593*2^841496-1 is not prime. Res64: 30038142BA63848C Time : 1058.0 sec. user=vaughan [2010-07-14 13:48:19] 499*2^841497-1 is not prime. Res64: 27F2FFBA640DACBB Time : 1078.0 sec. user=vaughan [2010-07-14 13:50:45] 517*2^841497-1 is not prime. Res64: 2688B3F4CA48C865 Time : 1003.0 sec. user=vaughan [2010-07-14 13:54:32] 529*2^841497-1 is not prime. Res64: E610BFD52BB2B21E Time : 1048.0 sec. user=vaughan [2010-07-14 13:54:53] 555*2^841497-1 is not prime. Res64: 6875135A32C7D5D4 Time : 1007.0 sec. user=vaughan [2010-07-14 13:55:27] 565*2^841497-1 is not prime. Res64: 5C1BF143074C2C7D Time : 1038.0 sec. user=vaughan [2010-07-14 13:57:34] 585*2^841497-1 is not prime. Res64: 0CBCD45954D46A97 Time : 1122.0 sec. user=vaughan [2010-07-14 13:57:45] 471*2^841498-1 is not prime. Res64: 3CB44AB7708ABCD6 Time : 1093.0 sec. user=vaughan [2010-07-14 13:57:57] 403*2^841499-1 is not prime. Res64: 6236B09FEC95023B Time : 1049.0 sec. user=vaughan [2010-07-14 13:59:43] 465*2^841499-1 is not prime. Res64: 9A231E2D3D4FCB4C Time : 1060.0 sec. user=vaughan [2010-07-14 14:02:06] 433*2^841499-1 is not prime. Res64: 9FD21E43278559FE Time : 1277.0 sec. user=vaughan [2010-07-14 14:06:20] 489*2^841499-1 is not prime. Res64: 11EA7B54DA6095B5 Time : 1081.0 sec. user=vaughan [2010-07-14 14:07:26] 571*2^841499-1 is not prime. Res64: 8D57031DD6D5A3E7 Time : 1002.0 sec. user=vaughan [2010-07-14 14:11:38] 455*2^841500-1 is not prime. Res64: 836C89B727C45841 Time : 1006.0 sec. user=vaughan [2010-07-14 14:12:00] 447*2^841500-1 is not prime. Res64: 7F767637AF743D09 Time : 1048.0 sec. user=vaughan [2010-07-14 14:12:47] 473*2^841500-1 is not prime. Res64: DE0F79250EE1A177 Time : 1040.0 sec. user=vaughan [2010-07-14 14:15:26] 439*2^841501-1 is not prime. Res64: 68EC8D6D56120131 Time : 1049.0 sec. user=vaughan [2010-07-14 14:15:55] 405*2^841501-1 is not prime. Res64: 8070E73F6F8044AC Time : 1090.0 sec. user=vaughan [2010-07-14 14:16:15] 557*2^841500-1 is not prime. Res64: 7D6A7D5FDC7942D1 Time : 1121.0 sec. user=vaughan [2010-07-14 14:17:22] 453*2^841502-1 is not prime. Res64: 744EA117585EFE3C Time : 1060.0 sec. user=vaughan [2010-07-14 14:23:08] 477*2^841502-1 is not prime. Res64: 256387A11B3802EF Time : 1263.0 sec. user=vaughan [2010-07-14 14:24:06] 521*2^841502-1 is not prime. Res64: 8714A99D5DDBBC6D Time : 1067.0 sec. user=vaughan [2010-07-14 14:24:08] 567*2^841502-1 is not prime. Res64: 33CA4C3C3CF097B8 Time : 1002.0 sec. user=vaughan [2010-07-14 14:28:24] 573*2^841502-1 is not prime. Res64: 4F2507C434B93E78 Time : 1006.0 sec. user=vaughan [2010-07-14 14:29:28] 585*2^841502-1 is not prime. Res64: C5BFBC6A7CEBBD3B Time : 1048.0 sec. user=vaughan [2010-07-14 14:30:06] 593*2^841502-1 is not prime. Res64: B004D219384EA991 Time : 1039.0 sec. user=vaughan [2010-07-14 14:32:54] 453*2^841503-1 is not prime. Res64: 796F4A83782A9341 Time : 1049.0 sec. user=vaughan [2010-07-14 14:33:59] 465*2^841503-1 is not prime. Res64: 1D031B149AD4D6D9 Time : 1084.0 sec. user=vaughan [2010-07-14 14:34:47] 489*2^841503-1 is not prime. Res64: 07E0B8BBB1BA6126 Time : 1113.0 sec. user=vaughan [2010-07-14 14:35:00] 493*2^841503-1 is not prime. Res64: 3E8927C830FDCCA7 Time : 1058.0 sec. user=vaughan [2010-07-14 14:40:48] 583*2^841503-1 is not prime. Res64: 961D710120C496E5 Time : 1000.0 sec. user=vaughan [2010-07-14 14:41:48] 571*2^841503-1 is not prime. Res64: 8F91634D0C78D025 Time : 1062.0 sec. user=vaughan [2010-07-14 14:44:16] 565*2^841503-1 is not prime. Res64: 9B0A3E9421281326 Time : 1269.0 sec. user=vaughan [2010-07-14 14:45:08] 407*2^841504-1 is not prime. Res64: 0C1DC1EA9187FF98 Time : 1004.0 sec. user=vaughan [2010-07-14 14:46:53] 413*2^841504-1 is not prime. Res64: 4C5D1B5E792D0E5B Time : 1046.0 sec. user=vaughan [2010-07-14 14:47:27] 465*2^841504-1 is not prime. Res64: 8A033416940FA3A3 Time : 1041.0 sec. user=vaughan [2010-07-14 14:50:24] 527*2^841504-1 is not prime. Res64: 959D0BA5130EB5D5 Time : 1050.0 sec. user=vaughan [2010-07-14 14:52:04] 533*2^841504-1 is not prime. Res64: 0DF19AE659A135EE Time : 1085.0 sec. user=vaughan [2010-07-14 14:52:42] 563*2^841504-1 is not prime. Res64: 12F0FFC2777554FD Time : 1062.0 sec. user=vaughan [2010-07-14 14:53:18] 549*2^841504-1 is not prime. Res64: BEE8BB7225011EBB Time : 1112.0 sec. user=vaughan [2010-07-14 14:57:26] 477*2^841505-1 is not prime. Res64: 8E824DAC20CCCE82 Time : 999.0 sec. user=vaughan [2010-07-14 14:59:32] 495*2^841505-1 is not prime. Res64: 515FD61D8850F1CC Time : 1064.0 sec. user=vaughan [2010-07-14 15:01:54] 417*2^841506-1 is not prime. Res64: C180BF9C26B2F2E7 Time : 1006.0 sec. user=vaughan [2010-07-14 15:04:21] 431*2^841506-1 is not prime. Res64: 17E64ED44C9D6DCD Time : 1048.0 sec. user=vaughan [2010-07-14 15:04:46] 443*2^841506-1 is not prime. Res64: 962FA6B0F67755DE Time : 1040.0 sec. user=vaughan [2010-07-14 15:05:26] 595*2^841505-1 is not prime. Res64: A9FF3E6536133ABE Time : 1270.0 sec. user=vaughan [2010-07-14 15:07:52] 473*2^841506-1 is not prime. Res64: A7CD3E00C7E3E07C Time : 1049.0 sec. user=vaughan [2010-07-14 15:10:07] 593*2^841506-1 is not prime. Res64: 41BD391F7430D5B8 Time : 1083.0 sec. user=vaughan [2010-07-14 15:10:21] 549*2^841507-1 is not prime. Res64: 79DEB5E131C6A824 Time : 1060.0 sec. user=vaughan [2010-07-14 15:11:50] 479*2^841508-1 is not prime. Res64: D628D1E05B3DB6B3 Time : 1112.0 sec. user=vaughan [2010-07-14 15:14:07] 495*2^841508-1 is not prime. Res64: A594739E58D3E226 Time : 1001.0 sec. user=vaughan [2010-07-14 15:17:17] 519*2^841508-1 is not prime. Res64: F5DD02F655334A90 Time : 1065.0 sec. user=vaughan [2010-07-14 15:18:40] 573*2^841508-1 is not prime. Res64: 7B5AB0B946BC7970 Time : 1006.0 sec. user=vaughan [2010-07-14 15:21:44] 579*2^841508-1 is not prime. Res64: 6BAF5BF6A31C6562 Time : 1043.0 sec. user=vaughan [2010-07-14 15:22:05] 585*2^841508-1 is not prime. Res64: B7246E29E40E345D Time : 1040.0 sec. user=vaughan [2010-07-14 15:25:21] 427*2^841509-1 is not prime. Res64: 7F2636172D4AD786 Time : 1050.0 sec. user=vaughan [2010-07-14 15:26:34] 415*2^841509-1 is not prime. Res64: DBEC6061FD16A5E3 Time : 1268.0 sec. user=vaughan [2010-07-14 15:28:06] 465*2^841509-1 is not prime. Res64: 4C28369E990132A5 Time : 1065.0 sec. user=vaughan [2010-07-14 15:28:13] 445*2^841509-1 is not prime. Res64: 36332B99A1A810ED Time : 1086.0 sec. user=vaughan [2010-07-14 15:30:23] 571*2^841509-1 is not prime. Res64: CBE2C4035FA382FC Time : 1113.0 sec. user=vaughan [2010-07-14 15:30:47] 595*2^841509-1 is not prime. Res64: 8E29F671D8158CBB Time : 1000.0 sec. user=vaughan [2010-07-14 15:35:04] 401*2^841510-1 is not prime. Res64: C64D8308B0064775 Time : 1067.0 sec. user=vaughan [2010-07-14 15:35:24] 575*2^841510-1 is not prime. Res64: 29412C57BDA7C83D Time : 1005.0 sec. user=vaughan [2010-07-14 15:39:05] 581*2^841510-1 is not prime. Res64: 33005472C82D31B6 Time : 1042.0 sec. user=vaughan [2010-07-14 15:39:24] 445*2^841511-1 is not prime. Res64: B5A88C45FE484853 Time : 1040.0 sec. user=vaughan [2010-07-14 15:42:49] 463*2^841511-1 is not prime. Res64: A580CFA47B545676 Time : 1048.0 sec. user=vaughan [2010-07-14 15:45:52] 585*2^841511-1 is not prime. Res64: D30280EC36737EAE Time : 1066.0 sec. user=vaughan [2010-07-14 15:46:19] 591*2^841511-1 is not prime. Res64: 57205ECC16FFE31E Time : 1086.0 sec. user=vaughan [2010-07-14 15:47:29] 479*2^841512-1 is not prime. Res64: 18D0DAA2B7279336 Time : 1002.0 sec. user=vaughan [2010-07-14 15:47:46] 579*2^841511-1 is not prime. Res64: B2056D1DCF028E29 Time : 1272.0 sec. user=vaughan [2010-07-14 15:48:56] 455*2^841512-1 is not prime. Res64: 84BFA010A53A200D Time : 1114.0 sec. user=vaughan [2010-07-14 15:52:19] 429*2^841513-1 is not prime. Res64: B0DF7C683ABD5332 Time : 1015.0 sec. user=vaughan [2010-07-14 15:52:49] 411*2^841513-1 is not prime. Res64: F8336A497D57A26A Time : 1065.0 sec. user=vaughan [2010-07-14 15:56:31] 439*2^841513-1 is not prime. Res64: 365FA4AA4502F3BE Time : 1046.0 sec. user=vaughan [2010-07-14 15:56:46] 499*2^841513-1 is not prime. Res64: 65196CD663B18CAB Time : 1042.0 sec. user=vaughan [2010-07-14 16:00:20] 511*2^841513-1 is not prime. Res64: 0E497B88B0AF7AE4 Time : 1051.0 sec. user=vaughan [2010-07-14 16:04:10] 495*2^841514-1 is not prime. Res64: 6573E3A27C4C8634 Time : 1001.0 sec. user=vaughan [2010-07-14 16:04:25] 473*2^841514-1 is not prime. Res64: 88283FB962B3B8B0 Time : 1086.0 sec. user=vaughan [2010-07-14 16:06:21] 425*2^841514-1 is not prime. Res64: 8A22B10B51705DCC Time : 1230.0 sec. user=vaughan [2010-07-14 16:07:26] 489*2^841515-1 is not prime. Res64: 388F72239E4A2B72 Time : 1111.0 sec. user=vaughan [2010-07-14 16:08:51] 593*2^841514-1 is not prime. Res64: 6CB9FD71A8420C11 Time : 1266.0 sec. user=vaughan [2010-07-14 16:09:05] 529*2^841515-1 is not prime. Res64: 519599E038DFCA46 Time : 1006.0 sec. user=vaughan [2010-07-14 16:10:32] 555*2^841515-1 is not prime. Res64: A61554B9F7B6D6E0 Time : 1064.0 sec. user=vaughan [2010-07-14 16:14:05] 453*2^841516-1 is not prime. Res64: D9E879FC54D59C6A Time : 1039.0 sec. user=vaughan [2010-07-14 16:16:49] 443*2^841516-1 is not prime. Res64: B93FC41E1A3B1A2A Time : 1218.0 sec. user=vaughan [2010-07-14 16:17:48] 495*2^841516-1 is not prime. Res64: 352163734071376B Time : 1049.0 sec. user=vaughan [2010-07-14 16:20:50] 563*2^841516-1 is not prime. Res64: 0AD1C2E8680F9D10 Time : 1001.0 sec. user=vaughan [2010-07-14 16:22:27] 507*2^841517-1 is not prime. Res64: 05C177052810E803 Time : 1082.0 sec. user=vaughan [2010-07-14 16:24:03] 519*2^841517-1 is not prime. Res64: 2A53057AD6E7FBF6 Time : 1063.0 sec. user=vaughan [2010-07-14 16:25:49] 401*2^841518-1 is not prime. Res64: 66ED81EFC5F6D826 Time : 1005.0 sec. user=vaughan [2010-07-14 16:25:57] 529*2^841517-1 is not prime. Res64: 13085B6DD56EF33B Time : 1111.0 sec. user=vaughan [2010-07-14 16:28:15] 447*2^841518-1 is not prime. Res64: 3BF92BD8D529D684 Time : 1063.0 sec. user=vaughan [2010-07-14 16:29:57] 537*2^841517-1 is not prime. Res64: 44251576DB13FB91 Time : 1266.0 sec. user=vaughan [2010-07-14 16:31:26] 525*2^841518-1 is not prime. Res64: CDD311242E84B149 Time : 1041.0 sec. user=vaughan [2010-07-14 16:34:14] 551*2^841518-1 is not prime. Res64: CD8DC835087AD612 Time : 1046.0 sec. user=vaughan [2010-07-14 16:35:18] 567*2^841518-1 is not prime. Res64: 5C32626278ECD179 Time : 1050.0 sec. user=vaughan [2010-07-14 16:37:31] 511*2^841519-1 is not prime. Res64: FBF64B682716B94A Time : 1001.0 sec. user=vaughan [2010-07-14 16:40:33] 559*2^841519-1 is not prime. Res64: 881771064AAC7D95 Time : 1086.0 sec. user=vaughan [2010-07-14 16:41:52] 425*2^841520-1 is not prime. Res64: AF0115A4A74BF1E9 Time : 1069.0 sec. user=vaughan [2010-07-14 16:42:34] 447*2^841520-1 is not prime. Res64: CAEC54B113D9A5E0 Time : 1005.0 sec. user=vaughan [2010-07-14 16:44:33] 459*2^841520-1 is not prime. Res64: 0CAB9264077EBB20 Time : 1116.0 sec. user=vaughan [2010-07-14 16:46:01] 445*2^841521-1 is not prime. Res64: ECA9C1711467B177 Time : 1066.0 sec. user=vaughan [2010-07-14 16:48:45] 495*2^841521-1 is not prime. Res64: C06B77CBF32FCAA3 Time : 1040.0 sec. user=vaughan [2010-07-14 16:51:07] 465*2^841521-1 is not prime. Res64: B7570833C6C59642 Time : 1270.0 sec. user=vaughan [2010-07-14 16:51:36] 549*2^841521-1 is not prime. Res64: 31A5224E9ECA1DC3 Time : 1042.0 sec. user=vaughan [2010-07-14 16:52:47] 525*2^841522-1 is not prime. Res64: 4AFA02DF547B4929 Time : 1049.0 sec. user=vaughan [2010-07-14 16:54:10] 545*2^841522-1 is not prime. Res64: 1550D64476005460 Time : 1000.0 sec. user=vaughan [2010-07-14 16:58:40] 567*2^841522-1 is not prime. Res64: 3C4128D49691AAA5 Time : 1088.0 sec. user=vaughan [2010-07-14 16:59:20] 475*2^841523-1 is not prime. Res64: 183B76A38F0A0353 Time : 1007.0 sec. user=vaughan [2010-07-14 16:59:42] 441*2^841523-1 is not prime. Res64: F074F45ED6FA9691 Time : 1070.0 sec. user=vaughan [2010-07-14 17:03:06] 501*2^841523-1 is not prime. Res64: 7129F89E5132A7EF Time : 1113.0 sec. user=vaughan [2010-07-14 17:03:43] 549*2^841523-1 is not prime. Res64: 8A4E0287D046DA15 Time : 1063.0 sec. user=vaughan [2010-07-14 17:06:04] 419*2^841524-1 is not prime. Res64: 7F48D0131D83908E Time : 1040.0 sec. user=vaughan [2010-07-14 17:10:15] 497*2^841524-1 is not prime. Res64: FB8FFC0520E45EE2 Time : 1049.0 sec. user=vaughan [2010-07-14 17:10:50] 539*2^841524-1 is not prime. Res64: 258378B365610F19 Time : 1000.0 sec. user=vaughan [2010-07-14 17:12:17] 425*2^841524-1 is not prime. Res64: F729DC045EC0C276 Time : 1270.0 sec. user=vaughan [2010-07-14 17:16:06] 409*2^841525-1 is not prime. Res64: 8318BE18A7EA4AAC Time : 1006.0 sec. user=vaughan [2010-07-14 17:16:46] 585*2^841524-1 is not prime. Res64: BC6D5172F00A257E Time : 1086.0 sec. user=vaughan [2010-07-14 17:21:27] 425*2^841526-1 is not prime. Res64: 13162FBCCAD03B86 Time : 1064.0 sec. user=vaughan [2010-07-14 17:21:39] 417*2^841526-1 is not prime. Res64: 0F93890856140660 Time : 1113.0 sec. user=vaughan [2010-07-14 17:23:26] 437*2^841526-1 is not prime. Res64: 86BE43D30D205457 Time : 1043.0 sec. user=vaughan [2010-07-14 17:27:30] 563*2^841526-1 is not prime. Res64: 79C0A25FAFE03340 Time : 1001.0 sec. user=vaughan [2010-07-14 17:27:43] 515*2^841526-1 is not prime. Res64: E88ADCE2FA166566 Time : 1049.0 sec. user=vaughan [2010-07-14 17:32:52] 581*2^841526-1 is not prime. Res64: 6602D1E29B114762 Time : 1006.0 sec. user=vaughan [2010-07-14 17:33:31] 575*2^841526-1 is not prime. Res64: 317DDAE57FD9FF7B Time : 1275.0 sec. user=vaughan [2010-07-14 17:34:51] 423*2^841527-1 is not prime. Res64: CC320FA66BBB070C Time : 1085.0 sec. user=vaughan [2010-07-14 17:39:14] 433*2^841527-1 is not prime. Res64: B314E272115FE315 Time : 1067.0 sec. user=vaughan [2010-07-14 17:40:12] 469*2^841527-1 is not prime. Res64: D04E1095B8CD5665 Time : 1114.0 sec. user=vaughan [2010-07-14 17:40:46] 471*2^841527-1 is not prime. Res64: AABA6651896C51F6 Time : 1040.0 sec. user=vaughan [2010-07-14 17:44:09] 489*2^841527-1 is not prime. Res64: C1EDEB990BCFF3EF Time : 1000.0 sec. user=vaughan [2010-07-14 17:45:13] 511*2^841527-1 is not prime. Res64: 45EAAEC2B3B5A4F8 Time : 1050.0 sec. user=vaughan [2010-07-14 17:49:38] 573*2^841527-1 is not prime. Res64: 1708DB9D709B93E4 Time : 1007.0 sec. user=vaughan [2010-07-14 17:52:57] 479*2^841528-1 is not prime. Res64: B4739A61BC4D8AFE Time : 1086.0 sec. user=vaughan [2010-07-14 17:53:05] 453*2^841524-1 is not prime. Res64: 87E95A3D939B6E77 Time : 3689.0 sec. user=vaughan [2010-07-14 17:54:41] 579*2^841527-1 is not prime. Res64: B3A410E2FF35E7B9 Time : 1270.0 sec. user=vaughan [2010-07-14 17:56:59] 507*2^841528-1 is not prime. Res64: 67F26013A76C594C Time : 1066.0 sec. user=vaughan [2010-07-14 17:58:06] 525*2^841528-1 is not prime. Res64: 60898C5A11A575B7 Time : 1040.0 sec. user=vaughan [2010-07-14 17:58:45] 519*2^841528-1 is not prime. Res64: 3A72752A4CB932EC Time : 1114.0 sec. user=vaughan [2010-07-14 18:00:48] 411*2^841529-1 is not prime. Res64: 644B8F480F93C64E Time : 999.0 sec. user=vaughan [2010-07-14 18:02:42] 439*2^841529-1 is not prime. Res64: 522F2BE58EDF76FB Time : 1050.0 sec. user=vaughan [2010-07-14 18:02:44] 565*2^841525-1 is not prime. Res64: A63E056A33F66116 Time : 3782.0 sec. user=vaughan [2010-07-14 18:06:22] 459*2^841529-1 is not prime. Res64: 27B9397867A17D3D Time : 1004.0 sec. user=vaughan [2010-07-14 18:10:47] 507*2^841529-1 is not prime. Res64: 4663D9D4875795EA Time : 1062.0 sec. user=vaughan [2010-07-14 18:11:27] 501*2^841529-1 is not prime. Res64: 28989642C673228F Time : 1111.0 sec. user=vaughan [2010-07-14 18:15:16] 571*2^841529-1 is not prime. Res64: 66D77C1748E81ECA Time : 1097.0 sec. user=vaughan [2010-07-14 18:15:24] 577*2^841529-1 is not prime. Res64: 9CDE326337B10B76 Time : 1038.0 sec. user=vaughan [2010-07-14 18:16:07] 559*2^841529-1 is not prime. Res64: E1CD4D0922EBA0B2 Time : 1286.0 sec. user=vaughan [2010-07-14 18:17:27] 525*2^841530-1 is not prime. Res64: 41178101B76C26F6 Time : 1000.0 sec. user=vaughan [2010-07-14 18:17:30] 483*2^841530-1 is not prime. Res64: 0BE12255A633539A Time : 1125.0 sec. user=vaughan [2010-07-14 18:20:11] 581*2^841530-1 is not prime. Res64: ED6775F5E88B29AE Time : 1049.0 sec. user=vaughan [2010-07-14 18:20:28] 463*2^841531-1 is not prime. Res64: 8CAB26D019FB81B4 Time : 1065.0 sec. user=vaughan [2010-07-14 18:23:07] 499*2^841531-1 is not prime. Res64: D54D758415CF25B6 Time : 1005.0 sec. user=vaughan [2010-07-14 18:28:11] 417*2^841532-1 is not prime. Res64: E9B0BA146F8D7994 Time : 1044.0 sec. user=vaughan [2010-07-14 18:29:35] 435*2^841532-1 is not prime. Res64: 50D87497240BF4C4 Time : 1088.0 sec. user=vaughan [2010-07-14 18:32:45] 455*2^841532-1 is not prime. Res64: B5352EC9B9E3B7C2 Time : 1041.0 sec. user=vaughan [2010-07-14 18:33:01] 437*2^841532-1 is not prime. Res64: 02AC3CDDE7EC1B73 Time : 1065.0 sec. user=vaughan [2010-07-14 18:34:07] 495*2^841532-1 is not prime. Res64: 3747E38EDA6094E4 Time : 1000.0 sec. user=vaughan [2010-07-14 18:36:02] 519*2^841532-1 is not prime. Res64: 0A296B0F8A35F55E Time : 1113.0 sec. user=vaughan [2010-07-14 18:37:17] 483*2^841532-1 is not prime. Res64: 022DFABBBBB45482 Time : 1270.0 sec. user=vaughan [2010-07-14 18:37:43] 545*2^841532-1 is not prime. Res64: 16B130242E41AA71 Time : 1052.0 sec. user=vaughan [2010-07-14 18:38:09] 457*2^841533-1 is not prime. Res64: 4D62E4E7F7CE5F62 Time : 1061.0 sec. user=vaughan [2010-07-14 18:39:52] 459*2^841533-1 is not prime. Res64: CF445828B9EBC38A Time : 1005.0 sec. user=vaughan [2010-07-14 18:45:39] 475*2^841533-1 is not prime. Res64: C2CE8CF4853649C5 Time : 1049.0 sec. user=vaughan [2010-07-14 18:47:41] 481*2^841533-1 is not prime. Res64: C479F126B19A3DBF Time : 1086.0 sec. user=vaughan [2010-07-14 18:50:05] 525*2^841533-1 is not prime. Res64: 1C1A185BDDEFA175 Time : 1041.0 sec. user=vaughan [2010-07-14 18:50:46] 549*2^841533-1 is not prime. Res64: D3C5696AA0DCFD96 Time : 1065.0 sec. user=vaughan [2010-07-14 18:50:46] 565*2^841533-1 is not prime. Res64: F0DBB5C16E79B56A Time : 1000.0 sec. user=vaughan [2010-07-14 18:54:36] 461*2^841534-1 is not prime. Res64: 0872BA478D49D5B1 Time : 1114.0 sec. user=vaughan [2010-07-14 18:55:12] 441*2^841535-1 is not prime. Res64: 302FE850595AC7E2 Time : 1050.0 sec. user=vaughan [2010-07-14 18:55:52] 445*2^841535-1 is not prime. Res64: B97BC24A357690E8 Time : 1063.0 sec. user=vaughan [2010-07-14 18:56:37] 531*2^841535-1 is not prime. Res64: 338F8BAE215A4BE7 Time : 1006.0 sec. user=vaughan [2010-07-14 18:58:29] 483*2^841534-1 is not prime. Res64: B7458A29AEB0DC6D Time : 1273.0 sec. user=vaughan [2010-07-14 19:03:08] 453*2^841536-1 is not prime. Res64: 7355664149BE40BF Time : 1050.0 sec. user=vaughan [2010-07-14 19:05:47] 539*2^841536-1 is not prime. Res64: E7AC05A3A08DFB5E Time : 1086.0 sec. user=vaughan [2010-07-14 19:07:24] 557*2^841536-1 is not prime. Res64: 10B5DCE30096787A Time : 1040.0 sec. user=vaughan [2010-07-14 19:07:26] 405*2^841537-1 is not prime. Res64: C8D32102636160BF Time : 1000.0 sec. user=vaughan [2010-07-14 19:08:35] 563*2^841536-1 is not prime. Res64: 615C14171631762A Time : 1069.0 sec. user=vaughan [2010-07-14 19:12:42] 499*2^841537-1 is not prime. Res64: FB836803B3765B13 Time : 1050.0 sec. user=vaughan [2010-07-14 19:13:03] 489*2^841537-1 is not prime. Res64: ABB50978AED87F16 Time : 1107.0 sec. user=vaughan [2010-07-14 19:13:23] 405*2^841538-1 is not prime. Res64: C0C673C25118BAC9 Time : 1006.0 sec. user=vaughan [2010-07-14 19:17:49] 589*2^841537-1 is not prime. Res64: E8F9D3FAA211CA44 Time : 1318.0 sec. user=vaughan [2010-07-14 19:18:24] 447*2^841538-1 is not prime. Res64: 664E30C92E8A6B71 Time : 1195.0 sec. user=vaughan [2010-07-14 19:23:52] 525*2^841538-1 is not prime. Res64: BD041FE77C8623DF Time : 1085.0 sec. user=vaughan [2010-07-14 19:24:06] 513*2^841539-1 is not prime. Res64: AED402B659141DF2 Time : 1000.0 sec. user=vaughan [2010-07-14 19:24:43] 493*2^841539-1 is not prime. Res64: 675717E9E1E6E211 Time : 1040.0 sec. user=vaughan [2010-07-14 19:24:55] 483*2^841538-1 is not prime. Res64: FEA43869B27D8D84 Time : 1307.0 sec. user=vaughan [2010-07-14 19:30:02] 531*2^841539-1 is not prime. Res64: 9A5C96AC2ADDDD75 Time : 1287.0 sec. user=vaughan [2010-07-14 19:30:09] 495*2^841540-1 is not prime. Res64: A005832D1AF4F41B Time : 1006.0 sec. user=vaughan [2010-07-14 19:30:10] 549*2^841539-1 is not prime. Res64: 5F23980FC7874326 Time : 1049.0 sec. user=vaughan [2010-07-14 19:31:27] 449*2^841540-1 is not prime. Res64: A04E29A29E939E92 Time : 1104.0 sec. user=vaughan [2010-07-14 19:35:32] 513*2^841540-1 is not prime. Res64: F5D5D774595D9D27 Time : 1064.0 sec. user=vaughan [2010-07-14 19:37:22] 537*2^841540-1 is not prime. Res64: 9BA27B0C5485623D Time : 1138.0 sec. user=vaughan [2010-07-14 19:40:45] 439*2^841541-1 is not prime. Res64: 2D5851EC7CCC1EA2 Time : 999.0 sec. user=vaughan [2010-07-14 19:42:00] 417*2^841541-1 is not prime. Res64: 93FF0DC7A2E34F24 Time : 1089.0 sec. user=vaughan [2010-07-14 19:42:02] 489*2^841541-1 is not prime. Res64: 82E992BC556F4B04 Time : 1039.0 sec. user=vaughan [2010-07-14 19:42:25] 519*2^841541-1 is not prime. Res64: CE9A15D604D9721A Time : 1050.0 sec. user=vaughan [2010-07-14 19:46:53] 405*2^841542-1 is not prime. Res64: CCC5E3F272EB230F Time : 1005.0 sec. user=vaughan [2010-07-14 19:47:39] 453*2^841542-1 is not prime. Res64: 339B11B5B070BB82 Time : 1049.0 sec. user=vaughan [2010-07-14 19:49:50] 501*2^841542-1 is not prime. Res64: 059E104552FCC676 Time : 1103.0 sec. user=vaughan [2010-07-14 19:51:25] 525*2^841541-1 is not prime. Res64: 2514FD25387D8276 Time : 1283.0 sec. user=vaughan [2010-07-14 19:53:15] 513*2^841542-1 is not prime. Res64: CFA73599664B035C Time : 1063.0 sec. user=vaughan [2010-07-14 19:56:21] 557*2^841542-1 is not prime. Res64: 5AD9D0A8E5DBF44F Time : 1139.0 sec. user=vaughan [2010-07-14 19:57:26] 593*2^841542-1 is not prime. Res64: 83213B999B21AEDB Time : 1001.0 sec. user=vaughan [2010-07-14 19:59:23] 451*2^841543-1 is not prime. Res64: DF8F352538848BC6 Time : 1041.0 sec. user=vaughan [2010-07-14 19:59:49] 483*2^841543-1 is not prime. Res64: 06A08E9DACD92D93 Time : 1044.0 sec. user=vaughan [2010-07-14 20:00:10] 423*2^841543-1 is not prime. Res64: 44D5119235A7EA25 Time : 1091.0 sec. user=vaughan [2010-07-14 20:03:40] 519*2^841543-1 is not prime. Res64: 9FC5A2FB28E1DCEA Time : 1007.0 sec. user=vaughan [2010-07-14 20:05:06] 525*2^841543-1 is not prime. Res64: EE969AAC418934CE Time : 1047.0 sec. user=vaughan [2010-07-14 20:08:14] 553*2^841543-1 is not prime. Res64: CD405CA8878C9855 Time : 1104.0 sec. user=vaughan [2010-07-14 20:12:47] 559*2^841543-1 is not prime. Res64: E0106A9C8A56C7EA Time : 1283.0 sec. user=vaughan [2010-07-14 20:14:06] 595*2^841543-1 is not prime. Res64: 7D21CE640CC74E9B Time : 1000.0 sec. user=vaughan [2010-07-14 20:15:20] 589*2^841543-1 is not prime. Res64: 7D861604D38B0392 Time : 1140.0 sec. user=vaughan [2010-07-14 20:16:43] 509*2^841544-1 is not prime. Res64: 66AEB0FEC0DA4B15 Time : 1040.0 sec. user=vaughan [2010-07-14 20:18:19] 409*2^841545-1 is not prime. Res64: 4C2BD0D533055315 Time : 1089.0 sec. user=vaughan [2010-07-14 20:20:25] 415*2^841545-1 is not prime. Res64: 8A81B8A85A62DC93 Time : 1006.0 sec. user=vaughan [2010-07-14 20:22:34] 459*2^841545-1 is not prime. Res64: ABB59C712F131C73 Time : 1049.0 sec. user=vaughan [2010-07-14 20:26:37] 529*2^841545-1 is not prime. Res64: 7ABD10139A043D6B Time : 1103.0 sec. user=vaughan [2010-07-14 20:29:57] 561*2^841543-1 is not prime. Res64: 93D256001F257165 Time : 2202.0 sec. user=vaughan [2010-07-14 20:30:46] 483*2^841546-1 is not prime. Res64: 4A219FA2ACE64BA6 Time : 1000.0 sec. user=vaughan [2010-07-14 20:34:03] 551*2^841546-1 is not prime. Res64: 535BA260CD9BF31B Time : 1040.0 sec. user=vaughan [2010-07-14 20:34:07] 413*2^841546-1 is not prime. Res64: EE0C08F698020661 Time : 1280.0 sec. user=vaughan [2010-07-14 20:34:16] 531*2^841546-1 is not prime. Res64: 201EB5FCEBAA87E1 Time : 1136.0 sec. user=vaughan [2010-07-14 20:36:05] 593*2^841544-1 is not prime. Res64: E464EBBB74AB6D84 Time : 2177.0 sec. user=vaughan [2010-07-14 20:36:21] 561*2^841546-1 is not prime. Res64: 49B3197CA0B67438 Time : 1083.0 sec. user=vaughan [2010-07-14 20:37:12] 567*2^841546-1 is not prime. Res64: 4BCFD47C4933F6F7 Time : 1007.0 sec. user=vaughan [2010-07-14 20:40:03] 409*2^841547-1 is not prime. Res64: D1AC42336CCCEF7F Time : 1049.0 sec. user=vaughan [2010-07-14 20:45:01] 439*2^841547-1 is not prime. Res64: 9E7EE26BE7FA5434 Time : 1104.0 sec. user=vaughan [2010-07-14 20:47:25] 465*2^841548-1 is not prime. Res64: 935E29F01A762E38 Time : 1000.0 sec. user=vaughan [2010-07-14 20:47:44] 543*2^841547-1 is not prime. Res64: BACE6EF6D7CAD90A Time : 1067.0 sec. user=vaughan [2010-07-14 20:51:23] 485*2^841548-1 is not prime. Res64: 80782440CC28287C Time : 1041.0 sec. user=vaughan [2010-07-14 20:53:17] 557*2^841548-1 is not prime. Res64: DF848DA7B9D3ED3D Time : 1141.0 sec. user=vaughan [2010-07-14 20:53:32] 567*2^841548-1 is not prime. Res64: C7D2AFD4DA8B621D Time : 1048.0 sec. user=vaughan [2010-07-14 20:53:58] 429*2^841549-1 is not prime. Res64: 02E3027916F75907 Time : 1006.0 sec. user=vaughan [2010-07-14 20:54:28] 597*2^841548-1 is not prime. Res64: 8BA10D4E9752A0B2 Time : 1087.0 sec. user=vaughan [2010-07-14 20:55:33] 549*2^841548-1 is not prime. Res64: 4494B86BD8A66361 Time : 1286.0 sec. user=vaughan [2010-07-14 20:57:18] 457*2^841549-1 is not prime. Res64: A6339D35132274D8 Time : 1035.0 sec. user=vaughan [2010-07-14 21:03:26] 477*2^841549-1 is not prime. Res64: 31FC8AE09C6905AC Time : 1106.0 sec. user=vaughan [2010-07-14 21:03:48] 555*2^841549-1 is not prime. Res64: 114B8B2345234A80 Time : 984.0 sec. user=vaughan [2010-07-14 21:05:30] 409*2^841551-1 is not prime. Res64: E267EB7534D16F4A Time : 1066.0 sec. user=vaughan [2010-07-14 21:08:02] 423*2^841551-1 is not prime. Res64: 086809B989331804 Time : 999.0 sec. user=vaughan [2010-07-14 21:10:14] 579*2^841551-1 is not prime. Res64: DA65E1BEFCD84DB4 Time : 977.0 sec. user=vaughan [2010-07-14 21:11:47] 571*2^841551-1 is not prime. Res64: 7AF9F969C8296A40 Time : 1095.0 sec. user=vaughan [2010-07-14 21:12:14] 489*2^841551-1 is not prime. Res64: 69420468D6646D30 Time : 1137.0 sec. user=vaughan [2010-07-14 21:12:31] 419*2^841552-1 is not prime. Res64: 21307B2981B34864 Time : 1084.0 sec. user=vaughan [2010-07-14 21:13:34] 525*2^841552-1 is not prime. Res64: 9DA7B6ECB5157890 Time : 977.0 sec. user=vaughan [2010-07-14 21:17:01] 467*2^841552-1 is not prime. Res64: 05D496C3B7CF128F Time : 1288.0 sec. user=vaughan [2010-07-14 21:20:00] 569*2^841552-1 is not prime. Res64: D746E1FACE9264F8 Time : 972.0 sec. user=vaughan [2010-07-14 21:21:45] 539*2^841552-1 is not prime. Res64: 94B9AF412C34DCB3 Time : 1099.0 sec. user=vaughan [2010-07-14 21:24:32] 577*2^841553-1 is not prime. Res64: A26D82D85D3453C4 Time : 991.0 sec. user=vaughan [2010-07-14 21:25:23] 571*2^841553-1 is not prime. Res64: D497657BB8B514C8 Time : 1193.0 sec. user=vaughan [2010-07-14 21:26:29] 461*2^841554-1 is not prime. Res64: 48C4BD5FE895C1CD Time : 976.0 sec. user=vaughan [2010-07-14 21:29:50] 595*2^841555-1 is not prime. Res64: 4C59D56F7D337451 Time : 976.0 sec. user=vaughan [2010-07-14 21:30:12] 497*2^841554-1 is not prime. Res64: 83D152B1ACEE85CB Time : 1105.0 sec. user=vaughan [2010-07-14 21:30:36] 583*2^841555-1 is not prime. Res64: 0F3ADE99C6B03321 Time : 1085.0 sec. user=vaughan [2010-07-14 21:31:12] 463*2^841555-1 is not prime. Res64: 36F3F2AFAB31F4F5 Time : 1139.0 sec. user=vaughan [2010-07-14 21:36:13] 465*2^841556-1 is not prime. Res64: 7E192552E7A347C6 Time : 973.0 sec. user=vaughan [2010-07-14 21:38:25] 425*2^841556-1 is not prime. Res64: 803B36123D19EBEF Time : 1284.0 sec. user=vaughan [2010-07-14 21:40:05] 473*2^841556-1 is not prime. Res64: 2D8BB4F37D815CAD Time : 1101.0 sec. user=vaughan [2010-07-14 21:41:01] 477*2^841556-1 is not prime. Res64: 44BC459EFEFA16D9 Time : 989.0 sec. user=vaughan [2010-07-14 21:42:44] 417*2^841557-1 is not prime. Res64: 35A85A31286CE813 Time : 975.0 sec. user=vaughan [2010-07-14 21:44:07] 519*2^841556-1 is not prime. Res64: 0AC4717E476ED247 Time : 1125.0 sec. user=vaughan [2010-07-14 21:46:06] 439*2^841557-1 is not prime. Res64: AFA1ABE8ECF95186 Time : 977.0 sec. user=vaughan [2010-07-14 21:47:43] 441*2^841557-1 is not prime. Res64: CC4A0E843C58A7B0 Time : 1051.0 sec. user=vaughan [2010-07-14 21:48:39] 507*2^841557-1 is not prime. Res64: A146CA39ABCD073B Time : 1084.0 sec. user=vaughan [2010-07-14 21:50:09] 517*2^841557-1 is not prime. Res64: 694A3E187A258C6F Time : 1137.0 sec. user=vaughan [2010-07-14 21:52:26] 565*2^841557-1 is not prime. Res64: F9A6A6B3FC151548 Time : 973.0 sec. user=vaughan [2010-07-14 21:57:31] 423*2^841559-1 is not prime. Res64: BF4FF49CB6816F24 Time : 990.0 sec. user=vaughan [2010-07-14 21:58:26] 495*2^841558-1 is not prime. Res64: F28F9310297CC995 Time : 1101.0 sec. user=vaughan [2010-07-14 21:59:00] 505*2^841559-1 is not prime. Res64: B3EC729496296745 Time : 976.0 sec. user=vaughan [2010-07-14 21:59:49] 577*2^841557-1 is not prime. Res64: 7FFE943C0F4006DF Time : 1285.0 sec. user=vaughan [2010-07-14 22:01:52] 559*2^841559-1 is not prime. Res64: 916A6D618483C2FC Time : 1065.0 sec. user=vaughan [2010-07-14 22:02:21] 595*2^841559-1 is not prime. Res64: ED310A55F3384E4E Time : 975.0 sec. user=vaughan [2010-07-14 22:05:12] 423*2^841560-1 is not prime. Res64: 56DD6D5C90DCEF3F Time : 1050.0 sec. user=vaughan [2010-07-14 22:06:45] 437*2^841560-1 is not prime. Res64: 29DC74590707710A Time : 1086.0 sec. user=vaughan [2010-07-14 22:08:39] 537*2^841560-1 is not prime. Res64: 48388468CA5F1DA7 Time : 974.0 sec. user=vaughan [2010-07-14 22:09:08] 453*2^841560-1 is not prime. Res64: 70AA31C2EF115487 Time : 1140.0 sec. user=vaughan [2010-07-14 22:14:00] 555*2^841560-1 is not prime. Res64: 27E3F1F186520A5A Time : 989.0 sec. user=vaughan [2010-07-14 22:15:15] 439*2^841561-1 is not prime. Res64: 4F7928EEB5826955 Time : 976.0 sec. user=vaughan [2010-07-14 22:16:49] 563*2^841560-1 is not prime. Res64: 165996EEC4E2DB80 Time : 1103.0 sec. user=vaughan [2010-07-14 22:18:37] 565*2^841561-1 is not prime. Res64: 5AA40D9AB5E7E355 Time : 976.0 sec. user=vaughan [2010-07-14 22:19:39] 541*2^841561-1 is not prime. Res64: 6F3569A2B2346553 Time : 1067.0 sec. user=vaughan [2010-07-14 22:21:08] 507*2^841561-1 is not prime. Res64: 6B3C033360A436B4 Time : 1279.0 sec. user=vaughan [2010-07-14 22:23:13] 597*2^841561-1 is not prime. Res64: D073A5B6C7A842B5 Time : 1081.0 sec. user=vaughan [2010-07-14 22:24:51] 515*2^841562-1 is not prime. Res64: 143B4C955D896753 Time : 973.0 sec. user=vaughan [2010-07-14 22:24:51] 423*2^841562-1 is not prime. Res64: 9423F1F19852A1B9 Time : 1087.0 sec. user=vaughan [2010-07-14 22:28:03] 411*2^841563-1 is not prime. Res64: C85CA6C8BF9AB97B Time : 1135.0 sec. user=vaughan [2010-07-14 22:30:30] 471*2^841563-1 is not prime. Res64: 510306536E2DC143 Time : 990.0 sec. user=vaughan [2010-07-14 22:31:30] 495*2^841563-1 is not prime. Res64: 6E7DB232DFEFEF8C Time : 976.0 sec. user=vaughan [2010-07-14 22:34:53] 429*2^841564-1 is not prime. Res64: 6B5BED02B79923BE Time : 976.0 sec. user=vaughan [2010-07-14 22:35:16] 529*2^841563-1 is not prime. Res64: EB36B7E6C63304F2 Time : 1107.0 sec. user=vaughan [2010-07-14 22:37:23] 483*2^841564-1 is not prime. Res64: 90E57AED49472610 Time : 1064.0 sec. user=vaughan [2010-07-14 22:40:47] 525*2^841564-1 is not prime. Res64: DC9CFACD29E0DD7E Time : 1054.0 sec. user=vaughan [2010-07-14 22:41:03] 549*2^841564-1 is not prime. Res64: CC1AD17C53F531A2 Time : 972.0 sec. user=vaughan [2010-07-14 22:42:37] 495*2^841564-1 is not prime. Res64: 51E98B9909A3CFE6 Time : 1289.0 sec. user=vaughan [2010-07-14 22:43:08] 405*2^841565-1 is not prime. Res64: CE476E00B95EAC71 Time : 1097.0 sec. user=vaughan [2010-07-14 22:47:00] 465*2^841565-1 is not prime. Res64: 5D65D0762E6DB355 Time : 990.0 sec. user=vaughan [2010-07-14 22:47:05] 409*2^841565-1 is not prime. Res64: 1768E93DE5FCC618 Time : 1143.0 sec. user=vaughan [2010-07-14 22:47:45] 469*2^841565-1 is not prime. Res64: B1242D03ECEC8C67 Time : 975.0 sec. user=vaughan [2010-07-14 22:51:13] 475*2^841565-1 is not prime. Res64: F09962B0FC0FA454 Time : 980.0 sec. user=vaughan [2010-07-14 22:53:55] 525*2^841565-1 is not prime. Res64: 6B7271C1DA36CC60 Time : 1119.0 sec. user=vaughan [2010-07-14 22:55:09] 529*2^841565-1 is not prime. Res64: A649FE77B2FA01C9 Time : 1067.0 sec. user=vaughan [2010-07-14 22:57:15] 411*2^841566-1 is not prime. Res64: E3B952DEBF9DBE9B Time : 972.0 sec. user=vaughan [2010-07-14 22:58:10] 405*2^841566-1 is not prime. Res64: 30B3FE554F5516D2 Time : 1044.0 sec. user=vaughan [2010-07-14 23:01:26] 525*2^841566-1 is not prime. Res64: C28DCC1651B1AB0F Time : 1099.0 sec. user=vaughan [2010-07-14 23:03:30] 527*2^841566-1 is not prime. Res64: 6E6CE43CB2192C1E Time : 990.0 sec. user=vaughan [2010-07-14 23:04:00] 581*2^841566-1 is not prime. Res64: 9FFBBD0CA7DFAF79 Time : 975.0 sec. user=vaughan [2010-07-14 23:04:05] 485*2^841566-1 is not prime. Res64: 8E126E88B54BEEF6 Time : 1288.0 sec. user=vaughan [2010-07-14 23:06:11] 567*2^841566-1 is not prime. Res64: 72D907DC9748DE36 Time : 1146.0 sec. user=vaughan [2010-07-14 23:07:29] 593*2^841566-1 is not prime. Res64: 8E79C5DB0BFB8C7F Time : 976.0 sec. user=vaughan [2010-07-14 23:12:20] 441*2^841567-1 is not prime. Res64: A3A8413D2D63D5BF Time : 1106.0 sec. user=vaughan [2010-07-14 23:12:50] 523*2^841567-1 is not prime. Res64: 047F5232AFEB5129 Time : 1061.0 sec. user=vaughan [2010-07-14 23:13:28] 413*2^841568-1 is not prime. Res64: 3808C9C1DAD3293B Time : 973.0 sec. user=vaughan [2010-07-14 23:15:38] 539*2^841568-1 is not prime. Res64: 78583C2841F7A3B9 Time : 1048.0 sec. user=vaughan [2010-07-14 23:19:34] 465*2^841569-1 is not prime. Res64: 3C588FC1081E563F Time : 1089.0 sec. user=vaughan [2010-07-14 23:19:59] 499*2^841569-1 is not prime. Res64: 1EC13023DB88345B Time : 990.0 sec. user=vaughan [2010-07-14 23:20:15] 507*2^841569-1 is not prime. Res64: 98329118149EC6F7 Time : 976.0 sec. user=vaughan [2010-07-14 23:23:44] 495*2^841570-1 is not prime. Res64: 1770F2D3F883EC42 Time : 976.0 sec. user=vaughan [2010-07-14 23:25:10] 437*2^841570-1 is not prime. Res64: 68405E274615A505 Time : 1140.0 sec. user=vaughan [2010-07-14 23:25:27] 549*2^841569-1 is not prime. Res64: B8EB6479769E4017 Time : 1282.0 sec. user=vaughan [2010-07-14 23:29:40] 545*2^841570-1 is not prime. Res64: 8ED07D8E460816A7 Time : 973.0 sec. user=vaughan [2010-07-14 23:30:43] 503*2^841570-1 is not prime. Res64: A1624DE1172FCA5C Time : 1103.0 sec. user=vaughan [2010-07-14 23:35:02] 525*2^841570-1 is not prime. Res64: 9D4AB4FE89302505 Time : 1333.0 sec. user=vaughan [2010-07-14 23:36:29] 549*2^841571-1 is not prime. Res64: 0362B5C48BEDE0E0 Time : 975.0 sec. user=vaughan [2010-07-14 23:36:32] 489*2^841571-1 is not prime. Res64: 196A63EAAF29337F Time : 993.0 sec. user=vaughan [2010-07-14 23:36:44] 587*2^841570-1 is not prime. Res64: AEE8E45DC24D59E6 Time : 1266.0 sec. user=vaughan [2010-07-14 23:37:43] 411*2^841571-1 is not prime. Res64: FC070C585836484A Time : 1089.0 sec. user=vaughan [2010-07-14 23:39:59] 405*2^841572-1 is not prime. Res64: 9078F07FD78AFB6E Time : 975.0 sec. user=vaughan [2010-07-14 23:44:02] 453*2^841572-1 is not prime. Res64: 86039E335B722AD9 Time : 1132.0 sec. user=vaughan [2010-07-14 23:45:52] 539*2^841572-1 is not prime. Res64: F9C068DF1E442E08 Time : 972.0 sec. user=vaughan [2010-07-14 23:46:42] 467*2^841572-1 is not prime. Res64: 671E8A7F6FBB882E Time : 1275.0 sec. user=vaughan [2010-07-14 23:49:05] 563*2^841572-1 is not prime. Res64: 16114ED1A222F689 Time : 1103.0 sec. user=vaughan [2010-07-14 23:52:41] 587*2^841572-1 is not prime. Res64: FC24624354A9567D Time : 1060.0 sec. user=vaughan [2010-07-14 23:52:44] 471*2^841573-1 is not prime. Res64: 611E231D1D014B41 Time : 975.0 sec. user=vaughan [2010-07-14 23:53:01] 477*2^841573-1 is not prime. Res64: E1F019B1794C25A6 Time : 992.0 sec. user=vaughan [2010-07-14 23:54:12] 495*2^841573-1 is not prime. Res64: 0B2DCB5E21CCCC4A Time : 1048.0 sec. user=vaughan [2010-07-14 23:55:51] 425*2^841574-1 is not prime. Res64: F11B20F431988B85 Time : 1088.0 sec. user=vaughan [2010-07-14 23:56:15] 433*2^841575-1 is not prime. Res64: 673FD269A63AE233 Time : 976.0 sec.