user=mdettweiler [2015-02-06 00:01:56] 777*2^1390417-1 is not prime. Res64: A6C4B46FDB6F728B Time : 0.0 sec. user=mdettweiler [2015-02-06 00:01:56] 801*2^1390417-1 is not prime. Res64: 92155C67E9ACC43D Time : 0.0 sec. user=mdettweiler [2015-02-06 00:28:38] 937*2^1390417-1 is not prime. Res64: F9A3A1F7AABEF86D Time : 0.0 sec. user=mdettweiler [2015-02-06 00:28:39] 957*2^1390417-1 is not prime. Res64: 43DADB15397D89BD Time : 0.0 sec. user=mdettweiler [2015-02-06 00:29:12] 981*2^1390417-1 is not prime. Res64: FBC4EB9E6B5EACA8 Time : 0.0 sec. user=mdettweiler [2015-02-06 00:29:13] 825*2^1390418-1 is not prime. Res64: B1AA104399852008 Time : 0.0 sec. user=mdettweiler [2015-02-06 00:29:32] 843*2^1390418-1 is not prime. Res64: E4565FA06451C5B5 Time : 0.0 sec. user=mdettweiler [2015-02-06 00:29:33] 941*2^1390418-1 is not prime. Res64: 3F54A092CBB4C287 Time : 0.0 sec. user=mdettweiler [2015-02-06 00:31:27] 615*2^1390419-1 is not prime. Res64: AD09DF507EA07F25 Time : 0.0 sec. user=mdettweiler [2015-02-06 00:31:28] 619*2^1390419-1 is not prime. Res64: 5D0B34B766024D16 Time : 0.0 sec. user=mdettweiler [2015-02-06 00:55:20] 625*2^1390419-1 is not prime. Res64: 96D782B11DE1AB3F Time : 0.0 sec. user=mdettweiler [2015-02-06 00:55:20] 709*2^1390419-1 is not prime. Res64: 1DF3333105BA10F6 Time : 0.0 sec. user=mdettweiler [2015-02-06 00:55:38] 751*2^1390419-1 is not prime. Res64: B7168F417E517891 Time : 0.0 sec. user=mdettweiler [2015-02-06 00:55:39] 769*2^1390419-1 is not prime. Res64: F348288BF7C8C97C Time : 0.0 sec. user=mdettweiler [2015-02-06 00:56:00] 795*2^1390419-1 is not prime. Res64: FA0CCD60DCF5C70E Time : 0.0 sec. user=mdettweiler [2015-02-06 00:56:00] 973*2^1390419-1 is not prime. Res64: FCC3C63F403A7772 Time : 0.0 sec. user=mdettweiler [2015-02-06 00:57:57] 979*2^1390419-1 is not prime. Res64: 90CE9A47F82BEF04 Time : 0.0 sec. user=mdettweiler [2015-02-06 00:57:57] 707*2^1390420-1 is not prime. Res64: FA55B0B2328E07DB Time : 0.0 sec. user=mdettweiler [2015-02-06 01:21:16] 735*2^1390420-1 is not prime. Res64: 3F93B3DE1FD4FD09 Time : 0.0 sec. user=mdettweiler [2015-02-06 01:21:16] 827*2^1390420-1 is not prime. Res64: FE8BE96BD4E73CE4 Time : 0.0 sec. user=mdettweiler [2015-02-06 01:21:36] 843*2^1390420-1 is not prime. Res64: 5B198CC21A80A8C0 Time : 0.0 sec. user=mdettweiler [2015-02-06 01:21:36] 887*2^1390420-1 is not prime. Res64: DCBAF9B3CF051408 Time : 0.0 sec. user=mdettweiler [2015-02-06 01:21:52] 939*2^1390420-1 is not prime. Res64: D7A8657782614829 Time : 0.0 sec. user=mdettweiler [2015-02-06 01:21:53] 995*2^1390420-1 is not prime. Res64: 93E24CE21CFB4AE0 Time : 0.0 sec. user=mdettweiler [2015-02-06 01:23:54] 615*2^1390421-1 is not prime. Res64: 2F68345C352F9F69 Time : 0.0 sec. user=mdettweiler [2015-02-06 01:23:55] 621*2^1390421-1 is not prime. Res64: 88DC29E97EFD7517 Time : 0.0 sec. user=mdettweiler [2015-02-06 01:47:08] 631*2^1390421-1 is not prime. Res64: D5C725E74EDAD97E Time : 0.0 sec. user=mdettweiler [2015-02-06 01:47:09] 727*2^1390421-1 is not prime. Res64: B6F989A5C2A86B24 Time : 0.0 sec. user=mdettweiler [2015-02-06 01:47:43] 805*2^1390421-1 is not prime. Res64: 7DC46124955D7B2A Time : 0.0 sec. user=mdettweiler [2015-02-06 01:47:43] 683*2^1390422-1 is not prime. Res64: 29623BCEB7D5FB22 Time : 0.0 sec. user=mdettweiler [2015-02-06 01:47:44] 705*2^1390422-1 is not prime. Res64: F97B2E6AF7C49E51 Time : 0.0 sec. user=mdettweiler [2015-02-06 01:47:44] 777*2^1390422-1 is not prime. Res64: 66EB3BFC9AFD4B96 Time : 0.0 sec. user=mdettweiler [2015-02-06 01:49:57] 885*2^1390422-1 is not prime. Res64: B22AEC0BEB7D5287 Time : 0.0 sec. user=mdettweiler [2015-02-06 01:49:57] 945*2^1390422-1 is not prime. Res64: D8F3CBC4427FB198 Time : 0.0 sec. user=mdettweiler [2015-02-06 02:13:11] 609*2^1390423-1 is not prime. Res64: BD30F4FEE142AC71 Time : 0.0 sec. user=mdettweiler [2015-02-06 02:13:11] 619*2^1390423-1 is not prime. Res64: 640158D5888106C3 Time : 0.0 sec. user=mdettweiler [2015-02-06 02:13:38] 639*2^1390423-1 is not prime. Res64: 4D2D181A00B0225B Time : 0.0 sec. user=mdettweiler [2015-02-06 02:13:39] 681*2^1390423-1 is not prime. Res64: F448484548D4CAF5 Time : 0.0 sec. user=mdettweiler [2015-02-06 02:13:40] 703*2^1390423-1 is not prime. Res64: 5797B8D194312F6F Time : 0.0 sec. user=mdettweiler [2015-02-06 02:13:40] 855*2^1390423-1 is not prime. Res64: 6786C5D8CDA3DF1D Time : 0.0 sec. user=mdettweiler [2015-02-06 02:15:57] 873*2^1390423-1 is not prime. Res64: E901A7702396320D Time : 0.0 sec. user=mdettweiler [2015-02-06 02:15:58] 895*2^1390423-1 is not prime. Res64: 768EA0DE5FD5CFF9 Time : 0.0 sec. user=mdettweiler [2015-02-06 02:39:07] 919*2^1390423-1 is not prime. Res64: 19D2E269ED2500D4 Time : 0.0 sec. user=mdettweiler [2015-02-06 02:39:07] 609*2^1390424-1 is not prime. Res64: C6E0BBD42CDDEFF2 Time : 0.0 sec. user=mdettweiler [2015-02-06 02:39:37] 617*2^1390424-1 is not prime. Res64: FEAE95BFA6D13ACE Time : 0.0 sec. user=mdettweiler [2015-02-06 02:39:37] 629*2^1390424-1 is not prime. Res64: C6CFB9410A5B3A7D Time : 0.0 sec. user=mdettweiler [2015-02-06 02:39:40] 635*2^1390424-1 is not prime. Res64: 64F5A5618A3A1451 Time : 0.0 sec. user=mdettweiler [2015-02-06 02:39:40] 659*2^1390424-1 is not prime. Res64: 964CB0FE6FF30642 Time : 0.0 sec. user=mdettweiler [2015-02-06 02:41:55] 873*2^1390424-1 is not prime. Res64: 9988FB1B56737648 Time : 0.0 sec. user=mdettweiler [2015-02-06 02:41:55] 875*2^1390424-1 is not prime. Res64: A826FFEF9ABAD4A1 Time : 0.0 sec. user=mdettweiler [2015-02-06 03:06:09] 993*2^1390424-1 is not prime. Res64: C948A50C7AF52F87 Time : 0.0 sec. user=mdettweiler [2015-02-06 03:06:10] 627*2^1390425-1 is not prime. Res64: D071C435624C8EA3 Time : 0.0 sec. user=mdettweiler [2015-02-06 03:06:18] 969*2^1390424-1 is not prime. Res64: 30C866A4FD3D45B2 Time : 0.0 sec. user=mdettweiler [2015-02-06 03:06:18] 983*2^1390424-1 is not prime. Res64: 08C548DF8AE12E8D Time : 0.0 sec. user=mdettweiler [2015-02-06 03:06:32] 639*2^1390425-1 is not prime. Res64: 43F33F9FCF952678 Time : 0.0 sec. user=mdettweiler [2015-02-06 03:06:32] 709*2^1390425-1 is not prime. Res64: E5211A69F0EB40E0 Time : 0.0 sec. user=mdettweiler [2015-02-06 03:09:17] 871*2^1390425-1 is not prime. Res64: 0253F2CC24889CBE Time : 0.0 sec. user=mdettweiler [2015-02-06 03:09:17] 645*2^1390426-1 is not prime. Res64: 033093710D35ED8F Time : 0.0 sec. user=mdettweiler [2015-02-06 03:32:11] 651*2^1390426-1 is not prime. Res64: A34B4B4FB789E0FC Time : 0.0 sec. user=mdettweiler [2015-02-06 03:32:12] 677*2^1390426-1 is not prime. Res64: 2411809DD88971DC Time : 0.0 sec. user=mdettweiler [2015-02-06 03:32:15] 705*2^1390426-1 is not prime. Res64: 85F46D45BD6962B1 Time : 0.0 sec. user=mdettweiler [2015-02-06 03:32:16] 815*2^1390426-1 is not prime. Res64: F2BD8A38FF63DE7D Time : 0.0 sec. user=mdettweiler [2015-02-06 03:32:24] 971*2^1390426-1 is not prime. Res64: 1CC3720CA29068FF Time : 0.0 sec. user=mdettweiler [2015-02-06 03:32:25] 993*2^1390426-1 is not prime. Res64: 06368D6BE0858009 Time : 0.0 sec. user=mdettweiler [2015-02-06 03:35:10] 621*2^1390427-1 is not prime. Res64: B1848C2F5DB0569A Time : 0.0 sec. user=mdettweiler [2015-02-06 03:35:11] 655*2^1390427-1 is not prime. Res64: 85FCF7C51715F045 Time : 0.0 sec. user=mdettweiler [2015-02-06 03:58:30] 699*2^1390427-1 is not prime. Res64: B89ADA2F134094D7 Time : 0.0 sec. user=mdettweiler [2015-02-06 03:58:31] 711*2^1390427-1 is not prime. Res64: A1713CC4B22E07E8 Time : 0.0 sec. user=mdettweiler [2015-02-06 03:58:32] 739*2^1390427-1 is not prime. Res64: 7E374B82E7FFBB77 Time : 0.0 sec. user=mdettweiler [2015-02-06 03:58:33] 741*2^1390427-1 is not prime. Res64: 96352D6A7BC7362F Time : 0.0 sec. user=mdettweiler [2015-02-06 03:58:40] 909*2^1390427-1 is not prime. Res64: 7C4CD09A5A4E45D2 Time : 0.0 sec. user=mdettweiler [2015-02-06 03:58:41] 955*2^1390427-1 is not prime. Res64: AC32E417C8EA1E1E Time : 0.0 sec. user=mdettweiler [2015-02-06 04:01:17] 737*2^1390428-1 is not prime. Res64: 025F54112185BEEB Time : 0.0 sec. user=mdettweiler [2015-02-06 04:01:18] 773*2^1390428-1 is not prime. Res64: 432B1D125D21D769 Time : 0.0 sec. user=mdettweiler [2015-02-06 04:24:30] 777*2^1390428-1 is not prime. Res64: 82D5432B7CA949B6 Time : 0.0 sec. user=mdettweiler [2015-02-06 04:24:31] 783*2^1390428-1 is not prime. Res64: 0C9F9B46F485D7CE Time : 0.0 sec. user=mdettweiler [2015-02-06 04:24:34] 887*2^1390428-1 is not prime. Res64: 47BF9638A9621534 Time : 0.0 sec. user=mdettweiler [2015-02-06 04:24:34] 601*2^1390429-1 is not prime. Res64: 32F86D523FE543F6 Time : 0.0 sec. user=mdettweiler [2015-02-06 04:24:37] 609*2^1390429-1 is not prime. Res64: D87D721B974BF6AD Time : 0.0 sec. user=mdettweiler [2015-02-06 04:24:37] 825*2^1390429-1 is not prime. Res64: 553FAC1A0C16E826 Time : 0.0 sec. user=mdettweiler [2015-02-06 04:27:25] 877*2^1390429-1 is not prime. Res64: FC6C94C8EC9F6584 Time : 0.0 sec. user=mdettweiler [2015-02-06 04:27:25] 603*2^1390430-1 is not prime. Res64: 215EBBFA24A07425 Time : 0.0 sec. user=mdettweiler [2015-02-06 04:50:31] 867*2^1390430-1 is not prime. Res64: 608D0582788CABFE Time : 0.0 sec. user=mdettweiler [2015-02-06 04:50:32] 887*2^1390430-1 is not prime. Res64: EEFA90A6B6BDACAA Time : 0.0 sec. user=mdettweiler [2015-02-06 04:50:33] 645*2^1390430-1 is not prime. Res64: 6FD4E8F970D51C2B Time : 0.0 sec. user=mdettweiler [2015-02-06 04:50:34] 677*2^1390430-1 is not prime. Res64: 5E75691EFDAAE378 Time : 0.0 sec. user=mdettweiler [2015-02-06 04:50:39] 755*2^1390430-1 is not prime. Res64: 7F5DA4952DCB4E8E Time : 0.0 sec. user=mdettweiler [2015-02-06 04:50:40] 791*2^1390430-1 is not prime. Res64: 45D8158DC003D1AD Time : 0.0 sec. user=mdettweiler [2015-02-06 04:53:19] 893*2^1390430-1 is not prime. Res64: 5B8DF5BA500C7EDF Time : 0.0 sec. user=mdettweiler [2015-02-06 04:53:19] 615*2^1390431-1 is not prime. Res64: 1F1B561837013AFB Time : 0.0 sec. user=mdettweiler [2015-02-06 05:16:28] 933*2^1390431-1 is not prime. Res64: 677D1B441129F8DC Time : 0.0 sec. user=mdettweiler [2015-02-06 05:16:28] 615*2^1390432-1 is not prime. Res64: C2676C6F5A964764 Time : 0.0 sec. user=mdettweiler [2015-02-06 05:16:29] 711*2^1390431-1 is not prime. Res64: 8C916FAA141CF755 Time : 0.0 sec. user=mdettweiler [2015-02-06 05:16:29] 783*2^1390431-1 is not prime. Res64: 5A77BC9AA87B9B1D Time : 0.0 sec. user=mdettweiler [2015-02-06 05:16:36] 657*2^1390432-1 is not prime. Res64: 2D04E1C39EBBFC18 Time : 0.0 sec. user=mdettweiler [2015-02-06 05:16:36] 713*2^1390432-1 is not prime. Res64: A702F5BF2E96C0F3 Time : 0.0 sec. user=mdettweiler [2015-02-06 05:19:20] 735*2^1390432-1 is not prime. Res64: B9B344AF5856F26F Time : 0.0 sec. user=mdettweiler [2015-02-06 05:19:20] 779*2^1390432-1 is not prime. Res64: 6F80B1C95C62DA9B Time : 0.0 sec. user=juhehe [2015-02-06 05:38:32] 855*2^1390432-1 is not prime. Res64: 32E9EBB55F4C1786 Time : 0.0 sec. user=mdettweiler [2015-02-06 05:42:20] 873*2^1390432-1 is not prime. Res64: 9D985D6F6A515B32 Time : 0.0 sec. user=mdettweiler [2015-02-06 05:42:20] 903*2^1390432-1 is not prime. Res64: 41D816D239A6D4E2 Time : 0.0 sec. user=mdettweiler [2015-02-06 05:42:34] 949*2^1390433-1 is not prime. Res64: 99FBD91305FA5980 Time : 0.0 sec. user=mdettweiler [2015-02-06 05:42:34] 957*2^1390433-1 is not prime. Res64: 18314E065F78F7F6 Time : 0.0 sec. user=mdettweiler [2015-02-06 05:42:37] 995*2^1390432-1 is not prime. Res64: F9AA7D6632CD0AAC Time : 0.0 sec. user=mdettweiler [2015-02-06 05:42:37] 781*2^1390433-1 is not prime. Res64: C88802405A42DFDD Time : 0.0 sec. user=mdettweiler [2015-02-06 05:45:15] 621*2^1390434-1 is not prime. Res64: C89AA13C37387354 Time : 0.0 sec. user=mdettweiler [2015-02-06 05:45:15] 635*2^1390434-1 is not prime. Res64: 127C466A2E818720 Time : 0.0 sec. user=mdettweiler [2015-02-06 06:08:32] 737*2^1390434-1 is not prime. Res64: 3C385C04091ABBE2 Time : 0.0 sec. user=mdettweiler [2015-02-06 06:08:33] 681*2^1390434-1 is not prime. Res64: 626BE7D00D6C06ED Time : 0.0 sec. user=mdettweiler [2015-02-06 06:08:33] 755*2^1390434-1 is not prime. Res64: C5583B9B8B393E73 Time : 0.0 sec. user=mdettweiler [2015-02-06 06:08:33] 731*2^1390434-1 is not prime. Res64: BBCFEBEDC6344507 Time : 0.0 sec. user=mdettweiler [2015-02-06 06:08:42] 837*2^1390434-1 is not prime. Res64: 86AAF14FD62FBBE7 Time : 0.0 sec. user=mdettweiler [2015-02-06 06:08:43] 861*2^1390434-1 is not prime. Res64: 863B12C890163C2C Time : 0.0 sec. user=mdettweiler [2015-02-06 06:11:13] 875*2^1390434-1 is not prime. Res64: C7AE8997880E7CC0 Time : 0.0 sec. user=mdettweiler [2015-02-06 06:11:13] 625*2^1390435-1 is not prime. Res64: 1D321E7075B47820 Time : 0.0 sec. user=mdettweiler [2015-02-06 06:34:24] 871*2^1390435-1 is not prime. Res64: 965C320AD3BCF1EA Time : 0.0 sec. user=mdettweiler [2015-02-06 06:34:25] 617*2^1390436-1 is not prime. Res64: 0C0F5EEDDCCBDE7B Time : 0.0 sec. user=mdettweiler [2015-02-06 06:34:29] 853*2^1390435-1 is not prime. Res64: 336A89002344C330 Time : 0.0 sec. user=mdettweiler [2015-02-06 06:34:30] 855*2^1390435-1 is not prime. Res64: 938625AF90FC2022 Time : 0.0 sec. user=mdettweiler [2015-02-06 06:34:35] 633*2^1390436-1 is not prime. Res64: FE275A59EC63D059 Time : 0.0 sec. user=mdettweiler [2015-02-06 06:34:35] 899*2^1390436-1 is not prime. Res64: 8BA921EB9776EE39 Time : 0.0 sec. user=mdettweiler [2015-02-06 06:37:05] 903*2^1390436-1 is not prime. Res64: C83335E07C5FEAB6 Time : 0.0 sec. user=mdettweiler [2015-02-06 06:37:05] 601*2^1390437-1 is not prime. Res64: 3A0FE37B9CC39196 Time : 0.0 sec. user=mdettweiler [2015-02-06 07:00:18] 615*2^1390437-1 is not prime. Res64: C94B9A24FC573637 Time : 0.0 sec. user=mdettweiler [2015-02-06 07:00:20] 649*2^1390437-1 is not prime. Res64: A1BC258FE775BD71 Time : 0.0 sec. user=mdettweiler [2015-02-06 07:00:21] 741*2^1390437-1 is not prime. Res64: 30BB9ABE3596277E Time : 0.0 sec. user=mdettweiler [2015-02-06 07:00:22] 867*2^1390437-1 is not prime. Res64: 4472C3A213AC05EE Time : 0.0 sec. user=mdettweiler [2015-02-06 07:00:26] 667*2^1390437-1 is not prime. Res64: 2942BFC1F4A5E40C Time : 0.0 sec. user=mdettweiler [2015-02-06 07:00:27] 735*2^1390437-1 is not prime. Res64: 683BE1BC900CC303 Time : 0.0 sec. user=mdettweiler [2015-02-06 07:03:03] 705*2^1390438-1 is not prime. Res64: A8A18653F010EA5D Time : 0.0 sec. user=mdettweiler [2015-02-06 07:03:04] 863*2^1390438-1 is not prime. Res64: A001CBD1579AEC7C Time : 0.0 sec. user=mdettweiler [2015-02-06 07:26:11] 881*2^1390438-1 is not prime. Res64: A52B29B7FB490A3C Time : 0.0 sec. user=mdettweiler [2015-02-06 07:26:12] 897*2^1390438-1 is not prime. Res64: 5901DFC156AED1D9 Time : 0.0 sec. user=mdettweiler [2015-02-06 07:26:19] 633*2^1390439-1 is not prime. Res64: 1C90BBD6CDB5AC7D Time : 0.0 sec. user=mdettweiler [2015-02-06 07:26:19] 643*2^1390439-1 is not prime. Res64: E11839AAC1C67E92 Time : 0.0 sec. user=mdettweiler [2015-02-06 07:26:25] 957*2^1390438-1 is not prime. Res64: 0A32995BCFDBF757 Time : 0.0 sec. user=mdettweiler [2015-02-06 07:26:25] 993*2^1390438-1 is not prime. Res64: 928FE7953D74A685 Time : 0.0 sec. user=mdettweiler [2015-02-06 07:28:53] 663*2^1390439-1 is not prime. Res64: 8F1FFEFB24E480B8 Time : 0.0 sec. user=mdettweiler [2015-02-06 07:28:53] 669*2^1390439-1 is not prime. Res64: 2CC42E1791F7F5C5 Time : 0.0 sec. user=mdettweiler [2015-02-06 07:52:04] 711*2^1390439-1 is not prime. Res64: 505406298A968D43 Time : 0.0 sec. user=mdettweiler [2015-02-06 07:52:04] 771*2^1390439-1 is not prime. Res64: 23286467CD19457F Time : 0.0 sec. user=mdettweiler [2015-02-06 07:52:19] 811*2^1390439-1 is not prime. Res64: 1DCD15C59F1FE4EF Time : 0.0 sec. user=mdettweiler [2015-02-06 07:52:20] 841*2^1390439-1 is not prime. Res64: 77A04438F4D12EC9 Time : 0.0 sec. user=mdettweiler [2015-02-06 07:52:20] 789*2^1390439-1 is not prime. Res64: CADEC9521B395047 Time : 0.0 sec. user=mdettweiler [2015-02-06 07:52:21] 799*2^1390439-1 is not prime. Res64: E371C79F18A6BE81 Time : 0.0 sec. user=mdettweiler [2015-02-06 07:54:50] 885*2^1390439-1 is not prime. Res64: D37D80F0B3FC76E4 Time : 0.0 sec. user=mdettweiler [2015-02-06 07:54:50] 939*2^1390439-1 is not prime. Res64: 1ADF356E6413C2DC Time : 0.0 sec. user=mdettweiler [2015-02-06 08:18:24] 969*2^1390439-1 is not prime. Res64: AB05C0C7584F45A0 Time : 0.0 sec. user=mdettweiler [2015-02-06 08:18:25] 985*2^1390439-1 is not prime. Res64: 164D127A20225CCB Time : 0.0 sec. user=mdettweiler [2015-02-06 08:18:54] 707*2^1390440-1 is not prime. Res64: E32C2A848DE55534 Time : 0.0 sec. user=mdettweiler [2015-02-06 08:18:54] 719*2^1390440-1 is not prime. Res64: 11E919AA36B2D8BE Time : 0.0 sec. user=mdettweiler [2015-02-06 08:19:06] 609*2^1390440-1 is not prime. Res64: 823917783439E383 Time : 0.0 sec. user=mdettweiler [2015-02-06 08:19:07] 627*2^1390440-1 is not prime. Res64: BDA1B48504DA2250 Time : 0.0 sec. user=mdettweiler [2015-02-06 08:21:34] 753*2^1390440-1 is not prime. Res64: 1650A2737EFE9E71 Time : 0.0 sec. user=mdettweiler [2015-02-06 08:21:35] 765*2^1390440-1 is not prime. Res64: 1C8EC5267DF6D075 Time : 0.0 sec. user=mdettweiler [2015-02-06 08:44:21] 875*2^1390440-1 is not prime. Res64: 704BBD51D42C346C Time : 0.0 sec. user=mdettweiler [2015-02-06 08:44:22] 905*2^1390440-1 is not prime. Res64: 977FFEF1445796AF Time : 0.0 sec. user=mdettweiler [2015-02-06 08:44:43] 615*2^1390441-1 is not prime. Res64: EA6BEF917B39B7DF Time : 0.0 sec. user=mdettweiler [2015-02-06 08:44:44] 637*2^1390441-1 is not prime. Res64: B8FE9C96B55E6F2C Time : 0.0 sec. user=mdettweiler [2015-02-06 08:44:54] 645*2^1390441-1 is not prime. Res64: 34193E726442DE04 Time : 0.0 sec. user=mdettweiler [2015-02-06 08:44:54] 649*2^1390441-1 is not prime. Res64: 16268C27F47B8FF3 Time : 0.0 sec. user=mdettweiler [2015-02-06 08:47:27] 769*2^1390441-1 is not prime. Res64: 5C0586444CAE6B81 Time : 0.0 sec. user=mdettweiler [2015-02-06 08:47:28] 945*2^1390441-1 is not prime. Res64: B33061E015C2E0C3 Time : 0.0 sec. user=mdettweiler [2015-02-06 09:10:11] 615*2^1390442-1 is not prime. Res64: AF286796398395E8 Time : 0.0 sec. user=mdettweiler [2015-02-06 09:10:11] 665*2^1390442-1 is not prime. Res64: F03DD045D473E1FE Time : 0.0 sec. user=mdettweiler [2015-02-06 09:10:34] 713*2^1390442-1 is not prime. Res64: 3482FC205575BB10 Time : 0.0 sec. user=mdettweiler [2015-02-06 09:10:34] 957*2^1390442-1 is not prime. Res64: 453BE721AF86F719 Time : 0.0 sec. user=mdettweiler [2015-02-06 09:10:48] 675*2^1390443-1 is not prime. Res64: 9D035D79C34A30F7 Time : 0.0 sec. user=mdettweiler [2015-02-06 09:10:48] 699*2^1390443-1 is not prime. Res64: 8C49AAC858B00218 Time : 0.0 sec. user=mdettweiler [2015-02-06 09:13:25] 751*2^1390443-1 is not prime. Res64: A4CC668CC58D99BF Time : 0.0 sec. user=mdettweiler [2015-02-06 09:13:26] 789*2^1390443-1 is not prime. Res64: FFD63AB638DC4247 Time : 0.0 sec. user=mdettweiler [2015-02-06 09:35:59] 657*2^1390444-1 is not prime. Res64: 7DE53506D4DEF7A5 Time : 0.0 sec. user=mdettweiler [2015-02-06 09:36:00] 677*2^1390444-1 is not prime. Res64: 377AE21AC8FBAC10 Time : 0.0 sec. user=mdettweiler [2015-02-06 09:36:31] 903*2^1390444-1 is not prime. Res64: 9D9457C7CCBF7320 Time : 0.0 sec. user=mdettweiler [2015-02-06 09:36:32] 909*2^1390444-1 is not prime. Res64: 06B7F3699E41A554 Time : 0.0 sec. user=mdettweiler [2015-02-06 09:36:34] 915*2^1390444-1 is not prime. Res64: 26DC01EAE0DE295E Time : 0.0 sec. user=mdettweiler [2015-02-06 09:36:35] 947*2^1390444-1 is not prime. Res64: 55638D18A5A3D598 Time : 0.0 sec. user=mdettweiler [2015-02-06 09:39:17] 993*2^1390444-1 is not prime. Res64: 9C61689536C2FFB2 Time : 0.0 sec. user=mdettweiler [2015-02-06 09:39:17] 685*2^1390445-1 is not prime. Res64: 99BAF294768061F0 Time : 0.0 sec. user=mdettweiler [2015-02-06 10:01:49] 831*2^1390445-1 is not prime. Res64: 2FF8BDA3DEE1A950 Time : 0.0 sec. user=mdettweiler [2015-02-06 10:01:50] 837*2^1390445-1 is not prime. Res64: 2A998C2BA7B78B15 Time : 0.0 sec. user=mdettweiler [2015-02-06 10:02:23] 871*2^1390445-1 is not prime. Res64: 06F59B4279FA9BA8 Time : 0.0 sec. user=mdettweiler [2015-02-06 10:02:24] 889*2^1390445-1 is not prime. Res64: 3DB9B6026BCFD3E6 Time : 0.0 sec. user=mdettweiler [2015-02-06 10:02:26] 925*2^1390445-1 is not prime. Res64: DC2A0110E2517D48 Time : 0.0 sec. user=mdettweiler [2015-02-06 10:02:27] 683*2^1390446-1 is not prime. Res64: 24621E3CD7F5E197 Time : 0.0 sec. user=mdettweiler [2015-02-06 10:05:06] 783*2^1390446-1 is not prime. Res64: 55F209D73FAD4890 Time : 0.0 sec. user=mdettweiler [2015-02-06 10:05:08] 807*2^1390446-1 is not prime. Res64: 75610CE5DD431101 Time : 0.0 sec. user=mdettweiler [2015-02-06 10:27:51] 933*2^1390446-1 is not prime. Res64: 0204950E6072FB72 Time : 0.0 sec. user=mdettweiler [2015-02-06 10:27:51] 993*2^1390446-1 is not prime. Res64: 0C3F8765E52A8263 Time : 0.0 sec. user=mdettweiler [2015-02-06 10:28:15] 699*2^1390448-1 is not prime. Res64: 0DDB535C148FE2B1 Time : 0.0 sec. user=mdettweiler [2015-02-06 10:28:15] 767*2^1390448-1 is not prime. Res64: DDEC24811B572DEC Time : 0.0 sec. user=mdettweiler [2015-02-06 10:28:20] 633*2^1390447-1 is not prime. Res64: 4F723CF843847712 Time : 0.0 sec. user=mdettweiler [2015-02-06 10:28:20] 895*2^1390447-1 is not prime. Res64: C49EDE54FC55EFA7 Time : 0.0 sec. user=mdettweiler [2015-02-06 10:31:02] 825*2^1390448-1 is not prime. Res64: 7F937B84A4A942FF Time : 0.0 sec. user=mdettweiler [2015-02-06 10:31:03] 977*2^1390448-1 is not prime. Res64: BCF0E9C761C41388 Time : 0.0 sec. user=mdettweiler [2015-02-06 10:53:44] 625*2^1390449-1 is not prime. Res64: 784CA9CCE64A406C Time : 0.0 sec. user=mdettweiler [2015-02-06 10:53:44] 637*2^1390449-1 is not prime. Res64: 11CF156436742B09 Time : 0.0 sec. user=mdettweiler [2015-02-06 10:53:57] 709*2^1390449-1 is not prime. Res64: B8DB111254033DA0 Time : 0.0 sec. user=mdettweiler [2015-02-06 10:53:58] 711*2^1390449-1 is not prime. Res64: 7A6E842D34F87F52 Time : 0.0 sec. user=mdettweiler [2015-02-06 10:54:10] 861*2^1390449-1 is not prime. Res64: B1D93537B4EE8A6B Time : 0.0 sec. user=mdettweiler [2015-02-06 10:54:10] 999*2^1390449-1 is not prime. Res64: A91652CC8937C436 Time : 0.0 sec. user=mdettweiler [2015-02-06 10:56:53] 645*2^1390450-1 is not prime. Res64: 67032D04F8A3123A Time : 0.0 sec. user=mdettweiler [2015-02-06 10:56:53] 647*2^1390450-1 is not prime. Res64: 85EAAFC618466B16 Time : 0.0 sec. user=mdettweiler [2015-02-06 11:19:43] 665*2^1390450-1 is not prime. Res64: B65F811156FDCD88 Time : 0.0 sec. user=mdettweiler [2015-02-06 11:19:43] 681*2^1390450-1 is not prime. Res64: 7FE6559BA1573050 Time : 0.0 sec. user=mdettweiler [2015-02-06 11:20:01] 695*2^1390450-1 is not prime. Res64: C900EF4F79C75A73 Time : 0.0 sec. user=mdettweiler [2015-02-06 11:20:02] 743*2^1390450-1 is not prime. Res64: F6A0796598B640C9 Time : 0.0 sec. user=mdettweiler [2015-02-06 11:20:07] 857*2^1390450-1 is not prime. Res64: 09D68A4F2D1579E4 Time : 0.0 sec. user=mdettweiler [2015-02-06 11:20:07] 873*2^1390450-1 is not prime. Res64: F4328135FC43BC67 Time : 0.0 sec. user=mdettweiler [2015-02-06 11:22:57] 945*2^1390450-1 is not prime. Res64: E638B6E0DC102BA2 Time : 0.0 sec. user=mdettweiler [2015-02-06 11:22:57] 615*2^1390451-1 is not prime. Res64: A891099ADC55F6D0 Time : 0.0 sec. user=mdettweiler [2015-02-06 11:45:38] 643*2^1390451-1 is not prime. Res64: FD9629B2C4BCAD41 Time : 0.0 sec. user=mdettweiler [2015-02-06 11:45:38] 871*2^1390451-1 is not prime. Res64: 37BEA4F0E1F5C94F Time : 0.0 sec. user=mdettweiler [2015-02-06 11:45:58] 955*2^1390451-1 is not prime. Res64: 7A43A4880CCF5093 Time : 0.0 sec. user=mdettweiler [2015-02-06 11:45:58] 633*2^1390452-1 is not prime. Res64: 080B73F8A7B55591 Time : 0.0 sec. user=mdettweiler [2015-02-06 11:46:03] 693*2^1390452-1 is not prime. Res64: 3F51912CAE692873 Time : 0.0 sec. user=mdettweiler [2015-02-06 11:46:04] 749*2^1390452-1 is not prime. Res64: EEA9BA595F2B60CC Time : 0.0 sec. user=mdettweiler [2015-02-06 11:48:42] 825*2^1390452-1 is not prime. Res64: 8A4035681A77E179 Time : 0.0 sec. user=mdettweiler [2015-02-06 11:48:43] 639*2^1390453-1 is not prime. Res64: 7DB17E024708AC11 Time : 0.0 sec. user=mdettweiler [2015-02-06 12:11:31] 789*2^1390453-1 is not prime. Res64: 4DBD52C2EE5811D8 Time : 0.0 sec. user=mdettweiler [2015-02-06 12:11:31] 859*2^1390453-1 is not prime. Res64: BA74B80755E0A181 Time : 0.0 sec. user=mdettweiler [2015-02-06 12:11:49] 861*2^1390453-1 is not prime. Res64: 34E323E14E7EC331 Time : 0.0 sec. user=mdettweiler [2015-02-06 12:11:50] 967*2^1390453-1 is not prime. Res64: 5A8C9C0C9A3AD7DD Time : 0.0 sec. user=mdettweiler [2015-02-06 12:11:59] 677*2^1390454-1 is not prime. Res64: 9B362A0534750977 Time : 0.0 sec. user=mdettweiler [2015-02-06 12:12:00] 683*2^1390454-1 is not prime. Res64: 67D1DE9C2CA2C6DC Time : 0.0 sec. user=mdettweiler [2015-02-06 12:14:28] 693*2^1390454-1 is not prime. Res64: 872089599A4904B5 Time : 0.0 sec. user=mdettweiler [2015-02-06 12:14:28] 861*2^1390454-1 is not prime. Res64: 6AE1802950792191 Time : 0.0 sec. user=mdettweiler [2015-02-06 12:37:26] 675*2^1390455-1 is not prime. Res64: 4B613D93DA9ACB25 Time : 0.0 sec. user=mdettweiler [2015-02-06 12:37:26] 723*2^1390455-1 is not prime. Res64: 288A15E933E3C513 Time : 0.0 sec. user=mdettweiler [2015-02-06 12:37:44] 735*2^1390455-1 is not prime. Res64: 8D660B852B9D1B73 Time : 0.0 sec. user=mdettweiler [2015-02-06 12:37:45] 795*2^1390455-1 is not prime. Res64: 25C28AC4F40BF0DD Time : 0.0 sec. user=mdettweiler [2015-02-06 12:37:55] 825*2^1390455-1 is not prime. Res64: 29572E28FE779610 Time : 0.0 sec. user=mdettweiler [2015-02-06 12:37:55] 831*2^1390455-1 is not prime. Res64: AAB1272BB54FD0F8 Time : 0.0 sec. user=mdettweiler [2015-02-06 12:40:22] 853*2^1390455-1 is not prime. Res64: C0312090597CEC25 Time : 0.0 sec. user=mdettweiler [2015-02-06 12:40:22] 859*2^1390455-1 is not prime. Res64: 3C70440FCF19E128 Time : 0.0 sec. user=mdettweiler [2015-02-06 13:03:34] 871*2^1390455-1 is not prime. Res64: E7D4E12EFC06D64C Time : 0.0 sec. user=mdettweiler [2015-02-06 13:03:35] 943*2^1390455-1 is not prime. Res64: 2E2580FBFE1546DB Time : 0.0 sec. user=mdettweiler [2015-02-06 13:03:58] 979*2^1390455-1 is not prime. Res64: 0143CBA3B0A429EC Time : 0.0 sec. user=mdettweiler [2015-02-06 13:04:00] 855*2^1390456-1 is not prime. Res64: 4D75135205BD904C Time : 0.0 sec. user=mdettweiler [2015-02-06 13:04:08] 975*2^1390456-1 is not prime. Res64: 4580D1DA4E35C670 Time : 0.0 sec. user=mdettweiler [2015-02-06 13:04:09] 983*2^1390456-1 is not prime. Res64: FB25CD7EAD6B07CE Time : 0.0 sec. user=mdettweiler [2015-02-06 13:06:24] 637*2^1390457-1 is not prime. Res64: FAA853AED20D1115 Time : 0.0 sec. user=mdettweiler [2015-02-06 13:06:25] 795*2^1390457-1 is not prime. Res64: 501F8C991CC5C831 Time : 0.0 sec. user=mdettweiler [2015-02-06 13:30:48] 915*2^1390457-1 is not prime. Res64: D728565317E5249C Time : 0.0 sec. user=mdettweiler [2015-02-06 13:30:48] 755*2^1390458-1 is not prime. Res64: 2D0D6503E16CA515 Time : 0.0 sec. user=mdettweiler [2015-02-06 13:31:26] 921*2^1390458-1 is not prime. Res64: 7B49B2CCD3B06B5E Time : 0.0 sec. user=mdettweiler [2015-02-06 13:31:27] 977*2^1390458-1 is not prime. Res64: D62FE4F03D71618D Time : 0.0 sec. user=mdettweiler [2015-02-06 13:31:33] 777*2^1390458-1 is not prime. Res64: 89A642DA792C5359 Time : 0.0 sec. user=mdettweiler [2015-02-06 13:31:33] 893*2^1390458-1 is not prime. Res64: FBF1AFE62510B018 Time : 0.0 sec. user=mdettweiler [2015-02-06 13:33:49] 603*2^1390459-1 is not prime. Res64: CBAB6E7999259099 Time : 0.0 sec. user=mdettweiler [2015-02-06 13:33:50] 615*2^1390459-1 is not prime. Res64: 37F5125D98FFDF51 Time : 0.0 sec. user=mdettweiler [2015-02-06 14:08:01] 733*2^1390459-1 is not prime. Res64: AA27B1FE8D4566D8 Time : 0.0 sec. user=mdettweiler [2015-02-06 14:08:01] 789*2^1390459-1 is not prime. Res64: 25F0E492A0D3B4FF Time : 0.0 sec. user=mdettweiler [2015-02-06 14:09:04] 913*2^1390459-1 is not prime. Res64: 710BFD34465B8A45 Time : 0.0 sec. user=mdettweiler [2015-02-06 14:09:05] 961*2^1390459-1 is not prime. Res64: 1BE8D49311702C2B Time : 0.0 sec. user=mdettweiler [2015-02-06 14:09:05] 999*2^1390459-1 is not prime. Res64: B687841D9E6A3418 Time : 0.0 sec. user=mdettweiler [2015-02-06 14:09:05] 675*2^1390460-1 is not prime. Res64: A96F7AF41667E430 Time : 0.0 sec. user=mdettweiler [2015-02-06 14:13:44] 857*2^1390460-1 is not prime. Res64: CA0E5F59C44FD38F Time : 0.0 sec. user=mdettweiler [2015-02-06 14:13:45] 735*2^1390461-1 is not prime. Res64: 4FD97D9D591DF0A4 Time : 0.0 sec. user=mdettweiler [2015-02-06 14:36:45] 789*2^1390461-1 is not prime. Res64: A1BA604366F4B387 Time : 0.0 sec. user=mdettweiler [2015-02-06 14:36:45] 795*2^1390461-1 is not prime. Res64: ABCB07C5537D4E55 Time : 0.0 sec. user=mdettweiler [2015-02-06 14:37:07] 847*2^1390461-1 is not prime. Res64: 3B10DACB61F6FF0C Time : 0.0 sec. user=mdettweiler [2015-02-06 14:37:07] 877*2^1390461-1 is not prime. Res64: 5AE9F0AE30E2B3F7 Time : 0.0 sec. user=mdettweiler [2015-02-06 14:38:28] 885*2^1390461-1 is not prime. Res64: 82935EA2DE664558 Time : 0.0 sec. user=mdettweiler [2015-02-06 14:38:29] 937*2^1390461-1 is not prime. Res64: 681CD062F171C1E8 Time : 0.0 sec. user=mdettweiler [2015-02-06 14:41:22] 603*2^1390462-1 is not prime. Res64: E7D49F419CFC2567 Time : 0.0 sec. user=mdettweiler [2015-02-06 14:41:23] 731*2^1390462-1 is not prime. Res64: 7FA0C5601EB0F96E Time : 0.0 sec. user=mdettweiler [2015-02-06 15:04:11] 741*2^1390462-1 is not prime. Res64: 01CCA0BABD5A2AC1 Time : 0.0 sec. user=mdettweiler [2015-02-06 15:04:12] 843*2^1390462-1 is not prime. Res64: 0EAB1F89925577DB Time : 0.0 sec. user=mdettweiler [2015-02-06 15:04:14] 885*2^1390462-1 is not prime. Res64: 722567BE810FA114 Time : 0.0 sec. user=mdettweiler [2015-02-06 15:04:15] 981*2^1390462-1 is not prime. Res64: D4ABC4562EF9FE2D Time : 0.0 sec. user=mdettweiler [2015-02-06 15:05:38] 987*2^1390462-1 is not prime. Res64: 1F1FE18D01F34327 Time : 0.0 sec. user=mdettweiler [2015-02-06 15:05:39] 669*2^1390463-1 is not prime. Res64: B9A5B5F14E0BEF84 Time : 0.0 sec. user=mdettweiler [2015-02-06 15:08:20] 735*2^1390463-1 is not prime. Res64: 2BCC85DE2B245CEA Time : 0.0 sec. user=mdettweiler [2015-02-06 15:08:20] 985*2^1390463-1 is not prime. Res64: 04A121EEA6826782 Time : 0.0 sec. user=mdettweiler [2015-02-06 15:31:32] 665*2^1390464-1 is not prime. Res64: 138FB8F0B1331771 Time : 0.0 sec. user=mdettweiler [2015-02-06 15:31:32] 759*2^1390464-1 is not prime. Res64: EDCB3D9337FCC574 Time : 0.0 sec. user=mdettweiler [2015-02-06 15:31:36] 905*2^1390464-1 is not prime. Res64: 8B10C1A81D1E0894 Time : 0.0 sec. user=mdettweiler [2015-02-06 15:31:37] 667*2^1390465-1 is not prime. Res64: 2C71395E0957461C Time : 0.0 sec. user=mdettweiler [2015-02-06 15:32:09] 717*2^1390465-1 is not prime. Res64: 39C53556487F7869 Time : 0.0 sec. user=mdettweiler [2015-02-06 15:32:09] 801*2^1390465-1 is not prime. Res64: 29809DF38F029CD6 Time : 0.0 sec. user=mdettweiler [2015-02-06 15:34:58] 925*2^1390465-1 is not prime. Res64: 902B891BF26647C9 Time : 0.0 sec. user=mdettweiler [2015-02-06 15:34:58] 999*2^1390465-1 is not prime. Res64: E48DDA6D152277E5 Time : 0.0 sec. user=mdettweiler [2015-02-06 15:59:48] 741*2^1390466-1 is not prime. Res64: AF203FC0C29D6621 Time : 0.0 sec. user=mdettweiler [2015-02-06 15:59:48] 815*2^1390466-1 is not prime. Res64: D45C26EE4751AA52 Time : 0.0 sec. user=mdettweiler [2015-02-06 15:59:57] 701*2^1390466-1 is not prime. Res64: 3C53259BABA2E4C1 Time : 0.0 sec. user=mdettweiler [2015-02-06 15:59:57] 705*2^1390466-1 is not prime. Res64: 7DA8315C7A7B8495 Time : 0.0 sec. user=mdettweiler [2015-02-06 16:00:27] 831*2^1390466-1 is not prime. Res64: 9E74BACEE9C10D91 Time : 0.0 sec. user=mdettweiler [2015-02-06 16:00:28] 887*2^1390466-1 is not prime. Res64: EDD491A1E7052F31 Time : 0.0 sec. user=mdettweiler [2015-02-06 16:03:32] 983*2^1390466-1 is not prime. Res64: 898E2EB99B51504E Time : 0.0 sec. user=mdettweiler [2015-02-06 16:03:34] 649*2^1390467-1 is not prime. Res64: BF382B5707E04D0E Time : 0.0 sec. user=mdettweiler [2015-02-06 16:26:55] 651*2^1390467-1 is not prime. Res64: AEDFAB4EF4AEE5EE Time : 0.0 sec. user=mdettweiler [2015-02-06 16:26:55] 945*2^1390467-1 is not prime. Res64: CDA2FBE4F4A1FECE Time : 0.0 sec. user=mdettweiler [2015-02-06 16:27:11] 961*2^1390467-1 is not prime. Res64: 788BF92E40EF5364 Time : 0.0 sec. user=mdettweiler [2015-02-06 16:27:11] 979*2^1390467-1 is not prime. Res64: DF4D4F9DD4AA58E0 Time : 0.0 sec. user=mdettweiler [2015-02-06 16:27:46] 605*2^1390468-1 is not prime. Res64: 003C8CE9B70717C2 Time : 0.0 sec. user=mdettweiler [2015-02-06 16:27:46] 905*2^1390468-1 is not prime. Res64: 9D0A46C5CA8EE969 Time : 0.0 sec. user=mdettweiler [2015-02-06 16:30:53] 929*2^1390468-1 is not prime. Res64: 74A8A8A61D5993E9 Time : 0.0 sec. user=mdettweiler [2015-02-06 16:30:53] 999*2^1390468-1 is not prime. Res64: 1751969311CE1D3E Time : 0.0 sec. user=mdettweiler [2015-02-06 16:53:13] 657*2^1390469-1 is not prime. Res64: 5CC913C0BE665DF5 Time : 0.0 sec. user=mdettweiler [2015-02-06 16:53:13] 825*2^1390469-1 is not prime. Res64: B5DB371E42ED4295 Time : 0.0 sec. user=mdettweiler [2015-02-06 16:53:31] 927*2^1390469-1 is not prime. Res64: EF5F8E874151ADCE Time : 0.0 sec. user=mdettweiler [2015-02-06 16:53:31] 997*2^1390469-1 is not prime. Res64: 49D5D048626BF890 Time : 0.0 sec. user=mdettweiler [2015-02-06 16:53:59] 627*2^1390470-1 is not prime. Res64: 8E4A3EA584DDB798 Time : 0.0 sec. user=mdettweiler [2015-02-06 16:54:00] 801*2^1390470-1 is not prime. Res64: 2B7AEBFF28CF1601 Time : 0.0 sec. user=mdettweiler [2015-02-06 16:57:03] 843*2^1390470-1 is not prime. Res64: 9370C61C49373E1F Time : 0.0 sec. user=mdettweiler [2015-02-06 16:57:03] 921*2^1390470-1 is not prime. Res64: CB0BDA194A0A038C Time : 0.0 sec. user=juhehe [2015-02-06 17:20:20] 681*2^1390471-1 is not prime. Res64: 8C46A3B5A418A61D Time : 0.0 sec. user=mdettweiler [2015-02-06 17:20:24] 703*2^1390471-1 is not prime. Res64: 15E433C371C90DA2 Time : 0.0 sec. user=mdettweiler [2015-02-06 17:20:25] 745*2^1390471-1 is not prime. Res64: 117A18299C41254C Time : 0.0 sec. user=mdettweiler [2015-02-06 17:20:32] 783*2^1390471-1 is not prime. Res64: 38316BB95C88422F Time : 0.0 sec. user=mdettweiler [2015-02-06 17:20:33] 901*2^1390471-1 is not prime. Res64: F009633C68890E9F Time : 0.0 sec. user=mdettweiler [2015-02-06 17:21:14] 931*2^1390471-1 is not prime. Res64: A4B4CC30CCF5C758 Time : 0.0 sec. user=mdettweiler [2015-02-06 17:21:14] 993*2^1390471-1 is not prime. Res64: C1BFB527B7B97422 Time : 0.0 sec. user=mdettweiler [2015-02-06 17:24:07] 605*2^1390472-1 is not prime. Res64: 3EB089422D730B22 Time : 0.0 sec. user=mdettweiler [2015-02-06 17:24:07] 657*2^1390472-1 is not prime. Res64: B786ECBD7C0541E2 Time : 0.0 sec. user=mdettweiler [2015-02-06 17:47:39] 857*2^1390472-1 is not prime. Res64: A279E7DB8F6173F6 Time : 0.0 sec. user=mdettweiler [2015-02-06 17:47:39] 935*2^1390472-1 is not prime. Res64: 6DD38C88BD6BF03D Time : 0.0 sec. user=mdettweiler [2015-02-06 17:47:54] 743*2^1390472-1 is not prime. Res64: 6EBCBF1B45F29EC9 Time : 0.0 sec. user=mdettweiler [2015-02-06 17:47:54] 819*2^1390472-1 is not prime. Res64: 046F60D69A29A2C3 Time : 0.0 sec. user=mdettweiler [2015-02-06 17:48:22] 609*2^1390473-1 is not prime. Res64: 25510CFEAA7386AE Time : 0.0 sec. user=mdettweiler [2015-02-06 17:48:22] 657*2^1390473-1 is not prime. Res64: 89F1F855F6A9EE1B Time : 0.0 sec. user=mdettweiler [2015-02-06 17:51:03] 769*2^1390473-1 is not prime. Res64: 4919E5D74DD1719B Time : 0.0 sec. user=mdettweiler [2015-02-06 17:51:03] 837*2^1390473-1 is not prime. Res64: 45BF8406393BC376 Time : 0.0 sec. user=mdettweiler [2015-02-06 18:15:14] 707*2^1390474-1 is not prime. Res64: 64E133E0DA0E9CEE Time : 0.0 sec. user=mdettweiler [2015-02-06 18:15:14] 717*2^1390474-1 is not prime. Res64: 2C6A16EFA34F1B65 Time : 0.0 sec. user=mdettweiler [2015-02-06 18:15:20] 723*2^1390474-1 is not prime. Res64: C6ECEF5324BA05B3 Time : 0.0 sec. user=mdettweiler [2015-02-06 18:15:20] 887*2^1390474-1 is not prime. Res64: 31BF312696290450 Time : 0.0 sec. user=mdettweiler [2015-02-06 18:16:00] 917*2^1390474-1 is not prime. Res64: 8701CC26372B3844 Time : 0.0 sec. user=mdettweiler [2015-02-06 18:16:00] 923*2^1390474-1 is not prime. Res64: BEB5F2AFD15C4860 Time : 0.0 sec. user=mdettweiler [2015-02-06 18:18:52] 941*2^1390474-1 is not prime. Res64: 4505786312327500 Time : 0.0 sec. user=mdettweiler [2015-02-06 18:18:52] 619*2^1390475-1 is not prime. Res64: 4B79A914E437C7D6 Time : 0.0 sec. user=mdettweiler [2015-02-06 18:42:27] 645*2^1390475-1 is not prime. Res64: 33120DF4B7CDCB15 Time : 0.0 sec. user=mdettweiler [2015-02-06 18:42:27] 673*2^1390475-1 is not prime. Res64: A52FC72E92A6F9B6 Time : 0.0 sec. user=mdettweiler [2015-02-06 18:43:03] 753*2^1390475-1 is not prime. Res64: A42928AEDAE3BE6B Time : 0.0 sec. user=mdettweiler [2015-02-06 18:43:04] 759*2^1390475-1 is not prime. Res64: 49D2DCBDA88FF9E3 Time : 0.0 sec. user=mdettweiler [2015-02-06 18:44:03] 909*2^1390475-1 is not prime. Res64: FEB6286D1479AA99 Time : 0.0 sec. user=mdettweiler [2015-02-06 18:44:03] 963*2^1390475-1 is not prime. Res64: 7D8E336F4DB012C8 Time : 0.0 sec. user=mdettweiler [2015-02-06 18:46:00] 985*2^1390475-1 is not prime. Res64: 29EE0F9BAE652BB7 Time : 0.0 sec. user=mdettweiler [2015-02-06 18:46:00] 999*2^1390475-1 is not prime. Res64: E36F5873C4DC46D8 Time : 0.0 sec. user=mdettweiler [2015-02-06 19:08:49] 689*2^1390476-1 is not prime. Res64: 032B4E3546A0A0C2 Time : 0.0 sec. user=mdettweiler [2015-02-06 19:08:49] 717*2^1390476-1 is not prime. Res64: 3D131A65602E2E3C Time : 0.0 sec. user=mdettweiler [2015-02-06 19:09:30] 735*2^1390476-1 is not prime. Res64: 50B975E25C47502E Time : 0.0 sec. user=mdettweiler [2015-02-06 19:09:30] 737*2^1390476-1 is not prime. Res64: 6768297A28D2D71B Time : 0.0 sec. user=mdettweiler [2015-02-06 19:10:34] 837*2^1390476-1 is not prime. Res64: 4978015125DE5AEA Time : 0.0 sec. user=mdettweiler [2015-02-06 19:10:34] 845*2^1390476-1 is not prime. Res64: 801B6DF06A0F1B97 Time : 0.0 sec. user=mdettweiler [2015-02-06 19:12:25] 873*2^1390476-1 is not prime. Res64: 46CDBF54CE8D3DFA Time : 0.0 sec. user=mdettweiler [2015-02-06 19:12:26] 887*2^1390476-1 is not prime. Res64: 471065A7846E87E0 Time : 0.0 sec. user=mdettweiler [2015-02-06 19:35:11] 903*2^1390476-1 is not prime. Res64: 8E1F442C84824D20 Time : 0.0 sec. user=mdettweiler [2015-02-06 19:35:11] 993*2^1390476-1 is not prime. Res64: 9D0BF9E105C2B153 Time : 0.0 sec. user=mdettweiler [2015-02-06 19:35:38] 639*2^1390477-1 is not prime. Res64: 0D751D1E69417AB0 Time : 0.0 sec. user=mdettweiler [2015-02-06 19:35:38] 747*2^1390477-1 is not prime. Res64: 53A435355A41F879 Time : 0.0 sec. user=mdettweiler [2015-02-06 19:36:56] 757*2^1390477-1 is not prime. Res64: 25E2DAAD3A162E63 Time : 0.0 sec. user=mdettweiler [2015-02-06 19:36:57] 801*2^1390477-1 is not prime. Res64: DF897D7A0A3E69A0 Time : 0.0 sec. user=mdettweiler [2015-02-06 19:38:42] 927*2^1390477-1 is not prime. Res64: 2EF307BD0163715D Time : 0.0 sec. user=mdettweiler [2015-02-06 19:38:43] 937*2^1390477-1 is not prime. Res64: 50224C91CE3C458F Time : 0.0 sec. user=mdettweiler [2015-02-06 20:01:31] 955*2^1390477-1 is not prime. Res64: 345F31FAEF2D6ECC Time : 0.0 sec. user=mdettweiler [2015-02-06 20:01:32] 651*2^1390478-1 is not prime. Res64: 28179D0A534A0E07 Time : 0.0 sec. user=mdettweiler [2015-02-06 20:01:49] 743*2^1390478-1 is not prime. Res64: 54E7109DBF474A12 Time : 0.0 sec. user=mdettweiler [2015-02-06 20:01:50] 753*2^1390478-1 is not prime. Res64: ED30001555E595A0 Time : 0.0 sec. user=mdettweiler [2015-02-06 20:03:13] 767*2^1390478-1 is not prime. Res64: 1D6870DF5BBBB8D9 Time : 0.0 sec. user=mdettweiler [2015-02-06 20:03:14] 813*2^1390478-1 is not prime. Res64: DC09365B0227A899 Time : 0.0 sec. user=mdettweiler [2015-02-06 20:05:05] 857*2^1390478-1 is not prime. Res64: B246C7C6997D9E1A Time : 0.0 sec. user=mdettweiler [2015-02-06 20:05:06] 887*2^1390478-1 is not prime. Res64: EE19B5445A675E6C Time : 0.0 sec. user=mdettweiler [2015-02-06 20:28:54] 951*2^1390478-1 is not prime. Res64: 1F99E03CB952078F Time : 0.0 sec. user=mdettweiler [2015-02-06 20:28:54] 963*2^1390478-1 is not prime. Res64: E913703AFCC0A2C7 Time : 0.0 sec. user=mdettweiler [2015-02-06 20:29:00] 609*2^1390479-1 is not prime. Res64: FC839523A0FDA635 Time : 0.0 sec. user=mdettweiler [2015-02-06 20:29:00] 613*2^1390479-1 is not prime. Res64: 33D52CA84037DE7D Time : 0.0 sec. user=mdettweiler [2015-02-06 20:30:27] 615*2^1390479-1 is not prime. Res64: 16E805225EF6AC9B Time : 0.0 sec. user=mdettweiler [2015-02-06 20:30:27] 619*2^1390479-1 is not prime. Res64: 71B3ED21685036D5 Time : 0.0 sec. user=mdettweiler [2015-02-06 20:32:17] 639*2^1390479-1 is not prime. Res64: DE34BCA2994B06FE Time : 0.0 sec. user=mdettweiler [2015-02-06 20:32:17] 663*2^1390479-1 is not prime. Res64: 11C9EC1E02A2CE81 Time : 0.0 sec. user=mdettweiler [2015-02-06 20:55:18] 763*2^1390479-1 is not prime. Res64: 851692624001917B Time : 0.0 sec. user=mdettweiler [2015-02-06 20:55:18] 895*2^1390479-1 is not prime. Res64: 238EAAB11556BE88 Time : 0.0 sec. user=mdettweiler [2015-02-06 20:55:29] 999*2^1390479-1 is not prime. Res64: DF5C294DA0368ACB Time : 0.0 sec. user=mdettweiler [2015-02-06 20:55:29] 635*2^1390480-1 is not prime. Res64: 00E94D3F9DC81B17 Time : 0.0 sec. user=mdettweiler [2015-02-06 20:56:53] 695*2^1390480-1 is not prime. Res64: 0B5EED98009BEE16 Time : 0.0 sec. user=mdettweiler [2015-02-06 20:56:53] 713*2^1390480-1 is not prime. Res64: F4CCCB6EFB24B5D6 Time : 0.0 sec. user=mdettweiler [2015-02-06 20:58:39] 797*2^1390480-1 is not prime. Res64: 529311BEEC4CDAED Time : 0.0 sec. user=mdettweiler [2015-02-06 20:58:39] 863*2^1390480-1 is not prime. Res64: BEADD3F739AA562A Time : 0.0 sec. user=mdettweiler [2015-02-06 21:23:15] 899*2^1390480-1 is not prime. Res64: 9D06A3B9125A119D Time : 0.0 sec. user=mdettweiler [2015-02-06 21:23:15] 607*2^1390481-1 is not prime. Res64: 3BDC85CF660B9DCE Time : 0.0 sec. user=mdettweiler [2015-02-06 21:23:45] 615*2^1390481-1 is not prime. Res64: 56D842DC0166CA00 Time : 0.0 sec. user=mdettweiler [2015-02-06 21:23:46] 619*2^1390481-1 is not prime. Res64: C5C5100B579C3A22 Time : 0.0 sec. user=mdettweiler [2015-02-06 21:25:12] 637*2^1390481-1 is not prime. Res64: A35AE9E2EB93E8F7 Time : 0.0 sec. user=mdettweiler [2015-02-06 21:25:13] 727*2^1390481-1 is not prime. Res64: 8E446698E85510F5 Time : 0.0 sec. user=mdettweiler [2015-02-06 21:27:06] 855*2^1390481-1 is not prime. Res64: 49EB3BCF8AF0EA22 Time : 0.0 sec. user=mdettweiler [2015-02-06 21:27:07] 909*2^1390481-1 is not prime. Res64: 036DAE56A9DD80CA Time : 0.0 sec. user=mdettweiler [2015-02-06 21:53:06] 633*2^1390482-1 is not prime. Res64: 325771F3F4BA577F Time : 0.0 sec. user=mdettweiler [2015-02-06 21:53:07] 651*2^1390482-1 is not prime. Res64: 7BEEE728BFE89C0F Time : 0.0 sec. user=mdettweiler [2015-02-06 21:53:10] 955*2^1390481-1 is not prime. Res64: E5DB88BBDFC72DE1 Time : 0.0 sec. user=mdettweiler [2015-02-06 21:53:11] 967*2^1390481-1 is not prime. Res64: 83B902B2E3075F28 Time : 0.0 sec. user=mdettweiler [2015-02-06 21:55:04] 705*2^1390482-1 is not prime. Res64: DB831B769734369D Time : 0.0 sec. user=mdettweiler [2015-02-06 21:55:04] 725*2^1390482-1 is not prime. Res64: D9A89B6BD247757A Time : 0.0 sec. user=mdettweiler [2015-02-06 21:57:08] 765*2^1390482-1 is not prime. Res64: 2D52870BCCD26A1B Time : 0.0 sec. user=mdettweiler [2015-02-06 21:57:08] 893*2^1390482-1 is not prime. Res64: C5B8B1F7C6A0F84C Time : 0.0 sec. user=mdettweiler [2015-02-06 22:23:12] 963*2^1390482-1 is not prime. Res64: 681EE66D33C19155 Time : 0.0 sec. user=mdettweiler [2015-02-06 22:23:13] 983*2^1390482-1 is not prime. Res64: 2F720FC376EB93B1 Time : 0.0 sec. user=mdettweiler [2015-02-06 22:23:34] 1001*2^1390482-1 is not prime. Res64: B96F6B30944E9E22 Time : 0.0 sec. user=mdettweiler [2015-02-06 22:23:34] 685*2^1390483-1 is not prime. Res64: 61F9B138B40E8706 Time : 0.0 sec. user=mdettweiler [2015-02-06 22:25:15] 703*2^1390483-1 is not prime. Res64: 86F9DF9FA556B464 Time : 0.0 sec. user=mdettweiler [2015-02-06 22:25:15] 985*2^1390483-1 is not prime. Res64: 24A837E07ABB960F Time : 0.0 sec. user=mdettweiler [2015-02-06 22:26:54] 623*2^1390484-1 is not prime. Res64: 86429F562552C74B Time : 0.0 sec. user=mdettweiler [2015-02-06 22:26:55] 819*2^1390484-1 is not prime. Res64: 94E16A8529A08395 Time : 0.0 sec. user=mdettweiler [2015-02-06 22:51:12] 873*2^1390484-1 is not prime. Res64: 9C460714B08CBC09 Time : 0.0 sec. user=mdettweiler [2015-02-06 22:51:12] 885*2^1390484-1 is not prime. Res64: 9177CC05006B6499 Time : 0.0 sec. user=mdettweiler [2015-02-06 22:52:09] 915*2^1390484-1 is not prime. Res64: D9F6607630CD77AB Time : 0.0 sec. user=mdettweiler [2015-02-06 22:52:09] 983*2^1390484-1 is not prime. Res64: F38FA0707A613C3A Time : 0.0 sec. user=mdettweiler [2015-02-06 22:53:47] 607*2^1390485-1 is not prime. Res64: 906D83839D87F8FE Time : 0.0 sec. user=mdettweiler [2015-02-06 22:53:47] 709*2^1390485-1 is not prime. Res64: 0F788881B2196362 Time : 0.0 sec. user=mdettweiler [2015-02-06 22:55:18] 795*2^1390485-1 is not prime. Res64: 6DB14AFBDD4421A5 Time : 0.0 sec. user=mdettweiler [2015-02-06 22:55:18] 811*2^1390485-1 is not prime. Res64: D7D1259E4834E79E Time : 0.0 sec. user=mdettweiler [2015-02-06 23:19:11] 871*2^1390485-1 is not prime. Res64: 63015D8A3A1BF18B Time : 0.0 sec. user=mdettweiler [2015-02-06 23:19:12] 885*2^1390485-1 is not prime. Res64: 3518447B63BD11DE Time : 0.0 sec. user=mdettweiler [2015-02-06 23:20:44] 647*2^1390486-1 is not prime. Res64: 4761C9067E1B12E2 Time : 0.0 sec. user=mdettweiler [2015-02-06 23:20:45] 657*2^1390486-1 is not prime. Res64: CF484AFB273ABD64 Time : 0.0 sec. user=mdettweiler [2015-02-06 23:22:18] 887*2^1390486-1 is not prime. Res64: F9293AF8C7106CC6 Time : 0.0 sec. user=mdettweiler [2015-02-06 23:22:18] 911*2^1390486-1 is not prime. Res64: 53A8EABF4C5C3128 Time : 0.0 sec. user=mdettweiler [2015-02-06 23:24:02] 941*2^1390486-1 is not prime. Res64: F5F61DA4A971E1D3 Time : 0.0 sec. user=mdettweiler [2015-02-06 23:24:02] 971*2^1390486-1 is not prime. Res64: 0E403AB8939EA4BC Time : 0.0 sec. user=mdettweiler [2015-02-06 23:46:57] 651*2^1390487-1 is not prime. Res64: B848C2E2E9784A37 Time : 0.0 sec. user=mdettweiler [2015-02-06 23:46:57] 693*2^1390487-1 is not prime. Res64: 999F850CB8DF0F66 Time : 0.0 sec. user=mdettweiler [2015-02-06 23:49:02] 729*2^1390487-1 is not prime. Res64: C7FBE499D0573A59 Time : 0.0 sec. user=mdettweiler [2015-02-06 23:49:02] 823*2^1390487-1 is not prime. Res64: 9A204D8ED9886B1A Time : 0.0 sec. user=mdettweiler [2015-02-06 23:50:54] 663*2^1390488-1 is not prime. Res64: 1A401C5F64C7532F Time : 0.0 sec. user=mdettweiler [2015-02-06 23:50:54] 705*2^1390488-1 is not prime. Res64: CC5FD24797799D0B Time : 0.0 sec. user=mdettweiler [2015-02-06 23:52:14] 747*2^1390488-1 is not prime. Res64: 63973930AB31EA7A Time : 0.0 sec. user=mdettweiler [2015-02-06 23:52:14] 839*2^1390488-1 is not prime. Res64: A758B655A84BE997 Time : 0.0 sec.