user=vaughan
[2011-10-16 00:02:52]
553*2^1046175-1 is not prime.  Res64: A93274C23084FD63  Time : 2620.0 sec.
user=kar_bon
[2011-10-16 00:05:46]
483*2^1046176-1 is not prime.  Res64: 4B4B108B0345089B  Time : 1260.0 sec.
user=kar_bon
[2011-10-16 00:26:41]
539*2^1046176-1 is not prime.  Res64: 14A7D9B3CFAE428D  Time : 1254.0 sec.
user=vaughan
[2011-10-16 00:46:30]
495*2^1046176-1 is not prime.  Res64: A30638A998930531  Time : 2618.0 sec.
user=kar_bon
[2011-10-16 00:47:38]
421*2^1046177-1 is not prime.  Res64: 7692E55D3B6C0591  Time : 1256.0 sec.
user=kar_bon
[2011-10-16 01:08:31]
577*2^1046177-1 is not prime.  Res64: C00A8C13350DBF6C  Time : 1253.0 sec.
user=vaughan
[2011-10-16 01:30:10]
489*2^1046177-1 is not prime.  Res64: 1C8A796D3D2DFC2D  Time : 2620.0 sec.
user=kar_bon
[2011-10-16 01:30:31]
447*2^1046178-1 is not prime.  Res64: 8DD0E28FF53DD4B7  Time : 1319.0 sec.
user=kar_bon
[2011-10-16 01:55:08]
465*2^1046178-1 is not prime.  Res64: 061889A02BA5EF01  Time : 1477.0 sec.
user=vaughan
[2011-10-16 02:13:50]
461*2^1046178-1 is not prime.  Res64: 32F46C022E8245B7  Time : 2620.0 sec.
user=kar_bon
[2011-10-16 02:22:29]
525*2^1046178-1 is not prime.  Res64: E8262A714C6C20EF  Time : 1640.0 sec.
user=kar_bon
[2011-10-16 02:51:16]
429*2^1046179-1 is not prime.  Res64: 0110F98802267077  Time : 1726.0 sec.
user=vaughan
[2011-10-16 02:57:32]
411*2^1046179-1 is not prime.  Res64: 0FF924F1407CBB9B  Time : 2622.0 sec.
user=kar_bon
[2011-10-16 03:17:10]
433*2^1046179-1 is not prime.  Res64: A3144308D047E0D1  Time : 1553.0 sec.
user=vaughan
[2011-10-16 03:41:13]
469*2^1046179-1 is not prime.  Res64: 2D4B11401199FDD0  Time : 2621.0 sec.
user=kar_bon
[2011-10-16 03:58:24]
481*2^1046179-1 is not prime.  Res64: 4DE7F6891BF21A78  Time : 2473.0 sec.
user=vaughan
[2011-10-16 04:24:54]
425*2^1046180-1 is not prime.  Res64: 272C91067C69FCAE  Time : 2621.0 sec.
user=kar_bon
[2011-10-16 04:39:35]
467*2^1046180-1 is not prime.  Res64: 84442BF0D9034D6D  Time : 2471.0 sec.
user=kar_bon
[2011-10-16 05:07:45]
545*2^1046180-1 is not prime.  Res64: AD33C5B761DA544D  Time : 1689.0 sec.
user=vaughan
[2011-10-16 05:08:35]
503*2^1046180-1 is not prime.  Res64: B350C0FDEEBC458A  Time : 2622.0 sec.
user=kar_bon
[2011-10-16 05:38:29]
563*2^1046180-1 is not prime.  Res64: 2FF46067950D65F1  Time : 1844.0 sec.
user=vaughan
[2011-10-16 05:52:15]
415*2^1046181-1 is not prime.  Res64: 5F952D5774D1843C  Time : 2620.0 sec.
user=kar_bon
[2011-10-16 06:06:02]
417*2^1046181-1 is not prime.  Res64: 56C1A43ADAA3AD86  Time : 1652.0 sec.
user=kar_bon
[2011-10-16 06:34:25]
597*2^1046181-1 is not prime.  Res64: D24614BCD9E66E86  Time : 1702.0 sec.
user=vaughan
[2011-10-16 06:35:53]
445*2^1046181-1 is not prime.  Res64: BBD1E5A07E9585F3  Time : 2618.0 sec.
user=kar_bon
[2011-10-16 07:01:58]
467*2^1046182-1 is not prime.  Res64: B6F9A5146DAB7EB7  Time : 1653.0 sec.
user=vaughan
[2011-10-16 07:19:54]
483*2^1046182-1 is not prime.  Res64: F55D8081FC4B5CF0  Time : 2641.0 sec.
user=kar_bon
[2011-10-16 07:28:45]
507*2^1046182-1 is not prime.  Res64: 00B5D493BDA51032  Time : 1606.0 sec.
user=kar_bon
[2011-10-16 07:55:36]
425*2^1046184-1 is not prime.  Res64: 5618826F6A1CEDF6  Time : 1610.0 sec.
user=vaughan
[2011-10-16 08:03:51]
581*2^1046182-1 is not prime.  Res64: 176ED84510B24B63  Time : 2637.0 sec.
user=kar_bon
[2011-10-16 08:25:30]
525*2^1046184-1 is not prime.  Res64: 0513DBB44E9682C1  Time : 1794.0 sec.
user=vaughan
[2011-10-16 08:48:23]
539*2^1046184-1 is not prime.  Res64: 43745D9A4864F345  Time : 2672.0 sec.
user=kar_bon
[2011-10-16 08:54:43]
585*2^1046184-1 is not prime.  Res64: F4FDA7D3F72BEA8C  Time : 1753.0 sec.
user=kar_bon
[2011-10-16 09:23:28]
481*2^1046185-1 is not prime.  Res64: 4EC7F68CA990C786  Time : 1724.0 sec.
user=vaughan
[2011-10-16 09:32:20]
477*2^1046185-1 is not prime.  Res64: 35011E1089CEC76E  Time : 2637.0 sec.
user=kar_bon
[2011-10-16 09:55:46]
577*2^1046185-1 is not prime.  Res64: 34754A3EB4787B8C  Time : 1938.0 sec.
user=vaughan
[2011-10-16 10:16:14]
453*2^1046186-1 is not prime.  Res64: 20E2AD44F067CC91  Time : 2635.0 sec.
user=kar_bon
[2011-10-16 10:27:03]
477*2^1046186-1 is not prime.  Res64: D50924CD57A04FA4  Time : 1876.0 sec.
user=kar_bon
[2011-10-16 10:59:42]
561*2^1046186-1 is not prime.  Res64: 30E393739B9C49E2  Time : 1959.0 sec.
user=vaughan
[2011-10-16 11:00:08]
545*2^1046186-1 is not prime.  Res64: 90183F7FA647B673  Time : 2634.0 sec.
user=kar_bon
[2011-10-16 11:26:52]
485*2^1046188-1 is not prime.  Res64: D72D29E1C16420D4  Time : 1629.0 sec.
user=vaughan
[2011-10-16 11:44:02]
411*2^1046189-1 is not prime.  Res64: FF8810737332D1B5  Time : 2634.0 sec.
user=kar_bon
[2011-10-16 11:55:04]
445*2^1046189-1 is not prime.  Res64: 4BEAEA94EAA57008  Time : 1692.0 sec.
user=kar_bon
[2011-10-16 12:22:04]
447*2^1046190-1 is not prime.  Res64: 068C06E99C7D5256  Time : 1620.0 sec.
user=vaughan
[2011-10-16 12:27:58]
459*2^1046189-1 is not prime.  Res64: 099E0CA4CCEF8FEF  Time : 2636.0 sec.
user=kar_bon
[2011-10-16 12:49:41]
525*2^1046190-1 is not prime.  Res64: D122D37DB93E9F98  Time : 1656.0 sec.
user=vaughan
[2011-10-16 13:11:54]
527*2^1046190-1 is not prime.  Res64: 3FA762467F9A448D  Time : 2636.0 sec.
user=kar_bon
[2011-10-16 13:16:10]
537*2^1046190-1 is not prime.  Res64: 27A29F42DC63E340  Time : 1589.0 sec.
user=kar_bon
[2011-10-16 13:44:07]
585*2^1046190-1 is not prime.  Res64: BA403592E8362D94  Time : 1676.0 sec.
user=vaughan
[2011-10-16 13:55:49]
557*2^1046190-1 is not prime.  Res64: CDC9F0512E9E9929  Time : 2635.0 sec.
user=kar_bon
[2011-10-16 14:12:51]
415*2^1046191-1 is not prime.  Res64: 19EF316EABFD5D73  Time : 1724.0 sec.
user=vaughan
[2011-10-16 14:39:43]
453*2^1046191-1 is not prime.  Res64: 8518644C3EE675C2  Time : 2634.0 sec.
user=kar_bon
[2011-10-16 14:40:25]
465*2^1046191-1 is not prime.  Res64: 1AD03B1E241F3226  Time : 1654.0 sec.
user=kar_bon
[2011-10-16 15:08:14]
541*2^1046191-1 is not prime.  Res64: B94769C6E3A43CEC  Time : 1669.0 sec.
user=vaughan
[2011-10-16 15:23:37]
535*2^1046191-1 is not prime.  Res64: F98AFCEB82F97CC3  Time : 2634.0 sec.
user=kar_bon
[2011-10-16 15:36:27]
405*2^1046192-1 is not prime.  Res64: 723FA51211B341AC  Time : 1693.0 sec.
user=kar_bon
[2011-10-16 16:06:19]
537*2^1046192-1 is not prime.  Res64: 8128D2504866A8CD  Time : 1791.0 sec.
user=vaughan
[2011-10-16 16:07:32]
479*2^1046192-1 is not prime.  Res64: 8CA79192FA926F21  Time : 2635.0 sec.
user=kar_bon
[2011-10-16 16:37:22]
557*2^1046192-1 is not prime.  Res64: F67C8BAB7BB0F269  Time : 1863.0 sec.
user=kar_bon
[2011-10-16 17:08:45]
441*2^1046193-1 is not prime.  Res64: C53D78CE4E68A49A  Time : 1883.0 sec.
user=kar_bon
[2011-10-16 17:37:33]
471*2^1046193-1 is not prime.  Res64: DB5D8F81FA0A7FB4  Time : 1728.0 sec.
user=kar_bon
[2011-10-16 18:08:13]
481*2^1046193-1 is not prime.  Res64: E0D548C791A502B6  Time : 1840.0 sec.
user=vaughan
[2011-10-16 18:14:58]
563*2^1046192-1 is not prime.  Res64: 4369FE0D55019DAC  Time : 7647.0 sec.
user=kar_bon
[2011-10-16 18:35:38]
503*2^1046194-1 is not prime.  Res64: F90C22DC77A21B9D  Time : 1645.0 sec.
user=vaughan
[2011-10-16 19:04:48]
531*2^1046194-1 is not prime.  Res64: F41969EEC98575AC  Time : 2991.0 sec.
user=kar_bon
[2011-10-16 19:09:30]
545*2^1046194-1 is not prime.  Res64: 277ECC254404EF53  Time : 2032.0 sec.
user=kar_bon
[2011-10-16 19:31:09]
531*2^1046195-1 is not prime.  Res64: 7942CB1657FB160B  Time : 1299.0 sec.
user=vaughan
[2011-10-16 19:49:26]
445*2^1046195-1 is not prime.  Res64: D8E6342990B80259  Time : 2616.0 sec.
user=kar_bon
[2011-10-16 19:52:07]
459*2^1046196-1 is not prime.  Res64: 94D3BE1963E12B1A  Time : 1258.0 sec.
user=kar_bon
[2011-10-16 20:13:03]
563*2^1046196-1 is not prime.  Res64: 3390F4AEC5C24487  Time : 1256.0 sec.
user=vaughan
[2011-10-16 20:33:01]
503*2^1046196-1 is not prime.  Res64: 4421FCF6C2690712  Time : 2615.0 sec.
user=kar_bon
[2011-10-16 20:33:55]
587*2^1046196-1 is not prime.  Res64: FA0F4F3D11B75B64  Time : 1251.0 sec.
user=kar_bon
[2011-10-16 20:54:54]
591*2^1046198-1 is not prime.  Res64: 8B36AAF8DBBF3D5A  Time : 1258.0 sec.
user=kar_bon
[2011-10-16 21:15:49]
571*2^1046199-1 is not prime.  Res64: 5F0EF784D5B6E525  Time : 1254.0 sec.
user=vaughan
[2011-10-16 21:16:36]
517*2^1046197-1 is not prime.  Res64: 8D22B711C5EA50E4  Time : 2616.0 sec.
user=kar_bon
[2011-10-16 21:36:45]
579*2^1046199-1 is not prime.  Res64: 984827D8D2D10E94  Time : 1255.0 sec.
user=kar_bon
[2011-10-16 21:57:43]
495*2^1046201-1 is not prime.  Res64: E384CB0EC0DB04B9  Time : 1258.0 sec.
user=vaughan
[2011-10-16 22:00:12]
407*2^1046200-1 is not prime.  Res64: A9965C28F42C91C1  Time : 2616.0 sec.
user=kar_bon
[2011-10-16 22:18:37]
507*2^1046201-1 is not prime.  Res64: 9BC7BE48CD58234B  Time : 1255.0 sec.
user=kar_bon
[2011-10-16 22:39:37]
585*2^1046201-1 is not prime.  Res64: CC9227FA72BB0ADF  Time : 1259.0 sec.
user=vaughan
[2011-10-16 22:43:47]
537*2^1046201-1 is not prime.  Res64: 2B9932F278E6D241  Time : 2616.0 sec.
user=kar_bon
[2011-10-16 23:00:38]
401*2^1046202-1 is not prime.  Res64: 12BEB402856213E6  Time : 1260.0 sec.
user=kar_bon
[2011-10-16 23:21:33]
493*2^1046203-1 is not prime.  Res64: 079E31E2E04366D3  Time : 1255.0 sec.
user=vaughan
[2011-10-16 23:27:26]
501*2^1046202-1 is not prime.  Res64: A3AF7E2A15D26B95  Time : 2619.0 sec.
user=kar_bon
[2011-10-16 23:42:28]
465*2^1046204-1 is not prime.  Res64: 527E092F3A57ECB5  Time : 1254.0 sec.