user=vaughan
[2011-02-03 00:04:24]
2303*2^258786-1 is not prime.  Res64: 97369738630ABBEC  Time : 1018.0 sec.
user=mdettweiler
[2011-02-03 00:09:18]
2303*2^258762-1 is not prime.  Res64: C5AF118C417C349B  Time : 1541.0 sec.
user=vaughan
[2011-02-03 00:21:22]
2303*2^258810-1 is not prime.  Res64: B714155ECF4C47F9  Time : 1018.0 sec.
user=mdettweiler
[2011-02-03 00:35:15]
2303*2^258840-1 is not prime.  Res64: 9E3EF69D2F8E232D  Time : 1557.0 sec.
user=vaughan
[2011-02-03 00:38:26]
2303*2^258846-1 is not prime.  Res64: A34B7C92F7ED30A2  Time : 1023.0 sec.
user=vaughan
[2011-02-03 00:55:24]
2303*2^258894-1 is not prime.  Res64: 0ACA602F29E816F4  Time : 1017.0 sec.
user=mdettweiler
[2011-02-03 01:00:51]
2303*2^258880-1 is not prime.  Res64: 11731F43C25FCE26  Time : 1536.0 sec.
user=vaughan
[2011-02-03 01:12:22]
2303*2^258936-1 is not prime.  Res64: 5131E83F1A055CB0  Time : 1017.0 sec.
user=mdettweiler
[2011-02-03 01:26:27]
2303*2^258974-1 is not prime.  Res64: F05BD14C000E6BF2  Time : 1536.0 sec.
user=vaughan
[2011-02-03 01:29:35]
2303*2^258986-1 is not prime.  Res64: FF14688604EF2465  Time : 1032.0 sec.
user=vaughan
[2011-02-03 01:46:36]
2303*2^259014-1 is not prime.  Res64: 394CFDBF86387884  Time : 1020.0 sec.
user=vaughan
[2011-02-03 02:03:35]
2303*2^259056-1 is not prime.  Res64: D87E17A90B3BD8E8  Time : 1018.0 sec.
user=mdettweiler
[2011-02-03 02:16:35]
2303*2^259012-1 is not prime.  Res64: 2B5E5EA01857865A  Time : 3008.0 sec.
user=vaughan
[2011-02-03 02:20:34]
2303*2^259060-1 is not prime.  Res64: E417F8567BAAD29F  Time : 1019.0 sec.
user=vaughan
[2011-02-03 02:37:36]
2303*2^259114-1 is not prime.  Res64: 76DA398115F1DBE9  Time : 1022.0 sec.
user=mdettweiler
[2011-02-03 02:42:16]
2303*2^259092-1 is not prime.  Res64: 1DE84B821F9BDB69  Time : 1541.0 sec.
user=vaughan
[2011-02-03 02:54:36]
2303*2^259176-1 is not prime.  Res64: A17E81AED851FB74  Time : 1019.0 sec.
user=mdettweiler
[2011-02-03 03:07:48]
2303*2^259182-1 is not prime.  Res64: 8F13A8CD4D93C76E  Time : 1532.0 sec.
user=vaughan
[2011-02-03 03:11:35]
2303*2^259190-1 is not prime.  Res64: 7C2F7B81ED64A69A  Time : 1019.0 sec.
user=vaughan
[2011-02-03 03:28:34]
2303*2^259226-1 is not prime.  Res64: EFDF55C26CB8C7B4  Time : 1018.0 sec.
user=mdettweiler
[2011-02-03 03:33:28]
2303*2^259212-1 is not prime.  Res64: 0CB40E076F160E53  Time : 1540.0 sec.
user=vaughan
[2011-02-03 03:45:35]
2303*2^259244-1 is not prime.  Res64: 1E7E0BE53CF49BA2  Time : 1020.0 sec.
user=mdettweiler
[2011-02-03 03:59:01]
2303*2^259246-1 is not prime.  Res64: C86EFF25042A9EB4  Time : 1533.0 sec.
user=vaughan
[2011-02-03 04:02:34]
2303*2^259250-1 is not prime.  Res64: 3946815C83D9DA70  Time : 1019.0 sec.
user=vaughan
[2011-02-03 04:19:34]
2303*2^259280-1 is not prime.  Res64: 803AA5C14F76CC73  Time : 1019.0 sec.
user=mdettweiler
[2011-02-03 04:24:32]
2303*2^259254-1 is not prime.  Res64: 670D3EA09D3EDDB8  Time : 1531.0 sec.
user=vaughan
[2011-02-03 04:36:35]
2303*2^259286-1 is not prime.  Res64: 16BE4FDAD77ABAF8  Time : 1020.0 sec.
user=mdettweiler
[2011-02-03 04:50:26]
2303*2^259302-1 is not prime.  Res64: 553A8DAF611ACB1C  Time : 1554.0 sec.
user=vaughan
[2011-02-03 04:53:35]
2303*2^259340-1 is not prime.  Res64: D5953BD30324B630  Time : 1019.0 sec.
user=vaughan
[2011-02-03 05:10:35]
2303*2^259404-1 is not prime.  Res64: 4E014A343427027C  Time : 1019.0 sec.
user=mdettweiler
[2011-02-03 05:15:55]
2303*2^259366-1 is not prime.  Res64: 2EA825DA6A4F6BED  Time : 1529.0 sec.
user=vaughan
[2011-02-03 05:27:35]
2303*2^259420-1 is not prime.  Res64: E987B29D9220FD6A  Time : 1020.0 sec.
user=mdettweiler
[2011-02-03 05:42:43]
2303*2^259434-1 is not prime.  Res64: 9D436453A841504A  Time : 1608.0 sec.
user=vaughan
[2011-02-03 05:44:37]
2303*2^259462-1 is not prime.  Res64: 8EE21E20028902DE  Time : 1021.0 sec.
user=vaughan
[2011-02-03 06:01:37]
2303*2^259506-1 is not prime.  Res64: D94AA02832917819  Time : 1020.0 sec.
user=mdettweiler
[2011-02-03 06:08:18]
2303*2^259500-1 is not prime.  Res64: C4F467DFD14BB238  Time : 1535.0 sec.
user=vaughan
[2011-02-03 06:18:38]
2303*2^259516-1 is not prime.  Res64: B45D5D662576C153  Time : 1020.0 sec.
user=mdettweiler
[2011-02-03 06:33:55]
2303*2^259520-1 is not prime.  Res64: 0CC9A24DD64D1840  Time : 1537.0 sec.
user=vaughan
[2011-02-03 06:35:43]
2303*2^259556-1 is not prime.  Res64: 909F438AA58670A5  Time : 1024.0 sec.
user=vaughan
[2011-02-03 06:52:45]
2303*2^259606-1 is not prime.  Res64: 4C1412EBC6961771  Time : 1021.0 sec.
user=mdettweiler
[2011-02-03 06:59:36]
2303*2^259566-1 is not prime.  Res64: DDEC6371CCB492B8  Time : 1541.0 sec.
user=vaughan
[2011-02-03 07:09:48]
2303*2^259610-1 is not prime.  Res64: 4305FCF721DA7286  Time : 1023.0 sec.
user=mdettweiler
[2011-02-03 07:25:11]
2303*2^259620-1 is not prime.  Res64: 87021FE45287768C  Time : 1535.0 sec.
user=vaughan
[2011-02-03 07:26:50]
2303*2^259626-1 is not prime.  Res64: A345B52CECAF07B0  Time : 1021.0 sec.
user=vaughan
[2011-02-03 07:43:55]
2303*2^259640-1 is not prime.  Res64: CD1DFE2EB4C538CD  Time : 1025.0 sec.
user=mdettweiler
[2011-02-03 07:50:47]
2303*2^259634-1 is not prime.  Res64: AFBC7E88546D1BFB  Time : 1536.0 sec.
user=vaughan
[2011-02-03 08:00:56]
2303*2^259646-1 is not prime.  Res64: ADCEE104B2ED7125  Time : 1021.0 sec.
user=mdettweiler
[2011-02-03 08:16:24]
2303*2^259704-1 is not prime.  Res64: 8D993359F2805B72  Time : 1536.0 sec.
user=vaughan
[2011-02-03 08:17:58]
2303*2^259722-1 is not prime.  Res64: D9BE8D73A9E11D1D  Time : 1022.0 sec.
user=vaughan
[2011-02-03 08:35:15]
2303*2^259740-1 is not prime.  Res64: 098479033A9134B5  Time : 1037.0 sec.
user=mdettweiler
[2011-02-03 08:42:21]
2303*2^259726-1 is not prime.  Res64: 1CE9554B9533E92F  Time : 1557.0 sec.
user=vaughan
[2011-02-03 08:52:16]
2303*2^259754-1 is not prime.  Res64: A29A6C5CC03AF713  Time : 1021.0 sec.
user=mdettweiler
[2011-02-03 09:07:58]
2303*2^259782-1 is not prime.  Res64: 7992EB1BE7D0B65D  Time : 1537.0 sec.
user=vaughan
[2011-02-03 09:09:19]
2303*2^259854-1 is not prime.  Res64: EDAA5178689832AA  Time : 1022.0 sec.
user=vaughan
[2011-02-03 09:27:12]
2303*2^259894-1 is not prime.  Res64: C386617696DC27DC  Time : 1072.0 sec.
user=mdettweiler
[2011-02-03 09:33:35]
2303*2^259872-1 is not prime.  Res64: 827D637935856850  Time : 1536.0 sec.
user=vaughan
[2011-02-03 09:44:21]
2303*2^259912-1 is not prime.  Res64: 76D17921800D254B  Time : 1028.0 sec.
user=mdettweiler
[2011-02-03 09:59:18]
2303*2^259946-1 is not prime.  Res64: F68BF6DAD7FC7EA4  Time : 1543.0 sec.
user=vaughan
[2011-02-03 10:01:27]
2303*2^259960-1 is not prime.  Res64: BE58FC1BE785EAE8  Time : 1026.0 sec.
user=vaughan
[2011-02-03 10:18:30]
2303*2^260006-1 is not prime.  Res64: F892ACC1F5A0BFE3  Time : 1022.0 sec.
user=mdettweiler
[2011-02-03 10:24:54]
2303*2^260000-1 is not prime.  Res64: 14F1CE430462E0C3  Time : 1536.0 sec.
user=vaughan
[2011-02-03 10:35:38]
2303*2^260030-1 is not prime.  Res64: 4D9F81C8AFE90F07  Time : 1027.0 sec.
user=mdettweiler
[2011-02-03 10:50:28]
2303*2^260046-1 is not prime.  Res64: 1A27BBE62AEF770F  Time : 1534.0 sec.
user=vaughan
[2011-02-03 10:52:42]
2303*2^260066-1 is not prime.  Res64: 17A9B02AFD9DC574  Time : 1024.0 sec.
user=vaughan
[2011-02-03 11:09:45]
2303*2^260114-1 is not prime.  Res64: 3487C5B787E5124D  Time : 1022.0 sec.
user=mdettweiler
[2011-02-03 11:16:05]
2303*2^260100-1 is not prime.  Res64: FFC69E2ED532251F  Time : 1536.0 sec.
user=vaughan
[2011-02-03 11:26:49]
2303*2^260144-1 is not prime.  Res64: 3CAE9D415E50325F  Time : 1023.0 sec.
user=mdettweiler
[2011-02-03 11:41:44]
2303*2^260166-1 is not prime.  Res64: 6958DD78823F4994  Time : 1539.0 sec.
user=vaughan
[2011-02-03 11:43:53]
2303*2^260190-1 is not prime.  Res64: 43CF459A97B20E33  Time : 1023.0 sec.
user=vaughan
[2011-02-03 12:00:56]
2303*2^260234-1 is not prime.  Res64: 33B51DFAEAAA17CC  Time : 1022.0 sec.
user=mdettweiler
[2011-02-03 12:07:22]
2303*2^260216-1 is not prime.  Res64: 0623DA2E1D811729  Time : 1537.0 sec.
user=vaughan
[2011-02-03 12:17:59]
2303*2^260250-1 is not prime.  Res64: 7374209CFD0A6C9E  Time : 1022.0 sec.
user=mdettweiler
[2011-02-03 12:33:16]
2303*2^260254-1 is not prime.  Res64: 6B40957DE9B229AD  Time : 1554.0 sec.
user=vaughan
[2011-02-03 12:35:15]
2303*2^260272-1 is not prime.  Res64: 6336EC2BD5892DEC  Time : 1036.0 sec.
user=vaughan
[2011-02-03 12:52:20]
2303*2^260320-1 is not prime.  Res64: 7330E9DEA1938388  Time : 1025.0 sec.
user=mdettweiler
[2011-02-03 12:59:04]
2303*2^260316-1 is not prime.  Res64: B403C3D0BA5581F2  Time : 1548.0 sec.
user=vaughan
[2011-02-03 13:09:25]
2303*2^260360-1 is not prime.  Res64: 8652F5A8C03ED1B4  Time : 1025.0 sec.
user=mdettweiler
[2011-02-03 13:24:43]
2303*2^260376-1 is not prime.  Res64: 37239326B4D5647B  Time : 1539.0 sec.
user=vaughan
[2011-02-03 13:26:30]
2303*2^260390-1 is not prime.  Res64: 97ADB9D4F6068BE4  Time : 1024.0 sec.
user=vaughan
[2011-02-03 13:43:40]
2303*2^260400-1 is not prime.  Res64: E39BD54F189EB1D3  Time : 1030.0 sec.
user=mdettweiler
[2011-02-03 13:50:53]
2303*2^260394-1 is not prime.  Res64: 6FE73C133157E3C3  Time : 1570.0 sec.
user=vaughan
[2011-02-03 14:00:45]
2303*2^260442-1 is not prime.  Res64: 17DF83BBE6FC8782  Time : 1024.0 sec.
user=mdettweiler
[2011-02-03 14:16:33]
2303*2^260470-1 is not prime.  Res64: 93B4493A3D7564B1  Time : 1540.0 sec.
user=vaughan
[2011-02-03 14:17:50]
2303*2^260526-1 is not prime.  Res64: 2FEAA0F9AF91C805  Time : 1024.0 sec.
user=vaughan
[2011-02-03 14:35:07]
2303*2^260554-1 is not prime.  Res64: D41CB65E759F9561  Time : 1036.0 sec.
user=mdettweiler
[2011-02-03 14:42:13]
2303*2^260550-1 is not prime.  Res64: BA40796819300304  Time : 1540.0 sec.
user=vaughan
[2011-02-03 14:52:12]
2303*2^260574-1 is not prime.  Res64: 4717A488F00B6FF9  Time : 1024.0 sec.
user=mdettweiler
[2011-02-03 15:07:51]
2303*2^260580-1 is not prime.  Res64: 23893D47C2233A5F  Time : 1538.0 sec.
user=vaughan
[2011-02-03 15:09:19]
2303*2^260596-1 is not prime.  Res64: 603FA2644F36836F  Time : 1026.0 sec.
user=vaughan
[2011-02-03 15:26:25]
2303*2^260676-1 is not prime.  Res64: 92F97EA49A6DDE52  Time : 1026.0 sec.
user=mdettweiler
[2011-02-03 15:33:35]
2303*2^260666-1 is not prime.  Res64: 1C23C74CDB828DD9  Time : 1544.0 sec.
user=vaughan
[2011-02-03 15:43:36]
2303*2^260690-1 is not prime.  Res64: AC442B378D45153C  Time : 1031.0 sec.
user=mdettweiler
[2011-02-03 15:59:16]
2303*2^260700-1 is not prime.  Res64: 0D9AD822F24756C1  Time : 1541.0 sec.
user=vaughan
[2011-02-03 16:00:41]
2303*2^260704-1 is not prime.  Res64: 024FA5170FBB0498  Time : 1025.0 sec.
user=vaughan
[2011-02-03 16:17:48]
2303*2^260740-1 is not prime.  Res64: C2266FA24DA99675  Time : 1026.0 sec.
user=mdettweiler
[2011-02-03 16:25:28]
2303*2^260726-1 is not prime.  Res64: E0C7AD21B7D6E09A  Time : 1572.0 sec.
user=vaughan
[2011-02-03 16:34:55]
2303*2^260744-1 is not prime.  Res64: BD66D10E12C722E4  Time : 1027.0 sec.
user=mdettweiler
[2011-02-03 16:51:32]
2303*2^260756-1 is not prime.  Res64: 4847933D9B61F799  Time : 1564.0 sec.
user=vaughan
[2011-02-03 16:52:01]
2303*2^260770-1 is not prime.  Res64: E21FB095CE4F5938  Time : 1026.0 sec.
user=vaughan
[2011-02-03 17:09:09]
2303*2^260806-1 is not prime.  Res64: 3FF4FDDEE0E7FB4E  Time : 1027.0 sec.
user=mdettweiler
[2011-02-03 17:17:13]
2303*2^260796-1 is not prime.  Res64: CC8093CD67EE4BF7  Time : 1541.0 sec.
user=vaughan
[2011-02-03 17:26:16]
2303*2^260816-1 is not prime.  Res64: B2583B120A4573C9  Time : 1027.0 sec.
user=mdettweiler
[2011-02-03 17:42:56]
2303*2^260826-1 is not prime.  Res64: 9E9930E9470DDE66  Time : 1543.0 sec.
user=vaughan
[2011-02-03 17:43:24]
2303*2^260866-1 is not prime.  Res64: 659A25FC40386B3C  Time : 1028.0 sec.
user=vaughan
[2011-02-03 18:00:31]
2303*2^260880-1 is not prime.  Res64: 91487B817602E670  Time : 1026.0 sec.
user=mdettweiler
[2011-02-03 18:08:38]
2303*2^260874-1 is not prime.  Res64: 6C25C8AA68EDBAFF  Time : 1542.0 sec.
user=vaughan
[2011-02-03 18:17:46]
2303*2^260902-1 is not prime.  Res64: AD69B55D51FAC77A  Time : 1034.0 sec.
user=mdettweiler
[2011-02-03 18:34:19]
2303*2^260920-1 is not prime.  Res64: 5B2ED773EFC53B9B  Time : 1541.0 sec.
user=vaughan
[2011-02-03 18:35:08]
2303*2^260932-1 is not prime.  Res64: 916818591067515B  Time : 1041.0 sec.
user=vaughan
[2011-02-03 18:52:16]
2303*2^260954-1 is not prime.  Res64: 0D2D0A2AC6C5D3EB  Time : 1027.0 sec.
user=mdettweiler
[2011-02-03 19:00:03]
2303*2^260952-1 is not prime.  Res64: 7DCDD175B4E04E1E  Time : 1543.0 sec.
user=vaughan
[2011-02-03 19:09:23]
2303*2^260964-1 is not prime.  Res64: A14F66CBFBA853CB  Time : 1028.0 sec.
user=mdettweiler
[2011-02-03 19:25:55]
2303*2^260990-1 is not prime.  Res64: 5FD6AC5EC15F7E7E  Time : 1551.0 sec.
user=vaughan
[2011-02-03 19:26:32]
2303*2^261046-1 is not prime.  Res64: 0CB8F64AAD94A6A5  Time : 1028.0 sec.
user=vaughan
[2011-02-03 19:43:47]
2303*2^261114-1 is not prime.  Res64: 9EEFFC79E3029ADC  Time : 1034.0 sec.
user=mdettweiler
[2011-02-03 19:51:38]
2303*2^261102-1 is not prime.  Res64: 142ED8AA75B2BAF5  Time : 1543.0 sec.
user=vaughan
[2011-02-03 20:00:55]
2303*2^261116-1 is not prime.  Res64: 842A10B1A48C9C0F  Time : 1027.0 sec.
user=mdettweiler
[2011-02-03 20:17:17]
2303*2^261126-1 is not prime.  Res64: 78F87448134863E0  Time : 1539.0 sec.
user=vaughan
[2011-02-03 20:18:03]
2303*2^261146-1 is not prime.  Res64: 2D712C2B3B501F30  Time : 1027.0 sec.
user=vaughan
[2011-02-03 20:35:16]
2303*2^261202-1 is not prime.  Res64: F4D1883379BC036C  Time : 1032.0 sec.
user=mdettweiler
[2011-02-03 20:43:19]
2303*2^261192-1 is not prime.  Res64: 17B89F21A992E9BE  Time : 1562.0 sec.
user=vaughan
[2011-02-03 20:52:24]
2303*2^261204-1 is not prime.  Res64: 33826714200A5BFE  Time : 1028.0 sec.
user=mdettweiler
[2011-02-03 21:08:59]
2303*2^261262-1 is not prime.  Res64: 0AF5E0F3C55C6E97  Time : 1540.0 sec.
user=vaughan
[2011-02-03 21:09:44]
2303*2^261276-1 is not prime.  Res64: 77DB92972BC614A6  Time : 1039.0 sec.
user=vaughan
[2011-02-03 21:26:53]
2303*2^261320-1 is not prime.  Res64: 56C27087D49BA114  Time : 1028.0 sec.
user=mdettweiler
[2011-02-03 21:34:42]
2303*2^261284-1 is not prime.  Res64: 295D7A8083D7FE74  Time : 1543.0 sec.
user=vaughan
[2011-02-03 21:44:14]
2303*2^261372-1 is not prime.  Res64: A0E2443852798236  Time : 1041.0 sec.
user=mdettweiler
[2011-02-03 22:00:24]
2303*2^261400-1 is not prime.  Res64: 404579A42FFE7B8E  Time : 1542.0 sec.
user=vaughan
[2011-02-03 22:01:24]
2303*2^261402-1 is not prime.  Res64: 8DECE0054A19A538  Time : 1029.0 sec.
user=vaughan
[2011-02-03 22:18:34]
2303*2^261426-1 is not prime.  Res64: E82739D8AA2DEEE0  Time : 1029.0 sec.
user=mdettweiler
[2011-02-03 22:26:07]
2303*2^261414-1 is not prime.  Res64: A580139DFF3E4EE3  Time : 1542.0 sec.
user=vaughan
[2011-02-03 22:35:51]
2303*2^261446-1 is not prime.  Res64: AB859461088833E9  Time : 1036.0 sec.
user=mdettweiler
[2011-02-03 22:51:58]
2303*2^261470-1 is not prime.  Res64: A2E1A5B49E9586E9  Time : 1551.0 sec.
user=vaughan
[2011-02-03 22:53:01]
2303*2^261504-1 is not prime.  Res64: AC8622ACDEB15461  Time : 1029.0 sec.
user=vaughan
[2011-02-03 23:10:11]
2303*2^261536-1 is not prime.  Res64: 71FC9AED84098E73  Time : 1029.0 sec.
user=mdettweiler
[2011-02-03 23:17:43]
2303*2^261514-1 is not prime.  Res64: 1A421A001E698DF5  Time : 1544.0 sec.
user=vaughan
[2011-02-03 23:27:21]
2303*2^261544-1 is not prime.  Res64: FD7F621141E1FAA4  Time : 1029.0 sec.
user=mdettweiler
[2011-02-03 23:43:28]
2303*2^261642-1 is not prime.  Res64: CFD9C1EAB1AC1E21  Time : 1544.0 sec.
user=vaughan
[2011-02-03 23:44:33]
2303*2^261652-1 is not prime.  Res64: 4187E81CF5576882  Time : 1032.0 sec.