user=vaughan
[2012-10-01 00:01:11]
691*2^1229801-1 is not prime.  Res64: 2ABFDA5ABFACE1D8  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 00:06:59]
921*2^1229802-1 is not prime.  Res64: 7FEE7AAFE12B5067  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 00:07:01]
945*2^1229802-1 is not prime.  Res64: 399F7C89F9F802FB  Time : 0.0 sec.
user=odicin
[2012-10-01 00:07:38]
963*2^1229802-1 is not prime.  Res64: 4B23D2E59D7633E4  Time : 0.0 sec.
user=odicin
[2012-10-01 00:19:57]
873*2^1229803-1 is not prime.  Res64: AB5822AE5DCDD1EB  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 00:21:14]
975*2^1229802-1 is not prime.  Res64: EDA749A72202F653  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 00:21:15]
977*2^1229802-1 is not prime.  Res64: 4A710DECD9495834  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 00:27:47]
723*2^1229803-1 is not prime.  Res64: 3B3B9E725A74F942  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 00:27:48]
765*2^1229803-1 is not prime.  Res64: B701C3C036E0612A  Time : 0.0 sec.
user=odicin
[2012-10-01 00:32:25]
951*2^1229803-1 is not prime.  Res64: AA42D6474301E6F1  Time : 0.0 sec.
user=vaughan
[2012-10-01 00:38:50]
673*2^1229803-1 is not prime.  Res64: 57A24CDE2A2BE1E0  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 00:41:56]
683*2^1229804-1 is not prime.  Res64: A691E6750C94F3B1  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 00:41:57]
687*2^1229804-1 is not prime.  Res64: E7A99FEFEFD18002  Time : 0.0 sec.
user=odicin
[2012-10-01 00:44:44]
959*2^1229804-1 is not prime.  Res64: 50A1D6336777A420  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 00:48:33]
707*2^1229804-1 is not prime.  Res64: 05B7ADA446EEDA54  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 00:48:34]
759*2^1229804-1 is not prime.  Res64: 8AFF7B3E44EF5E88  Time : 0.0 sec.
user=odicin
[2012-10-01 00:57:08]
889*2^1229805-1 is not prime.  Res64: 4FF7FF106495690B  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 01:02:37]
789*2^1229805-1 is not prime.  Res64: 9AA052025A5609C3  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 01:02:39]
871*2^1229805-1 is not prime.  Res64: 54FD8FF3BD01C41C  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 01:09:16]
951*2^1229805-1 is not prime.  Res64: 1417A74134288900  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 01:09:17]
785*2^1229806-1 is not prime.  Res64: 89A3FBD31DE93766  Time : 0.0 sec.
user=odicin
[2012-10-01 01:09:42]
825*2^1229806-1 is not prime.  Res64: 050FA3FF1C622D68  Time : 0.0 sec.
user=vaughan
[2012-10-01 01:16:29]
995*2^1229804-1 is not prime.  Res64: 188434D55CC56D5E  Time : 0.0 sec.
user=odicin
[2012-10-01 01:22:11]
735*2^1229807-1 is not prime.  Res64: C669FA75C086AD74  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 01:23:21]
857*2^1229806-1 is not prime.  Res64: A4B4EED5039D3228  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 01:23:22]
873*2^1229806-1 is not prime.  Res64: 3D7041061F01836B  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 01:30:06]
993*2^1229806-1 is not prime.  Res64: 1E7A8954066CC02B  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 01:30:13]
685*2^1229807-1 is not prime.  Res64: 5C04B01F602E7356  Time : 0.0 sec.
user=odicin
[2012-10-01 01:34:36]
909*2^1229807-1 is not prime.  Res64: 8B9B9A48381006B9  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 01:44:06]
979*2^1229807-1 is not prime.  Res64: 22FB66D82015D010  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 01:44:07]
723*2^1229808-1 is not prime.  Res64: 16E056053385E6E5  Time : 0.0 sec.
user=odicin
[2012-10-01 01:46:59]
759*2^1229809-1 is not prime.  Res64: 141065DF2CDCB692  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 01:51:00]
797*2^1229808-1 is not prime.  Res64: 6C8BE03B753FD09B  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 01:51:01]
615*2^1229809-1 is not prime.  Res64: CFF20A094D7BB127  Time : 0.0 sec.
user=vaughan
[2012-10-01 01:54:15]
741*2^1229807-1 is not prime.  Res64: E053FBB7A9BCC2A3  Time : 0.0 sec.
user=odicin
[2012-10-01 01:59:27]
633*2^1229810-1 is not prime.  Res64: E379D5A8F23AE359  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 02:04:52]
861*2^1229809-1 is not prime.  Res64: 1061C2DD3A84729C  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 02:04:57]
985*2^1229809-1 is not prime.  Res64: 92911958056420E5  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 02:11:44]
711*2^1229810-1 is not prime.  Res64: 2F1B53FF61054FC2  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 02:11:46]
783*2^1229810-1 is not prime.  Res64: FF590B11A355D018  Time : 0.0 sec.
user=odicin
[2012-10-01 02:12:00]
911*2^1229810-1 is not prime.  Res64: 66E68AA954CEA8D3  Time : 0.0 sec.
user=odicin
[2012-10-01 02:24:32]
625*2^1229811-1 is not prime.  Res64: C0C2F7434EE06128  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 02:26:10]
917*2^1229810-1 is not prime.  Res64: 3CEBE459E5625D25  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 02:26:11]
951*2^1229810-1 is not prime.  Res64: 6472570189E00B59  Time : 0.0 sec.
user=vaughan
[2012-10-01 02:31:54]
867*2^1229810-1 is not prime.  Res64: 367354DD511A7F6C  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 02:32:28]
601*2^1229811-1 is not prime.  Res64: 4058FF54A1999971  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 02:32:30]
619*2^1229811-1 is not prime.  Res64: D7F660E5B962CF1C  Time : 0.0 sec.
user=odicin
[2012-10-01 02:36:57]
639*2^1229811-1 is not prime.  Res64: 1C26BF7C22E5159B  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 02:46:56]
651*2^1229811-1 is not prime.  Res64: 855347988A5B46E4  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 02:47:00]
679*2^1229811-1 is not prime.  Res64: C818101B0A00021D  Time : 0.0 sec.
user=odicin
[2012-10-01 02:49:17]
803*2^1229812-1 is not prime.  Res64: 9D16D2486299118A  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 02:53:17]
647*2^1229812-1 is not prime.  Res64: D9C961886CF47F14  Time : 0.0 sec.
user=odicin
[2012-10-01 03:01:46]
983*2^1229812-1 is not prime.  Res64: CF5EF472E5FDDC23  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 03:08:12]
869*2^1229812-1 is not prime.  Res64: 9510F4B92A2909AC  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 03:08:15]
885*2^1229812-1 is not prime.  Res64: F6724886E0FDBDE5  Time : 0.0 sec.
user=vaughan
[2012-10-01 03:09:32]
745*2^1229811-1 is not prime.  Res64: 0BA0FA704FE509F4  Time : 0.0 sec.
user=odicin
[2012-10-01 03:14:21]
607*2^1229813-1 is not prime.  Res64: 2FD03815B174BEB6  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 03:20:23]
705*2^1229812-1 is not prime.  Res64: 81FD92F8CA076B07  Time : 0.0 sec.
user=odicin
[2012-10-01 03:26:47]
721*2^1229813-1 is not prime.  Res64: 7036AFE18E927F1F  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 03:29:04]
619*2^1229813-1 is not prime.  Res64: 96B4644EE18A49D0  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 03:29:05]
621*2^1229813-1 is not prime.  Res64: BC540EF835C85FA9  Time : 0.0 sec.
user=odicin
[2012-10-01 03:39:11]
927*2^1229813-1 is not prime.  Res64: 74914B2AC5508987  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 03:41:09]
831*2^1229813-1 is not prime.  Res64: 2CA31A68E0E55D08  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 03:41:12]
867*2^1229813-1 is not prime.  Res64: 8B0905C4C8A9AC5B  Time : 0.0 sec.
user=vaughan
[2012-10-01 03:47:14]
699*2^1229813-1 is not prime.  Res64: 7AA6F8C599D823DD  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 03:49:51]
611*2^1229814-1 is not prime.  Res64: CD1609B89FF62878  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 03:49:52]
641*2^1229814-1 is not prime.  Res64: 6648022DE92C2BBF  Time : 0.0 sec.
user=odicin
[2012-10-01 03:51:41]
651*2^1229814-1 is not prime.  Res64: D22E1CCF5ECA11F3  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 04:02:00]
705*2^1229814-1 is not prime.  Res64: 3FF9E030AFA4B7B7  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 04:02:02]
707*2^1229814-1 is not prime.  Res64: DC02C524E5BF8039  Time : 0.0 sec.
user=odicin
[2012-10-01 04:04:01]
921*2^1229814-1 is not prime.  Res64: 51EFADA31E56E94E  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 04:10:37]
807*2^1229814-1 is not prime.  Res64: 4A4A8102C21E4A95  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 04:10:39]
863*2^1229814-1 is not prime.  Res64: 99526A217A7CCFA5  Time : 0.0 sec.
user=odicin
[2012-10-01 04:16:24]
975*2^1229814-1 is not prime.  Res64: A2FC90053EB8415C  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 04:22:56]
957*2^1229814-1 is not prime.  Res64: AC062E9E1957B702  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 04:22:57]
971*2^1229814-1 is not prime.  Res64: 4CF5C8460A08F202  Time : 0.0 sec.
user=vaughan
[2012-10-01 04:24:56]
765*2^1229814-1 is not prime.  Res64: DDB29DB74179D3BB  Time : 0.0 sec.
user=odicin
[2012-10-01 04:28:44]
685*2^1229815-1 is not prime.  Res64: 7BA0F4467C6B1D7D  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 04:31:23]
601*2^1229815-1 is not prime.  Res64: 34CE6946FC320C37  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 04:31:25]
645*2^1229815-1 is not prime.  Res64: 04CD930AE78489D7  Time : 0.0 sec.
user=odicin
[2012-10-01 04:41:11]
873*2^1229815-1 is not prime.  Res64: EBD6B462952B51A2  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 04:43:38]
759*2^1229815-1 is not prime.  Res64: 2C6D1AA229AFBA32  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 04:43:39]
831*2^1229815-1 is not prime.  Res64: 0D4EF9B32D5E1915  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 04:52:06]
999*2^1229815-1 is not prime.  Res64: ACF681D6F316D2E4  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 04:52:07]
669*2^1229816-1 is not prime.  Res64: B1413E6E58EB6143  Time : 0.0 sec.
user=odicin
[2012-10-01 04:53:36]
699*2^1229816-1 is not prime.  Res64: 54C9DC271DCC11B5  Time : 0.0 sec.
user=vaughan
[2012-10-01 05:02:37]
855*2^1229815-1 is not prime.  Res64: 90D5DF41D0FA67AC  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 05:04:22]
773*2^1229816-1 is not prime.  Res64: 59E7D2F168AD19B2  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 05:04:24]
789*2^1229816-1 is not prime.  Res64: 1E96B2732695E050  Time : 0.0 sec.
user=odicin
[2012-10-01 05:05:59]
855*2^1229816-1 is not prime.  Res64: 27BA0895EED2AC76  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 05:12:49]
815*2^1229816-1 is not prime.  Res64: DEB310F15BB8EEFC  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 05:12:51]
837*2^1229816-1 is not prime.  Res64: 04137B817A0BCFD9  Time : 0.0 sec.
user=odicin
[2012-10-01 05:18:17]
741*2^1229817-1 is not prime.  Res64: 3111371C65ECC968  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 05:25:07]
935*2^1229816-1 is not prime.  Res64: 87D5423A79E29092  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 05:25:08]
969*2^1229816-1 is not prime.  Res64: E41E60ED23416110  Time : 0.0 sec.
user=odicin
[2012-10-01 05:31:07]
835*2^1229817-1 is not prime.  Res64: A6352287BEC3411D  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 05:33:34]
759*2^1229817-1 is not prime.  Res64: FCAF435904A3F668  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 05:33:35]
765*2^1229817-1 is not prime.  Res64: 7CD84415826CE215  Time : 0.0 sec.
user=vaughan
[2012-10-01 05:40:29]
903*2^1229816-1 is not prime.  Res64: 79CC7FE340A9E38C  Time : 0.0 sec.
user=odicin
[2012-10-01 05:43:28]
635*2^1229818-1 is not prime.  Res64: E5AD072A2BBA8210  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 05:45:51]
861*2^1229817-1 is not prime.  Res64: 716109B21F2743EF  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 05:45:52]
915*2^1229817-1 is not prime.  Res64: AD3D3B307CA6CE93  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 05:54:17]
647*2^1229818-1 is not prime.  Res64: CA7EE554AE36E1E9  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 05:54:18]
687*2^1229818-1 is not prime.  Res64: 818C09AC250DD7C9  Time : 0.0 sec.
user=odicin
[2012-10-01 05:55:51]
827*2^1229818-1 is not prime.  Res64: D30D679790055BFF  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 06:06:34]
831*2^1229818-1 is not prime.  Res64: B2A77AFE3ED56BD2  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 06:06:36]
971*2^1229818-1 is not prime.  Res64: 76509C900CEE929D  Time : 0.0 sec.
user=odicin
[2012-10-01 06:08:09]
601*2^1229819-1 is not prime.  Res64: 87CF5897762EA409  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 06:14:59]
987*2^1229818-1 is not prime.  Res64: 4411F56B9A27D8C3  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 06:15:00]
1001*2^1229818-1 is not prime.  Res64: B3F213553DA93A5E  Time : 0.0 sec.
user=vaughan
[2012-10-01 06:18:08]
813*2^1229818-1 is not prime.  Res64: DB0B222D57929E86  Time : 0.0 sec.
user=odicin
[2012-10-01 06:20:33]
653*2^1229820-1 is not prime.  Res64: 68996F44C1BB1692  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 06:27:25]
885*2^1229819-1 is not prime.  Res64: 04A84EB3D5A56396  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 06:27:26]
949*2^1229819-1 is not prime.  Res64: 47DF1B908B153C4D  Time : 0.0 sec.
user=odicin
[2012-10-01 06:32:53]
867*2^1229820-1 is not prime.  Res64: CC65D9E4219C8C3A  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 06:35:57]
725*2^1229820-1 is not prime.  Res64: EDB303FB3DDE6F7F  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 06:35:58]
767*2^1229820-1 is not prime.  Res64: 24DC81936E0CC3EC  Time : 0.0 sec.
user=odicin
[2012-10-01 06:45:12]
769*2^1229821-1 is not prime.  Res64: 679FC2F3C1AF4003  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 06:48:10]
965*2^1229820-1 is not prime.  Res64: BBAC25990A1AF053  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 06:48:10]
675*2^1229821-1 is not prime.  Res64: EE6196AFD083BCD2  Time : 0.0 sec.
user=vaughan
[2012-10-01 06:55:48]
779*2^1229820-1 is not prime.  Res64: 9173C2BCB88ED5CD  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 06:56:42]
895*2^1229821-1 is not prime.  Res64: 901502C9A0922F68  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 06:56:43]
937*2^1229821-1 is not prime.  Res64: 2BBBE363DA8A2913  Time : 0.0 sec.
user=odicin
[2012-10-01 06:57:32]
955*2^1229821-1 is not prime.  Res64: 6461B77069D26221  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 07:08:52]
961*2^1229821-1 is not prime.  Res64: E9C81C3D974CF23A  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 07:08:54]
623*2^1229822-1 is not prime.  Res64: 83D37997287189FC  Time : 0.0 sec.
user=odicin
[2012-10-01 07:09:49]
887*2^1229822-1 is not prime.  Res64: 90A64AA0F2497174  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 07:17:24]
747*2^1229822-1 is not prime.  Res64: EBAA27655F5A3298  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 07:17:24]
797*2^1229822-1 is not prime.  Res64: 3DCE71BF3BD38E75  Time : 0.0 sec.
user=odicin
[2012-10-01 07:22:11]
775*2^1229823-1 is not prime.  Res64: ACB6FA69C44503A8  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 07:29:45]
613*2^1229823-1 is not prime.  Res64: B16AB5B421AB6475  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 07:29:46]
705*2^1229823-1 is not prime.  Res64: D8D20011A5377047  Time : 0.0 sec.
user=vaughan
[2012-10-01 07:33:29]
711*2^1229822-1 is not prime.  Res64: 48CA8BF4411BAE6E  Time : 0.0 sec.
user=odicin
[2012-10-01 07:34:39]
823*2^1229823-1 is not prime.  Res64: 515CBE8C47532974  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 07:38:07]
781*2^1229823-1 is not prime.  Res64: DCDC41B72EC44139  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 07:38:08]
819*2^1229823-1 is not prime.  Res64: A998C35F4B919C0C  Time : 0.0 sec.
user=odicin
[2012-10-01 07:46:55]
963*2^1229823-1 is not prime.  Res64: DFC45EDB7BF57730  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 07:50:26]
871*2^1229823-1 is not prime.  Res64: 230537F14FEA724E  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 07:50:28]
879*2^1229823-1 is not prime.  Res64: 6362F5DC2D061AC5  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 07:58:51]
675*2^1229824-1 is not prime.  Res64: E41E85E28FBDEED6  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 07:58:52]
743*2^1229824-1 is not prime.  Res64: 290A6757DF44AEBE  Time : 0.0 sec.
user=odicin
[2012-10-01 07:59:14]
939*2^1229824-1 is not prime.  Res64: 8B8CD638AA91B385  Time : 0.0 sec.
user=vaughan
[2012-10-01 08:11:07]
891*2^1229823-1 is not prime.  Res64: AD4BEC5ADE08006D  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 08:11:08]
975*2^1229824-1 is not prime.  Res64: 361444F8CD77F64E  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 08:11:10]
705*2^1229825-1 is not prime.  Res64: DCBC958DD75D185D  Time : 0.0 sec.
user=odicin
[2012-10-01 08:11:35]
819*2^1229825-1 is not prime.  Res64: 92300858887F3996  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 08:19:33]
775*2^1229825-1 is not prime.  Res64: 02D47441DA1C6046  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 08:19:34]
787*2^1229825-1 is not prime.  Res64: 90E45C25D4A2A85B  Time : 0.0 sec.
user=odicin
[2012-10-01 08:23:59]
723*2^1229826-1 is not prime.  Res64: 1F500518E4B64367  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 08:31:55]
837*2^1229825-1 is not prime.  Res64: 5439EDA0F2EC038F  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 08:31:55]
671*2^1229826-1 is not prime.  Res64: 4F3C207F6B47F07E  Time : 0.0 sec.
user=odicin
[2012-10-01 08:36:18]
873*2^1229826-1 is not prime.  Res64: E61FBF623F97D64F  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 08:40:18]
801*2^1229826-1 is not prime.  Res64: 372429A9CF38AE73  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 08:40:18]
815*2^1229826-1 is not prime.  Res64: F6FBE4BF4A29AAD7  Time : 0.0 sec.
user=odicin
[2012-10-01 08:48:46]
625*2^1229827-1 is not prime.  Res64: 2B15BC3236ADA9A9  Time : 0.0 sec.
user=vaughan
[2012-10-01 08:48:58]
717*2^1229826-1 is not prime.  Res64: 0B3F556E0AD05B6B  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 08:52:34]
917*2^1229826-1 is not prime.  Res64: 3433DFD583378D20  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 08:52:35]
947*2^1229826-1 is not prime.  Res64: 24EC9668DB66D4AD  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 09:01:00]
649*2^1229827-1 is not prime.  Res64: 5AC1847743A21E78  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 09:01:03]
793*2^1229827-1 is not prime.  Res64: 2569922DBEB2F89A  Time : 0.0 sec.
user=odicin
[2012-10-01 09:01:05]
813*2^1229827-1 is not prime.  Res64: 5C763F31797459F5  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 09:13:17]
951*2^1229827-1 is not prime.  Res64: 121603024BA93B23  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 09:13:18]
975*2^1229827-1 is not prime.  Res64: 893373A0AF347188  Time : 0.0 sec.
user=odicin
[2012-10-01 09:13:38]
749*2^1229828-1 is not prime.  Res64: 3AF266529062996F  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 09:22:04]
707*2^1229828-1 is not prime.  Res64: AE3DB969384CDC78  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 09:22:05]
725*2^1229828-1 is not prime.  Res64: 5ECC7D2D151D5229  Time : 0.0 sec.
user=odicin
[2012-10-01 09:25:59]
655*2^1229829-1 is not prime.  Res64: 00424BA94804A148  Time : 0.0 sec.
user=vaughan
[2012-10-01 09:26:37]
895*2^1229827-1 is not prime.  Res64: 80814B829BCFE04C  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 09:34:07]
759*2^1229828-1 is not prime.  Res64: 1C47A4FB675D212B  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 09:34:08]
601*2^1229829-1 is not prime.  Res64: F01700A2053FFEB3  Time : 0.0 sec.
user=odicin
[2012-10-01 09:38:16]
835*2^1229829-1 is not prime.  Res64: 02C9C551D1869B91  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 09:42:53]
735*2^1229829-1 is not prime.  Res64: 360D779DE64194EB  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 09:42:54]
831*2^1229829-1 is not prime.  Res64: BAF4C9638C86C003  Time : 0.0 sec.
user=odicin
[2012-10-01 09:50:36]
747*2^1229830-1 is not prime.  Res64: 1032C704647A5E49  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 09:54:48]
961*2^1229829-1 is not prime.  Res64: 25217337DCE340C9  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 09:54:49]
605*2^1229830-1 is not prime.  Res64: 9716F690CC139B3C  Time : 0.0 sec.
user=odicin
[2012-10-01 10:02:55]
825*2^1229831-1 is not prime.  Res64: A3E91C8C91FCB809  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 10:03:36]
981*2^1229830-1 is not prime.  Res64: B004C0AE813C78AB  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 10:03:38]
783*2^1229831-1 is not prime.  Res64: A8C7E112487F24D2  Time : 0.0 sec.
user=vaughan
[2012-10-01 10:04:31]
877*2^1229829-1 is not prime.  Res64: BC1AE5F54515F7AB  Time : 0.0 sec.
user=odicin
[2012-10-01 10:15:16]
693*2^1229832-1 is not prime.  Res64: C5C89949B4FDD56D  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 10:15:32]
829*2^1229831-1 is not prime.  Res64: 3802D0411965078E  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 10:15:34]
981*2^1229831-1 is not prime.  Res64: DBBB507F01D70BA1  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 10:24:22]
809*2^1229832-1 is not prime.  Res64: 24D88EB21A9A4E77  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 10:24:23]
909*2^1229832-1 is not prime.  Res64: 9D0A0290F49CD19D  Time : 0.0 sec.
user=odicin
[2012-10-01 10:28:18]
811*2^1229833-1 is not prime.  Res64: 4EA6423319DA353B  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 10:36:19]
831*2^1229833-1 is not prime.  Res64: D30397943CABEA00  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 10:36:20]
987*2^1229833-1 is not prime.  Res64: 6AF4B62193464D21  Time : 0.0 sec.
user=odicin
[2012-10-01 10:40:39]
683*2^1229834-1 is not prime.  Res64: 98F5A67F41C2CFCF  Time : 0.0 sec.
user=vaughan
[2012-10-01 10:42:14]
607*2^1229833-1 is not prime.  Res64: C57EC3803F251FC7  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 10:45:06]
671*2^1229834-1 is not prime.  Res64: 67FCC6721E84A2FB  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 10:45:08]
675*2^1229834-1 is not prime.  Res64: 41516548D5EA3421  Time : 0.0 sec.
user=odicin
[2012-10-01 10:53:01]
971*2^1229834-1 is not prime.  Res64: 1FCCABB448FF4DE3  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 10:57:00]
831*2^1229834-1 is not prime.  Res64: 0528217F6D6D4CA0  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 10:57:01]
921*2^1229834-1 is not prime.  Res64: 5D3458FB5FED06A8  Time : 0.0 sec.
user=odicin
[2012-10-01 11:05:28]
795*2^1229835-1 is not prime.  Res64: F464E349DA83AF28  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 11:05:52]
685*2^1229835-1 is not prime.  Res64: 54F8C7711300CDE4  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 11:05:54]
789*2^1229835-1 is not prime.  Res64: FFE6467C7C4BFAC4  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 11:17:43]
825*2^1229835-1 is not prime.  Res64: CAA98E95040229F2  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 11:17:44]
603*2^1229836-1 is not prime.  Res64: 816042AFA61EC97A  Time : 0.0 sec.
user=odicin
[2012-10-01 11:18:10]
677*2^1229836-1 is not prime.  Res64: 14D1006FC93561ED  Time : 0.0 sec.
user=vaughan
[2012-10-01 11:19:51]
679*2^1229835-1 is not prime.  Res64: 3E5FE50692375976  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 11:26:37]
723*2^1229836-1 is not prime.  Res64: 9CE9A760478D1361  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 11:26:38]
843*2^1229836-1 is not prime.  Res64: 2C6CF1FAF9D4BCD4  Time : 0.0 sec.
user=odicin
[2012-10-01 11:30:32]
655*2^1229837-1 is not prime.  Res64: 2746788B98EC26FD  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 11:38:35]
953*2^1229836-1 is not prime.  Res64: 2ED3E153CE835793  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 11:38:36]
631*2^1229837-1 is not prime.  Res64: A5E9EF09335CED70  Time : 0.0 sec.
user=odicin
[2012-10-01 11:42:55]
847*2^1229837-1 is not prime.  Res64: D24CC2C887073037  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 11:47:21]
699*2^1229837-1 is not prime.  Res64: 7DA842236AD15B65  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 11:47:22]
771*2^1229837-1 is not prime.  Res64: 9A4AA350370ABC2B  Time : 0.0 sec.
user=odicin
[2012-10-01 11:55:16]
957*2^1229837-1 is not prime.  Res64: 838A7797AFCDFCFB  Time : 0.0 sec.
user=vaughan
[2012-10-01 11:57:29]
685*2^1229837-1 is not prime.  Res64: 7600CB819C5819AE  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 11:59:20]
885*2^1229837-1 is not prime.  Res64: 719D77EE8FD58DA4  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 11:59:21]
927*2^1229837-1 is not prime.  Res64: AA8216EEC0AF237A  Time : 0.0 sec.
user=odicin
[2012-10-01 12:07:51]
765*2^1229838-1 is not prime.  Res64: 4BB8A99A4E5CA87D  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 12:08:07]
981*2^1229837-1 is not prime.  Res64: E98C93107ECAE061  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 12:08:09]
647*2^1229838-1 is not prime.  Res64: AE69345EAA55B0EA  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 12:20:03]
1001*2^1229838-1 is not prime.  Res64: 266672657D67DA4C  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 12:20:04]
615*2^1229839-1 is not prime.  Res64: C889F0E82DF9EFF0  Time : 0.0 sec.
user=odicin
[2012-10-01 12:20:17]
663*2^1229839-1 is not prime.  Res64: 28FEA4B8E8A732E4  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 12:28:50]
709*2^1229839-1 is not prime.  Res64: 924BB6C3019809A5  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 12:28:51]
735*2^1229839-1 is not prime.  Res64: 589866E4C55BE4C4  Time : 0.0 sec.
user=odicin
[2012-10-01 12:32:31]
853*2^1229839-1 is not prime.  Res64: 5B648AD8FD1F034E  Time : 0.0 sec.
user=vaughan
[2012-10-01 12:35:09]
891*2^1229838-1 is not prime.  Res64: 799BEECAC5514C12  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 12:40:50]
765*2^1229839-1 is not prime.  Res64: F0958C91DED19D8A  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 12:40:51]
841*2^1229839-1 is not prime.  Res64: 4C7A2EEE77C82427  Time : 0.0 sec.
user=odicin
[2012-10-01 12:44:56]
973*2^1229839-1 is not prime.  Res64: FF3A222686570988  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 12:49:37]
943*2^1229839-1 is not prime.  Res64: 174767D301E04AF6  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 12:49:38]
951*2^1229839-1 is not prime.  Res64: 92D05A4E6DF0696B  Time : 0.0 sec.
user=odicin
[2012-10-01 12:57:18]
717*2^1229840-1 is not prime.  Res64: B266FF71F35AD577  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 13:01:45]
645*2^1229840-1 is not prime.  Res64: E1DE90D53F7515D6  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 13:01:46]
675*2^1229840-1 is not prime.  Res64: 4A4F1C8FB414975B  Time : 0.0 sec.
user=odicin
[2012-10-01 13:09:43]
855*2^1229840-1 is not prime.  Res64: BE81840A1BAE8F9B  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 13:10:31]
767*2^1229840-1 is not prime.  Res64: 0172D5CA4681C674  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 13:10:34]
839*2^1229840-1 is not prime.  Res64: 272FA94AF5069784  Time : 0.0 sec.
user=vaughan
[2012-10-01 13:12:46]
609*2^1229840-1 is not prime.  Res64: FEE8AB1B80E0B7FC  Time : 0.0 sec.
user=odicin
[2012-10-01 13:22:14]
957*2^1229840-1 is not prime.  Res64: 20175B7FDC56E232  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 13:23:11]
909*2^1229840-1 is not prime.  Res64: 0B1FDF2904E8F547  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 13:23:11]
923*2^1229840-1 is not prime.  Res64: A31DE3D44C17BE74  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 13:31:45]
963*2^1229840-1 is not prime.  Res64: 45FDFF29D08D5C96  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 13:31:45]
627*2^1229841-1 is not prime.  Res64: 103663B8F75720C2  Time : 0.0 sec.
user=odicin
[2012-10-01 13:35:00]
669*2^1229841-1 is not prime.  Res64: 188E3F17C22743D6  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 13:44:17]
681*2^1229841-1 is not prime.  Res64: 3E645DA8EFA3EC27  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 13:44:18]
717*2^1229841-1 is not prime.  Res64: 0D5788B96904E102  Time : 0.0 sec.
user=odicin
[2012-10-01 13:47:32]
695*2^1229842-1 is not prime.  Res64: 26A75629253EB87C  Time : 0.0 sec.
user=vaughan
[2012-10-01 13:50:31]
651*2^1229841-1 is not prime.  Res64: E3CCEECFA3EF8FCE  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 13:52:51]
817*2^1229841-1 is not prime.  Res64: 41CAC86FC6BA4C4D  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 13:52:52]
623*2^1229842-1 is not prime.  Res64: E1D0D1C7089207C9  Time : 0.0 sec.
user=odicin
[2012-10-01 13:59:53]
915*2^1229842-1 is not prime.  Res64: 40DB6C3A121BBBBE  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 14:05:23]
713*2^1229842-1 is not prime.  Res64: 703DD18F445FCA83  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 14:05:24]
723*2^1229842-1 is not prime.  Res64: 643C3E66B8B78F79  Time : 0.0 sec.
user=odicin
[2012-10-01 14:12:14]
621*2^1229843-1 is not prime.  Res64: BBF337684B3097E4  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 14:13:53]
981*2^1229842-1 is not prime.  Res64: EC509C91CFA1DEF7  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 14:13:55]
995*2^1229842-1 is not prime.  Res64: 5EE12CA448BAA53C  Time : 0.0 sec.
user=odicin
[2012-10-01 14:24:42]
855*2^1229843-1 is not prime.  Res64: 25F4AD62BCB24B45  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 14:26:19]
693*2^1229843-1 is not prime.  Res64: A5436EE25729F5A4  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 14:26:20]
741*2^1229843-1 is not prime.  Res64: 3A8BC6E356C19EFA  Time : 0.0 sec.
user=vaughan
[2012-10-01 14:28:08]
957*2^1229842-1 is not prime.  Res64: C27B800FD159803C  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 14:34:49]
943*2^1229843-1 is not prime.  Res64: E0AD9D3E8F731C5D  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 14:34:50]
609*2^1229844-1 is not prime.  Res64: D939B5DC2D5CFA20  Time : 0.0 sec.
user=odicin
[2012-10-01 14:37:46]
623*2^1229844-1 is not prime.  Res64: 2EC24F82D6B73297  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 14:47:27]
657*2^1229844-1 is not prime.  Res64: 663C45DED8A6309A  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 14:47:27]
717*2^1229844-1 is not prime.  Res64: 637E3F1F6F2FB07D  Time : 0.0 sec.
user=odicin
[2012-10-01 14:50:14]
895*2^1229845-1 is not prime.  Res64: 205EF5D12FBF6BE7  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 14:55:59]
803*2^1229844-1 is not prime.  Res64: A9DB44C7BCEC3ED0  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 14:55:59]
903*2^1229844-1 is not prime.  Res64: 5E59BD35E455394A  Time : 0.0 sec.
user=odicin
[2012-10-01 15:02:30]
999*2^1229845-1 is not prime.  Res64: 95FFB7782F37E979  Time : 0.0 sec.
user=vaughan
[2012-10-01 15:05:48]
789*2^1229844-1 is not prime.  Res64: 404EAD9FC7CF07E1  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 15:08:38]
937*2^1229845-1 is not prime.  Res64: E2BAAFDA4B1B9E28  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 15:08:38]
985*2^1229845-1 is not prime.  Res64: 5989EF6B5FED7B9B  Time : 0.0 sec.
user=odicin
[2012-10-01 15:14:46]
711*2^1229846-1 is not prime.  Res64: BEE3D5835C21371F  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 15:17:09]
645*2^1229846-1 is not prime.  Res64: BFE2A195D7487261  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 15:17:10]
705*2^1229846-1 is not prime.  Res64: B210061A2C7AD428  Time : 0.0 sec.
user=odicin
[2012-10-01 15:27:07]
953*2^1229846-1 is not prime.  Res64: 54F215CDD5EA4924  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 15:29:51]
917*2^1229846-1 is not prime.  Res64: C472013EEC9C7EBA  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 15:29:51]
923*2^1229846-1 is not prime.  Res64: 6FE3E7E98958EBF0  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 15:38:22]
971*2^1229846-1 is not prime.  Res64: F74396BE9FA8194F  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 15:38:22]
1001*2^1229846-1 is not prime.  Res64: D1C88124952D49C9  Time : 0.0 sec.
user=odicin
[2012-10-01 15:39:31]
919*2^1229847-1 is not prime.  Res64: 702103BBFC1F05D7  Time : 0.0 sec.
user=vaughan
[2012-10-01 15:43:39]
741*2^1229846-1 is not prime.  Res64: 9A045E6848EBBE97  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 15:51:00]
951*2^1229847-1 is not prime.  Res64: 26A426F62623AB3F  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 15:51:01]
689*2^1229848-1 is not prime.  Res64: CD835E15A14812E1  Time : 0.0 sec.
user=odicin
[2012-10-01 15:51:54]
813*2^1229848-1 is not prime.  Res64: B3E984DE9D69823C  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 15:59:27]
735*2^1229848-1 is not prime.  Res64: AE7C296E3564FFF2  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 15:59:27]
797*2^1229848-1 is not prime.  Res64: E8797FFC3B628F38  Time : 0.0 sec.
user=odicin
[2012-10-01 16:04:24]
637*2^1229849-1 is not prime.  Res64: 11247B1190DA7DDD  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 16:12:00]
947*2^1229848-1 is not prime.  Res64: 2EFAF08C04AD2015  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 16:12:03]
631*2^1229849-1 is not prime.  Res64: 88C22389A66D54DE  Time : 0.0 sec.
user=odicin
[2012-10-01 16:16:46]
829*2^1229849-1 is not prime.  Res64: FEA6D1ACA55222F1  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 16:20:30]
729*2^1229849-1 is not prime.  Res64: 118C61553FCF75BE  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 16:20:30]
759*2^1229849-1 is not prime.  Res64: A3F8F7F97C453FB6  Time : 0.0 sec.
user=vaughan
[2012-10-01 16:21:18]
863*2^1229848-1 is not prime.  Res64: 59F7E5C602CDE555  Time : 0.0 sec.
user=odicin
[2012-10-01 16:29:14]
801*2^1229850-1 is not prime.  Res64: 096723EA66BA1F9A  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 16:33:24]
641*2^1229850-1 is not prime.  Res64: 60F2AFB9322468C3  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 16:33:24]
797*2^1229850-1 is not prime.  Res64: E8F0D27FD12E7966  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 16:41:31]
845*2^1229850-1 is not prime.  Res64: CA6CADB61D7A7590  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 16:41:31]
861*2^1229850-1 is not prime.  Res64: 57B31CDF59C95A5B  Time : 0.0 sec.
user=odicin
[2012-10-01 16:41:32]
971*2^1229850-1 is not prime.  Res64: AEDDE5495206D892  Time : 0.0 sec.
user=odicin
[2012-10-01 16:53:44]
769*2^1229851-1 is not prime.  Res64: 76AC40992060C04E  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 16:54:30]
1001*2^1229850-1 is not prime.  Res64: BEC2A4F2EB78A8AE  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 16:54:30]
631*2^1229851-1 is not prime.  Res64: CCF72A4E77722097  Time : 0.0 sec.
user=vaughan
[2012-10-01 16:58:55]
915*2^1229850-1 is not prime.  Res64: CE4B974941385DBC  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 17:03:03]
649*2^1229851-1 is not prime.  Res64: 3E80F98D759606DA  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 17:03:05]
715*2^1229851-1 is not prime.  Res64: A123AAE025C60E4E  Time : 0.0 sec.
user=odicin
[2012-10-01 17:06:05]
793*2^1229851-1 is not prime.  Res64: 969D0DD7DC61DE71  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 17:16:41]
813*2^1229851-1 is not prime.  Res64: 969D4157242BE6E4  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 17:16:43]
819*2^1229851-1 is not prime.  Res64: D310995538A3AFCB  Time : 0.0 sec.
user=odicin
[2012-10-01 17:18:19]
669*2^1229852-1 is not prime.  Res64: D96A2B180EDB60C3  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 17:25:14]
909*2^1229851-1 is not prime.  Res64: A31DCA3F22AFC972  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 17:25:14]
633*2^1229852-1 is not prime.  Res64: EC7354A3C11D920B  Time : 0.0 sec.
user=odicin
[2012-10-01 17:30:39]
873*2^1229852-1 is not prime.  Res64: 206F380AE2B0F945  Time : 0.0 sec.
user=vaughan
[2012-10-01 17:36:36]
885*2^1229851-1 is not prime.  Res64: 139AC0382FC8971A  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 17:38:10]
759*2^1229852-1 is not prime.  Res64: 8A7359D012F58587  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 17:38:11]
855*2^1229852-1 is not prime.  Res64: 3AA5DF5CB28F628A  Time : 0.0 sec.
user=odicin
[2012-10-01 17:42:55]
649*2^1229853-1 is not prime.  Res64: 4973F9134190A3A9  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 17:46:23]
935*2^1229852-1 is not prime.  Res64: 1048700CC8BB6713  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 17:46:23]
945*2^1229852-1 is not prime.  Res64: DAEC4AC12AF528BB  Time : 0.0 sec.
user=odicin
[2012-10-01 17:55:15]
999*2^1229853-1 is not prime.  Res64: 97440775269017F5  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 17:59:20]
835*2^1229853-1 is not prime.  Res64: B6770388F48C1C3A  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 17:59:21]
979*2^1229853-1 is not prime.  Res64: A4804D2D70643A53  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 18:07:21]
621*2^1229854-1 is not prime.  Res64: 1D51CF7DD9BA90EA  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 18:07:22]
821*2^1229854-1 is not prime.  Res64: 0CF8B1A382301B56  Time : 0.0 sec.
user=odicin
[2012-10-01 18:07:31]
831*2^1229854-1 is not prime.  Res64: 1A231ECC992A7C48  Time : 0.0 sec.
user=vaughan
[2012-10-01 18:14:12]
651*2^1229853-1 is not prime.  Res64: 086222216B2E0629  Time : 0.0 sec.
user=odicin
[2012-10-01 18:19:50]
771*2^1229855-1 is not prime.  Res64: 9305DD0B965682BD  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 18:19:56]
917*2^1229854-1 is not prime.  Res64: 908268B57DCD6401  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 18:19:57]
971*2^1229854-1 is not prime.  Res64: 89984F87D0136BF2  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 18:28:01]
663*2^1229855-1 is not prime.  Res64: 2FBE84160E2C742D  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 18:28:02]
693*2^1229855-1 is not prime.  Res64: 70BF24F6420D1BFD  Time : 0.0 sec.
user=odicin
[2012-10-01 18:32:14]
623*2^1229856-1 is not prime.  Res64: 9F97C4D14086DAC6  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 18:40:31]
635*2^1229856-1 is not prime.  Res64: FCCFF3690C37E4CA  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 18:40:31]
693*2^1229856-1 is not prime.  Res64: F927B7900714196D  Time : 0.0 sec.
user=odicin
[2012-10-01 18:44:32]
875*2^1229856-1 is not prime.  Res64: 101E6934C6A90093  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 18:48:35]
767*2^1229856-1 is not prime.  Res64: 4F3E47CAECC10522  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 18:48:36]
845*2^1229856-1 is not prime.  Res64: 868CB58424B3C343  Time : 0.0 sec.
user=vaughan
[2012-10-01 18:51:56]
853*2^1229855-1 is not prime.  Res64: 9A56BD5C7635A465  Time : 0.0 sec.
user=odicin
[2012-10-01 18:56:54]
609*2^1229857-1 is not prime.  Res64: 652545C269FD91D8  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 19:01:05]
903*2^1229856-1 is not prime.  Res64: 3187BC48716CE20F  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 19:01:06]
947*2^1229856-1 is not prime.  Res64: 4E3E8583CAA95A15  Time : 0.0 sec.
user=odicin
[2012-10-01 19:09:05]
805*2^1229857-1 is not prime.  Res64: 1A2117B8EDCFBEDC  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 19:09:08]
759*2^1229857-1 is not prime.  Res64: DDF9DF21E430C964  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 19:09:08]
769*2^1229857-1 is not prime.  Res64: B3B618B8C8D7678C  Time : 0.0 sec.
user=odicin
[2012-10-01 19:21:24]
997*2^1229857-1 is not prime.  Res64: F2EC172D1F649BB8  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 19:21:44]
817*2^1229857-1 is not prime.  Res64: A4A7FFA2B0369104  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 19:21:45]
847*2^1229857-1 is not prime.  Res64: 0CAACE5E72DDF8FF  Time : 0.0 sec.
user=vaughan
[2012-10-01 19:29:32]
777*2^1229857-1 is not prime.  Res64: FC517B835EF8792E  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 19:29:52]
871*2^1229857-1 is not prime.  Res64: E9921EA2A9362D7B  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 19:29:53]
985*2^1229857-1 is not prime.  Res64: D285C061B3960914  Time : 0.0 sec.
user=odicin
[2012-10-01 19:33:52]
633*2^1229858-1 is not prime.  Res64: C5907793E62683CB  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 19:42:55]
711*2^1229858-1 is not prime.  Res64: 856B0FB5B67B8713  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 19:42:55]
747*2^1229858-1 is not prime.  Res64: 09916DC7BD2769A7  Time : 0.0 sec.
user=odicin
[2012-10-01 19:46:04]
887*2^1229858-1 is not prime.  Res64: 69CF690EE43874E1  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 19:51:02]
827*2^1229858-1 is not prime.  Res64: 4F02BB9BF54DF407  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 19:51:02]
885*2^1229858-1 is not prime.  Res64: BD1D1E164E5BA1E4  Time : 0.0 sec.
user=odicin
[2012-10-01 19:58:18]
615*2^1229859-1 is not prime.  Res64: 3063145B1672B407  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 20:04:00]
945*2^1229858-1 is not prime.  Res64: 997E9D8AC5A20797  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 20:04:00]
601*2^1229859-1 is not prime.  Res64: 4695C61F3BFBC76A  Time : 0.0 sec.
user=vaughan
[2012-10-01 20:07:11]
773*2^1229858-1 is not prime.  Res64: 41A66A2BD22CF2FA  Time : 0.0 sec.
user=odicin
[2012-10-01 20:10:40]
789*2^1229859-1 is not prime.  Res64: 89D99DE7FDD1BCCD  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 20:11:56]
669*2^1229859-1 is not prime.  Res64: FC70978F867BFA1E  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 20:11:59]
691*2^1229859-1 is not prime.  Res64: 9859EC995D11E44C  Time : 0.0 sec.
user=odicin
[2012-10-01 20:23:04]
719*2^1229860-1 is not prime.  Res64: 14E02C53BB1884F0  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 20:24:57]
793*2^1229859-1 is not prime.  Res64: D28A7F41ABE828EF  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 20:24:58]
801*2^1229859-1 is not prime.  Res64: BA399ADD386A9B7E  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 20:32:53]
803*2^1229860-1 is not prime.  Res64: 758D6EC42DA32C83  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 20:32:53]
873*2^1229860-1 is not prime.  Res64: C221995B9808B9C8  Time : 0.0 sec.
user=odicin
[2012-10-01 20:35:43]
897*2^1229860-1 is not prime.  Res64: C13B60ABD84DDE86  Time : 0.0 sec.
user=vaughan
[2012-10-01 20:44:52]
909*2^1229859-1 is not prime.  Res64: A12927DF54689E06  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 20:45:48]
929*2^1229860-1 is not prime.  Res64: 7C179EDCE80791B8  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 20:45:48]
965*2^1229860-1 is not prime.  Res64: 8E60C4B87B6104AD  Time : 0.0 sec.
user=odicin
[2012-10-01 20:48:05]
619*2^1229861-1 is not prime.  Res64: 85F89E7724C4C621  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 20:53:43]
983*2^1229860-1 is not prime.  Res64: 54D3A849ED5BC08E  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 20:53:43]
995*2^1229860-1 is not prime.  Res64: 12A12D94DC7F459C  Time : 0.0 sec.
user=odicin
[2012-10-01 21:00:34]
741*2^1229861-1 is not prime.  Res64: 814D1BFA97E37D42  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 21:06:37]
645*2^1229861-1 is not prime.  Res64: A34D26E4916B5F27  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 21:06:37]
657*2^1229861-1 is not prime.  Res64: 7E6EAAD69E148596  Time : 0.0 sec.
user=odicin
[2012-10-01 21:13:11]
797*2^1229862-1 is not prime.  Res64: 62CF9C8E7C690BA4  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 21:14:33]
855*2^1229861-1 is not prime.  Res64: DA0D4246E0AD85AD  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 21:14:34]
957*2^1229861-1 is not prime.  Res64: 560B9159CBD2E51F  Time : 0.0 sec.
user=vaughan
[2012-10-01 21:22:29]
631*2^1229861-1 is not prime.  Res64: 4684ACC0B5FDC7FA  Time : 0.0 sec.
user=odicin
[2012-10-01 21:25:37]
917*2^1229862-1 is not prime.  Res64: C2843F447D02DFFA  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 21:27:41]
815*2^1229862-1 is not prime.  Res64: 414F8A9A42DF03CC  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 21:27:41]
891*2^1229862-1 is not prime.  Res64: 68BF5335218E7B3C  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 21:35:28]
941*2^1229862-1 is not prime.  Res64: D164D88A860DF6F1  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 21:35:28]
1001*2^1229862-1 is not prime.  Res64: E44EBAE8EDD2F3FA  Time : 0.0 sec.
user=odicin
[2012-10-01 21:38:00]
763*2^1229863-1 is not prime.  Res64: A25F71E2109C85B1  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 21:48:14]
765*2^1229863-1 is not prime.  Res64: DC82C5D07CBDF64F  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 21:48:15]
771*2^1229863-1 is not prime.  Res64: E06A631D2B1503E6  Time : 0.0 sec.
user=odicin
[2012-10-01 21:50:25]
901*2^1229863-1 is not prime.  Res64: 8D04732DDF043976  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 21:56:01]
805*2^1229863-1 is not prime.  Res64: 1808595DF89D2E98  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 21:56:01]
885*2^1229863-1 is not prime.  Res64: 312ECC4F61EC0D5D  Time : 0.0 sec.
user=vaughan
[2012-10-01 22:00:16]
679*2^1229863-1 is not prime.  Res64: DECF86EA5F87EDAA  Time : 0.0 sec.
user=odicin
[2012-10-01 22:02:49]
873*2^1229864-1 is not prime.  Res64: B43C4B3A8BA79409  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 22:08:48]
767*2^1229864-1 is not prime.  Res64: 64518CD565D1E262  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 22:08:48]
857*2^1229864-1 is not prime.  Res64: B34C0A549F2F2122  Time : 0.0 sec.
user=odicin
[2012-10-01 22:15:20]
611*2^1229866-1 is not prime.  Res64: 46F9CEC7EC332A67  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 22:16:34]
709*2^1229865-1 is not prime.  Res64: A3514768CB3D9A43  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 22:16:34]
739*2^1229865-1 is not prime.  Res64: 38CEA5FCD7313318  Time : 0.0 sec.
user=odicin
[2012-10-01 22:27:42]
741*2^1229866-1 is not prime.  Res64: C2444DFAB4726352  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 22:29:27]
651*2^1229866-1 is not prime.  Res64: F14D5937EFDD8A17  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 22:29:28]
735*2^1229866-1 is not prime.  Res64: 0F7627D02DEDE881  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 22:37:12]
873*2^1229866-1 is not prime.  Res64: EEDAFA1CC79D99E2  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 22:37:12]
887*2^1229866-1 is not prime.  Res64: 201583362A545F79  Time : 0.0 sec.
user=vaughan
[2012-10-01 22:37:53]
849*2^1229865-1 is not prime.  Res64: 43DBBE68F227AB76  Time : 0.0 sec.
user=odicin
[2012-10-01 22:40:05]
917*2^1229866-1 is not prime.  Res64: B4D70D62845823CC  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 22:50:00]
987*2^1229866-1 is not prime.  Res64: 158E9AA1703DFC3D  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 22:50:01]
675*2^1229867-1 is not prime.  Res64: ACC87EEE8030125C  Time : 0.0 sec.
user=odicin
[2012-10-01 22:52:30]
879*2^1229867-1 is not prime.  Res64: 37513DB5DDE1F909  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 22:57:45]
715*2^1229867-1 is not prime.  Res64: C730E23FD9858D31  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 22:57:46]
739*2^1229867-1 is not prime.  Res64: C59BA99DE364A8FF  Time : 0.0 sec.
user=odicin
[2012-10-01 23:04:54]
635*2^1229868-1 is not prime.  Res64: 1797DA0F907E3CF0  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 23:10:34]
901*2^1229867-1 is not prime.  Res64: 0878506DDEC81951  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 23:10:36]
985*2^1229867-1 is not prime.  Res64: 73BF525202042E1B  Time : 0.0 sec.
user=vaughan
[2012-10-01 23:15:29]
801*2^1229867-1 is not prime.  Res64: 6AA3E39694ABC098  Time : 0.0 sec.
user=odicin
[2012-10-01 23:17:23]
689*2^1229868-1 is not prime.  Res64: 3FC1908AC6A26C93  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 23:18:19]
639*2^1229868-1 is not prime.  Res64: 62F1F3C94B37184D  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 23:18:19]
665*2^1229868-1 is not prime.  Res64: A7EE929C7FC281FD  Time : 0.0 sec.
user=odicin
[2012-10-01 23:29:43]
773*2^1229868-1 is not prime.  Res64: 314FC9CDBF18CFBF  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 23:31:13]
695*2^1229868-1 is not prime.  Res64: 8214052AEB04BEDA  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 23:31:14]
699*2^1229868-1 is not prime.  Res64: C83B6AFBDFDA5E98  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 23:38:51]
843*2^1229868-1 is not prime.  Res64: 35DF402D214120C7  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 23:38:52]
845*2^1229868-1 is not prime.  Res64: 2C1305A5980F3917  Time : 0.0 sec.
user=odicin
[2012-10-01 23:42:03]
867*2^1229868-1 is not prime.  Res64: 188293294929653E  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 23:51:47]
929*2^1229868-1 is not prime.  Res64: E3543C643575B4A2  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 23:51:47]
935*2^1229868-1 is not prime.  Res64: 36C3FA0930FB603F  Time : 0.0 sec.
user=vaughan
[2012-10-01 23:53:09]
737*2^1229868-1 is not prime.  Res64: 9BF45A2E006DD6C8  Time : 0.0 sec.
user=odicin
[2012-10-01 23:54:19]
829*2^1229869-1 is not prime.  Res64: 1A58E351612747B6  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 23:59:24]
639*2^1229869-1 is not prime.  Res64: 8BC63AB7BD3702EC  Time : 0.0 sec.
user=mdettweiler
[2012-10-01 23:59:25]
691*2^1229869-1 is not prime.  Res64: A401D9004A063248  Time : 0.0 sec.