user=mdettweiler [2016-01-13 00:18:05] 867*2^1419176-1 is not prime. Res64: FC680373D42A53ED Time : 0.0 sec. user=mdettweiler [2016-01-13 00:18:05] 625*2^1419177-1 is not prime. Res64: 69F1F965102DC0B3 Time : 0.0 sec. user=mdettweiler [2016-01-13 00:18:06] 751*2^1419177-1 is not prime. Res64: 52993355D59A3663 Time : 0.0 sec. user=mdettweiler [2016-01-13 00:18:06] 895*2^1419177-1 is not prime. Res64: E271DA6ABD75AEDD Time : 0.0 sec. user=mdettweiler [2016-01-13 00:18:22] 979*2^1419177-1 is not prime. Res64: A4C91B126028B9C6 Time : 0.0 sec. user=mdettweiler [2016-01-13 00:18:22] 605*2^1419178-1 is not prime. Res64: 40DA9227F3017F4D Time : 0.0 sec. user=mdettweiler [2016-01-13 00:35:38] 617*2^1419178-1 is not prime. Res64: 3EC712A481877D80 Time : 0.0 sec. user=mdettweiler [2016-01-13 00:35:38] 705*2^1419178-1 is not prime. Res64: A504886315A5CFB0 Time : 0.0 sec. user=mdettweiler [2016-01-13 00:35:41] 723*2^1419178-1 is not prime. Res64: 055229C5012290B6 Time : 0.0 sec. user=mdettweiler [2016-01-13 00:35:41] 777*2^1419178-1 is not prime. Res64: C91AD34041F0F17E Time : 0.0 sec. user=mdettweiler [2016-01-13 00:35:52] 801*2^1419178-1 is not prime. Res64: E5199750502739FA Time : 0.0 sec. user=mdettweiler [2016-01-13 00:35:52] 813*2^1419178-1 is not prime. Res64: 1A73A468CA29FDB5 Time : 0.0 sec. user=mdettweiler [2016-01-13 00:53:09] 833*2^1419178-1 is not prime. Res64: 0EAA85ECCAD14414 Time : 0.0 sec. user=mdettweiler [2016-01-13 00:53:09] 867*2^1419178-1 is not prime. Res64: 084DFD7396E415EE Time : 0.0 sec. user=mdettweiler [2016-01-13 00:53:11] 891*2^1419178-1 is not prime. Res64: 81D2592F962EB249 Time : 0.0 sec. user=mdettweiler [2016-01-13 00:53:11] 911*2^1419178-1 is not prime. Res64: CB766090DB339395 Time : 0.0 sec. user=mdettweiler [2016-01-13 00:53:23] 933*2^1419178-1 is not prime. Res64: 82C97DBFE9793112 Time : 0.0 sec. user=mdettweiler [2016-01-13 00:53:23] 987*2^1419178-1 is not prime. Res64: 1E4AA1F0013614B7 Time : 0.0 sec. user=mdettweiler [2016-01-13 01:10:40] 619*2^1419179-1 is not prime. Res64: 8CA8D1DD2987B52A Time : 0.0 sec. user=mdettweiler [2016-01-13 01:10:40] 621*2^1419179-1 is not prime. Res64: C3E378EF19A2A189 Time : 0.0 sec. user=mdettweiler [2016-01-13 01:10:41] 685*2^1419179-1 is not prime. Res64: 79CCD6C64AEBEE55 Time : 0.0 sec. user=mdettweiler [2016-01-13 01:10:42] 703*2^1419179-1 is not prime. Res64: C80E7B3C22DECD3B Time : 0.0 sec. user=mdettweiler [2016-01-13 01:10:55] 741*2^1419179-1 is not prime. Res64: BE60335C92AE9655 Time : 0.0 sec. user=mdettweiler [2016-01-13 01:10:55] 753*2^1419179-1 is not prime. Res64: D4674C8A015F6059 Time : 0.0 sec. user=mdettweiler [2016-01-13 01:28:26] 859*2^1419179-1 is not prime. Res64: 3C7820402DF76AF2 Time : 0.0 sec. user=mdettweiler [2016-01-13 01:28:29] 955*2^1419179-1 is not prime. Res64: 42ADC8E9017FD3F0 Time : 0.0 sec. user=mdettweiler [2016-01-13 01:28:30] 913*2^1419179-1 is not prime. Res64: C85DA03B30568255 Time : 0.0 sec. user=mdettweiler [2016-01-13 01:28:31] 931*2^1419179-1 is not prime. Res64: 59D15F7FE354E018 Time : 0.0 sec. user=mdettweiler [2016-01-13 01:28:36] 979*2^1419179-1 is not prime. Res64: A5FE2D024065255D Time : 0.0 sec. user=mdettweiler [2016-01-13 01:28:39] 707*2^1419180-1 is not prime. Res64: 0ADEA0921595EF0C Time : 0.0 sec. user=mdettweiler [2016-01-13 01:46:22] 819*2^1419180-1 is not prime. Res64: D1F404742687A10C Time : 0.0 sec. user=mdettweiler [2016-01-13 01:46:22] 825*2^1419180-1 is not prime. Res64: 7794158054BE8DF3 Time : 0.0 sec. user=mdettweiler [2016-01-13 01:46:23] 867*2^1419180-1 is not prime. Res64: 9AD71711EA5AAF63 Time : 0.0 sec. user=mdettweiler [2016-01-13 01:46:24] 927*2^1419180-1 is not prime. Res64: 6B7F18833C2DB175 Time : 0.0 sec. user=mdettweiler [2016-01-13 01:46:25] 965*2^1419180-1 is not prime. Res64: C381798D7C51F78B Time : 0.0 sec. user=mdettweiler [2016-01-13 01:46:26] 975*2^1419180-1 is not prime. Res64: EE2CA069F4B7F62C Time : 0.0 sec. user=mdettweiler [2016-01-13 02:03:56] 649*2^1419181-1 is not prime. Res64: B5AEDC5F5B861915 Time : 0.0 sec. user=mdettweiler [2016-01-13 02:03:58] 979*2^1419181-1 is not prime. Res64: C5CC8CB9BCC1E096 Time : 0.0 sec. user=mdettweiler [2016-01-13 02:03:58] 801*2^1419181-1 is not prime. Res64: 2C9F2A61C9F145D2 Time : 0.0 sec. user=mdettweiler [2016-01-13 02:03:59] 713*2^1419182-1 is not prime. Res64: 0BFC55789FBA7208 Time : 0.0 sec. user=mdettweiler [2016-01-13 02:04:00] 831*2^1419182-1 is not prime. Res64: 7FFE503566281220 Time : 0.0 sec. user=mdettweiler [2016-01-13 02:04:01] 923*2^1419182-1 is not prime. Res64: 1E18461FC0D4BFF6 Time : 0.0 sec. user=mdettweiler [2016-01-13 02:22:42] 1001*2^1419182-1 is not prime. Res64: A191F53741004D39 Time : 0.0 sec. user=mdettweiler [2016-01-13 02:22:42] 625*2^1419183-1 is not prime. Res64: 22599952B145F62B Time : 0.0 sec. user=mdettweiler [2016-01-13 02:22:44] 685*2^1419183-1 is not prime. Res64: 843F071A8FC7FCCA Time : 0.0 sec. user=mdettweiler [2016-01-13 02:22:45] 769*2^1419183-1 is not prime. Res64: 6715065C8AE189E8 Time : 0.0 sec. user=mdettweiler [2016-01-13 02:22:55] 819*2^1419183-1 is not prime. Res64: 58DF3A78294FCD8F Time : 0.0 sec. user=mdettweiler [2016-01-13 02:22:56] 849*2^1419183-1 is not prime. Res64: C7EAA4831A87BEF3 Time : 0.0 sec. user=mdettweiler [2016-01-13 02:40:17] 765*2^1419184-1 is not prime. Res64: 036417985533D3DD Time : 0.0 sec. user=mdettweiler [2016-01-13 02:40:17] 929*2^1419184-1 is not prime. Res64: 529835432DFC9C8A Time : 0.0 sec. user=mdettweiler [2016-01-13 02:40:18] 863*2^1419184-1 is not prime. Res64: A87F4745D7FA3B47 Time : 0.0 sec. user=mdettweiler [2016-01-13 02:40:18] 947*2^1419184-1 is not prime. Res64: 693F07FCA77D58F6 Time : 0.0 sec. user=mdettweiler [2016-01-13 02:40:29] 983*2^1419184-1 is not prime. Res64: A4008D48F3BF42A9 Time : 0.0 sec. user=mdettweiler [2016-01-13 02:40:30] 989*2^1419184-1 is not prime. Res64: AFDC630C946E9BCD Time : 0.0 sec. user=mdettweiler [2016-01-13 02:57:59] 705*2^1419185-1 is not prime. Res64: C4AFC88E92F49436 Time : 0.0 sec. user=mdettweiler [2016-01-13 02:58:00] 775*2^1419185-1 is not prime. Res64: 977BB06EAD857618 Time : 0.0 sec. user=mdettweiler [2016-01-13 02:58:01] 993*2^1419184-1 is not prime. Res64: 0B7E33BA157EBDF0 Time : 0.0 sec. user=mdettweiler [2016-01-13 02:58:01] 995*2^1419184-1 is not prime. Res64: F3FCBF268679AC6C Time : 0.0 sec. user=mdettweiler [2016-01-13 02:58:10] 795*2^1419185-1 is not prime. Res64: AAC8E929BA35BB63 Time : 0.0 sec. user=mdettweiler [2016-01-13 02:58:11] 819*2^1419185-1 is not prime. Res64: BF2E72DA889556A6 Time : 0.0 sec. user=mdettweiler [2016-01-13 03:15:37] 861*2^1419185-1 is not prime. Res64: 5378634B25442BD9 Time : 0.0 sec. user=mdettweiler [2016-01-13 03:15:38] 867*2^1419185-1 is not prime. Res64: 957DD99D6B4DE365 Time : 0.0 sec. user=mdettweiler [2016-01-13 03:15:40] 885*2^1419185-1 is not prime. Res64: 5E3B26FEEC860A22 Time : 0.0 sec. user=mdettweiler [2016-01-13 03:15:41] 951*2^1419185-1 is not prime. Res64: C74D5E1D8D637525 Time : 0.0 sec. user=mdettweiler [2016-01-13 03:15:50] 987*2^1419185-1 is not prime. Res64: 00F7CB32893DE19A Time : 0.0 sec. user=mdettweiler [2016-01-13 03:15:51] 633*2^1419186-1 is not prime. Res64: D827F805D78776AA Time : 0.0 sec. user=mdettweiler [2016-01-13 03:33:15] 671*2^1419186-1 is not prime. Res64: AF41FC5B218A771A Time : 0.0 sec. user=mdettweiler [2016-01-13 03:33:17] 725*2^1419186-1 is not prime. Res64: 40C361539E3FD985 Time : 0.0 sec. user=mdettweiler [2016-01-13 03:33:19] 737*2^1419186-1 is not prime. Res64: 2568ED4C40F38AE2 Time : 0.0 sec. user=mdettweiler [2016-01-13 03:33:21] 873*2^1419186-1 is not prime. Res64: F4D6515CCFA6CDAD Time : 0.0 sec. user=mdettweiler [2016-01-13 03:33:31] 975*2^1419186-1 is not prime. Res64: CD7741F8D58E3271 Time : 0.0 sec. user=mdettweiler [2016-01-13 03:33:33] 759*2^1419187-1 is not prime. Res64: 6ED1B4F3A0941724 Time : 0.0 sec. user=mdettweiler [2016-01-13 03:51:09] 843*2^1419187-1 is not prime. Res64: 98FD0B6447C88C4C Time : 0.0 sec. user=mdettweiler [2016-01-13 03:51:11] 629*2^1419188-1 is not prime. Res64: FBF4852D62528DF1 Time : 0.0 sec. user=mdettweiler [2016-01-13 03:51:12] 687*2^1419188-1 is not prime. Res64: 4C4A20128C3400DD Time : 0.0 sec. user=mdettweiler [2016-01-13 03:51:13] 919*2^1419187-1 is not prime. Res64: 3E0DC5CFDF621A34 Time : 0.0 sec. user=mdettweiler [2016-01-13 03:51:13] 753*2^1419188-1 is not prime. Res64: 633BDC6BC05990EE Time : 0.0 sec. user=mdettweiler [2016-01-13 03:51:14] 993*2^1419187-1 is not prime. Res64: 8DB12B322FB3E66E Time : 0.0 sec. user=mdettweiler [2016-01-13 04:09:05] 923*2^1419188-1 is not prime. Res64: 96ADA13C5B69A065 Time : 0.0 sec. user=mdettweiler [2016-01-13 04:09:05] 655*2^1419189-1 is not prime. Res64: EB595C220034E401 Time : 0.0 sec. user=mdettweiler [2016-01-13 04:09:05] 969*2^1419188-1 is not prime. Res64: E6F6FAD8ABA28E84 Time : 0.0 sec. user=mdettweiler [2016-01-13 04:09:07] 993*2^1419188-1 is not prime. Res64: E8292C53F7F79EDE Time : 0.0 sec. user=mdettweiler [2016-01-13 04:09:07] 657*2^1419189-1 is not prime. Res64: C27BE8B4B024A800 Time : 0.0 sec. user=mdettweiler [2016-01-13 04:09:07] 661*2^1419189-1 is not prime. Res64: 5A0CF15C55935A79 Time : 0.0 sec. user=mdettweiler [2016-01-13 04:26:49] 975*2^1419189-1 is not prime. Res64: CA7C2EFD59343974 Time : 0.0 sec. user=mdettweiler [2016-01-13 04:26:50] 721*2^1419189-1 is not prime. Res64: 0366E4B9E5AEF184 Time : 0.0 sec. user=mdettweiler [2016-01-13 04:26:50] 829*2^1419189-1 is not prime. Res64: B64059E782A31DE4 Time : 0.0 sec. user=mdettweiler [2016-01-13 04:26:50] 645*2^1419190-1 is not prime. Res64: 50B2A96987BA5B43 Time : 0.0 sec. user=mdettweiler [2016-01-13 04:26:51] 727*2^1419189-1 is not prime. Res64: 0EDA985BCEB289AC Time : 0.0 sec. user=mdettweiler [2016-01-13 04:26:51] 907*2^1419189-1 is not prime. Res64: 8C9DD10CC352EF3A Time : 0.0 sec. user=mdettweiler [2016-01-13 04:44:32] 975*2^1419190-1 is not prime. Res64: A80193EB984F849B Time : 0.0 sec. user=mdettweiler [2016-01-13 04:44:32] 717*2^1419190-1 is not prime. Res64: 3F026C7202596CEC Time : 0.0 sec. user=mdettweiler [2016-01-13 04:44:33] 861*2^1419190-1 is not prime. Res64: 97DCEB69BBA6E16E Time : 0.0 sec. user=mdettweiler [2016-01-13 04:44:33] 995*2^1419190-1 is not prime. Res64: 2AD42D3A43196C5D Time : 0.0 sec. user=mdettweiler [2016-01-13 04:44:33] 731*2^1419190-1 is not prime. Res64: 2EBC27DB3ECFCC44 Time : 0.0 sec. user=mdettweiler [2016-01-13 04:44:34] 863*2^1419190-1 is not prime. Res64: 52F8C5EBCE2D0699 Time : 0.0 sec. user=mdettweiler [2016-01-13 05:02:11] 765*2^1419192-1 is not prime. Res64: C8F827A5E5886901 Time : 0.0 sec. user=mdettweiler [2016-01-13 05:02:11] 855*2^1419191-1 is not prime. Res64: BFE3C8CC13C42719 Time : 0.0 sec. user=mdettweiler [2016-01-13 05:02:13] 921*2^1419191-1 is not prime. Res64: 914FCD9DC34C7D87 Time : 0.0 sec. user=mdettweiler [2016-01-13 05:02:13] 903*2^1419192-1 is not prime. Res64: 972F1DD4ABDFDCE1 Time : 0.0 sec. user=mdettweiler [2016-01-13 05:02:17] 623*2^1419192-1 is not prime. Res64: 10230DE3F7C8AEE3 Time : 0.0 sec. user=mdettweiler [2016-01-13 05:02:18] 737*2^1419192-1 is not prime. Res64: 96BD844EC84B5570 Time : 0.0 sec. user=mdettweiler [2016-01-13 05:20:04] 687*2^1419193-1 is not prime. Res64: 3C5305FE6D633D4E Time : 0.0 sec. user=mdettweiler [2016-01-13 05:20:05] 625*2^1419193-1 is not prime. Res64: D57D0AFF30EC2D6A Time : 0.0 sec. user=mdettweiler [2016-01-13 05:20:05] 705*2^1419193-1 is not prime. Res64: 8D64C71E19D72E75 Time : 0.0 sec. user=mdettweiler [2016-01-13 05:20:06] 681*2^1419193-1 is not prime. Res64: D394575D89056B64 Time : 0.0 sec. user=mdettweiler [2016-01-13 05:20:07] 945*2^1419192-1 is not prime. Res64: 4EB0FAD6E78CA91E Time : 0.0 sec. user=mdettweiler [2016-01-13 05:20:08] 609*2^1419193-1 is not prime. Res64: 75DB1094F30E4743 Time : 0.0 sec. user=mdettweiler [2016-01-13 05:37:43] 615*2^1419194-1 is not prime. Res64: D2695E4D2E324FA4 Time : 0.0 sec. user=mdettweiler [2016-01-13 05:37:44] 671*2^1419194-1 is not prime. Res64: 8ED468C438D529DF Time : 0.0 sec. user=mdettweiler [2016-01-13 05:37:46] 721*2^1419193-1 is not prime. Res64: CE05BD0654A1AB6C Time : 0.0 sec. user=mdettweiler [2016-01-13 05:37:46] 707*2^1419194-1 is not prime. Res64: C1ADDAAF7C3307D7 Time : 0.0 sec. user=mdettweiler [2016-01-13 05:37:47] 605*2^1419194-1 is not prime. Res64: 92F2E57104339C58 Time : 0.0 sec. user=mdettweiler [2016-01-13 05:37:47] 791*2^1419194-1 is not prime. Res64: DC965D834CF69CB6 Time : 0.0 sec. user=mdettweiler [2016-01-13 05:55:22] 815*2^1419194-1 is not prime. Res64: D0EC7414A288CAE4 Time : 0.0 sec. user=mdettweiler [2016-01-13 05:55:23] 827*2^1419194-1 is not prime. Res64: E60E4385215775D1 Time : 0.0 sec. user=mdettweiler [2016-01-13 05:55:24] 981*2^1419194-1 is not prime. Res64: 404151DAFD2B314E Time : 0.0 sec. user=mdettweiler [2016-01-13 05:55:25] 987*2^1419194-1 is not prime. Res64: 97B38DA2CC83CF3A Time : 0.0 sec. user=mdettweiler [2016-01-13 05:55:26] 831*2^1419194-1 is not prime. Res64: 392EB3B3A02F3DAC Time : 0.0 sec. user=mdettweiler [2016-01-13 05:55:27] 923*2^1419194-1 is not prime. Res64: 76F58BC6CE4240A6 Time : 0.0 sec. user=mdettweiler [2016-01-13 06:13:03] 685*2^1419195-1 is not prime. Res64: 443A12FCAF7A1259 Time : 0.0 sec. user=mdettweiler [2016-01-13 06:13:03] 963*2^1419195-1 is not prime. Res64: DC116BC662B62AAD Time : 0.0 sec. user=mdettweiler [2016-01-13 06:13:04] 961*2^1419195-1 is not prime. Res64: 34E2190700613C9D Time : 0.0 sec. user=mdettweiler [2016-01-13 06:13:04] 973*2^1419195-1 is not prime. Res64: FCD516A4CD16AFAC Time : 0.0 sec. user=mdettweiler [2016-01-13 06:13:07] 603*2^1419196-1 is not prime. Res64: 5C0BC5FB879DC0D3 Time : 0.0 sec. user=mdettweiler [2016-01-13 06:13:08] 773*2^1419196-1 is not prime. Res64: B091BC79A735467A Time : 0.0 sec. user=mdettweiler [2016-01-13 06:30:46] 803*2^1419196-1 is not prime. Res64: 0DB6553728953688 Time : 0.0 sec. user=mdettweiler [2016-01-13 06:30:47] 857*2^1419196-1 is not prime. Res64: 77CE3076D129188B Time : 0.0 sec. user=mdettweiler [2016-01-13 06:30:48] 759*2^1419197-1 is not prime. Res64: 402DB5F8580DEE25 Time : 0.0 sec. user=mdettweiler [2016-01-13 06:30:48] 989*2^1419196-1 is not prime. Res64: DE98E4062E723C96 Time : 0.0 sec. user=mdettweiler [2016-01-13 06:30:49] 867*2^1419197-1 is not prime. Res64: EF158355048CDDB7 Time : 0.0 sec. user=mdettweiler [2016-01-13 06:30:49] 615*2^1419197-1 is not prime. Res64: 8D0E14E3294D8065 Time : 0.0 sec. user=mdettweiler [2016-01-13 06:48:26] 767*2^1419198-1 is not prime. Res64: 568F342FADB08D2F Time : 0.0 sec. user=mdettweiler [2016-01-13 06:48:27] 741*2^1419199-1 is not prime. Res64: EDCE58F2BE56DF26 Time : 0.0 sec. user=mdettweiler [2016-01-13 06:48:27] 925*2^1419197-1 is not prime. Res64: 2391EC06AF63C3F9 Time : 0.0 sec. user=mdettweiler [2016-01-13 06:48:28] 663*2^1419198-1 is not prime. Res64: 9D3E090CFE36E72C Time : 0.0 sec. user=mdettweiler [2016-01-13 06:48:28] 967*2^1419197-1 is not prime. Res64: 2B8CDC6404FCE78A Time : 0.0 sec. user=mdettweiler [2016-01-13 06:48:29] 765*2^1419198-1 is not prime. Res64: AF7F6DD4D41C2C85 Time : 0.0 sec. user=mdettweiler [2016-01-13 07:06:05] 759*2^1419199-1 is not prime. Res64: 18E718928A03C939 Time : 0.0 sec. user=mdettweiler [2016-01-13 07:06:05] 943*2^1419199-1 is not prime. Res64: 7B8E1760344F6C51 Time : 0.0 sec. user=mdettweiler [2016-01-13 07:06:05] 979*2^1419199-1 is not prime. Res64: 5B2E6451663815B1 Time : 0.0 sec. user=mdettweiler [2016-01-13 07:06:07] 615*2^1419200-1 is not prime. Res64: E75785949B0407C2 Time : 0.0 sec. user=mdettweiler [2016-01-13 07:06:09] 961*2^1419199-1 is not prime. Res64: 709BBD37747246E7 Time : 0.0 sec. user=mdettweiler [2016-01-13 07:06:09] 919*2^1419199-1 is not prime. Res64: 04CFC8F6B795FBF2 Time : 0.0 sec. user=mdettweiler [2016-01-13 07:24:14] 665*2^1419200-1 is not prime. Res64: 5910040EB818605E Time : 0.0 sec. user=mdettweiler [2016-01-13 07:24:15] 669*2^1419200-1 is not prime. Res64: 990FE0A63C4D9DA9 Time : 0.0 sec. user=mdettweiler [2016-01-13 07:24:16] 743*2^1419200-1 is not prime. Res64: DB133E990ABDD4AB Time : 0.0 sec. user=mdettweiler [2016-01-13 07:24:17] 767*2^1419200-1 is not prime. Res64: DE70F8C9655A9A97 Time : 0.0 sec. user=mdettweiler [2016-01-13 07:24:17] 897*2^1419200-1 is not prime. Res64: 20F94238412236A8 Time : 0.0 sec. user=mdettweiler [2016-01-13 07:24:18] 711*2^1419201-1 is not prime. Res64: 685616F3AD169E05 Time : 0.0 sec. user=mdettweiler [2016-01-13 07:41:56] 727*2^1419201-1 is not prime. Res64: D7801F681D3A3CC0 Time : 0.0 sec. user=mdettweiler [2016-01-13 07:41:56] 817*2^1419201-1 is not prime. Res64: 82FC70B4A78884E9 Time : 0.0 sec. user=mdettweiler [2016-01-13 07:41:57] 781*2^1419201-1 is not prime. Res64: 3E1F2E20882948CC Time : 0.0 sec. user=mdettweiler [2016-01-13 07:41:57] 937*2^1419201-1 is not prime. Res64: A15E747909E2B73E Time : 0.0 sec. user=mdettweiler [2016-01-13 07:41:57] 999*2^1419201-1 is not prime. Res64: 4C85162F18F8D08A Time : 0.0 sec. user=mdettweiler [2016-01-13 07:41:58] 633*2^1419202-1 is not prime. Res64: 39F9BD80C20179A3 Time : 0.0 sec. user=mdettweiler [2016-01-13 07:59:37] 677*2^1419202-1 is not prime. Res64: D85487D0D5FF5BF6 Time : 0.0 sec. user=mdettweiler [2016-01-13 07:59:37] 681*2^1419202-1 is not prime. Res64: 577BFEBABA6371F6 Time : 0.0 sec. user=mdettweiler [2016-01-13 07:59:39] 695*2^1419202-1 is not prime. Res64: 32D78B4B7AB97725 Time : 0.0 sec. user=mdettweiler [2016-01-13 07:59:40] 917*2^1419202-1 is not prime. Res64: 44C4862BECE33CA5 Time : 0.0 sec. user=mdettweiler [2016-01-13 07:59:41] 923*2^1419202-1 is not prime. Res64: 3B0133CBC9E47037 Time : 0.0 sec. user=mdettweiler [2016-01-13 07:59:42] 975*2^1419202-1 is not prime. Res64: F36DE231CA12BB4D Time : 0.0 sec. user=mdettweiler [2016-01-13 08:17:16] 643*2^1419203-1 is not prime. Res64: C9CAC74F5459812A Time : 0.0 sec. user=mdettweiler [2016-01-13 08:17:17] 987*2^1419202-1 is not prime. Res64: B8CD3FDFCC75C258 Time : 0.0 sec. user=mdettweiler [2016-01-13 08:17:17] 669*2^1419203-1 is not prime. Res64: 8B38C15F9600374C Time : 0.0 sec. user=mdettweiler [2016-01-13 08:17:17] 735*2^1419203-1 is not prime. Res64: 4D91138779DEE16F Time : 0.0 sec. user=mdettweiler [2016-01-13 08:17:18] 621*2^1419203-1 is not prime. Res64: 6EB6D3920234F970 Time : 0.0 sec. user=mdettweiler [2016-01-13 08:17:18] 825*2^1419203-1 is not prime. Res64: 98249E01D0AF7F58 Time : 0.0 sec. user=mdettweiler [2016-01-13 08:34:58] 859*2^1419203-1 is not prime. Res64: 308E123B30FC531F Time : 0.0 sec. user=mdettweiler [2016-01-13 08:34:58] 991*2^1419203-1 is not prime. Res64: 5CB2B26AF6ECEC1D Time : 0.0 sec. user=mdettweiler [2016-01-13 08:34:58] 753*2^1419204-1 is not prime. Res64: D9C97B8D8E6530C7 Time : 0.0 sec. user=mdettweiler [2016-01-13 08:34:59] 863*2^1419204-1 is not prime. Res64: 14473077E0E37A87 Time : 0.0 sec. user=mdettweiler [2016-01-13 08:35:00] 993*2^1419203-1 is not prime. Res64: A997809E786D5124 Time : 0.0 sec. user=mdettweiler [2016-01-13 08:35:01] 707*2^1419204-1 is not prime. Res64: 8CE42193C0FCD3F4 Time : 0.0 sec. user=mdettweiler [2016-01-13 08:52:33] 903*2^1419204-1 is not prime. Res64: EC8BDCEFED97E43F Time : 0.0 sec. user=mdettweiler [2016-01-13 08:52:34] 909*2^1419204-1 is not prime. Res64: ACFEBDC9BD68FFE5 Time : 0.0 sec. user=mdettweiler [2016-01-13 08:52:35] 965*2^1419204-1 is not prime. Res64: AB6675DCA9995DC5 Time : 0.0 sec. user=mdettweiler [2016-01-13 08:52:36] 619*2^1419205-1 is not prime. Res64: 205CB05EFCAB4859 Time : 0.0 sec. user=mdettweiler [2016-01-13 08:52:41] 645*2^1419205-1 is not prime. Res64: 8667567B9D1125CA Time : 0.0 sec. user=mdettweiler [2016-01-13 08:52:42] 661*2^1419205-1 is not prime. Res64: 68E5DAB92FD1FC99 Time : 0.0 sec. user=mdettweiler [2016-01-13 09:10:12] 715*2^1419205-1 is not prime. Res64: 17DBEE7E09C379FD Time : 0.0 sec. user=mdettweiler [2016-01-13 09:10:13] 615*2^1419206-1 is not prime. Res64: 91AA30C1AB83890D Time : 0.0 sec. user=mdettweiler [2016-01-13 09:10:16] 627*2^1419206-1 is not prime. Res64: E79216B4092A05BC Time : 0.0 sec. user=mdettweiler [2016-01-13 09:10:16] 645*2^1419206-1 is not prime. Res64: B038E3EBA783A86C Time : 0.0 sec. user=mdettweiler [2016-01-13 09:10:20] 825*2^1419206-1 is not prime. Res64: 6AEF1E0A3227036A Time : 0.0 sec. user=mdettweiler [2016-01-13 09:10:21] 831*2^1419206-1 is not prime. Res64: B6479620D8586D44 Time : 0.0 sec. user=mdettweiler [2016-01-13 09:27:52] 873*2^1419206-1 is not prime. Res64: FAF026703F5958B3 Time : 0.0 sec. user=mdettweiler [2016-01-13 09:27:52] 1001*2^1419206-1 is not prime. Res64: EFA75C896E4CC7E2 Time : 0.0 sec. user=mdettweiler [2016-01-13 09:27:52] 875*2^1419206-1 is not prime. Res64: 2EAC7907A814DF5B Time : 0.0 sec. user=mdettweiler [2016-01-13 09:27:52] 601*2^1419207-1 is not prime. Res64: 0B54D428A28EEC70 Time : 0.0 sec. user=mdettweiler [2016-01-13 09:27:55] 615*2^1419207-1 is not prime. Res64: 0FDA53EFEE93D127 Time : 0.0 sec. user=mdettweiler [2016-01-13 09:27:55] 705*2^1419207-1 is not prime. Res64: 88D5331CE81A0526 Time : 0.0 sec. user=mdettweiler [2016-01-13 09:45:21] 751*2^1419207-1 is not prime. Res64: CAFD397BF5D520E5 Time : 0.0 sec. user=mdettweiler [2016-01-13 09:45:22] 831*2^1419207-1 is not prime. Res64: AEA2894EE4A46553 Time : 0.0 sec. user=mdettweiler [2016-01-13 09:45:22] 859*2^1419207-1 is not prime. Res64: 7DBEC410ADCB365A Time : 0.0 sec. user=mdettweiler [2016-01-13 09:45:22] 933*2^1419207-1 is not prime. Res64: D4A68E837C3C3DCB Time : 0.0 sec. user=mdettweiler [2016-01-13 09:45:25] 605*2^1419208-1 is not prime. Res64: 75A935C670586A31 Time : 0.0 sec. user=mdettweiler [2016-01-13 09:45:25] 615*2^1419208-1 is not prime. Res64: B376E858B8391D86 Time : 0.0 sec. user=mdettweiler [2016-01-13 10:02:54] 617*2^1419208-1 is not prime. Res64: 9DFD7CE4C8B2C267 Time : 0.0 sec. user=mdettweiler [2016-01-13 10:02:54] 923*2^1419208-1 is not prime. Res64: 5B4885F4EF60E9E7 Time : 0.0 sec. user=mdettweiler [2016-01-13 10:02:55] 629*2^1419208-1 is not prime. Res64: E19C302B23547790 Time : 0.0 sec. user=mdettweiler [2016-01-13 10:02:56] 957*2^1419208-1 is not prime. Res64: 5FE39C501425B38E Time : 0.0 sec. user=mdettweiler [2016-01-13 10:02:58] 969*2^1419208-1 is not prime. Res64: B429E847D14F8624 Time : 0.0 sec. user=mdettweiler [2016-01-13 10:03:00] 999*2^1419208-1 is not prime. Res64: 2D6BD79F4BCD36F5 Time : 0.0 sec. user=mdettweiler [2016-01-13 10:20:39] 799*2^1419209-1 is not prime. Res64: FE7D2B60D09D44F6 Time : 0.0 sec. user=mdettweiler [2016-01-13 10:20:39] 855*2^1419209-1 is not prime. Res64: 852938E02C19A0DA Time : 0.0 sec. user=mdettweiler [2016-01-13 10:20:40] 847*2^1419209-1 is not prime. Res64: A703B40AEA752757 Time : 0.0 sec. user=mdettweiler [2016-01-13 10:20:40] 867*2^1419209-1 is not prime. Res64: 5AA15029D5D17A56 Time : 0.0 sec. user=mdettweiler [2016-01-13 10:20:42] 685*2^1419209-1 is not prime. Res64: CFAB426D97880AB0 Time : 0.0 sec. user=mdettweiler [2016-01-13 10:20:43] 795*2^1419209-1 is not prime. Res64: D9934B6076941FD3 Time : 0.0 sec. user=mdettweiler [2016-01-13 10:38:12] 889*2^1419209-1 is not prime. Res64: 52B00F60445AF3C7 Time : 0.0 sec. user=mdettweiler [2016-01-13 10:38:12] 977*2^1419210-1 is not prime. Res64: C0FA7C91BEAA5005 Time : 0.0 sec. user=mdettweiler [2016-01-13 10:38:13] 717*2^1419210-1 is not prime. Res64: 6A35098F7285CF72 Time : 0.0 sec. user=mdettweiler [2016-01-13 10:38:13] 679*2^1419211-1 is not prime. Res64: B40D4464A2D19861 Time : 0.0 sec. user=mdettweiler [2016-01-13 10:38:13] 765*2^1419210-1 is not prime. Res64: E1039B547BA26C6C Time : 0.0 sec. user=mdettweiler [2016-01-13 10:38:13] 825*2^1419210-1 is not prime. Res64: F943B12DF7BEE221 Time : 0.0 sec. user=mdettweiler [2016-01-13 10:55:52] 733*2^1419211-1 is not prime. Res64: E84C3537526EA1E7 Time : 0.0 sec. user=mdettweiler [2016-01-13 10:55:52] 745*2^1419211-1 is not prime. Res64: EB884683B5F2F9D4 Time : 0.0 sec. user=mdettweiler [2016-01-13 10:55:52] 769*2^1419211-1 is not prime. Res64: B3B53CC507F15EC3 Time : 0.0 sec. user=mdettweiler [2016-01-13 10:55:53] 783*2^1419211-1 is not prime. Res64: ABBC924142EBDAFF Time : 0.0 sec. user=mdettweiler [2016-01-13 10:55:53] 709*2^1419211-1 is not prime. Res64: 60586D495934193F Time : 0.0 sec. user=mdettweiler [2016-01-13 10:55:53] 723*2^1419211-1 is not prime. Res64: 9B8DA1B58EBB9018 Time : 0.0 sec. user=mdettweiler [2016-01-13 11:13:39] 805*2^1419211-1 is not prime. Res64: 3402BEC783BCAC42 Time : 0.0 sec. user=mdettweiler [2016-01-13 11:13:40] 605*2^1419212-1 is not prime. Res64: 44D69E43E017D7C2 Time : 0.0 sec. user=mdettweiler [2016-01-13 11:13:41] 837*2^1419212-1 is not prime. Res64: 7705E6D69DC8CCE5 Time : 0.0 sec. user=mdettweiler [2016-01-13 11:13:41] 609*2^1419212-1 is not prime. Res64: 12F83A79F10B8C4D Time : 0.0 sec. user=mdettweiler [2016-01-13 11:13:42] 875*2^1419212-1 is not prime. Res64: 4AA68BB2AC93944B Time : 0.0 sec. user=mdettweiler [2016-01-13 11:13:42] 665*2^1419212-1 is not prime. Res64: 88F9DF189AB6193F Time : 0.0 sec. user=mdettweiler [2016-01-13 11:33:11] 957*2^1419212-1 is not prime. Res64: 92E1C9C9E1E9769E Time : 0.0 sec. user=mdettweiler [2016-01-13 11:33:11] 679*2^1419213-1 is not prime. Res64: A20A007430A58F39 Time : 0.0 sec. user=mdettweiler [2016-01-13 11:33:12] 909*2^1419212-1 is not prime. Res64: 33040895E63254C7 Time : 0.0 sec. user=mdettweiler [2016-01-13 11:33:12] 935*2^1419212-1 is not prime. Res64: 0E816ECB4AFCB450 Time : 0.0 sec. user=mdettweiler [2016-01-13 11:33:13] 759*2^1419213-1 is not prime. Res64: 4C5DFF7DDFD47C0A Time : 0.0 sec. user=mdettweiler [2016-01-13 11:33:13] 859*2^1419213-1 is not prime. Res64: A1EA16207D2E9459 Time : 0.0 sec. user=mdettweiler [2016-01-13 11:54:30] 889*2^1419213-1 is not prime. Res64: D37E5A6B82CE7154 Time : 0.0 sec. user=mdettweiler [2016-01-13 11:54:30] 961*2^1419213-1 is not prime. Res64: 139EFCBA39DEBA2E Time : 0.0 sec. user=mdettweiler [2016-01-13 11:54:31] 657*2^1419214-1 is not prime. Res64: 3FCA392375FD3DA7 Time : 0.0 sec. user=mdettweiler [2016-01-13 11:54:31] 695*2^1419214-1 is not prime. Res64: A48EA079C3BC2F07 Time : 0.0 sec. user=mdettweiler [2016-01-13 11:54:33] 863*2^1419214-1 is not prime. Res64: BBD37DABDC0A3F83 Time : 0.0 sec. user=mdettweiler [2016-01-13 11:54:34] 885*2^1419214-1 is not prime. Res64: 3E1D0F18D73A4A97 Time : 0.0 sec. user=mdettweiler [2016-01-13 12:12:27] 661*2^1419215-1 is not prime. Res64: 7D75FEDBB9279BB1 Time : 0.0 sec. user=mdettweiler [2016-01-13 12:12:27] 669*2^1419215-1 is not prime. Res64: 7EE2570FCE49A094 Time : 0.0 sec. user=mdettweiler [2016-01-13 12:12:29] 947*2^1419214-1 is not prime. Res64: 8FBB651E02D33957 Time : 0.0 sec. user=mdettweiler [2016-01-13 12:12:29] 633*2^1419215-1 is not prime. Res64: 684FCD2AB4D27497 Time : 0.0 sec. user=mdettweiler [2016-01-13 12:12:32] 921*2^1419215-1 is not prime. Res64: D0518AC56FC997AA Time : 0.0 sec. user=mdettweiler [2016-01-13 12:12:32] 943*2^1419215-1 is not prime. Res64: AFA0B904DAAEB39E Time : 0.0 sec. user=mdettweiler [2016-01-13 12:30:23] 979*2^1419215-1 is not prime. Res64: E8EC2CAA074A06BB Time : 0.0 sec. user=mdettweiler [2016-01-13 12:30:24] 981*2^1419215-1 is not prime. Res64: 45D31E5C706F59D3 Time : 0.0 sec. user=mdettweiler [2016-01-13 12:30:24] 693*2^1419216-1 is not prime. Res64: 9492BC48A0059392 Time : 0.0 sec. user=mdettweiler [2016-01-13 12:30:24] 723*2^1419216-1 is not prime. Res64: E1A1A20D4FCB38F6 Time : 0.0 sec. user=mdettweiler [2016-01-13 12:30:27] 773*2^1419216-1 is not prime. Res64: A3C775BBE878C81D Time : 0.0 sec. user=mdettweiler [2016-01-13 12:30:27] 845*2^1419216-1 is not prime. Res64: F50844C34995B571 Time : 0.0 sec. user=mdettweiler [2016-01-13 12:48:34] 801*2^1419217-1 is not prime. Res64: E7133FFB8A243C79 Time : 0.0 sec. user=mdettweiler [2016-01-13 12:48:35] 847*2^1419217-1 is not prime. Res64: 5088CF1E53B48FEA Time : 0.0 sec. user=mdettweiler [2016-01-13 12:48:35] 871*2^1419217-1 is not prime. Res64: 7221A055EEF34CA1 Time : 0.0 sec. user=mdettweiler [2016-01-13 12:48:36] 895*2^1419217-1 is not prime. Res64: BD581CB02431C5B6 Time : 0.0 sec. user=mdettweiler [2016-01-13 12:48:36] 931*2^1419217-1 is not prime. Res64: 5C8B9C791A7B4C12 Time : 0.0 sec. user=mdettweiler [2016-01-13 12:48:37] 945*2^1419217-1 is not prime. Res64: 3ED16D4094672DEA Time : 0.0 sec. user=mdettweiler [2016-01-13 13:06:34] 981*2^1419217-1 is not prime. Res64: 6E897723829DABE2 Time : 0.0 sec. user=mdettweiler [2016-01-13 13:06:34] 645*2^1419218-1 is not prime. Res64: BB209073A09AFF68 Time : 0.0 sec. user=mdettweiler [2016-01-13 13:06:34] 753*2^1419218-1 is not prime. Res64: CFA6C1364B299B2E Time : 0.0 sec. user=mdettweiler [2016-01-13 13:06:35] 641*2^1419218-1 is not prime. Res64: 6B36AEB963CDA245 Time : 0.0 sec. user=mdettweiler [2016-01-13 13:06:35] 713*2^1419218-1 is not prime. Res64: 4FB8B724B090D35F Time : 0.0 sec. user=mdettweiler [2016-01-13 13:06:35] 791*2^1419218-1 is not prime. Res64: 95CE21384B88FAEE Time : 0.0 sec. user=mdettweiler [2016-01-13 13:24:48] 903*2^1419219-1 is not prime. Res64: A0BC2D5A1762B4E3 Time : 0.0 sec. user=mdettweiler [2016-01-13 13:24:48] 927*2^1419218-1 is not prime. Res64: 708253718E174AD8 Time : 0.0 sec. user=mdettweiler [2016-01-13 13:24:49] 913*2^1419219-1 is not prime. Res64: C8D53A8F7564DE2D Time : 0.0 sec. user=mdettweiler [2016-01-13 13:24:49] 995*2^1419218-1 is not prime. Res64: 5FEFC59B25BC70B1 Time : 0.0 sec. user=mdettweiler [2016-01-13 13:24:51] 735*2^1419219-1 is not prime. Res64: 6E7A00119FA1D67B Time : 0.0 sec. user=mdettweiler [2016-01-13 13:24:52] 793*2^1419219-1 is not prime. Res64: 49A0BD7656858346 Time : 0.0 sec. user=mdettweiler [2016-01-13 13:42:50] 647*2^1419220-1 is not prime. Res64: 757EA53FAF62CD16 Time : 0.0 sec. user=mdettweiler [2016-01-13 13:42:50] 675*2^1419220-1 is not prime. Res64: 695E8FB44C344A50 Time : 0.0 sec. user=mdettweiler [2016-01-13 13:42:51] 873*2^1419220-1 is not prime. Res64: 74A025820151C301 Time : 0.0 sec. user=mdettweiler [2016-01-13 13:42:52] 887*2^1419220-1 is not prime. Res64: E82700B18B96F4D1 Time : 0.0 sec. user=mdettweiler [2016-01-13 13:42:54] 961*2^1419219-1 is not prime. Res64: 2461A11F0DF5D693 Time : 0.0 sec. user=mdettweiler [2016-01-13 13:42:55] 969*2^1419219-1 is not prime. Res64: 59EAD421CA2F4590 Time : 0.0 sec. user=mdettweiler [2016-01-13 14:00:35] 909*2^1419220-1 is not prime. Res64: C4A6A57CB12A7C2F Time : 0.0 sec. user=mdettweiler [2016-01-13 14:00:35] 927*2^1419220-1 is not prime. Res64: 147455AD304E1D8E Time : 0.0 sec. user=mdettweiler [2016-01-13 14:00:39] 669*2^1419221-1 is not prime. Res64: 3FEA4731FA0C68E6 Time : 0.0 sec. user=mdettweiler [2016-01-13 14:00:40] 727*2^1419221-1 is not prime. Res64: BD5D44B85761A8B1 Time : 0.0 sec. user=mdettweiler [2016-01-13 14:00:40] 915*2^1419220-1 is not prime. Res64: E8BAAA835BA6D768 Time : 0.0 sec. user=mdettweiler [2016-01-13 14:00:41] 735*2^1419221-1 is not prime. Res64: CCB854B826451BAA Time : 0.0 sec. user=mdettweiler [2016-01-13 14:18:35] 745*2^1419221-1 is not prime. Res64: 44D0229EB9839A65 Time : 0.0 sec. user=mdettweiler [2016-01-13 14:18:35] 885*2^1419221-1 is not prime. Res64: BDFA6A423803E871 Time : 0.0 sec. user=mdettweiler [2016-01-13 14:18:36] 811*2^1419221-1 is not prime. Res64: BE7D547ACC4E0755 Time : 0.0 sec. user=mdettweiler [2016-01-13 14:18:36] 807*2^1419222-1 is not prime. Res64: 800636688BE6F1C7 Time : 0.0 sec. user=mdettweiler [2016-01-13 14:18:36] 731*2^1419222-1 is not prime. Res64: F633F74E43EAFBED Time : 0.0 sec. user=mdettweiler [2016-01-13 14:18:37] 797*2^1419222-1 is not prime. Res64: 3BD9D84A3D80EF6A Time : 0.0 sec. user=mdettweiler [2016-01-13 14:36:24] 783*2^1419223-1 is not prime. Res64: 7953C27073E980E2 Time : 0.0 sec. user=mdettweiler [2016-01-13 14:36:24] 829*2^1419223-1 is not prime. Res64: 1964CD1857299920 Time : 0.0 sec. user=mdettweiler [2016-01-13 14:36:25] 917*2^1419222-1 is not prime. Res64: 3FADDFBF955144F1 Time : 0.0 sec. user=mdettweiler [2016-01-13 14:36:25] 633*2^1419223-1 is not prime. Res64: 82AC8526D295459C Time : 0.0 sec. user=mdettweiler [2016-01-13 14:36:27] 675*2^1419223-1 is not prime. Res64: 9B5E39B2A28E4584 Time : 0.0 sec. user=mdettweiler [2016-01-13 14:36:28] 745*2^1419223-1 is not prime. Res64: 9C0C7A2EC4BBA91C Time : 0.0 sec. user=mdettweiler [2016-01-13 14:54:47] 885*2^1419223-1 is not prime. Res64: 955CF7DD669AA788 Time : 0.0 sec. user=mdettweiler [2016-01-13 14:54:48] 675*2^1419224-1 is not prime. Res64: F553D26C8788791F Time : 0.0 sec. user=mdettweiler [2016-01-13 14:54:48] 657*2^1419225-1 is not prime. Res64: 085F84DBED9A6626 Time : 0.0 sec. user=mdettweiler [2016-01-13 14:54:48] 675*2^1419225-1 is not prime. Res64: F4F934CE92112AA0 Time : 0.0 sec. user=mdettweiler [2016-01-13 14:54:51] 795*2^1419225-1 is not prime. Res64: B8FC5E8FE089C887 Time : 0.0 sec. user=mdettweiler [2016-01-13 14:54:51] 871*2^1419225-1 is not prime. Res64: 94B3CF763E626D00 Time : 0.0 sec. user=mdettweiler [2016-01-13 15:13:22] 737*2^1419226-1 is not prime. Res64: 3CF013FE1959AE24 Time : 0.0 sec. user=mdettweiler [2016-01-13 15:13:22] 815*2^1419226-1 is not prime. Res64: 3BD625E4898357CE Time : 0.0 sec. user=mdettweiler [2016-01-13 15:13:22] 877*2^1419225-1 is not prime. Res64: 8154C2D0F0B233E9 Time : 0.0 sec. user=mdettweiler [2016-01-13 15:13:23] 603*2^1419226-1 is not prime. Res64: 97AE3CA1F03BCFB3 Time : 0.0 sec. user=mdettweiler [2016-01-13 15:13:25] 887*2^1419226-1 is not prime. Res64: 2CCC95C417594EA5 Time : 0.0 sec. user=mdettweiler [2016-01-13 15:13:26] 673*2^1419227-1 is not prime. Res64: 0E094BE75877D0D3 Time : 0.0 sec. user=mdettweiler [2016-01-13 15:32:03] 725*2^1419228-1 is not prime. Res64: 2837BCDAD882B04B Time : 0.0 sec. user=mdettweiler [2016-01-13 15:32:03] 663*2^1419228-1 is not prime. Res64: 2056EBCA56420EAB Time : 0.0 sec. user=mdettweiler [2016-01-13 15:32:03] 879*2^1419228-1 is not prime. Res64: C68DEC62F398EB5D Time : 0.0 sec. user=mdettweiler [2016-01-13 15:32:03] 669*2^1419228-1 is not prime. Res64: C04ED1DB258759F4 Time : 0.0 sec. user=mdettweiler [2016-01-13 15:32:06] 703*2^1419227-1 is not prime. Res64: 276196DDC169BA92 Time : 0.0 sec. user=mdettweiler [2016-01-13 15:32:06] 979*2^1419227-1 is not prime. Res64: BAF457CC73CD7C65 Time : 0.0 sec. user=mdettweiler [2016-01-13 15:50:07] 993*2^1419228-1 is not prime. Res64: 35C57D1FB127F312 Time : 0.0 sec. user=mdettweiler [2016-01-13 15:50:08] 667*2^1419229-1 is not prime. Res64: 70FD7E3EFFAAEAE6 Time : 0.0 sec. user=mdettweiler [2016-01-13 15:50:08] 909*2^1419228-1 is not prime. Res64: 46C3D2272E00BEEF Time : 0.0 sec. user=mdettweiler [2016-01-13 15:50:08] 927*2^1419228-1 is not prime. Res64: 0E0DC83EC8F7C415 Time : 0.0 sec. user=mdettweiler [2016-01-13 15:50:09] 691*2^1419229-1 is not prime. Res64: A8E2126B3E683A7E Time : 0.0 sec. user=mdettweiler [2016-01-13 15:50:10] 729*2^1419229-1 is not prime. Res64: 165FCEB611C5DBB0 Time : 0.0 sec. user=mdettweiler [2016-01-13 16:07:42] 831*2^1419229-1 is not prime. Res64: 11F2345D8593E125 Time : 0.0 sec. user=mdettweiler [2016-01-13 16:07:42] 665*2^1419230-1 is not prime. Res64: 919731B2651E2780 Time : 0.0 sec. user=mdettweiler [2016-01-13 16:07:42] 857*2^1419230-1 is not prime. Res64: 4FF6D750F70EDFB5 Time : 0.0 sec. user=mdettweiler [2016-01-13 16:07:42] 997*2^1419229-1 is not prime. Res64: 0726D3CDA143B520 Time : 0.0 sec. user=mdettweiler [2016-01-13 16:07:43] 677*2^1419230-1 is not prime. Res64: 90A135C87DB3DF6F Time : 0.0 sec. user=mdettweiler [2016-01-13 16:07:43] 887*2^1419230-1 is not prime. Res64: C96B5EB3BD854235 Time : 0.0 sec. user=mdettweiler [2016-01-13 16:25:25] 711*2^1419231-1 is not prime. Res64: 19696679607E3223 Time : 0.0 sec. user=mdettweiler [2016-01-13 16:25:26] 741*2^1419231-1 is not prime. Res64: F0950FA3103B626A Time : 0.0 sec. user=mdettweiler [2016-01-13 16:25:26] 679*2^1419231-1 is not prime. Res64: FB6E68E35E272FF1 Time : 0.0 sec. user=mdettweiler [2016-01-13 16:25:27] 709*2^1419231-1 is not prime. Res64: FD48BD7711808882 Time : 0.0 sec. user=mdettweiler [2016-01-13 16:25:27] 927*2^1419230-1 is not prime. Res64: 0AF11308871A4FC6 Time : 0.0 sec. user=mdettweiler [2016-01-13 16:25:28] 977*2^1419230-1 is not prime. Res64: 9F1FE1559B70872F Time : 0.0 sec. user=mdettweiler [2016-01-13 16:43:15] 895*2^1419231-1 is not prime. Res64: 226934C7E022BF4A Time : 0.0 sec. user=mdettweiler [2016-01-13 16:43:15] 979*2^1419231-1 is not prime. Res64: 2D6BBFA587F4358E Time : 0.0 sec. user=mdettweiler [2016-01-13 16:43:15] 909*2^1419231-1 is not prime. Res64: 80186AC6668C598F Time : 0.0 sec. user=mdettweiler [2016-01-13 16:43:15] 605*2^1419232-1 is not prime. Res64: 30A5C5142F45F50B Time : 0.0 sec. user=mdettweiler [2016-01-13 16:43:16] 635*2^1419232-1 is not prime. Res64: 5C01FE76A213B187 Time : 0.0 sec. user=mdettweiler [2016-01-13 16:43:17] 653*2^1419232-1 is not prime. Res64: EDA98DE84000DBC5 Time : 0.0 sec. user=mdettweiler [2016-01-13 17:01:29] 819*2^1419232-1 is not prime. Res64: 22B045F902683645 Time : 0.0 sec. user=mdettweiler [2016-01-13 17:01:30] 929*2^1419232-1 is not prime. Res64: 982F4C7198A58F09 Time : 0.0 sec. user=mdettweiler [2016-01-13 17:01:31] 897*2^1419232-1 is not prime. Res64: 44E1784BA70FA614 Time : 0.0 sec. user=mdettweiler [2016-01-13 17:01:31] 619*2^1419233-1 is not prime. Res64: 2AEF6C492D6EA07B Time : 0.0 sec. user=mdettweiler [2016-01-13 17:01:34] 723*2^1419232-1 is not prime. Res64: E9E67807067F7F94 Time : 0.0 sec. user=mdettweiler [2016-01-13 17:01:34] 797*2^1419232-1 is not prime. Res64: 6DF642C17B2EE1F2 Time : 0.0 sec. user=mdettweiler [2016-01-13 17:19:36] 769*2^1419233-1 is not prime. Res64: 5C53A675136D7CCB Time : 0.0 sec. user=mdettweiler [2016-01-13 17:19:37] 847*2^1419233-1 is not prime. Res64: C0A6F63AB9991154 Time : 0.0 sec. user=mdettweiler [2016-01-13 17:19:37] 691*2^1419233-1 is not prime. Res64: 6EB8C458F867D49C Time : 0.0 sec. user=mdettweiler [2016-01-13 17:19:37] 683*2^1419234-1 is not prime. Res64: 62640BBA5B3E13E8 Time : 0.0 sec. user=mdettweiler [2016-01-13 17:19:38] 759*2^1419233-1 is not prime. Res64: 04A04F9D921BE729 Time : 0.0 sec. user=mdettweiler [2016-01-13 17:19:38] 711*2^1419234-1 is not prime. Res64: A442AD88A1A4441B Time : 0.0 sec. user=mdettweiler [2016-01-13 17:37:39] 947*2^1419234-1 is not prime. Res64: 161F0731A78C5811 Time : 0.0 sec. user=mdettweiler [2016-01-13 17:37:39] 861*2^1419234-1 is not prime. Res64: CA98364BD1B6EB03 Time : 0.0 sec. user=mdettweiler [2016-01-13 17:37:39] 715*2^1419235-1 is not prime. Res64: B4CC130AD93109DD Time : 0.0 sec. user=mdettweiler [2016-01-13 17:37:39] 881*2^1419234-1 is not prime. Res64: 426541908E94E7FE Time : 0.0 sec. user=mdettweiler [2016-01-13 17:37:40] 741*2^1419235-1 is not prime. Res64: 1C9C7A49C5651D41 Time : 0.0 sec. user=mdettweiler [2016-01-13 17:37:40] 789*2^1419235-1 is not prime. Res64: 09D0F9F1AE00BB22 Time : 0.0 sec. user=mdettweiler [2016-01-13 17:56:18] 683*2^1419236-1 is not prime. Res64: C6D296DBB523D975 Time : 0.0 sec. user=mdettweiler [2016-01-13 17:56:18] 785*2^1419236-1 is not prime. Res64: 17D50ACCCEEDC68F Time : 0.0 sec. user=mdettweiler [2016-01-13 17:56:20] 873*2^1419235-1 is not prime. Res64: 723A9CB20A54CEBD Time : 0.0 sec. user=mdettweiler [2016-01-13 17:56:20] 633*2^1419236-1 is not prime. Res64: BA0C46B68D8A5F75 Time : 0.0 sec. user=mdettweiler [2016-01-13 17:56:22] 855*2^1419236-1 is not prime. Res64: 0AB51DADE74E7BB9 Time : 0.0 sec. user=mdettweiler [2016-01-13 17:56:22] 601*2^1419237-1 is not prime. Res64: 94726A831C4088A1 Time : 0.0 sec. user=mdettweiler [2016-01-13 18:16:29] 901*2^1419237-1 is not prime. Res64: 939B1E5147960049 Time : 0.0 sec. user=mdettweiler [2016-01-13 18:16:29] 915*2^1419237-1 is not prime. Res64: 570FE1BC1A692B9D Time : 0.0 sec. user=mdettweiler [2016-01-13 18:16:31] 627*2^1419237-1 is not prime. Res64: 7B067B36CAAE1A28 Time : 0.0 sec. user=mdettweiler [2016-01-13 18:16:32] 649*2^1419237-1 is not prime. Res64: 92F895447801B35C Time : 0.0 sec. user=mdettweiler [2016-01-13 18:16:36] 669*2^1419237-1 is not prime. Res64: D4D077B7A3CEFA14 Time : 0.0 sec. user=mdettweiler [2016-01-13 18:16:36] 805*2^1419237-1 is not prime. Res64: D94DA2F59FB47805 Time : 0.0 sec. user=mdettweiler [2016-01-13 19:04:02] 919*2^1419237-1 is not prime. Res64: 1F6C9072B5C6E506 Time : 0.0 sec. user=mdettweiler [2016-01-13 19:04:03] 945*2^1419237-1 is not prime. Res64: 3488309891C73010 Time : 0.0 sec. user=mdettweiler [2016-01-13 19:05:46] 605*2^1419238-1 is not prime. Res64: 337B8CBE12D3FE1C Time : 0.0 sec. user=mdettweiler [2016-01-13 19:05:48] 677*2^1419238-1 is not prime. Res64: 00DA80CA5165A3AF Time : 0.0 sec. user=mdettweiler [2016-01-13 19:06:45] 985*2^1419237-1 is not prime. Res64: F0C525CFD9A6A94B Time : 0.0 sec. user=mdettweiler [2016-01-13 19:06:46] 997*2^1419237-1 is not prime. Res64: 8AC3EC9820A00BE9 Time : 0.0 sec. user=mdettweiler [2016-01-13 19:20:33] 681*2^1419238-1 is not prime. Res64: C8F685A3D202E719 Time : 0.0 sec. user=mdettweiler [2016-01-13 19:20:34] 723*2^1419238-1 is not prime. Res64: 8928EF3C38AE00EB Time : 0.0 sec. user=mdettweiler [2016-01-13 19:22:15] 855*2^1419238-1 is not prime. Res64: 1F36F9AFE8B8F2A9 Time : 0.0 sec. user=mdettweiler [2016-01-13 19:22:16] 857*2^1419238-1 is not prime. Res64: 5D74292846602F2A Time : 0.0 sec. user=mdettweiler [2016-01-13 19:23:56] 669*2^1419239-1 is not prime. Res64: 153C0A28737D060B Time : 0.0 sec. user=mdettweiler [2016-01-13 19:23:57] 685*2^1419239-1 is not prime. Res64: A04E5FC67FA0A7CB Time : 0.0 sec. user=mdettweiler [2016-01-13 19:24:59] 703*2^1419239-1 is not prime. Res64: C56CEC59C088E31B Time : 0.0 sec. user=mdettweiler [2016-01-13 19:24:59] 735*2^1419239-1 is not prime. Res64: C8458229620A9E6B Time : 0.0 sec. user=mdettweiler [2016-01-13 19:38:16] 799*2^1419239-1 is not prime. Res64: 6CFFB5042E50CF99 Time : 0.0 sec. user=mdettweiler [2016-01-13 19:38:16] 819*2^1419239-1 is not prime. Res64: CC2326BB4656F6A0 Time : 0.0 sec. user=mdettweiler [2016-01-13 19:40:29] 825*2^1419239-1 is not prime. Res64: 2C327CEA8DD82AC3 Time : 0.0 sec. user=mdettweiler [2016-01-13 19:40:30] 865*2^1419239-1 is not prime. Res64: B8F85646CA2BD46E Time : 0.0 sec. user=mdettweiler [2016-01-13 19:41:54] 895*2^1419239-1 is not prime. Res64: B6BAB76D852A1382 Time : 0.0 sec. user=mdettweiler [2016-01-13 19:41:54] 909*2^1419239-1 is not prime. Res64: 24BDCE2AD2CAFD87 Time : 0.0 sec. user=mdettweiler [2016-01-13 19:43:01] 955*2^1419239-1 is not prime. Res64: E4ED5E20302F89E3 Time : 0.0 sec. user=mdettweiler [2016-01-13 19:43:02] 985*2^1419239-1 is not prime. Res64: 56697F956F5C6DEF Time : 0.0 sec. user=mdettweiler [2016-01-13 19:55:55] 759*2^1419240-1 is not prime. Res64: 1154917AC5775AB1 Time : 0.0 sec. user=mdettweiler [2016-01-13 19:55:56] 839*2^1419240-1 is not prime. Res64: 10668A9A7BD3D65F Time : 0.0 sec. user=mdettweiler [2016-01-13 19:58:43] 845*2^1419240-1 is not prime. Res64: A363BDC1213E05C8 Time : 0.0 sec. user=mdettweiler [2016-01-13 19:58:43] 923*2^1419240-1 is not prime. Res64: 546C9549807F3319 Time : 0.0 sec. user=mdettweiler [2016-01-13 19:59:46] 675*2^1419241-1 is not prime. Res64: 9D1C658A6231D45B Time : 0.0 sec. user=mdettweiler [2016-01-13 19:59:46] 679*2^1419241-1 is not prime. Res64: 2E057EF0481AF3C5 Time : 0.0 sec. user=mdettweiler [2016-01-13 20:01:01] 939*2^1419241-1 is not prime. Res64: 71FA040C1C4F5843 Time : 0.0 sec. user=mdettweiler [2016-01-13 20:01:03] 999*2^1419241-1 is not prime. Res64: 62C64994605A9341 Time : 0.0 sec. user=mdettweiler [2016-01-13 20:13:51] 633*2^1419242-1 is not prime. Res64: 7F891337A7A82A23 Time : 0.0 sec. user=mdettweiler [2016-01-13 20:13:52] 791*2^1419242-1 is not prime. Res64: 73701EA81FF0BF76 Time : 0.0 sec. user=mdettweiler [2016-01-13 20:16:36] 813*2^1419242-1 is not prime. Res64: 00773F9DDFD3EC94 Time : 0.0 sec. user=mdettweiler [2016-01-13 20:16:37] 911*2^1419242-1 is not prime. Res64: 89BE53421C7D4C53 Time : 0.0 sec. user=mdettweiler [2016-01-13 20:17:47] 941*2^1419242-1 is not prime. Res64: D56E64181444626C Time : 0.0 sec. user=mdettweiler [2016-01-13 20:17:47] 995*2^1419242-1 is not prime. Res64: 0A8D437ABEEAFB2E Time : 0.0 sec. user=mdettweiler [2016-01-13 20:19:04] 619*2^1419243-1 is not prime. Res64: 8EB3F2EBCA954D57 Time : 0.0 sec. user=mdettweiler [2016-01-13 20:19:04] 793*2^1419243-1 is not prime. Res64: 70DEABB127D5F478 Time : 0.0 sec. user=mdettweiler [2016-01-13 20:33:21] 801*2^1419243-1 is not prime. Res64: 717A840C0F23A560 Time : 0.0 sec. user=mdettweiler [2016-01-13 20:33:22] 819*2^1419243-1 is not prime. Res64: 5D92BAECCB6927C8 Time : 0.0 sec. user=mdettweiler [2016-01-13 20:34:46] 617*2^1419244-1 is not prime. Res64: 1EBA103278DBE0BB Time : 0.0 sec. user=mdettweiler [2016-01-13 20:34:47] 825*2^1419244-1 is not prime. Res64: 454B616C0D77BC3C Time : 0.0 sec. user=mdettweiler [2016-01-13 20:35:52] 855*2^1419244-1 is not prime. Res64: 6B25DC019D97EC07 Time : 0.0 sec. user=mdettweiler [2016-01-13 20:35:52] 887*2^1419244-1 is not prime. Res64: 1AD43939308DBA1B Time : 0.0 sec. user=mdettweiler [2016-01-13 20:37:24] 905*2^1419244-1 is not prime. Res64: 45FB5A647A984684 Time : 0.0 sec. user=mdettweiler [2016-01-13 20:37:25] 915*2^1419244-1 is not prime. Res64: 78081660599FCD25 Time : 0.0 sec. user=mdettweiler [2016-01-13 20:53:32] 993*2^1419244-1 is not prime. Res64: ED298AA90CEC8D27 Time : 0.0 sec. user=mdettweiler [2016-01-13 20:53:33] 685*2^1419245-1 is not prime. Res64: CC8B09E0AA19D411 Time : 0.0 sec. user=mdettweiler [2016-01-13 20:53:56] 959*2^1419244-1 is not prime. Res64: 6529F7C75CC21DA3 Time : 0.0 sec. user=mdettweiler [2016-01-13 20:53:57] 965*2^1419244-1 is not prime. Res64: 9999231648E96F67 Time : 0.0 sec. user=mdettweiler [2016-01-13 20:54:09] 691*2^1419245-1 is not prime. Res64: 37761CD952D7EEB8 Time : 0.0 sec. user=mdettweiler [2016-01-13 20:54:10] 697*2^1419245-1 is not prime. Res64: 5FA97B324113A233 Time : 0.0 sec. user=mdettweiler [2016-01-13 20:55:33] 699*2^1419245-1 is not prime. Res64: A149B3691AF7C5AA Time : 0.0 sec. user=mdettweiler [2016-01-13 20:55:33] 717*2^1419245-1 is not prime. Res64: 599C358E641F1695 Time : 0.0 sec. user=mdettweiler [2016-01-13 21:13:14] 713*2^1419246-1 is not prime. Res64: 1660CA717730157E Time : 0.0 sec. user=mdettweiler [2016-01-13 21:13:15] 725*2^1419246-1 is not prime. Res64: 50E7B42130A08736 Time : 0.0 sec. user=mdettweiler [2016-01-13 21:15:09] 721*2^1419245-1 is not prime. Res64: D81B59B269B431A9 Time : 0.0 sec. user=mdettweiler [2016-01-13 21:15:10] 801*2^1419245-1 is not prime. Res64: E14BB3AEF09F97A6 Time : 0.0 sec. user=mdettweiler [2016-01-13 21:15:31] 907*2^1419245-1 is not prime. Res64: 9C3BD501E971E36F Time : 0.0 sec. user=mdettweiler [2016-01-13 21:15:32] 695*2^1419246-1 is not prime. Res64: DF298F8E1355CCEA Time : 0.0 sec. user=mdettweiler [2016-01-13 21:15:54] 821*2^1419246-1 is not prime. Res64: F97ED17E55311A5D Time : 0.0 sec. user=mdettweiler [2016-01-13 21:15:55] 891*2^1419246-1 is not prime. Res64: E33E62398B393817 Time : 0.0 sec. user=mdettweiler [2016-01-13 21:32:39] 947*2^1419246-1 is not prime. Res64: 1C27000D72CB9814 Time : 0.0 sec. user=mdettweiler [2016-01-13 21:32:40] 975*2^1419246-1 is not prime. Res64: E35837008F927F25 Time : 0.0 sec. user=mdettweiler [2016-01-13 21:35:57] 939*2^1419247-1 is not prime. Res64: 8049E0507BB0142A Time : 0.0 sec. user=mdettweiler [2016-01-13 21:35:58] 945*2^1419247-1 is not prime. Res64: 7A18FF57D490F4C8 Time : 0.0 sec. user=mdettweiler [2016-01-13 21:36:38] 603*2^1419247-1 is not prime. Res64: 4ADCBD5252C8E708 Time : 0.0 sec. user=mdettweiler [2016-01-13 21:36:39] 703*2^1419247-1 is not prime. Res64: 44AEC46D2529D07D Time : 0.0 sec. user=mdettweiler [2016-01-13 21:37:29] 769*2^1419247-1 is not prime. Res64: F197A5FF9D7D2F43 Time : 0.0 sec. user=mdettweiler [2016-01-13 21:37:29] 849*2^1419247-1 is not prime. Res64: 295E4F54B4EA7E59 Time : 0.0 sec. user=mdettweiler [2016-01-13 21:53:12] 617*2^1419248-1 is not prime. Res64: 1117CF2F49FC3D69 Time : 0.0 sec. user=mdettweiler [2016-01-13 21:53:12] 657*2^1419248-1 is not prime. Res64: 8316A394C0CEF20A Time : 0.0 sec. user=mdettweiler [2016-01-13 21:57:58] 753*2^1419248-1 is not prime. Res64: DA1374DECBDD26D0 Time : 0.0 sec. user=mdettweiler [2016-01-13 21:57:59] 797*2^1419248-1 is not prime. Res64: 0388912D642E1EA4 Time : 0.0 sec. user=mdettweiler [2016-01-13 21:58:25] 625*2^1419249-1 is not prime. Res64: EEB2BDF968FCC3F7 Time : 0.0 sec. user=mdettweiler [2016-01-13 21:58:26] 627*2^1419249-1 is not prime. Res64: B0B6EED04EEAC2A0 Time : 0.0 sec. user=mdettweiler [2016-01-13 22:00:53] 751*2^1419249-1 is not prime. Res64: 4326F14CB8ADFE9F Time : 0.0 sec. user=mdettweiler [2016-01-13 22:00:54] 865*2^1419249-1 is not prime. Res64: 3DEB1FED75A2AABF Time : 0.0 sec. user=mdettweiler [2016-01-13 22:14:35] 755*2^1419250-1 is not prime. Res64: A4A9517443836D69 Time : 0.0 sec. user=mdettweiler [2016-01-13 22:14:35] 777*2^1419250-1 is not prime. Res64: 8AFD15D2AD9804E1 Time : 0.0 sec. user=mdettweiler [2016-01-13 22:17:40] 933*2^1419250-1 is not prime. Res64: F566126A7A51EF05 Time : 0.0 sec. user=mdettweiler [2016-01-13 22:17:40] 643*2^1419251-1 is not prime. Res64: 01F42F1E8C801913 Time : 0.0 sec. user=mdettweiler [2016-01-13 22:20:20] 705*2^1419251-1 is not prime. Res64: 5789B878701BE8FD Time : 0.0 sec. user=mdettweiler [2016-01-13 22:20:21] 711*2^1419251-1 is not prime. Res64: A4DE931F83C3BBD5 Time : 0.0 sec. user=mdettweiler [2016-01-13 22:21:20] 759*2^1419251-1 is not prime. Res64: 63CD6A2DE24BBAA5 Time : 0.0 sec. user=mdettweiler [2016-01-13 22:21:21] 825*2^1419251-1 is not prime. Res64: 8EB1D65CAF029874 Time : 0.0 sec. user=mdettweiler [2016-01-13 22:33:15] 949*2^1419251-1 is not prime. Res64: 659633DB3EC38D68 Time : 0.0 sec. user=mdettweiler [2016-01-13 22:33:16] 737*2^1419252-1 is not prime. Res64: 21A16A526F8D3702 Time : 0.0 sec. user=mdettweiler [2016-01-13 22:38:50] 777*2^1419252-1 is not prime. Res64: 2BC73A8ED728F3C6 Time : 0.0 sec. user=mdettweiler [2016-01-13 22:38:51] 779*2^1419252-1 is not prime. Res64: B585D831FD6F75D0 Time : 0.0 sec. user=mdettweiler [2016-01-13 22:40:17] 681*2^1419253-1 is not prime. Res64: E3AA27F3DB257411 Time : 0.0 sec. user=mdettweiler [2016-01-13 22:40:17] 687*2^1419253-1 is not prime. Res64: 8F5098DE024742D6 Time : 0.0 sec. user=mdettweiler [2016-01-13 22:41:37] 867*2^1419252-1 is not prime. Res64: 71815DC4AF6FECC3 Time : 0.0 sec. user=mdettweiler [2016-01-13 22:41:38] 965*2^1419252-1 is not prime. Res64: 81E3DD9EB1ED4A01 Time : 0.0 sec. user=mdettweiler [2016-01-13 22:56:15] 745*2^1419253-1 is not prime. Res64: 462DE0B3C3B76209 Time : 0.0 sec. user=mdettweiler [2016-01-13 22:56:15] 789*2^1419253-1 is not prime. Res64: BB06B655D5DFA49F Time : 0.0 sec. user=mdettweiler [2016-01-13 22:59:34] 979*2^1419253-1 is not prime. Res64: AECC55F626BFC110 Time : 0.0 sec. user=mdettweiler [2016-01-13 22:59:35] 741*2^1419254-1 is not prime. Res64: 6D697E7724300B54 Time : 0.0 sec. user=mdettweiler [2016-01-13 22:59:39] 791*2^1419254-1 is not prime. Res64: 79F62EF2053CD613 Time : 0.0 sec. user=mdettweiler [2016-01-13 22:59:39] 983*2^1419254-1 is not prime. Res64: 84ADEA743E222BDD Time : 0.0 sec. user=mdettweiler [2016-01-13 23:01:28] 993*2^1419254-1 is not prime. Res64: 1C9DE90AE732E06E Time : 0.0 sec. user=mdettweiler [2016-01-13 23:01:29] 735*2^1419255-1 is not prime. Res64: A66F80E3DC44B776 Time : 0.0 sec. user=mdettweiler [2016-01-13 23:16:57] 823*2^1419255-1 is not prime. Res64: 8DC97F7F0689B93E Time : 0.0 sec. user=mdettweiler [2016-01-13 23:16:58] 973*2^1419255-1 is not prime. Res64: F1EECDE372DD6874 Time : 0.0 sec. user=mdettweiler [2016-01-13 23:18:18] 657*2^1419256-1 is not prime. Res64: 722FA4D41CA446DF Time : 0.0 sec. user=mdettweiler [2016-01-13 23:18:18] 779*2^1419256-1 is not prime. Res64: 5E572DC1F167B69A Time : 0.0 sec. user=mdettweiler [2016-01-13 23:20:08] 857*2^1419256-1 is not prime. Res64: 5C808B4703FB890A Time : 0.0 sec. user=mdettweiler [2016-01-13 23:20:09] 869*2^1419256-1 is not prime. Res64: 5C23C7917F27DE8C Time : 0.0 sec. user=mdettweiler [2016-01-13 23:21:13] 957*2^1419256-1 is not prime. Res64: 943B0D699BF4ACEE Time : 0.0 sec. user=mdettweiler [2016-01-13 23:21:14] 965*2^1419256-1 is not prime. Res64: 7B0B050D3F7AE7E0 Time : 0.0 sec. user=mdettweiler [2016-01-13 23:52:23] 819*2^1419257-1 is not prime. Res64: 41F6EC13442CD6C2 Time : 0.0 sec. user=mdettweiler [2016-01-13 23:52:23] 829*2^1419257-1 is not prime. Res64: 4874F084F8794427 Time : 0.0 sec.