user=odicin
[2012-10-02 00:06:36]
687*2^1229870-1 is not prime.  Res64: 93B5CD4D84D19831  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 00:12:20]
955*2^1229869-1 is not prime.  Res64: 5082FFFAC492BA37  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 00:12:21]
967*2^1229869-1 is not prime.  Res64: 86ADABFE89F58367  Time : 0.0 sec.
user=odicin
[2012-10-02 00:18:58]
921*2^1229870-1 is not prime.  Res64: 3E40C25142900BEC  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 00:19:56]
813*2^1229870-1 is not prime.  Res64: 5CDF778CBCDE8ACC  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 00:19:56]
861*2^1229870-1 is not prime.  Res64: D298DA43C34700C7  Time : 0.0 sec.
user=vaughan
[2012-10-02 00:30:48]
603*2^1229870-1 is not prime.  Res64: FC9825DDB4884903  Time : 0.0 sec.
user=odicin
[2012-10-02 00:31:28]
805*2^1229871-1 is not prime.  Res64: 6ADA97D5B64DBB38  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 00:33:07]
971*2^1229870-1 is not prime.  Res64: 24AB94F0DF5027EC  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 00:33:07]
987*2^1229870-1 is not prime.  Res64: B2D054C9EF25BEE6  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 00:40:29]
859*2^1229871-1 is not prime.  Res64: 8DE3287CB56C3A91  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 00:40:30]
871*2^1229871-1 is not prime.  Res64: B868FEEE9540BCF9  Time : 0.0 sec.
user=odicin
[2012-10-02 00:43:51]
945*2^1229871-1 is not prime.  Res64: DCBC55FFFF78A0D2  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 00:53:39]
955*2^1229871-1 is not prime.  Res64: B19CA7226F74E8E5  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 00:53:40]
973*2^1229871-1 is not prime.  Res64: AC3EF1624CDA37AA  Time : 0.0 sec.
user=odicin
[2012-10-02 00:56:11]
619*2^1229873-1 is not prime.  Res64: 896B398BB887E1D2  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 01:01:03]
623*2^1229872-1 is not prime.  Res64: 6A07959F5E70E6BD  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 01:01:04]
863*2^1229872-1 is not prime.  Res64: EF1031257EA48616  Time : 0.0 sec.
user=vaughan
[2012-10-02 01:08:30]
895*2^1229871-1 is not prime.  Res64: D989243B8516FFFC  Time : 0.0 sec.
user=odicin
[2012-10-02 01:08:32]
871*2^1229873-1 is not prime.  Res64: 7E02A3476326F4A8  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 01:14:14]
805*2^1229873-1 is not prime.  Res64: FE041E4B9FE24CFC  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 01:14:15]
837*2^1229873-1 is not prime.  Res64: 87E00F4E2A1ECE50  Time : 0.0 sec.
user=odicin
[2012-10-02 01:21:00]
821*2^1229874-1 is not prime.  Res64: 0BEBECA4252CCDB5  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 01:21:54]
627*2^1229874-1 is not prime.  Res64: D1DDA35416B52A3B  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 01:21:54]
741*2^1229874-1 is not prime.  Res64: 91353666E97CCFE7  Time : 0.0 sec.
user=odicin
[2012-10-02 01:33:33]
941*2^1229874-1 is not prime.  Res64: 996A06B0FF421929  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 01:34:49]
875*2^1229874-1 is not prime.  Res64: CC13A51F1852A573  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 01:34:49]
903*2^1229874-1 is not prime.  Res64: 7FF675F6C24443BC  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 01:42:27]
603*2^1229875-1 is not prime.  Res64: 4129601F30C79054  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 01:42:27]
705*2^1229875-1 is not prime.  Res64: 2866D051F7E36872  Time : 0.0 sec.
user=odicin
[2012-10-02 01:46:03]
829*2^1229875-1 is not prime.  Res64: FE34D3F704EA49A1  Time : 0.0 sec.
user=vaughan
[2012-10-02 01:46:19]
837*2^1229874-1 is not prime.  Res64: 7540F8CDCC7BCA27  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 01:55:22]
883*2^1229875-1 is not prime.  Res64: FCE2CA0FCAB5E9E8  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 01:55:22]
951*2^1229875-1 is not prime.  Res64: 38C1538CEB53E56A  Time : 0.0 sec.
user=odicin
[2012-10-02 01:58:32]
683*2^1229876-1 is not prime.  Res64: 632F4D029461933E  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 02:03:00]
615*2^1229876-1 is not prime.  Res64: B6286B35345613C2  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 02:03:01]
635*2^1229876-1 is not prime.  Res64: 8CA387969DFB0B73  Time : 0.0 sec.
user=odicin
[2012-10-02 02:10:57]
927*2^1229876-1 is not prime.  Res64: 10DDA4CB9CE059B4  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 02:15:55]
873*2^1229876-1 is not prime.  Res64: FDBE2466D7F5E97E  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 02:15:55]
909*2^1229876-1 is not prime.  Res64: D3E1C716A0EAC59A  Time : 0.0 sec.
user=odicin
[2012-10-02 02:23:24]
675*2^1229877-1 is not prime.  Res64: FA0BD62DBC502C1D  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 02:23:52]
957*2^1229876-1 is not prime.  Res64: 049A71DF81474B25  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 02:23:52]
649*2^1229877-1 is not prime.  Res64: 69CB26D501989693  Time : 0.0 sec.
user=vaughan
[2012-10-02 02:23:55]
825*2^1229876-1 is not prime.  Res64: EB6DD9298F07A1BD  Time : 0.0 sec.
user=odicin
[2012-10-02 02:35:47]
769*2^1229877-1 is not prime.  Res64: 2607623830865C5B  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 02:36:31]
681*2^1229877-1 is not prime.  Res64: 801879DE516D31AF  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 02:36:32]
711*2^1229877-1 is not prime.  Res64: A9F71D59F07E94D4  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 02:44:26]
777*2^1229877-1 is not prime.  Res64: 2B482B41BCE22E4F  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 02:44:29]
825*2^1229877-1 is not prime.  Res64: 29C08B6058AA862F  Time : 0.0 sec.
user=odicin
[2012-10-02 02:48:13]
999*2^1229877-1 is not prime.  Res64: E10101819D556FB5  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 02:57:05]
605*2^1229878-1 is not prime.  Res64: 3E7B41A47AEA4FC2  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 02:57:05]
665*2^1229878-1 is not prime.  Res64: A29290AA52802137  Time : 0.0 sec.
user=odicin
[2012-10-02 03:00:29]
821*2^1229878-1 is not prime.  Res64: C3FB4AADD2BF8F0B  Time : 0.0 sec.
user=vaughan
[2012-10-02 03:01:31]
885*2^1229877-1 is not prime.  Res64: 65E6C7B6A82E2639  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 03:05:16]
755*2^1229878-1 is not prime.  Res64: 141EF6498F102381  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 03:05:19]
791*2^1229878-1 is not prime.  Res64: 2BDB446DC4060446  Time : 0.0 sec.
user=odicin
[2012-10-02 03:12:56]
881*2^1229878-1 is not prime.  Res64: 16FB93480964D90E  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 03:17:41]
843*2^1229878-1 is not prime.  Res64: A58201DA5DF00E7B  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 03:17:42]
857*2^1229878-1 is not prime.  Res64: 894BE856E62F4A13  Time : 0.0 sec.
user=odicin
[2012-10-02 03:25:24]
813*2^1229879-1 is not prime.  Res64: 01ACC867427200B1  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 03:26:05]
945*2^1229878-1 is not prime.  Res64: 9C6D1AB28831ECD2  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 03:26:06]
995*2^1229878-1 is not prime.  Res64: 21D62EB3B84B61FD  Time : 0.0 sec.
user=odicin
[2012-10-02 03:37:46]
737*2^1229880-1 is not prime.  Res64: CD8690401607F124  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 03:38:14]
913*2^1229879-1 is not prime.  Res64: A66EA6706048CBF1  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 03:38:14]
689*2^1229880-1 is not prime.  Res64: FD47F13F47095E68  Time : 0.0 sec.
user=vaughan
[2012-10-02 03:39:15]
915*2^1229878-1 is not prime.  Res64: 2EF02267F5D67A1E  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 03:46:39]
753*2^1229880-1 is not prime.  Res64: 7671714C922EA1D8  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 03:46:40]
779*2^1229880-1 is not prime.  Res64: AACA93C68AE2231C  Time : 0.0 sec.
user=odicin
[2012-10-02 03:50:18]
637*2^1229881-1 is not prime.  Res64: 62D2DAC540F9F40A  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 03:58:47]
871*2^1229881-1 is not prime.  Res64: 896C1D8155EFF029  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 03:58:48]
895*2^1229881-1 is not prime.  Res64: F8E9CC3C98959F91  Time : 0.0 sec.
user=odicin
[2012-10-02 04:02:41]
873*2^1229882-1 is not prime.  Res64: 7D3C15D70F20D550  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 04:07:13]
633*2^1229882-1 is not prime.  Res64: 4D6AE646C306495F  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 04:07:14]
813*2^1229882-1 is not prime.  Res64: F873339876293C4D  Time : 0.0 sec.
user=odicin
[2012-10-02 04:15:12]
615*2^1229883-1 is not prime.  Res64: 9B5C37E9AF4D0D71  Time : 0.0 sec.
user=vaughan
[2012-10-02 04:16:59]
615*2^1229882-1 is not prime.  Res64: 432F86EC209039FC  Time : 0.0 sec.
user=odicin
[2012-10-02 04:27:35]
751*2^1229883-1 is not prime.  Res64: 14EDDBE9A8A5F6A1  Time : 0.0 sec.
user=odicin
[2012-10-02 04:39:57]
853*2^1229883-1 is not prime.  Res64: BA89536890A45074  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 04:40:35]
649*2^1229883-1 is not prime.  Res64: 98D896F5D3BADCCC  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 04:40:35]
685*2^1229883-1 is not prime.  Res64: 0478FB255D70C6F6  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 04:49:27]
893*2^1229882-1 is not prime.  Res64: 2181A54F094886CA  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 04:49:28]
921*2^1229882-1 is not prime.  Res64: BCBE118198303096  Time : 0.0 sec.
user=odicin
[2012-10-02 04:52:18]
871*2^1229883-1 is not prime.  Res64: 5CF9A495073A4152  Time : 0.0 sec.
user=vaughan
[2012-10-02 04:54:59]
829*2^1229883-1 is not prime.  Res64: B79D50D87CF41DF1  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 05:01:10]
921*2^1229883-1 is not prime.  Res64: EACF594E35ED9577  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 05:01:12]
963*2^1229883-1 is not prime.  Res64: 76175D8E825748ED  Time : 0.0 sec.
user=odicin
[2012-10-02 05:04:38]
717*2^1229884-1 is not prime.  Res64: 5FA5C3F09EE1ABE6  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 05:10:01]
615*2^1229884-1 is not prime.  Res64: 5E0BCD8B51A779EB  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 05:10:02]
635*2^1229884-1 is not prime.  Res64: 81AD85665DFDE9D3  Time : 0.0 sec.
user=odicin
[2012-10-02 05:16:58]
601*2^1229885-1 is not prime.  Res64: 58DCA98707CA4E93  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 05:21:54]
863*2^1229884-1 is not prime.  Res64: DDC8B5566012A6FE  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 05:21:55]
987*2^1229884-1 is not prime.  Res64: B8F0752BAC96AF87  Time : 0.0 sec.
user=odicin
[2012-10-02 05:29:15]
727*2^1229885-1 is not prime.  Res64: C4BA600A34D1D7F9  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 05:30:35]
619*2^1229885-1 is not prime.  Res64: 33D7F7494483A272  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 05:30:38]
711*2^1229885-1 is not prime.  Res64: D90D511F4655D5BB  Time : 0.0 sec.
user=vaughan
[2012-10-02 05:32:57]
843*2^1229884-1 is not prime.  Res64: 611DF449949080CA  Time : 0.0 sec.
user=odicin
[2012-10-02 05:41:33]
707*2^1229886-1 is not prime.  Res64: 9503B1119B08941B  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 05:42:26]
855*2^1229885-1 is not prime.  Res64: 2266C0D974979D51  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 05:42:27]
615*2^1229886-1 is not prime.  Res64: 132D65B95CE81737  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 05:51:38]
725*2^1229886-1 is not prime.  Res64: ED497AE4A2F3CBF6  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 05:51:38]
945*2^1229886-1 is not prime.  Res64: D3885A310DE3695C  Time : 0.0 sec.
user=odicin
[2012-10-02 05:53:55]
971*2^1229886-1 is not prime.  Res64: 109E1086678EFBDA  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 06:03:21]
975*2^1229886-1 is not prime.  Res64: A859CC2BBCB678F0  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 06:03:23]
633*2^1229887-1 is not prime.  Res64: D86B809B0F588D3D  Time : 0.0 sec.
user=odicin
[2012-10-02 06:06:16]
729*2^1229887-1 is not prime.  Res64: 11DA03553E0F66BF  Time : 0.0 sec.
user=odicin
[2012-10-02 06:18:58]
813*2^1229887-1 is not prime.  Res64: 525D02FC8B12B78D  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 06:24:19]
763*2^1229887-1 is not prime.  Res64: 8A3858CBFCF5808C  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 06:24:20]
765*2^1229887-1 is not prime.  Res64: 4C3ADE79B1A339CE  Time : 0.0 sec.
user=odicin
[2012-10-02 06:31:25]
725*2^1229888-1 is not prime.  Res64: 8062D45A878B3F30  Time : 0.0 sec.
user=odicin
[2012-10-02 06:43:48]
909*2^1229888-1 is not prime.  Res64: 12195AE1547497FB  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 06:44:55]
743*2^1229888-1 is not prime.  Res64: DF0078FCF47C2BBD  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 06:44:55]
855*2^1229888-1 is not prime.  Res64: B78ED8896ED945B0  Time : 0.0 sec.
user=vaughan
[2012-10-02 06:48:30]
615*2^1229888-1 is not prime.  Res64: A9B5C9843EE495A0  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 06:52:32]
915*2^1229888-1 is not prime.  Res64: 8FE49D85D958A924  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 06:52:33]
963*2^1229888-1 is not prime.  Res64: B3C5CA68FE46BC8A  Time : 0.0 sec.
user=odicin
[2012-10-02 06:56:21]
995*2^1229888-1 is not prime.  Res64: DFACC8D3703A29C5  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 07:05:28]
667*2^1229889-1 is not prime.  Res64: 0CC54FC3DC32DA58  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 07:05:29]
765*2^1229889-1 is not prime.  Res64: 2226E9B6F22781EF  Time : 0.0 sec.
user=odicin
[2012-10-02 07:08:46]
755*2^1229890-1 is not prime.  Res64: BDA182FE050C4670  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 07:13:05]
991*2^1229889-1 is not prime.  Res64: AF302C889513FD36  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 07:13:06]
735*2^1229890-1 is not prime.  Res64: 06DFC0E7517D579B  Time : 0.0 sec.
user=odicin
[2012-10-02 07:21:08]
833*2^1229890-1 is not prime.  Res64: 92C8F59EAC3F04E0  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 07:26:06]
777*2^1229890-1 is not prime.  Res64: B1F4543863BB735B  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 07:26:06]
801*2^1229890-1 is not prime.  Res64: D67B2038CE824C06  Time : 0.0 sec.
user=vaughan
[2012-10-02 07:26:14]
807*2^1229889-1 is not prime.  Res64: 2840D1F73A52FFDA  Time : 0.0 sec.
user=odicin
[2012-10-02 07:33:36]
621*2^1229891-1 is not prime.  Res64: DEB74310DCAB6360  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 07:33:39]
917*2^1229890-1 is not prime.  Res64: 1B9E7BA05E604E14  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 07:33:40]
615*2^1229891-1 is not prime.  Res64: 80F6F3976223DB8D  Time : 0.0 sec.
user=odicin
[2012-10-02 07:45:54]
981*2^1229891-1 is not prime.  Res64: D1D01E7B57AF5D79  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 07:46:39]
733*2^1229891-1 is not prime.  Res64: AB7197692391FCEC  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 07:46:40]
741*2^1229891-1 is not prime.  Res64: DBBCFA6464BD3DF4  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 07:54:12]
627*2^1229892-1 is not prime.  Res64: 61F23DD69A3678E1  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 07:54:13]
675*2^1229892-1 is not prime.  Res64: C2E6860637B9DD25  Time : 0.0 sec.
user=odicin
[2012-10-02 07:58:20]
719*2^1229892-1 is not prime.  Res64: 4B699E41B5926CF6  Time : 0.0 sec.
user=vaughan
[2012-10-02 08:03:58]
753*2^1229891-1 is not prime.  Res64: 9A5CE8BB198BD099  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 08:07:12]
779*2^1229892-1 is not prime.  Res64: 898DB12222D80A65  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 08:07:13]
837*2^1229892-1 is not prime.  Res64: 360B1738D28290AB  Time : 0.0 sec.
user=odicin
[2012-10-02 08:10:35]
817*2^1229893-1 is not prime.  Res64: EFF2A6045F92472F  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 08:14:46]
789*2^1229893-1 is not prime.  Res64: 8E9AA4D80DFAFD7C  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 08:14:48]
805*2^1229893-1 is not prime.  Res64: 405285416A0973C7  Time : 0.0 sec.
user=odicin
[2012-10-02 08:22:55]
687*2^1229894-1 is not prime.  Res64: 0CA217B820641A38  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 08:27:47]
967*2^1229893-1 is not prime.  Res64: A3344D1DBD3CFD5B  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 08:27:47]
641*2^1229894-1 is not prime.  Res64: 386DC99E454A8D8A  Time : 0.0 sec.
user=odicin
[2012-10-02 08:35:16]
903*2^1229894-1 is not prime.  Res64: 0F9BD52574E6F464  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 08:35:25]
825*2^1229894-1 is not prime.  Res64: C938AC3574238D87  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 08:35:26]
831*2^1229894-1 is not prime.  Res64: DEBCDF8577E7D7A0  Time : 0.0 sec.
user=vaughan
[2012-10-02 08:41:45]
895*2^1229893-1 is not prime.  Res64: 0AABB42ABCFAC62F  Time : 0.0 sec.
user=odicin
[2012-10-02 08:47:33]
957*2^1229894-1 is not prime.  Res64: 6A2A055117CAA617  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 08:48:20]
917*2^1229894-1 is not prime.  Res64: 485AFF5AA38EEA0B  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 08:48:20]
923*2^1229894-1 is not prime.  Res64: 993B74BE19B0789B  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 08:55:59]
993*2^1229894-1 is not prime.  Res64: 13345EFF0E2848F1  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 08:56:00]
1001*2^1229894-1 is not prime.  Res64: B3D9413EE5E84F83  Time : 0.0 sec.
user=odicin
[2012-10-02 08:59:51]
619*2^1229895-1 is not prime.  Res64: 56B394775C7A5209  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 09:08:53]
679*2^1229895-1 is not prime.  Res64: 5EFA111B2975E5CC  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 09:08:54]
685*2^1229895-1 is not prime.  Res64: 7B681D37B4D909F6  Time : 0.0 sec.
user=odicin
[2012-10-02 09:12:11]
783*2^1229895-1 is not prime.  Res64: 43C9A7DEC4D60F30  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 09:16:32]
691*2^1229895-1 is not prime.  Res64: D86EF8CFC8DC90F7  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 09:16:33]
765*2^1229895-1 is not prime.  Res64: 6CE0A36386031241  Time : 0.0 sec.
user=vaughan
[2012-10-02 09:19:22]
613*2^1229895-1 is not prime.  Res64: 10DE022A6F732D72  Time : 0.0 sec.
user=odicin
[2012-10-02 09:24:30]
933*2^1229895-1 is not prime.  Res64: DCB9E240B61FBD0E  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 09:29:37]
853*2^1229895-1 is not prime.  Res64: DBEF1EF115AE3A1B  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 09:29:38]
891*2^1229895-1 is not prime.  Res64: DE57041A60050436  Time : 0.0 sec.
user=odicin
[2012-10-02 09:37:05]
765*2^1229896-1 is not prime.  Res64: 32138F9163A22E83  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 09:37:06]
991*2^1229895-1 is not prime.  Res64: 8D5A0F71239C0700  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 09:37:07]
677*2^1229896-1 is not prime.  Res64: 1C588CEEBDC6EAE1  Time : 0.0 sec.
user=odicin
[2012-10-02 09:49:32]
861*2^1229897-1 is not prime.  Res64: 1BDEA9360CC6611B  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 09:50:14]
803*2^1229896-1 is not prime.  Res64: 218B6DE604DCE339  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 09:50:15]
747*2^1229897-1 is not prime.  Res64: 3B36986B5EFCB440  Time : 0.0 sec.
user=vaughan
[2012-10-02 09:57:02]
707*2^1229896-1 is not prime.  Res64: CB7699AA18E8C7F3  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 09:57:40]
885*2^1229897-1 is not prime.  Res64: F9257918869568E6  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 09:57:40]
677*2^1229898-1 is not prime.  Res64: F21BD0FA1B3E690E  Time : 0.0 sec.
user=odicin
[2012-10-02 10:01:52]
683*2^1229898-1 is not prime.  Res64: E1150D5C6C7F6DEE  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 10:10:51]
695*2^1229898-1 is not prime.  Res64: 0112D33B26F15AA2  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 10:10:53]
777*2^1229898-1 is not prime.  Res64: 07148F56EB8408E4  Time : 0.0 sec.
user=odicin
[2012-10-02 10:14:13]
961*2^1229899-1 is not prime.  Res64: 31194AF87AA13EE9  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 10:18:23]
639*2^1229899-1 is not prime.  Res64: 348636FC39F9EAEE  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 10:18:24]
853*2^1229899-1 is not prime.  Res64: F33136443670796B  Time : 0.0 sec.
user=odicin
[2012-10-02 10:26:32]
855*2^1229900-1 is not prime.  Res64: 5DFB44A185B29699  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 10:31:52]
999*2^1229899-1 is not prime.  Res64: 9D76CD89D6553CAE  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 10:31:52]
665*2^1229900-1 is not prime.  Res64: C78C7DBB612DBF6E  Time : 0.0 sec.
user=vaughan
[2012-10-02 10:34:39]
791*2^1229898-1 is not prime.  Res64: 0D68C2E2820D528E  Time : 0.0 sec.
user=odicin
[2012-10-02 10:39:00]
685*2^1229901-1 is not prime.  Res64: 3E41070E07AD1C52  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 10:39:17]
963*2^1229900-1 is not prime.  Res64: 329F1FFA1E042771  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 10:39:17]
977*2^1229900-1 is not prime.  Res64: 7C9FE34A95297318  Time : 0.0 sec.
user=odicin
[2012-10-02 10:51:17]
827*2^1229902-1 is not prime.  Res64: BBFDA63CD9DD97DD  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 10:52:26]
867*2^1229901-1 is not prime.  Res64: 74C60982F637022B  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 10:52:27]
907*2^1229901-1 is not prime.  Res64: 253C23679B5E2C2C  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 10:59:51]
833*2^1229902-1 is not prime.  Res64: CB6D824576271C87  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 10:59:52]
885*2^1229902-1 is not prime.  Res64: E46F21ECC2A8BCF5  Time : 0.0 sec.
user=odicin
[2012-10-02 11:03:34]
891*2^1229902-1 is not prime.  Res64: AFE1DB0CBEE28AD5  Time : 0.0 sec.
user=vaughan
[2012-10-02 11:12:13]
927*2^1229901-1 is not prime.  Res64: 88517F07A64C36A2  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 11:13:00]
915*2^1229902-1 is not prime.  Res64: CCE9A69D1F27BC3A  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 11:13:01]
947*2^1229902-1 is not prime.  Res64: 8D3917D1DDDA58CE  Time : 0.0 sec.
user=odicin
[2012-10-02 11:16:19]
831*2^1229903-1 is not prime.  Res64: 3B6DFFA156C878EB  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 11:20:29]
983*2^1229902-1 is not prime.  Res64: 43439203107EDA10  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 11:20:30]
669*2^1229903-1 is not prime.  Res64: 3442996721F6453D  Time : 0.0 sec.
user=odicin
[2012-10-02 11:28:39]
949*2^1229903-1 is not prime.  Res64: 7582CAC745BD3F3D  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 11:33:36]
921*2^1229903-1 is not prime.  Res64: C18CE1092D2A213F  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 11:33:36]
943*2^1229903-1 is not prime.  Res64: 90BE9786BAF60431  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 11:41:02]
991*2^1229903-1 is not prime.  Res64: 270F6BF51883B09D  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 11:41:03]
665*2^1229904-1 is not prime.  Res64: 569DB4A4FD4E9F32  Time : 0.0 sec.
user=odicin
[2012-10-02 11:41:13]
759*2^1229904-1 is not prime.  Res64: BFE8D8E0ADECF08D  Time : 0.0 sec.
user=vaughan
[2012-10-02 11:49:48]
913*2^1229903-1 is not prime.  Res64: E7D5D14D0AA4A555  Time : 0.0 sec.
user=odicin
[2012-10-02 11:53:35]
721*2^1229905-1 is not prime.  Res64: 00D688D2523C0A2B  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 11:54:09]
899*2^1229904-1 is not prime.  Res64: B0FA6FC0439D40C6  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 11:54:09]
917*2^1229904-1 is not prime.  Res64: FD290A4B5E06F6F3  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 12:01:36]
927*2^1229904-1 is not prime.  Res64: A3EB1AE993E73161  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 12:01:37]
705*2^1229905-1 is not prime.  Res64: 8F51838FB4E199BD  Time : 0.0 sec.
user=odicin
[2012-10-02 12:05:48]
849*2^1229905-1 is not prime.  Res64: B1BB374CBE241165  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 12:14:42]
861*2^1229905-1 is not prime.  Res64: A358BECC901504AC  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 12:14:43]
871*2^1229905-1 is not prime.  Res64: B31FB7165EA9F93E  Time : 0.0 sec.
user=odicin
[2012-10-02 12:18:19]
891*2^1229907-1 is not prime.  Res64: 9C8D7FE7F8F23FA5  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 12:22:26]
699*2^1229907-1 is not prime.  Res64: 558B908C8BB377F8  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 12:22:27]
849*2^1229907-1 is not prime.  Res64: A9FB71D80FBBA637  Time : 0.0 sec.
user=vaughan
[2012-10-02 12:27:23]
741*2^1229905-1 is not prime.  Res64: C582ED1C1C7AD0EE  Time : 0.0 sec.
user=odicin
[2012-10-02 12:30:37]
617*2^1229908-1 is not prime.  Res64: 708AA3857C0AAB8F  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 12:35:23]
979*2^1229907-1 is not prime.  Res64: 4ABA2AB9C5A91F62  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 12:35:23]
991*2^1229907-1 is not prime.  Res64: D67D9AAE38A58EAE  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 12:43:03]
705*2^1229908-1 is not prime.  Res64: 90EDA16FCED6FB83  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 12:43:04]
957*2^1229908-1 is not prime.  Res64: 627854D3C4C1C907  Time : 0.0 sec.
user=odicin
[2012-10-02 12:43:04]
631*2^1229909-1 is not prime.  Res64: C90C817A120BE899  Time : 0.0 sec.
user=odicin
[2012-10-02 12:55:20]
741*2^1229909-1 is not prime.  Res64: F99C76700B36C473  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 12:56:02]
675*2^1229909-1 is not prime.  Res64: A62D51C23CC9495F  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 12:56:03]
697*2^1229909-1 is not prime.  Res64: BB35BF86B2BE7ECB  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 13:03:53]
781*2^1229909-1 is not prime.  Res64: F752B10B44AC03C5  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 13:03:54]
829*2^1229909-1 is not prime.  Res64: 59772164A6989F3C  Time : 0.0 sec.
user=vaughan
[2012-10-02 13:04:58]
987*2^1229908-1 is not prime.  Res64: AF3469750B4A39ED  Time : 0.0 sec.
user=odicin
[2012-10-02 13:07:42]
889*2^1229909-1 is not prime.  Res64: EDDF3459028181E7  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 13:16:53]
957*2^1229909-1 is not prime.  Res64: E0CB76CA1D46655A  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 13:16:54]
627*2^1229910-1 is not prime.  Res64: 67EDE8D564E6EE7D  Time : 0.0 sec.
user=odicin
[2012-10-02 13:20:03]
651*2^1229911-1 is not prime.  Res64: 868B615A8AEFEC0D  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 13:24:48]
723*2^1229910-1 is not prime.  Res64: 50216E44A1AC7404  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 13:24:48]
951*2^1229910-1 is not prime.  Res64: 735850908D18C6B7  Time : 0.0 sec.
user=odicin
[2012-10-02 13:32:17]
829*2^1229911-1 is not prime.  Res64: DEEB55F49BCCDF74  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 13:37:54]
735*2^1229911-1 is not prime.  Res64: 39124E1CEC09EEBD  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 13:37:55]
741*2^1229911-1 is not prime.  Res64: 97202E617F75BCA6  Time : 0.0 sec.
user=vaughan
[2012-10-02 13:42:40]
609*2^1229911-1 is not prime.  Res64: 5C6556DA1F8C2A8F  Time : 0.0 sec.
user=odicin
[2012-10-02 13:44:29]
675*2^1229912-1 is not prime.  Res64: 9A8387664E5A6692  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 13:45:50]
933*2^1229911-1 is not prime.  Res64: 37F0705079581518  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 13:45:50]
951*2^1229911-1 is not prime.  Res64: 11D8266F195CB547  Time : 0.0 sec.
user=odicin
[2012-10-02 13:56:42]
923*2^1229912-1 is not prime.  Res64: B93534A3C3EEE770  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 13:59:04]
713*2^1229912-1 is not prime.  Res64: BED5AFEE1614BA51  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 13:59:05]
855*2^1229912-1 is not prime.  Res64: 2600D767975E417B  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 14:06:51]
945*2^1229912-1 is not prime.  Res64: 685DD68989242ECC  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 14:06:53]
609*2^1229913-1 is not prime.  Res64: DCDB3A054D68B9EE  Time : 0.0 sec.
user=odicin
[2012-10-02 14:08:59]
625*2^1229913-1 is not prime.  Res64: A42DFEA507EDDD33  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 14:19:51]
669*2^1229913-1 is not prime.  Res64: A0AD8B1F2461439B  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 14:19:52]
705*2^1229913-1 is not prime.  Res64: FA73454F293B6B2F  Time : 0.0 sec.
user=vaughan
[2012-10-02 14:20:15]
917*2^1229912-1 is not prime.  Res64: A9A628C4A37050FD  Time : 0.0 sec.
user=odicin
[2012-10-02 14:21:17]
915*2^1229913-1 is not prime.  Res64: 744B1C201882347E  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 14:27:45]
849*2^1229913-1 is not prime.  Res64: F7D928DE3EE8A688  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 14:27:46]
871*2^1229913-1 is not prime.  Res64: EF3095714296C524  Time : 0.0 sec.
user=odicin
[2012-10-02 14:33:29]
681*2^1229914-1 is not prime.  Res64: 71852A44BD81E095  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 14:41:05]
919*2^1229913-1 is not prime.  Res64: 0D12D3D857E77BC6  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 14:41:05]
623*2^1229914-1 is not prime.  Res64: B6F5D0421FC8B05E  Time : 0.0 sec.
user=odicin
[2012-10-02 14:45:43]
905*2^1229914-1 is not prime.  Res64: BF462C3B5A4FE796  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 14:48:50]
717*2^1229914-1 is not prime.  Res64: 2FE0CE58ABBAEF6C  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 14:48:50]
791*2^1229914-1 is not prime.  Res64: 1FA0937CC634DA92  Time : 0.0 sec.
user=vaughan
[2012-10-02 14:57:48]
633*2^1229914-1 is not prime.  Res64: B87CB84E02C2E00A  Time : 0.0 sec.
user=odicin
[2012-10-02 14:57:59]
735*2^1229915-1 is not prime.  Res64: 52D6717A2DB96940  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 15:01:50]
655*2^1229915-1 is not prime.  Res64: 2F67F8AA388925B2  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 15:01:52]
669*2^1229915-1 is not prime.  Res64: 2EF9FA426A6B370B  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 15:09:34]
759*2^1229915-1 is not prime.  Res64: 9FD4573F69ECF2CB  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 15:09:35]
775*2^1229915-1 is not prime.  Res64: 44A9C96250B14633  Time : 0.0 sec.
user=odicin
[2012-10-02 15:10:09]
825*2^1229915-1 is not prime.  Res64: 3556B2A8DE8492A9  Time : 0.0 sec.
user=odicin
[2012-10-02 15:22:21]
683*2^1229916-1 is not prime.  Res64: 47FB3A0607F76E87  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 15:22:44]
843*2^1229915-1 is not prime.  Res64: AD6FD39484B9F6D0  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 15:22:44]
859*2^1229915-1 is not prime.  Res64: 84AC11BDFD91B5EF  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 15:30:43]
623*2^1229916-1 is not prime.  Res64: 3431487C88A2C9E8  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 15:30:43]
633*2^1229916-1 is not prime.  Res64: 9603A780F34728F4  Time : 0.0 sec.
user=odicin
[2012-10-02 15:34:40]
717*2^1229916-1 is not prime.  Res64: 217DAD9BA4DD5884  Time : 0.0 sec.
user=vaughan
[2012-10-02 15:35:24]
799*2^1229915-1 is not prime.  Res64: AFD19D9FA3474C2A  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 15:43:57]
725*2^1229916-1 is not prime.  Res64: DB1A60B47067314A  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 15:43:58]
773*2^1229916-1 is not prime.  Res64: 5E07EE32EFC0C20F  Time : 0.0 sec.
user=odicin
[2012-10-02 15:46:54]
899*2^1229916-1 is not prime.  Res64: DCDA118BECD48664  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 15:51:59]
845*2^1229916-1 is not prime.  Res64: D066DA57AC8A3937  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 15:52:00]
873*2^1229916-1 is not prime.  Res64: A0512078265732AD  Time : 0.0 sec.
user=odicin
[2012-10-02 15:59:10]
897*2^1229917-1 is not prime.  Res64: 831D21AEBF99DBE8  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 16:05:04]
687*2^1229917-1 is not prime.  Res64: D75A421720CB25E7  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 16:05:04]
759*2^1229917-1 is not prime.  Res64: 611FAECDA5389C38  Time : 0.0 sec.
user=odicin
[2012-10-02 16:11:29]
603*2^1229918-1 is not prime.  Res64: D33948E31A7B5FF3  Time : 0.0 sec.
user=vaughan
[2012-10-02 16:12:59]
615*2^1229917-1 is not prime.  Res64: 0593BD33F92B044C  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 16:13:00]
939*2^1229917-1 is not prime.  Res64: FFDC0A62D6B08547  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 16:13:02]
985*2^1229917-1 is not prime.  Res64: CF75395BC67A7460  Time : 0.0 sec.
user=odicin
[2012-10-02 16:23:54]
713*2^1229918-1 is not prime.  Res64: 6032D8EBAF772D47  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 16:26:11]
635*2^1229918-1 is not prime.  Res64: 4B5B3DBF7AD1167B  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 16:26:12]
693*2^1229918-1 is not prime.  Res64: CF19529E67D61B22  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 16:34:03]
827*2^1229918-1 is not prime.  Res64: 36C631FBACD257FC  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 16:34:03]
945*2^1229918-1 is not prime.  Res64: BA2CBA64E9507478  Time : 0.0 sec.
user=odicin
[2012-10-02 16:36:12]
709*2^1229919-1 is not prime.  Res64: D33DF660FBDE0538  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 16:46:49]
961*2^1229919-1 is not prime.  Res64: EEB65077587DFE76  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 16:46:50]
975*2^1229919-1 is not prime.  Res64: B650D4728D0EDF16  Time : 0.0 sec.
user=odicin
[2012-10-02 16:48:27]
813*2^1229920-1 is not prime.  Res64: 7C22D3585F630770  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 16:54:37]
645*2^1229920-1 is not prime.  Res64: 9DB2D0FA759496FF  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 16:54:38]
755*2^1229920-1 is not prime.  Res64: A8DCE959D93302BF  Time : 0.0 sec.
user=odicin
[2012-10-02 17:00:50]
939*2^1229920-1 is not prime.  Res64: 256BC72C7C0E0A2D  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 17:07:27]
909*2^1229920-1 is not prime.  Res64: 2E0743BD5B4A92B9  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 17:07:29]
917*2^1229920-1 is not prime.  Res64: 81B3CF231CE8B814  Time : 0.0 sec.
user=odicin
[2012-10-02 17:13:14]
727*2^1229921-1 is not prime.  Res64: B8C39F4CAB5012D0  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 17:15:10]
983*2^1229920-1 is not prime.  Res64: F57395ED719676FF  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 17:15:11]
711*2^1229921-1 is not prime.  Res64: 715A481633C1D726  Time : 0.0 sec.
user=odicin
[2012-10-02 17:25:32]
937*2^1229921-1 is not prime.  Res64: 1669D22DEBA1327A  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 17:28:15]
735*2^1229921-1 is not prime.  Res64: FD9CB11B1FBDBAF0  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 17:28:16]
741*2^1229921-1 is not prime.  Res64: 615FDA241708D613  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 17:35:46]
981*2^1229921-1 is not prime.  Res64: F89EABE94369B564  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 17:35:47]
717*2^1229922-1 is not prime.  Res64: 0B336FFB66BDE2C4  Time : 0.0 sec.
user=odicin
[2012-10-02 17:37:52]
791*2^1229922-1 is not prime.  Res64: 52F451F06E53A7A5  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 17:48:48]
813*2^1229923-1 is not prime.  Res64: 7DD665F61D2B6893  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 17:48:49]
819*2^1229923-1 is not prime.  Res64: C43B777EA30D3631  Time : 0.0 sec.
user=odicin
[2012-10-02 17:50:11]
919*2^1229923-1 is not prime.  Res64: 7274B3F2FBC6D422  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 17:56:22]
829*2^1229923-1 is not prime.  Res64: AC7DDF9347D5096B  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 17:56:22]
861*2^1229923-1 is not prime.  Res64: 3CD9B034E12EEFCD  Time : 0.0 sec.
user=odicin
[2012-10-02 18:02:26]
659*2^1229924-1 is not prime.  Res64: 26980C3A49B00C64  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 18:09:22]
961*2^1229923-1 is not prime.  Res64: E85EFAA60ADE30D1  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 18:09:23]
623*2^1229924-1 is not prime.  Res64: F945C979771A7B2B  Time : 0.0 sec.
user=odicin
[2012-10-02 18:14:58]
741*2^1229925-1 is not prime.  Res64: 7987DA9FD1B68398  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 18:16:55]
813*2^1229924-1 is not prime.  Res64: E3ADCA07422E0D75  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 18:16:56]
929*2^1229924-1 is not prime.  Res64: 0274B70974A24D9B  Time : 0.0 sec.
user=odicin
[2012-10-02 18:27:17]
951*2^1229925-1 is not prime.  Res64: 38B6D480E627B7C0  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 18:30:00]
787*2^1229925-1 is not prime.  Res64: D6EF9ECC717311AB  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 18:30:00]
889*2^1229925-1 is not prime.  Res64: 938A4F5C0FBD9411  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 18:37:29]
647*2^1229926-1 is not prime.  Res64: 8057D9564D70879E  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 18:37:29]
657*2^1229926-1 is not prime.  Res64: B2495AA325F63100  Time : 0.0 sec.
user=vaughan
[2012-10-02 18:38:15]
703*2^1229919-1 is not prime.  Res64: 2EBBD1B0B083E8BB  Time : 0.0 sec.
user=odicin
[2012-10-02 18:39:37]
677*2^1229926-1 is not prime.  Res64: DCB1B747769A430C  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 18:50:34]
695*2^1229926-1 is not prime.  Res64: ACEDE9C37E7D14F1  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 18:50:35]
743*2^1229926-1 is not prime.  Res64: 9A453806D8AB2121  Time : 0.0 sec.
user=odicin
[2012-10-02 18:51:51]
957*2^1229926-1 is not prime.  Res64: EEDD3DAD217D7D30  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 18:58:03]
833*2^1229926-1 is not prime.  Res64: 408B91509D3CC74A  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 18:58:04]
947*2^1229926-1 is not prime.  Res64: 881900CC112202F4  Time : 0.0 sec.
user=odicin
[2012-10-02 19:04:01]
711*2^1229927-1 is not prime.  Res64: D8A5C4BD9A9F6DAD  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 19:11:10]
615*2^1229927-1 is not prime.  Res64: 09C84CC7B2A5595E  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 19:11:12]
633*2^1229927-1 is not prime.  Res64: EA301AB7FF8547B0  Time : 0.0 sec.
user=odicin
[2012-10-02 19:17:04]
979*2^1229927-1 is not prime.  Res64: D403BEA2D22796B2  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 19:18:44]
775*2^1229927-1 is not prime.  Res64: CE989A27DCE57EFE  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 19:18:44]
963*2^1229927-1 is not prime.  Res64: 9B9606137751506D  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 19:32:18]
985*2^1229927-1 is not prime.  Res64: 0D8B2A0D2AF4B759  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 19:32:18]
605*2^1229928-1 is not prime.  Res64: 68358914D3B311C9  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 19:39:44]
765*2^1229928-1 is not prime.  Res64: 0C0A1F698471E75D  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 19:39:45]
845*2^1229928-1 is not prime.  Res64: B132BC3A50BBAF52  Time : 0.0 sec.
user=odicin
[2012-10-02 19:40:13]
625*2^1229929-1 is not prime.  Res64: FBB6C0D8FFE0AA29  Time : 0.0 sec.
user=odicin
[2012-10-02 19:52:26]
825*2^1229930-1 is not prime.  Res64: AE67166ACAFC94F2  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 19:53:21]
649*2^1229929-1 is not prime.  Res64: 3FBC02CA724E33F0  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 19:53:21]
759*2^1229929-1 is not prime.  Res64: C13A06E6A4DFDEF2  Time : 0.0 sec.
user=odicin
[2012-10-02 20:04:41]
831*2^1229930-1 is not prime.  Res64: C9C1628645237B61  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 20:13:56]
851*2^1229930-1 is not prime.  Res64: 8E2E60AC4E15FB94  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 20:13:59]
911*2^1229930-1 is not prime.  Res64: 590B47DAC687EEC0  Time : 0.0 sec.
user=odicin
[2012-10-02 20:17:20]
613*2^1229931-1 is not prime.  Res64: C2469FDCFAA22711  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 20:25:33]
847*2^1229929-1 is not prime.  Res64: 2E62E9CF48FE5417  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 20:25:33]
985*2^1229929-1 is not prime.  Res64: 1247D96C06332E50  Time : 0.0 sec.
user=odicin
[2012-10-02 20:29:36]
785*2^1229932-1 is not prime.  Res64: 041F5984B336639C  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 20:34:41]
769*2^1229931-1 is not prime.  Res64: 0D41C0F5588C7D83  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 20:34:42]
717*2^1229932-1 is not prime.  Res64: D7C64149C3072F71  Time : 0.0 sec.
user=odicin
[2012-10-02 20:41:49]
965*2^1229932-1 is not prime.  Res64: 578B92ECBFF0933B  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 20:46:12]
797*2^1229932-1 is not prime.  Res64: 4F6E6F98B3E0825A  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 20:46:13]
903*2^1229932-1 is not prime.  Res64: AB5BB7E934CF74E5  Time : 0.0 sec.
user=odicin
[2012-10-02 20:54:03]
691*2^1229933-1 is not prime.  Res64: D47A27C957686901  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 20:55:18]
621*2^1229933-1 is not prime.  Res64: E22281AC5F652AC1  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 20:55:19]
631*2^1229933-1 is not prime.  Res64: D5FEF2DC7F80C9FA  Time : 0.0 sec.
user=vaughan
[2012-10-02 21:00:04]
753*2^1229928-1 is not prime.  Res64: A825093427C90E5E  Time : 0.0 sec.
user=odicin
[2012-10-02 21:06:19]
621*2^1229934-1 is not prime.  Res64: AB235C65B84F6A79  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 21:06:47]
699*2^1229933-1 is not prime.  Res64: 363EA5582EBD4FE8  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 21:06:48]
829*2^1229933-1 is not prime.  Res64: D70A36562D9E60AE  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 21:15:54]
665*2^1229934-1 is not prime.  Res64: 4557B3B1B0B41C84  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 21:15:56]
633*2^1229935-1 is not prime.  Res64: ADD5DAFE68C0384C  Time : 0.0 sec.
user=odicin
[2012-10-02 21:18:38]
751*2^1229935-1 is not prime.  Res64: 5640599813924150  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 21:27:24]
861*2^1229935-1 is not prime.  Res64: 6E85E24662E4AFD6  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 21:27:25]
871*2^1229935-1 is not prime.  Res64: 5329D6FCE3E1EB53  Time : 0.0 sec.
user=odicin
[2012-10-02 21:30:53]
717*2^1229936-1 is not prime.  Res64: BAC8C22BCF1E1200  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 21:36:40]
939*2^1229935-1 is not prime.  Res64: 9A5371CBDA72C732  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 21:36:40]
961*2^1229935-1 is not prime.  Res64: BECC7FD63678CB4B  Time : 0.0 sec.
user=odicin
[2012-10-02 21:43:08]
857*2^1229936-1 is not prime.  Res64: 2E076D327D92D720  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 21:48:03]
725*2^1229936-1 is not prime.  Res64: 47F23752183158CB  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 21:48:04]
827*2^1229936-1 is not prime.  Res64: 1C9CBB6057E155BA  Time : 0.0 sec.
user=odicin
[2012-10-02 21:55:22]
649*2^1229937-1 is not prime.  Res64: 73D40822DB52A65F  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 21:57:15]
993*2^1229936-1 is not prime.  Res64: A2E740C55F06C5EB  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 21:57:16]
999*2^1229936-1 is not prime.  Res64: 31B0DD3F3E4BA05B  Time : 0.0 sec.
user=odicin
[2012-10-02 22:07:37]
831*2^1229937-1 is not prime.  Res64: F13A437C523838D2  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 22:08:39]
675*2^1229937-1 is not prime.  Res64: 9B0BDA582926DD1B  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 22:08:40]
747*2^1229937-1 is not prime.  Res64: 612F1A2DE85F1C72  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 22:17:51]
975*2^1229937-1 is not prime.  Res64: B646F04CB0A7089D  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 22:17:52]
657*2^1229938-1 is not prime.  Res64: DB77BFD0740387DA  Time : 0.0 sec.
user=odicin
[2012-10-02 22:19:56]
723*2^1229938-1 is not prime.  Res64: 4D470A0D5164FDA4  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 22:29:19]
831*2^1229938-1 is not prime.  Res64: A8494310926B3614  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 22:29:20]
867*2^1229938-1 is not prime.  Res64: 3BBE4B9C2726A34E  Time : 0.0 sec.
user=odicin
[2012-10-02 22:32:09]
669*2^1229939-1 is not prime.  Res64: 13CED34127F6DAC6  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 22:38:27]
945*2^1229938-1 is not prime.  Res64: 8D91A9BA597786EE  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 22:38:27]
621*2^1229939-1 is not prime.  Res64: FED94DD5B40A65F0  Time : 0.0 sec.
user=odicin
[2012-10-02 22:44:24]
939*2^1229939-1 is not prime.  Res64: E59C33D917A74131  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 22:49:56]
693*2^1229939-1 is not prime.  Res64: D4A2A8134F9E27BF  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 22:49:57]
735*2^1229939-1 is not prime.  Res64: D6AE1258E551591A  Time : 0.0 sec.
user=vaughan
[2012-10-02 22:50:29]
679*2^1229935-1 is not prime.  Res64: E6DD51B50414FD50  Time : 0.0 sec.
user=odicin
[2012-10-02 22:56:40]
795*2^1229940-1 is not prime.  Res64: 45F74E911D7486BF  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 22:59:04]
699*2^1229940-1 is not prime.  Res64: B7CC1E3666F4A959  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 22:59:04]
777*2^1229940-1 is not prime.  Res64: E64D6C73671D314B  Time : 0.0 sec.
user=odicin
[2012-10-02 23:08:53]
615*2^1229941-1 is not prime.  Res64: DA0D43F91FA3516B  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 23:10:33]
803*2^1229940-1 is not prime.  Res64: 1FF22204AD0362D6  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 23:10:36]
843*2^1229940-1 is not prime.  Res64: 0C8CD6A0881D17AE  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 23:19:41]
937*2^1229941-1 is not prime.  Res64: E3B6BE03065CC1F5  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 23:19:41]
771*2^1229942-1 is not prime.  Res64: 245588838A3693A4  Time : 0.0 sec.
user=odicin
[2012-10-02 23:21:14]
797*2^1229942-1 is not prime.  Res64: F7D3F6F56DCA6F50  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 23:31:19]
873*2^1229942-1 is not prime.  Res64: BC764B0D2672611E  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 23:31:20]
923*2^1229942-1 is not prime.  Res64: AFCB846052E4A424  Time : 0.0 sec.
user=odicin
[2012-10-02 23:33:25]
987*2^1229942-1 is not prime.  Res64: 89FF18775674586D  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 23:40:22]
941*2^1229942-1 is not prime.  Res64: 6451096166091D04  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 23:40:23]
963*2^1229942-1 is not prime.  Res64: A037DEE3751F6BBB  Time : 0.0 sec.
user=odicin
[2012-10-02 23:45:38]
945*2^1229943-1 is not prime.  Res64: 50280281A82BF0F9  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 23:51:55]
693*2^1229943-1 is not prime.  Res64: 5BF31F52AFB0D036  Time : 0.0 sec.
user=mdettweiler
[2012-10-02 23:51:56]
795*2^1229943-1 is not prime.  Res64: DBBEC93A6D2395B5  Time : 0.0 sec.
user=odicin
[2012-10-02 23:57:49]
887*2^1229944-1 is not prime.  Res64: 489B1CE673DB5CEF  Time : 0.0 sec.
user=mdettweiler
[2012-10-03 00:00:58]
857*2^1229944-1 is not prime.  Res64: 7C9B68ED7DB9ABAA  Time : 0.0 sec.
user=mdettweiler
[2012-10-03 00:00:59]
875*2^1229944-1 is not prime.  Res64: BD9E08A42D2AF6AC  Time : 0.0 sec.