user=mdettweiler [2015-02-03 00:17:42] 983*2^1390206-1 is not prime. Res64: C7782632866A26AF Time : 0.0 sec. user=mdettweiler [2015-02-03 00:17:42] 615*2^1390207-1 is not prime. Res64: CB3313111E303A9C Time : 0.0 sec. user=mdettweiler [2015-02-03 00:20:00] 651*2^1390207-1 is not prime. Res64: FE58AD349B29E262 Time : 0.0 sec. user=mdettweiler [2015-02-03 00:20:01] 675*2^1390207-1 is not prime. Res64: 142DCA9722252D53 Time : 0.0 sec. user=mdettweiler [2015-02-03 00:22:51] 705*2^1390207-1 is not prime. Res64: 7A4B25FC710DB45B Time : 0.0 sec. user=mdettweiler [2015-02-03 00:22:51] 729*2^1390207-1 is not prime. Res64: 335F6528E198FFC9 Time : 0.0 sec. user=mdettweiler [2015-02-03 00:25:11] 751*2^1390207-1 is not prime. Res64: 5199F45D75558E0F Time : 0.0 sec. user=mdettweiler [2015-02-03 00:25:12] 819*2^1390207-1 is not prime. Res64: ADD081BB79DEFE4B Time : 0.0 sec. user=mdettweiler [2015-02-03 00:43:43] 939*2^1390207-1 is not prime. Res64: A10DFC44AA203C5C Time : 0.0 sec. user=mdettweiler [2015-02-03 00:43:43] 975*2^1390207-1 is not prime. Res64: 1A29FE32E0F33061 Time : 0.0 sec. user=mdettweiler [2015-02-03 00:46:07] 979*2^1390207-1 is not prime. Res64: D6CFBEA0E80F08CF Time : 0.0 sec. user=mdettweiler [2015-02-03 00:46:07] 633*2^1390208-1 is not prime. Res64: 4A6C388636CBD324 Time : 0.0 sec. user=mdettweiler [2015-02-03 00:49:03] 665*2^1390208-1 is not prime. Res64: 3615C6072D77FBCD Time : 0.0 sec. user=mdettweiler [2015-02-03 00:49:04] 735*2^1390208-1 is not prime. Res64: 0E1240DEC4A541FD Time : 0.0 sec. user=mdettweiler [2015-02-03 00:51:00] 743*2^1390208-1 is not prime. Res64: 6259700F9BFE8CB7 Time : 0.0 sec. user=mdettweiler [2015-02-03 00:51:00] 773*2^1390208-1 is not prime. Res64: 52F9EC6E048C971D Time : 0.0 sec. user=mdettweiler [2015-02-03 01:09:22] 827*2^1390208-1 is not prime. Res64: 36F80FF4223FC533 Time : 0.0 sec. user=mdettweiler [2015-02-03 01:09:23] 915*2^1390208-1 is not prime. Res64: 2D72C8F2D12E3CA9 Time : 0.0 sec. user=mdettweiler [2015-02-03 01:11:44] 685*2^1390209-1 is not prime. Res64: 1743762CC87E90DC Time : 0.0 sec. user=mdettweiler [2015-02-03 01:11:44] 721*2^1390209-1 is not prime. Res64: 1B32841973319039 Time : 0.0 sec. user=mdettweiler [2015-02-03 01:14:46] 741*2^1390209-1 is not prime. Res64: 389E50B16141D588 Time : 0.0 sec. user=mdettweiler [2015-02-03 01:14:47] 795*2^1390209-1 is not prime. Res64: C0C5BDC9AE99CA17 Time : 0.0 sec. user=mdettweiler [2015-02-03 01:16:42] 741*2^1390210-1 is not prime. Res64: C1A8152DCC49DE2D Time : 0.0 sec. user=mdettweiler [2015-02-03 01:16:43] 827*2^1390210-1 is not prime. Res64: 001BCE77AEB0DC69 Time : 0.0 sec. user=mdettweiler [2015-02-03 01:34:57] 831*2^1390210-1 is not prime. Res64: E1F346338677E3F6 Time : 0.0 sec. user=mdettweiler [2015-02-03 01:34:57] 845*2^1390210-1 is not prime. Res64: 6BCC24812FDD71AF Time : 0.0 sec. user=mdettweiler [2015-02-03 01:37:21] 885*2^1390210-1 is not prime. Res64: 2AB59654255C8BF1 Time : 0.0 sec. user=mdettweiler [2015-02-03 01:37:21] 981*2^1390210-1 is not prime. Res64: BC4BC6420E80F179 Time : 0.0 sec. user=mdettweiler [2015-02-03 01:40:26] 615*2^1390211-1 is not prime. Res64: B496726C18AEF535 Time : 0.0 sec. user=mdettweiler [2015-02-03 01:40:27] 645*2^1390211-1 is not prime. Res64: 67C75E8C2B08E678 Time : 0.0 sec. user=mdettweiler [2015-02-03 01:42:22] 673*2^1390211-1 is not prime. Res64: A0107B3121066082 Time : 0.0 sec. user=mdettweiler [2015-02-03 01:42:23] 685*2^1390211-1 is not prime. Res64: A92723CB2CE4E350 Time : 0.0 sec. user=mdettweiler [2015-02-03 02:00:33] 693*2^1390211-1 is not prime. Res64: B5980DDD09CB2FBA Time : 0.0 sec. user=mdettweiler [2015-02-03 02:00:34] 903*2^1390211-1 is not prime. Res64: B5084B1BC4A414B8 Time : 0.0 sec. user=mdettweiler [2015-02-03 02:02:53] 999*2^1390211-1 is not prime. Res64: C38600609BD98393 Time : 0.0 sec. user=mdettweiler [2015-02-03 02:02:54] 653*2^1390212-1 is not prime. Res64: FB32634864B6F36E Time : 0.0 sec. user=mdettweiler [2015-02-03 02:06:06] 675*2^1390212-1 is not prime. Res64: B8E234DF190D4C7F Time : 0.0 sec. user=mdettweiler [2015-02-03 02:06:07] 759*2^1390212-1 is not prime. Res64: DEA73E8ABE6654BC Time : 0.0 sec. user=mdettweiler [2015-02-03 02:07:57] 765*2^1390212-1 is not prime. Res64: 0FFB1AA85F4D8242 Time : 0.0 sec. user=mdettweiler [2015-02-03 02:07:58] 923*2^1390212-1 is not prime. Res64: 53899F97AEDBB6A5 Time : 0.0 sec. user=mdettweiler [2015-02-03 02:26:35] 933*2^1390212-1 is not prime. Res64: A1E42F5DD8E98C38 Time : 0.0 sec. user=mdettweiler [2015-02-03 02:26:35] 935*2^1390212-1 is not prime. Res64: 4DCE069DAE481289 Time : 0.0 sec. user=mdettweiler [2015-02-03 02:28:39] 999*2^1390212-1 is not prime. Res64: 47BEB461F790D4FE Time : 0.0 sec. user=mdettweiler [2015-02-03 02:28:40] 609*2^1390213-1 is not prime. Res64: 580D1CD362357FFD Time : 0.0 sec. user=mdettweiler [2015-02-03 02:31:48] 771*2^1390213-1 is not prime. Res64: E902D2F5478060F5 Time : 0.0 sec. user=mdettweiler [2015-02-03 02:31:49] 801*2^1390213-1 is not prime. Res64: 35E39FD2F896BC42 Time : 0.0 sec. user=mdettweiler [2015-02-03 02:33:27] 855*2^1390213-1 is not prime. Res64: EB1083EB645B4C5A Time : 0.0 sec. user=mdettweiler [2015-02-03 02:33:28] 915*2^1390213-1 is not prime. Res64: A2B8D9FDA7C13577 Time : 0.0 sec. user=mdettweiler [2015-02-03 02:52:08] 791*2^1390214-1 is not prime. Res64: A4C231EA9B8D471D Time : 0.0 sec. user=mdettweiler [2015-02-03 02:52:09] 797*2^1390214-1 is not prime. Res64: 6BE41A5B12D0D197 Time : 0.0 sec. user=mdettweiler [2015-02-03 02:54:11] 945*2^1390214-1 is not prime. Res64: 6D683D2ED63AF8F8 Time : 0.0 sec. user=mdettweiler [2015-02-03 02:54:12] 613*2^1390215-1 is not prime. Res64: 608C14C56A0156DC Time : 0.0 sec. user=mdettweiler [2015-02-03 02:57:26] 663*2^1390215-1 is not prime. Res64: 205D42DEE9450011 Time : 0.0 sec. user=mdettweiler [2015-02-03 02:57:26] 675*2^1390215-1 is not prime. Res64: 5EAB9AEA657282F8 Time : 0.0 sec. user=mdettweiler [2015-02-03 02:59:04] 685*2^1390215-1 is not prime. Res64: 4784E9ADAEF201AB Time : 0.0 sec. user=mdettweiler [2015-02-03 02:59:04] 723*2^1390215-1 is not prime. Res64: 7BBBFC45645BBA97 Time : 0.0 sec. user=mdettweiler [2015-02-03 03:18:39] 823*2^1390215-1 is not prime. Res64: 2E471B1DEC9DEA02 Time : 0.0 sec. user=mdettweiler [2015-02-03 03:18:40] 859*2^1390215-1 is not prime. Res64: 53B827646B5A20B2 Time : 0.0 sec. user=mdettweiler [2015-02-03 03:20:39] 919*2^1390215-1 is not prime. Res64: 92E05BC40C14C20C Time : 0.0 sec. user=mdettweiler [2015-02-03 03:20:40] 639*2^1390216-1 is not prime. Res64: 18AC555ACB3CA74A Time : 0.0 sec. user=mdettweiler [2015-02-03 03:24:25] 807*2^1390216-1 is not prime. Res64: 1B5E40281744F09E Time : 0.0 sec. user=mdettweiler [2015-02-03 03:24:26] 813*2^1390216-1 is not prime. Res64: D70EF1BA9114B21D Time : 0.0 sec. user=mdettweiler [2015-02-03 03:24:54] 903*2^1390216-1 is not prime. Res64: C3C1B3FEAE29418C Time : 0.0 sec. user=mdettweiler [2015-02-03 03:24:54] 601*2^1390217-1 is not prime. Res64: 0F691F90C4140928 Time : 0.0 sec. user=mdettweiler [2015-02-03 03:44:20] 717*2^1390217-1 is not prime. Res64: B64AE6E4DC30DF3A Time : 0.0 sec. user=mdettweiler [2015-02-03 03:44:21] 735*2^1390217-1 is not prime. Res64: EBD54881A4F0D023 Time : 0.0 sec. user=mdettweiler [2015-02-03 03:46:31] 759*2^1390217-1 is not prime. Res64: F5FDE68AAD1F580F Time : 0.0 sec. user=mdettweiler [2015-02-03 03:46:32] 829*2^1390217-1 is not prime. Res64: 55B77CF1DF3AAEE6 Time : 0.0 sec. user=mdettweiler [2015-02-03 03:50:16] 901*2^1390217-1 is not prime. Res64: F2BB10D2751CBAED Time : 0.0 sec. user=mdettweiler [2015-02-03 03:50:16] 957*2^1390217-1 is not prime. Res64: 886EF461C2F94D8A Time : 0.0 sec. user=mdettweiler [2015-02-03 03:51:08] 985*2^1390217-1 is not prime. Res64: DBD5B56CDC1B4CE1 Time : 0.0 sec. user=mdettweiler [2015-02-03 03:51:08] 605*2^1390218-1 is not prime. Res64: 8C63231F591FFB4F Time : 0.0 sec. user=mdettweiler [2015-02-03 04:10:28] 861*2^1390218-1 is not prime. Res64: 2B41A0986E463B80 Time : 0.0 sec. user=mdettweiler [2015-02-03 04:10:29] 887*2^1390218-1 is not prime. Res64: A96F601C9C380BCA Time : 0.0 sec. user=mdettweiler [2015-02-03 04:12:23] 993*2^1390218-1 is not prime. Res64: ED0ADE62F4EAD39D Time : 0.0 sec. user=mdettweiler [2015-02-03 04:12:24] 615*2^1390219-1 is not prime. Res64: 78DF27D26BA4BFB2 Time : 0.0 sec. user=mdettweiler [2015-02-03 04:15:54] 619*2^1390219-1 is not prime. Res64: 42FB7174942CA605 Time : 0.0 sec. user=mdettweiler [2015-02-03 04:15:54] 873*2^1390219-1 is not prime. Res64: 72195C7C61651D4B Time : 0.0 sec. user=mdettweiler [2015-02-03 04:16:49] 909*2^1390219-1 is not prime. Res64: 036CE76A8AA03497 Time : 0.0 sec. user=mdettweiler [2015-02-03 04:16:50] 951*2^1390219-1 is not prime. Res64: 80B8A90864166A68 Time : 0.0 sec. user=mdettweiler [2015-02-03 04:36:07] 615*2^1390220-1 is not prime. Res64: 4E64A4B294BDD7B5 Time : 0.0 sec. user=mdettweiler [2015-02-03 04:36:07] 717*2^1390220-1 is not prime. Res64: 58949572844670A4 Time : 0.0 sec. user=mdettweiler [2015-02-03 04:37:58] 953*2^1390220-1 is not prime. Res64: 7B476F3B7007BD35 Time : 0.0 sec. user=mdettweiler [2015-02-03 04:37:58] 977*2^1390220-1 is not prime. Res64: A70AEB99638E6431 Time : 0.0 sec. user=mdettweiler [2015-02-03 04:41:26] 649*2^1390221-1 is not prime. Res64: 86DA15E1AD14F3EC Time : 0.0 sec. user=mdettweiler [2015-02-03 04:41:26] 777*2^1390221-1 is not prime. Res64: E90AA666BF9EA28A Time : 0.0 sec. user=mdettweiler [2015-02-03 04:42:19] 867*2^1390221-1 is not prime. Res64: 218DF54BA1F5206A Time : 0.0 sec. user=mdettweiler [2015-02-03 04:42:20] 647*2^1390222-1 is not prime. Res64: 9E9383D3FC16A536 Time : 0.0 sec. user=mdettweiler [2015-02-03 05:01:41] 831*2^1390222-1 is not prime. Res64: 8B2A0A7D45A79686 Time : 0.0 sec. user=mdettweiler [2015-02-03 05:01:43] 857*2^1390222-1 is not prime. Res64: 5D082731513B6A18 Time : 0.0 sec. user=mdettweiler [2015-02-03 05:03:29] 885*2^1390222-1 is not prime. Res64: 7B89B7B47EEFB8C5 Time : 0.0 sec. user=mdettweiler [2015-02-03 05:03:30] 661*2^1390223-1 is not prime. Res64: D68FDAC5F3DD29A7 Time : 0.0 sec. user=mdettweiler [2015-02-03 05:06:56] 693*2^1390223-1 is not prime. Res64: 907765CB17BE046B Time : 0.0 sec. user=mdettweiler [2015-02-03 05:06:56] 703*2^1390223-1 is not prime. Res64: CA12F931F918E33A Time : 0.0 sec. user=mdettweiler [2015-02-03 05:07:48] 745*2^1390223-1 is not prime. Res64: D7D68C3AA1BFD8AD Time : 0.0 sec. user=mdettweiler [2015-02-03 05:07:48] 771*2^1390223-1 is not prime. Res64: FCBF237231F43B73 Time : 0.0 sec. user=mdettweiler [2015-02-03 05:27:33] 805*2^1390223-1 is not prime. Res64: E0C0CEC5D43909F7 Time : 0.0 sec. user=mdettweiler [2015-02-03 05:27:33] 885*2^1390223-1 is not prime. Res64: 02382C255868F262 Time : 0.0 sec. user=mdettweiler [2015-02-03 05:29:05] 943*2^1390223-1 is not prime. Res64: E281E2E6E597E285 Time : 0.0 sec. user=mdettweiler [2015-02-03 05:29:06] 993*2^1390223-1 is not prime. Res64: E96D106B813ECEF5 Time : 0.0 sec. user=mdettweiler [2015-02-03 05:32:28] 609*2^1390224-1 is not prime. Res64: 7CBF7420D151F2DA Time : 0.0 sec. user=mdettweiler [2015-02-03 05:32:29] 657*2^1390224-1 is not prime. Res64: 833C840AFE1E5173 Time : 0.0 sec. user=mdettweiler [2015-02-03 05:33:13] 693*2^1390224-1 is not prime. Res64: 63959201476C77DA Time : 0.0 sec. user=mdettweiler [2015-02-03 05:33:14] 719*2^1390224-1 is not prime. Res64: EDC612B44600762F Time : 0.0 sec. user=mdettweiler [2015-02-03 05:53:00] 765*2^1390224-1 is not prime. Res64: 061E21364F83AF1B Time : 0.0 sec. user=mdettweiler [2015-02-03 05:53:01] 809*2^1390224-1 is not prime. Res64: 7191CE094712EBA7 Time : 0.0 sec. user=mdettweiler [2015-02-03 05:54:28] 903*2^1390224-1 is not prime. Res64: 22EA0F41C7048EEE Time : 0.0 sec. user=mdettweiler [2015-02-03 05:54:29] 667*2^1390225-1 is not prime. Res64: C620B4C2BBC9F70B Time : 0.0 sec. user=mdettweiler [2015-02-03 05:57:53] 691*2^1390225-1 is not prime. Res64: 0466BA2905062D0B Time : 0.0 sec. user=mdettweiler [2015-02-03 05:57:53] 699*2^1390225-1 is not prime. Res64: 60C1218589876A94 Time : 0.0 sec. user=mdettweiler [2015-02-03 05:58:38] 721*2^1390225-1 is not prime. Res64: 2E08F8092761DF19 Time : 0.0 sec. user=mdettweiler [2015-02-03 05:58:38] 841*2^1390225-1 is not prime. Res64: 8EF014D546B9964B Time : 0.0 sec. user=mdettweiler [2015-02-03 06:18:31] 847*2^1390225-1 is not prime. Res64: F3570A6DB20FA07C Time : 0.0 sec. user=mdettweiler [2015-02-03 06:18:32] 855*2^1390225-1 is not prime. Res64: 95620EA950910A7A Time : 0.0 sec. user=mdettweiler [2015-02-03 06:19:54] 889*2^1390225-1 is not prime. Res64: 86103B91FFACC31A Time : 0.0 sec. user=mdettweiler [2015-02-03 06:19:55] 895*2^1390225-1 is not prime. Res64: AC952586F2FD89D7 Time : 0.0 sec. user=mdettweiler [2015-02-03 06:23:19] 657*2^1390226-1 is not prime. Res64: 6F546D29277FDAB2 Time : 0.0 sec. user=mdettweiler [2015-02-03 06:23:19] 675*2^1390226-1 is not prime. Res64: DFBAF2FDC9AFA244 Time : 0.0 sec. user=mdettweiler [2015-02-03 06:24:01] 711*2^1390226-1 is not prime. Res64: A2757BE921B13025 Time : 0.0 sec. user=mdettweiler [2015-02-03 06:24:01] 785*2^1390226-1 is not prime. Res64: 9192311FEA055E0E Time : 0.0 sec. user=mdettweiler [2015-02-03 06:44:00] 801*2^1390226-1 is not prime. Res64: 80F080F4C0220627 Time : 0.0 sec. user=mdettweiler [2015-02-03 06:44:01] 813*2^1390226-1 is not prime. Res64: E5FC8F9E6BC20822 Time : 0.0 sec. user=mdettweiler [2015-02-03 06:45:18] 875*2^1390226-1 is not prime. Res64: E9FC5E0D0CEC28FC Time : 0.0 sec. user=mdettweiler [2015-02-03 06:45:18] 945*2^1390226-1 is not prime. Res64: C5106968A20B5866 Time : 0.0 sec. user=mdettweiler [2015-02-03 06:48:44] 963*2^1390226-1 is not prime. Res64: B31AD985BDE0661B Time : 0.0 sec. user=mdettweiler [2015-02-03 06:48:45] 609*2^1390227-1 is not prime. Res64: 8481CCAD45F527BF Time : 0.0 sec. user=mdettweiler [2015-02-03 06:49:23] 625*2^1390227-1 is not prime. Res64: A4B3DD1361F4C795 Time : 0.0 sec. user=mdettweiler [2015-02-03 06:49:23] 885*2^1390227-1 is not prime. Res64: 3C1099D924B65118 Time : 0.0 sec. user=mdettweiler [2015-02-03 07:09:35] 979*2^1390227-1 is not prime. Res64: D3F8D65A7723566D Time : 0.0 sec. user=mdettweiler [2015-02-03 07:09:35] 803*2^1390228-1 is not prime. Res64: 3412323003134783 Time : 0.0 sec. user=mdettweiler [2015-02-03 07:10:46] 827*2^1390228-1 is not prime. Res64: 08A55CFDC3DC6356 Time : 0.0 sec. user=mdettweiler [2015-02-03 07:10:46] 875*2^1390228-1 is not prime. Res64: 8B4FDC6EB449E5D9 Time : 0.0 sec. user=mdettweiler [2015-02-03 07:14:16] 989*2^1390228-1 is not prime. Res64: 1CA261D55D481B4B Time : 0.0 sec. user=mdettweiler [2015-02-03 07:14:17] 615*2^1390229-1 is not prime. Res64: C5FFBF4C00EDF9D3 Time : 0.0 sec. user=mdettweiler [2015-02-03 07:14:49] 825*2^1390229-1 is not prime. Res64: 8365EB740A1EE828 Time : 0.0 sec. user=mdettweiler [2015-02-03 07:14:50] 657*2^1390230-1 is not prime. Res64: 0E7C710197B10393 Time : 0.0 sec. user=mdettweiler [2015-02-03 07:35:13] 707*2^1390230-1 is not prime. Res64: 0BC82A5D67C4670F Time : 0.0 sec. user=mdettweiler [2015-02-03 07:35:13] 725*2^1390230-1 is not prime. Res64: 8E4035FCD44017EF Time : 0.0 sec. user=mdettweiler [2015-02-03 07:36:12] 773*2^1390230-1 is not prime. Res64: A52C04CAD1DF187E Time : 0.0 sec. user=mdettweiler [2015-02-03 07:36:12] 825*2^1390230-1 is not prime. Res64: 9D7804C1DC75B038 Time : 0.0 sec. user=mdettweiler [2015-02-03 07:39:43] 843*2^1390230-1 is not prime. Res64: 420EFA848903B824 Time : 0.0 sec. user=mdettweiler [2015-02-03 07:39:44] 933*2^1390230-1 is not prime. Res64: 16DF8A6D6A00694B Time : 0.0 sec. user=mdettweiler [2015-02-03 07:40:13] 603*2^1390231-1 is not prime. Res64: F193611BB8DD1AD3 Time : 0.0 sec. user=mdettweiler [2015-02-03 07:40:13] 693*2^1390231-1 is not prime. Res64: 83AE402905114D8D Time : 0.0 sec. user=mdettweiler [2015-02-03 08:00:48] 723*2^1390231-1 is not prime. Res64: BBA0455E78588373 Time : 0.0 sec. user=mdettweiler [2015-02-03 08:00:49] 855*2^1390231-1 is not prime. Res64: 5199CF5D856005AE Time : 0.0 sec. user=mdettweiler [2015-02-03 08:01:46] 925*2^1390231-1 is not prime. Res64: 097F868F93F317AB Time : 0.0 sec. user=mdettweiler [2015-02-03 08:01:47] 961*2^1390231-1 is not prime. Res64: AC848061ADB14143 Time : 0.0 sec. user=mdettweiler [2015-02-03 08:05:16] 605*2^1390232-1 is not prime. Res64: 645D3C608C3E7DCD Time : 0.0 sec. user=mdettweiler [2015-02-03 08:05:16] 623*2^1390232-1 is not prime. Res64: 592C4C255309DCAE Time : 0.0 sec. user=mdettweiler [2015-02-03 08:05:37] 645*2^1390232-1 is not prime. Res64: 17CC2F3451F6B017 Time : 0.0 sec. user=mdettweiler [2015-02-03 08:05:37] 719*2^1390232-1 is not prime. Res64: 955E7EBE319D2084 Time : 0.0 sec. user=mdettweiler [2015-02-03 08:26:39] 777*2^1390232-1 is not prime. Res64: 743923649CB11170 Time : 0.0 sec. user=mdettweiler [2015-02-03 08:26:39] 867*2^1390232-1 is not prime. Res64: CC9ABBCC8C9E9E43 Time : 0.0 sec. user=mdettweiler [2015-02-03 08:27:15] 681*2^1390233-1 is not prime. Res64: 05C401916E470485 Time : 0.0 sec. user=mdettweiler [2015-02-03 08:27:16] 751*2^1390233-1 is not prime. Res64: D28BD49F3C5E767E Time : 0.0 sec. user=mdettweiler [2015-02-03 08:30:48] 889*2^1390233-1 is not prime. Res64: 261EEB1E38DED0C0 Time : 0.0 sec. user=mdettweiler [2015-02-03 08:30:48] 987*2^1390233-1 is not prime. Res64: 3569B0DD924B56C3 Time : 0.0 sec. user=mdettweiler [2015-02-03 08:31:05] 657*2^1390234-1 is not prime. Res64: 615F10BEDE4845D2 Time : 0.0 sec. user=mdettweiler [2015-02-03 08:31:06] 705*2^1390234-1 is not prime. Res64: E4D02387AE9220A1 Time : 0.0 sec. user=mdettweiler [2015-02-03 08:52:06] 731*2^1390234-1 is not prime. Res64: D0A3E8A7F640F19B Time : 0.0 sec. user=mdettweiler [2015-02-03 08:52:06] 825*2^1390234-1 is not prime. Res64: 573CA0D109230664 Time : 0.0 sec. user=mdettweiler [2015-02-03 08:52:40] 831*2^1390234-1 is not prime. Res64: 90B6055A4787BB65 Time : 0.0 sec. user=mdettweiler [2015-02-03 08:52:41] 923*2^1390234-1 is not prime. Res64: 60EBD81D83413928 Time : 0.0 sec. user=mdettweiler [2015-02-03 08:56:15] 971*2^1390234-1 is not prime. Res64: F02F07F2FC74CB71 Time : 0.0 sec. user=mdettweiler [2015-02-03 08:56:15] 993*2^1390234-1 is not prime. Res64: 320317AADF00F1D5 Time : 0.0 sec. user=mdettweiler [2015-02-03 08:56:30] 603*2^1390235-1 is not prime. Res64: 2952C0FDC3F31EF0 Time : 0.0 sec. user=mdettweiler [2015-02-03 08:56:31] 643*2^1390235-1 is not prime. Res64: 7F9455553FC8A2BE Time : 0.0 sec. user=mdettweiler [2015-02-03 09:17:38] 705*2^1390235-1 is not prime. Res64: E5CC8AA57B0B8848 Time : 0.0 sec. user=mdettweiler [2015-02-03 09:17:38] 741*2^1390235-1 is not prime. Res64: 86ED8B4999D6564C Time : 0.0 sec. user=mdettweiler [2015-02-03 09:18:08] 895*2^1390235-1 is not prime. Res64: 3FC79108DA770F9D Time : 0.0 sec. user=mdettweiler [2015-02-03 09:18:08] 913*2^1390235-1 is not prime. Res64: 6075C2ACE5EED3C9 Time : 0.0 sec. user=mdettweiler [2015-02-03 09:21:44] 985*2^1390235-1 is not prime. Res64: D6F215FB37B763E5 Time : 0.0 sec. user=mdettweiler [2015-02-03 09:21:45] 999*2^1390235-1 is not prime. Res64: AE393479FBBEFC49 Time : 0.0 sec. user=mdettweiler [2015-02-03 09:21:59] 783*2^1390236-1 is not prime. Res64: 09710053AFA1088C Time : 0.0 sec. user=mdettweiler [2015-02-03 09:21:59] 933*2^1390236-1 is not prime. Res64: C1EC7315C416ECDE Time : 0.0 sec. user=mdettweiler [2015-02-03 09:43:17] 945*2^1390236-1 is not prime. Res64: 97201CE4568B578B Time : 0.0 sec. user=mdettweiler [2015-02-03 09:43:18] 607*2^1390237-1 is not prime. Res64: 285A315310F15D4B Time : 0.0 sec. user=mdettweiler [2015-02-03 09:43:35] 609*2^1390237-1 is not prime. Res64: D237CADAC1F11BE5 Time : 0.0 sec. user=mdettweiler [2015-02-03 09:43:36] 619*2^1390237-1 is not prime. Res64: 169599405C917AB1 Time : 0.0 sec. user=mdettweiler [2015-02-03 09:47:13] 741*2^1390237-1 is not prime. Res64: 759FEE70F3E2DDE4 Time : 0.0 sec. user=mdettweiler [2015-02-03 09:47:13] 747*2^1390237-1 is not prime. Res64: 5AF904F150C99A84 Time : 0.0 sec. user=mdettweiler [2015-02-03 09:47:24] 757*2^1390237-1 is not prime. Res64: F421D61E1049A22A Time : 0.0 sec. user=mdettweiler [2015-02-03 09:47:25] 819*2^1390237-1 is not prime. Res64: 56DB9EC5019F3541 Time : 0.0 sec. user=mdettweiler [2015-02-03 10:08:47] 829*2^1390237-1 is not prime. Res64: C59094C15E186BAD Time : 0.0 sec. user=mdettweiler [2015-02-03 10:08:47] 885*2^1390237-1 is not prime. Res64: 98FF2885CE1C2C23 Time : 0.0 sec. user=mdettweiler [2015-02-03 10:09:03] 945*2^1390237-1 is not prime. Res64: B137C83B13B235A4 Time : 0.0 sec. user=mdettweiler [2015-02-03 10:09:04] 605*2^1390238-1 is not prime. Res64: 2B3C25B0B35AE3B1 Time : 0.0 sec. user=mdettweiler [2015-02-03 10:12:39] 623*2^1390238-1 is not prime. Res64: 250521903E454527 Time : 0.0 sec. user=mdettweiler [2015-02-03 10:12:39] 677*2^1390238-1 is not prime. Res64: C2F90858F67F472D Time : 0.0 sec. user=mdettweiler [2015-02-03 10:12:56] 773*2^1390238-1 is not prime. Res64: 75FF09BA75D4D713 Time : 0.0 sec. user=mdettweiler [2015-02-03 10:12:57] 875*2^1390238-1 is not prime. Res64: AC11765F6F95CE71 Time : 0.0 sec. user=mdettweiler [2015-02-03 10:34:12] 953*2^1390238-1 is not prime. Res64: 43949E070CDDD513 Time : 0.0 sec. user=mdettweiler [2015-02-03 10:34:13] 685*2^1390239-1 is not prime. Res64: 39E3C9B19D652D32 Time : 0.0 sec. user=mdettweiler [2015-02-03 10:34:38] 711*2^1390239-1 is not prime. Res64: 02C74789AB55E9C7 Time : 0.0 sec. user=mdettweiler [2015-02-03 10:34:39] 829*2^1390239-1 is not prime. Res64: 5790998DE9FF129F Time : 0.0 sec. user=mdettweiler [2015-02-03 10:38:06] 975*2^1390239-1 is not prime. Res64: 39B337E62B8CF830 Time : 0.0 sec. user=mdettweiler [2015-02-03 10:38:07] 675*2^1390240-1 is not prime. Res64: B15DDA34F8EAEBC0 Time : 0.0 sec. user=mdettweiler [2015-02-03 10:38:25] 699*2^1390240-1 is not prime. Res64: 8C5161DBEEDC68C1 Time : 0.0 sec. user=mdettweiler [2015-02-03 10:38:26] 765*2^1390240-1 is not prime. Res64: 65F12E40DAB13204 Time : 0.0 sec. user=mdettweiler [2015-02-03 10:59:40] 825*2^1390240-1 is not prime. Res64: E6BD77A216969EC3 Time : 0.0 sec. user=mdettweiler [2015-02-03 10:59:41] 875*2^1390240-1 is not prime. Res64: 76B429E2026DEB3A Time : 0.0 sec. user=mdettweiler [2015-02-03 11:00:14] 897*2^1390240-1 is not prime. Res64: AA3D4CC8D209F5FB Time : 0.0 sec. user=mdettweiler [2015-02-03 11:00:16] 933*2^1390240-1 is not prime. Res64: 5460E76526ABC722 Time : 0.0 sec. user=mdettweiler [2015-02-03 11:03:31] 975*2^1390240-1 is not prime. Res64: 3BB48D7A66EE3ED5 Time : 0.0 sec. user=mdettweiler [2015-02-03 11:03:33] 619*2^1390241-1 is not prime. Res64: 894193E938319F03 Time : 0.0 sec. user=mdettweiler [2015-02-03 11:03:48] 691*2^1390241-1 is not prime. Res64: EEECA5171F9542A8 Time : 0.0 sec. user=mdettweiler [2015-02-03 11:03:51] 711*2^1390241-1 is not prime. Res64: C5F50E0EAFDFDBBB Time : 0.0 sec. user=juhehe [2015-02-03 11:24:04] 799*2^1390241-1 is not prime. Res64: DF7C71301FE2D42E Time : 0.0 sec. user=mdettweiler [2015-02-03 11:25:07] 865*2^1390241-1 is not prime. Res64: 1FDC0DDD34D50487 Time : 0.0 sec. user=mdettweiler [2015-02-03 11:25:09] 671*2^1390242-1 is not prime. Res64: CF9D395E5F4A82CB Time : 0.0 sec. user=mdettweiler [2015-02-03 11:25:53] 705*2^1390242-1 is not prime. Res64: F19A061D361AF564 Time : 0.0 sec. user=mdettweiler [2015-02-03 11:25:54] 977*2^1390242-1 is not prime. Res64: FB4F5AF5E0946C6C Time : 0.0 sec. user=mdettweiler [2015-02-03 11:29:05] 685*2^1390243-1 is not prime. Res64: 1BBC28C6A97FA0DE Time : 0.0 sec. user=mdettweiler [2015-02-03 11:29:06] 769*2^1390243-1 is not prime. Res64: 3733C5B47BD8A997 Time : 0.0 sec. user=mdettweiler [2015-02-03 11:29:25] 871*2^1390243-1 is not prime. Res64: 7A164A2E3D56CD4D Time : 0.0 sec. user=mdettweiler [2015-02-03 11:29:26] 635*2^1390244-1 is not prime. Res64: D01F6894A4C938DF Time : 0.0 sec. user=mdettweiler [2015-02-03 11:50:39] 689*2^1390244-1 is not prime. Res64: 71038AEC7139AB8E Time : 0.0 sec. user=mdettweiler [2015-02-03 11:50:39] 753*2^1390244-1 is not prime. Res64: 39BA6EFB35D20DEE Time : 0.0 sec. user=mdettweiler [2015-02-03 11:51:27] 869*2^1390244-1 is not prime. Res64: F651490A7430D0DF Time : 0.0 sec. user=mdettweiler [2015-02-03 11:51:28] 903*2^1390244-1 is not prime. Res64: E551A194183B4ADB Time : 0.0 sec. user=mdettweiler [2015-02-03 11:54:39] 959*2^1390244-1 is not prime. Res64: F2FEBA2856A5132F Time : 0.0 sec. user=mdettweiler [2015-02-03 11:54:39] 639*2^1390245-1 is not prime. Res64: D3139DFE356A7254 Time : 0.0 sec. user=mdettweiler [2015-02-03 11:55:01] 679*2^1390245-1 is not prime. Res64: BD7F6E7046E8B618 Time : 0.0 sec. user=mdettweiler [2015-02-03 11:55:02] 691*2^1390245-1 is not prime. Res64: 2594B8BE967927CF Time : 0.0 sec. user=mdettweiler [2015-02-03 12:16:13] 727*2^1390245-1 is not prime. Res64: 33E56AC45A83D2EF Time : 0.0 sec. user=mdettweiler [2015-02-03 12:16:14] 741*2^1390245-1 is not prime. Res64: 02BE3179368637BC Time : 0.0 sec. user=mdettweiler [2015-02-03 12:16:54] 979*2^1390245-1 is not prime. Res64: 0ED7267A71686424 Time : 0.0 sec. user=mdettweiler [2015-02-03 12:16:54] 999*2^1390245-1 is not prime. Res64: ADCD2A4ADFF29894 Time : 0.0 sec. user=mdettweiler [2015-02-03 12:20:07] 747*2^1390246-1 is not prime. Res64: A6980B1ADA8EECC5 Time : 0.0 sec. user=mdettweiler [2015-02-03 12:20:08] 755*2^1390246-1 is not prime. Res64: 1E102DA6F495A3EF Time : 0.0 sec. user=mdettweiler [2015-02-03 12:20:28] 801*2^1390246-1 is not prime. Res64: 8ECB3AB8D98B7029 Time : 0.0 sec. user=mdettweiler [2015-02-03 12:20:28] 975*2^1390246-1 is not prime. Res64: 11DC3827B7970005 Time : 0.0 sec. user=mdettweiler [2015-02-03 12:41:41] 615*2^1390247-1 is not prime. Res64: 45F4BCFD95E2A9FC Time : 0.0 sec. user=mdettweiler [2015-02-03 12:41:42] 619*2^1390247-1 is not prime. Res64: 171E0E7EFFA35665 Time : 0.0 sec. user=mdettweiler [2015-02-03 12:42:29] 621*2^1390247-1 is not prime. Res64: C7B999CA3E7C05A1 Time : 0.0 sec. user=mdettweiler [2015-02-03 12:42:29] 669*2^1390247-1 is not prime. Res64: E4CC94C0469A54A5 Time : 0.0 sec. user=mdettweiler [2015-02-03 12:45:38] 829*2^1390247-1 is not prime. Res64: A9595DEF2FC1CA8F Time : 0.0 sec. user=mdettweiler [2015-02-03 12:45:39] 885*2^1390247-1 is not prime. Res64: B533A4BC14A128BB Time : 0.0 sec. user=mdettweiler [2015-02-03 12:46:04] 945*2^1390247-1 is not prime. Res64: 66CA73D34E4B9F89 Time : 0.0 sec. user=mdettweiler [2015-02-03 12:46:05] 993*2^1390247-1 is not prime. Res64: 89E7FB3279840DA9 Time : 0.0 sec. user=mdettweiler [2015-02-03 13:07:48] 639*2^1390248-1 is not prime. Res64: 4C8154AF257D65E6 Time : 0.0 sec. user=mdettweiler [2015-02-03 13:07:48] 737*2^1390248-1 is not prime. Res64: BE6D83DF6CD77394 Time : 0.0 sec. user=mdettweiler [2015-02-03 13:08:25] 747*2^1390248-1 is not prime. Res64: 20E9EDC6292E447F Time : 0.0 sec. user=mdettweiler [2015-02-03 13:08:25] 773*2^1390248-1 is not prime. Res64: 9EE2E461271BAC5B Time : 0.0 sec. user=mdettweiler [2015-02-03 13:11:54] 849*2^1390248-1 is not prime. Res64: 40D353659B196F35 Time : 0.0 sec. user=mdettweiler [2015-02-03 13:11:54] 887*2^1390248-1 is not prime. Res64: A00C354B20C58C61 Time : 0.0 sec. user=mdettweiler [2015-02-03 13:12:12] 721*2^1390249-1 is not prime. Res64: BE7C93056057BBC2 Time : 0.0 sec. user=mdettweiler [2015-02-03 13:12:13] 807*2^1390249-1 is not prime. Res64: 6F68F616F85C7D7F Time : 0.0 sec. user=mdettweiler [2015-02-03 13:34:40] 835*2^1390249-1 is not prime. Res64: 61DC5DA90E79B71A Time : 0.0 sec. user=mdettweiler [2015-02-03 13:34:40] 603*2^1390250-1 is not prime. Res64: 27D46BE3D0AE7C12 Time : 0.0 sec. user=mdettweiler [2015-02-03 13:34:53] 665*2^1390250-1 is not prime. Res64: D1CAB78065D68628 Time : 0.0 sec. user=mdettweiler [2015-02-03 13:34:53] 671*2^1390250-1 is not prime. Res64: 11A7E30509454D97 Time : 0.0 sec. user=mdettweiler [2015-02-03 13:38:25] 707*2^1390250-1 is not prime. Res64: 78A1FD92084D1EF4 Time : 0.0 sec. user=mdettweiler [2015-02-03 13:38:25] 713*2^1390250-1 is not prime. Res64: 72C0919C8DB48EDC Time : 0.0 sec. user=mdettweiler [2015-02-03 13:38:32] 735*2^1390250-1 is not prime. Res64: 3389810700017CB1 Time : 0.0 sec. user=mdettweiler [2015-02-03 13:38:32] 813*2^1390250-1 is not prime. Res64: E5C019DE47509AD9 Time : 0.0 sec. user=mdettweiler [2015-02-03 14:00:29] 827*2^1390250-1 is not prime. Res64: AB0DADA068128AD5 Time : 0.0 sec. user=mdettweiler [2015-02-03 14:00:30] 833*2^1390250-1 is not prime. Res64: 0BF847ABB8CF5CC7 Time : 0.0 sec. user=mdettweiler [2015-02-03 14:00:36] 851*2^1390250-1 is not prime. Res64: 5DD9ECD9C7F454FB Time : 0.0 sec. user=mdettweiler [2015-02-03 14:00:37] 861*2^1390250-1 is not prime. Res64: E15CA979C4339BE5 Time : 0.0 sec. user=mdettweiler [2015-02-03 14:04:07] 769*2^1390251-1 is not prime. Res64: 113C142F8D1DF280 Time : 0.0 sec. user=mdettweiler [2015-02-03 14:04:09] 623*2^1390252-1 is not prime. Res64: 483E66A9EC9A755B Time : 0.0 sec. user=mdettweiler [2015-02-03 14:04:12] 911*2^1390250-1 is not prime. Res64: 3143799F9FABACB6 Time : 0.0 sec. user=mdettweiler [2015-02-03 14:04:14] 741*2^1390251-1 is not prime. Res64: DEFF13109BCC6FBD Time : 0.0 sec. user=mdettweiler [2015-02-03 14:26:35] 677*2^1390252-1 is not prime. Res64: D4CD1E04F541C318 Time : 0.0 sec. user=mdettweiler [2015-02-03 14:26:36] 755*2^1390252-1 is not prime. Res64: 5FB90191923ACC84 Time : 0.0 sec. user=mdettweiler [2015-02-03 14:26:39] 759*2^1390252-1 is not prime. Res64: 119ADF425011AD04 Time : 0.0 sec. user=mdettweiler [2015-02-03 14:26:40] 777*2^1390252-1 is not prime. Res64: BE70ADE8AA972454 Time : 0.0 sec. user=mdettweiler [2015-02-03 14:29:52] 803*2^1390252-1 is not prime. Res64: 2675212E1B6CEBE3 Time : 0.0 sec. user=mdettweiler [2015-02-03 14:29:52] 933*2^1390252-1 is not prime. Res64: AF2998322A67D54F Time : 0.0 sec. user=mdettweiler [2015-02-03 14:29:57] 989*2^1390252-1 is not prime. Res64: 839CA18036FAEEE8 Time : 0.0 sec. user=mdettweiler [2015-02-03 14:29:58] 627*2^1390253-1 is not prime. Res64: EF961E46880E838D Time : 0.0 sec. user=mdettweiler [2015-02-03 14:52:19] 685*2^1390253-1 is not prime. Res64: 5563BE8A8BA5A20A Time : 0.0 sec. user=mdettweiler [2015-02-03 14:52:19] 715*2^1390253-1 is not prime. Res64: 54BEE073A7427C8E Time : 0.0 sec. user=mdettweiler [2015-02-03 14:52:22] 759*2^1390253-1 is not prime. Res64: 025A0A85665C1D84 Time : 0.0 sec. user=mdettweiler [2015-02-03 14:52:22] 955*2^1390253-1 is not prime. Res64: EC5D4592E5D71049 Time : 0.0 sec. user=mdettweiler [2015-02-03 14:55:37] 967*2^1390253-1 is not prime. Res64: B717577A0399A70A Time : 0.0 sec. user=mdettweiler [2015-02-03 14:55:37] 641*2^1390254-1 is not prime. Res64: A20CA1DA5687AF26 Time : 0.0 sec. user=mdettweiler [2015-02-03 14:55:41] 741*2^1390254-1 is not prime. Res64: 2187AAF6BE71D45B Time : 0.0 sec. user=mdettweiler [2015-02-03 14:55:41] 755*2^1390254-1 is not prime. Res64: 735ABEF197AA1539 Time : 0.0 sec. user=mdettweiler [2015-02-03 15:18:45] 765*2^1390254-1 is not prime. Res64: EC07FB22B451961D Time : 0.0 sec. user=mdettweiler [2015-02-03 15:18:46] 783*2^1390254-1 is not prime. Res64: CDA0AFF4E184A9FB Time : 0.0 sec. user=mdettweiler [2015-02-03 15:18:51] 791*2^1390254-1 is not prime. Res64: 7857EBFFB8F6D951 Time : 0.0 sec. user=mdettweiler [2015-02-03 15:18:52] 861*2^1390254-1 is not prime. Res64: 2FDD5F2992E79CA2 Time : 0.0 sec. user=mdettweiler [2015-02-03 15:22:05] 917*2^1390254-1 is not prime. Res64: B7E92A945DFD44EA Time : 0.0 sec. user=mdettweiler [2015-02-03 15:22:05] 927*2^1390254-1 is not prime. Res64: F43DB44DA2A45380 Time : 0.0 sec. user=mdettweiler [2015-02-03 15:22:12] 961*2^1390255-1 is not prime. Res64: 6FB0AC279E91370D Time : 0.0 sec. user=mdettweiler [2015-02-03 15:22:12] 617*2^1390256-1 is not prime. Res64: 312C7324C38F615B Time : 0.0 sec. user=mdettweiler [2015-02-03 15:46:02] 635*2^1390256-1 is not prime. Res64: 6ED882F5727B09FB Time : 0.0 sec. user=mdettweiler [2015-02-03 15:46:02] 719*2^1390256-1 is not prime. Res64: F3D637F245B1E120 Time : 0.0 sec. user=mdettweiler [2015-02-03 15:46:03] 725*2^1390256-1 is not prime. Res64: 3C18EA0E7134C906 Time : 0.0 sec. user=mdettweiler [2015-02-03 15:46:03] 759*2^1390256-1 is not prime. Res64: A6152A8340F80576 Time : 0.0 sec. user=mdettweiler [2015-02-03 15:49:19] 773*2^1390256-1 is not prime. Res64: 3758E42CF74F3163 Time : 0.0 sec. user=mdettweiler [2015-02-03 15:49:19] 875*2^1390256-1 is not prime. Res64: D57E6A2F1946B1F8 Time : 0.0 sec. user=mdettweiler [2015-02-03 15:49:33] 909*2^1390256-1 is not prime. Res64: D88AC68FE4555924 Time : 0.0 sec. user=mdettweiler [2015-02-03 15:49:33] 917*2^1390256-1 is not prime. Res64: 0944BF8A958CA1B9 Time : 0.0 sec. user=mdettweiler [2015-02-03 16:12:53] 651*2^1390257-1 is not prime. Res64: E4FCAE2C837CFAF5 Time : 0.0 sec. user=mdettweiler [2015-02-03 16:12:53] 777*2^1390257-1 is not prime. Res64: 5EAF8B60A462AE5E Time : 0.0 sec. user=mdettweiler [2015-02-03 16:13:03] 625*2^1390257-1 is not prime. Res64: 5A30FA6522966CEC Time : 0.0 sec. user=mdettweiler [2015-02-03 16:13:03] 649*2^1390257-1 is not prime. Res64: 3BD52324B3C4A7ED Time : 0.0 sec. user=mdettweiler [2015-02-03 16:15:58] 831*2^1390257-1 is not prime. Res64: 3519509AE564A7B2 Time : 0.0 sec. user=mdettweiler [2015-02-03 16:15:58] 847*2^1390257-1 is not prime. Res64: BEA37F8854533ADF Time : 0.0 sec. user=mdettweiler [2015-02-03 16:16:25] 865*2^1390257-1 is not prime. Res64: 610045446F03EBB8 Time : 0.0 sec. user=mdettweiler [2015-02-03 16:16:26] 889*2^1390257-1 is not prime. Res64: E397AE4DB306E34F Time : 0.0 sec. user=mdettweiler [2015-02-03 16:39:40] 945*2^1390257-1 is not prime. Res64: 66A404453C944839 Time : 0.0 sec. user=mdettweiler [2015-02-03 16:39:41] 635*2^1390258-1 is not prime. Res64: F3F682789667167E Time : 0.0 sec. user=mdettweiler [2015-02-03 16:39:41] 645*2^1390258-1 is not prime. Res64: 5E8AF8F32CDEC3F0 Time : 0.0 sec. user=mdettweiler [2015-02-03 16:39:42] 647*2^1390258-1 is not prime. Res64: 06F86319BCD890C8 Time : 0.0 sec. user=mdettweiler [2015-02-03 16:42:32] 671*2^1390258-1 is not prime. Res64: 4DD29252A54A8CCD Time : 0.0 sec. user=mdettweiler [2015-02-03 16:42:33] 801*2^1390258-1 is not prime. Res64: ECAA28F4CDAC95F5 Time : 0.0 sec. user=mdettweiler [2015-02-03 16:43:17] 813*2^1390258-1 is not prime. Res64: B08FDAEA5AE57E9D Time : 0.0 sec. user=mdettweiler [2015-02-03 16:43:18] 825*2^1390258-1 is not prime. Res64: F775FAE558418986 Time : 0.0 sec. user=mdettweiler [2015-02-03 17:06:18] 867*2^1390258-1 is not prime. Res64: 5518D9A24C667AA2 Time : 0.0 sec. user=mdettweiler [2015-02-03 17:06:19] 981*2^1390258-1 is not prime. Res64: 4F3D4BC6091657C2 Time : 0.0 sec. user=mdettweiler [2015-02-03 17:06:35] 831*2^1390258-1 is not prime. Res64: B6861C0B0899BA41 Time : 0.0 sec. user=mdettweiler [2015-02-03 17:06:36] 833*2^1390258-1 is not prime. Res64: C728B60BF94B925B Time : 0.0 sec. user=mdettweiler [2015-02-03 17:09:14] 621*2^1390259-1 is not prime. Res64: 45A55709F142712D Time : 0.0 sec. user=mdettweiler [2015-02-03 17:09:15] 631*2^1390259-1 is not prime. Res64: E2B1398A6FAD3562 Time : 0.0 sec. user=mdettweiler [2015-02-03 17:10:13] 645*2^1390259-1 is not prime. Res64: F55C4A3A1B17AC35 Time : 0.0 sec. user=mdettweiler [2015-02-03 17:10:13] 759*2^1390259-1 is not prime. Res64: 6DABC442FDD462FA Time : 0.0 sec. user=mdettweiler [2015-02-03 17:34:03] 775*2^1390259-1 is not prime. Res64: 388677089DD42594 Time : 0.0 sec. user=mdettweiler [2015-02-03 17:34:03] 829*2^1390259-1 is not prime. Res64: 545998B17843F54B Time : 0.0 sec. user=mdettweiler [2015-02-03 17:34:43] 843*2^1390259-1 is not prime. Res64: D8B9721F3B623CA2 Time : 0.0 sec. user=mdettweiler [2015-02-03 17:34:43] 913*2^1390259-1 is not prime. Res64: FD03D5B83D136E87 Time : 0.0 sec. user=mdettweiler [2015-02-03 17:37:02] 633*2^1390260-1 is not prime. Res64: 0E49C15AC67FFA52 Time : 0.0 sec. user=mdettweiler [2015-02-03 17:37:02] 689*2^1390260-1 is not prime. Res64: DD1E1CB900652214 Time : 0.0 sec. user=mdettweiler [2015-02-03 17:37:54] 795*2^1390260-1 is not prime. Res64: 77666783CD91FBD7 Time : 0.0 sec. user=mdettweiler [2015-02-03 17:37:55] 887*2^1390260-1 is not prime. Res64: 1241179C369F7152 Time : 0.0 sec. user=mdettweiler [2015-02-03 18:01:20] 909*2^1390260-1 is not prime. Res64: 56D9113D90924AA1 Time : 0.0 sec. user=mdettweiler [2015-02-03 18:01:22] 645*2^1390261-1 is not prime. Res64: 1A81A1DBB1D7C3FA Time : 0.0 sec. user=mdettweiler [2015-02-03 18:01:53] 681*2^1390261-1 is not prime. Res64: 37C74B372678B9DF Time : 0.0 sec. user=mdettweiler [2015-02-03 18:01:53] 741*2^1390261-1 is not prime. Res64: 7C0D261F8E004B48 Time : 0.0 sec. user=mdettweiler [2015-02-03 18:04:32] 757*2^1390261-1 is not prime. Res64: FB2FED0F6EE64A5C Time : 0.0 sec. user=mdettweiler [2015-02-03 18:04:33] 789*2^1390261-1 is not prime. Res64: EB7642C4C1DBDB39 Time : 0.0 sec. user=mdettweiler [2015-02-03 18:05:26] 861*2^1390261-1 is not prime. Res64: F2D39A8B44F7AF5D Time : 0.0 sec. user=mdettweiler [2015-02-03 18:05:27] 975*2^1390261-1 is not prime. Res64: E5114EEDD7EB8A72 Time : 0.0 sec. user=mdettweiler [2015-02-03 18:29:47] 683*2^1390262-1 is not prime. Res64: AEE9D76A50ACFBD2 Time : 0.0 sec. user=mdettweiler [2015-02-03 18:29:47] 705*2^1390262-1 is not prime. Res64: B83E91AE29425B8A Time : 0.0 sec. user=mdettweiler [2015-02-03 18:29:48] 645*2^1390262-1 is not prime. Res64: 4B28D8502764E75B Time : 0.0 sec. user=mdettweiler [2015-02-03 18:29:49] 657*2^1390262-1 is not prime. Res64: 3AD1CDE01144E1B8 Time : 0.0 sec. user=mdettweiler [2015-02-03 18:32:25] 797*2^1390262-1 is not prime. Res64: 1A0A6CFB6F85CA0D Time : 0.0 sec. user=mdettweiler [2015-02-03 18:32:25] 857*2^1390262-1 is not prime. Res64: 755C51ED7C8BCC2C Time : 0.0 sec. user=mdettweiler [2015-02-03 18:33:41] 887*2^1390262-1 is not prime. Res64: D8387D803CB48DD7 Time : 0.0 sec. user=mdettweiler [2015-02-03 18:33:42] 897*2^1390262-1 is not prime. Res64: 35A5D6291AFF7514 Time : 0.0 sec. user=mdettweiler [2015-02-03 18:58:08] 613*2^1390263-1 is not prime. Res64: CAF92B603E26143C Time : 0.0 sec. user=mdettweiler [2015-02-03 18:58:08] 643*2^1390263-1 is not prime. Res64: 3AB3208AD577979E Time : 0.0 sec. user=mdettweiler [2015-02-03 18:58:09] 789*2^1390263-1 is not prime. Res64: 0FA7C0610BD4AC8B Time : 0.0 sec. user=mdettweiler [2015-02-03 18:58:09] 853*2^1390263-1 is not prime. Res64: CA666C05CC42C7B9 Time : 0.0 sec. user=mdettweiler [2015-02-03 19:00:18] 861*2^1390263-1 is not prime. Res64: 5CDBF62BDE451910 Time : 0.0 sec. user=mdettweiler [2015-02-03 19:00:19] 933*2^1390263-1 is not prime. Res64: FC15922C960A0FD4 Time : 0.0 sec. user=mdettweiler [2015-02-03 19:01:40] 943*2^1390263-1 is not prime. Res64: 0C2C9953A3C83C39 Time : 0.0 sec. user=mdettweiler [2015-02-03 19:01:40] 743*2^1390264-1 is not prime. Res64: 66BFB528048A01EA Time : 0.0 sec. user=mdettweiler [2015-02-03 19:24:42] 915*2^1390264-1 is not prime. Res64: 221A055B55F21800 Time : 0.0 sec. user=mdettweiler [2015-02-03 19:24:42] 983*2^1390264-1 is not prime. Res64: 07C565C3969EEBBD Time : 0.0 sec. user=mdettweiler [2015-02-03 19:24:46] 827*2^1390264-1 is not prime. Res64: 50D5D29AECB06FFD Time : 0.0 sec. user=mdettweiler [2015-02-03 19:24:46] 869*2^1390264-1 is not prime. Res64: A19C6488597D8921 Time : 0.0 sec. user=mdettweiler [2015-02-03 19:26:46] 989*2^1390264-1 is not prime. Res64: E130A8AEB477EEE8 Time : 0.0 sec. user=mdettweiler [2015-02-03 19:26:47] 649*2^1390265-1 is not prime. Res64: 168A8A7A8E6F40E6 Time : 0.0 sec. user=mdettweiler [2015-02-03 19:28:23] 679*2^1390265-1 is not prime. Res64: 958F925F7D65EF86 Time : 0.0 sec. user=mdettweiler [2015-02-03 19:28:23] 699*2^1390265-1 is not prime. Res64: EC472A1D97E5EFD0 Time : 0.0 sec. user=mdettweiler [2015-02-03 19:51:19] 799*2^1390265-1 is not prime. Res64: 27120951F8C501F9 Time : 0.0 sec. user=mdettweiler [2015-02-03 19:51:19] 811*2^1390265-1 is not prime. Res64: 853D3E885C04E027 Time : 0.0 sec. user=mdettweiler [2015-02-03 19:51:28] 871*2^1390265-1 is not prime. Res64: C42AC2E72831646B Time : 0.0 sec. user=mdettweiler [2015-02-03 19:51:28] 907*2^1390265-1 is not prime. Res64: F91E0E05B136B26F Time : 0.0 sec. user=mdettweiler [2015-02-03 19:53:15] 915*2^1390265-1 is not prime. Res64: 2724A7C75E68F2FB Time : 0.0 sec. user=mdettweiler [2015-02-03 19:53:16] 949*2^1390265-1 is not prime. Res64: 0FC70A9F52B5137A Time : 0.0 sec. user=mdettweiler [2015-02-03 19:54:55] 981*2^1390265-1 is not prime. Res64: D2FAFB415670EA2A Time : 0.0 sec. user=mdettweiler [2015-02-03 19:54:55] 611*2^1390266-1 is not prime. Res64: E01044950CFA02C5 Time : 0.0 sec. user=mdettweiler [2015-02-03 20:17:55] 641*2^1390266-1 is not prime. Res64: FDEAAC5009046969 Time : 0.0 sec. user=mdettweiler [2015-02-03 20:17:56] 657*2^1390266-1 is not prime. Res64: C14167A76CBFB933 Time : 0.0 sec. user=mdettweiler [2015-02-03 20:18:08] 683*2^1390266-1 is not prime. Res64: 5ECC0D1282341D7E Time : 0.0 sec. user=mdettweiler [2015-02-03 20:18:08] 713*2^1390266-1 is not prime. Res64: A8759F7A5732919B Time : 0.0 sec. user=mdettweiler [2015-02-03 20:19:57] 815*2^1390266-1 is not prime. Res64: 526F44CD1FEC65D9 Time : 0.0 sec. user=mdettweiler [2015-02-03 20:19:58] 843*2^1390266-1 is not prime. Res64: 9F3A6DB1C1EAB340 Time : 0.0 sec. user=mdettweiler [2015-02-03 20:21:33] 963*2^1390266-1 is not prime. Res64: F1A5275EC76AD123 Time : 0.0 sec. user=mdettweiler [2015-02-03 20:21:33] 609*2^1390267-1 is not prime. Res64: 183626FCABFC66F1 Time : 0.0 sec. user=mdettweiler [2015-02-03 20:44:31] 649*2^1390267-1 is not prime. Res64: 2E51E0BEEE1EBAF2 Time : 0.0 sec. user=mdettweiler [2015-02-03 20:44:31] 829*2^1390267-1 is not prime. Res64: 3065E3E98BE1A4FF Time : 0.0 sec. user=mdettweiler [2015-02-03 20:44:58] 849*2^1390267-1 is not prime. Res64: 0B8372830064FC54 Time : 0.0 sec. user=mdettweiler [2015-02-03 20:44:58] 889*2^1390267-1 is not prime. Res64: AC7F04469DD696B1 Time : 0.0 sec. user=mdettweiler [2015-02-03 20:46:49] 951*2^1390267-1 is not prime. Res64: 988DA7C96DE3EB5E Time : 0.0 sec. user=mdettweiler [2015-02-03 20:46:49] 633*2^1390268-1 is not prime. Res64: 0950089AC4282181 Time : 0.0 sec. user=mdettweiler [2015-02-03 20:48:31] 855*2^1390268-1 is not prime. Res64: 3E7B8F217C4E5F49 Time : 0.0 sec. user=mdettweiler [2015-02-03 20:48:32] 909*2^1390268-1 is not prime. Res64: 7C738231A916F948 Time : 0.0 sec. user=mdettweiler [2015-02-03 21:11:36] 969*2^1390268-1 is not prime. Res64: 92FFC7B759BD90D7 Time : 0.0 sec. user=mdettweiler [2015-02-03 21:11:37] 987*2^1390268-1 is not prime. Res64: 9A2FE7AB52078386 Time : 0.0 sec. user=mdettweiler [2015-02-03 21:11:40] 685*2^1390269-1 is not prime. Res64: A72FEF6B8AE904E9 Time : 0.0 sec. user=mdettweiler [2015-02-03 21:11:40] 735*2^1390269-1 is not prime. Res64: A2231E7327644296 Time : 0.0 sec. user=mdettweiler [2015-02-03 21:13:37] 747*2^1390269-1 is not prime. Res64: C1E92062C35F2C3B Time : 0.0 sec. user=mdettweiler [2015-02-03 21:13:38] 825*2^1390269-1 is not prime. Res64: 6D52C8A072762AEE Time : 0.0 sec. user=mdettweiler [2015-02-03 21:15:26] 865*2^1390269-1 is not prime. Res64: D642B5BD6EFE4882 Time : 0.0 sec. user=mdettweiler [2015-02-03 21:15:27] 927*2^1390269-1 is not prime. Res64: 284B412C66E81C78 Time : 0.0 sec. user=mdettweiler [2015-02-03 21:38:10] 723*2^1390270-1 is not prime. Res64: C3F61DFA3ECA105F Time : 0.0 sec. user=mdettweiler [2015-02-03 21:38:10] 743*2^1390270-1 is not prime. Res64: 9045DB19F9B0A00F Time : 0.0 sec. user=mdettweiler [2015-02-03 21:38:18] 945*2^1390269-1 is not prime. Res64: 80D47D42F452E654 Time : 0.0 sec. user=mdettweiler [2015-02-03 21:38:18] 651*2^1390270-1 is not prime. Res64: A30BA3FE6040DD99 Time : 0.0 sec. user=mdettweiler [2015-02-03 21:40:06] 777*2^1390270-1 is not prime. Res64: 54A5DD12D4A4CEA7 Time : 0.0 sec. user=mdettweiler [2015-02-03 21:40:06] 923*2^1390270-1 is not prime. Res64: F9A65BAF88AB9198 Time : 0.0 sec. user=mdettweiler [2015-02-03 21:41:53] 669*2^1390271-1 is not prime. Res64: 00D569EE3F02EA66 Time : 0.0 sec. user=mdettweiler [2015-02-03 21:41:54] 759*2^1390271-1 is not prime. Res64: CBA2C61435654920 Time : 0.0 sec. user=mdettweiler [2015-02-03 22:04:37] 615*2^1390272-1 is not prime. Res64: 12C5DB5879F31DE7 Time : 0.0 sec. user=mdettweiler [2015-02-03 22:04:38] 767*2^1390272-1 is not prime. Res64: 9C429B847422D703 Time : 0.0 sec. user=mdettweiler [2015-02-03 22:04:53] 865*2^1390271-1 is not prime. Res64: 701CBCDEBF8CDC08 Time : 0.0 sec. user=mdettweiler [2015-02-03 22:04:54] 979*2^1390271-1 is not prime. Res64: DDA44E9BB44245CB Time : 0.0 sec. user=mdettweiler [2015-02-03 22:06:43] 837*2^1390272-1 is not prime. Res64: E0B3971D8A09516E Time : 0.0 sec. user=mdettweiler [2015-02-03 22:06:44] 947*2^1390272-1 is not prime. Res64: 6C671C05A525DD39 Time : 0.0 sec. user=mdettweiler [2015-02-03 22:08:15] 609*2^1390273-1 is not prime. Res64: E6928254084691E1 Time : 0.0 sec. user=mdettweiler [2015-02-03 22:08:15] 681*2^1390273-1 is not prime. Res64: 1447890066C323A0 Time : 0.0 sec. user=mdettweiler [2015-02-03 22:31:21] 705*2^1390273-1 is not prime. Res64: B6B4AB3B18E604CC Time : 0.0 sec. user=mdettweiler [2015-02-03 22:31:21] 817*2^1390273-1 is not prime. Res64: C9B66128F13602D0 Time : 0.0 sec. user=mdettweiler [2015-02-03 22:31:23] 847*2^1390273-1 is not prime. Res64: 93486BA5735D630C Time : 0.0 sec. user=mdettweiler [2015-02-03 22:31:23] 877*2^1390273-1 is not prime. Res64: 9B49FF0FE21BABA7 Time : 0.0 sec. user=mdettweiler [2015-02-03 22:33:10] 895*2^1390273-1 is not prime. Res64: B0D057291AABF32E Time : 0.0 sec. user=mdettweiler [2015-02-03 22:33:10] 945*2^1390273-1 is not prime. Res64: 1750515EF2E1812F Time : 0.0 sec. user=mdettweiler [2015-02-03 22:34:41] 999*2^1390273-1 is not prime. Res64: 7637ABCA638FE6DF Time : 0.0 sec. user=mdettweiler [2015-02-03 22:34:42] 605*2^1390274-1 is not prime. Res64: 1E8410E27AB7E4AA Time : 0.0 sec. user=mdettweiler [2015-02-03 22:57:50] 717*2^1390274-1 is not prime. Res64: 1490F8A044A1CEB2 Time : 0.0 sec. user=mdettweiler [2015-02-03 22:57:50] 773*2^1390274-1 is not prime. Res64: 7199F2E346072709 Time : 0.0 sec. user=mdettweiler [2015-02-03 22:57:52] 923*2^1390274-1 is not prime. Res64: D27CE048DB1EF732 Time : 0.0 sec. user=mdettweiler [2015-02-03 22:57:53] 935*2^1390274-1 is not prime. Res64: C397B2A719B14014 Time : 0.0 sec. user=mdettweiler [2015-02-03 22:59:36] 953*2^1390274-1 is not prime. Res64: 5C37DCD9C74EF184 Time : 0.0 sec. user=mdettweiler [2015-02-03 22:59:36] 971*2^1390274-1 is not prime. Res64: 22892FB5CE4FC625 Time : 0.0 sec. user=mdettweiler [2015-02-03 23:01:11] 643*2^1390275-1 is not prime. Res64: 465794704BEFFF41 Time : 0.0 sec. user=mdettweiler [2015-02-03 23:01:11] 663*2^1390275-1 is not prime. Res64: 5580170AEA265838 Time : 0.0 sec. user=mdettweiler [2015-02-03 23:25:06] 711*2^1390275-1 is not prime. Res64: 43763C6CDF7CF2E8 Time : 0.0 sec. user=mdettweiler [2015-02-03 23:25:07] 781*2^1390275-1 is not prime. Res64: 12B5DEC49CE61DB5 Time : 0.0 sec. user=mdettweiler [2015-02-03 23:25:10] 825*2^1390275-1 is not prime. Res64: A5A137365DA7122E Time : 0.0 sec. user=mdettweiler [2015-02-03 23:25:10] 885*2^1390275-1 is not prime. Res64: 4F46E9B2F347AA81 Time : 0.0 sec. user=mdettweiler [2015-02-03 23:26:46] 955*2^1390275-1 is not prime. Res64: 6FF5B8AF6705B59C Time : 0.0 sec. user=mdettweiler [2015-02-03 23:26:46] 973*2^1390275-1 is not prime. Res64: E0CA0B40DA0FE3F0 Time : 0.0 sec. user=mdettweiler [2015-02-03 23:28:17] 603*2^1390276-1 is not prime. Res64: 471EFAA041415130 Time : 0.0 sec. user=mdettweiler [2015-02-03 23:28:17] 609*2^1390276-1 is not prime. Res64: 81A4EBFBC7B5B122 Time : 0.0 sec. user=mdettweiler [2015-02-03 23:51:50] 623*2^1390276-1 is not prime. Res64: B34B163140D7D022 Time : 0.0 sec. user=mdettweiler [2015-02-03 23:51:51] 677*2^1390276-1 is not prime. Res64: F3828BF78B440921 Time : 0.0 sec. user=mdettweiler [2015-02-03 23:52:04] 975*2^1390276-1 is not prime. Res64: 87FE82EA9BB20693 Time : 0.0 sec. user=mdettweiler [2015-02-03 23:52:04] 983*2^1390276-1 is not prime. Res64: C3EEC9EBC41717A2 Time : 0.0 sec. user=mdettweiler [2015-02-03 23:53:19] 619*2^1390277-1 is not prime. Res64: 5FD12E500D1B9987 Time : 0.0 sec. user=mdettweiler [2015-02-03 23:53:19] 655*2^1390277-1 is not prime. Res64: 32CF3F3A1FDF000A Time : 0.0 sec. user=mdettweiler [2015-02-03 23:54:49] 691*2^1390277-1 is not prime. Res64: 276369172DB62E9C Time : 0.0 sec. user=mdettweiler [2015-02-03 23:54:50] 697*2^1390277-1 is not prime. Res64: A41ACD0FC77537E1 Time : 0.0 sec.