user=mdettweiler [2015-02-08 00:19:03] 969*2^1390559-1 is not prime. Res64: B97BDFCDB5D362B2 Time : 0.0 sec. user=mdettweiler [2015-02-08 00:19:03] 843*2^1390560-1 is not prime. Res64: DC0A04BB28125EC1 Time : 0.0 sec. user=mdettweiler [2015-02-08 00:19:43] 875*2^1390560-1 is not prime. Res64: B74EE361C6E14A11 Time : 0.0 sec. user=mdettweiler [2015-02-08 00:19:43] 685*2^1390561-1 is not prime. Res64: CD0FC842DF7C11E2 Time : 0.0 sec. user=mdettweiler [2015-02-08 00:21:29] 747*2^1390561-1 is not prime. Res64: D4177ECF8F5181C4 Time : 0.0 sec. user=mdettweiler [2015-02-08 00:21:30] 939*2^1390561-1 is not prime. Res64: 9103864E78CBA1F3 Time : 0.0 sec. user=mdettweiler [2015-02-08 00:21:37] 645*2^1390562-1 is not prime. Res64: F27549BD6C86D4AE Time : 0.0 sec. user=mdettweiler [2015-02-08 00:21:37] 705*2^1390562-1 is not prime. Res64: 1874A3ED7611624C Time : 0.0 sec. user=mdettweiler [2015-02-08 00:45:41] 711*2^1390562-1 is not prime. Res64: C5E75AF734F9D7B1 Time : 0.0 sec. user=mdettweiler [2015-02-08 00:45:41] 731*2^1390562-1 is not prime. Res64: BAEA9E7A65E5B7FD Time : 0.0 sec. user=mdettweiler [2015-02-08 00:46:16] 935*2^1390562-1 is not prime. Res64: B7C6D1261085B4BD Time : 0.0 sec. user=mdettweiler [2015-02-08 00:46:16] 1001*2^1390562-1 is not prime. Res64: 0FE418805F4EC883 Time : 0.0 sec. user=mdettweiler [2015-02-08 00:48:04] 663*2^1390563-1 is not prime. Res64: 35D8CEA934EFD283 Time : 0.0 sec. user=mdettweiler [2015-02-08 00:48:04] 735*2^1390563-1 is not prime. Res64: 958D0A01EB07EB67 Time : 0.0 sec. user=mdettweiler [2015-02-08 00:48:17] 789*2^1390563-1 is not prime. Res64: BC26335CC16EFF27 Time : 0.0 sec. user=mdettweiler [2015-02-08 00:48:17] 801*2^1390563-1 is not prime. Res64: 7B7A2638F0603EF5 Time : 0.0 sec. user=mdettweiler [2015-02-08 01:12:23] 825*2^1390563-1 is not prime. Res64: C0BE9A51587E9DD4 Time : 0.0 sec. user=mdettweiler [2015-02-08 01:12:24] 871*2^1390563-1 is not prime. Res64: EE378191B87FF4B3 Time : 0.0 sec. user=mdettweiler [2015-02-08 01:13:02] 955*2^1390563-1 is not prime. Res64: 7E45790C33161A52 Time : 0.0 sec. user=mdettweiler [2015-02-08 01:13:02] 961*2^1390563-1 is not prime. Res64: B00A6DEE7950F4F0 Time : 0.0 sec. user=mdettweiler [2015-02-08 01:14:46] 743*2^1390564-1 is not prime. Res64: 7B1D7F410A88E179 Time : 0.0 sec. user=mdettweiler [2015-02-08 01:14:47] 773*2^1390564-1 is not prime. Res64: 5363458AEC9A7E53 Time : 0.0 sec. user=mdettweiler [2015-02-08 01:15:04] 887*2^1390564-1 is not prime. Res64: 3902486E09BF7DC6 Time : 0.0 sec. user=mdettweiler [2015-02-08 01:15:04] 897*2^1390564-1 is not prime. Res64: EDD1B0482D0579EB Time : 0.0 sec. user=mdettweiler [2015-02-08 01:38:58] 909*2^1390564-1 is not prime. Res64: 9DB0D7225CB0ED09 Time : 0.0 sec. user=mdettweiler [2015-02-08 01:38:59] 983*2^1390564-1 is not prime. Res64: 209FD255DB2B6301 Time : 0.0 sec. user=mdettweiler [2015-02-08 01:39:44] 789*2^1390565-1 is not prime. Res64: D0FD50121C1DCFAC Time : 0.0 sec. user=mdettweiler [2015-02-08 01:39:45] 799*2^1390565-1 is not prime. Res64: 48072CDFC317A6E8 Time : 0.0 sec. user=mdettweiler [2015-02-08 01:41:21] 889*2^1390565-1 is not prime. Res64: 65B43FA90649BE01 Time : 0.0 sec. user=mdettweiler [2015-02-08 01:41:21] 915*2^1390565-1 is not prime. Res64: 63EEFD643A5D81FC Time : 0.0 sec. user=mdettweiler [2015-02-08 01:41:43] 927*2^1390565-1 is not prime. Res64: 25FF49188D47BE18 Time : 0.0 sec. user=mdettweiler [2015-02-08 01:41:43] 991*2^1390565-1 is not prime. Res64: 4CCAE61492BF0FAD Time : 0.0 sec. user=mdettweiler [2015-02-08 02:05:47] 657*2^1390566-1 is not prime. Res64: EEFFDD04C4B6ECDC Time : 0.0 sec. user=mdettweiler [2015-02-08 02:05:47] 683*2^1390566-1 is not prime. Res64: C335750D72CF53E5 Time : 0.0 sec. user=mdettweiler [2015-02-08 02:06:30] 711*2^1390566-1 is not prime. Res64: 991624EDBB341E66 Time : 0.0 sec. user=mdettweiler [2015-02-08 02:06:30] 737*2^1390566-1 is not prime. Res64: A66EA5882F5D853A Time : 0.0 sec. user=mdettweiler [2015-02-08 02:08:05] 807*2^1390566-1 is not prime. Res64: 58BBCBD6271D0B91 Time : 0.0 sec. user=mdettweiler [2015-02-08 02:08:06] 861*2^1390566-1 is not prime. Res64: 472B9CAC4D2E0C54 Time : 0.0 sec. user=mdettweiler [2015-02-08 02:08:35] 887*2^1390566-1 is not prime. Res64: CA927BCA58896F75 Time : 0.0 sec. user=mdettweiler [2015-02-08 02:08:35] 923*2^1390566-1 is not prime. Res64: AAE020AD97AF8A04 Time : 0.0 sec. user=mdettweiler [2015-02-08 02:32:36] 609*2^1390567-1 is not prime. Res64: B3220EE31FB2FA63 Time : 0.0 sec. user=mdettweiler [2015-02-08 02:32:36] 615*2^1390567-1 is not prime. Res64: 7B439C1CD4516B9A Time : 0.0 sec. user=mdettweiler [2015-02-08 02:32:59] 891*2^1390567-1 is not prime. Res64: 0DDF6588B052C6F9 Time : 0.0 sec. user=mdettweiler [2015-02-08 02:32:59] 915*2^1390567-1 is not prime. Res64: 0FAA552206EE3FCA Time : 0.0 sec. user=mdettweiler [2015-02-08 02:34:37] 603*2^1390568-1 is not prime. Res64: 821583D38606BBF1 Time : 0.0 sec. user=mdettweiler [2015-02-08 02:34:37] 663*2^1390568-1 is not prime. Res64: D500E34B5F461E35 Time : 0.0 sec. user=mdettweiler [2015-02-08 02:35:21] 689*2^1390568-1 is not prime. Res64: 6A9418A727AFE063 Time : 0.0 sec. user=mdettweiler [2015-02-08 02:35:22] 699*2^1390568-1 is not prime. Res64: 87A1E4446B7DF578 Time : 0.0 sec. user=mdettweiler [2015-02-08 02:59:22] 837*2^1390568-1 is not prime. Res64: EE77DDD786D71329 Time : 0.0 sec. user=mdettweiler [2015-02-08 02:59:22] 899*2^1390568-1 is not prime. Res64: A65521862429AFD9 Time : 0.0 sec. user=mdettweiler [2015-02-08 02:59:54] 963*2^1390568-1 is not prime. Res64: 56DDA45ABBB03D41 Time : 0.0 sec. user=mdettweiler [2015-02-08 02:59:54] 627*2^1390569-1 is not prime. Res64: 47C7887CD7A93F27 Time : 0.0 sec. user=mdettweiler [2015-02-08 03:01:42] 667*2^1390569-1 is not prime. Res64: F0C3B919C07ADFFE Time : 0.0 sec. user=mdettweiler [2015-02-08 03:01:43] 669*2^1390569-1 is not prime. Res64: CFAD43B20BC335F9 Time : 0.0 sec. user=mdettweiler [2015-02-08 03:02:41] 675*2^1390569-1 is not prime. Res64: 2B2C8A952FEC7A00 Time : 0.0 sec. user=mdettweiler [2015-02-08 03:02:42] 835*2^1390569-1 is not prime. Res64: 88DC070F6A393D83 Time : 0.0 sec. user=mdettweiler [2015-02-08 03:26:27] 861*2^1390569-1 is not prime. Res64: 5D910F1DEB7F2174 Time : 0.0 sec. user=mdettweiler [2015-02-08 03:26:28] 895*2^1390569-1 is not prime. Res64: EAE184A959CFA078 Time : 0.0 sec. user=mdettweiler [2015-02-08 03:27:04] 921*2^1390569-1 is not prime. Res64: 7A9515781E8BF88F Time : 0.0 sec. user=mdettweiler [2015-02-08 03:27:05] 955*2^1390569-1 is not prime. Res64: 3D1A79F78909D5A4 Time : 0.0 sec. user=mdettweiler [2015-02-08 03:28:39] 999*2^1390569-1 is not prime. Res64: 21BA79DB41B4D10A Time : 0.0 sec. user=mdettweiler [2015-02-08 03:28:40] 635*2^1390570-1 is not prime. Res64: E70BCEDCD5663C53 Time : 0.0 sec. user=mdettweiler [2015-02-08 03:29:21] 645*2^1390570-1 is not prime. Res64: 58D27D70BDEDF9F2 Time : 0.0 sec. user=mdettweiler [2015-02-08 03:29:23] 653*2^1390570-1 is not prime. Res64: A25C5F409E0D5C0B Time : 0.0 sec. user=mdettweiler [2015-02-08 03:53:05] 741*2^1390570-1 is not prime. Res64: FC723E9E0653B3F8 Time : 0.0 sec. user=mdettweiler [2015-02-08 03:53:05] 827*2^1390570-1 is not prime. Res64: 591867C07EA9C52A Time : 0.0 sec. user=mdettweiler [2015-02-08 03:53:38] 885*2^1390570-1 is not prime. Res64: 117F5A9D31B8B991 Time : 0.0 sec. user=mdettweiler [2015-02-08 03:53:39] 981*2^1390570-1 is not prime. Res64: 45E3CB0E4D748ABF Time : 0.0 sec. user=mdettweiler [2015-02-08 03:55:11] 643*2^1390571-1 is not prime. Res64: 055F74EF380E89E7 Time : 0.0 sec. user=mdettweiler [2015-02-08 03:55:12] 733*2^1390571-1 is not prime. Res64: B238AD73E812A0EE Time : 0.0 sec. user=mdettweiler [2015-02-08 03:55:59] 981*2^1390571-1 is not prime. Res64: F616AE17616BF971 Time : 0.0 sec. user=mdettweiler [2015-02-08 03:55:59] 693*2^1390572-1 is not prime. Res64: B86E02A936273C19 Time : 0.0 sec. user=mdettweiler [2015-02-08 04:20:41] 753*2^1390572-1 is not prime. Res64: CE91D2EB55E5FC97 Time : 0.0 sec. user=mdettweiler [2015-02-08 04:20:41] 887*2^1390572-1 is not prime. Res64: 69F5B87050EF80EB Time : 0.0 sec. user=mdettweiler [2015-02-08 04:21:35] 987*2^1390572-1 is not prime. Res64: 9BCE16F7C9F8EE12 Time : 0.0 sec. user=mdettweiler [2015-02-08 04:21:35] 607*2^1390573-1 is not prime. Res64: C8398E76C9076C30 Time : 0.0 sec. user=mdettweiler [2015-02-08 04:23:19] 639*2^1390573-1 is not prime. Res64: BFACAE544578C7FB Time : 0.0 sec. user=mdettweiler [2015-02-08 04:23:19] 743*2^1390574-1 is not prime. Res64: 4413550E8191BAF8 Time : 0.0 sec. user=mdettweiler [2015-02-08 04:23:47] 773*2^1390574-1 is not prime. Res64: 19D5A8C8C7233C12 Time : 0.0 sec. user=mdettweiler [2015-02-08 04:23:48] 791*2^1390574-1 is not prime. Res64: D5D13C5C4C73AD84 Time : 0.0 sec. user=mdettweiler [2015-02-08 04:48:24] 851*2^1390574-1 is not prime. Res64: 49361ABB6A181C1A Time : 0.0 sec. user=mdettweiler [2015-02-08 04:48:24] 861*2^1390574-1 is not prime. Res64: EBA7B68C95FD9DB6 Time : 0.0 sec. user=mdettweiler [2015-02-08 04:49:09] 735*2^1390575-1 is not prime. Res64: A65D703241D123E2 Time : 0.0 sec. user=mdettweiler [2015-02-08 04:49:09] 789*2^1390575-1 is not prime. Res64: BEF637C194A2177B Time : 0.0 sec. user=mdettweiler [2015-02-08 04:50:55] 921*2^1390575-1 is not prime. Res64: 25F72D0F55DE176B Time : 0.0 sec. user=mdettweiler [2015-02-08 04:50:56] 933*2^1390575-1 is not prime. Res64: 46B4C5F39005E630 Time : 0.0 sec. user=mdettweiler [2015-02-08 04:51:15] 951*2^1390575-1 is not prime. Res64: C3BB828459561CC3 Time : 0.0 sec. user=mdettweiler [2015-02-08 04:51:16] 695*2^1390576-1 is not prime. Res64: 2C3168EB49971F19 Time : 0.0 sec. user=mdettweiler [2015-02-08 05:14:55] 601*2^1390577-1 is not prime. Res64: 29BCB58827191DBD Time : 0.0 sec. user=mdettweiler [2015-02-08 05:14:55] 631*2^1390577-1 is not prime. Res64: 5F2F6553A3CECF00 Time : 0.0 sec. user=mdettweiler [2015-02-08 05:15:40] 697*2^1390577-1 is not prime. Res64: D2E7C50C8581784C Time : 0.0 sec. user=mdettweiler [2015-02-08 05:15:41] 831*2^1390577-1 is not prime. Res64: 967E0FEE84194722 Time : 0.0 sec. user=mdettweiler [2015-02-08 05:17:34] 605*2^1390578-1 is not prime. Res64: 9BE42443AE8EC430 Time : 0.0 sec. user=mdettweiler [2015-02-08 05:17:34] 651*2^1390578-1 is not prime. Res64: A5A7F0D0B0B15CE1 Time : 0.0 sec. user=mdettweiler [2015-02-08 05:17:45] 681*2^1390578-1 is not prime. Res64: 5A85DF1262CD8504 Time : 0.0 sec. user=mdettweiler [2015-02-08 05:17:46] 815*2^1390578-1 is not prime. Res64: FD38E9E819685D76 Time : 0.0 sec. user=mdettweiler [2015-02-08 05:41:34] 891*2^1390578-1 is not prime. Res64: 906312B4F49B8223 Time : 0.0 sec. user=mdettweiler [2015-02-08 05:41:34] 945*2^1390578-1 is not prime. Res64: 604D9D9B09009FC2 Time : 0.0 sec. user=mdettweiler [2015-02-08 05:42:07] 977*2^1390578-1 is not prime. Res64: 18650272FE8EA649 Time : 0.0 sec. user=mdettweiler [2015-02-08 05:42:08] 993*2^1390578-1 is not prime. Res64: 1060C943DC91BD19 Time : 0.0 sec. user=mdettweiler [2015-02-08 05:44:06] 735*2^1390579-1 is not prime. Res64: 596C02749D1C39AE Time : 0.0 sec. user=mdettweiler [2015-02-08 05:44:07] 741*2^1390579-1 is not prime. Res64: 92D775B3F1CF5EFD Time : 0.0 sec. user=mdettweiler [2015-02-08 05:44:18] 745*2^1390579-1 is not prime. Res64: 74C45716814563BB Time : 0.0 sec. user=mdettweiler [2015-02-08 05:44:18] 769*2^1390579-1 is not prime. Res64: D16712D8CEECCC88 Time : 0.0 sec. user=mdettweiler [2015-02-08 06:08:25] 979*2^1390579-1 is not prime. Res64: D1B9487A0B080EC1 Time : 0.0 sec. user=mdettweiler [2015-02-08 06:08:26] 615*2^1390580-1 is not prime. Res64: 54AE9ABC3D1333BA Time : 0.0 sec. user=mdettweiler [2015-02-08 06:08:37] 629*2^1390580-1 is not prime. Res64: CFF7B221AA821394 Time : 0.0 sec. user=mdettweiler [2015-02-08 06:08:37] 647*2^1390580-1 is not prime. Res64: 3A95B58D496FEFD0 Time : 0.0 sec. user=mdettweiler [2015-02-08 06:10:34] 689*2^1390580-1 is not prime. Res64: 127A20BDA0F08D74 Time : 0.0 sec. user=mdettweiler [2015-02-08 06:10:34] 719*2^1390580-1 is not prime. Res64: 600266066EDF1F00 Time : 0.0 sec. user=mdettweiler [2015-02-08 06:10:55] 797*2^1390580-1 is not prime. Res64: 09B965EE7BDF93CF Time : 0.0 sec. user=mdettweiler [2015-02-08 06:10:56] 649*2^1390581-1 is not prime. Res64: DB3F5C7E4A0A6609 Time : 0.0 sec. user=mdettweiler [2015-02-08 06:34:59] 795*2^1390581-1 is not prime. Res64: 070223C495FCBD3A Time : 0.0 sec. user=mdettweiler [2015-02-08 06:34:59] 955*2^1390581-1 is not prime. Res64: C4731C2189380963 Time : 0.0 sec. user=mdettweiler [2015-02-08 06:35:23] 669*2^1390581-1 is not prime. Res64: 27FE808D314357E5 Time : 0.0 sec. user=mdettweiler [2015-02-08 06:35:23] 681*2^1390581-1 is not prime. Res64: 0195A73B1280C66C Time : 0.0 sec. user=mdettweiler [2015-02-08 06:37:15] 741*2^1390582-1 is not prime. Res64: 5876DD3801C01578 Time : 0.0 sec. user=mdettweiler [2015-02-08 06:37:15] 761*2^1390582-1 is not prime. Res64: EA76CE808EB05A7C Time : 0.0 sec. user=mdettweiler [2015-02-08 06:37:16] 991*2^1390581-1 is not prime. Res64: E6E2E7DEEBF508D4 Time : 0.0 sec. user=mdettweiler [2015-02-08 06:37:16] 665*2^1390582-1 is not prime. Res64: 14D61745F0FAF5CA Time : 0.0 sec. user=mdettweiler [2015-02-08 07:01:34] 855*2^1390582-1 is not prime. Res64: 2D8E39FAB1C4E3DC Time : 0.0 sec. user=mdettweiler [2015-02-08 07:01:35] 945*2^1390582-1 is not prime. Res64: 3F21CF90709C62BC Time : 0.0 sec. user=mdettweiler [2015-02-08 07:01:52] 703*2^1390583-1 is not prime. Res64: 3640EF85C3E9C183 Time : 0.0 sec. user=mdettweiler [2015-02-08 07:01:53] 735*2^1390583-1 is not prime. Res64: 1291B08EC8EB6BC7 Time : 0.0 sec. user=mdettweiler [2015-02-08 07:03:37] 739*2^1390583-1 is not prime. Res64: 0E72C25A171D9B61 Time : 0.0 sec. user=mdettweiler [2015-02-08 07:03:38] 783*2^1390583-1 is not prime. Res64: 96702293D2D43636 Time : 0.0 sec. user=mdettweiler [2015-02-08 07:03:45] 811*2^1390583-1 is not prime. Res64: D9121386DB8E764A Time : 0.0 sec. user=mdettweiler [2015-02-08 07:03:46] 819*2^1390583-1 is not prime. Res64: 6DD5F69F2CCA2C66 Time : 0.0 sec. user=mdettweiler [2015-02-08 07:28:24] 859*2^1390583-1 is not prime. Res64: DE268C44D40CC6C3 Time : 0.0 sec. user=mdettweiler [2015-02-08 07:28:24] 861*2^1390583-1 is not prime. Res64: FA8503F5C743A2DD Time : 0.0 sec. user=mdettweiler [2015-02-08 07:28:34] 765*2^1390584-1 is not prime. Res64: 1F359E2CF7EB7EC9 Time : 0.0 sec. user=mdettweiler [2015-02-08 07:28:34] 875*2^1390584-1 is not prime. Res64: 943C0BF542D3B7C5 Time : 0.0 sec. user=mdettweiler [2015-02-08 07:30:13] 893*2^1390584-1 is not prime. Res64: 8B12D1C75F45BF7F Time : 0.0 sec. user=mdettweiler [2015-02-08 07:30:14] 959*2^1390584-1 is not prime. Res64: 5BC5204A3709FA15 Time : 0.0 sec. user=mdettweiler [2015-02-08 07:30:35] 675*2^1390585-1 is not prime. Res64: FADD43891AC6256F Time : 0.0 sec. user=mdettweiler [2015-02-08 07:30:36] 721*2^1390585-1 is not prime. Res64: 07C45DDA5189EB4E Time : 0.0 sec. user=mdettweiler [2015-02-08 07:54:58] 817*2^1390585-1 is not prime. Res64: 0D6326FA2C114AF6 Time : 0.0 sec. user=mdettweiler [2015-02-08 07:54:58] 955*2^1390585-1 is not prime. Res64: 0502B373EC32C137 Time : 0.0 sec. user=mdettweiler [2015-02-08 07:55:09] 957*2^1390585-1 is not prime. Res64: 32BB62B766361B1E Time : 0.0 sec. user=mdettweiler [2015-02-08 07:55:09] 997*2^1390585-1 is not prime. Res64: 761583C08CA6D4F6 Time : 0.0 sec. user=mdettweiler [2015-02-08 07:56:36] 617*2^1390586-1 is not prime. Res64: 73EFA201D3BB0337 Time : 0.0 sec. user=mdettweiler [2015-02-08 07:56:36] 633*2^1390586-1 is not prime. Res64: CED8464E46E8FC8B Time : 0.0 sec. user=mdettweiler [2015-02-08 07:57:09] 755*2^1390586-1 is not prime. Res64: 4605E78B49027A19 Time : 0.0 sec. user=mdettweiler [2015-02-08 07:57:09] 801*2^1390586-1 is not prime. Res64: 15B5433516909221 Time : 0.0 sec. user=mdettweiler [2015-02-08 08:21:38] 875*2^1390586-1 is not prime. Res64: 4F558350D574F669 Time : 0.0 sec. user=mdettweiler [2015-02-08 08:21:38] 911*2^1390586-1 is not prime. Res64: B32AB9F90EC6057E Time : 0.0 sec. user=mdettweiler [2015-02-08 08:21:42] 921*2^1390586-1 is not prime. Res64: 069878D3C08A086D Time : 0.0 sec. user=mdettweiler [2015-02-08 08:21:42] 935*2^1390586-1 is not prime. Res64: A6EC56471F62B8BE Time : 0.0 sec. user=mdettweiler [2015-02-08 08:23:13] 633*2^1390587-1 is not prime. Res64: DC4F865DFE63360C Time : 0.0 sec. user=mdettweiler [2015-02-08 08:23:13] 751*2^1390587-1 is not prime. Res64: 27DCB12BA0495E23 Time : 0.0 sec. user=mdettweiler [2015-02-08 08:23:38] 753*2^1390587-1 is not prime. Res64: AA65A3510CFE79B5 Time : 0.0 sec. user=mdettweiler [2015-02-08 08:23:38] 805*2^1390587-1 is not prime. Res64: 03506E0AAC1484C9 Time : 0.0 sec. user=mdettweiler [2015-02-08 08:48:03] 861*2^1390587-1 is not prime. Res64: 4F843331061B544C Time : 0.0 sec. user=mdettweiler [2015-02-08 08:48:03] 603*2^1390588-1 is not prime. Res64: 6A5ABD62A2615936 Time : 0.0 sec. user=mdettweiler [2015-02-08 08:48:28] 735*2^1390588-1 is not prime. Res64: 7DE676611CBFA6E5 Time : 0.0 sec. user=mdettweiler [2015-02-08 08:48:28] 755*2^1390588-1 is not prime. Res64: 2962BB109AE4B074 Time : 0.0 sec. user=mdettweiler [2015-02-08 08:49:50] 885*2^1390588-1 is not prime. Res64: C275AC4FEC983C14 Time : 0.0 sec. user=mdettweiler [2015-02-08 08:49:51] 923*2^1390588-1 is not prime. Res64: D2537282385B0489 Time : 0.0 sec. user=mdettweiler [2015-02-08 08:50:08] 621*2^1390589-1 is not prime. Res64: 3087C97FE94F13F6 Time : 0.0 sec. user=mdettweiler [2015-02-08 08:50:09] 631*2^1390589-1 is not prime. Res64: 13AFA68958AFCEBC Time : 0.0 sec. user=mdettweiler [2015-02-08 09:14:37] 645*2^1390589-1 is not prime. Res64: 6F66D2355F87A03A Time : 0.0 sec. user=mdettweiler [2015-02-08 09:14:38] 655*2^1390589-1 is not prime. Res64: 9E5E2C6195279BC2 Time : 0.0 sec. user=mdettweiler [2015-02-08 09:15:09] 711*2^1390589-1 is not prime. Res64: 19E61155CB9336B9 Time : 0.0 sec. user=mdettweiler [2015-02-08 09:15:10] 795*2^1390589-1 is not prime. Res64: 0842D35C8E41EF3E Time : 0.0 sec. user=mdettweiler [2015-02-08 09:16:19] 855*2^1390589-1 is not prime. Res64: 81FFB3D18A382E15 Time : 0.0 sec. user=mdettweiler [2015-02-08 09:16:19] 861*2^1390589-1 is not prime. Res64: 066C11A8DF227682 Time : 0.0 sec. user=mdettweiler [2015-02-08 09:16:44] 969*2^1390589-1 is not prime. Res64: 0E69907D7892E3B2 Time : 0.0 sec. user=mdettweiler [2015-02-08 09:16:45] 635*2^1390590-1 is not prime. Res64: 006E46D703A10179 Time : 0.0 sec. user=mdettweiler [2015-02-08 09:41:13] 725*2^1390590-1 is not prime. Res64: FA61F2206BFCBCD7 Time : 0.0 sec. user=mdettweiler [2015-02-08 09:41:14] 747*2^1390590-1 is not prime. Res64: 15FD56FB60B8A0E5 Time : 0.0 sec. user=mdettweiler [2015-02-08 09:41:36] 825*2^1390590-1 is not prime. Res64: D3D6496589C40D5B Time : 0.0 sec. user=mdettweiler [2015-02-08 09:41:37] 885*2^1390590-1 is not prime. Res64: 31F43909D5B44837 Time : 0.0 sec. user=mdettweiler [2015-02-08 09:42:44] 891*2^1390590-1 is not prime. Res64: 7FDF1B488AF758A6 Time : 0.0 sec. user=mdettweiler [2015-02-08 09:42:44] 971*2^1390590-1 is not prime. Res64: 43234C0E68436BAE Time : 0.0 sec. user=mdettweiler [2015-02-08 09:43:17] 619*2^1390591-1 is not prime. Res64: 545CC99437418727 Time : 0.0 sec. user=mdettweiler [2015-02-08 09:43:17] 639*2^1390591-1 is not prime. Res64: EBA19AA81DC2F086 Time : 0.0 sec. user=mdettweiler [2015-02-08 10:07:52] 715*2^1390591-1 is not prime. Res64: C61BFFD9E5CC552D Time : 0.0 sec. user=mdettweiler [2015-02-08 10:07:52] 723*2^1390591-1 is not prime. Res64: ED505A50E985CC43 Time : 0.0 sec. user=mdettweiler [2015-02-08 10:08:07] 925*2^1390591-1 is not prime. Res64: 2A57ED8C587D53C1 Time : 0.0 sec. user=mdettweiler [2015-02-08 10:08:07] 677*2^1390592-1 is not prime. Res64: E0B354C9156CC269 Time : 0.0 sec. user=mdettweiler [2015-02-08 10:09:25] 699*2^1390592-1 is not prime. Res64: E8F41851E4279416 Time : 0.0 sec. user=mdettweiler [2015-02-08 10:09:26] 735*2^1390592-1 is not prime. Res64: 7EADA4E1936F8CCB Time : 0.0 sec. user=mdettweiler [2015-02-08 10:09:48] 767*2^1390592-1 is not prime. Res64: B3A2AA9023774639 Time : 0.0 sec. user=mdettweiler [2015-02-08 10:09:49] 893*2^1390592-1 is not prime. Res64: E1AB0B0F0E3B3C36 Time : 0.0 sec. user=juhehe [2015-02-08 10:18:34] 645*2^1390591-1 is not prime. Res64: 9470433B593E1E40 Time : 0.0 sec. user=mdettweiler [2015-02-08 10:34:34] 675*2^1390593-1 is not prime. Res64: 6A7B4AFFE136D0B5 Time : 0.0 sec. user=mdettweiler [2015-02-08 10:34:34] 935*2^1390592-1 is not prime. Res64: 514BC5F6AC59548B Time : 0.0 sec. user=mdettweiler [2015-02-08 10:34:34] 705*2^1390593-1 is not prime. Res64: 72C278E3777F7489 Time : 0.0 sec. user=mdettweiler [2015-02-08 10:34:34] 957*2^1390592-1 is not prime. Res64: 078C455FB97739B3 Time : 0.0 sec. user=mdettweiler [2015-02-08 10:35:58] 759*2^1390593-1 is not prime. Res64: 0CDBCE3A43E28801 Time : 0.0 sec. user=mdettweiler [2015-02-08 10:35:58] 795*2^1390593-1 is not prime. Res64: 5045A3805F0E61A2 Time : 0.0 sec. user=mdettweiler [2015-02-08 10:36:25] 817*2^1390593-1 is not prime. Res64: 42DB509601AEDCA2 Time : 0.0 sec. user=mdettweiler [2015-02-08 10:36:25] 937*2^1390593-1 is not prime. Res64: E751655E51B01005 Time : 0.0 sec. user=mdettweiler [2015-02-08 11:00:58] 969*2^1390593-1 is not prime. Res64: F8BEFAAB4F4C4B5B Time : 0.0 sec. user=mdettweiler [2015-02-08 11:00:59] 677*2^1390594-1 is not prime. Res64: DE6BD652F05D7D3C Time : 0.0 sec. user=mdettweiler [2015-02-08 11:01:05] 695*2^1390594-1 is not prime. Res64: 9FFE5B0348A608F2 Time : 0.0 sec. user=mdettweiler [2015-02-08 11:01:06] 717*2^1390594-1 is not prime. Res64: F70124CC8E089897 Time : 0.0 sec. user=mdettweiler [2015-02-08 11:02:32] 815*2^1390594-1 is not prime. Res64: 0E26D15232BA9608 Time : 0.0 sec. user=mdettweiler [2015-02-08 11:02:33] 833*2^1390594-1 is not prime. Res64: 520FF80EB11D3406 Time : 0.0 sec. user=mdettweiler [2015-02-08 11:02:50] 903*2^1390594-1 is not prime. Res64: 22AFB8FF61718A92 Time : 0.0 sec. user=mdettweiler [2015-02-08 11:02:51] 983*2^1390594-1 is not prime. Res64: 9139FA22B75A7E60 Time : 0.0 sec. user=mdettweiler [2015-02-08 11:27:42] 771*2^1390595-1 is not prime. Res64: 208C825280F15DCB Time : 0.0 sec. user=mdettweiler [2015-02-08 11:27:42] 775*2^1390595-1 is not prime. Res64: 49A302D62FAF4344 Time : 0.0 sec. user=mdettweiler [2015-02-08 11:27:52] 603*2^1390595-1 is not prime. Res64: EC79DBBDF647D267 Time : 0.0 sec. user=mdettweiler [2015-02-08 11:27:53] 643*2^1390595-1 is not prime. Res64: B6ABFB083EB20690 Time : 0.0 sec. user=mdettweiler [2015-02-08 11:29:05] 783*2^1390595-1 is not prime. Res64: 5D5B0C2D60E88637 Time : 0.0 sec. user=mdettweiler [2015-02-08 11:29:06] 825*2^1390595-1 is not prime. Res64: E1E381F8EEEE63B3 Time : 0.0 sec. user=mdettweiler [2015-02-08 11:29:23] 841*2^1390595-1 is not prime. Res64: CF695FF4CB071CBB Time : 0.0 sec. user=mdettweiler [2015-02-08 11:29:24] 963*2^1390595-1 is not prime. Res64: E229BD865C41007D Time : 0.0 sec. user=mdettweiler [2015-02-08 11:54:17] 979*2^1390595-1 is not prime. Res64: 40C5955E40272B36 Time : 0.0 sec. user=mdettweiler [2015-02-08 11:54:17] 633*2^1390596-1 is not prime. Res64: 888621AADE22A6CB Time : 0.0 sec. user=mdettweiler [2015-02-08 11:54:33] 693*2^1390596-1 is not prime. Res64: 9975399118C51D9D Time : 0.0 sec. user=mdettweiler [2015-02-08 11:54:33] 737*2^1390596-1 is not prime. Res64: E257F6DD4FC37717 Time : 0.0 sec. user=mdettweiler [2015-02-08 11:55:52] 825*2^1390596-1 is not prime. Res64: EC31F64EC8C2AE80 Time : 0.0 sec. user=mdettweiler [2015-02-08 11:55:53] 837*2^1390596-1 is not prime. Res64: 35B1730413A0EFB8 Time : 0.0 sec. user=mdettweiler [2015-02-08 11:56:04] 905*2^1390596-1 is not prime. Res64: BAE2EBD755CD319B Time : 0.0 sec. user=mdettweiler [2015-02-08 11:56:04] 945*2^1390596-1 is not prime. Res64: 7AC348FEAEAE044A Time : 0.0 sec. user=mdettweiler [2015-02-08 12:20:50] 771*2^1390597-1 is not prime. Res64: A0F32D23C7F90BC4 Time : 0.0 sec. user=mdettweiler [2015-02-08 12:20:51] 693*2^1390598-1 is not prime. Res64: BF3E9441FD372019 Time : 0.0 sec. user=mdettweiler [2015-02-08 12:20:55] 885*2^1390598-1 is not prime. Res64: 22E6FAD3ADC42B66 Time : 0.0 sec. user=mdettweiler [2015-02-08 12:20:55] 639*2^1390599-1 is not prime. Res64: F925480857D3C8B2 Time : 0.0 sec. user=mdettweiler [2015-02-08 12:22:22] 795*2^1390599-1 is not prime. Res64: 646D04EC748FD098 Time : 0.0 sec. user=mdettweiler [2015-02-08 12:22:22] 831*2^1390599-1 is not prime. Res64: 1A34FE351DA52E0A Time : 0.0 sec. user=mdettweiler [2015-02-08 12:22:45] 885*2^1390599-1 is not prime. Res64: B610CF21ADCE5397 Time : 0.0 sec. user=mdettweiler [2015-02-08 12:22:45] 943*2^1390599-1 is not prime. Res64: C1F92CAFC23EB199 Time : 0.0 sec. user=mdettweiler [2015-02-08 12:47:26] 985*2^1390599-1 is not prime. Res64: 98495ADDBFF8368F Time : 0.0 sec. user=mdettweiler [2015-02-08 12:47:26] 609*2^1390600-1 is not prime. Res64: EAC58376BC7DDC05 Time : 0.0 sec. user=mdettweiler [2015-02-08 12:47:32] 969*2^1390599-1 is not prime. Res64: D0D1B8920239A9E7 Time : 0.0 sec. user=mdettweiler [2015-02-08 12:47:33] 979*2^1390599-1 is not prime. Res64: 1DE24B947CA56001 Time : 0.0 sec. user=mdettweiler [2015-02-08 12:48:44] 677*2^1390600-1 is not prime. Res64: 75EA1CBB1C6A94D9 Time : 0.0 sec. user=mdettweiler [2015-02-08 12:48:44] 813*2^1390600-1 is not prime. Res64: 693A8170FB3ECF49 Time : 0.0 sec. user=mdettweiler [2015-02-08 12:49:17] 875*2^1390600-1 is not prime. Res64: 893DB8FCA7B96AC4 Time : 0.0 sec. user=mdettweiler [2015-02-08 12:49:17] 975*2^1390600-1 is not prime. Res64: F69165C4333BEB9D Time : 0.0 sec. user=mdettweiler [2015-02-08 13:13:57] 637*2^1390601-1 is not prime. Res64: 2707937CD3E76539 Time : 0.0 sec. user=mdettweiler [2015-02-08 13:13:57] 781*2^1390601-1 is not prime. Res64: 86E5E80F1BDC6343 Time : 0.0 sec. user=mdettweiler [2015-02-08 13:14:09] 885*2^1390601-1 is not prime. Res64: 69F0AD3D9B40FFF8 Time : 0.0 sec. user=mdettweiler [2015-02-08 13:14:10] 627*2^1390602-1 is not prime. Res64: 1765A4C1D8561B0D Time : 0.0 sec. user=mdettweiler [2015-02-08 13:15:19] 671*2^1390602-1 is not prime. Res64: 0A5E45192C4B3423 Time : 0.0 sec. user=mdettweiler [2015-02-08 13:15:19] 803*2^1390602-1 is not prime. Res64: 34E571E25ACD056C Time : 0.0 sec. user=mdettweiler [2015-02-08 13:15:48] 873*2^1390602-1 is not prime. Res64: BC5E113CBE048C9D Time : 0.0 sec. user=mdettweiler [2015-02-08 13:15:49] 875*2^1390602-1 is not prime. Res64: 1DCBC73AF6A23D73 Time : 0.0 sec. user=mdettweiler [2015-02-08 13:40:21] 921*2^1390602-1 is not prime. Res64: EA8770160D34E534 Time : 0.0 sec. user=mdettweiler [2015-02-08 13:40:22] 947*2^1390602-1 is not prime. Res64: AE0A072E17F0B64E Time : 0.0 sec. user=mdettweiler [2015-02-08 13:40:45] 675*2^1390603-1 is not prime. Res64: BE1A5A18E7A250E0 Time : 0.0 sec. user=mdettweiler [2015-02-08 13:40:46] 703*2^1390603-1 is not prime. Res64: 97B50911A5EF9F66 Time : 0.0 sec. user=mdettweiler [2015-02-08 13:41:50] 741*2^1390603-1 is not prime. Res64: 295619F019D1CAE3 Time : 0.0 sec. user=mdettweiler [2015-02-08 13:41:50] 765*2^1390603-1 is not prime. Res64: 1F175CAAD8EBAAE7 Time : 0.0 sec. user=mdettweiler [2015-02-08 13:42:09] 859*2^1390603-1 is not prime. Res64: D286BAF602753C3B Time : 0.0 sec. user=mdettweiler [2015-02-08 13:42:09] 873*2^1390603-1 is not prime. Res64: 7794EBE566322F74 Time : 0.0 sec. user=mdettweiler [2015-02-08 14:06:51] 939*2^1390603-1 is not prime. Res64: 04C925D40F142EA0 Time : 0.0 sec. user=mdettweiler [2015-02-08 14:06:52] 951*2^1390603-1 is not prime. Res64: 0C11A59CB65AF1CA Time : 0.0 sec. user=mdettweiler [2015-02-08 14:07:21] 617*2^1390604-1 is not prime. Res64: 3FB1701538EF6AA3 Time : 0.0 sec. user=mdettweiler [2015-02-08 14:07:22] 675*2^1390604-1 is not prime. Res64: F8486F5EF6302F1A Time : 0.0 sec. user=mdettweiler [2015-02-08 14:08:24] 915*2^1390604-1 is not prime. Res64: AA29CF721EA0BF9F Time : 0.0 sec. user=mdettweiler [2015-02-08 14:08:25] 995*2^1390604-1 is not prime. Res64: 235573451D0408B9 Time : 0.0 sec. user=mdettweiler [2015-02-08 14:08:40] 649*2^1390605-1 is not prime. Res64: 20359667523F267F Time : 0.0 sec. user=mdettweiler [2015-02-08 14:08:40] 651*2^1390605-1 is not prime. Res64: 54FA93BDBF80AB29 Time : 0.0 sec. user=mdettweiler [2015-02-08 14:42:10] 679*2^1390605-1 is not prime. Res64: 59A2BF9A923C606F Time : 0.0 sec. user=mdettweiler [2015-02-08 14:42:10] 709*2^1390605-1 is not prime. Res64: 05A7CADF77353E2D Time : 0.0 sec. user=mdettweiler [2015-02-08 14:43:06] 759*2^1390605-1 is not prime. Res64: D2F65AF6D91C7EB9 Time : 0.0 sec. user=mdettweiler [2015-02-08 14:43:06] 831*2^1390605-1 is not prime. Res64: 0C7C28D167730A00 Time : 0.0 sec. user=mdettweiler [2015-02-08 14:44:51] 741*2^1390607-1 is not prime. Res64: 8B27DBE1C7107269 Time : 0.0 sec. user=mdettweiler [2015-02-08 14:44:52] 843*2^1390607-1 is not prime. Res64: ABFC607A8CAC7CE0 Time : 0.0 sec. user=mdettweiler [2015-02-08 14:44:58] 871*2^1390605-1 is not prime. Res64: 6849B02BE3BC92BD Time : 0.0 sec. user=mdettweiler [2015-02-08 14:44:59] 941*2^1390606-1 is not prime. Res64: 7A0EEB6EEBCBFF6B Time : 0.0 sec. user=mdettweiler [2015-02-08 15:12:41] 861*2^1390607-1 is not prime. Res64: 9346727D69C48849 Time : 0.0 sec. user=mdettweiler [2015-02-08 15:12:41] 885*2^1390607-1 is not prime. Res64: 77CFCB7B8598DF2C Time : 0.0 sec. user=mdettweiler [2015-02-08 15:14:11] 949*2^1390607-1 is not prime. Res64: 808A0053DAC913CD Time : 0.0 sec. user=mdettweiler [2015-02-08 15:14:11] 707*2^1390608-1 is not prime. Res64: 28E7A3BF7E866579 Time : 0.0 sec. user=mdettweiler [2015-02-08 15:14:57] 667*2^1390609-1 is not prime. Res64: A8192A824108F9FF Time : 0.0 sec. user=mdettweiler [2015-02-08 15:14:58] 765*2^1390609-1 is not prime. Res64: 9DF408049CF4DDCC Time : 0.0 sec. user=mdettweiler [2015-02-08 15:16:03] 849*2^1390608-1 is not prime. Res64: D902BF573EB496CF Time : 0.0 sec. user=mdettweiler [2015-02-08 15:16:03] 639*2^1390609-1 is not prime. Res64: 9F9695453B40828B Time : 0.0 sec. user=mdettweiler [2015-02-08 15:40:43] 855*2^1390609-1 is not prime. Res64: 3AEFE51D9C7ED00D Time : 0.0 sec. user=mdettweiler [2015-02-08 15:40:43] 861*2^1390609-1 is not prime. Res64: 904CD76504DCA42E Time : 0.0 sec. user=mdettweiler [2015-02-08 15:41:49] 877*2^1390609-1 is not prime. Res64: D070D2976A562BC1 Time : 0.0 sec. user=mdettweiler [2015-02-08 15:41:50] 999*2^1390609-1 is not prime. Res64: B9B271D85A09EB7D Time : 0.0 sec. user=mdettweiler [2015-02-08 15:42:14] 645*2^1390610-1 is not prime. Res64: 496CBB908E72EE63 Time : 0.0 sec. user=mdettweiler [2015-02-08 15:42:14] 665*2^1390610-1 is not prime. Res64: 1EE5AB3DE5640F63 Time : 0.0 sec. user=mdettweiler [2015-02-08 15:43:28] 677*2^1390610-1 is not prime. Res64: C4D2EDE208B9BD4C Time : 0.0 sec. user=mdettweiler [2015-02-08 15:43:28] 755*2^1390610-1 is not prime. Res64: 694DEAD3D3169692 Time : 0.0 sec. user=mdettweiler [2015-02-08 16:07:37] 773*2^1390610-1 is not prime. Res64: 54F1E1B5DA420091 Time : 0.0 sec. user=mdettweiler [2015-02-08 16:07:37] 797*2^1390610-1 is not prime. Res64: D43037502648245B Time : 0.0 sec. user=mdettweiler [2015-02-08 16:08:32] 679*2^1390611-1 is not prime. Res64: 0CDF0316BB269F79 Time : 0.0 sec. user=mdettweiler [2015-02-08 16:08:32] 703*2^1390611-1 is not prime. Res64: 52CA95719B3E102D Time : 0.0 sec. user=mdettweiler [2015-02-08 16:09:12] 871*2^1390611-1 is not prime. Res64: 18C01F9B53509378 Time : 0.0 sec. user=mdettweiler [2015-02-08 16:09:13] 931*2^1390611-1 is not prime. Res64: E788C84279AF9D83 Time : 0.0 sec. user=mdettweiler [2015-02-08 16:10:26] 603*2^1390612-1 is not prime. Res64: 1D5DD984AF6D45F1 Time : 0.0 sec. user=mdettweiler [2015-02-08 16:10:26] 617*2^1390612-1 is not prime. Res64: 056211D9F655B96F Time : 0.0 sec. user=mdettweiler [2015-02-08 16:34:54] 699*2^1390612-1 is not prime. Res64: B75CB7A10776A3F9 Time : 0.0 sec. user=mdettweiler [2015-02-08 16:34:55] 797*2^1390612-1 is not prime. Res64: B66B22DF02EE051A Time : 0.0 sec. user=mdettweiler [2015-02-08 16:35:41] 825*2^1390612-1 is not prime. Res64: 06A072F694B7C1B0 Time : 0.0 sec. user=mdettweiler [2015-02-08 16:35:41] 983*2^1390612-1 is not prime. Res64: FD6B029F3E5825E9 Time : 0.0 sec. user=mdettweiler [2015-02-08 16:36:21] 615*2^1390613-1 is not prime. Res64: 84F1B86F6AFA5347 Time : 0.0 sec. user=mdettweiler [2015-02-08 16:36:21] 675*2^1390613-1 is not prime. Res64: 4DA01A3CA9C6BC48 Time : 0.0 sec. user=mdettweiler [2015-02-08 16:37:32] 735*2^1390613-1 is not prime. Res64: B5B22313F18102B6 Time : 0.0 sec. user=mdettweiler [2015-02-08 16:37:33] 741*2^1390613-1 is not prime. Res64: 4ED8D4408722212F Time : 0.0 sec. user=mdettweiler [2015-02-08 17:01:26] 747*2^1390613-1 is not prime. Res64: FACE4C6E30D36428 Time : 0.0 sec. user=mdettweiler [2015-02-08 17:01:27] 829*2^1390613-1 is not prime. Res64: 6F62757DAC4790EA Time : 0.0 sec. user=mdettweiler [2015-02-08 17:02:21] 837*2^1390613-1 is not prime. Res64: A63F0223C6ED6C03 Time : 0.0 sec. user=mdettweiler [2015-02-08 17:02:22] 879*2^1390613-1 is not prime. Res64: 868800D50942653E Time : 0.0 sec. user=mdettweiler [2015-02-08 17:02:55] 897*2^1390613-1 is not prime. Res64: CB3DAA078BDB08D5 Time : 0.0 sec. user=mdettweiler [2015-02-08 17:02:56] 901*2^1390613-1 is not prime. Res64: 254375A30DC09E02 Time : 0.0 sec. user=mdettweiler [2015-02-08 17:04:08] 705*2^1390614-1 is not prime. Res64: AF56289B915ACBEA Time : 0.0 sec. user=mdettweiler [2015-02-08 17:04:09] 711*2^1390614-1 is not prime. Res64: 5247C698BDC6CFBC Time : 0.0 sec. user=mdettweiler [2015-02-08 17:28:12] 741*2^1390614-1 is not prime. Res64: 0D655D8765D14C9E Time : 0.0 sec. user=mdettweiler [2015-02-08 17:28:13] 765*2^1390614-1 is not prime. Res64: 10E72AA3828D127A Time : 0.0 sec. user=mdettweiler [2015-02-08 17:28:58] 861*2^1390614-1 is not prime. Res64: 000B1A0B70C434F3 Time : 0.0 sec. user=mdettweiler [2015-02-08 17:28:58] 1001*2^1390614-1 is not prime. Res64: 42A047AD8D025F28 Time : 0.0 sec. user=mdettweiler [2015-02-08 17:29:31] 601*2^1390615-1 is not prime. Res64: 3A79F855E14AA8AC Time : 0.0 sec. user=mdettweiler [2015-02-08 17:29:31] 925*2^1390615-1 is not prime. Res64: 28944F4896C5A070 Time : 0.0 sec. user=mdettweiler [2015-02-08 17:30:49] 657*2^1390616-1 is not prime. Res64: 1FA5E8E7A4877E3E Time : 0.0 sec. user=mdettweiler [2015-02-08 17:30:50] 825*2^1390616-1 is not prime. Res64: 1583EAAAA080094F Time : 0.0 sec. user=mdettweiler [2015-02-08 17:54:42] 879*2^1390616-1 is not prime. Res64: AC2005B18C6AEE44 Time : 0.0 sec. user=mdettweiler [2015-02-08 17:54:43] 637*2^1390617-1 is not prime. Res64: 7C8B2968FC928D82 Time : 0.0 sec. user=mdettweiler [2015-02-08 17:55:27] 717*2^1390617-1 is not prime. Res64: EC243C696A467150 Time : 0.0 sec. user=mdettweiler [2015-02-08 17:55:27] 727*2^1390617-1 is not prime. Res64: 36D36307F2392120 Time : 0.0 sec. user=mdettweiler [2015-02-08 17:56:04] 769*2^1390617-1 is not prime. Res64: C6C7F23A716DCAAD Time : 0.0 sec. user=mdettweiler [2015-02-08 17:56:05] 895*2^1390617-1 is not prime. Res64: 6B9D9C83742B855D Time : 0.0 sec. user=mdettweiler [2015-02-08 17:57:20] 909*2^1390617-1 is not prime. Res64: DBE6188A823A956F Time : 0.0 sec. user=mdettweiler [2015-02-08 17:57:20] 985*2^1390617-1 is not prime. Res64: 40CD35C3A899EA02 Time : 0.0 sec. user=mdettweiler [2015-02-08 18:21:12] 623*2^1390618-1 is not prime. Res64: 360F8E2AF5847E1E Time : 0.0 sec. user=mdettweiler [2015-02-08 18:21:12] 651*2^1390618-1 is not prime. Res64: 95849DDD598DB601 Time : 0.0 sec. user=mdettweiler [2015-02-08 18:21:59] 825*2^1390618-1 is not prime. Res64: E9601F779E6F85F5 Time : 0.0 sec. user=mdettweiler [2015-02-08 18:22:00] 857*2^1390618-1 is not prime. Res64: C2A5B326B9AAA368 Time : 0.0 sec. user=mdettweiler [2015-02-08 18:22:31] 881*2^1390618-1 is not prime. Res64: A6286B7B4B785BA5 Time : 0.0 sec. user=mdettweiler [2015-02-08 18:22:31] 887*2^1390618-1 is not prime. Res64: 41D5C43B5BC817CC Time : 0.0 sec. user=mdettweiler [2015-02-08 18:23:52] 905*2^1390618-1 is not prime. Res64: C15EDECFFF66D484 Time : 0.0 sec. user=mdettweiler [2015-02-08 18:23:53] 957*2^1390618-1 is not prime. Res64: DC476A72C8B089DD Time : 0.0 sec. user=mdettweiler [2015-02-08 18:47:45] 975*2^1390618-1 is not prime. Res64: E11D75F15FA00561 Time : 0.0 sec. user=mdettweiler [2015-02-08 18:47:45] 1001*2^1390618-1 is not prime. Res64: D5900F7733D1B961 Time : 0.0 sec. user=mdettweiler [2015-02-08 18:48:26] 633*2^1390619-1 is not prime. Res64: 5614E43D9CC30322 Time : 0.0 sec. user=mdettweiler [2015-02-08 18:48:26] 735*2^1390619-1 is not prime. Res64: 27D60D71C859167C Time : 0.0 sec. user=mdettweiler [2015-02-08 18:49:00] 825*2^1390619-1 is not prime. Res64: 21BB26246A5209AB Time : 0.0 sec. user=mdettweiler [2015-02-08 18:49:00] 921*2^1390619-1 is not prime. Res64: 1B0A634145938DE5 Time : 0.0 sec. user=mdettweiler [2015-02-08 18:50:19] 979*2^1390619-1 is not prime. Res64: 1E621CE1F1E1BE87 Time : 0.0 sec. user=mdettweiler [2015-02-08 18:50:19] 627*2^1390620-1 is not prime. Res64: A1E461EDD97FDF59 Time : 0.0 sec. user=mdettweiler [2015-02-08 19:14:30] 629*2^1390620-1 is not prime. Res64: A7D5D663904951B1 Time : 0.0 sec. user=mdettweiler [2015-02-08 19:14:31] 665*2^1390620-1 is not prime. Res64: 998642E53BF0C645 Time : 0.0 sec. user=mdettweiler [2015-02-08 19:15:01] 735*2^1390620-1 is not prime. Res64: 6184CDE8A636AA5E Time : 0.0 sec. user=mdettweiler [2015-02-08 19:15:02] 773*2^1390620-1 is not prime. Res64: A54CAF71D487B18B Time : 0.0 sec. user=mdettweiler [2015-02-08 19:15:40] 893*2^1390620-1 is not prime. Res64: 186CA3A4389B2577 Time : 0.0 sec. user=mdettweiler [2015-02-08 19:15:40] 607*2^1390621-1 is not prime. Res64: 53BC2697D10CA133 Time : 0.0 sec. user=mdettweiler [2015-02-08 19:16:58] 625*2^1390621-1 is not prime. Res64: 94791BE16DA4474B Time : 0.0 sec. user=mdettweiler [2015-02-08 19:16:58] 649*2^1390621-1 is not prime. Res64: 2152A10C376732D0 Time : 0.0 sec. user=mdettweiler [2015-02-08 19:44:42] 651*2^1390621-1 is not prime. Res64: 349B48342DB75AEA Time : 0.0 sec. user=mdettweiler [2015-02-08 19:44:42] 717*2^1390621-1 is not prime. Res64: 5FD143F702159F4E Time : 0.0 sec. user=mdettweiler [2015-02-08 19:45:56] 775*2^1390621-1 is not prime. Res64: E07135C4311140A3 Time : 0.0 sec. user=mdettweiler [2015-02-08 19:45:57] 855*2^1390621-1 is not prime. Res64: EB66B1732F8C3888 Time : 0.0 sec. user=mdettweiler [2015-02-08 19:45:57] 895*2^1390621-1 is not prime. Res64: AC27C142EEB7F9BC Time : 0.0 sec. user=mdettweiler [2015-02-08 19:45:58] 615*2^1390622-1 is not prime. Res64: C5A9F71542E0C322 Time : 0.0 sec. user=mdettweiler [2015-02-08 19:47:55] 645*2^1390622-1 is not prime. Res64: CE450A5B07392174 Time : 0.0 sec. user=mdettweiler [2015-02-08 19:47:56] 741*2^1390622-1 is not prime. Res64: 81AEB07680B6B814 Time : 0.0 sec. user=mdettweiler [2015-02-08 20:16:00] 791*2^1390622-1 is not prime. Res64: 5529CC47DA5F586E Time : 0.0 sec. user=mdettweiler [2015-02-08 20:16:00] 885*2^1390622-1 is not prime. Res64: 5B2F462BC56BC9A7 Time : 0.0 sec. user=mdettweiler [2015-02-08 20:17:12] 987*2^1390622-1 is not prime. Res64: 3162691164CD46CD Time : 0.0 sec. user=mdettweiler [2015-02-08 20:17:12] 781*2^1390623-1 is not prime. Res64: A7134BCFC522E161 Time : 0.0 sec. user=mdettweiler [2015-02-08 20:17:23] 911*2^1390622-1 is not prime. Res64: 941BC06BAE75E216 Time : 0.0 sec. user=mdettweiler [2015-02-08 20:17:23] 951*2^1390622-1 is not prime. Res64: DAD10A5FAE836EF8 Time : 0.0 sec. user=mdettweiler [2015-02-08 20:19:06] 871*2^1390623-1 is not prime. Res64: 292E719C0C7E0229 Time : 0.0 sec. user=mdettweiler [2015-02-08 20:19:07] 873*2^1390623-1 is not prime. Res64: 7218578F58369222 Time : 0.0 sec. user=mdettweiler [2015-02-08 20:46:06] 885*2^1390623-1 is not prime. Res64: A5090F271EDA36B4 Time : 0.0 sec. user=mdettweiler [2015-02-08 20:46:07] 933*2^1390623-1 is not prime. Res64: 68F5AE0561C3DE15 Time : 0.0 sec. user=mdettweiler [2015-02-08 20:47:08] 951*2^1390623-1 is not prime. Res64: FE5913AE43B0837D Time : 0.0 sec. user=mdettweiler [2015-02-08 20:47:09] 965*2^1390624-1 is not prime. Res64: 789DB187D21DA430 Time : 0.0 sec. user=mdettweiler [2015-02-08 20:47:16] 993*2^1390624-1 is not prime. Res64: DFEE0743018AAC04 Time : 0.0 sec. user=mdettweiler [2015-02-08 20:47:16] 657*2^1390625-1 is not prime. Res64: F9F48DD2C4F17151 Time : 0.0 sec. user=mdettweiler [2015-02-08 20:48:41] 679*2^1390625-1 is not prime. Res64: 70B0B7335FDE17C4 Time : 0.0 sec. user=mdettweiler [2015-02-08 20:48:41] 691*2^1390625-1 is not prime. Res64: 0FC1AB3290F76EC6 Time : 0.0 sec. user=mdettweiler [2015-02-08 21:12:48] 855*2^1390625-1 is not prime. Res64: 6C09AB77907F6268 Time : 0.0 sec. user=mdettweiler [2015-02-08 21:12:48] 871*2^1390625-1 is not prime. Res64: 1030A27134001AA2 Time : 0.0 sec. user=mdettweiler [2015-02-08 21:13:41] 885*2^1390625-1 is not prime. Res64: 4371A6EBB23F2EA8 Time : 0.0 sec. user=mdettweiler [2015-02-08 21:13:41] 897*2^1390625-1 is not prime. Res64: 1700E286E221413C Time : 0.0 sec. user=mdettweiler [2015-02-08 21:14:00] 767*2^1390626-1 is not prime. Res64: 054020E2A9DA077F Time : 0.0 sec. user=mdettweiler [2015-02-08 21:14:01] 821*2^1390626-1 is not prime. Res64: 6717BB5FF385338C Time : 0.0 sec. user=mdettweiler [2015-02-08 21:15:31] 947*2^1390626-1 is not prime. Res64: E3059098D154ACCC Time : 0.0 sec. user=mdettweiler [2015-02-08 21:15:32] 963*2^1390626-1 is not prime. Res64: 4A4F51920694BCC1 Time : 0.0 sec. user=mdettweiler [2015-02-08 21:39:28] 619*2^1390627-1 is not prime. Res64: F58D46AEE03811DA Time : 0.0 sec. user=mdettweiler [2015-02-08 21:39:29] 631*2^1390627-1 is not prime. Res64: 152B557CE8060285 Time : 0.0 sec. user=mdettweiler [2015-02-08 21:40:20] 673*2^1390627-1 is not prime. Res64: 386B94BC8A08E872 Time : 0.0 sec. user=mdettweiler [2015-02-08 21:40:20] 699*2^1390627-1 is not prime. Res64: 50B305E8A13B1301 Time : 0.0 sec. user=mdettweiler [2015-02-08 21:40:37] 895*2^1390627-1 is not prime. Res64: DD3DE107CFA30985 Time : 0.0 sec. user=mdettweiler [2015-02-08 21:40:37] 951*2^1390627-1 is not prime. Res64: 809099D9A25AAD49 Time : 0.0 sec. user=mdettweiler [2015-02-08 21:42:14] 985*2^1390627-1 is not prime. Res64: F8BC094E5609C5F7 Time : 0.0 sec. user=mdettweiler [2015-02-08 21:42:14] 707*2^1390628-1 is not prime. Res64: A145D1215FD077D2 Time : 0.0 sec. user=juhehe [2015-02-08 22:02:06] 833*2^1390628-1 is not prime. Res64: 2761A10CFF12D3EE Time : 0.0 sec. user=mdettweiler [2015-02-08 22:06:00] 935*2^1390628-1 is not prime. Res64: 1F6854E02E3FAAB9 Time : 0.0 sec. user=mdettweiler [2015-02-08 22:06:00] 969*2^1390628-1 is not prime. Res64: D419A415D0EBFBA7 Time : 0.0 sec. user=mdettweiler [2015-02-08 22:06:50] 995*2^1390628-1 is not prime. Res64: ED01765AABF45E3E Time : 0.0 sec. user=mdettweiler [2015-02-08 22:06:51] 685*2^1390629-1 is not prime. Res64: 6386134CC4777BB3 Time : 0.0 sec. user=mdettweiler [2015-02-08 22:07:05] 741*2^1390629-1 is not prime. Res64: A2C99B7C8ABF289A Time : 0.0 sec. user=mdettweiler [2015-02-08 22:07:05] 769*2^1390629-1 is not prime. Res64: 4C450ECE715DDD25 Time : 0.0 sec. user=mdettweiler [2015-02-08 22:08:51] 789*2^1390629-1 is not prime. Res64: 6BA1F5D3909BEE14 Time : 0.0 sec. user=mdettweiler [2015-02-08 22:08:51] 835*2^1390629-1 is not prime. Res64: 0011D028C3E29C53 Time : 0.0 sec. user=mdettweiler [2015-02-08 22:32:37] 907*2^1390629-1 is not prime. Res64: 89F4A3B558B92581 Time : 0.0 sec. user=mdettweiler [2015-02-08 22:32:38] 949*2^1390629-1 is not prime. Res64: AB3CBEA5C0B9A084 Time : 0.0 sec. user=mdettweiler [2015-02-08 22:33:10] 987*2^1390629-1 is not prime. Res64: 850E0B310434CA84 Time : 0.0 sec. user=mdettweiler [2015-02-08 22:33:10] 695*2^1390630-1 is not prime. Res64: E2C90FFBC6A04B92 Time : 0.0 sec. user=mdettweiler [2015-02-08 22:33:37] 773*2^1390630-1 is not prime. Res64: C8A7DA5490EDB5D8 Time : 0.0 sec. user=mdettweiler [2015-02-08 22:33:37] 987*2^1390630-1 is not prime. Res64: AE436562EB16030C Time : 0.0 sec. user=mdettweiler [2015-02-08 22:35:27] 661*2^1390631-1 is not prime. Res64: 0DAA78007B12FA14 Time : 0.0 sec. user=mdettweiler [2015-02-08 22:35:27] 679*2^1390631-1 is not prime. Res64: 1768FF530F02C74D Time : 0.0 sec. user=mdettweiler [2015-02-08 23:00:53] 745*2^1390631-1 is not prime. Res64: 4274787ADBAF6446 Time : 0.0 sec. user=mdettweiler [2015-02-08 23:00:53] 855*2^1390631-1 is not prime. Res64: 55A5F645413D5DDF Time : 0.0 sec. user=mdettweiler [2015-02-08 23:01:25] 993*2^1390631-1 is not prime. Res64: 55B0415010C51107 Time : 0.0 sec. user=mdettweiler [2015-02-08 23:01:26] 767*2^1390632-1 is not prime. Res64: 1B3E72871C175F7E Time : 0.0 sec. user=mdettweiler [2015-02-08 23:01:54] 815*2^1390632-1 is not prime. Res64: 2EFBBFD514C33042 Time : 0.0 sec. user=mdettweiler [2015-02-08 23:01:55] 899*2^1390632-1 is not prime. Res64: 9FCB460D6CB593E5 Time : 0.0 sec. user=mdettweiler [2015-02-08 23:04:56] 903*2^1390632-1 is not prime. Res64: 9217435F9074B44F Time : 0.0 sec. user=mdettweiler [2015-02-08 23:04:58] 615*2^1390633-1 is not prime. Res64: B54510251A39496F Time : 0.0 sec. user=mdettweiler [2015-02-08 23:33:12] 705*2^1390633-1 is not prime. Res64: F97FFD0329E55CF6 Time : 0.0 sec. user=mdettweiler [2015-02-08 23:33:12] 721*2^1390633-1 is not prime. Res64: 0715F26C85961922 Time : 0.0 sec. user=mdettweiler [2015-02-08 23:33:34] 747*2^1390633-1 is not prime. Res64: 8EAEB430CEB4442D Time : 0.0 sec. user=mdettweiler [2015-02-08 23:33:35] 769*2^1390633-1 is not prime. Res64: 6C81C95FE791F0BE Time : 0.0 sec. user=mdettweiler [2015-02-08 23:33:48] 605*2^1390634-1 is not prime. Res64: D685993104ED7B38 Time : 0.0 sec. user=mdettweiler [2015-02-08 23:33:48] 615*2^1390634-1 is not prime. Res64: BA4A5CF63F3964A6 Time : 0.0 sec. user=mdettweiler [2015-02-08 23:35:34] 717*2^1390634-1 is not prime. Res64: 59A6DDA976552935 Time : 0.0 sec. user=mdettweiler [2015-02-08 23:35:34] 887*2^1390634-1 is not prime. Res64: 33645BD3403539B6 Time : 0.0 sec. user=mdettweiler [2015-02-08 23:59:45] 601*2^1390635-1 is not prime. Res64: 62E48FB1728F3C0A Time : 0.0 sec. user=mdettweiler [2015-02-08 23:59:46] 651*2^1390635-1 is not prime. Res64: 342C7F9CC7A07BD1 Time : 0.0 sec. user=mdettweiler [2015-02-09 00:00:10] 679*2^1390635-1 is not prime. Res64: DF74BED317C9E43D Time : 0.0 sec. user=mdettweiler [2015-02-09 00:00:10] 685*2^1390635-1 is not prime. Res64: F68D109CB1857477 Time : 0.0 sec. user=mdettweiler [2015-02-09 00:00:17] 871*2^1390635-1 is not prime. Res64: 7398852296B7D301 Time : 0.0 sec. user=mdettweiler [2015-02-09 00:00:17] 895*2^1390635-1 is not prime. Res64: 8A8A1788AB746457 Time : 0.0 sec.