user=vaughan
[2013-04-07 00:03:35]
705*2^1244102-1 is not prime.  Res64: 12DF88461BA42816  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 00:08:12]
893*2^1244102-1 is not prime.  Res64: FCC807CB80C9356D  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 00:08:13]
613*2^1244103-1 is not prime.  Res64: 012E54E86CAA743E  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 00:08:13]
723*2^1244103-1 is not prime.  Res64: 29D80E9396B6AF59  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 00:08:14]
765*2^1244103-1 is not prime.  Res64: EF141C33938E2B71  Time : 0.0 sec.
user=juhehe
[2013-04-07 00:10:53]
717*2^1244101-1 is not prime.  Res64: 8E11D7983D6B3D9E  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 00:25:43]
985*2^1244103-1 is not prime.  Res64: 610FB641FE415599  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 00:25:44]
615*2^1244104-1 is not prime.  Res64: 86AB9D8DCC4B1753  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 00:25:45]
639*2^1244104-1 is not prime.  Res64: 371C810096FF7C44  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 00:25:46]
813*2^1244104-1 is not prime.  Res64: 64CF942091E41AF6  Time : 0.0 sec.
user=vaughan
[2013-04-07 00:41:40]
783*2^1244103-1 is not prime.  Res64: 5267AF9F93B35EB0  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 00:43:21]
875*2^1244104-1 is not prime.  Res64: 014801BA4EF5B88E  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 00:43:21]
927*2^1244104-1 is not prime.  Res64: 255506168660735A  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 00:43:22]
657*2^1244105-1 is not prime.  Res64: 27337408E18F299D  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 00:43:23]
679*2^1244105-1 is not prime.  Res64: FF50D41F577F9961  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 01:00:53]
771*2^1244105-1 is not prime.  Res64: 4F95EBAE1959C3CB  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 01:00:55]
787*2^1244105-1 is not prime.  Res64: 03494565B6A934FA  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 01:00:55]
897*2^1244105-1 is not prime.  Res64: EF6C3D9C14392F16  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 01:00:56]
615*2^1244106-1 is not prime.  Res64: ADE50BBD1418D116  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 01:18:52]
755*2^1244106-1 is not prime.  Res64: 5A1B3B2C06DBDCF7  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 01:18:53]
777*2^1244106-1 is not prime.  Res64: 24608BF07C37F108  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 01:18:53]
821*2^1244106-1 is not prime.  Res64: 92E23C84CB33CD16  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 01:18:55]
843*2^1244106-1 is not prime.  Res64: 4ED1B41FBF0A2F95  Time : 0.0 sec.
user=vaughan
[2013-04-07 01:19:38]
729*2^1244105-1 is not prime.  Res64: 194561C62E0503FA  Time : 0.0 sec.
user=juhehe
[2013-04-07 01:33:45]
691*2^1244105-1 is not prime.  Res64: 092634680CE501A8  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 01:36:27]
971*2^1244106-1 is not prime.  Res64: 9E1759ECE9C7E78D  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 01:36:27]
625*2^1244107-1 is not prime.  Res64: 194A47909B0BE92D  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 01:36:27]
619*2^1244107-1 is not prime.  Res64: 37E455D98B2ABD4C  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 01:36:28]
741*2^1244107-1 is not prime.  Res64: 6A1E0795D10EE303  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 01:53:59]
765*2^1244107-1 is not prime.  Res64: 7A2520408D50069C  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 01:54:00]
849*2^1244107-1 is not prime.  Res64: 8B7863FAD411E0A3  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 01:54:02]
871*2^1244107-1 is not prime.  Res64: 0E35290D4278411E  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 01:54:02]
665*2^1244108-1 is not prime.  Res64: D16A64A751218D6D  Time : 0.0 sec.
user=vaughan
[2013-04-07 01:57:35]
759*2^1244107-1 is not prime.  Res64: F5E8CCF24A5CD752  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 02:11:32]
855*2^1244108-1 is not prime.  Res64: DBE14EF7DFE2E0C5  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 02:11:34]
875*2^1244108-1 is not prime.  Res64: 754BCF3545FDDBE2  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 02:11:35]
963*2^1244108-1 is not prime.  Res64: 07028D93C6526745  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 02:11:36]
745*2^1244109-1 is not prime.  Res64: F2BECE635D535CE0  Time : 0.0 sec.
user=juhehe
[2013-04-07 02:17:12]
759*2^1244109-1 is not prime.  Res64: FF110FD122A64B43  Time : 0.0 sec.
user=juhehe
[2013-04-07 02:19:47]
945*2^1244106-1 is not prime.  Res64: 3985CF7138905016  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 02:29:17]
861*2^1244109-1 is not prime.  Res64: 30B988CC5C88AADE  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 02:29:18]
961*2^1244109-1 is not prime.  Res64: A12087AD93EE2ABC  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 02:29:18]
987*2^1244109-1 is not prime.  Res64: 0CAF3020997E35D0  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 02:29:20]
645*2^1244110-1 is not prime.  Res64: B35FA2359D6995EC  Time : 0.0 sec.
user=vaughan
[2013-04-07 02:35:31]
847*2^1244109-1 is not prime.  Res64: F2AA3CC874CDD6DD  Time : 0.0 sec.
user=juhehe
[2013-04-07 02:37:45]
657*2^1244110-1 is not prime.  Res64: 56AA14BEB08CBE40  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 02:46:55]
717*2^1244110-1 is not prime.  Res64: 447621D1A44442E8  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 02:46:56]
911*2^1244110-1 is not prime.  Res64: 8D66B356012104F1  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 02:46:57]
723*2^1244110-1 is not prime.  Res64: 89799F555ECA931C  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 02:46:57]
663*2^1244111-1 is not prime.  Res64: DD36CFB890E9306C  Time : 0.0 sec.
user=juhehe
[2013-04-07 02:58:21]
843*2^1244111-1 is not prime.  Res64: A75F985E88410450  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 03:04:58]
879*2^1244111-1 is not prime.  Res64: D5D1694154B0D810  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 03:04:59]
909*2^1244111-1 is not prime.  Res64: F132EA80053C0C12  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 03:05:00]
615*2^1244112-1 is not prime.  Res64: CFB9907D766B0F90  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 03:05:01]
683*2^1244112-1 is not prime.  Res64: 6EC7958D9B30EF7A  Time : 0.0 sec.
user=vaughan
[2013-04-07 03:13:30]
841*2^1244111-1 is not prime.  Res64: 61A4D17F71FFAB9D  Time : 0.0 sec.
user=juhehe
[2013-04-07 03:18:54]
767*2^1244112-1 is not prime.  Res64: 786F04C9DB6BA2BA  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 03:22:36]
857*2^1244112-1 is not prime.  Res64: 9906AFD454C67697  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 03:22:37]
893*2^1244112-1 is not prime.  Res64: 74E09C8A23892841  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 03:22:38]
903*2^1244112-1 is not prime.  Res64: 5F883CC271CFDD77  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 03:22:39]
625*2^1244113-1 is not prime.  Res64: 92E4338813281020  Time : 0.0 sec.
user=juhehe
[2013-04-07 03:36:48]
811*2^1244111-1 is not prime.  Res64: 8D4751B5DCF367C5  Time : 0.0 sec.
user=juhehe
[2013-04-07 03:39:29]
747*2^1244113-1 is not prime.  Res64: 580F23609537D4E5  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 03:40:13]
897*2^1244113-1 is not prime.  Res64: FB3A28F9BCB507CA  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 03:40:14]
937*2^1244113-1 is not prime.  Res64: 72E529AA3FEF27F2  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 03:40:15]
711*2^1244114-1 is not prime.  Res64: D13C65B162FAE6C4  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 03:40:16]
857*2^1244114-1 is not prime.  Res64: 246C86E364839888  Time : 0.0 sec.
user=vaughan
[2013-04-07 03:51:26]
691*2^1244113-1 is not prime.  Res64: 39139E2A47003910  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 03:57:49]
993*2^1244114-1 is not prime.  Res64: F6CA78F9B013F752  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 03:57:50]
643*2^1244115-1 is not prime.  Res64: DFD8B10A1DEE705A  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 03:57:50]
685*2^1244115-1 is not prime.  Res64: 780ED0A678DD5400  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 03:57:51]
691*2^1244115-1 is not prime.  Res64: A3E621D9A03F0127  Time : 0.0 sec.
user=juhehe
[2013-04-07 04:00:03]
917*2^1244114-1 is not prime.  Res64: D727DA98E5410147  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 04:15:49]
871*2^1244115-1 is not prime.  Res64: A265FE794F950965  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 04:15:50]
891*2^1244115-1 is not prime.  Res64: 9FF028E1502FAB7C  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 04:15:53]
759*2^1244116-1 is not prime.  Res64: C74FCBF77A5E9B69  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 04:15:54]
825*2^1244116-1 is not prime.  Res64: 834C73441A7B6352  Time : 0.0 sec.
user=juhehe
[2013-04-07 04:22:03]
817*2^1244113-1 is not prime.  Res64: E31CE299B321C970  Time : 0.0 sec.
user=juhehe
[2013-04-07 04:24:42]
939*2^1244116-1 is not prime.  Res64: 63BA2A2D341C9000  Time : 0.0 sec.
user=vaughan
[2013-04-07 04:29:23]
819*2^1244115-1 is not prime.  Res64: BD1F6ED69F84A9D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 04:34:01]
697*2^1244117-1 is not prime.  Res64: 15596EC2ABF0C664  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 04:34:02]
741*2^1244117-1 is not prime.  Res64: E065A819ACD39C07  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 04:34:03]
771*2^1244117-1 is not prime.  Res64: 64902D19D9C5C39A  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 04:34:05]
871*2^1244117-1 is not prime.  Res64: 0E2B87B7517677ED  Time : 0.0 sec.
user=juhehe
[2013-04-07 04:43:41]
893*2^1244082-1 is not prime.  Res64: FDDE0D602553092D  Time : 0.0 sec.
user=juhehe
[2013-04-07 04:50:19]
889*2^1244117-1 is not prime.  Res64: 032FEF3ED6DC3F35  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 04:52:14]
605*2^1244118-1 is not prime.  Res64: 335383BE4983C5B0  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 04:52:15]
627*2^1244118-1 is not prime.  Res64: 6E826CCD5FCE788B  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 04:52:15]
641*2^1244118-1 is not prime.  Res64: B3A2E004BF13B8F9  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 04:52:16]
647*2^1244118-1 is not prime.  Res64: FCA9BCC3F1B2820D  Time : 0.0 sec.
user=juhehe
[2013-04-07 05:09:48]
713*2^1244118-1 is not prime.  Res64: A36F4410F03CDB75  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 05:09:49]
875*2^1244118-1 is not prime.  Res64: 790E310EEAD7419B  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 05:09:50]
923*2^1244118-1 is not prime.  Res64: 7B12300873E23550  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 05:09:52]
951*2^1244118-1 is not prime.  Res64: 22F6548F986FA064  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 05:09:53]
993*2^1244118-1 is not prime.  Res64: 915CAFA96D6FA420  Time : 0.0 sec.
user=vaughan
[2013-04-07 05:12:28]
937*2^1244117-1 is not prime.  Res64: 4917AE12FFF6CCF9  Time : 0.0 sec.
user=juhehe
[2013-04-07 05:16:13]
737*2^1244118-1 is not prime.  Res64: D2A61A2818CEBDFE  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 05:27:34]
633*2^1244119-1 is not prime.  Res64: 677A802D9839A4D2  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 05:27:35]
709*2^1244119-1 is not prime.  Res64: 6334231E50A958B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 05:27:37]
693*2^1244119-1 is not prime.  Res64: 262C60D0A6E2E624  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 05:27:38]
895*2^1244119-1 is not prime.  Res64: DAF636B01D165C5B  Time : 0.0 sec.
user=juhehe
[2013-04-07 05:34:24]
829*2^1244119-1 is not prime.  Res64: 99F670A3F0629524  Time : 0.0 sec.
user=juhehe
[2013-04-07 05:38:46]
657*2^1244118-1 is not prime.  Res64: 38F872C55E334F4C  Time : 0.0 sec.
user=juhehe
[2013-04-07 05:40:51]
743*2^1244120-1 is not prime.  Res64: FFD77EF7758D05FD  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 05:45:14]
875*2^1244120-1 is not prime.  Res64: B69E51F4CDA7B30F  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 05:45:15]
923*2^1244120-1 is not prime.  Res64: 5FA1D32CAF10509A  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 05:45:15]
601*2^1244121-1 is not prime.  Res64: CB2956C3F68DEBC8  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 05:45:16]
607*2^1244121-1 is not prime.  Res64: 4DCCC11876C82263  Time : 0.0 sec.
user=vaughan
[2013-04-07 05:50:24]
677*2^1244120-1 is not prime.  Res64: 8B61DCAB2802DB7C  Time : 0.0 sec.
user=juhehe
[2013-04-07 05:58:56]
789*2^1244121-1 is not prime.  Res64: F90E9D2CC2DEFC8E  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 06:02:49]
611*2^1244122-1 is not prime.  Res64: 51ACF68D4D2680A9  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 06:02:51]
945*2^1244122-1 is not prime.  Res64: 0A6078A7CC4D6B0E  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 06:02:51]
825*2^1244122-1 is not prime.  Res64: F9F77ACF73A5894C  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 06:02:52]
741*2^1244123-1 is not prime.  Res64: 5CA5AB47E9CC1415  Time : 0.0 sec.
user=juhehe
[2013-04-07 06:05:24]
861*2^1244121-1 is not prime.  Res64: F5768FFA7EDEF95D  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 06:20:30]
913*2^1244123-1 is not prime.  Res64: 8D993A9A87BFF352  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 06:20:31]
635*2^1244124-1 is not prime.  Res64: F3963CB8166326A2  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 06:20:33]
795*2^1244124-1 is not prime.  Res64: 8EC268EF698B40E8  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 06:20:34]
803*2^1244124-1 is not prime.  Res64: B2B29DC73B12872E  Time : 0.0 sec.
user=juhehe
[2013-04-07 06:23:44]
871*2^1244123-1 is not prime.  Res64: A4B4F73833C8CD0C  Time : 0.0 sec.
user=juhehe
[2013-04-07 06:24:11]
773*2^1244120-1 is not prime.  Res64: D861D41EE0357E83  Time : 0.0 sec.
user=vaughan
[2013-04-07 06:28:24]
823*2^1244123-1 is not prime.  Res64: CC34418EC5F1BDC5  Time : 0.0 sec.
user=juhehe
[2013-04-07 06:30:12]
651*2^1244125-1 is not prime.  Res64: D0B2CEB5AC384AC5  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 06:38:08]
847*2^1244125-1 is not prime.  Res64: 628F9677663C6856  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 06:38:10]
859*2^1244125-1 is not prime.  Res64: 8271E7757CCA57EA  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 06:38:10]
897*2^1244125-1 is not prime.  Res64: BB04501FA7074295  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 06:38:12]
915*2^1244125-1 is not prime.  Res64: 5D4BF6C23214F117  Time : 0.0 sec.
user=juhehe
[2013-04-07 06:53:03]
985*2^1244125-1 is not prime.  Res64: A0F218DB51B3BA7C  Time : 0.0 sec.
user=juhehe
[2013-04-07 06:55:25]
645*2^1244126-1 is not prime.  Res64: E71E0ABE88B22C17  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 06:55:47]
693*2^1244126-1 is not prime.  Res64: E464C2EC4E04C669  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 06:55:48]
761*2^1244126-1 is not prime.  Res64: 824DD2BF5FD42A44  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 06:55:49]
815*2^1244126-1 is not prime.  Res64: 67C3FE7409DF202F  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 06:55:51]
861*2^1244126-1 is not prime.  Res64: F25D6020AE717B02  Time : 0.0 sec.
user=vaughan
[2013-04-07 07:11:36]
999*2^1244125-1 is not prime.  Res64: 3869077BA1989114  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 07:13:24]
705*2^1244127-1 is not prime.  Res64: C189847992D440C9  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 07:13:25]
819*2^1244127-1 is not prime.  Res64: 7651AEE7C1C8DD08  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 07:13:27]
979*2^1244127-1 is not prime.  Res64: B92983A016844FF2  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 07:13:29]
695*2^1244128-1 is not prime.  Res64: 5F4EF27425B2A76D  Time : 0.0 sec.
user=juhehe
[2013-04-07 07:17:00]
897*2^1244126-1 is not prime.  Res64: FEAFDD5477030857  Time : 0.0 sec.
user=juhehe
[2013-04-07 07:19:23]
691*2^1244127-1 is not prime.  Res64: CE12EE8E0FA65035  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 07:31:00]
869*2^1244128-1 is not prime.  Res64: DB919FB14A73A857  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 07:31:01]
993*2^1244128-1 is not prime.  Res64: FFCFD325C76319E6  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 07:31:10]
631*2^1244129-1 is not prime.  Res64: A8FDA1B8045875F7  Time : 0.0 sec.
user=juhehe
[2013-04-07 07:40:55]
691*2^1244129-1 is not prime.  Res64: E8632ECD51E0376C  Time : 0.0 sec.
user=juhehe
[2013-04-07 07:40:59]
677*2^1244126-1 is not prime.  Res64: E1B1C3D60DD24D92  Time : 0.0 sec.
user=juhehe
[2013-04-07 07:43:34]
759*2^1244129-1 is not prime.  Res64: 6174B1DBE5F73229  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 07:48:37]
831*2^1244129-1 is not prime.  Res64: 70D295F613020957  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 07:48:39]
837*2^1244129-1 is not prime.  Res64: 574705555A490ADD  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 07:48:47]
889*2^1244129-1 is not prime.  Res64: 30EB1783EF1C105C  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 07:48:50]
843*2^1244130-1 is not prime.  Res64: D20C5180221ED446  Time : 0.0 sec.
user=vaughan
[2013-04-07 07:49:51]
819*2^1244128-1 is not prime.  Res64: 9958C54882038E02  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 08:06:15]
867*2^1244130-1 is not prime.  Res64: 5CA269B9E56B66FE  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 08:06:17]
927*2^1244130-1 is not prime.  Res64: 602C18B483A55E73  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 08:06:24]
1001*2^1244130-1 is not prime.  Res64: 8CDA462FF847E9A5  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 08:06:25]
745*2^1244131-1 is not prime.  Res64: DCE2C061ABCA3B96  Time : 0.0 sec.
user=juhehe
[2013-04-07 08:07:02]
851*2^1244130-1 is not prime.  Res64: 22AEFB375E4A54CD  Time : 0.0 sec.
user=juhehe
[2013-04-07 08:09:45]
861*2^1244130-1 is not prime.  Res64: 7F1FE148A8ECAA37  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 08:23:58]
861*2^1244131-1 is not prime.  Res64: B187885AF1BBFB07  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 08:23:59]
885*2^1244131-1 is not prime.  Res64: 6BA058D84476B938  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 08:24:00]
979*2^1244131-1 is not prime.  Res64: 97081DB3C0C29090  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 08:24:01]
665*2^1244132-1 is not prime.  Res64: CAD718834F5E62D5  Time : 0.0 sec.
user=juhehe
[2013-04-07 08:26:39]
771*2^1244129-1 is not prime.  Res64: AB018303B96946D3  Time : 0.0 sec.
user=vaughan
[2013-04-07 08:28:03]
759*2^1244131-1 is not prime.  Res64: 2327164D7DCB19DE  Time : 0.0 sec.
user=juhehe
[2013-04-07 08:32:01]
825*2^1244132-1 is not prime.  Res64: DCFD5DC6624AFF20  Time : 0.0 sec.
user=juhehe
[2013-04-07 08:34:50]
837*2^1244132-1 is not prime.  Res64: F5B8F036DE66C73B  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 08:41:35]
885*2^1244132-1 is not prime.  Res64: 5E86FE6E0F19C282  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 08:41:36]
897*2^1244132-1 is not prime.  Res64: B55E098FA3C693A5  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 08:41:39]
615*2^1244133-1 is not prime.  Res64: 9C5CFF42E9B37AD7  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 08:41:40]
819*2^1244133-1 is not prime.  Res64: 77F6C4EC8190E838  Time : 0.0 sec.
user=juhehe
[2013-04-07 08:56:38]
915*2^1244133-1 is not prime.  Res64: AF39FDD7A5612732  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 08:59:11]
677*2^1244134-1 is not prime.  Res64: 03634AA404E2B2F9  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 08:59:12]
723*2^1244134-1 is not prime.  Res64: 30B9437E2DEBF5A2  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 08:59:17]
755*2^1244134-1 is not prime.  Res64: 41B96374F6E51785  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 08:59:18]
773*2^1244134-1 is not prime.  Res64: 4A2CF3F7297D8105  Time : 0.0 sec.
user=juhehe
[2013-04-07 09:02:49]
969*2^1244133-1 is not prime.  Res64: 6D6B2E378714942B  Time : 0.0 sec.
user=vaughan
[2013-04-07 09:06:18]
885*2^1244133-1 is not prime.  Res64: 65BC34C0C8CD0106  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 09:16:46]
887*2^1244134-1 is not prime.  Res64: CB9281BA1D72E62A  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 09:16:47]
957*2^1244134-1 is not prime.  Res64: E06D0116285BC4B6  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 09:16:55]
693*2^1244135-1 is not prime.  Res64: BFCF5DC0C8E62043  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 09:16:56]
771*2^1244135-1 is not prime.  Res64: 5E5F0199395E41CB  Time : 0.0 sec.
user=juhehe
[2013-04-07 09:20:32]
813*2^1244134-1 is not prime.  Res64: 92DBEC6988D46F4E  Time : 0.0 sec.
user=juhehe
[2013-04-07 09:26:46]
819*2^1244135-1 is not prime.  Res64: 8C87FB5F2051DED5  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 09:34:21]
973*2^1244135-1 is not prime.  Res64: 016EF56FA3105B41  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 09:34:22]
981*2^1244135-1 is not prime.  Res64: 37D885062B17A5A2  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 09:34:31]
985*2^1244135-1 is not prime.  Res64: EC716507E41245C0  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 09:34:32]
999*2^1244135-1 is not prime.  Res64: A016FE6833131AA3  Time : 0.0 sec.
user=juhehe
[2013-04-07 09:43:31]
605*2^1244134-1 is not prime.  Res64: 9D34FF91ED8E9585  Time : 0.0 sec.
user=juhehe
[2013-04-07 09:44:23]
629*2^1244136-1 is not prime.  Res64: 64CC86AD0F79D113  Time : 0.0 sec.
user=vaughan
[2013-04-07 09:49:38]
969*2^1244135-1 is not prime.  Res64: 7F20C3580AAA8B25  Time : 0.0 sec.
user=juhehe
[2013-04-07 09:50:39]
683*2^1244136-1 is not prime.  Res64: 64D82BC08AD4C14B  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 09:51:58]
825*2^1244136-1 is not prime.  Res64: 72B9E5B1E3B3E0F2  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 09:52:00]
903*2^1244136-1 is not prime.  Res64: 3894D127526148BD  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 09:52:08]
947*2^1244136-1 is not prime.  Res64: 36BC704B7C2B4513  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 09:52:09]
601*2^1244137-1 is not prime.  Res64: 947A0EB0CB62B262  Time : 0.0 sec.
user=juhehe
[2013-04-07 10:08:16]
747*2^1244137-1 is not prime.  Res64: 96F2F29EBD1727B8  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 10:09:38]
861*2^1244137-1 is not prime.  Res64: 6A2DA6FFDE55C845  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 10:09:40]
867*2^1244137-1 is not prime.  Res64: E80B6A26FC75C45F  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 10:09:50]
901*2^1244137-1 is not prime.  Res64: EF6491E6E4DCF0CE  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 10:09:51]
945*2^1244137-1 is not prime.  Res64: E4486A83BE7CB2EE  Time : 0.0 sec.
user=juhehe
[2013-04-07 10:14:33]
777*2^1244137-1 is not prime.  Res64: A961066E0DE3258E  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 10:27:22]
657*2^1244138-1 is not prime.  Res64: 82BFD3B2608B23E4  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 10:27:24]
773*2^1244138-1 is not prime.  Res64: B106BA70CDEFFC9F  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 10:27:30]
797*2^1244138-1 is not prime.  Res64: A5C3A569AD7613B1  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 10:27:31]
867*2^1244138-1 is not prime.  Res64: 72B267A1237A660F  Time : 0.0 sec.
user=vaughan
[2013-04-07 10:27:55]
769*2^1244137-1 is not prime.  Res64: 45E07203A911B21A  Time : 0.0 sec.
user=juhehe
[2013-04-07 10:28:35]
633*2^1244136-1 is not prime.  Res64: 9AC4DEBF51FC6A1C  Time : 0.0 sec.
user=juhehe
[2013-04-07 10:32:02]
627*2^1244138-1 is not prime.  Res64: 8FC5B8E5889BFEB6  Time : 0.0 sec.
user=juhehe
[2013-04-07 10:38:13]
911*2^1244138-1 is not prime.  Res64: F28ACBB46FC7D15E  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 10:45:01]
923*2^1244138-1 is not prime.  Res64: D9E9F2F84F88BDFC  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 10:45:02]
935*2^1244138-1 is not prime.  Res64: F6FA0C142D17FA49  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 10:45:10]
941*2^1244138-1 is not prime.  Res64: E2AB50F984F672FE  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 10:45:10]
977*2^1244138-1 is not prime.  Res64: 8172B95CF5C451A6  Time : 0.0 sec.
user=juhehe
[2013-04-07 10:55:45]
709*2^1244139-1 is not prime.  Res64: D0B6984F2AC60CCF  Time : 0.0 sec.
user=juhehe
[2013-04-07 11:01:54]
795*2^1244139-1 is not prime.  Res64: F06824B12583208F  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 11:02:41]
895*2^1244139-1 is not prime.  Res64: B9EC15088942375C  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 11:02:42]
961*2^1244139-1 is not prime.  Res64: E5DE9D50BA7AED5D  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 11:02:49]
615*2^1244140-1 is not prime.  Res64: 24B3F9D42293DE76  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 11:02:52]
839*2^1244140-1 is not prime.  Res64: 6C9998967FD5015C  Time : 0.0 sec.
user=vaughan
[2013-04-07 11:06:08]
609*2^1244139-1 is not prime.  Res64: A4F0E25E26F4DD1A  Time : 0.0 sec.
user=juhehe
[2013-04-07 11:19:18]
845*2^1244140-1 is not prime.  Res64: 6BC0B4F601A9557F  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 11:20:21]
933*2^1244140-1 is not prime.  Res64: 584E712B0F21A2B0  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 11:20:22]
965*2^1244140-1 is not prime.  Res64: 7277CE3D22D7646E  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 11:20:33]
999*2^1244140-1 is not prime.  Res64: 8CB24FEF841975A0  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 11:20:35]
607*2^1244141-1 is not prime.  Res64: 39902A131E219FB6  Time : 0.0 sec.
user=juhehe
[2013-04-07 11:25:51]
905*2^1244140-1 is not prime.  Res64: A687D27DBAA4C463  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 11:38:00]
855*2^1244141-1 is not prime.  Res64: 6EAC71A9BF43042E  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 11:38:01]
885*2^1244141-1 is not prime.  Res64: 822514CCF1CA9F97  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 11:38:13]
957*2^1244141-1 is not prime.  Res64: B7BD4F4BF2960183  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 11:38:13]
611*2^1244142-1 is not prime.  Res64: 570AF5077DF95ADF  Time : 0.0 sec.
user=vaughan
[2013-04-07 11:44:25]
615*2^1244141-1 is not prime.  Res64: B4AF29FE91525CF1  Time : 0.0 sec.
user=juhehe
[2013-04-07 11:46:04]
801*2^1244139-1 is not prime.  Res64: 0266D1FC074FCBF1  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 11:55:39]
843*2^1244142-1 is not prime.  Res64: 5F28E50E22EE0F27  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 11:55:40]
893*2^1244142-1 is not prime.  Res64: 97F610EDD5EF450F  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 11:55:50]
681*2^1244143-1 is not prime.  Res64: C50412552B96BEDB  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 11:55:51]
705*2^1244143-1 is not prime.  Res64: 8CEEF6F159E0E46A  Time : 0.0 sec.
user=juhehe
[2013-04-07 11:59:18]
727*2^1244141-1 is not prime.  Res64: CA520114ADD8960C  Time : 0.0 sec.
user=juhehe
[2013-04-07 12:11:06]
755*2^1244142-1 is not prime.  Res64: 335DB3DE7A84B175  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 12:13:21]
915*2^1244143-1 is not prime.  Res64: E3DAFDDD467AE1C1  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 12:13:23]
951*2^1244143-1 is not prime.  Res64: 717046AD0BB29090  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 12:13:26]
973*2^1244143-1 is not prime.  Res64: 34E5B6B16DBCD473  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 12:13:27]
993*2^1244143-1 is not prime.  Res64: CCBED673E006DBCF  Time : 0.0 sec.
user=vaughan
[2013-04-07 12:22:38]
769*2^1244143-1 is not prime.  Res64: CDB0FFC08906934F  Time : 0.0 sec.
user=juhehe
[2013-04-07 12:30:40]
765*2^1244142-1 is not prime.  Res64: 3370DF9D1EF5E006  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 12:31:01]
687*2^1244144-1 is not prime.  Res64: 29007FA37CE1DA02  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 12:31:02]
743*2^1244144-1 is not prime.  Res64: 4194FD5923A38033  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 12:31:04]
827*2^1244144-1 is not prime.  Res64: 9C68B52E8A3D3AE4  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 12:31:05]
833*2^1244144-1 is not prime.  Res64: 4B207FC52C3F47A9  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 12:48:41]
893*2^1244144-1 is not prime.  Res64: FAFBA93E4F71DF3A  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 12:48:41]
935*2^1244144-1 is not prime.  Res64: E1F76D7D260C568D  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 12:48:43]
957*2^1244144-1 is not prime.  Res64: F5AFC6F0F114AD83  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 12:48:43]
959*2^1244144-1 is not prime.  Res64: 45FDC4D2E832D158  Time : 0.0 sec.
user=vaughan
[2013-04-07 13:00:54]
855*2^1244144-1 is not prime.  Res64: B5A3ED43FC36FA97  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 13:06:18]
649*2^1244145-1 is not prime.  Res64: 8A4BDE6242902928  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 13:06:19]
669*2^1244145-1 is not prime.  Res64: 8C2701DB392D6801  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 13:06:20]
777*2^1244145-1 is not prime.  Res64: D813F5DA5395FCBF  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 13:06:21]
847*2^1244145-1 is not prime.  Res64: 16FD8B3152D644F1  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 13:23:58]
891*2^1244145-1 is not prime.  Res64: DFD5F92E6DC2B16E  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 13:23:59]
611*2^1244146-1 is not prime.  Res64: 27DD9AA2DE8E29E9  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 13:24:01]
677*2^1244146-1 is not prime.  Res64: FEFB808307142C05  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 13:24:02]
735*2^1244146-1 is not prime.  Res64: EA2B8AA387CC48AB  Time : 0.0 sec.
user=vaughan
[2013-04-07 13:39:31]
885*2^1244145-1 is not prime.  Res64: 7614DC9539A720EB  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 13:41:39]
803*2^1244146-1 is not prime.  Res64: 144B98D965C2BCA7  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 13:41:40]
821*2^1244146-1 is not prime.  Res64: 5DE86A8153E6FB03  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 13:41:41]
833*2^1244146-1 is not prime.  Res64: 1E3CFDAA7EDBF83D  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 13:41:42]
867*2^1244146-1 is not prime.  Res64: 9FFA88DB8B1B5C52  Time : 0.0 sec.
user=juhehe
[2013-04-07 13:48:34]
627*2^1244145-1 is not prime.  Res64: FF59DE6DACE178D5  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 13:59:26]
805*2^1244147-1 is not prime.  Res64: 6AC0C74ED623EB98  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 13:59:27]
955*2^1244147-1 is not prime.  Res64: A82D5310332E14D8  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 13:59:28]
663*2^1244148-1 is not prime.  Res64: 7E07FC46CD8DF88E  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 13:59:29]
699*2^1244148-1 is not prime.  Res64: A1E50B4A975C9DA2  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 14:17:09]
843*2^1244148-1 is not prime.  Res64: 3188E2A0DA2A798F  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 14:17:09]
879*2^1244148-1 is not prime.  Res64: A3EC2A33AF75A77F  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 14:17:14]
893*2^1244148-1 is not prime.  Res64: 9339826FE7867C3C  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 14:17:15]
601*2^1244149-1 is not prime.  Res64: 73DF9BABF47C0A6F  Time : 0.0 sec.
user=vaughan
[2013-04-07 14:17:45]
711*2^1244147-1 is not prime.  Res64: D881343C53DC6E7A  Time : 0.0 sec.
user=juhehe
[2013-04-07 14:32:55]
669*2^1244147-1 is not prime.  Res64: E6E5C0BE5F0D7208  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 14:34:42]
789*2^1244149-1 is not prime.  Res64: 01236455D104D570  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 14:34:43]
931*2^1244149-1 is not prime.  Res64: 16329FD94132185E  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 14:34:51]
615*2^1244150-1 is not prime.  Res64: 3D8888855BB9CDEC  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 14:34:51]
635*2^1244150-1 is not prime.  Res64: A3F4FE8EB8A7D81E  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 14:52:18]
813*2^1244150-1 is not prime.  Res64: 7245523A2ED309ED  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 14:52:18]
953*2^1244150-1 is not prime.  Res64: 01322CB3C54E9D44  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 14:52:22]
977*2^1244150-1 is not prime.  Res64: 76A7982A09F94AC0  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 14:52:23]
981*2^1244150-1 is not prime.  Res64: 985E2E435B41BDF1  Time : 0.0 sec.
user=vaughan
[2013-04-07 14:55:58]
773*2^1244150-1 is not prime.  Res64: 5EC7E358C1B87D86  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 15:09:52]
723*2^1244151-1 is not prime.  Res64: DF6A5897866C025C  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 15:09:53]
739*2^1244151-1 is not prime.  Res64: 378B520A2455CF93  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 15:09:59]
745*2^1244151-1 is not prime.  Res64: DF6358349B61A122  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 15:10:00]
825*2^1244151-1 is not prime.  Res64: 471FA03CC71591BB  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 15:27:29]
719*2^1244152-1 is not prime.  Res64: B0EF2752C71951E4  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 15:27:30]
735*2^1244152-1 is not prime.  Res64: 55058D9358ED8A42  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 15:27:37]
803*2^1244152-1 is not prime.  Res64: 99B34B6D840BC443  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 15:27:39]
843*2^1244152-1 is not prime.  Res64: 29FC5ECC2C180AB7  Time : 0.0 sec.
user=vaughan
[2013-04-07 15:34:11]
609*2^1244152-1 is not prime.  Res64: E8256E17231D8F4A  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 15:45:04]
989*2^1244152-1 is not prime.  Res64: 6A659DDE75CAB225  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 15:45:06]
619*2^1244153-1 is not prime.  Res64: 123BF22ADC466FE0  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 15:45:17]
649*2^1244153-1 is not prime.  Res64: 01D36DFE667AFE8C  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 15:45:18]
745*2^1244153-1 is not prime.  Res64: 4F3201C28C9F7320  Time : 0.0 sec.
user=juhehe
[2013-04-07 15:50:45]
619*2^1244151-1 is not prime.  Res64: F95E8FB29D3828C6  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 16:02:42]
923*2^1244154-1 is not prime.  Res64: AADEF2F6DDD256F0  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 16:02:44]
619*2^1244155-1 is not prime.  Res64: 98CF15358D8A8D04  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 16:02:59]
631*2^1244155-1 is not prime.  Res64: 6945677F12299287  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 16:03:01]
793*2^1244155-1 is not prime.  Res64: DF3BECE272A9D8B2  Time : 0.0 sec.
user=vaughan
[2013-04-07 16:12:24]
657*2^1244154-1 is not prime.  Res64: 6FC80AF54F48E306  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 16:20:25]
805*2^1244155-1 is not prime.  Res64: 3487CF78238AD913  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 16:20:26]
859*2^1244155-1 is not prime.  Res64: F961D4A8F285B3D9  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 16:20:41]
609*2^1244156-1 is not prime.  Res64: 1BD5D043C4B9C044  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 16:20:44]
615*2^1244156-1 is not prime.  Res64: 69DFBFD1B8871B9E  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 16:38:14]
693*2^1244156-1 is not prime.  Res64: A96FA01342B0FCA5  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 16:38:15]
717*2^1244156-1 is not prime.  Res64: BCCE0C85F10E6B76  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 16:38:30]
735*2^1244156-1 is not prime.  Res64: 550B7DD65F06E826  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 16:38:31]
749*2^1244156-1 is not prime.  Res64: 70D154447DB63746  Time : 0.0 sec.
user=juhehe
[2013-04-07 16:41:39]
987*2^1244153-1 is not prime.  Res64: 4EA11FD3898C3A15  Time : 0.0 sec.
user=vaughan
[2013-04-07 16:50:38]
635*2^1244156-1 is not prime.  Res64: 2EA3EEA30467C3FB  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 16:55:59]
773*2^1244156-1 is not prime.  Res64: 4EF1D127A51A4483  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 16:56:00]
825*2^1244156-1 is not prime.  Res64: D43C7A4B67E52951  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 16:56:17]
837*2^1244156-1 is not prime.  Res64: 604F20A3DFBC4B34  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 16:56:18]
845*2^1244156-1 is not prime.  Res64: EC46746ABFF168CA  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 17:13:45]
895*2^1244157-1 is not prime.  Res64: 3E0A16D007B89598  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 17:13:45]
605*2^1244158-1 is not prime.  Res64: 71B83C6DE05D6AD5  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 17:14:01]
681*2^1244158-1 is not prime.  Res64: A327D1FB98C52A16  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 17:14:02]
713*2^1244158-1 is not prime.  Res64: 6CCDB439AB999277  Time : 0.0 sec.
user=vaughan
[2013-04-07 17:28:52]
717*2^1244157-1 is not prime.  Res64: 66480402DB9DBB16  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 17:31:31]
801*2^1244158-1 is not prime.  Res64: DE2FC9A1F62DEDBD  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 17:31:32]
881*2^1244158-1 is not prime.  Res64: 4F2682E8F5A223B0  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 17:31:48]
885*2^1244158-1 is not prime.  Res64: C03D5451B4AFCCC8  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 17:31:49]
759*2^1244159-1 is not prime.  Res64: 262A571550714EE6  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 17:49:29]
969*2^1244159-1 is not prime.  Res64: 490927C6AAA6496B  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 17:49:29]
993*2^1244159-1 is not prime.  Res64: 81949AFB4209AE07  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 17:49:47]
669*2^1244160-1 is not prime.  Res64: 0737987AA8B6AB70  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 17:49:48]
689*2^1244160-1 is not prime.  Res64: 906A4383D543CA4C  Time : 0.0 sec.
user=juhehe
[2013-04-07 17:53:28]
865*2^1244157-1 is not prime.  Res64: 7BA763748A4BA02E  Time : 0.0 sec.
user=vaughan
[2013-04-07 18:07:07]
909*2^1244159-1 is not prime.  Res64: 7A951236C8C75A98  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 18:07:48]
707*2^1244160-1 is not prime.  Res64: 7673FFF4A680AE80  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 18:07:49]
717*2^1244160-1 is not prime.  Res64: 0A425C7CDECC847F  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 18:08:05]
759*2^1244160-1 is not prime.  Res64: D84D59F7A46DC9D4  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 18:08:05]
843*2^1244160-1 is not prime.  Res64: 4E71165F66C11C2B  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 18:26:07]
775*2^1244161-1 is not prime.  Res64: 9CF8D84FA07EDB8A  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 18:26:07]
799*2^1244161-1 is not prime.  Res64: 142E17687666CAA4  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 18:26:21]
819*2^1244161-1 is not prime.  Res64: 65F8E7E9EE814778  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 18:26:21]
835*2^1244161-1 is not prime.  Res64: EF9B01C5BE11364F  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 18:43:48]
861*2^1244161-1 is not prime.  Res64: 7F07D63A3FE08D88  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 18:43:49]
987*2^1244161-1 is not prime.  Res64: 8641FDB4C2D6CBAD  Time : 0.0 sec.
user=juhehe
[2013-04-07 18:43:55]
695*2^1244160-1 is not prime.  Res64: 68EF764A7835C400  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 18:44:00]
645*2^1244162-1 is not prime.  Res64: 89183B90A8BB88A2  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 18:44:01]
665*2^1244162-1 is not prime.  Res64: 38CAF0683BBAB73B  Time : 0.0 sec.
user=vaughan
[2013-04-07 18:45:27]
927*2^1244160-1 is not prime.  Res64: 14D5B7B6325F5C80  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 19:01:31]
827*2^1244162-1 is not prime.  Res64: 3CECF40BF5AABE29  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 19:01:32]
831*2^1244162-1 is not prime.  Res64: AAA00C0F47605D52  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 19:01:42]
923*2^1244162-1 is not prime.  Res64: E73D601F2ED14B9E  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 19:01:43]
963*2^1244162-1 is not prime.  Res64: 62D5E4753CE14FB2  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 19:19:43]
741*2^1244163-1 is not prime.  Res64: 8E0845733C188A54  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 19:19:47]
873*2^1244163-1 is not prime.  Res64: 0A352F392D3F510E  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 19:19:48]
665*2^1244164-1 is not prime.  Res64: 7E5F6B24F88882F4  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 19:19:49]
677*2^1244164-1 is not prime.  Res64: AFFC764F0F273226  Time : 0.0 sec.
user=vaughan
[2013-04-07 19:23:40]
609*2^1244163-1 is not prime.  Res64: BA32DEE0CB81383D  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 19:37:36]
705*2^1244164-1 is not prime.  Res64: 872B26F2CDD484F2  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 19:37:36]
723*2^1244164-1 is not prime.  Res64: 22B0CA0D69D1EBC6  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 19:37:37]
707*2^1244164-1 is not prime.  Res64: 73EE4868CBA9C699  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 19:37:37]
765*2^1244164-1 is not prime.  Res64: D0CD2421EA89F275  Time : 0.0 sec.
user=juhehe
[2013-04-07 19:54:54]
685*2^1244163-1 is not prime.  Res64: 4B19F21F442793DA  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 19:55:27]
863*2^1244164-1 is not prime.  Res64: 558B35E39F37CDA0  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 19:55:28]
873*2^1244164-1 is not prime.  Res64: 98B227D210AD19B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 19:56:03]
927*2^1244164-1 is not prime.  Res64: 74ED70BD642C46FD  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 19:56:04]
959*2^1244164-1 is not prime.  Res64: 644B8C0EE713152B  Time : 0.0 sec.
user=vaughan
[2013-04-07 20:01:56]
807*2^1244164-1 is not prime.  Res64: 6FE27360ECE092A4  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 20:13:12]
647*2^1244166-1 is not prime.  Res64: 1B9244793BC4F518  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 20:13:13]
747*2^1244166-1 is not prime.  Res64: A81EE868992F731D  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 20:13:49]
821*2^1244166-1 is not prime.  Res64: 9A209E5B76F97EBF  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 20:13:50]
881*2^1244166-1 is not prime.  Res64: ABCE888584B41447  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 20:30:56]
1001*2^1244166-1 is not prime.  Res64: 9630BEE923E477F6  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 20:30:57]
645*2^1244167-1 is not prime.  Res64: 8499BE80CC8804DB  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 20:31:32]
651*2^1244167-1 is not prime.  Res64: E8D2F7597B69E80B  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 20:31:33]
759*2^1244167-1 is not prime.  Res64: 887C875EFCBCCACA  Time : 0.0 sec.
user=vaughan
[2013-04-07 20:45:36]
963*2^1244166-1 is not prime.  Res64: F758C85AD3A47D8B  Time : 0.0 sec.
user=juhehe
[2013-04-07 20:45:42]
699*2^1244165-1 is not prime.  Res64: 7B72818D84E31354  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 20:48:38]
993*2^1244167-1 is not prime.  Res64: 29A9304C885F7E68  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 20:48:39]
623*2^1244168-1 is not prime.  Res64: 5AA69CB7FA7C02B8  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 20:49:13]
669*2^1244168-1 is not prime.  Res64: 3C9511E44062C11B  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 20:49:14]
713*2^1244168-1 is not prime.  Res64: 3A0CEE513A8AA0B9  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 21:06:39]
803*2^1244168-1 is not prime.  Res64: EA88BB7F96EF399E  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 21:06:39]
825*2^1244168-1 is not prime.  Res64: D3CFF7187CD30FB0  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 21:07:16]
637*2^1244169-1 is not prime.  Res64: 1CAE48A75B660623  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 21:07:17]
639*2^1244169-1 is not prime.  Res64: 42AD1BDB472B794F  Time : 0.0 sec.
user=vaughan
[2013-04-07 21:23:51]
735*2^1244168-1 is not prime.  Res64: ADBD57EE82198DF1  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 21:24:58]
669*2^1244169-1 is not prime.  Res64: 4C377F8A6825E61B  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 21:24:59]
735*2^1244169-1 is not prime.  Res64: CF34CC155663F653  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 21:25:34]
795*2^1244169-1 is not prime.  Res64: 095F6314F1260170  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 21:25:35]
829*2^1244169-1 is not prime.  Res64: 38DB40F2DC15BB97  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 21:42:45]
979*2^1244169-1 is not prime.  Res64: 316D2B99C0166654  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 21:42:46]
635*2^1244170-1 is not prime.  Res64: 1B2BCC8D19EC2234  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 21:43:22]
695*2^1244170-1 is not prime.  Res64: E269AE4B0BCB2E5A  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 21:43:23]
801*2^1244170-1 is not prime.  Res64: 927506B7591072EC  Time : 0.0 sec.
user=juhehe
[2013-04-07 21:57:13]
657*2^1244169-1 is not prime.  Res64: 0ADD53C7E5728F2C  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 22:00:28]
827*2^1244170-1 is not prime.  Res64: 21F734139943789F  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 22:00:30]
615*2^1244171-1 is not prime.  Res64: 38D55BC6DBD30568  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 22:01:08]
663*2^1244171-1 is not prime.  Res64: 5F95176059DDA83F  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 22:01:09]
741*2^1244171-1 is not prime.  Res64: 03486962D5AF7A05  Time : 0.0 sec.
user=vaughan
[2013-04-07 22:02:06]
909*2^1244169-1 is not prime.  Res64: CA9A5B617BFC8AC1  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 22:18:29]
819*2^1244171-1 is not prime.  Res64: 97245E4CFAB64865  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 22:18:30]
825*2^1244171-1 is not prime.  Res64: 9DA1C4A940F8AB64  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 22:19:07]
909*2^1244171-1 is not prime.  Res64: D155860DEABCA2A2  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 22:19:08]
913*2^1244171-1 is not prime.  Res64: 41CE891006D0843A  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 22:36:14]
955*2^1244171-1 is not prime.  Res64: 5F1E1BC915B8104B  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 22:36:15]
993*2^1244171-1 is not prime.  Res64: DDD37E4EDF8E8A8A  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 22:36:55]
627*2^1244172-1 is not prime.  Res64: 932E2A91F13551AF  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 22:36:55]
629*2^1244172-1 is not prime.  Res64: A41078A9C4F0756D  Time : 0.0 sec.
user=vaughan
[2013-04-07 22:45:24]
939*2^1244171-1 is not prime.  Res64: B011E9EFB24CFC21  Time : 0.0 sec.
user=juhehe
[2013-04-07 22:47:54]
775*2^1244171-1 is not prime.  Res64: CC759FA854895BED  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 22:54:04]
683*2^1244172-1 is not prime.  Res64: CA2287C8B03D15E8  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 22:54:04]
689*2^1244172-1 is not prime.  Res64: AD788B96F8ADBEA4  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 22:54:45]
695*2^1244172-1 is not prime.  Res64: 75111A8780BC8F75  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 22:54:45]
725*2^1244172-1 is not prime.  Res64: 0ABADEF5FC588A37  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 23:12:29]
909*2^1244172-1 is not prime.  Res64: 297C1F360B6E63D2  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 23:12:30]
915*2^1244172-1 is not prime.  Res64: E8A6CD3A5AAE63CF  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 23:13:07]
999*2^1244172-1 is not prime.  Res64: 5D209BF5B6EDCF37  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 23:13:07]
609*2^1244173-1 is not prime.  Res64: F7241FDE283AE245  Time : 0.0 sec.
user=vaughan
[2013-04-07 23:23:40]
857*2^1244172-1 is not prime.  Res64: D58C830D8892A85E  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 23:30:16]
757*2^1244173-1 is not prime.  Res64: EDBB9516CE0F9D09  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 23:30:17]
789*2^1244173-1 is not prime.  Res64: 27D28C6DE3E2D2B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 23:30:52]
937*2^1244173-1 is not prime.  Res64: 62836645A8ADA473  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 23:30:53]
955*2^1244173-1 is not prime.  Res64: E1EA4D014C60C8D4  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 23:47:50]
641*2^1244174-1 is not prime.  Res64: 60401B23A4E89477  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 23:47:51]
665*2^1244174-1 is not prime.  Res64: 87F68BC80C6CB9C5  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 23:48:28]
683*2^1244174-1 is not prime.  Res64: 7F7489F82D6389D0  Time : 0.0 sec.
user=mdettweiler
[2013-04-07 23:48:29]
887*2^1244174-1 is not prime.  Res64: 32C877686B37C233  Time : 0.0 sec.
user=juhehe
[2013-04-07 23:59:39]
619*2^1244173-1 is not prime.  Res64: D2F630A9D55C7398  Time : 0.0 sec.