user=mdettweiler [2013-08-20 00:03:01] 735*2^1251250-1 is not prime. Res64: A446F0B29A073F8A Time : 0.0 sec. user=mdettweiler [2013-08-20 00:03:02] 843*2^1251250-1 is not prime. Res64: 0880E0BDAC1D7157 Time : 0.0 sec. user=mdettweiler [2013-08-20 00:05:55] 643*2^1251251-1 is not prime. Res64: 87D8D654A2908BB8 Time : 0.0 sec. user=mdettweiler [2013-08-20 00:05:56] 693*2^1251251-1 is not prime. Res64: 2B5425474B73989B Time : 0.0 sec. user=mdettweiler [2013-08-20 00:06:23] 845*2^1251250-1 is not prime. Res64: 4B7F7BC518A4653B Time : 0.0 sec. user=mdettweiler [2013-08-20 00:06:23] 923*2^1251250-1 is not prime. Res64: 07F2C87050E1B124 Time : 0.0 sec. user=juhehe [2013-08-20 00:20:38] 877*2^1251249-1 is not prime. Res64: 2DEDD8B73CD42FAA Time : 0.0 sec. user=mdettweiler [2013-08-20 00:20:56] 759*2^1251251-1 is not prime. Res64: 8A892D9BA15A4083 Time : 0.0 sec. user=mdettweiler [2013-08-20 00:20:56] 921*2^1251251-1 is not prime. Res64: AFAEBBF40C78983B Time : 0.0 sec. user=mdettweiler [2013-08-20 00:24:57] 931*2^1251251-1 is not prime. Res64: 288E7B4698A9A48C Time : 0.0 sec. user=mdettweiler [2013-08-20 00:24:57] 981*2^1251251-1 is not prime. Res64: 92FC194331389486 Time : 0.0 sec. user=mdettweiler [2013-08-20 00:26:03] 605*2^1251252-1 is not prime. Res64: 0372F08B5C9BAD58 Time : 0.0 sec. user=mdettweiler [2013-08-20 00:26:04] 639*2^1251252-1 is not prime. Res64: 26B5595C9F6D6963 Time : 0.0 sec. user=mdettweiler [2013-08-20 00:27:33] 863*2^1251252-1 is not prime. Res64: 0E46015E8DFF259D Time : 0.0 sec. user=mdettweiler [2013-08-20 00:27:34] 909*2^1251252-1 is not prime. Res64: 0F6DA70DB06FE9A5 Time : 0.0 sec. user=mdettweiler [2013-08-20 00:43:05] 947*2^1251252-1 is not prime. Res64: 0D95287CE9FCB3D8 Time : 0.0 sec. user=mdettweiler [2013-08-20 00:43:06] 965*2^1251252-1 is not prime. Res64: F99CD7F6B47C6660 Time : 0.0 sec. user=mdettweiler [2013-08-20 00:46:03] 975*2^1251252-1 is not prime. Res64: EC1BA62233AAC8C9 Time : 0.0 sec. user=mdettweiler [2013-08-20 00:46:04] 607*2^1251253-1 is not prime. Res64: 91FD65FD9895400B Time : 0.0 sec. user=mdettweiler [2013-08-20 00:46:16] 727*2^1251253-1 is not prime. Res64: A23755C072FEF7CC Time : 0.0 sec. user=mdettweiler [2013-08-20 00:46:17] 745*2^1251253-1 is not prime. Res64: 9AB2C0ACB06F6E87 Time : 0.0 sec. user=mdettweiler [2013-08-20 00:49:41] 937*2^1251253-1 is not prime. Res64: E7120FB89532CCB3 Time : 0.0 sec. user=mdettweiler [2013-08-20 00:49:41] 957*2^1251253-1 is not prime. Res64: E969ECF8564C27EB Time : 0.0 sec. user=mdettweiler [2013-08-20 01:03:14] 617*2^1251254-1 is not prime. Res64: 34F16AA697EBB9D3 Time : 0.0 sec. user=mdettweiler [2013-08-20 01:03:15] 663*2^1251254-1 is not prime. Res64: FC80FB6FB29FC6D5 Time : 0.0 sec. user=mdettweiler [2013-08-20 01:06:12] 665*2^1251254-1 is not prime. Res64: 8E5C112E3AE85893 Time : 0.0 sec. user=mdettweiler [2013-08-20 01:06:12] 755*2^1251254-1 is not prime. Res64: 1E89F5BC00C73DEF Time : 0.0 sec. user=mdettweiler [2013-08-20 01:07:23] 875*2^1251254-1 is not prime. Res64: AD62CF85F9829388 Time : 0.0 sec. user=mdettweiler [2013-08-20 01:07:23] 923*2^1251254-1 is not prime. Res64: 1E0688929151F571 Time : 0.0 sec. user=mdettweiler [2013-08-20 01:10:40] 983*2^1251254-1 is not prime. Res64: 54936800D7476B39 Time : 0.0 sec. user=mdettweiler [2013-08-20 01:10:40] 649*2^1251255-1 is not prime. Res64: 5B8C7E86253CC0A4 Time : 0.0 sec. user=juhehe [2013-08-20 01:11:10] 915*2^1251252-1 is not prime. Res64: 775B5B86FE895247 Time : 0.0 sec. user=mdettweiler [2013-08-20 01:23:40] 675*2^1251255-1 is not prime. Res64: 0EEE20FA930DB3DB Time : 0.0 sec. user=mdettweiler [2013-08-20 01:23:40] 735*2^1251255-1 is not prime. Res64: C4F961F45BF4CE7B Time : 0.0 sec. user=mdettweiler [2013-08-20 01:26:22] 861*2^1251255-1 is not prime. Res64: 6C878BCBEE65F14A Time : 0.0 sec. user=mdettweiler [2013-08-20 01:26:22] 871*2^1251255-1 is not prime. Res64: 6624175879FB3169 Time : 0.0 sec. user=mdettweiler [2013-08-20 01:28:29] 999*2^1251255-1 is not prime. Res64: 1DEACC9A33ECBD46 Time : 0.0 sec. user=mdettweiler [2013-08-20 01:28:30] 693*2^1251256-1 is not prime. Res64: 963C573D46176ED9 Time : 0.0 sec. user=mdettweiler [2013-08-20 01:30:56] 695*2^1251256-1 is not prime. Res64: B0A7638B650146D0 Time : 0.0 sec. user=mdettweiler [2013-08-20 01:30:56] 777*2^1251256-1 is not prime. Res64: 900969DFAC7AB56C Time : 0.0 sec. user=mdettweiler [2013-08-20 01:44:57] 903*2^1251256-1 is not prime. Res64: 45A86A4A16CF3E1A Time : 0.0 sec. user=mdettweiler [2013-08-20 01:44:57] 607*2^1251257-1 is not prime. Res64: FFE5A47C7E095C2D Time : 0.0 sec. user=mdettweiler [2013-08-20 01:46:46] 717*2^1251257-1 is not prime. Res64: 1CFE265BF02D4B33 Time : 0.0 sec. user=mdettweiler [2013-08-20 01:46:47] 885*2^1251257-1 is not prime. Res64: 9A1DFDF94FBEDD17 Time : 0.0 sec. user=mdettweiler [2013-08-20 01:50:45] 955*2^1251257-1 is not prime. Res64: 95C5FDC7A30452D4 Time : 0.0 sec. user=mdettweiler [2013-08-20 01:50:45] 997*2^1251257-1 is not prime. Res64: 66AC257E90B2EBC6 Time : 0.0 sec. user=mdettweiler [2013-08-20 01:51:15] 651*2^1251258-1 is not prime. Res64: 28430197F5B97881 Time : 0.0 sec. user=mdettweiler [2013-08-20 01:51:16] 707*2^1251258-1 is not prime. Res64: 1E6F15CDEEF0931D Time : 0.0 sec. user=juhehe [2013-08-20 01:58:23] 849*2^1251256-1 is not prime. Res64: A4A9F3B10AC33378 Time : 0.0 sec. user=mdettweiler [2013-08-20 02:05:15] 713*2^1251258-1 is not prime. Res64: 02116ECC400345B9 Time : 0.0 sec. user=mdettweiler [2013-08-20 02:05:15] 747*2^1251258-1 is not prime. Res64: 17934D5B8832C68D Time : 0.0 sec. user=mdettweiler [2013-08-20 02:07:08] 765*2^1251258-1 is not prime. Res64: 30E3151829403F91 Time : 0.0 sec. user=mdettweiler [2013-08-20 02:07:09] 777*2^1251258-1 is not prime. Res64: C622DE6ACD4A775A Time : 0.0 sec. user=mdettweiler [2013-08-20 02:11:29] 723*2^1251259-1 is not prime. Res64: A2739B9D6DF906B7 Time : 0.0 sec. user=mdettweiler [2013-08-20 02:11:29] 633*2^1251260-1 is not prime. Res64: 1963D6D5BE19D824 Time : 0.0 sec. user=mdettweiler [2013-08-20 02:11:52] 1001*2^1251258-1 is not prime. Res64: C500ABA572D2E789 Time : 0.0 sec. user=mdettweiler [2013-08-20 02:11:53] 675*2^1251259-1 is not prime. Res64: B84157F524841DA8 Time : 0.0 sec. user=mdettweiler [2013-08-20 02:25:27] 825*2^1251260-1 is not prime. Res64: B665ED4EFE22282D Time : 0.0 sec. user=mdettweiler [2013-08-20 02:25:27] 741*2^1251261-1 is not prime. Res64: FA48238CD3142748 Time : 0.0 sec. user=mdettweiler [2013-08-20 02:27:30] 751*2^1251261-1 is not prime. Res64: A0A003F81BB98381 Time : 0.0 sec. user=mdettweiler [2013-08-20 02:27:31] 789*2^1251261-1 is not prime. Res64: 4B141BEEF72B5D4D Time : 0.0 sec. user=mdettweiler [2013-08-20 02:31:43] 713*2^1251262-1 is not prime. Res64: 6AF9A83E4A00B403 Time : 0.0 sec. user=mdettweiler [2013-08-20 02:31:43] 717*2^1251262-1 is not prime. Res64: BDDFEC40633E522C Time : 0.0 sec. user=mdettweiler [2013-08-20 02:32:07] 755*2^1251262-1 is not prime. Res64: F6C3248DFDD2D44E Time : 0.0 sec. user=mdettweiler [2013-08-20 02:32:08] 777*2^1251262-1 is not prime. Res64: 02B554AC2CCC97E8 Time : 0.0 sec. user=juhehe [2013-08-20 02:39:28] 819*2^1251260-1 is not prime. Res64: 382F23263D5C4795 Time : 0.0 sec. user=mdettweiler [2013-08-20 02:46:40] 987*2^1251262-1 is not prime. Res64: 053B20AA39C2EA5B Time : 0.0 sec. user=mdettweiler [2013-08-20 02:46:41] 693*2^1251263-1 is not prime. Res64: D573BB95F38E1A74 Time : 0.0 sec. user=mdettweiler [2013-08-20 02:47:51] 783*2^1251263-1 is not prime. Res64: 52669B66259771F8 Time : 0.0 sec. user=mdettweiler [2013-08-20 02:47:52] 895*2^1251263-1 is not prime. Res64: 3B3BE04BB8E88BC0 Time : 0.0 sec. user=mdettweiler [2013-08-20 02:52:00] 629*2^1251264-1 is not prime. Res64: 5EF03B40B9857E6D Time : 0.0 sec. user=mdettweiler [2013-08-20 02:52:00] 635*2^1251264-1 is not prime. Res64: 98CE74E18B09C87F Time : 0.0 sec. user=mdettweiler [2013-08-20 02:52:22] 657*2^1251264-1 is not prime. Res64: 767C268876CD7F8D Time : 0.0 sec. user=mdettweiler [2013-08-20 02:52:23] 725*2^1251264-1 is not prime. Res64: 0E95E9D9137958EE Time : 0.0 sec. user=mdettweiler [2013-08-20 03:08:09] 993*2^1251264-1 is not prime. Res64: 848A6FFD441E4C89 Time : 0.0 sec. user=mdettweiler [2013-08-20 03:08:10] 685*2^1251265-1 is not prime. Res64: 32D26347D977BBCC Time : 0.0 sec. user=mdettweiler [2013-08-20 03:09:07] 817*2^1251265-1 is not prime. Res64: 7CD2498675FB1518 Time : 0.0 sec. user=mdettweiler [2013-08-20 03:09:07] 955*2^1251265-1 is not prime. Res64: 25857280409412D0 Time : 0.0 sec. user=mdettweiler [2013-08-20 03:13:10] 975*2^1251265-1 is not prime. Res64: 56AF78E6CA7F5031 Time : 0.0 sec. user=mdettweiler [2013-08-20 03:13:11] 755*2^1251266-1 is not prime. Res64: D7B7C084E67256BE Time : 0.0 sec. user=mdettweiler [2013-08-20 03:14:33] 911*2^1251266-1 is not prime. Res64: 284F5F2208EF8693 Time : 0.0 sec. user=mdettweiler [2013-08-20 03:14:34] 993*2^1251266-1 is not prime. Res64: 28EFF6082E0B7F13 Time : 0.0 sec. user=juhehe [2013-08-20 03:20:50] 747*2^1251264-1 is not prime. Res64: 7CF8B9D179AF8583 Time : 0.0 sec. user=mdettweiler [2013-08-20 03:28:28] 609*2^1251267-1 is not prime. Res64: D351533EA0464784 Time : 0.0 sec. user=mdettweiler [2013-08-20 03:28:28] 619*2^1251267-1 is not prime. Res64: DFC3EEECF00FDB20 Time : 0.0 sec. user=mdettweiler [2013-08-20 03:29:21] 643*2^1251267-1 is not prime. Res64: B780DB9974D9D2B2 Time : 0.0 sec. user=mdettweiler [2013-08-20 03:29:21] 703*2^1251267-1 is not prime. Res64: 0961FB7F280278A9 Time : 0.0 sec. user=mdettweiler [2013-08-20 03:33:23] 835*2^1251267-1 is not prime. Res64: 5621970C35803657 Time : 0.0 sec. user=mdettweiler [2013-08-20 03:33:23] 871*2^1251267-1 is not prime. Res64: 6D6A6AA0B8FBE903 Time : 0.0 sec. user=mdettweiler [2013-08-20 03:34:39] 873*2^1251267-1 is not prime. Res64: DE53BBF48C0F37AC Time : 0.0 sec. user=mdettweiler [2013-08-20 03:34:40] 749*2^1251268-1 is not prime. Res64: EC068F28B38AFF69 Time : 0.0 sec. user=mdettweiler [2013-08-20 03:48:32] 875*2^1251268-1 is not prime. Res64: B49171CD8FE401F5 Time : 0.0 sec. user=mdettweiler [2013-08-20 03:48:32] 887*2^1251268-1 is not prime. Res64: 86D4191854FCA7AE Time : 0.0 sec. user=mdettweiler [2013-08-20 03:51:16] 909*2^1251268-1 is not prime. Res64: F284E5BE154097C3 Time : 0.0 sec. user=mdettweiler [2013-08-20 03:51:17] 969*2^1251268-1 is not prime. Res64: B130C641669023CA Time : 0.0 sec. user=mdettweiler [2013-08-20 03:54:23] 993*2^1251268-1 is not prime. Res64: 9DBAC0BA13BE94D3 Time : 0.0 sec. user=mdettweiler [2013-08-20 03:54:23] 799*2^1251269-1 is not prime. Res64: 4F4CD7003AEF42C7 Time : 0.0 sec. user=mdettweiler [2013-08-20 03:54:49] 811*2^1251269-1 is not prime. Res64: 705DC38DF5C6EB82 Time : 0.0 sec. user=mdettweiler [2013-08-20 03:54:49] 837*2^1251269-1 is not prime. Res64: 265269D3ED5F8187 Time : 0.0 sec. user=mdettweiler [2013-08-20 04:08:35] 889*2^1251269-1 is not prime. Res64: 6EA6AEB7C8C53268 Time : 0.0 sec. user=mdettweiler [2013-08-20 04:08:36] 711*2^1251270-1 is not prime. Res64: D3F7F2C94048657C Time : 0.0 sec. user=juhehe [2013-08-20 04:11:09] 833*2^1251268-1 is not prime. Res64: 91C9C8788F6805AA Time : 0.0 sec. user=mdettweiler [2013-08-20 04:11:17] 765*2^1251270-1 is not prime. Res64: 3BD56CCC096A828F Time : 0.0 sec. user=mdettweiler [2013-08-20 04:11:17] 777*2^1251270-1 is not prime. Res64: E0FE9FBB9681B0EA Time : 0.0 sec. user=mdettweiler [2013-08-20 04:14:56] 673*2^1251271-1 is not prime. Res64: 24690F6B35F4C687 Time : 0.0 sec. user=mdettweiler [2013-08-20 04:14:57] 723*2^1251271-1 is not prime. Res64: 2AC7D314032D2DD6 Time : 0.0 sec. user=mdettweiler [2013-08-20 04:15:22] 843*2^1251270-1 is not prime. Res64: D81EC4C5FBB65A3B Time : 0.0 sec. user=mdettweiler [2013-08-20 04:15:22] 927*2^1251270-1 is not prime. Res64: 4E3AEB048942D776 Time : 0.0 sec. user=mdettweiler [2013-08-20 04:28:46] 745*2^1251271-1 is not prime. Res64: A1D092BAC98BC2CE Time : 0.0 sec. user=mdettweiler [2013-08-20 04:28:46] 819*2^1251271-1 is not prime. Res64: C0A3AAB2EEF9D9B9 Time : 0.0 sec. user=mdettweiler [2013-08-20 04:32:17] 993*2^1251271-1 is not prime. Res64: 2A70B955FD81B759 Time : 0.0 sec. user=mdettweiler [2013-08-20 04:32:18] 633*2^1251272-1 is not prime. Res64: 9FB96F49F6279EDE Time : 0.0 sec. user=mdettweiler [2013-08-20 04:35:55] 867*2^1251272-1 is not prime. Res64: ED7CDE67B94650B0 Time : 0.0 sec. user=mdettweiler [2013-08-20 04:35:55] 915*2^1251272-1 is not prime. Res64: F652E0D20A9346E0 Time : 0.0 sec. user=mdettweiler [2013-08-20 04:36:19] 923*2^1251272-1 is not prime. Res64: 01A87EF4EAD25164 Time : 0.0 sec. user=mdettweiler [2013-08-20 04:36:19] 607*2^1251273-1 is not prime. Res64: D73817A97F01ACFA Time : 0.0 sec. user=mdettweiler [2013-08-20 04:48:40] 609*2^1251273-1 is not prime. Res64: E46595D9B1D161FC Time : 0.0 sec. user=mdettweiler [2013-08-20 04:48:40] 691*2^1251273-1 is not prime. Res64: 5E50214EBD22DB67 Time : 0.0 sec. user=mdettweiler [2013-08-20 04:52:21] 741*2^1251273-1 is not prime. Res64: 2B3D40F808D4A726 Time : 0.0 sec. user=mdettweiler [2013-08-20 04:52:21] 745*2^1251273-1 is not prime. Res64: EA84FDD269B0A915 Time : 0.0 sec. user=mdettweiler [2013-08-20 04:55:49] 787*2^1251273-1 is not prime. Res64: A9B344481363705B Time : 0.0 sec. user=mdettweiler [2013-08-20 04:55:49] 819*2^1251273-1 is not prime. Res64: 18ED4B8B1162501A Time : 0.0 sec. user=mdettweiler [2013-08-20 04:56:17] 847*2^1251273-1 is not prime. Res64: 39CD3A72D7B59D57 Time : 0.0 sec. user=mdettweiler [2013-08-20 04:56:17] 885*2^1251273-1 is not prime. Res64: 6EBA17572BE25AC7 Time : 0.0 sec. user=mdettweiler [2013-08-20 05:10:09] 895*2^1251273-1 is not prime. Res64: 1986C39211E47E95 Time : 0.0 sec. user=mdettweiler [2013-08-20 05:10:10] 919*2^1251273-1 is not prime. Res64: 76594CCD1DBFD98B Time : 0.0 sec. user=mdettweiler [2013-08-20 05:13:42] 987*2^1251273-1 is not prime. Res64: 994C8CBC2C997A3A Time : 0.0 sec. user=mdettweiler [2013-08-20 05:13:42] 723*2^1251274-1 is not prime. Res64: BCAA44972720E186 Time : 0.0 sec. user=mdettweiler [2013-08-20 05:16:12] 887*2^1251274-1 is not prime. Res64: D5725205F382A9FB Time : 0.0 sec. user=mdettweiler [2013-08-20 05:16:12] 891*2^1251274-1 is not prime. Res64: 344D8AF920938715 Time : 0.0 sec. user=mdettweiler [2013-08-20 05:18:39] 923*2^1251274-1 is not prime. Res64: 47BEE6AF501093CC Time : 0.0 sec. user=mdettweiler [2013-08-20 05:18:40] 993*2^1251274-1 is not prime. Res64: AB56402EE7A6EA95 Time : 0.0 sec. user=mdettweiler [2013-08-20 05:30:15] 799*2^1251275-1 is not prime. Res64: 81BC2DD22DDF2B19 Time : 0.0 sec. user=mdettweiler [2013-08-20 05:30:15] 885*2^1251275-1 is not prime. Res64: 913F7F61F0C2A880 Time : 0.0 sec. user=mdettweiler [2013-08-20 05:35:30] 963*2^1251275-1 is not prime. Res64: 643D3936CAD9326F Time : 0.0 sec. user=mdettweiler [2013-08-20 05:35:31] 973*2^1251275-1 is not prime. Res64: 3FCC359F8036342F Time : 0.0 sec. user=mdettweiler [2013-08-20 05:37:04] 981*2^1251275-1 is not prime. Res64: 9160ECB300868557 Time : 0.0 sec. user=mdettweiler [2013-08-20 05:37:05] 705*2^1251276-1 is not prime. Res64: B689B4AF657BF3C9 Time : 0.0 sec. user=mdettweiler [2013-08-20 05:38:44] 645*2^1251277-1 is not prime. Res64: EAFD425258A296CD Time : 0.0 sec. user=mdettweiler [2013-08-20 05:38:45] 717*2^1251277-1 is not prime. Res64: 1E955500BDA01BAB Time : 0.0 sec. user=juhehe [2013-08-20 05:44:33] 633*2^1251275-1 is not prime. Res64: B549C9A4EA622056 Time : 0.0 sec. user=mdettweiler [2013-08-20 05:50:18] 729*2^1251277-1 is not prime. Res64: 825C8FC940427E8F Time : 0.0 sec. user=mdettweiler [2013-08-20 05:50:18] 885*2^1251277-1 is not prime. Res64: 4D3AA655B2BC8C0C Time : 0.0 sec. user=mdettweiler [2013-08-20 05:57:26] 931*2^1251277-1 is not prime. Res64: 981C98FEA2515CA1 Time : 0.0 sec. user=mdettweiler [2013-08-20 05:57:27] 939*2^1251277-1 is not prime. Res64: 10B6C88116B4462B Time : 0.0 sec. user=mdettweiler [2013-08-20 05:58:08] 985*2^1251277-1 is not prime. Res64: 0BBCF0D26656BD08 Time : 0.0 sec. user=mdettweiler [2013-08-20 05:58:08] 635*2^1251278-1 is not prime. Res64: 8EB0B41BDD2DF175 Time : 0.0 sec. user=mdettweiler [2013-08-20 05:58:49] 665*2^1251278-1 is not prime. Res64: 2062149917514425 Time : 0.0 sec. user=mdettweiler [2013-08-20 05:58:49] 693*2^1251278-1 is not prime. Res64: 0F726DC01CB70295 Time : 0.0 sec. user=mdettweiler [2013-08-20 06:10:23] 755*2^1251278-1 is not prime. Res64: 6757A50BA173106A Time : 0.0 sec. user=mdettweiler [2013-08-20 06:10:24] 761*2^1251278-1 is not prime. Res64: 5E94F47AF17D45EA Time : 0.0 sec. user=mdettweiler [2013-08-20 06:17:32] 771*2^1251278-1 is not prime. Res64: 5A72C545EC44F00D Time : 0.0 sec. user=mdettweiler [2013-08-20 06:17:33] 797*2^1251278-1 is not prime. Res64: 2FE5A78C9F89FD01 Time : 0.0 sec. user=mdettweiler [2013-08-20 06:19:09] 887*2^1251278-1 is not prime. Res64: 2E254494E25E5238 Time : 0.0 sec. user=mdettweiler [2013-08-20 06:19:10] 935*2^1251278-1 is not prime. Res64: 5848D4ABD884BDEF Time : 0.0 sec. user=mdettweiler [2013-08-20 06:19:53] 945*2^1251278-1 is not prime. Res64: 6C4C416BD351559E Time : 0.0 sec. user=mdettweiler [2013-08-20 06:19:53] 601*2^1251279-1 is not prime. Res64: 2A08E14BBB855B50 Time : 0.0 sec. user=mdettweiler [2013-08-20 06:30:28] 619*2^1251279-1 is not prime. Res64: 217C18848CFE751C Time : 0.0 sec. user=mdettweiler [2013-08-20 06:30:28] 633*2^1251279-1 is not prime. Res64: 197755E2C37BD097 Time : 0.0 sec. user=mdettweiler [2013-08-20 06:37:29] 669*2^1251279-1 is not prime. Res64: 76114F04EB8342CB Time : 0.0 sec. user=mdettweiler [2013-08-20 06:37:29] 679*2^1251279-1 is not prime. Res64: 5DA6B46A0AF0ABFB Time : 0.0 sec. user=mdettweiler [2013-08-20 06:40:05] 711*2^1251279-1 is not prime. Res64: FE7DBAEE7F8957C6 Time : 0.0 sec. user=mdettweiler [2013-08-20 06:40:05] 933*2^1251279-1 is not prime. Res64: 07213695383B1FDB Time : 0.0 sec. user=mdettweiler [2013-08-20 06:40:49] 951*2^1251279-1 is not prime. Res64: 959DF6068DB0E359 Time : 0.0 sec. user=mdettweiler [2013-08-20 06:40:49] 605*2^1251280-1 is not prime. Res64: 5463A1738F810367 Time : 0.0 sec. user=mdettweiler [2013-08-20 06:50:29] 677*2^1251280-1 is not prime. Res64: 17911BA413333A8E Time : 0.0 sec. user=mdettweiler [2013-08-20 06:50:29] 695*2^1251280-1 is not prime. Res64: 73AD49844EB0C6F7 Time : 0.0 sec. user=mdettweiler [2013-08-20 06:57:34] 839*2^1251280-1 is not prime. Res64: 2C39B7D6B1ECBEB8 Time : 0.0 sec. user=mdettweiler [2013-08-20 06:57:34] 849*2^1251280-1 is not prime. Res64: CBF304301FA86E79 Time : 0.0 sec. user=mdettweiler [2013-08-20 07:00:05] 619*2^1251281-1 is not prime. Res64: 85ED8DAA9710BA59 Time : 0.0 sec. user=mdettweiler [2013-08-20 07:00:06] 649*2^1251281-1 is not prime. Res64: 996AB2A0F6A1FF25 Time : 0.0 sec. user=mdettweiler [2013-08-20 07:01:52] 871*2^1251281-1 is not prime. Res64: 91D86813043945CF Time : 0.0 sec. user=mdettweiler [2013-08-20 07:01:53] 925*2^1251281-1 is not prime. Res64: 285570D494F4093C Time : 0.0 sec. user=mdettweiler [2013-08-20 07:11:37] 991*2^1251281-1 is not prime. Res64: FF34D4EE42BFFE5D Time : 0.0 sec. user=mdettweiler [2013-08-20 07:11:38] 815*2^1251282-1 is not prime. Res64: 5FA677988DEAEEBC Time : 0.0 sec. user=mdettweiler [2013-08-20 07:17:37] 875*2^1251282-1 is not prime. Res64: 16924F14D5EC5493 Time : 0.0 sec. user=mdettweiler [2013-08-20 07:17:38] 893*2^1251282-1 is not prime. Res64: 00315D0D2743CF07 Time : 0.0 sec. user=juhehe [2013-08-20 07:17:49] 707*2^1251280-1 is not prime. Res64: AE77B9661BEF54D1 Time : 0.0 sec. user=mdettweiler [2013-08-20 07:20:08] 709*2^1251283-1 is not prime. Res64: B4F048A64034C0BA Time : 0.0 sec. user=mdettweiler [2013-08-20 07:20:08] 765*2^1251283-1 is not prime. Res64: 9A36242972EF2652 Time : 0.0 sec. user=mdettweiler [2013-08-20 07:22:05] 771*2^1251283-1 is not prime. Res64: 1D90E6B876665654 Time : 0.0 sec. user=mdettweiler [2013-08-20 07:22:05] 871*2^1251283-1 is not prime. Res64: E987AC02E60EAC9A Time : 0.0 sec. user=mdettweiler [2013-08-20 07:32:45] 969*2^1251283-1 is not prime. Res64: F5BF608A111859F5 Time : 0.0 sec. user=mdettweiler [2013-08-20 07:32:46] 675*2^1251284-1 is not prime. Res64: B1818A8B569A1353 Time : 0.0 sec. user=mdettweiler [2013-08-20 07:37:38] 707*2^1251284-1 is not prime. Res64: 9165DC58FC2E6297 Time : 0.0 sec. user=mdettweiler [2013-08-20 07:37:38] 827*2^1251284-1 is not prime. Res64: 1A541BB78DED18FD Time : 0.0 sec. user=mdettweiler [2013-08-20 07:40:09] 837*2^1251284-1 is not prime. Res64: C5C73B312193EF01 Time : 0.0 sec. user=mdettweiler [2013-08-20 07:40:09] 843*2^1251284-1 is not prime. Res64: 5FC7BF5694A838FD Time : 0.0 sec. user=mdettweiler [2013-08-20 07:42:09] 873*2^1251284-1 is not prime. Res64: D02FD57240BCE925 Time : 0.0 sec. user=mdettweiler [2013-08-20 07:42:09] 639*2^1251285-1 is not prime. Res64: 345B6E884A304BBB Time : 0.0 sec. user=mdettweiler [2013-08-20 07:52:54] 691*2^1251285-1 is not prime. Res64: 26A21A396995B465 Time : 0.0 sec. user=mdettweiler [2013-08-20 07:52:55] 805*2^1251285-1 is not prime. Res64: F1DB48C471CBD564 Time : 0.0 sec. user=mdettweiler [2013-08-20 07:57:46] 817*2^1251285-1 is not prime. Res64: C63742B78697AA58 Time : 0.0 sec. user=mdettweiler [2013-08-20 07:57:46] 819*2^1251285-1 is not prime. Res64: F7A7022D5C0A4C9B Time : 0.0 sec. user=mdettweiler [2013-08-20 08:00:14] 861*2^1251285-1 is not prime. Res64: D4ACD2E907A582EF Time : 0.0 sec. user=mdettweiler [2013-08-20 08:00:17] 877*2^1251285-1 is not prime. Res64: 8B0DF6862C37D90C Time : 0.0 sec. user=mdettweiler [2013-08-20 08:03:08] 999*2^1251285-1 is not prime. Res64: C71C11F5EA375944 Time : 0.0 sec. user=mdettweiler [2013-08-20 08:03:10] 747*2^1251286-1 is not prime. Res64: D59ADFFB76D6718B Time : 0.0 sec. user=mdettweiler [2013-08-20 08:13:01] 801*2^1251286-1 is not prime. Res64: 70F8D793EE2A7241 Time : 0.0 sec. user=mdettweiler [2013-08-20 08:13:01] 861*2^1251286-1 is not prime. Res64: 19503977258287E8 Time : 0.0 sec. user=mdettweiler [2013-08-20 08:18:43] 887*2^1251286-1 is not prime. Res64: 5130E034D7638ECA Time : 0.0 sec. user=mdettweiler [2013-08-20 08:18:43] 1001*2^1251286-1 is not prime. Res64: 70F80BDF6E1E596B Time : 0.0 sec. user=mdettweiler [2013-08-20 08:20:20] 621*2^1251287-1 is not prime. Res64: 296B89029288E544 Time : 0.0 sec. user=mdettweiler [2013-08-20 08:20:20] 711*2^1251287-1 is not prime. Res64: CBCAF9F7AB7EE422 Time : 0.0 sec. user=mdettweiler [2013-08-20 08:23:15] 829*2^1251287-1 is not prime. Res64: F429CEB947326A26 Time : 0.0 sec. user=mdettweiler [2013-08-20 08:23:15] 861*2^1251287-1 is not prime. Res64: 5C9CD47E52331205 Time : 0.0 sec. user=mdettweiler [2013-08-20 08:34:00] 883*2^1251287-1 is not prime. Res64: A6DC07B55670E2A6 Time : 0.0 sec. user=mdettweiler [2013-08-20 08:34:00] 963*2^1251287-1 is not prime. Res64: 477F75BE889901DD Time : 0.0 sec. user=juhehe [2013-08-20 08:39:00] 775*2^1251287-1 is not prime. Res64: E0E7F2F089893600 Time : 0.0 sec. user=mdettweiler [2013-08-20 08:40:29] 657*2^1251288-1 is not prime. Res64: 003522EC0F2E70E3 Time : 0.0 sec. user=mdettweiler [2013-08-20 08:40:29] 795*2^1251288-1 is not prime. Res64: FB2032C77CF69EB0 Time : 0.0 sec. user=mdettweiler [2013-08-20 08:40:36] 973*2^1251287-1 is not prime. Res64: F6DB90B041C076B6 Time : 0.0 sec. user=mdettweiler [2013-08-20 08:40:36] 985*2^1251287-1 is not prime. Res64: 394B81BFC16DDDC3 Time : 0.0 sec. user=mdettweiler [2013-08-20 08:44:14] 797*2^1251288-1 is not prime. Res64: E9EB7E8809C2BFD4 Time : 0.0 sec. user=mdettweiler [2013-08-20 08:44:14] 933*2^1251288-1 is not prime. Res64: 003BDDAE980A40F0 Time : 0.0 sec. user=mdettweiler [2013-08-20 08:55:01] 801*2^1251289-1 is not prime. Res64: 3740F95482D88D54 Time : 0.0 sec. user=mdettweiler [2013-08-20 08:55:01] 931*2^1251289-1 is not prime. Res64: 4225AD372403E9C6 Time : 0.0 sec. user=mdettweiler [2013-08-20 09:00:17] 665*2^1251290-1 is not prime. Res64: C93CC2719BC62BB4 Time : 0.0 sec. user=mdettweiler [2013-08-20 09:00:17] 813*2^1251290-1 is not prime. Res64: 648858ED1ADA8A97 Time : 0.0 sec. user=mdettweiler [2013-08-20 09:01:20] 849*2^1251291-1 is not prime. Res64: 5CDA128B379F2DED Time : 0.0 sec. user=mdettweiler [2013-08-20 09:01:21] 975*2^1251291-1 is not prime. Res64: 39BE9361AD0F516F Time : 0.0 sec. user=mdettweiler [2013-08-20 09:04:02] 609*2^1251292-1 is not prime. Res64: D3D2B68717F42528 Time : 0.0 sec. user=mdettweiler [2013-08-20 09:04:03] 653*2^1251292-1 is not prime. Res64: 079B2949AD66B883 Time : 0.0 sec. user=mdettweiler [2013-08-20 09:14:51] 779*2^1251292-1 is not prime. Res64: AF61506210055522 Time : 0.0 sec. user=mdettweiler [2013-08-20 09:14:52] 819*2^1251292-1 is not prime. Res64: 1CF8A85E3FB4A8E6 Time : 0.0 sec. user=mdettweiler [2013-08-20 09:21:15] 627*2^1251293-1 is not prime. Res64: C61FEE80B9A75F46 Time : 0.0 sec. user=mdettweiler [2013-08-20 09:21:16] 657*2^1251293-1 is not prime. Res64: C1C1FD67F61124A5 Time : 0.0 sec. user=mdettweiler [2013-08-20 09:22:09] 915*2^1251292-1 is not prime. Res64: EF8DFCA7335D5D68 Time : 0.0 sec. user=mdettweiler [2013-08-20 09:22:09] 959*2^1251292-1 is not prime. Res64: 319D6C51B700B45C Time : 0.0 sec. user=mdettweiler [2013-08-20 09:24:02] 771*2^1251293-1 is not prime. Res64: 0E11B57C85A1CF05 Time : 0.0 sec. user=mdettweiler [2013-08-20 09:24:02] 781*2^1251293-1 is not prime. Res64: EB01199174A3BEDA Time : 0.0 sec. user=juhehe [2013-08-20 09:30:48] 719*2^1251292-1 is not prime. Res64: F102C43331919460 Time : 0.0 sec. user=mdettweiler [2013-08-20 09:35:43] 787*2^1251293-1 is not prime. Res64: E7463C154E18DD18 Time : 0.0 sec. user=mdettweiler [2013-08-20 09:35:44] 897*2^1251293-1 is not prime. Res64: 22078AAB57AA73C8 Time : 0.0 sec. user=mdettweiler [2013-08-20 09:41:14] 621*2^1251294-1 is not prime. Res64: 89EF371E1758E79C Time : 0.0 sec. user=mdettweiler [2013-08-20 09:41:15] 767*2^1251294-1 is not prime. Res64: 44EBCA5F71D5399E Time : 0.0 sec. user=mdettweiler [2013-08-20 09:42:07] 807*2^1251294-1 is not prime. Res64: 5153F6B204C38B7C Time : 0.0 sec. user=mdettweiler [2013-08-20 09:42:08] 881*2^1251294-1 is not prime. Res64: FD1F6938BD126707 Time : 0.0 sec. user=mdettweiler [2013-08-20 09:44:50] 947*2^1251294-1 is not prime. Res64: 9EC41814CA698A91 Time : 0.0 sec. user=mdettweiler [2013-08-20 09:44:50] 625*2^1251295-1 is not prime. Res64: A5363340AFB697FD Time : 0.0 sec. user=mdettweiler [2013-08-20 09:55:37] 675*2^1251295-1 is not prime. Res64: B65F30A470E234AD Time : 0.0 sec. user=mdettweiler [2013-08-20 09:55:38] 871*2^1251295-1 is not prime. Res64: B32F8B9C4911DD99 Time : 0.0 sec. user=mdettweiler [2013-08-20 10:01:09] 883*2^1251295-1 is not prime. Res64: C1A87FE435318FF8 Time : 0.0 sec. user=mdettweiler [2013-08-20 10:01:11] 885*2^1251295-1 is not prime. Res64: F5574C0605597443 Time : 0.0 sec. user=mdettweiler [2013-08-20 10:04:00] 913*2^1251295-1 is not prime. Res64: 937BEEE45DC753E6 Time : 0.0 sec. user=mdettweiler [2013-08-20 10:04:01] 999*2^1251295-1 is not prime. Res64: 40883FCF17C1B9AD Time : 0.0 sec. user=mdettweiler [2013-08-20 10:04:54] 609*2^1251296-1 is not prime. Res64: 8730993CDB826F63 Time : 0.0 sec. user=mdettweiler [2013-08-20 10:04:55] 735*2^1251296-1 is not prime. Res64: 1160E201FF51E6FB Time : 0.0 sec. user=mdettweiler [2013-08-20 10:15:46] 833*2^1251296-1 is not prime. Res64: F8135E4A99B08AC1 Time : 0.0 sec. user=mdettweiler [2013-08-20 10:15:47] 873*2^1251296-1 is not prime. Res64: DC6AF948FEAF09FD Time : 0.0 sec. user=mdettweiler [2013-08-20 10:23:20] 899*2^1251296-1 is not prime. Res64: 32FA091D08135BF0 Time : 0.0 sec. user=mdettweiler [2013-08-20 10:23:20] 983*2^1251296-1 is not prime. Res64: 94359FB71C0AD21C Time : 0.0 sec. user=mdettweiler [2013-08-20 10:24:27] 717*2^1251297-1 is not prime. Res64: 93DF0840EF817AF5 Time : 0.0 sec. user=mdettweiler [2013-08-20 10:24:28] 741*2^1251297-1 is not prime. Res64: A9F0BEB29C56F3AB Time : 0.0 sec. user=mdettweiler [2013-08-20 10:24:47] 795*2^1251297-1 is not prime. Res64: D406E184DCA5B597 Time : 0.0 sec. user=mdettweiler [2013-08-20 10:24:47] 829*2^1251297-1 is not prime. Res64: F4A4EFBFA3BCED64 Time : 0.0 sec. user=mdettweiler [2013-08-20 10:36:44] 847*2^1251297-1 is not prime. Res64: 9C685E08BCF4CC8E Time : 0.0 sec. user=mdettweiler [2013-08-20 10:36:44] 919*2^1251297-1 is not prime. Res64: 0B334EDF668085DF Time : 0.0 sec. user=mdettweiler [2013-08-20 10:43:14] 687*2^1251298-1 is not prime. Res64: EE0EC0DEF47A8308 Time : 0.0 sec. user=mdettweiler [2013-08-20 10:43:14] 713*2^1251298-1 is not prime. Res64: 0012047174C125DD Time : 0.0 sec. user=mdettweiler [2013-08-20 10:44:22] 737*2^1251298-1 is not prime. Res64: 48BA4B59C595B19B Time : 0.0 sec. user=mdettweiler [2013-08-20 10:44:22] 747*2^1251298-1 is not prime. Res64: ECC3AEFFE7F17329 Time : 0.0 sec. user=mdettweiler [2013-08-20 10:44:38] 843*2^1251298-1 is not prime. Res64: 76F20882B507E4FB Time : 0.0 sec. user=mdettweiler [2013-08-20 10:44:39] 855*2^1251298-1 is not prime. Res64: 9022FAE3AB610E3F Time : 0.0 sec. user=mdettweiler [2013-08-20 10:57:31] 861*2^1251298-1 is not prime. Res64: 173638BE1977BDBA Time : 0.0 sec. user=mdettweiler [2013-08-20 10:57:31] 971*2^1251298-1 is not prime. Res64: B3CEDA90EC8CCCAD Time : 0.0 sec. user=mdettweiler [2013-08-20 11:04:03] 981*2^1251298-1 is not prime. Res64: 8FB587E33AEABDF5 Time : 0.0 sec. user=mdettweiler [2013-08-20 11:04:03] 615*2^1251299-1 is not prime. Res64: 4392B748EE48CE7C Time : 0.0 sec. user=mdettweiler [2013-08-20 11:04:11] 675*2^1251299-1 is not prime. Res64: 20F143381876AA1B Time : 0.0 sec. user=mdettweiler [2013-08-20 11:04:12] 693*2^1251299-1 is not prime. Res64: A0F4E1BFD0F3F144 Time : 0.0 sec. user=mdettweiler [2013-08-20 11:04:28] 745*2^1251299-1 is not prime. Res64: B140FF13B1711A7C Time : 0.0 sec. user=mdettweiler [2013-08-20 11:04:29] 799*2^1251299-1 is not prime. Res64: BBFF2BCC15B2B6DB Time : 0.0 sec. user=juhehe [2013-08-20 11:13:38] 955*2^1251297-1 is not prime. Res64: 956A9A2563F619F4 Time : 0.0 sec. user=mdettweiler [2013-08-20 11:19:17] 939*2^1251299-1 is not prime. Res64: F5E22D179D5C8C4A Time : 0.0 sec. user=mdettweiler [2013-08-20 11:19:18] 979*2^1251299-1 is not prime. Res64: 64C33552C4640E87 Time : 0.0 sec. user=mdettweiler [2013-08-20 11:23:52] 609*2^1251300-1 is not prime. Res64: 41E68032E29C6C19 Time : 0.0 sec. user=mdettweiler [2013-08-20 11:23:52] 695*2^1251300-1 is not prime. Res64: 5BAB2D22202B0201 Time : 0.0 sec. user=mdettweiler [2013-08-20 11:24:04] 753*2^1251300-1 is not prime. Res64: 1F5D4528BB866D4E Time : 0.0 sec. user=mdettweiler [2013-08-20 11:24:04] 875*2^1251300-1 is not prime. Res64: 5DB844800AF16206 Time : 0.0 sec. user=mdettweiler [2013-08-20 11:25:18] 945*2^1251300-1 is not prime. Res64: 630F25BB26E9C9CA Time : 0.0 sec. user=mdettweiler [2013-08-20 11:25:19] 717*2^1251301-1 is not prime. Res64: FE963C0123B57DEA Time : 0.0 sec. user=mdettweiler [2013-08-20 11:39:13] 603*2^1251302-1 is not prime. Res64: 65B4467ACA063C93 Time : 0.0 sec. user=mdettweiler [2013-08-20 11:39:13] 617*2^1251302-1 is not prime. Res64: DAE4E5D316982806 Time : 0.0 sec. user=mdettweiler [2013-08-20 11:43:50] 693*2^1251302-1 is not prime. Res64: AD0D1507C0333D39 Time : 0.0 sec. user=mdettweiler [2013-08-20 11:43:51] 705*2^1251303-1 is not prime. Res64: FA3D6D609AF279B9 Time : 0.0 sec. user=mdettweiler [2013-08-20 11:43:58] 735*2^1251303-1 is not prime. Res64: 934583FDA29594A6 Time : 0.0 sec. user=mdettweiler [2013-08-20 11:43:58] 823*2^1251303-1 is not prime. Res64: 0EE734FA5D704E9A Time : 0.0 sec. user=mdettweiler [2013-08-20 11:46:08] 895*2^1251303-1 is not prime. Res64: DD51BCBD22E6846A Time : 0.0 sec. user=mdettweiler [2013-08-20 11:46:08] 921*2^1251303-1 is not prime. Res64: 76BCCDDEA4F3813D Time : 0.0 sec. user=mdettweiler [2013-08-20 11:59:13] 615*2^1251304-1 is not prime. Res64: 459CF9BFFB4C5ED3 Time : 0.0 sec. user=mdettweiler [2013-08-20 11:59:14] 785*2^1251304-1 is not prime. Res64: FC97611C118585F0 Time : 0.0 sec. user=mdettweiler [2013-08-20 12:03:56] 843*2^1251304-1 is not prime. Res64: 76766064E40BDA0E Time : 0.0 sec. user=mdettweiler [2013-08-20 12:03:57] 849*2^1251304-1 is not prime. Res64: C57AC690F82CFC74 Time : 0.0 sec. user=mdettweiler [2013-08-20 12:04:56] 857*2^1251304-1 is not prime. Res64: A9BAE594CA164C90 Time : 0.0 sec. user=mdettweiler [2013-08-20 12:04:57] 915*2^1251304-1 is not prime. Res64: C07BCAA3D35F5769 Time : 0.0 sec. user=mdettweiler [2013-08-20 12:08:07] 939*2^1251304-1 is not prime. Res64: 44035DDA6F55D5E6 Time : 0.0 sec. user=mdettweiler [2013-08-20 12:08:08] 975*2^1251304-1 is not prime. Res64: 2E1F144FEE61FC47 Time : 0.0 sec. user=mdettweiler [2013-08-20 12:19:07] 675*2^1251305-1 is not prime. Res64: EED78C91F8B72366 Time : 0.0 sec. user=mdettweiler [2013-08-20 12:19:07] 711*2^1251305-1 is not prime. Res64: 95E8E5D39D813207 Time : 0.0 sec. user=mdettweiler [2013-08-20 12:23:45] 729*2^1251305-1 is not prime. Res64: 8E7428B6806DEDC4 Time : 0.0 sec. user=mdettweiler [2013-08-20 12:23:46] 871*2^1251305-1 is not prime. Res64: 6DE226450989235B Time : 0.0 sec. user=mdettweiler [2013-08-20 12:25:40] 981*2^1251305-1 is not prime. Res64: 559D385AD6F6DB74 Time : 0.0 sec. user=mdettweiler [2013-08-20 12:25:40] 755*2^1251306-1 is not prime. Res64: 8DEA3D77CA3A16F7 Time : 0.0 sec. user=mdettweiler [2013-08-20 12:27:54] 843*2^1251306-1 is not prime. Res64: CD6836459446EC9D Time : 0.0 sec. user=mdettweiler [2013-08-20 12:27:54] 893*2^1251306-1 is not prime. Res64: BBBEB17964A1E2A4 Time : 0.0 sec. user=mdettweiler [2013-08-20 12:39:51] 905*2^1251306-1 is not prime. Res64: 08155F3B820DC109 Time : 0.0 sec. user=mdettweiler [2013-08-20 12:39:51] 645*2^1251307-1 is not prime. Res64: 5F29FD367C221132 Time : 0.0 sec. user=mdettweiler [2013-08-20 12:43:38] 663*2^1251307-1 is not prime. Res64: BB9B7830B691E782 Time : 0.0 sec. user=mdettweiler [2013-08-20 12:43:38] 691*2^1251307-1 is not prime. Res64: 73F9A914668DA51E Time : 0.0 sec. user=mdettweiler [2013-08-20 12:45:36] 733*2^1251307-1 is not prime. Res64: 51AF868F536B2EF1 Time : 0.0 sec. user=mdettweiler [2013-08-20 12:45:36] 793*2^1251307-1 is not prime. Res64: B78A186446ADD255 Time : 0.0 sec. user=mdettweiler [2013-08-20 12:47:47] 835*2^1251307-1 is not prime. Res64: 8819E6F8E17F03F2 Time : 0.0 sec. user=mdettweiler [2013-08-20 12:47:47] 841*2^1251307-1 is not prime. Res64: 90123C0A49B3A05B Time : 0.0 sec. user=mdettweiler [2013-08-20 12:59:47] 849*2^1251307-1 is not prime. Res64: 365A278B4911F4A2 Time : 0.0 sec. user=mdettweiler [2013-08-20 12:59:48] 859*2^1251307-1 is not prime. Res64: CE2DD3405E8F4FB2 Time : 0.0 sec. user=mdettweiler [2013-08-20 13:03:38] 633*2^1251308-1 is not prime. Res64: B8F11BF7A31B08D0 Time : 0.0 sec. user=mdettweiler [2013-08-20 13:03:40] 753*2^1251308-1 is not prime. Res64: AA51CB72D85FA281 Time : 0.0 sec. user=mdettweiler [2013-08-20 13:07:24] 963*2^1251308-1 is not prime. Res64: E9150828B2FBCC86 Time : 0.0 sec. user=mdettweiler [2013-08-20 13:07:24] 987*2^1251308-1 is not prime. Res64: 2562FC4450D34A5C Time : 0.0 sec. user=mdettweiler [2013-08-20 13:07:38] 655*2^1251309-1 is not prime. Res64: F671D7B9CD1E6CA6 Time : 0.0 sec. user=mdettweiler [2013-08-20 13:07:39] 711*2^1251309-1 is not prime. Res64: B40382A40EA6C267 Time : 0.0 sec. user=mdettweiler [2013-08-20 13:20:50] 895*2^1251309-1 is not prime. Res64: 3A1F2C0637FA36A9 Time : 0.0 sec. user=mdettweiler [2013-08-20 13:20:51] 907*2^1251309-1 is not prime. Res64: 4B564BB0CA3D1F59 Time : 0.0 sec. user=mdettweiler [2013-08-20 13:25:38] 921*2^1251309-1 is not prime. Res64: 37CE7D0D1846E1FB Time : 0.0 sec. user=mdettweiler [2013-08-20 13:25:39] 999*2^1251309-1 is not prime. Res64: 2DBA327046EF82EB Time : 0.0 sec. user=mdettweiler [2013-08-20 13:27:24] 603*2^1251310-1 is not prime. Res64: 9794282329854079 Time : 0.0 sec. user=mdettweiler [2013-08-20 13:27:24] 713*2^1251310-1 is not prime. Res64: 5F6198B75C473B73 Time : 0.0 sec. user=mdettweiler [2013-08-20 13:27:42] 761*2^1251310-1 is not prime. Res64: 739E9837B08AAEC3 Time : 0.0 sec. user=mdettweiler [2013-08-20 13:27:42] 855*2^1251310-1 is not prime. Res64: 6FA1C33747352D21 Time : 0.0 sec. user=juhehe [2013-08-20 13:39:14] 765*2^1251309-1 is not prime. Res64: 3236696CA542518A Time : 0.0 sec. user=mdettweiler [2013-08-20 13:41:42] 863*2^1251310-1 is not prime. Res64: 0595FA5A97D844B5 Time : 0.0 sec. user=mdettweiler [2013-08-20 13:41:42] 917*2^1251310-1 is not prime. Res64: 9B4DE7B30540E172 Time : 0.0 sec. user=mdettweiler [2013-08-20 13:45:30] 645*2^1251311-1 is not prime. Res64: 939668C8885DDF15 Time : 0.0 sec. user=mdettweiler [2013-08-20 13:45:30] 735*2^1251311-1 is not prime. Res64: 01302191812F72EC Time : 0.0 sec. user=mdettweiler [2013-08-20 13:47:19] 753*2^1251311-1 is not prime. Res64: A13A95F0E2A9F02D Time : 0.0 sec. user=mdettweiler [2013-08-20 13:47:19] 841*2^1251311-1 is not prime. Res64: 77815E3477316F51 Time : 0.0 sec. user=mdettweiler [2013-08-20 13:48:30] 859*2^1251311-1 is not prime. Res64: 72F35D327677E0C0 Time : 0.0 sec. user=mdettweiler [2013-08-20 13:48:31] 973*2^1251311-1 is not prime. Res64: 982C7B37D6948E6A Time : 0.0 sec. user=mdettweiler [2013-08-20 14:01:41] 669*2^1251312-1 is not prime. Res64: BD1F8F4F975969D9 Time : 0.0 sec. user=mdettweiler [2013-08-20 14:01:42] 825*2^1251312-1 is not prime. Res64: C573461C58DB8FA2 Time : 0.0 sec. user=mdettweiler [2013-08-20 14:05:20] 849*2^1251312-1 is not prime. Res64: 1BC6A18D07EA07C4 Time : 0.0 sec. user=mdettweiler [2013-08-20 14:05:21] 607*2^1251313-1 is not prime. Res64: 612337B38DC70742 Time : 0.0 sec. user=mdettweiler [2013-08-20 14:07:08] 619*2^1251313-1 is not prime. Res64: 21DB182EA1A64A25 Time : 0.0 sec. user=mdettweiler [2013-08-20 14:07:08] 765*2^1251313-1 is not prime. Res64: 4DC3368F9D30D40B Time : 0.0 sec. user=mdettweiler [2013-08-20 14:08:25] 651*2^1251314-1 is not prime. Res64: F324D2A759E9AF86 Time : 0.0 sec. user=mdettweiler [2013-08-20 14:08:26] 675*2^1251314-1 is not prime. Res64: 762A9498CF0773DB Time : 0.0 sec. user=mdettweiler [2013-08-20 14:21:41] 705*2^1251314-1 is not prime. Res64: EDEAC5C39CC4E9E9 Time : 0.0 sec. user=mdettweiler [2013-08-20 14:21:41] 743*2^1251314-1 is not prime. Res64: AC243C3971DB0996 Time : 0.0 sec. user=mdettweiler [2013-08-20 14:26:11] 797*2^1251314-1 is not prime. Res64: 1953D11897E87E6F Time : 0.0 sec. user=mdettweiler [2013-08-20 14:26:11] 995*2^1251314-1 is not prime. Res64: 514DCA4ABF168C8A Time : 0.0 sec. user=mdettweiler [2013-08-20 14:27:05] 679*2^1251315-1 is not prime. Res64: BFA078C9263114CA Time : 0.0 sec. user=mdettweiler [2013-08-20 14:27:06] 829*2^1251315-1 is not prime. Res64: 1DFD3C220E148EAD Time : 0.0 sec. user=mdettweiler [2013-08-20 14:29:17] 885*2^1251315-1 is not prime. Res64: F3E5D7811F5F91DE Time : 0.0 sec. user=mdettweiler [2013-08-20 14:29:18] 913*2^1251315-1 is not prime. Res64: 7385EE0071869B34 Time : 0.0 sec. user=mdettweiler [2013-08-20 14:43:34] 951*2^1251315-1 is not prime. Res64: DA3A2A658B2A60EB Time : 0.0 sec. user=mdettweiler [2013-08-20 14:43:34] 969*2^1251315-1 is not prime. Res64: 2C41AC95E4053468 Time : 0.0 sec. user=mdettweiler [2013-08-20 14:46:04] 629*2^1251316-1 is not prime. Res64: B484D73B6C1F88EC Time : 0.0 sec. user=mdettweiler [2013-08-20 14:46:05] 675*2^1251316-1 is not prime. Res64: F61A1137E9CF7733 Time : 0.0 sec. user=mdettweiler [2013-08-20 14:47:00] 707*2^1251316-1 is not prime. Res64: 6F0D884D10C54108 Time : 0.0 sec. user=mdettweiler [2013-08-20 14:47:00] 723*2^1251316-1 is not prime. Res64: EE9434D500A9BF54 Time : 0.0 sec. user=mdettweiler [2013-08-20 14:49:14] 779*2^1251316-1 is not prime. Res64: 1CE01DA5248C3072 Time : 0.0 sec. user=mdettweiler [2013-08-20 14:49:14] 601*2^1251317-1 is not prime. Res64: CCC1A0B35871019E Time : 0.0 sec. user=mdettweiler [2013-08-20 15:03:33] 669*2^1251317-1 is not prime. Res64: 2BED2194822872A9 Time : 0.0 sec. user=mdettweiler [2013-08-20 15:03:34] 727*2^1251317-1 is not prime. Res64: E83EDD6AB18B5C91 Time : 0.0 sec. user=mdettweiler [2013-08-20 15:05:58] 741*2^1251317-1 is not prime. Res64: C2791E823E118586 Time : 0.0 sec. user=mdettweiler [2013-08-20 15:05:59] 747*2^1251317-1 is not prime. Res64: DD12C7BA74C00EBE Time : 0.0 sec. user=mdettweiler [2013-08-20 15:06:50] 759*2^1251317-1 is not prime. Res64: 4B75A9AAF341BFFA Time : 0.0 sec. user=mdettweiler [2013-08-20 15:06:51] 801*2^1251317-1 is not prime. Res64: 1B26EA09040BB27E Time : 0.0 sec. user=mdettweiler [2013-08-20 15:09:02] 663*2^1251318-1 is not prime. Res64: B2226284324A7ABB Time : 0.0 sec. user=mdettweiler [2013-08-20 15:09:03] 677*2^1251318-1 is not prime. Res64: F94261F9B8106324 Time : 0.0 sec. user=mdettweiler [2013-08-20 15:23:32] 731*2^1251318-1 is not prime. Res64: 49B5C6F180067082 Time : 0.0 sec. user=mdettweiler [2013-08-20 15:23:32] 791*2^1251318-1 is not prime. Res64: E41D29B7C2684EAB Time : 0.0 sec. user=mdettweiler [2013-08-20 15:26:41] 829*2^1251319-1 is not prime. Res64: 09BA9D98DDF77707 Time : 0.0 sec. user=mdettweiler [2013-08-20 15:26:42] 853*2^1251319-1 is not prime. Res64: B77EB2D8B6B3437B Time : 0.0 sec. user=mdettweiler [2013-08-20 15:26:55] 891*2^1251318-1 is not prime. Res64: 88D23C1498B5E303 Time : 0.0 sec. user=mdettweiler [2013-08-20 15:26:56] 1001*2^1251318-1 is not prime. Res64: 410F2C375A50EBF4 Time : 0.0 sec. user=mdettweiler [2013-08-20 15:29:02] 861*2^1251319-1 is not prime. Res64: E77D6E4F497CFCD3 Time : 0.0 sec. user=mdettweiler [2013-08-20 15:29:03] 873*2^1251319-1 is not prime. Res64: 1DDCDBD729048DDB Time : 0.0 sec. user=mdettweiler [2013-08-20 15:44:25] 889*2^1251319-1 is not prime. Res64: D9FBF3EE01C5CCF5 Time : 0.0 sec. user=mdettweiler [2013-08-20 15:44:26] 909*2^1251319-1 is not prime. Res64: DF814B0BB74333C1 Time : 0.0 sec. user=mdettweiler [2013-08-20 15:46:58] 713*2^1251320-1 is not prime. Res64: 21B65EF871F9CE7B Time : 0.0 sec. user=mdettweiler [2013-08-20 15:46:58] 797*2^1251320-1 is not prime. Res64: FDC6A21EC29BA03E Time : 0.0 sec. user=mdettweiler [2013-08-20 15:47:37] 961*2^1251319-1 is not prime. Res64: 0B8C923B52BCD686 Time : 0.0 sec. user=mdettweiler [2013-08-20 15:47:38] 629*2^1251320-1 is not prime. Res64: 99C3EAFD3E5F9FFB Time : 0.0 sec. user=mdettweiler [2013-08-20 15:49:56] 845*2^1251320-1 is not prime. Res64: 83777964690365AC Time : 0.0 sec. user=mdettweiler [2013-08-20 15:49:56] 959*2^1251320-1 is not prime. Res64: 156CCEA99F194C8D Time : 0.0 sec. user=mdettweiler [2013-08-20 16:04:23] 625*2^1251321-1 is not prime. Res64: B8190D21D3E55745 Time : 0.0 sec. user=mdettweiler [2013-08-20 16:04:24] 691*2^1251321-1 is not prime. Res64: A634514744FF9CB8 Time : 0.0 sec. user=mdettweiler [2013-08-20 16:06:58] 747*2^1251321-1 is not prime. Res64: 068710769B1595D6 Time : 0.0 sec. user=mdettweiler [2013-08-20 16:06:58] 781*2^1251321-1 is not prime. Res64: F98058CC3E2599F9 Time : 0.0 sec. user=mdettweiler [2013-08-20 16:07:37] 829*2^1251321-1 is not prime. Res64: CDE2252393FAEE62 Time : 0.0 sec. user=mdettweiler [2013-08-20 16:07:37] 837*2^1251321-1 is not prime. Res64: F14FF99B399D89A0 Time : 0.0 sec. user=mdettweiler [2013-08-20 16:10:00] 861*2^1251321-1 is not prime. Res64: CBC833D4EF5E727F Time : 0.0 sec. user=mdettweiler [2013-08-20 16:10:00] 867*2^1251321-1 is not prime. Res64: C266951E81A8940F Time : 0.0 sec. user=mdettweiler [2013-08-20 16:24:57] 895*2^1251321-1 is not prime. Res64: D7E7BCAEE04B4DD1 Time : 0.0 sec. user=mdettweiler [2013-08-20 16:24:58] 671*2^1251322-1 is not prime. Res64: 6E343FBB1C8080F4 Time : 0.0 sec. user=mdettweiler [2013-08-20 16:27:20] 675*2^1251322-1 is not prime. Res64: 8B128CA6E9BF39D2 Time : 0.0 sec. user=mdettweiler [2013-08-20 16:27:21] 677*2^1251322-1 is not prime. Res64: ED68E1B90FDB3EEA Time : 0.0 sec. user=mdettweiler [2013-08-20 16:28:05] 735*2^1251322-1 is not prime. Res64: F2A54C8AAA7F3636 Time : 0.0 sec. user=mdettweiler [2013-08-20 16:28:05] 803*2^1251322-1 is not prime. Res64: 7C1B5D17C398B766 Time : 0.0 sec. user=juhehe [2013-08-20 16:29:11] 609*2^1251321-1 is not prime. Res64: 799673199FF23B51 Time : 0.0 sec. user=mdettweiler [2013-08-20 16:31:24] 867*2^1251322-1 is not prime. Res64: 61CE3918FBFDF7F4 Time : 0.0 sec. user=mdettweiler [2013-08-20 16:31:25] 945*2^1251322-1 is not prime. Res64: E81FEA82FA7A3F7E Time : 0.0 sec. user=mdettweiler [2013-08-20 16:45:16] 609*2^1251323-1 is not prime. Res64: 162BD6641E465212 Time : 0.0 sec. user=mdettweiler [2013-08-20 16:45:16] 643*2^1251323-1 is not prime. Res64: 71AFFBCEAA576580 Time : 0.0 sec. user=mdettweiler [2013-08-20 16:47:35] 745*2^1251323-1 is not prime. Res64: 6BC39BA951E67D61 Time : 0.0 sec. user=mdettweiler [2013-08-20 16:47:35] 825*2^1251323-1 is not prime. Res64: 630D704C4A6727D3 Time : 0.0 sec. user=mdettweiler [2013-08-20 16:49:18] 885*2^1251323-1 is not prime. Res64: 3C3864B4A9DD98D1 Time : 0.0 sec. user=mdettweiler [2013-08-20 16:49:18] 921*2^1251323-1 is not prime. Res64: EBCC9D59DD860042 Time : 0.0 sec. user=mdettweiler [2013-08-20 16:52:42] 945*2^1251323-1 is not prime. Res64: 1C993BAD15ED035C Time : 0.0 sec. user=mdettweiler [2013-08-20 16:52:42] 693*2^1251324-1 is not prime. Res64: 78F79DF59FE4EF6D Time : 0.0 sec. user=mdettweiler [2013-08-20 17:05:43] 725*2^1251324-1 is not prime. Res64: 1978487C7480B340 Time : 0.0 sec. user=mdettweiler [2013-08-20 17:05:44] 765*2^1251324-1 is not prime. Res64: 368F5BBA2EC8252F Time : 0.0 sec. user=mdettweiler [2013-08-20 17:09:12] 825*2^1251324-1 is not prime. Res64: 3B172E3548844142 Time : 0.0 sec. user=mdettweiler [2013-08-20 17:09:13] 947*2^1251324-1 is not prime. Res64: 7668FCF4E12EEC10 Time : 0.0 sec. user=mdettweiler [2013-08-20 17:09:47] 715*2^1251325-1 is not prime. Res64: 8434A85F25B55699 Time : 0.0 sec. user=mdettweiler [2013-08-20 17:09:48] 729*2^1251325-1 is not prime. Res64: CC47C922815D8E0C Time : 0.0 sec. user=mdettweiler [2013-08-20 17:13:45] 799*2^1251325-1 is not prime. Res64: E474462E74C0CD87 Time : 0.0 sec. user=mdettweiler [2013-08-20 17:13:45] 831*2^1251325-1 is not prime. Res64: CEF98ABE3C120081 Time : 0.0 sec. user=mdettweiler [2013-08-20 17:26:54] 859*2^1251325-1 is not prime. Res64: 11F8F00738F546A6 Time : 0.0 sec. user=mdettweiler [2013-08-20 17:26:54] 885*2^1251325-1 is not prime. Res64: DF8BFB22C7FC032E Time : 0.0 sec. user=mdettweiler [2013-08-20 17:30:42] 711*2^1251326-1 is not prime. Res64: 17CDB91D9263589D Time : 0.0 sec. user=mdettweiler [2013-08-20 17:30:42] 741*2^1251326-1 is not prime. Res64: C0C1DD7D55868158 Time : 0.0 sec. user=mdettweiler [2013-08-20 17:31:10] 951*2^1251325-1 is not prime. Res64: 8EF5DD8521A62940 Time : 0.0 sec. user=mdettweiler [2013-08-20 17:31:11] 677*2^1251326-1 is not prime. Res64: B74152A1272E2E44 Time : 0.0 sec. user=mdettweiler [2013-08-20 17:35:11] 833*2^1251326-1 is not prime. Res64: DDE14EA417FE3B8E Time : 0.0 sec. user=mdettweiler [2013-08-20 17:35:11] 941*2^1251326-1 is not prime. Res64: 6BE31340FB891325 Time : 0.0 sec. user=mdettweiler [2013-08-20 17:48:03] 765*2^1251327-1 is not prime. Res64: C18C18262BCD9E3C Time : 0.0 sec. user=mdettweiler [2013-08-20 17:48:03] 901*2^1251327-1 is not prime. Res64: 9D20A4FFFBB2F1FF Time : 0.0 sec. user=mdettweiler [2013-08-20 17:51:18] 755*2^1251328-1 is not prime. Res64: 28955DAAF303D734 Time : 0.0 sec. user=mdettweiler [2013-08-20 17:51:19] 825*2^1251328-1 is not prime. Res64: 00737E4282E3887D Time : 0.0 sec. user=mdettweiler [2013-08-20 17:52:44] 919*2^1251327-1 is not prime. Res64: 12A9FD413CF9DF2C Time : 0.0 sec. user=mdettweiler [2013-08-20 17:52:44] 933*2^1251327-1 is not prime. Res64: 7EE6E1C779C88AF1 Time : 0.0 sec. user=mdettweiler [2013-08-20 17:56:25] 993*2^1251328-1 is not prime. Res64: D32F693D444C03F9 Time : 0.0 sec. user=mdettweiler [2013-08-20 17:56:26] 619*2^1251329-1 is not prime. Res64: B1F0EF54A95A153C Time : 0.0 sec. user=mdettweiler [2013-08-20 18:08:19] 657*2^1251329-1 is not prime. Res64: 00DFEF99923F5286 Time : 0.0 sec. user=mdettweiler [2013-08-20 18:08:20] 775*2^1251329-1 is not prime. Res64: 013F9FB2E256459B Time : 0.0 sec. user=mdettweiler [2013-08-20 18:11:29] 847*2^1251329-1 is not prime. Res64: 4057B6BB3B0346B9 Time : 0.0 sec. user=mdettweiler [2013-08-20 18:11:30] 865*2^1251329-1 is not prime. Res64: EBEBB440FD1E6CE6 Time : 0.0 sec. user=mdettweiler [2013-08-20 18:14:51] 897*2^1251329-1 is not prime. Res64: 521FAB9002B20CFA Time : 0.0 sec. user=mdettweiler [2013-08-20 18:14:51] 997*2^1251329-1 is not prime. Res64: EEA00C642EF2FB31 Time : 0.0 sec. user=mdettweiler [2013-08-20 18:16:29] 627*2^1251330-1 is not prime. Res64: 86B9883CFF5BA769 Time : 0.0 sec. user=mdettweiler [2013-08-20 18:16:30] 741*2^1251330-1 is not prime. Res64: 5E2C99F0346967C5 Time : 0.0 sec. user=mdettweiler [2013-08-20 18:28:29] 797*2^1251330-1 is not prime. Res64: 2588D03620FAB87A Time : 0.0 sec. user=mdettweiler [2013-08-20 18:28:29] 843*2^1251330-1 is not prime. Res64: 52D95374F3975464 Time : 0.0 sec. user=mdettweiler [2013-08-20 18:33:39] 921*2^1251330-1 is not prime. Res64: 9CD9C19D9D641019 Time : 0.0 sec. user=mdettweiler [2013-08-20 18:33:40] 933*2^1251330-1 is not prime. Res64: 80EBC94A5F89924B Time : 0.0 sec. user=mdettweiler [2013-08-20 18:35:57] 945*2^1251330-1 is not prime. Res64: 8CE07BC9D3C7CF94 Time : 0.0 sec. user=mdettweiler [2013-08-20 18:35:58] 651*2^1251331-1 is not prime. Res64: E6CBA4853E94E893 Time : 0.0 sec. user=mdettweiler [2013-08-20 18:36:45] 723*2^1251331-1 is not prime. Res64: 519F84F43680526A Time : 0.0 sec. user=mdettweiler [2013-08-20 18:36:46] 771*2^1251331-1 is not prime. Res64: 46A48E471A99866A Time : 0.0 sec. user=mdettweiler [2013-08-20 18:48:53] 789*2^1251331-1 is not prime. Res64: 8CD4919F1BE48715 Time : 0.0 sec. user=mdettweiler [2013-08-20 18:48:53] 835*2^1251331-1 is not prime. Res64: DCB3A1EBA8236F91 Time : 0.0 sec. user=mdettweiler [2013-08-20 18:54:57] 883*2^1251331-1 is not prime. Res64: 6C6EBA7AFC351B08 Time : 0.0 sec. user=mdettweiler [2013-08-20 18:54:58] 909*2^1251331-1 is not prime. Res64: D69F357833D36F81 Time : 0.0 sec. user=mdettweiler [2013-08-20 18:57:05] 785*2^1251332-1 is not prime. Res64: 6E31F29AEEACAF2E Time : 0.0 sec. user=mdettweiler [2013-08-20 18:57:05] 855*2^1251332-1 is not prime. Res64: 8878AE2D4C201E80 Time : 0.0 sec. user=mdettweiler [2013-08-20 18:57:18] 973*2^1251331-1 is not prime. Res64: 9DC1BAA1B8FE448D Time : 0.0 sec. user=mdettweiler [2013-08-20 18:57:19] 719*2^1251332-1 is not prime. Res64: F7F1795BBA1D5678 Time : 0.0 sec. user=mdettweiler [2013-08-20 19:09:16] 885*2^1251332-1 is not prime. Res64: 7DB2E1B202B6BDB6 Time : 0.0 sec. user=mdettweiler [2013-08-20 19:09:16] 735*2^1251333-1 is not prime. Res64: 254639382C41A014 Time : 0.0 sec. user=mdettweiler [2013-08-20 19:16:31] 765*2^1251333-1 is not prime. Res64: 70C74ED02BFC42DD Time : 0.0 sec. user=mdettweiler [2013-08-20 19:16:31] 969*2^1251333-1 is not prime. Res64: 45535916D175EEA4 Time : 0.0 sec. user=mdettweiler [2013-08-20 19:17:30] 623*2^1251334-1 is not prime. Res64: E8A51B992250BD53 Time : 0.0 sec. user=mdettweiler [2013-08-20 19:17:31] 645*2^1251334-1 is not prime. Res64: BE6E8B98BA0FE02F Time : 0.0 sec. user=mdettweiler [2013-08-20 19:17:58] 651*2^1251334-1 is not prime. Res64: D40B3D049EAED48E Time : 0.0 sec. user=mdettweiler [2013-08-20 19:17:58] 663*2^1251334-1 is not prime. Res64: CE54A13915D29952 Time : 0.0 sec. user=mdettweiler [2013-08-20 19:30:48] 671*2^1251334-1 is not prime. Res64: B2A3C5492A204915 Time : 0.0 sec. user=mdettweiler [2013-08-20 19:30:49] 941*2^1251334-1 is not prime. Res64: 37CE008AA02D3F05 Time : 0.0 sec. user=mdettweiler [2013-08-20 19:37:55] 685*2^1251335-1 is not prime. Res64: 12F05E922F3417E1 Time : 0.0 sec. user=mdettweiler [2013-08-20 19:37:55] 861*2^1251335-1 is not prime. Res64: 0883400AACEE57F1 Time : 0.0 sec. user=mdettweiler [2013-08-20 19:38:08] 951*2^1251334-1 is not prime. Res64: DFAB22EA1938CF8B Time : 0.0 sec. user=mdettweiler [2013-08-20 19:38:09] 673*2^1251335-1 is not prime. Res64: FB405CE0458CF59D Time : 0.0 sec. user=mdettweiler [2013-08-20 19:39:25] 885*2^1251335-1 is not prime. Res64: 91EDB5C20DE7492A Time : 0.0 sec. user=mdettweiler [2013-08-20 19:39:25] 943*2^1251335-1 is not prime. Res64: 37A60CD46D31D8DF Time : 0.0 sec. user=mdettweiler [2013-08-20 19:52:17] 981*2^1251335-1 is not prime. Res64: 95EF24A874D0E704 Time : 0.0 sec. user=mdettweiler [2013-08-20 19:52:17] 629*2^1251336-1 is not prime. Res64: 94D0ABAB0CCC9613 Time : 0.0 sec. user=mdettweiler [2013-08-20 19:58:28] 657*2^1251336-1 is not prime. Res64: 7FDDE8ADCF2A8222 Time : 0.0 sec. user=mdettweiler [2013-08-20 19:58:29] 893*2^1251336-1 is not prime. Res64: 9B580509595A0128 Time : 0.0 sec. user=mdettweiler [2013-08-20 19:59:50] 637*2^1251337-1 is not prime. Res64: 0B9EFDFE5FA8EEF6 Time : 0.0 sec. user=mdettweiler [2013-08-20 19:59:51] 639*2^1251337-1 is not prime. Res64: C8B7229E686987D3 Time : 0.0 sec. user=mdettweiler [2013-08-20 20:00:35] 905*2^1251336-1 is not prime. Res64: 647C7C97AC0B9372 Time : 0.0 sec. user=mdettweiler [2013-08-20 20:00:36] 933*2^1251336-1 is not prime. Res64: CB47229C9501BC16 Time : 0.0 sec. user=mdettweiler [2013-08-20 20:12:34] 645*2^1251337-1 is not prime. Res64: E18CA58677B86B1C Time : 0.0 sec. user=mdettweiler [2013-08-20 20:12:34] 667*2^1251337-1 is not prime. Res64: ACEA697B7FBB0388 Time : 0.0 sec. user=mdettweiler [2013-08-20 20:18:53] 675*2^1251337-1 is not prime. Res64: 81BCDDE8F7580E2B Time : 0.0 sec. user=mdettweiler [2013-08-20 20:18:54] 729*2^1251337-1 is not prime. Res64: FF811C7C83B44EC0 Time : 0.0 sec. user=mdettweiler [2013-08-20 20:21:56] 997*2^1251337-1 is not prime. Res64: ADFB862ECE221605 Time : 0.0 sec. user=mdettweiler [2013-08-20 20:21:57] 657*2^1251338-1 is not prime. Res64: 43CA6BECFAE5B585 Time : 0.0 sec. user=mdettweiler [2013-08-20 20:22:03] 931*2^1251337-1 is not prime. Res64: 3BB8E6E0F4D2B4A5 Time : 0.0 sec. user=mdettweiler [2013-08-20 20:22:03] 939*2^1251337-1 is not prime. Res64: 71CC24BBA3C75BFC Time : 0.0 sec. user=mdettweiler [2013-08-20 20:33:04] 743*2^1251338-1 is not prime. Res64: 4F8155F559F878E9 Time : 0.0 sec. user=mdettweiler [2013-08-20 20:33:04] 755*2^1251338-1 is not prime. Res64: 42B86657D17EEA6B Time : 0.0 sec. user=mdettweiler [2013-08-20 20:40:18] 813*2^1251338-1 is not prime. Res64: 54D891792FB2A0CA Time : 0.0 sec. user=mdettweiler [2013-08-20 20:40:18] 945*2^1251338-1 is not prime. Res64: 0361BEE7B6274922 Time : 0.0 sec. user=mdettweiler [2013-08-20 20:42:29] 609*2^1251339-1 is not prime. Res64: 43EE37D3B688DD4E Time : 0.0 sec. user=mdettweiler [2013-08-20 20:42:29] 669*2^1251339-1 is not prime. Res64: 433B3BC3E6331FD4 Time : 0.0 sec. user=mdettweiler [2013-08-20 20:43:23] 1001*2^1251338-1 is not prime. Res64: FEAA6B108D9B0A3E Time : 0.0 sec. user=mdettweiler [2013-08-20 20:43:23] 601*2^1251339-1 is not prime. Res64: 32845DBB7DAD13D1 Time : 0.0 sec. user=mdettweiler [2013-08-20 20:53:31] 709*2^1251339-1 is not prime. Res64: A2D817E0B03AFA29 Time : 0.0 sec. user=mdettweiler [2013-08-20 20:53:32] 775*2^1251339-1 is not prime. Res64: 91CBBDD8358FB0FF Time : 0.0 sec. user=mdettweiler [2013-08-20 21:00:39] 801*2^1251339-1 is not prime. Res64: 060ACB728E2E70A8 Time : 0.0 sec. user=mdettweiler [2013-08-20 21:00:40] 853*2^1251339-1 is not prime. Res64: 90AE715186337FCD Time : 0.0 sec. user=mdettweiler [2013-08-20 21:02:44] 891*2^1251339-1 is not prime. Res64: 0CF279735FFD17B3 Time : 0.0 sec. user=mdettweiler [2013-08-20 21:02:45] 895*2^1251339-1 is not prime. Res64: EA496CE42600834A Time : 0.0 sec. user=mdettweiler [2013-08-20 21:03:37] 675*2^1251340-1 is not prime. Res64: ECE39D5950EF1288 Time : 0.0 sec. user=mdettweiler [2013-08-20 21:03:38] 819*2^1251340-1 is not prime. Res64: 51270C68F6EA52C8 Time : 0.0 sec. user=mdettweiler [2013-08-20 21:13:37] 863*2^1251340-1 is not prime. Res64: 7879219BF70B0619 Time : 0.0 sec. user=mdettweiler [2013-08-20 21:13:38] 887*2^1251340-1 is not prime. Res64: DD0DA3F9BD0BDECA Time : 0.0 sec. user=mdettweiler [2013-08-20 21:21:53] 855*2^1251341-1 is not prime. Res64: F5E8A2381CFDD8B5 Time : 0.0 sec. user=mdettweiler [2013-08-20 21:21:53] 955*2^1251341-1 is not prime. Res64: 0DCEC1B335EC7D9D Time : 0.0 sec. user=mdettweiler [2013-08-20 21:23:44] 677*2^1251342-1 is not prime. Res64: 296FC3CF86FBFFBA Time : 0.0 sec. user=mdettweiler [2013-08-20 21:23:45] 681*2^1251342-1 is not prime. Res64: 36F4D7DDC7283383 Time : 0.0 sec. user=mdettweiler [2013-08-20 21:23:51] 957*2^1251341-1 is not prime. Res64: A0092E5CDC4762BF Time : 0.0 sec. user=mdettweiler [2013-08-20 21:23:51] 651*2^1251342-1 is not prime. Res64: 161431356E11B407 Time : 0.0 sec. user=mdettweiler [2013-08-20 21:33:41] 885*2^1251342-1 is not prime. Res64: 5FF20F2397999358 Time : 0.0 sec. user=mdettweiler [2013-08-20 21:33:41] 893*2^1251342-1 is not prime. Res64: A8FAE0318DA59762 Time : 0.0 sec. user=mdettweiler [2013-08-20 21:43:51] 941*2^1251342-1 is not prime. Res64: A219274DCB6810C0 Time : 0.0 sec. user=mdettweiler [2013-08-20 21:43:52] 975*2^1251342-1 is not prime. Res64: F9354DE839076656 Time : 0.0 sec. user=mdettweiler [2013-08-20 21:43:55] 625*2^1251343-1 is not prime. Res64: 4E42BB217D5257B3 Time : 0.0 sec. user=mdettweiler [2013-08-20 21:43:55] 723*2^1251343-1 is not prime. Res64: 9C57D38C64DA0441 Time : 0.0 sec. user=mdettweiler [2013-08-20 21:44:53] 853*2^1251343-1 is not prime. Res64: 5F62C11FBE3EEB76 Time : 0.0 sec. user=mdettweiler [2013-08-20 21:44:53] 999*2^1251343-1 is not prime. Res64: D7FDFC932862C8BA Time : 0.0 sec. user=juhehe [2013-08-20 21:48:02] 801*2^1251342-1 is not prime. Res64: CF59966D30A4A840 Time : 0.0 sec. user=mdettweiler [2013-08-20 21:53:51] 609*2^1251344-1 is not prime. Res64: 8F9952A9486827CA Time : 0.0 sec. user=mdettweiler [2013-08-20 21:53:51] 795*2^1251344-1 is not prime. Res64: 6169EE9FE3388E18 Time : 0.0 sec. user=mdettweiler [2013-08-20 22:04:02] 657*2^1251345-1 is not prime. Res64: 6531BF4816AE1AA0 Time : 0.0 sec. user=mdettweiler [2013-08-20 22:04:03] 685*2^1251345-1 is not prime. Res64: 9DD193935484933A Time : 0.0 sec. user=mdettweiler [2013-08-20 22:04:52] 875*2^1251344-1 is not prime. Res64: 2FD8C3EE7F8367B6 Time : 0.0 sec. user=mdettweiler [2013-08-20 22:04:54] 935*2^1251344-1 is not prime. Res64: FFCC6A43D823808D Time : 0.0 sec. user=mdettweiler [2013-08-20 22:04:58] 711*2^1251345-1 is not prime. Res64: B91E344DFA753FD5 Time : 0.0 sec. user=mdettweiler [2013-08-20 22:04:58] 777*2^1251345-1 is not prime. Res64: 4154142CE7D92237 Time : 0.0 sec. user=mdettweiler [2013-08-20 22:15:49] 937*2^1251345-1 is not prime. Res64: 9AD823CE03D516EA Time : 0.0 sec. user=mdettweiler [2013-08-20 22:15:49] 951*2^1251345-1 is not prime. Res64: DE0990356B53FC36 Time : 0.0 sec. user=mdettweiler [2013-08-20 22:25:18] 991*2^1251345-1 is not prime. Res64: 79A9D3481C5A3C07 Time : 0.0 sec. user=mdettweiler [2013-08-20 22:25:18] 743*2^1251346-1 is not prime. Res64: 78262D9FC4CDA86B Time : 0.0 sec. user=mdettweiler [2013-08-20 22:25:57] 777*2^1251346-1 is not prime. Res64: A021A2B1FFB3B975 Time : 0.0 sec. user=mdettweiler [2013-08-20 22:25:57] 911*2^1251346-1 is not prime. Res64: 284D5C3740FFC2EA Time : 0.0 sec. user=mdettweiler [2013-08-20 22:26:59] 917*2^1251346-1 is not prime. Res64: C2FC8FD0E880ABEA Time : 0.0 sec. user=mdettweiler [2013-08-20 22:27:00] 945*2^1251346-1 is not prime. Res64: 04F3380535BE5FE1 Time : 0.0 sec. user=mdettweiler [2013-08-20 22:36:56] 957*2^1251346-1 is not prime. Res64: 042498C6869F5F40 Time : 0.0 sec. user=mdettweiler [2013-08-20 22:36:56] 603*2^1251347-1 is not prime. Res64: 2972075BCABDD821 Time : 0.0 sec. user=juhehe [2013-08-20 22:38:48] 915*2^1251345-1 is not prime. Res64: 8B05E8A2D87AADDD Time : 0.0 sec. user=mdettweiler [2013-08-20 22:45:27] 655*2^1251347-1 is not prime. Res64: 73FA607AF27CDFD4 Time : 0.0 sec. user=mdettweiler [2013-08-20 22:45:27] 663*2^1251347-1 is not prime. Res64: 82D056960E672921 Time : 0.0 sec. user=mdettweiler [2013-08-20 22:45:58] 693*2^1251347-1 is not prime. Res64: FAB362F6B34A990A Time : 0.0 sec. user=mdettweiler [2013-08-20 22:45:59] 715*2^1251347-1 is not prime. Res64: 3F7E72D925E36BFD Time : 0.0 sec. user=mdettweiler [2013-08-20 22:47:06] 735*2^1251347-1 is not prime. Res64: A8EBF7A12B8E1FB4 Time : 0.0 sec. user=mdettweiler [2013-08-20 22:47:07] 741*2^1251347-1 is not prime. Res64: 0FE08BB2C53883CB Time : 0.0 sec. user=mdettweiler [2013-08-20 22:56:54] 859*2^1251347-1 is not prime. Res64: 5661F5704F07A70A Time : 0.0 sec. user=mdettweiler [2013-08-20 22:56:55] 883*2^1251347-1 is not prime. Res64: 8BE9C739C10D89C6 Time : 0.0 sec. user=mdettweiler [2013-08-20 23:06:57] 699*2^1251348-1 is not prime. Res64: 9A50EEF37E71283B Time : 0.0 sec. user=mdettweiler [2013-08-20 23:06:58] 915*2^1251348-1 is not prime. Res64: A258E19A2EDC37F9 Time : 0.0 sec. user=mdettweiler [2013-08-20 23:07:20] 973*2^1251347-1 is not prime. Res64: B5BBACD71C839944 Time : 0.0 sec. user=mdettweiler [2013-08-20 23:07:21] 999*2^1251347-1 is not prime. Res64: 8390589F5BAD2392 Time : 0.0 sec. user=mdettweiler [2013-08-20 23:08:08] 977*2^1251348-1 is not prime. Res64: 5D111BC7B15C60A9 Time : 0.0 sec. user=mdettweiler [2013-08-20 23:08:09] 609*2^1251349-1 is not prime. Res64: 1199B80549A2E1DA Time : 0.0 sec. user=mdettweiler [2013-08-20 23:16:57] 619*2^1251349-1 is not prime. Res64: 89F83D336C3E88FD Time : 0.0 sec. user=mdettweiler [2013-08-20 23:16:58] 675*2^1251349-1 is not prime. Res64: F15347C8ACEAFDF6 Time : 0.0 sec. user=mdettweiler [2013-08-20 23:27:05] 685*2^1251349-1 is not prime. Res64: 886E04C876A021DD Time : 0.0 sec. user=mdettweiler [2013-08-20 23:27:06] 741*2^1251349-1 is not prime. Res64: 4626103E665EC69C Time : 0.0 sec. user=mdettweiler [2013-08-20 23:27:28] 855*2^1251349-1 is not prime. Res64: 5D495B419928A5DF Time : 0.0 sec. user=mdettweiler [2013-08-20 23:27:28] 867*2^1251349-1 is not prime. Res64: 8DA89BD7B554C342 Time : 0.0 sec. user=mdettweiler [2013-08-20 23:28:12] 635*2^1251350-1 is not prime. Res64: AB5F7ED7FE8B3824 Time : 0.0 sec. user=mdettweiler [2013-08-20 23:28:13] 645*2^1251350-1 is not prime. Res64: 6498E4F4C24D4A6E Time : 0.0 sec. user=juhehe [2013-08-20 23:29:32] 885*2^1251347-1 is not prime. Res64: F9C9DB75BA984783 Time : 0.0 sec. user=mdettweiler [2013-08-20 23:37:15] 651*2^1251350-1 is not prime. Res64: 76D2FC90035AB3AC Time : 0.0 sec. user=mdettweiler [2013-08-20 23:37:15] 753*2^1251350-1 is not prime. Res64: 9DC4111FF63ED7D3 Time : 0.0 sec. user=mdettweiler [2013-08-20 23:48:01] 795*2^1251350-1 is not prime. Res64: 96A7118AC8AF2267 Time : 0.0 sec. user=mdettweiler [2013-08-20 23:48:01] 797*2^1251350-1 is not prime. Res64: CA415479E844E1B8 Time : 0.0 sec. user=mdettweiler [2013-08-20 23:48:40] 615*2^1251351-1 is not prime. Res64: 30C9EBA76CBD4FF6 Time : 0.0 sec. user=mdettweiler [2013-08-20 23:48:40] 619*2^1251351-1 is not prime. Res64: 2A8FC229E7589672 Time : 0.0 sec. user=mdettweiler [2013-08-20 23:49:17] 703*2^1251351-1 is not prime. Res64: B8785BEB66CD9C82 Time : 0.0 sec. user=mdettweiler [2013-08-20 23:49:18] 763*2^1251351-1 is not prime. Res64: E15835C26DD16AC2 Time : 0.0 sec. user=mdettweiler [2013-08-20 23:59:36] 991*2^1251351-1 is not prime. Res64: 240375BB0E50C474 Time : 0.0 sec. user=mdettweiler [2013-08-20 23:59:36] 675*2^1251352-1 is not prime. Res64: 7581BACD010C4F04 Time : 0.0 sec.