user=mdettweiler [2015-06-13 00:04:06] 735*2^1400132-1 is not prime. Res64: EBA41D0BA3FACC35 Time : 0.0 sec. user=mdettweiler [2015-06-13 00:04:06] 797*2^1400132-1 is not prime. Res64: 4FDC7D9C1A4129B0 Time : 0.0 sec. user=mdettweiler [2015-06-13 00:10:57] 959*2^1400132-1 is not prime. Res64: 46A5C1BD81F055F7 Time : 0.0 sec. user=mdettweiler [2015-06-13 00:10:58] 681*2^1400133-1 is not prime. Res64: 55BC2F8CF4DE4D41 Time : 0.0 sec. user=mdettweiler [2015-06-13 00:11:06] 699*2^1400133-1 is not prime. Res64: 4EF4E232A5D1BB27 Time : 0.0 sec. user=mdettweiler [2015-06-13 00:11:07] 789*2^1400133-1 is not prime. Res64: B80CC10D4DC34E6C Time : 0.0 sec. user=mdettweiler [2015-06-13 00:14:03] 871*2^1400133-1 is not prime. Res64: 71B205681C6CB23B Time : 0.0 sec. user=mdettweiler [2015-06-13 00:14:04] 927*2^1400133-1 is not prime. Res64: FDEA3D32A654BA2A Time : 0.0 sec. user=mdettweiler [2015-06-13 00:21:56] 611*2^1400134-1 is not prime. Res64: C6A9F42FFEBF404A Time : 0.0 sec. user=mdettweiler [2015-06-13 00:21:56] 687*2^1400134-1 is not prime. Res64: 69624672D981F77F Time : 0.0 sec. user=mdettweiler [2015-06-13 00:28:33] 833*2^1400134-1 is not prime. Res64: 6EC5025FB592B639 Time : 0.0 sec. user=mdettweiler [2015-06-13 00:28:33] 993*2^1400134-1 is not prime. Res64: EBA96FBA316A0A14 Time : 0.0 sec. user=mdettweiler [2015-06-13 00:28:34] 651*2^1400135-1 is not prime. Res64: 7DD6B2EFFC53F261 Time : 0.0 sec. user=mdettweiler [2015-06-13 00:28:35] 679*2^1400135-1 is not prime. Res64: 439992158FDD1DA6 Time : 0.0 sec. user=mdettweiler [2015-06-13 00:31:36] 685*2^1400135-1 is not prime. Res64: B5D784AE32D3E659 Time : 0.0 sec. user=mdettweiler [2015-06-13 00:31:36] 831*2^1400135-1 is not prime. Res64: 632F614F6B8B20A1 Time : 0.0 sec. user=mdettweiler [2015-06-13 00:39:30] 841*2^1400135-1 is not prime. Res64: 9BF6FBE60A2C36F6 Time : 0.0 sec. user=mdettweiler [2015-06-13 00:39:30] 843*2^1400135-1 is not prime. Res64: 4C5237C49C5C19B7 Time : 0.0 sec. user=mdettweiler [2015-06-13 00:46:10] 639*2^1400136-1 is not prime. Res64: 78A564F1D3DF4D08 Time : 0.0 sec. user=mdettweiler [2015-06-13 00:46:10] 883*2^1400135-1 is not prime. Res64: 275D3BEFE62D3230 Time : 0.0 sec. user=mdettweiler [2015-06-13 00:46:11] 629*2^1400136-1 is not prime. Res64: E681EFF30129791F Time : 0.0 sec. user=mdettweiler [2015-06-13 00:46:11] 779*2^1400136-1 is not prime. Res64: C80B4677769A71E6 Time : 0.0 sec. user=mdettweiler [2015-06-13 00:49:11] 839*2^1400136-1 is not prime. Res64: CC3AAE96748B03F2 Time : 0.0 sec. user=mdettweiler [2015-06-13 00:49:11] 903*2^1400136-1 is not prime. Res64: EC989E4ECCF5DD90 Time : 0.0 sec. user=mdettweiler [2015-06-13 00:57:05] 649*2^1400137-1 is not prime. Res64: CA351A86A173C618 Time : 0.0 sec. user=mdettweiler [2015-06-13 00:57:06] 717*2^1400137-1 is not prime. Res64: A034DAB39F90FB99 Time : 0.0 sec. user=mdettweiler [2015-06-13 01:03:44] 729*2^1400137-1 is not prime. Res64: 332F936757521C75 Time : 0.0 sec. user=mdettweiler [2015-06-13 01:03:45] 867*2^1400137-1 is not prime. Res64: 2BDD42C513BBCEDA Time : 0.0 sec. user=mdettweiler [2015-06-13 01:03:47] 605*2^1400138-1 is not prime. Res64: C69565983694ACF3 Time : 0.0 sec. user=mdettweiler [2015-06-13 01:03:49] 633*2^1400138-1 is not prime. Res64: 74ABAEED3B1920DF Time : 0.0 sec. user=mdettweiler [2015-06-13 01:06:40] 707*2^1400138-1 is not prime. Res64: 5568FAAA601DB29C Time : 0.0 sec. user=mdettweiler [2015-06-13 01:06:43] 753*2^1400138-1 is not prime. Res64: 7D8F091AF44357BD Time : 0.0 sec. user=mdettweiler [2015-06-13 01:14:37] 825*2^1400138-1 is not prime. Res64: B02781414CBA0459 Time : 0.0 sec. user=mdettweiler [2015-06-13 01:14:37] 827*2^1400138-1 is not prime. Res64: CF5F4214BE8A5FDB Time : 0.0 sec. user=mdettweiler [2015-06-13 01:22:10] 649*2^1400139-1 is not prime. Res64: 5E71F8F42B31AA94 Time : 0.0 sec. user=mdettweiler [2015-06-13 01:22:10] 837*2^1400138-1 is not prime. Res64: 19246E265DA0AF07 Time : 0.0 sec. user=mdettweiler [2015-06-13 01:22:11] 711*2^1400139-1 is not prime. Res64: 720FB0664BDAAA66 Time : 0.0 sec. user=mdettweiler [2015-06-13 01:22:11] 867*2^1400138-1 is not prime. Res64: 4F7AD4907B73CD03 Time : 0.0 sec. user=mdettweiler [2015-06-13 01:24:44] 801*2^1400139-1 is not prime. Res64: E254DF99F4044729 Time : 0.0 sec. user=mdettweiler [2015-06-13 01:24:45] 975*2^1400139-1 is not prime. Res64: 53B6F91CA810BBA4 Time : 0.0 sec. user=mdettweiler [2015-06-13 01:39:49] 605*2^1400140-1 is not prime. Res64: 9C31323ED2AF701D Time : 0.0 sec. user=mdettweiler [2015-06-13 01:39:50] 629*2^1400140-1 is not prime. Res64: A646BF7E23A1C8DB Time : 0.0 sec. user=mdettweiler [2015-06-13 01:40:03] 677*2^1400140-1 is not prime. Res64: 531B465A7B3CF618 Time : 0.0 sec. user=mdettweiler [2015-06-13 01:40:03] 695*2^1400140-1 is not prime. Res64: 82EF575284DF7742 Time : 0.0 sec. user=mdettweiler [2015-06-13 01:40:58] 723*2^1400140-1 is not prime. Res64: 0493A41A9ED5254A Time : 0.0 sec. user=mdettweiler [2015-06-13 01:40:59] 783*2^1400140-1 is not prime. Res64: 3B68D27A79E9F75D Time : 0.0 sec. user=mdettweiler [2015-06-13 01:42:25] 855*2^1400140-1 is not prime. Res64: 94A2D2918D1DE532 Time : 0.0 sec. user=mdettweiler [2015-06-13 01:42:26] 631*2^1400141-1 is not prime. Res64: 7FF528B2FD5B418F Time : 0.0 sec. user=mdettweiler [2015-06-13 01:57:52] 697*2^1400141-1 is not prime. Res64: C06983D922D0D098 Time : 0.0 sec. user=mdettweiler [2015-06-13 01:57:56] 795*2^1400141-1 is not prime. Res64: 992A4EFD4D64BDCE Time : 0.0 sec. user=mdettweiler [2015-06-13 01:57:57] 939*2^1400141-1 is not prime. Res64: 25ED8F451432DD91 Time : 0.0 sec. user=mdettweiler [2015-06-13 01:58:35] 705*2^1400142-1 is not prime. Res64: 8B77023F10870FEA Time : 0.0 sec. user=mdettweiler [2015-06-13 01:58:35] 741*2^1400142-1 is not prime. Res64: 14287C040EFA027D Time : 0.0 sec. user=mdettweiler [2015-06-13 02:00:00] 807*2^1400142-1 is not prime. Res64: B19C0BCBBAA8B507 Time : 0.0 sec. user=mdettweiler [2015-06-13 02:00:00] 833*2^1400142-1 is not prime. Res64: 55453FB843557F18 Time : 0.0 sec. user=mdettweiler [2015-06-13 02:15:23] 891*2^1400142-1 is not prime. Res64: A73F1A1C0E8E7611 Time : 0.0 sec. user=mdettweiler [2015-06-13 02:15:23] 945*2^1400142-1 is not prime. Res64: 5B320A108572E91A Time : 0.0 sec. user=mdettweiler [2015-06-13 02:15:25] 963*2^1400142-1 is not prime. Res64: 2F093ADB05706E8B Time : 0.0 sec. user=mdettweiler [2015-06-13 02:15:26] 965*2^1400142-1 is not prime. Res64: 30815432557F0500 Time : 0.0 sec. user=mdettweiler [2015-06-13 02:16:07] 625*2^1400143-1 is not prime. Res64: 0D5E8883C6F94E55 Time : 0.0 sec. user=mdettweiler [2015-06-13 02:16:07] 633*2^1400143-1 is not prime. Res64: 6B7C447B6546F6FF Time : 0.0 sec. user=mdettweiler [2015-06-13 02:17:36] 751*2^1400143-1 is not prime. Res64: AE488D5BE4C84E28 Time : 0.0 sec. user=mdettweiler [2015-06-13 02:17:37] 919*2^1400143-1 is not prime. Res64: F656F3ED999C2FA1 Time : 0.0 sec. user=mdettweiler [2015-06-13 02:32:57] 609*2^1400144-1 is not prime. Res64: AF49F59DDB1DAC99 Time : 0.0 sec. user=mdettweiler [2015-06-13 02:32:57] 743*2^1400144-1 is not prime. Res64: 3070C21D182DD529 Time : 0.0 sec. user=mdettweiler [2015-06-13 02:32:58] 927*2^1400144-1 is not prime. Res64: 421775D1BE011BD2 Time : 0.0 sec. user=mdettweiler [2015-06-13 02:33:00] 969*2^1400144-1 is not prime. Res64: 89B64DED8DDD5BAF Time : 0.0 sec. user=mdettweiler [2015-06-13 02:33:38] 607*2^1400145-1 is not prime. Res64: 7C720C5C32CFA810 Time : 0.0 sec. user=mdettweiler [2015-06-13 02:33:39] 651*2^1400145-1 is not prime. Res64: C4AAA9952D98C2CA Time : 0.0 sec. user=mdettweiler [2015-06-13 02:35:04] 699*2^1400145-1 is not prime. Res64: 3489FB67E91FA1D3 Time : 0.0 sec. user=mdettweiler [2015-06-13 02:35:05] 705*2^1400145-1 is not prime. Res64: A046E8289C227AFC Time : 0.0 sec. user=mdettweiler [2015-06-13 02:51:26] 997*2^1400145-1 is not prime. Res64: 724F49DD16B6C846 Time : 0.0 sec. user=mdettweiler [2015-06-13 02:51:26] 999*2^1400145-1 is not prime. Res64: 32508F3095B5CF77 Time : 0.0 sec. user=mdettweiler [2015-06-13 02:51:30] 695*2^1400146-1 is not prime. Res64: 084656CFAA8B94CA Time : 0.0 sec. user=mdettweiler [2015-06-13 02:51:32] 705*2^1400146-1 is not prime. Res64: 1CAF558246F8C74B Time : 0.0 sec. user=mdettweiler [2015-06-13 02:52:20] 801*2^1400146-1 is not prime. Res64: D5DD609C8630B663 Time : 0.0 sec. user=mdettweiler [2015-06-13 02:52:21] 1001*2^1400146-1 is not prime. Res64: 7A23F4A0843DDB1B Time : 0.0 sec. user=mdettweiler [2015-06-13 02:53:30] 621*2^1400147-1 is not prime. Res64: D72ABA129AE348DE Time : 0.0 sec. user=mdettweiler [2015-06-13 02:53:30] 673*2^1400147-1 is not prime. Res64: E680E5E6915BA8E6 Time : 0.0 sec. user=mdettweiler [2015-06-13 03:08:54] 683*2^1400148-1 is not prime. Res64: 45F3F4FE3AACDBC2 Time : 0.0 sec. user=mdettweiler [2015-06-13 03:08:55] 689*2^1400148-1 is not prime. Res64: E7C715C1F8EE86CF Time : 0.0 sec. user=mdettweiler [2015-06-13 03:09:00] 725*2^1400148-1 is not prime. Res64: ED6DC0EA2F64B50B Time : 0.0 sec. user=mdettweiler [2015-06-13 03:09:01] 797*2^1400148-1 is not prime. Res64: EFB6971EB9BD5199 Time : 0.0 sec. user=mdettweiler [2015-06-13 03:09:51] 825*2^1400148-1 is not prime. Res64: 85ED2A83AC9FD14A Time : 0.0 sec. user=mdettweiler [2015-06-13 03:09:52] 839*2^1400148-1 is not prime. Res64: 4589FCE503C5F7EA Time : 0.0 sec. user=mdettweiler [2015-06-13 03:11:05] 927*2^1400148-1 is not prime. Res64: AA9C6C93250CFFE9 Time : 0.0 sec. user=mdettweiler [2015-06-13 03:11:06] 935*2^1400148-1 is not prime. Res64: 624909EA6DACFECA Time : 0.0 sec. user=mdettweiler [2015-06-13 03:26:33] 945*2^1400148-1 is not prime. Res64: 3C1E28AD3AB9B4AB Time : 0.0 sec. user=mdettweiler [2015-06-13 03:26:34] 977*2^1400148-1 is not prime. Res64: B5494F93ECC1CF9E Time : 0.0 sec. user=mdettweiler [2015-06-13 03:26:41] 993*2^1400148-1 is not prime. Res64: A7912530CB6D5A03 Time : 0.0 sec. user=mdettweiler [2015-06-13 03:26:42] 691*2^1400149-1 is not prime. Res64: 50E0946A9062D624 Time : 0.0 sec. user=mdettweiler [2015-06-13 03:27:32] 699*2^1400149-1 is not prime. Res64: E1AA6030EA3A74DA Time : 0.0 sec. user=mdettweiler [2015-06-13 03:27:33] 769*2^1400149-1 is not prime. Res64: 852E84379F90F483 Time : 0.0 sec. user=mdettweiler [2015-06-13 03:28:44] 817*2^1400149-1 is not prime. Res64: BF3E3EEC581C0AF6 Time : 0.0 sec. user=mdettweiler [2015-06-13 03:28:45] 957*2^1400149-1 is not prime. Res64: 4A42847448A9BC87 Time : 0.0 sec. user=mdettweiler [2015-06-13 03:44:15] 975*2^1400149-1 is not prime. Res64: 9DB4AEE9CA5A8784 Time : 0.0 sec. user=mdettweiler [2015-06-13 03:44:16] 987*2^1400149-1 is not prime. Res64: 91037D12357CE557 Time : 0.0 sec. user=mdettweiler [2015-06-13 03:44:21] 671*2^1400150-1 is not prime. Res64: D49C023DB7006190 Time : 0.0 sec. user=mdettweiler [2015-06-13 03:44:22] 677*2^1400150-1 is not prime. Res64: 6366501F4CB26AB4 Time : 0.0 sec. user=mdettweiler [2015-06-13 03:45:14] 713*2^1400150-1 is not prime. Res64: 243E6C4F5C11BE2C Time : 0.0 sec. user=mdettweiler [2015-06-13 03:45:15] 851*2^1400150-1 is not prime. Res64: D33799CF496E70CB Time : 0.0 sec. user=mdettweiler [2015-06-13 03:46:19] 857*2^1400150-1 is not prime. Res64: 612BC2B30DAEA227 Time : 0.0 sec. user=mdettweiler [2015-06-13 03:46:19] 893*2^1400150-1 is not prime. Res64: 0F04EE4A684EA049 Time : 0.0 sec. user=mdettweiler [2015-06-13 04:02:04] 911*2^1400150-1 is not prime. Res64: 55C58B1AB09BB784 Time : 0.0 sec. user=mdettweiler [2015-06-13 04:02:05] 951*2^1400150-1 is not prime. Res64: 841E322044B04956 Time : 0.0 sec. user=mdettweiler [2015-06-13 04:02:06] 957*2^1400150-1 is not prime. Res64: 4195ED45A17A175C Time : 0.0 sec. user=mdettweiler [2015-06-13 04:02:07] 613*2^1400151-1 is not prime. Res64: BBBB20E41E374A74 Time : 0.0 sec. user=mdettweiler [2015-06-13 04:02:51] 849*2^1400151-1 is not prime. Res64: C23D1406931880CF Time : 0.0 sec. user=mdettweiler [2015-06-13 04:02:53] 975*2^1400151-1 is not prime. Res64: FF16D97FD000AF50 Time : 0.0 sec. user=mdettweiler [2015-06-13 04:03:52] 615*2^1400152-1 is not prime. Res64: B4FD25486B3994DA Time : 0.0 sec. user=mdettweiler [2015-06-13 04:03:53] 869*2^1400152-1 is not prime. Res64: E65FFC2A906B6649 Time : 0.0 sec. user=mdettweiler [2015-06-13 04:20:00] 999*2^1400152-1 is not prime. Res64: 22EE0CC5DA82FD2A Time : 0.0 sec. user=mdettweiler [2015-06-13 04:20:01] 627*2^1400153-1 is not prime. Res64: 9414DD7AF51705CE Time : 0.0 sec. user=mdettweiler [2015-06-13 04:20:03] 887*2^1400152-1 is not prime. Res64: E0116204B22CF0C9 Time : 0.0 sec. user=mdettweiler [2015-06-13 04:20:04] 989*2^1400152-1 is not prime. Res64: FBAC93781F186EF2 Time : 0.0 sec. user=mdettweiler [2015-06-13 04:20:29] 699*2^1400153-1 is not prime. Res64: A66AADE64EC9AC70 Time : 0.0 sec. user=mdettweiler [2015-06-13 04:20:29] 727*2^1400153-1 is not prime. Res64: 993C42CCCD99C11A Time : 0.0 sec. user=mdettweiler [2015-06-13 04:21:28] 735*2^1400153-1 is not prime. Res64: 8239E96F4AB408BA Time : 0.0 sec. user=mdettweiler [2015-06-13 04:21:28] 771*2^1400153-1 is not prime. Res64: EEC6943BFD55F052 Time : 0.0 sec. user=mdettweiler [2015-06-13 04:37:37] 889*2^1400153-1 is not prime. Res64: 7FE32A5E51C6518B Time : 0.0 sec. user=mdettweiler [2015-06-13 04:37:37] 987*2^1400153-1 is not prime. Res64: E80E0F86F77007C0 Time : 0.0 sec. user=mdettweiler [2015-06-13 04:37:39] 787*2^1400153-1 is not prime. Res64: 825C3474CFFCAA41 Time : 0.0 sec. user=mdettweiler [2015-06-13 04:37:40] 811*2^1400153-1 is not prime. Res64: B6F6A0A85F6BB71E Time : 0.0 sec. user=mdettweiler [2015-06-13 04:38:07] 611*2^1400154-1 is not prime. Res64: 1685BD509ABBCA8A Time : 0.0 sec. user=mdettweiler [2015-06-13 04:38:07] 635*2^1400154-1 is not prime. Res64: 44E3B425BEBE1B56 Time : 0.0 sec. user=mdettweiler [2015-06-13 04:39:07] 641*2^1400154-1 is not prime. Res64: FDED2835532B17AD Time : 0.0 sec. user=mdettweiler [2015-06-13 04:39:08] 671*2^1400154-1 is not prime. Res64: 02B0BCDC5EA03914 Time : 0.0 sec. user=mdettweiler [2015-06-13 04:55:11] 723*2^1400154-1 is not prime. Res64: 3D6D8317690F5906 Time : 0.0 sec. user=mdettweiler [2015-06-13 04:55:12] 705*2^1400154-1 is not prime. Res64: 624EA8DDFF98F72A Time : 0.0 sec. user=mdettweiler [2015-06-13 04:55:12] 747*2^1400154-1 is not prime. Res64: 527E0881FEDF2D82 Time : 0.0 sec. user=mdettweiler [2015-06-13 04:55:12] 717*2^1400154-1 is not prime. Res64: 2343F89B54A1D57E Time : 0.0 sec. user=mdettweiler [2015-06-13 04:55:43] 783*2^1400154-1 is not prime. Res64: 1BC88D4049554E14 Time : 0.0 sec. user=mdettweiler [2015-06-13 04:55:43] 791*2^1400154-1 is not prime. Res64: F90FDE6AD37CE742 Time : 0.0 sec. user=mdettweiler [2015-06-13 04:56:40] 851*2^1400154-1 is not prime. Res64: 5A0F086D0A9344ED Time : 0.0 sec. user=mdettweiler [2015-06-13 04:56:41] 1001*2^1400154-1 is not prime. Res64: 245CB81777E065CD Time : 0.0 sec. user=mdettweiler [2015-06-13 05:12:48] 663*2^1400155-1 is not prime. Res64: 60DC8F50CDD4D540 Time : 0.0 sec. user=mdettweiler [2015-06-13 05:12:49] 751*2^1400155-1 is not prime. Res64: 73AB60581271A26A Time : 0.0 sec. user=mdettweiler [2015-06-13 05:12:51] 861*2^1400155-1 is not prime. Res64: CB3AA1CEA642E66D Time : 0.0 sec. user=mdettweiler [2015-06-13 05:12:51] 891*2^1400155-1 is not prime. Res64: 4653B2C703776477 Time : 0.0 sec. user=mdettweiler [2015-06-13 05:13:19] 603*2^1400156-1 is not prime. Res64: 4171C3541F5E13F7 Time : 0.0 sec. user=mdettweiler [2015-06-13 05:13:19] 615*2^1400156-1 is not prime. Res64: A0DF8CD5825C3E27 Time : 0.0 sec. user=mdettweiler [2015-06-13 05:14:09] 825*2^1400156-1 is not prime. Res64: 11D906BA9E988C85 Time : 0.0 sec. user=mdettweiler [2015-06-13 05:14:09] 609*2^1400157-1 is not prime. Res64: 87C2D7F035AE9B23 Time : 0.0 sec. user=mdettweiler [2015-06-13 05:30:26] 817*2^1400157-1 is not prime. Res64: D9F05A40D61ADB75 Time : 0.0 sec. user=mdettweiler [2015-06-13 05:30:26] 985*2^1400157-1 is not prime. Res64: F4CE4A75BB792F32 Time : 0.0 sec. user=mdettweiler [2015-06-13 05:30:31] 621*2^1400157-1 is not prime. Res64: 6D2E69F1C8CE8E08 Time : 0.0 sec. user=mdettweiler [2015-06-13 05:30:31] 751*2^1400157-1 is not prime. Res64: 913E17889C205FF3 Time : 0.0 sec. user=mdettweiler [2015-06-13 05:30:53] 991*2^1400157-1 is not prime. Res64: C137EF0CD774BBCA Time : 0.0 sec. user=mdettweiler [2015-06-13 05:30:53] 997*2^1400157-1 is not prime. Res64: 8E280DC26BEFF29F Time : 0.0 sec. user=mdettweiler [2015-06-13 05:31:41] 635*2^1400158-1 is not prime. Res64: 74704C6384592AD8 Time : 0.0 sec. user=mdettweiler [2015-06-13 05:31:41] 791*2^1400158-1 is not prime. Res64: CE343CDF4685BF5A Time : 0.0 sec. user=mdettweiler [2015-06-13 05:47:57] 815*2^1400158-1 is not prime. Res64: 84C96849AA55544E Time : 0.0 sec. user=mdettweiler [2015-06-13 05:47:57] 855*2^1400158-1 is not prime. Res64: 2CAC5B53B210BA76 Time : 0.0 sec. user=mdettweiler [2015-06-13 05:48:06] 993*2^1400158-1 is not prime. Res64: EDB412A76366682C Time : 0.0 sec. user=mdettweiler [2015-06-13 05:48:06] 645*2^1400159-1 is not prime. Res64: 11F9E19628C4EEE6 Time : 0.0 sec. user=mdettweiler [2015-06-13 05:48:23] 693*2^1400159-1 is not prime. Res64: B055876901C76D3D Time : 0.0 sec. user=mdettweiler [2015-06-13 05:48:23] 745*2^1400159-1 is not prime. Res64: 4D663DC6F4A4162A Time : 0.0 sec. user=mdettweiler [2015-06-13 05:49:15] 825*2^1400159-1 is not prime. Res64: 116206724AD37A33 Time : 0.0 sec. user=mdettweiler [2015-06-13 05:49:15] 841*2^1400159-1 is not prime. Res64: ACE930EEAF829495 Time : 0.0 sec. user=mdettweiler [2015-06-13 06:05:39] 689*2^1400160-1 is not prime. Res64: 777FCF7105431A80 Time : 0.0 sec. user=mdettweiler [2015-06-13 06:05:39] 717*2^1400160-1 is not prime. Res64: 0C8BE4BABC297FD2 Time : 0.0 sec. user=mdettweiler [2015-06-13 06:05:44] 843*2^1400159-1 is not prime. Res64: B1731C34B9C1FC1C Time : 0.0 sec. user=mdettweiler [2015-06-13 06:05:45] 635*2^1400160-1 is not prime. Res64: A849CAC6F6EC9361 Time : 0.0 sec. user=mdettweiler [2015-06-13 06:05:56] 735*2^1400160-1 is not prime. Res64: 6B164BC8E6A8B1C8 Time : 0.0 sec. user=mdettweiler [2015-06-13 06:05:56] 765*2^1400160-1 is not prime. Res64: 049202623BCC221C Time : 0.0 sec. user=mdettweiler [2015-06-13 06:06:47] 803*2^1400160-1 is not prime. Res64: A5B1B96504FBCA91 Time : 0.0 sec. user=mdettweiler [2015-06-13 06:06:48] 819*2^1400160-1 is not prime. Res64: 93D9F774A2B1038F Time : 0.0 sec. user=mdettweiler [2015-06-13 06:23:14] 769*2^1400161-1 is not prime. Res64: 6C64970B139BDB2D Time : 0.0 sec. user=mdettweiler [2015-06-13 06:23:14] 771*2^1400161-1 is not prime. Res64: 27660E092585208B Time : 0.0 sec. user=mdettweiler [2015-06-13 06:23:21] 875*2^1400160-1 is not prime. Res64: 8017EF992BD522CC Time : 0.0 sec. user=mdettweiler [2015-06-13 06:23:21] 975*2^1400160-1 is not prime. Res64: 96B7A381C6F5A187 Time : 0.0 sec. user=mdettweiler [2015-06-13 06:23:39] 829*2^1400161-1 is not prime. Res64: 30777916F1008C7F Time : 0.0 sec. user=mdettweiler [2015-06-13 06:23:40] 855*2^1400161-1 is not prime. Res64: 9980C41844F8DA26 Time : 0.0 sec. user=mdettweiler [2015-06-13 06:24:18] 771*2^1400162-1 is not prime. Res64: 5D83782E6E0185CD Time : 0.0 sec. user=mdettweiler [2015-06-13 06:24:19] 981*2^1400162-1 is not prime. Res64: 1B36D50F7938FF87 Time : 0.0 sec. user=mdettweiler [2015-06-13 06:40:52] 639*2^1400163-1 is not prime. Res64: 60E4969BA25791A1 Time : 0.0 sec. user=mdettweiler [2015-06-13 06:40:52] 663*2^1400163-1 is not prime. Res64: 37B6376F654C3E26 Time : 0.0 sec. user=mdettweiler [2015-06-13 06:41:02] 691*2^1400163-1 is not prime. Res64: 51AC6E4C4B97E465 Time : 0.0 sec. user=mdettweiler [2015-06-13 06:41:02] 751*2^1400163-1 is not prime. Res64: 34BDDE4B98812BBA Time : 0.0 sec. user=mdettweiler [2015-06-13 06:41:16] 795*2^1400163-1 is not prime. Res64: F37EFD1307C7B029 Time : 0.0 sec. user=mdettweiler [2015-06-13 06:41:17] 819*2^1400163-1 is not prime. Res64: 8719B9B66E61ABAB Time : 0.0 sec. user=mdettweiler [2015-06-13 06:41:55] 945*2^1400163-1 is not prime. Res64: 4840017E9012723D Time : 0.0 sec. user=mdettweiler [2015-06-13 06:41:55] 615*2^1400164-1 is not prime. Res64: CF2275F7D1E90DF5 Time : 0.0 sec. user=mdettweiler [2015-06-13 06:58:27] 617*2^1400164-1 is not prime. Res64: 8AF858FC6C78C46C Time : 0.0 sec. user=mdettweiler [2015-06-13 06:58:27] 657*2^1400164-1 is not prime. Res64: 60BDC1731502B96C Time : 0.0 sec. user=mdettweiler [2015-06-13 06:58:35] 827*2^1400164-1 is not prime. Res64: 4C22E87F7CDA7CF8 Time : 0.0 sec. user=mdettweiler [2015-06-13 06:58:36] 863*2^1400164-1 is not prime. Res64: E5B9E2EA2C640E3E Time : 0.0 sec. user=mdettweiler [2015-06-13 06:58:56] 929*2^1400164-1 is not prime. Res64: 5CAE07AA4A1C6474 Time : 0.0 sec. user=mdettweiler [2015-06-13 06:58:57] 939*2^1400164-1 is not prime. Res64: 83A0584DA9FB76BA Time : 0.0 sec. user=mdettweiler [2015-06-13 06:59:31] 697*2^1400165-1 is not prime. Res64: 4D800DF54A4ACDBE Time : 0.0 sec. user=mdettweiler [2015-06-13 06:59:31] 711*2^1400165-1 is not prime. Res64: 3D09957FE5E971AD Time : 0.0 sec. user=mdettweiler [2015-06-13 07:16:07] 937*2^1400165-1 is not prime. Res64: 414DEA6FC397390E Time : 0.0 sec. user=mdettweiler [2015-06-13 07:16:08] 677*2^1400166-1 is not prime. Res64: 6543717316C685A3 Time : 0.0 sec. user=mdettweiler [2015-06-13 07:16:09] 755*2^1400166-1 is not prime. Res64: 7FCADE56C9B141DC Time : 0.0 sec. user=mdettweiler [2015-06-13 07:16:09] 873*2^1400166-1 is not prime. Res64: B3C712A695A1A290 Time : 0.0 sec. user=mdettweiler [2015-06-13 07:16:40] 921*2^1400166-1 is not prime. Res64: 231EAC43A62AFE1E Time : 0.0 sec. user=mdettweiler [2015-06-13 07:16:41] 615*2^1400167-1 is not prime. Res64: C0F229B8D9FF5894 Time : 0.0 sec. user=mdettweiler [2015-06-13 07:17:05] 649*2^1400167-1 is not prime. Res64: B04F1F0ACBCA2C8B Time : 0.0 sec. user=mdettweiler [2015-06-13 07:17:05] 735*2^1400167-1 is not prime. Res64: 794C2485479F8FCA Time : 0.0 sec. user=mdettweiler [2015-06-13 07:33:42] 763*2^1400167-1 is not prime. Res64: 494A31A07F800541 Time : 0.0 sec. user=mdettweiler [2015-06-13 07:33:43] 841*2^1400167-1 is not prime. Res64: A59760A64D662A80 Time : 0.0 sec. user=mdettweiler [2015-06-13 07:33:54] 889*2^1400167-1 is not prime. Res64: AA1B8958B4B20E36 Time : 0.0 sec. user=mdettweiler [2015-06-13 07:33:55] 919*2^1400167-1 is not prime. Res64: 1C1668659E6A8D0B Time : 0.0 sec. user=mdettweiler [2015-06-13 07:34:23] 925*2^1400167-1 is not prime. Res64: 7A1545E089FDCCFA Time : 0.0 sec. user=mdettweiler [2015-06-13 07:34:23] 633*2^1400168-1 is not prime. Res64: ADA8C786C5824B45 Time : 0.0 sec. user=mdettweiler [2015-06-13 07:34:37] 669*2^1400168-1 is not prime. Res64: 3355CA7AF455F3A2 Time : 0.0 sec. user=mdettweiler [2015-06-13 07:34:38] 683*2^1400168-1 is not prime. Res64: 9AEDF995597459F3 Time : 0.0 sec. user=mdettweiler [2015-06-13 07:51:17] 743*2^1400168-1 is not prime. Res64: F1DD858D56332EB7 Time : 0.0 sec. user=mdettweiler [2015-06-13 07:51:17] 789*2^1400168-1 is not prime. Res64: 773C06308B4E5760 Time : 0.0 sec. user=mdettweiler [2015-06-13 07:51:49] 797*2^1400168-1 is not prime. Res64: DA3351269DC19A78 Time : 0.0 sec. user=mdettweiler [2015-06-13 07:51:49] 869*2^1400168-1 is not prime. Res64: 63515D01644A61B1 Time : 0.0 sec. user=mdettweiler [2015-06-13 07:52:06] 747*2^1400169-1 is not prime. Res64: F2A2B0EF4A390632 Time : 0.0 sec. user=mdettweiler [2015-06-13 07:52:06] 895*2^1400169-1 is not prime. Res64: 0144A0AD925E48B4 Time : 0.0 sec. user=mdettweiler [2015-06-13 07:52:17] 951*2^1400169-1 is not prime. Res64: 16506638E53D7FF7 Time : 0.0 sec. user=mdettweiler [2015-06-13 07:52:17] 605*2^1400170-1 is not prime. Res64: 8FF151A6EB1025D8 Time : 0.0 sec. user=mdettweiler [2015-06-13 08:08:48] 665*2^1400170-1 is not prime. Res64: 40673E0DE13CEC43 Time : 0.0 sec. user=mdettweiler [2015-06-13 08:08:49] 681*2^1400170-1 is not prime. Res64: 910F96B81C3995D8 Time : 0.0 sec. user=mdettweiler [2015-06-13 08:09:26] 701*2^1400170-1 is not prime. Res64: F99C78EADD9F8112 Time : 0.0 sec. user=mdettweiler [2015-06-13 08:09:26] 731*2^1400170-1 is not prime. Res64: 8786350C86F198A5 Time : 0.0 sec. user=mdettweiler [2015-06-13 08:09:41] 745*2^1400171-1 is not prime. Res64: BFE1105F9BA8628C Time : 0.0 sec. user=mdettweiler [2015-06-13 08:09:42] 775*2^1400171-1 is not prime. Res64: 84A82FCBE8C2CFD8 Time : 0.0 sec. user=mdettweiler [2015-06-13 08:09:50] 949*2^1400171-1 is not prime. Res64: 3E2713E037A95429 Time : 0.0 sec. user=mdettweiler [2015-06-13 08:09:50] 955*2^1400171-1 is not prime. Res64: 963263D49492481F Time : 0.0 sec. user=mdettweiler [2015-06-13 08:26:25] 627*2^1400172-1 is not prime. Res64: DD14C087B443F210 Time : 0.0 sec. user=mdettweiler [2015-06-13 08:26:25] 675*2^1400172-1 is not prime. Res64: E30290AB43E7AF76 Time : 0.0 sec. user=mdettweiler [2015-06-13 08:27:00] 725*2^1400172-1 is not prime. Res64: C55E4F351C79F45C Time : 0.0 sec. user=mdettweiler [2015-06-13 08:27:01] 899*2^1400172-1 is not prime. Res64: F497C777816FFDB1 Time : 0.0 sec. user=mdettweiler [2015-06-13 08:27:16] 947*2^1400172-1 is not prime. Res64: 21CAC1A57F27E510 Time : 0.0 sec. user=mdettweiler [2015-06-13 08:27:17] 621*2^1400173-1 is not prime. Res64: D63BFDDD7A8A133F Time : 0.0 sec. user=mdettweiler [2015-06-13 08:27:20] 625*2^1400173-1 is not prime. Res64: 9C9EE0D559B182B9 Time : 0.0 sec. user=mdettweiler [2015-06-13 08:27:20] 729*2^1400173-1 is not prime. Res64: 3F60E49A81232D81 Time : 0.0 sec. user=mdettweiler [2015-06-13 08:43:59] 789*2^1400173-1 is not prime. Res64: ADF5D35668A7348D Time : 0.0 sec. user=mdettweiler [2015-06-13 08:43:59] 819*2^1400173-1 is not prime. Res64: 90123574F39379B5 Time : 0.0 sec. user=mdettweiler [2015-06-13 08:44:36] 855*2^1400173-1 is not prime. Res64: D31D1F658D832822 Time : 0.0 sec. user=mdettweiler [2015-06-13 08:44:36] 859*2^1400173-1 is not prime. Res64: E9258F3B559B9E7C Time : 0.0 sec. user=mdettweiler [2015-06-13 08:44:52] 897*2^1400173-1 is not prime. Res64: C92A11B81FFEAD83 Time : 0.0 sec. user=mdettweiler [2015-06-13 08:44:53] 937*2^1400173-1 is not prime. Res64: 7C77D7613F199839 Time : 0.0 sec. user=mdettweiler [2015-06-13 08:44:56] 987*2^1400173-1 is not prime. Res64: 89DDB8929648E4FA Time : 0.0 sec. user=mdettweiler [2015-06-13 08:44:56] 627*2^1400174-1 is not prime. Res64: 3ED653AB40783A6A Time : 0.0 sec. user=mdettweiler [2015-06-13 09:01:29] 705*2^1400174-1 is not prime. Res64: B5391F13BDA39D0B Time : 0.0 sec. user=mdettweiler [2015-06-13 09:01:30] 773*2^1400174-1 is not prime. Res64: A3E7CA3813588885 Time : 0.0 sec. user=mdettweiler [2015-06-13 09:02:05] 831*2^1400174-1 is not prime. Res64: 05D8ACBA0BA1B239 Time : 0.0 sec. user=mdettweiler [2015-06-13 09:02:06] 851*2^1400174-1 is not prime. Res64: 93B6B595358A23DF Time : 0.0 sec. user=mdettweiler [2015-06-13 09:02:23] 873*2^1400174-1 is not prime. Res64: D31B844C518E38BF Time : 0.0 sec. user=mdettweiler [2015-06-13 09:02:24] 917*2^1400174-1 is not prime. Res64: FDD11B0081F8D453 Time : 0.0 sec. user=mdettweiler [2015-06-13 09:02:25] 941*2^1400174-1 is not prime. Res64: AC7BF4B66AFDADA8 Time : 0.0 sec. user=mdettweiler [2015-06-13 09:02:25] 945*2^1400174-1 is not prime. Res64: 2A30F075AB480E55 Time : 0.0 sec. user=mdettweiler [2015-06-13 09:19:17] 651*2^1400175-1 is not prime. Res64: 31361A32CB1973BC Time : 0.0 sec. user=mdettweiler [2015-06-13 09:19:18] 693*2^1400175-1 is not prime. Res64: 80743E8F6B641702 Time : 0.0 sec. user=mdettweiler [2015-06-13 09:19:51] 739*2^1400175-1 is not prime. Res64: A6F2338FC398ED1A Time : 0.0 sec. user=mdettweiler [2015-06-13 09:19:51] 765*2^1400175-1 is not prime. Res64: AC2259422936D7C7 Time : 0.0 sec. user=mdettweiler [2015-06-13 09:20:03] 865*2^1400175-1 is not prime. Res64: 40925FAA74E44B2E Time : 0.0 sec. user=mdettweiler [2015-06-13 09:20:04] 969*2^1400175-1 is not prime. Res64: 2BE9789BB9E3F08E Time : 0.0 sec. user=mdettweiler [2015-06-13 09:20:08] 783*2^1400175-1 is not prime. Res64: 846E3C127DEA5F71 Time : 0.0 sec. user=mdettweiler [2015-06-13 09:20:09] 861*2^1400175-1 is not prime. Res64: CC1420EE3A24616E Time : 0.0 sec. user=juhehe [2015-06-13 09:22:22] 633*2^1400175-1 is not prime. Res64: A731AEA9C6A2587B Time : 0.0 sec. user=mdettweiler [2015-06-13 09:36:50] 973*2^1400175-1 is not prime. Res64: 05E70B93605AD2D6 Time : 0.0 sec. user=mdettweiler [2015-06-13 09:36:50] 707*2^1400176-1 is not prime. Res64: 13E21BC353C82429 Time : 0.0 sec. user=mdettweiler [2015-06-13 09:37:25] 747*2^1400176-1 is not prime. Res64: EA40C4803348D138 Time : 0.0 sec. user=mdettweiler [2015-06-13 09:37:25] 785*2^1400176-1 is not prime. Res64: 6868119ABA2D2C75 Time : 0.0 sec. user=mdettweiler [2015-06-13 09:37:40] 939*2^1400176-1 is not prime. Res64: 68DA280131F24EB5 Time : 0.0 sec. user=mdettweiler [2015-06-13 09:37:40] 865*2^1400177-1 is not prime. Res64: 37AAC6C08F3F05F3 Time : 0.0 sec. user=mdettweiler [2015-06-13 09:37:47] 923*2^1400176-1 is not prime. Res64: 3CE24113D52B9595 Time : 0.0 sec. user=mdettweiler [2015-06-13 09:37:48] 927*2^1400176-1 is not prime. Res64: CE4E4ECA125CA4BA Time : 0.0 sec. user=mdettweiler [2015-06-13 09:54:18] 991*2^1400177-1 is not prime. Res64: 66679ED06AFA305E Time : 0.0 sec. user=mdettweiler [2015-06-13 09:54:18] 611*2^1400178-1 is not prime. Res64: 1D41197EE0EA0BFB Time : 0.0 sec. user=mdettweiler [2015-06-13 09:54:55] 665*2^1400178-1 is not prime. Res64: 4D74111BD2B6A6EC Time : 0.0 sec. user=mdettweiler [2015-06-13 09:54:56] 711*2^1400178-1 is not prime. Res64: 9CB38ED594364969 Time : 0.0 sec. user=mdettweiler [2015-06-13 09:55:13] 801*2^1400178-1 is not prime. Res64: 655BEDA9F650B2B8 Time : 0.0 sec. user=mdettweiler [2015-06-13 09:55:13] 837*2^1400178-1 is not prime. Res64: 52A65C2A2AF3CB2F Time : 0.0 sec. user=mdettweiler [2015-06-13 09:55:14] 891*2^1400178-1 is not prime. Res64: 46F963270C0DB14C Time : 0.0 sec. user=mdettweiler [2015-06-13 09:55:15] 921*2^1400178-1 is not prime. Res64: DEB281D6FF2E9634 Time : 0.0 sec. user=mdettweiler [2015-06-13 10:11:51] 927*2^1400178-1 is not prime. Res64: B0264A1B3D0A78FB Time : 0.0 sec. user=mdettweiler [2015-06-13 10:11:52] 619*2^1400179-1 is not prime. Res64: D42F540277708A81 Time : 0.0 sec. user=mdettweiler [2015-06-13 10:12:30] 843*2^1400179-1 is not prime. Res64: 03E6DD69639A8388 Time : 0.0 sec. user=mdettweiler [2015-06-13 10:12:30] 951*2^1400179-1 is not prime. Res64: C01102CAE69E4779 Time : 0.0 sec. user=mdettweiler [2015-06-13 10:12:45] 603*2^1400180-1 is not prime. Res64: ABFF048E4C8737FA Time : 0.0 sec. user=mdettweiler [2015-06-13 10:12:45] 675*2^1400180-1 is not prime. Res64: 7F0AAF2EF5D8F0B2 Time : 0.0 sec. user=mdettweiler [2015-06-13 10:12:52] 897*2^1400180-1 is not prime. Res64: 5FB614C07C602611 Time : 0.0 sec. user=mdettweiler [2015-06-13 10:12:52] 615*2^1400181-1 is not prime. Res64: 27CF4BB06AECB613 Time : 0.0 sec. user=mdettweiler [2015-06-13 10:29:26] 621*2^1400181-1 is not prime. Res64: A1C843209383612A Time : 0.0 sec. user=mdettweiler [2015-06-13 10:29:27] 657*2^1400181-1 is not prime. Res64: 949C919C947F8976 Time : 0.0 sec. user=mdettweiler [2015-06-13 10:30:06] 685*2^1400181-1 is not prime. Res64: 4085A11F05785B72 Time : 0.0 sec. user=mdettweiler [2015-06-13 10:30:07] 709*2^1400181-1 is not prime. Res64: 23BE992260C4F173 Time : 0.0 sec. user=mdettweiler [2015-06-13 10:30:17] 727*2^1400181-1 is not prime. Res64: B5D35E5551F71CD1 Time : 0.0 sec. user=mdettweiler [2015-06-13 10:30:17] 747*2^1400181-1 is not prime. Res64: 5D758FCE8AB862AE Time : 0.0 sec. user=mdettweiler [2015-06-13 10:30:29] 795*2^1400181-1 is not prime. Res64: 2C0DDBA7E29091CF Time : 0.0 sec. user=mdettweiler [2015-06-13 10:30:30] 829*2^1400181-1 is not prime. Res64: 6A8EFF62580693DD Time : 0.0 sec. user=mdettweiler [2015-06-13 10:46:58] 651*2^1400182-1 is not prime. Res64: B8C4237B88914460 Time : 0.0 sec. user=mdettweiler [2015-06-13 10:46:58] 653*2^1400182-1 is not prime. Res64: 7432698896E1EB47 Time : 0.0 sec. user=mdettweiler [2015-06-13 10:47:43] 705*2^1400182-1 is not prime. Res64: 26DA6868AF328813 Time : 0.0 sec. user=mdettweiler [2015-06-13 10:47:43] 723*2^1400182-1 is not prime. Res64: 705C371CF77E5E67 Time : 0.0 sec. user=mdettweiler [2015-06-13 10:47:49] 741*2^1400182-1 is not prime. Res64: 5BC4FD2A45AD2001 Time : 0.0 sec. user=mdettweiler [2015-06-13 10:47:50] 743*2^1400182-1 is not prime. Res64: 46944CC99B44C9C6 Time : 0.0 sec. user=mdettweiler [2015-06-13 10:48:12] 885*2^1400182-1 is not prime. Res64: 1B0081BB606CCFFE Time : 0.0 sec. user=mdettweiler [2015-06-13 10:48:12] 917*2^1400182-1 is not prime. Res64: AD06D50F2499ADAA Time : 0.0 sec. user=mdettweiler [2015-06-13 11:04:38] 957*2^1400182-1 is not prime. Res64: DC56180341CB8C59 Time : 0.0 sec. user=mdettweiler [2015-06-13 11:04:39] 987*2^1400182-1 is not prime. Res64: 3F30A64134A99429 Time : 0.0 sec. user=mdettweiler [2015-06-13 11:05:10] 603*2^1400183-1 is not prime. Res64: CC7A0DD9F0D0334D Time : 0.0 sec. user=mdettweiler [2015-06-13 11:05:11] 649*2^1400183-1 is not prime. Res64: 880B3570F7648272 Time : 0.0 sec. user=mdettweiler [2015-06-13 11:05:24] 669*2^1400183-1 is not prime. Res64: 3F4F4FE4AE0C4B6F Time : 0.0 sec. user=mdettweiler [2015-06-13 11:05:24] 735*2^1400183-1 is not prime. Res64: 45798CFA741C04FA Time : 0.0 sec. user=mdettweiler [2015-06-13 11:05:41] 771*2^1400183-1 is not prime. Res64: 94D1E01BAF7AF035 Time : 0.0 sec. user=mdettweiler [2015-06-13 11:05:41] 813*2^1400183-1 is not prime. Res64: 17DE7CF072603EEE Time : 0.0 sec. user=mdettweiler [2015-06-13 11:22:33] 859*2^1400183-1 is not prime. Res64: 8A22F122013665EF Time : 0.0 sec. user=mdettweiler [2015-06-13 11:22:34] 879*2^1400183-1 is not prime. Res64: 66568620EF9AA6D9 Time : 0.0 sec. user=mdettweiler [2015-06-13 11:22:50] 915*2^1400183-1 is not prime. Res64: 54D9938B0737C2DE Time : 0.0 sec. user=mdettweiler [2015-06-13 11:22:51] 969*2^1400183-1 is not prime. Res64: 4C94C24559E71727 Time : 0.0 sec. user=mdettweiler [2015-06-13 11:22:57] 629*2^1400184-1 is not prime. Res64: 38B1FC0D24077DFD Time : 0.0 sec. user=mdettweiler [2015-06-13 11:22:57] 657*2^1400184-1 is not prime. Res64: F07CDAF759F3AC92 Time : 0.0 sec. user=mdettweiler [2015-06-13 11:23:09] 753*2^1400184-1 is not prime. Res64: 8C8E53458CF53AF9 Time : 0.0 sec. user=mdettweiler [2015-06-13 11:23:09] 893*2^1400184-1 is not prime. Res64: D0FE0F4D98E32D34 Time : 0.0 sec. user=mdettweiler [2015-06-13 11:40:04] 947*2^1400184-1 is not prime. Res64: D6296BB2144A4D81 Time : 0.0 sec. user=mdettweiler [2015-06-13 11:40:05] 601*2^1400185-1 is not prime. Res64: 80652742943BA038 Time : 0.0 sec. user=mdettweiler [2015-06-13 11:40:27] 679*2^1400185-1 is not prime. Res64: F8F4FEC59AB97BD0 Time : 0.0 sec. user=mdettweiler [2015-06-13 11:40:27] 741*2^1400185-1 is not prime. Res64: 778B0274873CB9EB Time : 0.0 sec. user=mdettweiler [2015-06-13 11:40:29] 765*2^1400185-1 is not prime. Res64: 5596E985A0A89959 Time : 0.0 sec. user=mdettweiler [2015-06-13 11:40:30] 777*2^1400185-1 is not prime. Res64: 637E4E72C7894F23 Time : 0.0 sec. user=mdettweiler [2015-06-13 11:40:40] 817*2^1400185-1 is not prime. Res64: 9243071C76A2422B Time : 0.0 sec. user=mdettweiler [2015-06-13 11:40:40] 847*2^1400185-1 is not prime. Res64: 725FF077711ABC8A Time : 0.0 sec. user=mdettweiler [2015-06-13 11:57:32] 925*2^1400185-1 is not prime. Res64: AB790841F2B80664 Time : 0.0 sec. user=mdettweiler [2015-06-13 11:57:32] 987*2^1400185-1 is not prime. Res64: FB655AEC30CE822B Time : 0.0 sec. user=mdettweiler [2015-06-13 11:57:55] 635*2^1400186-1 is not prime. Res64: 2A742B8F02DB4780 Time : 0.0 sec. user=mdettweiler [2015-06-13 11:57:56] 677*2^1400186-1 is not prime. Res64: 70F3FC240E9EDDF8 Time : 0.0 sec. user=mdettweiler [2015-06-13 11:57:58] 743*2^1400186-1 is not prime. Res64: 4A786A27DA564C5B Time : 0.0 sec. user=mdettweiler [2015-06-13 11:57:58] 783*2^1400186-1 is not prime. Res64: 015D86B34CF8BE9F Time : 0.0 sec. user=mdettweiler [2015-06-13 11:58:07] 843*2^1400186-1 is not prime. Res64: BE19EFE350525D79 Time : 0.0 sec. user=mdettweiler [2015-06-13 11:58:07] 861*2^1400186-1 is not prime. Res64: 9E5F7569FD2C883F Time : 0.0 sec. user=mdettweiler [2015-06-13 12:15:06] 921*2^1400186-1 is not prime. Res64: 258C570349C1524F Time : 0.0 sec. user=mdettweiler [2015-06-13 12:15:06] 609*2^1400187-1 is not prime. Res64: 847D8E0CC9E62102 Time : 0.0 sec. user=mdettweiler [2015-06-13 12:15:24] 711*2^1400187-1 is not prime. Res64: 14D4E9BCE9E13830 Time : 0.0 sec. user=mdettweiler [2015-06-13 12:15:24] 825*2^1400187-1 is not prime. Res64: E3BB23C7D6869345 Time : 0.0 sec. user=mdettweiler [2015-06-13 12:15:28] 835*2^1400187-1 is not prime. Res64: 5A64219842079E00 Time : 0.0 sec. user=mdettweiler [2015-06-13 12:15:28] 617*2^1400188-1 is not prime. Res64: 6321B8720BD29A19 Time : 0.0 sec. user=mdettweiler [2015-06-13 12:15:40] 699*2^1400188-1 is not prime. Res64: F556328E0D14E794 Time : 0.0 sec. user=mdettweiler [2015-06-13 12:15:40] 743*2^1400188-1 is not prime. Res64: 7BF299DED9FC42BC Time : 0.0 sec. user=mdettweiler [2015-06-13 12:32:35] 915*2^1400188-1 is not prime. Res64: 3B0246C642EC9199 Time : 0.0 sec. user=mdettweiler [2015-06-13 12:32:36] 627*2^1400189-1 is not prime. Res64: 82458C7C92C92541 Time : 0.0 sec. user=mdettweiler [2015-06-13 12:33:00] 647*2^1400190-1 is not prime. Res64: F887AD231006BA06 Time : 0.0 sec. user=mdettweiler [2015-06-13 12:33:00] 653*2^1400190-1 is not prime. Res64: B5976198808098F4 Time : 0.0 sec. user=mdettweiler [2015-06-13 12:33:08] 657*2^1400189-1 is not prime. Res64: F245F82426758675 Time : 0.0 sec. user=mdettweiler [2015-06-13 12:33:08] 691*2^1400189-1 is not prime. Res64: 836E6E6FAC1304B7 Time : 0.0 sec. user=mdettweiler [2015-06-13 12:33:14] 801*2^1400190-1 is not prime. Res64: 5D9C5153D641FAB1 Time : 0.0 sec. user=mdettweiler [2015-06-13 12:33:14] 893*2^1400190-1 is not prime. Res64: 8769380D3AADC362 Time : 0.0 sec. user=mdettweiler [2015-06-13 12:50:11] 675*2^1400191-1 is not prime. Res64: 15254A3BBE3D3DA0 Time : 0.0 sec. user=mdettweiler [2015-06-13 12:50:11] 703*2^1400191-1 is not prime. Res64: 0E81E0AB814DFBE5 Time : 0.0 sec. user=mdettweiler [2015-06-13 12:50:31] 735*2^1400191-1 is not prime. Res64: 7AC2F5559320CF90 Time : 0.0 sec. user=mdettweiler [2015-06-13 12:50:31] 969*2^1400191-1 is not prime. Res64: 9F8CB26511509063 Time : 0.0 sec. user=mdettweiler [2015-06-13 12:50:54] 983*2^1400192-1 is not prime. Res64: F163E4C982C3A770 Time : 0.0 sec. user=mdettweiler [2015-06-13 12:50:54] 625*2^1400193-1 is not prime. Res64: 83C129321D573DC8 Time : 0.0 sec. user=mdettweiler [2015-06-13 12:50:55] 797*2^1400192-1 is not prime. Res64: 8132646CF9268F53 Time : 0.0 sec. user=mdettweiler [2015-06-13 12:50:55] 819*2^1400192-1 is not prime. Res64: 0A9133C5A9A188AB Time : 0.0 sec. user=mdettweiler [2015-06-13 13:08:10] 627*2^1400193-1 is not prime. Res64: 7DA37E3BF2400107 Time : 0.0 sec. user=mdettweiler [2015-06-13 13:08:11] 639*2^1400193-1 is not prime. Res64: 343D98006C610D95 Time : 0.0 sec. user=mdettweiler [2015-06-13 13:08:31] 657*2^1400193-1 is not prime. Res64: 5998545360CF66B6 Time : 0.0 sec. user=mdettweiler [2015-06-13 13:08:31] 781*2^1400193-1 is not prime. Res64: 63427DFD030C224C Time : 0.0 sec. user=mdettweiler [2015-06-13 13:08:54] 605*2^1400194-1 is not prime. Res64: 7D65BCD450EC9B4E Time : 0.0 sec. user=mdettweiler [2015-06-13 13:08:55] 723*2^1400194-1 is not prime. Res64: 84165650395AD112 Time : 0.0 sec. user=mdettweiler [2015-06-13 13:08:59] 805*2^1400193-1 is not prime. Res64: 233D3D18CF3F23BA Time : 0.0 sec. user=mdettweiler [2015-06-13 13:08:59] 885*2^1400193-1 is not prime. Res64: 7E832C96F9F79985 Time : 0.0 sec. user=mdettweiler [2015-06-13 13:26:26] 765*2^1400194-1 is not prime. Res64: EF267D77F79AE2AD Time : 0.0 sec. user=mdettweiler [2015-06-13 13:26:26] 785*2^1400194-1 is not prime. Res64: CF69D845F55C075F Time : 0.0 sec. user=mdettweiler [2015-06-13 13:26:35] 923*2^1400194-1 is not prime. Res64: 1588619882C31E9B Time : 0.0 sec. user=mdettweiler [2015-06-13 13:26:35] 655*2^1400195-1 is not prime. Res64: AD57802F91D3054D Time : 0.0 sec. user=mdettweiler [2015-06-13 13:26:59] 765*2^1400196-1 is not prime. Res64: F1F6A41E93A72E81 Time : 0.0 sec. user=mdettweiler [2015-06-13 13:27:00] 773*2^1400196-1 is not prime. Res64: CE05474A0C471D7C Time : 0.0 sec. user=mdettweiler [2015-06-13 13:27:09] 825*2^1400195-1 is not prime. Res64: 41B51A14E108DD0C Time : 0.0 sec. user=mdettweiler [2015-06-13 13:27:09] 861*2^1400195-1 is not prime. Res64: BE043EC272B45D36 Time : 0.0 sec. user=mdettweiler [2015-06-13 13:44:06] 809*2^1400196-1 is not prime. Res64: 9A581E256702E3EB Time : 0.0 sec. user=mdettweiler [2015-06-13 13:44:07] 845*2^1400196-1 is not prime. Res64: A6DAE72E074CA349 Time : 0.0 sec. user=mdettweiler [2015-06-13 13:44:27] 857*2^1400196-1 is not prime. Res64: BA6D9E45F775F208 Time : 0.0 sec. user=mdettweiler [2015-06-13 13:44:28] 615*2^1400197-1 is not prime. Res64: 863C88722A79B922 Time : 0.0 sec. user=mdettweiler [2015-06-13 13:44:45] 625*2^1400197-1 is not prime. Res64: 48778FBD5C412CB2 Time : 0.0 sec. user=mdettweiler [2015-06-13 13:44:46] 691*2^1400197-1 is not prime. Res64: B21658A7DE6D2A68 Time : 0.0 sec. user=mdettweiler [2015-06-13 13:44:58] 717*2^1400197-1 is not prime. Res64: 9083247E2E833DA5 Time : 0.0 sec. user=mdettweiler [2015-06-13 13:44:58] 945*2^1400197-1 is not prime. Res64: 5FC587076D9ED7D5 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:01:53] 975*2^1400197-1 is not prime. Res64: CF9DED9488BE9210 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:01:54] 997*2^1400197-1 is not prime. Res64: 48BBDC2891A95380 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:02:09] 801*2^1400198-1 is not prime. Res64: 7D5BE2B573DF32EA Time : 0.0 sec. user=mdettweiler [2015-06-13 14:02:10] 815*2^1400198-1 is not prime. Res64: 0FC152DA19366BD6 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:02:28] 831*2^1400198-1 is not prime. Res64: 873F133511275D30 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:02:29] 897*2^1400198-1 is not prime. Res64: 0A1314185E2EBD60 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:02:48] 693*2^1400199-1 is not prime. Res64: A095352973AE43F4 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:02:49] 745*2^1400199-1 is not prime. Res64: 6F8522E50F6F6AF3 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:19:59] 795*2^1400199-1 is not prime. Res64: 02E240B55CD4B13C Time : 0.0 sec. user=mdettweiler [2015-06-13 14:20:00] 829*2^1400199-1 is not prime. Res64: B9DDD6DC89844954 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:20:01] 913*2^1400199-1 is not prime. Res64: 7EB76D247480D63B Time : 0.0 sec. user=mdettweiler [2015-06-13 14:20:01] 949*2^1400199-1 is not prime. Res64: 7F25965C7C70B0C6 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:20:16] 603*2^1400200-1 is not prime. Res64: 31C2C8E2FD52FF4B Time : 0.0 sec. user=mdettweiler [2015-06-13 14:20:17] 665*2^1400200-1 is not prime. Res64: 0EB8608E266D99D0 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:20:51] 747*2^1400200-1 is not prime. Res64: 833994518A47973A Time : 0.0 sec. user=mdettweiler [2015-06-13 14:20:51] 843*2^1400200-1 is not prime. Res64: C696A018A89248E3 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:38:25] 873*2^1400200-1 is not prime. Res64: FA29BCC4915347D8 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:38:25] 923*2^1400200-1 is not prime. Res64: 1E9978C4402AFA99 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:38:40] 927*2^1400200-1 is not prime. Res64: EF3CB18CB522F45D Time : 0.0 sec. user=mdettweiler [2015-06-13 14:38:40] 957*2^1400200-1 is not prime. Res64: E52D1407BCB74FD4 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:39:18] 631*2^1400201-1 is not prime. Res64: B0A7F8E30B7C0707 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:39:18] 649*2^1400201-1 is not prime. Res64: B744B034D92EA7DE Time : 0.0 sec. user=mdettweiler [2015-06-13 14:39:24] 711*2^1400201-1 is not prime. Res64: D37E9B07EA6FE566 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:39:25] 777*2^1400201-1 is not prime. Res64: F13CC07CF66BFA54 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:56:42] 811*2^1400201-1 is not prime. Res64: 2225DEE720151903 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:56:42] 861*2^1400201-1 is not prime. Res64: 29E582C8E1CC508E Time : 0.0 sec. user=mdettweiler [2015-06-13 14:57:00] 907*2^1400201-1 is not prime. Res64: 5BD9F6766FD53D99 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:57:00] 791*2^1400202-1 is not prime. Res64: B0ACF2465AABE88B Time : 0.0 sec. user=mdettweiler [2015-06-13 14:57:38] 615*2^1400203-1 is not prime. Res64: 86F7CBA0A041EA54 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:57:38] 741*2^1400203-1 is not prime. Res64: D8289D9820416BA2 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:57:52] 885*2^1400202-1 is not prime. Res64: F956C8F75CEDDA32 Time : 0.0 sec. user=mdettweiler [2015-06-13 14:57:52] 893*2^1400202-1 is not prime. Res64: 94D27F33DE9B5FD7 Time : 0.0 sec. user=mdettweiler [2015-06-13 15:15:18] 891*2^1400203-1 is not prime. Res64: 2F96A2FF14E9FB4C Time : 0.0 sec. user=mdettweiler [2015-06-13 15:15:18] 925*2^1400203-1 is not prime. Res64: 50D2DE52AD55AEE7 Time : 0.0 sec. user=mdettweiler [2015-06-13 15:15:29] 985*2^1400203-1 is not prime. Res64: 31633F0A8DF18D56 Time : 0.0 sec. user=mdettweiler [2015-06-13 15:15:29] 663*2^1400204-1 is not prime. Res64: 06849C56D2853858 Time : 0.0 sec. user=mdettweiler [2015-06-13 15:16:06] 725*2^1400204-1 is not prime. Res64: 2085189C09E51524 Time : 0.0 sec. user=mdettweiler [2015-06-13 15:16:06] 755*2^1400204-1 is not prime. Res64: 0B45572AE58371F1 Time : 0.0 sec. user=mdettweiler [2015-06-13 15:16:19] 789*2^1400204-1 is not prime. Res64: FE4AA4C0EBC59210 Time : 0.0 sec. user=mdettweiler [2015-06-13 15:16:19] 833*2^1400204-1 is not prime. Res64: BC754374CC0DDB73 Time : 0.0 sec. user=mdettweiler [2015-06-13 15:33:53] 855*2^1400204-1 is not prime. Res64: 8833BA689297FFC4 Time : 0.0 sec. user=mdettweiler [2015-06-13 15:33:54] 857*2^1400204-1 is not prime. Res64: 1876C54B1000EA30 Time : 0.0 sec. user=mdettweiler [2015-06-13 15:34:09] 885*2^1400204-1 is not prime. Res64: C72A9B1865B8EEB0 Time : 0.0 sec. user=mdettweiler [2015-06-13 15:34:09] 945*2^1400204-1 is not prime. Res64: 7C48CD998EF94CC0 Time : 0.0 sec. user=mdettweiler [2015-06-13 15:34:40] 959*2^1400204-1 is not prime. Res64: E6472D290F49FF4F Time : 0.0 sec. user=mdettweiler [2015-06-13 15:34:41] 625*2^1400205-1 is not prime. Res64: 468F7410D151F7FD Time : 0.0 sec. user=mdettweiler [2015-06-13 15:35:00] 627*2^1400205-1 is not prime. Res64: 43CFB160960A1F7A Time : 0.0 sec. user=mdettweiler [2015-06-13 15:35:00] 655*2^1400205-1 is not prime. Res64: 812DB2FA7334E9D0 Time : 0.0 sec. user=mdettweiler [2015-06-13 15:51:59] 789*2^1400205-1 is not prime. Res64: A49A33E4C6EE1FDC Time : 0.0 sec. user=mdettweiler [2015-06-13 15:51:59] 861*2^1400205-1 is not prime. Res64: 8F421D61CE1626AE Time : 0.0 sec. user=mdettweiler [2015-06-13 15:52:04] 949*2^1400205-1 is not prime. Res64: 396BDD82D353B5B9 Time : 0.0 sec. user=mdettweiler [2015-06-13 15:52:04] 611*2^1400206-1 is not prime. Res64: 98239E86C2584557 Time : 0.0 sec. user=mdettweiler [2015-06-13 15:52:32] 663*2^1400206-1 is not prime. Res64: B161BD252C36528F Time : 0.0 sec. user=mdettweiler [2015-06-13 15:52:33] 713*2^1400206-1 is not prime. Res64: 221CFCADC92E6B7D Time : 0.0 sec. user=mdettweiler [2015-06-13 15:52:50] 755*2^1400206-1 is not prime. Res64: 689E4203DAC900F0 Time : 0.0 sec. user=mdettweiler [2015-06-13 15:52:51] 761*2^1400206-1 is not prime. Res64: 34869253E3F5A075 Time : 0.0 sec. user=mdettweiler [2015-06-13 16:09:59] 993*2^1400206-1 is not prime. Res64: F15E951D01CB6009 Time : 0.0 sec. user=mdettweiler [2015-06-13 16:10:00] 703*2^1400207-1 is not prime. Res64: 1C717236269AB802 Time : 0.0 sec. user=mdettweiler [2015-06-13 16:10:01] 843*2^1400206-1 is not prime. Res64: 920EFE38FB3C7758 Time : 0.0 sec. user=mdettweiler [2015-06-13 16:10:02] 857*2^1400206-1 is not prime. Res64: 288EF5749C34EE3D Time : 0.0 sec. user=mdettweiler [2015-06-13 16:10:31] 711*2^1400207-1 is not prime. Res64: 7E74E9EEAAFF125F Time : 0.0 sec. user=mdettweiler [2015-06-13 16:10:31] 753*2^1400207-1 is not prime. Res64: 20F17FC50EA03B17 Time : 0.0 sec. user=mdettweiler [2015-06-13 16:10:52] 799*2^1400207-1 is not prime. Res64: ED19469858232A06 Time : 0.0 sec. user=mdettweiler [2015-06-13 16:10:52] 859*2^1400207-1 is not prime. Res64: AAEC68E12BCAC16C Time : 0.0 sec. user=mdettweiler [2015-06-13 16:27:41] 993*2^1400207-1 is not prime. Res64: AF64DE15A77FAAD5 Time : 0.0 sec. user=mdettweiler [2015-06-13 16:27:41] 629*2^1400208-1 is not prime. Res64: B02FC9F052B3652B Time : 0.0 sec. user=mdettweiler [2015-06-13 16:27:41] 627*2^1400208-1 is not prime. Res64: C8CC56A0AB9BB13F Time : 0.0 sec. user=mdettweiler [2015-06-13 16:27:42] 689*2^1400208-1 is not prime. Res64: F53C3EC2F91B3DEA Time : 0.0 sec. user=mdettweiler [2015-06-13 16:28:08] 705*2^1400208-1 is not prime. Res64: 149483F0D5C1CA07 Time : 0.0 sec. user=mdettweiler [2015-06-13 16:28:08] 795*2^1400208-1 is not prime. Res64: 0832D9844D723006 Time : 0.0 sec. user=mdettweiler [2015-06-13 16:28:38] 845*2^1400208-1 is not prime. Res64: B2EFD95AA4B3811C Time : 0.0 sec. user=mdettweiler [2015-06-13 16:28:38] 879*2^1400208-1 is not prime. Res64: AF30C2D9272D909C Time : 0.0 sec. user=mdettweiler [2015-06-13 16:45:22] 947*2^1400208-1 is not prime. Res64: 443BC1AE5385AE95 Time : 0.0 sec. user=mdettweiler [2015-06-13 16:45:22] 977*2^1400208-1 is not prime. Res64: 0C8EDA644A05D76E Time : 0.0 sec. user=mdettweiler [2015-06-13 16:45:28] 619*2^1400209-1 is not prime. Res64: 5CC73814886EE7E6 Time : 0.0 sec. user=mdettweiler [2015-06-13 16:45:28] 741*2^1400209-1 is not prime. Res64: 08CAA6D6CE534447 Time : 0.0 sec. user=mdettweiler [2015-06-13 16:45:49] 769*2^1400209-1 is not prime. Res64: B04C67923208F387 Time : 0.0 sec. user=mdettweiler [2015-06-13 16:45:49] 841*2^1400209-1 is not prime. Res64: 4FC1829C0A0FF47D Time : 0.0 sec. user=mdettweiler [2015-06-13 16:46:16] 895*2^1400209-1 is not prime. Res64: 264D257CC99B65C0 Time : 0.0 sec. user=mdettweiler [2015-06-13 16:46:16] 931*2^1400209-1 is not prime. Res64: EF5F0F1848CC4037 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:03:04] 827*2^1400210-1 is not prime. Res64: 3C35A5F61808E9FD Time : 0.0 sec. user=mdettweiler [2015-06-13 17:03:05] 945*2^1400210-1 is not prime. Res64: E21D1F353F37D637 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:03:10] 623*2^1400210-1 is not prime. Res64: 61E0713350064AB3 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:03:11] 651*2^1400210-1 is not prime. Res64: F3819FF7D7437C86 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:03:25] 957*2^1400210-1 is not prime. Res64: 64FCEF3459E2E631 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:03:26] 1001*2^1400210-1 is not prime. Res64: AFAD5B16267F3947 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:03:52] 613*2^1400211-1 is not prime. Res64: 025341598F6F06C1 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:03:54] 735*2^1400211-1 is not prime. Res64: D38DE08692F7B62F Time : 0.0 sec. user=mdettweiler [2015-06-13 17:21:08] 751*2^1400211-1 is not prime. Res64: E45E6DC26A0B2E30 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:21:08] 781*2^1400211-1 is not prime. Res64: DD8EFADE332F5CEC Time : 0.0 sec. user=mdettweiler [2015-06-13 17:21:10] 879*2^1400211-1 is not prime. Res64: C6C4015AA88F6743 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:21:11] 951*2^1400211-1 is not prime. Res64: 4092A59211E7A406 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:21:16] 789*2^1400211-1 is not prime. Res64: E1710695E21DA30D Time : 0.0 sec. user=mdettweiler [2015-06-13 17:21:16] 805*2^1400211-1 is not prime. Res64: A2DDA50956F906BB Time : 0.0 sec. user=mdettweiler [2015-06-13 17:21:44] 605*2^1400212-1 is not prime. Res64: CAA1E94174A78754 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:21:44] 623*2^1400212-1 is not prime. Res64: 9902678CE1AED9EC Time : 0.0 sec. user=mdettweiler [2015-06-13 17:38:50] 813*2^1400212-1 is not prime. Res64: 9965574D3692E621 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:38:51] 965*2^1400212-1 is not prime. Res64: 7976AF7305DDBEDD Time : 0.0 sec. user=mdettweiler [2015-06-13 17:38:51] 775*2^1400213-1 is not prime. Res64: 69335968E78F56EB Time : 0.0 sec. user=mdettweiler [2015-06-13 17:38:52] 663*2^1400214-1 is not prime. Res64: FA856E24677F5F53 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:38:55] 665*2^1400214-1 is not prime. Res64: 851FA7CCA0AE3767 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:38:56] 717*2^1400214-1 is not prime. Res64: A2EBD8E120A1F762 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:39:28] 947*2^1400214-1 is not prime. Res64: 402FDF5BF35CE473 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:39:29] 763*2^1400215-1 is not prime. Res64: BC003377B9DEA3D7 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:56:30] 859*2^1400215-1 is not prime. Res64: 85242736FEBA0AC9 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:56:30] 885*2^1400215-1 is not prime. Res64: 9D2C6BFF12ABD3A9 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:56:34] 853*2^1400215-1 is not prime. Res64: 8F28FC0A0FDA3022 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:56:34] 855*2^1400215-1 is not prime. Res64: 874FF67BF31DDDD0 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:56:35] 939*2^1400215-1 is not prime. Res64: DBE3DD8EE78C57F3 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:56:35] 979*2^1400215-1 is not prime. Res64: 62F3C4F180BB6D99 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:57:23] 603*2^1400216-1 is not prime. Res64: 933AA1B93DB1AF09 Time : 0.0 sec. user=mdettweiler [2015-06-13 17:57:23] 615*2^1400216-1 is not prime. Res64: 620608CAA0AB2969 Time : 0.0 sec. user=mdettweiler [2015-06-13 18:14:09] 659*2^1400216-1 is not prime. Res64: E3B46DA8C7EF659F Time : 0.0 sec. user=mdettweiler [2015-06-13 18:14:09] 683*2^1400216-1 is not prime. Res64: D1FF068040F4BB3E Time : 0.0 sec. user=mdettweiler [2015-06-13 18:14:10] 803*2^1400216-1 is not prime. Res64: D4A4B98B1151C5DB Time : 0.0 sec. user=mdettweiler [2015-06-13 18:14:10] 897*2^1400216-1 is not prime. Res64: 889D41949721FA7C Time : 0.0 sec. user=mdettweiler [2015-06-13 18:14:17] 717*2^1400216-1 is not prime. Res64: 735D84259103F932 Time : 0.0 sec. user=mdettweiler [2015-06-13 18:14:18] 789*2^1400216-1 is not prime. Res64: 33296549D7C43E50 Time : 0.0 sec. user=mdettweiler [2015-06-13 18:15:08] 903*2^1400216-1 is not prime. Res64: 3D513D1D922C6B70 Time : 0.0 sec. user=mdettweiler [2015-06-13 18:15:09] 615*2^1400217-1 is not prime. Res64: AE3EB0E0CB1FBB8A Time : 0.0 sec. user=mdettweiler [2015-06-13 18:31:48] 955*2^1400217-1 is not prime. Res64: 965C977170FD5F88 Time : 0.0 sec. user=mdettweiler [2015-06-13 18:31:48] 605*2^1400218-1 is not prime. Res64: F34DB316BDF07188 Time : 0.0 sec. user=mdettweiler [2015-06-13 18:31:53] 611*2^1400218-1 is not prime. Res64: AE56EFBC1C02F9B4 Time : 0.0 sec. user=mdettweiler [2015-06-13 18:31:53] 617*2^1400218-1 is not prime. Res64: 5B10603512BBB9E5 Time : 0.0 sec. user=mdettweiler [2015-06-13 18:31:54] 669*2^1400217-1 is not prime. Res64: E6FEB7872F9E6000 Time : 0.0 sec. user=mdettweiler [2015-06-13 18:31:55] 739*2^1400217-1 is not prime. Res64: 2C1ABC69159D054B Time : 0.0 sec. user=mdettweiler [2015-06-13 18:32:49] 657*2^1400218-1 is not prime. Res64: 107E1C5A91257D0C Time : 0.0 sec. user=mdettweiler [2015-06-13 18:32:49] 737*2^1400218-1 is not prime. Res64: 226581B605350694 Time : 0.0 sec. user=mdettweiler [2015-06-13 18:49:28] 765*2^1400218-1 is not prime. Res64: A2411F3A5C36AEF1 Time : 0.0 sec. user=mdettweiler [2015-06-13 18:49:29] 845*2^1400218-1 is not prime. Res64: 3B83057BEAEA7763 Time : 0.0 sec. user=mdettweiler [2015-06-13 18:49:32] 867*2^1400218-1 is not prime. Res64: 6C65D2BF43BDAFD3 Time : 0.0 sec. user=mdettweiler [2015-06-13 18:49:32] 957*2^1400218-1 is not prime. Res64: AA6A50E2C304B392 Time : 0.0 sec. user=mdettweiler [2015-06-13 18:49:38] 995*2^1400218-1 is not prime. Res64: FCE6D416B812CAC9 Time : 0.0 sec. user=mdettweiler [2015-06-13 18:49:38] 1001*2^1400218-1 is not prime. Res64: 1820C008B0BF8109 Time : 0.0 sec. user=mdettweiler [2015-06-13 18:50:28] 615*2^1400219-1 is not prime. Res64: 574B212D3E2EA84C Time : 0.0 sec. user=mdettweiler [2015-06-13 18:50:28] 861*2^1400219-1 is not prime. Res64: F69C9ADB1228F779 Time : 0.0 sec. user=mdettweiler [2015-06-13 19:07:07] 669*2^1400220-1 is not prime. Res64: 6DF0300512C4F1FB Time : 0.0 sec. user=mdettweiler [2015-06-13 19:07:07] 765*2^1400220-1 is not prime. Res64: 48569F9B90DF9799 Time : 0.0 sec. user=mdettweiler [2015-06-13 19:07:11] 779*2^1400220-1 is not prime. Res64: 2D10F314D42AC19E Time : 0.0 sec. user=mdettweiler [2015-06-13 19:07:12] 783*2^1400220-1 is not prime. Res64: ECD02AA5B2A1B1A9 Time : 0.0 sec. user=mdettweiler [2015-06-13 19:07:15] 619*2^1400221-1 is not prime. Res64: 4D972DA059C20F66 Time : 0.0 sec. user=mdettweiler [2015-06-13 19:07:16] 639*2^1400221-1 is not prime. Res64: BCAF0A6A9BBE4546 Time : 0.0 sec. user=mdettweiler [2015-06-13 19:08:05] 727*2^1400221-1 is not prime. Res64: 4120561533C6D722 Time : 0.0 sec. user=mdettweiler [2015-06-13 19:08:05] 741*2^1400221-1 is not prime. Res64: F7F362FA78BC02B2 Time : 0.0 sec. user=mdettweiler [2015-06-13 19:24:58] 931*2^1400221-1 is not prime. Res64: 9C052165D5C3EBDE Time : 0.0 sec. user=mdettweiler [2015-06-13 19:24:58] 937*2^1400221-1 is not prime. Res64: AA120B0FFA78CFA7 Time : 0.0 sec. user=mdettweiler [2015-06-13 19:25:01] 945*2^1400221-1 is not prime. Res64: A3DCA6B9D1132310 Time : 0.0 sec. user=mdettweiler [2015-06-13 19:25:01] 757*2^1400221-1 is not prime. Res64: 22B6559396CF0696 Time : 0.0 sec. user=mdettweiler [2015-06-13 19:25:01] 987*2^1400221-1 is not prime. Res64: A1D15A9F33BC3441 Time : 0.0 sec. user=mdettweiler [2015-06-13 19:25:01] 859*2^1400221-1 is not prime. Res64: D1B2B98100955A2D Time : 0.0 sec. user=mdettweiler [2015-06-13 19:25:46] 603*2^1400222-1 is not prime. Res64: 77EA4F4C5D190DB9 Time : 0.0 sec. user=mdettweiler [2015-06-13 19:25:46] 813*2^1400222-1 is not prime. Res64: 85B3DCB7E3C68872 Time : 0.0 sec. user=mdettweiler [2015-06-13 19:42:41] 951*2^1400222-1 is not prime. Res64: 9633DE82D8650468 Time : 0.0 sec. user=mdettweiler [2015-06-13 19:42:41] 977*2^1400222-1 is not prime. Res64: 8EC816C309501926 Time : 0.0 sec. user=mdettweiler [2015-06-13 19:42:47] 613*2^1400223-1 is not prime. Res64: 5F4B9C1C68F27510 Time : 0.0 sec. user=mdettweiler [2015-06-13 19:42:47] 983*2^1400222-1 is not prime. Res64: E9B0897D37FFC9B5 Time : 0.0 sec. user=mdettweiler [2015-06-13 19:42:47] 739*2^1400223-1 is not prime. Res64: 8BE2F1B1F092391F Time : 0.0 sec. user=mdettweiler [2015-06-13 19:42:47] 987*2^1400222-1 is not prime. Res64: 3EC213169AAD1EBF Time : 0.0 sec. user=mdettweiler [2015-06-13 19:43:28] 769*2^1400223-1 is not prime. Res64: 0224315202C39816 Time : 0.0 sec. user=mdettweiler [2015-06-13 19:43:28] 823*2^1400223-1 is not prime. Res64: EA8F33F9F0ACAFB5 Time : 0.0 sec. user=mdettweiler [2015-06-13 20:00:25] 859*2^1400223-1 is not prime. Res64: 8BA0DD77C35B4EE1 Time : 0.0 sec. user=mdettweiler [2015-06-13 20:00:26] 873*2^1400223-1 is not prime. Res64: EB7026850AAE90EB Time : 0.0 sec. user=mdettweiler [2015-06-13 20:00:31] 885*2^1400223-1 is not prime. Res64: 2936E63A47A46E47 Time : 0.0 sec. user=mdettweiler [2015-06-13 20:00:32] 895*2^1400223-1 is not prime. Res64: 208B99AB95BCA3DA Time : 0.0 sec. user=mdettweiler [2015-06-13 20:00:35] 933*2^1400223-1 is not prime. Res64: A033A2C5343B47B7 Time : 0.0 sec. user=mdettweiler [2015-06-13 20:00:36] 951*2^1400223-1 is not prime. Res64: 36B4EA71D8F146DD Time : 0.0 sec. user=mdettweiler [2015-06-13 20:01:07] 623*2^1400224-1 is not prime. Res64: 7AFBB20EEDF7B691 Time : 0.0 sec. user=mdettweiler [2015-06-13 20:01:08] 699*2^1400224-1 is not prime. Res64: E98FD3DB057A96B9 Time : 0.0 sec. user=mdettweiler [2015-06-13 20:18:15] 707*2^1400224-1 is not prime. Res64: 9B85BE49E60F65BB Time : 0.0 sec. user=mdettweiler [2015-06-13 20:18:15] 903*2^1400224-1 is not prime. Res64: 3EC70C7B901742C9 Time : 0.0 sec. user=mdettweiler [2015-06-13 20:18:19] 983*2^1400224-1 is not prime. Res64: 9FB86AD6DDCFE4C4 Time : 0.0 sec. user=mdettweiler [2015-06-13 20:18:19] 669*2^1400225-1 is not prime. Res64: 311B48C5984CC8C6 Time : 0.0 sec. user=mdettweiler [2015-06-13 20:18:22] 721*2^1400225-1 is not prime. Res64: 1E17DFC0E34CBE65 Time : 0.0 sec. user=mdettweiler [2015-06-13 20:18:22] 759*2^1400225-1 is not prime. Res64: 48E61EA48E479DBD Time : 0.0 sec. user=mdettweiler [2015-06-13 20:18:53] 777*2^1400225-1 is not prime. Res64: 56A2DFBA00A7B8A2 Time : 0.0 sec. user=mdettweiler [2015-06-13 20:18:53] 865*2^1400225-1 is not prime. Res64: 161B08648ED7E200 Time : 0.0 sec. user=mdettweiler [2015-06-13 20:35:54] 871*2^1400225-1 is not prime. Res64: 1AE344454EB9FEC1 Time : 0.0 sec. user=mdettweiler [2015-06-13 20:35:54] 897*2^1400225-1 is not prime. Res64: D4C2322CA41371AF Time : 0.0 sec. user=mdettweiler [2015-06-13 20:35:57] 641*2^1400226-1 is not prime. Res64: 3898E91EE40723FA Time : 0.0 sec. user=mdettweiler [2015-06-13 20:35:58] 653*2^1400226-1 is not prime. Res64: 52571B40B9AF3FA8 Time : 0.0 sec. user=mdettweiler [2015-06-13 20:35:59] 683*2^1400226-1 is not prime. Res64: C7F4B0C815C2D766 Time : 0.0 sec. user=mdettweiler [2015-06-13 20:36:00] 705*2^1400226-1 is not prime. Res64: FBEB6A4B2D8E2AEB Time : 0.0 sec. user=mdettweiler [2015-06-13 20:36:34] 725*2^1400226-1 is not prime. Res64: 0D560A433211FDE9 Time : 0.0 sec. user=mdettweiler [2015-06-13 20:36:34] 755*2^1400226-1 is not prime. Res64: 0308F6D65654D3FC Time : 0.0 sec. user=mdettweiler [2015-06-13 20:53:36] 833*2^1400226-1 is not prime. Res64: 40E664C6E5D2DBD7 Time : 0.0 sec. user=mdettweiler [2015-06-13 20:53:37] 837*2^1400226-1 is not prime. Res64: 4E921A964FF9C13E Time : 0.0 sec. user=mdettweiler [2015-06-13 20:53:42] 945*2^1400226-1 is not prime. Res64: 66845BEB5DBCF96E Time : 0.0 sec. user=mdettweiler [2015-06-13 20:53:42] 975*2^1400226-1 is not prime. Res64: 735B7EB482CFCF31 Time : 0.0 sec. user=mdettweiler [2015-06-13 20:53:43] 881*2^1400226-1 is not prime. Res64: E6CB2AFE79ABD8C8 Time : 0.0 sec. user=mdettweiler [2015-06-13 20:53:43] 905*2^1400226-1 is not prime. Res64: 6DF104C10AAA1606 Time : 0.0 sec. user=mdettweiler [2015-06-13 20:54:16] 805*2^1400227-1 is not prime. Res64: 960756C899000C5E Time : 0.0 sec. user=mdettweiler [2015-06-13 20:54:16] 859*2^1400227-1 is not prime. Res64: 67953053AF21FB71 Time : 0.0 sec. user=juhehe [2015-06-13 21:06:54] 815*2^1400226-1 is not prime. Res64: C68E0B96B2CC7BD8 Time : 0.0 sec. user=mdettweiler [2015-06-13 21:11:18] 623*2^1400228-1 is not prime. Res64: 86A3267088D7166E Time : 0.0 sec. user=mdettweiler [2015-06-13 21:11:18] 633*2^1400228-1 is not prime. Res64: 4854E798F23E11D1 Time : 0.0 sec. user=mdettweiler [2015-06-13 21:11:25] 677*2^1400228-1 is not prime. Res64: F1572F1BF3663C47 Time : 0.0 sec. user=mdettweiler [2015-06-13 21:11:26] 689*2^1400228-1 is not prime. Res64: D3FF81A7B55992AC Time : 0.0 sec. user=mdettweiler [2015-06-13 21:11:29] 931*2^1400227-1 is not prime. Res64: 80AEB2A0C8C7A3C6 Time : 0.0 sec. user=mdettweiler [2015-06-13 21:11:29] 617*2^1400228-1 is not prime. Res64: B675A370D3D0C1E9 Time : 0.0 sec. user=mdettweiler [2015-06-13 21:12:02] 795*2^1400228-1 is not prime. Res64: 13ECE9D946A2BB21 Time : 0.0 sec. user=mdettweiler [2015-06-13 21:12:02] 833*2^1400228-1 is not prime. Res64: BC350D9ABE65A6D1 Time : 0.0 sec. user=mdettweiler [2015-06-13 21:29:05] 867*2^1400228-1 is not prime. Res64: 7BD902B1F60E3CA4 Time : 0.0 sec. user=mdettweiler [2015-06-13 21:29:05] 927*2^1400228-1 is not prime. Res64: 593DEDD4D94F0117 Time : 0.0 sec. user=mdettweiler [2015-06-13 21:29:05] 795*2^1400229-1 is not prime. Res64: AACA9680B343FA7A Time : 0.0 sec. user=mdettweiler [2015-06-13 21:29:06] 825*2^1400229-1 is not prime. Res64: 7133E92A5B4D87D6 Time : 0.0 sec. user=mdettweiler [2015-06-13 21:29:09] 667*2^1400229-1 is not prime. Res64: D3CF11E3A6A60002 Time : 0.0 sec. user=mdettweiler [2015-06-13 21:29:10] 691*2^1400229-1 is not prime. Res64: 9E55011311AAB843 Time : 0.0 sec. user=mdettweiler [2015-06-13 21:29:44] 831*2^1400229-1 is not prime. Res64: D75161B1800C3401 Time : 0.0 sec. user=mdettweiler [2015-06-13 21:29:44] 999*2^1400229-1 is not prime. Res64: F5FBC24A455F351F Time : 0.0 sec. user=mdettweiler [2015-06-13 21:46:46] 717*2^1400230-1 is not prime. Res64: 040637C08D78E3BC Time : 0.0 sec. user=mdettweiler [2015-06-13 21:46:46] 777*2^1400230-1 is not prime. Res64: D4725D6751532147 Time : 0.0 sec. user=mdettweiler [2015-06-13 21:46:49] 827*2^1400230-1 is not prime. Res64: D32FC5F7A1F7E4BA Time : 0.0 sec. user=mdettweiler [2015-06-13 21:46:49] 687*2^1400230-1 is not prime. Res64: A3B9A1F3B8D862FE Time : 0.0 sec. user=mdettweiler [2015-06-13 21:46:49] 833*2^1400230-1 is not prime. Res64: 2D7D6F5C693EFBB6 Time : 0.0 sec. user=mdettweiler [2015-06-13 21:46:49] 707*2^1400230-1 is not prime. Res64: BA2E404538726D44 Time : 0.0 sec. user=mdettweiler [2015-06-13 21:47:25] 855*2^1400230-1 is not prime. Res64: CC14F36C55770D4E Time : 0.0 sec. user=mdettweiler [2015-06-13 21:47:25] 923*2^1400230-1 is not prime. Res64: 10BB1EB232516339 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:04:27] 615*2^1400231-1 is not prime. Res64: 7CA43796A334BCED Time : 0.0 sec. user=mdettweiler [2015-06-13 22:04:29] 619*2^1400231-1 is not prime. Res64: D8C60D7AC4FA4667 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:04:33] 981*2^1400231-1 is not prime. Res64: CD3B953B2ED24971 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:04:34] 991*2^1400231-1 is not prime. Res64: F7690A1EEE2B5844 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:04:37] 753*2^1400231-1 is not prime. Res64: 0D0913A06431122F Time : 0.0 sec. user=mdettweiler [2015-06-13 22:04:38] 949*2^1400231-1 is not prime. Res64: 33CC306E78663399 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:05:01] 993*2^1400231-1 is not prime. Res64: 6D2466406C26489F Time : 0.0 sec. user=mdettweiler [2015-06-13 22:05:02] 689*2^1400232-1 is not prime. Res64: 900F32AC6F2472DB Time : 0.0 sec. user=mdettweiler [2015-06-13 22:22:38] 741*2^1400233-1 is not prime. Res64: A796A0C99CE1F9C1 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:22:39] 861*2^1400233-1 is not prime. Res64: F2EA616AE13B66C4 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:22:43] 919*2^1400233-1 is not prime. Res64: FEC4A4AA7B6C04E6 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:22:43] 937*2^1400233-1 is not prime. Res64: 228D70DDC01D6428 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:22:44] 693*2^1400232-1 is not prime. Res64: BEFEF1B0E433F80F Time : 0.0 sec. user=mdettweiler [2015-06-13 22:22:44] 615*2^1400233-1 is not prime. Res64: 142A182BB6804BD0 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:22:47] 951*2^1400233-1 is not prime. Res64: C49A225BAD823507 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:22:47] 701*2^1400234-1 is not prime. Res64: 14D3F7F529BCC431 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:40:22] 837*2^1400234-1 is not prime. Res64: 212AD5727470DF33 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:40:23] 953*2^1400234-1 is not prime. Res64: 5903C9B3AB9B5EE7 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:40:23] 731*2^1400234-1 is not prime. Res64: 91058F0983F2F490 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:40:24] 743*2^1400234-1 is not prime. Res64: 1EC4ED38E8A43331 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:40:25] 987*2^1400234-1 is not prime. Res64: A4E4235AD1C2C97C Time : 0.0 sec. user=mdettweiler [2015-06-13 22:40:26] 995*2^1400234-1 is not prime. Res64: D9B558FA868FF75B Time : 0.0 sec. user=mdettweiler [2015-06-13 22:40:30] 753*2^1400235-1 is not prime. Res64: 9D98200AEBA5A53F Time : 0.0 sec. user=mdettweiler [2015-06-13 22:40:31] 903*2^1400235-1 is not prime. Res64: B0CC49FA049BA755 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:58:13] 747*2^1400237-1 is not prime. Res64: C2971AED2A1DD71C Time : 0.0 sec. user=mdettweiler [2015-06-13 22:58:13] 795*2^1400237-1 is not prime. Res64: 4EA131FA611B3700 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:58:16] 875*2^1400236-1 is not prime. Res64: 103F1C0018E5B421 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:58:16] 669*2^1400237-1 is not prime. Res64: ED65E07D7DAB2DC0 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:58:21] 803*2^1400236-1 is not prime. Res64: E534DB6633A6F745 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:58:21] 855*2^1400236-1 is not prime. Res64: 0AAB78A5CB611531 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:58:23] 799*2^1400237-1 is not prime. Res64: F495B7479CC5D782 Time : 0.0 sec. user=mdettweiler [2015-06-13 22:58:24] 829*2^1400237-1 is not prime. Res64: F4ADA027D94F4F25 Time : 0.0 sec. user=mdettweiler [2015-06-13 23:15:56] 925*2^1400237-1 is not prime. Res64: 796096360F7745AB Time : 0.0 sec. user=mdettweiler [2015-06-13 23:15:56] 693*2^1400238-1 is not prime. Res64: 34B7D23E9D2B8834 Time : 0.0 sec. user=mdettweiler [2015-06-13 23:15:58] 705*2^1400238-1 is not prime. Res64: 98439D90CC851440 Time : 0.0 sec. user=mdettweiler [2015-06-13 23:15:58] 821*2^1400238-1 is not prime. Res64: B3975D8EE87BB1D8 Time : 0.0 sec. user=mdettweiler [2015-06-13 23:16:04] 769*2^1400239-1 is not prime. Res64: E47DEF41DD2BA957 Time : 0.0 sec. user=mdettweiler [2015-06-13 23:16:04] 889*2^1400239-1 is not prime. Res64: B67BDDF558F0AA87 Time : 0.0 sec. user=mdettweiler [2015-06-13 23:16:06] 625*2^1400239-1 is not prime. Res64: 4680189ACA19AE98 Time : 0.0 sec. user=mdettweiler [2015-06-13 23:16:06] 709*2^1400239-1 is not prime. Res64: 60B3DB18E80DB542 Time : 0.0 sec. user=mdettweiler [2015-06-13 23:33:43] 909*2^1400239-1 is not prime. Res64: 267F5D8DC7FF412F Time : 0.0 sec. user=mdettweiler [2015-06-13 23:33:43] 605*2^1400240-1 is not prime. Res64: 030C5F6DD561D6DC Time : 0.0 sec. user=mdettweiler [2015-06-13 23:33:43] 669*2^1400240-1 is not prime. Res64: 8C0A077780DBB17D Time : 0.0 sec. user=mdettweiler [2015-06-13 23:33:44] 743*2^1400240-1 is not prime. Res64: 532D78A0A28B13DD Time : 0.0 sec. user=mdettweiler [2015-06-13 23:33:45] 633*2^1400240-1 is not prime. Res64: CC27A4EE7A0880E3 Time : 0.0 sec. user=mdettweiler [2015-06-13 23:33:45] 665*2^1400240-1 is not prime. Res64: 1222DCF14C3FB755 Time : 0.0 sec. user=mdettweiler [2015-06-13 23:33:48] 767*2^1400240-1 is not prime. Res64: 81E2B0DB9C6C61C1 Time : 0.0 sec. user=mdettweiler [2015-06-13 23:33:48] 789*2^1400240-1 is not prime. Res64: 78508584D69796CC Time : 0.0 sec. user=mdettweiler [2015-06-13 23:51:24] 609*2^1400241-1 is not prime. Res64: 6E32FAB2D8575175 Time : 0.0 sec. user=mdettweiler [2015-06-13 23:51:24] 893*2^1400240-1 is not prime. Res64: 23A33631E3A58683 Time : 0.0 sec. user=mdettweiler [2015-06-13 23:51:24] 727*2^1400241-1 is not prime. Res64: 8E6D1B0EEE93BD58 Time : 0.0 sec. user=mdettweiler [2015-06-13 23:51:24] 607*2^1400241-1 is not prime. Res64: 2B07770F45549016 Time : 0.0 sec. user=mdettweiler [2015-06-13 23:51:31] 777*2^1400241-1 is not prime. Res64: 0D50581DBAD54568 Time : 0.0 sec. user=mdettweiler [2015-06-13 23:51:32] 807*2^1400241-1 is not prime. Res64: E823272B8E97D8D0 Time : 0.0 sec. user=mdettweiler [2015-06-13 23:51:39] 811*2^1400241-1 is not prime. Res64: 02B70A89B1E28E6A Time : 0.0 sec. user=mdettweiler [2015-06-13 23:51:39] 889*2^1400241-1 is not prime. Res64: 51939FF9340553EA Time : 0.0 sec.