user=juhehe [2017-05-04 00:16:40] 639*2^1453059-1 is not prime. Res64: CD79A243229626E9 Time : 0.0 sec. user=mdettweiler [2017-05-04 00:29:45] 751*2^1453059-1 is not prime. Res64: 369B1852974F986B Time : 0.0 sec. user=mdettweiler [2017-05-04 00:29:46] 795*2^1453059-1 is not prime. Res64: 5BFE245988DB99CE Time : 0.0 sec. user=mdettweiler [2017-05-04 00:29:46] 829*2^1453059-1 is not prime. Res64: 0715CCAB8E1D5288 Time : 0.0 sec. user=mdettweiler [2017-05-04 00:29:47] 955*2^1453059-1 is not prime. Res64: CD4C83BA7A1EED44 Time : 0.0 sec. user=mdettweiler [2017-05-04 00:29:47] 629*2^1453060-1 is not prime. Res64: 308EC8AFFF6E050C Time : 0.0 sec. user=mdettweiler [2017-05-04 00:30:09] 699*2^1453060-1 is not prime. Res64: BDAC5AF9960EEE03 Time : 0.0 sec. user=mdettweiler [2017-05-04 00:30:09] 765*2^1453060-1 is not prime. Res64: 4019717FE8B542F6 Time : 0.0 sec. user=mdettweiler [2017-05-04 00:30:10] 827*2^1453060-1 is not prime. Res64: 2488F9E83AB40C9F Time : 0.0 sec. user=mdettweiler [2017-05-04 00:30:10] 833*2^1453060-1 is not prime. Res64: DA0911228DE89479 Time : 0.0 sec. user=mdettweiler [2017-05-04 00:30:11] 631*2^1453061-1 is not prime. Res64: 41F03FB43C6473BB Time : 0.0 sec. user=mdettweiler [2017-05-04 01:14:14] 867*2^1453061-1 is not prime. Res64: 5F4C5F26D592AB4A Time : 0.0 sec. user=mdettweiler [2017-05-04 01:14:15] 647*2^1453062-1 is not prime. Res64: F897627FF3BDF714 Time : 0.0 sec. user=mdettweiler [2017-05-04 01:14:15] 683*2^1453062-1 is not prime. Res64: 04D8AA1BC5A21E69 Time : 0.0 sec. user=mdettweiler [2017-05-04 01:14:16] 731*2^1453062-1 is not prime. Res64: 91322F470A4A7978 Time : 0.0 sec. user=mdettweiler [2017-05-04 01:14:16] 755*2^1453062-1 is not prime. Res64: C4DC92AD897107F4 Time : 0.0 sec. user=mdettweiler [2017-05-04 01:14:41] 777*2^1453062-1 is not prime. Res64: 2B966BA333325170 Time : 0.0 sec. user=mdettweiler [2017-05-04 01:14:41] 815*2^1453062-1 is not prime. Res64: 08DA6A388D3C98C3 Time : 0.0 sec. user=mdettweiler [2017-05-04 01:14:41] 821*2^1453062-1 is not prime. Res64: 8115E723A212B044 Time : 0.0 sec. user=mdettweiler [2017-05-04 01:14:42] 903*2^1453062-1 is not prime. Res64: D291B82A16E1233A Time : 0.0 sec. user=mdettweiler [2017-05-04 01:14:42] 945*2^1453062-1 is not prime. Res64: F8246AB25E7BDBDC Time : 0.0 sec. user=juhehe [2017-05-04 01:33:51] 761*2^1453006-1 is not prime. Res64: 4447062735C4F71B Time : 0.0 sec. user=juhehe [2017-05-04 01:43:08] 603*2^1453063-1 is not prime. Res64: 2D1C795606E603B3 Time : 0.0 sec. user=mdettweiler [2017-05-04 01:58:43] 853*2^1453063-1 is not prime. Res64: 1C4FEE272CE509D8 Time : 0.0 sec. user=mdettweiler [2017-05-04 01:58:43] 891*2^1453063-1 is not prime. Res64: E28D7C88D154CA1C Time : 0.0 sec. user=mdettweiler [2017-05-04 01:58:43] 915*2^1453063-1 is not prime. Res64: 15F23EC47E6910E1 Time : 0.0 sec. user=mdettweiler [2017-05-04 01:58:44] 933*2^1453063-1 is not prime. Res64: B04D7EC16CF855DB Time : 0.0 sec. user=mdettweiler [2017-05-04 01:58:44] 993*2^1453063-1 is not prime. Res64: 5DB22160457D5036 Time : 0.0 sec. user=mdettweiler [2017-05-04 01:59:09] 657*2^1453064-1 is not prime. Res64: C9393ACDDE649A2D Time : 0.0 sec. user=mdettweiler [2017-05-04 01:59:10] 773*2^1453064-1 is not prime. Res64: D9AFDC8C7C6CB808 Time : 0.0 sec. user=mdettweiler [2017-05-04 01:59:10] 827*2^1453064-1 is not prime. Res64: 35CCE86BFC7A45E3 Time : 0.0 sec. user=mdettweiler [2017-05-04 01:59:11] 915*2^1453064-1 is not prime. Res64: A3565FE4341E788A Time : 0.0 sec. user=mdettweiler [2017-05-04 01:59:11] 917*2^1453064-1 is not prime. Res64: B3F096762AD492F9 Time : 0.0 sec. user=juhehe [2017-05-04 02:12:43] 923*2^1453064-1 is not prime. Res64: 8D0CB69FD3A94E6C Time : 0.0 sec. user=mdettweiler [2017-05-04 02:43:17] 945*2^1453064-1 is not prime. Res64: 174B7EC1EE9B47C0 Time : 0.0 sec. user=mdettweiler [2017-05-04 02:43:17] 993*2^1453064-1 is not prime. Res64: E3CCDBAC8B9D4620 Time : 0.0 sec. user=mdettweiler [2017-05-04 02:43:18] 685*2^1453065-1 is not prime. Res64: A89EDBA2122B53B7 Time : 0.0 sec. user=mdettweiler [2017-05-04 02:43:18] 795*2^1453065-1 is not prime. Res64: 9D08ABEF95FCCC75 Time : 0.0 sec. user=mdettweiler [2017-05-04 02:43:19] 817*2^1453065-1 is not prime. Res64: 1F51715BA2657ADA Time : 0.0 sec. user=mdettweiler [2017-05-04 02:43:45] 819*2^1453065-1 is not prime. Res64: 54998DA8CD3B0928 Time : 0.0 sec. user=mdettweiler [2017-05-04 02:43:46] 837*2^1453065-1 is not prime. Res64: 8E25C0AF6514ECED Time : 0.0 sec. user=mdettweiler [2017-05-04 02:43:46] 867*2^1453065-1 is not prime. Res64: 4A2F5B4126F36DF4 Time : 0.0 sec. user=mdettweiler [2017-05-04 02:43:47] 915*2^1453065-1 is not prime. Res64: A4FEF5B9C6A692FD Time : 0.0 sec. user=mdettweiler [2017-05-04 02:43:47] 949*2^1453065-1 is not prime. Res64: 9ACD19BBB1ED9952 Time : 0.0 sec. user=mdettweiler [2017-05-04 03:27:59] 997*2^1453065-1 is not prime. Res64: 377A476505E0BCF1 Time : 0.0 sec. user=mdettweiler [2017-05-04 03:28:00] 657*2^1453066-1 is not prime. Res64: F3F6BE4D4B2E9C9F Time : 0.0 sec. user=mdettweiler [2017-05-04 03:28:02] 705*2^1453066-1 is not prime. Res64: 7203365A0AD856A1 Time : 0.0 sec. user=mdettweiler [2017-05-04 03:28:03] 741*2^1453066-1 is not prime. Res64: 8BC5768A7CF74CB9 Time : 0.0 sec. user=mdettweiler [2017-05-04 03:28:05] 773*2^1453066-1 is not prime. Res64: B01D4CF03E420144 Time : 0.0 sec. user=mdettweiler [2017-05-04 03:28:17] 867*2^1453066-1 is not prime. Res64: EAABC7AE0C20B775 Time : 0.0 sec. user=mdettweiler [2017-05-04 03:28:19] 873*2^1453066-1 is not prime. Res64: A762FE32D3692EF0 Time : 0.0 sec. user=mdettweiler [2017-05-04 03:28:20] 887*2^1453066-1 is not prime. Res64: A8018478315C465B Time : 0.0 sec. user=mdettweiler [2017-05-04 03:28:22] 993*2^1453066-1 is not prime. Res64: 9910FDA9EF93A4BA Time : 0.0 sec. user=mdettweiler [2017-05-04 03:28:23] 603*2^1453067-1 is not prime. Res64: 548275B49CBA2B9F Time : 0.0 sec. user=juhehe [2017-05-04 03:41:26] 615*2^1453067-1 is not prime. Res64: 3C75A74D411A1F0F Time : 0.0 sec. user=mdettweiler [2017-05-04 04:12:49] 621*2^1453067-1 is not prime. Res64: D0445A94F69B8751 Time : 0.0 sec. user=mdettweiler [2017-05-04 04:12:50] 733*2^1453067-1 is not prime. Res64: EA4AA064C62DCFEA Time : 0.0 sec. user=mdettweiler [2017-05-04 04:12:50] 799*2^1453067-1 is not prime. Res64: 1C4BD085BA1527BA Time : 0.0 sec. user=mdettweiler [2017-05-04 04:12:51] 813*2^1453067-1 is not prime. Res64: 5521F13C3BD9197E Time : 0.0 sec. user=mdettweiler [2017-05-04 04:12:51] 883*2^1453067-1 is not prime. Res64: 771DB1317A5B1F3F Time : 0.0 sec. user=mdettweiler [2017-05-04 04:13:00] 913*2^1453067-1 is not prime. Res64: 710F8CAED026AF49 Time : 0.0 sec. user=mdettweiler [2017-05-04 04:13:00] 939*2^1453067-1 is not prime. Res64: B29E6CFB4D06D442 Time : 0.0 sec. user=mdettweiler [2017-05-04 04:13:01] 605*2^1453068-1 is not prime. Res64: 99CC61EA2C5F4BDC Time : 0.0 sec. user=mdettweiler [2017-05-04 04:13:01] 635*2^1453068-1 is not prime. Res64: 4715F5F996672744 Time : 0.0 sec. user=mdettweiler [2017-05-04 04:13:01] 663*2^1453068-1 is not prime. Res64: 9A03CB016E94F8DD Time : 0.0 sec. user=mdettweiler [2017-05-04 04:57:28] 817*2^1453069-1 is not prime. Res64: A41CAD592FB82978 Time : 0.0 sec. user=mdettweiler [2017-05-04 04:57:28] 829*2^1453069-1 is not prime. Res64: 953C71599EC9E437 Time : 0.0 sec. user=mdettweiler [2017-05-04 04:57:29] 847*2^1453069-1 is not prime. Res64: CED5BFE63593491B Time : 0.0 sec. user=mdettweiler [2017-05-04 04:57:29] 861*2^1453069-1 is not prime. Res64: 255998CE47D052EF Time : 0.0 sec. user=mdettweiler [2017-05-04 04:57:29] 975*2^1453069-1 is not prime. Res64: E3F1F283FEB48C2C Time : 0.0 sec. user=mdettweiler [2017-05-04 04:57:31] 707*2^1453068-1 is not prime. Res64: 25AE382F86DBFB11 Time : 0.0 sec. user=mdettweiler [2017-05-04 04:57:32] 783*2^1453068-1 is not prime. Res64: 4917AE2012205F6B Time : 0.0 sec. user=mdettweiler [2017-05-04 04:57:32] 825*2^1453068-1 is not prime. Res64: 65C26BD4B5CF8723 Time : 0.0 sec. user=mdettweiler [2017-05-04 04:57:32] 957*2^1453068-1 is not prime. Res64: 46FEFDD5795B08E0 Time : 0.0 sec. user=mdettweiler [2017-05-04 04:57:33] 625*2^1453069-1 is not prime. Res64: 16AB951B7A515712 Time : 0.0 sec. user=juhehe [2017-05-04 05:40:37] 735*2^1453071-1 is not prime. Res64: 314FD93A799CEE42 Time : 0.0 sec. user=mdettweiler [2017-05-04 05:41:56] 641*2^1453070-1 is not prime. Res64: 34DB2ED5FED99DFD Time : 0.0 sec. user=mdettweiler [2017-05-04 05:41:57] 675*2^1453070-1 is not prime. Res64: 1ADE1EA3FC07231E Time : 0.0 sec. user=mdettweiler [2017-05-04 05:41:57] 711*2^1453070-1 is not prime. Res64: ED86364A6460582B Time : 0.0 sec. user=mdettweiler [2017-05-04 05:41:57] 743*2^1453070-1 is not prime. Res64: 84286EE06B67FAB4 Time : 0.0 sec. user=mdettweiler [2017-05-04 05:41:58] 843*2^1453070-1 is not prime. Res64: B3B021841CFE04CF Time : 0.0 sec. user=mdettweiler [2017-05-04 05:41:59] 927*2^1453070-1 is not prime. Res64: 55FBF533139E8929 Time : 0.0 sec. user=mdettweiler [2017-05-04 05:41:59] 945*2^1453070-1 is not prime. Res64: 45A4223463F6E8FB Time : 0.0 sec. user=mdettweiler [2017-05-04 05:42:00] 981*2^1453070-1 is not prime. Res64: 1410E30B0D3164DE Time : 0.0 sec. user=mdettweiler [2017-05-04 05:42:00] 613*2^1453071-1 is not prime. Res64: 9BAE8B656550E129 Time : 0.0 sec. user=mdettweiler [2017-05-04 05:42:01] 711*2^1453071-1 is not prime. Res64: 5B7FF46ACAFA2901 Time : 0.0 sec. user=mdettweiler [2017-05-04 06:26:24] 789*2^1453071-1 is not prime. Res64: 8ECB671FC37E4EE8 Time : 0.0 sec. user=mdettweiler [2017-05-04 06:26:25] 991*2^1453071-1 is not prime. Res64: A4133296C3512EBD Time : 0.0 sec. user=mdettweiler [2017-05-04 06:26:25] 629*2^1453072-1 is not prime. Res64: B682789E794D6BF1 Time : 0.0 sec. user=mdettweiler [2017-05-04 06:26:25] 819*2^1453072-1 is not prime. Res64: 08688F38D834A3AF Time : 0.0 sec. user=mdettweiler [2017-05-04 06:26:25] 657*2^1453072-1 is not prime. Res64: F3215B432F0A212A Time : 0.0 sec. user=mdettweiler [2017-05-04 06:26:25] 825*2^1453072-1 is not prime. Res64: 831533BBDBC5CE22 Time : 0.0 sec. user=mdettweiler [2017-05-04 06:26:26] 713*2^1453072-1 is not prime. Res64: 08C9E94263F2C5A7 Time : 0.0 sec. user=mdettweiler [2017-05-04 06:26:26] 833*2^1453072-1 is not prime. Res64: D6C407B7C3E20A6F Time : 0.0 sec. user=mdettweiler [2017-05-04 06:26:26] 863*2^1453072-1 is not prime. Res64: 335A98BA8806B4F0 Time : 0.0 sec. user=mdettweiler [2017-05-04 06:26:27] 957*2^1453072-1 is not prime. Res64: E9CCB70E54BA1D41 Time : 0.0 sec. user=mdettweiler [2017-05-04 07:10:51] 627*2^1453073-1 is not prime. Res64: AA861AF62D736C83 Time : 0.0 sec. user=mdettweiler [2017-05-04 07:10:52] 705*2^1453073-1 is not prime. Res64: 633DBE5E1EBA3896 Time : 0.0 sec. user=mdettweiler [2017-05-04 07:10:52] 729*2^1453073-1 is not prime. Res64: AD7010D815691EEB Time : 0.0 sec. user=mdettweiler [2017-05-04 07:10:53] 741*2^1453073-1 is not prime. Res64: 8E89259749D950CB Time : 0.0 sec. user=mdettweiler [2017-05-04 07:10:53] 805*2^1453073-1 is not prime. Res64: AC0CF45120F1E0E6 Time : 0.0 sec. user=mdettweiler [2017-05-04 07:10:54] 885*2^1453073-1 is not prime. Res64: E4A7FF62E52E6D06 Time : 0.0 sec. user=mdettweiler [2017-05-04 07:10:54] 925*2^1453073-1 is not prime. Res64: C041F3CB0839B583 Time : 0.0 sec. user=mdettweiler [2017-05-04 07:10:54] 967*2^1453073-1 is not prime. Res64: 794AFB4438881C95 Time : 0.0 sec. user=mdettweiler [2017-05-04 07:10:55] 663*2^1453074-1 is not prime. Res64: 82AE2D6C13565A9D Time : 0.0 sec. user=mdettweiler [2017-05-04 07:10:55] 705*2^1453074-1 is not prime. Res64: B4B3201F6550F9E9 Time : 0.0 sec. user=juhehe [2017-05-04 07:38:18] 725*2^1453074-1 is not prime. Res64: A2470E111B46A12D Time : 0.0 sec. user=mdettweiler [2017-05-04 07:55:19] 765*2^1453074-1 is not prime. Res64: 9D6C10454B0C19C5 Time : 0.0 sec. user=mdettweiler [2017-05-04 07:55:19] 767*2^1453074-1 is not prime. Res64: CAD1FCB2CA63DEC2 Time : 0.0 sec. user=mdettweiler [2017-05-04 07:55:20] 783*2^1453074-1 is not prime. Res64: B03DBB1549773CF6 Time : 0.0 sec. user=mdettweiler [2017-05-04 07:55:20] 851*2^1453074-1 is not prime. Res64: 5CD9E947DAE2A22D Time : 0.0 sec. user=mdettweiler [2017-05-04 07:55:21] 873*2^1453074-1 is not prime. Res64: E97F43FBC57E2B90 Time : 0.0 sec. user=mdettweiler [2017-05-04 07:55:22] 917*2^1453074-1 is not prime. Res64: 23010DBA03B4298B Time : 0.0 sec. user=mdettweiler [2017-05-04 07:55:22] 983*2^1453074-1 is not prime. Res64: EB812405D3350C4F Time : 0.0 sec. user=mdettweiler [2017-05-04 07:55:23] 651*2^1453075-1 is not prime. Res64: C5E5356CE16AE59A Time : 0.0 sec. user=mdettweiler [2017-05-04 07:55:23] 723*2^1453075-1 is not prime. Res64: 5ED5C9F5AF899D9E Time : 0.0 sec. user=mdettweiler [2017-05-04 07:55:23] 961*2^1453075-1 is not prime. Res64: AC1DFB2436D0ACF5 Time : 0.0 sec. user=mdettweiler [2017-05-04 08:39:47] 985*2^1453075-1 is not prime. Res64: D4E9F0CB780C5F8A Time : 0.0 sec. user=mdettweiler [2017-05-04 08:39:48] 647*2^1453076-1 is not prime. Res64: 27EAC32495AF3A8A Time : 0.0 sec. user=mdettweiler [2017-05-04 08:39:48] 669*2^1453076-1 is not prime. Res64: D5CDE10D2000AAE7 Time : 0.0 sec. user=mdettweiler [2017-05-04 08:39:49] 743*2^1453076-1 is not prime. Res64: C7AD42E423033D2C Time : 0.0 sec. user=mdettweiler [2017-05-04 08:39:49] 825*2^1453076-1 is not prime. Res64: C0400D38B4D9D939 Time : 0.0 sec. user=mdettweiler [2017-05-04 08:39:53] 963*2^1453076-1 is not prime. Res64: C3CDFEB37BA0C006 Time : 0.0 sec. user=mdettweiler [2017-05-04 08:39:53] 639*2^1453077-1 is not prime. Res64: AA77F6060C4FDA47 Time : 0.0 sec. user=mdettweiler [2017-05-04 08:39:54] 717*2^1453077-1 is not prime. Res64: FDC574297F4EF2E5 Time : 0.0 sec. user=mdettweiler [2017-05-04 08:39:54] 777*2^1453077-1 is not prime. Res64: 3877FF5DDA423C04 Time : 0.0 sec. user=mdettweiler [2017-05-04 08:39:54] 837*2^1453077-1 is not prime. Res64: AD624215307BF597 Time : 0.0 sec. user=mdettweiler [2017-05-04 09:24:17] 871*2^1453077-1 is not prime. Res64: AF230753CC524061 Time : 0.0 sec. user=mdettweiler [2017-05-04 09:24:17] 891*2^1453077-1 is not prime. Res64: 5866DE2CC981E73D Time : 0.0 sec. user=mdettweiler [2017-05-04 09:24:18] 979*2^1453077-1 is not prime. Res64: 5EBD2C942E11E0BE Time : 0.0 sec. user=mdettweiler [2017-05-04 09:24:18] 605*2^1453078-1 is not prime. Res64: F781E7011E34AE89 Time : 0.0 sec. user=mdettweiler [2017-05-04 09:24:18] 611*2^1453078-1 is not prime. Res64: 57BD913FB96C0BA4 Time : 0.0 sec. user=mdettweiler [2017-05-04 09:24:20] 623*2^1453078-1 is not prime. Res64: 6C0BAEE41B55C5EC Time : 0.0 sec. user=mdettweiler [2017-05-04 09:24:20] 651*2^1453078-1 is not prime. Res64: 103E9F891A6C1BEF Time : 0.0 sec. user=mdettweiler [2017-05-04 09:24:21] 777*2^1453078-1 is not prime. Res64: CBA613AB828CF5DE Time : 0.0 sec. user=mdettweiler [2017-05-04 09:24:21] 827*2^1453078-1 is not prime. Res64: B0C53256E15CBB01 Time : 0.0 sec. user=mdettweiler [2017-05-04 09:24:21] 855*2^1453078-1 is not prime. Res64: 259759A9329340F4 Time : 0.0 sec. user=juhehe [2017-05-04 09:36:35] 857*2^1453078-1 is not prime. Res64: D61236A8AE593557 Time : 0.0 sec. user=mdettweiler [2017-05-04 10:08:44] 951*2^1453078-1 is not prime. Res64: DCF78C1ACBAFC511 Time : 0.0 sec. user=mdettweiler [2017-05-04 10:08:45] 601*2^1453079-1 is not prime. Res64: 8D6AE6B0FF12B642 Time : 0.0 sec. user=mdettweiler [2017-05-04 10:08:45] 685*2^1453079-1 is not prime. Res64: AFA49FB15123F6F0 Time : 0.0 sec. user=mdettweiler [2017-05-04 10:08:46] 753*2^1453079-1 is not prime. Res64: ACA75CEA9607FA9D Time : 0.0 sec. user=mdettweiler [2017-05-04 10:08:46] 823*2^1453079-1 is not prime. Res64: 6F7D40C293A80C7B Time : 0.0 sec. user=mdettweiler [2017-05-04 10:08:46] 811*2^1453079-1 is not prime. Res64: 5E15F21C37348E23 Time : 0.0 sec. user=mdettweiler [2017-05-04 10:08:47] 825*2^1453079-1 is not prime. Res64: 11A73EBCF1247141 Time : 0.0 sec. user=mdettweiler [2017-05-04 10:08:47] 861*2^1453079-1 is not prime. Res64: 463BC0BEDE8FD138 Time : 0.0 sec. user=mdettweiler [2017-05-04 10:08:48] 973*2^1453079-1 is not prime. Res64: F709CC46A04DEB2E Time : 0.0 sec. user=mdettweiler [2017-05-04 10:08:48] 999*2^1453079-1 is not prime. Res64: B7E0A14864040EBA Time : 0.0 sec. user=mdettweiler [2017-05-04 10:53:15] 845*2^1453080-1 is not prime. Res64: 104E2B96C4494EDA Time : 0.0 sec. user=mdettweiler [2017-05-04 10:53:15] 875*2^1453080-1 is not prime. Res64: 958A5A1EF6538551 Time : 0.0 sec. user=mdettweiler [2017-05-04 10:53:16] 879*2^1453080-1 is not prime. Res64: 7EB93D533D1D7200 Time : 0.0 sec. user=mdettweiler [2017-05-04 10:53:16] 959*2^1453080-1 is not prime. Res64: 9A01AB6B701DCB3C Time : 0.0 sec. user=mdettweiler [2017-05-04 10:53:16] 691*2^1453081-1 is not prime. Res64: 09F7D526C996DF95 Time : 0.0 sec. user=mdettweiler [2017-05-04 10:53:16] 651*2^1453081-1 is not prime. Res64: D32CC4DF6CBDC044 Time : 0.0 sec. user=mdettweiler [2017-05-04 10:53:17] 705*2^1453081-1 is not prime. Res64: 6AC97E1D60461294 Time : 0.0 sec. user=mdettweiler [2017-05-04 10:53:17] 789*2^1453081-1 is not prime. Res64: F698795B9F047780 Time : 0.0 sec. user=mdettweiler [2017-05-04 10:53:18] 855*2^1453081-1 is not prime. Res64: A291636C70573519 Time : 0.0 sec. user=mdettweiler [2017-05-04 10:53:18] 871*2^1453081-1 is not prime. Res64: 70B9999FCCDC9D01 Time : 0.0 sec. user=juhehe [2017-05-04 11:35:11] 663*2^1453084-1 is not prime. Res64: 761CB8EDEB0413E3 Time : 0.0 sec. user=mdettweiler [2017-05-04 11:37:43] 951*2^1453081-1 is not prime. Res64: 7CC69F6209EB4227 Time : 0.0 sec. user=mdettweiler [2017-05-04 11:37:43] 603*2^1453082-1 is not prime. Res64: 164522FABD1C8673 Time : 0.0 sec. user=mdettweiler [2017-05-04 11:37:43] 651*2^1453082-1 is not prime. Res64: 01E31F6AA2873DAA Time : 0.0 sec. user=mdettweiler [2017-05-04 11:37:44] 801*2^1453082-1 is not prime. Res64: 70E9CDC8FE8FDCAF Time : 0.0 sec. user=mdettweiler [2017-05-04 11:37:44] 843*2^1453082-1 is not prime. Res64: 4E2A4F772B144F4D Time : 0.0 sec. user=mdettweiler [2017-05-04 11:37:45] 903*2^1453082-1 is not prime. Res64: D8CBEB15F0381F76 Time : 0.0 sec. user=mdettweiler [2017-05-04 11:37:45] 765*2^1453083-1 is not prime. Res64: E814EA652926A65F Time : 0.0 sec. user=mdettweiler [2017-05-04 11:37:46] 783*2^1453083-1 is not prime. Res64: A292956DAE1D5DA3 Time : 0.0 sec. user=mdettweiler [2017-05-04 11:37:46] 793*2^1453083-1 is not prime. Res64: 77A245BD219A746A Time : 0.0 sec. user=mdettweiler [2017-05-04 11:37:46] 859*2^1453083-1 is not prime. Res64: 499867C9F013AF1C Time : 0.0 sec. user=mdettweiler [2017-05-04 12:22:12] 649*2^1453085-1 is not prime. Res64: 97DCC3AB616983B0 Time : 0.0 sec. user=mdettweiler [2017-05-04 12:22:12] 651*2^1453085-1 is not prime. Res64: 43D43D56A3DF59A9 Time : 0.0 sec. user=mdettweiler [2017-05-04 12:22:13] 815*2^1453086-1 is not prime. Res64: 961E27DCD17AD571 Time : 0.0 sec. user=mdettweiler [2017-05-04 12:22:13] 685*2^1453085-1 is not prime. Res64: F6365DE4A12CA190 Time : 0.0 sec. user=mdettweiler [2017-05-04 12:22:13] 735*2^1453085-1 is not prime. Res64: 47B692896746C7DA Time : 0.0 sec. user=mdettweiler [2017-05-04 12:22:13] 833*2^1453086-1 is not prime. Res64: 00E815F8354D7E81 Time : 0.0 sec. user=mdettweiler [2017-05-04 12:22:14] 987*2^1453085-1 is not prime. Res64: DAD2D7D79491D323 Time : 0.0 sec. user=mdettweiler [2017-05-04 12:22:14] 1001*2^1453086-1 is not prime. Res64: 3F451D9801E5D567 Time : 0.0 sec. user=mdettweiler [2017-05-04 12:22:14] 685*2^1453087-1 is not prime. Res64: A0E4CEE9CEC6C5CD Time : 0.0 sec. user=mdettweiler [2017-05-04 12:22:15] 735*2^1453087-1 is not prime. Res64: B9BFB8292EA91806 Time : 0.0 sec. user=mdettweiler [2017-05-04 13:06:41] 849*2^1453087-1 is not prime. Res64: 93DD103B3E46F8AC Time : 0.0 sec. user=mdettweiler [2017-05-04 13:06:42] 933*2^1453087-1 is not prime. Res64: 407E215FA82BD27B Time : 0.0 sec. user=mdettweiler [2017-05-04 13:06:42] 859*2^1453087-1 is not prime. Res64: 4471C78133B5D733 Time : 0.0 sec. user=mdettweiler [2017-05-04 13:06:42] 615*2^1453088-1 is not prime. Res64: FB5AC22C333EC3C0 Time : 0.0 sec. user=mdettweiler [2017-05-04 13:06:43] 861*2^1453087-1 is not prime. Res64: D6A59FCC3A063903 Time : 0.0 sec. user=mdettweiler [2017-05-04 13:06:43] 633*2^1453088-1 is not prime. Res64: E95349689A74EF16 Time : 0.0 sec. user=mdettweiler [2017-05-04 13:06:43] 883*2^1453087-1 is not prime. Res64: DE952C8E1730C005 Time : 0.0 sec. user=mdettweiler [2017-05-04 13:06:44] 773*2^1453088-1 is not prime. Res64: 69208159A5F65D89 Time : 0.0 sec. user=mdettweiler [2017-05-04 13:06:44] 925*2^1453087-1 is not prime. Res64: 1BDE4FAAF184A348 Time : 0.0 sec. user=mdettweiler [2017-05-04 13:06:45] 915*2^1453088-1 is not prime. Res64: B7739AD699A8A43E Time : 0.0 sec. user=juhehe [2017-05-04 13:08:27] 977*2^1453088-1 is not prime. Res64: 797FD25D82209273 Time : 0.0 sec. user=juhehe [2017-05-04 13:33:31] 681*2^1453089-1 is not prime. Res64: 3FF990C24C4B2AEA Time : 0.0 sec. user=mdettweiler [2017-05-04 13:51:17] 747*2^1453089-1 is not prime. Res64: FF5629ED00F68E5B Time : 0.0 sec. user=mdettweiler [2017-05-04 13:51:18] 765*2^1453089-1 is not prime. Res64: 40B9032B1E0C7E21 Time : 0.0 sec. user=mdettweiler [2017-05-04 13:51:18] 651*2^1453090-1 is not prime. Res64: 2CFC72D6691CEE99 Time : 0.0 sec. user=mdettweiler [2017-05-04 13:51:18] 907*2^1453089-1 is not prime. Res64: D4285BF40E45FB14 Time : 0.0 sec. user=mdettweiler [2017-05-04 13:51:19] 653*2^1453090-1 is not prime. Res64: 776E89C01BFE236A Time : 0.0 sec. user=mdettweiler [2017-05-04 13:51:19] 955*2^1453089-1 is not prime. Res64: D696CB39BEF1D85A Time : 0.0 sec. user=mdettweiler [2017-05-04 13:51:19] 687*2^1453090-1 is not prime. Res64: D4B10D53CE0899AE Time : 0.0 sec. user=mdettweiler [2017-05-04 13:51:19] 645*2^1453090-1 is not prime. Res64: 22585141D2329B59 Time : 0.0 sec. user=mdettweiler [2017-05-04 13:51:20] 731*2^1453090-1 is not prime. Res64: 445E49A2CDC8F94B Time : 0.0 sec. user=mdettweiler [2017-05-04 13:51:20] 783*2^1453090-1 is not prime. Res64: 0D0BF21C98BAD973 Time : 0.0 sec. user=mdettweiler [2017-05-04 14:35:48] 833*2^1453090-1 is not prime. Res64: 0A38B0E7405879B2 Time : 0.0 sec. user=mdettweiler [2017-05-04 14:35:49] 857*2^1453090-1 is not prime. Res64: 32695106045AEE72 Time : 0.0 sec. user=mdettweiler [2017-05-04 14:35:49] 735*2^1453091-1 is not prime. Res64: 142C3E4FE0C05720 Time : 0.0 sec. user=mdettweiler [2017-05-04 14:35:50] 867*2^1453090-1 is not prime. Res64: EC464F1618D8200B Time : 0.0 sec. user=mdettweiler [2017-05-04 14:35:50] 741*2^1453091-1 is not prime. Res64: 3F097B20AB6DA2D3 Time : 0.0 sec. user=mdettweiler [2017-05-04 14:35:50] 873*2^1453090-1 is not prime. Res64: D4343A3C7571EC56 Time : 0.0 sec. user=mdettweiler [2017-05-04 14:35:51] 951*2^1453090-1 is not prime. Res64: 3029CAD934B13CCA Time : 0.0 sec. user=mdettweiler [2017-05-04 14:35:51] 783*2^1453091-1 is not prime. Res64: 0DC3C125A93BAE7B Time : 0.0 sec. user=mdettweiler [2017-05-04 14:35:51] 895*2^1453091-1 is not prime. Res64: FFE71D372C8C1582 Time : 0.0 sec. user=mdettweiler [2017-05-04 14:35:52] 931*2^1453091-1 is not prime. Res64: BA0D8C9A3682AF11 Time : 0.0 sec. user=mdettweiler [2017-05-04 15:20:19] 627*2^1453092-1 is not prime. Res64: FBAA5FE5F9C3B02D Time : 0.0 sec. user=mdettweiler [2017-05-04 15:20:19] 715*2^1453093-1 is not prime. Res64: 17088EA3AB9D715B Time : 0.0 sec. user=mdettweiler [2017-05-04 15:20:19] 683*2^1453092-1 is not prime. Res64: 4632EC888223669F Time : 0.0 sec. user=mdettweiler [2017-05-04 15:20:19] 789*2^1453093-1 is not prime. Res64: E2DD097AE4AA4E21 Time : 0.0 sec. user=mdettweiler [2017-05-04 15:20:20] 797*2^1453092-1 is not prime. Res64: 0DBF9743F1164CFE Time : 0.0 sec. user=mdettweiler [2017-05-04 15:20:20] 831*2^1453093-1 is not prime. Res64: 4DB1805C733D0F32 Time : 0.0 sec. user=mdettweiler [2017-05-04 15:20:20] 863*2^1453092-1 is not prime. Res64: A39F49B2F03F422F Time : 0.0 sec. user=mdettweiler [2017-05-04 15:20:21] 855*2^1453093-1 is not prime. Res64: 923D3AC931811337 Time : 0.0 sec. user=mdettweiler [2017-05-04 15:20:21] 625*2^1453093-1 is not prime. Res64: E2E88CAE666CC244 Time : 0.0 sec. user=mdettweiler [2017-05-04 15:20:21] 897*2^1453093-1 is not prime. Res64: 72FDE3FDE70E4084 Time : 0.0 sec. user=juhehe [2017-05-04 15:32:09] 915*2^1453093-1 is not prime. Res64: B93456FA257DE955 Time : 0.0 sec. user=mdettweiler [2017-05-04 16:04:50] 955*2^1453093-1 is not prime. Res64: DF6A8BB0FFEEEF83 Time : 0.0 sec. user=mdettweiler [2017-05-04 16:04:50] 825*2^1453095-1 is not prime. Res64: E0145B09309FCD41 Time : 0.0 sec. user=mdettweiler [2017-05-04 16:04:54] 705*2^1453094-1 is not prime. Res64: CCB8B2B75A5A3E6D Time : 0.0 sec. user=mdettweiler [2017-05-04 16:04:55] 861*2^1453095-1 is not prime. Res64: 19F06448E0436E43 Time : 0.0 sec. user=mdettweiler [2017-05-04 16:04:56] 707*2^1453094-1 is not prime. Res64: 73A2F250BDD66A81 Time : 0.0 sec. user=mdettweiler [2017-05-04 16:04:57] 891*2^1453095-1 is not prime. Res64: 7AD0FE991B74DB5B Time : 0.0 sec. user=mdettweiler [2017-05-04 16:04:58] 755*2^1453094-1 is not prime. Res64: 3C365619C58E061C Time : 0.0 sec. user=mdettweiler [2017-05-04 16:04:59] 973*2^1453095-1 is not prime. Res64: EFADD03313F0A531 Time : 0.0 sec. user=mdettweiler [2017-05-04 16:05:01] 979*2^1453095-1 is not prime. Res64: 1924D5253AA16299 Time : 0.0 sec. user=mdettweiler [2017-05-04 16:05:01] 819*2^1453095-1 is not prime. Res64: 2A376664589F6AAB Time : 0.0 sec. user=mdettweiler [2017-05-04 16:49:39] 657*2^1453096-1 is not prime. Res64: 1FF41CFA1D502EAB Time : 0.0 sec. user=mdettweiler [2017-05-04 16:49:40] 677*2^1453096-1 is not prime. Res64: 6ED5A7C0130F41D0 Time : 0.0 sec. user=mdettweiler [2017-05-04 16:49:40] 765*2^1453096-1 is not prime. Res64: C49FE92F810AEFDA Time : 0.0 sec. user=mdettweiler [2017-05-04 16:49:41] 857*2^1453096-1 is not prime. Res64: 6E98A2D8956F5501 Time : 0.0 sec. user=mdettweiler [2017-05-04 16:49:41] 899*2^1453096-1 is not prime. Res64: 6ED7C331256C74F5 Time : 0.0 sec. user=mdettweiler [2017-05-04 16:49:47] 903*2^1453096-1 is not prime. Res64: 2CAE43B6820BEA65 Time : 0.0 sec. user=mdettweiler [2017-05-04 16:49:47] 619*2^1453097-1 is not prime. Res64: 3FAB03CB2C1522A4 Time : 0.0 sec. user=mdettweiler [2017-05-04 16:49:48] 649*2^1453097-1 is not prime. Res64: 1CEDF6F94D15A62F Time : 0.0 sec. user=mdettweiler [2017-05-04 16:49:48] 699*2^1453097-1 is not prime. Res64: 91CCAC45EB33CA05 Time : 0.0 sec. user=mdettweiler [2017-05-04 16:49:49] 777*2^1453097-1 is not prime. Res64: 1C0EB9E1D4FE7DF1 Time : 0.0 sec. user=juhehe [2017-05-04 16:50:43] 781*2^1453097-1 is not prime. Res64: 907E097C9EB36918 Time : 0.0 sec. user=mdettweiler [2017-05-04 17:34:07] 819*2^1453097-1 is not prime. Res64: 4B7DF8E0E67E2926 Time : 0.0 sec. user=mdettweiler [2017-05-04 17:34:08] 901*2^1453097-1 is not prime. Res64: FCB98ACA9B631D4A Time : 0.0 sec. user=mdettweiler [2017-05-04 17:34:08] 621*2^1453098-1 is not prime. Res64: 48066BCDC6DBC975 Time : 0.0 sec. user=mdettweiler [2017-05-04 17:34:09] 695*2^1453098-1 is not prime. Res64: 885EFAF9F8621188 Time : 0.0 sec. user=mdettweiler [2017-05-04 17:34:09] 893*2^1453098-1 is not prime. Res64: 5759C184C52177B7 Time : 0.0 sec. user=mdettweiler [2017-05-04 17:34:14] 619*2^1453099-1 is not prime. Res64: E6073571A2A3BBAE Time : 0.0 sec. user=mdettweiler [2017-05-04 17:34:15] 703*2^1453099-1 is not prime. Res64: E985F0688A55EB90 Time : 0.0 sec. user=mdettweiler [2017-05-04 17:34:15] 733*2^1453099-1 is not prime. Res64: 45D082CBF79D0654 Time : 0.0 sec. user=mdettweiler [2017-05-04 17:34:15] 741*2^1453099-1 is not prime. Res64: 7C6D78FAED89F1A1 Time : 0.0 sec. user=mdettweiler [2017-05-04 17:34:16] 765*2^1453099-1 is not prime. Res64: 77BEBD886B85B2B7 Time : 0.0 sec. user=mdettweiler [2017-05-04 18:18:34] 771*2^1453099-1 is not prime. Res64: 732984CB568B9459 Time : 0.0 sec. user=mdettweiler [2017-05-04 18:18:35] 793*2^1453099-1 is not prime. Res64: 8E5CC9FE34FDDBC6 Time : 0.0 sec. user=mdettweiler [2017-05-04 18:18:35] 829*2^1453099-1 is not prime. Res64: 4D15487887197076 Time : 0.0 sec. user=mdettweiler [2017-05-04 18:18:36] 843*2^1453099-1 is not prime. Res64: B96B0950B4B66B0C Time : 0.0 sec. user=mdettweiler [2017-05-04 18:18:36] 931*2^1453099-1 is not prime. Res64: 21A620E6472BF7BC Time : 0.0 sec. user=mdettweiler [2017-05-04 18:18:41] 943*2^1453099-1 is not prime. Res64: 4F7C05D641523971 Time : 0.0 sec. user=mdettweiler [2017-05-04 18:18:41] 951*2^1453099-1 is not prime. Res64: 09954EE4E65C7DCE Time : 0.0 sec. user=mdettweiler [2017-05-04 18:18:42] 665*2^1453100-1 is not prime. Res64: 8234696A9CD2D364 Time : 0.0 sec. user=mdettweiler [2017-05-04 18:18:42] 687*2^1453100-1 is not prime. Res64: DD54AA03D769B517 Time : 0.0 sec. user=mdettweiler [2017-05-04 18:18:43] 797*2^1453100-1 is not prime. Res64: 4AF549CEB9B9E298 Time : 0.0 sec. user=juhehe [2017-05-04 18:49:53] 879*2^1453100-1 is not prime. Res64: A12C85852AE3CDA9 Time : 0.0 sec. user=mdettweiler [2017-05-04 19:03:02] 885*2^1453100-1 is not prime. Res64: 80344581EE51DD29 Time : 0.0 sec. user=mdettweiler [2017-05-04 19:03:05] 897*2^1453100-1 is not prime. Res64: 4E0B39C09B0E69E2 Time : 0.0 sec. user=mdettweiler [2017-05-04 19:03:06] 899*2^1453100-1 is not prime. Res64: AB4899810080EB26 Time : 0.0 sec. user=mdettweiler [2017-05-04 19:03:08] 915*2^1453100-1 is not prime. Res64: DF2B97C070F8AB5C Time : 0.0 sec. user=mdettweiler [2017-05-04 19:03:10] 945*2^1453100-1 is not prime. Res64: 9380CCA8E8839E01 Time : 0.0 sec. user=mdettweiler [2017-05-04 19:03:12] 685*2^1453101-1 is not prime. Res64: 98365D1A01810394 Time : 0.0 sec. user=mdettweiler [2017-05-04 19:03:15] 865*2^1453101-1 is not prime. Res64: 7C2FC83A632B772D Time : 0.0 sec. user=mdettweiler [2017-05-04 19:03:18] 975*2^1453101-1 is not prime. Res64: A745AFE3A9B09D47 Time : 0.0 sec. user=mdettweiler [2017-05-04 19:03:20] 671*2^1453102-1 is not prime. Res64: DB200B606578D299 Time : 0.0 sec. user=mdettweiler [2017-05-04 19:03:22] 717*2^1453102-1 is not prime. Res64: 3B49F99E3A32FFCF Time : 0.0 sec. user=mdettweiler [2017-05-04 19:48:05] 917*2^1453102-1 is not prime. Res64: CB8BA9A268F66071 Time : 0.0 sec. user=mdettweiler [2017-05-04 19:48:06] 945*2^1453102-1 is not prime. Res64: 6EDDF8A8031E2F34 Time : 0.0 sec. user=mdettweiler [2017-05-04 19:48:06] 731*2^1453102-1 is not prime. Res64: 9EA6F655AF1D8E4A Time : 0.0 sec. user=mdettweiler [2017-05-04 19:48:06] 609*2^1453103-1 is not prime. Res64: E1AD6E133115577E Time : 0.0 sec. user=mdettweiler [2017-05-04 19:48:07] 801*2^1453102-1 is not prime. Res64: 6D30AC95C88C0FD7 Time : 0.0 sec. user=mdettweiler [2017-05-04 19:48:07] 721*2^1453103-1 is not prime. Res64: 72BF0C91C1BF2D05 Time : 0.0 sec. user=mdettweiler [2017-05-04 19:48:07] 831*2^1453102-1 is not prime. Res64: E7BA8D64503200F9 Time : 0.0 sec. user=mdettweiler [2017-05-04 19:48:07] 981*2^1453103-1 is not prime. Res64: 1123E8D5B192FA8D Time : 0.0 sec. user=mdettweiler [2017-05-04 19:48:08] 891*2^1453102-1 is not prime. Res64: 9F8C0FA79120BD01 Time : 0.0 sec. user=mdettweiler [2017-05-04 19:48:08] 629*2^1453104-1 is not prime. Res64: 1F661B43170717DC Time : 0.0 sec. user=mdettweiler [2017-05-04 20:32:43] 917*2^1453104-1 is not prime. Res64: F619747D4F8F04B7 Time : 0.0 sec. user=mdettweiler [2017-05-04 20:32:43] 717*2^1453104-1 is not prime. Res64: 97915B4EA276EC2B Time : 0.0 sec. user=mdettweiler [2017-05-04 20:32:43] 947*2^1453104-1 is not prime. Res64: EE37A3F797C79E1D Time : 0.0 sec. user=mdettweiler [2017-05-04 20:32:43] 753*2^1453104-1 is not prime. Res64: 11882B95DF3E6BDA Time : 0.0 sec. user=mdettweiler [2017-05-04 20:32:43] 741*2^1453105-1 is not prime. Res64: C019F176474841E1 Time : 0.0 sec. user=mdettweiler [2017-05-04 20:32:44] 849*2^1453104-1 is not prime. Res64: F08B1FC66A95A0A5 Time : 0.0 sec. user=mdettweiler [2017-05-04 20:32:44] 775*2^1453105-1 is not prime. Res64: 33D2EAED3A4FEF2E Time : 0.0 sec. user=mdettweiler [2017-05-04 20:32:44] 863*2^1453104-1 is not prime. Res64: 93D68F3F8D09963D Time : 0.0 sec. user=mdettweiler [2017-05-04 20:32:44] 831*2^1453105-1 is not prime. Res64: 4A3282DFD46D1D27 Time : 0.0 sec. user=mdettweiler [2017-05-04 20:32:44] 915*2^1453104-1 is not prime. Res64: 16C25034736F5924 Time : 0.0 sec. user=juhehe [2017-05-04 20:48:15] 849*2^1453105-1 is not prime. Res64: B53A67645207015A Time : 0.0 sec. user=mdettweiler [2017-05-04 21:17:11] 867*2^1453105-1 is not prime. Res64: F112DB9BAFE306C0 Time : 0.0 sec. user=mdettweiler [2017-05-04 21:17:12] 893*2^1453106-1 is not prime. Res64: 496EA23F7ACBFCD5 Time : 0.0 sec. user=mdettweiler [2017-05-04 21:17:12] 909*2^1453105-1 is not prime. Res64: B5E359198094655E Time : 0.0 sec. user=mdettweiler [2017-05-04 21:17:13] 925*2^1453105-1 is not prime. Res64: 95B704BAA52EB175 Time : 0.0 sec. user=mdettweiler [2017-05-04 21:17:13] 921*2^1453106-1 is not prime. Res64: 2AB519916E147986 Time : 0.0 sec. user=mdettweiler [2017-05-04 21:17:14] 717*2^1453106-1 is not prime. Res64: 4B1A3FEAAB79D830 Time : 0.0 sec. user=mdettweiler [2017-05-04 21:17:14] 935*2^1453106-1 is not prime. Res64: 36B78BA4005AE1FB Time : 0.0 sec. user=mdettweiler [2017-05-04 21:17:14] 743*2^1453106-1 is not prime. Res64: F30F99441E423EE0 Time : 0.0 sec. user=mdettweiler [2017-05-04 21:17:15] 685*2^1453107-1 is not prime. Res64: F04F0FBFC3987649 Time : 0.0 sec. user=mdettweiler [2017-05-04 21:17:16] 711*2^1453107-1 is not prime. Res64: 8F473CC17CA8E83D Time : 0.0 sec. user=mdettweiler [2017-05-04 22:01:47] 781*2^1453107-1 is not prime. Res64: EB2D4EA2D1A813FB Time : 0.0 sec. user=mdettweiler [2017-05-04 22:01:48] 647*2^1453108-1 is not prime. Res64: A29C2B0E812AF313 Time : 0.0 sec. user=mdettweiler [2017-05-04 22:01:48] 819*2^1453107-1 is not prime. Res64: 67DB11699F792226 Time : 0.0 sec. user=mdettweiler [2017-05-04 22:01:49] 777*2^1453108-1 is not prime. Res64: DC0508BF6D316633 Time : 0.0 sec. user=mdettweiler [2017-05-04 22:01:50] 945*2^1453107-1 is not prime. Res64: E8F2F31762AA9965 Time : 0.0 sec. user=mdettweiler [2017-05-04 22:01:51] 927*2^1453108-1 is not prime. Res64: 33EE00AA330BBE62 Time : 0.0 sec. user=mdettweiler [2017-05-04 22:01:52] 605*2^1453108-1 is not prime. Res64: 42D3CDB26E6A6C27 Time : 0.0 sec. user=mdettweiler [2017-05-04 22:01:53] 993*2^1453108-1 is not prime. Res64: 944A9DE75C735744 Time : 0.0 sec. user=mdettweiler [2017-05-04 22:01:53] 623*2^1453108-1 is not prime. Res64: 777DECEAADE4FBA6 Time : 0.0 sec. user=mdettweiler [2017-05-04 22:01:53] 619*2^1453109-1 is not prime. Res64: 23F0E4E7C1C3A6D3 Time : 0.0 sec. user=mdettweiler [2017-05-04 22:46:46] 741*2^1453109-1 is not prime. Res64: 8312C26A8BBD37FE Time : 0.0 sec. user=mdettweiler [2017-05-04 22:46:46] 879*2^1453109-1 is not prime. Res64: AB869A3B028CDF8A Time : 0.0 sec. user=mdettweiler [2017-05-04 22:46:47] 949*2^1453109-1 is not prime. Res64: 78452CEA156FCA51 Time : 0.0 sec. user=mdettweiler [2017-05-04 22:46:47] 627*2^1453110-1 is not prime. Res64: 89E00DDE3875CA1B Time : 0.0 sec. user=mdettweiler [2017-05-04 22:46:48] 647*2^1453110-1 is not prime. Res64: 927C9D7CA047E743 Time : 0.0 sec. user=mdettweiler [2017-05-04 22:46:49] 651*2^1453110-1 is not prime. Res64: B29BBC446D672839 Time : 0.0 sec. user=mdettweiler [2017-05-04 22:46:50] 723*2^1453110-1 is not prime. Res64: CBA169DC75927875 Time : 0.0 sec. user=mdettweiler [2017-05-04 22:46:50] 741*2^1453110-1 is not prime. Res64: C2E6341AF06E02CB Time : 0.0 sec. user=mdettweiler [2017-05-04 22:46:50] 861*2^1453110-1 is not prime. Res64: F591E514CE6F839A Time : 0.0 sec. user=mdettweiler [2017-05-04 22:46:51] 625*2^1453111-1 is not prime. Res64: FB3DB05763DBE2A1 Time : 0.0 sec. user=juhehe [2017-05-04 22:47:27] 723*2^1453111-1 is not prime. Res64: 52D203895877D111 Time : 0.0 sec. user=mdettweiler [2017-05-04 23:31:18] 871*2^1453111-1 is not prime. Res64: F782D3C7C52C09C9 Time : 0.0 sec. user=mdettweiler [2017-05-04 23:31:19] 933*2^1453111-1 is not prime. Res64: 291E8457FD76BCC1 Time : 0.0 sec. user=mdettweiler [2017-05-04 23:31:20] 993*2^1453111-1 is not prime. Res64: D62C89E12D62FDFD Time : 0.0 sec. user=mdettweiler [2017-05-04 23:31:20] 753*2^1453112-1 is not prime. Res64: 3BF050AB8A658704 Time : 0.0 sec. user=mdettweiler [2017-05-04 23:31:21] 797*2^1453112-1 is not prime. Res64: 56C82A5D8385EDD7 Time : 0.0 sec. user=mdettweiler [2017-05-04 23:31:23] 945*2^1453112-1 is not prime. Res64: 943D60442DF23AEE Time : 0.0 sec. user=mdettweiler [2017-05-04 23:31:24] 637*2^1453113-1 is not prime. Res64: 5520492C929581EC Time : 0.0 sec. user=mdettweiler [2017-05-04 23:31:24] 681*2^1453113-1 is not prime. Res64: E9933CE8B3A624DD Time : 0.0 sec. user=mdettweiler [2017-05-04 23:31:25] 747*2^1453113-1 is not prime. Res64: 1840D46B281A977D Time : 0.0 sec. user=mdettweiler [2017-05-04 23:31:26] 817*2^1453113-1 is not prime. Res64: 21F436B5CCA7EE44 Time : 0.0 sec.