user=mdettweiler [2012-01-18 00:04:54] 645*2^1001752-1 is not prime. Res64: 6D38C78B823251D2 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:05:22] 783*2^1001743-1 is not prime. Res64: E55F43046FE15728 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:05:22] 793*2^1001743-1 is not prime. Res64: 292924AF1508A268 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:05:34] 849*2^1001752-1 is not prime. Res64: 5536C04C1046A452 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:07:43] 981*2^1001750-1 is not prime. Res64: 9F311B90BDD766AF Time : 0.0 sec. user=mdettweiler [2012-01-18 00:07:44] 615*2^1001751-1 is not prime. Res64: 2860A88AE7D6A8E3 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:08:43] 935*2^1001750-1 is not prime. Res64: 1EDA0C8BF41D531D Time : 0.0 sec. user=mdettweiler [2012-01-18 00:08:44] 945*2^1001750-1 is not prime. Res64: E9488C64EAA95FBF Time : 0.0 sec. user=mdettweiler [2012-01-18 00:12:39] 721*2^1001753-1 is not prime. Res64: CCA9126C910243CB Time : 0.0 sec. user=mdettweiler [2012-01-18 00:13:18] 867*2^1001753-1 is not prime. Res64: 4A389B685B93DACC Time : 0.0 sec. user=mdettweiler [2012-01-18 00:14:41] 781*2^1001751-1 is not prime. Res64: FB0342E4453A7971 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:14:42] 861*2^1001751-1 is not prime. Res64: 12C0E68400619106 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:17:12] 653*2^1001752-1 is not prime. Res64: 7D85179315558103 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:17:12] 677*2^1001752-1 is not prime. Res64: 4C1F1D38F688588A Time : 0.0 sec. user=mdettweiler [2012-01-18 00:20:18] 825*2^1001754-1 is not prime. Res64: 0A4B1C25A4F680B8 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:20:57] 923*2^1001754-1 is not prime. Res64: 6CE778C1248D1606 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:28:35] 825*2^1001756-1 is not prime. Res64: 3D45FB43176DEC06 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:29:43] 973*2^1001755-1 is not prime. Res64: FB6ADB754B091C88 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:29:57] 677*2^1001754-1 is not prime. Res64: BE7F61B2F03F67EB Time : 0.0 sec. user=mdettweiler [2012-01-18 00:29:57] 807*2^1001754-1 is not prime. Res64: 68C14E86FF08E9EE Time : 0.0 sec. user=mdettweiler [2012-01-18 00:30:20] 983*2^1001744-1 is not prime. Res64: CFCC457A409C171E Time : 0.0 sec. user=mdettweiler [2012-01-18 00:30:21] 609*2^1001745-1 is not prime. Res64: F72650C4015AD1A8 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:31:09] 955*2^1001753-1 is not prime. Res64: DC2D2A8952DCC399 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:31:10] 657*2^1001754-1 is not prime. Res64: 6996997A749DEDA9 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:35:49] 723*2^1001755-1 is not prime. Res64: 0635DA77A5918372 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:35:49] 765*2^1001755-1 is not prime. Res64: 886C721D875EA3CF Time : 0.0 sec. user=mdettweiler [2012-01-18 00:36:13] 839*2^1001756-1 is not prime. Res64: 50182E044431A526 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:37:01] 601*2^1001747-1 is not prime. Res64: F1FA2979CB89FD29 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:37:01] 673*2^1001747-1 is not prime. Res64: 182A5CEAA418916E Time : 0.0 sec. user=mdettweiler [2012-01-18 00:37:21] 855*2^1001756-1 is not prime. Res64: 50AEF4C0A922A485 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:40:37] 801*2^1001755-1 is not prime. Res64: 918988447F6DC511 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:40:37] 961*2^1001755-1 is not prime. Res64: BC3D1FB409D57084 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:43:50] 713*2^1001758-1 is not prime. Res64: DF588E2307FDA615 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:45:00] 867*2^1001758-1 is not prime. Res64: DBFAF354DFEB808A Time : 0.0 sec. user=mdettweiler [2012-01-18 00:49:42] 607*2^1001757-1 is not prime. Res64: 4779527A04D4264E Time : 0.0 sec. user=mdettweiler [2012-01-18 00:49:42] 621*2^1001757-1 is not prime. Res64: E6B05F194A37CF68 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:52:38] 603*2^1001759-1 is not prime. Res64: 06A0D7D909F71FC2 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:53:13] 955*2^1001757-1 is not prime. Res64: 8F76BF588CE41122 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:53:14] 603*2^1001758-1 is not prime. Res64: 4B305B46A31DAD23 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:53:17] 995*2^1001758-1 is not prime. Res64: 99008974DD9FA2F6 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:55:30] 695*2^1001758-1 is not prime. Res64: 629A6D7245214B47 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:55:30] 705*2^1001758-1 is not prime. Res64: 2688F5C17C917AB8 Time : 0.0 sec. user=mdettweiler [2012-01-18 00:56:54] 753*2^1001750-1 is not prime. Res64: C86C6A5A7F0B133C Time : 0.0 sec. user=mdettweiler [2012-01-18 00:56:54] 773*2^1001750-1 is not prime. Res64: 14A623235CC13536 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:00:18] 887*2^1001758-1 is not prime. Res64: 12191F1B3880C3C3 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:01:06] 693*2^1001759-1 is not prime. Res64: E2E50D48A0F6994D Time : 0.0 sec. user=mdettweiler [2012-01-18 01:01:55] 745*2^1001759-1 is not prime. Res64: B4D93CF32A31AFFB Time : 0.0 sec. user=mdettweiler [2012-01-18 01:08:54] 627*2^1001760-1 is not prime. Res64: 905411D5D248823A Time : 0.0 sec. user=mdettweiler [2012-01-18 01:09:26] 663*2^1001759-1 is not prime. Res64: 2889DB5A07EFA0E0 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:09:28] 685*2^1001759-1 is not prime. Res64: AAE7298A20681445 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:09:33] 635*2^1001760-1 is not prime. Res64: 307ABA70B9A3E57C Time : 0.0 sec. user=mdettweiler [2012-01-18 01:12:58] 705*2^1001759-1 is not prime. Res64: B5D89B55F355FD90 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:13:00] 721*2^1001759-1 is not prime. Res64: D2D997743FC70411 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:15:15] 775*2^1001759-1 is not prime. Res64: 19C13A3B421C3F2E Time : 0.0 sec. user=mdettweiler [2012-01-18 01:15:15] 789*2^1001759-1 is not prime. Res64: 9F911CE564B45B28 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:16:32] 797*2^1001760-1 is not prime. Res64: 490908C550C85458 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:17:16] 637*2^1001761-1 is not prime. Res64: 49888226AC0581A7 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:24:10] 817*2^1001761-1 is not prime. Res64: 9A63B2ED786D7933 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:24:54] 829*2^1001761-1 is not prime. Res64: 1F78D58305095191 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:28:58] 923*2^1001758-1 is not prime. Res64: 04285564F18FBC40 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:29:23] 929*2^1001760-1 is not prime. Res64: E5EB074C954D86A5 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:29:24] 625*2^1001761-1 is not prime. Res64: A4C3BA17E04CB7D8 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:31:46] 925*2^1001761-1 is not prime. Res64: 1F1DB38C911EA04D Time : 0.0 sec. user=mdettweiler [2012-01-18 01:32:52] 651*2^1001761-1 is not prime. Res64: CF9990462444FE1F Time : 0.0 sec. user=mdettweiler [2012-01-18 01:32:53] 687*2^1001761-1 is not prime. Res64: A070FAD7AFD30256 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:34:18] 951*2^1001761-1 is not prime. Res64: 5433E827BD76F64F Time : 0.0 sec. user=mdettweiler [2012-01-18 01:34:32] 727*2^1001753-1 is not prime. Res64: 38816F89DC94CC78 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:34:32] 831*2^1001753-1 is not prime. Res64: 13182CE8116ACC0E Time : 0.0 sec. user=mdettweiler [2012-01-18 01:35:01] 717*2^1001761-1 is not prime. Res64: 30A71CE12CBAF0B3 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:35:01] 751*2^1001761-1 is not prime. Res64: B675773D0CC7AA19 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:39:24] 747*2^1001762-1 is not prime. Res64: 78C3B6BD6C4BBAED Time : 0.0 sec. user=mdettweiler [2012-01-18 01:41:56] 669*2^1001763-1 is not prime. Res64: 05957627F726B8F1 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:47:01] 743*2^1001764-1 is not prime. Res64: 7B8B0D5B734C5CEA Time : 0.0 sec. user=mdettweiler [2012-01-18 01:48:35] 627*2^1001762-1 is not prime. Res64: 54B6D3BFC72414EA Time : 0.0 sec. user=mdettweiler [2012-01-18 01:48:35] 633*2^1001762-1 is not prime. Res64: CA6C85CAAFFB21E7 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:49:04] 635*2^1001762-1 is not prime. Res64: D0AC7B398FF28BB3 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:49:04] 731*2^1001762-1 is not prime. Res64: 5224E63E39E0142E Time : 0.0 sec. user=mdettweiler [2012-01-18 01:49:32] 759*2^1001764-1 is not prime. Res64: FECDCAFB6159C791 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:52:35] 771*2^1001762-1 is not prime. Res64: F8067D7592EA5F17 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:52:35] 827*2^1001762-1 is not prime. Res64: E7B5D270BCC7E0F5 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:54:39] 813*2^1001764-1 is not prime. Res64: 4FC02C8F0FEC32BB Time : 0.0 sec. user=mdettweiler [2012-01-18 01:54:41] 793*2^1001763-1 is not prime. Res64: 78BAD143E6624767 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:54:42] 801*2^1001763-1 is not prime. Res64: 8818CBC37B57BCBA Time : 0.0 sec. user=mdettweiler [2012-01-18 01:57:00] 649*2^1001757-1 is not prime. Res64: 9B35398E10D32B1D Time : 0.0 sec. user=mdettweiler [2012-01-18 01:57:00] 691*2^1001757-1 is not prime. Res64: 2F4A6CD8B1175B48 Time : 0.0 sec. user=mdettweiler [2012-01-18 01:57:21] 627*2^1001765-1 is not prime. Res64: 6D87F47D40CC93E2 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:02:29] 871*2^1001765-1 is not prime. Res64: 4DD24E362E243454 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:03:48] 773*2^1001758-1 is not prime. Res64: EE2843C618380B7B Time : 0.0 sec. user=mdettweiler [2012-01-18 02:03:48] 791*2^1001758-1 is not prime. Res64: 09E36602B81D3DAA Time : 0.0 sec. user=mdettweiler [2012-01-18 02:05:00] 641*2^1001766-1 is not prime. Res64: 5BAC9263CD88602D Time : 0.0 sec. user=mdettweiler [2012-01-18 02:08:21] 827*2^1001764-1 is not prime. Res64: 44BE8832821E64EA Time : 0.0 sec. user=mdettweiler [2012-01-18 02:08:22] 833*2^1001764-1 is not prime. Res64: 7E25E3D79AADB0D5 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:08:44] 855*2^1001764-1 is not prime. Res64: F4964F9EEEBC5EB7 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:08:45] 903*2^1001764-1 is not prime. Res64: 9DB2B7F343D0F5E8 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:10:09] 677*2^1001766-1 is not prime. Res64: A81DE9DA886EB76B Time : 0.0 sec. user=mdettweiler [2012-01-18 02:12:19] 721*2^1001765-1 is not prime. Res64: CD58D6CC186D5BD2 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:12:22] 787*2^1001765-1 is not prime. Res64: A2811A508C8ED521 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:12:40] 765*2^1001766-1 is not prime. Res64: 964E19AC4D358E62 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:17:47] 619*2^1001767-1 is not prime. Res64: C4BFBB41142705E1 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:18:53] 969*2^1001765-1 is not prime. Res64: F30B84B3F3798ABF Time : 0.0 sec. user=mdettweiler [2012-01-18 02:18:53] 981*2^1001765-1 is not prime. Res64: 5CF535E65519B894 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:20:21] 831*2^1001767-1 is not prime. Res64: 2A550153CED8B1A1 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:25:26] 873*2^1001767-1 is not prime. Res64: 13B933A113B3430D Time : 0.0 sec. user=mdettweiler [2012-01-18 02:27:59] 913*2^1001767-1 is not prime. Res64: E46E7D3D062F2B91 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:28:07] 815*2^1001766-1 is not prime. Res64: 85FD36CE4764F235 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:28:07] 861*2^1001766-1 is not prime. Res64: 9072A2BC3F0A7196 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:30:50] 903*2^1001766-1 is not prime. Res64: AC06445990204507 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:30:51] 975*2^1001766-1 is not prime. Res64: 8E78187708D2531F Time : 0.0 sec. user=mdettweiler [2012-01-18 02:32:13] 729*2^1001767-1 is not prime. Res64: 44148AF6BDE87F95 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:32:14] 741*2^1001767-1 is not prime. Res64: C1273D6C2A11C67B Time : 0.0 sec. user=mdettweiler [2012-01-18 02:34:55] 933*2^1001767-1 is not prime. Res64: A64B04E9045DD52E Time : 0.0 sec. user=mdettweiler [2012-01-18 02:35:49] 879*2^1001759-1 is not prime. Res64: 4056ABD78260DF61 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:35:49] 955*2^1001759-1 is not prime. Res64: 70D097DEC864CBB8 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:37:28] 973*2^1001767-1 is not prime. Res64: 79B6B52BC2822159 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:38:37] 895*2^1001767-1 is not prime. Res64: 2F081A22EBBBCE17 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:38:43] 909*2^1001767-1 is not prime. Res64: C134CC3B41D87B7D Time : 0.0 sec. user=mdettweiler [2012-01-18 02:42:34] 825*2^1001768-1 is not prime. Res64: A363A1B57E3F8F03 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:46:56] 935*2^1001768-1 is not prime. Res64: 0179A695912B3B0C Time : 0.0 sec. user=mdettweiler [2012-01-18 02:50:05] 993*2^1001767-1 is not prime. Res64: 9390007AF3397FDD Time : 0.0 sec. user=mdettweiler [2012-01-18 02:50:05] 629*2^1001768-1 is not prime. Res64: 713589A33728B10E Time : 0.0 sec. user=mdettweiler [2012-01-18 02:50:14] 835*2^1001769-1 is not prime. Res64: 2ED66D79F9AE46F1 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:50:31] 743*2^1001768-1 is not prime. Res64: FB5D4052293F08AB Time : 0.0 sec. user=mdettweiler [2012-01-18 02:50:33] 753*2^1001768-1 is not prime. Res64: 73952937E7AAF33B Time : 0.0 sec. user=mdettweiler [2012-01-18 02:51:55] 767*2^1001768-1 is not prime. Res64: E558D3F9A0FB2174 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:51:55] 815*2^1001768-1 is not prime. Res64: C9102F6A62F416F6 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:54:34] 687*2^1001770-1 is not prime. Res64: 0E6CA926B1B3B9E0 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:57:52] 845*2^1001770-1 is not prime. Res64: 307D68B4555DCA83 Time : 0.0 sec. user=mdettweiler [2012-01-18 02:58:26] 667*2^1001769-1 is not prime. Res64: 96A5CC645E7AE11B Time : 0.0 sec. user=mdettweiler [2012-01-18 02:58:26] 735*2^1001769-1 is not prime. Res64: 59F3AD6E6A6EE49D Time : 0.0 sec. user=mdettweiler [2012-01-18 03:02:14] 789*2^1001771-1 is not prime. Res64: 88A5949EA1995EA8 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:03:51] 723*2^1001763-1 is not prime. Res64: D619CC2E1E0F917F Time : 0.0 sec. user=mdettweiler [2012-01-18 03:03:51] 735*2^1001763-1 is not prime. Res64: 0482DC75E482B767 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:05:29] 823*2^1001771-1 is not prime. Res64: BC7DB5CAE2E8DD06 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:09:50] 741*2^1001770-1 is not prime. Res64: 62331FE83CC49D96 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:09:52] 773*2^1001770-1 is not prime. Res64: 9C0360EF54374BD9 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:10:00] 623*2^1001772-1 is not prime. Res64: 83F395E52768DD1F Time : 0.0 sec. user=mdettweiler [2012-01-18 03:11:38] 603*2^1001771-1 is not prime. Res64: A90763F1ABC3F57C Time : 0.0 sec. user=mdettweiler [2012-01-18 03:11:39] 735*2^1001771-1 is not prime. Res64: 93C468803B0BBBB5 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:12:30] 885*2^1001770-1 is not prime. Res64: 25BA9813E7747F49 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:12:31] 945*2^1001770-1 is not prime. Res64: 2DB0FEA1CEAF3FF0 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:13:08] 725*2^1001772-1 is not prime. Res64: A1CCD18191CD0EBA Time : 0.0 sec. user=mdettweiler [2012-01-18 03:19:28] 977*2^1001772-1 is not prime. Res64: 9D842B71203D6964 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:20:31] 841*2^1001771-1 is not prime. Res64: E7CC05E7E3C8D600 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:20:32] 939*2^1001771-1 is not prime. Res64: 78FADF5F3759FC6B Time : 0.0 sec. user=mdettweiler [2012-01-18 03:20:51] 745*2^1001773-1 is not prime. Res64: 4896F2551E06988C Time : 0.0 sec. user=mdettweiler [2012-01-18 03:27:07] 835*2^1001773-1 is not prime. Res64: A9ED5CE7C9ED50F8 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:28:28] 717*2^1001774-1 is not prime. Res64: 48A71E8490C5DC21 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:32:00] 707*2^1001766-1 is not prime. Res64: 8F9E390F70AF7FF4 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:32:01] 923*2^1001772-1 is not prime. Res64: FCD3FEA8C50230AE Time : 0.0 sec. user=mdettweiler [2012-01-18 03:32:01] 741*2^1001766-1 is not prime. Res64: 7C6C1166B3C0D865 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:32:01] 933*2^1001772-1 is not prime. Res64: 856C92ECC2EE91E2 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:32:19] 727*2^1001773-1 is not prime. Res64: 336EFAB3E3C477FD Time : 0.0 sec. user=mdettweiler [2012-01-18 03:32:21] 729*2^1001773-1 is not prime. Res64: E4845E34D8C14421 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:33:41] 983*2^1001772-1 is not prime. Res64: DC0EE48AAAFB6A08 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:33:42] 607*2^1001773-1 is not prime. Res64: C5425C9C23741B8A Time : 0.0 sec. user=mdettweiler [2012-01-18 03:34:46] 815*2^1001774-1 is not prime. Res64: 5CA301942C0686EE Time : 0.0 sec. user=mdettweiler [2012-01-18 03:35:30] 991*2^1001765-1 is not prime. Res64: DF27C100C59699E9 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:35:30] 627*2^1001766-1 is not prime. Res64: E4BDCC083DCA7DAA Time : 0.0 sec. user=mdettweiler [2012-01-18 03:36:08] 833*2^1001774-1 is not prime. Res64: 408C2408B4DBABD3 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:42:24] 773*2^1001776-1 is not prime. Res64: D2B358C14118F08E Time : 0.0 sec. user=mdettweiler [2012-01-18 03:42:30] 889*2^1001773-1 is not prime. Res64: F6BCFE8F3B77A1B6 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:42:30] 955*2^1001773-1 is not prime. Res64: B06AB366B8EC9C09 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:45:33] 965*2^1001776-1 is not prime. Res64: D6747BE491BB1E8C Time : 0.0 sec. user=mdettweiler [2012-01-18 03:50:02] 607*2^1001777-1 is not prime. Res64: 922D6BDD0C8D185B Time : 0.0 sec. user=mdettweiler [2012-01-18 03:51:57] 613*2^1001775-1 is not prime. Res64: 89EC233C9FFF5BAE Time : 0.0 sec. user=mdettweiler [2012-01-18 03:51:58] 649*2^1001775-1 is not prime. Res64: 2C8B1946B85FBA83 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:52:22] 775*2^1001775-1 is not prime. Res64: C0C343298187A933 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:52:22] 819*2^1001775-1 is not prime. Res64: A0D70A2D52FA92B3 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:53:09] 781*2^1001777-1 is not prime. Res64: 2E80189B0EBE26AA Time : 0.0 sec. user=mdettweiler [2012-01-18 03:53:37] 861*2^1001775-1 is not prime. Res64: 1700CDD966945C08 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:53:38] 707*2^1001776-1 is not prime. Res64: 1B72633428F37FA5 Time : 0.0 sec. user=mdettweiler [2012-01-18 03:57:40] 871*2^1001777-1 is not prime. Res64: 0DF46773E83A71A3 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:00:49] 887*2^1001778-1 is not prime. Res64: 60686E1A3A0B3DC1 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:02:34] 717*2^1001777-1 is not prime. Res64: E2039F45CBF1243D Time : 0.0 sec. user=mdettweiler [2012-01-18 04:02:36] 735*2^1001777-1 is not prime. Res64: 9F773D27D5DA4DD5 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:05:12] 845*2^1001768-1 is not prime. Res64: 95BD2CE2876B3CE7 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:05:12] 915*2^1001768-1 is not prime. Res64: AC68943D27FFFD91 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:05:20] 835*2^1001779-1 is not prime. Res64: 10F3BC4FADA5335C Time : 0.0 sec. user=mdettweiler [2012-01-18 04:08:26] 853*2^1001779-1 is not prime. Res64: 7D937D3BB00EBC0B Time : 0.0 sec. user=mdettweiler [2012-01-18 04:12:06] 801*2^1001778-1 is not prime. Res64: 4AC63C1430C31E0A Time : 0.0 sec. user=mdettweiler [2012-01-18 04:12:10] 803*2^1001778-1 is not prime. Res64: 553D3181F777E509 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:14:07] 957*2^1001777-1 is not prime. Res64: 245886CF0A0C7DEF Time : 0.0 sec. user=mdettweiler [2012-01-18 04:14:07] 663*2^1001778-1 is not prime. Res64: E21399F387C6644E Time : 0.0 sec. user=mdettweiler [2012-01-18 04:14:46] 959*2^1001780-1 is not prime. Res64: AA978837E67EF8E4 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:15:35] 945*2^1001778-1 is not prime. Res64: B84DE8B9B3C3F42E Time : 0.0 sec. user=mdettweiler [2012-01-18 04:15:36] 645*2^1001779-1 is not prime. Res64: FD2D44F54A79433B Time : 0.0 sec. user=mdettweiler [2012-01-18 04:16:07] 615*2^1001781-1 is not prime. Res64: 9F2A9DE4B3A0031F Time : 0.0 sec. user=mdettweiler [2012-01-18 04:22:14] 885*2^1001779-1 is not prime. Res64: 0C366EA4E89BA837 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:22:15] 825*2^1001780-1 is not prime. Res64: 5830DAD7627CA393 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:23:46] 681*2^1001782-1 is not prime. Res64: F3D73471814DB635 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:24:11] 991*2^1001781-1 is not prime. Res64: 1E70D630A1E25479 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:29:33] 669*2^1001772-1 is not prime. Res64: A4BF9AD892FC2E4A Time : 0.0 sec. user=mdettweiler [2012-01-18 04:29:33] 717*2^1001772-1 is not prime. Res64: B8CFD0D068B63AD5 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:31:23] 885*2^1001782-1 is not prime. Res64: 9417B9DD86F13032 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:31:48] 661*2^1001783-1 is not prime. Res64: 6D9F86C7DC9905CF Time : 0.0 sec. user=mdettweiler [2012-01-18 04:31:50] 651*2^1001781-1 is not prime. Res64: 5B14F78541A481AB Time : 0.0 sec. user=mdettweiler [2012-01-18 04:31:51] 727*2^1001781-1 is not prime. Res64: 0DBC35DB9345BFA0 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:33:50] 819*2^1001781-1 is not prime. Res64: 37396A4A94167391 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:33:51] 847*2^1001781-1 is not prime. Res64: FF5BAA3BFC303BAF Time : 0.0 sec. user=mdettweiler [2012-01-18 04:35:15] 665*2^1001782-1 is not prime. Res64: A16F019A0B16B728 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:35:15] 677*2^1001782-1 is not prime. Res64: 7B7009548DB8EEFF Time : 0.0 sec. user=mdettweiler [2012-01-18 04:39:03] 735*2^1001783-1 is not prime. Res64: E8E6F72953B48222 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:39:26] 789*2^1001783-1 is not prime. Res64: F8C842B90BA8B665 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:41:57] 695*2^1001782-1 is not prime. Res64: 58D9E27D0D4B18ED Time : 0.0 sec. user=mdettweiler [2012-01-18 04:41:58] 801*2^1001782-1 is not prime. Res64: 433245BBF44A77F4 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:46:44] 863*2^1001784-1 is not prime. Res64: 4FCD785C355DA896 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:47:06] 601*2^1001785-1 is not prime. Res64: EB2587818E6F5796 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:53:39] 635*2^1001784-1 is not prime. Res64: 9E053B2D0029DA1C Time : 0.0 sec. user=mdettweiler [2012-01-18 04:53:39] 665*2^1001784-1 is not prime. Res64: E5C3BF9978F91D9F Time : 0.0 sec. user=mdettweiler [2012-01-18 04:53:49] 855*2^1001783-1 is not prime. Res64: 0472249343C0D42B Time : 0.0 sec. user=mdettweiler [2012-01-18 04:53:49] 981*2^1001783-1 is not prime. Res64: 168F4CED78595E5B Time : 0.0 sec. user=mdettweiler [2012-01-18 04:54:23] 831*2^1001785-1 is not prime. Res64: 2595BDFF7EBB75E7 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:54:45] 895*2^1001785-1 is not prime. Res64: A8069F78B2081526 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:54:58] 765*2^1001784-1 is not prime. Res64: B6D5E4DCFF1D4040 Time : 0.0 sec. user=mdettweiler [2012-01-18 04:54:59] 789*2^1001784-1 is not prime. Res64: F59AECEA7DD66756 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:01:44] 765*2^1001785-1 is not prime. Res64: 334F9A3D54D9CF5A Time : 0.0 sec. user=mdettweiler [2012-01-18 05:01:45] 777*2^1001785-1 is not prime. Res64: F6870D5EC3419164 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:02:01] 701*2^1001786-1 is not prime. Res64: 20BB14E4B8AF1C14 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:02:22] 735*2^1001786-1 is not prime. Res64: 1BFEC51F822F28EA Time : 0.0 sec. user=mdettweiler [2012-01-18 05:03:18] 855*2^1001776-1 is not prime. Res64: 589EEE405F5622F2 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:03:18] 873*2^1001776-1 is not prime. Res64: 8B72A96DB06DA644 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:10:02] 609*2^1001787-1 is not prime. Res64: 05C679D6BF31F0E0 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:10:15] 861*2^1001774-1 is not prime. Res64: 9FF88F8ECAEB630B Time : 0.0 sec. user=mdettweiler [2012-01-18 05:10:16] 987*2^1001774-1 is not prime. Res64: 679C90F39D0C1E89 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:11:25] 963*2^1001786-1 is not prime. Res64: 58FD35AEF766DAA9 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:14:46] 755*2^1001786-1 is not prime. Res64: 5F6E6F5496A6F496 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:14:46] 843*2^1001786-1 is not prime. Res64: 912330C4EEE5DA2B Time : 0.0 sec. user=mdettweiler [2012-01-18 05:15:45] 957*2^1001785-1 is not prime. Res64: 152E574F78699CF5 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:15:45] 683*2^1001786-1 is not prime. Res64: 504E17873FB1334E Time : 0.0 sec. user=mdettweiler [2012-01-18 05:17:42] 741*2^1001787-1 is not prime. Res64: D9F159D707D6F66B Time : 0.0 sec. user=mdettweiler [2012-01-18 05:17:57] 937*2^1001785-1 is not prime. Res64: 82EDF73D92E2987D Time : 0.0 sec. user=mdettweiler [2012-01-18 05:17:57] 955*2^1001785-1 is not prime. Res64: FCEA19743306CCE2 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:19:04] 829*2^1001787-1 is not prime. Res64: C4F60058C2F81619 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:23:48] 851*2^1001786-1 is not prime. Res64: 11EB510A68DA915B Time : 0.0 sec. user=mdettweiler [2012-01-18 05:23:49] 945*2^1001786-1 is not prime. Res64: B7AD940C258B3DC0 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:25:24] 747*2^1001789-1 is not prime. Res64: A34EA8A5D9A9773F Time : 0.0 sec. user=mdettweiler [2012-01-18 05:26:42] 907*2^1001789-1 is not prime. Res64: DD5FAC898017BEE9 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:33:03] 851*2^1001790-1 is not prime. Res64: 8C69DF4707914B90 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:34:21] 927*2^1001790-1 is not prime. Res64: F0731A422D0A639D Time : 0.0 sec. user=mdettweiler [2012-01-18 05:34:30] 603*2^1001788-1 is not prime. Res64: 9D438593DE230B4A Time : 0.0 sec. user=mdettweiler [2012-01-18 05:34:30] 819*2^1001788-1 is not prime. Res64: 615CDE6876DB5DB6 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:37:39] 769*2^1001789-1 is not prime. Res64: 24AFB2B339E82D1B Time : 0.0 sec. user=mdettweiler [2012-01-18 05:37:40] 897*2^1001789-1 is not prime. Res64: D11741C539CD7DED Time : 0.0 sec. user=mdettweiler [2012-01-18 05:39:59] 989*2^1001788-1 is not prime. Res64: 896113EE97B1D729 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:39:59] 999*2^1001788-1 is not prime. Res64: 8C4B646E06F8709F Time : 0.0 sec. user=mdettweiler [2012-01-18 05:40:41] 619*2^1001791-1 is not prime. Res64: 480F33A252413573 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:41:58] 705*2^1001791-1 is not prime. Res64: 873CB03CCD3DC91F Time : 0.0 sec. user=mdettweiler [2012-01-18 05:45:46] 955*2^1001789-1 is not prime. Res64: 6A7F2F05397DBA93 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:45:47] 825*2^1001790-1 is not prime. Res64: 1C90716747739902 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:45:56] 893*2^1001780-1 is not prime. Res64: 89892B8C0C34EFFD Time : 0.0 sec. user=mdettweiler [2012-01-18 05:45:56] 935*2^1001780-1 is not prime. Res64: DCB9EC18F671DF37 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:48:17] 915*2^1001792-1 is not prime. Res64: AB6609704681EA6A Time : 0.0 sec. user=mdettweiler [2012-01-18 05:51:22] 983*2^1001792-1 is not prime. Res64: 0D9AFDFDAA2896A9 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:54:15] 783*2^1001791-1 is not prime. Res64: A9CB01365A5A79FF Time : 0.0 sec. user=mdettweiler [2012-01-18 05:54:16] 793*2^1001791-1 is not prime. Res64: 77629F7031B53885 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:55:55] 645*2^1001794-1 is not prime. Res64: 0E8A04FBD858B919 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:57:20] 885*2^1001791-1 is not prime. Res64: F4A08BA3B0EBBE54 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:57:21] 895*2^1001791-1 is not prime. Res64: 43CBB0454B1EAF7D Time : 0.0 sec. user=mdettweiler [2012-01-18 05:58:10] 675*2^1001783-1 is not prime. Res64: A897682899EB08E7 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:58:10] 693*2^1001783-1 is not prime. Res64: F66817A7DFCD67CF Time : 0.0 sec. user=mdettweiler [2012-01-18 05:59:01] 755*2^1001794-1 is not prime. Res64: E3DD6C6C13C41712 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:59:41] 909*2^1001791-1 is not prime. Res64: 0E6CF40B847CC823 Time : 0.0 sec. user=mdettweiler [2012-01-18 05:59:42] 815*2^1001792-1 is not prime. Res64: 025C6FF5C6D1736A Time : 0.0 sec. user=mdettweiler [2012-01-18 06:03:32] 609*2^1001795-1 is not prime. Res64: D8982D292F2CEDD3 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:05:29] 649*2^1001793-1 is not prime. Res64: 36EC03C5578B9F83 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:05:30] 861*2^1001793-1 is not prime. Res64: 89EE1688996E41B7 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:08:23] 939*2^1001795-1 is not prime. Res64: 7A37ACD003C844D0 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:11:12] 759*2^1001796-1 is not prime. Res64: C9AC658788BD3A90 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:13:58] 827*2^1001794-1 is not prime. Res64: B9D25D2265A589D5 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:13:58] 887*2^1001794-1 is not prime. Res64: CCB9675E9C3D9783 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:16:01] 667*2^1001797-1 is not prime. Res64: A4C41308AC3B0C00 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:17:06] 619*2^1001795-1 is not prime. Res64: 5A467E16B61CBE9B Time : 0.0 sec. user=mdettweiler [2012-01-18 06:17:07] 853*2^1001795-1 is not prime. Res64: D01FF32CEB66BB97 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:18:50] 717*2^1001797-1 is not prime. Res64: 195FFE401E174505 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:21:38] 963*2^1001795-1 is not prime. Res64: 02B311822BC2EDB9 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:21:38] 675*2^1001796-1 is not prime. Res64: 1126242F15CF212D Time : 0.0 sec. user=mdettweiler [2012-01-18 06:23:38] 831*2^1001798-1 is not prime. Res64: D029B2687CE0CEA9 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:25:15] 873*2^1001796-1 is not prime. Res64: E92A338480FCF3DC Time : 0.0 sec. user=mdettweiler [2012-01-18 06:25:15] 905*2^1001796-1 is not prime. Res64: 84800689CF39FFBF Time : 0.0 sec. user=mdettweiler [2012-01-18 06:26:27] 625*2^1001799-1 is not prime. Res64: 48737C5EBDAA4E95 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:29:41] 685*2^1001787-1 is not prime. Res64: 6812ADC69F54C798 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:29:41] 735*2^1001787-1 is not prime. Res64: E2ACBD4D65B73343 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:31:17] 615*2^1001800-1 is not prime. Res64: BBF7BFA566670011 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:34:05] 777*2^1001800-1 is not prime. Res64: 79D27288DA72E710 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:36:02] 937*2^1001797-1 is not prime. Res64: C1BA930E85B8657F Time : 0.0 sec. user=mdettweiler [2012-01-18 06:36:03] 743*2^1001798-1 is not prime. Res64: 538CCEB053D13501 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:38:55] 607*2^1001801-1 is not prime. Res64: 834A22FA012097F5 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:39:06] 995*2^1001798-1 is not prime. Res64: 2AAC691CA68AD5FC Time : 0.0 sec. user=mdettweiler [2012-01-18 06:39:06] 613*2^1001799-1 is not prime. Res64: EC31441FB50BC06F Time : 0.0 sec. user=mdettweiler [2012-01-18 06:39:42] 751*2^1001787-1 is not prime. Res64: F03A7ADB1B772D4E Time : 0.0 sec. user=mdettweiler [2012-01-18 06:39:42] 805*2^1001787-1 is not prime. Res64: 1AAA5EAF920022CB Time : 0.0 sec. user=mdettweiler [2012-01-18 06:41:21] 693*2^1001799-1 is not prime. Res64: 838322A65B36D368 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:41:22] 865*2^1001799-1 is not prime. Res64: FB78435A0E9F53C4 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:41:43] 615*2^1001801-1 is not prime. Res64: 6E916302F398508F Time : 0.0 sec. user=mdettweiler [2012-01-18 06:44:56] 747*2^1001800-1 is not prime. Res64: 4CDDB06AED392C78 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:44:57] 755*2^1001800-1 is not prime. Res64: 2173FE9FF3A04C2A Time : 0.0 sec. user=mdettweiler [2012-01-18 06:46:34] 735*2^1001801-1 is not prime. Res64: 737EF39CC4A85153 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:49:22] 695*2^1001802-1 is not prime. Res64: A8592D6011991A33 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:54:13] 603*2^1001803-1 is not prime. Res64: 48737A16430A0F1E Time : 0.0 sec. user=mdettweiler [2012-01-18 06:55:45] 645*2^1001801-1 is not prime. Res64: 6167FB3681DC625F Time : 0.0 sec. user=mdettweiler [2012-01-18 06:55:46] 691*2^1001801-1 is not prime. Res64: E61B29222AD34F42 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:57:00] 619*2^1001803-1 is not prime. Res64: 9D54AA97035F8898 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:58:51] 775*2^1001801-1 is not prime. Res64: B262A766B5333030 Time : 0.0 sec. user=mdettweiler [2012-01-18 06:58:52] 867*2^1001801-1 is not prime. Res64: C2D09BF0A69A7506 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:01:04] 633*2^1001802-1 is not prime. Res64: 989352B08DF66763 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:01:05] 677*2^1001802-1 is not prime. Res64: 5829DE0F0B6541E0 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:01:53] 675*2^1001803-1 is not prime. Res64: 4557D39B25D59F09 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:04:37] 873*2^1001803-1 is not prime. Res64: B9A1F7CE7B2E8BBE Time : 0.0 sec. user=mdettweiler [2012-01-18 07:06:57] 887*2^1001802-1 is not prime. Res64: EB62FFBDA236EAF0 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:06:59] 963*2^1001802-1 is not prime. Res64: 0332ED089F4C0890 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:09:31] 659*2^1001804-1 is not prime. Res64: 0E893160744E9E19 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:12:16] 675*2^1001804-1 is not prime. Res64: 7B50CCADDA50E35F Time : 0.0 sec. user=mdettweiler [2012-01-18 07:15:28] 741*2^1001803-1 is not prime. Res64: 38A58334F10C59AE Time : 0.0 sec. user=mdettweiler [2012-01-18 07:15:29] 871*2^1001803-1 is not prime. Res64: 8349D7694658EBD0 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:17:11] 655*2^1001805-1 is not prime. Res64: 1E6A1D307556A671 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:18:35] 885*2^1001803-1 is not prime. Res64: 24DD0064290074B7 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:18:36] 609*2^1001804-1 is not prime. Res64: 9E2B7D711E6CC25E Time : 0.0 sec. user=mdettweiler [2012-01-18 07:19:56] 669*2^1001805-1 is not prime. Res64: E403AAC4ADB134FB Time : 0.0 sec. user=mdettweiler [2012-01-18 07:20:50] 617*2^1001804-1 is not prime. Res64: 4DCB54453D2115BD Time : 0.0 sec. user=mdettweiler [2012-01-18 07:20:51] 629*2^1001804-1 is not prime. Res64: BA969D8FD3791730 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:23:16] 891*2^1001793-1 is not prime. Res64: 49979F44878BC44E Time : 0.0 sec. user=mdettweiler [2012-01-18 07:23:16] 999*2^1001793-1 is not prime. Res64: AE1856E76F2A5B2D Time : 0.0 sec. user=mdettweiler [2012-01-18 07:24:49] 611*2^1001806-1 is not prime. Res64: 7C2240D45EE122DC Time : 0.0 sec. user=mdettweiler [2012-01-18 07:26:48] 885*2^1001795-1 is not prime. Res64: 252A4AD0F59E42C6 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:26:48] 921*2^1001795-1 is not prime. Res64: 02115E4DF4AC59E0 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:27:34] 773*2^1001806-1 is not prime. Res64: 0441E09DBD969E9D Time : 0.0 sec. user=mdettweiler [2012-01-18 07:29:03] 687*2^1001804-1 is not prime. Res64: 22F0340F503DC4B8 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:29:03] 953*2^1001804-1 is not prime. Res64: ED762DC75A4835CC Time : 0.0 sec. user=mdettweiler [2012-01-18 07:34:11] 957*2^1001806-1 is not prime. Res64: A88C62AEEF94FCD3 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:35:12] 825*2^1001807-1 is not prime. Res64: 68A7A2937719DD7B Time : 0.0 sec. user=mdettweiler [2012-01-18 07:37:27] 781*2^1001805-1 is not prime. Res64: 9D62032CC05398F9 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:37:27] 975*2^1001805-1 is not prime. Res64: 6510ABDD0AF55553 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:38:18] 645*2^1001806-1 is not prime. Res64: 4B05270A9968E6EE Time : 0.0 sec. user=mdettweiler [2012-01-18 07:38:18] 651*2^1001806-1 is not prime. Res64: E2C9457691ED902E Time : 0.0 sec. user=mdettweiler [2012-01-18 07:40:33] 801*2^1001806-1 is not prime. Res64: 6658602EBAD5A9DC Time : 0.0 sec. user=mdettweiler [2012-01-18 07:40:33] 891*2^1001806-1 is not prime. Res64: 110133700DB90185 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:41:49] 707*2^1001808-1 is not prime. Res64: BE582FF9577083A1 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:42:49] 759*2^1001808-1 is not prime. Res64: 7385C8957D1733CE Time : 0.0 sec. user=mdettweiler [2012-01-18 07:48:51] 879*2^1001807-1 is not prime. Res64: 3DB9BF8F52C27318 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:48:51] 885*2^1001807-1 is not prime. Res64: C37FCE6EB3A20DBC Time : 0.0 sec. user=mdettweiler [2012-01-18 07:49:27] 831*2^1001809-1 is not prime. Res64: CEE3DBAD8980E34A Time : 0.0 sec. user=mdettweiler [2012-01-18 07:50:26] 841*2^1001809-1 is not prime. Res64: 606F5DCC59F8AA2F Time : 0.0 sec. user=mdettweiler [2012-01-18 07:57:03] 635*2^1001810-1 is not prime. Res64: 631E5C8A10672F45 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:57:11] 803*2^1001808-1 is not prime. Res64: 39D4208D995A0778 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:57:11] 855*2^1001800-1 is not prime. Res64: A1BD1C2A11D412E4 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:57:11] 917*2^1001800-1 is not prime. Res64: F24A4F258E759169 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:57:11] 887*2^1001808-1 is not prime. Res64: 8110B60B0B424AA6 Time : 0.0 sec. user=mdettweiler [2012-01-18 07:58:03] 755*2^1001810-1 is not prime. Res64: 898B4BE8AD211A28 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:00:20] 927*2^1001808-1 is not prime. Res64: 7357CE65C9546AF4 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:00:21] 957*2^1001808-1 is not prime. Res64: 6F3010909315FE97 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:00:21] 667*2^1001809-1 is not prime. Res64: 7086918BD778ADBF Time : 0.0 sec. user=mdettweiler [2012-01-18 08:00:22] 819*2^1001809-1 is not prime. Res64: 380443ABE40B6F75 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:04:41] 875*2^1001810-1 is not prime. Res64: F11C4D50F51939FA Time : 0.0 sec. user=mdettweiler [2012-01-18 08:05:39] 825*2^1001811-1 is not prime. Res64: DFA0CD961DCD2100 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:12:21] 765*2^1001812-1 is not prime. Res64: E60BB3C50312A7D2 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:13:04] 945*2^1001809-1 is not prime. Res64: 53150B8BA8CAC47C Time : 0.0 sec. user=mdettweiler [2012-01-18 08:13:05] 999*2^1001809-1 is not prime. Res64: 9866FCABECBF85DC Time : 0.0 sec. user=mdettweiler [2012-01-18 08:13:17] 807*2^1001812-1 is not prime. Res64: F9B2C0F51961FEC4 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:17:02] 775*2^1001811-1 is not prime. Res64: 6080C16D87D16D5E Time : 0.0 sec. user=mdettweiler [2012-01-18 08:17:02] 823*2^1001811-1 is not prime. Res64: 4478C0694280D9C8 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:17:42] 955*2^1001801-1 is not prime. Res64: B5F3E04B59A13991 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:17:42] 627*2^1001802-1 is not prime. Res64: 78BFD5E4EDBACD04 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:20:01] 869*2^1001812-1 is not prime. Res64: C0D144A0ECF44BCE Time : 0.0 sec. user=mdettweiler [2012-01-18 08:20:13] 849*2^1001811-1 is not prime. Res64: AC9206CB77C97D17 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:20:14] 921*2^1001811-1 is not prime. Res64: 763185571D8ED321 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:20:56] 657*2^1001813-1 is not prime. Res64: F9F28CBCFA9BE38C Time : 0.0 sec. user=mdettweiler [2012-01-18 08:22:20] 945*2^1001811-1 is not prime. Res64: F564974CE3442FE2 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:22:21] 657*2^1001812-1 is not prime. Res64: 6F125DE2F1BDE6F9 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:27:39] 805*2^1001813-1 is not prime. Res64: 2501D6AB063E5842 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:30:17] 951*2^1001813-1 is not prime. Res64: 132D8C432130F733 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:32:45] 619*2^1001813-1 is not prime. Res64: 0C812E136FEDE7AB Time : 0.0 sec. user=mdettweiler [2012-01-18 08:32:46] 627*2^1001813-1 is not prime. Res64: 148850F7013BE621 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:35:17] 797*2^1001814-1 is not prime. Res64: 9F15837D278E8A05 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:36:47] 697*2^1001813-1 is not prime. Res64: 907C2E00E3E0E91B Time : 0.0 sec. user=mdettweiler [2012-01-18 08:36:47] 721*2^1001813-1 is not prime. Res64: 18C81EDF6B74B33A Time : 0.0 sec. user=mdettweiler [2012-01-18 08:37:54] 861*2^1001814-1 is not prime. Res64: 7EB1A9D70BFA86F4 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:39:57] 867*2^1001813-1 is not prime. Res64: EDAE7A7FFFE96283 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:39:57] 871*2^1001813-1 is not prime. Res64: 9F3ACE9C202F456D Time : 0.0 sec. user=mdettweiler [2012-01-18 08:42:04] 635*2^1001814-1 is not prime. Res64: 05455BC875CDFE24 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:42:04] 791*2^1001814-1 is not prime. Res64: 4FAC7B0B66A30CAC Time : 0.0 sec. user=mdettweiler [2012-01-18 08:44:38] 971*2^1001814-1 is not prime. Res64: D376D688BBE744DA Time : 0.0 sec. user=mdettweiler [2012-01-18 08:45:31] 891*2^1001815-1 is not prime. Res64: 90585BCC5F9587FD Time : 0.0 sec. user=mdettweiler [2012-01-18 08:51:10] 911*2^1001806-1 is not prime. Res64: 93080613A11CC7EC Time : 0.0 sec. user=mdettweiler [2012-01-18 08:51:10] 917*2^1001806-1 is not prime. Res64: E8F4361C6F2FF73C Time : 0.0 sec. user=mdettweiler [2012-01-18 08:52:15] 685*2^1001817-1 is not prime. Res64: 4DA87CA571DAA764 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:52:28] 881*2^1001814-1 is not prime. Res64: DF57CA5C8955CBAA Time : 0.0 sec. user=mdettweiler [2012-01-18 08:52:29] 893*2^1001814-1 is not prime. Res64: BF567F3D232AC269 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:53:08] 751*2^1001817-1 is not prime. Res64: 90542D851D21D1E9 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:55:33] 661*2^1001807-1 is not prime. Res64: A510D1C473942D07 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:55:33] 735*2^1001807-1 is not prime. Res64: F4FDCFC5C30CE136 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:56:30] 723*2^1001815-1 is not prime. Res64: B2A8C9290310BBC5 Time : 0.0 sec. user=mdettweiler [2012-01-18 08:56:30] 805*2^1001815-1 is not prime. Res64: E0C617FDA5835E7C Time : 0.0 sec. user=mdettweiler [2012-01-18 08:59:52] 665*2^1001818-1 is not prime. Res64: BAD57E1893C59429 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:00:46] 905*2^1001818-1 is not prime. Res64: 4294F1F6BAE9C76D Time : 0.0 sec. user=mdettweiler [2012-01-18 09:01:47] 899*2^1001816-1 is not prime. Res64: 9F23F61BF45D4535 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:01:49] 675*2^1001817-1 is not prime. Res64: FF01A9EAB31DBD5B Time : 0.0 sec. user=mdettweiler [2012-01-18 09:04:14] 933*2^1001815-1 is not prime. Res64: B6162E7166FD3C90 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:04:16] 985*2^1001815-1 is not prime. Res64: 23D73CFD717D49BB Time : 0.0 sec. user=mdettweiler [2012-01-18 09:08:53] 707*2^1001820-1 is not prime. Res64: 9DB5AC970FE44215 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:09:38] 979*2^1001819-1 is not prime. Res64: 57E81184F78BF2F8 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:12:13] 773*2^1001818-1 is not prime. Res64: 74033F1136C1D120 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:12:22] 885*2^1001818-1 is not prime. Res64: 783EC9CDDBA0832B Time : 0.0 sec. user=mdettweiler [2012-01-18 09:16:35] 847*2^1001821-1 is not prime. Res64: 482ABE0B284D35E2 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:17:19] 657*2^1001822-1 is not prime. Res64: 88EAA75485653E09 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:20:44] 939*2^1001819-1 is not prime. Res64: 06469895E705E054 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:20:45] 955*2^1001819-1 is not prime. Res64: 2819F2C9045A1BD9 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:23:49] 725*2^1001820-1 is not prime. Res64: 7A3243A179936312 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:23:49] 999*2^1001820-1 is not prime. Res64: 6C3B4C402DC0000A Time : 0.0 sec. user=mdettweiler [2012-01-18 09:24:06] 777*2^1001821-1 is not prime. Res64: E408A69A34861055 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:24:06] 801*2^1001821-1 is not prime. Res64: 43380B47ECF0A1A4 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:24:14] 705*2^1001822-1 is not prime. Res64: 7372A86820FA9D35 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:24:28] 619*2^1001811-1 is not prime. Res64: 8EBDD1D8DA489EDE Time : 0.0 sec. user=mdettweiler [2012-01-18 09:24:29] 741*2^1001811-1 is not prime. Res64: AD0C1D40F85ECB96 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:24:58] 741*2^1001822-1 is not prime. Res64: 87B5DBFA4BA84B82 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:31:51] 765*2^1001823-1 is not prime. Res64: C48AEAB29FA4142D Time : 0.0 sec. user=mdettweiler [2012-01-18 09:32:06] 671*2^1001822-1 is not prime. Res64: 60F38E5D6F7DEC6A Time : 0.0 sec. user=mdettweiler [2012-01-18 09:32:07] 693*2^1001822-1 is not prime. Res64: CF0BC1AF82669E6A Time : 0.0 sec. user=mdettweiler [2012-01-18 09:32:35] 861*2^1001823-1 is not prime. Res64: 28DB03B825058CA9 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:39:30] 895*2^1001823-1 is not prime. Res64: 202369983E719695 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:40:13] 843*2^1001824-1 is not prime. Res64: 2F191C38D4E4202F Time : 0.0 sec. user=mdettweiler [2012-01-18 09:40:28] 791*2^1001822-1 is not prime. Res64: F0DFE02E1469D2AC Time : 0.0 sec. user=mdettweiler [2012-01-18 09:40:28] 873*2^1001822-1 is not prime. Res64: C0EDFB4ADDE8C129 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:43:55] 619*2^1001823-1 is not prime. Res64: CAC54BC2BDD60C17 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:43:55] 661*2^1001823-1 is not prime. Res64: BFB73F93516F0580 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:45:28] 757*2^1001813-1 is not prime. Res64: 30F7625898A2BA05 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:45:28] 787*2^1001813-1 is not prime. Res64: CA88DAD3E3C221F2 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:45:46] 923*2^1001822-1 is not prime. Res64: 5AEB6C532FB1E385 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:45:47] 981*2^1001822-1 is not prime. Res64: BDD4D246EEE5319C Time : 0.0 sec. user=mdettweiler [2012-01-18 09:47:06] 849*2^1001824-1 is not prime. Res64: 9D62ACD4DB1BB64E Time : 0.0 sec. user=mdettweiler [2012-01-18 09:49:30] 939*2^1001824-1 is not prime. Res64: B4161D77CEBDC097 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:51:51] 657*2^1001824-1 is not prime. Res64: B13582DA0658E665 Time : 0.0 sec. user=mdettweiler [2012-01-18 09:51:51] 755*2^1001824-1 is not prime. Res64: 8ABB36EA7ED5A7DE Time : 0.0 sec. user=mdettweiler [2012-01-18 09:56:23] 949*2^1001825-1 is not prime. Res64: 3C68C02E59DD22ED Time : 0.0 sec. user=mdettweiler [2012-01-18 09:57:07] 737*2^1001826-1 is not prime. Res64: 0F01D871C441482D Time : 0.0 sec. user=mdettweiler [2012-01-18 10:02:32] 947*2^1001824-1 is not prime. Res64: B4A0C6D745B2DCB6 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:02:33] 657*2^1001825-1 is not prime. Res64: 62097F510293681D Time : 0.0 sec. user=mdettweiler [2012-01-18 10:03:39] 715*2^1001825-1 is not prime. Res64: FCE36BF7A7990AE6 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:03:40] 729*2^1001825-1 is not prime. Res64: E3DE46B018319523 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:04:45] 631*2^1001827-1 is not prime. Res64: 00851FEB9E62619D Time : 0.0 sec. user=mdettweiler [2012-01-18 10:05:32] 795*2^1001825-1 is not prime. Res64: E1D1829F74DCA2A3 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:05:35] 909*2^1001825-1 is not prime. Res64: 300090546EEDD8F1 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:05:40] 983*2^1001826-1 is not prime. Res64: 71CC116647DEEA29 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:11:28] 755*2^1001826-1 is not prime. Res64: DB5C737C848ACC3D Time : 0.0 sec. user=mdettweiler [2012-01-18 10:11:29] 873*2^1001826-1 is not prime. Res64: 8105FAA05CC552CD Time : 0.0 sec. user=mdettweiler [2012-01-18 10:12:24] 693*2^1001827-1 is not prime. Res64: 4C0506F44E6D6A02 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:13:18] 859*2^1001827-1 is not prime. Res64: 73181E0E81382973 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:19:58] 781*2^1001817-1 is not prime. Res64: EE06956F3D63DF44 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:19:58] 919*2^1001817-1 is not prime. Res64: A7D25E13C69348F9 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:20:56] 753*2^1001828-1 is not prime. Res64: FE3BD9D207F44E6E Time : 0.0 sec. user=mdettweiler [2012-01-18 10:21:41] 985*2^1001827-1 is not prime. Res64: FC46684CC3725150 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:22:15] 639*2^1001827-1 is not prime. Res64: 1C692D97B57291F8 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:22:16] 663*2^1001827-1 is not prime. Res64: 71286A20DCD93572 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:23:24] 685*2^1001827-1 is not prime. Res64: 78FD2F9E92F76D95 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:23:25] 691*2^1001827-1 is not prime. Res64: 19ECEC235D3824D7 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:25:21] 775*2^1001827-1 is not prime. Res64: 5F272E0E4E9206A9 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:25:21] 849*2^1001827-1 is not prime. Res64: 76E4D3EF28E7C685 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:29:19] 625*2^1001829-1 is not prime. Res64: 6727BDF95E226506 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:30:11] 999*2^1001828-1 is not prime. Res64: 530A2146478E69E1 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:31:12] 873*2^1001827-1 is not prime. Res64: 83453398BF977DDE Time : 0.0 sec. user=mdettweiler [2012-01-18 10:31:12] 889*2^1001827-1 is not prime. Res64: EEB6C16D3F5B5E9A Time : 0.0 sec. user=mdettweiler [2012-01-18 10:31:31] 975*2^1001818-1 is not prime. Res64: DCB9B4CA5D65CC51 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:31:31] 631*2^1001819-1 is not prime. Res64: 535659472F750FF5 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:36:56] 885*2^1001830-1 is not prime. Res64: 1369D62289D1AD5F Time : 0.0 sec. user=mdettweiler [2012-01-18 10:37:49] 917*2^1001830-1 is not prime. Res64: 5DC905191900BAD9 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:42:00] 769*2^1001829-1 is not prime. Res64: B1A40FC91A6D8B48 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:42:00] 907*2^1001829-1 is not prime. Res64: 2D650509F9B2B7A8 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:44:33] 711*2^1001831-1 is not prime. Res64: FEB871F078FD8034 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:45:07] 695*2^1001830-1 is not prime. Res64: 4C3A6FAC22B96646 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:45:07] 825*2^1001830-1 is not prime. Res64: 6949DAB4668499B7 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:45:21] 919*2^1001829-1 is not prime. Res64: 94BB5DB33289AA55 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:45:21] 955*2^1001829-1 is not prime. Res64: 9EC7E7D179E571F9 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:45:27] 855*2^1001831-1 is not prime. Res64: 4615528AC65A7095 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:52:12] 623*2^1001832-1 is not prime. Res64: 1C90C633DF691AA2 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:53:04] 657*2^1001834-1 is not prime. Res64: 35E7C9AC8DE02D24 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:53:09] 957*2^1001830-1 is not prime. Res64: 89381130C7C42F30 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:53:09] 643*2^1001831-1 is not prime. Res64: DE35775DC69A3286 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:55:57] 823*2^1001823-1 is not prime. Res64: AAFA220D28EEA316 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:55:57] 829*2^1001823-1 is not prime. Res64: A87D555508DFD545 Time : 0.0 sec. user=mdettweiler [2012-01-18 10:59:49] 705*2^1001834-1 is not prime. Res64: 799C1D91438E1F8A Time : 0.0 sec. user=mdettweiler [2012-01-18 11:00:41] 783*2^1001834-1 is not prime. Res64: 66A90FE22F503EEB Time : 0.0 sec. user=mdettweiler [2012-01-18 11:04:03] 865*2^1001831-1 is not prime. Res64: 472F6730006F2EAA Time : 0.0 sec. user=mdettweiler [2012-01-18 11:04:04] 943*2^1001831-1 is not prime. Res64: FF4FEF0E91CFC8C8 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:05:06] 747*2^1001833-1 is not prime. Res64: 6F11004D47F275E9 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:05:07] 847*2^1001833-1 is not prime. Res64: 6A92D72FE567C3D9 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:07:06] 779*2^1001832-1 is not prime. Res64: 4FED40D0FE46EA0F Time : 0.0 sec. user=mdettweiler [2012-01-18 11:07:07] 975*2^1001832-1 is not prime. Res64: 01EBB21BBCF86194 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:07:26] 913*2^1001835-1 is not prime. Res64: 57EC6D3730FA21C4 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:09:57] 943*2^1001835-1 is not prime. Res64: 2C41491FC5A57678 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:12:56] 785*2^1001834-1 is not prime. Res64: 5976C0318519C9F6 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:12:57] 885*2^1001834-1 is not prime. Res64: C58985E2B1D9E2C8 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:13:27] 759*2^1001825-1 is not prime. Res64: 9B7510D7369D548B Time : 0.0 sec. user=mdettweiler [2012-01-18 11:13:28] 771*2^1001825-1 is not prime. Res64: 54E085E30F40F0E5 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:15:04] 759*2^1001837-1 is not prime. Res64: 6C8882FE7D248AB2 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:17:34] 769*2^1001837-1 is not prime. Res64: FFFC694E640E8ABD Time : 0.0 sec. user=mdettweiler [2012-01-18 11:22:42] 611*2^1001838-1 is not prime. Res64: 04A6D76382E0885A Time : 0.0 sec. user=mdettweiler [2012-01-18 11:25:11] 641*2^1001838-1 is not prime. Res64: 74E5A11EF5BCA5F4 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:26:08] 951*2^1001835-1 is not prime. Res64: 68D09118EEA7D809 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:26:08] 647*2^1001836-1 is not prime. Res64: 188C7177DF41C3B9 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:26:55] 615*2^1001837-1 is not prime. Res64: 6B9E438761B54CA6 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:26:55] 735*2^1001837-1 is not prime. Res64: 778E2A4EDAD307EC Time : 0.0 sec. user=mdettweiler [2012-01-18 11:27:05] 653*2^1001836-1 is not prime. Res64: D8308E1F24AC2382 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:27:06] 957*2^1001836-1 is not prime. Res64: 6C9A8F7BBE5F4776 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:30:18] 657*2^1001838-1 is not prime. Res64: 72DCDB11E3620527 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:32:41] 829*2^1001837-1 is not prime. Res64: 1D09C5F668E8DBEC Time : 0.0 sec. user=mdettweiler [2012-01-18 11:32:42] 847*2^1001837-1 is not prime. Res64: 5BF2E247D8A122BF Time : 0.0 sec. user=mdettweiler [2012-01-18 11:32:48] 663*2^1001838-1 is not prime. Res64: 0BEABFEC49798072 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:37:55] 759*2^1001839-1 is not prime. Res64: E1586BBA31802633 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:40:25] 675*2^1001840-1 is not prime. Res64: B06BD3EEACA4B752 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:45:34] 699*2^1001840-1 is not prime. Res64: 245738A1C7FAA23F Time : 0.0 sec. user=mdettweiler [2012-01-18 11:45:51] 713*2^1001838-1 is not prime. Res64: C6267583A8A0C8EA Time : 0.0 sec. user=mdettweiler [2012-01-18 11:45:51] 863*2^1001838-1 is not prime. Res64: 9C76089A32936A7D Time : 0.0 sec. user=mdettweiler [2012-01-18 11:46:40] 887*2^1001838-1 is not prime. Res64: B155A2A1D57C8311 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:46:40] 921*2^1001838-1 is not prime. Res64: 5C65D27DD04FC618 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:48:01] 777*2^1001840-1 is not prime. Res64: D43015D17AA3AFE0 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:49:06] 945*2^1001838-1 is not prime. Res64: FD60B8321EB69A66 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:49:06] 675*2^1001839-1 is not prime. Res64: AAC75B6A787D7B09 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:52:24] 765*2^1001839-1 is not prime. Res64: 3E6AB75B7972F703 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:52:24] 913*2^1001839-1 is not prime. Res64: 0DD52F1F4533C990 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:53:10] 827*2^1001840-1 is not prime. Res64: 0707AE29835764F7 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:55:38] 623*2^1001842-1 is not prime. Res64: 032445680F900E55 Time : 0.0 sec. user=mdettweiler [2012-01-18 11:59:12] 663*2^1001831-1 is not prime. Res64: 29F12EE99C0DF18C Time : 0.0 sec. user=mdettweiler [2012-01-18 11:59:12] 675*2^1001831-1 is not prime. Res64: 797060A16ABF5B89 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:00:47] 881*2^1001842-1 is not prime. Res64: D2453473388F08E8 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:04:50] 983*2^1001842-1 is not prime. Res64: 38F0703010391DD2 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:06:28] 607*2^1001841-1 is not prime. Res64: 42AE4E49D43CB059 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:06:28] 621*2^1001842-1 is not prime. Res64: 27F16673DFA26E8B Time : 0.0 sec. user=mdettweiler [2012-01-18 12:06:33] 953*2^1001828-1 is not prime. Res64: 18D251A5A715801B Time : 0.0 sec. user=mdettweiler [2012-01-18 12:06:34] 977*2^1001828-1 is not prime. Res64: 120257CFCFC7371B Time : 0.0 sec. user=mdettweiler [2012-01-18 12:07:50] 845*2^1001840-1 is not prime. Res64: 39D9FD75942FD2DB Time : 0.0 sec. user=mdettweiler [2012-01-18 12:07:52] 963*2^1001840-1 is not prime. Res64: E5A81301D8A71A0C Time : 0.0 sec. user=mdettweiler [2012-01-18 12:08:23] 871*2^1001843-1 is not prime. Res64: A6A70B510DCCCD39 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:08:53] 735*2^1001842-1 is not prime. Res64: C54C93F9C938C17C Time : 0.0 sec. user=mdettweiler [2012-01-18 12:08:55] 801*2^1001842-1 is not prime. Res64: 17077B2E57B7F88E Time : 0.0 sec. user=mdettweiler [2012-01-18 12:12:11] 803*2^1001842-1 is not prime. Res64: E8939673A56CCD73 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:12:13] 813*2^1001842-1 is not prime. Res64: 5B6A10E2F412500E Time : 0.0 sec. user=mdettweiler [2012-01-18 12:14:02] 943*2^1001843-1 is not prime. Res64: AF2119A9BCF0BC6F Time : 0.0 sec. user=mdettweiler [2012-01-18 12:16:02] 927*2^1001844-1 is not prime. Res64: 7D899B5E1347EC15 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:21:39] 741*2^1001845-1 is not prime. Res64: F264822E2ABAEDC2 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:23:39] 777*2^1001845-1 is not prime. Res64: 3DC545B409216EAD Time : 0.0 sec. user=mdettweiler [2012-01-18 12:24:42] 601*2^1001835-1 is not prime. Res64: 983930A5B775CF78 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:24:42] 861*2^1001835-1 is not prime. Res64: EA4EF8D8FC094FA3 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:27:40] 717*2^1001844-1 is not prime. Res64: BF26030ABFBD49C3 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:27:41] 759*2^1001844-1 is not prime. Res64: 6C7B5943CF5AB663 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:28:26] 945*2^1001843-1 is not prime. Res64: 86B8E8A07999D6C9 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:28:26] 689*2^1001844-1 is not prime. Res64: 3766E90F23CBE332 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:29:17] 811*2^1001845-1 is not prime. Res64: 02F167587F9CAC4D Time : 0.0 sec. user=mdettweiler [2012-01-18 12:31:16] 831*2^1001845-1 is not prime. Res64: 1D95F700861D5449 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:31:58] 715*2^1001845-1 is not prime. Res64: 423D43D982AB17FB Time : 0.0 sec. user=mdettweiler [2012-01-18 12:31:59] 729*2^1001845-1 is not prime. Res64: 9D276355E269352F Time : 0.0 sec. user=mdettweiler [2012-01-18 12:33:18] 957*2^1001844-1 is not prime. Res64: B56CF627E44525C2 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:33:19] 969*2^1001844-1 is not prime. Res64: B7EF9D40E2796E7C Time : 0.0 sec. user=mdettweiler [2012-01-18 12:36:54] 739*2^1001847-1 is not prime. Res64: 2B109B7C6ACDAE0F Time : 0.0 sec. user=mdettweiler [2012-01-18 12:38:53] 781*2^1001847-1 is not prime. Res64: B7BEC5DE9715EA6A Time : 0.0 sec. user=mdettweiler [2012-01-18 12:44:31] 743*2^1001848-1 is not prime. Res64: C41CC18374A42F4A Time : 0.0 sec. user=mdettweiler [2012-01-18 12:46:30] 773*2^1001848-1 is not prime. Res64: C4A034B276D9595A Time : 0.0 sec. user=mdettweiler [2012-01-18 12:47:24] 641*2^1001846-1 is not prime. Res64: B4BF72E283170AF0 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:47:25] 707*2^1001846-1 is not prime. Res64: AAB3224ECB299785 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:48:08] 861*2^1001846-1 is not prime. Res64: F0F34A2A80E92719 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:48:08] 921*2^1001846-1 is not prime. Res64: 9157028FF0C41904 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:51:38] 795*2^1001847-1 is not prime. Res64: 922F085E58C74355 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:51:38] 831*2^1001847-1 is not prime. Res64: 98B8946B99E65ADE Time : 0.0 sec. user=mdettweiler [2012-01-18 12:52:07] 691*2^1001849-1 is not prime. Res64: 5A51061745A82EF0 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:52:57] 639*2^1001848-1 is not prime. Res64: EA5D75D27D27B004 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:52:58] 687*2^1001848-1 is not prime. Res64: CBEF25CF0A78736F Time : 0.0 sec. user=mdettweiler [2012-01-18 12:53:39] 925*2^1001837-1 is not prime. Res64: F3BF8512CC5F9F55 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:53:39] 991*2^1001837-1 is not prime. Res64: 953A0D18815A0129 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:54:06] 699*2^1001849-1 is not prime. Res64: F8293C1F82505727 Time : 0.0 sec. user=mdettweiler [2012-01-18 12:59:42] 627*2^1001850-1 is not prime. Res64: 18BD7D6AB15719CA Time : 0.0 sec. user=mdettweiler [2012-01-18 13:01:44] 801*2^1001850-1 is not prime. Res64: 5E373EB316D08B36 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:07:51] 721*2^1001849-1 is not prime. Res64: BD5425D93CC97252 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:07:52] 741*2^1001849-1 is not prime. Res64: 9BC7A50D11B8662E Time : 0.0 sec. user=mdettweiler [2012-01-18 13:08:28] 841*2^1001849-1 is not prime. Res64: 1A6B18953007AB2D Time : 0.0 sec. user=mdettweiler [2012-01-18 13:08:29] 861*2^1001849-1 is not prime. Res64: 5AD6646E05F71AA9 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:08:56] 977*2^1001850-1 is not prime. Res64: B3CFD0798CF42586 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:09:20] 645*2^1001851-1 is not prime. Res64: 3C31812FC2172ECE Time : 0.0 sec. user=mdettweiler [2012-01-18 13:13:45] 633*2^1001850-1 is not prime. Res64: 762448719B9C2106 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:13:45] 741*2^1001850-1 is not prime. Res64: D6B504416DE0DB43 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:14:54] 945*2^1001849-1 is not prime. Res64: 25247C06C0CB8092 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:14:54] 615*2^1001850-1 is not prime. Res64: 1B9916D8F0B8D856 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:16:35] 859*2^1001851-1 is not prime. Res64: 5D90AA65E0730678 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:16:58] 861*2^1001851-1 is not prime. Res64: D0B896767096CDA8 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:24:11] 677*2^1001852-1 is not prime. Res64: 40564D1EBB13C206 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:24:34] 749*2^1001852-1 is not prime. Res64: 001AC6F0A9A9D711 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:28:03] 619*2^1001843-1 is not prime. Res64: 4F453B83D25388DA Time : 0.0 sec. user=mdettweiler [2012-01-18 13:28:03] 811*2^1001843-1 is not prime. Res64: 34747A5154BBD363 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:30:44] 759*2^1001851-1 is not prime. Res64: 963729CB5E8C0BAA Time : 0.0 sec. user=mdettweiler [2012-01-18 13:30:45] 819*2^1001851-1 is not prime. Res64: FEADFB8425C1E8DD Time : 0.0 sec. user=mdettweiler [2012-01-18 13:31:31] 699*2^1001844-1 is not prime. Res64: 8A0DB43EAF59773C Time : 0.0 sec. user=mdettweiler [2012-01-18 13:31:31] 707*2^1001844-1 is not prime. Res64: A33765D6FE58B6BB Time : 0.0 sec. user=mdettweiler [2012-01-18 13:31:39] 843*2^1001851-1 is not prime. Res64: A3496EF9D8A29C40 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:31:39] 849*2^1001851-1 is not prime. Res64: C0AE295B54BBA2B3 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:31:46] 753*2^1001852-1 is not prime. Res64: B4959D1236B84872 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:33:46] 935*2^1001852-1 is not prime. Res64: 8DD353EDE4BF3C44 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:38:40] 885*2^1001851-1 is not prime. Res64: E087C34D7F657675 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:38:40] 969*2^1001851-1 is not prime. Res64: AEB9B5EE3C74E172 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:39:23] 661*2^1001855-1 is not prime. Res64: D383B0B1A14BDB5B Time : 0.0 sec. user=mdettweiler [2012-01-18 13:39:43] 973*2^1001851-1 is not prime. Res64: 2D713E13FB40C69F Time : 0.0 sec. user=mdettweiler [2012-01-18 13:39:43] 633*2^1001852-1 is not prime. Res64: CA392E805DA8F320 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:41:24] 663*2^1001855-1 is not prime. Res64: 6E01ABB55539E2B0 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:47:00] 759*2^1001855-1 is not prime. Res64: 407D8983155C85F7 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:49:00] 921*2^1001855-1 is not prime. Res64: 457EEF5BA715F27A Time : 0.0 sec. user=mdettweiler [2012-01-18 13:52:53] 945*2^1001853-1 is not prime. Res64: E1DF906F571D3A26 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:52:53] 611*2^1001854-1 is not prime. Res64: 52A8AC130DF0DA0E Time : 0.0 sec. user=mdettweiler [2012-01-18 13:53:43] 971*2^1001854-1 is not prime. Res64: 7E008F1B8984AB9B Time : 0.0 sec. user=mdettweiler [2012-01-18 13:53:43] 619*2^1001855-1 is not prime. Res64: 7C128DD93987C7BF Time : 0.0 sec. user=mdettweiler [2012-01-18 13:56:14] 969*2^1001855-1 is not prime. Res64: 671B4C99F13D501F Time : 0.0 sec. user=mdettweiler [2012-01-18 13:58:15] 981*2^1001855-1 is not prime. Res64: F9556CB0F273A91E Time : 0.0 sec. user=mdettweiler [2012-01-18 13:58:28] 685*2^1001855-1 is not prime. Res64: 335405EF8B5E846A Time : 0.0 sec. user=mdettweiler [2012-01-18 13:58:28] 693*2^1001855-1 is not prime. Res64: 3CAC45A8349949AD Time : 0.0 sec. user=mdettweiler [2012-01-18 13:59:33] 789*2^1001855-1 is not prime. Res64: 8B702BC4C57C9010 Time : 0.0 sec. user=mdettweiler [2012-01-18 13:59:34] 885*2^1001855-1 is not prime. Res64: F8A6E300859E6F6C Time : 0.0 sec. user=mdettweiler [2012-01-18 14:03:49] 849*2^1001856-1 is not prime. Res64: 48D6B8D672DB8113 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:07:28] 933*2^1001856-1 is not prime. Res64: C1B9221F39F49BA1 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:11:28] 885*2^1001857-1 is not prime. Res64: FC1798E6BEB37CF7 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:12:41] 623*2^1001856-1 is not prime. Res64: 71DEF773B45D16F2 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:12:41] 675*2^1001856-1 is not prime. Res64: 462FE462CC8AF66F Time : 0.0 sec. user=mdettweiler [2012-01-18 14:13:08] 975*2^1001845-1 is not prime. Res64: E9044A77B9A11AE8 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:13:08] 987*2^1001845-1 is not prime. Res64: A1B3EB02631240BB Time : 0.0 sec. user=mdettweiler [2012-01-18 14:13:32] 683*2^1001856-1 is not prime. Res64: 2AC8C76F15051553 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:13:32] 779*2^1001856-1 is not prime. Res64: A6438257DADC3AA6 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:15:07] 895*2^1001857-1 is not prime. Res64: 2DBCE2C6E169ACF1 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:19:09] 915*2^1001857-1 is not prime. Res64: 3C716D4AA5BEBE6A Time : 0.0 sec. user=mdettweiler [2012-01-18 14:19:22] 741*2^1001857-1 is not prime. Res64: A3DBC766382611B9 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:19:22] 765*2^1001857-1 is not prime. Res64: 0217F8FCF74F31E9 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:20:26] 975*2^1001856-1 is not prime. Res64: 31DB0421C417D60C Time : 0.0 sec. user=mdettweiler [2012-01-18 14:20:26] 667*2^1001857-1 is not prime. Res64: 06CF756F2002198B Time : 0.0 sec. user=mdettweiler [2012-01-18 14:22:33] 783*2^1001850-1 is not prime. Res64: 11C1DD570BF9A07A Time : 0.0 sec. user=mdettweiler [2012-01-18 14:22:33] 797*2^1001850-1 is not prime. Res64: A8841A3C85EC4122 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:22:44] 723*2^1001859-1 is not prime. Res64: E33B554CF5C0DDAF Time : 0.0 sec. user=mdettweiler [2012-01-18 14:26:47] 735*2^1001859-1 is not prime. Res64: B1E3009E6FDA6313 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:30:20] 715*2^1001861-1 is not prime. Res64: E0BDA0E49ECFBD6F Time : 0.0 sec. user=mdettweiler [2012-01-18 14:32:28] 837*2^1001858-1 is not prime. Res64: 441707389FBC668A Time : 0.0 sec. user=mdettweiler [2012-01-18 14:32:28] 861*2^1001858-1 is not prime. Res64: DEFDCDE88DE13F48 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:33:16] 669*2^1001859-1 is not prime. Res64: 93B56648CBAC03A4 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:33:17] 705*2^1001859-1 is not prime. Res64: FC72414F1296F99D Time : 0.0 sec. user=mdettweiler [2012-01-18 14:34:23] 727*2^1001861-1 is not prime. Res64: 6120CCEFC5F4D8E8 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:37:58] 861*2^1001861-1 is not prime. Res64: 5A2BD17AEE0A7A5E Time : 0.0 sec. user=mdettweiler [2012-01-18 14:40:08] 803*2^1001860-1 is not prime. Res64: 26E0E894CD7C3619 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:40:09] 825*2^1001860-1 is not prime. Res64: 947C9669355A2A75 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:41:22] 829*2^1001859-1 is not prime. Res64: 71ABA71FD0D1311B Time : 0.0 sec. user=mdettweiler [2012-01-18 14:41:23] 949*2^1001859-1 is not prime. Res64: DBEA54160A725D71 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:42:02] 713*2^1001862-1 is not prime. Res64: A65FDECE349EBA85 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:45:36] 741*2^1001862-1 is not prime. Res64: 07CCFE6D9CCA03C5 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:51:19] 969*2^1001863-1 is not prime. Res64: 468C765DED3AC877 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:52:08] 871*2^1001861-1 is not prime. Res64: 8B21AEA20B53D209 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:52:08] 885*2^1001861-1 is not prime. Res64: 2AD1FA56F5B16247 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:52:58] 627*2^1001862-1 is not prime. Res64: D4630DE35769BF28 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:52:58] 651*2^1001862-1 is not prime. Res64: 2125CED2A987D6E0 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:53:14] 609*2^1001864-1 is not prime. Res64: D87FB7802CF2B270 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:55:16] 615*2^1001853-1 is not prime. Res64: 9F8071882E611529 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:55:17] 885*2^1001853-1 is not prime. Res64: BCF03F1955C18BD8 Time : 0.0 sec. user=mdettweiler [2012-01-18 14:58:55] 617*2^1001864-1 is not prime. Res64: 04BA3DA04ADC44B9 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:00:51] 699*2^1001865-1 is not prime. Res64: 20F73A6538919D05 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:01:09] 705*2^1001863-1 is not prime. Res64: 9517C4B885356124 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:01:10] 819*2^1001863-1 is not prime. Res64: 716624D72EA04950 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:01:34] 681*2^1001854-1 is not prime. Res64: EDF254DAEB48CA5A Time : 0.0 sec. user=mdettweiler [2012-01-18 15:01:35] 917*2^1001854-1 is not prime. Res64: 97BB64C589F36203 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:02:11] 825*2^1001862-1 is not prime. Res64: 1BAA3075CBF786AD Time : 0.0 sec. user=mdettweiler [2012-01-18 15:02:12] 975*2^1001862-1 is not prime. Res64: 1717EC0BF86E9C29 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:06:33] 909*2^1001865-1 is not prime. Res64: 9F8081CCB25B822D Time : 0.0 sec. user=mdettweiler [2012-01-18 15:08:27] 617*2^1001866-1 is not prime. Res64: C53CE8A7CEF9FA73 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:11:51] 827*2^1001864-1 is not prime. Res64: D05600B8B0F4DCC9 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:11:54] 903*2^1001864-1 is not prime. Res64: 45492578BAC26E5F Time : 0.0 sec. user=mdettweiler [2012-01-18 15:14:15] 855*2^1001866-1 is not prime. Res64: 0C4A9AA0C2A10985 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:15:00] 935*2^1001864-1 is not prime. Res64: 26BF11BC45487FD8 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:15:01] 679*2^1001865-1 is not prime. Res64: 09FD330622DAC593 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:16:06] 911*2^1001866-1 is not prime. Res64: 6B231152D2836248 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:20:53] 653*2^1001866-1 is not prime. Res64: 662DEDBD33D64DB7 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:20:54] 705*2^1001866-1 is not prime. Res64: 023359234D633FE2 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:21:52] 703*2^1001867-1 is not prime. Res64: 7E9366F767FECC15 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:21:57] 825*2^1001866-1 is not prime. Res64: 2C01DAEEBA890818 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:21:57] 843*2^1001866-1 is not prime. Res64: 17D9DABCCCC32955 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:23:43] 823*2^1001867-1 is not prime. Res64: 9B9A1FEBBE54F3A2 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:29:29] 629*2^1001868-1 is not prime. Res64: 52A981515A0EDE71 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:31:21] 915*2^1001868-1 is not prime. Res64: B8B66C6D4A3E8BC9 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:31:43] 917*2^1001866-1 is not prime. Res64: ACA93304175E96A1 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:31:43] 609*2^1001867-1 is not prime. Res64: 206D245B693C34AA Time : 0.0 sec. user=mdettweiler [2012-01-18 15:34:48] 759*2^1001867-1 is not prime. Res64: E7898B0F5E5D6457 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:34:49] 781*2^1001867-1 is not prime. Res64: 06D90741DE21E987 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:37:07] 927*2^1001868-1 is not prime. Res64: D13FEE65E96BE7A6 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:38:58] 687*2^1001869-1 is not prime. Res64: EA95B1A079DDA8A6 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:40:33] 859*2^1001867-1 is not prime. Res64: 2C355A80527E5045 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:40:34] 883*2^1001867-1 is not prime. Res64: CF4ACF1CA8B03B2F Time : 0.0 sec. user=mdettweiler [2012-01-18 15:41:38] 723*2^1001868-1 is not prime. Res64: 537157085840F721 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:41:39] 893*2^1001868-1 is not prime. Res64: DA4A704A50931B43 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:46:26] 945*2^1001869-1 is not prime. Res64: C95CBE2CB769E063 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:46:35] 605*2^1001870-1 is not prime. Res64: 83AC433785492D2A Time : 0.0 sec. user=mdettweiler [2012-01-18 15:51:15] 855*2^1001860-1 is not prime. Res64: 267F5E35C3DEBE9A Time : 0.0 sec. user=mdettweiler [2012-01-18 15:51:15] 873*2^1001860-1 is not prime. Res64: 5B3F5742BC365E42 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:51:32] 817*2^1001869-1 is not prime. Res64: 91631B66E9AC1536 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:51:33] 831*2^1001869-1 is not prime. Res64: CD8C023CD7EE477B Time : 0.0 sec. user=mdettweiler [2012-01-18 15:53:34] 951*2^1001858-1 is not prime. Res64: 160B862E74578C21 Time : 0.0 sec. user=mdettweiler [2012-01-18 15:53:35] 619*2^1001859-1 is not prime. Res64: 0BE1B4E733B7C88E Time : 0.0 sec. user=mdettweiler [2012-01-18 15:54:30] 847*2^1001869-1 is not prime. Res64: 856F431F2C7EF28A Time : 0.0 sec. user=mdettweiler [2012-01-18 15:54:30] 867*2^1001869-1 is not prime. Res64: 0986B341675ACC99 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:00:16] 675*2^1001870-1 is not prime. Res64: 9037597A866E46EA Time : 0.0 sec. user=mdettweiler [2012-01-18 16:00:18] 717*2^1001870-1 is not prime. Res64: 283B48EF9BDFD715 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:01:30] 797*2^1001870-1 is not prime. Res64: E88566FF7EDBB7B1 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:01:31] 801*2^1001870-1 is not prime. Res64: E190C4F49C7E20F3 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:11:17] 751*2^1001871-1 is not prime. Res64: 96FE1A3232B9CE04 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:11:19] 793*2^1001871-1 is not prime. Res64: 35C19E3507F8F1D0 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:16:27] 951*2^1001871-1 is not prime. Res64: 8B10631E26246BB6 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:16:28] 605*2^1001872-1 is not prime. Res64: FF6CAB0DC6EEFA64 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:19:58] 645*2^1001872-1 is not prime. Res64: 7A1DCDEEFDD460EF Time : 0.0 sec. user=mdettweiler [2012-01-18 16:19:59] 705*2^1001872-1 is not prime. Res64: 6752C5E12F2466D1 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:21:14] 797*2^1001872-1 is not prime. Res64: D0A742E835E3949C Time : 0.0 sec. user=mdettweiler [2012-01-18 16:21:15] 825*2^1001872-1 is not prime. Res64: A1EE91B1039595DF Time : 0.0 sec. user=mdettweiler [2012-01-18 16:22:21] 787*2^1001865-1 is not prime. Res64: B8D5712C560B94C1 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:22:21] 795*2^1001865-1 is not prime. Res64: 2D40F83741B44095 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:27:20] 755*2^1001866-1 is not prime. Res64: 7A427A28C6739D36 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:27:21] 803*2^1001866-1 is not prime. Res64: 270E7216929729D9 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:31:01] 827*2^1001872-1 is not prime. Res64: 3BEC2A4EC0DA7CF8 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:31:02] 869*2^1001872-1 is not prime. Res64: 583AF6C775D1E836 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:36:08] 903*2^1001872-1 is not prime. Res64: 29C15B492A3EDFEC Time : 0.0 sec. user=mdettweiler [2012-01-18 16:36:08] 615*2^1001873-1 is not prime. Res64: BD2501452BCCECBD Time : 0.0 sec. user=mdettweiler [2012-01-18 16:39:40] 631*2^1001873-1 is not prime. Res64: 9D4A5BFF98463020 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:39:40] 705*2^1001873-1 is not prime. Res64: 96E3F65F8C20D803 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:40:56] 787*2^1001873-1 is not prime. Res64: 89AE8AED094DA0A5 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:40:57] 837*2^1001873-1 is not prime. Res64: 28087A36AF956D5D Time : 0.0 sec. user=mdettweiler [2012-01-18 16:50:38] 797*2^1001874-1 is not prime. Res64: 2B814C081CFE7563 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:50:39] 861*2^1001874-1 is not prime. Res64: A348A3BCF4B83477 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:55:50] 631*2^1001875-1 is not prime. Res64: 8CF1067F401490E0 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:55:50] 679*2^1001875-1 is not prime. Res64: E65C5ED446735611 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:59:25] 733*2^1001875-1 is not prime. Res64: F0E123027515A3B5 Time : 0.0 sec. user=mdettweiler [2012-01-18 16:59:25] 751*2^1001875-1 is not prime. Res64: E5236759F7F04C83 Time : 0.0 sec. user=mdettweiler [2012-01-18 17:02:55] 891*2^1001875-1 is not prime. Res64: 34A91C3B3AE934A6 Time : 0.0 sec. user=mdettweiler [2012-01-18 17:02:57] 985*2^1001875-1 is not prime. Res64: 7DB8A792A18DB11D Time : 0.0 sec. user=mdettweiler [2012-01-18 17:10:26] 629*2^1001876-1 is not prime. Res64: 99EEC6B793E92601 Time : 0.0 sec. user=mdettweiler [2012-01-18 17:10:26] 659*2^1001876-1 is not prime. Res64: 6F5B5D8D1B72E0D1 Time : 0.0 sec. user=mdettweiler [2012-01-18 17:15:34] 669*2^1001876-1 is not prime. Res64: 268E7E4DB52BC2D9 Time : 0.0 sec. user=mdettweiler [2012-01-18 17:15:35] 803*2^1001876-1 is not prime. Res64: EB8729F145469FCF Time : 0.0 sec. user=mdettweiler [2012-01-18 17:19:12] 869*2^1001876-1 is not prime. Res64: 1AA8F0AE68EFF504 Time : 0.0 sec. user=mdettweiler [2012-01-18 17:19:13] 875*2^1001876-1 is not prime. Res64: 15F460B58582A454 Time : 0.0 sec. user=mdettweiler [2012-01-18 17:21:06] 691*2^1001871-1 is not prime. Res64: 1F21CC4BE0B0014C Time : 0.0 sec. user=mdettweiler [2012-01-18 17:21:07] 741*2^1001871-1 is not prime. Res64: 0BFE8CDF7EB8CF41 Time : 0.0 sec. user=mdettweiler [2012-01-18 17:22:00] 829*2^1001871-1 is not prime. Res64: E2B80257D5D16EEF Time : 0.0 sec. user=mdettweiler [2012-01-18 17:22:00] 859*2^1001871-1 is not prime. Res64: 5946BC381DF6A35C Time : 0.0 sec. user=mdettweiler [2012-01-18 17:24:58] 899*2^1001876-1 is not prime. Res64: 7621316C392B5752 Time : 0.0 sec. user=mdettweiler [2012-01-18 17:24:59] 935*2^1001876-1 is not prime. Res64: 5C7C474324C886A1 Time : 0.0 sec. user=mdettweiler [2012-01-18 17:34:43] 963*2^1001876-1 is not prime. Res64: 70BAEC3A1AAF5335 Time : 0.0 sec. user=mdettweiler [2012-01-18 17:34:43] 987*2^1001876-1 is not prime. Res64: 2BBBDF0BFAD287E2 Time : 0.0 sec. user=mdettweiler [2012-01-18 17:35:23] 601*2^1001877-1 is not prime. Res64: 1629BF9375E75D47 Time : 0.0 sec. user=mdettweiler [2012-01-18 17:35:23] 661*2^1001877-1 is not prime. Res64: 1ABD3AA92BB2E2A5 Time : 0.0 sec. user=mdettweiler [2012-01-18 17:39:02] 709*2^1001877-1 is not prime. Res64: D4A2F377DBA00785 Time : 0.0 sec. user=mdettweiler [2012-01-18 17:39:02] 741*2^1001877-1 is not prime. Res64: BAC499CD5D3B51B3 Time : 0.0 sec. user=mdettweiler [2012-01-18 17:44:45] 705*2^1001878-1 is not prime. Res64: 7970E436DD9B69CD Time : 0.0 sec. user=mdettweiler [2012-01-18 17:44:46] 813*2^1001878-1 is not prime. Res64: DC34C69B2D75CC53 Time : 0.0 sec. user=mdettweiler [2012-01-18 17:50:56] 879*2^1001873-1 is not prime. Res64: EC8B76616D9A00DA Time : 0.0 sec. user=mdettweiler [2012-01-18 17:50:56] 663*2^1001874-1 is not prime. Res64: 81B9F04454D73507 Time : 0.0 sec. user=mdettweiler [2012-01-18 17:53:58] 671*2^1001874-1 is not prime. Res64: 2B35A872F870858C Time : 0.0 sec. user=mdettweiler [2012-01-18 17:53:58] 681*2^1001874-1 is not prime. Res64: 534E688701495809 Time : 0.0 sec. user=mdettweiler [2012-01-18 17:54:24] 831*2^1001878-1 is not prime. Res64: A791D56BE4A4214F Time : 0.0 sec. user=mdettweiler [2012-01-18 17:54:24] 881*2^1001878-1 is not prime. Res64: C03BE33119F4DE70 Time : 0.0 sec. user=mdettweiler [2012-01-18 17:55:09] 609*2^1001879-1 is not prime. Res64: A9A5B0FCDFC38ADD Time : 0.0 sec. user=mdettweiler [2012-01-18 17:55:09] 855*2^1001879-1 is not prime. Res64: 6B9A76B2EDB92317 Time : 0.0 sec. user=mdettweiler [2012-01-18 18:00:58] 865*2^1001879-1 is not prime. Res64: 621B15E8B71721D6 Time : 0.0 sec. user=mdettweiler [2012-01-18 18:01:00] 985*2^1001879-1 is not prime. Res64: 32954A640C949698 Time : 0.0 sec. user=mdettweiler [2012-01-18 18:04:29] 633*2^1001880-1 is not prime. Res64: 934BE97508DB5487 Time : 0.0 sec. user=mdettweiler [2012-01-18 18:04:30] 675*2^1001880-1 is not prime. Res64: D20B792B0161572C Time : 0.0 sec. user=mdettweiler [2012-01-18 18:14:10] 619*2^1001881-1 is not prime. Res64: 76D8489499B6DA97 Time : 0.0 sec. user=mdettweiler [2012-01-18 18:14:11] 681*2^1001881-1 is not prime. Res64: A1A5A0981E586AE7 Time : 0.0 sec. user=mdettweiler [2012-01-18 18:14:50] 747*2^1001881-1 is not prime. Res64: ABEB24F87A91D660 Time : 0.0 sec. user=mdettweiler [2012-01-18 18:14:51] 769*2^1001881-1 is not prime. Res64: D92517EA8A10F937 Time : 0.0 sec. user=mdettweiler [2012-01-18 18:20:43] 801*2^1001881-1 is not prime. Res64: 69DB7DB60A5A12E7 Time : 0.0 sec. user=mdettweiler [2012-01-18 18:20:44] 807*2^1001881-1 is not prime. Res64: EC9BDCA4CDC945AC Time : 0.0 sec. user=mdettweiler [2012-01-18 18:26:40] 867*2^1001881-1 is not prime. Res64: BCCE653BD9CB3EAC Time : 0.0 sec. user=mdettweiler [2012-01-18 18:26:40] 937*2^1001881-1 is not prime. Res64: BACEF495C83CCB6A Time : 0.0 sec. user=mdettweiler [2012-01-18 18:33:52] 767*2^1001882-1 is not prime. Res64: B17CAB218035FAA5 Time : 0.0 sec. user=mdettweiler [2012-01-18 18:33:53] 825*2^1001882-1 is not prime. Res64: E61C7E1FD9BF0A9A Time : 0.0 sec. user=mdettweiler [2012-01-18 18:34:35] 887*2^1001882-1 is not prime. Res64: 7D8697EBD84EEF92 Time : 0.0 sec. user=mdettweiler [2012-01-18 18:34:36] 893*2^1001882-1 is not prime. Res64: C06F3D8BC30C97C8 Time : 0.0 sec. user=mdettweiler [2012-01-18 18:42:41] 941*2^1001882-1 is not prime. Res64: AFBBF14FC32388A3 Time : 0.0 sec. user=mdettweiler [2012-01-18 18:42:41] 615*2^1001883-1 is not prime. Res64: 895C75EB91934A2E Time : 0.0 sec. user=mdettweiler [2012-01-18 18:46:26] 669*2^1001883-1 is not prime. Res64: 8665606363292025 Time : 0.0 sec. user=mdettweiler [2012-01-18 18:46:27] 675*2^1001883-1 is not prime. Res64: 23CEC9C7EFD9CAD7 Time : 0.0 sec. user=mdettweiler [2012-01-18 18:49:39] 915*2^1001877-1 is not prime. Res64: 11848583E38FFB21 Time : 0.0 sec. user=mdettweiler [2012-01-18 18:49:39] 919*2^1001877-1 is not prime. Res64: 61B6534550624109 Time : 0.0 sec. user=mdettweiler [2012-01-18 18:52:24] 927*2^1001877-1 is not prime. Res64: F5B1EF97E1573BCF Time : 0.0 sec. user=mdettweiler [2012-01-18 18:52:25] 657*2^1001878-1 is not prime. Res64: B0E7FACD8B78A62A Time : 0.0 sec. user=mdettweiler [2012-01-18 18:53:36] 769*2^1001883-1 is not prime. Res64: 6B8790587DE18A5F Time : 0.0 sec. user=mdettweiler [2012-01-18 18:53:36] 859*2^1001883-1 is not prime. Res64: 0E9528B8FCB03C57 Time : 0.0 sec. user=mdettweiler [2012-01-18 18:56:34] 891*2^1001883-1 is not prime. Res64: B9E088FD9838A586 Time : 0.0 sec. user=mdettweiler [2012-01-18 18:56:35] 985*2^1001883-1 is not prime. Res64: 39BEB80A3D17D9B4 Time : 0.0 sec. user=mdettweiler [2012-01-18 19:02:27] 615*2^1001884-1 is not prime. Res64: 075D26D342DCFDE5 Time : 0.0 sec. user=mdettweiler [2012-01-18 19:02:28] 635*2^1001884-1 is not prime. Res64: EA82F869117174C5 Time : 0.0 sec. user=mdettweiler [2012-01-18 19:06:13] 663*2^1001884-1 is not prime. Res64: 6678E19682153217 Time : 0.0 sec. user=mdettweiler [2012-01-18 19:06:15] 687*2^1001884-1 is not prime. Res64: 87802A885E4423E3 Time : 0.0 sec. user=mdettweiler [2012-01-18 19:13:17] 729*2^1001885-1 is not prime. Res64: A917A9F309474676 Time : 0.0 sec. user=mdettweiler [2012-01-18 19:13:19] 771*2^1001885-1 is not prime. Res64: B45DF85FF93E6499 Time : 0.0 sec. user=mdettweiler [2012-01-18 19:16:21] 811*2^1001885-1 is not prime. Res64: 5CAE8474F18A8935 Time : 0.0 sec. user=mdettweiler [2012-01-18 19:16:22] 847*2^1001885-1 is not prime. Res64: 3B045A981924AC89 Time : 0.0 sec. user=mdettweiler [2012-01-18 19:23:43] 845*2^1001880-1 is not prime. Res64: 6E359A14072ADA9B Time : 0.0 sec. user=mdettweiler [2012-01-18 19:23:44] 879*2^1001880-1 is not prime. Res64: 85F2A173B06F5C73 Time : 0.0 sec. user=mdettweiler [2012-01-18 19:24:28] 987*2^1001885-1 is not prime. Res64: 01C8D7050B874A91 Time : 0.0 sec. user=mdettweiler [2012-01-18 19:24:29] 671*2^1001886-1 is not prime. Res64: ACB22EF3B6A1E114 Time : 0.0 sec. user=mdettweiler [2012-01-18 19:26:04] 755*2^1001886-1 is not prime. Res64: 79D89E0BEC15E47B Time : 0.0 sec. user=mdettweiler [2012-01-18 19:26:05] 761*2^1001886-1 is not prime. Res64: F545B688C440C3D9 Time : 0.0 sec. user=mdettweiler [2012-01-18 19:28:27] 899*2^1001880-1 is not prime. Res64: 47B75246315436AA Time : 0.0 sec. user=mdettweiler [2012-01-18 19:28:27] 929*2^1001880-1 is not prime. Res64: ADAC770136F8C79A Time : 0.0 sec. user=mdettweiler [2012-01-18 19:33:06] 765*2^1001886-1 is not prime. Res64: FBAEC888FA464790 Time : 0.0 sec. user=mdettweiler [2012-01-18 19:33:07] 815*2^1001886-1 is not prime. Res64: E5966E751C574A6C Time : 0.0 sec. user=mdettweiler [2012-01-18 19:38:17] 875*2^1001886-1 is not prime. Res64: D9965FAB5C2107AF Time : 0.0 sec. user=mdettweiler [2012-01-18 19:38:18] 945*2^1001886-1 is not prime. Res64: B929D895767622AC Time : 0.0 sec. user=mdettweiler [2012-01-18 19:44:26] 805*2^1001887-1 is not prime. Res64: FF12C5C0C3753052 Time : 0.0 sec. user=mdettweiler [2012-01-18 19:44:27] 859*2^1001887-1 is not prime. Res64: CE7BF24333FB1CAD Time : 0.0 sec. user=mdettweiler [2012-01-18 19:46:03] 861*2^1001887-1 is not prime. Res64: 7413D446B8E5DE97 Time : 0.0 sec. user=mdettweiler [2012-01-18 19:46:03] 909*2^1001887-1 is not prime. Res64: 4114DF05DE9FF9E1 Time : 0.0 sec. user=mdettweiler [2012-01-18 19:53:15] 603*2^1001888-1 is not prime. Res64: 9963F16EDC0F1880 Time : 0.0 sec. user=mdettweiler [2012-01-18 19:53:16] 617*2^1001888-1 is not prime. Res64: 4A506C7B13F69BA9 Time : 0.0 sec. user=mdettweiler [2012-01-18 19:58:43] 635*2^1001888-1 is not prime. Res64: 556191AC8E391F82 Time : 0.0 sec. user=mdettweiler [2012-01-18 19:58:43] 683*2^1001888-1 is not prime. Res64: CF2CD0B78F68F97F Time : 0.0 sec. user=mdettweiler [2012-01-18 20:04:57] 713*2^1001888-1 is not prime. Res64: DF9143CFF7CEB38D Time : 0.0 sec. user=mdettweiler [2012-01-18 20:04:59] 755*2^1001888-1 is not prime. Res64: EAA6C675B3C22567 Time : 0.0 sec. user=mdettweiler [2012-01-18 20:06:31] 759*2^1001888-1 is not prime. Res64: 486B884DE16A539F Time : 0.0 sec. user=mdettweiler [2012-01-18 20:06:32] 795*2^1001888-1 is not prime. Res64: B7D481672963723B Time : 0.0 sec. user=mdettweiler [2012-01-18 20:13:26] 845*2^1001888-1 is not prime. Res64: 3EC4D8A2271999B0 Time : 0.0 sec. user=mdettweiler [2012-01-18 20:13:27] 875*2^1001888-1 is not prime. Res64: 54641B9670FA1083 Time : 0.0 sec. user=mdettweiler [2012-01-18 20:21:17] 935*2^1001888-1 is not prime. Res64: BED7996E5C66A167 Time : 0.0 sec. user=mdettweiler [2012-01-18 20:21:17] 681*2^1001889-1 is not prime. Res64: 831BAB1E408214D7 Time : 0.0 sec. user=mdettweiler [2012-01-18 20:25:16] 711*2^1001889-1 is not prime. Res64: 364A4A0259A7A9F2 Time : 0.0 sec. user=mdettweiler [2012-01-18 20:25:17] 847*2^1001889-1 is not prime. Res64: 8150319847FE6BD4 Time : 0.0 sec. user=mdettweiler [2012-01-18 20:28:54] 873*2^1001884-1 is not prime. Res64: D68C3AD2AAFCFD66 Time : 0.0 sec. user=mdettweiler [2012-01-18 20:28:54] 903*2^1001884-1 is not prime. Res64: 7E6400B6682ED463 Time : 0.0 sec. user=mdettweiler [2012-01-18 20:29:07] 889*2^1001889-1 is not prime. Res64: DF2F331A09673224 Time : 0.0 sec. user=mdettweiler [2012-01-18 20:29:07] 979*2^1001889-1 is not prime. Res64: AAB04EE3D466F82D Time : 0.0 sec. user=mdettweiler [2012-01-18 20:29:10] 719*2^1001884-1 is not prime. Res64: 7D6FA460AE291336 Time : 0.0 sec. user=mdettweiler [2012-01-18 20:29:10] 863*2^1001884-1 is not prime. Res64: 7BBD5D1B8718A16B Time : 0.0 sec. user=mdettweiler [2012-01-18 20:33:42] 603*2^1001890-1 is not prime. Res64: E9C8D089CF96E6BB Time : 0.0 sec. user=mdettweiler [2012-01-18 20:33:42] 605*2^1001890-1 is not prime. Res64: 13C834319F96F170 Time : 0.0 sec. user=mdettweiler [2012-01-18 20:41:22] 645*2^1001890-1 is not prime. Res64: 99692E72C77E22E9 Time : 0.0 sec. user=mdettweiler [2012-01-18 20:41:23] 747*2^1001890-1 is not prime. Res64: 8C436EC74A58A6AB Time : 0.0 sec. user=mdettweiler [2012-01-18 20:45:57] 785*2^1001890-1 is not prime. Res64: 759FB8F1CB2B370A Time : 0.0 sec. user=mdettweiler [2012-01-18 20:45:57] 821*2^1001890-1 is not prime. Res64: 878CA52A6989443B Time : 0.0 sec. user=mdettweiler [2012-01-18 20:49:48] 673*2^1001891-1 is not prime. Res64: ADF237B5B1C75D06 Time : 0.0 sec. user=mdettweiler [2012-01-18 20:49:48] 693*2^1001891-1 is not prime. Res64: 1F2B0476C143695C Time : 0.0 sec. user=mdettweiler [2012-01-18 20:54:48] 733*2^1001891-1 is not prime. Res64: 20DD4C598C9138FA Time : 0.0 sec. user=mdettweiler [2012-01-18 20:54:49] 753*2^1001891-1 is not prime. Res64: 2304E996F5811F63 Time : 0.0 sec. user=mdettweiler [2012-01-18 20:58:22] 675*2^1001887-1 is not prime. Res64: D4AAD32A3B5236EA Time : 0.0 sec. user=mdettweiler [2012-01-18 20:58:22] 763*2^1001887-1 is not prime. Res64: D4B338DFC53855B0 Time : 0.0 sec. user=mdettweiler [2012-01-18 21:02:22] 801*2^1001891-1 is not prime. Res64: 2EA2C6D84554B41E Time : 0.0 sec. user=mdettweiler [2012-01-18 21:02:23] 811*2^1001891-1 is not prime. Res64: F751EA90120CEA70 Time : 0.0 sec. user=mdettweiler [2012-01-18 21:06:26] 819*2^1001891-1 is not prime. Res64: 4635FB87A607E3F4 Time : 0.0 sec. user=mdettweiler [2012-01-18 21:06:26] 825*2^1001891-1 is not prime. Res64: 00CEB303241A9FA5 Time : 0.0 sec. user=mdettweiler [2012-01-18 21:11:21] 919*2^1001887-1 is not prime. Res64: 7A640F27328EA44A Time : 0.0 sec. user=mdettweiler [2012-01-18 21:11:21] 945*2^1001887-1 is not prime. Res64: 4D852BECE3C5D4C0 Time : 0.0 sec. user=mdettweiler [2012-01-18 21:12:17] 949*2^1001891-1 is not prime. Res64: 0412978807091F35 Time : 0.0 sec. user=mdettweiler [2012-01-18 21:12:19] 623*2^1001892-1 is not prime. Res64: B4B70F7989911D81 Time : 0.0 sec. user=mdettweiler [2012-01-18 21:14:40] 627*2^1001892-1 is not prime. Res64: 07C592BF2D00136D Time : 0.0 sec. user=mdettweiler [2012-01-18 21:14:41] 629*2^1001892-1 is not prime. Res64: B39AC2C0870FD54D Time : 0.0 sec. user=mdettweiler [2012-01-18 21:22:15] 797*2^1001892-1 is not prime. Res64: 31561D183999CB90 Time : 0.0 sec. user=mdettweiler [2012-01-18 21:22:15] 809*2^1001892-1 is not prime. Res64: FB76FD59DDD942B2 Time : 0.0 sec. user=mdettweiler [2012-01-18 21:28:47] 893*2^1001892-1 is not prime. Res64: E97188E4F249D344 Time : 0.0 sec. user=mdettweiler [2012-01-18 21:28:48] 977*2^1001892-1 is not prime. Res64: 0920EED3B0751000 Time : 0.0 sec. user=mdettweiler [2012-01-18 21:32:28] 721*2^1001893-1 is not prime. Res64: 64F14C1258D67196 Time : 0.0 sec. user=mdettweiler [2012-01-18 21:32:29] 861*2^1001893-1 is not prime. Res64: 81B2712C0C2A2EF0 Time : 0.0 sec. user=mdettweiler [2012-01-18 21:35:00] 645*2^1001894-1 is not prime. Res64: E0B5633C392C00DB Time : 0.0 sec. user=mdettweiler [2012-01-18 21:35:00] 675*2^1001894-1 is not prime. Res64: 8EB826C5BCBD4FB2 Time : 0.0 sec. user=mdettweiler [2012-01-18 21:42:33] 705*2^1001894-1 is not prime. Res64: 1E12B3BC3345AEF7 Time : 0.0 sec. user=mdettweiler [2012-01-18 21:42:34] 753*2^1001894-1 is not prime. Res64: 6E31EEEC20B1AC8A Time : 0.0 sec. user=mdettweiler [2012-01-18 21:51:06] 995*2^1001894-1 is not prime. Res64: 86A6198C89517904 Time : 0.0 sec. user=mdettweiler [2012-01-18 21:51:07] 649*2^1001895-1 is not prime. Res64: C8D6F86B5A9CEC0A Time : 0.0 sec. user=mdettweiler [2012-01-18 21:52:18] 775*2^1001895-1 is not prime. Res64: 53EB9B2963975E4E Time : 0.0 sec. user=mdettweiler [2012-01-18 21:52:19] 783*2^1001895-1 is not prime. Res64: 40C798B796C3C40C Time : 0.0 sec. user=mdettweiler [2012-01-18 21:54:51] 919*2^1001895-1 is not prime. Res64: 564160D0108960B1 Time : 0.0 sec. user=mdettweiler [2012-01-18 21:54:51] 921*2^1001895-1 is not prime. Res64: A29CC2197644850B Time : 0.0 sec. user=mdettweiler [2012-01-18 21:54:57] 705*2^1001891-1 is not prime. Res64: FF31D9C2E0CC5469 Time : 0.0 sec. user=mdettweiler [2012-01-18 21:54:57] 711*2^1001891-1 is not prime. Res64: 3626FF6A36ADE573 Time : 0.0 sec. user=mdettweiler [2012-01-18 22:02:30] 657*2^1001896-1 is not prime. Res64: A9A919C972DB1CF7 Time : 0.0 sec. user=mdettweiler [2012-01-18 22:02:31] 785*2^1001896-1 is not prime. Res64: 9C2FEF92FB27370D Time : 0.0 sec. user=mdettweiler [2012-01-18 22:05:20] 941*2^1001890-1 is not prime. Res64: E3F3DCE251E22F83 Time : 0.0 sec. user=mdettweiler [2012-01-18 22:05:20] 621*2^1001891-1 is not prime. Res64: 10126C13F6F4D315 Time : 0.0 sec. user=mdettweiler [2012-01-18 22:10:58] 803*2^1001896-1 is not prime. Res64: 29056A6FB310EC04 Time : 0.0 sec. user=mdettweiler [2012-01-18 22:11:00] 825*2^1001896-1 is not prime. Res64: FDDFDD43B56EF94B Time : 0.0 sec. user=mdettweiler [2012-01-18 22:14:29] 965*2^1001896-1 is not prime. Res64: 430B1CD290AF7FA6 Time : 0.0 sec. user=mdettweiler [2012-01-18 22:14:29] 631*2^1001897-1 is not prime. Res64: DCF19CD1427CBE3A Time : 0.0 sec. user=mdettweiler [2012-01-18 22:14:49] 651*2^1001897-1 is not prime. Res64: 60B34C77C4AECB8D Time : 0.0 sec. user=mdettweiler [2012-01-18 22:14:49] 867*2^1001897-1 is not prime. Res64: FEF7039A0C857B45 Time : 0.0 sec. user=mdettweiler [2012-01-18 22:24:09] 635*2^1001892-1 is not prime. Res64: B13495ECB8809809 Time : 0.0 sec. user=mdettweiler [2012-01-18 22:24:09] 669*2^1001892-1 is not prime. Res64: ECE8A3754030616F Time : 0.0 sec. user=mdettweiler [2012-01-18 22:24:27] 949*2^1001897-1 is not prime. Res64: BCA6A6CF1AB27FFA Time : 0.0 sec. user=mdettweiler [2012-01-18 22:24:27] 635*2^1001898-1 is not prime. Res64: 5E5E4AFC600BD64A Time : 0.0 sec. user=mdettweiler [2012-01-18 22:30:41] 803*2^1001898-1 is not prime. Res64: 2C592FAC561EE7B2 Time : 0.0 sec. user=mdettweiler [2012-01-18 22:30:42] 843*2^1001898-1 is not prime. Res64: 32723B4DBD3468F4 Time : 0.0 sec. user=mdettweiler [2012-01-18 22:34:10] 905*2^1001898-1 is not prime. Res64: 93181EEABDD9A215 Time : 0.0 sec. user=mdettweiler [2012-01-18 22:34:11] 601*2^1001899-1 is not prime. Res64: F9B593E99EBF0F31 Time : 0.0 sec. user=mdettweiler [2012-01-18 22:34:30] 645*2^1001899-1 is not prime. Res64: 97C2CF6488E3561C Time : 0.0 sec. user=mdettweiler [2012-01-18 22:34:30] 733*2^1001899-1 is not prime. Res64: 05AE055BD2E6CF81 Time : 0.0 sec. user=mdettweiler [2012-01-18 22:37:24] 609*2^1001893-1 is not prime. Res64: B4B887D72B7E2B1D Time : 0.0 sec. user=mdettweiler [2012-01-18 22:37:24] 625*2^1001893-1 is not prime. Res64: 6B3E4F448FC5524E Time : 0.0 sec. user=mdettweiler [2012-01-18 22:44:10] 677*2^1001900-1 is not prime. Res64: E887B3A16F4BC3E6 Time : 0.0 sec. user=mdettweiler [2012-01-18 22:44:11] 857*2^1001900-1 is not prime. Res64: 884ADD2A0051613B Time : 0.0 sec. user=mdettweiler [2012-01-18 22:50:55] 927*2^1001900-1 is not prime. Res64: BE0E6A835274D5CA Time : 0.0 sec. user=mdettweiler [2012-01-18 22:50:56] 929*2^1001900-1 is not prime. Res64: F31161E2E5661447 Time : 0.0 sec. user=mdettweiler [2012-01-18 22:54:44] 607*2^1001901-1 is not prime. Res64: DF13A442C071A6FB Time : 0.0 sec. user=mdettweiler [2012-01-18 22:54:44] 877*2^1001901-1 is not prime. Res64: 6EE638B4BC525D3A Time : 0.0 sec. user=mdettweiler [2012-01-18 22:59:18] 951*2^1001901-1 is not prime. Res64: 76021ED3CE238CEB Time : 0.0 sec. user=mdettweiler [2012-01-18 22:59:19] 961*2^1001901-1 is not prime. Res64: FCC3D427E186C260 Time : 0.0 sec. user=mdettweiler [2012-01-18 23:04:28] 831*2^1001902-1 is not prime. Res64: 2E537803A8A1FF98 Time : 0.0 sec. user=mdettweiler [2012-01-18 23:04:31] 873*2^1001902-1 is not prime. Res64: 8AB46DA4E7E8279B Time : 0.0 sec. user=mdettweiler [2012-01-18 23:14:28] 741*2^1001903-1 is not prime. Res64: 78B4ACE1827B4D20 Time : 0.0 sec. user=mdettweiler [2012-01-18 23:14:29] 871*2^1001903-1 is not prime. Res64: 8C0BF0CCB11C0089 Time : 0.0 sec. user=mdettweiler [2012-01-18 23:15:25] 947*2^1001902-1 is not prime. Res64: 56C594815C6F3541 Time : 0.0 sec. user=mdettweiler [2012-01-18 23:15:26] 965*2^1001902-1 is not prime. Res64: E9FCC9D618785145 Time : 0.0 sec. user=mdettweiler [2012-01-18 23:19:05] 921*2^1001903-1 is not prime. Res64: 8432A1A7F09B7CE4 Time : 0.0 sec. user=mdettweiler [2012-01-18 23:19:05] 609*2^1001904-1 is not prime. Res64: 70E90C62F116A81D Time : 0.0 sec. user=mdettweiler [2012-01-18 23:24:17] 707*2^1001904-1 is not prime. Res64: 920A5B38F753D4DF Time : 0.0 sec. user=mdettweiler [2012-01-18 23:24:17] 723*2^1001904-1 is not prime. Res64: 2B97375D38CEBDF9 Time : 0.0 sec. user=mdettweiler [2012-01-18 23:30:52] 651*2^1001898-1 is not prime. Res64: 8D4242CFEE783E85 Time : 0.0 sec. user=mdettweiler [2012-01-18 23:30:52] 797*2^1001898-1 is not prime. Res64: 9B40A41D41229E60 Time : 0.0 sec. user=mdettweiler [2012-01-18 23:31:49] 889*2^1001897-1 is not prime. Res64: 21ABD5F9C61F5928 Time : 0.0 sec. user=mdettweiler [2012-01-18 23:31:49] 939*2^1001897-1 is not prime. Res64: F521FFB4426B50BA Time : 0.0 sec. user=mdettweiler [2012-01-18 23:34:22] 863*2^1001904-1 is not prime. Res64: 7300B6CB189D8B9E Time : 0.0 sec. user=mdettweiler [2012-01-18 23:34:23] 915*2^1001904-1 is not prime. Res64: 7654284D18FD189A Time : 0.0 sec. user=mdettweiler [2012-01-18 23:39:40] 959*2^1001904-1 is not prime. Res64: AF6243759B36518E Time : 0.0 sec. user=mdettweiler [2012-01-18 23:39:40] 983*2^1001904-1 is not prime. Res64: B274EC36D22958FB Time : 0.0 sec. user=mdettweiler [2012-01-18 23:41:09] 649*2^1001905-1 is not prime. Res64: 31C6DDE2E9C5EC9F Time : 0.0 sec. user=mdettweiler [2012-01-18 23:41:10] 937*2^1001905-1 is not prime. Res64: 7D3A5912740FED4F Time : 0.0 sec. user=mdettweiler [2012-01-18 23:44:01] 615*2^1001906-1 is not prime. Res64: 0B0E641406BC8C3E Time : 0.0 sec. user=mdettweiler [2012-01-18 23:44:01] 705*2^1001906-1 is not prime. Res64: 938109724957AAD8 Time : 0.0 sec. user=mdettweiler [2012-01-18 23:49:39] 855*2^1001899-1 is not prime. Res64: 9F196E5BD339EAA1 Time : 0.0 sec. user=mdettweiler [2012-01-18 23:49:39] 635*2^1001900-1 is not prime. Res64: C4766B31A5A6A792 Time : 0.0 sec. user=mdettweiler [2012-01-18 23:56:24] 913*2^1001907-1 is not prime. Res64: BF264F0591C7B0DB Time : 0.0 sec. user=mdettweiler [2012-01-18 23:56:25] 963*2^1001907-1 is not prime. Res64: BE2F958F161BFD6B Time : 0.0 sec. user=mdettweiler [2012-01-18 23:59:24] 695*2^1001908-1 is not prime. Res64: F95A9C3D0A75437B Time : 0.0 sec. user=mdettweiler [2012-01-18 23:59:24] 773*2^1001908-1 is not prime. Res64: 637AA1E8A5ABCCD7 Time : 0.0 sec.