user=vaughan
[2012-03-17 00:41:49]
511*2^1127433-1 is not prime.  Res64: 03219FA4AE691E33  Time : 0.0 sec.
user=juhehe
[2012-03-17 02:24:51]
547*2^1127425-1 is not prime.  Res64: FA1566D77C129CD3  Time : 0.0 sec.
user=juhehe
[2012-03-17 02:25:53]
541*2^1127425-1 is not prime.  Res64: B99493E9400BA17D  Time : 0.0 sec.
user=juhehe
[2012-03-17 02:59:02]
517*2^1127433-1 is not prime.  Res64: 34C2C56417A524DF  Time : 0.0 sec.
user=juhehe
[2012-03-17 03:00:01]
423*2^1127434-1 is not prime.  Res64: EF2A69B1D7EC387F  Time : 0.0 sec.
user=juhehe
[2012-03-17 03:33:41]
573*2^1127434-1 is not prime.  Res64: D1BCD14F7FFEB04A  Time : 0.0 sec.
user=juhehe
[2012-03-17 03:34:21]
491*2^1127434-1 is not prime.  Res64: 613ABFF6CBB56EDA  Time : 0.0 sec.
user=juhehe
[2012-03-17 04:07:45]
523*2^1127435-1 is not prime.  Res64: FDE1BD112765DEC6  Time : 0.0 sec.
user=juhehe
[2012-03-17 04:08:13]
575*2^1127434-1 is not prime.  Res64: 4DEEF57C08B3E59E  Time : 0.0 sec.
user=juhehe
[2012-03-17 04:41:53]
479*2^1127436-1 is not prime.  Res64: A2E535B1CFBAE508  Time : 0.0 sec.
user=juhehe
[2012-03-17 04:43:00]
453*2^1127436-1 is not prime.  Res64: 0A1FDA86B92CDAF0  Time : 0.0 sec.
user=Sashixi
[2012-03-17 05:00:57]
569*2^1127428-1 is not prime.  Res64: EFF4DCECF9951599  Time : 0.0 sec.
user=Sashixi
[2012-03-17 05:09:24]
571*2^1127429-1 is not prime.  Res64: 04884D8438F367C2  Time : 0.0 sec.
user=Sashixi
[2012-03-17 05:11:10]
579*2^1127428-1 is not prime.  Res64: 7D537B03555CE177  Time : 0.0 sec.
user=Sashixi
[2012-03-17 05:12:40]
447*2^1127437-1 is not prime.  Res64: 8489849663ABB2AB  Time : 0.0 sec.
user=juhehe
[2012-03-17 05:15:28]
503*2^1127436-1 is not prime.  Res64: AB629B3552F2412B  Time : 0.0 sec.
user=juhehe
[2012-03-17 05:16:31]
429*2^1127437-1 is not prime.  Res64: 3F893A451216BCB9  Time : 0.0 sec.
user=Sashixi
[2012-03-17 05:21:26]
499*2^1127437-1 is not prime.  Res64: DC785E8140B8A183  Time : 0.0 sec.
user=Sashixi
[2012-03-17 05:29:02]
517*2^1127437-1 is not prime.  Res64: 0DB8C79B6F4FBF25  Time : 0.0 sec.
user=juhehe
[2012-03-17 05:49:42]
501*2^1127438-1 is not prime.  Res64: 17BDA3942F92FB1F  Time : 0.0 sec.
user=juhehe
[2012-03-17 05:49:53]
451*2^1127439-1 is not prime.  Res64: 2A55EED7B4AE36FE  Time : 0.0 sec.
user=juhehe
[2012-03-17 06:14:36]
437*2^1127426-1 is not prime.  Res64: B1D425754C2ACC89  Time : 0.0 sec.
user=juhehe
[2012-03-17 06:22:55]
509*2^1127440-1 is not prime.  Res64: B8367C1DDBA5914C  Time : 0.0 sec.
user=juhehe
[2012-03-17 06:23:45]
479*2^1127440-1 is not prime.  Res64: 756D3D7656C321DC  Time : 0.0 sec.
user=juhehe
[2012-03-17 06:51:42]
569*2^1127440-1 is not prime.  Res64: 1FBC59443BA29170  Time : 0.0 sec.
user=juhehe
[2012-03-17 06:56:25]
587*2^1127440-1 is not prime.  Res64: E3B7C1D386E89CC3  Time : 0.0 sec.
user=juhehe
[2012-03-17 06:56:58]
475*2^1127441-1 is not prime.  Res64: E33BD091930CD35D  Time : 0.0 sec.
user=vaughan
[2012-03-17 07:09:28]
487*2^1127441-1 is not prime.  Res64: E32461641893E007  Time : 0.0 sec.
user=juhehe
[2012-03-17 07:29:52]
529*2^1127441-1 is not prime.  Res64: B1754B78CBD3EC4D  Time : 0.0 sec.
user=juhehe
[2012-03-17 07:30:28]
537*2^1127441-1 is not prime.  Res64: 36936B6745DE9BEA  Time : 0.0 sec.
user=juhehe
[2012-03-17 07:38:53]
517*2^1127441-1 is not prime.  Res64: 4E86E8973FC6C647  Time : 0.0 sec.
user=juhehe
[2012-03-17 08:04:11]
577*2^1127441-1 is not prime.  Res64: 3F474BD9146B42FE  Time : 0.0 sec.
user=juhehe
[2012-03-17 08:04:12]
547*2^1127441-1 is not prime.  Res64: 2EA0CAA0F3FC7269  Time : 0.0 sec.
user=juhehe
[2012-03-17 08:22:48]
503*2^1127442-1 is not prime.  Res64: 0109157BF7A4A501  Time : 0.0 sec.
user=juhehe
[2012-03-17 08:39:59]
551*2^1127442-1 is not prime.  Res64: B920B5A2F2B18516  Time : 0.0 sec.
user=juhehe
[2012-03-17 08:40:48]
521*2^1127442-1 is not prime.  Res64: 0E951157A61437D7  Time : 0.0 sec.
user=Sashixi
[2012-03-17 09:09:31]
461*2^1127438-1 is not prime.  Res64: 36DB29CA7B6D6522  Time : 0.0 sec.
user=Sashixi
[2012-03-17 09:11:11]
495*2^1127438-1 is not prime.  Res64: 803AB7645E7BD017  Time : 0.0 sec.
user=juhehe
[2012-03-17 09:13:28]
415*2^1127443-1 is not prime.  Res64: F24015A5B1DFEFBC  Time : 0.0 sec.
user=juhehe
[2012-03-17 09:14:20]
483*2^1127443-1 is not prime.  Res64: 34A6BC23CEA8F9DE  Time : 0.0 sec.
user=Sashixi
[2012-03-17 09:19:03]
573*2^1127439-1 is not prime.  Res64: 438A50549730E1D5  Time : 0.0 sec.
user=Sashixi
[2012-03-17 09:26:57]
447*2^1127440-1 is not prime.  Res64: 81EBDB52EDACC1F0  Time : 0.0 sec.
user=Sashixi
[2012-03-17 09:28:51]
489*2^1127443-1 is not prime.  Res64: 134F489A6A94BA6E  Time : 0.0 sec.
user=Sashixi
[2012-03-17 09:30:31]
519*2^1127443-1 is not prime.  Res64: 19C08AB9E7943C19  Time : 0.0 sec.
user=Sashixi
[2012-03-17 09:39:21]
503*2^1127444-1 is not prime.  Res64: 127EE2F55D27F732  Time : 0.0 sec.
user=juhehe
[2012-03-17 09:47:04]
555*2^1127443-1 is not prime.  Res64: CAC6A3EE128928E4  Time : 0.0 sec.
user=juhehe
[2012-03-17 09:47:57]
589*2^1127443-1 is not prime.  Res64: A06B49DC4DF0931D  Time : 0.0 sec.
user=Sashixi
[2012-03-17 09:48:33]
525*2^1127444-1 is not prime.  Res64: 8C268A3C4FB08F9C  Time : 0.0 sec.
user=vaughan
[2012-03-17 09:49:07]
413*2^1127444-1 is not prime.  Res64: E1ECC198F9CF20F7  Time : 0.0 sec.
user=Sashixi
[2012-03-17 09:50:16]
405*2^1127445-1 is not prime.  Res64: F10A34F0A97EC721  Time : 0.0 sec.
user=Sashixi
[2012-03-17 09:52:06]
409*2^1127445-1 is not prime.  Res64: ECDD2E5AB342B8E6  Time : 0.0 sec.
user=Sashixi
[2012-03-17 10:00:12]
429*2^1127445-1 is not prime.  Res64: 1D6DEEAC212BD9CE  Time : 0.0 sec.
user=Sashixi
[2012-03-17 10:08:48]
443*2^1127446-1 is not prime.  Res64: 1B9283556C57AC74  Time : 0.0 sec.
user=Sashixi
[2012-03-17 10:11:20]
561*2^1127446-1 is not prime.  Res64: 27D7FC4F9C0D08ED  Time : 0.0 sec.
user=Sashixi
[2012-03-17 10:11:30]
597*2^1127446-1 is not prime.  Res64: B6D04E517DFA2A0C  Time : 0.0 sec.
user=Sashixi
[2012-03-17 10:19:43]
493*2^1127447-1 is not prime.  Res64: 3E4F38D14EF4715C  Time : 0.0 sec.
user=juhehe
[2012-03-17 10:20:31]
579*2^1127445-1 is not prime.  Res64: CA7C527F2022AC0E  Time : 0.0 sec.
user=juhehe
[2012-03-17 10:21:23]
585*2^1127445-1 is not prime.  Res64: E54C596282E76C4D  Time : 0.0 sec.
user=Sashixi
[2012-03-17 10:28:14]
573*2^1127447-1 is not prime.  Res64: DAA6E549BB5BB238  Time : 0.0 sec.
user=Sashixi
[2012-03-17 10:30:23]
413*2^1127448-1 is not prime.  Res64: 395A844B1B75E5B1  Time : 0.0 sec.
user=Sashixi
[2012-03-17 10:30:32]
549*2^1127448-1 is not prime.  Res64: CCB22F1FE11799E4  Time : 0.0 sec.
user=Sashixi
[2012-03-17 10:38:55]
569*2^1127448-1 is not prime.  Res64: 9DD8C3C842DB21AF  Time : 0.0 sec.
user=Sashixi
[2012-03-17 10:47:53]
477*2^1127449-1 is not prime.  Res64: 669BE08B086E3ACD  Time : 0.0 sec.
user=Sashixi
[2012-03-17 10:50:22]
535*2^1127449-1 is not prime.  Res64: 9891FA5199946CCC  Time : 0.0 sec.
user=Sashixi
[2012-03-17 10:50:34]
411*2^1127450-1 is not prime.  Res64: 84C4D6F8ADEA8421  Time : 0.0 sec.
user=juhehe
[2012-03-17 10:54:01]
439*2^1127449-1 is not prime.  Res64: F4501543EA9DD59B  Time : 0.0 sec.
user=juhehe
[2012-03-17 10:54:54]
465*2^1127449-1 is not prime.  Res64: D397DA23735A4F14  Time : 0.0 sec.
user=Sashixi
[2012-03-17 10:58:39]
531*2^1127450-1 is not prime.  Res64: B128E24AB598F64E  Time : 0.0 sec.
user=Sashixi
[2012-03-17 11:07:25]
587*2^1127450-1 is not prime.  Res64: 21E5F01D668BD3BF  Time : 0.0 sec.
user=Sashixi
[2012-03-17 11:09:47]
433*2^1127451-1 is not prime.  Res64: 2C7B4E36589A7C4C  Time : 0.0 sec.
user=Sashixi
[2012-03-17 11:10:11]
441*2^1127451-1 is not prime.  Res64: A8377EB4D5D15553  Time : 0.0 sec.
user=Sashixi
[2012-03-17 11:17:17]
583*2^1127451-1 is not prime.  Res64: 4A9163C074BBAE81  Time : 0.0 sec.
user=Sashixi
[2012-03-17 11:25:55]
449*2^1127452-1 is not prime.  Res64: 2C33E82C5446BD2A  Time : 0.0 sec.
user=juhehe
[2012-03-17 11:27:45]
445*2^1127451-1 is not prime.  Res64: 3CDAAFCC1A80D3E7  Time : 0.0 sec.
user=Sashixi
[2012-03-17 11:28:19]
483*2^1127452-1 is not prime.  Res64: AEA9BDA06D77A0BC  Time : 0.0 sec.
user=juhehe
[2012-03-17 11:28:37]
453*2^1127451-1 is not prime.  Res64: C61E6A8E202385D6  Time : 0.0 sec.
user=Sashixi
[2012-03-17 11:28:45]
475*2^1127453-1 is not prime.  Res64: 169AB4263C163B2B  Time : 0.0 sec.
user=Sashixi
[2012-03-17 11:35:50]
423*2^1127454-1 is not prime.  Res64: BD853C03BC1FF7BB  Time : 0.0 sec.
user=Sashixi
[2012-03-17 11:44:41]
447*2^1127454-1 is not prime.  Res64: F0F2025C2C530568  Time : 0.0 sec.
user=Sashixi
[2012-03-17 11:47:13]
507*2^1127454-1 is not prime.  Res64: 439BD289826AB2F7  Time : 0.0 sec.
user=Sashixi
[2012-03-17 11:47:28]
453*2^1127455-1 is not prime.  Res64: CF7E58AD493CA8EA  Time : 0.0 sec.
user=Sashixi
[2012-03-17 11:54:42]
425*2^1127456-1 is not prime.  Res64: C2F2DC0A456FAA20  Time : 0.0 sec.
user=juhehe
[2012-03-17 12:02:00]
441*2^1127455-1 is not prime.  Res64: 47F302AF26F4DA80  Time : 0.0 sec.
user=juhehe
[2012-03-17 12:02:14]
473*2^1127454-1 is not prime.  Res64: 6204A14894C7D564  Time : 0.0 sec.
user=Sashixi
[2012-03-17 12:03:31]
459*2^1127456-1 is not prime.  Res64: C960B69F3214742F  Time : 0.0 sec.
user=Sashixi
[2012-03-17 12:06:02]
519*2^1127456-1 is not prime.  Res64: 834299E7F7864F23  Time : 0.0 sec.
user=Sashixi
[2012-03-17 12:06:03]
503*2^1127456-1 is not prime.  Res64: 00EE090B9D5326EA  Time : 0.0 sec.
user=Sashixi
[2012-03-17 12:13:30]
405*2^1127457-1 is not prime.  Res64: 472478C52D1F2BAB  Time : 0.0 sec.
user=Sashixi
[2012-03-17 12:22:19]
559*2^1127457-1 is not prime.  Res64: 014EE414B624FF8B  Time : 0.0 sec.
user=Sashixi
[2012-03-17 12:24:47]
437*2^1127458-1 is not prime.  Res64: DC3AACB1E52218FD  Time : 0.0 sec.
user=Sashixi
[2012-03-17 12:25:11]
571*2^1127457-1 is not prime.  Res64: E978450D993E1782  Time : 0.0 sec.
user=juhehe
[2012-03-17 12:35:27]
511*2^1127457-1 is not prime.  Res64: 4F2121A5D8CBA585  Time : 0.0 sec.
user=juhehe
[2012-03-17 12:36:50]
427*2^1127457-1 is not prime.  Res64: F8C5EE5DC14552B7  Time : 0.0 sec.
user=juhehe
[2012-03-17 13:09:23]
545*2^1127460-1 is not prime.  Res64: 766CAAD9D2ED3E90  Time : 0.0 sec.
user=juhehe
[2012-03-17 13:10:16]
567*2^1127460-1 is not prime.  Res64: B824B2F988BF8CBF  Time : 0.0 sec.
user=juhehe
[2012-03-17 13:43:57]
531*2^1127461-1 is not prime.  Res64: 64EF01E6AF8AFACA  Time : 0.0 sec.
user=juhehe
[2012-03-17 13:44:51]
499*2^1127461-1 is not prime.  Res64: 8862693EF623C44B  Time : 0.0 sec.
user=juhehe
[2012-03-17 14:17:36]
551*2^1127462-1 is not prime.  Res64: E240B24487191ECE  Time : 0.0 sec.
user=juhehe
[2012-03-17 14:18:15]
557*2^1127462-1 is not prime.  Res64: 3E3FCED31F26E846  Time : 0.0 sec.
user=juhehe
[2012-03-17 14:51:04]
581*2^1127462-1 is not prime.  Res64: 8DFC00E275A870A7  Time : 0.0 sec.
user=juhehe
[2012-03-17 14:51:45]
475*2^1127463-1 is not prime.  Res64: F884F7B1964506DB  Time : 0.0 sec.
user=Sashixi
[2012-03-17 15:02:46]
497*2^1127458-1 is not prime.  Res64: 7B244AEF552C12E1  Time : 0.0 sec.
user=Sashixi
[2012-03-17 15:11:59]
511*2^1127459-1 is not prime.  Res64: 47BF996581D2AE78  Time : 0.0 sec.
user=Sashixi
[2012-03-17 15:14:51]
589*2^1127459-1 is not prime.  Res64: 18B5F76FF643FD45  Time : 0.0 sec.
user=Sashixi
[2012-03-17 15:15:39]
405*2^1127460-1 is not prime.  Res64: 4DC67B69A41D45C6  Time : 0.0 sec.
user=Sashixi
[2012-03-17 15:22:32]
539*2^1127464-1 is not prime.  Res64: 2C24ACF97628EC01  Time : 0.0 sec.
user=juhehe
[2012-03-17 15:24:31]
435*2^1127464-1 is not prime.  Res64: E0FE8DE30DB3536C  Time : 0.0 sec.
user=juhehe
[2012-03-17 15:25:13]
509*2^1127464-1 is not prime.  Res64: F7EE50921679BE04  Time : 0.0 sec.
user=Sashixi
[2012-03-17 15:31:09]
549*2^1127464-1 is not prime.  Res64: 305350AA6F05E409  Time : 0.0 sec.
user=Sashixi
[2012-03-17 15:34:09]
563*2^1127464-1 is not prime.  Res64: AB795DC151358977  Time : 0.0 sec.
user=Sashixi
[2012-03-17 15:35:03]
573*2^1127464-1 is not prime.  Res64: A9C9756A49F07FC0  Time : 0.0 sec.
user=Sashixi
[2012-03-17 15:41:23]
409*2^1127465-1 is not prime.  Res64: D49A7B97B7194A2F  Time : 0.0 sec.
user=Sashixi
[2012-03-17 15:49:44]
529*2^1127465-1 is not prime.  Res64: A264D4CA9E35B0AE  Time : 0.0 sec.
user=Sashixi
[2012-03-17 15:52:45]
417*2^1127466-1 is not prime.  Res64: 97996826B0011EF9  Time : 0.0 sec.
user=Sashixi
[2012-03-17 15:53:45]
483*2^1127466-1 is not prime.  Res64: EC75D26C90EA8678  Time : 0.0 sec.
user=juhehe
[2012-03-17 15:58:06]
481*2^1127465-1 is not prime.  Res64: 34686BDD9482A698  Time : 0.0 sec.
user=juhehe
[2012-03-17 15:58:48]
517*2^1127465-1 is not prime.  Res64: 868DC10BFFA6BC91  Time : 0.0 sec.
user=Sashixi
[2012-03-17 15:59:59]
587*2^1127466-1 is not prime.  Res64: D9015B9BCAC28B67  Time : 0.0 sec.
user=Sashixi
[2012-03-17 16:08:08]
405*2^1127467-1 is not prime.  Res64: C780D9798159E802  Time : 0.0 sec.
user=Sashixi
[2012-03-17 16:11:14]
511*2^1127467-1 is not prime.  Res64: 1A286F5D03BB2425  Time : 0.0 sec.
user=Sashixi
[2012-03-17 16:12:21]
595*2^1127467-1 is not prime.  Res64: 8A5A4A7B43BF5BF3  Time : 0.0 sec.
user=Sashixi
[2012-03-17 16:18:20]
539*2^1127468-1 is not prime.  Res64: 3EE9E1995CB76B0E  Time : 0.0 sec.
user=Sashixi
[2012-03-17 16:26:45]
439*2^1127469-1 is not prime.  Res64: FCF3D239552DE8F1  Time : 0.0 sec.
user=Sashixi
[2012-03-17 16:29:41]
459*2^1127469-1 is not prime.  Res64: 281C67478AFCD2AD  Time : 0.0 sec.
user=Sashixi
[2012-03-17 16:31:02]
549*2^1127469-1 is not prime.  Res64: 35C71F613F45629F  Time : 0.0 sec.
user=juhehe
[2012-03-17 16:32:14]
437*2^1127468-1 is not prime.  Res64: C2FB7B310715E6F7  Time : 0.0 sec.
user=juhehe
[2012-03-17 16:33:56]
435*2^1127468-1 is not prime.  Res64: E4C9CDBF43BB5106  Time : 0.0 sec.
user=Sashixi
[2012-03-17 16:36:48]
595*2^1127469-1 is not prime.  Res64: B01643E32B2C806D  Time : 0.0 sec.
user=vaughan
[2012-03-17 16:41:22]
441*2^1127469-1 is not prime.  Res64: A793DBC41CA05565  Time : 0.0 sec.
user=Sashixi
[2012-03-17 16:45:26]
445*2^1127471-1 is not prime.  Res64: EDEDB0A5548D2DF2  Time : 0.0 sec.
user=Sashixi
[2012-03-17 16:48:25]
493*2^1127471-1 is not prime.  Res64: 538E7969A922C894  Time : 0.0 sec.
user=Sashixi
[2012-03-17 16:49:47]
585*2^1127471-1 is not prime.  Res64: B323504ADB163378  Time : 0.0 sec.
user=juhehe
[2012-03-17 17:07:04]
413*2^1127472-1 is not prime.  Res64: 3D3E1858301F25A1  Time : 0.0 sec.
user=juhehe
[2012-03-17 17:07:27]
479*2^1127472-1 is not prime.  Res64: A1A4DF63400E5795  Time : 0.0 sec.
user=juhehe
[2012-03-17 17:41:20]
489*2^1127473-1 is not prime.  Res64: 60C4F731772CE5BF  Time : 0.0 sec.
user=juhehe
[2012-03-17 17:41:37]
435*2^1127473-1 is not prime.  Res64: E385DEABA4E57F0A  Time : 0.0 sec.
user=juhehe
[2012-03-17 18:15:32]
469*2^1127475-1 is not prime.  Res64: D23FF8F9501B053C  Time : 0.0 sec.
user=juhehe
[2012-03-17 18:15:52]
415*2^1127475-1 is not prime.  Res64: AD1E4128F15C04F9  Time : 0.0 sec.
user=juhehe
[2012-03-17 18:50:27]
489*2^1127475-1 is not prime.  Res64: 2DB2E2BEC35041E6  Time : 0.0 sec.
user=juhehe
[2012-03-17 18:51:31]
481*2^1127475-1 is not prime.  Res64: 5C87179817382107  Time : 0.0 sec.
user=juhehe
[2012-03-17 19:24:40]
535*2^1127475-1 is not prime.  Res64: 2443C93AAB469703  Time : 0.0 sec.
user=juhehe
[2012-03-17 19:25:34]
579*2^1127475-1 is not prime.  Res64: 4023845792FB5554  Time : 0.0 sec.
user=juhehe
[2012-03-17 19:58:45]
405*2^1127476-1 is not prime.  Res64: EEABB51BC0D89A00  Time : 0.0 sec.
user=juhehe
[2012-03-17 19:59:39]
447*2^1127476-1 is not prime.  Res64: 16576F16840AB0A8  Time : 0.0 sec.
user=juhehe
[2012-03-17 20:32:57]
495*2^1127476-1 is not prime.  Res64: A5F3156185F69D75  Time : 0.0 sec.
user=juhehe
[2012-03-17 20:33:51]
525*2^1127476-1 is not prime.  Res64: 166F8892F4F96C94  Time : 0.0 sec.
user=juhehe
[2012-03-17 21:07:03]
569*2^1127476-1 is not prime.  Res64: 17422CAC5F07D977  Time : 0.0 sec.
user=juhehe
[2012-03-17 21:07:55]
573*2^1127476-1 is not prime.  Res64: B8E3A25501722BB8  Time : 0.0 sec.
user=juhehe
[2012-03-17 21:41:17]
477*2^1127477-1 is not prime.  Res64: 0F8A6229979D03FC  Time : 0.0 sec.
user=juhehe
[2012-03-17 21:42:13]
417*2^1127478-1 is not prime.  Res64: 1C312B34AFB3EEED  Time : 0.0 sec.
user=juhehe
[2012-03-17 22:16:28]
485*2^1127478-1 is not prime.  Res64: 310FBF72C968A442  Time : 0.0 sec.
user=juhehe
[2012-03-17 22:17:19]
447*2^1127478-1 is not prime.  Res64: D1CC2E9D760161F5  Time : 0.0 sec.
user=vaughan
[2012-03-17 22:30:49]
433*2^1127479-1 is not prime.  Res64: 463B93F036964B7B  Time : 0.0 sec.
user=juhehe
[2012-03-17 22:50:34]
463*2^1127479-1 is not prime.  Res64: 3C6E848DC7168756  Time : 0.0 sec.
user=juhehe
[2012-03-17 22:51:27]
525*2^1127479-1 is not prime.  Res64: D99918BE87C2865D  Time : 0.0 sec.
user=juhehe
[2012-03-17 23:25:13]
555*2^1127479-1 is not prime.  Res64: C1D7E9A1909EF305  Time : 0.0 sec.
user=juhehe
[2012-03-17 23:25:47]
559*2^1127479-1 is not prime.  Res64: 934672FFBE74D6B5  Time : 0.0 sec.
user=Alexis_Kravtchenko
[2012-03-17 23:44:35]
467*2^1127480-1 is not prime.  Res64: 1CAA5D5F425063B5  Time : 0.0 sec.
user=juhehe
[2012-03-17 23:59:28]
557*2^1127480-1 is not prime.  Res64: E839BDD874C95EF1  Time : 0.0 sec.
user=juhehe
[2012-03-17 23:59:55]
599*2^1127480-1 is not prime.  Res64: FF477A35453E2BA3  Time : 0.0 sec.