user=vaughan
[2011-11-27 00:26:03]
433*2^1048139-1 is not prime.  Res64: 9E59550B85E76792  Time : 3713.0 sec.
user=vaughan
[2011-11-27 01:10:54]
501*2^1048139-1 is not prime.  Res64: 342B297434CEBDB7  Time : 2630.0 sec.
user=vaughan
[2011-11-27 01:55:46]
571*2^1048139-1 is not prime.  Res64: 2C0BF7AF73BFF575  Time : 2628.0 sec.
user=vaughan
[2011-11-27 02:39:24]
545*2^1048140-1 is not prime.  Res64: 3F4CD6451C114E16  Time : 2618.0 sec.
user=vaughan
[2011-11-27 03:23:13]
405*2^1048141-1 is not prime.  Res64: 866A6314E5758946  Time : 2630.0 sec.
user=vaughan
[2011-11-27 04:08:16]
465*2^1048141-1 is not prime.  Res64: 26ABDAAC2A3E3817  Time : 2620.0 sec.
user=vaughan
[2011-11-27 04:51:58]
577*2^1048141-1 is not prime.  Res64: 37A777F0D57F04F9  Time : 2622.0 sec.
user=vaughan
[2011-11-27 05:35:48]
587*2^1048142-1 is not prime.  Res64: 939596A5BAA454E6  Time : 2630.0 sec.
user=vaughan
[2011-11-27 06:20:53]
593*2^1048142-1 is not prime.  Res64: 623CAD7EBD09FA6C  Time : 2619.0 sec.
user=vaughan
[2011-11-27 07:04:42]
407*2^1048144-1 is not prime.  Res64: 81A825DA723698FB  Time : 2629.0 sec.
user=vaughan
[2011-11-27 07:49:46]
447*2^1048144-1 is not prime.  Res64: 43CC39F179DF7E3C  Time : 2618.0 sec.
user=vaughan
[2011-11-27 08:33:28]
485*2^1048144-1 is not prime.  Res64: D946BD0838F0B08A  Time : 2622.0 sec.
user=vaughan
[2011-11-27 09:17:20]
597*2^1048144-1 is not prime.  Res64: 3ACD7A75E8D22F9D  Time : 2633.0 sec.
user=vaughan
[2011-11-27 10:03:15]
487*2^1048145-1 is not prime.  Res64: CA66E87A661F83F6  Time : 2621.0 sec.
user=vaughan
[2011-11-27 10:47:03]
447*2^1048146-1 is not prime.  Res64: 41683BC616ED900E  Time : 2629.0 sec.
user=vaughan
[2011-11-27 11:31:51]
465*2^1048146-1 is not prime.  Res64: 754C18438C0F3B49  Time : 2625.0 sec.
user=vaughan
[2011-11-27 12:15:31]
471*2^1048146-1 is not prime.  Res64: 48C1BDBE6187F1D3  Time : 2621.0 sec.
user=vaughan
[2011-11-27 12:59:19]
527*2^1048146-1 is not prime.  Res64: 89A53CD51257253E  Time : 2628.0 sec.
user=vaughan
[2011-11-27 13:44:07]
593*2^1048146-1 is not prime.  Res64: 0177DCAF3A2899DB  Time : 2618.0 sec.
user=vaughan
[2011-11-27 14:27:57]
405*2^1048147-1 is not prime.  Res64: 564B16EE105F6216  Time : 2631.0 sec.
user=vaughan
[2011-11-27 15:13:07]
563*2^1048148-1 is not prime.  Res64: D9F36ACAAA57C350  Time : 2627.0 sec.
user=vaughan
[2011-11-27 15:56:44]
599*2^1048148-1 is not prime.  Res64: 59F35C1D4D4CCEFA  Time : 2617.0 sec.
user=vaughan
[2011-11-27 16:40:36]
429*2^1048149-1 is not prime.  Res64: 71489F98A2916B5D  Time : 2632.0 sec.
user=vaughan
[2011-11-27 17:25:37]
525*2^1048149-1 is not prime.  Res64: 133152FBD673F350  Time : 2618.0 sec.
user=vaughan
[2011-11-27 18:09:23]
525*2^1048150-1 is not prime.  Res64: 7BE0062CDCA88B9C  Time : 2627.0 sec.
user=vaughan
[2011-11-27 18:54:35]
567*2^1048150-1 is not prime.  Res64: ABA937BC857779AF  Time : 2713.0 sec.
user=kar_bon
[2011-11-27 19:10:08]
423*2^1048151-1 is not prime.  Res64: DA6083C765418924  Time : 1249.0 sec.
user=kar_bon
[2011-11-27 19:30:52]
441*2^1048151-1 is not prime.  Res64: 1F8B2630028FF857  Time : 1244.0 sec.
user=vaughan
[2011-11-27 19:38:23]
433*2^1048151-1 is not prime.  Res64: 58A0D2EA36B5A16A  Time : 2628.0 sec.
user=kar_bon
[2011-11-27 19:51:40]
419*2^1048152-1 is not prime.  Res64: 80C0816D7EABAA1E  Time : 1248.0 sec.
user=kar_bon
[2011-11-27 20:12:29]
441*2^1048153-1 is not prime.  Res64: 4389644EFFA86B68  Time : 1248.0 sec.
user=vaughan
[2011-11-27 20:23:13]
525*2^1048152-1 is not prime.  Res64: C81012D600C298EC  Time : 2626.0 sec.
user=kar_bon
[2011-11-27 20:33:14]
549*2^1048153-1 is not prime.  Res64: E4573D85395E9401  Time : 1245.0 sec.
user=kar_bon
[2011-11-27 20:54:00]
403*2^1048155-1 is not prime.  Res64: C02031C84DE68D05  Time : 1246.0 sec.
user=vaughan
[2011-11-27 21:06:58]
559*2^1048153-1 is not prime.  Res64: 49BE7E4B1A3F6EAD  Time : 2625.0 sec.
user=kar_bon
[2011-11-27 21:14:48]
415*2^1048155-1 is not prime.  Res64: 3D5C6C615E86CACE  Time : 1248.0 sec.
user=kar_bon
[2011-11-27 21:35:31]
513*2^1048155-1 is not prime.  Res64: D102404588839088  Time : 1243.0 sec.
user=vaughan
[2011-11-27 21:50:39]
493*2^1048155-1 is not prime.  Res64: 64C611D55C126390  Time : 2621.0 sec.
user=kar_bon
[2011-11-27 21:56:15]
595*2^1048155-1 is not prime.  Res64: 8E28B878AE4654CF  Time : 1244.0 sec.
user=kar_bon
[2011-11-27 22:17:05]
563*2^1048156-1 is not prime.  Res64: D7A05737B72BE73C  Time : 1250.0 sec.
user=vaughan
[2011-11-27 22:34:29]
507*2^1048156-1 is not prime.  Res64: 05126B9324B983E7  Time : 2630.0 sec.
user=kar_bon
[2011-11-27 22:37:51]
587*2^1048156-1 is not prime.  Res64: 337418F52C7FA7DE  Time : 1245.0 sec.
user=kar_bon
[2011-11-27 22:58:37]
511*2^1048157-1 is not prime.  Res64: EDCDBA9550904ACE  Time : 1245.0 sec.
user=vaughan
[2011-11-27 23:19:24]
487*2^1048157-1 is not prime.  Res64: AD40FD31459FCE04  Time : 2625.0 sec.
user=kar_bon
[2011-11-27 23:19:26]
565*2^1048157-1 is not prime.  Res64: 6A152F0D86260E04  Time : 1249.0 sec.
user=kar_bon
[2011-11-27 23:40:12]
423*2^1048158-1 is not prime.  Res64: E403BD566E1A3881  Time : 1246.0 sec.
user=kar_bon
[2011-11-28 00:00:57]
425*2^1048158-1 is not prime.  Res64: E3F2DB78DDFFF38A  Time : 1244.0 sec.