user=mdettweiler [2015-10-19 00:16:02] 765*2^1412563-1 is not prime. Res64: 7E1B9B6FBEF7C43C Time : 0.0 sec. user=mdettweiler [2015-10-19 00:16:03] 769*2^1412563-1 is not prime. Res64: 67C37F52E4424DBB Time : 0.0 sec. user=mdettweiler [2015-10-19 00:16:05] 681*2^1412563-1 is not prime. Res64: F16022FAA2831516 Time : 0.0 sec. user=mdettweiler [2015-10-19 00:16:06] 699*2^1412563-1 is not prime. Res64: A506EEC032365DAC Time : 0.0 sec. user=mdettweiler [2015-10-19 00:18:26] 789*2^1412563-1 is not prime. Res64: 1C4CE427F2EACA00 Time : 0.0 sec. user=mdettweiler [2015-10-19 00:18:27] 859*2^1412563-1 is not prime. Res64: AA84EE554A9AA711 Time : 0.0 sec. user=mdettweiler [2015-10-19 00:18:57] 913*2^1412563-1 is not prime. Res64: 65DF1AFE4EBECF73 Time : 0.0 sec. user=mdettweiler [2015-10-19 00:18:57] 939*2^1412563-1 is not prime. Res64: 950C4B21F7DD7016 Time : 0.0 sec. user=mdettweiler [2015-10-19 00:34:00] 825*2^1412564-1 is not prime. Res64: D64E34AC6E1E2EAB Time : 0.0 sec. user=mdettweiler [2015-10-19 00:34:00] 627*2^1412565-1 is not prime. Res64: C78C8E1A1FB21815 Time : 0.0 sec. user=mdettweiler [2015-10-19 00:34:06] 685*2^1412565-1 is not prime. Res64: B4CC2A4F50579B34 Time : 0.0 sec. user=mdettweiler [2015-10-19 00:34:07] 741*2^1412565-1 is not prime. Res64: 1DEF71C2A4397A36 Time : 0.0 sec. user=mdettweiler [2015-10-19 00:36:40] 861*2^1412565-1 is not prime. Res64: 96901E985871482A Time : 0.0 sec. user=mdettweiler [2015-10-19 00:36:40] 997*2^1412565-1 is not prime. Res64: 1DB29A9E1EB8D527 Time : 0.0 sec. user=mdettweiler [2015-10-19 00:36:52] 765*2^1412566-1 is not prime. Res64: 5B1346B6D18BED5D Time : 0.0 sec. user=mdettweiler [2015-10-19 00:36:53] 825*2^1412566-1 is not prime. Res64: 296BB968367E8314 Time : 0.0 sec. user=mdettweiler [2015-10-19 00:51:56] 867*2^1412566-1 is not prime. Res64: 8CE064DAB48B0D25 Time : 0.0 sec. user=mdettweiler [2015-10-19 00:51:57] 873*2^1412566-1 is not prime. Res64: 933FFD9B743C4B88 Time : 0.0 sec. user=mdettweiler [2015-10-19 00:52:12] 891*2^1412566-1 is not prime. Res64: 60FE382EF60D58E0 Time : 0.0 sec. user=mdettweiler [2015-10-19 00:52:12] 633*2^1412567-1 is not prime. Res64: E3F6424C90CED2B0 Time : 0.0 sec. user=mdettweiler [2015-10-19 00:54:35] 739*2^1412567-1 is not prime. Res64: E96B8E0125821C4F Time : 0.0 sec. user=mdettweiler [2015-10-19 00:54:35] 759*2^1412567-1 is not prime. Res64: 8F76662688EDEF31 Time : 0.0 sec. user=mdettweiler [2015-10-19 00:54:51] 945*2^1412567-1 is not prime. Res64: FF34092414B04BDD Time : 0.0 sec. user=mdettweiler [2015-10-19 00:54:52] 665*2^1412568-1 is not prime. Res64: B11F9508241D838C Time : 0.0 sec. user=mdettweiler [2015-10-19 01:09:54] 669*2^1412568-1 is not prime. Res64: BE987EABEA1FF6FD Time : 0.0 sec. user=mdettweiler [2015-10-19 01:09:55] 689*2^1412568-1 is not prime. Res64: D245D901EAFBEECA Time : 0.0 sec. user=mdettweiler [2015-10-19 01:10:03] 759*2^1412568-1 is not prime. Res64: 5772656C8E61402D Time : 0.0 sec. user=mdettweiler [2015-10-19 01:10:05] 803*2^1412568-1 is not prime. Res64: 8679D430FE1324C6 Time : 0.0 sec. user=mdettweiler [2015-10-19 01:12:28] 849*2^1412568-1 is not prime. Res64: 3E069542C06BC4DA Time : 0.0 sec. user=mdettweiler [2015-10-19 01:12:29] 927*2^1412568-1 is not prime. Res64: 2FE906B902DBB74E Time : 0.0 sec. user=mdettweiler [2015-10-19 01:12:45] 945*2^1412568-1 is not prime. Res64: D6AF7DDE6740F49D Time : 0.0 sec. user=mdettweiler [2015-10-19 01:12:45] 993*2^1412568-1 is not prime. Res64: 5D3FB1A67D8D3BBF Time : 0.0 sec. user=mdettweiler [2015-10-19 01:28:05] 615*2^1412569-1 is not prime. Res64: 4D408CC48BCCAE6D Time : 0.0 sec. user=mdettweiler [2015-10-19 01:28:06] 619*2^1412569-1 is not prime. Res64: E2C0F332D4BB2A72 Time : 0.0 sec. user=mdettweiler [2015-10-19 01:28:08] 721*2^1412569-1 is not prime. Res64: 39C13F5679D823FE Time : 0.0 sec. user=mdettweiler [2015-10-19 01:28:09] 817*2^1412569-1 is not prime. Res64: 41D9DBE86D19282C Time : 0.0 sec. user=mdettweiler [2015-10-19 01:30:26] 867*2^1412569-1 is not prime. Res64: CDD7F7FB8EA43097 Time : 0.0 sec. user=mdettweiler [2015-10-19 01:30:28] 945*2^1412569-1 is not prime. Res64: 2A9311CD21779A28 Time : 0.0 sec. user=mdettweiler [2015-10-19 01:30:36] 967*2^1412569-1 is not prime. Res64: 7505F763AA1C97E9 Time : 0.0 sec. user=mdettweiler [2015-10-19 01:30:38] 999*2^1412569-1 is not prime. Res64: DE25CE48D753AF1A Time : 0.0 sec. user=mdettweiler [2015-10-19 01:46:14] 603*2^1412570-1 is not prime. Res64: 27DB04062E55F625 Time : 0.0 sec. user=mdettweiler [2015-10-19 01:46:15] 755*2^1412570-1 is not prime. Res64: D6FB474789B29D7F Time : 0.0 sec. user=mdettweiler [2015-10-19 01:46:23] 773*2^1412570-1 is not prime. Res64: ED860419CACCCABB Time : 0.0 sec. user=mdettweiler [2015-10-19 01:46:23] 977*2^1412570-1 is not prime. Res64: 84DA1859887F8427 Time : 0.0 sec. user=mdettweiler [2015-10-19 01:48:26] 789*2^1412571-1 is not prime. Res64: 2BD4C16B1B3B8A69 Time : 0.0 sec. user=mdettweiler [2015-10-19 01:48:26] 871*2^1412571-1 is not prime. Res64: 71D044968E6632BB Time : 0.0 sec. user=mdettweiler [2015-10-19 01:48:37] 969*2^1412571-1 is not prime. Res64: FE9B2D260B22149C Time : 0.0 sec. user=mdettweiler [2015-10-19 01:48:38] 973*2^1412571-1 is not prime. Res64: E76B226F139CB858 Time : 0.0 sec. user=mdettweiler [2015-10-19 02:04:08] 615*2^1412572-1 is not prime. Res64: C13828B3653A9C7C Time : 0.0 sec. user=mdettweiler [2015-10-19 02:04:09] 647*2^1412572-1 is not prime. Res64: 7E2026680C586B73 Time : 0.0 sec. user=mdettweiler [2015-10-19 02:04:23] 693*2^1412572-1 is not prime. Res64: 8238314B6D523946 Time : 0.0 sec. user=mdettweiler [2015-10-19 02:04:25] 719*2^1412572-1 is not prime. Res64: F6543C71DA34D122 Time : 0.0 sec. user=mdettweiler [2015-10-19 02:06:36] 957*2^1412572-1 is not prime. Res64: 68EAD4DC062FB09B Time : 0.0 sec. user=mdettweiler [2015-10-19 02:06:38] 729*2^1412573-1 is not prime. Res64: 0204EB0D3232E1D3 Time : 0.0 sec. user=mdettweiler [2015-10-19 02:06:40] 875*2^1412572-1 is not prime. Res64: FC03340BF611DAAD Time : 0.0 sec. user=mdettweiler [2015-10-19 02:06:41] 897*2^1412572-1 is not prime. Res64: C6D7ACD39CCB58BC Time : 0.0 sec. user=mdettweiler [2015-10-19 02:23:15] 771*2^1412573-1 is not prime. Res64: C68EB0C9C1CFE87B Time : 0.0 sec. user=mdettweiler [2015-10-19 02:23:15] 789*2^1412573-1 is not prime. Res64: 4B506089318270FE Time : 0.0 sec. user=mdettweiler [2015-10-19 02:23:26] 745*2^1412573-1 is not prime. Res64: 87A3E03F11D6FBF3 Time : 0.0 sec. user=mdettweiler [2015-10-19 02:23:26] 759*2^1412573-1 is not prime. Res64: 92BF8A02FC7FEC5D Time : 0.0 sec. user=mdettweiler [2015-10-19 02:25:24] 811*2^1412573-1 is not prime. Res64: 841061669B365895 Time : 0.0 sec. user=mdettweiler [2015-10-19 02:25:24] 889*2^1412573-1 is not prime. Res64: 598708803536E5F7 Time : 0.0 sec. user=mdettweiler [2015-10-19 02:25:42] 939*2^1412573-1 is not prime. Res64: 9DA23AFBD540D59F Time : 0.0 sec. user=mdettweiler [2015-10-19 02:25:43] 605*2^1412574-1 is not prime. Res64: B9245687E88B5E13 Time : 0.0 sec. user=mdettweiler [2015-10-19 02:41:12] 615*2^1412574-1 is not prime. Res64: 4AF465DC67FC0D5B Time : 0.0 sec. user=mdettweiler [2015-10-19 02:41:12] 641*2^1412574-1 is not prime. Res64: 973AF666E6F241FB Time : 0.0 sec. user=mdettweiler [2015-10-19 02:41:15] 723*2^1412574-1 is not prime. Res64: 013AC03AA659683A Time : 0.0 sec. user=mdettweiler [2015-10-19 02:41:16] 797*2^1412574-1 is not prime. Res64: 1CDED1A993E06312 Time : 0.0 sec. user=mdettweiler [2015-10-19 02:43:15] 893*2^1412574-1 is not prime. Res64: 0E1190A0D1282863 Time : 0.0 sec. user=mdettweiler [2015-10-19 02:43:15] 675*2^1412575-1 is not prime. Res64: F0E206A27899C58C Time : 0.0 sec. user=mdettweiler [2015-10-19 02:43:30] 705*2^1412575-1 is not prime. Res64: 03F431A192FB5BC1 Time : 0.0 sec. user=mdettweiler [2015-10-19 02:43:31] 751*2^1412575-1 is not prime. Res64: 5BCB9FA26DE4C2F2 Time : 0.0 sec. user=mdettweiler [2015-10-19 02:59:05] 819*2^1412575-1 is not prime. Res64: 00F895C77F044C20 Time : 0.0 sec. user=mdettweiler [2015-10-19 02:59:05] 831*2^1412575-1 is not prime. Res64: A68F32E8AECCB085 Time : 0.0 sec. user=mdettweiler [2015-10-19 02:59:10] 843*2^1412575-1 is not prime. Res64: 4B6CECB2FD783A71 Time : 0.0 sec. user=mdettweiler [2015-10-19 02:59:10] 609*2^1412576-1 is not prime. Res64: 184892F08506B308 Time : 0.0 sec. user=mdettweiler [2015-10-19 03:01:03] 623*2^1412576-1 is not prime. Res64: 15EA14BE5D7DD2D4 Time : 0.0 sec. user=mdettweiler [2015-10-19 03:01:04] 717*2^1412576-1 is not prime. Res64: E3624440FFB3C7F7 Time : 0.0 sec. user=mdettweiler [2015-10-19 03:01:26] 873*2^1412576-1 is not prime. Res64: A15DA6B74B480270 Time : 0.0 sec. user=mdettweiler [2015-10-19 03:01:26] 923*2^1412576-1 is not prime. Res64: E054FF35EA795DEA Time : 0.0 sec. user=mdettweiler [2015-10-19 03:16:56] 777*2^1412577-1 is not prime. Res64: B6718B320052D2DD Time : 0.0 sec. user=mdettweiler [2015-10-19 03:16:56] 781*2^1412577-1 is not prime. Res64: 7CB2F7C0CAC6AE83 Time : 0.0 sec. user=mdettweiler [2015-10-19 03:17:00] 871*2^1412577-1 is not prime. Res64: 6DF7162456779492 Time : 0.0 sec. user=mdettweiler [2015-10-19 03:17:00] 901*2^1412577-1 is not prime. Res64: 3B1260C71AD6259E Time : 0.0 sec. user=mdettweiler [2015-10-19 03:18:56] 975*2^1412577-1 is not prime. Res64: 87083F45CE5B4558 Time : 0.0 sec. user=mdettweiler [2015-10-19 03:18:57] 991*2^1412577-1 is not prime. Res64: 408FC20DC21D5042 Time : 0.0 sec. user=mdettweiler [2015-10-19 03:19:20] 705*2^1412578-1 is not prime. Res64: 9350425C08DC7014 Time : 0.0 sec. user=mdettweiler [2015-10-19 03:19:20] 713*2^1412578-1 is not prime. Res64: AE64AEAB250543A2 Time : 0.0 sec. user=mdettweiler [2015-10-19 03:34:48] 755*2^1412578-1 is not prime. Res64: AC1FF546AFF467D0 Time : 0.0 sec. user=mdettweiler [2015-10-19 03:34:49] 791*2^1412578-1 is not prime. Res64: 21511A38BB253DA6 Time : 0.0 sec. user=mdettweiler [2015-10-19 03:34:51] 861*2^1412578-1 is not prime. Res64: F6D60498EBA0CED7 Time : 0.0 sec. user=mdettweiler [2015-10-19 03:34:52] 911*2^1412578-1 is not prime. Res64: 899C27804FCF461C Time : 0.0 sec. user=mdettweiler [2015-10-19 03:36:51] 675*2^1412579-1 is not prime. Res64: B93DA17CB37353CC Time : 0.0 sec. user=mdettweiler [2015-10-19 03:36:52] 685*2^1412579-1 is not prime. Res64: 737254E8A4842B4E Time : 0.0 sec. user=mdettweiler [2015-10-19 03:37:24] 705*2^1412579-1 is not prime. Res64: 8124C58AE6AF9934 Time : 0.0 sec. user=mdettweiler [2015-10-19 03:37:25] 741*2^1412579-1 is not prime. Res64: 42F022A6484457BC Time : 0.0 sec. user=mdettweiler [2015-10-19 03:52:54] 979*2^1412579-1 is not prime. Res64: 2C1B5436E8E94E78 Time : 0.0 sec. user=mdettweiler [2015-10-19 03:52:54] 669*2^1412580-1 is not prime. Res64: 6058E9B288EA6E3A Time : 0.0 sec. user=mdettweiler [2015-10-19 03:52:56] 775*2^1412579-1 is not prime. Res64: 383D24A4F7A01DD8 Time : 0.0 sec. user=mdettweiler [2015-10-19 03:52:56] 843*2^1412579-1 is not prime. Res64: D8F55794E223AE8B Time : 0.0 sec. user=mdettweiler [2015-10-19 03:54:44] 675*2^1412580-1 is not prime. Res64: 49A50B70F376228D Time : 0.0 sec. user=mdettweiler [2015-10-19 03:54:44] 695*2^1412580-1 is not prime. Res64: 1214915F65A2FF6F Time : 0.0 sec. user=mdettweiler [2015-10-19 03:55:18] 773*2^1412580-1 is not prime. Res64: 8107A5C0CFB9A21D Time : 0.0 sec. user=mdettweiler [2015-10-19 03:55:19] 797*2^1412580-1 is not prime. Res64: D480576C348F09C4 Time : 0.0 sec. user=mdettweiler [2015-10-19 04:10:46] 845*2^1412580-1 is not prime. Res64: 9C034B041037F3FF Time : 0.0 sec. user=mdettweiler [2015-10-19 04:10:47] 915*2^1412580-1 is not prime. Res64: 76C9FF5572C182EE Time : 0.0 sec. user=mdettweiler [2015-10-19 04:10:55] 945*2^1412580-1 is not prime. Res64: C8CCCACD0817DAB0 Time : 0.0 sec. user=mdettweiler [2015-10-19 04:10:55] 607*2^1412581-1 is not prime. Res64: A3D748D4316A8459 Time : 0.0 sec. user=mdettweiler [2015-10-19 04:12:32] 649*2^1412581-1 is not prime. Res64: 96F43F1EF20E9FC0 Time : 0.0 sec. user=mdettweiler [2015-10-19 04:12:32] 651*2^1412581-1 is not prime. Res64: BE3A0597BBCB0996 Time : 0.0 sec. user=mdettweiler [2015-10-19 04:13:02] 691*2^1412581-1 is not prime. Res64: 3E8385BA4612D97B Time : 0.0 sec. user=mdettweiler [2015-10-19 04:13:03] 747*2^1412581-1 is not prime. Res64: 7DF4FF8113A9FCD6 Time : 0.0 sec. user=mdettweiler [2015-10-19 04:28:42] 931*2^1412581-1 is not prime. Res64: 33D47AFE87AA0B7B Time : 0.0 sec. user=mdettweiler [2015-10-19 04:28:42] 951*2^1412581-1 is not prime. Res64: 04BB950182F78351 Time : 0.0 sec. user=mdettweiler [2015-10-19 04:28:47] 987*2^1412581-1 is not prime. Res64: B597874F9A1538A8 Time : 0.0 sec. user=mdettweiler [2015-10-19 04:28:47] 705*2^1412582-1 is not prime. Res64: 529A4FD6502B1B91 Time : 0.0 sec. user=mdettweiler [2015-10-19 04:30:23] 797*2^1412582-1 is not prime. Res64: AE57118569B6C864 Time : 0.0 sec. user=mdettweiler [2015-10-19 04:30:24] 813*2^1412582-1 is not prime. Res64: 1D8688157BDF87E7 Time : 0.0 sec. user=mdettweiler [2015-10-19 04:30:53] 843*2^1412582-1 is not prime. Res64: CCAE8903CEA4DF9B Time : 0.0 sec. user=mdettweiler [2015-10-19 04:30:54] 911*2^1412582-1 is not prime. Res64: A25013448EEB78FC Time : 0.0 sec. user=mdettweiler [2015-10-19 04:46:32] 945*2^1412582-1 is not prime. Res64: A884BB1A964A52A2 Time : 0.0 sec. user=mdettweiler [2015-10-19 04:46:32] 953*2^1412582-1 is not prime. Res64: 7C21EB4C7EE79940 Time : 0.0 sec. user=mdettweiler [2015-10-19 04:46:36] 619*2^1412583-1 is not prime. Res64: B1531773D3D0A47B Time : 0.0 sec. user=mdettweiler [2015-10-19 04:46:37] 649*2^1412583-1 is not prime. Res64: E27621466CBC8487 Time : 0.0 sec. user=mdettweiler [2015-10-19 04:48:11] 691*2^1412583-1 is not prime. Res64: 33CE7C8702B37E64 Time : 0.0 sec. user=mdettweiler [2015-10-19 04:48:12] 765*2^1412583-1 is not prime. Res64: FB749E70D8EDFB8F Time : 0.0 sec. user=mdettweiler [2015-10-19 04:48:41] 859*2^1412583-1 is not prime. Res64: FBF70E6A6BEEE58E Time : 0.0 sec. user=mdettweiler [2015-10-19 04:48:42] 873*2^1412583-1 is not prime. Res64: 1704FA58B29D5A0A Time : 0.0 sec. user=mdettweiler [2015-10-19 05:04:19] 617*2^1412584-1 is not prime. Res64: ACB4878A8809EA0B Time : 0.0 sec. user=mdettweiler [2015-10-19 05:04:21] 635*2^1412584-1 is not prime. Res64: AF7E1CA3D2070F61 Time : 0.0 sec. user=mdettweiler [2015-10-19 05:04:38] 857*2^1412584-1 is not prime. Res64: 8350197000BCB346 Time : 0.0 sec. user=mdettweiler [2015-10-19 05:04:40] 869*2^1412584-1 is not prime. Res64: BCD3F62C2F7A3C22 Time : 0.0 sec. user=mdettweiler [2015-10-19 05:06:03] 939*2^1412584-1 is not prime. Res64: CB2D8AE35F3A4E5C Time : 0.0 sec. user=mdettweiler [2015-10-19 05:06:05] 669*2^1412585-1 is not prime. Res64: 5FF8AE07D8605FDC Time : 0.0 sec. user=mdettweiler [2015-10-19 05:06:29] 685*2^1412585-1 is not prime. Res64: 03D34E4FBE6C5182 Time : 0.0 sec. user=mdettweiler [2015-10-19 05:06:30] 691*2^1412585-1 is not prime. Res64: 64EDBC16F953EB63 Time : 0.0 sec. user=mdettweiler [2015-10-19 05:22:31] 787*2^1412585-1 is not prime. Res64: 8B36E32369C02E0E Time : 0.0 sec. user=mdettweiler [2015-10-19 05:22:32] 811*2^1412585-1 is not prime. Res64: 9E0506F87603D030 Time : 0.0 sec. user=mdettweiler [2015-10-19 05:22:39] 841*2^1412585-1 is not prime. Res64: A3C4C4843ECE8A82 Time : 0.0 sec. user=mdettweiler [2015-10-19 05:22:39] 937*2^1412585-1 is not prime. Res64: BDCCE8354AF22B82 Time : 0.0 sec. user=mdettweiler [2015-10-19 05:24:18] 627*2^1412586-1 is not prime. Res64: 58037852FF7C3AA3 Time : 0.0 sec. user=mdettweiler [2015-10-19 05:24:18] 735*2^1412586-1 is not prime. Res64: 6CA918A299D8B260 Time : 0.0 sec. user=mdettweiler [2015-10-19 05:24:30] 833*2^1412586-1 is not prime. Res64: AFDB9FC882D6F87E Time : 0.0 sec. user=mdettweiler [2015-10-19 05:24:30] 873*2^1412586-1 is not prime. Res64: 36C82E70C1B833BE Time : 0.0 sec. user=mdettweiler [2015-10-19 05:40:31] 891*2^1412586-1 is not prime. Res64: 2FBE5E0C6946B1C2 Time : 0.0 sec. user=mdettweiler [2015-10-19 05:40:32] 619*2^1412587-1 is not prime. Res64: 2309FC0ECF0A12AF Time : 0.0 sec. user=mdettweiler [2015-10-19 05:40:46] 651*2^1412587-1 is not prime. Res64: 5F26F7C34069AD2A Time : 0.0 sec. user=mdettweiler [2015-10-19 05:40:46] 765*2^1412587-1 is not prime. Res64: EC8B3079CA41578A Time : 0.0 sec. user=mdettweiler [2015-10-19 05:42:15] 793*2^1412587-1 is not prime. Res64: 7E8BA66FAFC07237 Time : 0.0 sec. user=mdettweiler [2015-10-19 05:42:15] 813*2^1412587-1 is not prime. Res64: 7B20F53AE8162960 Time : 0.0 sec. user=mdettweiler [2015-10-19 05:42:19] 871*2^1412587-1 is not prime. Res64: 4D52A56E98903E98 Time : 0.0 sec. user=mdettweiler [2015-10-19 05:42:20] 885*2^1412587-1 is not prime. Res64: BE06B005CA594765 Time : 0.0 sec. user=mdettweiler [2015-10-19 05:58:22] 931*2^1412587-1 is not prime. Res64: 62DA024CD07BEF31 Time : 0.0 sec. user=mdettweiler [2015-10-19 05:58:23] 999*2^1412587-1 is not prime. Res64: 24CD3CF619B768CA Time : 0.0 sec. user=mdettweiler [2015-10-19 05:58:40] 825*2^1412588-1 is not prime. Res64: 7C9FEBB7254454A5 Time : 0.0 sec. user=mdettweiler [2015-10-19 05:58:41] 839*2^1412588-1 is not prime. Res64: C57871826483991F Time : 0.0 sec. user=mdettweiler [2015-10-19 06:00:03] 867*2^1412588-1 is not prime. Res64: 933E68F759847D13 Time : 0.0 sec. user=mdettweiler [2015-10-19 06:00:04] 923*2^1412588-1 is not prime. Res64: 537C3E956F2AD89C Time : 0.0 sec. user=mdettweiler [2015-10-19 06:00:05] 953*2^1412588-1 is not prime. Res64: CB15F6B6310E0790 Time : 0.0 sec. user=mdettweiler [2015-10-19 06:00:05] 625*2^1412589-1 is not prime. Res64: 656BCBE816683A0F Time : 0.0 sec. user=mdettweiler [2015-10-19 06:16:22] 655*2^1412589-1 is not prime. Res64: 28152F99FCB94C31 Time : 0.0 sec. user=mdettweiler [2015-10-19 06:16:22] 787*2^1412589-1 is not prime. Res64: F758D2A925730533 Time : 0.0 sec. user=mdettweiler [2015-10-19 06:16:44] 865*2^1412589-1 is not prime. Res64: 7A1B5B0B312AD943 Time : 0.0 sec. user=mdettweiler [2015-10-19 06:16:45] 877*2^1412589-1 is not prime. Res64: 7DD2426B1EB9DF3E Time : 0.0 sec. user=mdettweiler [2015-10-19 06:18:04] 889*2^1412589-1 is not prime. Res64: A65BF004D58059FB Time : 0.0 sec. user=mdettweiler [2015-10-19 06:18:04] 961*2^1412589-1 is not prime. Res64: 136F7B52C008FC61 Time : 0.0 sec. user=mdettweiler [2015-10-19 06:18:05] 919*2^1412589-1 is not prime. Res64: 8CAD95455A2FECB4 Time : 0.0 sec. user=mdettweiler [2015-10-19 06:18:05] 999*2^1412589-1 is not prime. Res64: 868818EC3693E599 Time : 0.0 sec. user=mdettweiler [2015-10-19 06:34:22] 825*2^1412590-1 is not prime. Res64: F228231A0DC65199 Time : 0.0 sec. user=mdettweiler [2015-10-19 06:34:23] 891*2^1412590-1 is not prime. Res64: C537A856A631EA94 Time : 0.0 sec. user=mdettweiler [2015-10-19 06:34:38] 941*2^1412590-1 is not prime. Res64: F1373FFB109E8E63 Time : 0.0 sec. user=mdettweiler [2015-10-19 06:34:38] 957*2^1412590-1 is not prime. Res64: 0951999E2573B2DC Time : 0.0 sec. user=mdettweiler [2015-10-19 06:35:55] 973*2^1412591-1 is not prime. Res64: 9104516695C7A5EB Time : 0.0 sec. user=mdettweiler [2015-10-19 06:35:56] 609*2^1412592-1 is not prime. Res64: 46270018DB9167C8 Time : 0.0 sec. user=mdettweiler [2015-10-19 06:36:06] 669*2^1412591-1 is not prime. Res64: FB142D8E51833A6A Time : 0.0 sec. user=mdettweiler [2015-10-19 06:36:06] 789*2^1412591-1 is not prime. Res64: AE865A7515BC9B89 Time : 0.0 sec. user=mdettweiler [2015-10-19 06:52:19] 615*2^1412592-1 is not prime. Res64: BE2C8383778E41D2 Time : 0.0 sec. user=mdettweiler [2015-10-19 06:52:19] 767*2^1412592-1 is not prime. Res64: C025BD13C00EF563 Time : 0.0 sec. user=mdettweiler [2015-10-19 06:52:28] 909*2^1412592-1 is not prime. Res64: 8F6D323215952E83 Time : 0.0 sec. user=mdettweiler [2015-10-19 06:52:28] 975*2^1412592-1 is not prime. Res64: BD8AB44917FADC20 Time : 0.0 sec. user=mdettweiler [2015-10-19 06:53:50] 649*2^1412593-1 is not prime. Res64: 5F87A1130DE5FA1C Time : 0.0 sec. user=mdettweiler [2015-10-19 06:53:50] 651*2^1412593-1 is not prime. Res64: F3449AD25E58E2B8 Time : 0.0 sec. user=mdettweiler [2015-10-19 06:54:00] 983*2^1412592-1 is not prime. Res64: 6F9BD80223A1538A Time : 0.0 sec. user=mdettweiler [2015-10-19 06:54:00] 619*2^1412593-1 is not prime. Res64: E54EADDF9FB779DB Time : 0.0 sec. user=mdettweiler [2015-10-19 07:10:16] 819*2^1412593-1 is not prime. Res64: 05CAB19DA3CA508F Time : 0.0 sec. user=mdettweiler [2015-10-19 07:10:16] 861*2^1412593-1 is not prime. Res64: 8BD8AA1FB3D03B62 Time : 0.0 sec. user=mdettweiler [2015-10-19 07:10:20] 641*2^1412594-1 is not prime. Res64: 4FB17514F4289FCE Time : 0.0 sec. user=mdettweiler [2015-10-19 07:10:21] 677*2^1412594-1 is not prime. Res64: A05C27D9D70CA895 Time : 0.0 sec. user=mdettweiler [2015-10-19 07:11:41] 831*2^1412594-1 is not prime. Res64: 36BF62F3FA5E66DA Time : 0.0 sec. user=mdettweiler [2015-10-19 07:11:42] 903*2^1412594-1 is not prime. Res64: 123ECC5A980F414D Time : 0.0 sec. user=mdettweiler [2015-10-19 07:11:55] 923*2^1412594-1 is not prime. Res64: 3E5148A8D452A508 Time : 0.0 sec. user=mdettweiler [2015-10-19 07:11:55] 927*2^1412594-1 is not prime. Res64: F46762DB0028170E Time : 0.0 sec. user=mdettweiler [2015-10-19 07:28:12] 945*2^1412594-1 is not prime. Res64: 2A64603F84C14297 Time : 0.0 sec. user=mdettweiler [2015-10-19 07:28:13] 971*2^1412594-1 is not prime. Res64: EE693A49C04F1A49 Time : 0.0 sec. user=mdettweiler [2015-10-19 07:28:17] 983*2^1412594-1 is not prime. Res64: C2137349C2240890 Time : 0.0 sec. user=mdettweiler [2015-10-19 07:28:17] 649*2^1412595-1 is not prime. Res64: D3F34D320BB47FBA Time : 0.0 sec. user=mdettweiler [2015-10-19 07:29:31] 751*2^1412595-1 is not prime. Res64: 3BF5A071633DAF70 Time : 0.0 sec. user=mdettweiler [2015-10-19 07:29:31] 781*2^1412595-1 is not prime. Res64: 4DC73DF2AA525E2F Time : 0.0 sec. user=mdettweiler [2015-10-19 07:29:53] 789*2^1412595-1 is not prime. Res64: F115670F4DA1BD47 Time : 0.0 sec. user=mdettweiler [2015-10-19 07:29:53] 795*2^1412595-1 is not prime. Res64: A7C7321D36CC5C2D Time : 0.0 sec. user=mdettweiler [2015-10-19 07:46:11] 895*2^1412595-1 is not prime. Res64: 12F472EC2B620861 Time : 0.0 sec. user=mdettweiler [2015-10-19 07:46:12] 903*2^1412595-1 is not prime. Res64: 36E28335C72C1187 Time : 0.0 sec. user=mdettweiler [2015-10-19 07:46:13] 969*2^1412595-1 is not prime. Res64: F9BCCDB863A98D5A Time : 0.0 sec. user=mdettweiler [2015-10-19 07:46:14] 603*2^1412596-1 is not prime. Res64: B954801FE8ADFABC Time : 0.0 sec. user=mdettweiler [2015-10-19 07:47:17] 869*2^1412596-1 is not prime. Res64: 9C2AB17F7D215C27 Time : 0.0 sec. user=mdettweiler [2015-10-19 07:47:18] 873*2^1412596-1 is not prime. Res64: 3CF0B92088391885 Time : 0.0 sec. user=mdettweiler [2015-10-19 07:47:43] 909*2^1412596-1 is not prime. Res64: AADD0AC102675DBF Time : 0.0 sec. user=mdettweiler [2015-10-19 07:47:43] 953*2^1412596-1 is not prime. Res64: C4203C152C72F635 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:04:00] 769*2^1412597-1 is not prime. Res64: D68F8C96FE0A8520 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:04:02] 771*2^1412597-1 is not prime. Res64: BFFA80E9E3FDF158 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:04:04] 619*2^1412597-1 is not prime. Res64: 2110279DAE121E68 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:04:06] 651*2^1412597-1 is not prime. Res64: 13D05EEBB7404997 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:05:10] 829*2^1412597-1 is not prime. Res64: 65D0E9475DB9DECB Time : 0.0 sec. user=mdettweiler [2015-10-19 08:05:12] 837*2^1412597-1 is not prime. Res64: 4619D902212CC894 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:05:32] 847*2^1412597-1 is not prime. Res64: C15A01AC0DB1BE5D Time : 0.0 sec. user=mdettweiler [2015-10-19 08:05:33] 865*2^1412597-1 is not prime. Res64: 8C029967BA16A233 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:22:15] 939*2^1412597-1 is not prime. Res64: F14B9C40A544DC23 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:22:15] 863*2^1412598-1 is not prime. Res64: 469AE249324788D2 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:22:17] 923*2^1412598-1 is not prime. Res64: 87D2E11F6E64AF50 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:22:18] 945*2^1412598-1 is not prime. Res64: D29D02252E543650 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:23:03] 951*2^1412598-1 is not prime. Res64: F4868EAA5802AA80 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:23:04] 625*2^1412599-1 is not prime. Res64: 783F8FC2EEDF1720 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:23:31] 639*2^1412599-1 is not prime. Res64: BD07BE1EEDEE35BA Time : 0.0 sec. user=mdettweiler [2015-10-19 08:23:31] 741*2^1412599-1 is not prime. Res64: C5C777F59C88F790 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:40:06] 873*2^1412599-1 is not prime. Res64: 0417389521862CED Time : 0.0 sec. user=mdettweiler [2015-10-19 08:40:06] 885*2^1412599-1 is not prime. Res64: D1A7D001FEECF4C1 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:40:08] 615*2^1412600-1 is not prime. Res64: 798FBD4E9ED5E15A Time : 0.0 sec. user=mdettweiler [2015-10-19 08:40:08] 633*2^1412600-1 is not prime. Res64: B4B7C30F6AF27F26 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:40:54] 659*2^1412600-1 is not prime. Res64: B9672055F8E5A89F Time : 0.0 sec. user=mdettweiler [2015-10-19 08:40:54] 663*2^1412600-1 is not prime. Res64: 9B16053CC787D44E Time : 0.0 sec. user=mdettweiler [2015-10-19 08:41:29] 677*2^1412600-1 is not prime. Res64: 4C9D4D80D2C0E507 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:41:29] 797*2^1412600-1 is not prime. Res64: 2E6F323016C4D1BC Time : 0.0 sec. user=mdettweiler [2015-10-19 08:57:51] 839*2^1412600-1 is not prime. Res64: 17258E03584AD86B Time : 0.0 sec. user=mdettweiler [2015-10-19 08:57:51] 875*2^1412600-1 is not prime. Res64: EAB8C86F0109A1A5 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:58:01] 983*2^1412600-1 is not prime. Res64: F7B9756A84B146C4 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:58:01] 615*2^1412601-1 is not prime. Res64: 0B050C1B94984EC9 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:58:43] 685*2^1412601-1 is not prime. Res64: F899ED582C576265 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:58:43] 909*2^1412601-1 is not prime. Res64: FBCA16EBEE3E599C Time : 0.0 sec. user=mdettweiler [2015-10-19 08:59:17] 651*2^1412602-1 is not prime. Res64: A57FA2A544F78033 Time : 0.0 sec. user=mdettweiler [2015-10-19 08:59:18] 681*2^1412602-1 is not prime. Res64: 4037512E13F61CAF Time : 0.0 sec. user=mdettweiler [2015-10-19 09:15:37] 741*2^1412602-1 is not prime. Res64: CC8F08A417866EBD Time : 0.0 sec. user=mdettweiler [2015-10-19 09:15:37] 815*2^1412602-1 is not prime. Res64: CAC94AC6A1DF3299 Time : 0.0 sec. user=mdettweiler [2015-10-19 09:15:53] 833*2^1412602-1 is not prime. Res64: 87970192E6E0456A Time : 0.0 sec. user=mdettweiler [2015-10-19 09:15:54] 867*2^1412602-1 is not prime. Res64: 5ECA868D044B49D2 Time : 0.0 sec. user=mdettweiler [2015-10-19 09:16:33] 915*2^1412602-1 is not prime. Res64: 5E98C7BAAC2278A5 Time : 0.0 sec. user=mdettweiler [2015-10-19 09:16:33] 917*2^1412602-1 is not prime. Res64: 05288FFB877DCE0E Time : 0.0 sec. user=mdettweiler [2015-10-19 09:17:12] 981*2^1412602-1 is not prime. Res64: C2AC6D0B72440805 Time : 0.0 sec. user=mdettweiler [2015-10-19 09:17:12] 675*2^1412603-1 is not prime. Res64: 71C64249D622E3F7 Time : 0.0 sec. user=mdettweiler [2015-10-19 09:33:48] 753*2^1412603-1 is not prime. Res64: 9AC93921AF21180D Time : 0.0 sec. user=mdettweiler [2015-10-19 09:33:48] 789*2^1412603-1 is not prime. Res64: 06168C04376647EB Time : 0.0 sec. user=mdettweiler [2015-10-19 09:33:50] 693*2^1412603-1 is not prime. Res64: 1F962EECDFE10E26 Time : 0.0 sec. user=mdettweiler [2015-10-19 09:33:51] 739*2^1412603-1 is not prime. Res64: 2C95E8E57BA2C2E4 Time : 0.0 sec. user=mdettweiler [2015-10-19 09:34:25] 855*2^1412603-1 is not prime. Res64: E1573B2693B2B172 Time : 0.0 sec. user=mdettweiler [2015-10-19 09:34:25] 945*2^1412603-1 is not prime. Res64: 48E33E75DFA0D403 Time : 0.0 sec. user=mdettweiler [2015-10-19 09:35:04] 639*2^1412604-1 is not prime. Res64: A19A63B16E8E2B3D Time : 0.0 sec. user=mdettweiler [2015-10-19 09:35:04] 683*2^1412604-1 is not prime. Res64: 56AA36B03A77B32B Time : 0.0 sec. user=mdettweiler [2015-10-19 09:51:40] 689*2^1412604-1 is not prime. Res64: 7B4662552E9A3F4A Time : 0.0 sec. user=mdettweiler [2015-10-19 09:51:41] 693*2^1412604-1 is not prime. Res64: 66B57DF25F54FD18 Time : 0.0 sec. user=mdettweiler [2015-10-19 09:51:51] 707*2^1412604-1 is not prime. Res64: 13D732528C46E63C Time : 0.0 sec. user=mdettweiler [2015-10-19 09:51:51] 767*2^1412604-1 is not prime. Res64: B5AC3EEF343C52C7 Time : 0.0 sec. user=mdettweiler [2015-10-19 09:52:16] 607*2^1412605-1 is not prime. Res64: D227CA0E42D2DD66 Time : 0.0 sec. user=mdettweiler [2015-10-19 09:52:16] 777*2^1412605-1 is not prime. Res64: 3A2030F17CDA100E Time : 0.0 sec. user=mdettweiler [2015-10-19 09:53:02] 819*2^1412605-1 is not prime. Res64: EBC9E5EC1D07B4D4 Time : 0.0 sec. user=mdettweiler [2015-10-19 09:53:02] 831*2^1412605-1 is not prime. Res64: 029FA2E635403959 Time : 0.0 sec. user=mdettweiler [2015-10-19 10:09:40] 895*2^1412605-1 is not prime. Res64: A818F5E000528549 Time : 0.0 sec. user=mdettweiler [2015-10-19 10:09:40] 915*2^1412605-1 is not prime. Res64: D1473E95DC13D208 Time : 0.0 sec. user=mdettweiler [2015-10-19 10:09:42] 937*2^1412605-1 is not prime. Res64: B703661BC975BE20 Time : 0.0 sec. user=mdettweiler [2015-10-19 10:09:42] 961*2^1412605-1 is not prime. Res64: 82E223FCCDF8690E Time : 0.0 sec. user=mdettweiler [2015-10-19 10:10:16] 683*2^1412606-1 is not prime. Res64: 12D4ECEA0EBF0472 Time : 0.0 sec. user=mdettweiler [2015-10-19 10:10:17] 747*2^1412606-1 is not prime. Res64: 32018398DA9D3A35 Time : 0.0 sec. user=mdettweiler [2015-10-19 10:10:56] 827*2^1412606-1 is not prime. Res64: 76C8DF92366D8ACB Time : 0.0 sec. user=mdettweiler [2015-10-19 10:10:57] 833*2^1412606-1 is not prime. Res64: 3F7687AE8ADB56E4 Time : 0.0 sec. user=mdettweiler [2015-10-19 10:27:34] 857*2^1412606-1 is not prime. Res64: 3522D0B1357C005A Time : 0.0 sec. user=mdettweiler [2015-10-19 10:27:35] 935*2^1412606-1 is not prime. Res64: 1FB1F18ED24F2DD4 Time : 0.0 sec. user=mdettweiler [2015-10-19 10:27:35] 963*2^1412606-1 is not prime. Res64: 2E805EA82CCDE972 Time : 0.0 sec. user=mdettweiler [2015-10-19 10:27:36] 1001*2^1412606-1 is not prime. Res64: 0FCF6DE7556DBDE3 Time : 0.0 sec. user=mdettweiler [2015-10-19 10:28:07] 741*2^1412607-1 is not prime. Res64: 599A0622A7EF1E0F Time : 0.0 sec. user=mdettweiler [2015-10-19 10:28:07] 973*2^1412607-1 is not prime. Res64: 8524C196005DF3EA Time : 0.0 sec. user=mdettweiler [2015-10-19 10:28:54] 985*2^1412607-1 is not prime. Res64: 00D300B213A087FB Time : 0.0 sec. user=mdettweiler [2015-10-19 10:28:54] 639*2^1412608-1 is not prime. Res64: 059407A7DBF9DD7F Time : 0.0 sec. user=mdettweiler [2015-10-19 10:45:22] 735*2^1412608-1 is not prime. Res64: 5F897BDB708168F0 Time : 0.0 sec. user=mdettweiler [2015-10-19 10:45:23] 839*2^1412608-1 is not prime. Res64: F6400AC6CB4B591D Time : 0.0 sec. user=mdettweiler [2015-10-19 10:45:26] 855*2^1412608-1 is not prime. Res64: 52F4150AFCFE34F2 Time : 0.0 sec. user=mdettweiler [2015-10-19 10:45:26] 875*2^1412608-1 is not prime. Res64: 7CE1ED29C2AFAB0B Time : 0.0 sec. user=mdettweiler [2015-10-19 10:45:53] 923*2^1412608-1 is not prime. Res64: 1F914414DE5F8131 Time : 0.0 sec. user=mdettweiler [2015-10-19 10:45:53] 747*2^1412609-1 is not prime. Res64: D5CDE08217C78817 Time : 0.0 sec. user=mdettweiler [2015-10-19 10:46:42] 795*2^1412609-1 is not prime. Res64: 6A89538F8D88B763 Time : 0.0 sec. user=mdettweiler [2015-10-19 10:46:43] 907*2^1412609-1 is not prime. Res64: C4EFF30E9E6D1017 Time : 0.0 sec. user=mdettweiler [2015-10-19 11:03:09] 789*2^1412611-1 is not prime. Res64: 27B74D4FE69979AF Time : 0.0 sec. user=mdettweiler [2015-10-19 11:03:10] 793*2^1412611-1 is not prime. Res64: 898ACDE7392FE1D7 Time : 0.0 sec. user=mdettweiler [2015-10-19 11:03:19] 861*2^1412610-1 is not prime. Res64: F899E00C0A6D76FE Time : 0.0 sec. user=mdettweiler [2015-10-19 11:03:20] 741*2^1412611-1 is not prime. Res64: 50CACC08663DB34D Time : 0.0 sec. user=mdettweiler [2015-10-19 11:03:42] 805*2^1412611-1 is not prime. Res64: 4BFFD5DEB49B375C Time : 0.0 sec. user=mdettweiler [2015-10-19 11:03:43] 861*2^1412611-1 is not prime. Res64: D437F320451220DA Time : 0.0 sec. user=mdettweiler [2015-10-19 11:04:27] 871*2^1412611-1 is not prime. Res64: 1AA7C8AB51F79493 Time : 0.0 sec. user=mdettweiler [2015-10-19 11:04:29] 925*2^1412611-1 is not prime. Res64: EAAB88504BDED25D Time : 0.0 sec. user=mdettweiler [2015-10-19 11:21:03] 931*2^1412611-1 is not prime. Res64: 2B06398851274037 Time : 0.0 sec. user=mdettweiler [2015-10-19 11:21:03] 943*2^1412611-1 is not prime. Res64: 6E2C2EA13023152D Time : 0.0 sec. user=mdettweiler [2015-10-19 11:21:08] 975*2^1412611-1 is not prime. Res64: BB97DA2DCB3D2A5B Time : 0.0 sec. user=mdettweiler [2015-10-19 11:21:08] 665*2^1412612-1 is not prime. Res64: 07ED8140AA9318F2 Time : 0.0 sec. user=mdettweiler [2015-10-19 11:21:28] 675*2^1412612-1 is not prime. Res64: 386F6B8E12F03BDB Time : 0.0 sec. user=mdettweiler [2015-10-19 11:21:29] 687*2^1412612-1 is not prime. Res64: D9EDAD9E2BD5C8B3 Time : 0.0 sec. user=mdettweiler [2015-10-19 11:22:26] 749*2^1412612-1 is not prime. Res64: CA49D1F6CE6BF15C Time : 0.0 sec. user=mdettweiler [2015-10-19 11:22:27] 797*2^1412612-1 is not prime. Res64: 93DA550DDF767D0E Time : 0.0 sec. user=mdettweiler [2015-10-19 11:38:53] 899*2^1412612-1 is not prime. Res64: 051DEC2E35A439DE Time : 0.0 sec. user=mdettweiler [2015-10-19 11:38:54] 999*2^1412612-1 is not prime. Res64: B15122C17CE96B53 Time : 0.0 sec. user=mdettweiler [2015-10-19 11:38:54] 649*2^1412613-1 is not prime. Res64: 82A0C39C474562D1 Time : 0.0 sec. user=mdettweiler [2015-10-19 11:38:55] 741*2^1412613-1 is not prime. Res64: 20A26413F30E57FB Time : 0.0 sec. user=mdettweiler [2015-10-19 11:39:16] 747*2^1412613-1 is not prime. Res64: 93B911D82D757608 Time : 0.0 sec. user=mdettweiler [2015-10-19 11:39:16] 837*2^1412613-1 is not prime. Res64: 481577D9B4B1B68F Time : 0.0 sec. user=mdettweiler [2015-10-19 11:40:10] 847*2^1412613-1 is not prime. Res64: BCBB51D95B85A9A1 Time : 0.0 sec. user=mdettweiler [2015-10-19 11:40:10] 867*2^1412613-1 is not prime. Res64: 5BBC6A7FA19AFB45 Time : 0.0 sec. user=mdettweiler [2015-10-19 11:56:42] 871*2^1412613-1 is not prime. Res64: 65BCAC22DAD1DB14 Time : 0.0 sec. user=mdettweiler [2015-10-19 11:56:43] 885*2^1412613-1 is not prime. Res64: 282504B2E3EA8CB5 Time : 0.0 sec. user=mdettweiler [2015-10-19 11:56:45] 651*2^1412614-1 is not prime. Res64: D931D070F8DC9BE4 Time : 0.0 sec. user=mdettweiler [2015-10-19 11:56:46] 825*2^1412614-1 is not prime. Res64: 7D7CBA176FF3921E Time : 0.0 sec. user=mdettweiler [2015-10-19 11:56:57] 887*2^1412614-1 is not prime. Res64: A8C065042C9AF6A5 Time : 0.0 sec. user=mdettweiler [2015-10-19 11:56:58] 917*2^1412614-1 is not prime. Res64: 5AE673365167AF71 Time : 0.0 sec. user=mdettweiler [2015-10-19 11:57:56] 981*2^1412614-1 is not prime. Res64: BD8786BA4E3E552A Time : 0.0 sec. user=mdettweiler [2015-10-19 11:57:57] 987*2^1412614-1 is not prime. Res64: 837868DDE64EE0BB Time : 0.0 sec. user=mdettweiler [2015-10-19 12:14:35] 663*2^1412615-1 is not prime. Res64: 007BD8D92EF7371F Time : 0.0 sec. user=mdettweiler [2015-10-19 12:14:35] 759*2^1412615-1 is not prime. Res64: 35FD2B40066042ED Time : 0.0 sec. user=mdettweiler [2015-10-19 12:14:37] 825*2^1412615-1 is not prime. Res64: F8BC6D5A9013A895 Time : 0.0 sec. user=mdettweiler [2015-10-19 12:14:38] 921*2^1412615-1 is not prime. Res64: 9191AF7805AC5973 Time : 0.0 sec. user=mdettweiler [2015-10-19 12:14:43] 963*2^1412615-1 is not prime. Res64: 0807A7E31D3C7DBB Time : 0.0 sec. user=mdettweiler [2015-10-19 12:14:44] 629*2^1412616-1 is not prime. Res64: E7D4D8D3BF531095 Time : 0.0 sec. user=mdettweiler [2015-10-19 12:15:45] 675*2^1412616-1 is not prime. Res64: 5C0D583A81120227 Time : 0.0 sec. user=mdettweiler [2015-10-19 12:15:46] 789*2^1412616-1 is not prime. Res64: 3B1AF2E2A76432D4 Time : 0.0 sec. user=mdettweiler [2015-10-19 12:32:20] 873*2^1412616-1 is not prime. Res64: 635A6F85AF8A1DB2 Time : 0.0 sec. user=mdettweiler [2015-10-19 12:32:20] 875*2^1412616-1 is not prime. Res64: C2095E43FDA1A6D2 Time : 0.0 sec. user=mdettweiler [2015-10-19 12:32:27] 903*2^1412616-1 is not prime. Res64: 83E327754877B95D Time : 0.0 sec. user=mdettweiler [2015-10-19 12:32:28] 927*2^1412616-1 is not prime. Res64: F00C495BBF280F94 Time : 0.0 sec. user=mdettweiler [2015-10-19 12:32:29] 887*2^1412616-1 is not prime. Res64: 0839598BF4C519AA Time : 0.0 sec. user=mdettweiler [2015-10-19 12:32:29] 893*2^1412616-1 is not prime. Res64: BF49337DCEDB22C5 Time : 0.0 sec. user=mdettweiler [2015-10-19 12:33:26] 615*2^1412617-1 is not prime. Res64: 1B0CDA3EC6558570 Time : 0.0 sec. user=mdettweiler [2015-10-19 12:33:26] 699*2^1412617-1 is not prime. Res64: 5136B2B70D8FF74B Time : 0.0 sec. user=mdettweiler [2015-10-19 13:02:44] 817*2^1412617-1 is not prime. Res64: 80E00344305D4992 Time : 0.0 sec. user=mdettweiler [2015-10-19 13:02:46] 945*2^1412617-1 is not prime. Res64: FC89EBD42304E841 Time : 0.0 sec. user=mdettweiler [2015-10-19 13:02:52] 717*2^1412617-1 is not prime. Res64: EBD49977F728836B Time : 0.0 sec. user=mdettweiler [2015-10-19 13:02:54] 769*2^1412617-1 is not prime. Res64: 2269B5C95203DD12 Time : 0.0 sec. user=mdettweiler [2015-10-19 13:03:06] 767*2^1412618-1 is not prime. Res64: 8387D3D08F0785CA Time : 0.0 sec. user=mdettweiler [2015-10-19 13:03:08] 791*2^1412618-1 is not prime. Res64: 1FD36363EA153759 Time : 0.0 sec. user=mdettweiler [2015-10-19 13:03:16] 635*2^1412618-1 is not prime. Res64: B32583A15F0E3E22 Time : 0.0 sec. user=mdettweiler [2015-10-19 13:03:17] 683*2^1412618-1 is not prime. Res64: 89F0078DFFB86AFD Time : 0.0 sec. user=mdettweiler [2015-10-19 13:22:00] 741*2^1412619-1 is not prime. Res64: C5EC76A54051AF2D Time : 0.0 sec. user=mdettweiler [2015-10-19 13:22:00] 793*2^1412619-1 is not prime. Res64: B6CADB8EFF10CE7B Time : 0.0 sec. user=mdettweiler [2015-10-19 13:22:08] 831*2^1412618-1 is not prime. Res64: 1EE42628A3F88BAE Time : 0.0 sec. user=mdettweiler [2015-10-19 13:22:08] 945*2^1412618-1 is not prime. Res64: AD1C729FC3348F46 Time : 0.0 sec. user=mdettweiler [2015-10-19 13:22:22] 797*2^1412618-1 is not prime. Res64: DEBFF1FB4F7733FC Time : 0.0 sec. user=mdettweiler [2015-10-19 13:22:22] 709*2^1412619-1 is not prime. Res64: 3AD034D104AB0B5C Time : 0.0 sec. user=mdettweiler [2015-10-19 13:22:39] 823*2^1412619-1 is not prime. Res64: 874D7829366A0F52 Time : 0.0 sec. user=mdettweiler [2015-10-19 13:22:39] 873*2^1412619-1 is not prime. Res64: 3C8E80DCF902B8D8 Time : 0.0 sec. user=mdettweiler [2015-10-19 13:40:08] 895*2^1412619-1 is not prime. Res64: DEAC6122C9A86BA2 Time : 0.0 sec. user=mdettweiler [2015-10-19 13:40:08] 777*2^1412620-1 is not prime. Res64: 1385707DCDA92A52 Time : 0.0 sec. user=mdettweiler [2015-10-19 13:40:14] 915*2^1412620-1 is not prime. Res64: 6DAFDC323A11A60B Time : 0.0 sec. user=mdettweiler [2015-10-19 13:40:14] 711*2^1412621-1 is not prime. Res64: 450060937F1F2538 Time : 0.0 sec. user=mdettweiler [2015-10-19 13:40:31] 931*2^1412621-1 is not prime. Res64: C7127AEDE5774816 Time : 0.0 sec. user=mdettweiler [2015-10-19 13:40:31] 981*2^1412621-1 is not prime. Res64: 263D9C2D9D309174 Time : 0.0 sec. user=mdettweiler [2015-10-19 13:40:48] 635*2^1412622-1 is not prime. Res64: A738A5300F167055 Time : 0.0 sec. user=mdettweiler [2015-10-19 13:40:49] 747*2^1412622-1 is not prime. Res64: 3270798FF489A10D Time : 0.0 sec. user=mdettweiler [2015-10-19 13:57:50] 843*2^1412622-1 is not prime. Res64: E330872FD214B580 Time : 0.0 sec. user=mdettweiler [2015-10-19 13:57:51] 619*2^1412623-1 is not prime. Res64: AC95FB81EBEA7686 Time : 0.0 sec. user=mdettweiler [2015-10-19 13:57:52] 663*2^1412623-1 is not prime. Res64: 9E30860605AB8FAC Time : 0.0 sec. user=mdettweiler [2015-10-19 13:57:52] 745*2^1412623-1 is not prime. Res64: 3921635E39C617F2 Time : 0.0 sec. user=mdettweiler [2015-10-19 13:58:15] 829*2^1412623-1 is not prime. Res64: 0D7092A88A327B69 Time : 0.0 sec. user=mdettweiler [2015-10-19 13:58:15] 885*2^1412623-1 is not prime. Res64: 246CBC8BF1DD7C70 Time : 0.0 sec. user=mdettweiler [2015-10-19 13:58:33] 925*2^1412623-1 is not prime. Res64: 3B5E1F9404CBD2CE Time : 0.0 sec. user=mdettweiler [2015-10-19 13:58:34] 759*2^1412624-1 is not prime. Res64: 527B0F3D9188A743 Time : 0.0 sec. user=mdettweiler [2015-10-19 14:15:45] 903*2^1412624-1 is not prime. Res64: 86719C691C1D4FFE Time : 0.0 sec. user=mdettweiler [2015-10-19 14:15:45] 909*2^1412624-1 is not prime. Res64: EFC43B7F21A5E545 Time : 0.0 sec. user=mdettweiler [2015-10-19 14:16:03] 819*2^1412624-1 is not prime. Res64: B38E9398E3090974 Time : 0.0 sec. user=mdettweiler [2015-10-19 14:16:03] 869*2^1412624-1 is not prime. Res64: 59D3BDD326BFE87E Time : 0.0 sec. user=mdettweiler [2015-10-19 14:16:24] 923*2^1412624-1 is not prime. Res64: 52C60AB0ABEDCC12 Time : 0.0 sec. user=mdettweiler [2015-10-19 14:16:24] 609*2^1412625-1 is not prime. Res64: 85BA03F02F939683 Time : 0.0 sec. user=mdettweiler [2015-10-19 14:16:36] 741*2^1412625-1 is not prime. Res64: 8D0497B4BDE201F4 Time : 0.0 sec. user=mdettweiler [2015-10-19 14:16:37] 805*2^1412625-1 is not prime. Res64: 71E0E6DCB2EC1DB1 Time : 0.0 sec. user=mdettweiler [2015-10-19 14:33:36] 877*2^1412625-1 is not prime. Res64: 2D0AACB8907DD9D5 Time : 0.0 sec. user=mdettweiler [2015-10-19 14:33:36] 909*2^1412625-1 is not prime. Res64: D3E6E960E922653B Time : 0.0 sec. user=mdettweiler [2015-10-19 14:33:44] 937*2^1412625-1 is not prime. Res64: 5C0C6429B7300B57 Time : 0.0 sec. user=mdettweiler [2015-10-19 14:33:45] 949*2^1412625-1 is not prime. Res64: 56C6F661BF335B03 Time : 0.0 sec. user=mdettweiler [2015-10-19 14:34:11] 999*2^1412625-1 is not prime. Res64: BA0BC2FE2E1BBC08 Time : 0.0 sec. user=mdettweiler [2015-10-19 14:34:12] 617*2^1412626-1 is not prime. Res64: 9C7AAB09AE30B3DA Time : 0.0 sec. user=mdettweiler [2015-10-19 14:34:20] 801*2^1412626-1 is not prime. Res64: B28220E56A511CE2 Time : 0.0 sec. user=mdettweiler [2015-10-19 14:34:20] 815*2^1412626-1 is not prime. Res64: 09AC26064F3C01D2 Time : 0.0 sec. user=mdettweiler [2015-10-19 14:51:40] 945*2^1412626-1 is not prime. Res64: 3E383DFAC9A1CC1D Time : 0.0 sec. user=mdettweiler [2015-10-19 14:51:41] 609*2^1412627-1 is not prime. Res64: 65010020E98A58A6 Time : 0.0 sec. user=mdettweiler [2015-10-19 14:51:48] 857*2^1412626-1 is not prime. Res64: FD06FCA60E719162 Time : 0.0 sec. user=mdettweiler [2015-10-19 14:51:48] 911*2^1412626-1 is not prime. Res64: 3A3E14FD930B8FB7 Time : 0.0 sec. user=mdettweiler [2015-10-19 14:52:13] 675*2^1412627-1 is not prime. Res64: 2C84E6B8CFDD9A97 Time : 0.0 sec. user=mdettweiler [2015-10-19 14:52:13] 699*2^1412627-1 is not prime. Res64: 9B79689E1BD440E4 Time : 0.0 sec. user=mdettweiler [2015-10-19 14:52:14] 703*2^1412627-1 is not prime. Res64: F3E5819FD67A1F74 Time : 0.0 sec. user=mdettweiler [2015-10-19 14:52:14] 715*2^1412627-1 is not prime. Res64: F06C7DE97475AA18 Time : 0.0 sec. user=mdettweiler [2015-10-19 15:09:56] 931*2^1412627-1 is not prime. Res64: E84631F7250C00A2 Time : 0.0 sec. user=mdettweiler [2015-10-19 15:09:57] 777*2^1412628-1 is not prime. Res64: 6B00ED94D1574D43 Time : 0.0 sec. user=mdettweiler [2015-10-19 15:10:02] 805*2^1412627-1 is not prime. Res64: 72F280D0599297FE Time : 0.0 sec. user=mdettweiler [2015-10-19 15:10:02] 879*2^1412627-1 is not prime. Res64: 288EA0D1B2D133FC Time : 0.0 sec. user=mdettweiler [2015-10-19 15:10:32] 893*2^1412628-1 is not prime. Res64: 63FC6DDAD5C6D3E0 Time : 0.0 sec. user=mdettweiler [2015-10-19 15:10:32] 609*2^1412629-1 is not prime. Res64: 1B40F9B89915F456 Time : 0.0 sec. user=mdettweiler [2015-10-19 15:10:37] 843*2^1412628-1 is not prime. Res64: 52BEF54F6129B462 Time : 0.0 sec. user=mdettweiler [2015-10-19 15:10:37] 867*2^1412628-1 is not prime. Res64: 5DD256346AB26B59 Time : 0.0 sec. user=mdettweiler [2015-10-19 15:27:46] 747*2^1412629-1 is not prime. Res64: 27742430BCEE2DFF Time : 0.0 sec. user=mdettweiler [2015-10-19 15:27:46] 811*2^1412629-1 is not prime. Res64: 6D62FDDF007F1578 Time : 0.0 sec. user=mdettweiler [2015-10-19 15:27:49] 639*2^1412629-1 is not prime. Res64: CE64D6911EE84AF8 Time : 0.0 sec. user=mdettweiler [2015-10-19 15:27:49] 745*2^1412629-1 is not prime. Res64: A864729E49AFE605 Time : 0.0 sec. user=mdettweiler [2015-10-19 15:28:19] 829*2^1412629-1 is not prime. Res64: 1EC114A84E5A890C Time : 0.0 sec. user=mdettweiler [2015-10-19 15:28:20] 835*2^1412629-1 is not prime. Res64: F9E913B286F0AEBB Time : 0.0 sec. user=mdettweiler [2015-10-19 15:28:21] 847*2^1412629-1 is not prime. Res64: DC15F169E0988721 Time : 0.0 sec. user=mdettweiler [2015-10-19 15:28:21] 861*2^1412629-1 is not prime. Res64: 7B4F318159133A0A Time : 0.0 sec. user=mdettweiler [2015-10-19 15:45:36] 603*2^1412630-1 is not prime. Res64: 2D3AD35D39F6DFA3 Time : 0.0 sec. user=mdettweiler [2015-10-19 15:45:36] 627*2^1412630-1 is not prime. Res64: 6932FE248F0E7218 Time : 0.0 sec. user=mdettweiler [2015-10-19 15:45:42] 635*2^1412630-1 is not prime. Res64: B79335330A76D8EC Time : 0.0 sec. user=mdettweiler [2015-10-19 15:45:42] 675*2^1412630-1 is not prime. Res64: 5712231480940436 Time : 0.0 sec. user=mdettweiler [2015-10-19 15:46:03] 741*2^1412630-1 is not prime. Res64: EE13EC3E254DDBA1 Time : 0.0 sec. user=mdettweiler [2015-10-19 15:46:04] 743*2^1412630-1 is not prime. Res64: 6EECFDC7D311CE37 Time : 0.0 sec. user=mdettweiler [2015-10-19 15:46:10] 755*2^1412630-1 is not prime. Res64: 2FE726B76532F930 Time : 0.0 sec. user=mdettweiler [2015-10-19 15:46:11] 917*2^1412630-1 is not prime. Res64: C7F197A54AD2C2FC Time : 0.0 sec. user=mdettweiler [2015-10-19 16:03:13] 935*2^1412630-1 is not prime. Res64: 6B208CE1E3506A9B Time : 0.0 sec. user=mdettweiler [2015-10-19 16:03:14] 995*2^1412630-1 is not prime. Res64: 201F75722C372E62 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:03:21] 1001*2^1412630-1 is not prime. Res64: 1C493FFF6F05F776 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:03:22] 601*2^1412631-1 is not prime. Res64: 35F06CF332FB9222 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:03:40] 615*2^1412631-1 is not prime. Res64: 33BAB361BE1A62CC Time : 0.0 sec. user=mdettweiler [2015-10-19 16:03:41] 703*2^1412631-1 is not prime. Res64: C31FB89006CB4513 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:03:48] 745*2^1412631-1 is not prime. Res64: C0597A2378CF7F0A Time : 0.0 sec. user=mdettweiler [2015-10-19 16:03:50] 849*2^1412631-1 is not prime. Res64: AF420C9DCC525EC5 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:21:04] 873*2^1412632-1 is not prime. Res64: 02E1C80139E30106 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:21:04] 917*2^1412632-1 is not prime. Res64: 30C840B803014A2F Time : 0.0 sec. user=mdettweiler [2015-10-19 16:21:07] 947*2^1412632-1 is not prime. Res64: 5420B46D14C671A2 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:21:08] 965*2^1412632-1 is not prime. Res64: D9442235A02D7DB7 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:21:18] 637*2^1412633-1 is not prime. Res64: 3328EA281515DB43 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:21:18] 741*2^1412633-1 is not prime. Res64: 3E9ABD8550865F7F Time : 0.0 sec. user=mdettweiler [2015-10-19 16:21:28] 789*2^1412633-1 is not prime. Res64: 06D558878EC7A7A5 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:21:28] 897*2^1412633-1 is not prime. Res64: 8C34E4A45C948359 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:38:46] 915*2^1412633-1 is not prime. Res64: 99E070CA4B81CA2D Time : 0.0 sec. user=mdettweiler [2015-10-19 16:38:46] 925*2^1412633-1 is not prime. Res64: D32D337320AF9DA9 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:38:48] 627*2^1412634-1 is not prime. Res64: E6CC36379C4E92B3 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:38:49] 705*2^1412634-1 is not prime. Res64: CA2BF89DD0817BB7 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:38:56] 707*2^1412634-1 is not prime. Res64: 94AC9348B54295E9 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:38:57] 747*2^1412634-1 is not prime. Res64: F2C1D1D394C9ACC4 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:39:03] 861*2^1412634-1 is not prime. Res64: C52D475A64B7A5FC Time : 0.0 sec. user=mdettweiler [2015-10-19 16:39:04] 971*2^1412634-1 is not prime. Res64: B04C4DD409B33145 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:56:20] 1001*2^1412634-1 is not prime. Res64: 7C97C3E84C920612 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:56:21] 645*2^1412635-1 is not prime. Res64: CCDCB3EE7628E8BA Time : 0.0 sec. user=mdettweiler [2015-10-19 16:56:27] 733*2^1412635-1 is not prime. Res64: E1D72CC165434B44 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:56:28] 765*2^1412635-1 is not prime. Res64: FFEC1E0FAA352D8C Time : 0.0 sec. user=mdettweiler [2015-10-19 16:56:42] 909*2^1412635-1 is not prime. Res64: 46247E7DD9CD96F5 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:56:43] 717*2^1412636-1 is not prime. Res64: 3CA21F6A98CF58D8 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:56:49] 735*2^1412636-1 is not prime. Res64: C7AAE1F53A8F20A0 Time : 0.0 sec. user=mdettweiler [2015-10-19 16:56:49] 773*2^1412636-1 is not prime. Res64: 29CB8447572CAF52 Time : 0.0 sec. user=mdettweiler [2015-10-19 17:13:54] 789*2^1412636-1 is not prime. Res64: C32CF13F969ADE86 Time : 0.0 sec. user=mdettweiler [2015-10-19 17:13:55] 825*2^1412636-1 is not prime. Res64: E784FDB3EBB9F9C7 Time : 0.0 sec. user=mdettweiler [2015-10-19 17:14:05] 873*2^1412636-1 is not prime. Res64: 2F8AC165C022C17D Time : 0.0 sec. user=mdettweiler [2015-10-19 17:14:05] 993*2^1412636-1 is not prime. Res64: A1BDCAFB3F555564 Time : 0.0 sec. user=mdettweiler [2015-10-19 17:14:17] 627*2^1412637-1 is not prime. Res64: BD838CFFDA5E582C Time : 0.0 sec. user=mdettweiler [2015-10-19 17:14:18] 777*2^1412637-1 is not prime. Res64: E502E27F5B6E97F8 Time : 0.0 sec. user=mdettweiler [2015-10-19 17:14:27] 829*2^1412637-1 is not prime. Res64: 8493FC634AF2FD2E Time : 0.0 sec. user=mdettweiler [2015-10-19 17:14:28] 831*2^1412637-1 is not prime. Res64: FD204E101EB9F59F Time : 0.0 sec. user=mdettweiler [2015-10-19 17:31:39] 885*2^1412637-1 is not prime. Res64: 1D99AF9A791601A1 Time : 0.0 sec. user=mdettweiler [2015-10-19 17:31:39] 895*2^1412637-1 is not prime. Res64: 60587786B14FBBFE Time : 0.0 sec. user=mdettweiler [2015-10-19 17:31:39] 891*2^1412637-1 is not prime. Res64: 2674B6E628CDE646 Time : 0.0 sec. user=mdettweiler [2015-10-19 17:31:40] 647*2^1412638-1 is not prime. Res64: A772016664B88B57 Time : 0.0 sec. user=mdettweiler [2015-10-19 17:32:10] 705*2^1412638-1 is not prime. Res64: B04F467E65B196F8 Time : 0.0 sec. user=mdettweiler [2015-10-19 17:32:10] 777*2^1412638-1 is not prime. Res64: 7458EBF0EC38E39D Time : 0.0 sec. user=mdettweiler [2015-10-19 17:32:20] 827*2^1412638-1 is not prime. Res64: 85080401701C8FEC Time : 0.0 sec. user=mdettweiler [2015-10-19 17:32:20] 885*2^1412638-1 is not prime. Res64: B11250CBF98CFEA0 Time : 0.0 sec. user=mdettweiler [2015-10-19 17:49:31] 891*2^1412638-1 is not prime. Res64: 7003D4AC75A5959C Time : 0.0 sec. user=mdettweiler [2015-10-19 17:49:32] 661*2^1412639-1 is not prime. Res64: 76D3E84375F61CAE Time : 0.0 sec. user=mdettweiler [2015-10-19 17:49:34] 663*2^1412639-1 is not prime. Res64: 4D99415BED94B01D Time : 0.0 sec. user=mdettweiler [2015-10-19 17:49:34] 741*2^1412639-1 is not prime. Res64: BCD539633985A516 Time : 0.0 sec. user=mdettweiler [2015-10-19 17:49:54] 865*2^1412639-1 is not prime. Res64: 684359F751D6B093 Time : 0.0 sec. user=mdettweiler [2015-10-19 17:49:54] 993*2^1412639-1 is not prime. Res64: C21D3704A24CA3D9 Time : 0.0 sec. user=mdettweiler [2015-10-19 17:50:15] 689*2^1412640-1 is not prime. Res64: 65CAECDA2C391076 Time : 0.0 sec. user=mdettweiler [2015-10-19 17:50:16] 935*2^1412640-1 is not prime. Res64: AA691A9FB8481AD4 Time : 0.0 sec. user=mdettweiler [2015-10-19 18:07:15] 691*2^1412641-1 is not prime. Res64: 78F1A7646AFDB04A Time : 0.0 sec. user=mdettweiler [2015-10-19 18:07:18] 741*2^1412641-1 is not prime. Res64: 46EF597F3B2A7251 Time : 0.0 sec. user=mdettweiler [2015-10-19 18:07:20] 745*2^1412641-1 is not prime. Res64: 8EF82EEE0424E73F Time : 0.0 sec. user=mdettweiler [2015-10-19 18:07:23] 861*2^1412641-1 is not prime. Res64: 6EEF8391479FEAA6 Time : 0.0 sec. user=mdettweiler [2015-10-19 18:07:47] 925*2^1412641-1 is not prime. Res64: 465EEB2A6095855B Time : 0.0 sec. user=mdettweiler [2015-10-19 18:07:48] 633*2^1412642-1 is not prime. Res64: 1F58D53B8717FA3A Time : 0.0 sec. user=mdettweiler [2015-10-19 18:08:10] 755*2^1412642-1 is not prime. Res64: DB183580E060785F Time : 0.0 sec. user=mdettweiler [2015-10-19 18:08:10] 813*2^1412642-1 is not prime. Res64: F079E0A552094F51 Time : 0.0 sec. user=mdettweiler [2015-10-19 18:25:12] 703*2^1412643-1 is not prime. Res64: 8CD0FD39CA3536BD Time : 0.0 sec. user=mdettweiler [2015-10-19 18:25:12] 805*2^1412643-1 is not prime. Res64: C3C75F9DD077D44B Time : 0.0 sec. user=mdettweiler [2015-10-19 18:25:13] 957*2^1412642-1 is not prime. Res64: 03B31ADA45692FC2 Time : 0.0 sec. user=mdettweiler [2015-10-19 18:25:13] 619*2^1412643-1 is not prime. Res64: BCFA1553A11470A5 Time : 0.0 sec. user=mdettweiler [2015-10-19 18:25:26] 823*2^1412643-1 is not prime. Res64: 87696DEF1BA032E3 Time : 0.0 sec. user=mdettweiler [2015-10-19 18:25:27] 895*2^1412643-1 is not prime. Res64: 1DE3B6DD65EF27F3 Time : 0.0 sec. user=mdettweiler [2015-10-19 18:26:02] 615*2^1412644-1 is not prime. Res64: 7954394D6D2B65AB Time : 0.0 sec. user=mdettweiler [2015-10-19 18:26:02] 635*2^1412644-1 is not prime. Res64: 8148F7DBDC2D5513 Time : 0.0 sec. user=mdettweiler [2015-10-19 18:42:58] 869*2^1412644-1 is not prime. Res64: 2EE82614ECE9F4DB Time : 0.0 sec. user=mdettweiler [2015-10-19 18:42:59] 873*2^1412644-1 is not prime. Res64: 67F700FBDF99970D Time : 0.0 sec. user=mdettweiler [2015-10-19 18:43:02] 675*2^1412644-1 is not prime. Res64: 9BF7505E00F419F1 Time : 0.0 sec. user=mdettweiler [2015-10-19 18:43:02] 717*2^1412644-1 is not prime. Res64: E305C7533F0D24C7 Time : 0.0 sec. user=mdettweiler [2015-10-19 18:43:23] 887*2^1412644-1 is not prime. Res64: BA5850F6897C79D0 Time : 0.0 sec. user=mdettweiler [2015-10-19 18:43:24] 619*2^1412645-1 is not prime. Res64: 7FE2541415712851 Time : 0.0 sec. user=mdettweiler [2015-10-19 18:43:59] 691*2^1412645-1 is not prime. Res64: 2DD6DA2CD4D58D49 Time : 0.0 sec. user=mdettweiler [2015-10-19 18:43:59] 867*2^1412645-1 is not prime. Res64: D34616C3B8E6F888 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:00:37] 955*2^1412645-1 is not prime. Res64: E92EF7F8F9A7F8E2 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:00:38] 641*2^1412646-1 is not prime. Res64: AFADE10BA17F2A84 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:00:43] 737*2^1412646-1 is not prime. Res64: 24515626C8D06519 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:00:45] 741*2^1412646-1 is not prime. Res64: BE7B019E2EBA661F Time : 0.0 sec. user=mdettweiler [2015-10-19 19:01:14] 1001*2^1412646-1 is not prime. Res64: 96F329691C809A91 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:01:15] 633*2^1412647-1 is not prime. Res64: FA8B41D0AD1B7658 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:01:38] 675*2^1412647-1 is not prime. Res64: 4FF34A887D2E6DCA Time : 0.0 sec. user=mdettweiler [2015-10-19 19:01:41] 681*2^1412647-1 is not prime. Res64: E1164A36E1B7F442 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:18:29] 703*2^1412647-1 is not prime. Res64: AC820566F3FCD4D5 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:18:29] 741*2^1412647-1 is not prime. Res64: A6FD6CF44E80F3FC Time : 0.0 sec. user=mdettweiler [2015-10-19 19:18:29] 871*2^1412647-1 is not prime. Res64: 8BAA99158035028F Time : 0.0 sec. user=mdettweiler [2015-10-19 19:18:30] 919*2^1412647-1 is not prime. Res64: 022DDD8CE6642549 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:18:59] 713*2^1412648-1 is not prime. Res64: F1482583A6DA42E3 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:19:00] 735*2^1412648-1 is not prime. Res64: ACA04BBA8F11D9C6 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:19:37] 797*2^1412648-1 is not prime. Res64: 4F952AE6EF70DECB Time : 0.0 sec. user=mdettweiler [2015-10-19 19:19:38] 855*2^1412648-1 is not prime. Res64: 5198FB59B42D2A19 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:36:36] 969*2^1412648-1 is not prime. Res64: E8BD0F66CCA15250 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:36:36] 977*2^1412648-1 is not prime. Res64: A0F2A8233DDDAF39 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:36:38] 995*2^1412648-1 is not prime. Res64: D2458DB79484FC75 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:36:38] 727*2^1412649-1 is not prime. Res64: CF5746CCB3C9141E Time : 0.0 sec. user=mdettweiler [2015-10-19 19:36:52] 751*2^1412649-1 is not prime. Res64: 5EFB46F0A9B5B530 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:36:52] 847*2^1412649-1 is not prime. Res64: 4779C13E66767AEF Time : 0.0 sec. user=mdettweiler [2015-10-19 19:37:40] 951*2^1412649-1 is not prime. Res64: 5DFB3D20012CEA27 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:37:40] 955*2^1412649-1 is not prime. Res64: A64B0B77B04CC087 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:55:15] 665*2^1412650-1 is not prime. Res64: A09F502038FB6331 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:55:15] 671*2^1412650-1 is not prime. Res64: C7A5566205A0F241 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:55:32] 975*2^1412649-1 is not prime. Res64: DADA5B69972119F3 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:55:33] 999*2^1412649-1 is not prime. Res64: 308B8D2E4ED6D2E8 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:55:38] 803*2^1412650-1 is not prime. Res64: D50C058813287781 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:55:38] 945*2^1412650-1 is not prime. Res64: EAB844CEAC7DBCBA Time : 0.0 sec. user=mdettweiler [2015-10-19 19:56:25] 975*2^1412650-1 is not prime. Res64: F2439871724D0B73 Time : 0.0 sec. user=mdettweiler [2015-10-19 19:56:25] 705*2^1412651-1 is not prime. Res64: 5FD95EBDA569AFC8 Time : 0.0 sec. user=mdettweiler [2015-10-19 20:13:14] 711*2^1412651-1 is not prime. Res64: 6999DD6AAA7278DB Time : 0.0 sec. user=mdettweiler [2015-10-19 20:13:15] 741*2^1412651-1 is not prime. Res64: 794409945FE37697 Time : 0.0 sec. user=mdettweiler [2015-10-19 20:13:29] 825*2^1412651-1 is not prime. Res64: DE37DF661AFB5488 Time : 0.0 sec. user=mdettweiler [2015-10-19 20:13:29] 843*2^1412651-1 is not prime. Res64: 9A5F4F9ED149995D Time : 0.0 sec. user=mdettweiler [2015-10-19 20:13:30] 885*2^1412651-1 is not prime. Res64: 1CC34144E32ACB09 Time : 0.0 sec. user=mdettweiler [2015-10-19 20:13:30] 969*2^1412651-1 is not prime. Res64: BD72372C92D09513 Time : 0.0 sec. user=mdettweiler [2015-10-19 20:14:24] 635*2^1412652-1 is not prime. Res64: A3004784510D0123 Time : 0.0 sec. user=mdettweiler [2015-10-19 20:14:25] 719*2^1412652-1 is not prime. Res64: 66FBF3E52871081E Time : 0.0 sec. user=mdettweiler [2015-10-19 20:31:04] 753*2^1412652-1 is not prime. Res64: 2EDFF8BAD32845A3 Time : 0.0 sec. user=mdettweiler [2015-10-19 20:31:05] 819*2^1412652-1 is not prime. Res64: 709DEE6870AADAEF Time : 0.0 sec. user=mdettweiler [2015-10-19 20:31:11] 825*2^1412652-1 is not prime. Res64: 7D53F4ADDB487E7D Time : 0.0 sec. user=mdettweiler [2015-10-19 20:31:11] 863*2^1412652-1 is not prime. Res64: 8D3DA19D6EBE1724 Time : 0.0 sec. user=mdettweiler [2015-10-19 20:31:27] 929*2^1412652-1 is not prime. Res64: E8ED7CBD5E7EC23D Time : 0.0 sec. user=mdettweiler [2015-10-19 20:31:28] 977*2^1412652-1 is not prime. Res64: 72BC2C8C4D9E21C6 Time : 0.0 sec. user=mdettweiler [2015-10-19 20:32:19] 609*2^1412653-1 is not prime. Res64: 83A5BA0871AEAC9E Time : 0.0 sec. user=mdettweiler [2015-10-19 20:32:19] 625*2^1412653-1 is not prime. Res64: E1DAD4767BBBE047 Time : 0.0 sec. user=mdettweiler [2015-10-19 20:48:56] 639*2^1412653-1 is not prime. Res64: 3991A1B496AB4FFF Time : 0.0 sec. user=mdettweiler [2015-10-19 20:48:57] 715*2^1412653-1 is not prime. Res64: 6C343EC8EBB324DE Time : 0.0 sec. user=mdettweiler [2015-10-19 20:48:59] 729*2^1412653-1 is not prime. Res64: 8BD28084A934D7F6 Time : 0.0 sec. user=mdettweiler [2015-10-19 20:49:00] 771*2^1412653-1 is not prime. Res64: 0E7FBB9E14A9C38A Time : 0.0 sec. user=mdettweiler [2015-10-19 20:49:16] 805*2^1412653-1 is not prime. Res64: A57C6C99E262CF1D Time : 0.0 sec. user=mdettweiler [2015-10-19 20:49:16] 859*2^1412653-1 is not prime. Res64: 7BF6E1B1191C4057 Time : 0.0 sec. user=mdettweiler [2015-10-19 20:50:15] 915*2^1412653-1 is not prime. Res64: 97ABF5B4501648D4 Time : 0.0 sec. user=mdettweiler [2015-10-19 20:50:16] 999*2^1412653-1 is not prime. Res64: F677992DF8B435FE Time : 0.0 sec. user=mdettweiler [2015-10-19 21:06:51] 767*2^1412654-1 is not prime. Res64: 6D7726B653880513 Time : 0.0 sec. user=mdettweiler [2015-10-19 21:06:53] 705*2^1412654-1 is not prime. Res64: 68011C6C7549072B Time : 0.0 sec. user=mdettweiler [2015-10-19 21:06:54] 857*2^1412654-1 is not prime. Res64: 16BF13F1C02272E4 Time : 0.0 sec. user=mdettweiler [2015-10-19 21:06:59] 711*2^1412654-1 is not prime. Res64: B340A212EA31FD57 Time : 0.0 sec. user=mdettweiler [2015-10-19 21:07:10] 875*2^1412654-1 is not prime. Res64: EF19DEFB36DEAD65 Time : 0.0 sec. user=mdettweiler [2015-10-19 21:07:12] 921*2^1412654-1 is not prime. Res64: DB00AC20EE03016D Time : 0.0 sec. user=mdettweiler [2015-10-19 21:08:14] 609*2^1412655-1 is not prime. Res64: 969B273D4178F034 Time : 0.0 sec. user=mdettweiler [2015-10-19 21:08:15] 795*2^1412655-1 is not prime. Res64: C6EFB523C18AE52C Time : 0.0 sec. user=mdettweiler [2015-10-19 21:25:23] 823*2^1412655-1 is not prime. Res64: 474BEE33C1F6AF6F Time : 0.0 sec. user=mdettweiler [2015-10-19 21:25:23] 645*2^1412656-1 is not prime. Res64: 4EF4366F3F3403D7 Time : 0.0 sec. user=mdettweiler [2015-10-19 21:25:29] 765*2^1412656-1 is not prime. Res64: 13C50499A74DE48A Time : 0.0 sec. user=mdettweiler [2015-10-19 21:25:29] 843*2^1412656-1 is not prime. Res64: 322B87F09D88673D Time : 0.0 sec. user=mdettweiler [2015-10-19 21:25:36] 983*2^1412656-1 is not prime. Res64: 2EFFF019EEA62792 Time : 0.0 sec. user=mdettweiler [2015-10-19 21:25:36] 685*2^1412657-1 is not prime. Res64: A1DDF2B0A87B675F Time : 0.0 sec. user=mdettweiler [2015-10-19 21:26:18] 691*2^1412657-1 is not prime. Res64: 97A952FFDB1C43AF Time : 0.0 sec. user=mdettweiler [2015-10-19 21:26:19] 717*2^1412657-1 is not prime. Res64: 4517823BC4FA4EBD Time : 0.0 sec. user=mdettweiler [2015-10-19 21:43:15] 847*2^1412657-1 is not prime. Res64: 8531380DE9E84CE0 Time : 0.0 sec. user=mdettweiler [2015-10-19 21:43:15] 867*2^1412657-1 is not prime. Res64: 592819309F6CA232 Time : 0.0 sec. user=mdettweiler [2015-10-19 21:43:16] 945*2^1412657-1 is not prime. Res64: D236B783B812C7EF Time : 0.0 sec. user=mdettweiler [2015-10-19 21:43:17] 957*2^1412657-1 is not prime. Res64: C3C17C316CAA987A Time : 0.0 sec. user=mdettweiler [2015-10-19 21:43:26] 657*2^1412658-1 is not prime. Res64: C8D9BD4DA7F23CF8 Time : 0.0 sec. user=mdettweiler [2015-10-19 21:43:26] 671*2^1412658-1 is not prime. Res64: A560F4385EC6708C Time : 0.0 sec. user=mdettweiler [2015-10-19 21:44:08] 881*2^1412658-1 is not prime. Res64: 3C9E7588AFBBBF24 Time : 0.0 sec. user=mdettweiler [2015-10-19 21:44:08] 891*2^1412658-1 is not prime. Res64: AB4D8A69EE2404B0 Time : 0.0 sec. user=mdettweiler [2015-10-19 22:01:14] 927*2^1412658-1 is not prime. Res64: EC39514F230A2A3D Time : 0.0 sec. user=mdettweiler [2015-10-19 22:01:15] 993*2^1412658-1 is not prime. Res64: 7F8357BE799ECF52 Time : 0.0 sec. user=mdettweiler [2015-10-19 22:01:24] 679*2^1412659-1 is not prime. Res64: 38F20027FA54F029 Time : 0.0 sec. user=mdettweiler [2015-10-19 22:01:25] 681*2^1412659-1 is not prime. Res64: 9E7EE9434E095CA5 Time : 0.0 sec. user=mdettweiler [2015-10-19 22:01:27] 709*2^1412659-1 is not prime. Res64: 05ECC251E3867840 Time : 0.0 sec. user=mdettweiler [2015-10-19 22:01:28] 925*2^1412659-1 is not prime. Res64: 6A68617A357AD5AE Time : 0.0 sec. user=mdettweiler [2015-10-19 22:02:19] 635*2^1412660-1 is not prime. Res64: 25EBFF6E7C676364 Time : 0.0 sec. user=mdettweiler [2015-10-19 22:02:20] 767*2^1412660-1 is not prime. Res64: FFEC9C38253EC83B Time : 0.0 sec. user=mdettweiler [2015-10-19 22:20:03] 909*2^1412660-1 is not prime. Res64: 8B84321859B569B2 Time : 0.0 sec. user=mdettweiler [2015-10-19 22:20:04] 717*2^1412661-1 is not prime. Res64: D79E0558A182407E Time : 0.0 sec. user=mdettweiler [2015-10-19 22:20:10] 901*2^1412661-1 is not prime. Res64: 1F6EFBDC4AB91289 Time : 0.0 sec. user=mdettweiler [2015-10-19 22:20:11] 907*2^1412661-1 is not prime. Res64: 746E5EE46D1439A1 Time : 0.0 sec. user=mdettweiler [2015-10-19 22:20:12] 957*2^1412660-1 is not prime. Res64: C98ECD1BB9F4496A Time : 0.0 sec. user=mdettweiler [2015-10-19 22:20:12] 685*2^1412661-1 is not prime. Res64: D32F8181CAAC5DC9 Time : 0.0 sec. user=mdettweiler [2015-10-19 22:21:02] 975*2^1412661-1 is not prime. Res64: 524DFEDBAFEF9113 Time : 0.0 sec. user=mdettweiler [2015-10-19 22:21:02] 979*2^1412661-1 is not prime. Res64: 9B5D192DA5E1B029 Time : 0.0 sec. user=mdettweiler [2015-10-19 22:40:08] 991*2^1412661-1 is not prime. Res64: 608F3C76100CFCCD Time : 0.0 sec. user=mdettweiler [2015-10-19 22:40:08] 653*2^1412662-1 is not prime. Res64: D4B803D24A5E7803 Time : 0.0 sec. user=mdettweiler [2015-10-19 22:40:22] 831*2^1412662-1 is not prime. Res64: 5DB80B1AE42BA3BF Time : 0.0 sec. user=mdettweiler [2015-10-19 22:40:23] 705*2^1412662-1 is not prime. Res64: 743B23397E5A3EC8 Time : 0.0 sec. user=mdettweiler [2015-10-19 22:40:23] 833*2^1412662-1 is not prime. Res64: 27877484934A15BD Time : 0.0 sec. user=mdettweiler [2015-10-19 22:40:23] 713*2^1412662-1 is not prime. Res64: 9A8432DDCC750C91 Time : 0.0 sec. user=mdettweiler [2015-10-19 22:41:18] 873*2^1412662-1 is not prime. Res64: B2FF1D45A588B344 Time : 0.0 sec. user=mdettweiler [2015-10-19 22:41:18] 885*2^1412662-1 is not prime. Res64: 9D31D9378AAD9F81 Time : 0.0 sec. user=mdettweiler [2015-10-19 22:58:40] 995*2^1412662-1 is not prime. Res64: FE60AED483052344 Time : 0.0 sec. user=mdettweiler [2015-10-19 22:58:40] 675*2^1412663-1 is not prime. Res64: 14BB95750EDE47CF Time : 0.0 sec. user=mdettweiler [2015-10-19 22:58:46] 663*2^1412664-1 is not prime. Res64: 9BE6943838D42E96 Time : 0.0 sec. user=mdettweiler [2015-10-19 22:58:46] 767*2^1412664-1 is not prime. Res64: 8A21FDC1DDE40D3F Time : 0.0 sec. user=mdettweiler [2015-10-19 22:58:50] 789*2^1412663-1 is not prime. Res64: 7D61D3531F61904B Time : 0.0 sec. user=mdettweiler [2015-10-19 22:58:50] 813*2^1412663-1 is not prime. Res64: 4520906C9FECDD22 Time : 0.0 sec. user=mdettweiler [2015-10-19 22:59:48] 825*2^1412664-1 is not prime. Res64: 5E3E5164A5BFD1D2 Time : 0.0 sec. user=mdettweiler [2015-10-19 22:59:49] 927*2^1412664-1 is not prime. Res64: B81402F7963D6AA2 Time : 0.0 sec. user=mdettweiler [2015-10-19 23:17:51] 947*2^1412664-1 is not prime. Res64: BCEB163703A2D330 Time : 0.0 sec. user=mdettweiler [2015-10-19 23:17:52] 993*2^1412664-1 is not prime. Res64: BD6C87525ABBBE80 Time : 0.0 sec. user=mdettweiler [2015-10-19 23:18:07] 619*2^1412665-1 is not prime. Res64: 6F98037515447A57 Time : 0.0 sec. user=mdettweiler [2015-10-19 23:18:07] 649*2^1412665-1 is not prime. Res64: A64600E01BCF551F Time : 0.0 sec. user=mdettweiler [2015-10-19 23:18:13] 675*2^1412665-1 is not prime. Res64: 3365E425EBD29CF2 Time : 0.0 sec. user=mdettweiler [2015-10-19 23:18:13] 717*2^1412665-1 is not prime. Res64: 16F0668EB4C42A91 Time : 0.0 sec. user=mdettweiler [2015-10-19 23:18:51] 831*2^1412665-1 is not prime. Res64: 1D6F09B5920169E0 Time : 0.0 sec. user=mdettweiler [2015-10-19 23:18:52] 999*2^1412665-1 is not prime. Res64: FDC8AEC10BD2A95D Time : 0.0 sec. user=mdettweiler [2015-10-19 23:36:08] 623*2^1412666-1 is not prime. Res64: 687A61B80573CDBA Time : 0.0 sec. user=mdettweiler [2015-10-19 23:36:08] 635*2^1412666-1 is not prime. Res64: 790A0FE7455060FA Time : 0.0 sec. user=mdettweiler [2015-10-19 23:36:28] 711*2^1412666-1 is not prime. Res64: 7C7E3380434F3E05 Time : 0.0 sec. user=mdettweiler [2015-10-19 23:36:28] 713*2^1412666-1 is not prime. Res64: D3E081C074F5883F Time : 0.0 sec. user=mdettweiler [2015-10-19 23:36:34] 641*2^1412666-1 is not prime. Res64: 6F175D9ACC7EB71E Time : 0.0 sec. user=mdettweiler [2015-10-19 23:36:35] 671*2^1412666-1 is not prime. Res64: A2FEEEC254B65AF5 Time : 0.0 sec. user=mdettweiler [2015-10-19 23:37:20] 935*2^1412666-1 is not prime. Res64: ECC11A2385C01749 Time : 0.0 sec. user=mdettweiler [2015-10-19 23:37:20] 993*2^1412666-1 is not prime. Res64: A93C0A9ECDA77F5B Time : 0.0 sec. user=mdettweiler [2015-10-19 23:54:01] 675*2^1412667-1 is not prime. Res64: 3EAD6033247F28C6 Time : 0.0 sec. user=mdettweiler [2015-10-19 23:54:01] 703*2^1412667-1 is not prime. Res64: D40673E892B375C4 Time : 0.0 sec. user=mdettweiler [2015-10-19 23:54:16] 793*2^1412667-1 is not prime. Res64: FFBE298F229CD4C0 Time : 0.0 sec. user=mdettweiler [2015-10-19 23:54:16] 861*2^1412667-1 is not prime. Res64: 1D74B41DE68E61AF Time : 0.0 sec. user=mdettweiler [2015-10-19 23:54:25] 955*2^1412667-1 is not prime. Res64: 6B53EA0D0A2C992D Time : 0.0 sec. user=mdettweiler [2015-10-19 23:54:26] 985*2^1412667-1 is not prime. Res64: E74EAB224A60CCE2 Time : 0.0 sec. user=mdettweiler [2015-10-19 23:55:10] 629*2^1412668-1 is not prime. Res64: 89419C07FD3D083A Time : 0.0 sec. user=mdettweiler [2015-10-19 23:55:11] 705*2^1412668-1 is not prime. Res64: EB21B334D5406CB0 Time : 0.0 sec.