user=mdettweiler [2016-11-25 00:28:40] 873*2^1446855-1 is not prime. Res64: 3CD25AD47C3B17E7 Time : 0.0 sec. user=mdettweiler [2016-11-25 00:28:41] 603*2^1446856-1 is not prime. Res64: 89BB878307ABC97B Time : 0.0 sec. user=mdettweiler [2016-11-25 00:28:41] 785*2^1446856-1 is not prime. Res64: 4FF4D2C9F6784F5C Time : 0.0 sec. user=mdettweiler [2016-11-25 00:28:42] 715*2^1446857-1 is not prime. Res64: 9B7C7254240F07BA Time : 0.0 sec. user=mdettweiler [2016-11-25 00:28:42] 747*2^1446857-1 is not prime. Res64: 18BE2B10A0CEBA3A Time : 0.0 sec. user=mdettweiler [2016-11-25 00:38:12] 799*2^1446857-1 is not prime. Res64: DDE37E998952979F Time : 0.0 sec. user=mdettweiler [2016-11-25 00:38:12] 925*2^1446857-1 is not prime. Res64: 13FB415BE893EE4D Time : 0.0 sec. user=mdettweiler [2016-11-25 00:38:13] 967*2^1446857-1 is not prime. Res64: 00B97F5911510096 Time : 0.0 sec. user=mdettweiler [2016-11-25 00:38:13] 985*2^1446857-1 is not prime. Res64: A202ADAE63A1471C Time : 0.0 sec. user=mdettweiler [2016-11-25 00:38:14] 605*2^1446858-1 is not prime. Res64: 5FEDAB3D4769C999 Time : 0.0 sec. user=mdettweiler [2016-11-25 00:42:05] 635*2^1446858-1 is not prime. Res64: 2B2D689F2DA792D0 Time : 0.0 sec. user=mdettweiler [2016-11-25 00:42:06] 683*2^1446858-1 is not prime. Res64: 1A14993C81DAF7F6 Time : 0.0 sec. user=mdettweiler [2016-11-25 00:42:06] 891*2^1446858-1 is not prime. Res64: 8A80D767E52B60EC Time : 0.0 sec. user=mdettweiler [2016-11-25 00:42:07] 921*2^1446858-1 is not prime. Res64: B0B0AA9054B7181B Time : 0.0 sec. user=mdettweiler [2016-11-25 00:42:07] 601*2^1446859-1 is not prime. Res64: F6D37F8F9AC41477 Time : 0.0 sec. user=mdettweiler [2016-11-25 00:43:30] 693*2^1446859-1 is not prime. Res64: 3748609C1002BC44 Time : 0.0 sec. user=mdettweiler [2016-11-25 00:43:30] 741*2^1446859-1 is not prime. Res64: 6049CB86656B7DD5 Time : 0.0 sec. user=mdettweiler [2016-11-25 00:43:30] 889*2^1446859-1 is not prime. Res64: 6E4BD16887094D57 Time : 0.0 sec. user=mdettweiler [2016-11-25 00:43:31] 895*2^1446859-1 is not prime. Res64: 10D218CC7D9E1E38 Time : 0.0 sec. user=mdettweiler [2016-11-25 00:43:31] 919*2^1446859-1 is not prime. Res64: DAA00722D6ABB29B Time : 0.0 sec. user=mdettweiler [2016-11-25 01:13:44] 961*2^1446859-1 is not prime. Res64: AE36BE9CCA06273C Time : 0.0 sec. user=mdettweiler [2016-11-25 01:13:45] 975*2^1446859-1 is not prime. Res64: EEA0FB2DB35F30FE Time : 0.0 sec. user=mdettweiler [2016-11-25 01:13:45] 665*2^1446860-1 is not prime. Res64: 8A1315A74F1077D8 Time : 0.0 sec. user=mdettweiler [2016-11-25 01:13:46] 725*2^1446860-1 is not prime. Res64: F4D3CE07DED706B2 Time : 0.0 sec. user=mdettweiler [2016-11-25 01:13:46] 777*2^1446860-1 is not prime. Res64: 5E689043335A18D6 Time : 0.0 sec. user=mdettweiler [2016-11-25 01:23:05] 741*2^1446861-1 is not prime. Res64: 7630FE441236776B Time : 0.0 sec. user=mdettweiler [2016-11-25 01:23:05] 789*2^1446861-1 is not prime. Res64: CE5CA14F1C31D711 Time : 0.0 sec. user=mdettweiler [2016-11-25 01:23:06] 849*2^1446861-1 is not prime. Res64: 3F5947AEF8118595 Time : 0.0 sec. user=mdettweiler [2016-11-25 01:23:06] 961*2^1446861-1 is not prime. Res64: A551CA2194174D96 Time : 0.0 sec. user=mdettweiler [2016-11-25 01:23:07] 997*2^1446861-1 is not prime. Res64: 807C367E0C603BEC Time : 0.0 sec. user=mdettweiler [2016-11-25 01:26:59] 651*2^1446862-1 is not prime. Res64: 1CA81D2C6B0323D6 Time : 0.0 sec. user=mdettweiler [2016-11-25 01:27:00] 741*2^1446862-1 is not prime. Res64: 6786328C45E5246C Time : 0.0 sec. user=mdettweiler [2016-11-25 01:27:00] 867*2^1446862-1 is not prime. Res64: 3E05FD822AFA8772 Time : 0.0 sec. user=mdettweiler [2016-11-25 01:27:01] 873*2^1446862-1 is not prime. Res64: DF07C5B9D86592E2 Time : 0.0 sec. user=mdettweiler [2016-11-25 01:27:02] 983*2^1446862-1 is not prime. Res64: 4C26F9F45AD679EE Time : 0.0 sec. user=mdettweiler [2016-11-25 01:28:23] 705*2^1446863-1 is not prime. Res64: D733091134977380 Time : 0.0 sec. user=mdettweiler [2016-11-25 01:28:24] 739*2^1446863-1 is not prime. Res64: EB1FCF73000FB8C3 Time : 0.0 sec. user=mdettweiler [2016-11-25 01:28:25] 753*2^1446863-1 is not prime. Res64: 457382DF5B34F645 Time : 0.0 sec. user=mdettweiler [2016-11-25 01:28:25] 771*2^1446863-1 is not prime. Res64: 139D738C574EAA3C Time : 0.0 sec. user=mdettweiler [2016-11-25 01:28:27] 853*2^1446863-1 is not prime. Res64: AF99430111DA12E4 Time : 0.0 sec. user=mdettweiler [2016-11-25 01:58:38] 871*2^1446863-1 is not prime. Res64: FEAD36BF89793BB8 Time : 0.0 sec. user=mdettweiler [2016-11-25 01:58:42] 895*2^1446863-1 is not prime. Res64: 81A8CC215A944375 Time : 0.0 sec. user=mdettweiler [2016-11-25 01:58:43] 939*2^1446863-1 is not prime. Res64: 20E6F66E035F8177 Time : 0.0 sec. user=mdettweiler [2016-11-25 01:58:43] 981*2^1446863-1 is not prime. Res64: DD20F54707CA8793 Time : 0.0 sec. user=mdettweiler [2016-11-25 01:58:44] 723*2^1446864-1 is not prime. Res64: 1C331BC273016FB8 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:07:54] 737*2^1446864-1 is not prime. Res64: 81D8BB7EB251B97E Time : 0.0 sec. user=mdettweiler [2016-11-25 02:07:55] 887*2^1446864-1 is not prime. Res64: 1F9F8312959DABC3 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:07:55] 893*2^1446864-1 is not prime. Res64: D147E54AE2F80864 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:07:56] 975*2^1446864-1 is not prime. Res64: E13F56B48AF8FC0E Time : 0.0 sec. user=mdettweiler [2016-11-25 02:07:56] 685*2^1446865-1 is not prime. Res64: 49F3A242C6E345DD Time : 0.0 sec. user=mdettweiler [2016-11-25 02:12:00] 777*2^1446865-1 is not prime. Res64: E16F51B00630960A Time : 0.0 sec. user=mdettweiler [2016-11-25 02:12:01] 937*2^1446865-1 is not prime. Res64: 6947B7BA0E2AC20B Time : 0.0 sec. user=mdettweiler [2016-11-25 02:12:02] 987*2^1446865-1 is not prime. Res64: D4E6438B922163C2 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:12:02] 603*2^1446866-1 is not prime. Res64: 2978E46069C87A01 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:12:03] 711*2^1446866-1 is not prime. Res64: 05844CC72A9AFADC Time : 0.0 sec. user=mdettweiler [2016-11-25 02:13:23] 717*2^1446866-1 is not prime. Res64: FD29DDCFF9AABF18 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:13:23] 735*2^1446866-1 is not prime. Res64: BEADEC6DBBC0BD68 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:13:24] 783*2^1446866-1 is not prime. Res64: 4F7C184232019D42 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:13:24] 917*2^1446866-1 is not prime. Res64: 67ED4D9A86E8F43B Time : 0.0 sec. user=mdettweiler [2016-11-25 02:13:25] 981*2^1446866-1 is not prime. Res64: 6B6EB43BCB9AB0F3 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:43:39] 993*2^1446866-1 is not prime. Res64: D6F23921269A8905 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:43:39] 609*2^1446867-1 is not prime. Res64: 6B7DA2A964F64034 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:43:39] 619*2^1446867-1 is not prime. Res64: 37CF91EA3014B7AB Time : 0.0 sec. user=mdettweiler [2016-11-25 02:43:40] 633*2^1446867-1 is not prime. Res64: 911FA0201839AF96 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:43:40] 825*2^1446867-1 is not prime. Res64: EED4707D50D8A7B0 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:52:38] 859*2^1446867-1 is not prime. Res64: ABB6DAD5B43469A1 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:52:38] 963*2^1446867-1 is not prime. Res64: DF914A737B8ACF29 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:52:39] 635*2^1446868-1 is not prime. Res64: 387532B1E995AC67 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:52:39] 743*2^1446868-1 is not prime. Res64: CADA26E509B927E0 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:52:40] 839*2^1446868-1 is not prime. Res64: E405223F226D6A9F Time : 0.0 sec. user=mdettweiler [2016-11-25 02:56:57] 621*2^1446869-1 is not prime. Res64: C268BC61BDD7F632 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:56:57] 691*2^1446869-1 is not prime. Res64: 3C9ADBA7819C05FB Time : 0.0 sec. user=mdettweiler [2016-11-25 02:56:57] 847*2^1446869-1 is not prime. Res64: F4323DF32D975C70 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:56:58] 885*2^1446869-1 is not prime. Res64: 2776CA1FAC210778 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:56:58] 925*2^1446869-1 is not prime. Res64: 04B1CEDCC910DD2F Time : 0.0 sec. user=mdettweiler [2016-11-25 02:58:16] 927*2^1446869-1 is not prime. Res64: B9A5B6E84DCE8613 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:58:17] 969*2^1446869-1 is not prime. Res64: 89A33A2C5C7F0053 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:58:18] 627*2^1446870-1 is not prime. Res64: FE4725971AB29F25 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:58:19] 773*2^1446870-1 is not prime. Res64: 74AE2BF1ADC87B02 Time : 0.0 sec. user=mdettweiler [2016-11-25 02:58:20] 923*2^1446870-1 is not prime. Res64: 7F144EEE025907F8 Time : 0.0 sec. user=mdettweiler [2016-11-25 03:29:14] 759*2^1446871-1 is not prime. Res64: 449CCA63AAB36BF6 Time : 0.0 sec. user=mdettweiler [2016-11-25 03:29:15] 861*2^1446871-1 is not prime. Res64: ED13127DA438B7E5 Time : 0.0 sec. user=mdettweiler [2016-11-25 03:29:16] 871*2^1446871-1 is not prime. Res64: 58488E3FD94DE393 Time : 0.0 sec. user=mdettweiler [2016-11-25 03:29:17] 913*2^1446871-1 is not prime. Res64: 5840B958B56ECA39 Time : 0.0 sec. user=mdettweiler [2016-11-25 03:29:18] 931*2^1446871-1 is not prime. Res64: 28B165DD05F7E733 Time : 0.0 sec. user=mdettweiler [2016-11-25 03:38:04] 615*2^1446872-1 is not prime. Res64: E829CC08F9F1B20A Time : 0.0 sec. user=mdettweiler [2016-11-25 03:38:06] 633*2^1446872-1 is not prime. Res64: 3578C2E1A626868A Time : 0.0 sec. user=mdettweiler [2016-11-25 03:38:08] 635*2^1446872-1 is not prime. Res64: A1293FAA08091829 Time : 0.0 sec. user=mdettweiler [2016-11-25 03:38:10] 675*2^1446872-1 is not prime. Res64: B9665F7DEE1C7418 Time : 0.0 sec. user=mdettweiler [2016-11-25 03:38:11] 677*2^1446872-1 is not prime. Res64: 118D01DBB025E6B9 Time : 0.0 sec. user=mdettweiler [2016-11-25 03:42:19] 683*2^1446872-1 is not prime. Res64: CA39807D2DFD2A68 Time : 0.0 sec. user=mdettweiler [2016-11-25 03:42:22] 713*2^1446872-1 is not prime. Res64: 25C7F64B6B208397 Time : 0.0 sec. user=mdettweiler [2016-11-25 03:42:24] 753*2^1446872-1 is not prime. Res64: E5AB1CD04D7E8A5D Time : 0.0 sec. user=mdettweiler [2016-11-25 03:42:26] 651*2^1446873-1 is not prime. Res64: 02762B0961C9F4DC Time : 0.0 sec. user=mdettweiler [2016-11-25 03:42:27] 675*2^1446873-1 is not prime. Res64: BCF4F56A2E7F8000 Time : 0.0 sec. user=mdettweiler [2016-11-25 03:44:09] 829*2^1446873-1 is not prime. Res64: 95C606E443B879BA Time : 0.0 sec. user=mdettweiler [2016-11-25 03:44:11] 867*2^1446873-1 is not prime. Res64: DE7B1C17E568995B Time : 0.0 sec. user=mdettweiler [2016-11-25 03:44:13] 919*2^1446873-1 is not prime. Res64: 56FB5C7DFA388053 Time : 0.0 sec. user=mdettweiler [2016-11-25 03:44:15] 999*2^1446873-1 is not prime. Res64: 1118DCFB1EC5674D Time : 0.0 sec. user=mdettweiler [2016-11-25 03:44:17] 665*2^1446874-1 is not prime. Res64: 6F346EBDA9A7677C Time : 0.0 sec. user=mdettweiler [2016-11-25 04:14:13] 675*2^1446874-1 is not prime. Res64: EBF003872863307C Time : 0.0 sec. user=mdettweiler [2016-11-25 04:14:14] 815*2^1446874-1 is not prime. Res64: 37477C0734AD9117 Time : 0.0 sec. user=mdettweiler [2016-11-25 04:14:14] 975*2^1446874-1 is not prime. Res64: 738E5968E5A4C5E0 Time : 0.0 sec. user=mdettweiler [2016-11-25 04:14:15] 981*2^1446874-1 is not prime. Res64: D0DD12DCCF94177E Time : 0.0 sec. user=mdettweiler [2016-11-25 04:14:15] 993*2^1446874-1 is not prime. Res64: 50830377F914BCD4 Time : 0.0 sec. user=mdettweiler [2016-11-25 04:23:13] 645*2^1446875-1 is not prime. Res64: F91AF69FE001412B Time : 0.0 sec. user=mdettweiler [2016-11-25 04:23:17] 669*2^1446875-1 is not prime. Res64: C3F5F8CF5DAB7E28 Time : 0.0 sec. user=mdettweiler [2016-11-25 04:23:21] 675*2^1446875-1 is not prime. Res64: CD9A050C26F6CF0E Time : 0.0 sec. user=mdettweiler [2016-11-25 04:23:25] 693*2^1446875-1 is not prime. Res64: 0E6BF62D96D5F8C3 Time : 0.0 sec. user=mdettweiler [2016-11-25 04:23:29] 735*2^1446875-1 is not prime. Res64: 38AF5BEB924B69E6 Time : 0.0 sec. user=mdettweiler [2016-11-25 04:27:40] 885*2^1446875-1 is not prime. Res64: B00FFFF87E2E93BC Time : 0.0 sec. user=mdettweiler [2016-11-25 04:27:46] 913*2^1446875-1 is not prime. Res64: DAAA1DF473CE6CA5 Time : 0.0 sec. user=mdettweiler [2016-11-25 04:27:52] 981*2^1446875-1 is not prime. Res64: F50870028A72F242 Time : 0.0 sec. user=mdettweiler [2016-11-25 04:27:58] 653*2^1446876-1 is not prime. Res64: 924B71661702E891 Time : 0.0 sec. user=mdettweiler [2016-11-25 04:28:03] 669*2^1446876-1 is not prime. Res64: 39C50C24479895A6 Time : 0.0 sec. user=mdettweiler [2016-11-25 04:29:21] 749*2^1446876-1 is not prime. Res64: 029365CC87F517A8 Time : 0.0 sec. user=mdettweiler [2016-11-25 04:29:27] 909*2^1446876-1 is not prime. Res64: 5C3DB807CB1367D8 Time : 0.0 sec. user=mdettweiler [2016-11-25 04:29:33] 687*2^1446877-1 is not prime. Res64: 068E620F256F6095 Time : 0.0 sec. user=mdettweiler [2016-11-25 04:29:38] 817*2^1446877-1 is not prime. Res64: 10ADD1452FC15EBF Time : 0.0 sec. user=mdettweiler [2016-11-25 04:29:45] 829*2^1446877-1 is not prime. Res64: 0EA307CD11776004 Time : 0.0 sec. user=mdettweiler [2016-11-25 04:59:05] 835*2^1446877-1 is not prime. Res64: 7520839CE7562F16 Time : 0.0 sec. user=mdettweiler [2016-11-25 04:59:12] 871*2^1446877-1 is not prime. Res64: 574E9FF06563407D Time : 0.0 sec. user=mdettweiler [2016-11-25 04:59:18] 955*2^1446877-1 is not prime. Res64: 3B1113F64CCB8C13 Time : 0.0 sec. user=mdettweiler [2016-11-25 04:59:24] 999*2^1446877-1 is not prime. Res64: F15C306B0059EEC7 Time : 0.0 sec. user=mdettweiler [2016-11-25 04:59:30] 687*2^1446878-1 is not prime. Res64: A0E953505043A6A0 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:08:27] 773*2^1446878-1 is not prime. Res64: E5634AB6D97A7577 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:08:31] 827*2^1446878-1 is not prime. Res64: D8A18F633F04D4F0 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:08:35] 843*2^1446878-1 is not prime. Res64: 1DAC33360B95A466 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:08:40] 893*2^1446878-1 is not prime. Res64: B418D0ABF11C2223 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:08:43] 915*2^1446878-1 is not prime. Res64: CB98B6CBAD9DB14B Time : 0.0 sec. user=mdettweiler [2016-11-25 05:13:04] 935*2^1446878-1 is not prime. Res64: C5F189C8D4CDDD6A Time : 0.0 sec. user=mdettweiler [2016-11-25 05:13:05] 951*2^1446878-1 is not prime. Res64: D1A4E62C72B69BDE Time : 0.0 sec. user=mdettweiler [2016-11-25 05:13:05] 963*2^1446878-1 is not prime. Res64: 98B4CBE3EC28397D Time : 0.0 sec. user=mdettweiler [2016-11-25 05:13:06] 615*2^1446879-1 is not prime. Res64: A740A6E4C2AFB82A Time : 0.0 sec. user=mdettweiler [2016-11-25 05:13:06] 711*2^1446879-1 is not prime. Res64: 0A13DF54C182DF71 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:14:43] 793*2^1446879-1 is not prime. Res64: 02F593A0C0C9B219 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:14:44] 885*2^1446879-1 is not prime. Res64: CEEEF82A1FEC8A24 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:14:44] 891*2^1446879-1 is not prime. Res64: BA6E2261D625ECFE Time : 0.0 sec. user=mdettweiler [2016-11-25 05:14:44] 909*2^1446879-1 is not prime. Res64: 450D232122732F92 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:14:45] 975*2^1446879-1 is not prime. Res64: 377F0991A1C191C7 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:44:42] 677*2^1446880-1 is not prime. Res64: F25FEC42CC72A7E1 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:44:42] 717*2^1446880-1 is not prime. Res64: 7DBB6F474F1FBA26 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:44:42] 765*2^1446880-1 is not prime. Res64: B733380D591FA341 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:44:43] 813*2^1446880-1 is not prime. Res64: BECDBF54AF4B47A3 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:44:43] 873*2^1446880-1 is not prime. Res64: 4D681FF9A0D43734 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:53:43] 905*2^1446880-1 is not prime. Res64: 9EFD7FC748AB8BB9 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:53:43] 983*2^1446880-1 is not prime. Res64: 2AF3443AEB3888E5 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:53:44] 691*2^1446881-1 is not prime. Res64: 61F8F20C0ACB2F35 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:53:44] 747*2^1446881-1 is not prime. Res64: A4C0BCFA1D05A920 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:53:44] 789*2^1446881-1 is not prime. Res64: FEBA8E734698BE89 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:58:04] 931*2^1446881-1 is not prime. Res64: D4509C8690BD7C18 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:58:04] 949*2^1446881-1 is not prime. Res64: CD30EFE281C7A580 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:58:04] 979*2^1446881-1 is not prime. Res64: 9AC5D708FAF3DB52 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:58:05] 997*2^1446881-1 is not prime. Res64: 0B4BC03C4476B575 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:58:05] 713*2^1446882-1 is not prime. Res64: F1C66D7B13990FF2 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:59:43] 807*2^1446882-1 is not prime. Res64: 558CE43CF2004F63 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:59:43] 815*2^1446882-1 is not prime. Res64: 811ABEB179603CC1 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:59:43] 915*2^1446882-1 is not prime. Res64: F89B78D33C7A7028 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:59:44] 947*2^1446882-1 is not prime. Res64: 97B75051FE6F8452 Time : 0.0 sec. user=mdettweiler [2016-11-25 05:59:44] 615*2^1446883-1 is not prime. Res64: 56230CBA343CEE62 Time : 0.0 sec. user=mdettweiler [2016-11-25 06:29:53] 663*2^1446883-1 is not prime. Res64: 4D8027CC20326163 Time : 0.0 sec. user=mdettweiler [2016-11-25 06:29:53] 765*2^1446883-1 is not prime. Res64: BB05C22432A0B51D Time : 0.0 sec. user=mdettweiler [2016-11-25 06:29:53] 769*2^1446883-1 is not prime. Res64: 6957B957206F1161 Time : 0.0 sec. user=mdettweiler [2016-11-25 06:29:54] 819*2^1446883-1 is not prime. Res64: A4CE0751302B9317 Time : 0.0 sec. user=mdettweiler [2016-11-25 06:29:54] 951*2^1446883-1 is not prime. Res64: 4EA9325834C89634 Time : 0.0 sec. user=mdettweiler [2016-11-25 06:38:45] 699*2^1446884-1 is not prime. Res64: 032BD8CEB09FC88D Time : 0.0 sec. user=mdettweiler [2016-11-25 06:38:51] 743*2^1446884-1 is not prime. Res64: 3C769FA880666453 Time : 0.0 sec. user=mdettweiler [2016-11-25 06:38:57] 825*2^1446884-1 is not prime. Res64: 6B61216358B3420C Time : 0.0 sec. user=mdettweiler [2016-11-25 06:39:04] 915*2^1446884-1 is not prime. Res64: 727E9FA4F9D93F55 Time : 0.0 sec. user=mdettweiler [2016-11-25 06:39:10] 983*2^1446884-1 is not prime. Res64: BA9CA4D8E567C72D Time : 0.0 sec. user=mdettweiler [2016-11-25 06:43:08] 995*2^1446884-1 is not prime. Res64: F91C3818A8C6AC5C Time : 0.0 sec. user=mdettweiler [2016-11-25 06:43:15] 627*2^1446885-1 is not prime. Res64: 13ACBBC41BF80E77 Time : 0.0 sec. user=mdettweiler [2016-11-25 06:43:22] 649*2^1446885-1 is not prime. Res64: 639AA5F5DB14FB6F Time : 0.0 sec. user=mdettweiler [2016-11-25 06:43:27] 711*2^1446885-1 is not prime. Res64: 8FA184DE66EB943D Time : 0.0 sec. user=mdettweiler [2016-11-25 06:43:34] 741*2^1446885-1 is not prime. Res64: CBAEED8769215919 Time : 0.0 sec. user=mdettweiler [2016-11-25 06:44:39] 847*2^1446885-1 is not prime. Res64: 302A6D29E14265CB Time : 0.0 sec. user=mdettweiler [2016-11-25 06:44:45] 849*2^1446885-1 is not prime. Res64: E73D8B48B2EC2D76 Time : 0.0 sec. user=mdettweiler [2016-11-25 06:44:50] 867*2^1446885-1 is not prime. Res64: 328FF1CEA0B5DDB1 Time : 0.0 sec. user=mdettweiler [2016-11-25 06:44:54] 871*2^1446885-1 is not prime. Res64: 6B8D7B606051192E Time : 0.0 sec. user=mdettweiler [2016-11-25 06:44:59] 747*2^1446886-1 is not prime. Res64: BB2EAADB58629DF0 Time : 0.0 sec. user=mdettweiler [2016-11-25 07:14:44] 755*2^1446886-1 is not prime. Res64: 928A2345E60F2095 Time : 0.0 sec. user=mdettweiler [2016-11-25 07:14:48] 773*2^1446886-1 is not prime. Res64: 8D1617DDE59B8028 Time : 0.0 sec. user=mdettweiler [2016-11-25 07:14:52] 887*2^1446886-1 is not prime. Res64: A94F1402F64AB9A9 Time : 0.0 sec. user=mdettweiler [2016-11-25 07:14:56] 993*2^1446886-1 is not prime. Res64: 9016FB6A4EDA0389 Time : 0.0 sec. user=mdettweiler [2016-11-25 07:15:00] 663*2^1446887-1 is not prime. Res64: 4694B4BA91394D7C Time : 0.0 sec. user=mdettweiler [2016-11-25 07:24:04] 693*2^1446887-1 is not prime. Res64: A1BA7281E2461F36 Time : 0.0 sec. user=mdettweiler [2016-11-25 07:24:07] 861*2^1446887-1 is not prime. Res64: 56030076B0A97D64 Time : 0.0 sec. user=mdettweiler [2016-11-25 07:24:11] 901*2^1446887-1 is not prime. Res64: 1706F607EA5C9D1F Time : 0.0 sec. user=mdettweiler [2016-11-25 07:24:15] 999*2^1446887-1 is not prime. Res64: ED99261ED64FC856 Time : 0.0 sec. user=mdettweiler [2016-11-25 07:24:19] 663*2^1446888-1 is not prime. Res64: 4B89D158E62F1F6B Time : 0.0 sec. user=mdettweiler [2016-11-25 07:28:23] 683*2^1446888-1 is not prime. Res64: D64EBCB0FC9507FD Time : 0.0 sec. user=mdettweiler [2016-11-25 07:28:23] 737*2^1446888-1 is not prime. Res64: 02016238314DC9A4 Time : 0.0 sec. user=mdettweiler [2016-11-25 07:28:23] 753*2^1446888-1 is not prime. Res64: 03B3BFCCBCCE4F9C Time : 0.0 sec. user=mdettweiler [2016-11-25 07:28:24] 815*2^1446888-1 is not prime. Res64: B5637009F094242A Time : 0.0 sec. user=mdettweiler [2016-11-25 07:28:24] 839*2^1446888-1 is not prime. Res64: 8D248020BF3AC0CD Time : 0.0 sec. user=mdettweiler [2016-11-25 07:29:43] 899*2^1446888-1 is not prime. Res64: F94E33B952EC73AB Time : 0.0 sec. user=mdettweiler [2016-11-25 07:29:43] 905*2^1446888-1 is not prime. Res64: 227BD3C72CBF8C49 Time : 0.0 sec. user=mdettweiler [2016-11-25 07:29:43] 615*2^1446889-1 is not prime. Res64: B9FD307E25919110 Time : 0.0 sec. user=mdettweiler [2016-11-25 07:29:44] 625*2^1446889-1 is not prime. Res64: 21497F9C5B577BDC Time : 0.0 sec. user=mdettweiler [2016-11-25 07:29:44] 639*2^1446889-1 is not prime. Res64: 494529F825920101 Time : 0.0 sec. user=mdettweiler [2016-11-25 07:59:57] 765*2^1446889-1 is not prime. Res64: FCD7A1DC81E790AA Time : 0.0 sec. user=mdettweiler [2016-11-25 07:59:57] 769*2^1446889-1 is not prime. Res64: CF5D8B390DAF4E80 Time : 0.0 sec. user=mdettweiler [2016-11-25 07:59:58] 807*2^1446889-1 is not prime. Res64: 257F9AFFE92478B7 Time : 0.0 sec. user=mdettweiler [2016-11-25 07:59:58] 831*2^1446889-1 is not prime. Res64: 8DDF3545AF4DF1C3 Time : 0.0 sec. user=mdettweiler [2016-11-25 07:59:58] 885*2^1446889-1 is not prime. Res64: 1480883D26B475D3 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:09:20] 895*2^1446889-1 is not prime. Res64: 051A7D189D8B5B40 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:09:20] 919*2^1446889-1 is not prime. Res64: 4DBD2A177F7D89B9 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:09:21] 717*2^1446890-1 is not prime. Res64: 394E8B2B23915493 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:09:21] 755*2^1446890-1 is not prime. Res64: 45CEA5BF84EE5F25 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:09:22] 825*2^1446890-1 is not prime. Res64: 7DE278B6D8CFADBD Time : 0.0 sec. user=mdettweiler [2016-11-25 08:13:15] 775*2^1446891-1 is not prime. Res64: 5C152DF2B7E68E54 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:13:15] 819*2^1446891-1 is not prime. Res64: C7464A3EB19E2D83 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:13:16] 879*2^1446891-1 is not prime. Res64: D33FB72BE6862B09 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:13:16] 891*2^1446891-1 is not prime. Res64: 45C8C8358A23BA47 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:13:17] 921*2^1446891-1 is not prime. Res64: DCFE9FE4B20D7BB3 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:15:19] 949*2^1446891-1 is not prime. Res64: F05C33AF73AEE5C2 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:45:35] 813*2^1446892-1 is not prime. Res64: FA780BBBFFBA2BC6 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:45:35] 827*2^1446892-1 is not prime. Res64: 7551C5202C45A841 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:45:35] 863*2^1446892-1 is not prime. Res64: 4BDBDA5F2469D0A1 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:45:36] 873*2^1446892-1 is not prime. Res64: 734CC72CDDFD2DB7 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:45:36] 909*2^1446892-1 is not prime. Res64: FD3DC0BA70E53569 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:54:52] 915*2^1446892-1 is not prime. Res64: 27DADF646A8D7BC9 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:54:56] 965*2^1446892-1 is not prime. Res64: 1467B96EECD9623E Time : 0.0 sec. user=mdettweiler [2016-11-25 08:55:00] 983*2^1446892-1 is not prime. Res64: AA5A6F8FC9BE4FD5 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:55:04] 727*2^1446893-1 is not prime. Res64: 4302FAC7676413B9 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:55:08] 759*2^1446893-1 is not prime. Res64: 4E236F8BA5A97E50 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:59:03] 789*2^1446893-1 is not prime. Res64: 57163B5A55643A86 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:59:07] 831*2^1446893-1 is not prime. Res64: 00422D31A80B3E65 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:59:11] 939*2^1446893-1 is not prime. Res64: 38892C120254465F Time : 0.0 sec. user=mdettweiler [2016-11-25 08:59:15] 967*2^1446893-1 is not prime. Res64: 25A34502A5852237 Time : 0.0 sec. user=mdettweiler [2016-11-25 08:59:19] 605*2^1446894-1 is not prime. Res64: 52E2A59D3B7CFD1B Time : 0.0 sec. user=mdettweiler [2016-11-25 09:31:28] 651*2^1446894-1 is not prime. Res64: 266ED440777D0562 Time : 0.0 sec. user=mdettweiler [2016-11-25 09:31:32] 705*2^1446894-1 is not prime. Res64: 2FAE4B5F28A4C0E5 Time : 0.0 sec. user=mdettweiler [2016-11-25 09:31:36] 747*2^1446894-1 is not prime. Res64: 1D253128CE88876C Time : 0.0 sec. user=mdettweiler [2016-11-25 09:31:40] 863*2^1446894-1 is not prime. Res64: C45590DF2BCF2C38 Time : 0.0 sec. user=mdettweiler [2016-11-25 09:31:44] 941*2^1446894-1 is not prime. Res64: EDE5267F160D3821 Time : 0.0 sec. user=mdettweiler [2016-11-25 09:40:59] 971*2^1446894-1 is not prime. Res64: F71594A9B68B88F4 Time : 0.0 sec. user=mdettweiler [2016-11-25 09:41:00] 609*2^1446895-1 is not prime. Res64: 1F6DEFC82F2BEF93 Time : 0.0 sec. user=mdettweiler [2016-11-25 09:41:00] 679*2^1446895-1 is not prime. Res64: 914C2310533B57BA Time : 0.0 sec. user=mdettweiler [2016-11-25 09:41:01] 855*2^1446895-1 is not prime. Res64: 73296CEC41E8E4A6 Time : 0.0 sec. user=mdettweiler [2016-11-25 09:41:01] 861*2^1446895-1 is not prime. Res64: E756677635589EF1 Time : 0.0 sec. user=mdettweiler [2016-11-25 09:45:12] 891*2^1446895-1 is not prime. Res64: A3788079803F4417 Time : 0.0 sec. user=mdettweiler [2016-11-25 09:45:13] 603*2^1446896-1 is not prime. Res64: A1739D428A36B491 Time : 0.0 sec. user=mdettweiler [2016-11-25 09:45:13] 633*2^1446896-1 is not prime. Res64: EC1D2816A2662A4C Time : 0.0 sec. user=mdettweiler [2016-11-25 09:45:13] 657*2^1446896-1 is not prime. Res64: D8580B79B0133F6A Time : 0.0 sec. user=mdettweiler [2016-11-25 09:45:14] 677*2^1446896-1 is not prime. Res64: AC9825CA612C47DE Time : 0.0 sec. user=mdettweiler [2016-11-25 10:18:45] 903*2^1446896-1 is not prime. Res64: 6D3A5AB669205CD8 Time : 0.0 sec. user=mdettweiler [2016-11-25 10:18:45] 607*2^1446897-1 is not prime. Res64: 36887CB7A2F5520E Time : 0.0 sec. user=mdettweiler [2016-11-25 10:18:45] 759*2^1446897-1 is not prime. Res64: 22F3F45492DDB701 Time : 0.0 sec. user=mdettweiler [2016-11-25 10:18:46] 795*2^1446897-1 is not prime. Res64: 58174B5F35A8975A Time : 0.0 sec. user=mdettweiler [2016-11-25 10:18:46] 805*2^1446897-1 is not prime. Res64: 8DA83A5D0E5A0C6C Time : 0.0 sec. user=mdettweiler [2016-11-25 10:28:02] 901*2^1446897-1 is not prime. Res64: 699555CD958064A5 Time : 0.0 sec. user=mdettweiler [2016-11-25 10:28:02] 657*2^1446898-1 is not prime. Res64: A0E7A37FCC9E865D Time : 0.0 sec. user=mdettweiler [2016-11-25 10:28:02] 681*2^1446898-1 is not prime. Res64: 843259BA2AC081FB Time : 0.0 sec. user=mdettweiler [2016-11-25 10:28:03] 743*2^1446898-1 is not prime. Res64: F02B772A1E8B4363 Time : 0.0 sec. user=mdettweiler [2016-11-25 10:28:03] 777*2^1446898-1 is not prime. Res64: 366A3C6D7016CBD9 Time : 0.0 sec. user=mdettweiler [2016-11-25 10:31:23] 647*2^1446892-1 is not prime. Res64: E59F463CE708CC5B Time : 0.0 sec. user=mdettweiler [2016-11-25 10:31:29] 675*2^1446892-1 is not prime. Res64: 6D33B87F663D9F6D Time : 0.0 sec. user=mdettweiler [2016-11-25 10:31:35] 689*2^1446892-1 is not prime. Res64: 63D1F5EEB11E9F44 Time : 0.0 sec. user=mdettweiler [2016-11-25 10:31:41] 693*2^1446892-1 is not prime. Res64: BFB88B32F0E0AFA2 Time : 0.0 sec. user=mdettweiler [2016-11-25 10:32:34] 791*2^1446898-1 is not prime. Res64: 6CAA6CE3FBF40472 Time : 0.0 sec. user=mdettweiler [2016-11-25 10:32:39] 813*2^1446898-1 is not prime. Res64: FF4EFE5C5E158600 Time : 0.0 sec. user=mdettweiler [2016-11-25 10:32:46] 923*2^1446898-1 is not prime. Res64: A33C60E83EDD82CB Time : 0.0 sec. user=mdettweiler [2016-11-25 10:32:52] 933*2^1446898-1 is not prime. Res64: E8B0D2A082606C91 Time : 0.0 sec. user=mdettweiler [2016-11-25 10:32:59] 987*2^1446898-1 is not prime. Res64: 0CE173844C44D7D5 Time : 0.0 sec. user=mdettweiler [2016-11-25 11:04:27] 621*2^1446899-1 is not prime. Res64: 2D74F8382A3D2F10 Time : 0.0 sec. user=mdettweiler [2016-11-25 11:04:29] 645*2^1446899-1 is not prime. Res64: DD6DE2DC69A25EF5 Time : 0.0 sec. user=mdettweiler [2016-11-25 11:04:30] 841*2^1446899-1 is not prime. Res64: 75CE0A83DCB94179 Time : 0.0 sec. user=mdettweiler [2016-11-25 11:04:32] 885*2^1446899-1 is not prime. Res64: AE39A7F272A84F90 Time : 0.0 sec. user=mdettweiler [2016-11-25 11:04:33] 623*2^1446900-1 is not prime. Res64: 1EEECD12665B5611 Time : 0.0 sec. user=mdettweiler [2016-11-25 11:13:13] 653*2^1446900-1 is not prime. Res64: 582C49080BCBE123 Time : 0.0 sec. user=mdettweiler [2016-11-25 11:13:17] 707*2^1446900-1 is not prime. Res64: F68ECF1D6758B1B4 Time : 0.0 sec. user=mdettweiler [2016-11-25 11:13:22] 737*2^1446900-1 is not prime. Res64: 8F62E666E2D72CEE Time : 0.0 sec. user=mdettweiler [2016-11-25 11:13:25] 767*2^1446900-1 is not prime. Res64: 2B2361CF6E4BBFFF Time : 0.0 sec. user=mdettweiler [2016-11-25 11:13:29] 779*2^1446900-1 is not prime. Res64: F8518F556E717293 Time : 0.0 sec. user=mdettweiler [2016-11-25 11:16:51] 621*2^1446901-1 is not prime. Res64: 4CEDAB88F7DFA590 Time : 0.0 sec. user=mdettweiler [2016-11-25 11:16:54] 745*2^1446901-1 is not prime. Res64: 254E6083E92FFA9F Time : 0.0 sec. user=mdettweiler [2016-11-25 11:16:59] 825*2^1446901-1 is not prime. Res64: 7EF17240CA481333 Time : 0.0 sec. user=mdettweiler [2016-11-25 11:17:03] 847*2^1446901-1 is not prime. Res64: ED623BDC0F4DFC0C Time : 0.0 sec. user=mdettweiler [2016-11-25 11:17:07] 861*2^1446901-1 is not prime. Res64: 1AA663312E51654E Time : 0.0 sec. user=mdettweiler [2016-11-25 11:18:08] 693*2^1446902-1 is not prime. Res64: AB5007F69182CB91 Time : 0.0 sec. user=mdettweiler [2016-11-25 11:18:14] 801*2^1446902-1 is not prime. Res64: 359B0F1F8535D7EC Time : 0.0 sec. user=mdettweiler [2016-11-25 11:18:21] 911*2^1446902-1 is not prime. Res64: 9775716B3AE7D0B6 Time : 0.0 sec. user=mdettweiler [2016-11-25 11:18:27] 953*2^1446902-1 is not prime. Res64: DBC70318D385A141 Time : 0.0 sec. user=mdettweiler [2016-11-25 11:18:33] 619*2^1446903-1 is not prime. Res64: E2C76E9B657B3554 Time : 0.0 sec. user=mdettweiler [2016-11-25 11:50:26] 625*2^1446903-1 is not prime. Res64: 6A1E37097C29788B Time : 0.0 sec. user=mdettweiler [2016-11-25 11:50:32] 795*2^1446903-1 is not prime. Res64: 466E47C838B09130 Time : 0.0 sec. user=mdettweiler [2016-11-25 11:50:38] 933*2^1446903-1 is not prime. Res64: 074F4B2BFE16B8CE Time : 0.0 sec. user=mdettweiler [2016-11-25 11:50:44] 717*2^1446904-1 is not prime. Res64: 1B33B137854BB897 Time : 0.0 sec. user=mdettweiler [2016-11-25 11:50:50] 755*2^1446904-1 is not prime. Res64: 0268B1199EAFAD9E Time : 0.0 sec. user=mdettweiler [2016-11-25 11:59:20] 849*2^1446904-1 is not prime. Res64: 7744AB519FD46078 Time : 0.0 sec. user=mdettweiler [2016-11-25 11:59:24] 903*2^1446904-1 is not prime. Res64: 39A4B81A44FDB348 Time : 0.0 sec. user=mdettweiler [2016-11-25 11:59:28] 923*2^1446904-1 is not prime. Res64: 9CC6C69BFBAA389C Time : 0.0 sec. user=mdettweiler [2016-11-25 11:59:32] 669*2^1446905-1 is not prime. Res64: 53F59C6A11C04A3C Time : 0.0 sec. user=mdettweiler [2016-11-25 11:59:36] 711*2^1446905-1 is not prime. Res64: FF084A6B406350C9 Time : 0.0 sec. user=mdettweiler [2016-11-25 12:03:02] 837*2^1446905-1 is not prime. Res64: C07156944EDFD15D Time : 0.0 sec. user=mdettweiler [2016-11-25 12:03:03] 841*2^1446905-1 is not prime. Res64: 825330D563B3D709 Time : 0.0 sec. user=mdettweiler [2016-11-25 12:03:03] 861*2^1446905-1 is not prime. Res64: 063BC81E4475FAED Time : 0.0 sec. user=mdettweiler [2016-11-25 12:03:04] 871*2^1446905-1 is not prime. Res64: CD157EE9FA85775B Time : 0.0 sec. user=mdettweiler [2016-11-25 12:03:04] 683*2^1446906-1 is not prime. Res64: 131F3FE302FBF374 Time : 0.0 sec. user=mdettweiler [2016-11-25 12:05:22] 741*2^1446906-1 is not prime. Res64: 3677AF9C4E8C21C5 Time : 0.0 sec. user=mdettweiler [2016-11-25 12:05:24] 783*2^1446906-1 is not prime. Res64: 6C7CB8FC566F1FF9 Time : 0.0 sec. user=mdettweiler [2016-11-25 12:05:24] 903*2^1446906-1 is not prime. Res64: 7F3F9245157DD490 Time : 0.0 sec. user=mdettweiler [2016-11-25 12:05:26] 917*2^1446906-1 is not prime. Res64: 9F56B77227D56B64 Time : 0.0 sec. user=mdettweiler [2016-11-25 12:05:27] 963*2^1446906-1 is not prime. Res64: E8D1C750A32FC736 Time : 0.0 sec. user=mdettweiler [2016-11-25 12:37:08] 631*2^1446907-1 is not prime. Res64: 8F1E5C681F8DA1AF Time : 0.0 sec. user=mdettweiler [2016-11-25 12:37:08] 703*2^1446907-1 is not prime. Res64: 66C543C2AAEC063F Time : 0.0 sec. user=mdettweiler [2016-11-25 12:37:09] 759*2^1446907-1 is not prime. Res64: B67CCD76A2AB873C Time : 0.0 sec. user=mdettweiler [2016-11-25 12:37:09] 765*2^1446907-1 is not prime. Res64: 146431498BA6879B Time : 0.0 sec. user=mdettweiler [2016-11-25 12:37:09] 861*2^1446907-1 is not prime. Res64: 80A0D3C6F7AB5463 Time : 0.0 sec. user=mdettweiler [2016-11-25 12:45:56] 901*2^1446907-1 is not prime. Res64: 19E23B257773F78B Time : 0.0 sec. user=mdettweiler [2016-11-25 12:45:56] 951*2^1446907-1 is not prime. Res64: D9D3881E81B847E5 Time : 0.0 sec. user=mdettweiler [2016-11-25 12:45:57] 973*2^1446907-1 is not prime. Res64: 0C69032C2B419038 Time : 0.0 sec. user=mdettweiler [2016-11-25 12:45:57] 975*2^1446907-1 is not prime. Res64: 7329149F3494C864 Time : 0.0 sec. user=mdettweiler [2016-11-25 12:45:57] 979*2^1446907-1 is not prime. Res64: B0B73587FA0BD1F8 Time : 0.0 sec. user=mdettweiler [2016-11-25 12:49:06] 773*2^1446908-1 is not prime. Res64: E1349F0AA2E12663 Time : 0.0 sec. user=mdettweiler [2016-11-25 12:49:07] 843*2^1446908-1 is not prime. Res64: 1DDFDB6B79EADDE6 Time : 0.0 sec. user=mdettweiler [2016-11-25 12:49:07] 923*2^1446908-1 is not prime. Res64: 2479E7EC02A172E2 Time : 0.0 sec. user=mdettweiler [2016-11-25 12:49:08] 639*2^1446909-1 is not prime. Res64: 979350D9037CC525 Time : 0.0 sec. user=mdettweiler [2016-11-25 12:49:08] 829*2^1446909-1 is not prime. Res64: 985A53D416D3A29D Time : 0.0 sec. user=mdettweiler [2016-11-25 12:51:13] 865*2^1446909-1 is not prime. Res64: 7A029E3BB532F4DC Time : 0.0 sec. user=mdettweiler [2016-11-25 12:51:17] 889*2^1446909-1 is not prime. Res64: 2E953A3755AEA2A1 Time : 0.0 sec. user=mdettweiler [2016-11-25 12:51:21] 657*2^1446910-1 is not prime. Res64: 581CD3307938DB77 Time : 0.0 sec. user=mdettweiler [2016-11-25 12:51:25] 713*2^1446910-1 is not prime. Res64: 120DB07DB107A343 Time : 0.0 sec. user=mdettweiler [2016-11-25 12:51:28] 717*2^1446910-1 is not prime. Res64: 2168C9D1FFA80515 Time : 0.0 sec. user=mdettweiler [2016-11-25 13:22:32] 761*2^1446910-1 is not prime. Res64: 37832CAEB15E8F43 Time : 0.0 sec. user=mdettweiler [2016-11-25 13:22:32] 765*2^1446910-1 is not prime. Res64: 991AEADFBA222B8C Time : 0.0 sec. user=mdettweiler [2016-11-25 13:22:33] 945*2^1446910-1 is not prime. Res64: 5E5CD40E90E53E4D Time : 0.0 sec. user=mdettweiler [2016-11-25 13:22:33] 951*2^1446910-1 is not prime. Res64: E7C454ACD0D9219B Time : 0.0 sec. user=mdettweiler [2016-11-25 13:22:34] 693*2^1446911-1 is not prime. Res64: 86B171A63A276FCB Time : 0.0 sec. user=mdettweiler [2016-11-25 13:31:06] 741*2^1446911-1 is not prime. Res64: 8F1F5DD131E4ADB5 Time : 0.0 sec. user=mdettweiler [2016-11-25 13:31:12] 763*2^1446911-1 is not prime. Res64: C30D81769628E3C6 Time : 0.0 sec. user=mdettweiler [2016-11-25 13:31:18] 843*2^1446911-1 is not prime. Res64: 341CD48C4E9000B6 Time : 0.0 sec. user=mdettweiler [2016-11-25 13:31:23] 901*2^1446911-1 is not prime. Res64: 7DF2DCA6E713A149 Time : 0.0 sec. user=mdettweiler [2016-11-25 13:31:29] 939*2^1446911-1 is not prime. Res64: 7C77DC70CEFF2E6F Time : 0.0 sec. user=mdettweiler [2016-11-25 13:34:17] 955*2^1446911-1 is not prime. Res64: 3234DE053015218B Time : 0.0 sec. user=mdettweiler [2016-11-25 13:34:24] 623*2^1446912-1 is not prime. Res64: 503D85C4A8DFA20C Time : 0.0 sec. user=mdettweiler [2016-11-25 13:34:31] 957*2^1446912-1 is not prime. Res64: 4687F689906BD327 Time : 0.0 sec. user=mdettweiler [2016-11-25 13:34:38] 975*2^1446912-1 is not prime. Res64: C78C97DE08B20611 Time : 0.0 sec. user=mdettweiler [2016-11-25 13:34:44] 625*2^1446913-1 is not prime. Res64: 1BEE8CB024CA5F08 Time : 0.0 sec. user=mdettweiler [2016-11-25 13:36:36] 687*2^1446913-1 is not prime. Res64: 5F932D0CB3EBE362 Time : 0.0 sec. user=mdettweiler [2016-11-25 13:36:40] 705*2^1446913-1 is not prime. Res64: 668682EE6B2A819B Time : 0.0 sec. user=mdettweiler [2016-11-25 13:36:44] 727*2^1446913-1 is not prime. Res64: 3349AA1CD3F96162 Time : 0.0 sec. user=mdettweiler [2016-11-25 13:36:48] 855*2^1446913-1 is not prime. Res64: 8E00B4D07CBFAE7E Time : 0.0 sec. user=mdettweiler [2016-11-25 13:36:52] 895*2^1446913-1 is not prime. Res64: BF4A1EBF3B81E77A Time : 0.0 sec. user=mdettweiler [2016-11-25 14:07:56] 705*2^1446914-1 is not prime. Res64: 5778BB5B4908BED0 Time : 0.0 sec. user=mdettweiler [2016-11-25 14:08:00] 783*2^1446914-1 is not prime. Res64: 439ABB4DFC925C57 Time : 0.0 sec. user=mdettweiler [2016-11-25 14:08:04] 875*2^1446914-1 is not prime. Res64: 2EFCD3B593DE89CD Time : 0.0 sec. user=mdettweiler [2016-11-25 14:08:08] 613*2^1446915-1 is not prime. Res64: 632ED013596EAD43 Time : 0.0 sec. user=mdettweiler [2016-11-25 14:08:12] 625*2^1446915-1 is not prime. Res64: DAB3F9D8F3C80229 Time : 0.0 sec. user=mdettweiler [2016-11-25 14:16:43] 705*2^1446915-1 is not prime. Res64: 6F0DEDB3F562359C Time : 0.0 sec. user=mdettweiler [2016-11-25 14:16:44] 825*2^1446915-1 is not prime. Res64: 7B142DEF63701BA6 Time : 0.0 sec. user=mdettweiler [2016-11-25 14:16:44] 891*2^1446915-1 is not prime. Res64: C9BC6ED5E89EBC98 Time : 0.0 sec. user=mdettweiler [2016-11-25 14:16:44] 675*2^1446916-1 is not prime. Res64: 936963135F8C5824 Time : 0.0 sec. user=mdettweiler [2016-11-25 14:16:45] 735*2^1446916-1 is not prime. Res64: DCD504C8A2858EA0 Time : 0.0 sec. user=mdettweiler [2016-11-25 14:20:01] 765*2^1446916-1 is not prime. Res64: 60F08BBE10F1CB0A Time : 0.0 sec. user=mdettweiler [2016-11-25 14:20:01] 807*2^1446916-1 is not prime. Res64: 3BA78482D3C23479 Time : 0.0 sec. user=mdettweiler [2016-11-25 14:20:02] 813*2^1446916-1 is not prime. Res64: 9682703415563CCB Time : 0.0 sec. user=mdettweiler [2016-11-25 14:20:02] 825*2^1446916-1 is not prime. Res64: AA6AE881A5EDD7B0 Time : 0.0 sec. user=mdettweiler [2016-11-25 14:20:02] 873*2^1446916-1 is not prime. Res64: BBED8E3501C4CC9B Time : 0.0 sec. user=mdettweiler [2016-11-25 14:22:14] 923*2^1446916-1 is not prime. Res64: 1E8C73E99DCC3FFD Time : 0.0 sec. user=mdettweiler [2016-11-25 14:22:15] 927*2^1446916-1 is not prime. Res64: 9AE9D8582E325764 Time : 0.0 sec. user=mdettweiler [2016-11-25 14:22:15] 697*2^1446917-1 is not prime. Res64: 7FD0A67557429109 Time : 0.0 sec. user=mdettweiler [2016-11-25 14:22:16] 727*2^1446917-1 is not prime. Res64: 4E28379D215AD5AA Time : 0.0 sec. user=mdettweiler [2016-11-25 14:22:16] 777*2^1446917-1 is not prime. Res64: 6BD7A345C6B1EA58 Time : 0.0 sec. user=mdettweiler [2016-11-25 14:53:23] 781*2^1446917-1 is not prime. Res64: 984BD0A6FDD7E801 Time : 0.0 sec. user=mdettweiler [2016-11-25 14:53:23] 837*2^1446917-1 is not prime. Res64: 36B56AFFA3EC6738 Time : 0.0 sec. user=mdettweiler [2016-11-25 14:53:24] 885*2^1446917-1 is not prime. Res64: 6A582E6E83C1DED9 Time : 0.0 sec. user=mdettweiler [2016-11-25 14:53:24] 979*2^1446917-1 is not prime. Res64: 4A1FB1DD6CDB5786 Time : 0.0 sec. user=mdettweiler [2016-11-25 14:53:25] 651*2^1446918-1 is not prime. Res64: C1A13F6E86396550 Time : 0.0 sec. user=mdettweiler [2016-11-25 15:01:51] 681*2^1446918-1 is not prime. Res64: DE2300D00D0DBB8F Time : 0.0 sec. user=mdettweiler [2016-11-25 15:01:52] 761*2^1446918-1 is not prime. Res64: BBCBD5B82243621C Time : 0.0 sec. user=mdettweiler [2016-11-25 15:01:53] 765*2^1446918-1 is not prime. Res64: B2EA0940A6632736 Time : 0.0 sec. user=mdettweiler [2016-11-25 15:01:54] 795*2^1446918-1 is not prime. Res64: F27574F888988FEE Time : 0.0 sec. user=mdettweiler [2016-11-25 15:01:55] 881*2^1446918-1 is not prime. Res64: 7C2A44BD50F44F01 Time : 0.0 sec. user=mdettweiler [2016-11-25 15:05:13] 709*2^1446919-1 is not prime. Res64: DC61B54C0908008A Time : 0.0 sec. user=mdettweiler [2016-11-25 15:05:15] 765*2^1446919-1 is not prime. Res64: 3990EE438DCA89BA Time : 0.0 sec. user=mdettweiler [2016-11-25 15:05:17] 811*2^1446919-1 is not prime. Res64: 769FA412AF82DFDC Time : 0.0 sec. user=mdettweiler [2016-11-25 15:05:18] 913*2^1446919-1 is not prime. Res64: 380AFF7E1794055B Time : 0.0 sec. user=mdettweiler [2016-11-25 15:05:19] 919*2^1446919-1 is not prime. Res64: 4DF50F09A0DD8030 Time : 0.0 sec. user=mdettweiler [2016-11-25 15:07:28] 943*2^1446919-1 is not prime. Res64: EA23198355CE9461 Time : 0.0 sec. user=mdettweiler [2016-11-25 15:07:29] 951*2^1446919-1 is not prime. Res64: C7A36E1B7DA41921 Time : 0.0 sec. user=mdettweiler [2016-11-25 15:07:30] 973*2^1446919-1 is not prime. Res64: C265B034231F428B Time : 0.0 sec. user=mdettweiler [2016-11-25 15:07:31] 993*2^1446919-1 is not prime. Res64: 5AA0145B867FECF0 Time : 0.0 sec. user=mdettweiler [2016-11-25 15:07:32] 665*2^1446920-1 is not prime. Res64: 018CCEAF345A82A2 Time : 0.0 sec. user=mdettweiler [2016-11-25 15:38:28] 767*2^1446920-1 is not prime. Res64: 4BE078349056E459 Time : 0.0 sec. user=mdettweiler [2016-11-25 15:38:28] 813*2^1446920-1 is not prime. Res64: E5FDE3ABC73FF6CE Time : 0.0 sec. user=mdettweiler [2016-11-25 15:38:29] 879*2^1446920-1 is not prime. Res64: 6890F119EBFBB9DA Time : 0.0 sec. user=mdettweiler [2016-11-25 15:38:29] 963*2^1446920-1 is not prime. Res64: 93C7CCBB056695D6 Time : 0.0 sec. user=mdettweiler [2016-11-25 15:38:30] 691*2^1446921-1 is not prime. Res64: 1505E05A287EEF12 Time : 0.0 sec. user=mdettweiler [2016-11-25 15:47:20] 741*2^1446921-1 is not prime. Res64: 0FBC077D3777D99A Time : 0.0 sec. user=mdettweiler [2016-11-25 15:47:24] 647*2^1446922-1 is not prime. Res64: 3913D5A9FDFF186C Time : 0.0 sec. user=mdettweiler [2016-11-25 15:47:28] 735*2^1446922-1 is not prime. Res64: 7AB784F0B15876FA Time : 0.0 sec. user=mdettweiler [2016-11-25 15:47:32] 777*2^1446922-1 is not prime. Res64: A6057446BA0A4B81 Time : 0.0 sec. user=mdettweiler [2016-11-25 15:47:36] 791*2^1446922-1 is not prime. Res64: 43ECE7188CB7B5A7 Time : 0.0 sec. user=mdettweiler [2016-11-25 15:50:45] 821*2^1446922-1 is not prime. Res64: 09FD6002A81981D9 Time : 0.0 sec. user=mdettweiler [2016-11-25 15:50:48] 911*2^1446922-1 is not prime. Res64: 93B59C6698B8E116 Time : 0.0 sec. user=mdettweiler [2016-11-25 15:50:52] 621*2^1446923-1 is not prime. Res64: F5597042EBB3CC9D Time : 0.0 sec. user=mdettweiler [2016-11-25 15:50:56] 745*2^1446923-1 is not prime. Res64: AF9B527858EA27ED Time : 0.0 sec. user=mdettweiler [2016-11-25 15:51:00] 969*2^1446923-1 is not prime. Res64: 5C0C17C6398C5646 Time : 0.0 sec. user=mdettweiler [2016-11-25 15:52:58] 985*2^1446923-1 is not prime. Res64: 37B5D73979E28D66 Time : 0.0 sec. user=mdettweiler [2016-11-25 15:53:02] 783*2^1446924-1 is not prime. Res64: F4314EB503C28B44 Time : 0.0 sec. user=mdettweiler [2016-11-25 15:53:05] 903*2^1446924-1 is not prime. Res64: AA99648CDF9391A8 Time : 0.0 sec. user=mdettweiler [2016-11-25 15:53:10] 947*2^1446924-1 is not prime. Res64: D50383BD5451E1E3 Time : 0.0 sec. user=mdettweiler [2016-11-25 15:53:14] 679*2^1446925-1 is not prime. Res64: 7B79F5B4423DAB85 Time : 0.0 sec. user=mdettweiler [2016-11-25 16:23:39] 871*2^1446925-1 is not prime. Res64: 75AAD2B51F928282 Time : 0.0 sec. user=mdettweiler [2016-11-25 16:23:44] 937*2^1446925-1 is not prime. Res64: 4863702FF3BAD2A1 Time : 0.0 sec. user=mdettweiler [2016-11-25 16:23:48] 705*2^1446926-1 is not prime. Res64: 9902DB7DE80150AE Time : 0.0 sec. user=mdettweiler [2016-11-25 16:23:52] 743*2^1446926-1 is not prime. Res64: FA7579382E47EE61 Time : 0.0 sec. user=mdettweiler [2016-11-25 16:23:56] 851*2^1446926-1 is not prime. Res64: 062E0251BBD38A76 Time : 0.0 sec. user=mdettweiler [2016-11-25 16:32:51] 981*2^1446926-1 is not prime. Res64: A9F47C930802F209 Time : 0.0 sec. user=mdettweiler [2016-11-25 16:32:51] 615*2^1446927-1 is not prime. Res64: 50740F06F89E0E6E Time : 0.0 sec. user=mdettweiler [2016-11-25 16:32:51] 643*2^1446927-1 is not prime. Res64: 6033A2B995A33CF6 Time : 0.0 sec. user=mdettweiler [2016-11-25 16:32:52] 705*2^1446927-1 is not prime. Res64: 889D2F14DE22D438 Time : 0.0 sec. user=mdettweiler [2016-11-25 16:32:52] 775*2^1446927-1 is not prime. Res64: CAEDDA2657354B7C Time : 0.0 sec. user=mdettweiler [2016-11-25 16:36:23] 865*2^1446927-1 is not prime. Res64: 2304988EA18EBCC0 Time : 0.0 sec. user=mdettweiler [2016-11-25 16:36:24] 747*2^1446928-1 is not prime. Res64: 8F44D53D36BD4F91 Time : 0.0 sec. user=mdettweiler [2016-11-25 16:36:24] 839*2^1446928-1 is not prime. Res64: 40F518566ADEF723 Time : 0.0 sec. user=mdettweiler [2016-11-25 16:36:25] 855*2^1446928-1 is not prime. Res64: 8B3965AB48334288 Time : 0.0 sec. user=mdettweiler [2016-11-25 16:36:25] 729*2^1446929-1 is not prime. Res64: 4CDAC944E2BBA53F Time : 0.0 sec. user=mdettweiler [2016-11-25 16:38:15] 759*2^1446929-1 is not prime. Res64: 6DB2C55581AA99C2 Time : 0.0 sec. user=mdettweiler [2016-11-25 16:38:15] 771*2^1446929-1 is not prime. Res64: 2E4794B77B418181 Time : 0.0 sec. user=mdettweiler [2016-11-25 16:38:16] 795*2^1446929-1 is not prime. Res64: 4CC533ED0B09E5AA Time : 0.0 sec. user=mdettweiler [2016-11-25 16:38:16] 811*2^1446929-1 is not prime. Res64: C7AC2EF9A9A5E186 Time : 0.0 sec. user=mdettweiler [2016-11-25 16:38:16] 855*2^1446929-1 is not prime. Res64: FD13F0ADBED8DBDD Time : 0.0 sec. user=mdettweiler [2016-11-25 17:10:02] 867*2^1446929-1 is not prime. Res64: 78792A875A0E24CF Time : 0.0 sec. user=mdettweiler [2016-11-25 17:10:02] 907*2^1446929-1 is not prime. Res64: 942F851341D6103D Time : 0.0 sec. user=mdettweiler [2016-11-25 17:10:02] 955*2^1446929-1 is not prime. Res64: 0AF93E80D175EBA4 Time : 0.0 sec. user=mdettweiler [2016-11-25 17:10:03] 641*2^1446930-1 is not prime. Res64: A69E6224EBBEAB00 Time : 0.0 sec. user=mdettweiler [2016-11-25 17:10:03] 711*2^1446930-1 is not prime. Res64: B181BB0F3EF53244 Time : 0.0 sec. user=mdettweiler [2016-11-25 17:20:08] 797*2^1446930-1 is not prime. Res64: 0EDC8555588BB50F Time : 0.0 sec. user=mdettweiler [2016-11-25 17:20:09] 825*2^1446930-1 is not prime. Res64: B5DFF7CF09C427E5 Time : 0.0 sec. user=mdettweiler [2016-11-25 17:20:09] 851*2^1446930-1 is not prime. Res64: 77D23BC8AA62ABA2 Time : 0.0 sec. user=mdettweiler [2016-11-25 17:20:09] 861*2^1446930-1 is not prime. Res64: 140EA15D9F089146 Time : 0.0 sec. user=mdettweiler [2016-11-25 17:20:10] 971*2^1446930-1 is not prime. Res64: 12A400F4916501DF Time : 0.0 sec. user=mdettweiler [2016-11-25 17:25:25] 975*2^1446931-1 is not prime. Res64: 1DB5C22AA8445A29 Time : 0.0 sec. user=mdettweiler [2016-11-25 17:25:32] 633*2^1446932-1 is not prime. Res64: DAC9C0F0B0207EB5 Time : 0.0 sec. user=mdettweiler [2016-11-25 17:25:39] 873*2^1446932-1 is not prime. Res64: E6A1CC2AC0C71076 Time : 0.0 sec. user=mdettweiler [2016-11-25 17:25:46] 699*2^1446933-1 is not prime. Res64: B885798AB9F19617 Time : 0.0 sec. user=mdettweiler [2016-11-25 17:25:53] 861*2^1446933-1 is not prime. Res64: 02E9235FC64132E1 Time : 0.0 sec. user=mdettweiler [2016-11-25 17:56:41] 951*2^1446933-1 is not prime. Res64: FEC864C399B6A16E Time : 0.0 sec. user=mdettweiler [2016-11-25 17:56:45] 955*2^1446933-1 is not prime. Res64: 82D7763644C2D504 Time : 0.0 sec. user=mdettweiler [2016-11-25 17:56:49] 657*2^1446934-1 is not prime. Res64: 0B2F6330CC2F9A92 Time : 0.0 sec. user=mdettweiler [2016-11-25 17:56:52] 941*2^1446934-1 is not prime. Res64: C8DEE3E95F5810B1 Time : 0.0 sec. user=mdettweiler [2016-11-25 17:56:57] 609*2^1446935-1 is not prime. Res64: EE4077141250C520 Time : 0.0 sec. user=mdettweiler [2016-11-25 18:06:04] 645*2^1446935-1 is not prime. Res64: 39B2BC16EE9EE131 Time : 0.0 sec. user=mdettweiler [2016-11-25 18:06:10] 753*2^1446935-1 is not prime. Res64: 8A980688A0B0ADDA Time : 0.0 sec. user=mdettweiler [2016-11-25 18:06:14] 789*2^1446935-1 is not prime. Res64: FD2A5119847E14A7 Time : 0.0 sec. user=mdettweiler [2016-11-25 18:06:18] 669*2^1446936-1 is not prime. Res64: 2F6BAA7C27D558DD Time : 0.0 sec. user=mdettweiler [2016-11-25 18:06:22] 789*2^1446936-1 is not prime. Res64: D116DECC8393A840 Time : 0.0 sec. user=mdettweiler [2016-11-25 18:11:41] 857*2^1446936-1 is not prime. Res64: 66E418E631F46BC6 Time : 0.0 sec. user=mdettweiler [2016-11-25 18:11:41] 875*2^1446936-1 is not prime. Res64: BBC6A07CEFAF119C Time : 0.0 sec. user=mdettweiler [2016-11-25 18:11:41] 879*2^1446936-1 is not prime. Res64: 7B5858B0F8866738 Time : 0.0 sec. user=mdettweiler [2016-11-25 18:11:42] 975*2^1446936-1 is not prime. Res64: DAD756154AC1A9DC Time : 0.0 sec. user=mdettweiler [2016-11-25 18:11:42] 645*2^1446937-1 is not prime. Res64: 532E19DA50FA1B90 Time : 0.0 sec. user=mdettweiler [2016-11-25 18:42:32] 769*2^1446937-1 is not prime. Res64: 184EC7B978B952FC Time : 0.0 sec. user=mdettweiler [2016-11-25 18:42:38] 665*2^1446938-1 is not prime. Res64: E4180FA36DB42EFC Time : 0.0 sec. user=mdettweiler [2016-11-25 18:42:44] 791*2^1446938-1 is not prime. Res64: BFFA65A024CE5534 Time : 0.0 sec. user=mdettweiler [2016-11-25 18:42:50] 813*2^1446938-1 is not prime. Res64: 46B14BF21A21D387 Time : 0.0 sec. user=mdettweiler [2016-11-25 18:42:56] 875*2^1446938-1 is not prime. Res64: EB12CF98A7ECFD8D Time : 0.0 sec. user=mdettweiler [2016-11-25 18:52:14] 887*2^1446938-1 is not prime. Res64: 6101944A785947E0 Time : 0.0 sec. user=mdettweiler [2016-11-25 18:52:14] 615*2^1446939-1 is not prime. Res64: 39828DE6CF3762AF Time : 0.0 sec. user=mdettweiler [2016-11-25 18:52:14] 711*2^1446939-1 is not prime. Res64: 46E3EEA396C44137 Time : 0.0 sec. user=mdettweiler [2016-11-25 18:52:15] 751*2^1446939-1 is not prime. Res64: 93C6270A1504E742 Time : 0.0 sec. user=mdettweiler [2016-11-25 18:52:15] 823*2^1446939-1 is not prime. Res64: F66DC63DE5463E35 Time : 0.0 sec. user=mdettweiler [2016-11-25 18:57:20] 961*2^1446939-1 is not prime. Res64: 811BF9A7397ECAF3 Time : 0.0 sec. user=mdettweiler [2016-11-25 18:57:21] 973*2^1446939-1 is not prime. Res64: 448215B81019E821 Time : 0.0 sec. user=mdettweiler [2016-11-25 18:57:21] 999*2^1446939-1 is not prime. Res64: A5D64AAA8BCBC2A0 Time : 0.0 sec. user=mdettweiler [2016-11-25 18:57:21] 623*2^1446940-1 is not prime. Res64: 0F0F98481573E0DC Time : 0.0 sec. user=mdettweiler [2016-11-25 18:57:22] 707*2^1446940-1 is not prime. Res64: C1EEE2A0620E2DA3 Time : 0.0 sec. user=mdettweiler [2016-11-25 19:28:30] 743*2^1446940-1 is not prime. Res64: A4CC580D8B5A424B Time : 0.0 sec. user=mdettweiler [2016-11-25 19:28:30] 827*2^1446940-1 is not prime. Res64: 91EC5C1DF09A427B Time : 0.0 sec. user=mdettweiler [2016-11-25 19:28:31] 855*2^1446940-1 is not prime. Res64: 03326302B633108E Time : 0.0 sec. user=mdettweiler [2016-11-25 19:28:31] 989*2^1446940-1 is not prime. Res64: 21E0F9CE07104204 Time : 0.0 sec. user=mdettweiler [2016-11-25 19:28:31] 631*2^1446941-1 is not prime. Res64: 1E9E22E47E590E44 Time : 0.0 sec. user=mdettweiler [2016-11-25 19:38:01] 675*2^1446941-1 is not prime. Res64: 7163B66EE301AEA7 Time : 0.0 sec. user=mdettweiler [2016-11-25 19:38:01] 745*2^1446941-1 is not prime. Res64: EE31C8F7A285AD71 Time : 0.0 sec. user=mdettweiler [2016-11-25 19:38:02] 885*2^1446941-1 is not prime. Res64: 6E8F024D0A91783F Time : 0.0 sec. user=mdettweiler [2016-11-25 19:38:02] 951*2^1446941-1 is not prime. Res64: FDA418985E56E978 Time : 0.0 sec. user=mdettweiler [2016-11-25 19:38:03] 981*2^1446941-1 is not prime. Res64: C133CF9CAF87A760 Time : 0.0 sec. user=mdettweiler [2016-11-25 19:43:11] 725*2^1446942-1 is not prime. Res64: 598939EC0FE3F44A Time : 0.0 sec. user=mdettweiler [2016-11-25 19:43:15] 741*2^1446942-1 is not prime. Res64: 317438D764620828 Time : 0.0 sec. user=mdettweiler [2016-11-25 19:43:19] 801*2^1446942-1 is not prime. Res64: E506181CCC3D968B Time : 0.0 sec. user=mdettweiler [2016-11-25 19:43:23] 941*2^1446942-1 is not prime. Res64: 82F9FE9C92B768A9 Time : 0.0 sec. user=mdettweiler [2016-11-25 19:43:27] 945*2^1446942-1 is not prime. Res64: F635F4977860D177 Time : 0.0 sec. user=mdettweiler [2016-11-25 20:14:16] 741*2^1446943-1 is not prime. Res64: EEDC30C29F6C6C45 Time : 0.0 sec. user=mdettweiler [2016-11-25 20:14:17] 769*2^1446943-1 is not prime. Res64: 183B94C2197793C7 Time : 0.0 sec. user=mdettweiler [2016-11-25 20:14:18] 853*2^1446943-1 is not prime. Res64: 8399D41EF10CBDA0 Time : 0.0 sec. user=mdettweiler [2016-11-25 20:14:18] 939*2^1446943-1 is not prime. Res64: 0FBEADC0F66E6163 Time : 0.0 sec. user=mdettweiler [2016-11-25 20:14:19] 617*2^1446944-1 is not prime. Res64: DF543BA7378E7875 Time : 0.0 sec. user=mdettweiler [2016-11-25 20:15:50] 805*2^1446931-1 is not prime. Res64: 820F9036C600BEDB Time : 0.0 sec. user=mdettweiler [2016-11-25 20:23:39] 759*2^1446944-1 is not prime. Res64: E80C4FE8BBFDDEFD Time : 0.0 sec. user=mdettweiler [2016-11-25 20:23:47] 827*2^1446944-1 is not prime. Res64: 60AD32952D984DD0 Time : 0.0 sec. user=mdettweiler [2016-11-25 20:23:51] 601*2^1446945-1 is not prime. Res64: 0B7600C82F491342 Time : 0.0 sec. user=mdettweiler [2016-11-25 20:23:56] 625*2^1446945-1 is not prime. Res64: DC0B1505CAF2BBAE Time : 0.0 sec. user=mdettweiler [2016-11-25 20:24:01] 795*2^1446945-1 is not prime. Res64: 259453F2E071B6E0 Time : 0.0 sec. user=mdettweiler [2016-11-25 20:29:14] 837*2^1446945-1 is not prime. Res64: 3B024F7E0F1D739A Time : 0.0 sec. user=mdettweiler [2016-11-25 20:29:18] 847*2^1446945-1 is not prime. Res64: 6869BAE505A1C913 Time : 0.0 sec. user=mdettweiler [2016-11-25 20:29:22] 979*2^1446945-1 is not prime. Res64: C096BE727DFF2D67 Time : 0.0 sec. user=mdettweiler [2016-11-25 20:29:26] 985*2^1446945-1 is not prime. Res64: 99A2C45E4D3C7D2C Time : 0.0 sec. user=mdettweiler [2016-11-25 20:29:30] 735*2^1446946-1 is not prime. Res64: AEA82125D527BD3D Time : 0.0 sec. user=mdettweiler [2016-11-25 20:59:43] 741*2^1446946-1 is not prime. Res64: F56229D1825F7219 Time : 0.0 sec. user=mdettweiler [2016-11-25 20:59:48] 765*2^1446946-1 is not prime. Res64: 66E21F5D2F5803D8 Time : 0.0 sec. user=mdettweiler [2016-11-25 20:59:52] 861*2^1446946-1 is not prime. Res64: AFB68F55AC4014CD Time : 0.0 sec. user=mdettweiler [2016-11-25 20:59:56] 873*2^1446946-1 is not prime. Res64: A7293D3CE917E629 Time : 0.0 sec. user=mdettweiler [2016-11-25 21:00:00] 987*2^1446946-1 is not prime. Res64: E944CDE425B56255 Time : 0.0 sec. user=mdettweiler [2016-11-25 21:09:44] 649*2^1446947-1 is not prime. Res64: DCF6644140DA4977 Time : 0.0 sec. user=mdettweiler [2016-11-25 21:09:45] 663*2^1446947-1 is not prime. Res64: D6A2699FEFC6E308 Time : 0.0 sec. user=mdettweiler [2016-11-25 21:09:45] 669*2^1446947-1 is not prime. Res64: B90F91A7036DB2F2 Time : 0.0 sec. user=mdettweiler [2016-11-25 21:09:45] 703*2^1446947-1 is not prime. Res64: A5873B6673545EB5 Time : 0.0 sec. user=mdettweiler [2016-11-25 21:09:46] 829*2^1446947-1 is not prime. Res64: 10B84161D10F4A9D Time : 0.0 sec. user=mdettweiler [2016-11-25 21:15:05] 979*2^1446947-1 is not prime. Res64: 319092007C009085 Time : 0.0 sec. user=mdettweiler [2016-11-25 21:15:05] 759*2^1446948-1 is not prime. Res64: 8889CC2058291F24 Time : 0.0 sec. user=mdettweiler [2016-11-25 21:15:06] 773*2^1446948-1 is not prime. Res64: F49649E1D59CB400 Time : 0.0 sec. user=mdettweiler [2016-11-25 21:15:06] 789*2^1446948-1 is not prime. Res64: 0332F394A91ADA93 Time : 0.0 sec. user=mdettweiler [2016-11-25 21:15:06] 795*2^1446948-1 is not prime. Res64: 7789EA764B9C406E Time : 0.0 sec. user=mdettweiler [2016-11-25 21:45:26] 843*2^1446948-1 is not prime. Res64: 406AA092D4505F85 Time : 0.0 sec. user=mdettweiler [2016-11-25 21:45:27] 899*2^1446948-1 is not prime. Res64: E42F8B6929DCDAE1 Time : 0.0 sec. user=mdettweiler [2016-11-25 21:45:27] 667*2^1446949-1 is not prime. Res64: D2A3843FE9F26256 Time : 0.0 sec. user=mdettweiler [2016-11-25 21:45:27] 699*2^1446949-1 is not prime. Res64: C3AD6EC1E1FDED5D Time : 0.0 sec. user=mdettweiler [2016-11-25 21:45:28] 729*2^1446949-1 is not prime. Res64: D5BDE457F45F4B2D Time : 0.0 sec. user=mdettweiler [2016-11-25 21:55:28] 829*2^1446949-1 is not prime. Res64: 942733A2150D9300 Time : 0.0 sec. user=mdettweiler [2016-11-25 21:55:32] 831*2^1446949-1 is not prime. Res64: 5A1A8BE5DCBA6B64 Time : 0.0 sec. user=mdettweiler [2016-11-25 21:55:36] 835*2^1446949-1 is not prime. Res64: 0CE043E4ECC5617D Time : 0.0 sec. user=mdettweiler [2016-11-25 21:55:40] 603*2^1446950-1 is not prime. Res64: 45B11E9FF474F2C1 Time : 0.0 sec. user=mdettweiler [2016-11-25 21:55:44] 671*2^1446950-1 is not prime. Res64: 6B74E3254E52100F Time : 0.0 sec. user=mdettweiler [2016-11-25 22:00:41] 935*2^1446950-1 is not prime. Res64: 7906EA59C272AB82 Time : 0.0 sec. user=mdettweiler [2016-11-25 22:00:47] 955*2^1446951-1 is not prime. Res64: 22584257B4F427D8 Time : 0.0 sec. user=mdettweiler [2016-11-25 22:00:53] 603*2^1446952-1 is not prime. Res64: B279E90A1AFA4D51 Time : 0.0 sec. user=mdettweiler [2016-11-25 22:01:00] 653*2^1446952-1 is not prime. Res64: 5B22566ABEDCB236 Time : 0.0 sec. user=mdettweiler [2016-11-25 22:01:06] 677*2^1446952-1 is not prime. Res64: 626353362B34D687 Time : 0.0 sec. user=mdettweiler [2016-11-25 22:30:37] 883*2^1446931-1 is not prime. Res64: 1491CA594A83ECD6 Time : 0.0 sec. user=mdettweiler [2016-11-25 22:30:43] 895*2^1446931-1 is not prime. Res64: EB3F09ED48DB81CE Time : 0.0 sec. user=mdettweiler [2016-11-25 22:30:49] 901*2^1446931-1 is not prime. Res64: 02ABDC06C7A0EE1B Time : 0.0 sec. user=mdettweiler [2016-11-25 22:30:55] 693*2^1446952-1 is not prime. Res64: CF6B32752219BA3E Time : 0.0 sec. user=mdettweiler [2016-11-25 22:30:55] 931*2^1446931-1 is not prime. Res64: BFA1498219AA6A89 Time : 0.0 sec. user=mdettweiler [2016-11-25 22:31:00] 777*2^1446952-1 is not prime. Res64: 3310ABDBC0066336 Time : 0.0 sec. user=mdettweiler [2016-11-25 22:31:06] 819*2^1446952-1 is not prime. Res64: 063E9A71F415152C Time : 0.0 sec. user=mdettweiler [2016-11-25 22:31:12] 827*2^1446952-1 is not prime. Res64: DCA975D654F85F9C Time : 0.0 sec. user=mdettweiler [2016-11-25 22:31:19] 843*2^1446952-1 is not prime. Res64: 7523B5C42C7E4C92 Time : 0.0 sec. user=mdettweiler [2016-11-25 22:41:19] 873*2^1446952-1 is not prime. Res64: 090DFC51CDF56068 Time : 0.0 sec. user=mdettweiler [2016-11-25 22:41:23] 875*2^1446952-1 is not prime. Res64: 000FDCF23F224B3E Time : 0.0 sec. user=mdettweiler [2016-11-25 22:41:27] 917*2^1446952-1 is not prime. Res64: C7C42285AFF36B43 Time : 0.0 sec. user=mdettweiler [2016-11-25 22:41:31] 999*2^1446952-1 is not prime. Res64: E798C0403B112D22 Time : 0.0 sec. user=mdettweiler [2016-11-25 22:41:35] 619*2^1446953-1 is not prime. Res64: 87A337B5ED29FB3A Time : 0.0 sec. user=mdettweiler [2016-11-25 22:46:37] 747*2^1446953-1 is not prime. Res64: F5D46B9671C26FB9 Time : 0.0 sec. user=mdettweiler [2016-11-25 22:46:41] 951*2^1446953-1 is not prime. Res64: A82BE48474CF9DAE Time : 0.0 sec. user=mdettweiler [2016-11-25 22:46:45] 955*2^1446953-1 is not prime. Res64: 86C0C6BC070CD8E4 Time : 0.0 sec. user=mdettweiler [2016-11-25 22:46:50] 987*2^1446953-1 is not prime. Res64: 4F39DA97175F6651 Time : 0.0 sec. user=mdettweiler [2016-11-25 22:46:50] 641*2^1446954-1 is not prime. Res64: B34A4FAAA5BEB994 Time : 0.0 sec. user=mdettweiler [2016-11-25 23:16:11] 885*2^1446955-1 is not prime. Res64: D706F3FE08A4E5F7 Time : 0.0 sec. user=mdettweiler [2016-11-25 23:16:11] 747*2^1446954-1 is not prime. Res64: 4C4B033B0134A001 Time : 0.0 sec. user=mdettweiler [2016-11-25 23:16:15] 861*2^1446954-1 is not prime. Res64: F8C4F9FC468C14E2 Time : 0.0 sec. user=mdettweiler [2016-11-25 23:16:15] 973*2^1446955-1 is not prime. Res64: DDA9132BD2A873C9 Time : 0.0 sec. user=mdettweiler [2016-11-25 23:16:19] 635*2^1446956-1 is not prime. Res64: 52E9298D8D7014E9 Time : 0.0 sec. user=mdettweiler [2016-11-25 23:16:19] 915*2^1446954-1 is not prime. Res64: 64858A7C0F6E4001 Time : 0.0 sec. user=mdettweiler [2016-11-25 23:16:23] 873*2^1446956-1 is not prime. Res64: 2DA13091D53C4A7B Time : 0.0 sec. user=mdettweiler [2016-11-25 23:16:23] 691*2^1446955-1 is not prime. Res64: EEADDB1E228AC3CF Time : 0.0 sec. user=mdettweiler [2016-11-25 23:16:27] 875*2^1446956-1 is not prime. Res64: 7987AAEAC3B208CB Time : 0.0 sec. user=mdettweiler [2016-11-25 23:16:27] 789*2^1446955-1 is not prime. Res64: 74441350F97FE874 Time : 0.0 sec. user=mdettweiler [2016-11-25 23:26:36] 897*2^1446956-1 is not prime. Res64: C4DB8CEC466FE060 Time : 0.0 sec. user=mdettweiler [2016-11-25 23:26:37] 945*2^1446956-1 is not prime. Res64: EBEC2460A2950EDA Time : 0.0 sec. user=mdettweiler [2016-11-25 23:26:37] 717*2^1446957-1 is not prime. Res64: 90528B53CA9AAFDE Time : 0.0 sec. user=mdettweiler [2016-11-25 23:26:38] 777*2^1446957-1 is not prime. Res64: 195CB7F064395141 Time : 0.0 sec. user=mdettweiler [2016-11-25 23:26:38] 859*2^1446957-1 is not prime. Res64: E028DC3FF5985249 Time : 0.0 sec. user=mdettweiler [2016-11-25 23:31:55] 891*2^1446957-1 is not prime. Res64: EBD379803B73CA39 Time : 0.0 sec. user=mdettweiler [2016-11-25 23:31:55] 813*2^1446958-1 is not prime. Res64: 61B461855B5BEA05 Time : 0.0 sec. user=mdettweiler [2016-11-25 23:31:56] 833*2^1446958-1 is not prime. Res64: E2CE9658F5C3AF2E Time : 0.0 sec. user=mdettweiler [2016-11-25 23:31:56] 855*2^1446958-1 is not prime. Res64: 5C5335820220C538 Time : 0.0 sec. user=mdettweiler [2016-11-25 23:31:57] 923*2^1446958-1 is not prime. Res64: BD925E0678D829B9 Time : 0.0 sec.