user=mdettweiler
[2013-04-19 00:05:39]
741*2^1244842-1 is not prime.  Res64: D567ED055C8C9009  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 00:05:40]
887*2^1244842-1 is not prime.  Res64: 775E6AABA0647082  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 00:05:54]
603*2^1244843-1 is not prime.  Res64: D86BCDD3812770AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 00:05:54]
675*2^1244843-1 is not prime.  Res64: 3452B967228D1AD0  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 00:23:32]
703*2^1244843-1 is not prime.  Res64: 4EFA2446FA218376  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 00:23:32]
811*2^1244843-1 is not prime.  Res64: 9A57FCE426A10537  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 00:23:33]
871*2^1244843-1 is not prime.  Res64: 3FF03B6B3E5EF883  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 00:23:34]
939*2^1244843-1 is not prime.  Res64: 2C8FC2C3E80ACE3F  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 00:41:25]
803*2^1244844-1 is not prime.  Res64: 88C88F68AFA1A01A  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 00:41:26]
825*2^1244844-1 is not prime.  Res64: DE00637980A5CC65  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 00:41:26]
935*2^1244844-1 is not prime.  Res64: 19EDD4E5E98AB5CB  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 00:41:26]
947*2^1244844-1 is not prime.  Res64: 0793B6984A2E53FA  Time : 0.0 sec.
user=juhehe
[2013-04-19 00:47:22]
735*2^1244842-1 is not prime.  Res64: 0933B929BC809E90  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 00:59:05]
957*2^1244844-1 is not prime.  Res64: A1561B47C289A038  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 00:59:05]
861*2^1244845-1 is not prime.  Res64: E101068C21372520  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 00:59:05]
957*2^1244845-1 is not prime.  Res64: F1308E4847C38E80  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 00:59:05]
825*2^1244845-1 is not prime.  Res64: D7D25BF5D23111AC  Time : 0.0 sec.
user=juhehe
[2013-04-19 01:14:43]
675*2^1244844-1 is not prime.  Res64: C1B04FF575075B40  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 01:16:44]
677*2^1244846-1 is not prime.  Res64: 29BA0C286518D239  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 01:16:45]
707*2^1244846-1 is not prime.  Res64: 2F0CF48371ADDAD2  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 01:16:46]
815*2^1244846-1 is not prime.  Res64: 0A877CAE22A26449  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 01:16:46]
867*2^1244846-1 is not prime.  Res64: 341ABE4933BE4192  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 01:34:27]
903*2^1244846-1 is not prime.  Res64: 423E3D838C475FB5  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 01:34:27]
945*2^1244846-1 is not prime.  Res64: 95B2CE7E02DF7A04  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 01:34:27]
923*2^1244846-1 is not prime.  Res64: BCB7E2F7508E6DD7  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 01:34:28]
971*2^1244846-1 is not prime.  Res64: 439EFE190455F83A  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 01:52:07]
739*2^1244847-1 is not prime.  Res64: DBF790CE045AF3F0  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 01:52:07]
891*2^1244847-1 is not prime.  Res64: BA3761F77EBA1572  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 01:52:07]
933*2^1244847-1 is not prime.  Res64: 7B18B8E352E656A5  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 01:52:08]
973*2^1244847-1 is not prime.  Res64: 2F4BF3F2A5E6D2CE  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 02:09:46]
639*2^1244848-1 is not prime.  Res64: 3775055E9A4B3D5D  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 02:09:47]
773*2^1244848-1 is not prime.  Res64: BC441E0EE51D55AC  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 02:09:48]
743*2^1244848-1 is not prime.  Res64: 31896B777306BA87  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 02:09:49]
887*2^1244848-1 is not prime.  Res64: F8186F80AD70FC87  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 02:27:32]
993*2^1244848-1 is not prime.  Res64: C918A2F7A33A7C3B  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 02:27:32]
699*2^1244849-1 is not prime.  Res64: 814FD7B032E99F02  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 02:27:32]
789*2^1244849-1 is not prime.  Res64: B10EB75DA4EE0111  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 02:27:32]
651*2^1244850-1 is not prime.  Res64: 80C7B3EAEE32B6BD  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 02:45:11]
791*2^1244850-1 is not prime.  Res64: 83567F368362FCAC  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 02:45:11]
891*2^1244850-1 is not prime.  Res64: 394B5187980180C4  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 02:45:12]
645*2^1244851-1 is not prime.  Res64: A301C6B7505A3B19  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 02:45:12]
875*2^1244850-1 is not prime.  Res64: 6ADA5726AC2D24AC  Time : 0.0 sec.
user=juhehe
[2013-04-19 02:50:01]
635*2^1244848-1 is not prime.  Res64: 5F6C7A9AA433FEE7  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 03:02:55]
703*2^1244851-1 is not prime.  Res64: 910E11FA8CF97FF2  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 03:02:56]
705*2^1244851-1 is not prime.  Res64: 37E4B6C6AFF98B87  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 03:02:56]
709*2^1244851-1 is not prime.  Res64: 8D696B7F0480468F  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 03:02:57]
745*2^1244851-1 is not prime.  Res64: 6B8334B094F9906B  Time : 0.0 sec.
user=juhehe
[2013-04-19 03:18:01]
723*2^1244850-1 is not prime.  Res64: 56A2F31A407C8417  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 03:20:39]
751*2^1244851-1 is not prime.  Res64: ED268C5CB40A4A9B  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 03:20:40]
873*2^1244851-1 is not prime.  Res64: 457EBF1CC75E74C5  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 03:20:40]
849*2^1244851-1 is not prime.  Res64: 0BBC72D1854F1D88  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 03:20:40]
975*2^1244851-1 is not prime.  Res64: 8DB0125449B87FEF  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 03:38:19]
617*2^1244852-1 is not prime.  Res64: 27E537B7F5C85921  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 03:38:19]
675*2^1244852-1 is not prime.  Res64: E8A854E37BF59B63  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 03:38:20]
725*2^1244852-1 is not prime.  Res64: 38657EC14BE515DE  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 03:38:20]
855*2^1244852-1 is not prime.  Res64: 2429495A0D356B31  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 03:56:01]
963*2^1244852-1 is not prime.  Res64: 38B313BCA0CC018E  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 03:56:01]
609*2^1244853-1 is not prime.  Res64: 01D031C8EA2C0B2D  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 03:56:01]
621*2^1244853-1 is not prime.  Res64: 08976BFD4F4248E4  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 03:56:02]
681*2^1244853-1 is not prime.  Res64: 68039A107A8CB413  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 04:13:39]
745*2^1244853-1 is not prime.  Res64: 922F6E2E31AED265  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 04:13:40]
747*2^1244853-1 is not prime.  Res64: EC41A0930CB17CC2  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 04:13:40]
889*2^1244853-1 is not prime.  Res64: 94A1C81B66440A54  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 04:13:40]
891*2^1244853-1 is not prime.  Res64: 46427673B3E7901B  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 04:31:22]
927*2^1244853-1 is not prime.  Res64: 41E6A6D2EB290E23  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 04:31:23]
955*2^1244853-1 is not prime.  Res64: 45DFAC7995F46ABB  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 04:31:23]
657*2^1244854-1 is not prime.  Res64: 9B3841C92CB3B221  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 04:31:24]
687*2^1244854-1 is not prime.  Res64: 9889308E5089F281  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 04:49:12]
737*2^1244854-1 is not prime.  Res64: 8206D301BCD976B2  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 04:49:12]
765*2^1244854-1 is not prime.  Res64: 17FD24FEFED4049D  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 04:49:14]
773*2^1244854-1 is not prime.  Res64: 60DFEA45F122906C  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 04:49:14]
815*2^1244854-1 is not prime.  Res64: 45307B1CB1C7BF34  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 05:06:53]
887*2^1244854-1 is not prime.  Res64: BC8054779CEB3207  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 05:06:53]
673*2^1244855-1 is not prime.  Res64: 3254F73C5667C2D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 05:06:53]
771*2^1244855-1 is not prime.  Res64: 94CAEAD78013D628  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 05:06:53]
897*2^1244854-1 is not prime.  Res64: C5E2FAFE86CB4E73  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 05:24:39]
949*2^1244855-1 is not prime.  Res64: 11B192CF4A92B11F  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 05:24:39]
657*2^1244856-1 is not prime.  Res64: A7CC7D6D4523E17B  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 05:24:40]
963*2^1244855-1 is not prime.  Res64: 1E41344B493A1EFF  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 05:24:40]
669*2^1244856-1 is not prime.  Res64: BF7076B18F2456B0  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 05:42:20]
705*2^1244856-1 is not prime.  Res64: DB76CA1488C1BF05  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 05:42:20]
707*2^1244856-1 is not prime.  Res64: A7221A61094532B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 05:42:21]
789*2^1244856-1 is not prime.  Res64: BC27081BF6DC3828  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 05:42:21]
845*2^1244856-1 is not prime.  Res64: D1919C7F791CCB7C  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 05:59:59]
893*2^1244856-1 is not prime.  Res64: 0177E6ADBBE33488  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 06:00:00]
903*2^1244856-1 is not prime.  Res64: 41535F8A223B4A43  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 06:00:00]
993*2^1244856-1 is not prime.  Res64: A5DF95117E5AD379  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 06:00:01]
649*2^1244857-1 is not prime.  Res64: FAD9C9859295A99E  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 06:17:42]
661*2^1244857-1 is not prime.  Res64: BFC98C0949F54DE9  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 06:17:43]
687*2^1244857-1 is not prime.  Res64: 89BEB87D6FB8C83C  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 06:17:44]
799*2^1244857-1 is not prime.  Res64: 6847715F9150DDB4  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 06:17:44]
817*2^1244857-1 is not prime.  Res64: 042DF7E13DB8883B  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 06:35:23]
955*2^1244857-1 is not prime.  Res64: 5F0472FAA77D66A6  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 06:35:23]
837*2^1244858-1 is not prime.  Res64: 93207B655E1934D2  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 06:35:23]
919*2^1244857-1 is not prime.  Res64: 30BFF1C35D04DCD8  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 06:35:23]
937*2^1244857-1 is not prime.  Res64: E763051198AA5404  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 06:53:03]
679*2^1244859-1 is not prime.  Res64: F1235ACE1A5D38A5  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 06:53:03]
775*2^1244859-1 is not prime.  Res64: 804C6DFB33282004  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 06:53:03]
795*2^1244859-1 is not prime.  Res64: F53C8240914DEBCF  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 06:53:03]
835*2^1244859-1 is not prime.  Res64: F6097DEB435C825B  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 07:10:43]
861*2^1244859-1 is not prime.  Res64: 0E9C91E8AF68CBCC  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 07:10:44]
961*2^1244859-1 is not prime.  Res64: 10E90D2363A2F93C  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 07:10:44]
803*2^1244860-1 is not prime.  Res64: 84922523ADF1ADEE  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 07:10:44]
905*2^1244860-1 is not prime.  Res64: 945A8DE5F07664F3  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 07:28:33]
939*2^1244860-1 is not prime.  Res64: 2CD91CB32620192C  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 07:28:34]
983*2^1244860-1 is not prime.  Res64: 07518D5BFCE571A5  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 07:28:34]
607*2^1244861-1 is not prime.  Res64: 8D7A5D01850452F7  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 07:28:35]
619*2^1244861-1 is not prime.  Res64: CDA4220117E423D7  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 07:46:14]
885*2^1244861-1 is not prime.  Res64: 59A3E99FE196E232  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 07:46:14]
901*2^1244861-1 is not prime.  Res64: 5D41046EB2A573C8  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 07:46:14]
907*2^1244861-1 is not prime.  Res64: 4E0E0E06C24C29E6  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 07:46:15]
945*2^1244861-1 is not prime.  Res64: B3734F7214451481  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 08:03:53]
955*2^1244861-1 is not prime.  Res64: 37305C742A1AABCF  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 08:03:54]
713*2^1244862-1 is not prime.  Res64: 0F80FA992664A975  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 08:03:54]
657*2^1244862-1 is not prime.  Res64: E9AD63C3D5784353  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 08:03:54]
843*2^1244862-1 is not prime.  Res64: 584A0CC62ED9B67E  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 08:21:57]
945*2^1244862-1 is not prime.  Res64: CADC1B24E6BE4CE4  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 08:21:57]
603*2^1244863-1 is not prime.  Res64: DE592F0CA56C3EE8  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 08:21:58]
723*2^1244863-1 is not prime.  Res64: 25C562F7F96553FB  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 08:21:58]
729*2^1244863-1 is not prime.  Res64: B15AB72A310F9CB5  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 08:39:45]
763*2^1244863-1 is not prime.  Res64: 9C49A5FFB8D03FC5  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 08:39:46]
765*2^1244863-1 is not prime.  Res64: 7430C44C3D919DC5  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 08:39:46]
819*2^1244863-1 is not prime.  Res64: 1460FEBCE563CAF0  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 08:39:47]
895*2^1244863-1 is not prime.  Res64: A9948E87AFF02040  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 08:57:33]
617*2^1244864-1 is not prime.  Res64: 51FC3B4FA7B6040C  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 08:57:34]
951*2^1244863-1 is not prime.  Res64: 68848BF22BCC89F6  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 08:57:34]
623*2^1244864-1 is not prime.  Res64: FDE9A69E3C0970E8  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 08:57:34]
973*2^1244863-1 is not prime.  Res64: 078484B167C65528  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 09:15:24]
789*2^1244864-1 is not prime.  Res64: 974BCAA1BAC76B1C  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 09:15:24]
875*2^1244864-1 is not prime.  Res64: 3289821EE54B41AF  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 09:15:25]
909*2^1244864-1 is not prime.  Res64: BF2CFD7829C6899F  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 09:15:25]
657*2^1244865-1 is not prime.  Res64: 91C381227312AFB4  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 09:33:16]
919*2^1244865-1 is not prime.  Res64: 3BADB5B6A1655BA6  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 09:33:16]
675*2^1244865-1 is not prime.  Res64: 64EEC3B0D21A7115  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 09:33:16]
623*2^1244866-1 is not prime.  Res64: 72345457A925663F  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 09:33:16]
795*2^1244865-1 is not prime.  Res64: 9DBFD94BB532456D  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 09:51:03]
645*2^1244866-1 is not prime.  Res64: 6E81007336485C35  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 09:51:03]
713*2^1244866-1 is not prime.  Res64: A12800F7A620DC6E  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 09:51:03]
735*2^1244866-1 is not prime.  Res64: 4ED7078AC0D67A78  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 09:51:03]
833*2^1244866-1 is not prime.  Res64: C7ECD2D6ECB23A4C  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 10:08:56]
873*2^1244866-1 is not prime.  Res64: 158306B3746787C0  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 10:08:57]
891*2^1244866-1 is not prime.  Res64: B959EEFBA7DDBEFD  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 10:08:57]
971*2^1244866-1 is not prime.  Res64: 1D67D2D87FA987A2  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 10:08:57]
619*2^1244867-1 is not prime.  Res64: 0D5CC889D2171935  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 10:26:45]
633*2^1244867-1 is not prime.  Res64: A86A21DB0DC3789B  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 10:26:46]
645*2^1244867-1 is not prime.  Res64: 6BC5484C507E8F06  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 10:26:46]
655*2^1244867-1 is not prime.  Res64: 0DAAC7EB40BCC829  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 10:26:47]
685*2^1244867-1 is not prime.  Res64: 34B09D6A9EBB10EC  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 10:44:28]
705*2^1244867-1 is not prime.  Res64: 5FEDC91FDBB8D8E6  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 10:44:28]
741*2^1244867-1 is not prime.  Res64: D59716C216194D33  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 10:44:29]
775*2^1244867-1 is not prime.  Res64: 08EE7246EB822249  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 10:44:29]
883*2^1244867-1 is not prime.  Res64: BC9A8568C3072167  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 11:01:56]
885*2^1244867-1 is not prime.  Res64: 35FE1C759D32CFFD  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 11:01:57]
647*2^1244868-1 is not prime.  Res64: DE410F71C59C181A  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 11:01:57]
705*2^1244868-1 is not prime.  Res64: 052904099A3121D4  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 11:01:57]
783*2^1244868-1 is not prime.  Res64: B5CCC042BD01C911  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 11:19:50]
789*2^1244868-1 is not prime.  Res64: E63F739A8AFF30D2  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 11:19:51]
839*2^1244868-1 is not prime.  Res64: 2C2C9A3A48D68E18  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 11:19:52]
867*2^1244868-1 is not prime.  Res64: FF1F93834C82059E  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 11:19:52]
649*2^1244869-1 is not prime.  Res64: 22E53180CD5D54C3  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 11:37:18]
687*2^1244869-1 is not prime.  Res64: EDA9BB14A2C6713F  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 11:37:18]
721*2^1244869-1 is not prime.  Res64: B75AEA6C8FD63242  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 11:37:20]
759*2^1244869-1 is not prime.  Res64: 3E856294C6A51160  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 11:37:21]
861*2^1244869-1 is not prime.  Res64: 462EDEAE70F37346  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 11:55:11]
897*2^1244869-1 is not prime.  Res64: CEBB87A565ECFE86  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 11:55:11]
627*2^1244870-1 is not prime.  Res64: 1C0749A7EA11F980  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 11:55:12]
785*2^1244870-1 is not prime.  Res64: A5CD959C249B81FA  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 11:55:12]
885*2^1244870-1 is not prime.  Res64: A788B07DC1154C74  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 12:13:10]
887*2^1244870-1 is not prime.  Res64: B8660E78B399D34E  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 12:13:11]
923*2^1244870-1 is not prime.  Res64: 9F0B5119F6674D3E  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 12:13:11]
941*2^1244870-1 is not prime.  Res64: 28373BC56EEE15BD  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 12:13:11]
965*2^1244870-1 is not prime.  Res64: A5F59F0F014B6CDE  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 12:30:54]
661*2^1244871-1 is not prime.  Res64: F85545AF9A92D2AC  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 12:30:54]
823*2^1244871-1 is not prime.  Res64: E9648BB9DC13CFAC  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 12:31:43]
1001*2^1244870-1 is not prime.  Res64: 37CABF29EA818598  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 12:31:43]
619*2^1244871-1 is not prime.  Res64: 7FAB16E1455AEC21  Time : 0.0 sec.
user=juhehe
[2013-04-19 12:45:13]
885*2^1244871-1 is not prime.  Res64: 7BD1BFD6708BFC89  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 12:48:35]
901*2^1244871-1 is not prime.  Res64: 104B35AC83667FC6  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 12:48:35]
913*2^1244871-1 is not prime.  Res64: 5D9D15EA22DAE3CC  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 12:49:23]
931*2^1244871-1 is not prime.  Res64: BAEE1BE658A57114  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 12:49:24]
975*2^1244871-1 is not prime.  Res64: B38C88A9991B3F6F  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 13:06:29]
623*2^1244872-1 is not prime.  Res64: B5D9319B5B38C85B  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 13:06:29]
653*2^1244872-1 is not prime.  Res64: 0667E41E74E4D47F  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 13:07:17]
675*2^1244872-1 is not prime.  Res64: 50884D1CD999FB80  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 13:07:18]
699*2^1244872-1 is not prime.  Res64: D19DFC7F279FD0B2  Time : 0.0 sec.
user=juhehe
[2013-04-19 13:07:38]
605*2^1244872-1 is not prime.  Res64: D10FB02C8AFCAFD3  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 13:26:01]
717*2^1244872-1 is not prime.  Res64: FF39983ED758AC40  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 13:26:01]
723*2^1244872-1 is not prime.  Res64: 8FE25D1A6B116BF7  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 13:26:37]
755*2^1244872-1 is not prime.  Res64: 6E2DB3FEDF729459  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 13:26:37]
785*2^1244872-1 is not prime.  Res64: 2517CFC87E84A782  Time : 0.0 sec.
user=juhehe
[2013-04-19 13:30:55]
819*2^1244872-1 is not prime.  Res64: F41BB87436E2C6AC  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 13:43:51]
825*2^1244872-1 is not prime.  Res64: 7681A803D80C5017  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 13:43:51]
917*2^1244872-1 is not prime.  Res64: 3AA482D033954DF8  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 13:44:25]
965*2^1244872-1 is not prime.  Res64: CC1D1B992A773229  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 13:44:25]
607*2^1244873-1 is not prime.  Res64: 878A86E7B9F6B75C  Time : 0.0 sec.
user=juhehe
[2013-04-19 13:53:40]
631*2^1244873-1 is not prime.  Res64: 73CF37D46E8553B2  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 14:01:42]
715*2^1244873-1 is not prime.  Res64: D4E9B25B8336463A  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 14:01:42]
789*2^1244873-1 is not prime.  Res64: C1D673EE12A10DAB  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 14:02:14]
811*2^1244873-1 is not prime.  Res64: 39CFB101F9543A96  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 14:02:14]
829*2^1244873-1 is not prime.  Res64: 91BFDFFA619A4920  Time : 0.0 sec.
user=juhehe
[2013-04-19 14:15:36]
901*2^1244873-1 is not prime.  Res64: 9EB9569EF4C38CB0  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 14:20:09]
633*2^1244874-1 is not prime.  Res64: 0466F0DE6B6A3F31  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 14:20:09]
681*2^1244874-1 is not prime.  Res64: 40177FA575FA328E  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 14:20:25]
723*2^1244874-1 is not prime.  Res64: E4A6A70435FD7123  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 14:20:25]
773*2^1244874-1 is not prime.  Res64: BB402E5B83A470FF  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 14:38:26]
873*2^1244874-1 is not prime.  Res64: C82E11AB4960B20D  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 14:38:26]
875*2^1244874-1 is not prime.  Res64: 35E6ABDF74CBD97E  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 14:38:40]
941*2^1244874-1 is not prime.  Res64: 83BF9CDC0408F129  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 14:38:41]
645*2^1244875-1 is not prime.  Res64: 3C957EAB0AA9CE70  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 14:56:46]
741*2^1244875-1 is not prime.  Res64: 868A57862E240A43  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 14:56:47]
771*2^1244875-1 is not prime.  Res64: 56A64C313F7B25D8  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 14:57:00]
819*2^1244875-1 is not prime.  Res64: 5D2FBCDBCA053A5A  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 14:57:01]
889*2^1244875-1 is not prime.  Res64: 090E9C8923EAA88B  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 15:14:39]
617*2^1244876-1 is not prime.  Res64: 2F33E99F84DEFB65  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 15:14:39]
677*2^1244876-1 is not prime.  Res64: CC2DFEE40B233EB2  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 15:14:51]
735*2^1244877-1 is not prime.  Res64: C4567E3732880A64  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 15:14:51]
831*2^1244877-1 is not prime.  Res64: B8586D9C3A99996D  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 15:32:34]
895*2^1244877-1 is not prime.  Res64: 0924B0049690E73A  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 15:32:34]
949*2^1244877-1 is not prime.  Res64: F94160F267147517  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 15:32:42]
605*2^1244878-1 is not prime.  Res64: 91E2D0F7266489F2  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 15:32:43]
705*2^1244878-1 is not prime.  Res64: A7CD7FCAB2E02BC8  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 15:50:24]
825*2^1244878-1 is not prime.  Res64: 33D60FBB326B05B3  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 15:50:25]
831*2^1244878-1 is not prime.  Res64: 43BB8B8021E94671  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 15:50:32]
619*2^1244879-1 is not prime.  Res64: 1EED481D0295D4E0  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 15:50:33]
643*2^1244879-1 is not prime.  Res64: BCCC15901A784E9B  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 16:08:18]
721*2^1244879-1 is not prime.  Res64: 685AE35FEB280C0F  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 16:08:19]
729*2^1244879-1 is not prime.  Res64: 8C83FCBE509E6D9C  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 16:08:24]
759*2^1244879-1 is not prime.  Res64: A58A240B5A82366F  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 16:08:25]
775*2^1244879-1 is not prime.  Res64: 1F6FCEE392FD683C  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 16:26:14]
841*2^1244879-1 is not prime.  Res64: E8FC359204002009  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 16:26:14]
859*2^1244879-1 is not prime.  Res64: 4C119A0C0415B711  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 16:26:16]
865*2^1244879-1 is not prime.  Res64: 1C98B90B33D88514  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 16:26:17]
985*2^1244879-1 is not prime.  Res64: 617751227090B224  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 16:44:10]
699*2^1244880-1 is not prime.  Res64: 17B02E9C07BE9991  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 16:44:11]
713*2^1244880-1 is not prime.  Res64: 9111A053ED1627F7  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 16:44:12]
795*2^1244880-1 is not prime.  Res64: E113E5BED54828E1  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 16:44:12]
825*2^1244880-1 is not prime.  Res64: 89006D249611A6F4  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 17:02:03]
863*2^1244880-1 is not prime.  Res64: FE5176ACEA9AA891  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 17:02:03]
607*2^1244881-1 is not prime.  Res64: 3402B507EE50283C  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 17:02:05]
927*2^1244880-1 is not prime.  Res64: 19E2F018BCC85415  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 17:02:06]
681*2^1244881-1 is not prime.  Res64: 6D2178C8D6117A73  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 17:20:42]
771*2^1244881-1 is not prime.  Res64: 867E72EAA283929B  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 17:20:43]
617*2^1244882-1 is not prime.  Res64: 5031DA87B0AD0BCC  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 17:20:44]
677*2^1244882-1 is not prime.  Res64: 135B2D11BE03ABCB  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 17:20:45]
735*2^1244882-1 is not prime.  Res64: B7E36EBFA52173A2  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 17:39:03]
753*2^1244882-1 is not prime.  Res64: AD5681353F73B557  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 17:39:04]
815*2^1244882-1 is not prime.  Res64: 5D58304005046B29  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 17:39:04]
887*2^1244882-1 is not prime.  Res64: 3B9B37994A25B6E5  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 17:39:04]
987*2^1244882-1 is not prime.  Res64: 9C69D007F9F8016C  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 17:56:57]
685*2^1244883-1 is not prime.  Res64: 2FE9025D7BED3500  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 17:56:57]
609*2^1244883-1 is not prime.  Res64: 766DE5DC03834CC9  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 17:56:57]
691*2^1244883-1 is not prime.  Res64: 02EF500FF5A832E7  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 17:56:57]
615*2^1244883-1 is not prime.  Res64: C305269B446147FC  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 18:14:49]
835*2^1244883-1 is not prime.  Res64: D16FD55D55442A93  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 18:14:49]
623*2^1244884-1 is not prime.  Res64: E7DE1D5CF9358243  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 18:14:50]
945*2^1244883-1 is not prime.  Res64: 84693B118036762C  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 18:14:50]
675*2^1244884-1 is not prime.  Res64: C204E15AF443BEE0  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 18:32:42]
717*2^1244884-1 is not prime.  Res64: 9A443543D7550154  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 18:32:43]
607*2^1244885-1 is not prime.  Res64: B68BFE7CA4830B26  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 18:32:43]
773*2^1244884-1 is not prime.  Res64: 24030BA6294DFB22  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 18:32:43]
645*2^1244885-1 is not prime.  Res64: 0CDA618B9EA9362A  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 18:50:32]
715*2^1244885-1 is not prime.  Res64: 6B150B014F5A23D6  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 18:50:32]
789*2^1244885-1 is not prime.  Res64: 4C89FF902F9FBDBF  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 18:50:32]
859*2^1244885-1 is not prime.  Res64: 441D1EFA3FCBEF49  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 18:50:33]
707*2^1244886-1 is not prime.  Res64: 5AB8F4D49CCA60BB  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 19:08:21]
723*2^1244886-1 is not prime.  Res64: 6F5E76140CA6A704  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 19:08:21]
833*2^1244886-1 is not prime.  Res64: E42E538F23241418  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 19:08:21]
873*2^1244886-1 is not prime.  Res64: 3AA953EF57764480  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 19:08:21]
795*2^1244886-1 is not prime.  Res64: B913D32B476B0BAD  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 19:26:14]
945*2^1244886-1 is not prime.  Res64: 82E17469EEFDB0E1  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 19:26:14]
993*2^1244886-1 is not prime.  Res64: 70D9670E3B2E72D0  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 19:26:17]
633*2^1244887-1 is not prime.  Res64: 46C7DAD65778F223  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 19:26:17]
703*2^1244887-1 is not prime.  Res64: A90BC7627360AC73  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 19:44:03]
705*2^1244887-1 is not prime.  Res64: 0F762A75D6158E90  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 19:44:04]
871*2^1244887-1 is not prime.  Res64: 0509486AC2C4B62C  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 19:44:05]
891*2^1244887-1 is not prime.  Res64: FC4EDACAF7D984ED  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 19:44:06]
901*2^1244887-1 is not prime.  Res64: ABCB36C002EE1A02  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 20:01:50]
617*2^1244888-1 is not prime.  Res64: B0E397CE205E23EF  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 20:01:50]
645*2^1244888-1 is not prime.  Res64: 09860F0E02BA7C5E  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 20:01:51]
665*2^1244888-1 is not prime.  Res64: A262CC57A109FAAA  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 20:01:51]
635*2^1244888-1 is not prime.  Res64: B2C083455EAA22BC  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 20:20:55]
687*2^1244888-1 is not prime.  Res64: A1160792A329F2D2  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 20:20:55]
855*2^1244888-1 is not prime.  Res64: 83088D73A25834AD  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 20:20:55]
827*2^1244888-1 is not prime.  Res64: 14C09BCBEB2068DC  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 20:20:55]
935*2^1244888-1 is not prime.  Res64: B4B742F6196A7DB7  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 20:39:22]
945*2^1244888-1 is not prime.  Res64: 211CF6D8066549C1  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 20:39:23]
625*2^1244889-1 is not prime.  Res64: 0B162E2C1B62BF66  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 20:39:23]
807*2^1244889-1 is not prime.  Res64: 1FD2A83B9D6D7715  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 20:39:23]
969*2^1244889-1 is not prime.  Res64: F2B288E2200162C1  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 20:57:29]
603*2^1244890-1 is not prime.  Res64: 86BAF83CCBD798A3  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 20:57:29]
623*2^1244890-1 is not prime.  Res64: 1138656C456804A8  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 20:57:29]
645*2^1244890-1 is not prime.  Res64: 43B81C0B0ED0CA3F  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 20:57:30]
675*2^1244890-1 is not prime.  Res64: E9DDA0DD6430A791  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 21:15:10]
619*2^1244891-1 is not prime.  Res64: 14E0EEA16CD649DA  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 21:15:10]
621*2^1244891-1 is not prime.  Res64: C0C10DAFE63133FB  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 21:15:10]
713*2^1244890-1 is not prime.  Res64: 5C5D6E603BEF19EC  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 21:15:11]
857*2^1244890-1 is not prime.  Res64: 6A9B24A46A3392E0  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 21:32:54]
813*2^1244891-1 is not prime.  Res64: 3BFE980B40FC5D60  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 21:32:54]
843*2^1244891-1 is not prime.  Res64: A09113208968D6DE  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 21:32:54]
895*2^1244891-1 is not prime.  Res64: 7003B177B1E83C5D  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 21:32:55]
955*2^1244891-1 is not prime.  Res64: F06EBEB8D8D9EC13  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 21:50:34]
669*2^1244892-1 is not prime.  Res64: 8872FDD673345158  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 21:50:35]
777*2^1244892-1 is not prime.  Res64: E4854E9CB25489C8  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 21:50:35]
615*2^1244893-1 is not prime.  Res64: D1279F1F205C58F8  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 21:50:35]
651*2^1244893-1 is not prime.  Res64: 4E1B86A9AA9AC6E6  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 22:08:15]
747*2^1244893-1 is not prime.  Res64: 9DEB411C61E52802  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 22:08:15]
691*2^1244893-1 is not prime.  Res64: 29B10E46FAD2C3C1  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 22:08:17]
951*2^1244893-1 is not prime.  Res64: A027EFF610C7CAF4  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 22:08:17]
721*2^1244893-1 is not prime.  Res64: 5C36918EEFB31BE6  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 22:26:01]
641*2^1244894-1 is not prime.  Res64: 05AF8C196CCC9304  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 22:26:02]
693*2^1244894-1 is not prime.  Res64: 17AF3D15CBD3E697  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 22:26:02]
791*2^1244894-1 is not prime.  Res64: 04354D154FD75648  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 22:26:03]
993*2^1244894-1 is not prime.  Res64: 3F61F5ED920E7CEE  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 22:43:44]
613*2^1244895-1 is not prime.  Res64: F36289CBC108432E  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 22:43:44]
691*2^1244895-1 is not prime.  Res64: 23F0AA33F6430565  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 22:43:45]
819*2^1244895-1 is not prime.  Res64: 886FA58D36F0C4B3  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 22:43:45]
853*2^1244895-1 is not prime.  Res64: 94349B247AA0B468  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 23:01:25]
891*2^1244895-1 is not prime.  Res64: 59DD9CA5FE2CA541  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 23:01:26]
955*2^1244895-1 is not prime.  Res64: 3E51C73C6BBA1130  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 23:01:26]
677*2^1244896-1 is not prime.  Res64: 958FCC3209C5F999  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 23:01:26]
765*2^1244896-1 is not prime.  Res64: 025EF5BFBDBD87C5  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 23:19:21]
843*2^1244896-1 is not prime.  Res64: D2FD875D95D34F03  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 23:19:22]
989*2^1244896-1 is not prime.  Res64: 0C58505D818B71CE  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 23:19:22]
675*2^1244897-1 is not prime.  Res64: 2DA77D895169FBEC  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 23:19:23]
769*2^1244897-1 is not prime.  Res64: CCD3B5177908F40F  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 23:37:08]
795*2^1244897-1 is not prime.  Res64: DA7628BD87AAE5DE  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 23:37:08]
831*2^1244897-1 is not prime.  Res64: 7DF9EB7A6537C6F1  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 23:37:08]
837*2^1244897-1 is not prime.  Res64: 619D427DE97946A3  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 23:37:09]
925*2^1244897-1 is not prime.  Res64: 633F51290920D380  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 23:54:48]
611*2^1244898-1 is not prime.  Res64: 5F5383E9BAACE8D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 23:54:48]
635*2^1244898-1 is not prime.  Res64: 7D360AA0614D9729  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 23:54:49]
621*2^1244898-1 is not prime.  Res64: 8F34447CD3063A7E  Time : 0.0 sec.
user=mdettweiler
[2013-04-19 23:54:49]
657*2^1244898-1 is not prime.  Res64: 0926E1C6BD767FD4  Time : 0.0 sec.