user=mdettweiler [2016-08-11 00:12:32] 615*2^1437182-1 is not prime. Res64: 34287D32CF301308 Time : 0.0 sec. user=mdettweiler [2016-08-11 00:12:33] 657*2^1437182-1 is not prime. Res64: E81D071999007DC1 Time : 0.0 sec. user=mdettweiler [2016-08-11 00:12:34] 767*2^1437182-1 is not prime. Res64: 13D232D48035913E Time : 0.0 sec. user=mdettweiler [2016-08-11 00:12:35] 801*2^1437182-1 is not prime. Res64: 6882FE0E31B8BAB2 Time : 0.0 sec. user=mdettweiler [2016-08-11 00:12:35] 843*2^1437182-1 is not prime. Res64: 06125DC8A40E324A Time : 0.0 sec. user=mdettweiler [2016-08-11 00:22:25] 921*2^1437182-1 is not prime. Res64: D72DD88154E6B798 Time : 0.0 sec. user=mdettweiler [2016-08-11 00:22:25] 609*2^1437183-1 is not prime. Res64: 7B8D8E1F4A64D1FD Time : 0.0 sec. user=mdettweiler [2016-08-11 00:22:26] 741*2^1437183-1 is not prime. Res64: 5A066E6D05C982CD Time : 0.0 sec. user=mdettweiler [2016-08-11 00:22:26] 825*2^1437183-1 is not prime. Res64: C01D932E7BF5B0B9 Time : 0.0 sec. user=mdettweiler [2016-08-11 00:22:26] 849*2^1437183-1 is not prime. Res64: 8F2D1D9C3D97330C Time : 0.0 sec. user=mdettweiler [2016-08-11 00:30:17] 885*2^1437183-1 is not prime. Res64: 149E9F69523D26F2 Time : 0.0 sec. user=mdettweiler [2016-08-11 00:30:18] 955*2^1437183-1 is not prime. Res64: 91DF13001B3463BE Time : 0.0 sec. user=mdettweiler [2016-08-11 00:30:20] 963*2^1437183-1 is not prime. Res64: 5EA8D3B3AE13D9F6 Time : 0.0 sec. user=mdettweiler [2016-08-11 00:30:20] 635*2^1437184-1 is not prime. Res64: F79365B5313BCD5D Time : 0.0 sec. user=mdettweiler [2016-08-11 00:30:20] 675*2^1437184-1 is not prime. Res64: 47CB2BB398A51B64 Time : 0.0 sec. user=mdettweiler [2016-08-11 00:40:22] 705*2^1437184-1 is not prime. Res64: 18550DB7ABEFF630 Time : 0.0 sec. user=mdettweiler [2016-08-11 00:40:23] 875*2^1437184-1 is not prime. Res64: 2A38DF1A0824C812 Time : 0.0 sec. user=mdettweiler [2016-08-11 00:40:23] 897*2^1437184-1 is not prime. Res64: 3A2D6C5FAD344C4C Time : 0.0 sec. user=mdettweiler [2016-08-11 00:40:24] 903*2^1437184-1 is not prime. Res64: 9DD7E83153208909 Time : 0.0 sec. user=mdettweiler [2016-08-11 00:40:24] 923*2^1437184-1 is not prime. Res64: CF9524D4801E2E7B Time : 0.0 sec. user=mdettweiler [2016-08-11 00:57:25] 965*2^1437184-1 is not prime. Res64: 201460754E927142 Time : 0.0 sec. user=mdettweiler [2016-08-11 00:57:25] 983*2^1437184-1 is not prime. Res64: BCDAE9170E8614B6 Time : 0.0 sec. user=mdettweiler [2016-08-11 00:57:25] 657*2^1437185-1 is not prime. Res64: 9FFB702B842B9496 Time : 0.0 sec. user=mdettweiler [2016-08-11 00:57:26] 799*2^1437185-1 is not prime. Res64: C5FB37165BEFDA4D Time : 0.0 sec. user=mdettweiler [2016-08-11 00:57:26] 871*2^1437185-1 is not prime. Res64: 5E636E728B1B5163 Time : 0.0 sec. user=mdettweiler [2016-08-11 01:07:30] 889*2^1437185-1 is not prime. Res64: B876190C29073456 Time : 0.0 sec. user=mdettweiler [2016-08-11 01:07:32] 985*2^1437185-1 is not prime. Res64: 1BD51AE96628180D Time : 0.0 sec. user=mdettweiler [2016-08-11 01:07:40] 657*2^1437186-1 is not prime. Res64: BA4F6356EEBD953B Time : 0.0 sec. user=mdettweiler [2016-08-11 01:07:44] 671*2^1437186-1 is not prime. Res64: 7A72F7EEBBD61958 Time : 0.0 sec. user=mdettweiler [2016-08-11 01:07:47] 777*2^1437186-1 is not prime. Res64: FF1433D0DA9518BF Time : 0.0 sec. user=mdettweiler [2016-08-11 01:15:13] 825*2^1437186-1 is not prime. Res64: 2422DDC86EE9692D Time : 0.0 sec. user=mdettweiler [2016-08-11 01:15:13] 681*2^1437187-1 is not prime. Res64: 5BF3AB4540CAD06A Time : 0.0 sec. user=mdettweiler [2016-08-11 01:15:13] 741*2^1437187-1 is not prime. Res64: FC5ADD88338E4944 Time : 0.0 sec. user=mdettweiler [2016-08-11 01:15:14] 829*2^1437187-1 is not prime. Res64: 84FD1EDA417AD8E9 Time : 0.0 sec. user=mdettweiler [2016-08-11 01:15:14] 895*2^1437187-1 is not prime. Res64: A577C43218F5AC53 Time : 0.0 sec. user=mdettweiler [2016-08-11 01:25:31] 945*2^1437187-1 is not prime. Res64: 3E0814544B14F33B Time : 0.0 sec. user=mdettweiler [2016-08-11 01:25:32] 975*2^1437187-1 is not prime. Res64: 2D27B82892883E98 Time : 0.0 sec. user=mdettweiler [2016-08-11 01:25:32] 743*2^1437188-1 is not prime. Res64: EA574D5E7F6B29F2 Time : 0.0 sec. user=mdettweiler [2016-08-11 01:25:33] 825*2^1437188-1 is not prime. Res64: 64DCC6241D330A0F Time : 0.0 sec. user=mdettweiler [2016-08-11 01:25:34] 893*2^1437188-1 is not prime. Res64: E64B5D586D4B4AFB Time : 0.0 sec. user=mdettweiler [2016-08-11 01:43:49] 963*2^1437188-1 is not prime. Res64: 80C36B4DC3E31042 Time : 0.0 sec. user=mdettweiler [2016-08-11 01:43:50] 993*2^1437188-1 is not prime. Res64: FC1F4456AF63F0DC Time : 0.0 sec. user=mdettweiler [2016-08-11 01:43:50] 999*2^1437188-1 is not prime. Res64: E06411F4B09815B0 Time : 0.0 sec. user=mdettweiler [2016-08-11 01:43:50] 627*2^1437189-1 is not prime. Res64: E6359F7D04BA2114 Time : 0.0 sec. user=mdettweiler [2016-08-11 01:43:51] 751*2^1437189-1 is not prime. Res64: E94C8F92D7433453 Time : 0.0 sec. user=mdettweiler [2016-08-11 01:54:50] 789*2^1437189-1 is not prime. Res64: 8CD6851361C4B495 Time : 0.0 sec. user=mdettweiler [2016-08-11 01:54:51] 817*2^1437189-1 is not prime. Res64: 9FD946E8414A28F6 Time : 0.0 sec. user=mdettweiler [2016-08-11 01:54:51] 831*2^1437189-1 is not prime. Res64: 51DB14BCFFE776F2 Time : 0.0 sec. user=mdettweiler [2016-08-11 01:54:51] 907*2^1437189-1 is not prime. Res64: 28FFEE86EDA7B801 Time : 0.0 sec. user=mdettweiler [2016-08-11 01:54:52] 991*2^1437189-1 is not prime. Res64: B2060D216A98926A Time : 0.0 sec. user=mdettweiler [2016-08-11 02:01:14] 663*2^1437190-1 is not prime. Res64: DF245AC8FB7499B4 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:01:15] 677*2^1437190-1 is not prime. Res64: 2A7D1D920840AB42 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:01:16] 695*2^1437190-1 is not prime. Res64: 526CFC2EF4FB5FB6 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:01:17] 713*2^1437190-1 is not prime. Res64: 86699CB9B1B017D0 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:01:18] 791*2^1437190-1 is not prime. Res64: 033DB9C51926EC1B Time : 0.0 sec. user=mdettweiler [2016-08-11 02:11:36] 801*2^1437190-1 is not prime. Res64: 7DA6473F00234957 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:11:37] 957*2^1437190-1 is not prime. Res64: A58CCC1962108CE7 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:11:37] 965*2^1437190-1 is not prime. Res64: A64FCA0DEE529E67 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:11:38] 685*2^1437191-1 is not prime. Res64: 6342AF6D253D80C8 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:11:38] 931*2^1437191-1 is not prime. Res64: F273FA65A1B5AB49 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:29:13] 969*2^1437191-1 is not prime. Res64: 7A0B8C78A623390E Time : 0.0 sec. user=mdettweiler [2016-08-11 02:29:14] 615*2^1437192-1 is not prime. Res64: 1328FDFAA405D786 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:29:16] 633*2^1437192-1 is not prime. Res64: A9CE86E2BE2EF8A0 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:29:17] 825*2^1437192-1 is not prime. Res64: E6A8C81B0E480F17 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:29:17] 917*2^1437192-1 is not prime. Res64: BA3B07C23A77D3F3 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:40:08] 691*2^1437193-1 is not prime. Res64: 4D61E17EFE559713 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:40:08] 699*2^1437193-1 is not prime. Res64: E2119D8EA17C291E Time : 0.0 sec. user=mdettweiler [2016-08-11 02:40:09] 745*2^1437193-1 is not prime. Res64: A211FF26AEE938B0 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:40:09] 817*2^1437193-1 is not prime. Res64: 5CB2C78F33E54EFE Time : 0.0 sec. user=mdettweiler [2016-08-11 02:40:10] 915*2^1437193-1 is not prime. Res64: F8C40E09A6F33706 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:46:20] 623*2^1437194-1 is not prime. Res64: 344717B63307D8A7 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:46:20] 633*2^1437194-1 is not prime. Res64: 2BC64DDC65A63989 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:46:20] 635*2^1437194-1 is not prime. Res64: 9D7DD18FA3232CBE Time : 0.0 sec. user=mdettweiler [2016-08-11 02:46:21] 861*2^1437194-1 is not prime. Res64: C815FC6944130766 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:46:21] 903*2^1437194-1 is not prime. Res64: EE25A776709E6BA2 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:56:30] 663*2^1437195-1 is not prime. Res64: 6C406594927F0104 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:56:31] 741*2^1437195-1 is not prime. Res64: 631C758F4CE2FDE9 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:56:31] 793*2^1437195-1 is not prime. Res64: E391FFDFFCC11F48 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:56:31] 801*2^1437195-1 is not prime. Res64: 4D889AD9686CD475 Time : 0.0 sec. user=mdettweiler [2016-08-11 02:56:32] 819*2^1437195-1 is not prime. Res64: 7ABAD182D6ED36C7 Time : 0.0 sec. user=mdettweiler [2016-08-11 03:14:38] 871*2^1437195-1 is not prime. Res64: 8F0933B590F3C551 Time : 0.0 sec. user=mdettweiler [2016-08-11 03:14:38] 921*2^1437195-1 is not prime. Res64: 6D7418B560580B7F Time : 0.0 sec. user=mdettweiler [2016-08-11 03:14:39] 963*2^1437195-1 is not prime. Res64: 7447A66E242ADFC9 Time : 0.0 sec. user=mdettweiler [2016-08-11 03:14:39] 693*2^1437196-1 is not prime. Res64: 536DD317E32301E7 Time : 0.0 sec. user=mdettweiler [2016-08-11 03:14:39] 695*2^1437196-1 is not prime. Res64: 0558102EE9393CD3 Time : 0.0 sec. user=juhehe [2016-08-11 03:22:08] 759*2^1437197-1 is not prime. Res64: 110B7CCF9EC72A64 Time : 0.0 sec. user=mdettweiler [2016-08-11 03:25:02] 783*2^1437196-1 is not prime. Res64: DCEF6AD1937A3CC3 Time : 0.0 sec. user=mdettweiler [2016-08-11 03:25:03] 825*2^1437196-1 is not prime. Res64: E0A5C1E4D3E92F9D Time : 0.0 sec. user=mdettweiler [2016-08-11 03:25:03] 845*2^1437196-1 is not prime. Res64: 83B2C5A5039F24BB Time : 0.0 sec. user=mdettweiler [2016-08-11 03:25:04] 717*2^1437197-1 is not prime. Res64: DCAF3F36AE179331 Time : 0.0 sec. user=mdettweiler [2016-08-11 03:25:05] 757*2^1437197-1 is not prime. Res64: 1CA089E8BA5890F2 Time : 0.0 sec. user=mdettweiler [2016-08-11 03:31:01] 871*2^1437197-1 is not prime. Res64: E4465B72AFC9229B Time : 0.0 sec. user=mdettweiler [2016-08-11 03:31:03] 925*2^1437197-1 is not prime. Res64: D63AF969656C5B1C Time : 0.0 sec. user=mdettweiler [2016-08-11 03:31:04] 927*2^1437197-1 is not prime. Res64: BA031A1503AC7A3A Time : 0.0 sec. user=mdettweiler [2016-08-11 03:31:07] 627*2^1437198-1 is not prime. Res64: 12AE4A6EDB4B35D2 Time : 0.0 sec. user=mdettweiler [2016-08-11 03:31:12] 705*2^1437198-1 is not prime. Res64: ED1F5D174B78757F Time : 0.0 sec. user=mdettweiler [2016-08-11 03:41:10] 731*2^1437198-1 is not prime. Res64: DD9B01453EEBFEB1 Time : 0.0 sec. user=mdettweiler [2016-08-11 03:41:14] 761*2^1437198-1 is not prime. Res64: 18527F89E6D67444 Time : 0.0 sec. user=mdettweiler [2016-08-11 03:41:19] 765*2^1437198-1 is not prime. Res64: A9AE11EEEB0DB97E Time : 0.0 sec. user=mdettweiler [2016-08-11 03:41:22] 893*2^1437198-1 is not prime. Res64: F39E5A8244A9549C Time : 0.0 sec. user=mdettweiler [2016-08-11 03:41:25] 751*2^1437199-1 is not prime. Res64: 3AFAFE64CD663C46 Time : 0.0 sec. user=mdettweiler [2016-08-11 03:59:17] 769*2^1437199-1 is not prime. Res64: 8532DF333012000E Time : 0.0 sec. user=mdettweiler [2016-08-11 03:59:18] 811*2^1437199-1 is not prime. Res64: C9B4D7829381EFC8 Time : 0.0 sec. user=mdettweiler [2016-08-11 03:59:18] 841*2^1437199-1 is not prime. Res64: AD32CC152270D2E7 Time : 0.0 sec. user=mdettweiler [2016-08-11 03:59:19] 755*2^1437200-1 is not prime. Res64: 92B8E93D217BBE01 Time : 0.0 sec. user=mdettweiler [2016-08-11 03:59:20] 797*2^1437200-1 is not prime. Res64: 436DE52321BB5D21 Time : 0.0 sec. user=mdettweiler [2016-08-11 04:10:32] 615*2^1437201-1 is not prime. Res64: F9579A72DAE8BFB5 Time : 0.0 sec. user=mdettweiler [2016-08-11 04:10:32] 789*2^1437201-1 is not prime. Res64: 4EE6196FED19B19A Time : 0.0 sec. user=mdettweiler [2016-08-11 04:10:33] 829*2^1437201-1 is not prime. Res64: 5CBFA243FD5A8C23 Time : 0.0 sec. user=mdettweiler [2016-08-11 04:10:33] 909*2^1437201-1 is not prime. Res64: E09F24B395B1FCCC Time : 0.0 sec. user=mdettweiler [2016-08-11 04:10:34] 951*2^1437201-1 is not prime. Res64: CAB398696C268013 Time : 0.0 sec. user=mdettweiler [2016-08-11 04:16:33] 979*2^1437201-1 is not prime. Res64: 0F806737E9031934 Time : 0.0 sec. user=mdettweiler [2016-08-11 04:16:37] 991*2^1437201-1 is not prime. Res64: A714EF0B49F71A12 Time : 0.0 sec. user=mdettweiler [2016-08-11 04:16:38] 999*2^1437201-1 is not prime. Res64: 558DB87F5CFB1D3E Time : 0.0 sec. user=mdettweiler [2016-08-11 04:16:41] 713*2^1437202-1 is not prime. Res64: A1C0B4911FF37C48 Time : 0.0 sec. user=mdettweiler [2016-08-11 04:16:45] 881*2^1437202-1 is not prime. Res64: 710D0A8B07179D1C Time : 0.0 sec. user=mdettweiler [2016-08-11 04:26:30] 957*2^1437202-1 is not prime. Res64: FCDF2E171C75DFC6 Time : 0.0 sec. user=mdettweiler [2016-08-11 04:26:31] 975*2^1437202-1 is not prime. Res64: 743C46942C72A1AD Time : 0.0 sec. user=mdettweiler [2016-08-11 04:26:31] 633*2^1437203-1 is not prime. Res64: B0EBCCE050F27C41 Time : 0.0 sec. user=mdettweiler [2016-08-11 04:26:32] 673*2^1437203-1 is not prime. Res64: BC7A2F0DA9A0ED5D Time : 0.0 sec. user=mdettweiler [2016-08-11 04:26:32] 895*2^1437203-1 is not prime. Res64: 6848D204B5390A62 Time : 0.0 sec. user=mdettweiler [2016-08-11 04:44:45] 963*2^1437203-1 is not prime. Res64: 6FFB752D42B21DF5 Time : 0.0 sec. user=mdettweiler [2016-08-11 04:44:49] 635*2^1437204-1 is not prime. Res64: 55B1CD85BA64E524 Time : 0.0 sec. user=mdettweiler [2016-08-11 04:44:52] 689*2^1437204-1 is not prime. Res64: AC0E6480361CAF92 Time : 0.0 sec. user=mdettweiler [2016-08-11 04:44:55] 707*2^1437204-1 is not prime. Res64: 0CE64FB1A25F7203 Time : 0.0 sec. user=mdettweiler [2016-08-11 04:44:58] 725*2^1437204-1 is not prime. Res64: E395B16A597353F4 Time : 0.0 sec. user=mdettweiler [2016-08-11 04:55:40] 887*2^1437204-1 is not prime. Res64: AA6F5F159E205E03 Time : 0.0 sec. user=mdettweiler [2016-08-11 04:55:41] 927*2^1437204-1 is not prime. Res64: 2734525893611E87 Time : 0.0 sec. user=mdettweiler [2016-08-11 04:55:41] 929*2^1437204-1 is not prime. Res64: 8C17AEEB5ABEDFCE Time : 0.0 sec. user=mdettweiler [2016-08-11 04:55:41] 969*2^1437204-1 is not prime. Res64: 757C1A301918232B Time : 0.0 sec. user=mdettweiler [2016-08-11 04:55:42] 685*2^1437205-1 is not prime. Res64: D434357C3CA57759 Time : 0.0 sec. user=mdettweiler [2016-08-11 05:01:49] 765*2^1437205-1 is not prime. Res64: F17F3A0A662CF317 Time : 0.0 sec. user=mdettweiler [2016-08-11 05:01:50] 801*2^1437205-1 is not prime. Res64: 93092D8565FB06A4 Time : 0.0 sec. user=mdettweiler [2016-08-11 05:01:50] 817*2^1437205-1 is not prime. Res64: 187037A84A7A9975 Time : 0.0 sec. user=mdettweiler [2016-08-11 05:01:51] 895*2^1437205-1 is not prime. Res64: 720B9FD20942778B Time : 0.0 sec. user=mdettweiler [2016-08-11 05:01:52] 651*2^1437206-1 is not prime. Res64: 31DB1CE88FE1CD86 Time : 0.0 sec. user=mdettweiler [2016-08-11 05:11:38] 851*2^1437206-1 is not prime. Res64: D44629CAB2241F25 Time : 0.0 sec. user=mdettweiler [2016-08-11 05:11:41] 867*2^1437206-1 is not prime. Res64: 5D597AC023DA45D0 Time : 0.0 sec. user=mdettweiler [2016-08-11 05:11:44] 903*2^1437206-1 is not prime. Res64: D27405F5C3888D06 Time : 0.0 sec. user=mdettweiler [2016-08-11 05:11:47] 923*2^1437206-1 is not prime. Res64: ED9EA759E83F92CE Time : 0.0 sec. user=mdettweiler [2016-08-11 05:11:50] 987*2^1437206-1 is not prime. Res64: 5347D009A046BB74 Time : 0.0 sec. user=mdettweiler [2016-08-11 05:30:17] 643*2^1437207-1 is not prime. Res64: 45346E9DBFD20F09 Time : 0.0 sec. user=mdettweiler [2016-08-11 05:30:18] 985*2^1437207-1 is not prime. Res64: EFD3EA4D34EDE0DA Time : 0.0 sec. user=mdettweiler [2016-08-11 05:30:18] 825*2^1437208-1 is not prime. Res64: 4480DF1111B23CA3 Time : 0.0 sec. user=mdettweiler [2016-08-11 05:30:18] 959*2^1437208-1 is not prime. Res64: 4B8C03DAACA6017D Time : 0.0 sec. user=mdettweiler [2016-08-11 05:30:19] 999*2^1437208-1 is not prime. Res64: 2F4DB92C9B5418E8 Time : 0.0 sec. user=mdettweiler [2016-08-11 05:40:59] 615*2^1437209-1 is not prime. Res64: E55BACBC42BA1096 Time : 0.0 sec. user=mdettweiler [2016-08-11 05:41:03] 711*2^1437209-1 is not prime. Res64: 144E7200DF752141 Time : 0.0 sec. user=mdettweiler [2016-08-11 05:41:07] 729*2^1437209-1 is not prime. Res64: 86C87693EC681B2D Time : 0.0 sec. user=mdettweiler [2016-08-11 05:41:11] 789*2^1437209-1 is not prime. Res64: 0956CADB679D4AE4 Time : 0.0 sec. user=mdettweiler [2016-08-11 05:41:11] 885*2^1437209-1 is not prime. Res64: BD040CF886FE1B98 Time : 0.0 sec. user=mdettweiler [2016-08-11 05:46:54] 939*2^1437209-1 is not prime. Res64: 0C92CCB5998F685F Time : 0.0 sec. user=mdettweiler [2016-08-11 05:46:56] 987*2^1437209-1 is not prime. Res64: CE34DC375A471412 Time : 0.0 sec. user=mdettweiler [2016-08-11 05:46:58] 681*2^1437210-1 is not prime. Res64: E74A08D3B9B65C18 Time : 0.0 sec. user=mdettweiler [2016-08-11 05:47:00] 861*2^1437210-1 is not prime. Res64: E92114945091365A Time : 0.0 sec. user=mdettweiler [2016-08-11 05:47:02] 905*2^1437210-1 is not prime. Res64: 9747C363B5C13EDA Time : 0.0 sec. user=mdettweiler [2016-08-11 05:56:51] 923*2^1437210-1 is not prime. Res64: 89B1AF856B4D677E Time : 0.0 sec. user=mdettweiler [2016-08-11 05:56:51] 971*2^1437210-1 is not prime. Res64: 3CD51D8302C97F0B Time : 0.0 sec. user=mdettweiler [2016-08-11 05:56:52] 603*2^1437211-1 is not prime. Res64: FFB3EDC1D1DB2352 Time : 0.0 sec. user=mdettweiler [2016-08-11 05:56:52] 685*2^1437211-1 is not prime. Res64: F8EB4588FB99DE33 Time : 0.0 sec. user=mdettweiler [2016-08-11 05:56:52] 703*2^1437211-1 is not prime. Res64: 51958BDA7CD14A34 Time : 0.0 sec. user=mdettweiler [2016-08-11 06:15:32] 735*2^1437211-1 is not prime. Res64: B641AAECFCF5392A Time : 0.0 sec. user=mdettweiler [2016-08-11 06:15:35] 759*2^1437211-1 is not prime. Res64: B77F3115973FDD5A Time : 0.0 sec. user=mdettweiler [2016-08-11 06:15:37] 783*2^1437211-1 is not prime. Res64: C439F617D9B45FF7 Time : 0.0 sec. user=mdettweiler [2016-08-11 06:15:39] 841*2^1437211-1 is not prime. Res64: 1F465CB780644589 Time : 0.0 sec. user=mdettweiler [2016-08-11 06:15:42] 605*2^1437212-1 is not prime. Res64: C3B038508D9FF865 Time : 0.0 sec. user=mdettweiler [2016-08-11 06:26:16] 963*2^1437212-1 is not prime. Res64: DDA091238E8BE1BE Time : 0.0 sec. user=mdettweiler [2016-08-11 06:26:16] 983*2^1437212-1 is not prime. Res64: 5509EF8DBD66E05A Time : 0.0 sec. user=mdettweiler [2016-08-11 06:26:16] 765*2^1437213-1 is not prime. Res64: A0C216CB1466D039 Time : 0.0 sec. user=mdettweiler [2016-08-11 06:26:17] 835*2^1437213-1 is not prime. Res64: FE7CE8EED8030228 Time : 0.0 sec. user=mdettweiler [2016-08-11 06:26:17] 921*2^1437213-1 is not prime. Res64: FF43DE3C58906AFF Time : 0.0 sec. user=mdettweiler [2016-08-11 06:31:59] 635*2^1437214-1 is not prime. Res64: 279FBFAA48A7F85C Time : 0.0 sec. user=mdettweiler [2016-08-11 06:32:00] 645*2^1437214-1 is not prime. Res64: 57730962E40157D4 Time : 0.0 sec. user=mdettweiler [2016-08-11 06:32:00] 675*2^1437214-1 is not prime. Res64: 6F04ACB209056588 Time : 0.0 sec. user=mdettweiler [2016-08-11 06:32:01] 971*2^1437214-1 is not prime. Res64: 12BB3FF349B31592 Time : 0.0 sec. user=mdettweiler [2016-08-11 06:32:01] 619*2^1437215-1 is not prime. Res64: 5765D8CBA985BF76 Time : 0.0 sec. user=mdettweiler [2016-08-11 06:42:05] 949*2^1437215-1 is not prime. Res64: 23467CB4EFE5D7F5 Time : 0.0 sec. user=mdettweiler [2016-08-11 06:42:07] 963*2^1437215-1 is not prime. Res64: CA25A1263A47F254 Time : 0.0 sec. user=mdettweiler [2016-08-11 06:42:09] 609*2^1437216-1 is not prime. Res64: 3C732BA14BF28337 Time : 0.0 sec. user=mdettweiler [2016-08-11 06:42:11] 759*2^1437216-1 is not prime. Res64: 6B5F5E785D7AE71C Time : 0.0 sec. user=mdettweiler [2016-08-11 06:42:13] 767*2^1437216-1 is not prime. Res64: 51399708ADEF0607 Time : 0.0 sec. user=mdettweiler [2016-08-11 07:00:53] 789*2^1437216-1 is not prime. Res64: DD6ABAD69F17F925 Time : 0.0 sec. user=mdettweiler [2016-08-11 07:00:54] 825*2^1437216-1 is not prime. Res64: 8252983FCFF341E0 Time : 0.0 sec. user=mdettweiler [2016-08-11 07:00:54] 887*2^1437216-1 is not prime. Res64: DB8CA4EA6310AAA5 Time : 0.0 sec. user=mdettweiler [2016-08-11 07:00:55] 917*2^1437216-1 is not prime. Res64: F35D151C4694355C Time : 0.0 sec. user=mdettweiler [2016-08-11 07:00:55] 945*2^1437216-1 is not prime. Res64: 2766F8CF4B356423 Time : 0.0 sec. user=mdettweiler [2016-08-11 07:12:07] 609*2^1437217-1 is not prime. Res64: C62AAF937C51E5C1 Time : 0.0 sec. user=mdettweiler [2016-08-11 07:17:13] 861*2^1437217-1 is not prime. Res64: 2A572989A528B548 Time : 0.0 sec. user=mdettweiler [2016-08-11 07:17:15] 871*2^1437217-1 is not prime. Res64: 0701EE8782E5C726 Time : 0.0 sec. user=mdettweiler [2016-08-11 07:17:17] 931*2^1437217-1 is not prime. Res64: 2D29667E229F3AD3 Time : 0.0 sec. user=mdettweiler [2016-08-11 07:17:20] 677*2^1437218-1 is not prime. Res64: 3D2D6B7A421F9F0F Time : 0.0 sec. user=mdettweiler [2016-08-11 07:17:22] 705*2^1437218-1 is not prime. Res64: E9D987CAA152568F Time : 0.0 sec. user=mdettweiler [2016-08-11 07:27:21] 743*2^1437218-1 is not prime. Res64: EF6E885ED332CF57 Time : 0.0 sec. user=mdettweiler [2016-08-11 07:27:21] 825*2^1437218-1 is not prime. Res64: 519F851CC6BFDAB3 Time : 0.0 sec. user=mdettweiler [2016-08-11 07:27:22] 833*2^1437218-1 is not prime. Res64: D6998A0B5D759781 Time : 0.0 sec. user=mdettweiler [2016-08-11 07:27:22] 887*2^1437218-1 is not prime. Res64: 239A5739A6C01095 Time : 0.0 sec. user=mdettweiler [2016-08-11 07:27:23] 893*2^1437218-1 is not prime. Res64: A86B8827FEE7E4B2 Time : 0.0 sec. user=mdettweiler [2016-08-11 07:47:00] 923*2^1437218-1 is not prime. Res64: 314AF448D8D9359A Time : 0.0 sec. user=mdettweiler [2016-08-11 07:47:00] 953*2^1437218-1 is not prime. Res64: 787CE77056FAB7F0 Time : 0.0 sec. user=mdettweiler [2016-08-11 07:47:00] 801*2^1437219-1 is not prime. Res64: 9D84F0DB27C15839 Time : 0.0 sec. user=mdettweiler [2016-08-11 07:47:01] 853*2^1437219-1 is not prime. Res64: 06F5B563AC44A97F Time : 0.0 sec. user=mdettweiler [2016-08-11 07:47:01] 891*2^1437219-1 is not prime. Res64: E39140CC1D22AEA3 Time : 0.0 sec. user=mdettweiler [2016-08-11 08:03:38] 895*2^1437219-1 is not prime. Res64: 87963149CFB65E7F Time : 0.0 sec. user=mdettweiler [2016-08-11 08:03:40] 951*2^1437219-1 is not prime. Res64: CBC854699E9C9DF5 Time : 0.0 sec. user=mdettweiler [2016-08-11 08:03:42] 973*2^1437219-1 is not prime. Res64: B7A709ADBFF8CA50 Time : 0.0 sec. user=mdettweiler [2016-08-11 08:03:44] 975*2^1437219-1 is not prime. Res64: 0B30B2D5C82DEED6 Time : 0.0 sec. user=mdettweiler [2016-08-11 08:03:45] 979*2^1437219-1 is not prime. Res64: 0745394A41F92417 Time : 0.0 sec. user=mdettweiler [2016-08-11 08:13:37] 991*2^1437219-1 is not prime. Res64: BDF0F898F1159900 Time : 0.0 sec. user=mdettweiler [2016-08-11 08:13:41] 717*2^1437220-1 is not prime. Res64: AAAB2013EEDE15CB Time : 0.0 sec. user=mdettweiler [2016-08-11 08:13:44] 765*2^1437220-1 is not prime. Res64: 77B290518A9511F0 Time : 0.0 sec. user=mdettweiler [2016-08-11 08:13:47] 773*2^1437220-1 is not prime. Res64: C642DF25396D6BEF Time : 0.0 sec. user=mdettweiler [2016-08-11 08:13:50] 875*2^1437220-1 is not prime. Res64: D7C30750A1A55834 Time : 0.0 sec. user=mdettweiler [2016-08-11 08:33:08] 897*2^1437220-1 is not prime. Res64: 0FA0414C1D9BC8BF Time : 0.0 sec. user=mdettweiler [2016-08-11 08:33:08] 825*2^1437221-1 is not prime. Res64: D5DBA50AF6D3CC69 Time : 0.0 sec. user=mdettweiler [2016-08-11 08:33:09] 861*2^1437221-1 is not prime. Res64: 08171EFFC2FAD7BB Time : 0.0 sec. user=mdettweiler [2016-08-11 08:33:09] 871*2^1437221-1 is not prime. Res64: C33673B5FD3DBBDE Time : 0.0 sec. user=mdettweiler [2016-08-11 08:33:10] 621*2^1437222-1 is not prime. Res64: 7EF2EA77CDB61B3C Time : 0.0 sec. user=mdettweiler [2016-08-11 08:50:05] 677*2^1437222-1 is not prime. Res64: 9A5E1E5256066B01 Time : 0.0 sec. user=mdettweiler [2016-08-11 08:50:05] 741*2^1437222-1 is not prime. Res64: 573FBCD710533256 Time : 0.0 sec. user=mdettweiler [2016-08-11 08:50:06] 709*2^1437223-1 is not prime. Res64: A3B25C6C80F645A6 Time : 0.0 sec. user=mdettweiler [2016-08-11 08:50:06] 805*2^1437223-1 is not prime. Res64: 819126A4821187C6 Time : 0.0 sec. user=mdettweiler [2016-08-11 08:50:07] 819*2^1437223-1 is not prime. Res64: 05EC020B3709F4B9 Time : 0.0 sec. user=mdettweiler [2016-08-11 08:59:27] 853*2^1437223-1 is not prime. Res64: 48EC46BAFFEA4383 Time : 0.0 sec. user=mdettweiler [2016-08-11 08:59:27] 855*2^1437223-1 is not prime. Res64: FD448537F70B8DC9 Time : 0.0 sec. user=mdettweiler [2016-08-11 08:59:28] 993*2^1437223-1 is not prime. Res64: 0AF993A91640568E Time : 0.0 sec. user=mdettweiler [2016-08-11 08:59:28] 617*2^1437224-1 is not prime. Res64: B36D950A823DF49F Time : 0.0 sec. user=mdettweiler [2016-08-11 08:59:28] 677*2^1437224-1 is not prime. Res64: 2A14D1E1EA11705F Time : 0.0 sec. user=mdettweiler [2016-08-11 09:19:06] 869*2^1437224-1 is not prime. Res64: E06DCB0C58D415A3 Time : 0.0 sec. user=mdettweiler [2016-08-11 09:19:06] 875*2^1437224-1 is not prime. Res64: 8F7EE2CEC5732C0B Time : 0.0 sec. user=mdettweiler [2016-08-11 09:19:07] 609*2^1437225-1 is not prime. Res64: CAC6B8CF80AC5AF7 Time : 0.0 sec. user=mdettweiler [2016-08-11 09:19:07] 915*2^1437225-1 is not prime. Res64: B7B3A896050CA09D Time : 0.0 sec. user=mdettweiler [2016-08-11 09:19:07] 635*2^1437226-1 is not prime. Res64: 42A8A646491D0DE0 Time : 0.0 sec. user=mdettweiler [2016-08-11 09:36:01] 647*2^1437226-1 is not prime. Res64: 7B2AC7824C490F2B Time : 0.0 sec. user=mdettweiler [2016-08-11 09:36:03] 657*2^1437226-1 is not prime. Res64: 52360DB5F416BE76 Time : 0.0 sec. user=mdettweiler [2016-08-11 09:36:05] 675*2^1437226-1 is not prime. Res64: 8E43756D5E2490C3 Time : 0.0 sec. user=mdettweiler [2016-08-11 09:36:08] 713*2^1437226-1 is not prime. Res64: 301EFEA3A4446ED9 Time : 0.0 sec. user=mdettweiler [2016-08-11 09:36:10] 815*2^1437226-1 is not prime. Res64: 00395037EED24206 Time : 0.0 sec. user=mdettweiler [2016-08-11 09:45:11] 833*2^1437226-1 is not prime. Res64: 1E812B1891B30BFC Time : 0.0 sec. user=mdettweiler [2016-08-11 09:45:11] 649*2^1437227-1 is not prime. Res64: F0F6A966C5014076 Time : 0.0 sec. user=mdettweiler [2016-08-11 09:45:12] 651*2^1437227-1 is not prime. Res64: F26F96D5D5F4CF1B Time : 0.0 sec. user=mdettweiler [2016-08-11 09:45:12] 685*2^1437227-1 is not prime. Res64: 5BF14CABCD38231A Time : 0.0 sec. user=mdettweiler [2016-08-11 09:45:12] 715*2^1437227-1 is not prime. Res64: C6A91C24C75333A7 Time : 0.0 sec. user=mdettweiler [2016-08-11 09:57:16] 667*2^1437217-1 is not prime. Res64: 18E9204AD12BACEA Time : 0.0 sec. user=mdettweiler [2016-08-11 09:57:16] 691*2^1437217-1 is not prime. Res64: E029BA760AF39248 Time : 0.0 sec. user=mdettweiler [2016-08-11 09:57:16] 715*2^1437217-1 is not prime. Res64: D5E2EC6889CAA8FD Time : 0.0 sec. user=mdettweiler [2016-08-11 09:57:17] 801*2^1437217-1 is not prime. Res64: 3808B7742919C2E7 Time : 0.0 sec. user=mdettweiler [2016-08-11 10:04:59] 735*2^1437227-1 is not prime. Res64: EEF735DA2AB3ACBE Time : 0.0 sec. user=mdettweiler [2016-08-11 10:05:01] 883*2^1437227-1 is not prime. Res64: AE1F2A62A54ED315 Time : 0.0 sec. user=mdettweiler [2016-08-11 10:05:04] 945*2^1437227-1 is not prime. Res64: 3E94E47391DAA607 Time : 0.0 sec. user=mdettweiler [2016-08-11 10:05:07] 639*2^1437228-1 is not prime. Res64: B74C4BA7FB04BF52 Time : 0.0 sec. user=mdettweiler [2016-08-11 10:05:10] 777*2^1437228-1 is not prime. Res64: 3C42F63EB5A047DE Time : 0.0 sec. user=mdettweiler [2016-08-11 10:21:31] 783*2^1437228-1 is not prime. Res64: 6583E31C361FE9F9 Time : 0.0 sec. user=mdettweiler [2016-08-11 10:21:31] 797*2^1437228-1 is not prime. Res64: CBCDE06418AAE013 Time : 0.0 sec. user=mdettweiler [2016-08-11 10:21:32] 809*2^1437228-1 is not prime. Res64: FF1EE10AEAAB55E4 Time : 0.0 sec. user=mdettweiler [2016-08-11 10:21:32] 839*2^1437228-1 is not prime. Res64: 45076E84A5445A6A Time : 0.0 sec. user=mdettweiler [2016-08-11 10:21:32] 927*2^1437228-1 is not prime. Res64: B34F1A5D015E2BB1 Time : 0.0 sec. user=mdettweiler [2016-08-11 10:30:12] 929*2^1437228-1 is not prime. Res64: C1423BBC945503A8 Time : 0.0 sec. user=mdettweiler [2016-08-11 10:30:15] 799*2^1437229-1 is not prime. Res64: 01DFC634F337B310 Time : 0.0 sec. user=mdettweiler [2016-08-11 10:30:17] 897*2^1437229-1 is not prime. Res64: CF834086BD2824A7 Time : 0.0 sec. user=mdettweiler [2016-08-11 10:30:19] 999*2^1437229-1 is not prime. Res64: E642B042ADF86291 Time : 0.0 sec. user=mdettweiler [2016-08-11 10:30:21] 615*2^1437230-1 is not prime. Res64: E29F94C989921B35 Time : 0.0 sec. user=mdettweiler [2016-08-11 10:42:08] 827*2^1437230-1 is not prime. Res64: 33615567966AE79C Time : 0.0 sec. user=mdettweiler [2016-08-11 10:42:09] 887*2^1437230-1 is not prime. Res64: 100A1CB4BE905AE0 Time : 0.0 sec. user=mdettweiler [2016-08-11 10:42:09] 921*2^1437230-1 is not prime. Res64: FA89BD55565DD43D Time : 0.0 sec. user=mdettweiler [2016-08-11 10:42:10] 945*2^1437230-1 is not prime. Res64: 09C4CCE13CA4271B Time : 0.0 sec. user=mdettweiler [2016-08-11 10:42:10] 951*2^1437230-1 is not prime. Res64: C93B7BE9D96667FA Time : 0.0 sec. user=mdettweiler [2016-08-11 10:50:20] 957*2^1437230-1 is not prime. Res64: 09E3C2460488D445 Time : 0.0 sec. user=mdettweiler [2016-08-11 10:50:20] 621*2^1437231-1 is not prime. Res64: 69FA06A59E5304DC Time : 0.0 sec. user=mdettweiler [2016-08-11 10:50:21] 685*2^1437231-1 is not prime. Res64: 2EE8DFF1D56F4A86 Time : 0.0 sec. user=mdettweiler [2016-08-11 10:50:21] 735*2^1437231-1 is not prime. Res64: 0FF319B19EB68D49 Time : 0.0 sec. user=mdettweiler [2016-08-11 10:50:21] 739*2^1437231-1 is not prime. Res64: 13D06554F20A532A Time : 0.0 sec. user=mdettweiler [2016-08-11 11:06:38] 781*2^1437231-1 is not prime. Res64: 8E3B4AA84440E65F Time : 0.0 sec. user=mdettweiler [2016-08-11 11:06:40] 783*2^1437231-1 is not prime. Res64: 356D8DDFC0E6A717 Time : 0.0 sec. user=mdettweiler [2016-08-11 11:06:41] 873*2^1437231-1 is not prime. Res64: 0EF2D6D936668DCB Time : 0.0 sec. user=mdettweiler [2016-08-11 11:06:42] 657*2^1437232-1 is not prime. Res64: 57BDEEEC2CF52F00 Time : 0.0 sec. user=mdettweiler [2016-08-11 11:06:43] 833*2^1437232-1 is not prime. Res64: CBB725B4CC3FB928 Time : 0.0 sec. user=mdettweiler [2016-08-11 11:15:18] 873*2^1437232-1 is not prime. Res64: 8A3E7C63F5CA87A7 Time : 0.0 sec. user=mdettweiler [2016-08-11 11:15:18] 875*2^1437232-1 is not prime. Res64: A9808F3A11E75F81 Time : 0.0 sec. user=mdettweiler [2016-08-11 11:15:19] 939*2^1437232-1 is not prime. Res64: 59B272F636709429 Time : 0.0 sec. user=mdettweiler [2016-08-11 11:15:19] 989*2^1437232-1 is not prime. Res64: 52BB3960AAF0657A Time : 0.0 sec. user=mdettweiler [2016-08-11 11:15:20] 691*2^1437233-1 is not prime. Res64: 89F26A94F1002857 Time : 0.0 sec. user=mdettweiler [2016-08-11 11:27:17] 705*2^1437233-1 is not prime. Res64: 1E58D676A05CE2EE Time : 0.0 sec. user=mdettweiler [2016-08-11 11:27:19] 721*2^1437233-1 is not prime. Res64: D8F5CCBFDD68491F Time : 0.0 sec. user=mdettweiler [2016-08-11 11:27:21] 735*2^1437233-1 is not prime. Res64: 7B6410F93E209A2C Time : 0.0 sec. user=mdettweiler [2016-08-11 11:27:23] 985*2^1437233-1 is not prime. Res64: ED1ED44E241DFEFC Time : 0.0 sec. user=mdettweiler [2016-08-11 11:27:26] 987*2^1437233-1 is not prime. Res64: 5B1843AD8636212A Time : 0.0 sec. user=mdettweiler [2016-08-11 11:35:48] 671*2^1437234-1 is not prime. Res64: 44BB2F8109CE33A4 Time : 0.0 sec. user=mdettweiler [2016-08-11 11:35:48] 741*2^1437234-1 is not prime. Res64: 553C40DC6D73FCC1 Time : 0.0 sec. user=mdettweiler [2016-08-11 11:35:48] 755*2^1437234-1 is not prime. Res64: F1F85AA2F9937450 Time : 0.0 sec. user=mdettweiler [2016-08-11 11:35:49] 893*2^1437234-1 is not prime. Res64: 8BC328DCD4C7C1E2 Time : 0.0 sec. user=mdettweiler [2016-08-11 11:35:49] 975*2^1437234-1 is not prime. Res64: 098A3D2AAE84EBEE Time : 0.0 sec. user=mdettweiler [2016-08-11 11:52:01] 609*2^1437235-1 is not prime. Res64: 95A7A8D3C33A037F Time : 0.0 sec. user=mdettweiler [2016-08-11 11:52:03] 619*2^1437235-1 is not prime. Res64: 6B1E051BB523AA08 Time : 0.0 sec. user=mdettweiler [2016-08-11 11:52:05] 679*2^1437235-1 is not prime. Res64: F158912BB4D560D5 Time : 0.0 sec. user=mdettweiler [2016-08-11 11:52:07] 765*2^1437235-1 is not prime. Res64: 8DA87BCBF4487E08 Time : 0.0 sec. user=mdettweiler [2016-08-11 11:52:10] 819*2^1437235-1 is not prime. Res64: F779959104766C7A Time : 0.0 sec. user=mdettweiler [2016-08-11 12:00:42] 843*2^1437235-1 is not prime. Res64: 6213DDCEE31AF516 Time : 0.0 sec. user=mdettweiler [2016-08-11 12:00:43] 861*2^1437235-1 is not prime. Res64: C6C4BDF06C092F28 Time : 0.0 sec. user=mdettweiler [2016-08-11 12:00:43] 939*2^1437235-1 is not prime. Res64: 8744465D2AECE7C4 Time : 0.0 sec. user=mdettweiler [2016-08-11 12:00:44] 943*2^1437235-1 is not prime. Res64: 14F362A6DD2927A8 Time : 0.0 sec. user=mdettweiler [2016-08-11 12:00:45] 973*2^1437235-1 is not prime. Res64: 8D72FDB39E7FCAB7 Time : 0.0 sec. user=mdettweiler [2016-08-11 12:13:06] 979*2^1437235-1 is not prime. Res64: 16250CD399352320 Time : 0.0 sec. user=mdettweiler [2016-08-11 12:13:07] 999*2^1437235-1 is not prime. Res64: 22120CB75738B7E1 Time : 0.0 sec. user=mdettweiler [2016-08-11 12:13:07] 603*2^1437236-1 is not prime. Res64: E4F2087B7190D538 Time : 0.0 sec. user=mdettweiler [2016-08-11 12:13:07] 879*2^1437236-1 is not prime. Res64: 54DA7E5C181CF71C Time : 0.0 sec. user=mdettweiler [2016-08-11 12:13:08] 969*2^1437236-1 is not prime. Res64: 46270A9CB68245DD Time : 0.0 sec. user=mdettweiler [2016-08-11 12:21:35] 649*2^1437237-1 is not prime. Res64: 9EE8556246778D09 Time : 0.0 sec. user=mdettweiler [2016-08-11 12:21:38] 747*2^1437237-1 is not prime. Res64: AB7625598D9F9E29 Time : 0.0 sec. user=mdettweiler [2016-08-11 12:21:40] 769*2^1437237-1 is not prime. Res64: 58F2D417EBE14199 Time : 0.0 sec. user=mdettweiler [2016-08-11 12:21:42] 871*2^1437237-1 is not prime. Res64: 68EF76710812B968 Time : 0.0 sec. user=mdettweiler [2016-08-11 12:21:44] 885*2^1437237-1 is not prime. Res64: 5175A23E45F0D968 Time : 0.0 sec. user=mdettweiler [2016-08-11 12:38:28] 895*2^1437237-1 is not prime. Res64: 5512C79504886E6F Time : 0.0 sec. user=mdettweiler [2016-08-11 12:38:28] 611*2^1437238-1 is not prime. Res64: 6B3B322E2E787959 Time : 0.0 sec. user=mdettweiler [2016-08-11 12:38:29] 681*2^1437238-1 is not prime. Res64: 069035EB3DCC0A02 Time : 0.0 sec. user=mdettweiler [2016-08-11 12:38:29] 755*2^1437238-1 is not prime. Res64: 7E940C81060DCCEB Time : 0.0 sec. user=mdettweiler [2016-08-11 12:38:29] 777*2^1437238-1 is not prime. Res64: 34AA8BA60ED664BF Time : 0.0 sec. user=mdettweiler [2016-08-11 12:48:23] 791*2^1437238-1 is not prime. Res64: E67760E8C500C3C5 Time : 0.0 sec. user=mdettweiler [2016-08-11 12:48:23] 813*2^1437238-1 is not prime. Res64: 5EEE531B48DF0902 Time : 0.0 sec. user=mdettweiler [2016-08-11 12:48:27] 843*2^1437238-1 is not prime. Res64: 5E34498F08A058F4 Time : 0.0 sec. user=mdettweiler [2016-08-11 12:48:31] 861*2^1437238-1 is not prime. Res64: 2A442D0059591F74 Time : 0.0 sec. user=mdettweiler [2016-08-11 12:48:31] 881*2^1437238-1 is not prime. Res64: CC57E1F913AA5622 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:00:51] 915*2^1437238-1 is not prime. Res64: 0468089754711845 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:00:52] 951*2^1437238-1 is not prime. Res64: 833761943D74D57B Time : 0.0 sec. user=mdettweiler [2016-08-11 13:00:53] 729*2^1437239-1 is not prime. Res64: 83FCD2880D6A3969 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:00:54] 753*2^1437239-1 is not prime. Res64: 767C80C2618EE7D8 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:00:55] 759*2^1437239-1 is not prime. Res64: DE62B602EC9C4E57 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:09:16] 813*2^1437239-1 is not prime. Res64: 79CCB1E03B231CC1 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:09:19] 913*2^1437239-1 is not prime. Res64: 7AC8B42E44313E49 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:09:22] 921*2^1437239-1 is not prime. Res64: 8E10D0F7C23915F8 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:09:23] 939*2^1437239-1 is not prime. Res64: 9703C48483AB16DD Time : 0.0 sec. user=mdettweiler [2016-08-11 13:09:26] 943*2^1437239-1 is not prime. Res64: C2F5B7BFD88C3B62 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:25:20] 707*2^1437240-1 is not prime. Res64: EC3BF3B884817525 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:25:20] 803*2^1437240-1 is not prime. Res64: 0EEC61B6EB1BB2FA Time : 0.0 sec. user=mdettweiler [2016-08-11 13:25:21] 849*2^1437240-1 is not prime. Res64: 96E5F44B3BA96AA9 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:25:21] 705*2^1437241-1 is not prime. Res64: 3DC5D974A5D1BA3E Time : 0.0 sec. user=mdettweiler [2016-08-11 13:25:21] 747*2^1437241-1 is not prime. Res64: 72A805A4057F2359 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:34:36] 895*2^1437241-1 is not prime. Res64: 6D8AC11A8C3B2C44 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:34:36] 979*2^1437241-1 is not prime. Res64: E9FDF4DCA1245283 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:34:36] 997*2^1437241-1 is not prime. Res64: 987D6FCD2E38EBA4 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:34:37] 603*2^1437242-1 is not prime. Res64: 80EC891808D3F6E7 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:34:37] 645*2^1437242-1 is not prime. Res64: 6FED9C88013C43E5 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:46:44] 651*2^1437242-1 is not prime. Res64: E29CB2931C7D36C4 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:46:44] 731*2^1437242-1 is not prime. Res64: B0A949E6E7B6DA8C Time : 0.0 sec. user=mdettweiler [2016-08-11 13:46:45] 867*2^1437242-1 is not prime. Res64: E014692D0FC8CEB3 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:46:45] 953*2^1437242-1 is not prime. Res64: 7EC99CA6EFB4E884 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:46:46] 995*2^1437242-1 is not prime. Res64: 4A326BAAEAF87462 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:55:16] 703*2^1437243-1 is not prime. Res64: DA60734F18C8FFEE Time : 0.0 sec. user=mdettweiler [2016-08-11 13:55:16] 741*2^1437243-1 is not prime. Res64: 2DFA96F57A507F88 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:55:16] 795*2^1437243-1 is not prime. Res64: 9021580B46A1DF71 Time : 0.0 sec. user=mdettweiler [2016-08-11 13:55:17] 819*2^1437243-1 is not prime. Res64: 075D1F2473077F9F Time : 0.0 sec. user=mdettweiler [2016-08-11 13:55:17] 605*2^1437244-1 is not prime. Res64: ED3CAD59E0A3D083 Time : 0.0 sec. user=mdettweiler [2016-08-11 14:20:14] 889*2^1437245-1 is not prime. Res64: F3C2BE9AD27D6FED Time : 0.0 sec. user=mdettweiler [2016-08-11 14:20:14] 981*2^1437245-1 is not prime. Res64: 6E3B8751CA8616ED Time : 0.0 sec. user=mdettweiler [2016-08-11 14:20:15] 635*2^1437246-1 is not prime. Res64: E65AAC84DFFA1D56 Time : 0.0 sec. user=mdettweiler [2016-08-11 14:20:15] 677*2^1437246-1 is not prime. Res64: E21782B47843D0B1 Time : 0.0 sec. user=mdettweiler [2016-08-11 14:20:16] 693*2^1437246-1 is not prime. Res64: 3F95EC26E4E7BBAB Time : 0.0 sec. user=mdettweiler [2016-08-11 14:32:56] 777*2^1437246-1 is not prime. Res64: 63F342978BB2C971 Time : 0.0 sec. user=mdettweiler [2016-08-11 14:32:56] 807*2^1437246-1 is not prime. Res64: C44A705CDF6C6A14 Time : 0.0 sec. user=mdettweiler [2016-08-11 14:32:57] 821*2^1437246-1 is not prime. Res64: 20922EA1D86C625E Time : 0.0 sec. user=mdettweiler [2016-08-11 14:32:57] 825*2^1437246-1 is not prime. Res64: 7D7DF98760D2C7DA Time : 0.0 sec. user=mdettweiler [2016-08-11 14:32:58] 833*2^1437246-1 is not prime. Res64: D54F716C1AAAFE9D Time : 0.0 sec. user=mdettweiler [2016-08-11 14:41:05] 615*2^1437244-1 is not prime. Res64: B967E660210FE51F Time : 0.0 sec. user=mdettweiler [2016-08-11 14:41:09] 623*2^1437244-1 is not prime. Res64: 324EE0A477C4856E Time : 0.0 sec. user=mdettweiler [2016-08-11 14:41:13] 819*2^1437244-1 is not prime. Res64: 7959304EBE0421BA Time : 0.0 sec. user=mdettweiler [2016-08-11 14:41:17] 855*2^1437244-1 is not prime. Res64: 469ECBDC9CEC4503 Time : 0.0 sec. user=mdettweiler [2016-08-11 14:41:21] 759*2^1437245-1 is not prime. Res64: 2B089A537CA95DE0 Time : 0.0 sec. user=mdettweiler [2016-08-11 14:52:27] 941*2^1437246-1 is not prime. Res64: DA95E8A39C4F59AC Time : 0.0 sec. user=mdettweiler [2016-08-11 14:52:27] 947*2^1437246-1 is not prime. Res64: 886ED2004F94A9A6 Time : 0.0 sec. user=mdettweiler [2016-08-11 14:52:28] 615*2^1437247-1 is not prime. Res64: 390E7F591141981E Time : 0.0 sec. user=mdettweiler [2016-08-11 14:52:28] 619*2^1437247-1 is not prime. Res64: 21C1A27A11087752 Time : 0.0 sec. user=mdettweiler [2016-08-11 14:52:28] 729*2^1437247-1 is not prime. Res64: CFFD51A6C0A45E26 Time : 0.0 sec. user=mdettweiler [2016-08-11 15:18:51] 819*2^1437247-1 is not prime. Res64: E59B6827861C6883 Time : 0.0 sec. user=mdettweiler [2016-08-11 15:18:54] 841*2^1437247-1 is not prime. Res64: 2D34658FE85B21DE Time : 0.0 sec. user=mdettweiler [2016-08-11 15:18:58] 843*2^1437247-1 is not prime. Res64: C702EEA1753F0D4A Time : 0.0 sec. user=mdettweiler [2016-08-11 15:19:00] 849*2^1437247-1 is not prime. Res64: C287606CDEE675B4 Time : 0.0 sec. user=mdettweiler [2016-08-11 15:19:03] 919*2^1437247-1 is not prime. Res64: E7D4BDC6C3B436DE Time : 0.0 sec. user=mdettweiler [2016-08-11 15:27:52] 615*2^1437248-1 is not prime. Res64: 9B4D27FA4AEE253E Time : 0.0 sec. user=mdettweiler [2016-08-11 15:27:52] 657*2^1437248-1 is not prime. Res64: BA5C7B4A20A54BAB Time : 0.0 sec. user=mdettweiler [2016-08-11 15:27:53] 725*2^1437248-1 is not prime. Res64: 2EF8FABE8EAA5CF1 Time : 0.0 sec. user=mdettweiler [2016-08-11 15:27:53] 789*2^1437248-1 is not prime. Res64: 68DA7647DCCE86DF Time : 0.0 sec. user=mdettweiler [2016-08-11 15:27:54] 827*2^1437248-1 is not prime. Res64: FDCEC0FFC2C906D3 Time : 0.0 sec. user=mdettweiler [2016-08-11 15:38:28] 867*2^1437248-1 is not prime. Res64: DB1DBAAD9C3AAFC4 Time : 0.0 sec. user=mdettweiler [2016-08-11 15:38:28] 609*2^1437249-1 is not prime. Res64: A906D66612192048 Time : 0.0 sec. user=mdettweiler [2016-08-11 15:38:28] 711*2^1437249-1 is not prime. Res64: DEB35784E3A27942 Time : 0.0 sec. user=mdettweiler [2016-08-11 15:38:29] 747*2^1437249-1 is not prime. Res64: C6191D735A6FF736 Time : 0.0 sec. user=mdettweiler [2016-08-11 15:38:29] 769*2^1437249-1 is not prime. Res64: 583E317E1D7C00C4 Time : 0.0 sec. user=mdettweiler [2016-08-11 16:14:02] 795*2^1437249-1 is not prime. Res64: 09148AC0D5835284 Time : 0.0 sec. user=mdettweiler [2016-08-11 16:14:07] 885*2^1437249-1 is not prime. Res64: 433B5DCBD42067E8 Time : 0.0 sec. user=mdettweiler [2016-08-11 16:14:12] 951*2^1437249-1 is not prime. Res64: 975838C307889398 Time : 0.0 sec. user=mdettweiler [2016-08-11 16:14:15] 979*2^1437249-1 is not prime. Res64: 7929B1C056E2E67D Time : 0.0 sec. user=mdettweiler [2016-08-11 16:14:19] 611*2^1437250-1 is not prime. Res64: 4BE67CC9D0F8FB6B Time : 0.0 sec. user=mdettweiler [2016-08-11 16:23:59] 687*2^1437250-1 is not prime. Res64: A145D07972B04FF1 Time : 0.0 sec. user=mdettweiler [2016-08-11 16:24:00] 731*2^1437250-1 is not prime. Res64: 61F04059FC1F642A Time : 0.0 sec. user=mdettweiler [2016-08-11 16:24:00] 735*2^1437250-1 is not prime. Res64: AAFCEACE93A8A9E5 Time : 0.0 sec. user=mdettweiler [2016-08-11 16:24:01] 743*2^1437250-1 is not prime. Res64: 6A0C2E220D018033 Time : 0.0 sec. user=mdettweiler [2016-08-11 16:24:01] 791*2^1437250-1 is not prime. Res64: 5281CC03BB771EE3 Time : 0.0 sec. user=mdettweiler [2016-08-11 16:34:42] 857*2^1437250-1 is not prime. Res64: 4FEE9AC3117A398D Time : 0.0 sec. user=mdettweiler [2016-08-11 16:34:42] 945*2^1437250-1 is not prime. Res64: 6163FBA73A3071D3 Time : 0.0 sec. user=mdettweiler [2016-08-11 16:34:42] 619*2^1437251-1 is not prime. Res64: CDFEA660279443C7 Time : 0.0 sec. user=mdettweiler [2016-08-11 16:34:42] 715*2^1437251-1 is not prime. Res64: 329822B00A05965F Time : 0.0 sec. user=mdettweiler [2016-08-11 16:34:43] 841*2^1437251-1 is not prime. Res64: 080C3A8E49A23CF9 Time : 0.0 sec. user=mdettweiler [2016-08-11 17:03:51] 885*2^1437251-1 is not prime. Res64: 985F974808C586CA Time : 0.0 sec. user=mdettweiler [2016-08-11 17:03:53] 931*2^1437251-1 is not prime. Res64: C15565D0004C78B5 Time : 0.0 sec. user=mdettweiler [2016-08-11 17:03:54] 669*2^1437252-1 is not prime. Res64: C1BAFDE70352685A Time : 0.0 sec. user=mdettweiler [2016-08-11 17:03:55] 857*2^1437252-1 is not prime. Res64: 2037793CC99EE95C Time : 0.0 sec. user=mdettweiler [2016-08-11 17:03:56] 909*2^1437252-1 is not prime. Res64: 66A2BA0BF47DDC0D Time : 0.0 sec. user=mdettweiler [2016-08-11 17:10:58] 609*2^1437253-1 is not prime. Res64: 2853D1F29076FC64 Time : 0.0 sec. user=mdettweiler [2016-08-11 17:21:11] 887*2^1437254-1 is not prime. Res64: 5725507C143DE181 Time : 0.0 sec. user=mdettweiler [2016-08-11 17:21:12] 981*2^1437254-1 is not prime. Res64: 6A4C5C1AAEC07180 Time : 0.0 sec. user=mdettweiler [2016-08-11 17:21:12] 679*2^1437255-1 is not prime. Res64: 4C4E353DB3A3F65A Time : 0.0 sec. user=mdettweiler [2016-08-11 17:21:12] 693*2^1437255-1 is not prime. Res64: AA7A1C7D2D83FBCB Time : 0.0 sec. user=mdettweiler [2016-08-11 17:21:13] 781*2^1437255-1 is not prime. Res64: 4A01F8241DF42E8D Time : 0.0 sec. user=mdettweiler [2016-08-11 17:52:28] 853*2^1437255-1 is not prime. Res64: A5081B9CB39AF4F7 Time : 0.0 sec. user=mdettweiler [2016-08-11 17:52:29] 891*2^1437255-1 is not prime. Res64: 63C18FAF67A3902E Time : 0.0 sec. user=mdettweiler [2016-08-11 17:52:29] 909*2^1437255-1 is not prime. Res64: 08545BD93A00CD62 Time : 0.0 sec. user=mdettweiler [2016-08-11 17:52:30] 955*2^1437255-1 is not prime. Res64: 3D0B2F7905871225 Time : 0.0 sec. user=mdettweiler [2016-08-11 17:52:30] 969*2^1437255-1 is not prime. Res64: A185C1975ACE59E2 Time : 0.0 sec. user=mdettweiler [2016-08-11 18:42:11] 847*2^1437257-1 is not prime. Res64: 1BD1A29EA18DD434 Time : 0.0 sec. user=mdettweiler [2016-08-11 18:42:14] 901*2^1437257-1 is not prime. Res64: C1BB6A7BEF58F350 Time : 0.0 sec. user=mdettweiler [2016-08-11 18:42:16] 909*2^1437257-1 is not prime. Res64: E5D51FB11F831A9A Time : 0.0 sec. user=mdettweiler [2016-08-11 18:42:18] 937*2^1437257-1 is not prime. Res64: 9943CC48D2EA4D46 Time : 0.0 sec. user=mdettweiler [2016-08-11 18:42:20] 967*2^1437257-1 is not prime. Res64: B943D452435A83F0 Time : 0.0 sec. user=juhehe [2016-08-11 18:43:58] 963*2^1437258-1 is not prime. Res64: 48D95CF02A591268 Time : 0.0 sec. user=mdettweiler [2016-08-11 18:52:50] 713*2^1437258-1 is not prime. Res64: 5984CCCF0ED2AACE Time : 0.0 sec. user=mdettweiler [2016-08-11 18:52:50] 765*2^1437258-1 is not prime. Res64: 1D465581BB034F2F Time : 0.0 sec. user=mdettweiler [2016-08-11 18:52:50] 791*2^1437258-1 is not prime. Res64: A18CF2996EE2ABF6 Time : 0.0 sec. user=mdettweiler [2016-08-11 18:52:51] 825*2^1437258-1 is not prime. Res64: 1B813889043CD3BF Time : 0.0 sec. user=mdettweiler [2016-08-11 18:52:51] 905*2^1437258-1 is not prime. Res64: 115C1319C144B035 Time : 0.0 sec. user=mdettweiler [2016-08-11 19:31:59] 633*2^1437259-1 is not prime. Res64: 7B1FA0DD70524DB1 Time : 0.0 sec. user=mdettweiler [2016-08-11 19:31:59] 649*2^1437259-1 is not prime. Res64: CE2C1C412671CBD5 Time : 0.0 sec. user=mdettweiler [2016-08-11 19:32:00] 913*2^1437259-1 is not prime. Res64: 55C0B7CACBCF3017 Time : 0.0 sec. user=mdettweiler [2016-08-11 19:32:00] 635*2^1437260-1 is not prime. Res64: 71AE137FAB751EDB Time : 0.0 sec. user=mdettweiler [2016-08-11 19:32:00] 647*2^1437260-1 is not prime. Res64: D1D8EAAC50A68D40 Time : 0.0 sec. user=mdettweiler [2016-08-11 19:42:28] 755*2^1437260-1 is not prime. Res64: 79AA93F23F21F325 Time : 0.0 sec. user=mdettweiler [2016-08-11 19:42:31] 797*2^1437260-1 is not prime. Res64: AA2EDFA129565128 Time : 0.0 sec. user=mdettweiler [2016-08-11 19:42:33] 899*2^1437260-1 is not prime. Res64: A710B9ACA088162C Time : 0.0 sec. user=mdettweiler [2016-08-11 19:42:35] 625*2^1437261-1 is not prime. Res64: 47A596FAFE2BBD02 Time : 0.0 sec. user=mdettweiler [2016-08-11 19:42:37] 627*2^1437261-1 is not prime. Res64: 032F3D8E640C23F0 Time : 0.0 sec. user=mdettweiler [2016-08-11 20:23:40] 657*2^1437261-1 is not prime. Res64: CF0DCBE3E2AA6AD9 Time : 0.0 sec. user=mdettweiler [2016-08-11 20:23:41] 861*2^1437261-1 is not prime. Res64: 8F470A3400323D51 Time : 0.0 sec. user=mdettweiler [2016-08-11 20:23:41] 979*2^1437261-1 is not prime. Res64: 3756FA58A8128043 Time : 0.0 sec. user=mdettweiler [2016-08-11 20:23:41] 987*2^1437261-1 is not prime. Res64: BD379C7F89A3A2BD Time : 0.0 sec. user=mdettweiler [2016-08-11 20:23:42] 603*2^1437262-1 is not prime. Res64: 281AA89057B887B6 Time : 0.0 sec. user=mdettweiler [2016-08-11 20:36:20] 635*2^1437262-1 is not prime. Res64: 58BFF0F4D5621841 Time : 0.0 sec. user=mdettweiler [2016-08-11 20:36:20] 647*2^1437262-1 is not prime. Res64: DD91EDA5475DAA4E Time : 0.0 sec. user=mdettweiler [2016-08-11 20:36:21] 651*2^1437262-1 is not prime. Res64: 045F2A7EA28462D4 Time : 0.0 sec. user=mdettweiler [2016-08-11 20:36:21] 665*2^1437262-1 is not prime. Res64: E1A4923A124243E7 Time : 0.0 sec. user=mdettweiler [2016-08-11 20:36:21] 965*2^1437262-1 is not prime. Res64: 18716BC277BEAAE6 Time : 0.0 sec. user=mdettweiler [2016-08-11 20:47:44] 691*2^1437253-1 is not prime. Res64: 2B9D8B9B722226A6 Time : 0.0 sec. user=mdettweiler [2016-08-11 20:47:46] 805*2^1437253-1 is not prime. Res64: 1B78ED72B6A30202 Time : 0.0 sec. user=mdettweiler [2016-08-11 20:47:48] 895*2^1437253-1 is not prime. Res64: 00A0F76EC74F07B7 Time : 0.0 sec. user=mdettweiler [2016-08-11 20:47:50] 999*2^1437253-1 is not prime. Res64: 0307AFDC76EA3B0B Time : 0.0 sec. user=mdettweiler [2016-08-11 21:11:44] 643*2^1437263-1 is not prime. Res64: BB0F849685B03284 Time : 0.0 sec. user=mdettweiler [2016-08-11 21:23:41] 915*2^1437263-1 is not prime. Res64: 11DBCB7B5BDA3276 Time : 0.0 sec. user=mdettweiler [2016-08-11 21:23:41] 999*2^1437263-1 is not prime. Res64: DD010781AB8C4A91 Time : 0.0 sec. user=mdettweiler [2016-08-11 21:23:41] 605*2^1437264-1 is not prime. Res64: 863738622C7586AF Time : 0.0 sec. user=mdettweiler [2016-08-11 21:23:42] 663*2^1437264-1 is not prime. Res64: C9C21B47B4D1C02C Time : 0.0 sec. user=mdettweiler [2016-08-11 21:23:42] 665*2^1437264-1 is not prime. Res64: 05CC8A6EC80BCE85 Time : 0.0 sec. user=mdettweiler [2016-08-11 21:34:50] 935*2^1437264-1 is not prime. Res64: 8ED2DC5117510D8E Time : 0.0 sec. user=mdettweiler [2016-08-11 21:34:50] 945*2^1437264-1 is not prime. Res64: CF267750C853B1A1 Time : 0.0 sec. user=mdettweiler [2016-08-11 21:34:51] 947*2^1437264-1 is not prime. Res64: A71F60D3338E96F0 Time : 0.0 sec. user=mdettweiler [2016-08-11 21:34:51] 667*2^1437265-1 is not prime. Res64: 2432BDE54E789628 Time : 0.0 sec. user=mdettweiler [2016-08-11 21:34:51] 729*2^1437265-1 is not prime. Res64: 396BD236927FA0B3 Time : 0.0 sec. user=mdettweiler [2016-08-11 21:44:09] 743*2^1437256-1 is not prime. Res64: 35F72CF90693CA8C Time : 0.0 sec. user=mdettweiler [2016-08-11 21:44:12] 765*2^1437256-1 is not prime. Res64: D38C93D635937953 Time : 0.0 sec. user=mdettweiler [2016-08-11 21:44:14] 777*2^1437256-1 is not prime. Res64: 8F37DEA980A37F3F Time : 0.0 sec. user=mdettweiler [2016-08-11 21:44:16] 869*2^1437256-1 is not prime. Res64: 75DA9C31E8E11A0F Time : 0.0 sec. user=mdettweiler [2016-08-11 21:44:18] 975*2^1437256-1 is not prime. Res64: EAF3FE53E64FD012 Time : 0.0 sec. user=mdettweiler [2016-08-11 22:10:48] 765*2^1437265-1 is not prime. Res64: 546DB09FA7A8C2DE Time : 0.0 sec. user=mdettweiler [2016-08-11 22:10:51] 771*2^1437265-1 is not prime. Res64: 65FD705FD9B67085 Time : 0.0 sec. user=mdettweiler [2016-08-11 22:10:55] 861*2^1437265-1 is not prime. Res64: 73442D1CCCF7E99B Time : 0.0 sec. user=mdettweiler [2016-08-11 22:10:58] 975*2^1437265-1 is not prime. Res64: 1DFCE6469F54609C Time : 0.0 sec. user=mdettweiler [2016-08-11 22:11:02] 615*2^1437266-1 is not prime. Res64: 1BB326CDF07A6AE4 Time : 0.0 sec. user=mdettweiler [2016-08-11 22:21:40] 633*2^1437266-1 is not prime. Res64: 3B564571DE335D07 Time : 0.0 sec. user=mdettweiler [2016-08-11 22:21:40] 645*2^1437266-1 is not prime. Res64: 566DD03B99948FD6 Time : 0.0 sec. user=mdettweiler [2016-08-11 22:21:40] 701*2^1437266-1 is not prime. Res64: 7B66FE553C9B6A01 Time : 0.0 sec. user=mdettweiler [2016-08-11 22:21:41] 755*2^1437266-1 is not prime. Res64: 54CEA1DDC5A7B5BC Time : 0.0 sec. user=mdettweiler [2016-08-11 22:21:41] 801*2^1437266-1 is not prime. Res64: A959BAD5AE52E5FD Time : 0.0 sec. user=mdettweiler [2016-08-11 22:30:14] 857*2^1437266-1 is not prime. Res64: E93CCA0A038AB3EA Time : 0.0 sec. user=mdettweiler [2016-08-11 22:30:14] 921*2^1437266-1 is not prime. Res64: F77694FBDCE62D75 Time : 0.0 sec. user=mdettweiler [2016-08-11 22:30:15] 935*2^1437266-1 is not prime. Res64: 959339A44B99F4E7 Time : 0.0 sec. user=mdettweiler [2016-08-11 22:30:15] 1001*2^1437266-1 is not prime. Res64: ADDDC917FBD50C78 Time : 0.0 sec. user=mdettweiler [2016-08-11 22:30:16] 625*2^1437267-1 is not prime. Res64: E872097B3F528F15 Time : 0.0 sec. user=mdettweiler [2016-08-11 22:57:16] 685*2^1437267-1 is not prime. Res64: C669DA6D10BBB161 Time : 0.0 sec. user=mdettweiler [2016-08-11 22:57:17] 711*2^1437267-1 is not prime. Res64: F31A9824EF825DEE Time : 0.0 sec. user=mdettweiler [2016-08-11 22:57:17] 741*2^1437267-1 is not prime. Res64: AD76DC178D363651 Time : 0.0 sec. user=mdettweiler [2016-08-11 22:57:17] 765*2^1437267-1 is not prime. Res64: A94859DF293BBE5B Time : 0.0 sec. user=mdettweiler [2016-08-11 22:57:18] 849*2^1437267-1 is not prime. Res64: B5B328EAE15B77FB Time : 0.0 sec. user=mdettweiler [2016-08-11 23:07:26] 909*2^1437267-1 is not prime. Res64: 190FAA322E14D7CF Time : 0.0 sec. user=mdettweiler [2016-08-11 23:07:28] 723*2^1437268-1 is not prime. Res64: 3AEFE668A35C44B1 Time : 0.0 sec. user=mdettweiler [2016-08-11 23:07:29] 749*2^1437268-1 is not prime. Res64: BC87000EDB85F74D Time : 0.0 sec. user=mdettweiler [2016-08-11 23:07:30] 885*2^1437268-1 is not prime. Res64: 90E3304BEB9A5061 Time : 0.0 sec. user=mdettweiler [2016-08-11 23:07:32] 933*2^1437268-1 is not prime. Res64: 2524C8FA45C32272 Time : 0.0 sec. user=mdettweiler [2016-08-11 23:16:06] 953*2^1437268-1 is not prime. Res64: 4EADA44E51E046A1 Time : 0.0 sec. user=mdettweiler [2016-08-11 23:16:09] 989*2^1437268-1 is not prime. Res64: 4256692DA985080E Time : 0.0 sec. user=mdettweiler [2016-08-11 23:16:26] 615*2^1437269-1 is not prime. Res64: D960295C22C741C8 Time : 0.0 sec. user=mdettweiler [2016-08-11 23:45:12] 927*2^1437269-1 is not prime. Res64: E5EDCAFAE11B3139 Time : 0.0 sec. user=mdettweiler [2016-08-11 23:45:16] 777*2^1437270-1 is not prime. Res64: 2B19E5FF4D2AA829 Time : 0.0 sec. user=mdettweiler [2016-08-11 23:45:20] 801*2^1437270-1 is not prime. Res64: 0B74E040539C9C65 Time : 0.0 sec. user=mdettweiler [2016-08-11 23:45:24] 833*2^1437270-1 is not prime. Res64: 672E5D609EBFE868 Time : 0.0 sec. user=mdettweiler [2016-08-11 23:45:28] 845*2^1437270-1 is not prime. Res64: 8BEE4816C59B5E3F Time : 0.0 sec. user=mdettweiler [2016-08-11 23:56:20] 917*2^1437270-1 is not prime. Res64: 526AA1CAD8C2DFB5 Time : 0.0 sec. user=mdettweiler [2016-08-11 23:56:20] 951*2^1437270-1 is not prime. Res64: 0861D17DC9D4E3C3 Time : 0.0 sec. user=mdettweiler [2016-08-11 23:56:21] 963*2^1437270-1 is not prime. Res64: F9DF21C48EBDA73F Time : 0.0 sec. user=mdettweiler [2016-08-11 23:56:21] 977*2^1437270-1 is not prime. Res64: 967AAC3CBF3DC0E8 Time : 0.0 sec. user=mdettweiler [2016-08-11 23:56:22] 615*2^1437271-1 is not prime. Res64: E28A02CD5147CC88 Time : 0.0 sec.