user=mdettweiler [2018-05-04 00:12:17] 677*2^1508860-1 is not prime. Res64: 26351901EA8CA6C1 Time : 0.0 sec. user=mdettweiler [2018-05-04 00:12:17] 983*2^1508860-1 is not prime. Res64: 497CC2A2AAF3DEE3 Time : 0.0 sec. user=mdettweiler [2018-05-04 00:12:18] 995*2^1508860-1 is not prime. Res64: ED224132E74CB637 Time : 0.0 sec. user=mdettweiler [2018-05-04 00:12:18] 999*2^1508860-1 is not prime. Res64: E67836416176422C Time : 0.0 sec. user=mdettweiler [2018-05-04 00:12:19] 651*2^1508861-1 is not prime. Res64: 49084563C79D01F1 Time : 0.0 sec. user=mdettweiler [2018-05-04 00:31:27] 657*2^1508861-1 is not prime. Res64: 025E1440D0D26D64 Time : 0.0 sec. user=mdettweiler [2018-05-04 00:31:28] 789*2^1508861-1 is not prime. Res64: CDEBADD50F84C20A Time : 0.0 sec. user=mdettweiler [2018-05-04 00:31:28] 795*2^1508861-1 is not prime. Res64: 0AC05132E6F0BCED Time : 0.0 sec. user=mdettweiler [2018-05-04 00:31:29] 801*2^1508861-1 is not prime. Res64: 2471585E1096CD53 Time : 0.0 sec. user=mdettweiler [2018-05-04 00:31:29] 829*2^1508861-1 is not prime. Res64: D1E3477B6A2819B4 Time : 0.0 sec. user=mdettweiler [2018-05-04 00:38:52] 879*2^1508861-1 is not prime. Res64: 51FA54C7C2279FF6 Time : 0.0 sec. user=mdettweiler [2018-05-04 00:38:53] 901*2^1508861-1 is not prime. Res64: 07C333F4E0BE453A Time : 0.0 sec. user=mdettweiler [2018-05-04 00:38:53] 713*2^1508862-1 is not prime. Res64: FF76D9A608F9C8F8 Time : 0.0 sec. user=mdettweiler [2018-05-04 00:38:54] 731*2^1508862-1 is not prime. Res64: 3E1BE5DAD741C0A7 Time : 0.0 sec. user=mdettweiler [2018-05-04 00:38:54] 765*2^1508862-1 is not prime. Res64: E5CBEFCA5D9742A6 Time : 0.0 sec. user=mdettweiler [2018-05-04 00:40:41] 777*2^1508862-1 is not prime. Res64: 5D9D02959C52271F Time : 0.0 sec. user=mdettweiler [2018-05-04 00:40:42] 801*2^1508862-1 is not prime. Res64: A716A6D1D129E5DD Time : 0.0 sec. user=mdettweiler [2018-05-04 00:40:42] 873*2^1508862-1 is not prime. Res64: 053C9C5520336DB0 Time : 0.0 sec. user=mdettweiler [2018-05-04 00:40:42] 619*2^1508863-1 is not prime. Res64: 1175B9BB2265F881 Time : 0.0 sec. user=mdettweiler [2018-05-04 00:40:43] 681*2^1508863-1 is not prime. Res64: 54F751E1C6F96CF6 Time : 0.0 sec. user=mdettweiler [2018-05-04 01:04:28] 723*2^1508863-1 is not prime. Res64: C5488DF5CCE99A91 Time : 0.0 sec. user=mdettweiler [2018-05-04 01:04:29] 993*2^1508863-1 is not prime. Res64: 297385C81DD5137F Time : 0.0 sec. user=mdettweiler [2018-05-04 01:04:30] 999*2^1508863-1 is not prime. Res64: 9002825D3AB87B59 Time : 0.0 sec. user=mdettweiler [2018-05-04 01:04:31] 677*2^1508864-1 is not prime. Res64: A4596B73B98BA38D Time : 0.0 sec. user=mdettweiler [2018-05-04 01:04:32] 789*2^1508864-1 is not prime. Res64: ED2633B2DD3145F9 Time : 0.0 sec. user=mdettweiler [2018-05-04 01:23:02] 843*2^1508864-1 is not prime. Res64: 3512D29B55EB5511 Time : 0.0 sec. user=mdettweiler [2018-05-04 01:23:02] 875*2^1508864-1 is not prime. Res64: AC1CE101468505A6 Time : 0.0 sec. user=mdettweiler [2018-05-04 01:23:03] 969*2^1508864-1 is not prime. Res64: 7E7623AE7C82EA5B Time : 0.0 sec. user=mdettweiler [2018-05-04 01:23:03] 993*2^1508864-1 is not prime. Res64: FB1879A5FB20DA28 Time : 0.0 sec. user=mdettweiler [2018-05-04 01:23:03] 601*2^1508865-1 is not prime. Res64: 68029D6F035AFCEC Time : 0.0 sec. user=mdettweiler [2018-05-04 01:31:07] 705*2^1508865-1 is not prime. Res64: 3DEE301CEFD33E33 Time : 0.0 sec. user=mdettweiler [2018-05-04 01:31:08] 727*2^1508865-1 is not prime. Res64: 7FE158A5ECA0BA91 Time : 0.0 sec. user=mdettweiler [2018-05-04 01:31:09] 819*2^1508865-1 is not prime. Res64: 7C99C67654E353DF Time : 0.0 sec. user=mdettweiler [2018-05-04 01:31:09] 877*2^1508865-1 is not prime. Res64: 2260E5FF255EC2B7 Time : 0.0 sec. user=mdettweiler [2018-05-04 01:31:10] 889*2^1508865-1 is not prime. Res64: 278BF9EF7722526F Time : 0.0 sec. user=mdettweiler [2018-05-04 01:32:51] 895*2^1508865-1 is not prime. Res64: A1D79672296A56E9 Time : 0.0 sec. user=mdettweiler [2018-05-04 01:32:53] 617*2^1508866-1 is not prime. Res64: 485506E40394A8CB Time : 0.0 sec. user=mdettweiler [2018-05-04 01:32:54] 645*2^1508866-1 is not prime. Res64: 5DE9AC3ECFA5BC0A Time : 0.0 sec. user=mdettweiler [2018-05-04 01:32:55] 651*2^1508866-1 is not prime. Res64: 90ED59495841E3E8 Time : 0.0 sec. user=mdettweiler [2018-05-04 01:32:56] 833*2^1508866-1 is not prime. Res64: 3E9EE611246D3CF4 Time : 0.0 sec. user=mdettweiler [2018-05-04 02:02:25] 663*2^1508867-1 is not prime. Res64: F684A2E7932175D1 Time : 0.0 sec. user=mdettweiler [2018-05-04 02:02:27] 901*2^1508867-1 is not prime. Res64: 8930229AD30E5A21 Time : 0.0 sec. user=mdettweiler [2018-05-04 02:02:28] 903*2^1508867-1 is not prime. Res64: 17F078B1AB8D86FC Time : 0.0 sec. user=mdettweiler [2018-05-04 02:02:30] 931*2^1508867-1 is not prime. Res64: 5CEE37DBEE3F9034 Time : 0.0 sec. user=mdettweiler [2018-05-04 02:02:32] 669*2^1508868-1 is not prime. Res64: 4DE479BE9AE761E0 Time : 0.0 sec. user=mdettweiler [2018-05-04 02:17:44] 683*2^1508868-1 is not prime. Res64: 62FAA98EEED483BA Time : 0.0 sec. user=mdettweiler [2018-05-04 02:17:44] 789*2^1508868-1 is not prime. Res64: 82FFF32F803B8536 Time : 0.0 sec. user=mdettweiler [2018-05-04 02:17:45] 915*2^1508868-1 is not prime. Res64: FAC7D06208CEDAF9 Time : 0.0 sec. user=mdettweiler [2018-05-04 02:17:45] 969*2^1508868-1 is not prime. Res64: 39CAA9AB15DEEF00 Time : 0.0 sec. user=mdettweiler [2018-05-04 02:17:46] 687*2^1508869-1 is not prime. Res64: 325C83AEECEE5A7B Time : 0.0 sec. user=mdettweiler [2018-05-04 02:28:58] 895*2^1508869-1 is not prime. Res64: 054489E172E0EA67 Time : 0.0 sec. user=mdettweiler [2018-05-04 02:28:59] 939*2^1508869-1 is not prime. Res64: FBE711AC77CB80EF Time : 0.0 sec. user=mdettweiler [2018-05-04 02:28:59] 999*2^1508869-1 is not prime. Res64: 11C3BBEC641B7C24 Time : 0.0 sec. user=mdettweiler [2018-05-04 02:28:59] 711*2^1508870-1 is not prime. Res64: 7738490C6B326438 Time : 0.0 sec. user=mdettweiler [2018-05-04 02:29:00] 861*2^1508870-1 is not prime. Res64: AF79D0798FA9713A Time : 0.0 sec. user=mdettweiler [2018-05-04 02:35:29] 893*2^1508870-1 is not prime. Res64: 65049ACF1836C369 Time : 0.0 sec. user=mdettweiler [2018-05-04 02:35:30] 619*2^1508871-1 is not prime. Res64: 2D94AAE5F46C9E63 Time : 0.0 sec. user=mdettweiler [2018-05-04 02:35:30] 621*2^1508871-1 is not prime. Res64: 6BE33D22D2350643 Time : 0.0 sec. user=mdettweiler [2018-05-04 02:35:30] 751*2^1508871-1 is not prime. Res64: CCD6C6B2D716D4F7 Time : 0.0 sec. user=mdettweiler [2018-05-04 02:35:31] 885*2^1508871-1 is not prime. Res64: 8C248F90318916F6 Time : 0.0 sec. user=mdettweiler [2018-05-04 03:00:00] 891*2^1508871-1 is not prime. Res64: 4F9EAEDDFD805BA2 Time : 0.0 sec. user=mdettweiler [2018-05-04 03:00:00] 975*2^1508871-1 is not prime. Res64: 853BE3ACC1A54184 Time : 0.0 sec. user=mdettweiler [2018-05-04 03:00:01] 615*2^1508872-1 is not prime. Res64: A827C615BCD2C7D8 Time : 0.0 sec. user=mdettweiler [2018-05-04 03:00:03] 657*2^1508872-1 is not prime. Res64: 8C95FECFCC71093D Time : 0.0 sec. user=mdettweiler [2018-05-04 03:00:04] 755*2^1508872-1 is not prime. Res64: 720CD42465FA008B Time : 0.0 sec. user=mdettweiler [2018-05-04 03:12:08] 797*2^1508872-1 is not prime. Res64: C527D3E55D85301F Time : 0.0 sec. user=mdettweiler [2018-05-04 03:12:08] 819*2^1508872-1 is not prime. Res64: E33E171788536816 Time : 0.0 sec. user=mdettweiler [2018-05-04 03:12:09] 827*2^1508872-1 is not prime. Res64: BDF16078518DE7C2 Time : 0.0 sec. user=mdettweiler [2018-05-04 03:12:09] 849*2^1508872-1 is not prime. Res64: 784F438B13174EDD Time : 0.0 sec. user=mdettweiler [2018-05-04 03:12:10] 691*2^1508873-1 is not prime. Res64: FA499EC580E18A1A Time : 0.0 sec. user=mdettweiler [2018-05-04 03:22:06] 615*2^1508874-1 is not prime. Res64: 6AC0532579B0B6D3 Time : 0.0 sec. user=mdettweiler [2018-05-04 03:22:06] 717*2^1508874-1 is not prime. Res64: D101113C47F6ECE9 Time : 0.0 sec. user=mdettweiler [2018-05-04 03:22:07] 755*2^1508874-1 is not prime. Res64: 7DCE680B8094CF2E Time : 0.0 sec. user=mdettweiler [2018-05-04 03:22:07] 921*2^1508874-1 is not prime. Res64: D69CBFD663F2C835 Time : 0.0 sec. user=mdettweiler [2018-05-04 03:22:07] 633*2^1508875-1 is not prime. Res64: 38574B4CAFA4F0C2 Time : 0.0 sec. user=mdettweiler [2018-05-04 03:29:16] 645*2^1508875-1 is not prime. Res64: E97BD7A59D9BB385 Time : 0.0 sec. user=mdettweiler [2018-05-04 03:29:16] 693*2^1508875-1 is not prime. Res64: 0932257E81C2CE9E Time : 0.0 sec. user=mdettweiler [2018-05-04 03:29:17] 849*2^1508875-1 is not prime. Res64: 910FF71A5BA3EBB5 Time : 0.0 sec. user=mdettweiler [2018-05-04 03:29:18] 859*2^1508875-1 is not prime. Res64: 054E8FAA8CD1A780 Time : 0.0 sec. user=mdettweiler [2018-05-04 03:29:19] 999*2^1508875-1 is not prime. Res64: 34FF9DC5B9AA75B7 Time : 0.0 sec. user=mdettweiler [2018-05-04 03:55:15] 615*2^1508876-1 is not prime. Res64: D9764165B389CFC8 Time : 0.0 sec. user=mdettweiler [2018-05-04 03:55:17] 633*2^1508876-1 is not prime. Res64: CDEF7E52D7710BDF Time : 0.0 sec. user=mdettweiler [2018-05-04 03:55:18] 843*2^1508876-1 is not prime. Res64: B13782D669A966D9 Time : 0.0 sec. user=mdettweiler [2018-05-04 03:55:20] 845*2^1508876-1 is not prime. Res64: A80AAE7BA0F93C18 Time : 0.0 sec. user=mdettweiler [2018-05-04 03:55:22] 923*2^1508876-1 is not prime. Res64: 25B53532B21C2E2C Time : 0.0 sec. user=mdettweiler [2018-05-04 04:05:12] 927*2^1508876-1 is not prime. Res64: 879DCC8159AA5123 Time : 0.0 sec. user=mdettweiler [2018-05-04 04:05:15] 935*2^1508876-1 is not prime. Res64: 54AE52B5AE8D0872 Time : 0.0 sec. user=mdettweiler [2018-05-04 04:05:17] 957*2^1508876-1 is not prime. Res64: D54F67691451A172 Time : 0.0 sec. user=mdettweiler [2018-05-04 04:05:19] 661*2^1508877-1 is not prime. Res64: 0AD959E61169300E Time : 0.0 sec. user=mdettweiler [2018-05-04 04:05:21] 717*2^1508877-1 is not prime. Res64: 09C947E3A891B448 Time : 0.0 sec. user=mdettweiler [2018-05-04 04:15:19] 751*2^1508877-1 is not prime. Res64: 9FDB230910F1E563 Time : 0.0 sec. user=mdettweiler [2018-05-04 04:21:55] 815*2^1508878-1 is not prime. Res64: 635C2FB449980C7A Time : 0.0 sec. user=mdettweiler [2018-05-04 04:21:55] 855*2^1508878-1 is not prime. Res64: E898726B67CBD4A6 Time : 0.0 sec. user=mdettweiler [2018-05-04 04:21:56] 945*2^1508878-1 is not prime. Res64: 692B4659BBFF8025 Time : 0.0 sec. user=mdettweiler [2018-05-04 04:21:57] 601*2^1508879-1 is not prime. Res64: 0465C2FFD132CE22 Time : 0.0 sec. user=mdettweiler [2018-05-04 04:21:58] 711*2^1508879-1 is not prime. Res64: 07A26C4F48ED9907 Time : 0.0 sec. user=mdettweiler [2018-05-04 04:51:31] 745*2^1508879-1 is not prime. Res64: 63918697D233182B Time : 0.0 sec. user=mdettweiler [2018-05-04 04:51:31] 841*2^1508879-1 is not prime. Res64: C0A7EDF843F03FD4 Time : 0.0 sec. user=mdettweiler [2018-05-04 04:51:32] 885*2^1508879-1 is not prime. Res64: 24D46E2C7079500F Time : 0.0 sec. user=mdettweiler [2018-05-04 04:51:33] 707*2^1508880-1 is not prime. Res64: 0B7013BE3DACD285 Time : 0.0 sec. user=mdettweiler [2018-05-04 04:51:33] 725*2^1508880-1 is not prime. Res64: EF6E9FBA8DA6BC1B Time : 0.0 sec. user=mdettweiler [2018-05-04 05:02:39] 735*2^1508880-1 is not prime. Res64: 448E5333346F3C77 Time : 0.0 sec. user=mdettweiler [2018-05-04 05:02:45] 747*2^1508880-1 is not prime. Res64: CBD37C5F001417A6 Time : 0.0 sec. user=mdettweiler [2018-05-04 05:02:48] 779*2^1508880-1 is not prime. Res64: F177BF76FD38C5A7 Time : 0.0 sec. user=mdettweiler [2018-05-04 05:02:50] 797*2^1508880-1 is not prime. Res64: B7105F6D4CF43402 Time : 0.0 sec. user=mdettweiler [2018-05-04 05:02:52] 863*2^1508880-1 is not prime. Res64: D4ACB63D4D8F0C1C Time : 0.0 sec. user=mdettweiler [2018-05-04 05:17:16] 879*2^1508880-1 is not prime. Res64: 546B94F4F4EAA91C Time : 0.0 sec. user=mdettweiler [2018-05-04 05:17:16] 999*2^1508880-1 is not prime. Res64: A063B28B0072B1A4 Time : 0.0 sec. user=mdettweiler [2018-05-04 05:17:17] 615*2^1508881-1 is not prime. Res64: 84010E3BA62C0A9E Time : 0.0 sec. user=mdettweiler [2018-05-04 05:17:17] 625*2^1508881-1 is not prime. Res64: 852E942E915456A5 Time : 0.0 sec. user=mdettweiler [2018-05-04 05:17:18] 681*2^1508881-1 is not prime. Res64: 02DAE94C626BD213 Time : 0.0 sec. user=mdettweiler [2018-05-04 05:46:02] 769*2^1508881-1 is not prime. Res64: 0B49D6364AE8E15F Time : 0.0 sec. user=mdettweiler [2018-05-04 05:46:03] 807*2^1508881-1 is not prime. Res64: CBEC8365063ADD6A Time : 0.0 sec. user=mdettweiler [2018-05-04 05:46:03] 979*2^1508881-1 is not prime. Res64: 3370B5ED59B70B4C Time : 0.0 sec. user=mdettweiler [2018-05-04 05:46:04] 651*2^1508882-1 is not prime. Res64: C6250E8F459B7BAD Time : 0.0 sec. user=mdettweiler [2018-05-04 05:46:04] 713*2^1508882-1 is not prime. Res64: 0F2703A38F2FD199 Time : 0.0 sec. user=mdettweiler [2018-05-04 05:58:02] 735*2^1508882-1 is not prime. Res64: F14CCEE6E2F7AD98 Time : 0.0 sec. user=mdettweiler [2018-05-04 05:58:02] 743*2^1508882-1 is not prime. Res64: 60CB456B677573CE Time : 0.0 sec. user=mdettweiler [2018-05-04 05:58:03] 953*2^1508882-1 is not prime. Res64: 0E7EF0CF12AA94E9 Time : 0.0 sec. user=mdettweiler [2018-05-04 05:58:03] 609*2^1508883-1 is not prime. Res64: BE163F3370B9C643 Time : 0.0 sec. user=mdettweiler [2018-05-04 05:58:03] 745*2^1508883-1 is not prime. Res64: 352F1372A1BA6D39 Time : 0.0 sec. user=mdettweiler [2018-05-04 06:11:26] 829*2^1508883-1 is not prime. Res64: 1534C85603BC57B0 Time : 0.0 sec. user=mdettweiler [2018-05-04 06:11:26] 639*2^1508884-1 is not prime. Res64: B3048CB9F9FEA80A Time : 0.0 sec. user=mdettweiler [2018-05-04 06:11:27] 843*2^1508884-1 is not prime. Res64: 9293494DBF3F0958 Time : 0.0 sec. user=mdettweiler [2018-05-04 06:11:27] 903*2^1508884-1 is not prime. Res64: C200C97D5DF1196E Time : 0.0 sec. user=mdettweiler [2018-05-04 06:11:27] 959*2^1508884-1 is not prime. Res64: 07F375AEE9D940C9 Time : 0.0 sec. user=mdettweiler [2018-05-04 06:41:51] 983*2^1508884-1 is not prime. Res64: BA9FF27EB630C382 Time : 0.0 sec. user=mdettweiler [2018-05-04 06:41:52] 619*2^1508885-1 is not prime. Res64: 70E0AB4D31F2F685 Time : 0.0 sec. user=mdettweiler [2018-05-04 06:41:52] 727*2^1508885-1 is not prime. Res64: B927AFCFA520F0C2 Time : 0.0 sec. user=mdettweiler [2018-05-04 06:41:52] 777*2^1508885-1 is not prime. Res64: E76691D4610B16E7 Time : 0.0 sec. user=mdettweiler [2018-05-04 06:41:53] 787*2^1508885-1 is not prime. Res64: 22F12B34446315AC Time : 0.0 sec. user=mdettweiler [2018-05-04 06:53:06] 867*2^1508885-1 is not prime. Res64: 4FA2E2072C04CF2B Time : 0.0 sec. user=mdettweiler [2018-05-04 06:53:06] 871*2^1508885-1 is not prime. Res64: 0E65C853340EE89E Time : 0.0 sec. user=mdettweiler [2018-05-04 06:53:07] 939*2^1508885-1 is not prime. Res64: A3460B6811573409 Time : 0.0 sec. user=mdettweiler [2018-05-04 06:53:07] 955*2^1508885-1 is not prime. Res64: 62E876D2E5C0AE89 Time : 0.0 sec. user=mdettweiler [2018-05-04 06:53:07] 707*2^1508886-1 is not prime. Res64: 6B33BBE5F6670ED3 Time : 0.0 sec. user=mdettweiler [2018-05-04 07:07:26] 741*2^1508886-1 is not prime. Res64: 52E69C03E9562410 Time : 0.0 sec. user=mdettweiler [2018-05-04 07:07:27] 891*2^1508886-1 is not prime. Res64: EC9B074AF3DC2945 Time : 0.0 sec. user=mdettweiler [2018-05-04 07:07:27] 945*2^1508886-1 is not prime. Res64: 6C2A4998DAA05CC7 Time : 0.0 sec. user=mdettweiler [2018-05-04 07:07:28] 947*2^1508886-1 is not prime. Res64: C116E9F89EE0A35D Time : 0.0 sec. user=mdettweiler [2018-05-04 07:07:29] 975*2^1508886-1 is not prime. Res64: FAE40050AF7A774D Time : 0.0 sec. user=mdettweiler [2018-05-04 07:36:46] 1001*2^1508886-1 is not prime. Res64: D1C9F8A5AF5E0999 Time : 0.0 sec. user=mdettweiler [2018-05-04 07:36:47] 651*2^1508887-1 is not prime. Res64: E86AB5ABD77D7B34 Time : 0.0 sec. user=mdettweiler [2018-05-04 07:36:47] 693*2^1508887-1 is not prime. Res64: CC21D04DC94D312E Time : 0.0 sec. user=mdettweiler [2018-05-04 07:36:48] 765*2^1508887-1 is not prime. Res64: 9C54D3C2D5CB8EE2 Time : 0.0 sec. user=mdettweiler [2018-05-04 07:36:48] 775*2^1508887-1 is not prime. Res64: 5576FCC2DC1EF378 Time : 0.0 sec. user=mdettweiler [2018-05-04 07:48:06] 909*2^1508887-1 is not prime. Res64: B590BD1C3730B059 Time : 0.0 sec. user=mdettweiler [2018-05-04 07:48:06] 939*2^1508887-1 is not prime. Res64: 49EBF5672F0BE6EB Time : 0.0 sec. user=mdettweiler [2018-05-04 07:48:07] 623*2^1508888-1 is not prime. Res64: ED61750BC5F11F04 Time : 0.0 sec. user=mdettweiler [2018-05-04 07:48:07] 677*2^1508888-1 is not prime. Res64: FE9AC050D7385C98 Time : 0.0 sec. user=mdettweiler [2018-05-04 07:48:07] 713*2^1508888-1 is not prime. Res64: 3C8165CAE9ACEDD4 Time : 0.0 sec. user=mdettweiler [2018-05-04 07:54:11] 765*2^1508877-1 is not prime. Res64: 63CACB76DFB423AA Time : 0.0 sec. user=mdettweiler [2018-05-04 07:54:12] 871*2^1508877-1 is not prime. Res64: 947138CDDAC7E4E5 Time : 0.0 sec. user=mdettweiler [2018-05-04 07:54:12] 605*2^1508878-1 is not prime. Res64: 5FC999A1B4AE18C8 Time : 0.0 sec. user=mdettweiler [2018-05-04 07:54:13] 687*2^1508878-1 is not prime. Res64: 0446F9C640E14EE8 Time : 0.0 sec. user=mdettweiler [2018-05-04 08:02:26] 837*2^1508888-1 is not prime. Res64: 8EEDC6B8A524A38D Time : 0.0 sec. user=mdettweiler [2018-05-04 08:02:27] 845*2^1508888-1 is not prime. Res64: 39FD37CC97BE8345 Time : 0.0 sec. user=mdettweiler [2018-05-04 08:02:29] 963*2^1508888-1 is not prime. Res64: 7EB7E9806C67DAAF Time : 0.0 sec. user=mdettweiler [2018-05-04 08:02:30] 667*2^1508889-1 is not prime. Res64: A5E7F3B496F33413 Time : 0.0 sec. user=mdettweiler [2018-05-04 08:02:31] 705*2^1508889-1 is not prime. Res64: 1088CC9242940111 Time : 0.0 sec. user=mdettweiler [2018-05-04 08:31:51] 709*2^1508889-1 is not prime. Res64: 17EE3402876F810E Time : 0.0 sec. user=mdettweiler [2018-05-04 08:31:51] 847*2^1508889-1 is not prime. Res64: 661A46FE9FCA523A Time : 0.0 sec. user=mdettweiler [2018-05-04 08:31:52] 885*2^1508889-1 is not prime. Res64: 09AE3E4E988DED0B Time : 0.0 sec. user=mdettweiler [2018-05-04 08:31:52] 909*2^1508889-1 is not prime. Res64: F3664E0C0298879F Time : 0.0 sec. user=mdettweiler [2018-05-04 08:31:52] 921*2^1508889-1 is not prime. Res64: 0FA68C5E8EEB8EAF Time : 0.0 sec. user=mdettweiler [2018-05-04 08:42:38] 945*2^1508889-1 is not prime. Res64: 845A4CCCB2EF2967 Time : 0.0 sec. user=mdettweiler [2018-05-04 08:42:38] 999*2^1508889-1 is not prime. Res64: C81147209F53A7E8 Time : 0.0 sec. user=mdettweiler [2018-05-04 08:42:38] 635*2^1508890-1 is not prime. Res64: C048D25554FA52B4 Time : 0.0 sec. user=mdettweiler [2018-05-04 08:42:39] 675*2^1508890-1 is not prime. Res64: C0BFDDFDEEC4CF26 Time : 0.0 sec. user=mdettweiler [2018-05-04 08:42:39] 731*2^1508890-1 is not prime. Res64: BCE944589E552821 Time : 0.0 sec. user=mdettweiler [2018-05-04 08:47:22] 825*2^1508890-1 is not prime. Res64: 0D43669D8C3B3EA9 Time : 0.0 sec. user=mdettweiler [2018-05-04 08:47:23] 867*2^1508890-1 is not prime. Res64: 49ACE3191B55363E Time : 0.0 sec. user=mdettweiler [2018-05-04 08:47:23] 1001*2^1508890-1 is not prime. Res64: 1AABE0FDE3EFE474 Time : 0.0 sec. user=mdettweiler [2018-05-04 08:47:24] 621*2^1508891-1 is not prime. Res64: 0A76AE81745CB996 Time : 0.0 sec. user=mdettweiler [2018-05-04 08:47:24] 813*2^1508891-1 is not prime. Res64: BA4D321AA8E2CD2D Time : 0.0 sec. user=mdettweiler [2018-05-04 08:56:19] 699*2^1508892-1 is not prime. Res64: 81828949E4694595 Time : 0.0 sec. user=mdettweiler [2018-05-04 08:56:20] 759*2^1508892-1 is not prime. Res64: 8E535FDFAC892E5C Time : 0.0 sec. user=mdettweiler [2018-05-04 08:56:20] 837*2^1508892-1 is not prime. Res64: C5B69064F0EDF23E Time : 0.0 sec. user=mdettweiler [2018-05-04 08:56:21] 843*2^1508892-1 is not prime. Res64: 5A04D5E9F520582B Time : 0.0 sec. user=mdettweiler [2018-05-04 08:56:21] 909*2^1508892-1 is not prime. Res64: 447C1303C6CF5307 Time : 0.0 sec. user=mdettweiler [2018-05-04 09:24:30] 977*2^1508892-1 is not prime. Res64: E457500A1AD58B21 Time : 0.0 sec. user=mdettweiler [2018-05-04 09:24:30] 621*2^1508893-1 is not prime. Res64: AA4152CB72B3B58C Time : 0.0 sec. user=mdettweiler [2018-05-04 09:24:31] 649*2^1508893-1 is not prime. Res64: CACACF9A2A2875A5 Time : 0.0 sec. user=mdettweiler [2018-05-04 09:24:31] 691*2^1508893-1 is not prime. Res64: F8A3B273184C6981 Time : 0.0 sec. user=mdettweiler [2018-05-04 09:24:32] 861*2^1508893-1 is not prime. Res64: 31A08ABD551E510E Time : 0.0 sec. user=mdettweiler [2018-05-04 09:35:40] 671*2^1508894-1 is not prime. Res64: DAB9753E74091A2B Time : 0.0 sec. user=mdettweiler [2018-05-04 09:35:41] 705*2^1508894-1 is not prime. Res64: 6D6FE195E5ABCB0A Time : 0.0 sec. user=mdettweiler [2018-05-04 09:35:41] 755*2^1508894-1 is not prime. Res64: 2202E294C9BB2C90 Time : 0.0 sec. user=mdettweiler [2018-05-04 09:35:42] 827*2^1508894-1 is not prime. Res64: 465E53B30E7FAAB3 Time : 0.0 sec. user=mdettweiler [2018-05-04 09:35:42] 861*2^1508894-1 is not prime. Res64: 93A30A4DB9CB881D Time : 0.0 sec. user=mdettweiler [2018-05-04 09:40:01] 885*2^1508894-1 is not prime. Res64: D11DDBFA21551AE0 Time : 0.0 sec. user=mdettweiler [2018-05-04 09:40:01] 935*2^1508894-1 is not prime. Res64: B8A5A187FC9BA0EE Time : 0.0 sec. user=mdettweiler [2018-05-04 09:40:02] 983*2^1508894-1 is not prime. Res64: D210378A52C89DBF Time : 0.0 sec. user=mdettweiler [2018-05-04 09:40:02] 619*2^1508895-1 is not prime. Res64: EB4D6B8D13C9C89C Time : 0.0 sec. user=mdettweiler [2018-05-04 09:40:02] 663*2^1508895-1 is not prime. Res64: 1F36860C791506F9 Time : 0.0 sec. user=mdettweiler [2018-05-04 09:48:59] 679*2^1508895-1 is not prime. Res64: 59DCDAF9031083BE Time : 0.0 sec. user=mdettweiler [2018-05-04 09:48:59] 709*2^1508895-1 is not prime. Res64: 8B959857144FA5E1 Time : 0.0 sec. user=mdettweiler [2018-05-04 09:48:59] 825*2^1508895-1 is not prime. Res64: CD489EE9C0CC6023 Time : 0.0 sec. user=mdettweiler [2018-05-04 09:49:00] 871*2^1508895-1 is not prime. Res64: 0D81D0F3FF7C279D Time : 0.0 sec. user=mdettweiler [2018-05-04 09:49:00] 743*2^1508896-1 is not prime. Res64: F3EA73D797401062 Time : 0.0 sec. user=mdettweiler [2018-05-04 10:18:41] 905*2^1508896-1 is not prime. Res64: C6471F2B70D49882 Time : 0.0 sec. user=mdettweiler [2018-05-04 10:18:41] 969*2^1508896-1 is not prime. Res64: BFBD7251985846BF Time : 0.0 sec. user=mdettweiler [2018-05-04 10:18:42] 627*2^1508897-1 is not prime. Res64: 8CDEBFC7D4B57C4E Time : 0.0 sec. user=mdettweiler [2018-05-04 10:18:42] 675*2^1508897-1 is not prime. Res64: F641BFB7F105CD8A Time : 0.0 sec. user=mdettweiler [2018-05-04 10:18:43] 759*2^1508897-1 is not prime. Res64: A9B1E071B76E5874 Time : 0.0 sec. user=mdettweiler [2018-05-04 10:30:09] 769*2^1508897-1 is not prime. Res64: A1B2A7EB034CE31F Time : 0.0 sec. user=mdettweiler [2018-05-04 10:30:09] 799*2^1508897-1 is not prime. Res64: B3939C47AB1C3886 Time : 0.0 sec. user=mdettweiler [2018-05-04 10:30:10] 819*2^1508897-1 is not prime. Res64: 1A9CD27579B3013A Time : 0.0 sec. user=mdettweiler [2018-05-04 10:30:10] 841*2^1508897-1 is not prime. Res64: A5951CC80DF0EAE5 Time : 0.0 sec. user=mdettweiler [2018-05-04 10:30:10] 997*2^1508897-1 is not prime. Res64: BDA868CE57272CEC Time : 0.0 sec. user=mdettweiler [2018-05-04 10:32:47] 611*2^1508898-1 is not prime. Res64: 16D8D44B9C6A4463 Time : 0.0 sec. user=mdettweiler [2018-05-04 10:32:47] 677*2^1508898-1 is not prime. Res64: 79FA825D2F216C60 Time : 0.0 sec. user=mdettweiler [2018-05-04 10:32:48] 681*2^1508898-1 is not prime. Res64: 717A8ACE2B019F72 Time : 0.0 sec. user=mdettweiler [2018-05-04 10:32:48] 683*2^1508898-1 is not prime. Res64: 1D8542FCBE310FA3 Time : 0.0 sec. user=mdettweiler [2018-05-04 10:32:49] 755*2^1508898-1 is not prime. Res64: 294F65B66954467D Time : 0.0 sec. user=mdettweiler [2018-05-04 10:42:05] 797*2^1508898-1 is not prime. Res64: 1193DE572BC46ABB Time : 0.0 sec. user=mdettweiler [2018-05-04 10:42:06] 905*2^1508898-1 is not prime. Res64: 1AE85240ECDC1375 Time : 0.0 sec. user=mdettweiler [2018-05-04 10:42:06] 927*2^1508898-1 is not prime. Res64: 7FECB7CBD7BC9F5E Time : 0.0 sec. user=mdettweiler [2018-05-04 10:42:06] 945*2^1508898-1 is not prime. Res64: C1B89AC3C5B3B979 Time : 0.0 sec. user=mdettweiler [2018-05-04 10:42:07] 619*2^1508899-1 is not prime. Res64: AF9639226079F799 Time : 0.0 sec. user=mdettweiler [2018-05-04 11:12:05] 649*2^1508899-1 is not prime. Res64: B3618F0A78A11C43 Time : 0.0 sec. user=mdettweiler [2018-05-04 11:12:05] 759*2^1508899-1 is not prime. Res64: E1235A5AF2177C34 Time : 0.0 sec. user=mdettweiler [2018-05-04 11:12:06] 801*2^1508899-1 is not prime. Res64: 8E9F300D25AADBCD Time : 0.0 sec. user=mdettweiler [2018-05-04 11:12:06] 939*2^1508899-1 is not prime. Res64: 0C432F477102A9E5 Time : 0.0 sec. user=mdettweiler [2018-05-04 11:12:07] 633*2^1508900-1 is not prime. Res64: 16D84615E0D9BA3E Time : 0.0 sec. user=mdettweiler [2018-05-04 11:22:32] 803*2^1508900-1 is not prime. Res64: E2E46FA5123B9797 Time : 0.0 sec. user=mdettweiler [2018-05-04 11:22:32] 899*2^1508900-1 is not prime. Res64: D39DC78386AD7C6D Time : 0.0 sec. user=mdettweiler [2018-05-04 11:22:33] 923*2^1508900-1 is not prime. Res64: A0B22063485C6613 Time : 0.0 sec. user=mdettweiler [2018-05-04 11:22:33] 999*2^1508900-1 is not prime. Res64: 85F1399ED3399812 Time : 0.0 sec. user=mdettweiler [2018-05-04 11:22:34] 615*2^1508901-1 is not prime. Res64: DD76E92558FAE9A9 Time : 0.0 sec. user=mdettweiler [2018-05-04 11:25:31] 651*2^1508901-1 is not prime. Res64: C58E1712963B7F67 Time : 0.0 sec. user=mdettweiler [2018-05-04 11:25:33] 685*2^1508901-1 is not prime. Res64: C0B496BD562DA5C8 Time : 0.0 sec. user=mdettweiler [2018-05-04 11:25:34] 781*2^1508901-1 is not prime. Res64: 0A5D525C22192D76 Time : 0.0 sec. user=mdettweiler [2018-05-04 11:25:35] 871*2^1508901-1 is not prime. Res64: C452FCC68C7BB542 Time : 0.0 sec. user=mdettweiler [2018-05-04 11:25:36] 961*2^1508901-1 is not prime. Res64: BFE5B6EFABAB44AF Time : 0.0 sec. user=mdettweiler [2018-05-04 11:35:20] 717*2^1508902-1 is not prime. Res64: B37A717AEB6D8E0E Time : 0.0 sec. user=mdettweiler [2018-05-04 11:35:20] 965*2^1508902-1 is not prime. Res64: A2D34E580075E485 Time : 0.0 sec. user=mdettweiler [2018-05-04 11:35:21] 987*2^1508902-1 is not prime. Res64: 26F57DD8CFEBE870 Time : 0.0 sec. user=mdettweiler [2018-05-04 11:35:21] 995*2^1508902-1 is not prime. Res64: 4ECDBDF477159130 Time : 0.0 sec. user=mdettweiler [2018-05-04 11:35:22] 669*2^1508903-1 is not prime. Res64: 405B474C01EF7941 Time : 0.0 sec. user=mdettweiler [2018-05-04 12:06:07] 715*2^1508903-1 is not prime. Res64: FF9052FE038AF06C Time : 0.0 sec. user=mdettweiler [2018-05-04 12:06:09] 763*2^1508903-1 is not prime. Res64: 51BBE05E1584A84A Time : 0.0 sec. user=mdettweiler [2018-05-04 12:06:10] 789*2^1508903-1 is not prime. Res64: 8AD2399AD01A550A Time : 0.0 sec. user=mdettweiler [2018-05-04 12:06:11] 859*2^1508903-1 is not prime. Res64: 9E9F7073018E7C21 Time : 0.0 sec. user=mdettweiler [2018-05-04 12:06:13] 885*2^1508903-1 is not prime. Res64: 05F25C6E98B03D70 Time : 0.0 sec. user=mdettweiler [2018-05-04 12:17:09] 689*2^1508904-1 is not prime. Res64: 6730E2E90AA5ECD0 Time : 0.0 sec. user=mdettweiler [2018-05-04 12:17:10] 693*2^1508904-1 is not prime. Res64: 9C630104828AB298 Time : 0.0 sec. user=mdettweiler [2018-05-04 12:17:10] 695*2^1508904-1 is not prime. Res64: 5782CA89C610A678 Time : 0.0 sec. user=mdettweiler [2018-05-04 12:17:11] 707*2^1508904-1 is not prime. Res64: 529BE17508ED3339 Time : 0.0 sec. user=mdettweiler [2018-05-04 12:17:11] 753*2^1508904-1 is not prime. Res64: 41A467305226DB25 Time : 0.0 sec. user=mdettweiler [2018-05-04 12:22:19] 759*2^1508904-1 is not prime. Res64: 2A4322DCA5A48A2E Time : 0.0 sec. user=mdettweiler [2018-05-04 12:22:19] 773*2^1508904-1 is not prime. Res64: 275B5BDE7279500C Time : 0.0 sec. user=mdettweiler [2018-05-04 12:22:20] 809*2^1508904-1 is not prime. Res64: 56D336D64F76FC44 Time : 0.0 sec. user=mdettweiler [2018-05-04 12:22:20] 905*2^1508904-1 is not prime. Res64: 30AA1E75FE785756 Time : 0.0 sec. user=mdettweiler [2018-05-04 12:22:20] 927*2^1508904-1 is not prime. Res64: 129D901B1ECA6F91 Time : 0.0 sec. user=mdettweiler [2018-05-04 12:28:50] 649*2^1508905-1 is not prime. Res64: F5825A50491B242F Time : 0.0 sec. user=mdettweiler [2018-05-04 12:28:50] 699*2^1508905-1 is not prime. Res64: 5D77BB24991BDBDE Time : 0.0 sec. user=mdettweiler [2018-05-04 12:28:50] 705*2^1508905-1 is not prime. Res64: 11BC0CE7C492C644 Time : 0.0 sec. user=mdettweiler [2018-05-04 12:28:51] 715*2^1508905-1 is not prime. Res64: 72E04DED8BEA75B2 Time : 0.0 sec. user=mdettweiler [2018-05-04 12:28:51] 741*2^1508905-1 is not prime. Res64: 02AB4A4CEC21FC27 Time : 0.0 sec. user=mdettweiler [2018-05-04 13:01:39] 801*2^1508905-1 is not prime. Res64: 6ED32266634046F3 Time : 0.0 sec. user=mdettweiler [2018-05-04 13:01:40] 871*2^1508905-1 is not prime. Res64: B58066231E0A7D9B Time : 0.0 sec. user=mdettweiler [2018-05-04 13:01:40] 895*2^1508905-1 is not prime. Res64: BB859B57D30D2F70 Time : 0.0 sec. user=mdettweiler [2018-05-04 13:01:41] 617*2^1508906-1 is not prime. Res64: A775C060EA2D54DB Time : 0.0 sec. user=mdettweiler [2018-05-04 13:01:42] 683*2^1508906-1 is not prime. Res64: AD6C3145F7E3F99B Time : 0.0 sec. user=mdettweiler [2018-05-04 13:12:49] 705*2^1508906-1 is not prime. Res64: 9180E20ABE0A300A Time : 0.0 sec. user=mdettweiler [2018-05-04 13:12:49] 783*2^1508906-1 is not prime. Res64: BA598B47C38DE7B4 Time : 0.0 sec. user=mdettweiler [2018-05-04 13:12:50] 833*2^1508906-1 is not prime. Res64: A81F01C5AFB6B339 Time : 0.0 sec. user=mdettweiler [2018-05-04 13:12:50] 921*2^1508906-1 is not prime. Res64: 01A1D2526E56D01F Time : 0.0 sec. user=mdettweiler [2018-05-04 13:12:51] 941*2^1508906-1 is not prime. Res64: AD77A45686103F9C Time : 0.0 sec. user=mdettweiler [2018-05-04 13:17:26] 963*2^1508906-1 is not prime. Res64: 75F1822CC6B0C55B Time : 0.0 sec. user=mdettweiler [2018-05-04 13:17:27] 765*2^1508907-1 is not prime. Res64: 62ADA6D08665FE5C Time : 0.0 sec. user=mdettweiler [2018-05-04 13:17:27] 793*2^1508907-1 is not prime. Res64: AD373F95AB73FF20 Time : 0.0 sec. user=mdettweiler [2018-05-04 13:17:28] 955*2^1508907-1 is not prime. Res64: C1F95E2D76FE8B2D Time : 0.0 sec. user=mdettweiler [2018-05-04 13:17:28] 973*2^1508907-1 is not prime. Res64: AB08C742F5FA67C5 Time : 0.0 sec. user=mdettweiler [2018-05-04 13:22:55] 629*2^1508908-1 is not prime. Res64: 8D16EF28981C520F Time : 0.0 sec. user=mdettweiler [2018-05-04 13:22:56] 783*2^1508908-1 is not prime. Res64: E335671EC4015E23 Time : 0.0 sec. user=mdettweiler [2018-05-04 13:22:56] 887*2^1508908-1 is not prime. Res64: A5154B04E032CBE9 Time : 0.0 sec. user=mdettweiler [2018-05-04 13:22:57] 697*2^1508909-1 is not prime. Res64: C98FA4CD027C79B1 Time : 0.0 sec. user=mdettweiler [2018-05-04 13:22:57] 729*2^1508909-1 is not prime. Res64: 58387A546ADED6DB Time : 0.0 sec. user=mdettweiler [2018-05-04 13:56:02] 811*2^1508909-1 is not prime. Res64: F020FCB0AF8F3FC7 Time : 0.0 sec. user=mdettweiler [2018-05-04 13:56:02] 865*2^1508909-1 is not prime. Res64: BB7134A1D2CEE3A7 Time : 0.0 sec. user=mdettweiler [2018-05-04 13:56:02] 927*2^1508909-1 is not prime. Res64: 3E2A53DF6D9062E4 Time : 0.0 sec. user=mdettweiler [2018-05-04 13:56:03] 931*2^1508909-1 is not prime. Res64: 026E307A14201C76 Time : 0.0 sec. user=mdettweiler [2018-05-04 13:56:03] 997*2^1508909-1 is not prime. Res64: E96180F89849C9D8 Time : 0.0 sec. user=mdettweiler [2018-05-04 14:07:30] 725*2^1508910-1 is not prime. Res64: AF1BD285768803E1 Time : 0.0 sec. user=mdettweiler [2018-05-04 14:07:30] 893*2^1508910-1 is not prime. Res64: CA7BA48613205CFD Time : 0.0 sec. user=mdettweiler [2018-05-04 14:07:31] 693*2^1508911-1 is not prime. Res64: 7CEAE2FDDA77BD75 Time : 0.0 sec. user=mdettweiler [2018-05-04 14:07:31] 703*2^1508911-1 is not prime. Res64: 7C98DE8508424F3C Time : 0.0 sec. user=mdettweiler [2018-05-04 14:07:32] 811*2^1508911-1 is not prime. Res64: 621925986AA95D72 Time : 0.0 sec. user=mdettweiler [2018-05-04 14:10:14] 943*2^1508911-1 is not prime. Res64: C84CD41B7648D807 Time : 0.0 sec. user=mdettweiler [2018-05-04 14:10:14] 979*2^1508911-1 is not prime. Res64: 33C9EF77970EEC04 Time : 0.0 sec. user=mdettweiler [2018-05-04 14:10:14] 999*2^1508911-1 is not prime. Res64: C980D422922F45F6 Time : 0.0 sec. user=mdettweiler [2018-05-04 14:10:15] 605*2^1508912-1 is not prime. Res64: 6E57F65CDF42BF63 Time : 0.0 sec. user=mdettweiler [2018-05-04 14:10:15] 803*2^1508912-1 is not prime. Res64: 91D29B8D3830F36B Time : 0.0 sec. user=mdettweiler [2018-05-04 14:17:32] 873*2^1508912-1 is not prime. Res64: 941C81885B90CAC0 Time : 0.0 sec. user=mdettweiler [2018-05-04 14:17:33] 893*2^1508912-1 is not prime. Res64: 6C37DF90FBAF4213 Time : 0.0 sec. user=mdettweiler [2018-05-04 14:17:33] 899*2^1508912-1 is not prime. Res64: 2341198219E818E7 Time : 0.0 sec. user=mdettweiler [2018-05-04 14:17:33] 903*2^1508912-1 is not prime. Res64: C276F4F079A8CC2D Time : 0.0 sec. user=mdettweiler [2018-05-04 14:17:34] 935*2^1508912-1 is not prime. Res64: CABE00F7765A9C21 Time : 0.0 sec. user=mdettweiler [2018-05-04 14:50:56] 977*2^1508912-1 is not prime. Res64: A8FF62BC8C7E5773 Time : 0.0 sec. user=mdettweiler [2018-05-04 14:50:57] 627*2^1508913-1 is not prime. Res64: E02A790A466007F0 Time : 0.0 sec. user=mdettweiler [2018-05-04 14:50:57] 637*2^1508913-1 is not prime. Res64: B196EF1FF32FFEBF Time : 0.0 sec. user=mdettweiler [2018-05-04 14:50:58] 651*2^1508913-1 is not prime. Res64: 72BFB39CBEAB758B Time : 0.0 sec. user=mdettweiler [2018-05-04 14:50:58] 727*2^1508913-1 is not prime. Res64: 5A2731A76821358C Time : 0.0 sec. user=mdettweiler [2018-05-04 15:01:37] 789*2^1508913-1 is not prime. Res64: B76BDA8A2FDDFC22 Time : 0.0 sec. user=mdettweiler [2018-05-04 15:01:38] 901*2^1508913-1 is not prime. Res64: 0363D32EA72B0CC8 Time : 0.0 sec. user=mdettweiler [2018-05-04 15:01:39] 951*2^1508913-1 is not prime. Res64: 58F7E3ADE64BCB86 Time : 0.0 sec. user=mdettweiler [2018-05-04 15:01:39] 605*2^1508914-1 is not prime. Res64: 6C266EF893ADE77F Time : 0.0 sec. user=mdettweiler [2018-05-04 15:01:40] 663*2^1508914-1 is not prime. Res64: 5C5457DC7CC4FE83 Time : 0.0 sec. user=mdettweiler [2018-05-04 15:04:32] 701*2^1508914-1 is not prime. Res64: B4CA6314A0CF3E99 Time : 0.0 sec. user=mdettweiler [2018-05-04 15:04:34] 741*2^1508914-1 is not prime. Res64: B77C80B1D93EAB9F Time : 0.0 sec. user=mdettweiler [2018-05-04 15:04:35] 609*2^1508915-1 is not prime. Res64: 7F00AC647532F006 Time : 0.0 sec. user=mdettweiler [2018-05-04 15:04:37] 735*2^1508915-1 is not prime. Res64: E853BFE346AC2795 Time : 0.0 sec. user=mdettweiler [2018-05-04 15:04:38] 859*2^1508915-1 is not prime. Res64: 12F2A8A365655C01 Time : 0.0 sec. user=mdettweiler [2018-05-04 15:10:20] 609*2^1508916-1 is not prime. Res64: 461520BADE03E37C Time : 0.0 sec. user=mdettweiler [2018-05-04 15:10:21] 675*2^1508916-1 is not prime. Res64: F8A969E2E103002F Time : 0.0 sec. user=mdettweiler [2018-05-04 15:10:21] 705*2^1508916-1 is not prime. Res64: 879762E785614C6F Time : 0.0 sec. user=mdettweiler [2018-05-04 15:10:22] 789*2^1508916-1 is not prime. Res64: 564C956B7EA9E260 Time : 0.0 sec. user=mdettweiler [2018-05-04 15:10:23] 809*2^1508916-1 is not prime. Res64: 2255FE1D9CBEA8C4 Time : 0.0 sec. user=mdettweiler [2018-05-04 15:42:58] 845*2^1508916-1 is not prime. Res64: 2F850DA86E3063AE Time : 0.0 sec. user=mdettweiler [2018-05-04 15:42:59] 887*2^1508916-1 is not prime. Res64: C6B42AFA9A028918 Time : 0.0 sec. user=mdettweiler [2018-05-04 15:42:59] 947*2^1508916-1 is not prime. Res64: 93151D14C78C5912 Time : 0.0 sec. user=mdettweiler [2018-05-04 15:42:59] 687*2^1508917-1 is not prime. Res64: 059525D6D21C96FB Time : 0.0 sec. user=mdettweiler [2018-05-04 15:43:00] 727*2^1508917-1 is not prime. Res64: 4A8332C9EFE21BE0 Time : 0.0 sec. user=mdettweiler [2018-05-04 15:54:01] 729*2^1508917-1 is not prime. Res64: C0742CAE202484E2 Time : 0.0 sec. user=mdettweiler [2018-05-04 15:54:01] 765*2^1508917-1 is not prime. Res64: 5FB50BC21552D883 Time : 0.0 sec. user=mdettweiler [2018-05-04 15:54:01] 861*2^1508917-1 is not prime. Res64: DD1F9B8EE421A78F Time : 0.0 sec. user=mdettweiler [2018-05-04 15:54:02] 915*2^1508917-1 is not prime. Res64: B7D874C5B1DEAD6F Time : 0.0 sec. user=mdettweiler [2018-05-04 15:54:02] 645*2^1508918-1 is not prime. Res64: D69F35516BB9E19F Time : 0.0 sec. user=mdettweiler [2018-05-04 16:02:24] 923*2^1508918-1 is not prime. Res64: F247CED979138EFA Time : 0.0 sec. user=mdettweiler [2018-05-04 16:02:25] 613*2^1508919-1 is not prime. Res64: CF3C46CAC04BEBDB Time : 0.0 sec. user=mdettweiler [2018-05-04 16:02:26] 649*2^1508919-1 is not prime. Res64: 984862ECCE2C0B34 Time : 0.0 sec. user=mdettweiler [2018-05-04 16:02:27] 703*2^1508919-1 is not prime. Res64: 2CB0812D09169CCA Time : 0.0 sec. user=mdettweiler [2018-05-04 16:02:28] 789*2^1508919-1 is not prime. Res64: 44D13FD0562F68CA Time : 0.0 sec. user=mdettweiler [2018-05-04 16:04:18] 693*2^1508918-1 is not prime. Res64: B461BD3F7AFE069A Time : 0.0 sec. user=mdettweiler [2018-05-04 16:04:19] 827*2^1508918-1 is not prime. Res64: BD05B6D8A6171098 Time : 0.0 sec. user=mdettweiler [2018-05-04 16:04:20] 857*2^1508918-1 is not prime. Res64: 5FB4D5CF8F58CA36 Time : 0.0 sec. user=mdettweiler [2018-05-04 16:04:21] 861*2^1508918-1 is not prime. Res64: 6A402E2E7A57C44D Time : 0.0 sec. user=mdettweiler [2018-05-04 16:04:22] 915*2^1508918-1 is not prime. Res64: ED433A34037D9FAA Time : 0.0 sec. user=mdettweiler [2018-05-04 16:35:36] 795*2^1508919-1 is not prime. Res64: 07CA8296482A0018 Time : 0.0 sec. user=mdettweiler [2018-05-04 16:35:37] 979*2^1508919-1 is not prime. Res64: 1FE3E5B0C794CA43 Time : 0.0 sec. user=mdettweiler [2018-05-04 16:35:37] 693*2^1508920-1 is not prime. Res64: C44D90749A385A03 Time : 0.0 sec. user=mdettweiler [2018-05-04 16:35:38] 827*2^1508920-1 is not prime. Res64: 42320DCAA1BFACE7 Time : 0.0 sec. user=mdettweiler [2018-05-04 16:35:38] 855*2^1508920-1 is not prime. Res64: B39A3C12C0F51AD7 Time : 0.0 sec. user=mdettweiler [2018-05-04 16:49:00] 959*2^1508920-1 is not prime. Res64: DDDAD25DFD9B2DB8 Time : 0.0 sec. user=mdettweiler [2018-05-04 16:49:01] 989*2^1508920-1 is not prime. Res64: 140AB0F6ECA9B329 Time : 0.0 sec. user=mdettweiler [2018-05-04 16:49:01] 669*2^1508921-1 is not prime. Res64: 1A4A30AAEE77D73C Time : 0.0 sec. user=mdettweiler [2018-05-04 16:49:01] 747*2^1508921-1 is not prime. Res64: 15D82654DDF86CC9 Time : 0.0 sec. user=mdettweiler [2018-05-04 16:49:02] 789*2^1508921-1 is not prime. Res64: 0856C0B67721565E Time : 0.0 sec. user=mdettweiler [2018-05-04 16:57:59] 795*2^1508921-1 is not prime. Res64: 0D92053C860B6BDB Time : 0.0 sec. user=mdettweiler [2018-05-04 16:57:59] 901*2^1508921-1 is not prime. Res64: 7D763E0D79D4E31A Time : 0.0 sec. user=mdettweiler [2018-05-04 16:58:00] 945*2^1508921-1 is not prime. Res64: 280475D956C89C71 Time : 0.0 sec. user=mdettweiler [2018-05-04 16:58:00] 711*2^1508922-1 is not prime. Res64: 01A2A1C2CD730AB7 Time : 0.0 sec. user=mdettweiler [2018-05-04 16:58:01] 717*2^1508922-1 is not prime. Res64: 5ED6AFC6B099ACCD Time : 0.0 sec. user=mdettweiler [2018-05-04 17:05:55] 755*2^1508922-1 is not prime. Res64: 041ED271BFE1D70B Time : 0.0 sec. user=mdettweiler [2018-05-04 17:05:56] 843*2^1508922-1 is not prime. Res64: FE2824A3218A2ADB Time : 0.0 sec. user=mdettweiler [2018-05-04 17:05:57] 1001*2^1508922-1 is not prime. Res64: E4F7D94B9279FFBB Time : 0.0 sec. user=mdettweiler [2018-05-04 17:05:58] 633*2^1508923-1 is not prime. Res64: 3B8A2C69930C7245 Time : 0.0 sec. user=mdettweiler [2018-05-04 17:05:58] 691*2^1508923-1 is not prime. Res64: CEA212DAEB0F2499 Time : 0.0 sec. user=mdettweiler [2018-05-04 17:32:05] 819*2^1508923-1 is not prime. Res64: 7C824CAA55043D06 Time : 0.0 sec. user=mdettweiler [2018-05-04 17:32:05] 919*2^1508923-1 is not prime. Res64: 98C09A68ECC3F568 Time : 0.0 sec. user=mdettweiler [2018-05-04 17:32:05] 951*2^1508923-1 is not prime. Res64: 6DE4A9CF3DE4F8AF Time : 0.0 sec. user=mdettweiler [2018-05-04 17:32:06] 707*2^1508924-1 is not prime. Res64: F988742A43E2FF0A Time : 0.0 sec. user=mdettweiler [2018-05-04 17:32:06] 767*2^1508924-1 is not prime. Res64: CB7F6E67AC6B3C18 Time : 0.0 sec. user=mdettweiler [2018-05-04 17:42:42] 789*2^1508924-1 is not prime. Res64: 3AA7F01BE521BDC3 Time : 0.0 sec. user=mdettweiler [2018-05-04 17:42:43] 885*2^1508924-1 is not prime. Res64: 53B159199C12E95B Time : 0.0 sec. user=mdettweiler [2018-05-04 17:42:43] 893*2^1508924-1 is not prime. Res64: 03E1B70F120F8F60 Time : 0.0 sec. user=mdettweiler [2018-05-04 17:42:44] 927*2^1508924-1 is not prime. Res64: 7C117D5D74C230A4 Time : 0.0 sec. user=mdettweiler [2018-05-04 17:42:44] 929*2^1508924-1 is not prime. Res64: 7B987DD1187918D9 Time : 0.0 sec. user=mdettweiler [2018-05-04 17:48:49] 957*2^1508924-1 is not prime. Res64: 85D9CB23AA4D887F Time : 0.0 sec. user=mdettweiler [2018-05-04 17:48:50] 609*2^1508925-1 is not prime. Res64: 8F260EC39216D3CF Time : 0.0 sec. user=mdettweiler [2018-05-04 17:48:50] 711*2^1508925-1 is not prime. Res64: CE77929771BB9CD2 Time : 0.0 sec. user=mdettweiler [2018-05-04 17:48:51] 789*2^1508925-1 is not prime. Res64: 4EB4D7602F1130C5 Time : 0.0 sec. user=mdettweiler [2018-05-04 17:48:51] 825*2^1508925-1 is not prime. Res64: 128703FEB71E9383 Time : 0.0 sec. user=mdettweiler [2018-05-04 17:57:59] 895*2^1508925-1 is not prime. Res64: 83B3A1D551D3B3B4 Time : 0.0 sec. user=mdettweiler [2018-05-04 17:58:00] 961*2^1508925-1 is not prime. Res64: 55CD108C11838CB6 Time : 0.0 sec. user=mdettweiler [2018-05-04 17:58:00] 991*2^1508925-1 is not prime. Res64: 195D35D9F214845C Time : 0.0 sec. user=mdettweiler [2018-05-04 17:58:01] 603*2^1508926-1 is not prime. Res64: B64021F3B975BAAE Time : 0.0 sec. user=mdettweiler [2018-05-04 17:58:01] 651*2^1508926-1 is not prime. Res64: 325775B31670F2D2 Time : 0.0 sec. user=mdettweiler [2018-05-04 18:23:58] 713*2^1508926-1 is not prime. Res64: 7E72F92155103A5C Time : 0.0 sec. user=mdettweiler [2018-05-04 18:23:58] 801*2^1508926-1 is not prime. Res64: 9E2AFD4BE40D2692 Time : 0.0 sec. user=mdettweiler [2018-05-04 18:23:59] 843*2^1508926-1 is not prime. Res64: 2F7FC07C592A3724 Time : 0.0 sec. user=mdettweiler [2018-05-04 18:23:59] 911*2^1508926-1 is not prime. Res64: E7AFB2DBBDAE942A Time : 0.0 sec. user=mdettweiler [2018-05-04 18:23:59] 917*2^1508926-1 is not prime. Res64: 6BC02436D99351EC Time : 0.0 sec. user=mdettweiler [2018-05-04 18:34:12] 957*2^1508926-1 is not prime. Res64: 4FAEC677C2861A36 Time : 0.0 sec. user=mdettweiler [2018-05-04 18:34:12] 965*2^1508926-1 is not prime. Res64: 91FF75F175D9EA46 Time : 0.0 sec. user=mdettweiler [2018-05-04 18:34:13] 619*2^1508927-1 is not prime. Res64: 89D157200DE68FF1 Time : 0.0 sec. user=mdettweiler [2018-05-04 18:34:13] 825*2^1508927-1 is not prime. Res64: 892EEE20A6A3ACA5 Time : 0.0 sec. user=mdettweiler [2018-05-04 18:34:14] 871*2^1508927-1 is not prime. Res64: B72E39D99B4F1A17 Time : 0.0 sec. user=mdettweiler [2018-05-04 18:39:29] 939*2^1508927-1 is not prime. Res64: 7B3D98301F3283EB Time : 0.0 sec. user=mdettweiler [2018-05-04 18:39:30] 979*2^1508927-1 is not prime. Res64: A8910A2EE0312F01 Time : 0.0 sec. user=mdettweiler [2018-05-04 18:39:30] 605*2^1508928-1 is not prime. Res64: D91F541E2AC260C3 Time : 0.0 sec. user=mdettweiler [2018-05-04 18:39:30] 639*2^1508928-1 is not prime. Res64: A5EEAB0FA4D5F0C0 Time : 0.0 sec. user=mdettweiler [2018-05-04 18:39:31] 759*2^1508928-1 is not prime. Res64: A769A494F804FE19 Time : 0.0 sec. user=mdettweiler [2018-05-04 18:50:14] 909*2^1508928-1 is not prime. Res64: 79732AF172A395C6 Time : 0.0 sec. user=mdettweiler [2018-05-04 18:50:14] 959*2^1508928-1 is not prime. Res64: F928E9694A5AA0F3 Time : 0.0 sec. user=mdettweiler [2018-05-04 18:50:14] 637*2^1508929-1 is not prime. Res64: CD5F2D5732A2767E Time : 0.0 sec. user=mdettweiler [2018-05-04 18:50:15] 639*2^1508929-1 is not prime. Res64: 1045F07CB37840B6 Time : 0.0 sec. user=mdettweiler [2018-05-04 18:50:15] 675*2^1508929-1 is not prime. Res64: 206311A83D9B9320 Time : 0.0 sec. user=mdettweiler [2018-05-04 19:16:14] 687*2^1508929-1 is not prime. Res64: 018F90664310621B Time : 0.0 sec. user=mdettweiler [2018-05-04 19:16:15] 745*2^1508929-1 is not prime. Res64: 9F6FD7221C4A5FBA Time : 0.0 sec. user=mdettweiler [2018-05-04 19:16:15] 801*2^1508929-1 is not prime. Res64: DB0C7E525C74963E Time : 0.0 sec. user=mdettweiler [2018-05-04 19:16:16] 939*2^1508929-1 is not prime. Res64: 74648A4AC22544B9 Time : 0.0 sec. user=mdettweiler [2018-05-04 19:16:16] 955*2^1508929-1 is not prime. Res64: AC9D2CE664348DA0 Time : 0.0 sec. user=mdettweiler [2018-05-04 19:26:59] 967*2^1508929-1 is not prime. Res64: F51AEFF40F3FEFB5 Time : 0.0 sec. user=mdettweiler [2018-05-04 19:26:59] 999*2^1508929-1 is not prime. Res64: 6C749CCAFE752813 Time : 0.0 sec. user=mdettweiler [2018-05-04 19:26:59] 743*2^1508930-1 is not prime. Res64: 59902E9E44B1DD65 Time : 0.0 sec. user=mdettweiler [2018-05-04 19:27:00] 813*2^1508930-1 is not prime. Res64: 7F36E06A4AE0D9DE Time : 0.0 sec. user=mdettweiler [2018-05-04 19:27:00] 911*2^1508930-1 is not prime. Res64: 7DF3781FC9C763B6 Time : 0.0 sec. user=mdettweiler [2018-05-04 19:30:14] 995*2^1508930-1 is not prime. Res64: 8F3FD5C07EEC8AF2 Time : 0.0 sec. user=mdettweiler [2018-05-04 19:30:15] 619*2^1508931-1 is not prime. Res64: 6B6E5586BDAED419 Time : 0.0 sec. user=mdettweiler [2018-05-04 19:30:15] 625*2^1508931-1 is not prime. Res64: 5409599525705CE5 Time : 0.0 sec. user=mdettweiler [2018-05-04 19:30:16] 669*2^1508931-1 is not prime. Res64: DB0B439E89AD78CD Time : 0.0 sec. user=mdettweiler [2018-05-04 19:30:16] 691*2^1508931-1 is not prime. Res64: 5B3B60A86C1D0574 Time : 0.0 sec. user=mdettweiler [2018-05-04 19:42:21] 711*2^1508931-1 is not prime. Res64: EEA31766E5823DE5 Time : 0.0 sec. user=mdettweiler [2018-05-04 19:42:21] 781*2^1508931-1 is not prime. Res64: BAFFFB52B9F9EDA4 Time : 0.0 sec. user=mdettweiler [2018-05-04 19:42:22] 795*2^1508931-1 is not prime. Res64: A38753DB8EEA3F20 Time : 0.0 sec. user=mdettweiler [2018-05-04 19:42:22] 819*2^1508931-1 is not prime. Res64: 2B25DF9609E2AE66 Time : 0.0 sec. user=mdettweiler [2018-05-04 19:42:22] 677*2^1508932-1 is not prime. Res64: 4B689103CD2C439E Time : 0.0 sec. user=mdettweiler [2018-05-04 20:09:38] 687*2^1508932-1 is not prime. Res64: 10714D001DF90893 Time : 0.0 sec. user=mdettweiler [2018-05-04 20:09:39] 777*2^1508932-1 is not prime. Res64: B6418EA5A16AE2F6 Time : 0.0 sec. user=mdettweiler [2018-05-04 20:09:39] 827*2^1508932-1 is not prime. Res64: DCA73C1D2D09886A Time : 0.0 sec. user=mdettweiler [2018-05-04 20:09:40] 875*2^1508932-1 is not prime. Res64: FB3F741699958ECD Time : 0.0 sec. user=mdettweiler [2018-05-04 20:09:40] 657*2^1508933-1 is not prime. Res64: DDC1D15F56277779 Time : 0.0 sec. user=mdettweiler [2018-05-04 20:20:50] 787*2^1508933-1 is not prime. Res64: DD3D07ACA2841360 Time : 0.0 sec. user=mdettweiler [2018-05-04 20:20:50] 795*2^1508933-1 is not prime. Res64: 910506236108F98E Time : 0.0 sec. user=mdettweiler [2018-05-04 20:20:50] 885*2^1508933-1 is not prime. Res64: E5A423F583C14955 Time : 0.0 sec. user=mdettweiler [2018-05-04 20:20:51] 901*2^1508933-1 is not prime. Res64: 4A7F4C8A7AEDBE6C Time : 0.0 sec. user=mdettweiler [2018-05-04 20:20:51] 605*2^1508934-1 is not prime. Res64: 43947125599E83E1 Time : 0.0 sec. user=mdettweiler [2018-05-04 20:22:55] 665*2^1508934-1 is not prime. Res64: CDB48DF422DDE139 Time : 0.0 sec. user=mdettweiler [2018-05-04 20:22:56] 795*2^1508934-1 is not prime. Res64: FF1A2C8198E41BFE Time : 0.0 sec. user=mdettweiler [2018-05-04 20:22:56] 797*2^1508934-1 is not prime. Res64: 62D36226183E492B Time : 0.0 sec. user=mdettweiler [2018-05-04 20:22:57] 923*2^1508934-1 is not prime. Res64: 6F5A49DD4541F231 Time : 0.0 sec. user=mdettweiler [2018-05-04 20:22:57] 965*2^1508934-1 is not prime. Res64: 28C1B0CE4A7FD913 Time : 0.0 sec. user=mdettweiler [2018-05-04 20:35:01] 693*2^1508935-1 is not prime. Res64: 56B13A732FB4726B Time : 0.0 sec. user=mdettweiler [2018-05-04 20:35:04] 783*2^1508935-1 is not prime. Res64: F974622A92C3171B Time : 0.0 sec. user=mdettweiler [2018-05-04 20:35:05] 831*2^1508935-1 is not prime. Res64: 97EB78148BA726CB Time : 0.0 sec. user=mdettweiler [2018-05-04 20:35:06] 999*2^1508935-1 is not prime. Res64: A04BD9E7732318B0 Time : 0.0 sec. user=mdettweiler [2018-05-04 20:35:06] 689*2^1508936-1 is not prime. Res64: 16AAA09E4F8FD6F4 Time : 0.0 sec. user=mdettweiler [2018-05-04 21:04:55] 693*2^1508936-1 is not prime. Res64: 0349348895C8A47E Time : 0.0 sec. user=mdettweiler [2018-05-04 21:04:56] 839*2^1508936-1 is not prime. Res64: 006739974DA042F9 Time : 0.0 sec. user=mdettweiler [2018-05-04 21:04:57] 855*2^1508936-1 is not prime. Res64: 3A3AE897BBCBA3D2 Time : 0.0 sec. user=mdettweiler [2018-05-04 21:04:58] 899*2^1508936-1 is not prime. Res64: 6D8D35AE075ED507 Time : 0.0 sec. user=mdettweiler [2018-05-04 21:04:59] 917*2^1508936-1 is not prime. Res64: E5CAAFCE24F3D467 Time : 0.0 sec. user=mdettweiler [2018-05-04 21:15:54] 781*2^1508937-1 is not prime. Res64: 130F77B80FDD4CDE Time : 0.0 sec. user=mdettweiler [2018-05-04 21:15:55] 861*2^1508937-1 is not prime. Res64: EE32DE545098F46C Time : 0.0 sec. user=mdettweiler [2018-05-04 21:15:55] 937*2^1508937-1 is not prime. Res64: D188463E94D61D4B Time : 0.0 sec. user=mdettweiler [2018-05-04 21:15:56] 663*2^1508938-1 is not prime. Res64: B281EFCECAD2850F Time : 0.0 sec. user=mdettweiler [2018-05-04 21:15:56] 687*2^1508938-1 is not prime. Res64: 23BB8E4B348DA08A Time : 0.0 sec. user=mdettweiler [2018-05-04 21:16:01] 945*2^1508936-1 is not prime. Res64: B8FCC7485271D92D Time : 0.0 sec. user=mdettweiler [2018-05-04 21:16:01] 969*2^1508936-1 is not prime. Res64: F10C19A52B61D0B3 Time : 0.0 sec. user=mdettweiler [2018-05-04 21:16:02] 999*2^1508936-1 is not prime. Res64: 02E7E9AC0D2DFC7C Time : 0.0 sec. user=mdettweiler [2018-05-04 21:16:02] 741*2^1508937-1 is not prime. Res64: 76A9D7B5961BBFDB Time : 0.0 sec. user=mdettweiler [2018-05-04 21:16:03] 751*2^1508937-1 is not prime. Res64: E9DADDD3CDC69918 Time : 0.0 sec. user=mdettweiler [2018-05-04 21:25:38] 881*2^1508938-1 is not prime. Res64: 01A656E6066EC694 Time : 0.0 sec. user=mdettweiler [2018-05-04 21:25:38] 933*2^1508938-1 is not prime. Res64: ADD57AE5F0510BE2 Time : 0.0 sec. user=mdettweiler [2018-05-04 21:25:39] 951*2^1508938-1 is not prime. Res64: 885A8411542D6F80 Time : 0.0 sec. user=mdettweiler [2018-05-04 21:25:39] 663*2^1508939-1 is not prime. Res64: E8584553C8E8D00D Time : 0.0 sec. user=mdettweiler [2018-05-04 21:25:39] 669*2^1508939-1 is not prime. Res64: 96394069CD200BF4 Time : 0.0 sec. user=mdettweiler [2018-05-04 21:56:33] 711*2^1508939-1 is not prime. Res64: DABFE8E36D96925F Time : 0.0 sec. user=mdettweiler [2018-05-04 21:56:33] 799*2^1508939-1 is not prime. Res64: 262F05BCBDA72C00 Time : 0.0 sec. user=mdettweiler [2018-05-04 21:56:34] 765*2^1508940-1 is not prime. Res64: DA67A5B3BCADF007 Time : 0.0 sec. user=mdettweiler [2018-05-04 21:56:34] 779*2^1508940-1 is not prime. Res64: E83DC715396EFA54 Time : 0.0 sec. user=mdettweiler [2018-05-04 21:56:35] 809*2^1508940-1 is not prime. Res64: 6231A2FFE7A3E34D Time : 0.0 sec. user=mdettweiler [2018-05-04 22:07:07] 945*2^1508940-1 is not prime. Res64: 44789E62DBD6BF59 Time : 0.0 sec. user=mdettweiler [2018-05-04 22:07:08] 717*2^1508941-1 is not prime. Res64: E41A24BAE116FC0F Time : 0.0 sec. user=mdettweiler [2018-05-04 22:07:08] 769*2^1508941-1 is not prime. Res64: D0B13F7F9672E07A Time : 0.0 sec. user=mdettweiler [2018-05-04 22:07:09] 771*2^1508941-1 is not prime. Res64: E23BE25EB793E572 Time : 0.0 sec. user=mdettweiler [2018-05-04 22:07:09] 867*2^1508941-1 is not prime. Res64: DFFF58846C16C286 Time : 0.0 sec. user=mdettweiler [2018-05-04 22:07:15] 839*2^1508940-1 is not prime. Res64: 1A30B503D0EF45C5 Time : 0.0 sec. user=mdettweiler [2018-05-04 22:07:15] 845*2^1508940-1 is not prime. Res64: 9A0AF7C43A530E1B Time : 0.0 sec. user=mdettweiler [2018-05-04 22:07:16] 863*2^1508940-1 is not prime. Res64: C2BE2F2560154CF8 Time : 0.0 sec. user=mdettweiler [2018-05-04 22:07:16] 879*2^1508940-1 is not prime. Res64: 86E736E02CEC1EE8 Time : 0.0 sec. user=mdettweiler [2018-05-04 22:07:17] 909*2^1508940-1 is not prime. Res64: 7F41A6B996CB4E62 Time : 0.0 sec. user=mdettweiler [2018-05-04 22:16:40] 871*2^1508941-1 is not prime. Res64: 59057134149ADA25 Time : 0.0 sec. user=mdettweiler [2018-05-04 22:16:40] 999*2^1508941-1 is not prime. Res64: 82D220520527E05D Time : 0.0 sec. user=mdettweiler [2018-05-04 22:16:41] 693*2^1508942-1 is not prime. Res64: A09C093611F3ABAE Time : 0.0 sec. user=mdettweiler [2018-05-04 22:16:41] 713*2^1508942-1 is not prime. Res64: 1283BDCE145EB8DB Time : 0.0 sec. user=mdettweiler [2018-05-04 22:16:41] 741*2^1508942-1 is not prime. Res64: A703E97219BB1866 Time : 0.0 sec. user=mdettweiler [2018-05-04 22:48:04] 875*2^1508942-1 is not prime. Res64: 20C162880C4DC664 Time : 0.0 sec. user=mdettweiler [2018-05-04 22:48:04] 903*2^1508942-1 is not prime. Res64: 7DF593EA0790EB78 Time : 0.0 sec. user=mdettweiler [2018-05-04 22:48:05] 957*2^1508942-1 is not prime. Res64: 0D386BAFA540C41C Time : 0.0 sec. user=mdettweiler [2018-05-04 22:48:05] 977*2^1508942-1 is not prime. Res64: 0AE87667F58B6F9F Time : 0.0 sec. user=mdettweiler [2018-05-04 22:48:05] 625*2^1508943-1 is not prime. Res64: 3B75181E54760FF7 Time : 0.0 sec. user=mdettweiler [2018-05-04 22:57:37] 615*2^1508944-1 is not prime. Res64: 23F3D8A37466ACEE Time : 0.0 sec. user=mdettweiler [2018-05-04 22:57:37] 623*2^1508944-1 is not prime. Res64: BDD30184D5C0BAA1 Time : 0.0 sec. user=mdettweiler [2018-05-04 22:57:38] 657*2^1508944-1 is not prime. Res64: 604D1BD90C2333A5 Time : 0.0 sec. user=mdettweiler [2018-05-04 22:57:38] 765*2^1508944-1 is not prime. Res64: 5EABC6C513AA010A Time : 0.0 sec. user=mdettweiler [2018-05-04 22:57:39] 897*2^1508944-1 is not prime. Res64: 864218F0BACD8369 Time : 0.0 sec. user=mdettweiler [2018-05-04 22:58:16] 679*2^1508943-1 is not prime. Res64: 3017C4ED9B9EEA06 Time : 0.0 sec. user=mdettweiler [2018-05-04 22:58:16] 723*2^1508943-1 is not prime. Res64: 167134D7C75C40A4 Time : 0.0 sec. user=mdettweiler [2018-05-04 22:58:17] 789*2^1508943-1 is not prime. Res64: 555F084EACB88BE7 Time : 0.0 sec. user=mdettweiler [2018-05-04 22:58:17] 919*2^1508943-1 is not prime. Res64: 2CF98B41AF01F2EE Time : 0.0 sec. user=mdettweiler [2018-05-04 22:58:18] 985*2^1508943-1 is not prime. Res64: 0E742B179AC97F60 Time : 0.0 sec. user=mdettweiler [2018-05-04 23:07:42] 965*2^1508944-1 is not prime. Res64: FF58173AEA4CA196 Time : 0.0 sec. user=mdettweiler [2018-05-04 23:07:43] 645*2^1508945-1 is not prime. Res64: 68A387ECF40046CB Time : 0.0 sec. user=mdettweiler [2018-05-04 23:07:44] 691*2^1508945-1 is not prime. Res64: A94CB8CCFB3EB220 Time : 0.0 sec. user=mdettweiler [2018-05-04 23:07:44] 705*2^1508945-1 is not prime. Res64: 2C78F8F7C7423298 Time : 0.0 sec. user=mdettweiler [2018-05-04 23:07:45] 729*2^1508945-1 is not prime. Res64: 4EFE70F40E291BC5 Time : 0.0 sec. user=mdettweiler [2018-05-04 23:38:39] 861*2^1508945-1 is not prime. Res64: A67B51FD725792F7 Time : 0.0 sec. user=mdettweiler [2018-05-04 23:38:39] 683*2^1508946-1 is not prime. Res64: 53C2ED3E8605AB2F Time : 0.0 sec. user=mdettweiler [2018-05-04 23:38:39] 833*2^1508946-1 is not prime. Res64: E3803C9F99C4A883 Time : 0.0 sec. user=mdettweiler [2018-05-04 23:38:40] 983*2^1508946-1 is not prime. Res64: 6F1C9E7B3D4FAAEE Time : 0.0 sec. user=mdettweiler [2018-05-04 23:38:40] 619*2^1508947-1 is not prime. Res64: 7CA9417391AF254C Time : 0.0 sec. user=mdettweiler [2018-05-04 23:48:57] 621*2^1508947-1 is not prime. Res64: 6F8D38C964EBC1DB Time : 0.0 sec. user=mdettweiler [2018-05-04 23:48:57] 735*2^1508947-1 is not prime. Res64: CF2D22C3E3F3D3B3 Time : 0.0 sec. user=mdettweiler [2018-05-04 23:48:57] 871*2^1508947-1 is not prime. Res64: 5ACEAF0F79880947 Time : 0.0 sec. user=mdettweiler [2018-05-04 23:48:58] 919*2^1508947-1 is not prime. Res64: 4138CA093DFE3C58 Time : 0.0 sec. user=mdettweiler [2018-05-04 23:48:58] 951*2^1508947-1 is not prime. Res64: E5B5DEB5AD064B42 Time : 0.0 sec. user=mdettweiler [2018-05-04 23:49:52] 615*2^1508948-1 is not prime. Res64: 0D5EB9F7EEC4A31B Time : 0.0 sec. user=mdettweiler [2018-05-04 23:49:52] 623*2^1508948-1 is not prime. Res64: ED9DCC0D928743A7 Time : 0.0 sec. user=mdettweiler [2018-05-04 23:49:52] 753*2^1508948-1 is not prime. Res64: 1579CC46C90ED3E7 Time : 0.0 sec. user=mdettweiler [2018-05-04 23:49:53] 759*2^1508948-1 is not prime. Res64: 746DB025C0B10469 Time : 0.0 sec. user=mdettweiler [2018-05-04 23:49:54] 827*2^1508948-1 is not prime. Res64: 71543A71D1BB2D04 Time : 0.0 sec. user=mdettweiler [2018-05-04 23:59:07] 885*2^1508948-1 is not prime. Res64: A6B918F9A86CE193 Time : 0.0 sec. user=mdettweiler [2018-05-04 23:59:07] 969*2^1508948-1 is not prime. Res64: C4B6055C0593961F Time : 0.0 sec. user=mdettweiler [2018-05-04 23:59:08] 977*2^1508948-1 is not prime. Res64: 0E8F25CD8AAA90A8 Time : 0.0 sec. user=mdettweiler [2018-05-04 23:59:08] 681*2^1508949-1 is not prime. Res64: 5439BA4174ED7E0A Time : 0.0 sec. user=mdettweiler [2018-05-04 23:59:09] 727*2^1508949-1 is not prime. Res64: E66C800F6BF98D4E Time : 0.0 sec.