user=mdettweiler [2017-04-08 00:01:55] 607*2^1450901-1 is not prime. Res64: 12AA155E2E9FEDA5 Time : 0.0 sec. user=mdettweiler [2017-04-08 00:01:55] 691*2^1450901-1 is not prime. Res64: FB6BF01250A990E0 Time : 0.0 sec. user=mdettweiler [2017-04-08 00:01:56] 741*2^1450901-1 is not prime. Res64: BAC42AB63CC2F9EA Time : 0.0 sec. user=mdettweiler [2017-04-08 00:01:56] 889*2^1450901-1 is not prime. Res64: C3BD6725F82044D6 Time : 0.0 sec. user=mdettweiler [2017-04-08 00:01:57] 927*2^1450901-1 is not prime. Res64: F6713B8C9399E52E Time : 0.0 sec. user=mdettweiler [2017-04-08 00:34:39] 957*2^1450901-1 is not prime. Res64: 2C783FB9F2A6F619 Time : 0.0 sec. user=mdettweiler [2017-04-08 00:34:40] 991*2^1450901-1 is not prime. Res64: 72AC1184B4850F28 Time : 0.0 sec. user=mdettweiler [2017-04-08 00:34:41] 677*2^1450902-1 is not prime. Res64: 18C4EE69553767A6 Time : 0.0 sec. user=mdettweiler [2017-04-08 00:34:42] 683*2^1450902-1 is not prime. Res64: 5F5F1F59638155A2 Time : 0.0 sec. user=mdettweiler [2017-04-08 00:34:42] 723*2^1450902-1 is not prime. Res64: C2DCDED9FBEBC9B6 Time : 0.0 sec. user=mdettweiler [2017-04-08 00:34:54] 941*2^1450902-1 is not prime. Res64: 7A5CD54FAC78732E Time : 0.0 sec. user=mdettweiler [2017-04-08 00:34:54] 983*2^1450902-1 is not prime. Res64: 1DD8ED45B793EB8C Time : 0.0 sec. user=mdettweiler [2017-04-08 00:34:54] 1001*2^1450902-1 is not prime. Res64: DB0C5CB8A8795B5B Time : 0.0 sec. user=mdettweiler [2017-04-08 00:34:55] 649*2^1450903-1 is not prime. Res64: BF0BF37C86F8A414 Time : 0.0 sec. user=mdettweiler [2017-04-08 00:34:55] 673*2^1450903-1 is not prime. Res64: 6BEBD61B021DD96C Time : 0.0 sec. user=mdettweiler [2017-04-08 00:42:51] 685*2^1450903-1 is not prime. Res64: 9EC06E3DBD260024 Time : 0.0 sec. user=mdettweiler [2017-04-08 00:42:52] 783*2^1450903-1 is not prime. Res64: D020B524DF9AE357 Time : 0.0 sec. user=mdettweiler [2017-04-08 00:42:52] 861*2^1450903-1 is not prime. Res64: 67BBD259491E1D5B Time : 0.0 sec. user=mdettweiler [2017-04-08 00:42:52] 873*2^1450903-1 is not prime. Res64: 57CE698AF4D7BE3A Time : 0.0 sec. user=mdettweiler [2017-04-08 00:42:53] 951*2^1450903-1 is not prime. Res64: A5DEAEC937494260 Time : 0.0 sec. user=mdettweiler [2017-04-08 00:46:52] 961*2^1450903-1 is not prime. Res64: 598BCDD52EF2D8ED Time : 0.0 sec. user=mdettweiler [2017-04-08 00:46:53] 617*2^1450904-1 is not prime. Res64: E5DDBBCBD1106662 Time : 0.0 sec. user=mdettweiler [2017-04-08 00:46:53] 773*2^1450904-1 is not prime. Res64: 57A2ADFF447C8B4D Time : 0.0 sec. user=mdettweiler [2017-04-08 00:46:54] 785*2^1450904-1 is not prime. Res64: C55882EBA9BA9F38 Time : 0.0 sec. user=mdettweiler [2017-04-08 00:46:54] 825*2^1450904-1 is not prime. Res64: A4042F271CEE7CF6 Time : 0.0 sec. user=mdettweiler [2017-04-08 01:19:36] 893*2^1450904-1 is not prime. Res64: 8386D9BE5C66A291 Time : 0.0 sec. user=mdettweiler [2017-04-08 01:19:37] 927*2^1450904-1 is not prime. Res64: 72EE2A88E1005503 Time : 0.0 sec. user=mdettweiler [2017-04-08 01:19:37] 995*2^1450904-1 is not prime. Res64: 5B7B4614EEB4BD2E Time : 0.0 sec. user=mdettweiler [2017-04-08 01:19:37] 679*2^1450905-1 is not prime. Res64: B7AC5095F1242598 Time : 0.0 sec. user=mdettweiler [2017-04-08 01:19:38] 727*2^1450905-1 is not prime. Res64: 5D39D6BAF686A21D Time : 0.0 sec. user=mdettweiler [2017-04-08 01:19:40] 847*2^1450905-1 is not prime. Res64: A5796ED4C7B72AAC Time : 0.0 sec. user=mdettweiler [2017-04-08 01:19:41] 871*2^1450905-1 is not prime. Res64: C0FD522CE14DA37D Time : 0.0 sec. user=mdettweiler [2017-04-08 01:19:41] 937*2^1450905-1 is not prime. Res64: 33450B4D0576E986 Time : 0.0 sec. user=mdettweiler [2017-04-08 01:19:41] 951*2^1450905-1 is not prime. Res64: FEEB95EC3BF23A3D Time : 0.0 sec. user=mdettweiler [2017-04-08 01:19:42] 975*2^1450905-1 is not prime. Res64: 7F2541AE6958D36F Time : 0.0 sec. user=mdettweiler [2017-04-08 01:27:55] 603*2^1450906-1 is not prime. Res64: 39A923C2F0EC67F7 Time : 0.0 sec. user=mdettweiler [2017-04-08 01:27:57] 773*2^1450906-1 is not prime. Res64: 6A5686AB73948A8F Time : 0.0 sec. user=mdettweiler [2017-04-08 01:27:58] 873*2^1450906-1 is not prime. Res64: 480751C7C62AB31D Time : 0.0 sec. user=mdettweiler [2017-04-08 01:27:59] 693*2^1450907-1 is not prime. Res64: E63A71DE2720D5D4 Time : 0.0 sec. user=mdettweiler [2017-04-08 01:28:00] 699*2^1450907-1 is not prime. Res64: 41DBAD12BCAD473E Time : 0.0 sec. user=mdettweiler [2017-04-08 01:31:51] 703*2^1450907-1 is not prime. Res64: FD36410730A2D737 Time : 0.0 sec. user=mdettweiler [2017-04-08 01:31:53] 843*2^1450907-1 is not prime. Res64: B8ECB95F8A9125D6 Time : 0.0 sec. user=mdettweiler [2017-04-08 01:31:54] 871*2^1450907-1 is not prime. Res64: BACCC9426C995B69 Time : 0.0 sec. user=mdettweiler [2017-04-08 01:31:55] 885*2^1450907-1 is not prime. Res64: 009CC29169C71D22 Time : 0.0 sec. user=mdettweiler [2017-04-08 01:31:58] 985*2^1450907-1 is not prime. Res64: 5F439CE48C5A7A9B Time : 0.0 sec. user=mdettweiler [2017-04-08 02:04:33] 729*2^1450909-1 is not prime. Res64: 10746096EA1DD88E Time : 0.0 sec. user=mdettweiler [2017-04-08 02:04:33] 737*2^1450908-1 is not prime. Res64: 732FBD60BD3BEA8F Time : 0.0 sec. user=mdettweiler [2017-04-08 02:04:34] 861*2^1450909-1 is not prime. Res64: 580C41DDE1F5133B Time : 0.0 sec. user=mdettweiler [2017-04-08 02:04:35] 773*2^1450908-1 is not prime. Res64: 064F75594F0ED802 Time : 0.0 sec. user=mdettweiler [2017-04-08 02:04:35] 961*2^1450909-1 is not prime. Res64: 0121A498CB80D71C Time : 0.0 sec. user=mdettweiler [2017-04-08 02:04:36] 999*2^1450909-1 is not prime. Res64: E23B3725767E3BD0 Time : 0.0 sec. user=mdettweiler [2017-04-08 02:04:37] 777*2^1450908-1 is not prime. Res64: 99F2537B8B7B243F Time : 0.0 sec. user=mdettweiler [2017-04-08 02:04:38] 687*2^1450910-1 is not prime. Res64: D423FFB1EF3369EE Time : 0.0 sec. user=mdettweiler [2017-04-08 02:04:39] 843*2^1450908-1 is not prime. Res64: E2AEFF8829BDA3C9 Time : 0.0 sec. user=mdettweiler [2017-04-08 02:04:41] 691*2^1450909-1 is not prime. Res64: B1861E9313C2D0E0 Time : 0.0 sec. user=mdettweiler [2017-04-08 02:12:55] 861*2^1450910-1 is not prime. Res64: BD755290DE82235A Time : 0.0 sec. user=mdettweiler [2017-04-08 02:12:55] 887*2^1450910-1 is not prime. Res64: 2D6675877C1ECAB8 Time : 0.0 sec. user=mdettweiler [2017-04-08 02:12:56] 911*2^1450910-1 is not prime. Res64: 3D58915EEEFBC9A9 Time : 0.0 sec. user=mdettweiler [2017-04-08 02:12:56] 609*2^1450911-1 is not prime. Res64: E83183F61A5C8914 Time : 0.0 sec. user=mdettweiler [2017-04-08 02:12:57] 649*2^1450911-1 is not prime. Res64: 3F34BA2C6323735B Time : 0.0 sec. user=mdettweiler [2017-04-08 02:16:55] 703*2^1450911-1 is not prime. Res64: 435BF590DEA5148C Time : 0.0 sec. user=mdettweiler [2017-04-08 02:16:55] 781*2^1450911-1 is not prime. Res64: 386806CED2C7DF7C Time : 0.0 sec. user=mdettweiler [2017-04-08 02:16:56] 823*2^1450911-1 is not prime. Res64: 1B8E6EEC67B06EB8 Time : 0.0 sec. user=mdettweiler [2017-04-08 02:16:56] 861*2^1450911-1 is not prime. Res64: 9C8FD2069D2E93CA Time : 0.0 sec. user=mdettweiler [2017-04-08 02:16:56] 885*2^1450911-1 is not prime. Res64: E92154303D10453A Time : 0.0 sec. user=mdettweiler [2017-04-08 02:50:01] 825*2^1450912-1 is not prime. Res64: AF5F56D8575863D0 Time : 0.0 sec. user=mdettweiler [2017-04-08 02:50:02] 875*2^1450912-1 is not prime. Res64: B00803B099AD00DA Time : 0.0 sec. user=mdettweiler [2017-04-08 02:50:02] 903*2^1450912-1 is not prime. Res64: ED57F42FC42D91C8 Time : 0.0 sec. user=mdettweiler [2017-04-08 02:50:03] 917*2^1450912-1 is not prime. Res64: ED54C7D103361EC8 Time : 0.0 sec. user=mdettweiler [2017-04-08 02:50:03] 929*2^1450912-1 is not prime. Res64: 6E3D5A1A60C6FBE6 Time : 0.0 sec. user=mdettweiler [2017-04-08 02:50:09] 973*2^1450911-1 is not prime. Res64: 63318C5A1B092987 Time : 0.0 sec. user=mdettweiler [2017-04-08 02:50:09] 615*2^1450912-1 is not prime. Res64: 2BFC82337168AF52 Time : 0.0 sec. user=mdettweiler [2017-04-08 02:50:09] 665*2^1450912-1 is not prime. Res64: 98BABE70B34E6E68 Time : 0.0 sec. user=mdettweiler [2017-04-08 02:50:10] 675*2^1450912-1 is not prime. Res64: 594485EB033F9EFA Time : 0.0 sec. user=mdettweiler [2017-04-08 02:50:10] 803*2^1450912-1 is not prime. Res64: 163C503B9E013925 Time : 0.0 sec. user=mdettweiler [2017-04-08 02:57:50] 957*2^1450912-1 is not prime. Res64: 37615A346BD30D50 Time : 0.0 sec. user=mdettweiler [2017-04-08 02:57:51] 989*2^1450912-1 is not prime. Res64: 4ABB78EC61B9BC3C Time : 0.0 sec. user=mdettweiler [2017-04-08 02:57:51] 999*2^1450912-1 is not prime. Res64: 7C7112AD40E634DA Time : 0.0 sec. user=mdettweiler [2017-04-08 02:57:51] 615*2^1450913-1 is not prime. Res64: C23F00E5159254AB Time : 0.0 sec. user=mdettweiler [2017-04-08 02:57:52] 685*2^1450913-1 is not prime. Res64: 02815CCC779EA184 Time : 0.0 sec. user=mdettweiler [2017-04-08 03:01:49] 699*2^1450913-1 is not prime. Res64: D438BE7D373F7BD4 Time : 0.0 sec. user=mdettweiler [2017-04-08 03:01:49] 715*2^1450913-1 is not prime. Res64: 7793FB8138785CDC Time : 0.0 sec. user=mdettweiler [2017-04-08 03:01:50] 729*2^1450913-1 is not prime. Res64: 9B46547184F7F199 Time : 0.0 sec. user=mdettweiler [2017-04-08 03:01:51] 789*2^1450913-1 is not prime. Res64: 2E7D578527B8B59E Time : 0.0 sec. user=mdettweiler [2017-04-08 03:01:51] 805*2^1450913-1 is not prime. Res64: F4E0CEC9B13E048B Time : 0.0 sec. user=mdettweiler [2017-04-08 03:34:56] 829*2^1450913-1 is not prime. Res64: 99531D40A3A09764 Time : 0.0 sec. user=mdettweiler [2017-04-08 03:34:58] 871*2^1450913-1 is not prime. Res64: 27AF77B325945514 Time : 0.0 sec. user=mdettweiler [2017-04-08 03:34:59] 879*2^1450913-1 is not prime. Res64: 1D5B216BCE4C4D13 Time : 0.0 sec. user=mdettweiler [2017-04-08 03:34:59] 621*2^1450914-1 is not prime. Res64: 508DEA6530FF286A Time : 0.0 sec. user=mdettweiler [2017-04-08 03:35:00] 663*2^1450914-1 is not prime. Res64: 6D7ADDE60DB888EE Time : 0.0 sec. user=mdettweiler [2017-04-08 03:35:03] 711*2^1450914-1 is not prime. Res64: 51A6B523C2478588 Time : 0.0 sec. user=mdettweiler [2017-04-08 03:35:05] 723*2^1450914-1 is not prime. Res64: C8F774AABAAD6B1C Time : 0.0 sec. user=mdettweiler [2017-04-08 03:35:06] 725*2^1450914-1 is not prime. Res64: B455FFAF8BA9FD56 Time : 0.0 sec. user=mdettweiler [2017-04-08 03:35:08] 741*2^1450914-1 is not prime. Res64: 9C4602DB3DDA6AE4 Time : 0.0 sec. user=mdettweiler [2017-04-08 03:35:09] 755*2^1450914-1 is not prime. Res64: 5FFD0A2E5488C966 Time : 0.0 sec. user=mdettweiler [2017-04-08 03:42:56] 797*2^1450914-1 is not prime. Res64: AB3CBF2B339517E1 Time : 0.0 sec. user=mdettweiler [2017-04-08 03:42:57] 807*2^1450914-1 is not prime. Res64: B9BD898AF776A4EC Time : 0.0 sec. user=mdettweiler [2017-04-08 03:42:58] 893*2^1450914-1 is not prime. Res64: 4DE5160D01BDD12A Time : 0.0 sec. user=mdettweiler [2017-04-08 03:42:59] 639*2^1450915-1 is not prime. Res64: F6BA7EA1DB9D4896 Time : 0.0 sec. user=mdettweiler [2017-04-08 03:43:00] 651*2^1450915-1 is not prime. Res64: 3EF72BCADB451F95 Time : 0.0 sec. user=mdettweiler [2017-04-08 03:47:07] 693*2^1450915-1 is not prime. Res64: 38641EA6C7744A5F Time : 0.0 sec. user=mdettweiler [2017-04-08 03:47:09] 805*2^1450915-1 is not prime. Res64: 5EF238B2FD2E48A9 Time : 0.0 sec. user=mdettweiler [2017-04-08 03:47:09] 849*2^1450915-1 is not prime. Res64: E652FAF8CFF3FC89 Time : 0.0 sec. user=mdettweiler [2017-04-08 03:47:10] 871*2^1450915-1 is not prime. Res64: 0A8B50ED726E8906 Time : 0.0 sec. user=mdettweiler [2017-04-08 03:47:11] 609*2^1450916-1 is not prime. Res64: BEB6D7DB4497769F Time : 0.0 sec. user=mdettweiler [2017-04-08 04:20:09] 855*2^1450916-1 is not prime. Res64: D2B5F9A9D21F07C6 Time : 0.0 sec. user=mdettweiler [2017-04-08 04:20:09] 879*2^1450916-1 is not prime. Res64: 147F2D5FC9F4330B Time : 0.0 sec. user=mdettweiler [2017-04-08 04:20:10] 899*2^1450916-1 is not prime. Res64: 7B9C59A3B8980D8E Time : 0.0 sec. user=mdettweiler [2017-04-08 04:20:10] 957*2^1450916-1 is not prime. Res64: 0845B2040456D102 Time : 0.0 sec. user=mdettweiler [2017-04-08 04:20:10] 999*2^1450916-1 is not prime. Res64: 2973E4C08C1E25A4 Time : 0.0 sec. user=mdettweiler [2017-04-08 04:20:24] 635*2^1450916-1 is not prime. Res64: E0697219D95CF73F Time : 0.0 sec. user=mdettweiler [2017-04-08 04:20:24] 675*2^1450916-1 is not prime. Res64: 80CBF54F37408AE6 Time : 0.0 sec. user=mdettweiler [2017-04-08 04:20:25] 689*2^1450916-1 is not prime. Res64: 090A5BB1426C9202 Time : 0.0 sec. user=mdettweiler [2017-04-08 04:20:25] 803*2^1450916-1 is not prime. Res64: 882DA01D182B94FE Time : 0.0 sec. user=mdettweiler [2017-04-08 04:20:25] 813*2^1450916-1 is not prime. Res64: 72BD821012572F68 Time : 0.0 sec. user=mdettweiler [2017-04-08 04:27:52] 621*2^1450917-1 is not prime. Res64: FB838554ED8DC230 Time : 0.0 sec. user=mdettweiler [2017-04-08 04:27:52] 751*2^1450917-1 is not prime. Res64: DBA520315D7CD6DC Time : 0.0 sec. user=mdettweiler [2017-04-08 04:27:53] 829*2^1450917-1 is not prime. Res64: 7F72DB5AAB839E54 Time : 0.0 sec. user=mdettweiler [2017-04-08 04:27:53] 885*2^1450917-1 is not prime. Res64: 710CF1EE3F7369AE Time : 0.0 sec. user=mdettweiler [2017-04-08 04:27:54] 961*2^1450917-1 is not prime. Res64: FE1531D244F123C4 Time : 0.0 sec. user=mdettweiler [2017-04-08 04:32:14] 605*2^1450918-1 is not prime. Res64: 4AD9E26C87251840 Time : 0.0 sec. user=mdettweiler [2017-04-08 04:32:15] 707*2^1450918-1 is not prime. Res64: 74EC2F628A96524F Time : 0.0 sec. user=mdettweiler [2017-04-08 04:32:15] 897*2^1450918-1 is not prime. Res64: C603FF125191198D Time : 0.0 sec. user=mdettweiler [2017-04-08 04:32:15] 941*2^1450918-1 is not prime. Res64: 3325B598EDC90E79 Time : 0.0 sec. user=mdettweiler [2017-04-08 04:32:16] 951*2^1450918-1 is not prime. Res64: CB88E9BA4F353989 Time : 0.0 sec. user=mdettweiler [2017-04-08 05:05:04] 975*2^1450918-1 is not prime. Res64: F2436380048D9F71 Time : 0.0 sec. user=mdettweiler [2017-04-08 05:05:06] 643*2^1450919-1 is not prime. Res64: CB4028F36F2D024E Time : 0.0 sec. user=mdettweiler [2017-04-08 05:05:07] 669*2^1450919-1 is not prime. Res64: 6D90BDA73B5EBFC1 Time : 0.0 sec. user=mdettweiler [2017-04-08 05:05:08] 771*2^1450919-1 is not prime. Res64: 439E3C6A59724B1C Time : 0.0 sec. user=mdettweiler [2017-04-08 05:05:09] 879*2^1450919-1 is not prime. Res64: AF61F1A16D558F7D Time : 0.0 sec. user=mdettweiler [2017-04-08 05:05:20] 885*2^1450919-1 is not prime. Res64: 74B4C0D61F6E522A Time : 0.0 sec. user=mdettweiler [2017-04-08 05:05:21] 921*2^1450919-1 is not prime. Res64: F1E7A8910FB05B5C Time : 0.0 sec. user=mdettweiler [2017-04-08 05:05:22] 943*2^1450919-1 is not prime. Res64: E5908C42594736E5 Time : 0.0 sec. user=mdettweiler [2017-04-08 05:05:23] 949*2^1450919-1 is not prime. Res64: 160FC65F13E09E0B Time : 0.0 sec. user=mdettweiler [2017-04-08 05:05:24] 991*2^1450919-1 is not prime. Res64: 1729ED87647B720F Time : 0.0 sec. user=mdettweiler [2017-04-08 05:12:42] 993*2^1450919-1 is not prime. Res64: 75D29EC1CB3BA289 Time : 0.0 sec. user=mdettweiler [2017-04-08 05:12:43] 719*2^1450920-1 is not prime. Res64: D4A14BDB7A45DC9F Time : 0.0 sec. user=mdettweiler [2017-04-08 05:12:43] 773*2^1450920-1 is not prime. Res64: 90C0BA4A7930B7B1 Time : 0.0 sec. user=mdettweiler [2017-04-08 05:12:44] 789*2^1450920-1 is not prime. Res64: 55E3FA1F5339C7A6 Time : 0.0 sec. user=mdettweiler [2017-04-08 05:12:44] 615*2^1450921-1 is not prime. Res64: 2DDED429CE05D005 Time : 0.0 sec. user=mdettweiler [2017-04-08 05:17:10] 717*2^1450921-1 is not prime. Res64: 81179D3242F0E060 Time : 0.0 sec. user=mdettweiler [2017-04-08 05:17:10] 751*2^1450921-1 is not prime. Res64: 7F7F1FE3C5FD610C Time : 0.0 sec. user=mdettweiler [2017-04-08 05:17:11] 769*2^1450921-1 is not prime. Res64: 6324716AB0F7E66C Time : 0.0 sec. user=mdettweiler [2017-04-08 05:17:11] 855*2^1450921-1 is not prime. Res64: 98A82C5756767CFE Time : 0.0 sec. user=mdettweiler [2017-04-08 05:17:12] 909*2^1450921-1 is not prime. Res64: 414DA397537048C4 Time : 0.0 sec. user=mdettweiler [2017-04-08 05:50:10] 931*2^1450921-1 is not prime. Res64: 621C1B2930141443 Time : 0.0 sec. user=mdettweiler [2017-04-08 05:50:10] 955*2^1450921-1 is not prime. Res64: 4A15DE70DB6B759E Time : 0.0 sec. user=mdettweiler [2017-04-08 05:50:10] 623*2^1450922-1 is not prime. Res64: AAB2F8D0CAC7600E Time : 0.0 sec. user=mdettweiler [2017-04-08 05:50:11] 801*2^1450922-1 is not prime. Res64: DB2B6915E06EA8DE Time : 0.0 sec. user=mdettweiler [2017-04-08 05:50:11] 815*2^1450922-1 is not prime. Res64: 2EF3A744692B42A7 Time : 0.0 sec. user=mdettweiler [2017-04-08 05:50:23] 867*2^1450922-1 is not prime. Res64: B2A628E5645F4B00 Time : 0.0 sec. user=mdettweiler [2017-04-08 05:50:24] 935*2^1450922-1 is not prime. Res64: 5A0EDDA9B9C596EA Time : 0.0 sec. user=mdettweiler [2017-04-08 05:50:24] 945*2^1450922-1 is not prime. Res64: 55EEC85BE71ED636 Time : 0.0 sec. user=mdettweiler [2017-04-08 05:50:24] 613*2^1450923-1 is not prime. Res64: 138DA628538358AD Time : 0.0 sec. user=mdettweiler [2017-04-08 05:50:25] 663*2^1450923-1 is not prime. Res64: 6BD625ABFF1D2EC6 Time : 0.0 sec. user=mdettweiler [2017-04-08 05:57:49] 805*2^1450923-1 is not prime. Res64: D98D8EF6F09B9179 Time : 0.0 sec. user=mdettweiler [2017-04-08 05:57:50] 829*2^1450923-1 is not prime. Res64: 2BB8DF269DB68E73 Time : 0.0 sec. user=mdettweiler [2017-04-08 05:57:50] 835*2^1450923-1 is not prime. Res64: 279C7B74EC31EB4C Time : 0.0 sec. user=mdettweiler [2017-04-08 05:57:51] 963*2^1450923-1 is not prime. Res64: D18F829DEED076EC Time : 0.0 sec. user=mdettweiler [2017-04-08 05:57:51] 623*2^1450924-1 is not prime. Res64: B1B4D181A80E2033 Time : 0.0 sec. user=mdettweiler [2017-04-08 06:02:03] 695*2^1450924-1 is not prime. Res64: 5819D31A848C059D Time : 0.0 sec. user=mdettweiler [2017-04-08 06:02:04] 825*2^1450924-1 is not prime. Res64: 4EC95943B8B1B53C Time : 0.0 sec. user=mdettweiler [2017-04-08 06:02:04] 855*2^1450924-1 is not prime. Res64: 79270F5F20CBC7D3 Time : 0.0 sec. user=mdettweiler [2017-04-08 06:02:05] 885*2^1450924-1 is not prime. Res64: 01BFAE44729CD78C Time : 0.0 sec. user=mdettweiler [2017-04-08 06:02:05] 983*2^1450924-1 is not prime. Res64: C5DED820B27E3AED Time : 0.0 sec. user=mdettweiler [2017-04-08 06:34:52] 771*2^1450925-1 is not prime. Res64: 95B71090EBBDC00D Time : 0.0 sec. user=mdettweiler [2017-04-08 06:34:52] 801*2^1450925-1 is not prime. Res64: 6460B52105373075 Time : 0.0 sec. user=mdettweiler [2017-04-08 06:34:53] 861*2^1450925-1 is not prime. Res64: 8885F55AC3474B7C Time : 0.0 sec. user=mdettweiler [2017-04-08 06:34:53] 955*2^1450925-1 is not prime. Res64: 47A8E141053995CD Time : 0.0 sec. user=mdettweiler [2017-04-08 06:34:53] 635*2^1450926-1 is not prime. Res64: E70EB83F8E1F4EF7 Time : 0.0 sec. user=mdettweiler [2017-04-08 06:35:22] 711*2^1450926-1 is not prime. Res64: 4F28F41583DB6736 Time : 0.0 sec. user=mdettweiler [2017-04-08 06:35:22] 767*2^1450926-1 is not prime. Res64: 297F47C292C206C6 Time : 0.0 sec. user=mdettweiler [2017-04-08 06:35:23] 801*2^1450926-1 is not prime. Res64: B3D9897EAE960859 Time : 0.0 sec. user=mdettweiler [2017-04-08 06:35:23] 971*2^1450926-1 is not prime. Res64: 41A26C092CDD6D87 Time : 0.0 sec. user=mdettweiler [2017-04-08 06:35:23] 993*2^1450926-1 is not prime. Res64: 8645B4EB94278002 Time : 0.0 sec. user=mdettweiler [2017-04-08 06:43:00] 609*2^1450927-1 is not prime. Res64: 8D0A6ADA6C54CD95 Time : 0.0 sec. user=mdettweiler [2017-04-08 06:43:00] 645*2^1450927-1 is not prime. Res64: 6883E21A72CF7F9D Time : 0.0 sec. user=mdettweiler [2017-04-08 06:43:01] 673*2^1450927-1 is not prime. Res64: AF1D056FCFD398C7 Time : 0.0 sec. user=mdettweiler [2017-04-08 06:43:01] 703*2^1450927-1 is not prime. Res64: F7D2E540322770FF Time : 0.0 sec. user=mdettweiler [2017-04-08 06:43:02] 813*2^1450927-1 is not prime. Res64: 53D9BAD483300767 Time : 0.0 sec. user=mdettweiler [2017-04-08 06:46:55] 883*2^1450927-1 is not prime. Res64: 074CBEF9EEE10F47 Time : 0.0 sec. user=mdettweiler [2017-04-08 06:46:55] 633*2^1450928-1 is not prime. Res64: 2F4364014E30779A Time : 0.0 sec. user=mdettweiler [2017-04-08 06:46:56] 635*2^1450928-1 is not prime. Res64: EC7F75BAFAF0F204 Time : 0.0 sec. user=mdettweiler [2017-04-08 06:46:56] 725*2^1450928-1 is not prime. Res64: 722B0BB888787651 Time : 0.0 sec. user=mdettweiler [2017-04-08 06:46:56] 777*2^1450928-1 is not prime. Res64: 620975F0B50D62A4 Time : 0.0 sec. user=mdettweiler [2017-04-08 07:20:25] 813*2^1450928-1 is not prime. Res64: 1F538784F57C7ECA Time : 0.0 sec. user=mdettweiler [2017-04-08 07:20:26] 893*2^1450928-1 is not prime. Res64: 728F1F8E1B11B940 Time : 0.0 sec. user=mdettweiler [2017-04-08 07:20:26] 923*2^1450928-1 is not prime. Res64: 268D96D3B9FEECB2 Time : 0.0 sec. user=mdettweiler [2017-04-08 07:20:26] 957*2^1450928-1 is not prime. Res64: 279DD0382F86E5CE Time : 0.0 sec. user=mdettweiler [2017-04-08 07:20:27] 959*2^1450928-1 is not prime. Res64: 7FC7618873F7E07C Time : 0.0 sec. user=mdettweiler [2017-04-08 07:20:49] 995*2^1450928-1 is not prime. Res64: F7DF4857B0A8850F Time : 0.0 sec. user=mdettweiler [2017-04-08 07:20:50] 691*2^1450929-1 is not prime. Res64: 9D31DACE14549CC0 Time : 0.0 sec. user=mdettweiler [2017-04-08 07:20:50] 711*2^1450929-1 is not prime. Res64: 5AF4D00C9E92D334 Time : 0.0 sec. user=mdettweiler [2017-04-08 07:20:51] 727*2^1450929-1 is not prime. Res64: 1E71C0EB1DA70EEF Time : 0.0 sec. user=mdettweiler [2017-04-08 07:20:51] 745*2^1450929-1 is not prime. Res64: B26A537FAF6F0D5C Time : 0.0 sec. user=mdettweiler [2017-04-08 07:28:36] 795*2^1450929-1 is not prime. Res64: 4BA19CD3B923711B Time : 0.0 sec. user=mdettweiler [2017-04-08 07:28:37] 835*2^1450929-1 is not prime. Res64: 8DA49AB7D3A5573A Time : 0.0 sec. user=mdettweiler [2017-04-08 07:28:37] 909*2^1450929-1 is not prime. Res64: 43FBCA41709751B7 Time : 0.0 sec. user=mdettweiler [2017-04-08 07:28:37] 949*2^1450929-1 is not prime. Res64: EA540F9374481E30 Time : 0.0 sec. user=mdettweiler [2017-04-08 07:28:38] 969*2^1450929-1 is not prime. Res64: 0219DBE87BD807C6 Time : 0.0 sec. user=mdettweiler [2017-04-08 07:32:04] 991*2^1450929-1 is not prime. Res64: 9B727AAC10D38439 Time : 0.0 sec. user=mdettweiler [2017-04-08 07:32:05] 855*2^1450930-1 is not prime. Res64: 2A0FABC220CEC238 Time : 0.0 sec. user=mdettweiler [2017-04-08 07:32:05] 867*2^1450930-1 is not prime. Res64: 6BAB8E0823177C20 Time : 0.0 sec. user=mdettweiler [2017-04-08 07:32:06] 911*2^1450930-1 is not prime. Res64: 1961FF8FB1B4D585 Time : 0.0 sec. user=mdettweiler [2017-04-08 07:32:06] 933*2^1450930-1 is not prime. Res64: F38E897418BA4778 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:05:20] 957*2^1450930-1 is not prime. Res64: 6CCCFD90119540CE Time : 0.0 sec. user=mdettweiler [2017-04-08 08:05:22] 645*2^1450931-1 is not prime. Res64: DE9E7861519EBE31 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:05:23] 693*2^1450931-1 is not prime. Res64: 3E86A25CD56CAE70 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:05:24] 741*2^1450931-1 is not prime. Res64: FBB0FFF5E7710949 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:05:26] 823*2^1450931-1 is not prime. Res64: 2CB9E2B58836F8A2 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:05:39] 825*2^1450931-1 is not prime. Res64: 528C9C31570C3146 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:05:40] 719*2^1450932-1 is not prime. Res64: 13A9897A5EDBE9A5 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:05:42] 779*2^1450932-1 is not prime. Res64: C681A8C99082642B Time : 0.0 sec. user=mdettweiler [2017-04-08 08:05:43] 867*2^1450932-1 is not prime. Res64: A54F1BF6D07D072F Time : 0.0 sec. user=mdettweiler [2017-04-08 08:05:44] 903*2^1450932-1 is not prime. Res64: D921133A875E0FAF Time : 0.0 sec. user=mdettweiler [2017-04-08 08:13:29] 983*2^1450932-1 is not prime. Res64: 66C88B55DA2A3703 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:13:29] 651*2^1450933-1 is not prime. Res64: 9E4625867A065B44 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:13:30] 727*2^1450933-1 is not prime. Res64: D8850EF5593B9025 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:13:30] 847*2^1450933-1 is not prime. Res64: 3FA897995E91B2EA Time : 0.0 sec. user=mdettweiler [2017-04-08 08:13:30] 657*2^1450934-1 is not prime. Res64: A018FA904444139C Time : 0.0 sec. user=mdettweiler [2017-04-08 08:16:55] 683*2^1450934-1 is not prime. Res64: 8C4F3CD058847AAF Time : 0.0 sec. user=mdettweiler [2017-04-08 08:16:56] 755*2^1450934-1 is not prime. Res64: DDC579565921388A Time : 0.0 sec. user=mdettweiler [2017-04-08 08:16:56] 833*2^1450934-1 is not prime. Res64: B9B90408511CCE51 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:16:56] 875*2^1450934-1 is not prime. Res64: 05BBDB171DC6B23D Time : 0.0 sec. user=mdettweiler [2017-04-08 08:16:57] 941*2^1450934-1 is not prime. Res64: A062DDC2B3E5CD62 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:50:43] 993*2^1450934-1 is not prime. Res64: B40E53A6D3A8E864 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:50:43] 783*2^1450935-1 is not prime. Res64: BAC92A40492E3307 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:50:43] 885*2^1450935-1 is not prime. Res64: 8C46E23A98192E92 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:50:44] 943*2^1450935-1 is not prime. Res64: 5D71D3E064814CF4 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:50:44] 985*2^1450935-1 is not prime. Res64: C94057D24DAD4036 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:50:46] 645*2^1450936-1 is not prime. Res64: 2A798D83F0F7923E Time : 0.0 sec. user=mdettweiler [2017-04-08 08:50:46] 657*2^1450936-1 is not prime. Res64: 037AEA0CCD177E73 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:50:47] 675*2^1450936-1 is not prime. Res64: D02BE9704620B55B Time : 0.0 sec. user=mdettweiler [2017-04-08 08:50:47] 695*2^1450936-1 is not prime. Res64: DE1EF4707E7A6018 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:50:47] 717*2^1450936-1 is not prime. Res64: DFA973167A124343 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:58:38] 773*2^1450936-1 is not prime. Res64: 8937887AC271E657 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:58:39] 777*2^1450936-1 is not prime. Res64: 897D18B4C7DBEAEC Time : 0.0 sec. user=mdettweiler [2017-04-08 08:58:39] 825*2^1450936-1 is not prime. Res64: E8C1977F4BEA18C0 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:58:39] 645*2^1450937-1 is not prime. Res64: 9A9AAEC72A6E5954 Time : 0.0 sec. user=mdettweiler [2017-04-08 08:58:40] 715*2^1450937-1 is not prime. Res64: 3FE4B642CE1EF545 Time : 0.0 sec. user=mdettweiler [2017-04-08 09:01:56] 729*2^1450937-1 is not prime. Res64: 482559BCC7A395AA Time : 0.0 sec. user=mdettweiler [2017-04-08 09:01:56] 747*2^1450937-1 is not prime. Res64: 8C8F76639DD64C4D Time : 0.0 sec. user=mdettweiler [2017-04-08 09:01:57] 771*2^1450937-1 is not prime. Res64: 684C57D93585C525 Time : 0.0 sec. user=mdettweiler [2017-04-08 09:01:57] 937*2^1450937-1 is not prime. Res64: 11E9358AC894FF1C Time : 0.0 sec. user=mdettweiler [2017-04-08 09:01:58] 627*2^1450938-1 is not prime. Res64: A3EBAFE24A264D34 Time : 0.0 sec. user=mdettweiler [2017-04-08 09:35:36] 657*2^1450938-1 is not prime. Res64: 38680F8D499ED793 Time : 0.0 sec. user=mdettweiler [2017-04-08 09:35:37] 663*2^1450938-1 is not prime. Res64: CEEAE79684C3D76B Time : 0.0 sec. user=mdettweiler [2017-04-08 09:35:37] 665*2^1450938-1 is not prime. Res64: 7CFDEBAE0E047A31 Time : 0.0 sec. user=mdettweiler [2017-04-08 09:35:37] 683*2^1450938-1 is not prime. Res64: 6AC51765BE332E9F Time : 0.0 sec. user=mdettweiler [2017-04-08 09:35:38] 713*2^1450938-1 is not prime. Res64: 6AD355A08443D0E5 Time : 0.0 sec. user=mdettweiler [2017-04-08 09:35:38] 921*2^1450938-1 is not prime. Res64: DBBC082F1491733F Time : 0.0 sec. user=mdettweiler [2017-04-08 09:35:39] 615*2^1450939-1 is not prime. Res64: 1058825164ABBA44 Time : 0.0 sec. user=mdettweiler [2017-04-08 09:35:39] 703*2^1450939-1 is not prime. Res64: 9B7B3520A3E502AB Time : 0.0 sec. user=mdettweiler [2017-04-08 09:35:39] 939*2^1450939-1 is not prime. Res64: E9AD7C3B3EB2601A Time : 0.0 sec. user=mdettweiler [2017-04-08 09:35:40] 915*2^1450940-1 is not prime. Res64: 7C1C7562ACF42A56 Time : 0.0 sec. user=mdettweiler [2017-04-08 09:43:32] 945*2^1450940-1 is not prime. Res64: 2B609EA619A0DA35 Time : 0.0 sec. user=mdettweiler [2017-04-08 09:43:32] 847*2^1450941-1 is not prime. Res64: D5DCD0EEB3C64279 Time : 0.0 sec. user=mdettweiler [2017-04-08 09:43:33] 865*2^1450941-1 is not prime. Res64: 5A3917E05FD81524 Time : 0.0 sec. user=mdettweiler [2017-04-08 09:43:33] 885*2^1450941-1 is not prime. Res64: 19801724F1806A41 Time : 0.0 sec. user=mdettweiler [2017-04-08 09:43:33] 889*2^1450941-1 is not prime. Res64: AFB9DF9DE7F215E3 Time : 0.0 sec. user=mdettweiler [2017-04-08 09:46:55] 955*2^1450941-1 is not prime. Res64: 5A019482F1395783 Time : 0.0 sec. user=mdettweiler [2017-04-08 09:46:55] 991*2^1450941-1 is not prime. Res64: BEED25F2CE189DE6 Time : 0.0 sec. user=mdettweiler [2017-04-08 09:46:56] 617*2^1450942-1 is not prime. Res64: 9B3632341D6CC9AD Time : 0.0 sec. user=mdettweiler [2017-04-08 09:46:56] 657*2^1450942-1 is not prime. Res64: 3478483938650E01 Time : 0.0 sec. user=mdettweiler [2017-04-08 09:46:56] 665*2^1450942-1 is not prime. Res64: 670FA5071FDBEAE5 Time : 0.0 sec. user=mdettweiler [2017-04-08 10:20:25] 603*2^1450943-1 is not prime. Res64: 8AE43966B4A77F19 Time : 0.0 sec. user=mdettweiler [2017-04-08 10:20:25] 619*2^1450943-1 is not prime. Res64: 584AFED1833A7B6B Time : 0.0 sec. user=mdettweiler [2017-04-08 10:20:25] 621*2^1450943-1 is not prime. Res64: E539127E566DC779 Time : 0.0 sec. user=mdettweiler [2017-04-08 10:20:26] 673*2^1450943-1 is not prime. Res64: DC7F9CE5A6A6CDAA Time : 0.0 sec. user=mdettweiler [2017-04-08 10:20:26] 679*2^1450943-1 is not prime. Res64: DE81030F98AF6EDE Time : 0.0 sec. user=mdettweiler [2017-04-08 10:20:36] 777*2^1450942-1 is not prime. Res64: 01E9F95767A5D06E Time : 0.0 sec. user=mdettweiler [2017-04-08 10:20:37] 873*2^1450942-1 is not prime. Res64: 4731FABC1C1D4F81 Time : 0.0 sec. user=mdettweiler [2017-04-08 10:20:37] 891*2^1450942-1 is not prime. Res64: A1F2B458E5B2ABE2 Time : 0.0 sec. user=mdettweiler [2017-04-08 10:20:37] 917*2^1450942-1 is not prime. Res64: 1C33089C7B74DED2 Time : 0.0 sec. user=mdettweiler [2017-04-08 10:20:38] 987*2^1450942-1 is not prime. Res64: 8CC180EC2003AF81 Time : 0.0 sec. user=mdettweiler [2017-04-08 10:28:43] 693*2^1450943-1 is not prime. Res64: 3CB7987A7BD6B606 Time : 0.0 sec. user=mdettweiler [2017-04-08 10:28:43] 789*2^1450943-1 is not prime. Res64: FC6B97CB5A7DDD47 Time : 0.0 sec. user=mdettweiler [2017-04-08 10:28:43] 913*2^1450943-1 is not prime. Res64: 063B791CAFEC2632 Time : 0.0 sec. user=mdettweiler [2017-04-08 10:28:44] 939*2^1450943-1 is not prime. Res64: 8E0EDD345CA88133 Time : 0.0 sec. user=mdettweiler [2017-04-08 10:28:44] 955*2^1450943-1 is not prime. Res64: CBD620949B00AA3F Time : 0.0 sec. user=mdettweiler [2017-04-08 10:31:45] 615*2^1450944-1 is not prime. Res64: 180540E2E63A5508 Time : 0.0 sec. user=mdettweiler [2017-04-08 10:31:46] 683*2^1450944-1 is not prime. Res64: 5EC13F93E89F844A Time : 0.0 sec. user=mdettweiler [2017-04-08 10:31:46] 693*2^1450944-1 is not prime. Res64: D778C6FD2590F06C Time : 0.0 sec. user=mdettweiler [2017-04-08 10:31:46] 747*2^1450944-1 is not prime. Res64: 7EADFBD2BA91190F Time : 0.0 sec. user=mdettweiler [2017-04-08 10:31:47] 767*2^1450944-1 is not prime. Res64: 023FFF7BB86004E6 Time : 0.0 sec. user=mdettweiler [2017-04-08 11:05:21] 789*2^1450944-1 is not prime. Res64: B29238E5B545D37F Time : 0.0 sec. user=mdettweiler [2017-04-08 11:05:22] 825*2^1450944-1 is not prime. Res64: D512C56F8DC842AB Time : 0.0 sec. user=mdettweiler [2017-04-08 11:05:22] 843*2^1450944-1 is not prime. Res64: B82DDEB8C8D0180E Time : 0.0 sec. user=mdettweiler [2017-04-08 11:05:23] 899*2^1450944-1 is not prime. Res64: 97E747F7815C25F5 Time : 0.0 sec. user=mdettweiler [2017-04-08 11:05:23] 945*2^1450944-1 is not prime. Res64: C4674F4BF348963C Time : 0.0 sec. user=mdettweiler [2017-04-08 11:05:27] 959*2^1450944-1 is not prime. Res64: B748330B44E4A686 Time : 0.0 sec. user=mdettweiler [2017-04-08 11:05:28] 983*2^1450944-1 is not prime. Res64: 8C6EFA4E2103E0BF Time : 0.0 sec. user=mdettweiler [2017-04-08 11:05:29] 619*2^1450945-1 is not prime. Res64: 7BEE70152765C9E7 Time : 0.0 sec. user=mdettweiler [2017-04-08 11:05:30] 691*2^1450945-1 is not prime. Res64: DB3E341DA18F2CE4 Time : 0.0 sec. user=mdettweiler [2017-04-08 11:05:31] 721*2^1450945-1 is not prime. Res64: 1847F2179A207CA5 Time : 0.0 sec. user=mdettweiler [2017-04-08 11:13:45] 727*2^1450945-1 is not prime. Res64: 478B9A7B74173C35 Time : 0.0 sec. user=mdettweiler [2017-04-08 11:13:46] 831*2^1450945-1 is not prime. Res64: FB6CCA0A985D06D9 Time : 0.0 sec. user=mdettweiler [2017-04-08 11:13:46] 915*2^1450945-1 is not prime. Res64: 2668490003D2908C Time : 0.0 sec. user=mdettweiler [2017-04-08 11:13:46] 633*2^1450946-1 is not prime. Res64: 2F5963A2577D10D7 Time : 0.0 sec. user=mdettweiler [2017-04-08 11:13:47] 701*2^1450946-1 is not prime. Res64: 22834C2745F3FE4F Time : 0.0 sec. user=mdettweiler [2017-04-08 11:16:53] 743*2^1450946-1 is not prime. Res64: F21F780235D82D06 Time : 0.0 sec. user=mdettweiler [2017-04-08 11:16:54] 767*2^1450946-1 is not prime. Res64: 5D4F5312EB5A775E Time : 0.0 sec. user=mdettweiler [2017-04-08 11:16:54] 873*2^1450946-1 is not prime. Res64: 482752BA4E768DEB Time : 0.0 sec. user=mdettweiler [2017-04-08 11:16:54] 983*2^1450946-1 is not prime. Res64: 26A658C01E3A99F7 Time : 0.0 sec. user=mdettweiler [2017-04-08 11:16:55] 675*2^1450947-1 is not prime. Res64: 7E56047E339B5507 Time : 0.0 sec. user=mdettweiler [2017-04-08 11:53:22] 647*2^1450948-1 is not prime. Res64: 5EE1280C8A212FE7 Time : 0.0 sec. user=mdettweiler [2017-04-08 11:53:22] 863*2^1450948-1 is not prime. Res64: CD20F23BAD6418AE Time : 0.0 sec. user=mdettweiler [2017-04-08 11:53:23] 995*2^1450948-1 is not prime. Res64: 26B15A4ECA9F641B Time : 0.0 sec. user=mdettweiler [2017-04-08 11:53:23] 645*2^1450949-1 is not prime. Res64: CCF4BE76F621B782 Time : 0.0 sec. user=mdettweiler [2017-04-08 11:53:24] 775*2^1450949-1 is not prime. Res64: C398209251BFFA1D Time : 0.0 sec. user=mdettweiler [2017-04-08 11:53:31] 793*2^1450947-1 is not prime. Res64: 22E97AED4E9783B5 Time : 0.0 sec. user=mdettweiler [2017-04-08 11:53:31] 795*2^1450947-1 is not prime. Res64: D613DC7A31A0F0C7 Time : 0.0 sec. user=mdettweiler [2017-04-08 11:53:32] 873*2^1450947-1 is not prime. Res64: BB5A91F5FF7DD432 Time : 0.0 sec. user=mdettweiler [2017-04-08 11:53:32] 895*2^1450947-1 is not prime. Res64: 2E4F2357D70F1CCA Time : 0.0 sec. user=mdettweiler [2017-04-08 11:53:32] 963*2^1450947-1 is not prime. Res64: 5E2F5E48B38B5AD9 Time : 0.0 sec. user=mdettweiler [2017-04-08 12:02:33] 831*2^1450949-1 is not prime. Res64: A7ADF76A8128B71B Time : 0.0 sec. user=mdettweiler [2017-04-08 12:02:34] 949*2^1450949-1 is not prime. Res64: 146D4B911B4909EF Time : 0.0 sec. user=mdettweiler [2017-04-08 12:02:35] 969*2^1450949-1 is not prime. Res64: A332A8F245B940D9 Time : 0.0 sec. user=mdettweiler [2017-04-08 12:02:36] 985*2^1450949-1 is not prime. Res64: 3581DC854C46D3E0 Time : 0.0 sec. user=mdettweiler [2017-04-08 12:02:37] 987*2^1450949-1 is not prime. Res64: 73D7FB788CEE94C6 Time : 0.0 sec. user=mdettweiler [2017-04-08 12:05:37] 713*2^1450950-1 is not prime. Res64: E6F057C00DD3CF53 Time : 0.0 sec. user=mdettweiler [2017-04-08 12:05:38] 795*2^1450950-1 is not prime. Res64: 855BA944B5FC1C73 Time : 0.0 sec. user=mdettweiler [2017-04-08 12:05:39] 845*2^1450950-1 is not prime. Res64: 85C1109C33869BB1 Time : 0.0 sec. user=mdettweiler [2017-04-08 12:05:40] 915*2^1450950-1 is not prime. Res64: B188C2C6475965D0 Time : 0.0 sec. user=mdettweiler [2017-04-08 12:05:42] 921*2^1450950-1 is not prime. Res64: D07AB8C5FF069EBA Time : 0.0 sec. user=mdettweiler [2017-04-08 12:38:56] 623*2^1450952-1 is not prime. Res64: F28DEAA937233ED8 Time : 0.0 sec. user=mdettweiler [2017-04-08 12:38:56] 669*2^1450952-1 is not prime. Res64: 3892EE9E1DE1CA5D Time : 0.0 sec. user=mdettweiler [2017-04-08 12:38:57] 797*2^1450952-1 is not prime. Res64: 70C31179EC220FDD Time : 0.0 sec. user=mdettweiler [2017-04-08 12:38:57] 915*2^1450953-1 is not prime. Res64: 21D4DEC97F96B953 Time : 0.0 sec. user=mdettweiler [2017-04-08 12:38:58] 999*2^1450953-1 is not prime. Res64: C2F61705DAB56A12 Time : 0.0 sec. user=mdettweiler [2017-04-08 12:39:00] 941*2^1450950-1 is not prime. Res64: 7A81D066FA65E30D Time : 0.0 sec. user=mdettweiler [2017-04-08 12:39:01] 963*2^1450950-1 is not prime. Res64: 262659ABD22CAE31 Time : 0.0 sec. user=mdettweiler [2017-04-08 12:39:01] 673*2^1450951-1 is not prime. Res64: 51F4D43DB4B10B05 Time : 0.0 sec. user=mdettweiler [2017-04-08 12:39:02] 705*2^1450951-1 is not prime. Res64: 6087A0634AEA4D89 Time : 0.0 sec. user=mdettweiler [2017-04-08 12:39:02] 871*2^1450951-1 is not prime. Res64: DF88502903CADBE9 Time : 0.0 sec. user=mdettweiler [2017-04-08 12:47:45] 605*2^1450954-1 is not prime. Res64: D6EE2C568BDBA81B Time : 0.0 sec. user=mdettweiler [2017-04-08 12:47:46] 633*2^1450954-1 is not prime. Res64: 3B9F75FFC2E54A68 Time : 0.0 sec. user=mdettweiler [2017-04-08 12:47:46] 705*2^1450954-1 is not prime. Res64: F934A3AE9EC27BC1 Time : 0.0 sec. user=mdettweiler [2017-04-08 12:47:47] 765*2^1450954-1 is not prime. Res64: 557F72B296B405A8 Time : 0.0 sec. user=mdettweiler [2017-04-08 12:47:47] 885*2^1450954-1 is not prime. Res64: 8A948E4121EE6E8C Time : 0.0 sec. user=mdettweiler [2017-04-08 12:50:44] 887*2^1450954-1 is not prime. Res64: F360185DE85464DD Time : 0.0 sec. user=mdettweiler [2017-04-08 12:50:45] 993*2^1450954-1 is not prime. Res64: 3A73277C3402F877 Time : 0.0 sec. user=mdettweiler [2017-04-08 12:50:45] 601*2^1450955-1 is not prime. Res64: A8915670A96D5B9B Time : 0.0 sec. user=mdettweiler [2017-04-08 12:50:46] 673*2^1450955-1 is not prime. Res64: 19C26FB43BF17FDB Time : 0.0 sec. user=mdettweiler [2017-04-08 12:50:46] 693*2^1450955-1 is not prime. Res64: 3AAD54B13ADAA74C Time : 0.0 sec. user=mdettweiler [2017-04-08 13:23:49] 861*2^1450955-1 is not prime. Res64: 37B8DA003B450158 Time : 0.0 sec. user=mdettweiler [2017-04-08 13:23:49] 895*2^1450955-1 is not prime. Res64: 89B2DD355AFAC573 Time : 0.0 sec. user=mdettweiler [2017-04-08 13:23:50] 949*2^1450955-1 is not prime. Res64: D081B2056B5C519A Time : 0.0 sec. user=mdettweiler [2017-04-08 13:23:50] 737*2^1450956-1 is not prime. Res64: 6D8353ED365B0D9E Time : 0.0 sec. user=mdettweiler [2017-04-08 13:23:51] 873*2^1450956-1 is not prime. Res64: 3D4BAE20191C58F6 Time : 0.0 sec. user=mdettweiler [2017-04-08 13:23:51] 705*2^1450955-1 is not prime. Res64: 04549CD24F12B7C4 Time : 0.0 sec. user=mdettweiler [2017-04-08 13:23:51] 733*2^1450955-1 is not prime. Res64: 64801AD7043A4C69 Time : 0.0 sec. user=mdettweiler [2017-04-08 13:23:52] 819*2^1450955-1 is not prime. Res64: 54D2CA9A393A3B69 Time : 0.0 sec. user=mdettweiler [2017-04-08 13:23:52] 825*2^1450955-1 is not prime. Res64: 6C21F2E3466BEDE6 Time : 0.0 sec. user=mdettweiler [2017-04-08 13:23:53] 843*2^1450955-1 is not prime. Res64: CE55127149511589 Time : 0.0 sec. user=mdettweiler [2017-04-08 13:32:37] 699*2^1450957-1 is not prime. Res64: 0D5A2B44F572B0BA Time : 0.0 sec. user=mdettweiler [2017-04-08 13:32:37] 727*2^1450957-1 is not prime. Res64: 842C52D097E64AC5 Time : 0.0 sec. user=mdettweiler [2017-04-08 13:32:38] 747*2^1450957-1 is not prime. Res64: 7901447027F09AFF Time : 0.0 sec. user=mdettweiler [2017-04-08 13:32:38] 757*2^1450957-1 is not prime. Res64: 5244727A09D68374 Time : 0.0 sec. user=mdettweiler [2017-04-08 13:32:38] 777*2^1450957-1 is not prime. Res64: 2F940E0342B534A7 Time : 0.0 sec. user=mdettweiler [2017-04-08 13:35:36] 817*2^1450957-1 is not prime. Res64: C746171621E4CEB2 Time : 0.0 sec. user=mdettweiler [2017-04-08 13:35:37] 859*2^1450957-1 is not prime. Res64: 4301489F34548C80 Time : 0.0 sec. user=mdettweiler [2017-04-08 13:35:37] 871*2^1450957-1 is not prime. Res64: F5BFE5FD6AE10D00 Time : 0.0 sec. user=mdettweiler [2017-04-08 13:35:38] 885*2^1450957-1 is not prime. Res64: A258F9797D8544EA Time : 0.0 sec. user=mdettweiler [2017-04-08 13:35:38] 915*2^1450957-1 is not prime. Res64: DEC0B9CF74F79813 Time : 0.0 sec. user=mdettweiler [2017-04-08 14:08:46] 955*2^1450957-1 is not prime. Res64: 0AE7FF7D371914C1 Time : 0.0 sec. user=mdettweiler [2017-04-08 14:08:46] 603*2^1450958-1 is not prime. Res64: 1970A4124A04EF34 Time : 0.0 sec. user=mdettweiler [2017-04-08 14:08:47] 887*2^1450958-1 is not prime. Res64: EFC0972D3FEE1226 Time : 0.0 sec. user=mdettweiler [2017-04-08 14:08:47] 897*2^1450958-1 is not prime. Res64: F753E64973A961B3 Time : 0.0 sec. user=mdettweiler [2017-04-08 14:08:48] 609*2^1450959-1 is not prime. Res64: 85B55D9E243ED95E Time : 0.0 sec. user=mdettweiler [2017-04-08 14:08:49] 625*2^1450959-1 is not prime. Res64: 4EF0CCF0BB2CB045 Time : 0.0 sec. user=mdettweiler [2017-04-08 14:08:49] 663*2^1450959-1 is not prime. Res64: 7806904CE44C1919 Time : 0.0 sec. user=mdettweiler [2017-04-08 14:08:50] 679*2^1450959-1 is not prime. Res64: B6BA6D91BA3D4494 Time : 0.0 sec. user=mdettweiler [2017-04-08 14:08:50] 789*2^1450959-1 is not prime. Res64: 2315792F8671142F Time : 0.0 sec. user=mdettweiler [2017-04-08 14:08:51] 909*2^1450959-1 is not prime. Res64: DD6C2209A1C7612C Time : 0.0 sec. user=mdettweiler [2017-04-08 14:17:46] 663*2^1450960-1 is not prime. Res64: DF7C6B9B132E57D0 Time : 0.0 sec. user=mdettweiler [2017-04-08 14:17:47] 713*2^1450960-1 is not prime. Res64: 9ABEB7B73BDB43A1 Time : 0.0 sec. user=mdettweiler [2017-04-08 14:17:47] 803*2^1450960-1 is not prime. Res64: B895FA9D07255D0A Time : 0.0 sec. user=mdettweiler [2017-04-08 14:17:48] 917*2^1450960-1 is not prime. Res64: 0F95B9C7B65BED6D Time : 0.0 sec. user=mdettweiler [2017-04-08 14:17:48] 939*2^1450960-1 is not prime. Res64: A75424DBBD509022 Time : 0.0 sec. user=mdettweiler [2017-04-08 14:20:32] 959*2^1450960-1 is not prime. Res64: 666A64BBD1BB8757 Time : 0.0 sec. user=mdettweiler [2017-04-08 14:20:32] 619*2^1450961-1 is not prime. Res64: 89EADCE330FC8D8E Time : 0.0 sec. user=mdettweiler [2017-04-08 14:20:33] 691*2^1450961-1 is not prime. Res64: 5A2B6CD70817444E Time : 0.0 sec. user=mdettweiler [2017-04-08 14:20:33] 789*2^1450961-1 is not prime. Res64: C1DFD866F51988C3 Time : 0.0 sec. user=mdettweiler [2017-04-08 14:20:34] 795*2^1450961-1 is not prime. Res64: 57D69610A631F6A9 Time : 0.0 sec. user=mdettweiler [2017-04-08 14:53:55] 705*2^1450962-1 is not prime. Res64: 306B4B69D2169B66 Time : 0.0 sec. user=mdettweiler [2017-04-08 14:53:55] 741*2^1450962-1 is not prime. Res64: 698D8EB62028284D Time : 0.0 sec. user=mdettweiler [2017-04-08 14:53:56] 619*2^1450963-1 is not prime. Res64: 4435A0E4FD691EDF Time : 0.0 sec. user=mdettweiler [2017-04-08 14:53:56] 705*2^1450963-1 is not prime. Res64: 36790B0D5A1C0405 Time : 0.0 sec. user=mdettweiler [2017-04-08 14:53:57] 811*2^1450963-1 is not prime. Res64: EBC6284D9B0CAFBD Time : 0.0 sec. user=mdettweiler [2017-04-08 14:53:57] 829*2^1450961-1 is not prime. Res64: 7FEB090F5A5B6211 Time : 0.0 sec. user=mdettweiler [2017-04-08 14:53:58] 945*2^1450961-1 is not prime. Res64: 7EC9C5DDC8CACD44 Time : 0.0 sec. user=mdettweiler [2017-04-08 14:53:58] 621*2^1450962-1 is not prime. Res64: 6222B3E73C651498 Time : 0.0 sec. user=mdettweiler [2017-04-08 14:53:59] 627*2^1450962-1 is not prime. Res64: E5B6D49BF9F974FC Time : 0.0 sec. user=mdettweiler [2017-04-08 14:53:59] 651*2^1450962-1 is not prime. Res64: FFE358571374D7FE Time : 0.0 sec. user=mdettweiler [2017-04-08 15:03:04] 853*2^1450963-1 is not prime. Res64: 2495230E011DAB6C Time : 0.0 sec. user=mdettweiler [2017-04-08 15:03:05] 961*2^1450963-1 is not prime. Res64: 5AB4CD39570D11B1 Time : 0.0 sec. user=mdettweiler [2017-04-08 15:03:07] 699*2^1450964-1 is not prime. Res64: C554F15460A1354D Time : 0.0 sec. user=mdettweiler [2017-04-08 15:03:08] 609*2^1450965-1 is not prime. Res64: F3DF611CB4349278 Time : 0.0 sec. user=mdettweiler [2017-04-08 15:03:09] 675*2^1450965-1 is not prime. Res64: 65EFE56D4DEE1CC7 Time : 0.0 sec. user=mdettweiler [2017-04-08 15:05:31] 711*2^1450965-1 is not prime. Res64: FAD21B560FC47E17 Time : 0.0 sec. user=mdettweiler [2017-04-08 15:05:33] 817*2^1450965-1 is not prime. Res64: 32E3E97A3F378475 Time : 0.0 sec. user=mdettweiler [2017-04-08 15:05:34] 859*2^1450965-1 is not prime. Res64: B25E88F4EED8C041 Time : 0.0 sec. user=mdettweiler [2017-04-08 15:05:35] 861*2^1450965-1 is not prime. Res64: 5954D152D57FC0AF Time : 0.0 sec. user=mdettweiler [2017-04-08 15:05:36] 927*2^1450965-1 is not prime. Res64: 4B51CD3550241277 Time : 0.0 sec. user=mdettweiler [2017-04-08 15:39:00] 617*2^1450966-1 is not prime. Res64: DCA3AAF8BD5489D7 Time : 0.0 sec. user=mdettweiler [2017-04-08 15:39:00] 635*2^1450966-1 is not prime. Res64: 8D1E03D342E9F184 Time : 0.0 sec. user=mdettweiler [2017-04-08 15:39:01] 651*2^1450966-1 is not prime. Res64: 6304039407A5EEF4 Time : 0.0 sec. user=mdettweiler [2017-04-08 15:39:01] 657*2^1450966-1 is not prime. Res64: 94AA922D93CBF9A6 Time : 0.0 sec. user=mdettweiler [2017-04-08 15:39:02] 717*2^1450966-1 is not prime. Res64: 6A101CE1895A1A27 Time : 0.0 sec. user=mdettweiler [2017-04-08 15:39:03] 741*2^1450966-1 is not prime. Res64: 9DFD503123E39C74 Time : 0.0 sec. user=mdettweiler [2017-04-08 15:39:04] 971*2^1450966-1 is not prime. Res64: A266B09C9ADA981D Time : 0.0 sec. user=mdettweiler [2017-04-08 15:39:04] 831*2^1450967-1 is not prime. Res64: BDAE769CEEF9658B Time : 0.0 sec. user=mdettweiler [2017-04-08 15:39:05] 879*2^1450967-1 is not prime. Res64: 8E49D9A8F91258DA Time : 0.0 sec. user=mdettweiler [2017-04-08 15:39:05] 913*2^1450967-1 is not prime. Res64: 05AA9DC3D1EB98B7 Time : 0.0 sec. user=mdettweiler [2017-04-08 15:48:42] 985*2^1450967-1 is not prime. Res64: 181A79A91E4FF945 Time : 0.0 sec. user=mdettweiler [2017-04-08 15:48:43] 663*2^1450968-1 is not prime. Res64: 22DC2E0EAB696AF7 Time : 0.0 sec. user=mdettweiler [2017-04-08 15:48:43] 875*2^1450968-1 is not prime. Res64: DC22BA98930D252F Time : 0.0 sec. user=mdettweiler [2017-04-08 15:48:44] 975*2^1450968-1 is not prime. Res64: 332F459EAC1CEAB2 Time : 0.0 sec. user=mdettweiler [2017-04-08 15:48:44] 625*2^1450969-1 is not prime. Res64: 0EB9DEE6740B2E70 Time : 0.0 sec. user=mdettweiler [2017-04-08 15:50:39] 799*2^1450969-1 is not prime. Res64: 71FF1C31ABA21F0E Time : 0.0 sec. user=mdettweiler [2017-04-08 15:50:39] 819*2^1450969-1 is not prime. Res64: C34F420671009528 Time : 0.0 sec. user=mdettweiler [2017-04-08 15:50:40] 855*2^1450969-1 is not prime. Res64: 4FA3AF0CB9CFB76B Time : 0.0 sec. user=mdettweiler [2017-04-08 15:50:40] 957*2^1450969-1 is not prime. Res64: 1E93B8E63CE2AE1C Time : 0.0 sec. user=mdettweiler [2017-04-08 15:50:41] 979*2^1450969-1 is not prime. Res64: BC15C150133F3549 Time : 0.0 sec. user=mdettweiler [2017-04-08 16:23:54] 769*2^1450971-1 is not prime. Res64: A174D40B4B9C80E9 Time : 0.0 sec. user=mdettweiler [2017-04-08 16:23:55] 801*2^1450971-1 is not prime. Res64: E2640E03F7D82D20 Time : 0.0 sec. user=mdettweiler [2017-04-08 16:23:55] 819*2^1450971-1 is not prime. Res64: 3A9E1A27B9BDBF5A Time : 0.0 sec. user=mdettweiler [2017-04-08 16:23:56] 999*2^1450971-1 is not prime. Res64: B61E793D9F54D0FC Time : 0.0 sec. user=mdettweiler [2017-04-08 16:23:56] 615*2^1450972-1 is not prime. Res64: E111FE1D27BA8FA7 Time : 0.0 sec. user=mdettweiler [2017-04-08 16:24:01] 999*2^1450969-1 is not prime. Res64: 841DE0484065BFF2 Time : 0.0 sec. user=mdettweiler [2017-04-08 16:24:01] 645*2^1450970-1 is not prime. Res64: 9CDF21DEF87DFBDC Time : 0.0 sec. user=mdettweiler [2017-04-08 16:24:02] 981*2^1450970-1 is not prime. Res64: 2D0AAEBDBB0F9BCC Time : 0.0 sec. user=mdettweiler [2017-04-08 16:24:02] 669*2^1450971-1 is not prime. Res64: 6E981DCB597D3B90 Time : 0.0 sec. user=mdettweiler [2017-04-08 16:24:03] 723*2^1450971-1 is not prime. Res64: 0CEE2179E1EDF305 Time : 0.0 sec. user=mdettweiler [2017-04-08 16:33:51] 629*2^1450972-1 is not prime. Res64: E235E6B3596BF03A Time : 0.0 sec. user=mdettweiler [2017-04-08 16:33:52] 689*2^1450972-1 is not prime. Res64: 2EAF4BADD0AA91AC Time : 0.0 sec. user=mdettweiler [2017-04-08 16:33:52] 695*2^1450972-1 is not prime. Res64: 2A6EF906BC1B304C Time : 0.0 sec. user=mdettweiler [2017-04-08 16:33:53] 869*2^1450972-1 is not prime. Res64: BA43D25421522BC5 Time : 0.0 sec. user=mdettweiler [2017-04-08 16:33:53] 987*2^1450972-1 is not prime. Res64: 60EA83F87BBC25B9 Time : 0.0 sec. user=mdettweiler [2017-04-08 16:35:34] 995*2^1450972-1 is not prime. Res64: 9EF62402B1D944FF Time : 0.0 sec. user=mdettweiler [2017-04-08 16:35:34] 619*2^1450973-1 is not prime. Res64: C84AF536DE85CF74 Time : 0.0 sec. user=mdettweiler [2017-04-08 16:35:35] 627*2^1450973-1 is not prime. Res64: E9330E37DD9AC670 Time : 0.0 sec. user=mdettweiler [2017-04-08 16:35:35] 735*2^1450973-1 is not prime. Res64: 5C8AD5D62BC37225 Time : 0.0 sec. user=mdettweiler [2017-04-08 16:35:36] 805*2^1450973-1 is not prime. Res64: C7C09FB82FFD1827 Time : 0.0 sec. user=mdettweiler [2017-04-08 17:08:50] 811*2^1450973-1 is not prime. Res64: FB0480042D2CB09D Time : 0.0 sec. user=mdettweiler [2017-04-08 17:08:51] 889*2^1450973-1 is not prime. Res64: 50CEEDD4EF4DE349 Time : 0.0 sec. user=mdettweiler [2017-04-08 17:08:51] 915*2^1450973-1 is not prime. Res64: AC502E84B99745E0 Time : 0.0 sec. user=mdettweiler [2017-04-08 17:08:52] 937*2^1450973-1 is not prime. Res64: B973201EDEAB848F Time : 0.0 sec. user=mdettweiler [2017-04-08 17:08:53] 671*2^1450974-1 is not prime. Res64: DB8E61EDB7C87C29 Time : 0.0 sec. user=mdettweiler [2017-04-08 17:08:53] 747*2^1450974-1 is not prime. Res64: FA54C0376B622327 Time : 0.0 sec. user=mdettweiler [2017-04-08 17:08:54] 765*2^1450974-1 is not prime. Res64: 283F4DB77C750744 Time : 0.0 sec. user=mdettweiler [2017-04-08 17:08:55] 773*2^1450974-1 is not prime. Res64: 57C50A2E489F3C80 Time : 0.0 sec. user=mdettweiler [2017-04-08 17:08:56] 917*2^1450974-1 is not prime. Res64: 41D6CED377E6248E Time : 0.0 sec. user=mdettweiler [2017-04-08 17:08:57] 715*2^1450975-1 is not prime. Res64: 74FEB4453FB725E3 Time : 0.0 sec. user=mdettweiler [2017-04-08 17:18:48] 751*2^1450975-1 is not prime. Res64: D37B3FD9886E6BEF Time : 0.0 sec. user=mdettweiler [2017-04-08 17:18:48] 891*2^1450975-1 is not prime. Res64: E6A0354975DB682D Time : 0.0 sec. user=mdettweiler [2017-04-08 17:18:49] 933*2^1450975-1 is not prime. Res64: 41F433DC15B841B9 Time : 0.0 sec. user=mdettweiler [2017-04-08 17:18:49] 961*2^1450975-1 is not prime. Res64: 71FE7030FE8FF725 Time : 0.0 sec. user=mdettweiler [2017-04-08 17:18:49] 973*2^1450975-1 is not prime. Res64: 38CDAE7A76DC1246 Time : 0.0 sec. user=mdettweiler [2017-04-08 17:20:26] 603*2^1450976-1 is not prime. Res64: ABEAB19954A86D07 Time : 0.0 sec. user=mdettweiler [2017-04-08 17:20:26] 609*2^1450976-1 is not prime. Res64: 70ABB1363760634D Time : 0.0 sec. user=mdettweiler [2017-04-08 17:20:27] 633*2^1450976-1 is not prime. Res64: 917903623EAA4BD8 Time : 0.0 sec. user=mdettweiler [2017-04-08 17:20:27] 725*2^1450976-1 is not prime. Res64: A95416F822EE5296 Time : 0.0 sec. user=mdettweiler [2017-04-08 17:20:27] 917*2^1450976-1 is not prime. Res64: 599A3B81586291B8 Time : 0.0 sec. user=mdettweiler [2017-04-08 17:54:01] 969*2^1450976-1 is not prime. Res64: C3592F6FD0C3779F Time : 0.0 sec. user=mdettweiler [2017-04-08 17:54:02] 601*2^1450977-1 is not prime. Res64: 4407AC0D22D43B5B Time : 0.0 sec. user=mdettweiler [2017-04-08 17:54:02] 625*2^1450977-1 is not prime. Res64: 05293D9D0CE772AD Time : 0.0 sec. user=mdettweiler [2017-04-08 17:54:02] 795*2^1450977-1 is not prime. Res64: 8892C62660AC6BCF Time : 0.0 sec. user=mdettweiler [2017-04-08 17:54:02] 849*2^1450977-1 is not prime. Res64: 24460038D31049A7 Time : 0.0 sec. user=mdettweiler [2017-04-08 17:54:03] 847*2^1450977-1 is not prime. Res64: 5292FD1D2772913D Time : 0.0 sec. user=mdettweiler [2017-04-08 17:54:03] 915*2^1450977-1 is not prime. Res64: 7FABD203F44D71FB Time : 0.0 sec. user=mdettweiler [2017-04-08 17:54:03] 949*2^1450977-1 is not prime. Res64: 404F841610943BE2 Time : 0.0 sec. user=mdettweiler [2017-04-08 17:54:04] 979*2^1450977-1 is not prime. Res64: 6FFD1814D582908C Time : 0.0 sec. user=mdettweiler [2017-04-08 17:54:04] 985*2^1450977-1 is not prime. Res64: F60C476FB8FB1006 Time : 0.0 sec. user=mdettweiler [2017-04-08 18:03:41] 611*2^1450978-1 is not prime. Res64: 37F3E03793F809C0 Time : 0.0 sec. user=mdettweiler [2017-04-08 18:03:42] 665*2^1450978-1 is not prime. Res64: 2F41AA72E6772866 Time : 0.0 sec. user=mdettweiler [2017-04-08 18:03:43] 681*2^1450978-1 is not prime. Res64: E0670849F74B20B4 Time : 0.0 sec. user=mdettweiler [2017-04-08 18:03:44] 731*2^1450978-1 is not prime. Res64: 6F4DC1AFDCC2A5A0 Time : 0.0 sec. user=mdettweiler [2017-04-08 18:03:45] 765*2^1450978-1 is not prime. Res64: 7E53480949F95087 Time : 0.0 sec. user=mdettweiler [2017-04-08 18:05:27] 773*2^1450978-1 is not prime. Res64: BC53C8579923420F Time : 0.0 sec. user=mdettweiler [2017-04-08 18:05:28] 867*2^1450978-1 is not prime. Res64: 5027FA5A6F7837E9 Time : 0.0 sec. user=mdettweiler [2017-04-08 18:05:28] 759*2^1450979-1 is not prime. Res64: 2ECAAF96DF7F127F Time : 0.0 sec. user=mdettweiler [2017-04-08 18:05:29] 771*2^1450979-1 is not prime. Res64: A040D41CBD34635C Time : 0.0 sec. user=mdettweiler [2017-04-08 18:05:29] 843*2^1450979-1 is not prime. Res64: CB9168349EFCF82D Time : 0.0 sec. user=mdettweiler [2017-04-08 18:39:01] 885*2^1450979-1 is not prime. Res64: F44D0C901F52069C Time : 0.0 sec. user=mdettweiler [2017-04-08 18:39:01] 943*2^1450979-1 is not prime. Res64: 7CA30C1CA0290833 Time : 0.0 sec. user=mdettweiler [2017-04-08 18:39:01] 955*2^1450979-1 is not prime. Res64: 1357C3171F630B57 Time : 0.0 sec. user=mdettweiler [2017-04-08 18:39:02] 759*2^1450980-1 is not prime. Res64: B8CD46C1090E905C Time : 0.0 sec. user=mdettweiler [2017-04-08 18:39:02] 843*2^1450980-1 is not prime. Res64: 763A61C4D076A1EC Time : 0.0 sec. user=mdettweiler [2017-04-08 18:39:06] 933*2^1450980-1 is not prime. Res64: 421DFF056C2CAEDE Time : 0.0 sec. user=mdettweiler [2017-04-08 18:39:06] 959*2^1450980-1 is not prime. Res64: 2B058C3CA52C208E Time : 0.0 sec. user=mdettweiler [2017-04-08 18:39:06] 619*2^1450981-1 is not prime. Res64: 7556537DD3D60641 Time : 0.0 sec. user=mdettweiler [2017-04-08 18:39:07] 715*2^1450981-1 is not prime. Res64: 1818E2CD9BB14990 Time : 0.0 sec. user=mdettweiler [2017-04-08 18:39:07] 775*2^1450981-1 is not prime. Res64: 2634DA25256A1F73 Time : 0.0 sec. user=mdettweiler [2017-04-08 18:49:04] 819*2^1450981-1 is not prime. Res64: D43CDBB41E26FB13 Time : 0.0 sec. user=mdettweiler [2017-04-08 18:49:04] 849*2^1450981-1 is not prime. Res64: CBF8760A0A73EB18 Time : 0.0 sec. user=mdettweiler [2017-04-08 18:49:04] 861*2^1450981-1 is not prime. Res64: 87C36633A7B5F905 Time : 0.0 sec. user=mdettweiler [2017-04-08 18:49:05] 877*2^1450981-1 is not prime. Res64: CEA9BDC100B46073 Time : 0.0 sec. user=mdettweiler [2017-04-08 18:49:05] 895*2^1450981-1 is not prime. Res64: 221474B5CB733F83 Time : 0.0 sec. user=mdettweiler [2017-04-08 18:50:20] 955*2^1450981-1 is not prime. Res64: 83D6CCAD1294898E Time : 0.0 sec. user=mdettweiler [2017-04-08 18:50:21] 771*2^1450982-1 is not prime. Res64: 1326AF73091F7CCC Time : 0.0 sec. user=mdettweiler [2017-04-08 18:50:21] 813*2^1450982-1 is not prime. Res64: BC238EE5B0E25574 Time : 0.0 sec. user=mdettweiler [2017-04-08 18:50:21] 815*2^1450982-1 is not prime. Res64: B36C0D25E03F47BF Time : 0.0 sec. user=mdettweiler [2017-04-08 18:50:22] 893*2^1450982-1 is not prime. Res64: F6EDB1F090B5A6F6 Time : 0.0 sec. user=mdettweiler [2017-04-08 19:23:53] 621*2^1450983-1 is not prime. Res64: 3583051323F080A8 Time : 0.0 sec. user=mdettweiler [2017-04-08 19:23:54] 663*2^1450983-1 is not prime. Res64: 5FDE9210BE64FB19 Time : 0.0 sec. user=mdettweiler [2017-04-08 19:23:54] 783*2^1450983-1 is not prime. Res64: 785CC75A71C5C6BB Time : 0.0 sec. user=mdettweiler [2017-04-08 19:23:54] 789*2^1450983-1 is not prime. Res64: 718E49A84655C7E3 Time : 0.0 sec. user=mdettweiler [2017-04-08 19:23:55] 793*2^1450983-1 is not prime. Res64: D0F05CCB319DCB6B Time : 0.0 sec. user=mdettweiler [2017-04-08 19:24:02] 903*2^1450982-1 is not prime. Res64: 9AAC126882D26631 Time : 0.0 sec. user=mdettweiler [2017-04-08 19:24:02] 951*2^1450982-1 is not prime. Res64: 6D66FE516792596A Time : 0.0 sec. user=mdettweiler [2017-04-08 19:24:03] 965*2^1450982-1 is not prime. Res64: 94491D62672501D5 Time : 0.0 sec. user=mdettweiler [2017-04-08 19:24:03] 613*2^1450983-1 is not prime. Res64: 72DF259BBC3E4F4A Time : 0.0 sec. user=mdettweiler [2017-04-08 19:24:04] 619*2^1450983-1 is not prime. Res64: A139CA86639A378A Time : 0.0 sec. user=mdettweiler [2017-04-08 19:34:06] 819*2^1450983-1 is not prime. Res64: BE4055A22F53C9E3 Time : 0.0 sec. user=mdettweiler [2017-04-08 19:34:06] 949*2^1450983-1 is not prime. Res64: 08459F30531DFF83 Time : 0.0 sec. user=mdettweiler [2017-04-08 19:34:07] 617*2^1450984-1 is not prime. Res64: CA2A7DCA5EC038F7 Time : 0.0 sec. user=mdettweiler [2017-04-08 19:34:07] 765*2^1450984-1 is not prime. Res64: 7E8E485E4EFB3EEC Time : 0.0 sec. user=mdettweiler [2017-04-08 19:34:07] 825*2^1450984-1 is not prime. Res64: 9A8349C807E2A8BB Time : 0.0 sec. user=mdettweiler [2017-04-08 19:35:22] 869*2^1450984-1 is not prime. Res64: C4CC19B172B452E8 Time : 0.0 sec. user=mdettweiler [2017-04-08 19:35:22] 875*2^1450984-1 is not prime. Res64: 4A5D9717ED366B3F Time : 0.0 sec. user=mdettweiler [2017-04-08 19:35:23] 627*2^1450985-1 is not prime. Res64: 1E4F2C21641B65F6 Time : 0.0 sec. user=mdettweiler [2017-04-08 19:35:23] 645*2^1450985-1 is not prime. Res64: 082E1AD72CFFA51F Time : 0.0 sec. user=mdettweiler [2017-04-08 19:35:23] 771*2^1450985-1 is not prime. Res64: 77EE994B2BEFC574 Time : 0.0 sec. user=mdettweiler [2017-04-08 20:08:49] 767*2^1450986-1 is not prime. Res64: 4106C4794569E3CD Time : 0.0 sec. user=mdettweiler [2017-04-08 20:08:49] 783*2^1450986-1 is not prime. Res64: 85F0C1C5D14E9340 Time : 0.0 sec. user=mdettweiler [2017-04-08 20:08:50] 801*2^1450986-1 is not prime. Res64: C29C94C1D822FC91 Time : 0.0 sec. user=mdettweiler [2017-04-08 20:08:50] 881*2^1450986-1 is not prime. Res64: E4BB831716594DE1 Time : 0.0 sec. user=mdettweiler [2017-04-08 20:08:51] 887*2^1450986-1 is not prime. Res64: CB05410F8942C830 Time : 0.0 sec. user=mdettweiler [2017-04-08 20:08:56] 781*2^1450985-1 is not prime. Res64: 2CCCA1FDCA907433 Time : 0.0 sec. user=mdettweiler [2017-04-08 20:08:57] 847*2^1450985-1 is not prime. Res64: D47E19C7620C39FE Time : 0.0 sec. user=mdettweiler [2017-04-08 20:08:58] 611*2^1450986-1 is not prime. Res64: 2EE415580936E21D Time : 0.0 sec. user=mdettweiler [2017-04-08 20:08:58] 647*2^1450986-1 is not prime. Res64: 900A8EF4F1A103F2 Time : 0.0 sec. user=mdettweiler [2017-04-08 20:08:59] 711*2^1450986-1 is not prime. Res64: 5387FE4A49C951E8 Time : 0.0 sec. user=mdettweiler [2017-04-08 20:19:11] 609*2^1450987-1 is not prime. Res64: 8915E9FF7D9731B1 Time : 0.0 sec. user=mdettweiler [2017-04-08 20:19:11] 673*2^1450987-1 is not prime. Res64: 27A263FDE711AC3F Time : 0.0 sec. user=mdettweiler [2017-04-08 20:19:12] 691*2^1450987-1 is not prime. Res64: 9AE31084BCF82C52 Time : 0.0 sec. user=mdettweiler [2017-04-08 20:19:12] 693*2^1450987-1 is not prime. Res64: BB6722D4B718AB1E Time : 0.0 sec. user=mdettweiler [2017-04-08 20:19:13] 741*2^1450987-1 is not prime. Res64: EB28E473EB810DF1 Time : 0.0 sec. user=mdettweiler [2017-04-08 20:20:16] 759*2^1450987-1 is not prime. Res64: B9723709CC36F7C1 Time : 0.0 sec. user=mdettweiler [2017-04-08 20:20:16] 873*2^1450987-1 is not prime. Res64: B31590116FEDD975 Time : 0.0 sec. user=mdettweiler [2017-04-08 20:20:17] 919*2^1450987-1 is not prime. Res64: 617C3256592169D1 Time : 0.0 sec. user=mdettweiler [2017-04-08 20:20:17] 951*2^1450987-1 is not prime. Res64: 22FCE78A0B36B8B1 Time : 0.0 sec. user=mdettweiler [2017-04-08 20:20:18] 699*2^1450988-1 is not prime. Res64: BB360D83D012CC88 Time : 0.0 sec. user=mdettweiler [2017-04-08 20:53:50] 837*2^1450988-1 is not prime. Res64: D3AFDBD5BB4A6525 Time : 0.0 sec. user=mdettweiler [2017-04-08 20:53:50] 867*2^1450988-1 is not prime. Res64: 144B17967130D402 Time : 0.0 sec. user=mdettweiler [2017-04-08 20:53:50] 935*2^1450988-1 is not prime. Res64: 4A6A8B12777A8E06 Time : 0.0 sec. user=mdettweiler [2017-04-08 20:53:51] 963*2^1450988-1 is not prime. Res64: B27D06957F888F38 Time : 0.0 sec. user=mdettweiler [2017-04-08 20:53:51] 969*2^1450988-1 is not prime. Res64: 2672BE05B942F1AA Time : 0.0 sec. user=mdettweiler [2017-04-08 20:53:54] 999*2^1450988-1 is not prime. Res64: C0029D296F7CC86D Time : 0.0 sec. user=mdettweiler [2017-04-08 20:53:54] 847*2^1450989-1 is not prime. Res64: 72802970333DF89E Time : 0.0 sec. user=mdettweiler [2017-04-08 20:53:55] 927*2^1450989-1 is not prime. Res64: 2A330E0B7D20953C Time : 0.0 sec. user=mdettweiler [2017-04-08 20:53:55] 945*2^1450989-1 is not prime. Res64: 73B27D83B7C42FD5 Time : 0.0 sec. user=mdettweiler [2017-04-08 20:53:56] 969*2^1450989-1 is not prime. Res64: DA3C97EFF086A576 Time : 0.0 sec. user=juhehe [2017-04-08 20:54:51] 635*2^1450990-1 is not prime. Res64: 62579F5D44C87D63 Time : 0.0 sec. user=mdettweiler [2017-04-08 21:05:41] 821*2^1450990-1 is not prime. Res64: 1F0DA5B36B819A78 Time : 0.0 sec. user=mdettweiler [2017-04-08 21:05:42] 843*2^1450990-1 is not prime. Res64: 11E2B310BF1841DE Time : 0.0 sec. user=mdettweiler [2017-04-08 21:05:42] 941*2^1450990-1 is not prime. Res64: 96A48D844FF411E0 Time : 0.0 sec. user=mdettweiler [2017-04-08 21:05:43] 975*2^1450990-1 is not prime. Res64: 1515CF61A47CBFCF Time : 0.0 sec. user=mdettweiler [2017-04-08 21:05:43] 703*2^1450991-1 is not prime. Res64: 15F402542D450552 Time : 0.0 sec. user=mdettweiler [2017-04-08 21:06:57] 781*2^1450991-1 is not prime. Res64: C5089C975140671F Time : 0.0 sec. user=mdettweiler [2017-04-08 21:06:57] 819*2^1450991-1 is not prime. Res64: D55A19CB033625CF Time : 0.0 sec. user=mdettweiler [2017-04-08 21:06:57] 825*2^1450991-1 is not prime. Res64: A677C0E0DA9EEEE4 Time : 0.0 sec. user=mdettweiler [2017-04-08 21:06:58] 993*2^1450991-1 is not prime. Res64: 814DC3CA34886CDA Time : 0.0 sec. user=mdettweiler [2017-04-08 21:06:58] 605*2^1450992-1 is not prime. Res64: 0A019C27562CC25C Time : 0.0 sec. user=mdettweiler [2017-04-08 21:46:17] 945*2^1450992-1 is not prime. Res64: 4DDD75BD66CFD86D Time : 0.0 sec. user=mdettweiler [2017-04-08 21:46:18] 983*2^1450992-1 is not prime. Res64: A74CB0289CD3A002 Time : 0.0 sec. user=mdettweiler [2017-04-08 21:46:18] 649*2^1450993-1 is not prime. Res64: 78E2225004356A98 Time : 0.0 sec. user=mdettweiler [2017-04-08 21:46:18] 769*2^1450993-1 is not prime. Res64: 01B6CB3182AC8BB7 Time : 0.0 sec. user=mdettweiler [2017-04-08 21:46:19] 829*2^1450993-1 is not prime. Res64: 898C0E21C4E1D0C7 Time : 0.0 sec. user=mdettweiler [2017-04-08 21:46:42] 635*2^1450992-1 is not prime. Res64: 86E342382E413FF5 Time : 0.0 sec. user=mdettweiler [2017-04-08 21:46:42] 819*2^1450992-1 is not prime. Res64: 30A0E1E28B01EB25 Time : 0.0 sec. user=mdettweiler [2017-04-08 21:46:42] 837*2^1450992-1 is not prime. Res64: 218AC2D856C41429 Time : 0.0 sec. user=mdettweiler [2017-04-08 21:46:43] 873*2^1450992-1 is not prime. Res64: D4DA05EAE8BF2431 Time : 0.0 sec. user=mdettweiler [2017-04-08 21:46:43] 899*2^1450992-1 is not prime. Res64: 7976C992A6310939 Time : 0.0 sec. user=mdettweiler [2017-04-08 21:59:47] 901*2^1450993-1 is not prime. Res64: ADD321766751CD4F Time : 0.0 sec. user=mdettweiler [2017-04-08 21:59:48] 979*2^1450993-1 is not prime. Res64: 0FE6D4290F2410CB Time : 0.0 sec. user=mdettweiler [2017-04-08 21:59:48] 615*2^1450994-1 is not prime. Res64: C97CD54819C4D403 Time : 0.0 sec. user=mdettweiler [2017-04-08 21:59:48] 677*2^1450994-1 is not prime. Res64: 465D2C8C079D3D63 Time : 0.0 sec. user=mdettweiler [2017-04-08 21:59:48] 813*2^1450994-1 is not prime. Res64: C144CCA043E3DF4B Time : 0.0 sec. user=mdettweiler [2017-04-08 22:01:23] 825*2^1450994-1 is not prime. Res64: B623CE27F635E7C0 Time : 0.0 sec. user=mdettweiler [2017-04-08 22:01:24] 971*2^1450994-1 is not prime. Res64: 844E4F2C0D57BCFF Time : 0.0 sec. user=mdettweiler [2017-04-08 22:01:24] 1001*2^1450994-1 is not prime. Res64: E01312AC1A852661 Time : 0.0 sec. user=mdettweiler [2017-04-08 22:01:24] 679*2^1450995-1 is not prime. Res64: F7B4EC43C70C7281 Time : 0.0 sec. user=mdettweiler [2017-04-08 22:01:25] 723*2^1450995-1 is not prime. Res64: CE08D10FCF50411F Time : 0.0 sec. user=mdettweiler [2017-04-08 22:37:09] 873*2^1450995-1 is not prime. Res64: FCB935EB8A67CDB3 Time : 0.0 sec. user=mdettweiler [2017-04-08 22:37:09] 895*2^1450995-1 is not prime. Res64: 42AF82046C6A3AD1 Time : 0.0 sec. user=mdettweiler [2017-04-08 22:37:09] 979*2^1450995-1 is not prime. Res64: E02B0400D49C0759 Time : 0.0 sec. user=mdettweiler [2017-04-08 22:37:10] 609*2^1450996-1 is not prime. Res64: 2C011BAFA1634455 Time : 0.0 sec. user=mdettweiler [2017-04-08 22:37:10] 653*2^1450996-1 is not prime. Res64: A2DCEF0D9A4717A1 Time : 0.0 sec. user=mdettweiler [2017-04-08 22:37:26] 803*2^1450996-1 is not prime. Res64: 53D45AB43EBAB1BC Time : 0.0 sec. user=mdettweiler [2017-04-08 22:37:26] 825*2^1450996-1 is not prime. Res64: B9F79E918ED0CC06 Time : 0.0 sec. user=mdettweiler [2017-04-08 22:37:27] 833*2^1450996-1 is not prime. Res64: 744DB14919FB5E6C Time : 0.0 sec. user=mdettweiler [2017-04-08 22:37:27] 839*2^1450996-1 is not prime. Res64: E9FEBDAB838601E4 Time : 0.0 sec. user=mdettweiler [2017-04-08 22:37:28] 875*2^1450996-1 is not prime. Res64: BF50181EC22321DC Time : 0.0 sec. user=mdettweiler [2017-04-08 22:47:34] 899*2^1450996-1 is not prime. Res64: 33FF33754ACCD28E Time : 0.0 sec. user=mdettweiler [2017-04-08 22:47:35] 903*2^1450996-1 is not prime. Res64: D220C8D28BF529F3 Time : 0.0 sec. user=mdettweiler [2017-04-08 22:47:35] 923*2^1450996-1 is not prime. Res64: 46FBCD0591CFDA76 Time : 0.0 sec. user=mdettweiler [2017-04-08 22:47:35] 965*2^1450996-1 is not prime. Res64: 9A2C54F350AEC71A Time : 0.0 sec. user=mdettweiler [2017-04-08 22:47:36] 999*2^1450996-1 is not prime. Res64: D16F817FF9D9AD2D Time : 0.0 sec. user=mdettweiler [2017-04-08 22:49:35] 615*2^1450997-1 is not prime. Res64: FFA61010736BE970 Time : 0.0 sec. user=mdettweiler [2017-04-08 22:49:35] 649*2^1450997-1 is not prime. Res64: EA7B2E5D930CCE9F Time : 0.0 sec. user=mdettweiler [2017-04-08 22:49:36] 711*2^1450997-1 is not prime. Res64: 37C05BCEF4031B10 Time : 0.0 sec. user=mdettweiler [2017-04-08 22:49:37] 865*2^1450997-1 is not prime. Res64: 3072B91B341B883B Time : 0.0 sec. user=mdettweiler [2017-04-08 22:49:37] 621*2^1450998-1 is not prime. Res64: 0028DF402AFEE82F Time : 0.0 sec. user=mdettweiler [2017-04-08 23:23:19] 657*2^1450998-1 is not prime. Res64: 33972B3BE572FB5D Time : 0.0 sec. user=mdettweiler [2017-04-08 23:23:20] 671*2^1450998-1 is not prime. Res64: D4B42D4FC6894BE2 Time : 0.0 sec. user=mdettweiler [2017-04-08 23:23:20] 821*2^1450998-1 is not prime. Res64: 4DA9D83EFD28050D Time : 0.0 sec. user=mdettweiler [2017-04-08 23:23:20] 881*2^1450998-1 is not prime. Res64: EE59FB4BD5569B5F Time : 0.0 sec. user=mdettweiler [2017-04-08 23:23:21] 663*2^1450999-1 is not prime. Res64: CE8CCB7F87301D6C Time : 0.0 sec. user=mdettweiler [2017-04-08 23:24:13] 771*2^1450999-1 is not prime. Res64: 56E267F57913D1B5 Time : 0.0 sec. user=mdettweiler [2017-04-08 23:24:13] 811*2^1450999-1 is not prime. Res64: 4E465D2635AEAFED Time : 0.0 sec. user=mdettweiler [2017-04-08 23:24:14] 831*2^1450999-1 is not prime. Res64: 0E0B20892CC2678D Time : 0.0 sec. user=mdettweiler [2017-04-08 23:24:14] 855*2^1450999-1 is not prime. Res64: 20948E946BC0F0FB Time : 0.0 sec. user=mdettweiler [2017-04-08 23:24:15] 861*2^1450999-1 is not prime. Res64: F15F14734526E4DA Time : 0.0 sec. user=mdettweiler [2017-04-08 23:34:18] 985*2^1450999-1 is not prime. Res64: F4F589D048582FFF Time : 0.0 sec. user=mdettweiler [2017-04-08 23:34:19] 677*2^1451000-1 is not prime. Res64: 92C83B3033E08245 Time : 0.0 sec. user=mdettweiler [2017-04-08 23:34:19] 773*2^1451000-1 is not prime. Res64: 0DD1D75DD4D1A002 Time : 0.0 sec. user=mdettweiler [2017-04-08 23:34:20] 875*2^1451000-1 is not prime. Res64: D293C19B2913003C Time : 0.0 sec. user=mdettweiler [2017-04-08 23:34:20] 805*2^1451001-1 is not prime. Res64: 6FF4E126A81EB3F3 Time : 0.0 sec. user=mdettweiler [2017-04-08 23:35:45] 835*2^1451001-1 is not prime. Res64: 70F83BD11694920B Time : 0.0 sec. user=mdettweiler [2017-04-08 23:35:46] 865*2^1451001-1 is not prime. Res64: 9369D0C9D86607EA Time : 0.0 sec. user=mdettweiler [2017-04-08 23:35:46] 889*2^1451001-1 is not prime. Res64: 39852CE8B1DB44E6 Time : 0.0 sec. user=mdettweiler [2017-04-08 23:35:46] 895*2^1451001-1 is not prime. Res64: 448F8790D051E3ED Time : 0.0 sec. user=mdettweiler [2017-04-08 23:35:47] 937*2^1451001-1 is not prime. Res64: 77DF57790F216722 Time : 0.0 sec.