user=mdettweiler [2016-10-03 00:07:43] 669*2^1441511-1 is not prime. Res64: 6BF23E8EA7A64844 Time : 0.0 sec. user=mdettweiler [2016-10-03 00:07:44] 673*2^1441511-1 is not prime. Res64: CEAE78433363967F Time : 0.0 sec. user=mdettweiler [2016-10-03 00:07:45] 741*2^1441511-1 is not prime. Res64: F970B4142A47514E Time : 0.0 sec. user=mdettweiler [2016-10-03 00:07:46] 969*2^1441511-1 is not prime. Res64: C5949A8819851EE8 Time : 0.0 sec. user=mdettweiler [2016-10-03 00:07:47] 999*2^1441511-1 is not prime. Res64: 5AFA96B7B3E8D3C5 Time : 0.0 sec. user=mdettweiler [2016-10-03 00:18:56] 633*2^1441512-1 is not prime. Res64: 3BC3B5EF8737E11C Time : 0.0 sec. user=mdettweiler [2016-10-03 00:18:58] 639*2^1441512-1 is not prime. Res64: F53CDE7EB38BE6D6 Time : 0.0 sec. user=mdettweiler [2016-10-03 00:18:58] 737*2^1441512-1 is not prime. Res64: ECB03E371BEB8033 Time : 0.0 sec. user=mdettweiler [2016-10-03 00:18:59] 777*2^1441512-1 is not prime. Res64: 02E1DAC54D587053 Time : 0.0 sec. user=mdettweiler [2016-10-03 00:19:00] 797*2^1441512-1 is not prime. Res64: 578C7264092E5C33 Time : 0.0 sec. user=mdettweiler [2016-10-03 00:39:47] 863*2^1441512-1 is not prime. Res64: CB3FE65EB0A211C6 Time : 0.0 sec. user=mdettweiler [2016-10-03 00:39:47] 903*2^1441512-1 is not prime. Res64: 478DE69E8F3233EC Time : 0.0 sec. user=mdettweiler [2016-10-03 00:39:47] 607*2^1441513-1 is not prime. Res64: 72F80D56F42D418C Time : 0.0 sec. user=mdettweiler [2016-10-03 00:39:48] 747*2^1441513-1 is not prime. Res64: 2A23D822280191A0 Time : 0.0 sec. user=mdettweiler [2016-10-03 00:39:48] 855*2^1441513-1 is not prime. Res64: DF5C40A347EE7B2B Time : 0.0 sec. user=mdettweiler [2016-10-03 00:54:14] 635*2^1441514-1 is not prime. Res64: B52973DC9A1F7064 Time : 0.0 sec. user=mdettweiler [2016-10-03 00:54:14] 701*2^1441514-1 is not prime. Res64: AC49C0161BBB1FED Time : 0.0 sec. user=mdettweiler [2016-10-03 00:54:15] 773*2^1441514-1 is not prime. Res64: 64D5383C37F188CD Time : 0.0 sec. user=mdettweiler [2016-10-03 00:54:15] 903*2^1441514-1 is not prime. Res64: D55E021936D2F3FF Time : 0.0 sec. user=mdettweiler [2016-10-03 00:54:15] 685*2^1441515-1 is not prime. Res64: 2D37FD27B28D7F8D Time : 0.0 sec. user=mdettweiler [2016-10-03 01:05:27] 711*2^1441515-1 is not prime. Res64: 47EE782FBFE21F8B Time : 0.0 sec. user=mdettweiler [2016-10-03 01:05:29] 853*2^1441515-1 is not prime. Res64: 00919D5667FDC947 Time : 0.0 sec. user=mdettweiler [2016-10-03 01:05:30] 861*2^1441515-1 is not prime. Res64: 8732FA29CA364F75 Time : 0.0 sec. user=mdettweiler [2016-10-03 01:05:31] 617*2^1441516-1 is not prime. Res64: D9B86208D543DF50 Time : 0.0 sec. user=mdettweiler [2016-10-03 01:05:32] 647*2^1441516-1 is not prime. Res64: A3F41D10F7EEBB40 Time : 0.0 sec. user=mdettweiler [2016-10-03 01:26:06] 717*2^1441516-1 is not prime. Res64: 2E3C030EC6A56BFC Time : 0.0 sec. user=mdettweiler [2016-10-03 01:26:09] 845*2^1441516-1 is not prime. Res64: A2BCB0E99193C477 Time : 0.0 sec. user=mdettweiler [2016-10-03 01:26:11] 953*2^1441516-1 is not prime. Res64: 299CE15BE58FBA8D Time : 0.0 sec. user=mdettweiler [2016-10-03 01:26:13] 631*2^1441517-1 is not prime. Res64: 6F1A283A8305A8A9 Time : 0.0 sec. user=mdettweiler [2016-10-03 01:26:14] 759*2^1441517-1 is not prime. Res64: 0B38F32C6FADBEF8 Time : 0.0 sec. user=mdettweiler [2016-10-03 01:40:18] 985*2^1441517-1 is not prime. Res64: 16622EA3C66115A8 Time : 0.0 sec. user=mdettweiler [2016-10-03 01:40:18] 651*2^1441518-1 is not prime. Res64: 66F1454D37DEAD27 Time : 0.0 sec. user=mdettweiler [2016-10-03 01:40:19] 765*2^1441518-1 is not prime. Res64: A3BE1AFB95BDE5BF Time : 0.0 sec. user=mdettweiler [2016-10-03 01:40:19] 861*2^1441518-1 is not prime. Res64: 3E9B64CC25493345 Time : 0.0 sec. user=mdettweiler [2016-10-03 01:40:19] 603*2^1441519-1 is not prime. Res64: 6F8E821C52B0E983 Time : 0.0 sec. user=mdettweiler [2016-10-03 01:51:51] 615*2^1441519-1 is not prime. Res64: 4A0D1D5DC7378194 Time : 0.0 sec. user=mdettweiler [2016-10-03 01:51:52] 649*2^1441519-1 is not prime. Res64: 23855360562BE520 Time : 0.0 sec. user=mdettweiler [2016-10-03 01:51:52] 831*2^1441519-1 is not prime. Res64: AE7129ED51AB4556 Time : 0.0 sec. user=mdettweiler [2016-10-03 01:51:53] 855*2^1441519-1 is not prime. Res64: 10DB950881691AE3 Time : 0.0 sec. user=mdettweiler [2016-10-03 01:51:54] 859*2^1441519-1 is not prime. Res64: 29B59605822A57CB Time : 0.0 sec. user=mdettweiler [2016-10-03 02:09:02] 875*2^1441508-1 is not prime. Res64: 44E617D24910FFD5 Time : 0.0 sec. user=mdettweiler [2016-10-03 02:12:22] 933*2^1441519-1 is not prime. Res64: 5A85AF0B3377CE39 Time : 0.0 sec. user=mdettweiler [2016-10-03 02:12:24] 973*2^1441519-1 is not prime. Res64: 03F366D017C08104 Time : 0.0 sec. user=mdettweiler [2016-10-03 02:12:24] 645*2^1441520-1 is not prime. Res64: 1AE7CC2A4B827E06 Time : 0.0 sec. user=mdettweiler [2016-10-03 02:12:25] 665*2^1441520-1 is not prime. Res64: 87A51CC1C5D3DD93 Time : 0.0 sec. user=mdettweiler [2016-10-03 02:12:26] 713*2^1441520-1 is not prime. Res64: AFBD185F58DA90B8 Time : 0.0 sec. user=mdettweiler [2016-10-03 02:26:04] 717*2^1441520-1 is not prime. Res64: A06B207E1C0868B8 Time : 0.0 sec. user=mdettweiler [2016-10-03 02:26:04] 759*2^1441520-1 is not prime. Res64: 68FBE6F74A913B4E Time : 0.0 sec. user=mdettweiler [2016-10-03 02:26:05] 773*2^1441520-1 is not prime. Res64: 9BE5EAB8653E3749 Time : 0.0 sec. user=mdettweiler [2016-10-03 02:26:05] 839*2^1441520-1 is not prime. Res64: 059467CE91C4E659 Time : 0.0 sec. user=mdettweiler [2016-10-03 02:26:05] 855*2^1441520-1 is not prime. Res64: 9A1C2C1AB27F5FF4 Time : 0.0 sec. user=mdettweiler [2016-10-03 02:37:21] 935*2^1441520-1 is not prime. Res64: F480848EFAAD7D8F Time : 0.0 sec. user=mdettweiler [2016-10-03 02:37:23] 963*2^1441520-1 is not prime. Res64: 1DB42B9CBD24F3B4 Time : 0.0 sec. user=mdettweiler [2016-10-03 02:37:24] 977*2^1441520-1 is not prime. Res64: 09CCEA8A56CC510C Time : 0.0 sec. user=mdettweiler [2016-10-03 02:37:26] 615*2^1441521-1 is not prime. Res64: 9BB509A0C8234A99 Time : 0.0 sec. user=mdettweiler [2016-10-03 02:37:26] 649*2^1441521-1 is not prime. Res64: 372B0AB9E1DB9AF9 Time : 0.0 sec. user=mdettweiler [2016-10-03 02:54:52] 747*2^1441521-1 is not prime. Res64: 1C7CF7BD68500986 Time : 0.0 sec. user=mdettweiler [2016-10-03 02:54:53] 819*2^1441521-1 is not prime. Res64: E33240B0E3C6ED1C Time : 0.0 sec. user=mdettweiler [2016-10-03 02:54:53] 705*2^1441522-1 is not prime. Res64: 28BA4953EBFDF20A Time : 0.0 sec. user=mdettweiler [2016-10-03 02:54:53] 843*2^1441522-1 is not prime. Res64: 043504EFAF3F3B0A Time : 0.0 sec. user=mdettweiler [2016-10-03 02:54:54] 873*2^1441522-1 is not prime. Res64: 9D348A9FA18C30C0 Time : 0.0 sec. user=mdettweiler [2016-10-03 02:57:51] 917*2^1441522-1 is not prime. Res64: 09E1AC3B8ED6AA2B Time : 0.0 sec. user=mdettweiler [2016-10-03 02:57:51] 957*2^1441522-1 is not prime. Res64: A457C40632141743 Time : 0.0 sec. user=mdettweiler [2016-10-03 02:57:52] 643*2^1441523-1 is not prime. Res64: 22AC4D135DDA3D82 Time : 0.0 sec. user=mdettweiler [2016-10-03 02:57:52] 673*2^1441523-1 is not prime. Res64: CA2A7CE8C34A6B58 Time : 0.0 sec. user=mdettweiler [2016-10-03 02:57:53] 963*2^1441523-1 is not prime. Res64: 36C380478D491B1F Time : 0.0 sec. user=mdettweiler [2016-10-03 03:12:08] 737*2^1441524-1 is not prime. Res64: 5B3C042B5EF59BE0 Time : 0.0 sec. user=mdettweiler [2016-10-03 03:12:08] 749*2^1441524-1 is not prime. Res64: 406DF2E77858B4FE Time : 0.0 sec. user=mdettweiler [2016-10-03 03:12:09] 837*2^1441524-1 is not prime. Res64: B4F642A62C3EBEE3 Time : 0.0 sec. user=mdettweiler [2016-10-03 03:12:09] 863*2^1441524-1 is not prime. Res64: 801DB2AA34A5BE4B Time : 0.0 sec. user=mdettweiler [2016-10-03 03:12:10] 965*2^1441524-1 is not prime. Res64: BCECC3976DA7DD03 Time : 0.0 sec. user=mdettweiler [2016-10-03 03:23:15] 651*2^1441525-1 is not prime. Res64: 0B3C83BF5B5E68CC Time : 0.0 sec. user=mdettweiler [2016-10-03 03:23:15] 741*2^1441525-1 is not prime. Res64: 78BA9B1DA1B45E1B Time : 0.0 sec. user=mdettweiler [2016-10-03 03:23:16] 789*2^1441525-1 is not prime. Res64: 4851EDF5461EB5AC Time : 0.0 sec. user=mdettweiler [2016-10-03 03:23:16] 801*2^1441525-1 is not prime. Res64: FBAA7FE1A7839364 Time : 0.0 sec. user=mdettweiler [2016-10-03 03:23:17] 897*2^1441525-1 is not prime. Res64: 73233DB612C714F5 Time : 0.0 sec. user=mdettweiler [2016-10-03 03:40:47] 915*2^1441525-1 is not prime. Res64: 8EEEF2B8D7EACAD5 Time : 0.0 sec. user=mdettweiler [2016-10-03 03:40:50] 939*2^1441525-1 is not prime. Res64: 18FE986069077AA6 Time : 0.0 sec. user=mdettweiler [2016-10-03 03:40:51] 955*2^1441525-1 is not prime. Res64: EAC010534C9E2C41 Time : 0.0 sec. user=mdettweiler [2016-10-03 03:40:53] 615*2^1441526-1 is not prime. Res64: 35718F9258660C8D Time : 0.0 sec. user=mdettweiler [2016-10-03 03:40:54] 707*2^1441526-1 is not prime. Res64: 0288F0AE846C2106 Time : 0.0 sec. user=mdettweiler [2016-10-03 03:43:28] 861*2^1441526-1 is not prime. Res64: 931B9D5599713EE2 Time : 0.0 sec. user=mdettweiler [2016-10-03 03:43:29] 691*2^1441527-1 is not prime. Res64: A09DC92975EDDC32 Time : 0.0 sec. user=mdettweiler [2016-10-03 03:43:29] 861*2^1441527-1 is not prime. Res64: D06505183BD88410 Time : 0.0 sec. user=mdettweiler [2016-10-03 03:43:30] 931*2^1441527-1 is not prime. Res64: D26FA9CBEE02F90A Time : 0.0 sec. user=mdettweiler [2016-10-03 03:43:31] 975*2^1441527-1 is not prime. Res64: 6E64A7A131B520CE Time : 0.0 sec. user=mdettweiler [2016-10-03 03:57:35] 623*2^1441528-1 is not prime. Res64: 9594FA5FE7B65BFF Time : 0.0 sec. user=mdettweiler [2016-10-03 03:57:36] 689*2^1441528-1 is not prime. Res64: 763E3BDDF54300FF Time : 0.0 sec. user=mdettweiler [2016-10-03 03:57:38] 819*2^1441528-1 is not prime. Res64: 457C2245357E4E6B Time : 0.0 sec. user=mdettweiler [2016-10-03 03:57:39] 869*2^1441528-1 is not prime. Res64: 660A143D71630A8A Time : 0.0 sec. user=mdettweiler [2016-10-03 03:57:40] 947*2^1441528-1 is not prime. Res64: 17A8C40B9BFD7FEF Time : 0.0 sec. user=mdettweiler [2016-10-03 04:08:55] 989*2^1441528-1 is not prime. Res64: 9B1ABB1D191468F1 Time : 0.0 sec. user=mdettweiler [2016-10-03 04:08:58] 637*2^1441529-1 is not prime. Res64: 1406A14976A21FC4 Time : 0.0 sec. user=mdettweiler [2016-10-03 04:26:59] 987*2^1441529-1 is not prime. Res64: 4AEB0C4B234B434E Time : 0.0 sec. user=mdettweiler [2016-10-03 04:26:59] 633*2^1441530-1 is not prime. Res64: EF01AFCA54C52D42 Time : 0.0 sec. user=mdettweiler [2016-10-03 04:27:00] 635*2^1441530-1 is not prime. Res64: AFB0EAD82B531CCB Time : 0.0 sec. user=mdettweiler [2016-10-03 04:27:00] 677*2^1441530-1 is not prime. Res64: A33EA9C2103F98C5 Time : 0.0 sec. user=mdettweiler [2016-10-03 04:27:01] 681*2^1441530-1 is not prime. Res64: B7C1F3A654AA895B Time : 0.0 sec. user=mdettweiler [2016-10-03 04:29:17] 707*2^1441530-1 is not prime. Res64: 8AC3991694442D32 Time : 0.0 sec. user=mdettweiler [2016-10-03 04:29:17] 717*2^1441530-1 is not prime. Res64: 37D74378D75C985D Time : 0.0 sec. user=mdettweiler [2016-10-03 04:29:18] 845*2^1441530-1 is not prime. Res64: 9FED8F075004EE2A Time : 0.0 sec. user=mdettweiler [2016-10-03 04:29:18] 851*2^1441530-1 is not prime. Res64: BC8FCFA87B49DE75 Time : 0.0 sec. user=mdettweiler [2016-10-03 04:29:18] 691*2^1441531-1 is not prime. Res64: 67176B58F8939104 Time : 0.0 sec. user=mdettweiler [2016-10-03 04:43:46] 849*2^1441531-1 is not prime. Res64: 5BD76CA9C04C3488 Time : 0.0 sec. user=mdettweiler [2016-10-03 04:43:46] 753*2^1441532-1 is not prime. Res64: 10273D94909CBB14 Time : 0.0 sec. user=mdettweiler [2016-10-03 04:43:47] 819*2^1441532-1 is not prime. Res64: D394A8E189DE3612 Time : 0.0 sec. user=mdettweiler [2016-10-03 04:43:47] 837*2^1441532-1 is not prime. Res64: 5B014EC44CA947B3 Time : 0.0 sec. user=mdettweiler [2016-10-03 04:43:47] 983*2^1441532-1 is not prime. Res64: 2747724CBAB3F750 Time : 0.0 sec. user=mdettweiler [2016-10-03 05:13:15] 987*2^1441532-1 is not prime. Res64: 0B3136206AC5706A Time : 0.0 sec. user=mdettweiler [2016-10-03 05:13:15] 781*2^1441533-1 is not prime. Res64: 5235886E7FB98241 Time : 0.0 sec. user=mdettweiler [2016-10-03 05:13:16] 817*2^1441533-1 is not prime. Res64: 383423823AB9644E Time : 0.0 sec. user=mdettweiler [2016-10-03 05:13:17] 861*2^1441533-1 is not prime. Res64: CA72AAFC4E1A43B8 Time : 0.0 sec. user=mdettweiler [2016-10-03 05:13:17] 635*2^1441534-1 is not prime. Res64: 977A11562A8C169B Time : 0.0 sec. user=mdettweiler [2016-10-03 05:15:38] 831*2^1441534-1 is not prime. Res64: 3D1F78DE025C8E60 Time : 0.0 sec. user=mdettweiler [2016-10-03 05:15:38] 609*2^1441535-1 is not prime. Res64: 0A78712C1C890FC6 Time : 0.0 sec. user=mdettweiler [2016-10-03 05:15:39] 693*2^1441535-1 is not prime. Res64: 36E3F2C31BAD9C22 Time : 0.0 sec. user=mdettweiler [2016-10-03 05:15:39] 705*2^1441535-1 is not prime. Res64: E936D15926AAA604 Time : 0.0 sec. user=mdettweiler [2016-10-03 05:15:40] 799*2^1441535-1 is not prime. Res64: 417B51E8C072E330 Time : 0.0 sec. user=mdettweiler [2016-10-03 05:29:47] 871*2^1441535-1 is not prime. Res64: 43A75BC301F557C7 Time : 0.0 sec. user=mdettweiler [2016-10-03 05:29:48] 939*2^1441535-1 is not prime. Res64: EC7264CF1E03E8A4 Time : 0.0 sec. user=mdettweiler [2016-10-03 05:29:48] 963*2^1441535-1 is not prime. Res64: D9195C9582F3E195 Time : 0.0 sec. user=mdettweiler [2016-10-03 05:29:49] 973*2^1441535-1 is not prime. Res64: B06D49DCE42F4EBC Time : 0.0 sec. user=mdettweiler [2016-10-03 05:29:49] 639*2^1441537-1 is not prime. Res64: CEBEC77584A888F1 Time : 0.0 sec. user=mdettweiler [2016-10-03 05:59:20] 649*2^1441537-1 is not prime. Res64: 5DAEBC5780FAE687 Time : 0.0 sec. user=mdettweiler [2016-10-03 05:59:21] 829*2^1441537-1 is not prime. Res64: 84A28370E00EA9E9 Time : 0.0 sec. user=mdettweiler [2016-10-03 05:59:21] 871*2^1441537-1 is not prime. Res64: 14814DE3F1EA56E4 Time : 0.0 sec. user=mdettweiler [2016-10-03 05:59:22] 919*2^1441537-1 is not prime. Res64: F046095F1F3184EC Time : 0.0 sec. user=mdettweiler [2016-10-03 05:59:22] 985*2^1441537-1 is not prime. Res64: 5C9AEDCCE360E9F1 Time : 0.0 sec. user=mdettweiler [2016-10-03 06:02:01] 857*2^1441538-1 is not prime. Res64: 2073ED29FD4718BC Time : 0.0 sec. user=mdettweiler [2016-10-03 06:02:02] 625*2^1441539-1 is not prime. Res64: 2AB9C466DE3412B8 Time : 0.0 sec. user=mdettweiler [2016-10-03 06:02:03] 633*2^1441539-1 is not prime. Res64: C23AB273243D26C4 Time : 0.0 sec. user=mdettweiler [2016-10-03 06:02:04] 663*2^1441539-1 is not prime. Res64: 50D05B6DE168AE86 Time : 0.0 sec. user=mdettweiler [2016-10-03 06:02:06] 735*2^1441539-1 is not prime. Res64: C23E7BC1807A2444 Time : 0.0 sec. user=mdettweiler [2016-10-03 06:16:07] 741*2^1441539-1 is not prime. Res64: 7CFF2C5359091071 Time : 0.0 sec. user=mdettweiler [2016-10-03 06:16:08] 795*2^1441539-1 is not prime. Res64: E528E1F4394F869C Time : 0.0 sec. user=mdettweiler [2016-10-03 06:16:09] 895*2^1441539-1 is not prime. Res64: E2911CD1695C721D Time : 0.0 sec. user=mdettweiler [2016-10-03 06:16:09] 931*2^1441539-1 is not prime. Res64: EE77C9D857338D28 Time : 0.0 sec. user=mdettweiler [2016-10-03 06:16:10] 961*2^1441539-1 is not prime. Res64: C5073E9010E511CE Time : 0.0 sec. user=mdettweiler [2016-10-03 06:45:25] 999*2^1441539-1 is not prime. Res64: BEDD4316301021FE Time : 0.0 sec. user=mdettweiler [2016-10-03 06:45:25] 615*2^1441540-1 is not prime. Res64: CA38301051B5DCF6 Time : 0.0 sec. user=mdettweiler [2016-10-03 06:45:25] 689*2^1441540-1 is not prime. Res64: 3C28933E90A04BE1 Time : 0.0 sec. user=mdettweiler [2016-10-03 06:45:26] 735*2^1441540-1 is not prime. Res64: 491C2EDD989BD523 Time : 0.0 sec. user=mdettweiler [2016-10-03 06:45:26] 875*2^1441540-1 is not prime. Res64: 77E8ECE9B733FF28 Time : 0.0 sec. user=mdettweiler [2016-10-03 06:48:37] 897*2^1441540-1 is not prime. Res64: 21A394BF85B51638 Time : 0.0 sec. user=mdettweiler [2016-10-03 06:48:37] 923*2^1441540-1 is not prime. Res64: 87E75D89600772D3 Time : 0.0 sec. user=mdettweiler [2016-10-03 06:48:38] 983*2^1441540-1 is not prime. Res64: A55EC04BF554970D Time : 0.0 sec. user=mdettweiler [2016-10-03 06:48:38] 989*2^1441540-1 is not prime. Res64: 8B3810049FEEBE2A Time : 0.0 sec. user=mdettweiler [2016-10-03 06:48:39] 631*2^1441541-1 is not prime. Res64: 45F69E3435308E70 Time : 0.0 sec. user=mdettweiler [2016-10-03 07:02:27] 675*2^1441541-1 is not prime. Res64: 656E0580EA2E8476 Time : 0.0 sec. user=mdettweiler [2016-10-03 07:02:28] 769*2^1441541-1 is not prime. Res64: E6E18B0C50D85DCB Time : 0.0 sec. user=mdettweiler [2016-10-03 07:02:29] 781*2^1441541-1 is not prime. Res64: A315CE64FE4E42F8 Time : 0.0 sec. user=mdettweiler [2016-10-03 07:02:30] 795*2^1441541-1 is not prime. Res64: 58BD52EF432420AD Time : 0.0 sec. user=mdettweiler [2016-10-03 07:02:31] 819*2^1441541-1 is not prime. Res64: 9657762E7FF3C5DC Time : 0.0 sec. user=mdettweiler [2016-10-03 07:17:24] 721*2^1441529-1 is not prime. Res64: 6A47494CF3CD99B4 Time : 0.0 sec. user=mdettweiler [2016-10-03 07:17:25] 831*2^1441529-1 is not prime. Res64: F8468AA92624F6AA Time : 0.0 sec. user=mdettweiler [2016-10-03 07:17:26] 865*2^1441529-1 is not prime. Res64: 9B596D3C77863A30 Time : 0.0 sec. user=mdettweiler [2016-10-03 07:31:22] 837*2^1441541-1 is not prime. Res64: FD749E9BBFDFA4DA Time : 0.0 sec. user=mdettweiler [2016-10-03 07:31:23] 621*2^1441542-1 is not prime. Res64: D0D2C9F1C3B22A89 Time : 0.0 sec. user=mdettweiler [2016-10-03 07:31:23] 627*2^1441542-1 is not prime. Res64: 6C47D6E1962B13E0 Time : 0.0 sec. user=mdettweiler [2016-10-03 07:31:23] 801*2^1441542-1 is not prime. Res64: 4C50A19202EE2207 Time : 0.0 sec. user=mdettweiler [2016-10-03 07:31:24] 815*2^1441542-1 is not prime. Res64: 5671ABAE40B53E83 Time : 0.0 sec. user=mdettweiler [2016-10-03 07:34:38] 903*2^1441542-1 is not prime. Res64: FDC7F90C7EDC9965 Time : 0.0 sec. user=mdettweiler [2016-10-03 07:34:38] 745*2^1441543-1 is not prime. Res64: 7EBED8C880CD5004 Time : 0.0 sec. user=mdettweiler [2016-10-03 07:34:39] 805*2^1441543-1 is not prime. Res64: 2B04E43B7FE5D005 Time : 0.0 sec. user=mdettweiler [2016-10-03 07:34:39] 891*2^1441543-1 is not prime. Res64: 3A36AFF222982991 Time : 0.0 sec. user=mdettweiler [2016-10-03 07:34:40] 915*2^1441543-1 is not prime. Res64: BD194F022C1CEC43 Time : 0.0 sec. user=mdettweiler [2016-10-03 07:48:11] 939*2^1441543-1 is not prime. Res64: D9F8D8BD1AB82AA4 Time : 0.0 sec. user=mdettweiler [2016-10-03 07:48:11] 993*2^1441543-1 is not prime. Res64: A992A953D4A0C196 Time : 0.0 sec. user=mdettweiler [2016-10-03 07:48:12] 657*2^1441544-1 is not prime. Res64: 1D8982940E022B3F Time : 0.0 sec. user=mdettweiler [2016-10-03 07:48:12] 663*2^1441544-1 is not prime. Res64: 28A04706045E9C7E Time : 0.0 sec. user=mdettweiler [2016-10-03 07:48:12] 813*2^1441544-1 is not prime. Res64: E493AC3B175547D7 Time : 0.0 sec. user=mdettweiler [2016-10-03 08:02:55] 837*2^1441544-1 is not prime. Res64: 6A6241175E88F762 Time : 0.0 sec. user=mdettweiler [2016-10-03 08:02:57] 843*2^1441544-1 is not prime. Res64: 1B11D0B0825BA1A5 Time : 0.0 sec. user=mdettweiler [2016-10-03 08:02:57] 855*2^1441544-1 is not prime. Res64: 14670CF094088167 Time : 0.0 sec. user=mdettweiler [2016-10-03 08:02:58] 903*2^1441544-1 is not prime. Res64: 4F11A33BFF8C5E92 Time : 0.0 sec. user=mdettweiler [2016-10-03 08:02:58] 927*2^1441544-1 is not prime. Res64: C9D7FEA4C11C28AC Time : 0.0 sec. user=mdettweiler [2016-10-03 08:16:36] 929*2^1441544-1 is not prime. Res64: 6AF8E92777752D97 Time : 0.0 sec. user=mdettweiler [2016-10-03 08:16:37] 627*2^1441545-1 is not prime. Res64: 22F45BD5AC96F05E Time : 0.0 sec. user=mdettweiler [2016-10-03 08:16:38] 667*2^1441545-1 is not prime. Res64: 778AE8737719CEB6 Time : 0.0 sec. user=mdettweiler [2016-10-03 08:16:40] 717*2^1441545-1 is not prime. Res64: 584AC982317FFAC3 Time : 0.0 sec. user=mdettweiler [2016-10-03 08:16:41] 889*2^1441545-1 is not prime. Res64: 761753282DDCA464 Time : 0.0 sec. user=mdettweiler [2016-10-03 08:19:52] 895*2^1441545-1 is not prime. Res64: 7B918DF1EB217912 Time : 0.0 sec. user=mdettweiler [2016-10-03 08:19:53] 951*2^1441545-1 is not prime. Res64: 5536A498690507E2 Time : 0.0 sec. user=mdettweiler [2016-10-03 08:19:53] 653*2^1441546-1 is not prime. Res64: 79BD2F82614A7CF4 Time : 0.0 sec. user=mdettweiler [2016-10-03 08:19:54] 657*2^1441546-1 is not prime. Res64: 936C1C4E506FA38B Time : 0.0 sec. user=mdettweiler [2016-10-03 08:19:55] 735*2^1441546-1 is not prime. Res64: A6CA44CD9F193CDB Time : 0.0 sec. user=mdettweiler [2016-10-03 08:33:17] 741*2^1441546-1 is not prime. Res64: AEDD602A7847118B Time : 0.0 sec. user=mdettweiler [2016-10-03 08:33:17] 765*2^1441546-1 is not prime. Res64: F8B753FB75D48DB9 Time : 0.0 sec. user=mdettweiler [2016-10-03 08:33:17] 923*2^1441546-1 is not prime. Res64: D7BC98B8CC62FFA3 Time : 0.0 sec. user=mdettweiler [2016-10-03 08:33:18] 947*2^1441546-1 is not prime. Res64: 842131D6DF4C5A5D Time : 0.0 sec. user=mdettweiler [2016-10-03 08:33:18] 957*2^1441546-1 is not prime. Res64: 952A2D10CE898C14 Time : 0.0 sec. user=mdettweiler [2016-10-03 08:48:23] 655*2^1441547-1 is not prime. Res64: CE70634A2B0135B7 Time : 0.0 sec. user=mdettweiler [2016-10-03 08:48:23] 669*2^1441547-1 is not prime. Res64: 7DA96FA9C1B1A117 Time : 0.0 sec. user=mdettweiler [2016-10-03 08:48:23] 673*2^1441547-1 is not prime. Res64: B31E6788BCE2D20A Time : 0.0 sec. user=mdettweiler [2016-10-03 08:48:24] 733*2^1441547-1 is not prime. Res64: E2E4DDD5DA951923 Time : 0.0 sec. user=mdettweiler [2016-10-03 08:48:24] 871*2^1441547-1 is not prime. Res64: 45C6BF6CE2496A5D Time : 0.0 sec. user=mdettweiler [2016-10-03 09:02:15] 981*2^1441547-1 is not prime. Res64: E29716BFDC94F999 Time : 0.0 sec. user=mdettweiler [2016-10-03 09:02:16] 767*2^1441548-1 is not prime. Res64: A4034A356DE039F7 Time : 0.0 sec. user=mdettweiler [2016-10-03 09:02:17] 795*2^1441548-1 is not prime. Res64: 2FE7F60EA80ABD15 Time : 0.0 sec. user=mdettweiler [2016-10-03 09:02:18] 839*2^1441548-1 is not prime. Res64: 5D1AB6B3F9C2FF45 Time : 0.0 sec. user=mdettweiler [2016-10-03 09:02:18] 845*2^1441548-1 is not prime. Res64: FD3CDCB576D08B9F Time : 0.0 sec. user=mdettweiler [2016-10-03 09:05:18] 933*2^1441548-1 is not prime. Res64: 2B4A4B056403AEEB Time : 0.0 sec. user=mdettweiler [2016-10-03 09:05:21] 957*2^1441548-1 is not prime. Res64: E366352C97C059F6 Time : 0.0 sec. user=mdettweiler [2016-10-03 09:05:22] 775*2^1441549-1 is not prime. Res64: ACD8C386A2167008 Time : 0.0 sec. user=mdettweiler [2016-10-03 09:05:23] 831*2^1441549-1 is not prime. Res64: 14D3E581389FC421 Time : 0.0 sec. user=mdettweiler [2016-10-03 09:05:25] 847*2^1441549-1 is not prime. Res64: 9DB49FBDB07A8419 Time : 0.0 sec. user=mdettweiler [2016-10-03 09:18:45] 867*2^1441549-1 is not prime. Res64: 3F9AA7C757F35C55 Time : 0.0 sec. user=mdettweiler [2016-10-03 09:18:46] 951*2^1441549-1 is not prime. Res64: BECC90D9AD207A38 Time : 0.0 sec. user=mdettweiler [2016-10-03 09:18:46] 975*2^1441549-1 is not prime. Res64: 11E0553A8EF7051E Time : 0.0 sec. user=mdettweiler [2016-10-03 09:18:46] 999*2^1441549-1 is not prime. Res64: 89C32F7423806A6A Time : 0.0 sec. user=mdettweiler [2016-10-03 09:18:47] 663*2^1441550-1 is not prime. Res64: F9E14A17686D389F Time : 0.0 sec. user=mdettweiler [2016-10-03 09:33:34] 813*2^1441550-1 is not prime. Res64: 4325E21862A8800E Time : 0.0 sec. user=mdettweiler [2016-10-03 09:33:35] 867*2^1441550-1 is not prime. Res64: 7B047E700E0AF8C0 Time : 0.0 sec. user=mdettweiler [2016-10-03 09:33:35] 885*2^1441550-1 is not prime. Res64: 20F4429B1CB539A0 Time : 0.0 sec. user=mdettweiler [2016-10-03 09:33:36] 927*2^1441550-1 is not prime. Res64: 0F7D772329FB9E0A Time : 0.0 sec. user=mdettweiler [2016-10-03 09:33:36] 957*2^1441550-1 is not prime. Res64: 38F2C09CA8B46F8B Time : 0.0 sec. user=mdettweiler [2016-10-03 09:47:36] 613*2^1441551-1 is not prime. Res64: C46C0F889419F6EF Time : 0.0 sec. user=mdettweiler [2016-10-03 09:47:36] 651*2^1441551-1 is not prime. Res64: 401EF2FC1F031D38 Time : 0.0 sec. user=mdettweiler [2016-10-03 09:47:36] 693*2^1441551-1 is not prime. Res64: A15B16DC49A4AAB1 Time : 0.0 sec. user=mdettweiler [2016-10-03 09:47:37] 705*2^1441551-1 is not prime. Res64: 77B7ED7BED21D9C9 Time : 0.0 sec. user=mdettweiler [2016-10-03 09:47:37] 859*2^1441551-1 is not prime. Res64: 97F09C05B25F7E61 Time : 0.0 sec. user=mdettweiler [2016-10-03 09:50:56] 871*2^1441551-1 is not prime. Res64: 3961E10D73118792 Time : 0.0 sec. user=mdettweiler [2016-10-03 09:50:57] 885*2^1441551-1 is not prime. Res64: FEC2BC3416F38075 Time : 0.0 sec. user=mdettweiler [2016-10-03 09:50:57] 975*2^1441551-1 is not prime. Res64: 3394BC62C90120E2 Time : 0.0 sec. user=mdettweiler [2016-10-03 09:50:57] 687*2^1441552-1 is not prime. Res64: 15968FDCC7B98273 Time : 0.0 sec. user=mdettweiler [2016-10-03 09:50:58] 699*2^1441552-1 is not prime. Res64: C2FBF399D46B4B46 Time : 0.0 sec. user=mdettweiler [2016-10-03 10:04:01] 705*2^1441552-1 is not prime. Res64: 51BAC4E575ED9970 Time : 0.0 sec. user=mdettweiler [2016-10-03 10:04:02] 717*2^1441552-1 is not prime. Res64: 90F28A8AB293A90F Time : 0.0 sec. user=mdettweiler [2016-10-03 10:04:03] 777*2^1441552-1 is not prime. Res64: AD21874A6C436D29 Time : 0.0 sec. user=mdettweiler [2016-10-03 10:04:04] 825*2^1441552-1 is not prime. Res64: C811B7F5F7D4CF84 Time : 0.0 sec. user=mdettweiler [2016-10-03 10:04:05] 827*2^1441552-1 is not prime. Res64: CB68411BFCBEA018 Time : 0.0 sec. user=mdettweiler [2016-10-03 10:18:59] 965*2^1441552-1 is not prime. Res64: 7F94D2EDCAC5FFDA Time : 0.0 sec. user=mdettweiler [2016-10-03 10:18:59] 705*2^1441553-1 is not prime. Res64: B4BECAACFB8365FE Time : 0.0 sec. user=mdettweiler [2016-10-03 10:18:59] 729*2^1441553-1 is not prime. Res64: 112B841060F1C630 Time : 0.0 sec. user=mdettweiler [2016-10-03 10:19:00] 985*2^1441553-1 is not prime. Res64: A38AAAC4C8C16E40 Time : 0.0 sec. user=mdettweiler [2016-10-03 10:19:01] 663*2^1441554-1 is not prime. Res64: E539B533B2EF9EE5 Time : 0.0 sec. user=mdettweiler [2016-10-03 10:32:59] 791*2^1441554-1 is not prime. Res64: A678F2F8C52B54E3 Time : 0.0 sec. user=mdettweiler [2016-10-03 10:32:59] 821*2^1441554-1 is not prime. Res64: 70D84355081254EA Time : 0.0 sec. user=mdettweiler [2016-10-03 10:32:59] 881*2^1441554-1 is not prime. Res64: 1CBC1ACE02C0884B Time : 0.0 sec. user=mdettweiler [2016-10-03 10:33:00] 893*2^1441554-1 is not prime. Res64: AA10F7B3D20E8D73 Time : 0.0 sec. user=mdettweiler [2016-10-03 10:33:00] 917*2^1441554-1 is not prime. Res64: C48BEE711899A64D Time : 0.0 sec. user=mdettweiler [2016-10-03 10:36:22] 951*2^1441554-1 is not prime. Res64: 4597738D104E2802 Time : 0.0 sec. user=mdettweiler [2016-10-03 10:36:22] 783*2^1441555-1 is not prime. Res64: E95DA1412277CF6C Time : 0.0 sec. user=mdettweiler [2016-10-03 10:36:22] 843*2^1441556-1 is not prime. Res64: B978CA8D8F0F22E5 Time : 0.0 sec. user=mdettweiler [2016-10-03 10:36:23] 987*2^1441556-1 is not prime. Res64: F4DF546C21954C4C Time : 0.0 sec. user=mdettweiler [2016-10-03 10:36:23] 685*2^1441557-1 is not prime. Res64: 268C08270EFA9C52 Time : 0.0 sec. user=mdettweiler [2016-10-03 10:49:34] 781*2^1441557-1 is not prime. Res64: E11A90EAFA508216 Time : 0.0 sec. user=mdettweiler [2016-10-03 10:49:35] 825*2^1441557-1 is not prime. Res64: D2C9DDBC33ED011A Time : 0.0 sec. user=mdettweiler [2016-10-03 10:49:35] 889*2^1441557-1 is not prime. Res64: C623267664D1F394 Time : 0.0 sec. user=mdettweiler [2016-10-03 10:49:35] 891*2^1441557-1 is not prime. Res64: 029151771A125764 Time : 0.0 sec. user=mdettweiler [2016-10-03 10:49:36] 901*2^1441557-1 is not prime. Res64: 679CC3EA9E022819 Time : 0.0 sec. user=mdettweiler [2016-10-03 11:04:09] 975*2^1441557-1 is not prime. Res64: DB22253D4FB73922 Time : 0.0 sec. user=mdettweiler [2016-10-03 11:04:11] 647*2^1441558-1 is not prime. Res64: 9470285A9129ECB1 Time : 0.0 sec. user=mdettweiler [2016-10-03 11:04:11] 657*2^1441558-1 is not prime. Res64: 43C822D762EE274A Time : 0.0 sec. user=mdettweiler [2016-10-03 11:04:13] 663*2^1441558-1 is not prime. Res64: 7AB49A4E96D4F8DF Time : 0.0 sec. user=mdettweiler [2016-10-03 11:04:14] 737*2^1441558-1 is not prime. Res64: 91A1C5BDA9A76B46 Time : 0.0 sec. user=mdettweiler [2016-10-03 11:18:18] 777*2^1441558-1 is not prime. Res64: 2913FC3736C46F5F Time : 0.0 sec. user=mdettweiler [2016-10-03 11:18:18] 843*2^1441558-1 is not prime. Res64: CA0F729727008D87 Time : 0.0 sec. user=mdettweiler [2016-10-03 11:18:19] 609*2^1441559-1 is not prime. Res64: 8C4E06E333631F74 Time : 0.0 sec. user=mdettweiler [2016-10-03 11:18:19] 675*2^1441559-1 is not prime. Res64: 0989E151C5D1FC19 Time : 0.0 sec. user=mdettweiler [2016-10-03 11:18:20] 729*2^1441559-1 is not prime. Res64: 32D53FF57259E0D7 Time : 0.0 sec. user=mdettweiler [2016-10-03 11:21:36] 813*2^1441559-1 is not prime. Res64: 8CA0EFC8577464DC Time : 0.0 sec. user=mdettweiler [2016-10-03 11:21:37] 841*2^1441559-1 is not prime. Res64: 438FE20F56053128 Time : 0.0 sec. user=mdettweiler [2016-10-03 11:21:37] 879*2^1441559-1 is not prime. Res64: 1E909F227B730571 Time : 0.0 sec. user=mdettweiler [2016-10-03 11:21:37] 885*2^1441559-1 is not prime. Res64: F4E5AB2E3BDC1DD1 Time : 0.0 sec. user=mdettweiler [2016-10-03 11:21:38] 895*2^1441559-1 is not prime. Res64: D5FE1DE0968CFCE1 Time : 0.0 sec. user=mdettweiler [2016-10-03 11:35:02] 939*2^1441559-1 is not prime. Res64: EDB0AC17FF3F0A0E Time : 0.0 sec. user=mdettweiler [2016-10-03 11:35:03] 955*2^1441559-1 is not prime. Res64: 571EACBAB8CF7E71 Time : 0.0 sec. user=mdettweiler [2016-10-03 11:35:03] 627*2^1441560-1 is not prime. Res64: 93A945E41F4E1DDA Time : 0.0 sec. user=mdettweiler [2016-10-03 11:35:03] 707*2^1441560-1 is not prime. Res64: F7EE988444BFA5FF Time : 0.0 sec. user=mdettweiler [2016-10-03 11:35:04] 857*2^1441560-1 is not prime. Res64: 5B66AB06B0EA5A07 Time : 0.0 sec. user=mdettweiler [2016-10-03 11:49:53] 929*2^1441560-1 is not prime. Res64: 84D0B39AD0D26891 Time : 0.0 sec. user=mdettweiler [2016-10-03 11:49:53] 639*2^1441561-1 is not prime. Res64: 09F5D01739619FD2 Time : 0.0 sec. user=mdettweiler [2016-10-03 11:49:54] 651*2^1441561-1 is not prime. Res64: CE777832A55C615D Time : 0.0 sec. user=mdettweiler [2016-10-03 11:49:54] 817*2^1441561-1 is not prime. Res64: 5AB39131602FBCDB Time : 0.0 sec. user=mdettweiler [2016-10-03 11:49:54] 871*2^1441561-1 is not prime. Res64: 84FDA7AA3A2D2D49 Time : 0.0 sec. user=mdettweiler [2016-10-03 12:03:56] 623*2^1441562-1 is not prime. Res64: 00881AA45016DF1C Time : 0.0 sec. user=mdettweiler [2016-10-03 12:03:58] 665*2^1441562-1 is not prime. Res64: FEBB2AC11A308B66 Time : 0.0 sec. user=mdettweiler [2016-10-03 12:03:59] 671*2^1441562-1 is not prime. Res64: 96AB232810E406BE Time : 0.0 sec. user=mdettweiler [2016-10-03 12:04:00] 813*2^1441562-1 is not prime. Res64: 1B7202262505384F Time : 0.0 sec. user=mdettweiler [2016-10-03 12:04:02] 827*2^1441562-1 is not prime. Res64: 0BC8C551D7012821 Time : 0.0 sec. user=mdettweiler [2016-10-03 12:07:01] 831*2^1441562-1 is not prime. Res64: 957C4FEBAF4F1016 Time : 0.0 sec. user=mdettweiler [2016-10-03 12:07:02] 867*2^1441562-1 is not prime. Res64: 40ACDA2ED9F2D666 Time : 0.0 sec. user=mdettweiler [2016-10-03 12:07:03] 923*2^1441562-1 is not prime. Res64: B7F475F8DA5C480C Time : 0.0 sec. user=mdettweiler [2016-10-03 12:07:04] 951*2^1441562-1 is not prime. Res64: 0EF9EA612FA0E7FC Time : 0.0 sec. user=mdettweiler [2016-10-03 12:07:06] 987*2^1441562-1 is not prime. Res64: BBDB64854E219D44 Time : 0.0 sec. user=mdettweiler [2016-10-03 12:21:08] 995*2^1441562-1 is not prime. Res64: 7EB907C750FCBAB8 Time : 0.0 sec. user=mdettweiler [2016-10-03 12:21:09] 613*2^1441563-1 is not prime. Res64: FE5E14C476A57A2F Time : 0.0 sec. user=mdettweiler [2016-10-03 12:21:09] 639*2^1441563-1 is not prime. Res64: C81D76BC1D153384 Time : 0.0 sec. user=mdettweiler [2016-10-03 12:21:09] 823*2^1441563-1 is not prime. Res64: B4A8A01F3C20952D Time : 0.0 sec. user=mdettweiler [2016-10-03 12:21:10] 873*2^1441563-1 is not prime. Res64: 25C839C0EF013917 Time : 0.0 sec. user=mdettweiler [2016-10-03 12:35:07] 963*2^1441563-1 is not prime. Res64: A0D9ECF412CE5CC4 Time : 0.0 sec. user=mdettweiler [2016-10-03 12:35:07] 717*2^1441564-1 is not prime. Res64: 8EFD7FD0681DCF86 Time : 0.0 sec. user=mdettweiler [2016-10-03 12:35:08] 743*2^1441564-1 is not prime. Res64: E2F2A5F59CF3250A Time : 0.0 sec. user=mdettweiler [2016-10-03 12:35:08] 749*2^1441564-1 is not prime. Res64: 36A15FA0826D5BE3 Time : 0.0 sec. user=mdettweiler [2016-10-03 12:35:09] 875*2^1441564-1 is not prime. Res64: 70331113F7602F8E Time : 0.0 sec. user=mdettweiler [2016-10-03 12:49:41] 915*2^1441564-1 is not prime. Res64: E14A389E5D93C532 Time : 0.0 sec. user=mdettweiler [2016-10-03 12:49:41] 619*2^1441565-1 is not prime. Res64: 33942C8EB052D4FF Time : 0.0 sec. user=mdettweiler [2016-10-03 12:49:41] 699*2^1441565-1 is not prime. Res64: 2A606C164A2BC6C7 Time : 0.0 sec. user=mdettweiler [2016-10-03 12:49:42] 717*2^1441565-1 is not prime. Res64: E281F48661AA0B31 Time : 0.0 sec. user=mdettweiler [2016-10-03 12:49:42] 735*2^1441565-1 is not prime. Res64: 40C75169090E90D2 Time : 0.0 sec. user=mdettweiler [2016-10-03 12:52:44] 741*2^1441565-1 is not prime. Res64: 3E07107595FE00ED Time : 0.0 sec. user=mdettweiler [2016-10-03 12:52:44] 777*2^1441565-1 is not prime. Res64: B392A06A03691D14 Time : 0.0 sec. user=mdettweiler [2016-10-03 12:52:44] 825*2^1441565-1 is not prime. Res64: 982B0439D9F6F8BE Time : 0.0 sec. user=mdettweiler [2016-10-03 12:52:45] 831*2^1441565-1 is not prime. Res64: CA708E9A974BC894 Time : 0.0 sec. user=mdettweiler [2016-10-03 12:52:45] 855*2^1441565-1 is not prime. Res64: 4E15F64C06263A4C Time : 0.0 sec. user=mdettweiler [2016-10-03 13:06:37] 987*2^1441565-1 is not prime. Res64: A52EB8F2C1E10EB8 Time : 0.0 sec. user=mdettweiler [2016-10-03 13:06:42] 707*2^1441566-1 is not prime. Res64: 2F2ED185ECD29FC5 Time : 0.0 sec. user=mdettweiler [2016-10-03 13:06:46] 713*2^1441566-1 is not prime. Res64: 9E7258EE837E2CCC Time : 0.0 sec. user=mdettweiler [2016-10-03 13:06:50] 867*2^1441566-1 is not prime. Res64: 75DA2C2E55AC5A99 Time : 0.0 sec. user=mdettweiler [2016-10-03 13:06:54] 871*2^1441567-1 is not prime. Res64: C2C52597637EE50D Time : 0.0 sec. user=mdettweiler [2016-10-03 13:20:14] 915*2^1441567-1 is not prime. Res64: DB203FEC1D299782 Time : 0.0 sec. user=mdettweiler [2016-10-03 13:20:14] 973*2^1441567-1 is not prime. Res64: 48A95838664686CD Time : 0.0 sec. user=mdettweiler [2016-10-03 13:20:15] 677*2^1441568-1 is not prime. Res64: 31CF448A9C9896F1 Time : 0.0 sec. user=mdettweiler [2016-10-03 13:20:15] 827*2^1441568-1 is not prime. Res64: F9C1AB1ADA038E6F Time : 0.0 sec. user=mdettweiler [2016-10-03 13:20:15] 869*2^1441568-1 is not prime. Res64: 8B43335472D127EC Time : 0.0 sec. user=mdettweiler [2016-10-03 13:35:05] 893*2^1441568-1 is not prime. Res64: E50718C7E16EAEDD Time : 0.0 sec. user=mdettweiler [2016-10-03 13:35:05] 711*2^1441569-1 is not prime. Res64: D5095D0207AF838D Time : 0.0 sec. user=mdettweiler [2016-10-03 13:35:06] 835*2^1441569-1 is not prime. Res64: A542AB19E99BA165 Time : 0.0 sec. user=mdettweiler [2016-10-03 13:35:06] 895*2^1441569-1 is not prime. Res64: 3862CFEACD1CE5F0 Time : 0.0 sec. user=mdettweiler [2016-10-03 13:35:07] 603*2^1441570-1 is not prime. Res64: 397E98F9370D4F6B Time : 0.0 sec. user=mdettweiler [2016-10-03 13:38:05] 645*2^1441570-1 is not prime. Res64: 5D179FB0B5282968 Time : 0.0 sec. user=mdettweiler [2016-10-03 13:38:06] 713*2^1441570-1 is not prime. Res64: DE1AAA2C0BD9C910 Time : 0.0 sec. user=mdettweiler [2016-10-03 13:38:06] 773*2^1441570-1 is not prime. Res64: 38F3175B1A918BAB Time : 0.0 sec. user=mdettweiler [2016-10-03 13:38:07] 845*2^1441570-1 is not prime. Res64: EDC2DC1F5F324A6E Time : 0.0 sec. user=mdettweiler [2016-10-03 13:38:07] 603*2^1441571-1 is not prime. Res64: 68DCEDF786D9EAF5 Time : 0.0 sec. user=mdettweiler [2016-10-03 14:05:51] 689*2^1441572-1 is not prime. Res64: B35F4AB2F2A5C9EC Time : 0.0 sec. user=mdettweiler [2016-10-03 14:05:53] 863*2^1441572-1 is not prime. Res64: A3D6F01B1E6D14C7 Time : 0.0 sec. user=mdettweiler [2016-10-03 14:05:55] 965*2^1441572-1 is not prime. Res64: 4937E7DC1BDCFC54 Time : 0.0 sec. user=mdettweiler [2016-10-03 14:05:57] 937*2^1441573-1 is not prime. Res64: 106031F2ED5ECA3D Time : 0.0 sec. user=mdettweiler [2016-10-03 14:05:59] 693*2^1441574-1 is not prime. Res64: 6B16B3D551948DD9 Time : 0.0 sec. user=mdettweiler [2016-10-03 14:19:18] 675*2^1441571-1 is not prime. Res64: D11B491BC62E162C Time : 0.0 sec. user=mdettweiler [2016-10-03 14:19:19] 775*2^1441571-1 is not prime. Res64: 1256D78E987061EC Time : 0.0 sec. user=mdettweiler [2016-10-03 14:19:19] 921*2^1441571-1 is not prime. Res64: 8EE398FA370DF4C1 Time : 0.0 sec. user=mdettweiler [2016-10-03 14:19:20] 979*2^1441571-1 is not prime. Res64: 8AB7851920DA5A57 Time : 0.0 sec. user=mdettweiler [2016-10-03 14:19:20] 605*2^1441572-1 is not prime. Res64: 28214927E9943533 Time : 0.0 sec. user=mdettweiler [2016-10-03 14:21:00] 717*2^1441574-1 is not prime. Res64: 8AACF59DB0F0B365 Time : 0.0 sec. user=mdettweiler [2016-10-03 14:21:01] 753*2^1441574-1 is not prime. Res64: EC83402C7460F2B5 Time : 0.0 sec. user=mdettweiler [2016-10-03 14:21:01] 797*2^1441574-1 is not prime. Res64: 83AF8D0FC243714A Time : 0.0 sec. user=mdettweiler [2016-10-03 14:21:02] 923*2^1441574-1 is not prime. Res64: 4FFA31763A0BBC82 Time : 0.0 sec. user=mdettweiler [2016-10-03 14:21:02] 971*2^1441574-1 is not prime. Res64: A8C4440E581B9CB3 Time : 0.0 sec. user=mdettweiler [2016-10-03 14:24:27] 983*2^1441574-1 is not prime. Res64: C15745AB1D9A1789 Time : 0.0 sec. user=mdettweiler [2016-10-03 14:24:27] 651*2^1441575-1 is not prime. Res64: D98CDFB4C086A536 Time : 0.0 sec. user=mdettweiler [2016-10-03 14:24:28] 675*2^1441575-1 is not prime. Res64: 9142F42450FAEE5C Time : 0.0 sec. user=mdettweiler [2016-10-03 14:24:28] 679*2^1441575-1 is not prime. Res64: F5FB41312752E919 Time : 0.0 sec. user=mdettweiler [2016-10-03 14:24:28] 709*2^1441575-1 is not prime. Res64: 872A391FB39E950B Time : 0.0 sec. user=mdettweiler [2016-10-03 14:52:00] 711*2^1441575-1 is not prime. Res64: 9948AE464915A41E Time : 0.0 sec. user=mdettweiler [2016-10-03 14:52:00] 751*2^1441575-1 is not prime. Res64: FBECF5C69D0EDBB5 Time : 0.0 sec. user=mdettweiler [2016-10-03 14:52:01] 775*2^1441575-1 is not prime. Res64: A1D30944F8A73231 Time : 0.0 sec. user=mdettweiler [2016-10-03 14:52:01] 891*2^1441575-1 is not prime. Res64: B96AFB5FB4B410F2 Time : 0.0 sec. user=mdettweiler [2016-10-03 14:52:02] 639*2^1441576-1 is not prime. Res64: 470D18A1E8309942 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:04:57] 677*2^1441576-1 is not prime. Res64: 4C3D2448BAB02CDD Time : 0.0 sec. user=mdettweiler [2016-10-03 15:04:59] 843*2^1441576-1 is not prime. Res64: C6963F13659854EB Time : 0.0 sec. user=mdettweiler [2016-10-03 15:05:00] 873*2^1441576-1 is not prime. Res64: 01E543D07B4032E8 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:05:01] 923*2^1441576-1 is not prime. Res64: 7D58713B911E495B Time : 0.0 sec. user=mdettweiler [2016-10-03 15:05:02] 999*2^1441576-1 is not prime. Res64: 34D2283560CF7444 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:06:37] 601*2^1441577-1 is not prime. Res64: 6C131FF07B4D9EAB Time : 0.0 sec. user=mdettweiler [2016-10-03 15:06:39] 607*2^1441577-1 is not prime. Res64: 209FFB630725E853 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:06:40] 637*2^1441577-1 is not prime. Res64: 8EEBFE0F0510EA72 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:06:43] 645*2^1441577-1 is not prime. Res64: 9B67E6A818DC6FE8 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:06:45] 649*2^1441577-1 is not prime. Res64: D725F7E1DE0A92F3 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:09:52] 711*2^1441577-1 is not prime. Res64: 3110F657A62AF2B8 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:09:54] 871*2^1441577-1 is not prime. Res64: CB555383DA29CAFB Time : 0.0 sec. user=mdettweiler [2016-10-03 15:09:55] 879*2^1441577-1 is not prime. Res64: 452AD1355EEDC127 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:09:56] 925*2^1441577-1 is not prime. Res64: 6533C0EBE1C7D424 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:09:58] 949*2^1441577-1 is not prime. Res64: D650809939809403 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:37:19] 663*2^1441578-1 is not prime. Res64: 0186CE3A0E7737BD Time : 0.0 sec. user=mdettweiler [2016-10-03 15:37:19] 681*2^1441578-1 is not prime. Res64: E427AF6DE5C3170E Time : 0.0 sec. user=mdettweiler [2016-10-03 15:37:20] 711*2^1441578-1 is not prime. Res64: 7F1C1BB90BD2F1B9 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:37:20] 765*2^1441578-1 is not prime. Res64: 539FC64456E435B0 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:37:20] 923*2^1441578-1 is not prime. Res64: AF7A97D801BC5E68 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:50:57] 963*2^1441578-1 is not prime. Res64: 3CE1C84278E97F34 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:50:57] 741*2^1441579-1 is not prime. Res64: E8C165B15F9AD401 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:50:58] 861*2^1441579-1 is not prime. Res64: A4FCAF61CC7CEF42 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:50:58] 895*2^1441579-1 is not prime. Res64: 613F812E4497BC1C Time : 0.0 sec. user=mdettweiler [2016-10-03 15:50:58] 975*2^1441579-1 is not prime. Res64: 546067D19F1FC477 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:52:40] 665*2^1441580-1 is not prime. Res64: 7EE3627881DC1EBA Time : 0.0 sec. user=mdettweiler [2016-10-03 15:52:40] 669*2^1441580-1 is not prime. Res64: A5975896BE55B301 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:52:41] 699*2^1441580-1 is not prime. Res64: 7E4588E07489B86E Time : 0.0 sec. user=mdettweiler [2016-10-03 15:52:41] 743*2^1441580-1 is not prime. Res64: F3D35F2EB71416D7 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:52:42] 899*2^1441580-1 is not prime. Res64: 471BF22E2A8F5099 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:55:42] 999*2^1441580-1 is not prime. Res64: 928AC003A9A29459 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:55:42] 795*2^1441581-1 is not prime. Res64: E073C9F9FD2E3E56 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:55:42] 921*2^1441581-1 is not prime. Res64: 14B0D81B178E2130 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:55:43] 937*2^1441581-1 is not prime. Res64: 62EDA407036F9882 Time : 0.0 sec. user=mdettweiler [2016-10-03 15:55:43] 777*2^1441582-1 is not prime. Res64: 126822D867F8EF7D Time : 0.0 sec. user=mdettweiler [2016-10-03 16:22:41] 1001*2^1441582-1 is not prime. Res64: FBB22EE8EDC45883 Time : 0.0 sec. user=mdettweiler [2016-10-03 16:22:41] 663*2^1441583-1 is not prime. Res64: 9D9085BBB6CF8F89 Time : 0.0 sec. user=mdettweiler [2016-10-03 16:22:42] 943*2^1441583-1 is not prime. Res64: 4A0AF297F49B1D20 Time : 0.0 sec. user=mdettweiler [2016-10-03 16:22:42] 657*2^1441584-1 is not prime. Res64: 3A4F9F4D2F79AEF1 Time : 0.0 sec. user=mdettweiler [2016-10-03 16:22:43] 689*2^1441584-1 is not prime. Res64: 47E3CD0F396BD062 Time : 0.0 sec. user=mdettweiler [2016-10-03 16:36:45] 753*2^1441584-1 is not prime. Res64: 86AC2EDCF49EC736 Time : 0.0 sec. user=mdettweiler [2016-10-03 16:36:45] 767*2^1441584-1 is not prime. Res64: E849CC1C1208B497 Time : 0.0 sec. user=mdettweiler [2016-10-03 16:36:46] 887*2^1441584-1 is not prime. Res64: 1A6EDDFF4B966919 Time : 0.0 sec. user=mdettweiler [2016-10-03 16:36:46] 649*2^1441585-1 is not prime. Res64: BAB842587670CB58 Time : 0.0 sec. user=mdettweiler [2016-10-03 16:36:47] 661*2^1441585-1 is not prime. Res64: 25492C51D6A789A0 Time : 0.0 sec. user=mdettweiler [2016-10-03 16:38:02] 855*2^1441585-1 is not prime. Res64: CC6AE93651AAA6AC Time : 0.0 sec. user=mdettweiler [2016-10-03 16:38:02] 885*2^1441585-1 is not prime. Res64: 8079E25F211002CD Time : 0.0 sec. user=mdettweiler [2016-10-03 16:38:03] 997*2^1441585-1 is not prime. Res64: 5D10815B2AA3BA3A Time : 0.0 sec. user=mdettweiler [2016-10-03 16:38:04] 623*2^1441586-1 is not prime. Res64: 12795CE9EF273288 Time : 0.0 sec. user=mdettweiler [2016-10-03 16:38:05] 735*2^1441586-1 is not prime. Res64: 04403A9CC1A56A5B Time : 0.0 sec. user=mdettweiler [2016-10-03 16:41:08] 767*2^1441586-1 is not prime. Res64: 067D75ECE2CF8662 Time : 0.0 sec. user=mdettweiler [2016-10-03 16:41:09] 801*2^1441586-1 is not prime. Res64: 4314BE099C2072EF Time : 0.0 sec. user=mdettweiler [2016-10-03 16:41:09] 825*2^1441586-1 is not prime. Res64: 12D849A68AC5E137 Time : 0.0 sec. user=mdettweiler [2016-10-03 16:41:09] 833*2^1441586-1 is not prime. Res64: F3F9DD9A486599A1 Time : 0.0 sec. user=mdettweiler [2016-10-03 16:41:10] 861*2^1441586-1 is not prime. Res64: C2308B607CB632D9 Time : 0.0 sec. user=mdettweiler [2016-10-03 17:08:04] 921*2^1441586-1 is not prime. Res64: 5A0F5AFC48ADC0F9 Time : 0.0 sec. user=mdettweiler [2016-10-03 17:08:07] 981*2^1441586-1 is not prime. Res64: 04EF1721576995CB Time : 0.0 sec. user=mdettweiler [2016-10-03 17:08:09] 879*2^1441587-1 is not prime. Res64: 77A735A8702F73F4 Time : 0.0 sec. user=mdettweiler [2016-10-03 17:08:10] 891*2^1441587-1 is not prime. Res64: 7744E4A078AD45F0 Time : 0.0 sec. user=mdettweiler [2016-10-03 17:08:12] 973*2^1441587-1 is not prime. Res64: C20C12DBE7743378 Time : 0.0 sec. user=mdettweiler [2016-10-03 17:22:03] 615*2^1441588-1 is not prime. Res64: 939ACD4B0D70E428 Time : 0.0 sec. user=mdettweiler [2016-10-03 17:22:04] 663*2^1441588-1 is not prime. Res64: 8F4764CABC7DD8A3 Time : 0.0 sec. user=mdettweiler [2016-10-03 17:22:04] 825*2^1441588-1 is not prime. Res64: 80F96257FFCD3AA8 Time : 0.0 sec. user=mdettweiler [2016-10-03 17:22:05] 875*2^1441588-1 is not prime. Res64: 0F761839CFDEC2E9 Time : 0.0 sec. user=mdettweiler [2016-10-03 17:22:05] 645*2^1441589-1 is not prime. Res64: 48AA2BDC0DE0862A Time : 0.0 sec. user=mdettweiler [2016-10-03 17:23:26] 741*2^1441589-1 is not prime. Res64: FC88D7D28B34F7CD Time : 0.0 sec. user=mdettweiler [2016-10-03 17:23:27] 885*2^1441589-1 is not prime. Res64: 46517D4AD3878B33 Time : 0.0 sec. user=mdettweiler [2016-10-03 17:23:27] 897*2^1441589-1 is not prime. Res64: EE4C6C94FBCBE194 Time : 0.0 sec. user=mdettweiler [2016-10-03 17:23:28] 939*2^1441589-1 is not prime. Res64: 9061E22F78C9FD52 Time : 0.0 sec. user=mdettweiler [2016-10-03 17:23:29] 951*2^1441589-1 is not prime. Res64: 35778BF1DF8CA90D Time : 0.0 sec. user=mdettweiler [2016-10-03 17:26:38] 653*2^1441590-1 is not prime. Res64: B2F3E402C87ABEB6 Time : 0.0 sec. user=mdettweiler [2016-10-03 17:26:39] 671*2^1441590-1 is not prime. Res64: 1F60A4F237EF8CDE Time : 0.0 sec. user=mdettweiler [2016-10-03 17:26:39] 843*2^1441590-1 is not prime. Res64: B41FA4548CC39E1E Time : 0.0 sec. user=mdettweiler [2016-10-03 17:26:39] 863*2^1441590-1 is not prime. Res64: 733CF45DB2997987 Time : 0.0 sec. user=mdettweiler [2016-10-03 17:26:40] 915*2^1441590-1 is not prime. Res64: B0BCFB7830F6B452 Time : 0.0 sec. user=mdettweiler [2016-10-03 17:53:47] 921*2^1441590-1 is not prime. Res64: D067C850AC1B3009 Time : 0.0 sec. user=mdettweiler [2016-10-03 17:53:47] 927*2^1441590-1 is not prime. Res64: DB47A01E4AC33403 Time : 0.0 sec. user=mdettweiler [2016-10-03 17:53:48] 951*2^1441590-1 is not prime. Res64: 38D17054E6232701 Time : 0.0 sec. user=mdettweiler [2016-10-03 17:53:48] 685*2^1441591-1 is not prime. Res64: 76A1B932BFED493C Time : 0.0 sec. user=mdettweiler [2016-10-03 17:53:48] 709*2^1441591-1 is not prime. Res64: 5E34990DA97A5CFE Time : 0.0 sec. user=mdettweiler [2016-10-03 18:07:35] 741*2^1441591-1 is not prime. Res64: DB655587C0F0CAA6 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:07:35] 793*2^1441591-1 is not prime. Res64: ABE623EB0FA1C92C Time : 0.0 sec. user=mdettweiler [2016-10-03 18:07:36] 849*2^1441591-1 is not prime. Res64: 940C61AE3B16868C Time : 0.0 sec. user=mdettweiler [2016-10-03 18:07:36] 629*2^1441592-1 is not prime. Res64: 152E25A43E3ED9AF Time : 0.0 sec. user=mdettweiler [2016-10-03 18:07:36] 689*2^1441592-1 is not prime. Res64: B09016775A8BC8BB Time : 0.0 sec. user=mdettweiler [2016-10-03 18:08:51] 693*2^1441592-1 is not prime. Res64: 1546F15DD2183D0C Time : 0.0 sec. user=mdettweiler [2016-10-03 18:08:52] 819*2^1441592-1 is not prime. Res64: 8E137E7704138CAC Time : 0.0 sec. user=mdettweiler [2016-10-03 18:08:53] 915*2^1441592-1 is not prime. Res64: D5B6A1229BE20169 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:08:54] 787*2^1441593-1 is not prime. Res64: 4A49F0C2038EF200 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:08:54] 999*2^1441593-1 is not prime. Res64: 915B94528EEBC5F3 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:11:57] 635*2^1441594-1 is not prime. Res64: 721DDE0CB212DB8F Time : 0.0 sec. user=mdettweiler [2016-10-03 18:11:58] 765*2^1441594-1 is not prime. Res64: CEFACB40A4B4550A Time : 0.0 sec. user=mdettweiler [2016-10-03 18:11:59] 821*2^1441594-1 is not prime. Res64: F5F2503655AF0017 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:12:00] 831*2^1441594-1 is not prime. Res64: 6E124278CF5144E7 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:12:01] 957*2^1441594-1 is not prime. Res64: 3A6765388570CB35 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:39:15] 971*2^1441594-1 is not prime. Res64: D740B4A0461434AA Time : 0.0 sec. user=mdettweiler [2016-10-03 18:39:15] 1001*2^1441594-1 is not prime. Res64: DB130C384209F318 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:39:16] 733*2^1441595-1 is not prime. Res64: A9222BFE45877F8B Time : 0.0 sec. user=mdettweiler [2016-10-03 18:39:16] 789*2^1441595-1 is not prime. Res64: 1CC75A3C347F238F Time : 0.0 sec. user=mdettweiler [2016-10-03 18:39:17] 799*2^1441595-1 is not prime. Res64: 9FAAD0C3FEDDEF65 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:53:05] 963*2^1441595-1 is not prime. Res64: 583DE44209D674D4 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:53:05] 609*2^1441596-1 is not prime. Res64: BAD96699B7CB5CA6 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:53:06] 683*2^1441596-1 is not prime. Res64: 72CA2B5E9CA81C68 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:53:06] 803*2^1441596-1 is not prime. Res64: 4A9451BDBBD12203 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:53:06] 927*2^1441596-1 is not prime. Res64: 4D15F4F37122675B Time : 0.0 sec. user=mdettweiler [2016-10-03 18:54:18] 691*2^1441597-1 is not prime. Res64: 999FB4DD0E49FC50 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:54:18] 741*2^1441597-1 is not prime. Res64: D3DC88DC012C29C7 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:54:19] 771*2^1441597-1 is not prime. Res64: 5B26C11FC7587C93 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:54:19] 775*2^1441597-1 is not prime. Res64: 8704D2A4F550EE47 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:54:19] 919*2^1441597-1 is not prime. Res64: 8A412BD78715BF79 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:57:27] 601*2^1441599-1 is not prime. Res64: F2630DABB0E94600 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:57:28] 661*2^1441599-1 is not prime. Res64: 48D71538BBC42444 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:57:28] 741*2^1441599-1 is not prime. Res64: 308C48AD442E9F91 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:57:29] 745*2^1441599-1 is not prime. Res64: C094B154397DCE78 Time : 0.0 sec. user=mdettweiler [2016-10-03 18:57:29] 861*2^1441599-1 is not prime. Res64: 5E163F83C053D6BC Time : 0.0 sec. user=mdettweiler [2016-10-03 19:24:50] 885*2^1441599-1 is not prime. Res64: 5A1F1443A44FC76C Time : 0.0 sec. user=mdettweiler [2016-10-03 19:24:51] 891*2^1441599-1 is not prime. Res64: F6FF611F06DAA246 Time : 0.0 sec. user=mdettweiler [2016-10-03 19:24:51] 933*2^1441599-1 is not prime. Res64: 93D064BC7E281F98 Time : 0.0 sec. user=mdettweiler [2016-10-03 19:24:52] 949*2^1441599-1 is not prime. Res64: BF78EC627D47F9FA Time : 0.0 sec. user=mdettweiler [2016-10-03 19:24:52] 999*2^1441599-1 is not prime. Res64: A244AC3176E9F3FC Time : 0.0 sec. user=mdettweiler [2016-10-03 19:38:39] 609*2^1441600-1 is not prime. Res64: 347B8BD90111166A Time : 0.0 sec. user=mdettweiler [2016-10-03 19:38:39] 675*2^1441600-1 is not prime. Res64: 2380EC27E9D66E23 Time : 0.0 sec. user=mdettweiler [2016-10-03 19:38:40] 719*2^1441600-1 is not prime. Res64: E9A63E017701A3B1 Time : 0.0 sec. user=mdettweiler [2016-10-03 19:38:40] 723*2^1441600-1 is not prime. Res64: 35AB806A5852A238 Time : 0.0 sec. user=mdettweiler [2016-10-03 19:38:40] 735*2^1441600-1 is not prime. Res64: 06199B0541D5E261 Time : 0.0 sec. user=mdettweiler [2016-10-03 19:39:52] 845*2^1441600-1 is not prime. Res64: C12770C3569D1807 Time : 0.0 sec. user=mdettweiler [2016-10-03 19:39:52] 855*2^1441600-1 is not prime. Res64: C842F7A384667162 Time : 0.0 sec. user=mdettweiler [2016-10-03 19:39:53] 873*2^1441600-1 is not prime. Res64: 8E7732E12E4D13EA Time : 0.0 sec. user=mdettweiler [2016-10-03 19:39:54] 915*2^1441600-1 is not prime. Res64: 27C9E86B4D647037 Time : 0.0 sec. user=mdettweiler [2016-10-03 19:39:54] 927*2^1441600-1 is not prime. Res64: 7D94BC37DB246536 Time : 0.0 sec. user=mdettweiler [2016-10-03 19:43:14] 717*2^1441601-1 is not prime. Res64: 8A8BF6BA99C2B1F5 Time : 0.0 sec. user=mdettweiler [2016-10-03 19:43:14] 811*2^1441601-1 is not prime. Res64: 1F9AFC292869C712 Time : 0.0 sec. user=mdettweiler [2016-10-03 19:43:15] 861*2^1441601-1 is not prime. Res64: 45374168BD5BC4B5 Time : 0.0 sec. user=mdettweiler [2016-10-03 19:43:16] 871*2^1441601-1 is not prime. Res64: 3F8713CA18DDE500 Time : 0.0 sec. user=mdettweiler [2016-10-03 19:43:16] 949*2^1441601-1 is not prime. Res64: D647E8FE0C449E54 Time : 0.0 sec. user=mdettweiler [2016-10-03 20:10:23] 957*2^1441601-1 is not prime. Res64: 723F3B54C6C2DA3E Time : 0.0 sec. user=mdettweiler [2016-10-03 20:10:25] 981*2^1441601-1 is not prime. Res64: 20EABFB5B8568EC6 Time : 0.0 sec. user=mdettweiler [2016-10-03 20:10:26] 991*2^1441601-1 is not prime. Res64: 10663E17B14352EC Time : 0.0 sec. user=mdettweiler [2016-10-03 20:10:27] 633*2^1441602-1 is not prime. Res64: E7654EAF3BAAE5FF Time : 0.0 sec. user=mdettweiler [2016-10-03 20:10:28] 657*2^1441602-1 is not prime. Res64: 02C8A95857B121CA Time : 0.0 sec. user=mdettweiler [2016-10-03 20:24:15] 717*2^1441602-1 is not prime. Res64: 43DC3F5265D35C9D Time : 0.0 sec. user=mdettweiler [2016-10-03 20:24:15] 755*2^1441602-1 is not prime. Res64: 61580B8215EAA708 Time : 0.0 sec. user=mdettweiler [2016-10-03 20:24:15] 801*2^1441602-1 is not prime. Res64: 5472A9D6007925AA Time : 0.0 sec. user=mdettweiler [2016-10-03 20:24:16] 891*2^1441602-1 is not prime. Res64: E491DC59FF4DE54C Time : 0.0 sec. user=mdettweiler [2016-10-03 20:24:16] 893*2^1441602-1 is not prime. Res64: 64D8099DCF53B86D Time : 0.0 sec. user=mdettweiler [2016-10-03 20:25:10] 915*2^1441602-1 is not prime. Res64: FD5528DE47DE8755 Time : 0.0 sec. user=mdettweiler [2016-10-03 20:25:11] 923*2^1441602-1 is not prime. Res64: 6DB7F59599942557 Time : 0.0 sec. user=mdettweiler [2016-10-03 20:25:12] 957*2^1441602-1 is not prime. Res64: 278360576CC2BFA1 Time : 0.0 sec. user=mdettweiler [2016-10-03 20:25:12] 663*2^1441603-1 is not prime. Res64: 74E45086CC7A4C7D Time : 0.0 sec. user=mdettweiler [2016-10-03 20:25:13] 673*2^1441603-1 is not prime. Res64: 2E6C66A5591CFF56 Time : 0.0 sec. user=mdettweiler [2016-10-03 20:28:35] 685*2^1441603-1 is not prime. Res64: A4273D4CDD94B09D Time : 0.0 sec. user=mdettweiler [2016-10-03 20:28:35] 703*2^1441603-1 is not prime. Res64: 2CC9E9D9FD95F557 Time : 0.0 sec. user=mdettweiler [2016-10-03 20:28:36] 723*2^1441603-1 is not prime. Res64: 3AC99E9F511D872F Time : 0.0 sec. user=mdettweiler [2016-10-03 20:28:36] 735*2^1441603-1 is not prime. Res64: 86EEB462A6DBE966 Time : 0.0 sec. user=mdettweiler [2016-10-03 20:28:36] 769*2^1441603-1 is not prime. Res64: 640091D0213A70D7 Time : 0.0 sec. user=mdettweiler [2016-10-03 20:56:00] 939*2^1441603-1 is not prime. Res64: EA10075FB219EC2A Time : 0.0 sec. user=mdettweiler [2016-10-03 20:56:00] 665*2^1441604-1 is not prime. Res64: BFA8EDD0DFD49A80 Time : 0.0 sec. user=mdettweiler [2016-10-03 20:56:00] 707*2^1441604-1 is not prime. Res64: C68156351335E0B5 Time : 0.0 sec. user=mdettweiler [2016-10-03 20:56:01] 893*2^1441604-1 is not prime. Res64: CFF663D251C03081 Time : 0.0 sec. user=mdettweiler [2016-10-03 20:56:01] 649*2^1441605-1 is not prime. Res64: E8C524751B849047 Time : 0.0 sec. user=mdettweiler [2016-10-03 21:09:35] 735*2^1441605-1 is not prime. Res64: 27B19A562854B01B Time : 0.0 sec. user=mdettweiler [2016-10-03 21:09:36] 871*2^1441605-1 is not prime. Res64: 669D73101B0E8E5A Time : 0.0 sec. user=mdettweiler [2016-10-03 21:09:37] 895*2^1441605-1 is not prime. Res64: DD35D6F779034790 Time : 0.0 sec. user=mdettweiler [2016-10-03 21:09:38] 949*2^1441605-1 is not prime. Res64: A75E47B6BBAA56AA Time : 0.0 sec. user=mdettweiler [2016-10-03 21:09:39] 677*2^1441606-1 is not prime. Res64: B1EF0F38379901F7 Time : 0.0 sec. user=mdettweiler [2016-10-03 21:10:30] 761*2^1441606-1 is not prime. Res64: E78F47CC012DCE03 Time : 0.0 sec. user=mdettweiler [2016-10-03 21:10:31] 773*2^1441606-1 is not prime. Res64: DD8BC86A8F37F786 Time : 0.0 sec. user=mdettweiler [2016-10-03 21:10:32] 887*2^1441606-1 is not prime. Res64: 15984ACCB5F8D7DF Time : 0.0 sec. user=mdettweiler [2016-10-03 21:10:33] 987*2^1441606-1 is not prime. Res64: 006380C0EF18A7F8 Time : 0.0 sec. user=mdettweiler [2016-10-03 21:10:34] 711*2^1441607-1 is not prime. Res64: 05B1149803700145 Time : 0.0 sec. user=mdettweiler [2016-10-03 21:13:52] 739*2^1441607-1 is not prime. Res64: 29311193D9C64C8E Time : 0.0 sec. user=mdettweiler [2016-10-03 21:13:53] 805*2^1441607-1 is not prime. Res64: A39A2D7B233737DF Time : 0.0 sec. user=mdettweiler [2016-10-03 21:13:54] 813*2^1441607-1 is not prime. Res64: FACE0183ACBCE977 Time : 0.0 sec. user=mdettweiler [2016-10-03 21:13:54] 841*2^1441607-1 is not prime. Res64: FAE1D0945D27C645 Time : 0.0 sec. user=mdettweiler [2016-10-03 21:13:55] 913*2^1441607-1 is not prime. Res64: A4463E7EF1E442D0 Time : 0.0 sec. user=mdettweiler [2016-10-03 21:43:05] 981*2^1441607-1 is not prime. Res64: DAC2F864FDA502EB Time : 0.0 sec. user=mdettweiler [2016-10-03 21:43:05] 683*2^1441608-1 is not prime. Res64: E94BEA8C9F1C7853 Time : 0.0 sec. user=mdettweiler [2016-10-03 21:43:05] 773*2^1441608-1 is not prime. Res64: 4360B630B93D7386 Time : 0.0 sec. user=mdettweiler [2016-10-03 21:43:06] 777*2^1441608-1 is not prime. Res64: A89081F48F897817 Time : 0.0 sec. user=mdettweiler [2016-10-03 21:43:06] 839*2^1441608-1 is not prime. Res64: 38D5DB9431DCAAC7 Time : 0.0 sec. user=mdettweiler [2016-10-03 21:58:38] 849*2^1441608-1 is not prime. Res64: D693DFBAA86AE602 Time : 0.0 sec. user=mdettweiler [2016-10-03 21:58:38] 867*2^1441608-1 is not prime. Res64: 34BA9E40A33DE0C8 Time : 0.0 sec. user=mdettweiler [2016-10-03 21:58:38] 875*2^1441608-1 is not prime. Res64: 5B88510E5040DC34 Time : 0.0 sec. user=mdettweiler [2016-10-03 21:58:39] 729*2^1441609-1 is not prime. Res64: ABA7E84456E037A2 Time : 0.0 sec. user=mdettweiler [2016-10-03 21:58:39] 831*2^1441609-1 is not prime. Res64: FF1D9D7CE8BA214A Time : 0.0 sec. user=mdettweiler [2016-10-03 21:58:58] 877*2^1441609-1 is not prime. Res64: FE258A7D5FC4600B Time : 0.0 sec. user=mdettweiler [2016-10-03 21:58:58] 897*2^1441609-1 is not prime. Res64: D3108C0F8F86A378 Time : 0.0 sec. user=mdettweiler [2016-10-03 21:58:58] 945*2^1441609-1 is not prime. Res64: 474EDB2121B36CA2 Time : 0.0 sec. user=mdettweiler [2016-10-03 21:58:58] 665*2^1441610-1 is not prime. Res64: 0A71ED378485978D Time : 0.0 sec. user=mdettweiler [2016-10-03 21:58:59] 711*2^1441610-1 is not prime. Res64: C207577BB64320B9 Time : 0.0 sec. user=mdettweiler [2016-10-03 22:02:55] 735*2^1441610-1 is not prime. Res64: 6F9B4FEDEF2CFEB7 Time : 0.0 sec. user=mdettweiler [2016-10-03 22:02:55] 601*2^1441611-1 is not prime. Res64: D8079B090B12DCA3 Time : 0.0 sec. user=mdettweiler [2016-10-03 22:02:56] 615*2^1441611-1 is not prime. Res64: BB461908DCE6ABD0 Time : 0.0 sec. user=mdettweiler [2016-10-03 22:02:56] 711*2^1441611-1 is not prime. Res64: 450F05A5C6147C31 Time : 0.0 sec. user=mdettweiler [2016-10-03 22:02:57] 829*2^1441611-1 is not prime. Res64: D7D4514A85204681 Time : 0.0 sec. user=mdettweiler [2016-10-03 22:32:44] 705*2^1441612-1 is not prime. Res64: 6536B0A17F2FDEDE Time : 0.0 sec. user=mdettweiler [2016-10-03 22:32:44] 735*2^1441612-1 is not prime. Res64: 4CFCD0EE6589A6F3 Time : 0.0 sec. user=mdettweiler [2016-10-03 22:32:45] 785*2^1441612-1 is not prime. Res64: 46125414CCE2F927 Time : 0.0 sec. user=mdettweiler [2016-10-03 22:32:45] 797*2^1441612-1 is not prime. Res64: B003AF1692835B47 Time : 0.0 sec. user=mdettweiler [2016-10-03 22:32:45] 813*2^1441612-1 is not prime. Res64: B259CCE7930DFB23 Time : 0.0 sec. user=mdettweiler [2016-10-03 22:48:02] 819*2^1441612-1 is not prime. Res64: 5D5E71A3D143E473 Time : 0.0 sec. user=mdettweiler [2016-10-03 22:48:02] 873*2^1441612-1 is not prime. Res64: 1085258A9EFD4520 Time : 0.0 sec. user=mdettweiler [2016-10-03 22:48:02] 923*2^1441612-1 is not prime. Res64: E3F24C6434433407 Time : 0.0 sec. user=mdettweiler [2016-10-03 22:48:02] 983*2^1441612-1 is not prime. Res64: 61116E3DAEE273C3 Time : 0.0 sec. user=mdettweiler [2016-10-03 22:48:03] 615*2^1441613-1 is not prime. Res64: CF3686990595E310 Time : 0.0 sec. user=mdettweiler [2016-10-03 22:48:31] 651*2^1441613-1 is not prime. Res64: 9AE5AB44BC87E162 Time : 0.0 sec. user=mdettweiler [2016-10-03 22:48:31] 715*2^1441613-1 is not prime. Res64: A21105839F6C1FBD Time : 0.0 sec. user=mdettweiler [2016-10-03 22:48:32] 829*2^1441613-1 is not prime. Res64: 3EAB71D859642D7A Time : 0.0 sec. user=mdettweiler [2016-10-03 22:48:32] 871*2^1441613-1 is not prime. Res64: D63FBE81DF9F8C6F Time : 0.0 sec. user=mdettweiler [2016-10-03 22:48:32] 657*2^1441614-1 is not prime. Res64: 27D5AECF055C6855 Time : 0.0 sec. user=mdettweiler [2016-10-03 22:52:36] 741*2^1441614-1 is not prime. Res64: 4955A543906C2F9E Time : 0.0 sec. user=mdettweiler [2016-10-03 22:52:36] 773*2^1441614-1 is not prime. Res64: 570F4C39E3075CE5 Time : 0.0 sec. user=mdettweiler [2016-10-03 22:52:36] 833*2^1441614-1 is not prime. Res64: CDEEF123A0C1518A Time : 0.0 sec. user=mdettweiler [2016-10-03 22:52:37] 861*2^1441614-1 is not prime. Res64: C9B3CD6C2062D5CA Time : 0.0 sec. user=mdettweiler [2016-10-03 22:52:37] 863*2^1441614-1 is not prime. Res64: 1721081C5696F8A4 Time : 0.0 sec. user=mdettweiler [2016-10-03 23:20:06] 893*2^1441614-1 is not prime. Res64: 8E5BDCD422FC09F5 Time : 0.0 sec. user=mdettweiler [2016-10-03 23:20:07] 903*2^1441614-1 is not prime. Res64: A38633E795982940 Time : 0.0 sec. user=mdettweiler [2016-10-03 23:20:07] 917*2^1441614-1 is not prime. Res64: DCC8606DA40B0DDE Time : 0.0 sec. user=mdettweiler [2016-10-03 23:20:08] 951*2^1441614-1 is not prime. Res64: 1965D82603F8E0B9 Time : 0.0 sec. user=mdettweiler [2016-10-03 23:20:08] 649*2^1441615-1 is not prime. Res64: EA3E3BF0B7493544 Time : 0.0 sec. user=mdettweiler [2016-10-03 23:34:14] 651*2^1441615-1 is not prime. Res64: A9FA6CEA610C5F59 Time : 0.0 sec. user=mdettweiler [2016-10-03 23:34:14] 693*2^1441615-1 is not prime. Res64: 3D07419D130A95F1 Time : 0.0 sec. user=mdettweiler [2016-10-03 23:34:15] 789*2^1441615-1 is not prime. Res64: 75A60C04BA92451C Time : 0.0 sec. user=mdettweiler [2016-10-03 23:34:15] 831*2^1441615-1 is not prime. Res64: 83A300C5947C71F3 Time : 0.0 sec. user=mdettweiler [2016-10-03 23:34:16] 913*2^1441615-1 is not prime. Res64: F05F59C7EE6E0BD5 Time : 0.0 sec. user=mdettweiler [2016-10-03 23:34:43] 951*2^1441615-1 is not prime. Res64: 0FDD632C2C986D1B Time : 0.0 sec. user=mdettweiler [2016-10-03 23:34:44] 973*2^1441615-1 is not prime. Res64: 065F63D5665CA96B Time : 0.0 sec. user=mdettweiler [2016-10-03 23:34:44] 999*2^1441615-1 is not prime. Res64: 6D7A54002408CF63 Time : 0.0 sec. user=mdettweiler [2016-10-03 23:34:45] 767*2^1441616-1 is not prime. Res64: 3A6179C50F0CC26B Time : 0.0 sec. user=mdettweiler [2016-10-03 23:34:45] 873*2^1441616-1 is not prime. Res64: 4EF76ABF624B929C Time : 0.0 sec. user=mdettweiler [2016-10-03 23:38:35] 917*2^1441616-1 is not prime. Res64: 52BB8B9CE5496D0C Time : 0.0 sec. user=mdettweiler [2016-10-03 23:38:35] 993*2^1441616-1 is not prime. Res64: 43A8D9340E06AB67 Time : 0.0 sec. user=mdettweiler [2016-10-03 23:38:35] 717*2^1441617-1 is not prime. Res64: 10516D7F5EA22DF6 Time : 0.0 sec. user=mdettweiler [2016-10-03 23:38:36] 777*2^1441617-1 is not prime. Res64: EDF6EF48B3D531B5 Time : 0.0 sec. user=mdettweiler [2016-10-03 23:38:36] 837*2^1441617-1 is not prime. Res64: C582955D2C4C135A Time : 0.0 sec.