user=mdettweiler [2018-08-13 00:04:03] 985*2^1521149-1 is not prime. Res64: E94C142BB6F1A252 Time : 0.0 sec. user=mdettweiler [2018-08-13 00:04:04] 653*2^1521150-1 is not prime. Res64: 35A79426607632F4 Time : 0.0 sec. user=mdettweiler [2018-08-13 00:04:05] 723*2^1521150-1 is not prime. Res64: 726AC209E7BF9F60 Time : 0.0 sec. user=mdettweiler [2018-08-13 00:04:06] 833*2^1521150-1 is not prime. Res64: 5D6D2C1BA05DF15B Time : 0.0 sec. user=mdettweiler [2018-08-13 00:04:07] 867*2^1521150-1 is not prime. Res64: 52D6462A069B8687 Time : 0.0 sec. user=mdettweiler [2018-08-13 00:13:43] 715*2^1521151-1 is not prime. Res64: 29E291CC20AE89E6 Time : 0.0 sec. user=mdettweiler [2018-08-13 00:13:43] 841*2^1521151-1 is not prime. Res64: 7E9847C978B5BD29 Time : 0.0 sec. user=mdettweiler [2018-08-13 00:13:44] 925*2^1521151-1 is not prime. Res64: 04737C7D939C607E Time : 0.0 sec. user=mdettweiler [2018-08-13 00:13:44] 609*2^1521152-1 is not prime. Res64: 3BC015B7DA0EABC0 Time : 0.0 sec. user=mdettweiler [2018-08-13 00:13:44] 645*2^1521152-1 is not prime. Res64: 29EE9C4B94169D7E Time : 0.0 sec. user=mdettweiler [2018-08-13 00:17:12] 725*2^1521152-1 is not prime. Res64: 2F3113FC6AECDB1A Time : 0.0 sec. user=mdettweiler [2018-08-13 00:17:12] 759*2^1521152-1 is not prime. Res64: F22DFEC239776BA4 Time : 0.0 sec. user=mdettweiler [2018-08-13 00:17:13] 797*2^1521152-1 is not prime. Res64: 9A876FF52ABF1D81 Time : 0.0 sec. user=mdettweiler [2018-08-13 00:17:13] 803*2^1521152-1 is not prime. Res64: 98D6D68ADA6397CA Time : 0.0 sec. user=mdettweiler [2018-08-13 00:17:14] 855*2^1521152-1 is not prime. Res64: C2506A2F669E7F81 Time : 0.0 sec. user=mdettweiler [2018-08-13 00:22:12] 875*2^1521152-1 is not prime. Res64: A01AAA429EE99A99 Time : 0.0 sec. user=mdettweiler [2018-08-13 00:22:13] 899*2^1521152-1 is not prime. Res64: 8ABE3820F5994B10 Time : 0.0 sec. user=mdettweiler [2018-08-13 00:22:13] 691*2^1521153-1 is not prime. Res64: 3D7F98B39E8475C4 Time : 0.0 sec. user=mdettweiler [2018-08-13 00:22:13] 889*2^1521153-1 is not prime. Res64: 56887DDA5591195E Time : 0.0 sec. user=mdettweiler [2018-08-13 00:22:14] 901*2^1521153-1 is not prime. Res64: 2683F245A0D391E5 Time : 0.0 sec. user=mdettweiler [2018-08-13 00:55:34] 921*2^1521153-1 is not prime. Res64: 62B8A094F266A31F Time : 0.0 sec. user=mdettweiler [2018-08-13 00:55:34] 951*2^1521153-1 is not prime. Res64: 33E8AEB01BBF6949 Time : 0.0 sec. user=mdettweiler [2018-08-13 00:55:34] 633*2^1521154-1 is not prime. Res64: 5F9A7A190BD4E038 Time : 0.0 sec. user=mdettweiler [2018-08-13 00:55:35] 635*2^1521154-1 is not prime. Res64: B260AB7CBC70EDB5 Time : 0.0 sec. user=mdettweiler [2018-08-13 00:55:35] 663*2^1521154-1 is not prime. Res64: E38322B2A6AE5432 Time : 0.0 sec. user=mdettweiler [2018-08-13 01:04:30] 701*2^1521154-1 is not prime. Res64: E558FF35DAE54BDF Time : 0.0 sec. user=mdettweiler [2018-08-13 01:04:31] 785*2^1521154-1 is not prime. Res64: C42FC7E99E2D8134 Time : 0.0 sec. user=mdettweiler [2018-08-13 01:04:33] 791*2^1521154-1 is not prime. Res64: FE2C5D0E59FF77CA Time : 0.0 sec. user=mdettweiler [2018-08-13 01:04:34] 857*2^1521154-1 is not prime. Res64: D184150D5F64A174 Time : 0.0 sec. user=mdettweiler [2018-08-13 01:04:34] 887*2^1521154-1 is not prime. Res64: 745F5123C18EB95A Time : 0.0 sec. user=mdettweiler [2018-08-13 01:07:35] 917*2^1521154-1 is not prime. Res64: 387778D19A56DE5A Time : 0.0 sec. user=mdettweiler [2018-08-13 01:07:36] 945*2^1521154-1 is not prime. Res64: D8B71DFDE119CD92 Time : 0.0 sec. user=mdettweiler [2018-08-13 01:07:37] 601*2^1521155-1 is not prime. Res64: E826A201ED96D06C Time : 0.0 sec. user=mdettweiler [2018-08-13 01:07:38] 771*2^1521155-1 is not prime. Res64: 14430029F590809B Time : 0.0 sec. user=mdettweiler [2018-08-13 01:07:38] 775*2^1521155-1 is not prime. Res64: 870A4F1D6693DC90 Time : 0.0 sec. user=mdettweiler [2018-08-13 01:13:36] 609*2^1521156-1 is not prime. Res64: E2611D85FF4FD6D6 Time : 0.0 sec. user=mdettweiler [2018-08-13 01:13:36] 647*2^1521156-1 is not prime. Res64: 876705D06AD5A6C3 Time : 0.0 sec. user=mdettweiler [2018-08-13 01:13:36] 705*2^1521156-1 is not prime. Res64: 4E7464900C61931A Time : 0.0 sec. user=mdettweiler [2018-08-13 01:13:37] 825*2^1521156-1 is not prime. Res64: 1073E45C231671C9 Time : 0.0 sec. user=mdettweiler [2018-08-13 01:13:37] 837*2^1521156-1 is not prime. Res64: B306D872C7EC1CA2 Time : 0.0 sec. user=mdettweiler [2018-08-13 01:46:45] 839*2^1521156-1 is not prime. Res64: FE4C923570185426 Time : 0.0 sec. user=mdettweiler [2018-08-13 01:46:46] 893*2^1521156-1 is not prime. Res64: 4A3A82938899F488 Time : 0.0 sec. user=mdettweiler [2018-08-13 01:46:47] 601*2^1521157-1 is not prime. Res64: 72B632954771C226 Time : 0.0 sec. user=mdettweiler [2018-08-13 01:46:47] 651*2^1521157-1 is not prime. Res64: E5FC8C3E2EB96F23 Time : 0.0 sec. user=mdettweiler [2018-08-13 01:46:48] 871*2^1521157-1 is not prime. Res64: FD6AA03B2B107206 Time : 0.0 sec. user=mdettweiler [2018-08-13 01:55:26] 889*2^1521157-1 is not prime. Res64: 53C0990A718D5ACC Time : 0.0 sec. user=mdettweiler [2018-08-13 01:55:26] 985*2^1521157-1 is not prime. Res64: D59B8711F57A4764 Time : 0.0 sec. user=mdettweiler [2018-08-13 01:55:27] 665*2^1521158-1 is not prime. Res64: 63AA3B9E69588FC2 Time : 0.0 sec. user=mdettweiler [2018-08-13 01:55:27] 677*2^1521158-1 is not prime. Res64: 9C3A12D0BF252288 Time : 0.0 sec. user=mdettweiler [2018-08-13 01:55:28] 743*2^1521158-1 is not prime. Res64: B009D828153BB352 Time : 0.0 sec. user=mdettweiler [2018-08-13 01:58:58] 773*2^1521158-1 is not prime. Res64: FE3584B344507CCF Time : 0.0 sec. user=mdettweiler [2018-08-13 01:58:59] 831*2^1521158-1 is not prime. Res64: 3411C75CBE87C28E Time : 0.0 sec. user=mdettweiler [2018-08-13 01:58:59] 897*2^1521158-1 is not prime. Res64: 8684FF4BD593B440 Time : 0.0 sec. user=mdettweiler [2018-08-13 01:59:00] 951*2^1521158-1 is not prime. Res64: 52B3CAF85F1DAF92 Time : 0.0 sec. user=mdettweiler [2018-08-13 01:59:00] 705*2^1521159-1 is not prime. Res64: 4FA499E3F5327050 Time : 0.0 sec. user=mdettweiler [2018-08-13 02:05:34] 829*2^1521159-1 is not prime. Res64: 6CA2EA4550C2CCBE Time : 0.0 sec. user=mdettweiler [2018-08-13 02:05:35] 913*2^1521159-1 is not prime. Res64: A20A4C27CC210DE9 Time : 0.0 sec. user=mdettweiler [2018-08-13 02:05:36] 931*2^1521159-1 is not prime. Res64: 14E3BD0BF6549439 Time : 0.0 sec. user=mdettweiler [2018-08-13 02:05:37] 975*2^1521159-1 is not prime. Res64: 4BC7165FD2A498AD Time : 0.0 sec. user=mdettweiler [2018-08-13 02:05:39] 635*2^1521160-1 is not prime. Res64: 86885B8764533757 Time : 0.0 sec. user=mdettweiler [2018-08-13 02:38:48] 819*2^1521160-1 is not prime. Res64: 11CE1595675D88B1 Time : 0.0 sec. user=mdettweiler [2018-08-13 02:38:48] 843*2^1521160-1 is not prime. Res64: D26DF7615FF87666 Time : 0.0 sec. user=mdettweiler [2018-08-13 02:38:49] 863*2^1521160-1 is not prime. Res64: 27E47C8DEC18ABEF Time : 0.0 sec. user=mdettweiler [2018-08-13 02:38:50] 909*2^1521160-1 is not prime. Res64: D8C7F9F2D53D3C63 Time : 0.0 sec. user=mdettweiler [2018-08-13 02:38:51] 917*2^1521160-1 is not prime. Res64: 570111F415A3E161 Time : 0.0 sec. user=mdettweiler [2018-08-13 02:47:42] 651*2^1521161-1 is not prime. Res64: 7BFEDC665608CD10 Time : 0.0 sec. user=mdettweiler [2018-08-13 02:47:42] 697*2^1521161-1 is not prime. Res64: 7CEF5F83EC0364CE Time : 0.0 sec. user=mdettweiler [2018-08-13 02:47:43] 715*2^1521161-1 is not prime. Res64: 8A87B5C51E23BC5A Time : 0.0 sec. user=mdettweiler [2018-08-13 02:47:43] 769*2^1521161-1 is not prime. Res64: 164D4E29B46013DB Time : 0.0 sec. user=mdettweiler [2018-08-13 02:47:44] 861*2^1521161-1 is not prime. Res64: 30ABE3EF923EF1B0 Time : 0.0 sec. user=mdettweiler [2018-08-13 02:51:38] 889*2^1521161-1 is not prime. Res64: 14630A98A19F43A5 Time : 0.0 sec. user=mdettweiler [2018-08-13 02:51:38] 819*2^1521163-1 is not prime. Res64: E35621922E5DBD4D Time : 0.0 sec. user=mdettweiler [2018-08-13 02:51:39] 855*2^1521163-1 is not prime. Res64: 9D67BDE28AECC05B Time : 0.0 sec. user=mdettweiler [2018-08-13 02:51:39] 687*2^1521164-1 is not prime. Res64: 8B89A86B6436B859 Time : 0.0 sec. user=mdettweiler [2018-08-13 02:51:39] 707*2^1521164-1 is not prime. Res64: 216C2B042426503D Time : 0.0 sec. user=mdettweiler [2018-08-13 02:59:11] 717*2^1521164-1 is not prime. Res64: 64B43DEFFCE4FF40 Time : 0.0 sec. user=mdettweiler [2018-08-13 02:59:11] 843*2^1521164-1 is not prime. Res64: 5D511716F93EA889 Time : 0.0 sec. user=mdettweiler [2018-08-13 02:59:12] 869*2^1521164-1 is not prime. Res64: F90539C2C67F671E Time : 0.0 sec. user=mdettweiler [2018-08-13 02:59:12] 873*2^1521164-1 is not prime. Res64: 01B4F945469CF0C8 Time : 0.0 sec. user=mdettweiler [2018-08-13 02:59:12] 607*2^1521165-1 is not prime. Res64: 4454AF9A92F7872B Time : 0.0 sec. user=mdettweiler [2018-08-13 03:31:14] 627*2^1521165-1 is not prime. Res64: C04BB7B7C5ECCC34 Time : 0.0 sec. user=mdettweiler [2018-08-13 03:31:15] 699*2^1521165-1 is not prime. Res64: 797BFC81C12F95E5 Time : 0.0 sec. user=mdettweiler [2018-08-13 03:31:15] 781*2^1521165-1 is not prime. Res64: F0F5407DF50D69F3 Time : 0.0 sec. user=mdettweiler [2018-08-13 03:31:16] 999*2^1521165-1 is not prime. Res64: 5F85D77350DAE1BC Time : 0.0 sec. user=mdettweiler [2018-08-13 03:31:17] 611*2^1521166-1 is not prime. Res64: F7CEDB242C9776AB Time : 0.0 sec. user=mdettweiler [2018-08-13 03:38:46] 635*2^1521166-1 is not prime. Res64: ED12DC2CA53453D8 Time : 0.0 sec. user=mdettweiler [2018-08-13 03:38:47] 663*2^1521166-1 is not prime. Res64: 7EE4ADA6595899EC Time : 0.0 sec. user=mdettweiler [2018-08-13 03:38:48] 783*2^1521166-1 is not prime. Res64: D48B281C409DF60B Time : 0.0 sec. user=mdettweiler [2018-08-13 03:38:48] 801*2^1521166-1 is not prime. Res64: 41055730ABD3C031 Time : 0.0 sec. user=mdettweiler [2018-08-13 03:38:49] 957*2^1521166-1 is not prime. Res64: 57371C79440C69CF Time : 0.0 sec. user=mdettweiler [2018-08-13 03:42:30] 603*2^1521167-1 is not prime. Res64: E982046F18BCB55F Time : 0.0 sec. user=mdettweiler [2018-08-13 03:42:31] 741*2^1521167-1 is not prime. Res64: 39C73908E885589E Time : 0.0 sec. user=mdettweiler [2018-08-13 03:42:32] 753*2^1521167-1 is not prime. Res64: EEA9F843FA7E2F6E Time : 0.0 sec. user=mdettweiler [2018-08-13 03:42:33] 861*2^1521167-1 is not prime. Res64: E2551EE2120CFC14 Time : 0.0 sec. user=mdettweiler [2018-08-13 03:42:34] 871*2^1521167-1 is not prime. Res64: D35678A32F75B260 Time : 0.0 sec. user=mdettweiler [2018-08-13 03:49:52] 635*2^1521168-1 is not prime. Res64: 9848D30721DE9F02 Time : 0.0 sec. user=mdettweiler [2018-08-13 03:49:53] 699*2^1521168-1 is not prime. Res64: 8C7444A9007A076D Time : 0.0 sec. user=mdettweiler [2018-08-13 03:49:54] 867*2^1521168-1 is not prime. Res64: C2454FDD5C50672B Time : 0.0 sec. user=mdettweiler [2018-08-13 03:49:55] 879*2^1521168-1 is not prime. Res64: 48E370AB5CD5387B Time : 0.0 sec. user=mdettweiler [2018-08-13 03:49:56] 905*2^1521168-1 is not prime. Res64: 94CB998145472B8D Time : 0.0 sec. user=mdettweiler [2018-08-13 04:22:02] 945*2^1521168-1 is not prime. Res64: 05BAD4EE85943D61 Time : 0.0 sec. user=mdettweiler [2018-08-13 04:22:02] 969*2^1521168-1 is not prime. Res64: A030C08C04F75EC1 Time : 0.0 sec. user=mdettweiler [2018-08-13 04:22:03] 609*2^1521169-1 is not prime. Res64: C1329443F1C335D2 Time : 0.0 sec. user=mdettweiler [2018-08-13 04:22:04] 615*2^1521169-1 is not prime. Res64: 04AD92E49A317924 Time : 0.0 sec. user=mdettweiler [2018-08-13 04:22:04] 649*2^1521169-1 is not prime. Res64: BC1F1CCC3A942AD3 Time : 0.0 sec. user=mdettweiler [2018-08-13 04:29:46] 667*2^1521169-1 is not prime. Res64: 877840194289F22C Time : 0.0 sec. user=mdettweiler [2018-08-13 04:29:46] 861*2^1521169-1 is not prime. Res64: 710553C9129BC832 Time : 0.0 sec. user=mdettweiler [2018-08-13 04:29:47] 951*2^1521169-1 is not prime. Res64: 0D942D7EA9A25CA4 Time : 0.0 sec. user=mdettweiler [2018-08-13 04:29:47] 987*2^1521169-1 is not prime. Res64: 72D6AF43FEE29B62 Time : 0.0 sec. user=mdettweiler [2018-08-13 04:29:48] 635*2^1521170-1 is not prime. Res64: 866D7671C9695431 Time : 0.0 sec. user=mdettweiler [2018-08-13 04:33:34] 651*2^1521170-1 is not prime. Res64: 1D0BA665A084964F Time : 0.0 sec. user=mdettweiler [2018-08-13 04:33:34] 791*2^1521170-1 is not prime. Res64: 61B0708545640F6D Time : 0.0 sec. user=mdettweiler [2018-08-13 04:33:34] 885*2^1521170-1 is not prime. Res64: AA3D7B61116F29C4 Time : 0.0 sec. user=mdettweiler [2018-08-13 04:33:35] 945*2^1521170-1 is not prime. Res64: 623BBB4F82225388 Time : 0.0 sec. user=mdettweiler [2018-08-13 04:33:35] 977*2^1521170-1 is not prime. Res64: 743AD31BF134304A Time : 0.0 sec. user=mdettweiler [2018-08-13 04:40:46] 1001*2^1521170-1 is not prime. Res64: 2DAFCC8C4F00936B Time : 0.0 sec. user=mdettweiler [2018-08-13 04:40:46] 615*2^1521171-1 is not prime. Res64: 4E02D27513A2B615 Time : 0.0 sec. user=mdettweiler [2018-08-13 04:40:47] 679*2^1521171-1 is not prime. Res64: 0BEDD7CBD7E2CA6B Time : 0.0 sec. user=mdettweiler [2018-08-13 04:40:47] 795*2^1521171-1 is not prime. Res64: 3FB0BDC8EBBCC4B5 Time : 0.0 sec. user=mdettweiler [2018-08-13 04:40:47] 849*2^1521171-1 is not prime. Res64: 1719D2611E59E77F Time : 0.0 sec. user=mdettweiler [2018-08-13 05:12:51] 921*2^1521171-1 is not prime. Res64: C974C53FE6820D8B Time : 0.0 sec. user=mdettweiler [2018-08-13 05:12:51] 635*2^1521172-1 is not prime. Res64: 1A6C35AA6CCB4BC9 Time : 0.0 sec. user=mdettweiler [2018-08-13 05:12:56] 909*2^1521172-1 is not prime. Res64: F88C3B29B205A72C Time : 0.0 sec. user=mdettweiler [2018-08-13 05:20:37] 657*2^1521173-1 is not prime. Res64: EE40D777435BF8CA Time : 0.0 sec. user=mdettweiler [2018-08-13 05:20:37] 795*2^1521173-1 is not prime. Res64: C8C5A1D0EAAD63EB Time : 0.0 sec. user=mdettweiler [2018-08-13 05:20:38] 811*2^1521173-1 is not prime. Res64: 650772AF0557E3EE Time : 0.0 sec. user=mdettweiler [2018-08-13 05:20:38] 879*2^1521173-1 is not prime. Res64: CAC2198F535E5ADD Time : 0.0 sec. user=mdettweiler [2018-08-13 05:20:40] 889*2^1521173-1 is not prime. Res64: 4E47E62B3A933143 Time : 0.0 sec. user=mdettweiler [2018-08-13 05:24:37] 683*2^1521174-1 is not prime. Res64: 3789B0129ED40FB2 Time : 0.0 sec. user=mdettweiler [2018-08-13 05:24:37] 825*2^1521174-1 is not prime. Res64: 6B75742EAF9BE6F6 Time : 0.0 sec. user=mdettweiler [2018-08-13 05:24:38] 873*2^1521174-1 is not prime. Res64: 2FA0575AEDD12DD9 Time : 0.0 sec. user=mdettweiler [2018-08-13 05:24:38] 903*2^1521174-1 is not prime. Res64: 4BA3421F5E1F1F4E Time : 0.0 sec. user=mdettweiler [2018-08-13 05:24:39] 923*2^1521174-1 is not prime. Res64: AB82E6FB1061CCF5 Time : 0.0 sec. user=mdettweiler [2018-08-13 05:31:11] 983*2^1521174-1 is not prime. Res64: C35E5A0430C0B1DF Time : 0.0 sec. user=mdettweiler [2018-08-13 05:31:11] 601*2^1521175-1 is not prime. Res64: 9701BC404B53DE2A Time : 0.0 sec. user=mdettweiler [2018-08-13 05:31:15] 723*2^1521175-1 is not prime. Res64: 3A9EA21A5ADC5859 Time : 0.0 sec. user=mdettweiler [2018-08-13 06:13:03] 829*2^1521175-1 is not prime. Res64: 4598A2BE9DAC9F87 Time : 0.0 sec. user=mdettweiler [2018-08-13 06:13:04] 873*2^1521175-1 is not prime. Res64: AF2F4C2DFCA4BB85 Time : 0.0 sec. user=mdettweiler [2018-08-13 06:13:04] 951*2^1521175-1 is not prime. Res64: 9B4573927EC6AD49 Time : 0.0 sec. user=mdettweiler [2018-08-13 06:13:05] 999*2^1521175-1 is not prime. Res64: B34D5CD99F6C5757 Time : 0.0 sec. user=mdettweiler [2018-08-13 06:13:05] 615*2^1521176-1 is not prime. Res64: 3718218EC75CFC99 Time : 0.0 sec. user=mdettweiler [2018-08-13 06:17:13] 855*2^1521176-1 is not prime. Res64: B7B43485B0E842BE Time : 0.0 sec. user=mdettweiler [2018-08-13 06:17:13] 873*2^1521176-1 is not prime. Res64: BAF8BEE221EE5C77 Time : 0.0 sec. user=mdettweiler [2018-08-13 06:17:13] 879*2^1521176-1 is not prime. Res64: 2DA213E4F42908F0 Time : 0.0 sec. user=mdettweiler [2018-08-13 06:17:14] 607*2^1521177-1 is not prime. Res64: 53A4440024126CC7 Time : 0.0 sec. user=mdettweiler [2018-08-13 06:17:14] 649*2^1521177-1 is not prime. Res64: 78019928B534E654 Time : 0.0 sec. user=mdettweiler [2018-08-13 07:06:12] 777*2^1521177-1 is not prime. Res64: BB542D0BCB6503F4 Time : 0.0 sec. user=mdettweiler [2018-08-13 07:06:14] 889*2^1521177-1 is not prime. Res64: 940CE92DF802613C Time : 0.0 sec. user=mdettweiler [2018-08-13 07:06:15] 621*2^1521178-1 is not prime. Res64: 21FD551D36046E7A Time : 0.0 sec. user=mdettweiler [2018-08-13 07:06:17] 657*2^1521178-1 is not prime. Res64: CA35510F3F63EC9A Time : 0.0 sec. user=mdettweiler [2018-08-13 07:06:17] 747*2^1521178-1 is not prime. Res64: A5CF168C24D93F16 Time : 0.0 sec. user=mdettweiler [2018-08-13 07:09:35] 833*2^1521178-1 is not prime. Res64: 515AC59DD40AD37F Time : 0.0 sec. user=mdettweiler [2018-08-13 07:09:35] 857*2^1521178-1 is not prime. Res64: D7C88417CC11D960 Time : 0.0 sec. user=mdettweiler [2018-08-13 07:09:35] 891*2^1521178-1 is not prime. Res64: C4C9DABF2FCBB9CE Time : 0.0 sec. user=mdettweiler [2018-08-13 07:09:36] 995*2^1521178-1 is not prime. Res64: 62EA35C66510B4E2 Time : 0.0 sec. user=mdettweiler [2018-08-13 07:09:36] 601*2^1521179-1 is not prime. Res64: 1537F1B5BB505BA4 Time : 0.0 sec. user=mdettweiler [2018-08-13 08:00:03] 621*2^1521179-1 is not prime. Res64: 647823FA6658625F Time : 0.0 sec. user=mdettweiler [2018-08-13 08:00:04] 643*2^1521179-1 is not prime. Res64: 47B25475E9587558 Time : 0.0 sec. user=mdettweiler [2018-08-13 08:00:04] 675*2^1521179-1 is not prime. Res64: D22C802795CA1C04 Time : 0.0 sec. user=mdettweiler [2018-08-13 08:00:04] 745*2^1521179-1 is not prime. Res64: 04B5F4FE92621B1E Time : 0.0 sec. user=mdettweiler [2018-08-13 08:00:05] 759*2^1521179-1 is not prime. Res64: E5901A87F161EECB Time : 0.0 sec. user=mdettweiler [2018-08-13 08:02:34] 825*2^1521179-1 is not prime. Res64: 0AE706930712F49F Time : 0.0 sec. user=mdettweiler [2018-08-13 08:02:35] 861*2^1521179-1 is not prime. Res64: EF0DDD968C642D00 Time : 0.0 sec. user=mdettweiler [2018-08-13 08:02:36] 909*2^1521179-1 is not prime. Res64: 1185A349E06BA81B Time : 0.0 sec. user=mdettweiler [2018-08-13 08:02:37] 969*2^1521179-1 is not prime. Res64: FE6A3507733C6C30 Time : 0.0 sec. user=mdettweiler [2018-08-13 08:02:37] 973*2^1521179-1 is not prime. Res64: 39883B91995C62D4 Time : 0.0 sec. user=mdettweiler [2018-08-13 08:53:45] 665*2^1521180-1 is not prime. Res64: 66E322963CA531FE Time : 0.0 sec. user=mdettweiler [2018-08-13 08:53:45] 737*2^1521180-1 is not prime. Res64: C97FB9AECE6073A8 Time : 0.0 sec. user=mdettweiler [2018-08-13 08:53:46] 789*2^1521180-1 is not prime. Res64: 6007BC6CA455D524 Time : 0.0 sec. user=mdettweiler [2018-08-13 08:53:46] 839*2^1521180-1 is not prime. Res64: E157C9D24AF06247 Time : 0.0 sec. user=mdettweiler [2018-08-13 08:53:46] 845*2^1521180-1 is not prime. Res64: E16E0872E642A8F9 Time : 0.0 sec. user=mdettweiler [2018-08-13 08:55:12] 923*2^1521180-1 is not prime. Res64: E6FCF73274F92161 Time : 0.0 sec. user=mdettweiler [2018-08-13 08:55:12] 945*2^1521180-1 is not prime. Res64: 75D343586B2A6652 Time : 0.0 sec. user=mdettweiler [2018-08-13 08:55:12] 957*2^1521180-1 is not prime. Res64: C9F2BECCBB46612F Time : 0.0 sec. user=mdettweiler [2018-08-13 08:55:13] 747*2^1521181-1 is not prime. Res64: 79EB907DF57AB4CA Time : 0.0 sec. user=mdettweiler [2018-08-13 08:55:13] 769*2^1521181-1 is not prime. Res64: 0796EC2259F21CF8 Time : 0.0 sec. user=mdettweiler [2018-08-13 09:47:02] 771*2^1521181-1 is not prime. Res64: A5AE64591F58570E Time : 0.0 sec. user=mdettweiler [2018-08-13 09:47:02] 861*2^1521181-1 is not prime. Res64: 05D139221FFCA2F3 Time : 0.0 sec. user=mdettweiler [2018-08-13 09:47:03] 889*2^1521181-1 is not prime. Res64: 5A18726FFBE63A7A Time : 0.0 sec. user=mdettweiler [2018-08-13 09:47:03] 975*2^1521181-1 is not prime. Res64: 4648778539E99FFB Time : 0.0 sec. user=mdettweiler [2018-08-13 09:47:03] 999*2^1521181-1 is not prime. Res64: 05B29BA08EC780E3 Time : 0.0 sec. user=mdettweiler [2018-08-13 09:48:14] 711*2^1521182-1 is not prime. Res64: B7B9CFC95C1D8EA0 Time : 0.0 sec. user=mdettweiler [2018-08-13 09:48:14] 713*2^1521182-1 is not prime. Res64: 8915F1459B96DF1F Time : 0.0 sec. user=mdettweiler [2018-08-13 09:48:15] 825*2^1521182-1 is not prime. Res64: CDC3090DB0B0B58F Time : 0.0 sec. user=mdettweiler [2018-08-13 09:48:15] 833*2^1521182-1 is not prime. Res64: 9F94885A2491E547 Time : 0.0 sec. user=mdettweiler [2018-08-13 09:48:15] 915*2^1521182-1 is not prime. Res64: 0791863B7B93AEF9 Time : 0.0 sec. user=mdettweiler [2018-08-13 10:30:56] 947*2^1521172-1 is not prime. Res64: D16411CD3A26216D Time : 0.0 sec. user=mdettweiler [2018-08-13 10:30:56] 975*2^1521172-1 is not prime. Res64: 0863811D1717F5B9 Time : 0.0 sec. user=mdettweiler [2018-08-13 10:36:52] 783*2^1521175-1 is not prime. Res64: D2E07A63DB2E2563 Time : 0.0 sec. user=mdettweiler [2018-08-13 10:36:52] 805*2^1521175-1 is not prime. Res64: D61AB3E9B0BEC30A Time : 0.0 sec. user=mdettweiler [2018-08-13 10:40:51] 763*2^1521183-1 is not prime. Res64: FFE40CEB8A98AD2C Time : 0.0 sec. user=mdettweiler [2018-08-13 10:40:51] 775*2^1521183-1 is not prime. Res64: F20E37848F43DBAF Time : 0.0 sec. user=mdettweiler [2018-08-13 10:40:52] 879*2^1521183-1 is not prime. Res64: 2A60B2765B0E2792 Time : 0.0 sec. user=mdettweiler [2018-08-13 10:40:52] 961*2^1521183-1 is not prime. Res64: A7631B03A1FF9AE9 Time : 0.0 sec. user=mdettweiler [2018-08-13 10:40:52] 657*2^1521184-1 is not prime. Res64: B94521CB1C5B872A Time : 0.0 sec. user=mdettweiler [2018-08-13 10:41:12] 945*2^1521182-1 is not prime. Res64: 2173937A2DB6EFD5 Time : 0.0 sec. user=mdettweiler [2018-08-13 10:41:12] 613*2^1521183-1 is not prime. Res64: 01C4CFA026E6A289 Time : 0.0 sec. user=mdettweiler [2018-08-13 10:41:12] 619*2^1521183-1 is not prime. Res64: 3C24BEC1B1F43689 Time : 0.0 sec. user=mdettweiler [2018-08-13 10:41:13] 649*2^1521183-1 is not prime. Res64: 574073A11A3EA104 Time : 0.0 sec. user=mdettweiler [2018-08-13 10:41:13] 691*2^1521183-1 is not prime. Res64: A6122C987269C852 Time : 0.0 sec. user=mdettweiler [2018-08-13 11:22:55] 759*2^1521184-1 is not prime. Res64: AAD9FF4875FDE4B5 Time : 0.0 sec. user=mdettweiler [2018-08-13 11:22:55] 773*2^1521184-1 is not prime. Res64: B9FC857D925B7EEF Time : 0.0 sec. user=mdettweiler [2018-08-13 11:22:55] 917*2^1521184-1 is not prime. Res64: D09CFA67569177C2 Time : 0.0 sec. user=mdettweiler [2018-08-13 11:22:56] 685*2^1521185-1 is not prime. Res64: 1BF64058D583D35C Time : 0.0 sec. user=mdettweiler [2018-08-13 11:22:56] 717*2^1521185-1 is not prime. Res64: AB1D3B1BF589D5C2 Time : 0.0 sec. user=mdettweiler [2018-08-13 11:28:43] 771*2^1521185-1 is not prime. Res64: F705D86027DCD918 Time : 0.0 sec. user=mdettweiler [2018-08-13 11:28:43] 777*2^1521185-1 is not prime. Res64: 7F9D347DB0CA0587 Time : 0.0 sec. user=mdettweiler [2018-08-13 11:28:44] 795*2^1521185-1 is not prime. Res64: AE8A5611E7925EA7 Time : 0.0 sec. user=mdettweiler [2018-08-13 11:28:44] 937*2^1521185-1 is not prime. Res64: FB1B6739CCD74118 Time : 0.0 sec. user=mdettweiler [2018-08-13 11:28:44] 951*2^1521185-1 is not prime. Res64: 30954679E6EF8FC8 Time : 0.0 sec. user=mdettweiler [2018-08-13 11:32:38] 979*2^1521185-1 is not prime. Res64: 0F07D0E8184F12CC Time : 0.0 sec. user=mdettweiler [2018-08-13 11:32:38] 713*2^1521186-1 is not prime. Res64: C05F93ED3BA4193B Time : 0.0 sec. user=mdettweiler [2018-08-13 11:32:38] 717*2^1521186-1 is not prime. Res64: B445E6A66A7750FB Time : 0.0 sec. user=mdettweiler [2018-08-13 11:32:39] 741*2^1521186-1 is not prime. Res64: E22B31C1EFC8A5CA Time : 0.0 sec. user=mdettweiler [2018-08-13 11:32:39] 881*2^1521186-1 is not prime. Res64: 9AEA04604E25987E Time : 0.0 sec. user=mdettweiler [2018-08-13 11:33:04] 625*2^1521187-1 is not prime. Res64: C4F328C0A4B346A3 Time : 0.0 sec. user=mdettweiler [2018-08-13 11:33:05] 639*2^1521187-1 is not prime. Res64: 552152F582765C68 Time : 0.0 sec. user=mdettweiler [2018-08-13 11:33:05] 861*2^1521187-1 is not prime. Res64: BFC8F771BE295CB6 Time : 0.0 sec. user=mdettweiler [2018-08-13 11:33:05] 919*2^1521187-1 is not prime. Res64: 2765D81CD8670CEF Time : 0.0 sec. user=mdettweiler [2018-08-13 11:33:06] 945*2^1521187-1 is not prime. Res64: AEFA691CA7A6CDF0 Time : 0.0 sec. user=mdettweiler [2018-08-13 12:13:56] 623*2^1521188-1 is not prime. Res64: 1BFA76F80D509FDD Time : 0.0 sec. user=mdettweiler [2018-08-13 12:13:57] 725*2^1521188-1 is not prime. Res64: BBB16D781332DE74 Time : 0.0 sec. user=mdettweiler [2018-08-13 12:13:57] 767*2^1521188-1 is not prime. Res64: 68503316418751ED Time : 0.0 sec. user=mdettweiler [2018-08-13 12:13:58] 843*2^1521188-1 is not prime. Res64: 2793E361A95D2929 Time : 0.0 sec. user=mdettweiler [2018-08-13 12:13:58] 923*2^1521188-1 is not prime. Res64: F710C207BD589B33 Time : 0.0 sec. user=mdettweiler [2018-08-13 12:19:28] 601*2^1521189-1 is not prime. Res64: D48A78D3699B5553 Time : 0.0 sec. user=mdettweiler [2018-08-13 12:19:28] 657*2^1521189-1 is not prime. Res64: 41AFC0E5A70DB1F3 Time : 0.0 sec. user=mdettweiler [2018-08-13 12:19:28] 745*2^1521189-1 is not prime. Res64: 5AE2F8E8879A0F9D Time : 0.0 sec. user=mdettweiler [2018-08-13 12:19:29] 747*2^1521189-1 is not prime. Res64: D242CCBA87AD6929 Time : 0.0 sec. user=mdettweiler [2018-08-13 12:19:29] 769*2^1521189-1 is not prime. Res64: D68462C3C91C7C9A Time : 0.0 sec. user=mdettweiler [2018-08-13 12:23:58] 787*2^1521189-1 is not prime. Res64: 7B888F6DF8DBF802 Time : 0.0 sec. user=mdettweiler [2018-08-13 12:23:58] 789*2^1521189-1 is not prime. Res64: 889CC37A89EC4730 Time : 0.0 sec. user=mdettweiler [2018-08-13 12:23:58] 811*2^1521189-1 is not prime. Res64: 298A9F46284D0A08 Time : 0.0 sec. user=mdettweiler [2018-08-13 12:23:59] 825*2^1521189-1 is not prime. Res64: D42F18D04DBC8923 Time : 0.0 sec. user=mdettweiler [2018-08-13 12:23:59] 831*2^1521189-1 is not prime. Res64: 906D93524763EE9A Time : 0.0 sec. user=mdettweiler [2018-08-13 12:24:04] 647*2^1521190-1 is not prime. Res64: C1F8F9EC2EB18F86 Time : 0.0 sec. user=mdettweiler [2018-08-13 12:24:05] 785*2^1521190-1 is not prime. Res64: 06771F6DFCADE861 Time : 0.0 sec. user=mdettweiler [2018-08-13 12:24:05] 791*2^1521190-1 is not prime. Res64: FB6854B9098EF6D1 Time : 0.0 sec. user=mdettweiler [2018-08-13 12:24:06] 827*2^1521190-1 is not prime. Res64: BDB8101DB7412D9E Time : 0.0 sec. user=mdettweiler [2018-08-13 12:24:06] 855*2^1521190-1 is not prime. Res64: 41C438469FFA4FC2 Time : 0.0 sec. user=mdettweiler [2018-08-13 13:05:10] 897*2^1521190-1 is not prime. Res64: C319861B3DB4330B Time : 0.0 sec. user=mdettweiler [2018-08-13 13:05:12] 957*2^1521190-1 is not prime. Res64: 330E8A926530026E Time : 0.0 sec. user=mdettweiler [2018-08-13 13:05:14] 995*2^1521190-1 is not prime. Res64: 81CFBE21A4D108EA Time : 0.0 sec. user=mdettweiler [2018-08-13 13:05:16] 621*2^1521191-1 is not prime. Res64: AD5881A1DD762F77 Time : 0.0 sec. user=mdettweiler [2018-08-13 13:05:17] 703*2^1521191-1 is not prime. Res64: 3FB8E4CEF423F41B Time : 0.0 sec. user=mdettweiler [2018-08-13 13:10:43] 811*2^1521191-1 is not prime. Res64: 7BD088D2B90DCE7F Time : 0.0 sec. user=mdettweiler [2018-08-13 13:10:43] 949*2^1521191-1 is not prime. Res64: 730AF111CA1E3E3A Time : 0.0 sec. user=mdettweiler [2018-08-13 13:10:44] 609*2^1521192-1 is not prime. Res64: 8168EEBA02F8DDB9 Time : 0.0 sec. user=mdettweiler [2018-08-13 13:10:44] 669*2^1521192-1 is not prime. Res64: 910B1020DA1B116C Time : 0.0 sec. user=mdettweiler [2018-08-13 13:10:45] 753*2^1521192-1 is not prime. Res64: E6CFAB6266476795 Time : 0.0 sec. user=mdettweiler [2018-08-13 13:14:50] 819*2^1521192-1 is not prime. Res64: 882722AAEF2CE8F9 Time : 0.0 sec. user=mdettweiler [2018-08-13 13:14:51] 875*2^1521192-1 is not prime. Res64: BEC1F5EAC1CE30CF Time : 0.0 sec. user=mdettweiler [2018-08-13 13:14:51] 899*2^1521192-1 is not prime. Res64: B4D4143715B64649 Time : 0.0 sec. user=mdettweiler [2018-08-13 13:14:51] 923*2^1521192-1 is not prime. Res64: 716A62E1BA35DA3C Time : 0.0 sec. user=mdettweiler [2018-08-13 13:14:52] 609*2^1521193-1 is not prime. Res64: 68E1F5DA6D28CAD1 Time : 0.0 sec. user=mdettweiler [2018-08-13 13:15:05] 679*2^1521193-1 is not prime. Res64: 201ED3433C76034D Time : 0.0 sec. user=mdettweiler [2018-08-13 13:15:05] 685*2^1521193-1 is not prime. Res64: B97D7D4DB595634D Time : 0.0 sec. user=mdettweiler [2018-08-13 13:15:06] 741*2^1521193-1 is not prime. Res64: A3E3849DEC612300 Time : 0.0 sec. user=mdettweiler [2018-08-13 13:15:06] 789*2^1521193-1 is not prime. Res64: 825D23D358188F38 Time : 0.0 sec. user=mdettweiler [2018-08-13 13:15:07] 829*2^1521193-1 is not prime. Res64: FB95E27CE3EFA841 Time : 0.0 sec. user=mdettweiler [2018-08-13 13:56:14] 847*2^1521193-1 is not prime. Res64: D80243B046FCA09B Time : 0.0 sec. user=mdettweiler [2018-08-13 13:56:14] 955*2^1521193-1 is not prime. Res64: 0EB8F798B52FB1FD Time : 0.0 sec. user=mdettweiler [2018-08-13 13:56:15] 675*2^1521194-1 is not prime. Res64: FC16CDBF87F84278 Time : 0.0 sec. user=mdettweiler [2018-08-13 13:56:15] 753*2^1521194-1 is not prime. Res64: 0BA2D60103800C45 Time : 0.0 sec. user=mdettweiler [2018-08-13 13:56:15] 873*2^1521194-1 is not prime. Res64: 081C2D8A01373853 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:01:23] 875*2^1521194-1 is not prime. Res64: 1A2177FAAEA17A3A Time : 0.0 sec. user=mdettweiler [2018-08-13 14:01:24] 859*2^1521195-1 is not prime. Res64: F26D1A8BD51290F4 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:01:25] 609*2^1521196-1 is not prime. Res64: EFF87145152EFEE7 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:01:26] 629*2^1521196-1 is not prime. Res64: 7B36B9CDC6832591 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:01:26] 677*2^1521196-1 is not prime. Res64: F5614A6AF416D92B Time : 0.0 sec. user=mdettweiler [2018-08-13 14:05:39] 693*2^1521196-1 is not prime. Res64: 1FC22B4E441F446F Time : 0.0 sec. user=mdettweiler [2018-08-13 14:05:41] 843*2^1521196-1 is not prime. Res64: 7F635F54619BC019 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:05:43] 899*2^1521196-1 is not prime. Res64: 4E0094C087F40D65 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:05:46] 621*2^1521197-1 is not prime. Res64: 89ACFFA18724E127 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:05:48] 645*2^1521197-1 is not prime. Res64: 05C430F2FB93EC06 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:05:51] 651*2^1521197-1 is not prime. Res64: 82D97DA29D8362C3 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:05:52] 697*2^1521197-1 is not prime. Res64: 7DF19315D7A489CD Time : 0.0 sec. user=mdettweiler [2018-08-13 14:05:54] 795*2^1521197-1 is not prime. Res64: 557EC1B35A03E8F8 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:05:56] 825*2^1521197-1 is not prime. Res64: 1FCE04A9150F19C6 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:05:58] 837*2^1521197-1 is not prime. Res64: 35C90D30435B23C2 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:46:59] 967*2^1521197-1 is not prime. Res64: CA782893702065C6 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:46:59] 981*2^1521197-1 is not prime. Res64: 3EBEEC4A990C28C2 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:46:59] 747*2^1521198-1 is not prime. Res64: BCBE53046FB874A0 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:47:00] 825*2^1521198-1 is not prime. Res64: 13FD99E19C5D7F61 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:47:00] 921*2^1521198-1 is not prime. Res64: 37D84398D132A77B Time : 0.0 sec. user=mdettweiler [2018-08-13 14:52:13] 729*2^1521199-1 is not prime. Res64: 6A9452DC5E9A0BA1 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:52:14] 829*2^1521199-1 is not prime. Res64: 182FFA0D1CB22B7F Time : 0.0 sec. user=mdettweiler [2018-08-13 14:52:14] 841*2^1521199-1 is not prime. Res64: 54646F20E3A71E80 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:52:14] 885*2^1521199-1 is not prime. Res64: AF4DC854018DBEDE Time : 0.0 sec. user=mdettweiler [2018-08-13 14:52:15] 891*2^1521199-1 is not prime. Res64: B0E1570896D9FFD7 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:57:20] 789*2^1521200-1 is not prime. Res64: 93E0F65EF0BC804A Time : 0.0 sec. user=mdettweiler [2018-08-13 14:57:20] 797*2^1521200-1 is not prime. Res64: 2148550345C4EA5F Time : 0.0 sec. user=mdettweiler [2018-08-13 14:57:21] 827*2^1521200-1 is not prime. Res64: 57C560C2E258E40A Time : 0.0 sec. user=mdettweiler [2018-08-13 14:57:21] 857*2^1521200-1 is not prime. Res64: E5CDAD4F3C251C9E Time : 0.0 sec. user=mdettweiler [2018-08-13 14:57:22] 875*2^1521200-1 is not prime. Res64: 289B6D37B3BA7BD6 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:57:30] 895*2^1521199-1 is not prime. Res64: D2B31E27BB5A15D9 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:57:30] 909*2^1521199-1 is not prime. Res64: 291424DA281C8FB5 Time : 0.0 sec. user=mdettweiler [2018-08-13 14:57:31] 931*2^1521199-1 is not prime. Res64: EBC3DE58840F984F Time : 0.0 sec. user=mdettweiler [2018-08-13 14:57:31] 951*2^1521199-1 is not prime. Res64: F33E1E5A12931CEB Time : 0.0 sec. user=mdettweiler [2018-08-13 14:57:31] 687*2^1521200-1 is not prime. Res64: 21C50A038AFD841D Time : 0.0 sec. user=mdettweiler [2018-08-13 15:37:49] 795*2^1521201-1 is not prime. Res64: 07669616A5A297EE Time : 0.0 sec. user=mdettweiler [2018-08-13 15:37:50] 865*2^1521201-1 is not prime. Res64: D7E05FB2F53B05A4 Time : 0.0 sec. user=mdettweiler [2018-08-13 15:37:50] 871*2^1521201-1 is not prime. Res64: 26493F1C9FC94E32 Time : 0.0 sec. user=mdettweiler [2018-08-13 15:37:50] 877*2^1521201-1 is not prime. Res64: E6B517947E9D296F Time : 0.0 sec. user=mdettweiler [2018-08-13 15:37:51] 907*2^1521201-1 is not prime. Res64: E82C340C0C49D7ED Time : 0.0 sec. user=mdettweiler [2018-08-13 15:43:04] 621*2^1521202-1 is not prime. Res64: 9BDD4DBA5E9C4ADF Time : 0.0 sec. user=mdettweiler [2018-08-13 15:43:04] 695*2^1521202-1 is not prime. Res64: 452F9F2D4DD36C01 Time : 0.0 sec. user=mdettweiler [2018-08-13 15:43:05] 701*2^1521202-1 is not prime. Res64: 44CFB7F09F9473C6 Time : 0.0 sec. user=mdettweiler [2018-08-13 15:43:05] 717*2^1521202-1 is not prime. Res64: C425E7E72047D996 Time : 0.0 sec. user=mdettweiler [2018-08-13 15:43:05] 735*2^1521202-1 is not prime. Res64: 132B9B78EE61FE9C Time : 0.0 sec. user=mdettweiler [2018-08-13 15:48:04] 755*2^1521202-1 is not prime. Res64: F9B24E32911D4775 Time : 0.0 sec. user=mdettweiler [2018-08-13 15:48:05] 825*2^1521202-1 is not prime. Res64: 097E4D9E69E9BC6D Time : 0.0 sec. user=mdettweiler [2018-08-13 15:48:05] 891*2^1521202-1 is not prime. Res64: 562F79048DDDBA36 Time : 0.0 sec. user=mdettweiler [2018-08-13 15:48:06] 923*2^1521202-1 is not prime. Res64: F860392DDF74273C Time : 0.0 sec. user=mdettweiler [2018-08-13 15:48:06] 619*2^1521203-1 is not prime. Res64: 8E609D5436D95DDD Time : 0.0 sec. user=mdettweiler [2018-08-13 15:48:16] 675*2^1521203-1 is not prime. Res64: 338E6393AF49057D Time : 0.0 sec. user=mdettweiler [2018-08-13 15:48:17] 679*2^1521203-1 is not prime. Res64: A63756B7825374CB Time : 0.0 sec. user=mdettweiler [2018-08-13 15:48:17] 685*2^1521203-1 is not prime. Res64: AB8EF5654E7D3BDF Time : 0.0 sec. user=mdettweiler [2018-08-13 15:48:18] 703*2^1521203-1 is not prime. Res64: 760A17146DF1C63B Time : 0.0 sec. user=mdettweiler [2018-08-13 15:48:18] 753*2^1521203-1 is not prime. Res64: 15EBA882F025C89D Time : 0.0 sec. user=mdettweiler [2018-08-13 16:29:10] 943*2^1521203-1 is not prime. Res64: 41411166E04E6109 Time : 0.0 sec. user=mdettweiler [2018-08-13 16:29:10] 623*2^1521204-1 is not prime. Res64: DDA3D60161751A51 Time : 0.0 sec. user=mdettweiler [2018-08-13 16:29:11] 675*2^1521204-1 is not prime. Res64: 6931AA5DEA08837F Time : 0.0 sec. user=mdettweiler [2018-08-13 16:29:11] 689*2^1521204-1 is not prime. Res64: 73B9D6B9425C6C9B Time : 0.0 sec. user=mdettweiler [2018-08-13 16:29:11] 719*2^1521204-1 is not prime. Res64: 403D0BEC1A3063E9 Time : 0.0 sec. user=mdettweiler [2018-08-13 16:34:41] 765*2^1521204-1 is not prime. Res64: 1C19DCE7439361E3 Time : 0.0 sec. user=mdettweiler [2018-08-13 16:34:41] 825*2^1521204-1 is not prime. Res64: 0F9E6CF18A032F8D Time : 0.0 sec. user=mdettweiler [2018-08-13 16:34:42] 875*2^1521204-1 is not prime. Res64: CF40820B0E45648B Time : 0.0 sec. user=mdettweiler [2018-08-13 16:34:42] 893*2^1521204-1 is not prime. Res64: 87DB9C7770AED878 Time : 0.0 sec. user=mdettweiler [2018-08-13 16:34:43] 899*2^1521204-1 is not prime. Res64: 0D036A6AA26798D5 Time : 0.0 sec. user=mdettweiler [2018-08-13 16:39:25] 729*2^1521205-1 is not prime. Res64: 7DED18292B426E59 Time : 0.0 sec. user=mdettweiler [2018-08-13 16:39:25] 771*2^1521205-1 is not prime. Res64: CD70DB1CE4FEB94D Time : 0.0 sec. user=mdettweiler [2018-08-13 16:39:26] 789*2^1521205-1 is not prime. Res64: B2427A5272B2196D Time : 0.0 sec. user=mdettweiler [2018-08-13 16:39:26] 915*2^1521205-1 is not prime. Res64: 307C4605E06D254B Time : 0.0 sec. user=mdettweiler [2018-08-13 16:39:26] 925*2^1521205-1 is not prime. Res64: 5DBD56F734BE150D Time : 0.0 sec. user=mdettweiler [2018-08-13 16:39:31] 905*2^1521204-1 is not prime. Res64: 8893CC2DB2D99FD0 Time : 0.0 sec. user=mdettweiler [2018-08-13 16:39:31] 915*2^1521204-1 is not prime. Res64: C96D4F44EFA75260 Time : 0.0 sec. user=mdettweiler [2018-08-13 16:39:32] 927*2^1521204-1 is not prime. Res64: FE262CBB2D8A8F21 Time : 0.0 sec. user=mdettweiler [2018-08-13 16:39:32] 959*2^1521204-1 is not prime. Res64: 2B153B26904642B7 Time : 0.0 sec. user=mdettweiler [2018-08-13 16:39:32] 975*2^1521204-1 is not prime. Res64: 1927C4CE348B972E Time : 0.0 sec. user=mdettweiler [2018-08-13 17:20:45] 957*2^1521205-1 is not prime. Res64: 08056EB7ABF7E311 Time : 0.0 sec. user=mdettweiler [2018-08-13 17:20:45] 603*2^1521206-1 is not prime. Res64: E54F6D7BB8C52A07 Time : 0.0 sec. user=mdettweiler [2018-08-13 17:20:46] 635*2^1521206-1 is not prime. Res64: F5DD9251615A0705 Time : 0.0 sec. user=mdettweiler [2018-08-13 17:20:46] 641*2^1521206-1 is not prime. Res64: 161E8A2AB4BA51DF Time : 0.0 sec. user=mdettweiler [2018-08-13 17:20:46] 705*2^1521206-1 is not prime. Res64: B76C62755C44116D Time : 0.0 sec. user=mdettweiler [2018-08-13 17:26:41] 711*2^1521206-1 is not prime. Res64: 808F419D293F540D Time : 0.0 sec. user=mdettweiler [2018-08-13 17:26:41] 761*2^1521206-1 is not prime. Res64: 53125629D8D32937 Time : 0.0 sec. user=mdettweiler [2018-08-13 17:26:41] 867*2^1521206-1 is not prime. Res64: C5E85867708D57EF Time : 0.0 sec. user=mdettweiler [2018-08-13 17:26:42] 917*2^1521206-1 is not prime. Res64: C632AF21D7753B46 Time : 0.0 sec. user=mdettweiler [2018-08-13 17:26:42] 993*2^1521206-1 is not prime. Res64: BDE58BFCCCFBFB6B Time : 0.0 sec. user=mdettweiler [2018-08-13 17:30:47] 829*2^1521207-1 is not prime. Res64: BCEF653AC023852A Time : 0.0 sec. user=mdettweiler [2018-08-13 17:30:47] 871*2^1521207-1 is not prime. Res64: 85C363A1989067B0 Time : 0.0 sec. user=mdettweiler [2018-08-13 17:30:47] 895*2^1521207-1 is not prime. Res64: FE8FBABBF2A37A26 Time : 0.0 sec. user=mdettweiler [2018-08-13 17:30:48] 657*2^1521208-1 is not prime. Res64: DF3A8DD3CF3FA68E Time : 0.0 sec. user=mdettweiler [2018-08-13 17:30:48] 677*2^1521208-1 is not prime. Res64: DBC50AEEC57536FD Time : 0.0 sec. user=mdettweiler [2018-08-13 17:31:37] 875*2^1521208-1 is not prime. Res64: 4CA0105F3BE8A146 Time : 0.0 sec. user=mdettweiler [2018-08-13 17:31:38] 627*2^1521209-1 is not prime. Res64: CFD8A0CA794FC8B9 Time : 0.0 sec. user=mdettweiler [2018-08-13 17:31:38] 787*2^1521209-1 is not prime. Res64: 3BFB777183311004 Time : 0.0 sec. user=mdettweiler [2018-08-13 17:31:38] 879*2^1521209-1 is not prime. Res64: D05E6463F8997B36 Time : 0.0 sec. user=mdettweiler [2018-08-13 17:31:39] 633*2^1521210-1 is not prime. Res64: 7FC59C6873F477F7 Time : 0.0 sec. user=mdettweiler [2018-08-13 18:12:26] 713*2^1521210-1 is not prime. Res64: 632CA3F1C52659F1 Time : 0.0 sec. user=mdettweiler [2018-08-13 18:12:27] 777*2^1521210-1 is not prime. Res64: 9A8E057BB855A239 Time : 0.0 sec. user=mdettweiler [2018-08-13 18:12:27] 933*2^1521210-1 is not prime. Res64: 38B1E0EB7CDDE160 Time : 0.0 sec. user=mdettweiler [2018-08-13 18:12:28] 645*2^1521211-1 is not prime. Res64: 1C24F0338B42CACF Time : 0.0 sec. user=mdettweiler [2018-08-13 18:12:28] 681*2^1521211-1 is not prime. Res64: 3C13BBE416061267 Time : 0.0 sec. user=mdettweiler [2018-08-13 18:18:23] 775*2^1521211-1 is not prime. Res64: 09055D8ECEBEE5D5 Time : 0.0 sec. user=mdettweiler [2018-08-13 18:18:23] 813*2^1521211-1 is not prime. Res64: 28977FEDEAEBA5AB Time : 0.0 sec. user=mdettweiler [2018-08-13 18:18:24] 829*2^1521211-1 is not prime. Res64: F1A7EA1A6C8C953D Time : 0.0 sec. user=mdettweiler [2018-08-13 18:18:24] 873*2^1521211-1 is not prime. Res64: B53D969E16D23799 Time : 0.0 sec. user=mdettweiler [2018-08-13 18:18:25] 885*2^1521211-1 is not prime. Res64: 5409F46703E6B734 Time : 0.0 sec. user=mdettweiler [2018-08-13 18:22:26] 889*2^1521211-1 is not prime. Res64: DF7E946A8CA66871 Time : 0.0 sec. user=mdettweiler [2018-08-13 18:22:27] 693*2^1521212-1 is not prime. Res64: E39DBE8806927BF4 Time : 0.0 sec. user=mdettweiler [2018-08-13 18:22:27] 743*2^1521212-1 is not prime. Res64: 45421F14AA0CF9B3 Time : 0.0 sec. user=mdettweiler [2018-08-13 18:22:27] 827*2^1521212-1 is not prime. Res64: 8F0E4474CD097920 Time : 0.0 sec. user=mdettweiler [2018-08-13 18:22:28] 899*2^1521212-1 is not prime. Res64: 413AFC97ED4DAF05 Time : 0.0 sec. user=mdettweiler [2018-08-13 18:23:16] 945*2^1521212-1 is not prime. Res64: F5B9F4E515BA174B Time : 0.0 sec. user=mdettweiler [2018-08-13 18:23:16] 625*2^1521213-1 is not prime. Res64: E6682878EDD9F9B2 Time : 0.0 sec. user=mdettweiler [2018-08-13 18:23:17] 627*2^1521213-1 is not prime. Res64: 1B7E04797D16D43B Time : 0.0 sec. user=mdettweiler [2018-08-13 18:23:17] 781*2^1521213-1 is not prime. Res64: 50464BAB4B211115 Time : 0.0 sec. user=mdettweiler [2018-08-13 18:23:17] 837*2^1521213-1 is not prime. Res64: 1AC2D587EE075E1F Time : 0.0 sec. user=mdettweiler [2018-08-13 19:04:15] 867*2^1521213-1 is not prime. Res64: 5CFF327055871EB2 Time : 0.0 sec. user=mdettweiler [2018-08-13 19:04:17] 921*2^1521213-1 is not prime. Res64: AE013307FD07CDE9 Time : 0.0 sec. user=mdettweiler [2018-08-13 19:04:18] 951*2^1521213-1 is not prime. Res64: DBDE59870FE59D1F Time : 0.0 sec. user=mdettweiler [2018-08-13 19:04:19] 979*2^1521213-1 is not prime. Res64: C6410D6B567DBA44 Time : 0.0 sec. user=mdettweiler [2018-08-13 19:04:20] 985*2^1521213-1 is not prime. Res64: 625AA5B6D863C3FE Time : 0.0 sec. user=mdettweiler [2018-08-13 19:11:56] 623*2^1521214-1 is not prime. Res64: C51AFBEA2B8EEF59 Time : 0.0 sec. user=mdettweiler [2018-08-13 19:11:57] 663*2^1521214-1 is not prime. Res64: CEBFC8C5E822BB38 Time : 0.0 sec. user=mdettweiler [2018-08-13 19:11:57] 671*2^1521214-1 is not prime. Res64: B292E35B5BAFD8C0 Time : 0.0 sec. user=mdettweiler [2018-08-13 19:11:58] 681*2^1521214-1 is not prime. Res64: 3BA3B2307F8491F9 Time : 0.0 sec. user=mdettweiler [2018-08-13 19:11:58] 731*2^1521214-1 is not prime. Res64: 55352BA692E270E4 Time : 0.0 sec. user=mdettweiler [2018-08-13 19:14:35] 855*2^1521215-1 is not prime. Res64: 6A1A842E18A81643 Time : 0.0 sec. user=mdettweiler [2018-08-13 19:14:35] 861*2^1521215-1 is not prime. Res64: 844E981733F7B472 Time : 0.0 sec. user=mdettweiler [2018-08-13 19:14:35] 979*2^1521215-1 is not prime. Res64: A074845EF7DADBF9 Time : 0.0 sec. user=mdettweiler [2018-08-13 19:14:36] 717*2^1521216-1 is not prime. Res64: 49F893507F287470 Time : 0.0 sec. user=mdettweiler [2018-08-13 19:14:36] 735*2^1521216-1 is not prime. Res64: 410B16075F3DEBC1 Time : 0.0 sec. user=mdettweiler [2018-08-13 19:14:57] 813*2^1521214-1 is not prime. Res64: 0DBCCD505D9DC84B Time : 0.0 sec. user=mdettweiler [2018-08-13 19:14:57] 887*2^1521214-1 is not prime. Res64: AAD32B3660BD39D4 Time : 0.0 sec. user=mdettweiler [2018-08-13 19:14:58] 891*2^1521214-1 is not prime. Res64: 7106DDA7E9879227 Time : 0.0 sec. user=mdettweiler [2018-08-13 19:14:58] 975*2^1521214-1 is not prime. Res64: 9C45C60830836B96 Time : 0.0 sec. user=mdettweiler [2018-08-13 19:14:59] 843*2^1521215-1 is not prime. Res64: 17116CF64B6BA5DC Time : 0.0 sec. user=mdettweiler [2018-08-13 19:57:32] 893*2^1521216-1 is not prime. Res64: 9D0508FDC5518242 Time : 0.0 sec. user=mdettweiler [2018-08-13 19:57:33] 947*2^1521216-1 is not prime. Res64: C8F5B266079EC2BD Time : 0.0 sec. user=mdettweiler [2018-08-13 19:57:33] 601*2^1521217-1 is not prime. Res64: 47F79AAF0738D060 Time : 0.0 sec. user=mdettweiler [2018-08-13 19:57:33] 771*2^1521217-1 is not prime. Res64: 71D096C091B031B8 Time : 0.0 sec. user=mdettweiler [2018-08-13 19:57:34] 831*2^1521217-1 is not prime. Res64: BD794459D7F6C39C Time : 0.0 sec. user=mdettweiler [2018-08-13 20:04:37] 861*2^1521217-1 is not prime. Res64: B7E531311C243BB7 Time : 0.0 sec. user=mdettweiler [2018-08-13 20:04:38] 871*2^1521217-1 is not prime. Res64: CAB3A9700AFE9F43 Time : 0.0 sec. user=mdettweiler [2018-08-13 20:04:39] 897*2^1521217-1 is not prime. Res64: BA2CF609CE28228E Time : 0.0 sec. user=mdettweiler [2018-08-13 20:04:40] 945*2^1521217-1 is not prime. Res64: 978C831869C06BB9 Time : 0.0 sec. user=mdettweiler [2018-08-13 20:04:41] 955*2^1521217-1 is not prime. Res64: D8E7EAA03FEE9607 Time : 0.0 sec. user=mdettweiler [2018-08-13 20:07:07] 691*2^1521219-1 is not prime. Res64: 91CCBC4DAD08D38B Time : 0.0 sec. user=mdettweiler [2018-08-13 20:07:08] 705*2^1521219-1 is not prime. Res64: 9537BB5FC09CC327 Time : 0.0 sec. user=mdettweiler [2018-08-13 20:07:08] 843*2^1521219-1 is not prime. Res64: 0157C10A4B4D2CEF Time : 0.0 sec. user=mdettweiler [2018-08-13 20:07:09] 961*2^1521219-1 is not prime. Res64: B70CB63FF070F87A Time : 0.0 sec. user=mdettweiler [2018-08-13 20:07:09] 979*2^1521219-1 is not prime. Res64: DEC498FAB6323B1C Time : 0.0 sec. user=mdettweiler [2018-08-13 20:07:11] 617*2^1521218-1 is not prime. Res64: 09CEB8AE09055637 Time : 0.0 sec. user=mdettweiler [2018-08-13 20:07:11] 633*2^1521218-1 is not prime. Res64: 1529B912E13CD185 Time : 0.0 sec. user=mdettweiler [2018-08-13 20:07:12] 687*2^1521218-1 is not prime. Res64: A1225C8C9732C778 Time : 0.0 sec. user=mdettweiler [2018-08-13 20:07:12] 625*2^1521219-1 is not prime. Res64: 9EAF21ABB9B1EF89 Time : 0.0 sec. user=mdettweiler [2018-08-13 20:07:13] 685*2^1521219-1 is not prime. Res64: 3D08693242C30AC4 Time : 0.0 sec. user=mdettweiler [2018-08-13 20:50:12] 605*2^1521220-1 is not prime. Res64: A7BB74420666DBDA Time : 0.0 sec. user=mdettweiler [2018-08-13 20:50:13] 695*2^1521220-1 is not prime. Res64: 8D71F72F9C7BDAD9 Time : 0.0 sec. user=mdettweiler [2018-08-13 20:50:13] 855*2^1521220-1 is not prime. Res64: 731E0715FF45F924 Time : 0.0 sec. user=mdettweiler [2018-08-13 20:50:14] 939*2^1521220-1 is not prime. Res64: 02F40FDC23252DF5 Time : 0.0 sec. user=mdettweiler [2018-08-13 20:50:14] 989*2^1521220-1 is not prime. Res64: F0CBA9015AF2F201 Time : 0.0 sec. user=mdettweiler [2018-08-13 20:58:28] 607*2^1521221-1 is not prime. Res64: ADDF1820F2EF80DC Time : 0.0 sec. user=mdettweiler [2018-08-13 20:58:28] 669*2^1521221-1 is not prime. Res64: 8AEB67835ABA0080 Time : 0.0 sec. user=mdettweiler [2018-08-13 20:58:28] 685*2^1521221-1 is not prime. Res64: 55F4729FBBBC190F Time : 0.0 sec. user=mdettweiler [2018-08-13 20:58:29] 769*2^1521221-1 is not prime. Res64: 7C54E16BFD1A5AD7 Time : 0.0 sec. user=mdettweiler [2018-08-13 20:58:29] 937*2^1521221-1 is not prime. Res64: 4BD087753FB46522 Time : 0.0 sec. user=mdettweiler [2018-08-13 21:00:41] 997*2^1521221-1 is not prime. Res64: C8CC85B3B58E7A53 Time : 0.0 sec. user=mdettweiler [2018-08-13 21:00:42] 647*2^1521222-1 is not prime. Res64: A2770D15B821E1D3 Time : 0.0 sec. user=mdettweiler [2018-08-13 21:00:43] 873*2^1521222-1 is not prime. Res64: 8EFBCEF8A972897A Time : 0.0 sec. user=mdettweiler [2018-08-13 21:00:44] 963*2^1521222-1 is not prime. Res64: FC368E7BE7A4D938 Time : 0.0 sec. user=mdettweiler [2018-08-13 21:00:45] 975*2^1521222-1 is not prime. Res64: BCE380D70BF76D9C Time : 0.0 sec. user=mdettweiler [2018-08-13 21:00:54] 977*2^1521222-1 is not prime. Res64: A26BA3CB432C78D6 Time : 0.0 sec. user=mdettweiler [2018-08-13 21:00:55] 983*2^1521222-1 is not prime. Res64: 7F71B45468A19A84 Time : 0.0 sec. user=mdettweiler [2018-08-13 21:00:56] 633*2^1521223-1 is not prime. Res64: 0D468A5EA382C77F Time : 0.0 sec. user=mdettweiler [2018-08-13 21:00:57] 673*2^1521223-1 is not prime. Res64: 31369D6B3A5C98CF Time : 0.0 sec. user=mdettweiler [2018-08-13 21:00:59] 709*2^1521223-1 is not prime. Res64: FCF92A7301B758F9 Time : 0.0 sec. user=mdettweiler [2018-08-13 21:45:43] 723*2^1521223-1 is not prime. Res64: 065CA6336616A641 Time : 0.0 sec. user=mdettweiler [2018-08-13 21:45:43] 871*2^1521223-1 is not prime. Res64: 503DB2A7A5DF85E9 Time : 0.0 sec. user=mdettweiler [2018-08-13 21:45:44] 883*2^1521223-1 is not prime. Res64: 8E5292F293DCAD2C Time : 0.0 sec. user=mdettweiler [2018-08-13 21:45:44] 933*2^1521223-1 is not prime. Res64: 4B72DFE1ADD6E634 Time : 0.0 sec. user=mdettweiler [2018-08-13 21:45:44] 951*2^1521223-1 is not prime. Res64: C98678EF8AD41773 Time : 0.0 sec. user=mdettweiler [2018-08-13 21:53:03] 615*2^1521224-1 is not prime. Res64: 90C9EED98FE0B959 Time : 0.0 sec. user=mdettweiler [2018-08-13 21:53:03] 675*2^1521224-1 is not prime. Res64: 36032D83EF648D24 Time : 0.0 sec. user=mdettweiler [2018-08-13 21:53:04] 677*2^1521224-1 is not prime. Res64: 15D412085499881E Time : 0.0 sec. user=mdettweiler [2018-08-13 21:53:04] 813*2^1521224-1 is not prime. Res64: 6F5CED2F4D9E3F88 Time : 0.0 sec. user=mdettweiler [2018-08-13 21:53:05] 873*2^1521224-1 is not prime. Res64: B16AC5E48F458EEB Time : 0.0 sec. user=mdettweiler [2018-08-13 21:54:59] 895*2^1521225-1 is not prime. Res64: B817A390D21891F8 Time : 0.0 sec. user=mdettweiler [2018-08-13 21:54:59] 951*2^1521225-1 is not prime. Res64: 82F85E6B7EFD2B22 Time : 0.0 sec. user=mdettweiler [2018-08-13 21:55:00] 675*2^1521226-1 is not prime. Res64: 48425CE0881DDB32 Time : 0.0 sec. user=mdettweiler [2018-08-13 21:55:00] 705*2^1521226-1 is not prime. Res64: CE1716060090DA25 Time : 0.0 sec. user=mdettweiler [2018-08-13 21:55:00] 777*2^1521226-1 is not prime. Res64: 899945DB14720F28 Time : 0.0 sec. user=mdettweiler [2018-08-13 21:55:08] 983*2^1521224-1 is not prime. Res64: 2427D676D36D2599 Time : 0.0 sec. user=mdettweiler [2018-08-13 21:55:09] 669*2^1521225-1 is not prime. Res64: 925B88898323CFBF Time : 0.0 sec. user=mdettweiler [2018-08-13 21:55:09] 685*2^1521225-1 is not prime. Res64: 706C97181AA1C5AF Time : 0.0 sec. user=mdettweiler [2018-08-13 21:55:10] 861*2^1521225-1 is not prime. Res64: 7B7043CB54B7B0AB Time : 0.0 sec. user=mdettweiler [2018-08-13 21:55:10] 885*2^1521225-1 is not prime. Res64: 2F84277DBE4405B0 Time : 0.0 sec. user=mdettweiler [2018-08-13 22:36:24] 971*2^1521226-1 is not prime. Res64: 6FFC8888DB053471 Time : 0.0 sec. user=mdettweiler [2018-08-13 22:36:25] 975*2^1521226-1 is not prime. Res64: D5A9BCC64DA2ABF0 Time : 0.0 sec. user=mdettweiler [2018-08-13 22:36:25] 645*2^1521227-1 is not prime. Res64: DC2D7C2FD2C43D08 Time : 0.0 sec. user=mdettweiler [2018-08-13 22:36:26] 715*2^1521227-1 is not prime. Res64: 26AF363D470D7633 Time : 0.0 sec. user=mdettweiler [2018-08-13 22:36:26] 781*2^1521227-1 is not prime. Res64: EA7B6C6EBD224609 Time : 0.0 sec. user=mdettweiler [2018-08-13 22:43:47] 801*2^1521227-1 is not prime. Res64: D1305A923A375A80 Time : 0.0 sec. user=mdettweiler [2018-08-13 22:43:47] 901*2^1521227-1 is not prime. Res64: 542E07EB670F22A0 Time : 0.0 sec. user=mdettweiler [2018-08-13 22:43:48] 633*2^1521228-1 is not prime. Res64: EE6216B470344787 Time : 0.0 sec. user=mdettweiler [2018-08-13 22:43:48] 669*2^1521228-1 is not prime. Res64: 90D03A8EEBD42035 Time : 0.0 sec. user=mdettweiler [2018-08-13 22:43:49] 797*2^1521228-1 is not prime. Res64: A24903E63A609B2B Time : 0.0 sec. user=mdettweiler [2018-08-13 22:45:40] 977*2^1521228-1 is not prime. Res64: F5852839A6FEE1A5 Time : 0.0 sec. user=mdettweiler [2018-08-13 22:45:40] 679*2^1521229-1 is not prime. Res64: AB1751CD1E9613D0 Time : 0.0 sec. user=mdettweiler [2018-08-13 22:45:40] 751*2^1521229-1 is not prime. Res64: 99C275B6EB15B984 Time : 0.0 sec. user=mdettweiler [2018-08-13 22:45:41] 759*2^1521229-1 is not prime. Res64: 6908EFA61151AF6B Time : 0.0 sec. user=mdettweiler [2018-08-13 22:45:41] 825*2^1521229-1 is not prime. Res64: 3562DC0785E7F64A Time : 0.0 sec. user=mdettweiler [2018-08-13 22:45:56] 897*2^1521229-1 is not prime. Res64: F6A20EB78C895422 Time : 0.0 sec. user=mdettweiler [2018-08-13 22:45:57] 927*2^1521229-1 is not prime. Res64: 6AEAA46030B8960A Time : 0.0 sec. user=mdettweiler [2018-08-13 22:45:57] 985*2^1521229-1 is not prime. Res64: 478F5CE6AD3B43B9 Time : 0.0 sec. user=mdettweiler [2018-08-13 22:45:58] 635*2^1521230-1 is not prime. Res64: 7C22F1155CAF0678 Time : 0.0 sec. user=mdettweiler [2018-08-13 22:45:58] 641*2^1521230-1 is not prime. Res64: 44C285B3193821E0 Time : 0.0 sec. user=mdettweiler [2018-08-13 23:26:59] 791*2^1521230-1 is not prime. Res64: D041C8CD0914BD87 Time : 0.0 sec. user=mdettweiler [2018-08-13 23:27:00] 827*2^1521230-1 is not prime. Res64: 5B712ACD130BB1E2 Time : 0.0 sec. user=mdettweiler [2018-08-13 23:27:00] 851*2^1521230-1 is not prime. Res64: 0192FA60CBAFB4CB Time : 0.0 sec. user=mdettweiler [2018-08-13 23:27:01] 971*2^1521230-1 is not prime. Res64: AA2F039CC89898C3 Time : 0.0 sec. user=mdettweiler [2018-08-13 23:27:01] 649*2^1521231-1 is not prime. Res64: C73FE3A39468CA70 Time : 0.0 sec. user=mdettweiler [2018-08-13 23:34:44] 651*2^1521231-1 is not prime. Res64: DE247061A4501F7F Time : 0.0 sec. user=mdettweiler [2018-08-13 23:34:45] 679*2^1521231-1 is not prime. Res64: C6D4081A9436E807 Time : 0.0 sec. user=mdettweiler [2018-08-13 23:34:45] 709*2^1521231-1 is not prime. Res64: 2BCAF4EABBDEE631 Time : 0.0 sec. user=mdettweiler [2018-08-13 23:34:45] 829*2^1521231-1 is not prime. Res64: A6FE111E089A7DAD Time : 0.0 sec. user=mdettweiler [2018-08-13 23:34:46] 865*2^1521231-1 is not prime. Res64: 26912D2246EEAF30 Time : 0.0 sec. user=mdettweiler [2018-08-13 23:36:31] 657*2^1521232-1 is not prime. Res64: 7F3232F1092FCF76 Time : 0.0 sec. user=mdettweiler [2018-08-13 23:36:31] 719*2^1521232-1 is not prime. Res64: 59087A42C0F0E40C Time : 0.0 sec. user=mdettweiler [2018-08-13 23:36:32] 785*2^1521232-1 is not prime. Res64: B9C606DE53885CF2 Time : 0.0 sec. user=mdettweiler [2018-08-13 23:36:32] 797*2^1521232-1 is not prime. Res64: 13D774567E6F37FC Time : 0.0 sec. user=mdettweiler [2018-08-13 23:36:32] 833*2^1521232-1 is not prime. Res64: 4407F1BFA72780A5 Time : 0.0 sec. user=mdettweiler [2018-08-13 23:36:52] 957*2^1521232-1 is not prime. Res64: CA03EC5828416F38 Time : 0.0 sec. user=mdettweiler [2018-08-13 23:36:53] 615*2^1521233-1 is not prime. Res64: FD7C2F67D7677FC4 Time : 0.0 sec. user=mdettweiler [2018-08-13 23:36:53] 675*2^1521233-1 is not prime. Res64: 94BBC1E9471AFC26 Time : 0.0 sec. user=mdettweiler [2018-08-13 23:36:53] 771*2^1521233-1 is not prime. Res64: EF7E0A0AC3BDB9CB Time : 0.0 sec. user=mdettweiler [2018-08-13 23:36:54] 829*2^1521233-1 is not prime. Res64: BF9B66F737BEAC09 Time : 0.0 sec.