user=mdettweiler [2012-12-20 00:05:38] 623*2^1237696-1 is not prime. Res64: 9C32FAEE633E7E25 Time : 0.0 sec. user=mdettweiler [2012-12-20 00:05:40] 657*2^1237696-1 is not prime. Res64: 931DAD98C8E39C74 Time : 0.0 sec. user=mdettweiler [2012-12-20 00:14:27] 785*2^1237696-1 is not prime. Res64: 6284409E5D26FE70 Time : 0.0 sec. user=mdettweiler [2012-12-20 00:14:28] 825*2^1237696-1 is not prime. Res64: B09D067BAA087D3C Time : 0.0 sec. user=mdettweiler [2012-12-20 00:23:04] 873*2^1237696-1 is not prime. Res64: D707DEECBCDAC231 Time : 0.0 sec. user=mdettweiler [2012-12-20 00:23:04] 933*2^1237696-1 is not prime. Res64: AE5A9120AF4887EC Time : 0.0 sec. user=mdettweiler [2012-12-20 00:31:50] 965*2^1237696-1 is not prime. Res64: 1D0E41925684A039 Time : 0.0 sec. user=mdettweiler [2012-12-20 00:31:51] 969*2^1237696-1 is not prime. Res64: EE4DFB2DCCA8293C Time : 0.0 sec. user=mdettweiler [2012-12-20 00:40:22] 631*2^1237697-1 is not prime. Res64: 2BAEE9979E95A78F Time : 0.0 sec. user=mdettweiler [2012-12-20 00:40:23] 675*2^1237697-1 is not prime. Res64: 7AFEB26B99DE5E0D Time : 0.0 sec. user=mdettweiler [2012-12-20 00:49:11] 735*2^1237697-1 is not prime. Res64: E3A00109A824ECA4 Time : 0.0 sec. user=mdettweiler [2012-12-20 00:49:11] 829*2^1237697-1 is not prime. Res64: 9AA314E07193B199 Time : 0.0 sec. user=mdettweiler [2012-12-20 00:57:41] 937*2^1237697-1 is not prime. Res64: 4ECC9833EBF79D23 Time : 0.0 sec. user=mdettweiler [2012-12-20 00:57:41] 949*2^1237697-1 is not prime. Res64: 59662B2F7A939DAA Time : 0.0 sec. user=mdettweiler [2012-12-20 01:06:30] 985*2^1237697-1 is not prime. Res64: C60E0043C8E79D93 Time : 0.0 sec. user=mdettweiler [2012-12-20 01:06:31] 633*2^1237698-1 is not prime. Res64: E40EFD4D0170157E Time : 0.0 sec. user=mdettweiler [2012-12-20 01:14:59] 681*2^1237698-1 is not prime. Res64: EA3706D5843B22A3 Time : 0.0 sec. user=mdettweiler [2012-12-20 01:15:00] 773*2^1237698-1 is not prime. Res64: BEDC0014664874CE Time : 0.0 sec. user=mdettweiler [2012-12-20 01:24:01] 791*2^1237698-1 is not prime. Res64: E567219627CDC0E5 Time : 0.0 sec. user=mdettweiler [2012-12-20 01:24:02] 825*2^1237698-1 is not prime. Res64: A7FAE4564BF5D96F Time : 0.0 sec. user=mdettweiler [2012-12-20 01:32:23] 957*2^1237698-1 is not prime. Res64: BC793EDCC3434A2D Time : 0.0 sec. user=mdettweiler [2012-12-20 01:32:25] 975*2^1237698-1 is not prime. Res64: 2EF2B38E9DFBD1F2 Time : 0.0 sec. user=mdettweiler [2012-12-20 01:41:20] 1001*2^1237698-1 is not prime. Res64: FF7DC5BFF835B7E2 Time : 0.0 sec. user=mdettweiler [2012-12-20 01:41:21] 609*2^1237699-1 is not prime. Res64: 7684264AE82B5D8F Time : 0.0 sec. user=mdettweiler [2012-12-20 01:49:45] 631*2^1237699-1 is not prime. Res64: FE9CA8C711E68C91 Time : 0.0 sec. user=mdettweiler [2012-12-20 01:49:46] 693*2^1237699-1 is not prime. Res64: F5F41493087F5B90 Time : 0.0 sec. user=mdettweiler [2012-12-20 01:58:39] 919*2^1237699-1 is not prime. Res64: F1938177A12AFB34 Time : 0.0 sec. user=mdettweiler [2012-12-20 01:58:40] 939*2^1237699-1 is not prime. Res64: 06BF1EC1F82F54FD Time : 0.0 sec. user=mdettweiler [2012-12-20 02:07:04] 969*2^1237699-1 is not prime. Res64: 5F54ADE7D4A2452E Time : 0.0 sec. user=mdettweiler [2012-12-20 02:07:05] 999*2^1237699-1 is not prime. Res64: ED4123280945F929 Time : 0.0 sec. user=mdettweiler [2012-12-20 02:15:58] 633*2^1237700-1 is not prime. Res64: D5B3FE64C99DA10C Time : 0.0 sec. user=mdettweiler [2012-12-20 02:15:59] 707*2^1237700-1 is not prime. Res64: 70BE14DDD4F6A48A Time : 0.0 sec. user=mdettweiler [2012-12-20 02:24:32] 789*2^1237700-1 is not prime. Res64: 8116C705B233AB85 Time : 0.0 sec. user=mdettweiler [2012-12-20 02:24:33] 855*2^1237700-1 is not prime. Res64: 0CB38823C458633E Time : 0.0 sec. user=mdettweiler [2012-12-20 02:33:25] 983*2^1237700-1 is not prime. Res64: 20AF3FFA8CCD6D34 Time : 0.0 sec. user=mdettweiler [2012-12-20 02:33:27] 777*2^1237701-1 is not prime. Res64: 79054F2497157EB1 Time : 0.0 sec. user=mdettweiler [2012-12-20 02:41:54] 861*2^1237701-1 is not prime. Res64: 7D009BD093EF63DD Time : 0.0 sec. user=mdettweiler [2012-12-20 02:41:55] 871*2^1237701-1 is not prime. Res64: C0ABC6BB390219FC Time : 0.0 sec. user=mdettweiler [2012-12-20 02:50:51] 885*2^1237701-1 is not prime. Res64: 764A2A20025E48F6 Time : 0.0 sec. user=mdettweiler [2012-12-20 02:50:53] 889*2^1237701-1 is not prime. Res64: FE41A4478F935C46 Time : 0.0 sec. user=mdettweiler [2012-12-20 02:59:15] 991*2^1237701-1 is not prime. Res64: 66A32CF0A7E1C009 Time : 0.0 sec. user=mdettweiler [2012-12-20 02:59:15] 623*2^1237702-1 is not prime. Res64: EE57B0EA6D9B88DE Time : 0.0 sec. user=mdettweiler [2012-12-20 03:08:19] 755*2^1237702-1 is not prime. Res64: FE8F5802B04A7633 Time : 0.0 sec. user=mdettweiler [2012-12-20 03:08:21] 621*2^1237703-1 is not prime. Res64: 748D859F436D5BEF Time : 0.0 sec. user=mdettweiler [2012-12-20 03:16:34] 669*2^1237703-1 is not prime. Res64: DDA3AF25F90A373D Time : 0.0 sec. user=mdettweiler [2012-12-20 03:16:35] 949*2^1237703-1 is not prime. Res64: 44223CF0722AFCF4 Time : 0.0 sec. user=mdettweiler [2012-12-20 03:25:57] 639*2^1237704-1 is not prime. Res64: 97EDF232049F9910 Time : 0.0 sec. user=mdettweiler [2012-12-20 03:25:57] 705*2^1237704-1 is not prime. Res64: 0AC275A2E2D46C1A Time : 0.0 sec. user=mdettweiler [2012-12-20 03:33:54] 723*2^1237704-1 is not prime. Res64: 996FAC0B438A5B2B Time : 0.0 sec. user=mdettweiler [2012-12-20 03:34:00] 875*2^1237704-1 is not prime. Res64: D43316BA3C105F3D Time : 0.0 sec. user=mdettweiler [2012-12-20 03:43:16] 887*2^1237704-1 is not prime. Res64: 4EE1FA51B97A05CD Time : 0.0 sec. user=mdettweiler [2012-12-20 03:43:17] 649*2^1237705-1 is not prime. Res64: 8675B23DDCB7F9D7 Time : 0.0 sec. user=mdettweiler [2012-12-20 03:51:32] 765*2^1237705-1 is not prime. Res64: DB7B87E630482E29 Time : 0.0 sec. user=mdettweiler [2012-12-20 03:51:32] 789*2^1237705-1 is not prime. Res64: 714B4B71DD7AE69F Time : 0.0 sec. user=mdettweiler [2012-12-20 04:00:44] 841*2^1237705-1 is not prime. Res64: 3FCB74B36455EA5D Time : 0.0 sec. user=mdettweiler [2012-12-20 04:00:45] 897*2^1237705-1 is not prime. Res64: C73A5DB74CB8657D Time : 0.0 sec. user=mdettweiler [2012-12-20 04:08:52] 925*2^1237705-1 is not prime. Res64: 232A990352636232 Time : 0.0 sec. user=mdettweiler [2012-12-20 04:08:54] 955*2^1237705-1 is not prime. Res64: 4527DF96479C47EA Time : 0.0 sec. user=mdettweiler [2012-12-20 04:18:05] 627*2^1237706-1 is not prime. Res64: 0EE0F33552FAB8C6 Time : 0.0 sec. user=mdettweiler [2012-12-20 04:18:05] 713*2^1237706-1 is not prime. Res64: D1450516E213A6AB Time : 0.0 sec. user=mdettweiler [2012-12-20 04:26:34] 827*2^1237706-1 is not prime. Res64: B29F43E37CCE1F4F Time : 0.0 sec. user=mdettweiler [2012-12-20 04:26:35] 875*2^1237706-1 is not prime. Res64: DFB6BA7FD5BF3891 Time : 0.0 sec. user=mdettweiler [2012-12-20 04:35:27] 923*2^1237706-1 is not prime. Res64: C9A1B37AEE530736 Time : 0.0 sec. user=mdettweiler [2012-12-20 04:35:29] 601*2^1237707-1 is not prime. Res64: 36F59570F58E8EFD Time : 0.0 sec. user=mdettweiler [2012-12-20 04:43:54] 825*2^1237707-1 is not prime. Res64: 5BBADADA6BDDDD72 Time : 0.0 sec. user=mdettweiler [2012-12-20 04:43:54] 859*2^1237707-1 is not prime. Res64: 437A5E65C2B92B13 Time : 0.0 sec. user=mdettweiler [2012-12-20 04:52:49] 861*2^1237707-1 is not prime. Res64: E1C961F68312D2A6 Time : 0.0 sec. user=mdettweiler [2012-12-20 04:52:49] 909*2^1237707-1 is not prime. Res64: D0A2D662C8090B9D Time : 0.0 sec. user=mdettweiler [2012-12-20 05:01:13] 603*2^1237708-1 is not prime. Res64: F99F9FAF83042F92 Time : 0.0 sec. user=mdettweiler [2012-12-20 05:01:15] 707*2^1237708-1 is not prime. Res64: B731B69C5FF45A8A Time : 0.0 sec. user=mdettweiler [2012-12-20 05:10:12] 743*2^1237708-1 is not prime. Res64: 11A9BD0BE3C559F8 Time : 0.0 sec. user=mdettweiler [2012-12-20 05:10:14] 887*2^1237708-1 is not prime. Res64: 04FFC216FBFF72C3 Time : 0.0 sec. user=mdettweiler [2012-12-20 05:18:47] 995*2^1237708-1 is not prime. Res64: CC32DBB05BE6CEAB Time : 0.0 sec. user=mdettweiler [2012-12-20 05:18:47] 627*2^1237709-1 is not prime. Res64: 2E78D740EC151CC5 Time : 0.0 sec. user=mdettweiler [2012-12-20 05:27:34] 655*2^1237709-1 is not prime. Res64: 061839D96A1A5EE1 Time : 0.0 sec. user=mdettweiler [2012-12-20 05:27:35] 735*2^1237709-1 is not prime. Res64: E97676EBEFFDBCEF Time : 0.0 sec. user=mdettweiler [2012-12-20 05:36:06] 819*2^1237709-1 is not prime. Res64: F6390449D835A0CC Time : 0.0 sec. user=mdettweiler [2012-12-20 05:36:07] 867*2^1237709-1 is not prime. Res64: 61D92B7E547FEFB8 Time : 0.0 sec. user=mdettweiler [2012-12-20 05:44:54] 957*2^1237709-1 is not prime. Res64: 5317E98B8E7FC698 Time : 0.0 sec. user=mdettweiler [2012-12-20 05:44:55] 677*2^1237710-1 is not prime. Res64: E47BD9EDCD6A76A2 Time : 0.0 sec. user=mdettweiler [2012-12-20 05:53:26] 711*2^1237710-1 is not prime. Res64: F72BAE69E696B3BB Time : 0.0 sec. user=mdettweiler [2012-12-20 05:53:26] 713*2^1237710-1 is not prime. Res64: 27DE85D64C412528 Time : 0.0 sec. user=mdettweiler [2012-12-20 06:02:14] 761*2^1237710-1 is not prime. Res64: 0FF96ACAE4F8FB1B Time : 0.0 sec. user=mdettweiler [2012-12-20 06:02:16] 777*2^1237710-1 is not prime. Res64: 9B844ED80C9F1437 Time : 0.0 sec. user=mdettweiler [2012-12-20 06:10:45] 927*2^1237710-1 is not prime. Res64: 30FDE90136631A68 Time : 0.0 sec. user=mdettweiler [2012-12-20 06:10:46] 675*2^1237711-1 is not prime. Res64: 47864E70A485CFA7 Time : 0.0 sec. user=mdettweiler [2012-12-20 06:19:39] 759*2^1237711-1 is not prime. Res64: 7D9E0C8BDD4340F1 Time : 0.0 sec. user=mdettweiler [2012-12-20 06:19:39] 789*2^1237711-1 is not prime. Res64: E836D5AB1E41CCD6 Time : 0.0 sec. user=mdettweiler [2012-12-20 06:28:12] 855*2^1237711-1 is not prime. Res64: 54C32B0916C6694A Time : 0.0 sec. user=mdettweiler [2012-12-20 06:28:13] 913*2^1237711-1 is not prime. Res64: 677C7B553C7A441B Time : 0.0 sec. user=mdettweiler [2012-12-20 06:36:57] 969*2^1237711-1 is not prime. Res64: DFF8D251D50DD25E Time : 0.0 sec. user=mdettweiler [2012-12-20 06:36:58] 677*2^1237712-1 is not prime. Res64: 614C6D9D2D0C9712 Time : 0.0 sec. user=mdettweiler [2012-12-20 06:45:31] 777*2^1237712-1 is not prime. Res64: E6C26CDAAA2B9CF8 Time : 0.0 sec. user=mdettweiler [2012-12-20 06:45:32] 803*2^1237712-1 is not prime. Res64: D1AFE1864EE9826F Time : 0.0 sec. user=mdettweiler [2012-12-20 06:54:16] 963*2^1237712-1 is not prime. Res64: 7B5E39B7E5BCB920 Time : 0.0 sec. user=mdettweiler [2012-12-20 06:54:16] 649*2^1237713-1 is not prime. Res64: 7D95CF4C615874FA Time : 0.0 sec. user=mdettweiler [2012-12-20 07:02:51] 691*2^1237713-1 is not prime. Res64: E358230DE53D48EB Time : 0.0 sec. user=mdettweiler [2012-12-20 07:02:54] 829*2^1237713-1 is not prime. Res64: ACEF884EBCE31DD3 Time : 0.0 sec. user=mdettweiler [2012-12-20 07:11:35] 937*2^1237713-1 is not prime. Res64: DE31ED40C68F76E1 Time : 0.0 sec. user=mdettweiler [2012-12-20 07:11:35] 803*2^1237714-1 is not prime. Res64: D47A249ED17ABC1E Time : 0.0 sec. user=mdettweiler [2012-12-20 07:20:25] 903*2^1237714-1 is not prime. Res64: 07E73ADD75EA20EE Time : 0.0 sec. user=mdettweiler [2012-12-20 07:20:26] 971*2^1237714-1 is not prime. Res64: 21A498D122AF0BFA Time : 0.0 sec. user=mdettweiler [2012-12-20 07:28:58] 983*2^1237714-1 is not prime. Res64: 7C11E6CEDFAD7641 Time : 0.0 sec. user=mdettweiler [2012-12-20 07:28:59] 993*2^1237714-1 is not prime. Res64: 4BB5AD8CCF5592C6 Time : 0.0 sec. user=mdettweiler [2012-12-20 07:37:45] 663*2^1237715-1 is not prime. Res64: EC1C900A16D122D4 Time : 0.0 sec. user=mdettweiler [2012-12-20 07:37:46] 825*2^1237715-1 is not prime. Res64: D46A78CAB00F80F5 Time : 0.0 sec. user=mdettweiler [2012-12-20 07:46:19] 829*2^1237715-1 is not prime. Res64: C056F3F784A61828 Time : 0.0 sec. user=mdettweiler [2012-12-20 07:46:20] 889*2^1237715-1 is not prime. Res64: 8897C8ED1EE7E457 Time : 0.0 sec. user=mdettweiler [2012-12-20 07:55:04] 979*2^1237715-1 is not prime. Res64: BAECED32177F1B9C Time : 0.0 sec. user=mdettweiler [2012-12-20 07:55:04] 657*2^1237716-1 is not prime. Res64: 1D31E632DC3C98A7 Time : 0.0 sec. user=mdettweiler [2012-12-20 08:03:38] 689*2^1237716-1 is not prime. Res64: A4FB3734544DBE95 Time : 0.0 sec. user=mdettweiler [2012-12-20 08:03:39] 779*2^1237716-1 is not prime. Res64: 824A0FB2CCB3997F Time : 0.0 sec. user=mdettweiler [2012-12-20 08:12:23] 825*2^1237716-1 is not prime. Res64: D850366F2FE75C16 Time : 0.0 sec. user=mdettweiler [2012-12-20 08:12:24] 845*2^1237716-1 is not prime. Res64: EE3F7A97388D0871 Time : 0.0 sec. user=mdettweiler [2012-12-20 08:21:00] 887*2^1237716-1 is not prime. Res64: 3929307B16D309D2 Time : 0.0 sec. user=mdettweiler [2012-12-20 08:21:01] 923*2^1237716-1 is not prime. Res64: BD5A85E5C0B2107F Time : 0.0 sec. user=mdettweiler [2012-12-20 08:29:45] 945*2^1237716-1 is not prime. Res64: 30C3B4CFE999D30D Time : 0.0 sec. user=mdettweiler [2012-12-20 08:29:45] 609*2^1237717-1 is not prime. Res64: 737B294E49C53484 Time : 0.0 sec. user=mdettweiler [2012-12-20 08:38:20] 651*2^1237717-1 is not prime. Res64: EDEF7E880FC0CD6F Time : 0.0 sec. user=mdettweiler [2012-12-20 08:38:20] 717*2^1237717-1 is not prime. Res64: D1F6C92B9BE5DC5D Time : 0.0 sec. user=mdettweiler [2012-12-20 08:47:05] 729*2^1237717-1 is not prime. Res64: 1EB077B3FBD01698 Time : 0.0 sec. user=mdettweiler [2012-12-20 08:47:05] 819*2^1237717-1 is not prime. Res64: DC4AAAF34AF2EE85 Time : 0.0 sec. user=mdettweiler [2012-12-20 08:55:39] 945*2^1237717-1 is not prime. Res64: 613CDA6BB364E017 Time : 0.0 sec. user=mdettweiler [2012-12-20 08:55:39] 955*2^1237717-1 is not prime. Res64: 006466C00716701B Time : 0.0 sec. user=mdettweiler [2012-12-20 09:04:24] 747*2^1237718-1 is not prime. Res64: 2E648C053C3C75BF Time : 0.0 sec. user=mdettweiler [2012-12-20 09:04:25] 753*2^1237718-1 is not prime. Res64: 981FD93DF388E6F4 Time : 0.0 sec. user=mdettweiler [2012-12-20 09:12:58] 825*2^1237718-1 is not prime. Res64: A1645640E7DD007D Time : 0.0 sec. user=mdettweiler [2012-12-20 09:12:59] 867*2^1237718-1 is not prime. Res64: F1C92BABCBAF9E80 Time : 0.0 sec. user=mdettweiler [2012-12-20 09:21:49] 897*2^1237718-1 is not prime. Res64: 11D95DEA17F04278 Time : 0.0 sec. user=mdettweiler [2012-12-20 09:21:49] 921*2^1237718-1 is not prime. Res64: D4A92C5E59F7CFA7 Time : 0.0 sec. user=mdettweiler [2012-12-20 09:30:26] 891*2^1237719-1 is not prime. Res64: 794D9ABD90C98DCA Time : 0.0 sec. user=mdettweiler [2012-12-20 09:30:26] 919*2^1237719-1 is not prime. Res64: C271B460A3AE6715 Time : 0.0 sec. user=mdettweiler [2012-12-20 09:39:07] 975*2^1237719-1 is not prime. Res64: 83C88D74F4387D7A Time : 0.0 sec. user=mdettweiler [2012-12-20 09:39:08] 979*2^1237719-1 is not prime. Res64: A93D4436195A1987 Time : 0.0 sec. user=mdettweiler [2012-12-20 09:47:45] 605*2^1237720-1 is not prime. Res64: 9473C70769B02E84 Time : 0.0 sec. user=mdettweiler [2012-12-20 09:47:45] 675*2^1237720-1 is not prime. Res64: 037D010CD38F3021 Time : 0.0 sec. user=mdettweiler [2012-12-20 09:56:27] 759*2^1237720-1 is not prime. Res64: 4D005DEC2CE53695 Time : 0.0 sec. user=mdettweiler [2012-12-20 09:56:28] 845*2^1237720-1 is not prime. Res64: CABB11E5DE94B97B Time : 0.0 sec. user=mdettweiler [2012-12-20 10:05:04] 873*2^1237720-1 is not prime. Res64: 4F999386B8ACB57E Time : 0.0 sec. user=mdettweiler [2012-12-20 10:05:05] 909*2^1237720-1 is not prime. Res64: EDB2A5A29E368647 Time : 0.0 sec. user=mdettweiler [2012-12-20 10:13:46] 989*2^1237720-1 is not prime. Res64: 6523FCA2B322D4F1 Time : 0.0 sec. user=mdettweiler [2012-12-20 10:13:47] 619*2^1237721-1 is not prime. Res64: 6F7ECDA04F1BFBEC Time : 0.0 sec. user=mdettweiler [2012-12-20 10:22:25] 631*2^1237721-1 is not prime. Res64: 8958BA8DED2CEA42 Time : 0.0 sec. user=mdettweiler [2012-12-20 10:22:26] 669*2^1237721-1 is not prime. Res64: C1E089391689B8A9 Time : 0.0 sec. user=mdettweiler [2012-12-20 10:31:11] 675*2^1237721-1 is not prime. Res64: AC2F027DCB113FCF Time : 0.0 sec. user=mdettweiler [2012-12-20 10:31:12] 727*2^1237721-1 is not prime. Res64: C532C7368607A81D Time : 0.0 sec. user=mdettweiler [2012-12-20 10:39:52] 997*2^1237721-1 is not prime. Res64: 9E07AF21C5A6FE06 Time : 0.0 sec. user=mdettweiler [2012-12-20 10:39:53] 621*2^1237722-1 is not prime. Res64: 143A1E46A0EA35A3 Time : 0.0 sec. user=mdettweiler [2012-12-20 10:48:50] 647*2^1237722-1 is not prime. Res64: 5B13E3922713A233 Time : 0.0 sec. user=mdettweiler [2012-12-20 10:48:51] 711*2^1237722-1 is not prime. Res64: 2750428AFD48EF02 Time : 0.0 sec. user=mdettweiler [2012-12-20 10:57:23] 735*2^1237722-1 is not prime. Res64: A483CE950FB305D6 Time : 0.0 sec. user=mdettweiler [2012-12-20 10:57:24] 951*2^1237722-1 is not prime. Res64: C86EDC32131CECF4 Time : 0.0 sec. user=mdettweiler [2012-12-20 11:06:12] 983*2^1237722-1 is not prime. Res64: 2E67C082694CA4E4 Time : 0.0 sec. user=mdettweiler [2012-12-20 11:06:13] 603*2^1237723-1 is not prime. Res64: C1ED792864BCCCA5 Time : 0.0 sec. user=mdettweiler [2012-12-20 11:14:42] 649*2^1237723-1 is not prime. Res64: D176E6145857D2D8 Time : 0.0 sec. user=mdettweiler [2012-12-20 11:14:43] 673*2^1237723-1 is not prime. Res64: 55640406F1A8C4A8 Time : 0.0 sec. user=mdettweiler [2012-12-20 11:23:43] 735*2^1237723-1 is not prime. Res64: 85E76E1DB6D6E1AC Time : 0.0 sec. user=mdettweiler [2012-12-20 11:23:44] 769*2^1237723-1 is not prime. Res64: 20C40EE7865B18E3 Time : 0.0 sec. user=mdettweiler [2012-12-20 11:32:08] 835*2^1237723-1 is not prime. Res64: 57C773141975480D Time : 0.0 sec. user=mdettweiler [2012-12-20 11:32:08] 849*2^1237723-1 is not prime. Res64: 353E130121097AF9 Time : 0.0 sec. user=mdettweiler [2012-12-20 11:41:02] 861*2^1237723-1 is not prime. Res64: 2FC3EFA0D6D9C9FD Time : 0.0 sec. user=mdettweiler [2012-12-20 11:41:02] 973*2^1237723-1 is not prime. Res64: 9DCD6E9BAA0796A5 Time : 0.0 sec. user=mdettweiler [2012-12-20 11:49:27] 803*2^1237724-1 is not prime. Res64: 374CC647777BEF7C Time : 0.0 sec. user=mdettweiler [2012-12-20 11:49:28] 833*2^1237724-1 is not prime. Res64: BA7130F312C2D0D9 Time : 0.0 sec. user=mdettweiler [2012-12-20 11:58:22] 857*2^1237724-1 is not prime. Res64: 56678CC22BC145F7 Time : 0.0 sec. user=mdettweiler [2012-12-20 11:58:22] 669*2^1237725-1 is not prime. Res64: B48583C09B9C2582 Time : 0.0 sec. user=mdettweiler [2012-12-20 12:06:50] 837*2^1237725-1 is not prime. Res64: F4CCC2028DADED47 Time : 0.0 sec. user=mdettweiler [2012-12-20 12:06:51] 885*2^1237725-1 is not prime. Res64: BBEDAFA15EA3D654 Time : 0.0 sec. user=mdettweiler [2012-12-20 12:15:41] 611*2^1237726-1 is not prime. Res64: 87B7CF257BE65B70 Time : 0.0 sec. user=mdettweiler [2012-12-20 12:15:42] 675*2^1237726-1 is not prime. Res64: F80C67F6BFD1DE0D Time : 0.0 sec. user=mdettweiler [2012-12-20 12:24:22] 741*2^1237726-1 is not prime. Res64: C9550B24A1459083 Time : 0.0 sec. user=mdettweiler [2012-12-20 12:24:22] 777*2^1237726-1 is not prime. Res64: FAB748A52E660216 Time : 0.0 sec. user=mdettweiler [2012-12-20 12:33:01] 987*2^1237726-1 is not prime. Res64: 1F8D0BA003595820 Time : 0.0 sec. user=mdettweiler [2012-12-20 12:33:02] 1001*2^1237726-1 is not prime. Res64: BFC6353721F1084D Time : 0.0 sec. user=mdettweiler [2012-12-20 12:41:40] 619*2^1237727-1 is not prime. Res64: ABD6128A1A06A589 Time : 0.0 sec. user=mdettweiler [2012-12-20 12:41:40] 673*2^1237727-1 is not prime. Res64: 37BC6E7707DC1978 Time : 0.0 sec. user=mdettweiler [2012-12-20 12:50:20] 685*2^1237727-1 is not prime. Res64: 96319FED8D973376 Time : 0.0 sec. user=mdettweiler [2012-12-20 12:50:21] 735*2^1237727-1 is not prime. Res64: 47BC3BE37A28A508 Time : 0.0 sec. user=mdettweiler [2012-12-20 12:58:58] 759*2^1237727-1 is not prime. Res64: 166CDF3F9B5A1D44 Time : 0.0 sec. user=mdettweiler [2012-12-20 12:58:59] 841*2^1237727-1 is not prime. Res64: 8B3DEFCEC031C5A9 Time : 0.0 sec. user=mdettweiler [2012-12-20 13:07:39] 865*2^1237727-1 is not prime. Res64: 885A00FCA7CD0797 Time : 0.0 sec. user=mdettweiler [2012-12-20 13:07:41] 985*2^1237727-1 is not prime. Res64: 6AC844A5CFB67A32 Time : 0.0 sec. user=mdettweiler [2012-12-20 13:16:16] 605*2^1237728-1 is not prime. Res64: 0177868BA2A9B132 Time : 0.0 sec. user=mdettweiler [2012-12-20 13:16:17] 627*2^1237728-1 is not prime. Res64: B1882B1F9E5A24DE Time : 0.0 sec. user=mdettweiler [2012-12-20 13:25:13] 633*2^1237728-1 is not prime. Res64: 4F634CF3DAE6DC18 Time : 0.0 sec. user=mdettweiler [2012-12-20 13:25:14] 657*2^1237728-1 is not prime. Res64: 69D5C7EA7E1841D2 Time : 0.0 sec. user=mdettweiler [2012-12-20 13:33:35] 663*2^1237728-1 is not prime. Res64: E4E9E3A2BAA7A6D2 Time : 0.0 sec. user=mdettweiler [2012-12-20 13:33:36] 689*2^1237728-1 is not prime. Res64: 301D2CDF88B6B06B Time : 0.0 sec. user=mdettweiler [2012-12-20 13:42:33] 735*2^1237728-1 is not prime. Res64: B88EA46F03CED264 Time : 0.0 sec. user=mdettweiler [2012-12-20 13:42:34] 815*2^1237728-1 is not prime. Res64: C996623354343928 Time : 0.0 sec. user=mdettweiler [2012-12-20 13:50:55] 849*2^1237728-1 is not prime. Res64: C455C4FF4C130112 Time : 0.0 sec. user=mdettweiler [2012-12-20 13:50:56] 879*2^1237728-1 is not prime. Res64: 8896E92E74E139EE Time : 0.0 sec. user=mdettweiler [2012-12-20 13:59:55] 899*2^1237728-1 is not prime. Res64: D4A920A755A9EEF9 Time : 0.0 sec. user=mdettweiler [2012-12-20 13:59:55] 945*2^1237728-1 is not prime. Res64: BFBC51F42410B53E Time : 0.0 sec. user=mdettweiler [2012-12-20 14:08:14] 747*2^1237729-1 is not prime. Res64: 2D50EF592B4D3B26 Time : 0.0 sec. user=mdettweiler [2012-12-20 14:08:15] 829*2^1237729-1 is not prime. Res64: D9DF0E88BC5D38D2 Time : 0.0 sec. user=mdettweiler [2012-12-20 14:17:15] 831*2^1237729-1 is not prime. Res64: 148E903DA1FA53D5 Time : 0.0 sec. user=mdettweiler [2012-12-20 14:17:16] 987*2^1237729-1 is not prime. Res64: 398F4F7AEC6DB0B6 Time : 0.0 sec. user=mdettweiler [2012-12-20 14:25:37] 999*2^1237729-1 is not prime. Res64: 0868ACE4A4280FD8 Time : 0.0 sec. user=mdettweiler [2012-12-20 14:25:38] 657*2^1237730-1 is not prime. Res64: CAFE8B3F85539396 Time : 0.0 sec. user=mdettweiler [2012-12-20 14:34:34] 665*2^1237730-1 is not prime. Res64: 1BD3C0B4426D9BBE Time : 0.0 sec. user=mdettweiler [2012-12-20 14:34:35] 731*2^1237730-1 is not prime. Res64: 3E0C69E3CB74C491 Time : 0.0 sec. user=mdettweiler [2012-12-20 14:43:00] 831*2^1237730-1 is not prime. Res64: 63DAC19AADBB0019 Time : 0.0 sec. user=mdettweiler [2012-12-20 14:43:01] 601*2^1237731-1 is not prime. Res64: D1913E618F286857 Time : 0.0 sec. user=mdettweiler [2012-12-20 14:51:55] 643*2^1237731-1 is not prime. Res64: 30350414730CAB52 Time : 0.0 sec. user=mdettweiler [2012-12-20 14:51:55] 909*2^1237731-1 is not prime. Res64: 60AA956275FB8EB6 Time : 0.0 sec. user=mdettweiler [2012-12-20 15:00:23] 961*2^1237731-1 is not prime. Res64: 7A384ED5334A66CA Time : 0.0 sec. user=mdettweiler [2012-12-20 15:00:24] 639*2^1237732-1 is not prime. Res64: DDE6DE5985ECF99B Time : 0.0 sec. user=mdettweiler [2012-12-20 15:09:19] 743*2^1237732-1 is not prime. Res64: 405B772D33E8E3D3 Time : 0.0 sec. user=mdettweiler [2012-12-20 15:09:22] 885*2^1237732-1 is not prime. Res64: D41A22136BA4E3E4 Time : 0.0 sec. user=mdettweiler [2012-12-20 15:17:49] 899*2^1237732-1 is not prime. Res64: 42D88AC36F1FA08C Time : 0.0 sec. user=mdettweiler [2012-12-20 15:17:49] 939*2^1237732-1 is not prime. Res64: E5FFD64B6482F86A Time : 0.0 sec. user=mdettweiler [2012-12-20 15:27:02] 649*2^1237733-1 is not prime. Res64: D7120F934F3574B6 Time : 0.0 sec. user=mdettweiler [2012-12-20 15:27:03] 801*2^1237733-1 is not prime. Res64: 1E48A8F1FE575C7E Time : 0.0 sec. user=mdettweiler [2012-12-20 15:35:14] 937*2^1237733-1 is not prime. Res64: 2C23D140A4627058 Time : 0.0 sec. user=mdettweiler [2012-12-20 15:35:14] 747*2^1237734-1 is not prime. Res64: 79ECC9F24CEEDEAE Time : 0.0 sec. user=mdettweiler [2012-12-20 15:44:26] 755*2^1237734-1 is not prime. Res64: 9458A8F554F19B80 Time : 0.0 sec. user=mdettweiler [2012-12-20 15:44:27] 773*2^1237734-1 is not prime. Res64: DD3BF1E027FD1433 Time : 0.0 sec. user=mdettweiler [2012-12-20 15:52:38] 825*2^1237734-1 is not prime. Res64: F0FDD5C9AB1D6995 Time : 0.0 sec. user=mdettweiler [2012-12-20 15:52:39] 833*2^1237734-1 is not prime. Res64: EF33F2DCAFE9E44F Time : 0.0 sec. user=mdettweiler [2012-12-20 16:01:52] 885*2^1237734-1 is not prime. Res64: E0C653BDB2182D55 Time : 0.0 sec. user=mdettweiler [2012-12-20 16:01:53] 975*2^1237734-1 is not prime. Res64: FE1C03F293A65850 Time : 0.0 sec. user=mdettweiler [2012-12-20 16:10:00] 633*2^1237735-1 is not prime. Res64: F75D6FCAFAF1F222 Time : 0.0 sec. user=mdettweiler [2012-12-20 16:10:02] 861*2^1237735-1 is not prime. Res64: D41A04AA59A5176E Time : 0.0 sec. user=mdettweiler [2012-12-20 16:19:22] 629*2^1237736-1 is not prime. Res64: 673B3A4A334A7453 Time : 0.0 sec. user=mdettweiler [2012-12-20 16:19:22] 633*2^1237736-1 is not prime. Res64: 8B227DDA8472A239 Time : 0.0 sec. user=mdettweiler [2012-12-20 16:27:33] 669*2^1237736-1 is not prime. Res64: B14228C6408F907B Time : 0.0 sec. user=mdettweiler [2012-12-20 16:27:33] 789*2^1237736-1 is not prime. Res64: 778C103482E87F7C Time : 0.0 sec. user=mdettweiler [2012-12-20 16:36:40] 813*2^1237736-1 is not prime. Res64: CE775E75E7F8A838 Time : 0.0 sec. user=mdettweiler [2012-12-20 16:36:40] 873*2^1237736-1 is not prime. Res64: 862D4710EC3A93EE Time : 0.0 sec. user=mdettweiler [2012-12-20 16:44:52] 669*2^1237737-1 is not prime. Res64: F9FC8BBBE7E91202 Time : 0.0 sec. user=mdettweiler [2012-12-20 16:44:53] 747*2^1237737-1 is not prime. Res64: 22477E6269823495 Time : 0.0 sec. user=mdettweiler [2012-12-20 16:54:00] 621*2^1237738-1 is not prime. Res64: 5B7ADA12B91C00B8 Time : 0.0 sec. user=mdettweiler [2012-12-20 16:54:00] 755*2^1237738-1 is not prime. Res64: DCF669EF68815E9C Time : 0.0 sec. user=mdettweiler [2012-12-20 17:02:11] 777*2^1237738-1 is not prime. Res64: 95480D5BC210FE69 Time : 0.0 sec. user=mdettweiler [2012-12-20 17:02:12] 791*2^1237738-1 is not prime. Res64: 23C4E84B21186FF2 Time : 0.0 sec. user=mdettweiler [2012-12-20 17:11:19] 815*2^1237738-1 is not prime. Res64: 91973B8C8F1083AC Time : 0.0 sec. user=mdettweiler [2012-12-20 17:11:20] 827*2^1237738-1 is not prime. Res64: ADFDDFB0099111CC Time : 0.0 sec. user=mdettweiler [2012-12-20 17:19:39] 941*2^1237738-1 is not prime. Res64: 7C53F130DA2761E8 Time : 0.0 sec. user=mdettweiler [2012-12-20 17:19:40] 971*2^1237738-1 is not prime. Res64: 4FA91D7B65D930A9 Time : 0.0 sec. user=mdettweiler [2012-12-20 17:28:40] 645*2^1237739-1 is not prime. Res64: 03790E07157F7D57 Time : 0.0 sec. user=mdettweiler [2012-12-20 17:28:42] 735*2^1237739-1 is not prime. Res64: 56060A1DC0CF68E3 Time : 0.0 sec. user=mdettweiler [2012-12-20 17:36:57] 855*2^1237739-1 is not prime. Res64: F15C06813CC3D15E Time : 0.0 sec. user=mdettweiler [2012-12-20 17:36:57] 909*2^1237739-1 is not prime. Res64: 07FCCD8ADD0A5A18 Time : 0.0 sec. user=mdettweiler [2012-12-20 17:45:59] 979*2^1237739-1 is not prime. Res64: 8687CCCBC5CC3579 Time : 0.0 sec. user=mdettweiler [2012-12-20 17:45:59] 725*2^1237740-1 is not prime. Res64: DE65BB8CC6C39D36 Time : 0.0 sec. user=mdettweiler [2012-12-20 17:54:16] 779*2^1237740-1 is not prime. Res64: 6E63B616564543AD Time : 0.0 sec. user=mdettweiler [2012-12-20 17:54:16] 875*2^1237740-1 is not prime. Res64: 2150A3769E788348 Time : 0.0 sec. user=mdettweiler [2012-12-20 18:03:17] 887*2^1237740-1 is not prime. Res64: 825F90C3CB2FE6F9 Time : 0.0 sec. user=mdettweiler [2012-12-20 18:03:19] 975*2^1237740-1 is not prime. Res64: 0A3B686687A19D2A Time : 0.0 sec. user=mdettweiler [2012-12-20 18:11:34] 691*2^1237741-1 is not prime. Res64: 186ADD94FFBFEB62 Time : 0.0 sec. user=mdettweiler [2012-12-20 18:11:34] 751*2^1237741-1 is not prime. Res64: 30BCA22C3830D900 Time : 0.0 sec. user=mdettweiler [2012-12-20 18:20:39] 805*2^1237741-1 is not prime. Res64: 81587499EF1FF07E Time : 0.0 sec. user=mdettweiler [2012-12-20 18:20:40] 847*2^1237741-1 is not prime. Res64: 18B1D56355F700E6 Time : 0.0 sec. user=mdettweiler [2012-12-20 18:28:54] 859*2^1237741-1 is not prime. Res64: C311B43AB260DBAD Time : 0.0 sec. user=mdettweiler [2012-12-20 18:28:55] 877*2^1237741-1 is not prime. Res64: 4792930958229E1F Time : 0.0 sec. user=mdettweiler [2012-12-20 18:37:57] 957*2^1237741-1 is not prime. Res64: 62F1FC5A1FC24C03 Time : 0.0 sec. user=mdettweiler [2012-12-20 18:37:58] 635*2^1237742-1 is not prime. Res64: 802C2994D8E3AB08 Time : 0.0 sec. user=mdettweiler [2012-12-20 18:46:13] 731*2^1237742-1 is not prime. Res64: 403D24FEBB641BF5 Time : 0.0 sec. user=mdettweiler [2012-12-20 18:46:14] 741*2^1237742-1 is not prime. Res64: 507A08025B3FF7AF Time : 0.0 sec. user=mdettweiler [2012-12-20 18:55:17] 867*2^1237742-1 is not prime. Res64: 511337180254CD38 Time : 0.0 sec. user=mdettweiler [2012-12-20 18:55:17] 917*2^1237742-1 is not prime. Res64: 4E7B9507C985D0A6 Time : 0.0 sec. user=mdettweiler [2012-12-20 19:03:32] 953*2^1237742-1 is not prime. Res64: 7595C49CF263B64F Time : 0.0 sec. user=mdettweiler [2012-12-20 19:03:35] 983*2^1237742-1 is not prime. Res64: 3540908E9FEF5BF1 Time : 0.0 sec. user=mdettweiler [2012-12-20 19:12:37] 1001*2^1237742-1 is not prime. Res64: 1930EDB88777BBC3 Time : 0.0 sec. user=mdettweiler [2012-12-20 19:12:40] 609*2^1237743-1 is not prime. Res64: 5ECFFDC04CD25683 Time : 0.0 sec. user=mdettweiler [2012-12-20 19:20:58] 625*2^1237743-1 is not prime. Res64: E169704D5D70145A Time : 0.0 sec. user=mdettweiler [2012-12-20 19:20:58] 751*2^1237743-1 is not prime. Res64: 28C35D5683B6F805 Time : 0.0 sec. user=mdettweiler [2012-12-20 19:30:14] 795*2^1237743-1 is not prime. Res64: 56ABF537AECF357E Time : 0.0 sec. user=mdettweiler [2012-12-20 19:30:15] 853*2^1237743-1 is not prime. Res64: 0BAC5F5E127B9C58 Time : 0.0 sec. user=mdettweiler [2012-12-20 19:38:18] 913*2^1237743-1 is not prime. Res64: D6C56C0535F0FFDB Time : 0.0 sec. user=mdettweiler [2012-12-20 19:38:19] 963*2^1237743-1 is not prime. Res64: 6990D635B50FB3FB Time : 0.0 sec. user=mdettweiler [2012-12-20 19:47:33] 985*2^1237743-1 is not prime. Res64: 68CF4D086B545F63 Time : 0.0 sec. user=mdettweiler [2012-12-20 19:47:33] 609*2^1237744-1 is not prime. Res64: 67FB8EBC032A85B9 Time : 0.0 sec. user=mdettweiler [2012-12-20 19:55:36] 639*2^1237744-1 is not prime. Res64: 99535BE8BA257A03 Time : 0.0 sec. user=mdettweiler [2012-12-20 19:55:37] 657*2^1237744-1 is not prime. Res64: D9F1F3147B1CDDBB Time : 0.0 sec. user=mdettweiler [2012-12-20 20:04:52] 833*2^1237744-1 is not prime. Res64: BC324F5E2B595B2B Time : 0.0 sec. user=mdettweiler [2012-12-20 20:04:53] 905*2^1237744-1 is not prime. Res64: FD3162F92F607D0D Time : 0.0 sec. user=mdettweiler [2012-12-20 20:12:54] 915*2^1237744-1 is not prime. Res64: C24043B38B1BFB24 Time : 0.0 sec. user=mdettweiler [2012-12-20 20:12:55] 627*2^1237745-1 is not prime. Res64: E5228716214BDE78 Time : 0.0 sec. user=mdettweiler [2012-12-20 20:22:15] 699*2^1237745-1 is not prime. Res64: 407AA09B5E95A5C3 Time : 0.0 sec. user=mdettweiler [2012-12-20 20:22:16] 775*2^1237745-1 is not prime. Res64: DF6EF78179AFDD43 Time : 0.0 sec. user=mdettweiler [2012-12-20 20:30:18] 777*2^1237745-1 is not prime. Res64: F868E66B5AECE567 Time : 0.0 sec. user=mdettweiler [2012-12-20 20:30:18] 787*2^1237745-1 is not prime. Res64: 6DCC22483E91A13F Time : 0.0 sec. user=mdettweiler [2012-12-20 20:39:36] 865*2^1237745-1 is not prime. Res64: 73E7D2DEB7C99D13 Time : 0.0 sec. user=mdettweiler [2012-12-20 20:39:36] 885*2^1237745-1 is not prime. Res64: 157D145F78F13F26 Time : 0.0 sec. user=mdettweiler [2012-12-20 20:47:37] 925*2^1237745-1 is not prime. Res64: 53210B6CFC7A4514 Time : 0.0 sec. user=mdettweiler [2012-12-20 20:47:38] 633*2^1237746-1 is not prime. Res64: 7E2A0A90FCCD3D8E Time : 0.0 sec. user=mdettweiler [2012-12-20 20:56:56] 683*2^1237746-1 is not prime. Res64: 4B4D1388618806DA Time : 0.0 sec. user=mdettweiler [2012-12-20 20:56:57] 695*2^1237746-1 is not prime. Res64: 3F421308A6268F78 Time : 0.0 sec. user=mdettweiler [2012-12-20 21:04:55] 717*2^1237746-1 is not prime. Res64: EF741577D679302B Time : 0.0 sec. user=mdettweiler [2012-12-20 21:04:57] 741*2^1237746-1 is not prime. Res64: 83F6C2D004E6291D Time : 0.0 sec. user=mdettweiler [2012-12-20 21:14:16] 747*2^1237746-1 is not prime. Res64: 4E4471C71C2D7997 Time : 0.0 sec. user=mdettweiler [2012-12-20 21:14:17] 783*2^1237746-1 is not prime. Res64: 9073BA68B938560E Time : 0.0 sec. user=mdettweiler [2012-12-20 21:22:27] 833*2^1237746-1 is not prime. Res64: B4BCDF6CD9AD7CA2 Time : 0.0 sec. user=mdettweiler [2012-12-20 21:22:27] 837*2^1237746-1 is not prime. Res64: B03C956E84AAB446 Time : 0.0 sec. user=mdettweiler [2012-12-20 21:31:52] 1001*2^1237746-1 is not prime. Res64: BB4B68908757ACE0 Time : 0.0 sec. user=mdettweiler [2012-12-20 21:31:53] 625*2^1237747-1 is not prime. Res64: 13D7FF9942F74EBF Time : 0.0 sec. user=mdettweiler [2012-12-20 21:39:51] 633*2^1237748-1 is not prime. Res64: 9FC449D55F153EA1 Time : 0.0 sec. user=mdettweiler [2012-12-20 21:39:52] 665*2^1237748-1 is not prime. Res64: BED0C9E19F401D6C Time : 0.0 sec. user=mdettweiler [2012-12-20 21:49:13] 687*2^1237748-1 is not prime. Res64: 78CC6DC535F83695 Time : 0.0 sec. user=mdettweiler [2012-12-20 21:49:13] 689*2^1237748-1 is not prime. Res64: 42637C61558DA872 Time : 0.0 sec. user=mdettweiler [2012-12-20 21:57:10] 743*2^1237748-1 is not prime. Res64: CA50B6196FC518FE Time : 0.0 sec. user=mdettweiler [2012-12-20 21:57:11] 749*2^1237748-1 is not prime. Res64: DA61B3E8A451AEEF Time : 0.0 sec. user=mdettweiler [2012-12-20 22:06:32] 797*2^1237748-1 is not prime. Res64: B6659825ECBF04F0 Time : 0.0 sec. user=mdettweiler [2012-12-20 22:06:33] 879*2^1237748-1 is not prime. Res64: C256AE30B4375683 Time : 0.0 sec. user=mdettweiler [2012-12-20 22:14:30] 923*2^1237748-1 is not prime. Res64: 7DF0FB8CA074BF3B Time : 0.0 sec. user=mdettweiler [2012-12-20 22:14:30] 963*2^1237748-1 is not prime. Res64: 49FBA90C2E240439 Time : 0.0 sec. user=mdettweiler [2012-12-20 22:27:55] 615*2^1237749-1 is not prime. Res64: 107C36D20BDF210D Time : 0.0 sec. user=mdettweiler [2012-12-20 22:27:56] 627*2^1237749-1 is not prime. Res64: 411FE454643FE18B Time : 0.0 sec. user=mdettweiler [2012-12-20 22:36:29] 837*2^1237749-1 is not prime. Res64: A3D76C6ED3B1DC05 Time : 0.0 sec. user=mdettweiler [2012-12-20 22:36:29] 861*2^1237749-1 is not prime. Res64: 289382D8DE6683C4 Time : 0.0 sec. user=mdettweiler [2012-12-20 22:45:12] 877*2^1237749-1 is not prime. Res64: E80D7DFCDAE642C8 Time : 0.0 sec. user=mdettweiler [2012-12-20 22:45:13] 895*2^1237749-1 is not prime. Res64: CFC3C46F2225C3A8 Time : 0.0 sec. user=mdettweiler [2012-12-20 22:53:46] 945*2^1237749-1 is not prime. Res64: 28E7DE57382A7C2A Time : 0.0 sec. user=mdettweiler [2012-12-20 22:53:47] 975*2^1237749-1 is not prime. Res64: BF110DA7916B38A0 Time : 0.0 sec. user=mdettweiler [2012-12-20 23:02:35] 997*2^1237749-1 is not prime. Res64: 08087A6C9372EA51 Time : 0.0 sec. user=mdettweiler [2012-12-20 23:02:37] 635*2^1237750-1 is not prime. Res64: E152B52238FC4DE3 Time : 0.0 sec. user=mdettweiler [2012-12-20 23:11:13] 713*2^1237750-1 is not prime. Res64: 5F9D01F3B612ECDA Time : 0.0 sec. user=mdettweiler [2012-12-20 23:20:33] 945*2^1237750-1 is not prime. Res64: CACDB7637C2C2A7A Time : 0.0 sec. user=mdettweiler [2012-12-20 23:20:34] 823*2^1237751-1 is not prime. Res64: D06DA76F5A98E2F3 Time : 0.0 sec. user=mdettweiler [2012-12-20 23:38:10] 841*2^1237751-1 is not prime. Res64: 676FE0476A211DA9 Time : 0.0 sec. user=mdettweiler [2012-12-20 23:38:10] 885*2^1237751-1 is not prime. Res64: 2D1C0A8072F38DAE Time : 0.0 sec. user=mdettweiler [2012-12-20 23:45:40] 915*2^1237750-1 is not prime. Res64: D53AAF8B980CF700 Time : 0.0 sec. user=mdettweiler [2012-12-20 23:55:38] 909*2^1237751-1 is not prime. Res64: EA03D4B2D33FF08C Time : 0.0 sec. user=mdettweiler [2012-12-20 23:55:38] 913*2^1237751-1 is not prime. Res64: 38E751163D81719B Time : 0.0 sec.