user=vaughan
[2009-08-02 00:01:24]
363*2^824066-1 is not prime.  Res64: 620B398E16CF36E8  Time : 979.0 sec.
user=vaughan
[2009-08-02 00:01:55]
363*2^824078-1 is not prime.  Res64: ED61BB3C950E21A6  Time : 1002.0 sec.
user=vaughan
[2009-08-02 00:03:55]
365*2^824078-1 is not prime.  Res64: 103D32693F0511AD  Time : 1025.0 sec.
user=marco.bs
[2009-08-02 00:06:56]
361*2^823979-1 is not prime.  Res64: F384A9A668BFF2C2  Time : 3130.0 sec.
user=vaughan
[2009-08-02 00:08:15]
365*2^824054-1 is not prime.  Res64: 65262DB17F2F6957  Time : 1505.0 sec.
user=vaughan
[2009-08-02 00:10:40]
351*2^824090-1 is not prime.  Res64: FDACCDFA6412F4FD  Time : 1017.0 sec.
user=vaughan
[2009-08-02 00:16:09]
357*2^824094-1 is not prime.  Res64: 6D519A578FC022A3  Time : 986.0 sec.
user=vaughan
[2009-08-02 00:16:16]
355*2^824097-1 is not prime.  Res64: F14511A949AC1B03  Time : 986.0 sec.
user=vaughan
[2009-08-02 00:16:23]
351*2^824099-1 is not prime.  Res64: ACF73ABAFA1455CC  Time : 986.0 sec.
user=vaughan
[2009-08-02 00:16:47]
357*2^824093-1 is not prime.  Res64: 560C8E3298C842C1  Time : 1040.0 sec.
user=vaughan
[2009-08-02 00:17:45]
357*2^824100-1 is not prime.  Res64: 9896902F999129BC  Time : 982.0 sec.
user=vaughan
[2009-08-02 00:17:46]
355*2^824079-1 is not prime.  Res64: 5CEF28A92AB40E07  Time : 1701.0 sec.
user=vaughan
[2009-08-02 00:19:11]
357*2^824102-1 is not prime.  Res64: 4EF4222523BBA94C  Time : 1036.0 sec.
user=vaughan
[2009-08-02 00:21:50]
357*2^824108-1 is not prime.  Res64: 77FEDEFDA9C70118  Time : 1075.0 sec.
user=cipher
[2009-08-02 00:21:50]
357*2^824085-1 is not prime.  Res64: D27D892D03CB34A9  Time : 1751.0 sec.
user=vaughan
[2009-08-02 00:28:04]
363*2^824115-1 is not prime.  Res64: E810AE368F6AF278  Time : 1044.0 sec.
user=vaughan
[2009-08-02 00:28:19]
361*2^823769-1 is not prime.  Res64: 07387A7FEC1B9A87  Time : 9952.0 sec.
user=marco.bs
[2009-08-02 00:33:06]
355*2^824049-1 is not prime.  Res64: 61A58A0976B2572D  Time : 3114.0 sec.
user=vaughan
[2009-08-02 00:33:43]
351*2^824113-1 is not prime.  Res64: 2002333B2AC95A7D  Time : 1528.0 sec.
user=vaughan
[2009-08-02 00:33:46]
351*2^824126-1 is not prime.  Res64: 6CCD992355E40191  Time : 1057.0 sec.
user=vaughan
[2009-08-02 00:33:50]
355*2^824129-1 is not prime.  Res64: C460664CE15F8AEA  Time : 1054.0 sec.
user=vaughan
[2009-08-02 00:33:58]
361*2^824133-1 is not prime.  Res64: 9F2E93BCAAEBB85A  Time : 1055.0 sec.
user=vaughan
[2009-08-02 00:34:18]
363*2^824139-1 is not prime.  Res64: 40BEB3B55500AABA  Time : 1051.0 sec.
user=vaughan
[2009-08-02 00:34:51]
351*2^824141-1 is not prime.  Res64: C4F332AB58E2D8E5  Time : 1026.0 sec.
user=vaughan
[2009-08-02 00:36:32]
351*2^824146-1 is not prime.  Res64: 2117979C4E02BB0D  Time : 1041.0 sec.
user=vaughan
[2009-08-02 00:39:42]
357*2^824152-1 is not prime.  Res64: 75FFF3D1C30441CA  Time : 1072.0 sec.
user=vaughan
[2009-08-02 00:45:13]
365*2^824170-1 is not prime.  Res64: A85A7C8DD64BBB5C  Time : 1029.0 sec.
user=vaughan
[2009-08-02 00:45:41]
355*2^824141-1 is not prime.  Res64: 61A6C12A1D6B5C98  Time : 1676.0 sec.
user=cipher
[2009-08-02 00:50:46]
365*2^824152-1 is not prime.  Res64: 4C08DDEB2160F6FC  Time : 1736.0 sec.
user=marco.bs
[2009-08-02 00:57:55]
355*2^824109-1 is not prime.  Res64: 61E28B073A8ABD0B  Time : 3060.0 sec.
user=cipher
[2009-08-02 01:20:43]
357*2^824202-1 is not prime.  Res64: 714889748FB46AB4  Time : 1797.0 sec.
user=marco.bs
[2009-08-02 01:24:11]
351*2^824173-1 is not prime.  Res64: DE90ABDEFE36E06A  Time : 3066.0 sec.
user=vaughan
[2009-08-02 01:37:16]
357*2^824189-1 is not prime.  Res64: 4BD25721DEEA74EA  Time : 3807.0 sec.
user=vaughan
[2009-08-02 01:37:17]
357*2^824180-1 is not prime.  Res64: 6013935D07D7B9BA  Time : 3811.0 sec.
user=vaughan
[2009-08-02 01:37:18]
363*2^824192-1 is not prime.  Res64: 7C04C7C5491F46A7  Time : 3780.0 sec.
user=vaughan
[2009-08-02 01:37:19]
355*2^824199-1 is not prime.  Res64: A190375D25BF1EA7  Time : 3648.0 sec.
user=vaughan
[2009-08-02 01:37:20]
351*2^824191-1 is not prime.  Res64: 08D53711F532EF0C  Time : 3802.0 sec.
user=vaughan
[2009-08-02 01:37:27]
363*2^824194-1 is not prime.  Res64: 48D443BB4F6DF8E3  Time : 3756.0 sec.
user=vaughan
[2009-08-02 01:37:28]
351*2^824201-1 is not prime.  Res64: 2C9D173E86EAAC81  Time : 3466.0 sec.
user=cipher
[2009-08-02 01:46:24]
351*2^824218-1 is not prime.  Res64: 7C77B55399A351BD  Time : 1541.0 sec.
user=marco.bs
[2009-08-02 01:49:29]
365*2^824206-1 is not prime.  Res64: F01F7B4D47545DEE  Time : 3094.0 sec.
user=vaughan
[2009-08-02 02:00:54]
365*2^824222-1 is not prime.  Res64: 6CC7276DA5B68313  Time : 1417.0 sec.
user=vaughan
[2009-08-02 02:00:54]
363*2^824222-1 is not prime.  Res64: 48F9B8BB451F415A  Time : 1418.0 sec.
user=vaughan
[2009-08-02 02:00:55]
361*2^824201-1 is not prime.  Res64: 0EB57A1D8DAAE7D9  Time : 4514.0 sec.
user=vaughan
[2009-08-02 02:00:57]
351*2^824233-1 is not prime.  Res64: D076D3ABDAC79185  Time : 1410.0 sec.
user=vaughan
[2009-08-02 02:00:58]
363*2^824232-1 is not prime.  Res64: CF58BDB5EDF42DB8  Time : 1419.0 sec.
user=vaughan
[2009-08-02 02:01:14]
355*2^824223-1 is not prime.  Res64: 4133601D5D5EFD67  Time : 1436.0 sec.
user=vaughan
[2009-08-02 02:01:24]
355*2^824237-1 is not prime.  Res64: 2234C4FF4A6E0F28  Time : 1436.0 sec.
user=vaughan
[2009-08-02 02:01:44]
355*2^824201-1 is not prime.  Res64: 3F4DC09199E58DD5  Time : 4592.0 sec.
user=vaughan
[2009-08-02 02:01:51]
355*2^824173-1 is not prime.  Res64: 61C0C1E1AD06B4E3  Time : 5289.0 sec.
user=cipher
[2009-08-02 02:11:43]
363*2^824243-1 is not prime.  Res64: A92E45F1A2DD1069  Time : 1519.0 sec.
user=marco.bs
[2009-08-02 02:14:10]
361*2^824219-1 is not prime.  Res64: 0BEA146DCC1C171B  Time : 2999.0 sec.
user=vaughan
[2009-08-02 02:18:07]
355*2^824249-1 is not prime.  Res64: 68FF88D087FB36E3  Time : 1030.0 sec.
user=vaughan
[2009-08-02 02:18:20]
365*2^824252-1 is not prime.  Res64: 677EB7AFDC9BC9AC  Time : 1026.0 sec.
user=vaughan
[2009-08-02 02:18:26]
357*2^824258-1 is not prime.  Res64: 977D3F57769A119E  Time : 1021.0 sec.
user=vaughan
[2009-08-02 02:18:42]
361*2^824253-1 is not prime.  Res64: 3C3DFC8396D9D94F  Time : 1038.0 sec.
user=vaughan
[2009-08-02 02:18:46]
363*2^824259-1 is not prime.  Res64: 0AE6CC87509236AD  Time : 1022.0 sec.
user=vaughan
[2009-08-02 02:20:19]
361*2^824261-1 is not prime.  Res64: B315922C2A4754E0  Time : 1103.0 sec.
user=vaughan
[2009-08-02 02:20:21]
355*2^824265-1 is not prime.  Res64: 4C5B84328D5759F9  Time : 1101.0 sec.
user=vaughan
[2009-08-02 02:20:23]
355*2^824263-1 is not prime.  Res64: E27515103A691D93  Time : 1107.0 sec.
user=vaughan
[2009-08-02 02:25:34]
351*2^824261-1 is not prime.  Res64: B2F0F9A070FA5378  Time : 1423.0 sec.
user=vaughan
[2009-08-02 02:26:06]
357*2^824248-1 is not prime.  Res64: 166C690425D7035A  Time : 1511.0 sec.
user=vaughan
[2009-08-02 02:35:10]
357*2^824272-1 is not prime.  Res64: 3AF9DD7B5D0137FA  Time : 1005.0 sec.
user=vaughan
[2009-08-02 02:35:19]
365*2^824270-1 is not prime.  Res64: 3F62CC039B2C9832  Time : 1020.0 sec.
user=vaughan
[2009-08-02 02:35:20]
357*2^824270-1 is not prime.  Res64: 7187E41DCB65076C  Time : 1033.0 sec.
user=vaughan
[2009-08-02 02:35:26]
351*2^824278-1 is not prime.  Res64: A0C165C10EA92BEF  Time : 1001.0 sec.
user=vaughan
[2009-08-02 02:35:35]
355*2^824273-1 is not prime.  Res64: 0FCD273108002A16  Time : 1013.0 sec.
user=cipher
[2009-08-02 02:38:09]
363*2^824266-1 is not prime.  Res64: 6E378EF7E290BC5C  Time : 1586.0 sec.
user=vaughan
[2009-08-02 02:38:51]
365*2^824278-1 is not prime.  Res64: BE5DC0B2E988B51F  Time : 1112.0 sec.
user=vaughan
[2009-08-02 02:38:52]
365*2^824282-1 is not prime.  Res64: 3B6228AAD33E7A0D  Time : 1111.0 sec.
user=vaughan
[2009-08-02 02:38:54]
363*2^824283-1 is not prime.  Res64: 747A58FE324756EF  Time : 1111.0 sec.
user=marco.bs
[2009-08-02 02:38:59]
355*2^824247-1 is not prime.  Res64: 15B10FBC5B02BAEA  Time : 2970.0 sec.
user=vaughan
[2009-08-02 02:51:36]
355*2^824285-1 is not prime.  Res64: B5DCA326E3119B28  Time : 1562.0 sec.
user=vaughan
[2009-08-02 02:51:48]
361*2^824291-1 is not prime.  Res64: 0E541A3E195805A1  Time : 1543.0 sec.
user=vaughan
[2009-08-02 02:52:23]
357*2^824293-1 is not prime.  Res64: 8810E926A029F3AD  Time : 1034.0 sec.
user=vaughan
[2009-08-02 02:52:33]
365*2^824294-1 is not prime.  Res64: D6650E6F25355CB0  Time : 1034.0 sec.
user=vaughan
[2009-08-02 02:52:35]
363*2^824295-1 is not prime.  Res64: B42F8D6B3635E5B2  Time : 1030.0 sec.
user=vaughan
[2009-08-02 02:52:37]
363*2^824294-1 is not prime.  Res64: 62C5EF9105FE4A0E  Time : 1038.0 sec.
user=vaughan
[2009-08-02 02:53:17]
363*2^824299-1 is not prime.  Res64: 60A10839FE361282  Time : 1062.0 sec.
user=vaughan
[2009-08-02 02:57:18]
363*2^824307-1 is not prime.  Res64: FF789DEFB6B2FE25  Time : 1107.0 sec.
user=vaughan
[2009-08-02 02:57:27]
355*2^824325-1 is not prime.  Res64: 9AB1835A5EC678D6  Time : 1113.0 sec.
user=vaughan
[2009-08-02 02:57:30]
351*2^824317-1 is not prime.  Res64: 6D815EDEDC5A5A49  Time : 1118.0 sec.
user=marco.bs
[2009-08-02 03:03:42]
357*2^824268-1 is not prime.  Res64: 55608FA7E9C913B3  Time : 2972.0 sec.
user=cipher
[2009-08-02 03:07:29]
363*2^824300-1 is not prime.  Res64: 42F2EDF27C5B9D57  Time : 1760.0 sec.
user=vaughan
[2009-08-02 03:08:32]
357*2^824328-1 is not prime.  Res64: 6B5F7B3E736FE6AF  Time : 969.0 sec.
user=vaughan
[2009-08-02 03:08:40]
351*2^824330-1 is not prime.  Res64: C0B6DF2EB77D1577  Time : 965.0 sec.
user=vaughan
[2009-08-02 03:09:06]
365*2^824330-1 is not prime.  Res64: 208C20847F8AAE2F  Time : 990.0 sec.
user=vaughan
[2009-08-02 03:09:44]
363*2^824331-1 is not prime.  Res64: B664DBBA79116BA1  Time : 987.0 sec.
user=vaughan
[2009-08-02 03:09:52]
351*2^824329-1 is not prime.  Res64: 58F9E3C87C2B6C36  Time : 1040.0 sec.
user=vaughan
[2009-08-02 03:14:23]
357*2^824172-1 is not prime.  Res64: 2FB453BF8D85668A  Time : 9964.0 sec.
user=vaughan
[2009-08-02 03:15:22]
361*2^824339-1 is not prime.  Res64: 617E4B1509246A85  Time : 1084.0 sec.
user=vaughan
[2009-08-02 03:15:29]
363*2^824340-1 is not prime.  Res64: 4732779DA84C814B  Time : 1082.0 sec.
user=vaughan
[2009-08-02 03:15:30]
361*2^824345-1 is not prime.  Res64: A6998C62F405AADD  Time : 1081.0 sec.
user=vaughan
[2009-08-02 03:15:40]
355*2^824327-1 is not prime.  Res64: 48F2A02975E2EDF9  Time : 1432.0 sec.
user=vaughan
[2009-08-02 03:16:33]
363*2^824326-1 is not prime.  Res64: DFB9F10311BD1828  Time : 1497.0 sec.
user=vaughan
[2009-08-02 03:25:26]
363*2^824360-1 is not prime.  Res64: AA23A1C12D5A566A  Time : 1014.0 sec.
user=vaughan
[2009-08-02 03:25:32]
361*2^824363-1 is not prime.  Res64: 34D54733695E9AAC  Time : 1013.0 sec.
user=vaughan
[2009-08-02 03:26:23]
357*2^824370-1 is not prime.  Res64: D4F198D55F77888A  Time : 991.0 sec.
user=vaughan
[2009-08-02 03:26:24]
355*2^824367-1 is not prime.  Res64: 6634D720D33CC79A  Time : 1038.0 sec.
user=vaughan
[2009-08-02 03:27:22]
351*2^824369-1 is not prime.  Res64: 2B349744A0C172CE  Time : 1058.0 sec.
user=cipher
[2009-08-02 03:28:39]
361*2^824357-1 is not prime.  Res64: CA85424CD9B3717A  Time : 1270.0 sec.
user=vaughan
[2009-08-02 03:32:14]
363*2^824462-1 is not prime.  Res64: 13A7067A513D9F84  Time : 1012.0 sec.
user=vaughan
[2009-08-02 03:32:20]
355*2^824463-1 is not prime.  Res64: 74736C701730B6DF  Time : 1011.0 sec.
user=vaughan
[2009-08-02 03:32:22]
357*2^824464-1 is not prime.  Res64: 6C2EC981DCD673F9  Time : 1012.0 sec.
user=vaughan
[2009-08-02 03:40:23]
355*2^824469-1 is not prime.  Res64: 63F4876C81E56389  Time : 1430.0 sec.
user=vaughan
[2009-08-02 03:41:53]
357*2^824468-1 is not prime.  Res64: 6B208CA6EC101ACE  Time : 1574.0 sec.
user=vaughan
[2009-08-02 03:42:15]
361*2^824471-1 is not prime.  Res64: 6B49451ADA98B6C5  Time : 1009.0 sec.
user=vaughan
[2009-08-02 03:42:23]
351*2^824473-1 is not prime.  Res64: B6C9F9AC929D8195  Time : 1011.0 sec.
user=vaughan
[2009-08-02 03:42:54]
365*2^824474-1 is not prime.  Res64: 5510718BA9AF1444  Time : 991.0 sec.
user=vaughan
[2009-08-02 03:43:47]
351*2^824479-1 is not prime.  Res64: 7542FDB307FFF976  Time : 1044.0 sec.
user=vaughan
[2009-08-02 03:44:47]
355*2^824481-1 is not prime.  Res64: F61755B094C92C64  Time : 1045.0 sec.
user=marco.bs
[2009-08-02 03:44:57]
357*2^824325-1 is not prime.  Res64: 116544FC32FD8CAE  Time : 3958.0 sec.
user=vaughan
[2009-08-02 03:48:55]
363*2^824487-1 is not prime.  Res64: E92181541927C295  Time : 1001.0 sec.
user=vaughan
[2009-08-02 03:49:01]
361*2^824493-1 is not prime.  Res64: 690BA5D6E30740CD  Time : 1001.0 sec.
user=vaughan
[2009-08-02 03:49:03]
365*2^824494-1 is not prime.  Res64: 94D0D04170ADE576  Time : 1001.0 sec.
user=cipher
[2009-08-02 03:49:51]
357*2^824482-1 is not prime.  Res64: 3A9E03B4C5B8153E  Time : 1272.0 sec.
user=vaughan
[2009-08-02 03:59:20]
357*2^824498-1 is not prime.  Res64: A568B978CBC3B311  Time : 1025.0 sec.
user=vaughan
[2009-08-02 03:59:24]
365*2^824498-1 is not prime.  Res64: 79674FEB1F72A733  Time : 1021.0 sec.
user=vaughan
[2009-08-02 03:59:32]
357*2^824502-1 is not prime.  Res64: 9990589745667540  Time : 999.0 sec.
user=vaughan
[2009-08-02 04:01:20]
361*2^824505-1 is not prime.  Res64: 91CA2EB8CA04033B  Time : 1054.0 sec.
user=vaughan
[2009-08-02 04:02:27]
351*2^824513-1 is not prime.  Res64: 6BA6EC65B52A2B10  Time : 1060.0 sec.
user=vaughan
[2009-08-02 04:06:09]
361*2^824495-1 is not prime.  Res64: 038DEA7460374AA1  Time : 1546.0 sec.
user=vaughan
[2009-08-02 04:06:53]
363*2^824519-1 is not prime.  Res64: 8BDF79CDB3DDB0D6  Time : 1078.0 sec.
user=vaughan
[2009-08-02 04:07:03]
357*2^824522-1 is not prime.  Res64: EEE15B53D60FDF28  Time : 1082.0 sec.
user=vaughan
[2009-08-02 04:07:07]
357*2^824525-1 is not prime.  Res64: F44D7519FB128827  Time : 1084.0 sec.
user=vaughan
[2009-08-02 04:08:32]
355*2^824497-1 is not prime.  Res64: FE381135759175B6  Time : 1600.0 sec.
user=cipher
[2009-08-02 04:11:03]
357*2^824530-1 is not prime.  Res64: 53BDC89443B36519  Time : 1273.0 sec.
user=marco.bs
[2009-08-02 04:13:05]
361*2^824349-1 is not prime.  Res64: 89742C4FF9736792  Time : 4163.0 sec.
user=vaughan
[2009-08-02 04:15:45]
363*2^824531-1 is not prime.  Res64: 0B7CB466EC9B1A39  Time : 985.0 sec.
user=vaughan
[2009-08-02 04:15:47]
357*2^824532-1 is not prime.  Res64: B5A2997A42625290  Time : 983.0 sec.
user=vaughan
[2009-08-02 04:16:53]
365*2^824534-1 is not prime.  Res64: 85F4701BA8B38B0B  Time : 1042.0 sec.
user=vaughan
[2009-08-02 04:18:03]
351*2^824537-1 is not prime.  Res64: 78B3A31E881D8ED1  Time : 1003.0 sec.
user=vaughan
[2009-08-02 04:19:01]
351*2^824542-1 is not prime.  Res64: 9E989E6A7CB5AD0C  Time : 995.0 sec.
user=vaughan
[2009-08-02 04:25:27]
357*2^824552-1 is not prime.  Res64: 377FEAF50B5B8EE5  Time : 1114.0 sec.
user=vaughan
[2009-08-02 04:25:37]
363*2^824552-1 is not prime.  Res64: 4BB39891414F15AE  Time : 1115.0 sec.
user=vaughan
[2009-08-02 04:25:39]
363*2^824560-1 is not prime.  Res64: 2D964BE6549F65D1  Time : 1112.0 sec.
user=vaughan
[2009-08-02 04:30:46]
365*2^824546-1 is not prime.  Res64: 202366481AA4FCC9  Time : 1477.0 sec.
user=vaughan
[2009-08-02 04:32:11]
357*2^824568-1 is not prime.  Res64: D42B430EF9A38B39  Time : 986.0 sec.
user=cipher
[2009-08-02 04:32:14]
365*2^824564-1 is not prime.  Res64: A4EBAE307C9F30C8  Time : 1271.0 sec.
user=vaughan
[2009-08-02 04:32:14]
363*2^824570-1 is not prime.  Res64: 13A29A4DC9AB3619  Time : 988.0 sec.
user=vaughan
[2009-08-02 04:33:00]
351*2^824561-1 is not prime.  Res64: DE3AB9E1CDEC0700  Time : 1469.0 sec.
user=vaughan
[2009-08-02 04:33:50]
357*2^824577-1 is not prime.  Res64: 349C6F382325C00D  Time : 1017.0 sec.
user=vaughan
[2009-08-02 04:35:09]
351*2^824578-1 is not prime.  Res64: 3A48F74019978454  Time : 1027.0 sec.
user=vaughan
[2009-08-02 04:36:21]
363*2^824582-1 is not prime.  Res64: 4033960855C34EB4  Time : 1041.0 sec.
user=marco.bs
[2009-08-02 04:41:24]
363*2^824371-1 is not prime.  Res64: FEA7AC4D90D5DDFB  Time : 5284.0 sec.
user=vaughan
[2009-08-02 04:42:16]
355*2^824583-1 is not prime.  Res64: 82FBDE0C3370133F  Time : 1009.0 sec.
user=vaughan
[2009-08-02 04:42:21]
365*2^824584-1 is not prime.  Res64: C1FE8C29D9C6E462  Time : 1005.0 sec.
user=vaughan
[2009-08-02 04:42:26]
363*2^824588-1 is not prime.  Res64: 9341B74697D8CB33  Time : 1007.0 sec.
user=vaughan
[2009-08-02 04:49:22]
355*2^824597-1 is not prime.  Res64: DF94926FF92E1C17  Time : 1031.0 sec.
user=vaughan
[2009-08-02 04:49:29]
363*2^824607-1 is not prime.  Res64: 1F7A200916A615A4  Time : 1035.0 sec.
user=vaughan
[2009-08-02 04:50:08]
357*2^824614-1 is not prime.  Res64: 35539E76DF705B7C  Time : 978.0 sec.
user=vaughan
[2009-08-02 04:52:56]
355*2^824623-1 is not prime.  Res64: D180EB94500C809B  Time : 1067.0 sec.
user=vaughan
[2009-08-02 04:53:14]
361*2^824595-1 is not prime.  Res64: 3B98633A4EEA24AC  Time : 1349.0 sec.
user=cipher
[2009-08-02 04:53:24]
357*2^824597-1 is not prime.  Res64: 4D9E14AE88D0C581  Time : 1270.0 sec.
user=vaughan
[2009-08-02 04:54:04]
357*2^824625-1 is not prime.  Res64: 34D1EC6D7060074E  Time : 1064.0 sec.
user=vaughan
[2009-08-02 04:57:37]
361*2^824609-1 is not prime.  Res64: 88B8E492DEDC4DD1  Time : 1477.0 sec.
user=vaughan
[2009-08-02 04:58:45]
357*2^824633-1 is not prime.  Res64: F0E71EB9F287A4EB  Time : 990.0 sec.
user=vaughan
[2009-08-02 04:58:52]
365*2^824638-1 is not prime.  Res64: 9C60A5D245A60916  Time : 991.0 sec.
user=vaughan
[2009-08-02 04:58:55]
355*2^824645-1 is not prime.  Res64: 96E9F167DC297FF0  Time : 990.0 sec.
user=vaughan
[2009-08-02 05:06:26]
355*2^824661-1 is not prime.  Res64: 409D6003ACC9683B  Time : 978.0 sec.
user=vaughan
[2009-08-02 05:06:36]
363*2^824650-1 is not prime.  Res64: 4898B5E9999ECC3A  Time : 1027.0 sec.
user=vaughan
[2009-08-02 05:06:39]
357*2^824650-1 is not prime.  Res64: 3B0B8A5B698BEA1C  Time : 1038.0 sec.
user=vaughan
[2009-08-02 05:10:31]
351*2^824669-1 is not prime.  Res64: 544C6785D7F4E458  Time : 1056.0 sec.
user=vaughan
[2009-08-02 05:11:48]
357*2^824690-1 is not prime.  Res64: E6BF97B86594B5A3  Time : 1064.0 sec.
user=marco.bs
[2009-08-02 05:13:55]
365*2^824374-1 is not prime.  Res64: 60D0FFBB3F7B0DCF  Time : 7235.0 sec.
user=cipher
[2009-08-02 05:14:35]
363*2^824688-1 is not prime.  Res64: 998E2B381D66D06C  Time : 1271.0 sec.
user=vaughan
[2009-08-02 05:15:13]
361*2^824693-1 is not prime.  Res64: DC4934EB3D70E53E  Time : 988.0 sec.
user=vaughan
[2009-08-02 05:15:20]
365*2^824696-1 is not prime.  Res64: ECDFD30FA0296C9F  Time : 989.0 sec.
user=vaughan
[2009-08-02 05:15:23]
361*2^824697-1 is not prime.  Res64: 901881045991B976  Time : 988.0 sec.
user=vaughan
[2009-08-02 05:19:10]
363*2^824671-1 is not prime.  Res64: D1A2D12929B8BF7E  Time : 1556.0 sec.
user=vaughan
[2009-08-02 05:23:04]
363*2^824700-1 is not prime.  Res64: 2FA1AB46C8710B3F  Time : 999.0 sec.
user=vaughan
[2009-08-02 05:23:40]
363*2^824703-1 is not prime.  Res64: ECF602823D864B4E  Time : 1024.0 sec.
user=vaughan
[2009-08-02 05:23:51]
365*2^824710-1 is not prime.  Res64: D965B74F66E56251  Time : 1033.0 sec.
user=vaughan
[2009-08-02 05:24:06]
351*2^824693-1 is not prime.  Res64: 96BB3BA94C54BB7C  Time : 1589.0 sec.
user=vaughan
[2009-08-02 05:28:00]
355*2^824713-1 is not prime.  Res64: 17CFEF17B2C8FA62  Time : 1049.0 sec.
user=vaughan
[2009-08-02 05:29:11]
363*2^824720-1 is not prime.  Res64: 152B8D5E8689B1BF  Time : 1043.0 sec.
user=vaughan
[2009-08-02 05:33:17]
355*2^824725-1 is not prime.  Res64: F84A4ECA0633CB46  Time : 1084.0 sec.
user=vaughan
[2009-08-02 05:33:26]
351*2^824737-1 is not prime.  Res64: 79037875B42C2F83  Time : 1083.0 sec.
user=vaughan
[2009-08-02 05:33:40]
357*2^824732-1 is not prime.  Res64: B1CA538DDE9260FF  Time : 1101.0 sec.
user=vaughan
[2009-08-02 05:35:10]
355*2^824753-1 is not prime.  Res64: C6F6CEF4D33ADA77  Time : 755.0 sec.
user=vaughan
[2009-08-02 05:35:19]
361*2^824741-1 is not prime.  Res64: 110ECE0617EF2148  Time : 771.0 sec.
user=vaughan
[2009-08-02 05:35:23]
351*2^824753-1 is not prime.  Res64: F60337D932F17EA3  Time : 772.0 sec.
user=vaughan
[2009-08-02 05:35:33]
361*2^824757-1 is not prime.  Res64: 16763B599945EF12  Time : 773.0 sec.
user=cipher
[2009-08-02 05:35:49]
351*2^824722-1 is not prime.  Res64: 28CAF7459E783F5D  Time : 1274.0 sec.
user=vaughan
[2009-08-02 05:39:59]
363*2^824767-1 is not prime.  Res64: 7678B96B527034CE  Time : 979.0 sec.
user=vaughan
[2009-08-02 05:40:21]
355*2^824769-1 is not prime.  Res64: 8CAB6481BC705088  Time : 990.0 sec.
user=vaughan
[2009-08-02 05:40:24]
357*2^824765-1 is not prime.  Res64: 3CDC45EEA2B95AED  Time : 1040.0 sec.
user=marco.bs
[2009-08-02 05:42:27]
357*2^824377-1 is not prime.  Res64: 5D775F4CA43754EF  Time : 8947.0 sec.
user=vaughan
[2009-08-02 05:43:48]
355*2^824741-1 is not prime.  Res64: 6DBD1C5ADA908EDD  Time : 1478.0 sec.
user=vaughan
[2009-08-02 05:45:09]
357*2^824773-1 is not prime.  Res64: D86DC8C24B9B3AAB  Time : 1029.0 sec.
user=vaughan
[2009-08-02 05:46:15]
357*2^824777-1 is not prime.  Res64: C6BE09F5ED35F9F2  Time : 1024.0 sec.
user=vaughan
[2009-08-02 05:47:40]
355*2^824783-1 is not prime.  Res64: DCF4C4B00BC11729  Time : 751.0 sec.
user=vaughan
[2009-08-02 05:47:53]
363*2^824792-1 is not prime.  Res64: 3D303EAF90B50434  Time : 755.0 sec.
user=vaughan
[2009-08-02 05:48:03]
365*2^824800-1 is not prime.  Res64: CD567AC3C9E7ECE5  Time : 760.0 sec.
user=vaughan
[2009-08-02 05:48:13]
357*2^824804-1 is not prime.  Res64: DDB6DF79F6CB6804  Time : 760.0 sec.
user=vaughan
[2009-08-02 05:50:47]
357*2^824772-1 is not prime.  Res64: 23FA4EB0D023FA55  Time : 1601.0 sec.
user=vaughan
[2009-08-02 05:51:37]
363*2^824780-1 is not prime.  Res64: DEFD9332CD7B24FC  Time : 1100.0 sec.
user=vaughan
[2009-08-02 05:51:51]
357*2^824782-1 is not prime.  Res64: 8AE7191070CB52A6  Time : 1105.0 sec.
user=vaughan
[2009-08-02 05:52:02]
365*2^824782-1 is not prime.  Res64: E1CF763FA6E8BDCC  Time : 1102.0 sec.
user=cipher
[2009-08-02 05:57:07]
355*2^824807-1 is not prime.  Res64: EC28BB24F4BF372C  Time : 1278.0 sec.
user=vaughan
[2009-08-02 06:00:44]
363*2^824459-1 is not prime.  Res64: 75130231C03CAD6E  Time : 9981.0 sec.
user=vaughan
[2009-08-02 06:01:31]
363*2^824811-1 is not prime.  Res64: 173FF7FE09121F30  Time : 1292.0 sec.
user=vaughan
[2009-08-02 06:01:50]
355*2^824813-1 is not prime.  Res64: ECE7369C79057C67  Time : 1289.0 sec.
user=vaughan
[2009-08-02 06:01:56]
355*2^824817-1 is not prime.  Res64: 1C6BB863F69E68E0  Time : 1292.0 sec.
user=vaughan
[2009-08-02 06:02:12]
363*2^824824-1 is not prime.  Res64: BDC860601B2EE192  Time : 1024.0 sec.
user=vaughan
[2009-08-02 06:03:05]
355*2^824825-1 is not prime.  Res64: DF67170BA4917ECB  Time : 1010.0 sec.
user=vaughan
[2009-08-02 06:08:17]
365*2^824834-1 is not prime.  Res64: 0F6347E5E7CC0F7D  Time : 1000.0 sec.
user=vaughan
[2009-08-02 06:08:35]
361*2^824835-1 is not prime.  Res64: 133FC27B8356CC9D  Time : 1004.0 sec.
user=vaughan
[2009-08-02 06:08:47]
357*2^824837-1 is not prime.  Res64: E84F19CCDE3D2B30  Time : 1005.0 sec.
user=vaughan
[2009-08-02 06:09:37]
363*2^824832-1 is not prime.  Res64: A28E6479E16A04C5  Time : 1284.0 sec.
user=vaughan
[2009-08-02 06:09:37]
355*2^824829-1 is not prime.  Res64: 443AEB97A539FB8E  Time : 1305.0 sec.
user=vaughan
[2009-08-02 06:09:39]
351*2^824821-1 is not prime.  Res64: 302AE07A227F7582  Time : 1551.0 sec.
user=vaughan
[2009-08-02 06:09:41]
357*2^824828-1 is not prime.  Res64: BB157793D3E99C23  Time : 1321.0 sec.
user=vaughan
[2009-08-02 06:09:47]
351*2^824831-1 is not prime.  Res64: CDD4D2CC5BE134B4  Time : 1304.0 sec.
user=marco.bs
[2009-08-02 06:10:09]
365*2^824378-1 is not prime.  Res64: 157919B37A2F45AC  Time : 10608.0 sec.
user=vaughan
[2009-08-02 06:14:38]
351*2^824833-1 is not prime.  Res64: 2583601854A7C451  Time : 1431.0 sec.
user=vaughan
[2009-08-02 06:17:32]
363*2^824858-1 is not prime.  Res64: 8439C23C7EFEA41A  Time : 961.0 sec.
user=vaughan
[2009-08-02 06:17:54]
361*2^824865-1 is not prime.  Res64: D4EEC5D9A914AE30  Time : 964.0 sec.
user=cipher
[2009-08-02 06:18:25]
365*2^824840-1 is not prime.  Res64: 9210400D64C8EBAA  Time : 1278.0 sec.
user=vaughan
[2009-08-02 06:18:45]
363*2^824866-1 is not prime.  Res64: 3EE4E5C9DC38AE1A  Time : 1009.0 sec.
user=vaughan
[2009-08-02 06:18:50]
365*2^824870-1 is not prime.  Res64: 06F763066086C548  Time : 998.0 sec.
user=vaughan
[2009-08-02 06:19:29]
361*2^824877-1 is not prime.  Res64: 9A142761E17EA671  Time : 984.0 sec.
user=vaughan
[2009-08-02 06:25:03]
363*2^824896-1 is not prime.  Res64: 721085B96668FE9C  Time : 865.0 sec.
user=vaughan
[2009-08-02 06:25:16]
361*2^824885-1 is not prime.  Res64: F76FFFBED6B29186  Time : 940.0 sec.
user=vaughan
[2009-08-02 06:25:29]
351*2^824909-1 is not prime.  Res64: E00552FAC72CA6FA  Time : 887.0 sec.
user=vaughan
[2009-08-02 06:25:29]
355*2^824887-1 is not prime.  Res64: 233A7E84748D169F  Time : 942.0 sec.
user=vaughan
[2009-08-02 06:25:30]
357*2^824878-1 is not prime.  Res64: 714BD0C7241613E7  Time : 1033.0 sec.
user=vaughan
[2009-08-02 06:26:37]
361*2^824883-1 is not prime.  Res64: 8AF1499322CB41A0  Time : 1070.0 sec.
user=vaughan
[2009-08-02 06:26:41]
363*2^824878-1 is not prime.  Res64: F524461B3AC24F61  Time : 1086.0 sec.
user=vaughan
[2009-08-02 06:33:13]
363*2^824914-1 is not prime.  Res64: 5B7D2287D1DBE066  Time : 941.0 sec.
user=vaughan
[2009-08-02 06:34:39]
361*2^824915-1 is not prime.  Res64: A85217AE75F3288D  Time : 1005.0 sec.
user=marco.bs
[2009-08-02 06:36:22]
357*2^824380-1 is not prime.  Res64: 2A501A26A9CDBEE5  Time : 12181.0 sec.
user=vaughan
[2009-08-02 06:36:53]
355*2^824903-1 is not prime.  Res64: 1712DEDB78473CF0  Time : 1573.0 sec.
user=vaughan
[2009-08-02 06:36:54]
355*2^824925-1 is not prime.  Res64: C74AECC21BB15E55  Time : 1085.0 sec.
user=vaughan
[2009-08-02 06:36:54]
361*2^824925-1 is not prime.  Res64: 84E482CE1A2DC30C  Time : 1045.0 sec.
user=vaughan
[2009-08-02 06:36:56]
363*2^824924-1 is not prime.  Res64: 83974D847F41B635  Time : 1091.0 sec.
user=vaughan
[2009-08-02 06:37:57]
355*2^824913-1 is not prime.  Res64: D0F6DA2F5EFD0395  Time : 1399.0 sec.
user=vaughan
[2009-08-02 06:38:17]
357*2^824930-1 is not prime.  Res64: 230F8A17D50A53D8  Time : 794.0 sec.
user=vaughan
[2009-08-02 06:39:08]
357*2^824937-1 is not prime.  Res64: 2C540CDA91851BDB  Time : 820.0 sec.
user=vaughan
[2009-08-02 06:39:33]
355*2^824933-1 is not prime.  Res64: AF7523647E516AFC  Time : 857.0 sec.
user=cipher
[2009-08-02 06:39:37]
357*2^824918-1 is not prime.  Res64: EBBE455ACF1B0AAC  Time : 1272.0 sec.
user=vaughan
[2009-08-02 06:39:38]
357*2^824938-1 is not prime.  Res64: 0F7C853C1EFF1EB1  Time : 849.0 sec.
user=vaughan
[2009-08-02 06:42:09]
361*2^824939-1 is not prime.  Res64: 37AC37EEABD5F2E9  Time : 1000.0 sec.
user=vaughan
[2009-08-02 06:43:18]
363*2^824942-1 is not prime.  Res64: 85F697A683CC0046  Time : 1001.0 sec.
user=vaughan
[2009-08-02 06:43:22]
357*2^824944-1 is not prime.  Res64: 06E381E52EA24EA8  Time : 1001.0 sec.
user=vaughan
[2009-08-02 06:48:50]
351*2^824951-1 is not prime.  Res64: BB51F83E77A6578C  Time : 937.0 sec.
user=vaughan
[2009-08-02 06:50:14]
361*2^824955-1 is not prime.  Res64: 493A9E145B2AF84A  Time : 935.0 sec.
user=vaughan
[2009-08-02 06:51:24]
355*2^824977-1 is not prime.  Res64: 50570D2715FDD00F  Time : 788.0 sec.
user=vaughan
[2009-08-02 06:52:41]
361*2^824981-1 is not prime.  Res64: 80AAF3BA166BBA7D  Time : 813.0 sec.
user=vaughan
[2009-08-02 06:52:52]
351*2^824963-1 is not prime.  Res64: 93F5AC7DA9EAED53  Time : 958.0 sec.
user=vaughan
[2009-08-02 06:53:13]
357*2^824970-1 is not prime.  Res64: EDF5193A1E42F61A  Time : 977.0 sec.
user=vaughan
[2009-08-02 06:53:33]
363*2^824986-1 is not prime.  Res64: 2BB51218D44267B1  Time : 840.0 sec.
user=vaughan
[2009-08-02 06:53:37]
351*2^824998-1 is not prime.  Res64: 828DF15D278AC03D  Time : 840.0 sec.
user=vaughan
[2009-08-02 06:54:02]
355*2^824975-1 is not prime.  Res64: F2224034180EAC4B  Time : 967.0 sec.
user=vaughan
[2009-08-02 06:58:35]
363*2^825000-1 is not prime.  Res64: AA51CE6CC0F07512  Time : 987.0 sec.
user=vaughan
[2009-08-02 06:58:47]
361*2^824957-1 is not prime.  Res64: 7D06520471CF19AA  Time : 1315.0 sec.
user=vaughan
[2009-08-02 06:59:44]
351*2^825007-1 is not prime.  Res64: 17A8B3252F8A10C5  Time : 986.0 sec.
user=vaughan
[2009-08-02 06:59:48]
361*2^825009-1 is not prime.  Res64: 975F510B527E2954  Time : 986.0 sec.
user=cipher
[2009-08-02 07:00:49]
365*2^824996-1 is not prime.  Res64: EC1A525BF4849B3B  Time : 1272.0 sec.
user=vaughan
[2009-08-02 07:01:19]
363*2^824976-1 is not prime.  Res64: 05C8E5E0919E494B  Time : 1402.0 sec.
user=marco.bs
[2009-08-02 07:02:15]
351*2^824389-1 is not prime.  Res64: 1F1E240870F8A112  Time : 13733.0 sec.
user=vaughan
[2009-08-02 07:04:29]
363*2^825014-1 is not prime.  Res64: D0568F1C5EE9AB12  Time : 939.0 sec.
user=vaughan
[2009-08-02 07:04:33]
351*2^825026-1 is not prime.  Res64: DA4371F9D3F51B14  Time : 789.0 sec.
user=vaughan
[2009-08-02 07:05:51]
363*2^825022-1 is not prime.  Res64: C449442D34BE62DB  Time : 938.0 sec.
user=vaughan
[2009-08-02 07:06:15]
355*2^825029-1 is not prime.  Res64: 8A34C4E6C008E2C9  Time : 814.0 sec.
user=vaughan
[2009-08-02 07:07:37]
361*2^825053-1 is not prime.  Res64: 93A6A8D5E4E523B8  Time : 840.0 sec.
user=vaughan
[2009-08-02 07:07:37]
365*2^825050-1 is not prime.  Res64: C0FD19DE9DA0BA4D  Time : 844.0 sec.
user=vaughan
[2009-08-02 07:08:51]
351*2^825041-1 is not prime.  Res64: BF210EE581DF2602  Time : 960.0 sec.
user=vaughan
[2009-08-02 07:09:30]
351*2^825049-1 is not prime.  Res64: CAFFAB46C61A41CC  Time : 977.0 sec.
user=vaughan
[2009-08-02 07:10:08]
361*2^825057-1 is not prime.  Res64: D9C31A5A917ABE77  Time : 967.0 sec.
user=vaughan
[2009-08-02 07:15:02]
355*2^825063-1 is not prime.  Res64: CBF5FC67A75C9E44  Time : 987.0 sec.
user=vaughan
[2009-08-02 07:16:11]
363*2^825074-1 is not prime.  Res64: EA8FA489CB8FECBD  Time : 987.0 sec.
user=vaughan
[2009-08-02 07:16:16]
363*2^825075-1 is not prime.  Res64: 7787EA49261667D3  Time : 988.0 sec.
user=vaughan
[2009-08-02 07:20:07]
365*2^825094-1 is not prime.  Res64: 94E02F720B7106A3  Time : 938.0 sec.
user=vaughan
[2009-08-02 07:21:29]
361*2^825099-1 is not prime.  Res64: 99B8C04FB4096A00  Time : 939.0 sec.
user=vaughan
[2009-08-02 07:22:01]
363*2^825067-1 is not prime.  Res64: 74F5134D6DAC8264  Time : 1394.0 sec.
user=cipher
[2009-08-02 07:22:02]
357*2^825082-1 is not prime.  Res64: BF6557168EFB494F  Time : 1274.0 sec.
user=vaughan
[2009-08-02 07:24:41]
355*2^825085-1 is not prime.  Res64: 59AFF01F7BCF3544  Time : 1402.0 sec.
user=vaughan
[2009-08-02 07:24:51]
363*2^825111-1 is not prime.  Res64: 634272F849FC882A  Time : 960.0 sec.
user=vaughan
[2009-08-02 07:25:48]
361*2^825113-1 is not prime.  Res64: E680D0AE679E9F9F  Time : 978.0 sec.
user=vaughan
[2009-08-02 07:26:17]
357*2^825117-1 is not prime.  Res64: 094D9669731F05AB  Time : 969.0 sec.
user=marco.bs
[2009-08-02 07:28:17]
355*2^824391-1 is not prime.  Res64: F11893D1FAFB5D7C  Time : 15295.0 sec.
user=vaughan
[2009-08-02 07:31:29]
351*2^825118-1 is not prime.  Res64: B1E253A3F9AC55A0  Time : 987.0 sec.
user=vaughan
[2009-08-02 07:32:40]
361*2^825119-1 is not prime.  Res64: FCA9D03040394909  Time : 989.0 sec.
user=vaughan
[2009-08-02 07:32:45]
357*2^825120-1 is not prime.  Res64: 60C7696696466D31  Time : 989.0 sec.
user=vaughan
[2009-08-02 07:33:42]
363*2^825123-1 is not prime.  Res64: 143CFA81B10C63F5  Time : 954.0 sec.
user=vaughan
[2009-08-02 07:35:46]
351*2^825137-1 is not prime.  Res64: C89C64151B965628  Time : 939.0 sec.
user=vaughan
[2009-08-02 07:37:07]
355*2^825141-1 is not prime.  Res64: 71B73458EA4A9BF9  Time : 939.0 sec.
user=vaughan
[2009-08-02 07:40:51]
361*2^825149-1 is not prime.  Res64: 0190F0FA3754C6B0  Time : 960.0 sec.
user=vaughan
[2009-08-02 07:42:07]
363*2^825152-1 is not prime.  Res64: 4FF901857B70BF07  Time : 979.0 sec.
user=vaughan
[2009-08-02 07:42:23]
357*2^825153-1 is not prime.  Res64: 3C2FDB32FBD49649  Time : 967.0 sec.
user=cipher
[2009-08-02 07:43:16]
363*2^825146-1 is not prime.  Res64: EC839231C15E92C0  Time : 1274.0 sec.
user=vaughan
[2009-08-02 07:43:55]
351*2^825146-1 is not prime.  Res64: 96CBAB575B7C5FC5  Time : 1314.0 sec.
user=vaughan
[2009-08-02 07:47:58]
355*2^825165-1 is not prime.  Res64: 06D882BC5729DDE7  Time : 990.0 sec.
user=vaughan
[2009-08-02 07:48:02]
351*2^825149-1 is not prime.  Res64: 1965FA6BF775B67D  Time : 1401.0 sec.
user=vaughan
[2009-08-02 07:49:08]
365*2^825170-1 is not prime.  Res64: D46EE4F4B2720F0E  Time : 988.0 sec.
user=vaughan
[2009-08-02 07:49:13]
355*2^825173-1 is not prime.  Res64: 35CA487DC5FB0A46  Time : 989.0 sec.
user=vaughan
[2009-08-02 07:49:40]
357*2^825173-1 is not prime.  Res64: 95EC9DEF7485FC2D  Time : 958.0 sec.
user=vaughan
[2009-08-02 07:51:25]
351*2^825179-1 is not prime.  Res64: 2B1FFB7DBF558CB3  Time : 939.0 sec.
user=vaughan
[2009-08-02 07:52:45]
363*2^825179-1 is not prime.  Res64: FD587E69AD8AC318  Time : 939.0 sec.
user=marco.bs
[2009-08-02 07:54:23]
355*2^824393-1 is not prime.  Res64: 0F615C8619AB4366  Time : 16860.0 sec.
user=vaughan
[2009-08-02 07:56:53]
351*2^825181-1 is not prime.  Res64: E0CB6C3F2B60742E  Time : 962.0 sec.
user=vaughan
[2009-08-02 07:58:27]
357*2^825190-1 is not prime.  Res64: 2C45831347324E92  Time : 980.0 sec.
user=vaughan
[2009-08-02 07:58:30]
357*2^825193-1 is not prime.  Res64: 5702946DE406A707  Time : 967.0 sec.
user=vaughan
[2009-08-02 08:04:27]
365*2^825218-1 is not prime.  Res64: 502EA8395EBA7B78  Time : 990.0 sec.
user=cipher
[2009-08-02 08:04:30]
355*2^825199-1 is not prime.  Res64: 57C41D26B4E73B3F  Time : 1274.0 sec.
user=vaughan
[2009-08-02 08:05:38]
363*2^825219-1 is not prime.  Res64: F4C3C964BB418345  Time : 990.0 sec.
user=vaughan
[2009-08-02 08:05:42]
363*2^825228-1 is not prime.  Res64: 759F52C97B7AD618  Time : 990.0 sec.
user=vaughan
[2009-08-02 08:07:06]
355*2^825229-1 is not prime.  Res64: CFEBFDEBBF7F1CE3  Time : 941.0 sec.
user=vaughan
[2009-08-02 08:07:10]
357*2^825218-1 is not prime.  Res64: F085134EDBC7C0A3  Time : 1396.0 sec.
user=vaughan
[2009-08-02 08:08:24]
363*2^825230-1 is not prime.  Res64: B94BB16798A9E258  Time : 939.0 sec.
user=vaughan
[2009-08-02 08:10:08]
361*2^825219-1 is not prime.  Res64: D770C1CC0A7D864C  Time : 1326.0 sec.
user=vaughan
[2009-08-02 08:12:55]
355*2^825245-1 is not prime.  Res64: 4778621C8EDA5F04  Time : 962.0 sec.
user=vaughan
[2009-08-02 08:14:38]
357*2^825252-1 is not prime.  Res64: 66A486A57806DEDA  Time : 968.0 sec.
user=vaughan
[2009-08-02 08:14:45]
361*2^825251-1 is not prime.  Res64: D634310F6A1F8A3E  Time : 979.0 sec.
user=marco.bs
[2009-08-02 08:20:20]
357*2^824393-1 is not prime.  Res64: 02647CEDA58D7F6E  Time : 18416.0 sec.
user=vaughan
[2009-08-02 08:20:54]
357*2^825257-1 is not prime.  Res64: 6026E6783D2EEC72  Time : 988.0 sec.
user=vaughan
[2009-08-02 08:22:07]
351*2^825259-1 is not prime.  Res64: C28BE9B61335ABD6  Time : 989.0 sec.
user=vaughan
[2009-08-02 08:22:11]
355*2^825261-1 is not prime.  Res64: F30E9DD3AF9DF94C  Time : 990.0 sec.
user=vaughan
[2009-08-02 08:22:45]
363*2^825266-1 is not prime.  Res64: D21894D59564A0B7  Time : 939.0 sec.
user=vaughan
[2009-08-02 08:24:02]
361*2^825269-1 is not prime.  Res64: 21644E8907070D2A  Time : 938.0 sec.
user=cipher
[2009-08-02 08:25:44]
361*2^825257-1 is not prime.  Res64: D5E3C592D348D8E0  Time : 1275.0 sec.
user=vaughan
[2009-08-02 08:28:58]
361*2^825273-1 is not prime.  Res64: 2DFC8B8D6ED79D9B  Time : 963.0 sec.
user=vaughan
[2009-08-02 08:29:04]
363*2^825267-1 is not prime.  Res64: 455343D5DA855741  Time : 1314.0 sec.
user=vaughan
[2009-08-02 08:30:46]
363*2^825275-1 is not prime.  Res64: C67D7306C089CFC7  Time : 968.0 sec.
user=vaughan
[2009-08-02 08:31:03]
363*2^825278-1 is not prime.  Res64: B4944CE6C4662A95  Time : 978.0 sec.
user=vaughan
[2009-08-02 08:33:28]
355*2^825271-1 is not prime.  Res64: D0DBDD2AFA891100  Time : 1400.0 sec.
user=vaughan
[2009-08-02 08:37:22]
365*2^825284-1 is not prime.  Res64: B4D045381BAC1704  Time : 988.0 sec.
user=vaughan
[2009-08-02 08:38:25]
351*2^825289-1 is not prime.  Res64: 9657F720E13F420A  Time : 940.0 sec.
user=vaughan
[2009-08-02 08:38:36]
355*2^825285-1 is not prime.  Res64: E5A728C176607B22  Time : 989.0 sec.
user=vaughan
[2009-08-02 08:38:40]
363*2^825287-1 is not prime.  Res64: D83C115D35283829  Time : 990.0 sec.
user=vaughan
[2009-08-02 08:39:41]
365*2^825290-1 is not prime.  Res64: 788A5DFA680AAE94  Time : 939.0 sec.
user=vaughan
[2009-08-02 08:45:02]
361*2^825297-1 is not prime.  Res64: EDE57140668E65A0  Time : 964.0 sec.
user=vaughan
[2009-08-02 08:45:30]
365*2^824842-1 is not prime.  Res64: CBDDFFE2E9E544E9  Time : 9887.0 sec.
user=marco.bs
[2009-08-02 08:46:21]
355*2^824397-1 is not prime.  Res64: FCFD54200FA489D4  Time : 19977.0 sec.
user=vaughan
[2009-08-02 08:46:55]
357*2^825305-1 is not prime.  Res64: 6397B4AA5B07B517  Time : 969.0 sec.
user=cipher
[2009-08-02 08:46:59]
357*2^825293-1 is not prime.  Res64: 241C416F7EC4B0A3  Time : 1275.0 sec.
user=vaughan
[2009-08-02 08:47:22]
355*2^825311-1 is not prime.  Res64: A7138D95ADDEA21C  Time : 979.0 sec.
user=vaughan
[2009-08-02 08:53:51]
351*2^825313-1 is not prime.  Res64: 3153EF7E316A0FE2  Time : 989.0 sec.
user=vaughan
[2009-08-02 08:54:07]
363*2^825314-1 is not prime.  Res64: 8B5E01D445A9DB6B  Time : 942.0 sec.
user=vaughan
[2009-08-02 08:55:07]
365*2^825314-1 is not prime.  Res64: 820F2781E94B9D61  Time : 991.0 sec.
user=vaughan
[2009-08-02 08:55:11]
355*2^825319-1 is not prime.  Res64: 5039BB4251ACCE99  Time : 991.0 sec.
user=vaughan
[2009-08-02 08:55:22]
355*2^825327-1 is not prime.  Res64: D375143F0A970C4D  Time : 941.0 sec.
user=vaughan
[2009-08-02 09:00:47]
361*2^825311-1 is not prime.  Res64: EE811D9AAD0C34A6  Time : 1640.0 sec.
user=vaughan
[2009-08-02 09:01:06]
361*2^825329-1 is not prime.  Res64: 6E6D7E059CA8B370  Time : 964.0 sec.
user=vaughan
[2009-08-02 09:01:22]
363*2^825304-1 is not prime.  Res64: A01C637A7BC7CF73  Time : 1938.0 sec.
user=vaughan
[2009-08-02 09:03:04]
361*2^825339-1 is not prime.  Res64: F9A5B4D9885502CA  Time : 970.0 sec.
user=vaughan
[2009-08-02 09:03:42]
361*2^825345-1 is not prime.  Res64: 903570449352C52F  Time : 981.0 sec.
user=cipher
[2009-08-02 09:08:19]
357*2^825345-1 is not prime.  Res64: 124C03E4CF91D6CE  Time : 1280.0 sec.
user=vaughan
[2009-08-02 09:09:48]
355*2^825353-1 is not prime.  Res64: 8D3D27A48E3F219F  Time : 942.0 sec.
user=vaughan
[2009-08-02 09:10:20]
365*2^825346-1 is not prime.  Res64: 4D05DCEFD8462CCB  Time : 990.0 sec.
user=vaughan
[2009-08-02 09:11:02]
351*2^825358-1 is not prime.  Res64: EF56BFDBF7A125F9  Time : 940.0 sec.
user=vaughan
[2009-08-02 09:11:36]
365*2^825356-1 is not prime.  Res64: 0AEAA85BB9730B19  Time : 989.0 sec.
user=vaughan
[2009-08-02 09:11:41]
355*2^825357-1 is not prime.  Res64: 64FA111FA42EC417  Time : 990.0 sec.
user=marco.bs
[2009-08-02 09:12:19]
363*2^824398-1 is not prime.  Res64: B0EBA5D90F2315F0  Time : 21534.0 sec.
user=vaughan
[2009-08-02 09:17:11]
355*2^825361-1 is not prime.  Res64: FDD6BFF33D35CBB5  Time : 966.0 sec.
user=vaughan
[2009-08-02 09:19:13]
361*2^825363-1 is not prime.  Res64: A8C8647C222419F5  Time : 969.0 sec.
user=vaughan
[2009-08-02 09:20:03]
363*2^825363-1 is not prime.  Res64: 5DEB94282B1436E0  Time : 982.0 sec.
user=vaughan
[2009-08-02 09:23:17]
357*2^825362-1 is not prime.  Res64: 0EDAB1F0C28B6BDA  Time : 1315.0 sec.
user=vaughan
[2009-08-02 09:24:10]
355*2^825359-1 is not prime.  Res64: F9DC5C855D15322D  Time : 1404.0 sec.
user=vaughan
[2009-08-02 09:25:29]
361*2^825365-1 is not prime.  Res64: 82BB20CD251FAFB9  Time : 942.0 sec.
user=vaughan
[2009-08-02 09:26:43]
357*2^825370-1 is not prime.  Res64: 06B7DBB1717B0E9F  Time : 941.0 sec.
user=vaughan
[2009-08-02 09:27:03]
357*2^825368-1 is not prime.  Res64: 7D0E09F611E4D891  Time : 1004.0 sec.
user=vaughan
[2009-08-02 09:28:22]
361*2^825371-1 is not prime.  Res64: 41C59FCBFD5AD04A  Time : 1007.0 sec.
user=vaughan
[2009-08-02 09:28:25]
363*2^825382-1 is not prime.  Res64: CE8D822DE682B3DD  Time : 1004.0 sec.
user=cipher
[2009-08-02 09:29:34]
355*2^825365-1 is not prime.  Res64: 42DE8A4D406A310F  Time : 1275.0 sec.
user=vaughan
[2009-08-02 09:33:15]
363*2^825391-1 is not prime.  Res64: 22ADB621A2DE375F  Time : 965.0 sec.
user=vaughan
[2009-08-02 09:35:24]
363*2^825395-1 is not prime.  Res64: 282F4649E27E305A  Time : 971.0 sec.
user=vaughan
[2009-08-02 09:36:33]
363*2^825396-1 is not prime.  Res64: 20D2DFE2CDB9B044  Time : 990.0 sec.
user=marco.bs
[2009-08-02 09:38:43]
351*2^824401-1 is not prime.  Res64: 0E6471776ADF7923  Time : 23118.0 sec.
user=vaughan
[2009-08-02 09:41:10]
351*2^825406-1 is not prime.  Res64: E18AC2BB5BFE15A0  Time : 941.0 sec.
user=vaughan
[2009-08-02 09:41:52]
351*2^825098-1 is not prime.  Res64: 6B7E45823ABE8B08  Time : 9440.0 sec.
user=vaughan
[2009-08-02 09:42:25]
363*2^825406-1 is not prime.  Res64: 50CBEBC7C3E3E923  Time : 943.0 sec.
user=vaughan
[2009-08-02 09:43:50]
363*2^825410-1 is not prime.  Res64: 3F28EC8FF96095AE  Time : 1008.0 sec.
user=vaughan
[2009-08-02 09:45:09]
361*2^825417-1 is not prime.  Res64: 5EC364BBEB334D59  Time : 1008.0 sec.
user=vaughan
[2009-08-02 09:45:10]
363*2^825418-1 is not prime.  Res64: 9FBFBF6C2E710367  Time : 1005.0 sec.
user=vaughan
[2009-08-02 09:46:18]
355*2^825397-1 is not prime.  Res64: 631A7FBCFE6D1CDE  Time : 1381.0 sec.
user=vaughan
[2009-08-02 09:47:25]
363*2^825400-1 is not prime.  Res64: 4ABC8811FC3F2DFE  Time : 1395.0 sec.
user=vaughan
[2009-08-02 09:49:19]
351*2^825433-1 is not prime.  Res64: C3DD06DB3A71B643  Time : 964.0 sec.
user=cipher
[2009-08-02 09:50:48]
351*2^825421-1 is not prime.  Res64: 0C5898838988C3E0  Time : 1274.0 sec.
user=vaughan
[2009-08-02 09:51:44]
355*2^825433-1 is not prime.  Res64: AE2B45E11808B722  Time : 980.0 sec.
user=vaughan
[2009-08-02 09:53:02]
355*2^825441-1 is not prime.  Res64: 837FA511FE4B8299  Time : 989.0 sec.
user=vaughan
[2009-08-02 09:57:00]
363*2^825447-1 is not prime.  Res64: 7D17509E14B44BE5  Time : 950.0 sec.
user=vaughan
[2009-08-02 09:58:13]
357*2^825457-1 is not prime.  Res64: 111EF7585ED2A8AD  Time : 948.0 sec.
user=vaughan
[2009-08-02 10:00:27]
361*2^825459-1 is not prime.  Res64: 3E4049D9D4FF5E30  Time : 997.0 sec.
user=vaughan
[2009-08-02 10:01:45]
357*2^825460-1 is not prime.  Res64: F2748019B1BFBDA9  Time : 996.0 sec.
user=vaughan
[2009-08-02 10:01:46]
355*2^825473-1 is not prime.  Res64: 73E346658BCE75FA  Time : 996.0 sec.
user=marco.bs
[2009-08-02 10:04:45]
355*2^824401-1 is not prime.  Res64: DD83AC1EC558C28A  Time : 24679.0 sec.
user=vaughan
[2009-08-02 10:05:30]
365*2^825484-1 is not prime.  Res64: 5D764AABB6E6D7B0  Time : 971.0 sec.
user=vaughan
[2009-08-02 10:08:05]
355*2^825487-1 is not prime.  Res64: E38052AF098F6CCF  Time : 982.0 sec.
user=vaughan
[2009-08-02 10:08:14]
361*2^825473-1 is not prime.  Res64: 728F1C609035665F  Time : 1316.0 sec.
user=vaughan
[2009-08-02 10:09:21]
357*2^825488-1 is not prime.  Res64: 45268FD57C0A2AD8  Time : 980.0 sec.
user=vaughan
[2009-08-02 10:09:30]
355*2^825479-1 is not prime.  Res64: 9B44F2C40CFE56F8  Time : 1326.0 sec.
user=cipher
[2009-08-02 10:12:37]
351*2^825487-1 is not prime.  Res64: BF95CDF02F59DF0D  Time : 1309.0 sec.
user=vaughan
[2009-08-02 10:12:44]
355*2^825489-1 is not prime.  Res64: 7D69A8D05D3B7085  Time : 944.0 sec.
user=vaughan
[2009-08-02 10:13:56]
357*2^825493-1 is not prime.  Res64: E4106E1598FFFE66  Time : 944.0 sec.
user=vaughan
[2009-08-02 10:16:57]
357*2^825513-1 is not prime.  Res64: 57FF1563619E1EC1  Time : 991.0 sec.
user=vaughan
[2009-08-02 10:18:17]
363*2^825514-1 is not prime.  Res64: 29BB161888343A12  Time : 992.0 sec.
user=vaughan
[2009-08-02 10:18:19]
363*2^825516-1 is not prime.  Res64: 4F436246D197BC1D  Time : 993.0 sec.
user=vaughan
[2009-08-02 10:21:35]
355*2^825525-1 is not prime.  Res64: E1806FB276047A58  Time : 966.0 sec.
user=vaughan
[2009-08-02 10:24:22]
363*2^825526-1 is not prime.  Res64: DD13FE190D29FE67  Time : 979.0 sec.
user=vaughan
[2009-08-02 10:25:44]
351*2^825533-1 is not prime.  Res64: A1D3D7063D0AE291  Time : 983.0 sec.
user=vaughan
[2009-08-02 10:28:27]
363*2^825536-1 is not prime.  Res64: 2E465AA9F3058130  Time : 945.0 sec.
user=vaughan
[2009-08-02 10:29:42]
355*2^825537-1 is not prime.  Res64: 5CB459ED51D7128D  Time : 947.0 sec.
user=marco.bs
[2009-08-02 10:30:43]
361*2^824403-1 is not prime.  Res64: 1DEB0DD0A6B1FCCF  Time : 26237.0 sec.
user=vaughan
[2009-08-02 10:31:19]
363*2^825528-1 is not prime.  Res64: 6BD21EAFE1B039E6  Time : 1385.0 sec.
user=vaughan
[2009-08-02 10:32:46]
357*2^825533-1 is not prime.  Res64: 102132553532E938  Time : 1396.0 sec.
user=vaughan
[2009-08-02 10:33:27]
351*2^825539-1 is not prime.  Res64: B6BA9C8E5D9FA6AE  Time : 991.0 sec.
user=vaughan
[2009-08-02 10:34:50]
363*2^825540-1 is not prime.  Res64: A1C23459EFCBD914  Time : 992.0 sec.
user=vaughan
[2009-08-02 10:34:52]
363*2^825539-1 is not prime.  Res64: B28E6E87AAB0299D  Time : 996.0 sec.
user=cipher
[2009-08-02 10:36:51]
361*2^825533-1 is not prime.  Res64: 27EDD35DB3761C96  Time : 1454.0 sec.
user=vaughan
[2009-08-02 10:37:31]
357*2^825102-1 is not prime.  Res64: 09202E9564F90E6D  Time : 12676.0 sec.
user=vaughan
[2009-08-02 10:37:37]
365*2^825542-1 is not prime.  Res64: 38D6880ADB4F5DB0  Time : 963.0 sec.
user=vaughan
[2009-08-02 10:40:37]
361*2^825543-1 is not prime.  Res64: DE059627DB14FB50  Time : 976.0 sec.
user=vaughan
[2009-08-02 10:42:06]
363*2^825547-1 is not prime.  Res64: BFB752ED0D8B5210  Time : 983.0 sec.
user=vaughan
[2009-08-02 10:44:10]
363*2^825550-1 is not prime.  Res64: 5E68176EF1D39FAD  Time : 943.0 sec.
user=vaughan
[2009-08-02 10:45:26]
351*2^825553-1 is not prime.  Res64: F080B15C1BFD7767  Time : 945.0 sec.
user=vaughan
[2009-08-02 10:49:59]
357*2^825560-1 is not prime.  Res64: 6EA58E3E70956FDE  Time : 993.0 sec.
user=vaughan
[2009-08-02 10:51:19]
363*2^825568-1 is not prime.  Res64: 7ECD403E3EC0EF0A  Time : 991.0 sec.
user=vaughan
[2009-08-02 10:51:22]
355*2^825561-1 is not prime.  Res64: 27511EF533CB0C59  Time : 991.0 sec.
user=vaughan
[2009-08-02 10:53:16]
351*2^825557-1 is not prime.  Res64: CF756CD7DC77F5C2  Time : 1317.0 sec.
user=vaughan
[2009-08-02 10:53:39]
351*2^825577-1 is not prime.  Res64: 36000B5963B833AA  Time : 962.0 sec.
user=vaughan
[2009-08-02 10:54:58]
357*2^825557-1 is not prime.  Res64: 59B0D07C7F9ECCF9  Time : 1332.0 sec.
user=vaughan
[2009-08-02 10:56:56]
351*2^825578-1 is not prime.  Res64: 09A256988B63E6EC  Time : 980.0 sec.
user=marco.bs
[2009-08-02 10:57:11]
357*2^824405-1 is not prime.  Res64: 2C4C24582F3AE646  Time : 27825.0 sec.
user=cipher
[2009-08-02 10:58:18]
351*2^825569-1 is not prime.  Res64: 76DA61D97186EC6A  Time : 1287.0 sec.
user=vaughan
[2009-08-02 10:58:29]
357*2^825578-1 is not prime.  Res64: 47876ABDB12D24E2  Time : 984.0 sec.
user=vaughan
[2009-08-02 10:59:56]
361*2^825581-1 is not prime.  Res64: 677B5E295732BD99  Time : 946.0 sec.
user=vaughan
[2009-08-02 11:00:44]
355*2^825109-1 is not prime.  Res64: C29846EABD29C3E1  Time : 13987.0 sec.
user=vaughan
[2009-08-02 11:01:12]
351*2^825583-1 is not prime.  Res64: 9DCC34A81AD54C71  Time : 946.0 sec.
user=vaughan
[2009-08-02 11:01:13]
363*2^825103-1 is not prime.  Res64: 3D1647B7FF2C83BE  Time : 14016.0 sec.
user=vaughan
[2009-08-02 11:06:30]
351*2^825586-1 is prime!  Time : 991.0 sec.
user=vaughan
[2009-08-02 11:07:49]
357*2^825589-1 is not prime.  Res64: 3F1E8FA123CFA4F7  Time : 990.0 sec.
user=vaughan
[2009-08-02 11:07:52]
363*2^825592-1 is not prime.  Res64: 3127332C3698B806  Time : 990.0 sec.
user=vaughan
[2009-08-02 11:09:41]
357*2^825597-1 is not prime.  Res64: 1C3D78254CC38D3B  Time : 963.0 sec.
user=vaughan
[2009-08-02 11:13:14]
351*2^825599-1 is not prime.  Res64: 23B150F768AD2E64  Time : 978.0 sec.
user=vaughan
[2009-08-02 11:14:51]
355*2^825609-1 is not prime.  Res64: 20F0C1EC5C9B70C0  Time : 983.0 sec.
user=vaughan
[2009-08-02 11:15:18]
363*2^825596-1 is not prime.  Res64: CAC2EDA668B2833D  Time : 1322.0 sec.
user=vaughan
[2009-08-02 11:15:40]
357*2^825609-1 is not prime.  Res64: 993D847C01A62BC9  Time : 945.0 sec.
user=vaughan
[2009-08-02 11:16:57]
363*2^825614-1 is not prime.  Res64: 598D775888EE0E12  Time : 946.0 sec.
user=vaughan
[2009-08-02 11:18:15]
361*2^825597-1 is not prime.  Res64: F109A057216FCD51  Time : 1399.0 sec.
user=cipher
[2009-08-02 11:19:32]
357*2^825608-1 is not prime.  Res64: ECF6A3C5949103E9  Time : 1274.0 sec.
user=vaughan
[2009-08-02 11:23:01]
355*2^825631-1 is not prime.  Res64: 27D12A111BA9D335  Time : 991.0 sec.
user=marco.bs
[2009-08-02 11:23:13]
357*2^824408-1 is not prime.  Res64: 139396CC932B68DE  Time : 29386.0 sec.
user=vaughan
[2009-08-02 11:24:19]
355*2^825633-1 is not prime.  Res64: B0B7BF8C8FDAAD81  Time : 990.0 sec.
user=vaughan
[2009-08-02 11:24:22]
363*2^825638-1 is not prime.  Res64: B785E07C7916D5E8  Time : 991.0 sec.
user=vaughan
[2009-08-02 11:25:43]
361*2^825639-1 is not prime.  Res64: A511DD58F1E900FC  Time : 963.0 sec.
user=vaughan
[2009-08-02 11:29:32]
363*2^825639-1 is not prime.  Res64: 22210F6988BBCF37  Time : 979.0 sec.
user=vaughan
[2009-08-02 11:29:42]
357*2^825333-1 is not prime.  Res64: 968871CD9B280540  Time : 9852.0 sec.
user=vaughan
[2009-08-02 11:31:17]
361*2^825641-1 is not prime.  Res64: D801CA916BFC9494  Time : 986.0 sec.
user=vaughan
[2009-08-02 11:31:25]
351*2^825658-1 is not prime.  Res64: 1F08EB3A2086827F  Time : 945.0 sec.
user=vaughan
[2009-08-02 11:32:40]
351*2^825661-1 is not prime.  Res64: AF74968404C01540  Time : 944.0 sec.
user=vaughan
[2009-08-02 11:37:19]
357*2^825644-1 is not prime.  Res64: 356DB77552449D94  Time : 1321.0 sec.
user=vaughan
[2009-08-02 11:39:40]
363*2^825664-1 is not prime.  Res64: CF28A95ECEDFBE1B  Time : 1000.0 sec.
user=vaughan
[2009-08-02 11:40:21]
355*2^825663-1 is not prime.  Res64: F8D3EBC90310414D  Time : 1327.0 sec.
user=cipher
[2009-08-02 11:40:52]
363*2^825663-1 is not prime.  Res64: 2FFE2427D73E2939  Time : 1280.0 sec.
user=vaughan
[2009-08-02 11:40:56]
357*2^825668-1 is not prime.  Res64: DE5BAC9BE3313A48  Time : 998.0 sec.
user=vaughan
[2009-08-02 11:40:59]
361*2^825669-1 is not prime.  Res64: E08E2CA14D76D8AF  Time : 997.0 sec.
user=vaughan
[2009-08-02 11:41:45]
361*2^825671-1 is not prime.  Res64: DE23452F7DF03B77  Time : 963.0 sec.
user=vaughan
[2009-08-02 11:45:55]
365*2^825674-1 is not prime.  Res64: 671FC001EC453EEF  Time : 983.0 sec.
user=vaughan
[2009-08-02 11:47:09]
357*2^825688-1 is not prime.  Res64: B8095F3CFE415532  Time : 945.0 sec.
user=vaughan
[2009-08-02 11:47:38]
361*2^825683-1 is not prime.  Res64: 75C382695967A39D  Time : 982.0 sec.
user=vaughan
[2009-08-02 11:48:26]
351*2^825689-1 is not prime.  Res64: D587AD0C1F903065  Time : 946.0 sec.
user=marco.bs
[2009-08-02 11:49:14]
361*2^824411-1 is not prime.  Res64: ECA3E3CFC58E10A3  Time : 30947.0 sec.
user=vaughan
[2009-08-02 11:56:14]
365*2^825692-1 is not prime.  Res64: 0B0D30A986BBA72A  Time : 995.0 sec.
user=vaughan
[2009-08-02 11:57:31]
363*2^825700-1 is not prime.  Res64: DACCB9DBED8C980B  Time : 995.0 sec.
user=vaughan
[2009-08-02 11:57:34]
351*2^825703-1 is not prime.  Res64: 0ACD3BDA0163C625  Time : 995.0 sec.
user=vaughan
[2009-08-02 11:57:50]
363*2^825707-1 is not prime.  Res64: C26F29BCB880F13D  Time : 966.0 sec.
user=vaughan
[2009-08-02 11:59:18]
351*2^825691-1 is not prime.  Res64: 887F7CEB067DC21B  Time : 1322.0 sec.
user=cipher
[2009-08-02 12:02:14]
361*2^825699-1 is not prime.  Res64: 688251602C125980  Time : 1282.0 sec.
user=vaughan
[2009-08-02 12:02:18]
363*2^825708-1 is not prime.  Res64: FF8EB6299006D330  Time : 984.0 sec.
user=vaughan
[2009-08-02 12:02:59]
355*2^825713-1 is not prime.  Res64: 8E737A3FCBE86371  Time : 950.0 sec.
user=vaughan
[2009-08-02 12:03:39]
355*2^825693-1 is not prime.  Res64: 0E8E73DC7B157DE6  Time : 1398.0 sec.
user=vaughan
[2009-08-02 12:03:59]
357*2^825714-1 is not prime.  Res64: D25298BAC2239A53  Time : 982.0 sec.
user=vaughan
[2009-08-02 12:04:19]
351*2^825718-1 is not prime.  Res64: 32165135A6D8F9A3  Time : 954.0 sec.
user=vaughan
[2009-08-02 12:12:43]
363*2^825723-1 is not prime.  Res64: EBEB214F9B49AB46  Time : 990.0 sec.
user=vaughan
[2009-08-02 12:13:52]
357*2^825740-1 is not prime.  Res64: E992E5A755F26C78  Time : 962.0 sec.
user=vaughan
[2009-08-02 12:14:00]
357*2^825728-1 is not prime.  Res64: ACB346976F1F1978  Time : 990.0 sec.
user=vaughan
[2009-08-02 12:14:05]
363*2^825728-1 is not prime.  Res64: C3BAC2650EB5EE59  Time : 992.0 sec.
user=marco.bs
[2009-08-02 12:15:13]
365*2^824422-1 is not prime.  Res64: F0402F12A60B7405  Time : 32505.0 sec.
user=vaughan
[2009-08-02 12:18:41]
357*2^825752-1 is not prime.  Res64: 9E5B9FEC22DC639A  Time : 984.0 sec.
user=vaughan
[2009-08-02 12:18:44]
357*2^825753-1 is not prime.  Res64: B43FE6D0255357EF  Time : 949.0 sec.
user=vaughan
[2009-08-02 12:20:03]
357*2^825765-1 is not prime.  Res64: 3BFBF9692FAD6CBF  Time : 945.0 sec.
user=vaughan
[2009-08-02 12:20:18]
365*2^825764-1 is not prime.  Res64: 0614F121D26C774A  Time : 979.0 sec.
user=vaughan
[2009-08-02 12:21:15]
357*2^825745-1 is not prime.  Res64: 0D6B682F442DBA6C  Time : 1317.0 sec.
user=cipher
[2009-08-02 12:23:32]
363*2^825747-1 is not prime.  Res64: 9E48468D93C45D6D  Time : 1278.0 sec.
user=vaughan
[2009-08-02 12:27:03]
357*2^825758-1 is not prime.  Res64: 1BCF62FF7B4E750E  Time : 1405.0 sec.
user=vaughan
[2009-08-02 12:29:36]
361*2^825765-1 is not prime.  Res64: 34F0525C340B10B2  Time : 1013.0 sec.
user=vaughan
[2009-08-02 12:29:55]
363*2^825768-1 is not prime.  Res64: 0DC942AF28D090BF  Time : 964.0 sec.
user=vaughan
[2009-08-02 12:31:02]
363*2^825770-1 is not prime.  Res64: AC8DDDC413234F8F  Time : 1022.0 sec.
user=vaughan
[2009-08-02 12:31:08]
357*2^825777-1 is not prime.  Res64: 4F6AFB54B3CFC208  Time : 1023.0 sec.
user=vaughan
[2009-08-02 12:34:31]
357*2^825788-1 is not prime.  Res64: 6F21858AD13638F3  Time : 947.0 sec.
user=vaughan
[2009-08-02 12:35:04]
357*2^825785-1 is not prime.  Res64: 870109AFE3128C21  Time : 983.0 sec.
user=vaughan
[2009-08-02 12:35:50]
363*2^825791-1 is not prime.  Res64: CD7956CF92995720  Time : 947.0 sec.
user=vaughan
[2009-08-02 12:37:19]
363*2^825802-1 is not prime.  Res64: C761F0F9E10E5C88  Time : 1021.0 sec.
user=marco.bs
[2009-08-02 12:41:30]
361*2^824423-1 is not prime.  Res64: 7FD7DDC78D4C88D7  Time : 34082.0 sec.
user=vaughan
[2009-08-02 12:43:15]
355*2^825805-1 is not prime.  Res64: 3D015EA87AEFFBCA  Time : 1320.0 sec.
user=cipher
[2009-08-02 12:44:49]
365*2^825806-1 is not prime.  Res64: 26D660EDA71DD365  Time : 1277.0 sec.
user=vaughan
[2009-08-02 12:45:58]
363*2^825816-1 is not prime.  Res64: E2FCE53F55243BAE  Time : 963.0 sec.
user=vaughan
[2009-08-02 12:47:58]
357*2^825813-1 is not prime.  Res64: 70157AA4C4DC0F14  Time : 1103.0 sec.
user=vaughan
[2009-08-02 12:49:24]
355*2^825821-1 is not prime.  Res64: D02EA1EB993EECF6  Time : 1102.0 sec.
user=vaughan
[2009-08-02 12:49:38]
355*2^825825-1 is not prime.  Res64: 29A7998E9F9F559A  Time : 1110.0 sec.
user=vaughan
[2009-08-02 12:50:21]
351*2^825829-1 is not prime.  Res64: 484AA468A75181DC  Time : 951.0 sec.
user=vaughan
[2009-08-02 12:50:21]
357*2^825808-1 is not prime.  Res64: 62D42E015681298C  Time : 1399.0 sec.
user=vaughan
[2009-08-02 12:51:31]
357*2^825833-1 is not prime.  Res64: 9E0675FD35E0E5D8  Time : 987.0 sec.
user=vaughan
[2009-08-02 12:51:39]
355*2^825837-1 is not prime.  Res64: 43F3239B11B7049A  Time : 950.0 sec.
user=vaughan
[2009-08-02 12:54:34]
361*2^825839-1 is not prime.  Res64: C190CE99101E36E6  Time : 1035.0 sec.
user=vaughan
[2009-08-02 13:02:06]
363*2^825851-1 is not prime.  Res64: 7F93E9E43A48ABE0  Time : 968.0 sec.
user=vaughan
[2009-08-02 13:05:17]
357*2^825844-1 is not prime.  Res64: C9D1B1B2CB170256  Time : 1323.0 sec.
user=cipher
[2009-08-02 13:06:05]
361*2^825851-1 is not prime.  Res64: 094EFE051134976A  Time : 1276.0 sec.
user=vaughan
[2009-08-02 13:06:11]
361*2^825875-1 is not prime.  Res64: 5B9F31E81317522E  Time : 951.0 sec.
user=vaughan
[2009-08-02 13:06:20]
357*2^825862-1 is not prime.  Res64: BD9C58E5C732D7E2  Time : 1103.0 sec.
user=vaughan
[2009-08-02 13:07:28]
357*2^825890-1 is not prime.  Res64: 1270D0F1B5D0E7E8  Time : 951.0 sec.
user=vaughan
[2009-08-02 13:07:54]
355*2^825865-1 is not prime.  Res64: AFCF5D15D30D122B  Time : 1111.0 sec.
user=marco.bs
[2009-08-02 13:07:59]
363*2^824439-1 is not prime.  Res64: 2F0A33E219B6D50B  Time : 35671.0 sec.
user=vaughan
[2009-08-02 13:07:59]
363*2^825883-1 is not prime.  Res64: 8178D7EB4D65C722  Time : 989.0 sec.
user=vaughan
[2009-08-02 13:08:03]
363*2^825868-1 is not prime.  Res64: DFB76FE5873E45F5  Time : 1106.0 sec.
user=vaughan
[2009-08-02 13:11:55]
355*2^825897-1 is not prime.  Res64: 95CE337E96526C7E  Time : 1042.0 sec.
user=vaughan
[2009-08-02 13:13:52]
365*2^825880-1 is not prime.  Res64: 8FF91BCF1DEC8F35  Time : 1412.0 sec.
user=vaughan
[2009-08-02 13:18:15]
357*2^825898-1 is not prime.  Res64: 4E521BC3F16EC492  Time : 970.0 sec.
user=vaughan
[2009-08-02 13:22:01]
351*2^825910-1 is not prime.  Res64: 4274A74867A76DEA  Time : 951.0 sec.
user=vaughan
[2009-08-02 13:23:17]
363*2^825912-1 is not prime.  Res64: F838CCB221C79976  Time : 950.0 sec.
user=vaughan
[2009-08-02 13:24:29]
357*2^825917-1 is not prime.  Res64: BEF8C8FF8F91FD1E  Time : 991.0 sec.
user=vaughan
[2009-08-02 13:25:01]
357*2^825910-1 is not prime.  Res64: 56241F6E1A51BE8D  Time : 1122.0 sec.
user=vaughan
[2009-08-02 13:26:23]
365*2^825916-1 is not prime.  Res64: 7CC70B97457FFF71  Time : 1110.0 sec.
user=vaughan
[2009-08-02 13:26:37]
365*2^825922-1 is not prime.  Res64: 1B751F1C3C6D4ADE  Time : 1115.0 sec.
user=vaughan
[2009-08-02 13:27:20]
351*2^825901-1 is not prime.  Res64: F793FD915E70791C  Time : 1324.0 sec.
user=cipher
[2009-08-02 13:27:21]
357*2^825904-1 is not prime.  Res64: C0AD2AEFC4595AC9  Time : 1276.0 sec.
user=vaughan
[2009-08-02 13:29:32]
363*2^825931-1 is not prime.  Res64: F733E4E32D559CC3  Time : 1058.0 sec.
user=vaughan
[2009-08-02 13:34:25]
365*2^825934-1 is not prime.  Res64: 5056ED520AACE523  Time : 971.0 sec.
user=marco.bs
[2009-08-02 13:34:36]
363*2^824443-1 is not prime.  Res64: 819DF68E1FEE9188  Time : 37268.0 sec.
user=vaughan
[2009-08-02 13:34:36]
363*2^825455-1 is not prime.  Res64: 548E7F74C34D1AFB  Time : 13965.0 sec.
user=vaughan
[2009-08-02 13:36:02]
361*2^825933-1 is not prime.  Res64: 3B2EA8E099D97230  Time : 1331.0 sec.
user=vaughan
[2009-08-02 13:37:51]
355*2^825937-1 is not prime.  Res64: 7630BDCAA89785A2  Time : 951.0 sec.
user=vaughan
[2009-08-02 13:39:07]
357*2^825938-1 is not prime.  Res64: 89857583572C3AE8  Time : 951.0 sec.
user=vaughan
[2009-08-02 13:40:59]
363*2^825938-1 is not prime.  Res64: B46F636F99B10238  Time : 992.0 sec.
user=vaughan
[2009-08-02 13:43:43]
361*2^825939-1 is not prime.  Res64: EF95FEA0DFBDE6BD  Time : 1124.0 sec.
user=vaughan
[2009-08-02 13:45:11]
357*2^825944-1 is not prime.  Res64: C56F7FDE2260E29E  Time : 1130.0 sec.
user=vaughan
[2009-08-02 13:45:34]
357*2^825945-1 is not prime.  Res64: 518D742C140C88D0  Time : 1138.0 sec.
user=vaughan
[2009-08-02 13:46:58]
357*2^825960-1 is not prime.  Res64: 1DE10F9E28E92586  Time : 1047.0 sec.
user=cipher
[2009-08-02 13:48:53]
365*2^825956-1 is not prime.  Res64: D4F7E28388F860E1  Time : 1292.0 sec.
user=vaughan
[2009-08-02 13:49:23]
357*2^825949-1 is not prime.  Res64: DCB92972F25781CC  Time : 1325.0 sec.
user=vaughan
[2009-08-02 13:50:33]
361*2^825963-1 is not prime.  Res64: 62F137CE4E2C2ECC  Time : 969.0 sec.
user=vaughan
[2009-08-02 13:53:42]
361*2^825989-1 is not prime.  Res64: 8713AC76DDD70F36  Time : 952.0 sec.
user=vaughan
[2009-08-02 13:54:58]
355*2^825993-1 is not prime.  Res64: 0B1665C21E4820E8  Time : 953.0 sec.
user=vaughan
[2009-08-02 13:57:33]
361*2^825995-1 is not prime.  Res64: 6975AFAA2DE8EBE2  Time : 995.0 sec.
user=vaughan
[2009-08-02 13:58:12]
365*2^825986-1 is not prime.  Res64: 1FFDD0BA9935BBE0  Time : 1331.0 sec.
user=marco.bs
[2009-08-02 14:00:57]
357*2^824448-1 is not prime.  Res64: 4ADC4C87228221FA  Time : 38849.0 sec.
user=vaughan
[2009-08-02 14:02:27]
351*2^825998-1 is not prime.  Res64: E573D6B0E1FBA890  Time : 1125.0 sec.
user=vaughan
[2009-08-02 14:04:01]
351*2^826010-1 is not prime.  Res64: 71EBA6141B4A4D5C  Time : 1131.0 sec.
user=vaughan
[2009-08-02 14:04:21]
363*2^826012-1 is not prime.  Res64: A7C8D1ABB034BDF4  Time : 1044.0 sec.
user=vaughan
[2009-08-02 14:04:22]
357*2^826010-1 is not prime.  Res64: 1699D8854646A2C0  Time : 1129.0 sec.
user=vaughan
[2009-08-02 14:06:46]
357*2^826028-1 is not prime.  Res64: DB4D86603826E243  Time : 974.0 sec.
user=vaughan
[2009-08-02 14:09:32]
357*2^826030-1 is not prime.  Res64: 0DC57F909ED345B2  Time : 951.0 sec.
user=cipher
[2009-08-02 14:10:10]
361*2^826013-1 is not prime.  Res64: 7600A17C795B836F  Time : 1277.0 sec.
user=vaughan
[2009-08-02 14:10:48]
363*2^826035-1 is not prime.  Res64: 9EC3EF12733F4282  Time : 951.0 sec.
user=vaughan
[2009-08-02 14:11:26]
355*2^826017-1 is not prime.  Res64: F45245FA71E4659F  Time : 1325.0 sec.
user=vaughan
[2009-08-02 14:14:02]
363*2^826051-1 is not prime.  Res64: 6764A36E9F74B3C9  Time : 991.0 sec.
user=vaughan
[2009-08-02 14:14:10]
365*2^825680-1 is not prime.  Res64: 9AB86F9F5BB26644  Time : 9869.0 sec.
user=vaughan
[2009-08-02 14:21:00]
351*2^826067-1 is not prime.  Res64: 972793ABA7B5E5A8  Time : 1115.0 sec.
user=vaughan
[2009-08-02 14:21:31]
363*2^826058-1 is not prime.  Res64: 3B6657D1CBD24AA3  Time : 1400.0 sec.
user=vaughan
[2009-08-02 14:21:46]
357*2^826070-1 is not prime.  Res64: C65A84D08A71031E  Time : 1046.0 sec.
user=vaughan
[2009-08-02 14:22:29]
363*2^826068-1 is not prime.  Res64: 10793C5BA50C9269  Time : 1111.0 sec.
user=vaughan
[2009-08-02 14:22:52]
363*2^826070-1 is not prime.  Res64: 9D75CC9B74BC733F  Time : 1111.0 sec.
user=vaughan
[2009-08-02 14:22:54]
361*2^826079-1 is not prime.  Res64: 0CE928EA004D71C8  Time : 969.0 sec.
user=vaughan
[2009-08-02 14:25:23]
357*2^826080-1 is not prime.  Res64: 161A1C6C94CEDD1E  Time : 952.0 sec.
user=vaughan
[2009-08-02 14:26:40]
351*2^826087-1 is not prime.  Res64: B24E218C655939F2  Time : 953.0 sec.
user=marco.bs
[2009-08-02 14:27:16]
363*2^824448-1 is not prime.  Res64: EF1CB2F2DF5BA07E  Time : 40427.0 sec.
user=vaughan
[2009-08-02 14:30:35]
355*2^826101-1 is not prime.  Res64: A36FF635DE68EEED  Time : 994.0 sec.
user=cipher
[2009-08-02 14:31:27]
357*2^826082-1 is not prime.  Res64: 1D2EF72408CB7A71  Time : 1277.0 sec.
user=vaughan
[2009-08-02 14:33:29]
361*2^826091-1 is not prime.  Res64: D7AB7FAB773B2922  Time : 1324.0 sec.
user=vaughan
[2009-08-02 14:38:44]
355*2^825573-1 is not prime.  Res64: AA5EE72C2AC6E5CA  Time : 14474.0 sec.
user=vaughan
[2009-08-02 14:39:03]
357*2^826120-1 is not prime.  Res64: B3518DE5BF4B4E4F  Time : 970.0 sec.
user=vaughan
[2009-08-02 14:39:09]
357*2^826118-1 is not prime.  Res64: 4BEB46E140DD2B66  Time : 1044.0 sec.
user=vaughan
[2009-08-02 14:39:37]
357*2^826110-1 is not prime.  Res64: 4550AC36C9C0E646  Time : 1118.0 sec.
user=vaughan
[2009-08-02 14:41:12]
357*2^826124-1 is not prime.  Res64: 845C6D6779198598  Time : 951.0 sec.
user=vaughan
[2009-08-02 14:41:20]
365*2^826118-1 is not prime.  Res64: 563E0583909817F8  Time : 1132.0 sec.
user=vaughan
[2009-08-02 14:41:31]
361*2^826119-1 is not prime.  Res64: 4C0D303D2FE84BD7  Time : 1120.0 sec.
user=vaughan
[2009-08-02 14:42:27]
365*2^826124-1 is not prime.  Res64: 32E29DA21985B4EC  Time : 948.0 sec.
user=vaughan
[2009-08-02 14:43:41]
361*2^826113-1 is not prime.  Res64: 3136777205DBCF86  Time : 1332.0 sec.
user=vaughan
[2009-08-02 14:47:04]
363*2^826131-1 is not prime.  Res64: 2D18DA28A9961C71  Time : 993.0 sec.
user=cipher
[2009-08-02 14:52:45]
355*2^826135-1 is not prime.  Res64: F2FCBFE32A60EA60  Time : 1278.0 sec.
user=marco.bs
[2009-08-02 14:54:02]
357*2^824452-1 is not prime.  Res64: B3906B60F077D975  Time : 42033.0 sec.
user=vaughan
[2009-08-02 14:55:12]
355*2^826157-1 is not prime.  Res64: 36283DB43D1B96AD  Time : 971.0 sec.
user=vaughan
[2009-08-02 14:55:34]
357*2^826140-1 is not prime.  Res64: A1EC117A5A249C1B  Time : 1327.0 sec.
user=vaughan
[2009-08-02 14:56:39]
357*2^826162-1 is not prime.  Res64: 0BA616176686DBDF  Time : 1051.0 sec.
user=vaughan
[2009-08-02 14:57:01]
355*2^826173-1 is not prime.  Res64: FD7F497BE2585FE4  Time : 950.0 sec.
user=vaughan
[2009-08-02 14:58:18]
365*2^826178-1 is not prime.  Res64: 8F4395DF565991CA  Time : 951.0 sec.
user=vaughan
[2009-08-02 14:58:29]
357*2^826168-1 is not prime.  Res64: EED5F542C6D10BA2  Time : 1133.0 sec.
user=vaughan
[2009-08-02 15:00:07]
363*2^826174-1 is not prime.  Res64: 5C8F6A4C95552DDC  Time : 1128.0 sec.
user=vaughan
[2009-08-02 15:00:15]
361*2^826175-1 is not prime.  Res64: 5A86F62B8649919B  Time : 1125.0 sec.
user=vaughan
[2009-08-02 15:03:24]
351*2^825610-1 is not prime.  Res64: 62FB10CE244B43E3  Time : 14561.0 sec.
user=vaughan
[2009-08-02 15:03:32]
351*2^826181-1 is not prime.  Res64: 9F9B9EFE4D8B1F94  Time : 989.0 sec.
user=vaughan
[2009-08-02 15:03:39]
355*2^825617-1 is not prime.  Res64: 4D45A35CAE22CAB0  Time : 14547.0 sec.
user=vaughan
[2009-08-02 15:07:14]
361*2^826179-1 is not prime.  Res64: 868D29E93EBDE19E  Time : 1414.0 sec.
user=vaughan
[2009-08-02 15:11:20]
363*2^826187-1 is not prime.  Res64: B399E52E11EE9E34  Time : 970.0 sec.
user=vaughan
[2009-08-02 15:12:50]
363*2^826198-1 is not prime.  Res64: 22880F180FD473A7  Time : 950.0 sec.
user=vaughan
[2009-08-02 15:14:09]
351*2^826199-1 is not prime.  Res64: 2D90058CAD0F4B6A  Time : 952.0 sec.
user=vaughan
[2009-08-02 15:14:16]
351*2^826193-1 is not prime.  Res64: AF79DE6649FFC6DE  Time : 1058.0 sec.
user=vaughan
[2009-08-02 15:17:17]
363*2^826203-1 is not prime.  Res64: BB137147E5A06480  Time : 1129.0 sec.
user=cipher
[2009-08-02 15:18:29]
361*2^826181-1 is not prime.  Res64: 53AADB5E1F56AC6E  Time : 1544.0 sec.
user=vaughan
[2009-08-02 15:19:01]
357*2^826204-1 is not prime.  Res64: BFEDD11EB772C573  Time : 1135.0 sec.
user=vaughan
[2009-08-02 15:19:04]
357*2^826205-1 is not prime.  Res64: E9450DB66D82B5F8  Time : 1130.0 sec.
user=vaughan
[2009-08-02 15:19:30]
357*2^826190-1 is not prime.  Res64: BA57576FF1CC96CB  Time : 1436.0 sec.
user=vaughan
[2009-08-02 15:20:02]
357*2^826208-1 is not prime.  Res64: 7C97902109F2EE73  Time : 991.0 sec.
user=marco.bs
[2009-08-02 15:22:03]
357*2^824454-1 is not prime.  Res64: C552A34429776F2F  Time : 43714.0 sec.
user=vaughan
[2009-08-02 15:27:31]
363*2^826214-1 is not prime.  Res64: 3DDE307A1D2B8199  Time : 972.0 sec.
user=vaughan
[2009-08-02 15:28:41]
365*2^826214-1 is not prime.  Res64: 6D86746309BAA9B3  Time : 952.0 sec.
user=vaughan
[2009-08-02 15:29:27]
357*2^826212-1 is not prime.  Res64: 8C4BF8C2B21F4E31  Time : 1334.0 sec.
user=vaughan
[2009-08-02 15:29:59]
355*2^826221-1 is not prime.  Res64: FF1E59C8C2E27768  Time : 952.0 sec.
user=vaughan
[2009-08-02 15:31:38]
351*2^826229-1 is not prime.  Res64: C2CC2A352BA7C411  Time : 1043.0 sec.
user=vaughan
[2009-08-02 15:35:16]
355*2^826233-1 is not prime.  Res64: 6A7113A59F7E8011  Time : 1080.0 sec.
user=vaughan
[2009-08-02 15:36:33]
357*2^826245-1 is not prime.  Res64: CCE04124BE6D54E5  Time : 992.0 sec.
user=vaughan
[2009-08-02 15:36:55]
363*2^826240-1 is not prime.  Res64: 622533DD36298D84  Time : 1075.0 sec.
user=vaughan
[2009-08-02 15:36:58]
361*2^826241-1 is not prime.  Res64: CC2719AECDF0A7B8  Time : 1075.0 sec.
user=vaughan
[2009-08-02 15:41:32]
351*2^826243-1 is not prime.  Res64: A2B491B7B5FFFB44  Time : 1323.0 sec.
user=vaughan
[2009-08-02 15:43:40]
365*2^826250-1 is not prime.  Res64: 30DCDB056FB5B9E2  Time : 971.0 sec.
user=vaughan
[2009-08-02 15:44:36]
351*2^826259-1 is not prime.  Res64: 7A2497A2644DE40F  Time : 957.0 sec.
user=vaughan
[2009-08-02 15:45:49]
357*2^826264-1 is not prime.  Res64: A35C035E2DB96441  Time : 951.0 sec.
user=cipher
[2009-08-02 15:47:58]
357*2^826240-1 is not prime.  Res64: 84D93438F4753E14  Time : 1769.0 sec.
user=vaughan
[2009-08-02 15:48:41]
355*2^826265-1 is not prime.  Res64: D735025C82CE2F46  Time : 1024.0 sec.
user=vaughan
[2009-08-02 15:52:58]
365*2^826262-1 is not prime.  Res64: 22B1BBA70E7D9B6F  Time : 1413.0 sec.
user=vaughan
[2009-08-02 15:53:02]
355*2^826269-1 is not prime.  Res64: 9041EED1AD8DA05A  Time : 991.0 sec.
user=vaughan
[2009-08-02 15:53:35]
361*2^826265-1 is not prime.  Res64: BD87037AC9CA9864  Time : 1100.0 sec.
user=vaughan
[2009-08-02 15:55:09]
363*2^826272-1 is not prime.  Res64: 91BE01AF44D6320F  Time : 1096.0 sec.
user=vaughan
[2009-08-02 15:55:23]
355*2^826273-1 is not prime.  Res64: 656AE4E55CACCAFC  Time : 1106.0 sec.
user=vaughan
[2009-08-02 15:59:50]
355*2^826287-1 is not prime.  Res64: B32581C8400E37B0  Time : 972.0 sec.
user=vaughan
[2009-08-02 16:00:27]
361*2^826289-1 is not prime.  Res64: 55456397829E7B3D  Time : 952.0 sec.
user=vaughan
[2009-08-02 16:01:40]
357*2^826290-1 is not prime.  Res64: 24F736F9B911F8C6  Time : 959.0 sec.
user=vaughan
[2009-08-02 16:03:36]
351*2^826286-1 is not prime.  Res64: 2249C0FC9E139236  Time : 1325.0 sec.
user=vaughan
[2009-08-02 16:05:54]
357*2^826304-1 is not prime.  Res64: 87CEB57C6EE6D56C  Time : 1034.0 sec.
user=marco.bs
[2009-08-02 16:09:27]
355*2^824457-1 is not prime.  Res64: 1497A5974FC049EF  Time : 46558.0 sec.
user=vaughan
[2009-08-02 16:09:31]
363*2^826322-1 is not prime.  Res64: 3642419E0BD8DC36  Time : 990.0 sec.
user=cipher
[2009-08-02 16:09:54]
365*2^826292-1 is not prime.  Res64: 91D62AF669D4A404  Time : 1317.0 sec.
user=vaughan
[2009-08-02 16:11:54]
355*2^826325-1 is not prime.  Res64: 7056017EB2E9387F  Time : 1100.0 sec.
user=vaughan
[2009-08-02 16:13:37]
355*2^826327-1 is not prime.  Res64: AD64FC2943149BD8  Time : 1109.0 sec.
user=vaughan
[2009-08-02 16:14:00]
363*2^826328-1 is not prime.  Res64: 70643C00289FC59B  Time : 1119.0 sec.
user=vaughan
[2009-08-02 16:16:21]
355*2^826305-1 is not prime.  Res64: F55FD08050F742D6  Time : 1404.0 sec.
user=vaughan
[2009-08-02 16:16:42]
361*2^826337-1 is not prime.  Res64: 2D08139BA21A132F  Time : 1013.0 sec.
user=vaughan
[2009-08-02 16:16:57]
355*2^826343-1 is not prime.  Res64: 7CCA2F81A4A6D24F  Time : 991.0 sec.
user=vaughan
[2009-08-02 16:18:21]
351*2^826346-1 is not prime.  Res64: D8DA75690698B0C4  Time : 1002.0 sec.
user=vaughan
[2009-08-02 16:23:23]
357*2^826350-1 is not prime.  Res64: 4DB9694EE8C729A8  Time : 1050.0 sec.
user=vaughan
[2009-08-02 16:27:21]
357*2^826357-1 is not prime.  Res64: 143E9D5DF295D5F3  Time : 1071.0 sec.
user=vaughan
[2009-08-02 16:27:55]
357*2^826348-1 is not prime.  Res64: 14CD0AEDAD80C096  Time : 1460.0 sec.
user=vaughan
[2009-08-02 16:30:23]
361*2^826361-1 is not prime.  Res64: DAEBD8B0964F6DB2  Time : 1109.0 sec.
user=cipher
[2009-08-02 16:31:06]
361*2^826359-1 is not prime.  Res64: FE8E3DC905115CF1  Time : 1272.0 sec.
user=vaughan
[2009-08-02 16:32:03]
357*2^826362-1 is not prime.  Res64: 4CE46368688D52D0  Time : 1107.0 sec.
user=vaughan
[2009-08-02 16:32:29]
355*2^826365-1 is not prime.  Res64: B21F32323EEFF093  Time : 1110.0 sec.
user=vaughan
[2009-08-02 16:34:24]
357*2^826373-1 is not prime.  Res64: 21A35B9C31EA42C4  Time : 1048.0 sec.
user=vaughan
[2009-08-02 16:34:36]
351*2^826373-1 is not prime.  Res64: 0CA744D0DE18452A  Time : 1075.0 sec.
user=vaughan
[2009-08-02 16:35:30]
357*2^826377-1 is not prime.  Res64: 89BC137D35CD9C9F  Time : 1030.0 sec.
user=marco.bs
[2009-08-02 16:36:16]
365*2^824458-1 is not prime.  Res64: 0EF7ECD1701436E2  Time : 48166.0 sec.
user=vaughan
[2009-08-02 16:40:45]
351*2^826379-1 is not prime.  Res64: C920B8C8D2699E48  Time : 1043.0 sec.
user=vaughan
[2009-08-02 16:44:18]
365*2^826370-1 is not prime.  Res64: 8197BFE233426CA3  Time : 1678.0 sec.
user=vaughan
[2009-08-02 16:44:48]
357*2^826380-1 is not prime.  Res64: F4F386E390D969F6  Time : 1048.0 sec.
user=vaughan
[2009-08-02 16:48:12]
357*2^826390-1 is not prime.  Res64: 0C9584F562FBEC73  Time : 1071.0 sec.
user=vaughan
[2009-08-02 16:50:06]
351*2^826391-1 is not prime.  Res64: 67DB9F582503DEBA  Time : 1085.0 sec.
user=vaughan
[2009-08-02 16:50:41]
355*2^826399-1 is not prime.  Res64: EDF624645C803B5C  Time : 1092.0 sec.
user=vaughan
[2009-08-02 16:51:02]
355*2^826401-1 is not prime.  Res64: FDE8D14A56CF0E72  Time : 1000.0 sec.
user=vaughan
[2009-08-02 16:51:47]
365*2^826402-1 is not prime.  Res64: B524856A4D8BD2F0  Time : 1032.0 sec.
user=vaughan
[2009-08-02 16:52:07]
357*2^826412-1 is not prime.  Res64: 7B18FDBA473CA5A7  Time : 998.0 sec.
user=cipher
[2009-08-02 16:52:20]
365*2^826390-1 is not prime.  Res64: C52A6F88C8647B3E  Time : 1274.0 sec.
user=vaughan
[2009-08-02 16:53:20]
351*2^826381-1 is not prime.  Res64: A3B8CDEAF24C9F8B  Time : 1526.0 sec.
user=vaughan
[2009-08-02 16:57:49]
351*2^826418-1 is not prime.  Res64: 64295277EC469793  Time : 1025.0 sec.
user=vaughan
[2009-08-02 17:01:54]
355*2^826425-1 is not prime.  Res64: A201E7FFE7D05B8A  Time : 1027.0 sec.
user=marco.bs
[2009-08-02 17:02:48]
351*2^824459-1 is not prime.  Res64: 66C47A551F875F51  Time : 49758.0 sec.
user=vaughan
[2009-08-02 17:06:39]
357*2^826425-1 is not prime.  Res64: 36B789F5CF967C64  Time : 1108.0 sec.
user=vaughan
[2009-08-02 17:08:00]
363*2^826430-1 is not prime.  Res64: 278564C30DE8BF87  Time : 1019.0 sec.
user=vaughan
[2009-08-02 17:08:25]
357*2^826428-1 is not prime.  Res64: 6CD14A702C7CAFD9  Time : 1101.0 sec.
user=vaughan
[2009-08-02 17:09:08]
351*2^826430-1 is not prime.  Res64: BC6E2F73A4E47AB1  Time : 1109.0 sec.
user=vaughan
[2009-08-02 17:09:10]
357*2^826432-1 is not prime.  Res64: 6DDEF9F0D240D0D7  Time : 1044.0 sec.
user=vaughan
[2009-08-02 17:09:22]
355*2^826433-1 is not prime.  Res64: E88314DE3BB0AB0D  Time : 1036.0 sec.
user=vaughan
[2009-08-02 17:11:42]
365*2^826418-1 is not prime.  Res64: 96F9FEEDED462806  Time : 1645.0 sec.
user=cipher
[2009-08-02 17:13:31]
351*2^826438-1 is not prime.  Res64: DC8EC55243468BAF  Time : 1271.0 sec.
user=vaughan
[2009-08-02 17:15:13]
363*2^826443-1 is not prime.  Res64: 7D6FB50765AAD920  Time : 1044.0 sec.
user=vaughan
[2009-08-02 17:19:02]
363*2^826442-1 is not prime.  Res64: 64590CA2B874DD02  Time : 1543.0 sec.
user=vaughan
[2009-08-02 17:19:21]
351*2^826453-1 is not prime.  Res64: A8145FD5B6C9644A  Time : 1048.0 sec.
user=vaughan
[2009-08-02 17:24:56]
357*2^826465-1 is not prime.  Res64: B70C0410CB7FF3A1  Time : 1017.0 sec.
user=vaughan
[2009-08-02 17:25:23]
355*2^826461-1 is not prime.  Res64: F70776F0A41BE1A0  Time : 1125.0 sec.
user=vaughan
[2009-08-02 17:26:25]
361*2^826469-1 is not prime.  Res64: 720E8E3A1606E9AF  Time : 1036.0 sec.
user=vaughan
[2009-08-02 17:26:36]
357*2^826472-1 is not prime.  Res64: B2E25D8F65B96C73  Time : 1035.0 sec.
user=vaughan
[2009-08-02 17:27:16]
363*2^826467-1 is not prime.  Res64: A09807B084D55406  Time : 1132.0 sec.
user=vaughan
[2009-08-02 17:28:02]
357*2^826469-1 is not prime.  Res64: 159BF1C881BAE82A  Time : 1136.0 sec.
user=marco.bs
[2009-08-02 17:29:46]
363*2^824516-1 is not prime.  Res64: 8533A571C5D74FB8  Time : 49490.0 sec.
user=vaughan
[2009-08-02 17:32:46]
355*2^826481-1 is not prime.  Res64: BF158088C508DC90  Time : 1054.0 sec.
user=vaughan
[2009-08-02 17:36:41]
363*2^826488-1 is not prime.  Res64: 5DBDF9B805734391  Time : 1041.0 sec.
user=vaughan
[2009-08-02 17:36:54]
361*2^825969-1 is not prime.  Res64: 6336BA03938B0642  Time : 14539.0 sec.
user=cipher
[2009-08-02 17:39:30]
357*2^826480-1 is not prime.  Res64: D1BE29ED5E282331  Time : 1560.0 sec.
user=vaughan
[2009-08-02 17:40:28]
357*2^826478-1 is not prime.  Res64: EFA1F491F65DD5F2  Time : 1728.0 sec.
user=vaughan
[2009-08-02 17:42:00]
357*2^826490-1 is not prime.  Res64: 663EE22F0C78EE3F  Time : 1024.0 sec.
user=vaughan
[2009-08-02 17:43:53]
355*2^826505-1 is not prime.  Res64: F7061E0E3DB89205  Time : 1038.0 sec.
user=vaughan
[2009-08-02 17:44:03]
355*2^826497-1 is not prime.  Res64: C72F491553454A2F  Time : 1121.0 sec.
user=vaughan
[2009-08-02 17:44:05]
363*2^826499-1 is not prime.  Res64: DE5034436C100F5B  Time : 1061.0 sec.
user=vaughan
[2009-08-02 17:46:07]
357*2^826505-1 is not prime.  Res64: D5164F88FE394A23  Time : 1135.0 sec.
user=vaughan
[2009-08-02 17:46:17]
355*2^826485-1 is not prime.  Res64: A8AB7D54BC75CBCF  Time : 1636.0 sec.
user=vaughan
[2009-08-02 17:46:46]
363*2^826508-1 is not prime.  Res64: 3398ED9D39A7BD87  Time : 1125.0 sec.
user=vaughan
[2009-08-02 17:50:14]
361*2^826517-1 is not prime.  Res64: 849F9B3F720D5BAE  Time : 1049.0 sec.
user=vaughan
[2009-08-02 17:54:18]
351*2^826526-1 is not prime.  Res64: 339557EF2DA1853F  Time : 1058.0 sec.
user=marco.bs
[2009-08-02 17:58:27]
355*2^824565-1 is not prime.  Res64: B28BCFF4965CEAD7  Time : 49523.0 sec.
user=vaughan
[2009-08-02 17:59:09]
357*2^826533-1 is not prime.  Res64: 6B9D33F7A6049032  Time : 1030.0 sec.
user=vaughan
[2009-08-02 18:01:10]
351*2^826538-1 is not prime.  Res64: B8A1D0868ECC5ECF  Time : 1037.0 sec.
user=vaughan
[2009-08-02 18:01:36]
351*2^826541-1 is not prime.  Res64: F8F77D0097A70E94  Time : 1065.0 sec.
user=vaughan
[2009-08-02 18:02:24]
363*2^826540-1 is not prime.  Res64: 373EC3E5D3F1BA3C  Time : 1102.0 sec.
user=vaughan
[2009-08-02 18:04:33]
355*2^826541-1 is not prime.  Res64: FD742DAF56F36B47  Time : 1108.0 sec.
user=vaughan
[2009-08-02 18:05:18]
351*2^826546-1 is not prime.  Res64: 71E77C6E77EB8741  Time : 1114.0 sec.
user=vaughan
[2009-08-02 18:06:42]
361*2^826529-1 is not prime.  Res64: EF39F9C46479806F  Time : 1575.0 sec.
user=cipher
[2009-08-02 18:06:53]
357*2^826528-1 is not prime.  Res64: 785D420753E22A5D  Time : 1643.0 sec.
user=vaughan
[2009-08-02 18:07:30]
351*2^826547-1 is not prime.  Res64: 2F788F67CEC1C007  Time : 1038.0 sec.
user=vaughan
[2009-08-02 18:12:00]
357*2^826548-1 is not prime.  Res64: 98E0880A754B4D40  Time : 1064.0 sec.
user=vaughan
[2009-08-02 18:12:03]
357*2^826544-1 is not prime.  Res64: B1E2C50247A93FE2  Time : 1547.0 sec.
user=vaughan
[2009-08-02 18:15:04]
355*2^826109-1 is not prime.  Res64: 63B996C03450F587  Time : 14454.0 sec.
user=vaughan
[2009-08-02 18:16:08]
355*2^826551-1 is not prime.  Res64: 6F707E1F38DB44A6  Time : 1019.0 sec.
user=vaughan
[2009-08-02 18:17:56]
357*2^826553-1 is not prime.  Res64: 4069678EDDA406A9  Time : 1007.0 sec.
user=vaughan
[2009-08-02 18:19:02]
357*2^826558-1 is not prime.  Res64: D606A43F9E1457B9  Time : 1048.0 sec.
user=vaughan
[2009-08-02 18:20:53]
351*2^826559-1 is not prime.  Res64: F2B907F5DC7FBAE4  Time : 1110.0 sec.
user=vaughan
[2009-08-02 18:23:19]
351*2^826561-1 is not prime.  Res64: 1CB620D946F25453  Time : 1127.0 sec.
user=vaughan
[2009-08-02 18:23:54]
363*2^826564-1 is not prime.  Res64: CCBA27477187451C  Time : 1117.0 sec.
user=vaughan
[2009-08-02 18:24:56]
357*2^826580-1 is not prime.  Res64: B3400B991A1360E2  Time : 1047.0 sec.
user=vaughan
[2009-08-02 18:28:36]
363*2^826587-1 is not prime.  Res64: 3663C50F09CC6E32  Time : 997.0 sec.
user=vaughan
[2009-08-02 18:30:11]
363*2^826144-1 is not prime.  Res64: 0A23C717FC604C4F  Time : 13888.0 sec.
user=vaughan
[2009-08-02 18:30:17]
357*2^826568-1 is not prime.  Res64: 482B70744AC03BF0  Time : 1419.0 sec.
user=vaughan
[2009-08-02 18:32:01]
365*2^826606-1 is not prime.  Res64: BF2AF0BD953C6BD8  Time : 954.0 sec.
user=marco.bs
[2009-08-02 18:32:13]
361*2^824625-1 is not prime.  Res64: FE0F0F9E9F0D4F67  Time : 49850.0 sec.
user=vaughan
[2009-08-02 18:33:46]
363*2^826608-1 is not prime.  Res64: A5A912A015456D35  Time : 952.0 sec.
user=vaughan
[2009-08-02 18:35:11]
355*2^826593-1 is not prime.  Res64: EC46A7B05B45BA30  Time : 1389.0 sec.
user=vaughan
[2009-08-02 18:35:14]
355*2^826615-1 is not prime.  Res64: D33CAFE304F235EF  Time : 974.0 sec.
user=cipher
[2009-08-02 18:37:22]
351*2^826577-1 is not prime.  Res64: FBA1E6439EDCB183  Time : 1829.0 sec.
user=vaughan
[2009-08-02 18:39:13]
355*2^826621-1 is not prime.  Res64: B642B7E5A536814A  Time : 1101.0 sec.
user=vaughan
[2009-08-02 18:41:39]
357*2^826622-1 is not prime.  Res64: 43B49D126BE98820  Time : 1101.0 sec.
user=vaughan
[2009-08-02 18:42:11]
363*2^826623-1 is not prime.  Res64: 17F02F4C3B98B9F9  Time : 1099.0 sec.
user=vaughan
[2009-08-02 18:42:13]
361*2^826629-1 is not prime.  Res64: 90C4CDAB633ADD80  Time : 1038.0 sec.
user=vaughan
[2009-08-02 18:45:29]
361*2^826631-1 is not prime.  Res64: C4C998C14D0E06CB  Time : 1014.0 sec.
user=vaughan
[2009-08-02 18:49:02]
363*2^826635-1 is not prime.  Res64: BA2A3CDC253520BE  Time : 1023.0 sec.
user=vaughan
[2009-08-02 18:50:46]
363*2^826639-1 is not prime.  Res64: 256E75AEE75F9990  Time : 1021.0 sec.
user=vaughan
[2009-08-02 18:53:01]
357*2^826644-1 is not prime.  Res64: 6F69F895B9CE5A3F  Time : 1068.0 sec.
user=vaughan
[2009-08-02 18:57:49]
361*2^826655-1 is not prime.  Res64: 146CF5A2DD69214C  Time : 1117.0 sec.
user=vaughan
[2009-08-02 18:57:57]
351*2^826633-1 is not prime.  Res64: D9927C04D4A0E99B  Time : 1661.0 sec.
user=vaughan
[2009-08-02 18:59:39]
355*2^826669-1 is not prime.  Res64: 122D42C3634C9A35  Time : 1047.0 sec.
user=vaughan
[2009-08-02 19:00:12]
351*2^826661-1 is not prime.  Res64: B3D9BC06C4867EDC  Time : 1114.0 sec.
user=vaughan
[2009-08-02 19:00:52]
351*2^826643-1 is not prime.  Res64: 5CF760734AF21B0C  Time : 1542.0 sec.
user=vaughan
[2009-08-02 19:00:53]
365*2^826664-1 is not prime.  Res64: 0BCA463CEC077954  Time : 1123.0 sec.
user=marco.bs
[2009-08-02 19:01:49]
355*2^824721-1 is not prime.  Res64: 79265BF16F4F0B46  Time : 49674.0 sec.
user=vaughan
[2009-08-02 19:03:17]
357*2^826669-1 is not prime.  Res64: 40959F09C32209BB  Time : 1069.0 sec.
user=vaughan
[2009-08-02 19:05:41]
361*2^826205-1 is not prime.  Res64: 33D648E3291FC4C0  Time : 14538.0 sec.
user=vaughan
[2009-08-02 19:06:44]
351*2^826670-1 is not prime.  Res64: FEC34024CAD756C0  Time : 1063.0 sec.
user=cipher
[2009-08-02 19:07:18]
355*2^826649-1 is not prime.  Res64: 365148C391189EF1  Time : 1796.0 sec.
user=vaughan
[2009-08-02 19:08:01]
355*2^826209-1 is not prime.  Res64: 4BFF08357BCB4FAA  Time : 14663.0 sec.
user=vaughan
[2009-08-02 19:08:18]
361*2^826673-1 is not prime.  Res64: 8941BAB2DBBB5C1C  Time : 1053.0 sec.
user=vaughan
[2009-08-02 19:11:04]
355*2^826677-1 is not prime.  Res64: 4CB935F19A48E93A  Time : 1084.0 sec.
user=vaughan
[2009-08-02 19:16:36]
357*2^826677-1 is not prime.  Res64: 204DA3D42BB9E672  Time : 1128.0 sec.
user=vaughan
[2009-08-02 19:17:00]
363*2^826678-1 is not prime.  Res64: 651188F7BEC0F32D  Time : 1042.0 sec.
user=vaughan
[2009-08-02 19:18:56]
355*2^826689-1 is not prime.  Res64: EE7B12085A4A09A3  Time : 1125.0 sec.
user=vaughan
[2009-08-02 19:19:42]
357*2^826697-1 is not prime.  Res64: F2308D7F98B49AD6  Time : 1130.0 sec.
user=vaughan
[2009-08-02 19:21:00]
361*2^826703-1 is not prime.  Res64: 0CBDCFB6DE007AC6  Time : 1064.0 sec.
user=vaughan
[2009-08-02 19:24:09]
361*2^826713-1 is not prime.  Res64: 91F6E0B1B44B177F  Time : 1049.0 sec.
user=vaughan
[2009-08-02 19:24:54]
357*2^826678-1 is not prime.  Res64: 3BB5B72DA904D781  Time : 1618.0 sec.
user=vaughan
[2009-08-02 19:25:07]
351*2^826697-1 is not prime.  Res64: 2E58EF855FF67540  Time : 1456.0 sec.
user=vaughan
[2009-08-02 19:25:35]
355*2^826725-1 is not prime.  Res64: 5A93438589BFD6E8  Time : 1038.0 sec.
user=marco.bs
[2009-08-02 19:28:30]
357*2^824817-1 is not prime.  Res64: 3067577260D8AAD7  Time : 49564.0 sec.
user=vaughan
[2009-08-02 19:28:51]
351*2^826726-1 is not prime.  Res64: E3A41F818011C7B7  Time : 1068.0 sec.
user=cipher
[2009-08-02 19:32:49]
351*2^826717-1 is not prime.  Res64: A1A6CA0BA5825EF6  Time : 1531.0 sec.
user=vaughan
[2009-08-02 19:34:24]
365*2^826730-1 is not prime.  Res64: E872E694A99576DC  Time : 1044.0 sec.
user=vaughan
[2009-08-02 19:35:18]
351*2^826730-1 is not prime.  Res64: C3F10A9F1D15F136  Time : 1125.0 sec.
user=vaughan
[2009-08-02 19:37:37]
361*2^826755-1 is not prime.  Res64: 4B9806E83F9FC19B  Time : 1122.0 sec.
user=vaughan
[2009-08-02 19:38:34]
355*2^826761-1 is not prime.  Res64: 9B9F5532BA6E02C6  Time : 1133.0 sec.
user=vaughan
[2009-08-02 19:38:35]
357*2^826762-1 is not prime.  Res64: 9F2966F194EAA6A3  Time : 1056.0 sec.
user=vaughan
[2009-08-02 19:41:33]
363*2^826763-1 is not prime.  Res64: 3CBBA9F80E88EA3E  Time : 1045.0 sec.
user=vaughan
[2009-08-02 19:42:56]
365*2^826772-1 is not prime.  Res64: 7291DD253C021DE0  Time : 1042.0 sec.
user=vaughan
[2009-08-02 19:46:17]
357*2^826784-1 is not prime.  Res64: 219800FD9DC61F0A  Time : 1047.0 sec.
user=vaughan
[2009-08-02 19:50:16]
351*2^826771-1 is not prime.  Res64: 56A00E28CA3CD1AB  Time : 1510.0 sec.
user=vaughan
[2009-08-02 19:51:57]
365*2^826798-1 is not prime.  Res64: 68C915644B682FEC  Time : 1053.0 sec.
user=vaughan
[2009-08-02 19:52:38]
351*2^826766-1 is not prime.  Res64: CCE078051A6B1388  Time : 1666.0 sec.
user=vaughan
[2009-08-02 19:54:05]
351*2^826799-1 is not prime.  Res64: E9260B952E923453  Time : 1128.0 sec.
user=vaughan
[2009-08-02 19:56:01]
355*2^826809-1 is not prime.  Res64: 9F9F9624D31775E7  Time : 1046.0 sec.
user=vaughan
[2009-08-02 19:56:17]
363*2^826804-1 is not prime.  Res64: 68704ECC776217B9  Time : 1121.0 sec.
user=vaughan
[2009-08-02 19:57:08]
355*2^826805-1 is not prime.  Res64: 29A23894445995BA  Time : 1115.0 sec.
user=marco.bs
[2009-08-02 19:57:16]
355*2^824889-1 is not prime.  Res64: ACFEF3435705A11A  Time : 49627.0 sec.
user=vaughan
[2009-08-02 19:58:52]
361*2^826809-1 is not prime.  Res64: 8514440EF96ABA65  Time : 1040.0 sec.
user=cipher
[2009-08-02 19:58:52]
355*2^826797-1 is not prime.  Res64: D836388B9FE945DF  Time : 1564.0 sec.
user=vaughan
[2009-08-02 20:00:15]
363*2^826810-1 is not prime.  Res64: C91E550F7025CA67  Time : 1040.0 sec.
user=vaughan
[2009-08-02 20:03:49]
351*2^826811-1 is not prime.  Res64: 50CCD9989D588A0F  Time : 1054.0 sec.
user=vaughan
[2009-08-02 20:09:13]
363*2^826814-1 is not prime.  Res64: 5CF747DC6A454BC4  Time : 1038.0 sec.
user=vaughan
[2009-08-02 20:12:29]
365*2^826822-1 is not prime.  Res64: 237B97179BAC9C22  Time : 1106.0 sec.
user=vaughan
[2009-08-02 20:13:30]
357*2^826825-1 is not prime.  Res64: 9C8AB8C1E7AB7566  Time : 1050.0 sec.
user=vaughan
[2009-08-02 20:14:26]
357*2^826814-1 is not prime.  Res64: 4E0D7479302EE808  Time : 1451.0 sec.
user=vaughan
[2009-08-02 20:14:43]
357*2^826828-1 is not prime.  Res64: C84F1A3E4BAAF75D  Time : 1107.0 sec.
user=vaughan
[2009-08-02 20:15:36]
351*2^826837-1 is not prime.  Res64: 49CB5486D3E1BDAA  Time : 1109.0 sec.
user=vaughan
[2009-08-02 20:16:14]
363*2^826838-1 is not prime.  Res64: FE9E20183DD7601D  Time : 1044.0 sec.
user=vaughan
[2009-08-02 20:17:30]
363*2^826846-1 is not prime.  Res64: 4888FE78413EB5E3  Time : 1036.0 sec.
user=vaughan
[2009-08-02 20:17:35]
365*2^826814-1 is not prime.  Res64: 915A5F44EDCF395F  Time : 1498.0 sec.
user=vaughan
[2009-08-02 20:21:23]
365*2^826850-1 is not prime.  Res64: 46399F13F68474D1  Time : 1054.0 sec.
user=vaughan
[2009-08-02 20:26:29]
361*2^826853-1 is not prime.  Res64: 8A96FF784091130A  Time : 1036.0 sec.
user=marco.bs
[2009-08-02 20:26:58]
363*2^824955-1 is not prime.  Res64: 8E5A1A82E21D9E53  Time : 49836.0 sec.
user=cipher
[2009-08-02 20:27:03]
355*2^826841-1 is not prime.  Res64: 297D32B8EA9E1338  Time : 1691.0 sec.
user=vaughan
[2009-08-02 20:31:02]
361*2^826859-1 is not prime.  Res64: CDDC0F897A3A78AF  Time : 1113.0 sec.
user=vaughan
[2009-08-02 20:31:14]
363*2^826859-1 is not prime.  Res64: EA816C8FB3E5AE11  Time : 1064.0 sec.
user=vaughan
[2009-08-02 20:33:06]
351*2^826871-1 is not prime.  Res64: 6A997EE06D2F058D  Time : 1103.0 sec.
user=vaughan
[2009-08-02 20:33:35]
357*2^826890-1 is not prime.  Res64: 3CCF463A98585B21  Time : 1041.0 sec.
user=vaughan
[2009-08-02 20:34:01]
361*2^826875-1 is not prime.  Res64: 778023ADF5FEDDEB  Time : 1105.0 sec.
user=vaughan
[2009-08-02 20:34:50]
355*2^826893-1 is not prime.  Res64: 0BDEDC9F5E46FDE5  Time : 1040.0 sec.
user=vaughan
[2009-08-02 20:39:05]
351*2^826897-1 is not prime.  Res64: 8B0252AB8EA9616C  Time : 1062.0 sec.
user=vaughan
[2009-08-02 20:39:43]
355*2^826865-1 is not prime.  Res64: 93E6EF83B604CD64  Time : 1517.0 sec.
user=vaughan
[2009-08-02 20:43:48]
363*2^826899-1 is not prime.  Res64: 372CCC3D98807049  Time : 1039.0 sec.
user=vaughan
[2009-08-02 20:46:01]
357*2^826894-1 is not prime.  Res64: D4D69DF8E0325DB3  Time : 1706.0 sec.
user=vaughan
[2009-08-02 20:48:55]
363*2^826911-1 is not prime.  Res64: D5409C2D26553581  Time : 1061.0 sec.
user=vaughan
[2009-08-02 20:49:48]
355*2^826911-1 is not prime.  Res64: 310B11928EF4BCD0  Time : 1126.0 sec.
user=vaughan
[2009-08-02 20:50:37]
363*2^826918-1 is not prime.  Res64: 70B80AD41C5247AA  Time : 1022.0 sec.
user=vaughan
[2009-08-02 20:51:50]
357*2^826912-1 is not prime.  Res64: 19E170E3B2637586  Time : 1125.0 sec.
user=vaughan
[2009-08-02 20:51:55]
365*2^826942-1 is not prime.  Res64: 4A1552B1EE125B16  Time : 1025.0 sec.
user=vaughan
[2009-08-02 20:52:44]
361*2^826925-1 is not prime.  Res64: 794F9ECA30CC10D1  Time : 1124.0 sec.
user=marco.bs
[2009-08-02 20:53:14]
363*2^825094-1 is not prime.  Res64: 80836BB0F6CC9F95  Time : 49860.0 sec.
user=vaughan
[2009-08-02 20:56:29]
351*2^826946-1 is not prime.  Res64: 215A8127C61C0EFE  Time : 1045.0 sec.
user=cipher
[2009-08-02 20:56:37]
355*2^826909-1 is not prime.  Res64: 2FD4392756A610CE  Time : 1774.0 sec.
user=vaughan
[2009-08-02 21:01:17]
361*2^826601-1 is not prime.  Res64: 6BA3604E6254FAEA  Time : 9973.0 sec.
user=vaughan
[2009-08-02 21:01:25]
363*2^826956-1 is not prime.  Res64: 4B09FDA76390994C  Time : 1057.0 sec.
user=vaughan
[2009-08-02 21:05:49]
355*2^826949-1 is not prime.  Res64: 6C74F6F7024AD06D  Time : 1566.0 sec.
user=vaughan
[2009-08-02 21:06:39]
363*2^826976-1 is not prime.  Res64: 04A4DBE7B586920D  Time : 1064.0 sec.
user=vaughan
[2009-08-02 21:08:00]
357*2^826978-1 is not prime.  Res64: 73852D576012B799  Time : 1043.0 sec.
user=vaughan
[2009-08-02 21:08:23]
361*2^826977-1 is not prime.  Res64: 55DBEF81B6DDAB75  Time : 1116.0 sec.
user=vaughan
[2009-08-02 21:09:09]
355*2^826991-1 is not prime.  Res64: C868D6B58CEAC247  Time : 1034.0 sec.
user=vaughan
[2009-08-02 21:10:24]
351*2^826991-1 is not prime.  Res64: 113397BEF7E7FD75  Time : 1114.0 sec.
user=vaughan
[2009-08-02 21:11:23]
357*2^826993-1 is not prime.  Res64: D1FA539D745C346B  Time : 1119.0 sec.
user=vaughan
[2009-08-02 21:14:17]
357*2^827010-1 is not prime.  Res64: 310B28E63CCBC63D  Time : 1068.0 sec.
user=vaughan
[2009-08-02 21:14:20]
357*2^826973-1 is not prime.  Res64: 93E4219A7A88105F  Time : 1699.0 sec.
user=vaughan
[2009-08-02 21:18:40]
351*2^827018-1 is not prime.  Res64: CFACC87C71BD3A88  Time : 1035.0 sec.
user=marco.bs
[2009-08-02 21:20:06]
365*2^825160-1 is not prime.  Res64: 7AAC075CE08C3F97  Time : 49909.0 sec.
user=cipher
[2009-08-02 21:20:09]
357*2^827012-1 is not prime.  Res64: D62AF360B286A4AB  Time : 1412.0 sec.
user=vaughan
[2009-08-02 21:24:26]
363*2^827023-1 is not prime.  Res64: 961296405FBCA9F9  Time : 1067.0 sec.
user=vaughan
[2009-08-02 21:25:26]
357*2^827037-1 is not prime.  Res64: ED87EB843F04EFE6  Time : 1046.0 sec.
user=vaughan
[2009-08-02 21:26:23]
355*2^827049-1 is not prime.  Res64: B59DCACE2E23C4F0  Time : 1034.0 sec.
user=vaughan
[2009-08-02 21:27:01]
357*2^827038-1 is not prime.  Res64: 90A48B5CADB2979A  Time : 1118.0 sec.
user=vaughan
[2009-08-02 21:29:09]
357*2^827050-1 is not prime.  Res64: B3E3FB0A9A9DA70A  Time : 1125.0 sec.
user=vaughan
[2009-08-02 21:30:06]
363*2^827056-1 is not prime.  Res64: B55336FED4A6437D  Time : 1123.0 sec.
user=vaughan
[2009-08-02 21:31:34]
351*2^827021-1 is not prime.  Res64: 25454D74D36B3517  Time : 1545.0 sec.
user=vaughan
[2009-08-02 21:32:06]
351*2^827057-1 is not prime.  Res64: 0188C806675847EE  Time : 1069.0 sec.
user=vaughan
[2009-08-02 21:36:02]
357*2^827062-1 is not prime.  Res64: D06F07426EA4133B  Time : 1042.0 sec.
user=vaughan
[2009-08-02 21:40:17]
363*2^826527-1 is not prime.  Res64: 90C7D7FF0CD57A0A  Time : 14604.0 sec.
user=vaughan
[2009-08-02 21:41:27]
355*2^827057-1 is not prime.  Res64: FFA06F1881137D2A  Time : 1627.0 sec.
user=vaughan
[2009-08-02 21:42:10]
365*2^827078-1 is not prime.  Res64: 09EBD84B49DD5056  Time : 1064.0 sec.
user=vaughan
[2009-08-02 21:42:55]
363*2^827079-1 is not prime.  Res64: 665AFDE8D02FDB39  Time : 1050.0 sec.
user=vaughan
[2009-08-02 21:43:50]
355*2^827081-1 is not prime.  Res64: 3DCB0012533C7806  Time : 1047.0 sec.
user=vaughan
[2009-08-02 21:44:54]
361*2^827093-1 is not prime.  Res64: 703C53D23287EC16  Time : 1073.0 sec.
user=vaughan
[2009-08-02 21:46:59]
363*2^827103-1 is not prime.  Res64: 622AB1FF87DD0F6F  Time : 1070.0 sec.
user=cipher
[2009-08-02 21:47:03]
351*2^827077-1 is not prime.  Res64: 1E46CCF556865103  Time : 1614.0 sec.
user=vaughan
[2009-08-02 21:47:57]
355*2^827127-1 is not prime.  Res64: 9F9B7CB996EC1CEB  Time : 1072.0 sec.
user=vaughan
[2009-08-02 21:50:01]
357*2^827130-1 is not prime.  Res64: 1155B72824E2AA56  Time : 1075.0 sec.
user=vaughan
[2009-08-02 21:52:58]
357*2^827133-1 is not prime.  Res64: B06B0C2D61C669F9  Time : 1016.0 sec.
user=vaughan
[2009-08-02 21:53:46]
351*2^827129-1 is not prime.  Res64: 3582C503AE85EE51  Time : 1333.0 sec.
user=vaughan
[2009-08-02 21:59:59]
357*2^827148-1 is not prime.  Res64: BECB0E178556DBBD  Time : 1069.0 sec.
user=vaughan
[2009-08-02 22:00:05]
357*2^827149-1 is not prime.  Res64: EABE1C9E3530A746  Time : 1030.0 sec.
user=vaughan
[2009-08-02 22:01:11]
355*2^827151-1 is not prime.  Res64: FA7A60BF2746F954  Time : 1042.0 sec.
user=vaughan
[2009-08-02 22:03:13]
357*2^827152-1 is not prime.  Res64: B1BF9CE2C08F97FA  Time : 1099.0 sec.
user=vaughan
[2009-08-02 22:03:32]
363*2^827146-1 is not prime.  Res64: 5B063223BFF862E4  Time : 1325.0 sec.
user=vaughan
[2009-08-02 22:05:17]
351*2^827159-1 is not prime.  Res64: 2983D305949EECC0  Time : 1099.0 sec.
user=marco.bs
[2009-08-02 22:06:26]
357*2^825240-1 is not prime.  Res64: FB4B18E587DCF5F9  Time : 51123.0 sec.
user=vaughan
[2009-08-02 22:06:28]
357*2^827164-1 is not prime.  Res64: 77FFFBCB317C5380  Time : 1112.0 sec.
user=vaughan
[2009-08-02 22:07:43]
355*2^827165-1 is not prime.  Res64: 8C7749CAF025D400  Time : 1062.0 sec.
user=vaughan
[2009-08-02 22:10:09]
357*2^827165-1 is not prime.  Res64: 280FDC82AE673737  Time : 1031.0 sec.
user=cipher
[2009-08-02 22:12:27]
363*2^827159-1 is not prime.  Res64: F6198F7BED961724  Time : 1524.0 sec.
user=vaughan
[2009-08-02 22:15:44]
361*2^827171-1 is not prime.  Res64: 72CE951D404956AA  Time : 1318.0 sec.
user=vaughan
[2009-08-02 22:16:43]
357*2^826632-1 is not prime.  Res64: 49C2587EC8E6CB36  Time : 13593.0 sec.
user=vaughan
[2009-08-02 22:17:11]
357*2^827185-1 is not prime.  Res64: EA17C3B359EAA5AB  Time : 1026.0 sec.
user=vaughan
[2009-08-02 22:17:38]
363*2^827174-1 is not prime.  Res64: F2934E15CC94A6F3  Time : 1059.0 sec.
user=vaughan
[2009-08-02 22:18:29]
365*2^827186-1 is not prime.  Res64: B210C4FFF80287FA  Time : 1038.0 sec.
user=vaughan
[2009-08-02 22:21:43]
355*2^827191-1 is not prime.  Res64: A2C4C77668722528  Time : 1110.0 sec.
user=vaughan
[2009-08-02 22:23:40]
363*2^827203-1 is not prime.  Res64: F2B4C88C07BDA770  Time : 1103.0 sec.
user=vaughan
[2009-08-02 22:24:49]
351*2^827210-1 is not prime.  Res64: D75D796832222622  Time : 1101.0 sec.
user=vaughan
[2009-08-02 22:25:28]
357*2^827210-1 is not prime.  Res64: 1624B8A0FDF35744  Time : 1065.0 sec.
user=vaughan
[2009-08-02 22:26:47]
363*2^827198-1 is not prime.  Res64: AE31338E9A4704E7  Time : 1395.0 sec.
user=vaughan
[2009-08-02 22:27:31]
357*2^827217-1 is not prime.  Res64: 6CC18CAFC8F90099  Time : 1043.0 sec.
user=marco.bs
[2009-08-02 22:32:59]
355*2^825281-1 is not prime.  Res64: 09D12E1EA3E29E0B  Time : 51159.0 sec.
user=vaughan
[2009-08-02 22:34:21]
361*2^827253-1 is not prime.  Res64: E21AA366F45D65A4  Time : 1030.0 sec.
user=vaughan
[2009-08-02 22:35:28]
357*2^827258-1 is not prime.  Res64: E61AB39EB13C336C  Time : 1071.0 sec.
user=vaughan
[2009-08-02 22:35:28]
363*2^827258-1 is not prime.  Res64: 00025B83EECE8AD7  Time : 1020.0 sec.
user=vaughan
[2009-08-02 22:37:44]
363*2^827220-1 is not prime.  Res64: 8964BB2A1AFA75C7  Time : 1320.0 sec.
user=vaughan
[2009-08-02 22:40:17]
363*2^827259-1 is not prime.  Res64: 103F31487188FFA3  Time : 1115.0 sec.
user=cipher
[2009-08-02 22:41:51]
361*2^827217-1 is not prime.  Res64: 47A151F7A679089D  Time : 1764.0 sec.
user=vaughan
[2009-08-02 22:42:23]
355*2^827261-1 is not prime.  Res64: 93E986AEB73E6CB9  Time : 1123.0 sec.
user=vaughan
[2009-08-02 22:43:05]
357*2^827268-1 is not prime.  Res64: 5939B5BE054C5EA5  Time : 1057.0 sec.
user=vaughan
[2009-08-02 22:43:32]
363*2^827267-1 is not prime.  Res64: F8573471E1152516  Time : 1123.0 sec.
user=vaughan
[2009-08-02 22:45:10]
363*2^827272-1 is not prime.  Res64: 55555C52FAB257D9  Time : 1059.0 sec.
user=vaughan
[2009-08-02 22:50:54]
355*2^827271-1 is not prime.  Res64: 7D0CADC8C74B31A4  Time : 1447.0 sec.
user=vaughan
[2009-08-02 22:51:19]
355*2^827277-1 is not prime.  Res64: 46A22BD574712FDF  Time : 1018.0 sec.
user=vaughan
[2009-08-02 22:52:13]
355*2^827281-1 is not prime.  Res64: 2D82B2137C5224E1  Time : 1005.0 sec.
user=vaughan
[2009-08-02 22:52:59]
351*2^827278-1 is not prime.  Res64: B321DB634F03863F  Time : 1052.0 sec.
user=vaughan
[2009-08-02 22:58:31]
361*2^827289-1 is not prime.  Res64: 582B2CB261B699B0  Time : 1094.0 sec.
user=marco.bs
[2009-08-02 22:59:53]
357*2^825337-1 is not prime.  Res64: CE3D8553C2731EE9  Time : 51213.0 sec.
user=vaughan
[2009-08-02 23:00:23]
363*2^827295-1 is not prime.  Res64: 100710F03144B7E9  Time : 1081.0 sec.
user=vaughan
[2009-08-02 23:00:23]
361*2^827297-1 is not prime.  Res64: 686CCF47C3800DD0  Time : 1038.0 sec.
user=vaughan
[2009-08-02 23:01:41]
355*2^827301-1 is not prime.  Res64: B5C869276B734653  Time : 1096.0 sec.
user=vaughan
[2009-08-02 23:02:22]
365*2^827302-1 is not prime.  Res64: 50BE73BA580B17DA  Time : 1032.0 sec.
user=vaughan
[2009-08-02 23:02:58]
357*2^827284-1 is not prime.  Res64: 5A2727FE39BBF17D  Time : 1515.0 sec.
user=vaughan
[2009-08-02 23:08:36]
357*2^827304-1 is not prime.  Res64: 85C9D6A7EE4AD411  Time : 1037.0 sec.
user=vaughan
[2009-08-02 23:09:10]
363*2^827308-1 is not prime.  Res64: 045F536EC50A2C78  Time : 1017.0 sec.
user=vaughan
[2009-08-02 23:10:50]
363*2^827318-1 is not prime.  Res64: 74F95480DF096699  Time : 1072.0 sec.
user=cipher
[2009-08-02 23:11:17]
365*2^827290-1 is not prime.  Res64: F4582309BC6070AF  Time : 1766.0 sec.
user=vaughan
[2009-08-02 23:12:30]
355*2^826713-1 is not prime.  Res64: F3A8B6DBF3ECB369  Time : 14810.0 sec.
user=vaughan
[2009-08-02 23:15:33]
357*2^826724-1 is not prime.  Res64: 57F9BB26E14A4C77  Time : 14853.0 sec.
user=vaughan
[2009-08-02 23:16:35]
363*2^827319-1 is not prime.  Res64: 466E1A64AA52DD12  Time : 1085.0 sec.
user=vaughan
[2009-08-02 23:18:13]
361*2^827321-1 is not prime.  Res64: 5440A70275D4452C  Time : 1070.0 sec.
user=vaughan
[2009-08-02 23:18:33]
363*2^827320-1 is not prime.  Res64: 281703C692246AC9  Time : 1090.0 sec.
user=vaughan
[2009-08-02 23:18:58]
351*2^827303-1 is not prime.  Res64: 869EFDAE4A8D8B18  Time : 1684.0 sec.
user=vaughan
[2009-08-02 23:19:27]
363*2^827340-1 is not prime.  Res64: B224950B8037EC37  Time : 1025.0 sec.
user=vaughan
[2009-08-02 23:19:54]
363*2^827330-1 is not prime.  Res64: 2DDA7798519739E3  Time : 1093.0 sec.
user=vaughan
[2009-08-02 23:26:07]
361*2^827349-1 is not prime.  Res64: 1AC4BF0D9B10BB1F  Time : 1051.0 sec.
user=vaughan
[2009-08-02 23:26:20]
351*2^827351-1 is not prime.  Res64: C2745E0512A12230  Time : 1031.0 sec.
user=marco.bs
[2009-08-02 23:26:45]
357*2^825389-1 is not prime.  Res64: 656C300343EF261F  Time : 51266.0 sec.
user=vaughan
[2009-08-02 23:28:42]
363*2^827356-1 is not prime.  Res64: 4249D39F68AF38D4  Time : 1073.0 sec.
user=vaughan
[2009-08-02 23:29:47]
357*2^827348-1 is not prime.  Res64: C8BDE28A4B756119  Time : 1609.0 sec.
user=vaughan
[2009-08-02 23:34:19]
363*2^827375-1 is not prime.  Res64: 69E622608D81688C  Time : 1064.0 sec.
user=vaughan
[2009-08-02 23:35:55]
351*2^827381-1 is not prime.  Res64: 8DFEB61C9657257C  Time : 1062.0 sec.
user=vaughan
[2009-08-02 23:36:10]
355*2^827381-1 is not prime.  Res64: 4B03674E0E6C84D1  Time : 1057.0 sec.
user=vaughan
[2009-08-02 23:36:24]
357*2^827389-1 is not prime.  Res64: 5130A7B099ECE34F  Time : 1017.0 sec.
user=cipher
[2009-08-02 23:37:09]
351*2^827357-1 is not prime.  Res64: 63A6D6B127527210  Time : 1552.0 sec.
user=vaughan
[2009-08-02 23:37:28]
355*2^827397-1 is not prime.  Res64: C03489B50A93B0F7  Time : 1055.0 sec.
user=vaughan
[2009-08-02 23:43:26]
361*2^827399-1 is not prime.  Res64: 38EBB59B3DA8D67C  Time : 1039.0 sec.
user=vaughan
[2009-08-02 23:43:33]
355*2^827407-1 is not prime.  Res64: 3A43A6128F5EB84B  Time : 1033.0 sec.
user=vaughan
[2009-08-02 23:45:45]
365*2^827014-1 is not prime.  Res64: BA730D840FA5CFB4  Time : 9869.0 sec.
user=vaughan
[2009-08-02 23:45:57]
361*2^827415-1 is not prime.  Res64: 93827BADD75E52DE  Time : 1035.0 sec.
user=vaughan
[2009-08-02 23:48:20]
363*2^827388-1 is not prime.  Res64: CA2485377D0E0C6A  Time : 1762.0 sec.
user=vaughan
[2009-08-02 23:50:56]
365*2^827420-1 is not prime.  Res64: FB9C02BA07173E67  Time : 997.0 sec.
user=vaughan
[2009-08-02 23:52:43]
351*2^827429-1 is not prime.  Res64: 8A16FB88D871EBE3  Time : 980.0 sec.
user=vaughan
[2009-08-02 23:52:46]
363*2^827427-1 is not prime.  Res64: 8F48C46C9FA63279  Time : 996.0 sec.
user=vaughan
[2009-08-02 23:53:44]
361*2^827423-1 is not prime.  Res64: 65255C46C6E6A747  Time : 1069.0 sec.
user=vaughan
[2009-08-02 23:54:08]
363*2^827443-1 is not prime.  Res64: DB743DC142794206  Time : 1000.0 sec.
user=vaughan
[2009-08-02 23:55:39]
363*2^827420-1 is not prime.  Res64: 9E6AA11E1DEE6D2D  Time : 1553.0 sec.