user=mdettweiler
[2011-03-01 00:10:37]
2317*2^339097-1 is not prime.  Res64: 59E57067D11749F2  Time : 2455.0 sec.
user=mdettweiler
[2011-03-01 00:51:32]
2317*2^339189-1 is not prime.  Res64: 96F4D9405A7FFBA1  Time : 2454.0 sec.
user=mdettweiler
[2011-03-01 01:32:26]
2317*2^339197-1 is not prime.  Res64: 6680904FB5DFACD9  Time : 2454.0 sec.
user=mdettweiler
[2011-03-01 02:13:45]
2317*2^339225-1 is not prime.  Res64: 7D20D3A5B1A8FBAB  Time : 2479.0 sec.
user=mdettweiler
[2011-03-01 04:06:44]
2317*2^339449-1 is not prime.  Res64: DBFF3AEA41776F30  Time : 6779.0 sec.
user=mdettweiler
[2011-03-01 04:47:43]
2317*2^339665-1 is not prime.  Res64: 8B34E1222E7DE8B6  Time : 2459.0 sec.
user=mdettweiler
[2011-03-01 05:28:40]
2317*2^339729-1 is not prime.  Res64: 69BF037D71B95F0C  Time : 2457.0 sec.
user=Joule [Free-DC]
[2011-03-01 05:36:27]
2317*2^339937-1 is not prime.  Res64: 9104ABB8FD7A9CD0  Time : 214.0 sec.
user=Joule [Free-DC]
[2011-03-01 05:39:51]
2317*2^339989-1 is not prime.  Res64: 9BB9101515BCE0B2  Time : 203.0 sec.
user=Joule [Free-DC]
[2011-03-01 05:43:18]
2317*2^340009-1 is not prime.  Res64: F39B9E6EFD376209  Time : 207.0 sec.
user=Joule [Free-DC]
[2011-03-01 05:46:51]
2317*2^340037-1 is not prime.  Res64: 1248D1BEC424422C  Time : 212.0 sec.
user=Joule [Free-DC]
[2011-03-01 05:50:23]
2317*2^340085-1 is not prime.  Res64: 53A0ADE9193D1C04  Time : 212.0 sec.
user=Joule [Free-DC]
[2011-03-01 05:54:04]
2317*2^340109-1 is not prime.  Res64: C3430DC83D443E9F  Time : 220.0 sec.
user=Joule [Free-DC]
[2011-03-01 05:57:57]
2317*2^340165-1 is not prime.  Res64: 8D3476979478FD20  Time : 233.0 sec.
user=Joule [Free-DC]
[2011-03-01 06:01:29]
2317*2^340197-1 is not prime.  Res64: BA216852E0D19D8C  Time : 212.0 sec.
user=Joule [Free-DC]
[2011-03-01 06:04:56]
2317*2^340289-1 is not prime.  Res64: 5FBAA1D39C6BC38D  Time : 207.0 sec.
user=Joule [Free-DC]
[2011-03-01 06:08:24]
2317*2^340297-1 is not prime.  Res64: 09A896FE1E41E39F  Time : 208.0 sec.
user=mdettweiler
[2011-03-01 06:11:25]
2317*2^339829-1 is not prime.  Res64: 2130C829F22EB49E  Time : 2565.0 sec.
user=Joule [Free-DC]
[2011-03-01 06:11:57]
2317*2^340589-1 is not prime.  Res64: 3221C6FD9FF8E0F0  Time : 212.0 sec.
user=Joule [Free-DC]
[2011-03-01 06:15:18]
2317*2^340737-1 is not prime.  Res64: B7E724D56247426F  Time : 201.0 sec.
user=Joule [Free-DC]
[2011-03-01 06:19:13]
2317*2^340809-1 is not prime.  Res64: 872F869AC3C4E153  Time : 235.0 sec.
user=Joule [Free-DC]
[2011-03-01 06:22:42]
2317*2^340897-1 is not prime.  Res64: 263081A3F1570CFB  Time : 209.0 sec.
user=Joule [Free-DC]
[2011-03-01 06:26:12]
2317*2^341129-1 is not prime.  Res64: 337D401B7744E7FC  Time : 210.0 sec.
user=Joule [Free-DC]
[2011-03-01 06:29:38]
2317*2^341185-1 is not prime.  Res64: B85B90B115D14D34  Time : 205.0 sec.
user=Joule [Free-DC]
[2011-03-01 06:33:03]
2317*2^341269-1 is not prime.  Res64: 54B538D1E203352C  Time : 204.0 sec.
user=Joule [Free-DC]
[2011-03-01 06:36:42]
2317*2^341369-1 is not prime.  Res64: A52AACA25698AA0A  Time : 219.0 sec.
user=Joule [Free-DC]
[2011-03-01 06:40:17]
2317*2^341557-1 is not prime.  Res64: D3B2B6D8EDD021DD  Time : 215.0 sec.
user=Joule [Free-DC]
[2011-03-01 06:43:55]
2317*2^341617-1 is not prime.  Res64: ECE8B153255170FF  Time : 218.0 sec.
user=Joule [Free-DC]
[2011-03-01 06:48:09]
2317*2^341669-1 is not prime.  Res64: A33F3BE8BDBAE704  Time : 254.0 sec.
user=Joule [Free-DC]
[2011-03-01 06:51:54]
2317*2^341849-1 is not prime.  Res64: ED81670C4764A87D  Time : 225.0 sec.
user=mdettweiler
[2011-03-01 06:52:33]
2317*2^340729-1 is not prime.  Res64: 9C28E47F470EA6ED  Time : 2468.0 sec.
user=Joule [Free-DC]
[2011-03-01 06:55:29]
2317*2^341857-1 is not prime.  Res64: 592FF43F33589B07  Time : 215.0 sec.
user=Joule [Free-DC]
[2011-03-01 06:59:05]
2317*2^342097-1 is not prime.  Res64: 1A353C2D5480C5AA  Time : 215.0 sec.
user=Joule [Free-DC]
[2011-03-01 07:02:39]
2317*2^342437-1 is not prime.  Res64: 411A6B4A1FC7BC33  Time : 213.0 sec.
user=Joule [Free-DC]
[2011-03-01 07:06:01]
2317*2^342569-1 is not prime.  Res64: AD7E78754E1A3830  Time : 202.0 sec.
user=Joule [Free-DC]
[2011-03-01 07:09:23]
2317*2^342577-1 is not prime.  Res64: BAB00E7EE23E4458  Time : 201.0 sec.
user=Joule [Free-DC]
[2011-03-01 07:12:45]
2317*2^342649-1 is not prime.  Res64: AE2E293A47300685  Time : 201.0 sec.
user=Joule [Free-DC]
[2011-03-01 07:16:08]
2317*2^342745-1 is not prime.  Res64: 104B890586A587F4  Time : 202.0 sec.
user=Joule [Free-DC]
[2011-03-01 07:19:30]
2317*2^342769-1 is not prime.  Res64: 69026412F6D70BB6  Time : 202.0 sec.
user=Joule [Free-DC]
[2011-03-01 07:22:52]
2317*2^342797-1 is not prime.  Res64: 74ABB2C06FE115D9  Time : 202.0 sec.
user=Joule [Free-DC]
[2011-03-01 07:26:14]
2317*2^342845-1 is not prime.  Res64: 8F4F9788612093C8  Time : 202.0 sec.
user=Joule [Free-DC]
[2011-03-01 07:29:37]
2317*2^342857-1 is not prime.  Res64: 53019476E91C20A2  Time : 202.0 sec.
user=Joule [Free-DC]
[2011-03-01 07:32:59]
2317*2^342865-1 is not prime.  Res64: E414DB1BA417EB3B  Time : 202.0 sec.
user=mdettweiler
[2011-03-01 07:33:50]
2317*2^342017-1 is not prime.  Res64: 05FDE123769DC100  Time : 2476.0 sec.
user=Joule [Free-DC]
[2011-03-01 07:36:21]
2317*2^343005-1 is not prime.  Res64: 2F218F2D65D9082F  Time : 202.0 sec.
user=Joule [Free-DC]
[2011-03-01 07:39:43]
2317*2^343189-1 is not prime.  Res64: 05BD637A98EB0078  Time : 201.0 sec.
user=Joule [Free-DC]
[2011-03-01 07:43:06]
2317*2^343217-1 is not prime.  Res64: 78C018C7C8DE97E7  Time : 202.0 sec.
user=Joule [Free-DC]
[2011-03-01 07:46:28]
2317*2^343445-1 is not prime.  Res64: 6D57B6169723070D  Time : 202.0 sec.
user=Joule [Free-DC]
[2011-03-01 07:49:51]
2317*2^343489-1 is not prime.  Res64: 28AF1B6E3ED29A48  Time : 202.0 sec.
user=Joule [Free-DC]
[2011-03-01 07:53:14]
2317*2^343769-1 is not prime.  Res64: FB436EE7E72D2729  Time : 203.0 sec.
user=mdettweiler
[2011-03-01 08:15:10]
2317*2^343105-1 is not prime.  Res64: 0CDF440251CCDC6D  Time : 2480.0 sec.
user=mdettweiler
[2011-03-01 08:56:39]
2317*2^343949-1 is not prime.  Res64: 8A189C5D47005DD1  Time : 2489.0 sec.
user=mdettweiler
[2011-03-01 09:38:09]
2317*2^344057-1 is not prime.  Res64: 93107E26DB86C969  Time : 2490.0 sec.
user=mdettweiler
[2011-03-01 10:20:09]
2317*2^344337-1 is not prime.  Res64: D6AD6142E7A3BCE2  Time : 2520.0 sec.
user=mdettweiler
[2011-03-01 11:01:43]
2317*2^344609-1 is not prime.  Res64: 09C7EB5647AE63C6  Time : 2493.0 sec.
user=mdettweiler
[2011-03-01 11:43:18]
2317*2^344617-1 is not prime.  Res64: 69842CA2A4C6DC00  Time : 2495.0 sec.
user=mdettweiler
[2011-03-01 12:24:50]
2317*2^344657-1 is not prime.  Res64: 2CB0C34F15DC57DC  Time : 2492.0 sec.
user=mdettweiler
[2011-03-01 13:06:25]
2317*2^344669-1 is not prime.  Res64: A57DA1378B2B41AF  Time : 2494.0 sec.
user=mdettweiler
[2011-03-01 13:48:22]
2317*2^344769-1 is not prime.  Res64: D71A1D3A0C6D8D71  Time : 2516.0 sec.
user=mdettweiler
[2011-03-01 17:03:50]
2317*2^345149-1 is not prime.  Res64: 70E6847CE9D44033  Time : 11718.0 sec.
user=mdettweiler
[2011-03-01 17:45:48]
2317*2^345169-1 is not prime.  Res64: 21B58548B126F307  Time : 2518.0 sec.
user=mdettweiler
[2011-03-01 18:28:05]
2317*2^345329-1 is not prime.  Res64: 8201F4E1AA2D6EF7  Time : 2536.0 sec.
user=mdettweiler
[2011-03-01 19:09:49]
2317*2^345449-1 is not prime.  Res64: 956B2841337D2C00  Time : 2504.0 sec.
user=mdettweiler
[2011-03-01 19:51:32]
2317*2^345485-1 is not prime.  Res64: 9102B1AC7D74125E  Time : 2503.0 sec.
user=mdettweiler
[2011-03-01 20:33:21]
2317*2^345637-1 is not prime.  Res64: C591341382E2CC88  Time : 2508.0 sec.
user=mdettweiler
[2011-03-01 21:15:14]
2317*2^345749-1 is not prime.  Res64: 79013C1F6583596B  Time : 2513.0 sec.
user=mdettweiler
[2011-03-01 21:57:42]
2317*2^345785-1 is not prime.  Res64: 306ABCA352571D4F  Time : 2548.0 sec.
user=DocHopper
[2011-03-01 22:16:05]
2317*2^335237-1 is not prime.  Res64: B99B354695AE62C5  Time : 142979.0 sec.
user=DocHopper
[2011-03-01 22:16:14]
2317*2^335165-1 is not prime.  Res64: 7161120AE6FF2477  Time : 143008.0 sec.
user=DocHopper
[2011-03-01 22:16:33]
2317*2^335265-1 is not prime.  Res64: 2D525EB9D9565A49  Time : 142989.0 sec.
user=DocHopper
[2011-03-01 22:17:21]
2317*2^335269-1 is not prime.  Res64: BD34AC265C809AEF  Time : 143001.0 sec.
user=DocHopper
[2011-03-01 22:17:41]
2317*2^335377-1 is not prime.  Res64: 0F9879FAA3669FEA  Time : 142991.0 sec.
user=DocHopper
[2011-03-01 22:18:13]
2317*2^335549-1 is not prime.  Res64: BC9931BA28E0037E  Time : 142974.0 sec.
user=DocHopper
[2011-03-01 22:18:21]
2317*2^335417-1 is not prime.  Res64: 14ADAB00F92A7F3D  Time : 142997.0 sec.
user=DocHopper
[2011-03-01 22:18:42]
2317*2^335789-1 is not prime.  Res64: DDA57CA9EB52DA65  Time : 142982.0 sec.
user=DocHopper
[2011-03-01 22:19:30]
2317*2^335885-1 is not prime.  Res64: 3EE4704E3801D16C  Time : 142990.0 sec.
user=DocHopper
[2011-03-01 22:19:50]
2317*2^335969-1 is not prime.  Res64: 6C300778A2A5C7BA  Time : 142983.0 sec.
user=DocHopper
[2011-03-01 22:20:27]
2317*2^335985-1 is not prime.  Res64: 65CF143E77FC7B47  Time : 142976.0 sec.
user=DocHopper
[2011-03-01 22:20:35]
2317*2^335977-1 is not prime.  Res64: E63F250FDDC3F2CA  Time : 142992.0 sec.
user=DocHopper
[2011-03-01 22:20:58]
2317*2^336089-1 is not prime.  Res64: 8817400A1E532BE3  Time : 142985.0 sec.
user=DocHopper
[2011-03-01 22:21:44]
2317*2^336237-1 is not prime.  Res64: ECEB2D37DD917AB2  Time : 142986.0 sec.
user=DocHopper
[2011-03-01 22:22:05]
2317*2^336265-1 is not prime.  Res64: A9FA78007CCACD15  Time : 142982.0 sec.
user=DocHopper
[2011-03-01 22:22:42]
2317*2^336425-1 is not prime.  Res64: AB2EF14F7A8B3F4D  Time : 142979.0 sec.
user=DocHopper
[2011-03-01 22:22:50]
2317*2^336417-1 is not prime.  Res64: 189A41CF6C7F946F  Time : 142990.0 sec.
user=DocHopper
[2011-03-01 22:23:13]
2317*2^336497-1 is not prime.  Res64: AE980ACC90F5ED37  Time : 142985.0 sec.
user=DocHopper
[2011-03-01 22:23:55]
2317*2^336517-1 is not prime.  Res64: 3309F0AC72E68473  Time : 142981.0 sec.
user=DocHopper
[2011-03-01 22:24:21]
2317*2^336525-1 is not prime.  Res64: AE3400BEC5ECD89D  Time : 142984.0 sec.
user=DocHopper
[2011-03-01 22:24:58]
2317*2^336649-1 is not prime.  Res64: FC41F86A44BC63DB  Time : 142983.0 sec.
user=DocHopper
[2011-03-01 22:25:07]
2317*2^336689-1 is not prime.  Res64: E58282888632BB46  Time : 142990.0 sec.
user=DocHopper
[2011-03-01 22:25:31]
2317*2^336705-1 is not prime.  Res64: 7F1E641F72DDA4B8  Time : 142988.0 sec.
user=DocHopper
[2011-03-01 22:26:10]
2317*2^336957-1 is not prime.  Res64: 2EAFAC46B2163C6D  Time : 142977.0 sec.
user=DocHopper
[2011-03-01 22:26:42]
2317*2^336985-1 is not prime.  Res64: 2E9842D49BF3FE7F  Time : 142987.0 sec.
user=DocHopper
[2011-03-01 22:27:24]
2317*2^346069-1 is not prime.  Res64: D460EEBC9878C5EC  Time : 679.0 sec.
user=DocHopper
[2011-03-01 22:27:34]
2317*2^346205-1 is not prime.  Res64: C2F14D011A46C07E  Time : 680.0 sec.
user=DocHopper
[2011-03-01 22:27:59]
2317*2^346457-1 is not prime.  Res64: 0F2E5ED0E9230975  Time : 686.0 sec.
user=DocHopper
[2011-03-01 22:28:29]
2317*2^346497-1 is not prime.  Res64: 76F16D389AE8F2D2  Time : 668.0 sec.
user=DocHopper
[2011-03-01 22:29:09]
2317*2^346637-1 is not prime.  Res64: 5A432683F2BF4F30  Time : 688.0 sec.
user=DocHopper
[2011-03-01 22:29:52]
2317*2^346709-1 is not prime.  Res64: 6937DDC40E82B414  Time : 699.0 sec.
user=DocHopper
[2011-03-01 22:30:02]
2317*2^346805-1 is not prime.  Res64: B2A354239BBC5266  Time : 701.0 sec.
user=DocHopper
[2011-03-01 22:30:27]
2317*2^347065-1 is not prime.  Res64: E778F23E578E9284  Time : 705.0 sec.
user=DocHopper
[2011-03-01 22:30:54]
2317*2^347577-1 is not prime.  Res64: 9BEFF213BC3EB87E  Time : 684.0 sec.
user=DocHopper
[2011-03-01 22:31:38]
2317*2^347829-1 is not prime.  Res64: 90138C515DE410EC  Time : 708.0 sec.
user=DocHopper
[2011-03-01 22:32:22]
2317*2^347969-1 is not prime.  Res64: 26CBE9A16A2E52F3  Time : 715.0 sec.
user=DocHopper
[2011-03-01 22:32:30]
2317*2^348149-1 is not prime.  Res64: 6FF95E83C4D7CBC2  Time : 715.0 sec.
user=DocHopper
[2011-03-01 22:32:57]
2317*2^348325-1 is not prime.  Res64: 98957335CF998A36  Time : 720.0 sec.
user=DocHopper
[2011-03-01 22:33:15]
2317*2^348577-1 is not prime.  Res64: 3250B80424EF0B31  Time : 691.0 sec.
user=DocHopper
[2011-03-01 22:34:07]
2317*2^348585-1 is not prime.  Res64: D085F73BE3A42FF7  Time : 722.0 sec.
user=DocHopper
[2011-03-01 22:34:52]
2317*2^348949-1 is not prime.  Res64: B58D3547BCA96FF3  Time : 731.0 sec.
user=DocHopper
[2011-03-01 22:35:02]
2317*2^348977-1 is not prime.  Res64: EFF4B52A464918B8  Time : 732.0 sec.
user=DocHopper
[2011-03-01 22:35:26]
2317*2^348997-1 is not prime.  Res64: 61DFA858458962FA  Time : 733.0 sec.
user=DocHopper
[2011-03-01 22:35:36]
2317*2^349017-1 is not prime.  Res64: 9AF95BBC6D314EC5  Time : 701.0 sec.
user=DocHopper
[2011-03-01 22:36:37]
2317*2^349089-1 is not prime.  Res64: 325922BF721446D5  Time : 736.0 sec.
user=DocHopper
[2011-03-01 22:37:23]
2317*2^349129-1 is not prime.  Res64: D8F36447C089AAC3  Time : 745.0 sec.
user=DocHopper
[2011-03-01 22:37:33]
2317*2^349269-1 is not prime.  Res64: 9BD0403A840C5457  Time : 746.0 sec.
user=DocHopper
[2011-03-01 22:37:59]
2317*2^349565-1 is not prime.  Res64: A1118F0C0ECFF1EB  Time : 748.0 sec.
user=DocHopper
[2011-03-01 22:38:01]
2317*2^349657-1 is not prime.  Res64: C5009DD3D9339385  Time : 711.0 sec.
user=DocHopper
[2011-03-01 22:39:06]
2317*2^349669-1 is not prime.  Res64: DA110D2891826078  Time : 744.0 sec.
user=DocHopper
[2011-03-01 22:39:54]
2317*2^349745-1 is not prime.  Res64: 324AFF34770D0867  Time : 750.0 sec.
user=DocHopper
[2011-03-01 22:40:03]
2317*2^349849-1 is not prime.  Res64: E2C9E8E18B09F5A0  Time : 749.0 sec.
user=DocHopper
[2011-03-01 22:40:21]
2317*2^349937-1 is not prime.  Res64: 86640AAFDD261304  Time : 712.0 sec.
user=DocHopper
[2011-03-01 22:40:30]
2317*2^349865-1 is not prime.  Res64: E564A7C967A17C78  Time : 751.0 sec.
user=DocHopper
[2011-03-01 22:41:20]
2319*2^250003-1 is not prime.  Res64: C3862604CFE85700  Time : 688.0 sec.
user=DocHopper
[2011-03-01 22:41:32]
2319*2^250036-1 is not prime.  Res64: F7A5DE4C6DF2FD37  Time : 690.0 sec.
user=DocHopper
[2011-03-01 22:41:39]
2317*2^349969-1 is not prime.  Res64: A925CB2FAFF2D189  Time : 750.0 sec.
user=DocHopper
[2011-03-01 22:41:54]
2319*2^250060-1 is not prime.  Res64: CFE319BCD2056FF9  Time : 661.0 sec.
user=DocHopper
[2011-03-01 22:41:56]
2319*2^250045-1 is not prime.  Res64: 9D3DDF4DE2AD6B25  Time : 689.0 sec.
user=mdettweiler
[2011-03-01 22:42:39]
2317*2^345965-1 is not prime.  Res64: 5A628A992E01CAC6  Time : 2697.0 sec.
user=DocHopper
[2011-03-01 22:42:49]
2319*2^250077-1 is not prime.  Res64: 99B3DA1323B6EBF9  Time : 627.0 sec.
user=DocHopper
[2011-03-01 22:43:00]
2319*2^250089-1 is not prime.  Res64: E7F79B16FC2BB040  Time : 630.0 sec.
user=DocHopper
[2011-03-01 22:43:07]
2319*2^250068-1 is not prime.  Res64: EE5936F80F43559F  Time : 689.0 sec.
user=DocHopper
[2011-03-01 22:43:21]
2319*2^250152-1 is not prime.  Res64: B1D3795B6F933417  Time : 624.0 sec.
user=DocHopper
[2011-03-01 22:43:24]
2319*2^250168-1 is not prime.  Res64: 527A3179B45D9B71  Time : 609.0 sec.
user=DocHopper
[2011-03-01 22:44:13]
2319*2^250192-1 is not prime.  Res64: 0A92D29C4B4FB33A  Time : 561.0 sec.
user=DocHopper
[2011-03-01 22:44:28]
2319*2^250237-1 is not prime.  Res64: BF2125FA93F01EFF  Time : 567.0 sec.
user=DocHopper
[2011-03-01 22:44:33]
2319*2^250188-1 is not prime.  Res64: 02AB4741FB4650BD  Time : 626.0 sec.
user=DocHopper
[2011-03-01 22:44:47]
2319*2^250249-1 is not prime.  Res64: A385C9FB4F054D34  Time : 561.0 sec.
user=DocHopper
[2011-03-01 22:44:57]
2319*2^250276-1 is not prime.  Res64: 968F0DFD20EC7005  Time : 561.0 sec.
user=DocHopper
[2011-03-01 22:45:41]
2319*2^250387-1 is not prime.  Res64: D259E36B9BE050BC  Time : 498.0 sec.
user=DocHopper
[2011-03-01 22:45:58]
2319*2^250389-1 is not prime.  Res64: D367944FEA5C201E  Time : 505.0 sec.
user=DocHopper
[2011-03-01 22:46:06]
2319*2^250363-1 is not prime.  Res64: B603B595B8DD5A41  Time : 569.0 sec.
user=DocHopper
[2011-03-01 22:46:22]
2319*2^250393-1 is not prime.  Res64: 486B6CF2C2D36EC9  Time : 503.0 sec.
user=DocHopper
[2011-03-01 22:46:28]
2319*2^250396-1 is not prime.  Res64: 3D8A5870DB01249B  Time : 507.0 sec.
user=DocHopper
[2011-03-01 22:47:05]
2319*2^250423-1 is not prime.  Res64: C48F01B0249EAE58  Time : 431.0 sec.
user=DocHopper
[2011-03-01 22:47:26]
2319*2^250432-1 is not prime.  Res64: E9DF6DA6436FEBDB  Time : 443.0 sec.
user=DocHopper
[2011-03-01 22:47:37]
2319*2^250399-1 is not prime.  Res64: 0F4DFEAEB2F97C81  Time : 511.0 sec.
user=DocHopper
[2011-03-01 22:47:56]
2319*2^250537-1 is not prime.  Res64: 1A3462397BE29D17  Time : 446.0 sec.
user=DocHopper
[2011-03-01 22:47:59]
2319*2^250528-1 is not prime.  Res64: 7885D7AB06DF20D7  Time : 458.0 sec.
user=DocHopper
[2011-03-01 22:48:34]
2319*2^250540-1 is not prime.  Res64: 6990158C4E248461  Time : 434.0 sec.
user=DocHopper
[2011-03-01 22:48:58]
2319*2^250555-1 is not prime.  Res64: 4D78DDA7EC98C75C  Time : 446.0 sec.
user=DocHopper
[2011-03-01 22:49:12]
2319*2^250593-1 is not prime.  Res64: 6B25740CE9DE9B3D  Time : 453.0 sec.
user=DocHopper
[2011-03-01 22:49:29]
2319*2^250600-1 is not prime.  Res64: 144C8FEC84716045  Time : 455.0 sec.
user=DocHopper
[2011-03-01 22:49:31]
2319*2^250608-1 is not prime.  Res64: CAF7782BB48FA06E  Time : 455.0 sec.
user=DocHopper
[2011-03-01 22:50:04]
2319*2^250645-1 is not prime.  Res64: 1D509E2B6F858DD3  Time : 435.0 sec.
user=DocHopper
[2011-03-01 22:50:30]
2319*2^250663-1 is not prime.  Res64: 5D8C088484452C1D  Time : 450.0 sec.
user=DocHopper
[2011-03-01 22:50:46]
2319*2^250665-1 is not prime.  Res64: D8FD0C7FFB024E69  Time : 460.0 sec.
user=DocHopper
[2011-03-01 22:51:00]
2319*2^250713-1 is not prime.  Res64: DE4A8C3E8FAD85D1  Time : 456.0 sec.
user=DocHopper
[2011-03-01 22:51:04]
2319*2^250687-1 is not prime.  Res64: A31A48C301507AD0  Time : 463.0 sec.
user=DocHopper
[2011-03-01 22:51:28]
2319*2^250717-1 is not prime.  Res64: 1082A454047C14CC  Time : 435.0 sec.
user=DocHopper
[2011-03-01 22:52:01]
2319*2^250720-1 is not prime.  Res64: EE1F768FF877228F  Time : 453.0 sec.
user=DocHopper
[2011-03-01 22:52:17]
2319*2^250729-1 is not prime.  Res64: 9DC71B15AAC764FC  Time : 464.0 sec.
user=DocHopper
[2011-03-01 22:52:31]
2319*2^250756-1 is not prime.  Res64: 03D49AF6738DEA85  Time : 454.0 sec.
user=DocHopper
[2011-03-01 22:52:39]
2319*2^250753-1 is not prime.  Res64: 9945A95037562BD6  Time : 472.0 sec.
user=DocHopper
[2011-03-01 22:52:53]
2319*2^250768-1 is not prime.  Res64: 685D01BE259FC9A3  Time : 432.0 sec.
user=DocHopper
[2011-03-01 22:53:32]
2319*2^250816-1 is not prime.  Res64: 4667A0481B14F5CB  Time : 454.0 sec.
user=DocHopper
[2011-03-01 22:53:51]
2319*2^250833-1 is not prime.  Res64: 2C63815C76B26CEE  Time : 465.0 sec.
user=DocHopper
[2011-03-01 22:54:02]
2319*2^250867-1 is not prime.  Res64: 9B01DD231D9227DB  Time : 454.0 sec.
user=DocHopper
[2011-03-01 22:54:13]
2319*2^250840-1 is not prime.  Res64: 7FCEE86DBA052C7E  Time : 471.0 sec.
user=DocHopper
[2011-03-01 22:54:18]
2319*2^250873-1 is not prime.  Res64: 1ED6D79BEB9C3290  Time : 433.0 sec.
user=DocHopper
[2011-03-01 22:55:00]
2319*2^250881-1 is not prime.  Res64: 9214C69C4373A1FA  Time : 454.0 sec.
user=DocHopper
[2011-03-01 22:55:26]
2319*2^250917-1 is not prime.  Res64: CED02E5DCF889E75  Time : 469.0 sec.
user=DocHopper
[2011-03-01 22:55:30]
2319*2^250960-1 is not prime.  Res64: D524942A65C1DBE2  Time : 451.0 sec.
user=DocHopper
[2011-03-01 22:55:41]
2319*2^250953-1 is not prime.  Res64: E627FCA83B57F462  Time : 465.0 sec.
user=DocHopper
[2011-03-01 22:55:46]
2319*2^251017-1 is not prime.  Res64: 02CF9440EA88F4A3  Time : 432.0 sec.
user=DocHopper
[2011-03-01 22:56:26]
2319*2^251037-1 is not prime.  Res64: A3EC98F9904CC80F  Time : 448.0 sec.
user=DocHopper
[2011-03-01 22:56:56]
2319*2^251076-1 is not prime.  Res64: C7F1ED2127CC4DE1  Time : 447.0 sec.
user=DocHopper
[2011-03-01 22:56:58]
2319*2^251071-1 is not prime.  Res64: 1EB8039A5680FF59  Time : 466.0 sec.
user=DocHopper
[2011-03-01 22:57:08]
2319*2^251080-1 is not prime.  Res64: E05707CF5A741029  Time : 457.0 sec.
user=DocHopper
[2011-03-01 22:57:11]
2319*2^251181-1 is not prime.  Res64: 3A2647ECFC37BBA3  Time : 427.0 sec.
user=DocHopper
[2011-03-01 22:57:53]
2319*2^251268-1 is not prime.  Res64: A22D9C76813B6724  Time : 443.0 sec.
user=DocHopper
[2011-03-01 22:58:23]
2319*2^251353-1 is not prime.  Res64: 0BC02BDC4B3B1810  Time : 443.0 sec.
user=DocHopper
[2011-03-01 22:58:27]
2319*2^251305-1 is not prime.  Res64: DFDB225FEB03A5C4  Time : 461.0 sec.
user=DocHopper
[2011-03-01 22:58:34]
2319*2^251361-1 is not prime.  Res64: 11F3E3AB6E5ABA3D  Time : 450.0 sec.
user=DocHopper
[2011-03-01 22:58:37]
2319*2^251371-1 is not prime.  Res64: D453BD03B14F6F08  Time : 429.0 sec.
user=DocHopper
[2011-03-01 22:59:20]
2319*2^251376-1 is not prime.  Res64: 5FD0709672B152AE  Time : 440.0 sec.
user=DocHopper
[2011-03-01 22:59:49]
2319*2^251389-1 is not prime.  Res64: 2311D1DFF0FE8685  Time : 438.0 sec.
user=DocHopper
[2011-03-01 22:59:55]
2319*2^251380-1 is not prime.  Res64: A58538BA9BC33CEB  Time : 458.0 sec.
user=DocHopper
[2011-03-01 23:00:03]
2319*2^251425-1 is not prime.  Res64: CF62CBF842E842B0  Time : 444.0 sec.
user=DocHopper
[2011-03-01 23:00:04]
2319*2^251437-1 is not prime.  Res64: EDA2BD5F25F2AD50  Time : 431.0 sec.
user=mdettweiler
[2011-03-01 23:00:32]
2319*2^250621-1 is not prime.  Res64: C37EB381F4E67BB4  Time : 1072.0 sec.
user=DocHopper
[2011-03-01 23:00:47]
2319*2^251452-1 is not prime.  Res64: 3485846C61B9B61C  Time : 435.0 sec.
user=DocHopper
[2011-03-01 23:01:16]
2319*2^251469-1 is not prime.  Res64: 66BF7D612FE1F7F2  Time : 434.0 sec.
user=DocHopper
[2011-03-01 23:01:23]
2319*2^251457-1 is not prime.  Res64: FF7B5D5D79E947EC  Time : 452.0 sec.
user=DocHopper
[2011-03-01 23:01:29]
2319*2^251521-1 is not prime.  Res64: D643FE1F839346F2  Time : 431.0 sec.
user=DocHopper
[2011-03-01 23:01:30]
2319*2^251481-1 is not prime.  Res64: 7DBAB5D9A409FFA4  Time : 437.0 sec.
user=DocHopper
[2011-03-01 23:02:15]
2319*2^251533-1 is not prime.  Res64: AE8F91718B33B7CC  Time : 435.0 sec.
user=DocHopper
[2011-03-01 23:02:44]
2319*2^251569-1 is not prime.  Res64: 4ED6C05CF366D0C7  Time : 435.0 sec.
user=DocHopper
[2011-03-01 23:02:51]
2319*2^251536-1 is not prime.  Res64: DBC7D174927F5A20  Time : 445.0 sec.
user=DocHopper
[2011-03-01 23:02:57]
2319*2^251581-1 is not prime.  Res64: 1A778A971232848B  Time : 431.0 sec.
user=DocHopper
[2011-03-01 23:02:59]
2319*2^251577-1 is not prime.  Res64: 12264AFAD896977E  Time : 438.0 sec.
user=DocHopper
[2011-03-01 23:03:42]
2319*2^251613-1 is not prime.  Res64: 7680820557EF6310  Time : 436.0 sec.
user=DocHopper
[2011-03-01 23:04:09]
2319*2^251623-1 is not prime.  Res64: 55C7982E1C783110  Time : 433.0 sec.
user=DocHopper
[2011-03-01 23:04:17]
2319*2^251628-1 is not prime.  Res64: 5C7885F6587B9758  Time : 439.0 sec.
user=DocHopper
[2011-03-01 23:04:23]
2319*2^251692-1 is not prime.  Res64: 438911AC540AF6D4  Time : 433.0 sec.
user=DocHopper
[2011-03-01 23:04:25]
2319*2^251637-1 is not prime.  Res64: 44C6B56909520299  Time : 437.0 sec.
user=DocHopper
[2011-03-01 23:05:08]
2319*2^251697-1 is not prime.  Res64: 88332A2B1CBE67A8  Time : 435.0 sec.
user=DocHopper
[2011-03-01 23:05:35]
2319*2^251709-1 is not prime.  Res64: 51506B58A507439C  Time : 432.0 sec.
user=DocHopper
[2011-03-01 23:05:43]
2319*2^251755-1 is not prime.  Res64: 281EE5D63328A55A  Time : 436.0 sec.
user=DocHopper
[2011-03-01 23:05:47]
2319*2^251776-1 is not prime.  Res64: FE86A3D9C15BD52C  Time : 430.0 sec.
user=DocHopper
[2011-03-01 23:05:50]
2319*2^251767-1 is not prime.  Res64: BBF23EA6856C0252  Time : 436.0 sec.
user=DocHopper
[2011-03-01 23:06:32]
2319*2^251797-1 is not prime.  Res64: 828CDAECCDBCBB23  Time : 432.0 sec.
user=DocHopper
[2011-03-01 23:06:58]
2319*2^251809-1 is not prime.  Res64: 7B89B8BFD8113ED6  Time : 429.0 sec.
user=DocHopper
[2011-03-01 23:07:06]
2319*2^251821-1 is not prime.  Res64: 8CCB66FD14C7D12B  Time : 432.0 sec.
user=DocHopper
[2011-03-01 23:07:11]
2319*2^251860-1 is not prime.  Res64: F5709953BEE366C4  Time : 427.0 sec.
user=DocHopper
[2011-03-01 23:07:14]
2319*2^251833-1 is not prime.  Res64: 1A394DA7CDFADC23  Time : 431.0 sec.
user=DocHopper
[2011-03-01 23:07:55]
2319*2^251893-1 is not prime.  Res64: 0110851C84CB9411  Time : 428.0 sec.
user=DocHopper
[2011-03-01 23:08:23]
2319*2^251896-1 is not prime.  Res64: B673C428986D14DB  Time : 427.0 sec.
user=DocHopper
[2011-03-01 23:08:30]
2319*2^251905-1 is not prime.  Res64: D2AA7EB61130E9B9  Time : 427.0 sec.
user=DocHopper
[2011-03-01 23:08:35]
2319*2^251916-1 is not prime.  Res64: 5DB87B62483EB053  Time : 427.0 sec.
user=DocHopper
[2011-03-01 23:08:38]
2319*2^251941-1 is not prime.  Res64: 01E16CC8C4EAE88E  Time : 428.0 sec.
user=DocHopper
[2011-03-01 23:09:18]
2319*2^251947-1 is not prime.  Res64: 57C16A2E25C33503  Time : 423.0 sec.
user=DocHopper
[2011-03-01 23:09:46]
2319*2^251952-1 is not prime.  Res64: 2AD9F75CAAAE57BB  Time : 422.0 sec.
user=DocHopper
[2011-03-01 23:09:53]
2319*2^251953-1 is not prime.  Res64: 61552CD1A458BC23  Time : 422.0 sec.
user=DocHopper
[2011-03-01 23:09:57]
2319*2^251977-1 is not prime.  Res64: 20D60EECA11D354C  Time : 420.0 sec.
user=DocHopper
[2011-03-01 23:10:02]
2319*2^251983-1 is not prime.  Res64: 7BD8199DEF7C6007  Time : 423.0 sec.
user=DocHopper
[2011-03-01 23:10:41]
2319*2^251995-1 is not prime.  Res64: DE619EE5781351E9  Time : 419.0 sec.
user=DocHopper
[2011-03-01 23:11:09]
2319*2^252009-1 is not prime.  Res64: 5FA664F6C5BB87ED  Time : 420.0 sec.
user=DocHopper
[2011-03-01 23:11:16]
2319*2^252016-1 is not prime.  Res64: C77FF77569BDACA1  Time : 419.0 sec.
user=DocHopper
[2011-03-01 23:11:21]
2319*2^252033-1 is not prime.  Res64: 9084CD7F6AFAC06B  Time : 418.0 sec.
user=DocHopper
[2011-03-01 23:11:25]
2319*2^252052-1 is not prime.  Res64: 20DB7676E6805676  Time : 420.0 sec.
user=DocHopper
[2011-03-01 23:12:05]
2319*2^252127-1 is not prime.  Res64: 22EB9A9DD50B8E19  Time : 417.0 sec.
user=DocHopper
[2011-03-01 23:12:32]
2319*2^252151-1 is not prime.  Res64: D7750B6C00C496D4  Time : 417.0 sec.
user=DocHopper
[2011-03-01 23:12:40]
2319*2^252196-1 is not prime.  Res64: 4AA50547F17624E3  Time : 417.0 sec.
user=DocHopper
[2011-03-01 23:12:43]
2319*2^252229-1 is not prime.  Res64: 954B6E840E61A7D0  Time : 416.0 sec.
user=DocHopper
[2011-03-01 23:12:49]
2319*2^252247-1 is not prime.  Res64: 0F048EDBC9A4BCC1  Time : 419.0 sec.
user=DocHopper
[2011-03-01 23:13:28]
2319*2^252271-1 is not prime.  Res64: B2B2E1EF4B091CDA  Time : 416.0 sec.
user=DocHopper
[2011-03-01 23:13:55]
2319*2^252273-1 is not prime.  Res64: 1E1F91C9B2E25256  Time : 417.0 sec.
user=DocHopper
[2011-03-01 23:14:03]
2319*2^252277-1 is not prime.  Res64: B78BCC3D147A8700  Time : 418.0 sec.
user=DocHopper
[2011-03-01 23:14:07]
2319*2^252285-1 is not prime.  Res64: EA4CC2FDEE12FF89  Time : 416.0 sec.
user=DocHopper
[2011-03-01 23:14:12]
2319*2^252297-1 is not prime.  Res64: F51DF62429C349CC  Time : 418.0 sec.
user=DocHopper
[2011-03-01 23:14:51]
2319*2^252319-1 is not prime.  Res64: F95894456E2D4114  Time : 416.0 sec.
user=DocHopper
[2011-03-01 23:15:18]
2319*2^252321-1 is not prime.  Res64: 20F1E136D113E838  Time : 415.0 sec.
user=DocHopper
[2011-03-01 23:15:27]
2319*2^252333-1 is not prime.  Res64: 3C33CB784EE8BFCD  Time : 417.0 sec.
user=DocHopper
[2011-03-01 23:15:34]
2319*2^252336-1 is not prime.  Res64: F98D67C9B955B5E8  Time : 420.0 sec.
user=DocHopper
[2011-03-01 23:15:35]
2319*2^252369-1 is not prime.  Res64: DD3883413338B539  Time : 417.0 sec.
user=DocHopper
[2011-03-01 23:16:13]
2319*2^252381-1 is not prime.  Res64: 2F8398695A9AD7CB  Time : 415.0 sec.
user=DocHopper
[2011-03-01 23:16:39]
2319*2^252412-1 is not prime.  Res64: 9E9A95AFBECD416A  Time : 413.0 sec.
user=DocHopper
[2011-03-01 23:16:49]
2319*2^252457-1 is not prime.  Res64: 99A5B48C3F19D1F1  Time : 416.0 sec.
user=DocHopper
[2011-03-01 23:16:56]
2319*2^252465-1 is not prime.  Res64: D7FE232D483B7359  Time : 419.0 sec.
user=DocHopper
[2011-03-01 23:16:57]
2319*2^252469-1 is not prime.  Res64: 28F7E8E9ED816E87  Time : 415.0 sec.
user=DocHopper
[2011-03-01 23:17:35]
2319*2^252505-1 is not prime.  Res64: E4B8624DA4B274CE  Time : 414.0 sec.
user=DocHopper
[2011-03-01 23:18:00]
2319*2^252517-1 is not prime.  Res64: E8B2690420564BBE  Time : 411.0 sec.
user=DocHopper
[2011-03-01 23:18:10]
2319*2^252556-1 is not prime.  Res64: ABF73825DA361FFC  Time : 414.0 sec.
user=DocHopper
[2011-03-01 23:18:16]
2319*2^252568-1 is not prime.  Res64: 681899E4BF6414CF  Time : 415.0 sec.
user=DocHopper
[2011-03-01 23:18:25]
2319*2^252583-1 is not prime.  Res64: 4260F0D7A9909920  Time : 420.0 sec.
user=mdettweiler
[2011-03-01 23:18:25]
2319*2^251872-1 is not prime.  Res64: 3E8A0AC87CDDA952  Time : 1073.0 sec.
user=DocHopper
[2011-03-01 23:19:03]
2319*2^252592-1 is not prime.  Res64: E2289D6084A6D342  Time : 419.0 sec.
user=DocHopper
[2011-03-01 23:19:27]
2319*2^252601-1 is not prime.  Res64: DD8042C153EF85D1  Time : 415.0 sec.
user=DocHopper
[2011-03-01 23:19:37]
2319*2^252685-1 is not prime.  Res64: 56EF69516234A0B2  Time : 414.0 sec.
user=DocHopper
[2011-03-01 23:19:40]
2319*2^252676-1 is not prime.  Res64: AC9393F65D56AE6D  Time : 420.0 sec.
user=DocHopper
[2011-03-01 23:19:53]
2319*2^252700-1 is not prime.  Res64: 153EF8D8C7013CC7  Time : 424.0 sec.
user=DocHopper
[2011-03-01 23:20:29]
2319*2^252739-1 is not prime.  Res64: A92548D769BF82D8  Time : 421.0 sec.
user=DocHopper
[2011-03-01 23:20:48]
2319*2^252760-1 is not prime.  Res64: 08CD0C207EBCD7F9  Time : 413.0 sec.
user=DocHopper
[2011-03-01 23:20:57]
2319*2^252861-1 is not prime.  Res64: BB420EDE21249A5E  Time : 410.0 sec.
user=DocHopper
[2011-03-01 23:21:10]
2319*2^252816-1 is not prime.  Res64: 08C8A8FB13F9F98F  Time : 427.0 sec.
user=DocHopper
[2011-03-01 23:21:19]
2319*2^252868-1 is not prime.  Res64: DA5F742538417684  Time : 427.0 sec.
user=DocHopper
[2011-03-01 23:21:58]
2319*2^252909-1 is not prime.  Res64: EF4B350D1548CA18  Time : 428.0 sec.
user=DocHopper
[2011-03-01 23:22:08]
2319*2^252912-1 is not prime.  Res64: 90C53495CF5C6566  Time : 411.0 sec.
user=DocHopper
[2011-03-01 23:22:19]
2319*2^252940-1 is not prime.  Res64: 46075D2FEC44EAB9  Time : 405.0 sec.
user=DocHopper
[2011-03-01 23:22:41]
2319*2^252919-1 is not prime.  Res64: 353788A356D85D7D  Time : 434.0 sec.
user=DocHopper
[2011-03-01 23:22:49]
2319*2^252949-1 is not prime.  Res64: F239B94E6DBAAAC9  Time : 434.0 sec.
user=DocHopper
[2011-03-01 23:23:25]
2319*2^253005-1 is not prime.  Res64: 10BD3D8AB1EA6389  Time : 432.0 sec.
user=DocHopper
[2011-03-01 23:23:31]
2319*2^253072-1 is not prime.  Res64: 87871E87EF87EFDF  Time : 412.0 sec.
user=DocHopper
[2011-03-01 23:23:42]
2319*2^253141-1 is not prime.  Res64: AF105B432E5EDB46  Time : 406.0 sec.
user=DocHopper
[2011-03-01 23:24:12]
2319*2^253135-1 is not prime.  Res64: 931841EC292AAAFD  Time : 443.0 sec.
user=DocHopper
[2011-03-01 23:24:19]
2319*2^253177-1 is not prime.  Res64: 9DAC687563BE2520  Time : 442.0 sec.
user=DocHopper
[2011-03-01 23:24:51]
2319*2^253212-1 is not prime.  Res64: 83C55DAAFCD3DE34  Time : 412.0 sec.
user=DocHopper
[2011-03-01 23:24:53]
2319*2^253195-1 is not prime.  Res64: D5209FDFB9007BC3  Time : 439.0 sec.
user=DocHopper
[2011-03-01 23:25:03]
2319*2^253327-1 is not prime.  Res64: A59BA3F39656BC9D  Time : 407.0 sec.
user=DocHopper
[2011-03-01 23:25:40]
2319*2^253219-1 is not prime.  Res64: 14EFD5507C67E707  Time : 450.0 sec.
user=DocHopper
[2011-03-01 23:25:49]
2319*2^253339-1 is not prime.  Res64: A023E470A7FCB91D  Time : 444.0 sec.
user=DocHopper
[2011-03-01 23:26:13]
2319*2^253389-1 is not prime.  Res64: 2036D39BEC21B6AB  Time : 406.0 sec.
user=DocHopper
[2011-03-01 23:26:19]
2319*2^253353-1 is not prime.  Res64: 2FD1B048A99150C2  Time : 436.0 sec.
user=DocHopper
[2011-03-01 23:26:24]
2319*2^253411-1 is not prime.  Res64: 11EE2A8AADFDEDDF  Time : 407.0 sec.
user=DocHopper
[2011-03-01 23:27:09]
2319*2^253413-1 is not prime.  Res64: 7C2538B6973AD240  Time : 449.0 sec.
user=DocHopper
[2011-03-01 23:27:18]
2319*2^253425-1 is not prime.  Res64: 6EC4996578E9A244  Time : 445.0 sec.
user=DocHopper
[2011-03-01 23:27:32]
2319*2^253429-1 is not prime.  Res64: 355F9B1273F9B802  Time : 404.0 sec.
user=DocHopper
[2011-03-01 23:27:47]
2319*2^253459-1 is not prime.  Res64: E15AF2894B1C7F02  Time : 410.0 sec.
user=DocHopper
[2011-03-01 23:27:47]
2319*2^253428-1 is not prime.  Res64: 3908B1F10F9C49B4  Time : 438.0 sec.
user=DocHopper
[2011-03-01 23:28:36]
2319*2^253465-1 is not prime.  Res64: 523386BD4FBC149B  Time : 446.0 sec.
user=DocHopper
[2011-03-01 23:28:48]
2319*2^253489-1 is not prime.  Res64: E0A058511620BEB9  Time : 449.0 sec.
user=DocHopper
[2011-03-01 23:28:54]
2319*2^253507-1 is not prime.  Res64: 5275799B539F5D32  Time : 406.0 sec.
user=DocHopper
[2011-03-01 23:29:08]
2319*2^253513-1 is not prime.  Res64: BFFA05A83C73ADE9  Time : 409.0 sec.
user=DocHopper
[2011-03-01 23:29:15]
2319*2^253501-1 is not prime.  Res64: C839ABA63E1B680D  Time : 438.0 sec.
user=DocHopper
[2011-03-01 23:29:58]
2319*2^253540-1 is not prime.  Res64: 43F68D04C66FB4ED  Time : 437.0 sec.
user=DocHopper
[2011-03-01 23:30:15]
2319*2^253633-1 is not prime.  Res64: 9901E8140A62FF7A  Time : 404.0 sec.
user=DocHopper
[2011-03-01 23:30:19]
2319*2^253549-1 is not prime.  Res64: 70AFC0D0A4DE8393  Time : 450.0 sec.
user=DocHopper
[2011-03-01 23:30:29]
2319*2^253665-1 is not prime.  Res64: 2F59BD99BD843026  Time : 407.0 sec.
user=DocHopper
[2011-03-01 23:30:41]
2319*2^253600-1 is not prime.  Res64: 336FFF071DD19B4A  Time : 436.0 sec.
user=DocHopper
[2011-03-01 23:31:21]
2319*2^253693-1 is not prime.  Res64: CCA78DA7CB5E3230  Time : 429.0 sec.
user=DocHopper
[2011-03-01 23:31:37]
2319*2^253699-1 is not prime.  Res64: 04D0A88DD941EB11  Time : 406.0 sec.
user=DocHopper
[2011-03-01 23:31:47]
2319*2^253696-1 is not prime.  Res64: 630F826CAF6A963E  Time : 448.0 sec.
user=DocHopper
[2011-03-01 23:31:50]
2319*2^253723-1 is not prime.  Res64: 38AA18420956EDB0  Time : 407.0 sec.
user=DocHopper
[2011-03-01 23:32:06]
2319*2^253701-1 is not prime.  Res64: C2673C327B25007A  Time : 433.0 sec.
user=DocHopper
[2011-03-01 23:32:44]
2319*2^253756-1 is not prime.  Res64: FCCB98BBB0142692  Time : 424.0 sec.
user=DocHopper
[2011-03-01 23:32:57]
2319*2^253816-1 is not prime.  Res64: 5FAD3A42D600F862  Time : 404.0 sec.
user=DocHopper
[2011-03-01 23:33:11]
2319*2^253855-1 is not prime.  Res64: 301E5DF61EEA7954  Time : 407.0 sec.
user=DocHopper
[2011-03-01 23:33:17]
2319*2^253807-1 is not prime.  Res64: 3D7FBB0B08804E80  Time : 448.0 sec.
user=DocHopper
[2011-03-01 23:33:32]
2319*2^253828-1 is not prime.  Res64: 14781C3A16774EB1  Time : 433.0 sec.
user=DocHopper
[2011-03-01 23:34:06]
2319*2^253876-1 is not prime.  Res64: BE3E19039DB5B04C  Time : 417.0 sec.
user=DocHopper
[2011-03-01 23:34:20]
2319*2^253897-1 is not prime.  Res64: 5653BCC26CE917F1  Time : 408.0 sec.
user=DocHopper
[2011-03-01 23:34:32]
2319*2^253903-1 is not prime.  Res64: CAA444A82A44871F  Time : 405.0 sec.
user=DocHopper
[2011-03-01 23:34:48]
2319*2^253896-1 is not prime.  Res64: AAA872F1F1957542  Time : 451.0 sec.
user=DocHopper
[2011-03-01 23:34:59]
2319*2^253905-1 is not prime.  Res64: C948EFA572CD60E9  Time : 432.0 sec.
user=DocHopper
[2011-03-01 23:35:31]
2319*2^253960-1 is not prime.  Res64: 0FD41CE46B43E7DE  Time : 415.0 sec.
user=DocHopper
[2011-03-01 23:35:42]
2319*2^253975-1 is not prime.  Res64: 384EE617B347EFDF  Time : 408.0 sec.
user=DocHopper
[2011-03-01 23:36:01]
2319*2^254020-1 is not prime.  Res64: 62C8A18A096F4891  Time : 413.0 sec.
user=DocHopper
[2011-03-01 23:36:18]
2319*2^253972-1 is not prime.  Res64: 07C65EBCA4F6A3EA  Time : 450.0 sec.
user=mdettweiler
[2011-03-01 23:36:25]
2319*2^253351-1 is not prime.  Res64: 3585EBCBE8936DC6  Time : 1079.0 sec.
user=DocHopper
[2011-03-01 23:36:25]
2319*2^254032-1 is not prime.  Res64: E8E9ACE680E5AE5C  Time : 431.0 sec.
user=DocHopper
[2011-03-01 23:36:57]
2319*2^254035-1 is not prime.  Res64: 7F26A5075CA065A4  Time : 419.0 sec.
user=DocHopper
[2011-03-01 23:37:05]
2319*2^254068-1 is not prime.  Res64: 43F2076A38C14E7C  Time : 410.0 sec.
user=DocHopper
[2011-03-01 23:37:29]
2319*2^254128-1 is not prime.  Res64: 146B985ABED503CC  Time : 420.0 sec.
user=DocHopper
[2011-03-01 23:37:50]
2319*2^254071-1 is not prime.  Res64: 4F5B698CEC739A26  Time : 451.0 sec.
user=DocHopper
[2011-03-01 23:37:52]
2319*2^254157-1 is not prime.  Res64: 141B018111DB2315  Time : 431.0 sec.
user=DocHopper
[2011-03-01 23:38:18]
2319*2^254161-1 is not prime.  Res64: FF3C0EC23FAA7B57  Time : 417.0 sec.
user=DocHopper
[2011-03-01 23:38:24]
2319*2^254173-1 is not prime.  Res64: 2AA0AB122A80A050  Time : 407.0 sec.
user=DocHopper
[2011-03-01 23:38:57]
2319*2^254203-1 is not prime.  Res64: 68B65334973BBC46  Time : 427.0 sec.
user=DocHopper
[2011-03-01 23:39:18]
2319*2^254209-1 is not prime.  Res64: 8516D2E25614C5A5  Time : 432.0 sec.
user=DocHopper
[2011-03-01 23:39:20]
2319*2^254191-1 is not prime.  Res64: ED27CFA995F54062  Time : 453.0 sec.
user=DocHopper
[2011-03-01 23:39:42]
2319*2^254212-1 is not prime.  Res64: 76CB69CBEC3C9457  Time : 418.0 sec.
user=DocHopper
[2011-03-01 23:39:48]
2319*2^254233-1 is not prime.  Res64: 33428C44EBB819B6  Time : 411.0 sec.
user=DocHopper
[2011-03-01 23:40:26]
2319*2^254241-1 is not prime.  Res64: 004081562BD131BB  Time : 435.0 sec.
user=DocHopper
[2011-03-01 23:40:45]
2319*2^254265-1 is not prime.  Res64: 999B6C2780FBAE05  Time : 433.0 sec.
user=DocHopper
[2011-03-01 23:40:50]
2319*2^254263-1 is not prime.  Res64: 8564214BF11BA16A  Time : 453.0 sec.
user=DocHopper
[2011-03-01 23:41:05]
2319*2^254281-1 is not prime.  Res64: 9EC6E5E9B5C4C8BB  Time : 420.0 sec.
user=DocHopper
[2011-03-01 23:41:09]
2319*2^254328-1 is not prime.  Res64: A463967FC1C0E492  Time : 409.0 sec.
user=DocHopper
[2011-03-01 23:41:51]
2319*2^254356-1 is not prime.  Res64: 7298661077772568  Time : 439.0 sec.
user=DocHopper
[2011-03-01 23:42:11]
2319*2^254440-1 is not prime.  Res64: DD9692ACF8B57727  Time : 432.0 sec.
user=DocHopper
[2011-03-01 23:42:20]
2319*2^254416-1 is not prime.  Res64: 39A2D7C40B9B55D5  Time : 452.0 sec.
user=DocHopper
[2011-03-01 23:42:28]
2319*2^254452-1 is not prime.  Res64: 162A20491425B4C6  Time : 417.0 sec.
user=DocHopper
[2011-03-01 23:42:31]
2319*2^254467-1 is not prime.  Res64: C5872842EE241B98  Time : 409.0 sec.
user=DocHopper
[2011-03-01 23:43:18]
2319*2^254497-1 is not prime.  Res64: 9C88EE6805C8FEEB  Time : 437.0 sec.
user=DocHopper
[2011-03-01 23:43:35]
2319*2^254527-1 is not prime.  Res64: 0CCEAE7EFFB4C4DD  Time : 430.0 sec.
user=DocHopper
[2011-03-01 23:43:49]
2319*2^254505-1 is not prime.  Res64: 588B74CFB7CC1390  Time : 451.0 sec.
user=DocHopper
[2011-03-01 23:43:50]
2319*2^254593-1 is not prime.  Res64: 046A181A06AEB888  Time : 413.0 sec.
user=DocHopper
[2011-03-01 23:43:51]
2319*2^254616-1 is not prime.  Res64: 41D0EF8BE52EF397  Time : 406.0 sec.
user=DocHopper
[2011-03-01 23:44:44]
2319*2^254659-1 is not prime.  Res64: EB60B5E9930E5F88  Time : 435.0 sec.
user=DocHopper
[2011-03-01 23:45:01]
2319*2^254668-1 is not prime.  Res64: 7B736B3C327491BE  Time : 429.0 sec.
user=DocHopper
[2011-03-01 23:45:11]
2319*2^254677-1 is not prime.  Res64: 16F6096448484F8C  Time : 407.0 sec.
user=DocHopper
[2011-03-01 23:45:18]
2319*2^254661-1 is not prime.  Res64: EE7634715437AE6F  Time : 448.0 sec.
user=DocHopper
[2011-03-01 23:45:20]
2319*2^254676-1 is not prime.  Res64: B561DB869B5885B3  Time : 422.0 sec.
user=DocHopper
[2011-03-01 23:46:10]
2319*2^254680-1 is not prime.  Res64: 83CDD340B07D2D8D  Time : 433.0 sec.
user=DocHopper
[2011-03-01 23:46:25]
2319*2^254689-1 is not prime.  Res64: CC96319C16FDF709  Time : 427.0 sec.
user=DocHopper
[2011-03-01 23:46:30]
2319*2^254743-1 is not prime.  Res64: A3F7B7EC00644502  Time : 402.0 sec.
user=DocHopper
[2011-03-01 23:46:47]
2319*2^254712-1 is not prime.  Res64: 9D6C36BD55681ED6  Time : 447.0 sec.
user=DocHopper
[2011-03-01 23:46:50]
2319*2^254737-1 is not prime.  Res64: CAB01C9B30BAD479  Time : 428.0 sec.
user=DocHopper
[2011-03-01 23:47:37]
2319*2^254779-1 is not prime.  Res64: B736086725A1590A  Time : 431.0 sec.
user=DocHopper
[2011-03-01 23:47:50]
2319*2^254812-1 is not prime.  Res64: BF4811F68BD7724E  Time : 401.0 sec.
user=DocHopper
[2011-03-01 23:47:50]
2319*2^254796-1 is not prime.  Res64: C92D1D95CEFE8F5D  Time : 425.0 sec.
user=DocHopper
[2011-03-01 23:48:15]
2319*2^254797-1 is not prime.  Res64: 750195A35690F52B  Time : 445.0 sec.
user=DocHopper
[2011-03-01 23:48:19]
2319*2^254803-1 is not prime.  Res64: F7B99DC07F177654  Time : 434.0 sec.
user=DocHopper
[2011-03-01 23:49:02]
2319*2^254857-1 is not prime.  Res64: 39F93272189F57FB  Time : 431.0 sec.
user=DocHopper
[2011-03-01 23:49:10]
2319*2^254985-1 is not prime.  Res64: 524747AEA50DC5A5  Time : 399.0 sec.
user=DocHopper
[2011-03-01 23:49:14]
2319*2^254887-1 is not prime.  Res64: 92BBD0E896A16FB8  Time : 424.0 sec.
user=DocHopper
[2011-03-01 23:49:43]
2319*2^254923-1 is not prime.  Res64: 103484927E82FCE3  Time : 443.0 sec.
user=DocHopper
[2011-03-01 23:49:47]
2319*2^254937-1 is not prime.  Res64: 29F2F3EFDB1F22DE  Time : 439.0 sec.
user=DocHopper
[2011-03-01 23:50:30]
2319*2^255013-1 is not prime.  Res64: B1FB8516F4A972CA  Time : 432.0 sec.
user=DocHopper
[2011-03-01 23:50:30]
2319*2^255108-1 is not prime.  Res64: 8177ADD547AC8258  Time : 399.0 sec.
user=DocHopper
[2011-03-01 23:50:39]
2319*2^255019-1 is not prime.  Res64: 68788353EBDEA350  Time : 424.0 sec.
user=DocHopper
[2011-03-01 23:51:13]
2319*2^255045-1 is not prime.  Res64: 9885EC0647122B8C  Time : 445.0 sec.
user=DocHopper
[2011-03-01 23:51:15]
2319*2^255085-1 is not prime.  Res64: 69CC3E1ECB70B530  Time : 445.0 sec.
user=DocHopper
[2011-03-01 23:51:50]
2319*2^255220-1 is not prime.  Res64: 4C4DA635D72AE1A0  Time : 400.0 sec.
user=DocHopper
[2011-03-01 23:51:55]
2319*2^255151-1 is not prime.  Res64: 0D7FB4A4B6442481  Time : 431.0 sec.
user=DocHopper
[2011-03-01 23:52:04]
2319*2^255189-1 is not prime.  Res64: 33C43219A00F3056  Time : 423.0 sec.
user=DocHopper
[2011-03-01 23:52:37]
2319*2^255271-1 is not prime.  Res64: E92D5D0540E8F110  Time : 437.0 sec.
user=DocHopper
[2011-03-01 23:52:41]
2319*2^255225-1 is not prime.  Res64: F7C0501E0858BBF9  Time : 443.0 sec.
user=DocHopper
[2011-03-01 23:53:13]
2319*2^255321-1 is not prime.  Res64: 0106646235E98985  Time : 403.0 sec.
user=DocHopper
[2011-03-01 23:53:25]
2319*2^255277-1 is not prime.  Res64: 649F91CB3D42333A  Time : 435.0 sec.
user=DocHopper
[2011-03-01 23:53:34]
2319*2^255313-1 is not prime.  Res64: 81D2784511F98744  Time : 429.0 sec.
user=DocHopper
[2011-03-01 23:54:08]
2319*2^255393-1 is not prime.  Res64: 2C5CA7D9E8CC2EFD  Time : 438.0 sec.
user=DocHopper
[2011-03-01 23:54:15]
2319*2^255372-1 is not prime.  Res64: CE75455CE16208FE  Time : 448.0 sec.
user=DocHopper
[2011-03-01 23:54:38]
2319*2^255405-1 is not prime.  Res64: 07E5AA298991A7A6  Time : 409.0 sec.
user=DocHopper
[2011-03-01 23:54:56]
2319*2^255396-1 is not prime.  Res64: F65AD3791F2B950D  Time : 439.0 sec.
user=DocHopper
[2011-03-01 23:55:02]
2319*2^255408-1 is not prime.  Res64: A5F166D900AFBD8B  Time : 432.0 sec.
user=DocHopper
[2011-03-01 23:55:32]
2319*2^255463-1 is not prime.  Res64: C5B07F4FFB944AB0  Time : 433.0 sec.
user=DocHopper
[2011-03-01 23:55:44]
2319*2^255439-1 is not prime.  Res64: D3D9903A2C5DCF50  Time : 449.0 sec.
user=DocHopper
[2011-03-01 23:55:57]
2319*2^255511-1 is not prime.  Res64: F775491582FD2086  Time : 407.0 sec.
user=DocHopper
[2011-03-01 23:56:18]
2319*2^255477-1 is not prime.  Res64: 2B811323B4895E37  Time : 436.0 sec.
user=DocHopper
[2011-03-01 23:56:27]
2319*2^255520-1 is not prime.  Res64: C69284EA2B60402A  Time : 433.0 sec.
user=DocHopper
[2011-03-01 23:56:53]
2319*2^255535-1 is not prime.  Res64: D0F250A267C3A42E  Time : 426.0 sec.
user=DocHopper
[2011-03-01 23:57:14]
2319*2^255523-1 is not prime.  Res64: 6C48595B3DAC06ED  Time : 451.0 sec.
user=DocHopper
[2011-03-01 23:57:18]
2319*2^255559-1 is not prime.  Res64: 05E6E685A5BC747C  Time : 408.0 sec.
user=DocHopper
[2011-03-01 23:57:41]
2319*2^255553-1 is not prime.  Res64: B5A227DE9E437470  Time : 431.0 sec.
user=DocHopper
[2011-03-01 23:57:54]
2319*2^255561-1 is not prime.  Res64: 7DFF6684C0EBCEDD  Time : 435.0 sec.
user=DocHopper
[2011-03-01 23:58:17]
2319*2^255585-1 is not prime.  Res64: B75196937B699956  Time : 422.0 sec.
user=DocHopper
[2011-03-01 23:58:39]
2319*2^255616-1 is not prime.  Res64: 677AA7A971D14D2E  Time : 409.0 sec.
user=DocHopper
[2011-03-01 23:58:45]
2319*2^255571-1 is not prime.  Res64: 4F2477922ADF2F2D  Time : 453.0 sec.
user=DocHopper
[2011-03-01 23:59:02]
2319*2^255637-1 is not prime.  Res64: AFB8E728A079F443  Time : 427.0 sec.
user=DocHopper
[2011-03-01 23:59:22]
2319*2^255643-1 is not prime.  Res64: 51DB9548A9776FDF  Time : 438.0 sec.
user=DocHopper
[2011-03-01 23:59:47]
2319*2^255712-1 is not prime.  Res64: 73B8C5E0AD145E92  Time : 430.0 sec.
user=DocHopper
[2011-03-02 00:00:07]
2319*2^255760-1 is not prime.  Res64: D4F1AEA9E3B62D96  Time : 414.0 sec.
user=DocHopper
[2011-03-02 00:00:18]
2319*2^255745-1 is not prime.  Res64: B11DF73A9F1DEC68  Time : 457.0 sec.
user=DocHopper
[2011-03-02 00:00:27]
2319*2^255789-1 is not prime.  Res64: 42C649EA5F4BEF3E  Time : 422.0 sec.
user=DocHopper
[2011-03-02 00:00:52]
2319*2^255813-1 is not prime.  Res64: E1959A5BBD59211A  Time : 438.0 sec.