user=mdettweiler [2015-08-04 00:07:29] 625*2^1405233-1 is not prime. Res64: E4F67DCC2033392E Time : 0.0 sec. user=mdettweiler [2015-08-04 00:07:31] 735*2^1405233-1 is not prime. Res64: A8E246E7E3171839 Time : 0.0 sec. user=mdettweiler [2015-08-04 00:12:44] 745*2^1405233-1 is not prime. Res64: CE4A1EF76F1EB75F Time : 0.0 sec. user=mdettweiler [2015-08-04 00:12:45] 765*2^1405233-1 is not prime. Res64: DEF03054A00F3A48 Time : 0.0 sec. user=mdettweiler [2015-08-04 00:17:37] 951*2^1405233-1 is not prime. Res64: 604934AE20FDBD21 Time : 0.0 sec. user=mdettweiler [2015-08-04 00:17:37] 623*2^1405234-1 is not prime. Res64: 8400D8196B8C7997 Time : 0.0 sec. user=mdettweiler [2015-08-04 00:17:43] 687*2^1405234-1 is not prime. Res64: 076C644352CF627D Time : 0.0 sec. user=mdettweiler [2015-08-04 00:17:43] 701*2^1405234-1 is not prime. Res64: E3B5632B9C0B7C17 Time : 0.0 sec. user=mdettweiler [2015-08-04 00:25:31] 815*2^1405234-1 is not prime. Res64: 5321EAE523F16E8B Time : 0.0 sec. user=mdettweiler [2015-08-04 00:25:31] 645*2^1405235-1 is not prime. Res64: 117B38554C689D52 Time : 0.0 sec. user=mdettweiler [2015-08-04 00:30:31] 651*2^1405235-1 is not prime. Res64: 17FE06A5B8707303 Time : 0.0 sec. user=mdettweiler [2015-08-04 00:30:31] 859*2^1405235-1 is not prime. Res64: 8E685A7E0856CBA8 Time : 0.0 sec. user=mdettweiler [2015-08-04 00:35:20] 909*2^1405235-1 is not prime. Res64: 23737AFBA79902EE Time : 0.0 sec. user=mdettweiler [2015-08-04 00:35:20] 921*2^1405235-1 is not prime. Res64: E4CFAB6D60A3B292 Time : 0.0 sec. user=mdettweiler [2015-08-04 00:35:30] 647*2^1405236-1 is not prime. Res64: 6CE7E22AD2B60021 Time : 0.0 sec. user=mdettweiler [2015-08-04 00:35:30] 695*2^1405236-1 is not prime. Res64: 18EB605CCD8BB025 Time : 0.0 sec. user=mdettweiler [2015-08-04 00:43:12] 783*2^1405236-1 is not prime. Res64: D10EE28D20AB935F Time : 0.0 sec. user=mdettweiler [2015-08-04 00:43:12] 839*2^1405236-1 is not prime. Res64: DED846F1D70D6090 Time : 0.0 sec. user=mdettweiler [2015-08-04 00:48:22] 601*2^1405237-1 is not prime. Res64: 0CC1614AD9822DCB Time : 0.0 sec. user=mdettweiler [2015-08-04 00:48:22] 609*2^1405237-1 is not prime. Res64: B7A4011DB95F3C7B Time : 0.0 sec. user=mdettweiler [2015-08-04 00:52:59] 651*2^1405237-1 is not prime. Res64: 1E1E037FF80D2126 Time : 0.0 sec. user=mdettweiler [2015-08-04 00:52:59] 691*2^1405237-1 is not prime. Res64: 810AA0712B738E45 Time : 0.0 sec. user=mdettweiler [2015-08-04 00:53:13] 757*2^1405237-1 is not prime. Res64: 5D467737B26423A7 Time : 0.0 sec. user=mdettweiler [2015-08-04 00:53:13] 765*2^1405237-1 is not prime. Res64: F88A21FC661645E6 Time : 0.0 sec. user=mdettweiler [2015-08-04 01:01:00] 847*2^1405237-1 is not prime. Res64: 45A59F64F5F1E348 Time : 0.0 sec. user=mdettweiler [2015-08-04 01:01:01] 937*2^1405237-1 is not prime. Res64: 4E7957EECF3C44B2 Time : 0.0 sec. user=mdettweiler [2015-08-04 01:06:14] 665*2^1405238-1 is not prime. Res64: 6F6C15F92A3BC668 Time : 0.0 sec. user=mdettweiler [2015-08-04 01:06:14] 683*2^1405238-1 is not prime. Res64: A4003DFAA6DD4E1F Time : 0.0 sec. user=mdettweiler [2015-08-04 01:10:42] 743*2^1405238-1 is not prime. Res64: 26D1871E54B0C453 Time : 0.0 sec. user=mdettweiler [2015-08-04 01:10:43] 797*2^1405238-1 is not prime. Res64: 552C69095185F7FE Time : 0.0 sec. user=mdettweiler [2015-08-04 01:10:54] 825*2^1405238-1 is not prime. Res64: 5C32FF5B7DBAFD77 Time : 0.0 sec. user=mdettweiler [2015-08-04 01:10:55] 893*2^1405238-1 is not prime. Res64: 6522C692859CDF18 Time : 0.0 sec. user=mdettweiler [2015-08-04 01:19:06] 897*2^1405238-1 is not prime. Res64: 04AB9B3C1AF7CECC Time : 0.0 sec. user=mdettweiler [2015-08-04 01:19:06] 953*2^1405238-1 is not prime. Res64: 92AE466E61FABA9B Time : 0.0 sec. user=mdettweiler [2015-08-04 01:24:21] 615*2^1405239-1 is not prime. Res64: B99B3C963AF8A20F Time : 0.0 sec. user=mdettweiler [2015-08-04 01:24:22] 619*2^1405239-1 is not prime. Res64: 804DBD7091950848 Time : 0.0 sec. user=mdettweiler [2015-08-04 01:29:33] 723*2^1405239-1 is not prime. Res64: 8878AB62FFAC83D1 Time : 0.0 sec. user=mdettweiler [2015-08-04 01:29:34] 741*2^1405239-1 is not prime. Res64: 284ABC1A7B4FCA72 Time : 0.0 sec. user=mdettweiler [2015-08-04 01:29:49] 861*2^1405239-1 is not prime. Res64: 6FA6D8BE5F3DD2CC Time : 0.0 sec. user=mdettweiler [2015-08-04 01:29:49] 865*2^1405239-1 is not prime. Res64: 6731C48D1A7A91B3 Time : 0.0 sec. user=mdettweiler [2015-08-04 01:38:01] 951*2^1405239-1 is not prime. Res64: 4C6561FCB4C5670C Time : 0.0 sec. user=mdettweiler [2015-08-04 01:38:01] 961*2^1405239-1 is not prime. Res64: 8ABC81DD12078546 Time : 0.0 sec. user=mdettweiler [2015-08-04 01:42:23] 635*2^1405240-1 is not prime. Res64: 447A1E3F9788CD14 Time : 0.0 sec. user=mdettweiler [2015-08-04 01:42:23] 645*2^1405240-1 is not prime. Res64: 136528B7CECAFC3A Time : 0.0 sec. user=mdettweiler [2015-08-04 01:47:14] 785*2^1405240-1 is not prime. Res64: 064252C04EE45CB7 Time : 0.0 sec. user=mdettweiler [2015-08-04 01:47:14] 845*2^1405240-1 is not prime. Res64: 49452DCC24D48174 Time : 0.0 sec. user=mdettweiler [2015-08-04 01:47:26] 933*2^1405240-1 is not prime. Res64: 44906B5CDE477C45 Time : 0.0 sec. user=mdettweiler [2015-08-04 01:47:27] 975*2^1405240-1 is not prime. Res64: 0693F4A97066AAF2 Time : 0.0 sec. user=mdettweiler [2015-08-04 01:55:42] 649*2^1405241-1 is not prime. Res64: 5F0748A9AA89914C Time : 0.0 sec. user=mdettweiler [2015-08-04 01:55:43] 657*2^1405241-1 is not prime. Res64: B88EBABF8CC679B3 Time : 0.0 sec. user=mdettweiler [2015-08-04 02:00:02] 685*2^1405241-1 is not prime. Res64: 079E5ECF83C89757 Time : 0.0 sec. user=mdettweiler [2015-08-04 02:00:03] 871*2^1405241-1 is not prime. Res64: E9B42C33D392C10B Time : 0.0 sec. user=mdettweiler [2015-08-04 02:05:02] 901*2^1405241-1 is not prime. Res64: 6B29553924A25623 Time : 0.0 sec. user=mdettweiler [2015-08-04 02:05:03] 939*2^1405241-1 is not prime. Res64: 425BE367D17CB35D Time : 0.0 sec. user=mdettweiler [2015-08-04 02:05:13] 981*2^1405241-1 is not prime. Res64: 7A166419F06BE78B Time : 0.0 sec. user=mdettweiler [2015-08-04 02:05:14] 635*2^1405242-1 is not prime. Res64: 151AF21FBD6BC528 Time : 0.0 sec. user=mdettweiler [2015-08-04 02:13:32] 677*2^1405242-1 is not prime. Res64: D7549190F62413E1 Time : 0.0 sec. user=mdettweiler [2015-08-04 02:13:32] 681*2^1405242-1 is not prime. Res64: 576900AF5FFAF49C Time : 0.0 sec. user=mdettweiler [2015-08-04 02:17:38] 713*2^1405242-1 is not prime. Res64: B57BBD826DF71E4A Time : 0.0 sec. user=mdettweiler [2015-08-04 02:17:39] 717*2^1405242-1 is not prime. Res64: 7EA8F2F666D523C6 Time : 0.0 sec. user=mdettweiler [2015-08-04 02:22:47] 803*2^1405242-1 is not prime. Res64: DD27D37332990346 Time : 0.0 sec. user=mdettweiler [2015-08-04 02:22:47] 807*2^1405242-1 is not prime. Res64: DD29130151E6A251 Time : 0.0 sec. user=mdettweiler [2015-08-04 02:22:56] 821*2^1405242-1 is not prime. Res64: 2A5AF443DB91255D Time : 0.0 sec. user=mdettweiler [2015-08-04 02:22:56] 723*2^1405243-1 is not prime. Res64: 199C8CDBE9832675 Time : 0.0 sec. user=mdettweiler [2015-08-04 02:31:14] 769*2^1405243-1 is not prime. Res64: CD3483414A1219D0 Time : 0.0 sec. user=mdettweiler [2015-08-04 02:31:14] 925*2^1405243-1 is not prime. Res64: 1EE8CB69CE5B602E Time : 0.0 sec. user=mdettweiler [2015-08-04 02:35:24] 837*2^1405244-1 is not prime. Res64: C2F5FFF1FEE04ED6 Time : 0.0 sec. user=mdettweiler [2015-08-04 02:35:25] 875*2^1405244-1 is not prime. Res64: 9925E202ADD1E451 Time : 0.0 sec. user=mdettweiler [2015-08-04 02:40:24] 625*2^1405245-1 is not prime. Res64: F5A0E991FF2EBAD5 Time : 0.0 sec. user=mdettweiler [2015-08-04 02:40:24] 795*2^1405245-1 is not prime. Res64: 9B49B4364ABD38A1 Time : 0.0 sec. user=mdettweiler [2015-08-04 02:40:45] 859*2^1405245-1 is not prime. Res64: 620FE9782414CEEA Time : 0.0 sec. user=mdettweiler [2015-08-04 02:40:46] 861*2^1405245-1 is not prime. Res64: 741AE348BBF2E80B Time : 0.0 sec. user=mdettweiler [2015-08-04 02:48:59] 927*2^1405245-1 is not prime. Res64: 93E48B3A15B44278 Time : 0.0 sec. user=mdettweiler [2015-08-04 02:49:00] 949*2^1405245-1 is not prime. Res64: D0327B1BBB0E525B Time : 0.0 sec. user=mdettweiler [2015-08-04 02:53:08] 675*2^1405246-1 is not prime. Res64: 029141E9227A7D1C Time : 0.0 sec. user=mdettweiler [2015-08-04 02:53:09] 717*2^1405246-1 is not prime. Res64: D8326385EA9D2C38 Time : 0.0 sec. user=mdettweiler [2015-08-04 02:58:00] 783*2^1405246-1 is not prime. Res64: 69901C3D08420B40 Time : 0.0 sec. user=mdettweiler [2015-08-04 02:58:01] 801*2^1405246-1 is not prime. Res64: 95A544C2CF204048 Time : 0.0 sec. user=mdettweiler [2015-08-04 02:58:21] 843*2^1405246-1 is not prime. Res64: E6192461781EFB66 Time : 0.0 sec. user=mdettweiler [2015-08-04 02:58:21] 903*2^1405246-1 is not prime. Res64: 67E81745A12AA13F Time : 0.0 sec. user=mdettweiler [2015-08-04 03:06:46] 633*2^1405247-1 is not prime. Res64: 0B32293CB7751B9A Time : 0.0 sec. user=mdettweiler [2015-08-04 03:06:46] 883*2^1405247-1 is not prime. Res64: 5C6836F30006A411 Time : 0.0 sec. user=mdettweiler [2015-08-04 03:10:54] 913*2^1405247-1 is not prime. Res64: 29798D30B91A3777 Time : 0.0 sec. user=mdettweiler [2015-08-04 03:10:55] 999*2^1405247-1 is not prime. Res64: 86AACC7BCDB3676B Time : 0.0 sec. user=mdettweiler [2015-08-04 03:15:52] 737*2^1405248-1 is not prime. Res64: F8EE8CB2760CE69B Time : 0.0 sec. user=mdettweiler [2015-08-04 03:15:52] 753*2^1405248-1 is not prime. Res64: 080A72A6A7A30312 Time : 0.0 sec. user=mdettweiler [2015-08-04 03:16:18] 789*2^1405248-1 is not prime. Res64: 8D316EA60F26B8E9 Time : 0.0 sec. user=mdettweiler [2015-08-04 03:16:18] 795*2^1405248-1 is not prime. Res64: 314E10D2B48D3DCD Time : 0.0 sec. user=mdettweiler [2015-08-04 03:24:34] 929*2^1405248-1 is not prime. Res64: CCF3D78D360B5FA5 Time : 0.0 sec. user=mdettweiler [2015-08-04 03:24:34] 649*2^1405249-1 is not prime. Res64: 706F2D9628E1B400 Time : 0.0 sec. user=mdettweiler [2015-08-04 03:28:44] 667*2^1405249-1 is not prime. Res64: E6DAE66BF61382CD Time : 0.0 sec. user=mdettweiler [2015-08-04 03:28:46] 771*2^1405249-1 is not prime. Res64: D70206E2D4588F82 Time : 0.0 sec. user=mdettweiler [2015-08-04 03:33:37] 817*2^1405249-1 is not prime. Res64: 38099B9C2AB98AEC Time : 0.0 sec. user=mdettweiler [2015-08-04 03:33:38] 835*2^1405249-1 is not prime. Res64: 07D545E3CACF8147 Time : 0.0 sec. user=mdettweiler [2015-08-04 03:34:03] 651*2^1405250-1 is not prime. Res64: C3D3EBAC8C7CCA9B Time : 0.0 sec. user=mdettweiler [2015-08-04 03:34:03] 657*2^1405250-1 is not prime. Res64: F3F6BFD00CC61477 Time : 0.0 sec. user=mdettweiler [2015-08-04 03:42:20] 665*2^1405250-1 is not prime. Res64: CD0425378EEE0992 Time : 0.0 sec. user=mdettweiler [2015-08-04 03:42:21] 747*2^1405250-1 is not prime. Res64: 99C769FA4A0C89BF Time : 0.0 sec. user=mdettweiler [2015-08-04 03:46:35] 827*2^1405250-1 is not prime. Res64: C949C7203319C04A Time : 0.0 sec. user=mdettweiler [2015-08-04 03:46:36] 833*2^1405250-1 is not prime. Res64: EE7A6588B1F04864 Time : 0.0 sec. user=mdettweiler [2015-08-04 03:51:13] 887*2^1405250-1 is not prime. Res64: E3EE0A1033C7C18E Time : 0.0 sec. user=mdettweiler [2015-08-04 03:51:14] 911*2^1405250-1 is not prime. Res64: 31DEBC05D6FFA1E6 Time : 0.0 sec. user=mdettweiler [2015-08-04 03:51:42] 953*2^1405250-1 is not prime. Res64: 6F4058A657E4469E Time : 0.0 sec. user=mdettweiler [2015-08-04 03:51:43] 601*2^1405251-1 is not prime. Res64: 883F513D3DB37641 Time : 0.0 sec. user=mdettweiler [2015-08-04 03:59:56] 613*2^1405251-1 is not prime. Res64: 5898A53C1AB2D26C Time : 0.0 sec. user=mdettweiler [2015-08-04 03:59:57] 741*2^1405251-1 is not prime. Res64: 7FA9090169513325 Time : 0.0 sec. user=mdettweiler [2015-08-04 04:04:27] 781*2^1405251-1 is not prime. Res64: 8C2DBBDB35D262F9 Time : 0.0 sec. user=mdettweiler [2015-08-04 04:04:28] 795*2^1405251-1 is not prime. Res64: 97DD56B6E0893CAC Time : 0.0 sec. user=mdettweiler [2015-08-04 04:09:02] 895*2^1405251-1 is not prime. Res64: 63868D90B269C552 Time : 0.0 sec. user=mdettweiler [2015-08-04 04:09:02] 665*2^1405252-1 is not prime. Res64: CF205D7DA739D236 Time : 0.0 sec. user=mdettweiler [2015-08-04 04:09:16] 677*2^1405252-1 is not prime. Res64: 74F7D28DF70263E6 Time : 0.0 sec. user=mdettweiler [2015-08-04 04:09:16] 855*2^1405252-1 is not prime. Res64: 5BFCD4133A3CD7A6 Time : 0.0 sec. user=mdettweiler [2015-08-04 04:17:34] 873*2^1405252-1 is not prime. Res64: A7CF561B9527B5C5 Time : 0.0 sec. user=mdettweiler [2015-08-04 04:17:34] 923*2^1405252-1 is not prime. Res64: 45F0E86F87E96AE8 Time : 0.0 sec. user=mdettweiler [2015-08-04 04:22:16] 929*2^1405252-1 is not prime. Res64: 10BA36C837A5B5B9 Time : 0.0 sec. user=mdettweiler [2015-08-04 04:22:16] 999*2^1405252-1 is not prime. Res64: 6EE194B4022E65BB Time : 0.0 sec. user=mdettweiler [2015-08-04 04:26:41] 607*2^1405253-1 is not prime. Res64: EF44881307E1125D Time : 0.0 sec. user=mdettweiler [2015-08-04 04:26:42] 691*2^1405253-1 is not prime. Res64: B220ACBB588FCC03 Time : 0.0 sec. user=mdettweiler [2015-08-04 04:26:53] 781*2^1405253-1 is not prime. Res64: 527AC543E620A129 Time : 0.0 sec. user=mdettweiler [2015-08-04 04:26:53] 811*2^1405253-1 is not prime. Res64: 8E0A8F8EDE67D101 Time : 0.0 sec. user=mdettweiler [2015-08-04 04:35:14] 855*2^1405253-1 is not prime. Res64: 172B9841762D579A Time : 0.0 sec. user=mdettweiler [2015-08-04 04:35:14] 885*2^1405253-1 is not prime. Res64: AC4B5D4D70C79C00 Time : 0.0 sec. user=mdettweiler [2015-08-04 04:39:53] 889*2^1405253-1 is not prime. Res64: 919742E6D0DE954E Time : 0.0 sec. user=mdettweiler [2015-08-04 04:39:53] 681*2^1405254-1 is not prime. Res64: F8EC0127696BBD98 Time : 0.0 sec. user=mdettweiler [2015-08-04 04:44:21] 773*2^1405254-1 is not prime. Res64: 974C246D5691EDA8 Time : 0.0 sec. user=mdettweiler [2015-08-04 04:44:21] 797*2^1405254-1 is not prime. Res64: EAA9530DA245A04F Time : 0.0 sec. user=mdettweiler [2015-08-04 04:44:30] 863*2^1405254-1 is not prime. Res64: 0EC71EA8EA72A4F5 Time : 0.0 sec. user=mdettweiler [2015-08-04 04:44:30] 1001*2^1405254-1 is not prime. Res64: 90AD0771FB0CBD83 Time : 0.0 sec. user=mdettweiler [2015-08-04 04:52:51] 645*2^1405255-1 is not prime. Res64: 52EA1E8672057CC5 Time : 0.0 sec. user=mdettweiler [2015-08-04 04:52:51] 673*2^1405255-1 is not prime. Res64: 685A10C1D8B73219 Time : 0.0 sec. user=mdettweiler [2015-08-04 04:57:27] 843*2^1405255-1 is not prime. Res64: 8D6A9AC7EE04922E Time : 0.0 sec. user=mdettweiler [2015-08-04 04:57:27] 873*2^1405255-1 is not prime. Res64: D8BB5E473C022922 Time : 0.0 sec. user=mdettweiler [2015-08-04 05:01:59] 913*2^1405255-1 is not prime. Res64: 2AE96E1242C51F2C Time : 0.0 sec. user=mdettweiler [2015-08-04 05:02:00] 603*2^1405256-1 is not prime. Res64: 2E87579E7CEACF38 Time : 0.0 sec. user=mdettweiler [2015-08-04 05:02:05] 669*2^1405256-1 is not prime. Res64: D91C331BB4B72A9F Time : 0.0 sec. user=mdettweiler [2015-08-04 05:02:07] 827*2^1405256-1 is not prime. Res64: A184B7909DADD031 Time : 0.0 sec. user=mdettweiler [2015-08-04 05:10:27] 839*2^1405256-1 is not prime. Res64: A809C01C45EB88A9 Time : 0.0 sec. user=mdettweiler [2015-08-04 05:10:28] 843*2^1405256-1 is not prime. Res64: 6C31593A6BC692BC Time : 0.0 sec. user=mdettweiler [2015-08-04 05:15:04] 845*2^1405256-1 is not prime. Res64: 3367DBB21BE26459 Time : 0.0 sec. user=mdettweiler [2015-08-04 05:15:04] 917*2^1405256-1 is not prime. Res64: 7CC4238D0246C8C0 Time : 0.0 sec. user=mdettweiler [2015-08-04 05:19:49] 945*2^1405256-1 is not prime. Res64: B176E27CC52D8EAC Time : 0.0 sec. user=mdettweiler [2015-08-04 05:19:49] 957*2^1405256-1 is not prime. Res64: E2892C47CECFDDE6 Time : 0.0 sec. user=mdettweiler [2015-08-04 05:19:49] 963*2^1405256-1 is not prime. Res64: 1E7427683B2119DC Time : 0.0 sec. user=mdettweiler [2015-08-04 05:19:50] 615*2^1405257-1 is not prime. Res64: 052290A44B530431 Time : 0.0 sec. user=mdettweiler [2015-08-04 05:28:01] 669*2^1405257-1 is not prime. Res64: 0FE69DA98AAB291D Time : 0.0 sec. user=mdettweiler [2015-08-04 05:28:02] 699*2^1405257-1 is not prime. Res64: 75CA1B32D7E74F6D Time : 0.0 sec. user=mdettweiler [2015-08-04 05:32:45] 759*2^1405257-1 is not prime. Res64: C6F12710CF1194D6 Time : 0.0 sec. user=mdettweiler [2015-08-04 05:32:46] 781*2^1405257-1 is not prime. Res64: 522F4BBAFE21EAF6 Time : 0.0 sec. user=mdettweiler [2015-08-04 05:37:25] 807*2^1405257-1 is not prime. Res64: 83D44A7A5222CB4C Time : 0.0 sec. user=mdettweiler [2015-08-04 05:37:25] 985*2^1405257-1 is not prime. Res64: 3BAA1742FC7F4972 Time : 0.0 sec. user=mdettweiler [2015-08-04 05:37:31] 647*2^1405258-1 is not prime. Res64: AADA2A9E94198AD8 Time : 0.0 sec. user=mdettweiler [2015-08-04 05:37:31] 831*2^1405258-1 is not prime. Res64: CA94CC807824BEA0 Time : 0.0 sec. user=mdettweiler [2015-08-04 05:45:51] 885*2^1405258-1 is not prime. Res64: 244AE34076EDD9A7 Time : 0.0 sec. user=mdettweiler [2015-08-04 05:45:51] 933*2^1405258-1 is not prime. Res64: 28EAF0488C46EA96 Time : 0.0 sec. user=mdettweiler [2015-08-04 05:50:30] 619*2^1405259-1 is not prime. Res64: D8903EEB70FD7693 Time : 0.0 sec. user=mdettweiler [2015-08-04 05:50:31] 843*2^1405259-1 is not prime. Res64: 651E52F6964B721F Time : 0.0 sec. user=mdettweiler [2015-08-04 05:55:08] 861*2^1405259-1 is not prime. Res64: 719ECCE5A0BE7959 Time : 0.0 sec. user=mdettweiler [2015-08-04 05:55:08] 903*2^1405259-1 is not prime. Res64: 6F5E6CEC1FCFED5F Time : 0.0 sec. user=mdettweiler [2015-08-04 05:55:15] 909*2^1405259-1 is not prime. Res64: C940395EAC78E02D Time : 0.0 sec. user=mdettweiler [2015-08-04 05:55:15] 949*2^1405259-1 is not prime. Res64: 768B90B2F74E52E0 Time : 0.0 sec. user=mdettweiler [2015-08-04 06:03:33] 797*2^1405260-1 is not prime. Res64: 3F2A3F820731A77C Time : 0.0 sec. user=mdettweiler [2015-08-04 06:03:34] 809*2^1405260-1 is not prime. Res64: 90DA4A94F6B42546 Time : 0.0 sec. user=mdettweiler [2015-08-04 06:08:04] 819*2^1405260-1 is not prime. Res64: F2FF3E6FE320B6B7 Time : 0.0 sec. user=mdettweiler [2015-08-04 06:08:05] 959*2^1405260-1 is not prime. Res64: 4B73F6CCB5CC13E4 Time : 0.0 sec. user=mdettweiler [2015-08-04 06:12:50] 965*2^1405260-1 is not prime. Res64: 32A3FBDCFB1634A2 Time : 0.0 sec. user=mdettweiler [2015-08-04 06:12:50] 769*2^1405261-1 is not prime. Res64: D630FBB0970A4BDD Time : 0.0 sec. user=mdettweiler [2015-08-04 06:12:55] 801*2^1405261-1 is not prime. Res64: ADE224568C4FCCF8 Time : 0.0 sec. user=mdettweiler [2015-08-04 06:12:55] 805*2^1405261-1 is not prime. Res64: 786B41D3F5290ADD Time : 0.0 sec. user=mdettweiler [2015-08-04 06:21:17] 819*2^1405261-1 is not prime. Res64: DE964C2D7F7D9F41 Time : 0.0 sec. user=mdettweiler [2015-08-04 06:21:18] 855*2^1405261-1 is not prime. Res64: 31C6A867DBDE573F Time : 0.0 sec. user=mdettweiler [2015-08-04 06:25:51] 859*2^1405261-1 is not prime. Res64: 6A773457DCBC8E19 Time : 0.0 sec. user=mdettweiler [2015-08-04 06:25:52] 895*2^1405261-1 is not prime. Res64: 41B293CE51A893DC Time : 0.0 sec. user=mdettweiler [2015-08-04 06:30:23] 901*2^1405261-1 is not prime. Res64: 0533E7BD65CBF6EA Time : 0.0 sec. user=mdettweiler [2015-08-04 06:30:23] 931*2^1405261-1 is not prime. Res64: 898ADFECCA340379 Time : 0.0 sec. user=mdettweiler [2015-08-04 06:30:33] 999*2^1405261-1 is not prime. Res64: 293A7ADC448B63D8 Time : 0.0 sec. user=mdettweiler [2015-08-04 06:30:34] 693*2^1405262-1 is not prime. Res64: B123B070986AFF3B Time : 0.0 sec. user=mdettweiler [2015-08-04 06:39:19] 711*2^1405262-1 is not prime. Res64: 91FE5E03D1D4BE7B Time : 0.0 sec. user=mdettweiler [2015-08-04 06:39:19] 755*2^1405262-1 is not prime. Res64: 6AB67A3487553EFD Time : 0.0 sec. user=mdettweiler [2015-08-04 06:43:41] 941*2^1405262-1 is not prime. Res64: 61A821AD29867057 Time : 0.0 sec. user=mdettweiler [2015-08-04 06:43:42] 945*2^1405262-1 is not prime. Res64: 6199F6F7955E31A1 Time : 0.0 sec. user=mdettweiler [2015-08-04 06:48:25] 615*2^1405263-1 is not prime. Res64: 412BAC0FDD5CFC71 Time : 0.0 sec. user=mdettweiler [2015-08-04 06:48:25] 685*2^1405263-1 is not prime. Res64: 222338B6231CBFF6 Time : 0.0 sec. user=mdettweiler [2015-08-04 06:48:27] 951*2^1405262-1 is not prime. Res64: 98E72772F3EF75C5 Time : 0.0 sec. user=mdettweiler [2015-08-04 06:48:27] 977*2^1405262-1 is not prime. Res64: EF2ED78050989125 Time : 0.0 sec. user=mdettweiler [2015-08-04 06:56:58] 709*2^1405263-1 is not prime. Res64: 152BA298C678E3DB Time : 0.0 sec. user=mdettweiler [2015-08-04 06:56:59] 919*2^1405263-1 is not prime. Res64: F983743BB702287A Time : 0.0 sec. user=mdettweiler [2015-08-04 07:01:20] 933*2^1405263-1 is not prime. Res64: CB71866636B749E0 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:01:21] 629*2^1405264-1 is not prime. Res64: 7E17957FBE093625 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:06:02] 717*2^1405264-1 is not prime. Res64: B1E5656F4D98F291 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:06:02] 827*2^1405264-1 is not prime. Res64: 290CCEE0A3CE296D Time : 0.0 sec. user=mdettweiler [2015-08-04 07:06:09] 873*2^1405264-1 is not prime. Res64: 39F84C35ED0F3B98 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:06:10] 875*2^1405264-1 is not prime. Res64: CBD4D254359A11D0 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:14:37] 627*2^1405265-1 is not prime. Res64: 998DBA5D37719D7C Time : 0.0 sec. user=mdettweiler [2015-08-04 07:14:38] 691*2^1405265-1 is not prime. Res64: 913172212770DF44 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:19:04] 705*2^1405265-1 is not prime. Res64: 88792B5F65B45326 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:19:04] 721*2^1405265-1 is not prime. Res64: 120BE4CDE1705AEE Time : 0.0 sec. user=mdettweiler [2015-08-04 07:23:42] 729*2^1405265-1 is not prime. Res64: E1A09DDBB61448B4 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:23:42] 789*2^1405265-1 is not prime. Res64: 57ED82E0DAACBC57 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:23:50] 861*2^1405265-1 is not prime. Res64: FEF997B987981E08 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:23:50] 889*2^1405265-1 is not prime. Res64: 32EA98933B13C11B Time : 0.0 sec. user=mdettweiler [2015-08-04 07:32:22] 957*2^1405265-1 is not prime. Res64: 6347ED4301CB5B12 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:32:22] 969*2^1405265-1 is not prime. Res64: 6787BD9148CD1681 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:36:53] 981*2^1405265-1 is not prime. Res64: 7A8AAC732526FF33 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:36:53] 647*2^1405266-1 is not prime. Res64: 6F3AB0612767B271 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:41:19] 683*2^1405266-1 is not prime. Res64: EF44CAB106D8197B Time : 0.0 sec. user=mdettweiler [2015-08-04 07:41:19] 723*2^1405266-1 is not prime. Res64: B847E69960DE69D5 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:41:26] 741*2^1405266-1 is not prime. Res64: 59C26300BAE56C12 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:41:27] 821*2^1405266-1 is not prime. Res64: EF7879EC2C709EB8 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:49:55] 851*2^1405266-1 is not prime. Res64: 9D640887A9907AFA Time : 0.0 sec. user=mdettweiler [2015-08-04 07:49:56] 933*2^1405266-1 is not prime. Res64: 016101F6ECFB5D98 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:54:32] 971*2^1405266-1 is not prime. Res64: 4A77922899D747D1 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:54:32] 983*2^1405266-1 is not prime. Res64: 6ADA6CA4F2327104 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:58:59] 1001*2^1405266-1 is not prime. Res64: 4820DC0432051DE2 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:59:00] 609*2^1405267-1 is not prime. Res64: 7CF975ACE67D756F Time : 0.0 sec. user=mdettweiler [2015-08-04 07:59:10] 645*2^1405267-1 is not prime. Res64: 93295F635CC2D9B5 Time : 0.0 sec. user=mdettweiler [2015-08-04 07:59:10] 705*2^1405267-1 is not prime. Res64: 39A1A1E25BC48E71 Time : 0.0 sec. user=mdettweiler [2015-08-04 08:07:37] 759*2^1405267-1 is not prime. Res64: 8DB228F0D5C035D4 Time : 0.0 sec. user=mdettweiler [2015-08-04 08:07:38] 859*2^1405267-1 is not prime. Res64: 7209B80D2301B305 Time : 0.0 sec. user=mdettweiler [2015-08-04 08:12:13] 861*2^1405267-1 is not prime. Res64: F635F1341CA704B9 Time : 0.0 sec. user=mdettweiler [2015-08-04 08:12:14] 909*2^1405267-1 is not prime. Res64: 7F6509B3A5B12EA9 Time : 0.0 sec. user=mdettweiler [2015-08-04 08:16:44] 931*2^1405267-1 is not prime. Res64: B76F30D6206D5B4C Time : 0.0 sec. user=mdettweiler [2015-08-04 08:16:44] 961*2^1405267-1 is not prime. Res64: 6744927FF0B11D94 Time : 0.0 sec. user=mdettweiler [2015-08-04 08:16:55] 957*2^1405268-1 is not prime. Res64: BF6C21FE05932D3D Time : 0.0 sec. user=mdettweiler [2015-08-04 08:16:56] 969*2^1405268-1 is not prime. Res64: 9F625E54DB4478FB Time : 0.0 sec. user=mdettweiler [2015-08-04 08:25:18] 907*2^1405269-1 is not prime. Res64: 7A825C88CEADC7B0 Time : 0.0 sec. user=mdettweiler [2015-08-04 08:25:18] 927*2^1405269-1 is not prime. Res64: 16D80AEAD23C0BEA Time : 0.0 sec. user=mdettweiler [2015-08-04 08:29:55] 991*2^1405269-1 is not prime. Res64: 5AF6B88FB0CCAD91 Time : 0.0 sec. user=mdettweiler [2015-08-04 08:29:55] 999*2^1405269-1 is not prime. Res64: 192C48C5C51D0507 Time : 0.0 sec. user=mdettweiler [2015-08-04 08:34:23] 653*2^1405270-1 is not prime. Res64: 225DCD1D2EFE0D91 Time : 0.0 sec. user=mdettweiler [2015-08-04 08:34:23] 681*2^1405270-1 is not prime. Res64: E66ACBF0A0935E40 Time : 0.0 sec. user=mdettweiler [2015-08-04 08:34:31] 873*2^1405270-1 is not prime. Res64: 8D9B6E0356C9C25F Time : 0.0 sec. user=mdettweiler [2015-08-04 08:34:32] 923*2^1405270-1 is not prime. Res64: B0CA4DAD6EAFC7ED Time : 0.0 sec. user=mdettweiler [2015-08-04 08:43:11] 1001*2^1405270-1 is not prime. Res64: 21C9BDFF0674ED1B Time : 0.0 sec. user=mdettweiler [2015-08-04 08:43:11] 619*2^1405271-1 is not prime. Res64: 40E9DF6B3717A861 Time : 0.0 sec. user=mdettweiler [2015-08-04 08:47:34] 789*2^1405271-1 is not prime. Res64: 711E7D0400FF45E2 Time : 0.0 sec. user=mdettweiler [2015-08-04 08:47:34] 813*2^1405271-1 is not prime. Res64: 111D528A1BEE8169 Time : 0.0 sec. user=mdettweiler [2015-08-04 08:52:03] 819*2^1405271-1 is not prime. Res64: 5E20EDC08D2B55A3 Time : 0.0 sec. user=mdettweiler [2015-08-04 08:52:03] 943*2^1405271-1 is not prime. Res64: 97244E5440F66A99 Time : 0.0 sec. user=mdettweiler [2015-08-04 08:52:10] 955*2^1405271-1 is not prime. Res64: 9D1133E0432F23E5 Time : 0.0 sec. user=mdettweiler [2015-08-04 08:52:11] 969*2^1405271-1 is not prime. Res64: 250A880C851C5BA2 Time : 0.0 sec. user=mdettweiler [2015-08-04 09:00:53] 693*2^1405272-1 is not prime. Res64: 003047A09DA35A45 Time : 0.0 sec. user=mdettweiler [2015-08-04 09:00:54] 873*2^1405272-1 is not prime. Res64: 787D437185894971 Time : 0.0 sec. user=mdettweiler [2015-08-04 09:05:23] 887*2^1405272-1 is not prime. Res64: 09DD56E857D0217F Time : 0.0 sec. user=mdettweiler [2015-08-04 09:05:24] 923*2^1405272-1 is not prime. Res64: EDD86C91A6955CCC Time : 0.0 sec. user=mdettweiler [2015-08-04 09:09:52] 999*2^1405272-1 is not prime. Res64: 5463C0307F658EA6 Time : 0.0 sec. user=mdettweiler [2015-08-04 09:09:53] 789*2^1405273-1 is not prime. Res64: 6E2C3AC28D67AD50 Time : 0.0 sec. user=mdettweiler [2015-08-04 09:09:53] 933*2^1405272-1 is not prime. Res64: 0129FC4F77DD3818 Time : 0.0 sec. user=mdettweiler [2015-08-04 09:09:54] 945*2^1405272-1 is not prime. Res64: 03FD3537B9F1AB9F Time : 0.0 sec. user=mdettweiler [2015-08-04 09:18:32] 885*2^1405273-1 is not prime. Res64: 194AD6606F010742 Time : 0.0 sec. user=mdettweiler [2015-08-04 09:18:32] 889*2^1405273-1 is not prime. Res64: 1C25B0B6FACA50DC Time : 0.0 sec. user=mdettweiler [2015-08-04 09:23:15] 945*2^1405273-1 is not prime. Res64: DAF26C4AA955C7C5 Time : 0.0 sec. user=mdettweiler [2015-08-04 09:23:15] 957*2^1405273-1 is not prime. Res64: 473D86C42E97FD66 Time : 0.0 sec. user=mdettweiler [2015-08-04 09:27:38] 623*2^1405274-1 is not prime. Res64: CD2791F051F12D4E Time : 0.0 sec. user=mdettweiler [2015-08-04 09:27:39] 641*2^1405274-1 is not prime. Res64: 43E5E1B4DEFE51E4 Time : 0.0 sec. user=mdettweiler [2015-08-04 09:27:48] 999*2^1405273-1 is not prime. Res64: 69449C730B273FF6 Time : 0.0 sec. user=mdettweiler [2015-08-04 09:27:49] 615*2^1405274-1 is not prime. Res64: 0E091350A6C8C499 Time : 0.0 sec. user=mdettweiler [2015-08-04 09:36:20] 665*2^1405274-1 is not prime. Res64: AC0E8A465AC8EA1C Time : 0.0 sec. user=mdettweiler [2015-08-04 09:36:20] 743*2^1405274-1 is not prime. Res64: 540DBF868405E046 Time : 0.0 sec. user=mdettweiler [2015-08-04 09:40:58] 773*2^1405274-1 is not prime. Res64: 2C192C04B62F12A0 Time : 0.0 sec. user=mdettweiler [2015-08-04 09:40:59] 873*2^1405274-1 is not prime. Res64: 131B921DC5A4A62B Time : 0.0 sec. user=mdettweiler [2015-08-04 09:45:13] 885*2^1405274-1 is not prime. Res64: 517689101FD29C15 Time : 0.0 sec. user=mdettweiler [2015-08-04 09:45:14] 619*2^1405275-1 is not prime. Res64: 60B701D7E79AA226 Time : 0.0 sec. user=mdettweiler [2015-08-04 09:45:30] 735*2^1405275-1 is not prime. Res64: 309B685D0B2D6B24 Time : 0.0 sec. user=mdettweiler [2015-08-04 09:45:30] 753*2^1405275-1 is not prime. Res64: 123B1BBEEF028C03 Time : 0.0 sec. user=mdettweiler [2015-08-04 09:54:00] 765*2^1405275-1 is not prime. Res64: 5834B292BB10D37C Time : 0.0 sec. user=mdettweiler [2015-08-04 09:54:00] 629*2^1405276-1 is not prime. Res64: 9ABA10371DBD4A66 Time : 0.0 sec. user=mdettweiler [2015-08-04 09:58:36] 647*2^1405276-1 is not prime. Res64: 80EA5AD0D127B2A6 Time : 0.0 sec. user=mdettweiler [2015-08-04 09:58:37] 723*2^1405276-1 is not prime. Res64: BC358669BEA53460 Time : 0.0 sec. user=mdettweiler [2015-08-04 10:02:58] 899*2^1405276-1 is not prime. Res64: A78EB48F1E0407BD Time : 0.0 sec. user=mdettweiler [2015-08-04 10:02:59] 939*2^1405276-1 is not prime. Res64: F33D7D3B5CE31A99 Time : 0.0 sec. user=mdettweiler [2015-08-04 10:03:08] 987*2^1405276-1 is not prime. Res64: 316B323B04A518C9 Time : 0.0 sec. user=mdettweiler [2015-08-04 10:03:10] 729*2^1405277-1 is not prime. Res64: 55956828369FEE7A Time : 0.0 sec. user=mdettweiler [2015-08-04 10:11:47] 759*2^1405277-1 is not prime. Res64: 3CAA76474DB08C6E Time : 0.0 sec. user=mdettweiler [2015-08-04 10:11:48] 831*2^1405277-1 is not prime. Res64: 9CE4D84ADC8136FD Time : 0.0 sec. user=mdettweiler [2015-08-04 10:16:14] 879*2^1405277-1 is not prime. Res64: 89FD461B04841226 Time : 0.0 sec. user=mdettweiler [2015-08-04 10:16:15] 967*2^1405277-1 is not prime. Res64: 6195E3093AF54C56 Time : 0.0 sec. user=mdettweiler [2015-08-04 10:20:52] 933*2^1405278-1 is not prime. Res64: 2931E915F0539628 Time : 0.0 sec. user=mdettweiler [2015-08-04 10:20:52] 957*2^1405278-1 is not prime. Res64: F51CFC0FA5489073 Time : 0.0 sec. user=mdettweiler [2015-08-04 10:20:56] 707*2^1405278-1 is not prime. Res64: ECE280CC415F3064 Time : 0.0 sec. user=mdettweiler [2015-08-04 10:20:56] 713*2^1405278-1 is not prime. Res64: D43479F262CC3092 Time : 0.0 sec. user=mdettweiler [2015-08-04 10:29:27] 1001*2^1405278-1 is not prime. Res64: 1D1D39BE60F31EDF Time : 0.0 sec. user=mdettweiler [2015-08-04 10:29:27] 619*2^1405279-1 is not prime. Res64: 44FA4FB98108B18F Time : 0.0 sec. user=mdettweiler [2015-08-04 10:33:54] 661*2^1405279-1 is not prime. Res64: 138CD2BECB7436E0 Time : 0.0 sec. user=mdettweiler [2015-08-04 10:33:55] 723*2^1405279-1 is not prime. Res64: A138C11E38240C34 Time : 0.0 sec. user=mdettweiler [2015-08-04 10:38:28] 741*2^1405279-1 is not prime. Res64: E27051D945E54F65 Time : 0.0 sec. user=mdettweiler [2015-08-04 10:38:29] 765*2^1405279-1 is not prime. Res64: F8F210AA77978672 Time : 0.0 sec. user=mdettweiler [2015-08-04 10:38:40] 769*2^1405279-1 is not prime. Res64: 1879292727CEFD91 Time : 0.0 sec. user=mdettweiler [2015-08-04 10:38:40] 793*2^1405279-1 is not prime. Res64: 696EB6E7C01388C9 Time : 0.0 sec. user=mdettweiler [2015-08-04 10:47:08] 859*2^1405279-1 is not prime. Res64: FA5BDFA4E130FCA7 Time : 0.0 sec. user=mdettweiler [2015-08-04 10:47:09] 891*2^1405279-1 is not prime. Res64: F0E00BC0E775F0B4 Time : 0.0 sec. user=mdettweiler [2015-08-04 10:51:40] 919*2^1405279-1 is not prime. Res64: A641C587DDDF3D73 Time : 0.0 sec. user=mdettweiler [2015-08-04 10:51:40] 975*2^1405279-1 is not prime. Res64: 7C2E499E54C325F8 Time : 0.0 sec. user=mdettweiler [2015-08-04 10:56:10] 993*2^1405279-1 is not prime. Res64: 13E0FC9A35FAAA3E Time : 0.0 sec. user=mdettweiler [2015-08-04 10:56:10] 603*2^1405280-1 is not prime. Res64: DDC54C953B03B3B9 Time : 0.0 sec. user=mdettweiler [2015-08-04 10:56:18] 605*2^1405280-1 is not prime. Res64: 2D5CEE519FB6967F Time : 0.0 sec. user=mdettweiler [2015-08-04 10:56:18] 609*2^1405280-1 is not prime. Res64: F9C35F37BB50B66B Time : 0.0 sec. user=mdettweiler [2015-08-04 11:05:07] 665*2^1405280-1 is not prime. Res64: DA7E8EFEFE5AC71F Time : 0.0 sec. user=mdettweiler [2015-08-04 11:05:08] 753*2^1405280-1 is not prime. Res64: C0A65A2EB1DC2040 Time : 0.0 sec. user=mdettweiler [2015-08-04 11:09:54] 773*2^1405280-1 is not prime. Res64: A201DDB8C719B783 Time : 0.0 sec. user=mdettweiler [2015-08-04 11:09:54] 857*2^1405280-1 is not prime. Res64: 9C3567FCB4AD2FAE Time : 0.0 sec. user=mdettweiler [2015-08-04 11:14:34] 875*2^1405280-1 is not prime. Res64: A8977110AD4A960B Time : 0.0 sec. user=mdettweiler [2015-08-04 11:14:34] 999*2^1405280-1 is not prime. Res64: 4D6CF028C32118EA Time : 0.0 sec. user=mdettweiler [2015-08-04 11:14:35] 705*2^1405281-1 is not prime. Res64: B8CD04DCD02C46FD Time : 0.0 sec. user=mdettweiler [2015-08-04 11:14:35] 727*2^1405281-1 is not prime. Res64: 1433480DF6B55F02 Time : 0.0 sec. user=mdettweiler [2015-08-04 11:24:14] 735*2^1405281-1 is not prime. Res64: 1544B9927BFA1D5F Time : 0.0 sec. user=mdettweiler [2015-08-04 11:24:15] 741*2^1405281-1 is not prime. Res64: 61EDE01E951C5CF9 Time : 0.0 sec. user=mdettweiler [2015-08-04 11:29:22] 909*2^1405281-1 is not prime. Res64: 3E3538BB7608D4EA Time : 0.0 sec. user=mdettweiler [2015-08-04 11:29:22] 999*2^1405281-1 is not prime. Res64: 8B623D8DE4826BDB Time : 0.0 sec. user=mdettweiler [2015-08-04 11:34:10] 645*2^1405282-1 is not prime. Res64: 75600506A1CF9D04 Time : 0.0 sec. user=mdettweiler [2015-08-04 11:34:10] 701*2^1405282-1 is not prime. Res64: 00427B5CC2258D03 Time : 0.0 sec. user=mdettweiler [2015-08-04 11:34:21] 617*2^1405282-1 is not prime. Res64: D51E12D3C9C60CDE Time : 0.0 sec. user=mdettweiler [2015-08-04 11:34:22] 635*2^1405282-1 is not prime. Res64: 145615DC942A423E Time : 0.0 sec. user=mdettweiler [2015-08-04 11:43:41] 741*2^1405282-1 is not prime. Res64: DB5DEAE72EC9C098 Time : 0.0 sec. user=mdettweiler [2015-08-04 11:43:41] 833*2^1405282-1 is not prime. Res64: 72FE1D88596BB767 Time : 0.0 sec. user=mdettweiler [2015-08-04 11:48:23] 855*2^1405282-1 is not prime. Res64: D8BF70CCBAB3440B Time : 0.0 sec. user=mdettweiler [2015-08-04 11:48:24] 917*2^1405282-1 is not prime. Res64: 4E676525CB09E7FE Time : 0.0 sec. user=mdettweiler [2015-08-04 11:52:58] 951*2^1405282-1 is not prime. Res64: C3CE7B60B5EE5C96 Time : 0.0 sec. user=mdettweiler [2015-08-04 11:52:58] 621*2^1405283-1 is not prime. Res64: C1459E0E5484EC5A Time : 0.0 sec. user=mdettweiler [2015-08-04 11:53:08] 631*2^1405283-1 is not prime. Res64: 97C6B8C670ABA670 Time : 0.0 sec. user=mdettweiler [2015-08-04 11:53:09] 939*2^1405283-1 is not prime. Res64: A7F4B710A86EFEDA Time : 0.0 sec. user=mdettweiler [2015-08-04 12:02:07] 973*2^1405283-1 is not prime. Res64: 6B657ACE9C3A4EB2 Time : 0.0 sec. user=mdettweiler [2015-08-04 12:02:07] 737*2^1405284-1 is not prime. Res64: D0C02A8BEA5B89C5 Time : 0.0 sec. user=mdettweiler [2015-08-04 12:06:52] 893*2^1405284-1 is not prime. Res64: 74F03BD1BABFD864 Time : 0.0 sec. user=mdettweiler [2015-08-04 12:06:52] 625*2^1405285-1 is not prime. Res64: CC1BB3CD33EA3574 Time : 0.0 sec. user=mdettweiler [2015-08-04 12:11:12] 645*2^1405285-1 is not prime. Res64: 6081C419A8B00853 Time : 0.0 sec. user=mdettweiler [2015-08-04 12:11:12] 685*2^1405285-1 is not prime. Res64: 1AE3C3FE3FC49103 Time : 0.0 sec. user=mdettweiler [2015-08-04 12:11:20] 819*2^1405285-1 is not prime. Res64: 5A83D1EC34C876C3 Time : 0.0 sec. user=mdettweiler [2015-08-04 12:11:20] 939*2^1405285-1 is not prime. Res64: F9A0E5550A9EF013 Time : 0.0 sec. user=mdettweiler [2015-08-04 12:19:49] 951*2^1405285-1 is not prime. Res64: 08C60E52768B51C9 Time : 0.0 sec. user=mdettweiler [2015-08-04 12:19:49] 999*2^1405285-1 is not prime. Res64: B38050B9D1E917E5 Time : 0.0 sec. user=mdettweiler [2015-08-04 12:24:29] 641*2^1405286-1 is not prime. Res64: B9E664FD17A45008 Time : 0.0 sec. user=mdettweiler [2015-08-04 12:24:30] 711*2^1405286-1 is not prime. Res64: BE5E3D85857F8033 Time : 0.0 sec. user=mdettweiler [2015-08-04 12:29:00] 851*2^1405286-1 is not prime. Res64: CAB684D7A38FEDCB Time : 0.0 sec. user=mdettweiler [2015-08-04 12:29:00] 867*2^1405286-1 is not prime. Res64: A6637BE3EEBE6B6D Time : 0.0 sec. user=mdettweiler [2015-08-04 12:29:01] 873*2^1405286-1 is not prime. Res64: D7793951E0D364DB Time : 0.0 sec. user=mdettweiler [2015-08-04 12:29:02] 893*2^1405286-1 is not prime. Res64: 67884268776E8C93 Time : 0.0 sec. user=mdettweiler [2015-08-04 12:37:31] 1001*2^1405286-1 is not prime. Res64: 3C0F0B8C248680ED Time : 0.0 sec. user=mdettweiler [2015-08-04 12:37:31] 619*2^1405287-1 is not prime. Res64: B90E2C4B9D04C542 Time : 0.0 sec. user=mdettweiler [2015-08-04 12:42:09] 685*2^1405287-1 is not prime. Res64: 9853C7F53EE746C0 Time : 0.0 sec. user=mdettweiler [2015-08-04 12:42:10] 693*2^1405287-1 is not prime. Res64: FA2845F54595B45D Time : 0.0 sec. user=mdettweiler [2015-08-04 12:46:45] 705*2^1405287-1 is not prime. Res64: 3ACDE1A608303830 Time : 0.0 sec. user=mdettweiler [2015-08-04 12:46:45] 805*2^1405287-1 is not prime. Res64: 22CEBA347CDF1283 Time : 0.0 sec. user=mdettweiler [2015-08-04 12:46:48] 861*2^1405287-1 is not prime. Res64: 4F0BA88DFE98FBC8 Time : 0.0 sec. user=mdettweiler [2015-08-04 12:46:49] 901*2^1405287-1 is not prime. Res64: 9D7859EC01EA08AD Time : 0.0 sec. user=mdettweiler [2015-08-04 12:55:18] 963*2^1405287-1 is not prime. Res64: 705D49920D4164C6 Time : 0.0 sec. user=mdettweiler [2015-08-04 12:55:18] 985*2^1405287-1 is not prime. Res64: 7F05EBE6CB2E5767 Time : 0.0 sec. user=mdettweiler [2015-08-04 12:59:46] 635*2^1405288-1 is not prime. Res64: 3C61867B34475E0A Time : 0.0 sec. user=mdettweiler [2015-08-04 12:59:46] 813*2^1405288-1 is not prime. Res64: 937A0B28094EE6DF Time : 0.0 sec. user=mdettweiler [2015-08-04 13:04:23] 839*2^1405288-1 is not prime. Res64: 198B10FF416DB9F3 Time : 0.0 sec. user=mdettweiler [2015-08-04 13:04:24] 849*2^1405288-1 is not prime. Res64: E530E53A7A6A9500 Time : 0.0 sec. user=mdettweiler [2015-08-04 13:04:29] 993*2^1405288-1 is not prime. Res64: B0626734C48558A9 Time : 0.0 sec. user=mdettweiler [2015-08-04 13:04:30] 631*2^1405289-1 is not prime. Res64: 274FCC2E3D4960E6 Time : 0.0 sec. user=mdettweiler [2015-08-04 13:12:58] 879*2^1405289-1 is not prime. Res64: 9EF844F58529A37C Time : 0.0 sec. user=mdettweiler [2015-08-04 13:12:58] 909*2^1405289-1 is not prime. Res64: DDCD6A09A1B94E68 Time : 0.0 sec. user=mdettweiler [2015-08-04 13:17:26] 633*2^1405290-1 is not prime. Res64: E3D9A9A4BCC2AF1B Time : 0.0 sec. user=mdettweiler [2015-08-04 13:17:26] 885*2^1405290-1 is not prime. Res64: EAE3367A2E58ABF2 Time : 0.0 sec. user=mdettweiler [2015-08-04 13:22:32] 601*2^1405291-1 is not prime. Res64: 2F8F16887E348524 Time : 0.0 sec. user=mdettweiler [2015-08-04 13:22:32] 771*2^1405291-1 is not prime. Res64: 7C8B4FC3A164E73E Time : 0.0 sec. user=mdettweiler [2015-08-04 13:22:42] 921*2^1405290-1 is not prime. Res64: 0E80C637DFAA90B5 Time : 0.0 sec. user=mdettweiler [2015-08-04 13:22:43] 1001*2^1405290-1 is not prime. Res64: FEB4FCE8677339F5 Time : 0.0 sec. user=mdettweiler [2015-08-04 13:30:41] 871*2^1405291-1 is not prime. Res64: 0137A16F539437AA Time : 0.0 sec. user=mdettweiler [2015-08-04 13:30:42] 895*2^1405291-1 is not prime. Res64: E1F19CC112816D67 Time : 0.0 sec. user=mdettweiler [2015-08-04 13:35:18] 725*2^1405292-1 is not prime. Res64: DB7C9F4EAA53ABD9 Time : 0.0 sec. user=mdettweiler [2015-08-04 13:35:18] 803*2^1405292-1 is not prime. Res64: 196910CE6374F675 Time : 0.0 sec. user=mdettweiler [2015-08-04 13:40:11] 837*2^1405292-1 is not prime. Res64: F3D0E20A45A10F8A Time : 0.0 sec. user=mdettweiler [2015-08-04 13:40:11] 873*2^1405292-1 is not prime. Res64: AB04E694C1ECF04B Time : 0.0 sec. user=mdettweiler [2015-08-04 13:40:18] 903*2^1405292-1 is not prime. Res64: E3265CA04D9E288A Time : 0.0 sec. user=mdettweiler [2015-08-04 13:40:19] 657*2^1405293-1 is not prime. Res64: E5D2A9FACCCCA8C5 Time : 0.0 sec. user=mdettweiler [2015-08-04 13:48:31] 781*2^1405293-1 is not prime. Res64: 582CABD253D83645 Time : 0.0 sec. user=mdettweiler [2015-08-04 13:48:31] 867*2^1405293-1 is not prime. Res64: F53F5301F4D68A30 Time : 0.0 sec. user=mdettweiler [2015-08-04 13:53:30] 895*2^1405293-1 is not prime. Res64: 3543C2F8A847C300 Time : 0.0 sec. user=mdettweiler [2015-08-04 13:53:31] 955*2^1405293-1 is not prime. Res64: DD40AC3E0FE4F0D6 Time : 0.0 sec. user=mdettweiler [2015-08-04 13:57:59] 681*2^1405294-1 is not prime. Res64: 4FBF5872DC55B6C7 Time : 0.0 sec. user=mdettweiler [2015-08-04 13:57:59] 669*2^1405295-1 is not prime. Res64: AA9E0FCF3C4F5B84 Time : 0.0 sec. user=mdettweiler [2015-08-04 13:58:30] 605*2^1405294-1 is not prime. Res64: 637A0F39B5086350 Time : 0.0 sec. user=mdettweiler [2015-08-04 13:58:30] 623*2^1405294-1 is not prime. Res64: B45B365BDBE07A04 Time : 0.0 sec. user=mdettweiler [2015-08-04 14:06:29] 741*2^1405295-1 is not prime. Res64: 69574B3F2F9FECE2 Time : 0.0 sec. user=mdettweiler [2015-08-04 14:06:30] 843*2^1405295-1 is not prime. Res64: 9DDF7CD99859DF16 Time : 0.0 sec. user=mdettweiler [2015-08-04 14:11:39] 883*2^1405295-1 is not prime. Res64: E9C42D3E033AED5C Time : 0.0 sec. user=mdettweiler [2015-08-04 14:11:40] 885*2^1405295-1 is not prime. Res64: B4D4821580A507DC Time : 0.0 sec. user=mdettweiler [2015-08-04 14:16:00] 683*2^1405296-1 is not prime. Res64: 6832CC521180DBCB Time : 0.0 sec. user=mdettweiler [2015-08-04 14:16:00] 699*2^1405296-1 is not prime. Res64: BFF9AD2410ADF9C3 Time : 0.0 sec. user=mdettweiler [2015-08-04 14:16:30] 849*2^1405296-1 is not prime. Res64: 69A9986C4FBFFF5C Time : 0.0 sec. user=mdettweiler [2015-08-04 14:16:31] 899*2^1405296-1 is not prime. Res64: D982747C995FF9E0 Time : 0.0 sec. user=mdettweiler [2015-08-04 14:24:27] 905*2^1405296-1 is not prime. Res64: 3F522646C7502D3A Time : 0.0 sec. user=mdettweiler [2015-08-04 14:24:28] 923*2^1405296-1 is not prime. Res64: 734A2D1F3BC6B005 Time : 0.0 sec. user=mdettweiler [2015-08-04 14:29:33] 975*2^1405296-1 is not prime. Res64: 0073D54291C5DA3D Time : 0.0 sec. user=mdettweiler [2015-08-04 14:29:34] 983*2^1405296-1 is not prime. Res64: CFC10926895F232F Time : 0.0 sec. user=mdettweiler [2015-08-04 14:33:52] 661*2^1405297-1 is not prime. Res64: EAA4C411166D9621 Time : 0.0 sec. user=mdettweiler [2015-08-04 14:33:53] 687*2^1405297-1 is not prime. Res64: 86AEFDB7A40EDC67 Time : 0.0 sec. user=mdettweiler [2015-08-04 14:34:13] 861*2^1405297-1 is not prime. Res64: 9E37CCE9B65EE5B1 Time : 0.0 sec. user=mdettweiler [2015-08-04 14:34:13] 871*2^1405297-1 is not prime. Res64: CF9B49B879CC7D29 Time : 0.0 sec. user=mdettweiler [2015-08-04 14:42:06] 885*2^1405297-1 is not prime. Res64: F16AA0A0121C89C5 Time : 0.0 sec. user=mdettweiler [2015-08-04 14:42:07] 617*2^1405298-1 is not prime. Res64: 8547E30E057D52BA Time : 0.0 sec. user=mdettweiler [2015-08-04 14:47:26] 665*2^1405298-1 is not prime. Res64: 84D81F4DBD1CE119 Time : 0.0 sec. user=mdettweiler [2015-08-04 14:47:27] 747*2^1405298-1 is not prime. Res64: 14B7771A671D845E Time : 0.0 sec. user=mdettweiler [2015-08-04 14:51:56] 833*2^1405298-1 is not prime. Res64: D48782BEE834BEAB Time : 0.0 sec. user=mdettweiler [2015-08-04 14:51:57] 837*2^1405298-1 is not prime. Res64: 7D3E6C1925431F62 Time : 0.0 sec. user=mdettweiler [2015-08-04 14:52:18] 615*2^1405299-1 is not prime. Res64: 60D64FA26EE4207E Time : 0.0 sec. user=mdettweiler [2015-08-04 14:52:18] 825*2^1405299-1 is not prime. Res64: 2C05F70F92D0E3C6 Time : 0.0 sec. user=mdettweiler [2015-08-04 15:00:16] 879*2^1405299-1 is not prime. Res64: 326A2F77346C20CD Time : 0.0 sec. user=mdettweiler [2015-08-04 15:00:17] 885*2^1405299-1 is not prime. Res64: 774C194CDDD7F830 Time : 0.0 sec. user=mdettweiler [2015-08-04 15:05:46] 999*2^1405299-1 is not prime. Res64: 673D02B22BC23AEC Time : 0.0 sec. user=mdettweiler [2015-08-04 15:05:47] 675*2^1405300-1 is not prime. Res64: B3EF646BC380BBE2 Time : 0.0 sec. user=mdettweiler [2015-08-04 15:10:21] 693*2^1405300-1 is not prime. Res64: AB06D3E8708FD4A4 Time : 0.0 sec. user=mdettweiler [2015-08-04 15:10:21] 987*2^1405300-1 is not prime. Res64: 31686767F3AC2A6A Time : 0.0 sec. user=mdettweiler [2015-08-04 15:10:43] 757*2^1405301-1 is not prime. Res64: AB187FDD8DFCCD0F Time : 0.0 sec. user=mdettweiler [2015-08-04 15:10:43] 889*2^1405301-1 is not prime. Res64: B79AA1BFFE0B26F3 Time : 0.0 sec. user=mdettweiler [2015-08-04 15:18:41] 945*2^1405301-1 is not prime. Res64: 5D1B666820B0F368 Time : 0.0 sec. user=mdettweiler [2015-08-04 15:18:42] 955*2^1405301-1 is not prime. Res64: A026DDA9A59C00D4 Time : 0.0 sec. user=mdettweiler [2015-08-04 15:23:56] 987*2^1405301-1 is not prime. Res64: 861990450AD618D4 Time : 0.0 sec. user=mdettweiler [2015-08-04 15:23:57] 615*2^1405302-1 is not prime. Res64: 9AAEBC3B1777E63B Time : 0.0 sec. user=mdettweiler [2015-08-04 15:28:12] 671*2^1405302-1 is not prime. Res64: 8A9B3C97E7427DC9 Time : 0.0 sec. user=mdettweiler [2015-08-04 15:28:12] 681*2^1405302-1 is not prime. Res64: 453248EC7BBBA42B Time : 0.0 sec. user=mdettweiler [2015-08-04 15:28:29] 731*2^1405302-1 is not prime. Res64: 13C765A0C46E6E6B Time : 0.0 sec. user=mdettweiler [2015-08-04 15:28:29] 761*2^1405302-1 is not prime. Res64: 38A987FF3A5EBB33 Time : 0.0 sec. user=mdettweiler [2015-08-04 15:36:18] 801*2^1405302-1 is not prime. Res64: F3D6CE6419BFCE35 Time : 0.0 sec. user=mdettweiler [2015-08-04 15:36:19] 875*2^1405302-1 is not prime. Res64: 1FA6017B4285D360 Time : 0.0 sec. user=mdettweiler [2015-08-04 15:41:42] 965*2^1405302-1 is not prime. Res64: 221A03F074500E27 Time : 0.0 sec. user=mdettweiler [2015-08-04 15:41:42] 621*2^1405303-1 is not prime. Res64: A236E4A9090F5CEE Time : 0.0 sec. user=mdettweiler [2015-08-04 15:45:55] 685*2^1405303-1 is not prime. Res64: F6D1308BC08B6735 Time : 0.0 sec. user=mdettweiler [2015-08-04 15:45:55] 703*2^1405303-1 is not prime. Res64: ECFDE8146D201930 Time : 0.0 sec. user=mdettweiler [2015-08-04 15:46:11] 789*2^1405303-1 is not prime. Res64: 809ECC830694B1FF Time : 0.0 sec. user=mdettweiler [2015-08-04 15:46:11] 811*2^1405303-1 is not prime. Res64: 2CF93730A0228C7E Time : 0.0 sec. user=mdettweiler [2015-08-04 15:54:02] 831*2^1405303-1 is not prime. Res64: 618AC132F019F72C Time : 0.0 sec. user=mdettweiler [2015-08-04 15:54:02] 849*2^1405303-1 is not prime. Res64: 07056143ADA1641B Time : 0.0 sec. user=mdettweiler [2015-08-04 15:59:26] 873*2^1405303-1 is not prime. Res64: A9C57F8A4976825A Time : 0.0 sec. user=mdettweiler [2015-08-04 15:59:26] 913*2^1405303-1 is not prime. Res64: 13993949B3175219 Time : 0.0 sec. user=mdettweiler [2015-08-04 16:03:47] 943*2^1405303-1 is not prime. Res64: 7AF4AC8456588DFA Time : 0.0 sec. user=mdettweiler [2015-08-04 16:03:48] 973*2^1405303-1 is not prime. Res64: 9814F47A9C9B21C6 Time : 0.0 sec. user=mdettweiler [2015-08-04 16:03:59] 645*2^1405304-1 is not prime. Res64: A7909121FDFDC1B0 Time : 0.0 sec. user=mdettweiler [2015-08-04 16:04:00] 657*2^1405304-1 is not prime. Res64: 3E1881BEA628C80F Time : 0.0 sec. user=mdettweiler [2015-08-04 16:12:12] 785*2^1405304-1 is not prime. Res64: 53E6575638102784 Time : 0.0 sec. user=mdettweiler [2015-08-04 16:12:12] 935*2^1405304-1 is not prime. Res64: 66CB74F41A101D2F Time : 0.0 sec. user=S_K_ [2015-08-04 16:12:37] 797*2^1405302-1 is not prime. Res64: 8FCDAAADA17D2B17 Time : 0.0 sec. user=mdettweiler [2015-08-04 16:17:51] 601*2^1405305-1 is not prime. Res64: DB5DFCAB1EF872C8 Time : 0.0 sec. user=mdettweiler [2015-08-04 16:17:51] 765*2^1405305-1 is not prime. Res64: CFF1BC5CB8665806 Time : 0.0 sec. user=mdettweiler [2015-08-04 16:22:20] 837*2^1405305-1 is not prime. Res64: AFEA873928D14D7C Time : 0.0 sec. user=mdettweiler [2015-08-04 16:22:20] 861*2^1405305-1 is not prime. Res64: 30E7A59B23CED216 Time : 0.0 sec. user=mdettweiler [2015-08-04 16:22:29] 915*2^1405305-1 is not prime. Res64: 5D6F3D5B1081B876 Time : 0.0 sec. user=mdettweiler [2015-08-04 16:22:30] 951*2^1405305-1 is not prime. Res64: E9C3AE3E7678ED88 Time : 0.0 sec. user=mdettweiler [2015-08-04 16:30:43] 651*2^1405306-1 is not prime. Res64: 34E0D7B5AB430425 Time : 0.0 sec. user=mdettweiler [2015-08-04 16:30:43] 675*2^1405306-1 is not prime. Res64: 4A37EAB0211CE749 Time : 0.0 sec. user=mdettweiler [2015-08-04 16:36:17] 843*2^1405306-1 is not prime. Res64: CB8FA6D04038FC16 Time : 0.0 sec. user=mdettweiler [2015-08-04 16:36:17] 945*2^1405306-1 is not prime. Res64: 1F49AB9E75B1E008 Time : 0.0 sec. user=mdettweiler [2015-08-04 16:41:56] 609*2^1405307-1 is not prime. Res64: DD29427A34B2221A Time : 0.0 sec. user=mdettweiler [2015-08-04 16:41:57] 655*2^1405307-1 is not prime. Res64: A3E3943849623E09 Time : 0.0 sec. user=mdettweiler [2015-08-04 16:42:01] 693*2^1405307-1 is not prime. Res64: B01148DD968C1AF2 Time : 0.0 sec. user=mdettweiler [2015-08-04 16:42:01] 733*2^1405307-1 is not prime. Res64: 2322B32B60568F77 Time : 0.0 sec. user=mdettweiler [2015-08-04 16:52:03] 843*2^1405307-1 is not prime. Res64: CBECC1B9E608E708 Time : 0.0 sec. user=mdettweiler [2015-08-04 16:52:04] 939*2^1405307-1 is not prime. Res64: E13BEFD6A82714F6 Time : 0.0 sec. user=mdettweiler [2015-08-04 16:58:04] 981*2^1405307-1 is not prime. Res64: 03D5325226BD47D7 Time : 0.0 sec. user=mdettweiler [2015-08-04 16:58:04] 985*2^1405307-1 is not prime. Res64: 247C7A2D1D24E892 Time : 0.0 sec. user=mdettweiler [2015-08-04 17:02:49] 605*2^1405308-1 is not prime. Res64: 7B502709A187BE83 Time : 0.0 sec. user=mdettweiler [2015-08-04 17:02:50] 689*2^1405308-1 is not prime. Res64: 63450A4847A2FC5E Time : 0.0 sec. user=mdettweiler [2015-08-04 17:03:04] 725*2^1405308-1 is not prime. Res64: 4F67C493B7FBDEAC Time : 0.0 sec. user=mdettweiler [2015-08-04 17:03:05] 825*2^1405308-1 is not prime. Res64: CD563C3A8BECF064 Time : 0.0 sec. user=S_K_ [2015-08-04 17:07:23] 777*2^1405306-1 is not prime. Res64: FF67A11CFA61DA6D Time : 0.0 sec. user=mdettweiler [2015-08-04 17:10:55] 601*2^1405309-1 is not prime. Res64: 11F4A614A28BE53C Time : 0.0 sec. user=mdettweiler [2015-08-04 17:10:56] 691*2^1405309-1 is not prime. Res64: E753FF95DA10FCE8 Time : 0.0 sec. user=mdettweiler [2015-08-04 17:16:12] 877*2^1405309-1 is not prime. Res64: 9D6DD374F2E5AE50 Time : 0.0 sec. user=mdettweiler [2015-08-04 17:16:12] 885*2^1405309-1 is not prime. Res64: 772DF01088E73F99 Time : 0.0 sec. user=mdettweiler [2015-08-04 17:20:51] 997*2^1405309-1 is not prime. Res64: B22675B495CE1C43 Time : 0.0 sec. user=mdettweiler [2015-08-04 17:20:51] 665*2^1405310-1 is not prime. Res64: 7D103FB3C2A5B0AD Time : 0.0 sec. user=mdettweiler [2015-08-04 17:20:55] 675*2^1405310-1 is not prime. Res64: AD59028B179711CE Time : 0.0 sec. user=mdettweiler [2015-08-04 17:20:55] 753*2^1405310-1 is not prime. Res64: AA3A0975AB06B805 Time : 0.0 sec. user=mdettweiler [2015-08-04 17:28:34] 935*2^1405310-1 is not prime. Res64: B63BDE3A614EEA26 Time : 0.0 sec. user=mdettweiler [2015-08-04 17:28:35] 951*2^1405310-1 is not prime. Res64: 1A9BB7D97F577D41 Time : 0.0 sec. user=mdettweiler [2015-08-04 17:33:46] 649*2^1405311-1 is not prime. Res64: 7313840AEBC8A45C Time : 0.0 sec. user=mdettweiler [2015-08-04 17:33:46] 679*2^1405311-1 is not prime. Res64: AB9821EBBCF76E29 Time : 0.0 sec. user=mdettweiler [2015-08-04 17:38:29] 739*2^1405311-1 is not prime. Res64: A0A0CAB3CE25BB3B Time : 0.0 sec. user=mdettweiler [2015-08-04 17:38:30] 805*2^1405311-1 is not prime. Res64: 901F8826F0940525 Time : 0.0 sec. user=mdettweiler [2015-08-04 17:38:36] 859*2^1405311-1 is not prime. Res64: 8E909D9985BADA86 Time : 0.0 sec. user=mdettweiler [2015-08-04 17:38:37] 865*2^1405311-1 is not prime. Res64: DECF97A7DF9B1FA2 Time : 0.0 sec. user=mdettweiler [2015-08-04 17:46:08] 895*2^1405311-1 is not prime. Res64: 1C850578D167CA6E Time : 0.0 sec. user=mdettweiler [2015-08-04 17:46:09] 913*2^1405311-1 is not prime. Res64: CFA01F3BD314E9F1 Time : 0.0 sec. user=mdettweiler [2015-08-04 17:51:25] 921*2^1405311-1 is not prime. Res64: 619A58D785B54E8A Time : 0.0 sec. user=mdettweiler [2015-08-04 17:51:25] 951*2^1405311-1 is not prime. Res64: F74069447E55D918 Time : 0.0 sec. user=mdettweiler [2015-08-04 17:56:14] 693*2^1405312-1 is not prime. Res64: 7E8148FB2E6AFD38 Time : 0.0 sec. user=mdettweiler [2015-08-04 17:56:14] 903*2^1405312-1 is not prime. Res64: 293DC431343FFC4B Time : 0.0 sec. user=mdettweiler [2015-08-04 17:56:29] 957*2^1405312-1 is not prime. Res64: 1DA6A40728B9318E Time : 0.0 sec. user=mdettweiler [2015-08-04 17:56:29] 657*2^1405313-1 is not prime. Res64: 38598D9CBE012BB3 Time : 0.0 sec. user=mdettweiler [2015-08-04 18:03:51] 837*2^1405313-1 is not prime. Res64: 1D77063397B79248 Time : 0.0 sec. user=mdettweiler [2015-08-04 18:03:52] 957*2^1405313-1 is not prime. Res64: 9886007F1F337CBF Time : 0.0 sec. user=mdettweiler [2015-08-04 18:09:09] 633*2^1405314-1 is not prime. Res64: F9DEDA3D842C5D6B Time : 0.0 sec. user=mdettweiler [2015-08-04 18:09:09] 725*2^1405314-1 is not prime. Res64: 37A26094DEF23D2F Time : 0.0 sec. user=mdettweiler [2015-08-04 18:13:59] 807*2^1405314-1 is not prime. Res64: BC5459F82F3499DC Time : 0.0 sec. user=mdettweiler [2015-08-04 18:13:59] 825*2^1405314-1 is not prime. Res64: 0F6234097C90B3EC Time : 0.0 sec. user=mdettweiler [2015-08-04 18:14:05] 851*2^1405314-1 is not prime. Res64: 3A6A833127201219 Time : 0.0 sec. user=mdettweiler [2015-08-04 18:14:06] 609*2^1405315-1 is not prime. Res64: 968011637F53D15D Time : 0.0 sec. user=mdettweiler [2015-08-04 18:21:35] 663*2^1405315-1 is not prime. Res64: 25AD596D0AA0F971 Time : 0.0 sec. user=mdettweiler [2015-08-04 18:21:36] 843*2^1405315-1 is not prime. Res64: 6207AF2631A5282F Time : 0.0 sec. user=mdettweiler [2015-08-04 18:26:58] 919*2^1405315-1 is not prime. Res64: A906E205A5F26912 Time : 0.0 sec. user=mdettweiler [2015-08-04 18:26:58] 609*2^1405316-1 is not prime. Res64: EB07E0F6FAAF9472 Time : 0.0 sec. user=mdettweiler [2015-08-04 18:31:49] 855*2^1405316-1 is not prime. Res64: FD85411DCDFBA804 Time : 0.0 sec. user=mdettweiler [2015-08-04 18:31:50] 873*2^1405316-1 is not prime. Res64: 07F85B0FDB7BDDB0 Time : 0.0 sec. user=mdettweiler [2015-08-04 18:31:50] 669*2^1405316-1 is not prime. Res64: 9FD83E45D5EF1BB8 Time : 0.0 sec. user=mdettweiler [2015-08-04 18:31:50] 777*2^1405316-1 is not prime. Res64: 87E4CF79AEC185C5 Time : 0.0 sec. user=mdettweiler [2015-08-04 18:39:13] 923*2^1405316-1 is not prime. Res64: B0EB76A226965CB8 Time : 0.0 sec. user=mdettweiler [2015-08-04 18:39:13] 609*2^1405317-1 is not prime. Res64: B351F64791A54AF0 Time : 0.0 sec. user=mdettweiler [2015-08-04 18:44:33] 625*2^1405317-1 is not prime. Res64: E8E45DEE38CE0A8F Time : 0.0 sec. user=mdettweiler [2015-08-04 18:44:34] 661*2^1405317-1 is not prime. Res64: 691D5C36D3E349A7 Time : 0.0 sec. user=mdettweiler [2015-08-04 18:49:30] 669*2^1405317-1 is not prime. Res64: 3B9C78753E06527B Time : 0.0 sec. user=mdettweiler [2015-08-04 18:49:30] 711*2^1405317-1 is not prime. Res64: BEB722B58B6FDA4D Time : 0.0 sec. user=mdettweiler [2015-08-04 18:49:40] 735*2^1405317-1 is not prime. Res64: D79C00E4ADBADE04 Time : 0.0 sec. user=mdettweiler [2015-08-04 18:49:40] 759*2^1405317-1 is not prime. Res64: 606D95865F5EFC51 Time : 0.0 sec. user=mdettweiler [2015-08-04 18:56:55] 835*2^1405317-1 is not prime. Res64: EE4FA91F16EB6D6A Time : 0.0 sec. user=mdettweiler [2015-08-04 18:56:55] 885*2^1405317-1 is not prime. Res64: B11CBC8060D95A47 Time : 0.0 sec. user=S_K_ [2015-08-04 18:58:19] 871*2^1405315-1 is not prime. Res64: 0A32C065315E4C8E Time : 0.0 sec. user=mdettweiler [2015-08-04 19:02:10] 605*2^1405318-1 is not prime. Res64: 39191B77CFAC0378 Time : 0.0 sec. user=mdettweiler [2015-08-04 19:02:11] 677*2^1405318-1 is not prime. Res64: 1A271C15F9CD1032 Time : 0.0 sec. user=mdettweiler [2015-08-04 19:07:07] 723*2^1405318-1 is not prime. Res64: 12B2143A5EB53946 Time : 0.0 sec. user=mdettweiler [2015-08-04 19:07:08] 791*2^1405318-1 is not prime. Res64: A2BE320669FEFB67 Time : 0.0 sec. user=mdettweiler [2015-08-04 19:07:21] 863*2^1405318-1 is not prime. Res64: B9F0F2096A536415 Time : 0.0 sec. user=mdettweiler [2015-08-04 19:07:21] 891*2^1405318-1 is not prime. Res64: 9190ACC66EB29FE2 Time : 0.0 sec. user=mdettweiler [2015-08-04 19:14:45] 951*2^1405318-1 is not prime. Res64: 926E6ABF63C1E1E4 Time : 0.0 sec. user=mdettweiler [2015-08-04 19:14:48] 603*2^1405319-1 is not prime. Res64: 3D9E3AC2718481E4 Time : 0.0 sec. user=mdettweiler [2015-08-04 19:20:15] 609*2^1405319-1 is not prime. Res64: 01ADE93FE838120A Time : 0.0 sec. user=mdettweiler [2015-08-04 19:20:15] 615*2^1405319-1 is not prime. Res64: 4AEE46A07673E002 Time : 0.0 sec. user=mdettweiler [2015-08-04 19:24:48] 675*2^1405319-1 is not prime. Res64: 23DBCB292BD09FEC Time : 0.0 sec. user=mdettweiler [2015-08-04 19:24:48] 703*2^1405319-1 is not prime. Res64: 8B6370CE2C9B261F Time : 0.0 sec. user=mdettweiler [2015-08-04 19:25:08] 859*2^1405319-1 is not prime. Res64: A079E01A54DCBB3F Time : 0.0 sec. user=mdettweiler [2015-08-04 19:25:09] 885*2^1405319-1 is not prime. Res64: 5D4FF8EFE2D8FB92 Time : 0.0 sec. user=mdettweiler [2015-08-04 19:32:33] 973*2^1405319-1 is not prime. Res64: DD27D23EE40E2F55 Time : 0.0 sec. user=mdettweiler [2015-08-04 19:32:33] 669*2^1405320-1 is not prime. Res64: 61359ED3C924B7E9 Time : 0.0 sec. user=mdettweiler [2015-08-04 19:37:59] 707*2^1405320-1 is not prime. Res64: F08D7196AE0525FA Time : 0.0 sec. user=mdettweiler [2015-08-04 19:37:59] 723*2^1405320-1 is not prime. Res64: C1D8758C38EE6857 Time : 0.0 sec. user=mdettweiler [2015-08-04 19:42:36] 735*2^1405320-1 is not prime. Res64: 7ECA698004AF8797 Time : 0.0 sec. user=mdettweiler [2015-08-04 19:42:36] 737*2^1405320-1 is not prime. Res64: 3BB7D65493424F0F Time : 0.0 sec. user=mdettweiler [2015-08-04 19:43:14] 819*2^1405320-1 is not prime. Res64: A74CB70A8A0C57B1 Time : 0.0 sec. user=mdettweiler [2015-08-04 19:43:14] 857*2^1405320-1 is not prime. Res64: 57CE7B305ACF4F27 Time : 0.0 sec. user=mdettweiler [2015-08-04 19:51:06] 705*2^1405321-1 is not prime. Res64: A458D5E7C0FE6B1F Time : 0.0 sec. user=mdettweiler [2015-08-04 19:51:06] 747*2^1405321-1 is not prime. Res64: D7BC18B9488D6A17 Time : 0.0 sec. user=mdettweiler [2015-08-04 19:55:41] 751*2^1405321-1 is not prime. Res64: E99EAA71A775A739 Time : 0.0 sec. user=mdettweiler [2015-08-04 19:55:41] 771*2^1405321-1 is not prime. Res64: 391121547424D3B2 Time : 0.0 sec. user=mdettweiler [2015-08-04 20:00:09] 819*2^1405321-1 is not prime. Res64: 76C40E174BD0E777 Time : 0.0 sec. user=mdettweiler [2015-08-04 20:00:10] 987*2^1405321-1 is not prime. Res64: 0AAD09CE9EC3DF9D Time : 0.0 sec. user=mdettweiler [2015-08-04 20:01:02] 623*2^1405322-1 is not prime. Res64: 91B8336A52B5DE3A Time : 0.0 sec. user=mdettweiler [2015-08-04 20:01:03] 705*2^1405322-1 is not prime. Res64: BA2D306527DE1B1F Time : 0.0 sec. user=mdettweiler [2015-08-04 20:08:53] 731*2^1405322-1 is not prime. Res64: 857FDF218E5E6A70 Time : 0.0 sec. user=mdettweiler [2015-08-04 20:08:54] 875*2^1405322-1 is not prime. Res64: 9297FE447106EEE3 Time : 0.0 sec. user=mdettweiler [2015-08-04 20:13:18] 917*2^1405322-1 is not prime. Res64: C05F42FDF0620207 Time : 0.0 sec. user=mdettweiler [2015-08-04 20:13:18] 945*2^1405322-1 is not prime. Res64: 1FE9B517B8C348C7 Time : 0.0 sec. user=mdettweiler [2015-08-04 20:17:43] 963*2^1405322-1 is not prime. Res64: 2C4E6C0CF0F32E5B Time : 0.0 sec. user=mdettweiler [2015-08-04 20:17:43] 679*2^1405323-1 is not prime. Res64: D0146E170E920A9C Time : 0.0 sec. user=mdettweiler [2015-08-04 20:18:46] 819*2^1405323-1 is not prime. Res64: BAF44380839DD7CC Time : 0.0 sec. user=mdettweiler [2015-08-04 20:18:46] 871*2^1405323-1 is not prime. Res64: B07F45D80F74D6A6 Time : 0.0 sec. user=mdettweiler [2015-08-04 20:26:50] 901*2^1405323-1 is not prime. Res64: 41C41F6E6CDF832F Time : 0.0 sec. user=mdettweiler [2015-08-04 20:26:50] 945*2^1405323-1 is not prime. Res64: 3BA22B687192F1C9 Time : 0.0 sec. user=mdettweiler [2015-08-04 20:30:51] 707*2^1405324-1 is not prime. Res64: 99B6B62961B76A66 Time : 0.0 sec. user=mdettweiler [2015-08-04 20:30:51] 717*2^1405324-1 is not prime. Res64: 71BDA40FCBE4F346 Time : 0.0 sec. user=mdettweiler [2015-08-04 20:35:20] 785*2^1405324-1 is not prime. Res64: 1D388FA3EB20CCD2 Time : 0.0 sec. user=mdettweiler [2015-08-04 20:35:21] 857*2^1405324-1 is not prime. Res64: 74D6C4D234D1A264 Time : 0.0 sec. user=mdettweiler [2015-08-04 20:36:22] 909*2^1405324-1 is not prime. Res64: 1B724B9206E6DA72 Time : 0.0 sec. user=mdettweiler [2015-08-04 20:36:22] 953*2^1405324-1 is not prime. Res64: 48AC75E949CF4C7C Time : 0.0 sec. user=mdettweiler [2015-08-04 20:44:38] 983*2^1405324-1 is not prime. Res64: 38BFE8AB60191F52 Time : 0.0 sec. user=mdettweiler [2015-08-04 20:44:38] 741*2^1405325-1 is not prime. Res64: 781969331862C3BF Time : 0.0 sec. user=mdettweiler [2015-08-04 20:48:35] 865*2^1405325-1 is not prime. Res64: 7F8ACAA5025705D5 Time : 0.0 sec. user=mdettweiler [2015-08-04 20:48:36] 867*2^1405325-1 is not prime. Res64: F81206EE749244CF Time : 0.0 sec. user=mdettweiler [2015-08-04 20:53:05] 955*2^1405325-1 is not prime. Res64: 24634860E0F1CE34 Time : 0.0 sec. user=mdettweiler [2015-08-04 20:53:05] 695*2^1405326-1 is not prime. Res64: 7EA8A485F485E3CB Time : 0.0 sec. user=mdettweiler [2015-08-04 20:54:08] 861*2^1405326-1 is not prime. Res64: 9734A31C70948FDF Time : 0.0 sec. user=mdettweiler [2015-08-04 20:54:08] 873*2^1405326-1 is not prime. Res64: C91F448CFBF0C325 Time : 0.0 sec. user=mdettweiler [2015-08-04 21:02:19] 619*2^1405327-1 is not prime. Res64: BB118A682DA98EE7 Time : 0.0 sec. user=mdettweiler [2015-08-04 21:02:20] 649*2^1405327-1 is not prime. Res64: CE59F08089B742E4 Time : 0.0 sec. user=mdettweiler [2015-08-04 21:06:34] 769*2^1405327-1 is not prime. Res64: BB0ADA78A26E8280 Time : 0.0 sec. user=mdettweiler [2015-08-04 21:06:35] 843*2^1405327-1 is not prime. Res64: 9D7FB7C12C0050CF Time : 0.0 sec. user=mdettweiler [2015-08-04 21:11:24] 933*2^1405327-1 is not prime. Res64: 60633CF242BEB9FD Time : 0.0 sec. user=mdettweiler [2015-08-04 21:11:25] 961*2^1405327-1 is not prime. Res64: 4BC289728E893618 Time : 0.0 sec. user=mdettweiler [2015-08-04 21:12:32] 979*2^1405327-1 is not prime. Res64: 5314DB70ED267C04 Time : 0.0 sec. user=mdettweiler [2015-08-04 21:12:33] 657*2^1405328-1 is not prime. Res64: A1ADDBDD4CD6B94F Time : 0.0 sec. user=mdettweiler [2015-08-04 21:21:04] 669*2^1405328-1 is not prime. Res64: 8CAEAD7525F11AEC Time : 0.0 sec. user=mdettweiler [2015-08-04 21:21:05] 759*2^1405328-1 is not prime. Res64: D6704324AD8DF011 Time : 0.0 sec. user=mdettweiler [2015-08-04 21:25:18] 767*2^1405328-1 is not prime. Res64: 84BE816EB6F5A154 Time : 0.0 sec. user=mdettweiler [2015-08-04 21:25:19] 797*2^1405328-1 is not prime. Res64: FFEE000A16F8F42E Time : 0.0 sec. user=mdettweiler [2015-08-04 21:30:31] 827*2^1405328-1 is not prime. Res64: 40100FE1AE459FC8 Time : 0.0 sec. user=mdettweiler [2015-08-04 21:30:31] 839*2^1405328-1 is not prime. Res64: 24C56CA04A9DAA98 Time : 0.0 sec. user=mdettweiler [2015-08-04 21:31:50] 845*2^1405328-1 is not prime. Res64: 53D339AFEE222D21 Time : 0.0 sec. user=mdettweiler [2015-08-04 21:31:51] 993*2^1405328-1 is not prime. Res64: 9BF667FE9EDFC4CD Time : 0.0 sec. user=mdettweiler [2015-08-04 21:39:57] 995*2^1405328-1 is not prime. Res64: 7080492D535B991A Time : 0.0 sec. user=mdettweiler [2015-08-04 21:39:57] 615*2^1405329-1 is not prime. Res64: 97212278BB0A955D Time : 0.0 sec. user=mdettweiler [2015-08-04 21:44:14] 675*2^1405329-1 is not prime. Res64: FD79C87112E3F785 Time : 0.0 sec. user=mdettweiler [2015-08-04 21:44:14] 747*2^1405329-1 is not prime. Res64: BC1B528D34877AF4 Time : 0.0 sec. user=mdettweiler [2015-08-04 21:49:35] 781*2^1405329-1 is not prime. Res64: C353A7FE78780F70 Time : 0.0 sec. user=mdettweiler [2015-08-04 21:49:36] 889*2^1405329-1 is not prime. Res64: 36675CB938F8D703 Time : 0.0 sec. user=mdettweiler [2015-08-04 21:50:40] 975*2^1405329-1 is not prime. Res64: CFCDC14B84068D4D Time : 0.0 sec. user=mdettweiler [2015-08-04 21:50:40] 603*2^1405330-1 is not prime. Res64: CF9212AD9DC68E3B Time : 0.0 sec. user=mdettweiler [2015-08-04 21:58:47] 695*2^1405330-1 is not prime. Res64: 69A28B524A9AA449 Time : 0.0 sec. user=mdettweiler [2015-08-04 21:58:48] 735*2^1405330-1 is not prime. Res64: 8F34FAC6EBB5B48F Time : 0.0 sec. user=mdettweiler [2015-08-04 22:03:15] 619*2^1405331-1 is not prime. Res64: 4C469FC3EF2C9EA5 Time : 0.0 sec. user=mdettweiler [2015-08-04 22:03:16] 649*2^1405331-1 is not prime. Res64: 72ED19E284626848 Time : 0.0 sec. user=mdettweiler [2015-08-04 22:08:14] 679*2^1405331-1 is not prime. Res64: 2E0F731A0F20623C Time : 0.0 sec. user=mdettweiler [2015-08-04 22:08:14] 735*2^1405331-1 is not prime. Res64: DD15081EC4A58C82 Time : 0.0 sec. user=mdettweiler [2015-08-04 22:09:27] 871*2^1405331-1 is not prime. Res64: C99C6D1E1DDEDFAB Time : 0.0 sec. user=mdettweiler [2015-08-04 22:09:28] 883*2^1405331-1 is not prime. Res64: 77AAD8A74718901E Time : 0.0 sec. user=mdettweiler [2015-08-04 22:17:45] 931*2^1405331-1 is not prime. Res64: E02931C3ADE038B9 Time : 0.0 sec. user=mdettweiler [2015-08-04 22:17:46] 939*2^1405331-1 is not prime. Res64: 9C2D6EAB52E1B563 Time : 0.0 sec. user=mdettweiler [2015-08-04 22:22:03] 623*2^1405332-1 is not prime. Res64: 7B6AA0499B1570E3 Time : 0.0 sec. user=mdettweiler [2015-08-04 22:22:04] 633*2^1405332-1 is not prime. Res64: 1A64E64CE4FF71AF Time : 0.0 sec. user=mdettweiler [2015-08-04 22:26:59] 719*2^1405332-1 is not prime. Res64: F52CC172C054BF3C Time : 0.0 sec. user=mdettweiler [2015-08-04 22:26:59] 749*2^1405332-1 is not prime. Res64: 6EE627967E25FAF1 Time : 0.0 sec. user=mdettweiler [2015-08-04 22:28:19] 615*2^1405333-1 is not prime. Res64: 8C35643C49699E22 Time : 0.0 sec. user=mdettweiler [2015-08-04 22:28:19] 639*2^1405333-1 is not prime. Res64: 84EEA02229FDE5B8 Time : 0.0 sec. user=mdettweiler [2015-08-04 22:36:32] 801*2^1405333-1 is not prime. Res64: 7CC99116824EC704 Time : 0.0 sec. user=mdettweiler [2015-08-04 22:36:33] 811*2^1405333-1 is not prime. Res64: 8DCDF3B08AD5F780 Time : 0.0 sec. user=mdettweiler [2015-08-04 22:40:50] 817*2^1405333-1 is not prime. Res64: 46596FC9ED53B1AD Time : 0.0 sec. user=mdettweiler [2015-08-04 22:40:51] 859*2^1405333-1 is not prime. Res64: B90FD3E7A7346770 Time : 0.0 sec. user=mdettweiler [2015-08-04 22:45:37] 861*2^1405333-1 is not prime. Res64: 70CD79452F082091 Time : 0.0 sec. user=mdettweiler [2015-08-04 22:45:37] 867*2^1405333-1 is not prime. Res64: F888D026B12CB221 Time : 0.0 sec. user=mdettweiler [2015-08-04 22:47:03] 635*2^1405334-1 is not prime. Res64: 2A11E40467E74351 Time : 0.0 sec. user=mdettweiler [2015-08-04 22:47:03] 641*2^1405334-1 is not prime. Res64: 95F521200E2B87CB Time : 0.0 sec. user=mdettweiler [2015-08-04 22:55:16] 671*2^1405334-1 is not prime. Res64: 9F4F5ADE74F3A14D Time : 0.0 sec. user=mdettweiler [2015-08-04 22:55:16] 743*2^1405334-1 is not prime. Res64: 4DE5AF9C35C10A67 Time : 0.0 sec. user=mdettweiler [2015-08-04 22:59:32] 921*2^1405334-1 is not prime. Res64: FD3D76897E3CA122 Time : 0.0 sec. user=mdettweiler [2015-08-04 22:59:33] 987*2^1405334-1 is not prime. Res64: CC15AEC54F6D1811 Time : 0.0 sec. user=mdettweiler [2015-08-04 23:04:16] 1001*2^1405334-1 is not prime. Res64: 1645A2A183CC5F09 Time : 0.0 sec. user=mdettweiler [2015-08-04 23:04:17] 961*2^1405335-1 is not prime. Res64: 981A910DA632D8F8 Time : 0.0 sec. user=mdettweiler [2015-08-04 23:05:40] 603*2^1405336-1 is not prime. Res64: 39C55486CB800B0F Time : 0.0 sec. user=mdettweiler [2015-08-04 23:05:41] 677*2^1405336-1 is not prime. Res64: 6536F926A7A7D3F0 Time : 0.0 sec. user=mdettweiler [2015-08-04 23:14:07] 849*2^1405336-1 is not prime. Res64: EFC0EEC70EFCDD48 Time : 0.0 sec. user=mdettweiler [2015-08-04 23:14:07] 873*2^1405336-1 is not prime. Res64: 981BFCF6C7F1C99E Time : 0.0 sec. user=mdettweiler [2015-08-04 23:18:28] 903*2^1405336-1 is not prime. Res64: 76175417F1E0F648 Time : 0.0 sec. user=mdettweiler [2015-08-04 23:18:29] 999*2^1405336-1 is not prime. Res64: 56B7C5BD63CE0702 Time : 0.0 sec. user=mdettweiler [2015-08-04 23:23:23] 619*2^1405337-1 is not prime. Res64: 873197D7103A525B Time : 0.0 sec. user=mdettweiler [2015-08-04 23:23:23] 717*2^1405337-1 is not prime. Res64: 8FA84F6888B5C9F7 Time : 0.0 sec. user=mdettweiler [2015-08-04 23:24:49] 735*2^1405337-1 is not prime. Res64: B6DE0C956131B1A0 Time : 0.0 sec. user=mdettweiler [2015-08-04 23:24:50] 829*2^1405337-1 is not prime. Res64: 15BB44AB8F492F9C Time : 0.0 sec. user=mdettweiler [2015-08-04 23:32:37] 885*2^1405337-1 is not prime. Res64: 6E98BE4F75F5CB44 Time : 0.0 sec. user=mdettweiler [2015-08-04 23:32:38] 901*2^1405337-1 is not prime. Res64: 9A0E0BA965FA14CC Time : 0.0 sec. user=mdettweiler [2015-08-04 23:36:33] 979*2^1405337-1 is not prime. Res64: 8FDC37AB4417183B Time : 0.0 sec. user=mdettweiler [2015-08-04 23:36:33] 997*2^1405337-1 is not prime. Res64: F4811A3AC0206572 Time : 0.0 sec. user=mdettweiler [2015-08-04 23:40:58] 755*2^1405338-1 is not prime. Res64: 594D1C30B96FFE94 Time : 0.0 sec. user=mdettweiler [2015-08-04 23:40:58] 777*2^1405338-1 is not prime. Res64: 0CE0ACAD2E6870A8 Time : 0.0 sec. user=mdettweiler [2015-08-04 23:42:26] 905*2^1405338-1 is not prime. Res64: BEEF35822E1DD052 Time : 0.0 sec. user=mdettweiler [2015-08-04 23:42:26] 927*2^1405338-1 is not prime. Res64: ABA2AC325C780C87 Time : 0.0 sec. user=mdettweiler [2015-08-04 23:50:12] 963*2^1405338-1 is not prime. Res64: BED70D3CD8C412F9 Time : 0.0 sec. user=mdettweiler [2015-08-04 23:50:12] 603*2^1405339-1 is not prime. Res64: 1AFEDEA17ABA1E2F Time : 0.0 sec. user=mdettweiler [2015-08-04 23:54:00] 649*2^1405339-1 is not prime. Res64: FC17F1FA4AD0C1BB Time : 0.0 sec. user=mdettweiler [2015-08-04 23:54:01] 843*2^1405339-1 is not prime. Res64: 34302CAE044B5FD4 Time : 0.0 sec. user=mdettweiler [2015-08-04 23:58:46] 891*2^1405339-1 is not prime. Res64: 67E8C485A65EEDAE Time : 0.0 sec. user=mdettweiler [2015-08-04 23:58:47] 975*2^1405339-1 is not prime. Res64: 7E2BAA858A667120 Time : 0.0 sec. user=mdettweiler [2015-08-05 00:00:25] 615*2^1405340-1 is not prime. Res64: 5A03260196549AD2 Time : 0.0 sec. user=mdettweiler [2015-08-05 00:00:26] 743*2^1405340-1 is not prime. Res64: 7881864E72A1DE91 Time : 0.0 sec.