user=mdettweiler [2016-10-19 00:16:15] 741*2^1443186-1 is not prime. Res64: 57233B9B1BA7BDBC Time : 0.0 sec. user=mdettweiler [2016-10-19 00:16:16] 783*2^1443186-1 is not prime. Res64: 9924F024169969A1 Time : 0.0 sec. user=mdettweiler [2016-10-19 00:16:17] 873*2^1443186-1 is not prime. Res64: 2297EC8A207059A7 Time : 0.0 sec. user=mdettweiler [2016-10-19 00:16:18] 957*2^1443186-1 is not prime. Res64: 3DEC260E25E44AC6 Time : 0.0 sec. user=mdettweiler [2016-10-19 00:16:18] 975*2^1443186-1 is not prime. Res64: 5335C78D48C4D1E3 Time : 0.0 sec. user=mdettweiler [2016-10-19 00:29:28] 615*2^1443187-1 is not prime. Res64: A3DEB788C2671C3F Time : 0.0 sec. user=mdettweiler [2016-10-19 00:29:29] 663*2^1443187-1 is not prime. Res64: 285385074570EA12 Time : 0.0 sec. user=mdettweiler [2016-10-19 00:29:29] 673*2^1443187-1 is not prime. Res64: DA635855C327839F Time : 0.0 sec. user=mdettweiler [2016-10-19 00:29:30] 765*2^1443187-1 is not prime. Res64: 21E25D76C64324E9 Time : 0.0 sec. user=mdettweiler [2016-10-19 00:29:30] 859*2^1443187-1 is not prime. Res64: F8E48CA3DB921208 Time : 0.0 sec. user=mdettweiler [2016-10-19 00:33:30] 909*2^1443187-1 is not prime. Res64: 1DA641DF2F51B669 Time : 0.0 sec. user=mdettweiler [2016-10-19 00:33:31] 925*2^1443187-1 is not prime. Res64: 1A9C1F09721694C2 Time : 0.0 sec. user=mdettweiler [2016-10-19 00:33:31] 975*2^1443187-1 is not prime. Res64: 9A28942E11A5A7BB Time : 0.0 sec. user=mdettweiler [2016-10-19 00:33:31] 615*2^1443188-1 is not prime. Res64: CB55CF43332053CF Time : 0.0 sec. user=mdettweiler [2016-10-19 00:33:32] 633*2^1443188-1 is not prime. Res64: 30FA8F9B9C040F3C Time : 0.0 sec. user=mdettweiler [2016-10-19 01:02:36] 933*2^1443180-1 is not prime. Res64: 7649AD5B44C6766E Time : 0.0 sec. user=mdettweiler [2016-10-19 01:02:37] 829*2^1443181-1 is not prime. Res64: 86223907699797D1 Time : 0.0 sec. user=mdettweiler [2016-10-19 01:03:29] 777*2^1443188-1 is not prime. Res64: AC8FD3B0C4237031 Time : 0.0 sec. user=mdettweiler [2016-10-19 01:03:33] 827*2^1443188-1 is not prime. Res64: 5CC16194A0BC6CD7 Time : 0.0 sec. user=mdettweiler [2016-10-19 01:03:34] 875*2^1443188-1 is not prime. Res64: A22B344D7509DD12 Time : 0.0 sec. user=mdettweiler [2016-10-19 01:03:35] 909*2^1443188-1 is not prime. Res64: 605A3E38AA652E12 Time : 0.0 sec. user=mdettweiler [2016-10-19 01:03:35] 935*2^1443188-1 is not prime. Res64: D6FF2D4BCCC112B8 Time : 0.0 sec. user=mdettweiler [2016-10-19 01:16:30] 625*2^1443189-1 is not prime. Res64: 7CE83377CF8B73A7 Time : 0.0 sec. user=mdettweiler [2016-10-19 01:16:31] 649*2^1443189-1 is not prime. Res64: 55D99C732CACA34E Time : 0.0 sec. user=mdettweiler [2016-10-19 01:16:32] 741*2^1443189-1 is not prime. Res64: F98FEB5257DD5CD5 Time : 0.0 sec. user=mdettweiler [2016-10-19 01:16:32] 795*2^1443189-1 is not prime. Res64: 1E3E5C83EFEF5029 Time : 0.0 sec. user=mdettweiler [2016-10-19 01:16:33] 951*2^1443189-1 is not prime. Res64: 13CAFCA0DF0A8F3F Time : 0.0 sec. user=mdettweiler [2016-10-19 01:20:27] 979*2^1443189-1 is not prime. Res64: E4CC8699965EEA82 Time : 0.0 sec. user=mdettweiler [2016-10-19 01:20:28] 987*2^1443189-1 is not prime. Res64: 22959FD3107A0456 Time : 0.0 sec. user=mdettweiler [2016-10-19 01:20:28] 813*2^1443190-1 is not prime. Res64: 185439FCCCFDF944 Time : 0.0 sec. user=mdettweiler [2016-10-19 01:20:29] 831*2^1443190-1 is not prime. Res64: 18A4EEBE6CD64B2C Time : 0.0 sec. user=mdettweiler [2016-10-19 01:20:29] 897*2^1443190-1 is not prime. Res64: B44E71343FC72C69 Time : 0.0 sec. user=mdettweiler [2016-10-19 01:47:22] 917*2^1443190-1 is not prime. Res64: 8705E05E0B133B14 Time : 0.0 sec. user=mdettweiler [2016-10-19 01:47:23] 945*2^1443190-1 is not prime. Res64: F3F2E2A1868D78E8 Time : 0.0 sec. user=mdettweiler [2016-10-19 01:47:23] 951*2^1443190-1 is not prime. Res64: 64143F96B4F692EA Time : 0.0 sec. user=mdettweiler [2016-10-19 01:47:24] 651*2^1443191-1 is not prime. Res64: 756B23617C3E5EDB Time : 0.0 sec. user=mdettweiler [2016-10-19 01:47:25] 661*2^1443191-1 is not prime. Res64: D93C0703666F57D2 Time : 0.0 sec. user=mdettweiler [2016-10-19 01:48:46] 715*2^1443191-1 is not prime. Res64: 2BD59BA6E7FB04B5 Time : 0.0 sec. user=mdettweiler [2016-10-19 01:48:47] 735*2^1443191-1 is not prime. Res64: 83B28C72D923A88C Time : 0.0 sec. user=mdettweiler [2016-10-19 01:48:47] 781*2^1443191-1 is not prime. Res64: DA94ADF868621C67 Time : 0.0 sec. user=mdettweiler [2016-10-19 01:48:48] 973*2^1443191-1 is not prime. Res64: 1FAB105921721C68 Time : 0.0 sec. user=mdettweiler [2016-10-19 01:48:49] 629*2^1443192-1 is not prime. Res64: 58974B10E4E795C7 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:01:20] 689*2^1443192-1 is not prime. Res64: F6BA305C7B5309D2 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:01:22] 747*2^1443192-1 is not prime. Res64: 4060962921F8C51B Time : 0.0 sec. user=mdettweiler [2016-10-19 02:01:23] 767*2^1443192-1 is not prime. Res64: 39ADF9F13691B2D5 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:01:24] 917*2^1443192-1 is not prime. Res64: 0CF6F59CE13B0598 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:01:25] 607*2^1443193-1 is not prime. Res64: 717599B0A1982CCF Time : 0.0 sec. user=mdettweiler [2016-10-19 02:05:10] 639*2^1443193-1 is not prime. Res64: CD28DF5B59D76207 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:05:11] 877*2^1443193-1 is not prime. Res64: 77A50EF03853A721 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:05:12] 937*2^1443193-1 is not prime. Res64: AC402BA0DDDAF935 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:05:13] 987*2^1443193-1 is not prime. Res64: 3FB70134679CFF98 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:05:14] 623*2^1443194-1 is not prime. Res64: 8EAAE0B74C173111 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:32:48] 635*2^1443194-1 is not prime. Res64: A9A0A5B528469A0C Time : 0.0 sec. user=mdettweiler [2016-10-19 02:32:49] 641*2^1443194-1 is not prime. Res64: FF5412543A601C9E Time : 0.0 sec. user=mdettweiler [2016-10-19 02:32:50] 717*2^1443194-1 is not prime. Res64: 3B554AEBBF03AC29 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:32:50] 791*2^1443194-1 is not prime. Res64: 2652CAA1DDDE3101 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:32:51] 831*2^1443194-1 is not prime. Res64: 2B369E4E99121BB6 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:33:58] 953*2^1443194-1 is not prime. Res64: F3D09E32BA131525 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:34:00] 993*2^1443194-1 is not prime. Res64: 5C970FE0844CDF6C Time : 0.0 sec. user=mdettweiler [2016-10-19 02:34:01] 753*2^1443195-1 is not prime. Res64: 197E0EDBD462987A Time : 0.0 sec. user=mdettweiler [2016-10-19 02:34:02] 795*2^1443195-1 is not prime. Res64: 5672FB25D5469A6B Time : 0.0 sec. user=mdettweiler [2016-10-19 02:34:03] 829*2^1443195-1 is not prime. Res64: 251FE0BB1861B366 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:47:12] 871*2^1443195-1 is not prime. Res64: BCC0646328B553AD Time : 0.0 sec. user=mdettweiler [2016-10-19 02:47:13] 719*2^1443196-1 is not prime. Res64: F9B07F6480DE7953 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:47:13] 735*2^1443196-1 is not prime. Res64: BFAF17C85ABB9006 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:47:14] 939*2^1443196-1 is not prime. Res64: 538EFFDFE6D6CAB2 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:47:14] 975*2^1443196-1 is not prime. Res64: 8BCC34FE3E007490 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:51:09] 983*2^1443196-1 is not prime. Res64: 4E4A7F3F985E6613 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:51:10] 989*2^1443196-1 is not prime. Res64: E24B90F7701DC5E8 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:51:10] 669*2^1443197-1 is not prime. Res64: 736CC1C65948D643 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:51:11] 685*2^1443197-1 is not prime. Res64: 25EEAE3383F41021 Time : 0.0 sec. user=mdettweiler [2016-10-19 02:51:11] 697*2^1443197-1 is not prime. Res64: 865F8B135DF79A1D Time : 0.0 sec. user=mdettweiler [2016-10-19 03:17:36] 699*2^1443197-1 is not prime. Res64: 862A3AAF9C1B413C Time : 0.0 sec. user=mdettweiler [2016-10-19 03:17:36] 711*2^1443197-1 is not prime. Res64: 3139D833D58CABFC Time : 0.0 sec. user=mdettweiler [2016-10-19 03:17:36] 781*2^1443197-1 is not prime. Res64: AF94486EFC5F3D31 Time : 0.0 sec. user=mdettweiler [2016-10-19 03:17:37] 915*2^1443197-1 is not prime. Res64: D7946334AE959503 Time : 0.0 sec. user=mdettweiler [2016-10-19 03:17:37] 925*2^1443197-1 is not prime. Res64: 5BE46EA497B99918 Time : 0.0 sec. user=mdettweiler [2016-10-19 03:18:53] 705*2^1443198-1 is not prime. Res64: 3397CEFD927FCE70 Time : 0.0 sec. user=mdettweiler [2016-10-19 03:18:53] 707*2^1443198-1 is not prime. Res64: 582C9B9DD6199DAF Time : 0.0 sec. user=mdettweiler [2016-10-19 03:18:53] 797*2^1443198-1 is not prime. Res64: 5549C6F0F9920BC9 Time : 0.0 sec. user=mdettweiler [2016-10-19 03:18:54] 801*2^1443198-1 is not prime. Res64: 08B85D4216B5E5D5 Time : 0.0 sec. user=mdettweiler [2016-10-19 03:18:54] 833*2^1443198-1 is not prime. Res64: 4E49D7504C5AD715 Time : 0.0 sec. user=mdettweiler [2016-10-19 03:31:52] 771*2^1443199-1 is not prime. Res64: EC31D1E60D262B1B Time : 0.0 sec. user=mdettweiler [2016-10-19 03:31:58] 793*2^1443199-1 is not prime. Res64: A53FEE92615272F9 Time : 0.0 sec. user=mdettweiler [2016-10-19 03:32:04] 829*2^1443199-1 is not prime. Res64: 1D7196B74ECBFEC9 Time : 0.0 sec. user=mdettweiler [2016-10-19 03:32:09] 933*2^1443199-1 is not prime. Res64: 8F8D917062FEB398 Time : 0.0 sec. user=mdettweiler [2016-10-19 03:32:17] 609*2^1443200-1 is not prime. Res64: 12F03C5BC1D73405 Time : 0.0 sec. user=mdettweiler [2016-10-19 03:36:13] 669*2^1443200-1 is not prime. Res64: 09BD4682559FF82D Time : 0.0 sec. user=mdettweiler [2016-10-19 03:36:15] 677*2^1443200-1 is not prime. Res64: 71B012721A36D5C2 Time : 0.0 sec. user=mdettweiler [2016-10-19 03:36:17] 743*2^1443200-1 is not prime. Res64: 6536FA4D32B20F9C Time : 0.0 sec. user=mdettweiler [2016-10-19 03:36:18] 759*2^1443200-1 is not prime. Res64: B0F72968434CCA7A Time : 0.0 sec. user=mdettweiler [2016-10-19 03:36:20] 923*2^1443200-1 is not prime. Res64: 378753E1F3F3382E Time : 0.0 sec. user=mdettweiler [2016-10-19 04:02:55] 717*2^1443201-1 is not prime. Res64: 8A6496B93D1B2048 Time : 0.0 sec. user=mdettweiler [2016-10-19 04:02:59] 741*2^1443201-1 is not prime. Res64: 7CAEB6AC880B4560 Time : 0.0 sec. user=mdettweiler [2016-10-19 04:03:03] 895*2^1443201-1 is not prime. Res64: 2CD0A60BF5D57F49 Time : 0.0 sec. user=mdettweiler [2016-10-19 04:03:09] 987*2^1443201-1 is not prime. Res64: C4B6323FEE239C7F Time : 0.0 sec. user=mdettweiler [2016-10-19 04:03:14] 645*2^1443202-1 is not prime. Res64: 7FB9C1E23B8880A5 Time : 0.0 sec. user=mdettweiler [2016-10-19 04:04:22] 651*2^1443202-1 is not prime. Res64: 07A96F629A841CC5 Time : 0.0 sec. user=mdettweiler [2016-10-19 04:04:25] 701*2^1443202-1 is not prime. Res64: EFE474CEEEDA6A5A Time : 0.0 sec. user=mdettweiler [2016-10-19 04:04:30] 705*2^1443202-1 is not prime. Res64: 8F430D5CF6B1269C Time : 0.0 sec. user=mdettweiler [2016-10-19 04:04:32] 723*2^1443202-1 is not prime. Res64: 35C087BA3B08FFD5 Time : 0.0 sec. user=mdettweiler [2016-10-19 04:04:36] 755*2^1443202-1 is not prime. Res64: BDFB43E5F0225D2F Time : 0.0 sec. user=mdettweiler [2016-10-19 04:18:40] 891*2^1443202-1 is not prime. Res64: 0BB6C8B218455777 Time : 0.0 sec. user=mdettweiler [2016-10-19 04:18:41] 951*2^1443202-1 is not prime. Res64: 550C39E4DFD25B77 Time : 0.0 sec. user=mdettweiler [2016-10-19 04:18:41] 859*2^1443203-1 is not prime. Res64: 8C640815F8DE10F8 Time : 0.0 sec. user=mdettweiler [2016-10-19 04:18:42] 963*2^1443203-1 is not prime. Res64: 2402CB61E571C5A8 Time : 0.0 sec. user=mdettweiler [2016-10-19 04:18:42] 663*2^1443204-1 is not prime. Res64: 5FB36D8691A8A67E Time : 0.0 sec. user=mdettweiler [2016-10-19 04:21:26] 683*2^1443204-1 is not prime. Res64: 09CDF0B1BF61686B Time : 0.0 sec. user=mdettweiler [2016-10-19 04:21:27] 737*2^1443204-1 is not prime. Res64: D36CF9A96B0DEC86 Time : 0.0 sec. user=mdettweiler [2016-10-19 04:21:27] 691*2^1443205-1 is not prime. Res64: 65057EC2B99F94E6 Time : 0.0 sec. user=mdettweiler [2016-10-19 04:21:28] 721*2^1443205-1 is not prime. Res64: 877DA7BD4684DD14 Time : 0.0 sec. user=mdettweiler [2016-10-19 04:21:28] 775*2^1443205-1 is not prime. Res64: 9F0356FBB404E0E7 Time : 0.0 sec. user=mdettweiler [2016-10-19 04:48:40] 937*2^1443205-1 is not prime. Res64: C269D0A7A1757AAA Time : 0.0 sec. user=mdettweiler [2016-10-19 04:48:40] 641*2^1443206-1 is not prime. Res64: 9B19394C549D58F4 Time : 0.0 sec. user=mdettweiler [2016-10-19 04:48:41] 675*2^1443206-1 is not prime. Res64: 9883F46D21B2DA3D Time : 0.0 sec. user=mdettweiler [2016-10-19 04:48:41] 761*2^1443206-1 is not prime. Res64: 85E91050F50566B2 Time : 0.0 sec. user=mdettweiler [2016-10-19 04:48:42] 801*2^1443206-1 is not prime. Res64: E587E8C99194E771 Time : 0.0 sec. user=mdettweiler [2016-10-19 04:49:22] 843*2^1443206-1 is not prime. Res64: 3C95F8C9354464C4 Time : 0.0 sec. user=mdettweiler [2016-10-19 04:49:23] 893*2^1443206-1 is not prime. Res64: 9132A5922DF8CDA7 Time : 0.0 sec. user=mdettweiler [2016-10-19 04:49:23] 903*2^1443206-1 is not prime. Res64: C1443FA7B72F748C Time : 0.0 sec. user=mdettweiler [2016-10-19 04:49:23] 935*2^1443206-1 is not prime. Res64: EFF14F1D5195C19B Time : 0.0 sec. user=mdettweiler [2016-10-19 04:49:24] 945*2^1443206-1 is not prime. Res64: 65C95BC5B5EFCA72 Time : 0.0 sec. user=mdettweiler [2016-10-19 05:03:25] 971*2^1443206-1 is not prime. Res64: DD2F8FA79838FAE1 Time : 0.0 sec. user=mdettweiler [2016-10-19 05:03:26] 693*2^1443207-1 is not prime. Res64: 28708AA3EBB6CCB0 Time : 0.0 sec. user=mdettweiler [2016-10-19 05:03:27] 831*2^1443207-1 is not prime. Res64: 3CA8ECEE3D09C429 Time : 0.0 sec. user=mdettweiler [2016-10-19 05:03:28] 873*2^1443207-1 is not prime. Res64: E6F2709E0116B36C Time : 0.0 sec. user=mdettweiler [2016-10-19 05:03:29] 963*2^1443207-1 is not prime. Res64: C99657C6B243DF60 Time : 0.0 sec. user=mdettweiler [2016-10-19 05:06:15] 677*2^1443208-1 is not prime. Res64: C36215AD0148F40D Time : 0.0 sec. user=mdettweiler [2016-10-19 05:06:17] 705*2^1443208-1 is not prime. Res64: D4BD0C179A0C5B98 Time : 0.0 sec. user=mdettweiler [2016-10-19 05:06:18] 797*2^1443208-1 is not prime. Res64: A3A46CCC053B78B2 Time : 0.0 sec. user=mdettweiler [2016-10-19 05:06:20] 839*2^1443208-1 is not prime. Res64: 4FFB9A3AE51DC2D6 Time : 0.0 sec. user=mdettweiler [2016-10-19 05:06:21] 923*2^1443208-1 is not prime. Res64: 89EDBACDB18F5B1C Time : 0.0 sec. user=mdettweiler [2016-10-19 05:33:26] 927*2^1443208-1 is not prime. Res64: 1FD2B4136C492984 Time : 0.0 sec. user=mdettweiler [2016-10-19 05:33:27] 957*2^1443208-1 is not prime. Res64: 0CD97BE27E2FC6C9 Time : 0.0 sec. user=mdettweiler [2016-10-19 05:33:27] 641*2^1443210-1 is not prime. Res64: 81ABA5B5146BC7D8 Time : 0.0 sec. user=mdettweiler [2016-10-19 05:33:27] 917*2^1443210-1 is not prime. Res64: 81C576762FF26751 Time : 0.0 sec. user=mdettweiler [2016-10-19 05:33:28] 927*2^1443210-1 is not prime. Res64: 484FB194E2A991C2 Time : 0.0 sec. user=mdettweiler [2016-10-19 05:34:10] 971*2^1443210-1 is not prime. Res64: F6C73712F1E96CFF Time : 0.0 sec. user=mdettweiler [2016-10-19 05:34:10] 619*2^1443211-1 is not prime. Res64: 98D22E1BFEDA740B Time : 0.0 sec. user=mdettweiler [2016-10-19 05:34:11] 621*2^1443211-1 is not prime. Res64: 4DF3C0E61282AD8A Time : 0.0 sec. user=mdettweiler [2016-10-19 05:34:11] 745*2^1443211-1 is not prime. Res64: 98AF93EE2CBD0DB0 Time : 0.0 sec. user=mdettweiler [2016-10-19 05:34:12] 789*2^1443211-1 is not prime. Res64: 8AE616486426F9EC Time : 0.0 sec. user=mdettweiler [2016-10-19 05:48:06] 819*2^1443211-1 is not prime. Res64: CB192D4A3E08423C Time : 0.0 sec. user=mdettweiler [2016-10-19 05:48:07] 861*2^1443211-1 is not prime. Res64: 9A3CE2270191540A Time : 0.0 sec. user=mdettweiler [2016-10-19 05:48:07] 901*2^1443211-1 is not prime. Res64: 9CB92C087AAE86C0 Time : 0.0 sec. user=mdettweiler [2016-10-19 05:48:08] 951*2^1443211-1 is not prime. Res64: AF0C495CB04886D2 Time : 0.0 sec. user=mdettweiler [2016-10-19 05:48:08] 975*2^1443211-1 is not prime. Res64: A1885FE9CF812846 Time : 0.0 sec. user=mdettweiler [2016-10-19 05:51:11] 993*2^1443211-1 is not prime. Res64: FDBDB869C917060F Time : 0.0 sec. user=mdettweiler [2016-10-19 05:51:11] 999*2^1443211-1 is not prime. Res64: 769CAB7D7D3F2A8A Time : 0.0 sec. user=mdettweiler [2016-10-19 05:51:11] 617*2^1443212-1 is not prime. Res64: E71E49BCDA119E0C Time : 0.0 sec. user=mdettweiler [2016-10-19 05:51:12] 629*2^1443212-1 is not prime. Res64: B16A8DC5E3EEF0DF Time : 0.0 sec. user=mdettweiler [2016-10-19 05:51:12] 635*2^1443212-1 is not prime. Res64: 39D1EFA03D1CE701 Time : 0.0 sec. user=mdettweiler [2016-10-19 06:18:08] 683*2^1443212-1 is not prime. Res64: 93C0E2A343409A53 Time : 0.0 sec. user=mdettweiler [2016-10-19 06:18:09] 797*2^1443212-1 is not prime. Res64: 7A72EC932FD37F3A Time : 0.0 sec. user=mdettweiler [2016-10-19 06:18:09] 827*2^1443212-1 is not prime. Res64: 78C442C075B3C005 Time : 0.0 sec. user=mdettweiler [2016-10-19 06:18:10] 857*2^1443212-1 is not prime. Res64: 21DD492A38EFB49F Time : 0.0 sec. user=mdettweiler [2016-10-19 06:18:10] 923*2^1443212-1 is not prime. Res64: F7369D82F3C6CE6C Time : 0.0 sec. user=mdettweiler [2016-10-19 06:18:57] 995*2^1443212-1 is not prime. Res64: 12BB18DC800828BF Time : 0.0 sec. user=mdettweiler [2016-10-19 06:18:57] 649*2^1443213-1 is not prime. Res64: 9D5AB81B37A80EEF Time : 0.0 sec. user=mdettweiler [2016-10-19 06:18:57] 787*2^1443213-1 is not prime. Res64: 25F274CB2145C047 Time : 0.0 sec. user=mdettweiler [2016-10-19 06:18:58] 817*2^1443213-1 is not prime. Res64: E85F5D750BEA4D9A Time : 0.0 sec. user=mdettweiler [2016-10-19 06:18:58] 819*2^1443213-1 is not prime. Res64: 458FEA669F5F438D Time : 0.0 sec. user=mdettweiler [2016-10-19 06:32:52] 861*2^1443213-1 is not prime. Res64: E7799FDCE46398C7 Time : 0.0 sec. user=mdettweiler [2016-10-19 06:32:53] 891*2^1443213-1 is not prime. Res64: 1814880EBE340FFC Time : 0.0 sec. user=mdettweiler [2016-10-19 06:32:53] 991*2^1443213-1 is not prime. Res64: BD56A8C452C306DD Time : 0.0 sec. user=mdettweiler [2016-10-19 06:32:54] 623*2^1443214-1 is not prime. Res64: 75DF20F7B3E8DAA9 Time : 0.0 sec. user=mdettweiler [2016-10-19 06:32:54] 681*2^1443214-1 is not prime. Res64: FF70C57EF15805A6 Time : 0.0 sec. user=mdettweiler [2016-10-19 06:35:59] 687*2^1443214-1 is not prime. Res64: 1E16DF70B8E6B91A Time : 0.0 sec. user=mdettweiler [2016-10-19 06:36:00] 857*2^1443214-1 is not prime. Res64: 44B735A10E9A9D71 Time : 0.0 sec. user=mdettweiler [2016-10-19 06:36:00] 981*2^1443214-1 is not prime. Res64: 0644D4DC2D664B88 Time : 0.0 sec. user=mdettweiler [2016-10-19 06:36:00] 987*2^1443214-1 is not prime. Res64: B5B680259EDBFAEE Time : 0.0 sec. user=mdettweiler [2016-10-19 06:36:01] 693*2^1443215-1 is not prime. Res64: 5EFF91A54EDD19C3 Time : 0.0 sec. user=mdettweiler [2016-10-19 07:02:45] 771*2^1443215-1 is not prime. Res64: 97E54359B27FB0EB Time : 0.0 sec. user=mdettweiler [2016-10-19 07:02:47] 991*2^1443215-1 is not prime. Res64: 42DCA9FF440AD8E6 Time : 0.0 sec. user=mdettweiler [2016-10-19 07:02:48] 693*2^1443216-1 is not prime. Res64: 62FF91C68B4EBE87 Time : 0.0 sec. user=mdettweiler [2016-10-19 07:02:48] 737*2^1443216-1 is not prime. Res64: 94B1D842E1289574 Time : 0.0 sec. user=mdettweiler [2016-10-19 07:02:49] 759*2^1443216-1 is not prime. Res64: BEE6AF5F3F50A65C Time : 0.0 sec. user=mdettweiler [2016-10-19 07:03:40] 875*2^1443216-1 is not prime. Res64: 7BC45EE3B68CF2F7 Time : 0.0 sec. user=mdettweiler [2016-10-19 07:03:41] 983*2^1443216-1 is not prime. Res64: 01F35A804CCA1336 Time : 0.0 sec. user=mdettweiler [2016-10-19 07:03:41] 619*2^1443217-1 is not prime. Res64: 828E7D4C563574CD Time : 0.0 sec. user=mdettweiler [2016-10-19 07:03:42] 639*2^1443217-1 is not prime. Res64: 0763F7B8609F8487 Time : 0.0 sec. user=mdettweiler [2016-10-19 07:03:43] 685*2^1443217-1 is not prime. Res64: FBC02D944B7C1795 Time : 0.0 sec. user=mdettweiler [2016-10-19 07:17:29] 741*2^1443217-1 is not prime. Res64: F715258607DCDF17 Time : 0.0 sec. user=mdettweiler [2016-10-19 07:17:30] 747*2^1443217-1 is not prime. Res64: 12F21E96FB07E394 Time : 0.0 sec. user=mdettweiler [2016-10-19 07:17:30] 759*2^1443217-1 is not prime. Res64: 0F706A884ABC1ADC Time : 0.0 sec. user=mdettweiler [2016-10-19 07:17:31] 919*2^1443217-1 is not prime. Res64: D83017503B8DE757 Time : 0.0 sec. user=mdettweiler [2016-10-19 07:17:31] 939*2^1443217-1 is not prime. Res64: 2457A5EEBA9C223A Time : 0.0 sec. user=mdettweiler [2016-10-19 07:20:29] 957*2^1443217-1 is not prime. Res64: 7CCB191AE28BD983 Time : 0.0 sec. user=mdettweiler [2016-10-19 07:20:30] 633*2^1443218-1 is not prime. Res64: A1DAA58A0BB20FA0 Time : 0.0 sec. user=mdettweiler [2016-10-19 07:20:30] 651*2^1443218-1 is not prime. Res64: 325DCAE82E8126A3 Time : 0.0 sec. user=mdettweiler [2016-10-19 07:20:30] 731*2^1443218-1 is not prime. Res64: 91F748BCD76B5103 Time : 0.0 sec. user=mdettweiler [2016-10-19 07:20:31] 797*2^1443218-1 is not prime. Res64: C614026F3ABBB54C Time : 0.0 sec. user=mdettweiler [2016-10-19 07:47:35] 857*2^1443218-1 is not prime. Res64: F6254403E83FCA26 Time : 0.0 sec. user=mdettweiler [2016-10-19 07:47:35] 963*2^1443218-1 is not prime. Res64: 8839494480C755AB Time : 0.0 sec. user=mdettweiler [2016-10-19 07:47:36] 977*2^1443218-1 is not prime. Res64: A79EA2C78A035078 Time : 0.0 sec. user=mdettweiler [2016-10-19 07:47:36] 613*2^1443219-1 is not prime. Res64: F7548E837DF1107B Time : 0.0 sec. user=mdettweiler [2016-10-19 07:47:37] 619*2^1443219-1 is not prime. Res64: D8BFF9743199FC80 Time : 0.0 sec. user=mdettweiler [2016-10-19 07:48:18] 633*2^1443219-1 is not prime. Res64: 103314D0BB10A26B Time : 0.0 sec. user=mdettweiler [2016-10-19 07:48:19] 639*2^1443219-1 is not prime. Res64: 57D112068A666006 Time : 0.0 sec. user=mdettweiler [2016-10-19 07:48:19] 775*2^1443219-1 is not prime. Res64: BB2717516B2ABFD5 Time : 0.0 sec. user=mdettweiler [2016-10-19 07:48:20] 801*2^1443219-1 is not prime. Res64: 4D93A20250020243 Time : 0.0 sec. user=mdettweiler [2016-10-19 07:48:20] 921*2^1443219-1 is not prime. Res64: A35ED4CD877B6D14 Time : 0.0 sec. user=mdettweiler [2016-10-19 08:02:07] 949*2^1443219-1 is not prime. Res64: DCEFC5598C6E56D8 Time : 0.0 sec. user=mdettweiler [2016-10-19 08:02:09] 609*2^1443220-1 is not prime. Res64: 974389E2F4C761EF Time : 0.0 sec. user=mdettweiler [2016-10-19 08:02:10] 623*2^1443220-1 is not prime. Res64: B4635214E635A212 Time : 0.0 sec. user=mdettweiler [2016-10-19 08:02:11] 653*2^1443220-1 is not prime. Res64: B4549287465C5A00 Time : 0.0 sec. user=mdettweiler [2016-10-19 08:02:12] 665*2^1443220-1 is not prime. Res64: 38853EA6A4B21E31 Time : 0.0 sec. user=mdettweiler [2016-10-19 08:05:13] 825*2^1443220-1 is not prime. Res64: 03FB12EAC24213E3 Time : 0.0 sec. user=mdettweiler [2016-10-19 08:05:14] 827*2^1443220-1 is not prime. Res64: 4F9607193F1E1367 Time : 0.0 sec. user=mdettweiler [2016-10-19 08:05:15] 899*2^1443220-1 is not prime. Res64: 179BC7005AB7D5CB Time : 0.0 sec. user=mdettweiler [2016-10-19 08:05:16] 929*2^1443220-1 is not prime. Res64: F4E7F0178FE413EC Time : 0.0 sec. user=mdettweiler [2016-10-19 08:05:17] 679*2^1443221-1 is not prime. Res64: 7DDB96D9BD7A214F Time : 0.0 sec. user=mdettweiler [2016-10-19 08:32:11] 735*2^1443221-1 is not prime. Res64: 6A954D69609828CD Time : 0.0 sec. user=mdettweiler [2016-10-19 08:32:12] 825*2^1443221-1 is not prime. Res64: 810F178C48E8947C Time : 0.0 sec. user=mdettweiler [2016-10-19 08:32:12] 867*2^1443221-1 is not prime. Res64: C741B3730A110BE5 Time : 0.0 sec. user=mdettweiler [2016-10-19 08:32:12] 651*2^1443222-1 is not prime. Res64: DC99CD2921B84EBC Time : 0.0 sec. user=mdettweiler [2016-10-19 08:32:13] 717*2^1443222-1 is not prime. Res64: E238D7CF28A28F9A Time : 0.0 sec. user=mdettweiler [2016-10-19 08:32:57] 725*2^1443222-1 is not prime. Res64: 4C95456E98711E8C Time : 0.0 sec. user=mdettweiler [2016-10-19 08:32:58] 747*2^1443222-1 is not prime. Res64: 4159F3B1BB5C03A5 Time : 0.0 sec. user=mdettweiler [2016-10-19 08:32:58] 755*2^1443222-1 is not prime. Res64: 8ED5C0911F827481 Time : 0.0 sec. user=mdettweiler [2016-10-19 08:32:59] 957*2^1443222-1 is not prime. Res64: 9E042AF48B20F659 Time : 0.0 sec. user=mdettweiler [2016-10-19 08:32:59] 983*2^1443222-1 is not prime. Res64: 137983F4693E72C1 Time : 0.0 sec. user=mdettweiler [2016-10-19 08:47:10] 661*2^1443223-1 is not prime. Res64: 1944E061A2D27F71 Time : 0.0 sec. user=mdettweiler [2016-10-19 08:47:10] 745*2^1443223-1 is not prime. Res64: 0EC4D1C82AC635AD Time : 0.0 sec. user=mdettweiler [2016-10-19 08:47:11] 829*2^1443223-1 is not prime. Res64: 585EEB31B55F6B17 Time : 0.0 sec. user=mdettweiler [2016-10-19 08:47:12] 915*2^1443223-1 is not prime. Res64: 1FB76B7149870F2B Time : 0.0 sec. user=mdettweiler [2016-10-19 08:47:12] 919*2^1443223-1 is not prime. Res64: BE1FC778411F5716 Time : 0.0 sec. user=mdettweiler [2016-10-19 08:50:08] 615*2^1443224-1 is not prime. Res64: 61447C43391C8AE8 Time : 0.0 sec. user=mdettweiler [2016-10-19 08:50:08] 645*2^1443224-1 is not prime. Res64: A5DE0AFA0D379C7C Time : 0.0 sec. user=mdettweiler [2016-10-19 08:50:08] 663*2^1443224-1 is not prime. Res64: 3D4721667DF21825 Time : 0.0 sec. user=mdettweiler [2016-10-19 08:50:09] 683*2^1443224-1 is not prime. Res64: F7E7AC353D934C85 Time : 0.0 sec. user=mdettweiler [2016-10-19 08:50:09] 699*2^1443224-1 is not prime. Res64: 43A3E6F02B2DDD74 Time : 0.0 sec. user=mdettweiler [2016-10-19 09:17:02] 747*2^1443224-1 is not prime. Res64: 0AABE5B418F1494D Time : 0.0 sec. user=mdettweiler [2016-10-19 09:17:02] 759*2^1443224-1 is not prime. Res64: BDA4253C69A40529 Time : 0.0 sec. user=mdettweiler [2016-10-19 09:17:03] 927*2^1443224-1 is not prime. Res64: 7ABD8BEB12BB073D Time : 0.0 sec. user=mdettweiler [2016-10-19 09:17:03] 717*2^1443225-1 is not prime. Res64: 6853CB019F63CE82 Time : 0.0 sec. user=mdettweiler [2016-10-19 09:17:03] 735*2^1443225-1 is not prime. Res64: AF94DB1AE1952995 Time : 0.0 sec. user=mdettweiler [2016-10-19 09:17:41] 849*2^1443225-1 is not prime. Res64: 34C1456AD3E67923 Time : 0.0 sec. user=mdettweiler [2016-10-19 09:17:41] 975*2^1443225-1 is not prime. Res64: 227312272730F81A Time : 0.0 sec. user=mdettweiler [2016-10-19 09:17:42] 647*2^1443226-1 is not prime. Res64: 86FECC4EFA63CE1E Time : 0.0 sec. user=mdettweiler [2016-10-19 09:17:42] 713*2^1443226-1 is not prime. Res64: CFDF978144E8FB7C Time : 0.0 sec. user=mdettweiler [2016-10-19 09:17:42] 735*2^1443226-1 is not prime. Res64: 75274ED5AAC97CE5 Time : 0.0 sec. user=mdettweiler [2016-10-19 09:31:54] 743*2^1443226-1 is not prime. Res64: 740531A3D6AA7F7F Time : 0.0 sec. user=mdettweiler [2016-10-19 09:31:54] 773*2^1443226-1 is not prime. Res64: B54691A4F6D95324 Time : 0.0 sec. user=mdettweiler [2016-10-19 09:31:55] 867*2^1443226-1 is not prime. Res64: 328FC50717C629A0 Time : 0.0 sec. user=mdettweiler [2016-10-19 09:31:55] 873*2^1443226-1 is not prime. Res64: 78EEC158C361948B Time : 0.0 sec. user=mdettweiler [2016-10-19 09:31:55] 917*2^1443226-1 is not prime. Res64: FFCD789F1BBF167F Time : 0.0 sec. user=mdettweiler [2016-10-19 09:35:01] 923*2^1443226-1 is not prime. Res64: C9C552F5177124A3 Time : 0.0 sec. user=mdettweiler [2016-10-19 09:35:01] 633*2^1443227-1 is not prime. Res64: 0FC5EB5875CFFD7E Time : 0.0 sec. user=mdettweiler [2016-10-19 09:35:01] 711*2^1443227-1 is not prime. Res64: AE2EFB06C480B26E Time : 0.0 sec. user=mdettweiler [2016-10-19 09:35:02] 759*2^1443227-1 is not prime. Res64: 01D01A3DCA81B602 Time : 0.0 sec. user=mdettweiler [2016-10-19 09:35:02] 895*2^1443227-1 is not prime. Res64: B8B726D6E24BE181 Time : 0.0 sec. user=mdettweiler [2016-10-19 10:01:37] 949*2^1443227-1 is not prime. Res64: E7AC52FD31BB3977 Time : 0.0 sec. user=mdettweiler [2016-10-19 10:01:38] 973*2^1443227-1 is not prime. Res64: 22C2C1E9FAF90DAB Time : 0.0 sec. user=mdettweiler [2016-10-19 10:01:39] 993*2^1443227-1 is not prime. Res64: B6326489EB4816F0 Time : 0.0 sec. user=mdettweiler [2016-10-19 10:01:40] 725*2^1443228-1 is not prime. Res64: 5DE25A9C897AD8F3 Time : 0.0 sec. user=mdettweiler [2016-10-19 10:01:42] 753*2^1443228-1 is not prime. Res64: FD0B3ABDB0582F05 Time : 0.0 sec. user=mdettweiler [2016-10-19 10:02:31] 619*2^1443229-1 is not prime. Res64: 98A80255D0A979CB Time : 0.0 sec. user=mdettweiler [2016-10-19 10:02:33] 685*2^1443229-1 is not prime. Res64: F37EDEC7B956B7C5 Time : 0.0 sec. user=mdettweiler [2016-10-19 10:02:34] 769*2^1443229-1 is not prime. Res64: 072EA93B90BC5C5F Time : 0.0 sec. user=mdettweiler [2016-10-19 10:02:35] 835*2^1443229-1 is not prime. Res64: FA0104E986C1474D Time : 0.0 sec. user=mdettweiler [2016-10-19 10:02:36] 847*2^1443229-1 is not prime. Res64: 995E1321E939FD94 Time : 0.0 sec. user=mdettweiler [2016-10-19 10:16:35] 861*2^1443229-1 is not prime. Res64: 22C0D70A1A6B3E54 Time : 0.0 sec. user=mdettweiler [2016-10-19 10:16:36] 919*2^1443229-1 is not prime. Res64: 2D326B0ACB297B85 Time : 0.0 sec. user=mdettweiler [2016-10-19 10:16:36] 931*2^1443229-1 is not prime. Res64: 752E4F2A1643CA89 Time : 0.0 sec. user=mdettweiler [2016-10-19 10:16:36] 939*2^1443229-1 is not prime. Res64: F8B5C2DF7A565BBC Time : 0.0 sec. user=mdettweiler [2016-10-19 10:16:37] 951*2^1443229-1 is not prime. Res64: 172BF68A2E6B9DFE Time : 0.0 sec. user=mdettweiler [2016-10-19 10:19:37] 985*2^1443229-1 is not prime. Res64: F6FA069041BD8765 Time : 0.0 sec. user=mdettweiler [2016-10-19 10:19:37] 741*2^1443230-1 is not prime. Res64: 7966F82FC2582FD1 Time : 0.0 sec. user=mdettweiler [2016-10-19 10:19:38] 747*2^1443230-1 is not prime. Res64: F7EE0C1224E68692 Time : 0.0 sec. user=mdettweiler [2016-10-19 10:19:38] 831*2^1443230-1 is not prime. Res64: 9C79E86763191F43 Time : 0.0 sec. user=mdettweiler [2016-10-19 10:19:38] 917*2^1443230-1 is not prime. Res64: 9411D01EA440131F Time : 0.0 sec. user=mdettweiler [2016-10-19 10:46:32] 781*2^1443231-1 is not prime. Res64: 8D532F2EED3C0B8A Time : 0.0 sec. user=mdettweiler [2016-10-19 10:46:32] 789*2^1443231-1 is not prime. Res64: C1497147B8EB03A6 Time : 0.0 sec. user=mdettweiler [2016-10-19 10:46:32] 859*2^1443231-1 is not prime. Res64: C9D3699CC1F82602 Time : 0.0 sec. user=mdettweiler [2016-10-19 10:46:33] 973*2^1443231-1 is not prime. Res64: 5A1C1A6E48DA7986 Time : 0.0 sec. user=mdettweiler [2016-10-19 10:46:33] 975*2^1443231-1 is not prime. Res64: F9BB97C1AC1CE3D0 Time : 0.0 sec. user=mdettweiler [2016-10-19 10:47:39] 629*2^1443232-1 is not prime. Res64: 83FB1285B3BB1F4F Time : 0.0 sec. user=mdettweiler [2016-10-19 10:47:40] 665*2^1443232-1 is not prime. Res64: 2A09E013E25A6351 Time : 0.0 sec. user=mdettweiler [2016-10-19 10:47:40] 869*2^1443232-1 is not prime. Res64: 4F9736646E48B0B7 Time : 0.0 sec. user=mdettweiler [2016-10-19 10:47:40] 917*2^1443232-1 is not prime. Res64: 7A857995DD1F888B Time : 0.0 sec. user=mdettweiler [2016-10-19 10:47:41] 675*2^1443233-1 is not prime. Res64: 791F3824FCC897B4 Time : 0.0 sec. user=mdettweiler [2016-10-19 11:01:23] 685*2^1443233-1 is not prime. Res64: 40B0854D0EA9562F Time : 0.0 sec. user=mdettweiler [2016-10-19 11:01:24] 787*2^1443233-1 is not prime. Res64: 4534F7B5ED46B0E8 Time : 0.0 sec. user=mdettweiler [2016-10-19 11:01:25] 801*2^1443233-1 is not prime. Res64: C2C9F033E4173F1D Time : 0.0 sec. user=mdettweiler [2016-10-19 11:01:26] 811*2^1443233-1 is not prime. Res64: 0A6539DC5C1D33D1 Time : 0.0 sec. user=mdettweiler [2016-10-19 11:01:27] 981*2^1443233-1 is not prime. Res64: A097D8AD693B4AAA Time : 0.0 sec. user=mdettweiler [2016-10-19 11:04:28] 681*2^1443234-1 is not prime. Res64: 96027EAACF3DEA55 Time : 0.0 sec. user=mdettweiler [2016-10-19 11:04:30] 797*2^1443234-1 is not prime. Res64: F2AA0FFED659D608 Time : 0.0 sec. user=mdettweiler [2016-10-19 11:04:31] 833*2^1443234-1 is not prime. Res64: C793EAEA8C52D48C Time : 0.0 sec. user=mdettweiler [2016-10-19 11:04:32] 875*2^1443234-1 is not prime. Res64: C92F3CC695E02629 Time : 0.0 sec. user=mdettweiler [2016-10-19 11:04:33] 903*2^1443234-1 is not prime. Res64: 4634EF333CA0EFD3 Time : 0.0 sec. user=mdettweiler [2016-10-19 11:33:10] 923*2^1443234-1 is not prime. Res64: F6EEEAED6D6057C2 Time : 0.0 sec. user=mdettweiler [2016-10-19 11:33:10] 975*2^1443234-1 is not prime. Res64: 3D59905C0078E4FD Time : 0.0 sec. user=mdettweiler [2016-10-19 11:33:10] 675*2^1443235-1 is not prime. Res64: 5366714813034250 Time : 0.0 sec. user=mdettweiler [2016-10-19 11:33:11] 679*2^1443235-1 is not prime. Res64: D5BD1C56105F3A86 Time : 0.0 sec. user=mdettweiler [2016-10-19 11:33:11] 693*2^1443235-1 is not prime. Res64: 3AD898C4F21D3612 Time : 0.0 sec. user=mdettweiler [2016-10-19 11:34:12] 733*2^1443235-1 is not prime. Res64: 852E4B5C60DAC2BE Time : 0.0 sec. user=mdettweiler [2016-10-19 11:34:12] 843*2^1443235-1 is not prime. Res64: 00D9276869848BFA Time : 0.0 sec. user=mdettweiler [2016-10-19 11:34:12] 889*2^1443235-1 is not prime. Res64: E6E84A3F792AADB1 Time : 0.0 sec. user=mdettweiler [2016-10-19 11:34:13] 919*2^1443235-1 is not prime. Res64: 5A18EB8669351A7A Time : 0.0 sec. user=mdettweiler [2016-10-19 11:34:13] 743*2^1443236-1 is not prime. Res64: 969DFBB059B28B06 Time : 0.0 sec. user=mdettweiler [2016-10-19 11:49:37] 845*2^1443236-1 is not prime. Res64: E47519AA346F87C8 Time : 0.0 sec. user=mdettweiler [2016-10-19 11:49:37] 899*2^1443236-1 is not prime. Res64: 83811EDA96264BC8 Time : 0.0 sec. user=mdettweiler [2016-10-19 11:49:38] 903*2^1443236-1 is not prime. Res64: A4035D361810A4AC Time : 0.0 sec. user=mdettweiler [2016-10-19 11:49:38] 953*2^1443236-1 is not prime. Res64: 4E0053C98CE335E7 Time : 0.0 sec. user=mdettweiler [2016-10-19 11:49:38] 999*2^1443236-1 is not prime. Res64: 1EEEF33A21C06E61 Time : 0.0 sec. user=mdettweiler [2016-10-19 11:52:38] 601*2^1443237-1 is not prime. Res64: 52F4BC63D3E2CB9F Time : 0.0 sec. user=mdettweiler [2016-10-19 11:52:39] 651*2^1443237-1 is not prime. Res64: D2B3C927C94DAFD5 Time : 0.0 sec. user=mdettweiler [2016-10-19 11:52:39] 709*2^1443237-1 is not prime. Res64: 1000EB805FF8771A Time : 0.0 sec. user=mdettweiler [2016-10-19 11:52:39] 759*2^1443237-1 is not prime. Res64: 96DB43D819A83F28 Time : 0.0 sec. user=mdettweiler [2016-10-19 11:52:40] 777*2^1443237-1 is not prime. Res64: 02558A3630DA46CC Time : 0.0 sec. user=mdettweiler [2016-10-19 12:25:23] 817*2^1443237-1 is not prime. Res64: DC2F75A6D2E0074C Time : 0.0 sec. user=mdettweiler [2016-10-19 12:25:23] 835*2^1443237-1 is not prime. Res64: 837E7865BDF54F8B Time : 0.0 sec. user=mdettweiler [2016-10-19 12:25:23] 861*2^1443237-1 is not prime. Res64: 4F1D742D30BF948E Time : 0.0 sec. user=mdettweiler [2016-10-19 12:25:24] 955*2^1443237-1 is not prime. Res64: 11B25FB66A2DCEF4 Time : 0.0 sec. user=mdettweiler [2016-10-19 12:25:24] 997*2^1443237-1 is not prime. Res64: 2BE7AC82EFA97FE4 Time : 0.0 sec. user=mdettweiler [2016-10-19 12:26:58] 603*2^1443238-1 is not prime. Res64: B91FC339E18E6025 Time : 0.0 sec. user=mdettweiler [2016-10-19 12:26:59] 605*2^1443238-1 is not prime. Res64: 398F7F95ADDEE7C0 Time : 0.0 sec. user=mdettweiler [2016-10-19 12:26:59] 611*2^1443238-1 is not prime. Res64: E3D5D9D9D6FDF333 Time : 0.0 sec. user=mdettweiler [2016-10-19 12:26:59] 623*2^1443238-1 is not prime. Res64: C554207D51973642 Time : 0.0 sec. user=mdettweiler [2016-10-19 12:26:59] 663*2^1443238-1 is not prime. Res64: 8F400E2FCCE1C2D6 Time : 0.0 sec. user=mdettweiler [2016-10-19 12:44:27] 705*2^1443238-1 is not prime. Res64: 068BECF47C7D1A1C Time : 0.0 sec. user=mdettweiler [2016-10-19 12:44:27] 713*2^1443238-1 is not prime. Res64: D12706A650A2FB5C Time : 0.0 sec. user=mdettweiler [2016-10-19 12:44:28] 737*2^1443238-1 is not prime. Res64: EB7CE35C141EAAF9 Time : 0.0 sec. user=mdettweiler [2016-10-19 12:44:28] 801*2^1443238-1 is not prime. Res64: 4A49D6D223BD4E2D Time : 0.0 sec. user=mdettweiler [2016-10-19 12:44:28] 813*2^1443238-1 is not prime. Res64: C0063F40E5C35BEC Time : 0.0 sec. user=mdettweiler [2016-10-19 12:47:46] 675*2^1443239-1 is not prime. Res64: 053F77DD918569C0 Time : 0.0 sec. user=mdettweiler [2016-10-19 12:47:46] 729*2^1443239-1 is not prime. Res64: 20C0E904890C7A06 Time : 0.0 sec. user=mdettweiler [2016-10-19 12:47:47] 775*2^1443239-1 is not prime. Res64: 43C323812E72F5EE Time : 0.0 sec. user=mdettweiler [2016-10-19 12:47:47] 979*2^1443239-1 is not prime. Res64: 9AA392CF27D62727 Time : 0.0 sec. user=mdettweiler [2016-10-19 12:47:47] 627*2^1443240-1 is not prime. Res64: 0BA890F63BF51DD6 Time : 0.0 sec. user=mdettweiler [2016-10-19 13:18:58] 669*2^1443240-1 is not prime. Res64: AC9839C5295D603C Time : 0.0 sec. user=mdettweiler [2016-10-19 13:18:59] 735*2^1443240-1 is not prime. Res64: 2405B991EF3C3C22 Time : 0.0 sec. user=mdettweiler [2016-10-19 13:18:59] 767*2^1443240-1 is not prime. Res64: E71573A66AA1C063 Time : 0.0 sec. user=mdettweiler [2016-10-19 13:19:00] 839*2^1443240-1 is not prime. Res64: 53894182D6F90D64 Time : 0.0 sec. user=mdettweiler [2016-10-19 13:19:00] 999*2^1443240-1 is not prime. Res64: 844A2AFBCEE85DF2 Time : 0.0 sec. user=mdettweiler [2016-10-19 13:19:27] 625*2^1443241-1 is not prime. Res64: 1BEEAB19B310DE1C Time : 0.0 sec. user=mdettweiler [2016-10-19 13:19:28] 639*2^1443241-1 is not prime. Res64: CB9700DB08107CE4 Time : 0.0 sec. user=mdettweiler [2016-10-19 13:19:28] 769*2^1443241-1 is not prime. Res64: 6C263B0379AC118B Time : 0.0 sec. user=mdettweiler [2016-10-19 13:19:29] 799*2^1443241-1 is not prime. Res64: 87AE46AB16B6EC89 Time : 0.0 sec. user=mdettweiler [2016-10-19 13:19:29] 819*2^1443241-1 is not prime. Res64: 96C05E40AD452CC2 Time : 0.0 sec. user=mdettweiler [2016-10-19 13:38:30] 937*2^1443241-1 is not prime. Res64: F4E0D76FB7AA3675 Time : 0.0 sec. user=mdettweiler [2016-10-19 13:38:30] 945*2^1443241-1 is not prime. Res64: 394462F00CA3A6B5 Time : 0.0 sec. user=mdettweiler [2016-10-19 13:38:30] 615*2^1443242-1 is not prime. Res64: 185B8619A94C29A9 Time : 0.0 sec. user=mdettweiler [2016-10-19 13:38:31] 677*2^1443242-1 is not prime. Res64: 15946EC0C452222C Time : 0.0 sec. user=mdettweiler [2016-10-19 13:38:31] 683*2^1443242-1 is not prime. Res64: C79FF34E1667C61A Time : 0.0 sec. user=mdettweiler [2016-10-19 13:42:10] 831*2^1443242-1 is not prime. Res64: DB3AE10B927748EC Time : 0.0 sec. user=mdettweiler [2016-10-19 13:42:10] 875*2^1443242-1 is not prime. Res64: A8F0B37AA556C456 Time : 0.0 sec. user=mdettweiler [2016-10-19 13:42:11] 885*2^1443242-1 is not prime. Res64: F338985B3E96F8A6 Time : 0.0 sec. user=mdettweiler [2016-10-19 13:42:11] 619*2^1443243-1 is not prime. Res64: B96732CF1B3161B1 Time : 0.0 sec. user=mdettweiler [2016-10-19 13:42:11] 699*2^1443243-1 is not prime. Res64: 22F21BDE1695C125 Time : 0.0 sec. user=mdettweiler [2016-10-19 14:09:55] 859*2^1443243-1 is not prime. Res64: 4973E01A3F0CCA67 Time : 0.0 sec. user=mdettweiler [2016-10-19 14:09:56] 879*2^1443243-1 is not prime. Res64: B736DF99E9FB184B Time : 0.0 sec. user=mdettweiler [2016-10-19 14:09:56] 813*2^1443244-1 is not prime. Res64: E9F2CDC884590D69 Time : 0.0 sec. user=mdettweiler [2016-10-19 14:09:56] 657*2^1443245-1 is not prime. Res64: 5E29DC5AE857A0AB Time : 0.0 sec. user=mdettweiler [2016-10-19 14:09:57] 697*2^1443245-1 is not prime. Res64: D48CE857AC86DE07 Time : 0.0 sec. user=mdettweiler [2016-10-19 14:10:00] 775*2^1443245-1 is not prime. Res64: 5C95F5B15BE0E29F Time : 0.0 sec. user=mdettweiler [2016-10-19 14:10:00] 825*2^1443245-1 is not prime. Res64: CF7B941D159CE1DB Time : 0.0 sec. user=mdettweiler [2016-10-19 14:10:00] 867*2^1443245-1 is not prime. Res64: 019425D8F1E1704D Time : 0.0 sec. user=mdettweiler [2016-10-19 14:10:01] 907*2^1443245-1 is not prime. Res64: 907E501A202AEA09 Time : 0.0 sec. user=mdettweiler [2016-10-19 14:10:01] 969*2^1443245-1 is not prime. Res64: D539BBD349F86BEF Time : 0.0 sec. user=mdettweiler [2016-10-19 14:26:30] 647*2^1443246-1 is not prime. Res64: 24A17C53B9A41BAA Time : 0.0 sec. user=mdettweiler [2016-10-19 14:26:30] 653*2^1443246-1 is not prime. Res64: C31C0A01EDD2165B Time : 0.0 sec. user=mdettweiler [2016-10-19 14:26:30] 705*2^1443246-1 is not prime. Res64: 383E3078C2493A70 Time : 0.0 sec. user=mdettweiler [2016-10-19 14:26:31] 713*2^1443246-1 is not prime. Res64: 55E8FFFFE87F7AB7 Time : 0.0 sec. user=mdettweiler [2016-10-19 14:26:31] 723*2^1443246-1 is not prime. Res64: D8EB7D45FE2EB11D Time : 0.0 sec. user=mdettweiler [2016-10-19 14:30:08] 821*2^1443246-1 is not prime. Res64: 0FABBDFFE49BCA7E Time : 0.0 sec. user=mdettweiler [2016-10-19 14:30:08] 945*2^1443246-1 is not prime. Res64: 539D2C5E576F1311 Time : 0.0 sec. user=mdettweiler [2016-10-19 14:30:08] 633*2^1443247-1 is not prime. Res64: 76BE33FB4DA214F0 Time : 0.0 sec. user=mdettweiler [2016-10-19 14:30:08] 741*2^1443247-1 is not prime. Res64: 89673A7668A4A743 Time : 0.0 sec. user=mdettweiler [2016-10-19 14:30:09] 841*2^1443247-1 is not prime. Res64: 3141DE26E63B3A41 Time : 0.0 sec. user=mdettweiler [2016-10-19 14:55:58] 849*2^1443247-1 is not prime. Res64: 7CB5C3D456D75437 Time : 0.0 sec. user=mdettweiler [2016-10-19 14:55:58] 891*2^1443247-1 is not prime. Res64: 18A63F1CA1345F54 Time : 0.0 sec. user=mdettweiler [2016-10-19 14:55:58] 933*2^1443247-1 is not prime. Res64: 557B1B351618D598 Time : 0.0 sec. user=mdettweiler [2016-10-19 14:55:58] 879*2^1443248-1 is not prime. Res64: A261CF19F62CB235 Time : 0.0 sec. user=mdettweiler [2016-10-19 14:55:59] 977*2^1443248-1 is not prime. Res64: BFF6643B57CA19A0 Time : 0.0 sec. user=mdettweiler [2016-10-19 14:56:01] 625*2^1443249-1 is not prime. Res64: 27900AFC0C5B0769 Time : 0.0 sec. user=mdettweiler [2016-10-19 14:56:01] 751*2^1443249-1 is not prime. Res64: 12465A78C1819C0C Time : 0.0 sec. user=mdettweiler [2016-10-19 14:56:02] 795*2^1443249-1 is not prime. Res64: 53CC28E57E5FFE15 Time : 0.0 sec. user=mdettweiler [2016-10-19 14:56:02] 919*2^1443249-1 is not prime. Res64: DD22FCF2ED0C273E Time : 0.0 sec. user=mdettweiler [2016-10-19 14:56:02] 603*2^1443250-1 is not prime. Res64: BCFEEFD9D56345FE Time : 0.0 sec. user=mdettweiler [2016-10-19 15:12:35] 633*2^1443250-1 is not prime. Res64: CBF22CF576CF0BD3 Time : 0.0 sec. user=mdettweiler [2016-10-19 15:12:36] 671*2^1443250-1 is not prime. Res64: AF08A1EFB204AF37 Time : 0.0 sec. user=mdettweiler [2016-10-19 15:12:36] 677*2^1443250-1 is not prime. Res64: 07AC8D5442EF3D43 Time : 0.0 sec. user=mdettweiler [2016-10-19 15:12:37] 717*2^1443250-1 is not prime. Res64: FED8503EC518FE00 Time : 0.0 sec. user=mdettweiler [2016-10-19 15:12:38] 765*2^1443250-1 is not prime. Res64: B19B81D28F5C90F1 Time : 0.0 sec. user=mdettweiler [2016-10-19 15:16:25] 825*2^1443250-1 is not prime. Res64: 9C1636C4BDC979B7 Time : 0.0 sec. user=mdettweiler [2016-10-19 15:16:25] 831*2^1443250-1 is not prime. Res64: B2B87A8681BF892F Time : 0.0 sec. user=mdettweiler [2016-10-19 15:16:25] 915*2^1443250-1 is not prime. Res64: AD02592F52C44041 Time : 0.0 sec. user=mdettweiler [2016-10-19 15:16:26] 619*2^1443251-1 is not prime. Res64: 2A1BE71F366B7B13 Time : 0.0 sec. user=mdettweiler [2016-10-19 15:16:26] 673*2^1443251-1 is not prime. Res64: 5BD980F675E3FCA7 Time : 0.0 sec. user=mdettweiler [2016-10-19 15:43:55] 999*2^1443251-1 is not prime. Res64: 02013F675AB0EAA7 Time : 0.0 sec. user=mdettweiler [2016-10-19 15:43:55] 765*2^1443252-1 is not prime. Res64: 5D83E6C7BA007A60 Time : 0.0 sec. user=mdettweiler [2016-10-19 15:43:55] 825*2^1443252-1 is not prime. Res64: 160ECBB87548924E Time : 0.0 sec. user=mdettweiler [2016-10-19 15:43:56] 607*2^1443253-1 is not prime. Res64: 0EEEB012478BAEE0 Time : 0.0 sec. user=mdettweiler [2016-10-19 15:43:56] 609*2^1443253-1 is not prime. Res64: 96764DE748E449BD Time : 0.0 sec. user=mdettweiler [2016-10-19 15:44:05] 733*2^1443251-1 is not prime. Res64: AC762FF58292591E Time : 0.0 sec. user=mdettweiler [2016-10-19 15:44:06] 741*2^1443251-1 is not prime. Res64: 5CC2BDF05E65B0F3 Time : 0.0 sec. user=mdettweiler [2016-10-19 15:44:06] 841*2^1443251-1 is not prime. Res64: D3FB134A3A4D16CB Time : 0.0 sec. user=mdettweiler [2016-10-19 15:44:06] 939*2^1443251-1 is not prime. Res64: 76EC98EC1AA4272B Time : 0.0 sec. user=mdettweiler [2016-10-19 15:44:06] 979*2^1443251-1 is not prime. Res64: FBE0FB9EE596356B Time : 0.0 sec. user=mdettweiler [2016-10-19 16:00:00] 619*2^1443253-1 is not prime. Res64: F947F938A6AD302B Time : 0.0 sec. user=mdettweiler [2016-10-19 16:00:01] 685*2^1443253-1 is not prime. Res64: 615C33C6E87267E7 Time : 0.0 sec. user=mdettweiler [2016-10-19 16:00:01] 889*2^1443253-1 is not prime. Res64: B3A5C67600D084A9 Time : 0.0 sec. user=mdettweiler [2016-10-19 16:00:02] 897*2^1443253-1 is not prime. Res64: 567053999AED611F Time : 0.0 sec. user=mdettweiler [2016-10-19 16:00:04] 663*2^1443254-1 is not prime. Res64: B189A15399518F6C Time : 0.0 sec. user=mdettweiler [2016-10-19 16:03:47] 671*2^1443254-1 is not prime. Res64: 7C68C21253E5D595 Time : 0.0 sec. user=mdettweiler [2016-10-19 16:03:49] 675*2^1443254-1 is not prime. Res64: 3D5491DC1DE0585F Time : 0.0 sec. user=mdettweiler [2016-10-19 16:03:51] 791*2^1443254-1 is not prime. Res64: 9ED51AD653016390 Time : 0.0 sec. user=mdettweiler [2016-10-19 16:03:52] 971*2^1443254-1 is not prime. Res64: BF5DAC85E084FAC1 Time : 0.0 sec. user=mdettweiler [2016-10-19 16:03:53] 1001*2^1443254-1 is not prime. Res64: 725E03380AFAE16C Time : 0.0 sec. user=mdettweiler [2016-10-19 16:28:48] 619*2^1443255-1 is not prime. Res64: DD95E96EC5AA6890 Time : 0.0 sec. user=mdettweiler [2016-10-19 16:28:49] 643*2^1443255-1 is not prime. Res64: 6A0E4AD947D9125C Time : 0.0 sec. user=mdettweiler [2016-10-19 16:28:49] 649*2^1443255-1 is not prime. Res64: CC81A5885B8C7B6A Time : 0.0 sec. user=mdettweiler [2016-10-19 16:28:50] 735*2^1443255-1 is not prime. Res64: E4C12E048B6C5B76 Time : 0.0 sec. user=mdettweiler [2016-10-19 16:28:50] 775*2^1443255-1 is not prime. Res64: 240047B99955B7CD Time : 0.0 sec. user=mdettweiler [2016-10-19 16:28:53] 781*2^1443255-1 is not prime. Res64: CF26D2CE9E1866DA Time : 0.0 sec. user=mdettweiler [2016-10-19 16:28:54] 861*2^1443255-1 is not prime. Res64: 47D383D02B908301 Time : 0.0 sec. user=mdettweiler [2016-10-19 16:28:54] 969*2^1443255-1 is not prime. Res64: 7FA84132C693EBA8 Time : 0.0 sec. user=mdettweiler [2016-10-19 16:28:55] 979*2^1443255-1 is not prime. Res64: 51E3C6C63F3B5AA7 Time : 0.0 sec. user=mdettweiler [2016-10-19 16:28:56] 985*2^1443255-1 is not prime. Res64: 46B4FE970A81F48C Time : 0.0 sec. user=mdettweiler [2016-10-19 16:44:55] 999*2^1443255-1 is not prime. Res64: 83E2983752843606 Time : 0.0 sec. user=mdettweiler [2016-10-19 16:44:56] 615*2^1443256-1 is not prime. Res64: 1B7CD6164155D5C0 Time : 0.0 sec. user=mdettweiler [2016-10-19 16:44:56] 657*2^1443256-1 is not prime. Res64: 137EB7EF33C6798B Time : 0.0 sec. user=mdettweiler [2016-10-19 16:44:57] 825*2^1443256-1 is not prime. Res64: 10BF71A9E2B1DB6E Time : 0.0 sec. user=mdettweiler [2016-10-19 16:44:57] 845*2^1443256-1 is not prime. Res64: ABB556A114FA8455 Time : 0.0 sec. user=mdettweiler [2016-10-19 16:49:08] 975*2^1443256-1 is not prime. Res64: 8201F378B94F0739 Time : 0.0 sec. user=mdettweiler [2016-10-19 16:49:09] 631*2^1443257-1 is not prime. Res64: 36788E2B8E584F3F Time : 0.0 sec. user=mdettweiler [2016-10-19 16:49:09] 649*2^1443257-1 is not prime. Res64: F18913B495ADE04F Time : 0.0 sec. user=mdettweiler [2016-10-19 16:49:09] 651*2^1443257-1 is not prime. Res64: F3803E62A9294AC2 Time : 0.0 sec. user=mdettweiler [2016-10-19 16:49:10] 669*2^1443257-1 is not prime. Res64: 3F6CFF2C6D346144 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:13:41] 651*2^1443258-1 is not prime. Res64: 1BCE2E3A53FCD174 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:13:42] 711*2^1443258-1 is not prime. Res64: CC829FE6758E5559 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:13:42] 971*2^1443258-1 is not prime. Res64: D85498EFE1D3F1B3 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:13:43] 619*2^1443259-1 is not prime. Res64: 9E7BF09A98DF5CB0 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:13:43] 723*2^1443259-1 is not prime. Res64: 746D81E20BB5C158 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:13:45] 715*2^1443257-1 is not prime. Res64: 66ACE0D443CC8235 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:13:45] 729*2^1443257-1 is not prime. Res64: 9720A99A80AA314C Time : 0.0 sec. user=mdettweiler [2016-10-19 17:13:46] 955*2^1443257-1 is not prime. Res64: 6CAE74BD5B3CB2D9 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:13:46] 633*2^1443258-1 is not prime. Res64: 923C62951FA5D351 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:13:47] 635*2^1443258-1 is not prime. Res64: 14CC9232CD927CEF Time : 0.0 sec. user=mdettweiler [2016-10-19 17:30:06] 775*2^1443259-1 is not prime. Res64: DCF762505BDA9AB3 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:30:06] 985*2^1443259-1 is not prime. Res64: 63E6EB1D2813172C Time : 0.0 sec. user=mdettweiler [2016-10-19 17:30:07] 707*2^1443260-1 is not prime. Res64: 76059EA02B011ECE Time : 0.0 sec. user=mdettweiler [2016-10-19 17:30:07] 767*2^1443260-1 is not prime. Res64: 39CB1B3A13D4DDC8 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:30:08] 773*2^1443260-1 is not prime. Res64: 6956F10C3EB81D1F Time : 0.0 sec. user=mdettweiler [2016-10-19 17:34:16] 789*2^1443260-1 is not prime. Res64: D4367BBB6CEBF679 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:34:16] 857*2^1443260-1 is not prime. Res64: 8D97E890396B9136 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:34:16] 893*2^1443260-1 is not prime. Res64: F74646ECA2A7FD76 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:34:17] 923*2^1443260-1 is not prime. Res64: AC5D58E2C9B7819C Time : 0.0 sec. user=mdettweiler [2016-10-19 17:34:17] 957*2^1443260-1 is not prime. Res64: 54049A5D2E94A7F0 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:58:42] 747*2^1443261-1 is not prime. Res64: D96DF15BB3710216 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:58:43] 835*2^1443261-1 is not prime. Res64: 90A7C883B34658D6 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:58:43] 907*2^1443261-1 is not prime. Res64: 17BF3B23E2973536 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:58:44] 951*2^1443261-1 is not prime. Res64: C95560AAC5755E7B Time : 0.0 sec. user=mdettweiler [2016-10-19 17:58:44] 617*2^1443262-1 is not prime. Res64: C1D29F6BEFD54122 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:58:45] 695*2^1443262-1 is not prime. Res64: 3610281B15A94BA4 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:58:46] 777*2^1443262-1 is not prime. Res64: 65FEB609ACD674C2 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:58:46] 831*2^1443262-1 is not prime. Res64: 84A43C7E2816352D Time : 0.0 sec. user=mdettweiler [2016-10-19 17:58:46] 685*2^1443263-1 is not prime. Res64: 5CCB645C722FDDB5 Time : 0.0 sec. user=mdettweiler [2016-10-19 17:58:47] 741*2^1443263-1 is not prime. Res64: F82181F601B49B1B Time : 0.0 sec. user=mdettweiler [2016-10-19 18:15:14] 753*2^1443263-1 is not prime. Res64: E3232E3F69193665 Time : 0.0 sec. user=mdettweiler [2016-10-19 18:15:14] 781*2^1443263-1 is not prime. Res64: 566E4E8CB4020DBF Time : 0.0 sec. user=mdettweiler [2016-10-19 18:15:14] 913*2^1443263-1 is not prime. Res64: ED108CC59C1621B1 Time : 0.0 sec. user=mdettweiler [2016-10-19 18:15:15] 955*2^1443263-1 is not prime. Res64: 6D07BAA859CD55E1 Time : 0.0 sec. user=mdettweiler [2016-10-19 18:15:15] 689*2^1443264-1 is not prime. Res64: 93ABD5F55CF3025A Time : 0.0 sec. user=mdettweiler [2016-10-19 18:19:17] 837*2^1443264-1 is not prime. Res64: BC401ED846648718 Time : 0.0 sec. user=mdettweiler [2016-10-19 18:19:18] 601*2^1443265-1 is not prime. Res64: D95853F6B1911A30 Time : 0.0 sec. user=mdettweiler [2016-10-19 18:19:18] 667*2^1443265-1 is not prime. Res64: E198A74547790F9A Time : 0.0 sec. user=mdettweiler [2016-10-19 18:19:19] 687*2^1443265-1 is not prime. Res64: 4160E7A9F9F48209 Time : 0.0 sec. user=mdettweiler [2016-10-19 18:19:19] 721*2^1443265-1 is not prime. Res64: 83AFDFDE61EF3FBD Time : 0.0 sec. user=mdettweiler [2016-10-19 18:43:41] 765*2^1443265-1 is not prime. Res64: 2F17A05089E5FF35 Time : 0.0 sec. user=mdettweiler [2016-10-19 18:43:41] 831*2^1443265-1 is not prime. Res64: DE6C18D254DF1A92 Time : 0.0 sec. user=mdettweiler [2016-10-19 18:43:42] 841*2^1443265-1 is not prime. Res64: 7AFBE3A5A6B3FFDC Time : 0.0 sec. user=mdettweiler [2016-10-19 18:43:42] 999*2^1443265-1 is not prime. Res64: DE2628CC7A74EFE7 Time : 0.0 sec. user=mdettweiler [2016-10-19 18:43:42] 893*2^1443266-1 is not prime. Res64: C76A55372529C5CD Time : 0.0 sec. user=mdettweiler [2016-10-19 18:43:43] 851*2^1443266-1 is not prime. Res64: 48711817797B27CB Time : 0.0 sec. user=mdettweiler [2016-10-19 18:43:43] 963*2^1443266-1 is not prime. Res64: 07745EB1A0724F1F Time : 0.0 sec. user=mdettweiler [2016-10-19 18:43:43] 705*2^1443267-1 is not prime. Res64: 6FCFDB50B61EF831 Time : 0.0 sec. user=mdettweiler [2016-10-19 18:43:43] 751*2^1443267-1 is not prime. Res64: 71ACA4208B986552 Time : 0.0 sec. user=mdettweiler [2016-10-19 18:43:44] 765*2^1443267-1 is not prime. Res64: DC9D110234A8DB2B Time : 0.0 sec. user=mdettweiler [2016-10-19 19:00:03] 871*2^1443267-1 is not prime. Res64: D6927552D9043C74 Time : 0.0 sec. user=mdettweiler [2016-10-19 19:00:04] 879*2^1443267-1 is not prime. Res64: F24DB1E86F5E6798 Time : 0.0 sec. user=mdettweiler [2016-10-19 19:00:04] 963*2^1443267-1 is not prime. Res64: 851461D4422E8C58 Time : 0.0 sec. user=mdettweiler [2016-10-19 19:00:04] 605*2^1443268-1 is not prime. Res64: 3A10F1CA7F2B764F Time : 0.0 sec. user=mdettweiler [2016-10-19 19:00:05] 813*2^1443268-1 is not prime. Res64: 8FB33D69471160A5 Time : 0.0 sec. user=mdettweiler [2016-10-19 19:04:15] 933*2^1443268-1 is not prime. Res64: CA685A34ACD85D98 Time : 0.0 sec. user=mdettweiler [2016-10-19 19:04:17] 655*2^1443269-1 is not prime. Res64: 65DEE63C943CFFB5 Time : 0.0 sec. user=mdettweiler [2016-10-19 19:04:18] 711*2^1443269-1 is not prime. Res64: 6702F341753DC564 Time : 0.0 sec. user=mdettweiler [2016-10-19 19:04:18] 825*2^1443269-1 is not prime. Res64: 15A0E26C32D35ABF Time : 0.0 sec. user=mdettweiler [2016-10-19 19:04:19] 677*2^1443270-1 is not prime. Res64: C93E278439B49053 Time : 0.0 sec. user=mdettweiler [2016-10-19 19:28:27] 695*2^1443270-1 is not prime. Res64: AB35663453ACEF34 Time : 0.0 sec. user=mdettweiler [2016-10-19 19:28:27] 927*2^1443270-1 is not prime. Res64: BD9D77874B8F7818 Time : 0.0 sec. user=mdettweiler [2016-10-19 19:28:28] 763*2^1443271-1 is not prime. Res64: AA06EA82ED0FDFBD Time : 0.0 sec. user=mdettweiler [2016-10-19 19:28:28] 783*2^1443270-1 is not prime. Res64: 2A066FF4607F5DBB Time : 0.0 sec. user=mdettweiler [2016-10-19 19:28:28] 793*2^1443271-1 is not prime. Res64: 57D16EB51877D408 Time : 0.0 sec. user=mdettweiler [2016-10-19 19:28:28] 791*2^1443270-1 is not prime. Res64: 7D567C1EEC9CC53B Time : 0.0 sec. user=mdettweiler [2016-10-19 19:28:29] 871*2^1443271-1 is not prime. Res64: 6190CB4D08722D29 Time : 0.0 sec. user=mdettweiler [2016-10-19 19:28:29] 821*2^1443270-1 is not prime. Res64: ED732AEA6ABBEF52 Time : 0.0 sec. user=mdettweiler [2016-10-19 19:28:29] 951*2^1443271-1 is not prime. Res64: 124B1B38DA8A967F Time : 0.0 sec. user=mdettweiler [2016-10-19 19:28:29] 861*2^1443270-1 is not prime. Res64: D3758918C580E67B Time : 0.0 sec. user=mdettweiler [2016-10-19 19:44:50] 669*2^1443272-1 is not prime. Res64: 868834F6B350A0A0 Time : 0.0 sec. user=mdettweiler [2016-10-19 19:44:51] 675*2^1443272-1 is not prime. Res64: BA3AD8A5590F1296 Time : 0.0 sec. user=mdettweiler [2016-10-19 19:44:51] 717*2^1443272-1 is not prime. Res64: B0A91F590B90E7B7 Time : 0.0 sec. user=mdettweiler [2016-10-19 19:44:52] 743*2^1443272-1 is not prime. Res64: 232ADFA762EA9AFD Time : 0.0 sec. user=mdettweiler [2016-10-19 19:44:52] 753*2^1443272-1 is not prime. Res64: 626749DE6869447C Time : 0.0 sec. user=mdettweiler [2016-10-19 19:49:15] 815*2^1443272-1 is not prime. Res64: FCF2FB5B697DFEE8 Time : 0.0 sec. user=mdettweiler [2016-10-19 19:49:15] 935*2^1443272-1 is not prime. Res64: A739D7A0151910CD Time : 0.0 sec. user=mdettweiler [2016-10-19 19:49:16] 963*2^1443272-1 is not prime. Res64: 97A74B9FE222B59A Time : 0.0 sec. user=mdettweiler [2016-10-19 19:49:16] 657*2^1443273-1 is not prime. Res64: D598754E8A1E8813 Time : 0.0 sec. user=mdettweiler [2016-10-19 19:49:17] 699*2^1443273-1 is not prime. Res64: C6EAD44C8BFC1939 Time : 0.0 sec. user=mdettweiler [2016-10-19 20:13:15] 807*2^1443273-1 is not prime. Res64: 0C54A3FA2FDDA983 Time : 0.0 sec. user=mdettweiler [2016-10-19 20:13:15] 829*2^1443273-1 is not prime. Res64: D7236BA17BD2A8C9 Time : 0.0 sec. user=mdettweiler [2016-10-19 20:13:16] 979*2^1443273-1 is not prime. Res64: AB38A7EBDE612911 Time : 0.0 sec. user=mdettweiler [2016-10-19 20:13:16] 623*2^1443274-1 is not prime. Res64: 520801798F38DD65 Time : 0.0 sec. user=mdettweiler [2016-10-19 20:13:17] 657*2^1443274-1 is not prime. Res64: 754FD2A0D4AEC658 Time : 0.0 sec. user=mdettweiler [2016-10-19 20:13:17] 731*2^1443274-1 is not prime. Res64: 2881586B45F3286E Time : 0.0 sec. user=mdettweiler [2016-10-19 20:13:17] 975*2^1443274-1 is not prime. Res64: 51BA602B7D01A1CA Time : 0.0 sec. user=mdettweiler [2016-10-19 20:13:18] 619*2^1443275-1 is not prime. Res64: 3D03031FB7014A80 Time : 0.0 sec. user=mdettweiler [2016-10-19 20:13:18] 775*2^1443275-1 is not prime. Res64: E32529B8F4FF5D49 Time : 0.0 sec. user=mdettweiler [2016-10-19 20:13:19] 823*2^1443275-1 is not prime. Res64: A83AC04ADD531434 Time : 0.0 sec. user=mdettweiler [2016-10-19 20:29:44] 943*2^1443275-1 is not prime. Res64: 9AFEDA56BF9337EA Time : 0.0 sec. user=mdettweiler [2016-10-19 20:29:45] 629*2^1443276-1 is not prime. Res64: F17B1C620F623498 Time : 0.0 sec. user=mdettweiler [2016-10-19 20:29:45] 695*2^1443276-1 is not prime. Res64: 334B3E098B2C8AD4 Time : 0.0 sec. user=mdettweiler [2016-10-19 20:29:46] 765*2^1443276-1 is not prime. Res64: F7F0ED81AA174E86 Time : 0.0 sec. user=mdettweiler [2016-10-19 20:29:46] 773*2^1443276-1 is not prime. Res64: 037BAC64ED51068C Time : 0.0 sec. user=mdettweiler [2016-10-19 20:34:18] 825*2^1443276-1 is not prime. Res64: 03C2C656B435A84A Time : 0.0 sec. user=mdettweiler [2016-10-19 20:34:19] 893*2^1443276-1 is not prime. Res64: AB61984A6F17C5B5 Time : 0.0 sec. user=mdettweiler [2016-10-19 20:34:19] 999*2^1443276-1 is not prime. Res64: 678D4FCA714F0783 Time : 0.0 sec. user=mdettweiler [2016-10-19 20:34:19] 625*2^1443277-1 is not prime. Res64: D4C6D80A06B316ED Time : 0.0 sec. user=mdettweiler [2016-10-19 20:34:20] 727*2^1443277-1 is not prime. Res64: D38FB12686D84C1F Time : 0.0 sec. user=mdettweiler [2016-10-19 20:58:10] 939*2^1443277-1 is not prime. Res64: 61DF7B494F69DCBD Time : 0.0 sec. user=mdettweiler [2016-10-19 20:58:10] 795*2^1443278-1 is not prime. Res64: CC00A5AC2AE11CC9 Time : 0.0 sec. user=mdettweiler [2016-10-19 20:58:10] 797*2^1443278-1 is not prime. Res64: DDBF753A2B7183BF Time : 0.0 sec. user=mdettweiler [2016-10-19 20:58:11] 813*2^1443278-1 is not prime. Res64: E3B66690F1194A5E Time : 0.0 sec. user=mdettweiler [2016-10-19 20:58:11] 831*2^1443278-1 is not prime. Res64: 57F6E48DB25E9976 Time : 0.0 sec. user=mdettweiler [2016-10-19 20:58:19] 893*2^1443278-1 is not prime. Res64: CE91ADE7EDE47C08 Time : 0.0 sec. user=mdettweiler [2016-10-19 20:58:20] 977*2^1443278-1 is not prime. Res64: F3D56776398B51D5 Time : 0.0 sec. user=mdettweiler [2016-10-19 20:58:20] 661*2^1443279-1 is not prime. Res64: 173B03B0DD8B0BE2 Time : 0.0 sec. user=mdettweiler [2016-10-19 20:58:20] 711*2^1443279-1 is not prime. Res64: C291D01195D21BA3 Time : 0.0 sec. user=mdettweiler [2016-10-19 20:58:21] 859*2^1443279-1 is not prime. Res64: AD19B4A2AA048BB4 Time : 0.0 sec. user=mdettweiler [2016-10-19 21:14:28] 861*2^1443279-1 is not prime. Res64: 364280B8AFC00DD9 Time : 0.0 sec. user=mdettweiler [2016-10-19 21:14:28] 873*2^1443279-1 is not prime. Res64: 3DF6D42DFBBB0BE0 Time : 0.0 sec. user=mdettweiler [2016-10-19 21:14:29] 933*2^1443279-1 is not prime. Res64: 143D333EE0901029 Time : 0.0 sec. user=mdettweiler [2016-10-19 21:14:29] 675*2^1443280-1 is not prime. Res64: 3D7E8A512EC715B8 Time : 0.0 sec. user=mdettweiler [2016-10-19 21:14:29] 677*2^1443280-1 is not prime. Res64: 437AA121A6CF00B1 Time : 0.0 sec. user=mdettweiler [2016-10-19 21:19:07] 695*2^1443280-1 is not prime. Res64: CD415BF20FF5FC96 Time : 0.0 sec. user=mdettweiler [2016-10-19 21:19:08] 717*2^1443280-1 is not prime. Res64: DDB35AF552A69D77 Time : 0.0 sec. user=mdettweiler [2016-10-19 21:19:08] 827*2^1443280-1 is not prime. Res64: 58478944BE2232C4 Time : 0.0 sec. user=mdettweiler [2016-10-19 21:19:09] 915*2^1443280-1 is not prime. Res64: 38EB017A37187D5D Time : 0.0 sec. user=mdettweiler [2016-10-19 21:19:09] 669*2^1443281-1 is not prime. Res64: 8DAB15103367212B Time : 0.0 sec. user=mdettweiler [2016-10-19 21:43:05] 711*2^1443281-1 is not prime. Res64: 3DCB441034052A0C Time : 0.0 sec. user=mdettweiler [2016-10-19 21:43:06] 727*2^1443281-1 is not prime. Res64: 0F0A564B86E9344C Time : 0.0 sec. user=mdettweiler [2016-10-19 21:43:06] 735*2^1443281-1 is not prime. Res64: A7A7C0D8B9041947 Time : 0.0 sec. user=mdettweiler [2016-10-19 21:43:06] 837*2^1443281-1 is not prime. Res64: 4E05CD53D2A0D1E6 Time : 0.0 sec. user=mdettweiler [2016-10-19 21:43:07] 861*2^1443281-1 is not prime. Res64: 8B108455066D04AF Time : 0.0 sec. user=mdettweiler [2016-10-19 21:43:16] 867*2^1443281-1 is not prime. Res64: 25FD2B7B44AA756D Time : 0.0 sec. user=mdettweiler [2016-10-19 21:43:17] 871*2^1443281-1 is not prime. Res64: 914C571C9557DAC0 Time : 0.0 sec. user=mdettweiler [2016-10-19 21:43:17] 735*2^1443282-1 is not prime. Res64: 18B8BC2CC489C90A Time : 0.0 sec. user=mdettweiler [2016-10-19 21:43:17] 843*2^1443282-1 is not prime. Res64: 3416401C162448F4 Time : 0.0 sec. user=mdettweiler [2016-10-19 21:43:18] 663*2^1443283-1 is not prime. Res64: 36A97135D73D590A Time : 0.0 sec. user=mdettweiler [2016-10-19 21:59:25] 679*2^1443283-1 is not prime. Res64: 396528AEDBE93597 Time : 0.0 sec. user=mdettweiler [2016-10-19 21:59:26] 709*2^1443283-1 is not prime. Res64: F964EA9782418EC1 Time : 0.0 sec. user=mdettweiler [2016-10-19 21:59:26] 913*2^1443283-1 is not prime. Res64: 8D3B4AC6403A12EA Time : 0.0 sec. user=mdettweiler [2016-10-19 21:59:27] 919*2^1443283-1 is not prime. Res64: 8E7F7EF87246736E Time : 0.0 sec. user=mdettweiler [2016-10-19 21:59:27] 615*2^1443284-1 is not prime. Res64: A17BC022BCDD011F Time : 0.0 sec. user=mdettweiler [2016-10-19 22:04:17] 677*2^1443284-1 is not prime. Res64: F5FBD816B481AB2A Time : 0.0 sec. user=mdettweiler [2016-10-19 22:04:18] 707*2^1443284-1 is not prime. Res64: 62EDA08FEBAF5625 Time : 0.0 sec. user=mdettweiler [2016-10-19 22:04:19] 767*2^1443284-1 is not prime. Res64: D8C052ECF9287985 Time : 0.0 sec. user=mdettweiler [2016-10-19 22:04:20] 773*2^1443284-1 is not prime. Res64: F39C71B481AE6AC0 Time : 0.0 sec. user=mdettweiler [2016-10-19 22:04:21] 813*2^1443284-1 is not prime. Res64: CAC7F34D3FE64963 Time : 0.0 sec. user=mdettweiler [2016-10-19 22:28:01] 827*2^1443284-1 is not prime. Res64: 3A9A072B007C3F41 Time : 0.0 sec. user=mdettweiler [2016-10-19 22:28:01] 893*2^1443284-1 is not prime. Res64: F6E7086ED2975CA3 Time : 0.0 sec. user=mdettweiler [2016-10-19 22:28:02] 903*2^1443284-1 is not prime. Res64: 98767FE19D335287 Time : 0.0 sec. user=mdettweiler [2016-10-19 22:28:02] 969*2^1443284-1 is not prime. Res64: 1D84899DAF71EA61 Time : 0.0 sec. user=mdettweiler [2016-10-19 22:28:03] 639*2^1443285-1 is not prime. Res64: 94F6815418A1AFAB Time : 0.0 sec. user=mdettweiler [2016-10-19 22:28:06] 655*2^1443285-1 is not prime. Res64: 02A8B3132C6417BE Time : 0.0 sec. user=mdettweiler [2016-10-19 22:28:06] 699*2^1443285-1 is not prime. Res64: ACD8012CD265B1F9 Time : 0.0 sec. user=mdettweiler [2016-10-19 22:28:07] 741*2^1443285-1 is not prime. Res64: 9AAAE0A0388610A0 Time : 0.0 sec. user=mdettweiler [2016-10-19 22:28:07] 765*2^1443285-1 is not prime. Res64: BFA88E9A394CF3AD Time : 0.0 sec. user=mdettweiler [2016-10-19 22:28:08] 647*2^1443286-1 is not prime. Res64: 31E8360C9AC3300E Time : 0.0 sec. user=mdettweiler [2016-10-19 22:44:57] 663*2^1443286-1 is not prime. Res64: 3DC2CA900D2C505B Time : 0.0 sec. user=mdettweiler [2016-10-19 22:44:58] 713*2^1443286-1 is not prime. Res64: 717D546B3A377C46 Time : 0.0 sec. user=mdettweiler [2016-10-19 22:44:58] 881*2^1443286-1 is not prime. Res64: F7926C7821474B22 Time : 0.0 sec. user=mdettweiler [2016-10-19 22:44:59] 887*2^1443286-1 is not prime. Res64: 2934834D681A6689 Time : 0.0 sec. user=mdettweiler [2016-10-19 22:44:59] 601*2^1443287-1 is not prime. Res64: 5AE930AF296339BA Time : 0.0 sec. user=mdettweiler [2016-10-19 22:50:16] 675*2^1443287-1 is not prime. Res64: C162465457AF1ABB Time : 0.0 sec. user=mdettweiler [2016-10-19 22:50:16] 693*2^1443287-1 is not prime. Res64: 5232E6AEE421CFC6 Time : 0.0 sec. user=mdettweiler [2016-10-19 22:50:16] 763*2^1443287-1 is not prime. Res64: A334458F80D6B7EA Time : 0.0 sec. user=mdettweiler [2016-10-19 22:50:17] 775*2^1443287-1 is not prime. Res64: 2B9DA519CADED4CF Time : 0.0 sec. user=mdettweiler [2016-10-19 22:50:17] 825*2^1443287-1 is not prime. Res64: 3D655AAFF86F20FA Time : 0.0 sec. user=mdettweiler [2016-10-19 23:13:34] 861*2^1443287-1 is not prime. Res64: E35270C26112B711 Time : 0.0 sec. user=mdettweiler [2016-10-19 23:13:35] 915*2^1443287-1 is not prime. Res64: 317437AF9A0E80C4 Time : 0.0 sec. user=mdettweiler [2016-10-19 23:13:35] 949*2^1443287-1 is not prime. Res64: 82703F6E80ABBE5A Time : 0.0 sec. user=mdettweiler [2016-10-19 23:13:35] 973*2^1443287-1 is not prime. Res64: FC74DFF6936350AA Time : 0.0 sec. user=mdettweiler [2016-10-19 23:13:36] 979*2^1443287-1 is not prime. Res64: 2FCF721A5B95737C Time : 0.0 sec. user=mdettweiler [2016-10-19 23:13:37] 993*2^1443287-1 is not prime. Res64: 9486AC1FBC4CBE4F Time : 0.0 sec. user=mdettweiler [2016-10-19 23:13:37] 633*2^1443288-1 is not prime. Res64: D2E3509BCCA46DAC Time : 0.0 sec. user=mdettweiler [2016-10-19 23:13:37] 665*2^1443288-1 is not prime. Res64: 0608134836D98F42 Time : 0.0 sec. user=mdettweiler [2016-10-19 23:13:38] 669*2^1443288-1 is not prime. Res64: EF4645F80B521BCD Time : 0.0 sec. user=mdettweiler [2016-10-19 23:13:38] 695*2^1443288-1 is not prime. Res64: 432B70F3F9A8EC9B Time : 0.0 sec. user=mdettweiler [2016-10-19 23:29:47] 777*2^1443288-1 is not prime. Res64: 07B450D75C7FE50A Time : 0.0 sec. user=mdettweiler [2016-10-19 23:29:48] 789*2^1443288-1 is not prime. Res64: 36F606EDCB96EEEC Time : 0.0 sec. user=mdettweiler [2016-10-19 23:29:48] 825*2^1443288-1 is not prime. Res64: 6E91414196C9AF83 Time : 0.0 sec. user=mdettweiler [2016-10-19 23:29:48] 915*2^1443288-1 is not prime. Res64: 84F5FC5C1C0F8E41 Time : 0.0 sec. user=mdettweiler [2016-10-19 23:29:49] 633*2^1443290-1 is not prime. Res64: 7F4067921F853945 Time : 0.0 sec. user=mdettweiler [2016-10-19 23:35:19] 635*2^1443290-1 is not prime. Res64: E0A68C16493278A5 Time : 0.0 sec. user=mdettweiler [2016-10-19 23:35:19] 711*2^1443290-1 is not prime. Res64: 541C066112FDD336 Time : 0.0 sec. user=mdettweiler [2016-10-19 23:35:20] 731*2^1443290-1 is not prime. Res64: 2210CEBCFA086F05 Time : 0.0 sec. user=mdettweiler [2016-10-19 23:35:20] 851*2^1443290-1 is not prime. Res64: 0B8116334D1E7534 Time : 0.0 sec. user=mdettweiler [2016-10-19 23:35:21] 917*2^1443290-1 is not prime. Res64: D00389B5846C4832 Time : 0.0 sec. user=mdettweiler [2016-10-19 23:58:30] 941*2^1443290-1 is not prime. Res64: 2B15493710410FE5 Time : 0.0 sec. user=mdettweiler [2016-10-19 23:58:31] 675*2^1443291-1 is not prime. Res64: 426B409C51420EE8 Time : 0.0 sec. user=mdettweiler [2016-10-19 23:58:31] 679*2^1443291-1 is not prime. Res64: 89922CCA14BB01B0 Time : 0.0 sec. user=mdettweiler [2016-10-19 23:58:32] 783*2^1443291-1 is not prime. Res64: 84A8CD97CB715656 Time : 0.0 sec. user=mdettweiler [2016-10-19 23:58:32] 835*2^1443291-1 is not prime. Res64: B800CEF52F4755A2 Time : 0.0 sec. user=mdettweiler [2016-10-19 23:58:35] 871*2^1443291-1 is not prime. Res64: 486C6AE47B0B0808 Time : 0.0 sec. user=mdettweiler [2016-10-19 23:58:35] 931*2^1443291-1 is not prime. Res64: 1B546FA4571952E8 Time : 0.0 sec. user=mdettweiler [2016-10-19 23:58:35] 987*2^1443292-1 is not prime. Res64: 9E9B1ACF7C8BFA62 Time : 0.0 sec. user=mdettweiler [2016-10-19 23:58:36] 651*2^1443293-1 is not prime. Res64: 82CE1BC537A054C4 Time : 0.0 sec. user=mdettweiler [2016-10-19 23:58:36] 699*2^1443293-1 is not prime. Res64: EC2D59325388658D Time : 0.0 sec.