user=vaughan [2010-07-12 00:05:17] 503*2^841064-1 is not prime. Res64: 6B91E232ECFDA49D Time : 1023.0 sec. user=vaughan [2010-07-12 00:05:27] 469*2^841065-1 is not prime. Res64: B6821EE9F31695BD Time : 982.0 sec. user=vaughan [2010-07-12 00:05:56] 507*2^841064-1 is not prime. Res64: 0A5C3323ECC74581 Time : 1025.0 sec. user=vaughan [2010-07-12 00:06:08] 541*2^841063-1 is not prime. Res64: EDF4109E7FAB995B Time : 1668.0 sec. user=vaughan [2010-07-12 00:08:12] 573*2^841062-1 is not prime. Res64: D60EC561F872F073 Time : 2808.0 sec. user=vaughan [2010-07-12 00:08:38] 471*2^841065-1 is not prime. Res64: C04593D7154CC3CC Time : 1024.0 sec. user=vaughan [2010-07-12 00:21:36] 487*2^841065-1 is not prime. Res64: F25AF262F7697397 Time : 1397.0 sec. user=vaughan [2010-07-12 00:21:47] 579*2^841065-1 is not prime. Res64: 3D64BA622B246D59 Time : 980.0 sec. user=vaughan [2010-07-12 00:22:18] 555*2^841065-1 is not prime. Res64: 42F1CBB58209F24B Time : 1022.0 sec. user=vaughan [2010-07-12 00:23:01] 405*2^841066-1 is not prime. Res64: 913E258A899AC236 Time : 1025.0 sec. user=vaughan [2010-07-12 00:25:43] 567*2^841066-1 is not prime. Res64: D7C33E8611E58AB3 Time : 1025.0 sec. user=vaughan [2010-07-12 00:28:51] 437*2^841064-1 is not prime. Res64: 4D985260850DD002 Time : 2767.0 sec. user=vaughan [2010-07-12 00:34:05] 447*2^841066-1 is not prime. Res64: D84D1D8A5F12E32D Time : 1678.0 sec. user=vaughan [2010-07-12 00:38:09] 489*2^841067-1 is not prime. Res64: 4E4F39DB55A56D81 Time : 982.0 sec. user=vaughan [2010-07-12 00:39:21] 501*2^841067-1 is not prime. Res64: 0D9FEDE5937E40DD Time : 1023.0 sec. user=vaughan [2010-07-12 00:40:05] 511*2^841067-1 is not prime. Res64: 3447934E3676E1DE Time : 1025.0 sec. user=vaughan [2010-07-12 00:42:46] 565*2^841067-1 is not prime. Res64: 36D28439E57C0F0A Time : 1024.0 sec. user=vaughan [2010-07-12 00:44:18] 581*2^841066-1 is not prime. Res64: 6867234D44C833BA Time : 1363.0 sec. user=vaughan [2010-07-12 00:54:28] 481*2^841069-1 is not prime. Res64: A62005203296153D Time : 980.0 sec. user=vaughan [2010-07-12 00:56:24] 525*2^841069-1 is not prime. Res64: FFFFCA8CFDA77096 Time : 1023.0 sec. user=vaughan [2010-07-12 00:56:49] 503*2^841066-1 is not prime. Res64: 2D5FC45B323DB46B Time : 2917.0 sec. user=vaughan [2010-07-12 00:57:09] 495*2^841070-1 is not prime. Res64: 7BC06784D5D5DE4C Time : 1025.0 sec. user=vaughan [2010-07-12 00:59:50] 521*2^841070-1 is not prime. Res64: 413BD7F959DB0E2B Time : 1024.0 sec. user=vaughan [2010-07-12 01:02:12] 507*2^841068-1 is not prime. Res64: 733F29BDD8F3D9B0 Time : 1687.0 sec. user=vaughan [2010-07-12 01:06:59] 525*2^841070-1 is not prime. Res64: 2E2BBB3C2B28CAD3 Time : 1362.0 sec. user=vaughan [2010-07-12 01:10:47] 465*2^841071-1 is not prime. Res64: 5F423A275A7F0B79 Time : 980.0 sec. user=vaughan [2010-07-12 01:13:26] 531*2^841071-1 is not prime. Res64: 0CCBCA3227ED4AA7 Time : 1023.0 sec. user=vaughan [2010-07-12 01:14:15] 413*2^841072-1 is not prime. Res64: 204AFB313BBC6182 Time : 1026.0 sec. user=vaughan [2010-07-12 01:15:11] 429*2^841068-1 is not prime. Res64: ADF81BD3E058997A Time : 2780.0 sec. user=vaughan [2010-07-12 01:16:55] 489*2^841072-1 is not prime. Res64: F9010852647F8115 Time : 1025.0 sec. user=vaughan [2010-07-12 01:27:17] 567*2^841073-1 is not prime. Res64: 60CFEE9369B0E3D8 Time : 991.0 sec. user=vaughan [2010-07-12 01:29:52] 593*2^841072-1 is not prime. Res64: D0CD4B1D3920DB81 Time : 1374.0 sec. user=vaughan [2010-07-12 01:30:31] 401*2^841074-1 is not prime. Res64: 0981FC83AB6277CC Time : 1025.0 sec. user=vaughan [2010-07-12 01:31:17] 483*2^841074-1 is not prime. Res64: 007A99A7DB6621DF Time : 1023.0 sec. user=vaughan [2010-07-12 01:31:26] 549*2^841072-1 is not prime. Res64: 189152E0FD860E74 Time : 1755.0 sec. user=vaughan [2010-07-12 01:34:00] 541*2^841075-1 is not prime. Res64: 0084662D0F88B174 Time : 1025.0 sec. user=vaughan [2010-07-12 01:41:36] 595*2^841071-1 is not prime. Res64: D70DF3CDD41C1BDA Time : 2688.0 sec. user=vaughan [2010-07-12 01:43:50] 413*2^841076-1 is not prime. Res64: 404BDBF0B06E4139 Time : 993.0 sec. user=vaughan [2010-07-12 01:47:35] 539*2^841076-1 is not prime. Res64: ACFB480B58840229 Time : 1024.0 sec. user=vaughan [2010-07-12 01:48:20] 559*2^841077-1 is not prime. Res64: BD09D055FAD48902 Time : 1023.0 sec. user=vaughan [2010-07-12 01:51:06] 567*2^841078-1 is not prime. Res64: CB530028518546EC Time : 1026.0 sec. user=vaughan [2010-07-12 01:53:15] 459*2^841076-1 is not prime. Res64: 12CB87FEFDF82D92 Time : 1403.0 sec. user=vaughan [2010-07-12 02:00:22] 411*2^841079-1 is not prime. Res64: 28F8DF39A42CC1FB Time : 992.0 sec. user=vaughan [2010-07-12 02:01:07] 555*2^841078-1 is not prime. Res64: 3DCFFE45DEEE991B Time : 1782.0 sec. user=vaughan [2010-07-12 02:03:46] 513*2^841074-1 is not prime. Res64: 7353B118FEC3BF7C Time : 2915.0 sec. user=vaughan [2010-07-12 02:04:38] 435*2^841079-1 is not prime. Res64: 9E342E1B3EA767F3 Time : 1024.0 sec. user=vaughan [2010-07-12 02:05:23] 469*2^841079-1 is not prime. Res64: FB1A461EC057C063 Time : 1023.0 sec. user=vaughan [2010-07-12 02:08:10] 481*2^841079-1 is not prime. Res64: 6056CA87C082734B Time : 1024.0 sec. user=vaughan [2010-07-12 02:16:14] 531*2^841079-1 is not prime. Res64: 82C2F624B1B42C22 Time : 1379.0 sec. user=vaughan [2010-07-12 02:16:58] 553*2^841079-1 is not prime. Res64: 17B137C8AE722E4A Time : 996.0 sec. user=vaughan [2010-07-12 02:21:42] 453*2^841080-1 is not prime. Res64: CCC9D6C474906D7F Time : 1024.0 sec. user=vaughan [2010-07-12 02:22:25] 525*2^841080-1 is not prime. Res64: 8623B7945CBA6F13 Time : 1023.0 sec. user=vaughan [2010-07-12 02:24:53] 575*2^841078-1 is not prime. Res64: 0DEBC3804248AAD3 Time : 2597.0 sec. user=vaughan [2010-07-12 02:25:17] 537*2^841080-1 is not prime. Res64: B112E19156526611 Time : 1027.0 sec. user=vaughan [2010-07-12 02:28:38] 589*2^841079-1 is not prime. Res64: 111A96EAAAE037CC Time : 1652.0 sec. user=vaughan [2010-07-12 02:33:31] 415*2^841081-1 is not prime. Res64: 34A5B841AF61DC9C Time : 994.0 sec. user=vaughan [2010-07-12 02:38:25] 597*2^841080-1 is not prime. Res64: EC00190D1FCFD0D5 Time : 1331.0 sec. user=vaughan [2010-07-12 02:38:52] 427*2^841081-1 is not prime. Res64: 2ADF3D9F6BA98C7A Time : 1030.0 sec. user=vaughan [2010-07-12 02:39:39] 471*2^841081-1 is not prime. Res64: 6970714C4FB563A6 Time : 1034.0 sec. user=vaughan [2010-07-12 02:42:33] 505*2^841081-1 is not prime. Res64: 9F4F1FC92A58E9DF Time : 1037.0 sec. user=vaughan [2010-07-12 02:49:58] 565*2^841081-1 is not prime. Res64: B4752FE672A837B3 Time : 988.0 sec. user=vaughan [2010-07-12 02:55:03] 437*2^841080-1 is not prime. Res64: 2CD39C4DE4CC5096 Time : 3077.0 sec. user=vaughan [2010-07-12 02:55:57] 437*2^841082-1 is not prime. Res64: 62585A98043320D7 Time : 1026.0 sec. user=vaughan [2010-07-12 02:57:01] 447*2^841082-1 is not prime. Res64: A491E6E258848F80 Time : 1042.0 sec. user=vaughan [2010-07-12 02:59:13] 537*2^841081-1 is not prime. Res64: F5C1D76559ACD8F9 Time : 1835.0 sec. user=vaughan [2010-07-12 02:59:52] 503*2^841082-1 is not prime. Res64: 26743EBFA030BC93 Time : 1040.0 sec. user=vaughan [2010-07-12 03:00:27] 423*2^841082-1 is not prime. Res64: 2037E44B2F9D4412 Time : 1323.0 sec. user=vaughan [2010-07-12 03:06:20] 481*2^841083-1 is not prime. Res64: 0781A3CB0C8A741C Time : 983.0 sec. user=vaughan [2010-07-12 03:12:37] 477*2^841081-1 is not prime. Res64: 5B22C490A7A7EF4B Time : 2864.0 sec. user=vaughan [2010-07-12 03:13:00] 453*2^841084-1 is not prime. Res64: C8B16F14DBF9F5BA Time : 1023.0 sec. user=vaughan [2010-07-12 03:14:06] 455*2^841084-1 is not prime. Res64: B789AFEE41C62BE0 Time : 1025.0 sec. user=vaughan [2010-07-12 03:16:56] 539*2^841084-1 is not prime. Res64: 76B962F371337EFC Time : 1024.0 sec. user=vaughan [2010-07-12 03:22:40] 459*2^841085-1 is not prime. Res64: 7547728527D3F0CC Time : 980.0 sec. user=vaughan [2010-07-12 03:23:28] 545*2^841084-1 is not prime. Res64: A8FEE1F4382B6EE4 Time : 1382.0 sec. user=vaughan [2010-07-12 03:30:03] 455*2^841086-1 is not prime. Res64: 7208479897ECAC6B Time : 1024.0 sec. user=vaughan [2010-07-12 03:31:11] 501*2^841086-1 is not prime. Res64: 58D8F93F1AC6AB0F Time : 1026.0 sec. user=vaughan [2010-07-12 03:31:12] 513*2^841084-1 is not prime. Res64: 22023F273B03EB9A Time : 1919.0 sec. user=vaughan [2010-07-12 03:34:02] 453*2^841087-1 is not prime. Res64: C27F356709CE1CF9 Time : 1027.0 sec. user=vaughan [2010-07-12 03:39:04] 465*2^841088-1 is not prime. Res64: B4953A8CE37A68E1 Time : 984.0 sec. user=vaughan [2010-07-12 03:43:02] 523*2^841083-1 is not prime. Res64: 73D2FB65F6968C40 Time : 2880.0 sec. user=vaughan [2010-07-12 03:45:30] 507*2^841088-1 is not prime. Res64: 81C0F1CDA76D7D8D Time : 1323.0 sec. user=vaughan [2010-07-12 03:47:10] 599*2^841088-1 is not prime. Res64: FF0E8ACB5A3E2A52 Time : 1027.0 sec. user=vaughan [2010-07-12 03:48:23] 415*2^841089-1 is not prime. Res64: 5DC4CD56A62CF3D2 Time : 1032.0 sec. user=vaughan [2010-07-12 03:51:12] 571*2^841089-1 is not prime. Res64: 045ADECCE560122F Time : 1031.0 sec. user=vaughan [2010-07-12 03:55:26] 545*2^841090-1 is not prime. Res64: F23097F3A33FB5F5 Time : 982.0 sec. user=vaughan [2010-07-12 04:00:03] 525*2^841085-1 is not prime. Res64: ADB8A27A33A554FF Time : 2846.0 sec. user=vaughan [2010-07-12 04:04:14] 505*2^841091-1 is not prime. Res64: FF4D9C477588140F Time : 1024.0 sec. user=vaughan [2010-07-12 04:04:14] 507*2^841089-1 is not prime. Res64: 88D2460B1B1D29CA Time : 1983.0 sec. user=vaughan [2010-07-12 04:05:29] 405*2^841092-1 is not prime. Res64: 24F9D90654887BCD Time : 1026.0 sec. user=vaughan [2010-07-12 04:07:44] 433*2^841091-1 is not prime. Res64: E63F75FE4593B92B Time : 1335.0 sec. user=vaughan [2010-07-12 04:08:17] 513*2^841092-1 is not prime. Res64: 649A8E0C713E95C8 Time : 1026.0 sec. user=vaughan [2010-07-12 04:11:46] 525*2^841092-1 is not prime. Res64: 15AFF1186DA30DFF Time : 980.0 sec. user=vaughan [2010-07-12 04:21:16] 537*2^841092-1 is not prime. Res64: C86A2F8A46B2FCA9 Time : 1023.0 sec. user=vaughan [2010-07-12 04:22:33] 585*2^841092-1 is not prime. Res64: B0A54313FF40CD74 Time : 1024.0 sec. user=vaughan [2010-07-12 04:25:23] 411*2^841093-1 is not prime. Res64: 4F56E83B3B200908 Time : 1026.0 sec. user=vaughan [2010-07-12 04:28:07] 525*2^841093-1 is not prime. Res64: 6FA7C9126623A4D1 Time : 981.0 sec. user=vaughan [2010-07-12 04:29:51] 405*2^841093-1 is not prime. Res64: E511804494D2DB56 Time : 1328.0 sec. user=vaughan [2010-07-12 04:31:19] 597*2^841090-1 is not prime. Res64: 634B6BE779897FFB Time : 2897.0 sec. user=vaughan [2010-07-12 04:37:46] 563*2^841092-1 is not prime. Res64: 4D600210EAC9B341 Time : 2012.0 sec. user=vaughan [2010-07-12 04:38:23] 477*2^841094-1 is not prime. Res64: C164E1CA17B40307 Time : 1027.0 sec. user=vaughan [2010-07-12 04:39:42] 563*2^841094-1 is not prime. Res64: CCB2D9D8C1E694F0 Time : 1029.0 sec. user=vaughan [2010-07-12 04:42:31] 405*2^841095-1 is not prime. Res64: 027EBEC18755D6ED Time : 1028.0 sec. user=vaughan [2010-07-12 04:44:28] 429*2^841095-1 is not prime. Res64: 4C281DD4573A9CFF Time : 981.0 sec. user=vaughan [2010-07-12 04:51:48] 527*2^841092-1 is not prime. Res64: 3823AE25FC17DF22 Time : 3105.0 sec. user=vaughan [2010-07-12 04:52:19] 433*2^841095-1 is not prime. Res64: 096469B97E2FBB17 Time : 1348.0 sec. user=vaughan [2010-07-12 04:55:50] 593*2^841096-1 is not prime. Res64: 24996ED45AB1023D Time : 1047.0 sec. user=vaughan [2010-07-12 04:56:48] 405*2^841097-1 is not prime. Res64: 3A56912844FFF381 Time : 1026.0 sec. user=vaughan [2010-07-12 04:59:37] 421*2^841097-1 is not prime. Res64: 0043145071629E44 Time : 1027.0 sec. user=vaughan [2010-07-12 05:00:50] 447*2^841097-1 is not prime. Res64: 3FC44641F9BB7EE8 Time : 982.0 sec. user=vaughan [2010-07-12 05:12:56] 453*2^841098-1 is not prime. Res64: 34365DA2E715E80B Time : 1027.0 sec. user=vaughan [2010-07-12 05:13:56] 473*2^841098-1 is not prime. Res64: 1AB9DFDB1F10A120 Time : 1028.0 sec. user=vaughan [2010-07-12 05:16:44] 551*2^841098-1 is not prime. Res64: C2174D34D73FED86 Time : 1027.0 sec. user=vaughan [2010-07-12 05:17:11] 555*2^841098-1 is not prime. Res64: 7B62857E0F53A1B6 Time : 981.0 sec. user=vaughan [2010-07-12 05:30:02] 499*2^841099-1 is not prime. Res64: 95B709921B9A5A60 Time : 1026.0 sec. user=vaughan [2010-07-12 05:31:04] 511*2^841099-1 is not prime. Res64: 2F15BD41E0F8F31D Time : 1028.0 sec. user=vaughan [2010-07-12 05:33:32] 437*2^841100-1 is not prime. Res64: FABBB089FACC93EB Time : 981.0 sec. user=vaughan [2010-07-12 05:33:49] 549*2^841099-1 is not prime. Res64: C7693B9E859D09B1 Time : 1025.0 sec. user=vaughan [2010-07-12 05:47:08] 455*2^841100-1 is not prime. Res64: A6CCB1141DCD1BA9 Time : 1026.0 sec. user=vaughan [2010-07-12 05:48:09] 483*2^841100-1 is not prime. Res64: 1859B3A7E37D69A3 Time : 1026.0 sec. user=vaughan [2010-07-12 05:49:53] 557*2^841100-1 is not prime. Res64: AE0C50B8E9E82150 Time : 981.0 sec. user=vaughan [2010-07-12 05:50:55] 585*2^841100-1 is not prime. Res64: 7F0B9988599C56EC Time : 1026.0 sec. user=vaughan [2010-07-12 06:04:14] 599*2^841100-1 is not prime. Res64: 7C71FCBEF3534027 Time : 1027.0 sec. user=vaughan [2010-07-12 06:05:17] 487*2^841101-1 is not prime. Res64: 4234481A80D19802 Time : 1028.0 sec. user=vaughan [2010-07-12 06:06:15] 499*2^841101-1 is not prime. Res64: DEFBAC891BCA89D9 Time : 982.0 sec. user=vaughan [2010-07-12 06:08:02] 565*2^841101-1 is not prime. Res64: 8E400B49AB65ACBB Time : 1027.0 sec. user=vaughan [2010-07-12 06:21:19] 545*2^841102-1 is not prime. Res64: E3C77DB3574C2234 Time : 1025.0 sec. user=vaughan [2010-07-12 06:22:24] 591*2^841102-1 is not prime. Res64: A4FA9A4BD993F40E Time : 1027.0 sec. user=vaughan [2010-07-12 06:22:36] 441*2^841103-1 is not prime. Res64: 4640CD0754F6C0BF Time : 981.0 sec. user=vaughan [2010-07-12 06:25:07] 519*2^841103-1 is not prime. Res64: 5837619649FAA258 Time : 1026.0 sec. user=vaughan [2010-07-12 06:38:23] 525*2^841103-1 is not prime. Res64: FFB18B5908D6B94E Time : 1025.0 sec. user=vaughan [2010-07-12 06:38:58] 585*2^841103-1 is not prime. Res64: 8FE105BF0204FF58 Time : 982.0 sec. user=vaughan [2010-07-12 06:39:32] 571*2^841103-1 is not prime. Res64: 9C17A220D6724712 Time : 1028.0 sec. user=vaughan [2010-07-12 06:42:14] 555*2^841104-1 is not prime. Res64: 9CB51248968A6BD9 Time : 1027.0 sec. user=vaughan [2010-07-12 06:55:26] 471*2^841105-1 is not prime. Res64: DCA093FC29707892 Time : 988.0 sec. user=vaughan [2010-07-12 06:55:50] 465*2^841105-1 is not prime. Res64: B5C41F6B5B5BCBF1 Time : 1047.0 sec. user=vaughan [2010-07-12 06:56:49] 477*2^841105-1 is not prime. Res64: 364FE090FAF915C1 Time : 1037.0 sec. user=vaughan [2010-07-12 06:59:37] 531*2^841105-1 is not prime. Res64: 4218A18D72A65AF1 Time : 1043.0 sec. user=vaughan [2010-07-12 07:11:54] 589*2^841105-1 is not prime. Res64: BE114FC8360BA7F0 Time : 988.0 sec. user=vaughan [2010-07-12 07:13:07] 597*2^841105-1 is not prime. Res64: CB55F8860CEB7829 Time : 1037.0 sec. user=vaughan [2010-07-12 07:14:08] 473*2^841106-1 is not prime. Res64: B0869970C8917ED4 Time : 1039.0 sec. user=vaughan [2010-07-12 07:16:55] 507*2^841106-1 is not prime. Res64: 751CBE5BCC0F1ECB Time : 1038.0 sec. user=vaughan [2010-07-12 07:28:20] 525*2^841106-1 is not prime. Res64: 7CCA1E72E069028E Time : 986.0 sec. user=vaughan [2010-07-12 07:30:24] 563*2^841106-1 is not prime. Res64: B2BA1B8463A4CCD6 Time : 1037.0 sec. user=vaughan [2010-07-12 07:31:21] 587*2^841106-1 is not prime. Res64: 4B6FB18EABDE74F9 Time : 1034.0 sec. user=vaughan [2010-07-12 07:34:08] 405*2^841107-1 is not prime. Res64: BA0BB6CA4C7C5E5D Time : 1034.0 sec. user=vaughan [2010-07-12 07:44:43] 441*2^841107-1 is not prime. Res64: CDAAD439E76E1E39 Time : 983.0 sec. user=vaughan [2010-07-12 07:47:29] 489*2^841107-1 is not prime. Res64: A47316FFA447444A Time : 1026.0 sec. user=vaughan [2010-07-12 07:48:30] 513*2^841107-1 is not prime. Res64: BCC3F878369BC32D Time : 1029.0 sec. user=vaughan [2010-07-12 07:51:16] 529*2^841107-1 is not prime. Res64: EC07DE741AB4A838 Time : 1028.0 sec. user=vaughan [2010-07-12 08:01:06] 531*2^841107-1 is not prime. Res64: F52E101E36FD87CA Time : 983.0 sec. user=vaughan [2010-07-12 08:04:35] 579*2^841107-1 is not prime. Res64: 64DF16EC95E33194 Time : 1026.0 sec. user=vaughan [2010-07-12 08:05:38] 583*2^841107-1 is not prime. Res64: D218C29F6B0F0383 Time : 1028.0 sec. user=vaughan [2010-07-12 08:08:31] 465*2^841108-1 is not prime. Res64: D78461628032E92B Time : 1035.0 sec. user=vaughan [2010-07-12 08:12:26] 447*2^841098-1 is not prime. Res64: EA739E33B25488E2 Time : 12007.0 sec. user=vaughan [2010-07-12 08:12:45] 525*2^841096-1 is not prime. Res64: 1B45BACACE834D8E Time : 12900.0 sec. user=vaughan [2010-07-12 08:13:02] 585*2^841097-1 is not prime. Res64: 2FC6BCCC049C02D6 Time : 12075.0 sec. user=vaughan [2010-07-12 08:13:08] 447*2^841096-1 is not prime. Res64: B26F9A5378CD0748 Time : 13309.0 sec. user=vaughan [2010-07-12 08:17:49] 513*2^841108-1 is not prime. Res64: 72DCA1CC2C743C21 Time : 1004.0 sec. user=vaughan [2010-07-12 08:22:02] 597*2^841108-1 is not prime. Res64: 888F9D67E7C64A32 Time : 1047.0 sec. user=vaughan [2010-07-12 08:23:25] 417*2^841109-1 is not prime. Res64: BABC1C3084306784 Time : 1067.0 sec. user=vaughan [2010-07-12 08:26:01] 441*2^841109-1 is not prime. Res64: 98C8302EEF146D10 Time : 1050.0 sec. user=vaughan [2010-07-12 08:34:14] 537*2^841110-1 is not prime. Res64: 9797BF31D16CFF68 Time : 985.0 sec. user=vaughan [2010-07-12 08:39:06] 421*2^841111-1 is not prime. Res64: AB1D111DDBF57F9F Time : 1024.0 sec. user=vaughan [2010-07-12 08:40:32] 439*2^841111-1 is not prime. Res64: 21F5DE809C21CAF7 Time : 1028.0 sec. user=vaughan [2010-07-12 08:43:04] 489*2^841111-1 is not prime. Res64: 545724B2051D4E1D Time : 1024.0 sec. user=vaughan [2010-07-12 08:43:15] 565*2^841109-1 is not prime. Res64: 327D6E227EA7D424 Time : 1849.0 sec. user=vaughan [2010-07-12 08:46:13] 431*2^841110-1 is not prime. Res64: DE3194535AFD7CC1 Time : 2009.0 sec. user=vaughan [2010-07-12 08:50:37] 493*2^841111-1 is not prime. Res64: 22469CDA7F6C7701 Time : 983.0 sec. user=vaughan [2010-07-12 08:56:08] 525*2^841111-1 is not prime. Res64: CFCD9A52F1D7F79D Time : 1023.0 sec. user=vaughan [2010-07-12 08:57:38] 561*2^841111-1 is not prime. Res64: 15A5C4DED8FA3204 Time : 1027.0 sec. user=vaughan [2010-07-12 08:58:45] 525*2^841110-1 is not prime. Res64: 1D01AAA0DD1435AB Time : 2738.0 sec. user=vaughan [2010-07-12 09:00:09] 413*2^841112-1 is not prime. Res64: EAC166A501EFF31F Time : 1025.0 sec. user=vaughan [2010-07-12 09:00:26] 437*2^841110-1 is not prime. Res64: CBAA6F963BB91BA8 Time : 2844.0 sec. user=vaughan [2010-07-12 09:07:02] 405*2^841113-1 is not prime. Res64: D641DE1E11889F19 Time : 985.0 sec. user=vaughan [2010-07-12 09:13:13] 499*2^841113-1 is not prime. Res64: D1C74E2F8F1ADD5A Time : 1025.0 sec. user=vaughan [2010-07-12 09:13:55] 447*2^841112-1 is not prime. Res64: 42EC72B0808C4F6B Time : 1840.0 sec. user=vaughan [2010-07-12 09:14:48] 511*2^841113-1 is not prime. Res64: 63BEFBDF2BA993DC Time : 1030.0 sec. user=vaughan [2010-07-12 09:17:14] 559*2^841113-1 is not prime. Res64: 706066985B7C8D50 Time : 1025.0 sec. user=vaughan [2010-07-12 09:23:20] 507*2^841112-1 is not prime. Res64: 18A5157E1CE54C85 Time : 2228.0 sec. user=vaughan [2010-07-12 09:23:26] 511*2^841115-1 is not prime. Res64: E6D1CC93D8F42465 Time : 985.0 sec. user=vaughan [2010-07-12 09:30:16] 519*2^841115-1 is not prime. Res64: B45B93F5856A6271 Time : 1023.0 sec. user=vaughan [2010-07-12 09:32:02] 437*2^841116-1 is not prime. Res64: FA383BA8590D116A Time : 1035.0 sec. user=vaughan [2010-07-12 09:34:30] 453*2^841116-1 is not prime. Res64: 586FD22EEC2B157F Time : 1037.0 sec. user=vaughan [2010-07-12 09:39:52] 527*2^841116-1 is not prime. Res64: 08B98485793889EA Time : 986.0 sec. user=vaughan [2010-07-12 09:44:39] 579*2^841115-1 is not prime. Res64: D3D41699739C5DAF Time : 1845.0 sec. user=vaughan [2010-07-12 09:44:51] 421*2^841115-1 is not prime. Res64: E11F39C988B3959E Time : 2665.0 sec. user=vaughan [2010-07-12 09:47:24] 517*2^841113-1 is not prime. Res64: 5F83838168114572 Time : 2919.0 sec. user=vaughan [2010-07-12 09:47:26] 597*2^841116-1 is not prime. Res64: 064E975C2BDACC20 Time : 1030.0 sec. user=vaughan [2010-07-12 09:49:08] 517*2^841117-1 is not prime. Res64: 77A1A568494FA2AC Time : 1027.0 sec. user=vaughan [2010-07-12 09:51:35] 423*2^841118-1 is not prime. Res64: 8E1F6D946FD03926 Time : 1025.0 sec. user=vaughan [2010-07-12 09:56:16] 461*2^841118-1 is not prime. Res64: 71FF69A594F16777 Time : 984.0 sec. user=vaughan [2010-07-12 10:00:02] 479*2^841116-1 is not prime. Res64: 44DB916B81B05794 Time : 2202.0 sec. user=vaughan [2010-07-12 10:04:30] 411*2^841119-1 is not prime. Res64: C2CA304CD1E87C40 Time : 1024.0 sec. user=vaughan [2010-07-12 10:06:14] 423*2^841119-1 is not prime. Res64: 7D7D5857150FB27E Time : 1026.0 sec. user=vaughan [2010-07-12 10:08:39] 433*2^841119-1 is not prime. Res64: 0DC2D53FA0718C91 Time : 1024.0 sec. user=vaughan [2010-07-12 10:12:40] 439*2^841119-1 is not prime. Res64: D2F506297110B88B Time : 984.0 sec. user=vaughan [2010-07-12 10:15:44] 503*2^841118-1 is not prime. Res64: D54FFA3C88F71DC2 Time : 1865.0 sec. user=vaughan [2010-07-12 10:21:32] 481*2^841119-1 is not prime. Res64: E2EE345EFC37425E Time : 1023.0 sec. user=vaughan [2010-07-12 10:23:20] 489*2^841119-1 is not prime. Res64: EFD0220237955AE8 Time : 1026.0 sec. user=vaughan [2010-07-12 10:25:43] 549*2^841119-1 is not prime. Res64: 7CBFFFAA052BC5BB Time : 1024.0 sec. user=vaughan [2010-07-12 10:29:04] 467*2^841120-1 is not prime. Res64: 56E2B2FEC2514E50 Time : 984.0 sec. user=vaughan [2010-07-12 10:30:01] 585*2^841118-1 is not prime. Res64: 97634EE728117770 Time : 2557.0 sec. user=vaughan [2010-07-12 10:32:01] 545*2^841118-1 is not prime. Res64: 350F442384689436 Time : 2831.0 sec. user=vaughan [2010-07-12 10:38:36] 537*2^841120-1 is not prime. Res64: 6E032CD769D37F87 Time : 1024.0 sec. user=vaughan [2010-07-12 10:38:54] 441*2^841119-1 is not prime. Res64: 90FD13B788313673 Time : 2332.0 sec. user=vaughan [2010-07-12 10:40:27] 507*2^841121-1 is not prime. Res64: B350AE90E0FC1246 Time : 1027.0 sec. user=vaughan [2010-07-12 10:42:48] 535*2^841121-1 is not prime. Res64: A6A8FAF36B54AA6E Time : 1026.0 sec. user=vaughan [2010-07-12 10:45:27] 513*2^841122-1 is not prime. Res64: C39CDA1C494F96EF Time : 984.0 sec. user=vaughan [2010-07-12 10:46:52] 527*2^841120-1 is not prime. Res64: 10126113277B2EBC Time : 1868.0 sec. user=vaughan [2010-07-12 10:55:39] 549*2^841123-1 is not prime. Res64: B4B8BF0181205C9C Time : 1024.0 sec. user=vaughan [2010-07-12 10:57:32] 477*2^841124-1 is not prime. Res64: 9C8FFB07460B742D Time : 1025.0 sec. user=vaughan [2010-07-12 10:59:50] 567*2^841124-1 is not prime. Res64: 0D73C706B9FA189E Time : 1023.0 sec. user=vaughan [2010-07-12 11:01:49] 537*2^841125-1 is not prime. Res64: 024557D33DCCD218 Time : 982.0 sec. user=vaughan [2010-07-12 11:12:52] 513*2^841126-1 is not prime. Res64: 0299DA7F311CBDEF Time : 1034.0 sec. user=vaughan [2010-07-12 11:14:46] 545*2^841126-1 is not prime. Res64: 52C46D1BFB9DB720 Time : 1035.0 sec. user=vaughan [2010-07-12 11:15:36] 493*2^841123-1 is not prime. Res64: 4CFCD799A0221560 Time : 2735.0 sec. user=vaughan [2010-07-12 11:16:52] 435*2^841124-1 is not prime. Res64: A079DBAF9970AB3B Time : 2279.0 sec. user=vaughan [2010-07-12 11:17:10] 567*2^841126-1 is not prime. Res64: B4EFD618A69E8974 Time : 1040.0 sec. user=vaughan [2010-07-12 11:18:01] 495*2^841123-1 is not prime. Res64: A017E895D732EA44 Time : 2760.0 sec. user=vaughan [2010-07-12 11:18:15] 595*2^841125-1 is not prime. Res64: DE1393824475B675 Time : 1883.0 sec. user=vaughan [2010-07-12 11:18:33] 575*2^841126-1 is not prime. Res64: 1F01A391C8EDE663 Time : 1004.0 sec. user=vaughan [2010-07-12 11:29:55] 493*2^841127-1 is not prime. Res64: 8005413E61625B1D Time : 1024.0 sec. user=vaughan [2010-07-12 11:32:03] 531*2^841127-1 is not prime. Res64: DFC1E7A2BC06D136 Time : 1038.0 sec. user=vaughan [2010-07-12 11:34:24] 429*2^841129-1 is not prime. Res64: 3E627C4DF2A1E466 Time : 1035.0 sec. user=vaughan [2010-07-12 11:35:06] 447*2^841130-1 is not prime. Res64: 29E45C72FA716E7B Time : 993.0 sec. user=vaughan [2010-07-12 11:46:58] 495*2^841130-1 is not prime. Res64: FE010FE509538A13 Time : 1023.0 sec. user=vaughan [2010-07-12 11:49:10] 537*2^841130-1 is not prime. Res64: 62DD311D52CA962C Time : 1028.0 sec. user=vaughan [2010-07-12 11:50:05] 507*2^841129-1 is not prime. Res64: 7198EDB5E98A6B57 Time : 1910.0 sec. user=vaughan [2010-07-12 11:51:29] 415*2^841131-1 is not prime. Res64: 1DE3BF291AFCEF01 Time : 1026.0 sec. user=vaughan [2010-07-12 11:51:30] 465*2^841131-1 is not prime. Res64: FCA1523F68B2B84A Time : 984.0 sec. user=vaughan [2010-07-12 11:53:49] 585*2^841128-1 is not prime. Res64: A4A7A2EAB3478228 Time : 2217.0 sec. user=vaughan [2010-07-12 11:58:52] 485*2^841128-1 is not prime. Res64: A891BE3A163B6784 Time : 2596.0 sec. user=vaughan [2010-07-12 12:03:58] 535*2^841131-1 is not prime. Res64: D44BA6D0317DEA4E Time : 1021.0 sec. user=vaughan [2010-07-12 12:04:43] 441*2^841129-1 is not prime. Res64: 58E69B420FB90D5A Time : 2802.0 sec. user=vaughan [2010-07-12 12:06:14] 541*2^841131-1 is not prime. Res64: 25877C57E64FE757 Time : 1024.0 sec. user=vaughan [2010-07-12 12:07:52] 497*2^841132-1 is not prime. Res64: 8F859A637A5B1987 Time : 982.0 sec. user=vaughan [2010-07-12 12:08:31] 449*2^841132-1 is not prime. Res64: 80A68FE87167C32D Time : 1022.0 sec. user=vaughan [2010-07-12 12:20:58] 573*2^841132-1 is not prime. Res64: 27F54EB14E74D6E0 Time : 1020.0 sec. user=vaughan [2010-07-12 12:22:16] 595*2^841131-1 is not prime. Res64: C03B646F3C85132C Time : 1932.0 sec. user=vaughan [2010-07-12 12:23:18] 421*2^841133-1 is not prime. Res64: 9CD49F29263CFCA7 Time : 1024.0 sec. user=vaughan [2010-07-12 12:24:14] 435*2^841133-1 is not prime. Res64: 1F1A189F56948306 Time : 983.0 sec. user=vaughan [2010-07-12 12:25:43] 465*2^841133-1 is not prime. Res64: CF823E50DC73C70B Time : 1033.0 sec. user=vaughan [2010-07-12 12:34:08] 545*2^841132-1 is not prime. Res64: B927E879FF032B59 Time : 2419.0 sec. user=vaughan [2010-07-12 12:38:05] 477*2^841133-1 is not prime. Res64: 42E4BF451EBB355D Time : 1027.0 sec. user=vaughan [2010-07-12 12:40:32] 567*2^841133-1 is not prime. Res64: 8D122986247689B2 Time : 1035.0 sec. user=vaughan [2010-07-12 12:40:42] 473*2^841134-1 is not prime. Res64: 8083717A13955E39 Time : 988.0 sec. user=vaughan [2010-07-12 12:42:47] 525*2^841134-1 is not prime. Res64: A109E66B3CD8A237 Time : 1025.0 sec. user=vaughan [2010-07-12 12:43:52] 567*2^841132-1 is not prime. Res64: 1A3367DEC0C8D681 Time : 2701.0 sec. user=vaughan [2010-07-12 12:49:21] 593*2^841132-1 is not prime. Res64: E804F91CCFFEB8F7 Time : 2678.0 sec. user=vaughan [2010-07-12 12:53:50] 481*2^841133-1 is not prime. Res64: CC919A5AE4685D48 Time : 1894.0 sec. user=vaughan [2010-07-12 12:55:05] 405*2^841135-1 is not prime. Res64: 8638A76591750F55 Time : 1020.0 sec. user=vaughan [2010-07-12 12:57:03] 475*2^841135-1 is not prime. Res64: 1D3FF1F87545D5EC Time : 981.0 sec. user=vaughan [2010-07-12 12:57:39] 423*2^841135-1 is not prime. Res64: A0190FE56BF1D3E6 Time : 1027.0 sec. user=vaughan [2010-07-12 12:59:48] 493*2^841135-1 is not prime. Res64: EF58801AE566077B Time : 1022.0 sec. user=vaughan [2010-07-12 13:07:50] 573*2^841134-1 is not prime. Res64: 68844CC52C4B288F Time : 2023.0 sec. user=vaughan [2010-07-12 13:12:07] 539*2^841136-1 is not prime. Res64: E6634C55DE134D31 Time : 1022.0 sec. user=vaughan [2010-07-12 13:13:25] 441*2^841137-1 is not prime. Res64: 4CCE29975FAABCC6 Time : 982.0 sec. user=vaughan [2010-07-12 13:14:44] 465*2^841137-1 is not prime. Res64: A13B1F1B8839C33F Time : 1026.0 sec. user=vaughan [2010-07-12 13:16:51] 471*2^841137-1 is not prime. Res64: 08B1FE73937A3896 Time : 1023.0 sec. user=vaughan [2010-07-12 13:20:52] 525*2^841136-1 is not prime. Res64: D1FA1D2184C7B3FA Time : 1623.0 sec. user=vaughan [2010-07-12 13:24:15] 541*2^841135-1 is not prime. Res64: 62C0CD0020F9F617 Time : 2424.0 sec. user=vaughan [2010-07-12 13:29:10] 453*2^841138-1 is not prime. Res64: 19BFE659D68B951F Time : 1024.0 sec. user=vaughan [2010-07-12 13:29:45] 461*2^841138-1 is not prime. Res64: 26377982C04C7B7D Time : 980.0 sec. user=vaughan [2010-07-12 13:31:49] 497*2^841138-1 is not prime. Res64: 735D97956846F9DA Time : 1025.0 sec. user=vaughan [2010-07-12 13:32:28] 465*2^841136-1 is not prime. Res64: 9DD1DE20266F1558 Time : 2587.0 sec. user=vaughan [2010-07-12 13:33:52] 525*2^841138-1 is not prime. Res64: A559E5EA9E6BABF4 Time : 1021.0 sec. user=vaughan [2010-07-12 13:43:05] 567*2^841138-1 is not prime. Res64: 0D3C7C62FD089CEB Time : 1334.0 sec. user=vaughan [2010-07-12 13:44:24] 413*2^841138-1 is not prime. Res64: 50E23313F724C32B Time : 2194.0 sec. user=vaughan [2010-07-12 13:46:08] 465*2^841139-1 is not prime. Res64: 6EFFB6BD552DF116 Time : 983.0 sec. user=vaughan [2010-07-12 13:46:10] 435*2^841139-1 is not prime. Res64: B6E464E382628699 Time : 1021.0 sec. user=vaughan [2010-07-12 13:48:59] 589*2^841139-1 is not prime. Res64: F937C06BEACDDEE9 Time : 1031.0 sec. user=vaughan [2010-07-12 13:50:56] 465*2^841140-1 is not prime. Res64: 327F4C9E4F386797 Time : 1024.0 sec. user=vaughan [2010-07-12 14:00:21] 411*2^841139-1 is not prime. Res64: 7A6B859B3CBDD36C Time : 2166.0 sec. user=vaughan [2010-07-12 14:02:29] 441*2^841141-1 is not prime. Res64: CAD5AC7B60BAF6EC Time : 982.0 sec. user=vaughan [2010-07-12 14:03:03] 499*2^841141-1 is not prime. Res64: 7B1C30A1FAF3A13F Time : 1013.0 sec. user=vaughan [2010-07-12 14:05:21] 525*2^841140-1 is not prime. Res64: DCB45CABDBBAF607 Time : 1336.0 sec. user=vaughan [2010-07-12 14:06:10] 541*2^841141-1 is not prime. Res64: 70EA4D65D8722F4A Time : 1031.0 sec. user=vaughan [2010-07-12 14:07:58] 577*2^841141-1 is not prime. Res64: 143A76BC3E56DB18 Time : 1022.0 sec. user=vaughan [2010-07-12 14:09:03] 405*2^841140-1 is not prime. Res64: 7F02E6B795D6D5B2 Time : 2195.0 sec. user=vaughan [2010-07-12 14:18:50] 521*2^841142-1 is not prime. Res64: A7263350EFBA3350 Time : 982.0 sec. user=vaughan [2010-07-12 14:19:33] 597*2^841140-1 is not prime. Res64: 1533179B06A55554 Time : 2109.0 sec. user=vaughan [2010-07-12 14:19:56] 573*2^841142-1 is not prime. Res64: A810B8929275D60D Time : 1014.0 sec. user=vaughan [2010-07-12 14:23:21] 423*2^841144-1 is not prime. Res64: 5E44C89C5B734DB3 Time : 1031.0 sec. user=vaughan [2010-07-12 14:24:58] 485*2^841144-1 is not prime. Res64: 938F891D1C6ECFF5 Time : 1020.0 sec. user=vaughan [2010-07-12 14:27:20] 585*2^841143-1 is not prime. Res64: 8F85C6E1681F746B Time : 1320.0 sec. user=vaughan [2010-07-12 14:35:10] 587*2^841144-1 is not prime. Res64: D6A677C8FCC4AF2C Time : 981.0 sec. user=vaughan [2010-07-12 14:36:50] 469*2^841145-1 is not prime. Res64: 074E8A4CFA814549 Time : 1014.0 sec. user=vaughan [2010-07-12 14:38:19] 483*2^841142-1 is not prime. Res64: F5A1E6834865F7B9 Time : 2278.0 sec. user=vaughan [2010-07-12 14:40:32] 475*2^841145-1 is not prime. Res64: 34220E7B5BFB0673 Time : 1032.0 sec. user=vaughan [2010-07-12 14:42:00] 507*2^841145-1 is not prime. Res64: 8A4356027D8BEA56 Time : 1022.0 sec. user=vaughan [2010-07-12 14:48:04] 573*2^841144-1 is not prime. Res64: C6546DE9DBC2EFF6 Time : 2341.0 sec. user=vaughan [2010-07-12 14:49:35] 547*2^841145-1 is not prime. Res64: 8BA2F10A77C3CB6F Time : 1335.0 sec. user=vaughan [2010-07-12 14:51:31] 561*2^841145-1 is not prime. Res64: 0793A89DB5F31057 Time : 982.0 sec. user=vaughan [2010-07-12 14:53:44] 585*2^841145-1 is not prime. Res64: A9ADD5549717D9D3 Time : 1014.0 sec. user=vaughan [2010-07-12 14:55:05] 411*2^841145-1 is not prime. Res64: CE3ACEC51D134AAC Time : 2132.0 sec. user=vaughan [2010-07-12 14:57:42] 473*2^841146-1 is not prime. Res64: 09FD8C00C59F212C Time : 1031.0 sec. user=vaughan [2010-07-12 14:59:02] 521*2^841146-1 is not prime. Res64: 1712E56FF5D41B46 Time : 1022.0 sec. user=vaughan [2010-07-12 15:07:52] 453*2^841147-1 is not prime. Res64: 00A863B20A588129 Time : 982.0 sec. user=vaughan [2010-07-12 15:10:36] 585*2^841146-1 is not prime. Res64: 28BB6B588E03981E Time : 1262.0 sec. user=vaughan [2010-07-12 15:10:39] 519*2^841147-1 is not prime. Res64: 74F93742F702F589 Time : 1015.0 sec. user=vaughan [2010-07-12 15:14:53] 541*2^841147-1 is not prime. Res64: F3586D02FBBC347E Time : 1031.0 sec. user=vaughan [2010-07-12 15:16:04] 583*2^841147-1 is not prime. Res64: 60BD4BE90D5B0489 Time : 1023.0 sec. user=vaughan [2010-07-12 15:17:40] 437*2^841146-1 is not prime. Res64: 8055FBC29E4970F2 Time : 2361.0 sec. user=vaughan [2010-07-12 15:23:51] 551*2^841146-1 is not prime. Res64: AEE118B1506D73E3 Time : 2147.0 sec. user=vaughan [2010-07-12 15:24:24] 589*2^841147-1 is not prime. Res64: DD6CD7BAF7911EE0 Time : 992.0 sec. user=vaughan [2010-07-12 15:25:46] 523*2^841147-1 is not prime. Res64: 203B5AB1AE5EAFB7 Time : 1841.0 sec. user=vaughan [2010-07-12 15:27:42] 479*2^841148-1 is not prime. Res64: A4EF816E77906DF5 Time : 1024.0 sec. user=vaughan [2010-07-12 15:32:13] 489*2^841148-1 is not prime. Res64: 7921666BE5200C84 Time : 1040.0 sec. user=vaughan [2010-07-12 15:33:31] 515*2^841148-1 is not prime. Res64: 24D217D2359FD98C Time : 1047.0 sec. user=vaughan [2010-07-12 15:33:41] 449*2^841148-1 is not prime. Res64: 1FB2B116519D8B54 Time : 1386.0 sec. user=vaughan [2010-07-12 15:41:05] 427*2^841149-1 is not prime. Res64: 95CD56A268FD8A35 Time : 1002.0 sec. user=vaughan [2010-07-12 15:44:40] 549*2^841149-1 is not prime. Res64: A338511DD0770BD3 Time : 1019.0 sec. user=vaughan [2010-07-12 15:49:38] 555*2^841149-1 is not prime. Res64: B3FEA54161F6E383 Time : 1045.0 sec. user=vaughan [2010-07-12 15:50:45] 461*2^841150-1 is not prime. Res64: E0226B8B4081496F Time : 1035.0 sec. user=vaughan [2010-07-12 15:52:48] 537*2^841148-1 is not prime. Res64: 1945D930C4F90805 Time : 2108.0 sec. user=vaughan [2010-07-12 15:56:27] 483*2^841150-1 is not prime. Res64: 4CE237F5A8D15754 Time : 1367.0 sec. user=vaughan [2010-07-12 15:57:35] 513*2^841150-1 is not prime. Res64: AE18C9BF7235CE87 Time : 991.0 sec. user=vaughan [2010-07-12 15:57:42] 563*2^841148-1 is not prime. Res64: F49F1BE0D02F1630 Time : 2031.0 sec. user=vaughan [2010-07-12 15:59:53] 481*2^841149-1 is not prime. Res64: 754F97430F6C805D Time : 2047.0 sec. user=vaughan [2010-07-12 16:01:35] 593*2^841150-1 is not prime. Res64: 0582A19D53FE945F Time : 1015.0 sec. user=vaughan [2010-07-12 16:06:55] 597*2^841150-1 is not prime. Res64: BC5513BAFDF4AE28 Time : 1037.0 sec. user=vaughan [2010-07-12 16:07:48] 423*2^841151-1 is not prime. Res64: 7A0F3E23F9398296 Time : 1023.0 sec. user=vaughan [2010-07-12 16:13:55] 459*2^841152-1 is not prime. Res64: 320AFD218EC0BCA7 Time : 980.0 sec. user=vaughan [2010-07-12 16:18:28] 587*2^841152-1 is not prime. Res64: F31956F2BB4F7E30 Time : 1013.0 sec. user=vaughan [2010-07-12 16:18:55] 595*2^841151-1 is not prime. Res64: 4E4DC465B3ACF164 Time : 1348.0 sec. user=vaughan [2010-07-12 16:21:01] 445*2^841151-1 is not prime. Res64: 4FF781C86811B457 Time : 1694.0 sec. user=vaughan [2010-07-12 16:24:06] 421*2^841153-1 is not prime. Res64: 8F0E01C891928327 Time : 1032.0 sec. user=vaughan [2010-07-12 16:24:16] 485*2^841152-1 is not prime. Res64: 1BE0AFF91CB46771 Time : 1595.0 sec. user=vaughan [2010-07-12 16:24:50] 439*2^841153-1 is not prime. Res64: EA4E30E8C8A6A2A7 Time : 1022.0 sec. user=vaughan [2010-07-12 16:25:58] 527*2^841152-1 is not prime. Res64: 49D82E28E3F60C28 Time : 1566.0 sec. user=vaughan [2010-07-12 16:30:16] 471*2^841153-1 is not prime. Res64: AA59CEE81C27F01E Time : 981.0 sec. user=vaughan [2010-07-12 16:35:21] 477*2^841153-1 is not prime. Res64: 07EE6DDD6853F149 Time : 1013.0 sec. user=vaughan [2010-07-12 16:38:10] 511*2^841153-1 is not prime. Res64: 36477F7D22795B93 Time : 1155.0 sec. user=vaughan [2010-07-12 16:40:23] 517*2^841153-1 is not prime. Res64: 54E8EC10385AD34F Time : 1162.0 sec. user=vaughan [2010-07-12 16:41:17] 501*2^841154-1 is not prime. Res64: 4C93239FDCC6F7F7 Time : 1032.0 sec. user=vaughan [2010-07-12 16:41:52] 475*2^841155-1 is not prime. Res64: 6DD6849A08CA6F3C Time : 1023.0 sec. user=vaughan [2010-07-12 16:43:36] 551*2^841154-1 is not prime. Res64: 42841E34AC2D6872 Time : 1160.0 sec. user=vaughan [2010-07-12 16:44:27] 489*2^841155-1 is not prime. Res64: 023C843B8AE7CB81 Time : 1109.0 sec. user=vaughan [2010-07-12 16:46:38] 523*2^841155-1 is not prime. Res64: A67E0C60B7CF4E3E Time : 982.0 sec. user=vaughan [2010-07-12 16:52:15] 531*2^841155-1 is not prime. Res64: 355E2857170320DB Time : 1015.0 sec. user=vaughan [2010-07-12 16:57:27] 535*2^841155-1 is not prime. Res64: 22FB965C8674E615 Time : 1158.0 sec. user=vaughan [2010-07-12 16:58:27] 447*2^841156-1 is not prime. Res64: 7F816F41FBBABF9F Time : 1030.0 sec. user=vaughan [2010-07-12 16:58:55] 455*2^841156-1 is not prime. Res64: A130B9E0F66D2772 Time : 1023.0 sec. user=vaughan [2010-07-12 16:59:48] 543*2^841155-1 is not prime. Res64: 95896C10237D4273 Time : 1165.0 sec. user=vaughan [2010-07-12 17:02:59] 563*2^841156-1 is not prime. Res64: CEC1D491BE3C5F25 Time : 982.0 sec. user=vaughan [2010-07-12 17:03:05] 495*2^841156-1 is not prime. Res64: D5A74363F457B12A Time : 1169.0 sec. user=vaughan [2010-07-12 17:03:10] 519*2^841156-1 is not prime. Res64: 5E03E476DB4290C2 Time : 1123.0 sec. user=vaughan [2010-07-12 17:09:07] 573*2^841156-1 is not prime. Res64: 1F882380BE0F91F1 Time : 1013.0 sec. user=vaughan [2010-07-12 17:15:38] 469*2^841157-1 is not prime. Res64: 0E83A26BB74B08A5 Time : 1031.0 sec. user=vaughan [2010-07-12 17:15:57] 475*2^841157-1 is not prime. Res64: 7ADE0C3A56B9D560 Time : 1022.0 sec. user=vaughan [2010-07-12 17:16:52] 435*2^841157-1 is not prime. Res64: 4B4A89D6D93E0ECA Time : 1165.0 sec. user=vaughan [2010-07-12 17:19:20] 461*2^841158-1 is not prime. Res64: 6AF75CC44D905EBD Time : 982.0 sec. user=vaughan [2010-07-12 17:19:23] 571*2^841157-1 is not prime. Res64: D4C1C24C345A4957 Time : 1175.0 sec. user=vaughan [2010-07-12 17:21:52] 423*2^841159-1 is not prime. Res64: CD6C05089C5874FD Time : 1123.0 sec. user=vaughan [2010-07-12 17:22:40] 515*2^841158-1 is not prime. Res64: E5B0154894B39110 Time : 1175.0 sec. user=vaughan [2010-07-12 17:26:01] 451*2^841159-1 is not prime. Res64: C2BDBDF200F06C09 Time : 1014.0 sec. user=vaughan [2010-07-12 17:32:48] 471*2^841159-1 is not prime. Res64: BB26EB9B632B6C0D Time : 1030.0 sec. user=vaughan [2010-07-12 17:32:59] 483*2^841159-1 is not prime. Res64: 5D6EB537455EE04C Time : 1023.0 sec. user=vaughan [2010-07-12 17:35:41] 555*2^841159-1 is not prime. Res64: 9E00A48FAC9BD661 Time : 981.0 sec. user=vaughan [2010-07-12 17:36:11] 511*2^841159-1 is not prime. Res64: D02E5294BC776BAE Time : 1159.0 sec. user=vaughan [2010-07-12 17:38:49] 407*2^841160-1 is not prime. Res64: D791B9CDA8B0E889 Time : 1167.0 sec. user=vaughan [2010-07-12 17:40:27] 533*2^841160-1 is not prime. Res64: 110546D3C6DCB8F5 Time : 1115.0 sec. user=vaughan [2010-07-12 17:42:03] 409*2^841161-1 is not prime. Res64: A5B2D213313B0A9B Time : 1164.0 sec. user=vaughan [2010-07-12 17:42:56] 415*2^841161-1 is not prime. Res64: 2B2D4600C94D184C Time : 1015.0 sec. user=vaughan [2010-07-12 17:49:57] 565*2^841161-1 is not prime. Res64: F16CDDFF8D690348 Time : 1029.0 sec. user=vaughan [2010-07-12 17:50:00] 423*2^841162-1 is not prime. Res64: FAD0F810BFEBDD29 Time : 1021.0 sec. user=vaughan [2010-07-12 17:52:01] 461*2^841162-1 is not prime. Res64: A0B532A03756F0E3 Time : 980.0 sec. user=vaughan [2010-07-12 17:55:30] 551*2^841162-1 is not prime. Res64: 03927AE5BF8CCF5F Time : 1159.0 sec. user=vaughan [2010-07-12 17:58:11] 581*2^841162-1 is not prime. Res64: 184B1B450018D7D4 Time : 1162.0 sec. user=vaughan [2010-07-12 17:58:57] 435*2^841163-1 is not prime. Res64: C25B2860C0CB36AC Time : 1110.0 sec. user=vaughan [2010-07-12 17:59:50] 465*2^841163-1 is not prime. Res64: A5BA654D4305AF20 Time : 1014.0 sec. user=vaughan [2010-07-12 18:01:23] 451*2^841163-1 is not prime. Res64: ADEF3BAB37C037D9 Time : 1160.0 sec. user=vaughan [2010-07-12 18:07:03] 585*2^841163-1 is not prime. Res64: C6A44AE0B5423448 Time : 1023.0 sec. user=vaughan [2010-07-12 18:07:07] 505*2^841163-1 is not prime. Res64: B16D16BCD7C35AA9 Time : 1030.0 sec. user=vaughan [2010-07-12 18:08:25] 459*2^841164-1 is not prime. Res64: 77BE722B9C48D415 Time : 984.0 sec. user=vaughan [2010-07-12 18:14:49] 465*2^841164-1 is not prime. Res64: 6615F043EF2EADBB Time : 1159.0 sec. user=vaughan [2010-07-12 18:16:43] 569*2^841164-1 is not prime. Res64: 158FF1E3310CDE29 Time : 1014.0 sec. user=vaughan [2010-07-12 18:17:28] 563*2^841164-1 is not prime. Res64: 0BCBBCB5D6031B1F Time : 1112.0 sec. user=vaughan [2010-07-12 18:17:32] 503*2^841164-1 is not prime. Res64: C6C9895F1D653C06 Time : 1162.0 sec. user=vaughan [2010-07-12 18:20:44] 411*2^841165-1 is not prime. Res64: 07DE985D93BCA71D Time : 1161.0 sec. user=vaughan [2010-07-12 18:24:05] 429*2^841165-1 is not prime. Res64: 10EF645191E2145E Time : 1022.0 sec. user=vaughan [2010-07-12 18:24:18] 525*2^841165-1 is not prime. Res64: F00100A601082C8E Time : 1031.0 sec. user=vaughan [2010-07-12 18:24:48] 537*2^841165-1 is not prime. Res64: F843963536D8D756 Time : 984.0 sec. user=vaughan [2010-07-12 18:33:38] 567*2^841165-1 is not prime. Res64: B93153CA771F0E94 Time : 1015.0 sec. user=vaughan [2010-07-12 18:34:07] 541*2^841165-1 is not prime. Res64: 01C30861FF087547 Time : 1159.0 sec. user=vaughan [2010-07-12 18:35:59] 417*2^841166-1 is not prime. Res64: F84DE3D59505CB3D Time : 1112.0 sec. user=vaughan [2010-07-12 18:36:52] 521*2^841166-1 is not prime. Res64: BF2D82DCC784E96B Time : 1160.0 sec. user=vaughan [2010-07-12 18:40:06] 581*2^841166-1 is not prime. Res64: B775FD3F5E482151 Time : 1162.0 sec. user=vaughan [2010-07-12 18:41:06] 405*2^841167-1 is not prime. Res64: 4FD53729D281CE11 Time : 1022.0 sec. user=vaughan [2010-07-12 18:41:09] 543*2^841167-1 is not prime. Res64: E0C3B0C15052E0D2 Time : 981.0 sec. user=vaughan [2010-07-12 18:41:27] 511*2^841167-1 is not prime. Res64: 186A1545FA3BF8D7 Time : 1029.0 sec. user=vaughan [2010-07-12 18:50:32] 595*2^841167-1 is not prime. Res64: 3E447570C56E8AEC Time : 1014.0 sec. user=vaughan [2010-07-12 18:55:21] 429*2^841168-1 is not prime. Res64: 6607A87834F68991 Time : 1163.0 sec. user=vaughan [2010-07-12 18:55:39] 413*2^841168-1 is not prime. Res64: 9B74CD0A0BF91084 Time : 1292.0 sec. user=vaughan [2010-07-12 18:57:12] 435*2^841169-1 is not prime. Res64: 5A5AECAFE71044EB Time : 1220.0 sec. user=vaughan [2010-07-12 18:57:31] 511*2^841169-1 is not prime. Res64: C87EDEC0BFD8E1AD Time : 982.0 sec. user=vaughan [2010-07-12 18:58:08] 487*2^841169-1 is not prime. Res64: 7DD6E41CC5DA345A Time : 1022.0 sec. user=vaughan [2010-07-12 18:58:36] 517*2^841169-1 is not prime. Res64: 19691F6BC804AE34 Time : 1030.0 sec. user=vaughan [2010-07-12 19:00:47] 441*2^841169-1 is not prime. Res64: EB4AFCC74C3AB6A9 Time : 1241.0 sec. user=vaughan [2010-07-12 19:07:26] 559*2^841169-1 is not prime. Res64: 4382746F6998CE0C Time : 1015.0 sec. user=vaughan [2010-07-12 19:13:52] 521*2^841170-1 is not prime. Res64: 4E00763DCA1D39A1 Time : 982.0 sec. user=vaughan [2010-07-12 19:14:40] 595*2^841169-1 is not prime. Res64: D28EA2057EA53D8E Time : 1159.0 sec. user=vaughan [2010-07-12 19:15:10] 555*2^841170-1 is not prime. Res64: 565DDF00AB21154C Time : 1022.0 sec. user=vaughan [2010-07-12 19:15:46] 593*2^841170-1 is not prime. Res64: 3212AB6697219DBA Time : 1030.0 sec. user=vaughan [2010-07-12 19:16:15] 423*2^841170-1 is not prime. Res64: 997ADD587136DA5B Time : 1236.0 sec. user=vaughan [2010-07-12 19:18:22] 431*2^841170-1 is not prime. Res64: 6EE8771ABCD40B90 Time : 1270.0 sec. user=vaughan [2010-07-12 19:21:58] 429*2^841171-1 is not prime. Res64: 32B8CAA04FD815F3 Time : 1271.0 sec. user=vaughan [2010-07-12 19:24:20] 493*2^841171-1 is not prime. Res64: 98360FE06B672BBC Time : 1014.0 sec. user=vaughan [2010-07-12 19:30:14] 499*2^841171-1 is not prime. Res64: DA8332EB091CDDED Time : 983.0 sec. user=vaughan [2010-07-12 19:32:14] 479*2^841172-1 is not prime. Res64: B4232E0C85D2F0DF Time : 1024.0 sec. user=vaughan [2010-07-12 19:32:59] 545*2^841172-1 is not prime. Res64: 7639CC0008231C26 Time : 1033.0 sec. user=vaughan [2010-07-12 19:33:54] 535*2^841171-1 is not prime. Res64: 7FE54352CD13836F Time : 1155.0 sec. user=vaughan [2010-07-12 19:36:50] 563*2^841172-1 is not prime. Res64: 54D95777C68DEB22 Time : 1235.0 sec. user=vaughan [2010-07-12 19:39:23] 573*2^841172-1 is not prime. Res64: 94AC7E04A417338F Time : 1261.0 sec. user=vaughan [2010-07-12 19:41:22] 429*2^841173-1 is not prime. Res64: 60491677657D091E Time : 1023.0 sec. user=vaughan [2010-07-12 19:43:03] 593*2^841172-1 is not prime. Res64: 676B2E38244FF364 Time : 1265.0 sec. user=vaughan [2010-07-12 19:46:58] 507*2^841173-1 is not prime. Res64: 9BC7F0A22E6FD1E4 Time : 1004.0 sec. user=vaughan [2010-07-12 19:49:40] 517*2^841173-1 is not prime. Res64: D90EE39DDB340783 Time : 1047.0 sec. user=vaughan [2010-07-12 19:50:21] 549*2^841173-1 is not prime. Res64: 5454F336A15993AC Time : 1042.0 sec. user=vaughan [2010-07-12 19:52:59] 491*2^841174-1 is not prime. Res64: 26E40FF0E9202B60 Time : 1145.0 sec. user=vaughan [2010-07-12 19:57:09] 495*2^841174-1 is not prime. Res64: 0FA8F53AA0C87755 Time : 1220.0 sec. user=vaughan [2010-07-12 19:58:23] 421*2^841175-1 is not prime. Res64: 2FFB80986AAEDF2B Time : 1022.0 sec. user=vaughan [2010-07-12 20:00:22] 513*2^841174-1 is not prime. Res64: 55BF97C4815570C0 Time : 1259.0 sec. user=vaughan [2010-07-12 20:03:33] 455*2^841176-1 is not prime. Res64: 55C9664D660B2341 Time : 995.0 sec. user=vaughan [2010-07-12 20:03:59] 511*2^841175-1 is not prime. Res64: CF732688B075A911 Time : 1257.0 sec. user=vaughan [2010-07-12 20:06:53] 479*2^841176-1 is not prime. Res64: 5E466FE4C4B96C70 Time : 1033.0 sec. user=vaughan [2010-07-12 20:07:46] 587*2^841176-1 is not prime. Res64: 329592617B78FF03 Time : 1045.0 sec. user=vaughan [2010-07-12 20:12:03] 597*2^841176-1 is not prime. Res64: 701963C27644F966 Time : 1145.0 sec. user=vaughan [2010-07-12 20:15:19] 507*2^841177-1 is not prime. Res64: 5F461CBA79FD39F9 Time : 1017.0 sec. user=vaughan [2010-07-12 20:17:31] 471*2^841177-1 is not prime. Res64: 0C03E828CC3CB4C1 Time : 1222.0 sec. user=vaughan [2010-07-12 20:20:01] 585*2^841178-1 is not prime. Res64: 6C1F0FE324091BA5 Time : 988.0 sec. user=vaughan [2010-07-12 20:21:22] 447*2^841178-1 is not prime. Res64: 5258C77EF71EBFD2 Time : 1260.0 sec. user=vaughan [2010-07-12 20:23:58] 489*2^841179-1 is not prime. Res64: BF8E90CF655DDCF7 Time : 1026.0 sec. user=vaughan [2010-07-12 20:24:59] 501*2^841179-1 is not prime. Res64: B09023D947AEF6F5 Time : 1034.0 sec. user=vaughan [2010-07-12 20:24:59] 469*2^841179-1 is not prime. Res64: 87429DBF3143BF00 Time : 1260.0 sec. user=vaughan [2010-07-12 20:31:11] 587*2^841180-1 is not prime. Res64: 8FD10C8B94855594 Time : 1148.0 sec. user=vaughan [2010-07-12 20:32:14] 405*2^841181-1 is not prime. Res64: 5211C3076B8B9519 Time : 1015.0 sec. user=vaughan [2010-07-12 20:36:21] 465*2^841181-1 is not prime. Res64: FBB06E74B7620726 Time : 981.0 sec. user=vaughan [2010-07-12 20:37:54] 411*2^841181-1 is not prime. Res64: 1435416903FAFE5E Time : 1223.0 sec. user=vaughan [2010-07-12 20:40:59] 547*2^841181-1 is not prime. Res64: 3FD3338A0B3744AF Time : 1022.0 sec. user=vaughan [2010-07-12 20:42:10] 447*2^841182-1 is not prime. Res64: A311DA3F4892735C Time : 1032.0 sec. user=vaughan [2010-07-12 20:42:22] 525*2^841181-1 is not prime. Res64: F67B019B68250C2C Time : 1260.0 sec. user=vaughan [2010-07-12 20:45:55] 483*2^841182-1 is not prime. Res64: 37163D83F14BABF5 Time : 1256.0 sec. user=vaughan [2010-07-12 20:49:08] 513*2^841182-1 is not prime. Res64: BB8F529E436942F1 Time : 1014.0 sec. user=vaughan [2010-07-12 20:50:16] 507*2^841182-1 is not prime. Res64: 4D360565DABC85B7 Time : 1145.0 sec. user=vaughan [2010-07-12 20:52:41] 415*2^841183-1 is not prime. Res64: FE6A6B33E3E2D775 Time : 980.0 sec. user=vaughan [2010-07-12 20:58:01] 463*2^841183-1 is not prime. Res64: E67908A569280249 Time : 1022.0 sec. user=vaughan [2010-07-12 20:58:12] 441*2^841183-1 is not prime. Res64: 15CFE9516D0680CF Time : 1219.0 sec. user=vaughan [2010-07-12 20:59:20] 523*2^841183-1 is not prime. Res64: CE043D20C4098368 Time : 1031.0 sec. user=vaughan [2010-07-12 21:03:20] 413*2^841184-1 is not prime. Res64: 02E0FCFD73AC9D20 Time : 1258.0 sec. user=vaughan [2010-07-12 21:06:02] 503*2^841184-1 is not prime. Res64: A6164949D97F93FE Time : 1014.0 sec. user=vaughan [2010-07-12 21:06:54] 425*2^841184-1 is not prime. Res64: 11BA37FBB691E031 Time : 1259.0 sec. user=vaughan [2010-07-12 21:09:02] 557*2^841184-1 is not prime. Res64: 43373C0CE866AC9B Time : 981.0 sec. user=vaughan [2010-07-12 21:09:22] 533*2^841184-1 is not prime. Res64: E94D4A56CD2DB872 Time : 1147.0 sec. user=vaughan [2010-07-12 21:15:05] 563*2^841184-1 is not prime. Res64: 02B559171B11E86F Time : 1024.0 sec. user=vaughan [2010-07-12 21:16:32] 453*2^841186-1 is not prime. Res64: 31D6D1D801BFE127 Time : 1033.0 sec. user=vaughan [2010-07-12 21:18:32] 413*2^841186-1 is not prime. Res64: 6AC1237D68D133BB Time : 1220.0 sec. user=vaughan [2010-07-12 21:22:57] 587*2^841186-1 is not prime. Res64: 5A562F8233C74DA6 Time : 1015.0 sec. user=vaughan [2010-07-12 21:24:19] 471*2^841186-1 is not prime. Res64: D06BAA5D81FB8E29 Time : 1259.0 sec. user=vaughan [2010-07-12 21:25:24] 589*2^841187-1 is not prime. Res64: 902877C840590032 Time : 982.0 sec. user=vaughan [2010-07-12 21:27:51] 475*2^841187-1 is not prime. Res64: AFC319DD7731C602 Time : 1257.0 sec. user=vaughan [2010-07-12 21:28:32] 595*2^841187-1 is not prime. Res64: FC5C7777AB7D3663 Time : 1150.0 sec. user=vaughan [2010-07-12 21:32:07] 405*2^841188-1 is not prime. Res64: A89357283C2F68F7 Time : 1023.0 sec. user=vaughan [2010-07-12 21:33:42] 423*2^841188-1 is not prime. Res64: 1F52F4661899C1F6 Time : 1030.0 sec. user=vaughan [2010-07-12 21:38:59] 459*2^841188-1 is not prime. Res64: 0C2CD8554E7F4F3E Time : 1227.0 sec. user=vaughan [2010-07-12 21:39:51] 465*2^841188-1 is not prime. Res64: 373D955FDC65808E Time : 1015.0 sec. user=vaughan [2010-07-12 21:41:48] 421*2^841189-1 is not prime. Res64: 18BFE68B81CAC826 Time : 985.0 sec. user=vaughan [2010-07-12 21:45:23] 503*2^841188-1 is not prime. Res64: DE567C419078B71D Time : 1264.0 sec. user=vaughan [2010-07-12 21:47:58] 481*2^841189-1 is not prime. Res64: 1B30B30C6B7E10BC Time : 1167.0 sec. user=vaughan [2010-07-12 21:48:58] 477*2^841189-1 is not prime. Res64: 2EF5FC1F2B8805C3 Time : 1268.0 sec. user=vaughan [2010-07-12 21:49:09] 411*2^841190-1 is not prime. Res64: 0D65BB67756000BB Time : 1023.0 sec. user=vaughan [2010-07-12 21:50:54] 461*2^841190-1 is not prime. Res64: C957D90F8B699B04 Time : 1032.0 sec. user=vaughan [2010-07-12 21:56:45] 575*2^841190-1 is not prime. Res64: 1A666CDFEAAC206E Time : 1015.0 sec. user=vaughan [2010-07-12 21:58:09] 493*2^841191-1 is not prime. Res64: C287BF5B470A950D Time : 981.0 sec. user=vaughan [2010-07-12 21:59:37] 467*2^841190-1 is not prime. Res64: D8D840BD539CF02D Time : 1238.0 sec. user=vaughan [2010-07-12 22:06:17] 563*2^841192-1 is not prime. Res64: DDB24AD354A53E50 Time : 1029.0 sec. user=vaughan [2010-07-12 22:06:35] 511*2^841191-1 is not prime. Res64: 01E95189B165826F Time : 1272.0 sec. user=vaughan [2010-07-12 22:07:15] 571*2^841191-1 is not prime. Res64: BD096E74948AA3F3 Time : 1158.0 sec. user=vaughan [2010-07-12 22:08:09] 537*2^841193-1 is not prime. Res64: C224E35A7A4393BE Time : 1036.0 sec. user=vaughan [2010-07-12 22:10:07] 579*2^841191-1 is not prime. Res64: DF2EF7BE49DBAE5E Time : 1269.0 sec. user=vaughan [2010-07-12 22:13:45] 595*2^841193-1 is not prime. Res64: 534FF6F67D2B0C59 Time : 1020.0 sec. user=vaughan [2010-07-12 22:14:43] 437*2^841194-1 is not prime. Res64: 2C04B488E5238270 Time : 994.0 sec. user=vaughan [2010-07-12 22:20:07] 507*2^841194-1 is not prime. Res64: 402F30ADB2CFFA2C Time : 1231.0 sec. user=vaughan [2010-07-12 22:23:19] 567*2^841194-1 is not prime. Res64: 46C50655994D42B3 Time : 1022.0 sec. user=vaughan [2010-07-12 22:25:19] 455*2^841196-1 is not prime. Res64: 7DDD832D5FBD1B8C Time : 1030.0 sec. user=vaughan [2010-07-12 22:26:21] 405*2^841196-1 is not prime. Res64: 7EA7E90F696CEEDD Time : 1147.0 sec. user=vaughan [2010-07-12 22:27:28] 593*2^841194-1 is not prime. Res64: 23E0BF6E25E73657 Time : 1253.0 sec. user=vaughan [2010-07-12 22:30:39] 539*2^841196-1 is not prime. Res64: 629E1F5E5E537E9E Time : 1014.0 sec. user=vaughan [2010-07-12 22:31:06] 477*2^841196-1 is not prime. Res64: 80257C0D4B7A3808 Time : 1260.0 sec. user=vaughan [2010-07-12 22:31:06] 567*2^841196-1 is not prime. Res64: 0B491560BA3BB18B Time : 984.0 sec. user=vaughan [2010-07-12 22:40:04] 559*2^841197-1 is not prime. Res64: 2054FED386891AF1 Time : 1110.0 sec. user=vaughan [2010-07-12 22:40:21] 453*2^841198-1 is not prime. Res64: 50E8B6197EDB623B Time : 1022.0 sec. user=vaughan [2010-07-12 22:40:26] 585*2^841196-1 is not prime. Res64: 54BF7CC2CA2261A4 Time : 1220.0 sec. user=vaughan [2010-07-12 22:42:30] 465*2^841198-1 is not prime. Res64: B3C8DBEDF3E127C3 Time : 1031.0 sec. user=vaughan [2010-07-12 22:45:23] 467*2^841198-1 is not prime. Res64: AD96A5749D28886F Time : 1142.0 sec. user=vaughan [2010-07-12 22:47:29] 493*2^841199-1 is not prime. Res64: 8BC6A9FD3897FF82 Time : 983.0 sec. user=vaughan [2010-07-12 22:47:33] 495*2^841198-1 is not prime. Res64: CBB63E220C24ED54 Time : 1014.0 sec. user=vaughan [2010-07-12 22:48:27] 483*2^841198-1 is not prime. Res64: E7347ABC7B832F9E Time : 1259.0 sec. user=vaughan [2010-07-12 22:52:00] 567*2^841198-1 is not prime. Res64: 4B3CBD5C7F94247D Time : 1255.0 sec. user=vaughan [2010-07-12 22:57:22] 531*2^841199-1 is not prime. Res64: 9C0C3B4309FD3C1C Time : 1021.0 sec. user=vaughan [2010-07-12 22:59:17] 587*2^841196-1 is not prime. Res64: 82CEB2D9DBFF2A8F Time : 2266.0 sec. user=vaughan [2010-07-12 22:59:23] 555*2^841197-1 is not prime. Res64: AED1428A98C633E8 Time : 2269.0 sec. user=vaughan [2010-07-12 22:59:40] 465*2^841200-1 is not prime. Res64: 9A6BA38A54ECD194 Time : 1030.0 sec. user=vaughan [2010-07-12 23:00:44] 553*2^841199-1 is not prime. Res64: 6C1D11B3A14EB9E4 Time : 1218.0 sec. user=vaughan [2010-07-12 23:03:34] 465*2^841197-1 is not prime. Res64: EA4E44C26F9EAB4D Time : 2520.0 sec. user=vaughan [2010-07-12 23:03:52] 439*2^841201-1 is not prime. Res64: 670F43FA36BF82D8 Time : 983.0 sec. user=vaughan [2010-07-12 23:04:26] 513*2^841200-1 is not prime. Res64: BABEAC38F3A7A6BC Time : 1143.0 sec. user=vaughan [2010-07-12 23:04:27] 447*2^841201-1 is not prime. Res64: 2F69CD7529773FA9 Time : 1014.0 sec. user=vaughan [2010-07-12 23:09:21] 511*2^841201-1 is not prime. Res64: 2D0BD944D9AA543C Time : 1254.0 sec. user=vaughan [2010-07-12 23:13:04] 565*2^841201-1 is not prime. Res64: 58711B10866FD8DB Time : 1265.0 sec. user=vaughan [2010-07-12 23:14:22] 597*2^841201-1 is not prime. Res64: AAFA383E5FE5FA6D Time : 1021.0 sec. user=vaughan [2010-07-12 23:16:51] 405*2^841202-1 is not prime. Res64: 59E41C3CCF6A95AB Time : 1031.0 sec. user=vaughan [2010-07-12 23:20:15] 515*2^841202-1 is not prime. Res64: E8611574087BDCC8 Time : 983.0 sec. user=vaughan [2010-07-12 23:21:03] 483*2^841202-1 is not prime. Res64: 3A31B6BEDE76BD14 Time : 1219.0 sec. user=vaughan [2010-07-12 23:21:21] 593*2^841202-1 is not prime. Res64: 0FD8BB61528A5BCA Time : 1015.0 sec. user=vaughan [2010-07-12 23:23:27] 545*2^841202-1 is not prime. Res64: F38F268072A0797B Time : 1141.0 sec. user=vaughan [2010-07-12 23:30:18] 429*2^841203-1 is not prime. Res64: 30368F65BE2C1D37 Time : 1257.0 sec. user=vaughan [2010-07-12 23:31:23] 489*2^841204-1 is not prime. Res64: BAD756801F997531 Time : 1021.0 sec. user=vaughan [2010-07-12 23:34:02] 567*2^841204-1 is not prime. Res64: 82E393F1F62DE512 Time : 1031.0 sec. user=vaughan [2010-07-12 23:34:05] 459*2^841203-1 is not prime. Res64: AF1D3BF552B1B58F Time : 1262.0 sec. user=vaughan [2010-07-12 23:36:37] 597*2^841204-1 is not prime. Res64: 6C17A40FC9640409 Time : 983.0 sec. user=vaughan [2010-07-12 23:38:13] 507*2^841205-1 is not prime. Res64: 2B9921D676702464 Time : 1013.0 sec. user=vaughan [2010-07-12 23:41:23] 487*2^841205-1 is not prime. Res64: 040F38B75FF3DC1D Time : 1220.0 sec. user=vaughan [2010-07-12 23:42:26] 529*2^841205-1 is not prime. Res64: CEEF8364AA1CEB9C Time : 1139.0 sec. user=vaughan [2010-07-12 23:48:24] 405*2^841206-1 is not prime. Res64: C3A708321120CD35 Time : 1021.0 sec. user=vaughan [2010-07-12 23:51:13] 455*2^841206-1 is not prime. Res64: 31B1DBC62529A132 Time : 1031.0 sec. user=vaughan [2010-07-12 23:51:17] 561*2^841205-1 is not prime. Res64: CD899F41E2DC2428 Time : 1259.0 sec. user=vaughan [2010-07-12 23:53:00] 587*2^841206-1 is not prime. Res64: 75EA01AF6FE74344 Time : 983.0 sec. user=vaughan [2010-07-12 23:55:03] 507*2^841206-1 is not prime. Res64: 3C4B358FD27789EA Time : 1259.0 sec. user=vaughan [2010-07-12 23:55:07] 463*2^841207-1 is not prime. Res64: 77F0FDFC2EC242DD Time : 1014.0 sec.