user=vaughan [2010-06-25 00:01:22] 555*2^835729-1 is not prime. Res64: B9963B4B2BAB44FF Time : 1034.0 sec. user=vaughan [2010-06-25 00:02:38] 559*2^835729-1 is not prime. Res64: C9E9E0804EFA1371 Time : 1064.0 sec. user=vaughan [2010-06-25 00:03:07] 589*2^835729-1 is not prime. Res64: 8FDAED472DE4B5A0 Time : 1051.0 sec. user=vaughan [2010-06-25 00:04:27] 489*2^835732-1 is not prime. Res64: 5014FF8943551349 Time : 1078.0 sec. user=vaughan [2010-06-25 00:08:18] 585*2^835734-1 is not prime. Res64: 2D624F5BC7A23CC7 Time : 1121.0 sec. user=vaughan [2010-06-25 00:11:18] 539*2^835736-1 is not prime. Res64: B1AF72C36CA86E70 Time : 713.0 sec. user=vaughan [2010-06-25 00:11:29] 411*2^835735-1 is not prime. Res64: 907326546D4814E8 Time : 980.0 sec. user=vaughan [2010-06-25 00:11:33] 563*2^835736-1 is not prime. Res64: 5482BC7CCB92AB28 Time : 715.0 sec. user=vaughan [2010-06-25 00:11:43] 469*2^835737-1 is not prime. Res64: 18DA1799CD273031 Time : 716.0 sec. user=vaughan [2010-06-25 00:12:05] 531*2^835725-1 is not prime. Res64: A5039A8AD9E6204E Time : 1977.0 sec. user=vaughan [2010-06-25 00:12:11] 415*2^835735-1 is not prime. Res64: 8086DFF9063C0412 Time : 988.0 sec. user=vaughan [2010-06-25 00:12:30] 527*2^835726-1 is not prime. Res64: 0528EA1D792A3B24 Time : 1985.0 sec. user=vaughan [2010-06-25 00:13:13] 463*2^835735-1 is not prime. Res64: B720E8A5F9E18E44 Time : 999.0 sec. user=Flatlander [2010-06-25 00:13:23] 569*2^835692-1 is not prime. Res64: 58CD4B3B846BC93F Time : 9569.0 sec. user=Flatlander [2010-06-25 00:13:24] 587*2^835692-1 is not prime. Res64: 5BA56E27F16EA4FF Time : 9570.0 sec. user=Flatlander [2010-06-25 00:13:25] 409*2^835693-1 is not prime. Res64: 425C6DB2AD0B2314 Time : 9570.0 sec. user=Flatlander [2010-06-25 00:13:26] 421*2^835693-1 is not prime. Res64: 7681581088FA77C0 Time : 9571.0 sec. user=Flatlander [2010-06-25 00:13:26] 439*2^835693-1 is not prime. Res64: 0FA40F2A698B7D91 Time : 9571.0 sec. user=vaughan [2010-06-25 00:13:49] 471*2^835735-1 is not prime. Res64: 35C982566907698D Time : 1005.0 sec. user=vaughan [2010-06-25 00:14:35] 589*2^835735-1 is not prime. Res64: 435AB2A4B98968AE Time : 1004.0 sec. user=vaughan [2010-06-25 00:16:24] 453*2^835735-1 is not prime. Res64: 1BFC8F800EE1400C Time : 1213.0 sec. user=vaughan [2010-06-25 00:17:27] 501*2^835737-1 is not prime. Res64: A12A62895F10114B Time : 1031.0 sec. user=vaughan [2010-06-25 00:17:54] 511*2^835737-1 is not prime. Res64: CF47938576762D38 Time : 1031.0 sec. user=vaughan [2010-06-25 00:18:10] 529*2^835737-1 is not prime. Res64: A587344412D0349A Time : 1034.0 sec. user=vaughan [2010-06-25 00:18:37] 413*2^835738-1 is not prime. Res64: 6328696A50DD268B Time : 1035.0 sec. user=vaughan [2010-06-25 00:20:16] 453*2^835738-1 is not prime. Res64: E400741B3C82D9F9 Time : 1059.0 sec. user=vaughan [2010-06-25 00:20:36] 491*2^835738-1 is not prime. Res64: 5728709224F8539F Time : 1050.0 sec. user=vaughan [2010-06-25 00:22:21] 527*2^835738-1 is not prime. Res64: 49DA325ADFC4F2ED Time : 1074.0 sec. user=vaughan [2010-06-25 00:23:11] 573*2^835738-1 is not prime. Res64: CEB4E32B0BB3DEE0 Time : 713.0 sec. user=vaughan [2010-06-25 00:23:29] 433*2^835739-1 is not prime. Res64: FA06B47DE3DEE5CD Time : 716.0 sec. user=vaughan [2010-06-25 00:23:38] 543*2^835739-1 is not prime. Res64: 3BE8F59C65729D26 Time : 715.0 sec. user=vaughan [2010-06-25 00:26:53] 545*2^835738-1 is not prime. Res64: BEB7962F3B7181E3 Time : 1116.0 sec. user=vaughan [2010-06-25 00:27:51] 575*2^835738-1 is not prime. Res64: 4874CCB46630A444 Time : 982.0 sec. user=vaughan [2010-06-25 00:28:39] 539*2^835740-1 is not prime. Res64: 0ED58ACC8DD10AB3 Time : 988.0 sec. user=vaughan [2010-06-25 00:29:49] 587*2^835740-1 is not prime. Res64: 5BA7C9EC4433884B Time : 996.0 sec. user=vaughan [2010-06-25 00:30:34] 525*2^835742-1 is not prime. Res64: D896E9D6BB8BC17C Time : 1005.0 sec. user=vaughan [2010-06-25 00:31:21] 465*2^835743-1 is not prime. Res64: E2AC29C540D2382F Time : 1006.0 sec. user=vaughan [2010-06-25 00:34:44] 419*2^835744-1 is not prime. Res64: 693CE0A81D2D449F Time : 1037.0 sec. user=vaughan [2010-06-25 00:35:04] 437*2^835746-1 is not prime. Res64: 3984174310464407 Time : 713.0 sec. user=vaughan [2010-06-25 00:35:08] 437*2^835744-1 is not prime. Res64: 1EF938C92C4F5FCA Time : 1034.0 sec. user=vaughan [2010-06-25 00:35:24] 473*2^835746-1 is not prime. Res64: CF2741692799F604 Time : 716.0 sec. user=vaughan [2010-06-25 00:35:25] 539*2^835744-1 is not prime. Res64: 4B57A3E172D52415 Time : 1035.0 sec. user=vaughan [2010-06-25 00:35:33] 495*2^835746-1 is not prime. Res64: B0BBEFC8F9C27A28 Time : 715.0 sec. user=vaughan [2010-06-25 00:35:50] 549*2^835744-1 is not prime. Res64: BB83223212C8F2C0 Time : 1033.0 sec. user=vaughan [2010-06-25 00:36:42] 595*2^835743-1 is not prime. Res64: AD50B2412C5255D9 Time : 1218.0 sec. user=vaughan [2010-06-25 00:37:54] 481*2^835745-1 is not prime. Res64: FAD7746CB31038A9 Time : 1059.0 sec. user=vaughan [2010-06-25 00:38:06] 511*2^835745-1 is not prime. Res64: CC423BB3FFA21DC8 Time : 1050.0 sec. user=vaughan [2010-06-25 00:40:17] 591*2^835745-1 is not prime. Res64: C8D453BB782B3B50 Time : 1077.0 sec. user=vaughan [2010-06-25 00:44:12] 551*2^835746-1 is not prime. Res64: 048E5567C88B91E8 Time : 981.0 sec. user=vaughan [2010-06-25 00:45:02] 513*2^835740-1 is not prime. Res64: 01D5D473C07EE162 Time : 1978.0 sec. user=vaughan [2010-06-25 00:45:06] 567*2^835746-1 is not prime. Res64: 20938D6081FFE347 Time : 988.0 sec. user=vaughan [2010-06-25 00:45:20] 569*2^835740-1 is not prime. Res64: F38DFDB67F399BBA Time : 1971.0 sec. user=vaughan [2010-06-25 00:45:30] 513*2^835746-1 is not prime. Res64: A7FDEE6E78EA906A Time : 1118.0 sec. user=vaughan [2010-06-25 00:46:31] 593*2^835746-1 is not prime. Res64: FCEA8310878BA63D Time : 1002.0 sec. user=vaughan [2010-06-25 00:46:58] 519*2^835747-1 is not prime. Res64: BDE421DC15A51C4C Time : 714.0 sec. user=vaughan [2010-06-25 00:47:19] 413*2^835748-1 is not prime. Res64: 29E700C9B10CFAC0 Time : 716.0 sec. user=vaughan [2010-06-25 00:47:19] 405*2^835747-1 is not prime. Res64: 468583AA9AF00D68 Time : 1006.0 sec. user=vaughan [2010-06-25 00:47:29] 423*2^835748-1 is not prime. Res64: 8E2EAE703824F017 Time : 716.0 sec. user=vaughan [2010-06-25 00:48:08] 489*2^835747-1 is not prime. Res64: 5E9735FEA6D905DA Time : 1007.0 sec. user=vaughan [2010-06-25 00:51:55] 495*2^835747-1 is not prime. Res64: 6CEEE5D522770B7D Time : 1031.0 sec. user=vaughan [2010-06-25 00:52:19] 523*2^835747-1 is not prime. Res64: 27AAB1EC761D9509 Time : 1031.0 sec. user=vaughan [2010-06-25 00:52:39] 417*2^835748-1 is not prime. Res64: 77D940FF494EB028 Time : 1034.0 sec. user=vaughan [2010-06-25 00:53:04] 437*2^835748-1 is not prime. Res64: 1B45D0E8239A0315 Time : 1035.0 sec. user=vaughan [2010-06-25 00:55:32] 515*2^835748-1 is not prime. Res64: 20A549912C6EE629 Time : 1059.0 sec. user=vaughan [2010-06-25 00:55:35] 519*2^835748-1 is not prime. Res64: B19D2F0F9B04714D Time : 1050.0 sec. user=vaughan [2010-06-25 00:56:57] 453*2^835748-1 is not prime. Res64: 492E4B1DED17EC5B Time : 1215.0 sec. user=Flatlander [2010-06-25 00:58:07] 403*2^835727-1 is not prime. Res64: CDDD53601FB2B5CB Time : 4697.0 sec. user=Flatlander [2010-06-25 00:58:08] 493*2^835727-1 is not prime. Res64: CCA069D1065EA868 Time : 4697.0 sec. user=Flatlander [2010-06-25 00:58:09] 589*2^835727-1 is not prime. Res64: BA7EBDBDA142167F Time : 4696.0 sec. user=Flatlander [2010-06-25 00:58:10] 405*2^835728-1 is not prime. Res64: DFA102D5A26B7BBE Time : 4696.0 sec. user=Flatlander [2010-06-25 00:58:10] 413*2^835728-1 is not prime. Res64: C503BA26054AC738 Time : 4694.0 sec. user=vaughan [2010-06-25 00:58:11] 573*2^835748-1 is not prime. Res64: 0492127442EDCF6E Time : 1074.0 sec. user=vaughan [2010-06-25 00:58:51] 495*2^835750-1 is not prime. Res64: F9500ABAC0919CAA Time : 714.0 sec. user=vaughan [2010-06-25 00:59:14] 513*2^835750-1 is not prime. Res64: 818631A0AF274FFE Time : 715.0 sec. user=vaughan [2010-06-25 00:59:24] 567*2^835750-1 is not prime. Res64: DBEBB9F602D92377 Time : 716.0 sec. user=vaughan [2010-06-25 01:00:33] 465*2^835749-1 is not prime. Res64: DB6DD0AB87D2B72B Time : 981.0 sec. user=vaughan [2010-06-25 01:01:33] 405*2^835750-1 is not prime. Res64: AE405AD8FA379F9E Time : 988.0 sec. user=vaughan [2010-06-25 01:03:09] 477*2^835750-1 is not prime. Res64: 38B62B4CE056C3C2 Time : 998.0 sec. user=vaughan [2010-06-25 01:04:03] 443*2^835750-1 is not prime. Res64: 910F4E73C8471C0A Time : 1114.0 sec. user=vaughan [2010-06-25 01:04:04] 533*2^835750-1 is not prime. Res64: 6D7113DB1B0BE24E Time : 1005.0 sec. user=vaughan [2010-06-25 01:04:53] 597*2^835750-1 is not prime. Res64: 298AFD7B8CCD4047 Time : 1005.0 sec. user=vaughan [2010-06-25 01:09:05] 511*2^835751-1 is not prime. Res64: 6F1F82E9B470AD79 Time : 1030.0 sec. user=vaughan [2010-06-25 01:09:28] 595*2^835751-1 is not prime. Res64: C1D0F28AAC360307 Time : 1029.0 sec. user=vaughan [2010-06-25 01:09:55] 413*2^835752-1 is not prime. Res64: 97E35998C0DEF774 Time : 1036.0 sec. user=vaughan [2010-06-25 01:10:17] 419*2^835752-1 is not prime. Res64: 559886250EDB00B9 Time : 1034.0 sec. user=vaughan [2010-06-25 01:10:44] 595*2^835753-1 is not prime. Res64: CDDAE060DEE22CE0 Time : 713.0 sec. user=vaughan [2010-06-25 01:11:09] 483*2^835754-1 is not prime. Res64: 4E7CFA34B85B6B3C Time : 715.0 sec. user=vaughan [2010-06-25 01:11:19] 533*2^835754-1 is not prime. Res64: 14F9200CF21E0ABD Time : 715.0 sec. user=vaughan [2010-06-25 01:13:03] 489*2^835752-1 is not prime. Res64: ECCDFA54517B5BC7 Time : 1048.0 sec. user=vaughan [2010-06-25 01:13:09] 485*2^835752-1 is not prime. Res64: FC1BA94689297882 Time : 1058.0 sec. user=vaughan [2010-06-25 01:16:04] 563*2^835752-1 is not prime. Res64: B640741A7AB1DD5C Time : 1073.0 sec. user=vaughan [2010-06-25 01:16:53] 403*2^835755-1 is not prime. Res64: 42B661BF6BED2E39 Time : 981.0 sec. user=vaughan [2010-06-25 01:17:11] 557*2^835752-1 is not prime. Res64: 5AA246EBB54939D2 Time : 1214.0 sec. user=vaughan [2010-06-25 01:17:59] 409*2^835755-1 is not prime. Res64: B064195725BCC150 Time : 986.0 sec. user=vaughan [2010-06-25 01:18:01] 559*2^835749-1 is not prime. Res64: FC353C96B63A1384 Time : 1979.0 sec. user=vaughan [2010-06-25 01:18:26] 413*2^835750-1 is not prime. Res64: 5EBDBA85AC0C1343 Time : 1986.0 sec. user=vaughan [2010-06-25 01:19:49] 465*2^835755-1 is not prime. Res64: 04442EB2B51CF66F Time : 1000.0 sec. user=vaughan [2010-06-25 01:20:50] 555*2^835755-1 is not prime. Res64: A212FD16DFB9ED03 Time : 1007.0 sec. user=vaughan [2010-06-25 01:21:37] 573*2^835755-1 is not prime. Res64: CC48B94BBACD5FAA Time : 1005.0 sec. user=vaughan [2010-06-25 01:22:37] 575*2^835756-1 is not prime. Res64: AFF9F3BB414CF80C Time : 713.0 sec. user=vaughan [2010-06-25 01:22:38] 511*2^835755-1 is not prime. Res64: 22FD9ED46B74EB98 Time : 1115.0 sec. user=vaughan [2010-06-25 01:23:05] 445*2^835757-1 is not prime. Res64: 6A3599898C509E7F Time : 716.0 sec. user=vaughan [2010-06-25 01:23:14] 517*2^835757-1 is not prime. Res64: 9D77D1E9DF2D03D9 Time : 715.0 sec. user=vaughan [2010-06-25 01:26:15] 455*2^835756-1 is not prime. Res64: 9F9A23B74D701CAD Time : 1030.0 sec. user=vaughan [2010-06-25 01:26:37] 483*2^835756-1 is not prime. Res64: 1C65F35E4C8A5797 Time : 1029.0 sec. user=vaughan [2010-06-25 01:27:09] 539*2^835756-1 is not prime. Res64: F6F2B77419E416A6 Time : 1035.0 sec. user=vaughan [2010-06-25 01:27:31] 573*2^835756-1 is not prime. Res64: C7CD610CE3069AF4 Time : 1034.0 sec. user=vaughan [2010-06-25 01:30:33] 423*2^835758-1 is not prime. Res64: B9013DC26CCDC43B Time : 1050.0 sec. user=vaughan [2010-06-25 01:30:46] 453*2^835758-1 is not prime. Res64: F6C85EDEAFA4AAA3 Time : 1057.0 sec. user=Flatlander [2010-06-25 01:31:55] 411*2^835741-1 is not prime. Res64: 200C13EE9479C294 Time : 4707.0 sec. user=Flatlander [2010-06-25 01:31:55] 415*2^835741-1 is not prime. Res64: D9053A3A533D6178 Time : 4706.0 sec. user=Flatlander [2010-06-25 01:31:56] 477*2^835741-1 is not prime. Res64: 0400E1DB421C21C4 Time : 4705.0 sec. user=Flatlander [2010-06-25 01:31:57] 577*2^835741-1 is not prime. Res64: 0E07C3D0C43F1FFC Time : 4704.0 sec. user=Flatlander [2010-06-25 01:31:58] 447*2^835742-1 is not prime. Res64: A9828557DDA5E779 Time : 4704.0 sec. user=vaughan [2010-06-25 01:33:13] 421*2^835759-1 is not prime. Res64: F7ADD8EDE0AC5A1C Time : 980.0 sec. user=vaughan [2010-06-25 01:33:58] 503*2^835758-1 is not prime. Res64: F63DBFB7D45428E3 Time : 1074.0 sec. user=vaughan [2010-06-25 01:34:27] 463*2^835759-1 is not prime. Res64: 7441F42339DE9BA0 Time : 988.0 sec. user=vaughan [2010-06-25 01:34:30] 439*2^835761-1 is not prime. Res64: 211DB6AD9E9ACBE2 Time : 713.0 sec. user=vaughan [2010-06-25 01:35:00] 549*2^835761-1 is not prime. Res64: F0451EEA4D940FA6 Time : 716.0 sec. user=vaughan [2010-06-25 01:35:10] 571*2^835761-1 is not prime. Res64: AD1D4979597D75C6 Time : 716.0 sec. user=vaughan [2010-06-25 01:36:28] 473*2^835760-1 is not prime. Res64: DBCBDFC60BB360D0 Time : 999.0 sec. user=vaughan [2010-06-25 01:37:23] 439*2^835759-1 is not prime. Res64: 80E705FB1D5B3E15 Time : 1212.0 sec. user=vaughan [2010-06-25 01:37:36] 563*2^835760-1 is not prime. Res64: A83DF61A39F7ABB3 Time : 1006.0 sec. user=vaughan [2010-06-25 01:38:21] 415*2^835761-1 is not prime. Res64: D0187E5946AD8223 Time : 1004.0 sec. user=Flatlander [2010-06-25 01:38:42] 561*2^835730-1 is not prime. Res64: 9ACC0F334EB86D78 Time : 6743.0 sec. user=Flatlander [2010-06-25 01:38:42] 567*2^835730-1 is not prime. Res64: 35BDCC6BCA522BF5 Time : 6741.0 sec. user=Flatlander [2010-06-25 01:38:43] 405*2^835731-1 is not prime. Res64: 478F49785E86ED65 Time : 6741.0 sec. user=Flatlander [2010-06-25 01:38:44] 433*2^835731-1 is not prime. Res64: 1FD452D7FE4E5234 Time : 6740.0 sec. user=Flatlander [2010-06-25 01:38:45] 513*2^835731-1 is not prime. Res64: 94E1CD4679D3C25F Time : 6739.0 sec. user=vaughan [2010-06-25 01:41:13] 499*2^835761-1 is not prime. Res64: 509BF89A5B075DA3 Time : 1115.0 sec. user=vaughan [2010-06-25 01:43:26] 577*2^835761-1 is not prime. Res64: 6C7A29329F97AEE2 Time : 1032.0 sec. user=vaughan [2010-06-25 01:43:47] 597*2^835761-1 is not prime. Res64: 9BB957D914A4494F Time : 1031.0 sec. user=vaughan [2010-06-25 01:44:23] 401*2^835762-1 is not prime. Res64: 9E9E365C20E66AA1 Time : 1034.0 sec. user=vaughan [2010-06-25 01:44:45] 453*2^835762-1 is not prime. Res64: 27831F869A08A3A9 Time : 1034.0 sec. user=vaughan [2010-06-25 01:46:24] 415*2^835765-1 is not prime. Res64: 7EF264556E41D8AB Time : 714.0 sec. user=vaughan [2010-06-25 01:46:55] 525*2^835765-1 is not prime. Res64: 36FD5B1F0515FEAB Time : 715.0 sec. user=vaughan [2010-06-25 01:47:05] 417*2^835766-1 is not prime. Res64: 30765EFB0470E0FC Time : 716.0 sec. user=vaughan [2010-06-25 01:48:02] 441*2^835763-1 is not prime. Res64: 5F5A4A96A2072263 Time : 1049.0 sec. user=vaughan [2010-06-25 01:48:21] 465*2^835763-1 is not prime. Res64: 31A4D8521850DB4F Time : 1055.0 sec. user=vaughan [2010-06-25 01:49:33] 563*2^835764-1 is not prime. Res64: FBAD5EDAD6803831 Time : 980.0 sec. user=vaughan [2010-06-25 01:50:53] 569*2^835764-1 is not prime. Res64: E04234D59E565362 Time : 987.0 sec. user=vaughan [2010-06-25 01:51:03] 493*2^835759-1 is not prime. Res64: 486F8B2B5538ABB3 Time : 1982.0 sec. user=vaughan [2010-06-25 01:51:21] 447*2^835760-1 is not prime. Res64: 3AF4442658C35F44 Time : 1976.0 sec. user=vaughan [2010-06-25 01:51:52] 567*2^835764-1 is not prime. Res64: 3B941EF5E6731FE5 Time : 1075.0 sec. user=vaughan [2010-06-25 01:53:06] 503*2^835766-1 is not prime. Res64: 87F6C298B05AD9EF Time : 998.0 sec. user=vaughan [2010-06-25 01:54:22] 573*2^835766-1 is not prime. Res64: CDA64FA7C12966A3 Time : 1006.0 sec. user=vaughan [2010-06-25 01:55:07] 429*2^835767-1 is not prime. Res64: C23D348E9333A421 Time : 1006.0 sec. user=vaughan [2010-06-25 01:57:38] 563*2^835766-1 is not prime. Res64: 1F1603317352952D Time : 1216.0 sec. user=vaughan [2010-06-25 01:58:19] 455*2^835772-1 is not prime. Res64: 52C7ECB86C499E36 Time : 716.0 sec. user=vaughan [2010-06-25 01:58:52] 467*2^835772-1 is not prime. Res64: FD92884BA9D0DAB2 Time : 717.0 sec. user=vaughan [2010-06-25 01:59:02] 483*2^835772-1 is not prime. Res64: 5614730C24110968 Time : 717.0 sec. user=vaughan [2010-06-25 01:59:54] 539*2^835768-1 is not prime. Res64: D5C3AEE2384943CF Time : 1121.0 sec. user=vaughan [2010-06-25 02:00:37] 435*2^835769-1 is not prime. Res64: 1F0C65916BA3AFD3 Time : 1032.0 sec. user=vaughan [2010-06-25 02:00:58] 459*2^835769-1 is not prime. Res64: AEADFC3B07E8A528 Time : 1031.0 sec. user=vaughan [2010-06-25 02:01:40] 473*2^835770-1 is not prime. Res64: 239F548ACF9CA6BE Time : 1037.0 sec. user=vaughan [2010-06-25 02:02:00] 541*2^835771-1 is not prime. Res64: 70683D35700A2621 Time : 1035.0 sec. user=Flatlander [2010-06-25 02:03:27] 507*2^835733-1 is not prime. Res64: D1156AFDA1CE9EA1 Time : 8073.0 sec. user=Flatlander [2010-06-25 02:03:27] 519*2^835733-1 is not prime. Res64: C26649FCB304AD9D Time : 8071.0 sec. user=Flatlander [2010-06-25 02:03:28] 567*2^835733-1 is not prime. Res64: E15D63F0AD713325 Time : 8071.0 sec. user=Flatlander [2010-06-25 02:03:29] 423*2^835734-1 is not prime. Res64: F87CFBE4C74C86E0 Time : 8070.0 sec. user=Flatlander [2010-06-25 02:03:30] 455*2^835734-1 is not prime. Res64: 4795B8C02B7B222B Time : 8070.0 sec. user=vaughan [2010-06-25 02:05:33] 525*2^835772-1 is not prime. Res64: 2A864B15238F36A9 Time : 1051.0 sec. user=vaughan [2010-06-25 02:05:55] 507*2^835773-1 is not prime. Res64: 18B2AF74B64D7FBD Time : 982.0 sec. user=vaughan [2010-06-25 02:06:01] 487*2^835773-1 is not prime. Res64: EBF947EC8F6DC46A Time : 1060.0 sec. user=vaughan [2010-06-25 02:07:22] 571*2^835773-1 is not prime. Res64: 3E3231C437E79E3A Time : 989.0 sec. user=vaughan [2010-06-25 02:09:44] 503*2^835774-1 is not prime. Res64: 1AB5BAB42E8B0A11 Time : 998.0 sec. user=vaughan [2010-06-25 02:09:52] 423*2^835774-1 is not prime. Res64: 30FD9D115CD8466F Time : 1081.0 sec. user=vaughan [2010-06-25 02:10:12] 537*2^835776-1 is not prime. Res64: 6FEBC75796430013 Time : 713.0 sec. user=vaughan [2010-06-25 02:10:48] 565*2^835777-1 is not prime. Res64: 94D4E4BAC9D70A0B Time : 716.0 sec. user=vaughan [2010-06-25 02:10:57] 467*2^835778-1 is not prime. Res64: E5773167BF01C07D Time : 715.0 sec. user=vaughan [2010-06-25 02:11:07] 551*2^835774-1 is not prime. Res64: DDCF8011A5951679 Time : 1006.0 sec. user=vaughan [2010-06-25 02:11:50] 585*2^835775-1 is not prime. Res64: 5E8C147B07BC0433 Time : 1003.0 sec. user=Flatlander [2010-06-25 02:13:31] 427*2^835753-1 is not prime. Res64: 676C1FF9A58C4796 Time : 4519.0 sec. user=Flatlander [2010-06-25 02:13:32] 471*2^835753-1 is not prime. Res64: 9E1BF8FC65E07B55 Time : 4518.0 sec. user=Flatlander [2010-06-25 02:13:33] 511*2^835753-1 is not prime. Res64: 19DCEB9BC3FC5F0F Time : 4518.0 sec. user=Flatlander [2010-06-25 02:13:34] 547*2^835753-1 is not prime. Res64: 872D57517A535DA9 Time : 4517.0 sec. user=Flatlander [2010-06-25 02:13:35] 549*2^835753-1 is not prime. Res64: 8D08BBFA201FCADA Time : 4517.0 sec. user=vaughan [2010-06-25 02:17:49] 489*2^835779-1 is not prime. Res64: 28AC3FE9261C0B8E Time : 1033.0 sec. user=vaughan [2010-06-25 02:17:58] 509*2^835776-1 is not prime. Res64: CA4BF7166D271344 Time : 1221.0 sec. user=vaughan [2010-06-25 02:18:10] 573*2^835779-1 is not prime. Res64: 7A803FC2701AD3BC Time : 1032.0 sec. user=vaughan [2010-06-25 02:18:41] 551*2^835778-1 is not prime. Res64: EF6301D0DBE785B2 Time : 1128.0 sec. user=vaughan [2010-06-25 02:19:16] 423*2^835780-1 is not prime. Res64: 201F65B00E8CFF37 Time : 1057.0 sec. user=vaughan [2010-06-25 02:19:17] 465*2^835780-1 is not prime. Res64: 261A5B08DC02C0A1 Time : 1038.0 sec. user=vaughan [2010-06-25 02:22:05] 453*2^835784-1 is not prime. Res64: 1F74FA3484C31082 Time : 713.0 sec. user=vaughan [2010-06-25 02:22:17] 485*2^835782-1 is not prime. Res64: CA1EF5B833B836F7 Time : 982.0 sec. user=vaughan [2010-06-25 02:22:43] 483*2^835784-1 is not prime. Res64: 3F2DA1970DD2C0B2 Time : 716.0 sec. user=vaughan [2010-06-25 02:22:54] 543*2^835784-1 is not prime. Res64: CC400A1B0BCC4C46 Time : 717.0 sec. user=vaughan [2010-06-25 02:23:11] 483*2^835782-1 is not prime. Res64: 73C741EFCC21AF3C Time : 1058.0 sec. user=vaughan [2010-06-25 02:23:52] 429*2^835783-1 is not prime. Res64: 82BFCA2065E7207C Time : 991.0 sec. user=vaughan [2010-06-25 02:23:57] 555*2^835782-1 is not prime. Res64: 9F9AC3E713DD5B9F Time : 1077.0 sec. user=vaughan [2010-06-25 02:24:05] 577*2^835773-1 is not prime. Res64: 5D0DF298F1098561 Time : 1982.0 sec. user=vaughan [2010-06-25 02:24:28] 591*2^835773-1 is not prime. Res64: F7A1AC48F8E818FB Time : 1987.0 sec. user=vaughan [2010-06-25 02:26:22] 475*2^835783-1 is not prime. Res64: 0B0A88DFDFB20C5D Time : 998.0 sec. user=vaughan [2010-06-25 02:27:51] 585*2^835784-1 is not prime. Res64: 91321FE74E285074 Time : 1005.0 sec. user=vaughan [2010-06-25 02:28:09] 423*2^835784-1 is not prime. Res64: FC59FEAD1F399CE1 Time : 1098.0 sec. user=vaughan [2010-06-25 02:28:34] 599*2^835784-1 is not prime. Res64: 6C011716083CD811 Time : 1004.0 sec. user=vaughan [2010-06-25 02:34:00] 479*2^835788-1 is not prime. Res64: 454DE983ACCE49CF Time : 715.0 sec. user=vaughan [2010-06-25 02:34:39] 515*2^835788-1 is not prime. Res64: 3B3DA90220F5677E Time : 716.0 sec. user=vaughan [2010-06-25 02:34:51] 555*2^835788-1 is not prime. Res64: 06EDEC8EFC448DA1 Time : 717.0 sec. user=vaughan [2010-06-25 02:35:00] 495*2^835786-1 is not prime. Res64: 44F1FEA021FAC74C Time : 1031.0 sec. user=vaughan [2010-06-25 02:35:21] 543*2^835787-1 is not prime. Res64: 54F32E731C20CC9B Time : 1031.0 sec. user=vaughan [2010-06-25 02:36:31] 419*2^835788-1 is not prime. Res64: 297999E8EFA7FFC6 Time : 1035.0 sec. user=vaughan [2010-06-25 02:36:39] 571*2^835787-1 is not prime. Res64: 2124215EBF3EB5E8 Time : 1043.0 sec. user=vaughan [2010-06-25 02:37:21] 549*2^835787-1 is not prime. Res64: F1028B181E7B927F Time : 1121.0 sec. user=vaughan [2010-06-25 02:38:14] 519*2^835787-1 is not prime. Res64: A76B42EB5508D94A Time : 1216.0 sec. user=vaughan [2010-06-25 02:38:39] 483*2^835788-1 is not prime. Res64: D3703D6267F97DD0 Time : 983.0 sec. user=vaughan [2010-06-25 02:40:20] 597*2^835788-1 is not prime. Res64: 04FFC7FE66C07F1B Time : 989.0 sec. user=vaughan [2010-06-25 02:40:47] 579*2^835788-1 is not prime. Res64: 9DA1F0456AF7A4EF Time : 1056.0 sec. user=vaughan [2010-06-25 02:41:40] 537*2^835789-1 is not prime. Res64: DA6D5B35A6AED163 Time : 1064.0 sec. user=vaughan [2010-06-25 02:43:01] 461*2^835790-1 is not prime. Res64: 69B199502C963B93 Time : 999.0 sec. user=vaughan [2010-06-25 02:44:36] 575*2^835790-1 is not prime. Res64: 07BFF58A8F83CFE8 Time : 1005.0 sec. user=vaughan [2010-06-25 02:45:19] 489*2^835791-1 is not prime. Res64: B8E09ECA82C8F1EB Time : 1005.0 sec. user=vaughan [2010-06-25 02:45:53] 447*2^835792-1 is not prime. Res64: B0CB0AD7F3F0478B Time : 714.0 sec. user=vaughan [2010-06-25 02:46:33] 453*2^835791-1 is not prime. Res64: A7DEE5F8CC8EEDA8 Time : 1104.0 sec. user=vaughan [2010-06-25 02:46:34] 483*2^835792-1 is not prime. Res64: 2E29823F46B1DE51 Time : 716.0 sec. user=vaughan [2010-06-25 02:46:47] 527*2^835792-1 is not prime. Res64: 4798523B3CCB11D3 Time : 716.0 sec. user=vaughan [2010-06-25 02:52:11] 533*2^835792-1 is not prime. Res64: 61C64C25FEB3286F Time : 1031.0 sec. user=vaughan [2010-06-25 02:52:34] 567*2^835792-1 is not prime. Res64: 6676C96D368360D5 Time : 1034.0 sec. user=vaughan [2010-06-25 02:53:47] 517*2^835793-1 is not prime. Res64: 744F7BE9D6D9B921 Time : 1036.0 sec. user=vaughan [2010-06-25 02:54:01] 589*2^835793-1 is not prime. Res64: 1B13BBE66589116B Time : 1043.0 sec. user=vaughan [2010-06-25 02:55:08] 463*2^835795-1 is not prime. Res64: 497C9CD09F2614C3 Time : 990.0 sec. user=vaughan [2010-06-25 02:55:58] 593*2^835794-1 is not prime. Res64: 79256AB8666955FE Time : 1117.0 sec. user=vaughan [2010-06-25 02:56:52] 555*2^835795-1 is not prime. Res64: 35ECB627EC2E364A Time : 993.0 sec. user=vaughan [2010-06-25 02:57:06] 547*2^835789-1 is not prime. Res64: 5A7C9A362AF30F9C Time : 1982.0 sec. user=vaughan [2010-06-25 02:57:23] 589*2^835789-1 is not prime. Res64: C99EF02425957D57 Time : 1976.0 sec. user=vaughan [2010-06-25 02:57:48] 515*2^835796-1 is not prime. Res64: C555EDE7814B51CF Time : 715.0 sec. user=vaughan [2010-06-25 02:58:20] 589*2^835795-1 is not prime. Res64: EAEABAE8AA9EC059 Time : 1054.0 sec. user=vaughan [2010-06-25 02:58:30] 585*2^835796-1 is not prime. Res64: AA3BFE12737A399E Time : 716.0 sec. user=vaughan [2010-06-25 02:58:34] 451*2^835795-1 is not prime. Res64: DC20F25F40862343 Time : 1221.0 sec. user=vaughan [2010-06-25 02:58:42] 441*2^835797-1 is not prime. Res64: CA910F2A8B2DAA41 Time : 716.0 sec. user=vaughan [2010-06-25 02:59:24] 413*2^835796-1 is not prime. Res64: A85F165B35659427 Time : 1065.0 sec. user=vaughan [2010-06-25 02:59:42] 459*2^835796-1 is not prime. Res64: 380D5FF9D201B0A9 Time : 1001.0 sec. user=vaughan [2010-06-25 03:01:41] 465*2^835796-1 is not prime. Res64: B906FAB23D124799 Time : 1025.0 sec. user=vaughan [2010-06-25 03:02:04] 477*2^835796-1 is not prime. Res64: F6AEB8087A80A369 Time : 1005.0 sec. user=vaughan [2010-06-25 03:04:53] 579*2^835796-1 is not prime. Res64: 13FF61CEDC967A5A Time : 1101.0 sec. user=vaughan [2010-06-25 03:09:21] 445*2^835797-1 is not prime. Res64: 23E2ADD80747F3C0 Time : 1030.0 sec. user=vaughan [2010-06-25 03:09:42] 579*2^835799-1 is not prime. Res64: 3CCF8390830A0B98 Time : 715.0 sec. user=vaughan [2010-06-25 03:09:43] 531*2^835797-1 is not prime. Res64: 896866B60DC45CB3 Time : 1030.0 sec. user=vaughan [2010-06-25 03:10:25] 595*2^835799-1 is not prime. Res64: EE9A50312C5A14F2 Time : 715.0 sec. user=vaughan [2010-06-25 03:10:38] 527*2^835800-1 is not prime. Res64: 92B573D94A5F6EEE Time : 716.0 sec. user=vaughan [2010-06-25 03:11:36] 581*2^835798-1 is not prime. Res64: A14AD317660441F8 Time : 1055.0 sec. user=vaughan [2010-06-25 03:12:18] 567*2^835798-1 is not prime. Res64: E0B69B0F75BBE506 Time : 1111.0 sec. user=vaughan [2010-06-25 03:13:27] 597*2^835798-1 is not prime. Res64: 2FF58413BB60E577 Time : 1099.0 sec. user=vaughan [2010-06-25 03:14:08] 501*2^835799-1 is not prime. Res64: 1BF3F709D6F00183 Time : 1036.0 sec. user=vaughan [2010-06-25 03:14:37] 439*2^835799-1 is not prime. Res64: BB582336FCC39155 Time : 1119.0 sec. user=vaughan [2010-06-25 03:16:22] 557*2^835800-1 is not prime. Res64: 017A43DB27ACE8FC Time : 1000.0 sec. user=vaughan [2010-06-25 03:16:26] 589*2^835799-1 is not prime. Res64: 30D5E30C9C7D4842 Time : 1086.0 sec. user=vaughan [2010-06-25 03:17:08] 549*2^835800-1 is not prime. Res64: DB8E854CE5267A39 Time : 1064.0 sec. user=vaughan [2010-06-25 03:18:50] 507*2^835801-1 is not prime. Res64: 39EB80639C22A3D5 Time : 1006.0 sec. user=vaughan [2010-06-25 03:18:50] 515*2^835800-1 is not prime. Res64: 84C1A17834CF3D5F Time : 1217.0 sec. user=vaughan [2010-06-25 03:19:01] 585*2^835800-1 is not prime. Res64: 99CA6837F07ACB5B Time : 1040.0 sec. user=Flatlander [2010-06-25 03:21:36] 593*2^835780-1 is not prime. Res64: 5015A461E0BB0DFE Time : 4685.0 sec. user=vaughan [2010-06-25 03:21:36] 417*2^835802-1 is not prime. Res64: 863411AAC3FC43F8 Time : 714.0 sec. user=Flatlander [2010-06-25 03:21:36] 417*2^835781-1 is not prime. Res64: D0661E3AC7C73C88 Time : 4683.0 sec. user=Flatlander [2010-06-25 03:21:37] 549*2^835781-1 is not prime. Res64: 659AB453033BBC8B Time : 4682.0 sec. user=Flatlander [2010-06-25 03:21:37] 425*2^835782-1 is not prime. Res64: 76AA7CE1C25F4042 Time : 4681.0 sec. user=Flatlander [2010-06-25 03:21:38] 437*2^835782-1 is not prime. Res64: 19D7005920244C26 Time : 4680.0 sec. user=vaughan [2010-06-25 03:22:21] 585*2^835802-1 is not prime. Res64: 68BAA6D5138285F3 Time : 716.0 sec. user=vaughan [2010-06-25 03:22:34] 411*2^835803-1 is not prime. Res64: 7E39F8179F3895D3 Time : 716.0 sec. user=vaughan [2010-06-25 03:23:17] 517*2^835801-1 is not prime. Res64: BFF7DE305B038BE6 Time : 1105.0 sec. user=vaughan [2010-06-25 03:26:30] 591*2^835801-1 is not prime. Res64: 94188E4CB5474691 Time : 1030.0 sec. user=vaughan [2010-06-25 03:26:55] 561*2^835802-1 is not prime. Res64: AD67C1C0416DC66C Time : 1032.0 sec. user=vaughan [2010-06-25 03:29:01] 555*2^835803-1 is not prime. Res64: A9E5DDE8B17FA4F0 Time : 1046.0 sec. user=vaughan [2010-06-25 03:30:00] 505*2^835799-1 is not prime. Res64: 9D77184ABCC1A348 Time : 1974.0 sec. user=Flatlander [2010-06-25 03:30:38] 445*2^835785-1 is not prime. Res64: D268115FAB561B2A Time : 4622.0 sec. user=Flatlander [2010-06-25 03:30:39] 471*2^835785-1 is not prime. Res64: D8D881597F3F12AF Time : 4621.0 sec. user=Flatlander [2010-06-25 03:30:40] 525*2^835785-1 is not prime. Res64: D8D14F07F4C134CD Time : 4620.0 sec. user=Flatlander [2010-06-25 03:30:41] 529*2^835785-1 is not prime. Res64: 323DD38E843A17A0 Time : 4620.0 sec. user=Flatlander [2010-06-25 03:30:41] 471*2^835786-1 is not prime. Res64: BBFDA6886D43296D Time : 4618.0 sec. user=vaughan [2010-06-25 03:30:54] 583*2^835803-1 is not prime. Res64: 80064BDCFD313F26 Time : 1117.0 sec. user=vaughan [2010-06-25 03:30:58] 429*2^835804-1 is not prime. Res64: 8B507E47EF8841AF Time : 1010.0 sec. user=vaughan [2010-06-25 03:30:59] 413*2^835804-1 is not prime. Res64: 351E9F754BA89D07 Time : 1052.0 sec. user=vaughan [2010-06-25 03:31:18] 531*2^835799-1 is not prime. Res64: BDE94AF2BBD907F8 Time : 2035.0 sec. user=vaughan [2010-06-25 03:32:59] 511*2^835805-1 is not prime. Res64: F2EC3F2F1F3ABA9A Time : 998.0 sec. user=vaughan [2010-06-25 03:33:13] 533*2^835804-1 is not prime. Res64: 0E8A16330610FC5F Time : 1117.0 sec. user=vaughan [2010-06-25 03:33:29] 587*2^835806-1 is not prime. Res64: 1D2343DB5CF7E2D5 Time : 713.0 sec. user=vaughan [2010-06-25 03:34:16] 465*2^835809-1 is not prime. Res64: 48DC5834CDF214C1 Time : 716.0 sec. user=vaughan [2010-06-25 03:34:29] 535*2^835809-1 is not prime. Res64: F273C4527C5F14E6 Time : 715.0 sec. user=vaughan [2010-06-25 03:34:36] 591*2^835805-1 is not prime. Res64: 20D3931853035D01 Time : 1091.0 sec. user=vaughan [2010-06-25 03:35:34] 453*2^835806-1 is not prime. Res64: 5123ACC03CC37018 Time : 1005.0 sec. user=vaughan [2010-06-25 03:36:00] 581*2^835806-1 is not prime. Res64: 3AC2C4AEBD6A0390 Time : 1020.0 sec. user=vaughan [2010-06-25 03:36:06] 437*2^835806-1 is not prime. Res64: 97503B5EBBC7DE57 Time : 1138.0 sec. user=vaughan [2010-06-25 03:38:03] 567*2^835806-1 is not prime. Res64: 30CF261725D755F6 Time : 1153.0 sec. user=vaughan [2010-06-25 03:41:32] 555*2^835809-1 is not prime. Res64: 32FD9AB6733D5DE1 Time : 1096.0 sec. user=vaughan [2010-06-25 03:43:42] 423*2^835810-1 is not prime. Res64: 4D0E246335D53435 Time : 1032.0 sec. user=vaughan [2010-06-25 03:44:05] 437*2^835810-1 is not prime. Res64: 1CCBB8D6EC62E946 Time : 1031.0 sec. user=vaughan [2010-06-25 03:45:22] 481*2^835813-1 is not prime. Res64: 9442579599629B9B Time : 713.0 sec. user=vaughan [2010-06-25 03:46:11] 517*2^835813-1 is not prime. Res64: 32E45DFBFD59955E Time : 715.0 sec. user=vaughan [2010-06-25 03:46:25] 567*2^835813-1 is not prime. Res64: 0C0CD42A2927133E Time : 716.0 sec. user=vaughan [2010-06-25 03:46:27] 467*2^835810-1 is not prime. Res64: E8665644C4291FFB Time : 1046.0 sec. user=vaughan [2010-06-25 03:47:22] 567*2^835812-1 is not prime. Res64: C1B0F6259462BD89 Time : 983.0 sec. user=vaughan [2010-06-25 03:47:28] 479*2^835812-1 is not prime. Res64: 2082502C3A71F77B Time : 990.0 sec. user=vaughan [2010-06-25 03:48:39] 459*2^835812-1 is not prime. Res64: C131B5EBD014CEBB Time : 1065.0 sec. user=vaughan [2010-06-25 03:49:37] 429*2^835813-1 is not prime. Res64: 9210F42647D9A288 Time : 998.0 sec. user=vaughan [2010-06-25 03:51:38] 435*2^835813-1 is not prime. Res64: 7EE80E6D9DAC689A Time : 1105.0 sec. user=vaughan [2010-06-25 03:52:18] 595*2^835813-1 is not prime. Res64: 09BE3188E4D56D2C Time : 1004.0 sec. user=vaughan [2010-06-25 03:52:44] 577*2^835813-1 is not prime. Res64: 89416D9772A8B1EC Time : 1088.0 sec. user=vaughan [2010-06-25 03:52:47] 407*2^835814-1 is not prime. Res64: E46EC743322DAC12 Time : 1008.0 sec. user=vaughan [2010-06-25 03:55:51] 453*2^835814-1 is not prime. Res64: 5A9ECFB5F6FA04EA Time : 1185.0 sec. user=vaughan [2010-06-25 03:56:48] 563*2^835814-1 is not prime. Res64: ADC69EC20EDBB980 Time : 1125.0 sec. user=vaughan [2010-06-25 03:57:15] 591*2^835815-1 is not prime. Res64: 03BCF5E347104CF4 Time : 713.0 sec. user=vaughan [2010-06-25 03:58:06] 465*2^835816-1 is not prime. Res64: BBFEDA8CBAF03F01 Time : 715.0 sec. user=vaughan [2010-06-25 03:58:20] 573*2^835816-1 is not prime. Res64: 86E550F4C003B450 Time : 716.0 sec. user=vaughan [2010-06-25 03:59:45] 469*2^835815-1 is not prime. Res64: 03C80981264D819D Time : 1094.0 sec. user=vaughan [2010-06-25 04:00:52] 531*2^835815-1 is not prime. Res64: E057137AD3E78A35 Time : 1031.0 sec. user=vaughan [2010-06-25 04:01:15] 573*2^835815-1 is not prime. Res64: 9DCD6FD5551034F9 Time : 1031.0 sec. user=Flatlander [2010-06-25 04:02:47] 549*2^835763-1 is not prime. Res64: B554A210F0C47C04 Time : 9048.0 sec. user=Flatlander [2010-06-25 04:02:48] 565*2^835763-1 is not prime. Res64: FE4F1BF348203751 Time : 9047.0 sec. user=Flatlander [2010-06-25 04:02:49] 455*2^835764-1 is not prime. Res64: 64792F3AB64CFDB1 Time : 9047.0 sec. user=Flatlander [2010-06-25 04:02:50] 483*2^835764-1 is not prime. Res64: 1A2A9611D4DEAABD Time : 9046.0 sec. user=Flatlander [2010-06-25 04:02:50] 503*2^835764-1 is not prime. Res64: FD4268D7D00B8F93 Time : 9044.0 sec. user=vaughan [2010-06-25 04:02:58] 495*2^835810-1 is not prime. Res64: D9BD10353D7A3C72 Time : 1979.0 sec. user=vaughan [2010-06-25 04:03:43] 477*2^835817-1 is not prime. Res64: 3F67EA5006D53D6C Time : 982.0 sec. user=vaughan [2010-06-25 04:03:52] 405*2^835817-1 is not prime. Res64: A905864AA64E233F Time : 1046.0 sec. user=vaughan [2010-06-25 04:04:01] 559*2^835817-1 is not prime. Res64: 1D2BA50077CD4366 Time : 993.0 sec. user=vaughan [2010-06-25 04:04:14] 579*2^835812-1 is not prime. Res64: 12E144CF3DBD84D6 Time : 1976.0 sec. user=vaughan [2010-06-25 04:06:17] 423*2^835818-1 is not prime. Res64: C21FD593BA2EE372 Time : 1000.0 sec. user=vaughan [2010-06-25 04:06:27] 401*2^835818-1 is not prime. Res64: CD52908872292B19 Time : 1068.0 sec. user=Flatlander [2010-06-25 04:07:38] 483*2^835767-1 is not prime. Res64: 87ABF8D05774B8FE Time : 8932.0 sec. user=Flatlander [2010-06-25 04:07:38] 437*2^835768-1 is not prime. Res64: 01A404354083E57B Time : 8930.0 sec. user=Flatlander [2010-06-25 04:07:39] 479*2^835768-1 is not prime. Res64: CC1D8D02D8FD4644 Time : 8930.0 sec. user=Flatlander [2010-06-25 04:07:40] 507*2^835768-1 is not prime. Res64: 1893B5187B78B673 Time : 8929.0 sec. user=Flatlander [2010-06-25 04:07:41] 537*2^835768-1 is not prime. Res64: 68BD041D40A5A392 Time : 8928.0 sec. user=vaughan [2010-06-25 04:09:01] 485*2^835818-1 is not prime. Res64: 1A83C9730B945726 Time : 1003.0 sec. user=vaughan [2010-06-25 04:09:09] 595*2^835819-1 is not prime. Res64: 2C5C2832BD94413E Time : 714.0 sec. user=vaughan [2010-06-25 04:09:33] 411*2^835819-1 is not prime. Res64: 8CB764B2D54CD7DA Time : 1006.0 sec. user=vaughan [2010-06-25 04:10:01] 425*2^835820-1 is not prime. Res64: CB9CB5C27DE2B832 Time : 715.0 sec. user=vaughan [2010-06-25 04:10:05] 471*2^835818-1 is not prime. Res64: 83BB9E93954F1823 Time : 1108.0 sec. user=vaughan [2010-06-25 04:10:15] 525*2^835820-1 is not prime. Res64: 392A79969F07B0B4 Time : 715.0 sec. user=vaughan [2010-06-25 04:10:51] 573*2^835818-1 is not prime. Res64: 0369FD4952859866 Time : 1088.0 sec. user=vaughan [2010-06-25 04:15:32] 553*2^835819-1 is not prime. Res64: A3B0F5C37C3EF99D Time : 1124.0 sec. user=vaughan [2010-06-25 04:15:37] 495*2^835819-1 is not prime. Res64: 900A846871C1E2F8 Time : 1186.0 sec. user=vaughan [2010-06-25 04:17:58] 427*2^835821-1 is not prime. Res64: E972C19D16FB14FF Time : 1093.0 sec. user=vaughan [2010-06-25 04:18:01] 459*2^835821-1 is not prime. Res64: D33B098F7196A6CA Time : 1030.0 sec. user=vaughan [2010-06-25 04:18:24] 529*2^835821-1 is not prime. Res64: EDEB7A91AC08CC32 Time : 1029.0 sec. user=vaughan [2010-06-25 04:20:05] 453*2^835824-1 is not prime. Res64: BB89CADEF9220BB2 Time : 983.0 sec. user=vaughan [2010-06-25 04:20:32] 483*2^835826-1 is not prime. Res64: C569A83CDBD28DDA Time : 992.0 sec. user=vaughan [2010-06-25 04:21:02] 473*2^835830-1 is not prime. Res64: 2246F3B4FA0A7490 Time : 714.0 sec. user=vaughan [2010-06-25 04:21:18] 537*2^835825-1 is not prime. Res64: 999A68928671B5D7 Time : 1046.0 sec. user=vaughan [2010-06-25 04:21:57] 521*2^835830-1 is not prime. Res64: 3CE36121E543B3C1 Time : 716.0 sec. user=vaughan [2010-06-25 04:22:10] 421*2^835831-1 is not prime. Res64: E92C5A589985AAB7 Time : 715.0 sec. user=vaughan [2010-06-25 04:22:57] 403*2^835827-1 is not prime. Res64: 907CD525573FC601 Time : 1000.0 sec. user=vaughan [2010-06-25 04:24:13] 489*2^835827-1 is not prime. Res64: EF102A37E0100738 Time : 1066.0 sec. user=vaughan [2010-06-25 04:25:46] 455*2^835830-1 is not prime. Res64: 948ACA7B138D494E Time : 1005.0 sec. user=vaughan [2010-06-25 04:26:22] 501*2^835830-1 is not prime. Res64: 2F2D6F7D21B8122D Time : 1009.0 sec. user=vaughan [2010-06-25 04:28:32] 525*2^835830-1 is not prime. Res64: 737E058B11793876 Time : 1108.0 sec. user=vaughan [2010-06-25 04:28:58] 519*2^835831-1 is not prime. Res64: 044B3D83D577332D Time : 1087.0 sec. user=vaughan [2010-06-25 04:32:55] 511*2^835833-1 is not prime. Res64: CDBBAE86C4755E49 Time : 713.0 sec. user=vaughan [2010-06-25 04:33:52] 413*2^835834-1 is not prime. Res64: DF7E68AF93B26497 Time : 716.0 sec. user=vaughan [2010-06-25 04:34:06] 513*2^835834-1 is not prime. Res64: 7534B34209BF44E4 Time : 716.0 sec. user=vaughan [2010-06-25 04:34:19] 525*2^835832-1 is not prime. Res64: FB3E4A02CDD828D1 Time : 1128.0 sec. user=vaughan [2010-06-25 04:35:10] 587*2^835832-1 is not prime. Res64: 488770685F2EF10F Time : 1030.0 sec. user=vaughan [2010-06-25 04:35:23] 533*2^835832-1 is not prime. Res64: 5402677FCE1A1C6E Time : 1186.0 sec. user=vaughan [2010-06-25 04:35:33] 405*2^835833-1 is not prime. Res64: 40793C18D245E29B Time : 1029.0 sec. user=vaughan [2010-06-25 04:35:51] 411*2^835823-1 is not prime. Res64: 01219761D988ADB1 Time : 1974.0 sec. user=vaughan [2010-06-25 04:36:14] 585*2^835832-1 is not prime. Res64: 620C81F4DC0C88C0 Time : 1096.0 sec. user=vaughan [2010-06-25 04:36:28] 471*2^835833-1 is not prime. Res64: 61CEB2D4BA2F4650 Time : 984.0 sec. user=vaughan [2010-06-25 04:37:01] 481*2^835833-1 is not prime. Res64: D9AF057A1FEDE66E Time : 990.0 sec. user=vaughan [2010-06-25 04:38:09] 561*2^835826-1 is not prime. Res64: 678DA4C4AF7FE85A Time : 2035.0 sec. user=vaughan [2010-06-25 04:38:51] 559*2^835833-1 is not prime. Res64: C1F29B76B324FFDD Time : 1053.0 sec. user=vaughan [2010-06-25 04:39:37] 561*2^835834-1 is not prime. Res64: D5EC5F0F2ED07294 Time : 1000.0 sec. user=vaughan [2010-06-25 04:42:01] 409*2^835835-1 is not prime. Res64: 677A49AA310109E0 Time : 1068.0 sec. user=vaughan [2010-06-25 04:42:33] 579*2^835835-1 is not prime. Res64: 174FD001AFDA754B Time : 1008.0 sec. user=vaughan [2010-06-25 04:43:11] 591*2^835835-1 is not prime. Res64: E7EB325DC3D685DD Time : 1009.0 sec. user=vaughan [2010-06-25 04:44:49] 439*2^835837-1 is not prime. Res64: 5C0E1008AB40251A Time : 714.0 sec. user=vaughan [2010-06-25 04:45:49] 441*2^835837-1 is not prime. Res64: 30659118B84DEDF6 Time : 717.0 sec. user=vaughan [2010-06-25 04:46:03] 477*2^835837-1 is not prime. Res64: E27695F2737F4DFE Time : 718.0 sec. user=vaughan [2010-06-25 04:47:02] 455*2^835836-1 is not prime. Res64: 4F61DB3115D50276 Time : 1111.0 sec. user=vaughan [2010-06-25 04:47:15] 593*2^835836-1 is not prime. Res64: EA5A2565C4D0884C Time : 1097.0 sec. user=vaughan [2010-06-25 04:52:33] 425*2^835838-1 is not prime. Res64: E5E464A3822C58E3 Time : 1043.0 sec. user=vaughan [2010-06-25 04:52:51] 545*2^835838-1 is not prime. Res64: 4BE4E65882B213F4 Time : 1038.0 sec. user=vaughan [2010-06-25 04:52:51] 465*2^835839-1 is not prime. Res64: 552AD7D700C78450 Time : 983.0 sec. user=vaughan [2010-06-25 04:53:09] 567*2^835837-1 is not prime. Res64: 815B8C1A4283FA35 Time : 1131.0 sec. user=vaughan [2010-06-25 04:53:35] 469*2^835839-1 is not prime. Res64: E4BEA5B4CFCAFA55 Time : 994.0 sec. user=vaughan [2010-06-25 04:54:35] 415*2^835839-1 is not prime. Res64: A65A9424630700FA Time : 1101.0 sec. user=vaughan [2010-06-25 04:55:20] 483*2^835838-1 is not prime. Res64: 0F063A4A6B6778FD Time : 1197.0 sec. user=vaughan [2010-06-25 04:56:21] 483*2^835840-1 is not prime. Res64: 55E5419F8F6454AE Time : 1051.0 sec. user=vaughan [2010-06-25 04:56:28] 537*2^835840-1 is not prime. Res64: C5EE1A7BAD39DB1C Time : 1011.0 sec. user=vaughan [2010-06-25 04:56:52] 577*2^835841-1 is not prime. Res64: B07CE32A19C1556E Time : 723.0 sec. user=vaughan [2010-06-25 04:57:54] 591*2^835841-1 is not prime. Res64: E443BE0CD8D43979 Time : 725.0 sec. user=vaughan [2010-06-25 04:58:09] 555*2^835842-1 is not prime. Res64: CE0421570C20CAD0 Time : 726.0 sec. user=vaughan [2010-06-25 04:59:22] 465*2^835841-1 is not prime. Res64: A368A5CFAD5CB61F Time : 1010.0 sec. user=vaughan [2010-06-25 04:59:56] 405*2^835841-1 is not prime. Res64: 7B29DAEF30B80E70 Time : 1076.0 sec. user=vaughan [2010-06-25 05:00:02] 571*2^835841-1 is not prime. Res64: 6FE3E17F92605080 Time : 1011.0 sec. user=vaughan [2010-06-25 05:01:34] 561*2^835213-1 is not prime. Res64: 28E0F002E7D563FA Time : 158416.0 sec. user=vaughan [2010-06-25 05:01:40] 573*2^835211-1 is not prime. Res64: F6708BCB6766A788 Time : 158739.0 sec. user=vaughan [2010-06-25 05:01:42] 519*2^835213-1 is not prime. Res64: BD5FCD9A0A4B1E97 Time : 158433.0 sec. user=vaughan [2010-06-25 05:05:21] 505*2^835843-1 is not prime. Res64: 1A798F6BEC4C931E Time : 1087.0 sec. user=Flatlander [2010-06-25 05:05:30] 453*2^835807-1 is not prime. Res64: BF668F2CAC9FF07A Time : 6231.0 sec. user=Flatlander [2010-06-25 05:05:30] 493*2^835807-1 is not prime. Res64: 459E921835783932 Time : 6230.0 sec. user=Flatlander [2010-06-25 05:05:31] 519*2^835807-1 is not prime. Res64: E3295C28E12FFACF Time : 6230.0 sec. user=Flatlander [2010-06-25 05:05:32] 533*2^835808-1 is not prime. Res64: 2F7BEC5CB824617D Time : 6230.0 sec. user=Flatlander [2010-06-25 05:05:32] 429*2^835809-1 is not prime. Res64: D2C1449FFDB21014 Time : 6229.0 sec. user=vaughan [2010-06-25 05:05:34] 563*2^835842-1 is not prime. Res64: FB4330FC60617369 Time : 1112.0 sec. user=vaughan [2010-06-25 05:05:53] 411*2^835215-1 is not prime. Res64: 1178AC1EE69756FF Time : 158433.0 sec. user=vaughan [2010-06-25 05:08:52] 485*2^835852-1 is not prime. Res64: 99141DFCE6CD3699 Time : 721.0 sec. user=vaughan [2010-06-25 05:09:07] 411*2^835839-1 is not prime. Res64: 31E51D19B2F3CFDE Time : 1996.0 sec. user=vaughan [2010-06-25 05:09:23] 465*2^835844-1 is not prime. Res64: 9EEB0E0B6C1F75F1 Time : 992.0 sec. user=vaughan [2010-06-25 05:09:48] 541*2^835843-1 is not prime. Res64: 73B182C83CFA8668 Time : 1037.0 sec. user=vaughan [2010-06-25 05:09:59] 537*2^835852-1 is not prime. Res64: 0E437D8976014505 Time : 725.0 sec. user=vaughan [2010-06-25 05:10:05] 435*2^835844-1 is not prime. Res64: 2C088D4424B2665A Time : 1035.0 sec. user=vaughan [2010-06-25 05:10:11] 495*2^835844-1 is not prime. Res64: 90D1D7E7DE390F06 Time : 996.0 sec. user=vaughan [2010-06-25 05:10:13] 405*2^835853-1 is not prime. Res64: D065F36538BE48E5 Time : 725.0 sec. user=vaughan [2010-06-25 05:11:24] 595*2^835839-1 is not prime. Res64: E0468375CCB781CA Time : 1995.0 sec. user=vaughan [2010-06-25 05:11:58] 479*2^835844-1 is not prime. Res64: C112E20218D4BC6B Time : 1129.0 sec. user=vaughan [2010-06-25 05:12:55] 539*2^835844-1 is not prime. Res64: D343B8E123C7A570 Time : 1100.0 sec. user=vaughan [2010-06-25 05:13:11] 455*2^835852-1 is not prime. Res64: 058A95916E9DA35D Time : 1003.0 sec. user=vaughan [2010-06-25 05:13:50] 435*2^835852-1 is not prime. Res64: 77E2CCF2683B6793 Time : 1049.0 sec. user=vaughan [2010-06-25 05:15:13] 563*2^835844-1 is not prime. Res64: 95179C947244D728 Time : 1194.0 sec. user=vaughan [2010-06-25 05:16:08] 417*2^835853-1 is not prime. Res64: C4150D87C9E99002 Time : 1006.0 sec. user=vaughan [2010-06-25 05:16:51] 437*2^835854-1 is not prime. Res64: 98C8206D0D2FB2DF Time : 1009.0 sec. user=vaughan [2010-06-25 05:17:49] 571*2^835853-1 is not prime. Res64: C1C1FA13C13946FB Time : 1073.0 sec. user=Flatlander [2010-06-25 05:19:25] 521*2^835810-1 is not prime. Res64: 0BA3716CCDCABEAD Time : 6522.0 sec. user=Flatlander [2010-06-25 05:19:26] 453*2^835811-1 is not prime. Res64: 89A8E85A9D8BAA02 Time : 6521.0 sec. user=Flatlander [2010-06-25 05:19:26] 505*2^835811-1 is not prime. Res64: 9B491FBF05F52A2A Time : 6520.0 sec. user=Flatlander [2010-06-25 05:19:27] 519*2^835811-1 is not prime. Res64: 70E0641FA768061B Time : 6519.0 sec. user=Flatlander [2010-06-25 05:19:27] 595*2^835811-1 is not prime. Res64: 9334DD56991FEA5C Time : 6517.0 sec. user=vaughan [2010-06-25 05:20:52] 429*2^835857-1 is not prime. Res64: 47FF28D9321DE295 Time : 720.0 sec. user=vaughan [2010-06-25 05:22:03] 461*2^835858-1 is not prime. Res64: D708CBA54FBBE5E7 Time : 724.0 sec. user=vaughan [2010-06-25 05:22:17] 405*2^835860-1 is not prime. Res64: 3FF637E5BB64320A Time : 724.0 sec. user=vaughan [2010-06-25 05:23:21] 443*2^835854-1 is not prime. Res64: D2A0562D730583E8 Time : 1080.0 sec. user=vaughan [2010-06-25 05:24:06] 423*2^835855-1 is not prime. Res64: 9559C8677985972E Time : 1112.0 sec. user=vaughan [2010-06-25 05:25:53] 577*2^835857-1 is not prime. Res64: E5166FEA6F579BF0 Time : 990.0 sec. user=vaughan [2010-06-25 05:26:45] 403*2^835859-1 is not prime. Res64: B918922C31F68811 Time : 994.0 sec. user=vaughan [2010-06-25 05:27:05] 579*2^835857-1 is not prime. Res64: 9A228AEB9D718052 Time : 1037.0 sec. user=vaughan [2010-06-25 05:27:18] 581*2^835858-1 is not prime. Res64: 8517F6178FAB7FE2 Time : 1034.0 sec. user=vaughan [2010-06-25 05:29:52] 471*2^835861-1 is not prime. Res64: 4C30ADACF7DB1D49 Time : 1001.0 sec. user=vaughan [2010-06-25 05:30:49] 545*2^835860-1 is not prime. Res64: 6297449798DF8077 Time : 1131.0 sec. user=vaughan [2010-06-25 05:31:10] 579*2^835860-1 is not prime. Res64: 8996C501D8B4BB46 Time : 1095.0 sec. user=vaughan [2010-06-25 05:31:23] 405*2^835862-1 is not prime. Res64: FEAD91E89EDBEC46 Time : 1053.0 sec. user=vaughan [2010-06-25 05:32:53] 567*2^835864-1 is not prime. Res64: 572ECB1BD45BACA5 Time : 721.0 sec. user=vaughan [2010-06-25 05:32:53] 447*2^835862-1 is not prime. Res64: ED52E87D3599A4D5 Time : 1006.0 sec. user=vaughan [2010-06-25 05:33:39] 521*2^835862-1 is not prime. Res64: 539A16ECDA4B1EE6 Time : 1008.0 sec. user=vaughan [2010-06-25 05:34:08] 575*2^835864-1 is not prime. Res64: 2621CCAA737C946A Time : 725.0 sec. user=vaughan [2010-06-25 05:34:22] 421*2^835865-1 is not prime. Res64: 9CF1F413805D124A Time : 725.0 sec. user=vaughan [2010-06-25 05:35:05] 435*2^835862-1 is not prime. Res64: 026E36220284A4E7 Time : 1192.0 sec. user=vaughan [2010-06-25 05:35:38] 591*2^835862-1 is not prime. Res64: 41889EE59AA5C9DA Time : 1069.0 sec. user=vaughan [2010-06-25 05:41:20] 441*2^835865-1 is not prime. Res64: 50D5D4D6714FADA0 Time : 1080.0 sec. user=vaughan [2010-06-25 05:42:06] 571*2^835857-1 is not prime. Res64: 8E989145D0F28F21 Time : 1980.0 sec. user=vaughan [2010-06-25 05:42:24] 475*2^835865-1 is not prime. Res64: F8F9835BC3575F8B Time : 992.0 sec. user=vaughan [2010-06-25 05:42:38] 459*2^835865-1 is not prime. Res64: 46A34A5226033ADC Time : 1112.0 sec. user=vaughan [2010-06-25 05:43:17] 487*2^835865-1 is not prime. Res64: 17C618AE5354DCE9 Time : 993.0 sec. user=vaughan [2010-06-25 05:44:20] 507*2^835865-1 is not prime. Res64: 667C0FEE946ED1EC Time : 1035.0 sec. user=vaughan [2010-06-25 05:44:26] 503*2^835860-1 is not prime. Res64: 08E3D7DADAF4C3FB Time : 1982.0 sec. user=vaughan [2010-06-25 05:44:31] 595*2^835865-1 is not prime. Res64: D4E83B8AE734196E Time : 1034.0 sec. user=vaughan [2010-06-25 05:44:53] 469*2^835867-1 is not prime. Res64: 0EB0BC039A48B823 Time : 720.0 sec. user=vaughan [2010-06-25 05:46:11] 567*2^835868-1 is not prime. Res64: 83CCD9F6808577E9 Time : 724.0 sec. user=vaughan [2010-06-25 05:46:26] 585*2^835868-1 is not prime. Res64: 1CEE0B6578AFBEBE Time : 725.0 sec. user=vaughan [2010-06-25 05:46:35] 507*2^835866-1 is not prime. Res64: C764C9E43EBBC9A7 Time : 1003.0 sec. user=vaughan [2010-06-25 05:48:55] 405*2^835867-1 is not prime. Res64: 012A609EB2B22416 Time : 1052.0 sec. user=Flatlander [2010-06-25 05:49:09] 531*2^835827-1 is not prime. Res64: 6035063682CBFDC1 Time : 6087.0 sec. user=Flatlander [2010-06-25 05:49:10] 579*2^835827-1 is not prime. Res64: 358E073A9D46998A Time : 6086.0 sec. user=Flatlander [2010-06-25 05:49:11] 583*2^835827-1 is not prime. Res64: EC82CDB32A610C87 Time : 6085.0 sec. user=Flatlander [2010-06-25 05:49:12] 507*2^835829-1 is not prime. Res64: CFCC8748463AFB83 Time : 6085.0 sec. user=Flatlander [2010-06-25 05:49:13] 567*2^835829-1 is not prime. Res64: 646EC9C59277EB96 Time : 6084.0 sec. user=vaughan [2010-06-25 05:49:24] 581*2^835866-1 is not prime. Res64: BCA875015EA568D2 Time : 1094.0 sec. user=vaughan [2010-06-25 05:49:36] 527*2^835866-1 is not prime. Res64: B7683283242D5CFE Time : 1128.0 sec. user=vaughan [2010-06-25 05:49:39] 465*2^835868-1 is not prime. Res64: E15C0A6FDEF2F570 Time : 1006.0 sec. user=vaughan [2010-06-25 05:50:35] 473*2^835868-1 is not prime. Res64: 9E0E8B67133A03FD Time : 1016.0 sec. user=vaughan [2010-06-25 05:53:21] 507*2^835869-1 is not prime. Res64: 62C6AC02698496D1 Time : 1063.0 sec. user=vaughan [2010-06-25 05:55:00] 451*2^835869-1 is not prime. Res64: D49A269D29CCC5B0 Time : 1195.0 sec. user=vaughan [2010-06-25 05:56:54] 489*2^835872-1 is not prime. Res64: B8F4236A7980730F Time : 721.0 sec. user=vaughan [2010-06-25 05:58:15] 497*2^835872-1 is not prime. Res64: A8F6CD69714015E5 Time : 724.0 sec. user=vaughan [2010-06-25 05:58:30] 539*2^835872-1 is not prime. Res64: 9A00249025D35F19 Time : 724.0 sec. user=vaughan [2010-06-25 05:58:57] 465*2^835870-1 is not prime. Res64: 25F3592412FD3727 Time : 994.0 sec. user=vaughan [2010-06-25 05:59:19] 571*2^835869-1 is not prime. Res64: 962D15F9E4CB2A86 Time : 1079.0 sec. user=vaughan [2010-06-25 05:59:51] 585*2^835871-1 is not prime. Res64: D16335E0C61FA102 Time : 994.0 sec. user=vaughan [2010-06-25 06:01:10] 587*2^835870-1 is not prime. Res64: 94BD13F96D5803C7 Time : 1112.0 sec. user=vaughan [2010-06-25 06:01:36] 405*2^835872-1 is not prime. Res64: DA3C0D9ACED983D2 Time : 1036.0 sec. user=vaughan [2010-06-25 06:01:43] 447*2^835872-1 is not prime. Res64: 5BFD5861293A7665 Time : 1033.0 sec. user=Flatlander [2010-06-25 06:01:51] 549*2^835821-1 is not prime. Res64: 2919AD6EC7F3B3B3 Time : 7139.0 sec. user=Flatlander [2010-06-25 06:01:52] 483*2^835822-1 is not prime. Res64: BFC4D7A593B49DFA Time : 7138.0 sec. user=Flatlander [2010-06-25 06:01:53] 525*2^835822-1 is not prime. Res64: FBA489C64A6564B2 Time : 7138.0 sec. user=Flatlander [2010-06-25 06:01:54] 581*2^835822-1 is not prime. Res64: B2FD0F019AAD1961 Time : 7137.0 sec. user=Flatlander [2010-06-25 06:01:55] 445*2^835823-1 is not prime. Res64: 32A999EF2843B994 Time : 7136.0 sec. user=vaughan [2010-06-25 06:03:16] 411*2^835873-1 is not prime. Res64: 1DA64A7712ACC24A Time : 1001.0 sec. user=vaughan [2010-06-25 06:06:24] 535*2^835875-1 is not prime. Res64: E16C5CBC0990578D Time : 1006.0 sec. user=vaughan [2010-06-25 06:06:30] 439*2^835873-1 is not prime. Res64: 6B12A3F52C57B2D2 Time : 1055.0 sec. user=vaughan [2010-06-25 06:07:34] 563*2^835874-1 is not prime. Res64: CDE7402B4511D768 Time : 1091.0 sec. user=vaughan [2010-06-25 06:07:46] 573*2^835875-1 is not prime. Res64: E45B128BF35B756E Time : 1031.0 sec. user=vaughan [2010-06-25 06:08:24] 459*2^835875-1 is not prime. Res64: E797D48496A50A11 Time : 1128.0 sec. user=vaughan [2010-06-25 06:08:54] 563*2^835876-1 is not prime. Res64: 97BFEBAAAE545649 Time : 721.0 sec. user=vaughan [2010-06-25 06:10:20] 435*2^835877-1 is not prime. Res64: 9DD0EA0A82F77158 Time : 725.0 sec. user=vaughan [2010-06-25 06:10:35] 529*2^835877-1 is not prime. Res64: 1961E4781280B008 Time : 725.0 sec. user=vaughan [2010-06-25 06:10:44] 435*2^835876-1 is not prime. Res64: CEC8E52E4C03731F Time : 1043.0 sec. user=vaughan [2010-06-25 06:14:50] 527*2^835876-1 is not prime. Res64: F63B304B99D1DC77 Time : 1190.0 sec. user=vaughan [2010-06-25 06:14:57] 411*2^835870-1 is not prime. Res64: 20167D8E933E7EC4 Time : 1971.0 sec. user=vaughan [2010-06-25 06:15:25] 589*2^835877-1 is not prime. Res64: C4F35B119100F8AD Time : 988.0 sec. user=vaughan [2010-06-25 06:16:27] 443*2^835878-1 is not prime. Res64: 2233B8D0B01189F4 Time : 996.0 sec. user=vaughan [2010-06-25 06:17:13] 423*2^835878-1 is not prime. Res64: BD742A53C4BCD919 Time : 1075.0 sec. user=vaughan [2010-06-25 06:18:20] 423*2^835872-1 is not prime. Res64: C18CD62D1D447807 Time : 2034.0 sec. user=vaughan [2010-06-25 06:18:50] 503*2^835878-1 is not prime. Res64: BB60A89ACE12886E Time : 1035.0 sec. user=vaughan [2010-06-25 06:18:55] 527*2^835878-1 is not prime. Res64: 24949B75CD6D9D0C Time : 1032.0 sec. user=vaughan [2010-06-25 06:19:38] 495*2^835878-1 is not prime. Res64: 8689DA0DE16509BE Time : 1108.0 sec. user=vaughan [2010-06-25 06:20:00] 561*2^835879-1 is not prime. Res64: BAB638C634FDB8F2 Time : 1004.0 sec. user=vaughan [2010-06-25 06:20:54] 499*2^835881-1 is not prime. Res64: 0E627B295439A9BD Time : 721.0 sec. user=vaughan [2010-06-25 06:22:24] 517*2^835881-1 is not prime. Res64: 1036205AABE5075C Time : 725.0 sec. user=vaughan [2010-06-25 06:22:39] 565*2^835881-1 is not prime. Res64: F3ACE00C2B97EF69 Time : 725.0 sec. user=vaughan [2010-06-25 06:23:10] 579*2^835879-1 is not prime. Res64: 73293DF1556F3DFE Time : 1006.0 sec. user=vaughan [2010-06-25 06:23:57] 471*2^835881-1 is not prime. Res64: AC5EF5F50482C952 Time : 971.0 sec. user=vaughan [2010-06-25 06:24:06] 525*2^835880-1 is not prime. Res64: B3A110CE620E76AF Time : 1056.0 sec. user=vaughan [2010-06-25 06:25:21] 585*2^835880-1 is not prime. Res64: 9F85A14E03E0847E Time : 1067.0 sec. user=vaughan [2010-06-25 06:27:09] 475*2^835881-1 is not prime. Res64: 3DDB1211AC12A717 Time : 1125.0 sec. user=vaughan [2010-06-25 06:27:56] 495*2^835882-1 is not prime. Res64: D9A08CA84D13DA65 Time : 1033.0 sec. user=vaughan [2010-06-25 06:31:40] 493*2^835883-1 is not prime. Res64: D5BF9D939BFF9A5D Time : 976.0 sec. user=vaughan [2010-06-25 06:32:54] 503*2^835886-1 is not prime. Res64: E1ECF4928B0D5FF3 Time : 720.0 sec. user=vaughan [2010-06-25 06:32:57] 511*2^835883-1 is not prime. Res64: CBEAD8E27A5C5B26 Time : 990.0 sec. user=vaughan [2010-06-25 06:34:28] 405*2^835887-1 is not prime. Res64: 167CF4D627E5ED93 Time : 724.0 sec. user=vaughan [2010-06-25 06:34:39] 503*2^835882-1 is not prime. Res64: 066A3146E8D18D62 Time : 1189.0 sec. user=vaughan [2010-06-25 06:34:44] 423*2^835887-1 is not prime. Res64: 4DE63B3ADBB9FF43 Time : 725.0 sec. user=vaughan [2010-06-25 06:35:09] 447*2^835884-1 is not prime. Res64: 5CC406EB3FEE771A Time : 1076.0 sec. user=vaughan [2010-06-25 06:36:07] 587*2^835884-1 is not prime. Res64: 33B158CAFC69BF0B Time : 1038.0 sec. user=vaughan [2010-06-25 06:36:08] 589*2^835885-1 is not prime. Res64: F5209AB0DF6C2506 Time : 1033.0 sec. user=vaughan [2010-06-25 06:36:42] 477*2^835886-1 is not prime. Res64: 011864A2EA8C3ACA Time : 1002.0 sec. user=vaughan [2010-06-25 06:38:02] 447*2^835886-1 is not prime. Res64: F872DA115A5A473A Time : 1105.0 sec. user=vaughan [2010-06-25 06:39:55] 451*2^835887-1 is not prime. Res64: F458B90C560814D4 Time : 1006.0 sec. user=vaughan [2010-06-25 06:40:07] 483*2^835887-1 is not prime. Res64: 1B83285E3364AE1D Time : 971.0 sec. user=vaughan [2010-06-25 06:41:41] 579*2^835887-1 is not prime. Res64: B0DC9449198DF15E Time : 1055.0 sec. user=vaughan [2010-06-25 06:43:07] 419*2^835888-1 is not prime. Res64: 7086A57104D2FE95 Time : 1066.0 sec. user=vaughan [2010-06-25 06:44:55] 489*2^835889-1 is not prime. Res64: 7808D96C6AB25EAA Time : 721.0 sec. user=vaughan [2010-06-25 06:45:04] 483*2^835888-1 is not prime. Res64: 1C9DB553DED6E681 Time : 1029.0 sec. user=vaughan [2010-06-25 06:45:54] 437*2^835888-1 is not prime. Res64: 64ADA96BA40592F4 Time : 1125.0 sec. user=vaughan [2010-06-25 06:46:33] 515*2^835890-1 is not prime. Res64: 87B8E2569E66DC44 Time : 725.0 sec. user=vaughan [2010-06-25 06:46:48] 465*2^835891-1 is not prime. Res64: B492EAE1AC4F8BE9 Time : 725.0 sec. user=vaughan [2010-06-25 06:47:52] 573*2^835882-1 is not prime. Res64: 45997C0DE8ADA92E Time : 1976.0 sec. user=vaughan [2010-06-25 06:47:57] 569*2^835888-1 is not prime. Res64: BC239E70FF94618B Time : 977.0 sec. user=vaughan [2010-06-25 06:49:26] 473*2^835890-1 is not prime. Res64: EDD4D9B388CF0707 Time : 990.0 sec. user=vaughan [2010-06-25 06:51:22] 567*2^835884-1 is not prime. Res64: 48AD5276E845F8BB Time : 1983.0 sec. user=vaughan [2010-06-25 06:52:53] 519*2^835891-1 is not prime. Res64: 59E2A89E753D86D0 Time : 1065.0 sec. user=vaughan [2010-06-25 06:53:21] 561*2^835891-1 is not prime. Res64: E695065279452DEC Time : 1034.0 sec. user=vaughan [2010-06-25 06:53:23] 573*2^835891-1 is not prime. Res64: 23302AAC9F73C9E8 Time : 1035.0 sec. user=vaughan [2010-06-25 06:53:25] 425*2^835892-1 is not prime. Res64: 54CC01CF5C1DAAD1 Time : 1004.0 sec. user=vaughan [2010-06-25 06:54:23] 439*2^835891-1 is not prime. Res64: 16EA31BBFB2CBEB8 Time : 1184.0 sec. user=vaughan [2010-06-25 06:56:17] 573*2^835892-1 is not prime. Res64: 53A8EFD1A9408AE7 Time : 971.0 sec. user=vaughan [2010-06-25 06:56:27] 455*2^835892-1 is not prime. Res64: E5BFD493D5B93B26 Time : 1105.0 sec. user=vaughan [2010-06-25 06:56:41] 557*2^835892-1 is not prime. Res64: DCF90AF62C2859E8 Time : 1006.0 sec. user=vaughan [2010-06-25 06:56:55] 559*2^835893-1 is not prime. Res64: 07A52CE5B26C208F Time : 720.0 sec. user=vaughan [2010-06-25 06:58:37] 423*2^835895-1 is not prime. Res64: 47B41BE1A607993F Time : 724.0 sec. user=vaughan [2010-06-25 06:58:52] 433*2^835895-1 is not prime. Res64: A1289D0C28F16C9C Time : 724.0 sec. user=vaughan [2010-06-25 06:59:02] 525*2^835893-1 is not prime. Res64: 6F8B29929A0E6467 Time : 1042.0 sec. user=vaughan [2010-06-25 07:00:53] 537*2^835893-1 is not prime. Res64: 3F814420E75E3CF4 Time : 1067.0 sec. user=vaughan [2010-06-25 07:01:54] 453*2^835894-1 is not prime. Res64: 9E84C27FCAC06CA2 Time : 1010.0 sec. user=vaughan [2010-06-25 07:04:11] 511*2^835895-1 is not prime. Res64: D3188A886C824832 Time : 975.0 sec. user=vaughan [2010-06-25 07:04:38] 491*2^835894-1 is not prime. Res64: E5561E2A1F4D40AF Time : 1124.0 sec. user=vaughan [2010-06-25 07:05:47] 573*2^835895-1 is not prime. Res64: 668B056A5CFA1806 Time : 981.0 sec. user=Flatlander [2010-06-25 07:06:23] 501*2^835854-1 is not prime. Res64: 4B4D7E8B610149AD Time : 7250.0 sec. user=Flatlander [2010-06-25 07:06:23] 415*2^835855-1 is not prime. Res64: 0744916373A2F5C6 Time : 7249.0 sec. user=Flatlander [2010-06-25 07:06:24] 535*2^835855-1 is not prime. Res64: 4F0116540912980C Time : 7249.0 sec. user=Flatlander [2010-06-25 07:06:25] 557*2^835856-1 is not prime. Res64: 01C3A317E4C0CA75 Time : 7248.0 sec. user=Flatlander [2010-06-25 07:06:26] 563*2^835856-1 is not prime. Res64: 58DEECE862703F43 Time : 7248.0 sec. user=vaughan [2010-06-25 07:08:57] 459*2^835899-1 is not prime. Res64: 750EEC3507B5A0C9 Time : 722.0 sec. user=vaughan [2010-06-25 07:10:10] 429*2^835897-1 is not prime. Res64: 4947A012FDE2D2D1 Time : 1005.0 sec. user=vaughan [2010-06-25 07:10:25] 413*2^835896-1 is not prime. Res64: 356066458FEEA74E Time : 1052.0 sec. user=vaughan [2010-06-25 07:10:35] 525*2^835896-1 is not prime. Res64: E00FEF785428FDE7 Time : 1034.0 sec. user=vaughan [2010-06-25 07:10:37] 593*2^835896-1 is not prime. Res64: 15BC06B9D0609DC4 Time : 1034.0 sec. user=vaughan [2010-06-25 07:10:42] 469*2^835899-1 is not prime. Res64: 2E3970C8DE41F836 Time : 725.0 sec. user=vaughan [2010-06-25 07:10:57] 481*2^835899-1 is not prime. Res64: 76C714AE6B34B7EF Time : 725.0 sec. user=vaughan [2010-06-25 07:12:20] 473*2^835898-1 is not prime. Res64: 009E1F2FE3F40A64 Time : 963.0 sec. user=vaughan [2010-06-25 07:13:25] 451*2^835899-1 is not prime. Res64: 6C7E459A4295E54B Time : 1005.0 sec. user=vaughan [2010-06-25 07:14:11] 565*2^835897-1 is not prime. Res64: 99376FB57BC7CE93 Time : 1188.0 sec. user=vaughan [2010-06-25 07:14:52] 585*2^835898-1 is not prime. Res64: 12BE73F7A9F55DFE Time : 1105.0 sec. user=Flatlander [2010-06-25 07:14:59] 433*2^835863-1 is not prime. Res64: 48CDC4A8C0DE6363 Time : 6931.0 sec. user=Flatlander [2010-06-25 07:15:00] 441*2^835863-1 is not prime. Res64: BAFA0E391A4FBA52 Time : 6931.0 sec. user=Flatlander [2010-06-25 07:15:01] 453*2^835863-1 is not prime. Res64: AE8401196E0BA96F Time : 6931.0 sec. user=Flatlander [2010-06-25 07:15:02] 493*2^835863-1 is not prime. Res64: 28D374C95BB42C01 Time : 6931.0 sec. user=Flatlander [2010-06-25 07:15:03] 553*2^835863-1 is not prime. Res64: 116EA15FAFAA0764 Time : 6932.0 sec. user=vaughan [2010-06-25 07:16:23] 501*2^835899-1 is not prime. Res64: 98E9FC7B76CE9B69 Time : 1041.0 sec. user=vaughan [2010-06-25 07:18:33] 543*2^835899-1 is not prime. Res64: BAF757C2E019E970 Time : 999.0 sec. user=vaughan [2010-06-25 07:18:40] 513*2^835899-1 is not prime. Res64: 0CC8AA824435E189 Time : 1067.0 sec. user=vaughan [2010-06-25 07:20:22] 555*2^835899-1 is not prime. Res64: 4FB4F45501342C9B Time : 972.0 sec. user=vaughan [2010-06-25 07:20:48] 429*2^835144-1 is not prime. Res64: 2AA0D494BE819C27 Time : 1976.0 sec. user=vaughan [2010-06-25 07:20:57] 529*2^835901-1 is not prime. Res64: DADA67D8C2272726 Time : 721.0 sec. user=vaughan [2010-06-25 07:22:01] 455*2^835900-1 is not prime. Res64: FE866653569F5902 Time : 975.0 sec. user=vaughan [2010-06-25 07:22:45] 549*2^835903-1 is not prime. Res64: 4DE97981AA8BBAEA Time : 724.0 sec. user=vaughan [2010-06-25 07:23:00] 583*2^835903-1 is not prime. Res64: EA2B0D116BB21564 Time : 724.0 sec. user=vaughan [2010-06-25 07:23:26] 423*2^835900-1 is not prime. Res64: C7C3B593CDC9EF02 Time : 1128.0 sec. user=vaughan [2010-06-25 07:24:17] 595*2^835895-1 is not prime. Res64: F6786335A32370E1 Time : 1975.0 sec. user=Flatlander [2010-06-25 07:26:08] 581*2^835878-1 is not prime. Res64: 4F3FC52670FF8AD0 Time : 5052.0 sec. user=Flatlander [2010-06-25 07:26:09] 423*2^835879-1 is not prime. Res64: 9B9F1A2DB251E01C Time : 5051.0 sec. user=Flatlander [2010-06-25 07:26:09] 463*2^835879-1 is not prime. Res64: 81A888D7B3BF5A6B Time : 5050.0 sec. user=Flatlander [2010-06-25 07:26:10] 471*2^835879-1 is not prime. Res64: 01B38C1EBD7C56AD Time : 5049.0 sec. user=Flatlander [2010-06-25 07:26:11] 523*2^835879-1 is not prime. Res64: AACDC9FCB2FC7F63 Time : 5048.0 sec. user=vaughan [2010-06-25 07:26:53] 559*2^835901-1 is not prime. Res64: 81B018E654BA72C3 Time : 1004.0 sec. user=vaughan [2010-06-25 07:27:50] 433*2^835903-1 is not prime. Res64: E93801C955A22787 Time : 1035.0 sec. user=vaughan [2010-06-25 07:27:50] 505*2^835903-1 is not prime. Res64: 6838AFB57B4FE73E Time : 1034.0 sec. user=vaughan [2010-06-25 07:27:56] 565*2^835901-1 is not prime. Res64: 5338DBFE619D0F7F Time : 1052.0 sec. user=vaughan [2010-06-25 07:28:24] 589*2^835903-1 is not prime. Res64: E703E4F5D006F261 Time : 964.0 sec. user=vaughan [2010-06-25 07:30:11] 437*2^835904-1 is not prime. Res64: F0F7286F7E02AFF9 Time : 1006.0 sec. user=vaughan [2010-06-25 07:32:57] 597*2^835906-1 is not prime. Res64: 1E298DCEC4F24EE1 Time : 720.0 sec. user=vaughan [2010-06-25 07:33:21] 563*2^835904-1 is not prime. Res64: 201B68A4F9FDA8B2 Time : 1109.0 sec. user=vaughan [2010-06-25 07:33:46] 597*2^835905-1 is not prime. Res64: CA7B3285935287F6 Time : 1043.0 sec. user=vaughan [2010-06-25 07:34:14] 525*2^835904-1 is not prime. Res64: 8F8FC53E21C4D62A Time : 1203.0 sec. user=vaughan [2010-06-25 07:34:49] 475*2^835907-1 is not prime. Res64: 40FBCC3EB546259D Time : 724.0 sec. user=vaughan [2010-06-25 07:35:05] 589*2^835907-1 is not prime. Res64: FB0E056F83EE9204 Time : 725.0 sec. user=vaughan [2010-06-25 07:35:11] 411*2^835906-1 is not prime. Res64: A28CA37D4796091B Time : 998.0 sec. user=vaughan [2010-06-25 07:36:29] 471*2^835906-1 is not prime. Res64: AFE8BFDCAAD247B8 Time : 1069.0 sec. user=vaughan [2010-06-25 07:36:33] 495*2^835906-1 is not prime. Res64: DDDBAB20D8BF8745 Time : 971.0 sec. user=vaughan [2010-06-25 07:38:15] 403*2^835907-1 is not prime. Res64: AD72293474063F43 Time : 974.0 sec. user=vaughan [2010-06-25 07:42:09] 423*2^835908-1 is not prime. Res64: 8EE27417E3418207 Time : 1124.0 sec. user=vaughan [2010-06-25 07:43:35] 507*2^835909-1 is not prime. Res64: 42F1E19E74BE3BA1 Time : 1003.0 sec. user=vaughan [2010-06-25 07:44:27] 513*2^835911-1 is not prime. Res64: DCAC16AE1937B57A Time : 964.0 sec. user=vaughan [2010-06-25 07:44:59] 537*2^835912-1 is not prime. Res64: 2171DB2E3DFD6A6E Time : 722.0 sec. user=vaughan [2010-06-25 07:45:03] 575*2^835910-1 is not prime. Res64: 6ED1A8227ABDAF11 Time : 1033.0 sec. user=vaughan [2010-06-25 07:45:05] 597*2^835909-1 is not prime. Res64: 7D170FFD7C335129 Time : 1035.0 sec. user=vaughan [2010-06-25 07:45:24] 411*2^835911-1 is not prime. Res64: 323673DE1C262715 Time : 1048.0 sec. user=vaughan [2010-06-25 07:46:47] 487*2^835457-1 is not prime. Res64: 29E8796F1014B6CE Time : 83072.0 sec. user=vaughan [2010-06-25 07:46:48] 537*2^835457-1 is not prime. Res64: 0B2548E4A3A8F228 Time : 83073.0 sec. user=vaughan [2010-06-25 07:46:48] 425*2^835458-1 is not prime. Res64: 0BF0D4F99AE6E5CA Time : 83072.0 sec. user=vaughan [2010-06-25 07:46:48] 555*2^835458-1 is not prime. Res64: F8F89A0631454641 Time : 83072.0 sec. user=vaughan [2010-06-25 07:46:48] 463*2^835459-1 is not prime. Res64: 5C530527B9FCB034 Time : 83071.0 sec. user=vaughan [2010-06-25 07:46:49] 495*2^835459-1 is not prime. Res64: 885BE29727A0D635 Time : 83072.0 sec. user=vaughan [2010-06-25 07:46:49] 511*2^835459-1 is not prime. Res64: 17BBF65329B7B65E Time : 83071.0 sec. user=vaughan [2010-06-25 07:46:49] 523*2^835459-1 is not prime. Res64: 5CFFCF68BD0A91FD Time : 83070.0 sec. user=vaughan [2010-06-25 07:46:50] 405*2^835460-1 is not prime. Res64: C1B0FEBAE97FDC81 Time : 83071.0 sec. user=vaughan [2010-06-25 07:46:50] 423*2^835460-1 is not prime. Res64: D8F0770B03334ED0 Time : 83070.0 sec. user=vaughan [2010-06-25 07:46:50] 519*2^835460-1 is not prime. Res64: D291D073CBFAB679 Time : 83070.0 sec. user=vaughan [2010-06-25 07:46:50] 585*2^835460-1 is not prime. Res64: CC38D76ABCD8109D Time : 83069.0 sec. user=vaughan [2010-06-25 07:46:51] 593*2^835460-1 is not prime. Res64: 5A45EEED9F2F8EB9 Time : 83070.0 sec. user=vaughan [2010-06-25 07:46:51] 427*2^835461-1 is not prime. Res64: C9123AB8F51DEA6C Time : 83069.0 sec. user=vaughan [2010-06-25 07:46:51] 445*2^835461-1 is not prime. Res64: D4487578CBCE6F53 Time : 83068.0 sec. user=vaughan [2010-06-25 07:46:51] 499*2^835461-1 is not prime. Res64: E11F83D2A6341758 Time : 83068.0 sec. user=vaughan [2010-06-25 07:46:52] 517*2^835461-1 is not prime. Res64: 4BC0A38BFD8D2860 Time : 83068.0 sec. user=vaughan [2010-06-25 07:46:52] 537*2^835461-1 is not prime. Res64: 727195433E50B3D7 Time : 83068.0 sec. user=vaughan [2010-06-25 07:46:52] 549*2^835461-1 is not prime. Res64: AE10C5982953E169 Time : 83067.0 sec. user=vaughan [2010-06-25 07:46:53] 565*2^835461-1 is not prime. Res64: 652045D4F9852EBD Time : 83068.0 sec. user=vaughan [2010-06-25 07:46:53] 571*2^835461-1 is not prime. Res64: C7BC8A550DCC0180 Time : 83067.0 sec. user=vaughan [2010-06-25 07:46:53] 471*2^835462-1 is not prime. Res64: E95F36AB01B15E75 Time : 83067.0 sec. user=vaughan [2010-06-25 07:46:53] 527*2^835462-1 is not prime. Res64: E1B2544E0E70F5BB Time : 83066.0 sec. user=vaughan [2010-06-25 07:46:54] 581*2^835462-1 is not prime. Res64: 6B2F4BDEFF915FB0 Time : 83066.0 sec. user=vaughan [2010-06-25 07:46:54] 567*2^835913-1 is not prime. Res64: ACF0739ACDC68FBD Time : 725.0 sec. user=vaughan [2010-06-25 07:46:54] 435*2^835463-1 is not prime. Res64: B4DCE3A49654A977 Time : 83066.0 sec. user=vaughan [2010-06-25 07:46:58] 489*2^835912-1 is not prime. Res64: E8B6494346A9C4A4 Time : 1007.0 sec. user=vaughan [2010-06-25 07:47:09] 589*2^835913-1 is not prime. Res64: 0E6529CE041A72D3 Time : 725.0 sec. user=Flatlander [2010-06-25 07:50:12] 481*2^835873-1 is not prime. Res64: AC12F4AB313EE81B Time : 7258.0 sec. user=Flatlander [2010-06-25 07:50:12] 517*2^835873-1 is not prime. Res64: 8D2A15F2C03DCA4A Time : 7256.0 sec. user=Flatlander [2010-06-25 07:50:12] 525*2^835873-1 is not prime. Res64: 7AF097C688D62B86 Time : 7255.0 sec. user=Flatlander [2010-06-25 07:50:13] 591*2^835873-1 is not prime. Res64: 9B9C58D535797FAF Time : 7255.0 sec. user=Flatlander [2010-06-25 07:50:13] 503*2^835874-1 is not prime. Res64: 141E38787D9B5CD3 Time : 7253.0 sec. user=vaughan [2010-06-25 07:51:14] 411*2^835913-1 is not prime. Res64: 92F192A7F2AABF87 Time : 1048.0 sec. user=vaughan [2010-06-25 07:51:45] 549*2^835912-1 is not prime. Res64: B68A3F32829606FF Time : 1105.0 sec. user=vaughan [2010-06-25 07:51:48] 401*2^835914-1 is not prime. Res64: 9E237C5184E47485 Time : 998.0 sec. user=vaughan [2010-06-25 07:52:44] 461*2^835914-1 is not prime. Res64: 3F4BAFC2B2DCB000 Time : 971.0 sec. user=vaughan [2010-06-25 07:53:37] 503*2^835906-1 is not prime. Res64: D5A98B6D4D1E3371 Time : 1970.0 sec. user=vaughan [2010-06-25 07:54:01] 501*2^835913-1 is not prime. Res64: 17B79349114B90A4 Time : 1188.0 sec. user=vaughan [2010-06-25 07:54:15] 485*2^835176-1 is not prime. Res64: 183B8E31DD1464E8 Time : 1067.0 sec. user=vaughan [2010-06-25 07:54:29] 503*2^835914-1 is not prime. Res64: 88FB55F9EAD4FF5D Time : 975.0 sec. user=vaughan [2010-06-25 07:56:59] 489*2^835915-1 is not prime. Res64: 1211915731B8DD02 Time : 721.0 sec. user=vaughan [2010-06-25 07:58:12] 485*2^835908-1 is not prime. Res64: 5FF712A63C198321 Time : 2036.0 sec. user=vaughan [2010-06-25 07:58:58] 587*2^835916-1 is not prime. Res64: 5E75A94B5838E644 Time : 725.0 sec. user=vaughan [2010-06-25 07:59:13] 471*2^835923-1 is not prime. Res64: 390A331515664375 Time : 724.0 sec. user=vaughan [2010-06-25 08:00:20] 585*2^835914-1 is not prime. Res64: 52C5769D92E88BC7 Time : 1005.0 sec. user=vaughan [2010-06-25 08:00:30] 405*2^835915-1 is not prime. Res64: 0E8E32716B2E0503 Time : 963.0 sec. user=vaughan [2010-06-25 08:00:55] 521*2^835914-1 is not prime. Res64: 7AE78CCEBF552535 Time : 1126.0 sec. user=vaughan [2010-06-25 08:02:18] 511*2^835915-1 is not prime. Res64: 5358FA441941F095 Time : 1035.0 sec. user=vaughan [2010-06-25 08:02:20] 417*2^835916-1 is not prime. Res64: 07D17637832EFC5A Time : 1035.0 sec. user=vaughan [2010-06-25 08:02:50] 425*2^835916-1 is not prime. Res64: 89BEC8112915A6E4 Time : 1047.0 sec. user=vaughan [2010-06-25 08:03:32] 527*2^835474-1 is not prime. Res64: 5D84915DFF512EF9 Time : 82917.0 sec. user=vaughan [2010-06-25 08:03:33] 441*2^835475-1 is not prime. Res64: 425820D5098B0736 Time : 82917.0 sec. user=vaughan [2010-06-25 08:03:33] 511*2^835475-1 is not prime. Res64: C32F101F51961C52 Time : 82916.0 sec. user=vaughan [2010-06-25 08:03:33] 591*2^835475-1 is not prime. Res64: 266FDE37DD77C28E Time : 82916.0 sec. user=vaughan [2010-06-25 08:03:34] 453*2^835476-1 is not prime. Res64: 4B3B954012BB15B5 Time : 82916.0 sec. user=vaughan [2010-06-25 08:03:34] 465*2^835476-1 is not prime. Res64: 5F4C71298C937A23 Time : 82916.0 sec. user=vaughan [2010-06-25 08:03:34] 525*2^835476-1 is not prime. Res64: 483AC8834766857E Time : 82915.0 sec. user=vaughan [2010-06-25 08:03:34] 527*2^835476-1 is not prime. Res64: 0ED428C0CF9FEF74 Time : 82916.0 sec. user=vaughan [2010-06-25 08:03:35] 427*2^835477-1 is not prime. Res64: B29C07E5FBCA06AD Time : 82915.0 sec. user=vaughan [2010-06-25 08:03:35] 441*2^835477-1 is not prime. Res64: B1A1B40645C5C825 Time : 82915.0 sec. user=vaughan [2010-06-25 08:03:35] 505*2^835477-1 is not prime. Res64: 952B89F87CD91B36 Time : 82914.0 sec. user=vaughan [2010-06-25 08:03:36] 555*2^835477-1 is not prime. Res64: 4CA120FE9CE07B34 Time : 82914.0 sec. user=vaughan [2010-06-25 08:03:36] 565*2^835477-1 is not prime. Res64: C5818E20EB76A94C Time : 82914.0 sec. user=vaughan [2010-06-25 08:03:36] 501*2^835478-1 is not prime. Res64: 50E19C118222D811 Time : 82913.0 sec. user=vaughan [2010-06-25 08:03:37] 503*2^835478-1 is not prime. Res64: 0ECA7365C036D5A0 Time : 82914.0 sec. user=vaughan [2010-06-25 08:03:37] 507*2^835478-1 is not prime. Res64: 39D36F505D4A03FE Time : 82913.0 sec. user=vaughan [2010-06-25 08:03:37] 585*2^835478-1 is not prime. Res64: 8D12C529A70D67C5 Time : 82913.0 sec. user=vaughan [2010-06-25 08:03:37] 433*2^835479-1 is not prime. Res64: BD0A61BE51F86FE7 Time : 82912.0 sec. user=vaughan [2010-06-25 08:03:38] 441*2^835479-1 is not prime. Res64: 48535FCC82C5BF7F Time : 82912.0 sec. user=vaughan [2010-06-25 08:03:38] 459*2^835479-1 is not prime. Res64: 6C8C413BC81EE3CE Time : 82912.0 sec. user=vaughan [2010-06-25 08:03:38] 513*2^835479-1 is not prime. Res64: 905399BF98D6ECB4 Time : 82911.0 sec. user=vaughan [2010-06-25 08:03:38] 571*2^835479-1 is not prime. Res64: DF42606C04B805AB Time : 82911.0 sec. user=vaughan [2010-06-25 08:03:39] 423*2^835480-1 is not prime. Res64: 1E40A3820C9E196F Time : 82911.0 sec. user=vaughan [2010-06-25 08:03:39] 509*2^835480-1 is not prime. Res64: 934BC5F22A75F0D8 Time : 82911.0 sec. user=vaughan [2010-06-25 08:03:39] 549*2^835480-1 is not prime. Res64: 1C1050FB8DD065E0 Time : 82910.0 sec. user=vaughan [2010-06-25 08:03:40] 457*2^835465-1 is not prime. Res64: 860ACE3D6C03286A Time : 83501.0 sec. user=vaughan [2010-06-25 08:03:40] 499*2^835465-1 is not prime. Res64: 4BCE8E6459CAF64A Time : 83501.0 sec. user=vaughan [2010-06-25 08:03:41] 473*2^835466-1 is not prime. Res64: 415CE599956A6E0D Time : 83501.0 sec. user=vaughan [2010-06-25 08:03:41] 477*2^835466-1 is not prime. Res64: 31F8C19C34FB9FF4 Time : 83500.0 sec. user=vaughan [2010-06-25 08:03:41] 495*2^835466-1 is not prime. Res64: 17F68DBC72DF3475 Time : 83500.0 sec. user=vaughan [2010-06-25 08:03:41] 585*2^835466-1 is not prime. Res64: DCA1512CAD570DEC Time : 83499.0 sec. user=vaughan [2010-06-25 08:03:42] 435*2^835468-1 is not prime. Res64: 22CDF0A7C2E6DB63 Time : 83500.0 sec. user=vaughan [2010-06-25 08:03:42] 443*2^835468-1 is not prime. Res64: 185A6623AC38326A Time : 83499.0 sec. user=vaughan [2010-06-25 08:03:42] 495*2^835918-1 is not prime. Res64: 75133736F1404139 Time : 1005.0 sec. user=vaughan [2010-06-25 08:03:42] 527*2^835468-1 is not prime. Res64: 785AA65FC9A87C2E Time : 83499.0 sec. user=vaughan [2010-06-25 08:03:43] 481*2^835469-1 is not prime. Res64: C68F68557ED597BA Time : 83499.0 sec. user=vaughan [2010-06-25 08:03:43] 579*2^835469-1 is not prime. Res64: DDF1E2C5D82B2D7F Time : 83498.0 sec. user=vaughan [2010-06-25 08:03:43] 405*2^835470-1 is not prime. Res64: F3AEA6DED54BD34B Time : 83498.0 sec. user=vaughan [2010-06-25 08:03:43] 503*2^835470-1 is not prime. Res64: C1F228314B4E1192 Time : 83497.0 sec. user=vaughan [2010-06-25 08:03:44] 525*2^835470-1 is not prime. Res64: 4B8587D306B22E8A Time : 83498.0 sec. user=vaughan [2010-06-25 08:03:44] 543*2^835470-1 is not prime. Res64: D62FC6F936F651A2 Time : 83497.0 sec. user=vaughan [2010-06-25 08:03:44] 563*2^835470-1 is not prime. Res64: 5F71029DF366628C Time : 83497.0 sec. user=vaughan [2010-06-25 08:03:44] 405*2^835471-1 is not prime. Res64: C3DE842FA50C0040 Time : 83496.0 sec. user=vaughan [2010-06-25 08:03:45] 415*2^835471-1 is not prime. Res64: 4FF14E7388C8389D Time : 83497.0 sec. user=vaughan [2010-06-25 08:03:45] 453*2^835471-1 is not prime. Res64: A0E1A01D7BEF3352 Time : 83496.0 sec. user=vaughan [2010-06-25 08:03:45] 511*2^835471-1 is not prime. Res64: CCD4B47D25922D00 Time : 83495.0 sec. user=vaughan [2010-06-25 08:03:45] 519*2^835471-1 is not prime. Res64: 304D26ED46E14FEA Time : 83495.0 sec. user=vaughan [2010-06-25 08:03:46] 437*2^835472-1 is not prime. Res64: E71E5CDD23B24A69 Time : 83495.0 sec. user=vaughan [2010-06-25 08:03:46] 447*2^835472-1 is not prime. Res64: 94644D3A4CA7832C Time : 83495.0 sec. user=vaughan [2010-06-25 08:03:46] 467*2^835472-1 is not prime. Res64: 3E322D05978980B8 Time : 83494.0 sec. user=vaughan [2010-06-25 08:03:47] 587*2^835472-1 is not prime. Res64: 5E6BCF41362004F3 Time : 83495.0 sec. user=vaughan [2010-06-25 08:08:26] 467*2^835190-1 is not prime. Res64: 1DEBEEE376F9D940 Time : 998.0 sec. user=vaughan [2010-06-25 08:08:39] 565*2^835189-1 is not prime. Res64: B9620B9890F838E8 Time : 1045.0 sec. user=vaughan [2010-06-25 08:08:53] 561*2^835190-1 is not prime. Res64: CE110CDF61ADD53E Time : 970.0 sec. user=vaughan [2010-06-25 08:08:59] 447*2^835926-1 is not prime. Res64: EDE87289E4A0C4C3 Time : 720.0 sec. user=vaughan [2010-06-25 08:10:10] 453*2^835190-1 is not prime. Res64: 9B56D2B4E411A0F7 Time : 1105.0 sec. user=vaughan [2010-06-25 08:10:42] 443*2^835926-1 is not prime. Res64: 4A0EBD0FA9D57EEA Time : 973.0 sec. user=vaughan [2010-06-25 08:11:03] 503*2^835926-1 is not prime. Res64: 0912B0D0324CC15D Time : 725.0 sec. user=vaughan [2010-06-25 08:11:18] 567*2^835926-1 is not prime. Res64: B1AF0FA664EC71D7 Time : 725.0 sec. user=vaughan [2010-06-25 08:12:02] 481*2^835925-1 is not prime. Res64: 04D0732E236B77F7 Time : 1068.0 sec. user=vaughan [2010-06-25 08:13:49] 405*2^835925-1 is not prime. Res64: 66B2EEA0553D2AA4 Time : 1189.0 sec. user=vaughan [2010-06-25 08:16:33] 405*2^835927-1 is not prime. Res64: 273966F781AA8EC9 Time : 963.0 sec. user=vaughan [2010-06-25 08:17:00] 593*2^835926-1 is not prime. Res64: A69415D11609EEB1 Time : 1001.0 sec. user=vaughan [2010-06-25 08:19:12] 499*2^835927-1 is not prime. Res64: DEAC0FFBE73BDF3B Time : 1012.0 sec. user=vaughan [2010-06-25 08:19:18] 465*2^835927-1 is not prime. Res64: E7BE505D3AAA5B75 Time : 1020.0 sec. user=vaughan [2010-06-25 08:19:42] 429*2^835927-1 is not prime. Res64: 1ECB6B7C3F8A8DA5 Time : 1127.0 sec. user=vaughan [2010-06-25 08:20:43] 503*2^835928-1 is not prime. Res64: 1177898A268D7B9D Time : 1021.0 sec. user=vaughan [2010-06-25 08:20:45] 559*2^835927-1 is not prime. Res64: D7DF1DADC6E4421E Time : 1075.0 sec. user=vaughan [2010-06-25 08:21:01] 477*2^835942-1 is not prime. Res64: 5A30C10FA18E8C19 Time : 722.0 sec. user=vaughan [2010-06-25 08:23:07] 465*2^835943-1 is not prime. Res64: 0F65AC35434B7398 Time : 725.0 sec. user=vaughan [2010-06-25 08:23:22] 489*2^835943-1 is not prime. Res64: 18695E3E882C0A87 Time : 725.0 sec. user=vaughan [2010-06-25 08:25:05] 517*2^835941-1 is not prime. Res64: 18AB5E57E691D882 Time : 999.0 sec. user=vaughan [2010-06-25 08:25:10] 577*2^835941-1 is not prime. Res64: 090807FDAD957C39 Time : 977.0 sec. user=vaughan [2010-06-25 08:26:20] 529*2^835941-1 is not prime. Res64: 92BF65A6ECC10C2E Time : 1061.0 sec. user=vaughan [2010-06-25 08:26:59] 423*2^835943-1 is not prime. Res64: 27BBFFCA1793926F Time : 977.0 sec. user=vaughan [2010-06-25 08:27:10] 573*2^835924-1 is not prime. Res64: 527D3F6AF37A0C45 Time : 2013.0 sec. user=vaughan [2010-06-25 08:28:36] 533*2^835942-1 is not prime. Res64: 54777D78D4D7B10D Time : 1106.0 sec. user=vaughan [2010-06-25 08:29:51] 519*2^835943-1 is not prime. Res64: 387F2A36A2E8FA2D Time : 1069.0 sec. user=vaughan [2010-06-25 08:31:43] 471*2^835926-1 is not prime. Res64: EF6F7CBCC3D82EAF Time : 2011.0 sec. user=vaughan [2010-06-25 08:32:42] 423*2^835944-1 is not prime. Res64: 5A6FE3A8555B1F58 Time : 1133.0 sec. user=vaughan [2010-06-25 08:32:45] 525*2^835944-1 is not prime. Res64: 6B06434C14A4E662 Time : 972.0 sec. user=vaughan [2010-06-25 08:33:06] 405*2^835947-1 is not prime. Res64: 732DA46C351D86FB Time : 725.0 sec. user=vaughan [2010-06-25 08:33:31] 539*2^835944-1 is not prime. Res64: 9FEC2F751FB02148 Time : 991.0 sec. user=vaughan [2010-06-25 08:35:16] 451*2^835947-1 is not prime. Res64: 00729882096627D4 Time : 729.0 sec. user=vaughan [2010-06-25 08:35:32] 483*2^835947-1 is not prime. Res64: 4C3FF7F00FE8D457 Time : 730.0 sec. user=vaughan [2010-06-25 08:35:57] 555*2^835944-1 is not prime. Res64: 7C03162C2D82E751 Time : 1006.0 sec. user=vaughan [2010-06-25 08:36:16] 557*2^835944-1 is not prime. Res64: 42A7D23F6E770A13 Time : 1018.0 sec. user=Flatlander [2010-06-25 08:36:50] 489*2^835900-1 is not prime. Res64: 7CA409F7F451B6F8 Time : 5423.0 sec. user=Flatlander [2010-06-25 08:36:50] 519*2^835900-1 is not prime. Res64: EC08A4BFEFBD78C1 Time : 5421.0 sec. user=Flatlander [2010-06-25 08:36:51] 567*2^835900-1 is not prime. Res64: 61D9110EDB523298 Time : 5420.0 sec. user=Flatlander [2010-06-25 08:36:51] 411*2^835901-1 is not prime. Res64: A2037B9D2DB1CD4C Time : 5419.0 sec. user=Flatlander [2010-06-25 08:36:52] 417*2^835901-1 is not prime. Res64: 4F192A4FCEC3924E Time : 5418.0 sec. user=vaughan [2010-06-25 08:37:30] 429*2^835945-1 is not prime. Res64: CB1AD6BE55F1257E Time : 1068.0 sec. user=vaughan [2010-06-25 08:37:42] 577*2^835945-1 is not prime. Res64: 2C07D8C26673A87E Time : 1020.0 sec. user=vaughan [2010-06-25 08:38:46] 405*2^835946-1 is not prime. Res64: 2BE6A44E4FB3B2F4 Time : 1082.0 sec. user=Flatlander [2010-06-25 08:39:23] 573*2^835904-1 is not prime. Res64: 0F9CF1227CEFB8A7 Time : 5059.0 sec. user=Flatlander [2010-06-25 08:39:24] 441*2^835905-1 is not prime. Res64: 63BF3978222AB6BB Time : 5058.0 sec. user=Flatlander [2010-06-25 08:39:25] 469*2^835905-1 is not prime. Res64: 32D358ECC88447E1 Time : 5058.0 sec. user=Flatlander [2010-06-25 08:39:26] 471*2^835905-1 is not prime. Res64: F896403EEB1ABBFE Time : 5057.0 sec. user=Flatlander [2010-06-25 08:39:26] 495*2^835905-1 is not prime. Res64: BAEB72F30B31C117 Time : 5055.0 sec. user=vaughan [2010-06-25 08:41:52] 513*2^835947-1 is not prime. Res64: 1C3945F5AA9440BB Time : 1008.0 sec. user=vaughan [2010-06-25 08:42:02] 523*2^835947-1 is not prime. Res64: B4FED2A0635490F9 Time : 1012.0 sec. user=vaughan [2010-06-25 08:43:44] 411*2^835949-1 is not prime. Res64: CF23DCDDEFB643D8 Time : 1005.0 sec. user=vaughan [2010-06-25 08:43:50] 497*2^835948-1 is not prime. Res64: 6653514F24F0D206 Time : 1050.0 sec. user=vaughan [2010-06-25 08:45:13] 441*2^835951-1 is not prime. Res64: D99B1AEA3B8806E3 Time : 727.0 sec. user=vaughan [2010-06-25 08:46:11] 589*2^835949-1 is not prime. Res64: 304B889287FA08DF Time : 1055.0 sec. user=vaughan [2010-06-25 08:47:12] 515*2^835950-1 is not prime. Res64: 1DAF0802221C445F Time : 1041.0 sec. user=vaughan [2010-06-25 08:47:25] 463*2^835951-1 is not prime. Res64: AFA9972B536BA3FB Time : 729.0 sec. user=vaughan [2010-06-25 08:47:40] 483*2^835951-1 is not prime. Res64: 5167F0AE39D73E72 Time : 729.0 sec. user=vaughan [2010-06-25 08:49:25] 581*2^835950-1 is not prime. Res64: 2364DEF841B85822 Time : 1000.0 sec. user=vaughan [2010-06-25 08:49:40] 537*2^835950-1 is not prime. Res64: DB4D4EE4E0A3AB31 Time : 1019.0 sec. user=vaughan [2010-06-25 08:50:03] 453*2^835951-1 is not prime. Res64: 6C1FD91A7CA86635 Time : 993.0 sec. user=vaughan [2010-06-25 08:52:42] 511*2^835951-1 is not prime. Res64: 381BADC9AAB697E8 Time : 1005.0 sec. user=vaughan [2010-06-25 08:53:12] 519*2^835952-1 is not prime. Res64: 69992DCE8DEF403C Time : 1017.0 sec. user=vaughan [2010-06-25 08:54:36] 585*2^835953-1 is not prime. Res64: AA6A7A3B9B661033 Time : 1026.0 sec. user=vaughan [2010-06-25 08:54:41] 425*2^835954-1 is not prime. Res64: CD644214E2328BB7 Time : 1019.0 sec. user=vaughan [2010-06-25 08:56:49] 435*2^835954-1 is not prime. Res64: D3A61309116B1960 Time : 1083.0 sec. user=vaughan [2010-06-25 08:57:18] 499*2^835957-1 is not prime. Res64: A06AF2E122A4E540 Time : 725.0 sec. user=vaughan [2010-06-25 08:58:47] 573*2^835955-1 is not prime. Res64: 9BE5A796905C7193 Time : 1016.0 sec. user=vaughan [2010-06-25 08:59:34] 555*2^835957-1 is not prime. Res64: 0AA09452F6475645 Time : 729.0 sec. user=vaughan [2010-06-25 08:59:48] 577*2^835957-1 is not prime. Res64: 886F1CB5037C7D8F Time : 728.0 sec. user=vaughan [2010-06-25 08:59:50] 579*2^835949-1 is not prime. Res64: 4A1BCEC0707DAE10 Time : 1960.0 sec. user=vaughan [2010-06-25 08:59:52] 453*2^835956-1 is not prime. Res64: 80F4F572A75F4EDB Time : 1070.0 sec. user=vaughan [2010-06-25 09:00:19] 427*2^835957-1 is not prime. Res64: E3EFF5048DF9D61D Time : 995.0 sec. user=vaughan [2010-06-25 09:01:20] 441*2^835957-1 is not prime. Res64: B6B17487FC30AA5A Time : 1051.0 sec. user=vaughan [2010-06-25 09:03:47] 507*2^835957-1 is not prime. Res64: 2281FB1902A14BD9 Time : 1056.0 sec. user=vaughan [2010-06-25 09:04:18] 525*2^835950-1 is not prime. Res64: 33857D55C9DE1036 Time : 1956.0 sec. user=vaughan [2010-06-25 09:04:30] 549*2^835957-1 is not prime. Res64: D7F3ADF345F98063 Time : 1038.0 sec. user=vaughan [2010-06-25 09:06:15] 437*2^835958-1 is not prime. Res64: 27A3B0B75A8DFF30 Time : 1010.0 sec. user=vaughan [2010-06-25 09:06:34] 557*2^835958-1 is not prime. Res64: 4096C77C21187DC6 Time : 991.0 sec. user=vaughan [2010-06-25 09:06:40] 525*2^835958-1 is not prime. Res64: 13FEE44C2D197014 Time : 1020.0 sec. user=vaughan [2010-06-25 09:09:25] 533*2^835960-1 is not prime. Res64: 9B18EE7A3E2E45C5 Time : 727.0 sec. user=vaughan [2010-06-25 09:09:29] 563*2^835958-1 is not prime. Res64: 0C842BEDAA57B5E9 Time : 1007.0 sec. user=vaughan [2010-06-25 09:10:11] 573*2^835958-1 is not prime. Res64: E49B3E83D494A039 Time : 1019.0 sec. user=vaughan [2010-06-25 09:11:40] 549*2^835959-1 is not prime. Res64: 504796CE5C5EAD3B Time : 1020.0 sec. user=vaughan [2010-06-25 09:11:44] 439*2^835961-1 is not prime. Res64: 6BB65900095AEB88 Time : 730.0 sec. user=vaughan [2010-06-25 09:11:46] 439*2^835959-1 is not prime. Res64: 0384AC1D3B8E5C90 Time : 1030.0 sec. user=vaughan [2010-06-25 09:11:58] 475*2^835961-1 is not prime. Res64: 52697ECA32E72F8A Time : 730.0 sec. user=vaughan [2010-06-25 09:14:51] 573*2^835959-1 is not prime. Res64: 54CFE096CD3F8142 Time : 1082.0 sec. user=vaughan [2010-06-25 09:15:46] 569*2^835960-1 is not prime. Res64: 69803FA6BD52B0EC Time : 1020.0 sec. user=vaughan [2010-06-25 09:16:59] 507*2^835961-1 is not prime. Res64: 6CD9C123799E02B7 Time : 1000.0 sec. user=vaughan [2010-06-25 09:18:08] 489*2^835961-1 is not prime. Res64: 88CC52E84E2B6925 Time : 1096.0 sec. user=vaughan [2010-06-25 09:18:51] 561*2^835961-1 is not prime. Res64: 0FC9F39D9F44D81F Time : 1051.0 sec. user=vaughan [2010-06-25 09:21:24] 571*2^835961-1 is not prime. Res64: 9E06FEC167A512DA Time : 1057.0 sec. user=vaughan [2010-06-25 09:21:31] 519*2^835963-1 is not prime. Res64: 8644DD87A6AB5CCF Time : 727.0 sec. user=vaughan [2010-06-25 09:21:42] 527*2^835962-1 is not prime. Res64: D97E3186F4DBA380 Time : 1032.0 sec. user=vaughan [2010-06-25 09:23:06] 587*2^835962-1 is not prime. Res64: D75158B203904CB5 Time : 992.0 sec. user=vaughan [2010-06-25 09:23:11] 551*2^835962-1 is not prime. Res64: 3545A9E278D0A861 Time : 1016.0 sec. user=vaughan [2010-06-25 09:23:40] 451*2^835963-1 is not prime. Res64: E42553451D960A21 Time : 1020.0 sec. user=vaughan [2010-06-25 09:23:53] 563*2^835964-1 is not prime. Res64: 3D3F25AB7C5EBE0E Time : 729.0 sec. user=vaughan [2010-06-25 09:24:07] 585*2^835964-1 is not prime. Res64: 813BD7D6CB18C4D6 Time : 729.0 sec. user=vaughan [2010-06-25 09:26:14] 595*2^835963-1 is not prime. Res64: A9560E56370D0272 Time : 1006.0 sec. user=vaughan [2010-06-25 09:27:09] 423*2^835964-1 is not prime. Res64: 46168DEFCD906AB4 Time : 1019.0 sec. user=vaughan [2010-06-25 09:28:41] 545*2^835964-1 is not prime. Res64: 45208E21B8B42EDB Time : 1021.0 sec. user=vaughan [2010-06-25 09:29:06] 573*2^835964-1 is not prime. Res64: 3E8CE40448A70309 Time : 1040.0 sec. user=vaughan [2010-06-25 09:32:25] 477*2^835961-1 is not prime. Res64: 76BF7116BAE02A21 Time : 1956.0 sec. user=vaughan [2010-06-25 09:32:46] 545*2^835966-1 is not prime. Res64: 104B41E8946BA23C Time : 1020.0 sec. user=vaughan [2010-06-25 09:32:52] 517*2^835965-1 is not prime. Res64: DE6528B8D7FF6924 Time : 1081.0 sec. user=vaughan [2010-06-25 09:33:37] 419*2^835968-1 is not prime. Res64: A3236ECDF0A111C1 Time : 726.0 sec. user=vaughan [2010-06-25 09:34:30] 561*2^835966-1 is not prime. Res64: 4F78FDF52F8B3A0F Time : 1051.0 sec. user=vaughan [2010-06-25 09:35:09] 567*2^835966-1 is not prime. Res64: 082E013A33B3F71B Time : 1021.0 sec. user=vaughan [2010-06-25 09:36:03] 517*2^835969-1 is not prime. Res64: 2D210E1279DBE953 Time : 730.0 sec. user=vaughan [2010-06-25 09:36:17] 407*2^835970-1 is not prime. Res64: 1E9EAAF5ED841E9E Time : 730.0 sec. user=vaughan [2010-06-25 09:36:24] 587*2^835966-1 is not prime. Res64: DC5B02A09BE47CE6 Time : 1053.0 sec. user=Flatlander [2010-06-25 09:37:29] 503*2^835908-1 is not prime. Res64: 05D8BB7B635602D0 Time : 7876.0 sec. user=Flatlander [2010-06-25 09:37:30] 515*2^835908-1 is not prime. Res64: 84E5F6E28962DF7B Time : 7876.0 sec. user=Flatlander [2010-06-25 09:37:30] 527*2^835908-1 is not prime. Res64: CF7137497723C150 Time : 7874.0 sec. user=Flatlander [2010-06-25 09:37:31] 411*2^835909-1 is not prime. Res64: 6DE1779B072A0C9A Time : 7873.0 sec. user=Flatlander [2010-06-25 09:37:32] 505*2^835909-1 is not prime. Res64: 69DFB4935E8B1F8F Time : 7873.0 sec. user=vaughan [2010-06-25 09:37:59] 495*2^835962-1 is not prime. Res64: AA6D3452C17B0D5B Time : 2021.0 sec. user=vaughan [2010-06-25 09:39:02] 459*2^835968-1 is not prime. Res64: EA07ED07C0603550 Time : 1040.0 sec. user=vaughan [2010-06-25 09:39:03] 519*2^835967-1 is not prime. Res64: 66EA05FEDC0220A6 Time : 1059.0 sec. user=vaughan [2010-06-25 09:39:37] 525*2^835968-1 is not prime. Res64: E853FE901A046F8D Time : 991.0 sec. user=vaughan [2010-06-25 09:40:01] 549*2^835968-1 is not prime. Res64: 2EA4CE3BDCA10FF1 Time : 1010.0 sec. user=vaughan [2010-06-25 09:40:40] 481*2^835969-1 is not prime. Res64: AEED6047F4A4BC85 Time : 1021.0 sec. user=vaughan [2010-06-25 09:43:00] 411*2^835970-1 is not prime. Res64: 0068C696EEDA4E48 Time : 1006.0 sec. user=vaughan [2010-06-25 09:44:07] 423*2^835970-1 is not prime. Res64: DE78814E925E7B1B Time : 1018.0 sec. user=vaughan [2010-06-25 09:45:40] 477*2^835970-1 is not prime. Res64: 19B65A862CB1A236 Time : 1020.0 sec. user=vaughan [2010-06-25 09:45:43] 541*2^835971-1 is not prime. Res64: 2BFC75DC2D7EB46D Time : 726.0 sec. user=vaughan [2010-06-25 09:46:21] 521*2^835970-1 is not prime. Res64: FA28728BA91696D1 Time : 1036.0 sec. user=vaughan [2010-06-25 09:48:11] 507*2^835972-1 is not prime. Res64: 27F51EEE64939B6E Time : 729.0 sec. user=vaughan [2010-06-25 09:48:25] 573*2^835972-1 is not prime. Res64: BF8934E693FE3719 Time : 729.0 sec. user=vaughan [2010-06-25 09:49:44] 575*2^835970-1 is not prime. Res64: E7885DA0E68BF433 Time : 1018.0 sec. user=vaughan [2010-06-25 09:50:58] 411*2^835971-1 is not prime. Res64: 4B370AA043A4B032 Time : 1086.0 sec. user=vaughan [2010-06-25 09:51:41] 423*2^835972-1 is not prime. Res64: 61D6A00A220FC0F6 Time : 992.0 sec. user=vaughan [2010-06-25 09:52:20] 595*2^835971-1 is not prime. Res64: AFFCC7A3858F8812 Time : 1070.0 sec. user=Flatlander [2010-06-25 09:52:46] 489*2^835923-1 is not prime. Res64: 9E66029D4DA810EE Time : 7352.0 sec. user=Flatlander [2010-06-25 09:52:47] 493*2^835923-1 is not prime. Res64: CEF9121A0F348259 Time : 7352.0 sec. user=Flatlander [2010-06-25 09:52:48] 419*2^835924-1 is not prime. Res64: B2897C2A3A76AFC6 Time : 7352.0 sec. user=Flatlander [2010-06-25 09:52:48] 447*2^835924-1 is not prime. Res64: A2BF3105FA8D555D Time : 7351.0 sec. user=Flatlander [2010-06-25 09:52:49] 527*2^835924-1 is not prime. Res64: E2EE12E5C65459E5 Time : 7351.0 sec. user=vaughan [2010-06-25 09:53:51] 417*2^835973-1 is not prime. Res64: 59C6DA337FBD59F9 Time : 1047.0 sec. user=vaughan [2010-06-25 09:56:09] 411*2^835975-1 is not prime. Res64: A9ACC4005B1B6ED5 Time : 992.0 sec. user=vaughan [2010-06-25 09:56:17] 555*2^835974-1 is not prime. Res64: 3BB7050F0ED3443E Time : 1035.0 sec. user=vaughan [2010-06-25 09:56:43] 573*2^835974-1 is not prime. Res64: 009ECC03A1EC6B36 Time : 1060.0 sec. user=vaughan [2010-06-25 09:56:58] 441*2^835975-1 is not prime. Res64: F4E8334E209828A9 Time : 1017.0 sec. user=vaughan [2010-06-25 09:57:41] 451*2^835975-1 is not prime. Res64: D10F8961B0569693 Time : 1021.0 sec. user=vaughan [2010-06-25 09:57:48] 501*2^835977-1 is not prime. Res64: 310BEE69311409A6 Time : 725.0 sec. user=vaughan [2010-06-25 09:59:46] 425*2^835976-1 is not prime. Res64: FE00D4BF73B2624E Time : 1006.0 sec. user=vaughan [2010-06-25 10:00:20] 573*2^835978-1 is not prime. Res64: DF645A610513DCFE Time : 729.0 sec. user=vaughan [2010-06-25 10:00:34] 411*2^835979-1 is not prime. Res64: A0AEFF96AE8A0D3D Time : 729.0 sec. user=vaughan [2010-06-25 10:01:05] 519*2^835976-1 is not prime. Res64: E0C5461054255E08 Time : 1018.0 sec. user=vaughan [2010-06-25 10:02:40] 405*2^835977-1 is not prime. Res64: A723B7016960C7F0 Time : 1020.0 sec. user=vaughan [2010-06-25 10:03:38] 549*2^835977-1 is not prime. Res64: 1E4EB056ABB13810 Time : 1038.0 sec. user=vaughan [2010-06-25 10:05:02] 533*2^835970-1 is not prime. Res64: ADA92E782E56BA3C Time : 1957.0 sec. user=vaughan [2010-06-25 10:06:45] 433*2^835979-1 is not prime. Res64: EDFA8F3C99D902AD Time : 1021.0 sec. user=vaughan [2010-06-25 10:08:21] 567*2^835980-1 is not prime. Res64: F161023EAEC7B3C0 Time : 1001.0 sec. user=vaughan [2010-06-25 10:09:02] 513*2^835980-1 is not prime. Res64: 13A139F2CCD7F739 Time : 1084.0 sec. user=vaughan [2010-06-25 10:09:54] 411*2^835983-1 is not prime. Res64: 40B081138F9EE0C2 Time : 726.0 sec. user=vaughan [2010-06-25 10:10:04] 585*2^835980-1 is not prime. Res64: 5338314C63EFF058 Time : 1065.0 sec. user=vaughan [2010-06-25 10:10:34] 507*2^835974-1 is not prime. Res64: 8E6111AF8AE9BC0A Time : 1956.0 sec. user=vaughan [2010-06-25 10:11:23] 503*2^835982-1 is not prime. Res64: 3E3B529D8A96BE35 Time : 1052.0 sec. user=vaughan [2010-06-25 10:12:28] 489*2^835984-1 is not prime. Res64: 0EF516F749753CE2 Time : 729.0 sec. user=vaughan [2010-06-25 10:12:40] 507*2^835982-1 is not prime. Res64: D5D0DD2E622B8F2B Time : 992.0 sec. user=vaughan [2010-06-25 10:12:43] 513*2^835984-1 is not prime. Res64: 2284C985FAF68BE3 Time : 730.0 sec. user=vaughan [2010-06-25 10:13:27] 515*2^835982-1 is not prime. Res64: 50555BD4516CA1DB Time : 1030.0 sec. user=vaughan [2010-06-25 10:14:16] 545*2^835982-1 is not prime. Res64: 6D51012245177DE6 Time : 1053.0 sec. user=vaughan [2010-06-25 10:14:23] 551*2^835982-1 is not prime. Res64: DC801023B345149F Time : 1046.0 sec. user=vaughan [2010-06-25 10:14:39] 567*2^835982-1 is not prime. Res64: FFACD7402CFF4642 Time : 1018.0 sec. user=vaughan [2010-06-25 10:16:32] 451*2^835983-1 is not prime. Res64: D41AAD96B065C666 Time : 1007.0 sec. user=vaughan [2010-06-25 10:18:03] 519*2^835984-1 is not prime. Res64: 7F379895B8FB465D Time : 1019.0 sec. user=vaughan [2010-06-25 10:19:38] 539*2^835984-1 is not prime. Res64: 385102FB3CCDD9B3 Time : 1019.0 sec. user=vaughan [2010-06-25 10:21:02] 569*2^835984-1 is not prime. Res64: 2B1B4799BDD42B71 Time : 1044.0 sec. user=vaughan [2010-06-25 10:21:59] 477*2^835985-1 is not prime. Res64: 41A208A6F0BA1B3D Time : 726.0 sec. user=vaughan [2010-06-25 10:23:42] 575*2^835984-1 is not prime. Res64: FFDEF83EF067A3A8 Time : 1017.0 sec. user=vaughan [2010-06-25 10:24:37] 515*2^835986-1 is not prime. Res64: A5F76CFB73F01887 Time : 729.0 sec. user=vaughan [2010-06-25 10:24:51] 587*2^835986-1 is not prime. Res64: 54039A533788CA99 Time : 728.0 sec. user=vaughan [2010-06-25 10:24:54] 409*2^835985-1 is not prime. Res64: BF35B36C1BACF889 Time : 994.0 sec. user=vaughan [2010-06-25 10:26:35] 495*2^835985-1 is not prime. Res64: 6A064786E0819B78 Time : 991.0 sec. user=vaughan [2010-06-25 10:27:03] 445*2^835985-1 is not prime. Res64: AC3B52496A1D0EDB Time : 1081.0 sec. user=vaughan [2010-06-25 10:28:55] 405*2^835986-1 is not prime. Res64: F93DD7439C0D368F Time : 1053.0 sec. user=vaughan [2010-06-25 10:29:11] 525*2^835986-1 is not prime. Res64: 6FF5AF8990C2B1AE Time : 991.0 sec. user=Flatlander [2010-06-25 10:29:25] 429*2^835953-1 is not prime. Res64: B1084950C872323A Time : 6752.0 sec. user=Flatlander [2010-06-25 10:29:25] 457*2^835953-1 is not prime. Res64: 48327D684E0A9922 Time : 6751.0 sec. user=Flatlander [2010-06-25 10:29:26] 481*2^835953-1 is not prime. Res64: C75F593A12CE9260 Time : 6751.0 sec. user=Flatlander [2010-06-25 10:29:27] 511*2^835953-1 is not prime. Res64: 1877CBF958357FC8 Time : 6751.0 sec. user=Flatlander [2010-06-25 10:29:28] 565*2^835953-1 is not prime. Res64: A54A78ADAD6FC54F Time : 6751.0 sec. user=vaughan [2010-06-25 10:30:36] 523*2^835987-1 is not prime. Res64: 2B2231E4EF4989AF Time : 1030.0 sec. user=vaughan [2010-06-25 10:31:37] 595*2^835987-1 is not prime. Res64: 65BA2D61E4C3E9DA Time : 1018.0 sec. user=vaughan [2010-06-25 10:31:48] 531*2^835987-1 is not prime. Res64: 67DE6034EA66FB2F Time : 1052.0 sec. user=vaughan [2010-06-25 10:32:15] 549*2^835987-1 is not prime. Res64: 614B012A62128F63 Time : 1072.0 sec. user=vaughan [2010-06-25 10:33:17] 417*2^835988-1 is not prime. Res64: 0C50DD666852E917 Time : 1005.0 sec. user=vaughan [2010-06-25 10:34:03] 471*2^835989-1 is not prime. Res64: 7AD8CE655DC5FA23 Time : 724.0 sec. user=vaughan [2010-06-25 10:35:00] 479*2^835988-1 is not prime. Res64: 8CD0D9111EFF00B8 Time : 1017.0 sec. user=vaughan [2010-06-25 10:36:37] 545*2^835988-1 is not prime. Res64: 66932FB66704E5EA Time : 1019.0 sec. user=vaughan [2010-06-25 10:36:44] 579*2^835989-1 is not prime. Res64: 3EB1512EBC2895F9 Time : 728.0 sec. user=vaughan [2010-06-25 10:36:59] 451*2^835991-1 is not prime. Res64: 8E9F99BC6600A842 Time : 728.0 sec. user=vaughan [2010-06-25 10:37:36] 573*2^835984-1 is not prime. Res64: C48391CDCBAF4AFC Time : 1954.0 sec. user=vaughan [2010-06-25 10:38:18] 427*2^835989-1 is not prime. Res64: 3F52EEBA35957071 Time : 1036.0 sec. user=vaughan [2010-06-25 10:45:43] 585*2^835991-1 is not prime. Res64: 6B935B956882E3A7 Time : 992.0 sec. user=Flatlander [2010-06-25 10:46:13] 437*2^835954-1 is not prime. Res64: B61247B77CC176D0 Time : 7605.0 sec. user=Flatlander [2010-06-25 10:46:14] 461*2^835954-1 is not prime. Res64: A486F73D347D51B9 Time : 7604.0 sec. user=Flatlander [2010-06-25 10:46:15] 503*2^835954-1 is not prime. Res64: 9BE862D46AE94F5D Time : 7604.0 sec. user=Flatlander [2010-06-25 10:46:16] 527*2^835954-1 is not prime. Res64: 2304E216236D1323 Time : 7603.0 sec. user=Flatlander [2010-06-25 10:46:16] 481*2^835955-1 is not prime. Res64: 027C2048E1B758C2 Time : 7602.0 sec. user=vaughan [2010-06-25 10:50:04] 493*2^835995-1 is not prime. Res64: 4C15BF75CE017F48 Time : 1007.0 sec. user=vaughan [2010-06-25 10:52:00] 507*2^835996-1 is not prime. Res64: 6A7B9E5C2A2C6EB8 Time : 1020.0 sec. user=vaughan [2010-06-25 10:53:38] 567*2^835996-1 is not prime. Res64: 19D32C21BB7A8F14 Time : 1021.0 sec. user=Flatlander [2010-06-25 10:55:06] 441*2^835973-1 is not prime. Res64: 3887F00DA3162F59 Time : 4653.0 sec. user=Flatlander [2010-06-25 10:55:07] 481*2^835973-1 is not prime. Res64: B98C5685B1655CE4 Time : 4652.0 sec. user=Flatlander [2010-06-25 10:55:08] 525*2^835973-1 is not prime. Res64: 334C5B7BACA16245 Time : 4652.0 sec. user=Flatlander [2010-06-25 10:55:09] 549*2^835973-1 is not prime. Res64: D8CAAE917E2BCBEB Time : 4651.0 sec. user=Flatlander [2010-06-25 10:55:09] 413*2^835974-1 is not prime. Res64: E8D1B85DFF184C4F Time : 4650.0 sec. user=vaughan [2010-06-25 11:02:14] 589*2^835997-1 is not prime. Res64: 2719EC2928BE7A49 Time : 991.0 sec. user=vaughan [2010-06-25 11:06:50] 483*2^835999-1 is not prime. Res64: 629104AC296903A0 Time : 1007.0 sec. user=Flatlander [2010-06-25 11:07:17] 597*2^835980-1 is not prime. Res64: 5141FB68FF099EDC Time : 4467.0 sec. user=Flatlander [2010-06-25 11:07:18] 447*2^835981-1 is not prime. Res64: B907326D7B544026 Time : 4467.0 sec. user=Flatlander [2010-06-25 11:07:19] 465*2^835981-1 is not prime. Res64: 7C198F36E43253B2 Time : 4466.0 sec. user=Flatlander [2010-06-25 11:07:20] 525*2^835981-1 is not prime. Res64: 0DCCD799C49A8A20 Time : 4466.0 sec. user=Flatlander [2010-06-25 11:07:20] 425*2^835982-1 is not prime. Res64: 95E8A6B124F05E6F Time : 4465.0 sec. user=vaughan [2010-06-25 11:08:58] 523*2^835999-1 is not prime. Res64: 2D209CB3022FB4D9 Time : 1018.0 sec. user=vaughan [2010-06-25 11:10:36] 525*2^835999-1 is not prime. Res64: C29C102FEAAE56C7 Time : 1019.0 sec. user=vaughan [2010-06-25 11:18:43] 571*2^836001-1 is not prime. Res64: 9FE61A58F56056AA Time : 990.0 sec. user=vaughan [2010-06-25 11:23:35] 405*2^836002-1 is not prime. Res64: 359EA0C566738B36 Time : 1005.0 sec. user=vaughan [2010-06-25 11:25:56] 527*2^836004-1 is not prime. Res64: EA601B0B190C673A Time : 1018.0 sec. user=vaughan [2010-06-25 11:27:36] 549*2^836004-1 is not prime. Res64: DBAE75B3C84D04DE Time : 1020.0 sec. user=vaughan [2010-06-25 11:35:13] 471*2^835258-1 is not prime. Res64: 2C42B4D702F87697 Time : 990.0 sec. user=vaughan [2010-06-25 11:40:20] 455*2^836006-1 is not prime. Res64: 36BCE88AA1437FAB Time : 1006.0 sec. user=vaughan [2010-06-25 11:42:53] 473*2^836006-1 is not prime. Res64: 6CF0F392DE392606 Time : 1017.0 sec. user=vaughan [2010-06-25 11:44:35] 537*2^836006-1 is not prime. Res64: 54016875CDD1A463 Time : 1019.0 sec. user=vaughan [2010-06-25 11:51:45] 581*2^836006-1 is not prime. Res64: 99BA8DA4640F8808 Time : 992.0 sec. user=vaughan [2010-06-25 11:57:03] 597*2^835264-1 is not prime. Res64: 964BA0083422E742 Time : 1003.0 sec. user=vaughan [2010-06-25 11:59:51] 585*2^836006-1 is not prime. Res64: 001E0FE357239506 Time : 1018.0 sec. user=vaughan [2010-06-25 12:01:35] 451*2^836007-1 is not prime. Res64: 299C46652E4129B5 Time : 1020.0 sec. user=vaughan [2010-06-25 12:11:07] 469*2^836007-1 is not prime. Res64: BBD49958D9778C99 Time : 1163.0 sec. user=Flatlander [2010-06-25 12:12:19] 553*2^835999-1 is not prime. Res64: 96869A00829F0330 Time : 4628.0 sec. user=Flatlander [2010-06-25 12:12:19] 585*2^836000-1 is not prime. Res64: 05463E3D804BE663 Time : 4626.0 sec. user=Flatlander [2010-06-25 12:12:20] 511*2^836001-1 is not prime. Res64: 4BE6E53291E0E51B Time : 4626.0 sec. user=Flatlander [2010-06-25 12:12:21] 517*2^836001-1 is not prime. Res64: 30A4902DE715D2A5 Time : 4625.0 sec. user=Flatlander [2010-06-25 12:12:22] 535*2^836001-1 is not prime. Res64: E2BB8B7CD3C0AEFF Time : 4625.0 sec. user=vaughan [2010-06-25 12:17:35] 555*2^836007-1 is not prime. Res64: E77EB01D010DE6C9 Time : 1232.0 sec. user=vaughan [2010-06-25 12:19:07] 583*2^836007-1 is not prime. Res64: 37D586386BD1996B Time : 1157.0 sec. user=vaughan [2010-06-25 12:19:57] 585*2^836007-1 is not prime. Res64: 93CC5F9F3E36DBEE Time : 1103.0 sec. user=vaughan [2010-06-25 12:29:02] 597*2^836008-1 is not prime. Res64: ABA5D6BC79329C04 Time : 1075.0 sec. user=vaughan [2010-06-25 12:34:23] 421*2^836011-1 is not prime. Res64: 33FB2B22EAE42E19 Time : 1009.0 sec. user=Flatlander [2010-06-25 12:34:57] 483*2^836002-1 is not prime. Res64: 43F2FB3844C2A1E1 Time : 5255.0 sec. user=Flatlander [2010-06-25 12:34:58] 441*2^836003-1 is not prime. Res64: 2109E0C1EFC5D07D Time : 5254.0 sec. user=Flatlander [2010-06-25 12:34:59] 505*2^836003-1 is not prime. Res64: 2773B5608F3CD894 Time : 5254.0 sec. user=Flatlander [2010-06-25 12:34:59] 591*2^836003-1 is not prime. Res64: F981CA1AA7B81E61 Time : 5252.0 sec. user=Flatlander [2010-06-25 12:35:00] 465*2^836004-1 is not prime. Res64: 56E9A8C53BABB85B Time : 5251.0 sec. user=vaughan [2010-06-25 12:36:11] 463*2^836011-1 is not prime. Res64: 1E24F8E1854F18FD Time : 1024.0 sec. user=vaughan [2010-06-25 12:37:01] 483*2^836011-1 is not prime. Res64: 187D0965F831B7F4 Time : 1024.0 sec. user=vaughan [2010-06-25 12:45:37] 541*2^836011-1 is not prime. Res64: C088C4F7FF921DDF Time : 995.0 sec. user=vaughan [2010-06-25 12:51:11] 583*2^836011-1 is not prime. Res64: 15FF3A40C9C48822 Time : 1008.0 sec. user=vaughan [2010-06-25 12:53:09] 417*2^836013-1 is not prime. Res64: 321F861D5C396562 Time : 1018.0 sec. user=vaughan [2010-06-25 12:54:00] 459*2^836013-1 is not prime. Res64: 399CBB7011D693D1 Time : 1020.0 sec. user=Flatlander [2010-06-25 12:59:26] 527*2^835992-1 is not prime. Res64: D566FE7A2073C2B9 Time : 8997.0 sec. user=Flatlander [2010-06-25 12:59:27] 537*2^835992-1 is not prime. Res64: 71590A18DE5A9607 Time : 8996.0 sec. user=Flatlander [2010-06-25 12:59:27] 557*2^835992-1 is not prime. Res64: 43F76DCAB0B4BB58 Time : 8994.0 sec. user=Flatlander [2010-06-25 12:59:28] 587*2^835992-1 is not prime. Res64: 77F8B21809F1683C Time : 8994.0 sec. user=Flatlander [2010-06-25 12:59:29] 441*2^835993-1 is not prime. Res64: 1BD317FA8839D355 Time : 8993.0 sec. user=vaughan [2010-06-25 13:02:08] 495*2^836013-1 is not prime. Res64: 2708B810009F9B9A Time : 992.0 sec. user=vaughan [2010-06-25 13:07:57] 537*2^836013-1 is not prime. Res64: E25257F91EC5D43C Time : 1006.0 sec. user=vaughan [2010-06-25 13:10:07] 555*2^836013-1 is not prime. Res64: E5CAD77D82CF81D4 Time : 1018.0 sec. user=vaughan [2010-06-25 13:10:59] 559*2^836013-1 is not prime. Res64: EEDD472D12FD6333 Time : 1019.0 sec. user=Flatlander [2010-06-25 13:13:43] 425*2^835998-1 is not prime. Res64: DD7DC602DEC1D06F Time : 8845.0 sec. user=Flatlander [2010-06-25 13:13:44] 465*2^835998-1 is not prime. Res64: E493CD39E608684A Time : 8844.0 sec. user=Flatlander [2010-06-25 13:13:45] 503*2^835998-1 is not prime. Res64: 1DEC547B631747F8 Time : 8844.0 sec. user=Flatlander [2010-06-25 13:13:46] 507*2^835998-1 is not prime. Res64: 2BCFFCE809F7F468 Time : 8843.0 sec. user=Flatlander [2010-06-25 13:13:47] 555*2^835998-1 is not prime. Res64: C14D3B6248BB9404 Time : 8842.0 sec. user=vaughan [2010-06-25 13:18:39] 409*2^836015-1 is not prime. Res64: 34855EE1CD95261A Time : 991.0 sec. user=vaughan [2010-06-25 13:24:42] 465*2^836015-1 is not prime. Res64: 7CE13DB09B7ED71D Time : 1006.0 sec. user=Flatlander [2010-06-25 13:26:53] 537*2^836009-1 is not prime. Res64: E5AA7F79F56A67C3 Time : 4470.0 sec. user=Flatlander [2010-06-25 13:26:53] 567*2^836009-1 is not prime. Res64: 31EA5B758203A323 Time : 4468.0 sec. user=Flatlander [2010-06-25 13:26:54] 413*2^836010-1 is not prime. Res64: C874A64F18C49B47 Time : 4468.0 sec. user=Flatlander [2010-06-25 13:26:55] 461*2^836010-1 is not prime. Res64: 027891C82D3B29B2 Time : 4467.0 sec. user=Flatlander [2010-06-25 13:26:56] 405*2^836011-1 is not prime. Res64: BDD4C81B62807824 Time : 4466.0 sec. user=vaughan [2010-06-25 13:27:04] 475*2^836015-1 is not prime. Res64: D235783EEE3210FF Time : 1018.0 sec. user=vaughan [2010-06-25 13:27:58] 481*2^836015-1 is not prime. Res64: 52EA6683C97D6E51 Time : 1020.0 sec. user=vaughan [2010-06-25 13:35:10] 405*2^836016-1 is not prime. Res64: 66C10CE38A05C30A Time : 991.0 sec. user=vaughan [2010-06-25 13:41:26] 413*2^836016-1 is not prime. Res64: B9F344F0226BF611 Time : 1004.0 sec. user=vaughan [2010-06-25 13:44:02] 483*2^836018-1 is not prime. Res64: B34554EDC2669E4B Time : 1018.0 sec. user=vaughan [2010-06-25 13:44:57] 501*2^836018-1 is not prime. Res64: 60B2D22E9706A2C6 Time : 1019.0 sec. user=vaughan [2010-06-25 13:51:41] 459*2^836019-1 is not prime. Res64: F807C5C5564551C6 Time : 991.0 sec. user=vaughan [2010-06-25 13:58:13] 465*2^836019-1 is not prime. Res64: C1E6541FF30E3C2A Time : 1007.0 sec. user=vaughan [2010-06-25 14:01:00] 501*2^836019-1 is not prime. Res64: 984108B5C517AC0E Time : 1018.0 sec. user=vaughan [2010-06-25 14:01:57] 565*2^836019-1 is not prime. Res64: 81B5C04B6F154E63 Time : 1020.0 sec. user=vaughan [2010-06-25 14:08:11] 579*2^836019-1 is not prime. Res64: A54894067CC32AB3 Time : 990.0 sec. user=vaughan [2010-06-25 14:14:58] 429*2^836020-1 is not prime. Res64: D75034FCEC310123 Time : 1006.0 sec. user=Flatlander [2010-06-25 14:15:03] 405*2^836012-1 is not prime. Res64: DCC1EC5BC952B91C Time : 6001.0 sec. user=Flatlander [2010-06-25 14:15:03] 435*2^836012-1 is not prime. Res64: C57D43C01094AF3C Time : 6000.0 sec. user=Flatlander [2010-06-25 14:15:03] 507*2^836012-1 is not prime. Res64: 9082D7AB0C7651E3 Time : 5998.0 sec. user=Flatlander [2010-06-25 14:15:03] 557*2^836012-1 is not prime. Res64: 1B236CE0A0876341 Time : 5997.0 sec. user=Flatlander [2010-06-25 14:15:03] 599*2^836012-1 is not prime. Res64: 910EB0326392D12A Time : 5995.0 sec. user=vaughan [2010-06-25 14:17:58] 437*2^836020-1 is not prime. Res64: 4BB38A589B3B5429 Time : 1018.0 sec. user=vaughan [2010-06-25 14:18:57] 411*2^836021-1 is not prime. Res64: 0CE0797C0FB6765B Time : 1021.0 sec. user=vaughan [2010-06-25 14:24:44] 417*2^836021-1 is not prime. Res64: FA53F76ABC405765 Time : 993.0 sec. user=Flatlander [2010-06-25 14:31:31] 489*2^836015-1 is not prime. Res64: FF69DC538B68B153 Time : 4663.0 sec. user=Flatlander [2010-06-25 14:31:32] 523*2^836015-1 is not prime. Res64: BDA77531329B3F3E Time : 4662.0 sec. user=Flatlander [2010-06-25 14:31:32] 525*2^836015-1 is not prime. Res64: D2A0A7BC781B5D69 Time : 4661.0 sec. user=Flatlander [2010-06-25 14:31:32] 531*2^836015-1 is not prime. Res64: 991CFDC2A661E1CD Time : 4659.0 sec. user=Flatlander [2010-06-25 14:31:32] 543*2^836015-1 is not prime. Res64: B28BFE1A1435C8C1 Time : 4657.0 sec. user=vaughan [2010-06-25 14:31:43] 421*2^836021-1 is not prime. Res64: 8D9B1CB0D325A764 Time : 1005.0 sec. user=vaughan [2010-06-25 14:34:56] 447*2^836022-1 is not prime. Res64: 436D828429A56DDD Time : 1018.0 sec. user=vaughan [2010-06-25 14:35:57] 525*2^836022-1 is not prime. Res64: F25D2018EE06C653 Time : 1020.0 sec. user=vaughan [2010-06-25 14:41:15] 593*2^836022-1 is not prime. Res64: 81D64EE8EEBC29B3 Time : 992.0 sec. user=vaughan [2010-06-25 14:48:29] 573*2^836023-1 is not prime. Res64: 95E7B8DB8D44C3AD Time : 1006.0 sec. user=vaughan [2010-06-25 14:51:54] 437*2^836024-1 is not prime. Res64: FF9B12C704ED2F9D Time : 1019.0 sec. user=vaughan [2010-06-25 14:52:56] 447*2^836024-1 is not prime. Res64: 500405F4AD9293E9 Time : 1020.0 sec. user=vaughan [2010-06-25 14:57:47] 479*2^836024-1 is not prime. Res64: A0F029DD98B5DF25 Time : 993.0 sec. user=vaughan [2010-06-25 15:05:15] 495*2^836024-1 is not prime. Res64: C463BAA59AE019AC Time : 1007.0 sec. user=vaughan [2010-06-25 15:08:51] 565*2^836025-1 is not prime. Res64: D16EB15D05CAF55A Time : 1017.0 sec. user=vaughan [2010-06-25 15:09:57] 585*2^836025-1 is not prime. Res64: 942D30886C64D017 Time : 1021.0 sec. user=vaughan [2010-06-25 15:14:18] 591*2^836025-1 is not prime. Res64: 5B4BA3D3D1AF28FA Time : 991.0 sec. user=vaughan [2010-06-25 15:22:01] 483*2^836026-1 is not prime. Res64: C4DE9FDC0518FF0D Time : 1006.0 sec. user=vaughan [2010-06-25 15:25:50] 587*2^836026-1 is not prime. Res64: A1E70883A06F9FD1 Time : 1019.0 sec. user=vaughan [2010-06-25 15:26:56] 433*2^836027-1 is not prime. Res64: 47DEB58EA0F51864 Time : 1020.0 sec. user=Flatlander [2010-06-25 15:28:46] 597*2^836013-1 is not prime. Res64: 5A1321360966E787 Time : 8955.0 sec. user=Flatlander [2010-06-25 15:28:47] 461*2^836014-1 is not prime. Res64: 7190525ED05527EA Time : 8955.0 sec. user=Flatlander [2010-06-25 15:28:47] 521*2^836014-1 is not prime. Res64: BB64E1204C808063 Time : 8953.0 sec. user=Flatlander [2010-06-25 15:28:48] 525*2^836014-1 is not prime. Res64: 2656EFCBCDA85A10 Time : 8952.0 sec. user=Flatlander [2010-06-25 15:28:48] 533*2^836014-1 is not prime. Res64: A72B60BB29FD9F2C Time : 8951.0 sec. user=vaughan [2010-06-25 15:30:48] 465*2^836027-1 is not prime. Res64: 6E17A041E2FD53D0 Time : 990.0 sec. user=vaughan [2010-06-25 15:38:48] 489*2^836027-1 is not prime. Res64: 494FA0D65FE848B2 Time : 1007.0 sec. user=vaughan [2010-06-25 15:42:48] 493*2^836027-1 is not prime. Res64: 1C1A92094A15AFFD Time : 1018.0 sec. user=vaughan [2010-06-25 15:43:56] 511*2^836027-1 is not prime. Res64: 92DF0BDBCD132EFE Time : 1020.0 sec. user=vaughan [2010-06-25 15:47:19] 485*2^836028-1 is not prime. Res64: 039BB6BAFB40EB6B Time : 991.0 sec. user=Flatlander [2010-06-25 15:50:38] 421*2^836023-1 is not prime. Res64: D1C222DB375978F3 Time : 4745.0 sec. user=Flatlander [2010-06-25 15:50:39] 463*2^836023-1 is not prime. Res64: B8FCB6777D0B644C Time : 4745.0 sec. user=Flatlander [2010-06-25 15:50:39] 489*2^836023-1 is not prime. Res64: 4AE7CF501D839357 Time : 4744.0 sec. user=Flatlander [2010-06-25 15:50:40] 523*2^836023-1 is not prime. Res64: 6F238EC77918D350 Time : 4744.0 sec. user=Flatlander [2010-06-25 15:50:41] 559*2^836023-1 is not prime. Res64: 7F5F111D070129DF Time : 4745.0 sec. user=vaughan [2010-06-25 15:55:33] 525*2^836028-1 is not prime. Res64: 42BE6AB52CA05717 Time : 1006.0 sec. user=Flatlander [2010-06-25 15:58:47] 473*2^836016-1 is not prime. Res64: E40052BDAF75D01E Time : 9110.0 sec. user=Flatlander [2010-06-25 15:58:48] 405*2^836017-1 is not prime. Res64: 97F8879361CE0BB4 Time : 9109.0 sec. user=Flatlander [2010-06-25 15:58:48] 439*2^836017-1 is not prime. Res64: 0F2A0761B1F40254 Time : 9107.0 sec. user=Flatlander [2010-06-25 15:58:49] 595*2^836017-1 is not prime. Res64: CE3A8548ECD8EFF0 Time : 9107.0 sec. user=Flatlander [2010-06-25 15:58:50] 405*2^836018-1 is not prime. Res64: 8341C044E12D60A7 Time : 9106.0 sec. user=vaughan [2010-06-25 15:59:47] 567*2^836028-1 is not prime. Res64: 9C121E56D5E73BE7 Time : 1020.0 sec. user=vaughan [2010-06-25 16:00:55] 415*2^836029-1 is not prime. Res64: 99F00C44F492B8AF Time : 1020.0 sec. user=vaughan [2010-06-25 16:03:49] 439*2^836029-1 is not prime. Res64: C79A3D4C77EBD107 Time : 990.0 sec. user=vaughan [2010-06-25 16:12:18] 477*2^836030-1 is not prime. Res64: 6A3A7BC6C79341E1 Time : 1005.0 sec. user=vaughan [2010-06-25 16:16:45] 489*2^836032-1 is not prime. Res64: 9781A53C28D3AAF8 Time : 1018.0 sec. user=vaughan [2010-06-25 16:17:55] 549*2^836032-1 is not prime. Res64: F7CF3E5BA8F6F694 Time : 1020.0 sec. user=vaughan [2010-06-25 16:20:20] 495*2^836033-1 is not prime. Res64: 898D8C39DF3DCD10 Time : 992.0 sec. user=vaughan [2010-06-25 16:29:04] 525*2^836033-1 is not prime. Res64: E568A06D65C6007A Time : 1006.0 sec. user=vaughan [2010-06-25 16:33:42] 547*2^836033-1 is not prime. Res64: FCC085E7A90A2E12 Time : 1017.0 sec. user=vaughan [2010-06-25 16:34:54] 549*2^836033-1 is not prime. Res64: 6384944B79699F7A Time : 1020.0 sec. user=vaughan [2010-06-25 16:36:51] 565*2^836033-1 is not prime. Res64: BD9361D45682026A Time : 991.0 sec. user=vaughan [2010-06-25 16:45:49] 431*2^836034-1 is not prime. Res64: 09313F6CBF265071 Time : 1005.0 sec. user=Flatlander [2010-06-25 16:48:40] 477*2^836021-1 is not prime. Res64: CBC12E460402A5F2 Time : 9216.0 sec. user=Flatlander [2010-06-25 16:48:40] 517*2^836021-1 is not prime. Res64: 3235E5CD11BEBE84 Time : 9216.0 sec. user=Flatlander [2010-06-25 16:48:41] 529*2^836021-1 is not prime. Res64: B3FCAE51E8FED0BD Time : 9216.0 sec. user=Flatlander [2010-06-25 16:48:42] 591*2^836021-1 is not prime. Res64: FEB6399A8CB5E8BD Time : 9217.0 sec. user=Flatlander [2010-06-25 16:48:43] 423*2^836022-1 is not prime. Res64: 40421E553C4BDC22 Time : 9217.0 sec. user=vaughan [2010-06-25 16:50:40] 461*2^836034-1 is not prime. Res64: 442830D53239EA87 Time : 1018.0 sec. user=vaughan [2010-06-25 16:51:55] 497*2^836034-1 is not prime. Res64: C0D2AC92C6E3FE99 Time : 1021.0 sec. user=vaughan [2010-06-25 16:53:23] 525*2^836034-1 is not prime. Res64: D6DDAE4A818B9040 Time : 992.0 sec. user=vaughan [2010-06-25 17:02:35] 499*2^836035-1 is not prime. Res64: 342DE73B40E43C3B Time : 1006.0 sec. user=Flatlander [2010-06-25 17:06:20] 573*2^836027-1 is not prime. Res64: D7A0D91E4F2EF100 Time : 5851.0 sec. user=Flatlander [2010-06-25 17:06:21] 585*2^836027-1 is not prime. Res64: 6F4D396B32D98C9C Time : 5851.0 sec. user=Flatlander [2010-06-25 17:06:22] 595*2^836027-1 is not prime. Res64: B3FCEBF9F7312C9F Time : 5851.0 sec. user=Flatlander [2010-06-25 17:06:22] 479*2^836028-1 is not prime. Res64: 6241AD02F1964CEC Time : 5849.0 sec. user=Flatlander [2010-06-25 17:06:23] 483*2^836028-1 is not prime. Res64: FA69CC1EAF396343 Time : 5849.0 sec. user=vaughan [2010-06-25 17:07:39] 513*2^836038-1 is not prime. Res64: 8520B0024CD9CD86 Time : 1019.0 sec. user=vaughan [2010-06-25 17:08:55] 525*2^836038-1 is not prime. Res64: D541871F544AADBD Time : 1021.0 sec. user=vaughan [2010-06-25 17:09:53] 533*2^836038-1 is not prime. Res64: E77AA5E833ECF7B5 Time : 990.0 sec. user=vaughan [2010-06-25 17:19:19] 575*2^836038-1 is not prime. Res64: 2BEE37249FDED667 Time : 1005.0 sec. user=vaughan [2010-06-25 17:24:36] 455*2^836040-1 is not prime. Res64: 5D3CC32B59F3AB25 Time : 1017.0 sec. user=vaughan [2010-06-25 17:25:55] 509*2^836040-1 is not prime. Res64: F5F014CDE5B6BC2C Time : 1020.0 sec. user=vaughan [2010-06-25 17:26:25] 537*2^836040-1 is not prime. Res64: 6D310E25EDD9E20D Time : 992.0 sec. user=vaughan [2010-06-25 17:36:04] 585*2^836040-1 is not prime. Res64: 5892547621A89EB8 Time : 1005.0 sec. user=vaughan [2010-06-25 17:41:34] 415*2^836041-1 is not prime. Res64: 3D7AB8E952386232 Time : 1019.0 sec. user=vaughan [2010-06-25 17:42:54] 441*2^836041-1 is not prime. Res64: 8EF74739DD7A1607 Time : 1020.0 sec. user=vaughan [2010-06-25 17:42:56] 547*2^836041-1 is not prime. Res64: 155C60D17ECC2A5F Time : 991.0 sec. user=Flatlander [2010-06-25 17:49:10] 465*2^836029-1 is not prime. Res64: 8C5BA8655389E97A Time : 7107.0 sec. user=Flatlander [2010-06-25 17:49:11] 507*2^836029-1 is not prime. Res64: 07387D229601C3C8 Time : 7107.0 sec. user=Flatlander [2010-06-25 17:49:11] 511*2^836029-1 is not prime. Res64: 0A6146CFB8D49332 Time : 7105.0 sec. user=Flatlander [2010-06-25 17:49:12] 595*2^836029-1 is not prime. Res64: 81BBC2F131B33DD6 Time : 7105.0 sec. user=Flatlander [2010-06-25 17:49:12] 437*2^836030-1 is not prime. Res64: 09CD02BD24EDC4CB Time : 7103.0 sec. user=vaughan [2010-06-25 17:52:51] 447*2^836042-1 is not prime. Res64: 20615B388335BA20 Time : 1007.0 sec. user=Flatlander [2010-06-25 17:53:56] 533*2^836030-1 is not prime. Res64: DA06DC6D1322272E Time : 6905.0 sec. user=Flatlander [2010-06-25 17:53:56] 593*2^836030-1 is not prime. Res64: CC798AA5ACE07FA6 Time : 6903.0 sec. user=Flatlander [2010-06-25 17:53:57] 445*2^836031-1 is not prime. Res64: 151DDA1DA42C4E80 Time : 6902.0 sec. user=Flatlander [2010-06-25 17:53:57] 591*2^836031-1 is not prime. Res64: F03C69FA4ACF878F Time : 6901.0 sec. user=Flatlander [2010-06-25 17:53:58] 449*2^836032-1 is not prime. Res64: 93D452FA6285ADFC Time : 6900.0 sec. user=vaughan [2010-06-25 17:58:31] 409*2^836043-1 is not prime. Res64: 32608FF7D1CB7F74 Time : 1017.0 sec. user=vaughan [2010-06-25 17:59:27] 419*2^836044-1 is not prime. Res64: FE9AFF0A5E34EC7C Time : 991.0 sec. user=vaughan [2010-06-25 17:59:54] 441*2^836043-1 is not prime. Res64: 1C17240C32195022 Time : 1020.0 sec. user=vaughan [2010-06-25 18:09:36] 459*2^836045-1 is not prime. Res64: F4E1D2FB09C1BF8E Time : 1006.0 sec. user=vaughan [2010-06-25 18:15:29] 593*2^836046-1 is not prime. Res64: B8A840D27707BA85 Time : 1019.0 sec. user=vaughan [2010-06-25 18:15:59] 421*2^836047-1 is not prime. Res64: AE9052DD3D705A2C Time : 992.0 sec. user=vaughan [2010-06-25 18:16:53] 429*2^836047-1 is not prime. Res64: F027E7644B4D5E10 Time : 1020.0 sec. user=vaughan [2010-06-25 18:26:22] 471*2^836049-1 is not prime. Res64: 7AF5972E876159C8 Time : 1006.0 sec. user=vaughan [2010-06-25 18:32:27] 549*2^836049-1 is not prime. Res64: 031E09EFEBD85F94 Time : 1018.0 sec. user=vaughan [2010-06-25 18:32:29] 571*2^836049-1 is not prime. Res64: 784ED92343A43B9C Time : 991.0 sec. user=vaughan [2010-06-25 18:33:53] 595*2^836049-1 is not prime. Res64: FE79C76990AD1457 Time : 1020.0 sec. user=vaughan [2010-06-25 18:43:08] 411*2^836050-1 is not prime. Res64: EFDE2005026A834F Time : 1006.0 sec. user=vaughan [2010-06-25 18:49:00] 461*2^836050-1 is not prime. Res64: D8D8AD82550EF612 Time : 992.0 sec. user=vaughan [2010-06-25 18:49:24] 425*2^836050-1 is not prime. Res64: ACF5368E25A03BC6 Time : 1018.0 sec. user=Flatlander [2010-06-25 18:49:50] 523*2^836035-1 is not prime. Res64: 67DBE119D4EB6D91 Time : 7266.0 sec. user=Flatlander [2010-06-25 18:49:51] 465*2^836036-1 is not prime. Res64: 963F620E9541B4B7 Time : 7266.0 sec. user=Flatlander [2010-06-25 18:49:52] 529*2^836037-1 is not prime. Res64: EEADA8453CB28D98 Time : 7266.0 sec. user=Flatlander [2010-06-25 18:49:53] 435*2^836038-1 is not prime. Res64: D3F4E193DDB2CD68 Time : 7266.0 sec. user=Flatlander [2010-06-25 18:49:53] 491*2^836038-1 is not prime. Res64: 65513C3ABC1B78F5 Time : 7265.0 sec. user=vaughan [2010-06-25 18:50:52] 531*2^836050-1 is not prime. Res64: 5B198E5D05AD6923 Time : 1020.0 sec. user=vaughan [2010-06-25 18:59:53] 533*2^836050-1 is not prime. Res64: 8D058AAC9BA5DE4F Time : 1006.0 sec. user=vaughan [2010-06-25 19:05:31] 411*2^836051-1 is not prime. Res64: 23DB039D3E8C7494 Time : 993.0 sec. user=Flatlander [2010-06-25 19:05:36] 581*2^836038-1 is not prime. Res64: 15C86F1F929B9A0C Time : 7152.0 sec. user=Flatlander [2010-06-25 19:05:37] 591*2^836038-1 is not prime. Res64: 661E863A7432AE16 Time : 7151.0 sec. user=Flatlander [2010-06-25 19:05:38] 421*2^836039-1 is not prime. Res64: 0C4830763D6F2568 Time : 7151.0 sec. user=Flatlander [2010-06-25 19:05:39] 465*2^836039-1 is not prime. Res64: 87E752DE4C04D85C Time : 7150.0 sec. user=Flatlander [2010-06-25 19:05:40] 481*2^836039-1 is not prime. Res64: AFAEA89AD542512C Time : 7150.0 sec. user=vaughan [2010-06-25 19:06:22] 439*2^836051-1 is not prime. Res64: 425DB59E95BB106D Time : 1018.0 sec. user=vaughan [2010-06-25 19:07:52] 569*2^836052-1 is not prime. Res64: 16269AB84745C01A Time : 1020.0 sec. user=vaughan [2010-06-25 19:16:38] 405*2^836053-1 is not prime. Res64: A51A02E84B790956 Time : 1005.0 sec. user=vaughan [2010-06-25 19:22:02] 477*2^836053-1 is not prime. Res64: 43A15E2FEFDD7315 Time : 992.0 sec. user=vaughan [2010-06-25 19:23:20] 459*2^836055-1 is not prime. Res64: 771B9C19EFFD57D1 Time : 1018.0 sec. user=vaughan [2010-06-25 19:24:56] 479*2^836056-1 is not prime. Res64: E5BE03234F228950 Time : 1024.0 sec. user=vaughan [2010-06-25 19:33:30] 539*2^836056-1 is not prime. Res64: D636788DABFFE49F Time : 1012.0 sec. user=Flatlander [2010-06-25 19:34:46] 471*2^836047-1 is not prime. Res64: 7D37C2F3C9C0F66D Time : 5297.0 sec. user=Flatlander [2010-06-25 19:34:46] 483*2^836047-1 is not prime. Res64: F82EA6A079186026 Time : 5295.0 sec. user=Flatlander [2010-06-25 19:34:47] 511*2^836047-1 is not prime. Res64: 7A4D9387AEAAA297 Time : 5295.0 sec. user=Flatlander [2010-06-25 19:34:48] 595*2^836047-1 is not prime. Res64: 2C08D0BFAEB7FAD5 Time : 5294.0 sec. user=Flatlander [2010-06-25 19:34:49] 425*2^836048-1 is not prime. Res64: E9CF3D30C3E12B0B Time : 5293.0 sec. user=Flatlander [2010-06-25 19:37:12] 431*2^836046-1 is not prime. Res64: 09FCCF14266BE1B1 Time : 6192.0 sec. user=Flatlander [2010-06-25 19:37:12] 455*2^836046-1 is not prime. Res64: 5FD17AD4B7D2B55F Time : 6191.0 sec. user=Flatlander [2010-06-25 19:37:13] 465*2^836046-1 is not prime. Res64: D5E7AB2A45728888 Time : 6190.0 sec. user=Flatlander [2010-06-25 19:37:14] 473*2^836046-1 is not prime. Res64: F4429323025FEE4A Time : 6190.0 sec. user=Flatlander [2010-06-25 19:37:15] 513*2^836046-1 is not prime. Res64: F59A726CEB9849D0 Time : 6190.0 sec. user=vaughan [2010-06-25 19:38:42] 563*2^836056-1 is not prime. Res64: 4D62B86AEB7AF520 Time : 1000.0 sec. user=vaughan [2010-06-25 19:40:25] 439*2^836057-1 is not prime. Res64: 8A65250A090F2DB6 Time : 1025.0 sec. user=vaughan [2010-06-25 19:42:00] 447*2^836057-1 is not prime. Res64: 14A1F5EA4721F570 Time : 1025.0 sec. user=Flatlander [2010-06-25 19:45:35] 429*2^836044-1 is not prime. Res64: 4CEE7EDF5ACBCDC8 Time : 6982.0 sec. user=Flatlander [2010-06-25 19:45:36] 443*2^836044-1 is not prime. Res64: 411510919E44FD35 Time : 6982.0 sec. user=Flatlander [2010-06-25 19:45:36] 587*2^836044-1 is not prime. Res64: EF4C41BA669D3722 Time : 6980.0 sec. user=Flatlander [2010-06-25 19:45:37] 441*2^836045-1 is not prime. Res64: C2F515CF96C86065 Time : 6980.0 sec. user=Flatlander [2010-06-25 19:45:38] 451*2^836045-1 is not prime. Res64: A3D121BBE53D2FD8 Time : 6980.0 sec. user=vaughan [2010-06-25 19:50:15] 487*2^836057-1 is not prime. Res64: 261BA48CA515538D Time : 1005.0 sec. user=vaughan [2010-06-25 19:55:14] 447*2^836060-1 is not prime. Res64: 34B415BF1FDE7F11 Time : 992.0 sec. user=vaughan [2010-06-25 19:57:24] 465*2^836060-1 is not prime. Res64: 24F368E81B860698 Time : 1019.0 sec. user=vaughan [2010-06-25 19:59:01] 519*2^836060-1 is not prime. Res64: 46C0FB9817E4104C Time : 1021.0 sec. user=vaughan [2010-06-25 20:07:01] 519*2^836063-1 is not prime. Res64: EAF4BAC5B67BA5C0 Time : 1007.0 sec. user=vaughan [2010-06-25 20:11:47] 573*2^836063-1 is not prime. Res64: 690FBE9EA624AAE2 Time : 993.0 sec. user=vaughan [2010-06-25 20:14:21] 589*2^836063-1 is not prime. Res64: 83522375ABA06F92 Time : 1017.0 sec. user=vaughan [2010-06-25 20:16:00] 453*2^836064-1 is not prime. Res64: B402FF8D85C885C5 Time : 1020.0 sec. user=vaughan [2010-06-25 20:23:47] 455*2^836064-1 is not prime. Res64: 5EA61E9E093AF409 Time : 1006.0 sec. user=Flatlander [2010-06-25 20:24:08] 565*2^836051-1 is not prime. Res64: E1B5EBA28EA90402 Time : 5653.0 sec. user=Flatlander [2010-06-25 20:24:09] 455*2^836052-1 is not prime. Res64: 62DD192120F540DF Time : 5653.0 sec. user=Flatlander [2010-06-25 20:24:10] 459*2^836052-1 is not prime. Res64: 192C5191EA4AF917 Time : 5652.0 sec. user=Flatlander [2010-06-25 20:24:11] 483*2^836052-1 is not prime. Res64: F8926BF73415C816 Time : 5651.0 sec. user=Flatlander [2010-06-25 20:24:12] 555*2^836052-1 is not prime. Res64: 051B5CF3A209274F Time : 5651.0 sec. user=vaughan [2010-06-25 20:28:19] 459*2^836064-1 is not prime. Res64: D833F8583AFE2C52 Time : 993.0 sec. user=vaughan [2010-06-25 20:31:19] 503*2^836064-1 is not prime. Res64: 9D3480257DA94958 Time : 1018.0 sec. user=vaughan [2010-06-25 20:33:01] 513*2^836064-1 is not prime. Res64: 7264D7EBC0C5B9E3 Time : 1021.0 sec. user=vaughan [2010-06-25 20:40:32] 549*2^836064-1 is not prime. Res64: 78B48FCE33B6DAF3 Time : 1006.0 sec. user=Flatlander [2010-06-25 20:43:26] 517*2^836053-1 is not prime. Res64: 8AACC8A304B0FAB1 Time : 5865.0 sec. user=Flatlander [2010-06-25 20:43:27] 417*2^836054-1 is not prime. Res64: DA9924152E38B164 Time : 5864.0 sec. user=Flatlander [2010-06-25 20:43:27] 431*2^836054-1 is not prime. Res64: F217FA60C968248E Time : 5862.0 sec. user=Flatlander [2010-06-25 20:43:28] 477*2^836054-1 is not prime. Res64: F1FBCF03C0BCA401 Time : 5862.0 sec. user=Flatlander [2010-06-25 20:43:29] 593*2^836054-1 is not prime. Res64: A247E3EE979828CC Time : 5861.0 sec. user=vaughan [2010-06-25 20:44:50] 595*2^836065-1 is not prime. Res64: 5BFC831D14981CFA Time : 992.0 sec. user=vaughan [2010-06-25 20:48:17] 407*2^836066-1 is not prime. Res64: DCF2418893A0D8F1 Time : 1019.0 sec. user=vaughan [2010-06-25 20:50:01] 425*2^836066-1 is not prime. Res64: 4C1EA4DEC0BFDE1F Time : 1020.0 sec. user=vaughan [2010-06-25 20:57:17] 495*2^836066-1 is not prime. Res64: C7E9A889F92BA54B Time : 1005.0 sec. user=vaughan [2010-06-25 21:01:22] 465*2^836068-1 is not prime. Res64: 2B2B91CB0DEA0D03 Time : 992.0 sec. user=Flatlander [2010-06-25 21:01:35] 517*2^836057-1 is not prime. Res64: 3988B0F250D00B80 Time : 5204.0 sec. user=Flatlander [2010-06-25 21:01:36] 551*2^836058-1 is not prime. Res64: 51C87EDC1CEA35B8 Time : 5204.0 sec. user=Flatlander [2010-06-25 21:01:37] 567*2^836058-1 is not prime. Res64: 2066722EDD0679C8 Time : 5203.0 sec. user=Flatlander [2010-06-25 21:01:37] 415*2^836059-1 is not prime. Res64: 04727EB451EB0DB1 Time : 5202.0 sec. user=Flatlander [2010-06-25 21:01:38] 489*2^836059-1 is not prime. Res64: E92D62D452657C33 Time : 5201.0 sec. user=vaughan [2010-06-25 21:05:16] 575*2^836068-1 is not prime. Res64: A715AD4FC115FAE9 Time : 1019.0 sec. user=vaughan [2010-06-25 21:07:03] 451*2^836069-1 is not prime. Res64: 93A786DABB2DB96A Time : 1022.0 sec. user=vaughan [2010-06-25 21:14:09] 469*2^836069-1 is not prime. Res64: 77EE1229BBC22B6B Time : 1012.0 sec. user=vaughan [2010-06-25 21:18:08] 487*2^836069-1 is not prime. Res64: B74CFCB249B48A2F Time : 1006.0 sec. user=vaughan [2010-06-25 21:22:17] 567*2^836070-1 is not prime. Res64: D7ACDB098429CD7B Time : 1021.0 sec. user=vaughan [2010-06-25 21:24:12] 423*2^836071-1 is not prime. Res64: 1B56D14F13ABC972 Time : 1029.0 sec. user=Flatlander [2010-06-25 21:28:18] 495*2^836059-1 is not prime. Res64: 292524C16A4F89B6 Time : 6662.0 sec. user=Flatlander [2010-06-25 21:28:19] 531*2^836059-1 is not prime. Res64: D0309C8A287A542F Time : 6661.0 sec. user=Flatlander [2010-06-25 21:28:19] 561*2^836059-1 is not prime. Res64: C1BF47DEFDE41073 Time : 6659.0 sec. user=Flatlander [2010-06-25 21:28:20] 579*2^836059-1 is not prime. Res64: F5D230B5570FB2BB Time : 6659.0 sec. user=Flatlander [2010-06-25 21:28:21] 417*2^836060-1 is not prime. Res64: 4D3FC60580DA4B4A Time : 6658.0 sec. user=vaughan [2010-06-25 21:31:21] 493*2^836071-1 is not prime. Res64: B37DEA99854ECA82 Time : 1032.0 sec. user=vaughan [2010-06-25 21:35:00] 405*2^836072-1 is not prime. Res64: 22F8A43EAC41CE79 Time : 1013.0 sec. user=vaughan [2010-06-25 21:39:29] 489*2^836072-1 is not prime. Res64: 2D6FADAF881E2B9B Time : 1033.0 sec. user=vaughan [2010-06-25 21:41:17] 593*2^836072-1 is not prime. Res64: CEE9AB781A837EC1 Time : 1025.0 sec. user=Flatlander [2010-06-25 21:46:21] 533*2^836060-1 is not prime. Res64: 567E0841777F74CA Time : 7241.0 sec. user=Flatlander [2010-06-25 21:46:22] 427*2^836061-1 is not prime. Res64: AF64EAEB18DDD40F Time : 7241.0 sec. user=Flatlander [2010-06-25 21:46:23] 439*2^836061-1 is not prime. Res64: 92C7A9D4489A85F1 Time : 7240.0 sec. user=Flatlander [2010-06-25 21:46:24] 507*2^836061-1 is not prime. Res64: EB9EC4F3CD5AD7CD Time : 7240.0 sec. user=Flatlander [2010-06-25 21:46:24] 527*2^836062-1 is not prime. Res64: 9524C06ED28AF023 Time : 7238.0 sec. user=vaughan [2010-06-25 21:48:16] 411*2^836075-1 is not prime. Res64: C2E8F2A7B34579B5 Time : 1015.0 sec. user=vaughan [2010-06-25 21:51:45] 453*2^836075-1 is not prime. Res64: 280D3615E2420827 Time : 1005.0 sec. user=Flatlander [2010-06-25 21:53:24] 587*2^836064-1 is not prime. Res64: 13627FB3E67FF17B Time : 5351.0 sec. user=Flatlander [2010-06-25 21:53:25] 415*2^836065-1 is not prime. Res64: DACD026FF3E9DC74 Time : 5350.0 sec. user=Flatlander [2010-06-25 21:53:25] 465*2^836065-1 is not prime. Res64: DFC1F9F58DC1988D Time : 5349.0 sec. user=Flatlander [2010-06-25 21:53:26] 489*2^836065-1 is not prime. Res64: B7F08ADD0C938CA3 Time : 5348.0 sec. user=Flatlander [2010-06-25 21:53:27] 535*2^836065-1 is not prime. Res64: 0B4CF249D98A34CD Time : 5347.0 sec. user=vaughan [2010-06-25 21:56:42] 495*2^836075-1 is not prime. Res64: 2D7401B2CE6B14D9 Time : 1034.0 sec. user=vaughan [2010-06-25 21:58:23] 585*2^836076-1 is not prime. Res64: 7887A5C3E4B57010 Time : 1026.0 sec. user=vaughan [2010-06-25 22:05:12] 561*2^836078-1 is not prime. Res64: B1D0CBC78DF63AB1 Time : 1016.0 sec. user=vaughan [2010-06-25 22:08:29] 471*2^836079-1 is not prime. Res64: 4823B477ED07F85E Time : 1005.0 sec. user=Flatlander [2010-06-25 22:09:05] 525*2^836066-1 is not prime. Res64: FAE18E2CD401673C Time : 5134.0 sec. user=Flatlander [2010-06-25 22:09:06] 585*2^836066-1 is not prime. Res64: 9CED95229E67319B Time : 5134.0 sec. user=Flatlander [2010-06-25 22:09:07] 433*2^836067-1 is not prime. Res64: CA88DE8165B759E8 Time : 5133.0 sec. user=Flatlander [2010-06-25 22:09:08] 469*2^836067-1 is not prime. Res64: 17BC4D3C6FA4BA93 Time : 5133.0 sec. user=Flatlander [2010-06-25 22:09:09] 437*2^836068-1 is not prime. Res64: B73B62E8FA5254C5 Time : 5132.0 sec. user=vaughan [2010-06-25 22:13:55] 447*2^836081-1 is not prime. Res64: E96C58452BC159D6 Time : 1033.0 sec. user=vaughan [2010-06-25 22:15:28] 559*2^836081-1 is not prime. Res64: 89F3AF03A828CDDE Time : 1025.0 sec. user=vaughan [2010-06-25 22:22:08] 577*2^836081-1 is not prime. Res64: 9F54833071453EA4 Time : 1016.0 sec. user=vaughan [2010-06-25 22:25:14] 579*2^836081-1 is not prime. Res64: 7C51D62F30CC6361 Time : 1005.0 sec. user=Flatlander [2010-06-25 22:28:52] 561*2^836069-1 is not prime. Res64: C0692829BF76B492 Time : 5232.0 sec. user=Flatlander [2010-06-25 22:28:53] 565*2^836069-1 is not prime. Res64: 50D108864F61DECF Time : 5232.0 sec. user=Flatlander [2010-06-25 22:28:54] 571*2^836069-1 is not prime. Res64: 7A93B2975D5CF7B0 Time : 5231.0 sec. user=Flatlander [2010-06-25 22:28:55] 425*2^836070-1 is not prime. Res64: F2D4B306A7843FCC Time : 5230.0 sec. user=Flatlander [2010-06-25 22:28:55] 501*2^836070-1 is not prime. Res64: A5DD790CD2D7BBC9 Time : 5229.0 sec. user=vaughan [2010-06-25 22:31:05] 465*2^836083-1 is not prime. Res64: 22A45B2182902065 Time : 1030.0 sec. user=vaughan [2010-06-25 22:32:34] 483*2^836083-1 is not prime. Res64: 5F5F93053EF166B8 Time : 1026.0 sec. user=vaughan [2010-06-25 22:37:54] 559*2^835991-1 is not prime. Res64: 5528408641D256F8 Time : 43851.0 sec. user=vaughan [2010-06-25 22:37:55] 567*2^835994-1 is not prime. Res64: 44766E22206C0715 Time : 43578.0 sec. user=vaughan [2010-06-25 22:37:56] 571*2^835991-1 is not prime. Res64: 02B43024E2464AC9 Time : 43741.0 sec. user=vaughan [2010-06-25 22:37:58] 417*2^835997-1 is not prime. Res64: 85402EBF86F5296E Time : 43274.0 sec. user=vaughan [2010-06-25 22:38:09] 453*2^835991-1 is not prime. Res64: F67D61D5B1345737 Time : 43996.0 sec. user=vaughan [2010-06-25 22:38:13] 447*2^835997-1 is not prime. Res64: 325D244553C5E8FD Time : 43274.0 sec. user=vaughan [2010-06-25 22:38:17] 529*2^835995-1 is not prime. Res64: 2B79CC238545A3E7 Time : 43454.0 sec. user=vaughan [2010-06-25 22:38:20] 487*2^835997-1 is not prime. Res64: 42EEA7188536F697 Time : 43244.0 sec. user=vaughan [2010-06-25 22:38:21] 409*2^835995-1 is not prime. Res64: A7B2F2895B7AC78E Time : 43566.0 sec. user=vaughan [2010-06-25 22:38:22] 459*2^835991-1 is not prime. Res64: A3A72019A9741054 Time : 43907.0 sec. user=vaughan [2010-06-25 22:38:28] 547*2^835985-1 is not prime. Res64: C0F503EE45304CD1 Time : 44874.0 sec. user=vaughan [2010-06-25 22:38:30] 585*2^835994-1 is not prime. Res64: 46CCE8B0C466090F Time : 43602.0 sec. user=vaughan [2010-06-25 22:38:34] 531*2^835994-1 is not prime. Res64: 0CB7F1F85AFF3958 Time : 43678.0 sec. user=vaughan [2010-06-25 22:38:51] 537*2^835989-1 is not prime. Res64: 7819503FDF51C084 Time : 44109.0 sec. user=vaughan [2010-06-25 22:38:52] 489*2^835997-1 is not prime. Res64: 1E7765978AFD2848 Time : 43234.0 sec. user=vaughan [2010-06-25 22:39:04] 511*2^836083-1 is not prime. Res64: 38AF93A391A1C8D8 Time : 1016.0 sec. user=vaughan [2010-06-25 22:41:59] 595*2^836083-1 is not prime. Res64: B80A40AE314709CC Time : 1005.0 sec. user=vaughan [2010-06-25 22:48:17] 453*2^836086-1 is not prime. Res64: FDE091DF6DFBFC47 Time : 1032.0 sec. user=vaughan [2010-06-25 22:49:40] 491*2^836086-1 is not prime. Res64: F1465D9A4EA8672A Time : 1027.0 sec. user=vaughan [2010-06-25 22:50:01] 525*2^836086-1 is not prime. Res64: 461F1B014908F23F Time : 723.0 sec. user=vaughan [2010-06-25 22:50:16] 591*2^836086-1 is not prime. Res64: 3FD5E78F44B8DF3B Time : 723.0 sec. user=vaughan [2010-06-25 22:50:17] 501*2^836087-1 is not prime. Res64: 488B7550096F33BC Time : 720.0 sec. user=vaughan [2010-06-25 22:54:37] 567*2^836086-1 is not prime. Res64: FDA8025DAB95FA4F Time : 988.0 sec. user=vaughan [2010-06-25 22:54:50] 589*2^836087-1 is not prime. Res64: F4C7A587BE8103E0 Time : 988.0 sec. user=vaughan [2010-06-25 22:55:48] 513*2^836086-1 is not prime. Res64: AB2862CE2E7108C9 Time : 1074.0 sec. user=vaughan [2010-06-25 22:55:54] 421*2^836089-1 is not prime. Res64: FA43945A52E8885E Time : 1023.0 sec. user=vaughan [2010-06-25 22:55:56] 549*2^836087-1 is not prime. Res64: 10295FDC4D0C06E0 Time : 1055.0 sec. user=vaughan [2010-06-25 22:55:59] 415*2^836091-1 is not prime. Res64: C83F6AC4318BD1A9 Time : 1015.0 sec. user=vaughan [2010-06-25 22:56:20] 447*2^836090-1 is not prime. Res64: A970640A3C9BAFA0 Time : 1043.0 sec. user=vaughan [2010-06-25 22:56:24] 511*2^836089-1 is not prime. Res64: A76F83F8F5C155B8 Time : 1048.0 sec. user=vaughan [2010-06-25 22:57:23] 473*2^836088-1 is not prime. Res64: 46F57C06832D5788 Time : 1133.0 sec. user=vaughan [2010-06-25 22:57:51] 469*2^836089-1 is not prime. Res64: 5E800C4EDD44B173 Time : 1139.0 sec. user=vaughan [2010-06-25 22:58:37] 549*2^836088-1 is not prime. Res64: 7CFF03E5BD92561B Time : 1203.0 sec. user=vaughan [2010-06-25 22:58:45] 469*2^836091-1 is not prime. Res64: 00C1816F75C0CB31 Time : 1006.0 sec. user=vaughan [2010-06-25 23:02:05] 465*2^836093-1 is not prime. Res64: D51C147A542278B7 Time : 725.0 sec. user=vaughan [2010-06-25 23:02:18] 559*2^836093-1 is not prime. Res64: 8A35B37A4794CE47 Time : 721.0 sec. user=vaughan [2010-06-25 23:02:21] 511*2^836093-1 is not prime. Res64: B272FA3BA1DBC9D0 Time : 725.0 sec. user=vaughan [2010-06-25 23:05:31] 485*2^836092-1 is not prime. Res64: 2D221484426D54A6 Time : 1034.0 sec. user=vaughan [2010-06-25 23:06:44] 439*2^836093-1 is not prime. Res64: E836DA8E1C9F2167 Time : 1025.0 sec. user=Flatlander [2010-06-25 23:10:22] 511*2^836079-1 is not prime. Res64: 636D0940791D315F Time : 4613.0 sec. user=Flatlander [2010-06-25 23:10:23] 583*2^836079-1 is not prime. Res64: C2AE30815CA11975 Time : 4613.0 sec. user=Flatlander [2010-06-25 23:10:24] 527*2^836080-1 is not prime. Res64: E5826CD2DD0AD4FF Time : 4612.0 sec. user=Flatlander [2010-06-25 23:10:25] 539*2^836080-1 is not prime. Res64: 7FA73D1B8E23FDE8 Time : 4612.0 sec. user=Flatlander [2010-06-25 23:10:25] 567*2^836080-1 is not prime. Res64: 2440AD84BCBCEBEB Time : 4610.0 sec. user=vaughan [2010-06-25 23:11:04] 437*2^836088-1 is not prime. Res64: 8AF21C17B812C01E Time : 1956.0 sec. user=vaughan [2010-06-25 23:11:04] 447*2^836094-1 is not prime. Res64: D129E8723E0BEFC4 Time : 987.0 sec. user=vaughan [2010-06-25 23:11:17] 495*2^836094-1 is not prime. Res64: D184E0BF6E721BAF Time : 987.0 sec. user=vaughan [2010-06-25 23:12:02] 519*2^836087-1 is not prime. Res64: 9EC665957B500898 Time : 2023.0 sec. user=vaughan [2010-06-25 23:12:54] 421*2^836095-1 is not prime. Res64: E16677C62B6D5DFE Time : 1016.0 sec. user=vaughan [2010-06-25 23:12:56] 557*2^836094-1 is not prime. Res64: 17600DF9E522B2C2 Time : 1023.0 sec. user=vaughan [2010-06-25 23:13:32] 563*2^836094-1 is not prime. Res64: CDAA4B6F41A3F0CD Time : 1057.0 sec. user=vaughan [2010-06-25 23:13:36] 551*2^836094-1 is not prime. Res64: AAA965C9E3FC9213 Time : 1068.0 sec. user=vaughan [2010-06-25 23:13:42] 441*2^836095-1 is not prime. Res64: CFAC9643A564D41A Time : 1042.0 sec. user=vaughan [2010-06-25 23:13:50] 475*2^836095-1 is not prime. Res64: B6E71807AB31A877 Time : 1046.0 sec. user=vaughan [2010-06-25 23:14:10] 401*2^836098-1 is not prime. Res64: 78CF7521BB158485 Time : 725.0 sec. user=vaughan [2010-06-25 23:14:18] 513*2^836098-1 is not prime. Res64: 67B3DBD0BEA448C5 Time : 720.0 sec. user=vaughan [2010-06-25 23:14:25] 545*2^836098-1 is not prime. Res64: 70C5A44C10108B7F Time : 724.0 sec. user=vaughan [2010-06-25 23:15:29] 585*2^836097-1 is not prime. Res64: A9BA8490BD64A256 Time : 1004.0 sec. user=vaughan [2010-06-25 23:16:10] 573*2^836095-1 is not prime. Res64: 6AE0971EF8FA7812 Time : 1127.0 sec. user=vaughan [2010-06-25 23:16:43] 479*2^836096-1 is not prime. Res64: 82A0A7EDDF2A8E36 Time : 1132.0 sec. user=vaughan [2010-06-25 23:18:28] 509*2^836096-1 is not prime. Res64: 771F43D1D60F1B57 Time : 1191.0 sec. user=vaughan [2010-06-25 23:22:41] 543*2^836099-1 is not prime. Res64: 52B361D0ECD72A77 Time : 1031.0 sec. user=Flatlander [2010-06-25 23:23:19] 483*2^836082-1 is not prime. Res64: 0DB55EDE75C80F96 Time : 4449.0 sec. user=Flatlander [2010-06-25 23:23:20] 513*2^836082-1 is not prime. Res64: C70C15C174018A33 Time : 4448.0 sec. user=Flatlander [2010-06-25 23:23:20] 543*2^836082-1 is not prime. Res64: 82628CF67762EC39 Time : 4447.0 sec. user=Flatlander [2010-06-25 23:23:21] 439*2^836083-1 is not prime. Res64: A56B0072F2BFE304 Time : 4446.0 sec. user=Flatlander [2010-06-25 23:23:22] 451*2^836083-1 is not prime. Res64: F48D1591D07B9375 Time : 4445.0 sec. user=vaughan [2010-06-25 23:23:42] 483*2^836100-1 is not prime. Res64: 316D914975AAF96E Time : 1018.0 sec. user=vaughan [2010-06-25 23:26:14] 459*2^836103-1 is not prime. Res64: 3BBD645A6C3965D1 Time : 725.0 sec. user=vaughan [2010-06-25 23:26:19] 481*2^836103-1 is not prime. Res64: E38FD8E1CABE4E16 Time : 721.0 sec. user=vaughan [2010-06-25 23:26:30] 523*2^836103-1 is not prime. Res64: 03903D0290268FF9 Time : 725.0 sec. user=vaughan [2010-06-25 23:27:32] 427*2^836101-1 is not prime. Res64: 3DF1CEA2CF1DB0F5 Time : 988.0 sec. user=vaughan [2010-06-25 23:27:44] 451*2^836101-1 is not prime. Res64: 2F92A3A2A89A7046 Time : 987.0 sec. user=vaughan [2010-06-25 23:29:59] 477*2^836102-1 is not prime. Res64: 9969BD90D18FBB4A Time : 1023.0 sec. user=vaughan [2010-06-25 23:30:02] 405*2^836102-1 is not prime. Res64: A89588EEBB550504 Time : 1028.0 sec. user=vaughan [2010-06-25 23:30:28] 551*2^836102-1 is not prime. Res64: C40CC898E7AEF53A Time : 1012.0 sec. user=vaughan [2010-06-25 23:31:04] 587*2^836102-1 is not prime. Res64: 8197B8A966D3237E Time : 1043.0 sec. user=vaughan [2010-06-25 23:31:09] 521*2^836102-1 is not prime. Res64: 8CCC2807E3C28A3A Time : 1057.0 sec. user=vaughan [2010-06-25 23:31:17] 433*2^836103-1 is not prime. Res64: 0F82E5C0E27C72D0 Time : 1047.0 sec. user=vaughan [2010-06-25 23:32:42] 585*2^836103-1 is not prime. Res64: 60826999E85C4058 Time : 1034.0 sec. user=vaughan [2010-06-25 23:33:20] 483*2^836104-1 is not prime. Res64: E539A823F8418E40 Time : 998.0 sec. user=vaughan [2010-06-25 23:33:21] 465*2^836104-1 is not prime. Res64: 7FB1A49CF2417E73 Time : 1031.0 sec. user=vaughan [2010-06-25 23:35:20] 495*2^836104-1 is not prime. Res64: 0E6C5DA4C846664B Time : 1013.0 sec. user=vaughan [2010-06-25 23:38:18] 425*2^836106-1 is not prime. Res64: 7C85E761FCA4DE11 Time : 724.0 sec. user=vaughan [2010-06-25 23:38:19] 465*2^836106-1 is not prime. Res64: 6CB42C6DE1DA8B85 Time : 720.0 sec. user=vaughan [2010-06-25 23:38:34] 513*2^836106-1 is not prime. Res64: 9A8E2819A6E2F9FC Time : 725.0 sec. user=vaughan [2010-06-25 23:39:41] 533*2^836104-1 is not prime. Res64: 717C75D4664A595D Time : 1020.0 sec. user=vaughan [2010-06-25 23:40:26] 417*2^836106-1 is not prime. Res64: F15CF0863691C3AB Time : 1004.0 sec. user=vaughan [2010-06-25 23:43:52] 415*2^836101-1 is not prime. Res64: 75746AE627114B91 Time : 1968.0 sec. user=vaughan [2010-06-25 23:44:00] 439*2^836107-1 is not prime. Res64: D958E68847568F6E Time : 988.0 sec. user=vaughan [2010-06-25 23:44:11] 451*2^836107-1 is not prime. Res64: 7716FA78A110A0D5 Time : 988.0 sec. user=vaughan [2010-06-25 23:44:47] 511*2^836101-1 is not prime. Res64: 514B2490C9B40923 Time : 1965.0 sec. user=vaughan [2010-06-25 23:47:03] 463*2^836107-1 is not prime. Res64: FD2DBC710C520B62 Time : 1024.0 sec. user=vaughan [2010-06-25 23:47:07] 493*2^836107-1 is not prime. Res64: A39408DCF48CE5E9 Time : 999.0 sec. user=vaughan [2010-06-25 23:47:10] 489*2^836107-1 is not prime. Res64: F874636D41F9FA28 Time : 1028.0 sec. user=vaughan [2010-06-25 23:48:27] 519*2^836107-1 is not prime. Res64: 9A3BD02ED9AA54ED Time : 1043.0 sec. user=vaughan [2010-06-25 23:48:46] 519*2^836108-1 is not prime. Res64: C23712A8AB12572C Time : 1049.0 sec. user=vaughan [2010-06-25 23:48:47] 573*2^836107-1 is not prime. Res64: E81144AF9F042CAB Time : 1058.0 sec. user=vaughan [2010-06-25 23:49:52] 415*2^836109-1 is not prime. Res64: 13AFF6D78AC95D16 Time : 992.0 sec. user=vaughan [2010-06-25 23:50:00] 573*2^836108-1 is not prime. Res64: 41904AE927CE82AA Time : 1039.0 sec. user=vaughan [2010-06-25 23:50:21] 533*2^836110-1 is not prime. Res64: 36508EADCD541462 Time : 722.0 sec. user=vaughan [2010-06-25 23:50:25] 405*2^836110-1 is not prime. Res64: 34D8FF1C06D108F4 Time : 727.0 sec. user=vaughan [2010-06-25 23:50:27] 471*2^836109-1 is not prime. Res64: B53E36A4CC933FFB Time : 1026.0 sec. user=vaughan [2010-06-25 23:50:40] 545*2^836110-1 is not prime. Res64: A19A4CDB42223BDE Time : 726.0 sec. user=vaughan [2010-06-25 23:52:11] 525*2^836109-1 is not prime. Res64: 69A90E60436ADE4D Time : 1011.0 sec. user=Flatlander [2010-06-25 23:53:27] 459*2^836073-1 is not prime. Res64: 7D161DA497DE55D2 Time : 8705.0 sec. user=Flatlander [2010-06-25 23:53:28] 549*2^836073-1 is not prime. Res64: 2A15CFE7323F8729 Time : 8704.0 sec. user=Flatlander [2010-06-25 23:53:29] 401*2^836074-1 is not prime. Res64: 46BAA28539E5A2EC Time : 8703.0 sec. user=Flatlander [2010-06-25 23:53:30] 555*2^836074-1 is not prime. Res64: B56EED50F24A9E33 Time : 8703.0 sec. user=Flatlander [2010-06-25 23:53:31] 403*2^836075-1 is not prime. Res64: 7488504BB965C872 Time : 8702.0 sec. user=Flatlander [2010-06-25 23:56:19] 425*2^836084-1 is not prime. Res64: D404951BB8349867 Time : 5242.0 sec. user=Flatlander [2010-06-25 23:56:20] 503*2^836084-1 is not prime. Res64: C752774F98E65319 Time : 5241.0 sec. user=Flatlander [2010-06-25 23:56:21] 415*2^836085-1 is not prime. Res64: 2114C36874404619 Time : 5241.0 sec. user=Flatlander [2010-06-25 23:56:22] 507*2^836085-1 is not prime. Res64: 8EF05711F9A2016E Time : 5240.0 sec. user=Flatlander [2010-06-25 23:56:22] 579*2^836085-1 is not prime. Res64: 2913C9767FC4B7CF Time : 5239.0 sec. user=vaughan [2010-06-25 23:56:37] 567*2^836110-1 is not prime. Res64: C073BF6BB37BCA04 Time : 1017.0 sec. user=vaughan [2010-06-25 23:57:08] 581*2^836110-1 is not prime. Res64: E60CC51531DE38B9 Time : 1003.0 sec. user=vaughan [2010-06-26 00:00:30] 439*2^836111-1 is not prime. Res64: 41E702D48FC2E442 Time : 990.0 sec. user=vaughan [2010-06-26 00:00:40] 465*2^836111-1 is not prime. Res64: 724362D7CE561722 Time : 989.0 sec.