user=mdettweiler [2015-10-12 00:07:08] 723*2^1411804-1 is not prime. Res64: 4166DB22DAF79F0D Time : 0.0 sec. user=mdettweiler [2015-10-12 00:07:10] 843*2^1411804-1 is not prime. Res64: CE4020D09EBD2C0B Time : 0.0 sec. user=mdettweiler [2015-10-12 00:08:21] 857*2^1411804-1 is not prime. Res64: B0A29142A280DC8C Time : 0.0 sec. user=mdettweiler [2015-10-12 00:08:22] 905*2^1411804-1 is not prime. Res64: 687A4844CA8CFB3E Time : 0.0 sec. user=mdettweiler [2015-10-12 00:09:07] 939*2^1411804-1 is not prime. Res64: AB08FFFF419CD683 Time : 0.0 sec. user=mdettweiler [2015-10-12 00:09:08] 649*2^1411805-1 is not prime. Res64: 86AD4C52FB9ADCF1 Time : 0.0 sec. user=mdettweiler [2015-10-12 00:10:07] 655*2^1411805-1 is not prime. Res64: C23364E25C9DEBC0 Time : 0.0 sec. user=mdettweiler [2015-10-12 00:10:08] 729*2^1411805-1 is not prime. Res64: 743B363E41779B21 Time : 0.0 sec. user=mdettweiler [2015-10-12 00:30:07] 915*2^1411805-1 is not prime. Res64: 1B8F79F90E9FE7BD Time : 0.0 sec. user=mdettweiler [2015-10-12 00:30:08] 825*2^1411806-1 is not prime. Res64: 3BD3171A4AEB349E Time : 0.0 sec. user=mdettweiler [2015-10-12 00:31:28] 861*2^1411806-1 is not prime. Res64: 9B81CCF69EDEB3A4 Time : 0.0 sec. user=mdettweiler [2015-10-12 00:31:28] 873*2^1411806-1 is not prime. Res64: D150C57B55B7FB33 Time : 0.0 sec. user=mdettweiler [2015-10-12 00:31:58] 917*2^1411806-1 is not prime. Res64: 33B94EFE5C7D6738 Time : 0.0 sec. user=mdettweiler [2015-10-12 00:31:58] 947*2^1411806-1 is not prime. Res64: 7C1F93E0F6636E50 Time : 0.0 sec. user=mdettweiler [2015-10-12 00:32:57] 703*2^1411807-1 is not prime. Res64: 46C31440ED7E957F Time : 0.0 sec. user=mdettweiler [2015-10-12 00:32:57] 705*2^1411807-1 is not prime. Res64: C5C31AA72F8397A6 Time : 0.0 sec. user=mdettweiler [2015-10-12 00:52:41] 765*2^1411807-1 is not prime. Res64: 41C7708C50BAE404 Time : 0.0 sec. user=mdettweiler [2015-10-12 00:52:41] 805*2^1411807-1 is not prime. Res64: 7409A23039C18C5D Time : 0.0 sec. user=mdettweiler [2015-10-12 00:53:50] 841*2^1411807-1 is not prime. Res64: 96AFFD009DE108B5 Time : 0.0 sec. user=mdettweiler [2015-10-12 00:53:50] 913*2^1411807-1 is not prime. Res64: 2BD514EEA183FC9D Time : 0.0 sec. user=mdettweiler [2015-10-12 00:54:30] 931*2^1411807-1 is not prime. Res64: B03F1116975C1A21 Time : 0.0 sec. user=mdettweiler [2015-10-12 00:54:30] 629*2^1411808-1 is not prime. Res64: 2FB32A517EDDAA2C Time : 0.0 sec. user=mdettweiler [2015-10-12 00:55:45] 677*2^1411808-1 is not prime. Res64: 462DB569861478F0 Time : 0.0 sec. user=mdettweiler [2015-10-12 00:55:45] 735*2^1411808-1 is not prime. Res64: 7F81B0A1FD7F8A23 Time : 0.0 sec. user=mdettweiler [2015-10-12 01:15:49] 773*2^1411808-1 is not prime. Res64: BB28BB8A1669F39C Time : 0.0 sec. user=mdettweiler [2015-10-12 01:15:50] 839*2^1411808-1 is not prime. Res64: 52F26792D1F621C3 Time : 0.0 sec. user=mdettweiler [2015-10-12 01:16:57] 977*2^1411808-1 is not prime. Res64: A507D46550D5B877 Time : 0.0 sec. user=mdettweiler [2015-10-12 01:16:57] 615*2^1411809-1 is not prime. Res64: 1E367CFF16F847F7 Time : 0.0 sec. user=mdettweiler [2015-10-12 01:17:02] 639*2^1411809-1 is not prime. Res64: 33FD2DB7983E021A Time : 0.0 sec. user=mdettweiler [2015-10-12 01:17:02] 721*2^1411809-1 is not prime. Res64: 6190140C7C14580B Time : 0.0 sec. user=mdettweiler [2015-10-12 01:18:13] 759*2^1411809-1 is not prime. Res64: D02E4E9F14D78033 Time : 0.0 sec. user=mdettweiler [2015-10-12 01:18:14] 975*2^1411809-1 is not prime. Res64: FC77D4567A252522 Time : 0.0 sec. user=mdettweiler [2015-10-12 01:37:59] 991*2^1411809-1 is not prime. Res64: B1DE64DB9467D0DC Time : 0.0 sec. user=mdettweiler [2015-10-12 01:37:59] 735*2^1411810-1 is not prime. Res64: ABD9478641A4C4F2 Time : 0.0 sec. user=mdettweiler [2015-10-12 01:38:58] 957*2^1411810-1 is not prime. Res64: C338C9CBCE286304 Time : 0.0 sec. user=mdettweiler [2015-10-12 01:38:58] 995*2^1411810-1 is not prime. Res64: 7AE836C85E915272 Time : 0.0 sec. user=mdettweiler [2015-10-12 01:39:20] 743*2^1411810-1 is not prime. Res64: DE698F3EC6127B60 Time : 0.0 sec. user=mdettweiler [2015-10-12 01:39:20] 845*2^1411810-1 is not prime. Res64: 7E90507C0ECF9F53 Time : 0.0 sec. user=mdettweiler [2015-10-12 01:40:11] 615*2^1411811-1 is not prime. Res64: CB78D7DA052BA4AD Time : 0.0 sec. user=mdettweiler [2015-10-12 01:40:12] 643*2^1411811-1 is not prime. Res64: 7F4FDC309BE4D279 Time : 0.0 sec. user=mdettweiler [2015-10-12 01:56:33] 651*2^1411811-1 is not prime. Res64: B8F4F52021703293 Time : 0.0 sec. user=mdettweiler [2015-10-12 01:56:34] 733*2^1411811-1 is not prime. Res64: 818482360016E7A0 Time : 0.0 sec. user=mdettweiler [2015-10-12 01:57:26] 783*2^1411811-1 is not prime. Res64: 33160CB3FC7AA4C4 Time : 0.0 sec. user=mdettweiler [2015-10-12 01:57:26] 841*2^1411811-1 is not prime. Res64: B30536C945001F51 Time : 0.0 sec. user=mdettweiler [2015-10-12 01:57:46] 883*2^1411811-1 is not prime. Res64: 626EAEE7EFFC5A42 Time : 0.0 sec. user=mdettweiler [2015-10-12 01:57:47] 901*2^1411811-1 is not prime. Res64: 4EBB7EB08B9A8451 Time : 0.0 sec. user=mdettweiler [2015-10-12 01:58:48] 909*2^1411811-1 is not prime. Res64: 7F11A1F89508CEC6 Time : 0.0 sec. user=mdettweiler [2015-10-12 01:58:48] 981*2^1411811-1 is not prime. Res64: CC14508AC6EFF1B9 Time : 0.0 sec. user=mdettweiler [2015-10-12 02:16:14] 633*2^1411812-1 is not prime. Res64: 8F34007FDF7C08CC Time : 0.0 sec. user=mdettweiler [2015-10-12 02:16:14] 635*2^1411812-1 is not prime. Res64: D3DB96847F5B768F Time : 0.0 sec. user=mdettweiler [2015-10-12 02:16:19] 639*2^1411812-1 is not prime. Res64: 274F9771AADCDB60 Time : 0.0 sec. user=mdettweiler [2015-10-12 02:16:19] 665*2^1411812-1 is not prime. Res64: 0550A4809E05D0CF Time : 0.0 sec. user=mdettweiler [2015-10-12 02:17:16] 719*2^1411812-1 is not prime. Res64: 4D5D1D147778429A Time : 0.0 sec. user=mdettweiler [2015-10-12 02:17:16] 809*2^1411812-1 is not prime. Res64: 1A1A088D3C46EDF1 Time : 0.0 sec. user=mdettweiler [2015-10-12 02:18:46] 887*2^1411812-1 is not prime. Res64: 75D7E40B91C96EDA Time : 0.0 sec. user=mdettweiler [2015-10-12 02:18:46] 903*2^1411812-1 is not prime. Res64: 7F793D790E933351 Time : 0.0 sec. user=mdettweiler [2015-10-12 02:34:42] 977*2^1411812-1 is not prime. Res64: D47972B1D5BF5EF8 Time : 0.0 sec. user=mdettweiler [2015-10-12 02:34:43] 987*2^1411812-1 is not prime. Res64: EC69B11CCBD6A1CF Time : 0.0 sec. user=mdettweiler [2015-10-12 02:34:45] 615*2^1411813-1 is not prime. Res64: F0AE9BE4D7223111 Time : 0.0 sec. user=mdettweiler [2015-10-12 02:34:46] 699*2^1411813-1 is not prime. Res64: 1A26A4538BE82B7E Time : 0.0 sec. user=mdettweiler [2015-10-12 02:35:38] 771*2^1411813-1 is not prime. Res64: 2B754A4478E209F3 Time : 0.0 sec. user=mdettweiler [2015-10-12 02:35:38] 925*2^1411813-1 is not prime. Res64: 5C513251B9337AB6 Time : 0.0 sec. user=mdettweiler [2015-10-12 02:37:16] 617*2^1411814-1 is not prime. Res64: C0BBFFC2E5B39A7C Time : 0.0 sec. user=mdettweiler [2015-10-12 02:37:16] 623*2^1411814-1 is not prime. Res64: 51F5FFCD41B13E43 Time : 0.0 sec. user=mdettweiler [2015-10-12 02:53:02] 717*2^1411814-1 is not prime. Res64: 3364DA4BBA508D3C Time : 0.0 sec. user=mdettweiler [2015-10-12 02:53:03] 741*2^1411814-1 is not prime. Res64: 22CCA7490C24A581 Time : 0.0 sec. user=mdettweiler [2015-10-12 02:53:11] 641*2^1411814-1 is not prime. Res64: 12A4829FBFF9FB66 Time : 0.0 sec. user=mdettweiler [2015-10-12 02:53:11] 663*2^1411814-1 is not prime. Res64: A9C9F539BCD2E1B9 Time : 0.0 sec. user=mdettweiler [2015-10-12 02:54:04] 753*2^1411814-1 is not prime. Res64: DFC0AB01ABAB13ED Time : 0.0 sec. user=mdettweiler [2015-10-12 02:54:05] 773*2^1411814-1 is not prime. Res64: 749BF482D3CBC6D4 Time : 0.0 sec. user=mdettweiler [2015-10-12 02:55:31] 941*2^1411814-1 is not prime. Res64: 643B2320F59B9A03 Time : 0.0 sec. user=mdettweiler [2015-10-12 02:55:32] 651*2^1411815-1 is not prime. Res64: E4A3EB1511A1DAC4 Time : 0.0 sec. user=mdettweiler [2015-10-12 03:11:22] 735*2^1411815-1 is not prime. Res64: B149172E9A81EDE7 Time : 0.0 sec. user=mdettweiler [2015-10-12 03:11:22] 775*2^1411815-1 is not prime. Res64: 26C1AE55420B6C7D Time : 0.0 sec. user=mdettweiler [2015-10-12 03:11:45] 859*2^1411815-1 is not prime. Res64: 3404ECF34BCF3F09 Time : 0.0 sec. user=mdettweiler [2015-10-12 03:11:45] 985*2^1411815-1 is not prime. Res64: 83AB902AE3AEEA04 Time : 0.0 sec. user=mdettweiler [2015-10-12 03:12:25] 695*2^1411816-1 is not prime. Res64: E450B85935D6FEEE Time : 0.0 sec. user=mdettweiler [2015-10-12 03:12:25] 699*2^1411816-1 is not prime. Res64: A46EAD546EAAE9B3 Time : 0.0 sec. user=mdettweiler [2015-10-12 03:14:15] 705*2^1411816-1 is not prime. Res64: FA0244AAF16E4FCD Time : 0.0 sec. user=mdettweiler [2015-10-12 03:14:15] 765*2^1411816-1 is not prime. Res64: 8175BB19A2103737 Time : 0.0 sec. user=mdettweiler [2015-10-12 03:29:42] 779*2^1411816-1 is not prime. Res64: 7B17DF0C8291EBE8 Time : 0.0 sec. user=mdettweiler [2015-10-12 03:29:43] 855*2^1411816-1 is not prime. Res64: C0A82D644F672262 Time : 0.0 sec. user=mdettweiler [2015-10-12 03:30:03] 873*2^1411816-1 is not prime. Res64: 400503363697CDE7 Time : 0.0 sec. user=mdettweiler [2015-10-12 03:30:05] 795*2^1411817-1 is not prime. Res64: 2D2A189E9D499375 Time : 0.0 sec. user=mdettweiler [2015-10-12 03:31:01] 841*2^1411817-1 is not prime. Res64: 9EBA16B15E9C9089 Time : 0.0 sec. user=mdettweiler [2015-10-12 03:31:04] 945*2^1411817-1 is not prime. Res64: 43F931623ED224E8 Time : 0.0 sec. user=mdettweiler [2015-10-12 03:32:38] 979*2^1411817-1 is not prime. Res64: 4A564E33A7C7BA47 Time : 0.0 sec. user=mdettweiler [2015-10-12 03:32:38] 641*2^1411818-1 is not prime. Res64: 5544468A3258DB86 Time : 0.0 sec. user=mdettweiler [2015-10-12 03:48:14] 663*2^1411818-1 is not prime. Res64: 0819153C353CE58B Time : 0.0 sec. user=mdettweiler [2015-10-12 03:48:14] 755*2^1411818-1 is not prime. Res64: 19AB3510D7D62A97 Time : 0.0 sec. user=mdettweiler [2015-10-12 03:48:25] 821*2^1411818-1 is not prime. Res64: 44AC7A37B319F66D Time : 0.0 sec. user=mdettweiler [2015-10-12 03:48:27] 893*2^1411818-1 is not prime. Res64: 9F49BB44FFBB3BDA Time : 0.0 sec. user=mdettweiler [2015-10-12 03:50:06] 945*2^1411818-1 is not prime. Res64: DC0F43DED210C8D7 Time : 0.0 sec. user=mdettweiler [2015-10-12 03:50:08] 603*2^1411819-1 is not prime. Res64: DEA7D6496A82D243 Time : 0.0 sec. user=mdettweiler [2015-10-12 03:50:59] 751*2^1411819-1 is not prime. Res64: FA5E3D51E6139824 Time : 0.0 sec. user=mdettweiler [2015-10-12 03:51:00] 771*2^1411819-1 is not prime. Res64: BBB7F31FFCE6F4A4 Time : 0.0 sec. user=mdettweiler [2015-10-12 04:06:54] 793*2^1411819-1 is not prime. Res64: 94FF2E3FD02A0B75 Time : 0.0 sec. user=mdettweiler [2015-10-12 04:06:55] 855*2^1411819-1 is not prime. Res64: 1407CF7E60020A18 Time : 0.0 sec. user=mdettweiler [2015-10-12 04:06:55] 603*2^1411820-1 is not prime. Res64: E5F707C915DA3347 Time : 0.0 sec. user=mdettweiler [2015-10-12 04:06:55] 767*2^1411820-1 is not prime. Res64: EB7465437ABE9D97 Time : 0.0 sec. user=mdettweiler [2015-10-12 04:08:45] 773*2^1411820-1 is not prime. Res64: 1E4E2C6680C244AC Time : 0.0 sec. user=mdettweiler [2015-10-12 04:08:45] 899*2^1411820-1 is not prime. Res64: 92166A545C643EB3 Time : 0.0 sec. user=mdettweiler [2015-10-12 04:09:25] 615*2^1411821-1 is not prime. Res64: 45678A32CEF7B9E8 Time : 0.0 sec. user=mdettweiler [2015-10-12 04:09:25] 649*2^1411821-1 is not prime. Res64: 81878802B707E84C Time : 0.0 sec. user=mdettweiler [2015-10-12 04:25:21] 945*2^1411821-1 is not prime. Res64: B85AF71C42585D24 Time : 0.0 sec. user=mdettweiler [2015-10-12 04:25:22] 647*2^1411822-1 is not prime. Res64: D33D198520B75524 Time : 0.0 sec. user=mdettweiler [2015-10-12 04:25:23] 789*2^1411821-1 is not prime. Res64: F3362E58A9208BF1 Time : 0.0 sec. user=mdettweiler [2015-10-12 04:25:24] 825*2^1411821-1 is not prime. Res64: B55D5ED8BAB66A07 Time : 0.0 sec. user=mdettweiler [2015-10-12 04:27:00] 681*2^1411822-1 is not prime. Res64: 6DBA4601EB8490C3 Time : 0.0 sec. user=mdettweiler [2015-10-12 04:27:00] 813*2^1411822-1 is not prime. Res64: 13F00D921393BBAB Time : 0.0 sec. user=mdettweiler [2015-10-12 04:27:42] 831*2^1411822-1 is not prime. Res64: 65DEB53A9AF0A59F Time : 0.0 sec. user=mdettweiler [2015-10-12 04:27:42] 857*2^1411822-1 is not prime. Res64: 8A5FCC53F4638034 Time : 0.0 sec. user=mdettweiler [2015-10-12 04:43:42] 911*2^1411822-1 is not prime. Res64: 7C84A7E1907CA944 Time : 0.0 sec. user=mdettweiler [2015-10-12 04:43:42] 975*2^1411822-1 is not prime. Res64: D31F8B5B613B783E Time : 0.0 sec. user=mdettweiler [2015-10-12 04:43:47] 621*2^1411823-1 is not prime. Res64: DD47837911847CA5 Time : 0.0 sec. user=mdettweiler [2015-10-12 04:43:48] 673*2^1411823-1 is not prime. Res64: 0A45C1AE963E95B8 Time : 0.0 sec. user=mdettweiler [2015-10-12 04:45:21] 703*2^1411823-1 is not prime. Res64: 0AC0039583755992 Time : 0.0 sec. user=mdettweiler [2015-10-12 04:45:22] 721*2^1411823-1 is not prime. Res64: E99C92BED300E6FB Time : 0.0 sec. user=mdettweiler [2015-10-12 04:46:03] 741*2^1411823-1 is not prime. Res64: 80F85A82BB5EAD80 Time : 0.0 sec. user=mdettweiler [2015-10-12 04:46:04] 753*2^1411823-1 is not prime. Res64: C7ADDBD0DD9CD4C6 Time : 0.0 sec. user=mdettweiler [2015-10-12 05:02:06] 805*2^1411823-1 is not prime. Res64: AD4922738A0ABCA7 Time : 0.0 sec. user=mdettweiler [2015-10-12 05:02:07] 811*2^1411823-1 is not prime. Res64: D7BA2465EAD11609 Time : 0.0 sec. user=mdettweiler [2015-10-12 05:02:13] 991*2^1411823-1 is not prime. Res64: 8C2EB3835E332B7B Time : 0.0 sec. user=mdettweiler [2015-10-12 05:02:14] 627*2^1411824-1 is not prime. Res64: 1E53E308448AD670 Time : 0.0 sec. user=mdettweiler [2015-10-12 05:03:50] 629*2^1411824-1 is not prime. Res64: B1EFA742C5A0BD50 Time : 0.0 sec. user=mdettweiler [2015-10-12 05:03:51] 707*2^1411824-1 is not prime. Res64: E32D6A76CFCD7F72 Time : 0.0 sec. user=mdettweiler [2015-10-12 05:04:32] 717*2^1411824-1 is not prime. Res64: 71EEFE1BFA208FD1 Time : 0.0 sec. user=mdettweiler [2015-10-12 05:04:33] 753*2^1411824-1 is not prime. Res64: 0A31AEDCEC75B94C Time : 0.0 sec. user=mdettweiler [2015-10-12 05:20:46] 863*2^1411824-1 is not prime. Res64: 5CACB8621B41AD1D Time : 0.0 sec. user=mdettweiler [2015-10-12 05:20:46] 927*2^1411824-1 is not prime. Res64: 4B466BEF4F2D80A4 Time : 0.0 sec. user=mdettweiler [2015-10-12 05:20:53] 929*2^1411824-1 is not prime. Res64: 6A645A553EC1921D Time : 0.0 sec. user=mdettweiler [2015-10-12 05:20:53] 679*2^1411825-1 is not prime. Res64: 2BF87D4780331416 Time : 0.0 sec. user=mdettweiler [2015-10-12 05:22:21] 715*2^1411825-1 is not prime. Res64: E2AEE108588C7924 Time : 0.0 sec. user=mdettweiler [2015-10-12 05:22:22] 741*2^1411825-1 is not prime. Res64: FEA823447380EE93 Time : 0.0 sec. user=mdettweiler [2015-10-12 05:22:55] 801*2^1411825-1 is not prime. Res64: E7094FC00A9C745D Time : 0.0 sec. user=mdettweiler [2015-10-12 05:22:56] 831*2^1411825-1 is not prime. Res64: C335515A43E4C759 Time : 0.0 sec. user=mdettweiler [2015-10-12 05:38:48] 855*2^1411825-1 is not prime. Res64: B8C28FA621DF564B Time : 0.0 sec. user=mdettweiler [2015-10-12 05:38:49] 895*2^1411825-1 is not prime. Res64: B729EFAF7C8234AA Time : 0.0 sec. user=mdettweiler [2015-10-12 05:39:07] 939*2^1411825-1 is not prime. Res64: FF58972456196EE7 Time : 0.0 sec. user=mdettweiler [2015-10-12 05:39:08] 999*2^1411825-1 is not prime. Res64: CAA76B502BD2145C Time : 0.0 sec. user=mdettweiler [2015-10-12 05:40:40] 623*2^1411826-1 is not prime. Res64: 6FF0F7E201C91061 Time : 0.0 sec. user=mdettweiler [2015-10-12 05:40:40] 683*2^1411826-1 is not prime. Res64: DD0CFC1CC40D096A Time : 0.0 sec. user=mdettweiler [2015-10-12 05:40:56] 711*2^1411826-1 is not prime. Res64: 235390ACC263855C Time : 0.0 sec. user=mdettweiler [2015-10-12 05:40:56] 867*2^1411826-1 is not prime. Res64: F0AB58983ED9E309 Time : 0.0 sec. user=mdettweiler [2015-10-12 05:56:45] 903*2^1411826-1 is not prime. Res64: 138420097567E4D9 Time : 0.0 sec. user=mdettweiler [2015-10-12 05:56:46] 633*2^1411827-1 is not prime. Res64: 3CBE36DC0A0677E1 Time : 0.0 sec. user=mdettweiler [2015-10-12 05:57:05] 649*2^1411827-1 is not prime. Res64: 9D0693E2C95734EC Time : 0.0 sec. user=mdettweiler [2015-10-12 05:57:05] 703*2^1411827-1 is not prime. Res64: B47D2448FEAA5FBA Time : 0.0 sec. user=mdettweiler [2015-10-12 05:58:40] 735*2^1411827-1 is not prime. Res64: 48CC9FFEB866C353 Time : 0.0 sec. user=mdettweiler [2015-10-12 05:58:40] 963*2^1411827-1 is not prime. Res64: 12D4ED7D56A7F2DF Time : 0.0 sec. user=mdettweiler [2015-10-12 05:58:58] 899*2^1411828-1 is not prime. Res64: AC87C74760E46CAE Time : 0.0 sec. user=mdettweiler [2015-10-12 05:58:58] 923*2^1411828-1 is not prime. Res64: 2055425ED0F5554F Time : 0.0 sec. user=mdettweiler [2015-10-12 06:14:43] 649*2^1411829-1 is not prime. Res64: 2A360B398D9A5BD2 Time : 0.0 sec. user=mdettweiler [2015-10-12 06:14:43] 655*2^1411829-1 is not prime. Res64: 778CC0437F7397B5 Time : 0.0 sec. user=mdettweiler [2015-10-12 06:15:03] 711*2^1411829-1 is not prime. Res64: 0814ADFCB8AF73D6 Time : 0.0 sec. user=mdettweiler [2015-10-12 06:15:04] 811*2^1411829-1 is not prime. Res64: 43FA5F7187B14A01 Time : 0.0 sec. user=mdettweiler [2015-10-12 06:16:41] 635*2^1411830-1 is not prime. Res64: AFE3815E50A7EC0B Time : 0.0 sec. user=mdettweiler [2015-10-12 06:16:42] 671*2^1411830-1 is not prime. Res64: D6618EA2099EBEB2 Time : 0.0 sec. user=mdettweiler [2015-10-12 06:16:50] 681*2^1411830-1 is not prime. Res64: 3419237646EF3506 Time : 0.0 sec. user=mdettweiler [2015-10-12 06:16:50] 693*2^1411830-1 is not prime. Res64: 8E5491945BC2E1B2 Time : 0.0 sec. user=mdettweiler [2015-10-12 06:32:36] 747*2^1411830-1 is not prime. Res64: 3C88FA4821E4C5E0 Time : 0.0 sec. user=mdettweiler [2015-10-12 06:32:37] 843*2^1411830-1 is not prime. Res64: C4BE4EE559E0EB3D Time : 0.0 sec. user=mdettweiler [2015-10-12 06:33:01] 1001*2^1411830-1 is not prime. Res64: 95CE8B5F3AD2DFC5 Time : 0.0 sec. user=mdettweiler [2015-10-12 06:33:01] 639*2^1411831-1 is not prime. Res64: 0651EC48C88E2E6E Time : 0.0 sec. user=mdettweiler [2015-10-12 06:34:36] 705*2^1411831-1 is not prime. Res64: 32477D27809D7476 Time : 0.0 sec. user=mdettweiler [2015-10-12 06:34:36] 709*2^1411831-1 is not prime. Res64: F4C0028CD1A255C2 Time : 0.0 sec. user=mdettweiler [2015-10-12 06:34:43] 715*2^1411831-1 is not prime. Res64: C546D70F75A43600 Time : 0.0 sec. user=mdettweiler [2015-10-12 06:34:43] 745*2^1411831-1 is not prime. Res64: 877943890285B4BC Time : 0.0 sec. user=mdettweiler [2015-10-12 06:50:26] 805*2^1411831-1 is not prime. Res64: 1D1C2EA5D95BDBAA Time : 0.0 sec. user=mdettweiler [2015-10-12 06:50:26] 819*2^1411831-1 is not prime. Res64: 0D2A454BC6DEC4DA Time : 0.0 sec. user=mdettweiler [2015-10-12 06:50:59] 885*2^1411831-1 is not prime. Res64: 13BBE436C03A383F Time : 0.0 sec. user=mdettweiler [2015-10-12 06:51:00] 939*2^1411831-1 is not prime. Res64: 761964356CEE8CD4 Time : 0.0 sec. user=mdettweiler [2015-10-12 06:52:24] 951*2^1411831-1 is not prime. Res64: A21B0FA25D12CF77 Time : 0.0 sec. user=mdettweiler [2015-10-12 06:52:24] 999*2^1411831-1 is not prime. Res64: 3F2DD358A1973F77 Time : 0.0 sec. user=mdettweiler [2015-10-12 06:52:35] 735*2^1411832-1 is not prime. Res64: 72D9A7D31AFA3E85 Time : 0.0 sec. user=mdettweiler [2015-10-12 06:52:35] 767*2^1411832-1 is not prime. Res64: A0970E21347C1F64 Time : 0.0 sec. user=mdettweiler [2015-10-12 07:08:26] 815*2^1411832-1 is not prime. Res64: 5FAA5B615C97D50C Time : 0.0 sec. user=mdettweiler [2015-10-12 07:08:27] 833*2^1411832-1 is not prime. Res64: 2F5731AC181E23E5 Time : 0.0 sec. user=mdettweiler [2015-10-12 07:08:57] 855*2^1411832-1 is not prime. Res64: 73147DB4C2F5C2EC Time : 0.0 sec. user=mdettweiler [2015-10-12 07:08:57] 867*2^1411832-1 is not prime. Res64: C2162D986D1449D0 Time : 0.0 sec. user=mdettweiler [2015-10-12 07:10:23] 873*2^1411832-1 is not prime. Res64: 1D6CB2CD1FC2EE05 Time : 0.0 sec. user=mdettweiler [2015-10-12 07:10:23] 875*2^1411832-1 is not prime. Res64: 85277B7EA2EB1888 Time : 0.0 sec. user=mdettweiler [2015-10-12 07:10:37] 959*2^1411832-1 is not prime. Res64: 47D66A5C9A6E3436 Time : 0.0 sec. user=mdettweiler [2015-10-12 07:10:38] 609*2^1411833-1 is not prime. Res64: 5066A22B439BBE20 Time : 0.0 sec. user=mdettweiler [2015-10-12 07:26:24] 741*2^1411833-1 is not prime. Res64: 7F64F808C9AD8EF0 Time : 0.0 sec. user=mdettweiler [2015-10-12 07:26:24] 747*2^1411833-1 is not prime. Res64: F988E8CE33E8DCC6 Time : 0.0 sec. user=mdettweiler [2015-10-12 07:26:46] 781*2^1411833-1 is not prime. Res64: 1AD47658AD977A9B Time : 0.0 sec. user=mdettweiler [2015-10-12 07:26:47] 901*2^1411833-1 is not prime. Res64: 0FDA6D967D6A4E89 Time : 0.0 sec. user=mdettweiler [2015-10-12 07:28:15] 987*2^1411833-1 is not prime. Res64: CBEAEF071AF16313 Time : 0.0 sec. user=mdettweiler [2015-10-12 07:28:15] 611*2^1411834-1 is not prime. Res64: 86AD4C7ED5D10475 Time : 0.0 sec. user=mdettweiler [2015-10-12 07:28:35] 915*2^1411834-1 is not prime. Res64: 513C261C181A2522 Time : 0.0 sec. user=mdettweiler [2015-10-12 07:28:35] 941*2^1411834-1 is not prime. Res64: D08A0CBC614EF244 Time : 0.0 sec. user=mdettweiler [2015-10-12 07:44:18] 1001*2^1411834-1 is not prime. Res64: E28819C4C403FCA1 Time : 0.0 sec. user=mdettweiler [2015-10-12 07:44:19] 601*2^1411835-1 is not prime. Res64: A75A55526F6EEA3B Time : 0.0 sec. user=mdettweiler [2015-10-12 07:44:44] 679*2^1411835-1 is not prime. Res64: 7DF57DF30435CF37 Time : 0.0 sec. user=mdettweiler [2015-10-12 07:44:45] 733*2^1411835-1 is not prime. Res64: 05F2735318249CFF Time : 0.0 sec. user=mdettweiler [2015-10-12 07:46:10] 753*2^1411835-1 is not prime. Res64: E56496BA78A8AB77 Time : 0.0 sec. user=mdettweiler [2015-10-12 07:46:11] 921*2^1411835-1 is not prime. Res64: 1A640EFB4E9C2ABD Time : 0.0 sec. user=mdettweiler [2015-10-12 07:46:30] 653*2^1411836-1 is not prime. Res64: 4F3DB31D421BEF7F Time : 0.0 sec. user=mdettweiler [2015-10-12 07:46:30] 839*2^1411836-1 is not prime. Res64: 01E8688A1EDF495A Time : 0.0 sec. user=mdettweiler [2015-10-12 08:02:20] 875*2^1411836-1 is not prime. Res64: D52F55010A8B2CF6 Time : 0.0 sec. user=mdettweiler [2015-10-12 08:02:21] 893*2^1411836-1 is not prime. Res64: BC9A10C24A6E3F72 Time : 0.0 sec. user=mdettweiler [2015-10-12 08:02:40] 899*2^1411836-1 is not prime. Res64: 10E7BEE581B2EAA4 Time : 0.0 sec. user=mdettweiler [2015-10-12 08:02:41] 983*2^1411836-1 is not prime. Res64: B165B0008438542E Time : 0.0 sec. user=mdettweiler [2015-10-12 08:04:01] 993*2^1411836-1 is not prime. Res64: 93576288B7239A9B Time : 0.0 sec. user=mdettweiler [2015-10-12 08:04:02] 615*2^1411837-1 is not prime. Res64: 3343E536D0E2ADC4 Time : 0.0 sec. user=mdettweiler [2015-10-12 08:04:21] 667*2^1411837-1 is not prime. Res64: CB192455A813C474 Time : 0.0 sec. user=mdettweiler [2015-10-12 08:04:22] 747*2^1411837-1 is not prime. Res64: D81C5D8A39EC2D61 Time : 0.0 sec. user=mdettweiler [2015-10-12 08:20:36] 757*2^1411837-1 is not prime. Res64: E7A779813DD5D68E Time : 0.0 sec. user=mdettweiler [2015-10-12 08:20:37] 771*2^1411837-1 is not prime. Res64: 2248228BF159D6FC Time : 0.0 sec. user=mdettweiler [2015-10-12 08:20:45] 799*2^1411837-1 is not prime. Res64: 5C3D1FD21F7F8016 Time : 0.0 sec. user=mdettweiler [2015-10-12 08:20:45] 831*2^1411837-1 is not prime. Res64: CA9578B608DF20EB Time : 0.0 sec. user=mdettweiler [2015-10-12 08:22:15] 603*2^1411838-1 is not prime. Res64: E599DA775F9874B4 Time : 0.0 sec. user=mdettweiler [2015-10-12 08:22:16] 635*2^1411838-1 is not prime. Res64: 343FE09F055ED2A3 Time : 0.0 sec. user=mdettweiler [2015-10-12 08:22:18] 885*2^1411837-1 is not prime. Res64: 9D97DD51824A1040 Time : 0.0 sec. user=mdettweiler [2015-10-12 08:22:18] 955*2^1411837-1 is not prime. Res64: 1B99801B756FF42D Time : 0.0 sec. user=mdettweiler [2015-10-12 08:38:28] 683*2^1411838-1 is not prime. Res64: 21D765F1B1FC650F Time : 0.0 sec. user=mdettweiler [2015-10-12 08:38:28] 791*2^1411838-1 is not prime. Res64: 9DBFA0A930AC91D4 Time : 0.0 sec. user=mdettweiler [2015-10-12 08:38:32] 825*2^1411838-1 is not prime. Res64: E3D50EF2ADFBB1AB Time : 0.0 sec. user=mdettweiler [2015-10-12 08:38:32] 887*2^1411838-1 is not prime. Res64: D426C62EF95EF53B Time : 0.0 sec. user=mdettweiler [2015-10-12 08:40:07] 957*2^1411838-1 is not prime. Res64: 10B0D69B3700EC2D Time : 0.0 sec. user=mdettweiler [2015-10-12 08:40:07] 649*2^1411839-1 is not prime. Res64: 500A6C26C65FB446 Time : 0.0 sec. user=mdettweiler [2015-10-12 08:40:15] 685*2^1411839-1 is not prime. Res64: BF154068AAED7DDE Time : 0.0 sec. user=mdettweiler [2015-10-12 08:40:16] 709*2^1411839-1 is not prime. Res64: B950E6043E70F17A Time : 0.0 sec. user=mdettweiler [2015-10-12 08:56:24] 865*2^1411839-1 is not prime. Res64: 5BB00FFDE67F377E Time : 0.0 sec. user=mdettweiler [2015-10-12 08:56:25] 955*2^1411839-1 is not prime. Res64: A4CBD24CDD1800D1 Time : 0.0 sec. user=mdettweiler [2015-10-12 08:56:25] 711*2^1411839-1 is not prime. Res64: 80BD3859C780F2F5 Time : 0.0 sec. user=mdettweiler [2015-10-12 08:56:25] 831*2^1411839-1 is not prime. Res64: A96B3D04FA01F3E1 Time : 0.0 sec. user=mdettweiler [2015-10-12 08:58:00] 975*2^1411839-1 is not prime. Res64: C896BA2C51A2D80A Time : 0.0 sec. user=mdettweiler [2015-10-12 08:58:00] 985*2^1411839-1 is not prime. Res64: 9E9F487B0473EE25 Time : 0.0 sec. user=mdettweiler [2015-10-12 08:58:10] 695*2^1411840-1 is not prime. Res64: 67581413144FD682 Time : 0.0 sec. user=mdettweiler [2015-10-12 08:58:10] 735*2^1411840-1 is not prime. Res64: 320BE27018AABF28 Time : 0.0 sec. user=mdettweiler [2015-10-12 09:14:19] 819*2^1411840-1 is not prime. Res64: C79AD1EDDC7B66CA Time : 0.0 sec. user=mdettweiler [2015-10-12 09:14:19] 827*2^1411840-1 is not prime. Res64: 4A3FAE72AD05B489 Time : 0.0 sec. user=mdettweiler [2015-10-12 09:14:30] 849*2^1411840-1 is not prime. Res64: F37416881DE9C0D6 Time : 0.0 sec. user=mdettweiler [2015-10-12 09:14:30] 923*2^1411840-1 is not prime. Res64: 0C0640614010F58A Time : 0.0 sec. user=mdettweiler [2015-10-12 09:16:07] 649*2^1411841-1 is not prime. Res64: 5EF7700B74C52037 Time : 0.0 sec. user=mdettweiler [2015-10-12 09:16:07] 727*2^1411841-1 is not prime. Res64: A36F3B1378999143 Time : 0.0 sec. user=mdettweiler [2015-10-12 09:16:18] 777*2^1411841-1 is not prime. Res64: DAB3DD487A15D4DF Time : 0.0 sec. user=mdettweiler [2015-10-12 09:16:18] 781*2^1411841-1 is not prime. Res64: CB64953E339B5EF3 Time : 0.0 sec. user=mdettweiler [2015-10-12 09:32:14] 925*2^1411841-1 is not prime. Res64: 301D503026A21691 Time : 0.0 sec. user=mdettweiler [2015-10-12 09:32:15] 683*2^1411842-1 is not prime. Res64: 19E773C25196EAAF Time : 0.0 sec. user=mdettweiler [2015-10-12 09:32:26] 777*2^1411842-1 is not prime. Res64: 74DAD6BAA19244E5 Time : 0.0 sec. user=mdettweiler [2015-10-12 09:32:26] 797*2^1411842-1 is not prime. Res64: AEC727E21A9E51F9 Time : 0.0 sec. user=mdettweiler [2015-10-12 09:34:08] 885*2^1411842-1 is not prime. Res64: A91C54010FFD16B2 Time : 0.0 sec. user=mdettweiler [2015-10-12 09:34:08] 887*2^1411842-1 is not prime. Res64: F344C4CD04E612EE Time : 0.0 sec. user=mdettweiler [2015-10-12 09:34:16] 691*2^1411843-1 is not prime. Res64: 374055063A2F4A29 Time : 0.0 sec. user=mdettweiler [2015-10-12 09:34:16] 813*2^1411843-1 is not prime. Res64: 9DD84E6EDD14366D Time : 0.0 sec. user=mdettweiler [2015-10-12 09:50:12] 829*2^1411843-1 is not prime. Res64: 1FDD0FEBBAFD881C Time : 0.0 sec. user=mdettweiler [2015-10-12 09:50:12] 855*2^1411843-1 is not prime. Res64: 6617F17FE856DA26 Time : 0.0 sec. user=mdettweiler [2015-10-12 09:50:26] 859*2^1411843-1 is not prime. Res64: 0CAA1500CD9C69E2 Time : 0.0 sec. user=mdettweiler [2015-10-12 09:50:27] 615*2^1411844-1 is not prime. Res64: 000C6965C6868B34 Time : 0.0 sec. user=mdettweiler [2015-10-12 09:52:08] 773*2^1411844-1 is not prime. Res64: 86A24CEB07FF7ED6 Time : 0.0 sec. user=mdettweiler [2015-10-12 09:52:08] 837*2^1411844-1 is not prime. Res64: 92172205E108F778 Time : 0.0 sec. user=mdettweiler [2015-10-12 09:52:09] 935*2^1411844-1 is not prime. Res64: E27242C67860602D Time : 0.0 sec. user=mdettweiler [2015-10-12 09:52:10] 627*2^1411845-1 is not prime. Res64: 9A9F877310506B68 Time : 0.0 sec. user=mdettweiler [2015-10-12 10:08:12] 649*2^1411845-1 is not prime. Res64: 54EA3ED032313608 Time : 0.0 sec. user=mdettweiler [2015-10-12 10:08:13] 651*2^1411845-1 is not prime. Res64: 5A93AF95192C37C7 Time : 0.0 sec. user=mdettweiler [2015-10-12 10:08:26] 657*2^1411845-1 is not prime. Res64: 2FBD5E8536E3CFD3 Time : 0.0 sec. user=mdettweiler [2015-10-12 10:08:26] 891*2^1411845-1 is not prime. Res64: ACE772B17DA63FB7 Time : 0.0 sec. user=mdettweiler [2015-10-12 10:10:02] 881*2^1411846-1 is not prime. Res64: 65EFFC385360D5E2 Time : 0.0 sec. user=mdettweiler [2015-10-12 10:10:03] 887*2^1411846-1 is not prime. Res64: E2F8CD99578142C5 Time : 0.0 sec. user=mdettweiler [2015-10-12 10:10:07] 937*2^1411845-1 is not prime. Res64: 92E6EACBCB96BBB1 Time : 0.0 sec. user=mdettweiler [2015-10-12 10:10:07] 741*2^1411846-1 is not prime. Res64: 6FDA2D6946ED6543 Time : 0.0 sec. user=mdettweiler [2015-10-12 10:26:10] 917*2^1411846-1 is not prime. Res64: AAA65CDC7CF64A2C Time : 0.0 sec. user=mdettweiler [2015-10-12 10:26:11] 933*2^1411846-1 is not prime. Res64: B9D147CCBAED9861 Time : 0.0 sec. user=mdettweiler [2015-10-12 10:26:27] 971*2^1411846-1 is not prime. Res64: D06CCFCAFC8A40A6 Time : 0.0 sec. user=mdettweiler [2015-10-12 10:26:27] 1001*2^1411846-1 is not prime. Res64: 70335EAD0533B5E4 Time : 0.0 sec. user=mdettweiler [2015-10-12 10:28:06] 775*2^1411847-1 is not prime. Res64: 997BD821066C5788 Time : 0.0 sec. user=mdettweiler [2015-10-12 10:28:07] 981*2^1411847-1 is not prime. Res64: 1369C1A9C0F2C055 Time : 0.0 sec. user=mdettweiler [2015-10-12 10:28:09] 619*2^1411847-1 is not prime. Res64: 22CDAFEC412DE166 Time : 0.0 sec. user=mdettweiler [2015-10-12 10:28:09] 693*2^1411847-1 is not prime. Res64: 408C50D4C76967B2 Time : 0.0 sec. user=mdettweiler [2015-10-12 10:44:05] 999*2^1411847-1 is not prime. Res64: DC67E8724F81AB56 Time : 0.0 sec. user=mdettweiler [2015-10-12 10:44:05] 753*2^1411848-1 is not prime. Res64: 908B075041D6BC1A Time : 0.0 sec. user=mdettweiler [2015-10-12 10:44:24] 789*2^1411848-1 is not prime. Res64: B1E42520181B00A3 Time : 0.0 sec. user=mdettweiler [2015-10-12 10:44:24] 797*2^1411848-1 is not prime. Res64: 34D1DF7A91C8FFE7 Time : 0.0 sec. user=mdettweiler [2015-10-12 10:46:03] 915*2^1411848-1 is not prime. Res64: 06610EAF03DBDFBA Time : 0.0 sec. user=mdettweiler [2015-10-12 10:46:03] 935*2^1411848-1 is not prime. Res64: 1BD3227AD1F6E5F5 Time : 0.0 sec. user=mdettweiler [2015-10-12 10:46:06] 681*2^1411849-1 is not prime. Res64: 4CA9A1839E225B69 Time : 0.0 sec. user=mdettweiler [2015-10-12 10:46:07] 687*2^1411849-1 is not prime. Res64: 753FE41AD4318BB5 Time : 0.0 sec. user=mdettweiler [2015-10-12 11:01:59] 741*2^1411849-1 is not prime. Res64: ADB1C6A24101F761 Time : 0.0 sec. user=mdettweiler [2015-10-12 11:02:00] 925*2^1411849-1 is not prime. Res64: EE592CA88788772B Time : 0.0 sec. user=mdettweiler [2015-10-12 11:02:22] 623*2^1411850-1 is not prime. Res64: 1824701BDD4BAAC7 Time : 0.0 sec. user=mdettweiler [2015-10-12 11:02:23] 755*2^1411850-1 is not prime. Res64: 475C7D8D8E43F037 Time : 0.0 sec. user=mdettweiler [2015-10-12 11:04:03] 861*2^1411850-1 is not prime. Res64: F92EB9CEC82AF680 Time : 0.0 sec. user=mdettweiler [2015-10-12 11:04:04] 941*2^1411850-1 is not prime. Res64: FE84C7D35D3BACEF Time : 0.0 sec. user=mdettweiler [2015-10-12 11:04:05] 935*2^1411850-1 is not prime. Res64: 828E683A8D5FC53C Time : 0.0 sec. user=mdettweiler [2015-10-12 11:04:05] 619*2^1411851-1 is not prime. Res64: 93A245F86A785615 Time : 0.0 sec. user=mdettweiler [2015-10-12 11:20:17] 651*2^1411851-1 is not prime. Res64: 8B8925BF42326358 Time : 0.0 sec. user=mdettweiler [2015-10-12 11:20:17] 723*2^1411851-1 is not prime. Res64: 6CCA3B10AB10759D Time : 0.0 sec. user=mdettweiler [2015-10-12 11:20:28] 805*2^1411851-1 is not prime. Res64: 0213967AD5BCD8C0 Time : 0.0 sec. user=mdettweiler [2015-10-12 11:20:28] 825*2^1411851-1 is not prime. Res64: E45DF8CE37338ED3 Time : 0.0 sec. user=mdettweiler [2015-10-12 11:22:27] 861*2^1411851-1 is not prime. Res64: 2C3C343D0A8FFEA2 Time : 0.0 sec. user=mdettweiler [2015-10-12 11:22:28] 873*2^1411851-1 is not prime. Res64: 0E535868F0A1BF4C Time : 0.0 sec. user=mdettweiler [2015-10-12 11:22:43] 969*2^1411851-1 is not prime. Res64: 12F4900EFE1BF196 Time : 0.0 sec. user=mdettweiler [2015-10-12 11:22:43] 975*2^1411851-1 is not prime. Res64: 2A8DC8135A180233 Time : 0.0 sec. user=mdettweiler [2015-10-12 11:38:10] 991*2^1411851-1 is not prime. Res64: 8E476E1A6813AF9F Time : 0.0 sec. user=mdettweiler [2015-10-12 11:38:10] 635*2^1411852-1 is not prime. Res64: 6EA525037A9A4361 Time : 0.0 sec. user=mdettweiler [2015-10-12 11:38:26] 639*2^1411852-1 is not prime. Res64: AD6C51C3B8107955 Time : 0.0 sec. user=mdettweiler [2015-10-12 11:38:27] 653*2^1411852-1 is not prime. Res64: 673C4B18DBA38AE8 Time : 0.0 sec. user=mdettweiler [2015-10-12 11:40:21] 825*2^1411852-1 is not prime. Res64: A51CE88ED741CC3E Time : 0.0 sec. user=mdettweiler [2015-10-12 11:40:22] 855*2^1411852-1 is not prime. Res64: C9E8D5DD6CDD58AE Time : 0.0 sec. user=mdettweiler [2015-10-12 11:40:57] 909*2^1411852-1 is not prime. Res64: 341E9ACA515354E3 Time : 0.0 sec. user=mdettweiler [2015-10-12 11:40:58] 959*2^1411852-1 is not prime. Res64: 6C20B85A6F7EFCE7 Time : 0.0 sec. user=mdettweiler [2015-10-12 11:56:04] 621*2^1411853-1 is not prime. Res64: D0535FF35E644529 Time : 0.0 sec. user=mdettweiler [2015-10-12 11:56:04] 697*2^1411853-1 is not prime. Res64: ACC1438E8FDA3811 Time : 0.0 sec. user=mdettweiler [2015-10-12 11:56:14] 721*2^1411853-1 is not prime. Res64: 2FB3A08FBD5987E5 Time : 0.0 sec. user=mdettweiler [2015-10-12 11:56:14] 741*2^1411853-1 is not prime. Res64: 37020871046C536D Time : 0.0 sec. user=mdettweiler [2015-10-12 11:58:12] 745*2^1411853-1 is not prime. Res64: B57AE974A83BC94B Time : 0.0 sec. user=mdettweiler [2015-10-12 11:58:13] 937*2^1411853-1 is not prime. Res64: CC63EDDC7349C37F Time : 0.0 sec. user=mdettweiler [2015-10-12 11:58:55] 949*2^1411853-1 is not prime. Res64: 6181C63823F5E8BE Time : 0.0 sec. user=mdettweiler [2015-10-12 11:58:55] 663*2^1411854-1 is not prime. Res64: 8BFAB7AF091F46F8 Time : 0.0 sec. user=mdettweiler [2015-10-12 12:14:02] 731*2^1411854-1 is not prime. Res64: 88A13A59E9110359 Time : 0.0 sec. user=mdettweiler [2015-10-12 12:14:03] 765*2^1411854-1 is not prime. Res64: 8FC896B734A89D38 Time : 0.0 sec. user=mdettweiler [2015-10-12 12:14:11] 773*2^1411854-1 is not prime. Res64: 302AEB2AEFA2EF09 Time : 0.0 sec. user=mdettweiler [2015-10-12 12:14:12] 975*2^1411854-1 is not prime. Res64: 37258E57EF5F570A Time : 0.0 sec. user=mdettweiler [2015-10-12 12:16:08] 735*2^1411855-1 is not prime. Res64: 2674B6144BA4BEA4 Time : 0.0 sec. user=mdettweiler [2015-10-12 12:16:08] 751*2^1411855-1 is not prime. Res64: 4BD3FF626C6247D8 Time : 0.0 sec. user=mdettweiler [2015-10-12 12:17:00] 763*2^1411855-1 is not prime. Res64: 3AE5C880A86F0B07 Time : 0.0 sec. user=mdettweiler [2015-10-12 12:17:01] 861*2^1411855-1 is not prime. Res64: E3336AB286F43084 Time : 0.0 sec. user=mdettweiler [2015-10-12 12:32:00] 719*2^1411856-1 is not prime. Res64: 1DFDD4BC1AC85E83 Time : 0.0 sec. user=mdettweiler [2015-10-12 12:32:01] 759*2^1411856-1 is not prime. Res64: 65B4809FAC7A286E Time : 0.0 sec. user=mdettweiler [2015-10-12 12:32:01] 909*2^1411855-1 is not prime. Res64: 105EBECA5EFD9C73 Time : 0.0 sec. user=mdettweiler [2015-10-12 12:32:01] 939*2^1411855-1 is not prime. Res64: D79661E3694C0286 Time : 0.0 sec. user=mdettweiler [2015-10-12 12:34:04] 767*2^1411856-1 is not prime. Res64: 66259E8E1DDBA2C5 Time : 0.0 sec. user=mdettweiler [2015-10-12 12:34:04] 897*2^1411856-1 is not prime. Res64: 287524E3781A5232 Time : 0.0 sec. user=mdettweiler [2015-10-12 12:34:53] 923*2^1411856-1 is not prime. Res64: D36D565296F7F759 Time : 0.0 sec. user=mdettweiler [2015-10-12 12:34:53] 969*2^1411856-1 is not prime. Res64: 75FB01FC33D919A4 Time : 0.0 sec. user=mdettweiler [2015-10-12 12:49:57] 739*2^1411857-1 is not prime. Res64: FDE23A7A7F3BBF45 Time : 0.0 sec. user=mdettweiler [2015-10-12 12:49:57] 831*2^1411857-1 is not prime. Res64: A14093511AA010A2 Time : 0.0 sec. user=mdettweiler [2015-10-12 12:49:59] 983*2^1411856-1 is not prime. Res64: 8256F5CFD291C8CF Time : 0.0 sec. user=mdettweiler [2015-10-12 12:50:00] 649*2^1411857-1 is not prime. Res64: 3693ED5DADF88DAA Time : 0.0 sec. user=mdettweiler [2015-10-12 12:51:59] 871*2^1411857-1 is not prime. Res64: 481A4366F815B9C0 Time : 0.0 sec. user=mdettweiler [2015-10-12 12:51:59] 997*2^1411857-1 is not prime. Res64: A94B92E1AF46D9AD Time : 0.0 sec. user=mdettweiler [2015-10-12 12:52:58] 645*2^1411858-1 is not prime. Res64: 04E92AC4645B1BE3 Time : 0.0 sec. user=mdettweiler [2015-10-12 12:52:58] 747*2^1411858-1 is not prime. Res64: 67960B13F03CFD40 Time : 0.0 sec. user=mdettweiler [2015-10-12 13:07:56] 801*2^1411858-1 is not prime. Res64: C26A781AFE5106E5 Time : 0.0 sec. user=mdettweiler [2015-10-12 13:07:57] 815*2^1411858-1 is not prime. Res64: 9D1FC4C9DE15C2AE Time : 0.0 sec. user=mdettweiler [2015-10-12 13:08:01] 831*2^1411858-1 is not prime. Res64: AF3E4A77AEAC5179 Time : 0.0 sec. user=mdettweiler [2015-10-12 13:08:02] 855*2^1411858-1 is not prime. Res64: F304521A84D48447 Time : 0.0 sec. user=mdettweiler [2015-10-12 13:10:01] 971*2^1411858-1 is not prime. Res64: CBCF608658082865 Time : 0.0 sec. user=mdettweiler [2015-10-12 13:10:02] 685*2^1411859-1 is not prime. Res64: 6F6750A38BECC34A Time : 0.0 sec. user=mdettweiler [2015-10-12 13:10:59] 705*2^1411859-1 is not prime. Res64: 4A202DFC815CB942 Time : 0.0 sec. user=mdettweiler [2015-10-12 13:11:00] 711*2^1411859-1 is not prime. Res64: 3E7E9304A0FDEEFF Time : 0.0 sec. user=mdettweiler [2015-10-12 13:25:51] 771*2^1411859-1 is not prime. Res64: A49CF6DA3DC4A186 Time : 0.0 sec. user=mdettweiler [2015-10-12 13:25:51] 633*2^1411860-1 is not prime. Res64: 98DC75AAC974AAE1 Time : 0.0 sec. user=mdettweiler [2015-10-12 13:25:51] 999*2^1411859-1 is not prime. Res64: 3FFDE4F0A622E83F Time : 0.0 sec. user=mdettweiler [2015-10-12 13:25:51] 665*2^1411860-1 is not prime. Res64: 17B9B43A387E9B00 Time : 0.0 sec. user=mdettweiler [2015-10-12 13:28:02] 695*2^1411860-1 is not prime. Res64: 394025E42B593554 Time : 0.0 sec. user=mdettweiler [2015-10-12 13:28:03] 707*2^1411860-1 is not prime. Res64: A0B99186E10F4202 Time : 0.0 sec. user=mdettweiler [2015-10-12 13:28:49] 723*2^1411860-1 is not prime. Res64: 748B89288AC2245C Time : 0.0 sec. user=mdettweiler [2015-10-12 13:28:50] 783*2^1411860-1 is not prime. Res64: 29CCE06052A472E8 Time : 0.0 sec. user=mdettweiler [2015-10-12 13:44:12] 601*2^1411861-1 is not prime. Res64: 753C06B745194B95 Time : 0.0 sec. user=mdettweiler [2015-10-12 13:44:12] 757*2^1411861-1 is not prime. Res64: 51A31DCD771A705E Time : 0.0 sec. user=mdettweiler [2015-10-12 13:44:13] 847*2^1411861-1 is not prime. Res64: 585538C2A2317BF1 Time : 0.0 sec. user=mdettweiler [2015-10-12 13:44:14] 871*2^1411861-1 is not prime. Res64: AEFB9BA49582AD7C Time : 0.0 sec. user=mdettweiler [2015-10-12 13:46:24] 889*2^1411861-1 is not prime. Res64: 1B4856F3A7806DD6 Time : 0.0 sec. user=mdettweiler [2015-10-12 13:46:24] 937*2^1411861-1 is not prime. Res64: 07A70D0D33254EBD Time : 0.0 sec. user=mdettweiler [2015-10-12 13:47:19] 961*2^1411861-1 is not prime. Res64: E2AEAFCA44491EB1 Time : 0.0 sec. user=mdettweiler [2015-10-12 13:47:19] 711*2^1411862-1 is not prime. Res64: B86ECE21C90752F9 Time : 0.0 sec. user=mdettweiler [2015-10-12 14:05:32] 843*2^1411862-1 is not prime. Res64: 02FBAABFDE23E8A0 Time : 0.0 sec. user=mdettweiler [2015-10-12 14:05:34] 903*2^1411862-1 is not prime. Res64: 5D4156E1E7FB11C0 Time : 0.0 sec. user=mdettweiler [2015-10-12 14:06:05] 755*2^1411862-1 is not prime. Res64: 4B46A1F4954152DB Time : 0.0 sec. user=mdettweiler [2015-10-12 14:06:06] 825*2^1411862-1 is not prime. Res64: 053D3F102944D32E Time : 0.0 sec. user=mdettweiler [2015-10-12 14:08:34] 977*2^1411862-1 is not prime. Res64: 4B4066F55F050466 Time : 0.0 sec. user=mdettweiler [2015-10-12 14:08:35] 987*2^1411862-1 is not prime. Res64: 1C7AC3EABEAA3E71 Time : 0.0 sec. user=mdettweiler [2015-10-12 14:09:16] 745*2^1411863-1 is not prime. Res64: 525059FFB223FDB1 Time : 0.0 sec. user=mdettweiler [2015-10-12 14:09:16] 879*2^1411863-1 is not prime. Res64: 7A93CA58C2B869C3 Time : 0.0 sec. user=mdettweiler [2015-10-12 14:25:50] 919*2^1411863-1 is not prime. Res64: 7EB796A032699866 Time : 0.0 sec. user=mdettweiler [2015-10-12 14:25:50] 615*2^1411864-1 is not prime. Res64: F15287AA6D2D6A7D Time : 0.0 sec. user=mdettweiler [2015-10-12 14:26:08] 623*2^1411864-1 is not prime. Res64: 98BDEDC34F9D06EC Time : 0.0 sec. user=mdettweiler [2015-10-12 14:26:08] 645*2^1411864-1 is not prime. Res64: 82591EA38DCB560B Time : 0.0 sec. user=mdettweiler [2015-10-12 14:28:27] 665*2^1411864-1 is not prime. Res64: D91098A79489A2E2 Time : 0.0 sec. user=mdettweiler [2015-10-12 14:28:27] 819*2^1411864-1 is not prime. Res64: 8A18898FD0C0F25C Time : 0.0 sec. user=mdettweiler [2015-10-12 14:29:05] 825*2^1411864-1 is not prime. Res64: 4D5531A970443C55 Time : 0.0 sec. user=mdettweiler [2015-10-12 14:29:06] 903*2^1411864-1 is not prime. Res64: CA965B7B98AD3C67 Time : 0.0 sec. user=mdettweiler [2015-10-12 14:43:57] 965*2^1411864-1 is not prime. Res64: DD0E8B651DA9920B Time : 0.0 sec. user=mdettweiler [2015-10-12 14:43:58] 983*2^1411864-1 is not prime. Res64: B2724BA3825E731C Time : 0.0 sec. user=mdettweiler [2015-10-12 14:44:24] 691*2^1411865-1 is not prime. Res64: 3B7A684DC0C0045E Time : 0.0 sec. user=mdettweiler [2015-10-12 14:44:25] 717*2^1411865-1 is not prime. Res64: 8F2902B20E9D0E1D Time : 0.0 sec. user=mdettweiler [2015-10-12 14:46:36] 721*2^1411865-1 is not prime. Res64: 05BCE5F911334DAC Time : 0.0 sec. user=mdettweiler [2015-10-12 14:46:37] 729*2^1411865-1 is not prime. Res64: F236A2D98D814AD9 Time : 0.0 sec. user=mdettweiler [2015-10-12 14:47:20] 777*2^1411865-1 is not prime. Res64: F69AAD29FAF5526F Time : 0.0 sec. user=mdettweiler [2015-10-12 14:47:20] 939*2^1411865-1 is not prime. Res64: EDBF5FAFD274EA8F Time : 0.0 sec. user=mdettweiler [2015-10-12 15:02:06] 695*2^1411866-1 is not prime. Res64: AD7DFBC83F624D4B Time : 0.0 sec. user=mdettweiler [2015-10-12 15:02:07] 825*2^1411866-1 is not prime. Res64: C05299FE39E602F0 Time : 0.0 sec. user=mdettweiler [2015-10-12 15:02:35] 633*2^1411867-1 is not prime. Res64: DD65F9906A55E521 Time : 0.0 sec. user=mdettweiler [2015-10-12 15:02:35] 691*2^1411867-1 is not prime. Res64: F00C348F367AE7CA Time : 0.0 sec. user=mdettweiler [2015-10-12 15:04:40] 733*2^1411867-1 is not prime. Res64: C0FFA92AA8DB1652 Time : 0.0 sec. user=mdettweiler [2015-10-12 15:04:44] 801*2^1411867-1 is not prime. Res64: 15C21C5006E72C32 Time : 0.0 sec. user=mdettweiler [2015-10-12 15:05:27] 859*2^1411867-1 is not prime. Res64: B447C64681DB526F Time : 0.0 sec. user=mdettweiler [2015-10-12 15:05:28] 871*2^1411867-1 is not prime. Res64: 53E121539D6E0346 Time : 0.0 sec. user=mdettweiler [2015-10-12 15:21:09] 885*2^1411867-1 is not prime. Res64: 1E2465CDAE077E74 Time : 0.0 sec. user=mdettweiler [2015-10-12 15:21:10] 665*2^1411868-1 is not prime. Res64: 8B56ED17822CA9C3 Time : 0.0 sec. user=mdettweiler [2015-10-12 15:21:26] 773*2^1411868-1 is not prime. Res64: 073C5AA6B4326184 Time : 0.0 sec. user=mdettweiler [2015-10-12 15:21:27] 819*2^1411868-1 is not prime. Res64: 95DB0E07B399D7E1 Time : 0.0 sec. user=mdettweiler [2015-10-12 15:23:43] 869*2^1411868-1 is not prime. Res64: 63B9ABCECAE3EA4F Time : 0.0 sec. user=mdettweiler [2015-10-12 15:23:44] 893*2^1411868-1 is not prime. Res64: 73761384F4DD11FF Time : 0.0 sec. user=mdettweiler [2015-10-12 15:24:14] 987*2^1411868-1 is not prime. Res64: 3A6D4B1D3BFAF927 Time : 0.0 sec. user=mdettweiler [2015-10-12 15:24:15] 835*2^1411869-1 is not prime. Res64: 3154D6AF6E666C23 Time : 0.0 sec. user=mdettweiler [2015-10-12 15:39:39] 889*2^1411869-1 is not prime. Res64: 4FEDE661659DD05B Time : 0.0 sec. user=mdettweiler [2015-10-12 15:39:39] 647*2^1411870-1 is not prime. Res64: 045C064ABD2C9E43 Time : 0.0 sec. user=mdettweiler [2015-10-12 15:39:59] 731*2^1411870-1 is not prime. Res64: 3DFCF12C5B446ECF Time : 0.0 sec. user=mdettweiler [2015-10-12 15:39:59] 923*2^1411870-1 is not prime. Res64: 70069B292AC1FF60 Time : 0.0 sec. user=mdettweiler [2015-10-12 15:42:14] 957*2^1411870-1 is not prime. Res64: 49BB8E8D5161B20B Time : 0.0 sec. user=mdettweiler [2015-10-12 15:42:14] 1001*2^1411870-1 is not prime. Res64: 8D59C2370D155C83 Time : 0.0 sec. user=mdettweiler [2015-10-12 15:42:55] 609*2^1411871-1 is not prime. Res64: C0054AD85376FA89 Time : 0.0 sec. user=mdettweiler [2015-10-12 15:42:55] 705*2^1411871-1 is not prime. Res64: 7406CE15C0A8D8A4 Time : 0.0 sec. user=mdettweiler [2015-10-12 16:01:33] 735*2^1411871-1 is not prime. Res64: BC07070F15FC6C0D Time : 0.0 sec. user=mdettweiler [2015-10-12 16:01:34] 781*2^1411871-1 is not prime. Res64: 70E3FC1856D47FD3 Time : 0.0 sec. user=mdettweiler [2015-10-12 16:02:05] 783*2^1411871-1 is not prime. Res64: 84319267189425EA Time : 0.0 sec. user=mdettweiler [2015-10-12 16:02:06] 913*2^1411871-1 is not prime. Res64: 8AE15094F8ECDE21 Time : 0.0 sec. user=mdettweiler [2015-10-12 16:04:22] 993*2^1411871-1 is not prime. Res64: 28FF76F2BB560DA4 Time : 0.0 sec. user=mdettweiler [2015-10-12 16:04:24] 639*2^1411873-1 is not prime. Res64: 5601197148CAABDE Time : 0.0 sec. user=mdettweiler [2015-10-12 16:04:47] 691*2^1411873-1 is not prime. Res64: DC0F6577C6792FA1 Time : 0.0 sec. user=mdettweiler [2015-10-12 16:04:48] 805*2^1411873-1 is not prime. Res64: 269E71CF9DD088DA Time : 0.0 sec. user=mdettweiler [2015-10-12 16:23:53] 967*2^1411873-1 is not prime. Res64: 6CA27D436AF85FAB Time : 0.0 sec. user=mdettweiler [2015-10-12 16:23:53] 999*2^1411873-1 is not prime. Res64: 2F4E394206DA1785 Time : 0.0 sec. user=mdettweiler [2015-10-12 16:24:45] 741*2^1411874-1 is not prime. Res64: 774CC089008E2F62 Time : 0.0 sec. user=mdettweiler [2015-10-12 16:24:45] 767*2^1411874-1 is not prime. Res64: 3B87ECF0FC7AAF89 Time : 0.0 sec. user=mdettweiler [2015-10-12 16:26:40] 783*2^1411874-1 is not prime. Res64: 5703807FD424BFDB Time : 0.0 sec. user=mdettweiler [2015-10-12 16:26:41] 833*2^1411874-1 is not prime. Res64: 0FE9BAC882A993DF Time : 0.0 sec. user=mdettweiler [2015-10-12 16:27:08] 941*2^1411874-1 is not prime. Res64: 4D6A6030D0DFD963 Time : 0.0 sec. user=mdettweiler [2015-10-12 16:27:08] 609*2^1411875-1 is not prime. Res64: D3260C1BBE4E61C9 Time : 0.0 sec. user=mdettweiler [2015-10-12 16:45:02] 675*2^1411875-1 is not prime. Res64: 43DAA5B73B260891 Time : 0.0 sec. user=mdettweiler [2015-10-12 16:45:03] 793*2^1411875-1 is not prime. Res64: 82B98351AF7131AE Time : 0.0 sec. user=mdettweiler [2015-10-12 16:46:01] 795*2^1411875-1 is not prime. Res64: DB55EF56757D2115 Time : 0.0 sec. user=mdettweiler [2015-10-12 16:46:01] 853*2^1411875-1 is not prime. Res64: 947B9C5B1B02F2C8 Time : 0.0 sec. user=mdettweiler [2015-10-12 16:47:35] 903*2^1411875-1 is not prime. Res64: B5CE050A257181AC Time : 0.0 sec. user=mdettweiler [2015-10-12 16:47:35] 951*2^1411875-1 is not prime. Res64: C57C959B92D2CD05 Time : 0.0 sec. user=mdettweiler [2015-10-12 16:48:13] 623*2^1411876-1 is not prime. Res64: A8A929ACC147212A Time : 0.0 sec. user=mdettweiler [2015-10-12 16:48:14] 695*2^1411876-1 is not prime. Res64: 32B5D15E1B7F04E1 Time : 0.0 sec. user=mdettweiler [2015-10-12 17:08:21] 975*2^1411876-1 is not prime. Res64: 926B5FA72F143004 Time : 0.0 sec. user=mdettweiler [2015-10-12 17:08:21] 989*2^1411876-1 is not prime. Res64: CCAE124F9A59DA52 Time : 0.0 sec. user=mdettweiler [2015-10-12 17:08:35] 631*2^1411877-1 is not prime. Res64: 3AD91ED66DE55F74 Time : 0.0 sec. user=mdettweiler [2015-10-12 17:08:35] 645*2^1411877-1 is not prime. Res64: DD0FEC283217BEC1 Time : 0.0 sec. user=mdettweiler [2015-10-12 17:10:41] 991*2^1411877-1 is not prime. Res64: 88B1723627AFCF33 Time : 0.0 sec. user=mdettweiler [2015-10-12 17:10:42] 647*2^1411878-1 is not prime. Res64: 4425096F1E409C6D Time : 0.0 sec. user=mdettweiler [2015-10-12 17:11:21] 665*2^1411878-1 is not prime. Res64: CE9F183FD229FA00 Time : 0.0 sec. user=mdettweiler [2015-10-12 17:11:22] 731*2^1411878-1 is not prime. Res64: 1C004214E1827FD5 Time : 0.0 sec. user=mdettweiler [2015-10-12 17:30:11] 765*2^1411878-1 is not prime. Res64: 8B29666808A459C5 Time : 0.0 sec. user=mdettweiler [2015-10-12 17:30:11] 825*2^1411878-1 is not prime. Res64: BE360379DB4C9BA6 Time : 0.0 sec. user=mdettweiler [2015-10-12 17:30:52] 709*2^1411879-1 is not prime. Res64: E0429166DCBF686B Time : 0.0 sec. user=mdettweiler [2015-10-12 17:30:52] 759*2^1411879-1 is not prime. Res64: AFA432C1A6E87949 Time : 0.0 sec. user=mdettweiler [2015-10-12 17:32:45] 841*2^1411879-1 is not prime. Res64: C4BCFBA7E83F8296 Time : 0.0 sec. user=mdettweiler [2015-10-12 17:32:45] 843*2^1411879-1 is not prime. Res64: CF8AABDF123094F2 Time : 0.0 sec. user=mdettweiler [2015-10-12 17:33:22] 853*2^1411879-1 is not prime. Res64: 68D1007FD8F0FD2E Time : 0.0 sec. user=mdettweiler [2015-10-12 17:33:22] 885*2^1411879-1 is not prime. Res64: 7A52BCB1A72508A2 Time : 0.0 sec. user=mdettweiler [2015-10-12 17:52:25] 891*2^1411879-1 is not prime. Res64: 3B89398C64C5A81A Time : 0.0 sec. user=mdettweiler [2015-10-12 17:52:25] 931*2^1411879-1 is not prime. Res64: 0CB7EBC64C61638D Time : 0.0 sec. user=mdettweiler [2015-10-12 17:53:33] 665*2^1411880-1 is not prime. Res64: 3B0DA69CDE1D35EB Time : 0.0 sec. user=mdettweiler [2015-10-12 17:53:33] 753*2^1411880-1 is not prime. Res64: C51951FFEEDA0516 Time : 0.0 sec. user=mdettweiler [2015-10-12 17:54:43] 759*2^1411880-1 is not prime. Res64: 20674A78CFB993B1 Time : 0.0 sec. user=mdettweiler [2015-10-12 17:54:44] 855*2^1411880-1 is not prime. Res64: 07713B0C1076D744 Time : 0.0 sec. user=mdettweiler [2015-10-12 17:55:19] 899*2^1411880-1 is not prime. Res64: 2619E4304AA9F4B8 Time : 0.0 sec. user=mdettweiler [2015-10-12 17:55:19] 945*2^1411880-1 is not prime. Res64: CE92A3200F0F4994 Time : 0.0 sec. user=mdettweiler [2015-10-12 18:14:11] 745*2^1411881-1 is not prime. Res64: 86C14F3C5E576F58 Time : 0.0 sec. user=mdettweiler [2015-10-12 18:14:11] 865*2^1411881-1 is not prime. Res64: 85F4334736AA3A1B Time : 0.0 sec. user=mdettweiler [2015-10-12 18:15:00] 997*2^1411881-1 is not prime. Res64: FE186B3FCB9F9F8F Time : 0.0 sec. user=mdettweiler [2015-10-12 18:15:01] 999*2^1411881-1 is not prime. Res64: C6EF14E192BAE5DE Time : 0.0 sec. user=mdettweiler [2015-10-12 18:16:07] 705*2^1411882-1 is not prime. Res64: DF504DCEFEBD4B29 Time : 0.0 sec. user=mdettweiler [2015-10-12 18:16:08] 737*2^1411882-1 is not prime. Res64: C08906E602AAF6A4 Time : 0.0 sec. user=mdettweiler [2015-10-12 18:16:41] 765*2^1411882-1 is not prime. Res64: 80EA7504178D9E86 Time : 0.0 sec. user=mdettweiler [2015-10-12 18:16:42] 885*2^1411882-1 is not prime. Res64: E69EBD34BC3F212B Time : 0.0 sec. user=mdettweiler [2015-10-12 18:32:20] 983*2^1411882-1 is not prime. Res64: DC84B227774E3D45 Time : 0.0 sec. user=mdettweiler [2015-10-12 18:32:20] 621*2^1411883-1 is not prime. Res64: 6D02A530B9F27D0A Time : 0.0 sec. user=mdettweiler [2015-10-12 18:33:05] 693*2^1411883-1 is not prime. Res64: 6D6813243C1D20B2 Time : 0.0 sec. user=mdettweiler [2015-10-12 18:33:05] 813*2^1411883-1 is not prime. Res64: 0F0E4476D672A3A4 Time : 0.0 sec. user=mdettweiler [2015-10-12 18:34:09] 823*2^1411883-1 is not prime. Res64: F89D2892318DDE10 Time : 0.0 sec. user=mdettweiler [2015-10-12 18:34:09] 939*2^1411883-1 is not prime. Res64: 024AE4EF0A90E9EA Time : 0.0 sec. user=mdettweiler [2015-10-12 18:34:48] 981*2^1411883-1 is not prime. Res64: 02C7E458CBD586E3 Time : 0.0 sec. user=mdettweiler [2015-10-12 18:34:48] 985*2^1411883-1 is not prime. Res64: 4E4A7918557D628F Time : 0.0 sec. user=mdettweiler [2015-10-12 18:50:23] 699*2^1411884-1 is not prime. Res64: 76EC4DC4F34C3E49 Time : 0.0 sec. user=mdettweiler [2015-10-12 18:50:23] 719*2^1411884-1 is not prime. Res64: 09ED9FD7A2C0F415 Time : 0.0 sec. user=mdettweiler [2015-10-12 18:51:02] 843*2^1411884-1 is not prime. Res64: BA53BBE3255C875C Time : 0.0 sec. user=mdettweiler [2015-10-12 18:51:03] 927*2^1411884-1 is not prime. Res64: 728F76811553D87F Time : 0.0 sec. user=mdettweiler [2015-10-12 18:52:18] 957*2^1411884-1 is not prime. Res64: 6D5FA9F290384C09 Time : 0.0 sec. user=mdettweiler [2015-10-12 18:52:19] 661*2^1411885-1 is not prime. Res64: 88AE3B1208724BE7 Time : 0.0 sec. user=mdettweiler [2015-10-12 18:52:43] 699*2^1411885-1 is not prime. Res64: 08902ECBCB6A18CC Time : 0.0 sec. user=mdettweiler [2015-10-12 18:52:43] 717*2^1411885-1 is not prime. Res64: 507791B2DA276607 Time : 0.0 sec. user=mdettweiler [2015-10-12 19:08:19] 727*2^1411885-1 is not prime. Res64: 7ECDFF549A74CDE1 Time : 0.0 sec. user=mdettweiler [2015-10-12 19:08:20] 855*2^1411885-1 is not prime. Res64: A2D992570AFA8205 Time : 0.0 sec. user=mdettweiler [2015-10-12 19:09:05] 859*2^1411885-1 is not prime. Res64: 7036CE0441422918 Time : 0.0 sec. user=mdettweiler [2015-10-12 19:09:05] 867*2^1411885-1 is not prime. Res64: EC215C5D174534A8 Time : 0.0 sec. user=mdettweiler [2015-10-12 19:10:23] 871*2^1411885-1 is not prime. Res64: 8F2FC1C83C56E4DB Time : 0.0 sec. user=mdettweiler [2015-10-12 19:10:23] 997*2^1411885-1 is not prime. Res64: 0DB01C8DE76E6CC3 Time : 0.0 sec. user=mdettweiler [2015-10-12 19:10:38] 635*2^1411886-1 is not prime. Res64: 70E5278C1DC2812E Time : 0.0 sec. user=mdettweiler [2015-10-12 19:10:39] 683*2^1411886-1 is not prime. Res64: 7329242202472B82 Time : 0.0 sec. user=mdettweiler [2015-10-12 19:26:19] 711*2^1411886-1 is not prime. Res64: 53DDC0DEBC14B7BD Time : 0.0 sec. user=mdettweiler [2015-10-12 19:26:20] 827*2^1411886-1 is not prime. Res64: 12F8DC578BC78562 Time : 0.0 sec. user=mdettweiler [2015-10-12 19:27:07] 873*2^1411886-1 is not prime. Res64: 92F37D0C1122FE73 Time : 0.0 sec. user=mdettweiler [2015-10-12 19:27:07] 661*2^1411887-1 is not prime. Res64: A21C2A89EBCED18D Time : 0.0 sec. user=mdettweiler [2015-10-12 19:28:23] 781*2^1411887-1 is not prime. Res64: E19859EC21619381 Time : 0.0 sec. user=mdettweiler [2015-10-12 19:28:23] 871*2^1411887-1 is not prime. Res64: 5BA545AF20CFE123 Time : 0.0 sec. user=mdettweiler [2015-10-12 19:28:29] 901*2^1411887-1 is not prime. Res64: F5FA50129C50A5EC Time : 0.0 sec. user=mdettweiler [2015-10-12 19:28:30] 945*2^1411887-1 is not prime. Res64: ED4979D045B860EB Time : 0.0 sec. user=mdettweiler [2015-10-12 19:44:16] 973*2^1411887-1 is not prime. Res64: 9C590FD2439AB462 Time : 0.0 sec. user=mdettweiler [2015-10-12 19:44:17] 657*2^1411888-1 is not prime. Res64: DE5C625A192967B4 Time : 0.0 sec. user=mdettweiler [2015-10-12 19:44:58] 663*2^1411888-1 is not prime. Res64: 660917DDD334E530 Time : 0.0 sec. user=mdettweiler [2015-10-12 19:44:58] 723*2^1411888-1 is not prime. Res64: F923D076F021DF8F Time : 0.0 sec. user=mdettweiler [2015-10-12 19:46:17] 887*2^1411888-1 is not prime. Res64: 7D4D4EE148302C08 Time : 0.0 sec. user=mdettweiler [2015-10-12 19:46:17] 615*2^1411889-1 is not prime. Res64: 2C35428E96E601EA Time : 0.0 sec. user=mdettweiler [2015-10-12 19:46:20] 765*2^1411888-1 is not prime. Res64: 26B735E7341DFDC6 Time : 0.0 sec. user=mdettweiler [2015-10-12 19:46:21] 875*2^1411888-1 is not prime. Res64: 821EB8A835FE7B9F Time : 0.0 sec. user=mdettweiler [2015-10-12 20:02:14] 619*2^1411889-1 is not prime. Res64: 092E06916AED09AA Time : 0.0 sec. user=mdettweiler [2015-10-12 20:02:15] 631*2^1411889-1 is not prime. Res64: 276723693091537A Time : 0.0 sec. user=mdettweiler [2015-10-12 20:02:55] 691*2^1411889-1 is not prime. Res64: 39A6873467948E20 Time : 0.0 sec. user=mdettweiler [2015-10-12 20:02:55] 705*2^1411889-1 is not prime. Res64: EAD759C3BADD6797 Time : 0.0 sec. user=mdettweiler [2015-10-12 20:04:08] 711*2^1411889-1 is not prime. Res64: 45CF9D8E9403A96C Time : 0.0 sec. user=mdettweiler [2015-10-12 20:04:10] 747*2^1411889-1 is not prime. Res64: C6A3E6D0EAA54CFF Time : 0.0 sec. user=mdettweiler [2015-10-12 20:04:15] 775*2^1411889-1 is not prime. Res64: 1BE4836459B09ABD Time : 0.0 sec. user=mdettweiler [2015-10-12 20:04:17] 829*2^1411889-1 is not prime. Res64: 436DD8245B608CB7 Time : 0.0 sec. user=mdettweiler [2015-10-12 20:20:28] 847*2^1411889-1 is not prime. Res64: B30733C27E64990C Time : 0.0 sec. user=mdettweiler [2015-10-12 20:20:28] 949*2^1411889-1 is not prime. Res64: D2918EB8801E34AC Time : 0.0 sec. user=mdettweiler [2015-10-12 20:20:52] 651*2^1411890-1 is not prime. Res64: 33B79A3858EC8FA6 Time : 0.0 sec. user=mdettweiler [2015-10-12 20:20:53] 713*2^1411890-1 is not prime. Res64: 9F73F3AF04288879 Time : 0.0 sec. user=mdettweiler [2015-10-12 20:22:06] 977*2^1411890-1 is not prime. Res64: D40A74DEC3E10D65 Time : 0.0 sec. user=mdettweiler [2015-10-12 20:22:07] 735*2^1411891-1 is not prime. Res64: 4CD3398F14C1386D Time : 0.0 sec. user=mdettweiler [2015-10-12 20:22:09] 893*2^1411890-1 is not prime. Res64: B37F86E3B01B57C4 Time : 0.0 sec. user=mdettweiler [2015-10-12 20:22:09] 927*2^1411890-1 is not prime. Res64: C7D71C638ACD6204 Time : 0.0 sec. user=mdettweiler [2015-10-12 20:38:43] 759*2^1411891-1 is not prime. Res64: E382ABE6F0BD1E05 Time : 0.0 sec. user=mdettweiler [2015-10-12 20:38:43] 891*2^1411891-1 is not prime. Res64: E3A1F737AB4D83DF Time : 0.0 sec. user=mdettweiler [2015-10-12 20:38:53] 909*2^1411891-1 is not prime. Res64: F92EBD73D1225D6D Time : 0.0 sec. user=mdettweiler [2015-10-12 20:38:53] 925*2^1411891-1 is not prime. Res64: 2F80A3DA903537F3 Time : 0.0 sec. user=mdettweiler [2015-10-12 20:40:01] 647*2^1411892-1 is not prime. Res64: FCD560FED3D18761 Time : 0.0 sec. user=mdettweiler [2015-10-12 20:40:02] 677*2^1411892-1 is not prime. Res64: 36FCA2CD471EE9FE Time : 0.0 sec. user=mdettweiler [2015-10-12 20:40:08] 979*2^1411891-1 is not prime. Res64: 6ED27D59C8F0313F Time : 0.0 sec. user=mdettweiler [2015-10-12 20:40:08] 635*2^1411892-1 is not prime. Res64: 0F97B932CB1DF2B0 Time : 0.0 sec. user=mdettweiler [2015-10-12 20:56:48] 693*2^1411892-1 is not prime. Res64: 508195E01A462ECC Time : 0.0 sec. user=mdettweiler [2015-10-12 20:56:49] 785*2^1411892-1 is not prime. Res64: 59BF79D1CBC8A809 Time : 0.0 sec. user=mdettweiler [2015-10-12 20:57:00] 819*2^1411892-1 is not prime. Res64: 97239439203C5C83 Time : 0.0 sec. user=mdettweiler [2015-10-12 20:57:00] 867*2^1411892-1 is not prime. Res64: DA5D271C9E4C83B6 Time : 0.0 sec. user=mdettweiler [2015-10-12 20:58:04] 977*2^1411892-1 is not prime. Res64: 8AC998385ACB5F14 Time : 0.0 sec. user=mdettweiler [2015-10-12 20:58:04] 609*2^1411893-1 is not prime. Res64: A484BBF2BFD21B73 Time : 0.0 sec. user=mdettweiler [2015-10-12 20:58:08] 897*2^1411892-1 is not prime. Res64: 7BBBCE1579A65E7E Time : 0.0 sec. user=mdettweiler [2015-10-12 20:58:08] 909*2^1411892-1 is not prime. Res64: 2403B363D5C39F21 Time : 0.0 sec. user=mdettweiler [2015-10-12 21:14:40] 627*2^1411893-1 is not prime. Res64: EF0EF8B1740181FC Time : 0.0 sec. user=mdettweiler [2015-10-12 21:14:41] 657*2^1411893-1 is not prime. Res64: D4E64DE2E7F8BE49 Time : 0.0 sec. user=mdettweiler [2015-10-12 21:15:01] 811*2^1411893-1 is not prime. Res64: FC1906EF19B52D0F Time : 0.0 sec. user=mdettweiler [2015-10-12 21:15:01] 901*2^1411893-1 is not prime. Res64: AFCBD7BA204FB3AE Time : 0.0 sec. user=mdettweiler [2015-10-12 21:16:00] 773*2^1411894-1 is not prime. Res64: 20EF1BA51275881B Time : 0.0 sec. user=mdettweiler [2015-10-12 21:16:01] 785*2^1411894-1 is not prime. Res64: 85F7B78378E131D2 Time : 0.0 sec. user=mdettweiler [2015-10-12 21:16:04] 951*2^1411893-1 is not prime. Res64: 6DD0FB47E8ECC36E Time : 0.0 sec. user=mdettweiler [2015-10-12 21:16:04] 663*2^1411894-1 is not prime. Res64: EA3CD32C1CE32B72 Time : 0.0 sec. user=mdettweiler [2015-10-12 21:32:30] 813*2^1411894-1 is not prime. Res64: A759BA59D263DB03 Time : 0.0 sec. user=mdettweiler [2015-10-12 21:32:30] 825*2^1411894-1 is not prime. Res64: 2BF60F9AA4286D76 Time : 0.0 sec. user=mdettweiler [2015-10-12 21:32:52] 947*2^1411894-1 is not prime. Res64: 25EDC4D642BAA3B2 Time : 0.0 sec. user=mdettweiler [2015-10-12 21:32:52] 715*2^1411895-1 is not prime. Res64: 5B27698432505A43 Time : 0.0 sec. user=mdettweiler [2015-10-12 21:33:51] 721*2^1411895-1 is not prime. Res64: DF70FBF48CC5B188 Time : 0.0 sec. user=mdettweiler [2015-10-12 21:33:51] 735*2^1411895-1 is not prime. Res64: 298F49C2DBFF0824 Time : 0.0 sec. user=mdettweiler [2015-10-12 21:33:57] 963*2^1411895-1 is not prime. Res64: 52821D70756DC097 Time : 0.0 sec. user=mdettweiler [2015-10-12 21:33:57] 669*2^1411896-1 is not prime. Res64: 21DD9B4E506030EA Time : 0.0 sec. user=mdettweiler [2015-10-12 21:50:47] 675*2^1411896-1 is not prime. Res64: 9C708C53917430F8 Time : 0.0 sec. user=mdettweiler [2015-10-12 21:50:47] 639*2^1411897-1 is not prime. Res64: 6FDF9F10ADB1C2B8 Time : 0.0 sec. user=mdettweiler [2015-10-12 21:50:58] 651*2^1411897-1 is not prime. Res64: D5B8B8CCEE39C863 Time : 0.0 sec. user=mdettweiler [2015-10-12 21:50:59] 685*2^1411897-1 is not prime. Res64: FD113480106F025F Time : 0.0 sec. user=mdettweiler [2015-10-12 21:51:56] 683*2^1411898-1 is not prime. Res64: F8A9F561BD97DDB8 Time : 0.0 sec. user=mdettweiler [2015-10-12 21:51:56] 771*2^1411898-1 is not prime. Res64: F93AFBE910D5673E Time : 0.0 sec. user=mdettweiler [2015-10-12 21:52:03] 805*2^1411897-1 is not prime. Res64: 0325E453E38798A6 Time : 0.0 sec. user=mdettweiler [2015-10-12 21:52:04] 955*2^1411897-1 is not prime. Res64: DDAFA4D5EDD740AD Time : 0.0 sec. user=mdettweiler [2015-10-12 22:08:47] 791*2^1411898-1 is not prime. Res64: 7DAB61E805A568DE Time : 0.0 sec. user=mdettweiler [2015-10-12 22:08:47] 797*2^1411898-1 is not prime. Res64: A677E194DAC47D58 Time : 0.0 sec. user=mdettweiler [2015-10-12 22:08:50] 843*2^1411898-1 is not prime. Res64: 149647CEE3CCE2FC Time : 0.0 sec. user=mdettweiler [2015-10-12 22:08:50] 977*2^1411898-1 is not prime. Res64: 6E84B2974AD3110A Time : 0.0 sec. user=mdettweiler [2015-10-12 22:09:52] 663*2^1411899-1 is not prime. Res64: 2CC2A10E406CB00C Time : 0.0 sec. user=mdettweiler [2015-10-12 22:09:53] 675*2^1411899-1 is not prime. Res64: 99F000BC9301065B Time : 0.0 sec. user=mdettweiler [2015-10-12 22:09:57] 735*2^1411899-1 is not prime. Res64: 919DC41D232F4852 Time : 0.0 sec. user=mdettweiler [2015-10-12 22:09:57] 751*2^1411899-1 is not prime. Res64: BFED6A04FE390E98 Time : 0.0 sec. user=mdettweiler [2015-10-12 22:26:41] 645*2^1411901-1 is not prime. Res64: 9AD4203B35C313A8 Time : 0.0 sec. user=mdettweiler [2015-10-12 22:26:41] 715*2^1411901-1 is not prime. Res64: 1875FC0D43A20131 Time : 0.0 sec. user=mdettweiler [2015-10-12 22:26:45] 979*2^1411899-1 is not prime. Res64: 3AB1F7F5DE7CAF1C Time : 0.0 sec. user=mdettweiler [2015-10-12 22:26:45] 663*2^1411900-1 is not prime. Res64: 93A0A05B6BB502F2 Time : 0.0 sec. user=mdettweiler [2015-10-12 22:27:54] 811*2^1411901-1 is not prime. Res64: 5214BAB6C3AD5660 Time : 0.0 sec. user=mdettweiler [2015-10-12 22:27:54] 837*2^1411901-1 is not prime. Res64: FB88F61813210761 Time : 0.0 sec. user=mdettweiler [2015-10-12 22:27:59] 861*2^1411901-1 is not prime. Res64: 98C4C54EF24BFDD5 Time : 0.0 sec. user=mdettweiler [2015-10-12 22:27:59] 889*2^1411901-1 is not prime. Res64: 7284DD50AB3007FD Time : 0.0 sec. user=mdettweiler [2015-10-12 22:44:32] 937*2^1411901-1 is not prime. Res64: 3F12343E4238089C Time : 0.0 sec. user=mdettweiler [2015-10-12 22:44:33] 991*2^1411901-1 is not prime. Res64: 0E674AC84E736781 Time : 0.0 sec. user=mdettweiler [2015-10-12 22:44:35] 611*2^1411902-1 is not prime. Res64: 50032A9BE6E2CC4F Time : 0.0 sec. user=mdettweiler [2015-10-12 22:44:35] 737*2^1411902-1 is not prime. Res64: 2A58C53A0458A810 Time : 0.0 sec. user=mdettweiler [2015-10-12 22:45:47] 619*2^1411903-1 is not prime. Res64: 9468AB8006001808 Time : 0.0 sec. user=mdettweiler [2015-10-12 22:45:47] 705*2^1411903-1 is not prime. Res64: FDC2546CC8072214 Time : 0.0 sec. user=mdettweiler [2015-10-12 22:45:49] 815*2^1411902-1 is not prime. Res64: 9B417FD50A9C8737 Time : 0.0 sec. user=mdettweiler [2015-10-12 22:45:49] 873*2^1411902-1 is not prime. Res64: A09E06F79B36B01E Time : 0.0 sec. user=mdettweiler [2015-10-12 23:02:34] 919*2^1411903-1 is not prime. Res64: 844E64446087DC0E Time : 0.0 sec. user=mdettweiler [2015-10-12 23:02:34] 925*2^1411903-1 is not prime. Res64: BF2AA7359EC9C778 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:02:39] 755*2^1411904-1 is not prime. Res64: C9914D283C5BBA55 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:02:40] 767*2^1411904-1 is not prime. Res64: 0C49575331AA1B4D Time : 0.0 sec. user=mdettweiler [2015-10-12 23:03:35] 789*2^1411904-1 is not prime. Res64: 754C3B832B99B3C7 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:03:36] 813*2^1411904-1 is not prime. Res64: E32A2FDF4CB48755 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:03:52] 857*2^1411904-1 is not prime. Res64: 93BFF9CF00019D6F Time : 0.0 sec. user=mdettweiler [2015-10-12 23:03:54] 893*2^1411904-1 is not prime. Res64: 3F9F805CD912A017 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:20:42] 903*2^1411904-1 is not prime. Res64: 65B0DF0567EC0166 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:20:43] 627*2^1411905-1 is not prime. Res64: CE20FB5B21D10411 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:20:46] 657*2^1411905-1 is not prime. Res64: 995500E81EA51935 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:20:47] 741*2^1411905-1 is not prime. Res64: 3BB7E67CA60CB472 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:21:32] 877*2^1411905-1 is not prime. Res64: 1A1818FF4134CD01 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:21:33] 611*2^1411906-1 is not prime. Res64: 4A931C9CFEDDCF7B Time : 0.0 sec. user=mdettweiler [2015-10-12 23:21:54] 723*2^1411906-1 is not prime. Res64: D05058631757C838 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:21:55] 773*2^1411906-1 is not prime. Res64: FF4E4A193A2ECBB7 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:39:15] 983*2^1411906-1 is not prime. Res64: 44FF154980099664 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:39:15] 781*2^1411907-1 is not prime. Res64: 15CC5B3ED2F87E8B Time : 0.0 sec. user=mdettweiler [2015-10-12 23:39:25] 901*2^1411907-1 is not prime. Res64: F0D0D27B8A5A5DC6 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:39:25] 913*2^1411907-1 is not prime. Res64: 7FA991BB674B6661 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:40:17] 633*2^1411908-1 is not prime. Res64: 2D3EF44FE0A03C1C Time : 0.0 sec. user=mdettweiler [2015-10-12 23:40:18] 929*2^1411908-1 is not prime. Res64: C9904C414810B7C9 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:40:21] 963*2^1411907-1 is not prime. Res64: 3A2E8F71F75ABBB7 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:40:21] 615*2^1411908-1 is not prime. Res64: E68015A91A24927B Time : 0.0 sec. user=mdettweiler [2015-10-12 23:57:38] 959*2^1411908-1 is not prime. Res64: B0D45906D3707B64 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:57:38] 675*2^1411909-1 is not prime. Res64: 5159A2C411360C59 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:57:44] 757*2^1411909-1 is not prime. Res64: 4224871D0B68E939 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:57:44] 789*2^1411909-1 is not prime. Res64: 6F83F50F206F8C66 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:58:32] 957*2^1411909-1 is not prime. Res64: A818E9E9612CA8FB Time : 0.0 sec. user=mdettweiler [2015-10-12 23:58:32] 603*2^1411910-1 is not prime. Res64: BA51F5AE14E87375 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:58:34] 817*2^1411909-1 is not prime. Res64: FC2145B3060C0324 Time : 0.0 sec. user=mdettweiler [2015-10-12 23:58:35] 885*2^1411909-1 is not prime. Res64: 795F7F4C2C6A8D1E Time : 0.0 sec.