user=mdettweiler [2015-02-15 00:11:17] 675*2^1391056-1 is not prime. Res64: 6C93900404F805C3 Time : 0.0 sec. user=mdettweiler [2015-02-15 00:11:17] 717*2^1391056-1 is not prime. Res64: 4A1A1085A3ECE7CF Time : 0.0 sec. user=mdettweiler [2015-02-15 00:24:19] 843*2^1391056-1 is not prime. Res64: F8A8B44188BD1BA7 Time : 0.0 sec. user=mdettweiler [2015-02-15 00:24:19] 855*2^1391056-1 is not prime. Res64: 67BE2BCBEC9B40D6 Time : 0.0 sec. user=mdettweiler [2015-02-15 00:24:58] 869*2^1391056-1 is not prime. Res64: EFC352FE54EF22DA Time : 0.0 sec. user=mdettweiler [2015-02-15 00:24:58] 899*2^1391056-1 is not prime. Res64: E1F510BB161C0CE4 Time : 0.0 sec. user=mdettweiler [2015-02-15 00:25:19] 669*2^1391057-1 is not prime. Res64: A6C46C0B329A97A7 Time : 0.0 sec. user=mdettweiler [2015-02-15 00:25:20] 697*2^1391057-1 is not prime. Res64: 8C4A7390B91C1A8B Time : 0.0 sec. user=mdettweiler [2015-02-15 00:37:21] 829*2^1391057-1 is not prime. Res64: 4D4F39409D2E616F Time : 0.0 sec. user=mdettweiler [2015-02-15 00:37:21] 831*2^1391057-1 is not prime. Res64: 458A9B64B7F683F1 Time : 0.0 sec. user=mdettweiler [2015-02-15 00:50:13] 901*2^1391057-1 is not prime. Res64: 9853C0792F39CAAD Time : 0.0 sec. user=mdettweiler [2015-02-15 00:50:14] 937*2^1391057-1 is not prime. Res64: B752C616B8E63C13 Time : 0.0 sec. user=mdettweiler [2015-02-15 00:51:03] 981*2^1391057-1 is not prime. Res64: DAEA76BC377AFB8D Time : 0.0 sec. user=mdettweiler [2015-02-15 00:51:04] 985*2^1391057-1 is not prime. Res64: 2C031F7CFAD9FA8D Time : 0.0 sec. user=mdettweiler [2015-02-15 00:51:18] 621*2^1391058-1 is not prime. Res64: 1DEB7F75CB085F49 Time : 0.0 sec. user=mdettweiler [2015-02-15 00:51:19] 635*2^1391058-1 is not prime. Res64: 2C57AF06024A0153 Time : 0.0 sec. user=mdettweiler [2015-02-15 01:03:24] 941*2^1391058-1 is not prime. Res64: 67EF225817BACF64 Time : 0.0 sec. user=mdettweiler [2015-02-15 01:03:25] 631*2^1391059-1 is not prime. Res64: 4B4C2C61FFF76061 Time : 0.0 sec. user=mdettweiler [2015-02-15 01:16:06] 663*2^1391059-1 is not prime. Res64: AC56E990B95DAA65 Time : 0.0 sec. user=mdettweiler [2015-02-15 01:16:06] 793*2^1391059-1 is not prime. Res64: AE4C948BDC7B8455 Time : 0.0 sec. user=mdettweiler [2015-02-15 01:16:59] 891*2^1391059-1 is not prime. Res64: 540F95D5E81EDFE1 Time : 0.0 sec. user=mdettweiler [2015-02-15 01:17:00] 931*2^1391059-1 is not prime. Res64: E34CC20DAC012CD6 Time : 0.0 sec. user=mdettweiler [2015-02-15 01:17:18] 999*2^1391059-1 is not prime. Res64: 4ADF27F86A15F411 Time : 0.0 sec. user=mdettweiler [2015-02-15 01:17:19] 609*2^1391060-1 is not prime. Res64: 934C9F575FD56B58 Time : 0.0 sec. user=mdettweiler [2015-02-15 01:29:41] 719*2^1391060-1 is not prime. Res64: 785882B65E8BA724 Time : 0.0 sec. user=mdettweiler [2015-02-15 01:42:11] 833*2^1391060-1 is not prime. Res64: 4EC9DC7ACC5762DA Time : 0.0 sec. user=mdettweiler [2015-02-15 01:42:11] 935*2^1391060-1 is not prime. Res64: 738212377FFF3BBE Time : 0.0 sec. user=mdettweiler [2015-02-15 01:42:54] 681*2^1391061-1 is not prime. Res64: 6CF78B2AAAFF3DF0 Time : 0.0 sec. user=mdettweiler [2015-02-15 01:42:55] 717*2^1391061-1 is not prime. Res64: AABE1589D468C5FC Time : 0.0 sec. user=mdettweiler [2015-02-15 01:43:24] 751*2^1391061-1 is not prime. Res64: 8D1D73762D7EDA1D Time : 0.0 sec. user=mdettweiler [2015-02-15 01:43:25] 861*2^1391061-1 is not prime. Res64: 1763F3AFC74B8FBA Time : 0.0 sec. user=mdettweiler [2015-02-15 02:08:35] 895*2^1391061-1 is not prime. Res64: 72EABA6B013CDED7 Time : 0.0 sec. user=mdettweiler [2015-02-15 02:08:35] 949*2^1391061-1 is not prime. Res64: 57BC7E43975D099E Time : 0.0 sec. user=mdettweiler [2015-02-15 02:09:01] 975*2^1391061-1 is not prime. Res64: 7E57B47880E89CB2 Time : 0.0 sec. user=mdettweiler [2015-02-15 02:09:02] 723*2^1391062-1 is not prime. Res64: EC06EDC03F07D426 Time : 0.0 sec. user=mdettweiler [2015-02-15 02:09:46] 777*2^1391062-1 is not prime. Res64: 0DD4CBFEE325CDBD Time : 0.0 sec. user=mdettweiler [2015-02-15 02:09:47] 833*2^1391062-1 is not prime. Res64: E9457EB659477567 Time : 0.0 sec. user=mdettweiler [2015-02-15 02:34:57] 603*2^1391063-1 is not prime. Res64: 4EE8B22DA2229179 Time : 0.0 sec. user=mdettweiler [2015-02-15 02:34:57] 729*2^1391063-1 is not prime. Res64: E494D2F6C9C96DB3 Time : 0.0 sec. user=mdettweiler [2015-02-15 02:35:05] 853*2^1391063-1 is not prime. Res64: 0F01AC6E06298809 Time : 0.0 sec. user=mdettweiler [2015-02-15 02:35:05] 859*2^1391063-1 is not prime. Res64: 815E359DB0753D99 Time : 0.0 sec. user=mdettweiler [2015-02-15 02:36:05] 627*2^1391064-1 is not prime. Res64: 24ABA22682268BE0 Time : 0.0 sec. user=mdettweiler [2015-02-15 02:36:05] 693*2^1391064-1 is not prime. Res64: 6B53382A699F098F Time : 0.0 sec. user=mdettweiler [2015-02-15 02:51:01] 725*2^1391060-1 is not prime. Res64: E771E6D53D0421E4 Time : 0.0 sec. user=mdettweiler [2015-02-15 03:02:00] 987*2^1390849-1 is not prime. Res64: 0C6D9FC3D8015518 Time : 0.0 sec. user=mdettweiler [2015-02-15 03:02:01] 843*2^1391064-1 is not prime. Res64: 6AA7646274EC9086 Time : 0.0 sec. user=mdettweiler [2015-02-15 03:02:16] 849*2^1391064-1 is not prime. Res64: 67331E8416FB0203 Time : 0.0 sec. user=mdettweiler [2015-02-15 03:02:17] 975*2^1391064-1 is not prime. Res64: 7B912399910C7B6C Time : 0.0 sec. user=mdettweiler [2015-02-15 03:03:27] 691*2^1391065-1 is not prime. Res64: CFC74129E156C259 Time : 0.0 sec. user=mdettweiler [2015-02-15 03:03:28] 741*2^1391065-1 is not prime. Res64: 39FB80F6B4AB58E1 Time : 0.0 sec. user=mdettweiler [2015-02-15 03:17:43] 855*2^1391065-1 is not prime. Res64: DFEEDA9FB0E0EE7A Time : 0.0 sec. user=mdettweiler [2015-02-15 03:17:44] 919*2^1391065-1 is not prime. Res64: 94A0DF4F2AB4A8D4 Time : 0.0 sec. user=mdettweiler [2015-02-15 03:27:58] 957*2^1391065-1 is not prime. Res64: 46797BC510CEC057 Time : 0.0 sec. user=mdettweiler [2015-02-15 03:27:59] 627*2^1391066-1 is not prime. Res64: BFCBCBC7286760A2 Time : 0.0 sec. user=mdettweiler [2015-02-15 03:28:12] 755*2^1391066-1 is not prime. Res64: BAE6DB5BCE877467 Time : 0.0 sec. user=mdettweiler [2015-02-15 03:28:13] 801*2^1391066-1 is not prime. Res64: 17B2E6AEDA4EBB2D Time : 0.0 sec. user=mdettweiler [2015-02-15 03:29:23] 857*2^1391066-1 is not prime. Res64: FC4A26E4E7047486 Time : 0.0 sec. user=mdettweiler [2015-02-15 03:29:24] 935*2^1391066-1 is not prime. Res64: ECE3F8910C6DBA90 Time : 0.0 sec. user=mdettweiler [2015-02-15 03:43:46] 953*2^1391066-1 is not prime. Res64: F585FFAEAE5BC22A Time : 0.0 sec. user=mdettweiler [2015-02-15 03:43:47] 739*2^1391067-1 is not prime. Res64: 29D9CC5059194F91 Time : 0.0 sec. user=mdettweiler [2015-02-15 03:54:08] 605*2^1391068-1 is not prime. Res64: DE47EC9F510DB1FF Time : 0.0 sec. user=mdettweiler [2015-02-15 03:54:08] 749*2^1391068-1 is not prime. Res64: 8880017D241C2966 Time : 0.0 sec. user=mdettweiler [2015-02-15 03:54:13] 803*2^1391068-1 is not prime. Res64: 593AEAA780D400EB Time : 0.0 sec. user=mdettweiler [2015-02-15 03:54:13] 833*2^1391068-1 is not prime. Res64: E0E0303C4AB49395 Time : 0.0 sec. user=mdettweiler [2015-02-15 03:55:16] 927*2^1391068-1 is not prime. Res64: 85DC3D59D62D3633 Time : 0.0 sec. user=mdettweiler [2015-02-15 03:55:16] 953*2^1391068-1 is not prime. Res64: 62D66BA8C5175001 Time : 0.0 sec. user=mdettweiler [2015-02-15 04:10:23] 995*2^1391068-1 is not prime. Res64: 6DAF01317F72E73B Time : 0.0 sec. user=mdettweiler [2015-02-15 04:10:23] 619*2^1391069-1 is not prime. Res64: CAB2585155855C87 Time : 0.0 sec. user=mdettweiler [2015-02-15 04:21:20] 645*2^1391069-1 is not prime. Res64: 9EDAB88AE3B2EC43 Time : 0.0 sec. user=mdettweiler [2015-02-15 04:21:20] 655*2^1391069-1 is not prime. Res64: AF831A9528DA43B9 Time : 0.0 sec. user=mdettweiler [2015-02-15 04:22:06] 691*2^1391069-1 is not prime. Res64: 00746F51117C5721 Time : 0.0 sec. user=mdettweiler [2015-02-15 04:22:06] 727*2^1391069-1 is not prime. Res64: C79A66F63E85345E Time : 0.0 sec. user=mdettweiler [2015-02-15 04:22:14] 759*2^1391069-1 is not prime. Res64: FC20F63377526035 Time : 0.0 sec. user=mdettweiler [2015-02-15 04:22:14] 789*2^1391069-1 is not prime. Res64: E15D20571F168DA3 Time : 0.0 sec. user=mdettweiler [2015-02-15 04:37:35] 955*2^1391069-1 is not prime. Res64: 09276FEDD438DC04 Time : 0.0 sec. user=mdettweiler [2015-02-15 04:37:35] 957*2^1391069-1 is not prime. Res64: EBC25E19846C0B73 Time : 0.0 sec. user=mdettweiler [2015-02-15 04:47:40] 985*2^1391069-1 is not prime. Res64: 31C5A1EE22A5B99D Time : 0.0 sec. user=mdettweiler [2015-02-15 04:47:40] 657*2^1391070-1 is not prime. Res64: 207646346BD6F07F Time : 0.0 sec. user=mdettweiler [2015-02-15 04:48:40] 713*2^1391070-1 is not prime. Res64: AE36C48562BC55C3 Time : 0.0 sec. user=mdettweiler [2015-02-15 04:48:40] 741*2^1391070-1 is not prime. Res64: 06E09518675427E1 Time : 0.0 sec. user=mdettweiler [2015-02-15 04:48:42] 765*2^1391070-1 is not prime. Res64: CD943B50F2E5684A Time : 0.0 sec. user=mdettweiler [2015-02-15 04:48:43] 773*2^1391070-1 is not prime. Res64: 6963C4BFB95D1416 Time : 0.0 sec. user=mdettweiler [2015-02-15 05:03:37] 795*2^1391070-1 is not prime. Res64: 8350BF4B6C2D916C Time : 0.0 sec. user=mdettweiler [2015-02-15 05:03:38] 875*2^1391070-1 is not prime. Res64: 566C887863835261 Time : 0.0 sec. user=mdettweiler [2015-02-15 05:13:30] 703*2^1391071-1 is not prime. Res64: F9674F9B3C192771 Time : 0.0 sec. user=mdettweiler [2015-02-15 05:13:30] 771*2^1391071-1 is not prime. Res64: A13DD7EFAB8D1BBE Time : 0.0 sec. user=mdettweiler [2015-02-15 05:14:19] 871*2^1391071-1 is not prime. Res64: 8E694FB200E15E45 Time : 0.0 sec. user=mdettweiler [2015-02-15 05:14:20] 933*2^1391071-1 is not prime. Res64: 41C26E94842A2689 Time : 0.0 sec. user=mdettweiler [2015-02-15 05:14:31] 969*2^1391071-1 is not prime. Res64: 2E6AAC354C10708F Time : 0.0 sec. user=mdettweiler [2015-02-15 05:14:31] 993*2^1391071-1 is not prime. Res64: 35723010068A41D7 Time : 0.0 sec. user=mdettweiler [2015-02-15 05:29:56] 669*2^1391072-1 is not prime. Res64: 7D4CFA7BA369A0D7 Time : 0.0 sec. user=mdettweiler [2015-02-15 05:29:56] 879*2^1391072-1 is not prime. Res64: 3CC0B7DDB80AB7D9 Time : 0.0 sec. user=mdettweiler [2015-02-15 05:39:18] 923*2^1391072-1 is not prime. Res64: DC4B62F55DF1A410 Time : 0.0 sec. user=mdettweiler [2015-02-15 05:39:19] 995*2^1391072-1 is not prime. Res64: 3A60C6B7ED7522D3 Time : 0.0 sec. user=mdettweiler [2015-02-15 05:39:56] 691*2^1391073-1 is not prime. Res64: EB89659F827B16A8 Time : 0.0 sec. user=mdettweiler [2015-02-15 05:39:56] 699*2^1391073-1 is not prime. Res64: C8FB477ECBCB48C1 Time : 0.0 sec. user=mdettweiler [2015-02-15 05:40:12] 705*2^1391073-1 is not prime. Res64: 5B77FDBFBDD70C48 Time : 0.0 sec. user=mdettweiler [2015-02-15 05:40:13] 829*2^1391073-1 is not prime. Res64: E3FA77846AC9F63F Time : 0.0 sec. user=juhehe [2015-02-15 05:44:59] 871*2^1391073-1 is not prime. Res64: ACCF25098FD3A44C Time : 0.0 sec. user=mdettweiler [2015-02-15 05:55:41] 675*2^1391074-1 is not prime. Res64: D6C83284AEAEAE0D Time : 0.0 sec. user=mdettweiler [2015-02-15 05:55:41] 717*2^1391074-1 is not prime. Res64: 56EB2F4BCFBA70E4 Time : 0.0 sec. user=mdettweiler [2015-02-15 06:05:00] 737*2^1391074-1 is not prime. Res64: 5DDD45D7BAD49AA0 Time : 0.0 sec. user=mdettweiler [2015-02-15 06:05:02] 765*2^1391074-1 is not prime. Res64: 2A1FA4E5256D7FE9 Time : 0.0 sec. user=mdettweiler [2015-02-15 06:05:31] 773*2^1391074-1 is not prime. Res64: 683145E5D06E935D Time : 0.0 sec. user=mdettweiler [2015-02-15 06:05:32] 803*2^1391074-1 is not prime. Res64: B4CB1F4934235B08 Time : 0.0 sec. user=mdettweiler [2015-02-15 06:05:57] 833*2^1391074-1 is not prime. Res64: 91CA9EF1065DF79F Time : 0.0 sec. user=mdettweiler [2015-02-15 06:05:58] 881*2^1391074-1 is not prime. Res64: 30C25579175D9878 Time : 0.0 sec. user=mdettweiler [2015-02-15 06:21:21] 649*2^1391075-1 is not prime. Res64: EDADCF8D43643652 Time : 0.0 sec. user=mdettweiler [2015-02-15 06:21:21] 651*2^1391075-1 is not prime. Res64: FE1F96AD816423EA Time : 0.0 sec. user=mdettweiler [2015-02-15 06:30:57] 733*2^1391075-1 is not prime. Res64: 13D17A3BD0C841AB Time : 0.0 sec. user=mdettweiler [2015-02-15 06:30:57] 801*2^1391075-1 is not prime. Res64: 20DB0AE0341F3CD1 Time : 0.0 sec. user=mdettweiler [2015-02-15 06:31:09] 825*2^1391075-1 is not prime. Res64: DC777B0E1FFB932F Time : 0.0 sec. user=mdettweiler [2015-02-15 06:31:09] 861*2^1391075-1 is not prime. Res64: 659D4344D4FC6AC5 Time : 0.0 sec. user=mdettweiler [2015-02-15 06:31:40] 885*2^1391075-1 is not prime. Res64: 92F434F4AE1E1497 Time : 0.0 sec. user=mdettweiler [2015-02-15 06:31:41] 915*2^1391075-1 is not prime. Res64: F35FC9410D29DDA9 Time : 0.0 sec. user=mdettweiler [2015-02-15 06:47:07] 943*2^1391075-1 is not prime. Res64: F289D8BB690F6EA9 Time : 0.0 sec. user=mdettweiler [2015-02-15 06:47:08] 635*2^1391076-1 is not prime. Res64: 552DA6D6880533C9 Time : 0.0 sec. user=mdettweiler [2015-02-15 06:56:35] 705*2^1391076-1 is not prime. Res64: 293139C4F19C67AE Time : 0.0 sec. user=mdettweiler [2015-02-15 06:56:35] 717*2^1391076-1 is not prime. Res64: 6D4A0F627513F4DE Time : 0.0 sec. user=mdettweiler [2015-02-15 06:56:46] 765*2^1391076-1 is not prime. Res64: 46BE32DDEEBBCB48 Time : 0.0 sec. user=mdettweiler [2015-02-15 06:56:47] 803*2^1391076-1 is not prime. Res64: E8242BEC51E155A0 Time : 0.0 sec. user=mdettweiler [2015-02-15 06:57:17] 879*2^1391076-1 is not prime. Res64: 8CBC15C9556F7DD3 Time : 0.0 sec. user=mdettweiler [2015-02-15 06:57:18] 903*2^1391076-1 is not prime. Res64: 9436D8950AAED4B5 Time : 0.0 sec. user=mdettweiler [2015-02-15 07:12:47] 945*2^1391076-1 is not prime. Res64: 13B98A6CB7BB9F9D Time : 0.0 sec. user=mdettweiler [2015-02-15 07:12:48] 999*2^1391076-1 is not prime. Res64: F11D11A4E7132997 Time : 0.0 sec. user=mdettweiler [2015-02-15 07:22:22] 691*2^1391077-1 is not prime. Res64: C45DD10461DECB45 Time : 0.0 sec. user=mdettweiler [2015-02-15 07:22:22] 765*2^1391077-1 is not prime. Res64: 887B63D451C21CF7 Time : 0.0 sec. user=mdettweiler [2015-02-15 07:22:26] 601*2^1391077-1 is not prime. Res64: 5E9510D1B2D8BCB8 Time : 0.0 sec. user=mdettweiler [2015-02-15 07:22:26] 625*2^1391077-1 is not prime. Res64: D1176218714DEC9F Time : 0.0 sec. user=mdettweiler [2015-02-15 07:23:04] 771*2^1391078-1 is not prime. Res64: 11E0FD7118A6FF80 Time : 0.0 sec. user=mdettweiler [2015-02-15 07:23:05] 801*2^1391078-1 is not prime. Res64: 1D2D1C12510B4792 Time : 0.0 sec. user=mdettweiler [2015-02-15 07:38:38] 875*2^1391078-1 is not prime. Res64: D7634CB9FD3E8C3F Time : 0.0 sec. user=mdettweiler [2015-02-15 07:38:38] 921*2^1391078-1 is not prime. Res64: 9A4A20B42B8A051D Time : 0.0 sec. user=mdettweiler [2015-02-15 07:47:58] 987*2^1391078-1 is not prime. Res64: AA149F4FFEF24E24 Time : 0.0 sec. user=mdettweiler [2015-02-15 07:47:58] 621*2^1391079-1 is not prime. Res64: FB6B69C8145171B6 Time : 0.0 sec. user=mdettweiler [2015-02-15 07:48:06] 633*2^1391079-1 is not prime. Res64: CB46CF83B2C99822 Time : 0.0 sec. user=mdettweiler [2015-02-15 07:48:06] 661*2^1391079-1 is not prime. Res64: 404981E25479163B Time : 0.0 sec. user=mdettweiler [2015-02-15 07:48:41] 705*2^1391079-1 is not prime. Res64: 319763CA4D5623CB Time : 0.0 sec. user=mdettweiler [2015-02-15 07:48:41] 793*2^1391079-1 is not prime. Res64: 10DF7AD0E14970CD Time : 0.0 sec. user=mdettweiler [2015-02-15 08:04:10] 823*2^1391079-1 is not prime. Res64: BD281BDE7DC1D0C6 Time : 0.0 sec. user=mdettweiler [2015-02-15 08:04:11] 895*2^1391079-1 is not prime. Res64: C3F502F238E9B3FC Time : 0.0 sec. user=mdettweiler [2015-02-15 08:13:36] 931*2^1391079-1 is not prime. Res64: 7EB5D3044F925247 Time : 0.0 sec. user=mdettweiler [2015-02-15 08:13:37] 955*2^1391079-1 is not prime. Res64: DDA67CC70A29C957 Time : 0.0 sec. user=mdettweiler [2015-02-15 08:13:42] 961*2^1391079-1 is not prime. Res64: D8F40F21D46EF5CE Time : 0.0 sec. user=mdettweiler [2015-02-15 08:13:42] 973*2^1391079-1 is not prime. Res64: FFA8DD93D03D4F83 Time : 0.0 sec. user=mdettweiler [2015-02-15 08:14:19] 635*2^1391080-1 is not prime. Res64: 8321F79C4EC30EFA Time : 0.0 sec. user=mdettweiler [2015-02-15 08:14:20] 699*2^1391080-1 is not prime. Res64: 9F3238573DAA9324 Time : 0.0 sec. user=mdettweiler [2015-02-15 08:30:01] 777*2^1391080-1 is not prime. Res64: ECE06AC6EAC83DB7 Time : 0.0 sec. user=mdettweiler [2015-02-15 08:30:01] 989*2^1391080-1 is not prime. Res64: A57C673BFC9F1C29 Time : 0.0 sec. user=mdettweiler [2015-02-15 08:39:18] 745*2^1391081-1 is not prime. Res64: 2FE21AFEDE5446CB Time : 0.0 sec. user=mdettweiler [2015-02-15 08:39:18] 867*2^1391081-1 is not prime. Res64: E6A02FD869E1371A Time : 0.0 sec. user=mdettweiler [2015-02-15 08:39:22] 967*2^1391081-1 is not prime. Res64: 10EFEECB273BEA5C Time : 0.0 sec. user=mdettweiler [2015-02-15 08:39:23] 997*2^1391081-1 is not prime. Res64: BCAC221DF9D5D0C5 Time : 0.0 sec. user=mdettweiler [2015-02-15 08:40:04] 681*2^1391082-1 is not prime. Res64: 35F15CE2B3AE15C8 Time : 0.0 sec. user=mdettweiler [2015-02-15 08:40:04] 791*2^1391082-1 is not prime. Res64: 2DC90D23B26F31CD Time : 0.0 sec. user=mdettweiler [2015-02-15 08:55:49] 843*2^1391082-1 is not prime. Res64: 4D522622B313A341 Time : 0.0 sec. user=mdettweiler [2015-02-15 08:55:49] 983*2^1391082-1 is not prime. Res64: 1A859F68AB9D7EFA Time : 0.0 sec. user=mdettweiler [2015-02-15 09:04:53] 609*2^1391083-1 is not prime. Res64: C0ECF81BBDFCD639 Time : 0.0 sec. user=mdettweiler [2015-02-15 09:04:55] 615*2^1391083-1 is not prime. Res64: AE42CE9D5C9DA4B7 Time : 0.0 sec. user=mdettweiler [2015-02-15 09:05:04] 663*2^1391083-1 is not prime. Res64: E292F12ED4A7F4CA Time : 0.0 sec. user=mdettweiler [2015-02-15 09:05:05] 723*2^1391083-1 is not prime. Res64: 40D74AF91613C23A Time : 0.0 sec. user=mdettweiler [2015-02-15 09:05:41] 769*2^1391083-1 is not prime. Res64: 1AC47A0647D3B563 Time : 0.0 sec. user=mdettweiler [2015-02-15 09:05:42] 919*2^1391083-1 is not prime. Res64: DBDD1AA922954E0E Time : 0.0 sec. user=mdettweiler [2015-02-15 09:21:22] 999*2^1391083-1 is not prime. Res64: EFEBE071FA59EC5D Time : 0.0 sec. user=mdettweiler [2015-02-15 09:21:22] 609*2^1391084-1 is not prime. Res64: 425A3305F6939BF2 Time : 0.0 sec. user=mdettweiler [2015-02-15 09:30:51] 759*2^1391084-1 is not prime. Res64: 0B0B274F706159FC Time : 0.0 sec. user=mdettweiler [2015-02-15 09:30:52] 649*2^1391085-1 is not prime. Res64: B670CD73A690B1E4 Time : 0.0 sec. user=mdettweiler [2015-02-15 09:30:53] 717*2^1391084-1 is not prime. Res64: 6B4C6152EC77328B Time : 0.0 sec. user=mdettweiler [2015-02-15 09:30:54] 753*2^1391084-1 is not prime. Res64: 90507450C43BC406 Time : 0.0 sec. user=mdettweiler [2015-02-15 09:31:27] 669*2^1391085-1 is not prime. Res64: E2CB4C563DA3A180 Time : 0.0 sec. user=mdettweiler [2015-02-15 09:31:27] 699*2^1391085-1 is not prime. Res64: 7DDF2BFE2BD00AC5 Time : 0.0 sec. user=mdettweiler [2015-02-15 09:47:13] 811*2^1391085-1 is not prime. Res64: 94D06F536A0EE15D Time : 0.0 sec. user=mdettweiler [2015-02-15 09:47:13] 837*2^1391085-1 is not prime. Res64: DD3CA508E517BC3E Time : 0.0 sec. user=mdettweiler [2015-02-15 09:57:10] 623*2^1391086-1 is not prime. Res64: 1543209E0DB76074 Time : 0.0 sec. user=mdettweiler [2015-02-15 09:57:10] 651*2^1391086-1 is not prime. Res64: D471873F653A2B98 Time : 0.0 sec. user=mdettweiler [2015-02-15 09:57:12] 927*2^1391085-1 is not prime. Res64: 689A285DEB90FAED Time : 0.0 sec. user=mdettweiler [2015-02-15 09:57:12] 979*2^1391085-1 is not prime. Res64: 07A1A4A160FFC5F7 Time : 0.0 sec. user=mdettweiler [2015-02-15 09:57:55] 833*2^1391086-1 is not prime. Res64: 479903A8CE6422D6 Time : 0.0 sec. user=mdettweiler [2015-02-15 09:57:55] 971*2^1391086-1 is not prime. Res64: F977F6C689F2FA83 Time : 0.0 sec. user=mdettweiler [2015-02-15 10:14:11] 1001*2^1391086-1 is not prime. Res64: 6DE7C9E8B95FBA82 Time : 0.0 sec. user=mdettweiler [2015-02-15 10:14:11] 601*2^1391087-1 is not prime. Res64: EDF22CCB3BBA4741 Time : 0.0 sec. user=mdettweiler [2015-02-15 10:24:52] 633*2^1391087-1 is not prime. Res64: 14ADE7CA214ACE1E Time : 0.0 sec. user=mdettweiler [2015-02-15 10:24:52] 643*2^1391087-1 is not prime. Res64: D9C72638B04627CE Time : 0.0 sec. user=mdettweiler [2015-02-15 10:25:03] 663*2^1391087-1 is not prime. Res64: 79F14D098738863D Time : 0.0 sec. user=mdettweiler [2015-02-15 10:25:03] 693*2^1391087-1 is not prime. Res64: FE3C0D83D24B811B Time : 0.0 sec. user=mdettweiler [2015-02-15 10:26:36] 705*2^1391087-1 is not prime. Res64: 05BCFFA9F265188B Time : 0.0 sec. user=mdettweiler [2015-02-15 10:26:36] 741*2^1391087-1 is not prime. Res64: C63388277628B999 Time : 0.0 sec. user=mdettweiler [2015-02-15 10:55:58] 979*2^1391087-1 is not prime. Res64: FB50C2D8E8186345 Time : 0.0 sec. user=mdettweiler [2015-02-15 10:55:58] 605*2^1391088-1 is not prime. Res64: E239050BA8E3A648 Time : 0.0 sec. user=mdettweiler [2015-02-15 11:03:35] 627*2^1391088-1 is not prime. Res64: 6E355F15D1731CBB Time : 0.0 sec. user=mdettweiler [2015-02-15 11:03:37] 629*2^1391088-1 is not prime. Res64: 8382AF3B5AE555F2 Time : 0.0 sec. user=mdettweiler [2015-02-15 11:04:41] 735*2^1391088-1 is not prime. Res64: D2F27F85831B86B3 Time : 0.0 sec. user=mdettweiler [2015-02-15 11:04:42] 737*2^1391088-1 is not prime. Res64: 3D990AC5E3D0E991 Time : 0.0 sec. user=mdettweiler [2015-02-15 11:07:03] 765*2^1391088-1 is not prime. Res64: 81C3AE56CB2E584B Time : 0.0 sec. user=mdettweiler [2015-02-15 11:07:04] 849*2^1391088-1 is not prime. Res64: 0650EE81404DA05F Time : 0.0 sec. user=mdettweiler [2015-02-15 11:28:06] 977*2^1391088-1 is not prime. Res64: AD4F5F270F0CD7FC Time : 0.0 sec. user=mdettweiler [2015-02-15 11:28:07] 751*2^1391089-1 is not prime. Res64: 4AD1989A9D11222B Time : 0.0 sec. user=mdettweiler [2015-02-15 11:36:13] 769*2^1391089-1 is not prime. Res64: 6E2F71A3CD1E33D8 Time : 0.0 sec. user=mdettweiler [2015-02-15 11:36:14] 831*2^1391089-1 is not prime. Res64: 40A47573AAEB23F8 Time : 0.0 sec. user=mdettweiler [2015-02-15 11:36:23] 861*2^1391089-1 is not prime. Res64: 06ECB778407BF72E Time : 0.0 sec. user=mdettweiler [2015-02-15 11:36:24] 909*2^1391089-1 is not prime. Res64: 6BA423FAA6524672 Time : 0.0 sec. user=mdettweiler [2015-02-15 11:39:24] 957*2^1391089-1 is not prime. Res64: F7FF8A96131D0424 Time : 0.0 sec. user=mdettweiler [2015-02-15 11:39:24] 975*2^1391089-1 is not prime. Res64: 4D5D2DA4C9245ED1 Time : 0.0 sec. user=mdettweiler [2015-02-15 11:58:09] 985*2^1391089-1 is not prime. Res64: CF2FA29B4E0C7D11 Time : 0.0 sec. user=mdettweiler [2015-02-15 11:58:09] 635*2^1391090-1 is not prime. Res64: 5D4A6CE2A37F7B99 Time : 0.0 sec. user=mdettweiler [2015-02-15 12:05:33] 701*2^1391090-1 is not prime. Res64: 9388FD6D1ED7A756 Time : 0.0 sec. user=mdettweiler [2015-02-15 12:05:35] 717*2^1391090-1 is not prime. Res64: 67391F1692A1E546 Time : 0.0 sec. user=mdettweiler [2015-02-15 12:05:45] 785*2^1391090-1 is not prime. Res64: 5245A0E3881EF42D Time : 0.0 sec. user=mdettweiler [2015-02-15 12:05:48] 825*2^1391090-1 is not prime. Res64: 44C7E17F15481566 Time : 0.0 sec. user=mdettweiler [2015-02-15 12:09:18] 917*2^1391090-1 is not prime. Res64: 73457C31CCBD844C Time : 0.0 sec. user=mdettweiler [2015-02-15 12:09:19] 753*2^1391091-1 is not prime. Res64: AC551D35EC462C89 Time : 0.0 sec. user=mdettweiler [2015-02-15 12:28:52] 835*2^1391091-1 is not prime. Res64: 300C9A16FDAD6A7A Time : 0.0 sec. user=mdettweiler [2015-02-15 12:28:52] 969*2^1391091-1 is not prime. Res64: 60A2DFE58C8C65DC Time : 0.0 sec. user=mdettweiler [2015-02-15 12:36:39] 665*2^1391092-1 is not prime. Res64: 953CB7892EB2D9C1 Time : 0.0 sec. user=mdettweiler [2015-02-15 12:36:39] 687*2^1391092-1 is not prime. Res64: 9DD5C59A611F15DC Time : 0.0 sec. user=mdettweiler [2015-02-15 12:36:41] 979*2^1391091-1 is not prime. Res64: 17851CDC4D3B7473 Time : 0.0 sec. user=mdettweiler [2015-02-15 12:36:41] 717*2^1391092-1 is not prime. Res64: 06D6B60EB7058805 Time : 0.0 sec. user=mdettweiler [2015-02-15 12:39:19] 765*2^1391092-1 is not prime. Res64: 22478C0FF8A1A21C Time : 0.0 sec. user=mdettweiler [2015-02-15 12:39:20] 777*2^1391092-1 is not prime. Res64: 9A93D6D618BE26A8 Time : 0.0 sec. user=mdettweiler [2015-02-15 12:56:26] 875*2^1391092-1 is not prime. Res64: C4309AB2121C0FC2 Time : 0.0 sec. user=mdettweiler [2015-02-15 12:56:26] 939*2^1391092-1 is not prime. Res64: AB4945D036AAC563 Time : 0.0 sec. user=mdettweiler [2015-02-15 13:03:00] 679*2^1391093-1 is not prime. Res64: 9AE1B0ACEDD8706F Time : 0.0 sec. user=mdettweiler [2015-02-15 13:03:02] 769*2^1391093-1 is not prime. Res64: 7D7EFD415BE390B2 Time : 0.0 sec. user=mdettweiler [2015-02-15 13:03:16] 607*2^1391093-1 is not prime. Res64: DB020027D0CA0BF0 Time : 0.0 sec. user=mdettweiler [2015-02-15 13:03:17] 651*2^1391093-1 is not prime. Res64: BE996D705DB9D8E2 Time : 0.0 sec. user=mdettweiler [2015-02-15 13:05:28] 795*2^1391093-1 is not prime. Res64: D455A5111A611C7D Time : 0.0 sec. user=mdettweiler [2015-02-15 13:05:29] 801*2^1391093-1 is not prime. Res64: DFBBE86D05FFD28E Time : 0.0 sec. user=mdettweiler [2015-02-15 13:22:46] 915*2^1391093-1 is not prime. Res64: ED83B1764E6F1F1E Time : 0.0 sec. user=mdettweiler [2015-02-15 13:22:47] 925*2^1391093-1 is not prime. Res64: 3C747D9057912491 Time : 0.0 sec. user=mdettweiler [2015-02-15 13:32:26] 711*2^1391094-1 is not prime. Res64: F7582E42345B130A Time : 0.0 sec. user=mdettweiler [2015-02-15 13:32:26] 891*2^1391094-1 is not prime. Res64: 175E85DC2BA605A6 Time : 0.0 sec. user=mdettweiler [2015-02-15 13:33:11] 663*2^1391094-1 is not prime. Res64: DAA54B5866594275 Time : 0.0 sec. user=mdettweiler [2015-02-15 13:33:11] 705*2^1391094-1 is not prime. Res64: 11D8077A0188E534 Time : 0.0 sec. user=mdettweiler [2015-02-15 13:35:17] 921*2^1391094-1 is not prime. Res64: 89D2A448E52AC87C Time : 0.0 sec. user=mdettweiler [2015-02-15 13:35:18] 923*2^1391094-1 is not prime. Res64: 194352581172F314 Time : 0.0 sec. user=mdettweiler [2015-02-15 13:56:07] 945*2^1391094-1 is not prime. Res64: 38A0520A52EDDB43 Time : 0.0 sec. user=mdettweiler [2015-02-15 13:56:07] 645*2^1391095-1 is not prime. Res64: 4F9D8CCC09F62E78 Time : 0.0 sec. user=mdettweiler [2015-02-15 14:05:52] 651*2^1391095-1 is not prime. Res64: EE2B0155BA58395D Time : 0.0 sec. user=mdettweiler [2015-02-15 14:05:53] 871*2^1391095-1 is not prime. Res64: 6C4EFB4FF07DB7CB Time : 0.0 sec. user=mdettweiler [2015-02-15 14:05:53] 829*2^1391095-1 is not prime. Res64: B0EC6FF25502458F Time : 0.0 sec. user=mdettweiler [2015-02-15 14:05:53] 973*2^1391095-1 is not prime. Res64: 6483213417DD9AB4 Time : 0.0 sec. user=mdettweiler [2015-02-15 14:08:53] 743*2^1391096-1 is not prime. Res64: 266CD620CD25B866 Time : 0.0 sec. user=mdettweiler [2015-02-15 14:08:53] 777*2^1391096-1 is not prime. Res64: AE8CE0DA9F769C3A Time : 0.0 sec. user=mdettweiler [2015-02-15 14:27:49] 747*2^1391097-1 is not prime. Res64: EB7B9FAB387FEABF Time : 0.0 sec. user=mdettweiler [2015-02-15 14:27:50] 849*2^1391097-1 is not prime. Res64: 3F62517C22B5B67D Time : 0.0 sec. user=mdettweiler [2015-02-15 14:35:18] 895*2^1391097-1 is not prime. Res64: 623F42349E4B8828 Time : 0.0 sec. user=mdettweiler [2015-02-15 14:35:18] 949*2^1391097-1 is not prime. Res64: 7491E697282B336B Time : 0.0 sec. user=mdettweiler [2015-02-15 14:35:56] 635*2^1391098-1 is not prime. Res64: 9A4292F568EE194A Time : 0.0 sec. user=mdettweiler [2015-02-15 14:35:56] 713*2^1391098-1 is not prime. Res64: 880B8AED4A0EBE5C Time : 0.0 sec. user=mdettweiler [2015-02-15 14:38:14] 821*2^1391098-1 is not prime. Res64: 8063FB3C38967582 Time : 0.0 sec. user=mdettweiler [2015-02-15 14:38:14] 833*2^1391098-1 is not prime. Res64: 0F08EACE7674B9A0 Time : 0.0 sec. user=juhehe [2015-02-15 14:48:20] 887*2^1391098-1 is not prime. Res64: E463B514D7045A3E Time : 0.0 sec. user=mdettweiler [2015-02-15 14:54:27] 971*2^1391098-1 is not prime. Res64: DEA97BED5ECAC967 Time : 0.0 sec. user=mdettweiler [2015-02-15 14:54:28] 669*2^1391099-1 is not prime. Res64: 8F9F713461E6201C Time : 0.0 sec. user=mdettweiler [2015-02-15 15:02:27] 799*2^1391099-1 is not prime. Res64: FB28BF97D38D0497 Time : 0.0 sec. user=mdettweiler [2015-02-15 15:02:29] 843*2^1391099-1 is not prime. Res64: 4088C0B59BBEA09B Time : 0.0 sec. user=mdettweiler [2015-02-15 15:02:45] 943*2^1391099-1 is not prime. Res64: 724A017936D382E4 Time : 0.0 sec. user=mdettweiler [2015-02-15 15:02:46] 627*2^1391100-1 is not prime. Res64: 4DA496656FDF077C Time : 0.0 sec. user=mdettweiler [2015-02-15 15:04:46] 725*2^1391100-1 is not prime. Res64: F495A9475C82A19A Time : 0.0 sec. user=mdettweiler [2015-02-15 15:04:47] 839*2^1391100-1 is not prime. Res64: 4153D9757E5ED8D4 Time : 0.0 sec. user=mdettweiler [2015-02-15 15:21:19] 845*2^1391100-1 is not prime. Res64: 70C0DA351188802E Time : 0.0 sec. user=mdettweiler [2015-02-15 15:21:20] 899*2^1391100-1 is not prime. Res64: 46A5EEC68880FB08 Time : 0.0 sec. user=mdettweiler [2015-02-15 15:29:10] 929*2^1391100-1 is not prime. Res64: E1C6A6141F68E034 Time : 0.0 sec. user=mdettweiler [2015-02-15 15:29:10] 945*2^1391100-1 is not prime. Res64: 579A399E920AB649 Time : 0.0 sec. user=mdettweiler [2015-02-15 15:29:35] 687*2^1391101-1 is not prime. Res64: 242E27A7441D3CD2 Time : 0.0 sec. user=mdettweiler [2015-02-15 15:29:36] 757*2^1391101-1 is not prime. Res64: 982C51271B9EA1BE Time : 0.0 sec. user=mdettweiler [2015-02-15 15:31:38] 771*2^1391101-1 is not prime. Res64: 2499A5268049B3AB Time : 0.0 sec. user=mdettweiler [2015-02-15 15:31:38] 811*2^1391101-1 is not prime. Res64: FB4DDA58BED4A716 Time : 0.0 sec. user=mdettweiler [2015-02-15 15:47:40] 829*2^1391101-1 is not prime. Res64: 3B3DBD012DC2CE9D Time : 0.0 sec. user=mdettweiler [2015-02-15 15:47:40] 931*2^1391101-1 is not prime. Res64: AB631B57B0B78323 Time : 0.0 sec. user=mdettweiler [2015-02-15 15:55:49] 623*2^1391102-1 is not prime. Res64: EF74D4F26648A4E0 Time : 0.0 sec. user=mdettweiler [2015-02-15 15:55:50] 635*2^1391102-1 is not prime. Res64: CED355275BFDF1F9 Time : 0.0 sec. user=mdettweiler [2015-02-15 15:56:13] 683*2^1391102-1 is not prime. Res64: CD915FADD11F4B31 Time : 0.0 sec. user=mdettweiler [2015-02-15 15:56:13] 767*2^1391102-1 is not prime. Res64: 6E09DE0B39038DD7 Time : 0.0 sec. user=mdettweiler [2015-02-15 15:58:08] 827*2^1391102-1 is not prime. Res64: ACF3866902316760 Time : 0.0 sec. user=mdettweiler [2015-02-15 15:58:08] 857*2^1391102-1 is not prime. Res64: F55F0336942569FD Time : 0.0 sec. user=mdettweiler [2015-02-15 16:14:23] 917*2^1391102-1 is not prime. Res64: 289F9CC589F41857 Time : 0.0 sec. user=mdettweiler [2015-02-15 16:14:23] 963*2^1391102-1 is not prime. Res64: E28B7CA3266F80F7 Time : 0.0 sec. user=mdettweiler [2015-02-15 16:22:48] 613*2^1391103-1 is not prime. Res64: 2C01F92BAAE1ED45 Time : 0.0 sec. user=mdettweiler [2015-02-15 16:22:48] 639*2^1391103-1 is not prime. Res64: 366A4F43C714A03D Time : 0.0 sec. user=mdettweiler [2015-02-15 16:23:26] 781*2^1391103-1 is not prime. Res64: F494353B360A57CE Time : 0.0 sec. user=mdettweiler [2015-02-15 16:23:27] 793*2^1391103-1 is not prime. Res64: 0C16CBDA20158D19 Time : 0.0 sec. user=mdettweiler [2015-02-15 16:25:25] 871*2^1391103-1 is not prime. Res64: 66BEA73715870BFE Time : 0.0 sec. user=mdettweiler [2015-02-15 16:25:25] 639*2^1391104-1 is not prime. Res64: 62ED9A16AAB2F634 Time : 0.0 sec. user=mdettweiler [2015-02-15 16:41:11] 657*2^1391104-1 is not prime. Res64: 0EAB2CFA699D5CF5 Time : 0.0 sec. user=mdettweiler [2015-02-15 16:41:11] 785*2^1391104-1 is not prime. Res64: F3095AD72E5C478A Time : 0.0 sec. user=mdettweiler [2015-02-15 16:49:36] 869*2^1391104-1 is not prime. Res64: 874799915A2BD7DD Time : 0.0 sec. user=mdettweiler [2015-02-15 16:49:36] 887*2^1391104-1 is not prime. Res64: FBB31B428A318F4C Time : 0.0 sec. user=mdettweiler [2015-02-15 16:50:37] 983*2^1391104-1 is not prime. Res64: BF310383FFA075E3 Time : 0.0 sec. user=mdettweiler [2015-02-15 16:50:38] 607*2^1391105-1 is not prime. Res64: 16F01B54202747D9 Time : 0.0 sec. user=mdettweiler [2015-02-15 16:52:00] 645*2^1391105-1 is not prime. Res64: EC4B54DD18E98CCF Time : 0.0 sec. user=mdettweiler [2015-02-15 16:52:01] 711*2^1391105-1 is not prime. Res64: A4C269909229F933 Time : 0.0 sec. user=mdettweiler [2015-02-15 17:08:27] 987*2^1391105-1 is not prime. Res64: CAE49668DABDBE1B Time : 0.0 sec. user=mdettweiler [2015-02-15 17:08:28] 677*2^1391106-1 is not prime. Res64: 27E1E2DBF642F098 Time : 0.0 sec. user=mdettweiler [2015-02-15 17:16:56] 711*2^1391106-1 is not prime. Res64: F5A9BCAA1241BE91 Time : 0.0 sec. user=mdettweiler [2015-02-15 17:16:57] 755*2^1391106-1 is not prime. Res64: EF8A138987536213 Time : 0.0 sec. user=mdettweiler [2015-02-15 17:17:40] 815*2^1391106-1 is not prime. Res64: D338BF028CCF1DFF Time : 0.0 sec. user=mdettweiler [2015-02-15 17:17:40] 933*2^1391106-1 is not prime. Res64: 348AA568DB557799 Time : 0.0 sec. user=mdettweiler [2015-02-15 17:19:08] 993*2^1391106-1 is not prime. Res64: 6D90F6D1FB82A6EA Time : 0.0 sec. user=mdettweiler [2015-02-15 17:19:09] 631*2^1391107-1 is not prime. Res64: E70140DE15B5F743 Time : 0.0 sec. user=mdettweiler [2015-02-15 17:35:35] 673*2^1391107-1 is not prime. Res64: C4E9A70B90CA2B58 Time : 0.0 sec. user=mdettweiler [2015-02-15 17:35:35] 699*2^1391107-1 is not prime. Res64: 49B34E29265D4036 Time : 0.0 sec. user=mdettweiler [2015-02-15 17:44:18] 703*2^1391107-1 is not prime. Res64: B9D7F7EF55DC110A Time : 0.0 sec. user=mdettweiler [2015-02-15 17:44:18] 715*2^1391107-1 is not prime. Res64: 8A4A543CCD4C0C0E Time : 0.0 sec. user=mdettweiler [2015-02-15 17:44:26] 733*2^1391107-1 is not prime. Res64: 4B8AF26674EEC783 Time : 0.0 sec. user=mdettweiler [2015-02-15 17:44:26] 801*2^1391107-1 is not prime. Res64: C39FC7641704C2E0 Time : 0.0 sec. user=mdettweiler [2015-02-15 17:45:56] 861*2^1391107-1 is not prime. Res64: E341A6FE3CBA4F5A Time : 0.0 sec. user=mdettweiler [2015-02-15 17:45:56] 979*2^1391107-1 is not prime. Res64: EC85180D226EDFA2 Time : 0.0 sec. user=mdettweiler [2015-02-15 18:04:36] 603*2^1391108-1 is not prime. Res64: 24313902480395FD Time : 0.0 sec. user=mdettweiler [2015-02-15 18:04:37] 665*2^1391108-1 is not prime. Res64: 71CFB74864017A0B Time : 0.0 sec. user=mdettweiler [2015-02-15 18:15:07] 825*2^1391108-1 is not prime. Res64: C4CF9C932B236EE7 Time : 0.0 sec. user=mdettweiler [2015-02-15 18:15:07] 845*2^1391108-1 is not prime. Res64: 5D0CF98826D40C16 Time : 0.0 sec. user=mdettweiler [2015-02-15 18:15:37] 935*2^1391108-1 is not prime. Res64: 35878AD5D850CEB6 Time : 0.0 sec. user=mdettweiler [2015-02-15 18:15:37] 675*2^1391109-1 is not prime. Res64: 3A98D555651AF6E9 Time : 0.0 sec. user=mdettweiler [2015-02-15 18:16:52] 721*2^1391109-1 is not prime. Res64: 67B438EFB1D7022B Time : 0.0 sec. user=mdettweiler [2015-02-15 18:16:52] 741*2^1391109-1 is not prime. Res64: 4731D8D7B30EF8F8 Time : 0.0 sec. user=mdettweiler [2015-02-15 18:36:04] 877*2^1391109-1 is not prime. Res64: E9C71E156EE43DD1 Time : 0.0 sec. user=mdettweiler [2015-02-15 18:36:04] 919*2^1391109-1 is not prime. Res64: 809088ECF4897222 Time : 0.0 sec. user=mdettweiler [2015-02-15 18:46:48] 687*2^1391110-1 is not prime. Res64: CB2A8127C08C6B1E Time : 0.0 sec. user=mdettweiler [2015-02-15 18:46:48] 713*2^1391110-1 is not prime. Res64: 3D4F8BDDA1D5FABA Time : 0.0 sec. user=mdettweiler [2015-02-15 18:47:27] 999*2^1391109-1 is not prime. Res64: A10BAEE583B1B545 Time : 0.0 sec. user=mdettweiler [2015-02-15 18:47:27] 611*2^1391110-1 is not prime. Res64: D508E5640DC19F55 Time : 0.0 sec. user=mdettweiler [2015-02-15 18:48:30] 743*2^1391110-1 is not prime. Res64: 8C395290E0EAF176 Time : 0.0 sec. user=mdettweiler [2015-02-15 18:48:31] 843*2^1391110-1 is not prime. Res64: E87D8FB256C60E08 Time : 0.0 sec. user=mdettweiler [2015-02-15 19:06:53] 857*2^1391110-1 is not prime. Res64: E8AEC2D34996DE52 Time : 0.0 sec. user=mdettweiler [2015-02-15 19:06:54] 619*2^1391111-1 is not prime. Res64: 2B111C0E71A517F6 Time : 0.0 sec. user=mdettweiler [2015-02-15 19:17:27] 645*2^1391111-1 is not prime. Res64: 807AE722E4CDF0C7 Time : 0.0 sec. user=mdettweiler [2015-02-15 19:17:28] 745*2^1391111-1 is not prime. Res64: A8FACC8B2F1C4405 Time : 0.0 sec. user=mdettweiler [2015-02-15 19:18:17] 829*2^1391111-1 is not prime. Res64: 6C35E62D94FD99B9 Time : 0.0 sec. user=mdettweiler [2015-02-15 19:18:18] 693*2^1391112-1 is not prime. Res64: F9A59A08C7C4DC70 Time : 0.0 sec. user=mdettweiler [2015-02-15 19:20:21] 725*2^1391112-1 is not prime. Res64: 869BBBC184695A58 Time : 0.0 sec. user=mdettweiler [2015-02-15 19:20:21] 737*2^1391112-1 is not prime. Res64: ED189BB2B469E892 Time : 0.0 sec. user=mdettweiler [2015-02-15 19:36:44] 779*2^1391112-1 is not prime. Res64: 146B7FCFA1097B2F Time : 0.0 sec. user=mdettweiler [2015-02-15 19:36:44] 903*2^1391112-1 is not prime. Res64: 8EC4B52CB1E6FACB Time : 0.0 sec. user=mdettweiler [2015-02-15 19:47:02] 607*2^1391113-1 is not prime. Res64: 0B38B94A8A8E2F9B Time : 0.0 sec. user=mdettweiler [2015-02-15 19:47:02] 889*2^1391113-1 is not prime. Res64: 2E11ABDCD6696ADC Time : 0.0 sec. user=mdettweiler [2015-02-15 19:47:04] 937*2^1391113-1 is not prime. Res64: 44B256FB2A3CBF85 Time : 0.0 sec. user=mdettweiler [2015-02-15 19:47:04] 957*2^1391113-1 is not prime. Res64: 8983A9D2A03005DD Time : 0.0 sec. user=mdettweiler [2015-02-15 19:48:11] 985*2^1391113-1 is not prime. Res64: D605B9E7718DD425 Time : 0.0 sec. user=mdettweiler [2015-02-15 19:48:11] 641*2^1391114-1 is not prime. Res64: 49A9AE537DF65A19 Time : 0.0 sec. user=mdettweiler [2015-02-15 20:02:36] 825*2^1391114-1 is not prime. Res64: AAE917D26DC0A24A Time : 0.0 sec. user=mdettweiler [2015-02-15 20:02:37] 833*2^1391114-1 is not prime. Res64: 3D2F9150B34CC529 Time : 0.0 sec. user=mdettweiler [2015-02-15 20:12:47] 837*2^1391114-1 is not prime. Res64: E60281C8C4055E97 Time : 0.0 sec. user=mdettweiler [2015-02-15 20:12:47] 923*2^1391114-1 is not prime. Res64: BA818A4FB9792BF5 Time : 0.0 sec. user=mdettweiler [2015-02-15 20:12:56] 951*2^1391114-1 is not prime. Res64: 90AC9D31F9040549 Time : 0.0 sec. user=mdettweiler [2015-02-15 20:12:57] 987*2^1391114-1 is not prime. Res64: 2FED795D73ED16CA Time : 0.0 sec. user=mdettweiler [2015-02-15 20:13:57] 765*2^1391115-1 is not prime. Res64: 447E9674BF82EE12 Time : 0.0 sec. user=mdettweiler [2015-02-15 20:13:58] 789*2^1391115-1 is not prime. Res64: B14F3D73E1651178 Time : 0.0 sec. user=mdettweiler [2015-02-15 20:28:23] 861*2^1391115-1 is not prime. Res64: A5D7DB3235A6B91D Time : 0.0 sec. user=mdettweiler [2015-02-15 20:28:23] 677*2^1391116-1 is not prime. Res64: 39151F77B0D4379B Time : 0.0 sec. user=mdettweiler [2015-02-15 20:38:32] 869*2^1391116-1 is not prime. Res64: 2D251F905078F536 Time : 0.0 sec. user=mdettweiler [2015-02-15 20:38:33] 875*2^1391116-1 is not prime. Res64: DD404F72785C2738 Time : 0.0 sec. user=mdettweiler [2015-02-15 20:38:38] 927*2^1391116-1 is not prime. Res64: 8889CCD13B296987 Time : 0.0 sec. user=mdettweiler [2015-02-15 20:38:38] 983*2^1391116-1 is not prime. Res64: BC682142E94B6AC4 Time : 0.0 sec. user=mdettweiler [2015-02-15 20:39:44] 669*2^1391117-1 is not prime. Res64: 86DDFB988EB6CB78 Time : 0.0 sec. user=mdettweiler [2015-02-15 20:39:45] 675*2^1391117-1 is not prime. Res64: 1399595FB70111B6 Time : 0.0 sec. user=mdettweiler [2015-02-15 20:54:11] 837*2^1391117-1 is not prime. Res64: 053024D8CD2A1B53 Time : 0.0 sec. user=mdettweiler [2015-02-15 20:54:12] 847*2^1391117-1 is not prime. Res64: 2D38C4132C324990 Time : 0.0 sec. user=mdettweiler [2015-02-15 21:04:07] 967*2^1391117-1 is not prime. Res64: 12FC3516A606DFC2 Time : 0.0 sec. user=mdettweiler [2015-02-15 21:04:08] 605*2^1391118-1 is not prime. Res64: 1253D346A40AF4E3 Time : 0.0 sec. user=mdettweiler [2015-02-15 21:04:18] 889*2^1391117-1 is not prime. Res64: 4EFAEE7CF296973C Time : 0.0 sec. user=mdettweiler [2015-02-15 21:04:20] 955*2^1391117-1 is not prime. Res64: 636FF6AC66B16C7B Time : 0.0 sec. user=mdettweiler [2015-02-15 21:05:30] 683*2^1391118-1 is not prime. Res64: CA02DBDAB0FE9EA3 Time : 0.0 sec. user=mdettweiler [2015-02-15 21:05:31] 707*2^1391118-1 is not prime. Res64: 8527FDD82C622277 Time : 0.0 sec. user=mdettweiler [2015-02-15 21:19:46] 773*2^1391118-1 is not prime. Res64: 5CC9FBBC66DDEBB8 Time : 0.0 sec. user=mdettweiler [2015-02-15 21:19:46] 815*2^1391118-1 is not prime. Res64: E55B6BCA45E074CF Time : 0.0 sec. user=mdettweiler [2015-02-15 21:30:20] 893*2^1391118-1 is not prime. Res64: 0D414CD50F282977 Time : 0.0 sec. user=mdettweiler [2015-02-15 21:30:21] 933*2^1391118-1 is not prime. Res64: 286A6BD85A18BA91 Time : 0.0 sec. user=mdettweiler [2015-02-15 21:30:32] 843*2^1391118-1 is not prime. Res64: 68FCAE0517E79A3F Time : 0.0 sec. user=mdettweiler [2015-02-15 21:30:33] 891*2^1391118-1 is not prime. Res64: 810A29CC59D0D0A5 Time : 0.0 sec. user=mdettweiler [2015-02-15 21:31:13] 951*2^1391118-1 is not prime. Res64: 4CF74DBB93415BBE Time : 0.0 sec. user=mdettweiler [2015-02-15 21:31:13] 977*2^1391118-1 is not prime. Res64: 687DAECD04F21FF5 Time : 0.0 sec. user=mdettweiler [2015-02-15 21:45:28] 601*2^1391119-1 is not prime. Res64: 449C8585959307FB Time : 0.0 sec. user=mdettweiler [2015-02-15 21:45:29] 663*2^1391119-1 is not prime. Res64: 07229438F3402C22 Time : 0.0 sec. user=mdettweiler [2015-02-15 21:56:00] 681*2^1391119-1 is not prime. Res64: 34F00ADF228E5F50 Time : 0.0 sec. user=mdettweiler [2015-02-15 21:56:01] 759*2^1391119-1 is not prime. Res64: E71CBC3F7796223C Time : 0.0 sec. user=mdettweiler [2015-02-15 21:56:10] 843*2^1391119-1 is not prime. Res64: 3260FE749E1ACEB6 Time : 0.0 sec. user=mdettweiler [2015-02-15 21:56:11] 855*2^1391119-1 is not prime. Res64: 6BA2880BF89BBCF0 Time : 0.0 sec. user=mdettweiler [2015-02-15 21:56:55] 861*2^1391119-1 is not prime. Res64: E536387A3DFF41EA Time : 0.0 sec. user=mdettweiler [2015-02-15 21:56:56] 719*2^1391120-1 is not prime. Res64: BAFFB1626DFFEFCE Time : 0.0 sec. user=mdettweiler [2015-02-15 22:11:12] 795*2^1391120-1 is not prime. Res64: 07F0D54E1D33B06A Time : 0.0 sec. user=mdettweiler [2015-02-15 22:11:13] 855*2^1391120-1 is not prime. Res64: 6EE7D9CF3C51F8AF Time : 0.0 sec. user=mdettweiler [2015-02-15 22:21:44] 727*2^1391121-1 is not prime. Res64: D4B88B1C30176477 Time : 0.0 sec. user=mdettweiler [2015-02-15 22:21:44] 795*2^1391121-1 is not prime. Res64: 24D09F418A2D1D45 Time : 0.0 sec. user=mdettweiler [2015-02-15 22:21:49] 999*2^1391120-1 is not prime. Res64: 51CD6424E0A5DA6B Time : 0.0 sec. user=mdettweiler [2015-02-15 22:21:50] 625*2^1391121-1 is not prime. Res64: FF834F42BF6FBF3E Time : 0.0 sec. user=mdettweiler [2015-02-15 22:22:42] 811*2^1391121-1 is not prime. Res64: 4DAF3FC56291A9B6 Time : 0.0 sec. user=mdettweiler [2015-02-15 22:22:42] 819*2^1391121-1 is not prime. Res64: BCE1DFEAA96628E5 Time : 0.0 sec. user=mdettweiler [2015-02-15 22:36:53] 633*2^1391122-1 is not prime. Res64: 2D0DDF3136BBF822 Time : 0.0 sec. user=mdettweiler [2015-02-15 22:36:53] 635*2^1391122-1 is not prime. Res64: C29B5F7897196B51 Time : 0.0 sec. user=mdettweiler [2015-02-15 22:47:25] 657*2^1391122-1 is not prime. Res64: 7E8BEEFE3A67C229 Time : 0.0 sec. user=mdettweiler [2015-02-15 22:47:25] 717*2^1391122-1 is not prime. Res64: E4A386F4B10BCE2F Time : 0.0 sec. user=mdettweiler [2015-02-15 22:47:32] 825*2^1391122-1 is not prime. Res64: 6A9CD1AA13011C53 Time : 0.0 sec. user=mdettweiler [2015-02-15 22:47:32] 615*2^1391123-1 is not prime. Res64: 5308098D5EC095C1 Time : 0.0 sec. user=mdettweiler [2015-02-15 22:48:22] 663*2^1391123-1 is not prime. Res64: F2A595002C336012 Time : 0.0 sec. user=mdettweiler [2015-02-15 22:48:22] 673*2^1391123-1 is not prime. Res64: 7495015C9FF65078 Time : 0.0 sec. user=mdettweiler [2015-02-15 23:02:56] 699*2^1391123-1 is not prime. Res64: 7DC86B3A5A199377 Time : 0.0 sec. user=mdettweiler [2015-02-15 23:02:58] 735*2^1391123-1 is not prime. Res64: E4008CE2DB602DA8 Time : 0.0 sec. user=mdettweiler [2015-02-15 23:13:16] 781*2^1391123-1 is not prime. Res64: 8D32D5C597BB71C1 Time : 0.0 sec. user=mdettweiler [2015-02-15 23:13:17] 829*2^1391123-1 is not prime. Res64: A9F3355AAB5FE004 Time : 0.0 sec. user=mdettweiler [2015-02-15 23:13:38] 913*2^1391123-1 is not prime. Res64: D25ADCA1EDE5FB85 Time : 0.0 sec. user=mdettweiler [2015-02-15 23:13:39] 609*2^1391124-1 is not prime. Res64: 79D71FF73CEFF1A0 Time : 0.0 sec. user=mdettweiler [2015-02-15 23:14:39] 635*2^1391124-1 is not prime. Res64: 9CC392E2AE8776CA Time : 0.0 sec. user=mdettweiler [2015-02-15 23:14:39] 693*2^1391124-1 is not prime. Res64: F2E12FD47E1FF727 Time : 0.0 sec. user=mdettweiler [2015-02-15 23:29:27] 705*2^1391124-1 is not prime. Res64: 663E13095B1B8683 Time : 0.0 sec. user=mdettweiler [2015-02-15 23:29:28] 737*2^1391124-1 is not prime. Res64: A3CF9125E704C006 Time : 0.0 sec. user=mdettweiler [2015-02-15 23:39:01] 765*2^1391124-1 is not prime. Res64: 9AD24BAC705EA256 Time : 0.0 sec. user=mdettweiler [2015-02-15 23:39:02] 893*2^1391124-1 is not prime. Res64: 060BCC3F1B9C52ED Time : 0.0 sec. user=mdettweiler [2015-02-15 23:39:47] 915*2^1391124-1 is not prime. Res64: 46A0D7DF3E0DD695 Time : 0.0 sec. user=mdettweiler [2015-02-15 23:39:47] 609*2^1391125-1 is not prime. Res64: 55993ADBED087CC5 Time : 0.0 sec. user=mdettweiler [2015-02-15 23:40:23] 675*2^1391125-1 is not prime. Res64: 6A53EC0B316A1135 Time : 0.0 sec. user=mdettweiler [2015-02-15 23:40:24] 679*2^1391125-1 is not prime. Res64: 33F5D18CF623485A Time : 0.0 sec. user=juhehe [2015-02-15 23:51:35] 717*2^1391125-1 is not prime. Res64: 72BAF6B7AB263F39 Time : 0.0 sec. user=mdettweiler [2015-02-15 23:55:11] 721*2^1391125-1 is not prime. Res64: 1FD06ED76EE68F82 Time : 0.0 sec. user=mdettweiler [2015-02-15 23:55:11] 861*2^1391125-1 is not prime. Res64: EA8068D881A8FC0F Time : 0.0 sec.