user=mdettweiler
[2012-10-19 00:05:19]
859*2^1232867-1 is not prime.  Res64: 1AA602411311B784  Time : 0.0 sec.
user=vaughan
[2012-10-19 00:05:43]
861*2^1232867-1 is not prime.  Res64: AD0E033EA90B623B  Time : 0.0 sec.
user=juhehe
[2012-10-19 00:10:27]
909*2^1232867-1 is not prime.  Res64: FC6B1C2834F4A991  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 00:13:29]
635*2^1232868-1 is not prime.  Res64: 5392603AA8B2D646  Time : 0.0 sec.
user=juhehe
[2012-10-19 00:26:51]
915*2^1232867-1 is not prime.  Res64: 060E4249C6AA1B89  Time : 0.0 sec.
user=vaughan
[2012-10-19 00:43:47]
695*2^1232868-1 is not prime.  Res64: A5C4ADA70C9F7075  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 00:48:32]
683*2^1232868-1 is not prime.  Res64: A08B7359BE65B8A6  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 00:53:18]
817*2^1232869-1 is not prime.  Res64: DCA0BE5721C04583  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 00:53:20]
855*2^1232869-1 is not prime.  Res64: 806441F29DB584C6  Time : 0.0 sec.
user=juhehe
[2012-10-19 01:06:10]
649*2^1232869-1 is not prime.  Res64: 86CD80ED6D08CA0F  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 01:14:34]
657*2^1232870-1 is not prime.  Res64: C2AD4371F6AA2625  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 01:14:36]
663*2^1232870-1 is not prime.  Res64: 3F690DADA3A5DBF7  Time : 0.0 sec.
user=vaughan
[2012-10-19 01:21:55]
877*2^1232869-1 is not prime.  Res64: F2542C3ADFB3D2BD  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 01:35:53]
971*2^1232870-1 is not prime.  Res64: 2722C08202097B64  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 01:35:54]
679*2^1232871-1 is not prime.  Res64: 715DF802C8BC3AA9  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 01:46:31]
805*2^1232871-1 is not prime.  Res64: 5766D7B502A38BCF  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 01:46:32]
829*2^1232871-1 is not prime.  Res64: EBB0AE8FF4DC4E43  Time : 0.0 sec.
user=juhehe
[2012-10-19 01:48:53]
675*2^1232870-1 is not prime.  Res64: A3E12685DBBE2382  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 01:57:00]
873*2^1232871-1 is not prime.  Res64: F977829E7D966225  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 01:57:01]
975*2^1232871-1 is not prime.  Res64: 6ED0BF701BA97CAB  Time : 0.0 sec.
user=vaughan
[2012-10-19 01:59:43]
751*2^1232871-1 is not prime.  Res64: 2466CBDF58C5AFF3  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 02:07:37]
603*2^1232872-1 is not prime.  Res64: 2CE507744F1DB603  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 02:07:38]
639*2^1232872-1 is not prime.  Res64: 33BB444F10ACD215  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 02:18:11]
717*2^1232872-1 is not prime.  Res64: 4423EABC60CD11EA  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 02:28:40]
721*2^1232873-1 is not prime.  Res64: 40CC3095CF45F34E  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 02:28:41]
901*2^1232873-1 is not prime.  Res64: 2E8EDAB471028522  Time : 0.0 sec.
user=vaughan
[2012-10-19 02:37:31]
631*2^1232873-1 is not prime.  Res64: 6858A327DB98405C  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 02:49:22]
743*2^1232872-1 is not prime.  Res64: 5565ED4846DAC3FE  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 02:50:06]
671*2^1232874-1 is not prime.  Res64: F15018DE251F4817  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 03:10:33]
885*2^1232874-1 is not prime.  Res64: 45AD5A40DA596F04  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 03:10:35]
941*2^1232874-1 is not prime.  Res64: EE973F074C10C474  Time : 0.0 sec.
user=juhehe
[2012-10-19 03:11:36]
767*2^1232874-1 is not prime.  Res64: AEA29A835B1ABEBE  Time : 0.0 sec.
user=vaughan
[2012-10-19 03:15:44]
861*2^1232874-1 is not prime.  Res64: BA43F927DC5D5767  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 03:31:53]
947*2^1232874-1 is not prime.  Res64: 3006B05CFF84AA82  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 03:31:56]
1001*2^1232874-1 is not prime.  Res64: 07869400546C63B3  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 03:41:05]
695*2^1232874-1 is not prime.  Res64: D25D85AE61A70908  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 03:53:07]
691*2^1232875-1 is not prime.  Res64: 1E86D6D590F0C3F4  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 03:53:08]
915*2^1232875-1 is not prime.  Res64: 64E888139D0417A9  Time : 0.0 sec.
user=vaughan
[2012-10-19 03:53:51]
679*2^1232875-1 is not prime.  Res64: ECF74C5407586E58  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 04:02:09]
609*2^1232876-1 is not prime.  Res64: F5A9215190CC56B6  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 04:14:29]
855*2^1232876-1 is not prime.  Res64: 47328E2A18BC446E  Time : 0.0 sec.
user=vaughan
[2012-10-19 04:31:39]
627*2^1232877-1 is not prime.  Res64: B284E6CD75D55F4F  Time : 0.0 sec.
user=juhehe
[2012-10-19 04:33:35]
725*2^1232876-1 is not prime.  Res64: 262D1059F1D27356  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 04:41:42]
635*2^1232876-1 is not prime.  Res64: 97EBA1F8F33382F2  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 04:49:02]
987*2^1232876-1 is not prime.  Res64: 0D143DE5FA7F501F  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 05:02:56]
611*2^1232878-1 is not prime.  Res64: 97A887DD97A7CFFE  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 05:03:00]
647*2^1232878-1 is not prime.  Res64: 819792CC5FC9E37C  Time : 0.0 sec.
user=vaughan
[2012-10-19 05:09:51]
765*2^1232877-1 is not prime.  Res64: B896CFE8766B9EFD  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 05:10:07]
681*2^1232878-1 is not prime.  Res64: C62E80604F18E11F  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 05:10:09]
705*2^1232878-1 is not prime.  Res64: 879245770C7B3B4C  Time : 0.0 sec.
user=juhehe
[2012-10-19 05:15:37]
603*2^1232878-1 is not prime.  Res64: 07FE2D8D88F1AC8B  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 05:24:05]
707*2^1232878-1 is not prime.  Res64: B24B678DD45B0EEC  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 05:24:07]
765*2^1232878-1 is not prime.  Res64: 035531236163DA38  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 05:31:21]
863*2^1232878-1 is not prime.  Res64: 16863A0415826E0E  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 05:45:14]
945*2^1232878-1 is not prime.  Res64: 609E5912A19CC08A  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 05:45:15]
995*2^1232878-1 is not prime.  Res64: 34389030233E861D  Time : 0.0 sec.
user=vaughan
[2012-10-19 05:47:52]
845*2^1232878-1 is not prime.  Res64: CE0A5E305A0417CA  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 05:56:08]
887*2^1232878-1 is not prime.  Res64: CF9197264AFD68E5  Time : 0.0 sec.
user=juhehe
[2012-10-19 05:58:16]
891*2^1232878-1 is not prime.  Res64: 47682ADEEE989D2D  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 06:06:20]
603*2^1232879-1 is not prime.  Res64: 4D9F694CB218BD1D  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 06:06:22]
789*2^1232879-1 is not prime.  Res64: FA3107ED3FD7F57E  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 06:16:58]
895*2^1232879-1 is not prime.  Res64: 34EE89B3C9FAE843  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 06:17:17]
913*2^1232879-1 is not prime.  Res64: 254CBBA33B21F1F9  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 06:27:34]
669*2^1232880-1 is not prime.  Res64: 94538F43A7C19CD7  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 06:27:35]
699*2^1232880-1 is not prime.  Res64: DC7AFF3CC6DED340  Time : 0.0 sec.
user=juhehe
[2012-10-19 06:40:47]
615*2^1232880-1 is not prime.  Res64: BA9B2AF5D5E94FE5  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 06:48:46]
765*2^1232880-1 is not prime.  Res64: 5691AE2910D0BACF  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 06:48:48]
843*2^1232880-1 is not prime.  Res64: E25CAEFE0A33390E  Time : 0.0 sec.
user=vaughan
[2012-10-19 07:01:38]
725*2^1232880-1 is not prime.  Res64: CB3AB0BD19249066  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 07:05:38]
917*2^1232880-1 is not prime.  Res64: 9F254E9E6524A86E  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 07:05:41]
959*2^1232880-1 is not prime.  Res64: 6F84C0FF1B74DCA3  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 07:10:07]
681*2^1232881-1 is not prime.  Res64: 5ED3280A89EBA52F  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 07:10:10]
691*2^1232881-1 is not prime.  Res64: 3A0F481CF2DA9D8F  Time : 0.0 sec.
user=juhehe
[2012-10-19 07:19:27]
857*2^1232880-1 is not prime.  Res64: 131C94181BF48BE2  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 07:26:51]
715*2^1232881-1 is not prime.  Res64: 580A9545A97008D5  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 07:26:52]
769*2^1232881-1 is not prime.  Res64: BF3FF74B81D4157F  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 07:31:26]
855*2^1232881-1 is not prime.  Res64: 8F7035596DED83E2  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 07:31:27]
867*2^1232881-1 is not prime.  Res64: F9F1B737820F5ADF  Time : 0.0 sec.
user=juhehe
[2012-10-19 07:32:33]
705*2^1232881-1 is not prime.  Res64: D64725A3A1FFFB90  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 07:48:20]
877*2^1232881-1 is not prime.  Res64: 636045C62459C908  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 07:52:52]
979*2^1232881-1 is not prime.  Res64: 287F69C746E65D08  Time : 0.0 sec.
user=vaughan
[2012-10-19 08:13:48]
767*2^1232882-1 is not prime.  Res64: 04575E5BAB20FFA0  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 08:17:14]
895*2^1232881-1 is not prime.  Res64: 6EDB1C22DC33FEAD  Time : 0.0 sec.
user=juhehe
[2012-10-19 08:28:41]
827*2^1232882-1 is not prime.  Res64: E6593A695F841477  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 08:36:13]
633*2^1232882-1 is not prime.  Res64: F317EDBB24804F02  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 08:38:15]
801*2^1232883-1 is not prime.  Res64: 5554C3A3835E57E2  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 08:38:15]
829*2^1232883-1 is not prime.  Res64: 74E5F9842E25D739  Time : 0.0 sec.
user=juhehe
[2012-10-19 08:43:02]
945*2^1232882-1 is not prime.  Res64: 23AE3DF5E312FE13  Time : 0.0 sec.
user=vaughan
[2012-10-19 08:51:49]
685*2^1232883-1 is not prime.  Res64: B626CB346100CAFA  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 08:59:33]
951*2^1232883-1 is not prime.  Res64: 88C5898BBC51F9A1  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 08:59:35]
963*2^1232883-1 is not prime.  Res64: 19C419EAB98D8CD1  Time : 0.0 sec.
user=juhehe
[2012-10-19 09:04:39]
895*2^1232883-1 is not prime.  Res64: 0704319CCCD6CDA3  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 09:20:42]
623*2^1232884-1 is not prime.  Res64: D3D83BBE5F6450B5  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 09:20:44]
827*2^1232884-1 is not prime.  Res64: 2FAF3C5115D67602  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 09:24:02]
923*2^1232884-1 is not prime.  Res64: CA4A9E5BA167A4D1  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 09:24:03]
969*2^1232884-1 is not prime.  Res64: 4783A2C9BB274C24  Time : 0.0 sec.
user=juhehe
[2012-10-19 09:40:32]
995*2^1232884-1 is not prime.  Res64: 92E8C4A6BFD380E6  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 09:41:49]
657*2^1232885-1 is not prime.  Res64: 1CEE83140306F032  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 09:41:50]
675*2^1232885-1 is not prime.  Res64: 4C5F3935C078D4CF  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 09:45:14]
691*2^1232885-1 is not prime.  Res64: 2456FBCCC1BA4A50  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 09:45:16]
697*2^1232885-1 is not prime.  Res64: 28D1FD0C3ED28628  Time : 0.0 sec.
user=juhehe
[2012-10-19 09:53:07]
607*2^1232885-1 is not prime.  Res64: DEDE6E2C2A5130AF  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 10:02:45]
925*2^1232885-1 is not prime.  Res64: 2FCDEA3A907C97C5  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 10:02:47]
937*2^1232885-1 is not prime.  Res64: 5C98C830A20399C8  Time : 0.0 sec.
user=vaughan
[2012-10-19 10:05:12]
771*2^1232885-1 is not prime.  Res64: 40779A5A8CBE27F9  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 10:06:25]
969*2^1232885-1 is not prime.  Res64: 247B2AB2FCFB63A7  Time : 0.0 sec.
user=juhehe
[2012-10-19 10:16:46]
795*2^1232885-1 is not prime.  Res64: 7A9D4DAF9D8CBAF1  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 10:23:59]
825*2^1232886-1 is not prime.  Res64: 216A046657718EDC  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 10:24:17]
875*2^1232886-1 is not prime.  Res64: CD69EC78CC315D40  Time : 0.0 sec.
user=juhehe
[2012-10-19 10:28:49]
695*2^1232886-1 is not prime.  Res64: DCD0835BE366A325  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 10:33:49]
627*2^1232886-1 is not prime.  Res64: 608D43B8186367E4  Time : 0.0 sec.
user=vaughan
[2012-10-19 10:42:52]
971*2^1232886-1 is not prime.  Res64: 386C05690BFAE809  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 10:55:03]
759*2^1232887-1 is not prime.  Res64: 29090C9931A273E3  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 10:55:05]
805*2^1232887-1 is not prime.  Res64: 5F09AF4721F033F7  Time : 0.0 sec.
user=juhehe
[2012-10-19 11:04:46]
673*2^1232887-1 is not prime.  Res64: 462C077FAC93915D  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 11:13:19]
939*2^1232887-1 is not prime.  Res64: E98142EC6B1471BD  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 11:13:22]
623*2^1232888-1 is not prime.  Res64: 03EF2BA009FA9C63  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 11:16:13]
713*2^1232888-1 is not prime.  Res64: 3DB84FCC4792F51E  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 11:16:16]
777*2^1232888-1 is not prime.  Res64: DE43D222B7B9A22C  Time : 0.0 sec.
user=vaughan
[2012-10-19 11:20:39]
841*2^1232887-1 is not prime.  Res64: E4BCA468E7A0F3C9  Time : 0.0 sec.
user=juhehe
[2012-10-19 11:26:36]
931*2^1232887-1 is not prime.  Res64: 8069A99648496125  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 11:34:22]
855*2^1232888-1 is not prime.  Res64: 9FC3C4CBB696072B  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 11:34:24]
875*2^1232888-1 is not prime.  Res64: CDA93F5EECA56CCE  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 11:37:13]
963*2^1232888-1 is not prime.  Res64: 213738142E6D85EF  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 11:37:34]
993*2^1232888-1 is not prime.  Res64: DB90A591F39A5FB1  Time : 0.0 sec.
user=juhehe
[2012-10-19 11:41:23]
789*2^1232888-1 is not prime.  Res64: 4F297F4C1BF460DF  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 11:55:56]
633*2^1232787-1 is not prime.  Res64: 72C7F96E69BA35F2  Time : 0.0 sec.
user=vaughan
[2012-10-19 11:58:32]
661*2^1232889-1 is not prime.  Res64: 3191C172A60AF36B  Time : 0.0 sec.
user=juhehe
[2012-10-19 12:02:39]
705*2^1232889-1 is not prime.  Res64: 3F598C0DA53B271C  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 12:25:58]
645*2^1232890-1 is not prime.  Res64: 73780034E437D8FC  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 12:25:59]
647*2^1232890-1 is not prime.  Res64: 85C5BDBD8E8BB6D6  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 12:26:45]
675*2^1232787-1 is not prime.  Res64: D2238F5102C871F8  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 12:47:34]
713*2^1232890-1 is not prime.  Res64: 5BEE756BB4D0A749  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 12:47:34]
825*2^1232890-1 is not prime.  Res64: E87C33B4BF98C416  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 12:48:19]
831*2^1232890-1 is not prime.  Res64: D948025B9599571B  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 12:48:20]
857*2^1232890-1 is not prime.  Res64: CF1621C1CCA690FA  Time : 0.0 sec.
user=juhehe
[2012-10-19 12:51:19]
677*2^1232890-1 is not prime.  Res64: F2041ECC5BEFF923  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 13:09:08]
891*2^1232890-1 is not prime.  Res64: 4A358AED2EE5CA7B  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 13:09:10]
615*2^1232891-1 is not prime.  Res64: 74580F5ADCD494A8  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 13:09:55]
649*2^1232891-1 is not prime.  Res64: 9F216DAE7DDE1686  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 13:09:57]
669*2^1232891-1 is not prime.  Res64: 495EC5EEB0DF8C58  Time : 0.0 sec.
user=vaughan
[2012-10-19 13:12:13]
867*2^1232890-1 is not prime.  Res64: A3300865C4A1438C  Time : 0.0 sec.
user=juhehe
[2012-10-19 13:12:38]
887*2^1232890-1 is not prime.  Res64: 109B7E8A0AD1E5EC  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 13:30:39]
703*2^1232787-1 is not prime.  Res64: 1B43459B03483DDC  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 13:31:16]
859*2^1232787-1 is not prime.  Res64: 45790356B3D97BCE  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 13:31:17]
891*2^1232787-1 is not prime.  Res64: 9C878D2DBDEAAEA5  Time : 0.0 sec.
user=juhehe
[2012-10-19 13:49:18]
919*2^1232787-1 is not prime.  Res64: 2C9ECF9BA033F65E  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 13:52:25]
961*2^1232787-1 is not prime.  Res64: 6EF6E08D3CB2EF8C  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 14:10:37]
735*2^1232787-1 is not prime.  Res64: 6130DFB913AEFDA5  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 14:24:58]
745*2^1232891-1 is not prime.  Res64: 5283BFCA84FA4AA0  Time : 0.0 sec.
user=vaughan
[2012-10-19 14:25:46]
879*2^1232891-1 is not prime.  Res64: 303B8BC59FD17929  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 14:31:38]
981*2^1232891-1 is not prime.  Res64: 6EB2284AA522D2AF  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 14:31:38]
639*2^1232892-1 is not prime.  Res64: A5A74175D134475C  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 14:45:53]
669*2^1232892-1 is not prime.  Res64: FB9F25AF5E716B14  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 14:52:28]
797*2^1232892-1 is not prime.  Res64: E5E8AED71A4BB2BB  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 14:52:29]
945*2^1232892-1 is not prime.  Res64: 974D9C19FD418714  Time : 0.0 sec.
user=vaughan
[2012-10-19 15:03:28]
759*2^1232892-1 is not prime.  Res64: 9C1C55E69FBC0A28  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 15:13:36]
957*2^1232892-1 is not prime.  Res64: 53081D6270AF68B1  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 15:14:33]
695*2^1232892-1 is not prime.  Res64: 6775F0365E9765A7  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 15:36:00]
819*2^1232893-1 is not prime.  Res64: 213158E033879FF9  Time : 0.0 sec.
user=vaughan
[2012-10-19 15:41:20]
769*2^1232893-1 is not prime.  Res64: 0227F57461E2AD52  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 15:53:17]
987*2^1232892-1 is not prime.  Res64: 8FA046EFB7FB45D6  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 16:14:28]
999*2^1232893-1 is not prime.  Res64: D018B2FB4AA1EA4A  Time : 0.0 sec.
user=vaughan
[2012-10-19 16:19:11]
985*2^1232893-1 is not prime.  Res64: 460A2AAECCC56D28  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 16:29:42]
925*2^1232893-1 is not prime.  Res64: 62063598FE25D665  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 16:43:00]
663*2^1232894-1 is not prime.  Res64: 3337857134553EB7  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 16:51:03]
773*2^1232894-1 is not prime.  Res64: 35F970E8599BEF5F  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 16:51:04]
825*2^1232894-1 is not prime.  Res64: EB54AA99DAF06513  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 17:04:47]
861*2^1232894-1 is not prime.  Res64: 5D283863D9F3BA2C  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 17:12:45]
875*2^1232894-1 is not prime.  Res64: B8D46BC14B7D72BA  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 17:12:45]
885*2^1232894-1 is not prime.  Res64: E91FA7B2F411DD39  Time : 0.0 sec.
user=vaughan
[2012-10-19 17:31:12]
887*2^1232894-1 is not prime.  Res64: 5F94BDBC15D5079D  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 17:34:43]
971*2^1232894-1 is not prime.  Res64: B05075C115F219A2  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 17:34:43]
685*2^1232895-1 is not prime.  Res64: 0835CEB095E3ADFC  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 17:36:22]
873*2^1232894-1 is not prime.  Res64: B11ADA604E599901  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 17:56:28]
963*2^1232895-1 is not prime.  Res64: F678605FB699CFC2  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 17:56:29]
663*2^1232896-1 is not prime.  Res64: 69DFEA35AE237C15  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 17:58:01]
707*2^1232896-1 is not prime.  Res64: 7DE0045D86735091  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 17:58:02]
743*2^1232896-1 is not prime.  Res64: A2A51327CDAFB6D5  Time : 0.0 sec.
user=vaughan
[2012-10-19 18:08:53]
861*2^1232895-1 is not prime.  Res64: 8ED2831F62EC3AF4  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 18:18:09]
779*2^1232896-1 is not prime.  Res64: 617EFD757EA47C2E  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 18:18:11]
855*2^1232896-1 is not prime.  Res64: 92EDDA95F6855550  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 18:19:38]
897*2^1232896-1 is not prime.  Res64: C5A11B034020767E  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 18:19:39]
619*2^1232897-1 is not prime.  Res64: FD8A704859418C1C  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 18:39:48]
831*2^1232897-1 is not prime.  Res64: B7593DBB4AAEDA51  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 18:39:48]
731*2^1232898-1 is not prime.  Res64: 9F3B84068C26A9AE  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 18:41:07]
951*2^1232898-1 is not prime.  Res64: 7A9E16E736623229  Time : 0.0 sec.
user=vaughan
[2012-10-19 18:46:33]
697*2^1232897-1 is not prime.  Res64: FB5343979FBF4EEB  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 19:00:50]
993*2^1232898-1 is not prime.  Res64: 2B89EF3EFF6DBC6B  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 19:00:52]
619*2^1232899-1 is not prime.  Res64: F022F70D50D209CF  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 19:21:39]
963*2^1232898-1 is not prime.  Res64: CA4D766F7F8F6883  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 19:22:26]
639*2^1232899-1 is not prime.  Res64: A59E8E1F128CC28D  Time : 0.0 sec.
user=vaughan
[2012-10-19 19:24:40]
621*2^1232899-1 is not prime.  Res64: 54FA9291B498042A  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 19:43:18]
789*2^1232899-1 is not prime.  Res64: 73898C2B8C474677  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 19:43:18]
793*2^1232899-1 is not prime.  Res64: 7AFCEEE0B61D1F53  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 20:00:52]
733*2^1232899-1 is not prime.  Res64: 00B24901DC349083  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 20:05:03]
909*2^1232899-1 is not prime.  Res64: 6B5ABB92DA940887  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 20:05:05]
943*2^1232899-1 is not prime.  Res64: 4106F15D08BFE7EC  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 20:26:56]
615*2^1232900-1 is not prime.  Res64: 237723F21F9B3B54  Time : 0.0 sec.
user=vaughan
[2012-10-19 20:38:09]
979*2^1232899-1 is not prime.  Res64: 5950D30F8D4FAFD3  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 20:53:38]
689*2^1232900-1 is not prime.  Res64: 9B332A4E7936C093  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 20:58:54]
635*2^1232900-1 is not prime.  Res64: A2E88C61FE470218  Time : 0.0 sec.
user=vaughan
[2012-10-19 21:16:04]
959*2^1232900-1 is not prime.  Res64: 56CE3C54513D0BE1  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 21:20:30]
691*2^1232901-1 is not prime.  Res64: D9B285017D42FDFF  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 21:28:15]
875*2^1232900-1 is not prime.  Res64: B58500020E4DEAC1  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 21:35:59]
777*2^1232901-1 is not prime.  Res64: 74A66BCE24004BF5  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 21:49:50]
817*2^1232901-1 is not prime.  Res64: 49C15F7848D5111B  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 21:57:27]
635*2^1232902-1 is not prime.  Res64: 9F21885753B9A934  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 21:57:28]
671*2^1232902-1 is not prime.  Res64: D9482E8A2A21F1A1  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 22:18:56]
661*2^1232903-1 is not prime.  Res64: 9AF1CCF90A0322D4  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 22:18:57]
673*2^1232903-1 is not prime.  Res64: C162F630AA4C6652  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 22:21:14]
871*2^1232901-1 is not prime.  Res64: 8DB78201D17D51B5  Time : 0.0 sec.
user=vaughan
[2012-10-19 22:29:22]
885*2^1232902-1 is not prime.  Res64: 1BFF3BD59E2E35D6  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 22:40:19]
685*2^1232903-1 is not prime.  Res64: 11629799FBE005A2  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 22:42:21]
705*2^1232903-1 is not prime.  Res64: A022DC6BBAAE3794  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 22:42:22]
735*2^1232903-1 is not prime.  Res64: 903BC012498B8475  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 23:03:47]
861*2^1232903-1 is not prime.  Res64: D846B93D837E8FEE  Time : 0.0 sec.
user=vaughan
[2012-10-19 23:07:07]
819*2^1232903-1 is not prime.  Res64: 2758E88F803D9BE8  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 23:07:35]
703*2^1232903-1 is not prime.  Res64: 23360068D4F57BF3  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 23:29:03]
921*2^1232903-1 is not prime.  Res64: AF53BAC5A8D5E20B  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 23:29:23]
999*2^1232903-1 is not prime.  Res64: 9C43FEB28EE39401  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 23:34:30]
895*2^1232903-1 is not prime.  Res64: 68AEE8901FEE4AC1  Time : 0.0 sec.
user=vaughan
[2012-10-19 23:44:50]
901*2^1232903-1 is not prime.  Res64: 6F035ABF376B809A  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 23:55:50]
605*2^1232904-1 is not prime.  Res64: 7D23D8E6DE0A641E  Time : 0.0 sec.
user=mdettweiler
[2012-10-19 23:55:51]
609*2^1232904-1 is not prime.  Res64: 4A9722FC670B1F5E  Time : 0.0 sec.