user=mdettweiler [2012-10-20 00:17:25] 815*2^1232904-1 is not prime. Res64: 19CC0681EA661F38 Time : 0.0 sec. user=vaughan [2012-10-20 00:22:38] 693*2^1232904-1 is not prime. Res64: 4988B89C5EE136CC Time : 0.0 sec. user=mdettweiler [2012-10-20 00:25:26] 849*2^1232904-1 is not prime. Res64: 35FA4569931A0936 Time : 0.0 sec. user=mdettweiler [2012-10-20 00:25:27] 863*2^1232904-1 is not prime. Res64: CFC56EF50777B5ED Time : 0.0 sec. user=mdettweiler [2012-10-20 00:46:55] 993*2^1232904-1 is not prime. Res64: 9E2CE992136FB53F Time : 0.0 sec. user=mdettweiler [2012-10-20 00:46:55] 607*2^1232905-1 is not prime. Res64: 055B08C0C06FAB56 Time : 0.0 sec. user=vaughan [2012-10-20 01:00:40] 947*2^1232904-1 is not prime. Res64: BA5B2C60A24083CA Time : 0.0 sec. user=mdettweiler [2012-10-20 01:03:42] 825*2^1232904-1 is not prime. Res64: 3506D47E431E9AA5 Time : 0.0 sec. user=mdettweiler [2012-10-20 01:08:39] 721*2^1232905-1 is not prime. Res64: 470128EBE429614A Time : 0.0 sec. user=mdettweiler [2012-10-20 01:35:46] 861*2^1232905-1 is not prime. Res64: C1C8A06700D06287 Time : 0.0 sec. user=mdettweiler [2012-10-20 01:47:06] 997*2^1232905-1 is not prime. Res64: 300A2CBD462A160F Time : 0.0 sec. user=mdettweiler [2012-10-20 01:47:06] 999*2^1232905-1 is not prime. Res64: 953FC1C53DFB58C3 Time : 0.0 sec. user=mdettweiler [2012-10-20 02:08:24] 683*2^1232906-1 is not prime. Res64: 9D272B8CBAE4A895 Time : 0.0 sec. user=vaughan [2012-10-20 02:14:15] 627*2^1232906-1 is not prime. Res64: 887FB1B5B37E4638 Time : 0.0 sec. user=mdettweiler [2012-10-20 02:31:39] 903*2^1232906-1 is not prime. Res64: 1F5C9245C9B1E5F8 Time : 0.0 sec. user=mdettweiler [2012-10-20 02:31:42] 987*2^1232906-1 is not prime. Res64: 5CB659B9CA7DFC7A Time : 0.0 sec. user=vaughan [2012-10-20 02:51:57] 675*2^1232907-1 is not prime. Res64: 529551262349693D Time : 0.0 sec. user=mdettweiler [2012-10-20 02:53:11] 699*2^1232907-1 is not prime. Res64: D4A6B1906BBA04FE Time : 0.0 sec. user=mdettweiler [2012-10-20 02:53:11] 801*2^1232907-1 is not prime. Res64: 2ED24D3FBF0290C3 Time : 0.0 sec. user=mdettweiler [2012-10-20 02:53:36] 741*2^1232906-1 is not prime. Res64: 609F25F8F93A8333 Time : 0.0 sec. user=mdettweiler [2012-10-20 03:14:26] 835*2^1232907-1 is not prime. Res64: 47C0026BC3802BFF Time : 0.0 sec. user=mdettweiler [2012-10-20 03:14:52] 951*2^1232907-1 is not prime. Res64: 1C6042308DDEF73C Time : 0.0 sec. user=vaughan [2012-10-20 03:29:57] 829*2^1232907-1 is not prime. Res64: DDAB80FFC0A05098 Time : 0.0 sec. user=mdettweiler [2012-10-20 03:36:36] 909*2^1232907-1 is not prime. Res64: 759459649FFECB9B Time : 0.0 sec. user=mdettweiler [2012-10-20 03:58:16] 749*2^1232908-1 is not prime. Res64: 57BBC675B81A2A0E Time : 0.0 sec. user=mdettweiler [2012-10-20 03:58:17] 819*2^1232908-1 is not prime. Res64: EFA5DA74293F22BB Time : 0.0 sec. user=mdettweiler [2012-10-20 04:08:42] 743*2^1232908-1 is not prime. Res64: AAB2CAC48C70A3E4 Time : 0.0 sec. user=mdettweiler [2012-10-20 04:19:45] 843*2^1232908-1 is not prime. Res64: 19B52A30F1FFB50C Time : 0.0 sec. user=mdettweiler [2012-10-20 04:19:46] 845*2^1232908-1 is not prime. Res64: 301D780E5E48F55E Time : 0.0 sec. user=mdettweiler [2012-10-20 04:30:14] 887*2^1232908-1 is not prime. Res64: E7EFE7BADC7C3870 Time : 0.0 sec. user=mdettweiler [2012-10-20 04:30:16] 899*2^1232908-1 is not prime. Res64: 8C10093A60303FB1 Time : 0.0 sec. user=mdettweiler [2012-10-20 04:41:17] 915*2^1232908-1 is not prime. Res64: E7A060C02FFC77B5 Time : 0.0 sec. user=mdettweiler [2012-10-20 04:41:20] 923*2^1232908-1 is not prime. Res64: 4AE939E5E0F523CF Time : 0.0 sec. user=vaughan [2012-10-20 04:43:36] 875*2^1232908-1 is not prime. Res64: 0544791F8F368FFD Time : 0.0 sec. user=mdettweiler [2012-10-20 04:51:39] 933*2^1232908-1 is not prime. Res64: 58B0254B95FB1452 Time : 0.0 sec. user=mdettweiler [2012-10-20 05:02:46] 619*2^1232909-1 is not prime. Res64: B368600443FF958C Time : 0.0 sec. user=mdettweiler [2012-10-20 05:03:08] 735*2^1232909-1 is not prime. Res64: 9AA02336D9747218 Time : 0.0 sec. user=mdettweiler [2012-10-20 05:19:25] 989*2^1232908-1 is not prime. Res64: 927EF9F1DB9B7600 Time : 0.0 sec. user=vaughan [2012-10-20 05:57:03] 801*2^1232909-1 is not prime. Res64: B6D3B5C68D2BF29A Time : 0.0 sec. user=mdettweiler [2012-10-20 06:09:32] 843*2^1232910-1 is not prime. Res64: 498884E20E887855 Time : 0.0 sec. user=mdettweiler [2012-10-20 06:09:35] 709*2^1232911-1 is not prime. Res64: 5C87CD92FD91434F Time : 0.0 sec. user=mdettweiler [2012-10-20 06:16:48] 715*2^1232911-1 is not prime. Res64: 2D0B192FC4556747 Time : 0.0 sec. user=mdettweiler [2012-10-20 06:17:04] 889*2^1232911-1 is not prime. Res64: 9C8752ACD8D84CF3 Time : 0.0 sec. user=mdettweiler [2012-10-20 06:31:07] 615*2^1232912-1 is not prime. Res64: 9D5AC30F6B7CDFD8 Time : 0.0 sec. user=mdettweiler [2012-10-20 06:31:09] 719*2^1232912-1 is not prime. Res64: 3F0C7CD520CC3E24 Time : 0.0 sec. user=vaughan [2012-10-20 06:34:44] 999*2^1232911-1 is not prime. Res64: A6BFF204069F86BF Time : 0.0 sec. user=mdettweiler [2012-10-20 06:52:34] 725*2^1232912-1 is not prime. Res64: F19F239141E51402 Time : 0.0 sec. user=mdettweiler [2012-10-20 06:52:50] 797*2^1232912-1 is not prime. Res64: DE3B700456E3426E Time : 0.0 sec. user=mdettweiler [2012-10-20 06:59:34] 875*2^1232912-1 is not prime. Res64: A7861C81464DA24B Time : 0.0 sec. user=vaughan [2012-10-20 07:12:44] 867*2^1232912-1 is not prime. Res64: E8E22BA904ABE842 Time : 0.0 sec. user=mdettweiler [2012-10-20 07:18:11] 915*2^1232912-1 is not prime. Res64: D4027A4B77490444 Time : 0.0 sec. user=mdettweiler [2012-10-20 07:39:40] 963*2^1232912-1 is not prime. Res64: 69014A75DA757E37 Time : 0.0 sec. user=mdettweiler [2012-10-20 07:39:41] 675*2^1232913-1 is not prime. Res64: 1A7A8174463F82C4 Time : 0.0 sec. user=mdettweiler [2012-10-20 08:00:19] 727*2^1232913-1 is not prime. Res64: D79D03483A711A6D Time : 0.0 sec. user=mdettweiler [2012-10-20 08:01:03] 835*2^1232913-1 is not prime. Res64: 2F61ABB06E829884 Time : 0.0 sec. user=vaughan [2012-10-20 08:26:13] 919*2^1232913-1 is not prime. Res64: 02B1AD1432051554 Time : 0.0 sec. user=mdettweiler [2012-10-20 08:45:58] 769*2^1232913-1 is not prime. Res64: 6151E83B1B7BC85B Time : 0.0 sec. user=mdettweiler [2012-10-20 08:53:52] 889*2^1232913-1 is not prime. Res64: D919CDD88F12893E Time : 0.0 sec. user=vaughan [2012-10-20 09:04:00] 611*2^1232914-1 is not prime. Res64: 9C647B37A0BF29A7 Time : 0.0 sec. user=mdettweiler [2012-10-20 09:07:32] 623*2^1232914-1 is not prime. Res64: 5F572D30E9118D1F Time : 0.0 sec. user=mdettweiler [2012-10-20 09:07:34] 677*2^1232914-1 is not prime. Res64: 69340CA779950E57 Time : 0.0 sec. user=mdettweiler [2012-10-20 09:15:18] 833*2^1232914-1 is not prime. Res64: 7CC46F5FB498FDBD Time : 0.0 sec. user=mdettweiler [2012-10-20 09:15:22] 855*2^1232914-1 is not prime. Res64: 44AF46D8D9E154F2 Time : 0.0 sec. user=mdettweiler [2012-10-20 09:28:48] 679*2^1232915-1 is not prime. Res64: 3067E31712BF11E7 Time : 0.0 sec. user=mdettweiler [2012-10-20 09:28:49] 841*2^1232915-1 is not prime. Res64: 4A59D93FFF1306B4 Time : 0.0 sec. user=mdettweiler [2012-10-20 09:36:59] 843*2^1232915-1 is not prime. Res64: E80C332100225F18 Time : 0.0 sec. user=mdettweiler [2012-10-20 09:37:00] 861*2^1232915-1 is not prime. Res64: 17CD53486536A9D6 Time : 0.0 sec. user=vaughan [2012-10-20 09:41:44] 945*2^1232914-1 is not prime. Res64: 436386BC027FB5FA Time : 0.0 sec. user=mdettweiler [2012-10-20 09:50:20] 871*2^1232915-1 is not prime. Res64: 25C76E25B51E496C Time : 0.0 sec. user=mdettweiler [2012-10-20 09:50:21] 913*2^1232915-1 is not prime. Res64: 267DF19E465DCF28 Time : 0.0 sec. user=mdettweiler [2012-10-20 09:58:43] 999*2^1232915-1 is not prime. Res64: 96794DE04670D52F Time : 0.0 sec. user=mdettweiler [2012-10-20 10:11:55] 899*2^1232916-1 is not prime. Res64: 32FF814F404A0CD8 Time : 0.0 sec. user=mdettweiler [2012-10-20 10:11:57] 927*2^1232916-1 is not prime. Res64: 81443232A05FAC82 Time : 0.0 sec. user=vaughan [2012-10-20 10:19:48] 779*2^1232916-1 is not prime. Res64: CF7F7192CB2996E8 Time : 0.0 sec. user=mdettweiler [2012-10-20 10:20:44] 773*2^1232916-1 is not prime. Res64: 3F348D4605ADF5DB Time : 0.0 sec. user=mdettweiler [2012-10-20 10:33:22] 675*2^1232917-1 is not prime. Res64: 1C08E9977C229D1C Time : 0.0 sec. user=mdettweiler [2012-10-20 10:33:23] 769*2^1232917-1 is not prime. Res64: E57646D5F7FA7654 Time : 0.0 sec. user=mdettweiler [2012-10-20 10:42:10] 801*2^1232917-1 is not prime. Res64: A44DFA0E6B8BB6E1 Time : 0.0 sec. user=mdettweiler [2012-10-20 10:42:11] 805*2^1232917-1 is not prime. Res64: 2421C9DC1CB7D01A Time : 0.0 sec. user=mdettweiler [2012-10-20 10:54:40] 829*2^1232917-1 is not prime. Res64: 1BA3BDB55F82F78A Time : 0.0 sec. user=mdettweiler [2012-10-20 10:54:41] 871*2^1232917-1 is not prime. Res64: 05500286F07747FD Time : 0.0 sec. user=mdettweiler [2012-10-20 11:03:27] 957*2^1232917-1 is not prime. Res64: 21A0E2BE3159DCA6 Time : 0.0 sec. user=mdettweiler [2012-10-20 11:03:28] 985*2^1232917-1 is not prime. Res64: 15A1B9FC220623BF Time : 0.0 sec. user=mdettweiler [2012-10-20 11:16:29] 665*2^1232918-1 is not prime. Res64: 471B4FE85E9E4B25 Time : 0.0 sec. user=mdettweiler [2012-10-20 11:25:03] 857*2^1232918-1 is not prime. Res64: D08BC40E21AAA591 Time : 0.0 sec. user=vaughan [2012-10-20 11:33:21] 801*2^1232918-1 is not prime. Res64: 852F81A25E673B82 Time : 0.0 sec. user=mdettweiler [2012-10-20 11:48:56] 751*2^1232919-1 is not prime. Res64: 35230E2BA0174D0B Time : 0.0 sec. user=mdettweiler [2012-10-20 11:52:10] 669*2^1232919-1 is not prime. Res64: A2A58A491E870601 Time : 0.0 sec. user=mdettweiler [2012-10-20 11:57:41] 705*2^1232918-1 is not prime. Res64: 2170F653E791E9E4 Time : 0.0 sec. user=vaughan [2012-10-20 12:11:14] 693*2^1232919-1 is not prime. Res64: D485F8C9B84987C3 Time : 0.0 sec. user=mdettweiler [2012-10-20 12:13:45] 831*2^1232919-1 is not prime. Res64: 8BAFCA274F6A440F Time : 0.0 sec. user=mdettweiler [2012-10-20 12:13:47] 843*2^1232919-1 is not prime. Res64: 5FDBD06A49303E00 Time : 0.0 sec. user=mdettweiler [2012-10-20 12:35:23] 913*2^1232919-1 is not prime. Res64: 1A2B10D27DDB8BA4 Time : 0.0 sec. user=mdettweiler [2012-10-20 12:35:24] 933*2^1232919-1 is not prime. Res64: 380A5A497DBEF863 Time : 0.0 sec. user=vaughan [2012-10-20 12:49:07] 885*2^1232919-1 is not prime. Res64: AA8B725810AB58A8 Time : 0.0 sec. user=mdettweiler [2012-10-20 12:57:04] 973*2^1232919-1 is not prime. Res64: 8C590C819CD67E4D Time : 0.0 sec. user=mdettweiler [2012-10-20 12:57:05] 635*2^1232920-1 is not prime. Res64: 4B4E18B0CF6FA8ED Time : 0.0 sec. user=mdettweiler [2012-10-20 12:59:44] 653*2^1232920-1 is not prime. Res64: AF2EE3202E863AA3 Time : 0.0 sec. user=mdettweiler [2012-10-20 13:19:19] 843*2^1232920-1 is not prime. Res64: 1C246ECF7E417FC9 Time : 0.0 sec. user=mdettweiler [2012-10-20 13:36:30] 765*2^1232920-1 is not prime. Res64: 7D9265BAB8197186 Time : 0.0 sec. user=mdettweiler [2012-10-20 13:47:18] 855*2^1232920-1 is not prime. Res64: 2CC4CE5F03046780 Time : 0.0 sec. user=mdettweiler [2012-10-20 13:58:15] 873*2^1232920-1 is not prime. Res64: AD0709EDD6485B66 Time : 0.0 sec. user=mdettweiler [2012-10-20 13:58:15] 875*2^1232920-1 is not prime. Res64: C73EB7172886A216 Time : 0.0 sec. user=vaughan [2012-10-20 14:02:35] 863*2^1232920-1 is not prime. Res64: 26D627B2A52BED7B Time : 0.0 sec. user=mdettweiler [2012-10-20 14:08:56] 933*2^1232920-1 is not prime. Res64: D8BE47A506FC733C Time : 0.0 sec. user=mdettweiler [2012-10-20 14:08:58] 871*2^1232921-1 is not prime. Res64: 550D0EA6D9189774 Time : 0.0 sec. user=mdettweiler [2012-10-20 14:19:28] 955*2^1232921-1 is not prime. Res64: 0726E9F19FC60B5E Time : 0.0 sec. user=mdettweiler [2012-10-20 14:19:30] 665*2^1232922-1 is not prime. Res64: F8351716FAA8A954 Time : 0.0 sec. user=mdettweiler [2012-10-20 14:30:30] 741*2^1232922-1 is not prime. Res64: 9B93BAA41B5FDBA2 Time : 0.0 sec. user=mdettweiler [2012-10-20 14:30:31] 801*2^1232922-1 is not prime. Res64: 1DAEFF3EEE8A30F8 Time : 0.0 sec. user=mdettweiler [2012-10-20 14:40:58] 873*2^1232922-1 is not prime. Res64: DA9AB092D3381D67 Time : 0.0 sec. user=mdettweiler [2012-10-20 14:40:59] 923*2^1232922-1 is not prime. Res64: 85882A3C5953233A Time : 0.0 sec. user=mdettweiler [2012-10-20 14:51:59] 699*2^1232923-1 is not prime. Res64: 1E693F74BE8D644E Time : 0.0 sec. user=mdettweiler [2012-10-20 14:52:00] 769*2^1232923-1 is not prime. Res64: C4C11E8769FFD8F7 Time : 0.0 sec. user=mdettweiler [2012-10-20 15:02:30] 871*2^1232923-1 is not prime. Res64: 6DE983BBE4963990 Time : 0.0 sec. user=mdettweiler [2012-10-20 15:02:46] 873*2^1232923-1 is not prime. Res64: 9B20CFFBCDC6FAEF Time : 0.0 sec. user=mdettweiler [2012-10-20 15:13:22] 969*2^1232923-1 is not prime. Res64: 351D3231C6647783 Time : 0.0 sec. user=mdettweiler [2012-10-20 15:13:24] 609*2^1232924-1 is not prime. Res64: A4F670BA9A7C6C83 Time : 0.0 sec. user=vaughan [2012-10-20 15:14:45] 829*2^1232923-1 is not prime. Res64: C8509DD6E82E1BB8 Time : 0.0 sec. user=mdettweiler [2012-10-20 15:34:30] 635*2^1232924-1 is not prime. Res64: 8D9B5F2FE6613EA1 Time : 0.0 sec. user=mdettweiler [2012-10-20 15:34:31] 657*2^1232924-1 is not prime. Res64: 606DD16BEAD63DFA Time : 0.0 sec. user=vaughan [2012-10-20 15:52:27] 665*2^1232924-1 is not prime. Res64: 1F4B90E9FAEDFC91 Time : 0.0 sec. user=mdettweiler [2012-10-20 15:56:01] 683*2^1232924-1 is not prime. Res64: D6E4D1E0AF7F6AE0 Time : 0.0 sec. user=mdettweiler [2012-10-20 16:16:52] 995*2^1232924-1 is not prime. Res64: 80BD4C2849D3406F Time : 0.0 sec. user=mdettweiler [2012-10-20 16:16:54] 639*2^1232925-1 is not prime. Res64: EC7B0B170F31890C Time : 0.0 sec. user=vaughan [2012-10-20 16:30:26] 953*2^1232924-1 is not prime. Res64: 96496DB6D0808790 Time : 0.0 sec. user=mdettweiler [2012-10-20 16:36:37] 885*2^1232924-1 is not prime. Res64: 9125E537CF312034 Time : 0.0 sec. user=mdettweiler [2012-10-20 16:38:42] 649*2^1232925-1 is not prime. Res64: B944020B843F79D9 Time : 0.0 sec. user=mdettweiler [2012-10-20 16:57:49] 847*2^1232925-1 is not prime. Res64: 6D5C415DF5D57F1E Time : 0.0 sec. user=mdettweiler [2012-10-20 16:57:50] 871*2^1232925-1 is not prime. Res64: BC2CABCA7280CB94 Time : 0.0 sec. user=mdettweiler [2012-10-20 17:11:50] 657*2^1232925-1 is not prime. Res64: B00C80E95288F5D3 Time : 0.0 sec. user=mdettweiler [2012-10-20 17:19:03] 927*2^1232925-1 is not prime. Res64: 2BA11CE33B3AF752 Time : 0.0 sec. user=mdettweiler [2012-10-20 17:33:13] 981*2^1232926-1 is not prime. Res64: 9C2BB9AD87F23D46 Time : 0.0 sec. user=mdettweiler [2012-10-20 17:33:14] 661*2^1232927-1 is not prime. Res64: 29DFAEA18DFBC045 Time : 0.0 sec. user=vaughan [2012-10-20 17:43:48] 861*2^1232926-1 is not prime. Res64: 38F33BA169ADD2FD Time : 0.0 sec. user=mdettweiler [2012-10-20 17:45:31] 969*2^1232925-1 is not prime. Res64: 129144045FE13A88 Time : 0.0 sec. user=mdettweiler [2012-10-20 17:54:21] 663*2^1232927-1 is not prime. Res64: 67F7C5ECF8534583 Time : 0.0 sec. user=mdettweiler [2012-10-20 17:54:22] 775*2^1232927-1 is not prime. Res64: B92A3295E81FAE6B Time : 0.0 sec. user=mdettweiler [2012-10-20 18:06:47] 713*2^1232928-1 is not prime. Res64: C7E451B36208D2EA Time : 0.0 sec. user=mdettweiler [2012-10-20 18:15:46] 893*2^1232928-1 is not prime. Res64: 7B89DA1229130676 Time : 0.0 sec. user=vaughan [2012-10-20 18:21:30] 813*2^1232927-1 is not prime. Res64: 47489EF3A3BD6019 Time : 0.0 sec. user=mdettweiler [2012-10-20 18:42:44] 737*2^1232928-1 is not prime. Res64: 94723E485AFCF57A Time : 0.0 sec. user=mdettweiler [2012-10-20 18:48:45] 905*2^1232928-1 is not prime. Res64: FF5050064F3CA8B5 Time : 0.0 sec. user=vaughan [2012-10-20 18:59:19] 923*2^1232928-1 is not prime. Res64: 6CF8638362A9573C Time : 0.0 sec. user=mdettweiler [2012-10-20 19:03:38] 847*2^1232929-1 is not prime. Res64: 728FF5AAAE1EABA8 Time : 0.0 sec. user=mdettweiler [2012-10-20 19:03:39] 925*2^1232929-1 is not prime. Res64: 1655BF47873D5E1A Time : 0.0 sec. user=mdettweiler [2012-10-20 19:09:51] 633*2^1232930-1 is not prime. Res64: 6C2099EC4F035F69 Time : 0.0 sec. user=mdettweiler [2012-10-20 19:24:34] 717*2^1232930-1 is not prime. Res64: 7B6CEB9AE7FC8275 Time : 0.0 sec. user=mdettweiler [2012-10-20 19:24:35] 741*2^1232930-1 is not prime. Res64: EF61E71C94E909DD Time : 0.0 sec. user=vaughan [2012-10-20 19:37:03] 675*2^1232930-1 is not prime. Res64: A252CF1EE7391B8D Time : 0.0 sec. user=mdettweiler [2012-10-20 19:45:47] 831*2^1232930-1 is not prime. Res64: 38ECD2CCAD0AEDE1 Time : 0.0 sec. user=mdettweiler [2012-10-20 19:45:47] 885*2^1232930-1 is not prime. Res64: 8E4578EFDC57E817 Time : 0.0 sec. user=mdettweiler [2012-10-20 19:53:27] 645*2^1232930-1 is not prime. Res64: 26DA8048D508C53D Time : 0.0 sec. user=mdettweiler [2012-10-20 20:06:55] 923*2^1232930-1 is not prime. Res64: CE0D559D5BE98CD8 Time : 0.0 sec. user=mdettweiler [2012-10-20 20:06:57] 613*2^1232931-1 is not prime. Res64: A25BFD35EF179686 Time : 0.0 sec. user=mdettweiler [2012-10-20 20:14:34] 669*2^1232931-1 is not prime. Res64: D23EA2FCE96BCF80 Time : 0.0 sec. user=vaughan [2012-10-20 20:14:56] 911*2^1232930-1 is not prime. Res64: 70CD43D1DC7196EE Time : 0.0 sec. user=mdettweiler [2012-10-20 20:28:24] 795*2^1232931-1 is not prime. Res64: C9ECF77E2B7B66A2 Time : 0.0 sec. user=mdettweiler [2012-10-20 20:28:25] 825*2^1232931-1 is not prime. Res64: 7665CC7B24BBCD2D Time : 0.0 sec. user=mdettweiler [2012-10-20 20:49:32] 999*2^1232931-1 is not prime. Res64: 20642DACA089650E Time : 0.0 sec. user=mdettweiler [2012-10-20 20:49:32] 705*2^1232932-1 is not prime. Res64: 72600A7305C76B3B Time : 0.0 sec. user=mdettweiler [2012-10-20 20:50:10] 769*2^1232931-1 is not prime. Res64: 1349380AB6A8A55D Time : 0.0 sec. user=mdettweiler [2012-10-20 21:10:41] 765*2^1232932-1 is not prime. Res64: DFE67CB13D7F802C Time : 0.0 sec. user=mdettweiler [2012-10-20 21:10:43] 807*2^1232932-1 is not prime. Res64: FE62F199DA04F1D2 Time : 0.0 sec. user=mdettweiler [2012-10-20 21:11:26] 715*2^1232933-1 is not prime. Res64: 0E8669F19E64B711 Time : 0.0 sec. user=vaughan [2012-10-20 21:28:45] 787*2^1232933-1 is not prime. Res64: 9304124A27F118D0 Time : 0.0 sec. user=mdettweiler [2012-10-20 21:32:12] 837*2^1232933-1 is not prime. Res64: 9A37FD551F4CDEA5 Time : 0.0 sec. user=mdettweiler [2012-10-20 21:32:12] 879*2^1232933-1 is not prime. Res64: AD329D5E25A933EE Time : 0.0 sec. user=mdettweiler [2012-10-20 21:50:53] 781*2^1232933-1 is not prime. Res64: F927F5820EE6BA43 Time : 0.0 sec. user=mdettweiler [2012-10-20 21:53:17] 725*2^1232934-1 is not prime. Res64: 18048216C8BE6F24 Time : 0.0 sec. user=mdettweiler [2012-10-20 21:53:18] 927*2^1232934-1 is not prime. Res64: E39D4EB09475A02F Time : 0.0 sec. user=vaughan [2012-10-20 22:06:27] 671*2^1232934-1 is not prime. Res64: B3A5CF50D541F191 Time : 0.0 sec. user=mdettweiler [2012-10-20 22:14:44] 953*2^1232828-1 is not prime. Res64: DB760CDF4C169281 Time : 0.0 sec. user=vaughan [2012-10-20 22:44:27] 639*2^1232935-1 is not prime. Res64: 778E23EFC24E9D15 Time : 0.0 sec. user=mdettweiler [2012-10-20 22:56:46] 649*2^1232935-1 is not prime. Res64: D63296F2330BD6D2 Time : 0.0 sec. user=mdettweiler [2012-10-20 22:56:47] 715*2^1232935-1 is not prime. Res64: C486D6BE39CE37FD Time : 0.0 sec. user=mdettweiler [2012-10-20 23:08:25] 999*2^1232828-1 is not prime. Res64: 3F9737F05A02875A Time : 0.0 sec. user=mdettweiler [2012-10-20 23:17:56] 765*2^1232935-1 is not prime. Res64: 4C59F1426E73C6F7 Time : 0.0 sec. user=mdettweiler [2012-10-20 23:18:00] 819*2^1232935-1 is not prime. Res64: 9AA3BF48926A1017 Time : 0.0 sec. user=vaughan [2012-10-20 23:22:23] 735*2^1232935-1 is not prime. Res64: B827DC0D8D5D9336 Time : 0.0 sec. user=mdettweiler [2012-10-20 23:29:37] 747*2^1232936-1 is not prime. Res64: FF110040528207D4 Time : 0.0 sec. user=mdettweiler [2012-10-20 23:29:38] 767*2^1232936-1 is not prime. Res64: 46B2E118452D1D1F Time : 0.0 sec. user=mdettweiler [2012-10-20 23:39:20] 773*2^1232936-1 is not prime. Res64: A0BA40544AB85BA3 Time : 0.0 sec. user=mdettweiler [2012-10-20 23:39:20] 833*2^1232936-1 is not prime. Res64: C67006047D780911 Time : 0.0 sec. user=mdettweiler [2012-10-20 23:51:09] 963*2^1232936-1 is not prime. Res64: 2B0173A5D6BD32C1 Time : 0.0 sec. user=mdettweiler [2012-10-21 00:00:57] 615*2^1232937-1 is not prime. Res64: 0AE91A1A41C4332C Time : 0.0 sec.