user=mdettweiler [2015-11-27 00:03:57] 927*2^1416194-1 is not prime. Res64: 666B004365543372 Time : 0.0 sec. user=mdettweiler [2015-11-27 00:03:57] 849*2^1416195-1 is not prime. Res64: 4DD62B27A34E44DC Time : 0.0 sec. user=mdettweiler [2015-11-27 00:03:58] 781*2^1416195-1 is not prime. Res64: 41FF0A590524E514 Time : 0.0 sec. user=mdettweiler [2015-11-27 00:03:58] 913*2^1416195-1 is not prime. Res64: 62DE9D1E133EC8A5 Time : 0.0 sec. user=mdettweiler [2015-11-27 00:14:03] 979*2^1416195-1 is not prime. Res64: 985F6BCE0F34672A Time : 0.0 sec. user=mdettweiler [2015-11-27 00:14:06] 623*2^1416196-1 is not prime. Res64: A3EC3C886BE77EF5 Time : 0.0 sec. user=mdettweiler [2015-11-27 00:21:56] 719*2^1416196-1 is not prime. Res64: A9E3604B118FF9DB Time : 0.0 sec. user=mdettweiler [2015-11-27 00:21:56] 813*2^1416196-1 is not prime. Res64: C2BF9DB1841B3DC4 Time : 0.0 sec. user=mdettweiler [2015-11-27 00:21:57] 647*2^1416196-1 is not prime. Res64: 480C121AD965034E Time : 0.0 sec. user=mdettweiler [2015-11-27 00:21:57] 695*2^1416196-1 is not prime. Res64: D694325C031C237B Time : 0.0 sec. user=mdettweiler [2015-11-27 00:32:03] 939*2^1416196-1 is not prime. Res64: 3C9AAA81ADA4BC99 Time : 0.0 sec. user=mdettweiler [2015-11-27 00:32:04] 999*2^1416196-1 is not prime. Res64: 8D54EA7E9FA412CD Time : 0.0 sec. user=mdettweiler [2015-11-27 00:39:35] 619*2^1416197-1 is not prime. Res64: FF3F09C6313443F9 Time : 0.0 sec. user=mdettweiler [2015-11-27 00:39:35] 729*2^1416197-1 is not prime. Res64: DCC8BD745EB2D8EC Time : 0.0 sec. user=mdettweiler [2015-11-27 00:39:36] 735*2^1416197-1 is not prime. Res64: 40DCF5F950427AAE Time : 0.0 sec. user=mdettweiler [2015-11-27 00:39:36] 801*2^1416197-1 is not prime. Res64: 10B3EB0C187E5F3B Time : 0.0 sec. user=mdettweiler [2015-11-27 00:49:50] 805*2^1416197-1 is not prime. Res64: 8BB0154A0872423B Time : 0.0 sec. user=mdettweiler [2015-11-27 00:49:50] 611*2^1416198-1 is not prime. Res64: 42567B8093009D16 Time : 0.0 sec. user=mdettweiler [2015-11-27 00:57:16] 641*2^1416198-1 is not prime. Res64: B0F4C509C24CEFBF Time : 0.0 sec. user=mdettweiler [2015-11-27 00:57:16] 713*2^1416198-1 is not prime. Res64: EF4A48787D1EF65A Time : 0.0 sec. user=mdettweiler [2015-11-27 00:57:16] 671*2^1416198-1 is not prime. Res64: A13362BF629E0DCF Time : 0.0 sec. user=mdettweiler [2015-11-27 00:57:17] 777*2^1416198-1 is not prime. Res64: 2F634BE119B73839 Time : 0.0 sec. user=mdettweiler [2015-11-27 01:07:26] 791*2^1416198-1 is not prime. Res64: 9031FEA3FFA9CAC0 Time : 0.0 sec. user=mdettweiler [2015-11-27 01:07:27] 801*2^1416198-1 is not prime. Res64: A36566C0A57E4334 Time : 0.0 sec. user=mdettweiler [2015-11-27 01:14:51] 893*2^1416198-1 is not prime. Res64: 725BCF535877B0EA Time : 0.0 sec. user=mdettweiler [2015-11-27 01:14:51] 615*2^1416199-1 is not prime. Res64: 3E63984EC4ACE018 Time : 0.0 sec. user=mdettweiler [2015-11-27 01:14:52] 663*2^1416199-1 is not prime. Res64: BDCEC9A5353D0D50 Time : 0.0 sec. user=mdettweiler [2015-11-27 01:14:52] 675*2^1416199-1 is not prime. Res64: AAEC7930C038781A Time : 0.0 sec. user=mdettweiler [2015-11-27 01:25:11] 873*2^1416199-1 is not prime. Res64: C58CD3F6B8B9B71B Time : 0.0 sec. user=mdettweiler [2015-11-27 01:25:12] 895*2^1416199-1 is not prime. Res64: A30AC0707CEEDDF7 Time : 0.0 sec. user=mdettweiler [2015-11-27 01:32:28] 773*2^1416200-1 is not prime. Res64: 80284479586BCCDE Time : 0.0 sec. user=mdettweiler [2015-11-27 01:32:29] 919*2^1416199-1 is not prime. Res64: 499A1B590307EF6E Time : 0.0 sec. user=mdettweiler [2015-11-27 01:32:29] 843*2^1416200-1 is not prime. Res64: 640F6325EA810E13 Time : 0.0 sec. user=mdettweiler [2015-11-27 01:32:30] 629*2^1416200-1 is not prime. Res64: CAA16AC414D11F5D Time : 0.0 sec. user=mdettweiler [2015-11-27 01:42:51] 855*2^1416200-1 is not prime. Res64: 8D95B6AB78363AAF Time : 0.0 sec. user=mdettweiler [2015-11-27 01:42:51] 977*2^1416200-1 is not prime. Res64: A8A30F110F348ABE Time : 0.0 sec. user=mdettweiler [2015-11-27 01:50:07] 601*2^1416201-1 is not prime. Res64: 6DB9DF9CF6275AB4 Time : 0.0 sec. user=mdettweiler [2015-11-27 01:50:08] 669*2^1416201-1 is not prime. Res64: 3CA2F5EC333DD6E5 Time : 0.0 sec. user=mdettweiler [2015-11-27 01:50:08] 735*2^1416201-1 is not prime. Res64: 602E80D7CD088FB0 Time : 0.0 sec. user=mdettweiler [2015-11-27 01:50:09] 739*2^1416201-1 is not prime. Res64: E605A3724214BD21 Time : 0.0 sec. user=mdettweiler [2015-11-27 02:00:31] 865*2^1416201-1 is not prime. Res64: 7C664E4B7882F8FF Time : 0.0 sec. user=mdettweiler [2015-11-27 02:00:32] 945*2^1416201-1 is not prime. Res64: 017B9411624AB99C Time : 0.0 sec. user=mdettweiler [2015-11-27 02:07:42] 623*2^1416202-1 is not prime. Res64: D66B0E1B9D0C71EC Time : 0.0 sec. user=mdettweiler [2015-11-27 02:07:43] 635*2^1416202-1 is not prime. Res64: 79B1C81967A8AF0B Time : 0.0 sec. user=mdettweiler [2015-11-27 02:07:43] 677*2^1416202-1 is not prime. Res64: 81819EEEEAFBAB8E Time : 0.0 sec. user=mdettweiler [2015-11-27 02:07:44] 741*2^1416202-1 is not prime. Res64: 8EF59E0600205553 Time : 0.0 sec. user=mdettweiler [2015-11-27 02:18:12] 825*2^1416202-1 is not prime. Res64: 693E83BF0FAD6F1E Time : 0.0 sec. user=mdettweiler [2015-11-27 02:18:13] 843*2^1416202-1 is not prime. Res64: 035A2FE0277BFF0F Time : 0.0 sec. user=mdettweiler [2015-11-27 02:25:19] 811*2^1416203-1 is not prime. Res64: 08E60152F8D987A3 Time : 0.0 sec. user=mdettweiler [2015-11-27 02:25:19] 917*2^1416202-1 is not prime. Res64: 59DC716009D2B4E0 Time : 0.0 sec. user=mdettweiler [2015-11-27 02:25:19] 939*2^1416203-1 is not prime. Res64: A2A2F601AD344F24 Time : 0.0 sec. user=mdettweiler [2015-11-27 02:25:19] 609*2^1416203-1 is not prime. Res64: 6C654F901FA6DBBF Time : 0.0 sec. user=mdettweiler [2015-11-27 02:35:48] 981*2^1416203-1 is not prime. Res64: C170A3098B5FAA0A Time : 0.0 sec. user=mdettweiler [2015-11-27 02:35:49] 693*2^1416204-1 is not prime. Res64: 1FB4EBB770774D93 Time : 0.0 sec. user=mdettweiler [2015-11-27 02:42:58] 903*2^1416204-1 is not prime. Res64: D295D181303501F7 Time : 0.0 sec. user=mdettweiler [2015-11-27 02:42:58] 773*2^1416204-1 is not prime. Res64: 2722A00E6DF669A7 Time : 0.0 sec. user=mdettweiler [2015-11-27 02:42:58] 775*2^1416205-1 is not prime. Res64: 4F48CE08A469C503 Time : 0.0 sec. user=mdettweiler [2015-11-27 02:42:58] 863*2^1416204-1 is not prime. Res64: CAA97EA61AC69C22 Time : 0.0 sec. user=mdettweiler [2015-11-27 02:53:27] 777*2^1416205-1 is not prime. Res64: A3440EE26465E394 Time : 0.0 sec. user=mdettweiler [2015-11-27 02:53:27] 861*2^1416205-1 is not prime. Res64: 343AD5DAE5FCE84D Time : 0.0 sec. user=mdettweiler [2015-11-27 03:00:34] 999*2^1416205-1 is not prime. Res64: 5A6D80999105755F Time : 0.0 sec. user=mdettweiler [2015-11-27 03:00:35] 801*2^1416206-1 is not prime. Res64: 98AAE1173588B3D1 Time : 0.0 sec. user=mdettweiler [2015-11-27 03:00:40] 867*2^1416205-1 is not prime. Res64: 1544077945312038 Time : 0.0 sec. user=mdettweiler [2015-11-27 03:00:40] 957*2^1416205-1 is not prime. Res64: CEFA5E285A8FA85B Time : 0.0 sec. user=mdettweiler [2015-11-27 03:11:06] 843*2^1416206-1 is not prime. Res64: EC9720CBEA7E9DF3 Time : 0.0 sec. user=mdettweiler [2015-11-27 03:11:07] 867*2^1416206-1 is not prime. Res64: AEADBC2FE6A06147 Time : 0.0 sec. user=mdettweiler [2015-11-27 03:18:18] 935*2^1416206-1 is not prime. Res64: 81645CDD0461548E Time : 0.0 sec. user=mdettweiler [2015-11-27 03:18:19] 619*2^1416207-1 is not prime. Res64: DA493028985B2EDA Time : 0.0 sec. user=mdettweiler [2015-11-27 03:18:25] 661*2^1416207-1 is not prime. Res64: 5CB865CDD7E242A2 Time : 0.0 sec. user=mdettweiler [2015-11-27 03:18:26] 691*2^1416207-1 is not prime. Res64: FB1E82AABAFEC4D5 Time : 0.0 sec. user=mdettweiler [2015-11-27 03:28:54] 703*2^1416207-1 is not prime. Res64: E8270D177B7F760A Time : 0.0 sec. user=mdettweiler [2015-11-27 03:28:55] 739*2^1416207-1 is not prime. Res64: A5BF740122C12828 Time : 0.0 sec. user=mdettweiler [2015-11-27 03:35:57] 775*2^1416207-1 is not prime. Res64: 8E3B32B6CAF82C65 Time : 0.0 sec. user=mdettweiler [2015-11-27 03:35:59] 831*2^1416207-1 is not prime. Res64: 9E8E815D4FE901BD Time : 0.0 sec. user=mdettweiler [2015-11-27 03:36:04] 879*2^1416207-1 is not prime. Res64: F8372FDCF631A8E8 Time : 0.0 sec. user=mdettweiler [2015-11-27 03:36:06] 973*2^1416207-1 is not prime. Res64: 5E898D8955D89449 Time : 0.0 sec. user=mdettweiler [2015-11-27 03:46:47] 699*2^1416208-1 is not prime. Res64: B285F45E427942E5 Time : 0.0 sec. user=mdettweiler [2015-11-27 03:46:48] 825*2^1416208-1 is not prime. Res64: 9BC6D8EA08D5AAF6 Time : 0.0 sec. user=mdettweiler [2015-11-27 03:53:35] 845*2^1416208-1 is not prime. Res64: 3144193C97C5557D Time : 0.0 sec. user=mdettweiler [2015-11-27 03:53:36] 933*2^1416208-1 is not prime. Res64: 7375939E9F1D1C13 Time : 0.0 sec. user=mdettweiler [2015-11-27 03:53:42] 727*2^1416209-1 is not prime. Res64: EB5902D854D7BD0D Time : 0.0 sec. user=mdettweiler [2015-11-27 03:53:43] 747*2^1416209-1 is not prime. Res64: 834FB3A04F10E03C Time : 0.0 sec. user=mdettweiler [2015-11-27 04:04:30] 811*2^1416209-1 is not prime. Res64: 8F01DB3ACCB360BD Time : 0.0 sec. user=mdettweiler [2015-11-27 04:04:31] 841*2^1416209-1 is not prime. Res64: DD7E91F054B3FE15 Time : 0.0 sec. user=mdettweiler [2015-11-27 04:11:19] 867*2^1416209-1 is not prime. Res64: F6DB3664C9FA9343 Time : 0.0 sec. user=mdettweiler [2015-11-27 04:11:19] 847*2^1416209-1 is not prime. Res64: 9669DFD884B068DB Time : 0.0 sec. user=mdettweiler [2015-11-27 04:11:20] 885*2^1416209-1 is not prime. Res64: 5574A52725BC96CE Time : 0.0 sec. user=mdettweiler [2015-11-27 04:11:20] 865*2^1416209-1 is not prime. Res64: AB80DD922FF3D1D8 Time : 0.0 sec. user=mdettweiler [2015-11-27 04:22:07] 967*2^1416209-1 is not prime. Res64: 5FC6DB136836A1A6 Time : 0.0 sec. user=mdettweiler [2015-11-27 04:22:08] 633*2^1416210-1 is not prime. Res64: 9DC8CA5DDEB460EF Time : 0.0 sec. user=mdettweiler [2015-11-27 04:28:55] 725*2^1416210-1 is not prime. Res64: 1038AEAC463BF6F8 Time : 0.0 sec. user=mdettweiler [2015-11-27 04:28:56] 833*2^1416210-1 is not prime. Res64: 30611719F3007E83 Time : 0.0 sec. user=mdettweiler [2015-11-27 04:28:56] 791*2^1416210-1 is not prime. Res64: C5285BFECF539C7F Time : 0.0 sec. user=mdettweiler [2015-11-27 04:28:56] 927*2^1416210-1 is not prime. Res64: 56407BCFE3249BF2 Time : 0.0 sec. user=mdettweiler [2015-11-27 04:39:44] 603*2^1416211-1 is not prime. Res64: 3DE52231390EF034 Time : 0.0 sec. user=mdettweiler [2015-11-27 04:39:44] 625*2^1416211-1 is not prime. Res64: 6AEE9B246CAA2724 Time : 0.0 sec. user=mdettweiler [2015-11-27 04:46:33] 723*2^1416211-1 is not prime. Res64: D6C73548B9F43156 Time : 0.0 sec. user=mdettweiler [2015-11-27 04:46:33] 759*2^1416211-1 is not prime. Res64: 253590761D07D978 Time : 0.0 sec. user=mdettweiler [2015-11-27 04:46:34] 645*2^1416211-1 is not prime. Res64: 390EF63A533F1E9A Time : 0.0 sec. user=mdettweiler [2015-11-27 04:46:34] 675*2^1416211-1 is not prime. Res64: 052230ABDB7600EB Time : 0.0 sec. user=mdettweiler [2015-11-27 04:57:25] 805*2^1416211-1 is not prime. Res64: 7954B9060AC2AE63 Time : 0.0 sec. user=mdettweiler [2015-11-27 04:57:26] 885*2^1416211-1 is not prime. Res64: 021AA363BCAB79AD Time : 0.0 sec. user=mdettweiler [2015-11-27 05:04:24] 669*2^1416212-1 is not prime. Res64: 27186881D5F05694 Time : 0.0 sec. user=mdettweiler [2015-11-27 05:04:24] 975*2^1416211-1 is not prime. Res64: E869579F18B343E0 Time : 0.0 sec. user=mdettweiler [2015-11-27 05:04:27] 675*2^1416212-1 is not prime. Res64: B679CC23D5E303EB Time : 0.0 sec. user=mdettweiler [2015-11-27 05:04:29] 993*2^1416211-1 is not prime. Res64: B021C07194A8A374 Time : 0.0 sec. user=mdettweiler [2015-11-27 05:15:09] 957*2^1416212-1 is not prime. Res64: BA3E67C288B11701 Time : 0.0 sec. user=mdettweiler [2015-11-27 05:15:10] 609*2^1416213-1 is not prime. Res64: 8CFF859E42AB18DB Time : 0.0 sec. user=mdettweiler [2015-11-27 05:22:34] 681*2^1416213-1 is not prime. Res64: 6471F5CF8B2DC866 Time : 0.0 sec. user=mdettweiler [2015-11-27 05:22:35] 745*2^1416213-1 is not prime. Res64: CC4C967227E2C88F Time : 0.0 sec. user=mdettweiler [2015-11-27 05:22:36] 795*2^1416213-1 is not prime. Res64: B3144214C2D1549C Time : 0.0 sec. user=mdettweiler [2015-11-27 05:22:36] 829*2^1416213-1 is not prime. Res64: 379D2D466CE00030 Time : 0.0 sec. user=mdettweiler [2015-11-27 05:32:46] 847*2^1416213-1 is not prime. Res64: 997DA278E89D1E33 Time : 0.0 sec. user=mdettweiler [2015-11-27 05:32:47] 985*2^1416213-1 is not prime. Res64: CE456D196B97364F Time : 0.0 sec. user=mdettweiler [2015-11-27 05:40:10] 681*2^1416214-1 is not prime. Res64: 5251E2AC69BF68D3 Time : 0.0 sec. user=mdettweiler [2015-11-27 05:40:10] 983*2^1416214-1 is not prime. Res64: 52EAD9696BC239BE Time : 0.0 sec. user=mdettweiler [2015-11-27 05:40:11] 609*2^1416215-1 is not prime. Res64: A96BCA2DA3510575 Time : 0.0 sec. user=mdettweiler [2015-11-27 05:40:12] 655*2^1416215-1 is not prime. Res64: 945350CB5957470C Time : 0.0 sec. user=mdettweiler [2015-11-27 05:50:22] 775*2^1416215-1 is not prime. Res64: 82A277A1480EB561 Time : 0.0 sec. user=mdettweiler [2015-11-27 05:50:22] 895*2^1416215-1 is not prime. Res64: 22657CA80A27F670 Time : 0.0 sec. user=mdettweiler [2015-11-27 05:57:48] 689*2^1416216-1 is not prime. Res64: AF718DC0360B8DFE Time : 0.0 sec. user=mdettweiler [2015-11-27 05:57:48] 985*2^1416215-1 is not prime. Res64: FE6DA75E508CA159 Time : 0.0 sec. user=mdettweiler [2015-11-27 05:57:48] 719*2^1416216-1 is not prime. Res64: 9158E93E6AEF5542 Time : 0.0 sec. user=mdettweiler [2015-11-27 05:57:48] 627*2^1416216-1 is not prime. Res64: A2989B5EEA956708 Time : 0.0 sec. user=mdettweiler [2015-11-27 06:08:03] 735*2^1416216-1 is not prime. Res64: 0CDB93B4B78BCB75 Time : 0.0 sec. user=mdettweiler [2015-11-27 06:08:04] 759*2^1416216-1 is not prime. Res64: BA1F215888C64C55 Time : 0.0 sec. user=mdettweiler [2015-11-27 06:15:24] 779*2^1416216-1 is not prime. Res64: B78678143BCE2142 Time : 0.0 sec. user=mdettweiler [2015-11-27 06:15:24] 879*2^1416216-1 is not prime. Res64: A6A8248C7A8F45DB Time : 0.0 sec. user=mdettweiler [2015-11-27 06:15:24] 825*2^1416216-1 is not prime. Res64: AAD692451972CE11 Time : 0.0 sec. user=mdettweiler [2015-11-27 06:15:24] 903*2^1416216-1 is not prime. Res64: DD509841EFE9A171 Time : 0.0 sec. user=mdettweiler [2015-11-27 06:25:42] 927*2^1416216-1 is not prime. Res64: 702DE16C5B51BC4F Time : 0.0 sec. user=mdettweiler [2015-11-27 06:25:43] 667*2^1416217-1 is not prime. Res64: A816C67B452563DC Time : 0.0 sec. user=mdettweiler [2015-11-27 06:33:00] 715*2^1416217-1 is not prime. Res64: 4E9ACD1D8E4C218D Time : 0.0 sec. user=mdettweiler [2015-11-27 06:33:01] 817*2^1416217-1 is not prime. Res64: 0B674A5122C920AD Time : 0.0 sec. user=mdettweiler [2015-11-27 06:33:01] 885*2^1416217-1 is not prime. Res64: 038CC36B59709BD7 Time : 0.0 sec. user=mdettweiler [2015-11-27 06:33:01] 683*2^1416218-1 is not prime. Res64: 4A93AC4937758D2E Time : 0.0 sec. user=mdettweiler [2015-11-27 06:43:18] 827*2^1416218-1 is not prime. Res64: EFF0238B48A8A5CE Time : 0.0 sec. user=mdettweiler [2015-11-27 06:43:19] 911*2^1416218-1 is not prime. Res64: 7BEC2F32BC93C6C0 Time : 0.0 sec. user=mdettweiler [2015-11-27 06:50:38] 703*2^1416219-1 is not prime. Res64: E2145661299403EC Time : 0.0 sec. user=mdettweiler [2015-11-27 06:50:38] 705*2^1416219-1 is not prime. Res64: 5E149466F1FCEDC2 Time : 0.0 sec. user=mdettweiler [2015-11-27 06:50:39] 951*2^1416218-1 is not prime. Res64: D42594BC57E9E820 Time : 0.0 sec. user=mdettweiler [2015-11-27 06:50:39] 995*2^1416218-1 is not prime. Res64: 12683304C56D7BB5 Time : 0.0 sec. user=mdettweiler [2015-11-27 07:00:57] 721*2^1416219-1 is not prime. Res64: 63A52E1AD6CA470E Time : 0.0 sec. user=mdettweiler [2015-11-27 07:00:58] 745*2^1416219-1 is not prime. Res64: 3B0B2D7843FA14F9 Time : 0.0 sec. user=mdettweiler [2015-11-27 07:08:17] 853*2^1416219-1 is not prime. Res64: EF5B89379343047E Time : 0.0 sec. user=mdettweiler [2015-11-27 07:08:18] 879*2^1416219-1 is not prime. Res64: 9B49C2469CBA0368 Time : 0.0 sec. user=mdettweiler [2015-11-27 07:08:19] 979*2^1416219-1 is not prime. Res64: 2ACB18CF3EA7D46A Time : 0.0 sec. user=mdettweiler [2015-11-27 07:08:19] 605*2^1416220-1 is not prime. Res64: 7808A96EC0FBB91D Time : 0.0 sec. user=mdettweiler [2015-11-27 07:18:43] 819*2^1416220-1 is not prime. Res64: 0007A16013EDC333 Time : 0.0 sec. user=mdettweiler [2015-11-27 07:18:44] 825*2^1416220-1 is not prime. Res64: 21F214CCA36D0A83 Time : 0.0 sec. user=mdettweiler [2015-11-27 07:25:56] 789*2^1416221-1 is not prime. Res64: D81C20AFF3E74726 Time : 0.0 sec. user=mdettweiler [2015-11-27 07:25:57] 955*2^1416221-1 is not prime. Res64: 0FF7D6C9D00305DD Time : 0.0 sec. user=mdettweiler [2015-11-27 07:25:57] 845*2^1416220-1 is not prime. Res64: EB27F87FB7F9C5E3 Time : 0.0 sec. user=mdettweiler [2015-11-27 07:25:57] 651*2^1416221-1 is not prime. Res64: FE9D2F3D3821675E Time : 0.0 sec. user=mdettweiler [2015-11-27 07:36:27] 987*2^1416221-1 is not prime. Res64: 9DD6A29A2522F0EE Time : 0.0 sec. user=mdettweiler [2015-11-27 07:36:28] 671*2^1416222-1 is not prime. Res64: 285F9AE9928E052D Time : 0.0 sec. user=mdettweiler [2015-11-27 07:43:39] 765*2^1416222-1 is not prime. Res64: F9BE07C702243CF0 Time : 0.0 sec. user=mdettweiler [2015-11-27 07:43:39] 863*2^1416222-1 is not prime. Res64: A0E332ACFCA3F19F Time : 0.0 sec. user=mdettweiler [2015-11-27 07:43:40] 711*2^1416222-1 is not prime. Res64: A13D5FBE6C7A6074 Time : 0.0 sec. user=mdettweiler [2015-11-27 07:43:40] 717*2^1416222-1 is not prime. Res64: B5E5367CD4490E5E Time : 0.0 sec. user=mdettweiler [2015-11-27 07:54:06] 983*2^1416222-1 is not prime. Res64: 8F8706B4E6C1C463 Time : 0.0 sec. user=mdettweiler [2015-11-27 07:54:07] 673*2^1416223-1 is not prime. Res64: 7587EEE61C8A13DF Time : 0.0 sec. user=mdettweiler [2015-11-27 08:01:18] 895*2^1416223-1 is not prime. Res64: 2930B8D3B67F5FDB Time : 0.0 sec. user=mdettweiler [2015-11-27 08:01:18] 723*2^1416223-1 is not prime. Res64: 03C31621EE31B3C2 Time : 0.0 sec. user=mdettweiler [2015-11-27 08:01:20] 939*2^1416223-1 is not prime. Res64: 18ADF78758952AB3 Time : 0.0 sec. user=mdettweiler [2015-11-27 08:01:20] 735*2^1416223-1 is not prime. Res64: 4FFA010040DC7E88 Time : 0.0 sec. user=mdettweiler [2015-11-27 08:11:42] 635*2^1416224-1 is not prime. Res64: F84C91072E7056F2 Time : 0.0 sec. user=mdettweiler [2015-11-27 08:11:42] 773*2^1416224-1 is not prime. Res64: C90129143D193842 Time : 0.0 sec. user=mdettweiler [2015-11-27 08:19:19] 813*2^1416224-1 is not prime. Res64: 279D045EF5EDA09D Time : 0.0 sec. user=mdettweiler [2015-11-27 08:19:20] 651*2^1416225-1 is not prime. Res64: E6D9BB1059DCB139 Time : 0.0 sec. user=mdettweiler [2015-11-27 08:19:20] 843*2^1416224-1 is not prime. Res64: AF97832B75AF65C7 Time : 0.0 sec. user=mdettweiler [2015-11-27 08:19:20] 667*2^1416225-1 is not prime. Res64: 0A9CA8721747E8C8 Time : 0.0 sec. user=mdettweiler [2015-11-27 08:29:18] 709*2^1416225-1 is not prime. Res64: 3BC85E25693DC3A7 Time : 0.0 sec. user=mdettweiler [2015-11-27 08:29:19] 759*2^1416225-1 is not prime. Res64: 49BDB93CB3F26A14 Time : 0.0 sec. user=mdettweiler [2015-11-27 08:36:56] 861*2^1416225-1 is not prime. Res64: 6A969EE134DBC4A5 Time : 0.0 sec. user=mdettweiler [2015-11-27 08:36:57] 777*2^1416225-1 is not prime. Res64: 579C50347D5AC05F Time : 0.0 sec. user=mdettweiler [2015-11-27 08:36:57] 909*2^1416225-1 is not prime. Res64: 4026F63C28247F5C Time : 0.0 sec. user=mdettweiler [2015-11-27 08:36:57] 817*2^1416225-1 is not prime. Res64: D83A85028802E52A Time : 0.0 sec. user=mdettweiler [2015-11-27 08:46:54] 969*2^1416225-1 is not prime. Res64: 2052ED2CB6ADB351 Time : 0.0 sec. user=mdettweiler [2015-11-27 08:46:55] 979*2^1416225-1 is not prime. Res64: 5FE769306DE8191D Time : 0.0 sec. user=mdettweiler [2015-11-27 08:54:34] 705*2^1416226-1 is not prime. Res64: BFDA1BFF845CE1D8 Time : 0.0 sec. user=mdettweiler [2015-11-27 08:54:34] 651*2^1416227-1 is not prime. Res64: 25B1BF0618500ACA Time : 0.0 sec. user=mdettweiler [2015-11-27 08:54:40] 705*2^1416227-1 is not prime. Res64: 3A2F5F0594C8D001 Time : 0.0 sec. user=mdettweiler [2015-11-27 08:54:41] 885*2^1416227-1 is not prime. Res64: 552424A05A3E327C Time : 0.0 sec. user=mdettweiler [2015-11-27 09:04:31] 939*2^1416227-1 is not prime. Res64: 4CB3F8295058D6B0 Time : 0.0 sec. user=mdettweiler [2015-11-27 09:04:32] 993*2^1416227-1 is not prime. Res64: 07532311846B109B Time : 0.0 sec. user=mdettweiler [2015-11-27 09:12:14] 639*2^1416228-1 is not prime. Res64: 3AFDCA4A79245DE7 Time : 0.0 sec. user=mdettweiler [2015-11-27 09:12:14] 689*2^1416228-1 is not prime. Res64: BD61B7C57465746E Time : 0.0 sec. user=mdettweiler [2015-11-27 09:12:24] 749*2^1416228-1 is not prime. Res64: 23B2AEDCD9D9DBA2 Time : 0.0 sec. user=mdettweiler [2015-11-27 09:12:25] 753*2^1416228-1 is not prime. Res64: 25091D669D6D47E4 Time : 0.0 sec. user=mdettweiler [2015-11-27 09:22:19] 905*2^1416228-1 is not prime. Res64: 7188A94A768CFB97 Time : 0.0 sec. user=mdettweiler [2015-11-27 09:22:20] 959*2^1416228-1 is not prime. Res64: 21FB816E4B096051 Time : 0.0 sec. user=mdettweiler [2015-11-27 09:29:53] 977*2^1416228-1 is not prime. Res64: 3A6658FECC916583 Time : 0.0 sec. user=mdettweiler [2015-11-27 09:29:54] 625*2^1416229-1 is not prime. Res64: 5A0E4A85E51B99BF Time : 0.0 sec. user=mdettweiler [2015-11-27 09:30:04] 639*2^1416229-1 is not prime. Res64: F170098C6FA6B8DC Time : 0.0 sec. user=mdettweiler [2015-11-27 09:30:05] 829*2^1416229-1 is not prime. Res64: 2BF61A6350AB0B13 Time : 0.0 sec. user=mdettweiler [2015-11-27 09:39:57] 831*2^1416229-1 is not prime. Res64: 2E1B01BA54F742A9 Time : 0.0 sec. user=mdettweiler [2015-11-27 09:39:57] 855*2^1416229-1 is not prime. Res64: 35F662CCF48F0FF0 Time : 0.0 sec. user=mdettweiler [2015-11-27 09:47:32] 897*2^1416229-1 is not prime. Res64: 8229A84B10E7A728 Time : 0.0 sec. user=mdettweiler [2015-11-27 09:47:33] 939*2^1416229-1 is not prime. Res64: 9A7FECDB40BBAC4E Time : 0.0 sec. user=mdettweiler [2015-11-27 09:47:43] 645*2^1416230-1 is not prime. Res64: AED56072F50BC8FE Time : 0.0 sec. user=mdettweiler [2015-11-27 09:47:44] 747*2^1416230-1 is not prime. Res64: 993BCF6B8CAA428D Time : 0.0 sec. user=mdettweiler [2015-11-27 09:57:32] 761*2^1416230-1 is not prime. Res64: 9A83C12619B39732 Time : 0.0 sec. user=mdettweiler [2015-11-27 09:57:33] 795*2^1416230-1 is not prime. Res64: C18499EF325FE527 Time : 0.0 sec. user=mdettweiler [2015-11-27 10:05:09] 831*2^1416230-1 is not prime. Res64: AB4CB3CA4B620328 Time : 0.0 sec. user=mdettweiler [2015-11-27 10:05:11] 833*2^1416230-1 is not prime. Res64: 006BE89C2F8C6E64 Time : 0.0 sec. user=mdettweiler [2015-11-27 10:05:23] 887*2^1416230-1 is not prime. Res64: 995E90E7379E83E3 Time : 0.0 sec. user=mdettweiler [2015-11-27 10:05:23] 923*2^1416230-1 is not prime. Res64: D98975D27F50C1E3 Time : 0.0 sec. user=mdettweiler [2015-11-27 10:15:08] 651*2^1416231-1 is not prime. Res64: F6AFDFF3F43485D8 Time : 0.0 sec. user=mdettweiler [2015-11-27 10:15:09] 829*2^1416231-1 is not prime. Res64: E251A2D2E9A5314C Time : 0.0 sec. user=mdettweiler [2015-11-27 10:22:48] 861*2^1416231-1 is not prime. Res64: 25DD904A777D0775 Time : 0.0 sec. user=mdettweiler [2015-11-27 10:22:49] 891*2^1416231-1 is not prime. Res64: FC253DF8D52DF562 Time : 0.0 sec. user=mdettweiler [2015-11-27 10:23:02] 973*2^1416231-1 is not prime. Res64: CE845CB135DEEBD7 Time : 0.0 sec. user=mdettweiler [2015-11-27 10:23:02] 975*2^1416231-1 is not prime. Res64: 4E0EA635780A345B Time : 0.0 sec. user=mdettweiler [2015-11-27 10:32:47] 623*2^1416232-1 is not prime. Res64: 6E4DF39FC6191E2A Time : 0.0 sec. user=mdettweiler [2015-11-27 10:32:48] 699*2^1416232-1 is not prime. Res64: 20D34AAA9E418730 Time : 0.0 sec. user=mdettweiler [2015-11-27 10:40:25] 909*2^1416232-1 is not prime. Res64: 2603AAD8BA256FC3 Time : 0.0 sec. user=mdettweiler [2015-11-27 10:40:26] 917*2^1416232-1 is not prime. Res64: 6F129C309143F3C5 Time : 0.0 sec. user=mdettweiler [2015-11-27 10:40:39] 957*2^1416232-1 is not prime. Res64: 04E16FA46EA8508B Time : 0.0 sec. user=mdettweiler [2015-11-27 10:40:39] 989*2^1416232-1 is not prime. Res64: 78B103B114759334 Time : 0.0 sec. user=mdettweiler [2015-11-27 10:50:26] 675*2^1416233-1 is not prime. Res64: 5758A59EAE009EC2 Time : 0.0 sec. user=mdettweiler [2015-11-27 10:50:26] 715*2^1416233-1 is not prime. Res64: BB2B7A4A86B3EB68 Time : 0.0 sec. user=mdettweiler [2015-11-27 10:58:07] 721*2^1416233-1 is not prime. Res64: F785343AA3B1775C Time : 0.0 sec. user=mdettweiler [2015-11-27 10:58:07] 729*2^1416233-1 is not prime. Res64: 29A3837F5B13C895 Time : 0.0 sec. user=mdettweiler [2015-11-27 10:58:21] 805*2^1416233-1 is not prime. Res64: FFE50A09124A2F8D Time : 0.0 sec. user=mdettweiler [2015-11-27 10:58:21] 861*2^1416233-1 is not prime. Res64: 0BC198977697618D Time : 0.0 sec. user=mdettweiler [2015-11-27 11:08:10] 867*2^1416233-1 is not prime. Res64: 7DD6C38D4095C4E1 Time : 0.0 sec. user=mdettweiler [2015-11-27 11:08:10] 889*2^1416233-1 is not prime. Res64: 75EFEDA725C48A26 Time : 0.0 sec. user=mdettweiler [2015-11-27 11:16:01] 925*2^1416233-1 is not prime. Res64: 8A14B1AD2C272C51 Time : 0.0 sec. user=mdettweiler [2015-11-27 11:16:02] 985*2^1416233-1 is not prime. Res64: 85372982A0DABF2E Time : 0.0 sec. user=mdettweiler [2015-11-27 11:16:16] 681*2^1416234-1 is not prime. Res64: D2E93D96B8E2DC38 Time : 0.0 sec. user=mdettweiler [2015-11-27 11:16:17] 717*2^1416234-1 is not prime. Res64: FB3CF5968DC8C69C Time : 0.0 sec. user=mdettweiler [2015-11-27 11:26:22] 601*2^1416235-1 is not prime. Res64: 734AC8FF4165962E Time : 0.0 sec. user=mdettweiler [2015-11-27 11:26:22] 685*2^1416235-1 is not prime. Res64: 13835708966ACFCD Time : 0.0 sec. user=mdettweiler [2015-11-27 11:34:18] 819*2^1416235-1 is not prime. Res64: 484889F4C87E53DD Time : 0.0 sec. user=mdettweiler [2015-11-27 11:34:18] 861*2^1416235-1 is not prime. Res64: 6734507F195A1AFA Time : 0.0 sec. user=mdettweiler [2015-11-27 11:34:31] 895*2^1416235-1 is not prime. Res64: C85EB0401426C4B1 Time : 0.0 sec. user=mdettweiler [2015-11-27 11:34:31] 663*2^1416236-1 is not prime. Res64: 16D1024396D0AFDE Time : 0.0 sec. user=mdettweiler [2015-11-27 11:44:37] 749*2^1416236-1 is not prime. Res64: AB9FDB4AC2E7AB23 Time : 0.0 sec. user=mdettweiler [2015-11-27 11:44:37] 755*2^1416236-1 is not prime. Res64: F5710FBD50F939E3 Time : 0.0 sec. user=mdettweiler [2015-11-27 11:52:24] 789*2^1416236-1 is not prime. Res64: 234BEA21F2211B01 Time : 0.0 sec. user=mdettweiler [2015-11-27 11:52:24] 993*2^1416236-1 is not prime. Res64: 207CC6E482CA0FBA Time : 0.0 sec. user=mdettweiler [2015-11-27 11:52:38] 999*2^1416236-1 is not prime. Res64: 6C869B1E486C3356 Time : 0.0 sec. user=mdettweiler [2015-11-27 11:52:39] 607*2^1416237-1 is not prime. Res64: CB2A111C7732EE35 Time : 0.0 sec. user=mdettweiler [2015-11-27 12:02:26] 621*2^1416237-1 is not prime. Res64: 8D374718F6165CC2 Time : 0.0 sec. user=mdettweiler [2015-11-27 12:02:28] 691*2^1416237-1 is not prime. Res64: B64BE39C8AC201BC Time : 0.0 sec. user=mdettweiler [2015-11-27 12:10:09] 829*2^1416237-1 is not prime. Res64: 6C6D8FBE3F9C7727 Time : 0.0 sec. user=mdettweiler [2015-11-27 12:10:09] 979*2^1416237-1 is not prime. Res64: 4A4F8A3DE51C9DA3 Time : 0.0 sec. user=mdettweiler [2015-11-27 12:10:22] 605*2^1416238-1 is not prime. Res64: 44C8881FAEE71275 Time : 0.0 sec. user=mdettweiler [2015-11-27 12:10:22] 611*2^1416238-1 is not prime. Res64: 249E91015002B199 Time : 0.0 sec. user=mdettweiler [2015-11-27 12:20:24] 705*2^1416238-1 is not prime. Res64: 26D33C1C2F9E51BB Time : 0.0 sec. user=mdettweiler [2015-11-27 12:20:25] 915*2^1416238-1 is not prime. Res64: EE1950EF5BEDF476 Time : 0.0 sec. user=mdettweiler [2015-11-27 12:27:48] 971*2^1416238-1 is not prime. Res64: 4D1E9148D4DB0214 Time : 0.0 sec. user=mdettweiler [2015-11-27 12:27:49] 615*2^1416239-1 is not prime. Res64: DC8C7D0F37B26FAF Time : 0.0 sec. user=mdettweiler [2015-11-27 12:27:59] 655*2^1416239-1 is not prime. Res64: 4AF45F0CACC7241E Time : 0.0 sec. user=mdettweiler [2015-11-27 12:28:00] 663*2^1416239-1 is not prime. Res64: 69637C7AD8011757 Time : 0.0 sec. user=mdettweiler [2015-11-27 12:38:01] 763*2^1416239-1 is not prime. Res64: 10BC31EB71878D78 Time : 0.0 sec. user=mdettweiler [2015-11-27 12:38:02] 771*2^1416239-1 is not prime. Res64: DF4D78BC233D31DD Time : 0.0 sec. user=mdettweiler [2015-11-27 12:45:29] 775*2^1416239-1 is not prime. Res64: 1F06382B241DC1D2 Time : 0.0 sec. user=mdettweiler [2015-11-27 12:45:29] 813*2^1416239-1 is not prime. Res64: DA4D5585F5E0BC14 Time : 0.0 sec. user=mdettweiler [2015-11-27 12:45:37] 823*2^1416239-1 is not prime. Res64: AF65D623377A65C1 Time : 0.0 sec. user=mdettweiler [2015-11-27 12:45:37] 861*2^1416239-1 is not prime. Res64: 4D75BC5AA4EFD344 Time : 0.0 sec. user=mdettweiler [2015-11-27 12:55:40] 883*2^1416239-1 is not prime. Res64: 69B02CE859DB788D Time : 0.0 sec. user=mdettweiler [2015-11-27 12:55:41] 889*2^1416239-1 is not prime. Res64: EDE6F177CB1E2C66 Time : 0.0 sec. user=mdettweiler [2015-11-27 13:03:11] 979*2^1416239-1 is not prime. Res64: 01EAB0B5659C3AF0 Time : 0.0 sec. user=mdettweiler [2015-11-27 13:03:18] 627*2^1416240-1 is not prime. Res64: 214910551A6DA39D Time : 0.0 sec. user=mdettweiler [2015-11-27 13:03:23] 899*2^1416240-1 is not prime. Res64: 63E4948C12996D3F Time : 0.0 sec. user=mdettweiler [2015-11-27 13:13:21] 609*2^1416241-1 is not prime. Res64: DC6039A5D2871016 Time : 0.0 sec. user=mdettweiler [2015-11-27 13:13:21] 619*2^1416241-1 is not prime. Res64: 8C12191E6E90CE28 Time : 0.0 sec. user=mdettweiler [2015-11-27 13:21:41] 625*2^1416241-1 is not prime. Res64: 274E8A2A29CE7642 Time : 0.0 sec. user=mdettweiler [2015-11-27 13:21:41] 727*2^1416241-1 is not prime. Res64: 361B66A28AA50ABD Time : 0.0 sec. user=mdettweiler [2015-11-27 13:31:11] 847*2^1416241-1 is not prime. Res64: 5885BA477D66552B Time : 0.0 sec. user=mdettweiler [2015-11-27 13:31:11] 849*2^1416241-1 is not prime. Res64: B9BE7725B09D7BFB Time : 0.0 sec. user=mdettweiler [2015-11-27 13:39:34] 855*2^1416241-1 is not prime. Res64: E3B5F98CDB3681BB Time : 0.0 sec. user=mdettweiler [2015-11-27 13:39:34] 861*2^1416241-1 is not prime. Res64: 065C1B0F40913E07 Time : 0.0 sec. user=mdettweiler [2015-11-27 13:49:02] 753*2^1416242-1 is not prime. Res64: 60CC1D34BDA9B7FA Time : 0.0 sec. user=mdettweiler [2015-11-27 13:49:02] 767*2^1416242-1 is not prime. Res64: 636BE694F52CA495 Time : 0.0 sec. user=mdettweiler [2015-11-27 13:57:24] 801*2^1416242-1 is not prime. Res64: F358C4C2587C9D31 Time : 0.0 sec. user=mdettweiler [2015-11-27 13:57:24] 963*2^1416242-1 is not prime. Res64: 55CD596031289217 Time : 0.0 sec. user=mdettweiler [2015-11-27 14:06:52] 609*2^1416243-1 is not prime. Res64: 1589000E574CC32A Time : 0.0 sec. user=mdettweiler [2015-11-27 14:06:52] 735*2^1416243-1 is not prime. Res64: 73DC3FD59D31FCA0 Time : 0.0 sec. user=mdettweiler [2015-11-27 14:15:14] 849*2^1416243-1 is not prime. Res64: A871712FB0A1553C Time : 0.0 sec. user=mdettweiler [2015-11-27 14:15:15] 853*2^1416243-1 is not prime. Res64: FE1912D822466B6E Time : 0.0 sec. user=mdettweiler [2015-11-27 14:21:19] 999*2^1416240-1 is not prime. Res64: 19719EA6521C583F Time : 0.0 sec. user=mdettweiler [2015-11-27 14:24:42] 873*2^1416243-1 is not prime. Res64: 1EF4C902D044C4E2 Time : 0.0 sec. user=mdettweiler [2015-11-27 14:24:43] 891*2^1416243-1 is not prime. Res64: F8B9896E2B7FA757 Time : 0.0 sec. user=mdettweiler [2015-11-27 14:33:00] 921*2^1416243-1 is not prime. Res64: D40BAFF83520FAAC Time : 0.0 sec. user=mdettweiler [2015-11-27 14:33:00] 963*2^1416243-1 is not prime. Res64: 0482EF6D70C0ACD6 Time : 0.0 sec. user=mdettweiler [2015-11-27 14:38:57] 991*2^1416243-1 is not prime. Res64: CE726B04E8571F12 Time : 0.0 sec. user=mdettweiler [2015-11-27 14:38:57] 605*2^1416244-1 is not prime. Res64: 0DE3509DBF13F3AB Time : 0.0 sec. user=mdettweiler [2015-11-27 14:42:18] 615*2^1416244-1 is not prime. Res64: 814C1CF5FE35C854 Time : 0.0 sec. user=mdettweiler [2015-11-27 14:42:18] 677*2^1416244-1 is not prime. Res64: 6BC00C851D15B6EA Time : 0.0 sec. user=mdettweiler [2015-11-27 14:50:36] 719*2^1416244-1 is not prime. Res64: 1C45A48BBC5F80AE Time : 0.0 sec. user=mdettweiler [2015-11-27 14:50:36] 765*2^1416244-1 is not prime. Res64: 8DA87E44FBFA1347 Time : 0.0 sec. user=mdettweiler [2015-11-27 14:56:34] 783*2^1416244-1 is not prime. Res64: CEA5B6156E611FA8 Time : 0.0 sec. user=mdettweiler [2015-11-27 14:56:34] 833*2^1416244-1 is not prime. Res64: D1816F909DAF3F0E Time : 0.0 sec. user=mdettweiler [2015-11-27 14:59:54] 843*2^1416244-1 is not prime. Res64: 3C006A3516992733 Time : 0.0 sec. user=mdettweiler [2015-11-27 14:59:54] 885*2^1416244-1 is not prime. Res64: 54E2E625D0683E50 Time : 0.0 sec. user=mdettweiler [2015-11-27 15:08:13] 887*2^1416244-1 is not prime. Res64: 4C157BF5144232C9 Time : 0.0 sec. user=mdettweiler [2015-11-27 15:08:14] 953*2^1416244-1 is not prime. Res64: E14BDCB63851A14C Time : 0.0 sec. user=mdettweiler [2015-11-27 15:14:12] 657*2^1416245-1 is not prime. Res64: 8E0AD5A2A45E9F6A Time : 0.0 sec. user=mdettweiler [2015-11-27 15:14:13] 711*2^1416245-1 is not prime. Res64: 5156211F3EAC21F5 Time : 0.0 sec. user=mdettweiler [2015-11-27 15:17:32] 729*2^1416245-1 is not prime. Res64: A409BAE109FED8C3 Time : 0.0 sec. user=mdettweiler [2015-11-27 15:17:32] 757*2^1416245-1 is not prime. Res64: 317FB2A26CDA230D Time : 0.0 sec. user=mdettweiler [2015-11-27 15:25:53] 775*2^1416245-1 is not prime. Res64: EA38396D898848A4 Time : 0.0 sec. user=mdettweiler [2015-11-27 15:25:54] 789*2^1416245-1 is not prime. Res64: FE876285ECAC4BE3 Time : 0.0 sec. user=mdettweiler [2015-11-27 15:31:53] 847*2^1416245-1 is not prime. Res64: 0946C364164C556D Time : 0.0 sec. user=mdettweiler [2015-11-27 15:31:53] 927*2^1416245-1 is not prime. Res64: B6918799A5DA2558 Time : 0.0 sec. user=mdettweiler [2015-11-27 15:35:10] 939*2^1416245-1 is not prime. Res64: AE7DDCDE42F4FD90 Time : 0.0 sec. user=mdettweiler [2015-11-27 15:35:10] 955*2^1416245-1 is not prime. Res64: D97CD1DB0A56FE52 Time : 0.0 sec. user=mdettweiler [2015-11-27 15:43:33] 979*2^1416245-1 is not prime. Res64: 20BB11CAF0B63E90 Time : 0.0 sec. user=mdettweiler [2015-11-27 15:43:34] 981*2^1416245-1 is not prime. Res64: 28BF0DAD9B17356C Time : 0.0 sec. user=mdettweiler [2015-11-27 15:49:32] 647*2^1416246-1 is not prime. Res64: 903201CC6772D2F6 Time : 0.0 sec. user=mdettweiler [2015-11-27 15:49:32] 747*2^1416246-1 is not prime. Res64: B39A93E68460F0E2 Time : 0.0 sec. user=mdettweiler [2015-11-27 15:52:54] 765*2^1416246-1 is not prime. Res64: D54FB2E2367984FA Time : 0.0 sec. user=mdettweiler [2015-11-27 15:52:54] 833*2^1416246-1 is not prime. Res64: 802328C7C1C962B4 Time : 0.0 sec. user=mdettweiler [2015-11-27 16:01:12] 633*2^1416247-1 is not prime. Res64: ABFE1CBEBC9B8832 Time : 0.0 sec. user=mdettweiler [2015-11-27 16:01:13] 685*2^1416247-1 is not prime. Res64: 080CE61A59D004C4 Time : 0.0 sec. user=mdettweiler [2015-11-27 16:07:10] 693*2^1416247-1 is not prime. Res64: 4CC5A2DDBB147176 Time : 0.0 sec. user=mdettweiler [2015-11-27 16:07:14] 703*2^1416247-1 is not prime. Res64: BC0222981FE76D1C Time : 0.0 sec. user=mdettweiler [2015-11-27 16:10:32] 843*2^1416247-1 is not prime. Res64: 820C78D5DE35C3A0 Time : 0.0 sec. user=mdettweiler [2015-11-27 16:10:32] 873*2^1416247-1 is not prime. Res64: 0489F1516D5C9B9C Time : 0.0 sec. user=mdettweiler [2015-11-27 16:19:05] 883*2^1416247-1 is not prime. Res64: 125485B4DF73A5DE Time : 0.0 sec. user=mdettweiler [2015-11-27 16:19:05] 979*2^1416247-1 is not prime. Res64: F4BC782742C10659 Time : 0.0 sec. user=mdettweiler [2015-11-27 16:25:12] 617*2^1416248-1 is not prime. Res64: 38F17C197F7AC092 Time : 0.0 sec. user=mdettweiler [2015-11-27 16:25:13] 669*2^1416248-1 is not prime. Res64: 3CA946037E193BE8 Time : 0.0 sec. user=mdettweiler [2015-11-27 16:28:21] 725*2^1416248-1 is not prime. Res64: 941CB84DC3B585EA Time : 0.0 sec. user=mdettweiler [2015-11-27 16:28:21] 767*2^1416248-1 is not prime. Res64: D1C22AAC855397B0 Time : 0.0 sec. user=mdettweiler [2015-11-27 16:37:02] 803*2^1416248-1 is not prime. Res64: EF26DC7384616F2C Time : 0.0 sec. user=mdettweiler [2015-11-27 16:37:02] 825*2^1416248-1 is not prime. Res64: AC7973C6FEA6C378 Time : 0.0 sec. user=mdettweiler [2015-11-27 16:43:01] 837*2^1416248-1 is not prime. Res64: 573DECEB73EAAD3A Time : 0.0 sec. user=mdettweiler [2015-11-27 16:43:02] 879*2^1416248-1 is not prime. Res64: 94FEBFEE8C3BA47A Time : 0.0 sec. user=mdettweiler [2015-11-27 16:46:11] 945*2^1416248-1 is not prime. Res64: BB43EE271992468F Time : 0.0 sec. user=mdettweiler [2015-11-27 16:46:11] 963*2^1416248-1 is not prime. Res64: 64B20D09D7986311 Time : 0.0 sec. user=mdettweiler [2015-11-27 16:54:53] 969*2^1416248-1 is not prime. Res64: 7571503F8C7BA21B Time : 0.0 sec. user=mdettweiler [2015-11-27 16:54:54] 615*2^1416249-1 is not prime. Res64: C0E725986DBF9D25 Time : 0.0 sec. user=mdettweiler [2015-11-27 17:00:54] 627*2^1416249-1 is not prime. Res64: AD1288F2D2B0013B Time : 0.0 sec. user=mdettweiler [2015-11-27 17:00:55] 745*2^1416249-1 is not prime. Res64: 8D30CAE1C1BF39E3 Time : 0.0 sec. user=mdettweiler [2015-11-27 17:03:57] 847*2^1416249-1 is not prime. Res64: 3F684388EF7B6E69 Time : 0.0 sec. user=mdettweiler [2015-11-27 17:03:58] 889*2^1416249-1 is not prime. Res64: BF925B8ADF44E1C1 Time : 0.0 sec. user=mdettweiler [2015-11-27 17:12:35] 657*2^1416250-1 is not prime. Res64: E2A505C6571A6B2E Time : 0.0 sec. user=mdettweiler [2015-11-27 17:12:35] 821*2^1416250-1 is not prime. Res64: AC2B1B377C7BF751 Time : 0.0 sec. user=mdettweiler [2015-11-27 17:18:32] 887*2^1416250-1 is not prime. Res64: 8415A5B0CC40BEAC Time : 0.0 sec. user=mdettweiler [2015-11-27 17:18:33] 933*2^1416250-1 is not prime. Res64: 9884AC905ECA19BD Time : 0.0 sec. user=mdettweiler [2015-11-27 17:21:38] 945*2^1416250-1 is not prime. Res64: 459BC9D431AB18EB Time : 0.0 sec. user=mdettweiler [2015-11-27 17:21:38] 987*2^1416250-1 is not prime. Res64: E3914E8FD5B7C1CA Time : 0.0 sec. user=mdettweiler [2015-11-27 17:30:15] 693*2^1416251-1 is not prime. Res64: 58BDC8116510244E Time : 0.0 sec. user=mdettweiler [2015-11-27 17:30:16] 745*2^1416251-1 is not prime. Res64: 3DC4ABE1C7FEE057 Time : 0.0 sec. user=mdettweiler [2015-11-27 17:36:11] 759*2^1416251-1 is not prime. Res64: 023B62665CC44A11 Time : 0.0 sec. user=mdettweiler [2015-11-27 17:36:12] 855*2^1416251-1 is not prime. Res64: C198C7080AAC142E Time : 0.0 sec. user=mdettweiler [2015-11-27 17:39:16] 943*2^1416251-1 is not prime. Res64: A58E7C6153277163 Time : 0.0 sec. user=mdettweiler [2015-11-27 17:39:16] 623*2^1416252-1 is not prime. Res64: C8942A7257019C16 Time : 0.0 sec. user=mdettweiler [2015-11-27 17:47:52] 693*2^1416252-1 is not prime. Res64: CCC9487C3BB98812 Time : 0.0 sec. user=mdettweiler [2015-11-27 17:47:52] 695*2^1416252-1 is not prime. Res64: 6CD71B91D746377F Time : 0.0 sec. user=mdettweiler [2015-11-27 17:53:48] 749*2^1416252-1 is not prime. Res64: B687C0DDD017761B Time : 0.0 sec. user=mdettweiler [2015-11-27 17:53:48] 809*2^1416252-1 is not prime. Res64: BCC4BE63DB380539 Time : 0.0 sec. user=mdettweiler [2015-11-27 17:56:51] 959*2^1416252-1 is not prime. Res64: B20CB0E8145303D6 Time : 0.0 sec. user=mdettweiler [2015-11-27 17:56:52] 977*2^1416252-1 is not prime. Res64: 6E8D4DEC9A8F3BCB Time : 0.0 sec. user=mdettweiler [2015-11-27 18:05:30] 699*2^1416253-1 is not prime. Res64: 5BB8825EF5386441 Time : 0.0 sec. user=mdettweiler [2015-11-27 18:05:30] 861*2^1416253-1 is not prime. Res64: EC8F55BCA6D5BD39 Time : 0.0 sec. user=mdettweiler [2015-11-27 18:11:25] 927*2^1416253-1 is not prime. Res64: 295177A9324D657E Time : 0.0 sec. user=mdettweiler [2015-11-27 18:11:25] 939*2^1416253-1 is not prime. Res64: BA0872A23F0CE9B8 Time : 0.0 sec. user=mdettweiler [2015-11-27 18:14:27] 985*2^1416253-1 is not prime. Res64: F32CDD24461E2CB2 Time : 0.0 sec. user=mdettweiler [2015-11-27 18:14:28] 623*2^1416254-1 is not prime. Res64: E90DD571283FD7FA Time : 0.0 sec. user=mdettweiler [2015-11-27 18:23:23] 663*2^1416254-1 is not prime. Res64: 12428794FA8BF4F6 Time : 0.0 sec. user=mdettweiler [2015-11-27 18:23:23] 671*2^1416254-1 is not prime. Res64: 9D7CFF29AF1CC210 Time : 0.0 sec. user=mdettweiler [2015-11-27 18:29:02] 693*2^1416254-1 is not prime. Res64: 1A0635470D17C88D Time : 0.0 sec. user=mdettweiler [2015-11-27 18:29:02] 857*2^1416254-1 is not prime. Res64: CF4F8703AFEAEE27 Time : 0.0 sec. user=mdettweiler [2015-11-27 18:32:05] 921*2^1416254-1 is not prime. Res64: AE730616C447FF33 Time : 0.0 sec. user=mdettweiler [2015-11-27 18:32:05] 951*2^1416254-1 is not prime. Res64: B0598DE5E2A51E51 Time : 0.0 sec. user=mdettweiler [2015-11-27 18:41:01] 691*2^1416255-1 is not prime. Res64: 8315E6CE6C7B9AE9 Time : 0.0 sec. user=mdettweiler [2015-11-27 18:41:01] 861*2^1416255-1 is not prime. Res64: FAC4295EF8EC73C3 Time : 0.0 sec. user=mdettweiler [2015-11-27 18:46:40] 949*2^1416255-1 is not prime. Res64: 14D340466011E091 Time : 0.0 sec. user=mdettweiler [2015-11-27 18:46:40] 979*2^1416255-1 is not prime. Res64: 251D2D319CFF1D28 Time : 0.0 sec. user=mdettweiler [2015-11-27 18:49:40] 719*2^1416256-1 is not prime. Res64: C072D1F36BFCB443 Time : 0.0 sec. user=mdettweiler [2015-11-27 18:49:41] 743*2^1416256-1 is not prime. Res64: C51B18E250BD6FE1 Time : 0.0 sec. user=mdettweiler [2015-11-27 18:58:37] 747*2^1416256-1 is not prime. Res64: BE0980B62C1D0194 Time : 0.0 sec. user=mdettweiler [2015-11-27 18:58:37] 869*2^1416256-1 is not prime. Res64: 24453C0A6964C007 Time : 0.0 sec. user=mdettweiler [2015-11-27 19:04:17] 727*2^1416257-1 is not prime. Res64: 380D153ECE69E6AC Time : 0.0 sec. user=mdettweiler [2015-11-27 19:04:18] 937*2^1416257-1 is not prime. Res64: E55B5A25FD083D46 Time : 0.0 sec. user=mdettweiler [2015-11-27 19:07:17] 955*2^1416257-1 is not prime. Res64: 09FDECB72FF425D3 Time : 0.0 sec. user=mdettweiler [2015-11-27 19:07:17] 985*2^1416257-1 is not prime. Res64: 962313EF32524DCD Time : 0.0 sec. user=mdettweiler [2015-11-27 19:16:14] 641*2^1416258-1 is not prime. Res64: BE4D931E93B04877 Time : 0.0 sec. user=mdettweiler [2015-11-27 19:16:14] 695*2^1416258-1 is not prime. Res64: 7A13E3B93496245F Time : 0.0 sec. user=mdettweiler [2015-11-27 19:22:10] 815*2^1416258-1 is not prime. Res64: 7901F56AA9D4F1B5 Time : 0.0 sec. user=mdettweiler [2015-11-27 19:22:10] 645*2^1416259-1 is not prime. Res64: A3BF396277F14EE1 Time : 0.0 sec. user=mdettweiler [2015-11-27 19:24:53] 769*2^1416259-1 is not prime. Res64: 3B2781D0ECD841FA Time : 0.0 sec. user=mdettweiler [2015-11-27 19:24:54] 771*2^1416259-1 is not prime. Res64: A8FCFB4B3CB17D67 Time : 0.0 sec. user=mdettweiler [2015-11-27 19:33:53] 883*2^1416259-1 is not prime. Res64: 9EAD00CD66EA4CC5 Time : 0.0 sec. user=mdettweiler [2015-11-27 19:33:53] 885*2^1416259-1 is not prime. Res64: 457F46D71341189E Time : 0.0 sec. user=mdettweiler [2015-11-27 19:39:47] 975*2^1416259-1 is not prime. Res64: 8070245313CDD6DF Time : 0.0 sec. user=mdettweiler [2015-11-27 19:39:47] 629*2^1416260-1 is not prime. Res64: 1154DF9C038FA814 Time : 0.0 sec. user=mdettweiler [2015-11-27 19:42:30] 635*2^1416260-1 is not prime. Res64: 0F53FE04D85475E2 Time : 0.0 sec. user=mdettweiler [2015-11-27 19:42:30] 677*2^1416260-1 is not prime. Res64: A264B16F8D647681 Time : 0.0 sec. user=mdettweiler [2015-11-27 19:51:28] 819*2^1416260-1 is not prime. Res64: 07D4C203C9C413D4 Time : 0.0 sec. user=mdettweiler [2015-11-27 19:51:29] 833*2^1416260-1 is not prime. Res64: 25C5E0FF73747316 Time : 0.0 sec. user=mdettweiler [2015-11-27 19:57:23] 875*2^1416260-1 is not prime. Res64: 8F397BBAE3CA16BA Time : 0.0 sec. user=mdettweiler [2015-11-27 19:57:23] 657*2^1416261-1 is not prime. Res64: DEBA06E3E48104C4 Time : 0.0 sec. user=mdettweiler [2015-11-27 20:00:05] 685*2^1416261-1 is not prime. Res64: 1DC60E64B2E36265 Time : 0.0 sec. user=mdettweiler [2015-11-27 20:00:05] 811*2^1416261-1 is not prime. Res64: 989F9E1E292FD6CF Time : 0.0 sec. user=mdettweiler [2015-11-27 20:09:04] 877*2^1416261-1 is not prime. Res64: 5EDD8FB95BE6104A Time : 0.0 sec. user=mdettweiler [2015-11-27 20:09:05] 907*2^1416261-1 is not prime. Res64: 0AEA8D4602E550CC Time : 0.0 sec. user=mdettweiler [2015-11-27 20:15:00] 975*2^1416261-1 is not prime. Res64: F9541E26BE24E618 Time : 0.0 sec. user=mdettweiler [2015-11-27 20:15:01] 611*2^1416262-1 is not prime. Res64: 8139315DC87D9184 Time : 0.0 sec. user=mdettweiler [2015-11-27 20:17:49] 647*2^1416262-1 is not prime. Res64: 469D29F7FAD104E1 Time : 0.0 sec. user=mdettweiler [2015-11-27 20:17:49] 651*2^1416262-1 is not prime. Res64: 849CB5F4B7C296C9 Time : 0.0 sec. user=mdettweiler [2015-11-27 20:26:45] 677*2^1416262-1 is not prime. Res64: CF623E9890484A4A Time : 0.0 sec. user=mdettweiler [2015-11-27 20:26:46] 681*2^1416262-1 is not prime. Res64: 6B5E7256B49FA685 Time : 0.0 sec. user=mdettweiler [2015-11-27 20:32:37] 705*2^1416262-1 is not prime. Res64: F618CFFE6E5C3533 Time : 0.0 sec. user=mdettweiler [2015-11-27 20:32:37] 717*2^1416262-1 is not prime. Res64: 498CE19A9CC84663 Time : 0.0 sec. user=mdettweiler [2015-11-27 20:35:24] 831*2^1416262-1 is not prime. Res64: 8AFE7EA86C3D2E09 Time : 0.0 sec. user=mdettweiler [2015-11-27 20:35:24] 833*2^1416262-1 is not prime. Res64: 3223556741035A43 Time : 0.0 sec. user=mdettweiler [2015-11-27 20:44:22] 857*2^1416262-1 is not prime. Res64: C4DAA0F5121B45AF Time : 0.0 sec. user=mdettweiler [2015-11-27 20:44:22] 891*2^1416262-1 is not prime. Res64: DDDC6D0F79B28F0D Time : 0.0 sec. user=mdettweiler [2015-11-27 20:50:13] 957*2^1416262-1 is not prime. Res64: 97A3F49927A8E91A Time : 0.0 sec. user=mdettweiler [2015-11-27 20:50:13] 987*2^1416262-1 is not prime. Res64: E18D80626B5FEB88 Time : 0.0 sec. user=mdettweiler [2015-11-27 20:53:00] 603*2^1416263-1 is not prime. Res64: 69792CEDD5A038FA Time : 0.0 sec. user=mdettweiler [2015-11-27 20:53:00] 705*2^1416263-1 is not prime. Res64: F7DD3614C8669680 Time : 0.0 sec. user=mdettweiler [2015-11-27 21:02:00] 715*2^1416263-1 is not prime. Res64: AA21B4AA4DD03765 Time : 0.0 sec. user=mdettweiler [2015-11-27 21:02:02] 741*2^1416263-1 is not prime. Res64: FB8496B19EF3F2AF Time : 0.0 sec. user=mdettweiler [2015-11-27 21:07:51] 775*2^1416263-1 is not prime. Res64: 76878E90032FFE57 Time : 0.0 sec. user=mdettweiler [2015-11-27 21:07:51] 789*2^1416263-1 is not prime. Res64: E30327BECD6D95AE Time : 0.0 sec. user=mdettweiler [2015-11-27 21:10:36] 859*2^1416263-1 is not prime. Res64: B3075641B7494D6F Time : 0.0 sec. user=mdettweiler [2015-11-27 21:10:36] 985*2^1416263-1 is not prime. Res64: DE98AC5C6BA0FA10 Time : 0.0 sec. user=mdettweiler [2015-11-27 21:19:49] 615*2^1416264-1 is not prime. Res64: EEE22D7D18FA572A Time : 0.0 sec. user=mdettweiler [2015-11-27 21:19:49] 629*2^1416264-1 is not prime. Res64: 61B589EA50FA731C Time : 0.0 sec. user=mdettweiler [2015-11-27 21:25:27] 675*2^1416264-1 is not prime. Res64: BBF5DE61F3F2EFE6 Time : 0.0 sec. user=mdettweiler [2015-11-27 21:25:28] 719*2^1416264-1 is not prime. Res64: 7E9D7F0BBE5CF458 Time : 0.0 sec. user=mdettweiler [2015-11-27 21:28:11] 723*2^1416264-1 is not prime. Res64: 2FA9C95CD60C6F81 Time : 0.0 sec. user=mdettweiler [2015-11-27 21:28:12] 815*2^1416264-1 is not prime. Res64: D7199EB2B3E6EB70 Time : 0.0 sec. user=mdettweiler [2015-11-27 21:37:25] 837*2^1416264-1 is not prime. Res64: E8EFDB7F1FCCC421 Time : 0.0 sec. user=mdettweiler [2015-11-27 21:37:25] 863*2^1416264-1 is not prime. Res64: 8E052468E1FEC217 Time : 0.0 sec. user=mdettweiler [2015-11-27 21:43:04] 765*2^1416265-1 is not prime. Res64: B23884EE20361D34 Time : 0.0 sec. user=mdettweiler [2015-11-27 21:43:04] 937*2^1416265-1 is not prime. Res64: 28F57DD959EE9DCE Time : 0.0 sec. user=mdettweiler [2015-11-27 21:45:49] 705*2^1416266-1 is not prime. Res64: 76631940B7A96D69 Time : 0.0 sec. user=mdettweiler [2015-11-27 21:45:50] 825*2^1416266-1 is not prime. Res64: E32DAE65EF22F6CE Time : 0.0 sec. user=mdettweiler [2015-11-27 21:55:03] 921*2^1416266-1 is not prime. Res64: 29D1085DDDD0C5F2 Time : 0.0 sec. user=mdettweiler [2015-11-27 21:55:03] 935*2^1416266-1 is not prime. Res64: E421BDB0D707A7C7 Time : 0.0 sec. user=mdettweiler [2015-11-27 22:00:42] 1001*2^1416266-1 is not prime. Res64: C9DE16216848D000 Time : 0.0 sec. user=mdettweiler [2015-11-27 22:00:43] 601*2^1416267-1 is not prime. Res64: 7100F4E36F05DBCB Time : 0.0 sec. user=mdettweiler [2015-11-27 22:03:25] 625*2^1416267-1 is not prime. Res64: 67CEB58913450002 Time : 0.0 sec. user=mdettweiler [2015-11-27 22:03:26] 649*2^1416267-1 is not prime. Res64: 9CFF349FF92B2F4D Time : 0.0 sec. user=mdettweiler [2015-11-27 22:12:39] 781*2^1416267-1 is not prime. Res64: 8C5D927ECE5A1AB8 Time : 0.0 sec. user=mdettweiler [2015-11-27 22:12:39] 931*2^1416267-1 is not prime. Res64: 6DE220C3454B96F1 Time : 0.0 sec. user=mdettweiler [2015-11-27 22:18:27] 657*2^1416268-1 is not prime. Res64: 4FA6079C3318C56A Time : 0.0 sec. user=mdettweiler [2015-11-27 22:18:27] 665*2^1416268-1 is not prime. Res64: BFC207DCCB29E94D Time : 0.0 sec. user=mdettweiler [2015-11-27 22:21:14] 707*2^1416268-1 is not prime. Res64: 74A0988420EF4242 Time : 0.0 sec. user=mdettweiler [2015-11-27 22:21:15] 803*2^1416268-1 is not prime. Res64: 2177BD91291B64BE Time : 0.0 sec. user=mdettweiler [2015-11-27 22:30:46] 819*2^1416268-1 is not prime. Res64: 1AA9056F888A25FD Time : 0.0 sec. user=mdettweiler [2015-11-27 22:30:47] 827*2^1416268-1 is not prime. Res64: 6F28E8C6076AB4B4 Time : 0.0 sec. user=mdettweiler [2015-11-27 22:36:27] 975*2^1416268-1 is not prime. Res64: A27FD237816A3912 Time : 0.0 sec. user=mdettweiler [2015-11-27 22:36:27] 627*2^1416269-1 is not prime. Res64: F390925756A9BE4F Time : 0.0 sec. user=mdettweiler [2015-11-27 22:39:11] 759*2^1416269-1 is not prime. Res64: 9D763C10C3FF2B08 Time : 0.0 sec. user=mdettweiler [2015-11-27 22:39:11] 781*2^1416269-1 is not prime. Res64: 8838A137A7D098C6 Time : 0.0 sec. user=mdettweiler [2015-11-27 22:48:28] 787*2^1416269-1 is not prime. Res64: A227779FDBE3D598 Time : 0.0 sec. user=mdettweiler [2015-11-27 22:48:28] 789*2^1416269-1 is not prime. Res64: 501E255191147F9D Time : 0.0 sec. user=mdettweiler [2015-11-27 22:54:05] 801*2^1416269-1 is not prime. Res64: ED919C44303799C2 Time : 0.0 sec. user=mdettweiler [2015-11-27 22:54:05] 939*2^1416269-1 is not prime. Res64: 89E1E532B986B659 Time : 0.0 sec. user=mdettweiler [2015-11-27 22:56:48] 955*2^1416269-1 is not prime. Res64: D9B56E309AC26718 Time : 0.0 sec. user=mdettweiler [2015-11-27 22:56:48] 665*2^1416270-1 is not prime. Res64: 59EE5FFBE59C2555 Time : 0.0 sec. user=mdettweiler [2015-11-27 23:06:08] 833*2^1416270-1 is not prime. Res64: 590740CE74981D0B Time : 0.0 sec. user=mdettweiler [2015-11-27 23:06:09] 851*2^1416270-1 is not prime. Res64: 452039B295A2A824 Time : 0.0 sec. user=mdettweiler [2015-11-27 23:11:41] 861*2^1416270-1 is not prime. Res64: FB22F34E69DBF673 Time : 0.0 sec. user=mdettweiler [2015-11-27 23:11:42] 873*2^1416270-1 is not prime. Res64: F4BF86259E56BF5F Time : 0.0 sec. user=mdettweiler [2015-11-27 23:14:24] 681*2^1416271-1 is not prime. Res64: D522072DA9625F38 Time : 0.0 sec. user=mdettweiler [2015-11-27 23:14:25] 693*2^1416271-1 is not prime. Res64: 1266DA6B3CCA703E Time : 0.0 sec. user=mdettweiler [2015-11-27 23:24:08] 861*2^1416271-1 is not prime. Res64: E1D36261528B69EE Time : 0.0 sec. user=mdettweiler [2015-11-27 23:24:08] 993*2^1416271-1 is not prime. Res64: FA1238CB1EA6D51B Time : 0.0 sec. user=mdettweiler [2015-11-27 23:29:25] 677*2^1416272-1 is not prime. Res64: F184E2BD4BDCDBBD Time : 0.0 sec. user=mdettweiler [2015-11-27 23:29:26] 717*2^1416272-1 is not prime. Res64: CFE05ABFD799B7E3 Time : 0.0 sec. user=mdettweiler [2015-11-27 23:32:04] 855*2^1416272-1 is not prime. Res64: D7D48D14801A29F4 Time : 0.0 sec. user=mdettweiler [2015-11-27 23:32:04] 873*2^1416272-1 is not prime. Res64: F57F951DEF982A90 Time : 0.0 sec. user=mdettweiler [2015-11-27 23:41:45] 879*2^1416272-1 is not prime. Res64: CEAE2CC899D636E6 Time : 0.0 sec. user=mdettweiler [2015-11-27 23:41:45] 923*2^1416272-1 is not prime. Res64: 47E3FD434E7DEFC6 Time : 0.0 sec. user=mdettweiler [2015-11-27 23:47:05] 607*2^1416273-1 is not prime. Res64: 4084E1CDFB4BAABD Time : 0.0 sec. user=mdettweiler [2015-11-27 23:47:05] 691*2^1416273-1 is not prime. Res64: 422374BAFCAB2220 Time : 0.0 sec. user=mdettweiler [2015-11-27 23:49:40] 759*2^1416273-1 is not prime. Res64: 49E0A83994386CEF Time : 0.0 sec. user=mdettweiler [2015-11-27 23:49:41] 885*2^1416273-1 is not prime. Res64: 15C90C0D351B488B Time : 0.0 sec. user=mdettweiler [2015-11-27 23:59:22] 681*2^1416274-1 is not prime. Res64: 0564D2D19BBE2C34 Time : 0.0 sec. user=mdettweiler [2015-11-27 23:59:22] 699*2^1416275-1 is not prime. Res64: 3405437C66232D6E Time : 0.0 sec.