user=mdettweiler
[2012-12-12 00:09:16]
633*2^1237250-1 is not prime.  Res64: B76D230DCDF5833F  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 00:09:17]
747*2^1237250-1 is not prime.  Res64: 091C1095674EC855  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 00:09:41]
613*2^1237251-1 is not prime.  Res64: D8FA461436AB7DB1  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 00:09:43]
679*2^1237251-1 is not prime.  Res64: 256423006A125A06  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 00:27:21]
691*2^1237251-1 is not prime.  Res64: 97DC4D61B3FBD960  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 00:27:21]
711*2^1237251-1 is not prime.  Res64: 8FEC5DF1D2BC7034  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 00:27:34]
723*2^1237251-1 is not prime.  Res64: 8924409A435C5578  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 00:27:35]
975*2^1237251-1 is not prime.  Res64: 4F5B121E7D5695BC  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 00:45:08]
603*2^1237252-1 is not prime.  Res64: 009DD28960DF70F2  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 00:45:08]
605*2^1237252-1 is not prime.  Res64: 0D6A7CDA8540B35E  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 00:45:21]
749*2^1237252-1 is not prime.  Res64: F9F64F1A395366B9  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 00:45:21]
813*2^1237252-1 is not prime.  Res64: 0F7282073ABB5AE4  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 01:03:00]
983*2^1237252-1 is not prime.  Res64: 1C671078454C1A20  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 01:03:01]
697*2^1237253-1 is not prime.  Res64: DA5B1BFC49FBCDB0  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 01:03:16]
741*2^1237253-1 is not prime.  Res64: 204DC0F0CEAE58E3  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 01:03:17]
847*2^1237253-1 is not prime.  Res64: F03C2C185535B8C8  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 01:20:52]
925*2^1237253-1 is not prime.  Res64: B83749F92A996E49  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 01:20:52]
927*2^1237253-1 is not prime.  Res64: 47BBFD35F71CEBDA  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 01:21:07]
615*2^1237254-1 is not prime.  Res64: E1BC0AF863DC11E9  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 01:21:08]
693*2^1237254-1 is not prime.  Res64: 286C50F80FE0667E  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 01:38:43]
717*2^1237254-1 is not prime.  Res64: 57E59C2235FD5E69  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 01:38:43]
747*2^1237254-1 is not prime.  Res64: DFE369F022143231  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 01:38:58]
783*2^1237254-1 is not prime.  Res64: 3E26A5550220CE8D  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 01:38:59]
863*2^1237254-1 is not prime.  Res64: F694F119681160FA  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 01:56:31]
873*2^1237254-1 is not prime.  Res64: 1B605A3454C10953  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 01:56:31]
875*2^1237254-1 is not prime.  Res64: D07DEBE3A7D4CC69  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 01:56:45]
759*2^1237255-1 is not prime.  Res64: 3D3873CD6729A14C  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 01:56:45]
789*2^1237255-1 is not prime.  Res64: 215010D79FFCD672  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 02:14:30]
819*2^1237255-1 is not prime.  Res64: 08EBECA5A43AB0BF  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 02:14:33]
841*2^1237255-1 is not prime.  Res64: 03ECAD7A4668C5B7  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 02:14:42]
913*2^1237255-1 is not prime.  Res64: A48562FA277C28F4  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 02:14:45]
657*2^1237256-1 is not prime.  Res64: 06C495D328D48DD8  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 02:37:23]
693*2^1237256-1 is not prime.  Res64: A3E34EBFDC4441EF  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 02:37:24]
785*2^1237256-1 is not prime.  Res64: 9C5A9AE9BDA7288E  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 02:37:24]
759*2^1237256-1 is not prime.  Res64: F28EDD85290CB728  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 02:37:25]
873*2^1237256-1 is not prime.  Res64: 310059AA194CDC51  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 02:54:54]
893*2^1237256-1 is not prime.  Res64: 51F7E108041581BF  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 02:54:58]
681*2^1237257-1 is not prime.  Res64: 0281035CD1081527  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 02:54:59]
727*2^1237257-1 is not prime.  Res64: 935E12898FAC3BF3  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 02:55:00]
741*2^1237257-1 is not prime.  Res64: 4C36869C6373F853  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 03:13:07]
979*2^1237257-1 is not prime.  Res64: 84B8198816E11E6C  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 03:13:07]
671*2^1237258-1 is not prime.  Res64: CC8C55539B97B62B  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 03:13:12]
681*2^1237258-1 is not prime.  Res64: 87564748554F6EFF  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 03:13:15]
687*2^1237258-1 is not prime.  Res64: 5C4D2916CDB91895  Time : 0.0 sec.
user=gd_barnes
[2012-12-12 03:14:43]
885*2^1237257-1 is not prime.  Res64: CDF1EBE83179D43C  Time : 0.0 sec.
user=gd_barnes
[2012-12-12 03:15:16]
937*2^1237257-1 is not prime.  Res64: 920D0F0D7362F62A  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 03:30:33]
747*2^1237258-1 is not prime.  Res64: 7C3CDDD00C4D39F9  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 03:30:34]
773*2^1237258-1 is not prime.  Res64: 4403773F7A8B3A23  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 03:30:38]
933*2^1237258-1 is not prime.  Res64: F8055A05A11A9C55  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 03:30:40]
693*2^1237259-1 is not prime.  Res64: 142CE8B2BF1B13C3  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 03:48:02]
733*2^1237259-1 is not prime.  Res64: BAAFFB3AC34B879D  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 03:48:03]
775*2^1237259-1 is not prime.  Res64: E78DE9C8D3B366C0  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 03:48:03]
889*2^1237259-1 is not prime.  Res64: 59EB2A3589933E6B  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 03:48:04]
985*2^1237259-1 is not prime.  Res64: 179755FEE84CC3BA  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 04:05:45]
635*2^1237260-1 is not prime.  Res64: E69D151C89F4341D  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 04:05:48]
669*2^1237260-1 is not prime.  Res64: C21C818ED82F6297  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 04:05:54]
929*2^1237260-1 is not prime.  Res64: 8100E44BF1DC3D34  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 04:05:59]
959*2^1237260-1 is not prime.  Res64: 9523291A03D2C4AC  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 04:23:59]
625*2^1237261-1 is not prime.  Res64: ABA12F1878E03A74  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 04:23:59]
727*2^1237261-1 is not prime.  Res64: BA61BDB1EFA7B7B9  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 04:24:46]
751*2^1237261-1 is not prime.  Res64: DBF0899F5B0DF1D5  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 04:24:46]
999*2^1237261-1 is not prime.  Res64: 77DD74699EB3F238  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 04:41:26]
675*2^1237262-1 is not prime.  Res64: 68BA4DF67B93305E  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 04:41:29]
731*2^1237262-1 is not prime.  Res64: 6CCA102853CB08A8  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 04:43:57]
797*2^1237262-1 is not prime.  Res64: 1D8F55B3C15AFC42  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 04:43:58]
957*2^1237262-1 is not prime.  Res64: 994A28E66598B7B5  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 04:59:28]
987*2^1237262-1 is not prime.  Res64: 13FD98C8E8882222  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 04:59:28]
649*2^1237263-1 is not prime.  Res64: 365E5FB387A30E46  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 05:02:16]
693*2^1237263-1 is not prime.  Res64: 2F3966A3653587FE  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 05:02:17]
741*2^1237263-1 is not prime.  Res64: 44F4C0D7770321AC  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 05:16:52]
921*2^1237263-1 is not prime.  Res64: 01633D7B34407537  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 05:16:53]
933*2^1237263-1 is not prime.  Res64: 799ADF4241BEF987  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 05:20:15]
949*2^1237263-1 is not prime.  Res64: 7D94A929CD1D18B1  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 05:20:15]
951*2^1237263-1 is not prime.  Res64: 00A77D35AC8F5534  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 05:34:19]
765*2^1237264-1 is not prime.  Res64: 7512D40716C23E7F  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 05:34:20]
803*2^1237264-1 is not prime.  Res64: F71F9DF2038CD468  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 05:37:33]
869*2^1237264-1 is not prime.  Res64: 2F5B865057B38A9F  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 05:37:34]
649*2^1237265-1 is not prime.  Res64: E37FE031D46DFD73  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 05:51:42]
651*2^1237265-1 is not prime.  Res64: 5B9B9EAA16010511  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 05:51:42]
691*2^1237265-1 is not prime.  Res64: B9966E803E99ED1B  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 05:54:52]
741*2^1237265-1 is not prime.  Res64: 388B40373F54187B  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 05:54:53]
795*2^1237265-1 is not prime.  Res64: D3C72D802F811CE3  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 06:09:01]
799*2^1237265-1 is not prime.  Res64: 5F67DBC82FFEAA70  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 06:09:02]
837*2^1237265-1 is not prime.  Res64: 694AAEF8575FC0B0  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 06:16:48]
841*2^1237265-1 is not prime.  Res64: F8F73CC58765DDE9  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 06:26:29]
897*2^1237265-1 is not prime.  Res64: 4E35431E0F738866  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 06:26:29]
909*2^1237265-1 is not prime.  Res64: F8C3D75315939F33  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 06:34:10]
865*2^1237265-1 is not prime.  Res64: C1F4C1DE84E2686C  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 06:43:59]
991*2^1237265-1 is not prime.  Res64: D24610F59DBDA9FC  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 06:43:59]
735*2^1237266-1 is not prime.  Res64: 78815B91A1FFB5BA  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 06:51:30]
765*2^1237266-1 is not prime.  Res64: FAE6B7EBD5F4CB78  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 06:51:30]
821*2^1237266-1 is not prime.  Res64: AEA8E70D3F6FCCBB  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 07:01:18]
851*2^1237266-1 is not prime.  Res64: A538C6452F8E226C  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 07:01:19]
867*2^1237266-1 is not prime.  Res64: 9A0014E5C74F6957  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 07:08:49]
1001*2^1237266-1 is not prime.  Res64: C36C91486764638C  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 07:08:50]
619*2^1237267-1 is not prime.  Res64: 08CCDC1C5113C633  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 07:18:48]
681*2^1237267-1 is not prime.  Res64: 470B9816AADD53C8  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 07:18:50]
699*2^1237267-1 is not prime.  Res64: DA4008782DB5FCC5  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 07:26:11]
705*2^1237267-1 is not prime.  Res64: 1FF63CC41BF5D7B2  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 07:26:11]
849*2^1237267-1 is not prime.  Res64: 475D0BC334DF58D5  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 07:36:21]
861*2^1237267-1 is not prime.  Res64: 642B0B39276CE7EB  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 07:36:22]
919*2^1237267-1 is not prime.  Res64: 542F442951DDAD62  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 07:43:31]
925*2^1237267-1 is not prime.  Res64: 8C541D5D339EB37B  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 07:43:31]
985*2^1237267-1 is not prime.  Res64: 7C90FF32F5B9C328  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 07:53:40]
635*2^1237268-1 is not prime.  Res64: 3472A55FA28BE1E8  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 07:53:40]
867*2^1237268-1 is not prime.  Res64: 4446F29F51CAC0F8  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 08:00:50]
935*2^1237268-1 is not prime.  Res64: 8650C1352734CB2F  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 08:00:51]
969*2^1237268-1 is not prime.  Res64: 903772091416ADD9  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 08:10:58]
627*2^1237269-1 is not prime.  Res64: 205C0F6BBBEA46FA  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 08:10:59]
649*2^1237269-1 is not prime.  Res64: 3FB54E99CF7E12D6  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 08:18:21]
655*2^1237269-1 is not prime.  Res64: C6FFB668F2CF0AB6  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 08:18:22]
685*2^1237269-1 is not prime.  Res64: 75C09F06D32F4D7C  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 08:28:24]
769*2^1237269-1 is not prime.  Res64: 95A8C7F46D69F85F  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 08:28:25]
885*2^1237269-1 is not prime.  Res64: 36AF679A4B35B67D  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 08:35:42]
949*2^1237269-1 is not prime.  Res64: D02B643EC301802E  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 08:35:42]
611*2^1237270-1 is not prime.  Res64: F71C8B8ABFCF8046  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 08:45:44]
707*2^1237270-1 is not prime.  Res64: 068E8B25D527A8BA  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 08:45:44]
741*2^1237270-1 is not prime.  Res64: 813F408A962C1F7B  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 08:53:02]
755*2^1237270-1 is not prime.  Res64: F6B022693D8A752D  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 08:53:02]
887*2^1237270-1 is not prime.  Res64: CECF4F38B03C07C9  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 09:03:02]
965*2^1237270-1 is not prime.  Res64: 74AA4BAD079D68D8  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 09:03:03]
823*2^1237271-1 is not prime.  Res64: 40B5FA7453AEF349  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 09:10:20]
879*2^1237271-1 is not prime.  Res64: CEB98886995FE574  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 09:10:21]
979*2^1237271-1 is not prime.  Res64: CC27728D030ECE78  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 09:20:33]
999*2^1237271-1 is not prime.  Res64: 8C272D0DFD6D2105  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 09:20:33]
683*2^1237272-1 is not prime.  Res64: 93EF43002B417276  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 09:27:43]
767*2^1237272-1 is not prime.  Res64: 3F0572FFD6342293  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 09:27:44]
825*2^1237272-1 is not prime.  Res64: B56A14B17E7FF5DC  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 09:37:53]
867*2^1237272-1 is not prime.  Res64: 1B39AA94B14122F5  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 09:37:54]
983*2^1237272-1 is not prime.  Res64: BF37EE65ED568B33  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 09:45:03]
607*2^1237273-1 is not prime.  Res64: 7B98C9E00F17615B  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 09:45:04]
619*2^1237273-1 is not prime.  Res64: 7E32D0A9DA1659DE  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 09:55:13]
675*2^1237273-1 is not prime.  Res64: 5CDB97DF2CD118CF  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 09:55:14]
831*2^1237273-1 is not prime.  Res64: 5AA6F23699ADC6E5  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 10:02:23]
957*2^1237273-1 is not prime.  Res64: 6D03FA2E78869902  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 10:02:24]
615*2^1237274-1 is not prime.  Res64: 0D51700308F382CC  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 10:12:33]
635*2^1237274-1 is not prime.  Res64: F9DC4FCCFD22CEE8  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 10:12:34]
645*2^1237274-1 is not prime.  Res64: E7534F0513E98DCA  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 10:19:49]
753*2^1237274-1 is not prime.  Res64: 92056F07051C8DE7  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 10:19:50]
797*2^1237274-1 is not prime.  Res64: 0C464D98D559C6CB  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 10:29:56]
831*2^1237274-1 is not prime.  Res64: 895C4A02CE858272  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 10:29:56]
837*2^1237274-1 is not prime.  Res64: 47011891475808EB  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 10:37:09]
885*2^1237274-1 is not prime.  Res64: 41C4D1493663A1DF  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 10:37:10]
923*2^1237274-1 is not prime.  Res64: D15F8E2854698F5C  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 10:47:16]
935*2^1237274-1 is not prime.  Res64: 35DFDC4D634ED36F  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 10:47:17]
639*2^1237275-1 is not prime.  Res64: EA5C23E76F2BA318  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 10:54:30]
679*2^1237275-1 is not prime.  Res64: F414C287E4327E75  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 10:54:30]
723*2^1237275-1 is not prime.  Res64: 2B44EE01EF8B49ED  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 11:04:35]
853*2^1237275-1 is not prime.  Res64: 2B7280E847204F24  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 11:04:38]
969*2^1237275-1 is not prime.  Res64: 02DAED50A61BE1ED  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 11:11:50]
973*2^1237275-1 is not prime.  Res64: B25230FF652212A3  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 11:11:51]
623*2^1237276-1 is not prime.  Res64: B498A54183D055DA  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 11:22:11]
705*2^1237276-1 is not prime.  Res64: 8110BE92402F993D  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 11:22:12]
903*2^1237276-1 is not prime.  Res64: DD3A826A5181113C  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 11:29:11]
615*2^1237277-1 is not prime.  Res64: 28C5F8BFB3F29B67  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 11:29:11]
621*2^1237277-1 is not prime.  Res64: 410AA92F08514338  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 11:39:30]
645*2^1237277-1 is not prime.  Res64: BB8BDC9FC42FA919  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 11:39:31]
697*2^1237277-1 is not prime.  Res64: CC3F6EAED13ED700  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 11:46:30]
711*2^1237277-1 is not prime.  Res64: 5E1498676BBD77B3  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 11:46:30]
771*2^1237277-1 is not prime.  Res64: 880A0388D492F35E  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 11:56:50]
871*2^1237277-1 is not prime.  Res64: 4D0812139FFC8393  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 11:56:50]
885*2^1237277-1 is not prime.  Res64: 8071BAA1324532CD  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 12:03:51]
967*2^1237277-1 is not prime.  Res64: 3CA69468CB7F9B24  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 12:03:54]
647*2^1237278-1 is not prime.  Res64: 7896C4FB2E090D72  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 12:14:17]
651*2^1237278-1 is not prime.  Res64: 4317D658A308720A  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 12:14:17]
665*2^1237278-1 is not prime.  Res64: DCA81448B93A5445  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 12:21:45]
705*2^1237278-1 is not prime.  Res64: 7C9B4DA23E0DCCAE  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 12:21:45]
731*2^1237278-1 is not prime.  Res64: EB746CBE255B867D  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 12:32:28]
747*2^1237278-1 is not prime.  Res64: 321D2DD37313E86A  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 12:32:28]
761*2^1237278-1 is not prime.  Res64: 204EAA335CD90CA4  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 12:39:59]
777*2^1237278-1 is not prime.  Res64: 0A92A50AE5BC1E40  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 12:39:59]
791*2^1237278-1 is not prime.  Res64: A177A23A70F80AB7  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 12:50:46]
825*2^1237278-1 is not prime.  Res64: 871E3AFD04994A96  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 12:50:46]
863*2^1237278-1 is not prime.  Res64: A9C9566D7E0ECDCA  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 12:58:02]
693*2^1237279-1 is not prime.  Res64: A126D651B36BB195  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 12:58:02]
751*2^1237279-1 is not prime.  Res64: CDA8DC5057AD2DD2  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 13:08:19]
789*2^1237279-1 is not prime.  Res64: 2B918364D14149D0  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 13:08:21]
813*2^1237279-1 is not prime.  Res64: 133172B61A72C081  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 13:15:44]
951*2^1237279-1 is not prime.  Res64: 92EAEB1F7D306CD5  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 13:15:45]
961*2^1237279-1 is not prime.  Res64: 38E60AC9811C55FF  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 13:26:16]
979*2^1237279-1 is not prime.  Res64: 33B504BE3C1B3671  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 13:26:16]
999*2^1237279-1 is not prime.  Res64: F104BCD5D23C4945  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 13:33:37]
633*2^1237280-1 is not prime.  Res64: 7A157907AC5F582E  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 13:33:37]
767*2^1237280-1 is not prime.  Res64: BAEED07FF9ABFE59  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 13:44:00]
959*2^1237280-1 is not prime.  Res64: 037F641485EBDEA7  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 13:44:00]
983*2^1237280-1 is not prime.  Res64: 882DEB356E025F5C  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 13:51:15]
995*2^1237280-1 is not prime.  Res64: 19461023D36EFC95  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 13:51:16]
601*2^1237281-1 is not prime.  Res64: 0A0B47863E9EA8A0  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 14:01:26]
615*2^1237281-1 is not prime.  Res64: 6846E498786B143D  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 14:01:29]
639*2^1237281-1 is not prime.  Res64: 11B9580CD1C055A8  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 14:08:39]
717*2^1237281-1 is not prime.  Res64: AC513BD5CA4EBE38  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 14:08:41]
727*2^1237281-1 is not prime.  Res64: 219E4577A53D7BD5  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 14:19:04]
835*2^1237281-1 is not prime.  Res64: 4F62541B56B008E0  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 14:19:04]
837*2^1237281-1 is not prime.  Res64: 4766E00DAB6E1C61  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 14:26:23]
901*2^1237103-1 is not prime.  Res64: DF062B2D4B959FFD  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 14:26:24]
877*2^1237281-1 is not prime.  Res64: 6F6B6E3E7908F6BE  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 14:36:57]
949*2^1237281-1 is not prime.  Res64: A022FB1F439B424D  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 14:36:58]
999*2^1237281-1 is not prime.  Res64: 3FED9294689B148A  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 14:44:06]
611*2^1237282-1 is not prime.  Res64: BAE1B761D65D9611  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 14:44:06]
635*2^1237282-1 is not prime.  Res64: DB427E9EDF79538F  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 14:54:24]
657*2^1237282-1 is not prime.  Res64: 81E0B49606AD30D6  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 14:54:24]
737*2^1237282-1 is not prime.  Res64: A6261C50A3D215C0  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 15:01:33]
755*2^1237282-1 is not prime.  Res64: 09B60484B7531C6C  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 15:01:34]
843*2^1237282-1 is not prime.  Res64: 699424F0EEAD8224  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 15:11:48]
887*2^1237282-1 is not prime.  Res64: B61EDECFDFEA2B21  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 15:11:50]
923*2^1237282-1 is not prime.  Res64: 6AF77ECA731D60A3  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 15:19:25]
947*2^1237282-1 is not prime.  Res64: 9B49B7AB949646A4  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 15:19:26]
669*2^1237283-1 is not prime.  Res64: D8C1A26A52CAB46F  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 15:30:04]
685*2^1237283-1 is not prime.  Res64: 5A305582DCF62310  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 15:30:05]
699*2^1237283-1 is not prime.  Res64: F3BB380174807D88  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 15:37:17]
759*2^1237283-1 is not prime.  Res64: A0A0A1B3E4A4D981  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 15:37:17]
855*2^1237283-1 is not prime.  Res64: 09A425AB509A3F5E  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 15:48:01]
861*2^1237283-1 is not prime.  Res64: F5198EAAEA8B5AE4  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 15:48:01]
921*2^1237283-1 is not prime.  Res64: 26A55D6B614B0609  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 15:55:11]
945*2^1237283-1 is not prime.  Res64: D76BCED50D83A7B4  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 15:55:11]
981*2^1237283-1 is not prime.  Res64: 9A8CDE805A19CC26  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 16:05:57]
719*2^1237284-1 is not prime.  Res64: D0A234CE7C8D0F09  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 16:05:58]
767*2^1237284-1 is not prime.  Res64: 650F9BAC498B4DC8  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 16:13:07]
803*2^1237284-1 is not prime.  Res64: 6CF8E9E7483847D3  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 16:13:08]
825*2^1237284-1 is not prime.  Res64: 4200E9D9A20CE550  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 16:24:07]
905*2^1237284-1 is not prime.  Res64: D6426A861F33A1EE  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 16:24:08]
915*2^1237284-1 is not prime.  Res64: 2FADB24C8D996F76  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 16:31:23]
945*2^1237284-1 is not prime.  Res64: B7A69D9C5373468A  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 16:31:24]
947*2^1237284-1 is not prime.  Res64: 0639590A9FD64629  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 16:42:11]
957*2^1237284-1 is not prime.  Res64: 5D3C43C849A460BC  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 16:42:12]
691*2^1237285-1 is not prime.  Res64: 856BB1039C237A27  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 16:49:25]
867*2^1237285-1 is not prime.  Res64: F777F5B7B5532093  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 16:49:25]
671*2^1237286-1 is not prime.  Res64: 0B3EC1C42738C258  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 17:00:12]
761*2^1237286-1 is not prime.  Res64: B34DCEE5CD286568  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 17:00:13]
921*2^1237286-1 is not prime.  Res64: F0173875FCF3FA14  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 17:07:23]
971*2^1237286-1 is not prime.  Res64: 9F30A83125787EB4  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 17:07:25]
981*2^1237286-1 is not prime.  Res64: C124A632E5D00937  Time : 0.0 sec.
user=vaughan
[2012-12-12 17:08:58]
741*2^1237285-1 is not prime.  Res64: 58AF4ACEE1291D2A  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 17:18:07]
1001*2^1237286-1 is not prime.  Res64: 3299CA8D5633D0FB  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 17:18:08]
795*2^1237287-1 is not prime.  Res64: 2F84F3F554E3413E  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 17:25:20]
951*2^1237287-1 is not prime.  Res64: 4A237D260C53BAA4  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 17:25:20]
991*2^1237287-1 is not prime.  Res64: FCF60AFFC92ECFB4  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 17:35:57]
765*2^1237288-1 is not prime.  Res64: 731A545FA3F92309  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 17:35:57]
797*2^1237288-1 is not prime.  Res64: 79565BBEAEFE5423  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 17:43:07]
839*2^1237288-1 is not prime.  Res64: E4D0649AB9DDC1FB  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 17:43:08]
855*2^1237288-1 is not prime.  Res64: 00235E8DE2C7350F  Time : 0.0 sec.
user=vaughan
[2012-12-12 17:46:37]
735*2^1237288-1 is not prime.  Res64: D8450EA5A7CB2321  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 17:53:46]
869*2^1237288-1 is not prime.  Res64: 897105F550C042B2  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 17:53:46]
875*2^1237288-1 is not prime.  Res64: 9615584AF6BF4235  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 18:00:55]
999*2^1237288-1 is not prime.  Res64: E474078F0128F2CE  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 18:00:57]
685*2^1237289-1 is not prime.  Res64: 77CA1ACFFA1721CF  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 18:11:33]
847*2^1237289-1 is not prime.  Res64: 850058F809D9FFAB  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 18:11:34]
867*2^1237289-1 is not prime.  Res64: 8F6C5CC018C55E69  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 18:18:56]
931*2^1237289-1 is not prime.  Res64: DF3B33B5B43A65CA  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 18:18:57]
765*2^1237290-1 is not prime.  Res64: 637733BBC3FB81E3  Time : 0.0 sec.
user=vaughan
[2012-12-12 18:24:17]
711*2^1237289-1 is not prime.  Res64: 7651D25A386B96DB  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 18:29:23]
797*2^1237290-1 is not prime.  Res64: 401A3DD209A16BBE  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 18:29:24]
867*2^1237290-1 is not prime.  Res64: 5EDCAAFCDFA21C5C  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 18:36:26]
915*2^1237290-1 is not prime.  Res64: 1992F78C55E7B212  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 18:36:27]
977*2^1237290-1 is not prime.  Res64: 0DF00BE06A22E043  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 18:46:52]
609*2^1237291-1 is not prime.  Res64: A493B881CA6F991A  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 18:46:53]
651*2^1237291-1 is not prime.  Res64: 5D76F6AFA8CE5040  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 18:53:53]
663*2^1237291-1 is not prime.  Res64: 45604E28F5450465  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 18:53:54]
681*2^1237291-1 is not prime.  Res64: 156056FB895A3C31  Time : 0.0 sec.
user=vaughan
[2012-12-12 19:01:55]
1001*2^1237290-1 is not prime.  Res64: 8E4A3BBB00B3257B  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 19:04:16]
883*2^1237291-1 is not prime.  Res64: F929ACA5205667AD  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 19:04:17]
885*2^1237291-1 is not prime.  Res64: A1DD685DA36DE7B1  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 19:11:16]
913*2^1237291-1 is not prime.  Res64: 0CCC91A303DBA7EB  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 19:11:17]
969*2^1237291-1 is not prime.  Res64: FAF12286452B9D4C  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 19:21:42]
999*2^1237291-1 is not prime.  Res64: 52E5D13FBB4EB302  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 19:21:42]
615*2^1237292-1 is not prime.  Res64: 03AC61EF004E1FF0  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 19:28:54]
665*2^1237292-1 is not prime.  Res64: 266863804ED29502  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 19:28:54]
669*2^1237292-1 is not prime.  Res64: 492E6781A216743D  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 19:39:04]
719*2^1237292-1 is not prime.  Res64: 0E4FB9151A8D2CD1  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 19:39:04]
749*2^1237292-1 is not prime.  Res64: 76BFCAFD838BA021  Time : 0.0 sec.
user=vaughan
[2012-12-12 19:39:36]
979*2^1237291-1 is not prime.  Res64: B269830E7889BE04  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 19:46:16]
753*2^1237292-1 is not prime.  Res64: C37F5A1370FDBA7C  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 19:46:16]
803*2^1237292-1 is not prime.  Res64: F074B660B3C2DA26  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 19:56:26]
867*2^1237292-1 is not prime.  Res64: 73A9EB53EE446FC3  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 19:56:27]
923*2^1237292-1 is not prime.  Res64: 442A0829D3E6B6D5  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 20:03:40]
685*2^1237293-1 is not prime.  Res64: 65E38AAEF313DE7B  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 20:03:42]
795*2^1237293-1 is not prime.  Res64: 368034FB2BF39D8C  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 20:13:56]
861*2^1237293-1 is not prime.  Res64: D941D85AE9385FA8  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 20:13:57]
867*2^1237293-1 is not prime.  Res64: 8EC04AD748B62B6A  Time : 0.0 sec.
user=vaughan
[2012-12-12 20:17:17]
657*2^1237293-1 is not prime.  Res64: 7B040F1DFA2E8D76  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 20:21:14]
717*2^1237294-1 is not prime.  Res64: 219610BCBEB12BCD  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 20:21:15]
755*2^1237294-1 is not prime.  Res64: C87FB91A92A6068E  Time : 0.0 sec.
user=juhehe
[2012-12-12 20:38:31]
663*2^1237294-1 is not prime.  Res64: E1CE977703175DEE  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 20:38:37]
903*2^1237294-1 is not prime.  Res64: FE77F8B868C5A48F  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 20:38:37]
941*2^1237294-1 is not prime.  Res64: E1ED7D4A882B4E67  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 20:52:41]
975*2^1237294-1 is not prime.  Res64: 95D937773BAAE271  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 20:52:42]
987*2^1237294-1 is not prime.  Res64: C03412A1B7F1A184  Time : 0.0 sec.
user=vaughan
[2012-12-12 20:54:57]
855*2^1237294-1 is not prime.  Res64: 1B41D5A3744F55B9  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 20:55:59]
775*2^1237295-1 is not prime.  Res64: D3DEF2C4E4D73FFB  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 20:56:00]
883*2^1237295-1 is not prime.  Res64: 1F74DCB55D0DBF42  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 21:10:03]
669*2^1237296-1 is not prime.  Res64: B4F048E9E14BB48F  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 21:10:06]
825*2^1237296-1 is not prime.  Res64: 314D23465177DF08  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 21:13:22]
933*2^1237296-1 is not prime.  Res64: CCF66E1FA30AF6CA  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 21:13:23]
999*2^1237296-1 is not prime.  Res64: 34460EF10750374E  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 21:27:31]
637*2^1237297-1 is not prime.  Res64: EF4BD5C1B294478D  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 21:27:32]
649*2^1237297-1 is not prime.  Res64: 1D99EEE770CB5278  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 21:30:53]
867*2^1237297-1 is not prime.  Res64: 809D43A4E6A46AB2  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 21:30:54]
617*2^1237298-1 is not prime.  Res64: A6F2EE0501B4ABA4  Time : 0.0 sec.
user=vaughan
[2012-12-12 21:32:37]
905*2^1237296-1 is not prime.  Res64: AFA359CB8FFF7410  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 21:44:53]
651*2^1237298-1 is not prime.  Res64: 69803D1A5D7C6132  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 21:44:54]
671*2^1237298-1 is not prime.  Res64: 8AD4966148320A3E  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 21:48:17]
705*2^1237298-1 is not prime.  Res64: 0371B891B3705284  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 21:48:18]
735*2^1237298-1 is not prime.  Res64: 9DC478B46B2AEF5B  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 22:02:16]
893*2^1237298-1 is not prime.  Res64: D82560DBBF70B0A4  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 22:02:18]
921*2^1237298-1 is not prime.  Res64: 68AB3C5743C65F80  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 22:05:39]
927*2^1237298-1 is not prime.  Res64: 1F17C19D2A34E306  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 22:05:40]
951*2^1237298-1 is not prime.  Res64: 3D24C26352C0F849  Time : 0.0 sec.
user=vaughan
[2012-12-12 22:10:19]
827*2^1237298-1 is not prime.  Res64: 49A312BC3DB64D9C  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 22:19:52]
753*2^1237299-1 is not prime.  Res64: B09F5C25620BDADF  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 22:19:52]
795*2^1237299-1 is not prime.  Res64: EDC15790744C5F68  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 22:23:22]
961*2^1237299-1 is not prime.  Res64: 84EF5325162EE29F  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 22:23:22]
975*2^1237299-1 is not prime.  Res64: 7A4981B68913BD02  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 22:37:14]
695*2^1237300-1 is not prime.  Res64: C368AE13DE338825  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 22:37:15]
743*2^1237300-1 is not prime.  Res64: 40E7FA5B8DE0ED9F  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 22:40:45]
825*2^1237300-1 is not prime.  Res64: D8293E6C38CC202E  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 22:40:45]
975*2^1237300-1 is not prime.  Res64: D780A3C4B49C860F  Time : 0.0 sec.
user=vaughan
[2012-12-12 22:48:00]
609*2^1237300-1 is not prime.  Res64: 1FCFB690EDFCCF50  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 22:54:36]
989*2^1237300-1 is not prime.  Res64: C258B435882D6093  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 22:54:36]
649*2^1237301-1 is not prime.  Res64: 96259C2062510125  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 22:58:08]
717*2^1237301-1 is not prime.  Res64: 91634000D0F474C8  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 22:58:08]
777*2^1237301-1 is not prime.  Res64: FC5DA6A04018A534  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 23:12:03]
955*2^1237301-1 is not prime.  Res64: 8B878FDF95695B3C  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 23:12:04]
683*2^1237302-1 is not prime.  Res64: CF56A50C22FB6FD5  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 23:15:36]
705*2^1237302-1 is not prime.  Res64: 047F06AFA22E8450  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 23:15:37]
717*2^1237302-1 is not prime.  Res64: A923567DACBAE6D9  Time : 0.0 sec.
user=vaughan
[2012-12-12 23:25:40]
949*2^1237301-1 is not prime.  Res64: 025716173750F233  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 23:29:45]
867*2^1237302-1 is not prime.  Res64: 542CC6B050E49257  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 23:29:46]
873*2^1237302-1 is not prime.  Res64: 854DC6970D532841  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 23:33:05]
893*2^1237302-1 is not prime.  Res64: 4B96A01238AE4A9C  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 23:33:06]
975*2^1237302-1 is not prime.  Res64: 236B9432DD75088C  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 23:47:06]
615*2^1237303-1 is not prime.  Res64: BEE85068F3CE1CF2  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 23:47:07]
703*2^1237303-1 is not prime.  Res64: 47F6D510051B586F  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 23:50:24]
813*2^1237303-1 is not prime.  Res64: 5E492DAFA29E4F96  Time : 0.0 sec.
user=mdettweiler
[2012-12-12 23:50:25]
819*2^1237303-1 is not prime.  Res64: 54B6B7688384B03A  Time : 0.0 sec.