user=mdettweiler [2015-07-01 00:06:36] 635*2^1401846-1 is not prime. Res64: DB46B55D04E6FB7B Time : 0.0 sec. user=mdettweiler [2015-07-01 00:06:36] 805*2^1401845-1 is not prime. Res64: C636BC71DAE8DA9E Time : 0.0 sec. user=mdettweiler [2015-07-01 00:06:37] 747*2^1401846-1 is not prime. Res64: 6E4E615E6E092F40 Time : 0.0 sec. user=mdettweiler [2015-07-01 00:06:37] 937*2^1401845-1 is not prime. Res64: A9E640F409C170D0 Time : 0.0 sec. user=mdettweiler [2015-07-01 00:06:50] 843*2^1401846-1 is not prime. Res64: 86133090AD6E4922 Time : 0.0 sec. user=mdettweiler [2015-07-01 00:06:51] 851*2^1401846-1 is not prime. Res64: 2101472BBAD54229 Time : 0.0 sec. user=S_K_ [2015-07-01 00:20:48] 691*2^1401845-1 is not prime. Res64: 5B23E477CD7A5F9B Time : 0.0 sec. user=mdettweiler [2015-07-01 00:23:56] 971*2^1401846-1 is not prime. Res64: 33ABAFCF6C4A2894 Time : 0.0 sec. user=mdettweiler [2015-07-01 00:23:56] 601*2^1401847-1 is not prime. Res64: D9346D1E4D0C7B8E Time : 0.0 sec. user=mdettweiler [2015-07-01 00:23:57] 693*2^1401847-1 is not prime. Res64: D73B2466691A8BCD Time : 0.0 sec. user=mdettweiler [2015-07-01 00:23:58] 715*2^1401847-1 is not prime. Res64: 59DD43544A563D16 Time : 0.0 sec. user=mdettweiler [2015-07-01 00:24:11] 741*2^1401847-1 is not prime. Res64: 852666A7D83CB5F9 Time : 0.0 sec. user=mdettweiler [2015-07-01 00:24:11] 933*2^1401847-1 is not prime. Res64: 894DD5AF0D8E75DB Time : 0.0 sec. user=juhehe [2015-07-01 00:39:23] 887*2^1401846-1 is not prime. Res64: A2A0D22B8D7C976B Time : 0.0 sec. user=mdettweiler [2015-07-01 00:41:13] 993*2^1401847-1 is not prime. Res64: ED4B3F012EEDABA6 Time : 0.0 sec. user=mdettweiler [2015-07-01 00:41:13] 617*2^1401848-1 is not prime. Res64: F3616ACAFE889EC1 Time : 0.0 sec. user=mdettweiler [2015-07-01 00:41:15] 797*2^1401848-1 is not prime. Res64: D89D4248758BCB97 Time : 0.0 sec. user=mdettweiler [2015-07-01 00:41:15] 833*2^1401848-1 is not prime. Res64: 4C24C7637CC9779A Time : 0.0 sec. user=mdettweiler [2015-07-01 00:41:28] 845*2^1401848-1 is not prime. Res64: 7035393E14CCFA8F Time : 0.0 sec. user=mdettweiler [2015-07-01 00:41:28] 899*2^1401848-1 is not prime. Res64: 70A4FFE14242F7D2 Time : 0.0 sec. user=mdettweiler [2015-07-01 00:58:31] 945*2^1401848-1 is not prime. Res64: AA087F1880580877 Time : 0.0 sec. user=mdettweiler [2015-07-01 00:58:32] 999*2^1401848-1 is not prime. Res64: 36A85BA8305F2B33 Time : 0.0 sec. user=mdettweiler [2015-07-01 00:58:33] 601*2^1401849-1 is not prime. Res64: 6BAF5B649713860D Time : 0.0 sec. user=mdettweiler [2015-07-01 00:58:33] 669*2^1401849-1 is not prime. Res64: C38DF2A06761849A Time : 0.0 sec. user=mdettweiler [2015-07-01 00:58:46] 681*2^1401849-1 is not prime. Res64: 36C70AF29F6F34AE Time : 0.0 sec. user=mdettweiler [2015-07-01 00:58:46] 745*2^1401849-1 is not prime. Res64: 95E9CA83AC0711D5 Time : 0.0 sec. user=mdettweiler [2015-07-01 01:15:50] 781*2^1401849-1 is not prime. Res64: F34296CAB17CA25B Time : 0.0 sec. user=mdettweiler [2015-07-01 01:15:51] 795*2^1401849-1 is not prime. Res64: 82662A80814B8568 Time : 0.0 sec. user=mdettweiler [2015-07-01 01:15:51] 817*2^1401849-1 is not prime. Res64: 163F0120461760B6 Time : 0.0 sec. user=mdettweiler [2015-07-01 01:15:51] 831*2^1401849-1 is not prime. Res64: F83564DE7F48F26B Time : 0.0 sec. user=mdettweiler [2015-07-01 01:16:06] 909*2^1401849-1 is not prime. Res64: 286E2810EDB141AE Time : 0.0 sec. user=mdettweiler [2015-07-01 01:16:06] 773*2^1401850-1 is not prime. Res64: 16731FA751D29D89 Time : 0.0 sec. user=S_K_ [2015-07-01 01:32:50] 973*2^1401847-1 is not prime. Res64: 06946880272D6799 Time : 0.0 sec. user=mdettweiler [2015-07-01 01:33:08] 821*2^1401850-1 is not prime. Res64: B0396A8064014825 Time : 0.0 sec. user=mdettweiler [2015-07-01 01:33:09] 825*2^1401850-1 is not prime. Res64: 1C4DE64DE6635EE3 Time : 0.0 sec. user=mdettweiler [2015-07-01 01:33:10] 621*2^1401851-1 is not prime. Res64: 0530C98AFDEC2680 Time : 0.0 sec. user=mdettweiler [2015-07-01 01:33:11] 705*2^1401851-1 is not prime. Res64: 6C34A7BE3DF7DC55 Time : 0.0 sec. user=mdettweiler [2015-07-01 01:33:23] 735*2^1401851-1 is not prime. Res64: 0966275B607EB682 Time : 0.0 sec. user=mdettweiler [2015-07-01 01:33:24] 775*2^1401851-1 is not prime. Res64: F78FBF95235B2CF7 Time : 0.0 sec. user=mdettweiler [2015-07-01 01:50:28] 909*2^1401851-1 is not prime. Res64: A5091814D7992BA6 Time : 0.0 sec. user=mdettweiler [2015-07-01 01:50:28] 605*2^1401852-1 is not prime. Res64: 410070000701BCC2 Time : 0.0 sec. user=mdettweiler [2015-07-01 01:50:29] 753*2^1401852-1 is not prime. Res64: 588612B80D2785F2 Time : 0.0 sec. user=mdettweiler [2015-07-01 01:50:29] 825*2^1401852-1 is not prime. Res64: 7B53DB90EFDBB51B Time : 0.0 sec. user=mdettweiler [2015-07-01 01:50:42] 875*2^1401852-1 is not prime. Res64: 6581CE554B32A0A6 Time : 0.0 sec. user=mdettweiler [2015-07-01 01:50:43] 879*2^1401852-1 is not prime. Res64: 1E95082C23057592 Time : 0.0 sec. user=mdettweiler [2015-07-01 02:08:10] 651*2^1401854-1 is not prime. Res64: DA29F792B1C072CC Time : 0.0 sec. user=mdettweiler [2015-07-01 02:08:11] 677*2^1401854-1 is not prime. Res64: 6B22BFF661600786 Time : 0.0 sec. user=mdettweiler [2015-07-01 02:08:14] 899*2^1401852-1 is not prime. Res64: 363A7E7FE5450B91 Time : 0.0 sec. user=mdettweiler [2015-07-01 02:08:15] 877*2^1401853-1 is not prime. Res64: BBC127560814BFC4 Time : 0.0 sec. user=mdettweiler [2015-07-01 02:08:18] 705*2^1401854-1 is not prime. Res64: C278C59D4DCF0EAE Time : 0.0 sec. user=mdettweiler [2015-07-01 02:08:19] 753*2^1401854-1 is not prime. Res64: D668F8131121F5E7 Time : 0.0 sec. user=mdettweiler [2015-07-01 02:25:34] 917*2^1401854-1 is not prime. Res64: 963D6C24C0340109 Time : 0.0 sec. user=mdettweiler [2015-07-01 02:25:34] 927*2^1401854-1 is not prime. Res64: A09F0E1BF3BC480C Time : 0.0 sec. user=mdettweiler [2015-07-01 02:25:36] 619*2^1401855-1 is not prime. Res64: 9AEBE37FF49EFE46 Time : 0.0 sec. user=mdettweiler [2015-07-01 02:25:36] 649*2^1401855-1 is not prime. Res64: 4C9C83F07D5B7A4B Time : 0.0 sec. user=mdettweiler [2015-07-01 02:25:39] 669*2^1401855-1 is not prime. Res64: 3BADD9C51B129D1B Time : 0.0 sec. user=mdettweiler [2015-07-01 02:25:40] 691*2^1401855-1 is not prime. Res64: 0C91D74C20236F81 Time : 0.0 sec. user=mdettweiler [2015-07-01 02:43:02] 895*2^1401855-1 is not prime. Res64: 028FEA2CE9BF48D4 Time : 0.0 sec. user=mdettweiler [2015-07-01 02:43:02] 645*2^1401856-1 is not prime. Res64: 3B36EB23645ECF42 Time : 0.0 sec. user=mdettweiler [2015-07-01 02:43:02] 999*2^1401855-1 is not prime. Res64: 6A7D2377D697684B Time : 0.0 sec. user=mdettweiler [2015-07-01 02:43:02] 723*2^1401855-1 is not prime. Res64: 8F2FFA3D688C42FD Time : 0.0 sec. user=mdettweiler [2015-07-01 02:43:02] 689*2^1401856-1 is not prime. Res64: 9524D9F415D2523B Time : 0.0 sec. user=mdettweiler [2015-07-01 02:43:02] 861*2^1401855-1 is not prime. Res64: 13B2DF803BE9E07D Time : 0.0 sec. user=mdettweiler [2015-07-01 03:00:21] 695*2^1401856-1 is not prime. Res64: ED9E8822395B5BA3 Time : 0.0 sec. user=mdettweiler [2015-07-01 03:00:22] 849*2^1401856-1 is not prime. Res64: 0FC26CDD5F29E33C Time : 0.0 sec. user=mdettweiler [2015-07-01 03:00:23] 785*2^1401856-1 is not prime. Res64: D0B7512ED4FE1085 Time : 0.0 sec. user=mdettweiler [2015-07-01 03:00:23] 903*2^1401856-1 is not prime. Res64: 3D70C5863185ED8F Time : 0.0 sec. user=mdettweiler [2015-07-01 03:00:23] 947*2^1401856-1 is not prime. Res64: 3E0B60595BE35DC5 Time : 0.0 sec. user=mdettweiler [2015-07-01 03:00:24] 965*2^1401856-1 is not prime. Res64: 83E65454CD034994 Time : 0.0 sec. user=mdettweiler [2015-07-01 03:17:43] 999*2^1401856-1 is not prime. Res64: 78CB8EE2C6AF30E2 Time : 0.0 sec. user=mdettweiler [2015-07-01 03:17:44] 601*2^1401857-1 is not prime. Res64: C37C6587C2E4E4D3 Time : 0.0 sec. user=mdettweiler [2015-07-01 03:17:47] 847*2^1401857-1 is not prime. Res64: E3B8F9A87FCA68AB Time : 0.0 sec. user=mdettweiler [2015-07-01 03:17:47] 871*2^1401857-1 is not prime. Res64: 731AFA41AB1F9233 Time : 0.0 sec. user=mdettweiler [2015-07-01 03:17:49] 937*2^1401857-1 is not prime. Res64: 5BF91338BAC9B7CC Time : 0.0 sec. user=mdettweiler [2015-07-01 03:17:49] 635*2^1401858-1 is not prime. Res64: EF72DC650CC313BB Time : 0.0 sec. user=mdettweiler [2015-07-01 03:35:05] 663*2^1401858-1 is not prime. Res64: 10238615E185C6F9 Time : 0.0 sec. user=mdettweiler [2015-07-01 03:35:07] 893*2^1401858-1 is not prime. Res64: 7790866504DDE7E8 Time : 0.0 sec. user=mdettweiler [2015-07-01 03:35:07] 709*2^1401859-1 is not prime. Res64: AC9627C66DAE1807 Time : 0.0 sec. user=mdettweiler [2015-07-01 03:35:08] 853*2^1401859-1 is not prime. Res64: E3153E5AC0479F3D Time : 0.0 sec. user=mdettweiler [2015-07-01 03:35:09] 829*2^1401859-1 is not prime. Res64: 610E6DFCCD7B0EEF Time : 0.0 sec. user=mdettweiler [2015-07-01 03:35:09] 975*2^1401859-1 is not prime. Res64: 07A0D15EECE4CE81 Time : 0.0 sec. user=S_K_ [2015-07-01 03:50:49] 693*2^1401856-1 is not prime. Res64: 1EDF517F1486FCB0 Time : 0.0 sec. user=juhehe [2015-07-01 04:13:07] 609*2^1401860-1 is not prime. Res64: AE124AC461166352 Time : 0.0 sec. user=mdettweiler [2015-07-01 04:45:09] 923*2^1401860-1 is not prime. Res64: 15CEB65CC342AF8D Time : 0.0 sec. user=mdettweiler [2015-07-01 04:45:09] 927*2^1401860-1 is not prime. Res64: F0E7A0CC8A6EBACB Time : 0.0 sec. user=juhehe [2015-07-01 04:57:20] 977*2^1401860-1 is not prime. Res64: 44085340D6C775F5 Time : 0.0 sec. user=mdettweiler [2015-07-01 05:02:48] 995*2^1401860-1 is not prime. Res64: DEBC6FBC0F9FB38E Time : 0.0 sec. user=mdettweiler [2015-07-01 05:02:50] 691*2^1401861-1 is not prime. Res64: 9D3BABF02F6B2B14 Time : 0.0 sec. user=mdettweiler [2015-07-01 05:10:50] 759*2^1401860-1 is not prime. Res64: 410D73D91ABA1A7E Time : 0.0 sec. user=mdettweiler [2015-07-01 05:10:50] 959*2^1401860-1 is not prime. Res64: 6D394FAA36421956 Time : 0.0 sec. user=mdettweiler [2015-07-01 05:11:06] 729*2^1401860-1 is not prime. Res64: 9BB1AC4100BA654B Time : 0.0 sec. user=mdettweiler [2015-07-01 05:11:06] 909*2^1401860-1 is not prime. Res64: 101362F262ED1D40 Time : 0.0 sec. user=mdettweiler [2015-07-01 05:20:47] 735*2^1401861-1 is not prime. Res64: CA1B22A975080C7C Time : 0.0 sec. user=mdettweiler [2015-07-01 05:20:47] 825*2^1401861-1 is not prime. Res64: EC74C2B1530251E3 Time : 0.0 sec. user=mdettweiler [2015-07-01 05:28:11] 859*2^1401861-1 is not prime. Res64: 2C1D13217E7275A3 Time : 0.0 sec. user=mdettweiler [2015-07-01 05:28:12] 877*2^1401861-1 is not prime. Res64: C040E01FE1049351 Time : 0.0 sec. user=mdettweiler [2015-07-01 05:28:27] 901*2^1401861-1 is not prime. Res64: 832D3DB5D60B3614 Time : 0.0 sec. user=mdettweiler [2015-07-01 05:28:28] 921*2^1401861-1 is not prime. Res64: BC5EA285290DC829 Time : 0.0 sec. user=mdettweiler [2015-07-01 05:38:05] 975*2^1401861-1 is not prime. Res64: 9C1042D817189E1C Time : 0.0 sec. user=mdettweiler [2015-07-01 05:38:06] 979*2^1401861-1 is not prime. Res64: 787765AF5CFD75CF Time : 0.0 sec. user=mdettweiler [2015-07-01 05:45:30] 611*2^1401862-1 is not prime. Res64: EBC6A9AC0135A5C5 Time : 0.0 sec. user=mdettweiler [2015-07-01 05:45:31] 635*2^1401862-1 is not prime. Res64: 7FA54171B303925B Time : 0.0 sec. user=mdettweiler [2015-07-01 05:45:46] 765*2^1401862-1 is not prime. Res64: E96EB19232C38121 Time : 0.0 sec. user=mdettweiler [2015-07-01 05:45:46] 825*2^1401862-1 is not prime. Res64: 52A2118A2F9A1598 Time : 0.0 sec. user=mdettweiler [2015-07-01 05:55:27] 897*2^1401862-1 is not prime. Res64: EFCCBDF266C5DBF5 Time : 0.0 sec. user=mdettweiler [2015-07-01 05:55:27] 917*2^1401862-1 is not prime. Res64: 92F7907715DF034D Time : 0.0 sec. user=mdettweiler [2015-07-01 06:02:50] 957*2^1401862-1 is not prime. Res64: 8FB7E217BEC821FA Time : 0.0 sec. user=mdettweiler [2015-07-01 06:02:51] 669*2^1401863-1 is not prime. Res64: BADBF8D3F9CB84CC Time : 0.0 sec. user=mdettweiler [2015-07-01 06:03:04] 741*2^1401863-1 is not prime. Res64: D5C41D536C9FC06F Time : 0.0 sec. user=mdettweiler [2015-07-01 06:03:06] 895*2^1401863-1 is not prime. Res64: 0089651C8084E883 Time : 0.0 sec. user=mdettweiler [2015-07-01 06:12:50] 969*2^1401863-1 is not prime. Res64: 11191F54142210F5 Time : 0.0 sec. user=mdettweiler [2015-07-01 06:12:50] 993*2^1401863-1 is not prime. Res64: 8FBCB491F09B99CB Time : 0.0 sec. user=mdettweiler [2015-07-01 06:20:10] 663*2^1401864-1 is not prime. Res64: 56D2307304361CAE Time : 0.0 sec. user=mdettweiler [2015-07-01 06:20:11] 707*2^1401864-1 is not prime. Res64: 7C70D196D5588B91 Time : 0.0 sec. user=mdettweiler [2015-07-01 06:20:26] 767*2^1401864-1 is not prime. Res64: 4E9111F9174E6476 Time : 0.0 sec. user=mdettweiler [2015-07-01 06:20:26] 843*2^1401864-1 is not prime. Res64: AB860D042EAEBFA6 Time : 0.0 sec. user=mdettweiler [2015-07-01 06:30:13] 863*2^1401864-1 is not prime. Res64: D857218195B8001F Time : 0.0 sec. user=mdettweiler [2015-07-01 06:30:13] 909*2^1401864-1 is not prime. Res64: 35119887FE216199 Time : 0.0 sec. user=mdettweiler [2015-07-01 06:37:29] 625*2^1401865-1 is not prime. Res64: C63D02F25E47CAFE Time : 0.0 sec. user=mdettweiler [2015-07-01 06:37:30] 765*2^1401865-1 is not prime. Res64: 78F0A84672DF340C Time : 0.0 sec. user=mdettweiler [2015-07-01 06:37:45] 777*2^1401865-1 is not prime. Res64: CE842D0F3E365D84 Time : 0.0 sec. user=mdettweiler [2015-07-01 06:37:46] 789*2^1401865-1 is not prime. Res64: C52B49863995C5AA Time : 0.0 sec. user=mdettweiler [2015-07-01 06:47:33] 707*2^1401866-1 is not prime. Res64: 7D0892B6FAFA85F9 Time : 0.0 sec. user=mdettweiler [2015-07-01 06:47:33] 717*2^1401866-1 is not prime. Res64: 80AE99226093FEE8 Time : 0.0 sec. user=juhehe [2015-07-01 06:54:37] 975*2^1401864-1 is not prime. Res64: 84B547597FD72CD0 Time : 0.0 sec. user=mdettweiler [2015-07-01 06:54:47] 843*2^1401866-1 is not prime. Res64: 833AD34AE70F3FD8 Time : 0.0 sec. user=mdettweiler [2015-07-01 06:54:48] 857*2^1401866-1 is not prime. Res64: 90B6DB308A909E9B Time : 0.0 sec. user=mdettweiler [2015-07-01 06:55:04] 983*2^1401866-1 is not prime. Res64: 255A41D97A4A37E0 Time : 0.0 sec. user=mdettweiler [2015-07-01 06:55:04] 643*2^1401867-1 is not prime. Res64: DAF13C17DE571B29 Time : 0.0 sec. user=mdettweiler [2015-07-01 07:04:54] 669*2^1401867-1 is not prime. Res64: E2ADE8EF121EE5C8 Time : 0.0 sec. user=mdettweiler [2015-07-01 07:04:58] 699*2^1401867-1 is not prime. Res64: 46A874C54DFCDDD9 Time : 0.0 sec. user=mdettweiler [2015-07-01 07:12:09] 703*2^1401867-1 is not prime. Res64: 8A8FB319D4ADFBB6 Time : 0.0 sec. user=mdettweiler [2015-07-01 07:12:09] 795*2^1401867-1 is not prime. Res64: BEC9A002A46A42DA Time : 0.0 sec. user=mdettweiler [2015-07-01 07:12:23] 973*2^1401867-1 is not prime. Res64: F71EFD97A4FB8788 Time : 0.0 sec. user=mdettweiler [2015-07-01 07:12:24] 623*2^1401868-1 is not prime. Res64: 9C84596482EF52BE Time : 0.0 sec. user=mdettweiler [2015-07-01 07:22:39] 723*2^1401868-1 is not prime. Res64: D9F669DFE0036C30 Time : 0.0 sec. user=mdettweiler [2015-07-01 07:22:40] 887*2^1401868-1 is not prime. Res64: 10EDF3E3621ED539 Time : 0.0 sec. user=mdettweiler [2015-07-01 07:29:30] 897*2^1401868-1 is not prime. Res64: FB15AB5FCE8C580F Time : 0.0 sec. user=mdettweiler [2015-07-01 07:29:31] 645*2^1401869-1 is not prime. Res64: 7269D805D3346E24 Time : 0.0 sec. user=mdettweiler [2015-07-01 07:29:46] 675*2^1401869-1 is not prime. Res64: CCBC3F50AD0A4202 Time : 0.0 sec. user=mdettweiler [2015-07-01 07:29:46] 789*2^1401869-1 is not prime. Res64: 88972453F8B57DD7 Time : 0.0 sec. user=mdettweiler [2015-07-01 07:39:58] 879*2^1401869-1 is not prime. Res64: 93B888B5CA754485 Time : 0.0 sec. user=mdettweiler [2015-07-01 07:39:59] 925*2^1401869-1 is not prime. Res64: AA7C490AEFD783F0 Time : 0.0 sec. user=S_K_ [2015-07-01 07:45:31] 623*2^1401864-1 is not prime. Res64: F4B21669AC16C5E8 Time : 0.0 sec. user=mdettweiler [2015-07-01 07:46:50] 951*2^1401869-1 is not prime. Res64: A2CB9668A8A7F5C2 Time : 0.0 sec. user=mdettweiler [2015-07-01 07:46:50] 647*2^1401870-1 is not prime. Res64: B0569E1E3105234E Time : 0.0 sec. user=mdettweiler [2015-07-01 07:47:06] 651*2^1401870-1 is not prime. Res64: D525C694148E7F80 Time : 0.0 sec. user=mdettweiler [2015-07-01 07:47:06] 725*2^1401870-1 is not prime. Res64: 2B8B8E82D8988A7E Time : 0.0 sec. user=mdettweiler [2015-07-01 07:57:18] 783*2^1401870-1 is not prime. Res64: 9D93BA9281E81396 Time : 0.0 sec. user=mdettweiler [2015-07-01 07:57:18] 845*2^1401870-1 is not prime. Res64: 9AF095282F881588 Time : 0.0 sec. user=mdettweiler [2015-07-01 08:04:09] 873*2^1401870-1 is not prime. Res64: 24730D6037CB18E0 Time : 0.0 sec. user=mdettweiler [2015-07-01 08:04:10] 893*2^1401870-1 is not prime. Res64: 9F979452760CA4D7 Time : 0.0 sec. user=mdettweiler [2015-07-01 08:04:24] 933*2^1401870-1 is not prime. Res64: 9132B17B71F0E286 Time : 0.0 sec. user=mdettweiler [2015-07-01 08:04:26] 619*2^1401871-1 is not prime. Res64: 698644D227929778 Time : 0.0 sec. user=juhehe [2015-07-01 08:13:40] 761*2^1401870-1 is not prime. Res64: 56C4260C941B4852 Time : 0.0 sec. user=mdettweiler [2015-07-01 08:14:36] 759*2^1401871-1 is not prime. Res64: 5BB08342EFB1E3BB Time : 0.0 sec. user=mdettweiler [2015-07-01 08:14:37] 793*2^1401871-1 is not prime. Res64: 0AD410C562B548B5 Time : 0.0 sec. user=mdettweiler [2015-07-01 08:21:40] 999*2^1401871-1 is not prime. Res64: 87D284333977B800 Time : 0.0 sec. user=mdettweiler [2015-07-01 08:21:41] 629*2^1401872-1 is not prime. Res64: 26D20A020457BDB6 Time : 0.0 sec. user=mdettweiler [2015-07-01 08:21:45] 785*2^1401872-1 is not prime. Res64: 626F304C5D75F265 Time : 0.0 sec. user=mdettweiler [2015-07-01 08:21:46] 827*2^1401872-1 is not prime. Res64: BB6C95E6161788E7 Time : 0.0 sec. user=mdettweiler [2015-07-01 08:32:02] 649*2^1401873-1 is not prime. Res64: BB21CCE19F46B8A3 Time : 0.0 sec. user=mdettweiler [2015-07-01 08:32:02] 745*2^1401873-1 is not prime. Res64: 9C9E7AD45BE2653F Time : 0.0 sec. user=juhehe [2015-07-01 08:35:05] 673*2^1401871-1 is not prime. Res64: 4282BE04605427B5 Time : 0.0 sec. user=mdettweiler [2015-07-01 08:38:59] 751*2^1401873-1 is not prime. Res64: A7B3B821D76A69E4 Time : 0.0 sec. user=mdettweiler [2015-07-01 08:38:59] 675*2^1401874-1 is not prime. Res64: 728C14CD16C42D1A Time : 0.0 sec. user=mdettweiler [2015-07-01 08:39:05] 701*2^1401874-1 is not prime. Res64: 95B479F47CE55EA3 Time : 0.0 sec. user=mdettweiler [2015-07-01 08:39:05] 765*2^1401874-1 is not prime. Res64: A7986E42BFFD1064 Time : 0.0 sec. user=mdettweiler [2015-07-01 08:49:22] 861*2^1401874-1 is not prime. Res64: E64173C11AAB8282 Time : 0.0 sec. user=mdettweiler [2015-07-01 08:49:23] 881*2^1401874-1 is not prime. Res64: F4773360392B8A33 Time : 0.0 sec. user=mdettweiler [2015-07-01 08:56:17] 887*2^1401874-1 is not prime. Res64: A441710F0BAB59F5 Time : 0.0 sec. user=mdettweiler [2015-07-01 08:56:18] 619*2^1401875-1 is not prime. Res64: ACCF00FC10983311 Time : 0.0 sec. user=mdettweiler [2015-07-01 08:56:28] 643*2^1401875-1 is not prime. Res64: 1DDFBEC636A4749B Time : 0.0 sec. user=mdettweiler [2015-07-01 08:56:28] 963*2^1401875-1 is not prime. Res64: A977F6BD837F83B3 Time : 0.0 sec. user=mdettweiler [2015-07-01 09:06:41] 973*2^1401875-1 is not prime. Res64: 5E96A35819EDFB64 Time : 0.0 sec. user=mdettweiler [2015-07-01 09:06:42] 623*2^1401876-1 is not prime. Res64: 0EE00ACD7AB5163C Time : 0.0 sec. user=mdettweiler [2015-07-01 09:13:37] 633*2^1401876-1 is not prime. Res64: 635CE05367FE4850 Time : 0.0 sec. user=mdettweiler [2015-07-01 09:13:37] 635*2^1401876-1 is not prime. Res64: 8585628424DEE1A9 Time : 0.0 sec. user=mdettweiler [2015-07-01 09:13:46] 669*2^1401876-1 is not prime. Res64: 47821B8116019529 Time : 0.0 sec. user=mdettweiler [2015-07-01 09:13:46] 699*2^1401876-1 is not prime. Res64: 7C7CC18570614827 Time : 0.0 sec. user=mdettweiler [2015-07-01 09:24:03] 705*2^1401876-1 is not prime. Res64: 95F393BC258029CB Time : 0.0 sec. user=mdettweiler [2015-07-01 09:24:04] 735*2^1401876-1 is not prime. Res64: 8E498D6194FCDF80 Time : 0.0 sec. user=mdettweiler [2015-07-01 09:30:58] 749*2^1401876-1 is not prime. Res64: 2361E6A1AC8A3AD6 Time : 0.0 sec. user=mdettweiler [2015-07-01 09:30:58] 809*2^1401876-1 is not prime. Res64: 92602760BAE5A054 Time : 0.0 sec. user=mdettweiler [2015-07-01 09:31:04] 857*2^1401876-1 is not prime. Res64: 5D04258B3988FF37 Time : 0.0 sec. user=mdettweiler [2015-07-01 09:31:04] 975*2^1401876-1 is not prime. Res64: 4D70E3ADC994AB4B Time : 0.0 sec. user=mdettweiler [2015-07-01 09:41:22] 607*2^1401877-1 is not prime. Res64: EF94A6DFD82C1BEE Time : 0.0 sec. user=mdettweiler [2015-07-01 09:41:23] 615*2^1401877-1 is not prime. Res64: AA60A18A4AD25AB9 Time : 0.0 sec. user=mdettweiler [2015-07-01 09:48:17] 729*2^1401877-1 is not prime. Res64: 3788F3D27DC9C53B Time : 0.0 sec. user=mdettweiler [2015-07-01 09:48:18] 859*2^1401877-1 is not prime. Res64: D947E69AD6FB0C02 Time : 0.0 sec. user=mdettweiler [2015-07-01 09:48:22] 641*2^1401878-1 is not prime. Res64: ED9B549F8D777613 Time : 0.0 sec. user=mdettweiler [2015-07-01 09:48:23] 833*2^1401878-1 is not prime. Res64: 8CEB40CD40AE34E9 Time : 0.0 sec. user=mdettweiler [2015-07-01 09:58:44] 963*2^1401878-1 is not prime. Res64: FB65D21232E3ADD8 Time : 0.0 sec. user=mdettweiler [2015-07-01 09:58:44] 619*2^1401879-1 is not prime. Res64: 2F07B6BFC2867590 Time : 0.0 sec. user=mdettweiler [2015-07-01 10:05:40] 679*2^1401879-1 is not prime. Res64: BE1383170D20A8F5 Time : 0.0 sec. user=mdettweiler [2015-07-01 10:05:41] 951*2^1401879-1 is not prime. Res64: 0AA2E013C214DFF4 Time : 0.0 sec. user=mdettweiler [2015-07-01 10:05:45] 979*2^1401879-1 is not prime. Res64: 2276530BA423E7F0 Time : 0.0 sec. user=mdettweiler [2015-07-01 10:05:48] 623*2^1401880-1 is not prime. Res64: F632407DAF41CA78 Time : 0.0 sec. user=mdettweiler [2015-07-01 10:16:02] 695*2^1401880-1 is not prime. Res64: 68338104EDD05F24 Time : 0.0 sec. user=mdettweiler [2015-07-01 10:16:03] 719*2^1401880-1 is not prime. Res64: D414B32031BBDF61 Time : 0.0 sec. user=mdettweiler [2015-07-01 10:23:24] 983*2^1401880-1 is not prime. Res64: 85581B4DBC2AAA9D Time : 0.0 sec. user=mdettweiler [2015-07-01 10:23:25] 657*2^1401881-1 is not prime. Res64: 62BF7EC3E001A209 Time : 0.0 sec. user=mdettweiler [2015-07-01 10:23:26] 711*2^1401881-1 is not prime. Res64: 56728A7F1C64E68F Time : 0.0 sec. user=mdettweiler [2015-07-01 10:23:26] 829*2^1401881-1 is not prime. Res64: 74334EEB0FE08F97 Time : 0.0 sec. user=mdettweiler [2015-07-01 10:33:23] 901*2^1401881-1 is not prime. Res64: 8CC8D9D6D9043349 Time : 0.0 sec. user=mdettweiler [2015-07-01 10:33:23] 907*2^1401881-1 is not prime. Res64: 2B26B1E26E7EE698 Time : 0.0 sec. user=juhehe [2015-07-01 10:35:12] 645*2^1401880-1 is not prime. Res64: 0C4BB8D1ABBE0D1C Time : 0.0 sec. user=mdettweiler [2015-07-01 10:40:42] 681*2^1401882-1 is not prime. Res64: DE44147722DDDA08 Time : 0.0 sec. user=mdettweiler [2015-07-01 10:40:43] 741*2^1401882-1 is not prime. Res64: 1EB3CED2E801F4ED Time : 0.0 sec. user=mdettweiler [2015-07-01 10:40:44] 801*2^1401882-1 is not prime. Res64: CC3502A097560261 Time : 0.0 sec. user=mdettweiler [2015-07-01 10:40:44] 893*2^1401882-1 is not prime. Res64: 0945583F94CEA270 Time : 0.0 sec. user=mdettweiler [2015-07-01 10:50:42] 903*2^1401882-1 is not prime. Res64: F2A5B7A4D9CF0971 Time : 0.0 sec. user=mdettweiler [2015-07-01 10:50:42] 941*2^1401882-1 is not prime. Res64: 67519E344D18BF9A Time : 0.0 sec. user=mdettweiler [2015-07-01 10:58:02] 975*2^1401882-1 is not prime. Res64: FC756F7B24231E7C Time : 0.0 sec. user=mdettweiler [2015-07-01 10:58:03] 675*2^1401883-1 is not prime. Res64: EEDDEEA2E2371DCB Time : 0.0 sec. user=mdettweiler [2015-07-01 10:58:10] 885*2^1401883-1 is not prime. Res64: F2883B8392DF017A Time : 0.0 sec. user=mdettweiler [2015-07-01 10:58:11] 915*2^1401883-1 is not prime. Res64: 6A2F7393C04E75D3 Time : 0.0 sec. user=mdettweiler [2015-07-01 11:08:01] 605*2^1401884-1 is not prime. Res64: 989A730304C38AB8 Time : 0.0 sec. user=mdettweiler [2015-07-01 11:08:02] 609*2^1401884-1 is not prime. Res64: EBCB1697F41B17D5 Time : 0.0 sec. user=mdettweiler [2015-07-01 11:15:22] 773*2^1401884-1 is not prime. Res64: E2E0AB41BCA7D9C6 Time : 0.0 sec. user=mdettweiler [2015-07-01 11:15:22] 833*2^1401884-1 is not prime. Res64: BB7CF0D717232E55 Time : 0.0 sec. user=mdettweiler [2015-07-01 11:15:29] 885*2^1401884-1 is not prime. Res64: AD1B56D032A50D12 Time : 0.0 sec. user=mdettweiler [2015-07-01 11:15:30] 903*2^1401884-1 is not prime. Res64: E2B9E65C6A710469 Time : 0.0 sec. user=mdettweiler [2015-07-01 11:25:25] 995*2^1401884-1 is not prime. Res64: A69AE4091D935724 Time : 0.0 sec. user=mdettweiler [2015-07-01 11:25:25] 627*2^1401885-1 is not prime. Res64: B3A8C4CFD356674A Time : 0.0 sec. user=mdettweiler [2015-07-01 11:32:41] 741*2^1401886-1 is not prime. Res64: 4A61CFF2DA9300E5 Time : 0.0 sec. user=mdettweiler [2015-07-01 11:32:41] 773*2^1401886-1 is not prime. Res64: 19BA14FE84860345 Time : 0.0 sec. user=mdettweiler [2015-07-01 11:32:49] 801*2^1401886-1 is not prime. Res64: C753DF62ED5AFD9F Time : 0.0 sec. user=mdettweiler [2015-07-01 11:32:49] 981*2^1401886-1 is not prime. Res64: D88B97B2F52ABB5A Time : 0.0 sec. user=mdettweiler [2015-07-01 11:42:50] 983*2^1401886-1 is not prime. Res64: 3B2B69642382E836 Time : 0.0 sec. user=mdettweiler [2015-07-01 11:42:50] 987*2^1401886-1 is not prime. Res64: 4903CD7893EBBA48 Time : 0.0 sec. user=mdettweiler [2015-07-01 11:50:14] 661*2^1401887-1 is not prime. Res64: 67E759BB27866FDC Time : 0.0 sec. user=mdettweiler [2015-07-01 11:50:14] 729*2^1401887-1 is not prime. Res64: AE5AD19E9FC020D1 Time : 0.0 sec. user=mdettweiler [2015-07-01 11:50:20] 805*2^1401887-1 is not prime. Res64: C19FC2DC3A80802B Time : 0.0 sec. user=mdettweiler [2015-07-01 11:50:21] 813*2^1401887-1 is not prime. Res64: 64FFA75D0E9502E6 Time : 0.0 sec. user=mdettweiler [2015-07-01 12:00:25] 865*2^1401887-1 is not prime. Res64: A846AAFC039F30DF Time : 0.0 sec. user=mdettweiler [2015-07-01 12:00:26] 753*2^1401888-1 is not prime. Res64: 076368F464F563E9 Time : 0.0 sec. user=mdettweiler [2015-07-01 12:07:52] 815*2^1401888-1 is not prime. Res64: 63588896D02D8FE2 Time : 0.0 sec. user=mdettweiler [2015-07-01 12:07:52] 923*2^1401888-1 is not prime. Res64: 674FAEED9AE77341 Time : 0.0 sec. user=mdettweiler [2015-07-01 12:07:58] 615*2^1401889-1 is not prime. Res64: 754F923D803032C8 Time : 0.0 sec. user=mdettweiler [2015-07-01 12:07:59] 661*2^1401889-1 is not prime. Res64: 45E5CB56A1573FA1 Time : 0.0 sec. user=mdettweiler [2015-07-01 12:18:09] 667*2^1401889-1 is not prime. Res64: 6CC73ED3F40C5B7B Time : 0.0 sec. user=mdettweiler [2015-07-01 12:18:10] 699*2^1401889-1 is not prime. Res64: 41D187F6A6F1879D Time : 0.0 sec. user=mdettweiler [2015-07-01 12:25:26] 765*2^1401889-1 is not prime. Res64: 3127829163BC892F Time : 0.0 sec. user=mdettweiler [2015-07-01 12:25:26] 861*2^1401889-1 is not prime. Res64: 5D6A9319B84E90BE Time : 0.0 sec. user=mdettweiler [2015-07-01 12:25:32] 635*2^1401890-1 is not prime. Res64: 16CF84AA93879C47 Time : 0.0 sec. user=mdettweiler [2015-07-01 12:25:33] 743*2^1401890-1 is not prime. Res64: 03E27C18205F1E99 Time : 0.0 sec. user=mdettweiler [2015-07-01 12:35:42] 813*2^1401890-1 is not prime. Res64: 4CBEF7969195EAA6 Time : 0.0 sec. user=mdettweiler [2015-07-01 12:35:42] 935*2^1401890-1 is not prime. Res64: 94AEC2C64EBE8F55 Time : 0.0 sec. user=mdettweiler [2015-07-01 12:42:53] 971*2^1401890-1 is not prime. Res64: 03564C27FCBC1E86 Time : 0.0 sec. user=mdettweiler [2015-07-01 12:42:53] 619*2^1401891-1 is not prime. Res64: F99282170B1E36D9 Time : 0.0 sec. user=mdettweiler [2015-07-01 12:42:59] 741*2^1401891-1 is not prime. Res64: C5076D09822B04BA Time : 0.0 sec. user=mdettweiler [2015-07-01 12:42:59] 783*2^1401891-1 is not prime. Res64: 1E64E46377EC04F9 Time : 0.0 sec. user=S_K_ [2015-07-01 12:47:12] 767*2^1401890-1 is not prime. Res64: AA4D337BEC1AB658 Time : 0.0 sec. user=mdettweiler [2015-07-01 12:53:08] 969*2^1401891-1 is not prime. Res64: 2EE1D5B7C78ABC53 Time : 0.0 sec. user=mdettweiler [2015-07-01 12:53:08] 603*2^1401892-1 is not prime. Res64: 6696A81375F6DAE5 Time : 0.0 sec. user=mdettweiler [2015-07-01 13:00:37] 617*2^1401892-1 is not prime. Res64: 241E8BEE0F6BC47E Time : 0.0 sec. user=mdettweiler [2015-07-01 13:00:38] 735*2^1401892-1 is not prime. Res64: C5DE59CB8D29347D Time : 0.0 sec. user=mdettweiler [2015-07-01 13:00:45] 803*2^1401892-1 is not prime. Res64: AE8CBFBD93F824A3 Time : 0.0 sec. user=mdettweiler [2015-07-01 13:00:47] 827*2^1401892-1 is not prime. Res64: A42E4D7988E37C2B Time : 0.0 sec. user=juhehe [2015-07-01 13:04:18] 785*2^1401890-1 is not prime. Res64: AAE815721250824B Time : 0.0 sec. user=mdettweiler [2015-07-01 13:11:11] 885*2^1401892-1 is not prime. Res64: 701520A1945B1F51 Time : 0.0 sec. user=mdettweiler [2015-07-01 13:11:12] 899*2^1401892-1 is not prime. Res64: 938DFCC4BB45E50E Time : 0.0 sec. user=mdettweiler [2015-07-01 13:18:26] 915*2^1401892-1 is not prime. Res64: D5F83D8A034080C0 Time : 0.0 sec. user=mdettweiler [2015-07-01 13:18:27] 923*2^1401892-1 is not prime. Res64: 373A72DD5AEC5683 Time : 0.0 sec. user=mdettweiler [2015-07-01 13:18:28] 933*2^1401892-1 is not prime. Res64: EDFCCB2B81DBEB1A Time : 0.0 sec. user=mdettweiler [2015-07-01 13:18:29] 991*2^1401893-1 is not prime. Res64: 3314DA0A6B56C092 Time : 0.0 sec. user=mdettweiler [2015-07-01 13:28:43] 605*2^1401894-1 is not prime. Res64: 4D058A0AA94BC1D6 Time : 0.0 sec. user=mdettweiler [2015-07-01 13:28:44] 621*2^1401894-1 is not prime. Res64: B5B9975457AF1DE0 Time : 0.0 sec. user=mdettweiler [2015-07-01 13:35:50] 795*2^1401894-1 is not prime. Res64: 235AE24EC2818EAF Time : 0.0 sec. user=mdettweiler [2015-07-01 13:35:50] 693*2^1401894-1 is not prime. Res64: 2189F2002D1679D4 Time : 0.0 sec. user=mdettweiler [2015-07-01 13:35:50] 695*2^1401894-1 is not prime. Res64: 4B0E2427337E0142 Time : 0.0 sec. user=mdettweiler [2015-07-01 13:35:50] 863*2^1401894-1 is not prime. Res64: 4B20C7507F4E29DC Time : 0.0 sec. user=S_K_ [2015-07-01 13:42:02] 855*2^1401892-1 is not prime. Res64: 814EB24BD491C267 Time : 0.0 sec. user=mdettweiler [2015-07-01 13:46:08] 917*2^1401894-1 is not prime. Res64: 16BA6EBAE4E64543 Time : 0.0 sec. user=mdettweiler [2015-07-01 13:46:08] 975*2^1401894-1 is not prime. Res64: 01B0108F1A56BF00 Time : 0.0 sec. user=mdettweiler [2015-07-01 13:53:17] 741*2^1401895-1 is not prime. Res64: 8ADC0259EDC23B7B Time : 0.0 sec. user=mdettweiler [2015-07-01 13:53:17] 1001*2^1401894-1 is not prime. Res64: 3FB0537554ADD486 Time : 0.0 sec. user=mdettweiler [2015-07-01 13:53:17] 915*2^1401895-1 is not prime. Res64: 3045186FD6B10C6A Time : 0.0 sec. user=mdettweiler [2015-07-01 13:53:18] 673*2^1401895-1 is not prime. Res64: 5863840A098649D7 Time : 0.0 sec. user=mdettweiler [2015-07-01 14:03:32] 973*2^1401895-1 is not prime. Res64: B4782009762134CC Time : 0.0 sec. user=mdettweiler [2015-07-01 14:03:33] 827*2^1401896-1 is not prime. Res64: F4387743490EA822 Time : 0.0 sec. user=mdettweiler [2015-07-01 14:10:38] 833*2^1401896-1 is not prime. Res64: 76CFA1688C472035 Time : 0.0 sec. user=mdettweiler [2015-07-01 14:10:38] 867*2^1401896-1 is not prime. Res64: D361AC2CD72D9494 Time : 0.0 sec. user=mdettweiler [2015-07-01 14:10:39] 839*2^1401896-1 is not prime. Res64: 6E24BF8D777F83DF Time : 0.0 sec. user=mdettweiler [2015-07-01 14:10:39] 739*2^1401897-1 is not prime. Res64: 11581DB2A44FF55E Time : 0.0 sec. user=mdettweiler [2015-07-01 14:21:14] 915*2^1401897-1 is not prime. Res64: 6F579B67CCE9E617 Time : 0.0 sec. user=mdettweiler [2015-07-01 14:21:14] 979*2^1401897-1 is not prime. Res64: C87C89A455A6C1A7 Time : 0.0 sec. user=mdettweiler [2015-07-01 14:28:01] 611*2^1401898-1 is not prime. Res64: AFC834F5CC1F8EAE Time : 0.0 sec. user=mdettweiler [2015-07-01 14:28:02] 617*2^1401898-1 is not prime. Res64: 54AF35FB2BEDC17B Time : 0.0 sec. user=mdettweiler [2015-07-01 14:28:03] 621*2^1401898-1 is not prime. Res64: B4FF14BE0BA0AB59 Time : 0.0 sec. user=mdettweiler [2015-07-01 14:28:03] 645*2^1401898-1 is not prime. Res64: 8C4CE80CEBC3F2D9 Time : 0.0 sec. user=mdettweiler [2015-07-01 14:38:40] 707*2^1401898-1 is not prime. Res64: 2E73CB158616400A Time : 0.0 sec. user=mdettweiler [2015-07-01 14:38:40] 713*2^1401898-1 is not prime. Res64: DFB7DD42B6C3BC3F Time : 0.0 sec. user=mdettweiler [2015-07-01 14:45:24] 821*2^1401898-1 is not prime. Res64: 2C017C5A6384FCC6 Time : 0.0 sec. user=mdettweiler [2015-07-01 14:45:24] 825*2^1401898-1 is not prime. Res64: 9049FC4B8995F683 Time : 0.0 sec. user=mdettweiler [2015-07-01 14:45:27] 723*2^1401898-1 is not prime. Res64: 5DD935C108D849CE Time : 0.0 sec. user=mdettweiler [2015-07-01 14:45:28] 777*2^1401898-1 is not prime. Res64: 605580D572ACF3EF Time : 0.0 sec. user=mdettweiler [2015-07-01 14:56:01] 911*2^1401898-1 is not prime. Res64: EFFC6AF653436035 Time : 0.0 sec. user=mdettweiler [2015-07-01 14:56:01] 941*2^1401898-1 is not prime. Res64: 2D95630C4B90A7B5 Time : 0.0 sec. user=mdettweiler [2015-07-01 15:02:46] 987*2^1401898-1 is not prime. Res64: 54B4DDD2C6D8CF14 Time : 0.0 sec. user=mdettweiler [2015-07-01 15:02:47] 601*2^1401899-1 is not prime. Res64: 44A665FA8D505B5E Time : 0.0 sec. user=mdettweiler [2015-07-01 15:02:48] 619*2^1401899-1 is not prime. Res64: DE7BDEDF3E0B66B0 Time : 0.0 sec. user=mdettweiler [2015-07-01 15:02:49] 633*2^1401899-1 is not prime. Res64: 0F8D8A16E3F03300 Time : 0.0 sec. user=mdettweiler [2015-07-01 15:13:21] 799*2^1401899-1 is not prime. Res64: E2018A5D6BE20430 Time : 0.0 sec. user=mdettweiler [2015-07-01 15:13:22] 629*2^1401900-1 is not prime. Res64: 230E1C32599C374C Time : 0.0 sec. user=juhehe [2015-07-01 15:19:10] 845*2^1401898-1 is not prime. Res64: D3B742D56D5D51B4 Time : 0.0 sec. user=mdettweiler [2015-07-01 15:20:29] 635*2^1401900-1 is not prime. Res64: 4AC0DA4DE0BFA432 Time : 0.0 sec. user=mdettweiler [2015-07-01 15:20:29] 647*2^1401900-1 is not prime. Res64: D749D949A29F5372 Time : 0.0 sec. user=mdettweiler [2015-07-01 15:20:31] 669*2^1401900-1 is not prime. Res64: 4271B4B21E034DDB Time : 0.0 sec. user=mdettweiler [2015-07-01 15:20:31] 753*2^1401900-1 is not prime. Res64: 46A05BB36F255BF3 Time : 0.0 sec. user=mdettweiler [2015-07-01 15:30:46] 795*2^1401900-1 is not prime. Res64: 9E09E94E5909CB94 Time : 0.0 sec. user=mdettweiler [2015-07-01 15:30:46] 867*2^1401900-1 is not prime. Res64: 602F41778495B720 Time : 0.0 sec. user=mdettweiler [2015-07-01 15:37:53] 879*2^1401900-1 is not prime. Res64: 7B6FE4B426BC60B0 Time : 0.0 sec. user=mdettweiler [2015-07-01 15:37:53] 933*2^1401900-1 is not prime. Res64: 7C133D4169F80010 Time : 0.0 sec. user=mdettweiler [2015-07-01 15:37:55] 615*2^1401901-1 is not prime. Res64: 60D956AD65E906B0 Time : 0.0 sec. user=mdettweiler [2015-07-01 15:37:55] 645*2^1401901-1 is not prime. Res64: 6097D7D11D9A2A41 Time : 0.0 sec. user=mdettweiler [2015-07-01 15:48:11] 835*2^1401901-1 is not prime. Res64: 94F6817B8F87E98D Time : 0.0 sec. user=mdettweiler [2015-07-01 15:48:11] 861*2^1401901-1 is not prime. Res64: C2AB9F885C93A600 Time : 0.0 sec. user=mdettweiler [2015-07-01 15:55:18] 603*2^1401902-1 is not prime. Res64: F80A0B262E23AA84 Time : 0.0 sec. user=mdettweiler [2015-07-01 15:55:19] 645*2^1401902-1 is not prime. Res64: 6A8D1443F8B0C64F Time : 0.0 sec. user=mdettweiler [2015-07-01 15:55:19] 651*2^1401902-1 is not prime. Res64: 87854854EA4E85B0 Time : 0.0 sec. user=mdettweiler [2015-07-01 15:55:20] 693*2^1401902-1 is not prime. Res64: D7229C232EFDF65B Time : 0.0 sec. user=mdettweiler [2015-07-01 16:05:34] 771*2^1401902-1 is not prime. Res64: 9CD127B7DCDCCC9F Time : 0.0 sec. user=mdettweiler [2015-07-01 16:05:36] 825*2^1401902-1 is not prime. Res64: 74F884F2B2BAA4B9 Time : 0.0 sec. user=mdettweiler [2015-07-01 16:12:40] 833*2^1401902-1 is not prime. Res64: 562C9E405DD8C9CE Time : 0.0 sec. user=mdettweiler [2015-07-01 16:12:40] 963*2^1401902-1 is not prime. Res64: C13BB7D76F48C433 Time : 0.0 sec. user=mdettweiler [2015-07-01 16:12:41] 983*2^1401902-1 is not prime. Res64: 9FD4EE405CDC1048 Time : 0.0 sec. user=mdettweiler [2015-07-01 16:12:41] 643*2^1401903-1 is not prime. Res64: 5C12D48C70B31F79 Time : 0.0 sec. user=mdettweiler [2015-07-01 16:23:13] 649*2^1401903-1 is not prime. Res64: 2CEE1DB1B7FE9EAE Time : 0.0 sec. user=mdettweiler [2015-07-01 16:23:13] 679*2^1401903-1 is not prime. Res64: 01CD323EAAE99FE1 Time : 0.0 sec. user=mdettweiler [2015-07-01 16:30:01] 861*2^1401903-1 is not prime. Res64: B14423B5A11F0B3A Time : 0.0 sec. user=mdettweiler [2015-07-01 16:30:03] 615*2^1401904-1 is not prime. Res64: 6C5B2782941EDDEB Time : 0.0 sec. user=mdettweiler [2015-07-01 16:30:06] 629*2^1401904-1 is not prime. Res64: 91B9033E749660E6 Time : 0.0 sec. user=mdettweiler [2015-07-01 16:30:07] 657*2^1401904-1 is not prime. Res64: DED055D9CD0C8D80 Time : 0.0 sec. user=mdettweiler [2015-07-01 16:40:39] 677*2^1401904-1 is not prime. Res64: 9D297D79C0447BAF Time : 0.0 sec. user=mdettweiler [2015-07-01 16:40:39] 719*2^1401904-1 is not prime. Res64: F11B737CE254945B Time : 0.0 sec. user=mdettweiler [2015-07-01 16:47:28] 843*2^1401904-1 is not prime. Res64: 21DCDEB02C502609 Time : 0.0 sec. user=mdettweiler [2015-07-01 16:47:28] 903*2^1401904-1 is not prime. Res64: 7BA8C85ADCD53B6B Time : 0.0 sec. user=mdettweiler [2015-07-01 16:47:33] 969*2^1401904-1 is not prime. Res64: 38EEA5C037296AAF Time : 0.0 sec. user=mdettweiler [2015-07-01 16:47:33] 759*2^1401905-1 is not prime. Res64: 59E87442B12A5B76 Time : 0.0 sec. user=juhehe [2015-07-01 16:56:07] 693*2^1401903-1 is not prime. Res64: 14B26A6C1E3CA6A9 Time : 0.0 sec. user=mdettweiler [2015-07-01 16:58:03] 777*2^1401905-1 is not prime. Res64: D8486A0B78BBB8A1 Time : 0.0 sec. user=mdettweiler [2015-07-01 16:58:04] 841*2^1401905-1 is not prime. Res64: BDC0B20B286070D1 Time : 0.0 sec. user=mdettweiler [2015-07-01 17:05:11] 871*2^1401905-1 is not prime. Res64: CF95A5AA28F95049 Time : 0.0 sec. user=mdettweiler [2015-07-01 17:05:12] 949*2^1401905-1 is not prime. Res64: FA4535F1E0C5A123 Time : 0.0 sec. user=mdettweiler [2015-07-01 17:05:18] 803*2^1401906-1 is not prime. Res64: D5D4C816A0617E2F Time : 0.0 sec. user=mdettweiler [2015-07-01 17:05:18] 807*2^1401906-1 is not prime. Res64: 961507F87030FD1A Time : 0.0 sec. user=S_K_ [2015-07-01 17:08:52] 775*2^1401905-1 is not prime. Res64: 931593C20AF87A02 Time : 0.0 sec. user=mdettweiler [2015-07-01 17:15:51] 971*2^1401906-1 is not prime. Res64: FEB48C4D5446ADCE Time : 0.0 sec. user=mdettweiler [2015-07-01 17:15:51] 619*2^1401907-1 is not prime. Res64: 2082986863D50F76 Time : 0.0 sec. user=mdettweiler [2015-07-01 17:22:39] 675*2^1401907-1 is not prime. Res64: 5FE8F779AEB14B6E Time : 0.0 sec. user=mdettweiler [2015-07-01 17:22:40] 693*2^1401907-1 is not prime. Res64: 471A19B8EA5B7509 Time : 0.0 sec. user=mdettweiler [2015-07-01 17:22:43] 915*2^1401907-1 is not prime. Res64: 215B725EE6B5028A Time : 0.0 sec. user=mdettweiler [2015-07-01 17:22:43] 975*2^1401907-1 is not prime. Res64: 107E9C2070C8414C Time : 0.0 sec. user=mdettweiler [2015-07-01 17:33:11] 985*2^1401907-1 is not prime. Res64: F91B08FB4949C8C5 Time : 0.0 sec. user=mdettweiler [2015-07-01 17:33:12] 993*2^1401907-1 is not prime. Res64: DD405C8CA1A83367 Time : 0.0 sec. user=mdettweiler [2015-07-01 17:39:59] 615*2^1401908-1 is not prime. Res64: DF01B4809900B4D4 Time : 0.0 sec. user=mdettweiler [2015-07-01 17:40:00] 617*2^1401908-1 is not prime. Res64: 2EC6C7ADEABF357F Time : 0.0 sec. user=mdettweiler [2015-07-01 17:40:03] 647*2^1401908-1 is not prime. Res64: 67FCDB742112FEE1 Time : 0.0 sec. user=mdettweiler [2015-07-01 17:40:04] 669*2^1401908-1 is not prime. Res64: A8974E53A2386090 Time : 0.0 sec. user=mdettweiler [2015-07-01 17:50:32] 743*2^1401908-1 is not prime. Res64: 215F8CF3FDD8CDB1 Time : 0.0 sec. user=mdettweiler [2015-07-01 17:50:32] 753*2^1401908-1 is not prime. Res64: B6F0AD4B805643BF Time : 0.0 sec. user=mdettweiler [2015-07-01 17:57:21] 963*2^1401908-1 is not prime. Res64: 2F82F815D3FA7CA7 Time : 0.0 sec. user=mdettweiler [2015-07-01 17:57:21] 679*2^1401909-1 is not prime. Res64: AB479DF97D1B1357 Time : 0.0 sec. user=mdettweiler [2015-07-01 17:57:24] 691*2^1401909-1 is not prime. Res64: 6517F66BB7A80FF6 Time : 0.0 sec. user=mdettweiler [2015-07-01 17:57:25] 781*2^1401909-1 is not prime. Res64: B4393B8EF5D914A3 Time : 0.0 sec. user=mdettweiler [2015-07-01 18:07:55] 927*2^1401909-1 is not prime. Res64: 6B96F9B8D942A471 Time : 0.0 sec. user=mdettweiler [2015-07-01 18:07:55] 845*2^1401910-1 is not prime. Res64: E1AD7C461245B0F2 Time : 0.0 sec. user=mdettweiler [2015-07-01 18:14:42] 917*2^1401910-1 is not prime. Res64: BF4B2B2840816674 Time : 0.0 sec. user=mdettweiler [2015-07-01 18:14:43] 965*2^1401910-1 is not prime. Res64: 2F13E3DF644F3BDB Time : 0.0 sec. user=mdettweiler [2015-07-01 18:14:46] 603*2^1401911-1 is not prime. Res64: A74CB46FB3ABDDF3 Time : 0.0 sec. user=mdettweiler [2015-07-01 18:14:46] 921*2^1401911-1 is not prime. Res64: C8C78DF05F88F741 Time : 0.0 sec. user=mdettweiler [2015-07-01 18:25:21] 993*2^1401911-1 is not prime. Res64: 6193416327A43519 Time : 0.0 sec. user=mdettweiler [2015-07-01 18:25:21] 635*2^1401912-1 is not prime. Res64: 1CED15FAD1BE1817 Time : 0.0 sec. user=mdettweiler [2015-07-01 18:32:06] 725*2^1401912-1 is not prime. Res64: 63D20CA2BC328748 Time : 0.0 sec. user=mdettweiler [2015-07-01 18:32:06] 809*2^1401912-1 is not prime. Res64: 06CF8866C8769E96 Time : 0.0 sec. user=mdettweiler [2015-07-01 18:32:09] 899*2^1401912-1 is not prime. Res64: F9EA38F844887674 Time : 0.0 sec. user=mdettweiler [2015-07-01 18:32:10] 909*2^1401912-1 is not prime. Res64: 226957C0B9BE097F Time : 0.0 sec. user=mdettweiler [2015-07-01 18:42:44] 935*2^1401912-1 is not prime. Res64: 52FE541177AF8F01 Time : 0.0 sec. user=mdettweiler [2015-07-01 18:42:44] 947*2^1401912-1 is not prime. Res64: DE617B40471421AC Time : 0.0 sec. user=mdettweiler [2015-07-01 18:49:24] 705*2^1401913-1 is not prime. Res64: 169E02815E1B8A6B Time : 0.0 sec. user=mdettweiler [2015-07-01 18:49:25] 741*2^1401913-1 is not prime. Res64: A04646CD515148BC Time : 0.0 sec. user=mdettweiler [2015-07-01 18:49:28] 805*2^1401913-1 is not prime. Res64: 500F8A697801C6E7 Time : 0.0 sec. user=mdettweiler [2015-07-01 18:49:28] 889*2^1401913-1 is not prime. Res64: 36225DDC24BA6BE4 Time : 0.0 sec. user=mdettweiler [2015-07-01 19:00:06] 937*2^1401913-1 is not prime. Res64: 1A2C170E85BDC4BE Time : 0.0 sec. user=mdettweiler [2015-07-01 19:00:06] 939*2^1401913-1 is not prime. Res64: 163E53712FB3F436 Time : 0.0 sec. user=mdettweiler [2015-07-01 19:06:43] 951*2^1401913-1 is not prime. Res64: 83162994035C7B96 Time : 0.0 sec. user=mdettweiler [2015-07-01 19:06:44] 687*2^1401914-1 is not prime. Res64: 5C01BC54E1B07711 Time : 0.0 sec. user=mdettweiler [2015-07-01 19:06:46] 837*2^1401914-1 is not prime. Res64: 44759E114C76DAF1 Time : 0.0 sec. user=mdettweiler [2015-07-01 19:06:47] 861*2^1401914-1 is not prime. Res64: 5C4967803A9FBE58 Time : 0.0 sec. user=juhehe [2015-07-01 19:07:47] 999*2^1401912-1 is not prime. Res64: 96B99FE6E8D5BA3F Time : 0.0 sec. user=mdettweiler [2015-07-01 19:17:25] 873*2^1401914-1 is not prime. Res64: A4D6F865F1BA9E3E Time : 0.0 sec. user=mdettweiler [2015-07-01 19:17:26] 887*2^1401914-1 is not prime. Res64: A783D320DC67EE15 Time : 0.0 sec. user=mdettweiler [2015-07-01 19:24:01] 995*2^1401914-1 is not prime. Res64: B71B34C84FD06809 Time : 0.0 sec. user=mdettweiler [2015-07-01 19:24:02] 651*2^1401915-1 is not prime. Res64: 83D373653F90990F Time : 0.0 sec. user=mdettweiler [2015-07-01 19:24:04] 751*2^1401915-1 is not prime. Res64: B2D5AFD4C5E0468E Time : 0.0 sec. user=mdettweiler [2015-07-01 19:24:05] 789*2^1401915-1 is not prime. Res64: A3E9B5136C4D0D57 Time : 0.0 sec. user=mdettweiler [2015-07-01 19:34:52] 793*2^1401915-1 is not prime. Res64: 55F2F5CA145DB8C8 Time : 0.0 sec. user=mdettweiler [2015-07-01 19:34:52] 823*2^1401915-1 is not prime. Res64: 13892684A92CA5EC Time : 0.0 sec. user=mdettweiler [2015-07-01 19:41:29] 861*2^1401915-1 is not prime. Res64: A71FDC95CE9C0A76 Time : 0.0 sec. user=mdettweiler [2015-07-01 19:41:29] 955*2^1401915-1 is not prime. Res64: 0DAFD5B2D406F476 Time : 0.0 sec. user=mdettweiler [2015-07-01 19:41:30] 719*2^1401916-1 is not prime. Res64: 3E23AC67CA584AB4 Time : 0.0 sec. user=mdettweiler [2015-07-01 19:41:30] 759*2^1401916-1 is not prime. Res64: 89DFA623B404E768 Time : 0.0 sec. user=mdettweiler [2015-07-01 19:52:16] 773*2^1401916-1 is not prime. Res64: 3C44357D757B0F0B Time : 0.0 sec. user=mdettweiler [2015-07-01 19:52:16] 927*2^1401916-1 is not prime. Res64: 4D5D026E7010D711 Time : 0.0 sec. user=mdettweiler [2015-07-01 19:58:49] 619*2^1401917-1 is not prime. Res64: 1A5386A64CC9C5F9 Time : 0.0 sec. user=mdettweiler [2015-07-01 19:58:49] 655*2^1401917-1 is not prime. Res64: E04D5C802AC4C5C5 Time : 0.0 sec. user=mdettweiler [2015-07-01 19:58:50] 757*2^1401917-1 is not prime. Res64: 2C903D6308F1371D Time : 0.0 sec. user=mdettweiler [2015-07-01 19:58:50] 759*2^1401917-1 is not prime. Res64: AA786ED83D52CED8 Time : 0.0 sec. user=mdettweiler [2015-07-01 20:09:40] 837*2^1401917-1 is not prime. Res64: 4711687659E55408 Time : 0.0 sec. user=mdettweiler [2015-07-01 20:09:40] 945*2^1401917-1 is not prime. Res64: 8C04627E8B0709D8 Time : 0.0 sec. user=mdettweiler [2015-07-01 20:16:13] 997*2^1401917-1 is not prime. Res64: 0C63C05C18C0C11C Time : 0.0 sec. user=mdettweiler [2015-07-01 20:16:13] 853*2^1401919-1 is not prime. Res64: B2337F0F8649259C Time : 0.0 sec. user=mdettweiler [2015-07-01 20:16:14] 859*2^1401919-1 is not prime. Res64: C2DEF29902FB7062 Time : 0.0 sec. user=mdettweiler [2015-07-01 20:16:14] 883*2^1401919-1 is not prime. Res64: 706C7DF52624EB60 Time : 0.0 sec. user=S_K_ [2015-07-01 20:22:29] 885*2^1401910-1 is not prime. Res64: 9F095316CC72C2E6 Time : 0.0 sec. user=mdettweiler [2015-07-01 20:27:00] 885*2^1401919-1 is not prime. Res64: C2DE99F688507461 Time : 0.0 sec. user=mdettweiler [2015-07-01 20:27:01] 973*2^1401919-1 is not prime. Res64: A6A3F32CEDD99666 Time : 0.0 sec. user=mdettweiler [2015-07-01 20:33:33] 999*2^1401919-1 is not prime. Res64: F5CD7B3153121C8B Time : 0.0 sec. user=mdettweiler [2015-07-01 20:33:34] 747*2^1401920-1 is not prime. Res64: 7B0754B48A1A819F Time : 0.0 sec. user=mdettweiler [2015-07-01 20:33:35] 753*2^1401920-1 is not prime. Res64: 425AE0F3C3EAD3FC Time : 0.0 sec. user=mdettweiler [2015-07-01 20:33:35] 767*2^1401920-1 is not prime. Res64: 4348C3C23BD9ABBD Time : 0.0 sec. user=mdettweiler [2015-07-01 20:44:20] 773*2^1401920-1 is not prime. Res64: 61E60E4B14BF2CFE Time : 0.0 sec. user=mdettweiler [2015-07-01 20:44:21] 797*2^1401920-1 is not prime. Res64: E2A5A5C45754A4DB Time : 0.0 sec. user=mdettweiler [2015-07-01 20:50:53] 711*2^1401921-1 is not prime. Res64: DA3787B0208C0266 Time : 0.0 sec. user=mdettweiler [2015-07-01 20:50:53] 839*2^1401920-1 is not prime. Res64: 5E56774842570776 Time : 0.0 sec. user=mdettweiler [2015-07-01 20:50:53] 777*2^1401921-1 is not prime. Res64: 74E6585F986A6024 Time : 0.0 sec. user=mdettweiler [2015-07-01 20:50:54] 915*2^1401920-1 is not prime. Res64: B3B08951F5822672 Time : 0.0 sec. user=mdettweiler [2015-07-01 21:01:39] 789*2^1401921-1 is not prime. Res64: B52C458EAEE86641 Time : 0.0 sec. user=mdettweiler [2015-07-01 21:01:40] 837*2^1401921-1 is not prime. Res64: 2C5019D8E08F4A91 Time : 0.0 sec. user=juhehe [2015-07-01 21:06:40] 827*2^1401920-1 is not prime. Res64: 3CD85A592F47E301 Time : 0.0 sec. user=mdettweiler [2015-07-01 21:08:12] 847*2^1401921-1 is not prime. Res64: E37EC00FD8B0E8DB Time : 0.0 sec. user=mdettweiler [2015-07-01 21:08:12] 867*2^1401921-1 is not prime. Res64: 09DE32400CDC8278 Time : 0.0 sec. user=mdettweiler [2015-07-01 21:08:13] 871*2^1401921-1 is not prime. Res64: 03182F74694B1536 Time : 0.0 sec. user=mdettweiler [2015-07-01 21:08:13] 889*2^1401921-1 is not prime. Res64: 9416D95852F108AD Time : 0.0 sec. user=mdettweiler [2015-07-01 21:19:10] 907*2^1401921-1 is not prime. Res64: EDE489FBC9E0D218 Time : 0.0 sec. user=mdettweiler [2015-07-01 21:19:11] 675*2^1401922-1 is not prime. Res64: 09CA92DC585463F3 Time : 0.0 sec. user=mdettweiler [2015-07-01 21:25:36] 735*2^1401922-1 is not prime. Res64: 1F2882DB7DCF5EB1 Time : 0.0 sec. user=mdettweiler [2015-07-01 21:25:37] 831*2^1401922-1 is not prime. Res64: BC7F5E5D215FFBDE Time : 0.0 sec. user=mdettweiler [2015-07-01 21:25:40] 917*2^1401922-1 is not prime. Res64: F6F62AEE7B8AA98E Time : 0.0 sec. user=mdettweiler [2015-07-01 21:25:40] 947*2^1401922-1 is not prime. Res64: BBEA2FED1975F31E Time : 0.0 sec. user=mdettweiler [2015-07-01 21:36:28] 987*2^1401922-1 is not prime. Res64: D3E8122E741DEDA6 Time : 0.0 sec. user=mdettweiler [2015-07-01 21:36:28] 663*2^1401923-1 is not prime. Res64: 0AFA0340E89C7C8F Time : 0.0 sec. user=mdettweiler [2015-07-01 21:42:55] 705*2^1401923-1 is not prime. Res64: 91740A19EE65AB3A Time : 0.0 sec. user=mdettweiler [2015-07-01 21:42:55] 825*2^1401923-1 is not prime. Res64: B3B0DB74CA14ACF4 Time : 0.0 sec. user=mdettweiler [2015-07-01 21:43:00] 723*2^1401924-1 is not prime. Res64: ECA1DFE2526008A5 Time : 0.0 sec. user=mdettweiler [2015-07-01 21:43:01] 737*2^1401924-1 is not prime. Res64: 2E08E15A8F0CE82F Time : 0.0 sec. user=mdettweiler [2015-07-01 21:53:45] 825*2^1401924-1 is not prime. Res64: 2EC3173E9DD20C33 Time : 0.0 sec. user=mdettweiler [2015-07-01 21:53:45] 975*2^1401924-1 is not prime. Res64: 850E5FDB0BD2766B Time : 0.0 sec. user=juhehe [2015-07-01 21:54:14] 975*2^1401922-1 is not prime. Res64: C58756A6600EA34B Time : 0.0 sec. user=mdettweiler [2015-07-01 22:00:16] 607*2^1401925-1 is not prime. Res64: 608E03834D0EDA0C Time : 0.0 sec. user=mdettweiler [2015-07-01 22:00:17] 649*2^1401925-1 is not prime. Res64: 04A82DB76EE38499 Time : 0.0 sec. user=mdettweiler [2015-07-01 22:00:18] 975*2^1401925-1 is not prime. Res64: 680D05F50698DD4B Time : 0.0 sec. user=mdettweiler [2015-07-01 22:00:20] 645*2^1401926-1 is not prime. Res64: 6F997BC29D20728A Time : 0.0 sec. user=mdettweiler [2015-07-01 22:11:04] 705*2^1401926-1 is not prime. Res64: CE5E48F8ABED494D Time : 0.0 sec. user=mdettweiler [2015-07-01 22:11:04] 741*2^1401926-1 is not prime. Res64: 89D1DEA552076F31 Time : 0.0 sec. user=mdettweiler [2015-07-01 22:17:36] 827*2^1401926-1 is not prime. Res64: 05C883E59DBD5017 Time : 0.0 sec. user=mdettweiler [2015-07-01 22:17:37] 831*2^1401926-1 is not prime. Res64: CD7414EDE067BE5A Time : 0.0 sec. user=mdettweiler [2015-07-01 22:17:39] 941*2^1401926-1 is not prime. Res64: 206BEE6EE505B8D8 Time : 0.0 sec. user=mdettweiler [2015-07-01 22:17:40] 705*2^1401927-1 is not prime. Res64: 0F5103D871C44FDC Time : 0.0 sec. user=mdettweiler [2015-07-01 22:28:24] 765*2^1401927-1 is not prime. Res64: D23908F2310D2BAA Time : 0.0 sec. user=mdettweiler [2015-07-01 22:28:24] 805*2^1401927-1 is not prime. Res64: 70C8BB2137F0EC14 Time : 0.0 sec. user=mdettweiler [2015-07-01 22:34:57] 895*2^1401927-1 is not prime. Res64: D70C1BD2A0767D88 Time : 0.0 sec. user=mdettweiler [2015-07-01 22:34:57] 919*2^1401927-1 is not prime. Res64: BCECE8C1E69C6A54 Time : 0.0 sec. user=mdettweiler [2015-07-01 22:34:59] 963*2^1401927-1 is not prime. Res64: 0DB58F48375542C5 Time : 0.0 sec. user=mdettweiler [2015-07-01 22:34:59] 979*2^1401927-1 is not prime. Res64: 0B5C3E04B6CC98C3 Time : 0.0 sec. user=mdettweiler [2015-07-01 22:45:41] 689*2^1401928-1 is not prime. Res64: 827894A68A18E74B Time : 0.0 sec. user=mdettweiler [2015-07-01 22:45:42] 735*2^1401928-1 is not prime. Res64: E2B674AA2DA5C326 Time : 0.0 sec. user=mdettweiler [2015-07-01 22:52:14] 927*2^1401928-1 is not prime. Res64: 90D9AF25E5AB9681 Time : 0.0 sec. user=mdettweiler [2015-07-01 22:52:14] 691*2^1401929-1 is not prime. Res64: 7905866DBB94CB28 Time : 0.0 sec. user=mdettweiler [2015-07-01 22:52:16] 721*2^1401929-1 is not prime. Res64: 4E9686D095620054 Time : 0.0 sec. user=mdettweiler [2015-07-01 22:52:16] 747*2^1401929-1 is not prime. Res64: 46E063E113A0BEA8 Time : 0.0 sec. user=mdettweiler [2015-07-01 23:02:59] 789*2^1401929-1 is not prime. Res64: 768A1B0BD98E318F Time : 0.0 sec. user=mdettweiler [2015-07-01 23:03:00] 795*2^1401929-1 is not prime. Res64: B42A517C504AA810 Time : 0.0 sec. user=mdettweiler [2015-07-01 23:09:31] 841*2^1401929-1 is not prime. Res64: 6C87D591C95306EC Time : 0.0 sec. user=mdettweiler [2015-07-01 23:09:32] 861*2^1401929-1 is not prime. Res64: 2F515F73F1A63158 Time : 0.0 sec. user=mdettweiler [2015-07-01 23:09:34] 867*2^1401929-1 is not prime. Res64: 58DD1608F89B511C Time : 0.0 sec. user=mdettweiler [2015-07-01 23:09:34] 939*2^1401929-1 is not prime. Res64: 4838840D403912E4 Time : 0.0 sec. user=juhehe [2015-07-01 23:18:29] 843*2^1401928-1 is not prime. Res64: 402DB5817DE7663F Time : 0.0 sec. user=mdettweiler [2015-07-01 23:20:31] 833*2^1401930-1 is not prime. Res64: 66385F7050E0E2A3 Time : 0.0 sec. user=mdettweiler [2015-07-01 23:20:31] 843*2^1401930-1 is not prime. Res64: E7B171752BE370E9 Time : 0.0 sec. user=mdettweiler [2015-07-01 23:26:48] 917*2^1401930-1 is not prime. Res64: D9DD1AFAF7645C93 Time : 0.0 sec. user=mdettweiler [2015-07-01 23:26:48] 859*2^1401931-1 is not prime. Res64: 668BC5EB432FD0DC Time : 0.0 sec. user=mdettweiler [2015-07-01 23:26:51] 871*2^1401931-1 is not prime. Res64: E7DB8851BF4F7DA5 Time : 0.0 sec. user=mdettweiler [2015-07-01 23:26:52] 931*2^1401931-1 is not prime. Res64: DA7E45164DFCA1DD Time : 0.0 sec. user=mdettweiler [2015-07-01 23:37:48] 961*2^1401931-1 is not prime. Res64: 7D9E81206E2BD839 Time : 0.0 sec. user=mdettweiler [2015-07-01 23:37:49] 843*2^1401932-1 is not prime. Res64: 2512D4535D20F4E3 Time : 0.0 sec. user=mdettweiler [2015-07-01 23:44:06] 923*2^1401932-1 is not prime. Res64: 794DFF02A3CBC602 Time : 0.0 sec. user=mdettweiler [2015-07-01 23:44:07] 935*2^1401932-1 is not prime. Res64: 02C0545DBF6FDD7B Time : 0.0 sec. user=mdettweiler [2015-07-01 23:44:09] 675*2^1401933-1 is not prime. Res64: 3B467751CE57710C Time : 0.0 sec. user=mdettweiler [2015-07-01 23:44:10] 745*2^1401933-1 is not prime. Res64: 2CC2743D9E74040D Time : 0.0 sec. user=mdettweiler [2015-07-01 23:55:07] 895*2^1401933-1 is not prime. Res64: 37338C71C91D6678 Time : 0.0 sec. user=mdettweiler [2015-07-01 23:55:07] 945*2^1401933-1 is not prime. Res64: F21BED035E6F9153 Time : 0.0 sec.