user=mdettweiler [2009-06-10 05:49:28] 379*2^319997-1 is not prime. Res64: 42A20120CC3D5E38 Time : 0.0 sec. user=mdettweiler [2009-06-10 05:49:28] 385*2^319999-1 is not prime. Res64: 3E724EF9C3A2C308 Time : 0.0 sec. user=mdettweiler [2009-06-10 05:49:28] 315*2^319999-1 is not prime. Res64: 9865C779E42DAAB9 Time : 0.0 sec. user=mdettweiler [2009-06-10 05:49:28] 305*2^320000-1 is not prime. Res64: 1562094BA14F6A17 Time : 0.0 sec. user=mdettweiler [2009-06-10 05:49:28] 323*2^320000-1 is not prime. Res64: D5DF31917680725A Time : 0.0 sec. user=mdettweiler [2009-06-10 05:49:28] 339*2^320001-1 is not prime. Res64: 45402BCD8334F2E5 Time : 0.0 sec. user=mdettweiler [2009-06-10 05:49:28] 365*2^320000-1 is not prime. Res64: 314B11A154D770B8 Time : 0.0 sec. user=mdettweiler [2009-06-10 05:49:28] 393*2^320002-1 is not prime. Res64: 1A3E5552EA978871 Time : 0.0 sec. user=mdettweiler [2009-06-10 05:49:28] 311*2^320006-1 is not prime. Res64: D5B95A083EAAC36C Time : 0.0 sec. user=mdettweiler [2009-06-10 05:49:28] 347*2^320004-1 is not prime. Res64: 48475A70CBF03E44 Time : 0.0 sec. user=mdettweiler [2009-06-10 07:00:46] 389*2^320004-1 is not prime. Res64: DFC68C96BA35F3C1 Time : 0.0 sec. user=mdettweiler [2009-06-10 07:00:46] 301*2^320007-1 is not prime. Res64: FE66F85FDA29D3F7 Time : 0.0 sec. user=mdettweiler [2009-06-10 07:00:46] 339*2^320009-1 is not prime. Res64: 6DAD19F85E131EAA Time : 0.0 sec. user=mdettweiler [2009-06-10 07:00:46] 351*2^320009-1 is not prime. Res64: A5BCCCDECA653D7A Time : 0.0 sec. user=mdettweiler [2009-06-10 07:00:46] 387*2^320008-1 is not prime. Res64: E6E55A2FA2AF2356 Time : 0.0 sec. user=mdettweiler [2009-06-10 07:00:46] 315*2^320007-1 is not prime. Res64: 425DF4D6EBFB9402 Time : 0.0 sec. user=mdettweiler [2009-06-10 07:00:46] 309*2^320012-1 is not prime. Res64: 7170FE93AA31D0C1 Time : 0.0 sec. user=mdettweiler [2009-06-10 07:00:46] 335*2^320012-1 is not prime. Res64: 62FEB8F828C7400A Time : 0.0 sec. user=mdettweiler [2009-06-10 07:00:46] 345*2^320010-1 is not prime. Res64: E92E28C21928D8B0 Time : 0.0 sec. user=mdettweiler [2009-06-10 07:00:46] 349*2^320011-1 is not prime. Res64: 6E0DAC520EE63040 Time : 0.0 sec. user=mdettweiler [2009-06-10 07:42:12] 357*2^320010-1 is not prime. Res64: 55868762D95C0D8A Time : 0.0 sec. user=mdettweiler [2009-06-10 07:42:12] 363*2^320012-1 is not prime. Res64: AFE3218CF87CAFE7 Time : 0.0 sec. user=mdettweiler [2009-06-10 07:42:12] 365*2^320012-1 is not prime. Res64: 252DF5CB4364C629 Time : 0.0 sec. user=mdettweiler [2009-06-10 07:42:12] 357*2^320014-1 is not prime. Res64: 6D655507399A7DB3 Time : 0.0 sec. user=mdettweiler [2009-06-10 07:42:12] 369*2^320015-1 is not prime. Res64: 5C58EE13202260C6 Time : 0.0 sec. user=mdettweiler [2009-06-10 07:42:12] 391*2^320015-1 is not prime. Res64: 8FE5EC5A5E8D2564 Time : 0.0 sec. user=mdettweiler [2009-06-10 07:42:12] 315*2^320014-1 is not prime. Res64: 216DBD7F936B7708 Time : 0.0 sec. user=mdettweiler [2009-06-10 07:42:12] 325*2^320017-1 is not prime. Res64: 43F5FCCEBA50712F Time : 0.0 sec. user=mdettweiler [2009-06-10 07:42:12] 347*2^320018-1 is not prime. Res64: 0271A9DDD4E7A0DC Time : 0.0 sec. user=mdettweiler [2009-06-10 07:42:12] 365*2^320018-1 is not prime. Res64: D973164F79E0D048 Time : 0.0 sec. user=mdettweiler [2009-06-10 08:38:49] 379*2^320017-1 is not prime. Res64: D7266208AA6F3578 Time : 0.0 sec. user=mdettweiler [2009-06-10 08:38:49] 391*2^320019-1 is not prime. Res64: 5BD554D17FFE6996 Time : 0.0 sec. user=mdettweiler [2009-06-10 08:38:49] 393*2^320018-1 is not prime. Res64: D0008DB1FDEBB64C Time : 0.0 sec. user=mdettweiler [2009-06-10 08:38:49] 399*2^320016-1 is not prime. Res64: CF4D36BFCEE0451F Time : 0.0 sec. user=mdettweiler [2009-06-10 08:38:49] 399*2^320017-1 is not prime. Res64: 75332082EA7DC62D Time : 0.0 sec. user=mdettweiler [2009-06-10 08:38:49] 315*2^320018-1 is not prime. Res64: FFB79B6178DAAE1E Time : 0.0 sec. user=mdettweiler [2009-06-10 08:38:49] 309*2^320021-1 is not prime. Res64: 8045A84BECCA62C2 Time : 0.0 sec. user=mdettweiler [2009-06-10 08:38:49] 357*2^320022-1 is not prime. Res64: E99B25CA20E07860 Time : 0.0 sec. user=mdettweiler [2009-06-10 08:38:49] 381*2^320021-1 is not prime. Res64: C7B48AAD9B5DCFBD Time : 0.0 sec. user=mdettweiler [2009-06-10 08:38:49] 315*2^320022-1 is not prime. Res64: 11D1B5EC9EB7930C Time : 0.0 sec. user=mdettweiler [2009-06-10 10:35:22] 319*2^320021-1 is not prime. Res64: A5EDD4F324B38915 Time : 0.0 sec. user=mdettweiler [2009-06-10 10:35:22] 317*2^320026-1 is not prime. Res64: D7C71D2E6D44A164 Time : 0.0 sec. user=mdettweiler [2009-06-10 10:35:22] 325*2^320025-1 is not prime. Res64: 7FE05FBAD04A6A69 Time : 0.0 sec. user=mdettweiler [2009-06-10 10:35:22] 355*2^320023-1 is not prime. Res64: 3D47B093EC9040E9 Time : 0.0 sec. user=mdettweiler [2009-06-10 10:35:22] 365*2^320026-1 is not prime. Res64: 92EC2B4C0BD569EF Time : 0.0 sec. user=mdettweiler [2009-06-10 10:35:22] 395*2^320024-1 is not prime. Res64: 04F463A500D8B24D Time : 0.0 sec. user=mdettweiler [2009-06-10 10:35:22] 369*2^320027-1 is not prime. Res64: BD79048169A5B51E Time : 0.0 sec. user=mdettweiler [2009-06-10 10:35:22] 387*2^320028-1 is not prime. Res64: 6CF5BC4EA2FB079A Time : 0.0 sec. user=mdettweiler [2009-06-10 10:35:22] 395*2^320028-1 is not prime. Res64: 2B2DAC2390EE61A6 Time : 0.0 sec. user=mdettweiler [2009-06-10 10:35:22] 399*2^320027-1 is not prime. Res64: A2C150EC73567D2D Time : 0.0 sec. user=mdettweiler [2009-06-10 11:47:10] 315*2^320027-1 is not prime. Res64: A76ACACF1A32EAA7 Time : 0.0 sec. user=mdettweiler [2009-06-10 11:47:10] 333*2^320031-1 is not prime. Res64: 976DE034D50A8B69 Time : 0.0 sec. user=mdettweiler [2009-06-10 11:47:10] 373*2^320031-1 is not prime. Res64: 7664884823610C8D Time : 0.0 sec. user=mdettweiler [2009-06-10 11:47:10] 319*2^320031-1 is not prime. Res64: E5C2806055C569D3 Time : 0.0 sec. user=mdettweiler [2009-06-10 11:47:10] 309*2^320035-1 is not prime. Res64: BA85674EA29CB28B Time : 0.0 sec. user=mdettweiler [2009-06-10 11:47:10] 327*2^320036-1 is not prime. Res64: 085AEF06DD95A53C Time : 0.0 sec. user=mdettweiler [2009-06-10 11:47:10] 333*2^320034-1 is not prime. Res64: 9EABE8E5097516AF Time : 0.0 sec. user=mdettweiler [2009-06-10 11:47:10] 339*2^320035-1 is not prime. Res64: 85173438AFFA5612 Time : 0.0 sec. user=mdettweiler [2009-06-10 11:47:10] 351*2^320033-1 is not prime. Res64: 08A5A05949046914 Time : 0.0 sec. user=mdettweiler [2009-06-10 11:47:10] 371*2^320034-1 is not prime. Res64: ECE6281DBA55E5CD Time : 0.0 sec. user=mdettweiler [2009-06-10 12:59:19] 319*2^320033-1 is not prime. Res64: 10F9FBF9B1F6AAA4 Time : 0.0 sec. user=mdettweiler [2009-06-10 12:59:19] 351*2^320038-1 is not prime. Res64: FDE0E4304BF993FC Time : 0.0 sec. user=mdettweiler [2009-06-10 12:59:19] 355*2^320037-1 is not prime. Res64: E74C612D2B163B3E Time : 0.0 sec. user=mdettweiler [2009-06-10 12:59:19] 357*2^320038-1 is not prime. Res64: 99CD0EAB88DEE3F9 Time : 0.0 sec. user=mdettweiler [2009-06-10 12:59:19] 371*2^320038-1 is not prime. Res64: 383E637F256AD239 Time : 0.0 sec. user=mdettweiler [2009-06-10 12:59:19] 391*2^320039-1 is not prime. Res64: 59A5B376F8A2967C Time : 0.0 sec. user=mdettweiler [2009-06-10 12:59:19] 315*2^320038-1 is not prime. Res64: 93C75B2A84145D16 Time : 0.0 sec. user=mdettweiler [2009-06-10 12:59:19] 321*2^320041-1 is not prime. Res64: 88188EB8DC9C5CBC Time : 0.0 sec. user=mdettweiler [2009-06-10 12:59:19] 327*2^320041-1 is not prime. Res64: 458C312C65A49C9C Time : 0.0 sec. user=mdettweiler [2009-06-10 12:59:19] 327*2^320042-1 is not prime. Res64: EF83EC1F36913A24 Time : 0.0 sec. user=mdettweiler [2009-06-10 14:16:43] 347*2^320040-1 is not prime. Res64: 74094E88E90FAD49 Time : 0.0 sec. user=mdettweiler [2009-06-10 14:16:43] 301*2^320045-1 is not prime. Res64: 8642E6AEB88CE25C Time : 0.0 sec. user=mdettweiler [2009-06-10 14:16:43] 313*2^320043-1 is not prime. Res64: 7503EFEFCBF9AEF1 Time : 0.0 sec. user=mdettweiler [2009-06-10 14:16:43] 323*2^320044-1 is not prime. Res64: 29F7C627E627798F Time : 0.0 sec. user=mdettweiler [2009-06-10 14:16:43] 335*2^320044-1 is not prime. Res64: 289A2EFF868350B8 Time : 0.0 sec. user=mdettweiler [2009-06-10 14:16:43] 357*2^320044-1 is not prime. Res64: 84C9E2A48AA832E5 Time : 0.0 sec. user=mdettweiler [2009-06-10 14:16:43] 391*2^320043-1 is not prime. Res64: B0DD4ED082DFBC0C Time : 0.0 sec. user=mdettweiler [2009-06-10 14:16:43] 399*2^320043-1 is not prime. Res64: 6DF1DA80868A19C1 Time : 0.0 sec. user=mdettweiler [2009-06-10 14:16:43] 315*2^320045-1 is not prime. Res64: 40E79A6C205B958F Time : 0.0 sec. user=mdettweiler [2009-06-10 14:16:43] 319*2^320045-1 is not prime. Res64: 766C47F1DD065032 Time : 0.0 sec. user=mdettweiler [2009-06-10 15:26:56] 303*2^320047-1 is not prime. Res64: ACF3F7B289FC1911 Time : 0.0 sec. user=mdettweiler [2009-06-10 15:26:56] 305*2^320048-1 is not prime. Res64: 2CB6A420051A3C09 Time : 0.0 sec. user=mdettweiler [2009-06-10 15:26:56] 325*2^320049-1 is not prime. Res64: 91028180A35A164E Time : 0.0 sec. user=mdettweiler [2009-06-10 15:26:56] 327*2^320048-1 is not prime. Res64: 91C763B0C122C598 Time : 0.0 sec. user=mdettweiler [2009-06-10 15:26:56] 357*2^320048-1 is not prime. Res64: F87D19D2DB5B6497 Time : 0.0 sec. user=mdettweiler [2009-06-10 15:26:56] 363*2^320048-1 is not prime. Res64: 5723716DDEE2C1DB Time : 0.0 sec. user=mdettweiler [2009-06-10 15:26:56] 377*2^320046-1 is not prime. Res64: FE91AF5019B3709A Time : 0.0 sec. user=mdettweiler [2009-06-10 15:26:56] 377*2^320048-1 is not prime. Res64: 560CB67565D8ED37 Time : 0.0 sec. user=mdettweiler [2009-06-10 15:26:56] 379*2^320047-1 is not prime. Res64: ACC16AE78F39D117 Time : 0.0 sec. user=mdettweiler [2009-06-10 15:26:56] 391*2^320049-1 is not prime. Res64: 036038B6496B152B Time : 0.0 sec. user=mdettweiler [2009-06-10 16:39:04] 399*2^320047-1 is not prime. Res64: 4B20A824EAD19FA3 Time : 0.0 sec. user=mdettweiler [2009-06-10 16:39:04] 341*2^320050-1 is not prime. Res64: 84AC68AB5EDE84BF Time : 0.0 sec. user=mdettweiler [2009-06-10 16:39:04] 345*2^320052-1 is not prime. Res64: B15F35652FE5AF9D Time : 0.0 sec. user=mdettweiler [2009-06-10 16:39:04] 393*2^320050-1 is not prime. Res64: 69FB8FF77757392A Time : 0.0 sec. user=mdettweiler [2009-06-10 16:39:04] 395*2^320050-1 is not prime. Res64: B7C9F347B3EF57A3 Time : 0.0 sec. user=mdettweiler [2009-06-10 16:39:04] 319*2^320051-1 is not prime. Res64: B4F9A676BA1029BD Time : 0.0 sec. user=mdettweiler [2009-06-10 16:39:04] 383*2^320050-1 is not prime. Res64: 0E9DFA19C8809A28 Time : 0.0 sec. user=mdettweiler [2009-06-10 16:39:04] 305*2^320054-1 is not prime. Res64: CB8AC2460F91072E Time : 0.0 sec. user=mdettweiler [2009-06-10 16:39:04] 321*2^320054-1 is not prime. Res64: B005B4EF5AE12315 Time : 0.0 sec. user=mdettweiler [2009-06-10 16:39:04] 349*2^320053-1 is not prime. Res64: F6AD344945FF1588 Time : 0.0 sec. user=mdettweiler [2009-06-10 17:50:18] 353*2^320054-1 is not prime. Res64: 6395519A21A66E6E Time : 0.0 sec. user=mdettweiler [2009-06-10 17:50:18] 385*2^320055-1 is not prime. Res64: 9C28E8CA850A6C39 Time : 0.0 sec. user=mdettweiler [2009-06-10 17:50:18] 315*2^320054-1 is not prime. Res64: 19944AB905F896BF Time : 0.0 sec. user=mdettweiler [2009-06-10 17:50:18] 315*2^320056-1 is not prime. Res64: 08DB7D543EE3A5BA Time : 0.0 sec. user=mdettweiler [2009-06-10 17:50:18] 303*2^320059-1 is not prime. Res64: 6513A0C593F17352 Time : 0.0 sec. user=mdettweiler [2009-06-10 17:50:18] 301*2^320061-1 is not prime. Res64: A9607F7470836B6C Time : 0.0 sec. user=mdettweiler [2009-06-10 17:50:18] 317*2^320062-1 is not prime. Res64: BDB220DFBCC76307 Time : 0.0 sec. user=mdettweiler [2009-06-10 17:50:18] 381*2^320061-1 is not prime. Res64: F080294207401C47 Time : 0.0 sec. user=mdettweiler [2009-06-10 17:50:18] 311*2^320066-1 is not prime. Res64: C44176F68D817C0B Time : 0.0 sec. user=mdettweiler [2009-06-10 17:50:18] 349*2^320063-1 is not prime. Res64: B146126BEC807715 Time : 0.0 sec. user=mdettweiler [2009-06-10 19:02:51] 309*2^320068-1 is not prime. Res64: CD6855497F15A3EC Time : 0.0 sec. user=mdettweiler [2009-06-10 19:02:51] 309*2^320069-1 is not prime. Res64: 3DE1D20971D865E3 Time : 0.0 sec. user=mdettweiler [2009-06-10 19:02:51] 313*2^320067-1 is not prime. Res64: D01EA637CE1BB308 Time : 0.0 sec. user=mdettweiler [2009-06-10 19:02:51] 325*2^320067-1 is not prime. Res64: EC6DE002B12E18E2 Time : 0.0 sec. user=mdettweiler [2009-06-10 19:02:51] 325*2^320069-1 is not prime. Res64: F9D2A3456422609F Time : 0.0 sec. user=mdettweiler [2009-06-10 19:02:51] 327*2^320068-1 is not prime. Res64: F74BA807AE4ABDD7 Time : 0.0 sec. user=mdettweiler [2009-06-10 19:02:51] 369*2^320068-1 is not prime. Res64: 783EF189822E6870 Time : 0.0 sec. user=mdettweiler [2009-06-10 19:02:51] 377*2^320066-1 is not prime. Res64: AAB6C1EC5F54AEAB Time : 0.0 sec. user=mdettweiler [2009-06-10 19:02:51] 379*2^320069-1 is not prime. Res64: B160000C63DE7625 Time : 0.0 sec. user=mdettweiler [2009-06-10 19:02:51] 387*2^320068-1 is not prime. Res64: 88ACA2CF65BB1DC0 Time : 0.0 sec. user=mdettweiler [2009-06-10 20:15:25] 319*2^320069-1 is not prime. Res64: D60673868088B90C Time : 0.0 sec. user=mdettweiler [2009-06-10 20:15:25] 349*2^320071-1 is not prime. Res64: BDEBC58461ED570E Time : 0.0 sec. user=mdettweiler [2009-06-10 20:15:25] 373*2^320071-1 is not prime. Res64: D89B213CD8DE4E29 Time : 0.0 sec. user=mdettweiler [2009-06-10 20:15:25] 377*2^320070-1 is not prime. Res64: 693F25BDB64CDFCA Time : 0.0 sec. user=mdettweiler [2009-06-10 20:15:25] 333*2^320075-1 is not prime. Res64: D7585C4EDF6428FE Time : 0.0 sec. user=mdettweiler [2009-06-10 20:15:25] 357*2^320073-1 is not prime. Res64: FCD9C33EBD655072 Time : 0.0 sec. user=mdettweiler [2009-06-10 20:15:25] 369*2^320075-1 is not prime. Res64: 2E3091B0675669BA Time : 0.0 sec. user=mdettweiler [2009-06-10 20:15:25] 391*2^320073-1 is not prime. Res64: 07695251F35B9996 Time : 0.0 sec. user=mdettweiler [2009-06-10 20:15:25] 319*2^320073-1 is not prime. Res64: 61A0A2042E8AC917 Time : 0.0 sec. user=mdettweiler [2009-06-10 20:15:25] 321*2^320078-1 is not prime. Res64: 55615AEF0DED3D5C Time : 0.0 sec. user=mdettweiler [2009-06-10 21:25:09] 325*2^320077-1 is not prime. Res64: F48B6AF36079167C Time : 0.0 sec. user=mdettweiler [2009-06-10 21:25:09] 337*2^320077-1 is not prime. Res64: 950EB0109F7A8F39 Time : 0.0 sec. user=mdettweiler [2009-06-10 21:25:09] 347*2^320076-1 is not prime. Res64: 74684DDD19FF853F Time : 0.0 sec. user=mdettweiler [2009-06-10 21:25:09] 351*2^320078-1 is not prime. Res64: 8494192D190477BD Time : 0.0 sec. user=mdettweiler [2009-06-10 21:25:09] 381*2^320078-1 is not prime. Res64: 5F18E97501DE3C53 Time : 0.0 sec. user=mdettweiler [2009-06-10 21:25:09] 381*2^320079-1 is not prime. Res64: BADE9F84BE42BE95 Time : 0.0 sec. user=mdettweiler [2009-06-10 21:25:09] 391*2^320079-1 is not prime. Res64: 7F8E99A1AC182FA5 Time : 0.0 sec. user=mdettweiler [2009-06-10 21:25:09] 319*2^320079-1 is not prime. Res64: 0B863FF0CDD5E4A8 Time : 0.0 sec. user=mdettweiler [2009-06-10 21:25:09] 317*2^320082-1 is not prime. Res64: 994490D72443FB63 Time : 0.0 sec. user=mdettweiler [2009-06-10 21:25:09] 327*2^320081-1 is not prime. Res64: FE2E8C431EB2E69B Time : 0.0 sec. user=mdettweiler [2009-06-10 22:37:33] 339*2^320080-1 is not prime. Res64: CB74F2B3606B52E6 Time : 0.0 sec. user=mdettweiler [2009-06-10 22:37:33] 357*2^320080-1 is not prime. Res64: 067DD7A2EAA6B9CE Time : 0.0 sec. user=mdettweiler [2009-06-10 22:37:33] 397*2^320081-1 is not prime. Res64: 1A6E1DDB3AD82C55 Time : 0.0 sec. user=mdettweiler [2009-06-10 22:37:33] 325*2^320083-1 is not prime. Res64: D5CD4BBE31758971 Time : 0.0 sec. user=mdettweiler [2009-06-10 22:37:33] 353*2^320084-1 is not prime. Res64: EF95251B8959DCBA Time : 0.0 sec. user=mdettweiler [2009-06-10 22:37:33] 355*2^320085-1 is not prime. Res64: 6540ADF8CAFDBD16 Time : 0.0 sec. user=mdettweiler [2009-06-10 22:37:33] 357*2^320085-1 is not prime. Res64: 9D5B17066960CFD5 Time : 0.0 sec. user=mdettweiler [2009-06-10 22:37:33] 389*2^320084-1 is not prime. Res64: 3D67D9BD0F812646 Time : 0.0 sec. user=mdettweiler [2009-06-10 22:37:33] 391*2^320085-1 is not prime. Res64: 4D2977AE6B8D7294 Time : 0.0 sec. user=mdettweiler [2009-06-10 22:37:33] 319*2^320085-1 is not prime. Res64: 0563309F601BE210 Time : 0.0 sec. user=mdettweiler [2009-06-10 23:53:57] 307*2^320089-1 is not prime. Res64: A15185AB5B7E5AA6 Time : 0.0 sec. user=mdettweiler [2009-06-10 23:53:57] 321*2^320087-1 is not prime. Res64: 7376DFE3CDD4AFF4 Time : 0.0 sec. user=mdettweiler [2009-06-10 23:53:57] 327*2^320088-1 is not prime. Res64: 59CB648770FF8BE5 Time : 0.0 sec. user=mdettweiler [2009-06-10 23:53:57] 337*2^320089-1 is not prime. Res64: A3757721BB0F6E73 Time : 0.0 sec. user=mdettweiler [2009-06-10 23:53:57] 345*2^320086-1 is not prime. Res64: 810636AD4CA99D2D Time : 0.0 sec. user=mdettweiler [2009-06-10 23:53:57] 351*2^320087-1 is not prime. Res64: 3FBA5758F76F7FB8 Time : 0.0 sec. user=mdettweiler [2009-06-10 23:53:57] 365*2^320086-1 is not prime. Res64: 202CD8ED018FBE8C Time : 0.0 sec. user=mdettweiler [2009-06-10 23:53:57] 391*2^320089-1 is not prime. Res64: AF4BE50432E09179 Time : 0.0 sec. user=mdettweiler [2009-06-10 23:53:57] 319*2^320087-1 is not prime. Res64: A1AFA46DFBB87943 Time : 0.0 sec. user=mdettweiler [2009-06-10 23:53:57] 347*2^320090-1 is not prime. Res64: 3D7405A5038466BD Time : 0.0 sec. user=mdettweiler [2009-06-11 01:05:10] 301*2^320095-1 is not prime. Res64: 4BC8F3C85FC67341 Time : 0.0 sec. user=mdettweiler [2009-06-11 01:05:10] 307*2^320093-1 is not prime. Res64: 4E311BB3E6C70D55 Time : 0.0 sec. user=mdettweiler [2009-06-11 01:05:10] 339*2^320095-1 is not prime. Res64: 735647387435B151 Time : 0.0 sec. user=mdettweiler [2009-06-11 01:05:10] 345*2^320094-1 is not prime. Res64: 5A1166625EB775BD Time : 0.0 sec. user=mdettweiler [2009-06-11 01:05:10] 345*2^320095-1 is not prime. Res64: 6D9A28C07DED9373 Time : 0.0 sec. user=mdettweiler [2009-06-11 01:05:10] 357*2^320093-1 is not prime. Res64: DAA5098B79C37978 Time : 0.0 sec. user=mdettweiler [2009-06-11 01:05:10] 397*2^320093-1 is not prime. Res64: 1320D18EC68A20C5 Time : 0.0 sec. user=mdettweiler [2009-06-11 01:05:10] 315*2^320095-1 is not prime. Res64: 6202F5AFA1CFD774 Time : 0.0 sec. user=mdettweiler [2009-06-11 01:05:10] 319*2^320093-1 is not prime. Res64: 0CDDC0C7D454E07B Time : 0.0 sec. user=mdettweiler [2009-06-11 01:05:10] 301*2^320097-1 is not prime. Res64: A674001A16B644F2 Time : 0.0 sec. user=mdettweiler [2009-06-11 02:16:24] 321*2^320098-1 is not prime. Res64: E0AA6FFB1627E2B0 Time : 0.0 sec. user=mdettweiler [2009-06-11 02:16:24] 333*2^320096-1 is not prime. Res64: 5D65C18848345147 Time : 0.0 sec. user=mdettweiler [2009-06-11 02:16:24] 339*2^320096-1 is not prime. Res64: BE218375509B655E Time : 0.0 sec. user=mdettweiler [2009-06-11 02:16:24] 339*2^320099-1 is not prime. Res64: F48F1CE5D6DA722A Time : 0.0 sec. user=mdettweiler [2009-06-11 02:16:24] 351*2^320098-1 is not prime. Res64: 5AE1F8F0FEA7B0CC Time : 0.0 sec. user=mdettweiler [2009-06-11 02:16:24] 367*2^320097-1 is not prime. Res64: A4E5637A65C3D3B8 Time : 0.0 sec. user=mdettweiler [2009-06-11 02:16:24] 377*2^320096-1 is not prime. Res64: F1FC5E9CD1B4C112 Time : 0.0 sec. user=mdettweiler [2009-06-11 02:16:24] 387*2^320097-1 is not prime. Res64: 8774797843E65A6E Time : 0.0 sec. user=mdettweiler [2009-06-11 02:16:24] 395*2^320096-1 is not prime. Res64: 1D052907211021C5 Time : 0.0 sec. user=mdettweiler [2009-06-11 02:16:24] 315*2^320098-1 is not prime. Res64: 42228377583CF7A6 Time : 0.0 sec. user=mdettweiler [2009-06-11 03:31:58] 315*2^320099-1 is not prime. Res64: 8BB64809EDBB51ED Time : 0.0 sec. user=mdettweiler [2009-06-11 03:31:58] 383*2^320096-1 is not prime. Res64: 44F5C51CC2B8C6B5 Time : 0.0 sec. user=mdettweiler [2009-06-11 03:31:58] 351*2^320101-1 is not prime. Res64: BC16565FC31BA074 Time : 0.0 sec. user=mdettweiler [2009-06-11 03:31:58] 367*2^320101-1 is not prime. Res64: C21492AB61BD1CF7 Time : 0.0 sec. user=mdettweiler [2009-06-11 03:31:58] 321*2^320105-1 is not prime. Res64: 61521EB5C597937E Time : 0.0 sec. user=mdettweiler [2009-06-11 03:31:58] 333*2^320103-1 is not prime. Res64: C340B54013D62E19 Time : 0.0 sec. user=mdettweiler [2009-06-11 03:31:58] 319*2^320103-1 is not prime. Res64: F6F8FBE1FA3C38C8 Time : 0.0 sec. user=mdettweiler [2009-06-11 03:31:58] 301*2^320107-1 is not prime. Res64: 7FD151D96D3977FE Time : 0.0 sec. user=mdettweiler [2009-06-11 03:31:58] 313*2^320107-1 is not prime. Res64: FD0E597046959D67 Time : 0.0 sec. user=mdettweiler [2009-06-11 03:31:58] 327*2^320106-1 is not prime. Res64: ACF93C23ADDB54CB Time : 0.0 sec. user=mdettweiler [2009-06-11 04:46:37] 327*2^320109-1 is not prime. Res64: 09865BFD896FA495 Time : 0.0 sec. user=mdettweiler [2009-06-11 04:46:37] 345*2^320109-1 is not prime. Res64: 446EF1FD0DF909F0 Time : 0.0 sec. user=mdettweiler [2009-06-11 04:46:37] 347*2^320106-1 is not prime. Res64: D9A8FB9D7457E0FD Time : 0.0 sec. user=mdettweiler [2009-06-11 04:46:37] 381*2^320109-1 is not prime. Res64: CA9BBEFAED23E029 Time : 0.0 sec. user=mdettweiler [2009-06-11 04:46:37] 395*2^320108-1 is not prime. Res64: 119F2231450A8BBB Time : 0.0 sec. user=mdettweiler [2009-06-11 04:46:37] 315*2^320109-1 is not prime. Res64: 6B29C64E69BE54D6 Time : 0.0 sec. user=mdettweiler [2009-06-11 04:46:37] 383*2^320106-1 is not prime. Res64: C4FDA1C3CD33D952 Time : 0.0 sec. user=mdettweiler [2009-06-11 04:46:37] 321*2^320111-1 is not prime. Res64: C209BD1C8330D615 Time : 0.0 sec. user=mdettweiler [2009-06-11 04:46:37] 323*2^320110-1 is not prime. Res64: CF18A8B0B9745D5B Time : 0.0 sec. user=mdettweiler [2009-06-11 04:46:37] 335*2^320112-1 is not prime. Res64: A8449BF6FCB42B9F Time : 0.0 sec.