user=mdettweiler [2015-10-13 00:16:08] 641*2^1411910-1 is not prime. Res64: 90EA51147686109A Time : 0.0 sec. user=mdettweiler [2015-10-13 00:16:08] 761*2^1411910-1 is not prime. Res64: EE8847EF67D11053 Time : 0.0 sec. user=mdettweiler [2015-10-13 00:16:09] 795*2^1411910-1 is not prime. Res64: B1AA719621094596 Time : 0.0 sec. user=mdettweiler [2015-10-13 00:16:09] 797*2^1411910-1 is not prime. Res64: 170CB7DE2B4E226A Time : 0.0 sec. user=mdettweiler [2015-10-13 00:16:56] 981*2^1411910-1 is not prime. Res64: B06DF6EE893C904A Time : 0.0 sec. user=mdettweiler [2015-10-13 00:16:56] 613*2^1411911-1 is not prime. Res64: 10A816F54116685B Time : 0.0 sec. user=mdettweiler [2015-10-13 00:16:56] 615*2^1411911-1 is not prime. Res64: 41ABCBBE91107A36 Time : 0.0 sec. user=mdettweiler [2015-10-13 00:16:57] 649*2^1411911-1 is not prime. Res64: 4BB75F97FB4A9B5B Time : 0.0 sec. user=mdettweiler [2015-10-13 00:34:02] 703*2^1411911-1 is not prime. Res64: 3A8994570DABD8C2 Time : 0.0 sec. user=mdettweiler [2015-10-13 00:34:03] 709*2^1411911-1 is not prime. Res64: 487B94CA6E8164B4 Time : 0.0 sec. user=mdettweiler [2015-10-13 00:34:06] 723*2^1411911-1 is not prime. Res64: 2BD81F55E8B5DB33 Time : 0.0 sec. user=mdettweiler [2015-10-13 00:34:07] 789*2^1411911-1 is not prime. Res64: AEA83AFF4B8BED8B Time : 0.0 sec. user=mdettweiler [2015-10-13 00:34:52] 795*2^1411911-1 is not prime. Res64: 16ED5014427FD65C Time : 0.0 sec. user=mdettweiler [2015-10-13 00:34:52] 861*2^1411911-1 is not prime. Res64: 454139D1C8FB8606 Time : 0.0 sec. user=mdettweiler [2015-10-13 00:34:56] 879*2^1411911-1 is not prime. Res64: 5D5358249C2A3778 Time : 0.0 sec. user=mdettweiler [2015-10-13 00:34:57] 955*2^1411911-1 is not prime. Res64: 7CAE81F2E7B48B9D Time : 0.0 sec. user=mdettweiler [2015-10-13 00:52:08] 677*2^1411912-1 is not prime. Res64: 01D204433BF92AB9 Time : 0.0 sec. user=mdettweiler [2015-10-13 00:52:08] 717*2^1411912-1 is not prime. Res64: 870F785A508B9E24 Time : 0.0 sec. user=mdettweiler [2015-10-13 00:52:13] 991*2^1411911-1 is not prime. Res64: 6343F8755142D2AA Time : 0.0 sec. user=mdettweiler [2015-10-13 00:52:13] 657*2^1411912-1 is not prime. Res64: ADC96E2DEE8B0A7D Time : 0.0 sec. user=mdettweiler [2015-10-13 00:53:08] 875*2^1411912-1 is not prime. Res64: 2B24953D46A89C4D Time : 0.0 sec. user=mdettweiler [2015-10-13 00:53:08] 975*2^1411912-1 is not prime. Res64: 87CC7DDA2A658754 Time : 0.0 sec. user=mdettweiler [2015-10-13 00:53:08] 917*2^1411912-1 is not prime. Res64: 67EAF16ACD454F52 Time : 0.0 sec. user=mdettweiler [2015-10-13 00:53:08] 861*2^1411913-1 is not prime. Res64: A615B29692572D6D Time : 0.0 sec. user=mdettweiler [2015-10-13 01:10:32] 871*2^1411913-1 is not prime. Res64: 8F6CBD1A54B80F61 Time : 0.0 sec. user=mdettweiler [2015-10-13 01:10:33] 925*2^1411913-1 is not prime. Res64: 128EE2415DD92772 Time : 0.0 sec. user=mdettweiler [2015-10-13 01:10:40] 957*2^1411913-1 is not prime. Res64: 9073AAC2EC453628 Time : 0.0 sec. user=mdettweiler [2015-10-13 01:10:41] 969*2^1411913-1 is not prime. Res64: B120E53E4F0A4352 Time : 0.0 sec. user=mdettweiler [2015-10-13 01:11:29] 651*2^1411914-1 is not prime. Res64: 0616A9B66A41F669 Time : 0.0 sec. user=mdettweiler [2015-10-13 01:11:30] 725*2^1411914-1 is not prime. Res64: C3C631F2AE6FD726 Time : 0.0 sec. user=mdettweiler [2015-10-13 01:11:32] 981*2^1411913-1 is not prime. Res64: ED6E3A152C52938B Time : 0.0 sec. user=mdettweiler [2015-10-13 01:11:33] 605*2^1411914-1 is not prime. Res64: 12F27F4C18505DAB Time : 0.0 sec. user=mdettweiler [2015-10-13 01:28:50] 815*2^1411914-1 is not prime. Res64: 09107EFF700E9D3B Time : 0.0 sec. user=mdettweiler [2015-10-13 01:28:52] 887*2^1411914-1 is not prime. Res64: 3F05FF13CF076864 Time : 0.0 sec. user=mdettweiler [2015-10-13 01:28:53] 917*2^1411914-1 is not prime. Res64: 2BD049A0AD849314 Time : 0.0 sec. user=mdettweiler [2015-10-13 01:28:54] 951*2^1411914-1 is not prime. Res64: 08AD82C887C6DA98 Time : 0.0 sec. user=mdettweiler [2015-10-13 01:29:43] 639*2^1411915-1 is not prime. Res64: 6BA0CB87AB0DFFBB Time : 0.0 sec. user=mdettweiler [2015-10-13 01:29:44] 759*2^1411915-1 is not prime. Res64: D0D6BBDBB8F3F4D5 Time : 0.0 sec. user=mdettweiler [2015-10-13 01:29:44] 645*2^1411915-1 is not prime. Res64: AF4BEA7B77D84B6A Time : 0.0 sec. user=mdettweiler [2015-10-13 01:29:45] 765*2^1411915-1 is not prime. Res64: 7AE596251648A1D4 Time : 0.0 sec. user=mdettweiler [2015-10-13 01:47:27] 961*2^1411915-1 is not prime. Res64: 8B94461649BB3321 Time : 0.0 sec. user=mdettweiler [2015-10-13 01:47:28] 675*2^1411916-1 is not prime. Res64: 2F4928A857F0D257 Time : 0.0 sec. user=mdettweiler [2015-10-13 01:47:31] 819*2^1411915-1 is not prime. Res64: 0D0B0FA3CAB639D2 Time : 0.0 sec. user=mdettweiler [2015-10-13 01:47:32] 891*2^1411915-1 is not prime. Res64: 18F823975A401721 Time : 0.0 sec. user=mdettweiler [2015-10-13 01:47:54] 803*2^1411916-1 is not prime. Res64: 48F28C9495EBA2C4 Time : 0.0 sec. user=mdettweiler [2015-10-13 01:47:54] 825*2^1411916-1 is not prime. Res64: 42D6545F0BF97E75 Time : 0.0 sec. user=mdettweiler [2015-10-13 01:47:55] 725*2^1411916-1 is not prime. Res64: 89E9F88282AE95C3 Time : 0.0 sec. user=mdettweiler [2015-10-13 01:47:56] 767*2^1411916-1 is not prime. Res64: DB5E9960DF10A669 Time : 0.0 sec. user=mdettweiler [2015-10-13 02:05:27] 837*2^1411916-1 is not prime. Res64: B4729B8551A67774 Time : 0.0 sec. user=mdettweiler [2015-10-13 02:05:28] 843*2^1411916-1 is not prime. Res64: 6AC53837E1A31FF7 Time : 0.0 sec. user=mdettweiler [2015-10-13 02:05:37] 621*2^1411917-1 is not prime. Res64: BFB04727E29A5CD8 Time : 0.0 sec. user=mdettweiler [2015-10-13 02:05:38] 735*2^1411917-1 is not prime. Res64: 1B1F1244FF27A02D Time : 0.0 sec. user=mdettweiler [2015-10-13 02:05:54] 741*2^1411917-1 is not prime. Res64: 8D70E5156E9DD2D6 Time : 0.0 sec. user=mdettweiler [2015-10-13 02:05:55] 759*2^1411917-1 is not prime. Res64: 3FD85D7743097752 Time : 0.0 sec. user=mdettweiler [2015-10-13 02:05:56] 837*2^1411917-1 is not prime. Res64: F8CD0E8A4B12F9C8 Time : 0.0 sec. user=mdettweiler [2015-10-13 02:05:58] 847*2^1411917-1 is not prime. Res64: 74EE8A16F2F1AE1F Time : 0.0 sec. user=mdettweiler [2015-10-13 02:24:43] 915*2^1411917-1 is not prime. Res64: 91AA919374EEFBA9 Time : 0.0 sec. user=mdettweiler [2015-10-13 02:24:44] 945*2^1411917-1 is not prime. Res64: 59E1EFD6143B951C Time : 0.0 sec. user=mdettweiler [2015-10-13 02:24:59] 985*2^1411917-1 is not prime. Res64: 4E5B37EA0450A2AE Time : 0.0 sec. user=mdettweiler [2015-10-13 02:25:00] 991*2^1411917-1 is not prime. Res64: 718D96EB4C66939C Time : 0.0 sec. user=mdettweiler [2015-10-13 02:25:05] 671*2^1411918-1 is not prime. Res64: CFD2E1683759B25F Time : 0.0 sec. user=mdettweiler [2015-10-13 02:25:06] 867*2^1411918-1 is not prime. Res64: 895E870C1F20A6A5 Time : 0.0 sec. user=mdettweiler [2015-10-13 02:25:08] 923*2^1411918-1 is not prime. Res64: 4A686D918A2DF9D0 Time : 0.0 sec. user=mdettweiler [2015-10-13 02:25:08] 941*2^1411918-1 is not prime. Res64: BA99632C9AB23DDC Time : 0.0 sec. user=mdettweiler [2015-10-13 02:42:51] 945*2^1411918-1 is not prime. Res64: D4199B87A9918B63 Time : 0.0 sec. user=mdettweiler [2015-10-13 02:42:52] 975*2^1411918-1 is not prime. Res64: 8C7F25092029559D Time : 0.0 sec. user=mdettweiler [2015-10-13 02:43:10] 685*2^1411919-1 is not prime. Res64: 8455349EBD15C6EA Time : 0.0 sec. user=mdettweiler [2015-10-13 02:43:10] 703*2^1411919-1 is not prime. Res64: F9C07DEBADC31CC2 Time : 0.0 sec. user=mdettweiler [2015-10-13 02:43:11] 993*2^1411918-1 is not prime. Res64: 521C8D21AF8C6AA5 Time : 0.0 sec. user=mdettweiler [2015-10-13 02:43:11] 615*2^1411919-1 is not prime. Res64: 2B6A06060875CF53 Time : 0.0 sec. user=mdettweiler [2015-10-13 02:43:14] 661*2^1411919-1 is not prime. Res64: A787ECFB08807211 Time : 0.0 sec. user=mdettweiler [2015-10-13 02:43:15] 669*2^1411919-1 is not prime. Res64: 54063A95DD4E8589 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:00:57] 823*2^1411919-1 is not prime. Res64: 8A00AA05142DD710 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:00:57] 843*2^1411919-1 is not prime. Res64: 01D3B9FE04539D93 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:01:06] 999*2^1411919-1 is not prime. Res64: BD85D90F2644BA2C Time : 0.0 sec. user=mdettweiler [2015-10-13 03:01:07] 615*2^1411920-1 is not prime. Res64: F78CEB0933021AA5 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:01:08] 913*2^1411919-1 is not prime. Res64: 3CFCB4A5E124A5FE Time : 0.0 sec. user=mdettweiler [2015-10-13 03:01:09] 931*2^1411919-1 is not prime. Res64: 693C751C1E6971C3 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:01:13] 629*2^1411920-1 is not prime. Res64: D0587A41BF105160 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:01:14] 765*2^1411920-1 is not prime. Res64: 32B02D6FF16CA061 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:19:02] 779*2^1411920-1 is not prime. Res64: 235733123AB99F9C Time : 0.0 sec. user=mdettweiler [2015-10-13 03:19:03] 803*2^1411920-1 is not prime. Res64: C0FD55370491488C Time : 0.0 sec. user=mdettweiler [2015-10-13 03:19:05] 809*2^1411920-1 is not prime. Res64: 15C3260478249640 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:19:06] 915*2^1411920-1 is not prime. Res64: 9CD9535D6524351C Time : 0.0 sec. user=mdettweiler [2015-10-13 03:19:13] 691*2^1411921-1 is not prime. Res64: 9DC2E57CCD57D828 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:19:13] 805*2^1411921-1 is not prime. Res64: 5150BC935F9EE136 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:19:16] 983*2^1411920-1 is not prime. Res64: CD7A3A973CD8BE44 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:19:16] 615*2^1411921-1 is not prime. Res64: 8781FD4E277A7658 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:37:06] 811*2^1411921-1 is not prime. Res64: E09320938B27A0B8 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:37:06] 867*2^1411921-1 is not prime. Res64: E10B3DF52890FF12 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:37:09] 817*2^1411921-1 is not prime. Res64: 8B8AFFAF0B40C4F8 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:37:09] 909*2^1411921-1 is not prime. Res64: DC9DC7490C0AB4D4 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:37:15] 741*2^1411922-1 is not prime. Res64: 6CE348F0747DAC66 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:37:16] 825*2^1411922-1 is not prime. Res64: F8C5357EFF8D270A Time : 0.0 sec. user=mdettweiler [2015-10-13 03:37:30] 665*2^1411922-1 is not prime. Res64: F71D0770364E18EE Time : 0.0 sec. user=mdettweiler [2015-10-13 03:37:31] 705*2^1411922-1 is not prime. Res64: 0C14C278171A8248 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:55:02] 859*2^1411923-1 is not prime. Res64: B7D58F70CDF5FE3B Time : 0.0 sec. user=mdettweiler [2015-10-13 03:55:02] 945*2^1411923-1 is not prime. Res64: 917D3CC0D46E7017 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:55:05] 885*2^1411922-1 is not prime. Res64: B6E4B0885F2557B1 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:55:05] 751*2^1411923-1 is not prime. Res64: 5F68880B6687CE08 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:55:13] 963*2^1411923-1 is not prime. Res64: A279878E16A0D702 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:55:14] 609*2^1411924-1 is not prime. Res64: CD4FC5459091A7F8 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:55:24] 615*2^1411924-1 is not prime. Res64: EA7FE9325E3B5008 Time : 0.0 sec. user=mdettweiler [2015-10-13 03:55:24] 759*2^1411924-1 is not prime. Res64: 3737CFF622BEF73A Time : 0.0 sec. user=mdettweiler [2015-10-13 04:12:56] 607*2^1411925-1 is not prime. Res64: 0CA6EB116749570D Time : 0.0 sec. user=mdettweiler [2015-10-13 04:12:57] 655*2^1411925-1 is not prime. Res64: 924FBBB8EC634712 Time : 0.0 sec. user=mdettweiler [2015-10-13 04:12:57] 927*2^1411924-1 is not prime. Res64: 406EADD3527EFD03 Time : 0.0 sec. user=mdettweiler [2015-10-13 04:12:58] 995*2^1411924-1 is not prime. Res64: 199569BE4D2E2E2B Time : 0.0 sec. user=mdettweiler [2015-10-13 04:13:13] 859*2^1411925-1 is not prime. Res64: 9D0B3F7CE885C8FD Time : 0.0 sec. user=mdettweiler [2015-10-13 04:13:13] 955*2^1411925-1 is not prime. Res64: 3F85B97B8A799E9F Time : 0.0 sec. user=mdettweiler [2015-10-13 04:13:15] 727*2^1411925-1 is not prime. Res64: C43B0100D2705859 Time : 0.0 sec. user=mdettweiler [2015-10-13 04:13:15] 831*2^1411925-1 is not prime. Res64: 6E2DE0A463171C4D Time : 0.0 sec. user=mdettweiler [2015-10-13 04:31:01] 875*2^1411926-1 is not prime. Res64: 9DB928BDDC1360E7 Time : 0.0 sec. user=mdettweiler [2015-10-13 04:31:01] 801*2^1411926-1 is not prime. Res64: C2C599C5AE0F90E0 Time : 0.0 sec. user=mdettweiler [2015-10-13 04:31:02] 941*2^1411926-1 is not prime. Res64: 020209577DEA3EDD Time : 0.0 sec. user=mdettweiler [2015-10-13 04:31:02] 873*2^1411926-1 is not prime. Res64: 1BBB96D34A44817A Time : 0.0 sec. user=mdettweiler [2015-10-13 04:31:09] 963*2^1411926-1 is not prime. Res64: D7D119AC01B825E6 Time : 0.0 sec. user=mdettweiler [2015-10-13 04:31:09] 983*2^1411926-1 is not prime. Res64: 84B634CE7B787064 Time : 0.0 sec. user=mdettweiler [2015-10-13 04:31:16] 759*2^1411927-1 is not prime. Res64: 5FEDDBEC61900A8F Time : 0.0 sec. user=mdettweiler [2015-10-13 04:31:17] 873*2^1411927-1 is not prime. Res64: 0F196D179C66A11C Time : 0.0 sec. user=mdettweiler [2015-10-13 04:48:57] 961*2^1411927-1 is not prime. Res64: EF63A0F4FBAA0DEF Time : 0.0 sec. user=mdettweiler [2015-10-13 04:48:57] 657*2^1411928-1 is not prime. Res64: 59961F285CCA62DB Time : 0.0 sec. user=mdettweiler [2015-10-13 04:48:58] 687*2^1411928-1 is not prime. Res64: B0D33F9F4875C0A8 Time : 0.0 sec. user=mdettweiler [2015-10-13 04:48:58] 843*2^1411928-1 is not prime. Res64: 62D9E3643658F42E Time : 0.0 sec. user=mdettweiler [2015-10-13 04:49:03] 855*2^1411928-1 is not prime. Res64: 62EAF64790031BFC Time : 0.0 sec. user=mdettweiler [2015-10-13 04:49:04] 923*2^1411928-1 is not prime. Res64: 29AE204B41526323 Time : 0.0 sec. user=mdettweiler [2015-10-13 04:49:07] 959*2^1411928-1 is not prime. Res64: F5856A5518709990 Time : 0.0 sec. user=mdettweiler [2015-10-13 04:49:07] 661*2^1411929-1 is not prime. Res64: DB61809C0B6E31C2 Time : 0.0 sec. user=mdettweiler [2015-10-13 05:06:49] 675*2^1411929-1 is not prime. Res64: D15D7B10B7E6DB3A Time : 0.0 sec. user=mdettweiler [2015-10-13 05:06:50] 681*2^1411929-1 is not prime. Res64: 0E3950221D14FF36 Time : 0.0 sec. user=mdettweiler [2015-10-13 05:06:52] 945*2^1411929-1 is not prime. Res64: 63ED4216B204A8D6 Time : 0.0 sec. user=mdettweiler [2015-10-13 05:06:53] 951*2^1411929-1 is not prime. Res64: 753C96D9362133C0 Time : 0.0 sec. user=mdettweiler [2015-10-13 05:06:58] 795*2^1411929-1 is not prime. Res64: 57731A28F39A82EC Time : 0.0 sec. user=mdettweiler [2015-10-13 05:06:58] 895*2^1411929-1 is not prime. Res64: 9E09CEE4A6C30BD0 Time : 0.0 sec. user=mdettweiler [2015-10-13 05:07:00] 955*2^1411929-1 is not prime. Res64: BCC7ED99371E4AB1 Time : 0.0 sec. user=mdettweiler [2015-10-13 05:07:00] 975*2^1411929-1 is not prime. Res64: 56EA25F7F6D2A0B5 Time : 0.0 sec. user=mdettweiler [2015-10-13 05:24:51] 605*2^1411930-1 is not prime. Res64: D8393AF211260207 Time : 0.0 sec. user=mdettweiler [2015-10-13 05:24:52] 665*2^1411930-1 is not prime. Res64: 84EBEE30B5CA68AA Time : 0.0 sec. user=mdettweiler [2015-10-13 05:24:59] 677*2^1411930-1 is not prime. Res64: C9CD5BC47CEE9B58 Time : 0.0 sec. user=mdettweiler [2015-10-13 05:24:59] 833*2^1411930-1 is not prime. Res64: 65C0FA79EF2E3646 Time : 0.0 sec. user=mdettweiler [2015-10-13 05:25:02] 879*2^1411931-1 is not prime. Res64: BA8A4111EE87A1C4 Time : 0.0 sec. user=mdettweiler [2015-10-13 05:25:02] 901*2^1411931-1 is not prime. Res64: A2E4883AD244CDE1 Time : 0.0 sec. user=mdettweiler [2015-10-13 05:25:05] 911*2^1411930-1 is not prime. Res64: 6C8B60374FE04FBA Time : 0.0 sec. user=mdettweiler [2015-10-13 05:25:05] 759*2^1411931-1 is not prime. Res64: BF3A8A3D496A4515 Time : 0.0 sec. user=mdettweiler [2015-10-13 05:42:42] 633*2^1411932-1 is not prime. Res64: 06C8697632D059AD Time : 0.0 sec. user=mdettweiler [2015-10-13 05:42:42] 665*2^1411932-1 is not prime. Res64: 0203E7D61C46AFCE Time : 0.0 sec. user=mdettweiler [2015-10-13 05:42:50] 753*2^1411932-1 is not prime. Res64: B42D22194D25C260 Time : 0.0 sec. user=mdettweiler [2015-10-13 05:42:50] 825*2^1411932-1 is not prime. Res64: 8D8655CDEF78CEE5 Time : 0.0 sec. user=mdettweiler [2015-10-13 05:42:54] 669*2^1411932-1 is not prime. Res64: 01327B41D754FBE8 Time : 0.0 sec. user=mdettweiler [2015-10-13 05:42:54] 749*2^1411932-1 is not prime. Res64: 4A986DDF9678BC1D Time : 0.0 sec. user=mdettweiler [2015-10-13 05:43:01] 857*2^1411932-1 is not prime. Res64: B70FFC2E274547D4 Time : 0.0 sec. user=mdettweiler [2015-10-13 05:43:01] 929*2^1411932-1 is not prime. Res64: AC0D1A499382FF63 Time : 0.0 sec. user=mdettweiler [2015-10-13 06:00:40] 965*2^1411932-1 is not prime. Res64: E57B51A78A47DB9A Time : 0.0 sec. user=mdettweiler [2015-10-13 06:00:41] 789*2^1411933-1 is not prime. Res64: 1E4E55F90C8990F4 Time : 0.0 sec. user=mdettweiler [2015-10-13 06:00:44] 805*2^1411933-1 is not prime. Res64: 3E7FD24CAB89B0DC Time : 0.0 sec. user=mdettweiler [2015-10-13 06:00:45] 831*2^1411933-1 is not prime. Res64: ACAB23C953D436A5 Time : 0.0 sec. user=mdettweiler [2015-10-13 06:00:58] 867*2^1411933-1 is not prime. Res64: 959B17E14391E3F0 Time : 0.0 sec. user=mdettweiler [2015-10-13 06:00:59] 937*2^1411933-1 is not prime. Res64: 7ECFB118A0EB5B5C Time : 0.0 sec. user=mdettweiler [2015-10-13 06:00:59] 889*2^1411933-1 is not prime. Res64: 605C6CCAC1C4B2CA Time : 0.0 sec. user=mdettweiler [2015-10-13 06:01:00] 945*2^1411933-1 is not prime. Res64: 56B45B326EA75FB4 Time : 0.0 sec. user=mdettweiler [2015-10-13 06:18:34] 615*2^1411934-1 is not prime. Res64: DBF47B6E1280FFFC Time : 0.0 sec. user=mdettweiler [2015-10-13 06:18:34] 623*2^1411934-1 is not prime. Res64: D6B32A2D10ACB480 Time : 0.0 sec. user=mdettweiler [2015-10-13 06:18:44] 707*2^1411934-1 is not prime. Res64: 2EA54447A43B35F8 Time : 0.0 sec. user=mdettweiler [2015-10-13 06:18:44] 825*2^1411934-1 is not prime. Res64: F753851887ED8076 Time : 0.0 sec. user=mdettweiler [2015-10-13 06:18:59] 857*2^1411934-1 is not prime. Res64: 01975AE7A7090340 Time : 0.0 sec. user=mdettweiler [2015-10-13 06:18:59] 873*2^1411934-1 is not prime. Res64: 5571AE1C67BBCEA5 Time : 0.0 sec. user=mdettweiler [2015-10-13 06:19:00] 831*2^1411934-1 is not prime. Res64: 87F85C4B59009206 Time : 0.0 sec. user=mdettweiler [2015-10-13 06:19:01] 851*2^1411934-1 is not prime. Res64: 247A4D9613F03926 Time : 0.0 sec. user=mdettweiler [2015-10-13 06:36:53] 927*2^1411934-1 is not prime. Res64: F19F69B6EA89A2F4 Time : 0.0 sec. user=mdettweiler [2015-10-13 06:36:54] 945*2^1411934-1 is not prime. Res64: 04725127768B359F Time : 0.0 sec. user=mdettweiler [2015-10-13 06:37:21] 849*2^1411935-1 is not prime. Res64: 60CD9F85888AB869 Time : 0.0 sec. user=mdettweiler [2015-10-13 06:37:21] 969*2^1411935-1 is not prime. Res64: 6F7C9A435CFF9B25 Time : 0.0 sec. user=mdettweiler [2015-10-13 06:37:34] 985*2^1411935-1 is not prime. Res64: 5FBE08596D9D1FD6 Time : 0.0 sec. user=mdettweiler [2015-10-13 06:37:34] 615*2^1411936-1 is not prime. Res64: 391181710BC21ED5 Time : 0.0 sec. user=mdettweiler [2015-10-13 06:37:35] 633*2^1411935-1 is not prime. Res64: 59A4CC6680B3363F Time : 0.0 sec. user=mdettweiler [2015-10-13 06:37:35] 735*2^1411935-1 is not prime. Res64: 494CFF1C3636947C Time : 0.0 sec. user=mdettweiler [2015-10-13 06:54:55] 693*2^1411936-1 is not prime. Res64: F3A165C7DAAA4C71 Time : 0.0 sec. user=mdettweiler [2015-10-13 06:54:55] 755*2^1411936-1 is not prime. Res64: 0F153C4A1FEE1707 Time : 0.0 sec. user=mdettweiler [2015-10-13 06:55:34] 857*2^1411936-1 is not prime. Res64: 22D3F0B2A8C7F12D Time : 0.0 sec. user=mdettweiler [2015-10-13 06:55:35] 909*2^1411936-1 is not prime. Res64: E819A202CD6D228A Time : 0.0 sec. user=mdettweiler [2015-10-13 06:55:40] 923*2^1411936-1 is not prime. Res64: B12205D0CAB89ACD Time : 0.0 sec. user=mdettweiler [2015-10-13 06:55:41] 675*2^1411937-1 is not prime. Res64: C192CD546FCF6120 Time : 0.0 sec. user=mdettweiler [2015-10-13 06:55:44] 795*2^1411937-1 is not prime. Res64: 158947F1A2EDAFEE Time : 0.0 sec. user=mdettweiler [2015-10-13 06:55:44] 801*2^1411937-1 is not prime. Res64: 9B78EA5286FADA9C Time : 0.0 sec. user=mdettweiler [2015-10-13 07:12:47] 901*2^1411937-1 is not prime. Res64: 97EF16243910860C Time : 0.0 sec. user=mdettweiler [2015-10-13 07:12:47] 635*2^1411938-1 is not prime. Res64: 45F884AE609AB7ED Time : 0.0 sec. user=mdettweiler [2015-10-13 07:13:29] 681*2^1411938-1 is not prime. Res64: 31A7DC3AC709255B Time : 0.0 sec. user=mdettweiler [2015-10-13 07:13:29] 705*2^1411938-1 is not prime. Res64: 3E60147257ABF524 Time : 0.0 sec. user=mdettweiler [2015-10-13 07:13:33] 815*2^1411938-1 is not prime. Res64: 039FF3E011716187 Time : 0.0 sec. user=mdettweiler [2015-10-13 07:13:34] 957*2^1411938-1 is not prime. Res64: 1E1C1E5496C3DAFC Time : 0.0 sec. user=mdettweiler [2015-10-13 07:13:37] 609*2^1411939-1 is not prime. Res64: F7E6DD03189D146B Time : 0.0 sec. user=mdettweiler [2015-10-13 07:13:37] 619*2^1411939-1 is not prime. Res64: EFB0033A51E5C889 Time : 0.0 sec. user=mdettweiler [2015-10-13 07:30:46] 769*2^1411939-1 is not prime. Res64: 202F9129E4B5EBBE Time : 0.0 sec. user=mdettweiler [2015-10-13 07:30:47] 873*2^1411939-1 is not prime. Res64: 94B36B8EFA39884A Time : 0.0 sec. user=mdettweiler [2015-10-13 07:31:20] 885*2^1411939-1 is not prime. Res64: 1764C01DC63DEF14 Time : 0.0 sec. user=mdettweiler [2015-10-13 07:31:20] 603*2^1411940-1 is not prime. Res64: 4BC56F79665A8D46 Time : 0.0 sec. user=mdettweiler [2015-10-13 07:31:25] 665*2^1411940-1 is not prime. Res64: C103D73653841FBA Time : 0.0 sec. user=mdettweiler [2015-10-13 07:31:25] 743*2^1411940-1 is not prime. Res64: B54A0131D96D36C3 Time : 0.0 sec. user=mdettweiler [2015-10-13 07:31:27] 797*2^1411940-1 is not prime. Res64: CF3184F4D355250F Time : 0.0 sec. user=mdettweiler [2015-10-13 07:31:27] 813*2^1411940-1 is not prime. Res64: 2010E371AB6035BB Time : 0.0 sec. user=mdettweiler [2015-10-13 07:48:36] 983*2^1411940-1 is not prime. Res64: 47F552F29103EDD4 Time : 0.0 sec. user=mdettweiler [2015-10-13 07:48:36] 621*2^1411941-1 is not prime. Res64: 4688370B10D86A65 Time : 0.0 sec. user=mdettweiler [2015-10-13 07:49:18] 657*2^1411941-1 is not prime. Res64: 8F989AE9FA2AB301 Time : 0.0 sec. user=mdettweiler [2015-10-13 07:49:18] 717*2^1411941-1 is not prime. Res64: 70C2D59DD7547B0F Time : 0.0 sec. user=mdettweiler [2015-10-13 07:49:21] 901*2^1411941-1 is not prime. Res64: 44051DE15F933E12 Time : 0.0 sec. user=mdettweiler [2015-10-13 07:49:21] 907*2^1411941-1 is not prime. Res64: 3EAD1B120820FC10 Time : 0.0 sec. user=mdettweiler [2015-10-13 07:49:24] 777*2^1411941-1 is not prime. Res64: BA5404B004A2958B Time : 0.0 sec. user=mdettweiler [2015-10-13 07:49:24] 889*2^1411941-1 is not prime. Res64: E6C90CDFF7BA65DA Time : 0.0 sec. user=mdettweiler [2015-10-13 08:06:30] 921*2^1411941-1 is not prime. Res64: C52B2266B7ECB56F Time : 0.0 sec. user=mdettweiler [2015-10-13 08:06:31] 987*2^1411941-1 is not prime. Res64: D21B4F269C2DA3E8 Time : 0.0 sec. user=mdettweiler [2015-10-13 08:07:09] 705*2^1411942-1 is not prime. Res64: 4024A2E3E8841868 Time : 0.0 sec. user=mdettweiler [2015-10-13 08:07:10] 755*2^1411942-1 is not prime. Res64: FE1EA28368545280 Time : 0.0 sec. user=mdettweiler [2015-10-13 08:07:10] 863*2^1411942-1 is not prime. Res64: D5FD397F2174FDA8 Time : 0.0 sec. user=mdettweiler [2015-10-13 08:07:10] 867*2^1411942-1 is not prime. Res64: B3C669BC79299BD7 Time : 0.0 sec. user=mdettweiler [2015-10-13 08:07:13] 911*2^1411942-1 is not prime. Res64: 070F853431383412 Time : 0.0 sec. user=mdettweiler [2015-10-13 08:07:14] 915*2^1411942-1 is not prime. Res64: 1D6AAA6744166FBC Time : 0.0 sec. user=mdettweiler [2015-10-13 08:24:30] 923*2^1411942-1 is not prime. Res64: 955DCE86EFD2A318 Time : 0.0 sec. user=mdettweiler [2015-10-13 08:24:31] 633*2^1411943-1 is not prime. Res64: 29E5FD676B2B77B4 Time : 0.0 sec. user=mdettweiler [2015-10-13 08:25:00] 943*2^1411943-1 is not prime. Res64: AF92AC9C43E307EB Time : 0.0 sec. user=mdettweiler [2015-10-13 08:25:00] 969*2^1411943-1 is not prime. Res64: 8434B2C0894694DF Time : 0.0 sec. user=mdettweiler [2015-10-13 08:25:03] 805*2^1411943-1 is not prime. Res64: 0C9D46FA72875E8D Time : 0.0 sec. user=mdettweiler [2015-10-13 08:25:03] 885*2^1411943-1 is not prime. Res64: 6518EC4AE337EB7E Time : 0.0 sec. user=mdettweiler [2015-10-13 08:25:13] 981*2^1411943-1 is not prime. Res64: 14F4BF15CE3F8067 Time : 0.0 sec. user=mdettweiler [2015-10-13 08:25:14] 985*2^1411943-1 is not prime. Res64: DADE3A8541F06B9D Time : 0.0 sec. user=mdettweiler [2015-10-13 08:42:26] 707*2^1411944-1 is not prime. Res64: 0CAF2A7C7F6D17EA Time : 0.0 sec. user=mdettweiler [2015-10-13 08:42:26] 815*2^1411944-1 is not prime. Res64: 2D8C5062D25BCB2E Time : 0.0 sec. user=mdettweiler [2015-10-13 08:42:54] 649*2^1411945-1 is not prime. Res64: 90013B11279AFAA2 Time : 0.0 sec. user=mdettweiler [2015-10-13 08:42:54] 771*2^1411945-1 is not prime. Res64: 522C6170B38E592A Time : 0.0 sec. user=mdettweiler [2015-10-13 08:43:00] 959*2^1411944-1 is not prime. Res64: F9FF7ADC8686F5A7 Time : 0.0 sec. user=mdettweiler [2015-10-13 08:43:01] 607*2^1411945-1 is not prime. Res64: 9471662FE4114E20 Time : 0.0 sec. user=mdettweiler [2015-10-13 08:43:14] 909*2^1411945-1 is not prime. Res64: EA3DDAAD41493293 Time : 0.0 sec. user=mdettweiler [2015-10-13 08:43:14] 919*2^1411945-1 is not prime. Res64: 7B3BCC0B73220872 Time : 0.0 sec. user=mdettweiler [2015-10-13 09:00:19] 923*2^1411946-1 is not prime. Res64: FB76F8E357870CFF Time : 0.0 sec. user=mdettweiler [2015-10-13 09:00:20] 941*2^1411946-1 is not prime. Res64: FED5E364A75B75E0 Time : 0.0 sec. user=mdettweiler [2015-10-13 09:00:48] 619*2^1411947-1 is not prime. Res64: F6604893F7CDFDA1 Time : 0.0 sec. user=mdettweiler [2015-10-13 09:00:49] 633*2^1411947-1 is not prime. Res64: E34A25FD8831245E Time : 0.0 sec. user=mdettweiler [2015-10-13 09:00:59] 643*2^1411947-1 is not prime. Res64: 280775B1E7A87B47 Time : 0.0 sec. user=mdettweiler [2015-10-13 09:01:00] 685*2^1411947-1 is not prime. Res64: 195AA2CC1D196E7D Time : 0.0 sec. user=mdettweiler [2015-10-13 09:01:13] 703*2^1411947-1 is not prime. Res64: 95748AF76A7F7FBF Time : 0.0 sec. user=mdettweiler [2015-10-13 09:01:14] 781*2^1411947-1 is not prime. Res64: 267134CADEE25824 Time : 0.0 sec. user=mdettweiler [2015-10-13 09:18:15] 909*2^1411947-1 is not prime. Res64: 28BCFAFAF0B3637A Time : 0.0 sec. user=mdettweiler [2015-10-13 09:18:15] 647*2^1411948-1 is not prime. Res64: 481EF7A60D4232F0 Time : 0.0 sec. user=mdettweiler [2015-10-13 09:18:50] 819*2^1411948-1 is not prime. Res64: EA96831A38823D6B Time : 0.0 sec. user=mdettweiler [2015-10-13 09:18:51] 827*2^1411948-1 is not prime. Res64: ADE9F045AFF1D458 Time : 0.0 sec. user=mdettweiler [2015-10-13 09:18:52] 927*2^1411948-1 is not prime. Res64: 54D7F97474260CAB Time : 0.0 sec. user=mdettweiler [2015-10-13 09:18:52] 619*2^1411949-1 is not prime. Res64: 52F6506B0107591D Time : 0.0 sec. user=mdettweiler [2015-10-13 09:19:12] 649*2^1411949-1 is not prime. Res64: 9491B1CFB6968115 Time : 0.0 sec. user=mdettweiler [2015-10-13 09:19:13] 697*2^1411949-1 is not prime. Res64: 52ABA5F4A7613BF2 Time : 0.0 sec. user=mdettweiler [2015-10-13 09:36:09] 741*2^1411949-1 is not prime. Res64: 0B7DF356643F7FD1 Time : 0.0 sec. user=mdettweiler [2015-10-13 09:36:09] 745*2^1411949-1 is not prime. Res64: 2E295DCCB729D2E2 Time : 0.0 sec. user=mdettweiler [2015-10-13 09:36:39] 819*2^1411949-1 is not prime. Res64: 4DE81B5BBAD54C9F Time : 0.0 sec. user=mdettweiler [2015-10-13 09:36:39] 865*2^1411949-1 is not prime. Res64: 42CD1298E3F8136C Time : 0.0 sec. user=mdettweiler [2015-10-13 09:36:40] 879*2^1411949-1 is not prime. Res64: CD56AAD20052C148 Time : 0.0 sec. user=mdettweiler [2015-10-13 09:36:41] 657*2^1411950-1 is not prime. Res64: B120A8E3B264CB0D Time : 0.0 sec. user=mdettweiler [2015-10-13 09:36:54] 821*2^1411950-1 is not prime. Res64: F26F02FDF1ED0486 Time : 0.0 sec. user=mdettweiler [2015-10-13 09:36:55] 873*2^1411950-1 is not prime. Res64: BB1FC2A702479C35 Time : 0.0 sec. user=mdettweiler [2015-10-13 09:54:14] 893*2^1411950-1 is not prime. Res64: 469D4C0565C6A65B Time : 0.0 sec. user=mdettweiler [2015-10-13 09:54:15] 639*2^1411951-1 is not prime. Res64: D6D9A8F8DF726345 Time : 0.0 sec. user=mdettweiler [2015-10-13 09:54:36] 675*2^1411951-1 is not prime. Res64: CC7B01FDB208C5C0 Time : 0.0 sec. user=mdettweiler [2015-10-13 09:54:37] 693*2^1411951-1 is not prime. Res64: 19D7180FEC658DAB Time : 0.0 sec. user=mdettweiler [2015-10-13 09:54:43] 759*2^1411951-1 is not prime. Res64: 597245AE3A22A5A5 Time : 0.0 sec. user=mdettweiler [2015-10-13 09:54:44] 939*2^1411951-1 is not prime. Res64: 0797E5F1A7C51CEB Time : 0.0 sec. user=mdettweiler [2015-10-13 09:54:51] 973*2^1411951-1 is not prime. Res64: D4E9C4F74ABD9F1C Time : 0.0 sec. user=mdettweiler [2015-10-13 09:54:52] 699*2^1411952-1 is not prime. Res64: 4D7D634C20DAF7FB Time : 0.0 sec. user=mdettweiler [2015-10-13 10:12:07] 753*2^1411952-1 is not prime. Res64: AC3DA13CDCA7FA57 Time : 0.0 sec. user=mdettweiler [2015-10-13 10:12:08] 843*2^1411952-1 is not prime. Res64: CB3ECDEB5C806AEC Time : 0.0 sec. user=mdettweiler [2015-10-13 10:12:28] 855*2^1411952-1 is not prime. Res64: F523571C73648E92 Time : 0.0 sec. user=mdettweiler [2015-10-13 10:12:28] 897*2^1411952-1 is not prime. Res64: 460243565FF4BB89 Time : 0.0 sec. user=mdettweiler [2015-10-13 10:12:38] 899*2^1411952-1 is not prime. Res64: A3CBF60FEF792717 Time : 0.0 sec. user=mdettweiler [2015-10-13 10:12:38] 721*2^1411953-1 is not prime. Res64: BA5C094DEFF69018 Time : 0.0 sec. user=mdettweiler [2015-10-13 10:12:45] 789*2^1411953-1 is not prime. Res64: B0EC83541A1FF8E3 Time : 0.0 sec. user=mdettweiler [2015-10-13 10:12:45] 889*2^1411953-1 is not prime. Res64: A8C9C1F0C27964CB Time : 0.0 sec. user=mdettweiler [2015-10-13 10:30:02] 991*2^1411953-1 is not prime. Res64: CC4A9D87869C778E Time : 0.0 sec. user=mdettweiler [2015-10-13 10:30:03] 623*2^1411954-1 is not prime. Res64: E3F909110D46CCE5 Time : 0.0 sec. user=mdettweiler [2015-10-13 10:30:20] 755*2^1411954-1 is not prime. Res64: BB87B3A889BE39F3 Time : 0.0 sec. user=mdettweiler [2015-10-13 10:30:20] 803*2^1411954-1 is not prime. Res64: 9D96E0B3A39ED63A Time : 0.0 sec. user=mdettweiler [2015-10-13 10:30:27] 831*2^1411954-1 is not prime. Res64: 734CB01EF2332969 Time : 0.0 sec. user=mdettweiler [2015-10-13 10:30:28] 833*2^1411954-1 is not prime. Res64: 7CFE21B191BD7026 Time : 0.0 sec. user=mdettweiler [2015-10-13 10:30:31] 987*2^1411954-1 is not prime. Res64: 29DC017773AA9F88 Time : 0.0 sec. user=mdettweiler [2015-10-13 10:30:32] 619*2^1411955-1 is not prime. Res64: 385783D83FE2567A Time : 0.0 sec. user=mdettweiler [2015-10-13 10:47:59] 741*2^1411955-1 is not prime. Res64: E711268E196BA21A Time : 0.0 sec. user=mdettweiler [2015-10-13 10:47:59] 759*2^1411955-1 is not prime. Res64: 04F1B839DF391934 Time : 0.0 sec. user=mdettweiler [2015-10-13 10:48:09] 943*2^1411955-1 is not prime. Res64: C5ED4D0E97E63FE0 Time : 0.0 sec. user=mdettweiler [2015-10-13 10:48:10] 735*2^1411956-1 is not prime. Res64: 35DA49DA1D653B9B Time : 0.0 sec. user=mdettweiler [2015-10-13 10:48:18] 975*2^1411956-1 is not prime. Res64: D73E1516179153F6 Time : 0.0 sec. user=mdettweiler [2015-10-13 10:48:19] 993*2^1411956-1 is not prime. Res64: 55A4D91693507171 Time : 0.0 sec. user=mdettweiler [2015-10-13 10:48:19] 777*2^1411956-1 is not prime. Res64: 7CF069B002059EE2 Time : 0.0 sec. user=mdettweiler [2015-10-13 10:48:20] 857*2^1411956-1 is not prime. Res64: F33996BCA5218271 Time : 0.0 sec. user=mdettweiler [2015-10-13 11:06:00] 639*2^1411957-1 is not prime. Res64: 3910F6DD82860BCB Time : 0.0 sec. user=mdettweiler [2015-10-13 11:06:00] 687*2^1411957-1 is not prime. Res64: 14558B621699F529 Time : 0.0 sec. user=mdettweiler [2015-10-13 11:06:15] 955*2^1411957-1 is not prime. Res64: 2D666AF1EF3CD8D8 Time : 0.0 sec. user=mdettweiler [2015-10-13 11:06:16] 957*2^1411957-1 is not prime. Res64: 7BF19A82A64A62F5 Time : 0.0 sec. user=mdettweiler [2015-10-13 11:06:17] 717*2^1411957-1 is not prime. Res64: 1EA9413775481020 Time : 0.0 sec. user=mdettweiler [2015-10-13 11:06:17] 757*2^1411957-1 is not prime. Res64: 6ED7025AF3EF8CF6 Time : 0.0 sec. user=mdettweiler [2015-10-13 11:06:25] 831*2^1411957-1 is not prime. Res64: 305D32DBA223432E Time : 0.0 sec. user=mdettweiler [2015-10-13 11:06:26] 849*2^1411957-1 is not prime. Res64: 4CEFE1A54FFE6976 Time : 0.0 sec. user=mdettweiler [2015-10-13 11:23:58] 711*2^1411958-1 is not prime. Res64: 412587DB5F17B117 Time : 0.0 sec. user=mdettweiler [2015-10-13 11:23:58] 771*2^1411958-1 is not prime. Res64: 4FF948093B2FE462 Time : 0.0 sec. user=mdettweiler [2015-10-13 11:24:16] 857*2^1411958-1 is not prime. Res64: 06733C42CA261DCC Time : 0.0 sec. user=mdettweiler [2015-10-13 11:24:17] 945*2^1411958-1 is not prime. Res64: C20A147D1BFC5D74 Time : 0.0 sec. user=mdettweiler [2015-10-13 11:24:19] 633*2^1411959-1 is not prime. Res64: B65CA84917567D12 Time : 0.0 sec. user=mdettweiler [2015-10-13 11:24:19] 663*2^1411959-1 is not prime. Res64: BB320DB8673CC74A Time : 0.0 sec. user=mdettweiler [2015-10-13 11:24:22] 675*2^1411959-1 is not prime. Res64: 7493EDE480CA495B Time : 0.0 sec. user=mdettweiler [2015-10-13 11:24:23] 919*2^1411959-1 is not prime. Res64: 7F41EA1999C848A0 Time : 0.0 sec. user=mdettweiler [2015-10-13 11:41:56] 951*2^1411959-1 is not prime. Res64: 8AEE80B319299E39 Time : 0.0 sec. user=mdettweiler [2015-10-13 11:41:56] 609*2^1411960-1 is not prime. Res64: EA4BDE89C1304EE8 Time : 0.0 sec. user=mdettweiler [2015-10-13 11:42:12] 607*2^1411961-1 is not prime. Res64: 108348A0B24BF487 Time : 0.0 sec. user=mdettweiler [2015-10-13 11:42:12] 615*2^1411961-1 is not prime. Res64: 215320AA6808F908 Time : 0.0 sec. user=mdettweiler [2015-10-13 11:42:22] 631*2^1411961-1 is not prime. Res64: 3F7168B42CED2B0D Time : 0.0 sec. user=mdettweiler [2015-10-13 11:42:22] 685*2^1411961-1 is not prime. Res64: 05B94F37BF01BCB2 Time : 0.0 sec. user=mdettweiler [2015-10-13 11:42:26] 755*2^1411960-1 is not prime. Res64: 7B54DD50F1611252 Time : 0.0 sec. user=mdettweiler [2015-10-13 11:42:26] 995*2^1411960-1 is not prime. Res64: 5FFC88A173A33E45 Time : 0.0 sec. user=mdettweiler [2015-10-13 11:59:50] 691*2^1411961-1 is not prime. Res64: 8F0D3C0F94D3A0F2 Time : 0.0 sec. user=mdettweiler [2015-10-13 11:59:50] 879*2^1411961-1 is not prime. Res64: 8C4E2CD8A5DC4ACD Time : 0.0 sec. user=mdettweiler [2015-10-13 12:00:15] 977*2^1411962-1 is not prime. Res64: B02DD9F9221E4909 Time : 0.0 sec. user=mdettweiler [2015-10-13 12:00:15] 609*2^1411963-1 is not prime. Res64: 00ED38D8D0FA375C Time : 0.0 sec. user=mdettweiler [2015-10-13 12:00:16] 631*2^1411963-1 is not prime. Res64: 953416CE4072EE23 Time : 0.0 sec. user=mdettweiler [2015-10-13 12:00:17] 805*2^1411963-1 is not prime. Res64: C2690F287E3967C2 Time : 0.0 sec. user=mdettweiler [2015-10-13 12:00:23] 925*2^1411963-1 is not prime. Res64: 2C7CCE6C492FDDDD Time : 0.0 sec. user=mdettweiler [2015-10-13 12:00:25] 985*2^1411963-1 is not prime. Res64: D113EC7B1E752BB9 Time : 0.0 sec. user=mdettweiler [2015-10-13 12:17:55] 617*2^1411964-1 is not prime. Res64: DDAC4260263438FF Time : 0.0 sec. user=mdettweiler [2015-10-13 12:17:56] 725*2^1411964-1 is not prime. Res64: E8F3A112CD3C623D Time : 0.0 sec. user=mdettweiler [2015-10-13 12:18:15] 843*2^1411964-1 is not prime. Res64: E243E718B2E18B0B Time : 0.0 sec. user=mdettweiler [2015-10-13 12:18:15] 885*2^1411964-1 is not prime. Res64: 4C8F756405DA0669 Time : 0.0 sec. user=mdettweiler [2015-10-13 12:18:17] 995*2^1411964-1 is not prime. Res64: 99B7D60ED0805A76 Time : 0.0 sec. user=mdettweiler [2015-10-13 12:18:17] 717*2^1411965-1 is not prime. Res64: 416A0E85B4B9380B Time : 0.0 sec. user=mdettweiler [2015-10-13 12:18:22] 909*2^1411964-1 is not prime. Res64: 0842E35D57AF49B4 Time : 0.0 sec. user=mdettweiler [2015-10-13 12:18:22] 915*2^1411964-1 is not prime. Res64: 2B8561A75DE2A26B Time : 0.0 sec. user=mdettweiler [2015-10-13 12:36:38] 919*2^1411965-1 is not prime. Res64: F5CD7D3936578CAF Time : 0.0 sec. user=mdettweiler [2015-10-13 12:36:38] 975*2^1411965-1 is not prime. Res64: A47EC61474322043 Time : 0.0 sec. user=mdettweiler [2015-10-13 12:36:43] 611*2^1411966-1 is not prime. Res64: 921A1F3AEDD5712B Time : 0.0 sec. user=mdettweiler [2015-10-13 12:36:43] 671*2^1411966-1 is not prime. Res64: 5C28685179C2C3BD Time : 0.0 sec. user=mdettweiler [2015-10-13 12:36:46] 621*2^1411967-1 is not prime. Res64: DE9D99C2FFCC978F Time : 0.0 sec. user=mdettweiler [2015-10-13 12:36:46] 865*2^1411967-1 is not prime. Res64: BFE6343886E9BCFB Time : 0.0 sec. user=mdettweiler [2015-10-13 12:36:47] 695*2^1411966-1 is not prime. Res64: 298170E75C63ED81 Time : 0.0 sec. user=mdettweiler [2015-10-13 12:36:47] 923*2^1411966-1 is not prime. Res64: 9EBF2F5AAE250B9C Time : 0.0 sec. user=mdettweiler [2015-10-13 12:54:57] 963*2^1411967-1 is not prime. Res64: 10EA0BAAD19407E9 Time : 0.0 sec. user=mdettweiler [2015-10-13 12:54:58] 973*2^1411967-1 is not prime. Res64: 6DC15A030FB3A086 Time : 0.0 sec. user=mdettweiler [2015-10-13 12:55:01] 669*2^1411968-1 is not prime. Res64: BF0B6EF558C321BE Time : 0.0 sec. user=mdettweiler [2015-10-13 12:55:02] 683*2^1411968-1 is not prime. Res64: 55A8CC8C9D68C7CD Time : 0.0 sec. user=mdettweiler [2015-10-13 12:55:06] 923*2^1411968-1 is not prime. Res64: F828A74C06D2F960 Time : 0.0 sec. user=mdettweiler [2015-10-13 12:55:07] 615*2^1411969-1 is not prime. Res64: E736999022AF9A0A Time : 0.0 sec. user=mdettweiler [2015-10-13 12:55:09] 707*2^1411968-1 is not prime. Res64: 74048E3891A6A5E4 Time : 0.0 sec. user=mdettweiler [2015-10-13 12:55:10] 815*2^1411968-1 is not prime. Res64: C47F85FE8DFF6280 Time : 0.0 sec. user=mdettweiler [2015-10-13 13:13:26] 619*2^1411969-1 is not prime. Res64: 5D2F3737A3626EE2 Time : 0.0 sec. user=mdettweiler [2015-10-13 13:13:26] 639*2^1411969-1 is not prime. Res64: 14C2BE82557C937E Time : 0.0 sec. user=mdettweiler [2015-10-13 13:13:34] 747*2^1411969-1 is not prime. Res64: BBE6148CADC03521 Time : 0.0 sec. user=mdettweiler [2015-10-13 13:13:35] 807*2^1411969-1 is not prime. Res64: D0774B0870FE0AE9 Time : 0.0 sec. user=mdettweiler [2015-10-13 13:13:40] 681*2^1411969-1 is not prime. Res64: 5D29A59BEE0CAD01 Time : 0.0 sec. user=mdettweiler [2015-10-13 13:13:40] 687*2^1411969-1 is not prime. Res64: D2C49566FE5AC64F Time : 0.0 sec. user=mdettweiler [2015-10-13 13:13:48] 931*2^1411969-1 is not prime. Res64: 17C3BC0E3E348BED Time : 0.0 sec. user=mdettweiler [2015-10-13 13:13:48] 627*2^1411970-1 is not prime. Res64: 8F2584521E277FDA Time : 0.0 sec. user=mdettweiler [2015-10-13 13:31:48] 657*2^1411970-1 is not prime. Res64: 4C3907FBE85B6748 Time : 0.0 sec. user=mdettweiler [2015-10-13 13:31:49] 701*2^1411970-1 is not prime. Res64: 4B042071F323CAAB Time : 0.0 sec. user=mdettweiler [2015-10-13 13:31:54] 813*2^1411970-1 is not prime. Res64: EA75171C709E0579 Time : 0.0 sec. user=mdettweiler [2015-10-13 13:31:54] 851*2^1411970-1 is not prime. Res64: 013456B22D5CB08E Time : 0.0 sec. user=mdettweiler [2015-10-13 13:32:07] 971*2^1411970-1 is not prime. Res64: BEF77757DAF7F3BC Time : 0.0 sec. user=mdettweiler [2015-10-13 13:32:08] 613*2^1411971-1 is not prime. Res64: 5B035435887A1AC0 Time : 0.0 sec. user=mdettweiler [2015-10-13 13:32:13] 709*2^1411971-1 is not prime. Res64: 06D36A1272DEBE29 Time : 0.0 sec. user=mdettweiler [2015-10-13 13:32:14] 949*2^1411971-1 is not prime. Res64: 5BCBB44A196C6ECB Time : 0.0 sec. user=mdettweiler [2015-10-13 13:50:49] 951*2^1411971-1 is not prime. Res64: 9BDD9851A17BC279 Time : 0.0 sec. user=mdettweiler [2015-10-13 13:50:50] 617*2^1411972-1 is not prime. Res64: 8A8090EF9AC9179D Time : 0.0 sec. user=mdettweiler [2015-10-13 13:51:12] 873*2^1411972-1 is not prime. Res64: F73E3184416B3D6B Time : 0.0 sec. user=mdettweiler [2015-10-13 13:51:13] 875*2^1411972-1 is not prime. Res64: B0E3C2DC5BCA16A2 Time : 0.0 sec. user=mdettweiler [2015-10-13 13:51:15] 779*2^1411972-1 is not prime. Res64: 9A9388B6C05F13E2 Time : 0.0 sec. user=mdettweiler [2015-10-13 13:51:16] 869*2^1411972-1 is not prime. Res64: 7DCE63B162FF1CC1 Time : 0.0 sec. user=mdettweiler [2015-10-13 13:51:30] 675*2^1411972-1 is not prime. Res64: A0ABDC80B44313E7 Time : 0.0 sec. user=mdettweiler [2015-10-13 13:51:30] 777*2^1411972-1 is not prime. Res64: DB37443FEA585AB7 Time : 0.0 sec. user=mdettweiler [2015-10-13 14:10:42] 887*2^1411972-1 is not prime. Res64: 6312E7275FE159BB Time : 0.0 sec. user=mdettweiler [2015-10-13 14:10:42] 899*2^1411972-1 is not prime. Res64: CAB58D5BF77D9293 Time : 0.0 sec. user=mdettweiler [2015-10-13 14:11:00] 607*2^1411973-1 is not prime. Res64: D8CB2768C3AF1543 Time : 0.0 sec. user=mdettweiler [2015-10-13 14:11:01] 649*2^1411973-1 is not prime. Res64: 80E1A538465E51A2 Time : 0.0 sec. user=mdettweiler [2015-10-13 14:11:14] 657*2^1411973-1 is not prime. Res64: B94EC51A0C31D0A4 Time : 0.0 sec. user=mdettweiler [2015-10-13 14:11:15] 697*2^1411973-1 is not prime. Res64: 35CB92F5181E4181 Time : 0.0 sec. user=mdettweiler [2015-10-13 14:11:22] 757*2^1411973-1 is not prime. Res64: FE36EFAD7443EAE8 Time : 0.0 sec. user=mdettweiler [2015-10-13 14:11:23] 885*2^1411973-1 is not prime. Res64: A95DBF61F53BE3FB Time : 0.0 sec. user=mdettweiler [2015-10-13 14:29:15] 641*2^1411974-1 is not prime. Res64: C588DFBF3DA34DD1 Time : 0.0 sec. user=mdettweiler [2015-10-13 14:29:15] 797*2^1411974-1 is not prime. Res64: 8EB59CE799CC64BA Time : 0.0 sec. user=mdettweiler [2015-10-13 14:29:43] 851*2^1411974-1 is not prime. Res64: 44890DDF7F587959 Time : 0.0 sec. user=mdettweiler [2015-10-13 14:29:43] 863*2^1411974-1 is not prime. Res64: 70FB1A5A2B39721C Time : 0.0 sec. user=mdettweiler [2015-10-13 14:29:55] 917*2^1411974-1 is not prime. Res64: BC768EB6EA9B6094 Time : 0.0 sec. user=mdettweiler [2015-10-13 14:29:55] 945*2^1411974-1 is not prime. Res64: 468BA8E38DA8D7FE Time : 0.0 sec. user=mdettweiler [2015-10-13 14:29:56] 885*2^1411974-1 is not prime. Res64: 037C1D90C8444619 Time : 0.0 sec. user=mdettweiler [2015-10-13 14:29:56] 915*2^1411974-1 is not prime. Res64: 1A730394E6B999ED Time : 0.0 sec. user=mdettweiler [2015-10-13 14:47:51] 645*2^1411975-1 is not prime. Res64: 492976EE97E0456F Time : 0.0 sec. user=mdettweiler [2015-10-13 14:47:52] 661*2^1411975-1 is not prime. Res64: 0C42F0333ABAB8A3 Time : 0.0 sec. user=mdettweiler [2015-10-13 14:48:02] 673*2^1411975-1 is not prime. Res64: D60DABA81D7876C2 Time : 0.0 sec. user=mdettweiler [2015-10-13 14:48:02] 849*2^1411975-1 is not prime. Res64: 5CECFB92E5DEAE22 Time : 0.0 sec. user=mdettweiler [2015-10-13 14:48:13] 925*2^1411975-1 is not prime. Res64: B35E72F87B3C1829 Time : 0.0 sec. user=mdettweiler [2015-10-13 14:48:14] 961*2^1411975-1 is not prime. Res64: 8E955E9065E87FE3 Time : 0.0 sec. user=mdettweiler [2015-10-13 14:48:21] 699*2^1411976-1 is not prime. Res64: D7C811AF363363B3 Time : 0.0 sec. user=mdettweiler [2015-10-13 14:48:22] 725*2^1411976-1 is not prime. Res64: A9340CBDE38B651F Time : 0.0 sec. user=mdettweiler [2015-10-13 15:06:08] 857*2^1411976-1 is not prime. Res64: C31D4CB907294A77 Time : 0.0 sec. user=mdettweiler [2015-10-13 15:06:10] 945*2^1411976-1 is not prime. Res64: F42D35D536351202 Time : 0.0 sec. user=mdettweiler [2015-10-13 15:06:18] 999*2^1411976-1 is not prime. Res64: 2E3B7A4FDC026456 Time : 0.0 sec. user=mdettweiler [2015-10-13 15:06:20] 669*2^1411977-1 is not prime. Res64: 3C31E382A108C4A4 Time : 0.0 sec. user=mdettweiler [2015-10-13 15:06:27] 685*2^1411977-1 is not prime. Res64: 44A430E39C8A10A5 Time : 0.0 sec. user=mdettweiler [2015-10-13 15:06:28] 717*2^1411977-1 is not prime. Res64: 32925F4E05D5E7CE Time : 0.0 sec. user=mdettweiler [2015-10-13 15:06:48] 759*2^1411977-1 is not prime. Res64: 29C4E11D551B417D Time : 0.0 sec. user=mdettweiler [2015-10-13 15:06:49] 777*2^1411977-1 is not prime. Res64: 91BF5FF6F09ABB0A Time : 0.0 sec. user=mdettweiler [2015-10-13 15:24:33] 949*2^1411977-1 is not prime. Res64: 0874E98D6D4A45D0 Time : 0.0 sec. user=mdettweiler [2015-10-13 15:24:34] 603*2^1411978-1 is not prime. Res64: 65D8C33816E7D3F5 Time : 0.0 sec. user=mdettweiler [2015-10-13 15:24:35] 909*2^1411977-1 is not prime. Res64: 4FBA8D755367C769 Time : 0.0 sec. user=mdettweiler [2015-10-13 15:24:35] 937*2^1411977-1 is not prime. Res64: 7E5DF369027EADEC Time : 0.0 sec. user=mdettweiler [2015-10-13 15:24:37] 781*2^1411977-1 is not prime. Res64: F89C8B98900AF60A Time : 0.0 sec. user=mdettweiler [2015-10-13 15:24:38] 895*2^1411977-1 is not prime. Res64: 7EF4349138214DA1 Time : 0.0 sec. user=mdettweiler [2015-10-13 15:25:02] 651*2^1411978-1 is not prime. Res64: FE89515A4FA0B92D Time : 0.0 sec. user=mdettweiler [2015-10-13 15:25:02] 665*2^1411978-1 is not prime. Res64: 5CEB315E1CE93D28 Time : 0.0 sec. user=mdettweiler [2015-10-13 15:42:25] 737*2^1411978-1 is not prime. Res64: C64A8A6662980AA2 Time : 0.0 sec. user=mdettweiler [2015-10-13 15:42:26] 777*2^1411978-1 is not prime. Res64: 72929DDDA204E631 Time : 0.0 sec. user=mdettweiler [2015-10-13 15:42:32] 687*2^1411978-1 is not prime. Res64: A5D36B576CB2B7E7 Time : 0.0 sec. user=mdettweiler [2015-10-13 15:42:32] 831*2^1411978-1 is not prime. Res64: 564282B5E48A7266 Time : 0.0 sec. user=mdettweiler [2015-10-13 15:42:32] 723*2^1411978-1 is not prime. Res64: 766786219FBFDA31 Time : 0.0 sec. user=mdettweiler [2015-10-13 15:42:32] 833*2^1411978-1 is not prime. Res64: 3F02B0E76A13F590 Time : 0.0 sec. user=mdettweiler [2015-10-13 15:43:02] 911*2^1411978-1 is not prime. Res64: 0C2E86B190E4982A Time : 0.0 sec. user=mdettweiler [2015-10-13 15:43:03] 693*2^1411979-1 is not prime. Res64: B5EF9F16E70F7C14 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:00:29] 741*2^1411979-1 is not prime. Res64: 79376C6C215B5AE1 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:00:29] 775*2^1411979-1 is not prime. Res64: B343461895EE7E92 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:00:30] 753*2^1411979-1 is not prime. Res64: 0FDD4FF4A55B2294 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:00:30] 909*2^1411979-1 is not prime. Res64: 01C38F8C5D62FF21 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:00:31] 789*2^1411979-1 is not prime. Res64: 6EA613BC09ED58E1 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:00:31] 973*2^1411979-1 is not prime. Res64: B7C260D3A48F04E3 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:01:03] 633*2^1411980-1 is not prime. Res64: BFAB596698AE5237 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:01:04] 635*2^1411980-1 is not prime. Res64: 2067DCBE38AD5356 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:18:23] 669*2^1411980-1 is not prime. Res64: DC64728E5BFABDD5 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:18:24] 693*2^1411980-1 is not prime. Res64: BE4CB1F6033B26F3 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:18:25] 737*2^1411980-1 is not prime. Res64: 0A156B8D267A4D77 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:18:25] 779*2^1411980-1 is not prime. Res64: 0263FC5278AF8467 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:18:28] 845*2^1411980-1 is not prime. Res64: BAD18F6EA8E2F966 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:18:29] 887*2^1411980-1 is not prime. Res64: B6A4BB7DF52AEBAF Time : 0.0 sec. user=mdettweiler [2015-10-13 16:19:00] 909*2^1411980-1 is not prime. Res64: 9C8E32CEF11F9D49 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:19:01] 929*2^1411980-1 is not prime. Res64: 5DF0B8E67DD2C668 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:36:17] 945*2^1411980-1 is not prime. Res64: DBD863EB5B3AA98E Time : 0.0 sec. user=mdettweiler [2015-10-13 16:36:17] 639*2^1411981-1 is not prime. Res64: 99C24A3C51ED671E Time : 0.0 sec. user=mdettweiler [2015-10-13 16:36:20] 937*2^1411981-1 is not prime. Res64: A0219106A3D62E65 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:36:20] 939*2^1411981-1 is not prime. Res64: FA9CB0890C7840E8 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:36:23] 623*2^1411982-1 is not prime. Res64: DA8875CFEF1CFE21 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:36:24] 743*2^1411982-1 is not prime. Res64: F5AE577CF08631FC Time : 0.0 sec. user=mdettweiler [2015-10-13 16:36:54] 767*2^1411982-1 is not prime. Res64: 08ACAF966A02A776 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:36:54] 867*2^1411982-1 is not prime. Res64: 93940C7B1147AA01 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:54:23] 911*2^1411982-1 is not prime. Res64: 21CE64ABB9B8900D Time : 0.0 sec. user=mdettweiler [2015-10-13 16:54:24] 703*2^1411983-1 is not prime. Res64: 515A97A4606D7BFC Time : 0.0 sec. user=mdettweiler [2015-10-13 16:54:25] 739*2^1411983-1 is not prime. Res64: 65240DAF2FE130CD Time : 0.0 sec. user=mdettweiler [2015-10-13 16:54:26] 795*2^1411983-1 is not prime. Res64: E4190AB3B59AAD47 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:54:31] 879*2^1411983-1 is not prime. Res64: 007CDCD84F2828CF Time : 0.0 sec. user=mdettweiler [2015-10-13 16:54:31] 969*2^1411983-1 is not prime. Res64: DB348CF5A4348F73 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:55:00] 605*2^1411984-1 is not prime. Res64: D0A662641B874115 Time : 0.0 sec. user=mdettweiler [2015-10-13 16:55:00] 609*2^1411984-1 is not prime. Res64: 3E548445263CFC84 Time : 0.0 sec. user=mdettweiler [2015-10-13 17:12:31] 819*2^1411984-1 is not prime. Res64: 9AA77F3E17499B55 Time : 0.0 sec. user=mdettweiler [2015-10-13 17:12:31] 915*2^1411984-1 is not prime. Res64: 226E2EE3FF0E9B35 Time : 0.0 sec. user=mdettweiler [2015-10-13 17:12:32] 607*2^1411985-1 is not prime. Res64: 23C76AB90D4F6EAE Time : 0.0 sec. user=mdettweiler [2015-10-13 17:12:32] 729*2^1411985-1 is not prime. Res64: D3389E15A1ED9CB4 Time : 0.0 sec. user=mdettweiler [2015-10-13 17:12:36] 771*2^1411985-1 is not prime. Res64: 02F736F5563603F6 Time : 0.0 sec. user=mdettweiler [2015-10-13 17:12:36] 819*2^1411985-1 is not prime. Res64: 7FACE8CB4D1AAC98 Time : 0.0 sec. user=mdettweiler [2015-10-13 17:13:08] 861*2^1411985-1 is not prime. Res64: BBCE3E1C742F6ABD Time : 0.0 sec. user=mdettweiler [2015-10-13 17:13:08] 865*2^1411985-1 is not prime. Res64: 431DB2E28362EF8E Time : 0.0 sec. user=mdettweiler [2015-10-13 17:30:26] 647*2^1411986-1 is not prime. Res64: 5DC6E2A621FA8EA5 Time : 0.0 sec. user=mdettweiler [2015-10-13 17:30:26] 905*2^1411986-1 is not prime. Res64: 39D2D8ABEA3A7909 Time : 0.0 sec. user=mdettweiler [2015-10-13 17:30:34] 633*2^1411987-1 is not prime. Res64: 2A9A6DA154D082AB Time : 0.0 sec. user=mdettweiler [2015-10-13 17:30:34] 759*2^1411987-1 is not prime. Res64: DED072BAF359C892 Time : 0.0 sec. user=mdettweiler [2015-10-13 17:30:42] 829*2^1411987-1 is not prime. Res64: D9DB73C0E80A7C9A Time : 0.0 sec. user=mdettweiler [2015-10-13 17:30:43] 813*2^1411988-1 is not prime. Res64: E63B82F4C60B5D32 Time : 0.0 sec. user=mdettweiler [2015-10-13 17:31:06] 899*2^1411988-1 is not prime. Res64: 307C136EA2889514 Time : 0.0 sec. user=mdettweiler [2015-10-13 17:31:06] 987*2^1411988-1 is not prime. Res64: 294C4EEBD9116A69 Time : 0.0 sec. user=mdettweiler [2015-10-13 17:48:28] 759*2^1411989-1 is not prime. Res64: F5B960167C276D7B Time : 0.0 sec. user=mdettweiler [2015-10-13 17:48:28] 781*2^1411989-1 is not prime. Res64: CB0E7FCB46FB0AB3 Time : 0.0 sec. user=mdettweiler [2015-10-13 17:48:37] 847*2^1411989-1 is not prime. Res64: 3F3A82964BD2FA7F Time : 0.0 sec. user=mdettweiler [2015-10-13 17:48:37] 949*2^1411989-1 is not prime. Res64: E255BBE0A64045F6 Time : 0.0 sec. user=mdettweiler [2015-10-13 17:48:50] 969*2^1411989-1 is not prime. Res64: AD07279A4A012C49 Time : 0.0 sec. user=mdettweiler [2015-10-13 17:48:50] 603*2^1411990-1 is not prime. Res64: 574E2458FE580DED Time : 0.0 sec. user=mdettweiler [2015-10-13 17:49:08] 657*2^1411990-1 is not prime. Res64: CD466096DD0B9D01 Time : 0.0 sec. user=mdettweiler [2015-10-13 17:49:08] 663*2^1411990-1 is not prime. Res64: 01FFDDA853175A51 Time : 0.0 sec. user=mdettweiler [2015-10-13 18:06:31] 791*2^1411990-1 is not prime. Res64: ADC50C89B73E955D Time : 0.0 sec. user=mdettweiler [2015-10-13 18:06:32] 843*2^1411990-1 is not prime. Res64: 92187E067D2DFF45 Time : 0.0 sec. user=mdettweiler [2015-10-13 18:06:40] 863*2^1411990-1 is not prime. Res64: 4CB1241F43B16F7A Time : 0.0 sec. user=mdettweiler [2015-10-13 18:06:40] 609*2^1411991-1 is not prime. Res64: E967966E2B75BE34 Time : 0.0 sec. user=mdettweiler [2015-10-13 18:06:51] 619*2^1411991-1 is not prime. Res64: 62C1708A7BF22191 Time : 0.0 sec. user=mdettweiler [2015-10-13 18:06:51] 711*2^1411991-1 is not prime. Res64: 781E5F99217FBC80 Time : 0.0 sec. user=mdettweiler [2015-10-13 18:07:13] 841*2^1411991-1 is not prime. Res64: D9D17471A4953FAF Time : 0.0 sec. user=mdettweiler [2015-10-13 18:07:14] 909*2^1411991-1 is not prime. Res64: 9B966E279BCB0148 Time : 0.0 sec. user=mdettweiler [2015-10-13 18:24:29] 921*2^1411991-1 is not prime. Res64: 27C2EBED7719231B Time : 0.0 sec. user=mdettweiler [2015-10-13 18:24:29] 979*2^1411991-1 is not prime. Res64: 0F5A048D3B13D430 Time : 0.0 sec. user=mdettweiler [2015-10-13 18:24:39] 629*2^1411992-1 is not prime. Res64: 43295F136F078586 Time : 0.0 sec. user=mdettweiler [2015-10-13 18:24:39] 713*2^1411992-1 is not prime. Res64: 3DBA517901AB76FA Time : 0.0 sec. user=mdettweiler [2015-10-13 18:24:45] 809*2^1411992-1 is not prime. Res64: F59B019DC4E3258B Time : 0.0 sec. user=mdettweiler [2015-10-13 18:24:45] 843*2^1411992-1 is not prime. Res64: 4F6E4067BC3928CC Time : 0.0 sec. user=mdettweiler [2015-10-13 18:25:08] 917*2^1411992-1 is not prime. Res64: 3A0F62BBC8AFEC16 Time : 0.0 sec. user=mdettweiler [2015-10-13 18:25:08] 769*2^1411993-1 is not prime. Res64: 43954D9D5769F269 Time : 0.0 sec. user=mdettweiler [2015-10-13 18:42:46] 811*2^1411993-1 is not prime. Res64: 1F98802B88EA2916 Time : 0.0 sec. user=mdettweiler [2015-10-13 18:42:47] 819*2^1411993-1 is not prime. Res64: 5EEC74AC61264599 Time : 0.0 sec. user=mdettweiler [2015-10-13 18:42:57] 861*2^1411993-1 is not prime. Res64: 084C6BD64DD61A01 Time : 0.0 sec. user=mdettweiler [2015-10-13 18:42:58] 889*2^1411993-1 is not prime. Res64: D74067F9CD9890C2 Time : 0.0 sec. user=mdettweiler [2015-10-13 18:43:12] 987*2^1411993-1 is not prime. Res64: ECF260BB945108CC Time : 0.0 sec. user=mdettweiler [2015-10-13 18:43:12] 705*2^1411994-1 is not prime. Res64: 44FD686CA4A68F89 Time : 0.0 sec. user=mdettweiler [2015-10-13 18:43:36] 707*2^1411994-1 is not prime. Res64: B09D87ED95A5C73D Time : 0.0 sec. user=mdettweiler [2015-10-13 18:43:36] 873*2^1411994-1 is not prime. Res64: AE23E29519226E64 Time : 0.0 sec. user=mdettweiler [2015-10-13 19:01:21] 951*2^1411994-1 is not prime. Res64: 463B72531BD0FCE7 Time : 0.0 sec. user=mdettweiler [2015-10-13 19:01:22] 625*2^1411995-1 is not prime. Res64: 9DA3440D15165D8E Time : 0.0 sec. user=mdettweiler [2015-10-13 19:01:44] 663*2^1411995-1 is not prime. Res64: 45C486CB0B3ED1D6 Time : 0.0 sec. user=mdettweiler [2015-10-13 19:01:45] 679*2^1411995-1 is not prime. Res64: D77C0FFD11B1A65F Time : 0.0 sec. user=mdettweiler [2015-10-13 19:01:50] 711*2^1411995-1 is not prime. Res64: D8E5A6B1A995F0A9 Time : 0.0 sec. user=mdettweiler [2015-10-13 19:01:51] 801*2^1411995-1 is not prime. Res64: 5B9D7A0BE29DE8D4 Time : 0.0 sec. user=mdettweiler [2015-10-13 19:02:17] 805*2^1411995-1 is not prime. Res64: 31F487D68024B6BC Time : 0.0 sec. user=mdettweiler [2015-10-13 19:02:19] 861*2^1411995-1 is not prime. Res64: C49335B00BF6FAF3 Time : 0.0 sec. user=mdettweiler [2015-10-13 19:19:30] 919*2^1411995-1 is not prime. Res64: A07507F686F8AECD Time : 0.0 sec. user=mdettweiler [2015-10-13 19:19:30] 623*2^1411996-1 is not prime. Res64: DD89F714DB6FE2D9 Time : 0.0 sec. user=mdettweiler [2015-10-13 19:20:15] 825*2^1411996-1 is not prime. Res64: 7FFEC354D44930EC Time : 0.0 sec. user=mdettweiler [2015-10-13 19:20:15] 833*2^1411996-1 is not prime. Res64: 3F0F886C185D7ABC Time : 0.0 sec. user=mdettweiler [2015-10-13 19:20:22] 845*2^1411996-1 is not prime. Res64: 27BA5F49E81A0AED Time : 0.0 sec. user=mdettweiler [2015-10-13 19:20:23] 903*2^1411996-1 is not prime. Res64: 3942B14091F04E22 Time : 0.0 sec. user=mdettweiler [2015-10-13 19:20:30] 957*2^1411996-1 is not prime. Res64: 3E782E8EDB1E1DCF Time : 0.0 sec. user=mdettweiler [2015-10-13 19:20:30] 747*2^1411997-1 is not prime. Res64: 3AED66ABE3522F90 Time : 0.0 sec. user=mdettweiler [2015-10-13 19:37:29] 805*2^1411997-1 is not prime. Res64: F16A96681D847729 Time : 0.0 sec. user=mdettweiler [2015-10-13 19:37:29] 825*2^1411997-1 is not prime. Res64: 3A288D0D2C4D4114 Time : 0.0 sec. user=mdettweiler [2015-10-13 19:38:18] 837*2^1411997-1 is not prime. Res64: 1CE06B109FECBB7F Time : 0.0 sec. user=mdettweiler [2015-10-13 19:38:18] 879*2^1411997-1 is not prime. Res64: B7C35C251BB64A85 Time : 0.0 sec. user=mdettweiler [2015-10-13 19:38:21] 939*2^1411997-1 is not prime. Res64: 7B513E27C7AB4341 Time : 0.0 sec. user=mdettweiler [2015-10-13 19:38:21] 821*2^1411998-1 is not prime. Res64: 15AC9D46735BAAAB Time : 0.0 sec. user=mdettweiler [2015-10-13 19:38:37] 843*2^1411998-1 is not prime. Res64: 0927D215EC5C43A1 Time : 0.0 sec. user=mdettweiler [2015-10-13 19:38:38] 945*2^1411998-1 is not prime. Res64: 38AEC257E869D90B Time : 0.0 sec. user=mdettweiler [2015-10-13 19:55:24] 645*2^1411999-1 is not prime. Res64: 61ED70B388CF8422 Time : 0.0 sec. user=mdettweiler [2015-10-13 19:55:24] 723*2^1411999-1 is not prime. Res64: 6439478B9B93B8B6 Time : 0.0 sec. user=mdettweiler [2015-10-13 19:56:12] 853*2^1411999-1 is not prime. Res64: 5437C34E22485D48 Time : 0.0 sec. user=mdettweiler [2015-10-13 19:56:13] 861*2^1411999-1 is not prime. Res64: 624223B099D2FB2A Time : 0.0 sec. user=mdettweiler [2015-10-13 19:56:18] 759*2^1411999-1 is not prime. Res64: F812C9911709F131 Time : 0.0 sec. user=mdettweiler [2015-10-13 19:56:19] 841*2^1411999-1 is not prime. Res64: E3334B366387C478 Time : 0.0 sec. user=mdettweiler [2015-10-13 19:56:38] 919*2^1411999-1 is not prime. Res64: C341B8EDB0C88272 Time : 0.0 sec. user=mdettweiler [2015-10-13 19:56:38] 951*2^1411999-1 is not prime. Res64: 4FE2E5EF376C0162 Time : 0.0 sec. user=mdettweiler [2015-10-13 20:13:23] 969*2^1411999-1 is not prime. Res64: 508BD26D0813D9D6 Time : 0.0 sec. user=mdettweiler [2015-10-13 20:13:23] 979*2^1411999-1 is not prime. Res64: 4D249927F3D5B78A Time : 0.0 sec. user=mdettweiler [2015-10-13 20:14:08] 609*2^1412000-1 is not prime. Res64: 59B6B3AE6BC49824 Time : 0.0 sec. user=mdettweiler [2015-10-13 20:14:09] 669*2^1412000-1 is not prime. Res64: A5EBC6AA96882170 Time : 0.0 sec. user=mdettweiler [2015-10-13 20:14:19] 759*2^1412000-1 is not prime. Res64: D814A07AF45CA177 Time : 0.0 sec. user=mdettweiler [2015-10-13 20:14:20] 795*2^1412000-1 is not prime. Res64: A06E9204C8AA8821 Time : 0.0 sec. user=mdettweiler [2015-10-13 20:14:31] 857*2^1412000-1 is not prime. Res64: 27982EB24E8F5A3D Time : 0.0 sec. user=mdettweiler [2015-10-13 20:14:32] 601*2^1412001-1 is not prime. Res64: B11BFFB1394BF80C Time : 0.0 sec. user=mdettweiler [2015-10-13 20:31:24] 637*2^1412001-1 is not prime. Res64: E56B1AAF52924256 Time : 0.0 sec. user=mdettweiler [2015-10-13 20:31:24] 639*2^1412001-1 is not prime. Res64: 106919844BA37303 Time : 0.0 sec. user=mdettweiler [2015-10-13 20:32:01] 847*2^1412001-1 is not prime. Res64: 3220368831D989B3 Time : 0.0 sec. user=mdettweiler [2015-10-13 20:32:02] 945*2^1412001-1 is not prime. Res64: 2D06C082DE65DD47 Time : 0.0 sec. user=mdettweiler [2015-10-13 20:32:20] 623*2^1412002-1 is not prime. Res64: 708DB8A3A55FC7D3 Time : 0.0 sec. user=mdettweiler [2015-10-13 20:32:20] 701*2^1412002-1 is not prime. Res64: F3D43B326C851C6D Time : 0.0 sec. user=mdettweiler [2015-10-13 20:32:24] 737*2^1412002-1 is not prime. Res64: F52D64502BAA2B80 Time : 0.0 sec. user=mdettweiler [2015-10-13 20:32:24] 785*2^1412002-1 is not prime. Res64: 0F14109FE1A5F1E0 Time : 0.0 sec. user=mdettweiler [2015-10-13 20:49:18] 843*2^1412002-1 is not prime. Res64: 39D116B64EABC924 Time : 0.0 sec. user=mdettweiler [2015-10-13 20:49:19] 873*2^1412002-1 is not prime. Res64: B65DD8F9A5A9536C Time : 0.0 sec. user=mdettweiler [2015-10-13 20:50:01] 987*2^1412002-1 is not prime. Res64: 11D6900C52DF7355 Time : 0.0 sec. user=mdettweiler [2015-10-13 20:50:01] 693*2^1412003-1 is not prime. Res64: 3578BCDECA86B387 Time : 0.0 sec. user=mdettweiler [2015-10-13 20:50:20] 783*2^1412003-1 is not prime. Res64: 5A2CFC5FE403984F Time : 0.0 sec. user=mdettweiler [2015-10-13 20:50:20] 801*2^1412003-1 is not prime. Res64: 8360337D03E552D6 Time : 0.0 sec. user=mdettweiler [2015-10-13 20:50:27] 913*2^1412003-1 is not prime. Res64: BD4E474534B150EC Time : 0.0 sec. user=mdettweiler [2015-10-13 20:50:27] 915*2^1412003-1 is not prime. Res64: C9C34A0721A7212F Time : 0.0 sec. user=mdettweiler [2015-10-13 21:07:10] 943*2^1412003-1 is not prime. Res64: 573A2B98F71E8ADE Time : 0.0 sec. user=mdettweiler [2015-10-13 21:07:10] 955*2^1412003-1 is not prime. Res64: 18E8056D03F17A01 Time : 0.0 sec. user=mdettweiler [2015-10-13 21:07:57] 963*2^1412003-1 is not prime. Res64: D091751F089BE4C7 Time : 0.0 sec. user=mdettweiler [2015-10-13 21:07:57] 969*2^1412003-1 is not prime. Res64: CAC9A8660D7621F2 Time : 0.0 sec. user=mdettweiler [2015-10-13 21:08:16] 627*2^1412004-1 is not prime. Res64: CCFFD6C630469490 Time : 0.0 sec. user=mdettweiler [2015-10-13 21:08:17] 657*2^1412004-1 is not prime. Res64: 12B5F4F9F6835448 Time : 0.0 sec. user=mdettweiler [2015-10-13 21:08:29] 765*2^1412004-1 is not prime. Res64: DD57C7942E61AB50 Time : 0.0 sec. user=mdettweiler [2015-10-13 21:08:30] 863*2^1412004-1 is not prime. Res64: 77D48C8B080D422B Time : 0.0 sec. user=mdettweiler [2015-10-13 21:25:00] 993*2^1412004-1 is not prime. Res64: FC74DFAA16D18280 Time : 0.0 sec. user=mdettweiler [2015-10-13 21:25:00] 645*2^1412005-1 is not prime. Res64: 7A369AF314F4A8CF Time : 0.0 sec. user=mdettweiler [2015-10-13 21:25:53] 667*2^1412005-1 is not prime. Res64: 68F74F421E58DA75 Time : 0.0 sec. user=mdettweiler [2015-10-13 21:25:54] 741*2^1412005-1 is not prime. Res64: E26D14CA178C7E89 Time : 0.0 sec. user=mdettweiler [2015-10-13 21:26:18] 751*2^1412005-1 is not prime. Res64: 15E1D1FB2A86C6E8 Time : 0.0 sec. user=mdettweiler [2015-10-13 21:26:19] 801*2^1412005-1 is not prime. Res64: 7632C44C2299F3A3 Time : 0.0 sec. user=mdettweiler [2015-10-13 21:26:29] 741*2^1412006-1 is not prime. Res64: 598234EC4230C003 Time : 0.0 sec. user=mdettweiler [2015-10-13 21:26:30] 813*2^1412006-1 is not prime. Res64: A2F7CA83D35E9C36 Time : 0.0 sec. user=mdettweiler [2015-10-13 21:43:08] 815*2^1412006-1 is not prime. Res64: 225B877AF31F0B6C Time : 0.0 sec. user=mdettweiler [2015-10-13 21:43:08] 875*2^1412006-1 is not prime. Res64: 3035E88CA4BD0638 Time : 0.0 sec. user=mdettweiler [2015-10-13 21:43:54] 945*2^1412006-1 is not prime. Res64: E2C48C8B11B7696B Time : 0.0 sec. user=mdettweiler [2015-10-13 21:43:55] 625*2^1412007-1 is not prime. Res64: E1C7FEE09356E151 Time : 0.0 sec. user=mdettweiler [2015-10-13 21:44:23] 705*2^1412007-1 is not prime. Res64: 8FEBC79220C44EBE Time : 0.0 sec. user=mdettweiler [2015-10-13 21:44:23] 871*2^1412007-1 is not prime. Res64: 81C2B19242EB9F89 Time : 0.0 sec. user=mdettweiler [2015-10-13 21:44:38] 891*2^1412007-1 is not prime. Res64: E7E70E7D426D12AB Time : 0.0 sec. user=mdettweiler [2015-10-13 21:44:38] 617*2^1412008-1 is not prime. Res64: 1FAA608380D89FEB Time : 0.0 sec. user=mdettweiler [2015-10-13 22:01:13] 623*2^1412008-1 is not prime. Res64: 46715F89BB5A592A Time : 0.0 sec. user=mdettweiler [2015-10-13 22:01:14] 797*2^1412008-1 is not prime. Res64: D8E23D08124E6720 Time : 0.0 sec. user=mdettweiler [2015-10-13 22:01:53] 803*2^1412008-1 is not prime. Res64: A02233028B397A75 Time : 0.0 sec. user=mdettweiler [2015-10-13 22:01:53] 827*2^1412008-1 is not prime. Res64: 8E6C917B75F58B0F Time : 0.0 sec. user=mdettweiler [2015-10-13 22:02:16] 845*2^1412008-1 is not prime. Res64: 007CFC29661683D8 Time : 0.0 sec. user=mdettweiler [2015-10-13 22:02:17] 927*2^1412008-1 is not prime. Res64: C875A01A03B02B2E Time : 0.0 sec. user=mdettweiler [2015-10-13 22:02:43] 601*2^1412009-1 is not prime. Res64: 03359AF4ABF830BA Time : 0.0 sec. user=mdettweiler [2015-10-13 22:02:44] 735*2^1412009-1 is not prime. Res64: ED9F8BAA29DC5851 Time : 0.0 sec. user=mdettweiler [2015-10-13 22:19:29] 939*2^1412009-1 is not prime. Res64: EFD8A8635F5CF1C8 Time : 0.0 sec. user=mdettweiler [2015-10-13 22:19:29] 969*2^1412009-1 is not prime. Res64: E9AF22DAB3015285 Time : 0.0 sec. user=mdettweiler [2015-10-13 22:19:46] 985*2^1412009-1 is not prime. Res64: A5C53F634A6DD124 Time : 0.0 sec. user=mdettweiler [2015-10-13 22:19:47] 627*2^1412010-1 is not prime. Res64: 92CF129C6C6C4CBE Time : 0.0 sec. user=mdettweiler [2015-10-13 22:20:15] 633*2^1412010-1 is not prime. Res64: 5F9FB1DDAE9A8849 Time : 0.0 sec. user=mdettweiler [2015-10-13 22:20:15] 635*2^1412010-1 is not prime. Res64: 0746541E61384230 Time : 0.0 sec. user=mdettweiler [2015-10-13 22:20:39] 707*2^1412010-1 is not prime. Res64: B96F7E3228D9AD10 Time : 0.0 sec. user=mdettweiler [2015-10-13 22:20:40] 717*2^1412010-1 is not prime. Res64: 337DDFD0DA322CE1 Time : 0.0 sec. user=mdettweiler [2015-10-13 22:37:22] 971*2^1412010-1 is not prime. Res64: 041C817A48FC84CC Time : 0.0 sec. user=mdettweiler [2015-10-13 22:37:23] 703*2^1412011-1 is not prime. Res64: 4341248563785AD3 Time : 0.0 sec. user=mdettweiler [2015-10-13 22:37:37] 715*2^1412011-1 is not prime. Res64: 12AA1EF707772911 Time : 0.0 sec. user=mdettweiler [2015-10-13 22:37:37] 771*2^1412011-1 is not prime. Res64: F3A7CDBAD09A2DBE Time : 0.0 sec. user=mdettweiler [2015-10-13 22:38:07] 805*2^1412011-1 is not prime. Res64: 8B22F7DD14639FEC Time : 0.0 sec. user=mdettweiler [2015-10-13 22:38:07] 969*2^1412011-1 is not prime. Res64: EBD3AC57D2B72CF4 Time : 0.0 sec. user=mdettweiler [2015-10-13 22:38:33] 935*2^1412012-1 is not prime. Res64: D77CE99B30CF3CA8 Time : 0.0 sec. user=mdettweiler [2015-10-13 22:38:34] 657*2^1412013-1 is not prime. Res64: C6D205C27392DEFB Time : 0.0 sec. user=mdettweiler [2015-10-13 22:55:17] 765*2^1412013-1 is not prime. Res64: 24FA7C8A973BF964 Time : 0.0 sec. user=mdettweiler [2015-10-13 22:55:18] 787*2^1412013-1 is not prime. Res64: E1FF741DEBDC2450 Time : 0.0 sec. user=mdettweiler [2015-10-13 22:55:29] 795*2^1412013-1 is not prime. Res64: 60C696C2DB7C9EC2 Time : 0.0 sec. user=mdettweiler [2015-10-13 22:55:29] 847*2^1412013-1 is not prime. Res64: D0825A40AEE33380 Time : 0.0 sec. user=mdettweiler [2015-10-13 22:55:57] 849*2^1412013-1 is not prime. Res64: 674421296A588900 Time : 0.0 sec. user=mdettweiler [2015-10-13 22:55:57] 951*2^1412013-1 is not prime. Res64: F054F9D01D5EB02D Time : 0.0 sec. user=mdettweiler [2015-10-13 22:56:21] 979*2^1412013-1 is not prime. Res64: C852887E62C2DBE9 Time : 0.0 sec. user=mdettweiler [2015-10-13 22:56:22] 987*2^1412013-1 is not prime. Res64: C7063F51A425C83C Time : 0.0 sec. user=mdettweiler [2015-10-13 23:13:14] 657*2^1412014-1 is not prime. Res64: BA8D4E94632D9117 Time : 0.0 sec. user=mdettweiler [2015-10-13 23:13:14] 695*2^1412014-1 is not prime. Res64: F2B6D4C70C835CCE Time : 0.0 sec. user=mdettweiler [2015-10-13 23:13:28] 705*2^1412014-1 is not prime. Res64: 02B7F0300B2D1DC3 Time : 0.0 sec. user=mdettweiler [2015-10-13 23:13:28] 773*2^1412014-1 is not prime. Res64: BC7976ACD93F9C85 Time : 0.0 sec. user=mdettweiler [2015-10-13 23:13:55] 885*2^1412014-1 is not prime. Res64: 11D6324CB4771D4E Time : 0.0 sec. user=mdettweiler [2015-10-13 23:13:56] 799*2^1412015-1 is not prime. Res64: 2F4C08F73DCDB475 Time : 0.0 sec. user=mdettweiler [2015-10-13 23:14:20] 885*2^1412015-1 is not prime. Res64: A4B64F4B9901EF1B Time : 0.0 sec. user=mdettweiler [2015-10-13 23:14:20] 627*2^1412016-1 is not prime. Res64: 7871A1AEC972DA62 Time : 0.0 sec. user=mdettweiler [2015-10-13 23:31:14] 693*2^1412016-1 is not prime. Res64: EE1F31A2394F88B6 Time : 0.0 sec. user=mdettweiler [2015-10-13 23:31:15] 873*2^1412016-1 is not prime. Res64: C56C66981F17B4AA Time : 0.0 sec. user=mdettweiler [2015-10-13 23:31:35] 875*2^1412016-1 is not prime. Res64: CC74E201748AFA61 Time : 0.0 sec. user=mdettweiler [2015-10-13 23:31:36] 927*2^1412016-1 is not prime. Res64: 026A125100DCF39C Time : 0.0 sec. user=mdettweiler [2015-10-13 23:31:59] 607*2^1412017-1 is not prime. Res64: CA1AEA018C728911 Time : 0.0 sec. user=mdettweiler [2015-10-13 23:31:59] 819*2^1412017-1 is not prime. Res64: 88FC201E9EBAAA88 Time : 0.0 sec. user=mdettweiler [2015-10-13 23:32:20] 847*2^1412017-1 is not prime. Res64: 43D853359F3B9A03 Time : 0.0 sec. user=mdettweiler [2015-10-13 23:32:20] 897*2^1412017-1 is not prime. Res64: 28A67106FE0DA7B2 Time : 0.0 sec. user=mdettweiler [2015-10-13 23:49:10] 731*2^1412018-1 is not prime. Res64: 6A3F0D8E4A2AE034 Time : 0.0 sec. user=mdettweiler [2015-10-13 23:49:11] 743*2^1412018-1 is not prime. Res64: 35249004794294BE Time : 0.0 sec. user=mdettweiler [2015-10-13 23:49:46] 755*2^1412018-1 is not prime. Res64: A512FE4287D062D3 Time : 0.0 sec. user=mdettweiler [2015-10-13 23:49:46] 797*2^1412018-1 is not prime. Res64: B6ADCB59DA336FCE Time : 0.0 sec. user=mdettweiler [2015-10-13 23:49:55] 801*2^1412018-1 is not prime. Res64: 45A57F8D88288FB8 Time : 0.0 sec. user=mdettweiler [2015-10-13 23:49:56] 827*2^1412018-1 is not prime. Res64: 462B00049D26D6D2 Time : 0.0 sec. user=mdettweiler [2015-10-13 23:50:25] 885*2^1412018-1 is not prime. Res64: 0AF256798B38570F Time : 0.0 sec. user=mdettweiler [2015-10-13 23:50:25] 893*2^1412018-1 is not prime. Res64: 1C1CA198F35DAF32 Time : 0.0 sec.