user=vaughan
[2009-08-04 00:00:29]
439*2^705943-1 is not prime.  Res64: 5F1634EBE6924AF9  Time : 461.0 sec.
user=vaughan
[2009-08-04 00:02:37]
587*2^705942-1 is not prime.  Res64: B334A33FE279A518  Time : 646.0 sec.
user=vaughan
[2009-08-04 00:05:44]
519*2^705943-1 is not prime.  Res64: 6CCE21DB8B6B6C1A  Time : 540.0 sec.
user=vaughan
[2009-08-04 00:07:50]
421*2^705943-1 is not prime.  Res64: B42E31E7BC697A66  Time : 912.0 sec.
user=vaughan
[2009-08-04 00:08:08]
459*2^705944-1 is not prime.  Res64: 9AB9E09DC001FE2C  Time : 459.0 sec.
user=vaughan
[2009-08-04 00:08:53]
489*2^705943-1 is not prime.  Res64: 6F2085D8BED9A17C  Time : 944.0 sec.
user=vaughan
[2009-08-04 00:09:02]
447*2^705944-1 is not prime.  Res64: 9421A2A7A875ECA6  Time : 655.0 sec.
user=vaughan
[2009-08-04 00:12:52]
479*2^705944-1 is not prime.  Res64: 42AB9D96FA3EC3F8  Time : 616.0 sec.
user=vaughan
[2009-08-04 00:13:20]
525*2^705944-1 is not prime.  Res64: 2B28FA0D5597E1FF  Time : 456.0 sec.
user=vaughan
[2009-08-04 00:15:50]
539*2^705944-1 is not prime.  Res64: 440286AAA375A1ED  Time : 462.0 sec.
user=vaughan
[2009-08-04 00:20:40]
465*2^705945-1 is not prime.  Res64: F4DD702D54F3A5EB  Time : 698.0 sec.
user=vaughan
[2009-08-04 00:20:56]
471*2^705946-1 is not prime.  Res64: 55DC9FC689E5502D  Time : 456.0 sec.
user=vaughan
[2009-08-04 00:21:09]
447*2^705945-1 is not prime.  Res64: 8E75CB0C61C44629  Time : 737.0 sec.
user=vaughan
[2009-08-04 00:22:16]
415*2^705945-1 is not prime.  Res64: D463BFB55C0631C5  Time : 806.0 sec.
user=vaughan
[2009-08-04 00:23:32]
521*2^705946-1 is not prime.  Res64: 942099B95FBF268C  Time : 462.0 sec.
user=vaughan
[2009-08-04 00:23:35]
471*2^705945-1 is not prime.  Res64: E6BE0A621A8D58BF  Time : 644.0 sec.
user=vaughan
[2009-08-04 00:28:32]
561*2^705946-1 is not prime.  Res64: B95FD049C51FB67A  Time : 456.0 sec.
user=vaughan
[2009-08-04 00:31:14]
475*2^705947-1 is not prime.  Res64: C987DC4DB08143DB  Time : 462.0 sec.
user=vaughan
[2009-08-04 00:31:55]
525*2^705946-1 is not prime.  Res64: ABA5F9898562D1EC  Time : 675.0 sec.
user=vaughan
[2009-08-04 00:32:14]
581*2^705946-1 is not prime.  Res64: F964C2202662D274  Time : 665.0 sec.
user=vaughan
[2009-08-04 00:33:53]
433*2^705947-1 is not prime.  Res64: 31C70D5C2AAA466E  Time : 697.0 sec.
user=vaughan
[2009-08-04 00:34:05]
493*2^705947-1 is not prime.  Res64: D1C561AD140DABEB  Time : 631.0 sec.
user=vaughan
[2009-08-04 00:36:08]
495*2^705947-1 is not prime.  Res64: CAD53EF075A2C49E  Time : 456.0 sec.
user=vaughan
[2009-08-04 00:38:58]
531*2^705947-1 is not prime.  Res64: 7C1C52DF1F4FDEBB  Time : 464.0 sec.
user=vaughan
[2009-08-04 00:43:12]
483*2^705948-1 is not prime.  Res64: E9095EF875A1582A  Time : 677.0 sec.
user=vaughan
[2009-08-04 00:43:44]
537*2^705949-1 is not prime.  Res64: BDACCACBD38E4FA1  Time : 456.0 sec.
user=vaughan
[2009-08-04 00:43:46]
465*2^705949-1 is not prime.  Res64: 53557C3ADABB9574  Time : 692.0 sec.
user=vaughan
[2009-08-04 00:44:52]
505*2^705949-1 is not prime.  Res64: 5898F7C2021D8216  Time : 647.0 sec.
user=vaughan
[2009-08-04 00:46:13]
495*2^705949-1 is not prime.  Res64: B93964BC8C8E5B2B  Time : 740.0 sec.
user=vaughan
[2009-08-04 00:46:43]
595*2^705949-1 is not prime.  Res64: 63B0419A6CAB5B46  Time : 465.0 sec.
user=vaughan
[2009-08-04 00:51:21]
453*2^705950-1 is not prime.  Res64: 8523DE1D23888075  Time : 457.0 sec.
user=vaughan
[2009-08-04 00:54:21]
597*2^705949-1 is not prime.  Res64: F69D7825FD8DAD88  Time : 669.0 sec.
user=vaughan
[2009-08-04 00:54:24]
465*2^705951-1 is not prime.  Res64: 59EAE405A3C1A2ED  Time : 461.0 sec.
user=vaughan
[2009-08-04 00:54:43]
461*2^705950-1 is not prime.  Res64: 5B4A139E523AA2B1  Time : 657.0 sec.
user=vaughan
[2009-08-04 00:55:15]
483*2^705950-1 is not prime.  Res64: 2CEFA099EAD58CFA  Time : 624.0 sec.
user=vaughan
[2009-08-04 00:56:59]
581*2^705950-1 is not prime.  Res64: 6CD537E16ECAC138  Time : 646.0 sec.
user=vaughan
[2009-08-04 00:58:57]
447*2^705952-1 is not prime.  Res64: 5E92CEBD12451B3D  Time : 456.0 sec.
user=vaughan
[2009-08-04 01:02:05]
483*2^705952-1 is not prime.  Res64: BF557C53A45DF39B  Time : 461.0 sec.
user=vaughan
[2009-08-04 01:05:42]
507*2^705953-1 is not prime.  Res64: 0195CA06594B36E6  Time : 628.0 sec.
user=vaughan
[2009-08-04 01:05:57]
453*2^705952-1 is not prime.  Res64: ADC1C188F3213DB2  Time : 696.0 sec.
user=vaughan
[2009-08-04 01:06:33]
417*2^705954-1 is not prime.  Res64: 789D87234FA518E1  Time : 456.0 sec.
user=vaughan
[2009-08-04 01:06:57]
487*2^705953-1 is not prime.  Res64: DD98DC77465BF566  Time : 734.0 sec.
user=vaughan
[2009-08-04 01:09:45]
431*2^705954-1 is not prime.  Res64: C8258F03ACB91E17  Time : 460.0 sec.
user=vaughan
[2009-08-04 01:10:32]
517*2^705953-1 is not prime.  Res64: 756580DE6EE5BB5F  Time : 813.0 sec.
user=vaughan
[2009-08-04 01:14:10]
489*2^705955-1 is not prime.  Res64: ABBDBD44D2F1300E  Time : 457.0 sec.
user=vaughan
[2009-08-04 01:16:18]
495*2^705954-1 is not prime.  Res64: 905DE0514D018AF3  Time : 637.0 sec.
user=vaughan
[2009-08-04 01:17:20]
521*2^705954-1 is not prime.  Res64: ED45FE9B627C540A  Time : 683.0 sec.
user=vaughan
[2009-08-04 01:17:27]
519*2^705955-1 is not prime.  Res64: 51377BD6A8BFE041  Time : 462.0 sec.
user=vaughan
[2009-08-04 01:19:00]
511*2^705955-1 is not prime.  Res64: BAAF9B2AAC49B4E9  Time : 724.0 sec.
user=vaughan
[2009-08-04 01:21:45]
573*2^705955-1 is not prime.  Res64: 28539B5BCE9A1EA8  Time : 456.0 sec.
user=vaughan
[2009-08-04 01:23:41]
523*2^705955-1 is not prime.  Res64: AFA7FB25F53FFDF6  Time : 790.0 sec.
user=vaughan
[2009-08-04 01:25:08]
565*2^705957-1 is not prime.  Res64: 7F9EA756E60A9EB4  Time : 461.0 sec.
user=vaughan
[2009-08-04 01:26:53]
525*2^705956-1 is not prime.  Res64: 9A736B7ECAB0B8B7  Time : 635.0 sec.
user=vaughan
[2009-08-04 01:29:16]
465*2^705957-1 is not prime.  Res64: 89AFA227912763AB  Time : 716.0 sec.
user=vaughan
[2009-08-04 01:29:21]
551*2^705958-1 is not prime.  Res64: 2584A93A7FEC1BEE  Time : 457.0 sec.
user=vaughan
[2009-08-04 01:31:42]
579*2^705957-1 is not prime.  Res64: 6CA613C3DD43D703  Time : 762.0 sec.
user=vaughan
[2009-08-04 01:32:51]
421*2^705959-1 is not prime.  Res64: CEB51D8DD282FE19  Time : 463.0 sec.
user=vaughan
[2009-08-04 01:36:57]
563*2^705960-1 is not prime.  Res64: E368D5B32022984A  Time : 457.0 sec.
user=vaughan
[2009-08-04 01:37:36]
501*2^705959-1 is not prime.  Res64: AE25C09695B035D4  Time : 643.0 sec.
user=vaughan
[2009-08-04 01:38:10]
575*2^705958-1 is not prime.  Res64: 90C2BCC264D04896  Time : 869.0 sec.
user=vaughan
[2009-08-04 01:40:32]
517*2^705961-1 is not prime.  Res64: 6271B5FEA4E15E54  Time : 461.0 sec.
user=vaughan
[2009-08-04 01:41:25]
589*2^705959-1 is not prime.  Res64: D60F4E03B0A04457  Time : 729.0 sec.
user=vaughan
[2009-08-04 01:44:33]
525*2^705961-1 is not prime.  Res64: 4E97C8F70E80D400  Time : 457.0 sec.
user=vaughan
[2009-08-04 01:44:35]
507*2^705961-1 is not prime.  Res64: CFB819A9EC339075  Time : 773.0 sec.
user=vaughan
[2009-08-04 01:48:13]
535*2^705961-1 is not prime.  Res64: B910986AC29A6715  Time : 637.0 sec.
user=vaughan
[2009-08-04 01:48:13]
525*2^705962-1 is not prime.  Res64: CA18007890102A25  Time : 461.0 sec.
user=vaughan
[2009-08-04 01:51:37]
431*2^705962-1 is not prime.  Res64: EE54E17192ECDF77  Time : 807.0 sec.
user=vaughan
[2009-08-04 01:52:09]
549*2^705963-1 is not prime.  Res64: A1A60EEBF088FAAE  Time : 457.0 sec.
user=vaughan
[2009-08-04 01:53:09]
545*2^705962-1 is not prime.  Res64: A3D1932AA2AE6A30  Time : 704.0 sec.
user=vaughan
[2009-08-04 01:55:54]
411*2^705965-1 is not prime.  Res64: 6BD8D474B0C13AA8  Time : 461.0 sec.
user=vaughan
[2009-08-04 01:57:51]
585*2^705963-1 is not prime.  Res64: 2BC52FD1A5AA8FA9  Time : 796.0 sec.
user=vaughan
[2009-08-04 01:59:02]
413*2^705964-1 is not prime.  Res64: 110BCD1D7CDFC672  Time : 650.0 sec.
user=vaughan
[2009-08-04 01:59:45]
477*2^705965-1 is not prime.  Res64: B7669D85C4EBD204  Time : 457.0 sec.
user=vaughan
[2009-08-04 02:03:36]
489*2^705965-1 is not prime.  Res64: FB2CF1935721BC21  Time : 462.0 sec.
user=vaughan
[2009-08-04 02:04:59]
487*2^705965-1 is not prime.  Res64: 74A4FF6A99B07860  Time : 710.0 sec.
user=vaughan
[2009-08-04 02:05:38]
469*2^705965-1 is not prime.  Res64: 5199E76DE2C88E67  Time : 841.0 sec.
user=vaughan
[2009-08-04 02:07:21]
565*2^705965-1 is not prime.  Res64: 0AFA50E568CF0C52  Time : 457.0 sec.
user=vaughan
[2009-08-04 02:09:40]
517*2^705965-1 is not prime.  Res64: FFA18D4F0BDBF631  Time : 710.0 sec.
user=vaughan
[2009-08-04 02:09:53]
519*2^705965-1 is not prime.  Res64: EF6C4D70066A0AAD  Time : 652.0 sec.
user=vaughan
[2009-08-04 02:11:20]
579*2^705965-1 is not prime.  Res64: 3245E010825584E9  Time : 464.0 sec.
user=vaughan
[2009-08-04 02:14:58]
443*2^705966-1 is not prime.  Res64: 7914695151C5E9A3  Time : 458.0 sec.
user=vaughan
[2009-08-04 02:16:10]
589*2^705965-1 is not prime.  Res64: B47A05FE5AD3F3DB  Time : 672.0 sec.
user=vaughan
[2009-08-04 02:17:17]
425*2^705966-1 is not prime.  Res64: 03CE1A944A5D4ABC  Time : 699.0 sec.
user=vaughan
[2009-08-04 02:19:00]
493*2^705967-1 is not prime.  Res64: 2C4D064820B4B19B  Time : 460.0 sec.
user=vaughan
[2009-08-04 02:20:15]
423*2^705967-1 is not prime.  Res64: A618A95342FEA91B  Time : 622.0 sec.
user=vaughan
[2009-08-04 02:20:32]
557*2^705966-1 is not prime.  Res64: 88BE1D46877100E0  Time : 652.0 sec.
user=vaughan
[2009-08-04 02:22:33]
511*2^705967-1 is not prime.  Res64: 7B1BFA39C361A4E4  Time : 456.0 sec.
user=vaughan
[2009-08-04 02:26:40]
557*2^705968-1 is not prime.  Res64: 3D2BFBF6C4AE521A  Time : 460.0 sec.
user=vaughan
[2009-08-04 02:27:14]
519*2^705967-1 is not prime.  Res64: 12F9524AF6DE9152  Time : 664.0 sec.
user=vaughan
[2009-08-04 02:28:32]
533*2^705968-1 is not prime.  Res64: C4EEB4828CE396BE  Time : 675.0 sec.
user=vaughan
[2009-08-04 02:30:08]
459*2^705969-1 is not prime.  Res64: 83404886ECBF7847  Time : 456.0 sec.
user=vaughan
[2009-08-04 02:30:43]
563*2^705968-1 is not prime.  Res64: 39D58F23992D1038  Time : 628.0 sec.
user=vaughan
[2009-08-04 02:31:24]
447*2^705969-1 is not prime.  Res64: 46DE2D0EC40A6C47  Time : 652.0 sec.
user=vaughan
[2009-08-04 02:34:19]
465*2^705969-1 is not prime.  Res64: 7C0BA812AF1A0DC3  Time : 459.0 sec.
user=vaughan
[2009-08-04 02:37:44]
525*2^705970-1 is not prime.  Res64: 35C7035BEA4E3B32  Time : 456.0 sec.
user=vaughan
[2009-08-04 02:38:00]
579*2^705969-1 is not prime.  Res64: 0EA6A602157D71E1  Time : 646.0 sec.
user=vaughan
[2009-08-04 02:38:58]
595*2^705969-1 is not prime.  Res64: 4AE7CAE1200C279C  Time : 626.0 sec.
user=vaughan
[2009-08-04 02:40:56]
545*2^705970-1 is not prime.  Res64: 848318A47D9C634C  Time : 613.0 sec.
user=vaughan
[2009-08-04 02:41:52]
441*2^705971-1 is not prime.  Res64: 3974765D9ECB8820  Time : 628.0 sec.
user=vaughan
[2009-08-04 02:42:00]
475*2^705971-1 is not prime.  Res64: 26A78DF9966D99F1  Time : 461.0 sec.
user=vaughan
[2009-08-04 02:45:20]
591*2^705971-1 is not prime.  Res64: D5A6F068A01F2CBD  Time : 456.0 sec.
user=vaughan
[2009-08-04 02:49:13]
497*2^705972-1 is not prime.  Res64: 47F5D56D2D85C957  Time : 673.0 sec.
user=vaughan
[2009-08-04 02:49:39]
537*2^705973-1 is not prime.  Res64: A7566650CB61C5E9  Time : 459.0 sec.
user=vaughan
[2009-08-04 02:50:36]
503*2^705972-1 is not prime.  Res64: BB0C281E2BADBE2A  Time : 698.0 sec.
user=vaughan
[2009-08-04 02:51:22]
563*2^705972-1 is not prime.  Res64: A7336E6D5F9EB8E3  Time : 626.0 sec.
user=vaughan
[2009-08-04 02:52:56]
555*2^705973-1 is not prime.  Res64: 07BF659A278829A0  Time : 456.0 sec.
user=vaughan
[2009-08-04 02:53:10]
569*2^705972-1 is not prime.  Res64: 521E7CCE22E8EBF3  Time : 678.0 sec.
user=vaughan
[2009-08-04 02:57:23]
423*2^705974-1 is not prime.  Res64: 7331CE8A9EC693C5  Time : 464.0 sec.
user=vaughan
[2009-08-04 03:00:11]
407*2^705974-1 is not prime.  Res64: B9AF84448F4BBC27  Time : 658.0 sec.
user=vaughan
[2009-08-04 03:00:32]
573*2^705974-1 is not prime.  Res64: 02501561D9DCC1D8  Time : 456.0 sec.
user=vaughan
[2009-08-04 03:01:49]
435*2^705974-1 is not prime.  Res64: 22FB5B4889DE8263  Time : 673.0 sec.
user=vaughan
[2009-08-04 03:01:51]
503*2^705974-1 is not prime.  Res64: 7FD2C05813DC98D6  Time : 629.0 sec.
user=vaughan
[2009-08-04 03:04:07]
411*2^705975-1 is not prime.  Res64: DAA8271E7D79DAC9  Time : 657.0 sec.
user=vaughan
[2009-08-04 03:05:08]
451*2^705975-1 is not prime.  Res64: C5C5FBEC2396F6F1  Time : 465.0 sec.
user=vaughan
[2009-08-04 03:08:08]
535*2^705975-1 is not prime.  Res64: 9AD369B1377A679B  Time : 456.0 sec.
user=vaughan
[2009-08-04 03:11:31]
511*2^705975-1 is not prime.  Res64: C601A29E82088597  Time : 680.0 sec.
user=vaughan
[2009-08-04 03:12:23]
483*2^705976-1 is not prime.  Res64: C603E56F86449DDF  Time : 632.0 sec.
user=vaughan
[2009-08-04 03:12:49]
507*2^705976-1 is not prime.  Res64: BA529BD4B10D1332  Time : 461.0 sec.
user=vaughan
[2009-08-04 03:13:47]
437*2^705976-1 is not prime.  Res64: 2E39EF015F67A6C6  Time : 718.0 sec.
user=vaughan
[2009-08-04 03:15:26]
495*2^705976-1 is not prime.  Res64: B380C0C0040205ED  Time : 679.0 sec.
user=vaughan
[2009-08-04 03:15:44]
509*2^705976-1 is not prime.  Res64: 9D23A570560FE5F0  Time : 456.0 sec.
user=vaughan
[2009-08-04 03:20:29]
555*2^705978-1 is not prime.  Res64: 4C4C7E7AFD7CEC62  Time : 460.0 sec.
user=vaughan
[2009-08-04 03:22:31]
425*2^705978-1 is not prime.  Res64: 0D1F31BDBB3239EB  Time : 660.0 sec.
user=vaughan
[2009-08-04 03:22:46]
465*2^705978-1 is not prime.  Res64: DA18E8C1F45EB1B6  Time : 623.0 sec.
user=vaughan
[2009-08-04 03:23:20]
519*2^705980-1 is not prime.  Res64: E1383A4F917D034C  Time : 456.0 sec.
user=vaughan
[2009-08-04 03:25:19]
463*2^705979-1 is not prime.  Res64: AEC0F4197F6DAEB7  Time : 692.0 sec.
user=vaughan
[2009-08-04 03:26:35]
459*2^705980-1 is not prime.  Res64: 15BE7D55BAA10854  Time : 669.0 sec.
user=vaughan
[2009-08-04 03:28:10]
417*2^705981-1 is not prime.  Res64: 4787915FC61C4EAF  Time : 461.0 sec.
user=vaughan
[2009-08-04 03:30:56]
471*2^705981-1 is not prime.  Res64: EAFFC8570ABF9CE3  Time : 456.0 sec.
user=vaughan
[2009-08-04 03:33:30]
447*2^705981-1 is not prime.  Res64: 58787E7E0AC66B86  Time : 644.0 sec.
user=vaughan
[2009-08-04 03:33:45]
427*2^705981-1 is not prime.  Res64: 1B9379F0F0527258  Time : 674.0 sec.
user=vaughan
[2009-08-04 03:35:51]
571*2^705981-1 is not prime.  Res64: 320F2241400BF9BB  Time : 461.0 sec.
user=vaughan
[2009-08-04 03:38:07]
531*2^705981-1 is not prime.  Res64: 74EA87D264BBDAC6  Time : 768.0 sec.
user=vaughan
[2009-08-04 03:38:32]
577*2^705981-1 is not prime.  Res64: 98DF4EA46B4FFC07  Time : 456.0 sec.
user=vaughan
[2009-08-04 03:38:55]
549*2^705981-1 is not prime.  Res64: 8CE31B0980CE8438  Time : 740.0 sec.
user=vaughan
[2009-08-04 03:43:33]
409*2^705983-1 is not prime.  Res64: 7F68E90927A5FFDC  Time : 462.0 sec.
user=vaughan
[2009-08-04 03:44:16]
455*2^705982-1 is not prime.  Res64: 71C809129D079EBF  Time : 646.0 sec.
user=vaughan
[2009-08-04 03:46:02]
483*2^705982-1 is not prime.  Res64: 849D8D47BEA58A2A  Time : 737.0 sec.
user=vaughan
[2009-08-04 03:46:07]
433*2^705983-1 is not prime.  Res64: 496923349A872A65  Time : 455.0 sec.
user=vaughan
[2009-08-04 03:51:14]
419*2^705984-1 is not prime.  Res64: 87FBA5CF96BA1DFC  Time : 461.0 sec.
user=vaughan
[2009-08-04 03:52:05]
559*2^705983-1 is not prime.  Res64: 8F22376770B6A730  Time : 790.0 sec.
user=vaughan
[2009-08-04 03:53:38]
411*2^705983-1 is not prime.  Res64: 87293305150B160E  Time : 931.0 sec.
user=vaughan
[2009-08-04 03:53:42]
455*2^705984-1 is not prime.  Res64: 31B08FE275E6B685  Time : 455.0 sec.
user=vaughan
[2009-08-04 03:55:42]
423*2^705984-1 is not prime.  Res64: 5EF7A1015CE3A95B  Time : 686.0 sec.
user=vaughan
[2009-08-04 03:58:10]
437*2^705984-1 is not prime.  Res64: 99BAFB37335B0C08  Time : 728.0 sec.
user=vaughan
[2009-08-04 03:58:55]
489*2^705984-1 is not prime.  Res64: AEDCF2E10B92F6F1  Time : 461.0 sec.
user=vaughan
[2009-08-04 04:01:18]
495*2^705985-1 is not prime.  Res64: 31D4C88629588503  Time : 456.0 sec.
user=vaughan
[2009-08-04 04:03:51]
539*2^705984-1 is not prime.  Res64: B97822D4C1208635  Time : 707.0 sec.
user=vaughan
[2009-08-04 04:05:39]
411*2^705985-1 is not prime.  Res64: 5FBC31EF6F41F8CD  Time : 721.0 sec.
user=vaughan
[2009-08-04 04:06:11]
511*2^705985-1 is not prime.  Res64: 7E85393689D57C0D  Time : 629.0 sec.
user=vaughan
[2009-08-04 04:06:36]
405*2^705986-1 is not prime.  Res64: 70871B3534CFBDCE  Time : 461.0 sec.
user=vaughan
[2009-08-04 04:08:53]
407*2^705986-1 is not prime.  Res64: B539316B235BD4B4  Time : 455.0 sec.
user=vaughan
[2009-08-04 04:08:56]
597*2^705985-1 is not prime.  Res64: E5291FE2795F41F1  Time : 646.0 sec.
user=vaughan
[2009-08-04 04:14:13]
495*2^705986-1 is not prime.  Res64: F5DFFC499AF712FC  Time : 622.0 sec.
user=vaughan
[2009-08-04 04:14:17]
593*2^705986-1 is not prime.  Res64: 2E765F3918F79134  Time : 461.0 sec.
user=vaughan
[2009-08-04 04:16:05]
545*2^705986-1 is not prime.  Res64: 18B2117FC2B98C09  Time : 626.0 sec.
user=vaughan
[2009-08-04 04:16:23]
575*2^705986-1 is not prime.  Res64: 314459FDFD22AF4C  Time : 612.0 sec.
user=vaughan
[2009-08-04 04:16:29]
405*2^705987-1 is not prime.  Res64: DAAD42770BEF64CC  Time : 456.0 sec.
user=vaughan
[2009-08-04 04:19:42]
501*2^705987-1 is not prime.  Res64: 2FAFDA3FB947F0BB  Time : 646.0 sec.
user=vaughan
[2009-08-04 04:21:57]
495*2^705988-1 is not prime.  Res64: A292868F2261C522  Time : 460.0 sec.
user=vaughan
[2009-08-04 04:24:05]
453*2^705990-1 is not prime.  Res64: 38C056ABFE35AF4C  Time : 456.0 sec.
user=vaughan
[2009-08-04 04:24:35]
449*2^705988-1 is not prime.  Res64: DAC30D4EDFF2CC9A  Time : 622.0 sec.
user=vaughan
[2009-08-04 04:26:32]
563*2^705988-1 is not prime.  Res64: 02E72BA538BE454F  Time : 627.0 sec.
user=vaughan
[2009-08-04 04:26:35]
571*2^705989-1 is not prime.  Res64: 641C8AE41E39F8E2  Time : 612.0 sec.
user=vaughan
[2009-08-04 04:29:37]
541*2^705991-1 is not prime.  Res64: 419812A57C0E557F  Time : 460.0 sec.
user=vaughan
[2009-08-04 04:30:28]
521*2^705990-1 is not prime.  Res64: D8C3501D9BD36D9C  Time : 646.0 sec.
user=vaughan
[2009-08-04 04:31:41]
437*2^705992-1 is not prime.  Res64: 41A66C34A60585B4  Time : 456.0 sec.
user=vaughan
[2009-08-04 04:34:57]
489*2^705992-1 is not prime.  Res64: 02AF3ACBF658E171  Time : 622.0 sec.
user=vaughan
[2009-08-04 04:36:48]
475*2^705993-1 is not prime.  Res64: 3C175221E9B18DCE  Time : 613.0 sec.
user=vaughan
[2009-08-04 04:36:59]
585*2^705992-1 is not prime.  Res64: 6324739A8A231486  Time : 628.0 sec.
user=vaughan
[2009-08-04 04:37:17]
517*2^705993-1 is not prime.  Res64: 8631CF1478A4EF1B  Time : 460.0 sec.
user=vaughan
[2009-08-04 04:39:17]
551*2^705994-1 is not prime.  Res64: D299310402500B73  Time : 456.0 sec.
user=vaughan
[2009-08-04 04:41:15]
525*2^705993-1 is not prime.  Res64: A9C9F440B2DAB409  Time : 647.0 sec.
user=vaughan
[2009-08-04 04:44:57]
595*2^705995-1 is not prime.  Res64: 662A9E034E2288FC  Time : 460.0 sec.
user=vaughan
[2009-08-04 04:45:19]
495*2^705995-1 is not prime.  Res64: D3CD94AC106CBD01  Time : 622.0 sec.
user=vaughan
[2009-08-04 04:46:53]
453*2^705996-1 is not prime.  Res64: 9C0FEBA4ED94D5EF  Time : 456.0 sec.
user=vaughan
[2009-08-04 04:47:00]
501*2^705995-1 is not prime.  Res64: 4B7DB45EB0729481  Time : 613.0 sec.
user=vaughan
[2009-08-04 04:47:27]
585*2^705995-1 is not prime.  Res64: E8B1D1292F96D259  Time : 629.0 sec.
user=vaughan
[2009-08-04 04:52:01]
459*2^705996-1 is not prime.  Res64: 31D4A3380A2CAC28  Time : 646.0 sec.
user=vaughan
[2009-08-04 04:52:37]
557*2^705996-1 is not prime.  Res64: 5F9A32FD1C170AFE  Time : 460.0 sec.
user=vaughan
[2009-08-04 04:54:30]
427*2^705997-1 is not prime.  Res64: C0813D5B0F3E133C  Time : 457.0 sec.
user=vaughan
[2009-08-04 04:55:41]
579*2^705996-1 is not prime.  Res64: 6C5DC122C93BA403  Time : 622.0 sec.
user=vaughan
[2009-08-04 04:57:11]
465*2^705997-1 is not prime.  Res64: 324488D209648BCF  Time : 611.0 sec.
user=vaughan
[2009-08-04 04:57:55]
517*2^705997-1 is not prime.  Res64: 123D75637EB54DA0  Time : 629.0 sec.
user=vaughan
[2009-08-04 05:00:17]
567*2^705997-1 is not prime.  Res64: B284D62C1899F60D  Time : 460.0 sec.
user=vaughan
[2009-08-04 05:02:05]
439*2^705999-1 is not prime.  Res64: B5FCFB0F4A63704D  Time : 456.0 sec.
user=vaughan
[2009-08-04 05:02:49]
549*2^705997-1 is not prime.  Res64: 5E75866DB4C42C08  Time : 648.0 sec.
user=vaughan
[2009-08-04 05:06:03]
553*2^705999-1 is not prime.  Res64: EC06FDE5A9E0F007  Time : 622.0 sec.
user=vaughan
[2009-08-04 05:07:23]
595*2^705999-1 is not prime.  Res64: E3152E1D218A03F4  Time : 612.0 sec.
user=vaughan
[2009-08-04 05:07:58]
569*2^706000-1 is not prime.  Res64: 4B9C0C35BC17A22D  Time : 461.0 sec.
user=vaughan
[2009-08-04 05:08:21]
437*2^706000-1 is not prime.  Res64: 5134FE5B09A59F14  Time : 627.0 sec.
user=vaughan
[2009-08-04 05:09:41]
477*2^706001-1 is not prime.  Res64: DAC94A3BF857D6F2  Time : 456.0 sec.
user=vaughan
[2009-08-04 05:13:36]
529*2^706001-1 is not prime.  Res64: 5842A2C4215E64BA  Time : 647.0 sec.
user=vaughan
[2009-08-04 05:15:39]
571*2^706001-1 is not prime.  Res64: A73E42DF22617D6A  Time : 461.0 sec.
user=vaughan
[2009-08-04 05:16:26]
537*2^706001-1 is not prime.  Res64: C77D3E5D208AABFF  Time : 623.0 sec.
user=vaughan
[2009-08-04 05:17:17]
447*2^706002-1 is not prime.  Res64: 7E34D909225E21F0  Time : 456.0 sec.
user=vaughan
[2009-08-04 05:17:35]
549*2^706001-1 is not prime.  Res64: 6125CE698B707A6D  Time : 612.0 sec.
user=vaughan
[2009-08-04 05:18:48]
417*2^706002-1 is not prime.  Res64: 4DE04CA699DFFDDE  Time : 627.0 sec.
user=vaughan
[2009-08-04 05:23:19]
521*2^706002-1 is not prime.  Res64: 61AE326963CCEBA8  Time : 460.0 sec.
user=vaughan
[2009-08-04 05:24:22]
483*2^706002-1 is not prime.  Res64: F6E31B343D6A345C  Time : 647.0 sec.
user=vaughan
[2009-08-04 05:24:54]
555*2^706002-1 is not prime.  Res64: 3FE21B8C6B26B952  Time : 457.0 sec.
user=vaughan
[2009-08-04 05:26:49]
527*2^706002-1 is not prime.  Res64: 34C6401802B2A19C  Time : 623.0 sec.
user=vaughan
[2009-08-04 05:27:47]
563*2^706002-1 is not prime.  Res64: 39C41C727691723E  Time : 613.0 sec.
user=vaughan
[2009-08-04 05:29:15]
567*2^706002-1 is not prime.  Res64: 6E85860DBD9E1980  Time : 627.0 sec.
user=vaughan
[2009-08-04 05:31:00]
411*2^706003-1 is not prime.  Res64: D64893826BBBE7E5  Time : 461.0 sec.
user=vaughan
[2009-08-04 05:32:30]
493*2^706003-1 is not prime.  Res64: ADCCF17F4B38ADFB  Time : 457.0 sec.
user=vaughan
[2009-08-04 05:35:06]
439*2^706003-1 is not prime.  Res64: DCA8AA31AACBF43E  Time : 645.0 sec.
user=vaughan
[2009-08-04 05:37:12]
583*2^706003-1 is not prime.  Res64: 48E0173991FF500C  Time : 623.0 sec.
user=vaughan
[2009-08-04 05:37:58]
589*2^706003-1 is not prime.  Res64: C3ABF45C6D275B95  Time : 612.0 sec.
user=vaughan
[2009-08-04 05:38:41]
453*2^706004-1 is not prime.  Res64: 5BB4ACDAD5211B9F  Time : 461.0 sec.
user=vaughan
[2009-08-04 05:39:41]
417*2^706004-1 is not prime.  Res64: 0EC4F3696BF772D1  Time : 626.0 sec.
user=vaughan
[2009-08-04 05:40:06]
441*2^706005-1 is not prime.  Res64: 06A204F1E9418550  Time : 457.0 sec.
user=vaughan
[2009-08-04 05:45:51]
459*2^706005-1 is not prime.  Res64: B7183B9B8EE075B1  Time : 646.0 sec.
user=vaughan
[2009-08-04 05:46:22]
591*2^706005-1 is not prime.  Res64: A3201AABEBD032A6  Time : 461.0 sec.
user=vaughan
[2009-08-04 05:47:35]
529*2^706005-1 is not prime.  Res64: E3E57613587E7E0D  Time : 623.0 sec.
user=vaughan
[2009-08-04 05:47:42]
433*2^706007-1 is not prime.  Res64: 488ABF6303DCB953  Time : 457.0 sec.
user=vaughan
[2009-08-04 05:48:11]
579*2^706005-1 is not prime.  Res64: B4C488EFD44B7A70  Time : 614.0 sec.
user=vaughan
[2009-08-04 05:50:07]
453*2^706006-1 is not prime.  Res64: DECAA399B1601302  Time : 626.0 sec.
user=vaughan
[2009-08-04 05:54:04]
523*2^706007-1 is not prime.  Res64: 773266EA448057D4  Time : 462.0 sec.
user=vaughan
[2009-08-04 05:55:18]
537*2^706008-1 is not prime.  Res64: 4326B7C598F9D17A  Time : 457.0 sec.
user=vaughan
[2009-08-04 05:56:36]
469*2^706007-1 is not prime.  Res64: 84153E0469DA28C6  Time : 646.0 sec.
user=vaughan
[2009-08-04 05:58:21]
559*2^706007-1 is not prime.  Res64: 2D8CD6AF7976BFCE  Time : 646.0 sec.
user=vaughan
[2009-08-04 05:58:32]
569*2^706008-1 is not prime.  Res64: E94344CA2524646E  Time : 622.0 sec.
user=vaughan
[2009-08-04 06:01:29]
421*2^706009-1 is not prime.  Res64: 18EC45BDAA6A25EC  Time : 682.0 sec.
user=vaughan
[2009-08-04 06:01:45]
481*2^706009-1 is not prime.  Res64: C41CC9025F6C7482  Time : 461.0 sec.
user=vaughan
[2009-08-04 06:02:53]
495*2^706009-1 is not prime.  Res64: D8B8A015AE17D100  Time : 456.0 sec.
user=vaughan
[2009-08-04 06:08:07]
411*2^706010-1 is not prime.  Res64: 93754A18882E8DAE  Time : 692.0 sec.
user=vaughan
[2009-08-04 06:09:20]
495*2^706010-1 is not prime.  Res64: D11D4F8DA2A776CF  Time : 648.0 sec.
user=vaughan
[2009-08-04 06:09:26]
453*2^706011-1 is not prime.  Res64: A6D2FB02DEFD687B  Time : 461.0 sec.
user=vaughan
[2009-08-04 06:09:58]
431*2^706010-1 is not prime.  Res64: EE3B7A6476D6BA85  Time : 697.0 sec.
user=vaughan
[2009-08-04 06:10:30]
419*2^706012-1 is not prime.  Res64: 9B7CB73130D34220  Time : 457.0 sec.
user=vaughan
[2009-08-04 06:14:51]
409*2^706011-1 is not prime.  Res64: FFDDD8188B278DBD  Time : 802.0 sec.
user=vaughan
[2009-08-04 06:17:06]
517*2^706013-1 is not prime.  Res64: E4D2E269E5F6FB52  Time : 460.0 sec.
user=vaughan
[2009-08-04 06:18:05]
559*2^706013-1 is not prime.  Res64: B28082B301B00AA5  Time : 455.0 sec.
user=vaughan
[2009-08-04 06:20:06]
495*2^706012-1 is not prime.  Res64: F6F53067AA195A09  Time : 720.0 sec.
user=vaughan
[2009-08-04 06:20:25]
445*2^706013-1 is not prime.  Res64: 71669F80918B8BA3  Time : 665.0 sec.
user=vaughan
[2009-08-04 06:23:27]
519*2^706013-1 is not prime.  Res64: 9480076349EB8194  Time : 809.0 sec.
user=vaughan
[2009-08-04 06:24:46]
437*2^706014-1 is not prime.  Res64: 9BF41CFD09DF6F6D  Time : 460.0 sec.
user=vaughan
[2009-08-04 06:25:40]
447*2^706014-1 is not prime.  Res64: 6B961F36FFCA219E  Time : 455.0 sec.
user=vaughan
[2009-08-04 06:31:00]
567*2^706013-1 is not prime.  Res64: 87A47150993C12B5  Time : 969.0 sec.
user=vaughan
[2009-08-04 06:31:07]
563*2^706014-1 is not prime.  Res64: 49A6376106A8E1CF  Time : 642.0 sec.
user=vaughan
[2009-08-04 06:32:23]
465*2^706015-1 is not prime.  Res64: 0575D8AAAA82D1DB  Time : 457.0 sec.
user=vaughan
[2009-08-04 06:32:30]
507*2^706014-1 is not prime.  Res64: DA08C688986B8605  Time : 745.0 sec.
user=vaughan
[2009-08-04 06:33:15]
531*2^706015-1 is not prime.  Res64: 993B5523AC2CE0AD  Time : 455.0 sec.
user=vaughan
[2009-08-04 06:37:25]
415*2^706015-1 is not prime.  Res64: EC34269DE8B5CF1F  Time : 838.0 sec.
user=vaughan
[2009-08-04 06:40:02]
469*2^706017-1 is not prime.  Res64: 06332A3BF520E34A  Time : 459.0 sec.
user=vaughan
[2009-08-04 06:40:51]
585*2^706017-1 is not prime.  Res64: 8F384A9CD293418A  Time : 457.0 sec.
user=vaughan
[2009-08-04 06:42:12]
503*2^706016-1 is not prime.  Res64: 7B15E256E00AF929  Time : 665.0 sec.
user=vaughan
[2009-08-04 06:44:51]
511*2^706017-1 is not prime.  Res64: CAF54736A2939E2A  Time : 742.0 sec.
user=vaughan
[2009-08-04 06:47:11]
465*2^706016-1 is not prime.  Res64: 8D389D7BE5AE85E5  Time : 972.0 sec.
user=vaughan
[2009-08-04 06:47:42]
491*2^706018-1 is not prime.  Res64: 073FB95C1CAE024F  Time : 460.0 sec.
user=vaughan
[2009-08-04 06:48:27]
495*2^706018-1 is not prime.  Res64: 61BE047705882D4B  Time : 457.0 sec.
user=vaughan
[2009-08-04 06:52:07]
483*2^706018-1 is not prime.  Res64: F98380CD554E4F08  Time : 882.0 sec.
user=vaughan
[2009-08-04 06:52:53]
513*2^706018-1 is not prime.  Res64: 20DB62C41640C3C5  Time : 641.0 sec.
user=vaughan
[2009-08-04 06:55:22]
511*2^706019-1 is not prime.  Res64: 6530BF2A0922C6D6  Time : 460.0 sec.
user=vaughan
[2009-08-04 06:56:02]
523*2^706019-1 is not prime.  Res64: 59515A0136EEE6E7  Time : 456.0 sec.
user=vaughan
[2009-08-04 06:57:01]
551*2^706018-1 is not prime.  Res64: 237446E008FAFF84  Time : 730.0 sec.
user=vaughan
[2009-08-04 07:02:24]
561*2^706018-1 is not prime.  Res64: 1FB959C0B5E33270  Time : 913.0 sec.
user=vaughan
[2009-08-04 07:03:02]
459*2^706020-1 is not prime.  Res64: A9428BD9F671FCBA  Time : 460.0 sec.
user=vaughan
[2009-08-04 07:03:38]
479*2^706020-1 is not prime.  Res64: 663C6A8AD3DBE814  Time : 456.0 sec.
user=vaughan
[2009-08-04 07:03:55]
437*2^706020-1 is not prime.  Res64: B55C981160122F88  Time : 662.0 sec.
user=vaughan
[2009-08-04 07:04:55]
531*2^706019-1 is not prime.  Res64: 790D90AB9C7A2BD0  Time : 768.0 sec.
user=vaughan
[2009-08-04 07:09:03]
483*2^706020-1 is not prime.  Res64: BA858D56BB69DF24  Time : 722.0 sec.
user=vaughan
[2009-08-04 07:10:43]
527*2^706020-1 is not prime.  Res64: 5D24E548F76E3CB8  Time : 461.0 sec.
user=vaughan
[2009-08-04 07:11:14]
555*2^706020-1 is not prime.  Res64: 8E011949AF7A0954  Time : 456.0 sec.
user=vaughan
[2009-08-04 07:15:09]
557*2^706020-1 is not prime.  Res64: 5B8BC367346E15A0  Time : 674.0 sec.
user=vaughan
[2009-08-04 07:16:49]
525*2^706020-1 is not prime.  Res64: D287727DC2C8E2FE  Time : 865.0 sec.
user=vaughan
[2009-08-04 07:17:24]
439*2^706021-1 is not prime.  Res64: 1CB84DC469D5A9AE  Time : 749.0 sec.
user=vaughan
[2009-08-04 07:18:25]
477*2^706021-1 is not prime.  Res64: 730DE92E9F25E798  Time : 462.0 sec.
user=vaughan
[2009-08-04 07:18:51]
407*2^706022-1 is not prime.  Res64: E8A4147B18BA3740  Time : 457.0 sec.
user=vaughan
[2009-08-04 07:20:58]
451*2^706021-1 is not prime.  Res64: 19C92C7E4D102C04  Time : 716.0 sec.
user=vaughan
[2009-08-04 07:26:07]
481*2^706023-1 is not prime.  Res64: C61E1F5B0AC8AB2D  Time : 462.0 sec.
user=vaughan
[2009-08-04 07:26:27]
489*2^706023-1 is not prime.  Res64: C38D73DA776F0A65  Time : 456.0 sec.
user=vaughan
[2009-08-04 07:26:32]
455*2^706022-1 is not prime.  Res64: 0F1D72BBC8E7304B  Time : 683.0 sec.
user=vaughan
[2009-08-04 07:29:55]
563*2^706022-1 is not prime.  Res64: CF91294C28FDDC6A  Time : 751.0 sec.
user=vaughan
[2009-08-04 07:31:17]
551*2^706022-1 is not prime.  Res64: FFD043095EFD90F8  Time : 868.0 sec.
user=vaughan
[2009-08-04 07:32:49]
501*2^706023-1 is not prime.  Res64: FAFFAC857C88774E  Time : 712.0 sec.
user=vaughan
[2009-08-04 07:33:50]
429*2^706024-1 is not prime.  Res64: D4FC36DCC0B20679  Time : 463.0 sec.
user=vaughan
[2009-08-04 07:34:03]
533*2^706024-1 is not prime.  Res64: 0D0D3946E457D321  Time : 456.0 sec.
user=vaughan
[2009-08-04 07:37:54]
421*2^706025-1 is not prime.  Res64: 9BCBA88709C547C7  Time : 682.0 sec.
user=vaughan
[2009-08-04 07:41:32]
495*2^706026-1 is not prime.  Res64: AD65FB5E657A84DE  Time : 463.0 sec.
user=vaughan
[2009-08-04 07:41:39]
405*2^706027-1 is not prime.  Res64: E349968990D792AB  Time : 456.0 sec.
user=vaughan
[2009-08-04 07:43:26]
405*2^706026-1 is not prime.  Res64: 2E814F7A0A87A579  Time : 811.0 sec.
user=vaughan
[2009-08-04 07:44:58]
473*2^706026-1 is not prime.  Res64: F0926E22EB98EE0E  Time : 729.0 sec.
user=vaughan
[2009-08-04 07:46:12]
431*2^706026-1 is not prime.  Res64: 3B86A94333350396  Time : 895.0 sec.
user=vaughan
[2009-08-04 07:48:30]
505*2^706027-1 is not prime.  Res64: A002F0903564EAB5  Time : 636.0 sec.
user=vaughan
[2009-08-04 07:49:13]
595*2^706027-1 is not prime.  Res64: 794FA031156CBA6B  Time : 462.0 sec.
user=vaughan
[2009-08-04 07:49:15]
479*2^706028-1 is not prime.  Res64: F2630923F200B61E  Time : 456.0 sec.
user=vaughan
[2009-08-04 07:56:49]
405*2^706030-1 is not prime.  Res64: E8B535E55A101332  Time : 454.0 sec.
user=vaughan
[2009-08-04 07:56:56]
579*2^706029-1 is not prime.  Res64: 15F39BAA4B2F1DAF  Time : 464.0 sec.
user=vaughan
[2009-08-04 07:56:58]
557*2^706028-1 is not prime.  Res64: 9F0349939592DCE5  Time : 812.0 sec.
user=vaughan
[2009-08-04 07:57:15]
599*2^706028-1 is not prime.  Res64: 0D537B5F5CA0E420  Time : 737.0 sec.
user=vaughan
[2009-08-04 07:59:05]
537*2^706029-1 is not prime.  Res64: 87BE93C65995C631  Time : 635.0 sec.
user=vaughan
[2009-08-04 08:01:23]
451*2^706029-1 is not prime.  Res64: 285352FF1E24A7DE  Time : 911.0 sec.
user=vaughan
[2009-08-04 08:04:24]
413*2^706030-1 is not prime.  Res64: 3495F99BDAA746AB  Time : 455.0 sec.
user=vaughan
[2009-08-04 08:04:40]
521*2^706030-1 is not prime.  Res64: BCE68B7D74A3D410  Time : 464.0 sec.
user=vaughan
[2009-08-04 08:09:09]
591*2^706030-1 is not prime.  Res64: DD7682B0A9B309E2  Time : 714.0 sec.
user=vaughan
[2009-08-04 08:09:35]
403*2^706031-1 is not prime.  Res64: EC643C3EAF122C08  Time : 630.0 sec.
user=vaughan
[2009-08-04 08:09:45]
587*2^706030-1 is not prime.  Res64: 7956C9A06A28F613  Time : 768.0 sec.
user=vaughan
[2009-08-04 08:11:59]
489*2^706031-1 is not prime.  Res64: E631C41F1D8DC42D  Time : 456.0 sec.
user=vaughan
[2009-08-04 08:12:21]
505*2^706031-1 is not prime.  Res64: 969D66821A48171E  Time : 461.0 sec.
user=vaughan
[2009-08-04 08:15:45]
441*2^706031-1 is not prime.  Res64: 7A905EE6BA3C80E8  Time : 862.0 sec.
user=vaughan
[2009-08-04 08:19:35]
567*2^706032-1 is not prime.  Res64: 866B81F306C6A3C0  Time : 456.0 sec.
user=vaughan
[2009-08-04 08:20:01]
569*2^706032-1 is not prime.  Res64: 2DE800E0F498A08C  Time : 460.0 sec.
user=vaughan
[2009-08-04 08:20:14]
413*2^706032-1 is not prime.  Res64: 47288022CCF9C830  Time : 639.0 sec.
user=vaughan
[2009-08-04 08:20:58]
573*2^706031-1 is not prime.  Res64: 40FFD26674594294  Time : 709.0 sec.
user=vaughan
[2009-08-04 08:22:26]
425*2^706032-1 is not prime.  Res64: 30DA8F0AD39AF9F5  Time : 761.0 sec.
user=vaughan
[2009-08-04 08:27:11]
525*2^706033-1 is not prime.  Res64: 29AA5E8516DCFB80  Time : 457.0 sec.
user=vaughan
[2009-08-04 08:27:38]
597*2^706033-1 is not prime.  Res64: 11E9CB07C904BE9A  Time : 457.0 sec.
user=vaughan
[2009-08-04 08:29:06]
499*2^706033-1 is not prime.  Res64: 44CD77726C2D893D  Time : 802.0 sec.
user=vaughan
[2009-08-04 08:31:43]
533*2^706034-1 is not prime.  Res64: 9006081C5721A162  Time : 690.0 sec.
user=vaughan
[2009-08-04 08:32:42]
587*2^706034-1 is not prime.  Res64: 0ED26EB7E9208D12  Time : 705.0 sec.
user=vaughan
[2009-08-04 08:34:28]
433*2^706035-1 is not prime.  Res64: 380C7C526D1BD381  Time : 722.0 sec.
user=vaughan
[2009-08-04 08:34:47]
475*2^706035-1 is not prime.  Res64: DC64FBB355EF234B  Time : 457.0 sec.
user=vaughan
[2009-08-04 08:35:16]
447*2^706036-1 is not prime.  Res64: A2A8FDA86935F78C  Time : 458.0 sec.
user=vaughan
[2009-08-04 08:41:52]
455*2^706036-1 is not prime.  Res64: 38E6245B0CB3AD19  Time : 767.0 sec.
user=vaughan
[2009-08-04 08:42:22]
405*2^706037-1 is not prime.  Res64: 258DF8BB5A9F279A  Time : 455.0 sec.
user=vaughan
[2009-08-04 08:42:43]
497*2^706036-1 is not prime.  Res64: F2D5E1362838EF17  Time : 660.0 sec.
user=vaughan
[2009-08-04 08:42:54]
495*2^706037-1 is not prime.  Res64: 143E34EDF31C9078  Time : 458.0 sec.
user=vaughan
[2009-08-04 08:44:06]
545*2^706036-1 is not prime.  Res64: 1E88A38456870572  Time : 684.0 sec.
user=vaughan
[2009-08-04 08:45:39]
573*2^706036-1 is not prime.  Res64: 606535B9A02BF11C  Time : 671.0 sec.
user=vaughan
[2009-08-04 08:49:58]
517*2^706037-1 is not prime.  Res64: 1A6869CDAF0F917C  Time : 456.0 sec.
user=vaughan
[2009-08-04 08:50:31]
453*2^706038-1 is not prime.  Res64: 1B3F270F5894DDBC  Time : 457.0 sec.
user=vaughan
[2009-08-04 08:53:32]
567*2^706037-1 is not prime.  Res64: CF87FA65DBF87D98  Time : 649.0 sec.
user=vaughan
[2009-08-04 08:54:05]
507*2^706037-1 is not prime.  Res64: E1CF9DB90A69FF10  Time : 733.0 sec.
user=vaughan
[2009-08-04 08:55:29]
563*2^706038-1 is not prime.  Res64: 061DF40E1C172163  Time : 683.0 sec.
user=vaughan
[2009-08-04 08:57:16]
463*2^706039-1 is not prime.  Res64: 8EB7FB4C3B0038B4  Time : 697.0 sec.
user=vaughan
[2009-08-04 08:57:33]
489*2^706039-1 is not prime.  Res64: 3609FEF5E60F6293  Time : 455.0 sec.
user=vaughan
[2009-08-04 08:58:09]
549*2^706039-1 is not prime.  Res64: B3F317E5E71B4EAA  Time : 458.0 sec.
user=vaughan
[2009-08-04 09:04:13]
589*2^706039-1 is not prime.  Res64: 1BB029140FC88895  Time : 641.0 sec.
user=vaughan
[2009-08-04 09:05:09]
405*2^706041-1 is not prime.  Res64: 10344BDF811F7ECB  Time : 456.0 sec.
user=vaughan
[2009-08-04 09:05:47]
445*2^706041-1 is not prime.  Res64: 56D5BB6E299E5E96  Time : 458.0 sec.
user=vaughan
[2009-08-04 09:06:14]
407*2^706040-1 is not prime.  Res64: D14FDC25C2D205D2  Time : 729.0 sec.
user=vaughan
[2009-08-04 09:06:52]
447*2^706040-1 is not prime.  Res64: AC1B385E30E3D029  Time : 683.0 sec.
user=vaughan
[2009-08-04 09:08:51]
483*2^706040-1 is not prime.  Res64: 1540EE3AA3F26B67  Time : 695.0 sec.
user=vaughan
[2009-08-04 09:12:45]
495*2^706041-1 is not prime.  Res64: 900F9DD0CCF5B3B8  Time : 456.0 sec.
user=vaughan
[2009-08-04 09:13:29]
549*2^706041-1 is not prime.  Res64: 0829CC25D4140BEB  Time : 462.0 sec.
user=vaughan
[2009-08-04 09:15:14]
475*2^706041-1 is not prime.  Res64: E072BA324EE92B45  Time : 661.0 sec.
user=vaughan
[2009-08-04 09:18:48]
423*2^706042-1 is not prime.  Res64: AD75801103DB9C40  Time : 716.0 sec.
user=vaughan
[2009-08-04 09:20:19]
565*2^706041-1 is not prime.  Res64: 7A85BDC755DAE392  Time : 845.0 sec.
user=vaughan
[2009-08-04 09:20:21]
433*2^706043-1 is not prime.  Res64: 9D15323FF0F757B6  Time : 456.0 sec.
user=vaughan
[2009-08-04 09:21:10]
463*2^706043-1 is not prime.  Res64: 2CFEDEA6E83B79B9  Time : 461.0 sec.
user=vaughan
[2009-08-04 09:21:35]
471*2^706042-1 is not prime.  Res64: E3E7D23C8B1E5A31  Time : 764.0 sec.
user=vaughan
[2009-08-04 09:25:58]
495*2^706043-1 is not prime.  Res64: 9D0DB0367E2F9125  Time : 644.0 sec.
user=vaughan
[2009-08-04 09:27:56]
553*2^706043-1 is not prime.  Res64: 9C7259A49B48E8DD  Time : 455.0 sec.
user=vaughan
[2009-08-04 09:28:51]
571*2^706043-1 is not prime.  Res64: 878028B0447A479A  Time : 461.0 sec.
user=vaughan
[2009-08-04 09:30:53]
511*2^706043-1 is not prime.  Res64: 6ABE3D5CCFBA649E  Time : 725.0 sec.
user=vaughan
[2009-08-04 09:35:32]
423*2^706044-1 is not prime.  Res64: 5ACE2330412C208F  Time : 456.0 sec.
user=vaughan
[2009-08-04 09:35:33]
573*2^706043-1 is not prime.  Res64: 34D91EACDABDAC23  Time : 839.0 sec.
user=vaughan
[2009-08-04 09:35:43]
549*2^706043-1 is not prime.  Res64: DB5A170A06841113  Time : 924.0 sec.
user=vaughan
[2009-08-04 09:36:32]
453*2^706044-1 is not prime.  Res64: 5D64988315EB7280  Time : 461.0 sec.
user=vaughan
[2009-08-04 09:36:44]
419*2^706044-1 is not prime.  Res64: ED0A7BB6A459797C  Time : 646.0 sec.
user=vaughan
[2009-08-04 09:43:05]
497*2^706044-1 is not prime.  Res64: 7E808E2DCAA56364  Time : 732.0 sec.
user=vaughan
[2009-08-04 09:43:08]
503*2^706044-1 is not prime.  Res64: 49057DAF0E5CB7A8  Time : 457.0 sec.
user=vaughan
[2009-08-04 09:44:13]
421*2^706045-1 is not prime.  Res64: DFDCDAA680DF60B5  Time : 461.0 sec.
user=vaughan
[2009-08-04 09:47:44]
471*2^706045-1 is not prime.  Res64: 87D680FD16574181  Time : 660.0 sec.
user=vaughan
[2009-08-04 09:48:35]
513*2^706044-1 is not prime.  Res64: C30EDC27E6BF0673  Time : 782.0 sec.
user=vaughan
[2009-08-04 09:50:29]
587*2^706044-1 is not prime.  Res64: 0A2766BBEAA1AED1  Time : 887.0 sec.
user=vaughan
[2009-08-04 09:50:44]
595*2^706045-1 is not prime.  Res64: D3B396FC48D57825  Time : 457.0 sec.
user=vaughan
[2009-08-04 09:51:54]
447*2^706046-1 is not prime.  Res64: FD34E531A3A3FC0A  Time : 461.0 sec.
user=vaughan
[2009-08-04 09:55:22]
495*2^706045-1 is not prime.  Res64: 2C0ABA9B0034719E  Time : 738.0 sec.
user=vaughan
[2009-08-04 09:58:23]
593*2^706046-1 is not prime.  Res64: B289817E837D5EEA  Time : 459.0 sec.
user=vaughan
[2009-08-04 09:58:30]
455*2^706046-1 is not prime.  Res64: E41FBE922115AE63  Time : 647.0 sec.
user=vaughan
[2009-08-04 09:59:36]
423*2^706047-1 is not prime.  Res64: DDCA36E8ABC010D9  Time : 462.0 sec.
user=vaughan
[2009-08-04 10:01:07]
501*2^706046-1 is not prime.  Res64: F74E38D80D55A219  Time : 752.0 sec.
user=vaughan
[2009-08-04 10:04:02]
521*2^706046-1 is not prime.  Res64: 27CB735DBD8492A3  Time : 813.0 sec.
user=vaughan
[2009-08-04 10:06:02]
583*2^706047-1 is not prime.  Res64: E7ECD33A6F43661C  Time : 460.0 sec.
user=vaughan
[2009-08-04 10:06:50]
549*2^706047-1 is not prime.  Res64: 6440D4ABC92B0472  Time : 689.0 sec.
user=vaughan
[2009-08-04 10:07:21]
429*2^706048-1 is not prime.  Res64: 48006B6F92CE8E20  Time : 465.0 sec.
user=vaughan
[2009-08-04 10:09:33]
419*2^706048-1 is not prime.  Res64: B9C7D26A7E6F68EE  Time : 664.0 sec.
user=vaughan
[2009-08-04 10:13:21]
437*2^706048-1 is not prime.  Res64: 31F4540294A394D4  Time : 735.0 sec.
user=vaughan
[2009-08-04 10:13:38]
511*2^706049-1 is not prime.  Res64: 50AF34E9BF0C6D1C  Time : 457.0 sec.
user=vaughan
[2009-08-04 10:15:01]
411*2^706050-1 is not prime.  Res64: 9ABD740A1F9FF4D9  Time : 461.0 sec.
user=vaughan
[2009-08-04 10:18:42]
411*2^706049-1 is not prime.  Res64: 30FCD7F6104E9FD8  Time : 881.0 sec.
user=vaughan
[2009-08-04 10:18:53]
589*2^706049-1 is not prime.  Res64: E3F839653FFAB118  Time : 723.0 sec.
user=vaughan
[2009-08-04 10:20:34]
423*2^706050-1 is not prime.  Res64: B532FB7028162D4A  Time : 661.0 sec.
user=vaughan
[2009-08-04 10:21:14]
421*2^706051-1 is not prime.  Res64: B220AB5BEA02BA45  Time : 456.0 sec.
user=vaughan
[2009-08-04 10:22:41]
433*2^706051-1 is not prime.  Res64: 55F1DE493E0EFDF9  Time : 460.0 sec.
user=vaughan
[2009-08-04 10:26:37]
453*2^706050-1 is not prime.  Res64: 754A43A9D79415D7  Time : 796.0 sec.
user=vaughan
[2009-08-04 10:28:51]
483*2^706052-1 is not prime.  Res64: E257DC50AF6D4182  Time : 457.0 sec.
user=vaughan
[2009-08-04 10:30:26]
573*2^706052-1 is not prime.  Res64: 041DA83A55A9C335  Time : 465.0 sec.
user=vaughan
[2009-08-04 10:30:53]
519*2^706051-1 is not prime.  Res64: 25F5063E94237F8C  Time : 720.0 sec.
user=vaughan
[2009-08-04 10:32:08]
535*2^706051-1 is not prime.  Res64: AC02826CAED7595A  Time : 695.0 sec.
user=vaughan
[2009-08-04 10:33:37]
463*2^706051-1 is not prime.  Res64: 44586BA4385A5146  Time : 895.0 sec.
user=vaughan
[2009-08-04 10:36:29]
409*2^706053-1 is not prime.  Res64: 14F9099E7D582AEC  Time : 458.0 sec.
user=vaughan
[2009-08-04 10:38:10]
441*2^706053-1 is not prime.  Res64: 5CA1F6E401380C8C  Time : 465.0 sec.
user=vaughan
[2009-08-04 10:39:09]
405*2^706053-1 is not prime.  Res64: 4E529D1527688FC2  Time : 752.0 sec.
user=vaughan
[2009-08-04 10:42:41]
511*2^706053-1 is not prime.  Res64: DAABDA5285E44C9F  Time : 708.0 sec.
user=vaughan
[2009-08-04 10:43:19]
577*2^706053-1 is not prime.  Res64: 77FF4A1637ADD73C  Time : 671.0 sec.
user=vaughan
[2009-08-04 10:44:07]
533*2^706054-1 is not prime.  Res64: CA473E906D47615A  Time : 458.0 sec.
user=vaughan
[2009-08-04 10:45:53]
551*2^706054-1 is not prime.  Res64: 0D8F1B3045B2B866  Time : 464.0 sec.
user=vaughan
[2009-08-04 10:46:55]
423*2^706054-1 is not prime.  Res64: D538C1FFCB418419  Time : 799.0 sec.
user=vaughan
[2009-08-04 10:51:25]
433*2^706055-1 is not prime.  Res64: C4F4EAE9E8AEAA65  Time : 736.0 sec.
user=vaughan
[2009-08-04 10:51:43]
525*2^706055-1 is not prime.  Res64: BFA345D2B552AE18  Time : 457.0 sec.
user=vaughan
[2009-08-04 10:53:34]
543*2^706055-1 is not prime.  Res64: 4285A225C97D4A0C  Time : 462.0 sec.
user=vaughan
[2009-08-04 10:54:10]
475*2^706055-1 is not prime.  Res64: B0A1E3518F5257D9  Time : 652.0 sec.
user=vaughan
[2009-08-04 10:54:19]
451*2^706055-1 is not prime.  Res64: 7B76A41F86117323  Time : 698.0 sec.
user=vaughan
[2009-08-04 10:59:19]
537*2^706057-1 is not prime.  Res64: 3B55A3DD8FF60D5A  Time : 456.0 sec.
user=vaughan
[2009-08-04 10:59:47]
455*2^706056-1 is not prime.  Res64: CFED66D5C8928991  Time : 773.0 sec.
user=vaughan
[2009-08-04 11:01:15]
549*2^706057-1 is not prime.  Res64: 1EF8D62ADE67FA9A  Time : 461.0 sec.
user=vaughan
[2009-08-04 11:03:31]
567*2^706056-1 is not prime.  Res64: E00FF64AD08C8FA3  Time : 726.0 sec.
user=vaughan
[2009-08-04 11:04:54]
561*2^706057-1 is not prime.  Res64: 050F34961647F451  Time : 644.0 sec.
user=vaughan
[2009-08-04 11:05:48]
423*2^706058-1 is not prime.  Res64: DBB79C6549CE0D27  Time : 689.0 sec.
user=vaughan
[2009-08-04 11:06:56]
425*2^706058-1 is not prime.  Res64: 5A8F52D412854542  Time : 457.0 sec.
user=vaughan
[2009-08-04 11:10:02]
483*2^706058-1 is not prime.  Res64: DB9B435BE44BC300  Time : 528.0 sec.
user=vaughan
[2009-08-04 11:11:51]
453*2^706058-1 is not prime.  Res64: 4EE2B7971508800D  Time : 725.0 sec.
user=vaughan
[2009-08-04 11:14:31]
583*2^706059-1 is not prime.  Res64: 5445855E77662902  Time : 455.0 sec.
user=vaughan
[2009-08-04 11:15:02]
511*2^706059-1 is not prime.  Res64: 582A788CB1CEB4E0  Time : 691.0 sec.
user=vaughan
[2009-08-04 11:15:30]
571*2^706059-1 is not prime.  Res64: 9339BEAC55A0D0AC  Time : 637.0 sec.
user=vaughan
[2009-08-04 11:17:05]
573*2^706059-1 is not prime.  Res64: F35B1B6BA51CF9A2  Time : 677.0 sec.
user=vaughan
[2009-08-04 11:17:43]
453*2^706060-1 is not prime.  Res64: 9D615AEEC808F595  Time : 461.0 sec.
user=vaughan
[2009-08-04 11:22:07]
549*2^706060-1 is not prime.  Res64: A319C81F6F7F82BA  Time : 456.0 sec.
user=vaughan
[2009-08-04 11:25:01]
539*2^706060-1 is not prime.  Res64: 854E53BD9A177125  Time : 790.0 sec.
user=vaughan
[2009-08-04 11:25:25]
559*2^706061-1 is not prime.  Res64: BFC0A5B8B45356B9  Time : 462.0 sec.
user=vaughan
[2009-08-04 11:26:31]
421*2^706061-1 is not prime.  Res64: 01334371777FFF89  Time : 661.0 sec.
user=vaughan
[2009-08-04 11:26:55]
411*2^706061-1 is not prime.  Res64: 4A134CAA0DE17478  Time : 713.0 sec.
user=vaughan
[2009-08-04 11:28:32]
511*2^706061-1 is not prime.  Res64: 31E88EBCE784D42C  Time : 688.0 sec.
user=vaughan
[2009-08-04 11:29:43]
571*2^706061-1 is not prime.  Res64: DF1C670D647E9551  Time : 456.0 sec.
user=vaughan
[2009-08-04 11:33:06]
591*2^706061-1 is not prime.  Res64: 90F4F577A8449D41  Time : 461.0 sec.
user=vaughan
[2009-08-04 11:37:20]
453*2^706063-1 is not prime.  Res64: 6543E41E09B2002F  Time : 457.0 sec.
user=vaughan
[2009-08-04 11:37:28]
543*2^706062-1 is not prime.  Res64: DFD4E0BE583891D8  Time : 657.0 sec.
user=vaughan
[2009-08-04 11:38:15]
577*2^706061-1 is not prime.  Res64: 0C15E67A44FCC76F  Time : 794.0 sec.
user=vaughan
[2009-08-04 11:39:12]
557*2^706062-1 is not prime.  Res64: F83B03F8BEBDC582  Time : 737.0 sec.
user=vaughan
[2009-08-04 11:40:24]
591*2^706062-1 is not prime.  Res64: 67CF3281F10F6C39  Time : 712.0 sec.
user=vaughan
[2009-08-04 11:40:47]
463*2^706063-1 is not prime.  Res64: C417E4E796E1CFBD  Time : 461.0 sec.
user=vaughan
[2009-08-04 11:44:56]
505*2^706063-1 is not prime.  Res64: 8AA387F641937AA9  Time : 456.0 sec.
user=vaughan
[2009-08-04 11:48:34]
543*2^706064-1 is not prime.  Res64: F7CD8F2BFB1BA646  Time : 467.0 sec.
user=vaughan
[2009-08-04 11:48:58]
519*2^706063-1 is not prime.  Res64: FAA002DC97F5C790  Time : 691.0 sec.
user=vaughan
[2009-08-04 11:51:52]
503*2^706064-1 is not prime.  Res64: 77D78612E6A85EAD  Time : 760.0 sec.
user=vaughan
[2009-08-04 11:52:23]
509*2^706064-1 is not prime.  Res64: 32E6826B2C9A342A  Time : 720.0 sec.
user=vaughan
[2009-08-04 11:52:41]
427*2^706065-1 is not prime.  Res64: EA124F52C3D6E674  Time : 465.0 sec.
user=vaughan
[2009-08-04 11:53:32]
473*2^706064-1 is not prime.  Res64: D14B73F1435955ED  Time : 917.0 sec.
user=vaughan
[2009-08-04 11:56:15]
531*2^706065-1 is not prime.  Res64: 3395C7393184E17D  Time : 461.0 sec.
user=vaughan
[2009-08-04 12:00:17]
435*2^706067-1 is not prime.  Res64: 43858EE3B8DF40A5  Time : 456.0 sec.
user=vaughan
[2009-08-04 12:00:37]
443*2^706066-1 is not prime.  Res64: 295967A6EC2F3E1D  Time : 699.0 sec.
user=vaughan
[2009-08-04 12:03:56]
501*2^706067-1 is not prime.  Res64: 7D56E173C77ED135  Time : 461.0 sec.
user=vaughan
[2009-08-04 12:04:36]
587*2^706066-1 is not prime.  Res64: C04757C96E58C8DF  Time : 733.0 sec.
user=vaughan
[2009-08-04 12:04:52]
483*2^706066-1 is not prime.  Res64: B867B58811C0449E  Time : 780.0 sec.
user=vaughan
[2009-08-04 12:07:52]
523*2^706067-1 is not prime.  Res64: D1E8BC0645EFB242  Time : 455.0 sec.
user=vaughan
[2009-08-04 12:08:45]
451*2^706067-1 is not prime.  Res64: 67072885016D2CA4  Time : 914.0 sec.
user=vaughan
[2009-08-04 12:11:17]
549*2^706067-1 is not prime.  Res64: 163CFA735F374FBE  Time : 640.0 sec.
user=vaughan
[2009-08-04 12:11:37]
573*2^706067-1 is not prime.  Res64: B5F63743CFBD7943  Time : 461.0 sec.
user=vaughan
[2009-08-04 12:15:29]
539*2^706068-1 is not prime.  Res64: 51287E93C30B84A4  Time : 457.0 sec.
user=vaughan
[2009-08-04 12:16:42]
423*2^706068-1 is not prime.  Res64: 5B3C40B6ABF99E1E  Time : 727.0 sec.
user=vaughan
[2009-08-04 12:18:23]
473*2^706068-1 is not prime.  Res64: B20B12D75AE97B66  Time : 811.0 sec.
user=vaughan
[2009-08-04 12:19:18]
457*2^706069-1 is not prime.  Res64: BD4CFA6CDEDC1FDC  Time : 461.0 sec.
user=vaughan
[2009-08-04 12:22:31]
435*2^706069-1 is not prime.  Res64: 2D482A6ADA58A30F  Time : 674.0 sec.
user=vaughan
[2009-08-04 12:23:05]
465*2^706069-1 is not prime.  Res64: 53F6200B1C958DD8  Time : 457.0 sec.
user=vaughan
[2009-08-04 12:23:42]
569*2^706068-1 is not prime.  Res64: 1A83E4CF3863BFB9  Time : 897.0 sec.
user=vaughan
[2009-08-04 12:27:00]
525*2^706069-1 is not prime.  Res64: A81D1CF4972A8F51  Time : 462.0 sec.
user=vaughan
[2009-08-04 12:28:40]
511*2^706069-1 is not prime.  Res64: 396DB72013813FB2  Time : 718.0 sec.
user=vaughan
[2009-08-04 12:30:41]
597*2^706069-1 is not prime.  Res64: 184ECD3D1D19EB6F  Time : 456.0 sec.
user=vaughan
[2009-08-04 12:31:05]
517*2^706069-1 is not prime.  Res64: CE947191BDA292C3  Time : 763.0 sec.
user=vaughan
[2009-08-04 12:33:55]
577*2^706069-1 is not prime.  Res64: 97A6398D47233BCA  Time : 685.0 sec.
user=vaughan
[2009-08-04 12:34:41]
561*2^706070-1 is not prime.  Res64: 971974EF8106C7C4  Time : 461.0 sec.
user=vaughan
[2009-08-04 12:38:17]
405*2^706071-1 is not prime.  Res64: DEAC6310B6757FA6  Time : 456.0 sec.
user=vaughan
[2009-08-04 12:38:29]
405*2^706070-1 is not prime.  Res64: CF2D1CDC6C961A06  Time : 888.0 sec.
user=vaughan
[2009-08-04 12:40:45]
591*2^706070-1 is not prime.  Res64: 6A986969C24E3C11  Time : 725.0 sec.
user=vaughan
[2009-08-04 12:42:22]
465*2^706071-1 is not prime.  Res64: 4343AF9FC467F3CB  Time : 461.0 sec.
user=vaughan
[2009-08-04 12:44:38]
439*2^706071-1 is not prime.  Res64: 189696623694143D  Time : 813.0 sec.
user=vaughan
[2009-08-04 12:44:54]
453*2^706071-1 is not prime.  Res64: 75070EB18F74EABC  Time : 659.0 sec.
user=vaughan
[2009-08-04 12:45:53]
493*2^706071-1 is not prime.  Res64: 312AC1478BC88AE6  Time : 456.0 sec.
user=vaughan
[2009-08-04 12:50:03]
453*2^706072-1 is not prime.  Res64: B875B4F01DCD905F  Time : 461.0 sec.
user=vaughan
[2009-08-04 12:52:27]
413*2^706072-1 is not prime.  Res64: 30783967F0B18988  Time : 703.0 sec.
user=vaughan
[2009-08-04 12:52:36]
571*2^706071-1 is not prime.  Res64: 6C0F26002EA549D0  Time : 847.0 sec.
user=vaughan
[2009-08-04 12:53:50]
593*2^706072-1 is not prime.  Res64: 4559A8F0659A992C  Time : 477.0 sec.
user=vaughan
[2009-08-04 12:55:42]
507*2^706072-1 is not prime.  Res64: 330E59965E83B20E  Time : 649.0 sec.
user=vaughan
[2009-08-04 12:56:17]
495*2^706072-1 is not prime.  Res64: 51ED462A1E2B535F  Time : 699.0 sec.
user=vaughan
[2009-08-04 12:57:44]
411*2^706073-1 is not prime.  Res64: C1F6280580FEF47D  Time : 461.0 sec.
user=vaughan
[2009-08-04 13:01:27]
537*2^706073-1 is not prime.  Res64: 5364E93CB5DBF477  Time : 457.0 sec.
user=vaughan
[2009-08-04 13:04:18]
441*2^706073-1 is not prime.  Res64: 300AFA89F5821FE2  Time : 711.0 sec.
user=vaughan
[2009-08-04 13:05:26]
437*2^706074-1 is not prime.  Res64: 77E44F2C189D8169  Time : 462.0 sec.
user=vaughan
[2009-08-04 13:06:27]
565*2^706073-1 is not prime.  Res64: C40998476928FB4E  Time : 645.0 sec.
user=vaughan
[2009-08-04 13:07:12]
517*2^706073-1 is not prime.  Res64: BF2026AC5B7F5A47  Time : 877.0 sec.
user=vaughan
[2009-08-04 13:09:03]
483*2^706074-1 is not prime.  Res64: AFAE05FAAB5F3D43  Time : 457.0 sec.
user=vaughan
[2009-08-04 13:10:04]
401*2^706074-1 is not prime.  Res64: 9DC0A7C0942F4B60  Time : 827.0 sec.
user=vaughan
[2009-08-04 13:13:07]
411*2^706075-1 is not prime.  Res64: 7E93E7C49DFE54C3  Time : 462.0 sec.
user=vaughan
[2009-08-04 13:16:39]
417*2^706076-1 is not prime.  Res64: 143FD53050160499  Time : 457.0 sec.
user=vaughan
[2009-08-04 13:16:44]
567*2^706074-1 is not prime.  Res64: F612C3DC69460F34  Time : 746.0 sec.
user=vaughan
[2009-08-04 13:17:05]
583*2^706075-1 is not prime.  Res64: 5A430DB7F99C0E71  Time : 638.0 sec.
user=vaughan
[2009-08-04 13:20:48]
545*2^706076-1 is not prime.  Res64: 4E5ADF37542EE1A4  Time : 462.0 sec.
user=vaughan
[2009-08-04 13:22:06]
595*2^706075-1 is not prime.  Res64: B5A68DCF50B0C287  Time : 894.0 sec.
user=vaughan
[2009-08-04 13:22:54]
437*2^706076-1 is not prime.  Res64: 71D033054D61B26B  Time : 770.0 sec.
user=vaughan
[2009-08-04 13:24:15]
585*2^706076-1 is not prime.  Res64: CE9D056FC823E920  Time : 456.0 sec.
user=vaughan
[2009-08-04 13:27:43]
423*2^706078-1 is not prime.  Res64: 4183DD933F55C271  Time : 639.0 sec.
user=vaughan
[2009-08-04 13:27:49]
401*2^706078-1 is not prime.  Res64: 33F2A089714CDFBC  Time : 665.0 sec.
user=vaughan
[2009-08-04 13:28:29]
525*2^706078-1 is not prime.  Res64: 2E1612EC4B74178B  Time : 461.0 sec.
user=vaughan
[2009-08-04 13:31:51]
441*2^706079-1 is not prime.  Res64: F6961319CD3DB8E6  Time : 456.0 sec.
user=vaughan
[2009-08-04 13:33:47]
533*2^706078-1 is not prime.  Res64: D315A06324357608  Time : 701.0 sec.
user=vaughan
[2009-08-04 13:34:16]
439*2^706079-1 is not prime.  Res64: 022C873D4FB94E1B  Time : 682.0 sec.
user=vaughan
[2009-08-04 13:36:53]
537*2^706080-1 is not prime.  Res64: 70A584CA01F82F41  Time : 504.0 sec.
user=vaughan
[2009-08-04 13:38:45]
511*2^706079-1 is not prime.  Res64: FD183D3EC1CE1050  Time : 662.0 sec.
user=vaughan
[2009-08-04 13:39:22]
459*2^706080-1 is not prime.  Res64: 779C5D28BF46DD52  Time : 693.0 sec.
user=vaughan
[2009-08-04 13:39:27]
477*2^706081-1 is not prime.  Res64: 136F18A301AD07A9  Time : 456.0 sec.
user=vaughan
[2009-08-04 13:44:34]
549*2^706081-1 is not prime.  Res64: DA69AD4F7496C675  Time : 462.0 sec.
user=vaughan
[2009-08-04 13:47:00]
547*2^706081-1 is not prime.  Res64: 7B9E1BF1F26839F9  Time : 764.0 sec.
user=vaughan
[2009-08-04 13:47:03]
525*2^706082-1 is not prime.  Res64: EBB6C5207DA60477  Time : 456.0 sec.
user=vaughan
[2009-08-04 13:47:30]
517*2^706081-1 is not prime.  Res64: 58EC6AEF57982A2D  Time : 824.0 sec.
user=vaughan
[2009-08-04 13:49:17]
497*2^706082-1 is not prime.  Res64: 7A9FE6070C47DB9E  Time : 632.0 sec.
user=vaughan
[2009-08-04 13:51:18]
515*2^706082-1 is not prime.  Res64: 2BA1DB5A5D87231E  Time : 717.0 sec.
user=vaughan
[2009-08-04 13:52:15]
451*2^706083-1 is not prime.  Res64: A1089B31910F09F3  Time : 461.0 sec.
user=vaughan
[2009-08-04 13:54:39]
465*2^706084-1 is not prime.  Res64: ECA8C79A3D5958C2  Time : 456.0 sec.
user=vaughan
[2009-08-04 13:59:19]
435*2^706084-1 is not prime.  Res64: 8002E5BC0E8AF0AD  Time : 740.0 sec.
user=vaughan
[2009-08-04 13:59:58]
409*2^706085-1 is not prime.  Res64: 58C4A5FE946EB2FA  Time : 463.0 sec.
user=vaughan
[2009-08-04 14:00:36]
573*2^706084-1 is not prime.  Res64: 86A30823CBAFB7E6  Time : 679.0 sec.
user=vaughan
[2009-08-04 14:01:12]
563*2^706084-1 is not prime.  Res64: 2AA4657B1A0366B8  Time : 823.0 sec.
user=vaughan
[2009-08-04 14:02:15]
441*2^706085-1 is not prime.  Res64: 3EB26F0F2B1A4E30  Time : 456.0 sec.
user=vaughan
[2009-08-04 14:02:59]
587*2^706084-1 is not prime.  Res64: 3841572550C4DD23  Time : 701.0 sec.
user=vaughan
[2009-08-04 14:07:40]
487*2^706085-1 is not prime.  Res64: 8660F20D832ABDFD  Time : 463.0 sec.
user=vaughan
[2009-08-04 14:09:51]
471*2^706086-1 is not prime.  Res64: 2FE722975B70E346  Time : 456.0 sec.
user=vaughan
[2009-08-04 14:11:04]
517*2^706085-1 is not prime.  Res64: 2B487AB4A6FEAB68  Time : 629.0 sec.
user=vaughan
[2009-08-04 14:11:16]
447*2^706085-1 is not prime.  Res64: 374999C6869752BC  Time : 717.0 sec.
user=vaughan
[2009-08-04 14:13:26]
455*2^706086-1 is not prime.  Res64: 077F7EE7F245F0B3  Time : 735.0 sec.
user=vaughan
[2009-08-04 14:14:27]
503*2^706086-1 is not prime.  Res64: CEE4854516975FFE  Time : 688.0 sec.
user=vaughan
[2009-08-04 14:15:21]
525*2^706086-1 is not prime.  Res64: B8824665DF003E1F  Time : 461.0 sec.
user=vaughan
[2009-08-04 14:17:27]
537*2^706086-1 is not prime.  Res64: B583F75E5AAF7E61  Time : 456.0 sec.
user=vaughan
[2009-08-04 14:21:37]
563*2^706086-1 is not prime.  Res64: 77B085D07814B77F  Time : 633.0 sec.
user=vaughan
[2009-08-04 14:22:24]
587*2^706086-1 is not prime.  Res64: 835DE7165C420482  Time : 668.0 sec.
user=vaughan
[2009-08-04 14:23:10]
553*2^706087-1 is not prime.  Res64: 39DDE2AD52F171BB  Time : 469.0 sec.
user=vaughan
[2009-08-04 14:24:53]
423*2^706087-1 is not prime.  Res64: F3907BA7CDEF41A0  Time : 687.0 sec.
user=vaughan
[2009-08-04 14:25:04]
595*2^706087-1 is not prime.  Res64: 31E9BBBBDFC53E5A  Time : 457.0 sec.
user=vaughan
[2009-08-04 14:25:33]
489*2^706087-1 is not prime.  Res64: A044FB8D8576871A  Time : 667.0 sec.
user=vaughan
[2009-08-04 14:30:52]
567*2^706088-1 is not prime.  Res64: 15ABB0BBF9EA89A2  Time : 462.0 sec.
user=vaughan
[2009-08-04 14:32:03]
503*2^706088-1 is not prime.  Res64: 39AC318821D5DF46  Time : 626.0 sec.
user=vaughan
[2009-08-04 14:32:41]
481*2^706089-1 is not prime.  Res64: E587E2312F36EB3E  Time : 457.0 sec.
user=vaughan
[2009-08-04 14:34:54]
557*2^706088-1 is not prime.  Res64: 839403CE0F096D68  Time : 751.0 sec.
user=vaughan
[2009-08-04 14:37:49]
535*2^706089-1 is not prime.  Res64: 123CF19F4B382243  Time : 737.0 sec.
user=vaughan
[2009-08-04 14:38:35]
537*2^706089-1 is not prime.  Res64: 60B315DC3001AA3E  Time : 463.0 sec.
user=vaughan
[2009-08-04 14:39:53]
445*2^706089-1 is not prime.  Res64: E81E2B5073AE9BEE  Time : 900.0 sec.
user=vaughan
[2009-08-04 14:40:17]
581*2^706090-1 is not prime.  Res64: 549F0A0515E5EC2E  Time : 457.0 sec.
user=vaughan
[2009-08-04 14:42:55]
495*2^706090-1 is not prime.  Res64: 7FF559A39E4517D2  Time : 652.0 sec.
user=vaughan
[2009-08-04 14:46:20]
459*2^706092-1 is not prime.  Res64: 25BE04ABA5AFB8CB  Time : 465.0 sec.
user=vaughan
[2009-08-04 14:47:44]
425*2^706092-1 is not prime.  Res64: E9FFFF15A3FEFCA2  Time : 770.0 sec.
user=vaughan
[2009-08-04 14:47:53]
497*2^706092-1 is not prime.  Res64: FA32F46276CDFAEB  Time : 456.0 sec.
user=vaughan
[2009-08-04 14:49:29]
455*2^706092-1 is not prime.  Res64: FEFA44DDCAA2B7E3  Time : 700.0 sec.
user=vaughan
[2009-08-04 14:53:27]
483*2^706092-1 is not prime.  Res64: 1102104D3B8331F6  Time : 815.0 sec.
user=vaughan
[2009-08-04 14:53:44]
503*2^706092-1 is not prime.  Res64: CA6B2D659F015191  Time : 649.0 sec.
user=vaughan
[2009-08-04 14:54:02]
513*2^706092-1 is not prime.  Res64: 493DBF642F987CE9  Time : 463.0 sec.
user=vaughan
[2009-08-04 14:55:29]
411*2^706093-1 is not prime.  Res64: 7F1EDB83A6DBCA2E  Time : 456.0 sec.
user=vaughan
[2009-08-04 15:01:03]
539*2^706092-1 is not prime.  Res64: 75A6D61ED5E6DED1  Time : 799.0 sec.
user=vaughan
[2009-08-04 15:01:37]
451*2^706093-1 is not prime.  Res64: D629C5B1BA46D8C1  Time : 736.0 sec.
user=vaughan
[2009-08-04 15:01:45]
501*2^706094-1 is not prime.  Res64: 341F04A68DDACC67  Time : 463.0 sec.
user=vaughan
[2009-08-04 15:03:06]
593*2^706094-1 is not prime.  Res64: 0F54B88DA42B1F6C  Time : 457.0 sec.
user=vaughan
[2009-08-04 15:04:34]
453*2^706094-1 is not prime.  Res64: 4F6A60A87E944132  Time : 651.0 sec.
user=vaughan
[2009-08-04 15:07:51]
541*2^706093-1 is not prime.  Res64: A181CE09433C787B  Time : 865.0 sec.
user=vaughan
[2009-08-04 15:09:25]
405*2^706096-1 is not prime.  Res64: EF482F50A2167A33  Time : 460.0 sec.
user=vaughan
[2009-08-04 15:10:42]
413*2^706096-1 is not prime.  Res64: 875284BE8E62AEA9  Time : 457.0 sec.
user=vaughan
[2009-08-04 15:13:05]
411*2^706095-1 is not prime.  Res64: DD49A2D25735CC6A  Time : 723.0 sec.
user=vaughan
[2009-08-04 15:13:21]
415*2^706095-1 is not prime.  Res64: 1E4CC61A46AA19D5  Time : 704.0 sec.
user=vaughan
[2009-08-04 15:15:05]
449*2^706096-1 is not prime.  Res64: C0DE7FB78361E685  Time : 631.0 sec.
user=vaughan
[2009-08-04 15:17:06]
587*2^706096-1 is not prime.  Res64: 0A4694BFFC9557AF  Time : 461.0 sec.
user=vaughan
[2009-08-04 15:18:18]
597*2^706096-1 is not prime.  Res64: 79FC2270D177A3F6  Time : 457.0 sec.
user=vaughan
[2009-08-04 15:19:26]
509*2^706096-1 is not prime.  Res64: EB921BB438509EF6  Time : 696.0 sec.
user=vaughan
[2009-08-04 15:24:25]
483*2^706098-1 is not prime.  Res64: 4090F5BA7E6988EB  Time : 680.0 sec.
user=vaughan
[2009-08-04 15:24:37]
515*2^706098-1 is not prime.  Res64: 3C770FA9428DC06C  Time : 676.0 sec.
user=vaughan
[2009-08-04 15:24:46]
581*2^706098-1 is not prime.  Res64: 7037D1A1500DFB78  Time : 460.0 sec.
user=vaughan
[2009-08-04 15:25:50]
525*2^706098-1 is not prime.  Res64: 0DB895EA75BC035E  Time : 645.0 sec.
user=vaughan
[2009-08-04 15:25:54]
585*2^706098-1 is not prime.  Res64: 1B9FE82E55AFAB42  Time : 457.0 sec.
user=vaughan
[2009-08-04 15:30:40]
429*2^706099-1 is not prime.  Res64: 68D2100F0CB5D196  Time : 675.0 sec.
user=vaughan
[2009-08-04 15:32:27]
579*2^706100-1 is not prime.  Res64: 24B50A935741E13F  Time : 461.0 sec.
user=vaughan
[2009-08-04 15:33:30]
475*2^706101-1 is not prime.  Res64: A2EAAB4160165BD3  Time : 456.0 sec.
user=vaughan
[2009-08-04 15:35:10]
533*2^706100-1 is not prime.  Res64: 589A3377E6C14EED  Time : 645.0 sec.
user=vaughan
[2009-08-04 15:35:35]
557*2^706100-1 is not prime.  Res64: 901961ACD84A12A6  Time : 658.0 sec.
user=vaughan
[2009-08-04 15:36:14]
459*2^706101-1 is not prime.  Res64: 7FF4BF9C32E1FE25  Time : 624.0 sec.
user=vaughan
[2009-08-04 15:40:08]
549*2^706101-1 is not prime.  Res64: 6FF3811F3B65E259  Time : 461.0 sec.
user=vaughan
[2009-08-04 15:41:06]
405*2^706102-1 is not prime.  Res64: 27AC5604A45C7FA2  Time : 456.0 sec.
user=vaughan
[2009-08-04 15:41:32]
487*2^706101-1 is not prime.  Res64: 89E57746BFFF7040  Time : 653.0 sec.
user=vaughan
[2009-08-04 15:45:52]
413*2^706102-1 is not prime.  Res64: 4632E738E83EFBA9  Time : 642.0 sec.
user=vaughan
[2009-08-04 15:46:29]
423*2^706102-1 is not prime.  Res64: 7B8B1572E487607C  Time : 655.0 sec.
user=vaughan
[2009-08-04 15:46:35]
461*2^706102-1 is not prime.  Res64: 807DDF431973BB4F  Time : 621.0 sec.
user=vaughan
[2009-08-04 15:47:50]
551*2^706102-1 is not prime.  Res64: DF10FE3B69E4CBB6  Time : 462.0 sec.
user=vaughan
[2009-08-04 15:48:42]
411*2^706103-1 is not prime.  Res64: 9C704A62C6E952A0  Time : 456.0 sec.
user=vaughan
[2009-08-04 15:53:39]
433*2^706103-1 is not prime.  Res64: B186C9296B21D930  Time : 728.0 sec.
user=vaughan
[2009-08-04 15:55:31]
511*2^706103-1 is not prime.  Res64: 8B97478AB76BB486  Time : 461.0 sec.
user=vaughan
[2009-08-04 15:56:19]
559*2^706103-1 is not prime.  Res64: 9F46ADFC8DDDE473  Time : 457.0 sec.
user=vaughan
[2009-08-04 15:57:12]
445*2^706103-1 is not prime.  Res64: 776A2C6FA6CECE2E  Time : 680.0 sec.
user=vaughan
[2009-08-04 15:57:20]
463*2^706103-1 is not prime.  Res64: 26EA44B5431D930E  Time : 645.0 sec.
user=vaughan
[2009-08-04 15:57:50]
453*2^706103-1 is not prime.  Res64: 5EA396FA16D7FB13  Time : 682.0 sec.
user=vaughan
[2009-08-04 16:03:13]
585*2^706103-1 is not prime.  Res64: 4E3E3A6B541EE859  Time : 462.0 sec.
user=vaughan
[2009-08-04 16:03:56]
595*2^706103-1 is not prime.  Res64: F0EE8840CA9B1C83  Time : 457.0 sec.
user=vaughan
[2009-08-04 16:05:27]
571*2^706103-1 is not prime.  Res64: 02D4DEF28E44DE3C  Time : 709.0 sec.
user=vaughan
[2009-08-04 16:07:47]
489*2^706104-1 is not prime.  Res64: 0614B40EA5741A5F  Time : 627.0 sec.
user=vaughan
[2009-08-04 16:08:25]
413*2^706104-1 is not prime.  Res64: E4737E50C0262C61  Time : 674.0 sec.
user=vaughan
[2009-08-04 16:08:58]
457*2^706105-1 is not prime.  Res64: 1E7179AA12F9C8D8  Time : 668.0 sec.
user=vaughan
[2009-08-04 16:10:53]
535*2^706105-1 is not prime.  Res64: 55919B1D5DE85CEB  Time : 460.0 sec.
user=vaughan
[2009-08-04 16:11:33]
431*2^706106-1 is not prime.  Res64: 0D7571D05EBE61C9  Time : 457.0 sec.
user=vaughan
[2009-08-04 16:16:06]
507*2^706106-1 is not prime.  Res64: 48F870DCCE1AA465  Time : 639.0 sec.
user=vaughan
[2009-08-04 16:18:16]
585*2^706106-1 is not prime.  Res64: E45236592363DA9E  Time : 629.0 sec.
user=vaughan
[2009-08-04 16:18:33]
513*2^706107-1 is not prime.  Res64: 44771D34A21C98FF  Time : 460.0 sec.
user=vaughan
[2009-08-04 16:19:09]
523*2^706107-1 is not prime.  Res64: FAAA93336809D63C  Time : 456.0 sec.
user=vaughan
[2009-08-04 16:19:22]
451*2^706107-1 is not prime.  Res64: 9C686547064AC1ED  Time : 657.0 sec.
user=vaughan
[2009-08-04 16:20:01]
489*2^706107-1 is not prime.  Res64: 18804960010546F3  Time : 664.0 sec.
user=vaughan
[2009-08-04 16:26:13]
449*2^706108-1 is not prime.  Res64: B76C4E79B03D5064  Time : 460.0 sec.
user=vaughan
[2009-08-04 16:26:45]
549*2^706108-1 is not prime.  Res64: D8D981D9893B8390  Time : 456.0 sec.
user=vaughan
[2009-08-04 16:27:53]
531*2^706107-1 is not prime.  Res64: 2A1819E6E1258E1A  Time : 707.0 sec.
user=vaughan
[2009-08-04 16:28:52]
583*2^706107-1 is not prime.  Res64: 1F13ABA660999DAE  Time : 636.0 sec.
user=vaughan
[2009-08-04 16:30:26]
575*2^706108-1 is not prime.  Res64: 35B93DC902C8F60D  Time : 664.0 sec.
user=vaughan
[2009-08-04 16:31:12]
481*2^706109-1 is not prime.  Res64: 1082D9F191D57A10  Time : 672.0 sec.
user=vaughan
[2009-08-04 16:33:54]
423*2^706110-1 is not prime.  Res64: 3EB2FCC1DCB000C3  Time : 461.0 sec.
user=vaughan
[2009-08-04 16:34:21]
443*2^706110-1 is not prime.  Res64: 01222011E87887A5  Time : 456.0 sec.
user=vaughan
[2009-08-04 16:39:29]
537*2^706110-1 is not prime.  Res64: 91DD38C1DF6061CE  Time : 637.0 sec.
user=vaughan
[2009-08-04 16:40:10]
447*2^706110-1 is not prime.  Res64: 6F61237393281A66  Time : 737.0 sec.
user=vaughan
[2009-08-04 16:41:35]
405*2^706111-1 is not prime.  Res64: 0F5E30CBAADE9C8D  Time : 461.0 sec.
user=vaughan
[2009-08-04 16:41:57]
441*2^706111-1 is not prime.  Res64: 146B4C4A37CD5536  Time : 456.0 sec.
user=vaughan
[2009-08-04 16:42:08]
555*2^706110-1 is not prime.  Res64: 18A4E57EABD1014C  Time : 702.0 sec.
user=vaughan
[2009-08-04 16:42:36]
567*2^706110-1 is not prime.  Res64: 4CE6C3ACF50F0427  Time : 684.0 sec.
user=vaughan
[2009-08-04 16:49:15]
499*2^706111-1 is not prime.  Res64: 260AEF7B65D70D04  Time : 460.0 sec.
user=vaughan
[2009-08-04 16:49:33]
467*2^706112-1 is not prime.  Res64: F79A098825BCA51D  Time : 456.0 sec.
user=vaughan
[2009-08-04 16:49:52]
463*2^706111-1 is not prime.  Res64: 30AF82934E99FB9C  Time : 623.0 sec.
user=vaughan
[2009-08-04 16:51:14]
469*2^706111-1 is not prime.  Res64: 91BB670FD29E77F9  Time : 664.0 sec.
user=vaughan
[2009-08-04 16:52:49]
495*2^706112-1 is not prime.  Res64: D4F13AA74FB7F69D  Time : 642.0 sec.
user=vaughan
[2009-08-04 16:53:41]
539*2^706112-1 is not prime.  Res64: F6421D30AED0DF51  Time : 665.0 sec.
user=vaughan
[2009-08-04 16:56:55]
585*2^706112-1 is not prime.  Res64: B610E13D5D49F1CB  Time : 460.0 sec.
user=vaughan
[2009-08-04 16:57:10]
405*2^706113-1 is not prime.  Res64: 3D8745AD7DA38E63  Time : 457.0 sec.
user=vaughan
[2009-08-04 17:00:29]
491*2^706114-1 is not prime.  Res64: B5FB1CB13470E903  Time : 637.0 sec.
user=vaughan
[2009-08-04 17:04:05]
525*2^706114-1 is not prime.  Res64: CD5C844AB626530B  Time : 771.0 sec.
user=vaughan
[2009-08-04 17:04:36]
469*2^706115-1 is not prime.  Res64: C60EB600FC863DE3  Time : 461.0 sec.
user=vaughan
[2009-08-04 17:04:47]
595*2^706115-1 is not prime.  Res64: 3B7E5E4F6148F1D5  Time : 457.0 sec.
user=vaughan
[2009-08-04 17:04:56]
531*2^706114-1 is not prime.  Res64: 84FD20E2EAD2D0A0  Time : 727.0 sec.
user=vaughan
[2009-08-04 17:05:09]
409*2^706115-1 is not prime.  Res64: D98BB16A3B9EED54  Time : 688.0 sec.
user=vaughan
[2009-08-04 17:11:01]
405*2^706116-1 is not prime.  Res64: BB24C9C36200FE32  Time : 633.0 sec.
user=vaughan
[2009-08-04 17:12:17]
513*2^706116-1 is not prime.  Res64: 403BDAB69A00C918  Time : 461.0 sec.
user=vaughan
[2009-08-04 17:12:23]
593*2^706116-1 is not prime.  Res64: E418ACEB6E6DCE48  Time : 457.0 sec.
user=vaughan
[2009-08-04 17:16:17]
485*2^706116-1 is not prime.  Res64: 5F7BF430B386E44D  Time : 732.0 sec.
user=vaughan
[2009-08-04 17:16:33]
429*2^706117-1 is not prime.  Res64: 777207D94E029CFA  Time : 684.0 sec.
user=vaughan
[2009-08-04 17:16:41]
405*2^706117-1 is not prime.  Res64: 848F92E32D07D9A9  Time : 705.0 sec.
user=vaughan
[2009-08-04 17:19:59]
567*2^706117-1 is not prime.  Res64: B458B96739BAD840  Time : 457.0 sec.
user=vaughan
[2009-08-04 17:19:59]
451*2^706117-1 is not prime.  Res64: F28ECA1E2727B0DB  Time : 462.0 sec.
user=vaughan
[2009-08-04 17:21:36]
447*2^706117-1 is not prime.  Res64: 1289306B22C75400  Time : 636.0 sec.
user=vaughan
[2009-08-04 17:27:35]
557*2^706118-1 is not prime.  Res64: C63A87B11F2D5E8D  Time : 457.0 sec.
user=vaughan
[2009-08-04 17:27:39]
549*2^706119-1 is not prime.  Res64: 303409B06F07488A  Time : 460.0 sec.
user=vaughan
[2009-08-04 17:28:19]
417*2^706118-1 is not prime.  Res64: 19D13995D49463B1  Time : 706.0 sec.
user=vaughan
[2009-08-04 17:29:14]
545*2^706118-1 is not prime.  Res64: 1C4224330E0EA88F  Time : 754.0 sec.
user=vaughan
[2009-08-04 17:29:47]
589*2^706117-1 is not prime.  Res64: BE97C53F30D953CE  Time : 810.0 sec.
user=vaughan
[2009-08-04 17:32:46]
595*2^706119-1 is not prime.  Res64: 13E4E32E9C086743  Time : 670.0 sec.
user=vaughan
[2009-08-04 17:35:11]
407*2^706120-1 is not prime.  Res64: 57251B1AFCF4D5F0  Time : 457.0 sec.
user=vaughan
[2009-08-04 17:35:20]
549*2^706120-1 is not prime.  Res64: B62CB05313462F80  Time : 461.0 sec.
user=vaughan
[2009-08-04 17:40:02]
507*2^706121-1 is not prime.  Res64: ED1E06AF7C8112F9  Time : 703.0 sec.
user=vaughan
[2009-08-04 17:41:38]
525*2^706121-1 is not prime.  Res64: E319D3E368433509  Time : 744.0 sec.
user=vaughan
[2009-08-04 17:42:47]
437*2^706122-1 is not prime.  Res64: C3D9BD802D2C1A5F  Time : 457.0 sec.
user=vaughan
[2009-08-04 17:43:01]
503*2^706122-1 is not prime.  Res64: E7E1FE5278B9C5FC  Time : 461.0 sec.
user=vaughan
[2009-08-04 17:43:26]
537*2^706121-1 is not prime.  Res64: 9705800D4EBB338A  Time : 819.0 sec.
user=vaughan
[2009-08-04 17:43:34]
401*2^706122-1 is not prime.  Res64: 7824382462CBDCC7  Time : 648.0 sec.
user=vaughan
[2009-08-04 17:50:23]
429*2^706123-1 is not prime.  Res64: 68AFFEAEBE2B648F  Time : 457.0 sec.
user=vaughan
[2009-08-04 17:50:41]
451*2^706123-1 is not prime.  Res64: 4B8134F3C0F2BF99  Time : 460.0 sec.
user=vaughan
[2009-08-04 17:51:48]
525*2^706122-1 is not prime.  Res64: 586A5370F5F6A493  Time : 707.0 sec.
user=vaughan
[2009-08-04 17:53:58]
581*2^706122-1 is not prime.  Res64: BC592161258A609E  Time : 740.0 sec.
user=vaughan
[2009-08-04 17:55:00]
505*2^706123-1 is not prime.  Res64: 70F3E5D95AE40FF0  Time : 686.0 sec.
user=vaughan
[2009-08-04 17:57:43]
453*2^706123-1 is not prime.  Res64: ABB469FED1645F0A  Time : 857.0 sec.
user=vaughan
[2009-08-04 17:57:59]
519*2^706123-1 is not prime.  Res64: 49A8522C5C15610A  Time : 457.0 sec.
user=vaughan
[2009-08-04 17:58:22]
417*2^706124-1 is not prime.  Res64: 11ADEDFDBFCFA81D  Time : 461.0 sec.
user=vaughan
[2009-08-04 18:03:29]
539*2^706124-1 is not prime.  Res64: B859DEE154B57232  Time : 702.0 sec.
user=vaughan
[2009-08-04 18:05:35]
495*2^706126-1 is not prime.  Res64: 11D194EFBC6E21F5  Time : 457.0 sec.
user=vaughan
[2009-08-04 18:06:02]
513*2^706126-1 is not prime.  Res64: 231B67BCE539D5CA  Time : 460.0 sec.
user=vaughan
[2009-08-04 18:06:06]
457*2^706125-1 is not prime.  Res64: B3B4F49D5CC79374  Time : 728.0 sec.
user=vaughan
[2009-08-04 18:06:20]
511*2^706125-1 is not prime.  Res64: 2DA5BF68D9ED7DF5  Time : 680.0 sec.
user=vaughan
[2009-08-04 18:11:36]
465*2^706126-1 is not prime.  Res64: 5A4DA16043307B4D  Time : 833.0 sec.
user=vaughan
[2009-08-04 18:13:11]
511*2^706127-1 is not prime.  Res64: 952D3811B91E2403  Time : 457.0 sec.
user=vaughan
[2009-08-04 18:13:43]
419*2^706128-1 is not prime.  Res64: C15E26D438EFA79B  Time : 461.0 sec.
user=vaughan
[2009-08-04 18:15:22]
423*2^706127-1 is not prime.  Res64: DB264DF2D3BC303B  Time : 713.0 sec.
user=vaughan
[2009-08-04 18:17:33]
555*2^706128-1 is not prime.  Res64: C2F31D6DF0864BC8  Time : 673.0 sec.
user=vaughan
[2009-08-04 18:18:36]
539*2^706128-1 is not prime.  Res64: 8902AE048B3A42F1  Time : 751.0 sec.
user=vaughan
[2009-08-04 18:20:47]
499*2^706129-1 is not prime.  Res64: 0EDB0C29750ECAE1  Time : 457.0 sec.
user=vaughan
[2009-08-04 18:21:26]
505*2^706129-1 is not prime.  Res64: F8F7F42E05CBBA6D  Time : 463.0 sec.
user=vaughan
[2009-08-04 18:26:03]
441*2^706129-1 is not prime.  Res64: 36961EBBC1A58AB7  Time : 867.0 sec.
user=vaughan
[2009-08-04 18:27:24]
535*2^706129-1 is not prime.  Res64: 13AEA07EE722D05F  Time : 722.0 sec.
user=vaughan
[2009-08-04 18:28:23]
521*2^706130-1 is not prime.  Res64: E70A3DC400CE7F62  Time : 457.0 sec.
user=vaughan
[2009-08-04 18:28:54]
447*2^706130-1 is not prime.  Res64: CD4E5BE5711C1635  Time : 681.0 sec.
user=vaughan
[2009-08-04 18:29:07]
525*2^706130-1 is not prime.  Res64: ADC84321FEF76B51  Time : 462.0 sec.
user=vaughan
[2009-08-04 18:31:45]
503*2^706130-1 is not prime.  Res64: 4FB757FD544ABAB4  Time : 789.0 sec.
user=vaughan
[2009-08-04 18:35:58]
411*2^706131-1 is not prime.  Res64: DE4E7F744C252AF1  Time : 456.0 sec.
user=vaughan
[2009-08-04 18:36:48]
465*2^706131-1 is not prime.  Res64: D0B998B9E110D9E1  Time : 461.0 sec.
user=vaughan
[2009-08-04 18:39:19]
581*2^706130-1 is not prime.  Res64: 1F6CBE96C316BCDD  Time : 715.0 sec.
user=vaughan
[2009-08-04 18:40:09]
459*2^706131-1 is not prime.  Res64: B3F2C819101EFB9A  Time : 676.0 sec.
user=vaughan
[2009-08-04 18:40:41]
533*2^706130-1 is not prime.  Res64: AFB995C49B3BDAC0  Time : 878.0 sec.
user=vaughan
[2009-08-04 18:43:34]
447*2^706132-1 is not prime.  Res64: B245F660AFCFF3AD  Time : 456.0 sec.
user=vaughan
[2009-08-04 18:44:07]
513*2^706131-1 is not prime.  Res64: C430C175DE6DF3F3  Time : 742.0 sec.
user=vaughan
[2009-08-04 18:44:29]
569*2^706132-1 is not prime.  Res64: 5C16D31A9077898B  Time : 461.0 sec.
user=vaughan
[2009-08-04 18:51:00]
487*2^706133-1 is not prime.  Res64: D271DD661523C74A  Time : 702.0 sec.
user=vaughan
[2009-08-04 18:51:08]
519*2^706133-1 is not prime.  Res64: 77F8B00455E00836  Time : 659.0 sec.
user=vaughan
[2009-08-04 18:51:10]
549*2^706133-1 is not prime.  Res64: 4EDD886C4E54AE33  Time : 456.0 sec.
user=vaughan
[2009-08-04 18:52:12]
453*2^706134-1 is not prime.  Res64: CE1AC90D285013E2  Time : 463.0 sec.
user=vaughan
[2009-08-04 18:53:37]
525*2^706133-1 is not prime.  Res64: FAB01172C5D92CF7  Time : 776.0 sec.
user=vaughan
[2009-08-04 18:55:57]
571*2^706133-1 is not prime.  Res64: 9DEC3960674F4AA6  Time : 710.0 sec.
user=vaughan
[2009-08-04 18:58:46]
585*2^706134-1 is not prime.  Res64: 8537928B7C4C5DE8  Time : 456.0 sec.
user=vaughan
[2009-08-04 18:59:55]
593*2^706134-1 is not prime.  Res64: 43BE3D6BD921EA88  Time : 463.0 sec.
user=vaughan
[2009-08-04 19:01:56]
557*2^706134-1 is not prime.  Res64: ED90BC81DD13ECA6  Time : 649.0 sec.
user=vaughan
[2009-08-04 19:02:19]
485*2^706134-1 is not prime.  Res64: E09F6534DF49CC20  Time : 679.0 sec.
user=vaughan
[2009-08-04 19:06:22]
473*2^706136-1 is not prime.  Res64: 435F8B3113EAFD51  Time : 456.0 sec.
user=vaughan
[2009-08-04 19:06:34]
525*2^706135-1 is not prime.  Res64: F520F0A41AB60F5A  Time : 777.0 sec.
user=vaughan
[2009-08-04 19:07:36]
525*2^706136-1 is not prime.  Res64: 3ACD1264C1475BAE  Time : 461.0 sec.
user=vaughan
[2009-08-04 19:07:59]
535*2^706135-1 is not prime.  Res64: 0967E834EBD6D2E4  Time : 723.0 sec.
user=vaughan
[2009-08-04 19:13:00]
587*2^706136-1 is not prime.  Res64: C61C9130FC95DE37  Time : 665.0 sec.
user=vaughan
[2009-08-04 19:13:59]
565*2^706137-1 is not prime.  Res64: D4186F4FCD876E51  Time : 457.0 sec.
user=vaughan
[2009-08-04 19:14:21]
529*2^706137-1 is not prime.  Res64: 5FB1E1C25D917F39  Time : 722.0 sec.
user=vaughan
[2009-08-04 19:15:17]
401*2^706138-1 is not prime.  Res64: 8C67FB054A8F4EC8  Time : 461.0 sec.
user=vaughan
[2009-08-04 19:21:18]
435*2^706138-1 is not prime.  Res64: F35A38164BFC207D  Time : 799.0 sec.
user=vaughan
[2009-08-04 19:21:18]
585*2^706137-1 is not prime.  Res64: 8DA6783B0322735C  Time : 884.0 sec.
user=vaughan
[2009-08-04 19:21:35]
503*2^706138-1 is not prime.  Res64: 13BA913F222B4CCF  Time : 457.0 sec.
user=vaughan
[2009-08-04 19:22:58]
445*2^706139-1 is not prime.  Res64: 2DC8F4EF00ABD652  Time : 461.0 sec.
user=vaughan
[2009-08-04 19:23:59]
443*2^706138-1 is not prime.  Res64: 090AEE2784891EF1  Time : 659.0 sec.
user=vaughan
[2009-08-04 19:26:16]
403*2^706139-1 is not prime.  Res64: A9516F89E4C55F59  Time : 716.0 sec.
user=vaughan
[2009-08-04 19:29:10]
425*2^706140-1 is not prime.  Res64: 1E7E51A74FF2CB80  Time : 455.0 sec.
user=vaughan
[2009-08-04 19:30:39]
405*2^706141-1 is not prime.  Res64: 663A97841FF809CA  Time : 461.0 sec.
user=vaughan
[2009-08-04 19:32:59]
505*2^706139-1 is not prime.  Res64: B245B203279AB912  Time : 702.0 sec.
user=vaughan
[2009-08-04 19:33:34]
579*2^706139-1 is not prime.  Res64: 4BE65656F64ACD56  Time : 736.0 sec.
user=vaughan
[2009-08-04 19:34:29]
429*2^706141-1 is not prime.  Res64: 1E25A6148F543FDA  Time : 630.0 sec.
user=vaughan
[2009-08-04 19:36:46]
511*2^706141-1 is not prime.  Res64: FB8FD90B5C498930  Time : 456.0 sec.
user=vaughan
[2009-08-04 19:37:30]
471*2^706141-1 is not prime.  Res64: 67620607DA6FE5D8  Time : 675.0 sec.
user=vaughan
[2009-08-04 19:38:20]
517*2^706141-1 is not prime.  Res64: 3E96A1FAC6C7F905  Time : 461.0 sec.
user=vaughan
[2009-08-04 19:44:22]
489*2^706143-1 is not prime.  Res64: 11510F067630158B  Time : 456.0 sec.
user=vaughan
[2009-08-04 19:44:53]
531*2^706141-1 is not prime.  Res64: A8496FFAB4D54D19  Time : 714.0 sec.
user=vaughan
[2009-08-04 19:45:02]
455*2^706142-1 is not prime.  Res64: C005BEE9B3D84FB7  Time : 633.0 sec.
user=vaughan
[2009-08-04 19:46:00]
465*2^706144-1 is not prime.  Res64: 34477EAD6773FF35  Time : 460.0 sec.
user=vaughan
[2009-08-04 19:46:04]
559*2^706141-1 is not prime.  Res64: 7EA4D5752DA01B38  Time : 750.0 sec.
user=vaughan
[2009-08-04 19:49:33]
591*2^706143-1 is not prime.  Res64: 783692853DFF6A8E  Time : 724.0 sec.
user=vaughan
[2009-08-04 19:51:59]
513*2^706144-1 is not prime.  Res64: A5118413379F41A1  Time : 457.0 sec.
user=vaughan
[2009-08-04 19:53:41]
567*2^706144-1 is not prime.  Res64: 0D2C7DFA73187116  Time : 461.0 sec.
user=vaughan
[2009-08-04 19:55:22]
549*2^706144-1 is not prime.  Res64: EE11E6D5AEB5CF60  Time : 620.0 sec.
user=vaughan
[2009-08-04 19:55:33]
533*2^706144-1 is not prime.  Res64: 343A9F28CE391372  Time : 640.0 sec.
user=vaughan
[2009-08-04 19:56:57]
569*2^706144-1 is not prime.  Res64: F2F3CB79B1996608  Time : 653.0 sec.
user=vaughan
[2009-08-04 19:59:35]
489*2^706145-1 is not prime.  Res64: BCD017D85AA0558C  Time : 457.0 sec.
user=vaughan
[2009-08-04 20:00:46]
465*2^706145-1 is not prime.  Res64: 799BF43FF5AB4428  Time : 673.0 sec.
user=vaughan
[2009-08-04 20:01:22]
529*2^706145-1 is not prime.  Res64: 4922AD09827D834D  Time : 461.0 sec.
user=vaughan
[2009-08-04 20:06:14]
437*2^706146-1 is not prime.  Res64: 14690CB3B6D22596  Time : 652.0 sec.
user=vaughan
[2009-08-04 20:07:10]
443*2^706146-1 is not prime.  Res64: E87E96688B3F3570  Time : 697.0 sec.
user=vaughan
[2009-08-04 20:07:11]
473*2^706146-1 is not prime.  Res64: 8DA334039419CD12  Time : 457.0 sec.
user=vaughan
[2009-08-04 20:09:07]
585*2^706146-1 is not prime.  Res64: B9BB19D907D6858E  Time : 465.0 sec.
user=vaughan
[2009-08-04 20:10:17]
453*2^706146-1 is not prime.  Res64: 72E9FC22CBAA5B88  Time : 800.0 sec.
user=vaughan
[2009-08-04 20:12:18]
483*2^706146-1 is not prime.  Res64: FC3D0029F26DBCC4  Time : 692.0 sec.
user=vaughan
[2009-08-04 20:14:47]
423*2^706148-1 is not prime.  Res64: F043728FD8541860  Time : 457.0 sec.
user=vaughan
[2009-08-04 20:16:48]
453*2^706148-1 is not prime.  Res64: 49AC6BBFD329D492  Time : 462.0 sec.
user=vaughan
[2009-08-04 20:17:02]
549*2^706147-1 is not prime.  Res64: 99E42229F4DA4E00  Time : 648.0 sec.
user=vaughan
[2009-08-04 20:18:34]
583*2^706147-1 is not prime.  Res64: 4ABF722F3BC29304  Time : 684.0 sec.
user=vaughan
[2009-08-04 20:21:32]
563*2^706148-1 is not prime.  Res64: DCA493754B637A30  Time : 675.0 sec.
user=vaughan
[2009-08-04 20:22:24]
507*2^706149-1 is not prime.  Res64: 7C364B9E7C64850D  Time : 458.0 sec.
user=vaughan
[2009-08-04 20:23:28]
465*2^706149-1 is not prime.  Res64: EBB5AA47A886F9D7  Time : 670.0 sec.
user=vaughan
[2009-08-04 20:24:29]
597*2^706149-1 is not prime.  Res64: F089C37F05311ADE  Time : 462.0 sec.
user=vaughan
[2009-08-04 20:27:38]
437*2^706150-1 is not prime.  Res64: F32104597279EB19  Time : 636.0 sec.
user=vaughan
[2009-08-04 20:30:00]
575*2^706150-1 is not prime.  Res64: FE7D0A37B8F18F5A  Time : 457.0 sec.
user=vaughan
[2009-08-04 20:31:30]
483*2^706150-1 is not prime.  Res64: 54A7E39C759DCA75  Time : 776.0 sec.
user=vaughan
[2009-08-04 20:32:09]
505*2^706151-1 is not prime.  Res64: 2E7873BBED3DBC6B  Time : 461.0 sec.
user=vaughan
[2009-08-04 20:35:19]
421*2^706151-1 is not prime.  Res64: 1BCFC9E3D7774E5F  Time : 711.0 sec.
user=vaughan
[2009-08-04 20:35:26]
495*2^706150-1 is not prime.  Res64: 4906F1257061344E  Time : 834.0 sec.
user=vaughan
[2009-08-04 20:37:36]
455*2^706152-1 is not prime.  Res64: D4AAE21EC0921A8C  Time : 457.0 sec.
user=vaughan
[2009-08-04 20:38:23]
591*2^706151-1 is not prime.  Res64: 9134C0D4FD84ED82  Time : 646.0 sec.
user=vaughan
[2009-08-04 20:39:50]
567*2^706152-1 is not prime.  Res64: 29A43BB0EB25E08F  Time : 461.0 sec.
user=vaughan
[2009-08-04 20:43:20]
479*2^706152-1 is not prime.  Res64: 860C5A2EAB478085  Time : 711.0 sec.
user=vaughan
[2009-08-04 20:45:12]
477*2^706153-1 is not prime.  Res64: A2CFCB2FFA23DFC5  Time : 457.0 sec.
user=vaughan
[2009-08-04 20:47:05]
569*2^706152-1 is not prime.  Res64: C3144E15F79AD13F  Time : 706.0 sec.
user=vaughan
[2009-08-04 20:47:30]
541*2^706153-1 is not prime.  Res64: 0E9C53D83BA856AD  Time : 460.0 sec.
user=vaughan
[2009-08-04 20:48:57]
481*2^706153-1 is not prime.  Res64: BBC9A2CC80690F75  Time : 634.0 sec.
user=vaughan
[2009-08-04 20:49:15]
411*2^706153-1 is not prime.  Res64: 1F4180CDF379482F  Time : 829.0 sec.
user=vaughan
[2009-08-04 20:52:48]
565*2^706153-1 is not prime.  Res64: AF79739D04685D99  Time : 457.0 sec.
user=vaughan
[2009-08-04 20:55:11]
595*2^706153-1 is not prime.  Res64: 4E699F85307A09AD  Time : 461.0 sec.
user=vaughan
[2009-08-04 20:56:03]
555*2^706153-1 is not prime.  Res64: 2ACD036C16C45719  Time : 763.0 sec.
user=vaughan
[2009-08-04 20:58:51]
591*2^706153-1 is not prime.  Res64: E867DD3B515B6601  Time : 706.0 sec.
user=vaughan
[2009-08-04 20:59:45]
407*2^706154-1 is not prime.  Res64: AECB848829B2B860  Time : 648.0 sec.
user=vaughan
[2009-08-04 21:00:24]
425*2^706154-1 is not prime.  Res64: E1CC181637DBE082  Time : 457.0 sec.
user=vaughan
[2009-08-04 21:02:52]
507*2^706154-1 is not prime.  Res64: 40D9EC901322AEE5  Time : 461.0 sec.
user=vaughan
[2009-08-04 21:03:01]
417*2^706154-1 is not prime.  Res64: 7C23AEBBD3FC59FB  Time : 827.0 sec.
user=vaughan
[2009-08-04 21:08:00]
541*2^706155-1 is not prime.  Res64: ABA644411E3438D1  Time : 457.0 sec.
user=vaughan
[2009-08-04 21:08:06]
575*2^706154-1 is not prime.  Res64: 8FB2E154ADAD5329  Time : 723.0 sec.
user=vaughan
[2009-08-04 21:10:29]
415*2^706155-1 is not prime.  Res64: A63E503E41B402A8  Time : 699.0 sec.
user=vaughan
[2009-08-04 21:10:32]
579*2^706155-1 is not prime.  Res64: 21EA20C7095A7051  Time : 460.0 sec.
user=vaughan
[2009-08-04 21:11:04]
453*2^706155-1 is not prime.  Res64: 7CAD1571C9DC11C3  Time : 679.0 sec.
user=vaughan
[2009-08-04 21:15:36]
453*2^706156-1 is not prime.  Res64: C0FD2FDFA998DDA0  Time : 457.0 sec.
user=vaughan
[2009-08-04 21:16:03]
449*2^706156-1 is not prime.  Res64: 03B347D7014F8BA3  Time : 783.0 sec.
user=vaughan
[2009-08-04 21:18:13]
573*2^706156-1 is not prime.  Res64: 2B2151D396DBAF61  Time : 461.0 sec.
user=vaughan
[2009-08-04 21:19:52]
519*2^706156-1 is not prime.  Res64: FB7C795C79CB8440  Time : 706.0 sec.
user=vaughan
[2009-08-04 21:21:53]
597*2^706156-1 is not prime.  Res64: 7F34CF6FF7AE789F  Time : 649.0 sec.
user=vaughan
[2009-08-04 21:21:55]
563*2^706156-1 is not prime.  Res64: 88852E97F2E1831B  Time : 687.0 sec.
user=vaughan
[2009-08-04 21:23:11]
421*2^706157-1 is not prime.  Res64: B0FE305C257DFB69  Time : 456.0 sec.
user=vaughan
[2009-08-04 21:25:54]
487*2^706157-1 is not prime.  Res64: 3A862E40CF12A6DF  Time : 462.0 sec.
user=vaughan
[2009-08-04 21:28:16]
435*2^706157-1 is not prime.  Res64: D44363E21C28D15E  Time : 733.0 sec.
user=vaughan
[2009-08-04 21:30:46]
453*2^706158-1 is not prime.  Res64: 162FFEC30AA683BF  Time : 455.0 sec.
user=vaughan
[2009-08-04 21:31:49]
507*2^706157-1 is not prime.  Res64: 2CFFFC7808996925  Time : 718.0 sec.
user=vaughan
[2009-08-04 21:33:02]
565*2^706157-1 is not prime.  Res64: E4C1813209C21D99  Time : 670.0 sec.
user=vaughan
[2009-08-04 21:33:37]
471*2^706158-1 is not prime.  Res64: E2B884A04747E7A0  Time : 464.0 sec.
user=vaughan
[2009-08-04 21:33:37]
405*2^706158-1 is not prime.  Res64: DC34F6E5A6D7F2A3  Time : 703.0 sec.
user=vaughan
[2009-08-04 21:38:19]
433*2^706159-1 is not prime.  Res64: 8F833AFDC44708EE  Time : 453.0 sec.
user=vaughan
[2009-08-04 21:41:20]
417*2^706160-1 is not prime.  Res64: 44A745CE734F51EA  Time : 464.0 sec.
user=vaughan
[2009-08-04 21:43:12]
485*2^706158-1 is not prime.  Res64: FE7FEF80B76AE6C0  Time : 896.0 sec.
user=vaughan
[2009-08-04 21:44:23]
549*2^706159-1 is not prime.  Res64: CE880B01B1AB4165  Time : 682.0 sec.
user=vaughan
[2009-08-04 21:44:46]
451*2^706159-1 is not prime.  Res64: 8F8F0F35D3244FAC  Time : 777.0 sec.
user=vaughan
[2009-08-04 21:45:46]
437*2^706160-1 is not prime.  Res64: 6E39B8E6143DEE05  Time : 729.0 sec.
user=vaughan
[2009-08-04 21:45:53]
467*2^706160-1 is not prime.  Res64: 3B0105C57D81C3F3  Time : 454.0 sec.
user=vaughan
[2009-08-04 21:49:03]
479*2^706160-1 is not prime.  Res64: 8C69D481B88CD75A  Time : 463.0 sec.
user=vaughan
[2009-08-04 21:53:26]
439*2^706161-1 is not prime.  Res64: 5560553A6904A54F  Time : 453.0 sec.
user=vaughan
[2009-08-04 21:55:15]
585*2^706160-1 is not prime.  Res64: 89509757F8EFCCB2  Time : 652.0 sec.
user=vaughan
[2009-08-04 21:56:47]
471*2^706161-1 is not prime.  Res64: DD03463B1C80B9C0  Time : 464.0 sec.
user=vaughan
[2009-08-04 21:57:30]
587*2^706160-1 is not prime.  Res64: 9F939627F7406247  Time : 764.0 sec.
user=vaughan
[2009-08-04 21:57:38]
427*2^706161-1 is not prime.  Res64: 58479D451E626302  Time : 712.0 sec.
user=vaughan
[2009-08-04 21:57:39]
543*2^706160-1 is not prime.  Res64: C8EB62097C707528  Time : 867.0 sec.
user=vaughan
[2009-08-04 22:00:59]
499*2^706161-1 is not prime.  Res64: 92DE2FD4E5B30D8F  Time : 453.0 sec.
user=vaughan
[2009-08-04 22:04:30]
531*2^706161-1 is not prime.  Res64: F228642650DC5982  Time : 463.0 sec.
user=vaughan
[2009-08-04 22:06:18]
529*2^706161-1 is not prime.  Res64: EC49E57E5EF8E6D4  Time : 663.0 sec.
user=vaughan
[2009-08-04 22:08:33]
411*2^706163-1 is not prime.  Res64: 2A5D0700225F3FFE  Time : 454.0 sec.
user=vaughan
[2009-08-04 22:08:55]
491*2^706162-1 is not prime.  Res64: 68B041C0225CC4AE  Time : 685.0 sec.
user=vaughan
[2009-08-04 22:08:57]
513*2^706162-1 is not prime.  Res64: F27B2DCA0994DB4F  Time : 679.0 sec.
user=vaughan
[2009-08-04 22:09:42]
525*2^706162-1 is not prime.  Res64: 367D49CAED470D61  Time : 723.0 sec.
user=vaughan
[2009-08-04 22:12:13]
465*2^706163-1 is not prime.  Res64: 34E420B5A951A210  Time : 463.0 sec.
user=vaughan
[2009-08-04 22:16:08]
423*2^706164-1 is not prime.  Res64: 36A5D904FEBC58C9  Time : 455.0 sec.
user=vaughan
[2009-08-04 22:16:31]
589*2^706163-1 is not prime.  Res64: DB1F469BF4B8D80D  Time : 614.0 sec.
user=vaughan
[2009-08-04 22:19:32]
569*2^706164-1 is not prime.  Res64: 742264EC56BC623D  Time : 638.0 sec.
user=vaughan
[2009-08-04 22:19:51]
597*2^706164-1 is not prime.  Res64: B642A7694E2B82F2  Time : 654.0 sec.
user=vaughan
[2009-08-04 22:19:54]
577*2^706165-1 is not prime.  Res64: DF69BF5A47AB78FC  Time : 461.0 sec.
user=vaughan
[2009-08-04 22:20:43]
447*2^706165-1 is not prime.  Res64: F11CC381B4842A98  Time : 661.0 sec.
user=vaughan
[2009-08-04 22:23:44]
595*2^706165-1 is not prime.  Res64: 3384C23E8617576D  Time : 456.0 sec.
user=vaughan
[2009-08-04 22:27:14]
407*2^706166-1 is not prime.  Res64: AD8AABC45CC4CD14  Time : 644.0 sec.
user=vaughan
[2009-08-04 22:27:35]
515*2^706166-1 is not prime.  Res64: AE511E7419D01EA0  Time : 461.0 sec.
user=vaughan
[2009-08-04 22:30:57]
425*2^706166-1 is not prime.  Res64: 92ECEAA2A36567F8  Time : 686.0 sec.
user=vaughan
[2009-08-04 22:31:10]
455*2^706166-1 is not prime.  Res64: F3A3950E6F41D05F  Time : 679.0 sec.
user=vaughan
[2009-08-04 22:31:20]
453*2^706167-1 is not prime.  Res64: EE86AB1CE42DD2C1  Time : 456.0 sec.
user=vaughan
[2009-08-04 22:32:41]
581*2^706166-1 is not prime.  Res64: AA7A3A210AD20633  Time : 718.0 sec.
user=vaughan
[2009-08-04 22:35:15]
559*2^706167-1 is not prime.  Res64: AEA01782781C4DE3  Time : 460.0 sec.
user=vaughan
[2009-08-04 22:37:43]
471*2^706167-1 is not prime.  Res64: AA708E6682391E1E  Time : 630.0 sec.
user=vaughan
[2009-08-04 22:38:56]
419*2^706168-1 is not prime.  Res64: E7C94AA567893594  Time : 456.0 sec.
user=vaughan
[2009-08-04 22:41:33]
583*2^706167-1 is not prime.  Res64: 6D01264959698CCF  Time : 637.0 sec.
user=vaughan
[2009-08-04 22:42:03]
595*2^706167-1 is not prime.  Res64: 0EF0CB549184DEF5  Time : 654.0 sec.
user=vaughan
[2009-08-04 22:42:56]
507*2^706168-1 is not prime.  Res64: CD54E7D5AE52CB25  Time : 461.0 sec.
user=vaughan
[2009-08-04 22:43:26]
479*2^706168-1 is not prime.  Res64: 539BDD52E683712E  Time : 645.0 sec.
user=vaughan
[2009-08-04 22:46:32]
533*2^706168-1 is not prime.  Res64: 6525D19EAE80164B  Time : 456.0 sec.
user=vaughan
[2009-08-04 22:48:15]
525*2^706168-1 is not prime.  Res64: E98E8FBD798A54D6  Time : 633.0 sec.
user=vaughan
[2009-08-04 22:50:37]
443*2^706170-1 is not prime.  Res64: 1249EE083A34C6B8  Time : 461.0 sec.
user=vaughan
[2009-08-04 22:52:27]
549*2^706168-1 is not prime.  Res64: 524F93EEA9E9A8CF  Time : 655.0 sec.
user=vaughan
[2009-08-04 22:53:04]
469*2^706169-1 is not prime.  Res64: 28C24F5465E96028  Time : 662.0 sec.
user=vaughan
[2009-08-04 22:54:08]
515*2^706170-1 is not prime.  Res64: 1DDB175E8E434E0A  Time : 457.0 sec.
user=vaughan
[2009-08-04 22:54:33]
461*2^706170-1 is not prime.  Res64: D4CF01CA93B08477  Time : 667.0 sec.
user=vaughan
[2009-08-04 22:58:19]
433*2^706171-1 is not prime.  Res64: BED19F164D5F0CBB  Time : 462.0 sec.
user=vaughan
[2009-08-04 22:58:36]
581*2^706170-1 is not prime.  Res64: B5C63BD8760268B9  Time : 622.0 sec.
user=vaughan
[2009-08-04 23:01:43]
515*2^706172-1 is not prime.  Res64: D7F5ACB4CDFEFCA4  Time : 463.0 sec.
user=vaughan
[2009-08-04 23:03:15]
495*2^706171-1 is not prime.  Res64: 816ABE7F7695CBA1  Time : 648.0 sec.
user=vaughan
[2009-08-04 23:04:04]
561*2^706171-1 is not prime.  Res64: DB46A592037D8334  Time : 660.0 sec.
user=vaughan
[2009-08-04 23:05:37]
599*2^706172-1 is not prime.  Res64: B8798C8A2EED9973  Time : 664.0 sec.
user=vaughan
[2009-08-04 23:06:06]
429*2^706173-1 is not prime.  Res64: 4F2D32199C8C12C2  Time : 467.0 sec.
user=vaughan
[2009-08-04 23:08:55]
457*2^706173-1 is not prime.  Res64: 73D11039DBAB85F3  Time : 619.0 sec.
user=vaughan
[2009-08-04 23:09:27]
511*2^706173-1 is not prime.  Res64: F5588562B0EE0048  Time : 464.0 sec.
user=vaughan
[2009-08-04 23:13:48]
525*2^706175-1 is not prime.  Res64: 2CF19E5EC8FE0AEE  Time : 463.0 sec.
user=vaughan
[2009-08-04 23:13:50]
483*2^706174-1 is not prime.  Res64: 6D6563ECD5CD92FB  Time : 635.0 sec.
user=vaughan
[2009-08-04 23:14:56]
491*2^706174-1 is not prime.  Res64: 410DC202E34493AB  Time : 652.0 sec.
user=vaughan
[2009-08-04 23:16:38]
551*2^706174-1 is not prime.  Res64: A845028AE1F6B7B9  Time : 661.0 sec.
user=vaughan
[2009-08-04 23:17:03]
567*2^706176-1 is not prime.  Res64: C02A7FC1ED6CA2B6  Time : 456.0 sec.
user=vaughan
[2009-08-04 23:19:32]
531*2^706175-1 is not prime.  Res64: AFE783F773ADFEB2  Time : 637.0 sec.
user=vaughan
[2009-08-04 23:21:30]
421*2^706177-1 is not prime.  Res64: C3C75C95A042F76A  Time : 463.0 sec.
user=vaughan
[2009-08-04 23:24:39]
499*2^706177-1 is not prime.  Res64: 40C08ACAB2E58AB8  Time : 456.0 sec.
user=vaughan
[2009-08-04 23:25:55]
427*2^706177-1 is not prime.  Res64: DBD0E0A1E7E43943  Time : 726.0 sec.
user=vaughan
[2009-08-04 23:26:42]
429*2^706177-1 is not prime.  Res64: CF7421A93973E88E  Time : 706.0 sec.
user=vaughan
[2009-08-04 23:29:10]
483*2^706178-1 is not prime.  Res64: 3BAC0C69C66B4F4F  Time : 460.0 sec.
user=vaughan
[2009-08-04 23:29:32]
469*2^706177-1 is not prime.  Res64: 092E0EBC16E6573C  Time : 774.0 sec.
user=vaughan
[2009-08-04 23:30:16]
405*2^706178-1 is not prime.  Res64: 9C588D1E73778A9C  Time : 644.0 sec.
user=vaughan
[2009-08-04 23:32:15]
525*2^706178-1 is not prime.  Res64: CB032D334995CB0A  Time : 456.0 sec.
user=vaughan
[2009-08-04 23:36:52]
449*2^706180-1 is not prime.  Res64: EF39701F63FA30A7  Time : 462.0 sec.
user=vaughan
[2009-08-04 23:37:12]
441*2^706179-1 is not prime.  Res64: B477D6CD09758F25  Time : 677.0 sec.
user=vaughan
[2009-08-04 23:37:57]
437*2^706180-1 is not prime.  Res64: 8E89942093BB86E7  Time : 675.0 sec.
user=vaughan
[2009-08-04 23:39:51]
569*2^706180-1 is not prime.  Res64: F2E472D686FB7EB9  Time : 456.0 sec.
user=vaughan
[2009-08-04 23:40:56]
545*2^706180-1 is not prime.  Res64: 3656B358F17E84BB  Time : 640.0 sec.
user=vaughan
[2009-08-04 23:42:29]
533*2^706180-1 is not prime.  Res64: 4F1926FE668B7E30  Time : 778.0 sec.
user=vaughan
[2009-08-04 23:44:33]
411*2^706181-1 is not prime.  Res64: 5E8F68D4F712F560  Time : 461.0 sec.
user=vaughan
[2009-08-04 23:47:27]
431*2^706182-1 is not prime.  Res64: 679E9321C65D0CD9  Time : 456.0 sec.
user=vaughan
[2009-08-04 23:49:05]
489*2^706181-1 is not prime.  Res64: 78D60CE5DDA960FA  Time : 713.0 sec.
user=vaughan
[2009-08-04 23:49:26]
517*2^706181-1 is not prime.  Res64: 428CFF48B5A29B6F  Time : 690.0 sec.
user=vaughan
[2009-08-04 23:51:35]
495*2^706182-1 is not prime.  Res64: E285670EF6C4EFBB  Time : 639.0 sec.
user=vaughan
[2009-08-04 23:52:14]
587*2^706182-1 is not prime.  Res64: 0C98063B670C439F  Time : 461.0 sec.
user=vaughan
[2009-08-04 23:53:50]
513*2^706182-1 is not prime.  Res64: D5D56B9D2BCFC54E  Time : 682.0 sec.
user=vaughan
[2009-08-04 23:55:02]
593*2^706182-1 is not prime.  Res64: 21C3378491BDCA5C  Time : 455.0 sec.
user=vaughan
[2009-08-04 23:59:51]
423*2^706183-1 is not prime.  Res64: DEED8600181421EE  Time : 646.0 sec.
user=vaughan
[2009-08-04 23:59:55]
573*2^706183-1 is not prime.  Res64: E2609A6733A3252E  Time : 461.0 sec.