user=mdettweiler [2013-05-16 00:14:04] 979*2^1245945-1 is not prime. Res64: 820075D49498E7EA Time : 0.0 sec. user=mdettweiler [2013-05-16 00:21:20] 657*2^1245946-1 is not prime. Res64: EC4AEC7AC006A9BC Time : 0.0 sec. user=vaughan [2013-05-16 00:25:35] 675*2^1245946-1 is not prime. Res64: EA7AF0FD9455B300 Time : 0.0 sec. user=mdettweiler [2013-05-16 00:32:04] 765*2^1245946-1 is not prime. Res64: 50CEEA9258D5F35D Time : 0.0 sec. user=mdettweiler [2013-05-16 00:39:24] 815*2^1245946-1 is not prime. Res64: AD7B7FED7E6D1092 Time : 0.0 sec. user=mdettweiler [2013-05-16 00:39:24] 887*2^1245946-1 is not prime. Res64: 5A433BE2899689BA Time : 0.0 sec. user=mdettweiler [2013-05-16 00:57:13] 773*2^1245946-1 is not prime. Res64: D974E2BFC28D4B2F Time : 0.0 sec. user=mdettweiler [2013-05-16 00:57:14] 645*2^1245947-1 is not prime. Res64: 5690A63EDCF712FC Time : 0.0 sec. user=mdettweiler [2013-05-16 00:57:14] 753*2^1245947-1 is not prime. Res64: 0FE7F9F44C2CA86E Time : 0.0 sec. user=mdettweiler [2013-05-16 01:15:00] 775*2^1245947-1 is not prime. Res64: B335F3C4BF91914E Time : 0.0 sec. user=mdettweiler [2013-05-16 01:15:00] 883*2^1245947-1 is not prime. Res64: F6ED5A80BB882B4B Time : 0.0 sec. user=mdettweiler [2013-05-16 01:15:00] 871*2^1245947-1 is not prime. Res64: 4D988AAAB2DBD967 Time : 0.0 sec. user=mdettweiler [2013-05-16 01:15:00] 895*2^1245947-1 is not prime. Res64: 1CB672F3FE683A70 Time : 0.0 sec. user=mdettweiler [2013-05-16 01:33:28] 639*2^1245948-1 is not prime. Res64: 501F905074D6C14C Time : 0.0 sec. user=mdettweiler [2013-05-16 01:33:28] 765*2^1245948-1 is not prime. Res64: 0CF447651252C087 Time : 0.0 sec. user=mdettweiler [2013-05-16 01:33:29] 647*2^1245948-1 is not prime. Res64: 961DA13D84FAAB29 Time : 0.0 sec. user=mdettweiler [2013-05-16 01:33:29] 767*2^1245948-1 is not prime. Res64: 65EFBBBC44B1808B Time : 0.0 sec. user=vaughan [2013-05-16 01:41:10] 603*2^1245947-1 is not prime. Res64: 2C5D4ED70B215CB5 Time : 0.0 sec. user=mdettweiler [2013-05-16 01:51:15] 691*2^1245949-1 is not prime. Res64: 4AFB38F4ADD8531F Time : 0.0 sec. user=mdettweiler [2013-05-16 01:51:15] 799*2^1245949-1 is not prime. Res64: A578012E0EF5BBF7 Time : 0.0 sec. user=mdettweiler [2013-05-16 01:51:15] 759*2^1245949-1 is not prime. Res64: 5E4C44686CFF4AD4 Time : 0.0 sec. user=mdettweiler [2013-05-16 01:51:15] 819*2^1245949-1 is not prime. Res64: F917D9DF65B85AC5 Time : 0.0 sec. user=mdettweiler [2013-05-16 02:09:15] 801*2^1245950-1 is not prime. Res64: EE5D802147A8BB30 Time : 0.0 sec. user=mdettweiler [2013-05-16 02:09:15] 657*2^1245950-1 is not prime. Res64: F943BA91EEC6A5D0 Time : 0.0 sec. user=mdettweiler [2013-05-16 02:09:15] 813*2^1245950-1 is not prime. Res64: BA4D5D1D732084CE Time : 0.0 sec. user=mdettweiler [2013-05-16 02:09:15] 753*2^1245950-1 is not prime. Res64: A0C24C773A27ED12 Time : 0.0 sec. user=vaughan [2013-05-16 02:24:20] 951*2^1245949-1 is not prime. Res64: 1AEDC59D8ADADEA4 Time : 0.0 sec. user=mdettweiler [2013-05-16 02:27:55] 609*2^1245951-1 is not prime. Res64: E8D892F77AE9E379 Time : 0.0 sec. user=mdettweiler [2013-05-16 02:28:40] 917*2^1245950-1 is not prime. Res64: BCDBB3027FE0B073 Time : 0.0 sec. user=mdettweiler [2013-05-16 02:28:41] 981*2^1245950-1 is not prime. Res64: AFEE8693A0A23238 Time : 0.0 sec. user=mdettweiler [2013-05-16 02:35:13] 649*2^1245951-1 is not prime. Res64: B342EFDCC0A6DDD8 Time : 0.0 sec. user=mdettweiler [2013-05-16 02:52:42] 691*2^1245951-1 is not prime. Res64: 76997B930408BED8 Time : 0.0 sec. user=mdettweiler [2013-05-16 02:52:43] 751*2^1245951-1 is not prime. Res64: 624073A76D35FFC5 Time : 0.0 sec. user=mdettweiler [2013-05-16 03:10:39] 615*2^1245952-1 is not prime. Res64: A4F13E095A675DD4 Time : 0.0 sec. user=mdettweiler [2013-05-16 03:18:43] 765*2^1245952-1 is not prime. Res64: BA0132C3DACE541A Time : 0.0 sec. user=mdettweiler [2013-05-16 03:18:43] 855*2^1245952-1 is not prime. Res64: DCFBD0498764B311 Time : 0.0 sec. user=mdettweiler [2013-05-16 03:36:11] 917*2^1245952-1 is not prime. Res64: F5DCC4C8E7825850 Time : 0.0 sec. user=mdettweiler [2013-05-16 03:36:12] 947*2^1245952-1 is not prime. Res64: 3A2A8680ADCAE126 Time : 0.0 sec. user=mdettweiler [2013-05-16 03:37:24] 743*2^1245952-1 is not prime. Res64: A93E812B39057ABA Time : 0.0 sec. user=vaughan [2013-05-16 03:44:42] 903*2^1245952-1 is not prime. Res64: 031F3219C59275AD Time : 0.0 sec. user=mdettweiler [2013-05-16 03:55:01] 983*2^1245952-1 is not prime. Res64: 4DB233E888C7010B Time : 0.0 sec. user=mdettweiler [2013-05-16 04:13:26] 631*2^1245953-1 is not prime. Res64: E0DF05E175C036DB Time : 0.0 sec. user=mdettweiler [2013-05-16 04:33:13] 691*2^1245953-1 is not prime. Res64: C86AF0816221F282 Time : 0.0 sec. user=mdettweiler [2013-05-16 04:33:13] 847*2^1245953-1 is not prime. Res64: 6BC73B74D9A4ACD0 Time : 0.0 sec. user=mdettweiler [2013-05-16 04:51:25] 819*2^1245953-1 is not prime. Res64: 43FD004DE623CE50 Time : 0.0 sec. user=mdettweiler [2013-05-16 05:02:47] 937*2^1245953-1 is not prime. Res64: 2E0FC244156FF030 Time : 0.0 sec. user=vaughan [2013-05-16 05:04:48] 955*2^1245953-1 is not prime. Res64: AD15333CE8FB29D1 Time : 0.0 sec. user=mdettweiler [2013-05-16 05:09:00] 663*2^1245954-1 is not prime. Res64: 05BEAB79F17D9022 Time : 0.0 sec. user=mdettweiler [2013-05-16 05:20:30] 765*2^1245954-1 is not prime. Res64: 32B75A773D7D16BC Time : 0.0 sec. user=mdettweiler [2013-05-16 05:35:33] 717*2^1245954-1 is not prime. Res64: 517E70516E7F7039 Time : 0.0 sec. user=mdettweiler [2013-05-16 05:38:48] 903*2^1245954-1 is not prime. Res64: B77659C7C349C8CB Time : 0.0 sec. user=vaughan [2013-05-16 05:43:19] 645*2^1245955-1 is not prime. Res64: 57478D79AFD2E10B Time : 0.0 sec. user=mdettweiler [2013-05-16 05:56:45] 765*2^1245955-1 is not prime. Res64: 6151D0DE86114633 Time : 0.0 sec. user=mdettweiler [2013-05-16 06:27:35] 915*2^1245955-1 is not prime. Res64: 11CC219C1F192BEE Time : 0.0 sec. user=mdettweiler [2013-05-16 06:27:36] 961*2^1245955-1 is not prime. Res64: A7A7B96798DD20A6 Time : 0.0 sec. user=mdettweiler [2013-05-16 06:33:29] 861*2^1245955-1 is not prime. Res64: B0FB20FDF2C56109 Time : 0.0 sec. user=mdettweiler [2013-05-16 06:45:19] 693*2^1245956-1 is not prime. Res64: EEC199EA731AB8CE Time : 0.0 sec. user=mdettweiler [2013-05-16 06:51:10] 839*2^1245956-1 is not prime. Res64: AA212D8BA97B224F Time : 0.0 sec. user=vaughan [2013-05-16 06:58:36] 633*2^1245956-1 is not prime. Res64: D5EB00FA7BF5418D Time : 0.0 sec. user=mdettweiler [2013-05-16 07:01:49] 789*2^1245956-1 is not prime. Res64: 918555B91BDD971F Time : 0.0 sec. user=mdettweiler [2013-05-16 07:27:46] 873*2^1245956-1 is not prime. Res64: B645EC7DD516131A Time : 0.0 sec. user=vaughan [2013-05-16 07:41:51] 927*2^1245956-1 is not prime. Res64: 3D2689554CAF3CC4 Time : 0.0 sec. user=mdettweiler [2013-05-16 07:58:39] 999*2^1245956-1 is not prime. Res64: 108F101100287A58 Time : 0.0 sec. user=mdettweiler [2013-05-16 07:58:40] 609*2^1245957-1 is not prime. Res64: B756C3AE4B4F1112 Time : 0.0 sec. user=mdettweiler [2013-05-16 08:10:20] 747*2^1245957-1 is not prime. Res64: 166BE8CA84FBA250 Time : 0.0 sec. user=mdettweiler [2013-05-16 08:16:56] 867*2^1245957-1 is not prime. Res64: 29D74C45BAAD9702 Time : 0.0 sec. user=mdettweiler [2013-05-16 08:16:57] 997*2^1245957-1 is not prime. Res64: 04B44BE337691AEE Time : 0.0 sec. user=vaughan [2013-05-16 08:19:50] 699*2^1245957-1 is not prime. Res64: 542303A556BD4FA5 Time : 0.0 sec. user=mdettweiler [2013-05-16 08:34:26] 647*2^1245958-1 is not prime. Res64: 6B3CDB797E64020E Time : 0.0 sec. user=mdettweiler [2013-05-16 08:34:27] 687*2^1245958-1 is not prime. Res64: FEC2BFA38D11A69B Time : 0.0 sec. user=mdettweiler [2013-05-16 08:43:37] 831*2^1245957-1 is not prime. Res64: 461C4CE6199B7B66 Time : 0.0 sec. user=mdettweiler [2013-05-16 08:52:14] 845*2^1245958-1 is not prime. Res64: EA12F23CF3562249 Time : 0.0 sec. user=mdettweiler [2013-05-16 08:52:15] 863*2^1245958-1 is not prime. Res64: 3DDB519AE9D09B31 Time : 0.0 sec. user=vaughan [2013-05-16 08:58:16] 705*2^1245958-1 is not prime. Res64: 4B5264C381FD3AE5 Time : 0.0 sec. user=mdettweiler [2013-05-16 09:01:05] 881*2^1245958-1 is not prime. Res64: 2D69C3E38671443F Time : 0.0 sec. user=mdettweiler [2013-05-16 09:01:06] 915*2^1245958-1 is not prime. Res64: A1FFB2451F21D6B5 Time : 0.0 sec. user=mdettweiler [2013-05-16 09:09:59] 951*2^1245958-1 is not prime. Res64: 0E6A42C76F1708A4 Time : 0.0 sec. user=mdettweiler [2013-05-16 09:10:00] 655*2^1245959-1 is not prime. Res64: 5B8E8B2F69185BFF Time : 0.0 sec. user=mdettweiler [2013-05-16 09:18:59] 675*2^1245959-1 is not prime. Res64: 996E27291E66F791 Time : 0.0 sec. user=mdettweiler [2013-05-16 09:18:59] 799*2^1245959-1 is not prime. Res64: 62DB41812D623CF9 Time : 0.0 sec. user=mdettweiler [2013-05-16 09:27:29] 737*2^1245960-1 is not prime. Res64: 5E7748AC0E968094 Time : 0.0 sec. user=mdettweiler [2013-05-16 09:27:30] 687*2^1245961-1 is not prime. Res64: F7159BEC7A2108BB Time : 0.0 sec. user=mdettweiler [2013-05-16 09:36:42] 691*2^1245961-1 is not prime. Res64: 63C8994A30CC022E Time : 0.0 sec. user=mdettweiler [2013-05-16 09:36:43] 745*2^1245961-1 is not prime. Res64: 357BE285708C5134 Time : 0.0 sec. user=mdettweiler [2013-05-16 09:44:58] 807*2^1245961-1 is not prime. Res64: 4ABA3F041C0FDA85 Time : 0.0 sec. user=mdettweiler [2013-05-16 09:44:58] 819*2^1245961-1 is not prime. Res64: CD8B3E10685D8557 Time : 0.0 sec. user=mdettweiler [2013-05-16 09:54:11] 901*2^1245961-1 is not prime. Res64: 297352BD0FC45CAC Time : 0.0 sec. user=mdettweiler [2013-05-16 09:54:12] 633*2^1245962-1 is not prime. Res64: C70453D3CCFC5AE0 Time : 0.0 sec. user=mdettweiler [2013-05-16 10:02:37] 645*2^1245962-1 is not prime. Res64: F85C580603F1F442 Time : 0.0 sec. user=mdettweiler [2013-05-16 10:12:22] 713*2^1245962-1 is not prime. Res64: CC7CC54433598551 Time : 0.0 sec. user=vaughan [2013-05-16 10:13:25] 835*2^1245961-1 is not prime. Res64: B22A70BB8851B53C Time : 0.0 sec. user=mdettweiler [2013-05-16 10:32:47] 665*2^1245962-1 is not prime. Res64: 5AE5D3C5B76713D5 Time : 0.0 sec. user=mdettweiler [2013-05-16 10:34:18] 767*2^1245962-1 is not prime. Res64: 325108D01950C239 Time : 0.0 sec. user=mdettweiler [2013-05-16 10:50:29] 941*2^1245962-1 is not prime. Res64: EC607574829B6C86 Time : 0.0 sec. user=mdettweiler [2013-05-16 10:50:29] 769*2^1245963-1 is not prime. Res64: 916A9AFC2702E958 Time : 0.0 sec. user=mdettweiler [2013-05-16 10:51:59] 793*2^1245963-1 is not prime. Res64: BAAC691045843AC6 Time : 0.0 sec. user=mdettweiler [2013-05-16 10:52:00] 819*2^1245963-1 is not prime. Res64: E13BB089CDDF2A5D Time : 0.0 sec. user=vaughan [2013-05-16 10:56:38] 903*2^1245962-1 is not prime. Res64: CCF88ECE92257C05 Time : 0.0 sec. user=mdettweiler [2013-05-16 11:08:06] 901*2^1245963-1 is not prime. Res64: CCA8F6023387B677 Time : 0.0 sec. user=mdettweiler [2013-05-16 11:08:07] 693*2^1245964-1 is not prime. Res64: 07B48D3F27886F8F Time : 0.0 sec. user=mdettweiler [2013-05-16 11:09:37] 825*2^1245964-1 is not prime. Res64: F1CE7552C8E2C56F Time : 0.0 sec. user=mdettweiler [2013-05-16 11:09:37] 897*2^1245964-1 is not prime. Res64: 401CED038E0AEB6C Time : 0.0 sec. user=mdettweiler [2013-05-16 11:25:49] 777*2^1245965-1 is not prime. Res64: BEAC7C953A344579 Time : 0.0 sec. user=mdettweiler [2013-05-16 11:25:50] 885*2^1245965-1 is not prime. Res64: 4986403B8F0E618E Time : 0.0 sec. user=mdettweiler [2013-05-16 11:28:04] 981*2^1245965-1 is not prime. Res64: 97151FC9ACE4F3EF Time : 0.0 sec. user=mdettweiler [2013-05-16 11:28:05] 693*2^1245966-1 is not prime. Res64: DF470E3AA57B1529 Time : 0.0 sec. user=vaughan [2013-05-16 11:39:42] 953*2^1245964-1 is not prime. Res64: 038CF02B87D5F023 Time : 0.0 sec. user=mdettweiler [2013-05-16 11:43:32] 723*2^1245966-1 is not prime. Res64: 9BFD90C9F6A74036 Time : 0.0 sec. user=mdettweiler [2013-05-16 11:43:32] 741*2^1245966-1 is not prime. Res64: 6EE7620AB2B14370 Time : 0.0 sec. user=mdettweiler [2013-05-16 11:45:52] 747*2^1245966-1 is not prime. Res64: 4AC44262FA9E4CF8 Time : 0.0 sec. user=mdettweiler [2013-05-16 12:01:10] 917*2^1245966-1 is not prime. Res64: CC499506A21415D9 Time : 0.0 sec. user=mdettweiler [2013-05-16 12:01:31] 947*2^1245966-1 is not prime. Res64: 48FFB6F1ADDB84C4 Time : 0.0 sec. user=mdettweiler [2013-05-16 12:15:56] 765*2^1245966-1 is not prime. Res64: 434241509AADFB31 Time : 0.0 sec. user=mdettweiler [2013-05-16 12:33:33] 971*2^1245966-1 is not prime. Res64: 07AD015208DA1BC1 Time : 0.0 sec. user=mdettweiler [2013-05-16 12:33:33] 601*2^1245967-1 is not prime. Res64: 46B6E2B29FA7359E Time : 0.0 sec. user=mdettweiler [2013-05-16 12:37:33] 649*2^1245967-1 is not prime. Res64: C3C450B2DD6E38D9 Time : 0.0 sec. user=mdettweiler [2013-05-16 12:37:33] 715*2^1245967-1 is not prime. Res64: 57DA06C5A1DF3350 Time : 0.0 sec. user=mdettweiler [2013-05-16 12:51:10] 741*2^1245967-1 is not prime. Res64: E8A92B56849B3CA2 Time : 0.0 sec. user=mdettweiler [2013-05-16 12:51:11] 751*2^1245967-1 is not prime. Res64: D531DEA28E3710D0 Time : 0.0 sec. user=mdettweiler [2013-05-16 12:55:11] 841*2^1245967-1 is not prime. Res64: 00D26C4E17BE11C7 Time : 0.0 sec. user=mdettweiler [2013-05-16 12:55:11] 883*2^1245967-1 is not prime. Res64: 2A9F9684B9526DC1 Time : 0.0 sec. user=mdettweiler [2013-05-16 13:08:47] 915*2^1245967-1 is not prime. Res64: 69CD2E26F38640A6 Time : 0.0 sec. user=mdettweiler [2013-05-16 13:08:48] 979*2^1245967-1 is not prime. Res64: D3D94E6931753171 Time : 0.0 sec. user=mdettweiler [2013-05-16 13:26:42] 699*2^1245968-1 is not prime. Res64: 184B4BD735B23E6F Time : 0.0 sec. user=mdettweiler [2013-05-16 13:26:42] 713*2^1245968-1 is not prime. Res64: DD15ECD06A22BE06 Time : 0.0 sec. user=mdettweiler [2013-05-16 13:34:02] 603*2^1245968-1 is not prime. Res64: 447148C0A40D1CEA Time : 0.0 sec. user=mdettweiler [2013-05-16 13:44:49] 819*2^1245968-1 is not prime. Res64: 6CF9CFA1BDE601BD Time : 0.0 sec. user=mdettweiler [2013-05-16 14:02:48] 689*2^1245968-1 is not prime. Res64: FC165719BB163CBA Time : 0.0 sec. user=mdettweiler [2013-05-16 14:20:31] 649*2^1245969-1 is not prime. Res64: EFECBCE3618BFCE7 Time : 0.0 sec. user=mdettweiler [2013-05-16 14:20:31] 667*2^1245969-1 is not prime. Res64: 84CC003B4BC1A714 Time : 0.0 sec. user=mdettweiler [2013-05-16 14:22:03] 867*2^1245968-1 is not prime. Res64: DEAE3DFAD253F203 Time : 0.0 sec. user=mdettweiler [2013-05-16 14:38:26] 681*2^1245969-1 is not prime. Res64: A6615E6061298940 Time : 0.0 sec. user=mdettweiler [2013-05-16 14:38:26] 781*2^1245969-1 is not prime. Res64: 9731D28E75B358BC Time : 0.0 sec. user=mdettweiler [2013-05-16 14:40:01] 787*2^1245969-1 is not prime. Res64: AC5DEA69095B981D Time : 0.0 sec. user=mdettweiler [2013-05-16 14:40:01] 847*2^1245969-1 is not prime. Res64: C30C09ABB2C40F48 Time : 0.0 sec. user=mdettweiler [2013-05-16 14:56:27] 867*2^1245969-1 is not prime. Res64: 2EB01DC981259C81 Time : 0.0 sec. user=mdettweiler [2013-05-16 14:56:27] 885*2^1245969-1 is not prime. Res64: 8C573E8D83A61D9B Time : 0.0 sec. user=mdettweiler [2013-05-16 14:58:43] 889*2^1245969-1 is not prime. Res64: 0A39AE365D804AB2 Time : 0.0 sec. user=mdettweiler [2013-05-16 15:15:10] 605*2^1245970-1 is not prime. Res64: 9278B6C0189E221D Time : 0.0 sec. user=mdettweiler [2013-05-16 15:25:25] 985*2^1245969-1 is not prime. Res64: B6652A8FD6B7485C Time : 0.0 sec. user=mdettweiler [2013-05-16 15:43:29] 885*2^1245970-1 is not prime. Res64: 1C4E3CD1DF552F3E Time : 0.0 sec. user=mdettweiler [2013-05-16 15:43:29] 911*2^1245970-1 is not prime. Res64: 09C38ACA177E3581 Time : 0.0 sec. user=mdettweiler [2013-05-16 15:51:27] 635*2^1245970-1 is not prime. Res64: 355B67AB8C6DF6C8 Time : 0.0 sec. user=mdettweiler [2013-05-16 16:02:20] 941*2^1245970-1 is not prime. Res64: DE62BBC4E99F2120 Time : 0.0 sec. user=mdettweiler [2013-05-16 16:38:23] 981*2^1245970-1 is not prime. Res64: 99A81E7952685CE1 Time : 0.0 sec. user=mdettweiler [2013-05-16 16:44:40] 631*2^1245971-1 is not prime. Res64: CEFE1B91CF8DA0D4 Time : 0.0 sec. user=mdettweiler [2013-05-16 17:07:16] 711*2^1245971-1 is not prime. Res64: 754765AF20A6D26F Time : 0.0 sec. user=mdettweiler [2013-05-16 17:20:05] 855*2^1245971-1 is not prime. Res64: 43B30ED0158E4EF2 Time : 0.0 sec. user=mdettweiler [2013-05-16 17:20:05] 885*2^1245971-1 is not prime. Res64: E5ABDF06355C0791 Time : 0.0 sec. user=mdettweiler [2013-05-16 17:25:20] 725*2^1245972-1 is not prime. Res64: B37E8E6B4D2CDEF5 Time : 0.0 sec. user=mdettweiler [2013-05-16 17:25:21] 749*2^1245972-1 is not prime. Res64: 5135A17D2BBF6D67 Time : 0.0 sec. user=mdettweiler [2013-05-16 17:38:13] 753*2^1245972-1 is not prime. Res64: 1619BF89BABC8425 Time : 0.0 sec. user=mdettweiler [2013-05-16 17:43:48] 863*2^1245972-1 is not prime. Res64: C1419A1686C79CF1 Time : 0.0 sec. user=mdettweiler [2013-05-16 17:43:49] 945*2^1245972-1 is not prime. Res64: 54E98ED15692C1C5 Time : 0.0 sec. user=mdettweiler [2013-05-16 18:01:40] 609*2^1245973-1 is not prime. Res64: CDBB9E75AED567BF Time : 0.0 sec. user=mdettweiler [2013-05-16 18:13:55] 797*2^1245972-1 is not prime. Res64: 1FE5417E9FA2D55F Time : 0.0 sec. user=mdettweiler [2013-05-16 18:22:44] 649*2^1245973-1 is not prime. Res64: 7CF67E16BC920078 Time : 0.0 sec. user=mdettweiler [2013-05-16 18:31:46] 685*2^1245973-1 is not prime. Res64: 2F0997BD7F75F386 Time : 0.0 sec. user=mdettweiler [2013-05-16 18:40:22] 765*2^1245973-1 is not prime. Res64: E6EF4DEF8B3E1887 Time : 0.0 sec. user=mdettweiler [2013-05-16 18:40:23] 855*2^1245973-1 is not prime. Res64: 41478656F4619A8B Time : 0.0 sec. user=mdettweiler [2013-05-16 18:58:13] 897*2^1245973-1 is not prime. Res64: 5A6D22B5B02E284B Time : 0.0 sec. user=mdettweiler [2013-05-16 19:02:24] 721*2^1245973-1 is not prime. Res64: 23D3EDB608DD5954 Time : 0.0 sec. user=mdettweiler [2013-05-16 19:20:32] 955*2^1245973-1 is not prime. Res64: 89FD47116D204A9A Time : 0.0 sec. user=mdettweiler [2013-05-16 19:20:33] 645*2^1245974-1 is not prime. Res64: 3DD1A65A778C5769 Time : 0.0 sec. user=mdettweiler [2013-05-16 19:34:05] 937*2^1245973-1 is not prime. Res64: 36609F9731523EC8 Time : 0.0 sec. user=mdettweiler [2013-05-16 19:38:14] 707*2^1245974-1 is not prime. Res64: FF7E20923D4F5BF4 Time : 0.0 sec. user=mdettweiler [2013-05-16 19:38:14] 711*2^1245974-1 is not prime. Res64: 09A14F1AEE4B6C80 Time : 0.0 sec. user=mdettweiler [2013-05-16 19:56:16] 897*2^1245974-1 is not prime. Res64: 0FB47AB98FF7CBEF Time : 0.0 sec. user=mdettweiler [2013-05-16 19:56:17] 915*2^1245974-1 is not prime. Res64: 786B7D985C1752ED Time : 0.0 sec. user=mdettweiler [2013-05-16 20:13:55] 917*2^1245974-1 is not prime. Res64: 46CC9FDA621E9D25 Time : 0.0 sec. user=mdettweiler [2013-05-16 20:13:56] 923*2^1245974-1 is not prime. Res64: 9BDE4EE13F33905C Time : 0.0 sec. user=mdettweiler [2013-05-16 20:16:48] 953*2^1245974-1 is not prime. Res64: 9E3B6CB3327C273F Time : 0.0 sec. user=mdettweiler [2013-05-16 20:16:49] 987*2^1245974-1 is not prime. Res64: ADA3274D1886A635 Time : 0.0 sec. user=mdettweiler [2013-05-16 20:31:43] 675*2^1245975-1 is not prime. Res64: 5F0915D984CA8E76 Time : 0.0 sec. user=mdettweiler [2013-05-16 20:31:43] 739*2^1245975-1 is not prime. Res64: F027F5D8EDBCC07C Time : 0.0 sec. user=mdettweiler [2013-05-16 20:34:32] 741*2^1245975-1 is not prime. Res64: ADCEB953097C15D3 Time : 0.0 sec. user=mdettweiler [2013-05-16 20:34:32] 885*2^1245975-1 is not prime. Res64: 10EA9508233780CC Time : 0.0 sec. user=mdettweiler [2013-05-16 20:49:33] 603*2^1245976-1 is not prime. Res64: 020BD86CEAEEB8B2 Time : 0.0 sec. user=mdettweiler [2013-05-16 20:52:22] 743*2^1245976-1 is not prime. Res64: B853DDD96FE74CEF Time : 0.0 sec. user=mdettweiler [2013-05-16 21:20:45] 905*2^1245976-1 is not prime. Res64: 9437098D5B5EF99C Time : 0.0 sec. user=mdettweiler [2013-05-16 21:38:44] 939*2^1245976-1 is not prime. Res64: 8F5402ECEFC80E20 Time : 0.0 sec. user=mdettweiler [2013-05-16 21:46:28] 689*2^1245976-1 is not prime. Res64: D9A3DA5EF1FCB53C Time : 0.0 sec. user=mdettweiler [2013-05-16 21:57:01] 965*2^1245976-1 is not prime. Res64: B92B739E3A4E2CF4 Time : 0.0 sec. user=mdettweiler [2013-05-16 22:04:14] 675*2^1245977-1 is not prime. Res64: E5AE65AA9566FC85 Time : 0.0 sec. user=mdettweiler [2013-05-16 22:04:15] 829*2^1245977-1 is not prime. Res64: F07594E7388EA52A Time : 0.0 sec. user=mdettweiler [2013-05-16 22:14:48] 885*2^1245977-1 is not prime. Res64: 0E3D0C57E16075EA Time : 0.0 sec. user=mdettweiler [2013-05-16 22:14:48] 925*2^1245977-1 is not prime. Res64: D5165778E069ADE2 Time : 0.0 sec. user=mdettweiler [2013-05-16 22:22:26] 711*2^1245978-1 is not prime. Res64: 937813C49CFF86DF Time : 0.0 sec. user=mdettweiler [2013-05-16 22:32:28] 639*2^1245979-1 is not prime. Res64: AB0EC2B49CC020D3 Time : 0.0 sec. user=mdettweiler [2013-05-16 22:32:28] 685*2^1245979-1 is not prime. Res64: 945CCED63383D113 Time : 0.0 sec. user=mdettweiler [2013-05-16 22:48:45] 713*2^1245978-1 is not prime. Res64: 25EE67E0C153D127 Time : 0.0 sec. user=mdettweiler [2013-05-16 22:50:08] 793*2^1245979-1 is not prime. Res64: 48900C5AA036F051 Time : 0.0 sec. user=mdettweiler [2013-05-16 22:50:09] 801*2^1245979-1 is not prime. Res64: 8515B232CCA3E2C8 Time : 0.0 sec. user=mdettweiler [2013-05-16 23:08:03] 873*2^1245979-1 is not prime. Res64: 0BC8B805AC2B087D Time : 0.0 sec. user=mdettweiler [2013-05-16 23:32:41] 677*2^1245980-1 is not prime. Res64: 2FC2D1CF70467E8F Time : 0.0 sec. user=mdettweiler [2013-05-16 23:37:40] 633*2^1245980-1 is not prime. Res64: AC743D88B66A89AF Time : 0.0 sec. user=mdettweiler [2013-05-16 23:55:45] 627*2^1245981-1 is not prime. Res64: E4791A1FD183DD8F Time : 0.0 sec.