user=vaughan
[2011-12-03 00:19:17]
453*2^1048287-1 is not prime.  Res64: BAD92B4680E688E9  Time : 2615.0 sec.
user=kar_bon
[2011-12-03 00:20:09]
419*2^1048288-1 is not prime.  Res64: 9F1463FB0ECBB626  Time : 1309.0 sec.
user=kar_bon
[2011-12-03 00:51:31]
435*2^1048289-1 is not prime.  Res64: A5194ED21B8729BE  Time : 1881.0 sec.
user=vaughan
[2011-12-03 01:02:54]
437*2^1048288-1 is not prime.  Res64: 9838D712936E4BB9  Time : 2617.0 sec.
user=kar_bon
[2011-12-03 01:34:28]
447*2^1048289-1 is not prime.  Res64: 24CF3CCBCFE4B1C0  Time : 2576.0 sec.
user=vaughan
[2011-12-03 01:46:31]
465*2^1048289-1 is not prime.  Res64: 95FA08F7BA1FDB6E  Time : 2618.0 sec.
user=kar_bon
[2011-12-03 02:04:28]
589*2^1048289-1 is not prime.  Res64: B8F9D152B53DFDFC  Time : 1799.0 sec.
user=vaughan
[2011-12-03 02:30:07]
443*2^1048290-1 is not prime.  Res64: F48E1582E5445EF4  Time : 2617.0 sec.
user=kar_bon
[2011-12-03 02:35:26]
525*2^1048290-1 is not prime.  Res64: 83FD6E347A365193  Time : 1859.0 sec.
user=kar_bon
[2011-12-03 03:04:42]
465*2^1048291-1 is not prime.  Res64: ECFB3B0EAC85C538  Time : 1755.0 sec.
user=vaughan
[2011-12-03 03:13:41]
451*2^1048291-1 is not prime.  Res64: CB21E8CE068AD3A9  Time : 2615.0 sec.
user=kar_bon
[2011-12-03 03:34:19]
495*2^1048292-1 is not prime.  Res64: DC22BF76739470EC  Time : 1776.0 sec.
user=vaughan
[2011-12-03 03:57:16]
533*2^1048292-1 is not prime.  Res64: 2739DC06F57D8A4D  Time : 2616.0 sec.
user=kar_bon
[2011-12-03 04:10:51]
593*2^1048292-1 is not prime.  Res64: 6CC339F273BAC3F8  Time : 2192.0 sec.
user=kar_bon
[2011-12-03 04:40:39]
517*2^1048293-1 is not prime.  Res64: 3B938A71B01F0271  Time : 1787.0 sec.
user=vaughan
[2011-12-03 04:40:51]
405*2^1048293-1 is not prime.  Res64: 8FAA2E2044A3D779  Time : 2615.0 sec.
user=kar_bon
[2011-12-03 05:13:49]
411*2^1048294-1 is not prime.  Res64: A1FDEC4E41CC52C4  Time : 1989.0 sec.
user=vaughan
[2011-12-03 05:24:26]
425*2^1048294-1 is not prime.  Res64: DFCD2FBB9D3399EC  Time : 2615.0 sec.
user=kar_bon
[2011-12-03 05:51:47]
477*2^1048294-1 is not prime.  Res64: 1A27250303779C73  Time : 2278.0 sec.
user=vaughan
[2011-12-03 06:08:06]
533*2^1048294-1 is not prime.  Res64: 9E9025F3DFAE5F5A  Time : 2620.0 sec.
user=kar_bon
[2011-12-03 06:20:10]
403*2^1048295-1 is not prime.  Res64: 027604769CB2A95D  Time : 1702.0 sec.
user=kar_bon
[2011-12-03 06:49:48]
573*2^1048295-1 is not prime.  Res64: 460F9AB5DEA68C5D  Time : 1778.0 sec.
user=vaughan
[2011-12-03 06:51:39]
409*2^1048295-1 is not prime.  Res64: B6A25FCDEE34EA85  Time : 2614.0 sec.
user=kar_bon
[2011-12-03 07:18:28]
405*2^1048296-1 is not prime.  Res64: 8226B856E89E8219  Time : 1720.0 sec.
user=vaughan
[2011-12-03 07:35:14]
589*2^1048297-1 is not prime.  Res64: D8255CB7D28E29A7  Time : 2615.0 sec.
user=kar_bon
[2011-12-03 07:41:03]
551*2^1048298-1 is not prime.  Res64: 132EDF7E5688BAF1  Time : 1354.0 sec.
user=kar_bon
[2011-12-03 08:02:33]
575*2^1048298-1 is not prime.  Res64: 52F06469DD56B42D  Time : 1290.0 sec.
user=vaughan
[2011-12-03 08:18:51]
563*2^1048298-1 is not prime.  Res64: E49F0C3765B979BE  Time : 2617.0 sec.
user=kar_bon
[2011-12-03 08:23:18]
459*2^1048299-1 is not prime.  Res64: 1A942EDABB57AA12  Time : 1245.0 sec.
user=kar_bon
[2011-12-03 08:44:02]
583*2^1048299-1 is not prime.  Res64: 277470280FB609CE  Time : 1244.0 sec.
user=vaughan
[2011-12-03 09:02:27]
511*2^1048299-1 is not prime.  Res64: FD7C4A4C662F4B81  Time : 2616.0 sec.
user=kar_bon
[2011-12-03 09:04:48]
465*2^1048300-1 is not prime.  Res64: D2AD886005C93309  Time : 1245.0 sec.
user=kar_bon
[2011-12-03 09:25:33]
487*2^1048301-1 is not prime.  Res64: 5B8AA376AD03D56D  Time : 1244.0 sec.
user=vaughan
[2011-12-03 09:46:05]
417*2^1048301-1 is not prime.  Res64: 6F4BE5EAA24BC4DA  Time : 2619.0 sec.
user=kar_bon
[2011-12-03 09:46:21]
511*2^1048301-1 is not prime.  Res64: 3F7F500EDF2D9BC3  Time : 1247.0 sec.
user=kar_bon
[2011-12-03 10:07:11]
401*2^1048302-1 is not prime.  Res64: FF33EDC3AE5582B2  Time : 1250.0 sec.
user=vaughan
[2011-12-03 10:29:45]
549*2^1048301-1 is not prime.  Res64: 23E74DE076E3EBBD  Time : 2620.0 sec.
user=kar_bon
[2011-12-03 10:33:00]
527*2^1048302-1 is not prime.  Res64: 1B678C0784C9C01B  Time : 1549.0 sec.
user=kar_bon
[2011-12-03 11:00:27]
563*2^1048302-1 is not prime.  Res64: 502D98A89FE89675  Time : 1646.0 sec.
user=vaughan
[2011-12-03 11:13:22]
555*2^1048302-1 is not prime.  Res64: 7D653C9D18E98FEA  Time : 2617.0 sec.
user=kar_bon
[2011-12-03 11:26:10]
493*2^1048303-1 is not prime.  Res64: 83501EC165DAD6BC  Time : 1542.0 sec.
user=vaughan
[2011-12-03 11:56:58]
549*2^1048303-1 is not prime.  Res64: 5628248E9E3CF332  Time : 2617.0 sec.
user=kar_bon
[2011-12-03 11:58:49]
413*2^1048304-1 is not prime.  Res64: 04042A388651C1E2  Time : 1959.0 sec.
user=kar_bon
[2011-12-03 12:26:00]
425*2^1048304-1 is not prime.  Res64: BB09F5D50B844C32  Time : 1630.0 sec.
user=vaughan
[2011-12-03 12:40:34]
417*2^1048304-1 is not prime.  Res64: 150486D278493F9F  Time : 2617.0 sec.
user=kar_bon
[2011-12-03 12:54:42]
479*2^1048304-1 is not prime.  Res64: CF5385C8EE2BE685  Time : 1722.0 sec.
user=vaughan
[2011-12-03 13:24:11]
509*2^1048304-1 is not prime.  Res64: 85DB0A8CF0FAD735  Time : 2617.0 sec.
user=kar_bon
[2011-12-03 13:29:56]
525*2^1048304-1 is not prime.  Res64: D2146716E3D47F73  Time : 2113.0 sec.
user=kar_bon
[2011-12-03 13:56:20]
565*2^1048245-1 is not prime.  Res64: 3979E6C1A3B34AE3  Time : 1583.0 sec.
user=vaughan
[2011-12-03 14:07:48]
465*2^1048305-1 is not prime.  Res64: 7CEEE9003F2A4DA2  Time : 2618.0 sec.
user=kar_bon
[2011-12-03 14:23:19]
531*2^1048305-1 is not prime.  Res64: 8F37762F6D9E267B  Time : 1619.0 sec.
user=vaughan
[2011-12-03 14:51:24]
555*2^1048305-1 is not prime.  Res64: ED46F8169F0CE6B1  Time : 2617.0 sec.
user=kar_bon
[2011-12-03 14:52:03]
577*2^1048305-1 is not prime.  Res64: 7DCC2EFFEEF718E2  Time : 1723.0 sec.
user=kar_bon
[2011-12-03 15:21:39]
495*2^1048306-1 is not prime.  Res64: 3987A85819915982  Time : 1776.0 sec.
user=vaughan
[2011-12-03 15:34:59]
471*2^1048306-1 is not prime.  Res64: C638E7A1319E4DDE  Time : 2615.0 sec.
user=kar_bon
[2011-12-03 15:51:08]
597*2^1048306-1 is not prime.  Res64: B612E38DFDC34D1F  Time : 1769.0 sec.
user=vaughan
[2011-12-03 16:18:35]
553*2^1048307-1 is not prime.  Res64: B3B082604FF6199B  Time : 2617.0 sec.
user=kar_bon
[2011-12-03 16:20:45]
451*2^1048309-1 is not prime.  Res64: 5A4A140C121961D4  Time : 1776.0 sec.
user=kar_bon
[2011-12-03 16:51:17]
495*2^1048309-1 is not prime.  Res64: 943009FEFD23F51D  Time : 1831.0 sec.
user=vaughan
[2011-12-03 17:02:15]
489*2^1048309-1 is not prime.  Res64: 322193BC93C5C252  Time : 2621.0 sec.
user=kar_bon
[2011-12-03 17:26:17]
507*2^1048309-1 is not prime.  Res64: 2C535425F6A92FD2  Time : 2099.0 sec.
user=vaughan
[2011-12-03 17:45:50]
483*2^1048310-1 is not prime.  Res64: 7D9B9720BEEC5DC0  Time : 2616.0 sec.
user=kar_bon
[2011-12-03 17:54:53]
593*2^1048310-1 is not prime.  Res64: 1A13505A2EAE52EB  Time : 1716.0 sec.
user=kar_bon
[2011-12-03 18:24:21]
563*2^1048312-1 is not prime.  Res64: 459F0413C66734F0  Time : 1768.0 sec.
user=vaughan
[2011-12-03 18:29:26]
423*2^1048312-1 is not prime.  Res64: 55D3F2CC2228A27C  Time : 2616.0 sec.
user=kar_bon
[2011-12-03 18:54:59]
405*2^1048313-1 is not prime.  Res64: DE25865A66043739  Time : 1837.0 sec.
user=vaughan
[2011-12-03 19:13:01]
411*2^1048313-1 is not prime.  Res64: 899EB5B9A30556AA  Time : 2615.0 sec.
user=kar_bon
[2011-12-03 19:17:43]
435*2^1048313-1 is not prime.  Res64: CD5CDBB4B6F49B10  Time : 1363.0 sec.
user=kar_bon
[2011-12-03 19:38:30]
567*2^1048313-1 is not prime.  Res64: B204F3DB419D8A1C  Time : 1246.0 sec.
user=vaughan
[2011-12-03 19:56:36]
525*2^1048313-1 is not prime.  Res64: D489734F35D9E922  Time : 2616.0 sec.
user=kar_bon
[2011-12-03 19:59:17]
589*2^1048313-1 is not prime.  Res64: DF685C736A2E63E2  Time : 1247.0 sec.
user=kar_bon
[2011-12-03 20:20:46]
563*2^1048314-1 is not prime.  Res64: 5647D701D8828D59  Time : 1289.0 sec.
user=vaughan
[2011-12-03 20:40:12]
447*2^1048314-1 is not prime.  Res64: ACC413D60823B087  Time : 2616.0 sec.
user=kar_bon
[2011-12-03 20:43:27]
411*2^1048315-1 is not prime.  Res64: D09C239D9408DF17  Time : 1360.0 sec.
user=kar_bon
[2011-12-03 21:06:18]
441*2^1048315-1 is not prime.  Res64: 554C27068433CF2F  Time : 1370.0 sec.
user=vaughan
[2011-12-03 21:23:48]
415*2^1048315-1 is not prime.  Res64: 5FDE4C7EA421F79F  Time : 2616.0 sec.
user=kar_bon
[2011-12-03 21:28:30]
541*2^1048315-1 is not prime.  Res64: A55DCD53077D65B6  Time : 1331.0 sec.
user=kar_bon
[2011-12-03 21:50:51]
447*2^1048316-1 is not prime.  Res64: 232256F9A3A88829  Time : 1340.0 sec.
user=vaughan
[2011-12-03 22:07:23]
595*2^1048315-1 is not prime.  Res64: 6FAC30B7D4A362AF  Time : 2615.0 sec.
user=kar_bon
[2011-12-03 22:14:52]
483*2^1048316-1 is not prime.  Res64: 05FA3E470F4AF2D3  Time : 1440.0 sec.
user=kar_bon
[2011-12-03 22:40:24]
499*2^1048317-1 is not prime.  Res64: 495358EDF9D4A19F  Time : 1532.0 sec.
user=vaughan
[2011-12-03 22:50:57]
545*2^1048316-1 is not prime.  Res64: 720422591B33D257  Time : 2614.0 sec.
user=kar_bon
[2011-12-03 23:04:16]
517*2^1048317-1 is not prime.  Res64: 63CA2884F5640B2D  Time : 1432.0 sec.
user=kar_bon
[2011-12-03 23:25:02]
495*2^1048318-1 is not prime.  Res64: 7652059DA085824E  Time : 1246.0 sec.
user=vaughan
[2011-12-03 23:34:36]
435*2^1048318-1 is not prime.  Res64: 9B42B6CA2C5B1AFE  Time : 2619.0 sec.
user=kar_bon
[2011-12-03 23:45:49]
527*2^1048318-1 is not prime.  Res64: FA4FF5D273566C58  Time : 1247.0 sec.