user=kar_bon
[2011-11-07 00:30:15]
587*2^1047010-1 is not prime.  Res64: 752016D10FCAF84D  Time : 79839.0 sec.
user=kar_bon
[2011-11-07 00:51:29]
463*2^1047011-1 is not prime.  Res64: 5FAE030DB16953C6  Time : 1273.0 sec.
user=kar_bon
[2011-11-07 01:12:21]
437*2^1047012-1 is not prime.  Res64: 09E29A57AA0E2B1D  Time : 1252.0 sec.
user=kar_bon
[2011-11-07 01:33:29]
489*2^1047012-1 is not prime.  Res64: 84DC13B94930C303  Time : 1268.0 sec.
user=kar_bon
[2011-11-07 01:54:24]
503*2^1047012-1 is not prime.  Res64: 36962383AB8CC543  Time : 1254.0 sec.
user=kar_bon
[2011-11-07 02:15:19]
525*2^1047012-1 is not prime.  Res64: 455E2722E45EA7D5  Time : 1255.0 sec.
user=kar_bon
[2011-11-07 02:36:14]
539*2^1047012-1 is not prime.  Res64: 7A7A53E1B7718FD3  Time : 1255.0 sec.
user=kar_bon
[2011-11-07 02:57:12]
563*2^1047012-1 is not prime.  Res64: 708D4AD397032CF4  Time : 1258.0 sec.
user=kar_bon
[2011-11-07 03:18:10]
569*2^1047012-1 is not prime.  Res64: C948844602D7814B  Time : 1258.0 sec.
user=kar_bon
[2011-11-07 03:39:06]
429*2^1047013-1 is not prime.  Res64: 30B014DC12AE6611  Time : 1256.0 sec.
user=kar_bon
[2011-11-07 04:00:04]
435*2^1047013-1 is not prime.  Res64: D5D0876811766F1D  Time : 1258.0 sec.
user=kar_bon
[2011-11-07 04:20:56]
525*2^1047013-1 is not prime.  Res64: 3056ED004EC80FB6  Time : 1252.0 sec.
user=kar_bon
[2011-11-07 04:41:52]
549*2^1047013-1 is not prime.  Res64: 77899BFA1DDA0F69  Time : 1257.0 sec.
user=kar_bon
[2011-11-07 05:02:52]
589*2^1047013-1 is not prime.  Res64: CD17E0FB19E9ED90  Time : 1259.0 sec.
user=kar_bon
[2011-11-07 05:23:43]
411*2^1047014-1 is not prime.  Res64: 60AC1718BB708AFC  Time : 1251.0 sec.
user=kar_bon
[2011-11-07 05:44:44]
563*2^1047014-1 is not prime.  Res64: 876D00EFA71450C2  Time : 1261.0 sec.
user=kar_bon
[2011-11-07 06:05:39]
583*2^1047015-1 is not prime.  Res64: 93ADAA7D0A564E3B  Time : 1255.0 sec.
user=kar_bon
[2011-11-07 06:26:32]
591*2^1047015-1 is not prime.  Res64: 7A181D637B358DB8  Time : 1253.0 sec.
user=kar_bon
[2011-11-07 06:47:26]
453*2^1047016-1 is not prime.  Res64: 7D0AAD73CD0EDA4C  Time : 1254.0 sec.
user=kar_bon
[2011-11-07 07:08:21]
501*2^1047017-1 is not prime.  Res64: 54FD1BDA1355D0B4  Time : 1255.0 sec.
user=kar_bon
[2011-11-07 07:29:17]
503*2^1047018-1 is not prime.  Res64: 0C22C6C24F71F61F  Time : 1256.0 sec.
user=kar_bon
[2011-11-07 07:50:17]
513*2^1047018-1 is not prime.  Res64: D79ED1E1A52009CA  Time : 1260.0 sec.
user=vaughan
[2011-11-07 17:14:43]
585*2^1047018-1 is not prime.  Res64: AE39B85BB60184CE  Time : 2619.0 sec.
user=vaughan
[2011-11-07 17:58:23]
481*2^1047019-1 is not prime.  Res64: BA57501BA05F5F85  Time : 2620.0 sec.
user=vaughan
[2011-11-07 17:59:14]
447*2^1047020-1 is not prime.  Res64: EDC192245391A599  Time : 1407.0 sec.
user=vaughan
[2011-11-07 17:59:57]
533*2^1047020-1 is not prime.  Res64: E85D4311C81552AE  Time : 1430.0 sec.
user=vaughan
[2011-11-07 18:00:30]
573*2^1047019-1 is not prime.  Res64: 49B9244DA9CE9759  Time : 2001.0 sec.
user=vaughan
[2011-11-07 18:01:55]
553*2^1047019-1 is not prime.  Res64: 67F50BD594B3053F  Time : 2088.0 sec.
user=vaughan
[2011-11-07 18:03:13]
493*2^1047019-1 is not prime.  Res64: B6488CCCA5F22CEE  Time : 2168.0 sec.
user=vaughan
[2011-11-07 18:03:36]
589*2^1047019-1 is not prime.  Res64: 1A516A8820F757E3  Time : 2185.0 sec.
user=vaughan
[2011-11-07 18:21:01]
585*2^1047020-1 is not prime.  Res64: FA4B348D75BAC59B  Time : 1307.0 sec.
user=vaughan
[2011-11-07 18:22:51]
427*2^1047021-1 is not prime.  Res64: 317D51C09CBD2F16  Time : 1374.0 sec.
user=vaughan
[2011-11-07 18:34:38]
405*2^1047022-1 is not prime.  Res64: 31C54A39EDF6EC1A  Time : 2048.0 sec.
user=vaughan
[2011-11-07 18:37:26]
453*2^1047022-1 is not prime.  Res64: 1AE0D7BF57A8A7B8  Time : 2132.0 sec.
user=vaughan
[2011-11-07 18:39:25]
461*2^1047022-1 is not prime.  Res64: E4CC58D5838B30D1  Time : 2172.0 sec.
user=vaughan
[2011-11-07 18:39:50]
441*2^1047023-1 is not prime.  Res64: 6A07055E9A13F5C2  Time : 2174.0 sec.
user=vaughan
[2011-11-07 18:41:59]
557*2^1047020-1 is not prime.  Res64: 1CFBF0C00F45ED93  Time : 2616.0 sec.
user=vaughan
[2011-11-07 18:42:45]
453*2^1047023-1 is not prime.  Res64: 8672797515EA489C  Time : 1305.0 sec.
user=vaughan
[2011-11-07 18:45:47]
463*2^1047023-1 is not prime.  Res64: F9C6DD9FFF7F5EF1  Time : 1377.0 sec.
user=vaughan
[2011-11-07 19:04:28]
561*2^1047026-1 is not prime.  Res64: 6300AB9492253A21  Time : 1303.0 sec.
user=vaughan
[2011-11-07 19:08:34]
573*2^1047023-1 is not prime.  Res64: F4E3E22D9EFF62A6  Time : 2037.0 sec.
user=vaughan
[2011-11-07 19:08:43]
585*2^1047026-1 is not prime.  Res64: 72EB2591AB8DC71F  Time : 1376.0 sec.
user=vaughan
[2011-11-07 19:13:06]
473*2^1047024-1 is not prime.  Res64: 05577821DED5DC00  Time : 2140.0 sec.
user=vaughan
[2011-11-07 19:15:25]
471*2^1047025-1 is not prime.  Res64: 0CC19F36DE5C9D1D  Time : 2161.0 sec.
user=vaughan
[2011-11-07 19:16:05]
555*2^1047025-1 is not prime.  Res64: 691D32134C0CF0DB  Time : 2175.0 sec.
user=vaughan
[2011-11-07 19:25:34]
503*2^1047026-1 is not prime.  Res64: 2A4E10FD52079622  Time : 2615.0 sec.
user=vaughan
[2011-11-07 19:26:10]
475*2^1047027-1 is not prime.  Res64: 3DA4601E8AAA3FCE  Time : 1303.0 sec.
user=vaughan
[2011-11-07 19:31:39]
513*2^1047027-1 is not prime.  Res64: 1416129263908AC7  Time : 1376.0 sec.
user=vaughan
[2011-11-07 19:41:51]
489*2^1047027-1 is not prime.  Res64: 303E9F27E2A67826  Time : 1997.0 sec.
user=vaughan
[2011-11-07 19:47:59]
569*2^1047028-1 is not prime.  Res64: 3D368BDD4E9CFF97  Time : 1309.0 sec.
user=vaughan
[2011-11-07 19:48:49]
565*2^1047027-1 is not prime.  Res64: 8BB6636DE975E185  Time : 2144.0 sec.
user=vaughan
[2011-11-07 19:51:18]
429*2^1047028-1 is not prime.  Res64: 6D79CD06D9ECAB69  Time : 2153.0 sec.
user=vaughan
[2011-11-07 19:52:52]
453*2^1047028-1 is not prime.  Res64: E7D02A365646F756  Time : 2208.0 sec.
user=vaughan
[2011-11-07 19:54:38]
417*2^1047030-1 is not prime.  Res64: CA5C24522E94DBDC  Time : 1379.0 sec.
user=vaughan
[2011-11-07 20:09:12]
527*2^1047028-1 is not prime.  Res64: DC4E9E1969A1B55F  Time : 2618.0 sec.
user=vaughan
[2011-11-07 20:09:45]
415*2^1047031-1 is not prime.  Res64: DABC6F6CB5250D60  Time : 1306.0 sec.
user=vaughan
[2011-11-07 20:15:01]
521*2^1047030-1 is not prime.  Res64: 67FB9249DF6A9B49  Time : 1990.0 sec.
user=vaughan
[2011-11-07 20:17:31]
525*2^1047032-1 is not prime.  Res64: A4453F069D6D5FB3  Time : 1373.0 sec.
user=vaughan
[2011-11-07 20:24:16]
555*2^1047031-1 is not prime.  Res64: 74537BF2A27AC33A  Time : 2127.0 sec.
user=vaughan
[2011-11-07 20:27:01]
449*2^1047032-1 is not prime.  Res64: 65512E08BC9F1F6E  Time : 2144.0 sec.
user=vaughan
[2011-11-07 20:29:54]
455*2^1047032-1 is not prime.  Res64: 778D430CE4116899  Time : 2223.0 sec.
user=vaughan
[2011-11-07 20:31:28]
429*2^1047033-1 is not prime.  Res64: CB8D7F541EFF316A  Time : 1304.0 sec.
user=vaughan
[2011-11-07 20:40:48]
513*2^1047034-1 is not prime.  Res64: A915C24C10498633  Time : 1397.0 sec.
user=vaughan
[2011-11-07 20:48:14]
443*2^1047034-1 is not prime.  Res64: 36F8B34D54BC535B  Time : 1994.0 sec.
user=vaughan
[2011-11-07 20:52:49]
533*2^1047032-1 is not prime.  Res64: C079FFF46B83ACDF  Time : 2618.0 sec.
user=vaughan
[2011-11-07 20:53:07]
593*2^1047036-1 is not prime.  Res64: 92CBB21C77A5B817  Time : 1299.0 sec.
user=vaughan
[2011-11-07 20:59:35]
453*2^1047035-1 is not prime.  Res64: 7001C7F044301E6A  Time : 2120.0 sec.
user=vaughan
[2011-11-07 21:02:50]
527*2^1047036-1 is not prime.  Res64: ECD0BFEB214406C1  Time : 2150.0 sec.
user=vaughan
[2011-11-07 21:04:48]
597*2^1047036-1 is not prime.  Res64: 709CAB991A064212  Time : 1379.0 sec.
user=vaughan
[2011-11-07 21:06:45]
545*2^1047036-1 is not prime.  Res64: 7A4D1D9D56A69A24  Time : 2211.0 sec.
user=vaughan
[2011-11-07 21:14:49]
447*2^1047037-1 is not prime.  Res64: 485DE72BE9504B2A  Time : 1302.0 sec.
user=vaughan
[2011-11-07 21:22:10]
405*2^1047037-1 is not prime.  Res64: EA1E98704D02AB68  Time : 2036.0 sec.
user=vaughan
[2011-11-07 21:27:50]
537*2^1047037-1 is not prime.  Res64: 5BF08AF5EF35A401  Time : 1382.0 sec.
user=vaughan
[2011-11-07 21:34:08]
471*2^1047037-1 is not prime.  Res64: B9B23A11CAF6F33D  Time : 2073.0 sec.
user=vaughan
[2011-11-07 21:36:29]
429*2^1047037-1 is not prime.  Res64: A9E88C7B984E2B0B  Time : 2620.0 sec.
user=vaughan
[2011-11-07 21:36:34]
525*2^1047038-1 is not prime.  Res64: 68304E889C47B931  Time : 1305.0 sec.
user=vaughan
[2011-11-07 21:38:32]
499*2^1047037-1 is not prime.  Res64: 5ECEBBEE175268B2  Time : 2142.0 sec.
user=vaughan
[2011-11-07 21:43:03]
549*2^1047037-1 is not prime.  Res64: A9F1E6157AF10001  Time : 2178.0 sec.
user=vaughan
[2011-11-07 21:49:55]
579*2^1047039-1 is not prime.  Res64: 1CEB45651BC7B186  Time : 1325.0 sec.
user=vaughan
[2011-11-07 21:54:38]
591*2^1047038-1 is not prime.  Res64: 20CF16EA6857FB3C  Time : 1948.0 sec.
user=vaughan
[2011-11-07 21:59:10]
563*2^1047040-1 is not prime.  Res64: F102AF2B8D6DDABA  Time : 1356.0 sec.
user=vaughan
[2011-11-07 22:06:16]
437*2^1047040-1 is not prime.  Res64: 84867DA7C8AB0A91  Time : 1928.0 sec.
user=vaughan
[2011-11-07 22:10:07]
421*2^1047041-1 is not prime.  Res64: 27A4C1255BC763CB  Time : 1887.0 sec.
user=vaughan
[2011-11-07 22:11:22]
447*2^1047041-1 is not prime.  Res64: 1376F72E1F9E717B  Time : 1888.0 sec.
user=vaughan
[2011-11-07 22:11:51]
411*2^1047043-1 is not prime.  Res64: 70802ED56D1C3147  Time : 1317.0 sec.
user=vaughan
[2011-11-07 22:13:26]
567*2^1047040-1 is not prime.  Res64: 5428AF8629AD7C3C  Time : 2095.0 sec.
user=vaughan
[2011-11-07 22:20:05]
551*2^1047042-1 is not prime.  Res64: 817537C39CED2079  Time : 2222.0 sec.
user=vaughan
[2011-11-07 22:20:06]
453*2^1047040-1 is not prime.  Res64: 457B3E7FEB399C12  Time : 2617.0 sec.
user=vaughan
[2011-11-07 22:21:51]
589*2^1047043-1 is not prime.  Res64: 963195FEDEC5B5DA  Time : 1361.0 sec.
user=vaughan
[2011-11-07 22:25:47]
417*2^1047042-1 is not prime.  Res64: 1C63867064B69609  Time : 2695.0 sec.
user=vaughan
[2011-11-07 22:26:57]
441*2^1047043-1 is not prime.  Res64: E5A7DE3B32646F03  Time : 1940.0 sec.
user=vaughan
[2011-11-07 22:30:23]
431*2^1047042-1 is not prime.  Res64: 0A0CD486ED55EB3A  Time : 2950.0 sec.
user=vaughan
[2011-11-07 22:33:46]
413*2^1047046-1 is not prime.  Res64: 8634C11C38E99FF3  Time : 1316.0 sec.
user=vaughan
[2011-11-07 22:38:53]
425*2^1047044-1 is not prime.  Res64: A40C2C37398B0066  Time : 1958.0 sec.
user=vaughan
[2011-11-07 22:41:34]
495*2^1047045-1 is not prime.  Res64: A4499E0775BB123D  Time : 1887.0 sec.
user=vaughan
[2011-11-07 22:42:41]
595*2^1047045-1 is not prime.  Res64: CCB438431D9D8031  Time : 1879.0 sec.
user=vaughan
[2011-11-07 22:44:41]
553*2^1047047-1 is not prime.  Res64: DE280F2395DF6DF5  Time : 1370.0 sec.
user=vaughan
[2011-11-07 22:50:37]
491*2^1047046-1 is not prime.  Res64: B66F2D989E7CA054  Time : 2231.0 sec.
user=vaughan
[2011-11-07 22:55:35]
469*2^1047049-1 is not prime.  Res64: AFF105808011E348  Time : 1310.0 sec.
user=vaughan
[2011-11-07 22:57:28]
561*2^1047046-1 is not prime.  Res64: 97B94361A7D3A3CA  Time : 2243.0 sec.
user=vaughan
[2011-11-07 23:00:39]
485*2^1047048-1 is not prime.  Res64: 7AFBDB09D5D658A0  Time : 2022.0 sec.
user=vaughan
[2011-11-07 23:03:42]
465*2^1047047-1 is not prime.  Res64: 6C324E20A86DE983  Time : 2616.0 sec.
user=vaughan
[2011-11-07 23:07:31]
415*2^1047051-1 is not prime.  Res64: 69F1AC43F44A11CE  Time : 1370.0 sec.
user=vaughan
[2011-11-07 23:10:41]
405*2^1047048-1 is not prime.  Res64: 9B683ED1F54EA8B6  Time : 2695.0 sec.
user=vaughan
[2011-11-07 23:11:36]
565*2^1047049-1 is not prime.  Res64: 036D8A79D9F051E7  Time : 1963.0 sec.
user=vaughan
[2011-11-07 23:12:43]
437*2^1047050-1 is not prime.  Res64: CB422654461800DB  Time : 1870.0 sec.
user=vaughan
[2011-11-07 23:13:46]
567*2^1047050-1 is not prime.  Res64: 29B624A1DC969F5C  Time : 1865.0 sec.
user=vaughan
[2011-11-07 23:17:22]
413*2^1047052-1 is not prime.  Res64: 369AAFD8E93C3146  Time : 1308.0 sec.
user=vaughan
[2011-11-07 23:18:36]
563*2^1047048-1 is not prime.  Res64: E9EBF1203564BEF0  Time : 2893.0 sec.
user=vaughan
[2011-11-07 23:28:32]
429*2^1047051-1 is not prime.  Res64: 48857A67F64CF954  Time : 2275.0 sec.
user=vaughan
[2011-11-07 23:30:22]
441*2^1047053-1 is not prime.  Res64: D83C9C5B6BC883DE  Time : 1372.0 sec.
user=vaughan
[2011-11-07 23:33:54]
489*2^1047052-1 is not prime.  Res64: 88E49BF071628154  Time : 2186.0 sec.
user=vaughan
[2011-11-07 23:35:09]
513*2^1047052-1 is not prime.  Res64: 84F3AF2D5A75996E  Time : 2070.0 sec.
user=vaughan
[2011-11-07 23:39:19]
507*2^1047054-1 is not prime.  Res64: E6F873DFE94A6024  Time : 1317.0 sec.
user=vaughan
[2011-11-07 23:43:54]
537*2^1047053-1 is not prime.  Res64: 906623C31AEC3A1F  Time : 1871.0 sec.
user=vaughan
[2011-11-07 23:44:23]
487*2^1047053-1 is not prime.  Res64: 1C468949CAAA73A8  Time : 1967.0 sec.
user=vaughan
[2011-11-07 23:44:52]
589*2^1047053-1 is not prime.  Res64: 7AE87BE927D2846E  Time : 1866.0 sec.
user=vaughan
[2011-11-07 23:47:19]
569*2^1047052-1 is not prime.  Res64: A8FAFA8B15E6CB2A  Time : 2617.0 sec.
user=vaughan
[2011-11-07 23:53:12]
541*2^1047055-1 is not prime.  Res64: DB4AF9F952B6334F  Time : 1370.0 sec.
user=vaughan
[2011-11-07 23:54:32]
481*2^1047053-1 is not prime.  Res64: 0BE0C6DF4AA0907B  Time : 2632.0 sec.