user=mdettweiler [2012-01-25 00:14:30] 773*2^1002678-1 is not prime. Res64: 6EF4A21F572879E8 Time : 0.0 sec. user=mdettweiler [2012-01-25 00:14:30] 771*2^1002679-1 is not prime. Res64: 3564BC14CB949730 Time : 0.0 sec. user=mdettweiler [2012-01-25 00:14:31] 831*2^1002679-1 is not prime. Res64: 5C4162C0E9E74EB4 Time : 0.0 sec. user=mdettweiler [2012-01-25 00:14:31] 977*2^1002678-1 is not prime. Res64: B8B74BD578C9235E Time : 0.0 sec. user=mdettweiler [2012-01-25 00:14:53] 855*2^1002679-1 is not prime. Res64: 14F57456767AD030 Time : 0.0 sec. user=mdettweiler [2012-01-25 00:14:54] 859*2^1002679-1 is not prime. Res64: E51DE8768A8D7E69 Time : 0.0 sec. user=mdettweiler [2012-01-25 00:16:10] 1001*2^1002678-1 is not prime. Res64: 812F1467EAED360E Time : 0.0 sec. user=mdettweiler [2012-01-25 00:16:10] 663*2^1002679-1 is not prime. Res64: 42B2EA94FDFDE24B Time : 0.0 sec. user=mdettweiler [2012-01-25 00:34:42] 833*2^1002680-1 is not prime. Res64: EF5FF255A7B4A994 Time : 0.0 sec. user=mdettweiler [2012-01-25 00:34:42] 839*2^1002680-1 is not prime. Res64: 49C9DD3F51CC4ED5 Time : 0.0 sec. user=mdettweiler [2012-01-25 00:34:51] 857*2^1002680-1 is not prime. Res64: 2977A2B5D5B8EF86 Time : 0.0 sec. user=mdettweiler [2012-01-25 00:34:52] 875*2^1002680-1 is not prime. Res64: B9993C2BCD34473B Time : 0.0 sec. user=mdettweiler [2012-01-25 00:36:50] 999*2^1002679-1 is not prime. Res64: 172961C4BD016181 Time : 0.0 sec. user=mdettweiler [2012-01-25 00:36:50] 645*2^1002680-1 is not prime. Res64: E002D4F4B6201BFD Time : 0.0 sec. user=mdettweiler [2012-01-25 00:40:35] 923*2^1002680-1 is not prime. Res64: DB43469AAD761FCB Time : 0.0 sec. user=mdettweiler [2012-01-25 00:40:36] 963*2^1002680-1 is not prime. Res64: 143C6A00E972E71F Time : 0.0 sec. user=mdettweiler [2012-01-25 00:54:43] 651*2^1002681-1 is not prime. Res64: BF3B694AA5765F7B Time : 0.0 sec. user=mdettweiler [2012-01-25 00:54:43] 661*2^1002681-1 is not prime. Res64: CDBB795CCA1B2DA7 Time : 0.0 sec. user=mdettweiler [2012-01-25 00:56:40] 727*2^1002681-1 is not prime. Res64: ADFE92881C691D6C Time : 0.0 sec. user=mdettweiler [2012-01-25 00:56:40] 741*2^1002681-1 is not prime. Res64: 95FB6478F09B5AE9 Time : 0.0 sec. user=mdettweiler [2012-01-25 00:56:45] 999*2^1002680-1 is not prime. Res64: ABF52C4C979444C6 Time : 0.0 sec. user=mdettweiler [2012-01-25 00:56:46] 639*2^1002681-1 is not prime. Res64: E15A0061A45DCE36 Time : 0.0 sec. user=mdettweiler [2012-01-25 01:00:20] 795*2^1002681-1 is not prime. Res64: 639A577608A75492 Time : 0.0 sec. user=mdettweiler [2012-01-25 01:00:23] 847*2^1002681-1 is not prime. Res64: 0F71A06C60C99481 Time : 0.0 sec. user=mdettweiler [2012-01-25 01:16:24] 671*2^1002682-1 is not prime. Res64: 9268078E36F2AD1C Time : 0.0 sec. user=mdettweiler [2012-01-25 01:16:25] 701*2^1002682-1 is not prime. Res64: E6C9B8245B46E0AC Time : 0.0 sec. user=mdettweiler [2012-01-25 01:18:35] 999*2^1002681-1 is not prime. Res64: F89946094F73C28C Time : 0.0 sec. user=mdettweiler [2012-01-25 01:18:36] 665*2^1002682-1 is not prime. Res64: B032A15D8768C539 Time : 0.0 sec. user=mdettweiler [2012-01-25 01:18:52] 951*2^1002681-1 is not prime. Res64: A85F1D8174239B0E Time : 0.0 sec. user=mdettweiler [2012-01-25 01:18:53] 955*2^1002681-1 is not prime. Res64: 2E3FCA50A46C5838 Time : 0.0 sec. user=mdettweiler [2012-01-25 01:20:15] 855*2^1002682-1 is not prime. Res64: 1927DC0F8FD1CD1A Time : 0.0 sec. user=mdettweiler [2012-01-25 01:20:17] 885*2^1002682-1 is not prime. Res64: 8AF074BE264B3E1A Time : 0.0 sec. user=mdettweiler [2012-01-25 01:37:51] 621*2^1002683-1 is not prime. Res64: F97B63521F2C8F5A Time : 0.0 sec. user=mdettweiler [2012-01-25 01:37:51] 663*2^1002683-1 is not prime. Res64: C3D596CCB8FF6DB0 Time : 0.0 sec. user=mdettweiler [2012-01-25 01:39:45] 685*2^1002683-1 is not prime. Res64: B9B01FBD259EEA53 Time : 0.0 sec. user=mdettweiler [2012-01-25 01:39:45] 753*2^1002683-1 is not prime. Res64: B62F53FF7EDEEE24 Time : 0.0 sec. user=mdettweiler [2012-01-25 01:41:54] 825*2^1002683-1 is not prime. Res64: 9380FB37900356B0 Time : 0.0 sec. user=mdettweiler [2012-01-25 01:41:54] 963*2^1002683-1 is not prime. Res64: ADED87978A21498D Time : 0.0 sec. user=mdettweiler [2012-01-25 01:43:56] 717*2^1002684-1 is not prime. Res64: D0869840B6A64D18 Time : 0.0 sec. user=mdettweiler [2012-01-25 01:43:56] 969*2^1002684-1 is not prime. Res64: BAB21F92E350FEDC Time : 0.0 sec. user=mdettweiler [2012-01-25 01:57:35] 661*2^1002685-1 is not prime. Res64: BFAF2BDA9560EE25 Time : 0.0 sec. user=mdettweiler [2012-01-25 01:57:35] 675*2^1002685-1 is not prime. Res64: 9EDC9B64BC43927D Time : 0.0 sec. user=mdettweiler [2012-01-25 01:59:24] 741*2^1002685-1 is not prime. Res64: AEA2634658DA1EEE Time : 0.0 sec. user=mdettweiler [2012-01-25 01:59:25] 789*2^1002685-1 is not prime. Res64: 6EA88FBD5ED49A99 Time : 0.0 sec. user=mdettweiler [2012-01-25 02:01:37] 855*2^1002685-1 is not prime. Res64: 69CFFA213771D7C8 Time : 0.0 sec. user=mdettweiler [2012-01-25 02:01:38] 861*2^1002685-1 is not prime. Res64: 7BD09BB3FC135879 Time : 0.0 sec. user=mdettweiler [2012-01-25 02:05:52] 871*2^1002685-1 is not prime. Res64: 5126D5977805461F Time : 0.0 sec. user=mdettweiler [2012-01-25 02:05:53] 927*2^1002685-1 is not prime. Res64: 4D38850DB7C2845C Time : 0.0 sec. user=mdettweiler [2012-01-25 02:19:11] 717*2^1002686-1 is not prime. Res64: 9E8B986E2BD48D16 Time : 0.0 sec. user=mdettweiler [2012-01-25 02:19:11] 897*2^1002686-1 is not prime. Res64: F345F94E9B6DF068 Time : 0.0 sec. user=mdettweiler [2012-01-25 02:19:32] 999*2^1002685-1 is not prime. Res64: 3A34858053BABD6D Time : 0.0 sec. user=mdettweiler [2012-01-25 02:19:32] 623*2^1002686-1 is not prime. Res64: CDBB6329D2870FE0 Time : 0.0 sec. user=mdettweiler [2012-01-25 02:23:35] 981*2^1002686-1 is not prime. Res64: 0EA0BAAA023827FE Time : 0.0 sec. user=mdettweiler [2012-01-25 02:23:35] 661*2^1002687-1 is not prime. Res64: B05B439E47E60432 Time : 0.0 sec. user=mdettweiler [2012-01-25 02:25:35] 669*2^1002687-1 is not prime. Res64: F9573D32D09E21E3 Time : 0.0 sec. user=mdettweiler [2012-01-25 02:25:36] 775*2^1002687-1 is not prime. Res64: 552A982C7B250DEB Time : 0.0 sec. user=mdettweiler [2012-01-25 02:38:51] 781*2^1002687-1 is not prime. Res64: 375EB0118EE1541A Time : 0.0 sec. user=mdettweiler [2012-01-25 02:38:52] 861*2^1002687-1 is not prime. Res64: 5D848AD55A614943 Time : 0.0 sec. user=mdettweiler [2012-01-25 02:39:11] 871*2^1002687-1 is not prime. Res64: 126DF1EEF9CB38C6 Time : 0.0 sec. user=mdettweiler [2012-01-25 02:39:11] 873*2^1002687-1 is not prime. Res64: 3EA97CEE8F7A0744 Time : 0.0 sec. user=mdettweiler [2012-01-25 02:43:13] 895*2^1002687-1 is not prime. Res64: AE08C9C26D59372A Time : 0.0 sec. user=mdettweiler [2012-01-25 02:43:14] 909*2^1002687-1 is not prime. Res64: 7809C8C0DDBE5AFF Time : 0.0 sec. user=mdettweiler [2012-01-25 02:49:46] 949*2^1002687-1 is not prime. Res64: 38D44C41AF8B30B5 Time : 0.0 sec. user=mdettweiler [2012-01-25 02:49:47] 955*2^1002687-1 is not prime. Res64: AB6EB7B3B66436BC Time : 0.0 sec. user=mdettweiler [2012-01-25 02:58:33] 629*2^1002688-1 is not prime. Res64: C9E987E99B8B3D7B Time : 0.0 sec. user=mdettweiler [2012-01-25 02:58:34] 645*2^1002688-1 is not prime. Res64: 8CE81387DC0F1FF3 Time : 0.0 sec. user=mdettweiler [2012-01-25 02:58:50] 665*2^1002688-1 is not prime. Res64: F61BD8202E97576E Time : 0.0 sec. user=mdettweiler [2012-01-25 02:58:50] 755*2^1002688-1 is not prime. Res64: 2F0F27E49CE60E0A Time : 0.0 sec. user=mdettweiler [2012-01-25 03:02:53] 691*2^1002689-1 is not prime. Res64: C76EEE4400FD9A76 Time : 0.0 sec. user=mdettweiler [2012-01-25 03:02:55] 711*2^1002689-1 is not prime. Res64: 400181DB1D1FABF5 Time : 0.0 sec. user=mdettweiler [2012-01-25 03:09:24] 789*2^1002689-1 is not prime. Res64: 3D6EAA4B30123B0B Time : 0.0 sec. user=mdettweiler [2012-01-25 03:09:26] 831*2^1002689-1 is not prime. Res64: 9B4B6E3476946BAA Time : 0.0 sec. user=mdettweiler [2012-01-25 03:18:33] 695*2^1002690-1 is not prime. Res64: 6DBFF8DBC41E12FF Time : 0.0 sec. user=mdettweiler [2012-01-25 03:18:34] 765*2^1002690-1 is not prime. Res64: E7A47655155DB905 Time : 0.0 sec. user=mdettweiler [2012-01-25 03:20:32] 897*2^1002689-1 is not prime. Res64: 46BA5AA7AB2227B6 Time : 0.0 sec. user=mdettweiler [2012-01-25 03:20:32] 949*2^1002689-1 is not prime. Res64: 502F20DA2A37E1C8 Time : 0.0 sec. user=mdettweiler [2012-01-25 03:27:24] 917*2^1002690-1 is not prime. Res64: 9FF2D610A49FF961 Time : 0.0 sec. user=mdettweiler [2012-01-25 03:27:24] 971*2^1002690-1 is not prime. Res64: 9D00C33C83BECD5A Time : 0.0 sec. user=mdettweiler [2012-01-25 03:29:19] 619*2^1002691-1 is not prime. Res64: 8E614203C9E5FD85 Time : 0.0 sec. user=mdettweiler [2012-01-25 03:29:19] 723*2^1002691-1 is not prime. Res64: 68AA1F4FC452278D Time : 0.0 sec. user=mdettweiler [2012-01-25 03:38:11] 745*2^1002691-1 is not prime. Res64: 5B2071D97F7AFA3E Time : 0.0 sec. user=mdettweiler [2012-01-25 03:38:12] 843*2^1002691-1 is not prime. Res64: 13C310DC2F083915 Time : 0.0 sec. user=mdettweiler [2012-01-25 03:40:11] 855*2^1002691-1 is not prime. Res64: 0F9428ACA6FB953F Time : 0.0 sec. user=mdettweiler [2012-01-25 03:40:11] 873*2^1002691-1 is not prime. Res64: 7BC645CB11294DF6 Time : 0.0 sec. user=mdettweiler [2012-01-25 03:49:01] 669*2^1002692-1 is not prime. Res64: C314CFE60BD18C3E Time : 0.0 sec. user=mdettweiler [2012-01-25 03:49:01] 875*2^1002692-1 is not prime. Res64: B96CE4B53971DECB Time : 0.0 sec. user=mdettweiler [2012-01-25 03:49:20] 889*2^1002691-1 is not prime. Res64: F86F63FD1D621D16 Time : 0.0 sec. user=mdettweiler [2012-01-25 03:49:20] 939*2^1002691-1 is not prime. Res64: D1D9E96A54C74132 Time : 0.0 sec. user=mdettweiler [2012-01-25 03:59:55] 675*2^1002693-1 is not prime. Res64: E2775A8A46F17DD1 Time : 0.0 sec. user=mdettweiler [2012-01-25 03:59:56] 679*2^1002693-1 is not prime. Res64: 7CD6CBF283CB5226 Time : 0.0 sec. user=mdettweiler [2012-01-25 04:02:24] 915*2^1002692-1 is not prime. Res64: 1FF4C81FB74DE7B9 Time : 0.0 sec. user=mdettweiler [2012-01-25 04:02:25] 977*2^1002692-1 is not prime. Res64: A012FA1199A170C7 Time : 0.0 sec. user=mdettweiler [2012-01-25 04:08:44] 741*2^1002693-1 is not prime. Res64: AF5D4903DF75C516 Time : 0.0 sec. user=mdettweiler [2012-01-25 04:08:45] 787*2^1002693-1 is not prime. Res64: A8B1C6015F7CDC97 Time : 0.0 sec. user=mdettweiler [2012-01-25 04:09:04] 811*2^1002693-1 is not prime. Res64: EAF1277397D0FBE9 Time : 0.0 sec. user=mdettweiler [2012-01-25 04:09:05] 871*2^1002693-1 is not prime. Res64: 1C2C6C5380E3B2F1 Time : 0.0 sec. user=mdettweiler [2012-01-25 04:21:56] 961*2^1002693-1 is not prime. Res64: F15268F9B0876E8C Time : 0.0 sec. user=mdettweiler [2012-01-25 04:21:56] 605*2^1002694-1 is not prime. Res64: 02B78252627AF419 Time : 0.0 sec. user=mdettweiler [2012-01-25 04:22:13] 651*2^1002694-1 is not prime. Res64: C5456B4AEA0BE8D4 Time : 0.0 sec. user=mdettweiler [2012-01-25 04:22:13] 773*2^1002694-1 is not prime. Res64: 91F05D5661164234 Time : 0.0 sec. user=mdettweiler [2012-01-25 04:30:54] 813*2^1002694-1 is not prime. Res64: 4A89DE6AA3339DFD Time : 0.0 sec. user=mdettweiler [2012-01-25 04:30:55] 945*2^1002694-1 is not prime. Res64: 29F5F2C138283AB7 Time : 0.0 sec. user=mdettweiler [2012-01-25 04:31:11] 1001*2^1002694-1 is not prime. Res64: EDDE3D05E757C4E7 Time : 0.0 sec. user=mdettweiler [2012-01-25 04:31:12] 601*2^1002695-1 is not prime. Res64: F7AE04E269C9C52F Time : 0.0 sec. user=mdettweiler [2012-01-25 04:41:36] 669*2^1002695-1 is not prime. Res64: 3FC909857764813E Time : 0.0 sec. user=mdettweiler [2012-01-25 04:41:36] 735*2^1002695-1 is not prime. Res64: 45127B59AC677622 Time : 0.0 sec. user=mdettweiler [2012-01-25 04:41:55] 759*2^1002695-1 is not prime. Res64: BD6084E4BDF23FA0 Time : 0.0 sec. user=mdettweiler [2012-01-25 04:41:56] 775*2^1002695-1 is not prime. Res64: D59970193D38AC7A Time : 0.0 sec. user=mdettweiler [2012-01-25 04:50:39] 805*2^1002695-1 is not prime. Res64: 26931C2352F9BF30 Time : 0.0 sec. user=mdettweiler [2012-01-25 04:50:39] 883*2^1002695-1 is not prime. Res64: 366A8C977E3C689E Time : 0.0 sec. user=mdettweiler [2012-01-25 04:53:04] 895*2^1002695-1 is not prime. Res64: 6EF10167E0D60607 Time : 0.0 sec. user=mdettweiler [2012-01-25 04:53:04] 939*2^1002695-1 is not prime. Res64: 0BDDF50855DC805E Time : 0.0 sec. user=mdettweiler [2012-01-25 05:01:20] 707*2^1002696-1 is not prime. Res64: DE5C7EAC3962B2CA Time : 0.0 sec. user=mdettweiler [2012-01-25 05:01:22] 747*2^1002696-1 is not prime. Res64: 576E0EE8F1FC9DA5 Time : 0.0 sec. user=mdettweiler [2012-01-25 05:03:49] 933*2^1002696-1 is not prime. Res64: 88B514BE73194E2E Time : 0.0 sec. user=mdettweiler [2012-01-25 05:03:50] 675*2^1002697-1 is not prime. Res64: E55CE80B3AAB60AC Time : 0.0 sec. user=mdettweiler [2012-01-25 05:12:37] 829*2^1002697-1 is not prime. Res64: 782C0F2D2B9DF15C Time : 0.0 sec. user=mdettweiler [2012-01-25 05:12:47] 985*2^1002697-1 is not prime. Res64: CC73AD4CD2263D0B Time : 0.0 sec. user=mdettweiler [2012-01-25 05:12:50] 767*2^1002698-1 is not prime. Res64: E7A91992AB9F6D0A Time : 0.0 sec. user=mdettweiler [2012-01-25 05:12:50] 845*2^1002698-1 is not prime. Res64: E9142D64AD258D37 Time : 0.0 sec. user=mdettweiler [2012-01-25 05:23:20] 893*2^1002698-1 is not prime. Res64: AE5DDC0D04F744BE Time : 0.0 sec. user=mdettweiler [2012-01-25 05:23:21] 921*2^1002698-1 is not prime. Res64: 8FE9266C9A9A2865 Time : 0.0 sec. user=mdettweiler [2012-01-25 05:25:52] 957*2^1002698-1 is not prime. Res64: 8651AB73E883957A Time : 0.0 sec. user=mdettweiler [2012-01-25 05:25:53] 735*2^1002699-1 is not prime. Res64: 2760EAA49ACBAE5C Time : 0.0 sec. user=mdettweiler [2012-01-25 05:32:29] 741*2^1002699-1 is not prime. Res64: 4FE52CFDED749C9B Time : 0.0 sec. user=mdettweiler [2012-01-25 05:32:29] 793*2^1002699-1 is not prime. Res64: DD1B9F8A1F7BFEDA Time : 0.0 sec. user=mdettweiler [2012-01-25 05:32:32] 801*2^1002699-1 is not prime. Res64: 22AF89A275A4BEEE Time : 0.0 sec. user=mdettweiler [2012-01-25 05:32:32] 843*2^1002699-1 is not prime. Res64: 2F22950F65450B59 Time : 0.0 sec. user=mdettweiler [2012-01-25 05:45:31] 677*2^1002700-1 is not prime. Res64: 7570E7D4EE302A5B Time : 0.0 sec. user=mdettweiler [2012-01-25 05:45:32] 735*2^1002700-1 is not prime. Res64: 713280C583B7C0C2 Time : 0.0 sec. user=mdettweiler [2012-01-25 05:47:35] 955*2^1002699-1 is not prime. Res64: C9DF958B9BB6792F Time : 0.0 sec. user=mdettweiler [2012-01-25 05:47:36] 975*2^1002699-1 is not prime. Res64: 386690F3257CD150 Time : 0.0 sec. user=mdettweiler [2012-01-25 05:52:10] 759*2^1002700-1 is not prime. Res64: 841DC4219B35DFE7 Time : 0.0 sec. user=mdettweiler [2012-01-25 05:52:11] 857*2^1002700-1 is not prime. Res64: 87D99B461374DACC Time : 0.0 sec. user=mdettweiler [2012-01-25 05:52:11] 803*2^1002700-1 is not prime. Res64: 1084583E25843ECC Time : 0.0 sec. user=mdettweiler [2012-01-25 05:52:11] 873*2^1002700-1 is not prime. Res64: 667979808F05BA4E Time : 0.0 sec. user=mdettweiler [2012-01-25 06:07:22] 697*2^1002701-1 is not prime. Res64: 0260196C0DCAD96F Time : 0.0 sec. user=mdettweiler [2012-01-25 06:07:23] 727*2^1002701-1 is not prime. Res64: E94463515EF1493C Time : 0.0 sec. user=mdettweiler [2012-01-25 06:07:29] 999*2^1002700-1 is not prime. Res64: 5E4BB6C821610338 Time : 0.0 sec. user=mdettweiler [2012-01-25 06:07:30] 607*2^1002701-1 is not prime. Res64: 48459D574874D61C Time : 0.0 sec. user=mdettweiler [2012-01-25 06:11:53] 747*2^1002701-1 is not prime. Res64: C54AE57502396072 Time : 0.0 sec. user=mdettweiler [2012-01-25 06:11:54] 769*2^1002701-1 is not prime. Res64: 0037E021341E4018 Time : 0.0 sec. user=mdettweiler [2012-01-25 06:16:27] 949*2^1002701-1 is not prime. Res64: 93091C58FBCA889D Time : 0.0 sec. user=mdettweiler [2012-01-25 06:16:28] 967*2^1002701-1 is not prime. Res64: 6740337F855A26F1 Time : 0.0 sec. user=mdettweiler [2012-01-25 06:27:18] 651*2^1002702-1 is not prime. Res64: D0BDB20A2CCDA0A4 Time : 0.0 sec. user=mdettweiler [2012-01-25 06:27:18] 705*2^1002702-1 is not prime. Res64: AF407AF4417D5B6D Time : 0.0 sec. user=mdettweiler [2012-01-25 06:29:29] 997*2^1002701-1 is not prime. Res64: A9864B772808B93B Time : 0.0 sec. user=mdettweiler [2012-01-25 06:29:30] 635*2^1002702-1 is not prime. Res64: 3F9BED5E62CAEBE3 Time : 0.0 sec. user=mdettweiler [2012-01-25 06:31:41] 747*2^1002702-1 is not prime. Res64: 85081F08F73B584A Time : 0.0 sec. user=mdettweiler [2012-01-25 06:31:41] 825*2^1002702-1 is not prime. Res64: 9DFD3C37F7E13377 Time : 0.0 sec. user=mdettweiler [2012-01-25 06:36:10] 875*2^1002702-1 is not prime. Res64: F02129C4B07B7623 Time : 0.0 sec. user=mdettweiler [2012-01-25 06:36:10] 891*2^1002702-1 is not prime. Res64: 2815978DB86B87C8 Time : 0.0 sec. user=mdettweiler [2012-01-25 06:49:09] 609*2^1002703-1 is not prime. Res64: 641307A2F5A1266E Time : 0.0 sec. user=mdettweiler [2012-01-25 06:49:09] 705*2^1002703-1 is not prime. Res64: B6ADF5B5DA589A5D Time : 0.0 sec. user=mdettweiler [2012-01-25 06:49:13] 903*2^1002702-1 is not prime. Res64: C5BCC14C441A9D69 Time : 0.0 sec. user=mdettweiler [2012-01-25 06:49:13] 983*2^1002702-1 is not prime. Res64: 57FDAE0A27CF53CC Time : 0.0 sec. user=mdettweiler [2012-01-25 06:51:17] 709*2^1002703-1 is not prime. Res64: DFF4505B673BF329 Time : 0.0 sec. user=mdettweiler [2012-01-25 06:51:18] 765*2^1002703-1 is not prime. Res64: 46BD3176DF38F82B Time : 0.0 sec. user=mdettweiler [2012-01-25 06:55:50] 819*2^1002703-1 is not prime. Res64: 0FD48128F5DDECDE Time : 0.0 sec. user=mdettweiler [2012-01-25 06:55:51] 889*2^1002703-1 is not prime. Res64: 2A88B4165130889D Time : 0.0 sec. user=mdettweiler [2012-01-25 07:08:52] 785*2^1002704-1 is not prime. Res64: 7C4BBD89E7574E3E Time : 0.0 sec. user=mdettweiler [2012-01-25 07:08:54] 855*2^1002704-1 is not prime. Res64: AAD221515E689342 Time : 0.0 sec. user=mdettweiler [2012-01-25 07:10:59] 651*2^1002705-1 is not prime. Res64: 150CA5CA150183E9 Time : 0.0 sec. user=mdettweiler [2012-01-25 07:11:01] 667*2^1002705-1 is not prime. Res64: 66BF8141663B7CC5 Time : 0.0 sec. user=mdettweiler [2012-01-25 07:11:09] 973*2^1002703-1 is not prime. Res64: 7118E8EACCF7D244 Time : 0.0 sec. user=mdettweiler [2012-01-25 07:11:11] 629*2^1002704-1 is not prime. Res64: F19368FDBC33625C Time : 0.0 sec. user=mdettweiler [2012-01-25 07:15:33] 705*2^1002705-1 is not prime. Res64: 1DFD018166840DF9 Time : 0.0 sec. user=mdettweiler [2012-01-25 07:15:34] 709*2^1002705-1 is not prime. Res64: 04BD84D98B5297E5 Time : 0.0 sec. user=mdettweiler [2012-01-25 07:28:39] 717*2^1002705-1 is not prime. Res64: 54D32EF968B17D62 Time : 0.0 sec. user=mdettweiler [2012-01-25 07:28:39] 765*2^1002705-1 is not prime. Res64: 95028A501EC5B192 Time : 0.0 sec. user=mdettweiler [2012-01-25 07:30:53] 647*2^1002706-1 is not prime. Res64: 02CA6670AA5B0C77 Time : 0.0 sec. user=mdettweiler [2012-01-25 07:30:53] 657*2^1002706-1 is not prime. Res64: 95138155C4637731 Time : 0.0 sec. user=mdettweiler [2012-01-25 07:33:02] 979*2^1002705-1 is not prime. Res64: CC95E00EAF165C28 Time : 0.0 sec. user=mdettweiler [2012-01-25 07:33:03] 635*2^1002706-1 is not prime. Res64: CC195156519E5637 Time : 0.0 sec. user=mdettweiler [2012-01-25 07:35:12] 777*2^1002706-1 is not prime. Res64: BBF6DE963F297ABA Time : 0.0 sec. user=mdettweiler [2012-01-25 07:35:12] 815*2^1002706-1 is not prime. Res64: 265B36632B326F99 Time : 0.0 sec. user=mdettweiler [2012-01-25 07:48:16] 861*2^1002706-1 is not prime. Res64: 2EE1D811A1625BD6 Time : 0.0 sec. user=mdettweiler [2012-01-25 07:48:17] 873*2^1002706-1 is not prime. Res64: B383B91195EEA787 Time : 0.0 sec. user=mdettweiler [2012-01-25 07:52:45] 619*2^1002707-1 is not prime. Res64: 801E789EF8552E90 Time : 0.0 sec. user=mdettweiler [2012-01-25 07:52:45] 645*2^1002707-1 is not prime. Res64: EE381DA6E5A50314 Time : 0.0 sec. user=mdettweiler [2012-01-25 07:54:49] 711*2^1002707-1 is not prime. Res64: B556C525147C98C3 Time : 0.0 sec. user=mdettweiler [2012-01-25 07:54:50] 841*2^1002707-1 is not prime. Res64: A1FC542CA00AAFD2 Time : 0.0 sec. user=mdettweiler [2012-01-25 07:55:05] 945*2^1002706-1 is not prime. Res64: B34F1286D8DF9740 Time : 0.0 sec. user=mdettweiler [2012-01-25 07:55:05] 975*2^1002706-1 is not prime. Res64: 7FF16FF8A5E43A6B Time : 0.0 sec. user=mdettweiler [2012-01-25 08:10:10] 885*2^1002707-1 is not prime. Res64: 212DCAA6834DF7B6 Time : 0.0 sec. user=mdettweiler [2012-01-25 08:10:12] 945*2^1002707-1 is not prime. Res64: C00D82F0450BE897 Time : 0.0 sec. user=mdettweiler [2012-01-25 08:14:44] 963*2^1002707-1 is not prime. Res64: 5C90ED2D330CA278 Time : 0.0 sec. user=mdettweiler [2012-01-25 08:14:44] 657*2^1002708-1 is not prime. Res64: 9E3828722E564DEC Time : 0.0 sec. user=mdettweiler [2012-01-25 08:14:46] 609*2^1002709-1 is not prime. Res64: A28745127D106F12 Time : 0.0 sec. user=mdettweiler [2012-01-25 08:14:46] 691*2^1002709-1 is not prime. Res64: 35D730FE5B92142F Time : 0.0 sec. user=mdettweiler [2012-01-25 08:16:49] 669*2^1002708-1 is not prime. Res64: D8EC67B36991C160 Time : 0.0 sec. user=mdettweiler [2012-01-25 08:16:49] 977*2^1002708-1 is not prime. Res64: BBD7919A8FFC0D4B Time : 0.0 sec. user=mdettweiler [2012-01-25 08:29:56] 721*2^1002709-1 is not prime. Res64: E419F1C726540F38 Time : 0.0 sec. user=mdettweiler [2012-01-25 08:29:56] 771*2^1002709-1 is not prime. Res64: E79BDD13C6F7D3FF Time : 0.0 sec. user=mdettweiler [2012-01-25 08:34:20] 801*2^1002709-1 is not prime. Res64: 19A6252DE2A53A50 Time : 0.0 sec. user=mdettweiler [2012-01-25 08:34:21] 877*2^1002709-1 is not prime. Res64: 3CA8A87453951910 Time : 0.0 sec. user=mdettweiler [2012-01-25 08:34:26] 603*2^1002710-1 is not prime. Res64: 9D9EA06BE8804B49 Time : 0.0 sec. user=mdettweiler [2012-01-25 08:34:26] 713*2^1002710-1 is not prime. Res64: 68BAB56DAC8EE2ED Time : 0.0 sec. user=mdettweiler [2012-01-25 08:38:49] 843*2^1002710-1 is not prime. Res64: 6C3D962C4E522FFF Time : 0.0 sec. user=mdettweiler [2012-01-25 08:38:49] 923*2^1002710-1 is not prime. Res64: F183D1FCD2B619F3 Time : 0.0 sec. user=mdettweiler [2012-01-25 08:51:59] 977*2^1002710-1 is not prime. Res64: 2B31B031A1AD9AC8 Time : 0.0 sec. user=mdettweiler [2012-01-25 08:52:00] 723*2^1002711-1 is not prime. Res64: C9D3D26E23EA2AEF Time : 0.0 sec. user=mdettweiler [2012-01-25 08:54:08] 739*2^1002711-1 is not prime. Res64: 7E91C7AA6A7BAD09 Time : 0.0 sec. user=mdettweiler [2012-01-25 08:54:09] 751*2^1002711-1 is not prime. Res64: 240B523AA2E2FA0F Time : 0.0 sec. user=mdettweiler [2012-01-25 08:54:11] 793*2^1002711-1 is not prime. Res64: 05B6AF464787CD84 Time : 0.0 sec. user=mdettweiler [2012-01-25 08:54:12] 901*2^1002711-1 is not prime. Res64: 720CA7A3A7B7ED28 Time : 0.0 sec. user=mdettweiler [2012-01-25 09:03:04] 931*2^1002711-1 is not prime. Res64: B95049FDBB68F772 Time : 0.0 sec. user=mdettweiler [2012-01-25 09:03:04] 951*2^1002711-1 is not prime. Res64: B64292321B8A4002 Time : 0.0 sec. user=mdettweiler [2012-01-25 09:06:19] 707*2^1002666-1 is not prime. Res64: FB6D4A9E7D9C93E7 Time : 0.0 sec. user=mdettweiler [2012-01-25 09:06:21] 723*2^1002666-1 is not prime. Res64: CA74F4EDA492EBD8 Time : 0.0 sec. user=mdettweiler [2012-01-25 09:06:23] 725*2^1002666-1 is not prime. Res64: 23FD672AE1472AA2 Time : 0.0 sec. user=mdettweiler [2012-01-25 09:06:26] 783*2^1002666-1 is not prime. Res64: 5A19657DE4E138BE Time : 0.0 sec. user=mdettweiler [2012-01-25 09:13:55] 695*2^1002712-1 is not prime. Res64: A83B5A569AA38C5D Time : 0.0 sec. user=mdettweiler [2012-01-25 09:13:56] 765*2^1002712-1 is not prime. Res64: F581A695293417BB Time : 0.0 sec. user=mdettweiler [2012-01-25 09:16:12] 955*2^1002711-1 is not prime. Res64: 46166B1F0577CF62 Time : 0.0 sec. user=mdettweiler [2012-01-25 09:16:12] 961*2^1002711-1 is not prime. Res64: 5C40202E2D609B47 Time : 0.0 sec. user=mdettweiler [2012-01-25 09:17:35] 807*2^1002666-1 is not prime. Res64: 6D918E4BED5EAB14 Time : 0.0 sec. user=mdettweiler [2012-01-25 09:17:36] 891*2^1002666-1 is not prime. Res64: 337FD992D440820B Time : 0.0 sec. user=mdettweiler [2012-01-25 09:18:19] 979*2^1002711-1 is not prime. Res64: C6C4B7FCBB5BB684 Time : 0.0 sec. user=mdettweiler [2012-01-25 09:18:19] 991*2^1002711-1 is not prime. Res64: 817AA38CE777B646 Time : 0.0 sec. user=mdettweiler [2012-01-25 09:22:50] 843*2^1002712-1 is not prime. Res64: A79D4AF74B5C3619 Time : 0.0 sec. user=mdettweiler [2012-01-25 09:22:51] 869*2^1002712-1 is not prime. Res64: 1C8068CA0A78151F Time : 0.0 sec. user=mdettweiler [2012-01-25 09:33:40] 627*2^1002713-1 is not prime. Res64: 1F1D93D814E7F8C7 Time : 0.0 sec. user=mdettweiler [2012-01-25 09:33:40] 769*2^1002713-1 is not prime. Res64: 35A72F0EC2597E0D Time : 0.0 sec. user=mdettweiler [2012-01-25 09:38:04] 633*2^1002714-1 is not prime. Res64: F236FF936C07620D Time : 0.0 sec. user=mdettweiler [2012-01-25 09:38:04] 663*2^1002714-1 is not prime. Res64: D18E84994DCAB141 Time : 0.0 sec. user=mdettweiler [2012-01-25 09:38:07] 789*2^1002713-1 is not prime. Res64: 0D76B4C671E2A490 Time : 0.0 sec. user=mdettweiler [2012-01-25 09:38:07] 925*2^1002713-1 is not prime. Res64: A6623B5FFA6FEF9E Time : 0.0 sec. user=mdettweiler [2012-01-25 09:42:32] 681*2^1002714-1 is not prime. Res64: E46EA465D5F2C01E Time : 0.0 sec. user=mdettweiler [2012-01-25 09:42:33] 707*2^1002714-1 is not prime. Res64: C16FDEA1427F8843 Time : 0.0 sec. user=mdettweiler [2012-01-25 09:53:25] 747*2^1002714-1 is not prime. Res64: DED91013D0C52E53 Time : 0.0 sec. user=mdettweiler [2012-01-25 09:53:25] 803*2^1002714-1 is not prime. Res64: 74BB3BD168939971 Time : 0.0 sec. user=mdettweiler [2012-01-25 09:57:48] 709*2^1002715-1 is not prime. Res64: AA84A85513119ADC Time : 0.0 sec. user=mdettweiler [2012-01-25 09:57:48] 805*2^1002715-1 is not prime. Res64: B7B1D753D10BC279 Time : 0.0 sec. user=mdettweiler [2012-01-25 09:59:58] 941*2^1002714-1 is not prime. Res64: 8CC2A9CD03B4EF0A Time : 0.0 sec. user=mdettweiler [2012-01-25 09:59:59] 675*2^1002715-1 is not prime. Res64: 5AB9F4E4710596B3 Time : 0.0 sec. user=mdettweiler [2012-01-25 10:04:27] 925*2^1002715-1 is not prime. Res64: 6CDB77C430CECB5A Time : 0.0 sec. user=mdettweiler [2012-01-25 10:04:29] 609*2^1002716-1 is not prime. Res64: C15E3ED3FCC424FD Time : 0.0 sec. user=mdettweiler [2012-01-25 10:13:05] 677*2^1002716-1 is not prime. Res64: F238BFF757D8FF7A Time : 0.0 sec. user=mdettweiler [2012-01-25 10:13:07] 827*2^1002716-1 is not prime. Res64: 9137F798A631D37A Time : 0.0 sec. user=mdettweiler [2012-01-25 10:17:30] 869*2^1002716-1 is not prime. Res64: 4F6C920EA1583908 Time : 0.0 sec. user=mdettweiler [2012-01-25 10:17:30] 909*2^1002716-1 is not prime. Res64: 93A5EC68DB1E7872 Time : 0.0 sec. user=mdettweiler [2012-01-25 10:21:55] 923*2^1002716-1 is not prime. Res64: 0F5936ACE3FDD4B3 Time : 0.0 sec. user=mdettweiler [2012-01-25 10:21:55] 651*2^1002717-1 is not prime. Res64: 6EF975AD4DEAED17 Time : 0.0 sec. user=mdettweiler [2012-01-25 10:24:14] 781*2^1002717-1 is not prime. Res64: A5AE7BD52E7E784E Time : 0.0 sec. user=mdettweiler [2012-01-25 10:24:15] 831*2^1002717-1 is not prime. Res64: 4EE7F582F1CB50C3 Time : 0.0 sec. user=mdettweiler [2012-01-25 10:31:20] 875*2^1002712-1 is not prime. Res64: 9ADB509C8A35E96E Time : 0.0 sec. user=mdettweiler [2012-01-25 10:31:21] 939*2^1002712-1 is not prime. Res64: 97D04E248F81D025 Time : 0.0 sec. user=mdettweiler [2012-01-25 10:31:52] 957*2^1002712-1 is not prime. Res64: A5F90FDD69046F1F Time : 0.0 sec. user=mdettweiler [2012-01-25 10:31:53] 607*2^1002713-1 is not prime. Res64: E87B4C88B0561D5A Time : 0.0 sec. user=mdettweiler [2012-01-25 10:35:07] 919*2^1002717-1 is not prime. Res64: CE6850CF5B221A36 Time : 0.0 sec. user=mdettweiler [2012-01-25 10:35:07] 663*2^1002718-1 is not prime. Res64: ECFC9A3669C9EB7D Time : 0.0 sec. user=mdettweiler [2012-01-25 10:37:14] 815*2^1002718-1 is not prime. Res64: 883DFB5942E44D75 Time : 0.0 sec. user=mdettweiler [2012-01-25 10:37:14] 669*2^1002719-1 is not prime. Res64: 4579522083527D31 Time : 0.0 sec. user=mdettweiler [2012-01-25 10:41:37] 703*2^1002719-1 is not prime. Res64: 46257B270B48EAE1 Time : 0.0 sec. user=mdettweiler [2012-01-25 10:41:37] 705*2^1002719-1 is not prime. Res64: 06BF45ACDC255CFA Time : 0.0 sec. user=mdettweiler [2012-01-25 10:43:57] 711*2^1002719-1 is not prime. Res64: C767164B58086BE5 Time : 0.0 sec. user=mdettweiler [2012-01-25 10:43:58] 811*2^1002719-1 is not prime. Res64: 2ACAAEEA0F14B1F9 Time : 0.0 sec. user=mdettweiler [2012-01-25 10:54:14] 949*2^1002713-1 is not prime. Res64: 2B38E7D002C6BF3A Time : 0.0 sec. user=mdettweiler [2012-01-25 10:54:14] 969*2^1002713-1 is not prime. Res64: C22B3EAA3C68A187 Time : 0.0 sec. user=mdettweiler [2012-01-25 10:54:56] 789*2^1002720-1 is not prime. Res64: 170B048DD3DA4284 Time : 0.0 sec. user=mdettweiler [2012-01-25 10:54:56] 857*2^1002720-1 is not prime. Res64: 5A67378BF6D5D879 Time : 0.0 sec. user=mdettweiler [2012-01-25 10:59:17] 879*2^1002720-1 is not prime. Res64: 1119158E97F071E7 Time : 0.0 sec. user=mdettweiler [2012-01-25 10:59:18] 915*2^1002720-1 is not prime. Res64: EA598C807BDF6FA4 Time : 0.0 sec. user=mdettweiler [2012-01-25 11:03:37] 983*2^1002720-1 is not prime. Res64: D54687AD91D5F09E Time : 0.0 sec. user=mdettweiler [2012-01-25 11:03:38] 675*2^1002721-1 is not prime. Res64: D963629015EEC889 Time : 0.0 sec. user=mdettweiler [2012-01-25 11:03:44] 727*2^1002721-1 is not prime. Res64: 7591CB2C28EB89C5 Time : 0.0 sec. user=mdettweiler [2012-01-25 11:03:44] 807*2^1002721-1 is not prime. Res64: 52BA187946DC27CC Time : 0.0 sec. user=mdettweiler [2012-01-25 11:16:55] 979*2^1002721-1 is not prime. Res64: DCE064102C1CFC9A Time : 0.0 sec. user=mdettweiler [2012-01-25 11:16:56] 645*2^1002722-1 is not prime. Res64: 072C5B88674D8BED Time : 0.0 sec. user=mdettweiler [2012-01-25 11:19:03] 701*2^1002722-1 is not prime. Res64: B169391BB8E736BC Time : 0.0 sec. user=mdettweiler [2012-01-25 11:19:03] 735*2^1002722-1 is not prime. Res64: BCE0F4BC0671242D Time : 0.0 sec. user=mdettweiler [2012-01-25 11:23:26] 741*2^1002722-1 is not prime. Res64: CB7054C16051FE54 Time : 0.0 sec. user=mdettweiler [2012-01-25 11:23:27] 831*2^1002722-1 is not prime. Res64: DC355A9CDCF3D7E7 Time : 0.0 sec. user=mdettweiler [2012-01-25 11:28:10] 915*2^1002722-1 is not prime. Res64: 8567F3A1090B401C Time : 0.0 sec. user=mdettweiler [2012-01-25 11:28:10] 953*2^1002722-1 is not prime. Res64: F5D11F6896E15CA9 Time : 0.0 sec. user=mdettweiler [2012-01-25 11:36:40] 615*2^1002723-1 is not prime. Res64: 0A77D09F032B1B73 Time : 0.0 sec. user=mdettweiler [2012-01-25 11:36:40] 853*2^1002723-1 is not prime. Res64: 3F5B686B1BC895F3 Time : 0.0 sec. user=mdettweiler [2012-01-25 11:38:51] 873*2^1002723-1 is not prime. Res64: A7C2B5CA04EFB2E8 Time : 0.0 sec. user=mdettweiler [2012-01-25 11:38:51] 891*2^1002723-1 is not prime. Res64: 0AF0FC96C2744545 Time : 0.0 sec. user=mdettweiler [2012-01-25 11:45:27] 945*2^1002723-1 is not prime. Res64: 648B25830996D774 Time : 0.0 sec. user=mdettweiler [2012-01-25 11:45:27] 623*2^1002724-1 is not prime. Res64: B93D0AB36F6CAAD9 Time : 0.0 sec. user=mdettweiler [2012-01-25 11:47:56] 657*2^1002724-1 is not prime. Res64: F87D843EFBB54D6F Time : 0.0 sec. user=mdettweiler [2012-01-25 11:47:57] 863*2^1002724-1 is not prime. Res64: 8609704968C45F07 Time : 0.0 sec. user=mdettweiler [2012-01-25 11:52:46] 635*2^1002720-1 is not prime. Res64: 5679F2A2CD9FC248 Time : 0.0 sec. user=mdettweiler [2012-01-25 11:52:47] 669*2^1002720-1 is not prime. Res64: 3284CA5BD5EF0043 Time : 0.0 sec. user=mdettweiler [2012-01-25 11:58:43] 875*2^1002724-1 is not prime. Res64: 160768D7EF08183A Time : 0.0 sec. user=mdettweiler [2012-01-25 11:58:44] 923*2^1002724-1 is not prime. Res64: 1AEEB45368F6C989 Time : 0.0 sec. user=mdettweiler [2012-01-25 12:00:03] 861*2^1002719-1 is not prime. Res64: 6FB3551A7FD2EB4C Time : 0.0 sec. user=mdettweiler [2012-01-25 12:00:04] 993*2^1002719-1 is not prime. Res64: F3CE05219DF098F6 Time : 0.0 sec. user=mdettweiler [2012-01-25 12:03:08] 939*2^1002724-1 is not prime. Res64: 6B77C961386E6103 Time : 0.0 sec. user=mdettweiler [2012-01-25 12:03:09] 983*2^1002724-1 is not prime. Res64: 9BA2E8D311CA9274 Time : 0.0 sec. user=mdettweiler [2012-01-25 12:05:12] 645*2^1002725-1 is not prime. Res64: 67128C9B30AA8730 Time : 0.0 sec. user=mdettweiler [2012-01-25 12:05:13] 721*2^1002725-1 is not prime. Res64: 3A0706E868A85E16 Time : 0.0 sec. user=mdettweiler [2012-01-25 12:07:44] 789*2^1002725-1 is not prime. Res64: C01C1E2D06A6B571 Time : 0.0 sec. user=mdettweiler [2012-01-25 12:07:45] 831*2^1002725-1 is not prime. Res64: E216A24759CBBAC4 Time : 0.0 sec. user=mdettweiler [2012-01-25 12:20:45] 925*2^1002725-1 is not prime. Res64: 8B729204D492F4D6 Time : 0.0 sec. user=mdettweiler [2012-01-25 12:20:45] 615*2^1002726-1 is not prime. Res64: 8509BF0F407ABC24 Time : 0.0 sec. user=mdettweiler [2012-01-25 12:21:05] 817*2^1002721-1 is not prime. Res64: 9723606D66754ED6 Time : 0.0 sec. user=mdettweiler [2012-01-25 12:21:05] 931*2^1002721-1 is not prime. Res64: 81585347D3D7FD63 Time : 0.0 sec. user=mdettweiler [2012-01-25 12:22:55] 695*2^1002726-1 is not prime. Res64: 518FAB912CC91BDE Time : 0.0 sec. user=mdettweiler [2012-01-25 12:22:56] 783*2^1002726-1 is not prime. Res64: 6A2A240EFE57D177 Time : 0.0 sec. user=mdettweiler [2012-01-25 12:25:03] 815*2^1002726-1 is not prime. Res64: 7813D60DAA7D5406 Time : 0.0 sec. user=mdettweiler [2012-01-25 12:25:03] 843*2^1002726-1 is not prime. Res64: 83300203C9710E2F Time : 0.0 sec. user=mdettweiler [2012-01-25 12:27:32] 693*2^1002727-1 is not prime. Res64: AEC0C62D7B6CA8D6 Time : 0.0 sec. user=mdettweiler [2012-01-25 12:27:33] 735*2^1002727-1 is not prime. Res64: 14CCE41372491B3F Time : 0.0 sec. user=mdettweiler [2012-01-25 12:40:28] 741*2^1002727-1 is not prime. Res64: 9756084F8E90B394 Time : 0.0 sec. user=mdettweiler [2012-01-25 12:40:28] 765*2^1002727-1 is not prime. Res64: FF8736EE963718E9 Time : 0.0 sec. user=mdettweiler [2012-01-25 12:42:37] 901*2^1002727-1 is not prime. Res64: 8F7EAA87C64C4A07 Time : 0.0 sec. user=mdettweiler [2012-01-25 12:42:38] 669*2^1002728-1 is not prime. Res64: 153F8AAF2E39E948 Time : 0.0 sec. user=mdettweiler [2012-01-25 12:44:57] 755*2^1002728-1 is not prime. Res64: CF1F7A80B7513B4E Time : 0.0 sec. user=mdettweiler [2012-01-25 12:44:58] 869*2^1002728-1 is not prime. Res64: 070FD784617BFF34 Time : 0.0 sec. user=mdettweiler [2012-01-25 12:47:31] 609*2^1002729-1 is not prime. Res64: 6983D952335BE6C4 Time : 0.0 sec. user=mdettweiler [2012-01-25 12:47:31] 625*2^1002729-1 is not prime. Res64: D4608549FE2059D8 Time : 0.0 sec. user=mdettweiler [2012-01-25 13:00:32] 681*2^1002729-1 is not prime. Res64: 7A41BC038DEDC6A0 Time : 0.0 sec. user=mdettweiler [2012-01-25 13:00:34] 759*2^1002729-1 is not prime. Res64: FB04ACDF1C58EFBB Time : 0.0 sec. user=mdettweiler [2012-01-25 13:02:44] 861*2^1002729-1 is not prime. Res64: 7C3FB064DD8677BB Time : 0.0 sec. user=mdettweiler [2012-01-25 13:02:45] 773*2^1002730-1 is not prime. Res64: 753916009D85D060 Time : 0.0 sec. user=mdettweiler [2012-01-25 13:05:05] 827*2^1002730-1 is not prime. Res64: 64BFB7B88BA47FE8 Time : 0.0 sec. user=mdettweiler [2012-01-25 13:05:07] 867*2^1002730-1 is not prime. Res64: 30FC987CC3592BA9 Time : 0.0 sec. user=mdettweiler [2012-01-25 13:09:47] 891*2^1002730-1 is not prime. Res64: 08CFA23B9A212FBD Time : 0.0 sec. user=mdettweiler [2012-01-25 13:09:47] 941*2^1002730-1 is not prime. Res64: 8727055844237949 Time : 0.0 sec. user=mdettweiler [2012-01-25 13:15:43] 657*2^1002726-1 is not prime. Res64: 4CEAFF4D11E562E5 Time : 0.0 sec. user=mdettweiler [2012-01-25 13:15:43] 683*2^1002726-1 is not prime. Res64: C7D6AA0D107849EF Time : 0.0 sec. user=mdettweiler [2012-01-25 13:16:45] 837*2^1002725-1 is not prime. Res64: F65EDBE5D4C4523F Time : 0.0 sec. user=mdettweiler [2012-01-25 13:16:45] 915*2^1002725-1 is not prime. Res64: 8E21CBD20EB218B5 Time : 0.0 sec. user=mdettweiler [2012-01-25 13:21:14] 619*2^1002731-1 is not prime. Res64: 6F578205639D17DF Time : 0.0 sec. user=mdettweiler [2012-01-25 13:21:14] 651*2^1002731-1 is not prime. Res64: 130CB42CBA9B4340 Time : 0.0 sec. user=mdettweiler [2012-01-25 13:23:09] 705*2^1002731-1 is not prime. Res64: 4238B499827F8871 Time : 0.0 sec. user=mdettweiler [2012-01-25 13:23:09] 735*2^1002731-1 is not prime. Res64: 5876DBFEDD89778D Time : 0.0 sec. user=mdettweiler [2012-01-25 13:25:21] 741*2^1002731-1 is not prime. Res64: 6DF26AFAC7C4232D Time : 0.0 sec. user=mdettweiler [2012-01-25 13:25:22] 789*2^1002731-1 is not prime. Res64: F529806144F54F83 Time : 0.0 sec. user=mdettweiler [2012-01-25 13:30:03] 885*2^1002731-1 is not prime. Res64: 2AA7CDD39545C17F Time : 0.0 sec. user=mdettweiler [2012-01-25 13:30:04] 627*2^1002732-1 is not prime. Res64: E55420B41CD25016 Time : 0.0 sec. user=mdettweiler [2012-01-25 13:36:40] 843*2^1002727-1 is not prime. Res64: 49A8745825430D06 Time : 0.0 sec. user=mdettweiler [2012-01-25 13:36:41] 859*2^1002727-1 is not prime. Res64: 3B4916B8027D139F Time : 0.0 sec. user=mdettweiler [2012-01-25 13:42:59] 625*2^1002733-1 is not prime. Res64: 0FCF5DE7697B4B5F Time : 0.0 sec. user=mdettweiler [2012-01-25 13:42:59] 727*2^1002733-1 is not prime. Res64: 7F1C65FCDC5D0455 Time : 0.0 sec. user=mdettweiler [2012-01-25 13:43:17] 987*2^1002732-1 is not prime. Res64: 36B68AE803209197 Time : 0.0 sec. user=mdettweiler [2012-01-25 13:43:17] 621*2^1002733-1 is not prime. Res64: 720009A791B7D043 Time : 0.0 sec. user=mdettweiler [2012-01-25 13:45:07] 751*2^1002733-1 is not prime. Res64: 7146C9B35CDB5205 Time : 0.0 sec. user=mdettweiler [2012-01-25 13:45:07] 789*2^1002733-1 is not prime. Res64: A60EF9E09E3B9E68 Time : 0.0 sec. user=mdettweiler [2012-01-25 13:49:53] 801*2^1002733-1 is not prime. Res64: 2F276C3FEA228183 Time : 0.0 sec. user=mdettweiler [2012-01-25 13:49:53] 805*2^1002733-1 is not prime. Res64: BCDADC37D8FB9818 Time : 0.0 sec. user=mdettweiler [2012-01-25 14:03:07] 705*2^1002734-1 is not prime. Res64: 9C073A4354E4EC7B Time : 0.0 sec. user=mdettweiler [2012-01-25 14:03:07] 717*2^1002734-1 is not prime. Res64: 1D1614712CF1E0E8 Time : 0.0 sec. user=mdettweiler [2012-01-25 14:04:56] 741*2^1002734-1 is not prime. Res64: 2C14B9A5B726CC0E Time : 0.0 sec. user=mdettweiler [2012-01-25 14:04:56] 747*2^1002734-1 is not prime. Res64: 6171CF8995F9F51B Time : 0.0 sec. user=mdettweiler [2012-01-25 14:05:03] 981*2^1002733-1 is not prime. Res64: BF41348628357695 Time : 0.0 sec. user=mdettweiler [2012-01-25 14:05:05] 615*2^1002734-1 is not prime. Res64: AAA9E7EFDCFC9E97 Time : 0.0 sec. user=mdettweiler [2012-01-25 14:09:37] 773*2^1002734-1 is not prime. Res64: 2A150354CB9C667A Time : 0.0 sec. user=mdettweiler [2012-01-25 14:09:38] 791*2^1002734-1 is not prime. Res64: E7629FA29E3DA2C7 Time : 0.0 sec. user=mdettweiler [2012-01-25 14:23:03] 861*2^1002734-1 is not prime. Res64: 368491D2C9FFC4E1 Time : 0.0 sec. user=mdettweiler [2012-01-25 14:23:03] 885*2^1002734-1 is not prime. Res64: E44CD3993DDBD2E7 Time : 0.0 sec. user=mdettweiler [2012-01-25 14:29:40] 923*2^1002734-1 is not prime. Res64: 272DC739946EE43C Time : 0.0 sec. user=mdettweiler [2012-01-25 14:29:40] 927*2^1002734-1 is not prime. Res64: E0BDB0E23A3AFB14 Time : 0.0 sec. user=mdettweiler [2012-01-25 14:29:58] 971*2^1002734-1 is not prime. Res64: 11DC50878DD490ED Time : 0.0 sec. user=mdettweiler [2012-01-25 14:29:58] 981*2^1002734-1 is not prime. Res64: A16B8F3D12AA98E9 Time : 0.0 sec. user=mdettweiler [2012-01-25 14:31:31] 689*2^1002732-1 is not prime. Res64: B63B37CB902FE635 Time : 0.0 sec. user=mdettweiler [2012-01-25 14:31:31] 693*2^1002732-1 is not prime. Res64: F64EFA7A99118FDC Time : 0.0 sec. user=mdettweiler [2012-01-25 14:32:18] 1001*2^1002734-1 is not prime. Res64: 8F2A7256CE79157E Time : 0.0 sec. user=mdettweiler [2012-01-25 14:32:18] 625*2^1002735-1 is not prime. Res64: 432C74366BF42810 Time : 0.0 sec. user=mdettweiler [2012-01-25 14:40:54] 779*2^1002732-1 is not prime. Res64: 2CC5A9BBD5942C1F Time : 0.0 sec. user=mdettweiler [2012-01-25 14:40:55] 959*2^1002732-1 is not prime. Res64: 73A1B81A367245AD Time : 0.0 sec. user=mdettweiler [2012-01-25 14:43:19] 639*2^1002735-1 is not prime. Res64: 635C3B891293F6DC Time : 0.0 sec. user=mdettweiler [2012-01-25 14:43:20] 685*2^1002735-1 is not prime. Res64: 4D9A4A32FAD4BCC3 Time : 0.0 sec. user=mdettweiler [2012-01-25 14:50:14] 711*2^1002735-1 is not prime. Res64: 7B407F00CB2E1BE6 Time : 0.0 sec. user=mdettweiler [2012-01-25 14:50:15] 751*2^1002735-1 is not prime. Res64: 6604585F20ED2913 Time : 0.0 sec. user=mdettweiler [2012-01-25 14:50:33] 763*2^1002735-1 is not prime. Res64: C79D4726CC4A20F1 Time : 0.0 sec. user=mdettweiler [2012-01-25 14:50:33] 765*2^1002735-1 is not prime. Res64: 540EDE13B5196440 Time : 0.0 sec. user=mdettweiler [2012-01-25 14:57:17] 955*2^1002735-1 is not prime. Res64: FB4971A720B6C82B Time : 0.0 sec. user=mdettweiler [2012-01-25 14:57:17] 963*2^1002735-1 is not prime. Res64: 907E4CB53F7FB5FE Time : 0.0 sec. user=mdettweiler [2012-01-25 15:03:36] 843*2^1002736-1 is not prime. Res64: 2B492CED2C8A8200 Time : 0.0 sec. user=mdettweiler [2012-01-25 15:03:37] 909*2^1002736-1 is not prime. Res64: 6670D71022895820 Time : 0.0 sec. user=mdettweiler [2012-01-25 15:09:20] 951*2^1002733-1 is not prime. Res64: 4BE77CDE8A85549D Time : 0.0 sec. user=mdettweiler [2012-01-25 15:09:21] 979*2^1002733-1 is not prime. Res64: B36836B467A1DC72 Time : 0.0 sec. user=mdettweiler [2012-01-25 15:10:40] 691*2^1002737-1 is not prime. Res64: B2A9B3C6CD67FF0A Time : 0.0 sec. user=mdettweiler [2012-01-25 15:10:40] 747*2^1002737-1 is not prime. Res64: 942696CCEC06B495 Time : 0.0 sec. user=mdettweiler [2012-01-25 15:10:46] 621*2^1002738-1 is not prime. Res64: 9426B5BAF47EB165 Time : 0.0 sec. user=mdettweiler [2012-01-25 15:10:48] 627*2^1002738-1 is not prime. Res64: 05D569A17A55468B Time : 0.0 sec. user=mdettweiler [2012-01-25 15:17:37] 633*2^1002738-1 is not prime. Res64: 1270BE436314DF76 Time : 0.0 sec. user=mdettweiler [2012-01-25 15:17:37] 657*2^1002738-1 is not prime. Res64: 0BA15E17C07108C2 Time : 0.0 sec. user=mdettweiler [2012-01-25 15:24:10] 711*2^1002738-1 is not prime. Res64: 1959871710ED423A Time : 0.0 sec. user=mdettweiler [2012-01-25 15:24:11] 731*2^1002738-1 is not prime. Res64: 7BE005DC624007BB Time : 0.0 sec. user=mdettweiler [2012-01-25 15:31:17] 645*2^1002739-1 is not prime. Res64: 359EAF7A7C315D05 Time : 0.0 sec. user=mdettweiler [2012-01-25 15:31:17] 693*2^1002739-1 is not prime. Res64: 6B8A3918874F4B42 Time : 0.0 sec. user=mdettweiler [2012-01-25 15:33:35] 813*2^1002739-1 is not prime. Res64: 04E45184E6A5A461 Time : 0.0 sec. user=mdettweiler [2012-01-25 15:33:35] 913*2^1002739-1 is not prime. Res64: 1027B62545DCE838 Time : 0.0 sec. user=mdettweiler [2012-01-25 15:38:09] 603*2^1002740-1 is not prime. Res64: AD67C7AA674961CA Time : 0.0 sec. user=mdettweiler [2012-01-25 15:38:10] 633*2^1002740-1 is not prime. Res64: 3E1FB3E29E22DDA1 Time : 0.0 sec. user=mdettweiler [2012-01-25 15:44:46] 665*2^1002740-1 is not prime. Res64: C347D0A67D3AC7B7 Time : 0.0 sec. user=mdettweiler [2012-01-25 15:44:46] 675*2^1002740-1 is not prime. Res64: 58755AF2881840B9 Time : 0.0 sec. user=mdettweiler [2012-01-25 15:53:59] 753*2^1002740-1 is not prime. Res64: DC1A66A023B91D0E Time : 0.0 sec. user=mdettweiler [2012-01-25 15:54:00] 923*2^1002740-1 is not prime. Res64: EE20BC72C3631FA3 Time : 0.0 sec. user=mdettweiler [2012-01-25 15:54:06] 679*2^1002741-1 is not prime. Res64: 66C4BEA07D5CB735 Time : 0.0 sec. user=mdettweiler [2012-01-25 15:54:06] 691*2^1002741-1 is not prime. Res64: 69B1D4EF93E8E4D0 Time : 0.0 sec. user=mdettweiler [2012-01-25 15:55:43] 829*2^1002735-1 is not prime. Res64: 3A92A6E72053296E Time : 0.0 sec. user=mdettweiler [2012-01-25 15:55:43] 933*2^1002735-1 is not prime. Res64: B29B0217D6E05188 Time : 0.0 sec. user=mdettweiler [2012-01-25 15:58:37] 745*2^1002741-1 is not prime. Res64: 02A8008540F0991F Time : 0.0 sec. user=mdettweiler [2012-01-25 15:58:37] 847*2^1002741-1 is not prime. Res64: 479BC21B908F2BE4 Time : 0.0 sec. user=mdettweiler [2012-01-25 16:05:04] 973*2^1002735-1 is not prime. Res64: 0939AFFBF1BF6F58 Time : 0.0 sec. user=mdettweiler [2012-01-25 16:05:04] 765*2^1002736-1 is not prime. Res64: D83B4DB7A260A448 Time : 0.0 sec. user=mdettweiler [2012-01-25 16:07:39] 889*2^1002741-1 is not prime. Res64: 2452900C566AFD9A Time : 0.0 sec. user=mdettweiler [2012-01-25 16:07:42] 927*2^1002741-1 is not prime. Res64: F9264B96F6D593D3 Time : 0.0 sec. user=mdettweiler [2012-01-25 16:17:00] 997*2^1002741-1 is not prime. Res64: B1619FC4A1A12A30 Time : 0.0 sec. user=mdettweiler [2012-01-25 16:17:00] 723*2^1002742-1 is not prime. Res64: 968D116B62A6F46B Time : 0.0 sec. user=mdettweiler [2012-01-25 16:17:19] 747*2^1002742-1 is not prime. Res64: F8A8BBF6169F98AC Time : 0.0 sec. user=mdettweiler [2012-01-25 16:17:19] 915*2^1002742-1 is not prime. Res64: 30C5638A67CA661C Time : 0.0 sec. user=mdettweiler [2012-01-25 16:19:17] 745*2^1002743-1 is not prime. Res64: 858992A463643879 Time : 0.0 sec. user=mdettweiler [2012-01-25 16:19:18] 789*2^1002743-1 is not prime. Res64: C15525FD8D6D6317 Time : 0.0 sec. user=mdettweiler [2012-01-25 16:30:43] 985*2^1002743-1 is not prime. Res64: 52418B5704E6E0C4 Time : 0.0 sec. user=mdettweiler [2012-01-25 16:30:43] 629*2^1002744-1 is not prime. Res64: 29670E59FB23F634 Time : 0.0 sec. user=mdettweiler [2012-01-25 16:33:42] 773*2^1002738-1 is not prime. Res64: 1FE3BB395BA2C9B6 Time : 0.0 sec. user=mdettweiler [2012-01-25 16:33:43] 927*2^1002738-1 is not prime. Res64: C9A98F11A973801E Time : 0.0 sec. user=mdettweiler [2012-01-25 16:37:23] 639*2^1002744-1 is not prime. Res64: 4A083937B4DD8EEA Time : 0.0 sec. user=mdettweiler [2012-01-25 16:37:23] 663*2^1002744-1 is not prime. Res64: 7DF9A71BFE4F51C8 Time : 0.0 sec. user=mdettweiler [2012-01-25 16:37:40] 675*2^1002744-1 is not prime. Res64: FEACDEA3ADFBF01C Time : 0.0 sec. user=mdettweiler [2012-01-25 16:37:40] 693*2^1002744-1 is not prime. Res64: 00716D8F419395EA Time : 0.0 sec. user=mdettweiler [2012-01-25 16:39:41] 725*2^1002744-1 is not prime. Res64: 09B778B4F869C88A Time : 0.0 sec. user=mdettweiler [2012-01-25 16:39:41] 857*2^1002744-1 is not prime. Res64: 047C6869A5FBC252 Time : 0.0 sec. user=mdettweiler [2012-01-25 16:51:03] 909*2^1002744-1 is not prime. Res64: BBFA98247FFF2687 Time : 0.0 sec. user=mdettweiler [2012-01-25 16:51:03] 619*2^1002745-1 is not prime. Res64: 1CDC92738F3B94D8 Time : 0.0 sec. user=mdettweiler [2012-01-25 16:58:07] 633*2^1002746-1 is not prime. Res64: 3F31417A9F65E534 Time : 0.0 sec. user=mdettweiler [2012-01-25 16:58:07] 683*2^1002746-1 is not prime. Res64: 4A0C493B635C497D Time : 0.0 sec. user=mdettweiler [2012-01-25 17:00:08] 889*2^1002745-1 is not prime. Res64: 5E3186594D9E9B30 Time : 0.0 sec. user=mdettweiler [2012-01-25 17:00:10] 743*2^1002746-1 is not prime. Res64: C13E26088212F66A Time : 0.0 sec. user=mdettweiler [2012-01-25 17:00:10] 999*2^1002745-1 is not prime. Res64: 7F6108610568196B Time : 0.0 sec. user=mdettweiler [2012-01-25 17:00:10] 911*2^1002746-1 is not prime. Res64: 8B778A07CEE54A09 Time : 0.0 sec. user=mdettweiler [2012-01-25 17:11:37] 669*2^1002743-1 is not prime. Res64: A0E4A71B10206013 Time : 0.0 sec. user=mdettweiler [2012-01-25 17:11:38] 735*2^1002743-1 is not prime. Res64: 5B6A94A38474026F Time : 0.0 sec. user=mdettweiler [2012-01-25 17:11:41] 619*2^1002747-1 is not prime. Res64: CB8EB84FEF392144 Time : 0.0 sec. user=mdettweiler [2012-01-25 17:11:44] 769*2^1002747-1 is not prime. Res64: 55EB8B80022B2DBE Time : 0.0 sec. user=mdettweiler [2012-01-25 17:18:29] 871*2^1002747-1 is not prime. Res64: A71F6C5D7F22B002 Time : 0.0 sec. user=mdettweiler [2012-01-25 17:18:29] 635*2^1002748-1 is not prime. Res64: 60DAFB344E340D34 Time : 0.0 sec. user=mdettweiler [2012-01-25 17:20:35] 699*2^1002748-1 is not prime. Res64: CF4D02776ACC3046 Time : 0.0 sec. user=mdettweiler [2012-01-25 17:20:35] 783*2^1002748-1 is not prime. Res64: FDEFB2921B05E09F Time : 0.0 sec. user=mdettweiler [2012-01-25 17:22:58] 989*2^1002748-1 is not prime. Res64: EF0123FE92A4DAB8 Time : 0.0 sec. user=mdettweiler [2012-01-25 17:22:59] 655*2^1002749-1 is not prime. Res64: 6D7F0C0CDAE9BF15 Time : 0.0 sec. user=mdettweiler [2012-01-25 17:31:57] 759*2^1002749-1 is not prime. Res64: 063C43D15D044D62 Time : 0.0 sec. user=mdettweiler [2012-01-25 17:31:57] 811*2^1002749-1 is not prime. Res64: AD987F91A288CCAC Time : 0.0 sec. user=mdettweiler [2012-01-25 17:38:14] 921*2^1002743-1 is not prime. Res64: 94670A57CDFE7266 Time : 0.0 sec. user=mdettweiler [2012-01-25 17:38:14] 963*2^1002743-1 is not prime. Res64: 1F489FF80FA311BD Time : 0.0 sec. user=mdettweiler [2012-01-25 17:38:36] 861*2^1002749-1 is not prime. Res64: CCC278DDE38E7F11 Time : 0.0 sec. user=mdettweiler [2012-01-25 17:38:36] 889*2^1002749-1 is not prime. Res64: 37E71B7193E0BCF1 Time : 0.0 sec. user=mdettweiler [2012-01-25 17:40:36] 611*2^1002750-1 is not prime. Res64: 31AA882D43A5B636 Time : 0.0 sec. user=mdettweiler [2012-01-25 17:40:37] 747*2^1002750-1 is not prime. Res64: 3C0D41B1175E6A82 Time : 0.0 sec. user=mdettweiler [2012-01-25 17:43:11] 765*2^1002750-1 is not prime. Res64: F3DCB58E08572F94 Time : 0.0 sec. user=mdettweiler [2012-01-25 17:43:12] 833*2^1002750-1 is not prime. Res64: 043B5C80D487068A Time : 0.0 sec. user=mdettweiler [2012-01-25 17:49:58] 705*2^1002745-1 is not prime. Res64: 2EE8253E9D173E8F Time : 0.0 sec. user=mdettweiler [2012-01-25 17:49:59] 861*2^1002745-1 is not prime. Res64: 7D1022F1ED180265 Time : 0.0 sec. user=mdettweiler [2012-01-25 17:54:38] 887*2^1002750-1 is not prime. Res64: 4DCB334919EBD85B Time : 0.0 sec. user=mdettweiler [2012-01-25 17:54:38] 951*2^1002750-1 is not prime. Res64: AD1D44B045EFCA23 Time : 0.0 sec. user=mdettweiler [2012-01-25 17:59:04] 723*2^1002751-1 is not prime. Res64: 18A475D17ECEF24C Time : 0.0 sec. user=mdettweiler [2012-01-25 17:59:04] 735*2^1002751-1 is not prime. Res64: 3DF2AA3345C1D771 Time : 0.0 sec. user=mdettweiler [2012-01-25 18:01:00] 759*2^1002751-1 is not prime. Res64: 9CCA37725DA2E252 Time : 0.0 sec. user=mdettweiler [2012-01-25 18:01:08] 769*2^1002751-1 is not prime. Res64: B1465B6AFA917F64 Time : 0.0 sec. user=mdettweiler [2012-01-25 18:03:29] 859*2^1002751-1 is not prime. Res64: 5758DD121C40AC6A Time : 0.0 sec. user=mdettweiler [2012-01-25 18:03:30] 871*2^1002751-1 is not prime. Res64: 3E48D2932FFECBCF Time : 0.0 sec. user=mdettweiler [2012-01-25 18:14:35] 633*2^1002752-1 is not prime. Res64: 970BB304445AC3EE Time : 0.0 sec. user=mdettweiler [2012-01-25 18:14:36] 683*2^1002752-1 is not prime. Res64: CFA3A0FDF23AE1F9 Time : 0.0 sec. user=mdettweiler [2012-01-25 18:18:51] 753*2^1002752-1 is not prime. Res64: EBB51DF6445AF98F Time : 0.0 sec. user=mdettweiler [2012-01-25 18:18:51] 759*2^1002752-1 is not prime. Res64: C5A6BDBB4559FC8D Time : 0.0 sec. user=mdettweiler [2012-01-25 18:20:55] 843*2^1002752-1 is not prime. Res64: FFF2BB24564498A9 Time : 0.0 sec. user=mdettweiler [2012-01-25 18:20:56] 875*2^1002752-1 is not prime. Res64: 9779A572987C290B Time : 0.0 sec. user=mdettweiler [2012-01-25 18:23:17] 903*2^1002752-1 is not prime. Res64: E3E9EBC6901FBA82 Time : 0.0 sec. user=mdettweiler [2012-01-25 18:23:17] 609*2^1002753-1 is not prime. Res64: CF715D8D434628EA Time : 0.0 sec. user=mdettweiler [2012-01-25 18:28:05] 729*2^1002749-1 is not prime. Res64: 4C18DEC903257B47 Time : 0.0 sec. user=mdettweiler [2012-01-25 18:28:06] 741*2^1002749-1 is not prime. Res64: 61058323C8B4E795 Time : 0.0 sec. user=mdettweiler [2012-01-25 18:36:39] 837*2^1002753-1 is not prime. Res64: 3498C05FFC26A896 Time : 0.0 sec. user=mdettweiler [2012-01-25 18:36:40] 951*2^1002753-1 is not prime. Res64: C70AD94BAC45BF92 Time : 0.0 sec. user=mdettweiler [2012-01-25 18:40:44] 755*2^1002754-1 is not prime. Res64: 8F8BE73619F64AF0 Time : 0.0 sec. user=mdettweiler [2012-01-25 18:40:44] 783*2^1002754-1 is not prime. Res64: E72CADEB5154FAFD Time : 0.0 sec. user=mdettweiler [2012-01-25 18:40:56] 955*2^1002753-1 is not prime. Res64: 279D451AE6ABA85C Time : 0.0 sec. user=mdettweiler [2012-01-25 18:40:56] 695*2^1002754-1 is not prime. Res64: 1D91D34B7B147CCA Time : 0.0 sec. user=mdettweiler [2012-01-25 18:45:20] 827*2^1002754-1 is not prime. Res64: 72371DA548CB7BE7 Time : 0.0 sec. user=mdettweiler [2012-01-25 18:45:21] 987*2^1002754-1 is not prime. Res64: AF89D5F18C4185CA Time : 0.0 sec. user=mdettweiler [2012-01-25 18:56:29] 669*2^1002755-1 is not prime. Res64: 13940BF42E416C16 Time : 0.0 sec. user=mdettweiler [2012-01-25 18:56:30] 759*2^1002755-1 is not prime. Res64: E8A1E9D9DE0C3524 Time : 0.0 sec. user=mdettweiler [2012-01-25 19:00:34] 771*2^1002755-1 is not prime. Res64: 2355666F5AFC87F9 Time : 0.0 sec. user=mdettweiler [2012-01-25 19:00:34] 783*2^1002755-1 is not prime. Res64: BE4665EB716FBD61 Time : 0.0 sec. user=mdettweiler [2012-01-25 19:00:44] 805*2^1002755-1 is not prime. Res64: 30A5269FEF6E76A8 Time : 0.0 sec. user=mdettweiler [2012-01-25 19:00:49] 841*2^1002755-1 is not prime. Res64: AC02684CC272E475 Time : 0.0 sec. user=mdettweiler [2012-01-25 19:02:31] 963*2^1002750-1 is not prime. Res64: 73FB425EDB109BD1 Time : 0.0 sec. user=mdettweiler [2012-01-25 19:02:32] 645*2^1002751-1 is not prime. Res64: 8255FCFF21E6AA89 Time : 0.0 sec. user=mdettweiler [2012-01-25 19:05:13] 843*2^1002755-1 is not prime. Res64: 1B2E82DB88425BDA Time : 0.0 sec. user=mdettweiler [2012-01-25 19:05:14] 885*2^1002755-1 is not prime. Res64: E0489BA33999C26C Time : 0.0 sec. user=mdettweiler [2012-01-25 19:14:07] 931*2^1002751-1 is not prime. Res64: A52921AD9B45D44E Time : 0.0 sec. user=mdettweiler [2012-01-25 19:14:09] 623*2^1002752-1 is not prime. Res64: 412AF70CE9E7BC19 Time : 0.0 sec. user=mdettweiler [2012-01-25 19:16:14] 629*2^1002756-1 is not prime. Res64: 73B38E38E1290891 Time : 0.0 sec. user=mdettweiler [2012-01-25 19:16:14] 695*2^1002756-1 is not prime. Res64: BBFF11506B84A20F Time : 0.0 sec. user=mdettweiler [2012-01-25 19:20:18] 825*2^1002756-1 is not prime. Res64: A34399C12BEDF70A Time : 0.0 sec. user=mdettweiler [2012-01-25 19:20:19] 899*2^1002756-1 is not prime. Res64: 6B2AE9C97DEEB70D Time : 0.0 sec. user=mdettweiler [2012-01-25 19:20:40] 645*2^1002757-1 is not prime. Res64: 50B58E8F938704F1 Time : 0.0 sec. user=mdettweiler [2012-01-25 19:20:40] 661*2^1002757-1 is not prime. Res64: 153083BC82F87912 Time : 0.0 sec. user=mdettweiler [2012-01-25 19:27:22] 861*2^1002757-1 is not prime. Res64: D30A7A0AAB399CC7 Time : 0.0 sec. user=mdettweiler [2012-01-25 19:27:22] 961*2^1002757-1 is not prime. Res64: 0C569C131854FEEE Time : 0.0 sec. user=mdettweiler [2012-01-25 19:38:15] 861*2^1002758-1 is not prime. Res64: 9FFA8B30E6807F81 Time : 0.0 sec. user=mdettweiler [2012-01-25 19:38:15] 957*2^1002758-1 is not prime. Res64: 0B8C725EEF1A540F Time : 0.0 sec. user=mdettweiler [2012-01-25 19:40:14] 615*2^1002759-1 is not prime. Res64: 7B4084E58EDDEC88 Time : 0.0 sec. user=mdettweiler [2012-01-25 19:40:14] 675*2^1002759-1 is not prime. Res64: 1B10E5671F09F391 Time : 0.0 sec. user=mdettweiler [2012-01-25 19:40:28] 709*2^1002759-1 is not prime. Res64: C99B9A0709E7BDC9 Time : 0.0 sec. user=mdettweiler [2012-01-25 19:40:29] 735*2^1002759-1 is not prime. Res64: 438315AC544BDF71 Time : 0.0 sec. user=mdettweiler [2012-01-25 19:43:47] 601*2^1002755-1 is not prime. Res64: 7D59E3FB3BCE97A6 Time : 0.0 sec. user=mdettweiler [2012-01-25 19:43:47] 663*2^1002755-1 is not prime. Res64: 3BC0036C9BF51A27 Time : 0.0 sec. user=mdettweiler [2012-01-25 19:49:27] 789*2^1002759-1 is not prime. Res64: 4D3763C5170AA3F6 Time : 0.0 sec. user=mdettweiler [2012-01-25 19:49:28] 933*2^1002759-1 is not prime. Res64: 86C10C232D63A49C Time : 0.0 sec. user=mdettweiler [2012-01-25 20:00:04] 723*2^1002760-1 is not prime. Res64: 7CC081A5626CE0B9 Time : 0.0 sec. user=mdettweiler [2012-01-25 20:00:05] 819*2^1002760-1 is not prime. Res64: 16686AF43BC90C7F Time : 0.0 sec. user=mdettweiler [2012-01-25 20:00:13] 601*2^1002761-1 is not prime. Res64: FA54AE748DB6DF0C Time : 0.0 sec. user=mdettweiler [2012-01-25 20:00:14] 637*2^1002761-1 is not prime. Res64: C230F8ADFDFCFBC8 Time : 0.0 sec. user=mdettweiler [2012-01-25 20:00:21] 969*2^1002759-1 is not prime. Res64: 5335E094273FF3F6 Time : 0.0 sec. user=mdettweiler [2012-01-25 20:00:22] 689*2^1002760-1 is not prime. Res64: E8E76242FF2748FF Time : 0.0 sec. user=mdettweiler [2012-01-25 20:09:13] 829*2^1002761-1 is not prime. Res64: 84C385A7218378B6 Time : 0.0 sec. user=mdettweiler [2012-01-25 20:09:14] 885*2^1002761-1 is not prime. Res64: D568592437A75360 Time : 0.0 sec. user=mdettweiler [2012-01-25 20:18:13] 741*2^1002757-1 is not prime. Res64: CA4D5FCAE9AC3897 Time : 0.0 sec. user=mdettweiler [2012-01-25 20:18:13] 759*2^1002757-1 is not prime. Res64: 0C6DC3A75AA4D64C Time : 0.0 sec. user=mdettweiler [2012-01-25 20:20:09] 777*2^1002762-1 is not prime. Res64: A3633B767E3B0694 Time : 0.0 sec. user=mdettweiler [2012-01-25 20:20:09] 791*2^1002762-1 is not prime. Res64: 4949BE8B3D042636 Time : 0.0 sec. user=mdettweiler [2012-01-25 20:22:14] 937*2^1002761-1 is not prime. Res64: 23609632CF33577D Time : 0.0 sec. user=mdettweiler [2012-01-25 20:22:14] 611*2^1002762-1 is not prime. Res64: F9F1DE2AE9B20DF7 Time : 0.0 sec. user=mdettweiler [2012-01-25 20:22:24] 885*2^1002762-1 is not prime. Res64: 251BE23B35D2AA41 Time : 0.0 sec. user=mdettweiler [2012-01-25 20:22:25] 947*2^1002762-1 is not prime. Res64: FA8F4A50E9C9A269 Time : 0.0 sec. user=mdettweiler [2012-01-25 20:29:00] 625*2^1002763-1 is not prime. Res64: 9C24595A01BF41FB Time : 0.0 sec. user=mdettweiler [2012-01-25 20:29:01] 849*2^1002763-1 is not prime. Res64: 8E02BEBE4F94FB93 Time : 0.0 sec. user=mdettweiler [2012-01-25 20:29:41] 797*2^1002758-1 is not prime. Res64: A77475EF5D61C878 Time : 0.0 sec. user=mdettweiler [2012-01-25 20:29:42] 831*2^1002758-1 is not prime. Res64: 6B52AC824BE4464B Time : 0.0 sec. user=mdettweiler [2012-01-25 20:39:57] 623*2^1002764-1 is not prime. Res64: A031ECF85CC51633 Time : 0.0 sec. user=mdettweiler [2012-01-25 20:39:57] 717*2^1002764-1 is not prime. Res64: BD73B118AA0D29EF Time : 0.0 sec. user=mdettweiler [2012-01-25 20:42:00] 759*2^1002764-1 is not prime. Res64: 2EDEB145D8E25271 Time : 0.0 sec. user=mdettweiler [2012-01-25 20:42:00] 833*2^1002764-1 is not prime. Res64: E12C54E76232F041 Time : 0.0 sec. user=mdettweiler [2012-01-25 20:44:32] 909*2^1002764-1 is not prime. Res64: 0E246FF8358B2D75 Time : 0.0 sec. user=mdettweiler [2012-01-25 20:44:33] 923*2^1002764-1 is not prime. Res64: E1935357E0F68CA7 Time : 0.0 sec. user=mdettweiler [2012-01-25 20:51:09] 969*2^1002764-1 is not prime. Res64: 7C780C81E7CAAC9F Time : 0.0 sec. user=mdettweiler [2012-01-25 20:51:10] 651*2^1002765-1 is not prime. Res64: 8CBD8688D2391653 Time : 0.0 sec. user=mdettweiler [2012-01-25 20:59:34] 735*2^1002761-1 is not prime. Res64: B2CAB10C8D180072 Time : 0.0 sec. user=mdettweiler [2012-01-25 20:59:35] 795*2^1002761-1 is not prime. Res64: A3B5363763D5D993 Time : 0.0 sec. user=mdettweiler [2012-01-25 21:00:07] 751*2^1002765-1 is not prime. Res64: CEBC5E8F327F16A5 Time : 0.0 sec. user=mdettweiler [2012-01-25 21:00:07] 859*2^1002765-1 is not prime. Res64: 7DB30650FDD93D21 Time : 0.0 sec. user=mdettweiler [2012-01-25 21:04:35] 813*2^1002766-1 is not prime. Res64: 9A75E6B8ECE935F3 Time : 0.0 sec. user=mdettweiler [2012-01-25 21:04:35] 897*2^1002766-1 is not prime. Res64: E310B6588C9BAF61 Time : 0.0 sec. user=mdettweiler [2012-01-25 21:06:36] 949*2^1002765-1 is not prime. Res64: 4571A69D84C90C35 Time : 0.0 sec. user=mdettweiler [2012-01-25 21:06:38] 991*2^1002765-1 is not prime. Res64: D3BE9414E2103EBB Time : 0.0 sec. user=mdettweiler [2012-01-25 21:11:21] 721*2^1002455-1 is not prime. Res64: E437E67BB6CA44B7 Time : 0.0 sec. user=mdettweiler [2012-01-25 21:11:21] 883*2^1002455-1 is not prime. Res64: A42C8318619293CB Time : 0.0 sec. user=mdettweiler [2012-01-25 21:20:17] 663*2^1002767-1 is not prime. Res64: F5166CDA7137C689 Time : 0.0 sec. user=mdettweiler [2012-01-25 21:20:17] 735*2^1002767-1 is not prime. Res64: 3FFE39B43B37410C Time : 0.0 sec. user=mdettweiler [2012-01-25 21:24:35] 753*2^1002767-1 is not prime. Res64: 2473A3577C1CE9D1 Time : 0.0 sec. user=mdettweiler [2012-01-25 21:24:36] 799*2^1002767-1 is not prime. Res64: 51501AF42038875E Time : 0.0 sec. user=mdettweiler [2012-01-25 21:26:36] 669*2^1002768-1 is not prime. Res64: 478E0FF7629A617C Time : 0.0 sec. user=mdettweiler [2012-01-25 21:26:36] 725*2^1002768-1 is not prime. Res64: 278F2B928B4BA7E9 Time : 0.0 sec. user=mdettweiler [2012-01-25 21:31:24] 795*2^1002768-1 is not prime. Res64: 0C46FE4B7E654C45 Time : 0.0 sec. user=mdettweiler [2012-01-25 21:31:24] 845*2^1002768-1 is not prime. Res64: 573875F9A62A4ABE Time : 0.0 sec. user=mdettweiler [2012-01-25 21:34:25] 873*2^1002763-1 is not prime. Res64: 7FC9AC28C3D82696 Time : 0.0 sec. user=mdettweiler [2012-01-25 21:34:25] 885*2^1002763-1 is not prime. Res64: 9140440AF8B601B2 Time : 0.0 sec. user=mdettweiler [2012-01-25 21:40:08] 875*2^1002768-1 is not prime. Res64: A9BF58B68A951CA8 Time : 0.0 sec. user=mdettweiler [2012-01-25 21:40:08] 879*2^1002768-1 is not prime. Res64: 73E0CF700B4044A3 Time : 0.0 sec. user=mdettweiler [2012-01-25 21:45:59] 669*2^1002765-1 is not prime. Res64: D37BD2A96721B4AC Time : 0.0 sec. user=mdettweiler [2012-01-25 21:45:59] 709*2^1002765-1 is not prime. Res64: 9BA405FF2DEEF2F0 Time : 0.0 sec. user=mdettweiler [2012-01-25 21:46:33] 801*2^1002769-1 is not prime. Res64: 95C6DC01E9C3870A Time : 0.0 sec. user=mdettweiler [2012-01-25 21:46:33] 841*2^1002769-1 is not prime. Res64: 751D1CA30B65C435 Time : 0.0 sec. user=mdettweiler [2012-01-25 21:46:41] 933*2^1002768-1 is not prime. Res64: 16FF35728D351839 Time : 0.0 sec. user=mdettweiler [2012-01-25 21:46:41] 747*2^1002769-1 is not prime. Res64: 2D163ABC3A682FE5 Time : 0.0 sec. user=mdettweiler [2012-01-25 21:53:31] 861*2^1002769-1 is not prime. Res64: 3109D104F843F4C3 Time : 0.0 sec. user=mdettweiler [2012-01-25 21:53:31] 919*2^1002769-1 is not prime. Res64: 27E00DE3C1EF737E Time : 0.0 sec. user=mdettweiler [2012-01-25 22:00:12] 791*2^1002770-1 is not prime. Res64: E5D6A51BE451E7B4 Time : 0.0 sec. user=mdettweiler [2012-01-25 22:00:15] 797*2^1002770-1 is not prime. Res64: 5EECB94082EB1262 Time : 0.0 sec. user=mdettweiler [2012-01-25 22:06:39] 867*2^1002770-1 is not prime. Res64: 2C4F565F5EDCF45E Time : 0.0 sec. user=mdettweiler [2012-01-25 22:06:39] 911*2^1002770-1 is not prime. Res64: CC5BD0D0063F3BE6 Time : 0.0 sec. user=mdettweiler [2012-01-25 22:11:22] 953*2^1002770-1 is not prime. Res64: 81AD5ACA1749ABD3 Time : 0.0 sec. user=mdettweiler [2012-01-25 22:11:23] 957*2^1002770-1 is not prime. Res64: F498611A2E6ACBDA Time : 0.0 sec. user=mdettweiler [2012-01-25 22:13:38] 649*2^1002771-1 is not prime. Res64: 1D4FED7CF57FE6A8 Time : 0.0 sec. user=mdettweiler [2012-01-25 22:22:36] 885*2^1002771-1 is not prime. Res64: 0341A721FCBB1BD3 Time : 0.0 sec. user=mdettweiler [2012-01-25 22:22:37] 999*2^1002771-1 is not prime. Res64: 7614DF1857498E89 Time : 0.0 sec. user=mdettweiler [2012-01-25 22:24:06] 941*2^1002766-1 is not prime. Res64: 029923A9A7927F8D Time : 0.0 sec. user=mdettweiler [2012-01-25 22:24:06] 645*2^1002767-1 is not prime. Res64: F337477706BCB1EC Time : 0.0 sec. user=mdettweiler [2012-01-25 22:26:53] 687*2^1002772-1 is not prime. Res64: 083DFC1D631F8CAF Time : 0.0 sec. user=mdettweiler [2012-01-25 22:26:54] 749*2^1002772-1 is not prime. Res64: F220BE26A6E6DD12 Time : 0.0 sec. user=mdettweiler [2012-01-25 22:31:29] 825*2^1002772-1 is not prime. Res64: 77A70FC4FEA6048C Time : 0.0 sec. user=mdettweiler [2012-01-25 22:31:29] 903*2^1002772-1 is not prime. Res64: B8B97542305CA00C Time : 0.0 sec. user=mdettweiler [2012-01-25 22:40:59] 781*2^1002771-1 is not prime. Res64: 4364485C856BEC7F Time : 0.0 sec. user=mdettweiler [2012-01-25 22:42:32] 649*2^1002773-1 is not prime. Res64: CEA79CDEDAA76952 Time : 0.0 sec. user=mdettweiler [2012-01-25 22:42:33] 691*2^1002773-1 is not prime. Res64: D450A2C63CE62824 Time : 0.0 sec. user=mdettweiler [2012-01-25 22:46:43] 801*2^1002773-1 is not prime. Res64: 0AF816035D2B6172 Time : 0.0 sec. user=mdettweiler [2012-01-25 22:46:43] 861*2^1002773-1 is not prime. Res64: 25999FBF4B94A5B0 Time : 0.0 sec. user=mdettweiler [2012-01-25 22:50:20] 641*2^1002770-1 is not prime. Res64: 6C55C4C8CBE41A00 Time : 0.0 sec. user=mdettweiler [2012-01-25 22:50:20] 657*2^1002770-1 is not prime. Res64: F9A92C25F81D5AA2 Time : 0.0 sec. user=mdettweiler [2012-01-25 22:51:16] 885*2^1002773-1 is not prime. Res64: 6EB6D42717234909 Time : 0.0 sec. user=mdettweiler [2012-01-25 22:51:16] 889*2^1002773-1 is not prime. Res64: 1B2AEEAFB3E69AF6 Time : 0.0 sec. user=mdettweiler [2012-01-25 23:01:58] 813*2^1002770-1 is not prime. Res64: 7FA9454E0EAC55B4 Time : 0.0 sec. user=mdettweiler [2012-01-25 23:01:59] 857*2^1002770-1 is not prime. Res64: 874786857F96E7FC Time : 0.0 sec. user=mdettweiler [2012-01-25 23:02:19] 635*2^1002774-1 is not prime. Res64: 342D8CFF739CD974 Time : 0.0 sec. user=mdettweiler [2012-01-25 23:02:19] 683*2^1002774-1 is not prime. Res64: 2D694F4ECFE653F1 Time : 0.0 sec. user=mdettweiler [2012-01-25 23:05:15] 915*2^1002773-1 is not prime. Res64: 535AC25C41AFBF1A Time : 0.0 sec. user=mdettweiler [2012-01-25 23:05:16] 981*2^1002773-1 is not prime. Res64: 46B72FA01095A941 Time : 0.0 sec. user=mdettweiler [2012-01-25 23:06:29] 723*2^1002774-1 is not prime. Res64: EC3FE6771C473D7B Time : 0.0 sec. user=mdettweiler [2012-01-25 23:06:30] 773*2^1002774-1 is not prime. Res64: 1FAD506CCB610C83 Time : 0.0 sec. user=mdettweiler [2012-01-25 23:13:20] 993*2^1002774-1 is not prime. Res64: 14A1567C334B4C54 Time : 0.0 sec. user=mdettweiler [2012-01-25 23:13:23] 645*2^1002775-1 is not prime. Res64: B05B4E26EA51FD3F Time : 0.0 sec. user=mdettweiler [2012-01-25 23:22:01] 853*2^1002775-1 is not prime. Res64: D139358A0149C830 Time : 0.0 sec. user=mdettweiler [2012-01-25 23:22:02] 885*2^1002775-1 is not prime. Res64: 2D2F9F8B4E8B2C48 Time : 0.0 sec. user=mdettweiler [2012-01-25 23:26:13] 659*2^1002776-1 is not prime. Res64: 25A781E58B4298D8 Time : 0.0 sec. user=mdettweiler [2012-01-25 23:26:14] 669*2^1002776-1 is not prime. Res64: 2343F8AB02D9B9AA Time : 0.0 sec. user=mdettweiler [2012-01-25 23:27:17] 999*2^1002775-1 is not prime. Res64: 5B8427DD673351D3 Time : 0.0 sec. user=mdettweiler [2012-01-25 23:27:17] 629*2^1002776-1 is not prime. Res64: FA888F0A1F87DCD5 Time : 0.0 sec. user=mdettweiler [2012-01-25 23:33:06] 843*2^1002776-1 is not prime. Res64: CDC6F7A9AC4D1F86 Time : 0.0 sec. user=mdettweiler [2012-01-25 23:33:07] 875*2^1002776-1 is not prime. Res64: D6FAAC1CF65E7A12 Time : 0.0 sec. user=mdettweiler [2012-01-25 23:39:52] 735*2^1002773-1 is not prime. Res64: EEC75970D82C58E6 Time : 0.0 sec. user=mdettweiler [2012-01-25 23:39:53] 795*2^1002773-1 is not prime. Res64: 9FBED4471B60FE76 Time : 0.0 sec. user=mdettweiler [2012-01-25 23:44:04] 903*2^1002776-1 is not prime. Res64: 2876A154DA30AD69 Time : 0.0 sec. user=mdettweiler [2012-01-25 23:44:04] 963*2^1002776-1 is not prime. Res64: 905C75D94042D3E5 Time : 0.0 sec. user=mdettweiler [2012-01-25 23:46:05] 661*2^1002777-1 is not prime. Res64: 5D7DAC478B5443FB Time : 0.0 sec. user=mdettweiler [2012-01-25 23:46:05] 681*2^1002777-1 is not prime. Res64: ABB0CE60215B9D5D Time : 0.0 sec. user=mdettweiler [2012-01-25 23:47:03] 717*2^1002777-1 is not prime. Res64: B80D2ADC1CA3B619 Time : 0.0 sec. user=mdettweiler [2012-01-25 23:47:03] 727*2^1002777-1 is not prime. Res64: F8FBD08F10FEFEA7 Time : 0.0 sec. user=mdettweiler [2012-01-25 23:52:50] 769*2^1002777-1 is not prime. Res64: 2C952B08831BC732 Time : 0.0 sec. user=mdettweiler [2012-01-25 23:52:50] 805*2^1002777-1 is not prime. Res64: 0C1B86A01090FDDC Time : 0.0 sec.