user=vaughan
[2013-02-26 00:07:58]
955*2^1241649-1 is not prime.  Res64: 5F3832E6B933762B  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 00:10:10]
951*2^1241649-1 is not prime.  Res64: AB43B1B6964210EF  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 00:19:53]
861*2^1241649-1 is not prime.  Res64: 34525D5FD418228F  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 00:28:11]
645*2^1241650-1 is not prime.  Res64: 0561EAC9F5156F69  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 00:37:41]
713*2^1241650-1 is not prime.  Res64: 37ED536DBF68C556  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 00:37:41]
777*2^1241650-1 is not prime.  Res64: A741CB2A51A3D1EE  Time : 0.0 sec.
user=juhehe
[2013-02-26 00:45:03]
843*2^1241632-1 is not prime.  Res64: EF2EF3EC981F4EBC  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 00:48:12]
677*2^1241650-1 is not prime.  Res64: BADAA10256F9986E  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 00:55:20]
783*2^1241650-1 is not prime.  Res64: F5AA2D3518A4E159  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 00:55:20]
803*2^1241650-1 is not prime.  Res64: F87D17CE3A5E4E38  Time : 0.0 sec.
user=juhehe
[2013-02-26 01:09:14]
979*2^1241649-1 is not prime.  Res64: 38DD65E8371D484C  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 01:12:54]
631*2^1241651-1 is not prime.  Res64: 77C7B477D8B37E45  Time : 0.0 sec.
user=vaughan
[2013-02-26 01:21:47]
933*2^1241650-1 is not prime.  Res64: F2D1F98609E96EE9  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 01:31:08]
741*2^1241651-1 is not prime.  Res64: FBFAA2679B46360A  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 01:38:53]
651*2^1241651-1 is not prime.  Res64: 0B92B59FC98867AA  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 01:57:32]
753*2^1241651-1 is not prime.  Res64: 9775C43ECEE84888  Time : 0.0 sec.
user=vaughan
[2013-02-26 02:00:21]
819*2^1241651-1 is not prime.  Res64: E419C6B0E77951F2  Time : 0.0 sec.
user=juhehe
[2013-02-26 02:00:40]
673*2^1241651-1 is not prime.  Res64: 10A0081EBF3B4F39  Time : 0.0 sec.
user=juhehe
[2013-02-26 02:01:23]
781*2^1241651-1 is not prime.  Res64: C84C3C542807F9B0  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 02:10:02]
843*2^1241651-1 is not prime.  Res64: 71B30B185B044FCA  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 02:10:03]
885*2^1241651-1 is not prime.  Res64: C4A9D6278D6843D9  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 02:15:27]
955*2^1241651-1 is not prime.  Res64: AF202E03AC45AFCB  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 02:27:50]
857*2^1241652-1 is not prime.  Res64: C011581BA98666E2  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 02:27:51]
933*2^1241652-1 is not prime.  Res64: 0F3368D512CB58BB  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 02:40:07]
993*2^1241651-1 is not prime.  Res64: 3CC7EE3353C8F2D9  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 02:45:14]
947*2^1241652-1 is not prime.  Res64: 5E5BBC867693CF65  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 02:45:34]
729*2^1241653-1 is not prime.  Res64: AC7EFBD47A9561B9  Time : 0.0 sec.
user=juhehe
[2013-02-26 03:10:36]
803*2^1241652-1 is not prime.  Res64: 6C7DEF378033D8BE  Time : 0.0 sec.
user=vaughan
[2013-02-26 03:14:28]
831*2^1241653-1 is not prime.  Res64: F50637FDCCCB5300  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 03:17:53]
885*2^1241653-1 is not prime.  Res64: 961A846D35969AB1  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 03:17:54]
957*2^1241653-1 is not prime.  Res64: 440BD17F01836359  Time : 0.0 sec.
user=juhehe
[2013-02-26 03:28:20]
987*2^1241653-1 is not prime.  Res64: 03FD2BCE662EFDF3  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 03:32:47]
711*2^1241654-1 is not prime.  Res64: 46F1C5656E675552  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 03:35:35]
915*2^1241654-1 is not prime.  Res64: 167771F0EBF9D665  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 03:35:36]
945*2^1241654-1 is not prime.  Res64: D9E03CE78B5C7B2C  Time : 0.0 sec.
user=vaughan
[2013-02-26 03:53:04]
617*2^1241654-1 is not prime.  Res64: 4AA7ED43D83F3E4E  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 03:53:32]
679*2^1241655-1 is not prime.  Res64: 5CD60E351F76B669  Time : 0.0 sec.
user=juhehe
[2013-02-26 04:00:21]
619*2^1241655-1 is not prime.  Res64: 9CDB5399D40FD609  Time : 0.0 sec.
user=juhehe
[2013-02-26 04:02:09]
877*2^1241653-1 is not prime.  Res64: DC6A0ADE7D0764FE  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 04:08:08]
797*2^1241654-1 is not prime.  Res64: 36A87ADB63B01AC9  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 04:13:56]
751*2^1241655-1 is not prime.  Res64: A0DECB0C9CB9D5DC  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 04:25:37]
615*2^1241656-1 is not prime.  Res64: AE98D48FF12DD8BF  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 04:25:38]
723*2^1241656-1 is not prime.  Res64: 3EA86965DBC57429  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 04:31:45]
869*2^1241656-1 is not prime.  Res64: C2CA146066399821  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 04:31:46]
899*2^1241656-1 is not prime.  Res64: 4B2DE225B4A081DF  Time : 0.0 sec.
user=juhehe
[2013-02-26 04:32:45]
885*2^1241655-1 is not prime.  Res64: 7E7A1E6196B07784  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 04:43:30]
969*2^1241656-1 is not prime.  Res64: 84E3ED19E1752314  Time : 0.0 sec.
user=juhehe
[2013-02-26 04:44:58]
969*2^1241655-1 is not prime.  Res64: 40BCB5AF07A9EFDB  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 04:49:26]
829*2^1241657-1 is not prime.  Res64: 10C31998706A7F4A  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 04:49:26]
925*2^1241657-1 is not prime.  Res64: B817188E9BCF4D6E  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 05:01:36]
637*2^1241657-1 is not prime.  Res64: 4198260F6EFA9093  Time : 0.0 sec.
user=vaughan
[2013-02-26 05:07:03]
649*2^1241657-1 is not prime.  Res64: 9D0339E05EE9A7BD  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 05:07:33]
605*2^1241658-1 is not prime.  Res64: 5A376DB47EBF3120  Time : 0.0 sec.
user=juhehe
[2013-02-26 05:11:43]
735*2^1241656-1 is not prime.  Res64: F57CC719703C05F0  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 05:19:25]
663*2^1241658-1 is not prime.  Res64: 616C7F8CAE07BB93  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 05:19:26]
765*2^1241658-1 is not prime.  Res64: BEEB9B94EA89FC1B  Time : 0.0 sec.
user=juhehe
[2013-02-26 05:21:35]
955*2^1241657-1 is not prime.  Res64: 79A0B6D298872637  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 05:37:04]
861*2^1241658-1 is not prime.  Res64: 7165157889E6890A  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 05:37:05]
915*2^1241658-1 is not prime.  Res64: A4D85BB37294D463  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 05:42:11]
611*2^1241658-1 is not prime.  Res64: E5B12F5434198A2A  Time : 0.0 sec.
user=vaughan
[2013-02-26 05:45:42]
777*2^1241658-1 is not prime.  Res64: 0B3B4E09C1A1F89B  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 05:54:38]
639*2^1241659-1 is not prime.  Res64: 8B5A4466B6D34207  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 05:54:38]
859*2^1241659-1 is not prime.  Res64: EE731BDDB203E0E9  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 05:59:36]
873*2^1241659-1 is not prime.  Res64: 90E9087CE9A263DA  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 05:59:37]
883*2^1241659-1 is not prime.  Res64: 2083AE89756100D2  Time : 0.0 sec.
user=juhehe
[2013-02-26 06:01:58]
641*2^1241658-1 is not prime.  Res64: 8BE68AE608D4B604  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 06:12:38]
975*2^1241659-1 is not prime.  Res64: 9E4DEB6BB4C31A4C  Time : 0.0 sec.
user=juhehe
[2013-02-26 06:17:15]
861*2^1241659-1 is not prime.  Res64: 45B6B0F7E7E7CF89  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 06:18:00]
797*2^1241660-1 is not prime.  Res64: DBF65BB08FC4C296  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 06:31:06]
659*2^1241660-1 is not prime.  Res64: 390C99A7650E145A  Time : 0.0 sec.
user=juhehe
[2013-02-26 06:32:01]
717*2^1241660-1 is not prime.  Res64: CB76D622381FFFCA  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 06:40:18]
833*2^1241660-1 is not prime.  Res64: D668EEBDE141CA06  Time : 0.0 sec.
user=vaughan
[2013-02-26 07:10:07]
927*2^1241660-1 is not prime.  Res64: 511A74C107500A46  Time : 0.0 sec.
user=juhehe
[2013-02-26 07:13:24]
845*2^1241660-1 is not prime.  Res64: 54871AF0C9323BD3  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 07:20:54]
627*2^1241661-1 is not prime.  Res64: 3B09299D595EFF9D  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 07:20:55]
679*2^1241661-1 is not prime.  Res64: A3970205376B94F8  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 07:38:20]
847*2^1241661-1 is not prime.  Res64: BF688267C9278E4F  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 07:38:21]
895*2^1241661-1 is not prime.  Res64: C76355299F65E589  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 07:38:43]
987*2^1241661-1 is not prime.  Res64: A337B8F0FAB5F5C3  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 07:38:44]
997*2^1241661-1 is not prime.  Res64: 577BF5E8BB6ADD08  Time : 0.0 sec.
user=vaughan
[2013-02-26 07:48:08]
795*2^1241661-1 is not prime.  Res64: 069A808ADFBBD3ED  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 07:55:44]
731*2^1241662-1 is not prime.  Res64: 36C98F45E7880000  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 07:55:45]
821*2^1241662-1 is not prime.  Res64: DFF1561E912E1133  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 07:56:07]
827*2^1241662-1 is not prime.  Res64: 50438F8150217E25  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 07:56:07]
951*2^1241662-1 is not prime.  Res64: F34D05C5AFB999D3  Time : 0.0 sec.
user=juhehe
[2013-02-26 08:11:12]
635*2^1241662-1 is not prime.  Res64: 88D57B263449AE05  Time : 0.0 sec.
user=juhehe
[2013-02-26 08:11:50]
781*2^1241661-1 is not prime.  Res64: 129E87D5681D2757  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 08:13:08]
995*2^1241662-1 is not prime.  Res64: 950250897D6AC84D  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 08:13:09]
609*2^1241663-1 is not prime.  Res64: EFB9E67F2E07047F  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 08:13:31]
693*2^1241663-1 is not prime.  Res64: F95C226240AEB5BF  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 08:13:32]
705*2^1241663-1 is not prime.  Res64: 68B9DE54FC79AA33  Time : 0.0 sec.
user=juhehe
[2013-02-26 08:25:34]
721*2^1241663-1 is not prime.  Res64: 524873FC763ADA7F  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 08:30:32]
963*2^1241663-1 is not prime.  Res64: EB4DAA2C34F0BADE  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 08:30:33]
981*2^1241663-1 is not prime.  Res64: 6088A28FF4A80809  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 08:30:54]
753*2^1241664-1 is not prime.  Res64: 80B814F24861820B  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 08:30:55]
843*2^1241664-1 is not prime.  Res64: 0B5D2A7ADA8BDA70  Time : 0.0 sec.
user=vaughan
[2013-02-26 08:31:09]
987*2^1241662-1 is not prime.  Res64: 384B4CD31C855F7B  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 08:47:56]
875*2^1241664-1 is not prime.  Res64: 6BA5B71486BC03CD  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 08:47:57]
887*2^1241664-1 is not prime.  Res64: D1D84339ADCE2AE0  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 08:48:18]
903*2^1241664-1 is not prime.  Res64: 4BDC0D536496E1B5  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 08:48:18]
917*2^1241664-1 is not prime.  Res64: 06D670B613F714C3  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 09:05:21]
687*2^1241665-1 is not prime.  Res64: 18210A37ACE4B94C  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 09:05:22]
691*2^1241665-1 is not prime.  Res64: 5B55C8C10930F404  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 09:05:41]
741*2^1241665-1 is not prime.  Res64: DB26225F3EE62AE4  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 09:05:42]
937*2^1241665-1 is not prime.  Res64: 8C08D95D0E4EC8A2  Time : 0.0 sec.
user=vaughan
[2013-02-26 09:09:10]
675*2^1241665-1 is not prime.  Res64: 6F236D216B3C584A  Time : 0.0 sec.
user=vaughan
[2013-02-26 14:35:13]
825*2^1241666-1 is not prime.  Res64: B29E36837E780D1A  Time : 0.0 sec.
user=juhehe
[2013-02-26 14:37:29]
827*2^1241666-1 is not prime.  Res64: AE9D99C8C36BB583  Time : 0.0 sec.
user=juhehe
[2013-02-26 14:37:30]
729*2^1241663-1 is not prime.  Res64: 19707364A49C7BD6  Time : 0.0 sec.
user=vaughan
[2013-02-26 18:08:30]
831*2^1241666-1 is not prime.  Res64: 9735C411278E8333  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 18:12:50]
683*2^1241666-1 is not prime.  Res64: 4B1DDE5C8EEF7A07  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 18:12:50]
741*2^1241666-1 is not prime.  Res64: 72F091B86F42EEDD  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 18:14:49]
987*2^1241665-1 is not prime.  Res64: 7AB3EB930A6F06D1  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 18:14:50]
645*2^1241666-1 is not prime.  Res64: 198CBD1309014327  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 18:30:35]
703*2^1241667-1 is not prime.  Res64: F67F0A39D33E3DBD  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 18:30:35]
709*2^1241667-1 is not prime.  Res64: 65E9147B0AB9E55B  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 18:32:31]
891*2^1241667-1 is not prime.  Res64: DA8E214D7CAD1057  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 18:32:31]
961*2^1241667-1 is not prime.  Res64: 2F949395168448A5  Time : 0.0 sec.
user=vaughan
[2013-02-26 18:46:33]
963*2^1241666-1 is not prime.  Res64: A462819DFF8984A4  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 18:48:09]
635*2^1241668-1 is not prime.  Res64: 53CF198272C516DC  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 18:48:09]
639*2^1241668-1 is not prime.  Res64: DB38D7AB3AAD5EFC  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 18:50:03]
773*2^1241668-1 is not prime.  Res64: 595B6E794B66DC92  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 18:50:04]
783*2^1241668-1 is not prime.  Res64: 11FA92A349DD15F2  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 19:05:42]
833*2^1241668-1 is not prime.  Res64: 68F1DD32455989F2  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 19:05:43]
601*2^1241669-1 is not prime.  Res64: 36C4C83449794AE2  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 19:07:36]
657*2^1241669-1 is not prime.  Res64: 9DB2DA6F24858973  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 19:07:37]
699*2^1241669-1 is not prime.  Res64: E3D8DE338399946A  Time : 0.0 sec.
user=juhehe
[2013-02-26 19:08:58]
893*2^1241666-1 is not prime.  Res64: FAC99DE0F21FC703  Time : 0.0 sec.
user=juhehe
[2013-02-26 19:09:01]
887*2^1241666-1 is not prime.  Res64: 912CB0EFDC5D967C  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 19:23:16]
721*2^1241669-1 is not prime.  Res64: 7D0A84F6F650226E  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 19:23:17]
735*2^1241669-1 is not prime.  Res64: 9EC954D2F5F097DF  Time : 0.0 sec.
user=vaughan
[2013-02-26 19:24:35]
825*2^1241668-1 is not prime.  Res64: F7E3A90E0FAE1860  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 19:25:12]
771*2^1241669-1 is not prime.  Res64: 3B98E475C412DCAE  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 19:25:12]
865*2^1241669-1 is not prime.  Res64: 64B20EB6B9EB0AB1  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 19:40:50]
957*2^1241669-1 is not prime.  Res64: B3CC7A21A8D3579F  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 19:40:50]
969*2^1241669-1 is not prime.  Res64: FBCC6D0C86612932  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 19:42:45]
791*2^1241670-1 is not prime.  Res64: AA0A2BCA7FC04509  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 19:42:46]
921*2^1241670-1 is not prime.  Res64: 79E6A2F1B44CEE39  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 19:58:22]
971*2^1241670-1 is not prime.  Res64: EEAFA7927EF1BBE5  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 19:58:23]
625*2^1241671-1 is not prime.  Res64: 68C1067618834A3B  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 20:00:17]
843*2^1241671-1 is not prime.  Res64: 135B963711279704  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 20:00:19]
855*2^1241671-1 is not prime.  Res64: 2C3135CFDBA792C0  Time : 0.0 sec.
user=vaughan
[2013-02-26 20:02:34]
611*2^1241670-1 is not prime.  Res64: 96A48580C9BA1421  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 20:15:56]
873*2^1241671-1 is not prime.  Res64: 4C1F5A81CC33A8A0  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 20:15:56]
931*2^1241671-1 is not prime.  Res64: EF52F069CF41992B  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 20:17:53]
617*2^1241672-1 is not prime.  Res64: A5044FA63B74BB10  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 20:17:53]
669*2^1241672-1 is not prime.  Res64: 85C14BF579EAE9FB  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 20:33:30]
759*2^1241672-1 is not prime.  Res64: E3A305C090A08415  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 20:33:30]
815*2^1241672-1 is not prime.  Res64: 8F4A4FF694BD0B0E  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 20:35:25]
875*2^1241672-1 is not prime.  Res64: DB710065AD356915  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 20:35:26]
963*2^1241672-1 is not prime.  Res64: F5AFE9B14CE8BBC4  Time : 0.0 sec.
user=vaughan
[2013-02-26 20:40:35]
687*2^1241672-1 is not prime.  Res64: 841DCADED40DD832  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 20:51:03]
609*2^1241673-1 is not prime.  Res64: F8CEBFE340A97ED2  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 20:51:03]
615*2^1241673-1 is not prime.  Res64: CF8F4F6325ADDCE5  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 20:52:59]
727*2^1241673-1 is not prime.  Res64: 0003D6F87E068FF7  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 20:52:59]
741*2^1241673-1 is not prime.  Res64: E5B63AA28B4A9702  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 21:08:36]
849*2^1241673-1 is not prime.  Res64: ECD1B92DCAFD6E4B  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 21:08:37]
861*2^1241673-1 is not prime.  Res64: C14769F620B2ACBB  Time : 0.0 sec.
user=juhehe
[2013-02-26 21:09:27]
717*2^1241672-1 is not prime.  Res64: 1CCB70EC8FA52271  Time : 0.0 sec.
user=juhehe
[2013-02-26 21:10:15]
753*2^1241672-1 is not prime.  Res64: D27337E0B8220DAD  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 21:10:31]
969*2^1241673-1 is not prime.  Res64: 61D0E44B3A214E7B  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 21:10:32]
681*2^1241674-1 is not prime.  Res64: 1AA64E985C22C0CB  Time : 0.0 sec.
user=vaughan
[2013-02-26 21:18:38]
759*2^1241673-1 is not prime.  Res64: 2AFD727B72791749  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 21:26:41]
825*2^1241674-1 is not prime.  Res64: 37F4278B78702034  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 21:26:41]
887*2^1241674-1 is not prime.  Res64: 500BC4E74CF85B59  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 21:28:42]
975*2^1241674-1 is not prime.  Res64: 9A415438441FF156  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 21:28:43]
987*2^1241674-1 is not prime.  Res64: 3B74321DB950DCC1  Time : 0.0 sec.
user=juhehe
[2013-02-26 21:40:25]
741*2^1241674-1 is not prime.  Res64: 32F781D52FA69E4C  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 21:46:13]
969*2^1241675-1 is not prime.  Res64: A6B791B1614237DF  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 21:46:14]
749*2^1241676-1 is not prime.  Res64: D9F4A87981DE99EB  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 21:48:23]
767*2^1241676-1 is not prime.  Res64: 8F5410A2E16E6B64  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 21:48:23]
783*2^1241676-1 is not prime.  Res64: 84271501A5FAD9FF  Time : 0.0 sec.
user=vaughan
[2013-02-26 21:56:41]
943*2^1241675-1 is not prime.  Res64: 9F882EA68F2457BC  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 22:05:16]
887*2^1241676-1 is not prime.  Res64: 7A303BEE2FECEE37  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 22:05:16]
909*2^1241676-1 is not prime.  Res64: D909F58CCBE8B94A  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 22:07:16]
667*2^1241677-1 is not prime.  Res64: 7D129C77597D9750  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 22:07:17]
699*2^1241677-1 is not prime.  Res64: 3B631DD3598D9879  Time : 0.0 sec.
user=juhehe
[2013-02-26 22:22:45]
809*2^1241676-1 is not prime.  Res64: 6848C4E086022EC8  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 22:23:55]
775*2^1241677-1 is not prime.  Res64: F2D9B637B3905921  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 22:23:55]
825*2^1241677-1 is not prime.  Res64: 59CBD74D2DDC46C2  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 22:25:58]
871*2^1241677-1 is not prime.  Res64: 7C346CB7B3F2B589  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 22:25:58]
931*2^1241677-1 is not prime.  Res64: 4848B0623C3F1EA1  Time : 0.0 sec.
user=vaughan
[2013-02-26 22:34:43]
717*2^1241677-1 is not prime.  Res64: FB53A1C08E772711  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 22:43:21]
825*2^1241679-1 is not prime.  Res64: E47AC6FB2667082F  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 22:43:21]
861*2^1241679-1 is not prime.  Res64: D42963F6B36D2263  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 22:45:26]
909*2^1241679-1 is not prime.  Res64: AC4E5878162AC9AD  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 22:45:27]
629*2^1241680-1 is not prime.  Res64: 888618F2F737E41C  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 23:01:30]
675*2^1241680-1 is not prime.  Res64: E2A8C8D98FA46587  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 23:01:31]
797*2^1241680-1 is not prime.  Res64: B5AC3182EB46A3C3  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 23:03:40]
845*2^1241680-1 is not prime.  Res64: 69C2DF910089FCCF  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 23:03:41]
849*2^1241680-1 is not prime.  Res64: 6844E73A81B966C9  Time : 0.0 sec.
user=juhehe
[2013-02-26 23:05:08]
691*2^1241679-1 is not prime.  Res64: 19DC8F3E6BC78A6F  Time : 0.0 sec.
user=juhehe
[2013-02-26 23:10:56]
693*2^1241678-1 is not prime.  Res64: 7CAF4623759C6F08  Time : 0.0 sec.
user=vaughan
[2013-02-26 23:12:42]
665*2^1241680-1 is not prime.  Res64: 4F1DE72107CD97CF  Time : 0.0 sec.
user=juhehe
[2013-02-26 23:17:27]
977*2^1241678-1 is not prime.  Res64: E35A642AA812BEB0  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 23:20:47]
929*2^1241680-1 is not prime.  Res64: 01F7B07E728363CF  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 23:20:48]
607*2^1241681-1 is not prime.  Res64: 079AF3E543C77824  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 23:22:42]
705*2^1241681-1 is not prime.  Res64: 09DBB20E2086E512  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 23:22:42]
747*2^1241681-1 is not prime.  Res64: 5BB6119742BBA8AE  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 23:38:33]
949*2^1241681-1 is not prime.  Res64: 0220557FE985EFB5  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 23:38:34]
979*2^1241681-1 is not prime.  Res64: BB59A7B73A78DCF2  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 23:40:22]
653*2^1241682-1 is not prime.  Res64: 093947F7D6B094C3  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 23:40:23]
801*2^1241682-1 is not prime.  Res64: A5B4277F7FDE2767  Time : 0.0 sec.
user=juhehe
[2013-02-26 23:43:44]
861*2^1241681-1 is not prime.  Res64: 3F68DB8CBFF7B4FC  Time : 0.0 sec.
user=vaughan
[2013-02-26 23:50:44]
889*2^1241681-1 is not prime.  Res64: AB46CE578268A32A  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 23:56:01]
833*2^1241682-1 is not prime.  Res64: 0AF4E286660C0293  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 23:56:01]
867*2^1241682-1 is not prime.  Res64: 7D9DC305135825B1  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 23:57:47]
873*2^1241682-1 is not prime.  Res64: 38A3BBBB8128C5D7  Time : 0.0 sec.
user=mdettweiler
[2013-02-26 23:57:47]
917*2^1241682-1 is not prime.  Res64: F1248BAEE410A950  Time : 0.0 sec.
user=juhehe
[2013-02-26 23:58:06]
647*2^1241682-1 is not prime.  Res64: 9248FD7CCAE6134A  Time : 0.0 sec.