user=mdettweiler [2012-09-02 00:02:02] 663*2^1228019-1 is not prime. Res64: F239D4475AFEC36D Time : 0.0 sec. user=mdettweiler [2012-09-02 00:02:03] 675*2^1228019-1 is not prime. Res64: 82842B4C2411FD10 Time : 0.0 sec. user=mdettweiler [2012-09-02 00:02:03] 693*2^1228019-1 is not prime. Res64: 38C40B9D4821EC3F Time : 0.0 sec. user=mdettweiler [2012-09-02 00:02:04] 741*2^1228019-1 is not prime. Res64: BC25F2D9A8E99ABA Time : 0.0 sec. user=vaughan [2012-09-02 00:32:11] 811*2^1228019-1 is not prime. Res64: 02E3E631A01402E5 Time : 0.0 sec. user=gd_barnes [2012-09-02 00:49:58] 707*2^1228020-1 is not prime. Res64: 6590C8EEB3A99413 Time : 0.0 sec. user=gd_barnes [2012-09-02 00:50:26] 839*2^1228020-1 is not prime. Res64: CF3D599D50D5D5F7 Time : 0.0 sec. user=gd_barnes [2012-09-02 00:54:51] 843*2^1228020-1 is not prime. Res64: DA0628C15B0118B9 Time : 0.0 sec. user=gd_barnes [2012-09-02 00:57:56] 933*2^1228020-1 is not prime. Res64: 158B5F817981FAF6 Time : 0.0 sec. user=gd_barnes [2012-09-02 00:58:30] 987*2^1228020-1 is not prime. Res64: B58CF366D8DB47BB Time : 0.0 sec. user=mdettweiler [2012-09-02 00:59:26] 943*2^1228019-1 is not prime. Res64: FD9929F20669A8CB Time : 0.0 sec. user=mdettweiler [2012-09-02 00:59:27] 669*2^1228020-1 is not prime. Res64: 206921FC4A5D248C Time : 0.0 sec. user=gd_barnes [2012-09-02 01:00:49] 621*2^1228021-1 is not prime. Res64: 3CE3B6C1DB130953 Time : 0.0 sec. user=gd_barnes [2012-09-02 01:01:43] 649*2^1228021-1 is not prime. Res64: 8D77EE6695E794CD Time : 0.0 sec. user=mdettweiler [2012-09-02 01:08:12] 861*2^1228019-1 is not prime. Res64: 91EDBFABE9FC7019 Time : 0.0 sec. user=mdettweiler [2012-09-02 01:08:16] 895*2^1228019-1 is not prime. Res64: 532DCB51665E0A6B Time : 0.0 sec. user=vaughan [2012-09-02 01:09:56] 741*2^1228021-1 is not prime. Res64: 750791E6AA8968AD Time : 0.0 sec. user=mdettweiler [2012-09-02 01:20:19] 757*2^1228021-1 is not prime. Res64: 2ABF787C6D832460 Time : 0.0 sec. user=mdettweiler [2012-09-02 01:20:20] 801*2^1228021-1 is not prime. Res64: 542B4147AE5933B3 Time : 0.0 sec. user=mdettweiler [2012-09-02 01:29:38] 811*2^1228021-1 is not prime. Res64: DAC81A58F2507246 Time : 0.0 sec. user=mdettweiler [2012-09-02 01:29:39] 931*2^1228021-1 is not prime. Res64: AF2F24DB0D8BF5D0 Time : 0.0 sec. user=mdettweiler [2012-09-02 01:41:20] 635*2^1228022-1 is not prime. Res64: F8F82BCA457F9376 Time : 0.0 sec. user=mdettweiler [2012-09-02 01:41:21] 665*2^1228022-1 is not prime. Res64: 07B3E5EE704A0453 Time : 0.0 sec. user=vaughan [2012-09-02 01:47:41] 999*2^1228021-1 is not prime. Res64: 01AA57D5C6AC1EB5 Time : 0.0 sec. user=mdettweiler [2012-09-02 01:50:30] 677*2^1228022-1 is not prime. Res64: 7D270DB40066FFD5 Time : 0.0 sec. user=mdettweiler [2012-09-02 01:50:31] 705*2^1228022-1 is not prime. Res64: 5F71FA452B46E566 Time : 0.0 sec. user=mdettweiler [2012-09-02 02:02:08] 731*2^1228022-1 is not prime. Res64: 0862870138AF0EAB Time : 0.0 sec. user=mdettweiler [2012-09-02 02:02:10] 753*2^1228022-1 is not prime. Res64: CC7D1EBE22A0DE3F Time : 0.0 sec. user=mdettweiler [2012-09-02 02:11:19] 797*2^1228022-1 is not prime. Res64: 1AE9A1E1C6C9F093 Time : 0.0 sec. user=mdettweiler [2012-09-02 02:11:20] 857*2^1228022-1 is not prime. Res64: 414FFE3615884B31 Time : 0.0 sec. user=mdettweiler [2012-09-02 02:23:14] 885*2^1228022-1 is not prime. Res64: 78194FE9D96854C2 Time : 0.0 sec. user=mdettweiler [2012-09-02 02:23:15] 911*2^1228022-1 is not prime. Res64: 582BA4BDC0CFBD5F Time : 0.0 sec. user=vaughan [2012-09-02 02:25:23] 791*2^1228022-1 is not prime. Res64: 9632EF82424AAA84 Time : 0.0 sec. user=mdettweiler [2012-09-02 02:32:16] 957*2^1228022-1 is not prime. Res64: 8B5971F5A14376B5 Time : 0.0 sec. user=mdettweiler [2012-09-02 02:32:18] 983*2^1228022-1 is not prime. Res64: 5635D0AACACF3594 Time : 0.0 sec. user=mdettweiler [2012-09-02 02:44:07] 613*2^1228023-1 is not prime. Res64: A1D7F4FAAF66BA86 Time : 0.0 sec. user=mdettweiler [2012-09-02 02:44:09] 625*2^1228023-1 is not prime. Res64: 5DC931D6FB0BBEDD Time : 0.0 sec. user=mdettweiler [2012-09-02 02:53:15] 763*2^1228023-1 is not prime. Res64: A6A5B6249400D77E Time : 0.0 sec. user=mdettweiler [2012-09-02 02:53:17] 951*2^1228023-1 is not prime. Res64: CB4E775854D3355C Time : 0.0 sec. user=vaughan [2012-09-02 03:03:08] 663*2^1228023-1 is not prime. Res64: D77C05F224BE2101 Time : 0.0 sec. user=mdettweiler [2012-09-02 03:05:07] 623*2^1228024-1 is not prime. Res64: 344A4A760B21D974 Time : 0.0 sec. user=mdettweiler [2012-09-02 03:05:09] 629*2^1228024-1 is not prime. Res64: 204ED019CA83E33A Time : 0.0 sec. user=mdettweiler [2012-09-02 03:14:23] 695*2^1228024-1 is not prime. Res64: FF3C028E89AB6290 Time : 0.0 sec. user=mdettweiler [2012-09-02 03:14:28] 827*2^1228024-1 is not prime. Res64: 730450F796C2100F Time : 0.0 sec. user=mdettweiler [2012-09-02 03:25:51] 863*2^1228024-1 is not prime. Res64: 0E9454CB3DBF0D2F Time : 0.0 sec. user=mdettweiler [2012-09-02 03:25:52] 869*2^1228024-1 is not prime. Res64: 9EBCB0644C154F24 Time : 0.0 sec. user=mdettweiler [2012-09-02 03:35:35] 927*2^1228024-1 is not prime. Res64: 380161CBD0B29114 Time : 0.0 sec. user=mdettweiler [2012-09-02 03:35:37] 983*2^1228024-1 is not prime. Res64: DCA95C7E83C45966 Time : 0.0 sec. user=vaughan [2012-09-02 03:41:05] 857*2^1228024-1 is not prime. Res64: 7421615BADDA8CF6 Time : 0.0 sec. user=mdettweiler [2012-09-02 03:46:43] 601*2^1228025-1 is not prime. Res64: F36BC5A893992EEA Time : 0.0 sec. user=mdettweiler [2012-09-02 03:46:43] 727*2^1228025-1 is not prime. Res64: 27339D5D78F32499 Time : 0.0 sec. user=mdettweiler [2012-09-02 03:56:41] 787*2^1228025-1 is not prime. Res64: EE6D735809C57549 Time : 0.0 sec. user=mdettweiler [2012-09-02 03:56:41] 861*2^1228025-1 is not prime. Res64: EB37DFDAC57A4401 Time : 0.0 sec. user=mdettweiler [2012-09-02 04:07:25] 695*2^1228026-1 is not prime. Res64: E722D8B2010BE0A5 Time : 0.0 sec. user=mdettweiler [2012-09-02 04:07:32] 903*2^1228026-1 is not prime. Res64: 27048A4B3FB93DE6 Time : 0.0 sec. user=gd_barnes [2012-09-02 04:11:19] 969*2^1228025-1 is not prime. Res64: 1F5A088756FDA14F Time : 0.0 sec. user=mdettweiler [2012-09-02 04:17:25] 945*2^1228026-1 is not prime. Res64: B8EDFF1EE4972CC5 Time : 0.0 sec. user=mdettweiler [2012-09-02 04:17:26] 639*2^1228027-1 is not prime. Res64: 68EB7F436B487CCF Time : 0.0 sec. user=vaughan [2012-09-02 04:18:51] 985*2^1228025-1 is not prime. Res64: C3C7E4CFD9514A2B Time : 0.0 sec. user=mdettweiler [2012-09-02 04:28:56] 685*2^1228027-1 is not prime. Res64: 204C8FD5CD529D35 Time : 0.0 sec. user=mdettweiler [2012-09-02 04:28:56] 741*2^1228027-1 is not prime. Res64: 4648C278D4A7E9C9 Time : 0.0 sec. user=mdettweiler [2012-09-02 04:38:12] 819*2^1228027-1 is not prime. Res64: 547E721A8E8C6A01 Time : 0.0 sec. user=mdettweiler [2012-09-02 04:38:12] 909*2^1228027-1 is not prime. Res64: A7A79353A9A74BEC Time : 0.0 sec. user=mdettweiler [2012-09-02 04:49:42] 825*2^1228028-1 is not prime. Res64: 0DC1D4FE7B73DA49 Time : 0.0 sec. user=mdettweiler [2012-09-02 04:49:43] 625*2^1228029-1 is not prime. Res64: 094A5419053FFF3D Time : 0.0 sec. user=vaughan [2012-09-02 04:56:36] 659*2^1228028-1 is not prime. Res64: 01DAFD347BAC9B83 Time : 0.0 sec. user=mdettweiler [2012-09-02 04:59:01] 655*2^1228029-1 is not prime. Res64: 8BAB043461DAC35F Time : 0.0 sec. user=mdettweiler [2012-09-02 04:59:01] 657*2^1228029-1 is not prime. Res64: D2ECCC07FBE453AF Time : 0.0 sec. user=mdettweiler [2012-09-02 05:10:25] 661*2^1228029-1 is not prime. Res64: D7B9F152FD6FE1C1 Time : 0.0 sec. user=mdettweiler [2012-09-02 05:10:25] 675*2^1228029-1 is not prime. Res64: D72F1AFB5FB34631 Time : 0.0 sec. user=mdettweiler [2012-09-02 05:19:43] 927*2^1228029-1 is not prime. Res64: 0FDB211C08F4D89D Time : 0.0 sec. user=mdettweiler [2012-09-02 05:19:43] 955*2^1228029-1 is not prime. Res64: 44A23E33F0B6115C Time : 0.0 sec. user=mdettweiler [2012-09-02 05:31:12] 999*2^1228029-1 is not prime. Res64: 997FE5A82255D408 Time : 0.0 sec. user=mdettweiler [2012-09-02 05:31:13] 675*2^1228030-1 is not prime. Res64: 49EAE597E567040A Time : 0.0 sec. user=vaughan [2012-09-02 05:34:19] 759*2^1228029-1 is not prime. Res64: AE5516C7140B2F14 Time : 0.0 sec. user=mdettweiler [2012-09-02 05:40:25] 765*2^1228030-1 is not prime. Res64: 1F9A256747296FA0 Time : 0.0 sec. user=mdettweiler [2012-09-02 05:40:25] 777*2^1228030-1 is not prime. Res64: A6FDF9ABE5DEEB47 Time : 0.0 sec. user=gd_barnes [2012-09-02 05:49:31] 695*2^1228030-1 is not prime. Res64: BA923C5CDC38C31D Time : 0.0 sec. user=mdettweiler [2012-09-02 05:51:55] 791*2^1228030-1 is not prime. Res64: 222ADA9B78B90C26 Time : 0.0 sec. user=mdettweiler [2012-09-02 05:51:55] 827*2^1228030-1 is not prime. Res64: 15906E75DD11B8F9 Time : 0.0 sec. user=mdettweiler [2012-09-02 06:01:07] 923*2^1228030-1 is not prime. Res64: FE6B6E217A09D538 Time : 0.0 sec. user=mdettweiler [2012-09-02 06:01:08] 945*2^1228030-1 is not prime. Res64: F2B90728EEB23A95 Time : 0.0 sec. user=vaughan [2012-09-02 06:12:02] 867*2^1228030-1 is not prime. Res64: 851D74C6855373E5 Time : 0.0 sec. user=mdettweiler [2012-09-02 06:12:36] 603*2^1228031-1 is not prime. Res64: DB59B0006FDE16FB Time : 0.0 sec. user=mdettweiler [2012-09-02 06:12:37] 645*2^1228031-1 is not prime. Res64: CFBC3E0EFC6A52A4 Time : 0.0 sec. user=mdettweiler [2012-09-02 06:22:07] 649*2^1228031-1 is not prime. Res64: 2905818A1AD13B61 Time : 0.0 sec. user=mdettweiler [2012-09-02 06:22:07] 745*2^1228031-1 is not prime. Res64: 3E22E0CACCA85537 Time : 0.0 sec. user=mdettweiler [2012-09-02 06:33:20] 813*2^1228031-1 is not prime. Res64: A09722ACA2F8FF43 Time : 0.0 sec. user=mdettweiler [2012-09-02 06:33:20] 901*2^1228031-1 is not prime. Res64: CA8A7C5E16FE5347 Time : 0.0 sec. user=mdettweiler [2012-09-02 06:42:51] 979*2^1228031-1 is not prime. Res64: ACAF7BD2B9DB74DF Time : 0.0 sec. user=mdettweiler [2012-09-02 06:42:51] 981*2^1228031-1 is not prime. Res64: F0C0A12E836BE18A Time : 0.0 sec. user=gd_barnes [2012-09-02 06:47:52] 913*2^1228031-1 is not prime. Res64: F8EC5B1AC98D364F Time : 0.0 sec. user=vaughan [2012-09-02 06:49:48] 789*2^1228031-1 is not prime. Res64: 2B330B49D63CAA7C Time : 0.0 sec. user=mdettweiler [2012-09-02 06:54:02] 993*2^1228031-1 is not prime. Res64: C563E3E944D769B3 Time : 0.0 sec. user=mdettweiler [2012-09-02 06:54:02] 639*2^1228032-1 is not prime. Res64: B4E71AB50AA6365E Time : 0.0 sec. user=mdettweiler [2012-09-02 07:03:34] 767*2^1228032-1 is not prime. Res64: 53B478D09EC21764 Time : 0.0 sec. user=mdettweiler [2012-09-02 07:03:34] 825*2^1228032-1 is not prime. Res64: 4AA8D5C4BC924985 Time : 0.0 sec. user=mdettweiler [2012-09-02 07:14:45] 607*2^1228033-1 is not prime. Res64: AD76BD25E9850D32 Time : 0.0 sec. user=mdettweiler [2012-09-02 07:14:46] 775*2^1228033-1 is not prime. Res64: D28B45E3C689A27B Time : 0.0 sec. user=mdettweiler [2012-09-02 07:24:19] 817*2^1228033-1 is not prime. Res64: 24409CD56F987321 Time : 0.0 sec. user=mdettweiler [2012-09-02 07:24:20] 939*2^1228033-1 is not prime. Res64: 5CEFBB812C3F0528 Time : 0.0 sec. user=vaughan [2012-09-02 07:27:31] 975*2^1228032-1 is not prime. Res64: B50B6EFBBD690974 Time : 0.0 sec. user=mdettweiler [2012-09-02 07:35:46] 951*2^1228033-1 is not prime. Res64: 565906B440D048DC Time : 0.0 sec. user=mdettweiler [2012-09-02 07:35:47] 967*2^1228033-1 is not prime. Res64: 6E181A90F7295315 Time : 0.0 sec. user=mdettweiler [2012-09-02 07:45:03] 711*2^1228034-1 is not prime. Res64: 495C8CEB9FD1F86E Time : 0.0 sec. user=mdettweiler [2012-09-02 07:45:03] 773*2^1228034-1 is not prime. Res64: 941FD84B711AEE3A Time : 0.0 sec. user=mdettweiler [2012-09-02 07:56:29] 797*2^1228034-1 is not prime. Res64: D13A5D7DCB04D156 Time : 0.0 sec. user=mdettweiler [2012-09-02 07:56:30] 875*2^1228034-1 is not prime. Res64: 53D2A5AE65D920C9 Time : 0.0 sec. user=vaughan [2012-09-02 08:05:13] 783*2^1228034-1 is not prime. Res64: 1ABFFCCB9C60EAB8 Time : 0.0 sec. user=mdettweiler [2012-09-02 08:05:45] 723*2^1228035-1 is not prime. Res64: 1F74F88F15534687 Time : 0.0 sec. user=mdettweiler [2012-09-02 08:05:46] 795*2^1228035-1 is not prime. Res64: 40EAE45AB37343B0 Time : 0.0 sec. user=mdettweiler [2012-09-02 08:17:14] 873*2^1228035-1 is not prime. Res64: 45CB11B7CAB3F9E7 Time : 0.0 sec. user=mdettweiler [2012-09-02 08:17:14] 955*2^1228035-1 is not prime. Res64: 8B0BD68E3A2AD1F5 Time : 0.0 sec. user=mdettweiler [2012-09-02 08:26:30] 603*2^1228036-1 is not prime. Res64: 40FD8350EBE13D12 Time : 0.0 sec. user=mdettweiler [2012-09-02 08:26:31] 629*2^1228036-1 is not prime. Res64: EE169E2A0DB0AEC7 Time : 0.0 sec. user=mdettweiler [2012-09-02 08:38:00] 695*2^1228036-1 is not prime. Res64: E775AF0A797F62BA Time : 0.0 sec. user=mdettweiler [2012-09-02 08:38:00] 803*2^1228036-1 is not prime. Res64: 8410EF24620B2FA0 Time : 0.0 sec. user=vaughan [2012-09-02 08:43:01] 999*2^1228035-1 is not prime. Res64: EF081D072A16869B Time : 0.0 sec. user=mdettweiler [2012-09-02 08:47:12] 843*2^1228036-1 is not prime. Res64: 3A5F7D3595EB5186 Time : 0.0 sec. user=mdettweiler [2012-09-02 08:47:13] 855*2^1228036-1 is not prime. Res64: 37A3B35CE084D50E Time : 0.0 sec. user=mdettweiler [2012-09-02 08:58:44] 903*2^1228036-1 is not prime. Res64: 2E7FA22CDC27891C Time : 0.0 sec. user=mdettweiler [2012-09-02 08:58:44] 905*2^1228036-1 is not prime. Res64: 858186269F21BE69 Time : 0.0 sec. user=mdettweiler [2012-09-02 09:07:54] 983*2^1228036-1 is not prime. Res64: ACB236292F772905 Time : 0.0 sec. user=mdettweiler [2012-09-02 09:07:55] 601*2^1228037-1 is not prime. Res64: 88FFF06F9ECFA23C Time : 0.0 sec. user=mdettweiler [2012-09-02 09:19:26] 697*2^1228037-1 is not prime. Res64: E1FF4B9A20160307 Time : 0.0 sec. user=mdettweiler [2012-09-02 09:19:26] 715*2^1228037-1 is not prime. Res64: A50E6409D8EBE200 Time : 0.0 sec. user=vaughan [2012-09-02 09:20:42] 923*2^1228036-1 is not prime. Res64: AA234E366D8D42F8 Time : 0.0 sec. user=mdettweiler [2012-09-02 09:28:44] 735*2^1228037-1 is not prime. Res64: 963586B07E77DE67 Time : 0.0 sec. user=mdettweiler [2012-09-02 09:28:45] 741*2^1228037-1 is not prime. Res64: 26A51FCD24CE99F4 Time : 0.0 sec. user=mdettweiler [2012-09-02 09:40:21] 769*2^1228037-1 is not prime. Res64: 3CCEA4667DCE9027 Time : 0.0 sec. user=mdettweiler [2012-09-02 09:40:21] 771*2^1228037-1 is not prime. Res64: CFA807FE556ABEE4 Time : 0.0 sec. user=mdettweiler [2012-09-02 09:49:48] 867*2^1228037-1 is not prime. Res64: AB536AEDB0F7DB9A Time : 0.0 sec. user=mdettweiler [2012-09-02 09:49:48] 871*2^1228037-1 is not prime. Res64: 400CA54608D5580E Time : 0.0 sec. user=vaughan [2012-09-02 09:58:25] 829*2^1228037-1 is not prime. Res64: 17F6F31EA470E054 Time : 0.0 sec. user=mdettweiler [2012-09-02 10:01:23] 979*2^1228037-1 is not prime. Res64: 7D2C9863B1F73147 Time : 0.0 sec. user=mdettweiler [2012-09-02 10:01:23] 985*2^1228037-1 is not prime. Res64: A4EBEBD0C2A15D61 Time : 0.0 sec. user=mdettweiler [2012-09-02 10:10:46] 681*2^1228038-1 is not prime. Res64: 5ACFC4617674DB8D Time : 0.0 sec. user=mdettweiler [2012-09-02 10:10:49] 725*2^1228038-1 is not prime. Res64: 60B2D7EAB7154A20 Time : 0.0 sec. user=mdettweiler [2012-09-02 10:22:32] 821*2^1228038-1 is not prime. Res64: 5344A11DCEF81C21 Time : 0.0 sec. user=mdettweiler [2012-09-02 10:22:33] 915*2^1228038-1 is not prime. Res64: C78C6716F8656E14 Time : 0.0 sec. user=mdettweiler [2012-09-02 10:32:34] 975*2^1228038-1 is not prime. Res64: 60A4CB9EA96FA5D8 Time : 0.0 sec. user=mdettweiler [2012-09-02 10:32:34] 765*2^1228039-1 is not prime. Res64: 180B61575E8C773F Time : 0.0 sec. user=vaughan [2012-09-02 10:36:06] 777*2^1228038-1 is not prime. Res64: 5AA555BF8AA4BC3B Time : 0.0 sec. user=mdettweiler [2012-09-02 10:43:49] 829*2^1228039-1 is not prime. Res64: 8CE7B1C9F30AF533 Time : 0.0 sec. user=mdettweiler [2012-09-02 10:43:49] 933*2^1228039-1 is not prime. Res64: CCAAF80E0B587C5E Time : 0.0 sec. user=mdettweiler [2012-09-02 10:53:47] 969*2^1228039-1 is not prime. Res64: 164DBDD570EA3609 Time : 0.0 sec. user=mdettweiler [2012-09-02 10:53:47] 603*2^1228040-1 is not prime. Res64: 9D4F54919740A645 Time : 0.0 sec. user=mdettweiler [2012-09-02 11:05:04] 833*2^1228040-1 is not prime. Res64: 287DBBFE08E0FCBC Time : 0.0 sec. user=mdettweiler [2012-09-02 11:05:05] 977*2^1228040-1 is not prime. Res64: 6A8BEA8F168A54C2 Time : 0.0 sec. user=vaughan [2012-09-02 11:13:49] 689*2^1228040-1 is not prime. Res64: 06EB5ADEE3597BD1 Time : 0.0 sec. user=mdettweiler [2012-09-02 11:14:55] 601*2^1228041-1 is not prime. Res64: 87A34C4936090B7E Time : 0.0 sec. user=mdettweiler [2012-09-02 11:14:56] 625*2^1228041-1 is not prime. Res64: 3EB7DF8EEDF08AB0 Time : 0.0 sec. user=mdettweiler [2012-09-02 11:26:13] 649*2^1228041-1 is not prime. Res64: C008FF3208C70E7F Time : 0.0 sec. user=mdettweiler [2012-09-02 11:26:13] 681*2^1228041-1 is not prime. Res64: 49DB28EFF6860BF2 Time : 0.0 sec. user=mdettweiler [2012-09-02 11:36:10] 819*2^1228041-1 is not prime. Res64: 182F8DFFAED1CC54 Time : 0.0 sec. user=mdettweiler [2012-09-02 11:36:10] 603*2^1228042-1 is not prime. Res64: 83CFEFBFE53B5090 Time : 0.0 sec. user=mdettweiler [2012-09-02 11:47:28] 651*2^1228042-1 is not prime. Res64: 4030DB6FFCD23B72 Time : 0.0 sec. user=mdettweiler [2012-09-02 11:47:28] 677*2^1228042-1 is not prime. Res64: 05C3F187C09F9804 Time : 0.0 sec. user=vaughan [2012-09-02 11:51:49] 705*2^1228041-1 is not prime. Res64: 9FF5B4BA38BEEE33 Time : 0.0 sec. user=mdettweiler [2012-09-02 11:57:21] 619*2^1228043-1 is not prime. Res64: 7DAF077C337A35C4 Time : 0.0 sec. user=mdettweiler [2012-09-02 11:57:21] 753*2^1228043-1 is not prime. Res64: CE038230A876057D Time : 0.0 sec. user=mdettweiler [2012-09-02 12:08:38] 801*2^1228043-1 is not prime. Res64: BE5B7E8792A9B88C Time : 0.0 sec. user=mdettweiler [2012-09-02 12:08:39] 825*2^1228043-1 is not prime. Res64: 74794EB93603732F Time : 0.0 sec. user=mdettweiler [2012-09-02 12:18:33] 955*2^1228043-1 is not prime. Res64: A87F5F0F6EC57725 Time : 0.0 sec. user=mdettweiler [2012-09-02 12:18:34] 973*2^1228043-1 is not prime. Res64: FF378E249DE8D751 Time : 0.0 sec. user=vaughan [2012-09-02 12:29:33] 885*2^1228043-1 is not prime. Res64: D5EEF6634D332F20 Time : 0.0 sec. user=mdettweiler [2012-09-02 12:30:16] 627*2^1228044-1 is not prime. Res64: C2BB1E4B940F63F4 Time : 0.0 sec. user=mdettweiler [2012-09-02 12:30:18] 663*2^1228044-1 is not prime. Res64: 115D55BE0E12E567 Time : 0.0 sec. user=mdettweiler [2012-09-02 12:40:03] 705*2^1228044-1 is not prime. Res64: 1319BAC320987705 Time : 0.0 sec. user=mdettweiler [2012-09-02 12:40:03] 723*2^1228044-1 is not prime. Res64: 35F0ECB09A3B55CD Time : 0.0 sec. user=mdettweiler [2012-09-02 12:51:30] 803*2^1228044-1 is not prime. Res64: 979BD2F8E6591EC5 Time : 0.0 sec. user=mdettweiler [2012-09-02 12:51:30] 809*2^1228044-1 is not prime. Res64: 021A60D39A8E06DA Time : 0.0 sec. user=mdettweiler [2012-09-02 13:01:15] 857*2^1228044-1 is not prime. Res64: 6C83CB11811F9A43 Time : 0.0 sec. user=mdettweiler [2012-09-02 13:01:16] 969*2^1228044-1 is not prime. Res64: AD1A9F340E566BC1 Time : 0.0 sec. user=vaughan [2012-09-02 13:07:18] 759*2^1228044-1 is not prime. Res64: E0247DD0680F451B Time : 0.0 sec. user=mdettweiler [2012-09-02 13:12:41] 983*2^1228044-1 is not prime. Res64: 6B96FB7F937785E4 Time : 0.0 sec. user=mdettweiler [2012-09-02 13:12:43] 645*2^1228045-1 is not prime. Res64: 560673556597C192 Time : 0.0 sec. user=mdettweiler [2012-09-02 13:22:42] 661*2^1228045-1 is not prime. Res64: B6A326453FCB8658 Time : 0.0 sec. user=mdettweiler [2012-09-02 13:22:43] 667*2^1228045-1 is not prime. Res64: 857A680A6B15651A Time : 0.0 sec. user=mdettweiler [2012-09-02 13:34:02] 759*2^1228045-1 is not prime. Res64: FDB4AC705FD5D686 Time : 0.0 sec. user=mdettweiler [2012-09-02 13:34:02] 771*2^1228045-1 is not prime. Res64: 35B5786AC6B5D10D Time : 0.0 sec. user=mdettweiler [2012-09-02 13:44:06] 889*2^1228045-1 is not prime. Res64: 52EF24CA48A5A364 Time : 0.0 sec. user=mdettweiler [2012-09-02 13:44:07] 693*2^1228046-1 is not prime. Res64: D8C87E8EC3A8DD5D Time : 0.0 sec. user=vaughan [2012-09-02 13:45:02] 751*2^1228045-1 is not prime. Res64: 2FFA3AB11608955F Time : 0.0 sec. user=mdettweiler [2012-09-02 13:55:26] 705*2^1228046-1 is not prime. Res64: 2C4CA69BA995F644 Time : 0.0 sec. user=mdettweiler [2012-09-02 13:55:27] 713*2^1228046-1 is not prime. Res64: 214673FAAB7A5B87 Time : 0.0 sec. user=mdettweiler [2012-09-02 14:05:18] 785*2^1228046-1 is not prime. Res64: 567AFA3D088B9BE3 Time : 0.0 sec. user=mdettweiler [2012-09-02 14:05:20] 831*2^1228046-1 is not prime. Res64: 67B2997681AD1008 Time : 0.0 sec. user=mdettweiler [2012-09-02 14:16:32] 1001*2^1228046-1 is not prime. Res64: ECD06FB8B4474FDB Time : 0.0 sec. user=mdettweiler [2012-09-02 14:16:33] 651*2^1228047-1 is not prime. Res64: E67E370D95FF5037 Time : 0.0 sec. user=vaughan [2012-09-02 14:22:48] 993*2^1228046-1 is not prime. Res64: 46F8EC051664EA23 Time : 0.0 sec. user=mdettweiler [2012-09-02 14:26:38] 669*2^1228047-1 is not prime. Res64: C897461ACA993306 Time : 0.0 sec. user=mdettweiler [2012-09-02 14:26:39] 741*2^1228047-1 is not prime. Res64: 19B36110759944F1 Time : 0.0 sec. user=mdettweiler [2012-09-02 14:37:46] 819*2^1228047-1 is not prime. Res64: 496EF77CC3C9ED97 Time : 0.0 sec. user=mdettweiler [2012-09-02 14:37:46] 829*2^1228047-1 is not prime. Res64: 2125E786E971C9BD Time : 0.0 sec. user=mdettweiler [2012-09-02 14:47:32] 663*2^1228048-1 is not prime. Res64: 46FED7EA4C151ECF Time : 0.0 sec. user=mdettweiler [2012-09-02 14:47:32] 695*2^1228048-1 is not prime. Res64: 76217233044F3A0A Time : 0.0 sec. user=mdettweiler [2012-09-02 14:58:36] 705*2^1228048-1 is not prime. Res64: FFB9D53A5DBCF620 Time : 0.0 sec. user=mdettweiler [2012-09-02 14:58:36] 743*2^1228048-1 is not prime. Res64: 2DCEC3147B7969C3 Time : 0.0 sec. user=vaughan [2012-09-02 15:00:30] 951*2^1228047-1 is not prime. Res64: 5BC4F11C703C5D2D Time : 0.0 sec. user=mdettweiler [2012-09-02 15:08:22] 839*2^1228048-1 is not prime. Res64: C6008ECC9859A0EE Time : 0.0 sec. user=mdettweiler [2012-09-02 15:08:23] 899*2^1228048-1 is not prime. Res64: 8FF9F5FE0E4D4761 Time : 0.0 sec. user=mdettweiler [2012-09-02 15:19:37] 729*2^1228049-1 is not prime. Res64: 12B69DB6F901C6C9 Time : 0.0 sec. user=mdettweiler [2012-09-02 15:19:37] 759*2^1228049-1 is not prime. Res64: 0C030C175A12ED2F Time : 0.0 sec. user=mdettweiler [2012-09-02 15:29:44] 967*2^1228049-1 is not prime. Res64: 44F171862C6F57F4 Time : 0.0 sec. user=mdettweiler [2012-09-02 15:29:44] 755*2^1228050-1 is not prime. Res64: 56E528C2B2BFB1D7 Time : 0.0 sec. user=vaughan [2012-09-02 15:38:15] 795*2^1228049-1 is not prime. Res64: 95D10AA4C3EA7949 Time : 0.0 sec. user=mdettweiler [2012-09-02 15:40:54] 767*2^1228050-1 is not prime. Res64: E8BF83E65C91B043 Time : 0.0 sec. user=mdettweiler [2012-09-02 15:40:54] 833*2^1228050-1 is not prime. Res64: 3688806236F9C5F0 Time : 0.0 sec. user=mdettweiler [2012-09-02 15:50:58] 885*2^1228050-1 is not prime. Res64: 7DFB65B8D73221ED Time : 0.0 sec. user=mdettweiler [2012-09-02 15:50:58] 619*2^1228051-1 is not prime. Res64: 3654E71C9835D94C Time : 0.0 sec. user=mdettweiler [2012-09-02 16:02:02] 705*2^1228051-1 is not prime. Res64: 5B5E10D85326DAB4 Time : 0.0 sec. user=mdettweiler [2012-09-02 16:02:02] 849*2^1228051-1 is not prime. Res64: 50F6397BF29FC5D6 Time : 0.0 sec. user=mdettweiler [2012-09-02 16:12:03] 961*2^1228051-1 is not prime. Res64: D77896F5396C8BBD Time : 0.0 sec. user=mdettweiler [2012-09-02 16:12:04] 647*2^1228052-1 is not prime. Res64: 99F0A98E8A315314 Time : 0.0 sec. user=vaughan [2012-09-02 16:15:57] 703*2^1228051-1 is not prime. Res64: 32C170E4A2CF9494 Time : 0.0 sec. user=mdettweiler [2012-09-02 16:23:07] 683*2^1228052-1 is not prime. Res64: C50B644A7E58D1ED Time : 0.0 sec. user=mdettweiler [2012-09-02 16:23:07] 719*2^1228052-1 is not prime. Res64: 57753030A8041BB1 Time : 0.0 sec. user=mdettweiler [2012-09-02 16:33:14] 923*2^1228052-1 is not prime. Res64: 4D8BCBDCC28803DC Time : 0.0 sec. user=mdettweiler [2012-09-02 16:33:14] 751*2^1228053-1 is not prime. Res64: F70E19C8E5C00B66 Time : 0.0 sec. user=mdettweiler [2012-09-02 16:44:17] 781*2^1228053-1 is not prime. Res64: B22DD9DAB1E5B5B2 Time : 0.0 sec. user=mdettweiler [2012-09-02 16:44:18] 789*2^1228053-1 is not prime. Res64: C5EFA02F079B6F2C Time : 0.0 sec. user=vaughan [2012-09-02 16:53:40] 759*2^1228053-1 is not prime. Res64: 346D699B2BC4E5B4 Time : 0.0 sec. user=mdettweiler [2012-09-02 16:54:25] 835*2^1228053-1 is not prime. Res64: 111C183B2C6DF2CA Time : 0.0 sec. user=mdettweiler [2012-09-02 16:54:25] 861*2^1228053-1 is not prime. Res64: D3B395389FF3DFF2 Time : 0.0 sec. user=mdettweiler [2012-09-02 17:05:24] 979*2^1228053-1 is not prime. Res64: 6F6E47F58CA0E3BA Time : 0.0 sec. user=mdettweiler [2012-09-02 17:05:25] 635*2^1228054-1 is not prime. Res64: CC3A6A9BEB46A3C6 Time : 0.0 sec. user=mdettweiler [2012-09-02 17:15:31] 651*2^1228054-1 is not prime. Res64: 0E44089C17D34643 Time : 0.0 sec. user=mdettweiler [2012-09-02 17:15:31] 695*2^1228054-1 is not prime. Res64: 215EAAB7721A2FA3 Time : 0.0 sec. user=mdettweiler [2012-09-02 17:26:33] 741*2^1228054-1 is not prime. Res64: A22B6DCE28BBD2D0 Time : 0.0 sec. user=mdettweiler [2012-09-02 17:26:34] 827*2^1228054-1 is not prime. Res64: 7C3AA49708761FA9 Time : 0.0 sec. user=vaughan [2012-09-02 17:31:23] 645*2^1228054-1 is not prime. Res64: D996CDD3B962B6E3 Time : 0.0 sec. user=mdettweiler [2012-09-02 17:36:30] 917*2^1228054-1 is not prime. Res64: 1913C3ABEE4904D2 Time : 0.0 sec. user=mdettweiler [2012-09-02 17:36:31] 1001*2^1228054-1 is not prime. Res64: DAAA96AE75123E90 Time : 0.0 sec. user=mdettweiler [2012-09-02 17:47:36] 603*2^1228055-1 is not prime. Res64: 8EBFF564D7B56A46 Time : 0.0 sec. user=mdettweiler [2012-09-02 17:47:36] 661*2^1228055-1 is not prime. Res64: D97702C15C34BE15 Time : 0.0 sec. user=mdettweiler [2012-09-02 17:57:29] 775*2^1228055-1 is not prime. Res64: D5D2955B0AF39761 Time : 0.0 sec. user=mdettweiler [2012-09-02 17:57:30] 799*2^1228055-1 is not prime. Res64: 579C54EC43F2F962 Time : 0.0 sec. user=mdettweiler [2012-09-02 18:08:34] 633*2^1228056-1 is not prime. Res64: D276F0C8E87F2467 Time : 0.0 sec. user=mdettweiler [2012-09-02 18:08:35] 705*2^1228056-1 is not prime. Res64: 04965439E98E6528 Time : 0.0 sec. user=vaughan [2012-09-02 18:09:05] 675*2^1228055-1 is not prime. Res64: 89372BEACBA9FF87 Time : 0.0 sec. user=mdettweiler [2012-09-02 18:18:29] 725*2^1228056-1 is not prime. Res64: 802D15CCED153F50 Time : 0.0 sec. user=mdettweiler [2012-09-02 18:18:29] 849*2^1228056-1 is not prime. Res64: DCE655BEACDBDBFD Time : 0.0 sec. user=mdettweiler [2012-09-02 18:29:44] 893*2^1228056-1 is not prime. Res64: 9CE95042F3D2BD03 Time : 0.0 sec. user=mdettweiler [2012-09-02 18:29:44] 909*2^1228056-1 is not prime. Res64: AA2480C27F6E064A Time : 0.0 sec. user=mdettweiler [2012-09-02 18:39:36] 609*2^1228057-1 is not prime. Res64: B44FB8E3F448D97B Time : 0.0 sec. user=mdettweiler [2012-09-02 18:39:36] 637*2^1228057-1 is not prime. Res64: 1C9C809E3B0F80F8 Time : 0.0 sec. user=vaughan [2012-09-02 18:46:57] 601*2^1228057-1 is not prime. Res64: 675DEC4E6995D606 Time : 0.0 sec. user=mdettweiler [2012-09-02 18:50:48] 675*2^1228057-1 is not prime. Res64: 2E8B1D7903B81568 Time : 0.0 sec. user=mdettweiler [2012-09-02 18:50:48] 741*2^1228057-1 is not prime. Res64: B0D5F72EFA8241FA Time : 0.0 sec. user=mdettweiler [2012-09-02 19:00:38] 805*2^1228057-1 is not prime. Res64: C416FBA00186317B Time : 0.0 sec. user=mdettweiler [2012-09-02 19:00:39] 871*2^1228057-1 is not prime. Res64: 0B2CE02CD540EBDB Time : 0.0 sec. user=mdettweiler [2012-09-02 19:11:50] 623*2^1228058-1 is not prime. Res64: 2F0831F49432C876 Time : 0.0 sec. user=mdettweiler [2012-09-02 19:11:51] 755*2^1228058-1 is not prime. Res64: AA0414FBF3DCD21E Time : 0.0 sec. user=mdettweiler [2012-09-02 19:21:57] 885*2^1228058-1 is not prime. Res64: C575F0BDE670637B Time : 0.0 sec. user=mdettweiler [2012-09-02 19:21:58] 935*2^1228058-1 is not prime. Res64: 2FAD0B0098C93316 Time : 0.0 sec. user=vaughan [2012-09-02 19:24:43] 605*2^1228058-1 is not prime. Res64: 54373FA7B9C066E9 Time : 0.0 sec. user=mdettweiler [2012-09-02 19:33:08] 639*2^1228059-1 is not prime. Res64: 602001922692C9C5 Time : 0.0 sec. user=mdettweiler [2012-09-02 19:33:08] 705*2^1228059-1 is not prime. Res64: BD5246BE1BE811D1 Time : 0.0 sec. user=mdettweiler [2012-09-02 19:43:17] 709*2^1228059-1 is not prime. Res64: D0DA10B31C6D71F7 Time : 0.0 sec. user=mdettweiler [2012-09-02 19:43:18] 741*2^1228059-1 is not prime. Res64: C41F6531A6B092AC Time : 0.0 sec. user=mdettweiler [2012-09-02 19:54:19] 789*2^1228059-1 is not prime. Res64: BC1620F39944E6B0 Time : 0.0 sec. user=mdettweiler [2012-09-02 19:54:19] 795*2^1228059-1 is not prime. Res64: 49AA9033CAA8AB80 Time : 0.0 sec. user=vaughan [2012-09-02 20:02:27] 753*2^1228059-1 is not prime. Res64: 04F9A50226FB83DB Time : 0.0 sec. user=mdettweiler [2012-09-02 20:04:29] 891*2^1228059-1 is not prime. Res64: 5C1144B36B466260 Time : 0.0 sec. user=mdettweiler [2012-09-02 20:04:32] 903*2^1228059-1 is not prime. Res64: 12F0F7393806E94F Time : 0.0 sec. user=mdettweiler [2012-09-02 20:15:30] 609*2^1228060-1 is not prime. Res64: D6E3E25BD2F721F2 Time : 0.0 sec. user=mdettweiler [2012-09-02 20:15:32] 629*2^1228060-1 is not prime. Res64: B0331B576E2909D8 Time : 0.0 sec. user=mdettweiler [2012-09-02 20:25:56] 677*2^1228060-1 is not prime. Res64: D5D8AA8CB8D2975C Time : 0.0 sec. user=mdettweiler [2012-09-02 20:25:56] 873*2^1228060-1 is not prime. Res64: DB3F3D48AE45F232 Time : 0.0 sec. user=mdettweiler [2012-09-02 20:37:02] 887*2^1228060-1 is not prime. Res64: 2201764DA438C4CC Time : 0.0 sec. user=mdettweiler [2012-09-02 20:37:03] 927*2^1228060-1 is not prime. Res64: B1BFA23FF8D8E5FC Time : 0.0 sec. user=vaughan [2012-09-02 20:40:31] 635*2^1228060-1 is not prime. Res64: 6A688696DDB56CBF Time : 0.0 sec. user=mdettweiler [2012-09-02 20:47:16] 975*2^1228060-1 is not prime. Res64: 9C5FDF3943C3442D Time : 0.0 sec. user=mdettweiler [2012-09-02 20:47:17] 657*2^1228061-1 is not prime. Res64: 80723833E545A573 Time : 0.0 sec. user=mdettweiler [2012-09-02 20:58:00] 675*2^1228061-1 is not prime. Res64: 065BDAC3B20D1A34 Time : 0.0 sec. user=mdettweiler [2012-09-02 20:58:01] 727*2^1228061-1 is not prime. Res64: A928DEB46980BCDF Time : 0.0 sec. user=mdettweiler [2012-09-02 21:08:13] 819*2^1228061-1 is not prime. Res64: 3D488B65D153F794 Time : 0.0 sec. user=mdettweiler [2012-09-02 21:08:17] 861*2^1228061-1 is not prime. Res64: ABE95AA73AF609AC Time : 0.0 sec. user=vaughan [2012-09-02 21:18:30] 747*2^1228061-1 is not prime. Res64: ABF81AF2346BBB93 Time : 0.0 sec. user=mdettweiler [2012-09-02 21:18:58] 879*2^1228061-1 is not prime. Res64: 8E3BCDB76DBA5482 Time : 0.0 sec. user=mdettweiler [2012-09-02 21:18:59] 901*2^1228061-1 is not prime. Res64: 18535C6F2878E3E0 Time : 0.0 sec. user=mdettweiler [2012-09-02 21:29:26] 711*2^1228062-1 is not prime. Res64: 7CD5084BD791943D Time : 0.0 sec. user=mdettweiler [2012-09-02 21:29:26] 717*2^1228062-1 is not prime. Res64: E8FCE3047B5BFB54 Time : 0.0 sec. user=mdettweiler [2012-09-02 21:40:09] 797*2^1228062-1 is not prime. Res64: ED0B9B8B88C9B828 Time : 0.0 sec. user=mdettweiler [2012-09-02 21:40:10] 893*2^1228062-1 is not prime. Res64: 4BBEF8085063DF10 Time : 0.0 sec. user=mdettweiler [2012-09-02 21:50:33] 625*2^1228063-1 is not prime. Res64: 2F96307A8BB3A76E Time : 0.0 sec. user=mdettweiler [2012-09-02 21:50:33] 693*2^1228063-1 is not prime. Res64: 324F445C29BF3EA2 Time : 0.0 sec. user=vaughan [2012-09-02 21:56:13] 723*2^1228062-1 is not prime. Res64: 5248CABFCFFCD763 Time : 0.0 sec. user=mdettweiler [2012-09-02 22:01:09] 741*2^1228063-1 is not prime. Res64: DBAB79DA65E8EA8C Time : 0.0 sec. user=mdettweiler [2012-09-02 22:01:09] 901*2^1228063-1 is not prime. Res64: 42E7CFD80FCCA6FD Time : 0.0 sec. user=mdettweiler [2012-09-02 22:11:31] 913*2^1228063-1 is not prime. Res64: 65ACE2B9CFF6DCC8 Time : 0.0 sec. user=mdettweiler [2012-09-02 22:11:32] 615*2^1228064-1 is not prime. Res64: ACEAAFD768E89572 Time : 0.0 sec. user=mdettweiler [2012-09-02 22:22:18] 825*2^1228064-1 is not prime. Res64: CF927E62D482931F Time : 0.0 sec. user=mdettweiler [2012-09-02 22:22:19] 923*2^1228064-1 is not prime. Res64: B20C9A54BC1453A6 Time : 0.0 sec. user=mdettweiler [2012-09-02 22:32:33] 983*2^1228064-1 is not prime. Res64: 4C1D459702D50A31 Time : 0.0 sec. user=mdettweiler [2012-09-02 22:32:33] 625*2^1228065-1 is not prime. Res64: E6F0CA58B9C6C6D1 Time : 0.0 sec. user=vaughan [2012-09-02 22:33:56] 725*2^1228064-1 is not prime. Res64: AB60269C3CFD5BDF Time : 0.0 sec. user=mdettweiler [2012-09-02 22:43:16] 741*2^1228065-1 is not prime. Res64: B479AF5394BC106C Time : 0.0 sec. user=mdettweiler [2012-09-02 22:43:16] 751*2^1228065-1 is not prime. Res64: A3726ED9D2EEBB81 Time : 0.0 sec. user=mdettweiler [2012-09-02 22:53:32] 949*2^1228065-1 is not prime. Res64: FADD07D9E97A64F4 Time : 0.0 sec. user=mdettweiler [2012-09-02 22:53:32] 975*2^1228065-1 is not prime. Res64: 44EAE5A3A7711906 Time : 0.0 sec. user=mdettweiler [2012-09-02 23:04:12] 675*2^1228066-1 is not prime. Res64: 3626E0CF4BD21496 Time : 0.0 sec. user=mdettweiler [2012-09-02 23:04:13] 717*2^1228066-1 is not prime. Res64: 3083696CFD86D7A9 Time : 0.0 sec. user=vaughan [2012-09-02 23:11:40] 645*2^1228066-1 is not prime. Res64: 601ECE61DAE0B54E Time : 0.0 sec. user=mdettweiler [2012-09-02 23:14:28] 813*2^1228066-1 is not prime. Res64: 70256DF6E90A654B Time : 0.0 sec. user=mdettweiler [2012-09-02 23:14:29] 833*2^1228066-1 is not prime. Res64: D2EA8A054E3FABB6 Time : 0.0 sec. user=mdettweiler [2012-09-02 23:25:16] 941*2^1228066-1 is not prime. Res64: D213067299534BEF Time : 0.0 sec. user=mdettweiler [2012-09-02 23:25:17] 983*2^1228066-1 is not prime. Res64: 9B5A2BCF70C85C4D Time : 0.0 sec. user=mdettweiler [2012-09-02 23:35:31] 609*2^1228067-1 is not prime. Res64: 8B1F0273E2B8EA7F Time : 0.0 sec. user=mdettweiler [2012-09-02 23:35:31] 711*2^1228067-1 is not prime. Res64: 7C299D5C71B882C7 Time : 0.0 sec. user=mdettweiler [2012-09-02 23:46:13] 715*2^1228067-1 is not prime. Res64: 6D421CA2B5B41D1C Time : 0.0 sec. user=mdettweiler [2012-09-02 23:46:13] 741*2^1228067-1 is not prime. Res64: F39455BED8856E79 Time : 0.0 sec. user=vaughan [2012-09-02 23:49:28] 993*2^1228066-1 is not prime. Res64: 003FB93F75F48F70 Time : 0.0 sec. user=mdettweiler [2012-09-02 23:56:28] 981*2^1228067-1 is not prime. Res64: 82F9523EB6F9EBB9 Time : 0.0 sec. user=mdettweiler [2012-09-02 23:56:28] 985*2^1228067-1 is not prime. Res64: 03925353773812D0 Time : 0.0 sec.