user=vaughan
[2012-02-11 00:06:28]
517*2^1122337-1 is not prime.  Res64: DDF8FC4779081B86  Time : 0.0 sec.
user=vaughan
[2012-02-11 00:06:43]
473*2^1122338-1 is not prime.  Res64: D25776A3E78F88C9  Time : 0.0 sec.
user=juhehe
[2012-02-11 00:15:22]
533*2^1122388-1 is not prime.  Res64: 6F4973694ACF0BC7  Time : 0.0 sec.
user=vaughan
[2012-02-11 00:16:13]
411*2^1122349-1 is not prime.  Res64: 4CB66ABCFC7B0CED  Time : 0.0 sec.
user=vaughan
[2012-02-11 00:16:16]
507*2^1122348-1 is not prime.  Res64: AE13E84AED589A49  Time : 0.0 sec.
user=vaughan
[2012-02-11 00:16:17]
429*2^1122349-1 is not prime.  Res64: EB4CB6F9CD7AB646  Time : 0.0 sec.
user=vaughan
[2012-02-11 00:16:18]
525*2^1122348-1 is not prime.  Res64: 0BFE24A969A632D8  Time : 0.0 sec.
user=vaughan
[2012-02-11 00:26:18]
451*2^1122389-1 is not prime.  Res64: 28BF7A8D3130B17B  Time : 0.0 sec.
user=vaughan
[2012-02-11 00:26:19]
495*2^1122389-1 is not prime.  Res64: 87DACCAAA30AA794  Time : 0.0 sec.
user=vaughan
[2012-02-11 00:26:40]
567*2^1122389-1 is not prime.  Res64: C42B9890CA65930C  Time : 0.0 sec.
user=vaughan
[2012-02-11 00:26:41]
405*2^1122390-1 is not prime.  Res64: 2722F6F003B59B33  Time : 0.0 sec.
user=vaughan
[2012-02-11 00:36:09]
405*2^1122391-1 is not prime.  Res64: FDA54FC674F5A222  Time : 0.0 sec.
user=vaughan
[2012-02-11 00:36:09]
441*2^1122391-1 is not prime.  Res64: 534CBF2E466E5926  Time : 0.0 sec.
user=vaughan
[2012-02-11 00:36:10]
427*2^1122393-1 is not prime.  Res64: B9CEAE8437E10538  Time : 0.0 sec.
user=vaughan
[2012-02-11 00:36:11]
481*2^1122393-1 is not prime.  Res64: DCEEA522EA8ABC57  Time : 0.0 sec.
user=juhehe
[2012-02-11 00:43:47]
417*2^1122390-1 is not prime.  Res64: B8497F8FB37A1422  Time : 0.0 sec.
user=vaughan
[2012-02-11 00:46:11]
517*2^1122393-1 is not prime.  Res64: 64790C54CF6DE3B9  Time : 0.0 sec.
user=vaughan
[2012-02-11 00:46:12]
559*2^1122393-1 is not prime.  Res64: 9BA1CBE7E7776071  Time : 0.0 sec.
user=vaughan
[2012-02-11 00:46:30]
577*2^1122393-1 is not prime.  Res64: C6D4E03DDA15347A  Time : 0.0 sec.
user=vaughan
[2012-02-11 00:46:31]
591*2^1122393-1 is not prime.  Res64: 209BF0C911A017A7  Time : 0.0 sec.
user=vaughan
[2012-02-11 00:55:57]
425*2^1122394-1 is not prime.  Res64: 5EE9A590CC96D7C2  Time : 0.0 sec.
user=vaughan
[2012-02-11 00:55:57]
453*2^1122394-1 is not prime.  Res64: A69870BFECF4CB27  Time : 0.0 sec.
user=vaughan
[2012-02-11 00:56:00]
491*2^1122394-1 is not prime.  Res64: 289F99EDE504DEF9  Time : 0.0 sec.
user=vaughan
[2012-02-11 00:56:01]
579*2^1122395-1 is not prime.  Res64: 2E0EBDE765361789  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:06:01]
453*2^1122396-1 is not prime.  Res64: F1B84239CC151E5F  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:06:02]
485*2^1122396-1 is not prime.  Res64: F110A45F5FF351B1  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:06:22]
513*2^1122396-1 is not prime.  Res64: CB1D0E5ED8627D01  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:06:23]
525*2^1122396-1 is not prime.  Res64: 188D16BF82896259  Time : 0.0 sec.
user=juhehe
[2012-02-11 01:12:10]
585*2^1122395-1 is not prime.  Res64: 9BBF1FD4EFC2BF44  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:15:45]
441*2^1122397-1 is not prime.  Res64: DA54BC42A7BDD7E9  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:15:46]
555*2^1122397-1 is not prime.  Res64: B1820C2054742987  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:15:49]
565*2^1122397-1 is not prime.  Res64: 6016852755FA4244  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:15:50]
507*2^1122398-1 is not prime.  Res64: ECA70E4E5BC0AD19  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:25:56]
515*2^1122398-1 is not prime.  Res64: 04B6DC42F401FF2C  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:25:57]
525*2^1122398-1 is not prime.  Res64: 750CE37DC6C46828  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:26:12]
557*2^1122398-1 is not prime.  Res64: BEB8C078648098A2  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:26:13]
561*2^1122398-1 is not prime.  Res64: D498E9C3B4731748  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:35:36]
489*2^1122399-1 is not prime.  Res64: 058E639A4528A882  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:35:37]
489*2^1122400-1 is not prime.  Res64: 04AA9FBD0B3DBE2A  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:35:40]
411*2^1122399-1 is not prime.  Res64: 134BC21C6B197AD0  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:35:41]
451*2^1122399-1 is not prime.  Res64: 1696F6FB023C4D95  Time : 0.0 sec.
user=juhehe
[2012-02-11 01:40:34]
575*2^1122398-1 is not prime.  Res64: 36BC7281EFBF7473  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:45:47]
567*2^1122400-1 is not prime.  Res64: 5C391EB8179F0BF4  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:45:48]
597*2^1122400-1 is not prime.  Res64: 8C8E76416F89452E  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:46:04]
411*2^1122401-1 is not prime.  Res64: EED049DB88137554  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:46:05]
441*2^1122401-1 is not prime.  Res64: B92C09FA56AACA9E  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:55:25]
529*2^1122401-1 is not prime.  Res64: 8D0185ED69800F19  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:55:26]
447*2^1122402-1 is not prime.  Res64: 61BBD326D321A931  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:55:35]
567*2^1122402-1 is not prime.  Res64: E89EDB15A55E38A1  Time : 0.0 sec.
user=vaughan
[2012-02-11 01:55:36]
593*2^1122402-1 is not prime.  Res64: 57A87DA4053CCCA9  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:05:34]
553*2^1122403-1 is not prime.  Res64: 5E564C9F43DE0956  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:05:35]
561*2^1122403-1 is not prime.  Res64: B1EC48BF5DAC8A8A  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:05:57]
589*2^1122403-1 is not prime.  Res64: 65E8535975EF0E7A  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:05:58]
417*2^1122404-1 is not prime.  Res64: DFB2CF2FA98BC582  Time : 0.0 sec.
user=juhehe
[2012-02-11 02:08:56]
411*2^1122403-1 is not prime.  Res64: 0E23BB423A8542F7  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:15:14]
503*2^1122404-1 is not prime.  Res64: 786BC04CF4890FD5  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:15:15]
585*2^1122404-1 is not prime.  Res64: 81E1D8300EB44C5B  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:15:27]
405*2^1122405-1 is not prime.  Res64: CF9A1796708846ED  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:15:28]
447*2^1122405-1 is not prime.  Res64: BDD0D60AFC281721  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:25:24]
455*2^1122406-1 is not prime.  Res64: B91697A7A88F1D87  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:25:25]
471*2^1122406-1 is not prime.  Res64: 4C8558756D3B0953  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:25:46]
503*2^1122406-1 is not prime.  Res64: 6F438D2264DB2BFF  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:25:46]
545*2^1122406-1 is not prime.  Res64: A299E21E088405D1  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:35:10]
423*2^1122407-1 is not prime.  Res64: A8997A957FE386C0  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:35:11]
493*2^1122407-1 is not prime.  Res64: 6BE6B2A5173C118E  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:35:17]
405*2^1122408-1 is not prime.  Res64: A12FA0EC296DAD09  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:35:18]
425*2^1122408-1 is not prime.  Res64: 2B9051EC838A461D  Time : 0.0 sec.
user=juhehe
[2012-02-11 02:37:19]
591*2^1122406-1 is not prime.  Res64: 284D272C2E0E3A1F  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:45:18]
429*2^1122408-1 is not prime.  Res64: 17591F99584F513C  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:45:18]
459*2^1122408-1 is not prime.  Res64: 45AC8309EC72A707  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:45:36]
507*2^1122408-1 is not prime.  Res64: 33B72BBF4A72ECBF  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:45:37]
589*2^1122409-1 is not prime.  Res64: F730C7127EE2BB13  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:55:07]
545*2^1122410-1 is not prime.  Res64: 29C9C410B81386C8  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:55:08]
563*2^1122410-1 is not prime.  Res64: F1E937C4617C35E5  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:55:10]
493*2^1122411-1 is not prime.  Res64: F6D993EF43DDC115  Time : 0.0 sec.
user=vaughan
[2012-02-11 02:55:11]
583*2^1122411-1 is not prime.  Res64: 7067CACCDB29BEF6  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:05:10]
485*2^1122412-1 is not prime.  Res64: ACD59A8E19AE8BAB  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:05:11]
405*2^1122413-1 is not prime.  Res64: 01F1BCA8B5709393  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:05:31]
439*2^1122413-1 is not prime.  Res64: F8EDB4FFD3E1C883  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:05:32]
465*2^1122413-1 is not prime.  Res64: 193EC6FEF764302E  Time : 0.0 sec.
user=juhehe
[2012-02-11 03:05:42]
447*2^1122412-1 is not prime.  Res64: 68CE1DE021CFC6D8  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:14:59]
421*2^1122415-1 is not prime.  Res64: 9BAB27BB4393EC9F  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:15:00]
463*2^1122415-1 is not prime.  Res64: B2D5D3DE8B52AB56  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:15:01]
501*2^1122414-1 is not prime.  Res64: 589A9E9E4C2B57BE  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:15:06]
555*2^1122414-1 is not prime.  Res64: F817443ECC7E0CB5  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:25:08]
465*2^1122415-1 is not prime.  Res64: 88B76B63FDE0A7E0  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:25:09]
417*2^1122416-1 is not prime.  Res64: 53A6229DE1ECCA2B  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:25:29]
455*2^1122416-1 is not prime.  Res64: D2B182ABF4507589  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:25:30]
465*2^1122416-1 is not prime.  Res64: 36D7ADF97F9FA97B  Time : 0.0 sec.
user=juhehe
[2012-02-11 03:34:05]
483*2^1122416-1 is not prime.  Res64: A91D454489195747  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:34:51]
409*2^1122417-1 is not prime.  Res64: 8E176E5EFEA8FB6E  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:34:53]
507*2^1122417-1 is not prime.  Res64: 1505AE0944702418  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:34:56]
511*2^1122417-1 is not prime.  Res64: 65C80C7C533E9B0B  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:34:58]
559*2^1122417-1 is not prime.  Res64: 5878CFF036E26EF5  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:45:01]
491*2^1122418-1 is not prime.  Res64: B30B7AE21D192B01  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:45:02]
497*2^1122418-1 is not prime.  Res64: 249D2302DAADE11E  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:45:22]
533*2^1122418-1 is not prime.  Res64: 47F17F0FAE4DC38E  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:45:23]
555*2^1122418-1 is not prime.  Res64: C284C5CFDF12CB62  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:54:42]
573*2^1122419-1 is not prime.  Res64: 7BB6F32256CDCC1F  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:54:43]
459*2^1122420-1 is not prime.  Res64: 39EA85EDADA835CC  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:54:52]
465*2^1122420-1 is not prime.  Res64: C01B65F1F246B414  Time : 0.0 sec.
user=vaughan
[2012-02-11 03:54:53]
537*2^1122420-1 is not prime.  Res64: BD8736435F090E1A  Time : 0.0 sec.
user=juhehe
[2012-02-11 04:02:26]
435*2^1122419-1 is not prime.  Res64: 14B000C838CB42A8  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:04:54]
569*2^1122420-1 is not prime.  Res64: FB46D444045E4E43  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:04:55]
489*2^1122421-1 is not prime.  Res64: 6F6708F62F104314  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:05:19]
525*2^1122421-1 is not prime.  Res64: 0EC15206076E2E1E  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:05:20]
531*2^1122421-1 is not prime.  Res64: CE841414D7A24A66  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:14:33]
565*2^1122421-1 is not prime.  Res64: E218005C5E4F6B73  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:14:34]
417*2^1122422-1 is not prime.  Res64: 1E01BC283F542260  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:14:47]
507*2^1122422-1 is not prime.  Res64: D8759BB253A22A45  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:14:48]
515*2^1122422-1 is not prime.  Res64: 43AE698DBB351F35  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:24:46]
453*2^1122423-1 is not prime.  Res64: FC7956512B68DD32  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:24:47]
481*2^1122423-1 is not prime.  Res64: A3527724C3672E87  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:25:09]
543*2^1122423-1 is not prime.  Res64: BFCBEC308CEA67F8  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:25:10]
583*2^1122423-1 is not prime.  Res64: 1FCEB312DC1EEE45  Time : 0.0 sec.
user=juhehe
[2012-02-11 04:30:47]
433*2^1122423-1 is not prime.  Res64: BF349C1698E9A48D  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:34:23]
419*2^1122424-1 is not prime.  Res64: B57795F253BFE115  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:34:25]
509*2^1122424-1 is not prime.  Res64: 1EBAA078705E9AE8  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:34:37]
447*2^1122426-1 is not prime.  Res64: 4E5ED885A1FEA90A  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:34:38]
483*2^1122426-1 is not prime.  Res64: 772F0CD7BE5532EB  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:44:36]
507*2^1122426-1 is not prime.  Res64: BC78A61F20AF3728  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:44:37]
513*2^1122426-1 is not prime.  Res64: B70AB14C0879AA79  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:45:02]
521*2^1122426-1 is not prime.  Res64: 707B225FBB96D3F2  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:45:04]
525*2^1122426-1 is not prime.  Res64: B331AC753FB50083  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:54:21]
421*2^1122427-1 is not prime.  Res64: 63EE93681F8AE9B2  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:54:21]
489*2^1122427-1 is not prime.  Res64: 0B623F091C7D7857  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:54:32]
511*2^1122427-1 is not prime.  Res64: FF9AE04497FF052E  Time : 0.0 sec.
user=vaughan
[2012-02-11 04:54:33]
531*2^1122427-1 is not prime.  Res64: 5E70D3BF4CF7CF5D  Time : 0.0 sec.
user=juhehe
[2012-02-11 04:59:09]
405*2^1122427-1 is not prime.  Res64: 49FFBE1201357E27  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:04:26]
549*2^1122427-1 is not prime.  Res64: 4D694F4F29AFC8EB  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:04:28]
479*2^1122428-1 is not prime.  Res64: B287CA9CC8C96E67  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:04:54]
469*2^1122429-1 is not prime.  Res64: DE6B1D4F48A4D492  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:04:55]
471*2^1122429-1 is not prime.  Res64: 2D9A05E2926FD0C0  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:14:11]
499*2^1122429-1 is not prime.  Res64: D6CCF82612827413  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:14:11]
525*2^1122430-1 is not prime.  Res64: 494B72909A8AC6BF  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:14:22]
581*2^1122430-1 is not prime.  Res64: 07506E49A6E5C843  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:14:23]
593*2^1122430-1 is not prime.  Res64: E78DA43E8DBEE8C6  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:24:22]
465*2^1122431-1 is not prime.  Res64: 36043913267C3D66  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:24:23]
531*2^1122431-1 is not prime.  Res64: A677249E84A2F344  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:24:46]
425*2^1122432-1 is not prime.  Res64: B56F58F94EB674FF  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:24:47]
453*2^1122432-1 is not prime.  Res64: 4F24DA3A19F5A8E3  Time : 0.0 sec.
user=juhehe
[2012-02-11 05:27:30]
439*2^1122431-1 is not prime.  Res64: 6D19C772B53B1027  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:34:00]
455*2^1122432-1 is not prime.  Res64: BE133829FD90A9EC  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:34:01]
411*2^1122433-1 is not prime.  Res64: 0DB1AFEB33EB1B51  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:34:14]
429*2^1122433-1 is not prime.  Res64: F1A363D38B3B1B69  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:34:15]
435*2^1122433-1 is not prime.  Res64: 03A63C4F7054C8FB  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:44:16]
555*2^1122433-1 is not prime.  Res64: 56CBF812FACC66C8  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:44:17]
503*2^1122434-1 is not prime.  Res64: 8254BCC342133C7D  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:44:40]
545*2^1122434-1 is not prime.  Res64: AFD07A6FCE851EFA  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:44:41]
405*2^1122435-1 is not prime.  Res64: 31DD86DAA7358933  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:53:53]
489*2^1122435-1 is not prime.  Res64: 0D7B53D2F1802F6C  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:53:54]
501*2^1122435-1 is not prime.  Res64: C03461D7E292B9BA  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:54:05]
583*2^1122435-1 is not prime.  Res64: 535996A79D063861  Time : 0.0 sec.
user=vaughan
[2012-02-11 05:54:06]
497*2^1122436-1 is not prime.  Res64: 6967C69FAC9342FA  Time : 0.0 sec.
user=juhehe
[2012-02-11 05:55:51]
471*2^1122435-1 is not prime.  Res64: BE719405BFD96021  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:04:06]
519*2^1122436-1 is not prime.  Res64: A4218CDFE8389FBC  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:04:08]
539*2^1122436-1 is not prime.  Res64: 2D696F02224ECED3  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:04:37]
563*2^1122438-1 is not prime.  Res64: 16D499B96F5D6FF8  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:04:39]
567*2^1122438-1 is not prime.  Res64: 063C67C92B57EBF0  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:13:46]
581*2^1122438-1 is not prime.  Res64: 5424D6A59DB8BB53  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:13:48]
523*2^1122439-1 is not prime.  Res64: 1799C613A654E1EA  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:14:00]
553*2^1122439-1 is not prime.  Res64: 3DD2C18138957DFF  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:14:01]
595*2^1122439-1 is not prime.  Res64: 6FDED55927B035C5  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:24:00]
503*2^1122440-1 is not prime.  Res64: E5A32C679A38C6FD  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:24:01]
515*2^1122440-1 is not prime.  Res64: FCDF01F0B51CDFF3  Time : 0.0 sec.
user=juhehe
[2012-02-11 06:24:11]
437*2^1122440-1 is not prime.  Res64: 9FEF991F56F7D8E1  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:24:33]
405*2^1122441-1 is not prime.  Res64: 90888A83A69E7FE0  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:24:34]
471*2^1122441-1 is not prime.  Res64: DCF2A51C646E6CBE  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:33:39]
475*2^1122441-1 is not prime.  Res64: A1D618DE70BC193F  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:33:39]
499*2^1122441-1 is not prime.  Res64: 4FCF121D4003C94A  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:33:51]
577*2^1122441-1 is not prime.  Res64: 4BC4AE6767C46187  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:33:52]
521*2^1122442-1 is not prime.  Res64: 08CF85A4C6E4F9F9  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:43:45]
501*2^1122443-1 is not prime.  Res64: 809DB8DC44A0A6A5  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:43:46]
565*2^1122443-1 is not prime.  Res64: 4B26991ADF0A9247  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:44:20]
507*2^1122444-1 is not prime.  Res64: 3F0CAE1B10BBD720  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:44:20]
539*2^1122444-1 is not prime.  Res64: 31B9A8CD2201C93A  Time : 0.0 sec.
user=juhehe
[2012-02-11 06:52:31]
585*2^1122443-1 is not prime.  Res64: 264697879297D856  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:53:28]
587*2^1122444-1 is not prime.  Res64: 54842684BDE35412  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:53:29]
597*2^1122444-1 is not prime.  Res64: 8C61405EB183FF5D  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:53:40]
427*2^1122445-1 is not prime.  Res64: 7A601BDF28A94392  Time : 0.0 sec.
user=vaughan
[2012-02-11 06:53:41]
525*2^1122445-1 is not prime.  Res64: 6140FC06CCE3AE12  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:03:37]
425*2^1122446-1 is not prime.  Res64: 3FDE54D4F9B74B46  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:03:38]
483*2^1122446-1 is not prime.  Res64: 1477B6595B566909  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:04:10]
495*2^1122446-1 is not prime.  Res64: CA1D8430A1D71EB5  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:04:12]
567*2^1122446-1 is not prime.  Res64: 16B61DD43B50C13F  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:13:21]
451*2^1122447-1 is not prime.  Res64: 8CBCBDAF1E28BEC8  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:13:23]
495*2^1122448-1 is not prime.  Res64: FA5A903493C1D715  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:13:28]
509*2^1122448-1 is not prime.  Res64: 31F0B777D71D2490  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:13:30]
435*2^1122449-1 is not prime.  Res64: 5F4602B32E0664C0  Time : 0.0 sec.
user=juhehe
[2012-02-11 07:20:52]
591*2^1122446-1 is not prime.  Res64: 42E4A6E0CA5DDD5D  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:23:29]
469*2^1122449-1 is not prime.  Res64: 604F17292B8D9D6F  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:23:30]
477*2^1122449-1 is not prime.  Res64: 824355B2F7558435  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:24:04]
501*2^1122449-1 is not prime.  Res64: 4821F4D6A8002E05  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:24:05]
483*2^1122450-1 is not prime.  Res64: 86834FDF987B5A1F  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:32:34]
565*2^1122327-1 is not prime.  Res64: 858B2F66930E7774  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:33:27]
405*2^1122451-1 is not prime.  Res64: D38BABA6D1778D6B  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:33:28]
439*2^1122451-1 is not prime.  Res64: A7F9645A4DDAE5F3  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:33:42]
489*2^1122451-1 is not prime.  Res64: 34A1114B16440756  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:33:43]
549*2^1122451-1 is not prime.  Res64: E0A3AAF1B058BAB1  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:43:22]
561*2^1122331-1 is not prime.  Res64: A9B5E21BF017E0BA  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:44:03]
453*2^1122452-1 is not prime.  Res64: 56735F57575CF568  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:44:03]
467*2^1122452-1 is not prime.  Res64: 40DBD2B6B8859AA9  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:44:47]
585*2^1122452-1 is not prime.  Res64: CF3FE07942974718  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:44:48]
471*2^1122453-1 is not prime.  Res64: E85B921497DCC438  Time : 0.0 sec.
user=juhehe
[2012-02-11 07:49:11]
573*2^1122451-1 is not prime.  Res64: 7786005623CD2C7C  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:53:39]
489*2^1122341-1 is not prime.  Res64: D43F4968555D6E69  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:53:43]
539*2^1122340-1 is not prime.  Res64: D4E77699790B77CA  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:53:56]
413*2^1122454-1 is not prime.  Res64: 65F725EC9A759FA1  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:53:57]
461*2^1122454-1 is not prime.  Res64: 5963EC801E9F6EE4  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:54:03]
409*2^1122455-1 is not prime.  Res64: CAE37D8AC4F50AB9  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:54:03]
453*2^1122455-1 is not prime.  Res64: 0E3537CCB8A47468  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:54:25]
453*2^1122342-1 is not prime.  Res64: D483B187BE1F1C47  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:54:53]
577*2^1122349-1 is not prime.  Res64: 023B3954EFF75B96  Time : 0.0 sec.
user=vaughan
[2012-02-11 07:54:53]
407*2^1122350-1 is not prime.  Res64: D128DA84AEECD679  Time : 0.0 sec.
user=juhehe
[2012-02-11 07:55:03]
459*2^1122384-1 is not prime.  Res64: 31A117699B185CF6  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:00:28]
405*2^1122355-1 is not prime.  Res64: B6A147A74F08C7E1  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:00:30]
433*2^1122355-1 is not prime.  Res64: B82DB4E86A297DA2  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:01:28]
493*2^1122355-1 is not prime.  Res64: 7A60CAD6240A9383  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:01:30]
515*2^1122356-1 is not prime.  Res64: B1A0143FD10F3D4B  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:04:19]
459*2^1122455-1 is not prime.  Res64: A4B7CE37878036B7  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:04:20]
591*2^1122455-1 is not prime.  Res64: DB72067D98D8A6D8  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:05:00]
515*2^1122456-1 is not prime.  Res64: FD1826A6C1DB77BC  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:05:01]
563*2^1122456-1 is not prime.  Res64: 15777CC5954E00B0  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:12:13]
499*2^1122453-1 is not prime.  Res64: 759509AED1EB4EBF  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:12:14]
517*2^1122453-1 is not prime.  Res64: DDF641E729DC6C1A  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:16:29]
587*2^1122460-1 is not prime.  Res64: 7BE8BEEFBA0D441D  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:16:30]
409*2^1122461-1 is not prime.  Res64: EFDBB84B06C98F9B  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:16:43]
441*2^1122461-1 is not prime.  Res64: F5539A00507185B0  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:16:43]
465*2^1122461-1 is not prime.  Res64: 8E9EA56E8FF5215F  Time : 0.0 sec.
user=juhehe
[2012-02-11 08:17:33]
421*2^1122457-1 is not prime.  Res64: 284874BB0587FFAC  Time : 0.0 sec.
user=juhehe
[2012-02-11 08:26:46]
513*2^1122462-1 is not prime.  Res64: 771C50DB6F02685D  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:29:36]
465*2^1122463-1 is not prime.  Res64: 4790A0B7DA57154C  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:29:37]
519*2^1122463-1 is not prime.  Res64: 371CEE70F3F5372B  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:30:40]
589*2^1122463-1 is not prime.  Res64: E412E02C598BFABD  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:30:41]
435*2^1122464-1 is not prime.  Res64: AA644A54C70EA15C  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:31:17]
435*2^1121117-1 is not prime.  Res64: 0E160AB3CB28BBE4  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:31:17]
447*2^1121124-1 is not prime.  Res64: B25FCAA278D80451  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:34:22]
401*2^1122462-1 is not prime.  Res64: 75C000320ADCB245  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:34:23]
437*2^1122462-1 is not prime.  Res64: C9186FE64E84E5CC  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:40:03]
527*2^1122462-1 is not prime.  Res64: 66196AEF4E1BFE00  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:40:04]
587*2^1122462-1 is not prime.  Res64: F294E15EC2181AAF  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:40:58]
433*2^1122463-1 is not prime.  Res64: E8482A22233F54A8  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:40:58]
453*2^1122463-1 is not prime.  Res64: 58238A9F3BC67E28  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:42:02]
495*2^1122464-1 is not prime.  Res64: DDACB61A8BEFEBEB  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:42:03]
405*2^1122465-1 is not prime.  Res64: 7F10D75328024070  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:42:17]
489*2^1122457-1 is not prime.  Res64: 6A33E4ACE648E16B  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:42:18]
493*2^1122459-1 is not prime.  Res64: 3B19E28385A63175  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:42:22]
457*2^1122465-1 is not prime.  Res64: 5B99C7CF247ED5D5  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:42:23]
459*2^1122465-1 is not prime.  Res64: 12C34410EFF40D0F  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:44:07]
531*2^1122459-1 is not prime.  Res64: 812E4E86285FBDE5  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:44:07]
573*2^1122459-1 is not prime.  Res64: EBC797D47F8C66BE  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:45:40]
475*2^1122461-1 is not prime.  Res64: 29C90BA9D8622849  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:45:41]
565*2^1122461-1 is not prime.  Res64: C57BAA350B5DAEB6  Time : 0.0 sec.
user=juhehe
[2012-02-11 08:45:54]
469*2^1122465-1 is not prime.  Res64: B66DA3FF5A915DD3  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:51:41]
459*2^1122464-1 is not prime.  Res64: BC1D6FF3CF353201  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:51:41]
479*2^1122464-1 is not prime.  Res64: DA210EB9A0F8CC86  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:54:47]
481*2^1122465-1 is not prime.  Res64: A2F1664433744F28  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:54:47]
529*2^1122465-1 is not prime.  Res64: 16B406725A9F1689  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:56:11]
577*2^1122465-1 is not prime.  Res64: 99215059F3962191  Time : 0.0 sec.
user=vaughan
[2012-02-11 08:56:12]
545*2^1122466-1 is not prime.  Res64: CDDEF685A1C5C1CB  Time : 0.0 sec.
user=juhehe
[2012-02-11 09:05:02]
475*2^1122465-1 is not prime.  Res64: D14877790E6D39E4  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:06:56]
555*2^1122471-1 is not prime.  Res64: 7F379537C0996064  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:06:57]
595*2^1122471-1 is not prime.  Res64: E61B4111CF05F5BF  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:07:14]
525*2^1122472-1 is not prime.  Res64: 0A68DEBCE07467EA  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:07:15]
435*2^1122473-1 is not prime.  Res64: 0F5D3B5AD179CF4F  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:13:54]
483*2^1122468-1 is not prime.  Res64: 89FFBD3C8310B422  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:13:57]
585*2^1122468-1 is not prime.  Res64: F2FE14B0AF5D7134  Time : 0.0 sec.
user=juhehe
[2012-02-11 09:14:16]
483*2^1122474-1 is not prime.  Res64: F36903A6EBEB6A60  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:17:39]
451*2^1122475-1 is not prime.  Res64: E1AC7A63764C8595  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:17:40]
471*2^1122475-1 is not prime.  Res64: 389B5F19FFA7C9C7  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:18:50]
495*2^1122475-1 is not prime.  Res64: 700460C89E4DAAB0  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:18:51]
519*2^1122475-1 is not prime.  Res64: FCDE53FE7E0E688B  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:19:28]
559*2^1122469-1 is not prime.  Res64: D3A02D62B98FFE1B  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:19:33]
455*2^1122470-1 is not prime.  Res64: 36AB7D01C034EA27  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:19:39]
581*2^1122466-1 is not prime.  Res64: B47519E1EF0923E3  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:19:40]
593*2^1122466-1 is not prime.  Res64: FB19D258212A5FA0  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:20:31]
545*2^1122470-1 is not prime.  Res64: C2BBD8A6EABC3451  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:20:31]
405*2^1122471-1 is not prime.  Res64: 9531EE2A19DB6180  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:28:51]
435*2^1122476-1 is not prime.  Res64: AC8B7B789B22E77A  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:28:51]
557*2^1122476-1 is not prime.  Res64: 6A7B97047EAB8B4B  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:29:25]
585*2^1122476-1 is not prime.  Res64: 306CC781153384CE  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:29:25]
587*2^1122476-1 is not prime.  Res64: 18E2EA68F09E5374  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:31:06]
405*2^1122475-1 is not prime.  Res64: 0CF209E1CCEE4BCB  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:31:06]
421*2^1122475-1 is not prime.  Res64: 34B9C28979D13697  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:31:49]
405*2^1122472-1 is not prime.  Res64: 9AF6FA531F9133AF  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:31:50]
507*2^1122472-1 is not prime.  Res64: 21E90321D5C9E59C  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:32:46]
517*2^1122473-1 is not prime.  Res64: 827052F03C92907C  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:32:47]
559*2^1122473-1 is not prime.  Res64: E1E0F8ABAA831F04  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:34:55]
413*2^1122474-1 is not prime.  Res64: 8C4F80F173B54146  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:34:56]
461*2^1122474-1 is not prime.  Res64: 33DE33110F1879A5  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:35:09]
507*2^1122478-1 is not prime.  Res64: B0AB885ADB222A4D  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:35:16]
573*2^1122478-1 is not prime.  Res64: 78403BFF92509754  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:37:28]
459*2^1122296-1 is not prime.  Res64: 72E0F78B8905FE2A  Time : 0.0 sec.
user=juhehe
[2012-02-11 09:42:39]
595*2^1122477-1 is not prime.  Res64: 870D590D8013A8ED  Time : 0.0 sec.
user=juhehe
[2012-02-11 09:43:16]
541*2^1122475-1 is not prime.  Res64: 6ABBB222BC912896  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:46:06]
513*2^1122480-1 is not prime.  Res64: 39E47C612E96FEAF  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:47:38]
595*2^1122479-1 is not prime.  Res64: A741BA492211627C  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:47:45]
415*2^1122481-1 is not prime.  Res64: 91364FD10DFC17FA  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:47:57]
411*2^1122361-1 is not prime.  Res64: 40375D332A80E149  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:47:58]
477*2^1122361-1 is not prime.  Res64: ECC4925A65D33061  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:51:39]
443*2^1122334-1 is not prime.  Res64: B0BDEC577ABCC6D3  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:51:48]
509*2^1122336-1 is not prime.  Res64: F150E2A7D768CA99  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:51:58]
481*2^1122333-1 is not prime.  Res64: 8E0B4025AE3A8214  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:52:03]
563*2^1122332-1 is not prime.  Res64: 38EE06BF6717BDD8  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:52:06]
593*2^1122330-1 is not prime.  Res64: F134D1028C9D1347  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:52:14]
415*2^1122339-1 is not prime.  Res64: D18B79011124E711  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:52:57]
583*2^1122339-1 is not prime.  Res64: 242E3E3CF5435ACC  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:53:00]
583*2^1122351-1 is not prime.  Res64: 71DBADC0267E7470  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:53:01]
419*2^1122352-1 is not prime.  Res64: CFF2C547AAEE464B  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:53:25]
483*2^1122352-1 is not prime.  Res64: 30F08A00FB7F5C93  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:53:26]
409*2^1122477-1 is not prime.  Res64: BE42DFBA17A0359F  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:53:26]
471*2^1122477-1 is not prime.  Res64: 9C009EFF7CDECF8D  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:53:32]
531*2^1122371-1 is not prime.  Res64: 3574BFCDA03A8B36  Time : 0.0 sec.
user=odicin
[2012-02-11 09:54:12]
597*2^1122481-1 is not prime.  Res64: 6150129DB9A7FB1A  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:54:15]
405*2^1122482-1 is not prime.  Res64: 6FC9B1E66596053F  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:55:18]
481*2^1122485-1 is not prime.  Res64: 35DB1D582083AAE2  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:55:28]
451*2^1122485-1 is not prime.  Res64: 683ACCBD19F959AB  Time : 0.0 sec.
user=odicin
[2012-02-11 09:57:03]
545*2^1122482-1 is not prime.  Res64: B64D8FDEB004F321  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:59:06]
465*2^1122348-1 is not prime.  Res64: 0049BB03A875F04F  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:59:14]
447*2^1122349-1 is not prime.  Res64: 3E4FCAB995FC44B1  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:59:26]
501*2^1122350-1 is not prime.  Res64: 89410D4DEF282C2E  Time : 0.0 sec.
user=vaughan
[2012-02-11 09:59:39]
415*2^1122351-1 is not prime.  Res64: A716707215329C9A  Time : 0.0 sec.
user=vaughan
[2012-02-11 10:00:05]
475*2^1122483-1 is not prime.  Res64: D392A5DBB6117546  Time : 0.0 sec.
user=vaughan
[2012-02-11 10:00:14]
529*2^1122345-1 is not prime.  Res64: C004EAD3CDA02FCD  Time : 0.0 sec.
user=vaughan
[2012-02-11 10:00:26]
445*2^1122345-1 is not prime.  Res64: 48FB3E925B8BCA29  Time : 0.0 sec.
user=vaughan
[2012-02-11 10:00:33]
425*2^1122346-1 is not prime.  Res64: 3D0C690FB85C4692  Time : 0.0 sec.
user=juhehe
[2012-02-11 10:11:01]
489*2^1122484-1 is not prime.  Res64: 2BD985A1E9CC04F7  Time : 0.0 sec.
user=juhehe
[2012-02-11 10:19:53]
567*2^1122484-1 is not prime.  Res64: E6163302F4DBCE55  Time : 0.0 sec.
user=juhehe
[2012-02-11 10:38:37]
493*2^1122487-1 is not prime.  Res64: 889936B7EB95A84F  Time : 0.0 sec.
user=juhehe
[2012-02-11 10:39:27]
475*2^1122487-1 is not prime.  Res64: 4A83770EC2BF48E7  Time : 0.0 sec.
user=juhehe
[2012-02-11 10:57:13]
541*2^1122487-1 is not prime.  Res64: 25960C31C8C71072  Time : 0.0 sec.
user=juhehe
[2012-02-11 11:07:46]
561*2^1122487-1 is not prime.  Res64: 24A091589A45D588  Time : 0.0 sec.
user=juhehe
[2012-02-11 11:15:24]
425*2^1122488-1 is not prime.  Res64: 6F988D171B1638C6  Time : 0.0 sec.
user=juhehe
[2012-02-11 11:33:32]
599*2^1122488-1 is not prime.  Res64: DA8D9EC054BBA907  Time : 0.0 sec.
user=juhehe
[2012-02-11 11:36:08]
465*2^1122488-1 is not prime.  Res64: FBEBFCD9E2F68476  Time : 0.0 sec.
user=juhehe
[2012-02-11 11:51:40]
415*2^1122489-1 is not prime.  Res64: 4D565185B868BD60  Time : 0.0 sec.
user=juhehe
[2012-02-11 12:04:30]
465*2^1122489-1 is not prime.  Res64: D281F0BF42D8E926  Time : 0.0 sec.
user=juhehe
[2012-02-11 12:09:48]
579*2^1122489-1 is not prime.  Res64: 299F3C016E95FE02  Time : 0.0 sec.
user=juhehe
[2012-02-11 12:28:00]
545*2^1122490-1 is not prime.  Res64: 786C3DF657014A14  Time : 0.0 sec.
user=juhehe
[2012-02-11 12:32:52]
525*2^1122490-1 is not prime.  Res64: DF87C6EDBA8FC7BD  Time : 0.0 sec.
user=juhehe
[2012-02-11 12:46:10]
587*2^1122490-1 is not prime.  Res64: 69ED2E58A71EC5C8  Time : 0.0 sec.
user=juhehe
[2012-02-11 13:01:14]
439*2^1122491-1 is not prime.  Res64: 98BB48A1A4BE4811  Time : 0.0 sec.
user=juhehe
[2012-02-11 13:04:20]
529*2^1122491-1 is not prime.  Res64: B69EFAC18294A84A  Time : 0.0 sec.
user=juhehe
[2012-02-11 13:22:49]
405*2^1122492-1 is not prime.  Res64: F6462FC19D2A0B5C  Time : 0.0 sec.
user=juhehe
[2012-02-11 13:29:40]
595*2^1122491-1 is not prime.  Res64: 8A59857BB19F7336  Time : 0.0 sec.
user=juhehe
[2012-02-11 13:41:15]
455*2^1122492-1 is not prime.  Res64: F7C4A16BDD242655  Time : 0.0 sec.
user=juhehe
[2012-02-11 13:58:01]
429*2^1122493-1 is not prime.  Res64: 3DFA630AB83C4F9E  Time : 0.0 sec.
user=juhehe
[2012-02-11 13:59:25]
471*2^1122493-1 is not prime.  Res64: 00D5F11810F74BA2  Time : 0.0 sec.
user=juhehe
[2012-02-11 14:19:10]
559*2^1122493-1 is not prime.  Res64: 19610D09E7A61780  Time : 0.0 sec.
user=juhehe
[2012-02-11 14:26:26]
511*2^1122493-1 is not prime.  Res64: FC53F9597964290A  Time : 0.0 sec.
user=juhehe
[2012-02-11 14:39:00]
567*2^1122493-1 is not prime.  Res64: BBB18DAE5030A647  Time : 0.0 sec.
user=juhehe
[2012-02-11 14:54:47]
423*2^1122494-1 is not prime.  Res64: E4C2155335E3BFEA  Time : 0.0 sec.
user=juhehe
[2012-02-11 14:59:00]
501*2^1122494-1 is not prime.  Res64: 618D53A04BE4C8D4  Time : 0.0 sec.
user=juhehe
[2012-02-11 15:17:59]
593*2^1122494-1 is not prime.  Res64: 8A7B89E09E797605  Time : 0.0 sec.
user=juhehe
[2012-02-11 15:23:08]
561*2^1121857-1 is not prime.  Res64: D25A9238E78153C3  Time : 0.0 sec.
user=juhehe
[2012-02-11 15:36:54]
405*2^1122495-1 is not prime.  Res64: 2A2B4E3720D9E0EE  Time : 0.0 sec.
user=juhehe
[2012-02-11 15:51:30]
411*2^1122495-1 is not prime.  Res64: B558D34A0CCE8C7B  Time : 0.0 sec.
user=juhehe
[2012-02-11 15:56:03]
433*2^1122495-1 is not prime.  Res64: 160EDE6F8D908DB0  Time : 0.0 sec.
user=juhehe
[2012-02-11 16:14:56]
573*2^1122495-1 is not prime.  Res64: A4D76717C98973B7  Time : 0.0 sec.
user=juhehe
[2012-02-11 16:19:50]
541*2^1122495-1 is not prime.  Res64: 36466D9918533EDB  Time : 0.0 sec.
user=juhehe
[2012-02-11 16:33:08]
579*2^1122495-1 is not prime.  Res64: 5968280F9F943587  Time : 0.0 sec.
user=juhehe
[2012-02-11 16:48:10]
585*2^1122495-1 is not prime.  Res64: A297A7CB03866B8C  Time : 0.0 sec.
user=juhehe
[2012-02-11 16:51:18]
507*2^1122496-1 is not prime.  Res64: 206934A9FC1F216F  Time : 0.0 sec.
user=juhehe
[2012-02-11 17:09:28]
441*2^1122497-1 is not prime.  Res64: 1C7E45E225B33AB4  Time : 0.0 sec.
user=juhehe
[2012-02-11 17:16:32]
509*2^1122496-1 is not prime.  Res64: AA9CBAA60E9F44D7  Time : 0.0 sec.
user=juhehe
[2012-02-11 17:27:39]
431*2^1122498-1 is not prime.  Res64: 4989880FB0F7689C  Time : 0.0 sec.
user=juhehe
[2012-02-11 17:44:54]
437*2^1122498-1 is not prime.  Res64: B9EE95F04B4C594D  Time : 0.0 sec.
user=juhehe
[2012-02-11 17:45:51]
447*2^1122498-1 is not prime.  Res64: 2E72B7F1DECFE308  Time : 0.0 sec.