user=odicin
[2012-03-29 00:03:17]
587*2^1129064-1 is not prime.  Res64: C65A6D94C8F0CC8C  Time : 0.0 sec.
user=henryzz
[2012-03-29 00:03:58]
519*2^1129064-1 is not prime.  Res64: 3B1E6E19D41DC503  Time : 0.0 sec.
user=henryzz
[2012-03-29 00:05:41]
459*2^1129065-1 is not prime.  Res64: 07B5D4DB401F35D2  Time : 0.0 sec.
user=henryzz
[2012-03-29 00:06:36]
529*2^1129065-1 is not prime.  Res64: B7A43B852C17C9A4  Time : 0.0 sec.
user=henryzz
[2012-03-29 00:15:16]
565*2^1129065-1 is not prime.  Res64: EEBFF4FC35860AD9  Time : 0.0 sec.
user=odicin
[2012-03-29 00:17:47]
443*2^1129066-1 is not prime.  Res64: 8F7EEADDF149C9B1  Time : 0.0 sec.
user=odicin
[2012-03-29 00:24:46]
471*2^1129066-1 is not prime.  Res64: B7CFFC1E7A7658DE  Time : 0.0 sec.
user=henryzz
[2012-03-29 00:26:51]
531*2^1129066-1 is not prime.  Res64: 477382E36B2A8CE9  Time : 0.0 sec.
user=henryzz
[2012-03-29 00:29:08]
567*2^1129066-1 is not prime.  Res64: E5C5B1683D90E15D  Time : 0.0 sec.
user=henryzz
[2012-03-29 00:30:15]
403*2^1129067-1 is not prime.  Res64: 46386738758CDEE2  Time : 0.0 sec.
user=odicin
[2012-03-29 00:39:03]
405*2^1129068-1 is not prime.  Res64: C7CCE922634E6F1E  Time : 0.0 sec.
user=henryzz
[2012-03-29 00:39:10]
435*2^1129067-1 is not prime.  Res64: 21498FD780F482E3  Time : 0.0 sec.
user=odicin
[2012-03-29 00:46:10]
459*2^1129068-1 is not prime.  Res64: 043BABA8B68F691D  Time : 0.0 sec.
user=henryzz
[2012-03-29 00:49:41]
467*2^1129068-1 is not prime.  Res64: 5E47BC75CD585526  Time : 0.0 sec.
user=henryzz
[2012-03-29 00:53:43]
513*2^1129068-1 is not prime.  Res64: 9E675C82AB7E3561  Time : 0.0 sec.
user=henryzz
[2012-03-29 00:54:26]
525*2^1129068-1 is not prime.  Res64: 5408A9A1F24882B5  Time : 0.0 sec.
user=odicin
[2012-03-29 01:00:26]
569*2^1129068-1 is not prime.  Res64: C822FB193D9665A7  Time : 0.0 sec.
user=henryzz
[2012-03-29 01:02:31]
471*2^1129069-1 is not prime.  Res64: C0584927F6751197  Time : 0.0 sec.
user=odicin
[2012-03-29 01:07:49]
555*2^1129069-1 is not prime.  Res64: CD18152DA57C9AD5  Time : 0.0 sec.
user=henryzz
[2012-03-29 01:17:13]
411*2^1129070-1 is not prime.  Res64: CE510B8235C0FA7A  Time : 0.0 sec.
user=henryzz
[2012-03-29 01:17:33]
595*2^1129069-1 is not prime.  Res64: A72B25830574031E  Time : 0.0 sec.
user=henryzz
[2012-03-29 01:18:33]
473*2^1129070-1 is not prime.  Res64: B9656D0A323F3CC1  Time : 0.0 sec.
user=odicin
[2012-03-29 01:21:46]
501*2^1129070-1 is not prime.  Res64: A50F9EA75B01BC10  Time : 0.0 sec.
user=henryzz
[2012-03-29 01:26:05]
585*2^1129070-1 is not prime.  Res64: A28CEC9E46045FD1  Time : 0.0 sec.
user=odicin
[2012-03-29 01:29:21]
423*2^1129071-1 is not prime.  Res64: A6EA9577F04CED0F  Time : 0.0 sec.
user=henryzz
[2012-03-29 01:37:27]
513*2^1129071-1 is not prime.  Res64: 513188ECD811B8C1  Time : 0.0 sec.
user=henryzz
[2012-03-29 01:37:31]
483*2^1129071-1 is not prime.  Res64: DB9F34DF042DA1A6  Time : 0.0 sec.
user=henryzz
[2012-03-29 01:38:07]
549*2^1129071-1 is not prime.  Res64: DF585188263591C5  Time : 0.0 sec.
user=odicin
[2012-03-29 01:42:56]
483*2^1129072-1 is not prime.  Res64: 125610D1A03F22B7  Time : 0.0 sec.
user=henryzz
[2012-03-29 01:45:30]
405*2^1129073-1 is not prime.  Res64: E18FED0770644D15  Time : 0.0 sec.
user=odicin
[2012-03-29 01:50:32]
465*2^1129073-1 is not prime.  Res64: 446CEA05FF730032  Time : 0.0 sec.
user=henryzz
[2012-03-29 01:56:32]
425*2^1129074-1 is not prime.  Res64: E17D1CAE9A73081D  Time : 0.0 sec.
user=henryzz
[2012-03-29 01:56:35]
411*2^1129074-1 is not prime.  Res64: CD0AFAF7A4FE0851  Time : 0.0 sec.
user=henryzz
[2012-03-29 01:57:14]
437*2^1129074-1 is not prime.  Res64: 2E34F801DFB22BB2  Time : 0.0 sec.
user=odicin
[2012-03-29 02:04:23]
447*2^1129074-1 is not prime.  Res64: 03073E7F5390134A  Time : 0.0 sec.
user=henryzz
[2012-03-29 02:05:04]
563*2^1129074-1 is not prime.  Res64: E7376A40EFC418F6  Time : 0.0 sec.
user=odicin
[2012-03-29 02:12:00]
411*2^1129075-1 is not prime.  Res64: C07EAF28240110C6  Time : 0.0 sec.
user=henryzz
[2012-03-29 02:17:38]
429*2^1129075-1 is not prime.  Res64: 3EE81B1B90EAF9A5  Time : 0.0 sec.
user=henryzz
[2012-03-29 02:18:21]
441*2^1129075-1 is not prime.  Res64: B73F4B0EDC63318E  Time : 0.0 sec.
user=henryzz
[2012-03-29 02:18:27]
583*2^1129075-1 is not prime.  Res64: E64DC2D904E6EA24  Time : 0.0 sec.
user=henryzz
[2012-03-29 02:25:38]
453*2^1129076-1 is not prime.  Res64: 3DB560E212889DC2  Time : 0.0 sec.
user=odicin
[2012-03-29 02:25:49]
437*2^1129076-1 is not prime.  Res64: EFA05D9215B08470  Time : 0.0 sec.
user=odicin
[2012-03-29 02:33:22]
495*2^1129076-1 is not prime.  Res64: CD80C357E8F510A0  Time : 0.0 sec.
user=henryzz
[2012-03-29 02:37:40]
585*2^1129076-1 is not prime.  Res64: C8F320BFF5754DB7  Time : 0.0 sec.
user=henryzz
[2012-03-29 02:38:22]
405*2^1129077-1 is not prime.  Res64: 3E7D363C4811CE05  Time : 0.0 sec.
user=henryzz
[2012-03-29 02:38:46]
499*2^1129077-1 is not prime.  Res64: 1D9A5CD8A72E300B  Time : 0.0 sec.
user=henryzz
[2012-03-29 02:45:32]
517*2^1129077-1 is not prime.  Res64: BACFEA914DBEF0C5  Time : 0.0 sec.
user=odicin
[2012-03-29 02:47:07]
529*2^1129077-1 is not prime.  Res64: 2A45768F990FE98B  Time : 0.0 sec.
user=odicin
[2012-03-29 02:54:49]
435*2^1129078-1 is not prime.  Res64: E3641CA710CDC72C  Time : 0.0 sec.
user=vaughan
[2012-03-29 02:55:44]
507*2^1129077-1 is not prime.  Res64: FEB0EF06E010F506  Time : 0.0 sec.
user=henryzz
[2012-03-29 02:56:53]
439*2^1129079-1 is not prime.  Res64: 2C78A0F6058C0266  Time : 0.0 sec.
user=henryzz
[2012-03-29 02:57:48]
505*2^1129079-1 is not prime.  Res64: C042B6A785389D41  Time : 0.0 sec.
user=henryzz
[2012-03-29 02:58:02]
573*2^1129079-1 is not prime.  Res64: 6E04403029A711DF  Time : 0.0 sec.
user=henryzz
[2012-03-29 03:04:42]
455*2^1129080-1 is not prime.  Res64: 33283365DEC4DAA9  Time : 0.0 sec.
user=odicin
[2012-03-29 03:08:29]
543*2^1129080-1 is not prime.  Res64: 026C66DFCE4D4872  Time : 0.0 sec.
user=henryzz
[2012-03-29 03:16:01]
439*2^1129081-1 is not prime.  Res64: 97458B5A2D67EB81  Time : 0.0 sec.
user=odicin
[2012-03-29 03:16:15]
567*2^1129080-1 is not prime.  Res64: EB8408BD56243BA4  Time : 0.0 sec.
user=henryzz
[2012-03-29 03:17:09]
495*2^1129081-1 is not prime.  Res64: 960A50A75B4A8C9C  Time : 0.0 sec.
user=henryzz
[2012-03-29 03:17:36]
407*2^1129082-1 is not prime.  Res64: 43F0A85A6B76AA16  Time : 0.0 sec.
user=henryzz
[2012-03-29 03:24:05]
425*2^1129082-1 is not prime.  Res64: A07095924D26550E  Time : 0.0 sec.
user=vaughan
[2012-03-29 03:29:01]
597*2^1129080-1 is not prime.  Res64: 556B137A833DA78B  Time : 0.0 sec.
user=odicin
[2012-03-29 03:30:02]
503*2^1129082-1 is not prime.  Res64: 82CCA3163BB7C6E7  Time : 0.0 sec.
user=juhehe
[2012-03-29 03:30:19]
519*2^1129015-1 is not prime.  Res64: B493DDF84B8CD227  Time : 0.0 sec.
user=juhehe
[2012-03-29 03:30:19]
525*2^1129015-1 is not prime.  Res64: 19B45452A599C670  Time : 0.0 sec.
user=henryzz
[2012-03-29 03:35:17]
545*2^1129082-1 is not prime.  Res64: C94EBA3171E54F3A  Time : 0.0 sec.
user=henryzz
[2012-03-29 03:36:31]
475*2^1129083-1 is not prime.  Res64: A221D14364E5613D  Time : 0.0 sec.
user=henryzz
[2012-03-29 03:36:54]
523*2^1129083-1 is not prime.  Res64: 66DB4794EEA57BEA  Time : 0.0 sec.
user=odicin
[2012-03-29 03:37:46]
453*2^1129083-1 is not prime.  Res64: C30DB9EB4A03A54E  Time : 0.0 sec.
user=henryzz
[2012-03-29 03:43:27]
555*2^1129083-1 is not prime.  Res64: D5AB47E3E46A6A52  Time : 0.0 sec.
user=odicin
[2012-03-29 03:51:17]
435*2^1129084-1 is not prime.  Res64: 292D13F4A8F774B2  Time : 0.0 sec.
user=henryzz
[2012-03-29 03:54:39]
519*2^1129084-1 is not prime.  Res64: C57530E62621924E  Time : 0.0 sec.
user=henryzz
[2012-03-29 03:55:36]
547*2^1129085-1 is not prime.  Res64: CCAC87FDDC59A296  Time : 0.0 sec.
user=henryzz
[2012-03-29 03:56:11]
411*2^1129086-1 is not prime.  Res64: BFAFE5943ABF4E52  Time : 0.0 sec.
user=odicin
[2012-03-29 03:59:11]
447*2^1129086-1 is not prime.  Res64: E12AB9DB4A10EC16  Time : 0.0 sec.
user=henryzz
[2012-03-29 04:02:43]
503*2^1129086-1 is not prime.  Res64: 5F54A49DDC74D563  Time : 0.0 sec.
user=juhehe
[2012-03-29 04:04:06]
497*2^1129084-1 is not prime.  Res64: 7841E7B647D5F026  Time : 0.0 sec.
user=juhehe
[2012-03-29 04:04:22]
485*2^1129084-1 is not prime.  Res64: 170822550F3AB639  Time : 0.0 sec.
user=odicin
[2012-03-29 04:12:18]
479*2^1129088-1 is not prime.  Res64: 116ADA4F9669A1A3  Time : 0.0 sec.
user=henryzz
[2012-03-29 04:13:53]
533*2^1129088-1 is not prime.  Res64: 01F9B7006620F4B0  Time : 0.0 sec.
user=henryzz
[2012-03-29 04:14:57]
563*2^1129088-1 is not prime.  Res64: 26FC213618A6C5D3  Time : 0.0 sec.
user=henryzz
[2012-03-29 04:15:23]
585*2^1129088-1 is not prime.  Res64: 16B5FB6162C50191  Time : 0.0 sec.
user=odicin
[2012-03-29 04:20:06]
445*2^1129089-1 is not prime.  Res64: B687905AF9663CB8  Time : 0.0 sec.
user=henryzz
[2012-03-29 04:22:02]
459*2^1129089-1 is not prime.  Res64: 7D3E157BD67EB5D1  Time : 0.0 sec.
user=henryzz
[2012-03-29 04:33:09]
471*2^1129090-1 is not prime.  Res64: 7979542CE90B98F9  Time : 0.0 sec.
user=odicin
[2012-03-29 04:33:26]
453*2^1129090-1 is not prime.  Res64: 5BD5836E4FD0685B  Time : 0.0 sec.
user=henryzz
[2012-03-29 04:34:22]
533*2^1129090-1 is not prime.  Res64: 4029C1E0CCC78B38  Time : 0.0 sec.
user=henryzz
[2012-03-29 04:34:54]
489*2^1129091-1 is not prime.  Res64: D15051134C8EB16C  Time : 0.0 sec.
user=juhehe
[2012-03-29 04:39:39]
565*2^1129089-1 is not prime.  Res64: 57D2A182D43DCB2F  Time : 0.0 sec.
user=juhehe
[2012-03-29 04:40:49]
469*2^1129089-1 is not prime.  Res64: 5020216A232CCBB3  Time : 0.0 sec.
user=odicin
[2012-03-29 04:41:05]
565*2^1129091-1 is not prime.  Res64: D5FBFD34B967216C  Time : 0.0 sec.
user=henryzz
[2012-03-29 04:41:18]
485*2^1129092-1 is not prime.  Res64: 256DAD75C528FEF3  Time : 0.0 sec.
user=henryzz
[2012-03-29 04:52:37]
569*2^1129092-1 is not prime.  Res64: 88DAC00FD87D640E  Time : 0.0 sec.
user=henryzz
[2012-03-29 04:53:48]
435*2^1129093-1 is not prime.  Res64: C3BFF733CC4729AE  Time : 0.0 sec.
user=henryzz
[2012-03-29 04:54:14]
511*2^1129093-1 is not prime.  Res64: 354122AFC9F45E6B  Time : 0.0 sec.
user=odicin
[2012-03-29 04:54:30]
585*2^1129092-1 is not prime.  Res64: 2688A694D85233E2  Time : 0.0 sec.
user=henryzz
[2012-03-29 05:00:39]
411*2^1129095-1 is not prime.  Res64: 5BF602C764A9B1C2  Time : 0.0 sec.
user=odicin
[2012-03-29 05:02:02]
423*2^1129094-1 is not prime.  Res64: D95F34FF78B81D91  Time : 0.0 sec.
user=vaughan
[2012-03-29 05:07:36]
427*2^1129093-1 is not prime.  Res64: 627399277279075B  Time : 0.0 sec.
user=henryzz
[2012-03-29 05:12:00]
433*2^1129095-1 is not prime.  Res64: E3A37BF3ED319F03  Time : 0.0 sec.
user=henryzz
[2012-03-29 05:13:01]
501*2^1129095-1 is not prime.  Res64: A71E4625D894C26C  Time : 0.0 sec.
user=henryzz
[2012-03-29 05:13:36]
543*2^1129095-1 is not prime.  Res64: 2C85A7E819974ABB  Time : 0.0 sec.
user=juhehe
[2012-03-29 05:14:22]
567*2^1129093-1 is not prime.  Res64: 35AF56105F8C1464  Time : 0.0 sec.
user=juhehe
[2012-03-29 05:14:56]
417*2^1129094-1 is not prime.  Res64: 669675B53539EBBA  Time : 0.0 sec.
user=odicin
[2012-03-29 05:15:29]
405*2^1129096-1 is not prime.  Res64: 27C5E7B79A02BB29  Time : 0.0 sec.
user=henryzz
[2012-03-29 05:20:08]
447*2^1129096-1 is not prime.  Res64: 8BD4EE563AD0E9BD  Time : 0.0 sec.
user=odicin
[2012-03-29 05:22:58]
527*2^1129096-1 is not prime.  Res64: CABDBE71D09EB184  Time : 0.0 sec.
user=henryzz
[2012-03-29 05:31:32]
435*2^1129097-1 is not prime.  Res64: 55FD259A179AC1B4  Time : 0.0 sec.
user=henryzz
[2012-03-29 05:32:18]
585*2^1129097-1 is not prime.  Res64: 9617992252275D51  Time : 0.0 sec.
user=henryzz
[2012-03-29 05:32:59]
437*2^1129098-1 is not prime.  Res64: 2887F61A7B080DFD  Time : 0.0 sec.
user=odicin
[2012-03-29 05:36:27]
411*2^1129099-1 is not prime.  Res64: 9D3EB45674A04C6E  Time : 0.0 sec.
user=henryzz
[2012-03-29 05:39:38]
415*2^1129099-1 is not prime.  Res64: 4219EEB75E4A45EB  Time : 0.0 sec.
user=odicin
[2012-03-29 05:43:57]
451*2^1129099-1 is not prime.  Res64: F75CE7687728916D  Time : 0.0 sec.
user=juhehe
[2012-03-29 05:48:48]
485*2^1129098-1 is not prime.  Res64: 5E70F7022CDF6DCB  Time : 0.0 sec.
user=juhehe
[2012-03-29 05:49:58]
453*2^1129098-1 is not prime.  Res64: C4B8B9D7F2DD816A  Time : 0.0 sec.
user=henryzz
[2012-03-29 05:50:49]
471*2^1129099-1 is not prime.  Res64: B8922C1BFC6D7B27  Time : 0.0 sec.
user=henryzz
[2012-03-29 05:51:41]
489*2^1129099-1 is not prime.  Res64: A9C182207FBDE5FC  Time : 0.0 sec.
user=henryzz
[2012-03-29 05:52:09]
555*2^1129099-1 is not prime.  Res64: E95E953B8073356E  Time : 0.0 sec.
user=odicin
[2012-03-29 05:57:42]
479*2^1129100-1 is not prime.  Res64: AC9E722A5810635A  Time : 0.0 sec.
user=henryzz
[2012-03-29 05:58:58]
585*2^1129100-1 is not prime.  Res64: F8DE9A909BB142FD  Time : 0.0 sec.
user=odicin
[2012-03-29 06:05:28]
599*2^1129100-1 is not prime.  Res64: 1D2AC8944D59161E  Time : 0.0 sec.
user=henryzz
[2012-03-29 06:10:12]
491*2^1129102-1 is not prime.  Res64: 34E1750A4CD155FD  Time : 0.0 sec.
user=henryzz
[2012-03-29 06:11:09]
561*2^1129102-1 is not prime.  Res64: 287C07E140974EB8  Time : 0.0 sec.
user=henryzz
[2012-03-29 06:11:25]
441*2^1129103-1 is not prime.  Res64: 4A6C4B73FEE43F22  Time : 0.0 sec.
user=henryzz
[2012-03-29 06:18:44]
493*2^1129103-1 is not prime.  Res64: 68D67E1D1151FCF6  Time : 0.0 sec.
user=odicin
[2012-03-29 06:19:03]
463*2^1129103-1 is not prime.  Res64: 8356ADAEEE051806  Time : 0.0 sec.
user=juhehe
[2012-03-29 06:23:42]
465*2^1129101-1 is not prime.  Res64: 566C7B00AF537977  Time : 0.0 sec.
user=juhehe
[2012-03-29 06:23:49]
517*2^1129101-1 is not prime.  Res64: 8C8C787653855E2F  Time : 0.0 sec.
user=odicin
[2012-03-29 06:27:02]
523*2^1129103-1 is not prime.  Res64: 877636C68FD4B306  Time : 0.0 sec.
user=henryzz
[2012-03-29 06:30:57]
573*2^1129103-1 is not prime.  Res64: 5A4FB0D66AA403A6  Time : 0.0 sec.
user=henryzz
[2012-03-29 06:31:21]
589*2^1129103-1 is not prime.  Res64: 917D11F302678058  Time : 0.0 sec.
user=henryzz
[2012-03-29 06:32:15]
595*2^1129103-1 is not prime.  Res64: DC33C207A69FE461  Time : 0.0 sec.
user=odicin
[2012-03-29 06:40:19]
555*2^1129104-1 is not prime.  Res64: 70F14CF602888612  Time : 0.0 sec.
user=henryzz
[2012-03-29 06:40:23]
549*2^1129104-1 is not prime.  Res64: E49D7A77F93DAEFF  Time : 0.0 sec.
user=odicin
[2012-03-29 06:48:34]
421*2^1129105-1 is not prime.  Res64: 41F5776A9D841ECF  Time : 0.0 sec.
user=henryzz
[2012-03-29 06:50:55]
511*2^1129105-1 is not prime.  Res64: 508F223C13591AFF  Time : 0.0 sec.
user=henryzz
[2012-03-29 06:50:55]
489*2^1129105-1 is not prime.  Res64: A994A30C7EF0A007  Time : 0.0 sec.
user=henryzz
[2012-03-29 06:53:47]
541*2^1129105-1 is not prime.  Res64: 8B3243DD8B80B043  Time : 0.0 sec.
user=juhehe
[2012-03-29 06:57:28]
563*2^1129104-1 is not prime.  Res64: F9646A1AF6F98DA3  Time : 0.0 sec.
user=juhehe
[2012-03-29 06:57:32]
405*2^1129105-1 is not prime.  Res64: EB078C599F2B9E0D  Time : 0.0 sec.
user=henryzz
[2012-03-29 07:00:38]
597*2^1129105-1 is not prime.  Res64: 2E536ACAA2329E78  Time : 0.0 sec.
user=odicin
[2012-03-29 07:01:44]
589*2^1129105-1 is not prime.  Res64: A2FDDCF0FEA587D7  Time : 0.0 sec.
user=odicin
[2012-03-29 07:10:01]
407*2^1129106-1 is not prime.  Res64: 977BCF5A6ADF027F  Time : 0.0 sec.
user=henryzz
[2012-03-29 07:10:51]
523*2^1129107-1 is not prime.  Res64: 5D74060AEF4F4A18  Time : 0.0 sec.
user=henryzz
[2012-03-29 07:11:12]
483*2^1129106-1 is not prime.  Res64: 300FDADE731FD61C  Time : 0.0 sec.
user=henryzz
[2012-03-29 07:13:50]
555*2^1129107-1 is not prime.  Res64: FF1E1100DAE47426  Time : 0.0 sec.
user=henryzz
[2012-03-29 07:21:53]
411*2^1129109-1 is not prime.  Res64: 3038A563440A0F89  Time : 0.0 sec.
user=odicin
[2012-03-29 07:23:11]
447*2^1129109-1 is not prime.  Res64: 288FB0CC299B7C15  Time : 0.0 sec.
user=henryzz
[2012-03-29 07:31:11]
495*2^1129110-1 is not prime.  Res64: 90CF54AEFA15A108  Time : 0.0 sec.
user=juhehe
[2012-03-29 07:31:21]
597*2^1129108-1 is not prime.  Res64: 847C93F5D94F5E20  Time : 0.0 sec.
user=juhehe
[2012-03-29 07:31:30]
507*2^1129108-1 is not prime.  Res64: 8584B4C789D5A111  Time : 0.0 sec.
user=odicin
[2012-03-29 07:31:37]
465*2^1129109-1 is not prime.  Res64: 847C1329725E04E6  Time : 0.0 sec.
user=henryzz
[2012-03-29 07:31:52]
517*2^1129109-1 is not prime.  Res64: B4FA2F2A5292EFDA  Time : 0.0 sec.
user=henryzz
[2012-03-29 07:33:24]
527*2^1129110-1 is not prime.  Res64: A921C087BFCF7093  Time : 0.0 sec.
user=henryzz
[2012-03-29 07:42:45]
587*2^1129110-1 is not prime.  Res64: B1D319B74E6DE684  Time : 0.0 sec.
user=odicin
[2012-03-29 07:44:28]
493*2^1129111-1 is not prime.  Res64: EDA3D72CB21242B6  Time : 0.0 sec.
user=henryzz
[2012-03-29 07:51:03]
535*2^1129111-1 is not prime.  Res64: 584E6C0732F16120  Time : 0.0 sec.
user=henryzz
[2012-03-29 07:52:27]
517*2^1129113-1 is not prime.  Res64: 4937395DBFB5F147  Time : 0.0 sec.
user=odicin
[2012-03-29 07:53:04]
481*2^1129113-1 is not prime.  Res64: 6EE9DE0C06977694  Time : 0.0 sec.
user=henryzz
[2012-03-29 07:54:14]
555*2^1129113-1 is not prime.  Res64: 8843DFA798BC78E3  Time : 0.0 sec.
user=henryzz
[2012-03-29 08:02:33]
577*2^1129113-1 is not prime.  Res64: 1A2CAA8D16147089  Time : 0.0 sec.
user=juhehe
[2012-03-29 08:05:14]
445*2^1129113-1 is not prime.  Res64: 7C548E6E7EA9CD66  Time : 0.0 sec.
user=juhehe
[2012-03-29 08:05:14]
413*2^1129112-1 is not prime.  Res64: 08653C28CE5CC57A  Time : 0.0 sec.
user=odicin
[2012-03-29 08:05:44]
437*2^1129114-1 is not prime.  Res64: 885AB79F127D00CE  Time : 0.0 sec.
user=henryzz
[2012-03-29 08:11:15]
531*2^1129114-1 is not prime.  Res64: 87893BABA6B6690F  Time : 0.0 sec.
user=henryzz
[2012-03-29 08:13:17]
575*2^1129114-1 is not prime.  Res64: 69E4A6BEEF74D731  Time : 0.0 sec.
user=odicin
[2012-03-29 08:14:31]
459*2^1129115-1 is not prime.  Res64: 628E4712377BC59C  Time : 0.0 sec.
user=henryzz
[2012-03-29 08:14:32]
543*2^1129115-1 is not prime.  Res64: 2AFE05BE816CD637  Time : 0.0 sec.
user=henryzz
[2012-03-29 08:22:08]
585*2^1129115-1 is not prime.  Res64: 05051C0ABCBB0950  Time : 0.0 sec.
user=odicin
[2012-03-29 08:27:03]
439*2^1129117-1 is not prime.  Res64: E1D8E7FFB0E45301  Time : 0.0 sec.
user=henryzz
[2012-03-29 08:31:23]
519*2^1129117-1 is not prime.  Res64: 15BDEA2D505EFB66  Time : 0.0 sec.
user=henryzz
[2012-03-29 08:34:32]
575*2^1129118-1 is not prime.  Res64: 0BABAFA7CA4173CD  Time : 0.0 sec.
user=henryzz
[2012-03-29 08:34:33]
555*2^1129117-1 is not prime.  Res64: 2A350A4DB8471C8B  Time : 0.0 sec.
user=odicin
[2012-03-29 08:36:06]
515*2^1129118-1 is not prime.  Res64: C724E59F3136E590  Time : 0.0 sec.
user=juhehe
[2012-03-29 08:39:02]
579*2^1129116-1 is not prime.  Res64: 3FBD275A27A9FB0B  Time : 0.0 sec.
user=juhehe
[2012-03-29 08:39:02]
479*2^1129116-1 is not prime.  Res64: 63AC22D22F8BE4BC  Time : 0.0 sec.
user=henryzz
[2012-03-29 08:41:50]
513*2^1129119-1 is not prime.  Res64: 978C08AC93728454  Time : 0.0 sec.
user=odicin
[2012-03-29 08:48:20]
449*2^1129120-1 is not prime.  Res64: 80BC81B6B2FD1C86  Time : 0.0 sec.
user=henryzz
[2012-03-29 08:51:28]
453*2^1129120-1 is not prime.  Res64: 69A410B06C290099  Time : 0.0 sec.
user=henryzz
[2012-03-29 08:54:39]
455*2^1129120-1 is not prime.  Res64: 14A271111B06EFDA  Time : 0.0 sec.
user=henryzz
[2012-03-29 08:55:40]
519*2^1129120-1 is not prime.  Res64: 4E05065FBDD59487  Time : 0.0 sec.
user=odicin
[2012-03-29 08:57:39]
511*2^1129121-1 is not prime.  Res64: BE6A55E1ED478098  Time : 0.0 sec.
user=henryzz
[2012-03-29 09:01:31]
559*2^1129121-1 is not prime.  Res64: 9BD50D5E3BB99415  Time : 0.0 sec.
user=odicin
[2012-03-29 09:09:44]
431*2^1129122-1 is not prime.  Res64: 55B9B8B95C525E2B  Time : 0.0 sec.
user=henryzz
[2012-03-29 09:11:09]
503*2^1129122-1 is not prime.  Res64: 4560FDD8C16BBC0C  Time : 0.0 sec.
user=juhehe
[2012-03-29 09:12:45]
517*2^1129121-1 is not prime.  Res64: B035AFFB2C28850A  Time : 0.0 sec.
user=juhehe
[2012-03-29 09:12:45]
535*2^1129121-1 is not prime.  Res64: 2B62761F93129FC5  Time : 0.0 sec.
user=henryzz
[2012-03-29 09:15:23]
555*2^1129122-1 is not prime.  Res64: 52E3CE3240BA0927  Time : 0.0 sec.
user=henryzz
[2012-03-29 09:16:23]
543*2^1129122-1 is not prime.  Res64: E6B94CC14B427816  Time : 0.0 sec.
user=odicin
[2012-03-29 09:19:05]
433*2^1129123-1 is not prime.  Res64: 226FBE49DCF40B1D  Time : 0.0 sec.
user=henryzz
[2012-03-29 09:21:16]
483*2^1129123-1 is not prime.  Res64: 87B784F359DE2831  Time : 0.0 sec.
user=henryzz
[2012-03-29 09:31:10]
493*2^1129123-1 is not prime.  Res64: 09740A9D91B0FC52  Time : 0.0 sec.
user=odicin
[2012-03-29 09:31:11]
489*2^1129123-1 is not prime.  Res64: 544067636F46BC27  Time : 0.0 sec.
user=henryzz
[2012-03-29 09:36:05]
477*2^1129124-1 is not prime.  Res64: 9AFB59ABE65D1BE9  Time : 0.0 sec.
user=henryzz
[2012-03-29 09:36:27]
495*2^1129124-1 is not prime.  Res64: 308777F522777D0E  Time : 0.0 sec.
user=odicin
[2012-03-29 09:40:37]
507*2^1129124-1 is not prime.  Res64: B742DB0E0C761AB7  Time : 0.0 sec.
user=henryzz
[2012-03-29 09:40:47]
465*2^1129126-1 is not prime.  Res64: 9D1C9B313C8896EF  Time : 0.0 sec.
user=juhehe
[2012-03-29 09:46:38]
541*2^1129123-1 is not prime.  Res64: E89DE354748F9321  Time : 0.0 sec.
user=juhehe
[2012-03-29 09:46:38]
549*2^1129123-1 is not prime.  Res64: C2BBAAF91A807C5D  Time : 0.0 sec.
user=henryzz
[2012-03-29 09:51:22]
527*2^1129126-1 is not prime.  Res64: CA42638EE46099B0  Time : 0.0 sec.
user=odicin
[2012-03-29 09:52:43]
495*2^1129126-1 is not prime.  Res64: 2C212C4384F8455B  Time : 0.0 sec.
user=henryzz
[2012-03-29 09:56:29]
561*2^1129126-1 is not prime.  Res64: 3CF767F2A6C32DDA  Time : 0.0 sec.
user=henryzz
[2012-03-29 09:56:42]
581*2^1129126-1 is not prime.  Res64: 7F11DC4390599ACF  Time : 0.0 sec.
user=odicin
[2012-03-29 10:01:59]
523*2^1129127-1 is not prime.  Res64: DA0DB0138A8A4F79  Time : 0.0 sec.
user=henryzz
[2012-03-29 10:02:01]
559*2^1129127-1 is not prime.  Res64: 048171A19FB566C6  Time : 0.0 sec.
user=henryzz
[2012-03-29 10:11:33]
569*2^1129128-1 is not prime.  Res64: 34A687B1113EA5E0  Time : 0.0 sec.
user=odicin
[2012-03-29 10:13:55]
585*2^1129128-1 is not prime.  Res64: 34CE18F400F1C7DF  Time : 0.0 sec.
user=henryzz
[2012-03-29 10:17:00]
429*2^1129129-1 is not prime.  Res64: BB0ACAC7FDA5F6E1  Time : 0.0 sec.
user=henryzz
[2012-03-29 10:17:02]
415*2^1129129-1 is not prime.  Res64: D30CF91E9B99E48C  Time : 0.0 sec.
user=juhehe
[2012-03-29 10:20:25]
595*2^1129127-1 is not prime.  Res64: 70420766EAECEC6B  Time : 0.0 sec.
user=juhehe
[2012-03-29 10:20:36]
555*2^1129128-1 is not prime.  Res64: F1F24EDAA61AA453  Time : 0.0 sec.
user=henryzz
[2012-03-29 10:22:10]
469*2^1129129-1 is not prime.  Res64: DBBFB21A8F616344  Time : 0.0 sec.
user=odicin
[2012-03-29 10:23:21]
441*2^1129129-1 is not prime.  Res64: F7F7F229B063E9F3  Time : 0.0 sec.
user=henryzz
[2012-03-29 10:31:23]
481*2^1129129-1 is not prime.  Res64: 9C330536AD19540C  Time : 0.0 sec.
user=odicin
[2012-03-29 10:35:11]
431*2^1129130-1 is not prime.  Res64: 564382008FD03E48  Time : 0.0 sec.
user=henryzz
[2012-03-29 10:36:56]
447*2^1129130-1 is not prime.  Res64: 11C7C6520E84452F  Time : 0.0 sec.
user=henryzz
[2012-03-29 10:37:03]
453*2^1129130-1 is not prime.  Res64: 156718E030A87166  Time : 0.0 sec.
user=henryzz
[2012-03-29 10:43:12]
585*2^1129130-1 is not prime.  Res64: DDC4F05BFAFEE787  Time : 0.0 sec.
user=odicin
[2012-03-29 10:44:45]
593*2^1129130-1 is not prime.  Res64: 7FAAD9D4C5659B46  Time : 0.0 sec.
user=henryzz
[2012-03-29 10:50:46]
489*2^1129131-1 is not prime.  Res64: C28E6BCDC2E4C1ED  Time : 0.0 sec.
user=juhehe
[2012-03-29 10:54:06]
477*2^1129130-1 is not prime.  Res64: C81ED43251B2358F  Time : 0.0 sec.
user=juhehe
[2012-03-29 10:54:16]
567*2^1129130-1 is not prime.  Res64: 977D0CA408D09949  Time : 0.0 sec.
user=odicin
[2012-03-29 10:56:26]
529*2^1129131-1 is not prime.  Res64: B9F978232FE1C5BB  Time : 0.0 sec.
user=henryzz
[2012-03-29 10:56:38]
567*2^1129132-1 is not prime.  Res64: 8204CFFF606F3555  Time : 0.0 sec.
user=henryzz
[2012-03-29 10:57:42]
545*2^1129132-1 is not prime.  Res64: 908AD63624306F23  Time : 0.0 sec.
user=henryzz
[2012-03-29 11:03:53]
589*2^1129133-1 is not prime.  Res64: 84631019B3A2FE25  Time : 0.0 sec.
user=odicin
[2012-03-29 11:06:03]
483*2^1129134-1 is not prime.  Res64: 373FCA366B09EB2C  Time : 0.0 sec.
user=henryzz
[2012-03-29 11:10:19]
485*2^1129134-1 is not prime.  Res64: FCC24DBF09B9CD08  Time : 0.0 sec.
user=henryzz
[2012-03-29 11:16:19]
555*2^1129135-1 is not prime.  Res64: A48C60C706CBDEC8  Time : 0.0 sec.
user=odicin
[2012-03-29 11:17:38]
525*2^1129135-1 is not prime.  Res64: 7F2CD40D0E0EC97C  Time : 0.0 sec.
user=henryzz
[2012-03-29 11:19:08]
519*2^1129136-1 is not prime.  Res64: 5B59F01290FEE1F7  Time : 0.0 sec.
user=henryzz
[2012-03-29 11:23:52]
471*2^1129137-1 is not prime.  Res64: DD0CBC7C137F6E34  Time : 0.0 sec.
user=odicin
[2012-03-29 11:27:32]
475*2^1129137-1 is not prime.  Res64: EE3E5CE4BCE50766  Time : 0.0 sec.
user=juhehe
[2012-03-29 11:27:49]
451*2^1129135-1 is not prime.  Res64: 1A71525B08A58E04  Time : 0.0 sec.
user=juhehe
[2012-03-29 11:28:07]
511*2^1129135-1 is not prime.  Res64: 6464630542C6B470  Time : 0.0 sec.
user=henryzz
[2012-03-29 11:30:07]
499*2^1129137-1 is not prime.  Res64: 4A623338CB3CB276  Time : 0.0 sec.
user=henryzz
[2012-03-29 11:36:11]
465*2^1129138-1 is not prime.  Res64: 2988604A0CA99399  Time : 0.0 sec.
user=henryzz
[2012-03-29 11:38:47]
525*2^1129138-1 is not prime.  Res64: 947196058D947E09  Time : 0.0 sec.
user=odicin
[2012-03-29 11:38:56]
483*2^1129138-1 is not prime.  Res64: 9350498758E77D0C  Time : 0.0 sec.
user=henryzz
[2012-03-29 11:45:08]
533*2^1129138-1 is not prime.  Res64: 1EC60A6D2ECF3E34  Time : 0.0 sec.
user=odicin
[2012-03-29 11:48:51]
501*2^1129139-1 is not prime.  Res64: 4238912CD45C0BDD  Time : 0.0 sec.
user=henryzz
[2012-03-29 11:49:44]
513*2^1129140-1 is not prime.  Res64: 4853DD6642491120  Time : 0.0 sec.
user=henryzz
[2012-03-29 11:55:40]
525*2^1129140-1 is not prime.  Res64: 53329DBD2D34AADF  Time : 0.0 sec.
user=henryzz
[2012-03-29 11:59:51]
567*2^1129140-1 is not prime.  Res64: 5EDB9EA7035AB1E3  Time : 0.0 sec.
user=odicin
[2012-03-29 12:00:07]
469*2^1129141-1 is not prime.  Res64: 9ECE9552B85F25B4  Time : 0.0 sec.
user=juhehe
[2012-03-29 12:01:40]
405*2^1129140-1 is not prime.  Res64: 50FE1CD113E31EDE  Time : 0.0 sec.
user=juhehe
[2012-03-29 12:01:58]
425*2^1129140-1 is not prime.  Res64: 4BBE959A314B7FC3  Time : 0.0 sec.
user=henryzz
[2012-03-29 12:04:46]
565*2^1129141-1 is not prime.  Res64: 3D41A7EA2F904230  Time : 0.0 sec.
user=henryzz
[2012-03-29 12:10:06]
447*2^1129142-1 is not prime.  Res64: D393F77D66C33E1A  Time : 0.0 sec.
user=odicin
[2012-03-29 12:10:17]
437*2^1129142-1 is not prime.  Res64: 549C7E7B2BC1FC3B  Time : 0.0 sec.
user=vaughan
[2012-03-29 12:13:41]
531*2^1129141-1 is not prime.  Res64: 0B1A5322F3675DA5  Time : 0.0 sec.
user=henryzz
[2012-03-29 12:15:16]
567*2^1129142-1 is not prime.  Res64: CF5737C75863AD03  Time : 0.0 sec.
user=henryzz
[2012-03-29 12:19:16]
585*2^1129142-1 is not prime.  Res64: D7444E375822CFDD  Time : 0.0 sec.
user=odicin
[2012-03-29 12:21:28]
439*2^1129143-1 is not prime.  Res64: E9743F909A3EB274  Time : 0.0 sec.
user=henryzz
[2012-03-29 12:23:43]
429*2^1129144-1 is not prime.  Res64: 1CA976D81BA0A4A7  Time : 0.0 sec.
user=henryzz
[2012-03-29 12:29:24]
437*2^1129144-1 is not prime.  Res64: 86160AC6E3EC6B8C  Time : 0.0 sec.
user=odicin
[2012-03-29 12:31:56]
597*2^1129144-1 is not prime.  Res64: 1385AF5415221243  Time : 0.0 sec.
user=henryzz
[2012-03-29 12:34:23]
405*2^1129145-1 is not prime.  Res64: 4582A13D0F7CB4D1  Time : 0.0 sec.
user=juhehe
[2012-03-29 12:35:25]
471*2^1129143-1 is not prime.  Res64: 7847715CB2A999B9  Time : 0.0 sec.
user=juhehe
[2012-03-29 12:35:50]
553*2^1129143-1 is not prime.  Res64: E4D517D99BE73812  Time : 0.0 sec.
user=henryzz
[2012-03-29 12:38:32]
447*2^1129145-1 is not prime.  Res64: FA0C81ECAEEFF903  Time : 0.0 sec.
user=odicin
[2012-03-29 12:42:52]
475*2^1129145-1 is not prime.  Res64: 5047A4305B5DA531  Time : 0.0 sec.
user=henryzz
[2012-03-29 12:43:00]
487*2^1129145-1 is not prime.  Res64: 1F19887D3E87B7ED  Time : 0.0 sec.
user=henryzz
[2012-03-29 12:48:39]
547*2^1129145-1 is not prime.  Res64: E8B5C934FD89F916  Time : 0.0 sec.
user=henryzz
[2012-03-29 12:53:27]
447*2^1129146-1 is not prime.  Res64: A306AAF85D870495  Time : 0.0 sec.
user=odicin
[2012-03-29 12:53:28]
585*2^1129145-1 is not prime.  Res64: 3147462EC3960DF8  Time : 0.0 sec.
user=henryzz
[2012-03-29 12:57:32]
417*2^1129148-1 is not prime.  Res64: 91188E6421F57AC2  Time : 0.0 sec.
user=henryzz
[2012-03-29 13:02:26]
507*2^1129148-1 is not prime.  Res64: 9D750F735296E743  Time : 0.0 sec.
user=odicin
[2012-03-29 13:04:09]
465*2^1129148-1 is not prime.  Res64: ECA46A672B92BF0F  Time : 0.0 sec.
user=henryzz
[2012-03-29 13:07:58]
563*2^1129148-1 is not prime.  Res64: F0780B83EFB2EF4D  Time : 0.0 sec.
user=juhehe
[2012-03-29 13:09:15]
503*2^1129146-1 is not prime.  Res64: AA4D86AF181F1FB2  Time : 0.0 sec.
user=juhehe
[2012-03-29 13:09:32]
441*2^1129147-1 is not prime.  Res64: 92E7230F2BC54298  Time : 0.0 sec.
user=henryzz
[2012-03-29 13:13:00]
427*2^1129149-1 is not prime.  Res64: 396031F10ABF264F  Time : 0.0 sec.
user=odicin
[2012-03-29 13:15:09]
599*2^1129148-1 is not prime.  Res64: 9841B65D9A2E04EC  Time : 0.0 sec.
user=henryzz
[2012-03-29 13:16:42]
471*2^1129149-1 is not prime.  Res64: FE72D212924793FA  Time : 0.0 sec.
user=vaughan
[2012-03-29 13:20:05]
525*2^1129148-1 is not prime.  Res64: A61DCB268DC39EEE  Time : 0.0 sec.
user=henryzz
[2012-03-29 13:21:43]
525*2^1129149-1 is not prime.  Res64: 83EF44C3C121F5FD  Time : 0.0 sec.
user=odicin
[2012-03-29 13:25:39]
593*2^1129150-1 is not prime.  Res64: 02A832A565492B85  Time : 0.0 sec.
user=henryzz
[2012-03-29 13:27:12]
485*2^1129152-1 is not prime.  Res64: 5450D128C6D9D7FA  Time : 0.0 sec.
user=henryzz
[2012-03-29 13:32:19]
587*2^1129152-1 is not prime.  Res64: 78B64E2398AE3D69  Time : 0.0 sec.
user=henryzz
[2012-03-29 13:36:34]
537*2^1129153-1 is not prime.  Res64: 16E1E65716710149  Time : 0.0 sec.
user=odicin
[2012-03-29 13:36:40]
409*2^1129153-1 is not prime.  Res64: 9BD901C7EBFC8A03  Time : 0.0 sec.
user=henryzz
[2012-03-29 13:41:05]
403*2^1129155-1 is not prime.  Res64: 3B5D335A8FCB20EA  Time : 0.0 sec.
user=juhehe
[2012-03-29 13:43:11]
513*2^1129152-1 is not prime.  Res64: 04FDFDB39A3E3411  Time : 0.0 sec.
user=juhehe
[2012-03-29 13:43:29]
557*2^1129152-1 is not prime.  Res64: 40BCE072EC91FF9E  Time : 0.0 sec.
user=henryzz
[2012-03-29 13:46:43]
415*2^1129155-1 is not prime.  Res64: 7E689FF78CD7C81A  Time : 0.0 sec.
user=odicin
[2012-03-29 13:46:53]
411*2^1129155-1 is not prime.  Res64: EA94C9F5EE150A0F  Time : 0.0 sec.
user=henryzz
[2012-03-29 13:51:54]
591*2^1129155-1 is not prime.  Res64: CA876843202D51CB  Time : 0.0 sec.
user=vaughan
[2012-03-29 13:53:18]
435*2^1129154-1 is not prime.  Res64: B357C31A32F99DCE  Time : 0.0 sec.
user=henryzz
[2012-03-29 13:56:08]
527*2^1129156-1 is not prime.  Res64: 9DF9A2035A2A3F9D  Time : 0.0 sec.
user=odicin
[2012-03-29 13:57:54]
405*2^1129156-1 is not prime.  Res64: FDCB78D3A4DED086  Time : 0.0 sec.
user=henryzz
[2012-03-29 14:00:18]
563*2^1129156-1 is not prime.  Res64: 79E02ECB9BCCC214  Time : 0.0 sec.
user=henryzz
[2012-03-29 14:05:59]
589*2^1129159-1 is not prime.  Res64: D6E4E65917DBCE8E  Time : 0.0 sec.
user=odicin
[2012-03-29 14:07:53]
459*2^1129160-1 is not prime.  Res64: 0742FDA2C96C70F1  Time : 0.0 sec.
user=henryzz
[2012-03-29 14:11:11]
515*2^1129160-1 is not prime.  Res64: C1D2A31171C3C1FE  Time : 0.0 sec.
user=henryzz
[2012-03-29 14:15:56]
539*2^1129160-1 is not prime.  Res64: C4C5A95C184D9B59  Time : 0.0 sec.
user=juhehe
[2012-03-29 14:17:38]
525*2^1129158-1 is not prime.  Res64: E02594176CE3373D  Time : 0.0 sec.
user=juhehe
[2012-03-29 14:18:45]
425*2^1129158-1 is not prime.  Res64: B9739FADB1FE1818  Time : 0.0 sec.
user=odicin
[2012-03-29 14:18:59]
557*2^1129160-1 is not prime.  Res64: F74E2C365EE63E2F  Time : 0.0 sec.
user=henryzz
[2012-03-29 14:19:31]
405*2^1129161-1 is not prime.  Res64: 3B3AF42A17755AA5  Time : 0.0 sec.
user=henryzz
[2012-03-29 14:25:44]
531*2^1129161-1 is not prime.  Res64: 171950431FB9B5C5  Time : 0.0 sec.
user=odicin
[2012-03-29 14:28:54]
537*2^1129161-1 is not prime.  Res64: DF58648D551B86D1  Time : 0.0 sec.
user=henryzz
[2012-03-29 14:30:23]
585*2^1129161-1 is not prime.  Res64: 42AEF9D67B3E7A36  Time : 0.0 sec.
user=henryzz
[2012-03-29 14:35:03]
507*2^1129162-1 is not prime.  Res64: 65510A6871A135CA  Time : 0.0 sec.
user=henryzz
[2012-03-29 14:38:41]
537*2^1129165-1 is not prime.  Res64: DE5838D630D231B3  Time : 0.0 sec.
user=odicin
[2012-03-29 14:40:00]
421*2^1129165-1 is not prime.  Res64: 6174F58607655563  Time : 0.0 sec.
user=henryzz
[2012-03-29 14:45:04]
589*2^1129165-1 is not prime.  Res64: 30402AA2871756C9  Time : 0.0 sec.
user=odicin
[2012-03-29 14:49:56]
407*2^1129166-1 is not prime.  Res64: D3A12869C2550799  Time : 0.0 sec.
user=henryzz
[2012-03-29 14:50:09]
453*2^1129166-1 is not prime.  Res64: 5F774E3DA4DA49A3  Time : 0.0 sec.
user=juhehe
[2012-03-29 14:51:29]
493*2^1129163-1 is not prime.  Res64: 4AC0D754E3B282A7  Time : 0.0 sec.
user=juhehe
[2012-03-29 14:52:32]
557*2^1129164-1 is not prime.  Res64: 7FC252E206CE77AF  Time : 0.0 sec.
user=henryzz
[2012-03-29 14:54:32]
483*2^1129167-1 is not prime.  Res64: 3F95CCFE6F6A3E15  Time : 0.0 sec.
user=henryzz
[2012-03-29 14:57:57]
507*2^1129168-1 is not prime.  Res64: 825B715009D07B05  Time : 0.0 sec.
user=odicin
[2012-03-29 15:01:01]
519*2^1129168-1 is not prime.  Res64: 50AD613EB8C6BC17  Time : 0.0 sec.
user=henryzz
[2012-03-29 15:04:14]
527*2^1129168-1 is not prime.  Res64: 346A342F53D78CFE  Time : 0.0 sec.
user=henryzz
[2012-03-29 15:09:41]
549*2^1129168-1 is not prime.  Res64: DEFAA15BF4C49193  Time : 0.0 sec.
user=odicin
[2012-03-29 15:10:54]
537*2^1129168-1 is not prime.  Res64: 960C87880B5A23B4  Time : 0.0 sec.
user=henryzz
[2012-03-29 15:13:50]
489*2^1129171-1 is not prime.  Res64: 425AA19E77AEEAD5  Time : 0.0 sec.
user=henryzz
[2012-03-29 15:17:17]
499*2^1129171-1 is not prime.  Res64: 6A95A317AA666BF2  Time : 0.0 sec.
user=odicin
[2012-03-29 15:22:04]
549*2^1129171-1 is not prime.  Res64: F32726F048123AA4  Time : 0.0 sec.
user=henryzz
[2012-03-29 15:23:29]
467*2^1129172-1 is not prime.  Res64: D8024A3C44766EC0  Time : 0.0 sec.
user=juhehe
[2012-03-29 15:25:31]
465*2^1129169-1 is not prime.  Res64: E595C0D47474F36F  Time : 0.0 sec.
user=juhehe
[2012-03-29 15:26:22]
567*2^1129169-1 is not prime.  Res64: 2C4E980CDF2C890A  Time : 0.0 sec.
user=henryzz
[2012-03-29 15:28:59]
479*2^1129172-1 is not prime.  Res64: 409C6F3766FFCD1E  Time : 0.0 sec.
user=vaughan
[2012-03-29 15:31:23]
541*2^1129171-1 is not prime.  Res64: 6A373F2138E97E09  Time : 0.0 sec.
user=odicin
[2012-03-29 15:31:59]
495*2^1129172-1 is not prime.  Res64: 936BAA41EA5F48B1  Time : 0.0 sec.
user=henryzz
[2012-03-29 15:33:15]
563*2^1129172-1 is not prime.  Res64: B1C726376ED6F361  Time : 0.0 sec.
user=henryzz
[2012-03-29 15:36:27]
585*2^1129173-1 is not prime.  Res64: 62300295C92CE379  Time : 0.0 sec.
user=henryzz
[2012-03-29 15:42:53]
401*2^1129174-1 is not prime.  Res64: 11ACD12841EF7C2A  Time : 0.0 sec.
user=odicin
[2012-03-29 15:43:09]
595*2^1129173-1 is not prime.  Res64: E82991E69AFCB32F  Time : 0.0 sec.
user=henryzz
[2012-03-29 15:48:10]
489*2^1129175-1 is not prime.  Res64: 2D7A4EDEBB200C8E  Time : 0.0 sec.
user=henryzz
[2012-03-29 15:52:18]
519*2^1129175-1 is not prime.  Res64: 58E5A7ED017F40B3  Time : 0.0 sec.
user=odicin
[2012-03-29 15:53:02]
493*2^1129175-1 is not prime.  Res64: 3B58B2BB194F2F52  Time : 0.0 sec.
user=henryzz
[2012-03-29 15:55:28]
413*2^1129176-1 is not prime.  Res64: A1A8B3CD9472BD5C  Time : 0.0 sec.
user=juhehe
[2012-03-29 15:59:16]
567*2^1129174-1 is not prime.  Res64: 8D5E1759E76C549F  Time : 0.0 sec.
user=juhehe
[2012-03-29 16:00:09]
421*2^1129175-1 is not prime.  Res64: FDC9B2643F72002E  Time : 0.0 sec.
user=henryzz
[2012-03-29 16:02:14]
539*2^1129176-1 is not prime.  Res64: 089CADD94A64B64D  Time : 0.0 sec.
user=odicin
[2012-03-29 16:04:13]
587*2^1129176-1 is not prime.  Res64: 3FEF3EE25CD6C91E  Time : 0.0 sec.
user=henryzz
[2012-03-29 16:07:33]
469*2^1129177-1 is not prime.  Res64: AA46C942725962C7  Time : 0.0 sec.
user=henryzz
[2012-03-29 16:11:19]
499*2^1129177-1 is not prime.  Res64: 59E2AB29B18C548F  Time : 0.0 sec.
user=odicin
[2012-03-29 16:13:54]
555*2^1129177-1 is not prime.  Res64: B958F57CDEEBEDB3  Time : 0.0 sec.
user=henryzz
[2012-03-29 16:14:57]
431*2^1129178-1 is not prime.  Res64: 78A630BA2E6F37C5  Time : 0.0 sec.
user=henryzz
[2012-03-29 16:21:34]
533*2^1129178-1 is not prime.  Res64: 7E3FC30115FE95D5  Time : 0.0 sec.
user=odicin
[2012-03-29 16:25:00]
403*2^1129179-1 is not prime.  Res64: 039586AC7C06FA60  Time : 0.0 sec.
user=henryzz
[2012-03-29 16:27:52]
483*2^1129179-1 is not prime.  Res64: 211507824C206C69  Time : 0.0 sec.
user=henryzz
[2012-03-29 16:32:45]
579*2^1129179-1 is not prime.  Res64: 460A25790F4EC4E3  Time : 0.0 sec.
user=juhehe
[2012-03-29 16:33:01]
473*2^1129178-1 is not prime.  Res64: 98AC0C9FF682736C  Time : 0.0 sec.
user=juhehe
[2012-03-29 16:34:02]
483*2^1129178-1 is not prime.  Res64: 23851335ED60E32B  Time : 0.0 sec.
user=odicin
[2012-03-29 16:34:36]
423*2^1129180-1 is not prime.  Res64: 9BFCE40A4FE161E2  Time : 0.0 sec.
user=henryzz
[2012-03-29 16:34:55]
449*2^1129180-1 is not prime.  Res64: 0972DBF2D9A99695  Time : 0.0 sec.
user=henryzz
[2012-03-29 16:41:23]
563*2^1129180-1 is not prime.  Res64: 08CC8BF8FB66D9E9  Time : 0.0 sec.
user=odicin
[2012-03-29 16:45:42]
477*2^1129181-1 is not prime.  Res64: E1C6F9FA07D9E9A5  Time : 0.0 sec.
user=mdettweiler
[2012-03-29 16:45:57]
545*2^1129178-1 is not prime.  Res64: 256B868A4DC268EE  Time : 0.0 sec.
user=henryzz
[2012-03-29 16:48:13]
561*2^1129181-1 is not prime.  Res64: 37846D1B4F329CFD  Time : 0.0 sec.
user=henryzz
[2012-03-29 16:53:07]
571*2^1129181-1 is not prime.  Res64: 1BB071BDA173E054  Time : 0.0 sec.
user=odicin
[2012-03-29 16:55:18]
465*2^1129183-1 is not prime.  Res64: 7777E053E151B21E  Time : 0.0 sec.
user=henryzz
[2012-03-29 16:56:31]
589*2^1129183-1 is not prime.  Res64: 8800537791400B08  Time : 0.0 sec.
user=henryzz
[2012-03-29 17:01:37]
413*2^1129184-1 is not prime.  Res64: EA2A02C464708626  Time : 0.0 sec.
user=odicin
[2012-03-29 17:06:24]
489*2^1129184-1 is not prime.  Res64: BA18E94803D692FB  Time : 0.0 sec.
user=juhehe
[2012-03-29 17:06:50]
401*2^1129182-1 is not prime.  Res64: C34F6363D4EFCF9B  Time : 0.0 sec.
user=juhehe
[2012-03-29 17:07:45]
413*2^1129182-1 is not prime.  Res64: 5DFDB5E4C535D592  Time : 0.0 sec.
user=henryzz
[2012-03-29 17:08:08]
503*2^1129184-1 is not prime.  Res64: B7AB4FAD14656567  Time : 0.0 sec.
user=henryzz
[2012-03-29 17:14:57]
507*2^1129184-1 is not prime.  Res64: 35F1F116671AE9E7  Time : 0.0 sec.
user=odicin
[2012-03-29 17:15:59]
585*2^1129184-1 is not prime.  Res64: E4F0838B034B64DD  Time : 0.0 sec.
user=henryzz
[2012-03-29 17:16:17]
457*2^1129185-1 is not prime.  Res64: DC9464900852CCF6  Time : 0.0 sec.
user=henryzz
[2012-03-29 17:21:46]
465*2^1129185-1 is not prime.  Res64: A6BDF41DBB0EB698  Time : 0.0 sec.
user=odicin
[2012-03-29 17:27:09]
577*2^1129185-1 is not prime.  Res64: 7B05F56C786726C9  Time : 0.0 sec.
user=henryzz
[2012-03-29 17:29:36]
575*2^1129186-1 is not prime.  Res64: 745544625C59FE60  Time : 0.0 sec.
user=henryzz
[2012-03-29 17:35:01]
439*2^1129189-1 is not prime.  Res64: 2C4199B4E5FF8541  Time : 0.0 sec.
user=henryzz
[2012-03-29 17:36:15]
457*2^1129189-1 is not prime.  Res64: C7558A266F295505  Time : 0.0 sec.
user=odicin
[2012-03-29 17:36:42]
451*2^1129189-1 is not prime.  Res64: 5D574974FD6FD3DF  Time : 0.0 sec.
user=juhehe
[2012-03-29 17:40:38]
525*2^1129186-1 is not prime.  Res64: EC5B68474D119453  Time : 0.0 sec.
user=juhehe
[2012-03-29 17:41:31]
545*2^1129186-1 is not prime.  Res64: C1C1C6C8F6F47036  Time : 0.0 sec.
user=henryzz
[2012-03-29 17:41:59]
577*2^1129189-1 is not prime.  Res64: EB3C2C3BCD60D10D  Time : 0.0 sec.
user=odicin
[2012-03-29 17:47:54]
425*2^1129190-1 is not prime.  Res64: 10B12082F01E05CC  Time : 0.0 sec.
user=henryzz
[2012-03-29 17:49:27]
483*2^1129190-1 is not prime.  Res64: 1A90C368417E7609  Time : 0.0 sec.
user=henryzz
[2012-03-29 17:56:04]
465*2^1129191-1 is not prime.  Res64: 66B265FB782B9375  Time : 0.0 sec.
user=henryzz
[2012-03-29 17:56:10]
581*2^1129190-1 is not prime.  Res64: 32D23C45647C14EB  Time : 0.0 sec.
user=odicin
[2012-03-29 17:57:25]
495*2^1129193-1 is not prime.  Res64: 3B9A7E80F0793971  Time : 0.0 sec.
user=henryzz
[2012-03-29 18:02:55]
437*2^1129194-1 is not prime.  Res64: DDF93CB8B9BA0A3E  Time : 0.0 sec.
user=odicin
[2012-03-29 18:08:38]
521*2^1129194-1 is not prime.  Res64: 16A9D7203B2E175C  Time : 0.0 sec.
user=henryzz
[2012-03-29 18:09:08]
543*2^1129194-1 is not prime.  Res64: FC8248540CC1BC34  Time : 0.0 sec.
user=juhehe
[2012-03-29 18:14:35]
507*2^1129193-1 is not prime.  Res64: C9BC43881F1C9080  Time : 0.0 sec.
user=juhehe
[2012-03-29 18:15:18]
511*2^1129193-1 is not prime.  Res64: DEFB1D6560DC542D  Time : 0.0 sec.
user=henryzz
[2012-03-29 18:15:47]
415*2^1129195-1 is not prime.  Res64: 297274F59AB26CD0  Time : 0.0 sec.
user=henryzz
[2012-03-29 18:15:56]
519*2^1129195-1 is not prime.  Res64: E94F3C413E41E537  Time : 0.0 sec.
user=odicin
[2012-03-29 18:18:08]
553*2^1129195-1 is not prime.  Res64: C54B8862CA6BA367  Time : 0.0 sec.
user=henryzz
[2012-03-29 18:23:26]
555*2^1129195-1 is not prime.  Res64: 53468864790788AD  Time : 0.0 sec.
user=henryzz
[2012-03-29 18:28:46]
435*2^1129196-1 is not prime.  Res64: D061EF63B15ECD39  Time : 0.0 sec.
user=odicin
[2012-03-29 18:29:22]
425*2^1129196-1 is not prime.  Res64: 400786E0BB637DBD  Time : 0.0 sec.
user=henryzz
[2012-03-29 18:35:37]
507*2^1129196-1 is not prime.  Res64: 6669F8E02BDF547F  Time : 0.0 sec.
user=henryzz
[2012-03-29 18:37:15]
447*2^1129197-1 is not prime.  Res64: BF03CA74570D6E0B  Time : 0.0 sec.
user=odicin
[2012-03-29 18:38:51]
517*2^1129197-1 is not prime.  Res64: B75D0DDEAE60499D  Time : 0.0 sec.
user=henryzz
[2012-03-29 18:43:40]
525*2^1129198-1 is not prime.  Res64: E3D0DF42E8D87BA5  Time : 0.0 sec.
user=juhehe
[2012-03-29 18:49:18]
503*2^1129196-1 is not prime.  Res64: B36F47868FFCD364  Time : 0.0 sec.
user=odicin
[2012-03-29 18:50:03]
493*2^1129199-1 is not prime.  Res64: A49D983050FB90D1  Time : 0.0 sec.
user=juhehe
[2012-03-29 18:50:13]
447*2^1129196-1 is not prime.  Res64: B92CF3C4EEFD9620  Time : 0.0 sec.
user=henryzz
[2012-03-29 18:50:14]
423*2^1129199-1 is not prime.  Res64: ABF58CDE9CCA5B60  Time : 0.0 sec.
user=henryzz
[2012-03-29 18:55:21]
505*2^1129199-1 is not prime.  Res64: 7011EBCF07C3716F  Time : 0.0 sec.
user=henryzz
[2012-03-29 18:58:03]
525*2^1129199-1 is not prime.  Res64: 741BD7926F1D9B8E  Time : 0.0 sec.
user=odicin
[2012-03-29 18:59:33]
589*2^1129199-1 is not prime.  Res64: C442D4916BEFE58E  Time : 0.0 sec.
user=henryzz
[2012-03-29 19:03:43]
473*2^1129200-1 is not prime.  Res64: BF99D554EE77B563  Time : 0.0 sec.
user=henryzz
[2012-03-29 19:10:03]
541*2^1129201-1 is not prime.  Res64: 98EF7D74BE53F0AA  Time : 0.0 sec.
user=odicin
[2012-03-29 19:10:46]
441*2^1129201-1 is not prime.  Res64: 1AC0EA32AC989217  Time : 0.0 sec.
user=henryzz
[2012-03-29 19:14:49]
423*2^1129202-1 is not prime.  Res64: 52435E608774FBB0  Time : 0.0 sec.
user=henryzz
[2012-03-29 19:17:52]
497*2^1129202-1 is not prime.  Res64: E976FF0D6B2B55CB  Time : 0.0 sec.
user=odicin
[2012-03-29 19:20:17]
515*2^1129202-1 is not prime.  Res64: 8BAD8EA35F4BE781  Time : 0.0 sec.
user=juhehe
[2012-03-29 19:23:43]
411*2^1129201-1 is not prime.  Res64: 909D87B10B2F689A  Time : 0.0 sec.
user=henryzz
[2012-03-29 19:23:47]
533*2^1129202-1 is not prime.  Res64: 309E2CC6EAF767B4  Time : 0.0 sec.
user=juhehe
[2012-03-29 19:24:08]
507*2^1129201-1 is not prime.  Res64: 27DC7E17ED2C83E4  Time : 0.0 sec.
user=henryzz
[2012-03-29 19:30:57]
563*2^1129202-1 is not prime.  Res64: CEA0A111F430C6E2  Time : 0.0 sec.
user=odicin
[2012-03-29 19:31:31]
411*2^1129203-1 is not prime.  Res64: B11B2E926B7EC8B9  Time : 0.0 sec.
user=henryzz
[2012-03-29 19:34:16]
433*2^1129203-1 is not prime.  Res64: 45A3D58FBFE7CE37  Time : 0.0 sec.
user=henryzz
[2012-03-29 19:37:35]
529*2^1129203-1 is not prime.  Res64: EEE15FBCB5696E87  Time : 0.0 sec.
user=odicin
[2012-03-29 19:41:13]
435*2^1129204-1 is not prime.  Res64: C2D70182EE83C339  Time : 0.0 sec.
user=henryzz
[2012-03-29 19:44:28]
573*2^1129204-1 is not prime.  Res64: 52F1DD44F2613D20  Time : 0.0 sec.
user=henryzz
[2012-03-29 19:50:54]
431*2^1129206-1 is not prime.  Res64: F045AAAFD2B2D997  Time : 0.0 sec.
user=vaughan
[2012-03-29 19:52:27]
573*2^1129203-1 is not prime.  Res64: 709240D13A62C826  Time : 0.0 sec.
user=odicin
[2012-03-29 19:52:42]
437*2^1129206-1 is not prime.  Res64: FF41BA97328408F7  Time : 0.0 sec.
user=henryzz
[2012-03-29 19:53:55]
503*2^1129206-1 is not prime.  Res64: 2EA50DB99B7266BF  Time : 0.0 sec.
user=henryzz
[2012-03-29 19:57:26]
513*2^1129206-1 is not prime.  Res64: DCBB4884EFDA0B85  Time : 0.0 sec.
user=juhehe
[2012-03-29 19:57:27]
453*2^1129204-1 is not prime.  Res64: BF43E81DD9331F5E  Time : 0.0 sec.
user=juhehe
[2012-03-29 19:57:51]
591*2^1129205-1 is not prime.  Res64: 0BD1B02011B7840E  Time : 0.0 sec.
user=odicin
[2012-03-29 20:02:13]
463*2^1129207-1 is not prime.  Res64: A728A2DEB6A36734  Time : 0.0 sec.
user=henryzz
[2012-03-29 20:03:56]
493*2^1129207-1 is not prime.  Res64: D49165605D244729  Time : 0.0 sec.
user=henryzz
[2012-03-29 20:11:31]
495*2^1129208-1 is not prime.  Res64: 5C3371BE20A0CD44  Time : 0.0 sec.
user=odicin
[2012-03-29 20:13:33]
507*2^1129208-1 is not prime.  Res64: 8553C7791103B75E  Time : 0.0 sec.
user=henryzz
[2012-03-29 20:13:38]
515*2^1129208-1 is not prime.  Res64: 49C9C73C7695DE0B  Time : 0.0 sec.
user=henryzz
[2012-03-29 20:18:20]
453*2^1129210-1 is not prime.  Res64: 6BB7A8CE5B3F3CBE  Time : 0.0 sec.
user=odicin
[2012-03-29 20:23:12]
463*2^1129211-1 is not prime.  Res64: 58C3DF661608C215  Time : 0.0 sec.
user=henryzz
[2012-03-29 20:23:27]
525*2^1129212-1 is not prime.  Res64: 6254D68A711D4659  Time : 0.0 sec.
user=henryzz
[2012-03-29 20:31:12]
555*2^1129212-1 is not prime.  Res64: 398CCD43089D16D7  Time : 0.0 sec.
user=juhehe
[2012-03-29 20:31:18]
471*2^1129209-1 is not prime.  Res64: 31581E8575F4E4F8  Time : 0.0 sec.
user=juhehe
[2012-03-29 20:31:35]
521*2^1129210-1 is not prime.  Res64: 0F7F97841D823885  Time : 0.0 sec.
user=henryzz
[2012-03-29 20:33:33]
579*2^1129212-1 is not prime.  Res64: 2347E739B2A5D7BE  Time : 0.0 sec.
user=odicin
[2012-03-29 20:34:46]
569*2^1129212-1 is not prime.  Res64: 30CB17125B432EA6  Time : 0.0 sec.
user=henryzz
[2012-03-29 20:37:53]
587*2^1129212-1 is not prime.  Res64: EF007A8087940A1C  Time : 0.0 sec.
user=henryzz
[2012-03-29 20:43:05]
411*2^1129214-1 is not prime.  Res64: 02709C0ED216CB5A  Time : 0.0 sec.
user=odicin
[2012-03-29 20:44:31]
547*2^1129213-1 is not prime.  Res64: 671A8858A477A02C  Time : 0.0 sec.
user=henryzz
[2012-03-29 20:50:49]
561*2^1129214-1 is not prime.  Res64: 333215499F51E2F8  Time : 0.0 sec.
user=henryzz
[2012-03-29 20:53:15]
575*2^1129216-1 is not prime.  Res64: 801C7EFBC7842A71  Time : 0.0 sec.
user=odicin
[2012-03-29 20:56:23]
593*2^1129216-1 is not prime.  Res64: 992D58DF6C2F7C98  Time : 0.0 sec.
user=henryzz
[2012-03-29 20:59:17]
597*2^1129216-1 is not prime.  Res64: 44FCFA50BD400965  Time : 0.0 sec.
user=henryzz
[2012-03-29 21:02:50]
405*2^1129217-1 is not prime.  Res64: 3EEA38CCE85ECADE  Time : 0.0 sec.
user=juhehe
[2012-03-29 21:05:02]
447*2^1129214-1 is not prime.  Res64: C1F9C850DFFA4FC6  Time : 0.0 sec.
user=juhehe
[2012-03-29 21:05:12]
563*2^1129216-1 is not prime.  Res64: 2EB7C663D29F2C5A  Time : 0.0 sec.
user=odicin
[2012-03-29 21:05:52]
507*2^1129217-1 is not prime.  Res64: D6C17CDDC16B518A  Time : 0.0 sec.
user=henryzz
[2012-03-29 21:10:32]
465*2^1129218-1 is not prime.  Res64: 505C0A7F00C7D4F0  Time : 0.0 sec.
user=henryzz
[2012-03-29 21:12:44]
551*2^1129218-1 is not prime.  Res64: 06D8901A8838431B  Time : 0.0 sec.
user=odicin
[2012-03-29 21:17:56]
421*2^1129219-1 is not prime.  Res64: BCD40256DC80A8FF  Time : 0.0 sec.
user=henryzz
[2012-03-29 21:19:12]
583*2^1129219-1 is not prime.  Res64: AEBF7B76870A5425  Time : 0.0 sec.
user=henryzz
[2012-03-29 21:22:33]
447*2^1129220-1 is not prime.  Res64: C37D9BD6C1C433A8  Time : 0.0 sec.
user=odicin
[2012-03-29 21:27:18]
515*2^1129220-1 is not prime.  Res64: FCC775B312AF2D8B  Time : 0.0 sec.
user=henryzz
[2012-03-29 21:30:54]
539*2^1129220-1 is not prime.  Res64: 4930D00B17B54310  Time : 0.0 sec.
user=henryzz
[2012-03-29 21:32:32]
599*2^1129220-1 is not prime.  Res64: 3316D4BD9EDBFE21  Time : 0.0 sec.
user=juhehe
[2012-03-29 21:38:51]
459*2^1129220-1 is not prime.  Res64: BC07A76B6FB5B8F0  Time : 0.0 sec.
user=juhehe
[2012-03-29 21:39:00]
465*2^1129220-1 is not prime.  Res64: 492BC3AD5129B395  Time : 0.0 sec.
user=odicin
[2012-03-29 21:39:29]
471*2^1129221-1 is not prime.  Res64: F6B41AF3B9ADE708  Time : 0.0 sec.
user=henryzz
[2012-03-29 21:40:10]
529*2^1129221-1 is not prime.  Res64: 790BE7C9D86F9B2E  Time : 0.0 sec.
user=henryzz
[2012-03-29 21:42:05]
565*2^1129221-1 is not prime.  Res64: 25FB5325B7249BBD  Time : 0.0 sec.
user=odicin
[2012-03-29 21:48:39]
435*2^1129222-1 is not prime.  Res64: DFF6C9C83C9DD595  Time : 0.0 sec.
user=henryzz
[2012-03-29 21:50:27]
483*2^1129222-1 is not prime.  Res64: 12C053E88E696E79  Time : 0.0 sec.
user=henryzz
[2012-03-29 21:52:19]
513*2^1129222-1 is not prime.  Res64: DF97DF9D5731AC1D  Time : 0.0 sec.
user=henryzz
[2012-03-29 22:00:08]
585*2^1129224-1 is not prime.  Res64: 74B33922A63327CF  Time : 0.0 sec.
user=odicin
[2012-03-29 22:01:01]
509*2^1129224-1 is not prime.  Res64: C86B89EF72DC6FEA  Time : 0.0 sec.
user=henryzz
[2012-03-29 22:02:34]
421*2^1129225-1 is not prime.  Res64: 24079B088ECF594D  Time : 0.0 sec.
user=henryzz
[2012-03-29 22:09:58]
531*2^1129225-1 is not prime.  Res64: C7B5036199C4C2B2  Time : 0.0 sec.
user=odicin
[2012-03-29 22:10:06]
477*2^1129225-1 is not prime.  Res64: 59696B1A3D9FCD5E  Time : 0.0 sec.
user=henryzz
[2012-03-29 22:12:05]
497*2^1129226-1 is not prime.  Res64: 938BCBCF8073AEF4  Time : 0.0 sec.
user=juhehe
[2012-03-29 22:12:51]
519*2^1129223-1 is not prime.  Res64: 64062EAC0CA4C5CD  Time : 0.0 sec.
user=juhehe
[2012-03-29 22:12:52]
445*2^1129223-1 is not prime.  Res64: 656899B55794649B  Time : 0.0 sec.
user=henryzz
[2012-03-29 22:20:06]
501*2^1129226-1 is not prime.  Res64: AEFE3BB51465599B  Time : 0.0 sec.
user=henryzz
[2012-03-29 22:22:22]
515*2^1129226-1 is not prime.  Res64: 7970E4CA73E3EC2A  Time : 0.0 sec.
user=odicin
[2012-03-29 22:22:30]
503*2^1129226-1 is not prime.  Res64: 3413EF32D371159A  Time : 0.0 sec.
user=henryzz
[2012-03-29 22:29:51]
537*2^1129226-1 is not prime.  Res64: 34D6921A51AD518B  Time : 0.0 sec.
user=odicin
[2012-03-29 22:31:27]
587*2^1129226-1 is not prime.  Res64: F9095C0F58B6D07C  Time : 0.0 sec.
user=henryzz
[2012-03-29 22:31:55]
593*2^1129226-1 is not prime.  Res64: CE3B29AC84F6D99F  Time : 0.0 sec.
user=henryzz
[2012-03-29 22:39:50]
573*2^1129227-1 is not prime.  Res64: 908EF34365CA12C7  Time : 0.0 sec.
user=henryzz
[2012-03-29 22:42:18]
533*2^1129228-1 is not prime.  Res64: CF1E0BBCFF294606  Time : 0.0 sec.
user=odicin
[2012-03-29 22:44:03]
575*2^1129228-1 is not prime.  Res64: 92EA3C4F5371E857  Time : 0.0 sec.
user=juhehe
[2012-03-29 22:46:39]
441*2^1129227-1 is not prime.  Res64: 9DAD3A802CA5169C  Time : 0.0 sec.
user=juhehe
[2012-03-29 22:46:40]
543*2^1129227-1 is not prime.  Res64: 2077527305C44FCA  Time : 0.0 sec.
user=henryzz
[2012-03-29 22:49:20]
447*2^1129229-1 is not prime.  Res64: 7E6540DF4FDE8A76  Time : 0.0 sec.
user=henryzz
[2012-03-29 22:51:23]
481*2^1129229-1 is not prime.  Res64: 5089E1CC7650F388  Time : 0.0 sec.
user=odicin
[2012-03-29 22:52:48]
459*2^1129229-1 is not prime.  Res64: DDBA65693BD8BD7A  Time : 0.0 sec.
user=henryzz
[2012-03-29 23:00:34]
525*2^1129229-1 is not prime.  Res64: 6EB6779B0F795D0A  Time : 0.0 sec.
user=henryzz
[2012-03-29 23:01:47]
401*2^1129230-1 is not prime.  Res64: 2547F20AEEEA2D6A  Time : 0.0 sec.
user=odicin
[2012-03-29 23:05:30]
447*2^1129230-1 is not prime.  Res64: 918DC1B956AD3F40  Time : 0.0 sec.
user=henryzz
[2012-03-29 23:09:34]
533*2^1129232-1 is not prime.  Res64: 4F8F130FA751C149  Time : 0.0 sec.
user=henryzz
[2012-03-29 23:10:48]
567*2^1129232-1 is not prime.  Res64: D55B4867BDA150F1  Time : 0.0 sec.
user=odicin
[2012-03-29 23:14:11]
427*2^1129233-1 is not prime.  Res64: AD772C4D27B131DA  Time : 0.0 sec.
user=henryzz
[2012-03-29 23:20:26]
471*2^1129233-1 is not prime.  Res64: 4934531FE6104AC8  Time : 0.0 sec.
user=juhehe
[2012-03-29 23:20:27]
507*2^1129232-1 is not prime.  Res64: E271A42FA4C487B3  Time : 0.0 sec.
user=juhehe
[2012-03-29 23:20:32]
463*2^1129231-1 is not prime.  Res64: 1409EC5665E1BC59  Time : 0.0 sec.
user=henryzz
[2012-03-29 23:21:25]
499*2^1129233-1 is not prime.  Res64: 93B173DF89877231  Time : 0.0 sec.
user=odicin
[2012-03-29 23:27:05]
507*2^1129233-1 is not prime.  Res64: 080867E2C9D90689  Time : 0.0 sec.
user=henryzz
[2012-03-29 23:29:10]
577*2^1129233-1 is not prime.  Res64: 7B6870059A75E497  Time : 0.0 sec.
user=henryzz
[2012-03-29 23:30:27]
595*2^1129233-1 is not prime.  Res64: CAD8A92DEFF88167  Time : 0.0 sec.
user=odicin
[2012-03-29 23:35:36]
477*2^1129234-1 is not prime.  Res64: F02E6E1404862755  Time : 0.0 sec.
user=henryzz
[2012-03-29 23:39:49]
403*2^1129235-1 is not prime.  Res64: 682F77BDFFF22BFC  Time : 0.0 sec.
user=henryzz
[2012-03-29 23:41:51]
501*2^1129235-1 is not prime.  Res64: 192DAA396DC39A2C  Time : 0.0 sec.
user=odicin
[2012-03-29 23:48:33]
579*2^1129235-1 is not prime.  Res64: BBCFFA6988EABEBC  Time : 0.0 sec.
user=henryzz
[2012-03-29 23:48:40]
585*2^1129235-1 is not prime.  Res64: 17B01CE39895292B  Time : 0.0 sec.
user=henryzz
[2012-03-29 23:50:58]
459*2^1129236-1 is not prime.  Res64: 743C26694C93E6AC  Time : 0.0 sec.
user=juhehe
[2012-03-29 23:54:12]
521*2^1129234-1 is not prime.  Res64: 092E2D7CDE0C7419  Time : 0.0 sec.
user=juhehe
[2012-03-29 23:54:18]
593*2^1129234-1 is not prime.  Res64: B7CB2347374AA49D  Time : 0.0 sec.
user=odicin
[2012-03-29 23:57:01]
539*2^1129236-1 is not prime.  Res64: 4C661A7713FE6015  Time : 0.0 sec.
user=henryzz
[2012-03-29 23:59:28]
585*2^1129236-1 is not prime.  Res64: 8DC594DFD958D2F6  Time : 0.0 sec.