user=mdettweiler
[2013-05-12 00:32:59]
771*2^1245818-1 is not prime.  Res64: 57C78F0A11C55F42  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 00:39:54]
833*2^1245818-1 is not prime.  Res64: DD498C7115624916  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 00:39:54]
867*2^1245818-1 is not prime.  Res64: 70D6EE17CE6CCBEE  Time : 0.0 sec.
user=vaughan
[2013-05-12 00:47:01]
625*2^1245819-1 is not prime.  Res64: CD0E30F701EAA9BD  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 00:50:52]
951*2^1245818-1 is not prime.  Res64: ED07E6291405B846  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 00:50:52]
619*2^1245819-1 is not prime.  Res64: 4F0930777005F983  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 00:57:44]
675*2^1245819-1 is not prime.  Res64: FBF1F3723EBFA826  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 00:57:45]
793*2^1245819-1 is not prime.  Res64: 83314B911E1EA995  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 01:08:50]
861*2^1245819-1 is not prime.  Res64: 8EFF35572629F192  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 01:08:51]
873*2^1245819-1 is not prime.  Res64: F2344BA894F66000  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 01:16:24]
949*2^1245819-1 is not prime.  Res64: E44BF8159CC999CF  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 01:16:24]
999*2^1245819-1 is not prime.  Res64: EF25939670C53417  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 01:27:02]
855*2^1245820-1 is not prime.  Res64: 0D839A59C80019FD  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 01:27:03]
863*2^1245820-1 is not prime.  Res64: AFD01B47B135DF7B  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 01:34:32]
875*2^1245820-1 is not prime.  Res64: A7E682CC2521B9F3  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 01:34:33]
909*2^1245820-1 is not prime.  Res64: 288560FF45DBAFD0  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 01:45:00]
939*2^1245820-1 is not prime.  Res64: 3B8DEC4E6FB73939  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 01:45:00]
621*2^1245821-1 is not prime.  Res64: 65C2ED08E179B375  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 01:52:23]
631*2^1245821-1 is not prime.  Res64: C3D787E640D29E0F  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 01:52:23]
879*2^1245821-1 is not prime.  Res64: 80E5E095E66233F8  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 02:02:49]
949*2^1245821-1 is not prime.  Res64: A4B444D16B22A864  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 02:02:51]
681*2^1245822-1 is not prime.  Res64: 48BF65F4CC46FCA0  Time : 0.0 sec.
user=vaughan
[2013-05-12 02:08:04]
923*2^1245820-1 is not prime.  Res64: 995D0AB20B3668B7  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 02:10:18]
711*2^1245822-1 is not prime.  Res64: 4ACAFB20932ABFE5  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 02:10:19]
713*2^1245822-1 is not prime.  Res64: EED7666BFE3FF536  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 02:20:43]
725*2^1245822-1 is not prime.  Res64: B03AEB86FFC04DCC  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 02:20:44]
815*2^1245822-1 is not prime.  Res64: 12F3E7068B31552D  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 02:28:09]
873*2^1245822-1 is not prime.  Res64: FDCFC4DB07396522  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 02:28:10]
709*2^1245823-1 is not prime.  Res64: B66226682FF56CF4  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 02:47:17]
945*2^1245823-1 is not prime.  Res64: C07C0F9D86728340  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 03:09:51]
789*2^1245823-1 is not prime.  Res64: 41F48E0841D512D8  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 03:09:53]
925*2^1245823-1 is not prime.  Res64: CE231DB66EB952DE  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 03:18:26]
999*2^1245823-1 is not prime.  Res64: 433331AC4111AB79  Time : 0.0 sec.
user=vaughan
[2013-05-12 03:23:45]
605*2^1245824-1 is not prime.  Res64: 9FC1896F0582022E  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 03:27:44]
725*2^1245824-1 is not prime.  Res64: 0930DA679152B9DE  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 03:27:45]
747*2^1245824-1 is not prime.  Res64: 0474829F492A8A47  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 03:36:17]
819*2^1245824-1 is not prime.  Res64: F87F24CA7EADE2AC  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 03:36:17]
855*2^1245824-1 is not prime.  Res64: 68D3A7EF953E7613  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 03:45:33]
685*2^1245825-1 is not prime.  Res64: CDA272FE1475A794  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 03:45:33]
699*2^1245825-1 is not prime.  Res64: 424AD31CD72F878B  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 03:54:07]
705*2^1245825-1 is not prime.  Res64: 2FB976943B6F5CC4  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 03:54:07]
735*2^1245825-1 is not prime.  Res64: A421B33646F8052A  Time : 0.0 sec.
user=vaughan
[2013-05-12 04:02:20]
669*2^1245825-1 is not prime.  Res64: 286F8BD9F474543F  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 04:03:27]
787*2^1245825-1 is not prime.  Res64: D2283A5FB7E58BE2  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 04:03:28]
789*2^1245825-1 is not prime.  Res64: 40DD641509C8FEB9  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 04:12:05]
891*2^1245825-1 is not prime.  Res64: BE603F95D6335200  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 04:12:06]
955*2^1245825-1 is not prime.  Res64: A0807F1A587071C0  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 04:21:56]
635*2^1245826-1 is not prime.  Res64: D7D175FD9A967124  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 04:21:56]
677*2^1245826-1 is not prime.  Res64: BF1E475731947E50  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 04:30:51]
695*2^1245826-1 is not prime.  Res64: FDCFE535A5A3B778  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 04:30:52]
713*2^1245826-1 is not prime.  Res64: 0FED87CAEAEF0F69  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 04:40:07]
735*2^1245826-1 is not prime.  Res64: A0147D3AEC5E7AC1  Time : 0.0 sec.
user=vaughan
[2013-05-12 04:46:10]
997*2^1245825-1 is not prime.  Res64: E294DE0A3DCB8921  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 04:49:06]
825*2^1245826-1 is not prime.  Res64: 57BFD9699BB80CB7  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 04:49:06]
923*2^1245826-1 is not prime.  Res64: 080B933C35BAD6AA  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 05:06:33]
741*2^1245826-1 is not prime.  Res64: 646E7530812E791B  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 05:07:47]
1001*2^1245826-1 is not prime.  Res64: C3F21CF3CDFBA87B  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 05:07:48]
615*2^1245827-1 is not prime.  Res64: F758BF3A1C7E6F33  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 05:24:43]
813*2^1245827-1 is not prime.  Res64: 06F653479087DCE8  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 05:25:46]
861*2^1245827-1 is not prime.  Res64: 6468A461E26B0385  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 05:25:46]
885*2^1245827-1 is not prime.  Res64: AAE69FDF614C0D48  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 05:44:34]
991*2^1245827-1 is not prime.  Res64: F0BC9AD9EAB91803  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 05:44:34]
627*2^1245828-1 is not prime.  Res64: DBE0ECDD96BC58A0  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 05:59:33]
825*2^1245827-1 is not prime.  Res64: 3A5EE8F24A91B949  Time : 0.0 sec.
user=vaughan
[2013-05-12 06:02:05]
889*2^1245827-1 is not prime.  Res64: D94C8BB65EC638C5  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 06:02:28]
689*2^1245828-1 is not prime.  Res64: 9B1E2C539F4EA7A9  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 06:02:30]
707*2^1245828-1 is not prime.  Res64: 99DFCEF8C9998913  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 06:17:24]
759*2^1245828-1 is not prime.  Res64: EF0902B68577579A  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 06:17:24]
789*2^1245828-1 is not prime.  Res64: 294DEF46E19EE4F9  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 06:20:52]
809*2^1245828-1 is not prime.  Res64: E3F16733474D4FA9  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 06:35:14]
609*2^1245829-1 is not prime.  Res64: 798FC2F6C898332E  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 06:35:15]
667*2^1245829-1 is not prime.  Res64: 9A49F7EF2E90FC40  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 06:41:55]
945*2^1245828-1 is not prime.  Res64: 1C40ED2794F03FCE  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 06:53:13]
771*2^1245829-1 is not prime.  Res64: EDA693D0B326D7C2  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 06:59:58]
919*2^1245829-1 is not prime.  Res64: A7DA1A731D755CAA  Time : 0.0 sec.
user=vaughan
[2013-05-12 07:17:47]
877*2^1245829-1 is not prime.  Res64: BD1E2ADCBA588110  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 07:19:56]
789*2^1245829-1 is not prime.  Res64: CE4666A466E0ED06  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 07:23:40]
975*2^1245829-1 is not prime.  Res64: 91B497431DDA3EC2  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 07:37:50]
615*2^1245830-1 is not prime.  Res64: DA142773FAF5B2E1  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 07:37:50]
663*2^1245830-1 is not prime.  Res64: 86F00DC5E83385A1  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 07:55:51]
717*2^1245830-1 is not prime.  Res64: 317B134CDD1106AF  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 08:00:14]
813*2^1245830-1 is not prime.  Res64: ACFB94277146F7B4  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 08:00:15]
857*2^1245830-1 is not prime.  Res64: 374F5501DB40E86E  Time : 0.0 sec.
user=vaughan
[2013-05-12 08:01:27]
985*2^1245829-1 is not prime.  Res64: AC8C61331DE37003  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 08:18:06]
897*2^1245830-1 is not prime.  Res64: FC7523AA98632879  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 08:18:07]
917*2^1245830-1 is not prime.  Res64: 355170D39C57AB12  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 08:22:40]
753*2^1245830-1 is not prime.  Res64: 8232D1A95ACAA3B0  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 08:36:14]
643*2^1245831-1 is not prime.  Res64: ADB1F20D5CE3F7FE  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 08:36:14]
651*2^1245831-1 is not prime.  Res64: 5EB69B6901C42BDB  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 08:41:05]
691*2^1245831-1 is not prime.  Res64: 835F0AD83A086EC7  Time : 0.0 sec.
user=vaughan
[2013-05-12 08:44:48]
957*2^1245830-1 is not prime.  Res64: F7BF659A343ED473  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 08:54:43]
859*2^1245831-1 is not prime.  Res64: D30E92706AD6EE65  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 08:54:44]
913*2^1245831-1 is not prime.  Res64: F2BE578F847892B1  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 09:13:18]
945*2^1245831-1 is not prime.  Res64: 2A6C7BD7222C2369  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 09:13:18]
951*2^1245831-1 is not prime.  Res64: C3FC8AE2384C2B58  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 09:18:24]
829*2^1245831-1 is not prime.  Res64: 6BC9D2C9B1C6ACBF  Time : 0.0 sec.
user=vaughan
[2013-05-12 09:28:24]
943*2^1245831-1 is not prime.  Res64: A7306DD21CC34E8E  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 09:31:11]
657*2^1245832-1 is not prime.  Res64: 04BFBEDC59494455  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 09:31:12]
693*2^1245832-1 is not prime.  Res64: D3A7D65F153A0A12  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 09:49:19]
723*2^1245832-1 is not prime.  Res64: 4ACCCC8CFAFB6314  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 09:55:47]
849*2^1245832-1 is not prime.  Res64: CEEEAD9D6A0FF6C5  Time : 0.0 sec.
user=vaughan
[2013-05-12 10:06:30]
719*2^1245832-1 is not prime.  Res64: AE989FF19D0D2ED7  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 10:29:33]
833*2^1245832-1 is not prime.  Res64: EE8441AB49776631  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 10:34:05]
983*2^1245832-1 is not prime.  Res64: 3AABCF090D1025C8  Time : 0.0 sec.
user=vaughan
[2013-05-12 10:45:03]
657*2^1245833-1 is not prime.  Res64: 4F926A7DAEBE21E5  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 10:52:14]
675*2^1245833-1 is not prime.  Res64: 8B3E206A1C7161C4  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 11:13:42]
985*2^1245833-1 is not prime.  Res64: 1D6C26EF3ED334A9  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 11:13:42]
681*2^1245834-1 is not prime.  Res64: F939C79904B68058  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 11:18:49]
829*2^1245833-1 is not prime.  Res64: 8A763B7A5C142E69  Time : 0.0 sec.
user=vaughan
[2013-05-12 11:28:11]
945*2^1245833-1 is not prime.  Res64: 2643999E9720BF0D  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 11:31:41]
707*2^1245834-1 is not prime.  Res64: 7FDB6F4C9E1BADFC  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 11:31:41]
717*2^1245834-1 is not prime.  Res64: C45AE36456B2CDE4  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 11:36:40]
755*2^1245834-1 is not prime.  Res64: 96967E0A692E1A13  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 11:36:41]
797*2^1245834-1 is not prime.  Res64: DF8921B1C8138E66  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 11:49:47]
885*2^1245834-1 is not prime.  Res64: 88281C7C4B3DFDD0  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 11:54:31]
971*2^1245834-1 is not prime.  Res64: C2744C2DD02E53D1  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 11:54:31]
709*2^1245835-1 is not prime.  Res64: F6D82ACF3FC675CE  Time : 0.0 sec.
user=vaughan
[2013-05-12 12:06:34]
861*2^1245834-1 is not prime.  Res64: A77247D82668C2CF  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 12:12:41]
819*2^1245835-1 is not prime.  Res64: BE00156E40220EC1  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 12:12:41]
635*2^1245836-1 is not prime.  Res64: AD55A8CAEF58FC9F  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 12:17:55]
941*2^1245834-1 is not prime.  Res64: C53351B5E19BC3B5  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 12:30:59]
693*2^1245836-1 is not prime.  Res64: 933298B5C7F7B06E  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 12:30:59]
699*2^1245836-1 is not prime.  Res64: 8CF374075FA16CE2  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 12:35:56]
743*2^1245836-1 is not prime.  Res64: F131904D8155E46D  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 12:35:56]
825*2^1245836-1 is not prime.  Res64: 829056B817F28E26  Time : 0.0 sec.
user=vaughan
[2013-05-12 12:44:59]
647*2^1245836-1 is not prime.  Res64: 1E752C03030DF5CE  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 12:49:13]
873*2^1245836-1 is not prime.  Res64: 6BB7E60AB3806B46  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 12:49:13]
875*2^1245836-1 is not prime.  Res64: 52261E25DF0C8798  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 12:53:50]
893*2^1245836-1 is not prime.  Res64: 86698DF09EF9630D  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 12:53:51]
923*2^1245836-1 is not prime.  Res64: 74F7322D53649D2F  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 13:07:06]
781*2^1245837-1 is not prime.  Res64: 79067C91128B6254  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 13:07:08]
865*2^1245837-1 is not prime.  Res64: 95BC95FE1083245B  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 13:12:54]
901*2^1245837-1 is not prime.  Res64: 1F3907DC25E33007  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 13:12:55]
997*2^1245837-1 is not prime.  Res64: CAA3FCB91AECEB37  Time : 0.0 sec.
user=vaughan
[2013-05-12 13:23:11]
751*2^1245837-1 is not prime.  Res64: 5ACB8E5B10694BCC  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 13:25:38]
657*2^1245838-1 is not prime.  Res64: 23157BB5A8A3AB4D  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 13:30:59]
687*2^1245838-1 is not prime.  Res64: 3E0A0BAACB843D8A  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 13:30:59]
755*2^1245838-1 is not prime.  Res64: 0632D7F1DFCD00E2  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 13:48:53]
665*2^1245838-1 is not prime.  Res64: 35E5109F35AFD3F0  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 13:49:14]
791*2^1245838-1 is not prime.  Res64: A2287431673B9B0E  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 14:25:57]
813*2^1245838-1 is not prime.  Res64: 58DD80D12D19BE73  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 14:36:39]
855*2^1245838-1 is not prime.  Res64: CCFB494BEC76EEC2  Time : 0.0 sec.
user=vaughan
[2013-05-12 14:38:30]
843*2^1245838-1 is not prime.  Res64: C9339CF74CC687A1  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 14:44:04]
661*2^1245839-1 is not prime.  Res64: 4A6DA6A58A475C68  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 15:01:32]
971*2^1245838-1 is not prime.  Res64: 8BE1BC852031BEC0  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 15:06:24]
685*2^1245839-1 is not prime.  Res64: D572D046222E13E0  Time : 0.0 sec.
user=vaughan
[2013-05-12 15:16:57]
693*2^1245839-1 is not prime.  Res64: 7E1DCF45860DDBE3  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 15:24:36]
823*2^1245839-1 is not prime.  Res64: 69AC34A7BA9F8C30  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 15:57:35]
713*2^1245840-1 is not prime.  Res64: 384377550A99685F  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 15:57:35]
849*2^1245840-1 is not prime.  Res64: 1699E834BA553526  Time : 0.0 sec.
user=vaughan
[2013-05-12 16:00:28]
979*2^1245839-1 is not prime.  Res64: 038D65B32DF8D349  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 16:00:50]
825*2^1245839-1 is not prime.  Res64: FA9503C4C257745C  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 16:16:04]
863*2^1245840-1 is not prime.  Res64: B05D37892636EB49  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 16:19:16]
685*2^1245841-1 is not prime.  Res64: DB27CB5DA9743E25  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 16:37:52]
975*2^1245840-1 is not prime.  Res64: 61D85302DFFA594A  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 16:52:35]
741*2^1245841-1 is not prime.  Res64: 4940BF9543FA97D0  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 17:14:56]
789*2^1245841-1 is not prime.  Res64: 5997C0430572B3CE  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 17:14:56]
811*2^1245841-1 is not prime.  Res64: D4C56E4D1589DD57  Time : 0.0 sec.
user=vaughan
[2013-05-12 17:15:51]
769*2^1245841-1 is not prime.  Res64: BFE76D518E6B52FE  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 17:32:49]
967*2^1245841-1 is not prime.  Res64: BD41FF540090E360  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 17:32:49]
843*2^1245842-1 is not prime.  Res64: C6B4EC16E28B7477  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 17:32:49]
873*2^1245842-1 is not prime.  Res64: 9B80EECD0202B359  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 17:50:54]
921*2^1245842-1 is not prime.  Res64: 0C4D3492156CDCE6  Time : 0.0 sec.
user=vaughan
[2013-05-12 17:54:01]
893*2^1245842-1 is not prime.  Res64: CC0507EEEC753699  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 17:57:51]
791*2^1245842-1 is not prime.  Res64: 71D265331EBCFCFA  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 18:28:05]
977*2^1245842-1 is not prime.  Res64: E10538E32651635C  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 18:48:11]
983*2^1245842-1 is not prime.  Res64: FAE1173BB11AEAA0  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 18:48:11]
649*2^1245843-1 is not prime.  Res64: 6403901E00A5E06B  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 19:06:04]
709*2^1245843-1 is not prime.  Res64: 5383D6CF8A1371FF  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 19:06:05]
801*2^1245843-1 is not prime.  Res64: 000B547B58399882  Time : 0.0 sec.
user=vaughan
[2013-05-12 19:09:42]
705*2^1245843-1 is not prime.  Res64: 34E0469340D44EFA  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 19:14:23]
849*2^1245843-1 is not prime.  Res64: 20606DC002595B97  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 19:14:24]
853*2^1245843-1 is not prime.  Res64: 3B9DEA5FACDDD9CC  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 19:24:23]
879*2^1245843-1 is not prime.  Res64: D541DC316E410A75  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 19:32:17]
609*2^1245844-1 is not prime.  Res64: F5717F096A94D6DC  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 19:32:18]
803*2^1245844-1 is not prime.  Res64: D9145F2648D84D9E  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 19:50:26]
819*2^1245844-1 is not prime.  Res64: B521E45D82ECB88B  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 19:52:59]
913*2^1245843-1 is not prime.  Res64: 4B8AB28CED2B2271  Time : 0.0 sec.
user=vaughan
[2013-05-12 19:53:20]
951*2^1245843-1 is not prime.  Res64: 45867E386F786062  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 20:13:03]
827*2^1245844-1 is not prime.  Res64: 9C7F4873DC97820B  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 20:31:51]
897*2^1245844-1 is not prime.  Res64: 1A871CA9BE027B14  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 20:31:51]
987*2^1245844-1 is not prime.  Res64: C2CAC73C26970132  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 20:47:14]
645*2^1245845-1 is not prime.  Res64: 92535A0C1C625F85  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 20:47:14]
651*2^1245845-1 is not prime.  Res64: F6378D7ECB2E9E3C  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 20:49:43]
825*2^1245845-1 is not prime.  Res64: 129D7D4731521A80  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 20:49:44]
865*2^1245845-1 is not prime.  Res64: 6B6ABC84E5C83E2D  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 21:05:21]
871*2^1245845-1 is not prime.  Res64: 763E4D071342F067  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 21:07:53]
969*2^1245845-1 is not prime.  Res64: 8A11646E2D368F77  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 21:07:53]
707*2^1245846-1 is not prime.  Res64: C1F6FDB2BEF8484C  Time : 0.0 sec.
user=vaughan
[2013-05-12 21:08:34]
801*2^1245845-1 is not prime.  Res64: 926484C9DF329CA3  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 21:26:05]
711*2^1245846-1 is not prime.  Res64: E8A0CA508C1DA40D  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 21:26:05]
717*2^1245846-1 is not prime.  Res64: 05FC903C25FA28E9  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 21:40:24]
927*2^1245845-1 is not prime.  Res64: B8C6106660DF45C7  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 21:44:21]
807*2^1245846-1 is not prime.  Res64: 0200006F725EC55A  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 21:44:22]
825*2^1245846-1 is not prime.  Res64: F6F610A78E7B6E70  Time : 0.0 sec.
user=vaughan
[2013-05-12 21:46:57]
725*2^1245846-1 is not prime.  Res64: 828AB016B01C2608  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 21:59:07]
851*2^1245846-1 is not prime.  Res64: 721D38C0A104BB00  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 21:59:07]
1001*2^1245846-1 is not prime.  Res64: 3613CEDDD8230470  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 22:02:46]
615*2^1245847-1 is not prime.  Res64: F20B8197E152F396  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 22:17:16]
871*2^1245847-1 is not prime.  Res64: 10CEA2F3E89433AA  Time : 0.0 sec.
user=vaughan
[2013-05-12 22:25:15]
673*2^1245847-1 is not prime.  Res64: 21A71CC46DE18A98  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 22:33:47]
639*2^1245847-1 is not prime.  Res64: CE4BCAE9FB121618  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 22:39:56]
909*2^1245847-1 is not prime.  Res64: 1CBFB215DA22EAB0  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 23:22:06]
855*2^1245848-1 is not prime.  Res64: 6FA9DE89442B0D75  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 23:22:06]
929*2^1245848-1 is not prime.  Res64: 31AC030B7100DA2E  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 23:30:31]
625*2^1245849-1 is not prime.  Res64: B01C40FB38834850  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 23:30:31]
751*2^1245849-1 is not prime.  Res64: B63774C758098F40  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 23:40:02]
781*2^1245849-1 is not prime.  Res64: C7698C000A9C31E7  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 23:40:02]
847*2^1245849-1 is not prime.  Res64: 227FA7A3F5FD9B2B  Time : 0.0 sec.
user=vaughan
[2013-05-12 23:40:45]
633*2^1245848-1 is not prime.  Res64: D4E6507A905FD853  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 23:49:20]
985*2^1245849-1 is not prime.  Res64: F82AE8E283C3406B  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 23:49:20]
645*2^1245850-1 is not prime.  Res64: ED85B58F39D01D79  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 23:57:52]
833*2^1245850-1 is not prime.  Res64: 680CD0E4709C38D4  Time : 0.0 sec.
user=mdettweiler
[2013-05-12 23:57:52]
861*2^1245850-1 is not prime.  Res64: 450AA3C74E85C80D  Time : 0.0 sec.