user=mdettweiler [2016-01-03 00:01:56] 689*2^1418560-1 is not prime. Res64: D6F501891EFF226A Time : 0.0 sec. user=mdettweiler [2016-01-03 00:01:56] 695*2^1418560-1 is not prime. Res64: 4BD558BC46DEC1DA Time : 0.0 sec. user=mdettweiler [2016-01-03 00:01:58] 797*2^1418560-1 is not prime. Res64: 4982984E2FD9C928 Time : 0.0 sec. user=mdettweiler [2016-01-03 00:01:58] 827*2^1418560-1 is not prime. Res64: 883DDC3C66C213F4 Time : 0.0 sec. user=mdettweiler [2016-01-03 00:19:30] 887*2^1418560-1 is not prime. Res64: DA4EADF5D552A881 Time : 0.0 sec. user=mdettweiler [2016-01-03 00:19:30] 975*2^1418560-1 is not prime. Res64: 2465C210854BC98E Time : 0.0 sec. user=mdettweiler [2016-01-03 00:19:31] 691*2^1418561-1 is not prime. Res64: 81BE4775E648F035 Time : 0.0 sec. user=mdettweiler [2016-01-03 00:19:32] 715*2^1418561-1 is not prime. Res64: BA9AD03058163C8C Time : 0.0 sec. user=mdettweiler [2016-01-03 00:37:06] 811*2^1418561-1 is not prime. Res64: 899A6AF7E4488340 Time : 0.0 sec. user=mdettweiler [2016-01-03 00:37:06] 991*2^1418561-1 is not prime. Res64: 8CA9637597BB965A Time : 0.0 sec. user=mdettweiler [2016-01-03 00:37:06] 885*2^1418561-1 is not prime. Res64: FD03CF6AD2D75A8C Time : 0.0 sec. user=mdettweiler [2016-01-03 00:37:07] 705*2^1418562-1 is not prime. Res64: E3B5A2C4C80BBF54 Time : 0.0 sec. user=mdettweiler [2016-01-03 00:54:40] 767*2^1418562-1 is not prime. Res64: EFAC639CEF90A4DC Time : 0.0 sec. user=mdettweiler [2016-01-03 00:54:40] 807*2^1418562-1 is not prime. Res64: 24B4B6E88BA1523D Time : 0.0 sec. user=mdettweiler [2016-01-03 00:54:41] 921*2^1418562-1 is not prime. Res64: E53DE5B478224032 Time : 0.0 sec. user=mdettweiler [2016-01-03 00:54:41] 977*2^1418562-1 is not prime. Res64: 9C4CB5131345DAFE Time : 0.0 sec. user=mdettweiler [2016-01-03 01:12:12] 1001*2^1418562-1 is not prime. Res64: F235C87FA42530CE Time : 0.0 sec. user=mdettweiler [2016-01-03 01:12:12] 649*2^1418563-1 is not prime. Res64: 0D833FE76FD48AA1 Time : 0.0 sec. user=mdettweiler [2016-01-03 01:12:13] 805*2^1418563-1 is not prime. Res64: 5FCE6DAB12493CDD Time : 0.0 sec. user=mdettweiler [2016-01-03 01:12:13] 849*2^1418563-1 is not prime. Res64: F1AF4029DAAC072E Time : 0.0 sec. user=mdettweiler [2016-01-03 01:29:46] 665*2^1418564-1 is not prime. Res64: B5610A63749B2017 Time : 0.0 sec. user=mdettweiler [2016-01-03 01:29:47] 719*2^1418564-1 is not prime. Res64: A8B697943BAAF239 Time : 0.0 sec. user=mdettweiler [2016-01-03 01:29:48] 859*2^1418563-1 is not prime. Res64: AFE55CCA9135402D Time : 0.0 sec. user=mdettweiler [2016-01-03 01:29:49] 919*2^1418563-1 is not prime. Res64: F01941C848B302A5 Time : 0.0 sec. user=mdettweiler [2016-01-03 01:47:51] 819*2^1418564-1 is not prime. Res64: 5163CE22772845D3 Time : 0.0 sec. user=mdettweiler [2016-01-03 01:47:51] 869*2^1418564-1 is not prime. Res64: 84DB1285F463FF69 Time : 0.0 sec. user=mdettweiler [2016-01-03 01:47:52] 935*2^1418564-1 is not prime. Res64: 298C5F1978E183CA Time : 0.0 sec. user=mdettweiler [2016-01-03 01:47:52] 953*2^1418564-1 is not prime. Res64: 6B76EA2F6C0D83C1 Time : 0.0 sec. user=mdettweiler [2016-01-03 02:05:26] 921*2^1418565-1 is not prime. Res64: 7A0EC9982DC326AF Time : 0.0 sec. user=mdettweiler [2016-01-03 02:05:26] 677*2^1418566-1 is not prime. Res64: 49566A706E4776FD Time : 0.0 sec. user=mdettweiler [2016-01-03 02:05:28] 979*2^1418565-1 is not prime. Res64: EF9028E626762962 Time : 0.0 sec. user=mdettweiler [2016-01-03 02:05:29] 765*2^1418566-1 is not prime. Res64: D33A87944E75A9AD Time : 0.0 sec. user=mdettweiler [2016-01-03 02:23:14] 911*2^1418566-1 is not prime. Res64: CBFD2488E7283878 Time : 0.0 sec. user=mdettweiler [2016-01-03 02:23:15] 971*2^1418566-1 is not prime. Res64: CDE4B0B08F6B6EFA Time : 0.0 sec. user=mdettweiler [2016-01-03 02:23:15] 783*2^1418566-1 is not prime. Res64: 403317715F03D06F Time : 0.0 sec. user=mdettweiler [2016-01-03 02:23:16] 987*2^1418566-1 is not prime. Res64: 643D8386C5DAE5E4 Time : 0.0 sec. user=mdettweiler [2016-01-03 02:40:49] 703*2^1418567-1 is not prime. Res64: D2A7F07A0A28EA79 Time : 0.0 sec. user=mdettweiler [2016-01-03 02:40:50] 633*2^1418567-1 is not prime. Res64: D3EC2B93DB9B14EB Time : 0.0 sec. user=mdettweiler [2016-01-03 02:40:50] 711*2^1418567-1 is not prime. Res64: 97B5DEE565D4089C Time : 0.0 sec. user=mdettweiler [2016-01-03 02:40:50] 663*2^1418567-1 is not prime. Res64: 140F6DDD8F3713D0 Time : 0.0 sec. user=mdettweiler [2016-01-03 02:58:25] 825*2^1418567-1 is not prime. Res64: AE0DD2EBAABD3333 Time : 0.0 sec. user=mdettweiler [2016-01-03 02:58:25] 705*2^1418568-1 is not prime. Res64: 584764B86B8C8040 Time : 0.0 sec. user=mdettweiler [2016-01-03 02:58:25] 979*2^1418567-1 is not prime. Res64: 44459278A4539659 Time : 0.0 sec. user=mdettweiler [2016-01-03 02:58:25] 707*2^1418568-1 is not prime. Res64: 11A34F3309F26988 Time : 0.0 sec. user=mdettweiler [2016-01-03 03:15:56] 947*2^1418568-1 is not prime. Res64: E40F7DEE45C06CBD Time : 0.0 sec. user=mdettweiler [2016-01-03 03:15:57] 637*2^1418569-1 is not prime. Res64: 76B211E8DAFFD2C6 Time : 0.0 sec. user=mdettweiler [2016-01-03 03:15:58] 735*2^1418568-1 is not prime. Res64: D66EE39DAE20E584 Time : 0.0 sec. user=mdettweiler [2016-01-03 03:15:58] 797*2^1418568-1 is not prime. Res64: 0F0114076E6DF0D6 Time : 0.0 sec. user=mdettweiler [2016-01-03 03:33:34] 717*2^1418570-1 is not prime. Res64: 25A43CFBE04437C5 Time : 0.0 sec. user=mdettweiler [2016-01-03 03:33:35] 831*2^1418569-1 is not prime. Res64: 3682D91400F5835A Time : 0.0 sec. user=mdettweiler [2016-01-03 03:33:36] 755*2^1418570-1 is not prime. Res64: 5B2E202E34B7D23A Time : 0.0 sec. user=mdettweiler [2016-01-03 03:33:40] 675*2^1418570-1 is not prime. Res64: 7BF68A2DF904B03F Time : 0.0 sec. user=mdettweiler [2016-01-03 03:51:26] 845*2^1418570-1 is not prime. Res64: 1E7DFA29C9353C10 Time : 0.0 sec. user=mdettweiler [2016-01-03 03:51:27] 911*2^1418570-1 is not prime. Res64: 5FFF59B1E1CE8130 Time : 0.0 sec. user=mdettweiler [2016-01-03 03:51:28] 935*2^1418570-1 is not prime. Res64: CC48BF3EEDEF96D8 Time : 0.0 sec. user=mdettweiler [2016-01-03 03:51:28] 867*2^1418570-1 is not prime. Res64: C0D07CC055B6E37E Time : 0.0 sec. user=mdettweiler [2016-01-03 04:09:11] 941*2^1418570-1 is not prime. Res64: A163583F6E248E7F Time : 0.0 sec. user=mdettweiler [2016-01-03 04:09:12] 613*2^1418571-1 is not prime. Res64: 8A1EBDE4239DC45A Time : 0.0 sec. user=mdettweiler [2016-01-03 04:09:14] 639*2^1418571-1 is not prime. Res64: D8E3C9EA65541823 Time : 0.0 sec. user=mdettweiler [2016-01-03 04:09:15] 643*2^1418571-1 is not prime. Res64: E1B3607962ADDC8F Time : 0.0 sec. user=mdettweiler [2016-01-03 04:26:51] 709*2^1418571-1 is not prime. Res64: 37EBD02953CF8BA6 Time : 0.0 sec. user=mdettweiler [2016-01-03 04:26:51] 849*2^1418571-1 is not prime. Res64: D78356945FFDB4F5 Time : 0.0 sec. user=mdettweiler [2016-01-03 04:26:53] 903*2^1418571-1 is not prime. Res64: A889ACDFF42067BB Time : 0.0 sec. user=mdettweiler [2016-01-03 04:26:54] 961*2^1418571-1 is not prime. Res64: A756008BB0704C40 Time : 0.0 sec. user=mdettweiler [2016-01-03 04:44:30] 647*2^1418572-1 is not prime. Res64: 287CD6733828F30D Time : 0.0 sec. user=mdettweiler [2016-01-03 04:44:30] 653*2^1418572-1 is not prime. Res64: 0CF94984E845273D Time : 0.0 sec. user=mdettweiler [2016-01-03 04:44:33] 827*2^1418572-1 is not prime. Res64: B529A2D97D303EE4 Time : 0.0 sec. user=mdettweiler [2016-01-03 04:44:33] 987*2^1418572-1 is not prime. Res64: E6B37A30A266FBC5 Time : 0.0 sec. user=mdettweiler [2016-01-03 05:02:07] 631*2^1418573-1 is not prime. Res64: 711C1FDFEEDD7772 Time : 0.0 sec. user=mdettweiler [2016-01-03 05:02:08] 819*2^1418573-1 is not prime. Res64: BD02F48441EBB82C Time : 0.0 sec. user=mdettweiler [2016-01-03 05:02:10] 861*2^1418573-1 is not prime. Res64: 067BAE4445DF1FD3 Time : 0.0 sec. user=mdettweiler [2016-01-03 05:02:11] 955*2^1418573-1 is not prime. Res64: E5172172E5B81348 Time : 0.0 sec. user=mdettweiler [2016-01-03 05:19:59] 627*2^1418574-1 is not prime. Res64: 367304E3E6D2D75D Time : 0.0 sec. user=mdettweiler [2016-01-03 05:19:59] 705*2^1418574-1 is not prime. Res64: D1E4ADE82E0A8543 Time : 0.0 sec. user=mdettweiler [2016-01-03 05:19:59] 663*2^1418574-1 is not prime. Res64: 29ACC2C7A689D6B4 Time : 0.0 sec. user=mdettweiler [2016-01-03 05:19:59] 731*2^1418574-1 is not prime. Res64: B87AFE56CBD0A2EB Time : 0.0 sec. user=mdettweiler [2016-01-03 05:37:32] 765*2^1418574-1 is not prime. Res64: 54960B1F5DF601BD Time : 0.0 sec. user=mdettweiler [2016-01-03 05:37:33] 645*2^1418575-1 is not prime. Res64: 5F0B6BC7C27A30FE Time : 0.0 sec. user=mdettweiler [2016-01-03 05:37:33] 947*2^1418574-1 is not prime. Res64: 6E67223DE482A1FC Time : 0.0 sec. user=mdettweiler [2016-01-03 05:37:33] 651*2^1418575-1 is not prime. Res64: 5BCB59C94728C268 Time : 0.0 sec. user=mdettweiler [2016-01-03 05:55:06] 715*2^1418575-1 is not prime. Res64: FC3406B2087A2494 Time : 0.0 sec. user=mdettweiler [2016-01-03 05:55:06] 805*2^1418575-1 is not prime. Res64: 88540EC22DB50053 Time : 0.0 sec. user=mdettweiler [2016-01-03 05:55:07] 741*2^1418575-1 is not prime. Res64: AE3C3ABE7B8C361D Time : 0.0 sec. user=mdettweiler [2016-01-03 05:55:07] 829*2^1418575-1 is not prime. Res64: 73745229A9C11234 Time : 0.0 sec. user=mdettweiler [2016-01-03 06:12:39] 677*2^1418576-1 is not prime. Res64: 743924106503AC8F Time : 0.0 sec. user=mdettweiler [2016-01-03 06:12:39] 895*2^1418575-1 is not prime. Res64: F25FF5C20506388A Time : 0.0 sec. user=mdettweiler [2016-01-03 06:12:40] 755*2^1418576-1 is not prime. Res64: DA3E139D56B291B8 Time : 0.0 sec. user=mdettweiler [2016-01-03 06:12:40] 657*2^1418576-1 is not prime. Res64: 7934FA20FC94441D Time : 0.0 sec. user=mdettweiler [2016-01-03 06:30:14] 785*2^1418576-1 is not prime. Res64: CF06BED7623B0150 Time : 0.0 sec. user=mdettweiler [2016-01-03 06:30:14] 803*2^1418576-1 is not prime. Res64: 8CE73ECA32C359CA Time : 0.0 sec. user=mdettweiler [2016-01-03 06:30:15] 845*2^1418576-1 is not prime. Res64: 9236E16ACE1CE420 Time : 0.0 sec. user=mdettweiler [2016-01-03 06:30:15] 897*2^1418576-1 is not prime. Res64: 0E53D222471F48C8 Time : 0.0 sec. user=mdettweiler [2016-01-03 06:47:46] 865*2^1418577-1 is not prime. Res64: ECF53D9E4685589D Time : 0.0 sec. user=mdettweiler [2016-01-03 06:47:47] 969*2^1418576-1 is not prime. Res64: E2F12AD1D4879080 Time : 0.0 sec. user=mdettweiler [2016-01-03 06:47:47] 985*2^1418577-1 is not prime. Res64: DCD198028BBB5E54 Time : 0.0 sec. user=mdettweiler [2016-01-03 06:47:47] 727*2^1418577-1 is not prime. Res64: 7611E5C6EBE1D19F Time : 0.0 sec. user=mdettweiler [2016-01-03 07:05:20] 617*2^1418578-1 is not prime. Res64: 8CD6D121F7674D3E Time : 0.0 sec. user=mdettweiler [2016-01-03 07:05:22] 951*2^1418578-1 is not prime. Res64: 61540353EBB968A7 Time : 0.0 sec. user=mdettweiler [2016-01-03 07:05:22] 825*2^1418578-1 is not prime. Res64: 7E75075710F91FB7 Time : 0.0 sec. user=mdettweiler [2016-01-03 07:05:23] 663*2^1418579-1 is not prime. Res64: 980B73CE21E5150B Time : 0.0 sec. user=mdettweiler [2016-01-03 07:23:08] 711*2^1418579-1 is not prime. Res64: 8F63157D0E1142F2 Time : 0.0 sec. user=mdettweiler [2016-01-03 07:23:09] 921*2^1418579-1 is not prime. Res64: C990D5B77198545B Time : 0.0 sec. user=mdettweiler [2016-01-03 07:23:09] 633*2^1418580-1 is not prime. Res64: CCC3FFC4B87BBE0C Time : 0.0 sec. user=mdettweiler [2016-01-03 07:23:10] 767*2^1418580-1 is not prime. Res64: 597C9E987A53D358 Time : 0.0 sec. user=mdettweiler [2016-01-03 07:41:17] 819*2^1418581-1 is not prime. Res64: E3CB3D29B94B08C8 Time : 0.0 sec. user=mdettweiler [2016-01-03 07:41:17] 803*2^1418580-1 is not prime. Res64: F1132614C842435D Time : 0.0 sec. user=mdettweiler [2016-01-03 07:41:18] 999*2^1418581-1 is not prime. Res64: 9701EE819B219CAA Time : 0.0 sec. user=mdettweiler [2016-01-03 07:41:18] 923*2^1418580-1 is not prime. Res64: 49318B7BD2539B4A Time : 0.0 sec. user=mdettweiler [2016-01-03 07:58:49] 761*2^1418582-1 is not prime. Res64: 8EEFDB3951249115 Time : 0.0 sec. user=mdettweiler [2016-01-03 07:58:50] 791*2^1418582-1 is not prime. Res64: 96270D4FDD417D53 Time : 0.0 sec. user=mdettweiler [2016-01-03 07:58:51] 815*2^1418582-1 is not prime. Res64: C46B85C6754B4954 Time : 0.0 sec. user=mdettweiler [2016-01-03 07:58:51] 935*2^1418582-1 is not prime. Res64: 62CAFDD6A71BE0E3 Time : 0.0 sec. user=mdettweiler [2016-01-03 08:16:23] 951*2^1418582-1 is not prime. Res64: 7AF4AE8E7064BA1D Time : 0.0 sec. user=mdettweiler [2016-01-03 08:16:23] 965*2^1418582-1 is not prime. Res64: D5A3A9F755F450A3 Time : 0.0 sec. user=mdettweiler [2016-01-03 08:16:24] 619*2^1418583-1 is not prime. Res64: D51674954B69C03E Time : 0.0 sec. user=mdettweiler [2016-01-03 08:16:25] 691*2^1418583-1 is not prime. Res64: 49EEEFF756A406CC Time : 0.0 sec. user=mdettweiler [2016-01-03 08:34:00] 765*2^1418583-1 is not prime. Res64: FF006FCCC13858D3 Time : 0.0 sec. user=mdettweiler [2016-01-03 08:34:00] 741*2^1418583-1 is not prime. Res64: 01C372A3801C91F5 Time : 0.0 sec. user=mdettweiler [2016-01-03 08:34:00] 751*2^1418583-1 is not prime. Res64: 77A9621351F0AB63 Time : 0.0 sec. user=mdettweiler [2016-01-03 08:34:01] 793*2^1418583-1 is not prime. Res64: 492838D44D2DAACF Time : 0.0 sec. user=mdettweiler [2016-01-03 08:51:31] 895*2^1418583-1 is not prime. Res64: F4FEE5BBD51B6475 Time : 0.0 sec. user=mdettweiler [2016-01-03 08:51:32] 819*2^1418583-1 is not prime. Res64: 965C234846DACD8C Time : 0.0 sec. user=mdettweiler [2016-01-03 08:51:32] 921*2^1418583-1 is not prime. Res64: 6B83F35A3CD8E74C Time : 0.0 sec. user=mdettweiler [2016-01-03 08:51:32] 891*2^1418583-1 is not prime. Res64: B3A806BCCB3F1449 Time : 0.0 sec. user=mdettweiler [2016-01-03 09:09:05] 875*2^1418584-1 is not prime. Res64: 96B1236D8E8912C2 Time : 0.0 sec. user=mdettweiler [2016-01-03 09:09:05] 949*2^1418583-1 is not prime. Res64: EEFEFAEE268928F2 Time : 0.0 sec. user=mdettweiler [2016-01-03 09:09:06] 619*2^1418585-1 is not prime. Res64: CCCA171160C9BA0B Time : 0.0 sec. user=mdettweiler [2016-01-03 09:09:06] 755*2^1418584-1 is not prime. Res64: 3A1B7FD03B296CB9 Time : 0.0 sec. user=mdettweiler [2016-01-03 09:26:42] 771*2^1418585-1 is not prime. Res64: 2247570328A459E3 Time : 0.0 sec. user=mdettweiler [2016-01-03 09:26:42] 717*2^1418585-1 is not prime. Res64: 41190F2BE1B9897C Time : 0.0 sec. user=mdettweiler [2016-01-03 09:26:42] 777*2^1418585-1 is not prime. Res64: EBAF6CEB12D1563E Time : 0.0 sec. user=mdettweiler [2016-01-03 09:26:42] 721*2^1418585-1 is not prime. Res64: 992E86E411BBAA30 Time : 0.0 sec. user=mdettweiler [2016-01-03 09:44:14] 713*2^1418586-1 is not prime. Res64: 8F507D39770AEE74 Time : 0.0 sec. user=mdettweiler [2016-01-03 09:44:15] 717*2^1418586-1 is not prime. Res64: 329B00CADBECB97A Time : 0.0 sec. user=mdettweiler [2016-01-03 09:44:17] 985*2^1418585-1 is not prime. Res64: BD5B4F45E4D6B77F Time : 0.0 sec. user=mdettweiler [2016-01-03 09:44:17] 647*2^1418586-1 is not prime. Res64: A1D7632D3950BD42 Time : 0.0 sec. user=mdettweiler [2016-01-03 10:01:48] 815*2^1418586-1 is not prime. Res64: 0E3CA75D91FF5C83 Time : 0.0 sec. user=mdettweiler [2016-01-03 10:01:49] 843*2^1418586-1 is not prime. Res64: AF0F2684441433A8 Time : 0.0 sec. user=mdettweiler [2016-01-03 10:01:50] 861*2^1418586-1 is not prime. Res64: 56BA796A0D4E66EB Time : 0.0 sec. user=mdettweiler [2016-01-03 10:01:52] 673*2^1418587-1 is not prime. Res64: AED917FD38DCF307 Time : 0.0 sec. user=mdettweiler [2016-01-03 10:19:46] 691*2^1418587-1 is not prime. Res64: FB7248FB42D63DE4 Time : 0.0 sec. user=mdettweiler [2016-01-03 10:19:47] 975*2^1418587-1 is not prime. Res64: CC796CDAA6C3E8DE Time : 0.0 sec. user=mdettweiler [2016-01-03 10:19:47] 843*2^1418587-1 is not prime. Res64: F9A19DAB392B2E59 Time : 0.0 sec. user=mdettweiler [2016-01-03 10:19:47] 615*2^1418588-1 is not prime. Res64: CE3168A179831ADD Time : 0.0 sec. user=mdettweiler [2016-01-03 10:37:19] 623*2^1418588-1 is not prime. Res64: A0C5993B24AA731F Time : 0.0 sec. user=mdettweiler [2016-01-03 10:37:20] 725*2^1418588-1 is not prime. Res64: 56F5D04EA0604065 Time : 0.0 sec. user=mdettweiler [2016-01-03 10:37:20] 749*2^1418588-1 is not prime. Res64: D1EBBABDA3D6C67E Time : 0.0 sec. user=mdettweiler [2016-01-03 10:37:21] 819*2^1418588-1 is not prime. Res64: 78820A1987D21555 Time : 0.0 sec. user=mdettweiler [2016-01-03 10:54:52] 845*2^1418588-1 is not prime. Res64: 7684AB13A3D2DCF9 Time : 0.0 sec. user=mdettweiler [2016-01-03 10:54:52] 885*2^1418588-1 is not prime. Res64: 56729D11A44443BE Time : 0.0 sec. user=mdettweiler [2016-01-03 10:54:54] 923*2^1418588-1 is not prime. Res64: 9FFA2BB6532FDD89 Time : 0.0 sec. user=mdettweiler [2016-01-03 10:54:55] 945*2^1418588-1 is not prime. Res64: 34F56FE2C65DAEEF Time : 0.0 sec. user=mdettweiler [2016-01-03 11:12:24] 987*2^1418588-1 is not prime. Res64: 1AC1DCA845A1A7FA Time : 0.0 sec. user=mdettweiler [2016-01-03 11:12:25] 995*2^1418588-1 is not prime. Res64: 662ABBFD0ED993FF Time : 0.0 sec. user=mdettweiler [2016-01-03 11:12:26] 615*2^1418589-1 is not prime. Res64: ACEB601F4E549F40 Time : 0.0 sec. user=mdettweiler [2016-01-03 11:12:26] 685*2^1418589-1 is not prime. Res64: 7FF61FF5FF6E2294 Time : 0.0 sec. user=mdettweiler [2016-01-03 11:29:59] 781*2^1418589-1 is not prime. Res64: B5DFF42671342281 Time : 0.0 sec. user=mdettweiler [2016-01-03 11:29:59] 727*2^1418589-1 is not prime. Res64: 43CD2DDBB0F1EE44 Time : 0.0 sec. user=mdettweiler [2016-01-03 11:30:00] 847*2^1418589-1 is not prime. Res64: 0D59DAE5DBCDC747 Time : 0.0 sec. user=mdettweiler [2016-01-03 11:30:00] 745*2^1418589-1 is not prime. Res64: DD9C053D73989E3E Time : 0.0 sec. user=mdettweiler [2016-01-03 11:47:33] 999*2^1418589-1 is not prime. Res64: 9295C2D28048F50D Time : 0.0 sec. user=mdettweiler [2016-01-03 11:47:33] 891*2^1418589-1 is not prime. Res64: 596C1C2808B99AF0 Time : 0.0 sec. user=mdettweiler [2016-01-03 11:47:33] 603*2^1418590-1 is not prime. Res64: 3CE33150190F44B9 Time : 0.0 sec. user=mdettweiler [2016-01-03 11:47:33] 919*2^1418589-1 is not prime. Res64: 0CCCC836DE25CEB5 Time : 0.0 sec. user=mdettweiler [2016-01-03 12:05:06] 611*2^1418590-1 is not prime. Res64: 6FE4D19653EECEF2 Time : 0.0 sec. user=mdettweiler [2016-01-03 12:05:07] 645*2^1418590-1 is not prime. Res64: B6AFCB5B53FF1822 Time : 0.0 sec. user=mdettweiler [2016-01-03 12:05:09] 723*2^1418590-1 is not prime. Res64: 42B5B5859AE0F265 Time : 0.0 sec. user=mdettweiler [2016-01-03 12:05:10] 747*2^1418590-1 is not prime. Res64: C94EF43DE6F9557E Time : 0.0 sec. user=mdettweiler [2016-01-03 12:22:59] 755*2^1418590-1 is not prime. Res64: D721F114410AD25F Time : 0.0 sec. user=mdettweiler [2016-01-03 12:22:59] 783*2^1418590-1 is not prime. Res64: 2391B8F9ADF7D551 Time : 0.0 sec. user=mdettweiler [2016-01-03 12:23:01] 857*2^1418590-1 is not prime. Res64: 74C61D844AF4C907 Time : 0.0 sec. user=mdettweiler [2016-01-03 12:23:01] 885*2^1418590-1 is not prime. Res64: 573C92FDD3600C8B Time : 0.0 sec. user=mdettweiler [2016-01-03 12:40:31] 887*2^1418590-1 is not prime. Res64: F45C4BDDE2E81FCE Time : 0.0 sec. user=mdettweiler [2016-01-03 12:40:32] 915*2^1418590-1 is not prime. Res64: B78053BB06214F34 Time : 0.0 sec. user=mdettweiler [2016-01-03 12:40:33] 975*2^1418590-1 is not prime. Res64: 45E4A4279CB8A780 Time : 0.0 sec. user=mdettweiler [2016-01-03 12:40:34] 981*2^1418590-1 is not prime. Res64: 146305C24D4F78DC Time : 0.0 sec. user=mdettweiler [2016-01-03 12:58:03] 615*2^1418591-1 is not prime. Res64: 4690902CA85CF312 Time : 0.0 sec. user=mdettweiler [2016-01-03 12:58:04] 661*2^1418591-1 is not prime. Res64: 77826A0F70171D88 Time : 0.0 sec. user=mdettweiler [2016-01-03 12:58:05] 695*2^1418592-1 is not prime. Res64: 64BCBC46B21BF1C2 Time : 0.0 sec. user=mdettweiler [2016-01-03 12:58:06] 779*2^1418592-1 is not prime. Res64: 413E6E4B16653B8D Time : 0.0 sec. user=mdettweiler [2016-01-03 13:15:36] 879*2^1418592-1 is not prime. Res64: 82F048920BD72371 Time : 0.0 sec. user=mdettweiler [2016-01-03 13:15:36] 625*2^1418593-1 is not prime. Res64: E6506AB0F2BEB7D7 Time : 0.0 sec. user=mdettweiler [2016-01-03 13:15:37] 721*2^1418593-1 is not prime. Res64: 439AE834239638CB Time : 0.0 sec. user=mdettweiler [2016-01-03 13:15:38] 727*2^1418593-1 is not prime. Res64: F54B69FAFBF88AC8 Time : 0.0 sec. user=mdettweiler [2016-01-03 13:33:10] 741*2^1418593-1 is not prime. Res64: 750183BF2DA481EA Time : 0.0 sec. user=mdettweiler [2016-01-03 13:33:11] 939*2^1418593-1 is not prime. Res64: 2A6CE80DC316A780 Time : 0.0 sec. user=mdettweiler [2016-01-03 13:33:11] 751*2^1418593-1 is not prime. Res64: 64C3264171A1880B Time : 0.0 sec. user=mdettweiler [2016-01-03 13:33:11] 945*2^1418593-1 is not prime. Res64: 8A58AA7CA79409D9 Time : 0.0 sec. user=mdettweiler [2016-01-03 13:50:44] 711*2^1418594-1 is not prime. Res64: CA817219594682D5 Time : 0.0 sec. user=mdettweiler [2016-01-03 13:50:44] 957*2^1418593-1 is not prime. Res64: 27A4E9D22B31F81C Time : 0.0 sec. user=mdettweiler [2016-01-03 13:50:44] 861*2^1418594-1 is not prime. Res64: 59565982BE3C0F5F Time : 0.0 sec. user=mdettweiler [2016-01-03 13:50:45] 979*2^1418593-1 is not prime. Res64: 44C0A3A9C3F83521 Time : 0.0 sec. user=mdettweiler [2016-01-03 14:08:18] 751*2^1418595-1 is not prime. Res64: 2E1C486E8CF0E997 Time : 0.0 sec. user=mdettweiler [2016-01-03 14:08:19] 903*2^1418594-1 is not prime. Res64: 66708B385A7FADA7 Time : 0.0 sec. user=mdettweiler [2016-01-03 14:08:23] 775*2^1418595-1 is not prime. Res64: 7AAFBD41D31FF9DD Time : 0.0 sec. user=mdettweiler [2016-01-03 14:08:24] 735*2^1418595-1 is not prime. Res64: 1C2CFD86811D7809 Time : 0.0 sec. user=mdettweiler [2016-01-03 14:26:43] 795*2^1418595-1 is not prime. Res64: E6F3319D488AE208 Time : 0.0 sec. user=mdettweiler [2016-01-03 14:26:43] 873*2^1418595-1 is not prime. Res64: 03DCF46201383E27 Time : 0.0 sec. user=mdettweiler [2016-01-03 14:26:45] 885*2^1418595-1 is not prime. Res64: F924CEA3936E8A0C Time : 0.0 sec. user=mdettweiler [2016-01-03 14:26:45] 943*2^1418595-1 is not prime. Res64: DD48939BE1A47C8E Time : 0.0 sec. user=mdettweiler [2016-01-03 14:44:32] 743*2^1418596-1 is not prime. Res64: BD7C75B2869F160C Time : 0.0 sec. user=mdettweiler [2016-01-03 14:44:32] 603*2^1418596-1 is not prime. Res64: EC2F99F0D87770F9 Time : 0.0 sec. user=mdettweiler [2016-01-03 14:44:32] 857*2^1418596-1 is not prime. Res64: EA9D08EC6186F134 Time : 0.0 sec. user=mdettweiler [2016-01-03 14:44:32] 705*2^1418596-1 is not prime. Res64: 35B2716BF3CF1B2F Time : 0.0 sec. user=mdettweiler [2016-01-03 15:04:51] 675*2^1418597-1 is not prime. Res64: D183BBC3C571AABE Time : 0.0 sec. user=mdettweiler [2016-01-03 15:04:53] 899*2^1418596-1 is not prime. Res64: 385F22766E009803 Time : 0.0 sec. user=mdettweiler [2016-01-03 15:04:54] 777*2^1418597-1 is not prime. Res64: 158FCDAD5DA0A487 Time : 0.0 sec. user=mdettweiler [2016-01-03 15:04:54] 927*2^1418596-1 is not prime. Res64: BE860D2071A77BBD Time : 0.0 sec. user=mdettweiler [2016-01-03 15:23:58] 879*2^1418597-1 is not prime. Res64: 21817D1EE54BA077 Time : 0.0 sec. user=mdettweiler [2016-01-03 15:23:58] 799*2^1418597-1 is not prime. Res64: A53CF5BCC4FFAE6E Time : 0.0 sec. user=mdettweiler [2016-01-03 15:23:58] 925*2^1418597-1 is not prime. Res64: CDFAA500DC43D1AA Time : 0.0 sec. user=mdettweiler [2016-01-03 15:23:58] 867*2^1418597-1 is not prime. Res64: 3FEA191ECD9C2172 Time : 0.0 sec. user=mdettweiler [2016-01-03 15:41:42] 683*2^1418598-1 is not prime. Res64: 64BEFAEF71113110 Time : 0.0 sec. user=mdettweiler [2016-01-03 15:41:42] 937*2^1418597-1 is not prime. Res64: 2097400652D2057A Time : 0.0 sec. user=mdettweiler [2016-01-03 15:41:42] 705*2^1418598-1 is not prime. Res64: AF706046FAE28454 Time : 0.0 sec. user=mdettweiler [2016-01-03 15:41:42] 635*2^1418598-1 is not prime. Res64: 544DED41CBFD64CC Time : 0.0 sec. user=mdettweiler [2016-01-03 15:59:21] 773*2^1418598-1 is not prime. Res64: 5FDA87B76CB43CFA Time : 0.0 sec. user=mdettweiler [2016-01-03 15:59:21] 645*2^1418599-1 is not prime. Res64: AEDDBF93E6314643 Time : 0.0 sec. user=mdettweiler [2016-01-03 15:59:21] 1001*2^1418598-1 is not prime. Res64: C3D78A6C64106580 Time : 0.0 sec. user=mdettweiler [2016-01-03 15:59:21] 649*2^1418599-1 is not prime. Res64: 89B16203328A0474 Time : 0.0 sec. user=mdettweiler [2016-01-03 16:17:08] 933*2^1418599-1 is not prime. Res64: 9DDFCAC6377F5062 Time : 0.0 sec. user=mdettweiler [2016-01-03 16:17:08] 609*2^1418600-1 is not prime. Res64: C504CE72442D0B07 Time : 0.0 sec. user=mdettweiler [2016-01-03 16:17:08] 681*2^1418599-1 is not prime. Res64: 6BD6A44C373E8805 Time : 0.0 sec. user=mdettweiler [2016-01-03 16:17:08] 723*2^1418599-1 is not prime. Res64: 6BA540E157048290 Time : 0.0 sec. user=mdettweiler [2016-01-03 16:35:02] 629*2^1418600-1 is not prime. Res64: E97299AAA8F9764B Time : 0.0 sec. user=mdettweiler [2016-01-03 16:35:02] 857*2^1418600-1 is not prime. Res64: 7BCCDD6EE88B8F80 Time : 0.0 sec. user=mdettweiler [2016-01-03 16:35:03] 635*2^1418600-1 is not prime. Res64: 5B15EA83238C5B45 Time : 0.0 sec. user=mdettweiler [2016-01-03 16:35:03] 935*2^1418600-1 is not prime. Res64: 2BE1E2A38BDC4E03 Time : 0.0 sec. user=mdettweiler [2016-01-03 16:52:42] 895*2^1418601-1 is not prime. Res64: 2106641CBA503CD6 Time : 0.0 sec. user=mdettweiler [2016-01-03 16:52:42] 637*2^1418601-1 is not prime. Res64: 3AC5DC3626148C27 Time : 0.0 sec. user=mdettweiler [2016-01-03 16:52:42] 999*2^1418601-1 is not prime. Res64: C8F145374DDE62C3 Time : 0.0 sec. user=mdettweiler [2016-01-03 16:52:43] 807*2^1418601-1 is not prime. Res64: 0751590B6C04A6A2 Time : 0.0 sec. user=mdettweiler [2016-01-03 17:10:26] 611*2^1418602-1 is not prime. Res64: ACBA2A5A138ED9AE Time : 0.0 sec. user=mdettweiler [2016-01-03 17:10:26] 657*2^1418602-1 is not prime. Res64: C664C3454FF3EEB4 Time : 0.0 sec. user=mdettweiler [2016-01-03 17:10:27] 675*2^1418602-1 is not prime. Res64: 8643FB1450A190BF Time : 0.0 sec. user=mdettweiler [2016-01-03 17:10:27] 681*2^1418602-1 is not prime. Res64: 98DBDBCD192ED5C8 Time : 0.0 sec. user=mdettweiler [2016-01-03 17:28:12] 713*2^1418602-1 is not prime. Res64: 6291B66F2B5CFB42 Time : 0.0 sec. user=mdettweiler [2016-01-03 17:28:12] 801*2^1418602-1 is not prime. Res64: F0B6C98241B29138 Time : 0.0 sec. user=mdettweiler [2016-01-03 17:28:12] 815*2^1418602-1 is not prime. Res64: 86F463881FB6C1C8 Time : 0.0 sec. user=mdettweiler [2016-01-03 17:28:13] 821*2^1418602-1 is not prime. Res64: 2777738289EF90F9 Time : 0.0 sec. user=mdettweiler [2016-01-03 17:45:53] 703*2^1418603-1 is not prime. Res64: D6A7B2EF78CCF23B Time : 0.0 sec. user=mdettweiler [2016-01-03 17:45:53] 753*2^1418603-1 is not prime. Res64: EF4B9FCB1934BB25 Time : 0.0 sec. user=mdettweiler [2016-01-03 17:45:54] 891*2^1418602-1 is not prime. Res64: BCBEE7619289177A Time : 0.0 sec. user=mdettweiler [2016-01-03 17:45:54] 699*2^1418603-1 is not prime. Res64: EA0A06C467C9B1DD Time : 0.0 sec. user=mdettweiler [2016-01-03 18:03:33] 859*2^1418603-1 is not prime. Res64: 897C95879E00B439 Time : 0.0 sec. user=mdettweiler [2016-01-03 18:03:33] 963*2^1418603-1 is not prime. Res64: A740D9F154C36247 Time : 0.0 sec. user=mdettweiler [2016-01-03 18:03:34] 939*2^1418603-1 is not prime. Res64: 11ECEA336864D96C Time : 0.0 sec. user=mdettweiler [2016-01-03 18:03:35] 985*2^1418603-1 is not prime. Res64: 301DBCF0B8F3ADF7 Time : 0.0 sec. user=mdettweiler [2016-01-03 18:21:31] 825*2^1418604-1 is not prime. Res64: F52A671EC546D769 Time : 0.0 sec. user=mdettweiler [2016-01-03 18:21:31] 959*2^1418604-1 is not prime. Res64: 5AB576305D712CCD Time : 0.0 sec. user=mdettweiler [2016-01-03 18:21:31] 749*2^1418604-1 is not prime. Res64: 560EF42EDAFE0869 Time : 0.0 sec. user=mdettweiler [2016-01-03 18:21:32] 753*2^1418604-1 is not prime. Res64: E812B58B8332587F Time : 0.0 sec. user=mdettweiler [2016-01-03 18:39:11] 729*2^1418605-1 is not prime. Res64: 2A0D8BC844E2C277 Time : 0.0 sec. user=mdettweiler [2016-01-03 18:39:11] 601*2^1418605-1 is not prime. Res64: BFC3837D11F11A55 Time : 0.0 sec. user=mdettweiler [2016-01-03 18:39:12] 801*2^1418605-1 is not prime. Res64: C3F98829271F825F Time : 0.0 sec. user=mdettweiler [2016-01-03 18:39:12] 667*2^1418605-1 is not prime. Res64: BCA09B42CEC5C7A2 Time : 0.0 sec. user=mdettweiler [2016-01-03 18:56:51] 925*2^1418605-1 is not prime. Res64: 0D58D87BBE72C803 Time : 0.0 sec. user=mdettweiler [2016-01-03 18:56:51] 939*2^1418605-1 is not prime. Res64: B7B6F5DF672F56E2 Time : 0.0 sec. user=mdettweiler [2016-01-03 18:56:52] 951*2^1418605-1 is not prime. Res64: 55B9B76E728A00B7 Time : 0.0 sec. user=mdettweiler [2016-01-03 18:56:52] 997*2^1418605-1 is not prime. Res64: F175E98216CF0D68 Time : 0.0 sec. user=mdettweiler [2016-01-03 19:14:34] 785*2^1418606-1 is not prime. Res64: 08CF95CAF2BDAC89 Time : 0.0 sec. user=mdettweiler [2016-01-03 19:14:34] 867*2^1418606-1 is not prime. Res64: CFE9A22627292A64 Time : 0.0 sec. user=mdettweiler [2016-01-03 19:14:35] 641*2^1418606-1 is not prime. Res64: BF6286CE231999E9 Time : 0.0 sec. user=mdettweiler [2016-01-03 19:14:35] 651*2^1418606-1 is not prime. Res64: BF82653C820AF446 Time : 0.0 sec. user=mdettweiler [2016-01-03 19:32:17] 875*2^1418606-1 is not prime. Res64: C506A5D27DEC78D2 Time : 0.0 sec. user=mdettweiler [2016-01-03 19:32:17] 981*2^1418606-1 is not prime. Res64: C4E37E20E4BED531 Time : 0.0 sec. user=mdettweiler [2016-01-03 19:32:17] 1001*2^1418606-1 is not prime. Res64: ED1A7FE282E5C8DB Time : 0.0 sec. user=mdettweiler [2016-01-03 19:32:18] 625*2^1418607-1 is not prime. Res64: 6310BA63B3F44C7C Time : 0.0 sec. user=mdettweiler [2016-01-03 19:49:52] 829*2^1418607-1 is not prime. Res64: 666C1A840345FD80 Time : 0.0 sec. user=mdettweiler [2016-01-03 19:49:53] 973*2^1418607-1 is not prime. Res64: AE408E865B07C4C9 Time : 0.0 sec. user=mdettweiler [2016-01-03 19:49:53] 975*2^1418607-1 is not prime. Res64: 0AC0753E119988FA Time : 0.0 sec. user=mdettweiler [2016-01-03 19:49:54] 687*2^1418608-1 is not prime. Res64: F6148374C4F5FCD2 Time : 0.0 sec. user=mdettweiler [2016-01-03 20:07:28] 723*2^1418608-1 is not prime. Res64: A29B180CFFAD718F Time : 0.0 sec. user=mdettweiler [2016-01-03 20:07:29] 833*2^1418608-1 is not prime. Res64: 50753156A96E7318 Time : 0.0 sec. user=mdettweiler [2016-01-03 20:07:29] 803*2^1418608-1 is not prime. Res64: 58F906804D25CF4A Time : 0.0 sec. user=mdettweiler [2016-01-03 20:07:29] 843*2^1418608-1 is not prime. Res64: D2767344470A8961 Time : 0.0 sec. user=mdettweiler [2016-01-03 20:25:07] 915*2^1418608-1 is not prime. Res64: FADC8FBE8B82DD4E Time : 0.0 sec. user=mdettweiler [2016-01-03 20:25:07] 897*2^1418608-1 is not prime. Res64: CE7445D1DA28F31E Time : 0.0 sec. user=mdettweiler [2016-01-03 20:25:08] 995*2^1418608-1 is not prime. Res64: C52D707DB3218DFE Time : 0.0 sec. user=mdettweiler [2016-01-03 20:25:08] 601*2^1418609-1 is not prime. Res64: 9F4B0559718F88AD Time : 0.0 sec. user=mdettweiler [2016-01-03 20:42:45] 795*2^1418609-1 is not prime. Res64: EFFF1A28E65C0F14 Time : 0.0 sec. user=mdettweiler [2016-01-03 20:42:45] 729*2^1418609-1 is not prime. Res64: F8BFAD5F4146954A Time : 0.0 sec. user=mdettweiler [2016-01-03 20:42:46] 819*2^1418609-1 is not prime. Res64: 4F84B893E9BDAB61 Time : 0.0 sec. user=mdettweiler [2016-01-03 20:42:46] 735*2^1418609-1 is not prime. Res64: 17411A99F8BAE818 Time : 0.0 sec. user=mdettweiler [2016-01-03 21:00:19] 829*2^1418609-1 is not prime. Res64: 496CA374993CD1B9 Time : 0.0 sec. user=mdettweiler [2016-01-03 21:00:20] 949*2^1418609-1 is not prime. Res64: 1BFEA8C8A86741D7 Time : 0.0 sec. user=mdettweiler [2016-01-03 21:00:21] 985*2^1418609-1 is not prime. Res64: ACBA071BDB77183E Time : 0.0 sec. user=mdettweiler [2016-01-03 21:00:21] 717*2^1418610-1 is not prime. Res64: 76F390A3E279DABC Time : 0.0 sec. user=mdettweiler [2016-01-03 21:17:54] 755*2^1418610-1 is not prime. Res64: A2D661A59A7C98AC Time : 0.0 sec. user=mdettweiler [2016-01-03 21:17:55] 801*2^1418610-1 is not prime. Res64: 2AC8769AF5E2B57A Time : 0.0 sec. user=mdettweiler [2016-01-03 21:17:55] 777*2^1418610-1 is not prime. Res64: 6E517E6401BF96DB Time : 0.0 sec. user=mdettweiler [2016-01-03 21:17:55] 803*2^1418610-1 is not prime. Res64: E3288D3F81E48E56 Time : 0.0 sec. user=mdettweiler [2016-01-03 21:35:27] 619*2^1418611-1 is not prime. Res64: A1A4844BBE6DE036 Time : 0.0 sec. user=mdettweiler [2016-01-03 21:35:28] 705*2^1418611-1 is not prime. Res64: 22B5039189C97119 Time : 0.0 sec. user=mdettweiler [2016-01-03 21:35:28] 887*2^1418610-1 is not prime. Res64: 470BB4897561B41A Time : 0.0 sec. user=mdettweiler [2016-01-03 21:35:29] 945*2^1418610-1 is not prime. Res64: F4A1B71E6BFCF1F9 Time : 0.0 sec. user=mdettweiler [2016-01-03 21:53:00] 871*2^1418611-1 is not prime. Res64: 4E4E6AE758ABFD39 Time : 0.0 sec. user=mdettweiler [2016-01-03 21:53:00] 943*2^1418611-1 is not prime. Res64: EFA9BF9AB4D9980F Time : 0.0 sec. user=mdettweiler [2016-01-03 21:53:00] 909*2^1418611-1 is not prime. Res64: E9B41EA4F5E89EA0 Time : 0.0 sec. user=mdettweiler [2016-01-03 21:53:01] 975*2^1418611-1 is not prime. Res64: 03AE0C44B4CFB3D4 Time : 0.0 sec. user=mdettweiler [2016-01-03 22:10:36] 993*2^1418611-1 is not prime. Res64: D12B8602B42FD9C5 Time : 0.0 sec. user=mdettweiler [2016-01-03 22:10:37] 623*2^1418612-1 is not prime. Res64: 60C5B5267E64176D Time : 0.0 sec. user=mdettweiler [2016-01-03 22:10:37] 665*2^1418612-1 is not prime. Res64: 0E0A4DBFE77E7CD5 Time : 0.0 sec. user=mdettweiler [2016-01-03 22:10:37] 689*2^1418612-1 is not prime. Res64: BBABADB84E88D021 Time : 0.0 sec. user=mdettweiler [2016-01-03 22:28:10] 699*2^1418612-1 is not prime. Res64: 82F62A536E4E2C80 Time : 0.0 sec. user=mdettweiler [2016-01-03 22:28:11] 735*2^1418612-1 is not prime. Res64: D4393487D578B973 Time : 0.0 sec. user=mdettweiler [2016-01-03 22:28:11] 725*2^1418612-1 is not prime. Res64: F06E492294052FAE Time : 0.0 sec. user=mdettweiler [2016-01-03 22:28:11] 785*2^1418612-1 is not prime. Res64: 026C06D192CBFEAF Time : 0.0 sec. user=mdettweiler [2016-01-03 22:45:50] 875*2^1418612-1 is not prime. Res64: AF991542C1F7B1FC Time : 0.0 sec. user=mdettweiler [2016-01-03 22:45:51] 903*2^1418612-1 is not prime. Res64: D24FD9D31A06B70A Time : 0.0 sec. user=mdettweiler [2016-01-03 22:45:51] 797*2^1418612-1 is not prime. Res64: 8C8DA8C176C24248 Time : 0.0 sec. user=mdettweiler [2016-01-03 22:45:51] 825*2^1418612-1 is not prime. Res64: D7ABCCD70B3E6943 Time : 0.0 sec. user=mdettweiler [2016-01-03 23:03:25] 829*2^1418613-1 is not prime. Res64: 74778752D7F83124 Time : 0.0 sec. user=mdettweiler [2016-01-03 23:03:26] 957*2^1418612-1 is not prime. Res64: 7614E470E81A9E1B Time : 0.0 sec. user=mdettweiler [2016-01-03 23:03:28] 837*2^1418613-1 is not prime. Res64: C9F90AFD2C520DD8 Time : 0.0 sec. user=mdettweiler [2016-01-03 23:03:30] 765*2^1418613-1 is not prime. Res64: E3483DDF78B533B5 Time : 0.0 sec. user=mdettweiler [2016-01-03 23:21:19] 861*2^1418613-1 is not prime. Res64: C0C929DC5BA2A2BE Time : 0.0 sec. user=mdettweiler [2016-01-03 23:21:19] 877*2^1418613-1 is not prime. Res64: 024796133D95E20E Time : 0.0 sec. user=mdettweiler [2016-01-03 23:21:20] 891*2^1418613-1 is not prime. Res64: 0EAED7C0E12F3DB7 Time : 0.0 sec. user=mdettweiler [2016-01-03 23:21:20] 871*2^1418613-1 is not prime. Res64: 8AA807BE6D3FE58E Time : 0.0 sec. user=mdettweiler [2016-01-03 23:38:55] 687*2^1418614-1 is not prime. Res64: 6741F796F8A67517 Time : 0.0 sec. user=mdettweiler [2016-01-03 23:38:56] 951*2^1418614-1 is not prime. Res64: 15C822F08AAA3EC8 Time : 0.0 sec. user=mdettweiler [2016-01-03 23:38:56] 885*2^1418614-1 is not prime. Res64: 2B125AF311962540 Time : 0.0 sec. user=mdettweiler [2016-01-03 23:38:56] 971*2^1418614-1 is not prime. Res64: D06B870E4ED87F79 Time : 0.0 sec. user=mdettweiler [2016-01-03 23:56:29] 983*2^1418614-1 is not prime. Res64: 13D77B271337DFEF Time : 0.0 sec. user=mdettweiler [2016-01-03 23:56:30] 619*2^1418615-1 is not prime. Res64: C527387BCA92A2DB Time : 0.0 sec. user=mdettweiler [2016-01-03 23:56:31] 675*2^1418615-1 is not prime. Res64: 6CCB6C58A0E4CA38 Time : 0.0 sec. user=mdettweiler [2016-01-03 23:56:32] 685*2^1418615-1 is not prime. Res64: 77A4C38711C8964F Time : 0.0 sec.