user=mdettweiler [2017-05-15 00:01:24] 657*2^1453905-1 is not prime. Res64: 1E60D022F343411C Time : 0.0 sec. user=mdettweiler [2017-05-15 00:01:25] 861*2^1453905-1 is not prime. Res64: D49FEA7740356259 Time : 0.0 sec. user=mdettweiler [2017-05-15 00:01:25] 991*2^1453905-1 is not prime. Res64: E17956370994C15F Time : 0.0 sec. user=mdettweiler [2017-05-15 00:01:25] 999*2^1453905-1 is not prime. Res64: EB2BF20A9EFB9603 Time : 0.0 sec. user=mdettweiler [2017-05-15 00:01:26] 603*2^1453906-1 is not prime. Res64: 2792FDE6D2132B57 Time : 0.0 sec. user=mdettweiler [2017-05-15 00:18:23] 623*2^1453906-1 is not prime. Res64: 29B32B4652F27551 Time : 0.0 sec. user=mdettweiler [2017-05-15 00:18:23] 671*2^1453906-1 is not prime. Res64: 1E8025E1C89C8B74 Time : 0.0 sec. user=mdettweiler [2017-05-15 00:18:24] 833*2^1453906-1 is not prime. Res64: C12FCE26AD867D91 Time : 0.0 sec. user=mdettweiler [2017-05-15 00:18:24] 941*2^1453906-1 is not prime. Res64: 3BA6C530D5F314E4 Time : 0.0 sec. user=mdettweiler [2017-05-15 00:18:25] 975*2^1453906-1 is not prime. Res64: 4215298093622CD5 Time : 0.0 sec. user=mdettweiler [2017-05-15 00:41:01] 673*2^1453907-1 is not prime. Res64: DEEA98F1A5FBCFF2 Time : 0.0 sec. user=mdettweiler [2017-05-15 00:41:02] 733*2^1453907-1 is not prime. Res64: F5537552F51C126B Time : 0.0 sec. user=mdettweiler [2017-05-15 00:41:02] 759*2^1453907-1 is not prime. Res64: CE61BB06B1A446DD Time : 0.0 sec. user=mdettweiler [2017-05-15 00:41:03] 775*2^1453907-1 is not prime. Res64: 06CA5DE4EEE4C381 Time : 0.0 sec. user=mdettweiler [2017-05-15 00:41:03] 879*2^1453907-1 is not prime. Res64: AD72387464627378 Time : 0.0 sec. user=mdettweiler [2017-05-15 00:45:27] 963*2^1453907-1 is not prime. Res64: A552CBCF549CFB0D Time : 0.0 sec. user=mdettweiler [2017-05-15 00:45:27] 605*2^1453908-1 is not prime. Res64: B2EDE03EB4EA035F Time : 0.0 sec. user=mdettweiler [2017-05-15 00:45:28] 647*2^1453908-1 is not prime. Res64: AF7D6AF8D325F6AC Time : 0.0 sec. user=mdettweiler [2017-05-15 00:45:28] 695*2^1453908-1 is not prime. Res64: 6EE983706D6F81D4 Time : 0.0 sec. user=mdettweiler [2017-05-15 00:45:28] 845*2^1453908-1 is not prime. Res64: C08BCF263B17560F Time : 0.0 sec. user=mdettweiler [2017-05-15 00:48:26] 929*2^1453908-1 is not prime. Res64: CE6E1ACB7914F936 Time : 0.0 sec. user=mdettweiler [2017-05-15 00:48:26] 999*2^1453908-1 is not prime. Res64: A7C9C6FF3F99CB87 Time : 0.0 sec. user=mdettweiler [2017-05-15 00:48:27] 765*2^1453909-1 is not prime. Res64: 13616DFB13CC2351 Time : 0.0 sec. user=mdettweiler [2017-05-15 00:48:27] 831*2^1453909-1 is not prime. Res64: 08634F5103BDDB2B Time : 0.0 sec. user=mdettweiler [2017-05-15 00:48:28] 855*2^1453909-1 is not prime. Res64: F0715318CF986E24 Time : 0.0 sec. user=mdettweiler [2017-05-15 01:04:58] 919*2^1453909-1 is not prime. Res64: F3CB0B0515AD75EF Time : 0.0 sec. user=mdettweiler [2017-05-15 01:04:59] 951*2^1453909-1 is not prime. Res64: AD8BF9481E2B148E Time : 0.0 sec. user=mdettweiler [2017-05-15 01:05:02] 997*2^1453909-1 is not prime. Res64: 67EE87CCA487F6CE Time : 0.0 sec. user=mdettweiler [2017-05-15 01:05:06] 603*2^1453910-1 is not prime. Res64: D366AF7C45D11C2E Time : 0.0 sec. user=mdettweiler [2017-05-15 01:05:09] 861*2^1453910-1 is not prime. Res64: 620E32F99CC135AE Time : 0.0 sec. user=mdettweiler [2017-05-15 01:27:52] 917*2^1453910-1 is not prime. Res64: C364C2C1FD5EC335 Time : 0.0 sec. user=mdettweiler [2017-05-15 01:27:53] 951*2^1453910-1 is not prime. Res64: 297E2938B3B56FA1 Time : 0.0 sec. user=mdettweiler [2017-05-15 01:27:54] 615*2^1453911-1 is not prime. Res64: 9D1D6DBD987FB9A3 Time : 0.0 sec. user=mdettweiler [2017-05-15 01:27:56] 703*2^1453911-1 is not prime. Res64: CFD3B7110C7C4FAE Time : 0.0 sec. user=mdettweiler [2017-05-15 01:27:58] 741*2^1453911-1 is not prime. Res64: 418F50ADDAAD09C1 Time : 0.0 sec. user=juhehe [2017-05-15 01:28:06] 909*2^1453912-1 is not prime. Res64: BA65A357E1B4B31F Time : 0.0 sec. user=mdettweiler [2017-05-15 01:32:24] 763*2^1453911-1 is not prime. Res64: A195E22DAAD2F4E5 Time : 0.0 sec. user=mdettweiler [2017-05-15 01:32:24] 793*2^1453911-1 is not prime. Res64: 47E265765CDFDC18 Time : 0.0 sec. user=mdettweiler [2017-05-15 01:32:25] 629*2^1453912-1 is not prime. Res64: A7F444BED62D1DE2 Time : 0.0 sec. user=mdettweiler [2017-05-15 01:32:26] 645*2^1453912-1 is not prime. Res64: F55772DBB2713FAC Time : 0.0 sec. user=mdettweiler [2017-05-15 01:32:27] 743*2^1453912-1 is not prime. Res64: 7B94D92EFD3F9B1C Time : 0.0 sec. user=mdettweiler [2017-05-15 01:35:27] 803*2^1453912-1 is not prime. Res64: 0FDCE57BB775FD00 Time : 0.0 sec. user=mdettweiler [2017-05-15 01:35:27] 813*2^1453912-1 is not prime. Res64: 436979AB48E15DD9 Time : 0.0 sec. user=mdettweiler [2017-05-15 01:35:28] 827*2^1453912-1 is not prime. Res64: 3E603D9AAF826D7D Time : 0.0 sec. user=mdettweiler [2017-05-15 01:35:29] 833*2^1453912-1 is not prime. Res64: 125F8B2815F5C1D6 Time : 0.0 sec. user=mdettweiler [2017-05-15 01:35:31] 863*2^1453912-1 is not prime. Res64: 088F35D6DE87319F Time : 0.0 sec. user=mdettweiler [2017-05-15 01:53:01] 697*2^1453913-1 is not prime. Res64: 769504176DB8ABE9 Time : 0.0 sec. user=mdettweiler [2017-05-15 01:53:02] 735*2^1453913-1 is not prime. Res64: 18F843B05C8183B2 Time : 0.0 sec. user=mdettweiler [2017-05-15 01:53:02] 741*2^1453913-1 is not prime. Res64: 6F9BD12129C1215B Time : 0.0 sec. user=mdettweiler [2017-05-15 01:53:03] 837*2^1453913-1 is not prime. Res64: A2354A910173ADE8 Time : 0.0 sec. user=mdettweiler [2017-05-15 01:53:03] 871*2^1453913-1 is not prime. Res64: DB01AB17210645B7 Time : 0.0 sec. user=mdettweiler [2017-05-15 02:15:54] 611*2^1453914-1 is not prime. Res64: D06C573F890B2D34 Time : 0.0 sec. user=mdettweiler [2017-05-15 02:15:55] 615*2^1453914-1 is not prime. Res64: F872CA5E39224CB2 Time : 0.0 sec. user=mdettweiler [2017-05-15 02:15:55] 711*2^1453914-1 is not prime. Res64: 557252857357C382 Time : 0.0 sec. user=mdettweiler [2017-05-15 02:15:56] 603*2^1453915-1 is not prime. Res64: BEB43B17BBE4852D Time : 0.0 sec. user=mdettweiler [2017-05-15 02:15:56] 625*2^1453915-1 is not prime. Res64: 319D174CF6B9AD83 Time : 0.0 sec. user=mdettweiler [2017-05-15 02:19:20] 871*2^1453915-1 is not prime. Res64: 1A3EB520B7C4EF1F Time : 0.0 sec. user=mdettweiler [2017-05-15 02:19:21] 969*2^1453915-1 is not prime. Res64: 8887291BA2E0219E Time : 0.0 sec. user=mdettweiler [2017-05-15 02:19:21] 617*2^1453916-1 is not prime. Res64: D46F6557CBFCBDEE Time : 0.0 sec. user=mdettweiler [2017-05-15 02:19:21] 623*2^1453916-1 is not prime. Res64: B005CDB88C99D731 Time : 0.0 sec. user=mdettweiler [2017-05-15 02:19:22] 735*2^1453916-1 is not prime. Res64: 0367B4D52C50BC94 Time : 0.0 sec. user=mdettweiler [2017-05-15 02:22:36] 759*2^1453916-1 is not prime. Res64: 96E4DCC626DC3285 Time : 0.0 sec. user=mdettweiler [2017-05-15 02:22:37] 867*2^1453916-1 is not prime. Res64: 0682C9963853F98F Time : 0.0 sec. user=mdettweiler [2017-05-15 02:22:37] 607*2^1453917-1 is not prime. Res64: 7D2751A7F8E96539 Time : 0.0 sec. user=mdettweiler [2017-05-15 02:22:37] 661*2^1453917-1 is not prime. Res64: AC392335A230B94B Time : 0.0 sec. user=mdettweiler [2017-05-15 02:22:38] 759*2^1453917-1 is not prime. Res64: B2F343A1A54A47D9 Time : 0.0 sec. user=mdettweiler [2017-05-15 02:40:17] 777*2^1453917-1 is not prime. Res64: 9B05E8425979B3A9 Time : 0.0 sec. user=mdettweiler [2017-05-15 02:40:18] 795*2^1453917-1 is not prime. Res64: E1A6D26A1349DA8E Time : 0.0 sec. user=mdettweiler [2017-05-15 02:40:18] 861*2^1453917-1 is not prime. Res64: AAB8B91F15515EBA Time : 0.0 sec. user=mdettweiler [2017-05-15 02:40:18] 937*2^1453917-1 is not prime. Res64: DB19CDBC1D6299B5 Time : 0.0 sec. user=mdettweiler [2017-05-15 02:40:19] 949*2^1453917-1 is not prime. Res64: 1BA8D32008C9B0B3 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:03:49] 605*2^1453918-1 is not prime. Res64: F74297573675BF88 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:03:51] 731*2^1453918-1 is not prime. Res64: 32A721E659DD1089 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:03:53] 833*2^1453918-1 is not prime. Res64: 3AE6F395081E9251 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:03:54] 845*2^1453918-1 is not prime. Res64: A4AC51B8CF0C8689 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:03:55] 885*2^1453918-1 is not prime. Res64: 1EB2F3E08FA96CD8 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:07:07] 891*2^1453918-1 is not prime. Res64: 54F920EFF05F05D4 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:07:09] 923*2^1453918-1 is not prime. Res64: 4D0BAC6370636746 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:07:12] 957*2^1453918-1 is not prime. Res64: 0B9F1C1877ABCB67 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:07:14] 1001*2^1453918-1 is not prime. Res64: D1BDC9CAD1CAA44A Time : 0.0 sec. user=mdettweiler [2017-05-15 03:07:16] 633*2^1453919-1 is not prime. Res64: D53483E8E130794F Time : 0.0 sec. user=mdettweiler [2017-05-15 03:10:19] 661*2^1453919-1 is not prime. Res64: CDD19917228B4598 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:10:20] 669*2^1453919-1 is not prime. Res64: 2A89ACF05311FAC7 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:10:21] 771*2^1453919-1 is not prime. Res64: 5237774D937F25E4 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:10:21] 931*2^1453919-1 is not prime. Res64: 9376E6A37CCAA43F Time : 0.0 sec. user=mdettweiler [2017-05-15 03:10:22] 949*2^1453919-1 is not prime. Res64: F9426DFCF0226F5A Time : 0.0 sec. user=juhehe [2017-05-15 03:26:03] 915*2^1453920-1 is not prime. Res64: 323E58BDE5CB0889 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:29:02] 979*2^1453919-1 is not prime. Res64: DBA8605C5A811808 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:29:03] 723*2^1453920-1 is not prime. Res64: 09492AB374DADAF3 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:29:04] 779*2^1453920-1 is not prime. Res64: 49548162B70CCBC4 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:29:05] 797*2^1453920-1 is not prime. Res64: 42A4C1B6BB17CEE4 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:29:06] 819*2^1453920-1 is not prime. Res64: 0315997CF9127705 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:52:25] 705*2^1453921-1 is not prime. Res64: B9B8FACF3B7258CD Time : 0.0 sec. user=mdettweiler [2017-05-15 03:52:27] 789*2^1453921-1 is not prime. Res64: B5BB0646EB9F0E35 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:52:28] 871*2^1453921-1 is not prime. Res64: 77F14D316A7E42B5 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:52:28] 635*2^1453922-1 is not prime. Res64: 64498689B1394807 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:52:29] 743*2^1453922-1 is not prime. Res64: D3259382CFD602CF Time : 0.0 sec. user=mdettweiler [2017-05-15 03:56:59] 785*2^1453922-1 is not prime. Res64: C65775D01144EF5C Time : 0.0 sec. user=mdettweiler [2017-05-15 03:57:00] 885*2^1453922-1 is not prime. Res64: 2284BF83F1A054A9 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:57:00] 983*2^1453922-1 is not prime. Res64: F109974FE1478EE4 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:57:01] 609*2^1453923-1 is not prime. Res64: 891E8429FE40A004 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:57:02] 745*2^1453923-1 is not prime. Res64: EFF048B6F96C5AC8 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:58:58] 751*2^1453923-1 is not prime. Res64: B32B70AB9F2D1FD3 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:58:59] 765*2^1453923-1 is not prime. Res64: CF2E9CAE4CAC7A02 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:58:59] 783*2^1453923-1 is not prime. Res64: 3C3209433088E1A2 Time : 0.0 sec. user=mdettweiler [2017-05-15 03:59:00] 829*2^1453923-1 is not prime. Res64: 10109795FB3A0B0F Time : 0.0 sec. user=mdettweiler [2017-05-15 03:59:00] 891*2^1453923-1 is not prime. Res64: 292D384FFC7D1A3D Time : 0.0 sec. user=mdettweiler [2017-05-15 04:16:04] 961*2^1453923-1 is not prime. Res64: 4C976404285BFC01 Time : 0.0 sec. user=mdettweiler [2017-05-15 04:16:05] 605*2^1453924-1 is not prime. Res64: 2844250F5014B13E Time : 0.0 sec. user=mdettweiler [2017-05-15 04:16:05] 743*2^1453924-1 is not prime. Res64: 1C2671CEDFD171D1 Time : 0.0 sec. user=mdettweiler [2017-05-15 04:16:06] 843*2^1453924-1 is not prime. Res64: F2D8C11681866E6F Time : 0.0 sec. user=mdettweiler [2017-05-15 04:16:06] 909*2^1453924-1 is not prime. Res64: 3357FB37958B37B6 Time : 0.0 sec. user=mdettweiler [2017-05-15 04:39:50] 759*2^1453613-1 is not prime. Res64: D9B8F24FC8A4CF31 Time : 0.0 sec. user=mdettweiler [2017-05-15 04:39:51] 927*2^1453924-1 is not prime. Res64: A5FCB7DEF3E19846 Time : 0.0 sec. user=mdettweiler [2017-05-15 04:39:51] 987*2^1453924-1 is not prime. Res64: 35E78C78F5D42166 Time : 0.0 sec. user=mdettweiler [2017-05-15 04:39:52] 885*2^1453925-1 is not prime. Res64: F0D46246C64D09A3 Time : 0.0 sec. user=mdettweiler [2017-05-15 04:39:52] 927*2^1453925-1 is not prime. Res64: 20A771EEDFC134EF Time : 0.0 sec. user=mdettweiler [2017-05-15 04:44:06] 717*2^1453926-1 is not prime. Res64: 95E915F3F6AB28E0 Time : 0.0 sec. user=mdettweiler [2017-05-15 04:44:06] 723*2^1453926-1 is not prime. Res64: 2E197ED2022F23A2 Time : 0.0 sec. user=mdettweiler [2017-05-15 04:44:07] 807*2^1453926-1 is not prime. Res64: EB977AD9DF497E2B Time : 0.0 sec. user=mdettweiler [2017-05-15 04:44:07] 873*2^1453926-1 is not prime. Res64: D447D6EF300BD1A5 Time : 0.0 sec. user=mdettweiler [2017-05-15 04:44:07] 891*2^1453926-1 is not prime. Res64: C277890C3E0FCDF0 Time : 0.0 sec. user=mdettweiler [2017-05-15 04:45:53] 933*2^1453926-1 is not prime. Res64: 65A6379769949422 Time : 0.0 sec. user=mdettweiler [2017-05-15 04:45:53] 651*2^1453927-1 is not prime. Res64: D62EF2A0A85AFB95 Time : 0.0 sec. user=mdettweiler [2017-05-15 04:45:54] 663*2^1453927-1 is not prime. Res64: 52712C44A50121C0 Time : 0.0 sec. user=mdettweiler [2017-05-15 04:45:54] 915*2^1453927-1 is not prime. Res64: BEEF6EBB1FFE7855 Time : 0.0 sec. user=mdettweiler [2017-05-15 04:45:54] 961*2^1453927-1 is not prime. Res64: 0DA2F1101C3079D4 Time : 0.0 sec. user=mdettweiler [2017-05-15 05:02:45] 663*2^1453928-1 is not prime. Res64: E0C0C2654B9FE33D Time : 0.0 sec. user=mdettweiler [2017-05-15 05:02:47] 735*2^1453928-1 is not prime. Res64: 584F63B148CB6052 Time : 0.0 sec. user=mdettweiler [2017-05-15 05:02:49] 743*2^1453928-1 is not prime. Res64: C869CD81779A1238 Time : 0.0 sec. user=mdettweiler [2017-05-15 05:02:51] 915*2^1453928-1 is not prime. Res64: F9C46BAFF72830EB Time : 0.0 sec. user=mdettweiler [2017-05-15 05:02:52] 957*2^1453928-1 is not prime. Res64: E7D8E85D04298C1C Time : 0.0 sec. user=juhehe [2017-05-15 05:23:23] 701*2^1453930-1 is not prime. Res64: A901E8CADB57D561 Time : 0.0 sec. user=mdettweiler [2017-05-15 05:26:32] 959*2^1453928-1 is not prime. Res64: E874D094B6DE1C49 Time : 0.0 sec. user=mdettweiler [2017-05-15 05:26:33] 679*2^1453929-1 is not prime. Res64: 176FAA551DAB314D Time : 0.0 sec. user=mdettweiler [2017-05-15 05:26:33] 691*2^1453929-1 is not prime. Res64: 68B8C53B25AE2561 Time : 0.0 sec. user=mdettweiler [2017-05-15 05:26:34] 745*2^1453929-1 is not prime. Res64: B8F3218279964722 Time : 0.0 sec. user=mdettweiler [2017-05-15 05:26:34] 789*2^1453929-1 is not prime. Res64: 290922F9132EAA34 Time : 0.0 sec. user=mdettweiler [2017-05-15 05:30:56] 867*2^1453929-1 is not prime. Res64: D72317E95A8B16FC Time : 0.0 sec. user=mdettweiler [2017-05-15 05:30:57] 895*2^1453929-1 is not prime. Res64: 52C00D4AC7542AD0 Time : 0.0 sec. user=mdettweiler [2017-05-15 05:30:57] 975*2^1453929-1 is not prime. Res64: 4BD35D889DB7CC68 Time : 0.0 sec. user=mdettweiler [2017-05-15 05:30:58] 635*2^1453930-1 is not prime. Res64: EDD29BC5E91EDD78 Time : 0.0 sec. user=mdettweiler [2017-05-15 05:30:58] 695*2^1453930-1 is not prime. Res64: 9D79A29259253B3D Time : 0.0 sec. user=mdettweiler [2017-05-15 05:32:38] 971*2^1453930-1 is not prime. Res64: 7E6DB3B66D4B188A Time : 0.0 sec. user=mdettweiler [2017-05-15 05:32:39] 981*2^1453930-1 is not prime. Res64: 3F77B20F1DE475EF Time : 0.0 sec. user=mdettweiler [2017-05-15 05:32:39] 615*2^1453931-1 is not prime. Res64: DF7CB956F04A9CDC Time : 0.0 sec. user=mdettweiler [2017-05-15 05:32:39] 841*2^1453931-1 is not prime. Res64: DCDB801AEA6A3B99 Time : 0.0 sec. user=mdettweiler [2017-05-15 05:32:40] 859*2^1453931-1 is not prime. Res64: 1A2205F045A66133 Time : 0.0 sec. user=mdettweiler [2017-05-15 05:50:13] 981*2^1453931-1 is not prime. Res64: 3781ECCC87D01BA2 Time : 0.0 sec. user=mdettweiler [2017-05-15 05:50:13] 623*2^1453932-1 is not prime. Res64: 192D4862FE32D823 Time : 0.0 sec. user=mdettweiler [2017-05-15 05:50:13] 749*2^1453932-1 is not prime. Res64: 3C61D1BA3E5B26D5 Time : 0.0 sec. user=mdettweiler [2017-05-15 05:50:14] 843*2^1453932-1 is not prime. Res64: 0AF2AEF4FA1F4F02 Time : 0.0 sec. user=mdettweiler [2017-05-15 05:50:14] 887*2^1453932-1 is not prime. Res64: C8631969BC065874 Time : 0.0 sec. user=mdettweiler [2017-05-15 06:13:28] 899*2^1453932-1 is not prime. Res64: AEE507441C965433 Time : 0.0 sec. user=mdettweiler [2017-05-15 06:13:28] 909*2^1453932-1 is not prime. Res64: 277DB6EE491B93FE Time : 0.0 sec. user=mdettweiler [2017-05-15 06:13:28] 983*2^1453932-1 is not prime. Res64: B8F8173DB6E3E7A2 Time : 0.0 sec. user=mdettweiler [2017-05-15 06:13:29] 609*2^1453933-1 is not prime. Res64: D19A60A881180B1B Time : 0.0 sec. user=mdettweiler [2017-05-15 06:13:29] 651*2^1453933-1 is not prime. Res64: 9C8E57E118E3D3AB Time : 0.0 sec. user=mdettweiler [2017-05-15 06:17:43] 775*2^1453933-1 is not prime. Res64: 1FF077A21F36E8D4 Time : 0.0 sec. user=mdettweiler [2017-05-15 06:17:44] 805*2^1453933-1 is not prime. Res64: 34B1206DD071146D Time : 0.0 sec. user=mdettweiler [2017-05-15 06:17:44] 849*2^1453933-1 is not prime. Res64: AF46431A1CA8D0CF Time : 0.0 sec. user=mdettweiler [2017-05-15 06:17:45] 915*2^1453933-1 is not prime. Res64: 5ECC2FAC16E03643 Time : 0.0 sec. user=mdettweiler [2017-05-15 06:17:45] 919*2^1453933-1 is not prime. Res64: B27F85E369F1375C Time : 0.0 sec. user=mdettweiler [2017-05-15 06:19:40] 665*2^1453934-1 is not prime. Res64: 232C0D6EAAA36DB9 Time : 0.0 sec. user=mdettweiler [2017-05-15 06:19:41] 741*2^1453934-1 is not prime. Res64: 41ECCC318135F594 Time : 0.0 sec. user=mdettweiler [2017-05-15 06:19:41] 813*2^1453934-1 is not prime. Res64: AAFC18DAC2AF76F3 Time : 0.0 sec. user=mdettweiler [2017-05-15 06:19:42] 887*2^1453934-1 is not prime. Res64: 20FBF2A5A7D32AF6 Time : 0.0 sec. user=mdettweiler [2017-05-15 06:19:42] 903*2^1453934-1 is not prime. Res64: 21DAF68050202B39 Time : 0.0 sec. user=mdettweiler [2017-05-15 06:36:55] 923*2^1453934-1 is not prime. Res64: 90CAA5431C90E57E Time : 0.0 sec. user=mdettweiler [2017-05-15 06:36:56] 765*2^1453935-1 is not prime. Res64: 946363FAB51DB021 Time : 0.0 sec. user=mdettweiler [2017-05-15 06:36:56] 775*2^1453935-1 is not prime. Res64: 487E775E01162D1D Time : 0.0 sec. user=mdettweiler [2017-05-15 06:36:56] 999*2^1453935-1 is not prime. Res64: 2C20F82F91331ACC Time : 0.0 sec. user=mdettweiler [2017-05-15 06:36:57] 663*2^1453936-1 is not prime. Res64: 7836CBC583EFDB13 Time : 0.0 sec. user=mdettweiler [2017-05-15 07:00:25] 779*2^1453936-1 is not prime. Res64: BF9475BA85D565FD Time : 0.0 sec. user=mdettweiler [2017-05-15 07:00:27] 897*2^1453936-1 is not prime. Res64: 31D7BBAEA7A663C9 Time : 0.0 sec. user=mdettweiler [2017-05-15 07:00:28] 909*2^1453936-1 is not prime. Res64: DCC1A67CE5D9B7FB Time : 0.0 sec. user=mdettweiler [2017-05-15 07:00:29] 607*2^1453937-1 is not prime. Res64: 61416AE0E109A5BE Time : 0.0 sec. user=mdettweiler [2017-05-15 07:00:30] 627*2^1453937-1 is not prime. Res64: 26184B94655A8839 Time : 0.0 sec. user=mdettweiler [2017-05-15 07:04:38] 685*2^1453937-1 is not prime. Res64: D886B415724FA5B7 Time : 0.0 sec. user=mdettweiler [2017-05-15 07:04:40] 697*2^1453937-1 is not prime. Res64: 8987C349E7B48EA0 Time : 0.0 sec. user=mdettweiler [2017-05-15 07:04:42] 727*2^1453937-1 is not prime. Res64: BDDC6E1C1B87432D Time : 0.0 sec. user=mdettweiler [2017-05-15 07:04:43] 735*2^1453937-1 is not prime. Res64: 2F8ED887C16B6746 Time : 0.0 sec. user=mdettweiler [2017-05-15 07:04:45] 847*2^1453937-1 is not prime. Res64: 78257F05E07E20A9 Time : 0.0 sec. user=mdettweiler [2017-05-15 07:06:28] 889*2^1453937-1 is not prime. Res64: 9C3346B4F71EBBAF Time : 0.0 sec. user=mdettweiler [2017-05-15 07:06:30] 967*2^1453937-1 is not prime. Res64: 82D97F46E2D22DE4 Time : 0.0 sec. user=mdettweiler [2017-05-15 07:06:32] 979*2^1453937-1 is not prime. Res64: 3786F7667290E37C Time : 0.0 sec. user=mdettweiler [2017-05-15 07:06:34] 647*2^1453938-1 is not prime. Res64: 22EA9D4424BBCA7E Time : 0.0 sec. user=mdettweiler [2017-05-15 07:06:36] 735*2^1453938-1 is not prime. Res64: A086AF8F27EAF787 Time : 0.0 sec. user=juhehe [2017-05-15 07:20:51] 723*2^1453939-1 is not prime. Res64: A45E848BF71253B6 Time : 0.0 sec. user=mdettweiler [2017-05-15 07:23:36] 875*2^1453938-1 is not prime. Res64: 2F4DD71A798E3502 Time : 0.0 sec. user=mdettweiler [2017-05-15 07:23:36] 951*2^1453938-1 is not prime. Res64: D0B8B06F1D7BEEA1 Time : 0.0 sec. user=mdettweiler [2017-05-15 07:23:37] 621*2^1453939-1 is not prime. Res64: EE185E0589005F8D Time : 0.0 sec. user=mdettweiler [2017-05-15 07:23:37] 625*2^1453939-1 is not prime. Res64: 9AEDB47BA32DF331 Time : 0.0 sec. user=mdettweiler [2017-05-15 07:23:38] 691*2^1453939-1 is not prime. Res64: B03415EC7AA6BB02 Time : 0.0 sec. user=juhehe [2017-05-15 07:35:03] 925*2^1453939-1 is not prime. Res64: CAC917E9DC33D2D3 Time : 0.0 sec. user=mdettweiler [2017-05-15 07:47:48] 975*2^1453939-1 is not prime. Res64: E6F1BD6C5BEFD03B Time : 0.0 sec. user=mdettweiler [2017-05-15 07:47:49] 687*2^1453940-1 is not prime. Res64: 2A58C59613280341 Time : 0.0 sec. user=mdettweiler [2017-05-15 07:47:49] 689*2^1453940-1 is not prime. Res64: F477574AD411AB66 Time : 0.0 sec. user=mdettweiler [2017-05-15 07:47:49] 699*2^1453940-1 is not prime. Res64: 0048DD6BF25A441A Time : 0.0 sec. user=mdettweiler [2017-05-15 07:47:50] 725*2^1453940-1 is not prime. Res64: 0B5080CEC4BA7DDC Time : 0.0 sec. user=mdettweiler [2017-05-15 07:52:21] 843*2^1453940-1 is not prime. Res64: EAB7BF6B0F1B4EE0 Time : 0.0 sec. user=mdettweiler [2017-05-15 07:52:21] 915*2^1453940-1 is not prime. Res64: 42255A90CB307F3D Time : 0.0 sec. user=mdettweiler [2017-05-15 07:52:21] 795*2^1453941-1 is not prime. Res64: 26CE2ED46A4A6CB8 Time : 0.0 sec. user=mdettweiler [2017-05-15 07:52:21] 859*2^1453941-1 is not prime. Res64: 510B7BC4056D3858 Time : 0.0 sec. user=mdettweiler [2017-05-15 07:52:22] 671*2^1453942-1 is not prime. Res64: EAA70A00B697E545 Time : 0.0 sec. user=mdettweiler [2017-05-15 07:54:26] 723*2^1453942-1 is not prime. Res64: 4128012885514530 Time : 0.0 sec. user=mdettweiler [2017-05-15 07:54:26] 741*2^1453942-1 is not prime. Res64: 060C0B9266512ACC Time : 0.0 sec. user=mdettweiler [2017-05-15 07:54:27] 747*2^1453942-1 is not prime. Res64: 910667A63ED2DADE Time : 0.0 sec. user=mdettweiler [2017-05-15 07:54:27] 813*2^1453942-1 is not prime. Res64: 68FDEE7414D439CE Time : 0.0 sec. user=mdettweiler [2017-05-15 07:54:27] 815*2^1453942-1 is not prime. Res64: 0BCE872B2EA9C4C6 Time : 0.0 sec. user=mdettweiler [2017-05-15 08:11:07] 911*2^1453942-1 is not prime. Res64: ED57002F5E9AAEE4 Time : 0.0 sec. user=mdettweiler [2017-05-15 08:11:08] 951*2^1453942-1 is not prime. Res64: 3C7CA9EED06AC569 Time : 0.0 sec. user=mdettweiler [2017-05-15 08:11:08] 693*2^1453943-1 is not prime. Res64: BBB93CA747F307EE Time : 0.0 sec. user=mdettweiler [2017-05-15 08:11:09] 703*2^1453943-1 is not prime. Res64: 028C5EF206034810 Time : 0.0 sec. user=mdettweiler [2017-05-15 08:11:09] 771*2^1453943-1 is not prime. Res64: 24DCB34F039F3410 Time : 0.0 sec. user=mdettweiler [2017-05-15 08:35:31] 823*2^1453943-1 is not prime. Res64: 1396DC43407B9D62 Time : 0.0 sec. user=mdettweiler [2017-05-15 08:35:31] 915*2^1453943-1 is not prime. Res64: 9488BBA72084EC64 Time : 0.0 sec. user=mdettweiler [2017-05-15 08:35:31] 605*2^1453944-1 is not prime. Res64: 8F42DA4110B3EFAB Time : 0.0 sec. user=mdettweiler [2017-05-15 08:35:32] 803*2^1453944-1 is not prime. Res64: C0B8151D780CF33D Time : 0.0 sec. user=mdettweiler [2017-05-15 08:35:32] 825*2^1453944-1 is not prime. Res64: 75C4774044EAD213 Time : 0.0 sec. user=juhehe [2017-05-15 08:39:10] 651*2^1453946-1 is not prime. Res64: 24FBB14913AC2813 Time : 0.0 sec. user=mdettweiler [2017-05-15 08:39:56] 887*2^1453944-1 is not prime. Res64: 90DDCBA5126F9F4E Time : 0.0 sec. user=mdettweiler [2017-05-15 08:39:56] 915*2^1453944-1 is not prime. Res64: 9B01B9CE41EF5729 Time : 0.0 sec. user=mdettweiler [2017-05-15 08:39:56] 947*2^1453944-1 is not prime. Res64: 33030260D9FA8E92 Time : 0.0 sec. user=mdettweiler [2017-05-15 08:39:56] 983*2^1453944-1 is not prime. Res64: FE1719DB0E8714CF Time : 0.0 sec. user=mdettweiler [2017-05-15 08:39:57] 601*2^1453945-1 is not prime. Res64: BD5DFE6F8266688D Time : 0.0 sec. user=mdettweiler [2017-05-15 08:41:52] 729*2^1453945-1 is not prime. Res64: 4B32A1CE3B64D115 Time : 0.0 sec. user=mdettweiler [2017-05-15 08:41:52] 777*2^1453945-1 is not prime. Res64: 868B0EEA7C32BBB3 Time : 0.0 sec. user=mdettweiler [2017-05-15 08:41:53] 861*2^1453945-1 is not prime. Res64: 1942A38495BC4181 Time : 0.0 sec. user=mdettweiler [2017-05-15 08:41:53] 919*2^1453945-1 is not prime. Res64: 88F1BA8F613835A4 Time : 0.0 sec. user=mdettweiler [2017-05-15 08:41:54] 985*2^1453945-1 is not prime. Res64: 9A3300095727F27E Time : 0.0 sec. user=mdettweiler [2017-05-15 08:59:06] 675*2^1453946-1 is not prime. Res64: 2C8D1FD0E05D7DF8 Time : 0.0 sec. user=mdettweiler [2017-05-15 08:59:07] 701*2^1453946-1 is not prime. Res64: 83DDE62838437B7F Time : 0.0 sec. user=mdettweiler [2017-05-15 08:59:07] 713*2^1453946-1 is not prime. Res64: 849EBB67ED696E27 Time : 0.0 sec. user=mdettweiler [2017-05-15 08:59:07] 743*2^1453946-1 is not prime. Res64: A0C182F86A8BCE85 Time : 0.0 sec. user=mdettweiler [2017-05-15 08:59:07] 767*2^1453946-1 is not prime. Res64: 3430333A715A581E Time : 0.0 sec. user=mdettweiler [2017-05-15 09:23:36] 873*2^1453946-1 is not prime. Res64: 3CE74C57634CB9EB Time : 0.0 sec. user=mdettweiler [2017-05-15 09:23:36] 923*2^1453946-1 is not prime. Res64: FE7C5A1C81011FDD Time : 0.0 sec. user=mdettweiler [2017-05-15 09:23:36] 633*2^1453947-1 is not prime. Res64: C55CF4C7A779B771 Time : 0.0 sec. user=mdettweiler [2017-05-15 09:23:37] 709*2^1453947-1 is not prime. Res64: 191967B9828A5D46 Time : 0.0 sec. user=mdettweiler [2017-05-15 09:23:37] 871*2^1453947-1 is not prime. Res64: 4B40061C5217CDCF Time : 0.0 sec. user=mdettweiler [2017-05-15 09:27:59] 873*2^1453947-1 is not prime. Res64: A33781B5DE2687EA Time : 0.0 sec. user=mdettweiler [2017-05-15 09:28:00] 931*2^1453947-1 is not prime. Res64: 835E329799A3B63C Time : 0.0 sec. user=mdettweiler [2017-05-15 09:28:00] 735*2^1453948-1 is not prime. Res64: E662259C2AFAFDD1 Time : 0.0 sec. user=mdettweiler [2017-05-15 09:28:00] 803*2^1453948-1 is not prime. Res64: D5177532298A7FBE Time : 0.0 sec. user=mdettweiler [2017-05-15 09:28:01] 885*2^1453948-1 is not prime. Res64: 782D8AD883CB8020 Time : 0.0 sec. user=mdettweiler [2017-05-15 09:30:55] 929*2^1453948-1 is not prime. Res64: B0F8B5E0C12BAF3B Time : 0.0 sec. user=mdettweiler [2017-05-15 09:30:56] 615*2^1453949-1 is not prime. Res64: 6FA0931F1A6B6817 Time : 0.0 sec. user=mdettweiler [2017-05-15 09:30:57] 697*2^1453949-1 is not prime. Res64: 73A177BE91E2C1C0 Time : 0.0 sec. user=mdettweiler [2017-05-15 09:30:58] 747*2^1453949-1 is not prime. Res64: D4C48486BD74645C Time : 0.0 sec. user=mdettweiler [2017-05-15 09:30:59] 967*2^1453949-1 is not prime. Res64: 5F1B3A69A11627F9 Time : 0.0 sec. user=mdettweiler [2017-05-15 09:46:47] 985*2^1453949-1 is not prime. Res64: 778D83C647ED1DFD Time : 0.0 sec. user=mdettweiler [2017-05-15 09:46:48] 657*2^1453950-1 is not prime. Res64: 300D7DAE86924521 Time : 0.0 sec. user=mdettweiler [2017-05-15 09:46:48] 791*2^1453950-1 is not prime. Res64: FBE81C05149864E7 Time : 0.0 sec. user=mdettweiler [2017-05-15 09:46:48] 893*2^1453950-1 is not prime. Res64: F59C582866311AAE Time : 0.0 sec. user=mdettweiler [2017-05-15 09:46:49] 917*2^1453950-1 is not prime. Res64: DD9FC0E0B50F5A1D Time : 0.0 sec. user=mdettweiler [2017-05-15 10:11:20] 977*2^1453950-1 is not prime. Res64: B58E4A4ADA096376 Time : 0.0 sec. user=mdettweiler [2017-05-15 10:11:20] 855*2^1453951-1 is not prime. Res64: 73824C6099E32710 Time : 0.0 sec. user=mdettweiler [2017-05-15 10:11:21] 883*2^1453951-1 is not prime. Res64: 02E15EC372CE7E60 Time : 0.0 sec. user=mdettweiler [2017-05-15 10:11:21] 885*2^1453951-1 is not prime. Res64: CC4E3E09DCBA6F08 Time : 0.0 sec. user=mdettweiler [2017-05-15 10:11:22] 889*2^1453951-1 is not prime. Res64: 7D818AF4EA86992A Time : 0.0 sec. user=mdettweiler [2017-05-15 10:15:34] 993*2^1453951-1 is not prime. Res64: 981233B6CF6DC76C Time : 0.0 sec. user=mdettweiler [2017-05-15 10:15:35] 609*2^1453952-1 is not prime. Res64: F71C9E0AD1B4131F Time : 0.0 sec. user=mdettweiler [2017-05-15 10:15:35] 699*2^1453952-1 is not prime. Res64: 36F47343D0FFF5D1 Time : 0.0 sec. user=mdettweiler [2017-05-15 10:15:35] 719*2^1453952-1 is not prime. Res64: E8D311D376E2F652 Time : 0.0 sec. user=mdettweiler [2017-05-15 10:15:36] 855*2^1453952-1 is not prime. Res64: 8939DF64F3D07820 Time : 0.0 sec. user=mdettweiler [2017-05-15 10:18:32] 983*2^1453952-1 is not prime. Res64: 9684F1C874E20620 Time : 0.0 sec. user=mdettweiler [2017-05-15 10:18:32] 627*2^1453953-1 is not prime. Res64: F6A50DC2A6DE83B2 Time : 0.0 sec. user=mdettweiler [2017-05-15 10:18:33] 759*2^1453953-1 is not prime. Res64: 75163C7ADF000216 Time : 0.0 sec. user=mdettweiler [2017-05-15 10:18:33] 885*2^1453953-1 is not prime. Res64: 5FD99653217DBE51 Time : 0.0 sec. user=mdettweiler [2017-05-15 10:18:33] 651*2^1453954-1 is not prime. Res64: 6F89FD8A5D635985 Time : 0.0 sec. user=mdettweiler [2017-05-15 10:34:14] 657*2^1453954-1 is not prime. Res64: 08CEE834B60D31D3 Time : 0.0 sec. user=mdettweiler [2017-05-15 10:34:14] 783*2^1453954-1 is not prime. Res64: 9B8E7FB88FA9EC10 Time : 0.0 sec. user=mdettweiler [2017-05-15 10:34:14] 891*2^1453954-1 is not prime. Res64: 5BECB91F8A5ECDD1 Time : 0.0 sec. user=mdettweiler [2017-05-15 10:34:14] 915*2^1453954-1 is not prime. Res64: 82774E689B0F0EFF Time : 0.0 sec. user=mdettweiler [2017-05-15 10:34:15] 609*2^1453955-1 is not prime. Res64: 27305200342A1534 Time : 0.0 sec. user=juhehe [2017-05-15 10:36:27] 771*2^1453955-1 is not prime. Res64: 8FEEFEB51AF1E1DA Time : 0.0 sec. user=mdettweiler [2017-05-15 10:58:50] 805*2^1453955-1 is not prime. Res64: 4ED802B13FABF3FB Time : 0.0 sec. user=mdettweiler [2017-05-15 10:58:51] 841*2^1453955-1 is not prime. Res64: B814A2E1217BB7FC Time : 0.0 sec. user=mdettweiler [2017-05-15 10:58:51] 705*2^1453956-1 is not prime. Res64: 5E10066BA5EB5093 Time : 0.0 sec. user=mdettweiler [2017-05-15 10:58:51] 723*2^1453956-1 is not prime. Res64: 3C2EAE8080736178 Time : 0.0 sec. user=mdettweiler [2017-05-15 10:58:51] 777*2^1453956-1 is not prime. Res64: FBE5276256F966ED Time : 0.0 sec. user=mdettweiler [2017-05-15 11:03:24] 651*2^1453957-1 is not prime. Res64: 9586CDDE59BF318F Time : 0.0 sec. user=mdettweiler [2017-05-15 11:03:27] 829*2^1453957-1 is not prime. Res64: 8C0E189846E1AB1F Time : 0.0 sec. user=mdettweiler [2017-05-15 11:03:29] 867*2^1453957-1 is not prime. Res64: 4CE73AA4B216740C Time : 0.0 sec. user=mdettweiler [2017-05-15 11:03:30] 939*2^1453957-1 is not prime. Res64: DE7236883C8806B8 Time : 0.0 sec. user=mdettweiler [2017-05-15 11:03:32] 955*2^1453957-1 is not prime. Res64: 06C7530419550E34 Time : 0.0 sec. user=mdettweiler [2017-05-15 11:06:19] 635*2^1453958-1 is not prime. Res64: 33CED471DD5C17A9 Time : 0.0 sec. user=mdettweiler [2017-05-15 11:06:20] 651*2^1453958-1 is not prime. Res64: 5BEB4E1D381C3559 Time : 0.0 sec. user=mdettweiler [2017-05-15 11:06:21] 683*2^1453958-1 is not prime. Res64: 4DF36C81BC13E8A3 Time : 0.0 sec. user=mdettweiler [2017-05-15 11:06:22] 687*2^1453958-1 is not prime. Res64: 08EC4C4476B017D3 Time : 0.0 sec. user=mdettweiler [2017-05-15 11:06:22] 755*2^1453958-1 is not prime. Res64: 37C86C7CC350CA93 Time : 0.0 sec. user=mdettweiler [2017-05-15 11:21:46] 813*2^1453958-1 is not prime. Res64: 7559EB4085ABB60B Time : 0.0 sec. user=mdettweiler [2017-05-15 11:21:47] 911*2^1453958-1 is not prime. Res64: CC906CCF670D17AF Time : 0.0 sec. user=mdettweiler [2017-05-15 11:21:47] 935*2^1453958-1 is not prime. Res64: 98D6807842F7A2C1 Time : 0.0 sec. user=mdettweiler [2017-05-15 11:21:48] 995*2^1453958-1 is not prime. Res64: F1D77B0AFCDACDEA Time : 0.0 sec. user=mdettweiler [2017-05-15 11:21:48] 663*2^1453959-1 is not prime. Res64: 3DC4F130CB00462A Time : 0.0 sec. user=mdettweiler [2017-05-15 11:46:30] 691*2^1453959-1 is not prime. Res64: 64875A69ABF6BFDA Time : 0.0 sec. user=mdettweiler [2017-05-15 11:46:30] 895*2^1453959-1 is not prime. Res64: FFDC2E941BD468FA Time : 0.0 sec. user=mdettweiler [2017-05-15 11:46:31] 913*2^1453959-1 is not prime. Res64: 792FEC71303D1CA1 Time : 0.0 sec. user=mdettweiler [2017-05-15 11:46:31] 943*2^1453959-1 is not prime. Res64: 083E64F267EB51D9 Time : 0.0 sec. user=mdettweiler [2017-05-15 11:46:32] 827*2^1453960-1 is not prime. Res64: F3E29739062F0A3D Time : 0.0 sec. user=mdettweiler [2017-05-15 11:51:52] 839*2^1453960-1 is not prime. Res64: 4DC6F75FA3729052 Time : 0.0 sec. user=mdettweiler [2017-05-15 11:51:53] 843*2^1453960-1 is not prime. Res64: 1FF41B936EBE3C35 Time : 0.0 sec. user=mdettweiler [2017-05-15 11:51:53] 873*2^1453960-1 is not prime. Res64: 083FADBE83EE3661 Time : 0.0 sec. user=mdettweiler [2017-05-15 11:51:54] 875*2^1453960-1 is not prime. Res64: 76BFD96D44F82543 Time : 0.0 sec. user=mdettweiler [2017-05-15 11:51:54] 975*2^1453960-1 is not prime. Res64: A558383DF41C3066 Time : 0.0 sec. user=mdettweiler [2017-05-15 11:54:20] 607*2^1453961-1 is not prime. Res64: AB137137003512C1 Time : 0.0 sec. user=mdettweiler [2017-05-15 11:54:20] 627*2^1453961-1 is not prime. Res64: 95177390AA1C9B63 Time : 0.0 sec. user=mdettweiler [2017-05-15 11:54:21] 657*2^1453961-1 is not prime. Res64: 6DDD827BA958835A Time : 0.0 sec. user=mdettweiler [2017-05-15 11:54:21] 745*2^1453961-1 is not prime. Res64: 3FCF15B116103972 Time : 0.0 sec. user=mdettweiler [2017-05-15 11:54:21] 811*2^1453961-1 is not prime. Res64: D75145D3C818B889 Time : 0.0 sec. user=mdettweiler [2017-05-15 12:09:51] 855*2^1453961-1 is not prime. Res64: CD783CB223E8312D Time : 0.0 sec. user=mdettweiler [2017-05-15 12:09:52] 901*2^1453961-1 is not prime. Res64: FB70124C25B05B27 Time : 0.0 sec. user=mdettweiler [2017-05-15 12:09:52] 937*2^1453961-1 is not prime. Res64: 03E9CEAC02E2F2D7 Time : 0.0 sec. user=mdettweiler [2017-05-15 12:09:52] 997*2^1453961-1 is not prime. Res64: 2AE7D449EF39F7D5 Time : 0.0 sec. user=mdettweiler [2017-05-15 12:09:53] 635*2^1453962-1 is not prime. Res64: CEE4EEC8A79FAA04 Time : 0.0 sec. user=juhehe [2017-05-15 12:33:43] 665*2^1453964-1 is not prime. Res64: 88F34F9649891A5E Time : 0.0 sec. user=mdettweiler [2017-05-15 12:34:33] 671*2^1453962-1 is not prime. Res64: C86758CA73DAE823 Time : 0.0 sec. user=mdettweiler [2017-05-15 12:34:34] 801*2^1453962-1 is not prime. Res64: BA4FD4F23001A7C4 Time : 0.0 sec. user=mdettweiler [2017-05-15 12:34:34] 951*2^1453962-1 is not prime. Res64: EFE163F29514EE78 Time : 0.0 sec. user=mdettweiler [2017-05-15 12:34:34] 633*2^1453963-1 is not prime. Res64: CA26FEA4B82893D9 Time : 0.0 sec. user=mdettweiler [2017-05-15 12:34:34] 699*2^1453963-1 is not prime. Res64: D9676E4D5F7FC569 Time : 0.0 sec. user=mdettweiler [2017-05-15 12:39:43] 745*2^1453963-1 is not prime. Res64: DD7199878998F662 Time : 0.0 sec. user=mdettweiler [2017-05-15 12:39:43] 765*2^1453963-1 is not prime. Res64: F3C28490797EECD8 Time : 0.0 sec. user=mdettweiler [2017-05-15 12:39:43] 783*2^1453963-1 is not prime. Res64: F8B05856073687FA Time : 0.0 sec. user=mdettweiler [2017-05-15 12:39:43] 789*2^1453963-1 is not prime. Res64: EE18A33FFFC19ED6 Time : 0.0 sec. user=mdettweiler [2017-05-15 12:39:44] 871*2^1453963-1 is not prime. Res64: E59A1273AD093FA7 Time : 0.0 sec. user=mdettweiler [2017-05-15 12:42:18] 885*2^1453963-1 is not prime. Res64: F57F6AD8A70DDDCF Time : 0.0 sec. user=mdettweiler [2017-05-15 12:42:19] 895*2^1453963-1 is not prime. Res64: F843F1A075C95E62 Time : 0.0 sec. user=mdettweiler [2017-05-15 12:42:19] 901*2^1453963-1 is not prime. Res64: 11C3E2ABB6EBA6C7 Time : 0.0 sec. user=mdettweiler [2017-05-15 12:42:19] 913*2^1453963-1 is not prime. Res64: 69636FD27E144137 Time : 0.0 sec. user=mdettweiler [2017-05-15 12:42:20] 615*2^1453964-1 is not prime. Res64: 5700B1691067322C Time : 0.0 sec. user=mdettweiler [2017-05-15 12:57:36] 707*2^1453964-1 is not prime. Res64: 2F78FF8B70A65A59 Time : 0.0 sec. user=mdettweiler [2017-05-15 12:57:37] 773*2^1453964-1 is not prime. Res64: D2062E99D79C5878 Time : 0.0 sec. user=mdettweiler [2017-05-15 12:57:37] 843*2^1453964-1 is not prime. Res64: 1E241C38882919B2 Time : 0.0 sec. user=mdettweiler [2017-05-15 12:57:38] 995*2^1453964-1 is not prime. Res64: F2266270DBE58D32 Time : 0.0 sec. user=mdettweiler [2017-05-15 12:57:38] 649*2^1453965-1 is not prime. Res64: 7D30414E529BBBA0 Time : 0.0 sec. user=mdettweiler [2017-05-15 13:21:34] 657*2^1453965-1 is not prime. Res64: 6FF13532232AE70A Time : 0.0 sec. user=mdettweiler [2017-05-15 13:21:35] 777*2^1453965-1 is not prime. Res64: 10946A961E678045 Time : 0.0 sec. user=mdettweiler [2017-05-15 13:21:35] 781*2^1453965-1 is not prime. Res64: 092065636B6A1AB6 Time : 0.0 sec. user=mdettweiler [2017-05-15 13:21:35] 795*2^1453965-1 is not prime. Res64: 6EF717FDD91AC946 Time : 0.0 sec. user=mdettweiler [2017-05-15 13:21:36] 927*2^1453965-1 is not prime. Res64: DB6AB299D49351A4 Time : 0.0 sec. user=mdettweiler [2017-05-15 13:26:46] 937*2^1453965-1 is not prime. Res64: 2A25EA6E8817663E Time : 0.0 sec. user=mdettweiler [2017-05-15 13:26:47] 951*2^1453965-1 is not prime. Res64: 5C00A27B07DD8C96 Time : 0.0 sec. user=mdettweiler [2017-05-15 13:26:47] 991*2^1453965-1 is not prime. Res64: 760F42D49224CFA5 Time : 0.0 sec. user=mdettweiler [2017-05-15 13:26:48] 611*2^1453966-1 is not prime. Res64: D8CD3E1145791AA2 Time : 0.0 sec. user=mdettweiler [2017-05-15 13:26:48] 617*2^1453966-1 is not prime. Res64: 65D2A7634E7B8FBF Time : 0.0 sec. user=mdettweiler [2017-05-15 13:29:20] 723*2^1453966-1 is not prime. Res64: 865568268C369752 Time : 0.0 sec. user=mdettweiler [2017-05-15 13:29:20] 843*2^1453966-1 is not prime. Res64: 754A6289CBC6A25C Time : 0.0 sec. user=mdettweiler [2017-05-15 13:29:20] 917*2^1453966-1 is not prime. Res64: 49090D150BDFDDE8 Time : 0.0 sec. user=mdettweiler [2017-05-15 13:29:20] 983*2^1453966-1 is not prime. Res64: C4AC0CFF90FCB669 Time : 0.0 sec. user=mdettweiler [2017-05-15 13:29:21] 741*2^1453967-1 is not prime. Res64: B1F4C4BFEACA981B Time : 0.0 sec. user=mdettweiler [2017-05-15 13:44:14] 859*2^1453967-1 is not prime. Res64: BB5B48BB6375B9AD Time : 0.0 sec. user=mdettweiler [2017-05-15 13:44:14] 861*2^1453967-1 is not prime. Res64: 796DCF86750CCCC3 Time : 0.0 sec. user=mdettweiler [2017-05-15 13:44:15] 883*2^1453967-1 is not prime. Res64: 4E6762B7DDECB193 Time : 0.0 sec. user=mdettweiler [2017-05-15 13:44:15] 955*2^1453967-1 is not prime. Res64: 4691905E3BD44561 Time : 0.0 sec. user=mdettweiler [2017-05-15 13:44:16] 839*2^1453968-1 is not prime. Res64: 977D3D2FD8B9E140 Time : 0.0 sec. user=mdettweiler [2017-05-15 14:08:41] 923*2^1453968-1 is not prime. Res64: 0365A51C7FBFD074 Time : 0.0 sec. user=mdettweiler [2017-05-15 14:08:41] 935*2^1453968-1 is not prime. Res64: 2C4AAD5E2C441266 Time : 0.0 sec. user=mdettweiler [2017-05-15 14:08:41] 969*2^1453968-1 is not prime. Res64: CB509A65F16D00FC Time : 0.0 sec. user=mdettweiler [2017-05-15 14:08:42] 615*2^1453969-1 is not prime. Res64: 3A08D25832AEE966 Time : 0.0 sec. user=mdettweiler [2017-05-15 14:08:42] 769*2^1453969-1 is not prime. Res64: 65113C77D9C506C8 Time : 0.0 sec. user=mdettweiler [2017-05-15 14:14:23] 801*2^1453969-1 is not prime. Res64: E87C43AA4AE8033B Time : 0.0 sec. user=mdettweiler [2017-05-15 14:14:23] 855*2^1453969-1 is not prime. Res64: 401C7D32AD5CC7EB Time : 0.0 sec. user=mdettweiler [2017-05-15 14:14:24] 931*2^1453969-1 is not prime. Res64: 4BAB596B76574CF1 Time : 0.0 sec. user=mdettweiler [2017-05-15 14:14:24] 951*2^1453969-1 is not prime. Res64: 7D424F1FC33ACFFB Time : 0.0 sec. user=mdettweiler [2017-05-15 14:14:24] 767*2^1453970-1 is not prime. Res64: B8409E0C3DD48AFD Time : 0.0 sec. user=mdettweiler [2017-05-15 14:17:07] 915*2^1453970-1 is not prime. Res64: ADFF588EE8723DC2 Time : 0.0 sec. user=mdettweiler [2017-05-15 14:17:08] 971*2^1453970-1 is not prime. Res64: 0EE0739C7F02388A Time : 0.0 sec. user=mdettweiler [2017-05-15 14:17:08] 609*2^1453971-1 is not prime. Res64: BD3EA7AFF6684720 Time : 0.0 sec. user=mdettweiler [2017-05-15 14:17:08] 685*2^1453971-1 is not prime. Res64: BA460C6D46B964F6 Time : 0.0 sec. user=mdettweiler [2017-05-15 14:17:08] 775*2^1453971-1 is not prime. Res64: BF2F50251E14FA4F Time : 0.0 sec. user=juhehe [2017-05-15 14:31:01] 735*2^1453972-1 is not prime. Res64: FBA34C16D2BC36F9 Time : 0.0 sec. user=mdettweiler [2017-05-15 14:32:40] 783*2^1453971-1 is not prime. Res64: A2A98461464E7DDA Time : 0.0 sec. user=mdettweiler [2017-05-15 14:32:40] 835*2^1453971-1 is not prime. Res64: DD15C1BD3221A1CC Time : 0.0 sec. user=mdettweiler [2017-05-15 14:32:40] 873*2^1453971-1 is not prime. Res64: 8D5DF888010A6D16 Time : 0.0 sec. user=mdettweiler [2017-05-15 14:32:40] 975*2^1453971-1 is not prime. Res64: 30838843138DD70F Time : 0.0 sec. user=mdettweiler [2017-05-15 14:32:41] 635*2^1453972-1 is not prime. Res64: 81792802F671E405 Time : 0.0 sec. user=mdettweiler [2017-05-15 14:58:16] 833*2^1453972-1 is not prime. Res64: FFF742C796BE0431 Time : 0.0 sec. user=mdettweiler [2017-05-15 14:58:17] 933*2^1453972-1 is not prime. Res64: 2CB4C2F83A9643EF Time : 0.0 sec. user=mdettweiler [2017-05-15 14:58:17] 987*2^1453972-1 is not prime. Res64: 4E6A0CDB63617CC7 Time : 0.0 sec. user=mdettweiler [2017-05-15 14:58:17] 621*2^1453973-1 is not prime. Res64: 62865A31ADFFB73A Time : 0.0 sec. user=mdettweiler [2017-05-15 14:58:18] 729*2^1453973-1 is not prime. Res64: D39920A0BE960EC0 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:02:57] 787*2^1453973-1 is not prime. Res64: A643C0DAB148AE4F Time : 0.0 sec. user=mdettweiler [2017-05-15 15:02:59] 987*2^1453973-1 is not prime. Res64: 5003EE41EA26DFD6 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:03:00] 605*2^1453974-1 is not prime. Res64: 12A1DFE4B70BF83C Time : 0.0 sec. user=mdettweiler [2017-05-15 15:03:01] 717*2^1453974-1 is not prime. Res64: 96A9DBFCB85C1B32 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:03:02] 791*2^1453974-1 is not prime. Res64: 839FA3BC91602CB1 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:06:14] 797*2^1453974-1 is not prime. Res64: AFF6E1046CA2FEE2 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:06:14] 873*2^1453974-1 is not prime. Res64: FEAC088494BE65EF Time : 0.0 sec. user=mdettweiler [2017-05-15 15:06:15] 881*2^1453974-1 is not prime. Res64: 4F22DD27B8174EED Time : 0.0 sec. user=mdettweiler [2017-05-15 15:06:16] 887*2^1453974-1 is not prime. Res64: AE593137F82025CD Time : 0.0 sec. user=mdettweiler [2017-05-15 15:06:16] 947*2^1453974-1 is not prime. Res64: 3A060EF0C340BEC9 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:20:31] 735*2^1453975-1 is not prime. Res64: CA3C92B1BF10C1F2 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:20:32] 763*2^1453975-1 is not prime. Res64: C841EDEA13D5DC1D Time : 0.0 sec. user=mdettweiler [2017-05-15 15:20:32] 617*2^1453976-1 is not prime. Res64: 67A1B9FCCA04C653 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:20:32] 735*2^1453976-1 is not prime. Res64: 3C912791688C4D49 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:20:33] 773*2^1453976-1 is not prime. Res64: 6084F57B47ABC474 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:44:35] 825*2^1453976-1 is not prime. Res64: 28477A402901C334 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:44:35] 839*2^1453976-1 is not prime. Res64: A7FEB6344675D1F5 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:44:35] 935*2^1453976-1 is not prime. Res64: C28CE808B1B01A23 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:44:35] 963*2^1453976-1 is not prime. Res64: EF0641A728C706D8 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:44:36] 983*2^1453976-1 is not prime. Res64: 275E181C1A60D53B Time : 0.0 sec. user=mdettweiler [2017-05-15 15:49:40] 627*2^1453977-1 is not prime. Res64: 2AA1085323ADD155 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:49:40] 717*2^1453977-1 is not prime. Res64: 366197941B31F076 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:49:41] 807*2^1453977-1 is not prime. Res64: 9057D6E3B7509539 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:49:41] 901*2^1453977-1 is not prime. Res64: 4FBA7A6F192F5B96 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:49:41] 657*2^1453978-1 is not prime. Res64: 2D080DD6C1012F12 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:52:22] 723*2^1453978-1 is not prime. Res64: 0B0D497336DE5690 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:52:22] 773*2^1453978-1 is not prime. Res64: C707F6E228914E04 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:52:23] 791*2^1453978-1 is not prime. Res64: 9A8A04A97C2AE5CC Time : 0.0 sec. user=mdettweiler [2017-05-15 15:52:23] 915*2^1453978-1 is not prime. Res64: 6ED4E91B6AD2D636 Time : 0.0 sec. user=mdettweiler [2017-05-15 15:52:23] 941*2^1453978-1 is not prime. Res64: 8105F59E8D275129 Time : 0.0 sec. user=mdettweiler [2017-05-15 16:06:39] 643*2^1453979-1 is not prime. Res64: 37CD4A777D24C7D5 Time : 0.0 sec. user=mdettweiler [2017-05-15 16:06:39] 733*2^1453979-1 is not prime. Res64: E4F6696E7D5BB8A8 Time : 0.0 sec. user=mdettweiler [2017-05-15 16:06:40] 813*2^1453979-1 is not prime. Res64: 931522B9C3809A6A Time : 0.0 sec. user=mdettweiler [2017-05-15 16:06:40] 885*2^1453979-1 is not prime. Res64: A1D8F4EA0DFF0350 Time : 0.0 sec. user=mdettweiler [2017-05-15 16:06:41] 909*2^1453979-1 is not prime. Res64: D52522FF62D53BC0 Time : 0.0 sec. user=juhehe [2017-05-15 16:28:14] 657*2^1453982-1 is not prime. Res64: 382911B61936B4EC Time : 0.0 sec. user=mdettweiler [2017-05-15 16:31:26] 695*2^1453980-1 is not prime. Res64: BBD156CF6C91B171 Time : 0.0 sec. user=mdettweiler [2017-05-15 16:31:26] 819*2^1453980-1 is not prime. Res64: 4C0DA9BF64D9F63C Time : 0.0 sec. user=mdettweiler [2017-05-15 16:31:27] 927*2^1453980-1 is not prime. Res64: F356D1C67C9D4067 Time : 0.0 sec. user=mdettweiler [2017-05-15 16:31:27] 945*2^1453980-1 is not prime. Res64: BEED61F82E6B6A79 Time : 0.0 sec. user=mdettweiler [2017-05-15 16:31:28] 959*2^1453980-1 is not prime. Res64: 436B148C3D19F11B Time : 0.0 sec. user=mdettweiler [2017-05-15 16:36:35] 615*2^1453981-1 is not prime. Res64: D623F7FF29413A8D Time : 0.0 sec. user=mdettweiler [2017-05-15 16:36:36] 747*2^1453981-1 is not prime. Res64: B9BE34C84067F109 Time : 0.0 sec. user=mdettweiler [2017-05-15 16:36:36] 867*2^1453981-1 is not prime. Res64: 0FCF59787265085F Time : 0.0 sec. user=mdettweiler [2017-05-15 16:36:37] 877*2^1453981-1 is not prime. Res64: A279B92639EAA2BC Time : 0.0 sec. user=mdettweiler [2017-05-15 16:36:37] 979*2^1453981-1 is not prime. Res64: 40B6403588937A3B Time : 0.0 sec. user=mdettweiler [2017-05-15 16:39:15] 675*2^1453982-1 is not prime. Res64: 8B9CED5740988A23 Time : 0.0 sec. user=mdettweiler [2017-05-15 16:39:15] 683*2^1453982-1 is not prime. Res64: 6D8D346D4B06293A Time : 0.0 sec. user=mdettweiler [2017-05-15 16:39:15] 813*2^1453982-1 is not prime. Res64: 8B98E130184F34DD Time : 0.0 sec. user=mdettweiler [2017-05-15 16:39:16] 825*2^1453982-1 is not prime. Res64: 29F55368FB524E54 Time : 0.0 sec. user=mdettweiler [2017-05-15 16:39:16] 941*2^1453982-1 is not prime. Res64: 61BF253F66CC517A Time : 0.0 sec. user=mdettweiler [2017-05-15 16:53:44] 963*2^1453982-1 is not prime. Res64: C75EA02445BDCB65 Time : 0.0 sec. user=mdettweiler [2017-05-15 16:53:44] 643*2^1453983-1 is not prime. Res64: A02D15AA5FC32E2F Time : 0.0 sec. user=mdettweiler [2017-05-15 16:53:44] 649*2^1453983-1 is not prime. Res64: 05EF8334C6915A93 Time : 0.0 sec. user=mdettweiler [2017-05-15 16:53:45] 661*2^1453983-1 is not prime. Res64: 77CE0E670B7EB2DE Time : 0.0 sec. user=mdettweiler [2017-05-15 16:53:45] 709*2^1453983-1 is not prime. Res64: 0A8F52B452AD4ACA Time : 0.0 sec. user=mdettweiler [2017-05-15 17:17:43] 741*2^1453983-1 is not prime. Res64: D80C2D24AA0E4BAE Time : 0.0 sec. user=mdettweiler [2017-05-15 17:17:44] 871*2^1453983-1 is not prime. Res64: 9533A43D2312D861 Time : 0.0 sec. user=mdettweiler [2017-05-15 17:17:44] 665*2^1453984-1 is not prime. Res64: 8384B8E3DCE9203E Time : 0.0 sec. user=mdettweiler [2017-05-15 17:17:45] 675*2^1453984-1 is not prime. Res64: 12F5B7102178F8CB Time : 0.0 sec. user=mdettweiler [2017-05-15 17:17:45] 677*2^1453984-1 is not prime. Res64: C87090D87837E169 Time : 0.0 sec. user=mdettweiler [2017-05-15 17:22:44] 869*2^1453984-1 is not prime. Res64: D3E4B22F80B9F84C Time : 0.0 sec. user=mdettweiler [2017-05-15 17:22:44] 903*2^1453984-1 is not prime. Res64: 2D6658C7CDEA4D8F Time : 0.0 sec. user=mdettweiler [2017-05-15 17:22:45] 969*2^1453984-1 is not prime. Res64: C8FC0DAF8779DDE7 Time : 0.0 sec. user=mdettweiler [2017-05-15 17:22:45] 601*2^1453985-1 is not prime. Res64: 9051250A4D90A0CE Time : 0.0 sec. user=mdettweiler [2017-05-15 17:22:45] 607*2^1453985-1 is not prime. Res64: 037DF57CA214357B Time : 0.0 sec. user=mdettweiler [2017-05-15 17:25:39] 727*2^1453985-1 is not prime. Res64: 9CAD842611439A5D Time : 0.0 sec. user=mdettweiler [2017-05-15 17:25:40] 729*2^1453985-1 is not prime. Res64: D402A036CEC9D326 Time : 0.0 sec. user=mdettweiler [2017-05-15 17:25:40] 799*2^1453985-1 is not prime. Res64: 55E375CA3717E539 Time : 0.0 sec. user=mdettweiler [2017-05-15 17:25:40] 861*2^1453985-1 is not prime. Res64: BDF158658B5381F5 Time : 0.0 sec. user=mdettweiler [2017-05-15 17:25:41] 889*2^1453985-1 is not prime. Res64: 390BC95AEC1EB74B Time : 0.0 sec. user=mdettweiler [2017-05-15 17:40:00] 897*2^1453985-1 is not prime. Res64: 9A36BA0254A97956 Time : 0.0 sec. user=mdettweiler [2017-05-15 17:40:00] 735*2^1453986-1 is not prime. Res64: 8C9AF47B499DF697 Time : 0.0 sec. user=mdettweiler [2017-05-15 17:40:00] 873*2^1453986-1 is not prime. Res64: A794AC96E0147327 Time : 0.0 sec. user=mdettweiler [2017-05-15 17:40:01] 905*2^1453986-1 is not prime. Res64: E4095B9A5E413107 Time : 0.0 sec. user=mdettweiler [2017-05-15 17:40:01] 933*2^1453986-1 is not prime. Res64: 840498D4C097806E Time : 0.0 sec. user=mdettweiler [2017-05-15 18:03:43] 941*2^1453986-1 is not prime. Res64: 492696BBCAB9DEBC Time : 0.0 sec. user=mdettweiler [2017-05-15 18:03:44] 619*2^1453987-1 is not prime. Res64: 6F011EA522901CAF Time : 0.0 sec. user=mdettweiler [2017-05-15 18:03:46] 663*2^1453987-1 is not prime. Res64: D44C4D71624FF1A6 Time : 0.0 sec. user=mdettweiler [2017-05-15 18:03:47] 685*2^1453987-1 is not prime. Res64: AF6B9DCBAF28EC7F Time : 0.0 sec. user=mdettweiler [2017-05-15 18:03:48] 805*2^1453987-1 is not prime. Res64: A9DFFC1A896A9A34 Time : 0.0 sec. user=mdettweiler [2017-05-15 18:08:51] 843*2^1453987-1 is not prime. Res64: 4DF04908BFAE624B Time : 0.0 sec. user=mdettweiler [2017-05-15 18:08:52] 665*2^1453988-1 is not prime. Res64: ED8B782483DB17E7 Time : 0.0 sec. user=mdettweiler [2017-05-15 18:08:52] 677*2^1453988-1 is not prime. Res64: BC98DF667C714235 Time : 0.0 sec. user=mdettweiler [2017-05-15 18:08:53] 753*2^1453988-1 is not prime. Res64: 57E5C3721A8FEC6F Time : 0.0 sec. user=mdettweiler [2017-05-15 18:08:53] 777*2^1453988-1 is not prime. Res64: D4F4CCB167944CDC Time : 0.0 sec. user=mdettweiler [2017-05-15 18:11:44] 795*2^1453988-1 is not prime. Res64: 7720568749E135AC Time : 0.0 sec. user=mdettweiler [2017-05-15 18:11:44] 959*2^1453988-1 is not prime. Res64: 566BCC13CDB83798 Time : 0.0 sec. user=mdettweiler [2017-05-15 18:11:45] 667*2^1453989-1 is not prime. Res64: 90D382C2A1186232 Time : 0.0 sec. user=mdettweiler [2017-05-15 18:11:45] 681*2^1453989-1 is not prime. Res64: 291F229637C64668 Time : 0.0 sec. user=mdettweiler [2017-05-15 18:11:45] 769*2^1453989-1 is not prime. Res64: 53C6685406561915 Time : 0.0 sec. user=juhehe [2017-05-15 18:25:26] 603*2^1453991-1 is not prime. Res64: BBCAC78FCBF54D26 Time : 0.0 sec. user=mdettweiler [2017-05-15 18:25:59] 835*2^1453989-1 is not prime. Res64: 21425CFB5C2819F0 Time : 0.0 sec. user=mdettweiler [2017-05-15 18:25:59] 961*2^1453989-1 is not prime. Res64: 64E32CBB06DF135D Time : 0.0 sec. user=mdettweiler [2017-05-15 18:26:00] 885*2^1453990-1 is not prime. Res64: 9EBD44447578A65F Time : 0.0 sec. user=mdettweiler [2017-05-15 18:26:00] 917*2^1453990-1 is not prime. Res64: BAFB94393585BCC4 Time : 0.0 sec. user=mdettweiler [2017-05-15 18:26:00] 965*2^1453990-1 is not prime. Res64: 2051242D932295FF Time : 0.0 sec. user=mdettweiler [2017-05-15 18:50:10] 609*2^1453991-1 is not prime. Res64: 7E95F9A899A2C7AE Time : 0.0 sec. user=mdettweiler [2017-05-15 18:50:10] 703*2^1453991-1 is not prime. Res64: 6E4EC7A962F2BB80 Time : 0.0 sec. user=mdettweiler [2017-05-15 18:50:11] 745*2^1453991-1 is not prime. Res64: 0E17F84004C6F0D8 Time : 0.0 sec. user=mdettweiler [2017-05-15 18:50:11] 823*2^1453991-1 is not prime. Res64: 7C5551846750A358 Time : 0.0 sec. user=mdettweiler [2017-05-15 18:50:11] 981*2^1453991-1 is not prime. Res64: 77D558E80700F51F Time : 0.0 sec. user=mdettweiler [2017-05-15 18:54:59] 999*2^1453991-1 is not prime. Res64: 6BE3A0268B436290 Time : 0.0 sec. user=mdettweiler [2017-05-15 18:54:59] 629*2^1453992-1 is not prime. Res64: 2DFAFF6396439723 Time : 0.0 sec. user=mdettweiler [2017-05-15 18:54:59] 653*2^1453992-1 is not prime. Res64: 8E749D728DD50CEF Time : 0.0 sec. user=mdettweiler [2017-05-15 18:54:59] 723*2^1453992-1 is not prime. Res64: 4016E99DC0B7AA9A Time : 0.0 sec. user=mdettweiler [2017-05-15 18:55:00] 797*2^1453992-1 is not prime. Res64: A6C69A9741A9BF87 Time : 0.0 sec. user=mdettweiler [2017-05-15 18:57:48] 815*2^1453992-1 is not prime. Res64: 8246774C11D35871 Time : 0.0 sec. user=mdettweiler [2017-05-15 18:57:48] 959*2^1453992-1 is not prime. Res64: D8D4EE12C84E0BED Time : 0.0 sec. user=mdettweiler [2017-05-15 18:57:49] 691*2^1453993-1 is not prime. Res64: 5FD2A66468940FF1 Time : 0.0 sec. user=mdettweiler [2017-05-15 18:57:49] 605*2^1453994-1 is not prime. Res64: E5E15FF75CBA27D2 Time : 0.0 sec. user=mdettweiler [2017-05-15 18:57:50] 623*2^1453994-1 is not prime. Res64: 856B5DB3C578C758 Time : 0.0 sec. user=mdettweiler [2017-05-15 19:12:10] 677*2^1453994-1 is not prime. Res64: 5E80E87D04B992BB Time : 0.0 sec. user=mdettweiler [2017-05-15 19:12:10] 851*2^1453994-1 is not prime. Res64: 66D2A2E13A1678C9 Time : 0.0 sec. user=mdettweiler [2017-05-15 19:12:11] 887*2^1453994-1 is not prime. Res64: 12F5D6903CA03E75 Time : 0.0 sec. user=mdettweiler [2017-05-15 19:12:11] 917*2^1453994-1 is not prime. Res64: 044A4290E245D010 Time : 0.0 sec. user=mdettweiler [2017-05-15 19:12:12] 909*2^1453995-1 is not prime. Res64: DFD9A2A4C0775077 Time : 0.0 sec. user=mdettweiler [2017-05-15 19:38:54] 963*2^1453995-1 is not prime. Res64: BE27F686773A614E Time : 0.0 sec. user=mdettweiler [2017-05-15 19:38:54] 623*2^1453996-1 is not prime. Res64: DFC8C29DD30E98D2 Time : 0.0 sec. user=mdettweiler [2017-05-15 19:38:55] 749*2^1453996-1 is not prime. Res64: AD0F2C1D475F270D Time : 0.0 sec. user=mdettweiler [2017-05-15 19:38:55] 803*2^1453996-1 is not prime. Res64: 482FF47FF085496F Time : 0.0 sec. user=mdettweiler [2017-05-15 19:38:55] 927*2^1453996-1 is not prime. Res64: 4476A62A6C9AD77A Time : 0.0 sec. user=mdettweiler [2017-05-15 19:44:42] 987*2^1453996-1 is not prime. Res64: ABE21EE8C83B044F Time : 0.0 sec. user=mdettweiler [2017-05-15 19:44:42] 691*2^1453997-1 is not prime. Res64: E90D08DF50048741 Time : 0.0 sec. user=mdettweiler [2017-05-15 19:44:42] 759*2^1453997-1 is not prime. Res64: E149872BBEF71EB8 Time : 0.0 sec. user=mdettweiler [2017-05-15 19:44:42] 859*2^1453997-1 is not prime. Res64: 3F2D4B7C76508748 Time : 0.0 sec. user=mdettweiler [2017-05-15 19:44:43] 621*2^1453998-1 is not prime. Res64: 679AC486F1055139 Time : 0.0 sec. user=mdettweiler [2017-05-15 19:48:02] 705*2^1453998-1 is not prime. Res64: 1A621A404B40AD05 Time : 0.0 sec. user=mdettweiler [2017-05-15 19:48:02] 725*2^1453998-1 is not prime. Res64: 06EA2CADA092594E Time : 0.0 sec. user=mdettweiler [2017-05-15 19:48:03] 731*2^1453998-1 is not prime. Res64: B481E6E053F4CBB4 Time : 0.0 sec. user=mdettweiler [2017-05-15 19:48:03] 863*2^1453998-1 is not prime. Res64: A91F9E7D52B31A7F Time : 0.0 sec. user=mdettweiler [2017-05-15 19:48:03] 993*2^1453998-1 is not prime. Res64: F9E5EBC5CD90F33B Time : 0.0 sec. user=mdettweiler [2017-05-15 20:02:35] 601*2^1453999-1 is not prime. Res64: 42E7D4BE708F7F8B Time : 0.0 sec. user=mdettweiler [2017-05-15 20:02:36] 729*2^1453999-1 is not prime. Res64: 974CCD53502B8B78 Time : 0.0 sec. user=mdettweiler [2017-05-15 20:02:38] 831*2^1453999-1 is not prime. Res64: 4ECEBCAA04538F63 Time : 0.0 sec. user=mdettweiler [2017-05-15 20:02:40] 873*2^1453999-1 is not prime. Res64: 192B8E338098DD79 Time : 0.0 sec. user=mdettweiler [2017-05-15 20:02:42] 609*2^1454000-1 is not prime. Res64: 473FFB8819037D64 Time : 0.0 sec. user=juhehe [2017-05-15 20:24:11] 979*2^1454001-1 is not prime. Res64: 82A48D71C6CF4CEA Time : 0.0 sec. user=mdettweiler [2017-05-15 20:26:35] 629*2^1454000-1 is not prime. Res64: 4ECD0F75DE16B90D Time : 0.0 sec. user=mdettweiler [2017-05-15 20:26:35] 713*2^1454000-1 is not prime. Res64: 8DB50591FB2DE667 Time : 0.0 sec. user=mdettweiler [2017-05-15 20:26:36] 789*2^1454000-1 is not prime. Res64: 5F9DBF9F79F7DFFA Time : 0.0 sec. user=mdettweiler [2017-05-15 20:26:36] 797*2^1454000-1 is not prime. Res64: 05CD1F3F93993588 Time : 0.0 sec. user=mdettweiler [2017-05-15 20:26:37] 893*2^1454000-1 is not prime. Res64: 3FEC462FFCE8BBD7 Time : 0.0 sec. user=mdettweiler [2017-05-15 20:31:17] 999*2^1454000-1 is not prime. Res64: 42E74BCF19AECDF6 Time : 0.0 sec. user=mdettweiler [2017-05-15 20:31:17] 639*2^1454001-1 is not prime. Res64: E708914184B14AC5 Time : 0.0 sec. user=mdettweiler [2017-05-15 20:31:18] 649*2^1454001-1 is not prime. Res64: ACB5E9938143DE2C Time : 0.0 sec. user=mdettweiler [2017-05-15 20:31:18] 781*2^1454001-1 is not prime. Res64: D3487F9139A15C96 Time : 0.0 sec. user=mdettweiler [2017-05-15 20:31:18] 861*2^1454001-1 is not prime. Res64: 3DE10EBE6B97B8F0 Time : 0.0 sec. user=mdettweiler [2017-05-15 20:34:16] 997*2^1454001-1 is not prime. Res64: EB49344DB33F3CEC Time : 0.0 sec. user=mdettweiler [2017-05-15 20:34:16] 651*2^1454002-1 is not prime. Res64: 3061A3E1AABB68E4 Time : 0.0 sec. user=mdettweiler [2017-05-15 20:34:17] 657*2^1454002-1 is not prime. Res64: 77207DFD9CB32B87 Time : 0.0 sec. user=mdettweiler [2017-05-15 20:34:17] 681*2^1454002-1 is not prime. Res64: C3BD8655D53D62C3 Time : 0.0 sec. user=mdettweiler [2017-05-15 20:34:18] 747*2^1454002-1 is not prime. Res64: C74F2BC7A0D08DAC Time : 0.0 sec. user=juhehe [2017-05-15 20:41:35] 913*2^1454003-1 is not prime. Res64: C5BAF801665F20DC Time : 0.0 sec. user=mdettweiler [2017-05-15 20:49:20] 815*2^1454002-1 is not prime. Res64: CA7260A8A90947A0 Time : 0.0 sec. user=mdettweiler [2017-05-15 20:49:20] 675*2^1454003-1 is not prime. Res64: AD4C8ACC906CAF1D Time : 0.0 sec. user=mdettweiler [2017-05-15 20:49:21] 699*2^1454003-1 is not prime. Res64: 48C229A0D2123046 Time : 0.0 sec. user=mdettweiler [2017-05-15 20:49:21] 735*2^1454003-1 is not prime. Res64: 903743E847C5D60E Time : 0.0 sec. user=mdettweiler [2017-05-15 20:49:22] 859*2^1454003-1 is not prime. Res64: 774232F80DB4C00C Time : 0.0 sec. user=mdettweiler [2017-05-15 21:12:42] 963*2^1454003-1 is not prime. Res64: BDA1D6FD44096A11 Time : 0.0 sec. user=mdettweiler [2017-05-15 21:12:42] 623*2^1454004-1 is not prime. Res64: F416B6F6987C0641 Time : 0.0 sec. user=mdettweiler [2017-05-15 21:12:43] 699*2^1454004-1 is not prime. Res64: 621A8D76C6A892D8 Time : 0.0 sec. user=mdettweiler [2017-05-15 21:12:43] 725*2^1454004-1 is not prime. Res64: 019ECD9E111028B1 Time : 0.0 sec. user=mdettweiler [2017-05-15 21:12:43] 803*2^1454004-1 is not prime. Res64: 129947045E91918C Time : 0.0 sec. user=mdettweiler [2017-05-15 21:17:34] 809*2^1454004-1 is not prime. Res64: 23F757E4CCF50AB1 Time : 0.0 sec. user=mdettweiler [2017-05-15 21:17:35] 887*2^1454004-1 is not prime. Res64: 3F981835E7304CB7 Time : 0.0 sec. user=mdettweiler [2017-05-15 21:17:35] 975*2^1454004-1 is not prime. Res64: 6D7988546F6D2C80 Time : 0.0 sec. user=mdettweiler [2017-05-15 21:17:35] 993*2^1454004-1 is not prime. Res64: 90AEE40E6C4303E6 Time : 0.0 sec. user=mdettweiler [2017-05-15 21:17:36] 825*2^1454005-1 is not prime. Res64: 436DDB04199A2DDC Time : 0.0 sec. user=mdettweiler [2017-05-15 21:20:31] 847*2^1454005-1 is not prime. Res64: 7F2E4CF1A158CC2E Time : 0.0 sec. user=mdettweiler [2017-05-15 21:20:31] 915*2^1454005-1 is not prime. Res64: BF60BD4B752FD7AA Time : 0.0 sec. user=mdettweiler [2017-05-15 21:20:31] 937*2^1454005-1 is not prime. Res64: 6FECE91DD4FA4CD1 Time : 0.0 sec. user=mdettweiler [2017-05-15 21:20:32] 975*2^1454005-1 is not prime. Res64: C2E484974A4C5529 Time : 0.0 sec. user=mdettweiler [2017-05-15 21:20:33] 997*2^1454005-1 is not prime. Res64: B0276558F69DB62E Time : 0.0 sec. user=mdettweiler [2017-05-15 21:35:31] 713*2^1454006-1 is not prime. Res64: 50674A9AFA956971 Time : 0.0 sec. user=mdettweiler [2017-05-15 21:35:31] 717*2^1454006-1 is not prime. Res64: 91D5229912D8F2E8 Time : 0.0 sec. user=mdettweiler [2017-05-15 21:35:31] 747*2^1454006-1 is not prime. Res64: AEBA5FE49B1D531A Time : 0.0 sec. user=mdettweiler [2017-05-15 21:35:32] 921*2^1454006-1 is not prime. Res64: 9AB555B4CBCAFDE1 Time : 0.0 sec. user=mdettweiler [2017-05-15 21:35:32] 615*2^1454007-1 is not prime. Res64: 0D7800E60A98BC73 Time : 0.0 sec. user=juhehe [2017-05-15 21:42:28] 691*2^1454007-1 is not prime. Res64: 944E1D01E281CCF1 Time : 0.0 sec. user=mdettweiler [2017-05-15 21:58:47] 825*2^1454007-1 is not prime. Res64: 4AC3EC91ECDE9105 Time : 0.0 sec. user=mdettweiler [2017-05-15 21:58:47] 895*2^1454007-1 is not prime. Res64: 28205A1534355FA5 Time : 0.0 sec. user=mdettweiler [2017-05-15 21:58:47] 665*2^1454008-1 is not prime. Res64: 98B010E7113164C7 Time : 0.0 sec. user=mdettweiler [2017-05-15 21:58:48] 677*2^1454008-1 is not prime. Res64: 971CC36B4DE05F3B Time : 0.0 sec. user=mdettweiler [2017-05-15 21:58:48] 723*2^1454008-1 is not prime. Res64: 85809CD9051E9CC2 Time : 0.0 sec. user=mdettweiler [2017-05-15 22:03:32] 843*2^1454008-1 is not prime. Res64: 75C96EC6E664AA21 Time : 0.0 sec. user=mdettweiler [2017-05-15 22:03:34] 869*2^1454008-1 is not prime. Res64: 9F884892A6BB775D Time : 0.0 sec. user=mdettweiler [2017-05-15 22:03:35] 933*2^1454008-1 is not prime. Res64: F84F24DC252E463C Time : 0.0 sec. user=mdettweiler [2017-05-15 22:03:36] 999*2^1454008-1 is not prime. Res64: 16F7EC9A66DC77F5 Time : 0.0 sec. user=mdettweiler [2017-05-15 22:03:37] 735*2^1454009-1 is not prime. Res64: 5A1235C4DA9A7BE2 Time : 0.0 sec. user=mdettweiler [2017-05-15 22:06:47] 811*2^1454009-1 is not prime. Res64: 3D5152C36C90EAD4 Time : 0.0 sec. user=mdettweiler [2017-05-15 22:06:49] 865*2^1454009-1 is not prime. Res64: 6A85D9A7BD04E78B Time : 0.0 sec. user=mdettweiler [2017-05-15 22:06:50] 879*2^1454009-1 is not prime. Res64: C1A9ADD642A588F6 Time : 0.0 sec. user=mdettweiler [2017-05-15 22:06:51] 955*2^1454009-1 is not prime. Res64: 224C212C0C7EE5BE Time : 0.0 sec. user=mdettweiler [2017-05-15 22:06:53] 967*2^1454009-1 is not prime. Res64: 83FAB808FB58C3CF Time : 0.0 sec. user=mdettweiler [2017-05-15 22:21:47] 969*2^1454009-1 is not prime. Res64: 072A2738B77E86BD Time : 0.0 sec. user=mdettweiler [2017-05-15 22:21:47] 987*2^1454009-1 is not prime. Res64: AD6B97893E4B2D34 Time : 0.0 sec. user=mdettweiler [2017-05-15 22:21:47] 723*2^1454010-1 is not prime. Res64: B309BA363CEC2E88 Time : 0.0 sec. user=mdettweiler [2017-05-15 22:21:47] 843*2^1454010-1 is not prime. Res64: 2F3E3B778ED01BC1 Time : 0.0 sec. user=mdettweiler [2017-05-15 22:21:48] 921*2^1454010-1 is not prime. Res64: 08C9E666AB772DA3 Time : 0.0 sec. user=mdettweiler [2017-05-15 22:44:59] 615*2^1454011-1 is not prime. Res64: 83A3B41B661ADB40 Time : 0.0 sec. user=mdettweiler [2017-05-15 22:44:59] 741*2^1454011-1 is not prime. Res64: E49813AA593CE6F6 Time : 0.0 sec. user=mdettweiler [2017-05-15 22:45:00] 829*2^1454011-1 is not prime. Res64: 479754D95175078B Time : 0.0 sec. user=mdettweiler [2017-05-15 22:45:00] 849*2^1454011-1 is not prime. Res64: 63C946C764D561B2 Time : 0.0 sec. user=mdettweiler [2017-05-15 22:45:00] 913*2^1454011-1 is not prime. Res64: 34B45AEF8356C1B0 Time : 0.0 sec. user=mdettweiler [2017-05-15 22:50:05] 939*2^1454011-1 is not prime. Res64: 0D372686B487DCE1 Time : 0.0 sec. user=mdettweiler [2017-05-15 22:50:05] 969*2^1454011-1 is not prime. Res64: 20EA6A74900B11C1 Time : 0.0 sec. user=mdettweiler [2017-05-15 22:50:05] 759*2^1454012-1 is not prime. Res64: A1302A4198AAEE10 Time : 0.0 sec. user=mdettweiler [2017-05-15 22:50:05] 767*2^1454012-1 is not prime. Res64: DCE2B5C6FAAD9DAE Time : 0.0 sec. user=mdettweiler [2017-05-15 22:50:06] 785*2^1454012-1 is not prime. Res64: F2D6A9B18684EED9 Time : 0.0 sec. user=mdettweiler [2017-05-15 23:08:15] 685*2^1454013-1 is not prime. Res64: B3F4E47267FDD472 Time : 0.0 sec. user=mdettweiler [2017-05-15 23:08:16] 741*2^1454013-1 is not prime. Res64: BF605683B41473AF Time : 0.0 sec. user=mdettweiler [2017-05-15 23:08:16] 747*2^1454013-1 is not prime. Res64: 1D01AB1C809BC820 Time : 0.0 sec. user=mdettweiler [2017-05-15 23:08:16] 765*2^1454013-1 is not prime. Res64: EB782144C7FEB94A Time : 0.0 sec. user=mdettweiler [2017-05-15 23:08:17] 817*2^1454013-1 is not prime. Res64: FF571F0F1A4968CC Time : 0.0 sec. user=mdettweiler [2017-05-15 23:32:06] 847*2^1454013-1 is not prime. Res64: E8456CC04B5A74B8 Time : 0.0 sec. user=mdettweiler [2017-05-15 23:32:06] 867*2^1454013-1 is not prime. Res64: 7ED0ABDBBE1D8001 Time : 0.0 sec. user=mdettweiler [2017-05-15 23:32:07] 901*2^1454013-1 is not prime. Res64: 147835E631DBAC44 Time : 0.0 sec. user=mdettweiler [2017-05-15 23:32:07] 915*2^1454013-1 is not prime. Res64: AD175E559FF218E8 Time : 0.0 sec. user=mdettweiler [2017-05-15 23:32:07] 663*2^1454014-1 is not prime. Res64: 798020767A19CAF6 Time : 0.0 sec. user=mdettweiler [2017-05-15 23:37:22] 687*2^1454014-1 is not prime. Res64: DAADF357F132696F Time : 0.0 sec. user=mdettweiler [2017-05-15 23:37:22] 707*2^1454014-1 is not prime. Res64: 2FC11A59D2517842 Time : 0.0 sec. user=mdettweiler [2017-05-15 23:37:23] 791*2^1454014-1 is not prime. Res64: 9262CA4879103937 Time : 0.0 sec. user=mdettweiler [2017-05-15 23:37:23] 827*2^1454014-1 is not prime. Res64: 7A8BB45DC91F080D Time : 0.0 sec. user=mdettweiler [2017-05-15 23:37:23] 887*2^1454014-1 is not prime. Res64: B7652D71B5169939 Time : 0.0 sec. user=juhehe [2017-05-15 23:40:19] 897*2^1454014-1 is not prime. Res64: AEEB2DA33A6C5D19 Time : 0.0 sec. user=mdettweiler [2017-05-15 23:56:11] 903*2^1454014-1 is not prime. Res64: 640E7CAE33B0985D Time : 0.0 sec. user=mdettweiler [2017-05-15 23:56:11] 685*2^1454015-1 is not prime. Res64: 273E2C9D565B57F6 Time : 0.0 sec. user=mdettweiler [2017-05-15 23:56:11] 819*2^1454015-1 is not prime. Res64: 94E2B188ACB6E6DF Time : 0.0 sec. user=mdettweiler [2017-05-15 23:56:12] 825*2^1454015-1 is not prime. Res64: DA74DA803DD42CFC Time : 0.0 sec. user=mdettweiler [2017-05-15 23:56:12] 915*2^1454015-1 is not prime. Res64: 591B2FABFC13BC41 Time : 0.0 sec.