user=mdettweiler [2016-09-24 00:09:38] 893*2^1440596-1 is not prime. Res64: 44018ED5042D571E Time : 0.0 sec. user=mdettweiler [2016-09-24 00:09:40] 957*2^1440596-1 is not prime. Res64: F2B612FAE8E4A938 Time : 0.0 sec. user=mdettweiler [2016-09-24 00:09:42] 667*2^1440597-1 is not prime. Res64: 5B53B937731DE99B Time : 0.0 sec. user=mdettweiler [2016-09-24 00:09:43] 793*2^1440595-1 is not prime. Res64: 5F78E298E5EB33DA Time : 0.0 sec. user=mdettweiler [2016-09-24 00:09:44] 919*2^1440595-1 is not prime. Res64: 5A9DE80B54EDA873 Time : 0.0 sec. user=mdettweiler [2016-09-24 00:09:45] 691*2^1440597-1 is not prime. Res64: 46E7B1C775EBDFE1 Time : 0.0 sec. user=mdettweiler [2016-09-24 00:09:46] 609*2^1440596-1 is not prime. Res64: 9B9726C52D08D13C Time : 0.0 sec. user=mdettweiler [2016-09-24 00:09:47] 699*2^1440597-1 is not prime. Res64: 06AC3F4DA721B888 Time : 0.0 sec. user=mdettweiler [2016-09-24 00:09:48] 615*2^1440596-1 is not prime. Res64: C78BE301AB21E645 Time : 0.0 sec. user=mdettweiler [2016-09-24 00:09:49] 827*2^1440596-1 is not prime. Res64: 2FA96D4EB401BDE9 Time : 0.0 sec. user=mdettweiler [2016-09-24 00:30:17] 711*2^1440597-1 is not prime. Res64: 968D66E1EEE60191 Time : 0.0 sec. user=mdettweiler [2016-09-24 00:30:18] 889*2^1440597-1 is not prime. Res64: 644C55FF4F192B6E Time : 0.0 sec. user=mdettweiler [2016-09-24 00:30:18] 901*2^1440597-1 is not prime. Res64: 62189CE240893C73 Time : 0.0 sec. user=mdettweiler [2016-09-24 00:30:18] 955*2^1440597-1 is not prime. Res64: 0DE1C575D21C76C8 Time : 0.0 sec. user=mdettweiler [2016-09-24 00:30:18] 991*2^1440597-1 is not prime. Res64: BD287B1AADCC44F1 Time : 0.0 sec. user=mdettweiler [2016-09-24 00:40:00] 623*2^1440598-1 is not prime. Res64: 70274B23BEFEE96C Time : 0.0 sec. user=mdettweiler [2016-09-24 00:40:00] 647*2^1440598-1 is not prime. Res64: B3B6766C8EEF55B6 Time : 0.0 sec. user=mdettweiler [2016-09-24 00:40:01] 657*2^1440598-1 is not prime. Res64: 34D1EF0CDD57FA02 Time : 0.0 sec. user=mdettweiler [2016-09-24 00:40:01] 743*2^1440598-1 is not prime. Res64: FBE02766D4B173A6 Time : 0.0 sec. user=mdettweiler [2016-09-24 00:40:01] 815*2^1440598-1 is not prime. Res64: 5DA6252FA1EFFDEB Time : 0.0 sec. user=mdettweiler [2016-09-24 00:58:06] 753*2^1440599-1 is not prime. Res64: 7B9671D163883CF3 Time : 0.0 sec. user=mdettweiler [2016-09-24 00:58:06] 885*2^1440599-1 is not prime. Res64: 6013CB4BDF5F097D Time : 0.0 sec. user=mdettweiler [2016-09-24 00:58:06] 909*2^1440599-1 is not prime. Res64: EFFF2D0962F106B2 Time : 0.0 sec. user=mdettweiler [2016-09-24 00:58:07] 913*2^1440599-1 is not prime. Res64: EA7104F52311C6D5 Time : 0.0 sec. user=mdettweiler [2016-09-24 00:58:07] 949*2^1440599-1 is not prime. Res64: 2D53737899E15F52 Time : 0.0 sec. user=mdettweiler [2016-09-24 00:58:15] 825*2^1440598-1 is not prime. Res64: A20464DF4543E992 Time : 0.0 sec. user=mdettweiler [2016-09-24 00:58:15] 827*2^1440598-1 is not prime. Res64: 8DDAC43A68B9A9BC Time : 0.0 sec. user=mdettweiler [2016-09-24 00:58:15] 885*2^1440598-1 is not prime. Res64: 1C79C95B2913F6E4 Time : 0.0 sec. user=mdettweiler [2016-09-24 00:58:16] 891*2^1440598-1 is not prime. Res64: 0344506D5D783330 Time : 0.0 sec. user=mdettweiler [2016-09-24 00:58:16] 1001*2^1440598-1 is not prime. Res64: C3ECC5B9C9D73EF2 Time : 0.0 sec. user=mdettweiler [2016-09-24 01:17:52] 979*2^1440599-1 is not prime. Res64: 44C8087437C651B8 Time : 0.0 sec. user=mdettweiler [2016-09-24 01:17:53] 985*2^1440599-1 is not prime. Res64: B1713F0C887D955B Time : 0.0 sec. user=mdettweiler [2016-09-24 01:17:53] 609*2^1440600-1 is not prime. Res64: 8B72C824978ABE24 Time : 0.0 sec. user=mdettweiler [2016-09-24 01:17:53] 669*2^1440600-1 is not prime. Res64: 02E2AA7DFDEFA03F Time : 0.0 sec. user=mdettweiler [2016-09-24 01:17:54] 735*2^1440600-1 is not prime. Res64: 5879DA5EE0BD9527 Time : 0.0 sec. user=mdettweiler [2016-09-24 01:28:14] 795*2^1440600-1 is not prime. Res64: 16B5597995E091B0 Time : 0.0 sec. user=mdettweiler [2016-09-24 01:28:15] 879*2^1440600-1 is not prime. Res64: 98E993A654360CA0 Time : 0.0 sec. user=mdettweiler [2016-09-24 01:28:16] 639*2^1440601-1 is not prime. Res64: 630950D7ED2855AB Time : 0.0 sec. user=mdettweiler [2016-09-24 01:28:16] 645*2^1440601-1 is not prime. Res64: B890E5B8D6D1590C Time : 0.0 sec. user=mdettweiler [2016-09-24 01:28:17] 867*2^1440601-1 is not prime. Res64: 0DD3C0289F2C5586 Time : 0.0 sec. user=mdettweiler [2016-09-24 01:45:32] 603*2^1440602-1 is not prime. Res64: E29FD45B86C3BE61 Time : 0.0 sec. user=mdettweiler [2016-09-24 01:45:32] 651*2^1440602-1 is not prime. Res64: A852C00756B2ACCC Time : 0.0 sec. user=mdettweiler [2016-09-24 01:45:33] 935*2^1440602-1 is not prime. Res64: 44C0D204A9A5AA36 Time : 0.0 sec. user=mdettweiler [2016-09-24 01:45:33] 945*2^1440602-1 is not prime. Res64: 7DF4AB7F82B53A63 Time : 0.0 sec. user=mdettweiler [2016-09-24 01:45:33] 953*2^1440602-1 is not prime. Res64: 3E9C236A0CB6F8EF Time : 0.0 sec. user=mdettweiler [2016-09-24 01:46:11] 963*2^1440602-1 is not prime. Res64: 599DDDAEBB904F13 Time : 0.0 sec. user=mdettweiler [2016-09-24 01:46:11] 619*2^1440603-1 is not prime. Res64: 54CAA63775FEBD8B Time : 0.0 sec. user=mdettweiler [2016-09-24 01:46:12] 675*2^1440603-1 is not prime. Res64: 02B2307498DE9E6A Time : 0.0 sec. user=mdettweiler [2016-09-24 01:46:12] 781*2^1440603-1 is not prime. Res64: 32BBD61376FE8738 Time : 0.0 sec. user=mdettweiler [2016-09-24 01:46:12] 639*2^1440604-1 is not prime. Res64: 01B10619C1E83D90 Time : 0.0 sec. user=mdettweiler [2016-09-24 02:04:01] 773*2^1440604-1 is not prime. Res64: 3C9A53F46358E79E Time : 0.0 sec. user=mdettweiler [2016-09-24 02:04:03] 915*2^1440604-1 is not prime. Res64: 5CE1813C3DE356E8 Time : 0.0 sec. user=mdettweiler [2016-09-24 02:04:05] 929*2^1440604-1 is not prime. Res64: 30A65675BDDE4295 Time : 0.0 sec. user=mdettweiler [2016-09-24 02:04:06] 969*2^1440604-1 is not prime. Res64: EC45FD687E3555AC Time : 0.0 sec. user=mdettweiler [2016-09-24 02:04:08] 601*2^1440605-1 is not prime. Res64: 744BC5FABB372FF2 Time : 0.0 sec. user=mdettweiler [2016-09-24 02:14:06] 685*2^1440605-1 is not prime. Res64: 5212D25A16D728D3 Time : 0.0 sec. user=mdettweiler [2016-09-24 02:14:07] 691*2^1440605-1 is not prime. Res64: AAD189B172F55C74 Time : 0.0 sec. user=mdettweiler [2016-09-24 02:14:07] 925*2^1440605-1 is not prime. Res64: 8F62BA011CBF4AD8 Time : 0.0 sec. user=mdettweiler [2016-09-24 02:14:08] 927*2^1440605-1 is not prime. Res64: 8622AAAF59A1B144 Time : 0.0 sec. user=mdettweiler [2016-09-24 02:14:08] 937*2^1440605-1 is not prime. Res64: A0BBCCCE73721714 Time : 0.0 sec. user=mdettweiler [2016-09-24 02:31:34] 725*2^1440606-1 is not prime. Res64: 6ECB80889B60654F Time : 0.0 sec. user=mdettweiler [2016-09-24 02:31:35] 807*2^1440606-1 is not prime. Res64: C555F6A62BD1B43E Time : 0.0 sec. user=mdettweiler [2016-09-24 02:31:35] 825*2^1440606-1 is not prime. Res64: 842C2A05BC3D2FD6 Time : 0.0 sec. user=mdettweiler [2016-09-24 02:31:36] 947*2^1440606-1 is not prime. Res64: 62664E77C42B0453 Time : 0.0 sec. user=mdettweiler [2016-09-24 02:31:36] 971*2^1440606-1 is not prime. Res64: 49731A3687D93633 Time : 0.0 sec. user=mdettweiler [2016-09-24 02:31:59] 645*2^1440607-1 is not prime. Res64: 3DE64E82D5E07512 Time : 0.0 sec. user=mdettweiler [2016-09-24 02:32:00] 649*2^1440607-1 is not prime. Res64: 5E504642D171B835 Time : 0.0 sec. user=mdettweiler [2016-09-24 02:32:01] 703*2^1440607-1 is not prime. Res64: 3258F42806421316 Time : 0.0 sec. user=mdettweiler [2016-09-24 02:32:02] 741*2^1440607-1 is not prime. Res64: EF450CEE1946D91F Time : 0.0 sec. user=mdettweiler [2016-09-24 02:32:03] 775*2^1440607-1 is not prime. Res64: A4FADBD0E904739F Time : 0.0 sec. user=mdettweiler [2016-09-24 02:50:16] 961*2^1440607-1 is not prime. Res64: 96180E5551BFE427 Time : 0.0 sec. user=mdettweiler [2016-09-24 02:50:16] 635*2^1440608-1 is not prime. Res64: 456E48819934DB8C Time : 0.0 sec. user=mdettweiler [2016-09-24 02:50:17] 767*2^1440608-1 is not prime. Res64: 44AE4775D004F2FF Time : 0.0 sec. user=mdettweiler [2016-09-24 02:50:17] 839*2^1440608-1 is not prime. Res64: 7A02B1090D4B7D9E Time : 0.0 sec. user=mdettweiler [2016-09-24 02:50:17] 855*2^1440608-1 is not prime. Res64: 3333DBD91DF4A5B0 Time : 0.0 sec. user=mdettweiler [2016-09-24 03:00:06] 945*2^1440608-1 is not prime. Res64: ED8170797B84831E Time : 0.0 sec. user=mdettweiler [2016-09-24 03:00:06] 705*2^1440609-1 is not prime. Res64: 6194CD66D6E84DD3 Time : 0.0 sec. user=mdettweiler [2016-09-24 03:00:06] 741*2^1440609-1 is not prime. Res64: 378D0082D3AA8404 Time : 0.0 sec. user=mdettweiler [2016-09-24 03:00:07] 847*2^1440609-1 is not prime. Res64: 7B0F1F41DA5210E2 Time : 0.0 sec. user=mdettweiler [2016-09-24 03:00:07] 885*2^1440609-1 is not prime. Res64: F95E52CE13F05256 Time : 0.0 sec. user=mdettweiler [2016-09-24 03:16:44] 889*2^1440609-1 is not prime. Res64: 61653F7D1CE89ED0 Time : 0.0 sec. user=mdettweiler [2016-09-24 03:16:44] 635*2^1440610-1 is not prime. Res64: 4C6E8117E0F686A8 Time : 0.0 sec. user=mdettweiler [2016-09-24 03:16:45] 843*2^1440610-1 is not prime. Res64: E8DF632F28163ACC Time : 0.0 sec. user=mdettweiler [2016-09-24 03:16:45] 957*2^1440610-1 is not prime. Res64: BECF5EDF348F9191 Time : 0.0 sec. user=mdettweiler [2016-09-24 03:16:45] 981*2^1440610-1 is not prime. Res64: D7882D7E28BB67AF Time : 0.0 sec. user=mdettweiler [2016-09-24 03:17:05] 619*2^1440611-1 is not prime. Res64: 5196280F3937C65B Time : 0.0 sec. user=mdettweiler [2016-09-24 03:17:06] 621*2^1440611-1 is not prime. Res64: 90CFBAED2F7336B3 Time : 0.0 sec. user=mdettweiler [2016-09-24 03:17:06] 649*2^1440611-1 is not prime. Res64: DE04C72DA4DEE320 Time : 0.0 sec. user=mdettweiler [2016-09-24 03:17:07] 669*2^1440611-1 is not prime. Res64: 6104A2892E5B81FD Time : 0.0 sec. user=mdettweiler [2016-09-24 03:17:07] 909*2^1440611-1 is not prime. Res64: B77A25104A63D37C Time : 0.0 sec. user=mdettweiler [2016-09-24 03:35:28] 973*2^1440611-1 is not prime. Res64: 24F8B102602E9773 Time : 0.0 sec. user=mdettweiler [2016-09-24 03:35:29] 627*2^1440612-1 is not prime. Res64: C0E86179A432C22D Time : 0.0 sec. user=mdettweiler [2016-09-24 03:35:30] 657*2^1440612-1 is not prime. Res64: 9F09826E7831A14A Time : 0.0 sec. user=mdettweiler [2016-09-24 03:35:31] 689*2^1440612-1 is not prime. Res64: B5DB43E05684F2A5 Time : 0.0 sec. user=mdettweiler [2016-09-24 03:35:32] 717*2^1440612-1 is not prime. Res64: 894AEA0DBF702458 Time : 0.0 sec. user=mdettweiler [2016-09-24 03:45:05] 759*2^1440612-1 is not prime. Res64: F08497BAE813774E Time : 0.0 sec. user=mdettweiler [2016-09-24 03:45:11] 825*2^1440612-1 is not prime. Res64: F73952EB95DDFCC4 Time : 0.0 sec. user=mdettweiler [2016-09-24 03:45:12] 867*2^1440612-1 is not prime. Res64: 000F986DDCC24C91 Time : 0.0 sec. user=mdettweiler [2016-09-24 03:45:15] 915*2^1440612-1 is not prime. Res64: ED51DF4FAE01CF8E Time : 0.0 sec. user=mdettweiler [2016-09-24 03:45:17] 923*2^1440612-1 is not prime. Res64: 642F0C6FFD9F5D29 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:01:51] 945*2^1440612-1 is not prime. Res64: A7F979AA25C388E4 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:01:53] 975*2^1440612-1 is not prime. Res64: 355B23EAC1471A80 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:01:54] 681*2^1440613-1 is not prime. Res64: 0D292CBEDB753DB3 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:01:55] 727*2^1440613-1 is not prime. Res64: CC36A45ACAD919B1 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:01:55] 765*2^1440613-1 is not prime. Res64: 7CAE7CEB5DBCB874 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:02:07] 849*2^1440613-1 is not prime. Res64: 46A25E3A390109C9 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:02:08] 861*2^1440613-1 is not prime. Res64: CC3D56A7E0371BB0 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:02:08] 961*2^1440613-1 is not prime. Res64: 9B98E9D729EBC66B Time : 0.0 sec. user=mdettweiler [2016-09-24 04:02:09] 641*2^1440614-1 is not prime. Res64: 29C7A43258D03B49 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:02:10] 675*2^1440614-1 is not prime. Res64: BCC53E5BF2F82382 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:21:27] 693*2^1440614-1 is not prime. Res64: 1DBC48886EACF76B Time : 0.0 sec. user=mdettweiler [2016-09-24 04:21:28] 711*2^1440614-1 is not prime. Res64: FC5F5D3E51613F77 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:21:28] 743*2^1440614-1 is not prime. Res64: B55EEFCDC468A379 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:21:29] 825*2^1440614-1 is not prime. Res64: D89699FEE138C867 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:21:29] 873*2^1440614-1 is not prime. Res64: 59108AC91E1D5FC6 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:31:00] 1001*2^1440614-1 is not prime. Res64: 19EDA5C66A67640D Time : 0.0 sec. user=mdettweiler [2016-09-24 04:31:01] 633*2^1440615-1 is not prime. Res64: EA3BBD2411D2E77A Time : 0.0 sec. user=mdettweiler [2016-09-24 04:31:01] 735*2^1440615-1 is not prime. Res64: B12DFCB9F67D9D10 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:31:01] 795*2^1440615-1 is not prime. Res64: 415A996BAD6A05DB Time : 0.0 sec. user=mdettweiler [2016-09-24 04:31:02] 961*2^1440615-1 is not prime. Res64: EF3C0B303FABEBD5 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:47:24] 969*2^1440615-1 is not prime. Res64: 229D83A9EA22FA96 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:47:25] 973*2^1440615-1 is not prime. Res64: 810DD362B54699C2 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:47:25] 979*2^1440615-1 is not prime. Res64: DA8A4F3898AFBD48 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:47:25] 629*2^1440616-1 is not prime. Res64: 2ED5F73F992D4981 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:47:26] 677*2^1440616-1 is not prime. Res64: C6BCE0C8F44216EC Time : 0.0 sec. user=mdettweiler [2016-09-24 04:47:57] 989*2^1440616-1 is not prime. Res64: 78003A8402C883E0 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:47:57] 619*2^1440617-1 is not prime. Res64: 95AE6A24A39848F0 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:47:57] 631*2^1440617-1 is not prime. Res64: F0E8DE14ADD0FA00 Time : 0.0 sec. user=mdettweiler [2016-09-24 04:47:58] 697*2^1440617-1 is not prime. Res64: DE47C4F314C0BBBF Time : 0.0 sec. user=mdettweiler [2016-09-24 04:47:58] 729*2^1440617-1 is not prime. Res64: D43C6B046BA1A9FB Time : 0.0 sec. user=mdettweiler [2016-09-24 05:06:31] 841*2^1440617-1 is not prime. Res64: EA5B353F9CAB98F8 Time : 0.0 sec. user=mdettweiler [2016-09-24 05:06:34] 861*2^1440617-1 is not prime. Res64: 9E47FD29465A4CD3 Time : 0.0 sec. user=mdettweiler [2016-09-24 05:06:35] 865*2^1440617-1 is not prime. Res64: 3F4E81B3BB0613C2 Time : 0.0 sec. user=mdettweiler [2016-09-24 05:06:36] 925*2^1440617-1 is not prime. Res64: 0B36B85E428CCC65 Time : 0.0 sec. user=mdettweiler [2016-09-24 05:06:38] 605*2^1440618-1 is not prime. Res64: 3F68C7697D46E0AC Time : 0.0 sec. user=mdettweiler [2016-09-24 05:15:55] 681*2^1440618-1 is not prime. Res64: 787B9F25FBA5CA70 Time : 0.0 sec. user=mdettweiler [2016-09-24 05:15:55] 713*2^1440618-1 is not prime. Res64: 0F8ADBE059B27B3E Time : 0.0 sec. user=mdettweiler [2016-09-24 05:15:56] 797*2^1440618-1 is not prime. Res64: BA8E7615D47FC529 Time : 0.0 sec. user=mdettweiler [2016-09-24 05:15:56] 861*2^1440618-1 is not prime. Res64: 2EA7CED215D455D1 Time : 0.0 sec. user=mdettweiler [2016-09-24 05:15:56] 927*2^1440618-1 is not prime. Res64: 6910B61E0A7CCE75 Time : 0.0 sec. user=mdettweiler [2016-09-24 05:32:44] 709*2^1440619-1 is not prime. Res64: 2A3B39FD72081654 Time : 0.0 sec. user=mdettweiler [2016-09-24 05:32:45] 741*2^1440619-1 is not prime. Res64: B50BD21E3343F1D1 Time : 0.0 sec. user=mdettweiler [2016-09-24 05:32:45] 853*2^1440619-1 is not prime. Res64: FE019BD24F3E124E Time : 0.0 sec. user=mdettweiler [2016-09-24 05:32:45] 883*2^1440619-1 is not prime. Res64: BA40AE058EF2A374 Time : 0.0 sec. user=mdettweiler [2016-09-24 05:32:46] 885*2^1440619-1 is not prime. Res64: 5323DFA7DB0DBDBA Time : 0.0 sec. user=mdettweiler [2016-09-24 05:32:56] 939*2^1440619-1 is not prime. Res64: C5EA23481A907C87 Time : 0.0 sec. user=mdettweiler [2016-09-24 05:32:56] 943*2^1440619-1 is not prime. Res64: 082BED923A9D30D7 Time : 0.0 sec. user=mdettweiler [2016-09-24 05:32:57] 725*2^1440620-1 is not prime. Res64: 1E53A049BD3542A0 Time : 0.0 sec. user=mdettweiler [2016-09-24 05:32:57] 819*2^1440620-1 is not prime. Res64: 8124449E9E35EBC3 Time : 0.0 sec. user=mdettweiler [2016-09-24 05:32:58] 839*2^1440620-1 is not prime. Res64: 5EF61341C2945956 Time : 0.0 sec. user=mdettweiler [2016-09-24 05:52:02] 843*2^1440620-1 is not prime. Res64: 804FBFFC6F66F6AB Time : 0.0 sec. user=mdettweiler [2016-09-24 05:52:02] 649*2^1440621-1 is not prime. Res64: 2C0344EB28408BCE Time : 0.0 sec. user=mdettweiler [2016-09-24 05:52:02] 657*2^1440621-1 is not prime. Res64: B615E0DBA9A26F0E Time : 0.0 sec. user=mdettweiler [2016-09-24 05:52:03] 717*2^1440621-1 is not prime. Res64: 49636B07E98B9880 Time : 0.0 sec. user=mdettweiler [2016-09-24 05:52:03] 741*2^1440621-1 is not prime. Res64: 61C95A98635BA5BE Time : 0.0 sec. user=mdettweiler [2016-09-24 06:01:00] 747*2^1440621-1 is not prime. Res64: 1A803F9A852D4F43 Time : 0.0 sec. user=mdettweiler [2016-09-24 06:01:01] 751*2^1440621-1 is not prime. Res64: BF98A0255BF46177 Time : 0.0 sec. user=mdettweiler [2016-09-24 06:01:02] 829*2^1440621-1 is not prime. Res64: 6C8010F38F890E39 Time : 0.0 sec. user=mdettweiler [2016-09-24 06:01:02] 867*2^1440621-1 is not prime. Res64: 40A4425A535AF6AE Time : 0.0 sec. user=mdettweiler [2016-09-24 06:01:03] 901*2^1440621-1 is not prime. Res64: C1784718128CAA83 Time : 0.0 sec. user=mdettweiler [2016-09-24 06:17:49] 673*2^1440623-1 is not prime. Res64: 03BBAFEDFBC75698 Time : 0.0 sec. user=mdettweiler [2016-09-24 06:17:49] 729*2^1440623-1 is not prime. Res64: 07C607321AC03F13 Time : 0.0 sec. user=mdettweiler [2016-09-24 06:17:50] 741*2^1440623-1 is not prime. Res64: 8CF64EF5B985DBED Time : 0.0 sec. user=mdettweiler [2016-09-24 06:17:50] 943*2^1440623-1 is not prime. Res64: 7D7F6C5663C6E180 Time : 0.0 sec. user=mdettweiler [2016-09-24 06:17:51] 969*2^1440623-1 is not prime. Res64: 4DB98FAA02553BDE Time : 0.0 sec. user=mdettweiler [2016-09-24 06:17:54] 611*2^1440622-1 is not prime. Res64: 9E5807F7DE35979A Time : 0.0 sec. user=mdettweiler [2016-09-24 06:17:54] 747*2^1440622-1 is not prime. Res64: 9940D2A63D3643BB Time : 0.0 sec. user=mdettweiler [2016-09-24 06:17:55] 917*2^1440622-1 is not prime. Res64: E0277E6DE8C6A7F7 Time : 0.0 sec. user=mdettweiler [2016-09-24 06:17:55] 941*2^1440622-1 is not prime. Res64: 6E9CBFAFB0ED74EB Time : 0.0 sec. user=mdettweiler [2016-09-24 06:17:55] 951*2^1440622-1 is not prime. Res64: 5FE60BD132CBCE0E Time : 0.0 sec. user=mdettweiler [2016-09-24 06:37:05] 991*2^1440623-1 is not prime. Res64: 378F3BBE1CBB77E0 Time : 0.0 sec. user=mdettweiler [2016-09-24 06:37:05] 623*2^1440624-1 is not prime. Res64: DA0E80AC13475BF6 Time : 0.0 sec. user=mdettweiler [2016-09-24 06:37:05] 663*2^1440624-1 is not prime. Res64: 59A9055299F915E9 Time : 0.0 sec. user=mdettweiler [2016-09-24 06:37:06] 675*2^1440624-1 is not prime. Res64: C7C430DA1655248B Time : 0.0 sec. user=mdettweiler [2016-09-24 06:37:06] 765*2^1440624-1 is not prime. Res64: 8F5739933BC19FD4 Time : 0.0 sec. user=mdettweiler [2016-09-24 06:45:58] 863*2^1440624-1 is not prime. Res64: D5B86A78E8E37674 Time : 0.0 sec. user=mdettweiler [2016-09-24 06:45:59] 873*2^1440624-1 is not prime. Res64: 9203543DF2C82CB8 Time : 0.0 sec. user=mdettweiler [2016-09-24 06:45:59] 875*2^1440624-1 is not prime. Res64: EC0F1E74163C333F Time : 0.0 sec. user=mdettweiler [2016-09-24 06:46:00] 945*2^1440624-1 is not prime. Res64: 2455ADB32DDC4542 Time : 0.0 sec. user=mdettweiler [2016-09-24 06:46:00] 607*2^1440625-1 is not prime. Res64: AAE42A59545E6A5D Time : 0.0 sec. user=mdettweiler [2016-09-24 07:02:33] 765*2^1440625-1 is not prime. Res64: 55AF5A1C11E60388 Time : 0.0 sec. user=mdettweiler [2016-09-24 07:02:35] 831*2^1440625-1 is not prime. Res64: 39CA2DE9B569D01C Time : 0.0 sec. user=mdettweiler [2016-09-24 07:02:35] 855*2^1440625-1 is not prime. Res64: 7DFD23CCF432675B Time : 0.0 sec. user=mdettweiler [2016-09-24 07:02:36] 909*2^1440625-1 is not prime. Res64: EE9400E7287D3FB2 Time : 0.0 sec. user=mdettweiler [2016-09-24 07:02:37] 623*2^1440626-1 is not prime. Res64: 94361C8BDBFAFDB2 Time : 0.0 sec. user=mdettweiler [2016-09-24 07:02:54] 711*2^1440626-1 is not prime. Res64: 117DD11058729447 Time : 0.0 sec. user=mdettweiler [2016-09-24 07:02:54] 815*2^1440626-1 is not prime. Res64: F30EBF66C24858E1 Time : 0.0 sec. user=mdettweiler [2016-09-24 07:02:55] 831*2^1440626-1 is not prime. Res64: 21E56C22F646E10F Time : 0.0 sec. user=mdettweiler [2016-09-24 07:02:55] 651*2^1440627-1 is not prime. Res64: AA96C542A17FB7C0 Time : 0.0 sec. user=mdettweiler [2016-09-24 07:02:56] 805*2^1440627-1 is not prime. Res64: A1171FD3F23DF8DD Time : 0.0 sec. user=mdettweiler [2016-09-24 07:22:07] 657*2^1440628-1 is not prime. Res64: 3B079E33F4F55E8C Time : 0.0 sec. user=mdettweiler [2016-09-24 07:22:08] 839*2^1440628-1 is not prime. Res64: 5E933F5AFF23548F Time : 0.0 sec. user=mdettweiler [2016-09-24 07:22:08] 899*2^1440628-1 is not prime. Res64: 85F77FA01D85D828 Time : 0.0 sec. user=mdettweiler [2016-09-24 07:22:08] 915*2^1440628-1 is not prime. Res64: 88F74EDDFA1ECF2E Time : 0.0 sec. user=mdettweiler [2016-09-24 07:22:09] 975*2^1440628-1 is not prime. Res64: 9548DC7A48A00FF8 Time : 0.0 sec. user=mdettweiler [2016-09-24 07:31:09] 989*2^1440628-1 is not prime. Res64: 3FC1049115C535F6 Time : 0.0 sec. user=mdettweiler [2016-09-24 07:31:10] 993*2^1440628-1 is not prime. Res64: BA4B25B83544CD88 Time : 0.0 sec. user=mdettweiler [2016-09-24 07:31:10] 615*2^1440629-1 is not prime. Res64: 9E35ADE3302CE8DA Time : 0.0 sec. user=mdettweiler [2016-09-24 07:31:10] 649*2^1440629-1 is not prime. Res64: B054E93ADF2163D7 Time : 0.0 sec. user=mdettweiler [2016-09-24 07:31:11] 655*2^1440629-1 is not prime. Res64: A8977A128029F2EF Time : 0.0 sec. user=mdettweiler [2016-09-24 07:47:52] 615*2^1440630-1 is not prime. Res64: 7C7D953A480D2C8D Time : 0.0 sec. user=mdettweiler [2016-09-24 07:47:52] 695*2^1440630-1 is not prime. Res64: D1694F516A76DC6A Time : 0.0 sec. user=mdettweiler [2016-09-24 07:47:53] 755*2^1440630-1 is not prime. Res64: AFF0F3D4E062898A Time : 0.0 sec. user=mdettweiler [2016-09-24 07:47:53] 783*2^1440630-1 is not prime. Res64: 8D18835FD0D6F2CF Time : 0.0 sec. user=mdettweiler [2016-09-24 07:47:54] 845*2^1440630-1 is not prime. Res64: F77813BE59058A02 Time : 0.0 sec. user=mdettweiler [2016-09-24 07:48:00] 897*2^1440629-1 is not prime. Res64: 437719C562EA21A7 Time : 0.0 sec. user=mdettweiler [2016-09-24 07:48:00] 907*2^1440629-1 is not prime. Res64: 1CDE73BFDE6AAFA9 Time : 0.0 sec. user=mdettweiler [2016-09-24 07:48:00] 927*2^1440629-1 is not prime. Res64: FE83DAD384E723F8 Time : 0.0 sec. user=mdettweiler [2016-09-24 07:48:01] 931*2^1440629-1 is not prime. Res64: 05F8E95D553107C2 Time : 0.0 sec. user=mdettweiler [2016-09-24 07:48:01] 957*2^1440629-1 is not prime. Res64: 5047840C5499EC07 Time : 0.0 sec. user=mdettweiler [2016-09-24 08:07:20] 705*2^1440631-1 is not prime. Res64: A30417F7E8BF7FBF Time : 0.0 sec. user=mdettweiler [2016-09-24 08:07:22] 783*2^1440631-1 is not prime. Res64: C1992BB470380A29 Time : 0.0 sec. user=mdettweiler [2016-09-24 08:07:23] 849*2^1440631-1 is not prime. Res64: 565121347E3B77F7 Time : 0.0 sec. user=mdettweiler [2016-09-24 08:07:26] 855*2^1440631-1 is not prime. Res64: F02D98CE3C77DF11 Time : 0.0 sec. user=mdettweiler [2016-09-24 08:07:27] 909*2^1440631-1 is not prime. Res64: EE3D8EFA79321DEB Time : 0.0 sec. user=mdettweiler [2016-09-24 08:16:16] 931*2^1440631-1 is not prime. Res64: 0A59E0F07A81025D Time : 0.0 sec. user=mdettweiler [2016-09-24 08:16:16] 623*2^1440632-1 is not prime. Res64: 17D95E812C32EB8E Time : 0.0 sec. user=mdettweiler [2016-09-24 08:16:16] 633*2^1440632-1 is not prime. Res64: 0EF6F77A5B052B5C Time : 0.0 sec. user=mdettweiler [2016-09-24 08:16:17] 797*2^1440632-1 is not prime. Res64: 9AE1F88A5AD59048 Time : 0.0 sec. user=mdettweiler [2016-09-24 08:16:17] 813*2^1440632-1 is not prime. Res64: 982AF9AEDDE2F28D Time : 0.0 sec. user=mdettweiler [2016-09-24 08:32:48] 827*2^1440632-1 is not prime. Res64: 46ADDDEBB7A05E78 Time : 0.0 sec. user=mdettweiler [2016-09-24 08:32:48] 855*2^1440632-1 is not prime. Res64: 6FC7E54D96219D24 Time : 0.0 sec. user=mdettweiler [2016-09-24 08:32:49] 747*2^1440633-1 is not prime. Res64: BABCCCAF08CABAE3 Time : 0.0 sec. user=mdettweiler [2016-09-24 08:32:49] 795*2^1440633-1 is not prime. Res64: F94CD2A3FBE975B6 Time : 0.0 sec. user=mdettweiler [2016-09-24 08:32:49] 835*2^1440633-1 is not prime. Res64: DDCFA924844D69F0 Time : 0.0 sec. user=mdettweiler [2016-09-24 08:33:03] 665*2^1440634-1 is not prime. Res64: F0357F1F278F63CB Time : 0.0 sec. user=mdettweiler [2016-09-24 08:33:03] 717*2^1440634-1 is not prime. Res64: ACEF24ACB91EA7DB Time : 0.0 sec. user=mdettweiler [2016-09-24 08:33:04] 755*2^1440634-1 is not prime. Res64: 9F6B4AB1C4DE2D33 Time : 0.0 sec. user=mdettweiler [2016-09-24 08:33:04] 765*2^1440634-1 is not prime. Res64: E03C3CA19891B9CF Time : 0.0 sec. user=mdettweiler [2016-09-24 08:33:04] 803*2^1440634-1 is not prime. Res64: 02B1B6BA6210EF7D Time : 0.0 sec. user=mdettweiler [2016-09-24 08:52:46] 781*2^1440635-1 is not prime. Res64: FE3D2C03754E7950 Time : 0.0 sec. user=mdettweiler [2016-09-24 08:52:47] 883*2^1440635-1 is not prime. Res64: 0D71B2DB2EDB4760 Time : 0.0 sec. user=mdettweiler [2016-09-24 08:52:47] 895*2^1440635-1 is not prime. Res64: 60CA6DC186BF5B17 Time : 0.0 sec. user=mdettweiler [2016-09-24 08:52:47] 981*2^1440635-1 is not prime. Res64: 454A9918C7B512B5 Time : 0.0 sec. user=mdettweiler [2016-09-24 08:52:48] 633*2^1440636-1 is not prime. Res64: 43C115015E87D016 Time : 0.0 sec. user=mdettweiler [2016-09-24 09:01:16] 639*2^1440636-1 is not prime. Res64: 7764EC488AC86E32 Time : 0.0 sec. user=mdettweiler [2016-09-24 09:01:17] 647*2^1440636-1 is not prime. Res64: FECE5C03B63BDEDB Time : 0.0 sec. user=mdettweiler [2016-09-24 09:01:19] 707*2^1440636-1 is not prime. Res64: 2F06BD2FDDCF45A6 Time : 0.0 sec. user=mdettweiler [2016-09-24 09:01:20] 845*2^1440636-1 is not prime. Res64: 76780D86CBA83FBD Time : 0.0 sec. user=mdettweiler [2016-09-24 09:01:21] 879*2^1440636-1 is not prime. Res64: 7CEA05BC368226C9 Time : 0.0 sec. user=mdettweiler [2016-09-24 09:17:39] 905*2^1440636-1 is not prime. Res64: BA46983DF3152229 Time : 0.0 sec. user=mdettweiler [2016-09-24 09:17:40] 607*2^1440637-1 is not prime. Res64: 7400DBF499CE49B4 Time : 0.0 sec. user=mdettweiler [2016-09-24 09:17:40] 777*2^1440637-1 is not prime. Res64: 7C87AEFC5B77C7E0 Time : 0.0 sec. user=mdettweiler [2016-09-24 09:17:40] 847*2^1440637-1 is not prime. Res64: 915193A0C851A65E Time : 0.0 sec. user=mdettweiler [2016-09-24 09:17:41] 859*2^1440637-1 is not prime. Res64: 70F16ED1F3930159 Time : 0.0 sec. user=mdettweiler [2016-09-24 09:17:59] 861*2^1440637-1 is not prime. Res64: E5110A45056E0E3E Time : 0.0 sec. user=mdettweiler [2016-09-24 09:17:59] 895*2^1440637-1 is not prime. Res64: 87245BF482C35732 Time : 0.0 sec. user=mdettweiler [2016-09-24 09:18:00] 897*2^1440637-1 is not prime. Res64: 3CBC43AD56536C7F Time : 0.0 sec. user=mdettweiler [2016-09-24 09:18:00] 931*2^1440637-1 is not prime. Res64: 23CA9E204242C1F1 Time : 0.0 sec. user=mdettweiler [2016-09-24 09:18:00] 945*2^1440637-1 is not prime. Res64: E7A13FE64F300470 Time : 0.0 sec. user=mdettweiler [2016-09-24 09:37:53] 997*2^1440637-1 is not prime. Res64: 5F3C1939F9E72A9C Time : 0.0 sec. user=mdettweiler [2016-09-24 09:37:54] 705*2^1440638-1 is not prime. Res64: E1AC743D20F0FADE Time : 0.0 sec. user=mdettweiler [2016-09-24 09:37:54] 761*2^1440638-1 is not prime. Res64: 2FA1795FAB2A39A3 Time : 0.0 sec. user=mdettweiler [2016-09-24 09:37:55] 845*2^1440638-1 is not prime. Res64: D96A3A694A336CB8 Time : 0.0 sec. user=mdettweiler [2016-09-24 09:37:55] 911*2^1440638-1 is not prime. Res64: A6E32D1F98ED6634 Time : 0.0 sec. user=mdettweiler [2016-09-24 09:46:34] 945*2^1440638-1 is not prime. Res64: EEBE9131251E2C94 Time : 0.0 sec. user=mdettweiler [2016-09-24 09:46:34] 963*2^1440638-1 is not prime. Res64: AC15198FB8EA1FAF Time : 0.0 sec. user=mdettweiler [2016-09-24 09:46:34] 993*2^1440638-1 is not prime. Res64: 1630ED0792075BAE Time : 0.0 sec. user=mdettweiler [2016-09-24 09:46:35] 609*2^1440639-1 is not prime. Res64: FDFE476592F340B0 Time : 0.0 sec. user=mdettweiler [2016-09-24 09:46:35] 741*2^1440639-1 is not prime. Res64: D4A61A527165526D Time : 0.0 sec. user=mdettweiler [2016-09-24 10:02:40] 677*2^1440640-1 is not prime. Res64: E9859E9A064C75C2 Time : 0.0 sec. user=mdettweiler [2016-09-24 10:02:41] 743*2^1440640-1 is not prime. Res64: E1BF8644CDD7870C Time : 0.0 sec. user=mdettweiler [2016-09-24 10:02:42] 755*2^1440640-1 is not prime. Res64: 4C32A0670AE59DE9 Time : 0.0 sec. user=mdettweiler [2016-09-24 10:02:43] 855*2^1440640-1 is not prime. Res64: 4FA759A1C92114BF Time : 0.0 sec. user=mdettweiler [2016-09-24 10:02:44] 857*2^1440640-1 is not prime. Res64: 9F996278934C0897 Time : 0.0 sec. user=mdettweiler [2016-09-24 10:03:02] 905*2^1440640-1 is not prime. Res64: 2656D558797C6910 Time : 0.0 sec. user=mdettweiler [2016-09-24 10:03:03] 727*2^1440641-1 is not prime. Res64: 6FE460DD71530EAA Time : 0.0 sec. user=mdettweiler [2016-09-24 10:03:04] 879*2^1440641-1 is not prime. Res64: 0C87029629CFE084 Time : 0.0 sec. user=mdettweiler [2016-09-24 10:03:06] 621*2^1440642-1 is not prime. Res64: 538C90DDA82DEA4A Time : 0.0 sec. user=mdettweiler [2016-09-24 10:03:07] 651*2^1440642-1 is not prime. Res64: C3E5206BA5A48A30 Time : 0.0 sec. user=mdettweiler [2016-09-24 10:23:08] 741*2^1440642-1 is not prime. Res64: BC66FEF791FE7AC8 Time : 0.0 sec. user=mdettweiler [2016-09-24 10:23:08] 815*2^1440642-1 is not prime. Res64: 907382A7B778AB23 Time : 0.0 sec. user=mdettweiler [2016-09-24 10:23:09] 833*2^1440642-1 is not prime. Res64: 449C4AD27E5052D6 Time : 0.0 sec. user=mdettweiler [2016-09-24 10:23:09] 885*2^1440642-1 is not prime. Res64: 405330F20E72D122 Time : 0.0 sec. user=mdettweiler [2016-09-24 10:23:09] 649*2^1440643-1 is not prime. Res64: 9682574C97F65346 Time : 0.0 sec. user=mdettweiler [2016-09-24 10:31:25] 741*2^1440643-1 is not prime. Res64: AF71CBDDB073E81E Time : 0.0 sec. user=mdettweiler [2016-09-24 10:31:25] 765*2^1440643-1 is not prime. Res64: D86F440953BF1842 Time : 0.0 sec. user=mdettweiler [2016-09-24 10:31:25] 859*2^1440643-1 is not prime. Res64: 69F854FFC3E3C414 Time : 0.0 sec. user=mdettweiler [2016-09-24 10:31:26] 861*2^1440643-1 is not prime. Res64: F836EA1FF311D1FA Time : 0.0 sec. user=mdettweiler [2016-09-24 10:31:26] 871*2^1440643-1 is not prime. Res64: FABEA47F9065B71C Time : 0.0 sec. user=mdettweiler [2016-09-24 10:47:50] 943*2^1440643-1 is not prime. Res64: 344DD972C63FFED8 Time : 0.0 sec. user=mdettweiler [2016-09-24 10:47:50] 707*2^1440644-1 is not prime. Res64: 5AE2AED318EF1728 Time : 0.0 sec. user=mdettweiler [2016-09-24 10:47:50] 743*2^1440644-1 is not prime. Res64: B60FB2AFF716382A Time : 0.0 sec. user=mdettweiler [2016-09-24 10:47:51] 789*2^1440644-1 is not prime. Res64: 93E00D8D2BAD0232 Time : 0.0 sec. user=mdettweiler [2016-09-24 10:47:51] 825*2^1440644-1 is not prime. Res64: 87CFAE50AE9624D4 Time : 0.0 sec. user=mdettweiler [2016-09-24 10:48:09] 923*2^1440644-1 is not prime. Res64: 49EC36ECA026490C Time : 0.0 sec. user=mdettweiler [2016-09-24 10:48:09] 983*2^1440644-1 is not prime. Res64: 7F26E454955333CA Time : 0.0 sec. user=mdettweiler [2016-09-24 10:48:10] 699*2^1440645-1 is not prime. Res64: A499DCBE304CA059 Time : 0.0 sec. user=mdettweiler [2016-09-24 10:48:10] 727*2^1440645-1 is not prime. Res64: 0817D71A4FFB3C69 Time : 0.0 sec. user=mdettweiler [2016-09-24 10:48:10] 817*2^1440645-1 is not prime. Res64: 85A46A8DD907B307 Time : 0.0 sec. user=mdettweiler [2016-09-24 11:08:31] 837*2^1440645-1 is not prime. Res64: 7B92BB10DB3243B4 Time : 0.0 sec. user=mdettweiler [2016-09-24 11:08:32] 867*2^1440645-1 is not prime. Res64: D215D96AB228E283 Time : 0.0 sec. user=mdettweiler [2016-09-24 11:08:33] 891*2^1440645-1 is not prime. Res64: 31A1107EE4F20498 Time : 0.0 sec. user=mdettweiler [2016-09-24 11:08:35] 919*2^1440645-1 is not prime. Res64: 988942E7B99EDFB4 Time : 0.0 sec. user=mdettweiler [2016-09-24 11:08:36] 949*2^1440645-1 is not prime. Res64: 7558407BAE62DD0C Time : 0.0 sec. user=mdettweiler [2016-09-24 11:16:37] 955*2^1440645-1 is not prime. Res64: A665363CE73DBCD2 Time : 0.0 sec. user=mdettweiler [2016-09-24 11:16:38] 651*2^1440646-1 is not prime. Res64: 4FBA1B0E374A6FD0 Time : 0.0 sec. user=mdettweiler [2016-09-24 11:16:38] 833*2^1440646-1 is not prime. Res64: 2D232EAFF9994E41 Time : 0.0 sec. user=mdettweiler [2016-09-24 11:16:38] 603*2^1440647-1 is not prime. Res64: 422236E310A05D8A Time : 0.0 sec. user=mdettweiler [2016-09-24 11:16:39] 649*2^1440647-1 is not prime. Res64: EB01E00DAF758F64 Time : 0.0 sec. user=mdettweiler [2016-09-24 11:32:51] 711*2^1440647-1 is not prime. Res64: 4C3783463F378D74 Time : 0.0 sec. user=mdettweiler [2016-09-24 11:32:52] 735*2^1440647-1 is not prime. Res64: 191254B018EA78C1 Time : 0.0 sec. user=mdettweiler [2016-09-24 11:32:52] 629*2^1440648-1 is not prime. Res64: 72C5BC3A8B488515 Time : 0.0 sec. user=mdettweiler [2016-09-24 11:32:53] 747*2^1440648-1 is not prime. Res64: FEECAC9D6FC297F4 Time : 0.0 sec. user=mdettweiler [2016-09-24 11:32:53] 909*2^1440648-1 is not prime. Res64: 0E3895CC0B79C8F6 Time : 0.0 sec. user=mdettweiler [2016-09-24 11:33:19] 915*2^1440648-1 is not prime. Res64: 0B4B7FF8D2F6FA7F Time : 0.0 sec. user=mdettweiler [2016-09-24 11:33:19] 639*2^1440649-1 is not prime. Res64: 45477589CAD9B196 Time : 0.0 sec. user=mdettweiler [2016-09-24 11:33:20] 747*2^1440649-1 is not prime. Res64: 155CA5DFC9F51165 Time : 0.0 sec. user=mdettweiler [2016-09-24 11:33:20] 811*2^1440649-1 is not prime. Res64: CA80FC31DE9CE07A Time : 0.0 sec. user=mdettweiler [2016-09-24 11:33:20] 951*2^1440649-1 is not prime. Res64: 525AB7BA13910931 Time : 0.0 sec. user=mdettweiler [2016-09-24 11:53:46] 635*2^1440650-1 is not prime. Res64: 6F2F5F4DE7D9D150 Time : 0.0 sec. user=mdettweiler [2016-09-24 11:53:47] 645*2^1440650-1 is not prime. Res64: 4664A980FA334DC5 Time : 0.0 sec. user=mdettweiler [2016-09-24 11:53:47] 743*2^1440650-1 is not prime. Res64: AB2F721E87A9D4D5 Time : 0.0 sec. user=mdettweiler [2016-09-24 11:53:48] 797*2^1440650-1 is not prime. Res64: 02697D841A5F3929 Time : 0.0 sec. user=mdettweiler [2016-09-24 11:53:48] 875*2^1440650-1 is not prime. Res64: 3989BEBC416127C3 Time : 0.0 sec. user=mdettweiler [2016-09-24 12:01:44] 887*2^1440650-1 is not prime. Res64: C9E322A6801C386F Time : 0.0 sec. user=mdettweiler [2016-09-24 12:01:45] 615*2^1440651-1 is not prime. Res64: 90D867E663D308E5 Time : 0.0 sec. user=mdettweiler [2016-09-24 12:01:46] 679*2^1440651-1 is not prime. Res64: 9E47B5FB495F49D9 Time : 0.0 sec. user=mdettweiler [2016-09-24 12:01:47] 703*2^1440651-1 is not prime. Res64: 1C711F4A8186A95D Time : 0.0 sec. user=mdettweiler [2016-09-24 12:01:47] 705*2^1440651-1 is not prime. Res64: 9AA96E959A33CDC3 Time : 0.0 sec. user=mdettweiler [2016-09-24 12:18:17] 827*2^1440652-1 is not prime. Res64: A23038B68629F6F2 Time : 0.0 sec. user=mdettweiler [2016-09-24 12:18:18] 909*2^1440652-1 is not prime. Res64: 7F8B3E454D0EBBD6 Time : 0.0 sec. user=mdettweiler [2016-09-24 12:18:18] 923*2^1440652-1 is not prime. Res64: E222FC97D5EB4BAC Time : 0.0 sec. user=mdettweiler [2016-09-24 12:18:19] 995*2^1440652-1 is not prime. Res64: D6EC7E3281471263 Time : 0.0 sec. user=mdettweiler [2016-09-24 12:18:19] 627*2^1440653-1 is not prime. Res64: 559D2138C605D1DF Time : 0.0 sec. user=mdettweiler [2016-09-24 12:18:28] 711*2^1440651-1 is not prime. Res64: 2EFA6ACC6F77BDD2 Time : 0.0 sec. user=mdettweiler [2016-09-24 12:18:28] 775*2^1440651-1 is not prime. Res64: 953FFBB16CE67A0E Time : 0.0 sec. user=mdettweiler [2016-09-24 12:18:28] 861*2^1440651-1 is not prime. Res64: C2A025184596B168 Time : 0.0 sec. user=mdettweiler [2016-09-24 12:18:29] 647*2^1440652-1 is not prime. Res64: 60A453E68554F837 Time : 0.0 sec. user=mdettweiler [2016-09-24 12:18:29] 723*2^1440652-1 is not prime. Res64: ACC0EAEF1116EA93 Time : 0.0 sec. user=mdettweiler [2016-09-24 12:39:03] 657*2^1440653-1 is not prime. Res64: 5012FEAE4CF2CD76 Time : 0.0 sec. user=mdettweiler [2016-09-24 12:39:04] 721*2^1440653-1 is not prime. Res64: 741DB6276AE38526 Time : 0.0 sec. user=mdettweiler [2016-09-24 12:39:04] 729*2^1440653-1 is not prime. Res64: B0A7218F49577B6C Time : 0.0 sec. user=mdettweiler [2016-09-24 12:39:05] 757*2^1440653-1 is not prime. Res64: 3CB7DE5C97D0A406 Time : 0.0 sec. user=mdettweiler [2016-09-24 12:39:05] 795*2^1440653-1 is not prime. Res64: F2CA793A2A2ADC4F Time : 0.0 sec. user=mdettweiler [2016-09-24 12:47:05] 847*2^1440653-1 is not prime. Res64: B1B113ED10897BC8 Time : 0.0 sec. user=mdettweiler [2016-09-24 12:47:06] 859*2^1440653-1 is not prime. Res64: F7F0524F7E617869 Time : 0.0 sec. user=mdettweiler [2016-09-24 12:47:06] 861*2^1440653-1 is not prime. Res64: F251E436FDA29ABC Time : 0.0 sec. user=mdettweiler [2016-09-24 12:47:06] 867*2^1440653-1 is not prime. Res64: C20FC949E7CFBF76 Time : 0.0 sec. user=mdettweiler [2016-09-24 12:47:07] 901*2^1440653-1 is not prime. Res64: 8523EA638EE9D7C3 Time : 0.0 sec. user=mdettweiler [2016-09-24 13:03:20] 797*2^1440654-1 is not prime. Res64: 1FDB3C50026FDE45 Time : 0.0 sec. user=mdettweiler [2016-09-24 13:03:20] 979*2^1440653-1 is not prime. Res64: 56A23213C815E01C Time : 0.0 sec. user=mdettweiler [2016-09-24 13:03:25] 807*2^1440654-1 is not prime. Res64: D6EFE05730B96A7D Time : 0.0 sec. user=mdettweiler [2016-09-24 13:03:48] 985*2^1440653-1 is not prime. Res64: E18A9380A78E7389 Time : 0.0 sec. user=mdettweiler [2016-09-24 13:25:43] 915*2^1440654-1 is not prime. Res64: CC58B5FBAF3D626E Time : 0.0 sec. user=mdettweiler [2016-09-24 13:25:44] 921*2^1440654-1 is not prime. Res64: 8ABA5E48D70D1583 Time : 0.0 sec. user=mdettweiler [2016-09-24 13:25:44] 603*2^1440655-1 is not prime. Res64: 49A8450C2963EC27 Time : 0.0 sec. user=mdettweiler [2016-09-24 13:25:45] 675*2^1440655-1 is not prime. Res64: 76329DE4CDA85C28 Time : 0.0 sec. user=mdettweiler [2016-09-24 13:25:45] 685*2^1440655-1 is not prime. Res64: 4CB1C64C631EFE45 Time : 0.0 sec. user=mdettweiler [2016-09-24 13:34:05] 789*2^1440655-1 is not prime. Res64: C814F52842D9F1D2 Time : 0.0 sec. user=mdettweiler [2016-09-24 13:34:05] 853*2^1440655-1 is not prime. Res64: 276EBB8E76A6F6CC Time : 0.0 sec. user=mdettweiler [2016-09-24 13:34:06] 925*2^1440655-1 is not prime. Res64: 207D2615706F4CF4 Time : 0.0 sec. user=mdettweiler [2016-09-24 13:34:06] 617*2^1440656-1 is not prime. Res64: 9FF7DC3AF57414D7 Time : 0.0 sec. user=mdettweiler [2016-09-24 13:34:07] 657*2^1440656-1 is not prime. Res64: E87D41F4A6E4D80E Time : 0.0 sec. user=mdettweiler [2016-09-24 14:14:22] 725*2^1440656-1 is not prime. Res64: 89163CD710E8A0E2 Time : 0.0 sec. user=mdettweiler [2016-09-24 14:14:23] 735*2^1440656-1 is not prime. Res64: 5CE8690A4176ED5E Time : 0.0 sec. user=mdettweiler [2016-09-24 14:14:23] 845*2^1440656-1 is not prime. Res64: 372D8DA4478EF9D5 Time : 0.0 sec. user=mdettweiler [2016-09-24 14:14:24] 869*2^1440656-1 is not prime. Res64: FC49FBC0D20C9ABB Time : 0.0 sec. user=mdettweiler [2016-09-24 14:14:24] 903*2^1440656-1 is not prime. Res64: 37BF68E047DE556C Time : 0.0 sec. user=mdettweiler [2016-09-24 14:23:14] 963*2^1440656-1 is not prime. Res64: 0C1D409E839C671A Time : 0.0 sec. user=mdettweiler [2016-09-24 14:23:15] 615*2^1440657-1 is not prime. Res64: 2BFAB9CFC0F200C1 Time : 0.0 sec. user=mdettweiler [2016-09-24 14:23:15] 669*2^1440657-1 is not prime. Res64: FD7A6DB094C0C588 Time : 0.0 sec. user=mdettweiler [2016-09-24 14:23:16] 747*2^1440657-1 is not prime. Res64: B28519C7D20491CA Time : 0.0 sec. user=mdettweiler [2016-09-24 14:23:16] 777*2^1440657-1 is not prime. Res64: 5878E65EE9C0001C Time : 0.0 sec. user=mdettweiler [2016-09-24 15:01:38] 795*2^1440657-1 is not prime. Res64: 5FDB757390572B38 Time : 0.0 sec. user=mdettweiler [2016-09-24 15:01:39] 817*2^1440657-1 is not prime. Res64: C92322C7776563E7 Time : 0.0 sec. user=mdettweiler [2016-09-24 15:01:40] 837*2^1440657-1 is not prime. Res64: 3BFAE580C5DE3812 Time : 0.0 sec. user=mdettweiler [2016-09-24 15:01:41] 847*2^1440657-1 is not prime. Res64: 672839F24097CD47 Time : 0.0 sec. user=mdettweiler [2016-09-24 15:01:42] 871*2^1440657-1 is not prime. Res64: 823B730D50BAB5BB Time : 0.0 sec. user=mdettweiler [2016-09-24 15:11:09] 975*2^1440657-1 is not prime. Res64: A0466960850784E8 Time : 0.0 sec. user=mdettweiler [2016-09-24 15:11:10] 985*2^1440657-1 is not prime. Res64: 0E67A13CE1E869FB Time : 0.0 sec. user=mdettweiler [2016-09-24 15:11:10] 997*2^1440657-1 is not prime. Res64: 089EE3F408E0D82F Time : 0.0 sec. user=mdettweiler [2016-09-24 15:11:11] 651*2^1440658-1 is not prime. Res64: 632BCECF01004E3C Time : 0.0 sec. user=mdettweiler [2016-09-24 15:11:11] 657*2^1440658-1 is not prime. Res64: BA37F8A3C0AB4C31 Time : 0.0 sec. user=mdettweiler [2016-09-24 15:52:50] 671*2^1440658-1 is not prime. Res64: 053CF5AF4FEBA23E Time : 0.0 sec. user=mdettweiler [2016-09-24 15:52:50] 677*2^1440658-1 is not prime. Res64: AFA0A93D372BD995 Time : 0.0 sec. user=mdettweiler [2016-09-24 15:52:50] 695*2^1440658-1 is not prime. Res64: 548BD65AA9507BC1 Time : 0.0 sec. user=mdettweiler [2016-09-24 15:52:50] 705*2^1440658-1 is not prime. Res64: B37B3F9C2CA38EAD Time : 0.0 sec. user=mdettweiler [2016-09-24 15:52:51] 791*2^1440658-1 is not prime. Res64: B6DD221FF7E72E16 Time : 0.0 sec. user=mdettweiler [2016-09-24 16:05:53] 885*2^1440658-1 is not prime. Res64: B01DF173EBC3CB20 Time : 0.0 sec. user=mdettweiler [2016-09-24 16:05:54] 619*2^1440659-1 is not prime. Res64: A036C7B491AD1D10 Time : 0.0 sec. user=mdettweiler [2016-09-24 16:05:55] 703*2^1440659-1 is not prime. Res64: 52C09AF4B5899EE8 Time : 0.0 sec. user=mdettweiler [2016-09-24 16:05:56] 711*2^1440659-1 is not prime. Res64: 5742C58F6E48FC92 Time : 0.0 sec. user=mdettweiler [2016-09-24 16:05:56] 883*2^1440659-1 is not prime. Res64: C7ABF8688CEE1261 Time : 0.0 sec. user=mdettweiler [2016-09-24 16:09:03] 683*2^1440654-1 is not prime. Res64: BBBDEF2883D1D7F2 Time : 0.0 sec. user=mdettweiler [2016-09-24 16:09:04] 693*2^1440654-1 is not prime. Res64: FB822DD58E6D9F05 Time : 0.0 sec. user=mdettweiler [2016-09-24 16:09:04] 723*2^1440654-1 is not prime. Res64: 36DA4BCE69C7020D Time : 0.0 sec. user=mdettweiler [2016-09-24 16:43:17] 999*2^1440659-1 is not prime. Res64: 6C6B58EFE476C918 Time : 0.0 sec. user=mdettweiler [2016-09-24 16:43:18] 647*2^1440660-1 is not prime. Res64: 6FAE3225E5CC0C1E Time : 0.0 sec. user=mdettweiler [2016-09-24 16:43:18] 665*2^1440660-1 is not prime. Res64: 4C7D3A662CCFA5B4 Time : 0.0 sec. user=mdettweiler [2016-09-24 16:43:18] 689*2^1440660-1 is not prime. Res64: 1B4BA655AD36DC46 Time : 0.0 sec. user=mdettweiler [2016-09-24 16:43:19] 779*2^1440660-1 is not prime. Res64: 2F5DD415209ECCF8 Time : 0.0 sec. user=mdettweiler [2016-09-24 16:50:35] 873*2^1440654-1 is not prime. Res64: FC01A17277D6105E Time : 0.0 sec. user=mdettweiler [2016-09-24 16:50:35] 887*2^1440654-1 is not prime. Res64: AE123F272A8BC86F Time : 0.0 sec. user=mdettweiler [2016-09-24 16:50:36] 891*2^1440654-1 is not prime. Res64: 3D1B67E74CCEB513 Time : 0.0 sec. user=mdettweiler [2016-09-24 16:53:37] 795*2^1440660-1 is not prime. Res64: 7ADDB651F3FEA983 Time : 0.0 sec. user=mdettweiler [2016-09-24 16:53:37] 857*2^1440660-1 is not prime. Res64: 4E38FDD9CF61969C Time : 0.0 sec. user=mdettweiler [2016-09-24 16:53:38] 887*2^1440660-1 is not prime. Res64: 35A02243CF735C7D Time : 0.0 sec. user=mdettweiler [2016-09-24 16:53:38] 905*2^1440660-1 is not prime. Res64: C43A9EE54E769343 Time : 0.0 sec. user=mdettweiler [2016-09-24 16:53:39] 929*2^1440660-1 is not prime. Res64: F77F264099A08ABD Time : 0.0 sec. user=mdettweiler [2016-09-24 16:56:00] 933*2^1440660-1 is not prime. Res64: 103843E2E1D216B0 Time : 0.0 sec. user=mdettweiler [2016-09-24 16:56:00] 687*2^1440661-1 is not prime. Res64: 2863FC9E188C03CC Time : 0.0 sec. user=mdettweiler [2016-09-24 16:56:00] 771*2^1440661-1 is not prime. Res64: 94F4757303E33A25 Time : 0.0 sec. user=mdettweiler [2016-09-24 16:56:01] 859*2^1440661-1 is not prime. Res64: 82D571345ED42385 Time : 0.0 sec. user=mdettweiler [2016-09-24 16:56:01] 945*2^1440661-1 is not prime. Res64: 3F13A7E0EDF3322C Time : 0.0 sec. user=mdettweiler [2016-09-24 17:28:37] 645*2^1440662-1 is not prime. Res64: 3F570F80FBA026CE Time : 0.0 sec. user=mdettweiler [2016-09-24 17:28:37] 651*2^1440662-1 is not prime. Res64: BB086DA1F6758A99 Time : 0.0 sec. user=mdettweiler [2016-09-24 17:28:37] 885*2^1440662-1 is not prime. Res64: 8AB19C44CC499D04 Time : 0.0 sec. user=mdettweiler [2016-09-24 17:28:38] 897*2^1440662-1 is not prime. Res64: 8798A07E5D427CF2 Time : 0.0 sec. user=mdettweiler [2016-09-24 17:28:38] 911*2^1440662-1 is not prime. Res64: 9EF07634A7697E33 Time : 0.0 sec. user=mdettweiler [2016-09-24 17:35:55] 915*2^1440662-1 is not prime. Res64: 037FEF05B6D564A0 Time : 0.0 sec. user=mdettweiler [2016-09-24 17:35:55] 921*2^1440662-1 is not prime. Res64: 0EE38E4CEB119897 Time : 0.0 sec. user=mdettweiler [2016-09-24 17:35:55] 951*2^1440662-1 is not prime. Res64: F7729077F7332A6F Time : 0.0 sec. user=mdettweiler [2016-09-24 17:35:56] 693*2^1440663-1 is not prime. Res64: 23C4C643849FB183 Time : 0.0 sec. user=mdettweiler [2016-09-24 17:35:56] 723*2^1440663-1 is not prime. Res64: 44426A6F0B25FBD9 Time : 0.0 sec. user=mdettweiler [2016-09-24 17:38:57] 783*2^1440663-1 is not prime. Res64: 08BD2BD5EF4226AC Time : 0.0 sec. user=mdettweiler [2016-09-24 17:38:57] 793*2^1440663-1 is not prime. Res64: 957BCE3E73A12180 Time : 0.0 sec. user=mdettweiler [2016-09-24 17:38:58] 617*2^1440664-1 is not prime. Res64: CDDD89BD61469E2C Time : 0.0 sec. user=mdettweiler [2016-09-24 17:38:58] 675*2^1440664-1 is not prime. Res64: B7116A50C2D0035D Time : 0.0 sec. user=mdettweiler [2016-09-24 17:38:59] 927*2^1440664-1 is not prime. Res64: 5156BDB8A7FA2C3E Time : 0.0 sec. user=mdettweiler [2016-09-24 17:41:18] 947*2^1440664-1 is not prime. Res64: 6C1663FD06AFF11E Time : 0.0 sec. user=mdettweiler [2016-09-24 17:41:18] 675*2^1440665-1 is not prime. Res64: 4184834E19D91D6B Time : 0.0 sec. user=mdettweiler [2016-09-24 17:41:19] 711*2^1440665-1 is not prime. Res64: FE2A63B3FA92FA26 Time : 0.0 sec. user=mdettweiler [2016-09-24 17:41:19] 811*2^1440665-1 is not prime. Res64: E358628BBDAB7C8F Time : 0.0 sec. user=mdettweiler [2016-09-24 17:41:19] 889*2^1440665-1 is not prime. Res64: 1E843085A387F46B Time : 0.0 sec. user=mdettweiler [2016-09-24 18:13:44] 915*2^1440665-1 is not prime. Res64: C2C78FC2422A0233 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:13:44] 987*2^1440665-1 is not prime. Res64: 3AC575825A3A7723 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:13:45] 615*2^1440666-1 is not prime. Res64: C83997A76A3028A6 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:13:45] 627*2^1440666-1 is not prime. Res64: 77340E432036260E Time : 0.0 sec. user=mdettweiler [2016-09-24 18:13:46] 725*2^1440666-1 is not prime. Res64: 66CAF0B27BBF1989 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:21:13] 891*2^1440666-1 is not prime. Res64: 489008C392980BF1 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:21:13] 619*2^1440667-1 is not prime. Res64: 4E14B92857778EA2 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:21:14] 663*2^1440667-1 is not prime. Res64: 73ACAA162692C976 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:21:14] 715*2^1440667-1 is not prime. Res64: 9624D3E8B8E888B0 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:21:15] 849*2^1440667-1 is not prime. Res64: 665CDDE3BF20C830 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:23:57] 883*2^1440667-1 is not prime. Res64: 5EC0E8B6E9407502 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:23:57] 973*2^1440667-1 is not prime. Res64: F944232E4E09FDF8 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:23:57] 617*2^1440668-1 is not prime. Res64: AE982D44D99EDB05 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:23:58] 725*2^1440668-1 is not prime. Res64: BDAE41CBDBE7B6A7 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:23:58] 755*2^1440668-1 is not prime. Res64: 2FE50DC20702F7D3 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:26:32] 777*2^1440668-1 is not prime. Res64: F0AD05302B86DF49 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:26:32] 845*2^1440668-1 is not prime. Res64: 09374DB4FD8BA276 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:26:33] 929*2^1440668-1 is not prime. Res64: 8D9A161AB1851795 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:26:33] 995*2^1440668-1 is not prime. Res64: EED59282BE962554 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:26:33] 621*2^1440669-1 is not prime. Res64: 35020AB9DB143FD9 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:58:56] 885*2^1440669-1 is not prime. Res64: 186720078BC26B90 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:58:56] 975*2^1440669-1 is not prime. Res64: 6B08447C792E3C19 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:58:57] 675*2^1440670-1 is not prime. Res64: 1B98F5C0BA43D6D3 Time : 0.0 sec. user=mdettweiler [2016-09-24 18:58:57] 681*2^1440670-1 is not prime. Res64: 9FA7424705B3B92D Time : 0.0 sec. user=mdettweiler [2016-09-24 18:58:59] 717*2^1440670-1 is not prime. Res64: 5EF38B0BE644C249 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:06:21] 821*2^1440670-1 is not prime. Res64: 04B1A3EC032BF8B8 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:06:23] 897*2^1440670-1 is not prime. Res64: 5A1FE0957043C925 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:06:25] 741*2^1440671-1 is not prime. Res64: 7A9F748312BAAAB1 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:06:28] 825*2^1440671-1 is not prime. Res64: FE52B3ED4CA033D3 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:06:30] 945*2^1440671-1 is not prime. Res64: 2B27D4E6EA3A0E00 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:08:55] 969*2^1440671-1 is not prime. Res64: 8FFD0990129C7D33 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:08:56] 981*2^1440671-1 is not prime. Res64: 1A30BE7D777A8E37 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:08:57] 623*2^1440672-1 is not prime. Res64: AD5082AA766A59D0 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:08:57] 669*2^1440672-1 is not prime. Res64: 322D91836A1E1B2A Time : 0.0 sec. user=mdettweiler [2016-09-24 19:08:58] 713*2^1440672-1 is not prime. Res64: A206172DF98F9DCF Time : 0.0 sec. user=mdettweiler [2016-09-24 19:11:40] 767*2^1440672-1 is not prime. Res64: 77DE541B81C32A96 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:11:41] 867*2^1440672-1 is not prime. Res64: 30EEF5158281EA87 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:11:41] 899*2^1440672-1 is not prime. Res64: 2FB3A3549FBD6E97 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:11:42] 607*2^1440673-1 is not prime. Res64: 29AA704215B707D6 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:11:42] 639*2^1440673-1 is not prime. Res64: A90502D12081F575 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:44:14] 835*2^1440673-1 is not prime. Res64: 21774545F1099362 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:44:15] 985*2^1440673-1 is not prime. Res64: EDFF6089AE9CBC0D Time : 0.0 sec. user=mdettweiler [2016-09-24 19:44:15] 987*2^1440673-1 is not prime. Res64: E5E5315CBE9DA9CD Time : 0.0 sec. user=mdettweiler [2016-09-24 19:44:15] 999*2^1440673-1 is not prime. Res64: 9691B1D7F21A5335 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:44:16] 717*2^1440674-1 is not prime. Res64: B5F4F76EBD5926BE Time : 0.0 sec. user=mdettweiler [2016-09-24 19:52:11] 837*2^1440674-1 is not prime. Res64: 441F901E796F1329 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:52:11] 613*2^1440675-1 is not prime. Res64: 056DC1625B7A960B Time : 0.0 sec. user=mdettweiler [2016-09-24 19:52:11] 709*2^1440675-1 is not prime. Res64: 9C52989929247136 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:52:12] 753*2^1440675-1 is not prime. Res64: 5B01CE9E9472F4F1 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:52:12] 783*2^1440675-1 is not prime. Res64: 45AD40FD12467602 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:54:09] 859*2^1440675-1 is not prime. Res64: 314333C85624AC66 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:54:09] 963*2^1440675-1 is not prime. Res64: 4462AAB9A3A09F78 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:54:09] 979*2^1440675-1 is not prime. Res64: 334F8F2ADC35630E Time : 0.0 sec. user=mdettweiler [2016-09-24 19:54:10] 603*2^1440676-1 is not prime. Res64: 72105B1048D14B67 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:54:10] 609*2^1440676-1 is not prime. Res64: 47ABBB4FFA6708E5 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:56:58] 629*2^1440676-1 is not prime. Res64: 3D8016DA5885AC00 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:56:59] 677*2^1440676-1 is not prime. Res64: F5273D1DFB95FBA8 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:56:59] 695*2^1440676-1 is not prime. Res64: F390A36B9D10D75E Time : 0.0 sec. user=mdettweiler [2016-09-24 19:57:00] 759*2^1440676-1 is not prime. Res64: 9BD406C4FA4E6E36 Time : 0.0 sec. user=mdettweiler [2016-09-24 19:57:00] 903*2^1440676-1 is not prime. Res64: 230462AC9D1614BE Time : 0.0 sec. user=mdettweiler [2016-09-24 20:29:24] 965*2^1440676-1 is not prime. Res64: 00257E796BBF7B6E Time : 0.0 sec. user=mdettweiler [2016-09-24 20:29:24] 969*2^1440676-1 is not prime. Res64: CFFB8E431F6331C7 Time : 0.0 sec. user=mdettweiler [2016-09-24 20:29:25] 615*2^1440677-1 is not prime. Res64: 93B5F191A87DE951 Time : 0.0 sec. user=mdettweiler [2016-09-24 20:29:25] 651*2^1440677-1 is not prime. Res64: B26CE82F7AF4C48A Time : 0.0 sec. user=mdettweiler [2016-09-24 20:29:26] 655*2^1440677-1 is not prime. Res64: 5BA3F97263EFA037 Time : 0.0 sec. user=mdettweiler [2016-09-24 20:37:29] 769*2^1440677-1 is not prime. Res64: 05BBD05B46F8E991 Time : 0.0 sec. user=mdettweiler [2016-09-24 20:37:29] 771*2^1440677-1 is not prime. Res64: EE48CB2659FDCDED Time : 0.0 sec. user=mdettweiler [2016-09-24 20:37:30] 781*2^1440677-1 is not prime. Res64: B83C7818EABE3497 Time : 0.0 sec. user=mdettweiler [2016-09-24 20:37:30] 819*2^1440677-1 is not prime. Res64: 077316F0304BFCA8 Time : 0.0 sec. user=mdettweiler [2016-09-24 20:37:31] 915*2^1440677-1 is not prime. Res64: BED7882C59033FCB Time : 0.0 sec. user=mdettweiler [2016-09-24 20:39:21] 925*2^1440677-1 is not prime. Res64: 9214B51F8A506842 Time : 0.0 sec. user=mdettweiler [2016-09-24 20:39:21] 641*2^1440678-1 is not prime. Res64: 776A9F42805F5E95 Time : 0.0 sec. user=mdettweiler [2016-09-24 20:39:21] 665*2^1440678-1 is not prime. Res64: 349DE984DFD950BA Time : 0.0 sec. user=mdettweiler [2016-09-24 20:39:22] 695*2^1440678-1 is not prime. Res64: 9F8F6C9C666C5201 Time : 0.0 sec. user=mdettweiler [2016-09-24 20:39:22] 705*2^1440678-1 is not prime. Res64: 0AF1256E8D8C8656 Time : 0.0 sec. user=mdettweiler [2016-09-24 20:42:16] 707*2^1440678-1 is not prime. Res64: 402E0AA235835F8C Time : 0.0 sec. user=mdettweiler [2016-09-24 20:42:16] 615*2^1440679-1 is not prime. Res64: D5BAD46EC3C4929C Time : 0.0 sec. user=mdettweiler [2016-09-24 20:42:17] 775*2^1440679-1 is not prime. Res64: 1A4BCB448CEF0DE2 Time : 0.0 sec. user=mdettweiler [2016-09-24 20:42:17] 843*2^1440679-1 is not prime. Res64: CE4A21D646E88F62 Time : 0.0 sec. user=mdettweiler [2016-09-24 20:42:18] 629*2^1440680-1 is not prime. Res64: EABB5ED7326A6C2C Time : 0.0 sec. user=mdettweiler [2016-09-24 21:14:42] 717*2^1440680-1 is not prime. Res64: 878BE0ED5EDA4942 Time : 0.0 sec. user=mdettweiler [2016-09-24 21:14:43] 753*2^1440680-1 is not prime. Res64: 9904AAF86069D984 Time : 0.0 sec. user=mdettweiler [2016-09-24 21:14:43] 759*2^1440680-1 is not prime. Res64: 95677D960CCD37FB Time : 0.0 sec. user=mdettweiler [2016-09-24 21:14:44] 785*2^1440680-1 is not prime. Res64: 5C4F14CF1A154A57 Time : 0.0 sec. user=mdettweiler [2016-09-24 21:14:44] 893*2^1440680-1 is not prime. Res64: EA734425503D341D Time : 0.0 sec. user=mdettweiler [2016-09-24 21:23:04] 727*2^1440681-1 is not prime. Res64: FA3E24E59BC2DF31 Time : 0.0 sec. user=mdettweiler [2016-09-24 21:23:05] 795*2^1440681-1 is not prime. Res64: F6E51676A43AF403 Time : 0.0 sec. user=mdettweiler [2016-09-24 21:23:05] 837*2^1440681-1 is not prime. Res64: 41A777AF3EE0AF9A Time : 0.0 sec. user=mdettweiler [2016-09-24 21:23:06] 867*2^1440681-1 is not prime. Res64: 0C5B3D3FC3581660 Time : 0.0 sec. user=mdettweiler [2016-09-24 21:23:06] 603*2^1440682-1 is not prime. Res64: 00E96A819C85CDF5 Time : 0.0 sec. user=mdettweiler [2016-09-24 21:24:22] 635*2^1440682-1 is not prime. Res64: A2708D912015DA16 Time : 0.0 sec. user=mdettweiler [2016-09-24 21:24:22] 681*2^1440682-1 is not prime. Res64: A096982E86B63BE2 Time : 0.0 sec. user=mdettweiler [2016-09-24 21:24:23] 695*2^1440682-1 is not prime. Res64: 5F298B1827B43BDE Time : 0.0 sec. user=mdettweiler [2016-09-24 21:24:23] 803*2^1440682-1 is not prime. Res64: 5C2CAC6057C92C9B Time : 0.0 sec. user=mdettweiler [2016-09-24 21:24:24] 831*2^1440682-1 is not prime. Res64: F42DF7BF358EC632 Time : 0.0 sec. user=mdettweiler [2016-09-24 21:27:23] 843*2^1440682-1 is not prime. Res64: D3E0902617E4D511 Time : 0.0 sec. user=mdettweiler [2016-09-24 21:27:23] 941*2^1440682-1 is not prime. Res64: A760119AE62F6FC3 Time : 0.0 sec. user=mdettweiler [2016-09-24 21:27:24] 739*2^1440683-1 is not prime. Res64: 04B5D7A76783E32F Time : 0.0 sec. user=mdettweiler [2016-09-24 21:27:24] 855*2^1440683-1 is not prime. Res64: 127C5C5EF98D6F4A Time : 0.0 sec. user=mdettweiler [2016-09-24 21:27:24] 861*2^1440683-1 is not prime. Res64: FE3316D3C6408153 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:00:09] 871*2^1440683-1 is not prime. Res64: A0F2B52033A0D490 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:00:11] 879*2^1440683-1 is not prime. Res64: 801001186C245616 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:00:13] 915*2^1440683-1 is not prime. Res64: 455E0926387CFF43 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:00:15] 627*2^1440684-1 is not prime. Res64: 529B5C65C5F22A34 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:00:16] 665*2^1440684-1 is not prime. Res64: 2DA4A01579343EE0 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:08:36] 707*2^1440684-1 is not prime. Res64: 36411014F3D23261 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:08:38] 765*2^1440684-1 is not prime. Res64: 858985341BFBA095 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:08:39] 893*2^1440684-1 is not prime. Res64: 5819AF762A4882CC Time : 0.0 sec. user=mdettweiler [2016-09-24 22:08:40] 927*2^1440684-1 is not prime. Res64: 230F14BFA7F9C9DB Time : 0.0 sec. user=mdettweiler [2016-09-24 22:08:41] 717*2^1440685-1 is not prime. Res64: 98C3A4DC28B40F73 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:09:37] 877*2^1440685-1 is not prime. Res64: EC07D736436951C2 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:09:38] 957*2^1440685-1 is not prime. Res64: 51D73B3A75A93E3F Time : 0.0 sec. user=mdettweiler [2016-09-24 22:09:39] 671*2^1440686-1 is not prime. Res64: C2E4E8909772AEF0 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:09:40] 707*2^1440686-1 is not prime. Res64: 82A193A82B77AE3C Time : 0.0 sec. user=mdettweiler [2016-09-24 22:09:40] 795*2^1440686-1 is not prime. Res64: E04728770BC6BAD0 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:12:50] 813*2^1440686-1 is not prime. Res64: C7BD6C91D0B1EFAC Time : 0.0 sec. user=mdettweiler [2016-09-24 22:12:50] 867*2^1440686-1 is not prime. Res64: CEBF26ABFC0E2B8D Time : 0.0 sec. user=mdettweiler [2016-09-24 22:12:51] 661*2^1440687-1 is not prime. Res64: C47F91EA0E0A8735 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:12:51] 669*2^1440687-1 is not prime. Res64: E394ABD6E7D2D694 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:12:52] 741*2^1440687-1 is not prime. Res64: 57F1E4D9BB78A7BF Time : 0.0 sec. user=mdettweiler [2016-09-24 22:45:54] 781*2^1440687-1 is not prime. Res64: ADC95E2EFF59A10F Time : 0.0 sec. user=mdettweiler [2016-09-24 22:45:54] 909*2^1440687-1 is not prime. Res64: A01C998B592A2E58 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:45:55] 951*2^1440687-1 is not prime. Res64: 67E924416FD37DF2 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:45:55] 955*2^1440687-1 is not prime. Res64: 72CFB453B6762529 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:45:55] 743*2^1440688-1 is not prime. Res64: 32EADC339AB2C28A Time : 0.0 sec. user=mdettweiler [2016-09-24 22:54:15] 813*2^1440688-1 is not prime. Res64: BA88A1BE52FF60D7 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:54:15] 627*2^1440689-1 is not prime. Res64: 2CA46A6A9C1962D7 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:54:16] 747*2^1440689-1 is not prime. Res64: 4781D053D0F2FD3C Time : 0.0 sec. user=mdettweiler [2016-09-24 22:54:16] 907*2^1440689-1 is not prime. Res64: 12472B9F13198E7C Time : 0.0 sec. user=mdettweiler [2016-09-24 22:54:16] 611*2^1440690-1 is not prime. Res64: C390695DE64C883A Time : 0.0 sec. user=mdettweiler [2016-09-24 22:54:46] 797*2^1440690-1 is not prime. Res64: 08EB2581E229CC8A Time : 0.0 sec. user=mdettweiler [2016-09-24 22:54:47] 873*2^1440690-1 is not prime. Res64: 695A8DFBC02E3382 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:54:47] 893*2^1440690-1 is not prime. Res64: 8B889C9B09D23D66 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:54:47] 649*2^1440691-1 is not prime. Res64: 5BC1EF5DF16FA480 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:54:48] 709*2^1440691-1 is not prime. Res64: D8B2D685F3E8E8D0 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:58:28] 723*2^1440691-1 is not prime. Res64: CBCEE783632EFDDE Time : 0.0 sec. user=mdettweiler [2016-09-24 22:58:28] 733*2^1440691-1 is not prime. Res64: 289AB80497867F86 Time : 0.0 sec. user=mdettweiler [2016-09-24 22:58:28] 789*2^1440691-1 is not prime. Res64: F076675D42ECF0AB Time : 0.0 sec. user=mdettweiler [2016-09-24 22:58:29] 805*2^1440691-1 is not prime. Res64: 2C7F4FDD8517477D Time : 0.0 sec. user=mdettweiler [2016-09-24 22:58:29] 885*2^1440691-1 is not prime. Res64: ACE0EE66623B108B Time : 0.0 sec. user=mdettweiler [2016-09-24 23:31:07] 901*2^1440691-1 is not prime. Res64: 17A7229F95C18441 Time : 0.0 sec. user=mdettweiler [2016-09-24 23:31:08] 909*2^1440691-1 is not prime. Res64: 93DB5DD52907B6C9 Time : 0.0 sec. user=mdettweiler [2016-09-24 23:31:08] 961*2^1440691-1 is not prime. Res64: 48C3489A87D8D037 Time : 0.0 sec. user=mdettweiler [2016-09-24 23:31:09] 975*2^1440691-1 is not prime. Res64: 2CF3967D69042A81 Time : 0.0 sec. user=mdettweiler [2016-09-24 23:31:09] 725*2^1440692-1 is not prime. Res64: AFB59690C41A8808 Time : 0.0 sec. user=mdettweiler [2016-09-24 23:39:34] 753*2^1440692-1 is not prime. Res64: 9F05346BEBA96B8D Time : 0.0 sec. user=mdettweiler [2016-09-24 23:39:34] 867*2^1440692-1 is not prime. Res64: 064E0B673011EF18 Time : 0.0 sec. user=mdettweiler [2016-09-24 23:39:35] 909*2^1440692-1 is not prime. Res64: C8F927395A438DAC Time : 0.0 sec. user=mdettweiler [2016-09-24 23:39:35] 935*2^1440692-1 is not prime. Res64: 0BE52469E0620DDE Time : 0.0 sec. user=mdettweiler [2016-09-24 23:39:35] 615*2^1440693-1 is not prime. Res64: D2448ED511C9F8CC Time : 0.0 sec. user=mdettweiler [2016-09-24 23:40:06] 691*2^1440693-1 is not prime. Res64: 100A67345EF72418 Time : 0.0 sec. user=mdettweiler [2016-09-24 23:40:06] 819*2^1440693-1 is not prime. Res64: E0C756315955DEAE Time : 0.0 sec. user=mdettweiler [2016-09-24 23:40:07] 829*2^1440693-1 is not prime. Res64: EEC8307C1A8962A8 Time : 0.0 sec. user=mdettweiler [2016-09-24 23:40:07] 915*2^1440693-1 is not prime. Res64: 9166F53195089B6D Time : 0.0 sec. user=mdettweiler [2016-09-24 23:40:07] 737*2^1440694-1 is not prime. Res64: 020C5E70ECF434AA Time : 0.0 sec. user=mdettweiler [2016-09-24 23:44:20] 755*2^1440694-1 is not prime. Res64: 423147F86811F1A6 Time : 0.0 sec. user=mdettweiler [2016-09-24 23:44:20] 813*2^1440694-1 is not prime. Res64: 4E6F2617718CCEB4 Time : 0.0 sec. user=mdettweiler [2016-09-24 23:44:21] 861*2^1440694-1 is not prime. Res64: 10156305837BDE71 Time : 0.0 sec. user=mdettweiler [2016-09-24 23:44:21] 993*2^1440694-1 is not prime. Res64: 463A83295C7A9140 Time : 0.0 sec. user=mdettweiler [2016-09-24 23:44:22] 609*2^1440695-1 is not prime. Res64: 48AD15FD10AE938C Time : 0.0 sec.