user=mdettweiler [2018-04-18 00:06:56] 915*2^1507400-1 is not prime. Res64: 1ED3BBD84ED90DB9 Time : 0.0 sec. user=mdettweiler [2018-04-18 00:06:58] 917*2^1507400-1 is not prime. Res64: CAA0A34688256E26 Time : 0.0 sec. user=mdettweiler [2018-04-18 00:07:01] 927*2^1507400-1 is not prime. Res64: BEB16AC439FBCF3A Time : 0.0 sec. user=mdettweiler [2018-04-18 00:07:02] 983*2^1507400-1 is not prime. Res64: 148222D5A6FD4F53 Time : 0.0 sec. user=mdettweiler [2018-04-18 00:07:05] 681*2^1507401-1 is not prime. Res64: D6EB704D9C13A77D Time : 0.0 sec. user=mdettweiler [2018-04-18 00:37:09] 739*2^1507401-1 is not prime. Res64: 7E707EE18C963702 Time : 0.0 sec. user=mdettweiler [2018-04-18 00:37:10] 751*2^1507401-1 is not prime. Res64: ACE36ACDC16FB611 Time : 0.0 sec. user=mdettweiler [2018-04-18 00:37:10] 805*2^1507401-1 is not prime. Res64: 428AB9EA9AC4EB85 Time : 0.0 sec. user=mdettweiler [2018-04-18 00:37:11] 885*2^1507401-1 is not prime. Res64: 7ECB3E5B0BA4CC31 Time : 0.0 sec. user=mdettweiler [2018-04-18 00:37:11] 921*2^1507401-1 is not prime. Res64: 24C549CC1039483B Time : 0.0 sec. user=mdettweiler [2018-04-18 00:39:59] 633*2^1507402-1 is not prime. Res64: EB630F3EB95E8B16 Time : 0.0 sec. user=mdettweiler [2018-04-18 00:40:00] 645*2^1507402-1 is not prime. Res64: 678144AB1D63444A Time : 0.0 sec. user=mdettweiler [2018-04-18 00:40:00] 677*2^1507402-1 is not prime. Res64: F8E31FA5FD497563 Time : 0.0 sec. user=mdettweiler [2018-04-18 00:40:00] 681*2^1507402-1 is not prime. Res64: 65F3789B7300291D Time : 0.0 sec. user=mdettweiler [2018-04-18 00:40:01] 735*2^1507402-1 is not prime. Res64: 08D83956C42F0534 Time : 0.0 sec. user=mdettweiler [2018-04-18 00:42:15] 815*2^1507402-1 is not prime. Res64: 57D19E85B843C1E5 Time : 0.0 sec. user=mdettweiler [2018-04-18 00:42:15] 981*2^1507402-1 is not prime. Res64: DA2FA0C4603C786E Time : 0.0 sec. user=mdettweiler [2018-04-18 00:42:16] 673*2^1507403-1 is not prime. Res64: ABDD9897DFB4B251 Time : 0.0 sec. user=mdettweiler [2018-04-18 00:42:16] 879*2^1507403-1 is not prime. Res64: 17E44C1FB125024D Time : 0.0 sec. user=mdettweiler [2018-04-18 00:42:16] 973*2^1507403-1 is not prime. Res64: 9784082BF504AE93 Time : 0.0 sec. user=mdettweiler [2018-04-18 00:58:20] 993*2^1507403-1 is not prime. Res64: D58B77BCF5368AC4 Time : 0.0 sec. user=mdettweiler [2018-04-18 00:58:21] 717*2^1507404-1 is not prime. Res64: 299F70970037A525 Time : 0.0 sec. user=mdettweiler [2018-04-18 00:58:21] 789*2^1507404-1 is not prime. Res64: 8BECCC69EA184173 Time : 0.0 sec. user=mdettweiler [2018-04-18 00:58:21] 803*2^1507404-1 is not prime. Res64: 10D2469CF4CECDFA Time : 0.0 sec. user=mdettweiler [2018-04-18 00:58:22] 825*2^1507404-1 is not prime. Res64: 78D561963D8DC134 Time : 0.0 sec. user=mdettweiler [2018-04-18 01:26:38] 975*2^1507404-1 is not prime. Res64: D0E1749620CF77B1 Time : 0.0 sec. user=mdettweiler [2018-04-18 01:26:40] 601*2^1507405-1 is not prime. Res64: 3B85A8A71E493374 Time : 0.0 sec. user=mdettweiler [2018-04-18 01:26:41] 649*2^1507405-1 is not prime. Res64: B0D568AE619E3851 Time : 0.0 sec. user=mdettweiler [2018-04-18 01:26:42] 685*2^1507405-1 is not prime. Res64: 0B4BA0E3D176BF7D Time : 0.0 sec. user=mdettweiler [2018-04-18 01:26:43] 771*2^1507405-1 is not prime. Res64: 29F8CE112C6FF487 Time : 0.0 sec. user=mdettweiler [2018-04-18 01:30:52] 777*2^1507405-1 is not prime. Res64: 34F169C53FA336D4 Time : 0.0 sec. user=mdettweiler [2018-04-18 01:30:53] 789*2^1507405-1 is not prime. Res64: 48B6367F19F55972 Time : 0.0 sec. user=mdettweiler [2018-04-18 01:30:54] 861*2^1507405-1 is not prime. Res64: 408E6E3625131D54 Time : 0.0 sec. user=mdettweiler [2018-04-18 01:30:55] 885*2^1507405-1 is not prime. Res64: 79DB12A2AC367A66 Time : 0.0 sec. user=mdettweiler [2018-04-18 01:30:55] 979*2^1507405-1 is not prime. Res64: BDFB82078CE9673D Time : 0.0 sec. user=mdettweiler [2018-04-18 01:32:17] 985*2^1507405-1 is not prime. Res64: 7BEEB91668D0B23E Time : 0.0 sec. user=mdettweiler [2018-04-18 01:32:20] 675*2^1507406-1 is not prime. Res64: 4585C77F942442CE Time : 0.0 sec. user=mdettweiler [2018-04-18 01:32:21] 705*2^1507406-1 is not prime. Res64: 68CF8ED3291A0932 Time : 0.0 sec. user=mdettweiler [2018-04-18 01:32:23] 767*2^1507406-1 is not prime. Res64: 77C8A8943C5271A3 Time : 0.0 sec. user=mdettweiler [2018-04-18 01:32:26] 857*2^1507406-1 is not prime. Res64: C740EE2CDBB3BC4D Time : 0.0 sec. user=mdettweiler [2018-04-18 01:48:54] 775*2^1507407-1 is not prime. Res64: 1370864BD6F7115E Time : 0.0 sec. user=mdettweiler [2018-04-18 01:48:55] 871*2^1507407-1 is not prime. Res64: 92DBED220C45DC2C Time : 0.0 sec. user=mdettweiler [2018-04-18 01:48:57] 885*2^1507407-1 is not prime. Res64: 5510403D27555BE8 Time : 0.0 sec. user=mdettweiler [2018-04-18 01:48:59] 913*2^1507407-1 is not prime. Res64: A0BBE1AB8A756B36 Time : 0.0 sec. user=mdettweiler [2018-04-18 01:49:07] 657*2^1507408-1 is not prime. Res64: 026C903A9632208F Time : 0.0 sec. user=mdettweiler [2018-04-18 02:18:39] 747*2^1507408-1 is not prime. Res64: FC6148D0746DAEB7 Time : 0.0 sec. user=mdettweiler [2018-04-18 02:18:40] 777*2^1507408-1 is not prime. Res64: 0DB7E27C842C6DAB Time : 0.0 sec. user=mdettweiler [2018-04-18 02:18:40] 999*2^1507408-1 is not prime. Res64: 43B1828C349517D4 Time : 0.0 sec. user=mdettweiler [2018-04-18 02:18:41] 637*2^1507409-1 is not prime. Res64: 81F2F0CC0819B042 Time : 0.0 sec. user=mdettweiler [2018-04-18 02:18:42] 729*2^1507409-1 is not prime. Res64: 64D9FBBB4B826E37 Time : 0.0 sec. user=mdettweiler [2018-04-18 02:22:51] 789*2^1507409-1 is not prime. Res64: 199B9D813C88BE36 Time : 0.0 sec. user=mdettweiler [2018-04-18 02:22:51] 931*2^1507409-1 is not prime. Res64: 4E0D7E78207AEE69 Time : 0.0 sec. user=mdettweiler [2018-04-18 02:22:51] 969*2^1507409-1 is not prime. Res64: 320F062F5DE037EF Time : 0.0 sec. user=mdettweiler [2018-04-18 02:22:52] 681*2^1507410-1 is not prime. Res64: AC975159A3CE5D79 Time : 0.0 sec. user=mdettweiler [2018-04-18 02:22:52] 711*2^1507410-1 is not prime. Res64: 9D9F11BC0A72259E Time : 0.0 sec. user=mdettweiler [2018-04-18 02:24:52] 1001*2^1507410-1 is not prime. Res64: 61CA447794C54381 Time : 0.0 sec. user=mdettweiler [2018-04-18 02:24:52] 615*2^1507411-1 is not prime. Res64: 219A724A3B32F79B Time : 0.0 sec. user=mdettweiler [2018-04-18 02:24:52] 735*2^1507411-1 is not prime. Res64: ABA2898135D01AEF Time : 0.0 sec. user=mdettweiler [2018-04-18 02:24:53] 769*2^1507411-1 is not prime. Res64: 77CA881A642B0A68 Time : 0.0 sec. user=mdettweiler [2018-04-18 02:24:53] 771*2^1507411-1 is not prime. Res64: 962AF67879EB708B Time : 0.0 sec. user=mdettweiler [2018-04-18 02:42:15] 861*2^1507411-1 is not prime. Res64: 3AEDA7513A144D30 Time : 0.0 sec. user=mdettweiler [2018-04-18 02:42:16] 871*2^1507411-1 is not prime. Res64: 8BAD495D188FBFF4 Time : 0.0 sec. user=mdettweiler [2018-04-18 02:42:16] 951*2^1507411-1 is not prime. Res64: 3D8C06921AF03BE4 Time : 0.0 sec. user=mdettweiler [2018-04-18 02:42:17] 975*2^1507411-1 is not prime. Res64: F7DE1DC611407F39 Time : 0.0 sec. user=mdettweiler [2018-04-18 02:42:18] 609*2^1507412-1 is not prime. Res64: 2F631258069819CF Time : 0.0 sec. user=mdettweiler [2018-04-18 03:10:57] 665*2^1507412-1 is not prime. Res64: 3AD3BD96C79504B9 Time : 0.0 sec. user=mdettweiler [2018-04-18 03:10:58] 735*2^1507412-1 is not prime. Res64: 6854F563072EC588 Time : 0.0 sec. user=mdettweiler [2018-04-18 03:10:59] 797*2^1507412-1 is not prime. Res64: 78993CAEAC25C763 Time : 0.0 sec. user=mdettweiler [2018-04-18 03:10:59] 819*2^1507412-1 is not prime. Res64: A7471C55CD6385FF Time : 0.0 sec. user=mdettweiler [2018-04-18 03:10:59] 843*2^1507412-1 is not prime. Res64: 0182438911F323D1 Time : 0.0 sec. user=mdettweiler [2018-04-18 03:14:13] 855*2^1507412-1 is not prime. Res64: 3B97B11BE7CF55A0 Time : 0.0 sec. user=mdettweiler [2018-04-18 03:14:13] 957*2^1507412-1 is not prime. Res64: 0A044C5B52CA05E1 Time : 0.0 sec. user=mdettweiler [2018-04-18 03:14:14] 963*2^1507412-1 is not prime. Res64: 8215F4CE91DE2497 Time : 0.0 sec. user=mdettweiler [2018-04-18 03:14:14] 657*2^1507413-1 is not prime. Res64: EFCA5757F9CDBC44 Time : 0.0 sec. user=mdettweiler [2018-04-18 03:14:15] 681*2^1507413-1 is not prime. Res64: 19FF24718A778C2C Time : 0.0 sec. user=mdettweiler [2018-04-18 03:16:48] 781*2^1507413-1 is not prime. Res64: 9B750CC38ECAC5DD Time : 0.0 sec. user=mdettweiler [2018-04-18 03:16:49] 945*2^1507413-1 is not prime. Res64: A98CEBCF0950292B Time : 0.0 sec. user=mdettweiler [2018-04-18 03:16:50] 949*2^1507413-1 is not prime. Res64: 765B13CB0AE3083C Time : 0.0 sec. user=mdettweiler [2018-04-18 03:16:51] 991*2^1507413-1 is not prime. Res64: E1693B6CBBD47F7A Time : 0.0 sec. user=mdettweiler [2018-04-18 03:16:53] 681*2^1507414-1 is not prime. Res64: 0F6A7744060EDC82 Time : 0.0 sec. user=mdettweiler [2018-04-18 03:33:47] 705*2^1507414-1 is not prime. Res64: 00338D33CD9D2AB3 Time : 0.0 sec. user=mdettweiler [2018-04-18 03:33:49] 773*2^1507414-1 is not prime. Res64: B9F28B9DA9326F28 Time : 0.0 sec. user=mdettweiler [2018-04-18 03:33:50] 791*2^1507414-1 is not prime. Res64: E57E8D2AA1A6DDDF Time : 0.0 sec. user=mdettweiler [2018-04-18 03:33:52] 833*2^1507414-1 is not prime. Res64: F3BA41BA835B5ECD Time : 0.0 sec. user=mdettweiler [2018-04-18 03:33:52] 897*2^1507414-1 is not prime. Res64: 2AC2FB80CF5B1FCC Time : 0.0 sec. user=mdettweiler [2018-04-18 04:02:13] 971*2^1507414-1 is not prime. Res64: 0E9DF8AB1CBB8F8D Time : 0.0 sec. user=mdettweiler [2018-04-18 04:02:18] 983*2^1507414-1 is not prime. Res64: 31EC96CF86C40707 Time : 0.0 sec. user=mdettweiler [2018-04-18 04:02:20] 651*2^1507415-1 is not prime. Res64: 0BD5FF76564A0EBA Time : 0.0 sec. user=mdettweiler [2018-04-18 04:02:22] 775*2^1507415-1 is not prime. Res64: A3416EABBFF3907C Time : 0.0 sec. user=mdettweiler [2018-04-18 04:02:24] 843*2^1507415-1 is not prime. Res64: 1ED5D64F1FD8CE84 Time : 0.0 sec. user=mdettweiler [2018-04-18 04:05:42] 883*2^1507415-1 is not prime. Res64: B5194C9B27F1EB60 Time : 0.0 sec. user=mdettweiler [2018-04-18 04:06:52] 905*2^1507416-1 is not prime. Res64: FF0ED973399C9BD5 Time : 0.0 sec. user=mdettweiler [2018-04-18 04:06:56] 615*2^1507417-1 is not prime. Res64: 5397478359357488 Time : 0.0 sec. user=mdettweiler [2018-04-18 04:06:59] 651*2^1507417-1 is not prime. Res64: EDED75ACB090CA0C Time : 0.0 sec. user=mdettweiler [2018-04-18 04:07:02] 687*2^1507417-1 is not prime. Res64: 27A8AF04FC8B271A Time : 0.0 sec. user=mdettweiler [2018-04-18 04:07:03] 717*2^1507417-1 is not prime. Res64: 1C4DCE0A3B38D292 Time : 0.0 sec. user=mdettweiler [2018-04-18 04:25:15] 747*2^1507417-1 is not prime. Res64: DDB28970574A6EF5 Time : 0.0 sec. user=mdettweiler [2018-04-18 04:25:18] 817*2^1507417-1 is not prime. Res64: CCCE17790CC3EE4A Time : 0.0 sec. user=mdettweiler [2018-04-18 04:25:22] 897*2^1507417-1 is not prime. Res64: 053DEBE54F24CDF7 Time : 0.0 sec. user=mdettweiler [2018-04-18 04:25:27] 979*2^1507417-1 is not prime. Res64: 4F374A8DB3993C13 Time : 0.0 sec. user=mdettweiler [2018-04-18 04:25:29] 997*2^1507417-1 is not prime. Res64: 69C7478BD5715CE5 Time : 0.0 sec. user=mdettweiler [2018-04-18 04:53:53] 605*2^1507418-1 is not prime. Res64: 2C9E14CE4E3FF6AA Time : 0.0 sec. user=mdettweiler [2018-04-18 04:53:53] 705*2^1507418-1 is not prime. Res64: 240A152A55C9C746 Time : 0.0 sec. user=mdettweiler [2018-04-18 04:53:54] 755*2^1507418-1 is not prime. Res64: AAA80725B664807D Time : 0.0 sec. user=mdettweiler [2018-04-18 04:53:54] 773*2^1507418-1 is not prime. Res64: C404BF2CBDE459DF Time : 0.0 sec. user=mdettweiler [2018-04-18 04:53:55] 797*2^1507418-1 is not prime. Res64: DD4950AB1F397EEE Time : 0.0 sec. user=mdettweiler [2018-04-18 05:00:52] 827*2^1507418-1 is not prime. Res64: FC7B6F536AD00978 Time : 0.0 sec. user=mdettweiler [2018-04-18 05:00:53] 935*2^1507418-1 is not prime. Res64: 9111D99EC5C6939E Time : 0.0 sec. user=mdettweiler [2018-04-18 05:00:56] 953*2^1507418-1 is not prime. Res64: 4E090000D4D7E2C5 Time : 0.0 sec. user=mdettweiler [2018-04-18 05:00:58] 963*2^1507418-1 is not prime. Res64: 8A02868883A0096C Time : 0.0 sec. user=mdettweiler [2018-04-18 05:00:59] 993*2^1507418-1 is not prime. Res64: 848C98488275C6AE Time : 0.0 sec. user=mdettweiler [2018-04-18 05:17:12] 615*2^1507419-1 is not prime. Res64: 744CD18F9D7C6259 Time : 0.0 sec. user=mdettweiler [2018-04-18 05:17:13] 639*2^1507419-1 is not prime. Res64: 461C460CA865FB98 Time : 0.0 sec. user=mdettweiler [2018-04-18 05:17:13] 675*2^1507419-1 is not prime. Res64: 07951B6DBAC71628 Time : 0.0 sec. user=mdettweiler [2018-04-18 05:17:15] 793*2^1507419-1 is not prime. Res64: 9213FCCBF03EA5F0 Time : 0.0 sec. user=mdettweiler [2018-04-18 05:17:15] 823*2^1507419-1 is not prime. Res64: A367D92D2AEE22CC Time : 0.0 sec. user=mdettweiler [2018-04-18 05:43:29] 603*2^1507420-1 is not prime. Res64: 75A5D402BCA323E7 Time : 0.0 sec. user=mdettweiler [2018-04-18 05:43:29] 635*2^1507420-1 is not prime. Res64: 29D1B752DD808838 Time : 0.0 sec. user=mdettweiler [2018-04-18 05:43:30] 665*2^1507420-1 is not prime. Res64: 1DC3650A559BD26D Time : 0.0 sec. user=mdettweiler [2018-04-18 05:43:30] 675*2^1507420-1 is not prime. Res64: DC31DCF8F751AF44 Time : 0.0 sec. user=mdettweiler [2018-04-18 05:43:31] 699*2^1507420-1 is not prime. Res64: 0D9E37C26971D2FB Time : 0.0 sec. user=mdettweiler [2018-04-18 05:52:47] 819*2^1507420-1 is not prime. Res64: 7A719796CEBF52FD Time : 0.0 sec. user=mdettweiler [2018-04-18 05:52:47] 855*2^1507420-1 is not prime. Res64: E2EB43B1A1D8524B Time : 0.0 sec. user=mdettweiler [2018-04-18 05:52:48] 875*2^1507420-1 is not prime. Res64: 4F3F75B8EAFFC17B Time : 0.0 sec. user=mdettweiler [2018-04-18 05:52:48] 999*2^1507420-1 is not prime. Res64: A77DB7CCA9A896FA Time : 0.0 sec. user=mdettweiler [2018-04-18 05:52:49] 697*2^1507421-1 is not prime. Res64: C4E4FDC7B6E00BDB Time : 0.0 sec. user=mdettweiler [2018-04-18 06:09:31] 747*2^1507421-1 is not prime. Res64: 46603CFF3B8E7A83 Time : 0.0 sec. user=mdettweiler [2018-04-18 06:09:31] 837*2^1507421-1 is not prime. Res64: F02B0593A27C7507 Time : 0.0 sec. user=mdettweiler [2018-04-18 06:09:33] 927*2^1507421-1 is not prime. Res64: BA2EC11B37C95FD3 Time : 0.0 sec. user=mdettweiler [2018-04-18 06:09:33] 981*2^1507421-1 is not prime. Res64: D09A19F7FF90AAFD Time : 0.0 sec. user=mdettweiler [2018-04-18 06:09:34] 705*2^1507422-1 is not prime. Res64: CA1E24A1FD3D2D52 Time : 0.0 sec. user=mdettweiler [2018-04-18 06:36:48] 825*2^1507422-1 is not prime. Res64: E74927EDB89042B2 Time : 0.0 sec. user=mdettweiler [2018-04-18 06:36:48] 769*2^1507423-1 is not prime. Res64: 0902BF70FF7904FB Time : 0.0 sec. user=mdettweiler [2018-04-18 06:36:48] 775*2^1507423-1 is not prime. Res64: 9F97F309D7F639DE Time : 0.0 sec. user=mdettweiler [2018-04-18 06:36:49] 783*2^1507423-1 is not prime. Res64: 41EAB1F8651252AA Time : 0.0 sec. user=mdettweiler [2018-04-18 06:36:49] 945*2^1507423-1 is not prime. Res64: 851C5C069DD7F782 Time : 0.0 sec. user=mdettweiler [2018-04-18 06:45:01] 973*2^1507423-1 is not prime. Res64: 50D07CCB0780C241 Time : 0.0 sec. user=mdettweiler [2018-04-18 06:45:01] 635*2^1507424-1 is not prime. Res64: 10B8D27B370B4527 Time : 0.0 sec. user=mdettweiler [2018-04-18 06:45:02] 657*2^1507424-1 is not prime. Res64: F4FA025778BD1DAF Time : 0.0 sec. user=mdettweiler [2018-04-18 06:45:03] 897*2^1507424-1 is not prime. Res64: B5412E1117F22EE1 Time : 0.0 sec. user=mdettweiler [2018-04-18 06:45:03] 741*2^1507425-1 is not prime. Res64: 69BB91EFE07DC3F9 Time : 0.0 sec. user=mdettweiler [2018-04-18 07:00:54] 759*2^1507425-1 is not prime. Res64: 6ADC912065474A9F Time : 0.0 sec. user=mdettweiler [2018-04-18 07:00:55] 955*2^1507425-1 is not prime. Res64: 566ACEFB0B9D8BC5 Time : 0.0 sec. user=mdettweiler [2018-04-18 07:00:56] 997*2^1507425-1 is not prime. Res64: 51F6ACBA356DB394 Time : 0.0 sec. user=mdettweiler [2018-04-18 07:00:57] 635*2^1507426-1 is not prime. Res64: 0FC321BE649ACB90 Time : 0.0 sec. user=mdettweiler [2018-04-18 07:00:58] 671*2^1507426-1 is not prime. Res64: CF40EABAB107B7F4 Time : 0.0 sec. user=mdettweiler [2018-04-18 07:28:42] 735*2^1507426-1 is not prime. Res64: 65B1032806C125D4 Time : 0.0 sec. user=mdettweiler [2018-04-18 07:28:42] 747*2^1507426-1 is not prime. Res64: 4322A7B881A8AD0C Time : 0.0 sec. user=mdettweiler [2018-04-18 07:28:43] 825*2^1507426-1 is not prime. Res64: D84293CD8840FF9B Time : 0.0 sec. user=mdettweiler [2018-04-18 07:28:43] 833*2^1507426-1 is not prime. Res64: 2F3FACBC56AB7B3E Time : 0.0 sec. user=mdettweiler [2018-04-18 07:28:43] 673*2^1507427-1 is not prime. Res64: A3ACFB8F1670817D Time : 0.0 sec. user=mdettweiler [2018-04-18 07:36:27] 823*2^1507427-1 is not prime. Res64: 28F53D7794B314C9 Time : 0.0 sec. user=mdettweiler [2018-04-18 07:36:28] 829*2^1507427-1 is not prime. Res64: 07975AE1F3109601 Time : 0.0 sec. user=mdettweiler [2018-04-18 07:36:28] 955*2^1507427-1 is not prime. Res64: BDB42D37DF72A5AB Time : 0.0 sec. user=mdettweiler [2018-04-18 07:36:29] 605*2^1507428-1 is not prime. Res64: DF6CB22DF3366CA7 Time : 0.0 sec. user=mdettweiler [2018-04-18 07:36:29] 657*2^1507428-1 is not prime. Res64: 47A8B770E9EE61AE Time : 0.0 sec. user=mdettweiler [2018-04-18 07:37:19] 973*2^1507415-1 is not prime. Res64: 2222E3279C126815 Time : 0.0 sec. user=mdettweiler [2018-04-18 07:37:19] 837*2^1507416-1 is not prime. Res64: A61C907EC6B7E0B6 Time : 0.0 sec. user=mdettweiler [2018-04-18 07:37:20] 845*2^1507416-1 is not prime. Res64: EDAFEA3D06F8D061 Time : 0.0 sec. user=mdettweiler [2018-04-18 07:37:20] 899*2^1507416-1 is not prime. Res64: 49DC5AB5780715AE Time : 0.0 sec. user=mdettweiler [2018-04-18 07:52:31] 915*2^1507428-1 is not prime. Res64: 7A3EDCC333B1B790 Time : 0.0 sec. user=mdettweiler [2018-04-18 07:52:31] 977*2^1507428-1 is not prime. Res64: 26B393EF8251ADB1 Time : 0.0 sec. user=mdettweiler [2018-04-18 07:52:32] 855*2^1507429-1 is not prime. Res64: F3AF40604E896649 Time : 0.0 sec. user=mdettweiler [2018-04-18 07:52:32] 895*2^1507429-1 is not prime. Res64: 53E002EC0392E1AF Time : 0.0 sec. user=mdettweiler [2018-04-18 07:52:32] 641*2^1507430-1 is not prime. Res64: 459C1C82677302BB Time : 0.0 sec. user=mdettweiler [2018-04-18 08:19:02] 677*2^1507430-1 is not prime. Res64: B41122D0A30EE074 Time : 0.0 sec. user=mdettweiler [2018-04-18 08:19:02] 717*2^1507430-1 is not prime. Res64: E7B3D7AD75BECB41 Time : 0.0 sec. user=mdettweiler [2018-04-18 08:19:02] 797*2^1507430-1 is not prime. Res64: 929773A78685F4E1 Time : 0.0 sec. user=mdettweiler [2018-04-18 08:19:03] 831*2^1507430-1 is not prime. Res64: D37906714C62AE5A Time : 0.0 sec. user=mdettweiler [2018-04-18 08:19:03] 885*2^1507430-1 is not prime. Res64: 16F4E6046DD77AAB Time : 0.0 sec. user=mdettweiler [2018-04-18 08:26:12] 897*2^1507430-1 is not prime. Res64: 174A3831D23E2B08 Time : 0.0 sec. user=mdettweiler [2018-04-18 08:26:13] 911*2^1507430-1 is not prime. Res64: 0CBBB7B1B237EA2A Time : 0.0 sec. user=mdettweiler [2018-04-18 08:26:13] 977*2^1507430-1 is not prime. Res64: 03D2185666E930B1 Time : 0.0 sec. user=mdettweiler [2018-04-18 08:26:14] 613*2^1507431-1 is not prime. Res64: B800CFD447B06709 Time : 0.0 sec. user=mdettweiler [2018-04-18 08:26:14] 625*2^1507431-1 is not prime. Res64: 132055541D5E064E Time : 0.0 sec. user=mdettweiler [2018-04-18 08:27:27] 675*2^1507431-1 is not prime. Res64: 337720DEC4CE079F Time : 0.0 sec. user=mdettweiler [2018-04-18 08:27:28] 691*2^1507431-1 is not prime. Res64: 797D74FE0D8D75FA Time : 0.0 sec. user=mdettweiler [2018-04-18 08:27:28] 723*2^1507431-1 is not prime. Res64: D4B3E08982B02DA0 Time : 0.0 sec. user=mdettweiler [2018-04-18 08:27:29] 775*2^1507431-1 is not prime. Res64: 531F89222FAB4694 Time : 0.0 sec. user=mdettweiler [2018-04-18 08:27:29] 859*2^1507431-1 is not prime. Res64: CF5AAE5BB95C1346 Time : 0.0 sec. user=mdettweiler [2018-04-18 08:43:23] 891*2^1507431-1 is not prime. Res64: ECDF472ECEA8AC41 Time : 0.0 sec. user=mdettweiler [2018-04-18 08:43:24] 895*2^1507431-1 is not prime. Res64: F34D5C741410569B Time : 0.0 sec. user=mdettweiler [2018-04-18 08:43:24] 955*2^1507431-1 is not prime. Res64: 055D042C01246846 Time : 0.0 sec. user=mdettweiler [2018-04-18 08:43:24] 991*2^1507431-1 is not prime. Res64: 94FC6233DC5DB9D6 Time : 0.0 sec. user=mdettweiler [2018-04-18 08:43:25] 603*2^1507432-1 is not prime. Res64: 588DC435648A2064 Time : 0.0 sec. user=mdettweiler [2018-04-18 09:10:23] 719*2^1507432-1 is not prime. Res64: 2413294CBF1667E7 Time : 0.0 sec. user=mdettweiler [2018-04-18 09:10:23] 803*2^1507432-1 is not prime. Res64: A748BC6C6A8714FC Time : 0.0 sec. user=mdettweiler [2018-04-18 09:10:24] 855*2^1507432-1 is not prime. Res64: 3736AC7D7136A80C Time : 0.0 sec. user=mdettweiler [2018-04-18 09:10:24] 897*2^1507432-1 is not prime. Res64: 07712925523D371D Time : 0.0 sec. user=mdettweiler [2018-04-18 09:10:25] 995*2^1507432-1 is not prime. Res64: 818EC67A1C123143 Time : 0.0 sec. user=mdettweiler [2018-04-18 09:17:47] 759*2^1507433-1 is not prime. Res64: 0D0444388225576B Time : 0.0 sec. user=mdettweiler [2018-04-18 09:17:47] 847*2^1507433-1 is not prime. Res64: 13D07ABB5FDAB5B9 Time : 0.0 sec. user=mdettweiler [2018-04-18 09:17:48] 879*2^1507433-1 is not prime. Res64: DEE29D8FB533C268 Time : 0.0 sec. user=mdettweiler [2018-04-18 09:17:48] 925*2^1507433-1 is not prime. Res64: 0C088269CAED3F23 Time : 0.0 sec. user=mdettweiler [2018-04-18 09:17:49] 937*2^1507433-1 is not prime. Res64: 472C1211C8097084 Time : 0.0 sec. user=mdettweiler [2018-04-18 09:18:02] 633*2^1507434-1 is not prime. Res64: CC55ED6F4D9648DF Time : 0.0 sec. user=mdettweiler [2018-04-18 09:18:02] 705*2^1507434-1 is not prime. Res64: BFE816BD3434BBAC Time : 0.0 sec. user=mdettweiler [2018-04-18 09:18:02] 741*2^1507434-1 is not prime. Res64: 5ABE9822FEEB04DA Time : 0.0 sec. user=mdettweiler [2018-04-18 09:18:03] 783*2^1507434-1 is not prime. Res64: 7093D8FE5A356471 Time : 0.0 sec. user=mdettweiler [2018-04-18 09:18:03] 873*2^1507434-1 is not prime. Res64: 4676B7109EAC15C4 Time : 0.0 sec. user=mdettweiler [2018-04-18 09:38:17] 875*2^1507434-1 is not prime. Res64: 566C37E8B6F7CF99 Time : 0.0 sec. user=mdettweiler [2018-04-18 09:38:17] 881*2^1507434-1 is not prime. Res64: CBA2E8E92485F897 Time : 0.0 sec. user=mdettweiler [2018-04-18 09:38:18] 927*2^1507434-1 is not prime. Res64: 1254C6949AA4DEDB Time : 0.0 sec. user=mdettweiler [2018-04-18 09:38:18] 1001*2^1507434-1 is not prime. Res64: D6D2804F797CB5EB Time : 0.0 sec. user=mdettweiler [2018-04-18 09:38:18] 685*2^1507435-1 is not prime. Res64: D44E825609B63A72 Time : 0.0 sec. user=mdettweiler [2018-04-18 10:05:32] 765*2^1507435-1 is not prime. Res64: 79B4223F7FA3E181 Time : 0.0 sec. user=mdettweiler [2018-04-18 10:05:33] 829*2^1507435-1 is not prime. Res64: D4F1D88673E01BEF Time : 0.0 sec. user=mdettweiler [2018-04-18 10:05:34] 859*2^1507435-1 is not prime. Res64: 6741355EDFA4708E Time : 0.0 sec. user=mdettweiler [2018-04-18 10:05:35] 979*2^1507435-1 is not prime. Res64: 125DE94FCE01986B Time : 0.0 sec. user=mdettweiler [2018-04-18 10:05:36] 609*2^1507436-1 is not prime. Res64: C64C6BFB6134E407 Time : 0.0 sec. user=mdettweiler [2018-04-18 10:11:38] 879*2^1507436-1 is not prime. Res64: B34AAF15427E881E Time : 0.0 sec. user=mdettweiler [2018-04-18 10:11:38] 909*2^1507436-1 is not prime. Res64: 8D43BAE10D0795C6 Time : 0.0 sec. user=mdettweiler [2018-04-18 10:11:39] 957*2^1507436-1 is not prime. Res64: 8D9FAED9B0B12132 Time : 0.0 sec. user=mdettweiler [2018-04-18 10:11:39] 993*2^1507436-1 is not prime. Res64: 81A00A6A247BABF9 Time : 0.0 sec. user=mdettweiler [2018-04-18 10:11:40] 625*2^1507437-1 is not prime. Res64: A06CCC89B820EA12 Time : 0.0 sec. user=mdettweiler [2018-04-18 10:13:35] 633*2^1507436-1 is not prime. Res64: 9E04083CB3966E17 Time : 0.0 sec. user=mdettweiler [2018-04-18 10:13:35] 647*2^1507436-1 is not prime. Res64: FF679743A1A2F974 Time : 0.0 sec. user=mdettweiler [2018-04-18 10:13:36] 759*2^1507436-1 is not prime. Res64: FAF262D18B172A3A Time : 0.0 sec. user=mdettweiler [2018-04-18 10:13:36] 803*2^1507436-1 is not prime. Res64: 3934B07FFAA738A4 Time : 0.0 sec. user=mdettweiler [2018-04-18 10:13:36] 837*2^1507436-1 is not prime. Res64: 870C3CF1993AC6D9 Time : 0.0 sec. user=mdettweiler [2018-04-18 10:34:44] 627*2^1507437-1 is not prime. Res64: EFB6FE254B3700D8 Time : 0.0 sec. user=mdettweiler [2018-04-18 10:34:45] 741*2^1507437-1 is not prime. Res64: 48EAC5124BD4E346 Time : 0.0 sec. user=mdettweiler [2018-04-18 10:34:45] 765*2^1507437-1 is not prime. Res64: F65A74EE5F0AA303 Time : 0.0 sec. user=mdettweiler [2018-04-18 10:34:46] 817*2^1507437-1 is not prime. Res64: C896D98C4E393B60 Time : 0.0 sec. user=mdettweiler [2018-04-18 10:34:46] 605*2^1507438-1 is not prime. Res64: D6FCA932F8A81456 Time : 0.0 sec. user=mdettweiler [2018-04-18 10:58:25] 681*2^1507438-1 is not prime. Res64: EABBAA81C3AB099E Time : 0.0 sec. user=mdettweiler [2018-04-18 10:58:25] 705*2^1507438-1 is not prime. Res64: 2D29DB7ED46AB1D5 Time : 0.0 sec. user=mdettweiler [2018-04-18 10:58:26] 713*2^1507438-1 is not prime. Res64: 979C243339926479 Time : 0.0 sec. user=mdettweiler [2018-04-18 10:58:26] 777*2^1507438-1 is not prime. Res64: A3D73C81A6E69C62 Time : 0.0 sec. user=mdettweiler [2018-04-18 10:58:26] 813*2^1507438-1 is not prime. Res64: E5E9025760973093 Time : 0.0 sec. user=mdettweiler [2018-04-18 11:05:54] 887*2^1507438-1 is not prime. Res64: 79744EE4EBE2610B Time : 0.0 sec. user=mdettweiler [2018-04-18 11:05:58] 897*2^1507438-1 is not prime. Res64: 81D16C68B73251A7 Time : 0.0 sec. user=mdettweiler [2018-04-18 11:06:02] 923*2^1507438-1 is not prime. Res64: 9BCC3A64EEA49848 Time : 0.0 sec. user=mdettweiler [2018-04-18 11:06:04] 951*2^1507438-1 is not prime. Res64: A81241C3743081BB Time : 0.0 sec. user=mdettweiler [2018-04-18 11:06:08] 971*2^1507438-1 is not prime. Res64: 7CF9B09C991615B5 Time : 0.0 sec. user=mdettweiler [2018-04-18 11:08:32] 975*2^1507438-1 is not prime. Res64: 5809EDF3870F8DC7 Time : 0.0 sec. user=mdettweiler [2018-04-18 11:08:46] 619*2^1507439-1 is not prime. Res64: 3222FA3F7138DCC6 Time : 0.0 sec. user=mdettweiler [2018-04-18 11:29:14] 861*2^1507439-1 is not prime. Res64: C19595ADB340094F Time : 0.0 sec. user=mdettweiler [2018-04-18 11:29:15] 969*2^1507439-1 is not prime. Res64: 149CC8E395A4DB7B Time : 0.0 sec. user=mdettweiler [2018-04-18 11:29:15] 797*2^1507440-1 is not prime. Res64: 6DCCD9F7D08EE1C6 Time : 0.0 sec. user=mdettweiler [2018-04-18 11:29:16] 839*2^1507440-1 is not prime. Res64: B06CA36086E9944A Time : 0.0 sec. user=mdettweiler [2018-04-18 11:29:16] 863*2^1507440-1 is not prime. Res64: F805F77F4524DC37 Time : 0.0 sec. user=mdettweiler [2018-04-18 11:50:45] 909*2^1507440-1 is not prime. Res64: 9A212734B8DCC53C Time : 0.0 sec. user=mdettweiler [2018-04-18 11:50:45] 923*2^1507440-1 is not prime. Res64: 3A73086B5CB868B4 Time : 0.0 sec. user=mdettweiler [2018-04-18 11:50:46] 929*2^1507440-1 is not prime. Res64: A3AEFFD904DD2AE2 Time : 0.0 sec. user=mdettweiler [2018-04-18 11:50:46] 945*2^1507440-1 is not prime. Res64: 9B44E4BDA7266DA6 Time : 0.0 sec. user=mdettweiler [2018-04-18 11:50:47] 645*2^1507441-1 is not prime. Res64: 4FEB8BD119758320 Time : 0.0 sec. user=mdettweiler [2018-04-18 12:02:21] 895*2^1507441-1 is not prime. Res64: B741B09E08145C27 Time : 0.0 sec. user=mdettweiler [2018-04-18 12:02:21] 931*2^1507441-1 is not prime. Res64: 2E906C2E52EA2A27 Time : 0.0 sec. user=mdettweiler [2018-04-18 12:02:22] 615*2^1507442-1 is not prime. Res64: 579EF73EBFA7BC00 Time : 0.0 sec. user=mdettweiler [2018-04-18 12:02:23] 675*2^1507442-1 is not prime. Res64: 1FCDB7F6C5274736 Time : 0.0 sec. user=mdettweiler [2018-04-18 12:02:24] 731*2^1507442-1 is not prime. Res64: C51A1633DFB6120B Time : 0.0 sec. user=mdettweiler [2018-04-18 12:23:16] 755*2^1507442-1 is not prime. Res64: C25D1DD28130F4E2 Time : 0.0 sec. user=mdettweiler [2018-04-18 12:23:16] 825*2^1507442-1 is not prime. Res64: EC585C7713ABC722 Time : 0.0 sec. user=mdettweiler [2018-04-18 12:23:16] 921*2^1507442-1 is not prime. Res64: DAC600F7C0058AEB Time : 0.0 sec. user=mdettweiler [2018-04-18 12:23:17] 977*2^1507442-1 is not prime. Res64: 03529DABB1407122 Time : 0.0 sec. user=mdettweiler [2018-04-18 12:23:17] 1001*2^1507442-1 is not prime. Res64: ECD8EC19D0DA51AA Time : 0.0 sec. user=mdettweiler [2018-04-18 12:44:03] 639*2^1507443-1 is not prime. Res64: 1F35ACC754C27736 Time : 0.0 sec. user=mdettweiler [2018-04-18 12:44:03] 709*2^1507443-1 is not prime. Res64: 221B94E3BEF91DDC Time : 0.0 sec. user=mdettweiler [2018-04-18 12:44:04] 741*2^1507443-1 is not prime. Res64: 9E05676A81FE309B Time : 0.0 sec. user=mdettweiler [2018-04-18 12:44:04] 805*2^1507443-1 is not prime. Res64: F6E43A472574B12C Time : 0.0 sec. user=mdettweiler [2018-04-18 12:44:05] 819*2^1507443-1 is not prime. Res64: 7645BE2D2ADE3B52 Time : 0.0 sec. user=mdettweiler [2018-04-18 12:55:24] 949*2^1507443-1 is not prime. Res64: 94BA8CF6C08A3B54 Time : 0.0 sec. user=mdettweiler [2018-04-18 12:55:25] 675*2^1507444-1 is not prime. Res64: E242BBCEB6034B1F Time : 0.0 sec. user=mdettweiler [2018-04-18 12:55:25] 705*2^1507444-1 is not prime. Res64: 905DDC192D6AE6D3 Time : 0.0 sec. user=mdettweiler [2018-04-18 12:55:26] 723*2^1507444-1 is not prime. Res64: 00ECA1BAFC7E6762 Time : 0.0 sec. user=mdettweiler [2018-04-18 12:55:26] 965*2^1507444-1 is not prime. Res64: 2601EAFC5B8C7776 Time : 0.0 sec. user=mdettweiler [2018-04-18 13:18:15] 969*2^1507444-1 is not prime. Res64: AA7B7E4D73A6C650 Time : 0.0 sec. user=mdettweiler [2018-04-18 13:18:15] 657*2^1507445-1 is not prime. Res64: 25E9D3082CDD73D5 Time : 0.0 sec. user=mdettweiler [2018-04-18 13:18:16] 757*2^1507445-1 is not prime. Res64: 386B308624517F02 Time : 0.0 sec. user=mdettweiler [2018-04-18 13:18:16] 885*2^1507445-1 is not prime. Res64: 7667C7D774FCFD0F Time : 0.0 sec. user=mdettweiler [2018-04-18 13:18:17] 981*2^1507445-1 is not prime. Res64: BCCF56B7E43EAD32 Time : 0.0 sec. user=mdettweiler [2018-04-18 13:43:59] 693*2^1507446-1 is not prime. Res64: F469D658C28BE606 Time : 0.0 sec. user=mdettweiler [2018-04-18 13:43:59] 765*2^1507446-1 is not prime. Res64: D0AB67274AA7462C Time : 0.0 sec. user=mdettweiler [2018-04-18 13:44:00] 795*2^1507446-1 is not prime. Res64: 65004BFA0EBDE2CD Time : 0.0 sec. user=mdettweiler [2018-04-18 13:44:00] 807*2^1507446-1 is not prime. Res64: 2836D1F967BD5B62 Time : 0.0 sec. user=mdettweiler [2018-04-18 13:44:00] 867*2^1507446-1 is not prime. Res64: AB2110E45A749D6B Time : 0.0 sec. user=mdettweiler [2018-04-18 13:53:39] 933*2^1507446-1 is not prime. Res64: 4749F394933C791E Time : 0.0 sec. user=mdettweiler [2018-04-18 13:53:40] 873*2^1507447-1 is not prime. Res64: 8AFFCA46AE4F85D3 Time : 0.0 sec. user=mdettweiler [2018-04-18 13:53:40] 909*2^1507447-1 is not prime. Res64: 6A1C0AAE3C7F5F41 Time : 0.0 sec. user=mdettweiler [2018-04-18 13:53:40] 933*2^1507447-1 is not prime. Res64: B30EF4E9E829B8F7 Time : 0.0 sec. user=mdettweiler [2018-04-18 13:53:41] 961*2^1507447-1 is not prime. Res64: E13F368BD6EEF88A Time : 0.0 sec. user=mdettweiler [2018-04-18 14:14:02] 713*2^1507448-1 is not prime. Res64: 492BE080E1EB3B8E Time : 0.0 sec. user=mdettweiler [2018-04-18 14:14:03] 815*2^1507448-1 is not prime. Res64: AA91968189E9CA9D Time : 0.0 sec. user=mdettweiler [2018-04-18 14:14:04] 855*2^1507448-1 is not prime. Res64: EF45CF202E35A511 Time : 0.0 sec. user=mdettweiler [2018-04-18 14:14:04] 945*2^1507448-1 is not prime. Res64: 72050E546C6101FE Time : 0.0 sec. user=mdettweiler [2018-04-18 14:14:04] 999*2^1507448-1 is not prime. Res64: EC43FFBEC85B0A8D Time : 0.0 sec. user=mdettweiler [2018-04-18 14:34:51] 685*2^1507449-1 is not prime. Res64: 53B77C38EB427382 Time : 0.0 sec. user=mdettweiler [2018-04-18 14:34:52] 807*2^1507449-1 is not prime. Res64: 87755308611BE875 Time : 0.0 sec. user=mdettweiler [2018-04-18 14:34:52] 865*2^1507449-1 is not prime. Res64: 17B8B1EE619C7554 Time : 0.0 sec. user=mdettweiler [2018-04-18 14:34:52] 657*2^1507450-1 is not prime. Res64: 9BE5843DFE5CD4FF Time : 0.0 sec. user=mdettweiler [2018-04-18 14:34:53] 687*2^1507450-1 is not prime. Res64: 630FAA9FDCAD5CD8 Time : 0.0 sec. user=mdettweiler [2018-04-18 14:45:57] 813*2^1507450-1 is not prime. Res64: E9EE6A1518C43F9C Time : 0.0 sec. user=mdettweiler [2018-04-18 14:45:58] 831*2^1507450-1 is not prime. Res64: 64322B9EDB806B4D Time : 0.0 sec. user=mdettweiler [2018-04-18 14:45:58] 867*2^1507450-1 is not prime. Res64: 9E7B8C4A16088BAA Time : 0.0 sec. user=mdettweiler [2018-04-18 14:45:58] 873*2^1507450-1 is not prime. Res64: 91D14D1580459686 Time : 0.0 sec. user=mdettweiler [2018-04-18 14:45:59] 905*2^1507450-1 is not prime. Res64: 787C5FF0D285DF39 Time : 0.0 sec. user=mdettweiler [2018-04-18 15:07:52] 655*2^1507439-1 is not prime. Res64: AF4E6ECEC0F6D316 Time : 0.0 sec. user=mdettweiler [2018-04-18 15:07:53] 711*2^1507439-1 is not prime. Res64: 31201D630EEBF9E8 Time : 0.0 sec. user=mdettweiler [2018-04-18 15:07:55] 753*2^1507439-1 is not prime. Res64: 11406283DA5EA4A7 Time : 0.0 sec. user=mdettweiler [2018-04-18 15:08:04] 917*2^1507450-1 is not prime. Res64: 9CEE6A5EB83EEB01 Time : 0.0 sec. user=mdettweiler [2018-04-18 15:08:06] 923*2^1507450-1 is not prime. Res64: F1AB8C3EFA26C05A Time : 0.0 sec. user=mdettweiler [2018-04-18 15:08:08] 735*2^1507451-1 is not prime. Res64: 7C7A8111116D0E2E Time : 0.0 sec. user=mdettweiler [2018-04-18 15:08:08] 823*2^1507451-1 is not prime. Res64: 78811CAF556F63D6 Time : 0.0 sec. user=mdettweiler [2018-04-18 15:08:09] 841*2^1507451-1 is not prime. Res64: 5C60FC2E91B9A225 Time : 0.0 sec. user=mdettweiler [2018-04-18 15:30:40] 939*2^1507451-1 is not prime. Res64: 6B5E97CF5BFE3961 Time : 0.0 sec. user=mdettweiler [2018-04-18 15:30:41] 945*2^1507451-1 is not prime. Res64: E3ED05C3C2FCBFD0 Time : 0.0 sec. user=mdettweiler [2018-04-18 15:30:41] 979*2^1507451-1 is not prime. Res64: 08E5A22E9100C47E Time : 0.0 sec. user=mdettweiler [2018-04-18 15:30:42] 609*2^1507452-1 is not prime. Res64: C3BC36E5BECA7805 Time : 0.0 sec. user=mdettweiler [2018-04-18 15:30:42] 843*2^1507452-1 is not prime. Res64: 304864E2F6C1613D Time : 0.0 sec. user=mdettweiler [2018-04-18 15:43:51] 975*2^1507452-1 is not prime. Res64: 42E543B175A2725D Time : 0.0 sec. user=mdettweiler [2018-04-18 15:43:52] 817*2^1507453-1 is not prime. Res64: D6E9FE908F06886D Time : 0.0 sec. user=mdettweiler [2018-04-18 15:43:52] 831*2^1507453-1 is not prime. Res64: 6DD85E8D146A4729 Time : 0.0 sec. user=mdettweiler [2018-04-18 15:43:52] 945*2^1507453-1 is not prime. Res64: CC04169F6ADB7D57 Time : 0.0 sec. user=mdettweiler [2018-04-18 15:43:53] 999*2^1507453-1 is not prime. Res64: 479501A75A318F62 Time : 0.0 sec. user=mdettweiler [2018-04-18 16:01:50] 917*2^1507454-1 is not prime. Res64: 228ECB5BEF37FE15 Time : 0.0 sec. user=mdettweiler [2018-04-18 16:01:54] 921*2^1507454-1 is not prime. Res64: 2CE820D20282096C Time : 0.0 sec. user=mdettweiler [2018-04-18 16:01:56] 965*2^1507454-1 is not prime. Res64: 5E4F997FAA678201 Time : 0.0 sec. user=mdettweiler [2018-04-18 16:01:57] 709*2^1507455-1 is not prime. Res64: 867699C523ECC99E Time : 0.0 sec. user=mdettweiler [2018-04-18 16:01:58] 825*2^1507455-1 is not prime. Res64: E5F9B57A31CFB8D4 Time : 0.0 sec. user=mdettweiler [2018-04-18 16:05:52] 853*2^1507455-1 is not prime. Res64: DE6F12977963107B Time : 0.0 sec. user=mdettweiler [2018-04-18 16:05:54] 861*2^1507455-1 is not prime. Res64: 3AB31B422811CD12 Time : 0.0 sec. user=mdettweiler [2018-04-18 16:05:55] 699*2^1507456-1 is not prime. Res64: F2DC9E547258790E Time : 0.0 sec. user=mdettweiler [2018-04-18 16:05:56] 897*2^1507456-1 is not prime. Res64: D7E9748A13B44545 Time : 0.0 sec. user=mdettweiler [2018-04-18 16:05:57] 917*2^1507456-1 is not prime. Res64: 9E2D59CEC751439C Time : 0.0 sec. user=mdettweiler [2018-04-18 16:27:00] 649*2^1507457-1 is not prime. Res64: F4E1749DCF8B5570 Time : 0.0 sec. user=mdettweiler [2018-04-18 16:27:00] 759*2^1507457-1 is not prime. Res64: DA8B70F2F0972999 Time : 0.0 sec. user=mdettweiler [2018-04-18 16:27:01] 777*2^1507457-1 is not prime. Res64: 836371E79A528C83 Time : 0.0 sec. user=mdettweiler [2018-04-18 16:27:01] 671*2^1507458-1 is not prime. Res64: 6CF2EA0D3782F45E Time : 0.0 sec. user=mdettweiler [2018-04-18 16:27:02] 755*2^1507458-1 is not prime. Res64: 056F316FB6163C7C Time : 0.0 sec. user=mdettweiler [2018-04-18 16:34:15] 609*2^1507459-1 is not prime. Res64: 912215B9C17CDBDE Time : 0.0 sec. user=mdettweiler [2018-04-18 16:34:16] 625*2^1507459-1 is not prime. Res64: 8BF18B6CA421A5AC Time : 0.0 sec. user=mdettweiler [2018-04-18 16:34:16] 745*2^1507459-1 is not prime. Res64: 977EEEA431F91C92 Time : 0.0 sec. user=mdettweiler [2018-04-18 16:34:16] 765*2^1507459-1 is not prime. Res64: AF0669FB86F21CE2 Time : 0.0 sec. user=mdettweiler [2018-04-18 16:34:16] 769*2^1507459-1 is not prime. Res64: 520210AB58157B78 Time : 0.0 sec. user=mdettweiler [2018-04-18 16:59:47] 793*2^1507459-1 is not prime. Res64: B48418CDA2506F2D Time : 0.0 sec. user=mdettweiler [2018-04-18 16:59:47] 895*2^1507459-1 is not prime. Res64: 8342672FE4AE8EC7 Time : 0.0 sec. user=mdettweiler [2018-04-18 16:59:47] 975*2^1507459-1 is not prime. Res64: 5AA42BA913958E3D Time : 0.0 sec. user=mdettweiler [2018-04-18 16:59:48] 993*2^1507459-1 is not prime. Res64: BE4D99A81CCF85D3 Time : 0.0 sec. user=mdettweiler [2018-04-18 16:59:48] 669*2^1507460-1 is not prime. Res64: 8AF8FF78CE655170 Time : 0.0 sec. user=mdettweiler [2018-04-18 17:08:04] 753*2^1507460-1 is not prime. Res64: D3E580E30B08DC09 Time : 0.0 sec. user=mdettweiler [2018-04-18 17:08:05] 777*2^1507460-1 is not prime. Res64: F06A0169289D0070 Time : 0.0 sec. user=mdettweiler [2018-04-18 17:08:05] 879*2^1507460-1 is not prime. Res64: 1646EFC66B98F298 Time : 0.0 sec. user=mdettweiler [2018-04-18 17:08:06] 893*2^1507460-1 is not prime. Res64: 3CFE8A43A685E3C0 Time : 0.0 sec. user=mdettweiler [2018-04-18 17:08:06] 607*2^1507461-1 is not prime. Res64: 73FB4D8D71375B11 Time : 0.0 sec. user=mdettweiler [2018-04-18 17:24:53] 751*2^1507461-1 is not prime. Res64: 73AC3D6ACE52AF48 Time : 0.0 sec. user=mdettweiler [2018-04-18 17:24:54] 789*2^1507461-1 is not prime. Res64: 7DE81AE572C89991 Time : 0.0 sec. user=mdettweiler [2018-04-18 17:24:54] 805*2^1507461-1 is not prime. Res64: 2B45BA923B2DFF35 Time : 0.0 sec. user=mdettweiler [2018-04-18 17:24:55] 949*2^1507461-1 is not prime. Res64: 1D35787A2C7B5266 Time : 0.0 sec. user=mdettweiler [2018-04-18 17:24:55] 611*2^1507462-1 is not prime. Res64: 48E19ECD892B7E84 Time : 0.0 sec. user=mdettweiler [2018-04-18 17:30:55] 651*2^1507462-1 is not prime. Res64: 3F88A7DBEA22B569 Time : 0.0 sec. user=mdettweiler [2018-04-18 17:30:56] 731*2^1507462-1 is not prime. Res64: D0BF948ED1C790A6 Time : 0.0 sec. user=mdettweiler [2018-04-18 17:30:56] 831*2^1507462-1 is not prime. Res64: 1E40FE720933C026 Time : 0.0 sec. user=mdettweiler [2018-04-18 17:30:57] 863*2^1507462-1 is not prime. Res64: 45B41A81373B7876 Time : 0.0 sec. user=mdettweiler [2018-04-18 17:30:57] 911*2^1507462-1 is not prime. Res64: F62D2172597FA77C Time : 0.0 sec. user=mdettweiler [2018-04-18 17:50:46] 947*2^1507462-1 is not prime. Res64: 0E9C4E3AEFCEF0F4 Time : 0.0 sec. user=mdettweiler [2018-04-18 17:50:46] 965*2^1507462-1 is not prime. Res64: 8B2FCBE8332812AF Time : 0.0 sec. user=mdettweiler [2018-04-18 17:50:47] 1001*2^1507462-1 is not prime. Res64: EEC8D4CCEDEBEB0C Time : 0.0 sec. user=mdettweiler [2018-04-18 17:50:47] 643*2^1507463-1 is not prime. Res64: D89A7C8760A9DAF5 Time : 0.0 sec. user=mdettweiler [2018-04-18 17:50:47] 693*2^1507463-1 is not prime. Res64: 7F00B0A5431F6DC9 Time : 0.0 sec. user=mdettweiler [2018-04-18 17:58:54] 783*2^1507463-1 is not prime. Res64: 9FD275B4D88D8BF1 Time : 0.0 sec. user=mdettweiler [2018-04-18 17:58:54] 811*2^1507463-1 is not prime. Res64: 89DF1402FB58F093 Time : 0.0 sec. user=mdettweiler [2018-04-18 17:58:55] 939*2^1507463-1 is not prime. Res64: 90568AC4204FD1AD Time : 0.0 sec. user=mdettweiler [2018-04-18 17:58:55] 993*2^1507463-1 is not prime. Res64: 012566A8D52AF46C Time : 0.0 sec. user=mdettweiler [2018-04-18 17:58:56] 683*2^1507464-1 is not prime. Res64: 3F888BDAA9414896 Time : 0.0 sec. user=mdettweiler [2018-04-18 18:16:14] 747*2^1507464-1 is not prime. Res64: 08D9A53375A28C33 Time : 0.0 sec. user=mdettweiler [2018-04-18 18:16:14] 863*2^1507464-1 is not prime. Res64: ABB23D8F7BAF9401 Time : 0.0 sec. user=mdettweiler [2018-04-18 18:16:15] 887*2^1507464-1 is not prime. Res64: 4C85B574AF098C3C Time : 0.0 sec. user=mdettweiler [2018-04-18 18:16:15] 899*2^1507464-1 is not prime. Res64: C80CE5AED9596E59 Time : 0.0 sec. user=mdettweiler [2018-04-18 18:16:16] 917*2^1507464-1 is not prime. Res64: 58A1168DB9F1530C Time : 0.0 sec. user=mdettweiler [2018-04-18 18:20:56] 935*2^1507464-1 is not prime. Res64: 3A1895F5F620249B Time : 0.0 sec. user=mdettweiler [2018-04-18 18:20:57] 619*2^1507465-1 is not prime. Res64: B79206AD061B2913 Time : 0.0 sec. user=mdettweiler [2018-04-18 18:20:57] 625*2^1507465-1 is not prime. Res64: F6D35E5BEC6B9F4A Time : 0.0 sec. user=mdettweiler [2018-04-18 18:20:58] 661*2^1507465-1 is not prime. Res64: 1A56BC86568CF466 Time : 0.0 sec. user=mdettweiler [2018-04-18 18:20:58] 741*2^1507465-1 is not prime. Res64: 7D62BBFA02075A48 Time : 0.0 sec. user=mdettweiler [2018-04-18 18:41:43] 849*2^1507465-1 is not prime. Res64: F76D49FB7AD137FF Time : 0.0 sec. user=mdettweiler [2018-04-18 18:41:44] 861*2^1507465-1 is not prime. Res64: E4CA7AC8EA9C9051 Time : 0.0 sec. user=mdettweiler [2018-04-18 18:41:44] 919*2^1507465-1 is not prime. Res64: 7EE8E05BB773A5F2 Time : 0.0 sec. user=mdettweiler [2018-04-18 18:41:45] 937*2^1507465-1 is not prime. Res64: 91E51D238C1E7726 Time : 0.0 sec. user=mdettweiler [2018-04-18 18:41:45] 957*2^1507465-1 is not prime. Res64: 873752030CC4E400 Time : 0.0 sec. user=mdettweiler [2018-04-18 18:48:34] 635*2^1507466-1 is not prime. Res64: D3AD83F6B4BBE7DA Time : 0.0 sec. user=mdettweiler [2018-04-18 18:48:34] 645*2^1507466-1 is not prime. Res64: E66C2F9A6D625A2B Time : 0.0 sec. user=mdettweiler [2018-04-18 18:48:35] 683*2^1507466-1 is not prime. Res64: 486A4662E739A514 Time : 0.0 sec. user=mdettweiler [2018-04-18 18:48:35] 707*2^1507466-1 is not prime. Res64: 575495ABAEE9D2A3 Time : 0.0 sec. user=mdettweiler [2018-04-18 18:48:36] 827*2^1507466-1 is not prime. Res64: E126EEC9E9CF1BEE Time : 0.0 sec. user=mdettweiler [2018-04-18 19:10:44] 837*2^1507466-1 is not prime. Res64: 89410C5EA2BB7265 Time : 0.0 sec. user=mdettweiler [2018-04-18 19:10:44] 843*2^1507466-1 is not prime. Res64: BF28D1F67D498982 Time : 0.0 sec. user=mdettweiler [2018-04-18 19:10:45] 861*2^1507466-1 is not prime. Res64: C173F648AFEC3DE4 Time : 0.0 sec. user=mdettweiler [2018-04-18 19:10:45] 867*2^1507466-1 is not prime. Res64: 3D578666CB270A98 Time : 0.0 sec. user=mdettweiler [2018-04-18 19:10:45] 963*2^1507466-1 is not prime. Res64: C47C7CBACFF418F8 Time : 0.0 sec. user=mdettweiler [2018-04-18 19:15:18] 705*2^1507467-1 is not prime. Res64: 8A311049622117B4 Time : 0.0 sec. user=mdettweiler [2018-04-18 19:15:19] 751*2^1507467-1 is not prime. Res64: F09DABDE94CCD6DF Time : 0.0 sec. user=mdettweiler [2018-04-18 19:15:19] 775*2^1507467-1 is not prime. Res64: EA5C6495A5297D80 Time : 0.0 sec. user=mdettweiler [2018-04-18 19:15:20] 871*2^1507467-1 is not prime. Res64: 681FCAE0211EE741 Time : 0.0 sec. user=mdettweiler [2018-04-18 19:15:20] 909*2^1507467-1 is not prime. Res64: 28080CFD76FB71A8 Time : 0.0 sec. user=mdettweiler [2018-04-18 19:35:56] 963*2^1507467-1 is not prime. Res64: C8995E6F8234F9A6 Time : 0.0 sec. user=mdettweiler [2018-04-18 19:35:57] 991*2^1507467-1 is not prime. Res64: EFF0D509728D7F41 Time : 0.0 sec. user=mdettweiler [2018-04-18 19:35:58] 605*2^1507468-1 is not prime. Res64: A8BCF3C84E78821A Time : 0.0 sec. user=mdettweiler [2018-04-18 19:35:58] 735*2^1507468-1 is not prime. Res64: 9057A270AB982322 Time : 0.0 sec. user=mdettweiler [2018-04-18 19:35:59] 743*2^1507468-1 is not prime. Res64: 74C131DC6621F008 Time : 0.0 sec. user=mdettweiler [2018-04-18 19:43:57] 855*2^1507468-1 is not prime. Res64: 4AD223D703C69499 Time : 0.0 sec. user=mdettweiler [2018-04-18 19:43:57] 869*2^1507468-1 is not prime. Res64: 78F8496069A439EA Time : 0.0 sec. user=mdettweiler [2018-04-18 19:43:58] 787*2^1507469-1 is not prime. Res64: 4E751A2081D38C91 Time : 0.0 sec. user=mdettweiler [2018-04-18 19:43:58] 831*2^1507469-1 is not prime. Res64: 4ECC0B7C6553367C Time : 0.0 sec. user=mdettweiler [2018-04-18 19:43:58] 837*2^1507469-1 is not prime. Res64: 1DF0BF4AA3558C55 Time : 0.0 sec. user=mdettweiler [2018-04-18 20:02:33] 897*2^1507469-1 is not prime. Res64: 13C91AFA1BADECA4 Time : 0.0 sec. user=mdettweiler [2018-04-18 20:02:34] 927*2^1507469-1 is not prime. Res64: 30D4DE78FA95BA28 Time : 0.0 sec. user=mdettweiler [2018-04-18 20:02:35] 641*2^1507470-1 is not prime. Res64: 1C60C65E8B68A0F7 Time : 0.0 sec. user=mdettweiler [2018-04-18 20:02:35] 681*2^1507470-1 is not prime. Res64: 15083B1BB08F99D4 Time : 0.0 sec. user=mdettweiler [2018-04-18 20:02:36] 795*2^1507470-1 is not prime. Res64: 40FB3694BFBD0277 Time : 0.0 sec. user=mdettweiler [2018-04-18 20:05:36] 801*2^1507470-1 is not prime. Res64: D86357E95EF095C2 Time : 0.0 sec. user=mdettweiler [2018-04-18 20:05:37] 977*2^1507470-1 is not prime. Res64: E43506A3C4C60ACE Time : 0.0 sec. user=mdettweiler [2018-04-18 20:05:39] 603*2^1507471-1 is not prime. Res64: 4160998EFA0CEF1F Time : 0.0 sec. user=mdettweiler [2018-04-18 20:05:40] 615*2^1507471-1 is not prime. Res64: 7D937035A93A06FE Time : 0.0 sec. user=mdettweiler [2018-04-18 20:05:41] 619*2^1507471-1 is not prime. Res64: C201F20523EC146D Time : 0.0 sec. user=mdettweiler [2018-04-18 20:26:41] 645*2^1507471-1 is not prime. Res64: 63AF3E3B65308134 Time : 0.0 sec. user=mdettweiler [2018-04-18 20:26:41] 651*2^1507471-1 is not prime. Res64: 809C2951A39EFD64 Time : 0.0 sec. user=mdettweiler [2018-04-18 20:26:42] 723*2^1507471-1 is not prime. Res64: AD23758D1D2B19A9 Time : 0.0 sec. user=mdettweiler [2018-04-18 20:26:42] 735*2^1507471-1 is not prime. Res64: 3E6C28F698333634 Time : 0.0 sec. user=mdettweiler [2018-04-18 20:26:43] 841*2^1507471-1 is not prime. Res64: 00B8B676678B611D Time : 0.0 sec. user=mdettweiler [2018-04-18 20:35:37] 861*2^1507471-1 is not prime. Res64: 7D6CD9CA9D302524 Time : 0.0 sec. user=mdettweiler [2018-04-18 20:35:37] 873*2^1507471-1 is not prime. Res64: BAD23CF0B972B87E Time : 0.0 sec. user=mdettweiler [2018-04-18 20:35:37] 931*2^1507471-1 is not prime. Res64: 4DB5C951E1E3CC0C Time : 0.0 sec. user=mdettweiler [2018-04-18 20:35:38] 933*2^1507471-1 is not prime. Res64: 423C6692F1FA41A8 Time : 0.0 sec. user=mdettweiler [2018-04-18 20:35:38] 743*2^1507472-1 is not prime. Res64: 674D0ACC972D810B Time : 0.0 sec. user=mdettweiler [2018-04-18 20:54:27] 855*2^1507472-1 is not prime. Res64: F32DC4F1757855F6 Time : 0.0 sec. user=mdettweiler [2018-04-18 20:54:27] 857*2^1507472-1 is not prime. Res64: 41CD7964D3DC6A3D Time : 0.0 sec. user=mdettweiler [2018-04-18 20:54:27] 977*2^1507472-1 is not prime. Res64: 34D5574A76119050 Time : 0.0 sec. user=mdettweiler [2018-04-18 20:54:28] 995*2^1507472-1 is not prime. Res64: A023E2C35B8181CF Time : 0.0 sec. user=mdettweiler [2018-04-18 20:54:28] 675*2^1507473-1 is not prime. Res64: DE362F014724442F Time : 0.0 sec. user=mdettweiler [2018-04-18 20:56:23] 705*2^1507473-1 is not prime. Res64: DC2C0C9C7B667EAE Time : 0.0 sec. user=mdettweiler [2018-04-18 20:56:23] 745*2^1507473-1 is not prime. Res64: AA769A31CA651EF9 Time : 0.0 sec. user=mdettweiler [2018-04-18 20:56:23] 871*2^1507473-1 is not prime. Res64: E68E20430C49B592 Time : 0.0 sec. user=mdettweiler [2018-04-18 20:56:24] 635*2^1507474-1 is not prime. Res64: BE4AB0E0BDA14ABE Time : 0.0 sec. user=mdettweiler [2018-04-18 20:56:24] 671*2^1507474-1 is not prime. Res64: 010E376EBCDC1042 Time : 0.0 sec. user=mdettweiler [2018-04-18 21:17:19] 723*2^1507474-1 is not prime. Res64: 8972A52CC882B54D Time : 0.0 sec. user=mdettweiler [2018-04-18 21:17:20] 791*2^1507474-1 is not prime. Res64: 6867CA76C3DB3A37 Time : 0.0 sec. user=mdettweiler [2018-04-18 21:17:20] 821*2^1507474-1 is not prime. Res64: 15E72D1354BAD4A0 Time : 0.0 sec. user=mdettweiler [2018-04-18 21:17:21] 903*2^1507474-1 is not prime. Res64: A902BB2CC31B4079 Time : 0.0 sec. user=mdettweiler [2018-04-18 21:17:22] 915*2^1507474-1 is not prime. Res64: 8E6FFA04B24A6E65 Time : 0.0 sec. user=mdettweiler [2018-04-18 21:25:52] 645*2^1507475-1 is not prime. Res64: 4B3D73B6ECABC2FF Time : 0.0 sec. user=mdettweiler [2018-04-18 21:25:52] 799*2^1507475-1 is not prime. Res64: 2DD433BDFDB4E200 Time : 0.0 sec. user=mdettweiler [2018-04-18 21:25:53] 801*2^1507475-1 is not prime. Res64: 00E4064A4885C105 Time : 0.0 sec. user=mdettweiler [2018-04-18 21:25:53] 985*2^1507475-1 is not prime. Res64: E455406E68FF0CEF Time : 0.0 sec. user=mdettweiler [2018-04-18 21:25:54] 633*2^1507476-1 is not prime. Res64: AAA158D5504ED810 Time : 0.0 sec. user=mdettweiler [2018-04-18 21:44:15] 657*2^1507476-1 is not prime. Res64: 7902E3DA1D0ABABA Time : 0.0 sec. user=mdettweiler [2018-04-18 21:44:15] 707*2^1507476-1 is not prime. Res64: F675BEDDC7D7923D Time : 0.0 sec. user=mdettweiler [2018-04-18 21:44:15] 723*2^1507476-1 is not prime. Res64: 8508D35BFEA8ED0F Time : 0.0 sec. user=mdettweiler [2018-04-18 21:44:16] 759*2^1507476-1 is not prime. Res64: CBAA356590B2108E Time : 0.0 sec. user=mdettweiler [2018-04-18 21:44:16] 777*2^1507476-1 is not prime. Res64: FBF6DDFE6CEC7250 Time : 0.0 sec. user=mdettweiler [2018-04-18 21:47:15] 945*2^1507476-1 is not prime. Res64: 208E42C4DFF5E0B5 Time : 0.0 sec. user=mdettweiler [2018-04-18 21:47:16] 729*2^1507477-1 is not prime. Res64: E59591BCE6640079 Time : 0.0 sec. user=mdettweiler [2018-04-18 21:47:16] 747*2^1507477-1 is not prime. Res64: 790A22BFB56AEA95 Time : 0.0 sec. user=mdettweiler [2018-04-18 21:47:16] 775*2^1507477-1 is not prime. Res64: 9147C3D539C20493 Time : 0.0 sec. user=mdettweiler [2018-04-18 21:47:17] 885*2^1507477-1 is not prime. Res64: 70AE86CF483759E8 Time : 0.0 sec. user=mdettweiler [2018-04-18 22:07:38] 651*2^1507478-1 is not prime. Res64: 13890A54E933D65D Time : 0.0 sec. user=mdettweiler [2018-04-18 22:07:40] 713*2^1507478-1 is not prime. Res64: DB4364CC85E8CD7F Time : 0.0 sec. user=mdettweiler [2018-04-18 22:07:42] 801*2^1507478-1 is not prime. Res64: 6C74976A2C474459 Time : 0.0 sec. user=mdettweiler [2018-04-18 22:07:43] 813*2^1507478-1 is not prime. Res64: F1D59DCD581665C0 Time : 0.0 sec. user=mdettweiler [2018-04-18 22:07:44] 897*2^1507478-1 is not prime. Res64: 4214DC03977921D7 Time : 0.0 sec. user=mdettweiler [2018-04-18 22:15:42] 935*2^1507478-1 is not prime. Res64: 889F491D3C1B7E8E Time : 0.0 sec. user=mdettweiler [2018-04-18 22:15:43] 957*2^1507478-1 is not prime. Res64: 4E8A29F26F615880 Time : 0.0 sec. user=mdettweiler [2018-04-18 22:15:43] 977*2^1507478-1 is not prime. Res64: 6FA078951466D2A2 Time : 0.0 sec. user=mdettweiler [2018-04-18 22:15:44] 613*2^1507479-1 is not prime. Res64: 00C2ADD9EA692970 Time : 0.0 sec. user=mdettweiler [2018-04-18 22:15:44] 661*2^1507479-1 is not prime. Res64: 32F22ABF238C02F6 Time : 0.0 sec. user=mdettweiler [2018-04-18 22:34:38] 663*2^1507479-1 is not prime. Res64: 9E9078F02A74C785 Time : 0.0 sec. user=mdettweiler [2018-04-18 22:34:38] 721*2^1507479-1 is not prime. Res64: D9D34651F6A88EAF Time : 0.0 sec. user=mdettweiler [2018-04-18 22:34:39] 775*2^1507479-1 is not prime. Res64: 6E7AE87326DDEA98 Time : 0.0 sec. user=mdettweiler [2018-04-18 22:34:39] 853*2^1507479-1 is not prime. Res64: 8DDDAEF65577DB54 Time : 0.0 sec. user=mdettweiler [2018-04-18 22:34:39] 879*2^1507479-1 is not prime. Res64: D3AF126992B30D59 Time : 0.0 sec. user=mdettweiler [2018-04-18 22:37:46] 951*2^1507479-1 is not prime. Res64: 2ACE3CB66FD5F883 Time : 0.0 sec. user=mdettweiler [2018-04-18 22:37:47] 969*2^1507479-1 is not prime. Res64: B41EEB468A032492 Time : 0.0 sec. user=mdettweiler [2018-04-18 22:37:47] 985*2^1507479-1 is not prime. Res64: 45DE6FB60D99D499 Time : 0.0 sec. user=mdettweiler [2018-04-18 22:37:47] 609*2^1507480-1 is not prime. Res64: 3B1B1F47F65D794C Time : 0.0 sec. user=mdettweiler [2018-04-18 22:37:48] 825*2^1507480-1 is not prime. Res64: A0415F788C2847ED Time : 0.0 sec. user=mdettweiler [2018-04-18 23:00:04] 833*2^1507480-1 is not prime. Res64: 6B4EC07A11BD19EC Time : 0.0 sec. user=mdettweiler [2018-04-18 23:00:04] 855*2^1507480-1 is not prime. Res64: 5989C94A1E7ACB4A Time : 0.0 sec. user=mdettweiler [2018-04-18 23:00:05] 887*2^1507480-1 is not prime. Res64: 62D11B60E6E0C3AB Time : 0.0 sec. user=mdettweiler [2018-04-18 23:00:05] 917*2^1507480-1 is not prime. Res64: 8FEB998DD2E09CC5 Time : 0.0 sec. user=mdettweiler [2018-04-18 23:00:06] 975*2^1507480-1 is not prime. Res64: 83E6970160E3E077 Time : 0.0 sec. user=mdettweiler [2018-04-18 23:08:00] 735*2^1507481-1 is not prime. Res64: 679092E12C0224F5 Time : 0.0 sec. user=mdettweiler [2018-04-18 23:08:01] 879*2^1507481-1 is not prime. Res64: 49F2985F2BE0DC0A Time : 0.0 sec. user=mdettweiler [2018-04-18 23:08:02] 937*2^1507481-1 is not prime. Res64: 2E3D1C17162C6456 Time : 0.0 sec. user=mdettweiler [2018-04-18 23:08:03] 949*2^1507481-1 is not prime. Res64: 6E65A0373C274522 Time : 0.0 sec. user=mdettweiler [2018-04-18 23:08:04] 957*2^1507481-1 is not prime. Res64: CA29567C0AE89C4E Time : 0.0 sec. user=mdettweiler [2018-04-18 23:26:28] 991*2^1507481-1 is not prime. Res64: 1710828706DCC1EE Time : 0.0 sec. user=mdettweiler [2018-04-18 23:26:29] 681*2^1507482-1 is not prime. Res64: 2F2E5EB225441C89 Time : 0.0 sec. user=mdettweiler [2018-04-18 23:26:29] 741*2^1507482-1 is not prime. Res64: 09BE0049A660B8D7 Time : 0.0 sec. user=mdettweiler [2018-04-18 23:26:30] 767*2^1507482-1 is not prime. Res64: A1FF2EA28F3A926C Time : 0.0 sec. user=mdettweiler [2018-04-18 23:26:30] 843*2^1507482-1 is not prime. Res64: 375355693D0A0767 Time : 0.0 sec. user=mdettweiler [2018-04-18 23:29:07] 693*2^1507483-1 is not prime. Res64: CD6BB7B00545C86E Time : 0.0 sec. user=mdettweiler [2018-04-18 23:29:07] 765*2^1507483-1 is not prime. Res64: 28FCACE5AAA0BBAB Time : 0.0 sec. user=mdettweiler [2018-04-18 23:29:08] 859*2^1507483-1 is not prime. Res64: 80B89698A718B83C Time : 0.0 sec. user=mdettweiler [2018-04-18 23:29:08] 901*2^1507483-1 is not prime. Res64: 2FA20B616A63ECF5 Time : 0.0 sec. user=mdettweiler [2018-04-18 23:29:09] 919*2^1507483-1 is not prime. Res64: B5EDA2AFA776821C Time : 0.0 sec. user=mdettweiler [2018-04-18 23:51:19] 623*2^1507484-1 is not prime. Res64: 04565A545C628330 Time : 0.0 sec. user=mdettweiler [2018-04-18 23:51:19] 663*2^1507484-1 is not prime. Res64: 56CFD819DED2E650 Time : 0.0 sec. user=mdettweiler [2018-04-18 23:51:19] 677*2^1507484-1 is not prime. Res64: BECE4944991EB690 Time : 0.0 sec. user=mdettweiler [2018-04-18 23:51:20] 767*2^1507484-1 is not prime. Res64: F8212CD265034159 Time : 0.0 sec. user=mdettweiler [2018-04-18 23:51:20] 833*2^1507484-1 is not prime. Res64: 23D493C46B7F775F Time : 0.0 sec. user=mdettweiler [2018-04-18 23:59:42] 959*2^1507484-1 is not prime. Res64: 95C1F219B3BBCB6B Time : 0.0 sec. user=mdettweiler [2018-04-18 23:59:42] 657*2^1507485-1 is not prime. Res64: 55732C85AE5DF700 Time : 0.0 sec. user=mdettweiler [2018-04-18 23:59:43] 717*2^1507485-1 is not prime. Res64: DED7E7B5D9759667 Time : 0.0 sec. user=mdettweiler [2018-04-18 23:59:43] 781*2^1507485-1 is not prime. Res64: 48BDCCF3F0F971F0 Time : 0.0 sec. user=mdettweiler [2018-04-18 23:59:44] 811*2^1507485-1 is not prime. Res64: 7918786BA99C7661 Time : 0.0 sec.