user=mdettweiler [2017-04-15 00:10:00] 603*2^1451647-1 is not prime. Res64: 241114AB10ED127B Time : 0.0 sec. user=mdettweiler [2017-04-15 00:10:01] 645*2^1451647-1 is not prime. Res64: 367838589244ADC8 Time : 0.0 sec. user=mdettweiler [2017-04-15 00:10:01] 741*2^1451647-1 is not prime. Res64: 2D3617F3FC5AB6A6 Time : 0.0 sec. user=mdettweiler [2017-04-15 00:10:02] 859*2^1451647-1 is not prime. Res64: 571FFE73DE00F44A Time : 0.0 sec. user=mdettweiler [2017-04-15 00:10:02] 891*2^1451647-1 is not prime. Res64: 56CB8A284B8BBEE9 Time : 0.0 sec. user=mdettweiler [2017-04-15 00:10:43] 633*2^1451648-1 is not prime. Res64: 3B5F546E1040FB26 Time : 0.0 sec. user=mdettweiler [2017-04-15 00:10:44] 635*2^1451648-1 is not prime. Res64: 3B416B5C3E0463C8 Time : 0.0 sec. user=mdettweiler [2017-04-15 00:10:44] 677*2^1451648-1 is not prime. Res64: 3B174401D488D2F9 Time : 0.0 sec. user=mdettweiler [2017-04-15 00:10:45] 825*2^1451648-1 is not prime. Res64: 36ED787208340EF1 Time : 0.0 sec. user=mdettweiler [2017-04-15 00:10:45] 855*2^1451648-1 is not prime. Res64: 99B43A21C89B8A2C Time : 0.0 sec. user=juhehe [2017-04-15 00:24:48] 649*2^1451649-1 is not prime. Res64: 38CA54D6A93AA39E Time : 0.0 sec. user=mdettweiler [2017-04-15 00:33:53] 741*2^1451649-1 is not prime. Res64: 443EC12661A7D515 Time : 0.0 sec. user=mdettweiler [2017-04-15 00:33:53] 811*2^1451649-1 is not prime. Res64: 539371D6060C5A61 Time : 0.0 sec. user=mdettweiler [2017-04-15 00:33:54] 921*2^1451649-1 is not prime. Res64: 7AA39C574A18996F Time : 0.0 sec. user=mdettweiler [2017-04-15 00:33:54] 623*2^1451650-1 is not prime. Res64: E6C6CCBF37B4143C Time : 0.0 sec. user=mdettweiler [2017-04-15 00:33:54] 657*2^1451650-1 is not prime. Res64: DB4D074E49A4A047 Time : 0.0 sec. user=mdettweiler [2017-04-15 00:44:11] 675*2^1451650-1 is not prime. Res64: E41350D6C8D1A24A Time : 0.0 sec. user=mdettweiler [2017-04-15 00:44:12] 687*2^1451650-1 is not prime. Res64: 2DB1F347170B5A6A Time : 0.0 sec. user=mdettweiler [2017-04-15 00:44:12] 701*2^1451650-1 is not prime. Res64: E3ABCEE093DE0CAB Time : 0.0 sec. user=mdettweiler [2017-04-15 00:44:12] 717*2^1451650-1 is not prime. Res64: 5642F452B3FE91A0 Time : 0.0 sec. user=mdettweiler [2017-04-15 00:44:13] 741*2^1451650-1 is not prime. Res64: 9084C914CF088095 Time : 0.0 sec. user=mdettweiler [2017-04-15 00:55:50] 803*2^1451650-1 is not prime. Res64: A36C45BD3843CF2B Time : 0.0 sec. user=mdettweiler [2017-04-15 00:55:50] 867*2^1451650-1 is not prime. Res64: FC34E8572C451304 Time : 0.0 sec. user=mdettweiler [2017-04-15 00:55:50] 891*2^1451650-1 is not prime. Res64: 90C0141EB0359DDF Time : 0.0 sec. user=mdettweiler [2017-04-15 00:55:51] 945*2^1451650-1 is not prime. Res64: 398E4832BA84077D Time : 0.0 sec. user=mdettweiler [2017-04-15 00:55:51] 643*2^1451651-1 is not prime. Res64: E062751E708EBC1B Time : 0.0 sec. user=mdettweiler [2017-04-15 00:56:39] 675*2^1451651-1 is not prime. Res64: 36ACCDCC026A905B Time : 0.0 sec. user=mdettweiler [2017-04-15 00:56:40] 745*2^1451651-1 is not prime. Res64: EBC6AE3CC8C47EAB Time : 0.0 sec. user=mdettweiler [2017-04-15 00:56:40] 775*2^1451651-1 is not prime. Res64: 470820AF0D460480 Time : 0.0 sec. user=mdettweiler [2017-04-15 00:56:40] 805*2^1451651-1 is not prime. Res64: A95AD42C1C697791 Time : 0.0 sec. user=mdettweiler [2017-04-15 00:56:41] 871*2^1451651-1 is not prime. Res64: 2BDCD9E4112F5EB4 Time : 0.0 sec. user=mdettweiler [2017-04-15 01:19:42] 913*2^1451651-1 is not prime. Res64: 7DFBB6390451DDE0 Time : 0.0 sec. user=mdettweiler [2017-04-15 01:19:43] 949*2^1451651-1 is not prime. Res64: BF2A552029FE205B Time : 0.0 sec. user=mdettweiler [2017-04-15 01:19:43] 909*2^1451652-1 is not prime. Res64: B18145D3BAF1939B Time : 0.0 sec. user=mdettweiler [2017-04-15 01:19:44] 975*2^1451652-1 is not prime. Res64: F70748513B18CBE8 Time : 0.0 sec. user=mdettweiler [2017-04-15 01:19:44] 691*2^1451653-1 is not prime. Res64: C189813AC4F1DCDB Time : 0.0 sec. user=mdettweiler [2017-04-15 01:30:04] 727*2^1451653-1 is not prime. Res64: 5B6F49870CA71A01 Time : 0.0 sec. user=mdettweiler [2017-04-15 01:30:06] 729*2^1451653-1 is not prime. Res64: 2B08B887DA8D9F8B Time : 0.0 sec. user=mdettweiler [2017-04-15 01:30:08] 751*2^1451653-1 is not prime. Res64: 9E25AB7DF5B61A3B Time : 0.0 sec. user=mdettweiler [2017-04-15 01:30:10] 765*2^1451653-1 is not prime. Res64: 2F403174FC2219D6 Time : 0.0 sec. user=mdettweiler [2017-04-15 01:30:14] 801*2^1451653-1 is not prime. Res64: 7ADA0F9D5D7917D2 Time : 0.0 sec. user=mdettweiler [2017-04-15 01:40:55] 831*2^1451653-1 is not prime. Res64: F2E1716D9F4B4713 Time : 0.0 sec. user=mdettweiler [2017-04-15 01:40:56] 987*2^1451653-1 is not prime. Res64: C30DFDE208B494E5 Time : 0.0 sec. user=mdettweiler [2017-04-15 01:40:56] 675*2^1451654-1 is not prime. Res64: A7191140326CCA94 Time : 0.0 sec. user=mdettweiler [2017-04-15 01:40:56] 813*2^1451654-1 is not prime. Res64: B04097A2EFF8FD61 Time : 0.0 sec. user=mdettweiler [2017-04-15 01:40:57] 903*2^1451654-1 is not prime. Res64: D790B8E8BBB8E2BF Time : 0.0 sec. user=mdettweiler [2017-04-15 01:41:55] 679*2^1451655-1 is not prime. Res64: 92BA740211E9D077 Time : 0.0 sec. user=mdettweiler [2017-04-15 01:41:55] 685*2^1451655-1 is not prime. Res64: 92F827509D55B59E Time : 0.0 sec. user=mdettweiler [2017-04-15 01:41:55] 739*2^1451655-1 is not prime. Res64: 3740F4BF78BD1609 Time : 0.0 sec. user=mdettweiler [2017-04-15 01:41:56] 793*2^1451655-1 is not prime. Res64: BFBA6A0D0CA637B6 Time : 0.0 sec. user=mdettweiler [2017-04-15 01:41:56] 825*2^1451655-1 is not prime. Res64: 7C28B267EBED4C85 Time : 0.0 sec. user=mdettweiler [2017-04-15 02:04:44] 985*2^1451655-1 is not prime. Res64: 29006F033940B7CD Time : 0.0 sec. user=mdettweiler [2017-04-15 02:04:46] 653*2^1451656-1 is not prime. Res64: 049A98D6EF27DA4C Time : 0.0 sec. user=mdettweiler [2017-04-15 02:04:48] 839*2^1451656-1 is not prime. Res64: D81A6B748FB76005 Time : 0.0 sec. user=mdettweiler [2017-04-15 02:04:49] 875*2^1451656-1 is not prime. Res64: 60CA13F1ABE4D893 Time : 0.0 sec. user=mdettweiler [2017-04-15 02:04:49] 975*2^1451656-1 is not prime. Res64: 5DC823531067374C Time : 0.0 sec. user=mdettweiler [2017-04-15 02:15:32] 649*2^1451657-1 is not prime. Res64: 2062C4459E5CCD14 Time : 0.0 sec. user=mdettweiler [2017-04-15 02:15:33] 651*2^1451657-1 is not prime. Res64: 9E89D13FD2E0C8DE Time : 0.0 sec. user=mdettweiler [2017-04-15 02:15:33] 697*2^1451657-1 is not prime. Res64: BC9F9171CC1C0081 Time : 0.0 sec. user=mdettweiler [2017-04-15 02:15:34] 715*2^1451657-1 is not prime. Res64: DF3D883D9C9D4C5C Time : 0.0 sec. user=mdettweiler [2017-04-15 02:15:34] 735*2^1451657-1 is not prime. Res64: 2921A1A937461CDD Time : 0.0 sec. user=juhehe [2017-04-15 02:23:02] 813*2^1451659-1 is not prime. Res64: 8676D3E3DA3FC719 Time : 0.0 sec. user=mdettweiler [2017-04-15 02:25:58] 861*2^1451657-1 is not prime. Res64: 7ABF56C74287185F Time : 0.0 sec. user=mdettweiler [2017-04-15 02:25:59] 879*2^1451657-1 is not prime. Res64: 5CA5E6EC9568294E Time : 0.0 sec. user=mdettweiler [2017-04-15 02:25:59] 731*2^1451658-1 is not prime. Res64: 8D0BF35BA36BF89C Time : 0.0 sec. user=mdettweiler [2017-04-15 02:26:00] 837*2^1451658-1 is not prime. Res64: 34E4AA6DC942F8E0 Time : 0.0 sec. user=mdettweiler [2017-04-15 02:26:00] 601*2^1451659-1 is not prime. Res64: 267A595EC78C8218 Time : 0.0 sec. user=mdettweiler [2017-04-15 02:26:54] 615*2^1451659-1 is not prime. Res64: 8FF2EF3E4B85F70B Time : 0.0 sec. user=mdettweiler [2017-04-15 02:26:54] 619*2^1451659-1 is not prime. Res64: B6F6FF75F2436DEB Time : 0.0 sec. user=mdettweiler [2017-04-15 02:26:54] 663*2^1451659-1 is not prime. Res64: F8D5F037DF062989 Time : 0.0 sec. user=mdettweiler [2017-04-15 02:26:55] 709*2^1451659-1 is not prime. Res64: 011FFA315E9B5348 Time : 0.0 sec. user=mdettweiler [2017-04-15 02:26:55] 759*2^1451659-1 is not prime. Res64: C6D28836D617D977 Time : 0.0 sec. user=mdettweiler [2017-04-15 02:51:21] 853*2^1451659-1 is not prime. Res64: 79F566961F63FDE8 Time : 0.0 sec. user=mdettweiler [2017-04-15 02:51:21] 859*2^1451659-1 is not prime. Res64: B1EE72FDFBB3D409 Time : 0.0 sec. user=mdettweiler [2017-04-15 02:51:22] 759*2^1451660-1 is not prime. Res64: 6D81FA2588923BF6 Time : 0.0 sec. user=mdettweiler [2017-04-15 02:51:22] 897*2^1451660-1 is not prime. Res64: 956BE9715F72570A Time : 0.0 sec. user=mdettweiler [2017-04-15 02:51:22] 685*2^1451661-1 is not prime. Res64: B0F7334A88B5B14B Time : 0.0 sec. user=mdettweiler [2017-04-15 03:01:46] 877*2^1451661-1 is not prime. Res64: AF43142583CB586E Time : 0.0 sec. user=mdettweiler [2017-04-15 03:01:46] 955*2^1451661-1 is not prime. Res64: 3E51443407E860E7 Time : 0.0 sec. user=mdettweiler [2017-04-15 03:01:47] 991*2^1451661-1 is not prime. Res64: F3B7CBFF0706AECB Time : 0.0 sec. user=mdettweiler [2017-04-15 03:01:48] 623*2^1451662-1 is not prime. Res64: 53D65AAD6560BB77 Time : 0.0 sec. user=mdettweiler [2017-04-15 03:01:48] 671*2^1451662-1 is not prime. Res64: 25A29013139698BF Time : 0.0 sec. user=mdettweiler [2017-04-15 03:12:19] 945*2^1451662-1 is not prime. Res64: 9C37EDCAE6423A17 Time : 0.0 sec. user=mdettweiler [2017-04-15 03:12:19] 981*2^1451662-1 is not prime. Res64: 47661F7386487111 Time : 0.0 sec. user=mdettweiler [2017-04-15 03:12:19] 729*2^1451663-1 is not prime. Res64: C2F1D81A9820E688 Time : 0.0 sec. user=mdettweiler [2017-04-15 03:12:20] 735*2^1451663-1 is not prime. Res64: 21BDB304185EA349 Time : 0.0 sec. user=mdettweiler [2017-04-15 03:12:20] 879*2^1451663-1 is not prime. Res64: 81A9A9DF8351D40D Time : 0.0 sec. user=mdettweiler [2017-04-15 03:13:12] 915*2^1451663-1 is not prime. Res64: 603A51512BF613CA Time : 0.0 sec. user=mdettweiler [2017-04-15 03:13:12] 665*2^1451664-1 is not prime. Res64: C23AF40C7C45F213 Time : 0.0 sec. user=mdettweiler [2017-04-15 03:13:13] 759*2^1451664-1 is not prime. Res64: D4327362003962AD Time : 0.0 sec. user=mdettweiler [2017-04-15 03:13:13] 857*2^1451664-1 is not prime. Res64: DBA261B3DA4D2AEE Time : 0.0 sec. user=mdettweiler [2017-04-15 03:13:13] 917*2^1451664-1 is not prime. Res64: B850355157E29578 Time : 0.0 sec. user=mdettweiler [2017-04-15 03:36:30] 649*2^1451665-1 is not prime. Res64: 11149CCACBEEA748 Time : 0.0 sec. user=mdettweiler [2017-04-15 03:36:32] 651*2^1451665-1 is not prime. Res64: 2D87CE553EE8D5FB Time : 0.0 sec. user=mdettweiler [2017-04-15 03:36:33] 775*2^1451665-1 is not prime. Res64: 2E3F24A7B57AA531 Time : 0.0 sec. user=mdettweiler [2017-04-15 03:36:34] 817*2^1451665-1 is not prime. Res64: 7D612234C0CC9F6B Time : 0.0 sec. user=mdettweiler [2017-04-15 03:36:35] 861*2^1451665-1 is not prime. Res64: E794C4CCA17B7099 Time : 0.0 sec. user=mdettweiler [2017-04-15 03:47:05] 871*2^1451665-1 is not prime. Res64: 7EF119E9F19359B7 Time : 0.0 sec. user=mdettweiler [2017-04-15 03:47:06] 925*2^1451665-1 is not prime. Res64: F31E5A68304B636F Time : 0.0 sec. user=mdettweiler [2017-04-15 03:47:07] 951*2^1451665-1 is not prime. Res64: 477A6DABFA77641D Time : 0.0 sec. user=mdettweiler [2017-04-15 03:47:08] 705*2^1451666-1 is not prime. Res64: 7DE8D463EFAC19CB Time : 0.0 sec. user=mdettweiler [2017-04-15 03:47:09] 717*2^1451666-1 is not prime. Res64: FA5FAAE65E2D86FC Time : 0.0 sec. user=mdettweiler [2017-04-15 03:58:11] 755*2^1451666-1 is not prime. Res64: D661183E9DDFDAB7 Time : 0.0 sec. user=mdettweiler [2017-04-15 03:58:11] 831*2^1451666-1 is not prime. Res64: EE9E15AB2B411E81 Time : 0.0 sec. user=mdettweiler [2017-04-15 03:58:11] 861*2^1451666-1 is not prime. Res64: C0501791141FCB32 Time : 0.0 sec. user=mdettweiler [2017-04-15 03:58:12] 935*2^1451666-1 is not prime. Res64: 2CD2B056059C65CD Time : 0.0 sec. user=mdettweiler [2017-04-15 03:58:12] 945*2^1451666-1 is not prime. Res64: 8FDFE4DE55B6B504 Time : 0.0 sec. user=mdettweiler [2017-04-15 03:59:02] 957*2^1451666-1 is not prime. Res64: CA1517C43D5FC612 Time : 0.0 sec. user=mdettweiler [2017-04-15 03:59:02] 983*2^1451666-1 is not prime. Res64: C0E595974886B09E Time : 0.0 sec. user=mdettweiler [2017-04-15 03:59:03] 1001*2^1451666-1 is not prime. Res64: C2698F51085C8375 Time : 0.0 sec. user=mdettweiler [2017-04-15 03:59:03] 819*2^1451667-1 is not prime. Res64: FD4C0736618C3DC1 Time : 0.0 sec. user=mdettweiler [2017-04-15 03:59:03] 825*2^1451667-1 is not prime. Res64: 11CEF56D78FB0878 Time : 0.0 sec. user=juhehe [2017-04-15 04:21:44] 999*2^1451668-1 is not prime. Res64: 5C4BFD434D0FACDE Time : 0.0 sec. user=mdettweiler [2017-04-15 04:22:36] 891*2^1451667-1 is not prime. Res64: A5920D9213699FF1 Time : 0.0 sec. user=mdettweiler [2017-04-15 04:22:36] 629*2^1451668-1 is not prime. Res64: 60D9BE3D8595EEC9 Time : 0.0 sec. user=mdettweiler [2017-04-15 04:22:37] 743*2^1451668-1 is not prime. Res64: 0AB202731ECF7265 Time : 0.0 sec. user=mdettweiler [2017-04-15 04:22:37] 959*2^1451668-1 is not prime. Res64: 077A40D977405A29 Time : 0.0 sec. user=mdettweiler [2017-04-15 04:22:38] 989*2^1451668-1 is not prime. Res64: BC2A3496B76633AD Time : 0.0 sec. user=mdettweiler [2017-04-15 04:33:26] 619*2^1451669-1 is not prime. Res64: 5090A385784DBF7B Time : 0.0 sec. user=mdettweiler [2017-04-15 04:33:26] 655*2^1451669-1 is not prime. Res64: FB1B304AB2618842 Time : 0.0 sec. user=mdettweiler [2017-04-15 04:33:27] 679*2^1451669-1 is not prime. Res64: 8EF3CA26D78F5406 Time : 0.0 sec. user=mdettweiler [2017-04-15 04:33:27] 747*2^1451669-1 is not prime. Res64: 89DE5B17A095CDF5 Time : 0.0 sec. user=mdettweiler [2017-04-15 04:33:27] 771*2^1451669-1 is not prime. Res64: 926066AA32172D82 Time : 0.0 sec. user=mdettweiler [2017-04-15 04:43:29] 789*2^1451669-1 is not prime. Res64: 5B7066E299E8A325 Time : 0.0 sec. user=mdettweiler [2017-04-15 04:43:30] 939*2^1451669-1 is not prime. Res64: 9FBD8423C90E220F Time : 0.0 sec. user=mdettweiler [2017-04-15 04:43:30] 957*2^1451669-1 is not prime. Res64: A7C1E386892DB911 Time : 0.0 sec. user=mdettweiler [2017-04-15 04:43:30] 979*2^1451669-1 is not prime. Res64: C985D6780B5066AB Time : 0.0 sec. user=mdettweiler [2017-04-15 04:43:31] 641*2^1451670-1 is not prime. Res64: C10A73E17594C3E9 Time : 0.0 sec. user=mdettweiler [2017-04-15 04:44:13] 707*2^1451670-1 is not prime. Res64: 9C3CD9CB1D388A86 Time : 0.0 sec. user=mdettweiler [2017-04-15 04:44:13] 723*2^1451670-1 is not prime. Res64: 0737D2649C99768B Time : 0.0 sec. user=mdettweiler [2017-04-15 04:44:14] 843*2^1451670-1 is not prime. Res64: 13E01AA4BB7CE813 Time : 0.0 sec. user=mdettweiler [2017-04-15 04:44:14] 861*2^1451670-1 is not prime. Res64: 97C5E836F8564B93 Time : 0.0 sec. user=mdettweiler [2017-04-15 04:44:15] 609*2^1451671-1 is not prime. Res64: E90643EFB2A8686E Time : 0.0 sec. user=mdettweiler [2017-04-15 05:07:39] 705*2^1451671-1 is not prime. Res64: 984B877822AD5378 Time : 0.0 sec. user=mdettweiler [2017-04-15 05:07:39] 741*2^1451671-1 is not prime. Res64: 0A76E13E5CE38DBA Time : 0.0 sec. user=mdettweiler [2017-04-15 05:07:40] 759*2^1451671-1 is not prime. Res64: 991A43772CF1F216 Time : 0.0 sec. user=mdettweiler [2017-04-15 05:07:40] 793*2^1451671-1 is not prime. Res64: 28CADB9F07EB82BA Time : 0.0 sec. user=mdettweiler [2017-04-15 05:07:41] 811*2^1451671-1 is not prime. Res64: 910AA0197DBBC116 Time : 0.0 sec. user=mdettweiler [2017-04-15 05:18:41] 859*2^1451671-1 is not prime. Res64: 28F712524599C0FB Time : 0.0 sec. user=mdettweiler [2017-04-15 05:18:41] 999*2^1451671-1 is not prime. Res64: E0C27C393580D475 Time : 0.0 sec. user=mdettweiler [2017-04-15 05:18:42] 623*2^1451672-1 is not prime. Res64: 092752BECF7533F6 Time : 0.0 sec. user=mdettweiler [2017-04-15 05:18:42] 923*2^1451672-1 is not prime. Res64: A1BC239A1A56EA61 Time : 0.0 sec. user=mdettweiler [2017-04-15 05:18:42] 959*2^1451672-1 is not prime. Res64: ADAC004F80805F59 Time : 0.0 sec. user=mdettweiler [2017-04-15 05:28:27] 895*2^1451673-1 is not prime. Res64: 0347BB2FF5349FFA Time : 0.0 sec. user=mdettweiler [2017-04-15 05:28:27] 919*2^1451673-1 is not prime. Res64: 8953553685F9B854 Time : 0.0 sec. user=mdettweiler [2017-04-15 05:28:27] 951*2^1451673-1 is not prime. Res64: A6E54D9C3D1F3748 Time : 0.0 sec. user=mdettweiler [2017-04-15 05:28:28] 605*2^1451674-1 is not prime. Res64: 126D0CCC38A02FDF Time : 0.0 sec. user=mdettweiler [2017-04-15 05:28:28] 671*2^1451674-1 is not prime. Res64: 91DE31E4F164E69B Time : 0.0 sec. user=mdettweiler [2017-04-15 05:29:26] 755*2^1451674-1 is not prime. Res64: 571CCB8B4BC95911 Time : 0.0 sec. user=mdettweiler [2017-04-15 05:29:26] 773*2^1451674-1 is not prime. Res64: 8A88B851AD510D55 Time : 0.0 sec. user=mdettweiler [2017-04-15 05:29:27] 813*2^1451674-1 is not prime. Res64: E5C8A0368090D2A9 Time : 0.0 sec. user=mdettweiler [2017-04-15 05:29:27] 857*2^1451674-1 is not prime. Res64: 57C92BB5F0864D67 Time : 0.0 sec. user=mdettweiler [2017-04-15 05:29:28] 987*2^1451674-1 is not prime. Res64: 4ABC2D41E21A604D Time : 0.0 sec. user=mdettweiler [2017-04-15 05:52:50] 643*2^1451675-1 is not prime. Res64: 2CBBC5841A422D3D Time : 0.0 sec. user=mdettweiler [2017-04-15 05:52:51] 841*2^1451675-1 is not prime. Res64: 2685B538AAD40747 Time : 0.0 sec. user=mdettweiler [2017-04-15 05:52:51] 973*2^1451675-1 is not prime. Res64: 470F00829DEA02E3 Time : 0.0 sec. user=mdettweiler [2017-04-15 05:52:51] 979*2^1451675-1 is not prime. Res64: 5615A71FC12DF232 Time : 0.0 sec. user=mdettweiler [2017-04-15 05:52:52] 985*2^1451675-1 is not prime. Res64: 71FB238007EA52DB Time : 0.0 sec. user=mdettweiler [2017-04-15 06:03:52] 633*2^1451676-1 is not prime. Res64: 61E9123ECFCB0626 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:03:54] 689*2^1451676-1 is not prime. Res64: E7D47B5E05A363C0 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:03:55] 707*2^1451676-1 is not prime. Res64: 558B9AFC45212602 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:03:56] 783*2^1451676-1 is not prime. Res64: 8885F21125486DD1 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:03:57] 803*2^1451676-1 is not prime. Res64: E6094B00D56956E2 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:13:31] 909*2^1451676-1 is not prime. Res64: BC2868EE5408EC5B Time : 0.0 sec. user=mdettweiler [2017-04-15 06:13:32] 933*2^1451676-1 is not prime. Res64: E258C50B134FA35B Time : 0.0 sec. user=mdettweiler [2017-04-15 06:13:32] 691*2^1451677-1 is not prime. Res64: 53C96CD84A565440 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:13:32] 727*2^1451677-1 is not prime. Res64: 9C8503928655CFCD Time : 0.0 sec. user=mdettweiler [2017-04-15 06:13:33] 741*2^1451677-1 is not prime. Res64: 0895C50EE8D369FF Time : 0.0 sec. user=mdettweiler [2017-04-15 06:14:30] 757*2^1451677-1 is not prime. Res64: 5343E5565DF88475 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:14:30] 901*2^1451677-1 is not prime. Res64: AC5C53AF3A8CDCEB Time : 0.0 sec. user=mdettweiler [2017-04-15 06:14:31] 939*2^1451677-1 is not prime. Res64: C7CB575E9F6A20C4 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:14:31] 945*2^1451677-1 is not prime. Res64: 81E3A5A54E4B85E8 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:14:31] 979*2^1451677-1 is not prime. Res64: A66ECFFA8838F51A Time : 0.0 sec. user=juhehe [2017-04-15 06:19:47] 711*2^1451678-1 is not prime. Res64: 67685B95785DB121 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:38:23] 773*2^1451678-1 is not prime. Res64: F9A0BF9A2F6B4390 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:38:23] 845*2^1451678-1 is not prime. Res64: 4AFDBEDCB2BA9785 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:38:24] 867*2^1451678-1 is not prime. Res64: 6DA9C306006B8DBD Time : 0.0 sec. user=mdettweiler [2017-04-15 06:38:24] 887*2^1451678-1 is not prime. Res64: 86769C8E91878B61 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:38:24] 745*2^1451679-1 is not prime. Res64: A075084270ABF785 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:49:47] 865*2^1451679-1 is not prime. Res64: D10D653DE1DF83AF Time : 0.0 sec. user=mdettweiler [2017-04-15 06:49:47] 645*2^1451680-1 is not prime. Res64: B11B20DFEF85F012 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:49:47] 689*2^1451680-1 is not prime. Res64: 012234EF605C2E63 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:49:48] 713*2^1451680-1 is not prime. Res64: 26CE9E2929680537 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:49:48] 939*2^1451680-1 is not prime. Res64: CA05095E73ECD9E7 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:59:32] 649*2^1451681-1 is not prime. Res64: FB0CCD8B6FD72FB1 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:59:32] 727*2^1451681-1 is not prime. Res64: 8F60712754F768E8 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:59:32] 747*2^1451681-1 is not prime. Res64: 1CD2C0A6A01DB627 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:59:33] 801*2^1451681-1 is not prime. Res64: 4021FF1971C42AE5 Time : 0.0 sec. user=mdettweiler [2017-04-15 06:59:33] 855*2^1451681-1 is not prime. Res64: C865716D6ADA859D Time : 0.0 sec. user=mdettweiler [2017-04-15 07:00:04] 879*2^1451681-1 is not prime. Res64: F9D6708F807CB03A Time : 0.0 sec. user=mdettweiler [2017-04-15 07:00:05] 735*2^1451682-1 is not prime. Res64: 5E79A28B41936B4E Time : 0.0 sec. user=mdettweiler [2017-04-15 07:00:05] 803*2^1451682-1 is not prime. Res64: BC97C40FD93CDB54 Time : 0.0 sec. user=mdettweiler [2017-04-15 07:00:05] 941*2^1451682-1 is not prime. Res64: 60D0CBFA2BCAFED5 Time : 0.0 sec. user=mdettweiler [2017-04-15 07:00:06] 603*2^1451683-1 is not prime. Res64: F730B43491B5DE4C Time : 0.0 sec. user=mdettweiler [2017-04-15 07:23:35] 619*2^1451683-1 is not prime. Res64: 88C06FFA0A045F7C Time : 0.0 sec. user=mdettweiler [2017-04-15 07:23:35] 625*2^1451683-1 is not prime. Res64: 6AED4E07DDDAD260 Time : 0.0 sec. user=mdettweiler [2017-04-15 07:23:36] 861*2^1451683-1 is not prime. Res64: DF3114B6BA1D9EC0 Time : 0.0 sec. user=mdettweiler [2017-04-15 07:23:36] 885*2^1451683-1 is not prime. Res64: 34FD41F303B92972 Time : 0.0 sec. user=mdettweiler [2017-04-15 07:23:36] 973*2^1451683-1 is not prime. Res64: E49DE6869BE63856 Time : 0.0 sec. user=mdettweiler [2017-04-15 07:34:57] 707*2^1451684-1 is not prime. Res64: 7DE328FC4BDAD35D Time : 0.0 sec. user=mdettweiler [2017-04-15 07:34:57] 813*2^1451684-1 is not prime. Res64: 77976644945BBE23 Time : 0.0 sec. user=mdettweiler [2017-04-15 07:34:58] 825*2^1451684-1 is not prime. Res64: 9CF2705EE860FE30 Time : 0.0 sec. user=mdettweiler [2017-04-15 07:34:58] 935*2^1451684-1 is not prime. Res64: C9A36912E9F4C972 Time : 0.0 sec. user=mdettweiler [2017-04-15 07:34:58] 953*2^1451684-1 is not prime. Res64: 0A7AD854805CCDDA Time : 0.0 sec. user=mdettweiler [2017-04-15 07:44:41] 787*2^1451685-1 is not prime. Res64: D045E2BE47A9BD62 Time : 0.0 sec. user=mdettweiler [2017-04-15 07:44:41] 861*2^1451685-1 is not prime. Res64: 71197FA7D05F4ABC Time : 0.0 sec. user=mdettweiler [2017-04-15 07:44:42] 949*2^1451685-1 is not prime. Res64: 21F5D667359F523F Time : 0.0 sec. user=mdettweiler [2017-04-15 07:44:42] 653*2^1451686-1 is not prime. Res64: AAD55814F43A6AB4 Time : 0.0 sec. user=mdettweiler [2017-04-15 07:44:43] 723*2^1451686-1 is not prime. Res64: 68E56DD5D9C9B7DA Time : 0.0 sec. user=mdettweiler [2017-04-15 07:45:07] 855*2^1451686-1 is not prime. Res64: BD19DEC0B1D1BC09 Time : 0.0 sec. user=mdettweiler [2017-04-15 07:45:07] 923*2^1451686-1 is not prime. Res64: CEB6C227D8CB3FBB Time : 0.0 sec. user=mdettweiler [2017-04-15 07:45:07] 619*2^1451687-1 is not prime. Res64: AFEE74863CBB48FF Time : 0.0 sec. user=mdettweiler [2017-04-15 07:45:08] 651*2^1451687-1 is not prime. Res64: B83F8E740E024503 Time : 0.0 sec. user=mdettweiler [2017-04-15 07:45:08] 813*2^1451687-1 is not prime. Res64: 7EEE9CDDDFFCBDE1 Time : 0.0 sec. user=mdettweiler [2017-04-15 08:08:39] 931*2^1451687-1 is not prime. Res64: 78B5AC2ED2D63892 Time : 0.0 sec. user=mdettweiler [2017-04-15 08:08:39] 707*2^1451688-1 is not prime. Res64: 388A1B15957532CD Time : 0.0 sec. user=mdettweiler [2017-04-15 08:08:40] 723*2^1451688-1 is not prime. Res64: CF14DD74574B7243 Time : 0.0 sec. user=mdettweiler [2017-04-15 08:08:40] 765*2^1451688-1 is not prime. Res64: 336512632A5B4462 Time : 0.0 sec. user=mdettweiler [2017-04-15 08:08:41] 777*2^1451688-1 is not prime. Res64: 909ED9FF55B09B4A Time : 0.0 sec. user=juhehe [2017-04-15 08:18:52] 741*2^1451689-1 is not prime. Res64: 91895B7E274B8D66 Time : 0.0 sec. user=mdettweiler [2017-04-15 08:20:14] 839*2^1451688-1 is not prime. Res64: FAF0AD74A200297C Time : 0.0 sec. user=mdettweiler [2017-04-15 08:20:14] 845*2^1451688-1 is not prime. Res64: F5C5558A1C28179F Time : 0.0 sec. user=mdettweiler [2017-04-15 08:20:15] 849*2^1451688-1 is not prime. Res64: 8BEA1EA8B29C0CB7 Time : 0.0 sec. user=mdettweiler [2017-04-15 08:20:15] 915*2^1451688-1 is not prime. Res64: 5908662C0D6B8F6F Time : 0.0 sec. user=mdettweiler [2017-04-15 08:20:16] 625*2^1451689-1 is not prime. Res64: 45CA10C461794A0A Time : 0.0 sec. user=mdettweiler [2017-04-15 08:29:37] 817*2^1451689-1 is not prime. Res64: D4DE5F67A2DB5135 Time : 0.0 sec. user=mdettweiler [2017-04-15 08:29:37] 955*2^1451689-1 is not prime. Res64: C30008FE367ED3BD Time : 0.0 sec. user=mdettweiler [2017-04-15 08:29:38] 743*2^1451690-1 is not prime. Res64: 58960539A4973688 Time : 0.0 sec. user=mdettweiler [2017-04-15 08:29:38] 783*2^1451690-1 is not prime. Res64: A1F5493DECF74AF9 Time : 0.0 sec. user=mdettweiler [2017-04-15 08:29:38] 857*2^1451690-1 is not prime. Res64: 8B54AF41F939EA8E Time : 0.0 sec. user=mdettweiler [2017-04-15 08:30:09] 945*2^1451690-1 is not prime. Res64: 8982E20D312F3A73 Time : 0.0 sec. user=mdettweiler [2017-04-15 08:30:09] 619*2^1451691-1 is not prime. Res64: B2B8E4AA46B007DC Time : 0.0 sec. user=mdettweiler [2017-04-15 08:30:10] 711*2^1451691-1 is not prime. Res64: 251877559A1AD048 Time : 0.0 sec. user=mdettweiler [2017-04-15 08:30:10] 745*2^1451691-1 is not prime. Res64: A49BD0CED310774A Time : 0.0 sec. user=mdettweiler [2017-04-15 08:30:11] 789*2^1451691-1 is not prime. Res64: A44EC77EEEF66518 Time : 0.0 sec. user=mdettweiler [2017-04-15 08:53:51] 849*2^1451691-1 is not prime. Res64: 98034BE2EDB22000 Time : 0.0 sec. user=mdettweiler [2017-04-15 08:53:52] 955*2^1451691-1 is not prime. Res64: AD1DD5B5E7C98BB7 Time : 0.0 sec. user=mdettweiler [2017-04-15 08:53:52] 999*2^1451691-1 is not prime. Res64: 568862FA00531D40 Time : 0.0 sec. user=mdettweiler [2017-04-15 08:53:52] 777*2^1451692-1 is not prime. Res64: B551D97297E81688 Time : 0.0 sec. user=mdettweiler [2017-04-15 08:53:53] 965*2^1451692-1 is not prime. Res64: D6C6E0906F523319 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:05:11] 975*2^1451692-1 is not prime. Res64: 474FA9D6F1B82D5B Time : 0.0 sec. user=mdettweiler [2017-04-15 09:05:13] 657*2^1451693-1 is not prime. Res64: 94E8AA0D08E99D63 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:05:14] 855*2^1451693-1 is not prime. Res64: 1229264754FE5FDA Time : 0.0 sec. user=mdettweiler [2017-04-15 09:05:16] 879*2^1451693-1 is not prime. Res64: 76E4559268D845D3 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:05:18] 925*2^1451693-1 is not prime. Res64: 9AE02D99854D834A Time : 0.0 sec. user=mdettweiler [2017-04-15 09:14:40] 981*2^1451693-1 is not prime. Res64: 730786F101D0F2A3 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:14:40] 991*2^1451693-1 is not prime. Res64: 990A36E1D801C5D6 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:14:41] 635*2^1451694-1 is not prime. Res64: 0F8AFB50F1CE9B34 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:14:41] 677*2^1451694-1 is not prime. Res64: FFD210F3E9865B9D Time : 0.0 sec. user=mdettweiler [2017-04-15 09:14:42] 681*2^1451694-1 is not prime. Res64: 87AB0AEB9E3B09AD Time : 0.0 sec. user=mdettweiler [2017-04-15 09:15:09] 725*2^1451694-1 is not prime. Res64: 2BC07A226B1B5E21 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:15:10] 791*2^1451694-1 is not prime. Res64: EB9CF1E207EB5561 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:15:10] 795*2^1451694-1 is not prime. Res64: D5532B0092187FB8 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:15:11] 645*2^1451695-1 is not prime. Res64: 25E9535F0AE94B30 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:15:11] 651*2^1451695-1 is not prime. Res64: 66CBBC81FA5E2FD5 Time : 0.0 sec. user=juhehe [2017-04-15 09:37:27] 919*2^1451695-1 is not prime. Res64: F705F5AAE2B37075 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:38:55] 723*2^1451695-1 is not prime. Res64: 8E86E52B8C9CC973 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:38:55] 741*2^1451695-1 is not prime. Res64: 632B2F0C0BD56B5D Time : 0.0 sec. user=mdettweiler [2017-04-15 09:38:56] 789*2^1451695-1 is not prime. Res64: 25BA6450867C175E Time : 0.0 sec. user=mdettweiler [2017-04-15 09:38:56] 871*2^1451695-1 is not prime. Res64: 69E88B97D4017F90 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:38:57] 885*2^1451695-1 is not prime. Res64: DD7D330DBF6AC146 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:50:26] 973*2^1451695-1 is not prime. Res64: 1873E57645D5B064 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:50:26] 979*2^1451695-1 is not prime. Res64: 93C0BD259D8E0316 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:50:27] 813*2^1451696-1 is not prime. Res64: 8F68F0931F8C2230 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:50:27] 839*2^1451696-1 is not prime. Res64: 1069D5CFD6A5E462 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:50:28] 857*2^1451696-1 is not prime. Res64: CCA25C74C9B8B72A Time : 0.0 sec. user=mdettweiler [2017-04-15 09:59:36] 873*2^1451696-1 is not prime. Res64: 2AC3D6290CFEA710 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:59:36] 917*2^1451696-1 is not prime. Res64: DAECBFCA5C292514 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:59:37] 999*2^1451696-1 is not prime. Res64: 727B4852E6C730A7 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:59:38] 669*2^1451697-1 is not prime. Res64: D51B4809B923C161 Time : 0.0 sec. user=mdettweiler [2017-04-15 09:59:38] 675*2^1451697-1 is not prime. Res64: CFDB7D99A7410482 Time : 0.0 sec. user=mdettweiler [2017-04-15 10:00:04] 861*2^1451697-1 is not prime. Res64: CFC76A6BD9642BB8 Time : 0.0 sec. user=mdettweiler [2017-04-15 10:00:05] 945*2^1451697-1 is not prime. Res64: BE4E8AACB5C8C23B Time : 0.0 sec. user=mdettweiler [2017-04-15 10:00:05] 991*2^1451697-1 is not prime. Res64: C528C9545C0577C7 Time : 0.0 sec. user=mdettweiler [2017-04-15 10:00:05] 677*2^1451698-1 is not prime. Res64: ED20546AE398612A Time : 0.0 sec. user=mdettweiler [2017-04-15 10:00:06] 713*2^1451698-1 is not prime. Res64: 37F8C1A75574B1ED Time : 0.0 sec. user=mdettweiler [2017-04-15 10:23:58] 731*2^1451698-1 is not prime. Res64: 476D1B66D703612A Time : 0.0 sec. user=mdettweiler [2017-04-15 10:23:58] 813*2^1451698-1 is not prime. Res64: 085035B9B7C3CAEF Time : 0.0 sec. user=mdettweiler [2017-04-15 10:23:59] 845*2^1451698-1 is not prime. Res64: 1057E965FA6A7BD8 Time : 0.0 sec. user=mdettweiler [2017-04-15 10:23:59] 891*2^1451698-1 is not prime. Res64: 19013AD5CEB19FE3 Time : 0.0 sec. user=mdettweiler [2017-04-15 10:23:59] 619*2^1451699-1 is not prime. Res64: 33C4CE345F25A171 Time : 0.0 sec. user=mdettweiler [2017-04-15 10:35:41] 675*2^1451699-1 is not prime. Res64: 41CC5550617313C3 Time : 0.0 sec. user=mdettweiler [2017-04-15 10:35:41] 703*2^1451699-1 is not prime. Res64: 6469554C3622570B Time : 0.0 sec. user=mdettweiler [2017-04-15 10:35:41] 829*2^1451699-1 is not prime. Res64: C624860A0C1F5312 Time : 0.0 sec. user=mdettweiler [2017-04-15 10:35:42] 859*2^1451699-1 is not prime. Res64: 5A2FE6F1F97DDF89 Time : 0.0 sec. user=mdettweiler [2017-04-15 10:35:42] 885*2^1451699-1 is not prime. Res64: 65D51759F9EC483A Time : 0.0 sec. user=mdettweiler [2017-04-15 10:44:47] 627*2^1451700-1 is not prime. Res64: ABACF792A417EB0F Time : 0.0 sec. user=mdettweiler [2017-04-15 10:44:47] 689*2^1451700-1 is not prime. Res64: 948293DBBFC992B4 Time : 0.0 sec. user=mdettweiler [2017-04-15 10:44:47] 693*2^1451700-1 is not prime. Res64: 00E7742B8F604DAD Time : 0.0 sec. user=mdettweiler [2017-04-15 10:44:48] 909*2^1451700-1 is not prime. Res64: C8F7FC5DA7AB0904 Time : 0.0 sec. user=mdettweiler [2017-04-15 10:44:48] 915*2^1451700-1 is not prime. Res64: C481D1DC0785A639 Time : 0.0 sec. user=mdettweiler [2017-04-15 10:45:16] 983*2^1451700-1 is not prime. Res64: 3F6998044C36673D Time : 0.0 sec. user=mdettweiler [2017-04-15 10:45:16] 609*2^1451701-1 is not prime. Res64: 6CD97A6A0FFC6D03 Time : 0.0 sec. user=mdettweiler [2017-04-15 10:45:17] 681*2^1451701-1 is not prime. Res64: C8E5483719DF6BA7 Time : 0.0 sec. user=mdettweiler [2017-04-15 10:45:17] 849*2^1451701-1 is not prime. Res64: 20EAF0C605AE27C9 Time : 0.0 sec. user=mdettweiler [2017-04-15 10:45:18] 951*2^1451701-1 is not prime. Res64: E15442D5D24DB653 Time : 0.0 sec. user=juhehe [2017-04-15 11:00:18] 961*2^1451701-1 is not prime. Res64: 38480867BDC1D183 Time : 0.0 sec. user=mdettweiler [2017-04-15 11:09:03] 997*2^1451701-1 is not prime. Res64: E91D0D1AE95FA2C8 Time : 0.0 sec. user=mdettweiler [2017-04-15 11:09:03] 693*2^1451702-1 is not prime. Res64: F027B1E4D17DAD53 Time : 0.0 sec. user=mdettweiler [2017-04-15 11:09:04] 741*2^1451702-1 is not prime. Res64: E42B28237FE93677 Time : 0.0 sec. user=mdettweiler [2017-04-15 11:09:04] 755*2^1451702-1 is not prime. Res64: BAE77E1F66278E03 Time : 0.0 sec. user=mdettweiler [2017-04-15 11:09:04] 771*2^1451702-1 is not prime. Res64: 65D0CE51F18568CC Time : 0.0 sec. user=mdettweiler [2017-04-15 11:20:58] 867*2^1451702-1 is not prime. Res64: 98843F030712DA8E Time : 0.0 sec. user=mdettweiler [2017-04-15 11:20:59] 951*2^1451702-1 is not prime. Res64: EEFA4944EF942F2E Time : 0.0 sec. user=mdettweiler [2017-04-15 11:20:59] 1001*2^1451702-1 is not prime. Res64: AFC4D0483170EF0A Time : 0.0 sec. user=mdettweiler [2017-04-15 11:20:59] 663*2^1451703-1 is not prime. Res64: D5DFAA74A6A50A85 Time : 0.0 sec. user=mdettweiler [2017-04-15 11:21:00] 849*2^1451703-1 is not prime. Res64: 7DDC7285510288CB Time : 0.0 sec. user=mdettweiler [2017-04-15 11:30:33] 885*2^1451703-1 is not prime. Res64: 6D79DF7AFDBB5D61 Time : 0.0 sec. user=mdettweiler [2017-04-15 11:30:34] 949*2^1451703-1 is not prime. Res64: 6E74C5F0C9BCAAC8 Time : 0.0 sec. user=mdettweiler [2017-04-15 11:30:34] 705*2^1451704-1 is not prime. Res64: 168B2F36E8551C3D Time : 0.0 sec. user=mdettweiler [2017-04-15 11:30:35] 775*2^1451705-1 is not prime. Res64: 2AA31D31EC72087F Time : 0.0 sec. user=mdettweiler [2017-04-15 11:30:35] 871*2^1451705-1 is not prime. Res64: FFF845BB35A7988A Time : 0.0 sec. user=mdettweiler [2017-04-15 11:31:04] 925*2^1451705-1 is not prime. Res64: 24FDF37D36DFA12D Time : 0.0 sec. user=mdettweiler [2017-04-15 11:31:04] 937*2^1451705-1 is not prime. Res64: 5144ABF931606D43 Time : 0.0 sec. user=mdettweiler [2017-04-15 11:31:05] 725*2^1451706-1 is not prime. Res64: A89FF00014253E43 Time : 0.0 sec. user=mdettweiler [2017-04-15 11:31:05] 767*2^1451706-1 is not prime. Res64: D828051503FA1033 Time : 0.0 sec. user=mdettweiler [2017-04-15 11:31:05] 777*2^1451706-1 is not prime. Res64: 688A54F66010A98E Time : 0.0 sec. user=juhehe [2017-04-15 11:35:31] 875*2^1451706-1 is not prime. Res64: DDB3071F3B5A981B Time : 0.0 sec. user=mdettweiler [2017-04-15 11:55:13] 941*2^1451706-1 is not prime. Res64: E58BC03E751D2B93 Time : 0.0 sec. user=mdettweiler [2017-04-15 11:55:13] 945*2^1451706-1 is not prime. Res64: 2130D0E897930C4C Time : 0.0 sec. user=mdettweiler [2017-04-15 11:55:14] 829*2^1451707-1 is not prime. Res64: 21B52902341BE5CB Time : 0.0 sec. user=mdettweiler [2017-04-15 11:55:14] 919*2^1451707-1 is not prime. Res64: 5187D1017802F968 Time : 0.0 sec. user=mdettweiler [2017-04-15 11:55:15] 635*2^1451708-1 is not prime. Res64: C44D49D628D0B2F6 Time : 0.0 sec. user=mdettweiler [2017-04-15 12:07:46] 725*2^1451708-1 is not prime. Res64: 25C6995F53843BCD Time : 0.0 sec. user=mdettweiler [2017-04-15 12:07:46] 795*2^1451708-1 is not prime. Res64: C1A44A4AEF66CE5A Time : 0.0 sec. user=mdettweiler [2017-04-15 12:07:47] 797*2^1451708-1 is not prime. Res64: 891F70E847492095 Time : 0.0 sec. user=mdettweiler [2017-04-15 12:07:47] 825*2^1451708-1 is not prime. Res64: 3600E08D48113CA0 Time : 0.0 sec. user=mdettweiler [2017-04-15 12:07:47] 893*2^1451708-1 is not prime. Res64: CA2C37990F17B67F Time : 0.0 sec. user=mdettweiler [2017-04-15 12:17:31] 899*2^1451708-1 is not prime. Res64: 281750F24095C1E4 Time : 0.0 sec. user=mdettweiler [2017-04-15 12:17:32] 953*2^1451708-1 is not prime. Res64: 4E0590B28DED3F19 Time : 0.0 sec. user=mdettweiler [2017-04-15 12:17:33] 627*2^1451709-1 is not prime. Res64: 111F7028EC4B171D Time : 0.0 sec. user=mdettweiler [2017-04-15 12:17:33] 769*2^1451709-1 is not prime. Res64: E55A7CBAC76B97D1 Time : 0.0 sec. user=mdettweiler [2017-04-15 12:17:33] 825*2^1451709-1 is not prime. Res64: F478EA206628919D Time : 0.0 sec. user=mdettweiler [2017-04-15 12:18:09] 927*2^1451709-1 is not prime. Res64: 43AD415D660776B4 Time : 0.0 sec. user=mdettweiler [2017-04-15 12:18:09] 657*2^1451710-1 is not prime. Res64: 5E818099036B7C5D Time : 0.0 sec. user=mdettweiler [2017-04-15 12:18:10] 663*2^1451710-1 is not prime. Res64: 35F2B5BE7D983D66 Time : 0.0 sec. user=mdettweiler [2017-04-15 12:18:10] 665*2^1451710-1 is not prime. Res64: F5BF6C0450D922FE Time : 0.0 sec. user=mdettweiler [2017-04-15 12:18:10] 681*2^1451710-1 is not prime. Res64: 17743D2F6EFB8DA5 Time : 0.0 sec. user=mdettweiler [2017-04-15 12:43:00] 747*2^1451710-1 is not prime. Res64: 0A22B7231EE3F6FD Time : 0.0 sec. user=mdettweiler [2017-04-15 12:43:01] 863*2^1451710-1 is not prime. Res64: 0DE8A268A3611613 Time : 0.0 sec. user=mdettweiler [2017-04-15 12:43:01] 885*2^1451710-1 is not prime. Res64: 6E4DB28C89E52E6A Time : 0.0 sec. user=mdettweiler [2017-04-15 12:43:02] 933*2^1451710-1 is not prime. Res64: 90641059B80E85B0 Time : 0.0 sec. user=mdettweiler [2017-04-15 12:43:02] 975*2^1451710-1 is not prime. Res64: 8CCE6E163AF0F205 Time : 0.0 sec. user=mdettweiler [2017-04-15 12:56:39] 673*2^1451711-1 is not prime. Res64: 960C82EF6F6F5D8C Time : 0.0 sec. user=mdettweiler [2017-04-15 12:56:40] 685*2^1451711-1 is not prime. Res64: D4CEAEEACC4FE25B Time : 0.0 sec. user=mdettweiler [2017-04-15 12:56:40] 783*2^1451711-1 is not prime. Res64: 988D490ACC91E82C Time : 0.0 sec. user=mdettweiler [2017-04-15 12:56:40] 811*2^1451711-1 is not prime. Res64: 6E0C70C1549474F8 Time : 0.0 sec. user=mdettweiler [2017-04-15 12:56:41] 889*2^1451711-1 is not prime. Res64: CB5613266EFE6484 Time : 0.0 sec. user=mdettweiler [2017-04-15 13:06:12] 993*2^1451711-1 is not prime. Res64: CBE60FABF772A71F Time : 0.0 sec. user=mdettweiler [2017-04-15 13:06:13] 665*2^1451712-1 is not prime. Res64: A320A09AF15356D6 Time : 0.0 sec. user=mdettweiler [2017-04-15 13:06:13] 695*2^1451712-1 is not prime. Res64: 544218F0C087B06B Time : 0.0 sec. user=mdettweiler [2017-04-15 13:06:14] 723*2^1451712-1 is not prime. Res64: 8D078238542747F1 Time : 0.0 sec. user=mdettweiler [2017-04-15 13:06:14] 825*2^1451712-1 is not prime. Res64: C0589090C9E9A849 Time : 0.0 sec. user=mdettweiler [2017-04-15 13:07:08] 899*2^1451712-1 is not prime. Res64: D2C202863E963312 Time : 0.0 sec. user=mdettweiler [2017-04-15 13:07:09] 923*2^1451712-1 is not prime. Res64: 7CA16B247206559B Time : 0.0 sec. user=mdettweiler [2017-04-15 13:07:09] 999*2^1451712-1 is not prime. Res64: B891792EDC3DE099 Time : 0.0 sec. user=mdettweiler [2017-04-15 13:07:09] 637*2^1451713-1 is not prime. Res64: 018C6A73938C6E92 Time : 0.0 sec. user=mdettweiler [2017-04-15 13:07:10] 751*2^1451713-1 is not prime. Res64: 18A9EFB895352057 Time : 0.0 sec. user=mdettweiler [2017-04-15 13:30:30] 651*2^1451714-1 is not prime. Res64: 56814C0900CDFA23 Time : 0.0 sec. user=mdettweiler [2017-04-15 13:30:30] 755*2^1451714-1 is not prime. Res64: DB7FC061DF8853FC Time : 0.0 sec. user=mdettweiler [2017-04-15 13:30:31] 797*2^1451714-1 is not prime. Res64: D167F0EDEFE5BAA0 Time : 0.0 sec. user=mdettweiler [2017-04-15 13:30:31] 837*2^1451714-1 is not prime. Res64: F9F7834E8DD72CE4 Time : 0.0 sec. user=mdettweiler [2017-04-15 13:30:33] 951*2^1451714-1 is not prime. Res64: ED7D24F135E8D789 Time : 0.0 sec. user=juhehe [2017-04-15 13:32:46] 981*2^1451714-1 is not prime. Res64: 9ADC419176030533 Time : 0.0 sec. user=mdettweiler [2017-04-15 13:42:14] 995*2^1451714-1 is not prime. Res64: 53AFDB02E7489883 Time : 0.0 sec. user=mdettweiler [2017-04-15 13:42:14] 643*2^1451715-1 is not prime. Res64: D10458E0540EE134 Time : 0.0 sec. user=mdettweiler [2017-04-15 13:42:15] 663*2^1451715-1 is not prime. Res64: B1359AD39BB412B3 Time : 0.0 sec. user=mdettweiler [2017-04-15 13:42:15] 691*2^1451715-1 is not prime. Res64: 761726C7BE31C03A Time : 0.0 sec. user=mdettweiler [2017-04-15 13:42:15] 781*2^1451715-1 is not prime. Res64: 1E4CD82FCDC2D83B Time : 0.0 sec. user=mdettweiler [2017-04-15 13:51:28] 795*2^1451715-1 is not prime. Res64: 0C303D5BEB7A478E Time : 0.0 sec. user=mdettweiler [2017-04-15 13:51:29] 903*2^1451715-1 is not prime. Res64: 68B393AA30EF6154 Time : 0.0 sec. user=mdettweiler [2017-04-15 13:51:29] 943*2^1451715-1 is not prime. Res64: C19925AE92F8A9B5 Time : 0.0 sec. user=mdettweiler [2017-04-15 13:51:30] 979*2^1451715-1 is not prime. Res64: 4C1DC79F51CEC07F Time : 0.0 sec. user=mdettweiler [2017-04-15 13:51:30] 705*2^1451716-1 is not prime. Res64: 2EDCC8089F58F65D Time : 0.0 sec. user=mdettweiler [2017-04-15 13:52:16] 749*2^1451716-1 is not prime. Res64: 66E6E0608027C320 Time : 0.0 sec. user=mdettweiler [2017-04-15 13:52:17] 785*2^1451716-1 is not prime. Res64: 99904884DFD29799 Time : 0.0 sec. user=mdettweiler [2017-04-15 13:52:17] 875*2^1451716-1 is not prime. Res64: 74C56BEC96BD2560 Time : 0.0 sec. user=mdettweiler [2017-04-15 13:52:18] 975*2^1451716-1 is not prime. Res64: 826377CEA97FF206 Time : 0.0 sec. user=mdettweiler [2017-04-15 13:52:18] 607*2^1451717-1 is not prime. Res64: 3DE4330F5D77B423 Time : 0.0 sec. user=mdettweiler [2017-04-15 14:15:43] 615*2^1451717-1 is not prime. Res64: E8D1609681B795B8 Time : 0.0 sec. user=mdettweiler [2017-04-15 14:15:43] 715*2^1451717-1 is not prime. Res64: 79273F75B134CE4F Time : 0.0 sec. user=mdettweiler [2017-04-15 14:15:44] 741*2^1451717-1 is not prime. Res64: 63415515766DF751 Time : 0.0 sec. user=mdettweiler [2017-04-15 14:15:44] 825*2^1451717-1 is not prime. Res64: 54CD1C332EC02FC9 Time : 0.0 sec. user=mdettweiler [2017-04-15 14:15:45] 829*2^1451717-1 is not prime. Res64: 05CF5E77C4E5C134 Time : 0.0 sec. user=mdettweiler [2017-04-15 14:27:18] 837*2^1451717-1 is not prime. Res64: 62CA5B1EA25CAAED Time : 0.0 sec. user=mdettweiler [2017-04-15 14:27:19] 635*2^1451718-1 is not prime. Res64: EADB51198D52D19E Time : 0.0 sec. user=mdettweiler [2017-04-15 14:27:19] 693*2^1451718-1 is not prime. Res64: 634B340879BBF0D3 Time : 0.0 sec. user=mdettweiler [2017-04-15 14:27:20] 707*2^1451718-1 is not prime. Res64: D6E1BC3034D5E62D Time : 0.0 sec. user=mdettweiler [2017-04-15 14:27:20] 725*2^1451718-1 is not prime. Res64: 4ABADDEFA31DFFFC Time : 0.0 sec. user=mdettweiler [2017-04-15 14:36:31] 815*2^1451718-1 is not prime. Res64: 66727E6AA5C12739 Time : 0.0 sec. user=mdettweiler [2017-04-15 14:36:31] 821*2^1451718-1 is not prime. Res64: 0AA2A18E48A36BF3 Time : 0.0 sec. user=mdettweiler [2017-04-15 14:36:32] 825*2^1451718-1 is not prime. Res64: 17A704959F109564 Time : 0.0 sec. user=mdettweiler [2017-04-15 14:36:32] 963*2^1451718-1 is not prime. Res64: 6468178EB79EB01C Time : 0.0 sec. user=mdettweiler [2017-04-15 14:36:33] 971*2^1451718-1 is not prime. Res64: C4A7C7A92B579F81 Time : 0.0 sec. user=mdettweiler [2017-04-15 14:37:22] 993*2^1451718-1 is not prime. Res64: 22E7A5063B136C15 Time : 0.0 sec. user=mdettweiler [2017-04-15 14:37:22] 601*2^1451719-1 is not prime. Res64: 51CF1B4B2B21260D Time : 0.0 sec. user=mdettweiler [2017-04-15 14:37:23] 645*2^1451719-1 is not prime. Res64: 54154A16AF81D16E Time : 0.0 sec. user=mdettweiler [2017-04-15 14:37:23] 679*2^1451719-1 is not prime. Res64: 97955E602BB4B010 Time : 0.0 sec. user=mdettweiler [2017-04-15 14:37:23] 693*2^1451719-1 is not prime. Res64: 0FFBAA239E5ACC6D Time : 0.0 sec. user=mdettweiler [2017-04-15 15:00:59] 853*2^1451719-1 is not prime. Res64: 3CE80A790886B370 Time : 0.0 sec. user=mdettweiler [2017-04-15 15:00:59] 883*2^1451719-1 is not prime. Res64: 448ABEB02BF32E4C Time : 0.0 sec. user=mdettweiler [2017-04-15 15:01:00] 889*2^1451719-1 is not prime. Res64: 604E616F0D01A433 Time : 0.0 sec. user=mdettweiler [2017-04-15 15:01:01] 603*2^1451720-1 is not prime. Res64: 0E2DD711988AA109 Time : 0.0 sec. user=mdettweiler [2017-04-15 15:01:02] 615*2^1451720-1 is not prime. Res64: B5AC1C0E1B04EAD0 Time : 0.0 sec. user=mdettweiler [2017-04-15 15:12:33] 719*2^1451720-1 is not prime. Res64: 931658F07D119EA7 Time : 0.0 sec. user=mdettweiler [2017-04-15 15:12:33] 753*2^1451720-1 is not prime. Res64: 766B2986D2C6F0B2 Time : 0.0 sec. user=mdettweiler [2017-04-15 15:12:34] 755*2^1451720-1 is not prime. Res64: A9C508E6A6D8353D Time : 0.0 sec. user=mdettweiler [2017-04-15 15:12:34] 773*2^1451720-1 is not prime. Res64: C61E1235052ED40A Time : 0.0 sec. user=mdettweiler [2017-04-15 15:12:35] 893*2^1451720-1 is not prime. Res64: 80689C381EA486B2 Time : 0.0 sec. user=mdettweiler [2017-04-15 15:21:30] 927*2^1451720-1 is not prime. Res64: 5AFF8B7508BBC99D Time : 0.0 sec. user=mdettweiler [2017-04-15 15:21:30] 957*2^1451720-1 is not prime. Res64: 4384F4CD3BD01E68 Time : 0.0 sec. user=mdettweiler [2017-04-15 15:21:30] 649*2^1451721-1 is not prime. Res64: C6B3375E9CFA32E9 Time : 0.0 sec. user=mdettweiler [2017-04-15 15:21:31] 681*2^1451721-1 is not prime. Res64: 4CDEC470332CC258 Time : 0.0 sec. user=mdettweiler [2017-04-15 15:21:31] 705*2^1451721-1 is not prime. Res64: 6B1E857CE154BD73 Time : 0.0 sec. user=mdettweiler [2017-04-15 15:22:28] 811*2^1451721-1 is not prime. Res64: FDD627879772BD2F Time : 0.0 sec. user=mdettweiler [2017-04-15 15:22:29] 847*2^1451721-1 is not prime. Res64: E918507C3BF0DAF8 Time : 0.0 sec. user=mdettweiler [2017-04-15 15:22:29] 969*2^1451721-1 is not prime. Res64: 931C6E6417FCEC0E Time : 0.0 sec. user=mdettweiler [2017-04-15 15:22:29] 621*2^1451722-1 is not prime. Res64: 8C8B3851432E3E8F Time : 0.0 sec. user=mdettweiler [2017-04-15 15:22:30] 653*2^1451722-1 is not prime. Res64: AE72298923437B5C Time : 0.0 sec. user=juhehe [2017-04-15 15:30:09] 657*2^1451722-1 is not prime. Res64: 1386573DA0897FB4 Time : 0.0 sec. user=mdettweiler [2017-04-15 15:46:20] 677*2^1451722-1 is not prime. Res64: 5431E139AC0A76B6 Time : 0.0 sec. user=mdettweiler [2017-04-15 15:46:20] 741*2^1451722-1 is not prime. Res64: FA33B0814015843F Time : 0.0 sec. user=mdettweiler [2017-04-15 15:46:21] 791*2^1451722-1 is not prime. Res64: 0C130D12E7280BFC Time : 0.0 sec. user=mdettweiler [2017-04-15 15:46:21] 825*2^1451722-1 is not prime. Res64: 9537DB5D707FCA99 Time : 0.0 sec. user=mdettweiler [2017-04-15 15:46:22] 843*2^1451722-1 is not prime. Res64: 47EDED2EC9310224 Time : 0.0 sec. user=mdettweiler [2017-04-15 15:57:54] 885*2^1451722-1 is not prime. Res64: FCA0CCD9139889CC Time : 0.0 sec. user=mdettweiler [2017-04-15 15:57:55] 675*2^1451723-1 is not prime. Res64: BC56460648F28175 Time : 0.0 sec. user=mdettweiler [2017-04-15 15:57:55] 715*2^1451723-1 is not prime. Res64: 46A7A84F723EB1F4 Time : 0.0 sec. user=mdettweiler [2017-04-15 15:57:55] 783*2^1451723-1 is not prime. Res64: 91DFC9DDF18A5474 Time : 0.0 sec. user=mdettweiler [2017-04-15 15:57:56] 939*2^1451723-1 is not prime. Res64: B1854C7D468977B7 Time : 0.0 sec. user=mdettweiler [2017-04-15 16:06:56] 943*2^1451723-1 is not prime. Res64: 37DA65B872DB3C70 Time : 0.0 sec. user=mdettweiler [2017-04-15 16:06:56] 627*2^1451724-1 is not prime. Res64: EB3A1FAE107A7B0A Time : 0.0 sec. user=mdettweiler [2017-04-15 16:06:57] 629*2^1451724-1 is not prime. Res64: 6B598D6B18126BB8 Time : 0.0 sec. user=mdettweiler [2017-04-15 16:06:57] 675*2^1451724-1 is not prime. Res64: 38C77C5842D3EDD7 Time : 0.0 sec. user=mdettweiler [2017-04-15 16:06:57] 683*2^1451724-1 is not prime. Res64: 0AC6AC6C1B46ED5C Time : 0.0 sec. user=mdettweiler [2017-04-15 16:07:47] 707*2^1451724-1 is not prime. Res64: 9630DFD8C2D9AE69 Time : 0.0 sec. user=mdettweiler [2017-04-15 16:07:47] 783*2^1451724-1 is not prime. Res64: 74B6143856819631 Time : 0.0 sec. user=mdettweiler [2017-04-15 16:07:47] 875*2^1451724-1 is not prime. Res64: BA37D27D9E46CAAA Time : 0.0 sec. user=mdettweiler [2017-04-15 16:07:48] 915*2^1451724-1 is not prime. Res64: AF1E42E85A2FD43D Time : 0.0 sec. user=mdettweiler [2017-04-15 16:07:48] 811*2^1451725-1 is not prime. Res64: D11CCF3C337169E7 Time : 0.0 sec. user=mdettweiler [2017-04-15 16:31:35] 861*2^1451725-1 is not prime. Res64: 7A4022FC7A7D03C2 Time : 0.0 sec. user=mdettweiler [2017-04-15 16:31:36] 939*2^1451725-1 is not prime. Res64: 220C900CBB2C3D48 Time : 0.0 sec. user=mdettweiler [2017-04-15 16:31:36] 693*2^1451726-1 is not prime. Res64: 90601D6C1CD4B563 Time : 0.0 sec. user=mdettweiler [2017-04-15 16:31:36] 761*2^1451726-1 is not prime. Res64: D610CDCB02E83851 Time : 0.0 sec. user=mdettweiler [2017-04-15 16:31:37] 795*2^1451726-1 is not prime. Res64: 8D14281234863430 Time : 0.0 sec. user=mdettweiler [2017-04-15 16:43:02] 911*2^1451726-1 is not prime. Res64: BBCC6E22268301E6 Time : 0.0 sec. user=mdettweiler [2017-04-15 16:43:02] 923*2^1451726-1 is not prime. Res64: 56FE08DA2658E9D4 Time : 0.0 sec. user=mdettweiler [2017-04-15 16:43:02] 965*2^1451726-1 is not prime. Res64: 5840AD2FB4E77B58 Time : 0.0 sec. user=mdettweiler [2017-04-15 16:43:03] 913*2^1451727-1 is not prime. Res64: 9E47BB15DFC0014E Time : 0.0 sec. user=mdettweiler [2017-04-15 16:43:03] 961*2^1451727-1 is not prime. Res64: C8F88E1214B024D3 Time : 0.0 sec. user=mdettweiler [2017-04-15 16:52:04] 979*2^1451727-1 is not prime. Res64: FF2ECB6A75E70CD1 Time : 0.0 sec. user=mdettweiler [2017-04-15 16:52:05] 999*2^1451727-1 is not prime. Res64: 0F1D43369A65A041 Time : 0.0 sec. user=mdettweiler [2017-04-15 16:52:05] 743*2^1451728-1 is not prime. Res64: 6B4FC818525CC9B8 Time : 0.0 sec. user=mdettweiler [2017-04-15 16:52:06] 813*2^1451728-1 is not prime. Res64: 5B2BF4DBDB82369F Time : 0.0 sec. user=mdettweiler [2017-04-15 16:52:06] 863*2^1451728-1 is not prime. Res64: 37A670805D17E33B Time : 0.0 sec. user=mdettweiler [2017-04-15 16:53:01] 915*2^1451728-1 is not prime. Res64: BCE50AB526E3C84F Time : 0.0 sec. user=mdettweiler [2017-04-15 16:53:02] 721*2^1451729-1 is not prime. Res64: C62E850BBD2C434F Time : 0.0 sec. user=mdettweiler [2017-04-15 16:53:02] 735*2^1451729-1 is not prime. Res64: 9498CB47A28D0855 Time : 0.0 sec. user=mdettweiler [2017-04-15 16:53:03] 775*2^1451729-1 is not prime. Res64: B7CA82A95CA365E1 Time : 0.0 sec. user=mdettweiler [2017-04-15 16:53:03] 855*2^1451729-1 is not prime. Res64: DD555B9D9201AAEA Time : 0.0 sec. user=mdettweiler [2017-04-15 17:16:40] 879*2^1451729-1 is not prime. Res64: 81BB9A5619080A81 Time : 0.0 sec. user=mdettweiler [2017-04-15 17:16:41] 641*2^1451730-1 is not prime. Res64: D83CD2DEB8DC1354 Time : 0.0 sec. user=mdettweiler [2017-04-15 17:16:41] 755*2^1451730-1 is not prime. Res64: D56D10975FFE6F52 Time : 0.0 sec. user=mdettweiler [2017-04-15 17:16:42] 803*2^1451730-1 is not prime. Res64: DB802A2D4CCA4617 Time : 0.0 sec. user=mdettweiler [2017-04-15 17:16:42] 825*2^1451730-1 is not prime. Res64: 8EF66E7D022FF9F4 Time : 0.0 sec. user=juhehe [2017-04-15 17:27:46] 759*2^1451731-1 is not prime. Res64: 251ECD4A2798CA64 Time : 0.0 sec. user=mdettweiler [2017-04-15 17:28:20] 917*2^1451730-1 is not prime. Res64: 9F44D1D94F795291 Time : 0.0 sec. user=mdettweiler [2017-04-15 17:28:21] 945*2^1451730-1 is not prime. Res64: D88DF6333DE0BC0A Time : 0.0 sec. user=mdettweiler [2017-04-15 17:28:21] 977*2^1451730-1 is not prime. Res64: F37FD6D379DA8340 Time : 0.0 sec. user=mdettweiler [2017-04-15 17:28:22] 663*2^1451731-1 is not prime. Res64: 34AAB393659D4C46 Time : 0.0 sec. user=mdettweiler [2017-04-15 17:28:22] 723*2^1451731-1 is not prime. Res64: 9D22CDD41511B47F Time : 0.0 sec. user=mdettweiler [2017-04-15 17:37:14] 861*2^1451731-1 is not prime. Res64: 468CEAC50AC86146 Time : 0.0 sec. user=mdettweiler [2017-04-15 17:37:15] 603*2^1451732-1 is not prime. Res64: A10B660AE2602C71 Time : 0.0 sec. user=mdettweiler [2017-04-15 17:37:15] 615*2^1451732-1 is not prime. Res64: F4257900E5AD5C25 Time : 0.0 sec. user=mdettweiler [2017-04-15 17:37:15] 677*2^1451732-1 is not prime. Res64: 7C8E75D1048F9616 Time : 0.0 sec. user=mdettweiler [2017-04-15 17:37:16] 689*2^1451732-1 is not prime. Res64: 37FF11580F377FB0 Time : 0.0 sec. user=mdettweiler [2017-04-15 17:38:16] 825*2^1451732-1 is not prime. Res64: 8470D1E357C3C4CD Time : 0.0 sec. user=mdettweiler [2017-04-15 17:38:16] 837*2^1451732-1 is not prime. Res64: 4FBCE4C580E64E91 Time : 0.0 sec. user=mdettweiler [2017-04-15 17:38:16] 915*2^1451732-1 is not prime. Res64: 2F6827DBFA543444 Time : 0.0 sec. user=mdettweiler [2017-04-15 17:38:17] 945*2^1451732-1 is not prime. Res64: A66DCA6BF48057A9 Time : 0.0 sec. user=mdettweiler [2017-04-15 17:38:17] 621*2^1451733-1 is not prime. Res64: 1C7F898564A9E157 Time : 0.0 sec. user=mdettweiler [2017-04-15 18:01:48] 679*2^1451733-1 is not prime. Res64: BB61BFF86BD6FFBD Time : 0.0 sec. user=mdettweiler [2017-04-15 18:01:49] 817*2^1451733-1 is not prime. Res64: 4DE046D13E64BE7E Time : 0.0 sec. user=mdettweiler [2017-04-15 18:01:50] 819*2^1451733-1 is not prime. Res64: 5AB1CBD8F1FEAF3C Time : 0.0 sec. user=mdettweiler [2017-04-15 18:01:51] 617*2^1451734-1 is not prime. Res64: DDA1580D9BBC0DE6 Time : 0.0 sec. user=mdettweiler [2017-04-15 18:01:51] 623*2^1451734-1 is not prime. Res64: 375C61369CAF3887 Time : 0.0 sec. user=mdettweiler [2017-04-15 18:13:31] 645*2^1451734-1 is not prime. Res64: 613BB2185D6791C4 Time : 0.0 sec. user=mdettweiler [2017-04-15 18:13:31] 695*2^1451734-1 is not prime. Res64: 799668EA69083A6B Time : 0.0 sec. user=mdettweiler [2017-04-15 18:13:31] 755*2^1451734-1 is not prime. Res64: 4319C48D6661BFCE Time : 0.0 sec. user=mdettweiler [2017-04-15 18:13:32] 833*2^1451734-1 is not prime. Res64: 4D69415D40B21D1D Time : 0.0 sec. user=mdettweiler [2017-04-15 18:13:32] 891*2^1451734-1 is not prime. Res64: FB2792955D3BBF0E Time : 0.0 sec. user=mdettweiler [2017-04-15 18:22:18] 945*2^1451734-1 is not prime. Res64: B45904A42EB9A20A Time : 0.0 sec. user=mdettweiler [2017-04-15 18:22:19] 965*2^1451734-1 is not prime. Res64: 58008A9A5C5C052D Time : 0.0 sec. user=mdettweiler [2017-04-15 18:22:19] 619*2^1451735-1 is not prime. Res64: 339A6AC1CA3268D6 Time : 0.0 sec. user=mdettweiler [2017-04-15 18:22:20] 753*2^1451735-1 is not prime. Res64: 069734BA22E46256 Time : 0.0 sec. user=mdettweiler [2017-04-15 18:22:20] 969*2^1451735-1 is not prime. Res64: 3516D4CB37C375EE Time : 0.0 sec. user=mdettweiler [2017-04-15 18:23:10] 973*2^1451735-1 is not prime. Res64: 249BE7157A5882DF Time : 0.0 sec. user=mdettweiler [2017-04-15 18:23:10] 635*2^1451736-1 is not prime. Res64: 7A607FC9A5A585B2 Time : 0.0 sec. user=mdettweiler [2017-04-15 18:23:11] 689*2^1451736-1 is not prime. Res64: 8E7C4F4683B1A1AC Time : 0.0 sec. user=mdettweiler [2017-04-15 18:23:11] 693*2^1451736-1 is not prime. Res64: 189E4FF1B46AEB9D Time : 0.0 sec. user=mdettweiler [2017-04-15 18:23:12] 735*2^1451736-1 is not prime. Res64: 46A870C62844443A Time : 0.0 sec. user=mdettweiler [2017-04-15 18:46:58] 767*2^1451736-1 is not prime. Res64: 78D6DA445F633984 Time : 0.0 sec. user=mdettweiler [2017-04-15 18:46:59] 839*2^1451736-1 is not prime. Res64: 2DA0C249B649D820 Time : 0.0 sec. user=mdettweiler [2017-04-15 18:46:59] 879*2^1451736-1 is not prime. Res64: F5828CFCBA9FE066 Time : 0.0 sec. user=mdettweiler [2017-04-15 18:47:00] 927*2^1451736-1 is not prime. Res64: 1BA5B51CB7E2ED9F Time : 0.0 sec. user=mdettweiler [2017-04-15 18:47:00] 975*2^1451736-1 is not prime. Res64: 01037B0416F2EE38 Time : 0.0 sec. user=mdettweiler [2017-04-15 18:58:24] 993*2^1451736-1 is not prime. Res64: 90DF906B06FAEF65 Time : 0.0 sec. user=mdettweiler [2017-04-15 18:58:24] 651*2^1451737-1 is not prime. Res64: 9C30B85062C129CB Time : 0.0 sec. user=mdettweiler [2017-04-15 18:58:25] 661*2^1451737-1 is not prime. Res64: 7403E2FE3C751AF6 Time : 0.0 sec. user=mdettweiler [2017-04-15 18:58:25] 667*2^1451737-1 is not prime. Res64: EDDE41AEA06A0F0F Time : 0.0 sec. user=mdettweiler [2017-04-15 18:58:25] 741*2^1451737-1 is not prime. Res64: 4C259F3FAB74B60B Time : 0.0 sec. user=mdettweiler [2017-04-15 19:07:20] 747*2^1451737-1 is not prime. Res64: 98A9988CC47B8510 Time : 0.0 sec. user=mdettweiler [2017-04-15 19:07:21] 835*2^1451737-1 is not prime. Res64: 20ABC56D0594AFF7 Time : 0.0 sec. user=mdettweiler [2017-04-15 19:07:21] 867*2^1451737-1 is not prime. Res64: 956BC9B1C1B414D4 Time : 0.0 sec. user=mdettweiler [2017-04-15 19:07:22] 895*2^1451737-1 is not prime. Res64: 10B170CCC2541E65 Time : 0.0 sec. user=mdettweiler [2017-04-15 19:07:22] 897*2^1451737-1 is not prime. Res64: C45F59CBA80EA31B Time : 0.0 sec. user=mdettweiler [2017-04-15 19:08:22] 975*2^1451737-1 is not prime. Res64: 59AE69520BA6A211 Time : 0.0 sec. user=mdettweiler [2017-04-15 19:08:22] 997*2^1451737-1 is not prime. Res64: 6E9B5E9A3481805E Time : 0.0 sec. user=mdettweiler [2017-04-15 19:08:23] 617*2^1451738-1 is not prime. Res64: C422D0CB7F4F0B21 Time : 0.0 sec. user=mdettweiler [2017-04-15 19:08:23] 641*2^1451738-1 is not prime. Res64: 95422B4341C10800 Time : 0.0 sec. user=mdettweiler [2017-04-15 19:08:23] 705*2^1451738-1 is not prime. Res64: 1C94EB5A9AA148E7 Time : 0.0 sec. user=juhehe [2017-04-15 19:25:33] 923*2^1451738-1 is not prime. Res64: 2DD572C503470E4A Time : 0.0 sec. user=mdettweiler [2017-04-15 19:32:30] 707*2^1451738-1 is not prime. Res64: 9EA627A4669F6976 Time : 0.0 sec. user=mdettweiler [2017-04-15 19:32:30] 735*2^1451738-1 is not prime. Res64: 97A9DF65A6BD4439 Time : 0.0 sec. user=mdettweiler [2017-04-15 19:32:31] 755*2^1451738-1 is not prime. Res64: F1A2E4FEC8035965 Time : 0.0 sec. user=mdettweiler [2017-04-15 19:32:31] 797*2^1451738-1 is not prime. Res64: 4F33122A909E2204 Time : 0.0 sec. user=mdettweiler [2017-04-15 19:32:32] 887*2^1451738-1 is not prime. Res64: E8ED107043B9AEAC Time : 0.0 sec. user=mdettweiler [2017-04-15 19:44:19] 927*2^1451738-1 is not prime. Res64: C4C25179956974A2 Time : 0.0 sec. user=mdettweiler [2017-04-15 19:44:20] 711*2^1451739-1 is not prime. Res64: 749909E1F4A76754 Time : 0.0 sec. user=mdettweiler [2017-04-15 19:44:20] 741*2^1451739-1 is not prime. Res64: 3EDEA8FDE7BE71B4 Time : 0.0 sec. user=mdettweiler [2017-04-15 19:44:21] 751*2^1451739-1 is not prime. Res64: 56C27B5D2AB50A0B Time : 0.0 sec. user=mdettweiler [2017-04-15 19:44:21] 825*2^1451739-1 is not prime. Res64: 40794FDD69DF7A96 Time : 0.0 sec. user=mdettweiler [2017-04-15 19:53:11] 919*2^1451739-1 is not prime. Res64: 9A3AE4837CE01055 Time : 0.0 sec. user=mdettweiler [2017-04-15 19:53:11] 623*2^1451740-1 is not prime. Res64: 00CFAB2A0811EE79 Time : 0.0 sec. user=mdettweiler [2017-04-15 19:53:12] 687*2^1451740-1 is not prime. Res64: 941DAC4D88AA991C Time : 0.0 sec. user=mdettweiler [2017-04-15 19:53:12] 695*2^1451740-1 is not prime. Res64: AA777AF8D7E04CAC Time : 0.0 sec. user=mdettweiler [2017-04-15 19:53:13] 719*2^1451740-1 is not prime. Res64: 78B2873B645EAD86 Time : 0.0 sec. user=mdettweiler [2017-04-15 19:54:10] 797*2^1451740-1 is not prime. Res64: A727C1FFCAE17B2D Time : 0.0 sec. user=mdettweiler [2017-04-15 19:54:11] 923*2^1451740-1 is not prime. Res64: BDE647440F01B426 Time : 0.0 sec. user=mdettweiler [2017-04-15 19:54:11] 631*2^1451741-1 is not prime. Res64: 03430D9E40785DCE Time : 0.0 sec. user=mdettweiler [2017-04-15 19:54:11] 645*2^1451741-1 is not prime. Res64: 4A0485C97DF24446 Time : 0.0 sec. user=mdettweiler [2017-04-15 19:54:12] 829*2^1451741-1 is not prime. Res64: C8BCE0D9A5A1445A Time : 0.0 sec. user=mdettweiler [2017-04-15 20:17:43] 957*2^1451741-1 is not prime. Res64: EA4D178BDB7EF231 Time : 0.0 sec. user=mdettweiler [2017-04-15 20:17:43] 979*2^1451741-1 is not prime. Res64: C47800862EFACA4C Time : 0.0 sec. user=mdettweiler [2017-04-15 20:17:44] 693*2^1451742-1 is not prime. Res64: 5AAD2080C8B5E7C3 Time : 0.0 sec. user=mdettweiler [2017-04-15 20:17:44] 705*2^1451742-1 is not prime. Res64: 6E55AA9A94D34226 Time : 0.0 sec. user=mdettweiler [2017-04-15 20:17:45] 717*2^1451742-1 is not prime. Res64: 12EEB49AE0528485 Time : 0.0 sec. user=mdettweiler [2017-04-15 20:29:40] 737*2^1451742-1 is not prime. Res64: 6837960C6FC17814 Time : 0.0 sec. user=mdettweiler [2017-04-15 20:29:40] 875*2^1451742-1 is not prime. Res64: F4ED490B08873142 Time : 0.0 sec. user=mdettweiler [2017-04-15 20:29:40] 891*2^1451742-1 is not prime. Res64: B1FB859D2222AAB2 Time : 0.0 sec. user=mdettweiler [2017-04-15 20:29:41] 621*2^1451743-1 is not prime. Res64: C2D457352B497572 Time : 0.0 sec. user=mdettweiler [2017-04-15 20:29:41] 625*2^1451743-1 is not prime. Res64: 09F4F66385AD00A7 Time : 0.0 sec. user=mdettweiler [2017-04-15 20:38:27] 675*2^1451743-1 is not prime. Res64: C3A4A1C0819CFD40 Time : 0.0 sec. user=mdettweiler [2017-04-15 20:38:28] 693*2^1451743-1 is not prime. Res64: D883EDFAD82FBEF5 Time : 0.0 sec. user=mdettweiler [2017-04-15 20:38:28] 735*2^1451743-1 is not prime. Res64: CE404E974BD8C3B0 Time : 0.0 sec. user=mdettweiler [2017-04-15 20:38:28] 763*2^1451743-1 is not prime. Res64: BC143A87A9A054E5 Time : 0.0 sec. user=mdettweiler [2017-04-15 20:38:29] 939*2^1451743-1 is not prime. Res64: E2EA4E9728ED4319 Time : 0.0 sec. user=mdettweiler [2017-04-15 20:39:15] 945*2^1451743-1 is not prime. Res64: FDA85C1A3A884D17 Time : 0.0 sec. user=mdettweiler [2017-04-15 20:39:15] 677*2^1451744-1 is not prime. Res64: 999D242B95703C9C Time : 0.0 sec. user=mdettweiler [2017-04-15 20:39:15] 717*2^1451744-1 is not prime. Res64: 954394D11EF5ACCF Time : 0.0 sec. user=mdettweiler [2017-04-15 20:39:16] 719*2^1451744-1 is not prime. Res64: 56CD3A6AC9C6BE1D Time : 0.0 sec. user=mdettweiler [2017-04-15 20:39:16] 743*2^1451744-1 is not prime. Res64: B51EDB5A518E8A93 Time : 0.0 sec. user=mdettweiler [2017-04-15 21:02:43] 827*2^1451744-1 is not prime. Res64: DCBDEBC947BB587E Time : 0.0 sec. user=mdettweiler [2017-04-15 21:02:44] 857*2^1451744-1 is not prime. Res64: B26F0948201B56DA Time : 0.0 sec. user=mdettweiler [2017-04-15 21:02:45] 897*2^1451744-1 is not prime. Res64: 42786AD98EDE9ED3 Time : 0.0 sec. user=mdettweiler [2017-04-15 21:02:46] 915*2^1451744-1 is not prime. Res64: 8DF537FECF198D3E Time : 0.0 sec. user=mdettweiler [2017-04-15 21:02:48] 917*2^1451744-1 is not prime. Res64: 8F0BB255928A3665 Time : 0.0 sec. user=mdettweiler [2017-04-15 21:14:35] 923*2^1451744-1 is not prime. Res64: 67EFD533F8EB5600 Time : 0.0 sec. user=mdettweiler [2017-04-15 21:14:35] 765*2^1451745-1 is not prime. Res64: 3A877620D618500D Time : 0.0 sec. user=mdettweiler [2017-04-15 21:14:35] 787*2^1451745-1 is not prime. Res64: FE64F19CC3AB2A39 Time : 0.0 sec. user=mdettweiler [2017-04-15 21:14:36] 831*2^1451745-1 is not prime. Res64: A9A36676E883F805 Time : 0.0 sec. user=mdettweiler [2017-04-15 21:14:36] 997*2^1451745-1 is not prime. Res64: BBB94B79321EE3A0 Time : 0.0 sec. user=mdettweiler [2017-04-15 21:23:31] 713*2^1451746-1 is not prime. Res64: C86ECC33E9B7D4DD Time : 0.0 sec. user=mdettweiler [2017-04-15 21:23:32] 717*2^1451746-1 is not prime. Res64: EAFE59DBC2224701 Time : 0.0 sec. user=mdettweiler [2017-04-15 21:23:32] 765*2^1451746-1 is not prime. Res64: F7BF64DAC6B706E0 Time : 0.0 sec. user=mdettweiler [2017-04-15 21:23:32] 975*2^1451746-1 is not prime. Res64: CD3294F507ED8165 Time : 0.0 sec. user=mdettweiler [2017-04-15 21:23:33] 601*2^1451747-1 is not prime. Res64: 7911015B50BADDA6 Time : 0.0 sec. user=mdettweiler [2017-04-15 21:24:12] 621*2^1451747-1 is not prime. Res64: 3EFF434864E120A4 Time : 0.0 sec. user=mdettweiler [2017-04-15 21:24:12] 669*2^1451747-1 is not prime. Res64: B56F0B024A25A1C5 Time : 0.0 sec. user=mdettweiler [2017-04-15 21:24:12] 859*2^1451747-1 is not prime. Res64: 9DBDD7F9CC003FEF Time : 0.0 sec. user=mdettweiler [2017-04-15 21:24:13] 963*2^1451747-1 is not prime. Res64: 683566B59D8D1C1B Time : 0.0 sec. user=mdettweiler [2017-04-15 21:24:13] 979*2^1451747-1 is not prime. Res64: B2F90B0ABFA97F6E Time : 0.0 sec. user=juhehe [2017-04-15 21:25:58] 981*2^1451747-1 is not prime. Res64: C1F67B562FB2EC6D Time : 0.0 sec. user=mdettweiler [2017-04-15 21:48:07] 683*2^1451748-1 is not prime. Res64: E1066A9EFD0942D1 Time : 0.0 sec. user=mdettweiler [2017-04-15 21:48:08] 695*2^1451748-1 is not prime. Res64: 1547651AD9E12149 Time : 0.0 sec. user=mdettweiler [2017-04-15 21:48:08] 753*2^1451748-1 is not prime. Res64: 3C05D605E7B08C70 Time : 0.0 sec. user=mdettweiler [2017-04-15 21:48:08] 789*2^1451748-1 is not prime. Res64: E6EF976AE728B550 Time : 0.0 sec. user=mdettweiler [2017-04-15 21:48:09] 879*2^1451748-1 is not prime. Res64: 0716856E22210403 Time : 0.0 sec. user=mdettweiler [2017-04-15 21:59:50] 927*2^1451748-1 is not prime. Res64: 03421BC82ACBF47A Time : 0.0 sec. user=mdettweiler [2017-04-15 21:59:50] 933*2^1451748-1 is not prime. Res64: 3C2A42633CCF9D21 Time : 0.0 sec. user=mdettweiler [2017-04-15 21:59:51] 969*2^1451748-1 is not prime. Res64: D7CA353305629A2B Time : 0.0 sec. user=mdettweiler [2017-04-15 21:59:51] 987*2^1451748-1 is not prime. Res64: 7A00E7D539274087 Time : 0.0 sec. user=mdettweiler [2017-04-15 21:59:51] 993*2^1451748-1 is not prime. Res64: 523DEDA494F5F340 Time : 0.0 sec. user=mdettweiler [2017-04-15 22:08:36] 649*2^1451749-1 is not prime. Res64: 43E14969B24C2784 Time : 0.0 sec. user=mdettweiler [2017-04-15 22:08:37] 675*2^1451749-1 is not prime. Res64: 46C9559B1612F76F Time : 0.0 sec. user=mdettweiler [2017-04-15 22:08:37] 681*2^1451749-1 is not prime. Res64: CA39DE00391B27EC Time : 0.0 sec. user=mdettweiler [2017-04-15 22:08:37] 687*2^1451749-1 is not prime. Res64: B8F81422498BBCED Time : 0.0 sec. user=mdettweiler [2017-04-15 22:08:38] 751*2^1451749-1 is not prime. Res64: 30C0F42502C74CA1 Time : 0.0 sec. user=mdettweiler [2017-04-15 22:09:10] 867*2^1451749-1 is not prime. Res64: CD081318550D6047 Time : 0.0 sec. user=mdettweiler [2017-04-15 22:09:10] 877*2^1451749-1 is not prime. Res64: 1DCF9479798BAAFD Time : 0.0 sec. user=mdettweiler [2017-04-15 22:09:11] 945*2^1451749-1 is not prime. Res64: 89C55134348A4173 Time : 0.0 sec. user=mdettweiler [2017-04-15 22:09:11] 961*2^1451749-1 is not prime. Res64: CE8895613532B58B Time : 0.0 sec. user=mdettweiler [2017-04-15 22:09:12] 623*2^1451750-1 is not prime. Res64: 93BDBF70E1DD4DAD Time : 0.0 sec. user=mdettweiler [2017-04-15 22:33:01] 861*2^1451750-1 is not prime. Res64: 7D8241F8BB685DAD Time : 0.0 sec. user=mdettweiler [2017-04-15 22:33:01] 917*2^1451750-1 is not prime. Res64: 4603B630E22138EE Time : 0.0 sec. user=mdettweiler [2017-04-15 22:33:01] 921*2^1451750-1 is not prime. Res64: 289828EA4EB281BE Time : 0.0 sec. user=mdettweiler [2017-04-15 22:33:02] 951*2^1451750-1 is not prime. Res64: F3D448ED9E035195 Time : 0.0 sec. user=mdettweiler [2017-04-15 22:33:02] 981*2^1451750-1 is not prime. Res64: 4C77074D17273DD3 Time : 0.0 sec. user=mdettweiler [2017-04-15 22:44:59] 613*2^1451751-1 is not prime. Res64: F7DE10BB51BB8218 Time : 0.0 sec. user=mdettweiler [2017-04-15 22:44:59] 619*2^1451751-1 is not prime. Res64: F4FFAAA1B78A8F40 Time : 0.0 sec. user=mdettweiler [2017-04-15 22:45:00] 649*2^1451751-1 is not prime. Res64: A1ABB6349E144321 Time : 0.0 sec. user=mdettweiler [2017-04-15 22:45:00] 691*2^1451751-1 is not prime. Res64: F805F728B03FF06C Time : 0.0 sec. user=mdettweiler [2017-04-15 22:45:01] 705*2^1451751-1 is not prime. Res64: ECB9721A3DF98BE3 Time : 0.0 sec. user=mdettweiler [2017-04-15 22:53:44] 739*2^1451751-1 is not prime. Res64: 2C1B242B96172827 Time : 0.0 sec. user=mdettweiler [2017-04-15 22:53:44] 861*2^1451751-1 is not prime. Res64: AFFDE4DB4FA82547 Time : 0.0 sec. user=mdettweiler [2017-04-15 22:53:44] 865*2^1451751-1 is not prime. Res64: E38194C75A968060 Time : 0.0 sec. user=mdettweiler [2017-04-15 22:53:45] 891*2^1451751-1 is not prime. Res64: 8753895887E44695 Time : 0.0 sec. user=mdettweiler [2017-04-15 22:53:45] 969*2^1451751-1 is not prime. Res64: 31D7907DDE591960 Time : 0.0 sec. user=mdettweiler [2017-04-15 22:54:13] 735*2^1451752-1 is not prime. Res64: E41DEDE3F624B35F Time : 0.0 sec. user=mdettweiler [2017-04-15 22:54:13] 827*2^1451752-1 is not prime. Res64: 17BE264CC686ED88 Time : 0.0 sec. user=mdettweiler [2017-04-15 22:54:13] 855*2^1451752-1 is not prime. Res64: 897D929BB150AB3F Time : 0.0 sec. user=mdettweiler [2017-04-15 22:54:14] 903*2^1451752-1 is not prime. Res64: F9FE5739F611125F Time : 0.0 sec. user=mdettweiler [2017-04-15 22:54:14] 933*2^1451752-1 is not prime. Res64: 3612B266BB8C5202 Time : 0.0 sec. user=mdettweiler [2017-04-15 23:18:42] 989*2^1451752-1 is not prime. Res64: 5D57508E99156906 Time : 0.0 sec. user=mdettweiler [2017-04-15 23:18:42] 679*2^1451753-1 is not prime. Res64: BE67FF2D3A0081AF Time : 0.0 sec. user=mdettweiler [2017-04-15 23:18:43] 885*2^1451753-1 is not prime. Res64: 096A47D366C05D1A Time : 0.0 sec. user=mdettweiler [2017-04-15 23:18:43] 627*2^1451754-1 is not prime. Res64: BEE194AFA32335CC Time : 0.0 sec. user=mdettweiler [2017-04-15 23:18:43] 707*2^1451754-1 is not prime. Res64: 7CC85F97C9010E42 Time : 0.0 sec. user=mdettweiler [2017-04-15 23:30:32] 711*2^1451754-1 is not prime. Res64: 4E76CF92153578AF Time : 0.0 sec. user=mdettweiler [2017-04-15 23:30:33] 807*2^1451754-1 is not prime. Res64: 5ADAB7BFD7358FC0 Time : 0.0 sec. user=mdettweiler [2017-04-15 23:30:33] 923*2^1451754-1 is not prime. Res64: CA2340E3D92DAB78 Time : 0.0 sec. user=mdettweiler [2017-04-15 23:30:33] 645*2^1451755-1 is not prime. Res64: 05145B1F6C2A7E31 Time : 0.0 sec. user=mdettweiler [2017-04-15 23:30:34] 733*2^1451755-1 is not prime. Res64: 8AB035AB2DBF1C50 Time : 0.0 sec. user=mdettweiler [2017-04-15 23:39:19] 793*2^1451755-1 is not prime. Res64: 9535079068ACEF97 Time : 0.0 sec. user=mdettweiler [2017-04-15 23:39:20] 805*2^1451755-1 is not prime. Res64: 70E98A8CFA34D809 Time : 0.0 sec. user=mdettweiler [2017-04-15 23:39:20] 841*2^1451755-1 is not prime. Res64: B670C12DEE74EC4E Time : 0.0 sec. user=mdettweiler [2017-04-15 23:39:21] 633*2^1451756-1 is not prime. Res64: 09471499A5FF5671 Time : 0.0 sec. user=mdettweiler [2017-04-15 23:39:21] 669*2^1451756-1 is not prime. Res64: 5137EE98F6ADA61C Time : 0.0 sec. user=mdettweiler [2017-04-15 23:40:00] 777*2^1451756-1 is not prime. Res64: CA4E5F1BA554A660 Time : 0.0 sec. user=mdettweiler [2017-04-15 23:40:00] 839*2^1451756-1 is not prime. Res64: D80854E9F1436923 Time : 0.0 sec. user=mdettweiler [2017-04-15 23:40:00] 857*2^1451756-1 is not prime. Res64: 264743D463275BA6 Time : 0.0 sec. user=mdettweiler [2017-04-15 23:40:01] 873*2^1451756-1 is not prime. Res64: BAD804CC943BEFA9 Time : 0.0 sec. user=mdettweiler [2017-04-15 23:40:01] 923*2^1451756-1 is not prime. Res64: 5DBFC05814119887 Time : 0.0 sec. user=juhehe [2017-04-16 00:01:02] 681*2^1451758-1 is not prime. Res64: FA3161AB607B7038 Time : 0.0 sec.