user=mdettweiler [2015-10-22 00:03:17] 705*2^1412882-1 is not prime. Res64: 3B38942E5AE3D03A Time : 0.0 sec. user=mdettweiler [2015-10-22 00:03:18] 713*2^1412882-1 is not prime. Res64: AAD0B9985411B85E Time : 0.0 sec. user=mdettweiler [2015-10-22 00:05:10] 753*2^1412882-1 is not prime. Res64: 7C87E818C505FF68 Time : 0.0 sec. user=mdettweiler [2015-10-22 00:05:12] 755*2^1412882-1 is not prime. Res64: 3D5B33AF9AD40947 Time : 0.0 sec. user=mdettweiler [2015-10-22 00:18:07] 767*2^1412882-1 is not prime. Res64: 09E42EB565B31495 Time : 0.0 sec. user=mdettweiler [2015-10-22 00:18:08] 875*2^1412882-1 is not prime. Res64: 170FDE30951F0364 Time : 0.0 sec. user=mdettweiler [2015-10-22 00:18:16] 911*2^1412882-1 is not prime. Res64: 40968E90F00A7E8B Time : 0.0 sec. user=mdettweiler [2015-10-22 00:18:17] 995*2^1412882-1 is not prime. Res64: 363E7E76A8597F48 Time : 0.0 sec. user=mdettweiler [2015-10-22 00:21:11] 609*2^1412883-1 is not prime. Res64: 47174FFC84525CB0 Time : 0.0 sec. user=mdettweiler [2015-10-22 00:21:12] 723*2^1412883-1 is not prime. Res64: 73585DC9890E9E23 Time : 0.0 sec. user=mdettweiler [2015-10-22 00:23:10] 741*2^1412883-1 is not prime. Res64: BF38F2B4241CDE86 Time : 0.0 sec. user=mdettweiler [2015-10-22 00:23:11] 769*2^1412883-1 is not prime. Res64: 3442907234BAFE33 Time : 0.0 sec. user=mdettweiler [2015-10-22 00:35:53] 623*2^1412884-1 is not prime. Res64: 2CD6D618F8E7B720 Time : 0.0 sec. user=mdettweiler [2015-10-22 00:35:54] 695*2^1412884-1 is not prime. Res64: 03419B8AF4B33CD0 Time : 0.0 sec. user=mdettweiler [2015-10-22 00:36:10] 819*2^1412884-1 is not prime. Res64: 00FAF665D79675B2 Time : 0.0 sec. user=mdettweiler [2015-10-22 00:36:11] 869*2^1412884-1 is not prime. Res64: 00C43ED893E6C9F4 Time : 0.0 sec. user=mdettweiler [2015-10-22 00:38:57] 899*2^1412884-1 is not prime. Res64: CE80CCE5415FAFB3 Time : 0.0 sec. user=mdettweiler [2015-10-22 00:38:58] 939*2^1412884-1 is not prime. Res64: E11CD373D68D2B30 Time : 0.0 sec. user=mdettweiler [2015-10-22 00:41:00] 947*2^1412884-1 is not prime. Res64: AF67921168F874A6 Time : 0.0 sec. user=mdettweiler [2015-10-22 00:41:01] 969*2^1412884-1 is not prime. Res64: 04715EC724378CCF Time : 0.0 sec. user=mdettweiler [2015-10-22 00:53:50] 995*2^1412884-1 is not prime. Res64: B79591F357D5520C Time : 0.0 sec. user=mdettweiler [2015-10-22 00:53:51] 691*2^1412885-1 is not prime. Res64: 42B69D6831F9EC42 Time : 0.0 sec. user=mdettweiler [2015-10-22 00:54:00] 775*2^1412885-1 is not prime. Res64: DE9823F22DCAFE2E Time : 0.0 sec. user=mdettweiler [2015-10-22 00:54:01] 805*2^1412885-1 is not prime. Res64: 1CB066A2C51D761C Time : 0.0 sec. user=mdettweiler [2015-10-22 00:56:51] 871*2^1412885-1 is not prime. Res64: 19161E2568B756B3 Time : 0.0 sec. user=mdettweiler [2015-10-22 00:56:52] 677*2^1412886-1 is not prime. Res64: C55D1A8AB8ACDE3C Time : 0.0 sec. user=mdettweiler [2015-10-22 00:58:53] 711*2^1412886-1 is not prime. Res64: 793A84FFFF988B79 Time : 0.0 sec. user=mdettweiler [2015-10-22 00:58:54] 725*2^1412886-1 is not prime. Res64: E777228ADE152118 Time : 0.0 sec. user=mdettweiler [2015-10-22 01:11:46] 783*2^1412886-1 is not prime. Res64: 249472E41EB499D6 Time : 0.0 sec. user=mdettweiler [2015-10-22 01:11:47] 795*2^1412886-1 is not prime. Res64: C0863399DCC2796A Time : 0.0 sec. user=mdettweiler [2015-10-22 01:11:53] 801*2^1412886-1 is not prime. Res64: 084B6B2A5EF99F82 Time : 0.0 sec. user=mdettweiler [2015-10-22 01:11:54] 851*2^1412886-1 is not prime. Res64: 3D3560B7FB9EDDB6 Time : 0.0 sec. user=mdettweiler [2015-10-22 01:14:52] 893*2^1412886-1 is not prime. Res64: 9DEC027852500BE0 Time : 0.0 sec. user=mdettweiler [2015-10-22 01:14:52] 975*2^1412886-1 is not prime. Res64: B17A1EFF0D4E81D4 Time : 0.0 sec. user=mdettweiler [2015-10-22 01:16:53] 673*2^1412887-1 is not prime. Res64: E670FDB3B8E45D53 Time : 0.0 sec. user=mdettweiler [2015-10-22 01:16:55] 681*2^1412887-1 is not prime. Res64: 1C81526CF71EE4E0 Time : 0.0 sec. user=mdettweiler [2015-10-22 01:29:58] 741*2^1412887-1 is not prime. Res64: 5A45B03A711592BD Time : 0.0 sec. user=mdettweiler [2015-10-22 01:29:59] 759*2^1412887-1 is not prime. Res64: B27CBA23E304EE0A Time : 0.0 sec. user=mdettweiler [2015-10-22 01:30:07] 841*2^1412887-1 is not prime. Res64: 04F054F934D80A77 Time : 0.0 sec. user=mdettweiler [2015-10-22 01:30:09] 885*2^1412887-1 is not prime. Res64: F5C7D24A3BD7CF06 Time : 0.0 sec. user=mdettweiler [2015-10-22 01:33:00] 931*2^1412887-1 is not prime. Res64: 323580B17967C621 Time : 0.0 sec. user=mdettweiler [2015-10-22 01:33:01] 975*2^1412887-1 is not prime. Res64: CC29F496225F584C Time : 0.0 sec. user=mdettweiler [2015-10-22 01:35:10] 869*2^1412888-1 is not prime. Res64: 1BDE0BDCE7D937C4 Time : 0.0 sec. user=mdettweiler [2015-10-22 01:35:11] 935*2^1412888-1 is not prime. Res64: F2EA9FE0037057B9 Time : 0.0 sec. user=mdettweiler [2015-10-22 01:47:59] 945*2^1412888-1 is not prime. Res64: ED996C354F731FEB Time : 0.0 sec. user=mdettweiler [2015-10-22 01:47:59] 995*2^1412888-1 is not prime. Res64: E3117334229FB9EC Time : 0.0 sec. user=mdettweiler [2015-10-22 01:48:16] 657*2^1412889-1 is not prime. Res64: 09F3978AAC2158C9 Time : 0.0 sec. user=mdettweiler [2015-10-22 01:48:17] 681*2^1412889-1 is not prime. Res64: 50E410996DAB5EAF Time : 0.0 sec. user=mdettweiler [2015-10-22 01:51:20] 727*2^1412889-1 is not prime. Res64: 3054B6413DCF6122 Time : 0.0 sec. user=mdettweiler [2015-10-22 01:51:21] 765*2^1412889-1 is not prime. Res64: 62AFEDACD481BAC0 Time : 0.0 sec. user=mdettweiler [2015-10-22 01:53:57] 789*2^1412889-1 is not prime. Res64: 838C01442C2707FE Time : 0.0 sec. user=mdettweiler [2015-10-22 01:53:58] 885*2^1412889-1 is not prime. Res64: 3D23BF6AC868944E Time : 0.0 sec. user=mdettweiler [2015-10-22 02:06:12] 969*2^1412889-1 is not prime. Res64: 31869EAE997B7441 Time : 0.0 sec. user=mdettweiler [2015-10-22 02:06:14] 999*2^1412889-1 is not prime. Res64: B6D3B4EFF2587622 Time : 0.0 sec. user=mdettweiler [2015-10-22 02:07:13] 645*2^1412890-1 is not prime. Res64: 290E1DB025D5C56A Time : 0.0 sec. user=mdettweiler [2015-10-22 02:07:16] 671*2^1412890-1 is not prime. Res64: 6555B81582CCDAB3 Time : 0.0 sec. user=mdettweiler [2015-10-22 02:09:41] 845*2^1412890-1 is not prime. Res64: 183D2E2C5C80CFF4 Time : 0.0 sec. user=mdettweiler [2015-10-22 02:09:41] 867*2^1412890-1 is not prime. Res64: BF21A68BCE55E6F2 Time : 0.0 sec. user=mdettweiler [2015-10-22 02:11:56] 915*2^1412890-1 is not prime. Res64: EE60614E77E14792 Time : 0.0 sec. user=mdettweiler [2015-10-22 02:11:56] 971*2^1412890-1 is not prime. Res64: FD08F753C69EE33D Time : 0.0 sec. user=mdettweiler [2015-10-22 02:24:28] 645*2^1412891-1 is not prime. Res64: 08800A0BBBBD8F60 Time : 0.0 sec. user=mdettweiler [2015-10-22 02:24:29] 735*2^1412891-1 is not prime. Res64: EA4D6D44740AA1B7 Time : 0.0 sec. user=mdettweiler [2015-10-22 02:25:14] 753*2^1412891-1 is not prime. Res64: FA056D1394D49CA6 Time : 0.0 sec. user=mdettweiler [2015-10-22 02:25:15] 909*2^1412891-1 is not prime. Res64: D109A8ECC9652B5F Time : 0.0 sec. user=mdettweiler [2015-10-22 02:27:45] 943*2^1412891-1 is not prime. Res64: 99A47991DD4E8371 Time : 0.0 sec. user=mdettweiler [2015-10-22 02:27:46] 699*2^1412892-1 is not prime. Res64: 7A6C7917D140BFD1 Time : 0.0 sec. user=mdettweiler [2015-10-22 02:29:47] 765*2^1412892-1 is not prime. Res64: 48A2B439D7B537CD Time : 0.0 sec. user=mdettweiler [2015-10-22 02:29:48] 929*2^1412892-1 is not prime. Res64: 59656BCA746C7439 Time : 0.0 sec. user=mdettweiler [2015-10-22 02:42:30] 977*2^1412892-1 is not prime. Res64: DD9413758F26CE33 Time : 0.0 sec. user=mdettweiler [2015-10-22 02:42:31] 771*2^1412893-1 is not prime. Res64: 8C86E2D281774115 Time : 0.0 sec. user=mdettweiler [2015-10-22 02:43:12] 815*2^1412894-1 is not prime. Res64: A0BD41244E1E5E1D Time : 0.0 sec. user=mdettweiler [2015-10-22 02:43:14] 935*2^1412894-1 is not prime. Res64: 6BED90E52D3B2E25 Time : 0.0 sec. user=mdettweiler [2015-10-22 02:45:40] 971*2^1412894-1 is not prime. Res64: C329413574BEBA38 Time : 0.0 sec. user=mdettweiler [2015-10-22 02:45:41] 663*2^1412895-1 is not prime. Res64: 7C374329D42F26C7 Time : 0.0 sec. user=mdettweiler [2015-10-22 02:47:39] 735*2^1412895-1 is not prime. Res64: F9D67C408916ED83 Time : 0.0 sec. user=mdettweiler [2015-10-22 02:47:40] 765*2^1412895-1 is not prime. Res64: B8707BA111E06A3B Time : 0.0 sec. user=mdettweiler [2015-10-22 03:00:20] 793*2^1412895-1 is not prime. Res64: 68A42E26B50EB5CB Time : 0.0 sec. user=mdettweiler [2015-10-22 03:00:22] 885*2^1412895-1 is not prime. Res64: C58431AC64143E4D Time : 0.0 sec. user=mdettweiler [2015-10-22 03:01:03] 933*2^1412895-1 is not prime. Res64: 8E467426894EE04B Time : 0.0 sec. user=mdettweiler [2015-10-22 03:01:04] 963*2^1412895-1 is not prime. Res64: FF5CD49D76A9D841 Time : 0.0 sec. user=mdettweiler [2015-10-22 03:03:27] 653*2^1412896-1 is not prime. Res64: 87DE3E42534F34D9 Time : 0.0 sec. user=mdettweiler [2015-10-22 03:03:29] 755*2^1412896-1 is not prime. Res64: 0CD3C6C0220EA8B5 Time : 0.0 sec. user=mdettweiler [2015-10-22 03:05:26] 803*2^1412896-1 is not prime. Res64: 59A710B0F046988D Time : 0.0 sec. user=mdettweiler [2015-10-22 03:05:28] 965*2^1412896-1 is not prime. Res64: FF7542824D1196BF Time : 0.0 sec. user=mdettweiler [2015-10-22 03:18:11] 729*2^1412897-1 is not prime. Res64: 6282D81E830FC3F8 Time : 0.0 sec. user=mdettweiler [2015-10-22 03:18:12] 781*2^1412897-1 is not prime. Res64: D95E411FEFFC0059 Time : 0.0 sec. user=mdettweiler [2015-10-22 03:18:58] 879*2^1412897-1 is not prime. Res64: 806693A063FBC25C Time : 0.0 sec. user=mdettweiler [2015-10-22 03:18:59] 651*2^1412898-1 is not prime. Res64: 708CC126B50F9B63 Time : 0.0 sec. user=mdettweiler [2015-10-22 03:21:31] 663*2^1412898-1 is not prime. Res64: 554BA3602809F24F Time : 0.0 sec. user=mdettweiler [2015-10-22 03:21:32] 671*2^1412898-1 is not prime. Res64: F46EE3FD40CD7579 Time : 0.0 sec. user=mdettweiler [2015-10-22 03:23:27] 735*2^1412898-1 is not prime. Res64: 8FB3125AA109A7A4 Time : 0.0 sec. user=mdettweiler [2015-10-22 03:23:28] 737*2^1412898-1 is not prime. Res64: EB060D3359E3EDBE Time : 0.0 sec. user=mdettweiler [2015-10-22 03:36:07] 747*2^1412898-1 is not prime. Res64: 0EF0C1F13C2DB08D Time : 0.0 sec. user=mdettweiler [2015-10-22 03:36:08] 755*2^1412898-1 is not prime. Res64: F25E93472F07E74F Time : 0.0 sec. user=mdettweiler [2015-10-22 03:36:52] 765*2^1412898-1 is not prime. Res64: 1D2C37F8303B4289 Time : 0.0 sec. user=mdettweiler [2015-10-22 03:36:54] 767*2^1412898-1 is not prime. Res64: DDF55A22F09172A3 Time : 0.0 sec. user=mdettweiler [2015-10-22 03:39:31] 815*2^1412898-1 is not prime. Res64: F795A2F3707A270D Time : 0.0 sec. user=mdettweiler [2015-10-22 03:39:32] 837*2^1412898-1 is not prime. Res64: A8CB460980E1415C Time : 0.0 sec. user=mdettweiler [2015-10-22 03:41:17] 971*2^1412898-1 is not prime. Res64: 70A3B24217A4BCAE Time : 0.0 sec. user=mdettweiler [2015-10-22 03:41:18] 975*2^1412898-1 is not prime. Res64: EAFA1C0F2A415571 Time : 0.0 sec. user=mdettweiler [2015-10-22 03:54:18] 663*2^1412899-1 is not prime. Res64: 2B4BD935AD460F78 Time : 0.0 sec. user=mdettweiler [2015-10-22 03:54:22] 705*2^1412899-1 is not prime. Res64: 318A4C79F33C944B Time : 0.0 sec. user=mdettweiler [2015-10-22 03:55:00] 943*2^1412899-1 is not prime. Res64: FD80025E0C624FFC Time : 0.0 sec. user=mdettweiler [2015-10-22 03:55:02] 969*2^1412899-1 is not prime. Res64: 8D733B272CAF7EEE Time : 0.0 sec. user=mdettweiler [2015-10-22 03:57:28] 675*2^1412900-1 is not prime. Res64: B077D350AAF0BEC7 Time : 0.0 sec. user=mdettweiler [2015-10-22 03:57:29] 717*2^1412900-1 is not prime. Res64: CAD806FBA21AE673 Time : 0.0 sec. user=mdettweiler [2015-10-22 03:59:11] 735*2^1412900-1 is not prime. Res64: 94443F6B4BC4A654 Time : 0.0 sec. user=mdettweiler [2015-10-22 03:59:12] 803*2^1412900-1 is not prime. Res64: 32C92EA032F8ED31 Time : 0.0 sec. user=mdettweiler [2015-10-22 04:12:41] 875*2^1412900-1 is not prime. Res64: 871680B2E740C59D Time : 0.0 sec. user=mdettweiler [2015-10-22 04:12:42] 879*2^1412900-1 is not prime. Res64: 03956B30817C8459 Time : 0.0 sec. user=mdettweiler [2015-10-22 04:12:58] 977*2^1412900-1 is not prime. Res64: 0109E0ECD7D7DB65 Time : 0.0 sec. user=mdettweiler [2015-10-22 04:12:59] 995*2^1412900-1 is not prime. Res64: C75EBDB689C39937 Time : 0.0 sec. user=mdettweiler [2015-10-22 04:15:19] 741*2^1412901-1 is not prime. Res64: 51042560831A75D5 Time : 0.0 sec. user=mdettweiler [2015-10-22 04:15:19] 653*2^1412902-1 is not prime. Res64: CB0CD14509CA5461 Time : 0.0 sec. user=mdettweiler [2015-10-22 04:17:01] 671*2^1412902-1 is not prime. Res64: 231F7247998A3023 Time : 0.0 sec. user=mdettweiler [2015-10-22 04:17:02] 741*2^1412902-1 is not prime. Res64: 2F35CBF721D37F66 Time : 0.0 sec. user=mdettweiler [2015-10-22 04:30:42] 761*2^1412902-1 is not prime. Res64: 4260461A2E1F9664 Time : 0.0 sec. user=mdettweiler [2015-10-22 04:30:43] 765*2^1412902-1 is not prime. Res64: EDD0B1B196D09AF8 Time : 0.0 sec. user=mdettweiler [2015-10-22 04:31:03] 857*2^1412902-1 is not prime. Res64: C3325081E5248C55 Time : 0.0 sec. user=mdettweiler [2015-10-22 04:31:04] 923*2^1412902-1 is not prime. Res64: 81DFDAA677F8E8B0 Time : 0.0 sec. user=mdettweiler [2015-10-22 04:33:13] 941*2^1412902-1 is not prime. Res64: FF1AA5C22F425C1D Time : 0.0 sec. user=mdettweiler [2015-10-22 04:33:14] 987*2^1412902-1 is not prime. Res64: 4E1F877A00DDD985 Time : 0.0 sec. user=mdettweiler [2015-10-22 04:35:00] 669*2^1412903-1 is not prime. Res64: 9DC9FEB758BD131E Time : 0.0 sec. user=mdettweiler [2015-10-22 04:35:01] 685*2^1412903-1 is not prime. Res64: 3F480EE1A3B62014 Time : 0.0 sec. user=mdettweiler [2015-10-22 04:48:41] 729*2^1412903-1 is not prime. Res64: BD7DFBC74FBD5709 Time : 0.0 sec. user=mdettweiler [2015-10-22 04:48:42] 981*2^1412903-1 is not prime. Res64: E2FF63B2486FCA9A Time : 0.0 sec. user=mdettweiler [2015-10-22 04:48:55] 665*2^1412904-1 is not prime. Res64: E2851EE2DC56947B Time : 0.0 sec. user=mdettweiler [2015-10-22 04:48:56] 675*2^1412904-1 is not prime. Res64: D8E7F7ED06D21A30 Time : 0.0 sec. user=mdettweiler [2015-10-22 04:51:08] 837*2^1412904-1 is not prime. Res64: F03C281A9F982420 Time : 0.0 sec. user=mdettweiler [2015-10-22 04:51:09] 849*2^1412904-1 is not prime. Res64: B93B5EB71798B4C4 Time : 0.0 sec. user=mdettweiler [2015-10-22 04:52:55] 945*2^1412904-1 is not prime. Res64: AFF6441A998EAF66 Time : 0.0 sec. user=mdettweiler [2015-10-22 04:52:56] 645*2^1412905-1 is not prime. Res64: 5662DBFDECF3C834 Time : 0.0 sec. user=mdettweiler [2015-10-22 05:06:44] 651*2^1412905-1 is not prime. Res64: B1A80A2A2C0BC0E3 Time : 0.0 sec. user=mdettweiler [2015-10-22 05:06:48] 667*2^1412905-1 is not prime. Res64: 4E8C805AF601E4E8 Time : 0.0 sec. user=mdettweiler [2015-10-22 05:06:57] 705*2^1412905-1 is not prime. Res64: 3964679408177934 Time : 0.0 sec. user=mdettweiler [2015-10-22 05:07:02] 805*2^1412905-1 is not prime. Res64: 4FD48B15BEB37BAE Time : 0.0 sec. user=mdettweiler [2015-10-22 05:09:03] 841*2^1412905-1 is not prime. Res64: BB2C0AB6C1393379 Time : 0.0 sec. user=mdettweiler [2015-10-22 05:09:04] 919*2^1412905-1 is not prime. Res64: 24FED9D85197BA80 Time : 0.0 sec. user=mdettweiler [2015-10-22 05:10:51] 999*2^1412905-1 is not prime. Res64: 60FF5395BF925B58 Time : 0.0 sec. user=mdettweiler [2015-10-22 05:10:52] 657*2^1412906-1 is not prime. Res64: 8FB188BC37017C16 Time : 0.0 sec. user=mdettweiler [2015-10-22 05:25:17] 711*2^1412906-1 is not prime. Res64: EC666F76CC5FE3E0 Time : 0.0 sec. user=mdettweiler [2015-10-22 05:25:18] 755*2^1412906-1 is not prime. Res64: A8FEEAE7BCA34E88 Time : 0.0 sec. user=mdettweiler [2015-10-22 05:25:22] 801*2^1412906-1 is not prime. Res64: D0DD5F580B77B4F2 Time : 0.0 sec. user=mdettweiler [2015-10-22 05:25:23] 815*2^1412906-1 is not prime. Res64: 3EF12610A01E2F78 Time : 0.0 sec. user=mdettweiler [2015-10-22 05:26:58] 873*2^1412906-1 is not prime. Res64: CE1063F027187838 Time : 0.0 sec. user=mdettweiler [2015-10-22 05:26:59] 887*2^1412906-1 is not prime. Res64: 19D1F89DE7A33A46 Time : 0.0 sec. user=mdettweiler [2015-10-22 05:28:48] 981*2^1412906-1 is not prime. Res64: 135CEB75ECF8E06D Time : 0.0 sec. user=mdettweiler [2015-10-22 05:28:49] 601*2^1412907-1 is not prime. Res64: 90D31393F480057B Time : 0.0 sec. user=mdettweiler [2015-10-22 05:43:18] 735*2^1412907-1 is not prime. Res64: 743C1671A203FC73 Time : 0.0 sec. user=mdettweiler [2015-10-22 05:43:19] 781*2^1412907-1 is not prime. Res64: BDC37233CB248214 Time : 0.0 sec. user=mdettweiler [2015-10-22 05:43:36] 795*2^1412907-1 is not prime. Res64: AD8F5F7F9AF96110 Time : 0.0 sec. user=mdettweiler [2015-10-22 05:43:37] 879*2^1412907-1 is not prime. Res64: CBB154B9CFEF59A1 Time : 0.0 sec. user=mdettweiler [2015-10-22 05:44:54] 913*2^1412907-1 is not prime. Res64: 0991DEB618AA3662 Time : 0.0 sec. user=mdettweiler [2015-10-22 05:44:55] 961*2^1412907-1 is not prime. Res64: 2CA5ADAB064F272A Time : 0.0 sec. user=mdettweiler [2015-10-22 05:46:52] 605*2^1412908-1 is not prime. Res64: 4F5D0554E0775FF5 Time : 0.0 sec. user=mdettweiler [2015-10-22 05:46:53] 657*2^1412908-1 is not prime. Res64: FE31744792159889 Time : 0.0 sec. user=mdettweiler [2015-10-22 06:01:10] 705*2^1412908-1 is not prime. Res64: A73163E30B0B016B Time : 0.0 sec. user=mdettweiler [2015-10-22 06:01:11] 743*2^1412908-1 is not prime. Res64: 51ECD3615E515E4C Time : 0.0 sec. user=mdettweiler [2015-10-22 06:01:41] 797*2^1412908-1 is not prime. Res64: 50F5C6B729339A8F Time : 0.0 sec. user=mdettweiler [2015-10-22 06:01:42] 819*2^1412908-1 is not prime. Res64: BB6498D96100E6C2 Time : 0.0 sec. user=mdettweiler [2015-10-22 06:02:48] 825*2^1412908-1 is not prime. Res64: A95C5A737E7EEC9A Time : 0.0 sec. user=mdettweiler [2015-10-22 06:02:49] 885*2^1412908-1 is not prime. Res64: 0EF7E30DEC3F7B1D Time : 0.0 sec. user=mdettweiler [2015-10-22 06:04:50] 959*2^1412908-1 is not prime. Res64: EBAE6CD497771CCF Time : 0.0 sec. user=mdettweiler [2015-10-22 06:04:51] 993*2^1412908-1 is not prime. Res64: 0617A4819116819E Time : 0.0 sec. user=mdettweiler [2015-10-22 06:19:06] 615*2^1412909-1 is not prime. Res64: E0AB2D576DC5003F Time : 0.0 sec. user=mdettweiler [2015-10-22 06:19:07] 759*2^1412909-1 is not prime. Res64: 77CE47938A6BCC35 Time : 0.0 sec. user=mdettweiler [2015-10-22 06:19:36] 867*2^1412909-1 is not prime. Res64: 6CCC02DE0626F832 Time : 0.0 sec. user=mdettweiler [2015-10-22 06:19:37] 889*2^1412909-1 is not prime. Res64: 1683805532D8B983 Time : 0.0 sec. user=mdettweiler [2015-10-22 06:20:41] 967*2^1412909-1 is not prime. Res64: B84F6CC23DEBA45F Time : 0.0 sec. user=mdettweiler [2015-10-22 06:20:43] 651*2^1412910-1 is not prime. Res64: 987BAA3EABDAC5D4 Time : 0.0 sec. user=mdettweiler [2015-10-22 06:22:40] 693*2^1412910-1 is not prime. Res64: 94C4A93CB7FE62FC Time : 0.0 sec. user=mdettweiler [2015-10-22 06:22:41] 861*2^1412910-1 is not prime. Res64: F74CE813A6E77AD4 Time : 0.0 sec. user=mdettweiler [2015-10-22 06:37:02] 917*2^1412910-1 is not prime. Res64: 7252163BFD9B02AE Time : 0.0 sec. user=mdettweiler [2015-10-22 06:37:03] 927*2^1412910-1 is not prime. Res64: 7DDCB28BFEC025CF Time : 0.0 sec. user=mdettweiler [2015-10-22 06:37:32] 645*2^1412911-1 is not prime. Res64: 93FC0A4F3690D801 Time : 0.0 sec. user=mdettweiler [2015-10-22 06:37:33] 663*2^1412911-1 is not prime. Res64: D6A7B32750ED0586 Time : 0.0 sec. user=mdettweiler [2015-10-22 06:38:42] 819*2^1412911-1 is not prime. Res64: DBC054DC2BFEDC0A Time : 0.0 sec. user=mdettweiler [2015-10-22 06:38:43] 885*2^1412911-1 is not prime. Res64: 95B61CBE8D231C5B Time : 0.0 sec. user=mdettweiler [2015-10-22 06:40:33] 605*2^1412912-1 is not prime. Res64: 9D974C4C7F31F743 Time : 0.0 sec. user=mdettweiler [2015-10-22 06:40:34] 615*2^1412912-1 is not prime. Res64: DE176153ECF529FE Time : 0.0 sec. user=mdettweiler [2015-10-22 06:54:54] 683*2^1412912-1 is not prime. Res64: A32B294F6C4E7F65 Time : 0.0 sec. user=mdettweiler [2015-10-22 06:54:55] 777*2^1412912-1 is not prime. Res64: E5DE1468362432C4 Time : 0.0 sec. user=mdettweiler [2015-10-22 06:55:26] 983*2^1412912-1 is not prime. Res64: 889498F791305BF8 Time : 0.0 sec. user=mdettweiler [2015-10-22 06:55:27] 607*2^1412913-1 is not prime. Res64: B5916DF8E6FB5B16 Time : 0.0 sec. user=mdettweiler [2015-10-22 06:56:37] 625*2^1412913-1 is not prime. Res64: 1D6FEFCCEDAC1B70 Time : 0.0 sec. user=mdettweiler [2015-10-22 06:56:38] 669*2^1412913-1 is not prime. Res64: 7C973174FB6C5CC0 Time : 0.0 sec. user=mdettweiler [2015-10-22 06:58:27] 685*2^1412913-1 is not prime. Res64: 2AAA948E14902FE5 Time : 0.0 sec. user=mdettweiler [2015-10-22 06:58:27] 691*2^1412913-1 is not prime. Res64: 893BCB5D93E7CF2E Time : 0.0 sec. user=mdettweiler [2015-10-22 07:12:44] 747*2^1412913-1 is not prime. Res64: BB8A852FA79286BC Time : 0.0 sec. user=mdettweiler [2015-10-22 07:12:44] 759*2^1412913-1 is not prime. Res64: 0BABF422F896D31C Time : 0.0 sec. user=mdettweiler [2015-10-22 07:13:22] 805*2^1412913-1 is not prime. Res64: 05C275ACEAA415EF Time : 0.0 sec. user=mdettweiler [2015-10-22 07:13:23] 819*2^1412913-1 is not prime. Res64: AF64B0D0C32E6467 Time : 0.0 sec. user=mdettweiler [2015-10-22 07:14:35] 915*2^1412913-1 is not prime. Res64: 7E4BE74A998FCC85 Time : 0.0 sec. user=mdettweiler [2015-10-22 07:14:36] 919*2^1412913-1 is not prime. Res64: A91586D2226CCB74 Time : 0.0 sec. user=mdettweiler [2015-10-22 07:16:20] 949*2^1412913-1 is not prime. Res64: 7A804805CFF0ACC7 Time : 0.0 sec. user=mdettweiler [2015-10-22 07:16:21] 979*2^1412913-1 is not prime. Res64: 4B40EF24FC623F60 Time : 0.0 sec. user=mdettweiler [2015-10-22 07:30:45] 621*2^1412914-1 is not prime. Res64: 90A676A55D495169 Time : 0.0 sec. user=mdettweiler [2015-10-22 07:30:46] 651*2^1412914-1 is not prime. Res64: 85B509C631497325 Time : 0.0 sec. user=mdettweiler [2015-10-22 07:31:17] 705*2^1412914-1 is not prime. Res64: B0E483CC9D3188F3 Time : 0.0 sec. user=mdettweiler [2015-10-22 07:31:18] 737*2^1412914-1 is not prime. Res64: 2053462797CF9895 Time : 0.0 sec. user=mdettweiler [2015-10-22 07:32:27] 947*2^1412914-1 is not prime. Res64: 98FCD078F9D667FD Time : 0.0 sec. user=mdettweiler [2015-10-22 07:32:28] 993*2^1412914-1 is not prime. Res64: 812D0B5C99F46346 Time : 0.0 sec. user=mdettweiler [2015-10-22 07:34:24] 885*2^1412915-1 is not prime. Res64: 0099561AA0D142BD Time : 0.0 sec. user=mdettweiler [2015-10-22 07:34:25] 895*2^1412915-1 is not prime. Res64: 77A74AC599B64DC2 Time : 0.0 sec. user=mdettweiler [2015-10-22 07:48:58] 969*2^1412915-1 is not prime. Res64: 3ACD7B387DFB166D Time : 0.0 sec. user=mdettweiler [2015-10-22 07:48:59] 767*2^1412916-1 is not prime. Res64: 0364DCE10D0D13D2 Time : 0.0 sec. user=mdettweiler [2015-10-22 07:49:30] 825*2^1412916-1 is not prime. Res64: 835D121DA5EE4D05 Time : 0.0 sec. user=mdettweiler [2015-10-22 07:49:31] 905*2^1412916-1 is not prime. Res64: 0415531DF662F272 Time : 0.0 sec. user=mdettweiler [2015-10-22 07:50:46] 909*2^1412916-1 is not prime. Res64: 6B3AEA622630DA66 Time : 0.0 sec. user=mdettweiler [2015-10-22 07:50:48] 609*2^1412917-1 is not prime. Res64: 97AC81FEB0C8ACBF Time : 0.0 sec. user=mdettweiler [2015-10-22 07:52:33] 651*2^1412917-1 is not prime. Res64: 0EF7A03765779176 Time : 0.0 sec. user=mdettweiler [2015-10-22 07:52:34] 813*2^1412918-1 is not prime. Res64: 5D8F75DEA69E920B Time : 0.0 sec. user=mdettweiler [2015-10-22 08:06:54] 945*2^1412918-1 is not prime. Res64: 465FED68AFB1C080 Time : 0.0 sec. user=mdettweiler [2015-10-22 08:06:56] 963*2^1412918-1 is not prime. Res64: 48039619EE9A4517 Time : 0.0 sec. user=mdettweiler [2015-10-22 08:07:30] 977*2^1412918-1 is not prime. Res64: 663ED978F8F324D1 Time : 0.0 sec. user=mdettweiler [2015-10-22 08:07:31] 995*2^1412918-1 is not prime. Res64: CC294A49A6A58B6F Time : 0.0 sec. user=mdettweiler [2015-10-22 08:08:47] 649*2^1412919-1 is not prime. Res64: 81B3B73606F316B7 Time : 0.0 sec. user=mdettweiler [2015-10-22 08:08:47] 685*2^1412919-1 is not prime. Res64: D653C63D9485534D Time : 0.0 sec. user=mdettweiler [2015-10-22 08:10:28] 703*2^1412919-1 is not prime. Res64: 226331EBC1DE38FD Time : 0.0 sec. user=mdettweiler [2015-10-22 08:10:28] 735*2^1412919-1 is not prime. Res64: 40B44B5B067705D9 Time : 0.0 sec. user=mdettweiler [2015-10-22 08:24:42] 885*2^1412919-1 is not prime. Res64: 677355FBC81D1199 Time : 0.0 sec. user=mdettweiler [2015-10-22 08:24:43] 913*2^1412919-1 is not prime. Res64: E3345BB27CF18241 Time : 0.0 sec. user=mdettweiler [2015-10-22 08:25:16] 985*2^1412919-1 is not prime. Res64: BEBEEE83216FCA95 Time : 0.0 sec. user=mdettweiler [2015-10-22 08:25:16] 603*2^1412920-1 is not prime. Res64: 27198E47DCAA3898 Time : 0.0 sec. user=mdettweiler [2015-10-22 08:26:37] 699*2^1412920-1 is not prime. Res64: 58E9E74ECB3E0CA4 Time : 0.0 sec. user=mdettweiler [2015-10-22 08:26:37] 713*2^1412920-1 is not prime. Res64: EDDF92ECB19E5049 Time : 0.0 sec. user=mdettweiler [2015-10-22 08:28:08] 717*2^1412920-1 is not prime. Res64: AABE5D7B21D9043C Time : 0.0 sec. user=mdettweiler [2015-10-22 08:28:08] 743*2^1412920-1 is not prime. Res64: D88A141E71AE643F Time : 0.0 sec. user=mdettweiler [2015-10-22 08:42:25] 873*2^1412920-1 is not prime. Res64: D5748FF1B53C00E0 Time : 0.0 sec. user=mdettweiler [2015-10-22 08:42:25] 965*2^1412920-1 is not prime. Res64: B5284BE41A3D5A18 Time : 0.0 sec. user=mdettweiler [2015-10-22 08:42:55] 975*2^1412920-1 is not prime. Res64: 44514A0D0058537C Time : 0.0 sec. user=mdettweiler [2015-10-22 08:42:56] 631*2^1412921-1 is not prime. Res64: EE2971D8795B84EA Time : 0.0 sec. user=mdettweiler [2015-10-22 08:44:19] 697*2^1412921-1 is not prime. Res64: EB5B47DC69D9D051 Time : 0.0 sec. user=mdettweiler [2015-10-22 08:44:19] 715*2^1412921-1 is not prime. Res64: 49AC4B8D08C507CE Time : 0.0 sec. user=mdettweiler [2015-10-22 08:45:46] 735*2^1412921-1 is not prime. Res64: 1175AE748323C68F Time : 0.0 sec. user=mdettweiler [2015-10-22 08:45:47] 745*2^1412921-1 is not prime. Res64: 963F015B737B434B Time : 0.0 sec. user=mdettweiler [2015-10-22 09:00:06] 777*2^1412921-1 is not prime. Res64: 52FAC94CFDD27FC0 Time : 0.0 sec. user=mdettweiler [2015-10-22 09:00:06] 837*2^1412921-1 is not prime. Res64: 4AB5DD4A43AD696B Time : 0.0 sec. user=mdettweiler [2015-10-22 09:00:44] 889*2^1412921-1 is not prime. Res64: 17BC57643B63018B Time : 0.0 sec. user=mdettweiler [2015-10-22 09:00:45] 621*2^1412922-1 is not prime. Res64: 9E8C544A8B5DC6FC Time : 0.0 sec. user=mdettweiler [2015-10-22 09:02:07] 713*2^1412922-1 is not prime. Res64: A8E2D6F9A8AEBDB1 Time : 0.0 sec. user=mdettweiler [2015-10-22 09:02:07] 791*2^1412922-1 is not prime. Res64: 7E3AB03D0FC188F8 Time : 0.0 sec. user=mdettweiler [2015-10-22 09:03:36] 977*2^1412922-1 is not prime. Res64: A8D887691D271121 Time : 0.0 sec. user=mdettweiler [2015-10-22 09:03:37] 789*2^1412923-1 is not prime. Res64: 9202714633A99623 Time : 0.0 sec. user=mdettweiler [2015-10-22 09:17:53] 829*2^1412923-1 is not prime. Res64: 3458E4F45B909560 Time : 0.0 sec. user=mdettweiler [2015-10-22 09:17:53] 871*2^1412923-1 is not prime. Res64: 91B15744B7825CC3 Time : 0.0 sec. user=mdettweiler [2015-10-22 09:18:36] 885*2^1412923-1 is not prime. Res64: 21BCDA5232F123E5 Time : 0.0 sec. user=mdettweiler [2015-10-22 09:18:37] 915*2^1412923-1 is not prime. Res64: 595FB231EF54A1DE Time : 0.0 sec. user=mdettweiler [2015-10-22 09:19:52] 993*2^1412923-1 is not prime. Res64: C4B82098107C142D Time : 0.0 sec. user=mdettweiler [2015-10-22 09:19:53] 663*2^1412924-1 is not prime. Res64: 79D2FB9EC082786A Time : 0.0 sec. user=mdettweiler [2015-10-22 09:21:31] 813*2^1412924-1 is not prime. Res64: 009AC3E6BB65C0D0 Time : 0.0 sec. user=mdettweiler [2015-10-22 09:21:31] 945*2^1412924-1 is not prime. Res64: D40D518E5051CB82 Time : 0.0 sec. user=mdettweiler [2015-10-22 09:35:34] 969*2^1412924-1 is not prime. Res64: 70AEBDEE9D683325 Time : 0.0 sec. user=mdettweiler [2015-10-22 09:35:35] 601*2^1412925-1 is not prime. Res64: CCB76311F898BBDF Time : 0.0 sec. user=mdettweiler [2015-10-22 09:36:25] 717*2^1412925-1 is not prime. Res64: 0013ACF0021C46EE Time : 0.0 sec. user=mdettweiler [2015-10-22 09:36:25] 789*2^1412925-1 is not prime. Res64: 229B150FE5DE350A Time : 0.0 sec. user=mdettweiler [2015-10-22 09:37:35] 867*2^1412925-1 is not prime. Res64: 25FBE4FF6196D17B Time : 0.0 sec. user=mdettweiler [2015-10-22 09:37:36] 891*2^1412925-1 is not prime. Res64: 1CF4D606C3126DC4 Time : 0.0 sec. user=mdettweiler [2015-10-22 09:39:23] 961*2^1412925-1 is not prime. Res64: E8F4C9A9E3849803 Time : 0.0 sec. user=mdettweiler [2015-10-22 09:39:23] 617*2^1412926-1 is not prime. Res64: BFB94AA23FCA5D46 Time : 0.0 sec. user=mdettweiler [2015-10-22 09:53:18] 773*2^1412926-1 is not prime. Res64: D86524FD8CE65225 Time : 0.0 sec. user=mdettweiler [2015-10-22 09:53:18] 861*2^1412926-1 is not prime. Res64: 602F00BFE33DD2DD Time : 0.0 sec. user=mdettweiler [2015-10-22 09:54:12] 957*2^1412926-1 is not prime. Res64: 7085C03A7EB4B664 Time : 0.0 sec. user=mdettweiler [2015-10-22 09:54:12] 1001*2^1412926-1 is not prime. Res64: 5ECEDB10085C9C77 Time : 0.0 sec. user=mdettweiler [2015-10-22 09:55:23] 663*2^1412927-1 is not prime. Res64: 6CE1224AFB810D3B Time : 0.0 sec. user=mdettweiler [2015-10-22 09:55:24] 693*2^1412927-1 is not prime. Res64: 56DAA6A0D35E4C24 Time : 0.0 sec. user=mdettweiler [2015-10-22 09:57:10] 729*2^1412927-1 is not prime. Res64: BE9C6C83039C6F5F Time : 0.0 sec. user=mdettweiler [2015-10-22 09:57:11] 763*2^1412927-1 is not prime. Res64: 0BC48BA78B29F8BE Time : 0.0 sec. user=mdettweiler [2015-10-22 10:11:00] 879*2^1412927-1 is not prime. Res64: C1B8F335195E9227 Time : 0.0 sec. user=mdettweiler [2015-10-22 10:11:01] 949*2^1412927-1 is not prime. Res64: 296F07F4714C1EFF Time : 0.0 sec. user=mdettweiler [2015-10-22 10:11:58] 955*2^1412927-1 is not prime. Res64: 068189953D888AD4 Time : 0.0 sec. user=mdettweiler [2015-10-22 10:11:58] 993*2^1412927-1 is not prime. Res64: 6DE3431A16059923 Time : 0.0 sec. user=mdettweiler [2015-10-22 10:13:09] 669*2^1412928-1 is not prime. Res64: F1068B49B0D33C64 Time : 0.0 sec. user=mdettweiler [2015-10-22 10:13:09] 735*2^1412928-1 is not prime. Res64: 27C17179BF8F1EDB Time : 0.0 sec. user=mdettweiler [2015-10-22 10:14:56] 809*2^1412928-1 is not prime. Res64: 2F21A4057079FAA9 Time : 0.0 sec. user=mdettweiler [2015-10-22 10:14:59] 845*2^1412928-1 is not prime. Res64: 0D74E2AAB9F44C68 Time : 0.0 sec. user=mdettweiler [2015-10-22 10:28:50] 879*2^1412928-1 is not prime. Res64: D14142914FCACA2C Time : 0.0 sec. user=mdettweiler [2015-10-22 10:28:50] 893*2^1412928-1 is not prime. Res64: C9278080E535B4DF Time : 0.0 sec. user=mdettweiler [2015-10-22 10:29:51] 649*2^1412929-1 is not prime. Res64: FEC07C1CE80CFF49 Time : 0.0 sec. user=mdettweiler [2015-10-22 10:29:51] 729*2^1412929-1 is not prime. Res64: F295349192186406 Time : 0.0 sec. user=mdettweiler [2015-10-22 10:30:56] 801*2^1412929-1 is not prime. Res64: 7C0D5F93C6B80A06 Time : 0.0 sec. user=mdettweiler [2015-10-22 10:30:56] 831*2^1412929-1 is not prime. Res64: 5FE9E65FD9FA0F21 Time : 0.0 sec. user=mdettweiler [2015-10-22 10:32:57] 835*2^1412929-1 is not prime. Res64: B5D9929E2DAB9786 Time : 0.0 sec. user=mdettweiler [2015-10-22 10:32:57] 951*2^1412929-1 is not prime. Res64: 821158DE662684B1 Time : 0.0 sec. user=mdettweiler [2015-10-22 10:46:29] 641*2^1412930-1 is not prime. Res64: DF12C6C73C7AF10D Time : 0.0 sec. user=mdettweiler [2015-10-22 10:46:29] 645*2^1412930-1 is not prime. Res64: 700C06F500D81C83 Time : 0.0 sec. user=mdettweiler [2015-10-22 10:47:31] 677*2^1412930-1 is not prime. Res64: FC23AABA33DB0358 Time : 0.0 sec. user=mdettweiler [2015-10-22 10:47:32] 701*2^1412930-1 is not prime. Res64: 0D194C2C07B0C52D Time : 0.0 sec. user=mdettweiler [2015-10-22 10:48:47] 753*2^1412930-1 is not prime. Res64: 16656C9EBA0FC974 Time : 0.0 sec. user=mdettweiler [2015-10-22 10:48:48] 875*2^1412930-1 is not prime. Res64: BF4737CEBA5EEB93 Time : 0.0 sec. user=mdettweiler [2015-10-22 10:50:38] 885*2^1412930-1 is not prime. Res64: 67B2B4BCB56D4392 Time : 0.0 sec. user=mdettweiler [2015-10-22 10:50:39] 923*2^1412930-1 is not prime. Res64: CCF3A6B7F978DCAD Time : 0.0 sec. user=mdettweiler [2015-10-22 11:04:16] 651*2^1412931-1 is not prime. Res64: 96DD138731986EE3 Time : 0.0 sec. user=mdettweiler [2015-10-22 11:04:17] 685*2^1412931-1 is not prime. Res64: F5895EB44DCDDF48 Time : 0.0 sec. user=mdettweiler [2015-10-22 11:05:26] 801*2^1412931-1 is not prime. Res64: 16D0DDCD25CF9A10 Time : 0.0 sec. user=mdettweiler [2015-10-22 11:05:27] 903*2^1412931-1 is not prime. Res64: E1F2D7AE0134FD66 Time : 0.0 sec. user=mdettweiler [2015-10-22 11:06:30] 945*2^1412931-1 is not prime. Res64: D1B9BFF1D98D48F5 Time : 0.0 sec. user=mdettweiler [2015-10-22 11:06:30] 961*2^1412931-1 is not prime. Res64: 5B2EB56921F9791C Time : 0.0 sec. user=mdettweiler [2015-10-22 11:08:27] 605*2^1412932-1 is not prime. Res64: EA19BABE29116497 Time : 0.0 sec. user=mdettweiler [2015-10-22 11:08:28] 615*2^1412932-1 is not prime. Res64: 55650277C3E4B4B5 Time : 0.0 sec. user=mdettweiler [2015-10-22 11:22:06] 843*2^1412932-1 is not prime. Res64: F9E06A0CC0278D64 Time : 0.0 sec. user=mdettweiler [2015-10-22 11:22:07] 897*2^1412932-1 is not prime. Res64: 1BECE25FDA1AEFE1 Time : 0.0 sec. user=mdettweiler [2015-10-22 11:23:14] 903*2^1412932-1 is not prime. Res64: A7A62D955C8A400F Time : 0.0 sec. user=mdettweiler [2015-10-22 11:23:14] 721*2^1412933-1 is not prime. Res64: E33EA84C7715D0CE Time : 0.0 sec. user=mdettweiler [2015-10-22 11:24:09] 727*2^1412933-1 is not prime. Res64: BF317B3157A4BFD1 Time : 0.0 sec. user=mdettweiler [2015-10-22 11:24:10] 757*2^1412933-1 is not prime. Res64: C95F1E276A5AA4FA Time : 0.0 sec. user=mdettweiler [2015-10-22 11:26:24] 867*2^1412933-1 is not prime. Res64: 778254E0839713CA Time : 0.0 sec. user=mdettweiler [2015-10-22 11:26:24] 979*2^1412933-1 is not prime. Res64: 793DC7C391FDB126 Time : 0.0 sec. user=mdettweiler [2015-10-22 11:39:46] 985*2^1412933-1 is not prime. Res64: BC0BBF15AE95015F Time : 0.0 sec. user=mdettweiler [2015-10-22 11:39:46] 987*2^1412933-1 is not prime. Res64: C98ACD8334092002 Time : 0.0 sec. user=mdettweiler [2015-10-22 11:40:56] 797*2^1412934-1 is not prime. Res64: 2AAF375BB159AA44 Time : 0.0 sec. user=mdettweiler [2015-10-22 11:40:56] 815*2^1412934-1 is not prime. Res64: 14CDBC70B3E95984 Time : 0.0 sec. user=mdettweiler [2015-10-22 11:41:46] 983*2^1412934-1 is not prime. Res64: F105E19E1DA6CA9A Time : 0.0 sec. user=mdettweiler [2015-10-22 11:41:47] 633*2^1412935-1 is not prime. Res64: DF6C22EF10B2B801 Time : 0.0 sec. user=mdettweiler [2015-10-22 11:44:09] 675*2^1412935-1 is not prime. Res64: FFB04A586EDEA475 Time : 0.0 sec. user=mdettweiler [2015-10-22 11:44:09] 933*2^1412935-1 is not prime. Res64: 1529D3F825369F36 Time : 0.0 sec. user=mdettweiler [2015-10-22 11:57:33] 979*2^1412935-1 is not prime. Res64: E06B48E848D179DE Time : 0.0 sec. user=mdettweiler [2015-10-22 11:57:33] 615*2^1412936-1 is not prime. Res64: 4E45FA96CDC4AB7A Time : 0.0 sec. user=mdettweiler [2015-10-22 11:58:52] 677*2^1412936-1 is not prime. Res64: 9FB42CE2B6B7A0E0 Time : 0.0 sec. user=mdettweiler [2015-10-22 11:58:53] 725*2^1412936-1 is not prime. Res64: 040ABFCDFAE3D90B Time : 0.0 sec. user=mdettweiler [2015-10-22 11:59:35] 785*2^1412936-1 is not prime. Res64: EA58D03927FDE75D Time : 0.0 sec. user=mdettweiler [2015-10-22 11:59:35] 833*2^1412936-1 is not prime. Res64: 99CB0116A8E3F6E9 Time : 0.0 sec. user=mdettweiler [2015-10-22 12:01:59] 899*2^1412936-1 is not prime. Res64: 1E680B17951820DE Time : 0.0 sec. user=mdettweiler [2015-10-22 12:02:00] 927*2^1412936-1 is not prime. Res64: AB82E4B650FFAE31 Time : 0.0 sec. user=mdettweiler [2015-10-22 12:15:15] 969*2^1412936-1 is not prime. Res64: 9665B14A41756039 Time : 0.0 sec. user=mdettweiler [2015-10-22 12:15:16] 609*2^1412937-1 is not prime. Res64: CFAFC869282413DD Time : 0.0 sec. user=mdettweiler [2015-10-22 12:16:40] 637*2^1412937-1 is not prime. Res64: 533D6B0EA6BE77E7 Time : 0.0 sec. user=mdettweiler [2015-10-22 12:16:41] 681*2^1412937-1 is not prime. Res64: 5EED9B0A9D749A57 Time : 0.0 sec. user=mdettweiler [2015-10-22 12:17:25] 777*2^1412937-1 is not prime. Res64: 680DE6BD114AD83D Time : 0.0 sec. user=mdettweiler [2015-10-22 12:17:25] 895*2^1412937-1 is not prime. Res64: 2CBA0CBBCB0400C0 Time : 0.0 sec. user=mdettweiler [2015-10-22 12:20:01] 919*2^1412937-1 is not prime. Res64: F4D97C0718D1FD2C Time : 0.0 sec. user=mdettweiler [2015-10-22 12:20:01] 677*2^1412938-1 is not prime. Res64: 79F33E0BA3B3254B Time : 0.0 sec. user=mdettweiler [2015-10-22 12:33:00] 695*2^1412938-1 is not prime. Res64: 91ED3DEE8786A26B Time : 0.0 sec. user=mdettweiler [2015-10-22 12:33:01] 713*2^1412938-1 is not prime. Res64: 2886D25F94F78F50 Time : 0.0 sec. user=mdettweiler [2015-10-22 12:34:22] 773*2^1412938-1 is not prime. Res64: 7234A5CB447ED004 Time : 0.0 sec. user=mdettweiler [2015-10-22 12:34:22] 791*2^1412938-1 is not prime. Res64: 24CC27FC0150F006 Time : 0.0 sec. user=mdettweiler [2015-10-22 12:35:06] 855*2^1412938-1 is not prime. Res64: D6305CDE5AF23B3B Time : 0.0 sec. user=mdettweiler [2015-10-22 12:35:06] 923*2^1412938-1 is not prime. Res64: BCB34537BDD377A1 Time : 0.0 sec. user=mdettweiler [2015-10-22 12:37:47] 655*2^1412939-1 is not prime. Res64: 09F49A11E36D637B Time : 0.0 sec. user=mdettweiler [2015-10-22 12:37:47] 733*2^1412939-1 is not prime. Res64: A0D0AB28455126B0 Time : 0.0 sec. user=mdettweiler [2015-10-22 12:50:48] 771*2^1412939-1 is not prime. Res64: 4C762429F3538A1A Time : 0.0 sec. user=mdettweiler [2015-10-22 12:50:49] 825*2^1412939-1 is not prime. Res64: 5C795031C3CB9E7A Time : 0.0 sec. user=mdettweiler [2015-10-22 12:52:05] 909*2^1412939-1 is not prime. Res64: 52A787D94D91EEFD Time : 0.0 sec. user=mdettweiler [2015-10-22 12:52:05] 913*2^1412939-1 is not prime. Res64: 6D468F39E73797E6 Time : 0.0 sec. user=mdettweiler [2015-10-22 12:52:45] 979*2^1412939-1 is not prime. Res64: 7348B85EE3AC62C0 Time : 0.0 sec. user=mdettweiler [2015-10-22 12:52:46] 609*2^1412940-1 is not prime. Res64: 27DC1442E66A25C5 Time : 0.0 sec. user=mdettweiler [2015-10-22 12:55:29] 873*2^1412940-1 is not prime. Res64: 0D1C460B4DB09781 Time : 0.0 sec. user=mdettweiler [2015-10-22 12:55:29] 915*2^1412940-1 is not prime. Res64: 69D12D732EB14428 Time : 0.0 sec. user=mdettweiler [2015-10-22 13:08:45] 923*2^1412940-1 is not prime. Res64: EB8A8619C2AA0F10 Time : 0.0 sec. user=mdettweiler [2015-10-22 13:08:46] 929*2^1412940-1 is not prime. Res64: CD4F8A74D214743B Time : 0.0 sec. user=mdettweiler [2015-10-22 13:09:55] 715*2^1412941-1 is not prime. Res64: 6A8E8475192B157D Time : 0.0 sec. user=mdettweiler [2015-10-22 13:09:55] 751*2^1412941-1 is not prime. Res64: 5C454EFD982BB90C Time : 0.0 sec. user=mdettweiler [2015-10-22 13:10:31] 789*2^1412941-1 is not prime. Res64: 170DF42EFDE21E91 Time : 0.0 sec. user=mdettweiler [2015-10-22 13:10:32] 861*2^1412941-1 is not prime. Res64: B050ED28715B6CC5 Time : 0.0 sec. user=mdettweiler [2015-10-22 13:13:12] 927*2^1412941-1 is not prime. Res64: A489259DB58779B5 Time : 0.0 sec. user=mdettweiler [2015-10-22 13:13:12] 951*2^1412941-1 is not prime. Res64: 75F6C8E9E0121AC2 Time : 0.0 sec. user=mdettweiler [2015-10-22 13:26:31] 615*2^1412942-1 is not prime. Res64: 91990CAF430BA214 Time : 0.0 sec. user=mdettweiler [2015-10-22 13:26:32] 623*2^1412942-1 is not prime. Res64: F826AC3E1C8D1764 Time : 0.0 sec. user=mdettweiler [2015-10-22 13:27:42] 635*2^1412942-1 is not prime. Res64: 212113F0512FF64D Time : 0.0 sec. user=mdettweiler [2015-10-22 13:27:43] 675*2^1412942-1 is not prime. Res64: 3EFC9DCBCAFC1D08 Time : 0.0 sec. user=mdettweiler [2015-10-22 13:28:18] 813*2^1412942-1 is not prime. Res64: 47643A13407648CF Time : 0.0 sec. user=mdettweiler [2015-10-22 13:28:18] 921*2^1412942-1 is not prime. Res64: 8325C77322FE86C2 Time : 0.0 sec. user=mdettweiler [2015-10-22 13:31:04] 679*2^1412943-1 is not prime. Res64: 6C6FE47C9D00789F Time : 0.0 sec. user=mdettweiler [2015-10-22 13:31:05] 709*2^1412943-1 is not prime. Res64: C94DF4B19340D7FF Time : 0.0 sec. user=mdettweiler [2015-10-22 13:44:13] 775*2^1412943-1 is not prime. Res64: 45F129C6D9D1B17D Time : 0.0 sec. user=mdettweiler [2015-10-22 13:44:13] 871*2^1412943-1 is not prime. Res64: A32A2D1EC78D59D0 Time : 0.0 sec. user=mdettweiler [2015-10-22 13:45:25] 885*2^1412943-1 is not prime. Res64: 4235E02558711B94 Time : 0.0 sec. user=mdettweiler [2015-10-22 13:45:25] 949*2^1412943-1 is not prime. Res64: FE2167217E9854CA Time : 0.0 sec. user=mdettweiler [2015-10-22 13:46:01] 963*2^1412943-1 is not prime. Res64: 90542DC4EE4712FF Time : 0.0 sec. user=mdettweiler [2015-10-22 13:46:02] 657*2^1412944-1 is not prime. Res64: 2460409DC3B47AAD Time : 0.0 sec. user=mdettweiler [2015-10-22 13:48:47] 693*2^1412944-1 is not prime. Res64: D35E6902C7A05A49 Time : 0.0 sec. user=mdettweiler [2015-10-22 13:48:48] 887*2^1412944-1 is not prime. Res64: 39CBEF882191264A Time : 0.0 sec. user=mdettweiler [2015-10-22 14:02:02] 909*2^1412944-1 is not prime. Res64: 5B22740C054DF361 Time : 0.0 sec. user=mdettweiler [2015-10-22 14:02:03] 939*2^1412944-1 is not prime. Res64: 557ED59823072246 Time : 0.0 sec. user=mdettweiler [2015-10-22 14:03:25] 993*2^1412944-1 is not prime. Res64: BD7322520BF2D95B Time : 0.0 sec. user=mdettweiler [2015-10-22 14:03:26] 619*2^1412945-1 is not prime. Res64: 48B85EC6B99A3913 Time : 0.0 sec. user=mdettweiler [2015-10-22 14:03:53] 651*2^1412945-1 is not prime. Res64: D7A6FAD17A3A14DF Time : 0.0 sec. user=mdettweiler [2015-10-22 14:03:55] 741*2^1412945-1 is not prime. Res64: 423EAA034B13931F Time : 0.0 sec. user=mdettweiler [2015-10-22 14:06:35] 777*2^1412945-1 is not prime. Res64: 86CE2DBEE23F6D3A Time : 0.0 sec. user=mdettweiler [2015-10-22 14:06:35] 855*2^1412945-1 is not prime. Res64: AB62191AA04B720C Time : 0.0 sec. user=mdettweiler [2015-10-22 14:20:05] 897*2^1412945-1 is not prime. Res64: B43D45E784DA1731 Time : 0.0 sec. user=mdettweiler [2015-10-22 14:20:05] 909*2^1412945-1 is not prime. Res64: 3E147D451A5EFBD5 Time : 0.0 sec. user=mdettweiler [2015-10-22 14:21:12] 987*2^1412945-1 is not prime. Res64: 27F355294BB513D0 Time : 0.0 sec. user=mdettweiler [2015-10-22 14:21:13] 671*2^1412946-1 is not prime. Res64: AA611E08FEED9CF2 Time : 0.0 sec. user=mdettweiler [2015-10-22 14:21:47] 741*2^1412946-1 is not prime. Res64: 8F9D9CEDD8042B3C Time : 0.0 sec. user=mdettweiler [2015-10-22 14:21:47] 783*2^1412946-1 is not prime. Res64: 71966777818B60B6 Time : 0.0 sec. user=mdettweiler [2015-10-22 14:24:18] 815*2^1412946-1 is not prime. Res64: 70DE01014CBBD670 Time : 0.0 sec. user=mdettweiler [2015-10-22 14:24:18] 861*2^1412946-1 is not prime. Res64: 06D2788E92DE854C Time : 0.0 sec. user=mdettweiler [2015-10-22 14:37:58] 891*2^1412946-1 is not prime. Res64: F82B2FC48151CAD5 Time : 0.0 sec. user=mdettweiler [2015-10-22 14:37:58] 917*2^1412946-1 is not prime. Res64: 4E6065B58E94810B Time : 0.0 sec. user=mdettweiler [2015-10-22 14:39:04] 945*2^1412946-1 is not prime. Res64: D59445847F5D1350 Time : 0.0 sec. user=mdettweiler [2015-10-22 14:39:05] 993*2^1412946-1 is not prime. Res64: 6E77CC3A91EEADB1 Time : 0.0 sec. user=mdettweiler [2015-10-22 14:39:37] 649*2^1412947-1 is not prime. Res64: B3AC206F990B82D4 Time : 0.0 sec. user=mdettweiler [2015-10-22 14:39:37] 705*2^1412947-1 is not prime. Res64: 74F63E63970BCB94 Time : 0.0 sec. user=mdettweiler [2015-10-22 14:42:10] 733*2^1412947-1 is not prime. Res64: F3333E89D12EC34C Time : 0.0 sec. user=mdettweiler [2015-10-22 14:42:10] 849*2^1412947-1 is not prime. Res64: 1E12EBF0FA52F628 Time : 0.0 sec. user=mdettweiler [2015-10-22 14:55:45] 871*2^1412947-1 is not prime. Res64: AD033736AC5FC718 Time : 0.0 sec. user=mdettweiler [2015-10-22 14:55:45] 617*2^1412948-1 is not prime. Res64: EBD4DA09F7BDFF5A Time : 0.0 sec. user=mdettweiler [2015-10-22 14:56:48] 819*2^1412948-1 is not prime. Res64: FFCF9E417B9826AF Time : 0.0 sec. user=mdettweiler [2015-10-22 14:56:49] 827*2^1412948-1 is not prime. Res64: 71DC92FB23BB2DD1 Time : 0.0 sec. user=mdettweiler [2015-10-22 14:57:20] 915*2^1412948-1 is not prime. Res64: B55A55BD56674EBE Time : 0.0 sec. user=mdettweiler [2015-10-22 14:57:20] 935*2^1412948-1 is not prime. Res64: 06200672C7889CD5 Time : 0.0 sec. user=mdettweiler [2015-10-22 14:59:53] 945*2^1412948-1 is not prime. Res64: 9176C12D66C6EC5F Time : 0.0 sec. user=mdettweiler [2015-10-22 14:59:53] 957*2^1412948-1 is not prime. Res64: DC1105BF65068071 Time : 0.0 sec. user=mdettweiler [2015-10-22 15:13:30] 627*2^1412949-1 is not prime. Res64: 9A65EBAD012B704E Time : 0.0 sec. user=mdettweiler [2015-10-22 15:13:31] 649*2^1412949-1 is not prime. Res64: E7B7362A5E5421D7 Time : 0.0 sec. user=mdettweiler [2015-10-22 15:14:35] 675*2^1412949-1 is not prime. Res64: 206F5BE42F8032D0 Time : 0.0 sec. user=mdettweiler [2015-10-22 15:14:36] 691*2^1412949-1 is not prime. Res64: 5858EAF4A6A52A91 Time : 0.0 sec. user=mdettweiler [2015-10-22 15:15:04] 735*2^1412949-1 is not prime. Res64: 54559B8D99DE1BB5 Time : 0.0 sec. user=mdettweiler [2015-10-22 15:15:05] 751*2^1412949-1 is not prime. Res64: 492743A30F3B8F25 Time : 0.0 sec. user=mdettweiler [2015-10-22 15:17:39] 765*2^1412949-1 is not prime. Res64: EDBCD4D850B2DEAC Time : 0.0 sec. user=mdettweiler [2015-10-22 15:17:39] 877*2^1412949-1 is not prime. Res64: 8BA4FD66DD17BDBA Time : 0.0 sec. user=mdettweiler [2015-10-22 15:31:21] 895*2^1412949-1 is not prime. Res64: 8A8E966853655398 Time : 0.0 sec. user=mdettweiler [2015-10-22 15:31:22] 979*2^1412949-1 is not prime. Res64: FAD63640943AB881 Time : 0.0 sec. user=mdettweiler [2015-10-22 15:32:25] 681*2^1412950-1 is not prime. Res64: 01D095A3B90C8E62 Time : 0.0 sec. user=mdettweiler [2015-10-22 15:32:25] 857*2^1412950-1 is not prime. Res64: 17BF8007EE3120D6 Time : 0.0 sec. user=mdettweiler [2015-10-22 15:32:59] 945*2^1412950-1 is not prime. Res64: AA763758FAA184C4 Time : 0.0 sec. user=mdettweiler [2015-10-22 15:33:00] 645*2^1412951-1 is not prime. Res64: 5D0D536D6F50B604 Time : 0.0 sec. user=mdettweiler [2015-10-22 15:35:34] 661*2^1412951-1 is not prime. Res64: 0E9BE2B07E3BAB8A Time : 0.0 sec. user=mdettweiler [2015-10-22 15:35:35] 735*2^1412951-1 is not prime. Res64: 56F591D718534CCE Time : 0.0 sec. user=mdettweiler [2015-10-22 15:49:17] 843*2^1412951-1 is not prime. Res64: 718A6C2E5DAAF2CC Time : 0.0 sec. user=mdettweiler [2015-10-22 15:49:19] 633*2^1412952-1 is not prime. Res64: A4849857F5F23148 Time : 0.0 sec. user=mdettweiler [2015-10-22 15:50:11] 635*2^1412952-1 is not prime. Res64: 0C1629FE4FA0C1F2 Time : 0.0 sec. user=mdettweiler [2015-10-22 15:50:12] 837*2^1412952-1 is not prime. Res64: 87F49D95685F9997 Time : 0.0 sec. user=mdettweiler [2015-10-22 15:50:50] 915*2^1412952-1 is not prime. Res64: D9C844CF3C88AAA5 Time : 0.0 sec. user=mdettweiler [2015-10-22 15:50:51] 649*2^1412953-1 is not prime. Res64: 07EF8FEC8BD84466 Time : 0.0 sec. user=mdettweiler [2015-10-22 15:53:27] 817*2^1412953-1 is not prime. Res64: B2D08B03175F1CEC Time : 0.0 sec. user=mdettweiler [2015-10-22 15:53:28] 945*2^1412953-1 is not prime. Res64: 2CEC6014D3EB7EEC Time : 0.0 sec. user=mdettweiler [2015-10-22 16:07:17] 987*2^1412953-1 is not prime. Res64: FBFC6CA9F817E67E Time : 0.0 sec. user=mdettweiler [2015-10-22 16:07:18] 675*2^1412954-1 is not prime. Res64: 5DE9319DEC2699E0 Time : 0.0 sec. user=mdettweiler [2015-10-22 16:07:59] 773*2^1412954-1 is not prime. Res64: 5E7C26BFEB57CCD7 Time : 0.0 sec. user=mdettweiler [2015-10-22 16:08:00] 791*2^1412954-1 is not prime. Res64: 042FDC8C2B878A25 Time : 0.0 sec. user=mdettweiler [2015-10-22 16:08:41] 751*2^1412955-1 is not prime. Res64: E12A30BD7720CE5B Time : 0.0 sec. user=mdettweiler [2015-10-22 16:08:42] 775*2^1412955-1 is not prime. Res64: FF2323E4984B5332 Time : 0.0 sec. user=mdettweiler [2015-10-22 16:11:17] 615*2^1412956-1 is not prime. Res64: B5A5D9AD469E5A42 Time : 0.0 sec. user=mdettweiler [2015-10-22 16:11:19] 689*2^1412956-1 is not prime. Res64: 59A58A263DB78E6C Time : 0.0 sec. user=mdettweiler [2015-10-22 16:25:14] 957*2^1412956-1 is not prime. Res64: 3D6ACBE01C6D08FF Time : 0.0 sec. user=mdettweiler [2015-10-22 16:25:15] 989*2^1412956-1 is not prime. Res64: 552C3F8B70BE72DE Time : 0.0 sec. user=mdettweiler [2015-10-22 16:25:55] 607*2^1412957-1 is not prime. Res64: 9F8B93B381DD6C70 Time : 0.0 sec. user=mdettweiler [2015-10-22 16:25:56] 619*2^1412957-1 is not prime. Res64: 18B85C9FF5675BD4 Time : 0.0 sec. user=mdettweiler [2015-10-22 16:26:36] 655*2^1412957-1 is not prime. Res64: 3F5A18501D8A51EC Time : 0.0 sec. user=mdettweiler [2015-10-22 16:26:37] 691*2^1412957-1 is not prime. Res64: 6E896BCD1A1AA2E5 Time : 0.0 sec. user=mdettweiler [2015-10-22 16:29:16] 829*2^1412957-1 is not prime. Res64: 68D69291BB55D178 Time : 0.0 sec. user=mdettweiler [2015-10-22 16:29:17] 967*2^1412957-1 is not prime. Res64: 342B564250FEB593 Time : 0.0 sec. user=mdettweiler [2015-10-22 16:43:11] 981*2^1412957-1 is not prime. Res64: E1426FE44140D0D6 Time : 0.0 sec. user=mdettweiler [2015-10-22 16:43:12] 761*2^1412958-1 is not prime. Res64: E50479B1B9EDDA98 Time : 0.0 sec. user=mdettweiler [2015-10-22 16:43:45] 825*2^1412958-1 is not prime. Res64: C6BE6663E93C7F83 Time : 0.0 sec. user=mdettweiler [2015-10-22 16:43:46] 875*2^1412958-1 is not prime. Res64: 8F2BBDEC5CDA1998 Time : 0.0 sec. user=mdettweiler [2015-10-22 16:44:33] 709*2^1412959-1 is not prime. Res64: D40D27405186CC76 Time : 0.0 sec. user=mdettweiler [2015-10-22 16:44:34] 813*2^1412959-1 is not prime. Res64: DC42435F48DEE20B Time : 0.0 sec. user=mdettweiler [2015-10-22 16:47:11] 861*2^1412959-1 is not prime. Res64: D64F281B3B086127 Time : 0.0 sec. user=mdettweiler [2015-10-22 16:47:12] 919*2^1412959-1 is not prime. Res64: 98D536AAAA58A7DB Time : 0.0 sec. user=mdettweiler [2015-10-22 17:01:21] 717*2^1412960-1 is not prime. Res64: 6B572A3821ACF511 Time : 0.0 sec. user=mdettweiler [2015-10-22 17:01:23] 759*2^1412960-1 is not prime. Res64: DECA92F1A41ABD0A Time : 0.0 sec. user=mdettweiler [2015-10-22 17:01:44] 777*2^1412960-1 is not prime. Res64: DCEBA9D8D7371078 Time : 0.0 sec. user=mdettweiler [2015-10-22 17:01:46] 797*2^1412960-1 is not prime. Res64: 4EEBE2563B9D279E Time : 0.0 sec. user=mdettweiler [2015-10-22 17:02:46] 977*2^1412960-1 is not prime. Res64: 29E3B591ACE1AC7C Time : 0.0 sec. user=mdettweiler [2015-10-22 17:02:48] 781*2^1412961-1 is not prime. Res64: 5E26966F2BFA540B Time : 0.0 sec. user=mdettweiler [2015-10-22 17:05:43] 819*2^1412961-1 is not prime. Res64: A760A1DAC47C0B5C Time : 0.0 sec. user=mdettweiler [2015-10-22 17:05:45] 949*2^1412961-1 is not prime. Res64: B00E8AD161B2F2C5 Time : 0.0 sec. user=mdettweiler [2015-10-22 17:19:54] 955*2^1412961-1 is not prime. Res64: 573C388E6BB55086 Time : 0.0 sec. user=mdettweiler [2015-10-22 17:19:55] 969*2^1412961-1 is not prime. Res64: 97AE86AD429E401E Time : 0.0 sec. user=mdettweiler [2015-10-22 17:20:12] 979*2^1412961-1 is not prime. Res64: 255BC7BAA628C456 Time : 0.0 sec. user=mdettweiler [2015-10-22 17:20:13] 991*2^1412961-1 is not prime. Res64: 454761108ACBB02C Time : 0.0 sec. user=mdettweiler [2015-10-22 17:21:04] 611*2^1412962-1 is not prime. Res64: 17349058F6CDBA2D Time : 0.0 sec. user=mdettweiler [2015-10-22 17:21:04] 623*2^1412962-1 is not prime. Res64: 68463220813D200D Time : 0.0 sec. user=mdettweiler [2015-10-22 17:23:52] 635*2^1412962-1 is not prime. Res64: 2977F67FC5C8C6B3 Time : 0.0 sec. user=mdettweiler [2015-10-22 17:23:53] 657*2^1412962-1 is not prime. Res64: 907FAE5D6C9DDAF0 Time : 0.0 sec. user=mdettweiler [2015-10-22 17:37:43] 665*2^1412962-1 is not prime. Res64: 1B42FECBB8F0AF08 Time : 0.0 sec. user=mdettweiler [2015-10-22 17:37:44] 765*2^1412962-1 is not prime. Res64: 837C67651CA09820 Time : 0.0 sec. user=mdettweiler [2015-10-22 17:38:08] 791*2^1412962-1 is not prime. Res64: 180CC7DEF2391B18 Time : 0.0 sec. user=mdettweiler [2015-10-22 17:38:09] 873*2^1412962-1 is not prime. Res64: CA31B6D43A3517EF Time : 0.0 sec. user=mdettweiler [2015-10-22 17:38:57] 619*2^1412963-1 is not prime. Res64: F1CCC64B2AE22BAA Time : 0.0 sec. user=mdettweiler [2015-10-22 17:38:58] 643*2^1412963-1 is not prime. Res64: AFA93BAE4AA6539E Time : 0.0 sec. user=mdettweiler [2015-10-22 17:41:45] 693*2^1412963-1 is not prime. Res64: 4C254F3124A3F769 Time : 0.0 sec. user=mdettweiler [2015-10-22 17:41:46] 945*2^1412963-1 is not prime. Res64: 0F90D3B7D5C11140 Time : 0.0 sec. user=mdettweiler [2015-10-22 17:55:39] 737*2^1412964-1 is not prime. Res64: 3B64F8A5A9518F6A Time : 0.0 sec. user=mdettweiler [2015-10-22 17:55:40] 753*2^1412964-1 is not prime. Res64: 9A9152DABA3BF930 Time : 0.0 sec. user=mdettweiler [2015-10-22 17:56:03] 927*2^1412964-1 is not prime. Res64: 0C50F292FD813F01 Time : 0.0 sec. user=mdettweiler [2015-10-22 17:56:04] 975*2^1412964-1 is not prime. Res64: 9EA83607350E5A09 Time : 0.0 sec. user=mdettweiler [2015-10-22 17:56:47] 825*2^1412965-1 is not prime. Res64: A22E42BCA638969F Time : 0.0 sec. user=mdettweiler [2015-10-22 17:56:48] 831*2^1412965-1 is not prime. Res64: 36014BE9611C447B Time : 0.0 sec. user=mdettweiler [2015-10-22 17:59:37] 855*2^1412965-1 is not prime. Res64: 4E1507A14F259625 Time : 0.0 sec. user=mdettweiler [2015-10-22 17:59:38] 707*2^1412966-1 is not prime. Res64: 5363A1A90F484230 Time : 0.0 sec. user=mdettweiler [2015-10-22 18:13:15] 741*2^1412966-1 is not prime. Res64: 03DD15F3B89310E9 Time : 0.0 sec. user=mdettweiler [2015-10-22 18:13:16] 831*2^1412966-1 is not prime. Res64: B129FAF332047E56 Time : 0.0 sec. user=mdettweiler [2015-10-22 18:13:40] 833*2^1412966-1 is not prime. Res64: 3969224EB37D0F89 Time : 0.0 sec. user=mdettweiler [2015-10-22 18:13:41] 867*2^1412966-1 is not prime. Res64: F330626223390D16 Time : 0.0 sec. user=mdettweiler [2015-10-22 18:14:20] 903*2^1412966-1 is not prime. Res64: BF22BCFD4409D0B7 Time : 0.0 sec. user=mdettweiler [2015-10-22 18:14:21] 685*2^1412967-1 is not prime. Res64: 1C792D916340C6D9 Time : 0.0 sec. user=mdettweiler [2015-10-22 18:30:45] 871*2^1412967-1 is not prime. Res64: 2D1F77CE89794620 Time : 0.0 sec. user=mdettweiler [2015-10-22 18:30:46] 901*2^1412967-1 is not prime. Res64: 71F7C2B29A44877A Time : 0.0 sec. user=mdettweiler [2015-10-22 18:31:14] 617*2^1412968-1 is not prime. Res64: 1D34F87A2FC5B49F Time : 0.0 sec. user=mdettweiler [2015-10-22 18:31:16] 705*2^1412968-1 is not prime. Res64: 43513EDEA664713F Time : 0.0 sec. user=mdettweiler [2015-10-22 18:31:50] 743*2^1412968-1 is not prime. Res64: A45A358D70F7EE0C Time : 0.0 sec. user=mdettweiler [2015-10-22 18:31:52] 777*2^1412968-1 is not prime. Res64: 105E47C531E61DA2 Time : 0.0 sec. user=mdettweiler [2015-10-22 18:48:18] 819*2^1412968-1 is not prime. Res64: 39E493AA758FAC7F Time : 0.0 sec. user=mdettweiler [2015-10-22 18:48:19] 863*2^1412968-1 is not prime. Res64: C5391E8BCB0DC60B Time : 0.0 sec. user=mdettweiler [2015-10-22 18:48:50] 875*2^1412968-1 is not prime. Res64: E7A1A13CB9C8C4C9 Time : 0.0 sec. user=mdettweiler [2015-10-22 18:48:51] 989*2^1412968-1 is not prime. Res64: 26F1877EBA8297E5 Time : 0.0 sec. user=mdettweiler [2015-10-22 18:49:24] 645*2^1412969-1 is not prime. Res64: 40BDBF86552DDD24 Time : 0.0 sec. user=mdettweiler [2015-10-22 18:49:25] 711*2^1412969-1 is not prime. Res64: 541D43AF2CF5DA6D Time : 0.0 sec. user=mdettweiler [2015-10-22 19:05:51] 775*2^1412969-1 is not prime. Res64: 5BEEFE53D2A7CD0B Time : 0.0 sec. user=mdettweiler [2015-10-22 19:05:52] 841*2^1412969-1 is not prime. Res64: 66F46252C542561A Time : 0.0 sec. user=mdettweiler [2015-10-22 19:06:22] 879*2^1412969-1 is not prime. Res64: 6667B555D76C6EB5 Time : 0.0 sec. user=mdettweiler [2015-10-22 19:06:24] 979*2^1412969-1 is not prime. Res64: 50F7D842FC6DAEBB Time : 0.0 sec. user=mdettweiler [2015-10-22 19:06:54] 611*2^1412970-1 is not prime. Res64: EDF3073EE4136526 Time : 0.0 sec. user=mdettweiler [2015-10-22 19:06:55] 651*2^1412970-1 is not prime. Res64: A1C2E44DD4FDACCA Time : 0.0 sec. user=mdettweiler [2015-10-22 19:23:44] 843*2^1412970-1 is not prime. Res64: BA5CC84AFE8404BA Time : 0.0 sec. user=mdettweiler [2015-10-22 19:23:45] 873*2^1412970-1 is not prime. Res64: 10682A456C106509 Time : 0.0 sec. user=mdettweiler [2015-10-22 19:24:00] 893*2^1412970-1 is not prime. Res64: C79186123E4F4065 Time : 0.0 sec. user=mdettweiler [2015-10-22 19:24:02] 651*2^1412971-1 is not prime. Res64: 2E3E7CFB54E7B2A0 Time : 0.0 sec. user=mdettweiler [2015-10-22 19:24:27] 793*2^1412971-1 is not prime. Res64: 33BA1A68E1B91E48 Time : 0.0 sec. user=mdettweiler [2015-10-22 19:24:28] 883*2^1412971-1 is not prime. Res64: E7641545AFF7B6DD Time : 0.0 sec. user=mdettweiler [2015-10-22 19:41:18] 939*2^1412971-1 is not prime. Res64: 812518977992A4A8 Time : 0.0 sec. user=mdettweiler [2015-10-22 19:41:19] 813*2^1412972-1 is not prime. Res64: 748C582A5D5CDC89 Time : 0.0 sec. user=mdettweiler [2015-10-22 19:41:33] 897*2^1412972-1 is not prime. Res64: E3B0301A8472AC9A Time : 0.0 sec. user=mdettweiler [2015-10-22 19:41:34] 735*2^1412973-1 is not prime. Res64: D57C66DC581852E9 Time : 0.0 sec. user=mdettweiler [2015-10-22 19:42:00] 765*2^1412973-1 is not prime. Res64: 752E158080F0E679 Time : 0.0 sec. user=mdettweiler [2015-10-22 19:42:01] 861*2^1412973-1 is not prime. Res64: E0982378F96BEA93 Time : 0.0 sec. user=mdettweiler [2015-10-22 19:58:52] 951*2^1412973-1 is not prime. Res64: 62BB6D39827C9B5D Time : 0.0 sec. user=mdettweiler [2015-10-22 19:58:53] 969*2^1412973-1 is not prime. Res64: 36857037E121E8E8 Time : 0.0 sec. user=mdettweiler [2015-10-22 19:59:05] 611*2^1412974-1 is not prime. Res64: A4BCF9979EA3479F Time : 0.0 sec. user=mdettweiler [2015-10-22 19:59:07] 623*2^1412974-1 is not prime. Res64: 8D08B5AD3D551C64 Time : 0.0 sec. user=mdettweiler [2015-10-22 19:59:38] 635*2^1412974-1 is not prime. Res64: E5ECBB8BCED428E9 Time : 0.0 sec. user=mdettweiler [2015-10-22 19:59:39] 707*2^1412974-1 is not prime. Res64: 48C671446F775654 Time : 0.0 sec. user=mdettweiler [2015-10-22 20:16:27] 737*2^1412974-1 is not prime. Res64: CE96119944FC175D Time : 0.0 sec. user=mdettweiler [2015-10-22 20:16:28] 741*2^1412974-1 is not prime. Res64: 46E757FF0C641DD5 Time : 0.0 sec. user=mdettweiler [2015-10-22 20:16:38] 755*2^1412974-1 is not prime. Res64: EF87F13B620CCFCA Time : 0.0 sec. user=mdettweiler [2015-10-22 20:16:39] 863*2^1412974-1 is not prime. Res64: CA577E638E8D7EC1 Time : 0.0 sec. user=mdettweiler [2015-10-22 20:17:08] 651*2^1412975-1 is not prime. Res64: F5D61324B420C2B1 Time : 0.0 sec. user=mdettweiler [2015-10-22 20:17:09] 685*2^1412975-1 is not prime. Res64: 5DD6CF6682FA41DC Time : 0.0 sec. user=mdettweiler [2015-10-22 20:34:02] 759*2^1412975-1 is not prime. Res64: 69469782D8533560 Time : 0.0 sec. user=mdettweiler [2015-10-22 20:34:03] 865*2^1412975-1 is not prime. Res64: 4F76F8DD143A5205 Time : 0.0 sec. user=mdettweiler [2015-10-22 20:34:09] 909*2^1412975-1 is not prime. Res64: 76979D6E7D6715DB Time : 0.0 sec. user=mdettweiler [2015-10-22 20:34:10] 707*2^1412976-1 is not prime. Res64: 80FAB5BB8A8554F4 Time : 0.0 sec. user=mdettweiler [2015-10-22 20:34:39] 747*2^1412976-1 is not prime. Res64: 1CABD2DE3F9EC2B1 Time : 0.0 sec. user=mdettweiler [2015-10-22 20:34:40] 845*2^1412976-1 is not prime. Res64: 4E866AEC3862194C Time : 0.0 sec. user=mdettweiler [2015-10-22 20:51:34] 857*2^1412976-1 is not prime. Res64: 806D78FF363CC4B6 Time : 0.0 sec. user=mdettweiler [2015-10-22 20:51:35] 899*2^1412976-1 is not prime. Res64: 156FD0CA51855E02 Time : 0.0 sec. user=mdettweiler [2015-10-22 20:51:40] 909*2^1412976-1 is not prime. Res64: C3ECAB6D234E4896 Time : 0.0 sec. user=mdettweiler [2015-10-22 20:51:41] 927*2^1412976-1 is not prime. Res64: 82A8CE2188A08057 Time : 0.0 sec. user=mdettweiler [2015-10-22 20:52:10] 645*2^1412977-1 is not prime. Res64: 1EACCD0CE6DE09DB Time : 0.0 sec. user=mdettweiler [2015-10-22 20:52:12] 747*2^1412977-1 is not prime. Res64: 8D3846DDA664CD69 Time : 0.0 sec. user=mdettweiler [2015-10-22 21:09:11] 751*2^1412977-1 is not prime. Res64: AA53407BC3118933 Time : 0.0 sec. user=mdettweiler [2015-10-22 21:09:15] 885*2^1412977-1 is not prime. Res64: C7D32814805DF021 Time : 0.0 sec. user=mdettweiler [2015-10-22 21:09:17] 759*2^1412977-1 is not prime. Res64: 06BD16106EB092E9 Time : 0.0 sec. user=mdettweiler [2015-10-22 21:09:20] 617*2^1412978-1 is not prime. Res64: C697B6A96E8164F1 Time : 0.0 sec. user=mdettweiler [2015-10-22 21:09:47] 755*2^1412978-1 is not prime. Res64: 909C8237D2062424 Time : 0.0 sec. user=mdettweiler [2015-10-22 21:09:51] 771*2^1412978-1 is not prime. Res64: 2F26134511C7F726 Time : 0.0 sec. user=mdettweiler [2015-10-22 21:26:55] 857*2^1412978-1 is not prime. Res64: FFBC873BD0C0C961 Time : 0.0 sec. user=mdettweiler [2015-10-22 21:26:56] 887*2^1412978-1 is not prime. Res64: 0FB9A6B0AE8A5856 Time : 0.0 sec. user=mdettweiler [2015-10-22 21:26:58] 945*2^1412978-1 is not prime. Res64: 766BC532D4DD8E8A Time : 0.0 sec. user=mdettweiler [2015-10-22 21:26:59] 971*2^1412978-1 is not prime. Res64: AC9184F54084E93D Time : 0.0 sec. user=mdettweiler [2015-10-22 21:27:26] 993*2^1412978-1 is not prime. Res64: 36E8AC474E4F3BAD Time : 0.0 sec. user=mdettweiler [2015-10-22 21:27:27] 793*2^1412979-1 is not prime. Res64: C3052CF29583C194 Time : 0.0 sec. user=mdettweiler [2015-10-22 21:44:32] 835*2^1412979-1 is not prime. Res64: A196DCA0D9FCE780 Time : 0.0 sec. user=mdettweiler [2015-10-22 21:44:33] 853*2^1412979-1 is not prime. Res64: F16FC46C04C06E59 Time : 0.0 sec. user=mdettweiler [2015-10-22 21:44:37] 879*2^1412979-1 is not prime. Res64: F3B36BAC4C82F462 Time : 0.0 sec. user=mdettweiler [2015-10-22 21:44:38] 891*2^1412979-1 is not prime. Res64: C3BD6922C6ED6CE6 Time : 0.0 sec. user=mdettweiler [2015-10-22 21:45:01] 979*2^1412979-1 is not prime. Res64: 3D5D3584C088BFA8 Time : 0.0 sec. user=mdettweiler [2015-10-22 21:45:02] 873*2^1412980-1 is not prime. Res64: D62ECD4564FCDFCA Time : 0.0 sec. user=mdettweiler [2015-10-22 22:02:16] 939*2^1412980-1 is not prime. Res64: 9F1B455E4A7BAB80 Time : 0.0 sec. user=mdettweiler [2015-10-22 22:02:18] 975*2^1412980-1 is not prime. Res64: 76549122FAA24009 Time : 0.0 sec. user=mdettweiler [2015-10-22 22:02:22] 691*2^1412981-1 is not prime. Res64: 1798A7A5D1AB0E6F Time : 0.0 sec. user=mdettweiler [2015-10-22 22:02:23] 735*2^1412981-1 is not prime. Res64: 421F36D72A130070 Time : 0.0 sec. user=mdettweiler [2015-10-22 22:02:52] 747*2^1412981-1 is not prime. Res64: E48CC198883BDA2C Time : 0.0 sec. user=mdettweiler [2015-10-22 22:02:53] 945*2^1412981-1 is not prime. Res64: 614E0C94C76C03B3 Time : 0.0 sec. user=mdettweiler [2015-10-22 22:19:52] 627*2^1412982-1 is not prime. Res64: 49ACFDF327DB8B9C Time : 0.0 sec. user=mdettweiler [2015-10-22 22:19:53] 677*2^1412982-1 is not prime. Res64: 144A0544DCD8EF16 Time : 0.0 sec. user=mdettweiler [2015-10-22 22:19:53] 671*2^1412982-1 is not prime. Res64: B3836AC4478FCEE9 Time : 0.0 sec. user=mdettweiler [2015-10-22 22:19:54] 741*2^1412982-1 is not prime. Res64: F2F3039E08B5A632 Time : 0.0 sec. user=mdettweiler [2015-10-22 22:20:25] 797*2^1412982-1 is not prime. Res64: D6315A107DE1107B Time : 0.0 sec. user=mdettweiler [2015-10-22 22:20:26] 833*2^1412982-1 is not prime. Res64: 0733611C3A858342 Time : 0.0 sec. user=mdettweiler [2015-10-22 22:37:23] 843*2^1412982-1 is not prime. Res64: 3B3C792F50DE937F Time : 0.0 sec. user=mdettweiler [2015-10-22 22:37:24] 957*2^1412982-1 is not prime. Res64: 3E3DDC968ACDCA5B Time : 0.0 sec. user=mdettweiler [2015-10-22 22:37:25] 983*2^1412982-1 is not prime. Res64: CAC0186FF091CBD6 Time : 0.0 sec. user=mdettweiler [2015-10-22 22:37:26] 603*2^1412983-1 is not prime. Res64: D92DB06A6FFCC483 Time : 0.0 sec. user=mdettweiler [2015-10-22 22:37:56] 673*2^1412983-1 is not prime. Res64: 9EA47280362729EF Time : 0.0 sec. user=mdettweiler [2015-10-22 22:37:57] 771*2^1412983-1 is not prime. Res64: 479C9205524B0523 Time : 0.0 sec. user=mdettweiler [2015-10-22 22:54:55] 793*2^1412983-1 is not prime. Res64: F8EB685339077314 Time : 0.0 sec. user=mdettweiler [2015-10-22 22:54:56] 855*2^1412983-1 is not prime. Res64: 80B0A2120223AB1A Time : 0.0 sec. user=mdettweiler [2015-10-22 22:54:56] 849*2^1412983-1 is not prime. Res64: EDB09C7CDFA6D83C Time : 0.0 sec. user=mdettweiler [2015-10-22 22:54:57] 873*2^1412983-1 is not prime. Res64: FF8E88CCBFC3D196 Time : 0.0 sec. user=mdettweiler [2015-10-22 22:55:28] 895*2^1412983-1 is not prime. Res64: 2C565EF4E1467548 Time : 0.0 sec. user=mdettweiler [2015-10-22 22:55:29] 605*2^1412984-1 is not prime. Res64: B2670D9545A16835 Time : 0.0 sec. user=mdettweiler [2015-10-22 23:12:30] 629*2^1412984-1 is not prime. Res64: 69996CE6F506F724 Time : 0.0 sec. user=mdettweiler [2015-10-22 23:12:31] 743*2^1412984-1 is not prime. Res64: 1DEECC027166DB02 Time : 0.0 sec. user=mdettweiler [2015-10-22 23:12:31] 747*2^1412984-1 is not prime. Res64: CA91489C391E4865 Time : 0.0 sec. user=mdettweiler [2015-10-22 23:12:32] 759*2^1412984-1 is not prime. Res64: 9B5C94A33DAC70A7 Time : 0.0 sec. user=mdettweiler [2015-10-22 23:12:58] 825*2^1412984-1 is not prime. Res64: 095F2EB7764FF042 Time : 0.0 sec. user=mdettweiler [2015-10-22 23:12:59] 837*2^1412984-1 is not prime. Res64: C18A942DED1652A8 Time : 0.0 sec. user=mdettweiler [2015-10-22 23:30:02] 951*2^1412985-1 is not prime. Res64: 751D93E9E3592EB4 Time : 0.0 sec. user=mdettweiler [2015-10-22 23:30:04] 873*2^1412984-1 is not prime. Res64: C8059F3A285AB383 Time : 0.0 sec. user=mdettweiler [2015-10-22 23:30:05] 603*2^1412986-1 is not prime. Res64: 3A8F94EBE84015A7 Time : 0.0 sec. user=mdettweiler [2015-10-22 23:30:05] 945*2^1412984-1 is not prime. Res64: FB2FE298BC5ADFA7 Time : 0.0 sec. user=mdettweiler [2015-10-22 23:30:27] 713*2^1412986-1 is not prime. Res64: D7F3EDD20000470E Time : 0.0 sec. user=mdettweiler [2015-10-22 23:30:28] 723*2^1412986-1 is not prime. Res64: 4541B84C65F50D0E Time : 0.0 sec. user=mdettweiler [2015-10-22 23:47:37] 815*2^1412986-1 is not prime. Res64: EBBEF505DB5AE585 Time : 0.0 sec. user=mdettweiler [2015-10-22 23:47:38] 903*2^1412986-1 is not prime. Res64: A5DC88A33045A7B8 Time : 0.0 sec. user=mdettweiler [2015-10-22 23:47:41] 821*2^1412986-1 is not prime. Res64: 07812F3DD948BFC3 Time : 0.0 sec. user=mdettweiler [2015-10-22 23:47:41] 891*2^1412986-1 is not prime. Res64: E25C9FC51A243C04 Time : 0.0 sec. user=mdettweiler [2015-10-22 23:47:58] 911*2^1412986-1 is not prime. Res64: 3E56107855F7F3A2 Time : 0.0 sec. user=mdettweiler [2015-10-22 23:47:59] 957*2^1412986-1 is not prime. Res64: 5395F2AC33BE9083 Time : 0.0 sec.