user=mdettweiler [2013-03-20 00:08:18] 609*2^1243029-1 is not prime. Res64: D6CE7BBB6D6720D5 Time : 0.0 sec. user=mdettweiler [2013-03-20 00:08:19] 711*2^1243029-1 is not prime. Res64: CDDCB3AEC0133605 Time : 0.0 sec. user=vaughan [2013-03-20 00:12:38] 773*2^1243028-1 is not prime. Res64: CE330F2B063B2B22 Time : 0.0 sec. user=mdettweiler [2013-03-20 00:17:16] 945*2^1243029-1 is not prime. Res64: C5B966F482FA0033 Time : 0.0 sec. user=mdettweiler [2013-03-20 00:17:17] 949*2^1243029-1 is not prime. Res64: 7D4C8784EAAB7776 Time : 0.0 sec. user=mdettweiler [2013-03-20 00:25:44] 955*2^1243029-1 is not prime. Res64: 7469A26DEF244A9F Time : 0.0 sec. user=mdettweiler [2013-03-20 00:25:44] 961*2^1243029-1 is not prime. Res64: 8792FF37EF86BF94 Time : 0.0 sec. user=mdettweiler [2013-03-20 00:34:41] 987*2^1243029-1 is not prime. Res64: A85746C054AADCC3 Time : 0.0 sec. user=mdettweiler [2013-03-20 00:34:42] 603*2^1243030-1 is not prime. Res64: F209E29C444CDAD3 Time : 0.0 sec. user=mdettweiler [2013-03-20 00:43:09] 653*2^1243030-1 is not prime. Res64: 86AABC622C5244B9 Time : 0.0 sec. user=mdettweiler [2013-03-20 00:43:09] 707*2^1243030-1 is not prime. Res64: 43987021CFC71E9D Time : 0.0 sec. user=mdettweiler [2013-03-20 00:52:05] 783*2^1243030-1 is not prime. Res64: 9E896DBF4C78ED44 Time : 0.0 sec. user=mdettweiler [2013-03-20 00:52:06] 825*2^1243030-1 is not prime. Res64: 4DEA2BB80903B8C4 Time : 0.0 sec. user=vaughan [2013-03-20 00:56:47] 969*2^1243029-1 is not prime. Res64: 919DAAF42532514B Time : 0.0 sec. user=juhehe [2013-03-20 00:56:47] 861*2^1243029-1 is not prime. Res64: 2629F6C145633E0C Time : 0.0 sec. user=juhehe [2013-03-20 00:58:26] 959*2^1243028-1 is not prime. Res64: EBCA4150B63B7EFE Time : 0.0 sec. user=mdettweiler [2013-03-20 01:00:59] 843*2^1243030-1 is not prime. Res64: 1A13C158CF233821 Time : 0.0 sec. user=mdettweiler [2013-03-20 01:01:00] 873*2^1243030-1 is not prime. Res64: 5C67817E19B02774 Time : 0.0 sec. user=mdettweiler [2013-03-20 01:10:10] 957*2^1243030-1 is not prime. Res64: B2557C6B30C43B75 Time : 0.0 sec. user=mdettweiler [2013-03-20 01:10:11] 651*2^1243031-1 is not prime. Res64: 8474590DC0ED2377 Time : 0.0 sec. user=mdettweiler [2013-03-20 01:18:49] 825*2^1243031-1 is not prime. Res64: 32EA66BFE6BA5F25 Time : 0.0 sec. user=mdettweiler [2013-03-20 01:18:49] 945*2^1243031-1 is not prime. Res64: 09D8DFCE32ABF766 Time : 0.0 sec. user=mdettweiler [2013-03-20 01:27:34] 973*2^1243031-1 is not prime. Res64: F45CD87117591A62 Time : 0.0 sec. user=mdettweiler [2013-03-20 01:27:35] 723*2^1243032-1 is not prime. Res64: AC054BA4CBC9E827 Time : 0.0 sec. user=mdettweiler [2013-03-20 01:36:13] 797*2^1243032-1 is not prime. Res64: 6C8EF7A34A0609AC Time : 0.0 sec. user=mdettweiler [2013-03-20 01:36:13] 849*2^1243032-1 is not prime. Res64: 8CE1C3984D95CCF6 Time : 0.0 sec. user=mdettweiler [2013-03-20 01:44:58] 903*2^1243032-1 is not prime. Res64: A8BE8E4ABA2CA1FA Time : 0.0 sec. user=mdettweiler [2013-03-20 01:44:59] 609*2^1243033-1 is not prime. Res64: 4D260EEFB92975E1 Time : 0.0 sec. user=mdettweiler [2013-03-20 01:53:37] 649*2^1243033-1 is not prime. Res64: AEF644792B75DF46 Time : 0.0 sec. user=mdettweiler [2013-03-20 01:53:38] 721*2^1243033-1 is not prime. Res64: F05976E5A1140563 Time : 0.0 sec. user=mdettweiler [2013-03-20 02:02:24] 919*2^1243033-1 is not prime. Res64: 33923EBB4C49ED5B Time : 0.0 sec. user=mdettweiler [2013-03-20 02:02:25] 605*2^1243034-1 is not prime. Res64: 064266F570DB8ECC Time : 0.0 sec. user=vaughan [2013-03-20 02:10:33] 625*2^1243033-1 is not prime. Res64: C719EDA6BA225C37 Time : 0.0 sec. user=mdettweiler [2013-03-20 02:11:00] 683*2^1243034-1 is not prime. Res64: AD2D40F607C4B04D Time : 0.0 sec. user=mdettweiler [2013-03-20 02:11:01] 705*2^1243034-1 is not prime. Res64: 3192B31EF9613648 Time : 0.0 sec. user=mdettweiler [2013-03-20 02:19:49] 875*2^1243034-1 is not prime. Res64: 7CDB56AAC2B36D4D Time : 0.0 sec. user=mdettweiler [2013-03-20 02:19:49] 923*2^1243034-1 is not prime. Res64: 0C1BADB985C4B8E7 Time : 0.0 sec. user=mdettweiler [2013-03-20 02:28:24] 625*2^1243035-1 is not prime. Res64: B73043B5456E911C Time : 0.0 sec. user=mdettweiler [2013-03-20 02:28:25] 723*2^1243035-1 is not prime. Res64: 8B0374FE8CD71F41 Time : 0.0 sec. user=mdettweiler [2013-03-20 02:37:13] 795*2^1243035-1 is not prime. Res64: 905DD0E656319620 Time : 0.0 sec. user=mdettweiler [2013-03-20 02:37:15] 819*2^1243035-1 is not prime. Res64: ACB5FE1D586817E8 Time : 0.0 sec. user=mdettweiler [2013-03-20 02:45:50] 853*2^1243035-1 is not prime. Res64: AF544F868E362A06 Time : 0.0 sec. user=mdettweiler [2013-03-20 02:45:51] 895*2^1243035-1 is not prime. Res64: 6203E7FE59E7AFB2 Time : 0.0 sec. user=vaughan [2013-03-20 02:53:48] 995*2^1243034-1 is not prime. Res64: C7F02DF7D46A6484 Time : 0.0 sec. user=mdettweiler [2013-03-20 02:54:39] 913*2^1243035-1 is not prime. Res64: BB7141C4CFEE6CB8 Time : 0.0 sec. user=mdettweiler [2013-03-20 02:54:40] 955*2^1243035-1 is not prime. Res64: F61C72EB07C7D766 Time : 0.0 sec. user=mdettweiler [2013-03-20 03:03:20] 609*2^1243036-1 is not prime. Res64: 055B6EE6FD3C86EA Time : 0.0 sec. user=mdettweiler [2013-03-20 03:03:22] 623*2^1243036-1 is not prime. Res64: B2B0302C2F2B0EEA Time : 0.0 sec. user=juhehe [2013-03-20 03:03:35] 857*2^1243034-1 is not prime. Res64: 75CB0C6073519AD1 Time : 0.0 sec. user=juhehe [2013-03-20 03:04:03] 861*2^1243034-1 is not prime. Res64: 001D19F50A6771BD Time : 0.0 sec. user=mdettweiler [2013-03-20 03:12:04] 779*2^1243036-1 is not prime. Res64: 73AA8271A5C6C921 Time : 0.0 sec. user=mdettweiler [2013-03-20 03:12:05] 833*2^1243036-1 is not prime. Res64: 75E941C9BEC706D2 Time : 0.0 sec. user=mdettweiler [2013-03-20 03:20:50] 855*2^1243036-1 is not prime. Res64: 5128DD32FAFEE80C Time : 0.0 sec. user=mdettweiler [2013-03-20 03:20:51] 953*2^1243036-1 is not prime. Res64: D147819CEA7CEF4A Time : 0.0 sec. user=mdettweiler [2013-03-20 03:29:30] 607*2^1243037-1 is not prime. Res64: 432F55D54F0B135C Time : 0.0 sec. user=mdettweiler [2013-03-20 03:29:30] 675*2^1243037-1 is not prime. Res64: FA1E8D751E255AE7 Time : 0.0 sec. user=vaughan [2013-03-20 03:32:01] 773*2^1243036-1 is not prime. Res64: 33529D23E874F150 Time : 0.0 sec. user=mdettweiler [2013-03-20 03:38:14] 715*2^1243037-1 is not prime. Res64: 1946CAE1AD92A0DD Time : 0.0 sec. user=mdettweiler [2013-03-20 03:38:15] 729*2^1243037-1 is not prime. Res64: 92F3CF5A15210BAF Time : 0.0 sec. user=mdettweiler [2013-03-20 03:46:54] 759*2^1243037-1 is not prime. Res64: E571662C3CFAC91D Time : 0.0 sec. user=mdettweiler [2013-03-20 03:46:54] 871*2^1243037-1 is not prime. Res64: FBC6183A946F485F Time : 0.0 sec. user=mdettweiler [2013-03-20 03:55:39] 939*2^1243037-1 is not prime. Res64: 0AE8985E8E2D8799 Time : 0.0 sec. user=mdettweiler [2013-03-20 03:55:40] 981*2^1243037-1 is not prime. Res64: BBD9F69347DBC175 Time : 0.0 sec. user=mdettweiler [2013-03-20 04:04:20] 611*2^1243038-1 is not prime. Res64: 1E4C46F682B806C9 Time : 0.0 sec. user=mdettweiler [2013-03-20 04:04:21] 627*2^1243038-1 is not prime. Res64: 7C2E8910805E2F69 Time : 0.0 sec. user=vaughan [2013-03-20 04:10:15] 925*2^1243037-1 is not prime. Res64: 5F86ABEB2D2CE7DB Time : 0.0 sec. user=mdettweiler [2013-03-20 04:13:03] 683*2^1243038-1 is not prime. Res64: ACFF04664266C7C2 Time : 0.0 sec. user=mdettweiler [2013-03-20 04:13:04] 821*2^1243038-1 is not prime. Res64: 56CD1FCA18F75680 Time : 0.0 sec. user=mdettweiler [2013-03-20 04:21:46] 723*2^1243039-1 is not prime. Res64: 552CEEF2974EC584 Time : 0.0 sec. user=mdettweiler [2013-03-20 04:21:47] 729*2^1243039-1 is not prime. Res64: 7E265B91CB7300A5 Time : 0.0 sec. user=mdettweiler [2013-03-20 04:30:29] 755*2^1243040-1 is not prime. Res64: 5E38CC0F97466443 Time : 0.0 sec. user=mdettweiler [2013-03-20 04:30:29] 785*2^1243040-1 is not prime. Res64: 521928BC0DBA1228 Time : 0.0 sec. user=mdettweiler [2013-03-20 04:39:12] 825*2^1243040-1 is not prime. Res64: E580AB771ABB7CC2 Time : 0.0 sec. user=mdettweiler [2013-03-20 04:39:13] 685*2^1243041-1 is not prime. Res64: 30850684FE112D88 Time : 0.0 sec. user=mdettweiler [2013-03-20 04:47:55] 717*2^1243041-1 is not prime. Res64: C1FE988EFF6D3E18 Time : 0.0 sec. user=mdettweiler [2013-03-20 04:47:55] 735*2^1243041-1 is not prime. Res64: D2E39AD35B280582 Time : 0.0 sec. user=vaughan [2013-03-20 04:48:27] 933*2^1243039-1 is not prime. Res64: F30F121DDFA5DFF3 Time : 0.0 sec. user=mdettweiler [2013-03-20 04:56:41] 829*2^1243041-1 is not prime. Res64: 89F0177FE9D06DC0 Time : 0.0 sec. user=mdettweiler [2013-03-20 04:56:41] 865*2^1243041-1 is not prime. Res64: E3AA8A559759CA9E Time : 0.0 sec. user=mdettweiler [2013-03-20 05:05:19] 907*2^1243041-1 is not prime. Res64: 2F65B323DE97F9CA Time : 0.0 sec. user=mdettweiler [2013-03-20 05:05:20] 969*2^1243041-1 is not prime. Res64: 319B42F302D5744D Time : 0.0 sec. user=juhehe [2013-03-20 05:09:17] 831*2^1243039-1 is not prime. Res64: 073EC3F1B63F07C5 Time : 0.0 sec. user=mdettweiler [2013-03-20 05:14:05] 843*2^1243042-1 is not prime. Res64: 08A52C19B889EF21 Time : 0.0 sec. user=mdettweiler [2013-03-20 05:14:06] 975*2^1243042-1 is not prime. Res64: C46DFCE4FB701B8D Time : 0.0 sec. user=mdettweiler [2013-03-20 05:22:45] 609*2^1243043-1 is not prime. Res64: BED09DB4A2799DDC Time : 0.0 sec. user=mdettweiler [2013-03-20 05:22:45] 621*2^1243043-1 is not prime. Res64: D2240E683DD2A493 Time : 0.0 sec. user=vaughan [2013-03-20 05:26:39] 813*2^1243042-1 is not prime. Res64: 5E83F944A2E5DD46 Time : 0.0 sec. user=mdettweiler [2013-03-20 05:31:30] 813*2^1243043-1 is not prime. Res64: 57B7AB1701AF09A3 Time : 0.0 sec. user=mdettweiler [2013-03-20 05:31:31] 915*2^1243043-1 is not prime. Res64: C34204F483E75C52 Time : 0.0 sec. user=mdettweiler [2013-03-20 05:40:09] 623*2^1243044-1 is not prime. Res64: BCBC4629A13BE471 Time : 0.0 sec. user=mdettweiler [2013-03-20 05:40:09] 657*2^1243044-1 is not prime. Res64: EC19CD050DC60205 Time : 0.0 sec. user=mdettweiler [2013-03-20 05:48:55] 909*2^1243044-1 is not prime. Res64: 4FAEDA47868C13CF Time : 0.0 sec. user=mdettweiler [2013-03-20 05:48:56] 799*2^1243045-1 is not prime. Res64: 4125BC4459C91CF0 Time : 0.0 sec. user=mdettweiler [2013-03-20 05:57:33] 895*2^1243045-1 is not prime. Res64: AE3062CA8B41A469 Time : 0.0 sec. user=mdettweiler [2013-03-20 05:57:34] 623*2^1243046-1 is not prime. Res64: BD5BDCF3F85C4904 Time : 0.0 sec. user=vaughan [2013-03-20 06:04:50] 843*2^1243044-1 is not prime. Res64: D5B8E890928CD06A Time : 0.0 sec. user=mdettweiler [2013-03-20 06:06:21] 635*2^1243046-1 is not prime. Res64: ED4C9E4C19E25797 Time : 0.0 sec. user=mdettweiler [2013-03-20 06:06:22] 707*2^1243046-1 is not prime. Res64: 3EEE01F3E021CC33 Time : 0.0 sec. user=juhehe [2013-03-20 06:11:55] 801*2^1243043-1 is not prime. Res64: 80B4E91CE4D8E172 Time : 0.0 sec. user=mdettweiler [2013-03-20 06:14:58] 743*2^1243046-1 is not prime. Res64: D7B084EECA357BE3 Time : 0.0 sec. user=mdettweiler [2013-03-20 06:14:58] 747*2^1243046-1 is not prime. Res64: 4832F2CE3AF6F6BD Time : 0.0 sec. user=mdettweiler [2013-03-20 06:23:47] 815*2^1243046-1 is not prime. Res64: 56D510C3EC1B323C Time : 0.0 sec. user=mdettweiler [2013-03-20 06:23:47] 831*2^1243046-1 is not prime. Res64: 9E62FD3B89BCC092 Time : 0.0 sec. user=mdettweiler [2013-03-20 06:32:24] 669*2^1243047-1 is not prime. Res64: 942715BDEC9D852E Time : 0.0 sec. user=mdettweiler [2013-03-20 06:32:24] 735*2^1243047-1 is not prime. Res64: 607F882D10269342 Time : 0.0 sec. user=mdettweiler [2013-03-20 06:41:12] 751*2^1243047-1 is not prime. Res64: 7847D79373FB560E Time : 0.0 sec. user=mdettweiler [2013-03-20 06:41:13] 793*2^1243047-1 is not prime. Res64: BE0CE707AEEA36B9 Time : 0.0 sec. user=vaughan [2013-03-20 06:43:05] 755*2^1243046-1 is not prime. Res64: B3B3D7AEDF7D20B0 Time : 0.0 sec. user=mdettweiler [2013-03-20 06:49:48] 805*2^1243047-1 is not prime. Res64: 381A399D7E8966C1 Time : 0.0 sec. user=mdettweiler [2013-03-20 06:49:49] 955*2^1243047-1 is not prime. Res64: ABD2487E3DFB5652 Time : 0.0 sec. user=mdettweiler [2013-03-20 06:58:38] 979*2^1243047-1 is not prime. Res64: F4ACB04B81BB2B28 Time : 0.0 sec. user=mdettweiler [2013-03-20 06:58:39] 985*2^1243047-1 is not prime. Res64: C53A9A46FA66002D Time : 0.0 sec. user=mdettweiler [2013-03-20 07:07:13] 755*2^1243048-1 is not prime. Res64: CE723583D7056E40 Time : 0.0 sec. user=mdettweiler [2013-03-20 07:07:14] 765*2^1243048-1 is not prime. Res64: 94BD8C9B88FA7AAD Time : 0.0 sec. user=juhehe [2013-03-20 07:14:49] 661*2^1243047-1 is not prime. Res64: B0AE07DC35EA6268 Time : 0.0 sec. user=mdettweiler [2013-03-20 07:16:03] 839*2^1243048-1 is not prime. Res64: 1D71754CB162AC3B Time : 0.0 sec. user=mdettweiler [2013-03-20 07:16:04] 845*2^1243048-1 is not prime. Res64: 4C413F1D3A9FC6CD Time : 0.0 sec. user=vaughan [2013-03-20 07:21:16] 635*2^1243048-1 is not prime. Res64: 39653041979EF9A2 Time : 0.0 sec. user=mdettweiler [2013-03-20 07:24:39] 897*2^1243048-1 is not prime. Res64: A0A8E74C62121157 Time : 0.0 sec. user=mdettweiler [2013-03-20 07:24:39] 721*2^1243049-1 is not prime. Res64: FE14165D038B520B Time : 0.0 sec. user=mdettweiler [2013-03-20 07:33:28] 939*2^1243049-1 is not prime. Res64: 9C6B123A47CCF630 Time : 0.0 sec. user=mdettweiler [2013-03-20 07:33:29] 967*2^1243049-1 is not prime. Res64: DF437052C179974E Time : 0.0 sec. user=mdettweiler [2013-03-20 07:42:03] 709*2^1243051-1 is not prime. Res64: 93360FCE82EED2A4 Time : 0.0 sec. user=mdettweiler [2013-03-20 07:42:04] 769*2^1243051-1 is not prime. Res64: 636DA22ADF034E21 Time : 0.0 sec. user=mdettweiler [2013-03-20 07:50:54] 811*2^1243051-1 is not prime. Res64: AA00FC6303C18B98 Time : 0.0 sec. user=mdettweiler [2013-03-20 07:50:54] 843*2^1243051-1 is not prime. Res64: EA1778CB7CF96BFE Time : 0.0 sec. user=mdettweiler [2013-03-20 07:59:28] 855*2^1243051-1 is not prime. Res64: AE6D7053418D28C4 Time : 0.0 sec. user=mdettweiler [2013-03-20 07:59:29] 859*2^1243051-1 is not prime. Res64: 8744C8820BF29C04 Time : 0.0 sec. user=vaughan [2013-03-20 08:04:33] 987*2^1243049-1 is not prime. Res64: B4444E2E35F59F23 Time : 0.0 sec. user=mdettweiler [2013-03-20 08:08:18] 873*2^1243051-1 is not prime. Res64: F9574C033C71D145 Time : 0.0 sec. user=mdettweiler [2013-03-20 08:08:19] 951*2^1243051-1 is not prime. Res64: 6416DC843BD90C98 Time : 0.0 sec. user=mdettweiler [2013-03-20 08:16:53] 969*2^1243051-1 is not prime. Res64: 75ED7F82AD603ADE Time : 0.0 sec. user=mdettweiler [2013-03-20 08:16:53] 993*2^1243051-1 is not prime. Res64: 43607E73C4778270 Time : 0.0 sec. user=juhehe [2013-03-20 08:17:08] 729*2^1243049-1 is not prime. Res64: EDE8AD56E8F9006E Time : 0.0 sec. user=mdettweiler [2013-03-20 08:25:45] 603*2^1243052-1 is not prime. Res64: 2DD8FE64644A97F9 Time : 0.0 sec. user=mdettweiler [2013-03-20 08:25:45] 615*2^1243052-1 is not prime. Res64: D9CC3422B5ED21F7 Time : 0.0 sec. user=mdettweiler [2013-03-20 08:34:18] 693*2^1243052-1 is not prime. Res64: 7D7D8413BB239E21 Time : 0.0 sec. user=mdettweiler [2013-03-20 08:34:18] 717*2^1243052-1 is not prime. Res64: B46A2DDD19F681EE Time : 0.0 sec. user=mdettweiler [2013-03-20 08:43:10] 827*2^1243052-1 is not prime. Res64: AA4B67798E8E4322 Time : 0.0 sec. user=mdettweiler [2013-03-20 08:43:11] 837*2^1243052-1 is not prime. Res64: 4D79779962CF8840 Time : 0.0 sec. user=vaughan [2013-03-20 08:47:52] 999*2^1243051-1 is not prime. Res64: 47FF6D323B58A282 Time : 0.0 sec. user=mdettweiler [2013-03-20 08:51:42] 873*2^1243052-1 is not prime. Res64: 6115432B5B214A91 Time : 0.0 sec. user=mdettweiler [2013-03-20 08:51:43] 875*2^1243052-1 is not prime. Res64: EADD91E981F524B3 Time : 0.0 sec. user=mdettweiler [2013-03-20 09:00:37] 897*2^1243052-1 is not prime. Res64: 928A6AE62F3CDFB9 Time : 0.0 sec. user=mdettweiler [2013-03-20 09:00:38] 769*2^1243053-1 is not prime. Res64: 87F26CFACAF7DB26 Time : 0.0 sec. user=mdettweiler [2013-03-20 09:09:07] 829*2^1243053-1 is not prime. Res64: 0585D9BD6D8B2F92 Time : 0.0 sec. user=mdettweiler [2013-03-20 09:09:09] 915*2^1243053-1 is not prime. Res64: 10EA1384D94FE3DD Time : 0.0 sec. user=mdettweiler [2013-03-20 09:18:06] 605*2^1243054-1 is not prime. Res64: BE18A67EE62BE756 Time : 0.0 sec. user=mdettweiler [2013-03-20 09:18:07] 687*2^1243054-1 is not prime. Res64: E2E1412D75E4EBC0 Time : 0.0 sec. user=juhehe [2013-03-20 09:19:53] 657*2^1243052-1 is not prime. Res64: 4D35CDD475920BE5 Time : 0.0 sec. user=vaughan [2013-03-20 09:26:01] 789*2^1243053-1 is not prime. Res64: 4DDB65369346369C Time : 0.0 sec. user=mdettweiler [2013-03-20 09:26:37] 695*2^1243054-1 is not prime. Res64: 1F972367EC52B722 Time : 0.0 sec. user=mdettweiler [2013-03-20 09:26:38] 765*2^1243054-1 is not prime. Res64: A6AD71E80FA7DA23 Time : 0.0 sec. user=mdettweiler [2013-03-20 09:35:39] 783*2^1243054-1 is not prime. Res64: 4EAF4F58A5903987 Time : 0.0 sec. user=mdettweiler [2013-03-20 09:35:39] 833*2^1243054-1 is not prime. Res64: 701AC97AA5EF1364 Time : 0.0 sec. user=mdettweiler [2013-03-20 09:44:13] 865*2^1243055-1 is not prime. Res64: EA1A7A7EF4E23766 Time : 0.0 sec. user=mdettweiler [2013-03-20 09:44:14] 991*2^1243055-1 is not prime. Res64: FACE477B6CEA4E2C Time : 0.0 sec. user=mdettweiler [2013-03-20 09:53:11] 635*2^1243056-1 is not prime. Res64: 69158003E03FE744 Time : 0.0 sec. user=mdettweiler [2013-03-20 09:53:12] 669*2^1243056-1 is not prime. Res64: E3AEAF95C671C9FE Time : 0.0 sec. user=mdettweiler [2013-03-20 10:01:45] 689*2^1243056-1 is not prime. Res64: 39258FD058EA4FF5 Time : 0.0 sec. user=mdettweiler [2013-03-20 10:01:46] 707*2^1243056-1 is not prime. Res64: 1B96A5259A9E6474 Time : 0.0 sec. user=vaughan [2013-03-20 10:04:11] 609*2^1243055-1 is not prime. Res64: 46BDF5021B2A4125 Time : 0.0 sec. user=mdettweiler [2013-03-20 10:10:43] 723*2^1243056-1 is not prime. Res64: 75C42BA07EF77011 Time : 0.0 sec. user=mdettweiler [2013-03-20 10:10:43] 809*2^1243056-1 is not prime. Res64: 763EA989662063D7 Time : 0.0 sec. user=mdettweiler [2013-03-20 10:19:19] 875*2^1243056-1 is not prime. Res64: 594EB40EFFF47E68 Time : 0.0 sec. user=mdettweiler [2013-03-20 10:19:20] 899*2^1243056-1 is not prime. Res64: DAEB5E36C1D3DDBB Time : 0.0 sec. user=juhehe [2013-03-20 10:23:09] 915*2^1243054-1 is not prime. Res64: C368FD7507C31715 Time : 0.0 sec. user=mdettweiler [2013-03-20 10:28:14] 625*2^1243057-1 is not prime. Res64: 247F6B1C6A033606 Time : 0.0 sec. user=mdettweiler [2013-03-20 10:28:14] 651*2^1243057-1 is not prime. Res64: 2B0B0DC29FC6F485 Time : 0.0 sec. user=mdettweiler [2013-03-20 10:36:50] 885*2^1243057-1 is not prime. Res64: 3376663600891507 Time : 0.0 sec. user=mdettweiler [2013-03-20 10:36:50] 955*2^1243057-1 is not prime. Res64: C591FDAB21274B07 Time : 0.0 sec. user=mdettweiler [2013-03-20 10:45:46] 843*2^1243058-1 is not prime. Res64: EE2FB9058D4EA361 Time : 0.0 sec. user=mdettweiler [2013-03-20 10:45:46] 619*2^1243059-1 is not prime. Res64: CC1B6474C6BD71EA Time : 0.0 sec. user=vaughan [2013-03-20 10:47:29] 975*2^1243056-1 is not prime. Res64: 820D497FDDC02E21 Time : 0.0 sec. user=mdettweiler [2013-03-20 10:54:21] 721*2^1243059-1 is not prime. Res64: 97DC9CDF0C61E70C Time : 0.0 sec. user=mdettweiler [2013-03-20 10:54:21] 801*2^1243059-1 is not prime. Res64: 22872094AFAAAE58 Time : 0.0 sec. user=mdettweiler [2013-03-20 11:03:18] 835*2^1243059-1 is not prime. Res64: F8450AE023E038BE Time : 0.0 sec. user=mdettweiler [2013-03-20 11:03:19] 943*2^1243059-1 is not prime. Res64: EF988FE03EE6D315 Time : 0.0 sec. user=mdettweiler [2013-03-20 11:11:54] 609*2^1243060-1 is not prime. Res64: 42EC21B69CFBC2EE Time : 0.0 sec. user=mdettweiler [2013-03-20 11:11:55] 653*2^1243060-1 is not prime. Res64: 5A3CA6D4B6A23B74 Time : 0.0 sec. user=mdettweiler [2013-03-20 11:20:52] 765*2^1243060-1 is not prime. Res64: 5FCBE71B947AEF8B Time : 0.0 sec. user=mdettweiler [2013-03-20 11:20:52] 797*2^1243060-1 is not prime. Res64: 5C63F9903FA38F43 Time : 0.0 sec. user=juhehe [2013-03-20 11:25:39] 825*2^1243058-1 is not prime. Res64: 648B7BD3653663BA Time : 0.0 sec. user=mdettweiler [2013-03-20 11:29:27] 827*2^1243060-1 is not prime. Res64: 00345BCA910509E5 Time : 0.0 sec. user=mdettweiler [2013-03-20 11:29:27] 843*2^1243060-1 is not prime. Res64: FB0B76A74C9B9961 Time : 0.0 sec. user=vaughan [2013-03-20 11:30:42] 955*2^1243059-1 is not prime. Res64: 1AC35FA18F8DA8B6 Time : 0.0 sec. user=mdettweiler [2013-03-20 11:38:27] 873*2^1243060-1 is not prime. Res64: 1A5D455CEB056CD0 Time : 0.0 sec. user=mdettweiler [2013-03-20 11:38:27] 927*2^1243060-1 is not prime. Res64: 5ACBCF9FB89B4B76 Time : 0.0 sec. user=mdettweiler [2013-03-20 11:47:06] 657*2^1243061-1 is not prime. Res64: BB858F2B2FD406B4 Time : 0.0 sec. user=mdettweiler [2013-03-20 11:47:06] 825*2^1243061-1 is not prime. Res64: 8AD226FE458EE74C Time : 0.0 sec. user=mdettweiler [2013-03-20 11:56:28] 627*2^1243062-1 is not prime. Res64: FE484F24A3CE492A Time : 0.0 sec. user=mdettweiler [2013-03-20 11:56:29] 671*2^1243062-1 is not prime. Res64: 3E6797CA9A429A7D Time : 0.0 sec. user=mdettweiler [2013-03-20 12:06:17] 737*2^1243062-1 is not prime. Res64: DF7426EBB0419A06 Time : 0.0 sec. user=mdettweiler [2013-03-20 12:06:18] 807*2^1243062-1 is not prime. Res64: DA678FADE0E6DC4B Time : 0.0 sec. user=vaughan [2013-03-20 12:08:51] 621*2^1243062-1 is not prime. Res64: 07AF61D1B25FC647 Time : 0.0 sec. user=mdettweiler [2013-03-20 12:15:40] 977*2^1243062-1 is not prime. Res64: 21CE86A1BE3472D9 Time : 0.0 sec. user=mdettweiler [2013-03-20 12:15:40] 741*2^1243063-1 is not prime. Res64: 047F333E4FA5C661 Time : 0.0 sec. user=mdettweiler [2013-03-20 12:24:35] 775*2^1243063-1 is not prime. Res64: E74954B4766CEFCA Time : 0.0 sec. user=mdettweiler [2013-03-20 12:24:36] 883*2^1243063-1 is not prime. Res64: 166F37578909304C Time : 0.0 sec. user=mdettweiler [2013-03-20 12:33:22] 605*2^1243064-1 is not prime. Res64: 88543E405EC758E6 Time : 0.0 sec. user=mdettweiler [2013-03-20 12:33:23] 753*2^1243064-1 is not prime. Res64: AC912FA3239C71C3 Time : 0.0 sec. user=juhehe [2013-03-20 12:36:27] 975*2^1243060-1 is not prime. Res64: 56F88E1C3BE3F07C Time : 0.0 sec. user=mdettweiler [2013-03-20 12:42:17] 755*2^1243064-1 is not prime. Res64: 22B19046ECD2309E Time : 0.0 sec. user=mdettweiler [2013-03-20 12:42:17] 759*2^1243064-1 is not prime. Res64: E0B0C0BE83CC0D39 Time : 0.0 sec. user=mdettweiler [2013-03-20 12:51:05] 789*2^1243064-1 is not prime. Res64: D2F2634C04B0FE12 Time : 0.0 sec. user=mdettweiler [2013-03-20 12:51:06] 795*2^1243064-1 is not prime. Res64: 74F4C73681E3C24D Time : 0.0 sec. user=vaughan [2013-03-20 12:52:07] 985*2^1243063-1 is not prime. Res64: 7FC4DAFDEE2A938A Time : 0.0 sec. user=mdettweiler [2013-03-20 12:59:59] 825*2^1243064-1 is not prime. Res64: 7E1E731AC5595571 Time : 0.0 sec. user=mdettweiler [2013-03-20 13:00:00] 915*2^1243064-1 is not prime. Res64: 4ECCD77753FD7F5F Time : 0.0 sec. user=mdettweiler [2013-03-20 13:08:48] 657*2^1243065-1 is not prime. Res64: 309C71FEE8052BD9 Time : 0.0 sec. user=mdettweiler [2013-03-20 13:08:49] 717*2^1243065-1 is not prime. Res64: 8E61DB11390509CF Time : 0.0 sec. user=mdettweiler [2013-03-20 13:17:45] 787*2^1243065-1 is not prime. Res64: E59CB0FF4AEA5822 Time : 0.0 sec. user=mdettweiler [2013-03-20 13:17:45] 921*2^1243065-1 is not prime. Res64: 8F3C75B4AD5295FB Time : 0.0 sec. user=mdettweiler [2013-03-20 13:26:32] 617*2^1243066-1 is not prime. Res64: 7E155B02AE1DB71A Time : 0.0 sec. user=mdettweiler [2013-03-20 13:26:32] 735*2^1243066-1 is not prime. Res64: EDFFE95BA9BC286D Time : 0.0 sec. user=vaughan [2013-03-20 13:30:18] 781*2^1243065-1 is not prime. Res64: 1EB20276715C2552 Time : 0.0 sec. user=juhehe [2013-03-20 13:32:15] 773*2^1243064-1 is not prime. Res64: 27D92A735D236814 Time : 0.0 sec. user=mdettweiler [2013-03-20 13:35:25] 755*2^1243066-1 is not prime. Res64: DFAEBE758176AE2E Time : 0.0 sec. user=mdettweiler [2013-03-20 13:35:25] 873*2^1243066-1 is not prime. Res64: 5EF9784C80CC793B Time : 0.0 sec. user=mdettweiler [2013-03-20 13:44:12] 911*2^1243066-1 is not prime. Res64: 76D2D154FBA60492 Time : 0.0 sec. user=mdettweiler [2013-03-20 13:44:12] 993*2^1243066-1 is not prime. Res64: 30F35042057A48A7 Time : 0.0 sec. user=mdettweiler [2013-03-20 13:53:04] 871*2^1243067-1 is not prime. Res64: F9C384C249EDA785 Time : 0.0 sec. user=mdettweiler [2013-03-20 13:53:04] 939*2^1243067-1 is not prime. Res64: 8096AD853895E81F Time : 0.0 sec. user=mdettweiler [2013-03-20 14:01:50] 635*2^1243068-1 is not prime. Res64: 57C265AFBDF505B2 Time : 0.0 sec. user=mdettweiler [2013-03-20 14:01:52] 647*2^1243068-1 is not prime. Res64: E5515CA860020579 Time : 0.0 sec. user=vaughan [2013-03-20 14:08:29] 645*2^1243067-1 is not prime. Res64: 9A5E8339BA284481 Time : 0.0 sec. user=mdettweiler [2013-03-20 14:10:38] 669*2^1243068-1 is not prime. Res64: D14275AFA5708D1B Time : 0.0 sec. user=mdettweiler [2013-03-20 14:10:38] 749*2^1243068-1 is not prime. Res64: 5F507B9ABE82B4C8 Time : 0.0 sec. user=mdettweiler [2013-03-20 14:19:26] 759*2^1243068-1 is not prime. Res64: 12C0C8507EE94702 Time : 0.0 sec. user=mdettweiler [2013-03-20 14:19:26] 839*2^1243068-1 is not prime. Res64: 20D2A07836C69AD9 Time : 0.0 sec. user=mdettweiler [2013-03-20 14:28:11] 929*2^1243068-1 is not prime. Res64: 46FA886541577151 Time : 0.0 sec. user=mdettweiler [2013-03-20 14:28:11] 691*2^1243069-1 is not prime. Res64: B8955E36AEF46CB6 Time : 0.0 sec. user=mdettweiler [2013-03-20 14:36:59] 817*2^1243069-1 is not prime. Res64: D7CF256A7D2B4D36 Time : 0.0 sec. user=mdettweiler [2013-03-20 14:36:59] 819*2^1243069-1 is not prime. Res64: 5385323FCA1503C0 Time : 0.0 sec. user=juhehe [2013-03-20 14:42:40] 629*2^1243068-1 is not prime. Res64: 6383A2CA7292A6DD Time : 0.0 sec. user=mdettweiler [2013-03-20 14:45:44] 895*2^1243069-1 is not prime. Res64: F5205475B068416F Time : 0.0 sec. user=mdettweiler [2013-03-20 14:45:44] 897*2^1243069-1 is not prime. Res64: E2B4BDB00BDCA8EC Time : 0.0 sec. user=vaughan [2013-03-20 14:46:43] 927*2^1243068-1 is not prime. Res64: 54B1C2913BCED68A Time : 0.0 sec. user=mdettweiler [2013-03-20 14:54:32] 967*2^1243069-1 is not prime. Res64: CAAFC15BA0F693F4 Time : 0.0 sec. user=mdettweiler [2013-03-20 14:54:32] 979*2^1243069-1 is not prime. Res64: 3B6291BF20D71B47 Time : 0.0 sec. user=mdettweiler [2013-03-20 15:03:33] 785*2^1243070-1 is not prime. Res64: E63BA15F9B415B5C Time : 0.0 sec. user=mdettweiler [2013-03-20 15:03:35] 827*2^1243070-1 is not prime. Res64: DF2D65DAB4E585F2 Time : 0.0 sec. user=mdettweiler [2013-03-20 15:12:52] 923*2^1243070-1 is not prime. Res64: 26750F89318A0E54 Time : 0.0 sec. user=mdettweiler [2013-03-20 15:12:52] 613*2^1243071-1 is not prime. Res64: DC81540C5CFDB167 Time : 0.0 sec. user=mdettweiler [2013-03-20 15:22:10] 669*2^1243071-1 is not prime. Res64: 444EAD0FE5B32F39 Time : 0.0 sec. user=mdettweiler [2013-03-20 15:22:10] 679*2^1243071-1 is not prime. Res64: F13C48AA5D1C39BE Time : 0.0 sec. user=vaughan [2013-03-20 15:24:55] 851*2^1243070-1 is not prime. Res64: 14A2416FCF7658D0 Time : 0.0 sec. user=mdettweiler [2013-03-20 15:31:24] 969*2^1243071-1 is not prime. Res64: 99E40ED244AFE6BF Time : 0.0 sec. user=mdettweiler [2013-03-20 15:31:24] 675*2^1243072-1 is not prime. Res64: 708842A82E05A608 Time : 0.0 sec. user=juhehe [2013-03-20 15:39:05] 939*2^1243069-1 is not prime. Res64: 2133A111BFD0A2E6 Time : 0.0 sec. user=mdettweiler [2013-03-20 15:40:44] 695*2^1243072-1 is not prime. Res64: C36FAB9DA5425F7C Time : 0.0 sec. user=mdettweiler [2013-03-20 15:40:44] 803*2^1243072-1 is not prime. Res64: 77EE76B3F2E57881 Time : 0.0 sec. user=mdettweiler [2013-03-20 15:49:57] 827*2^1243072-1 is not prime. Res64: 2D494CB35EE95D0D Time : 0.0 sec. user=mdettweiler [2013-03-20 15:49:57] 897*2^1243072-1 is not prime. Res64: 068B35404C27E0BB Time : 0.0 sec. user=mdettweiler [2013-03-20 15:58:52] 909*2^1243072-1 is not prime. Res64: 531911034FFB1293 Time : 0.0 sec. user=mdettweiler [2013-03-20 15:58:52] 615*2^1243073-1 is not prime. Res64: EB3BF7D4BFE0778F Time : 0.0 sec. user=vaughan [2013-03-20 16:03:06] 813*2^1243072-1 is not prime. Res64: D3C4327B3F5ABB34 Time : 0.0 sec. user=mdettweiler [2013-03-20 16:07:38] 631*2^1243073-1 is not prime. Res64: AEDC98D7915FDA89 Time : 0.0 sec. user=mdettweiler [2013-03-20 16:07:38] 651*2^1243073-1 is not prime. Res64: 44FB1C3184C2651E Time : 0.0 sec. user=mdettweiler [2013-03-20 16:16:48] 715*2^1243073-1 is not prime. Res64: EE7C43A2409E4CF6 Time : 0.0 sec. user=mdettweiler [2013-03-20 16:16:49] 889*2^1243073-1 is not prime. Res64: A2A3FA56842038CF Time : 0.0 sec. user=mdettweiler [2013-03-20 16:26:28] 925*2^1243073-1 is not prime. Res64: 7962EC0329884116 Time : 0.0 sec. user=mdettweiler [2013-03-20 16:26:29] 937*2^1243073-1 is not prime. Res64: 96679C7B47C04064 Time : 0.0 sec. user=mdettweiler [2013-03-20 16:35:58] 969*2^1243073-1 is not prime. Res64: B9DD6D512325F3C7 Time : 0.0 sec. user=mdettweiler [2013-03-20 16:35:59] 683*2^1243074-1 is not prime. Res64: 05629D941EBF99E9 Time : 0.0 sec. user=vaughan [2013-03-20 16:41:19] 901*2^1243073-1 is not prime. Res64: 69751D48B46700D0 Time : 0.0 sec. user=mdettweiler [2013-03-20 16:44:42] 765*2^1243074-1 is not prime. Res64: 5A53C819F9D09E9F Time : 0.0 sec. user=mdettweiler [2013-03-20 16:44:43] 773*2^1243074-1 is not prime. Res64: 7683A164506E81C7 Time : 0.0 sec. user=juhehe [2013-03-20 16:49:27] 619*2^1243073-1 is not prime. Res64: 9147753267A0BB6D Time : 0.0 sec. user=mdettweiler [2013-03-20 16:53:30] 803*2^1243074-1 is not prime. Res64: 34088238AEEFB432 Time : 0.0 sec. user=mdettweiler [2013-03-20 16:53:31] 885*2^1243074-1 is not prime. Res64: 7C9A10F43AFABE36 Time : 0.0 sec. user=mdettweiler [2013-03-20 17:02:13] 639*2^1243075-1 is not prime. Res64: 3863933DEFD09454 Time : 0.0 sec. user=mdettweiler [2013-03-20 17:02:14] 651*2^1243075-1 is not prime. Res64: 5B4ECCCC64D517C8 Time : 0.0 sec. user=mdettweiler [2013-03-20 17:11:01] 685*2^1243075-1 is not prime. Res64: AB04D85C6EFA0E27 Time : 0.0 sec. user=mdettweiler [2013-03-20 17:11:01] 723*2^1243075-1 is not prime. Res64: 3D72EFFC3DE00BD0 Time : 0.0 sec. user=vaughan [2013-03-20 17:19:29] 633*2^1243075-1 is not prime. Res64: 4679CBA00FCDF2D7 Time : 0.0 sec. user=mdettweiler [2013-03-20 17:19:48] 871*2^1243075-1 is not prime. Res64: 6F0BD59354949267 Time : 0.0 sec. user=mdettweiler [2013-03-20 17:19:49] 961*2^1243075-1 is not prime. Res64: 38AF0FEB324C0722 Time : 0.0 sec. user=mdettweiler [2013-03-20 17:28:32] 635*2^1243076-1 is not prime. Res64: 1E9C3D61F13699AA Time : 0.0 sec. user=mdettweiler [2013-03-20 17:28:32] 659*2^1243076-1 is not prime. Res64: 78A041AA9F1DD1AF Time : 0.0 sec. user=mdettweiler [2013-03-20 17:37:18] 879*2^1243076-1 is not prime. Res64: 85034099218C46BB Time : 0.0 sec. user=mdettweiler [2013-03-20 17:37:19] 923*2^1243076-1 is not prime. Res64: 7D6926D97FD85EA5 Time : 0.0 sec. user=juhehe [2013-03-20 17:45:23] 609*2^1243075-1 is not prime. Res64: 32ABAA4613239144 Time : 0.0 sec. user=mdettweiler [2013-03-20 17:46:02] 969*2^1243076-1 is not prime. Res64: 6E598F275E02C921 Time : 0.0 sec. user=mdettweiler [2013-03-20 17:46:02] 649*2^1243077-1 is not prime. Res64: 9DC5A81FD1C3431B Time : 0.0 sec. user=mdettweiler [2013-03-20 17:54:49] 709*2^1243077-1 is not prime. Res64: 5A6E36A1E8DE40E2 Time : 0.0 sec. user=mdettweiler [2013-03-20 17:54:49] 727*2^1243077-1 is not prime. Res64: FE596C85B8FDCF58 Time : 0.0 sec. user=vaughan [2013-03-20 17:57:39] 689*2^1243076-1 is not prime. Res64: 2E25AA6BBCA2002D Time : 0.0 sec. user=mdettweiler [2013-03-20 18:03:33] 817*2^1243077-1 is not prime. Res64: 6006D0761BC08FFA Time : 0.0 sec. user=mdettweiler [2013-03-20 18:03:35] 867*2^1243077-1 is not prime. Res64: 145DED4F73AADA00 Time : 0.0 sec. user=mdettweiler [2013-03-20 18:12:20] 985*2^1243077-1 is not prime. Res64: EFD99C0A75E48D58 Time : 0.0 sec. user=mdettweiler [2013-03-20 18:12:20] 801*2^1243078-1 is not prime. Res64: B9ABA51CAABAA3FA Time : 0.0 sec. user=mdettweiler [2013-03-20 18:21:08] 867*2^1243078-1 is not prime. Res64: E9C97F6360739588 Time : 0.0 sec. user=mdettweiler [2013-03-20 18:21:08] 945*2^1243078-1 is not prime. Res64: D0445944B3861205 Time : 0.0 sec. user=mdettweiler [2013-03-20 18:29:56] 609*2^1243079-1 is not prime. Res64: B238985ED63DA1FB Time : 0.0 sec. user=mdettweiler [2013-03-20 18:29:56] 645*2^1243079-1 is not prime. Res64: 6D6E0F5CA4A86DA2 Time : 0.0 sec. user=vaughan [2013-03-20 18:35:50] 833*2^1243078-1 is not prime. Res64: 71DED1DAE7D3FD5F Time : 0.0 sec. user=mdettweiler [2013-03-20 18:38:48] 679*2^1243079-1 is not prime. Res64: D1C65F2BFC4C9663 Time : 0.0 sec. user=mdettweiler [2013-03-20 18:38:48] 721*2^1243079-1 is not prime. Res64: 2F345B54C48B0397 Time : 0.0 sec. user=mdettweiler [2013-03-20 18:47:38] 735*2^1243079-1 is not prime. Res64: 9B63CE60D9E20F6B Time : 0.0 sec. user=mdettweiler [2013-03-20 18:47:38] 745*2^1243079-1 is not prime. Res64: DA0A0D7022162CBC Time : 0.0 sec. user=mdettweiler [2013-03-20 18:56:27] 765*2^1243080-1 is not prime. Res64: 819D550AAA3C635B Time : 0.0 sec. user=mdettweiler [2013-03-20 18:56:27] 795*2^1243080-1 is not prime. Res64: 8ED6EDF4E079A20E Time : 0.0 sec. user=juhehe [2013-03-20 19:03:11] 949*2^1243077-1 is not prime. Res64: 1431734579A0D1CC Time : 0.0 sec. user=mdettweiler [2013-03-20 19:05:15] 893*2^1243080-1 is not prime. Res64: FFB58F2EC6442B46 Time : 0.0 sec. user=mdettweiler [2013-03-20 19:05:16] 905*2^1243080-1 is not prime. Res64: 780FDA82A27DD967 Time : 0.0 sec. user=vaughan [2013-03-20 19:14:00] 623*2^1243080-1 is not prime. Res64: FD155749FDA31C21 Time : 0.0 sec. user=mdettweiler [2013-03-20 19:14:03] 807*2^1243081-1 is not prime. Res64: 6970165335ADEBDD Time : 0.0 sec. user=mdettweiler [2013-03-20 19:14:04] 819*2^1243081-1 is not prime. Res64: 204A2114FCF9590C Time : 0.0 sec. user=mdettweiler [2013-03-20 19:23:02] 889*2^1243081-1 is not prime. Res64: 3DDC7B77CF754601 Time : 0.0 sec. user=mdettweiler [2013-03-20 19:23:03] 909*2^1243081-1 is not prime. Res64: DB5C231185008758 Time : 0.0 sec. user=mdettweiler [2013-03-20 19:31:44] 677*2^1243082-1 is not prime. Res64: D0EA6392EBD63C4D Time : 0.0 sec. user=mdettweiler [2013-03-20 19:31:45] 771*2^1243082-1 is not prime. Res64: 4C373C6AF755EA11 Time : 0.0 sec. user=mdettweiler [2013-03-20 19:40:34] 791*2^1243082-1 is not prime. Res64: 65F6F1FF2411D6B9 Time : 0.0 sec. user=mdettweiler [2013-03-20 19:40:34] 825*2^1243082-1 is not prime. Res64: 619796A23CE2BFE1 Time : 0.0 sec. user=mdettweiler [2013-03-20 19:49:16] 843*2^1243082-1 is not prime. Res64: C033A542D7110570 Time : 0.0 sec. user=mdettweiler [2013-03-20 19:49:16] 935*2^1243082-1 is not prime. Res64: 5A87FFC692C5ADAC Time : 0.0 sec. user=juhehe [2013-03-20 19:52:02] 843*2^1243080-1 is not prime. Res64: 815ECF4A87B54CED Time : 0.0 sec. user=vaughan [2013-03-20 19:52:11] 675*2^1243082-1 is not prime. Res64: AEA781E6B1E34BB6 Time : 0.0 sec. user=mdettweiler [2013-03-20 19:58:04] 625*2^1243083-1 is not prime. Res64: CA570F8468343B4B Time : 0.0 sec. user=mdettweiler [2013-03-20 19:58:04] 685*2^1243083-1 is not prime. Res64: 544B703317C1BE60 Time : 0.0 sec. user=mdettweiler [2013-03-20 20:06:46] 765*2^1243083-1 is not prime. Res64: E8BC5E69DB71C33B Time : 0.0 sec. user=mdettweiler [2013-03-20 20:06:47] 805*2^1243083-1 is not prime. Res64: E4851DED6DA1725E Time : 0.0 sec. user=mdettweiler [2013-03-20 20:15:34] 963*2^1243083-1 is not prime. Res64: D47CF1084E23BC16 Time : 0.0 sec. user=mdettweiler [2013-03-20 20:15:35] 707*2^1243084-1 is not prime. Res64: 2B2043F3E330933F Time : 0.0 sec. user=mdettweiler [2013-03-20 20:24:18] 819*2^1243084-1 is not prime. Res64: 45A271D6ED8BC55C Time : 0.0 sec. user=mdettweiler [2013-03-20 20:24:18] 903*2^1243084-1 is not prime. Res64: 964203DEFAFA8ABA Time : 0.0 sec. user=vaughan [2013-03-20 20:30:23] 819*2^1243083-1 is not prime. Res64: 7F20D3D740DDC1FE Time : 0.0 sec. user=mdettweiler [2013-03-20 20:33:06] 601*2^1243085-1 is not prime. Res64: 27CB5C8539AA0113 Time : 0.0 sec. user=mdettweiler [2013-03-20 20:33:06] 757*2^1243085-1 is not prime. Res64: 2F92FAE054ED0D1E Time : 0.0 sec. user=mdettweiler [2013-03-20 20:41:48] 787*2^1243085-1 is not prime. Res64: 0DBB16E712AA95B5 Time : 0.0 sec. user=mdettweiler [2013-03-20 20:41:48] 789*2^1243085-1 is not prime. Res64: 754B7046273EE6F0 Time : 0.0 sec. user=mdettweiler [2013-03-20 20:50:37] 851*2^1243086-1 is not prime. Res64: ADEAADF4C8D2B76C Time : 0.0 sec. user=mdettweiler [2013-03-20 20:50:37] 945*2^1243086-1 is not prime. Res64: 2D3BEAE2146284B6 Time : 0.0 sec. user=mdettweiler [2013-03-20 20:59:19] 615*2^1243087-1 is not prime. Res64: B4D560D6886DB275 Time : 0.0 sec. user=mdettweiler [2013-03-20 20:59:19] 651*2^1243087-1 is not prime. Res64: C8406790F5036D8D Time : 0.0 sec. user=mdettweiler [2013-03-20 21:08:07] 871*2^1243087-1 is not prime. Res64: 94676CC5B7F724EC Time : 0.0 sec. user=mdettweiler [2013-03-20 21:08:08] 883*2^1243087-1 is not prime. Res64: D666E4479078F643 Time : 0.0 sec. user=vaughan [2013-03-20 21:08:33] 647*2^1243086-1 is not prime. Res64: 3D14C3994915748D Time : 0.0 sec. user=juhehe [2013-03-20 21:09:05] 803*2^1243084-1 is not prime. Res64: D627C26C73D4096A Time : 0.0 sec. user=mdettweiler [2013-03-20 21:16:49] 617*2^1243088-1 is not prime. Res64: 384C1E16E0D72BEB Time : 0.0 sec. user=mdettweiler [2013-03-20 21:16:49] 633*2^1243088-1 is not prime. Res64: 7143D7A4C131C1D8 Time : 0.0 sec. user=mdettweiler [2013-03-20 21:25:41] 759*2^1243088-1 is not prime. Res64: DA0773B467ECA63B Time : 0.0 sec. user=mdettweiler [2013-03-20 21:25:42] 803*2^1243088-1 is not prime. Res64: EA935A46CB845EAA Time : 0.0 sec. user=mdettweiler [2013-03-20 21:34:19] 827*2^1243088-1 is not prime. Res64: 7E63243413FCD17F Time : 0.0 sec. user=mdettweiler [2013-03-20 21:34:20] 869*2^1243088-1 is not prime. Res64: 4E377663C0D85D7F Time : 0.0 sec. user=mdettweiler [2013-03-20 21:43:12] 627*2^1243089-1 is not prime. Res64: E245E6A41DB8BAC3 Time : 0.0 sec. user=mdettweiler [2013-03-20 21:43:13] 751*2^1243089-1 is not prime. Res64: D955D70605F8905E Time : 0.0 sec. user=vaughan [2013-03-20 21:46:41] 819*2^1243088-1 is not prime. Res64: 038BD873C7054935 Time : 0.0 sec. user=mdettweiler [2013-03-20 21:51:50] 807*2^1243089-1 is not prime. Res64: 34B20D5F29D62009 Time : 0.0 sec. user=mdettweiler [2013-03-20 21:51:51] 891*2^1243089-1 is not prime. Res64: E8E1B1B49797B167 Time : 0.0 sec. user=juhehe [2013-03-20 21:58:36] 933*2^1243087-1 is not prime. Res64: 4ED68718B3FE485F Time : 0.0 sec. user=mdettweiler [2013-03-20 22:00:43] 945*2^1243089-1 is not prime. Res64: 6CF80FC86DB357CC Time : 0.0 sec. user=mdettweiler [2013-03-20 22:00:44] 951*2^1243089-1 is not prime. Res64: 2C67B911F24C5E03 Time : 0.0 sec. user=mdettweiler [2013-03-20 22:09:21] 653*2^1243090-1 is not prime. Res64: 3601CB95DC741B73 Time : 0.0 sec. user=mdettweiler [2013-03-20 22:09:22] 755*2^1243090-1 is not prime. Res64: A48956A302E65A2B Time : 0.0 sec. user=mdettweiler [2013-03-20 22:18:18] 831*2^1243090-1 is not prime. Res64: 9F890CD3D7B41FC2 Time : 0.0 sec. user=mdettweiler [2013-03-20 22:18:18] 873*2^1243090-1 is not prime. Res64: 17CC9EA64890C7B4 Time : 0.0 sec. user=vaughan [2013-03-20 22:24:51] 647*2^1243090-1 is not prime. Res64: C635216C54735B33 Time : 0.0 sec. user=mdettweiler [2013-03-20 22:26:54] 987*2^1243090-1 is not prime. Res64: B166E78D5E483A60 Time : 0.0 sec. user=mdettweiler [2013-03-20 22:26:54] 643*2^1243091-1 is not prime. Res64: F7D51BD91B5A20EB Time : 0.0 sec. user=mdettweiler [2013-03-20 22:35:49] 829*2^1243091-1 is not prime. Res64: 8526373438297D81 Time : 0.0 sec. user=mdettweiler [2013-03-20 22:35:49] 909*2^1243091-1 is not prime. Res64: D0E0B11D375862CE Time : 0.0 sec. user=mdettweiler [2013-03-20 22:44:24] 981*2^1243091-1 is not prime. Res64: 416F75E8D236830E Time : 0.0 sec. user=mdettweiler [2013-03-20 22:44:24] 605*2^1243092-1 is not prime. Res64: 5714CC9D97944E56 Time : 0.0 sec. user=mdettweiler [2013-03-20 22:53:19] 669*2^1243092-1 is not prime. Res64: F6262F86FDE4AAF8 Time : 0.0 sec. user=mdettweiler [2013-03-20 22:53:20] 737*2^1243092-1 is not prime. Res64: DA241BB1500C6017 Time : 0.0 sec. user=mdettweiler [2013-03-20 23:01:55] 753*2^1243092-1 is not prime. Res64: 063669DBBD610D69 Time : 0.0 sec. user=mdettweiler [2013-03-20 23:01:56] 779*2^1243092-1 is not prime. Res64: 5912299BDABFD6DF Time : 0.0 sec. user=vaughan [2013-03-20 23:03:01] 921*2^1243091-1 is not prime. Res64: 022A9B716F87675F Time : 0.0 sec. user=mdettweiler [2013-03-20 23:10:50] 797*2^1243092-1 is not prime. Res64: 35D9D719A05E09DC Time : 0.0 sec. user=mdettweiler [2013-03-20 23:10:51] 607*2^1243093-1 is not prime. Res64: CAFD6EE56058D1DF Time : 0.0 sec. user=juhehe [2013-03-20 23:15:22] 703*2^1243091-1 is not prime. Res64: E18F68D0B9D22B80 Time : 0.0 sec. user=mdettweiler [2013-03-20 23:19:27] 699*2^1243093-1 is not prime. Res64: 98E6D655CA4F3AB9 Time : 0.0 sec. user=mdettweiler [2013-03-20 23:19:28] 859*2^1243093-1 is not prime. Res64: 97D9DB494ACFD068 Time : 0.0 sec. user=mdettweiler [2013-03-20 23:28:42] 885*2^1243093-1 is not prime. Res64: 76BA64A5F2C47482 Time : 0.0 sec. user=mdettweiler [2013-03-20 23:28:42] 939*2^1243093-1 is not prime. Res64: 45B14DD8982896D9 Time : 0.0 sec. user=mdettweiler [2013-03-20 23:37:20] 951*2^1243093-1 is not prime. Res64: 2CB4949CF6E40C61 Time : 0.0 sec. user=mdettweiler [2013-03-20 23:37:21] 615*2^1243094-1 is not prime. Res64: A6755DD90D77612D Time : 0.0 sec. user=vaughan [2013-03-20 23:41:13] 867*2^1243093-1 is not prime. Res64: 34938883AB691413 Time : 0.0 sec. user=mdettweiler [2013-03-20 23:46:12] 683*2^1243094-1 is not prime. Res64: 13A67FCCB7BACCBA Time : 0.0 sec. user=mdettweiler [2013-03-20 23:46:13] 861*2^1243094-1 is not prime. Res64: E135064FC5107052 Time : 0.0 sec. user=mdettweiler [2013-03-20 23:54:45] 923*2^1243094-1 is not prime. Res64: 475462C0747ABFA1 Time : 0.0 sec. user=mdettweiler [2013-03-20 23:54:46] 981*2^1243094-1 is not prime. Res64: ECF0BEDC855D7992 Time : 0.0 sec.