user=mdettweiler [2015-10-08 00:11:15] 665*2^1411372-1 is not prime. Res64: A91632EC3D55092A Time : 0.0 sec. user=mdettweiler [2015-10-08 00:11:15] 677*2^1411372-1 is not prime. Res64: 6AA83D2C65EB7BC1 Time : 0.0 sec. user=mdettweiler [2015-10-08 00:11:21] 717*2^1411372-1 is not prime. Res64: 9FC72F393902E4B4 Time : 0.0 sec. user=mdettweiler [2015-10-08 00:11:21] 855*2^1411372-1 is not prime. Res64: 24360364F88179FE Time : 0.0 sec. user=mdettweiler [2015-10-08 00:13:26] 857*2^1411372-1 is not prime. Res64: B18D8D660E12D654 Time : 0.0 sec. user=mdettweiler [2015-10-08 00:13:26] 939*2^1411372-1 is not prime. Res64: 65EFDD5BF6EF7E2A Time : 0.0 sec. user=mdettweiler [2015-10-08 00:14:49] 987*2^1411372-1 is not prime. Res64: E35F8F0922663519 Time : 0.0 sec. user=mdettweiler [2015-10-08 00:14:49] 615*2^1411373-1 is not prime. Res64: 18502C384BDA8042 Time : 0.0 sec. user=mdettweiler [2015-10-08 00:29:23] 631*2^1411373-1 is not prime. Res64: 7ED7E7A185FE4B39 Time : 0.0 sec. user=mdettweiler [2015-10-08 00:29:24] 669*2^1411373-1 is not prime. Res64: 1EB6BCDFD9D939D2 Time : 0.0 sec. user=mdettweiler [2015-10-08 00:29:27] 685*2^1411373-1 is not prime. Res64: 257F069013283C07 Time : 0.0 sec. user=mdettweiler [2015-10-08 00:29:28] 769*2^1411373-1 is not prime. Res64: 4FC17BE4F68F7101 Time : 0.0 sec. user=mdettweiler [2015-10-08 00:31:25] 787*2^1411373-1 is not prime. Res64: B1B22EC9B06DE55F Time : 0.0 sec. user=mdettweiler [2015-10-08 00:31:25] 859*2^1411373-1 is not prime. Res64: 29C2A14FB92069B1 Time : 0.0 sec. user=mdettweiler [2015-10-08 00:32:46] 987*2^1411373-1 is not prime. Res64: 570DAF657289BD90 Time : 0.0 sec. user=mdettweiler [2015-10-08 00:32:46] 657*2^1411374-1 is not prime. Res64: 3FD1DD4FA4096DF5 Time : 0.0 sec. user=mdettweiler [2015-10-08 00:47:18] 609*2^1411375-1 is not prime. Res64: 390572014F6D4FC7 Time : 0.0 sec. user=mdettweiler [2015-10-08 00:47:18] 685*2^1411375-1 is not prime. Res64: 0FBA179DA08ED0CD Time : 0.0 sec. user=mdettweiler [2015-10-08 00:47:20] 851*2^1411374-1 is not prime. Res64: 4AE9688F96037E2A Time : 0.0 sec. user=mdettweiler [2015-10-08 00:47:20] 983*2^1411374-1 is not prime. Res64: EAD347C0B4FCA8DF Time : 0.0 sec. user=mdettweiler [2015-10-08 00:49:15] 831*2^1411375-1 is not prime. Res64: 0BD578829423683E Time : 0.0 sec. user=mdettweiler [2015-10-08 00:49:16] 841*2^1411375-1 is not prime. Res64: 62694F53EC510BF0 Time : 0.0 sec. user=mdettweiler [2015-10-08 00:50:31] 891*2^1411375-1 is not prime. Res64: 4CEAEAAF4E1B933C Time : 0.0 sec. user=mdettweiler [2015-10-08 00:50:32] 895*2^1411375-1 is not prime. Res64: 49AC8F532F7D83BB Time : 0.0 sec. user=mdettweiler [2015-10-08 01:05:10] 961*2^1411375-1 is not prime. Res64: 8C5D68AAFAAD7027 Time : 0.0 sec. user=mdettweiler [2015-10-08 01:05:12] 773*2^1411376-1 is not prime. Res64: 0A34974B763F9106 Time : 0.0 sec. user=mdettweiler [2015-10-08 01:05:18] 913*2^1411375-1 is not prime. Res64: 72CE9730B53E9E58 Time : 0.0 sec. user=mdettweiler [2015-10-08 01:05:19] 915*2^1411375-1 is not prime. Res64: 69B83FEF0148DC8A Time : 0.0 sec. user=mdettweiler [2015-10-08 01:07:21] 855*2^1411376-1 is not prime. Res64: 9B5CA1CC893193D9 Time : 0.0 sec. user=mdettweiler [2015-10-08 01:07:21] 857*2^1411376-1 is not prime. Res64: A313E44D667DFADA Time : 0.0 sec. user=mdettweiler [2015-10-08 01:08:24] 897*2^1411376-1 is not prime. Res64: 46EE22107513229F Time : 0.0 sec. user=mdettweiler [2015-10-08 01:08:25] 957*2^1411376-1 is not prime. Res64: 866C64801BEBB0FC Time : 0.0 sec. user=mdettweiler [2015-10-08 01:23:28] 741*2^1411377-1 is not prime. Res64: F4633947D048E60D Time : 0.0 sec. user=mdettweiler [2015-10-08 01:23:28] 807*2^1411377-1 is not prime. Res64: 47E67E6E21A051F6 Time : 0.0 sec. user=mdettweiler [2015-10-08 01:23:46] 601*2^1411377-1 is not prime. Res64: B7F174F0D7BF90AB Time : 0.0 sec. user=mdettweiler [2015-10-08 01:23:46] 717*2^1411377-1 is not prime. Res64: DE0893A6E8B75BCB Time : 0.0 sec. user=mdettweiler [2015-10-08 01:25:19] 819*2^1411377-1 is not prime. Res64: 484C71A932EB6A7E Time : 0.0 sec. user=mdettweiler [2015-10-08 01:25:20] 835*2^1411377-1 is not prime. Res64: 003A4BDF3B30876E Time : 0.0 sec. user=mdettweiler [2015-10-08 01:26:25] 895*2^1411377-1 is not prime. Res64: 11B1E1DD1F763EE4 Time : 0.0 sec. user=mdettweiler [2015-10-08 01:26:26] 915*2^1411377-1 is not prime. Res64: 1CB29F817A8186EB Time : 0.0 sec. user=mdettweiler [2015-10-08 01:41:19] 975*2^1411377-1 is not prime. Res64: A5E54B58DC48DB59 Time : 0.0 sec. user=mdettweiler [2015-10-08 01:41:20] 681*2^1411378-1 is not prime. Res64: B57A82752615BB46 Time : 0.0 sec. user=mdettweiler [2015-10-08 01:41:40] 843*2^1411378-1 is not prime. Res64: 40CC0D220AE318FD Time : 0.0 sec. user=mdettweiler [2015-10-08 01:41:40] 915*2^1411378-1 is not prime. Res64: A61355415DAE851E Time : 0.0 sec. user=mdettweiler [2015-10-08 01:43:10] 945*2^1411378-1 is not prime. Res64: 4EDA280B8D493137 Time : 0.0 sec. user=mdettweiler [2015-10-08 01:43:10] 975*2^1411378-1 is not prime. Res64: 34BADF6543C62C12 Time : 0.0 sec. user=mdettweiler [2015-10-08 01:44:12] 987*2^1411378-1 is not prime. Res64: 73E9C4A17A0C7E77 Time : 0.0 sec. user=mdettweiler [2015-10-08 01:44:12] 995*2^1411378-1 is not prime. Res64: 9F6E65B3157C8122 Time : 0.0 sec. user=mdettweiler [2015-10-08 01:59:07] 603*2^1411379-1 is not prime. Res64: 30D67ABE8F6E0DCA Time : 0.0 sec. user=mdettweiler [2015-10-08 01:59:07] 619*2^1411379-1 is not prime. Res64: CF502B5FE59B26FD Time : 0.0 sec. user=mdettweiler [2015-10-08 01:59:37] 841*2^1411379-1 is not prime. Res64: 2AFBEC8AD659ABD9 Time : 0.0 sec. user=mdettweiler [2015-10-08 01:59:37] 943*2^1411379-1 is not prime. Res64: C05F5B7762334D2C Time : 0.0 sec. user=mdettweiler [2015-10-08 02:00:58] 985*2^1411379-1 is not prime. Res64: 1F302B9724F5E0D3 Time : 0.0 sec. user=mdettweiler [2015-10-08 02:00:59] 615*2^1411380-1 is not prime. Res64: 6A30342641836C1C Time : 0.0 sec. user=mdettweiler [2015-10-08 02:02:04] 633*2^1411380-1 is not prime. Res64: 6ABF508FEBB663F9 Time : 0.0 sec. user=mdettweiler [2015-10-08 02:02:05] 675*2^1411380-1 is not prime. Res64: FED6A78C2EF42C32 Time : 0.0 sec. user=mdettweiler [2015-10-08 02:18:16] 719*2^1411380-1 is not prime. Res64: 66DC87A7B08620D6 Time : 0.0 sec. user=mdettweiler [2015-10-08 02:18:16] 783*2^1411380-1 is not prime. Res64: BC7A0E5074373D7C Time : 0.0 sec. user=mdettweiler [2015-10-08 02:19:23] 795*2^1411380-1 is not prime. Res64: 9BE624755454F24D Time : 0.0 sec. user=mdettweiler [2015-10-08 02:19:23] 845*2^1411380-1 is not prime. Res64: 0D72E2BF80170E66 Time : 0.0 sec. user=mdettweiler [2015-10-08 02:19:45] 905*2^1411380-1 is not prime. Res64: 27514164A12F9061 Time : 0.0 sec. user=mdettweiler [2015-10-08 02:19:46] 935*2^1411380-1 is not prime. Res64: 1486A3EBC2B14096 Time : 0.0 sec. user=mdettweiler [2015-10-08 02:21:09] 957*2^1411380-1 is not prime. Res64: 0B6004A033F6C20E Time : 0.0 sec. user=mdettweiler [2015-10-08 02:21:09] 975*2^1411380-1 is not prime. Res64: FDDFF3D153D82B2B Time : 0.0 sec. user=mdettweiler [2015-10-08 02:36:12] 987*2^1411380-1 is not prime. Res64: 37B083E0FFD343F4 Time : 0.0 sec. user=mdettweiler [2015-10-08 02:36:13] 999*2^1411380-1 is not prime. Res64: CA228D21B7796625 Time : 0.0 sec. user=mdettweiler [2015-10-08 02:37:17] 747*2^1411381-1 is not prime. Res64: 51DDE32D70F8DFFF Time : 0.0 sec. user=mdettweiler [2015-10-08 02:37:18] 757*2^1411381-1 is not prime. Res64: 9BE36E106B96EDDF Time : 0.0 sec. user=mdettweiler [2015-10-08 02:37:43] 855*2^1411381-1 is not prime. Res64: 692CC12573DF9475 Time : 0.0 sec. user=mdettweiler [2015-10-08 02:37:43] 957*2^1411381-1 is not prime. Res64: 82941AA1787F0B28 Time : 0.0 sec. user=mdettweiler [2015-10-08 02:39:02] 987*2^1411381-1 is not prime. Res64: 26934F2C807BDBE5 Time : 0.0 sec. user=mdettweiler [2015-10-08 02:39:03] 665*2^1411382-1 is not prime. Res64: 0C8F01CF9E5B3980 Time : 0.0 sec. user=mdettweiler [2015-10-08 02:54:19] 713*2^1411382-1 is not prime. Res64: CF331AF640A07FB7 Time : 0.0 sec. user=mdettweiler [2015-10-08 02:54:20] 875*2^1411382-1 is not prime. Res64: E7C1CF1DEAD41405 Time : 0.0 sec. user=mdettweiler [2015-10-08 02:55:09] 893*2^1411382-1 is not prime. Res64: 3C610929B213B45C Time : 0.0 sec. user=mdettweiler [2015-10-08 02:55:09] 941*2^1411382-1 is not prime. Res64: D571E2656D3BFF8E Time : 0.0 sec. user=mdettweiler [2015-10-08 02:55:54] 625*2^1411383-1 is not prime. Res64: DF5D15A50810EA41 Time : 0.0 sec. user=mdettweiler [2015-10-08 02:55:55] 669*2^1411383-1 is not prime. Res64: 1BCB203FE56D157D Time : 0.0 sec. user=mdettweiler [2015-10-08 02:57:00] 735*2^1411383-1 is not prime. Res64: FC13F715CA632B8C Time : 0.0 sec. user=mdettweiler [2015-10-08 02:57:00] 765*2^1411383-1 is not prime. Res64: 7CBC2A3F7C328F0C Time : 0.0 sec. user=mdettweiler [2015-10-08 03:12:10] 823*2^1411383-1 is not prime. Res64: 60360D4CA6E0BC2F Time : 0.0 sec. user=mdettweiler [2015-10-08 03:12:11] 919*2^1411383-1 is not prime. Res64: E8E44D5ACA1A466C Time : 0.0 sec. user=mdettweiler [2015-10-08 03:12:52] 949*2^1411383-1 is not prime. Res64: 9949F1DDAF741FEB Time : 0.0 sec. user=mdettweiler [2015-10-08 03:12:53] 605*2^1411384-1 is not prime. Res64: 48743025E4BDFCE9 Time : 0.0 sec. user=mdettweiler [2015-10-08 03:13:54] 609*2^1411384-1 is not prime. Res64: 30E858F71871AB7C Time : 0.0 sec. user=mdettweiler [2015-10-08 03:13:54] 617*2^1411384-1 is not prime. Res64: 91960156B63D6DD8 Time : 0.0 sec. user=mdettweiler [2015-10-08 03:14:54] 623*2^1411384-1 is not prime. Res64: ACB3A212948C5B8B Time : 0.0 sec. user=mdettweiler [2015-10-08 03:14:54] 759*2^1411384-1 is not prime. Res64: A0F97CD2DCC27DB7 Time : 0.0 sec. user=mdettweiler [2015-10-08 03:30:05] 803*2^1411384-1 is not prime. Res64: 73B1EC4565107E77 Time : 0.0 sec. user=mdettweiler [2015-10-08 03:30:06] 907*2^1411385-1 is not prime. Res64: 461B2355CBD77A94 Time : 0.0 sec. user=mdettweiler [2015-10-08 03:30:40] 949*2^1411385-1 is not prime. Res64: 27FF9D08F1A68945 Time : 0.0 sec. user=mdettweiler [2015-10-08 03:30:43] 807*2^1411386-1 is not prime. Res64: 10397908B9DC9AC7 Time : 0.0 sec. user=mdettweiler [2015-10-08 03:31:48] 861*2^1411386-1 is not prime. Res64: 6A124173E3B3EC51 Time : 0.0 sec. user=mdettweiler [2015-10-08 03:31:49] 873*2^1411386-1 is not prime. Res64: 94BC42EE0C76AEA1 Time : 0.0 sec. user=mdettweiler [2015-10-08 03:32:46] 887*2^1411386-1 is not prime. Res64: D26702F6EA3941D0 Time : 0.0 sec. user=mdettweiler [2015-10-08 03:32:47] 891*2^1411386-1 is not prime. Res64: F8F460EB022E45F2 Time : 0.0 sec. user=mdettweiler [2015-10-08 03:48:29] 905*2^1411386-1 is not prime. Res64: E695AF9AEBF75DB0 Time : 0.0 sec. user=mdettweiler [2015-10-08 03:48:30] 975*2^1411386-1 is not prime. Res64: 875D8773C058B79E Time : 0.0 sec. user=mdettweiler [2015-10-08 03:48:47] 619*2^1411387-1 is not prime. Res64: 178E971A98AFE80B Time : 0.0 sec. user=mdettweiler [2015-10-08 03:48:48] 645*2^1411387-1 is not prime. Res64: 6EFAC024E262B48A Time : 0.0 sec. user=mdettweiler [2015-10-08 03:49:50] 663*2^1411387-1 is not prime. Res64: 6DA24D97D800EC5D Time : 0.0 sec. user=mdettweiler [2015-10-08 03:49:51] 691*2^1411387-1 is not prime. Res64: AA1F562B2FFC5BF0 Time : 0.0 sec. user=mdettweiler [2015-10-08 03:50:40] 703*2^1411387-1 is not prime. Res64: DDA79C2B9E5D08FD Time : 0.0 sec. user=mdettweiler [2015-10-08 03:50:40] 805*2^1411387-1 is not prime. Res64: 70B2DA101812312E Time : 0.0 sec. user=mdettweiler [2015-10-08 04:06:36] 843*2^1411387-1 is not prime. Res64: 7AA334B74734D1C3 Time : 0.0 sec. user=mdettweiler [2015-10-08 04:06:37] 849*2^1411387-1 is not prime. Res64: 6050BEA25E2E1180 Time : 0.0 sec. user=mdettweiler [2015-10-08 04:06:40] 885*2^1411387-1 is not prime. Res64: F9E073E8C69D6407 Time : 0.0 sec. user=mdettweiler [2015-10-08 04:06:41] 603*2^1411388-1 is not prime. Res64: FF8E9CFB577D6637 Time : 0.0 sec. user=mdettweiler [2015-10-08 04:07:56] 615*2^1411388-1 is not prime. Res64: 8215E54594666002 Time : 0.0 sec. user=mdettweiler [2015-10-08 04:07:57] 617*2^1411388-1 is not prime. Res64: 810FEFE60548F5A2 Time : 0.0 sec. user=mdettweiler [2015-10-08 04:08:35] 647*2^1411388-1 is not prime. Res64: 8B47C84ACF8736AF Time : 0.0 sec. user=mdettweiler [2015-10-08 04:08:36] 683*2^1411388-1 is not prime. Res64: 1C24E8302084722D Time : 0.0 sec. user=mdettweiler [2015-10-08 04:24:39] 827*2^1411388-1 is not prime. Res64: CB6151F021FE1EC2 Time : 0.0 sec. user=mdettweiler [2015-10-08 04:24:40] 879*2^1411388-1 is not prime. Res64: 3C965446EA965857 Time : 0.0 sec. user=mdettweiler [2015-10-08 04:24:51] 767*2^1411388-1 is not prime. Res64: 857D460A688F3073 Time : 0.0 sec. user=mdettweiler [2015-10-08 04:24:51] 825*2^1411388-1 is not prime. Res64: 8E6803E4D4F2950E Time : 0.0 sec. user=mdettweiler [2015-10-08 04:26:06] 897*2^1411388-1 is not prime. Res64: CECC9095553CAD25 Time : 0.0 sec. user=mdettweiler [2015-10-08 04:26:07] 959*2^1411388-1 is not prime. Res64: 62DBBA837B80548A Time : 0.0 sec. user=mdettweiler [2015-10-08 04:26:25] 781*2^1411389-1 is not prime. Res64: 98D0389C8A2943E9 Time : 0.0 sec. user=mdettweiler [2015-10-08 04:26:26] 861*2^1411389-1 is not prime. Res64: B67B1CCAA2ECE0F3 Time : 0.0 sec. user=mdettweiler [2015-10-08 04:42:25] 889*2^1411389-1 is not prime. Res64: 70C1123C1FA25E72 Time : 0.0 sec. user=mdettweiler [2015-10-08 04:42:25] 961*2^1411389-1 is not prime. Res64: 2B21C5FF1CCEF3C0 Time : 0.0 sec. user=mdettweiler [2015-10-08 04:42:41] 979*2^1411389-1 is not prime. Res64: E062FB9E211BA2B8 Time : 0.0 sec. user=mdettweiler [2015-10-08 04:42:41] 985*2^1411389-1 is not prime. Res64: 0813E61C82AF39C2 Time : 0.0 sec. user=mdettweiler [2015-10-08 04:43:58] 997*2^1411389-1 is not prime. Res64: A687755A89D7671D Time : 0.0 sec. user=mdettweiler [2015-10-08 04:43:59] 605*2^1411390-1 is not prime. Res64: 48393CB3508D661F Time : 0.0 sec. user=mdettweiler [2015-10-08 04:44:18] 713*2^1411390-1 is not prime. Res64: 216A0793DD2F4189 Time : 0.0 sec. user=mdettweiler [2015-10-08 04:44:18] 741*2^1411390-1 is not prime. Res64: 1FDEECE325B42103 Time : 0.0 sec. user=mdettweiler [2015-10-08 05:00:17] 801*2^1411390-1 is not prime. Res64: 7B897418261F79BD Time : 0.0 sec. user=mdettweiler [2015-10-08 05:00:18] 887*2^1411390-1 is not prime. Res64: 677AEB4607E96F92 Time : 0.0 sec. user=mdettweiler [2015-10-08 05:00:28] 933*2^1411390-1 is not prime. Res64: 171DF479998B18B5 Time : 0.0 sec. user=mdettweiler [2015-10-08 05:00:29] 975*2^1411390-1 is not prime. Res64: 06AC39FEC5761C7E Time : 0.0 sec. user=mdettweiler [2015-10-08 05:01:55] 981*2^1411390-1 is not prime. Res64: 27B51B8D9C966564 Time : 0.0 sec. user=mdettweiler [2015-10-08 05:01:56] 651*2^1411391-1 is not prime. Res64: 7206A46F390EC42A Time : 0.0 sec. user=mdettweiler [2015-10-08 05:02:23] 735*2^1411391-1 is not prime. Res64: 3AD424C22B8C52C5 Time : 0.0 sec. user=mdettweiler [2015-10-08 05:02:24] 781*2^1411391-1 is not prime. Res64: 623937D7C9B3037E Time : 0.0 sec. user=mdettweiler [2015-10-08 05:18:15] 955*2^1411391-1 is not prime. Res64: 6804EE3B6B879D08 Time : 0.0 sec. user=mdettweiler [2015-10-08 05:18:15] 627*2^1411392-1 is not prime. Res64: ED0C2AFABB5C4EB2 Time : 0.0 sec. user=mdettweiler [2015-10-08 05:18:23] 633*2^1411392-1 is not prime. Res64: D336974A68E6A4DB Time : 0.0 sec. user=mdettweiler [2015-10-08 05:18:23] 635*2^1411392-1 is not prime. Res64: 5B9BF0C15B291412 Time : 0.0 sec. user=mdettweiler [2015-10-08 05:19:53] 665*2^1411392-1 is not prime. Res64: 6601DC311C5F2EE7 Time : 0.0 sec. user=mdettweiler [2015-10-08 05:19:54] 695*2^1411392-1 is not prime. Res64: DAE7DD9190B4B00D Time : 0.0 sec. user=mdettweiler [2015-10-08 05:20:18] 815*2^1411392-1 is not prime. Res64: EF94E8E56FDEA92E Time : 0.0 sec. user=mdettweiler [2015-10-08 05:20:19] 873*2^1411392-1 is not prime. Res64: FEA2841F619C130E Time : 0.0 sec. user=mdettweiler [2015-10-08 05:36:15] 903*2^1411392-1 is not prime. Res64: 2580D15FFAA7D3A3 Time : 0.0 sec. user=mdettweiler [2015-10-08 05:36:16] 909*2^1411392-1 is not prime. Res64: 9C23B3CF0EDD7939 Time : 0.0 sec. user=mdettweiler [2015-10-08 05:36:23] 625*2^1411393-1 is not prime. Res64: 55273F1398629071 Time : 0.0 sec. user=mdettweiler [2015-10-08 05:36:23] 721*2^1411393-1 is not prime. Res64: 1477BEDF33FF045B Time : 0.0 sec. user=mdettweiler [2015-10-08 05:37:50] 765*2^1411393-1 is not prime. Res64: D12FEC42D529EDB4 Time : 0.0 sec. user=mdettweiler [2015-10-08 05:37:50] 769*2^1411393-1 is not prime. Res64: EEC0DD221E9AAB62 Time : 0.0 sec. user=mdettweiler [2015-10-08 05:38:15] 771*2^1411393-1 is not prime. Res64: CB4C1BD4DD22D667 Time : 0.0 sec. user=mdettweiler [2015-10-08 05:38:15] 957*2^1411393-1 is not prime. Res64: D172B24CDB0D4A98 Time : 0.0 sec. user=mdettweiler [2015-10-08 05:54:15] 627*2^1411394-1 is not prime. Res64: 1800FE811F874207 Time : 0.0 sec. user=mdettweiler [2015-10-08 05:54:15] 851*2^1411394-1 is not prime. Res64: 6F7C0A1B56A6B461 Time : 0.0 sec. user=mdettweiler [2015-10-08 05:54:20] 861*2^1411394-1 is not prime. Res64: 39A57745B9B0CBBB Time : 0.0 sec. user=mdettweiler [2015-10-08 05:54:20] 921*2^1411394-1 is not prime. Res64: A8606CEEDC8B8142 Time : 0.0 sec. user=mdettweiler [2015-10-08 05:55:48] 935*2^1411394-1 is not prime. Res64: 454D653CC69C6B00 Time : 0.0 sec. user=mdettweiler [2015-10-08 05:55:48] 625*2^1411395-1 is not prime. Res64: 871B98C803A6DC5B Time : 0.0 sec. user=mdettweiler [2015-10-08 05:56:04] 849*2^1411395-1 is not prime. Res64: 14D68B9D1C86C164 Time : 0.0 sec. user=mdettweiler [2015-10-08 05:56:04] 933*2^1411396-1 is not prime. Res64: E1F1EB9EDA0132FC Time : 0.0 sec. user=mdettweiler [2015-10-08 06:12:11] 969*2^1411396-1 is not prime. Res64: BD27EA43D47B0AE9 Time : 0.0 sec. user=mdettweiler [2015-10-08 06:12:12] 993*2^1411396-1 is not prime. Res64: EBB486B28D3C7F29 Time : 0.0 sec. user=mdettweiler [2015-10-08 06:12:22] 939*2^1411396-1 is not prime. Res64: 47F125E0E3438AE6 Time : 0.0 sec. user=mdettweiler [2015-10-08 06:12:23] 957*2^1411396-1 is not prime. Res64: DE5C9022339786CF Time : 0.0 sec. user=mdettweiler [2015-10-08 06:13:53] 677*2^1411398-1 is not prime. Res64: 33726B85740F314F Time : 0.0 sec. user=mdettweiler [2015-10-08 06:13:53] 713*2^1411398-1 is not prime. Res64: 24046CDF3FCA6D01 Time : 0.0 sec. user=mdettweiler [2015-10-08 06:13:57] 955*2^1411397-1 is not prime. Res64: BB90517EA058F679 Time : 0.0 sec. user=mdettweiler [2015-10-08 06:13:58] 985*2^1411397-1 is not prime. Res64: C28E23FA2131F027 Time : 0.0 sec. user=mdettweiler [2015-10-08 06:30:07] 777*2^1411398-1 is not prime. Res64: E343A309EF561778 Time : 0.0 sec. user=mdettweiler [2015-10-08 06:30:08] 861*2^1411398-1 is not prime. Res64: F9F9A2E2F29DD3E0 Time : 0.0 sec. user=mdettweiler [2015-10-08 06:30:23] 933*2^1411398-1 is not prime. Res64: 5B6029BD1838F0C0 Time : 0.0 sec. user=mdettweiler [2015-10-08 06:30:24] 963*2^1411398-1 is not prime. Res64: D46BF960D5D3EF5A Time : 0.0 sec. user=mdettweiler [2015-10-08 06:31:54] 609*2^1411399-1 is not prime. Res64: 59F3536E08F2B25C Time : 0.0 sec. user=mdettweiler [2015-10-08 06:31:54] 741*2^1411399-1 is not prime. Res64: 89B87E89C7B59FCE Time : 0.0 sec. user=mdettweiler [2015-10-08 06:31:55] 861*2^1411399-1 is not prime. Res64: 5D31AE8177A67937 Time : 0.0 sec. user=mdettweiler [2015-10-08 06:31:55] 895*2^1411399-1 is not prime. Res64: F013410D457C5567 Time : 0.0 sec. user=mdettweiler [2015-10-08 06:48:14] 605*2^1411400-1 is not prime. Res64: 714DC304BCFCF05D Time : 0.0 sec. user=mdettweiler [2015-10-08 06:48:14] 699*2^1411400-1 is not prime. Res64: 35699D81EDC6F493 Time : 0.0 sec. user=mdettweiler [2015-10-08 06:48:20] 719*2^1411400-1 is not prime. Res64: 3D8550F29E6C1450 Time : 0.0 sec. user=mdettweiler [2015-10-08 06:48:20] 753*2^1411400-1 is not prime. Res64: EAFEC361B0444332 Time : 0.0 sec. user=mdettweiler [2015-10-08 06:50:01] 999*2^1411400-1 is not prime. Res64: 3832B42DF385E8EB Time : 0.0 sec. user=mdettweiler [2015-10-08 06:50:01] 675*2^1411401-1 is not prime. Res64: 0CCCE7C6B4C38F06 Time : 0.0 sec. user=mdettweiler [2015-10-08 06:50:03] 845*2^1411400-1 is not prime. Res64: D6005D8D54593863 Time : 0.0 sec. user=mdettweiler [2015-10-08 06:50:03] 923*2^1411400-1 is not prime. Res64: 6F44B874E6E5AF08 Time : 0.0 sec. user=mdettweiler [2015-10-08 07:06:13] 709*2^1411401-1 is not prime. Res64: D60B843B2A38CB34 Time : 0.0 sec. user=mdettweiler [2015-10-08 07:06:14] 711*2^1411401-1 is not prime. Res64: 876C10FE04A756DF Time : 0.0 sec. user=mdettweiler [2015-10-08 07:06:17] 781*2^1411401-1 is not prime. Res64: D5DE4BCF9B80B0ED Time : 0.0 sec. user=mdettweiler [2015-10-08 07:06:17] 817*2^1411401-1 is not prime. Res64: DE242F43F552C9DF Time : 0.0 sec. user=mdettweiler [2015-10-08 07:07:56] 865*2^1411401-1 is not prime. Res64: DE822A4E50DBEACD Time : 0.0 sec. user=mdettweiler [2015-10-08 07:07:57] 877*2^1411401-1 is not prime. Res64: 9DDB8C8D3EA1C4DC Time : 0.0 sec. user=mdettweiler [2015-10-08 07:08:01] 889*2^1411401-1 is not prime. Res64: DCEF962D77EA9B89 Time : 0.0 sec. user=mdettweiler [2015-10-08 07:08:01] 895*2^1411401-1 is not prime. Res64: A3CDE178A3BC69CE Time : 0.0 sec. user=mdettweiler [2015-10-08 07:24:15] 969*2^1411401-1 is not prime. Res64: E37E2AD030B122F2 Time : 0.0 sec. user=mdettweiler [2015-10-08 07:24:15] 979*2^1411401-1 is not prime. Res64: 298D40C014EFFF8E Time : 0.0 sec. user=mdettweiler [2015-10-08 07:24:18] 991*2^1411401-1 is not prime. Res64: C98CF1D1C075BB51 Time : 0.0 sec. user=mdettweiler [2015-10-08 07:24:18] 621*2^1411402-1 is not prime. Res64: EBEA4691A8F60D79 Time : 0.0 sec. user=mdettweiler [2015-10-08 07:25:51] 635*2^1411402-1 is not prime. Res64: 1D54226A219F1202 Time : 0.0 sec. user=mdettweiler [2015-10-08 07:25:52] 717*2^1411402-1 is not prime. Res64: A71501B4734206A4 Time : 0.0 sec. user=mdettweiler [2015-10-08 07:26:01] 735*2^1411402-1 is not prime. Res64: 247244588E2A9988 Time : 0.0 sec. user=mdettweiler [2015-10-08 07:26:01] 825*2^1411402-1 is not prime. Res64: 00C161C6D0677E6D Time : 0.0 sec. user=mdettweiler [2015-10-08 07:42:07] 867*2^1411402-1 is not prime. Res64: CA907D727D2BDD86 Time : 0.0 sec. user=mdettweiler [2015-10-08 07:42:07] 917*2^1411402-1 is not prime. Res64: 9992B8E130E2F086 Time : 0.0 sec. user=mdettweiler [2015-10-08 07:42:14] 941*2^1411402-1 is not prime. Res64: 43B5A776058CF193 Time : 0.0 sec. user=mdettweiler [2015-10-08 07:42:15] 603*2^1411403-1 is not prime. Res64: 4035B6B592A92F2D Time : 0.0 sec. user=mdettweiler [2015-10-08 07:43:45] 609*2^1411403-1 is not prime. Res64: FA13371550D6B987 Time : 0.0 sec. user=mdettweiler [2015-10-08 07:43:46] 705*2^1411403-1 is not prime. Res64: 7CF081108C9A5AE0 Time : 0.0 sec. user=mdettweiler [2015-10-08 07:44:03] 739*2^1411403-1 is not prime. Res64: 40D3304521F7B750 Time : 0.0 sec. user=mdettweiler [2015-10-08 07:44:03] 759*2^1411403-1 is not prime. Res64: AED032CF76C07582 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:00:07] 789*2^1411403-1 is not prime. Res64: 89405F8F86C99F4C Time : 0.0 sec. user=mdettweiler [2015-10-08 08:00:07] 823*2^1411403-1 is not prime. Res64: DD34FCF9AB776FCB Time : 0.0 sec. user=mdettweiler [2015-10-08 08:00:18] 693*2^1411404-1 is not prime. Res64: 43950B212D899927 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:00:19] 707*2^1411404-1 is not prime. Res64: DA72EF2557A31F62 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:01:55] 767*2^1411404-1 is not prime. Res64: 0DB52774EB93CF26 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:01:55] 863*2^1411404-1 is not prime. Res64: 91E26C2446169931 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:02:02] 873*2^1411404-1 is not prime. Res64: 45D798A3B080C342 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:02:03] 929*2^1411404-1 is not prime. Res64: 77BAFC424B39CD3A Time : 0.0 sec. user=mdettweiler [2015-10-08 08:18:14] 877*2^1411405-1 is not prime. Res64: EAE3B280C057A952 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:18:14] 919*2^1411405-1 is not prime. Res64: 25889C94B5748367 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:18:19] 741*2^1411405-1 is not prime. Res64: EE370A1658475FF8 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:18:19] 871*2^1411405-1 is not prime. Res64: 10E87B11E11A83F1 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:19:55] 939*2^1411405-1 is not prime. Res64: 6F2B330CB69C7FB1 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:19:55] 997*2^1411405-1 is not prime. Res64: EA83F8B642C8EBF0 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:20:05] 623*2^1411406-1 is not prime. Res64: B949E7F8991097CD Time : 0.0 sec. user=mdettweiler [2015-10-08 08:20:05] 693*2^1411406-1 is not prime. Res64: 1B7A038BA9F9B39D Time : 0.0 sec. user=mdettweiler [2015-10-08 08:36:08] 785*2^1411406-1 is not prime. Res64: E20AB10E36D7C4A5 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:36:08] 795*2^1411406-1 is not prime. Res64: D580E8332461C18A Time : 0.0 sec. user=mdettweiler [2015-10-08 08:36:21] 827*2^1411406-1 is not prime. Res64: C1BDC41E71FEC7E3 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:36:22] 873*2^1411406-1 is not prime. Res64: B7B382BA74088D03 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:37:56] 935*2^1411406-1 is not prime. Res64: 14CCEDE3E2AF6581 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:37:56] 993*2^1411406-1 is not prime. Res64: E5D5CB7184490917 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:37:59] 609*2^1411407-1 is not prime. Res64: 193B6021E0847D42 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:38:00] 649*2^1411407-1 is not prime. Res64: FE3F6381A2289C80 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:54:03] 703*2^1411407-1 is not prime. Res64: 05899473F178BD7A Time : 0.0 sec. user=mdettweiler [2015-10-08 08:54:04] 861*2^1411407-1 is not prime. Res64: 6F782876AFFA06E9 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:54:18] 895*2^1411407-1 is not prime. Res64: D29E3E32E7CAD349 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:54:18] 901*2^1411407-1 is not prime. Res64: 8B9E13DF24A235D8 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:55:57] 603*2^1411408-1 is not prime. Res64: 5A1D5FC826FB9501 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:55:57] 623*2^1411408-1 is not prime. Res64: CDF661865F0D3294 Time : 0.0 sec. user=mdettweiler [2015-10-08 08:56:05] 973*2^1411407-1 is not prime. Res64: E137E9B3605FCB7E Time : 0.0 sec. user=mdettweiler [2015-10-08 08:56:06] 985*2^1411407-1 is not prime. Res64: 831AC025B585CCC1 Time : 0.0 sec. user=mdettweiler [2015-10-08 09:11:54] 677*2^1411408-1 is not prime. Res64: 922667B63EF9E6B7 Time : 0.0 sec. user=mdettweiler [2015-10-08 09:11:55] 723*2^1411408-1 is not prime. Res64: 48C36F54B8869239 Time : 0.0 sec. user=mdettweiler [2015-10-08 09:12:12] 755*2^1411408-1 is not prime. Res64: 356F4E4F7B17A692 Time : 0.0 sec. user=mdettweiler [2015-10-08 09:12:12] 773*2^1411408-1 is not prime. Res64: EF899EFFE553C0C4 Time : 0.0 sec. user=mdettweiler [2015-10-08 09:13:52] 813*2^1411408-1 is not prime. Res64: 87EEEF256E736115 Time : 0.0 sec. user=mdettweiler [2015-10-08 09:13:53] 839*2^1411408-1 is not prime. Res64: A4BEBA97F677AF93 Time : 0.0 sec. user=mdettweiler [2015-10-08 09:14:01] 905*2^1411408-1 is not prime. Res64: 8C798B3DB0B6895E Time : 0.0 sec. user=mdettweiler [2015-10-08 09:14:01] 999*2^1411408-1 is not prime. Res64: F87C3B4CAACE0102 Time : 0.0 sec. user=mdettweiler [2015-10-08 09:29:50] 741*2^1411409-1 is not prime. Res64: C0A35257B3E59DDB Time : 0.0 sec. user=mdettweiler [2015-10-08 09:29:51] 775*2^1411409-1 is not prime. Res64: 8997C91E5CB613C5 Time : 0.0 sec. user=mdettweiler [2015-10-08 09:30:06] 787*2^1411409-1 is not prime. Res64: 5D35D4BFD1191263 Time : 0.0 sec. user=mdettweiler [2015-10-08 09:30:07] 855*2^1411409-1 is not prime. Res64: 1E0B0B3927BB1559 Time : 0.0 sec. user=mdettweiler [2015-10-08 09:31:45] 641*2^1411410-1 is not prime. Res64: DCCFD58616015218 Time : 0.0 sec. user=mdettweiler [2015-10-08 09:31:45] 803*2^1411410-1 is not prime. Res64: BB6FEC146040B961 Time : 0.0 sec. user=mdettweiler [2015-10-08 09:32:00] 885*2^1411410-1 is not prime. Res64: DE755217F4F69B4F Time : 0.0 sec. user=mdettweiler [2015-10-08 09:32:00] 971*2^1411410-1 is not prime. Res64: CC41F321A8DA5472 Time : 0.0 sec. user=mdettweiler [2015-10-08 09:47:53] 977*2^1411410-1 is not prime. Res64: 7E474A6F5285C752 Time : 0.0 sec. user=mdettweiler [2015-10-08 09:47:53] 649*2^1411411-1 is not prime. Res64: 9C0AB5B7AADA24D5 Time : 0.0 sec. user=mdettweiler [2015-10-08 09:48:21] 709*2^1411411-1 is not prime. Res64: F2E2B1F8206987B0 Time : 0.0 sec. user=mdettweiler [2015-10-08 09:48:22] 775*2^1411411-1 is not prime. Res64: 2B27DC10D2F65044 Time : 0.0 sec. user=mdettweiler [2015-10-08 09:49:44] 789*2^1411411-1 is not prime. Res64: 1C481FEE234E7A5A Time : 0.0 sec. user=mdettweiler [2015-10-08 09:49:44] 829*2^1411411-1 is not prime. Res64: 23DFF22EF58360D4 Time : 0.0 sec. user=mdettweiler [2015-10-08 09:50:01] 871*2^1411411-1 is not prime. Res64: ABC4071C02799558 Time : 0.0 sec. user=mdettweiler [2015-10-08 09:50:01] 895*2^1411411-1 is not prime. Res64: 4C6530C59CABA838 Time : 0.0 sec. user=mdettweiler [2015-10-08 10:05:50] 931*2^1411411-1 is not prime. Res64: DC0FE71A933E2C45 Time : 0.0 sec. user=mdettweiler [2015-10-08 10:05:52] 951*2^1411411-1 is not prime. Res64: 5E923F319B7814A0 Time : 0.0 sec. user=mdettweiler [2015-10-08 10:06:16] 677*2^1411412-1 is not prime. Res64: DC464ADEF42058E6 Time : 0.0 sec. user=mdettweiler [2015-10-08 10:06:17] 693*2^1411412-1 is not prime. Res64: 098CA66AE6D400AB Time : 0.0 sec. user=mdettweiler [2015-10-08 10:07:40] 797*2^1411412-1 is not prime. Res64: 1B7CF1C6F714471F Time : 0.0 sec. user=mdettweiler [2015-10-08 10:07:40] 929*2^1411412-1 is not prime. Res64: 942637500F401D77 Time : 0.0 sec. user=mdettweiler [2015-10-08 10:08:02] 657*2^1411413-1 is not prime. Res64: 9B3A7DC89B9F8B6F Time : 0.0 sec. user=mdettweiler [2015-10-08 10:08:02] 817*2^1411413-1 is not prime. Res64: BC8A381E9E412681 Time : 0.0 sec. user=mdettweiler [2015-10-08 10:24:06] 847*2^1411413-1 is not prime. Res64: DEA0879FE1213729 Time : 0.0 sec. user=mdettweiler [2015-10-08 10:24:06] 937*2^1411413-1 is not prime. Res64: DDC082C8F5893BFC Time : 0.0 sec. user=mdettweiler [2015-10-08 10:24:07] 895*2^1411413-1 is not prime. Res64: D410CC7B4FF63E16 Time : 0.0 sec. user=mdettweiler [2015-10-08 10:24:07] 671*2^1411414-1 is not prime. Res64: F3F0ABE16A4856B3 Time : 0.0 sec. user=mdettweiler [2015-10-08 10:25:30] 833*2^1411414-1 is not prime. Res64: A6A65506C425530C Time : 0.0 sec. user=mdettweiler [2015-10-08 10:25:30] 923*2^1411414-1 is not prime. Res64: 26D1E3E072AD4DA8 Time : 0.0 sec. user=mdettweiler [2015-10-08 10:26:03] 643*2^1411415-1 is not prime. Res64: 24224C9CC19C8454 Time : 0.0 sec. user=mdettweiler [2015-10-08 10:26:04] 649*2^1411415-1 is not prime. Res64: 791059110C88786F Time : 0.0 sec. user=mdettweiler [2015-10-08 10:42:03] 909*2^1411415-1 is not prime. Res64: 379CEBCB31018389 Time : 0.0 sec. user=mdettweiler [2015-10-08 10:42:03] 963*2^1411415-1 is not prime. Res64: 92EAAC990C20F2B5 Time : 0.0 sec. user=mdettweiler [2015-10-08 10:42:11] 721*2^1411415-1 is not prime. Res64: D8BEFC6871F4C952 Time : 0.0 sec. user=mdettweiler [2015-10-08 10:42:11] 739*2^1411415-1 is not prime. Res64: 066100669344CD4D Time : 0.0 sec. user=mdettweiler [2015-10-08 10:43:28] 999*2^1411415-1 is not prime. Res64: 430DC6D5D3F8E6D4 Time : 0.0 sec. user=mdettweiler [2015-10-08 10:43:28] 675*2^1411416-1 is not prime. Res64: 0224303206BD75C8 Time : 0.0 sec. user=mdettweiler [2015-10-08 10:44:08] 719*2^1411416-1 is not prime. Res64: B8659FD861E52DE2 Time : 0.0 sec. user=mdettweiler [2015-10-08 10:44:08] 735*2^1411416-1 is not prime. Res64: 53CB98AE7B36EC8E Time : 0.0 sec. user=mdettweiler [2015-10-08 10:59:54] 737*2^1411416-1 is not prime. Res64: 27E733096F49610B Time : 0.0 sec. user=mdettweiler [2015-10-08 10:59:55] 779*2^1411416-1 is not prime. Res64: BA5FDB855C484A3F Time : 0.0 sec. user=mdettweiler [2015-10-08 11:00:16] 789*2^1411416-1 is not prime. Res64: F928A20205683812 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:00:17] 887*2^1411416-1 is not prime. Res64: FBD2F0A55DB9E166 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:01:30] 947*2^1411416-1 is not prime. Res64: C76A79383069E635 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:01:31] 649*2^1411417-1 is not prime. Res64: BB9A9F6F3AB865A6 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:02:08] 765*2^1411417-1 is not prime. Res64: C7461B3A996FA5FB Time : 0.0 sec. user=mdettweiler [2015-10-08 11:02:09] 799*2^1411417-1 is not prime. Res64: 41480318F19615B6 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:17:47] 847*2^1411417-1 is not prime. Res64: FCE85D3E56BDB687 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:17:48] 707*2^1411418-1 is not prime. Res64: E8F2C774A76040EC Time : 0.0 sec. user=mdettweiler [2015-10-08 11:18:10] 833*2^1411418-1 is not prime. Res64: F4F8A484724F8E8C Time : 0.0 sec. user=mdettweiler [2015-10-08 11:18:10] 893*2^1411418-1 is not prime. Res64: E62CA3ED2BBFFDF0 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:19:26] 945*2^1411418-1 is not prime. Res64: EBDADB2D8CD36B18 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:19:26] 711*2^1411419-1 is not prime. Res64: 20F8DE4C50443DA6 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:20:19] 835*2^1411419-1 is not prime. Res64: DD61B9D3D0DC447C Time : 0.0 sec. user=mdettweiler [2015-10-08 11:20:19] 605*2^1411420-1 is not prime. Res64: 3F13B7A3BBF0C4C2 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:35:44] 693*2^1411420-1 is not prime. Res64: FE64CD4CFB62B958 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:35:45] 813*2^1411420-1 is not prime. Res64: FFC604146C3310A0 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:36:12] 887*2^1411420-1 is not prime. Res64: C43786BC9BA3D254 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:36:13] 933*2^1411420-1 is not prime. Res64: EDFD1A002CB54709 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:37:24] 679*2^1411421-1 is not prime. Res64: 2D0825AC43DD9F73 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:37:24] 757*2^1411421-1 is not prime. Res64: 9FE34247560ABFFF Time : 0.0 sec. user=mdettweiler [2015-10-08 11:38:21] 781*2^1411421-1 is not prime. Res64: B0C6E8673A97F703 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:38:22] 871*2^1411421-1 is not prime. Res64: A0436F69B3DBD697 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:53:40] 937*2^1411421-1 is not prime. Res64: 0ECC667E7D428C87 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:53:41] 939*2^1411421-1 is not prime. Res64: 9D644CA487B5DAA6 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:54:11] 723*2^1411422-1 is not prime. Res64: 943F9F6DCCA7FDA4 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:54:11] 737*2^1411422-1 is not prime. Res64: 6C8947F8847DAB37 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:55:18] 741*2^1411422-1 is not prime. Res64: 9645DD909B1F9193 Time : 0.0 sec. user=mdettweiler [2015-10-08 11:55:18] 815*2^1411422-1 is not prime. Res64: 56478F02050AB48C Time : 0.0 sec. user=mdettweiler [2015-10-08 11:56:17] 887*2^1411422-1 is not prime. Res64: 2AA2164ECEA05F9D Time : 0.0 sec. user=mdettweiler [2015-10-08 11:56:17] 941*2^1411422-1 is not prime. Res64: E13E3490EE1C0349 Time : 0.0 sec. user=mdettweiler [2015-10-08 12:11:47] 625*2^1411423-1 is not prime. Res64: 9935B7ED870DCA16 Time : 0.0 sec. user=mdettweiler [2015-10-08 12:11:48] 649*2^1411423-1 is not prime. Res64: C0B61860B72F43EA Time : 0.0 sec. user=mdettweiler [2015-10-08 12:12:14] 681*2^1411423-1 is not prime. Res64: F2E40BFEBE38E891 Time : 0.0 sec. user=mdettweiler [2015-10-08 12:12:14] 855*2^1411423-1 is not prime. Res64: 316E355DEFB43CC0 Time : 0.0 sec. user=mdettweiler [2015-10-08 12:13:31] 873*2^1411423-1 is not prime. Res64: AAD9F3B240A63C69 Time : 0.0 sec. user=mdettweiler [2015-10-08 12:13:31] 933*2^1411423-1 is not prime. Res64: B5D4DC9A5DF9218F Time : 0.0 sec. user=mdettweiler [2015-10-08 12:14:27] 961*2^1411423-1 is not prime. Res64: B11B68DC13F816B6 Time : 0.0 sec. user=mdettweiler [2015-10-08 12:14:27] 993*2^1411423-1 is not prime. Res64: 1A0CC8F350426F6C Time : 0.0 sec. user=mdettweiler [2015-10-08 12:29:48] 843*2^1411424-1 is not prime. Res64: 6E347827AE4B2B84 Time : 0.0 sec. user=mdettweiler [2015-10-08 12:29:48] 857*2^1411424-1 is not prime. Res64: 5B05ACB53763917E Time : 0.0 sec. user=mdettweiler [2015-10-08 12:30:09] 705*2^1411425-1 is not prime. Res64: 9E38154229067402 Time : 0.0 sec. user=mdettweiler [2015-10-08 12:30:09] 765*2^1411425-1 is not prime. Res64: 5496F67A0D3BFC53 Time : 0.0 sec. user=mdettweiler [2015-10-08 12:31:31] 671*2^1411426-1 is not prime. Res64: 8544BAD23A485184 Time : 0.0 sec. user=mdettweiler [2015-10-08 12:31:31] 675*2^1411426-1 is not prime. Res64: ED3892295E2762C5 Time : 0.0 sec. user=mdettweiler [2015-10-08 12:32:23] 821*2^1411426-1 is not prime. Res64: 41575D7284187686 Time : 0.0 sec. user=mdettweiler [2015-10-08 12:32:23] 857*2^1411426-1 is not prime. Res64: 2BF72566966D42B0 Time : 0.0 sec. user=mdettweiler [2015-10-08 12:47:47] 873*2^1411426-1 is not prime. Res64: 7CCFDF05417625BB Time : 0.0 sec. user=mdettweiler [2015-10-08 12:47:48] 881*2^1411426-1 is not prime. Res64: 210208846ED80B11 Time : 0.0 sec. user=mdettweiler [2015-10-08 12:48:08] 933*2^1411426-1 is not prime. Res64: F0933575F10A4BD3 Time : 0.0 sec. user=mdettweiler [2015-10-08 12:48:09] 673*2^1411427-1 is not prime. Res64: ECF67BB9512A7533 Time : 0.0 sec. user=mdettweiler [2015-10-08 12:49:24] 813*2^1411427-1 is not prime. Res64: C0295FB18CE724F8 Time : 0.0 sec. user=mdettweiler [2015-10-08 12:49:24] 841*2^1411427-1 is not prime. Res64: 18CDCF4EF8B8048A Time : 0.0 sec. user=mdettweiler [2015-10-08 12:50:19] 843*2^1411427-1 is not prime. Res64: 508BE8397C76D179 Time : 0.0 sec. user=mdettweiler [2015-10-08 12:50:19] 859*2^1411427-1 is not prime. Res64: BEA586B932C15876 Time : 0.0 sec. user=mdettweiler [2015-10-08 13:05:46] 605*2^1411428-1 is not prime. Res64: F31D2C07E66C2112 Time : 0.0 sec. user=mdettweiler [2015-10-08 13:05:47] 633*2^1411428-1 is not prime. Res64: 61624D18FA394680 Time : 0.0 sec. user=mdettweiler [2015-10-08 13:06:00] 705*2^1411428-1 is not prime. Res64: A10CCFBF764186F7 Time : 0.0 sec. user=mdettweiler [2015-10-08 13:06:00] 725*2^1411428-1 is not prime. Res64: 5F1E4935FB0F625B Time : 0.0 sec. user=mdettweiler [2015-10-08 13:07:23] 777*2^1411428-1 is not prime. Res64: 0E48EA76DBBACC27 Time : 0.0 sec. user=mdettweiler [2015-10-08 13:07:24] 789*2^1411428-1 is not prime. Res64: 271B1721806541F0 Time : 0.0 sec. user=mdettweiler [2015-10-08 13:08:35] 915*2^1411428-1 is not prime. Res64: 786ADFB354106994 Time : 0.0 sec. user=mdettweiler [2015-10-08 13:08:36] 831*2^1411429-1 is not prime. Res64: 2A21F393B8ACB83F Time : 0.0 sec. user=mdettweiler [2015-10-08 13:26:51] 663*2^1411430-1 is not prime. Res64: 9DD6EA826A9415AA Time : 0.0 sec. user=mdettweiler [2015-10-08 13:26:52] 797*2^1411430-1 is not prime. Res64: 9FF6A724EFBF0948 Time : 0.0 sec. user=mdettweiler [2015-10-08 13:27:07] 939*2^1411429-1 is not prime. Res64: 41FB23924B180002 Time : 0.0 sec. user=mdettweiler [2015-10-08 13:27:07] 641*2^1411430-1 is not prime. Res64: 0CFCEA6EA297EF15 Time : 0.0 sec. user=mdettweiler [2015-10-08 13:28:27] 801*2^1411430-1 is not prime. Res64: 9170B238CEF6D095 Time : 0.0 sec. user=mdettweiler [2015-10-08 13:28:27] 857*2^1411430-1 is not prime. Res64: DD09010D4AE24CE5 Time : 0.0 sec. user=mdettweiler [2015-10-08 13:29:39] 921*2^1411430-1 is not prime. Res64: 318A53CAD4311EC5 Time : 0.0 sec. user=mdettweiler [2015-10-08 13:29:39] 941*2^1411430-1 is not prime. Res64: 5F3391471C57C0D5 Time : 0.0 sec. user=mdettweiler [2015-10-08 13:46:20] 977*2^1411430-1 is not prime. Res64: 76BC3F9723968AEC Time : 0.0 sec. user=mdettweiler [2015-10-08 13:46:21] 735*2^1411431-1 is not prime. Res64: 0162B83D2D06A787 Time : 0.0 sec. user=mdettweiler [2015-10-08 13:46:59] 793*2^1411431-1 is not prime. Res64: FA0AB1705ED4A1EC Time : 0.0 sec. user=mdettweiler [2015-10-08 13:47:00] 955*2^1411431-1 is not prime. Res64: 11ACFEF2C17E82FD Time : 0.0 sec. user=mdettweiler [2015-10-08 13:47:57] 609*2^1411432-1 is not prime. Res64: 22B240EFC0E1436B Time : 0.0 sec. user=mdettweiler [2015-10-08 13:47:57] 689*2^1411432-1 is not prime. Res64: 9E085D549DF1B5E7 Time : 0.0 sec. user=mdettweiler [2015-10-08 13:48:59] 813*2^1411432-1 is not prime. Res64: 4BCA38A8A6CB19C8 Time : 0.0 sec. user=mdettweiler [2015-10-08 13:49:00] 819*2^1411432-1 is not prime. Res64: 5E48AE017419EF14 Time : 0.0 sec. user=mdettweiler [2015-10-08 14:04:27] 827*2^1411432-1 is not prime. Res64: 61D1869E6C85617C Time : 0.0 sec. user=mdettweiler [2015-10-08 14:04:28] 873*2^1411432-1 is not prime. Res64: 74E8A266C6DB7122 Time : 0.0 sec. user=mdettweiler [2015-10-08 14:05:03] 939*2^1411432-1 is not prime. Res64: 703AE269F6E589DD Time : 0.0 sec. user=mdettweiler [2015-10-08 14:05:05] 975*2^1411432-1 is not prime. Res64: 4D6AD9C52D83059A Time : 0.0 sec. user=mdettweiler [2015-10-08 14:06:08] 649*2^1411433-1 is not prime. Res64: 40E932E775E30897 Time : 0.0 sec. user=mdettweiler [2015-10-08 14:06:09] 669*2^1411433-1 is not prime. Res64: D1540657B260B150 Time : 0.0 sec. user=mdettweiler [2015-10-08 14:07:13] 691*2^1411433-1 is not prime. Res64: 7482267AFB404CB8 Time : 0.0 sec. user=mdettweiler [2015-10-08 14:07:14] 715*2^1411433-1 is not prime. Res64: 9281D75FDD8E0BB0 Time : 0.0 sec. user=mdettweiler [2015-10-08 14:22:36] 855*2^1411433-1 is not prime. Res64: D29E9E9E1E9F0A11 Time : 0.0 sec. user=mdettweiler [2015-10-08 14:22:37] 871*2^1411433-1 is not prime. Res64: F48AC9262DDE08BA Time : 0.0 sec. user=mdettweiler [2015-10-08 14:23:08] 879*2^1411433-1 is not prime. Res64: D586FE11F4CBC112 Time : 0.0 sec. user=mdettweiler [2015-10-08 14:23:09] 885*2^1411433-1 is not prime. Res64: 538CB1B7927114A7 Time : 0.0 sec. user=mdettweiler [2015-10-08 14:24:02] 937*2^1411433-1 is not prime. Res64: 667F62CA39B33AB0 Time : 0.0 sec. user=mdettweiler [2015-10-08 14:24:02] 967*2^1411433-1 is not prime. Res64: CFD6615C14449D97 Time : 0.0 sec. user=mdettweiler [2015-10-08 14:25:23] 987*2^1411433-1 is not prime. Res64: B886395E129F1F62 Time : 0.0 sec. user=mdettweiler [2015-10-08 14:25:23] 725*2^1411434-1 is not prime. Res64: 9E116FFE859DE707 Time : 0.0 sec. user=mdettweiler [2015-10-08 14:40:30] 803*2^1411434-1 is not prime. Res64: C1DF41EEB09010FB Time : 0.0 sec. user=mdettweiler [2015-10-08 14:40:30] 861*2^1411434-1 is not prime. Res64: 9562AB1E21744D9D Time : 0.0 sec. user=mdettweiler [2015-10-08 14:41:05] 649*2^1411435-1 is not prime. Res64: EC030F8F6570290F Time : 0.0 sec. user=mdettweiler [2015-10-08 14:41:06] 709*2^1411435-1 is not prime. Res64: DB8ECD4AAAE18488 Time : 0.0 sec. user=mdettweiler [2015-10-08 14:41:53] 715*2^1411435-1 is not prime. Res64: D473795C1D5FE69B Time : 0.0 sec. user=mdettweiler [2015-10-08 14:41:53] 819*2^1411435-1 is not prime. Res64: 7E80AD2FE6CA21D9 Time : 0.0 sec. user=mdettweiler [2015-10-08 14:43:11] 843*2^1411435-1 is not prime. Res64: 110F470EF1DD11C1 Time : 0.0 sec. user=mdettweiler [2015-10-08 14:43:12] 951*2^1411435-1 is not prime. Res64: 7D23985A1C58A2AC Time : 0.0 sec. user=mdettweiler [2015-10-08 14:58:25] 633*2^1411436-1 is not prime. Res64: C52EE06C119830C6 Time : 0.0 sec. user=mdettweiler [2015-10-08 14:58:26] 659*2^1411436-1 is not prime. Res64: 12B097C0C6F71B3B Time : 0.0 sec. user=mdettweiler [2015-10-08 14:59:06] 813*2^1411436-1 is not prime. Res64: 7416065258FB5BD4 Time : 0.0 sec. user=mdettweiler [2015-10-08 14:59:06] 825*2^1411436-1 is not prime. Res64: 2EE982E799AA8655 Time : 0.0 sec. user=mdettweiler [2015-10-08 14:59:45] 873*2^1411436-1 is not prime. Res64: 5E4EAD02BBE8B574 Time : 0.0 sec. user=mdettweiler [2015-10-08 14:59:45] 923*2^1411436-1 is not prime. Res64: ADD05A0A3D8DBC69 Time : 0.0 sec. user=mdettweiler [2015-10-08 15:01:08] 957*2^1411436-1 is not prime. Res64: 6586E0B99CAE0E44 Time : 0.0 sec. user=mdettweiler [2015-10-08 15:01:09] 669*2^1411437-1 is not prime. Res64: A2FF7866A48DE4FB Time : 0.0 sec. user=mdettweiler [2015-10-08 15:16:29] 691*2^1411437-1 is not prime. Res64: F8B0DA94F2499932 Time : 0.0 sec. user=mdettweiler [2015-10-08 15:16:29] 711*2^1411437-1 is not prime. Res64: A87ADC94B274EF2D Time : 0.0 sec. user=mdettweiler [2015-10-08 15:17:04] 817*2^1411437-1 is not prime. Res64: 3EA961199C360344 Time : 0.0 sec. user=mdettweiler [2015-10-08 15:17:05] 949*2^1411437-1 is not prime. Res64: 2784AA8A0C400773 Time : 0.0 sec. user=mdettweiler [2015-10-08 15:17:56] 645*2^1411438-1 is not prime. Res64: 86A7565EB9E9C112 Time : 0.0 sec. user=mdettweiler [2015-10-08 15:17:56] 681*2^1411438-1 is not prime. Res64: 175FF2E4C0ADDF6A Time : 0.0 sec. user=mdettweiler [2015-10-08 15:19:16] 723*2^1411438-1 is not prime. Res64: FB1216C86EDC8787 Time : 0.0 sec. user=mdettweiler [2015-10-08 15:19:17] 821*2^1411438-1 is not prime. Res64: 7AAF9C9F3B1D0D24 Time : 0.0 sec. user=mdettweiler [2015-10-08 15:35:08] 857*2^1411438-1 is not prime. Res64: 01E49AEB661AA577 Time : 0.0 sec. user=mdettweiler [2015-10-08 15:35:08] 891*2^1411438-1 is not prime. Res64: 915A9681485FC6AE Time : 0.0 sec. user=mdettweiler [2015-10-08 15:35:10] 827*2^1411438-1 is not prime. Res64: CB3418C3FD50E741 Time : 0.0 sec. user=mdettweiler [2015-10-08 15:35:10] 843*2^1411438-1 is not prime. Res64: 372E41A4A779D80C Time : 0.0 sec. user=mdettweiler [2015-10-08 15:36:30] 987*2^1411438-1 is not prime. Res64: 60A493A3AD138965 Time : 0.0 sec. user=mdettweiler [2015-10-08 15:36:30] 661*2^1411439-1 is not prime. Res64: AA907AA3611F9FE9 Time : 0.0 sec. user=mdettweiler [2015-10-08 15:37:33] 705*2^1411439-1 is not prime. Res64: 150F95F40D4865F8 Time : 0.0 sec. user=mdettweiler [2015-10-08 15:37:33] 735*2^1411439-1 is not prime. Res64: 69832E2467D59AD4 Time : 0.0 sec. user=mdettweiler [2015-10-08 15:53:10] 895*2^1411439-1 is not prime. Res64: AE3EC6AFB0A6F1DF Time : 0.0 sec. user=mdettweiler [2015-10-08 15:53:10] 973*2^1411439-1 is not prime. Res64: 2CA661CED5A3EFE9 Time : 0.0 sec. user=mdettweiler [2015-10-08 15:53:19] 993*2^1411439-1 is not prime. Res64: 544B524D7B590B77 Time : 0.0 sec. user=mdettweiler [2015-10-08 15:53:19] 627*2^1411440-1 is not prime. Res64: 20F2447E00345FA9 Time : 0.0 sec. user=mdettweiler [2015-10-08 15:54:32] 725*2^1411440-1 is not prime. Res64: D85DB8D295DE28E8 Time : 0.0 sec. user=mdettweiler [2015-10-08 15:54:33] 797*2^1411440-1 is not prime. Res64: 5A639F697C5FD424 Time : 0.0 sec. user=mdettweiler [2015-10-08 15:55:33] 867*2^1411440-1 is not prime. Res64: ED3448770BACAA5F Time : 0.0 sec. user=mdettweiler [2015-10-08 15:55:33] 909*2^1411440-1 is not prime. Res64: 8B8A5D07DB84946F Time : 0.0 sec. user=mdettweiler [2015-10-08 16:11:09] 915*2^1411440-1 is not prime. Res64: 53B40B6BB3036674 Time : 0.0 sec. user=mdettweiler [2015-10-08 16:11:09] 811*2^1411441-1 is not prime. Res64: 3205308B8338BF8D Time : 0.0 sec. user=mdettweiler [2015-10-08 16:11:23] 877*2^1411441-1 is not prime. Res64: 3C0EF1EA31F3258D Time : 0.0 sec. user=mdettweiler [2015-10-08 16:11:24] 997*2^1411441-1 is not prime. Res64: 1A5951E7B6CA26AC Time : 0.0 sec. user=mdettweiler [2015-10-08 16:12:36] 633*2^1411442-1 is not prime. Res64: 13FAC40581903B53 Time : 0.0 sec. user=mdettweiler [2015-10-08 16:12:37] 651*2^1411442-1 is not prime. Res64: DC488623F6AF88EB Time : 0.0 sec. user=mdettweiler [2015-10-08 16:13:25] 677*2^1411442-1 is not prime. Res64: 1C81D874C45C4522 Time : 0.0 sec. user=mdettweiler [2015-10-08 16:13:25] 743*2^1411442-1 is not prime. Res64: 0A9EC4E66ED60599 Time : 0.0 sec. user=mdettweiler [2015-10-08 16:29:16] 755*2^1411442-1 is not prime. Res64: 054BEBF8DC3651F3 Time : 0.0 sec. user=mdettweiler [2015-10-08 16:29:16] 831*2^1411442-1 is not prime. Res64: 51B58D3E6A1E3B81 Time : 0.0 sec. user=mdettweiler [2015-10-08 16:29:37] 873*2^1411442-1 is not prime. Res64: 30F9D1B8A18ABAC6 Time : 0.0 sec. user=mdettweiler [2015-10-08 16:29:37] 953*2^1411442-1 is not prime. Res64: 4221ABC42FF23878 Time : 0.0 sec. user=mdettweiler [2015-10-08 16:30:31] 649*2^1411443-1 is not prime. Res64: FFCD3D3AC4D4D156 Time : 0.0 sec. user=mdettweiler [2015-10-08 16:30:32] 675*2^1411443-1 is not prime. Res64: A58BABCD673EEC95 Time : 0.0 sec. user=mdettweiler [2015-10-08 16:31:22] 769*2^1411443-1 is not prime. Res64: B60CC6622CC6E058 Time : 0.0 sec. user=mdettweiler [2015-10-08 16:31:22] 789*2^1411443-1 is not prime. Res64: 37C68DDB0CFDE1B4 Time : 0.0 sec. user=mdettweiler [2015-10-08 16:47:04] 853*2^1411443-1 is not prime. Res64: 45705234ED2EDA88 Time : 0.0 sec. user=mdettweiler [2015-10-08 16:47:05] 913*2^1411443-1 is not prime. Res64: C5D96DCE03B97C76 Time : 0.0 sec. user=mdettweiler [2015-10-08 16:47:36] 699*2^1411444-1 is not prime. Res64: C23C3A4057FD9906 Time : 0.0 sec. user=mdettweiler [2015-10-08 16:47:36] 717*2^1411444-1 is not prime. Res64: 991102043FAF0E24 Time : 0.0 sec. user=mdettweiler [2015-10-08 16:48:26] 929*2^1411444-1 is not prime. Res64: 9BA0605344427A1A Time : 0.0 sec. user=mdettweiler [2015-10-08 16:48:26] 975*2^1411444-1 is not prime. Res64: 20E06E7C2A62E322 Time : 0.0 sec. user=mdettweiler [2015-10-08 16:49:21] 619*2^1411445-1 is not prime. Res64: 052042F70FBB9690 Time : 0.0 sec. user=mdettweiler [2015-10-08 16:49:21] 657*2^1411445-1 is not prime. Res64: 5EFE1D9A9C0849C3 Time : 0.0 sec. user=mdettweiler [2015-10-08 17:04:57] 699*2^1411445-1 is not prime. Res64: D3AF7F7DD79FF545 Time : 0.0 sec. user=mdettweiler [2015-10-08 17:04:58] 771*2^1411445-1 is not prime. Res64: 62A71B372FED9BF8 Time : 0.0 sec. user=mdettweiler [2015-10-08 17:05:34] 781*2^1411445-1 is not prime. Res64: C22B165F5354186C Time : 0.0 sec. user=mdettweiler [2015-10-08 17:05:35] 713*2^1411446-1 is not prime. Res64: B2C7E98EFBFEB396 Time : 0.0 sec. user=mdettweiler [2015-10-08 17:06:25] 761*2^1411446-1 is not prime. Res64: FA06FDEAA9725131 Time : 0.0 sec. user=mdettweiler [2015-10-08 17:06:25] 801*2^1411446-1 is not prime. Res64: 65C89FDF328E9274 Time : 0.0 sec. user=mdettweiler [2015-10-08 17:07:13] 625*2^1411447-1 is not prime. Res64: BBFC1A34C9A26543 Time : 0.0 sec. user=mdettweiler [2015-10-08 17:07:13] 633*2^1411447-1 is not prime. Res64: DCBCB333D18ECE92 Time : 0.0 sec. user=mdettweiler [2015-10-08 17:23:17] 651*2^1411447-1 is not prime. Res64: 948F5292E0CFC7A0 Time : 0.0 sec. user=mdettweiler [2015-10-08 17:23:17] 681*2^1411447-1 is not prime. Res64: 2367DC0C807381BF Time : 0.0 sec. user=mdettweiler [2015-10-08 17:23:34] 729*2^1411447-1 is not prime. Res64: BE908B99660EA0C4 Time : 0.0 sec. user=mdettweiler [2015-10-08 17:23:34] 759*2^1411447-1 is not prime. Res64: A3B0E3E17DE37F51 Time : 0.0 sec. user=mdettweiler [2015-10-08 17:24:21] 793*2^1411447-1 is not prime. Res64: 2DBFFEA8DFAAE1B3 Time : 0.0 sec. user=mdettweiler [2015-10-08 17:24:21] 813*2^1411447-1 is not prime. Res64: A2DA7E5D71FFD1FF Time : 0.0 sec. user=mdettweiler [2015-10-08 17:25:14] 951*2^1411447-1 is not prime. Res64: 2ADE6F216B19EAC0 Time : 0.0 sec. user=mdettweiler [2015-10-08 17:25:15] 999*2^1411447-1 is not prime. Res64: DF980331C9830872 Time : 0.0 sec. user=mdettweiler [2015-10-08 17:41:12] 603*2^1411448-1 is not prime. Res64: 880A3A707EB73B2E Time : 0.0 sec. user=mdettweiler [2015-10-08 17:41:12] 615*2^1411448-1 is not prime. Res64: D5C291EDE06BAA8C Time : 0.0 sec. user=mdettweiler [2015-10-08 17:41:37] 617*2^1411448-1 is not prime. Res64: E9358C8DD88126F5 Time : 0.0 sec. user=mdettweiler [2015-10-08 17:41:38] 699*2^1411448-1 is not prime. Res64: C5C358E8E9B0FF0A Time : 0.0 sec. user=mdettweiler [2015-10-08 17:42:12] 969*2^1411448-1 is not prime. Res64: BA4A93796F168F2C Time : 0.0 sec. user=mdettweiler [2015-10-08 17:42:13] 685*2^1411449-1 is not prime. Res64: 13116B400100C866 Time : 0.0 sec. user=mdettweiler [2015-10-08 17:43:11] 691*2^1411449-1 is not prime. Res64: 98ED21DF55C7CFB0 Time : 0.0 sec. user=mdettweiler [2015-10-08 17:43:11] 795*2^1411449-1 is not prime. Res64: 06950C08BA7CA000 Time : 0.0 sec. user=mdettweiler [2015-10-08 17:59:00] 867*2^1411449-1 is not prime. Res64: C2E7EDA2BF121323 Time : 0.0 sec. user=mdettweiler [2015-10-08 17:59:00] 623*2^1411450-1 is not prime. Res64: 60F83BC755B167DB Time : 0.0 sec. user=mdettweiler [2015-10-08 17:59:35] 731*2^1411450-1 is not prime. Res64: 456289B8992B460B Time : 0.0 sec. user=mdettweiler [2015-10-08 17:59:35] 773*2^1411450-1 is not prime. Res64: 77ED97C2BC104022 Time : 0.0 sec. user=mdettweiler [2015-10-08 18:00:04] 873*2^1411450-1 is not prime. Res64: 4441CC9EEC15A14D Time : 0.0 sec. user=mdettweiler [2015-10-08 18:00:04] 923*2^1411450-1 is not prime. Res64: 61F669E85C007349 Time : 0.0 sec. user=mdettweiler [2015-10-08 18:01:08] 941*2^1411450-1 is not prime. Res64: 7CEDA3B8A9BF7D9A Time : 0.0 sec. user=mdettweiler [2015-10-08 18:01:09] 945*2^1411450-1 is not prime. Res64: 67B638F6F6F8E743 Time : 0.0 sec. user=mdettweiler [2015-10-08 18:16:57] 601*2^1411451-1 is not prime. Res64: 5EBABB46CF38386C Time : 0.0 sec. user=mdettweiler [2015-10-08 18:16:57] 663*2^1411451-1 is not prime. Res64: 070A78D747AFFA12 Time : 0.0 sec. user=mdettweiler [2015-10-08 18:17:28] 745*2^1411451-1 is not prime. Res64: 5362A815CB9087E8 Time : 0.0 sec. user=mdettweiler [2015-10-08 18:17:28] 939*2^1411451-1 is not prime. Res64: 5AA09C8D585DF930 Time : 0.0 sec. user=mdettweiler [2015-10-08 18:17:56] 605*2^1411452-1 is not prime. Res64: 6DC59B03F82480C3 Time : 0.0 sec. user=mdettweiler [2015-10-08 18:17:56] 693*2^1411452-1 is not prime. Res64: 44476470CBEC8EFE Time : 0.0 sec. user=mdettweiler [2015-10-08 18:19:06] 737*2^1411452-1 is not prime. Res64: 09901864CCA6719A Time : 0.0 sec. user=mdettweiler [2015-10-08 18:19:07] 753*2^1411452-1 is not prime. Res64: FDA22E47538928CF Time : 0.0 sec. user=mdettweiler [2015-10-08 18:38:32] 779*2^1411452-1 is not prime. Res64: 42A43FB44C8D38C4 Time : 0.0 sec. user=mdettweiler [2015-10-08 18:38:32] 819*2^1411452-1 is not prime. Res64: 324B37BFC38DD607 Time : 0.0 sec. user=mdettweiler [2015-10-08 18:40:00] 909*2^1411452-1 is not prime. Res64: DD5D8E34792601B6 Time : 0.0 sec. user=mdettweiler [2015-10-08 18:40:01] 935*2^1411452-1 is not prime. Res64: 13826F2D9D74D73D Time : 0.0 sec. user=mdettweiler [2015-10-08 18:40:05] 957*2^1411452-1 is not prime. Res64: 6851A413D786F2CC Time : 0.0 sec. user=mdettweiler [2015-10-08 18:40:05] 687*2^1411453-1 is not prime. Res64: 2BEAFA6A340F79F8 Time : 0.0 sec. user=mdettweiler [2015-10-08 18:41:17] 691*2^1411453-1 is not prime. Res64: C55186D239B05365 Time : 0.0 sec. user=mdettweiler [2015-10-08 18:41:17] 727*2^1411453-1 is not prime. Res64: 79804247D8153F71 Time : 0.0 sec. user=mdettweiler [2015-10-08 19:05:10] 757*2^1411453-1 is not prime. Res64: 27F397D207FC787B Time : 0.0 sec. user=mdettweiler [2015-10-08 19:05:11] 835*2^1411453-1 is not prime. Res64: BE01594213B9275C Time : 0.0 sec. user=mdettweiler [2015-10-08 19:05:59] 849*2^1411453-1 is not prime. Res64: 9BEC3DA125B6BCD9 Time : 0.0 sec. user=mdettweiler [2015-10-08 19:06:00] 987*2^1411453-1 is not prime. Res64: 932903AAF88B0EA8 Time : 0.0 sec. user=mdettweiler [2015-10-08 19:06:31] 677*2^1411454-1 is not prime. Res64: 84A4A91982C3563B Time : 0.0 sec. user=mdettweiler [2015-10-08 19:06:32] 717*2^1411454-1 is not prime. Res64: 53CD173D83487F6D Time : 0.0 sec. user=mdettweiler [2015-10-08 19:07:58] 861*2^1411454-1 is not prime. Res64: 2A53FD12EFD4274E Time : 0.0 sec. user=mdettweiler [2015-10-08 19:07:58] 897*2^1411454-1 is not prime. Res64: D2D9F195B45CD095 Time : 0.0 sec. user=mdettweiler [2015-10-08 19:24:03] 625*2^1411455-1 is not prime. Res64: 75AAC03AAA5CDD22 Time : 0.0 sec. user=mdettweiler [2015-10-08 19:24:03] 691*2^1411455-1 is not prime. Res64: 4C2A48F6D13E161D Time : 0.0 sec. user=mdettweiler [2015-10-08 19:24:31] 763*2^1411455-1 is not prime. Res64: 8F9CCF7503136615 Time : 0.0 sec. user=mdettweiler [2015-10-08 19:24:32] 781*2^1411455-1 is not prime. Res64: 866B45832514B2CE Time : 0.0 sec. user=mdettweiler [2015-10-08 19:24:57] 891*2^1411455-1 is not prime. Res64: 5AD3D3AA16D28CC5 Time : 0.0 sec. user=mdettweiler [2015-10-08 19:24:58] 933*2^1411455-1 is not prime. Res64: 0763BABAD17B0941 Time : 0.0 sec. user=mdettweiler [2015-10-08 19:26:18] 963*2^1411455-1 is not prime. Res64: F1CB9412180CE6BD Time : 0.0 sec. user=mdettweiler [2015-10-08 19:26:19] 979*2^1411455-1 is not prime. Res64: CC9E4E94ACC0BAED Time : 0.0 sec. user=mdettweiler [2015-10-08 19:42:02] 693*2^1411456-1 is not prime. Res64: 6401BD1C6252F0F9 Time : 0.0 sec. user=mdettweiler [2015-10-08 19:42:02] 743*2^1411456-1 is not prime. Res64: 8B8EB8ED0DD0D56F Time : 0.0 sec. user=mdettweiler [2015-10-08 19:42:32] 905*2^1411456-1 is not prime. Res64: 0C6BFFB99BBE175B Time : 0.0 sec. user=mdettweiler [2015-10-08 19:42:32] 965*2^1411456-1 is not prime. Res64: 307900D434637130 Time : 0.0 sec. user=mdettweiler [2015-10-08 19:42:59] 993*2^1411456-1 is not prime. Res64: 181C77C835B4D3C8 Time : 0.0 sec. user=mdettweiler [2015-10-08 19:43:00] 631*2^1411457-1 is not prime. Res64: 5ECA3D735C9210EE Time : 0.0 sec. user=mdettweiler [2015-10-08 19:44:21] 685*2^1411457-1 is not prime. Res64: 6E697A66E9FBAB46 Time : 0.0 sec. user=mdettweiler [2015-10-08 19:44:21] 697*2^1411457-1 is not prime. Res64: 70829FD22CD1211E Time : 0.0 sec. user=mdettweiler [2015-10-08 20:00:02] 769*2^1411457-1 is not prime. Res64: E04B52E95D993AE5 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:00:03] 795*2^1411457-1 is not prime. Res64: 642A64D850835FE9 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:00:30] 837*2^1411457-1 is not prime. Res64: 8187A0FEF04DA755 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:00:30] 725*2^1411458-1 is not prime. Res64: 89B02EFA0EDA5EC0 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:00:54] 797*2^1411458-1 is not prime. Res64: 879FDA55B326E656 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:00:55] 971*2^1411458-1 is not prime. Res64: 204345A97147C242 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:02:17] 603*2^1411459-1 is not prime. Res64: 0F5957BA5CD97C51 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:02:18] 633*2^1411459-1 is not prime. Res64: F1DB8162EFD3464F Time : 0.0 sec. user=mdettweiler [2015-10-08 20:17:56] 645*2^1411459-1 is not prime. Res64: 0AC1113DA0753932 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:17:56] 691*2^1411459-1 is not prime. Res64: 5E79DD0594D90C93 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:18:26] 723*2^1411459-1 is not prime. Res64: D918127F11F5F472 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:18:26] 769*2^1411459-1 is not prime. Res64: 368A8CB16096ADA8 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:18:48] 789*2^1411459-1 is not prime. Res64: 077DA0CB01F5E193 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:18:48] 835*2^1411459-1 is not prime. Res64: C7E5E6F777530483 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:20:17] 919*2^1411459-1 is not prime. Res64: D86358B0EC1F5DBD Time : 0.0 sec. user=mdettweiler [2015-10-08 20:20:18] 665*2^1411460-1 is not prime. Res64: E2732EF374F5628C Time : 0.0 sec. user=mdettweiler [2015-10-08 20:35:55] 675*2^1411460-1 is not prime. Res64: 5D85781519D7A62E Time : 0.0 sec. user=mdettweiler [2015-10-08 20:35:55] 819*2^1411460-1 is not prime. Res64: 68DCC98DD29B4661 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:36:26] 843*2^1411460-1 is not prime. Res64: 12D474F76D34E75E Time : 0.0 sec. user=mdettweiler [2015-10-08 20:36:27] 959*2^1411460-1 is not prime. Res64: 35A7C46D2760DB90 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:36:46] 983*2^1411460-1 is not prime. Res64: 8D2D84B5E86CE66B Time : 0.0 sec. user=mdettweiler [2015-10-08 20:36:46] 615*2^1411461-1 is not prime. Res64: 293481C4DF912F88 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:38:16] 711*2^1411461-1 is not prime. Res64: 573E4511DF2D8E12 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:38:17] 741*2^1411461-1 is not prime. Res64: 93C05A1D8697BB57 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:53:52] 789*2^1411461-1 is not prime. Res64: C070807886E013F6 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:53:52] 991*2^1411461-1 is not prime. Res64: B9BC62FF853C1C7D Time : 0.0 sec. user=mdettweiler [2015-10-08 20:54:29] 801*2^1411462-1 is not prime. Res64: 68EFD3CA3695E449 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:54:30] 843*2^1411462-1 is not prime. Res64: FC2854C46F421DD5 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:54:41] 867*2^1411462-1 is not prime. Res64: 7A01B7BDE8A06B58 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:54:42] 881*2^1411462-1 is not prime. Res64: EA4C47A4829CD5B1 Time : 0.0 sec. user=mdettweiler [2015-10-08 20:56:27] 957*2^1411462-1 is not prime. Res64: 93AA663FDECB089B Time : 0.0 sec. user=mdettweiler [2015-10-08 20:56:28] 619*2^1411463-1 is not prime. Res64: 409B51E8B30A4ED3 Time : 0.0 sec. user=mdettweiler [2015-10-08 21:11:55] 663*2^1411463-1 is not prime. Res64: 1F77DFDB7045A5AD Time : 0.0 sec. user=mdettweiler [2015-10-08 21:11:55] 693*2^1411463-1 is not prime. Res64: 0EEDBCC91867C386 Time : 0.0 sec. user=mdettweiler [2015-10-08 21:12:19] 813*2^1411463-1 is not prime. Res64: 10F3569EC74CA5BE Time : 0.0 sec. user=mdettweiler [2015-10-08 21:12:19] 915*2^1411463-1 is not prime. Res64: 4BC9533FC4880953 Time : 0.0 sec. user=mdettweiler [2015-10-08 21:12:38] 657*2^1411464-1 is not prime. Res64: 6D7C953F3BD32CD6 Time : 0.0 sec. user=mdettweiler [2015-10-08 21:12:39] 773*2^1411464-1 is not prime. Res64: 2C30E18173587CC0 Time : 0.0 sec. user=mdettweiler [2015-10-08 21:14:27] 795*2^1411464-1 is not prime. Res64: 06BAD997718E49D6 Time : 0.0 sec. user=mdettweiler [2015-10-08 21:14:28] 927*2^1411464-1 is not prime. Res64: E840259D56158CB9 Time : 0.0 sec. user=mdettweiler [2015-10-08 21:29:56] 801*2^1411465-1 is not prime. Res64: 9E6656954B86F8A1 Time : 0.0 sec. user=mdettweiler [2015-10-08 21:29:57] 885*2^1411465-1 is not prime. Res64: 6502D2B617AFAC0D Time : 0.0 sec. user=mdettweiler [2015-10-08 21:30:14] 671*2^1411466-1 is not prime. Res64: 78DEF554ADFD9C0E Time : 0.0 sec. user=mdettweiler [2015-10-08 21:30:14] 911*2^1411466-1 is not prime. Res64: FA57A36AB382E755 Time : 0.0 sec. user=mdettweiler [2015-10-08 21:30:36] 923*2^1411466-1 is not prime. Res64: D5912095330BFBF9 Time : 0.0 sec. user=mdettweiler [2015-10-08 21:30:37] 609*2^1411467-1 is not prime. Res64: 305A950269316030 Time : 0.0 sec. user=mdettweiler [2015-10-08 21:32:29] 625*2^1411467-1 is not prime. Res64: 4FC1ECBCDD61404B Time : 0.0 sec. user=mdettweiler [2015-10-08 21:32:29] 751*2^1411467-1 is not prime. Res64: AC3776AF9F475894 Time : 0.0 sec. user=mdettweiler [2015-10-08 21:47:56] 849*2^1411467-1 is not prime. Res64: D316A880DEE9F41D Time : 0.0 sec. user=mdettweiler [2015-10-08 21:47:57] 945*2^1411467-1 is not prime. Res64: 83FE0CDC28823A64 Time : 0.0 sec. user=mdettweiler [2015-10-08 21:48:16] 603*2^1411468-1 is not prime. Res64: BAE014E357EAB7FB Time : 0.0 sec. user=mdettweiler [2015-10-08 21:48:17] 615*2^1411468-1 is not prime. Res64: 292F8EFDD2FFB524 Time : 0.0 sec. user=mdettweiler [2015-10-08 21:48:32] 687*2^1411468-1 is not prime. Res64: 4EF4843A87FA62B8 Time : 0.0 sec. user=mdettweiler [2015-10-08 21:48:32] 689*2^1411468-1 is not prime. Res64: C2831EBE9CA86D7E Time : 0.0 sec. user=mdettweiler [2015-10-08 21:50:24] 621*2^1411469-1 is not prime. Res64: 5A78D091F0D36748 Time : 0.0 sec. user=mdettweiler [2015-10-08 21:50:25] 675*2^1411469-1 is not prime. Res64: C082099B084DA39F Time : 0.0 sec. user=mdettweiler [2015-10-08 22:05:51] 727*2^1411469-1 is not prime. Res64: 2B4F468F8F9A6D32 Time : 0.0 sec. user=mdettweiler [2015-10-08 22:05:52] 627*2^1411470-1 is not prime. Res64: 07985FE89C88858D Time : 0.0 sec. user=mdettweiler [2015-10-08 22:06:13] 677*2^1411470-1 is not prime. Res64: 97CB057B74A7B22C Time : 0.0 sec. user=mdettweiler [2015-10-08 22:06:14] 713*2^1411470-1 is not prime. Res64: F85BCBB265527F5D Time : 0.0 sec. user=mdettweiler [2015-10-08 22:06:29] 725*2^1411470-1 is not prime. Res64: E81D21E37A71122E Time : 0.0 sec. user=mdettweiler [2015-10-08 22:06:29] 765*2^1411470-1 is not prime. Res64: 68F48A13145418A3 Time : 0.0 sec. user=mdettweiler [2015-10-08 22:08:15] 783*2^1411470-1 is not prime. Res64: 69926E234787C98A Time : 0.0 sec. user=mdettweiler [2015-10-08 22:08:15] 845*2^1411470-1 is not prime. Res64: B8B7375D540E2D8D Time : 0.0 sec. user=mdettweiler [2015-10-08 22:23:54] 921*2^1411470-1 is not prime. Res64: 57B1831355024966 Time : 0.0 sec. user=mdettweiler [2015-10-08 22:23:54] 977*2^1411470-1 is not prime. Res64: 7470C24CCB00E026 Time : 0.0 sec. user=mdettweiler [2015-10-08 22:24:07] 651*2^1411471-1 is not prime. Res64: 064A5903A9F8305C Time : 0.0 sec. user=mdettweiler [2015-10-08 22:24:08] 679*2^1411471-1 is not prime. Res64: C99B2004564D913B Time : 0.0 sec. user=mdettweiler [2015-10-08 22:24:40] 775*2^1411471-1 is not prime. Res64: 49C4661D8613C844 Time : 0.0 sec. user=mdettweiler [2015-10-08 22:24:40] 811*2^1411471-1 is not prime. Res64: FEC8B3E54DFEBEAD Time : 0.0 sec. user=mdettweiler [2015-10-08 22:26:16] 849*2^1411471-1 is not prime. Res64: 3859ED5F2A7C0759 Time : 0.0 sec. user=mdettweiler [2015-10-08 22:26:16] 871*2^1411471-1 is not prime. Res64: A0BDE0314BA6B749 Time : 0.0 sec. user=mdettweiler [2015-10-08 22:41:48] 951*2^1411471-1 is not prime. Res64: DA99FEAE968B8664 Time : 0.0 sec. user=mdettweiler [2015-10-08 22:41:48] 623*2^1411472-1 is not prime. Res64: ED20878BEA974D5C Time : 0.0 sec. user=mdettweiler [2015-10-08 22:42:02] 635*2^1411472-1 is not prime. Res64: E20A0386830645E0 Time : 0.0 sec. user=mdettweiler [2015-10-08 22:42:02] 665*2^1411472-1 is not prime. Res64: 3665B492D41ADA7C Time : 0.0 sec. user=mdettweiler [2015-10-08 22:42:39] 759*2^1411472-1 is not prime. Res64: A862D745C00893D1 Time : 0.0 sec. user=mdettweiler [2015-10-08 22:42:40] 935*2^1411472-1 is not prime. Res64: 14718FEE637AC57B Time : 0.0 sec. user=mdettweiler [2015-10-08 22:44:15] 727*2^1411473-1 is not prime. Res64: 5D76F3931802446C Time : 0.0 sec. user=mdettweiler [2015-10-08 22:44:15] 765*2^1411473-1 is not prime. Res64: A8CA46A07350178B Time : 0.0 sec. user=mdettweiler [2015-10-08 22:59:39] 789*2^1411473-1 is not prime. Res64: 54F0FF5D7BDB8A4A Time : 0.0 sec. user=mdettweiler [2015-10-08 22:59:40] 991*2^1411473-1 is not prime. Res64: 0A45B1F163AD6B3E Time : 0.0 sec. user=mdettweiler [2015-10-08 22:59:56] 999*2^1411473-1 is not prime. Res64: 35B07B48E013AB66 Time : 0.0 sec. user=mdettweiler [2015-10-08 22:59:56] 635*2^1411474-1 is not prime. Res64: 7E430E5664D4BF5D Time : 0.0 sec. user=mdettweiler [2015-10-08 23:00:38] 651*2^1411474-1 is not prime. Res64: 7875DDEB280397BA Time : 0.0 sec. user=mdettweiler [2015-10-08 23:00:39] 695*2^1411474-1 is not prime. Res64: 43CD4906AF88AD45 Time : 0.0 sec. user=mdettweiler [2015-10-08 23:02:20] 701*2^1411474-1 is not prime. Res64: FAF97493AE6E90AF Time : 0.0 sec. user=mdettweiler [2015-10-08 23:02:21] 833*2^1411474-1 is not prime. Res64: B659D32C9D74BA18 Time : 0.0 sec. user=mdettweiler [2015-10-08 23:17:44] 971*2^1411474-1 is not prime. Res64: 4FB25EB19BF8402F Time : 0.0 sec. user=mdettweiler [2015-10-08 23:17:44] 771*2^1411475-1 is not prime. Res64: 081030A4001136E8 Time : 0.0 sec. user=mdettweiler [2015-10-08 23:17:47] 775*2^1411475-1 is not prime. Res64: 03DA0D0EB90DA490 Time : 0.0 sec. user=mdettweiler [2015-10-08 23:17:48] 871*2^1411475-1 is not prime. Res64: FA4E01634AD4E7E0 Time : 0.0 sec. user=mdettweiler [2015-10-08 23:18:40] 939*2^1411475-1 is not prime. Res64: CD8A9A0B255AFD80 Time : 0.0 sec. user=mdettweiler [2015-10-08 23:18:40] 609*2^1411476-1 is not prime. Res64: 1BBCB1D174246EB8 Time : 0.0 sec. user=mdettweiler [2015-10-08 23:20:33] 629*2^1411476-1 is not prime. Res64: A5422195B3C63359 Time : 0.0 sec. user=mdettweiler [2015-10-08 23:20:33] 635*2^1411476-1 is not prime. Res64: 6A37174B59BF179A Time : 0.0 sec. user=mdettweiler [2015-10-08 23:37:01] 639*2^1411476-1 is not prime. Res64: A5F230E8DFFD4415 Time : 0.0 sec. user=mdettweiler [2015-10-08 23:37:01] 719*2^1411476-1 is not prime. Res64: B9C5D813133870E4 Time : 0.0 sec. user=mdettweiler [2015-10-08 23:37:32] 615*2^1411477-1 is not prime. Res64: 223842FF581FDB53 Time : 0.0 sec. user=mdettweiler [2015-10-08 23:37:33] 619*2^1411477-1 is not prime. Res64: C8B130A728C32D49 Time : 0.0 sec. user=mdettweiler [2015-10-08 23:38:04] 649*2^1411477-1 is not prime. Res64: B87CD313139C151E Time : 0.0 sec. user=mdettweiler [2015-10-08 23:38:04] 685*2^1411477-1 is not prime. Res64: 91DA6ACD3FABE368 Time : 0.0 sec. user=mdettweiler [2015-10-08 23:39:49] 717*2^1411477-1 is not prime. Res64: DC8AD24FAE378F99 Time : 0.0 sec. user=mdettweiler [2015-10-08 23:39:50] 747*2^1411477-1 is not prime. Res64: 66E8CBF68AC73B51 Time : 0.0 sec. user=mdettweiler [2015-10-08 23:56:14] 751*2^1411477-1 is not prime. Res64: 47F357B360FAE6A1 Time : 0.0 sec. user=mdettweiler [2015-10-08 23:56:14] 831*2^1411477-1 is not prime. Res64: AA117278A90BF0D8 Time : 0.0 sec. user=mdettweiler [2015-10-08 23:56:50] 657*2^1411478-1 is not prime. Res64: 6778CB6BA558CC81 Time : 0.0 sec. user=mdettweiler [2015-10-08 23:56:50] 731*2^1411478-1 is not prime. Res64: B1832B85A8E9E11E Time : 0.0 sec. user=mdettweiler [2015-10-08 23:57:32] 773*2^1411478-1 is not prime. Res64: E79C24591CCE7C79 Time : 0.0 sec. user=mdettweiler [2015-10-08 23:57:33] 1001*2^1411478-1 is not prime. Res64: 28CDF344BF411E29 Time : 0.0 sec. user=mdettweiler [2015-10-08 23:59:56] 615*2^1411479-1 is not prime. Res64: D67AE4A947DE1474 Time : 0.0 sec. user=mdettweiler [2015-10-08 23:59:56] 685*2^1411479-1 is not prime. Res64: 754C22DD2EF6584D Time : 0.0 sec.