user=mdettweiler [2013-01-07 00:07:52] 605*2^1238794-1 is not prime. Res64: 8B1FA968FA2E9D7C Time : 0.0 sec. user=mdettweiler [2013-01-07 00:07:54] 623*2^1238794-1 is not prime. Res64: EB43141F157D28E2 Time : 0.0 sec. user=mdettweiler [2013-01-07 00:16:26] 813*2^1238794-1 is not prime. Res64: 78005205A03A0FB8 Time : 0.0 sec. user=mdettweiler [2013-01-07 00:16:27] 857*2^1238794-1 is not prime. Res64: D95A49C3A0711393 Time : 0.0 sec. user=juhehe [2013-01-07 00:20:22] 751*2^1238793-1 is not prime. Res64: 71FADFD0681F2FA3 Time : 0.0 sec. user=mdettweiler [2013-01-07 00:25:28] 881*2^1238794-1 is not prime. Res64: 54DA2E55BC078964 Time : 0.0 sec. user=mdettweiler [2013-01-07 00:25:29] 917*2^1238794-1 is not prime. Res64: 94B34AE5517EFCDC Time : 0.0 sec. user=mdettweiler [2013-01-07 00:33:53] 957*2^1238794-1 is not prime. Res64: 2B96BD7DFFF8C44C Time : 0.0 sec. user=mdettweiler [2013-01-07 00:33:54] 651*2^1238795-1 is not prime. Res64: C9F24D1B2600F81B Time : 0.0 sec. user=vaughan [2013-01-07 00:33:56] 663*2^1238794-1 is not prime. Res64: AAC2E296DEEDFDFA Time : 0.0 sec. user=mdettweiler [2013-01-07 00:42:54] 699*2^1238795-1 is not prime. Res64: 6BA5D1A0C097C737 Time : 0.0 sec. user=mdettweiler [2013-01-07 00:42:54] 775*2^1238795-1 is not prime. Res64: 0F4B5EE8AC186480 Time : 0.0 sec. user=mdettweiler [2013-01-07 00:51:19] 991*2^1238795-1 is not prime. Res64: 2F6299AED472DDE7 Time : 0.0 sec. user=mdettweiler [2013-01-07 00:51:20] 639*2^1238796-1 is not prime. Res64: 41D100A3B1BC86E3 Time : 0.0 sec. user=mdettweiler [2013-01-07 01:00:20] 825*2^1238796-1 is not prime. Res64: 97598345002B895C Time : 0.0 sec. user=mdettweiler [2013-01-07 01:00:22] 615*2^1238797-1 is not prime. Res64: 8B1C9DF05F28B7C1 Time : 0.0 sec. user=mdettweiler [2013-01-07 01:08:45] 645*2^1238797-1 is not prime. Res64: 9A7FF670F8E8101E Time : 0.0 sec. user=mdettweiler [2013-01-07 01:08:45] 825*2^1238797-1 is not prime. Res64: 40F9A0D4ABB3B5D1 Time : 0.0 sec. user=vaughan [2013-01-07 01:11:43] 683*2^1238796-1 is not prime. Res64: EE1C9EC5AF480EC2 Time : 0.0 sec. user=mdettweiler [2013-01-07 01:17:57] 831*2^1238797-1 is not prime. Res64: 411F09BCED3E107C Time : 0.0 sec. user=mdettweiler [2013-01-07 01:17:58] 895*2^1238797-1 is not prime. Res64: 7D95554A053BAA50 Time : 0.0 sec. user=mdettweiler [2013-01-07 01:26:11] 961*2^1238797-1 is not prime. Res64: D4E4E9666EE0F1C1 Time : 0.0 sec. user=mdettweiler [2013-01-07 01:26:12] 985*2^1238797-1 is not prime. Res64: 9F001C5E7EFD575C Time : 0.0 sec. user=mdettweiler [2013-01-07 01:35:25] 755*2^1238798-1 is not prime. Res64: 08FA3C32E9D60F68 Time : 0.0 sec. user=mdettweiler [2013-01-07 01:35:25] 867*2^1238798-1 is not prime. Res64: E59261750CCD3E31 Time : 0.0 sec. user=juhehe [2013-01-07 01:41:37] 735*2^1238796-1 is not prime. Res64: F403AF8B02AF616C Time : 0.0 sec. user=juhehe [2013-01-07 01:42:13] 779*2^1238796-1 is not prime. Res64: 52F9D44C74C87927 Time : 0.0 sec. user=mdettweiler [2013-01-07 01:43:37] 935*2^1238798-1 is not prime. Res64: C7DEF4D3A72D10AA Time : 0.0 sec. user=mdettweiler [2013-01-07 01:43:37] 977*2^1238798-1 is not prime. Res64: 70FEF857BFC6D69E Time : 0.0 sec. user=vaughan [2013-01-07 01:49:31] 687*2^1238798-1 is not prime. Res64: B3E2DACAC705CB7F Time : 0.0 sec. user=mdettweiler [2013-01-07 01:52:50] 1001*2^1238798-1 is not prime. Res64: 1BCB869FAE955455 Time : 0.0 sec. user=mdettweiler [2013-01-07 01:52:51] 685*2^1238799-1 is not prime. Res64: B2DDEE97CBE78EFA Time : 0.0 sec. user=juhehe [2013-01-07 01:58:21] 897*2^1238798-1 is not prime. Res64: B508FFE6A864CA54 Time : 0.0 sec. user=mdettweiler [2013-01-07 02:01:02] 703*2^1238799-1 is not prime. Res64: 2F7B29249572E7F6 Time : 0.0 sec. user=mdettweiler [2013-01-07 02:01:04] 705*2^1238799-1 is not prime. Res64: 4439C473BEE9F776 Time : 0.0 sec. user=mdettweiler [2013-01-07 02:10:16] 843*2^1238799-1 is not prime. Res64: 9410F03C2CDC2307 Time : 0.0 sec. user=mdettweiler [2013-01-07 02:10:17] 885*2^1238799-1 is not prime. Res64: 2E0A489F1999208A Time : 0.0 sec. user=mdettweiler [2013-01-07 02:18:40] 933*2^1238799-1 is not prime. Res64: EF007466572030EE Time : 0.0 sec. user=mdettweiler [2013-01-07 02:18:40] 735*2^1238800-1 is not prime. Res64: B937DE331E44D264 Time : 0.0 sec. user=vaughan [2013-01-07 02:27:20] 825*2^1238799-1 is not prime. Res64: 19D3898469744885 Time : 0.0 sec. user=mdettweiler [2013-01-07 02:27:44] 797*2^1238800-1 is not prime. Res64: BA733B832A0E68F4 Time : 0.0 sec. user=mdettweiler [2013-01-07 02:27:45] 839*2^1238800-1 is not prime. Res64: 28666D8EB273FF31 Time : 0.0 sec. user=mdettweiler [2013-01-07 02:36:06] 849*2^1238800-1 is not prime. Res64: 24A6BCF1DA62266E Time : 0.0 sec. user=mdettweiler [2013-01-07 02:36:07] 855*2^1238800-1 is not prime. Res64: 79265D6398CA98DE Time : 0.0 sec. user=mdettweiler [2013-01-07 02:45:12] 965*2^1238800-1 is not prime. Res64: 46D937AEEE0F5E93 Time : 0.0 sec. user=mdettweiler [2013-01-07 02:45:13] 627*2^1238801-1 is not prime. Res64: 4FEB4C8FB0EA3977 Time : 0.0 sec. user=mdettweiler [2013-01-07 02:53:34] 867*2^1238801-1 is not prime. Res64: F86DAD6462721928 Time : 0.0 sec. user=mdettweiler [2013-01-07 02:53:36] 937*2^1238801-1 is not prime. Res64: CE78F34BD912F218 Time : 0.0 sec. user=mdettweiler [2013-01-07 03:02:40] 723*2^1238802-1 is not prime. Res64: 9538E036206A7527 Time : 0.0 sec. user=mdettweiler [2013-01-07 03:02:41] 737*2^1238802-1 is not prime. Res64: 54ABBFD2FD513FB6 Time : 0.0 sec. user=vaughan [2013-01-07 03:05:08] 939*2^1238800-1 is not prime. Res64: 34510A6F3437ADC9 Time : 0.0 sec. user=juhehe [2013-01-07 03:08:34] 735*2^1238801-1 is not prime. Res64: 3D5D630E54FB3F65 Time : 0.0 sec. user=mdettweiler [2013-01-07 03:11:20] 803*2^1238802-1 is not prime. Res64: B7F6CB1B575359E8 Time : 0.0 sec. user=mdettweiler [2013-01-07 03:11:21] 833*2^1238802-1 is not prime. Res64: C4E9DC10EFA68F83 Time : 0.0 sec. user=mdettweiler [2013-01-07 03:20:15] 843*2^1238802-1 is not prime. Res64: A0B5F295DF50F19D Time : 0.0 sec. user=mdettweiler [2013-01-07 03:20:16] 875*2^1238802-1 is not prime. Res64: DDF5C37660EA2554 Time : 0.0 sec. user=mdettweiler [2013-01-07 03:28:49] 915*2^1238802-1 is not prime. Res64: 6043E03650EC56C1 Time : 0.0 sec. user=mdettweiler [2013-01-07 03:28:49] 681*2^1238803-1 is not prime. Res64: 67C174CCAB24C668 Time : 0.0 sec. user=mdettweiler [2013-01-07 03:37:41] 703*2^1238803-1 is not prime. Res64: 859ADC368ACADA9E Time : 0.0 sec. user=mdettweiler [2013-01-07 03:37:42] 735*2^1238803-1 is not prime. Res64: 22924D577442C0DC Time : 0.0 sec. user=vaughan [2013-01-07 03:42:57] 891*2^1238802-1 is not prime. Res64: BFD18BBEFBD395EF Time : 0.0 sec. user=mdettweiler [2013-01-07 03:46:15] 849*2^1238803-1 is not prime. Res64: B5F3783447EEF597 Time : 0.0 sec. user=mdettweiler [2013-01-07 03:46:16] 861*2^1238803-1 is not prime. Res64: 0AC8EDF41B18D719 Time : 0.0 sec. user=juhehe [2013-01-07 03:48:57] 635*2^1238802-1 is not prime. Res64: 8A5D7A829BE09051 Time : 0.0 sec. user=juhehe [2013-01-07 03:49:37] 681*2^1238802-1 is not prime. Res64: 6AB9A7B2EA6D137B Time : 0.0 sec. user=mdettweiler [2013-01-07 03:55:18] 873*2^1238803-1 is not prime. Res64: A20C4BA58D1905FB Time : 0.0 sec. user=mdettweiler [2013-01-07 03:55:18] 883*2^1238803-1 is not prime. Res64: 5ABF6484C989D9E1 Time : 0.0 sec. user=mdettweiler [2013-01-07 04:03:41] 925*2^1238803-1 is not prime. Res64: F6D79392C587C166 Time : 0.0 sec. user=mdettweiler [2013-01-07 04:03:42] 945*2^1238803-1 is not prime. Res64: 64FBBBC494E34362 Time : 0.0 sec. user=mdettweiler [2013-01-07 04:12:43] 993*2^1238803-1 is not prime. Res64: EFE57EC30D3CDBDD Time : 0.0 sec. user=mdettweiler [2013-01-07 04:12:43] 617*2^1238804-1 is not prime. Res64: 64AD02733A284539 Time : 0.0 sec. user=vaughan [2013-01-07 04:20:46] 913*2^1238803-1 is not prime. Res64: D4749950EF4851CE Time : 0.0 sec. user=mdettweiler [2013-01-07 04:21:11] 719*2^1238804-1 is not prime. Res64: 5532B77D8FB529C6 Time : 0.0 sec. user=mdettweiler [2013-01-07 04:21:12] 803*2^1238804-1 is not prime. Res64: C74813706E022DBF Time : 0.0 sec. user=mdettweiler [2013-01-07 04:30:11] 843*2^1238804-1 is not prime. Res64: 994950C9B1E94B93 Time : 0.0 sec. user=mdettweiler [2013-01-07 04:30:16] 669*2^1238805-1 is not prime. Res64: 6182A2D97B5A668B Time : 0.0 sec. user=mdettweiler [2013-01-07 04:38:40] 603*2^1238806-1 is not prime. Res64: 3544109FCB565CC4 Time : 0.0 sec. user=mdettweiler [2013-01-07 04:38:42] 623*2^1238806-1 is not prime. Res64: 7A51EAE0D469E5AE Time : 0.0 sec. user=mdettweiler [2013-01-07 04:47:53] 635*2^1238806-1 is not prime. Res64: BC2B9637B67525B7 Time : 0.0 sec. user=mdettweiler [2013-01-07 04:47:54] 867*2^1238806-1 is not prime. Res64: CCACAC67D812FC6B Time : 0.0 sec. user=mdettweiler [2013-01-07 04:56:24] 897*2^1238806-1 is not prime. Res64: 7DC6A5CD27BE8CF5 Time : 0.0 sec. user=mdettweiler [2013-01-07 04:56:24] 609*2^1238807-1 is not prime. Res64: 7553875DEDD454C5 Time : 0.0 sec. user=vaughan [2013-01-07 04:58:41] 805*2^1238805-1 is not prime. Res64: FBE1431B8312A310 Time : 0.0 sec. user=mdettweiler [2013-01-07 05:05:19] 643*2^1238807-1 is not prime. Res64: F5683791A476BD30 Time : 0.0 sec. user=mdettweiler [2013-01-07 05:05:20] 663*2^1238807-1 is not prime. Res64: 2FC7BF105A74B00C Time : 0.0 sec. user=mdettweiler [2013-01-07 05:13:49] 753*2^1238807-1 is not prime. Res64: 67D5EDC40CF22643 Time : 0.0 sec. user=mdettweiler [2013-01-07 05:13:50] 813*2^1238807-1 is not prime. Res64: E6DFC84CC28BDF53 Time : 0.0 sec. user=mdettweiler [2013-01-07 05:22:49] 825*2^1238807-1 is not prime. Res64: F47343C07E175231 Time : 0.0 sec. user=mdettweiler [2013-01-07 05:22:49] 841*2^1238807-1 is not prime. Res64: E6A0692CBAC883D9 Time : 0.0 sec. user=mdettweiler [2013-01-07 05:31:16] 843*2^1238807-1 is not prime. Res64: 07C185A6021C0962 Time : 0.0 sec. user=mdettweiler [2013-01-07 05:31:16] 883*2^1238807-1 is not prime. Res64: 3D3E3B81DD29E85D Time : 0.0 sec. user=mdettweiler [2013-01-07 05:40:14] 985*2^1238807-1 is not prime. Res64: 65507275F3DA6E95 Time : 0.0 sec. user=mdettweiler [2013-01-07 05:40:15] 605*2^1238808-1 is not prime. Res64: DE32937F05CB50B0 Time : 0.0 sec. user=vaughan [2013-01-07 05:44:11] 819*2^1238807-1 is not prime. Res64: D4DF7AF83BF99D56 Time : 0.0 sec. user=mdettweiler [2013-01-07 05:48:41] 633*2^1238808-1 is not prime. Res64: 467279F20A7365B2 Time : 0.0 sec. user=mdettweiler [2013-01-07 05:48:42] 725*2^1238808-1 is not prime. Res64: 5534A58E0BA54D0A Time : 0.0 sec. user=juhehe [2013-01-07 05:55:57] 703*2^1238807-1 is not prime. Res64: 485EEB04270B7766 Time : 0.0 sec. user=juhehe [2013-01-07 05:56:50] 735*2^1238807-1 is not prime. Res64: D42B161466233FBE Time : 0.0 sec. user=mdettweiler [2013-01-07 05:57:40] 747*2^1238808-1 is not prime. Res64: D102807C437E8BDE Time : 0.0 sec. user=mdettweiler [2013-01-07 05:57:41] 759*2^1238808-1 is not prime. Res64: 2C28C2588201E69C Time : 0.0 sec. user=mdettweiler [2013-01-07 06:06:08] 927*2^1238808-1 is not prime. Res64: FF2BB0823545B383 Time : 0.0 sec. user=mdettweiler [2013-01-07 06:06:09] 649*2^1238809-1 is not prime. Res64: E3DACD8B0818EAA1 Time : 0.0 sec. user=mdettweiler [2013-01-07 06:15:06] 769*2^1238809-1 is not prime. Res64: 02A6A2AF865320BF Time : 0.0 sec. user=mdettweiler [2013-01-07 06:15:08] 885*2^1238809-1 is not prime. Res64: 4602791FB8ED5ED4 Time : 0.0 sec. user=vaughan [2013-01-07 06:22:20] 845*2^1238808-1 is not prime. Res64: 01F3FF1224B250DA Time : 0.0 sec. user=mdettweiler [2013-01-07 06:23:44] 895*2^1238809-1 is not prime. Res64: F19247AF8C1B8E12 Time : 0.0 sec. user=mdettweiler [2013-01-07 06:23:45] 939*2^1238809-1 is not prime. Res64: 3BF353A5BBACAC9C Time : 0.0 sec. user=mdettweiler [2013-01-07 06:32:45] 945*2^1238809-1 is not prime. Res64: 05D1FC13DD0278B0 Time : 0.0 sec. user=mdettweiler [2013-01-07 06:32:45] 999*2^1238809-1 is not prime. Res64: 8E8A3DBBC7D62A24 Time : 0.0 sec. user=mdettweiler [2013-01-07 06:41:10] 657*2^1238810-1 is not prime. Res64: 2CC8E3A9F7E0F041 Time : 0.0 sec. user=mdettweiler [2013-01-07 06:41:10] 675*2^1238810-1 is not prime. Res64: 6BE963F0E7CEF4A5 Time : 0.0 sec. user=mdettweiler [2013-01-07 06:50:11] 707*2^1238810-1 is not prime. Res64: FDBE4284B9894015 Time : 0.0 sec. user=mdettweiler [2013-01-07 06:50:11] 785*2^1238810-1 is not prime. Res64: 51D4AD4A67012D49 Time : 0.0 sec. user=mdettweiler [2013-01-07 06:58:35] 971*2^1238810-1 is not prime. Res64: FF76348BEC9D731A Time : 0.0 sec. user=mdettweiler [2013-01-07 06:58:35] 981*2^1238810-1 is not prime. Res64: 2FAFDDA2EF7B7C18 Time : 0.0 sec. user=vaughan [2013-01-07 07:00:10] 651*2^1238810-1 is not prime. Res64: B9AE1DB3C4643B02 Time : 0.0 sec. user=mdettweiler [2013-01-07 07:07:37] 639*2^1238811-1 is not prime. Res64: AFF1A84D247B1A70 Time : 0.0 sec. user=mdettweiler [2013-01-07 07:07:38] 703*2^1238811-1 is not prime. Res64: 8860F96E1109CE13 Time : 0.0 sec. user=mdettweiler [2013-01-07 07:16:01] 819*2^1238811-1 is not prime. Res64: 0D1F0ADDB9DECAFA Time : 0.0 sec. user=mdettweiler [2013-01-07 07:16:02] 873*2^1238811-1 is not prime. Res64: 5B3F7F96B4A7DB44 Time : 0.0 sec. user=mdettweiler [2013-01-07 07:25:07] 969*2^1238811-1 is not prime. Res64: 4E046FBC35278E16 Time : 0.0 sec. user=mdettweiler [2013-01-07 07:25:08] 689*2^1238812-1 is not prime. Res64: B870687BF20534C1 Time : 0.0 sec. user=mdettweiler [2013-01-07 07:33:28] 705*2^1238812-1 is not prime. Res64: EC9144C86BDB44E4 Time : 0.0 sec. user=mdettweiler [2013-01-07 07:33:28] 743*2^1238812-1 is not prime. Res64: 680C1F96F1E28D21 Time : 0.0 sec. user=vaughan [2013-01-07 07:38:12] 921*2^1238811-1 is not prime. Res64: 0999E8971DAF8509 Time : 0.0 sec. user=mdettweiler [2013-01-07 07:42:32] 749*2^1238812-1 is not prime. Res64: 2379BE4F0B7A7A12 Time : 0.0 sec. user=mdettweiler [2013-01-07 07:42:32] 899*2^1238812-1 is not prime. Res64: 70B00799222F8524 Time : 0.0 sec. user=mdettweiler [2013-01-07 07:50:54] 987*2^1238812-1 is not prime. Res64: CF72CFA145E8095E Time : 0.0 sec. user=mdettweiler [2013-01-07 07:50:54] 621*2^1238813-1 is not prime. Res64: ADE8F9DB4EC8DF97 Time : 0.0 sec. user=mdettweiler [2013-01-07 07:59:57] 679*2^1238813-1 is not prime. Res64: 5977278FFD7B0C4E Time : 0.0 sec. user=mdettweiler [2013-01-07 07:59:57] 697*2^1238813-1 is not prime. Res64: EC63BE254208CCA4 Time : 0.0 sec. user=juhehe [2013-01-07 08:03:12] 783*2^1238811-1 is not prime. Res64: BF6261DF0E3C9BC9 Time : 0.0 sec. user=juhehe [2013-01-07 08:03:14] 739*2^1238811-1 is not prime. Res64: 7F9CB50100FF209E Time : 0.0 sec. user=mdettweiler [2013-01-07 08:08:19] 741*2^1238813-1 is not prime. Res64: B61F7FB16683B07A Time : 0.0 sec. user=mdettweiler [2013-01-07 08:08:21] 829*2^1238813-1 is not prime. Res64: 36212258637E84AB Time : 0.0 sec. user=mdettweiler [2013-01-07 08:17:23] 837*2^1238813-1 is not prime. Res64: DC0989E262B9F0DD Time : 0.0 sec. user=mdettweiler [2013-01-07 08:17:23] 937*2^1238813-1 is not prime. Res64: 49424BAC1D72CFF1 Time : 0.0 sec. user=mdettweiler [2013-01-07 08:25:54] 711*2^1238814-1 is not prime. Res64: 5EACA20CFC7007CE Time : 0.0 sec. user=mdettweiler [2013-01-07 08:25:54] 741*2^1238814-1 is not prime. Res64: 075A8E4EB216D3ED Time : 0.0 sec. user=mdettweiler [2013-01-07 08:34:48] 773*2^1238814-1 is not prime. Res64: 32708C9E31DE3E77 Time : 0.0 sec. user=mdettweiler [2013-01-07 08:34:49] 815*2^1238814-1 is not prime. Res64: 837916B55AB5CB1F Time : 0.0 sec. user=mdettweiler [2013-01-07 08:43:19] 921*2^1238814-1 is not prime. Res64: 40C9694CF2DFAED8 Time : 0.0 sec. user=mdettweiler [2013-01-07 08:43:19] 957*2^1238814-1 is not prime. Res64: B93C5541EAA5B5F0 Time : 0.0 sec. user=vaughan [2013-01-07 08:52:10] 675*2^1238813-1 is not prime. Res64: 5DBA9E0AC47F19C6 Time : 0.0 sec. user=mdettweiler [2013-01-07 08:52:13] 993*2^1238814-1 is not prime. Res64: B68A1FD25ED6E9AC Time : 0.0 sec. user=mdettweiler [2013-01-07 08:52:14] 735*2^1238815-1 is not prime. Res64: 16F76E492D854DED Time : 0.0 sec. user=mdettweiler [2013-01-07 09:00:44] 919*2^1238815-1 is not prime. Res64: F039E0EB79164048 Time : 0.0 sec. user=mdettweiler [2013-01-07 09:00:45] 617*2^1238816-1 is not prime. Res64: 25D706815D4AAD3F Time : 0.0 sec. user=mdettweiler [2013-01-07 09:09:38] 657*2^1238816-1 is not prime. Res64: F739DC888C704459 Time : 0.0 sec. user=mdettweiler [2013-01-07 09:09:42] 773*2^1238816-1 is not prime. Res64: D83CB40258D28296 Time : 0.0 sec. user=juhehe [2013-01-07 09:17:06] 623*2^1238816-1 is not prime. Res64: 0807966090E8AB38 Time : 0.0 sec. user=mdettweiler [2013-01-07 09:18:11] 825*2^1238816-1 is not prime. Res64: F9D620BFC5F047A4 Time : 0.0 sec. user=mdettweiler [2013-01-07 09:18:12] 857*2^1238816-1 is not prime. Res64: 61058DDEB9977ADF Time : 0.0 sec. user=mdettweiler [2013-01-07 09:27:19] 625*2^1238817-1 is not prime. Res64: 4D055FDF9F268986 Time : 0.0 sec. user=mdettweiler [2013-01-07 09:27:20] 805*2^1238817-1 is not prime. Res64: 05228D48036748E3 Time : 0.0 sec. user=vaughan [2013-01-07 09:30:03] 777*2^1238816-1 is not prime. Res64: D000063D00C8EF99 Time : 0.0 sec. user=mdettweiler [2013-01-07 09:35:36] 835*2^1238817-1 is not prime. Res64: 69965444DC67A16B Time : 0.0 sec. user=mdettweiler [2013-01-07 09:35:37] 847*2^1238817-1 is not prime. Res64: 14C5AA7618DB40D0 Time : 0.0 sec. user=mdettweiler [2013-01-07 09:44:46] 949*2^1238817-1 is not prime. Res64: B78F927F0CCCD2E8 Time : 0.0 sec. user=mdettweiler [2013-01-07 09:44:47] 605*2^1238818-1 is not prime. Res64: 323437B264338434 Time : 0.0 sec. user=juhehe [2013-01-07 09:49:46] 817*2^1238817-1 is not prime. Res64: DF1A0E22D913A179 Time : 0.0 sec. user=mdettweiler [2013-01-07 09:53:05] 735*2^1238818-1 is not prime. Res64: 468D70D08C175A79 Time : 0.0 sec. user=mdettweiler [2013-01-07 09:53:06] 971*2^1238818-1 is not prime. Res64: 96CA6A9ADAF9976B Time : 0.0 sec. user=mdettweiler [2013-01-07 10:02:12] 995*2^1238818-1 is not prime. Res64: 26E6CA907A6803D5 Time : 0.0 sec. user=mdettweiler [2013-01-07 10:02:14] 711*2^1238819-1 is not prime. Res64: D182C527E6167634 Time : 0.0 sec. user=vaughan [2013-01-07 10:07:54] 611*2^1238818-1 is not prime. Res64: 3458C52991EF73B8 Time : 0.0 sec. user=juhehe [2013-01-07 10:09:55] 609*2^1238817-1 is not prime. Res64: 643A52096530C735 Time : 0.0 sec. user=mdettweiler [2013-01-07 10:10:31] 811*2^1238819-1 is not prime. Res64: 300C0DB9D09029BA Time : 0.0 sec. user=mdettweiler [2013-01-07 10:10:32] 825*2^1238819-1 is not prime. Res64: 98299EDDA1FC976F Time : 0.0 sec. user=juhehe [2013-01-07 10:10:34] 875*2^1238816-1 is not prime. Res64: 7C2994FB1A873F5B Time : 0.0 sec. user=mdettweiler [2013-01-07 10:19:51] 843*2^1238819-1 is not prime. Res64: EB93733145B1C685 Time : 0.0 sec. user=mdettweiler [2013-01-07 10:19:52] 859*2^1238819-1 is not prime. Res64: 7A6D52D05A5CCC8D Time : 0.0 sec. user=juhehe [2013-01-07 10:22:28] 745*2^1238819-1 is not prime. Res64: C1A78B2301763252 Time : 0.0 sec. user=mdettweiler [2013-01-07 10:27:57] 949*2^1238819-1 is not prime. Res64: F9E0D8727F7C4FE3 Time : 0.0 sec. user=mdettweiler [2013-01-07 10:27:58] 979*2^1238819-1 is not prime. Res64: 5CFDD3CCC8C62FCD Time : 0.0 sec. user=mdettweiler [2013-01-07 10:45:23] 779*2^1238820-1 is not prime. Res64: 9E5D9C5AD743493E Time : 0.0 sec. user=mdettweiler [2013-01-07 10:45:23] 857*2^1238820-1 is not prime. Res64: BD34A1F9CFE68009 Time : 0.0 sec. user=vaughan [2013-01-07 10:45:51] 921*2^1238819-1 is not prime. Res64: 850D36A8DF8FCB9E Time : 0.0 sec. user=juhehe [2013-01-07 10:55:09] 777*2^1238820-1 is not prime. Res64: 9CD31F50FC7EDD4E Time : 0.0 sec. user=mdettweiler [2013-01-07 11:02:54] 867*2^1238820-1 is not prime. Res64: A1DA999B09967EFD Time : 0.0 sec. user=mdettweiler [2013-01-07 11:02:56] 909*2^1238820-1 is not prime. Res64: 6491102C7E7C3532 Time : 0.0 sec. user=mdettweiler [2013-01-07 11:11:44] 689*2^1238820-1 is not prime. Res64: ACF7F69BE253387B Time : 0.0 sec. user=mdettweiler [2013-01-07 11:11:46] 707*2^1238820-1 is not prime. Res64: BEB98796E89740ED Time : 0.0 sec. user=mdettweiler [2013-01-07 11:20:43] 645*2^1238821-1 is not prime. Res64: 8FA9594670B96AB0 Time : 0.0 sec. user=mdettweiler [2013-01-07 11:20:44] 675*2^1238821-1 is not prime. Res64: 3A2799A102C19281 Time : 0.0 sec. user=vaughan [2013-01-07 11:23:45] 927*2^1238820-1 is not prime. Res64: 65522A783B6EF880 Time : 0.0 sec. user=mdettweiler [2013-01-07 11:29:12] 741*2^1238821-1 is not prime. Res64: B72072ACC837164B Time : 0.0 sec. user=mdettweiler [2013-01-07 11:29:13] 855*2^1238821-1 is not prime. Res64: DFFE335D8F996149 Time : 0.0 sec. user=mdettweiler [2013-01-07 11:38:09] 997*2^1238821-1 is not prime. Res64: 51025B54F6A1C54E Time : 0.0 sec. user=mdettweiler [2013-01-07 11:38:09] 801*2^1238822-1 is not prime. Res64: 7781C246A9CA5439 Time : 0.0 sec. user=mdettweiler [2013-01-07 11:46:39] 983*2^1238822-1 is not prime. Res64: EF8E1576081A9EDD Time : 0.0 sec. user=mdettweiler [2013-01-07 11:46:39] 723*2^1238823-1 is not prime. Res64: 3985117D028C115E Time : 0.0 sec. user=mdettweiler [2013-01-07 11:55:35] 763*2^1238823-1 is not prime. Res64: 440DE7DB0F294708 Time : 0.0 sec. user=mdettweiler [2013-01-07 11:55:36] 825*2^1238823-1 is not prime. Res64: 18E8E50580A88F5F Time : 0.0 sec. user=juhehe [2013-01-07 11:58:36] 977*2^1238822-1 is not prime. Res64: B8F8EC799C048216 Time : 0.0 sec. user=vaughan [2013-01-07 12:01:31] 921*2^1238822-1 is not prime. Res64: 3C84DA230F29E32B Time : 0.0 sec. user=mdettweiler [2013-01-07 12:04:04] 861*2^1238823-1 is not prime. Res64: 05DDEEA35E925BB4 Time : 0.0 sec. user=mdettweiler [2013-01-07 12:04:05] 629*2^1238824-1 is not prime. Res64: 71752E2AA1BAFBC6 Time : 0.0 sec. user=mdettweiler [2013-01-07 12:13:03] 717*2^1238824-1 is not prime. Res64: 418DBC446663686B Time : 0.0 sec. user=mdettweiler [2013-01-07 12:13:04] 843*2^1238824-1 is not prime. Res64: F1E2FADB379276EA Time : 0.0 sec. user=juhehe [2013-01-07 12:17:57] 931*2^1238821-1 is not prime. Res64: ACBBC702CB9B2C79 Time : 0.0 sec. user=juhehe [2013-01-07 12:18:55] 691*2^1238821-1 is not prime. Res64: 9D7A7934793CCCAE Time : 0.0 sec. user=mdettweiler [2013-01-07 12:21:59] 915*2^1238824-1 is not prime. Res64: 30549645DF6EB762 Time : 0.0 sec. user=mdettweiler [2013-01-07 12:21:59] 917*2^1238824-1 is not prime. Res64: A8B2CEB330DD3550 Time : 0.0 sec. user=mdettweiler [2013-01-07 12:30:42] 947*2^1238824-1 is not prime. Res64: C7D371872A22F057 Time : 0.0 sec. user=mdettweiler [2013-01-07 12:30:43] 691*2^1238825-1 is not prime. Res64: B1E9B3E6880B729A Time : 0.0 sec. user=vaughan [2013-01-07 12:39:26] 875*2^1238824-1 is not prime. Res64: 6E554057C03E1AB7 Time : 0.0 sec. user=mdettweiler [2013-01-07 12:39:27] 721*2^1238825-1 is not prime. Res64: ED6B24F73761BE13 Time : 0.0 sec. user=mdettweiler [2013-01-07 12:39:28] 741*2^1238825-1 is not prime. Res64: 0F502FB9A9FABDB5 Time : 0.0 sec. user=mdettweiler [2013-01-07 12:48:25] 771*2^1238825-1 is not prime. Res64: 2CBC5381CE976E98 Time : 0.0 sec. user=mdettweiler [2013-01-07 12:48:26] 789*2^1238825-1 is not prime. Res64: 68BBD7CBA87B4F16 Time : 0.0 sec. user=mdettweiler [2013-01-07 12:56:56] 799*2^1238825-1 is not prime. Res64: 0C1AF03AEB0FB75C Time : 0.0 sec. user=mdettweiler [2013-01-07 12:56:56] 805*2^1238825-1 is not prime. Res64: 9EA27C40A87423C0 Time : 0.0 sec. user=mdettweiler [2013-01-07 13:05:58] 867*2^1238825-1 is not prime. Res64: E1E9E8D7DA3D8052 Time : 0.0 sec. user=mdettweiler [2013-01-07 13:06:02] 991*2^1238825-1 is not prime. Res64: C4A81E95A6ECB069 Time : 0.0 sec. user=mdettweiler [2013-01-07 13:14:25] 705*2^1238826-1 is not prime. Res64: 396D13A9C8899C13 Time : 0.0 sec. user=mdettweiler [2013-01-07 13:14:26] 717*2^1238826-1 is not prime. Res64: E578E6E4CF9B9ABA Time : 0.0 sec. user=vaughan [2013-01-07 13:17:19] 841*2^1238825-1 is not prime. Res64: 801753787714718F Time : 0.0 sec. user=mdettweiler [2013-01-07 13:24:00] 887*2^1238826-1 is not prime. Res64: 9F5EF9761128D2EB Time : 0.0 sec. user=mdettweiler [2013-01-07 13:24:03] 917*2^1238826-1 is not prime. Res64: D924E00ACD9794A4 Time : 0.0 sec. user=mdettweiler [2013-01-07 13:32:14] 921*2^1238826-1 is not prime. Res64: F4C9A99B1D4C0C9E Time : 0.0 sec. user=mdettweiler [2013-01-07 13:32:14] 945*2^1238826-1 is not prime. Res64: 7070D58E3EF9F23F Time : 0.0 sec. user=juhehe [2013-01-07 13:33:01] 777*2^1238826-1 is not prime. Res64: 64C78947C27150A5 Time : 0.0 sec. user=mdettweiler [2013-01-07 13:41:33] 759*2^1238827-1 is not prime. Res64: 6B18E191FA10DE7A Time : 0.0 sec. user=mdettweiler [2013-01-07 13:41:34] 895*2^1238827-1 is not prime. Res64: 1186661C62B57190 Time : 0.0 sec. user=vaughan [2013-01-07 13:55:09] 663*2^1238827-1 is not prime. Res64: 56FF63AE655CBE9F Time : 0.0 sec. user=mdettweiler [2013-01-07 13:58:46] 973*2^1238827-1 is not prime. Res64: 2F2FAA1619B64E43 Time : 0.0 sec. user=mdettweiler [2013-01-07 13:58:47] 603*2^1238828-1 is not prime. Res64: 7E38C80CF51C13F9 Time : 0.0 sec. user=mdettweiler [2013-01-07 13:59:05] 677*2^1238828-1 is not prime. Res64: A67BB7D180FC992D Time : 0.0 sec. user=mdettweiler [2013-01-07 13:59:06] 639*2^1238829-1 is not prime. Res64: 8698006A29C979C0 Time : 0.0 sec. user=mdettweiler [2013-01-07 14:16:19] 667*2^1238829-1 is not prime. Res64: F47C146F6E0325A1 Time : 0.0 sec. user=mdettweiler [2013-01-07 14:16:20] 721*2^1238829-1 is not prime. Res64: 02F860D9551FA2BB Time : 0.0 sec. user=mdettweiler [2013-01-07 14:16:41] 759*2^1238829-1 is not prime. Res64: 92BED5B0F314B4DB Time : 0.0 sec. user=mdettweiler [2013-01-07 14:16:41] 955*2^1238829-1 is not prime. Res64: F7F0FD4721BC4DF9 Time : 0.0 sec. user=vaughan [2013-01-07 14:33:11] 657*2^1238829-1 is not prime. Res64: 2F4F954DEC37C992 Time : 0.0 sec. user=mdettweiler [2013-01-07 14:33:56] 961*2^1238829-1 is not prime. Res64: 28972377456192C8 Time : 0.0 sec. user=mdettweiler [2013-01-07 14:33:57] 975*2^1238829-1 is not prime. Res64: 7BE6C150B74CA374 Time : 0.0 sec. user=mdettweiler [2013-01-07 14:34:18] 979*2^1238829-1 is not prime. Res64: C29AD6C945E4EF4C Time : 0.0 sec. user=mdettweiler [2013-01-07 14:34:19] 985*2^1238829-1 is not prime. Res64: 39399AA157497817 Time : 0.0 sec. user=mdettweiler [2013-01-07 14:51:43] 605*2^1238830-1 is not prime. Res64: 4FADE69E2A28196A Time : 0.0 sec. user=mdettweiler [2013-01-07 14:51:47] 731*2^1238830-1 is not prime. Res64: EC92BBC81B25DD95 Time : 0.0 sec. user=mdettweiler [2013-01-07 14:52:00] 813*2^1238830-1 is not prime. Res64: FA9A371CE66D92D9 Time : 0.0 sec. user=mdettweiler [2013-01-07 14:52:01] 911*2^1238830-1 is not prime. Res64: 156A5684E9EF7613 Time : 0.0 sec. user=juhehe [2013-01-07 15:07:33] 975*2^1238830-1 is not prime. Res64: E56B4AAEF2C5FF4E Time : 0.0 sec. user=mdettweiler [2013-01-07 15:09:57] 995*2^1238830-1 is not prime. Res64: 54A9767AD29586AB Time : 0.0 sec. user=mdettweiler [2013-01-07 15:09:59] 661*2^1238831-1 is not prime. Res64: 497CAA2649E852DA Time : 0.0 sec. user=mdettweiler [2013-01-07 15:10:10] 693*2^1238831-1 is not prime. Res64: 07520DBB3E372181 Time : 0.0 sec. user=mdettweiler [2013-01-07 15:10:13] 813*2^1238831-1 is not prime. Res64: 8E255516E720AAE5 Time : 0.0 sec. user=vaughan [2013-01-07 15:11:03] 603*2^1238830-1 is not prime. Res64: 898BE0C0132D81BA Time : 0.0 sec. user=mdettweiler [2013-01-07 15:27:53] 855*2^1238831-1 is not prime. Res64: 2438EE4B996FDEA7 Time : 0.0 sec. user=mdettweiler [2013-01-07 15:27:54] 969*2^1238831-1 is not prime. Res64: 773A092EC611A204 Time : 0.0 sec. user=mdettweiler [2013-01-07 15:28:00] 993*2^1238831-1 is not prime. Res64: 83FD0BE9EA8D2A3B Time : 0.0 sec. user=mdettweiler [2013-01-07 15:28:01] 629*2^1238832-1 is not prime. Res64: 120A546636280C93 Time : 0.0 sec. user=juhehe [2013-01-07 15:38:12] 685*2^1238827-1 is not prime. Res64: 6AB36374C3657705 Time : 0.0 sec. user=mdettweiler [2013-01-07 15:46:07] 747*2^1238832-1 is not prime. Res64: 03CEEB6D4B29E364 Time : 0.0 sec. user=mdettweiler [2013-01-07 15:46:08] 923*2^1238832-1 is not prime. Res64: ADF0DA292E411F16 Time : 0.0 sec. user=mdettweiler [2013-01-07 15:46:26] 649*2^1238833-1 is not prime. Res64: E96A8E62E033E375 Time : 0.0 sec. user=mdettweiler [2013-01-07 15:46:27] 681*2^1238833-1 is not prime. Res64: 57B5570634DDD906 Time : 0.0 sec. user=vaughan [2013-01-07 15:48:57] 713*2^1238832-1 is not prime. Res64: 578C94AF6774838D Time : 0.0 sec. user=mdettweiler [2013-01-07 16:03:42] 955*2^1238833-1 is not prime. Res64: D57396DAE2261F8F Time : 0.0 sec. user=mdettweiler [2013-01-07 16:03:43] 617*2^1238834-1 is not prime. Res64: 70B00248D62EDD1B Time : 0.0 sec. user=mdettweiler [2013-01-07 16:04:00] 665*2^1238834-1 is not prime. Res64: 4150EDE8889EE11A Time : 0.0 sec. user=mdettweiler [2013-01-07 16:04:03] 687*2^1238834-1 is not prime. Res64: 3EB339D07D2AD830 Time : 0.0 sec. user=mdettweiler [2013-01-07 16:21:25] 705*2^1238834-1 is not prime. Res64: DD737F3E28433682 Time : 0.0 sec. user=mdettweiler [2013-01-07 16:21:26] 995*2^1238834-1 is not prime. Res64: 946CC259810B01B6 Time : 0.0 sec. user=mdettweiler [2013-01-07 16:21:40] 685*2^1238835-1 is not prime. Res64: B50690DE6936295C Time : 0.0 sec. user=mdettweiler [2013-01-07 16:21:41] 903*2^1238835-1 is not prime. Res64: A1AC5F3B06E21749 Time : 0.0 sec. user=mdettweiler [2013-01-07 16:38:57] 647*2^1238836-1 is not prime. Res64: 9839710BB6CD902B Time : 0.0 sec. user=mdettweiler [2013-01-07 16:38:58] 663*2^1238836-1 is not prime. Res64: 7E80CE1BC026951E Time : 0.0 sec. user=mdettweiler [2013-01-07 16:39:15] 695*2^1238836-1 is not prime. Res64: 720238019C9E6A75 Time : 0.0 sec. user=mdettweiler [2013-01-07 16:39:15] 743*2^1238836-1 is not prime. Res64: 823BA7F5BF15BE45 Time : 0.0 sec. user=juhehe [2013-01-07 16:42:14] 775*2^1238833-1 is not prime. Res64: 1F8F2740B41F55AF Time : 0.0 sec. user=mdettweiler [2013-01-07 16:56:38] 905*2^1238836-1 is not prime. Res64: A37D798DDBD628F1 Time : 0.0 sec. user=mdettweiler [2013-01-07 16:56:39] 939*2^1238836-1 is not prime. Res64: 691BD183C348F988 Time : 0.0 sec. user=mdettweiler [2013-01-07 16:56:45] 601*2^1238837-1 is not prime. Res64: 9D5B29FA32509CEE Time : 0.0 sec. user=mdettweiler [2013-01-07 16:56:46] 675*2^1238837-1 is not prime. Res64: 8D4B468D8D3F1B4A Time : 0.0 sec. user=vaughan [2013-01-07 17:04:55] 875*2^1238836-1 is not prime. Res64: 6668D98EBAC35BA1 Time : 0.0 sec. user=juhehe [2013-01-07 17:13:15] 621*2^1238838-1 is not prime. Res64: CE55C4FD298272D2 Time : 0.0 sec. user=mdettweiler [2013-01-07 17:14:10] 663*2^1238838-1 is not prime. Res64: 0009AAAC2BA9D973 Time : 0.0 sec. user=mdettweiler [2013-01-07 17:14:12] 795*2^1238838-1 is not prime. Res64: 81F0357DD289DA20 Time : 0.0 sec. user=mdettweiler [2013-01-07 17:14:23] 843*2^1238838-1 is not prime. Res64: 8F02C4D3D5C2C658 Time : 0.0 sec. user=mdettweiler [2013-01-07 17:14:24] 603*2^1238839-1 is not prime. Res64: B81D22C5E4C40757 Time : 0.0 sec. user=mdettweiler [2013-01-07 17:31:52] 759*2^1238839-1 is not prime. Res64: 6DB79352CBF510CD Time : 0.0 sec. user=mdettweiler [2013-01-07 17:31:53] 853*2^1238839-1 is not prime. Res64: 841F39D13C4AC3E1 Time : 0.0 sec. user=mdettweiler [2013-01-07 17:32:01] 973*2^1238839-1 is not prime. Res64: D4F05967F1BCA360 Time : 0.0 sec. user=mdettweiler [2013-01-07 17:32:02] 999*2^1238839-1 is not prime. Res64: 12857CD52262F3E8 Time : 0.0 sec. user=vaughan [2013-01-07 17:43:05] 741*2^1238839-1 is not prime. Res64: D0D78C07F1CAE6A5 Time : 0.0 sec. user=mdettweiler [2013-01-07 17:49:32] 677*2^1238840-1 is not prime. Res64: 12705E3C9A2F7540 Time : 0.0 sec. user=mdettweiler [2013-01-07 17:49:32] 767*2^1238840-1 is not prime. Res64: 803D014C36F5632B Time : 0.0 sec. user=mdettweiler [2013-01-07 17:49:37] 785*2^1238840-1 is not prime. Res64: 7E3B7F0EC99B5D35 Time : 0.0 sec. user=mdettweiler [2013-01-07 17:49:38] 875*2^1238840-1 is not prime. Res64: D8FF6C81955A6CE5 Time : 0.0 sec. user=mdettweiler [2013-01-07 18:07:13] 649*2^1238841-1 is not prime. Res64: 87F27B349C76CED5 Time : 0.0 sec. user=mdettweiler [2013-01-07 18:07:15] 739*2^1238841-1 is not prime. Res64: 6AAA0A734DC349B6 Time : 0.0 sec. user=mdettweiler [2013-01-07 18:16:20] 789*2^1238841-1 is not prime. Res64: C64AB2BB509055D7 Time : 0.0 sec. user=mdettweiler [2013-01-07 18:16:21] 865*2^1238841-1 is not prime. Res64: FBC11F0DAAB1C22B Time : 0.0 sec. user=mdettweiler [2013-01-07 18:24:54] 611*2^1238842-1 is not prime. Res64: ECB248AFA6380FCE Time : 0.0 sec. user=mdettweiler [2013-01-07 18:24:55] 633*2^1238842-1 is not prime. Res64: 81892A6D8569F190 Time : 0.0 sec. user=mdettweiler [2013-01-07 18:33:56] 821*2^1238842-1 is not prime. Res64: 0F9B81CC60E8693A Time : 0.0 sec. user=mdettweiler [2013-01-07 18:33:56] 957*2^1238842-1 is not prime. Res64: 40DDED4FB6D1DB13 Time : 0.0 sec. user=mdettweiler [2013-01-07 18:42:34] 975*2^1238842-1 is not prime. Res64: EA4182827ED0C59A Time : 0.0 sec. user=mdettweiler [2013-01-07 18:42:35] 983*2^1238842-1 is not prime. Res64: 3D1A452B6E8CF250 Time : 0.0 sec. user=juhehe [2013-01-07 18:48:37] 977*2^1238840-1 is not prime. Res64: D07E729D9773FB2A Time : 0.0 sec. user=juhehe [2013-01-07 18:48:41] 959*2^1238840-1 is not prime. Res64: 1A54E0840F8B729B Time : 0.0 sec. user=juhehe [2013-01-07 18:48:48] 777*2^1238842-1 is not prime. Res64: 460AF460B92CF9E1 Time : 0.0 sec. user=mdettweiler [2013-01-07 18:51:27] 693*2^1238843-1 is not prime. Res64: 3E1DC81119CEBB25 Time : 0.0 sec. user=mdettweiler [2013-01-07 18:51:28] 819*2^1238843-1 is not prime. Res64: 11BC83181036886A Time : 0.0 sec. user=mdettweiler [2013-01-07 19:00:10] 717*2^1238844-1 is not prime. Res64: BB1E04C105B716A1 Time : 0.0 sec. user=mdettweiler [2013-01-07 19:00:12] 945*2^1238844-1 is not prime. Res64: B11DC1F48C023F79 Time : 0.0 sec. user=mdettweiler [2013-01-07 19:09:09] 775*2^1238845-1 is not prime. Res64: 58943674BBB969CF Time : 0.0 sec. user=mdettweiler [2013-01-07 19:09:11] 777*2^1238845-1 is not prime. Res64: 12394F75769E87EA Time : 0.0 sec. user=mdettweiler [2013-01-07 19:17:51] 627*2^1238846-1 is not prime. Res64: 96F9057950A4F5F4 Time : 0.0 sec. user=mdettweiler [2013-01-07 19:17:52] 651*2^1238846-1 is not prime. Res64: 3535E7D18A520D1B Time : 0.0 sec. user=juhehe [2013-01-07 19:21:30] 983*2^1238844-1 is not prime. Res64: 5886AB1C10336D2A Time : 0.0 sec. user=mdettweiler [2013-01-07 19:26:48] 671*2^1238846-1 is not prime. Res64: CEE361D5B88830E1 Time : 0.0 sec. user=mdettweiler [2013-01-07 19:26:49] 707*2^1238846-1 is not prime. Res64: 84FF54EC45FA9605 Time : 0.0 sec. user=mdettweiler [2013-01-07 19:35:21] 911*2^1238846-1 is not prime. Res64: BA7A41DCCB08F89F Time : 0.0 sec. user=mdettweiler [2013-01-07 19:35:21] 957*2^1238846-1 is not prime. Res64: EA296C8463EFDEDF Time : 0.0 sec. user=vaughan [2013-01-07 19:36:42] 975*2^1238845-1 is not prime. Res64: 1052A40A4663F99B Time : 0.0 sec. user=mdettweiler [2013-01-07 19:44:21] 963*2^1238846-1 is not prime. Res64: 3EA9C1BC6A33B07C Time : 0.0 sec. user=mdettweiler [2013-01-07 19:44:21] 987*2^1238846-1 is not prime. Res64: 2140431ED18F27BD Time : 0.0 sec. user=mdettweiler [2013-01-07 19:52:51] 651*2^1238847-1 is not prime. Res64: 7C301654F683EB7F Time : 0.0 sec. user=mdettweiler [2013-01-07 19:52:51] 919*2^1238847-1 is not prime. Res64: 34BB49BCA44C81BF Time : 0.0 sec. user=mdettweiler [2013-01-07 20:01:50] 827*2^1238848-1 is not prime. Res64: CBF01D2D7EF6AD9D Time : 0.0 sec. user=mdettweiler [2013-01-07 20:01:51] 845*2^1238848-1 is not prime. Res64: D69023251D4062E8 Time : 0.0 sec. user=mdettweiler [2013-01-07 20:10:19] 735*2^1238849-1 is not prime. Res64: 942D76BA55587F52 Time : 0.0 sec. user=mdettweiler [2013-01-07 20:10:21] 747*2^1238849-1 is not prime. Res64: 224B0584F4C22C50 Time : 0.0 sec. user=vaughan [2013-01-07 20:14:30] 975*2^1238847-1 is not prime. Res64: E22F72951AA6F2DB Time : 0.0 sec. user=mdettweiler [2013-01-07 20:19:30] 759*2^1238849-1 is not prime. Res64: 79C773D99303B5F5 Time : 0.0 sec. user=mdettweiler [2013-01-07 20:19:31] 889*2^1238849-1 is not prime. Res64: B3FEC65C2130F2C6 Time : 0.0 sec. user=mdettweiler [2013-01-07 20:27:55] 945*2^1238849-1 is not prime. Res64: 3BE2515034E8827A Time : 0.0 sec. user=mdettweiler [2013-01-07 20:27:55] 681*2^1238850-1 is not prime. Res64: EE18AAF5192083FF Time : 0.0 sec. user=mdettweiler [2013-01-07 20:37:01] 791*2^1238850-1 is not prime. Res64: B2F02651647369AB Time : 0.0 sec. user=mdettweiler [2013-01-07 20:37:01] 893*2^1238850-1 is not prime. Res64: BB1B8ED219D9EBFD Time : 0.0 sec. user=mdettweiler [2013-01-07 20:45:25] 681*2^1238851-1 is not prime. Res64: 98DD29AE2519B918 Time : 0.0 sec. user=mdettweiler [2013-01-07 20:45:26] 745*2^1238851-1 is not prime. Res64: CFEC8B46E20BAFEA Time : 0.0 sec. user=vaughan [2013-01-07 20:52:24] 777*2^1238850-1 is not prime. Res64: C251D94ABD4C8C0B Time : 0.0 sec. user=mdettweiler [2013-01-07 20:54:50] 909*2^1238851-1 is not prime. Res64: 0546EA562BA8ED8E Time : 0.0 sec. user=mdettweiler [2013-01-07 20:54:51] 931*2^1238851-1 is not prime. Res64: 8F8D8752670292B3 Time : 0.0 sec. user=juhehe [2013-01-07 20:55:21] 999*2^1238848-1 is not prime. Res64: 9D8281932B8D737A Time : 0.0 sec. user=juhehe [2013-01-07 20:56:03] 615*2^1238849-1 is not prime. Res64: AD393A485A460D27 Time : 0.0 sec. user=mdettweiler [2013-01-07 21:03:40] 973*2^1238851-1 is not prime. Res64: 432ABB7511DBAB9D Time : 0.0 sec. user=mdettweiler [2013-01-07 21:03:42] 885*2^1238852-1 is not prime. Res64: A705655DF789E73F Time : 0.0 sec. user=mdettweiler [2013-01-07 21:12:21] 935*2^1238852-1 is not prime. Res64: A50078D5B19F67DE Time : 0.0 sec. user=mdettweiler [2013-01-07 21:12:22] 983*2^1238852-1 is not prime. Res64: 9EBA7ED52F41DDB7 Time : 0.0 sec. user=mdettweiler [2013-01-07 21:21:16] 651*2^1238853-1 is not prime. Res64: 89E4983C4B4A6AB1 Time : 0.0 sec. user=mdettweiler [2013-01-07 21:21:17] 781*2^1238853-1 is not prime. Res64: 8A9CABF5BA9AC897 Time : 0.0 sec. user=mdettweiler [2013-01-07 21:29:44] 847*2^1238853-1 is not prime. Res64: 039C7C3E2C441DD7 Time : 0.0 sec. user=mdettweiler [2013-01-07 21:29:45] 885*2^1238853-1 is not prime. Res64: 7191678BC7DA67E9 Time : 0.0 sec. user=vaughan [2013-01-07 21:30:13] 909*2^1238852-1 is not prime. Res64: 64DB9B7EEAA05ACD Time : 0.0 sec. user=mdettweiler [2013-01-07 21:38:38] 915*2^1238853-1 is not prime. Res64: A668F0B12F97AA5E Time : 0.0 sec. user=mdettweiler [2013-01-07 21:38:39] 949*2^1238853-1 is not prime. Res64: DC066FC04864A002 Time : 0.0 sec. user=mdettweiler [2013-01-07 21:47:04] 991*2^1238853-1 is not prime. Res64: 075CDBAE6D302D14 Time : 0.0 sec. user=mdettweiler [2013-01-07 21:47:04] 999*2^1238853-1 is not prime. Res64: 743A8C270EB838B8 Time : 0.0 sec. user=mdettweiler [2013-01-07 21:55:58] 657*2^1238854-1 is not prime. Res64: 9B863B8B42C0CC69 Time : 0.0 sec. user=mdettweiler [2013-01-07 21:55:59] 663*2^1238854-1 is not prime. Res64: 95E3F29AC5E33EBF Time : 0.0 sec. user=mdettweiler [2013-01-07 22:04:28] 681*2^1238854-1 is not prime. Res64: C9E33352C44F538E Time : 0.0 sec. user=mdettweiler [2013-01-07 22:04:31] 687*2^1238854-1 is not prime. Res64: CE9992750DDB8F7A Time : 0.0 sec. user=vaughan [2013-01-07 22:08:06] 651*2^1238854-1 is not prime. Res64: DD89113DBA776DBF Time : 0.0 sec. user=mdettweiler [2013-01-07 22:13:27] 891*2^1238854-1 is not prime. Res64: 6EA9C7FBA81714FA Time : 0.0 sec. user=mdettweiler [2013-01-07 22:13:28] 915*2^1238854-1 is not prime. Res64: 303489A70A216DDE Time : 0.0 sec. user=mdettweiler [2013-01-07 22:22:07] 645*2^1238855-1 is not prime. Res64: F3836047D4C025D7 Time : 0.0 sec. user=mdettweiler [2013-01-07 22:22:07] 663*2^1238855-1 is not prime. Res64: 6751BFEE9C134D67 Time : 0.0 sec. user=mdettweiler [2013-01-07 22:30:56] 739*2^1238855-1 is not prime. Res64: 7B4C0AFA15D5D38D Time : 0.0 sec. user=mdettweiler [2013-01-07 22:30:57] 759*2^1238855-1 is not prime. Res64: BA65909FEF1C4576 Time : 0.0 sec. user=mdettweiler [2013-01-07 22:39:37] 805*2^1238855-1 is not prime. Res64: C857EAAAA9B1F403 Time : 0.0 sec. user=mdettweiler [2013-01-07 22:39:38] 825*2^1238855-1 is not prime. Res64: EB58A2279491EFD2 Time : 0.0 sec. user=vaughan [2013-01-07 22:45:56] 675*2^1238855-1 is not prime. Res64: F9DAE594B9514C37 Time : 0.0 sec. user=mdettweiler [2013-01-07 22:48:30] 885*2^1238855-1 is not prime. Res64: 274D4A69E284304C Time : 0.0 sec. user=mdettweiler [2013-01-07 22:48:30] 963*2^1238855-1 is not prime. Res64: 2609561C36906919 Time : 0.0 sec. user=mdettweiler [2013-01-07 22:57:08] 735*2^1238856-1 is not prime. Res64: A2C8F3291936B0C1 Time : 0.0 sec. user=mdettweiler [2013-01-07 22:57:09] 843*2^1238856-1 is not prime. Res64: C0D25A9480272144 Time : 0.0 sec. user=juhehe [2013-01-07 23:01:21] 993*2^1238854-1 is not prime. Res64: 28F71DBED6CF14A7 Time : 0.0 sec. user=juhehe [2013-01-07 23:03:02] 603*2^1238855-1 is not prime. Res64: BE78C1754DBFFED0 Time : 0.0 sec. user=mdettweiler [2013-01-07 23:05:58] 867*2^1238856-1 is not prime. Res64: E0F954DAC23E4200 Time : 0.0 sec. user=mdettweiler [2013-01-07 23:05:59] 685*2^1238857-1 is not prime. Res64: 41D8B347B3FAEA01 Time : 0.0 sec. user=mdettweiler [2013-01-07 23:14:36] 915*2^1238857-1 is not prime. Res64: 5271A25F7274C5BC Time : 0.0 sec. user=mdettweiler [2013-01-07 23:14:37] 939*2^1238857-1 is not prime. Res64: 54632F8811F6C8DA Time : 0.0 sec. user=mdettweiler [2013-01-07 23:23:24] 981*2^1238857-1 is not prime. Res64: BDA4D79B8C6B1938 Time : 0.0 sec. user=mdettweiler [2013-01-07 23:23:25] 985*2^1238857-1 is not prime. Res64: 406EF571EEAA563E Time : 0.0 sec. user=vaughan [2013-01-07 23:30:47] 845*2^1238856-1 is not prime. Res64: 401A09989DE6376A Time : 0.0 sec. user=mdettweiler [2013-01-07 23:32:08] 743*2^1238858-1 is not prime. Res64: 9A477E2BF2AEF5DA Time : 0.0 sec. user=mdettweiler [2013-01-07 23:32:09] 791*2^1238858-1 is not prime. Res64: A2D33992CF3023B5 Time : 0.0 sec. user=mdettweiler [2013-01-07 23:40:51] 813*2^1238858-1 is not prime. Res64: E2B506BEBB5E4330 Time : 0.0 sec. user=mdettweiler [2013-01-07 23:40:52] 885*2^1238858-1 is not prime. Res64: 3424A574CEC91893 Time : 0.0 sec. user=mdettweiler [2013-01-07 23:49:32] 957*2^1238858-1 is not prime. Res64: 393BB6F372E1ACE9 Time : 0.0 sec. user=mdettweiler [2013-01-07 23:49:33] 971*2^1238858-1 is not prime. Res64: 60F0934CD71EBF6C Time : 0.0 sec. user=mdettweiler [2013-01-07 23:58:14] 685*2^1238859-1 is not prime. Res64: FCADDB25A12C6710 Time : 0.0 sec. user=mdettweiler [2013-01-07 23:58:15] 711*2^1238859-1 is not prime. Res64: 331A2C7429C3EB64 Time : 0.0 sec.