user=mdettweiler [2017-04-18 00:01:48] 885*2^1451965-1 is not prime. Res64: 3DC17673A7999E7D Time : 0.0 sec. user=mdettweiler [2017-04-18 00:01:48] 955*2^1451965-1 is not prime. Res64: 9FA0104D45D6691E Time : 0.0 sec. user=mdettweiler [2017-04-18 00:01:49] 961*2^1451965-1 is not prime. Res64: 1EDB5EE984EE5411 Time : 0.0 sec. user=mdettweiler [2017-04-18 00:01:49] 979*2^1451965-1 is not prime. Res64: 799A6DF3BA1AC513 Time : 0.0 sec. user=mdettweiler [2017-04-18 00:01:49] 987*2^1451965-1 is not prime. Res64: 7179AE72918B73AC Time : 0.0 sec. user=juhehe [2017-04-18 00:20:39] 999*2^1451965-1 is not prime. Res64: FD3172E8511A0E4D Time : 0.0 sec. user=mdettweiler [2017-04-18 00:28:14] 627*2^1451966-1 is not prime. Res64: E23A2FA7AEAF8372 Time : 0.0 sec. user=mdettweiler [2017-04-18 00:28:15] 711*2^1451966-1 is not prime. Res64: 3AAB7D9DF928D96E Time : 0.0 sec. user=mdettweiler [2017-04-18 00:28:15] 773*2^1451966-1 is not prime. Res64: DD94C93EC10C6B34 Time : 0.0 sec. user=mdettweiler [2017-04-18 00:28:16] 957*2^1451966-1 is not prime. Res64: CC316122A1D2E407 Time : 0.0 sec. user=mdettweiler [2017-04-18 00:28:16] 963*2^1451966-1 is not prime. Res64: C63F6166418ACB6C Time : 0.0 sec. user=mdettweiler [2017-04-18 00:40:09] 615*2^1451967-1 is not prime. Res64: AAFE94F0C3584C79 Time : 0.0 sec. user=mdettweiler [2017-04-18 00:40:10] 619*2^1451967-1 is not prime. Res64: D4FF277F57BB5C90 Time : 0.0 sec. user=mdettweiler [2017-04-18 00:40:10] 625*2^1451967-1 is not prime. Res64: FCCB4AC9B249F642 Time : 0.0 sec. user=mdettweiler [2017-04-18 00:40:10] 661*2^1451967-1 is not prime. Res64: 77CCD6D14DC6DE10 Time : 0.0 sec. user=mdettweiler [2017-04-18 00:40:11] 735*2^1451967-1 is not prime. Res64: 04823748287A6DAD Time : 0.0 sec. user=mdettweiler [2017-04-18 00:45:57] 781*2^1451967-1 is not prime. Res64: 15B4448563C3635E Time : 0.0 sec. user=mdettweiler [2017-04-18 00:45:58] 805*2^1451967-1 is not prime. Res64: 9141E5AF56A7E82C Time : 0.0 sec. user=mdettweiler [2017-04-18 00:45:58] 823*2^1451967-1 is not prime. Res64: 92B6A09C6BDC6A59 Time : 0.0 sec. user=mdettweiler [2017-04-18 00:45:58] 849*2^1451967-1 is not prime. Res64: BFA7FBD00C50368E Time : 0.0 sec. user=mdettweiler [2017-04-18 00:45:59] 859*2^1451967-1 is not prime. Res64: 6C4AE4930A1C987C Time : 0.0 sec. user=mdettweiler [2017-04-18 00:47:43] 885*2^1451967-1 is not prime. Res64: 215419C4419857A1 Time : 0.0 sec. user=mdettweiler [2017-04-18 00:47:44] 913*2^1451967-1 is not prime. Res64: 486EAE0B13D522C5 Time : 0.0 sec. user=mdettweiler [2017-04-18 00:47:44] 919*2^1451967-1 is not prime. Res64: 3F45FBB2EA1A073C Time : 0.0 sec. user=mdettweiler [2017-04-18 00:47:44] 825*2^1451968-1 is not prime. Res64: C22DA6605CC77AAB Time : 0.0 sec. user=mdettweiler [2017-04-18 00:47:45] 933*2^1451968-1 is not prime. Res64: 044ECCF2FE232DE9 Time : 0.0 sec. user=mdettweiler [2017-04-18 01:14:16] 969*2^1451968-1 is not prime. Res64: 0775CA9B8A973ED7 Time : 0.0 sec. user=mdettweiler [2017-04-18 01:14:17] 615*2^1451969-1 is not prime. Res64: 1C2EB361B50FAF2A Time : 0.0 sec. user=mdettweiler [2017-04-18 01:14:17] 727*2^1451969-1 is not prime. Res64: 9CDA1B0C69F529C8 Time : 0.0 sec. user=mdettweiler [2017-04-18 01:14:18] 831*2^1451969-1 is not prime. Res64: 8116FB0261F40A40 Time : 0.0 sec. user=mdettweiler [2017-04-18 01:14:18] 837*2^1451969-1 is not prime. Res64: E50D6FB97DC95D97 Time : 0.0 sec. user=mdettweiler [2017-04-18 01:25:44] 861*2^1451969-1 is not prime. Res64: 4F22ED6E9C405413 Time : 0.0 sec. user=mdettweiler [2017-04-18 01:25:45] 879*2^1451969-1 is not prime. Res64: 1323A0E9F7BDCD6C Time : 0.0 sec. user=mdettweiler [2017-04-18 01:25:46] 897*2^1451969-1 is not prime. Res64: 682DCB9F3D1B3B98 Time : 0.0 sec. user=mdettweiler [2017-04-18 01:25:47] 985*2^1451969-1 is not prime. Res64: BD379A3F548861D9 Time : 0.0 sec. user=mdettweiler [2017-04-18 01:25:48] 657*2^1451970-1 is not prime. Res64: C1B1CC280761D403 Time : 0.0 sec. user=mdettweiler [2017-04-18 01:31:40] 843*2^1451970-1 is not prime. Res64: 10A50E2359E8C81E Time : 0.0 sec. user=mdettweiler [2017-04-18 01:31:42] 845*2^1451970-1 is not prime. Res64: 115962BFCF75D0B2 Time : 0.0 sec. user=mdettweiler [2017-04-18 01:31:42] 893*2^1451970-1 is not prime. Res64: 7F0C2878D7A0FFD2 Time : 0.0 sec. user=mdettweiler [2017-04-18 01:31:43] 945*2^1451970-1 is not prime. Res64: 9DCB3978FC4E2648 Time : 0.0 sec. user=mdettweiler [2017-04-18 01:31:44] 1001*2^1451970-1 is not prime. Res64: CA2445A5D463CB2F Time : 0.0 sec. user=mdettweiler [2017-04-18 01:33:13] 723*2^1451971-1 is not prime. Res64: 05006E5DC7319747 Time : 0.0 sec. user=mdettweiler [2017-04-18 01:33:14] 735*2^1451971-1 is not prime. Res64: 895DAFC30EFCE6C4 Time : 0.0 sec. user=mdettweiler [2017-04-18 01:33:14] 793*2^1451971-1 is not prime. Res64: 10003EABD29F8F78 Time : 0.0 sec. user=mdettweiler [2017-04-18 01:33:14] 819*2^1451971-1 is not prime. Res64: 754B40826171655C Time : 0.0 sec. user=mdettweiler [2017-04-18 01:33:15] 891*2^1451971-1 is not prime. Res64: B8716651E02149F8 Time : 0.0 sec. user=juhehe [2017-04-18 01:51:58] 925*2^1451971-1 is not prime. Res64: 00FA2E1813BBE1BE Time : 0.0 sec. user=mdettweiler [2017-04-18 01:59:24] 975*2^1451971-1 is not prime. Res64: 65382B56EB1C33A4 Time : 0.0 sec. user=mdettweiler [2017-04-18 01:59:24] 615*2^1451972-1 is not prime. Res64: A8E1382FDFD22313 Time : 0.0 sec. user=mdettweiler [2017-04-18 01:59:24] 669*2^1451972-1 is not prime. Res64: 984FF0BF27D01B83 Time : 0.0 sec. user=mdettweiler [2017-04-18 01:59:25] 677*2^1451972-1 is not prime. Res64: FA432890E018E853 Time : 0.0 sec. user=mdettweiler [2017-04-18 01:59:25] 699*2^1451972-1 is not prime. Res64: 72D728B34A693FEB Time : 0.0 sec. user=mdettweiler [2017-04-18 02:11:09] 717*2^1451972-1 is not prime. Res64: 82E36E68D53E6C10 Time : 0.0 sec. user=mdettweiler [2017-04-18 02:11:10] 725*2^1451972-1 is not prime. Res64: 2C1984799EB58632 Time : 0.0 sec. user=mdettweiler [2017-04-18 02:11:10] 735*2^1451972-1 is not prime. Res64: 6E67B225A7C38312 Time : 0.0 sec. user=mdettweiler [2017-04-18 02:11:11] 867*2^1451972-1 is not prime. Res64: 70CCB9DEA8BBF2D7 Time : 0.0 sec. user=mdettweiler [2017-04-18 02:11:11] 885*2^1451972-1 is not prime. Res64: B959D912C6B9228A Time : 0.0 sec. user=mdettweiler [2017-04-18 02:17:10] 893*2^1451972-1 is not prime. Res64: 04830F6D55F879DD Time : 0.0 sec. user=mdettweiler [2017-04-18 02:17:10] 929*2^1451972-1 is not prime. Res64: 6A1897491A714F6B Time : 0.0 sec. user=mdettweiler [2017-04-18 02:17:10] 987*2^1451972-1 is not prime. Res64: 51A9D24AACF8673A Time : 0.0 sec. user=mdettweiler [2017-04-18 02:17:11] 871*2^1451973-1 is not prime. Res64: 75944EDD3495D01A Time : 0.0 sec. user=mdettweiler [2017-04-18 02:17:11] 885*2^1451973-1 is not prime. Res64: 476BD8D1566DF521 Time : 0.0 sec. user=mdettweiler [2017-04-18 02:18:33] 919*2^1451973-1 is not prime. Res64: A2AA089C91F15876 Time : 0.0 sec. user=mdettweiler [2017-04-18 02:18:34] 961*2^1451973-1 is not prime. Res64: 366A31C73F53E369 Time : 0.0 sec. user=mdettweiler [2017-04-18 02:18:34] 979*2^1451973-1 is not prime. Res64: 173327F5D4CBC31B Time : 0.0 sec. user=mdettweiler [2017-04-18 02:18:35] 791*2^1451974-1 is not prime. Res64: 297F0767101934E7 Time : 0.0 sec. user=mdettweiler [2017-04-18 02:18:35] 833*2^1451974-1 is not prime. Res64: 93A0DE90E4B13CD9 Time : 0.0 sec. user=mdettweiler [2017-04-18 02:46:40] 885*2^1451974-1 is not prime. Res64: D149F1402A61F8D0 Time : 0.0 sec. user=mdettweiler [2017-04-18 02:46:40] 965*2^1451974-1 is not prime. Res64: E0790E59B5CD2829 Time : 0.0 sec. user=mdettweiler [2017-04-18 02:46:40] 1001*2^1451974-1 is not prime. Res64: 87594616ED93BEAE Time : 0.0 sec. user=mdettweiler [2017-04-18 02:46:41] 715*2^1451975-1 is not prime. Res64: 0F74E7329AE06E86 Time : 0.0 sec. user=mdettweiler [2017-04-18 02:46:41] 759*2^1451975-1 is not prime. Res64: C3592123F4689F27 Time : 0.0 sec. user=mdettweiler [2017-04-18 02:58:59] 781*2^1451975-1 is not prime. Res64: D2FC08AB39ACAA9C Time : 0.0 sec. user=mdettweiler [2017-04-18 02:59:00] 783*2^1451975-1 is not prime. Res64: 75ADF8F6A0F329F8 Time : 0.0 sec. user=mdettweiler [2017-04-18 02:59:00] 909*2^1451975-1 is not prime. Res64: FBA96C5EAC0445D9 Time : 0.0 sec. user=mdettweiler [2017-04-18 02:59:00] 921*2^1451975-1 is not prime. Res64: C3234A45FA04295A Time : 0.0 sec. user=mdettweiler [2017-04-18 02:59:01] 939*2^1451975-1 is not prime. Res64: 14F14156585FF7B8 Time : 0.0 sec. user=mdettweiler [2017-04-18 03:04:57] 707*2^1451976-1 is not prime. Res64: 104BFECC10F32111 Time : 0.0 sec. user=mdettweiler [2017-04-18 03:04:59] 759*2^1451976-1 is not prime. Res64: 364A6AA1C169B58B Time : 0.0 sec. user=mdettweiler [2017-04-18 03:05:00] 773*2^1451976-1 is not prime. Res64: 5A0DAB7697263A7B Time : 0.0 sec. user=mdettweiler [2017-04-18 03:05:01] 845*2^1451976-1 is not prime. Res64: A28E25BC8D0EFC7D Time : 0.0 sec. user=mdettweiler [2017-04-18 03:05:02] 867*2^1451976-1 is not prime. Res64: B116D3A2239D6341 Time : 0.0 sec. user=mdettweiler [2017-04-18 03:06:03] 873*2^1451976-1 is not prime. Res64: 99F19B74688879B4 Time : 0.0 sec. user=mdettweiler [2017-04-18 03:06:04] 899*2^1451976-1 is not prime. Res64: 21DFE1255A354214 Time : 0.0 sec. user=mdettweiler [2017-04-18 03:06:04] 917*2^1451976-1 is not prime. Res64: 82CF254DD0818D5E Time : 0.0 sec. user=mdettweiler [2017-04-18 03:06:05] 649*2^1451977-1 is not prime. Res64: 9A57477C080DE049 Time : 0.0 sec. user=mdettweiler [2017-04-18 03:06:05] 691*2^1451977-1 is not prime. Res64: 8209F86B1324677A Time : 0.0 sec. user=mdettweiler [2017-04-18 03:32:04] 805*2^1451977-1 is not prime. Res64: 5843D8B742FAA3E5 Time : 0.0 sec. user=mdettweiler [2017-04-18 03:32:05] 967*2^1451977-1 is not prime. Res64: 980F18D3325805B6 Time : 0.0 sec. user=mdettweiler [2017-04-18 03:32:06] 605*2^1451978-1 is not prime. Res64: 946AD62A3088ECFE Time : 0.0 sec. user=mdettweiler [2017-04-18 03:32:07] 711*2^1451978-1 is not prime. Res64: 54F9B7B16A7D6F59 Time : 0.0 sec. user=mdettweiler [2017-04-18 03:32:08] 735*2^1451978-1 is not prime. Res64: 174501B1486EF2D6 Time : 0.0 sec. user=mdettweiler [2017-04-18 03:44:08] 771*2^1451978-1 is not prime. Res64: D63D4F93E119E7E8 Time : 0.0 sec. user=mdettweiler [2017-04-18 03:44:10] 827*2^1451978-1 is not prime. Res64: D6C48FA2C4E996E8 Time : 0.0 sec. user=mdettweiler [2017-04-18 03:44:11] 843*2^1451978-1 is not prime. Res64: 8EC6D7056154C614 Time : 0.0 sec. user=mdettweiler [2017-04-18 03:44:13] 971*2^1451978-1 is not prime. Res64: 11343470527F200D Time : 0.0 sec. user=mdettweiler [2017-04-18 03:44:14] 609*2^1451979-1 is not prime. Res64: ADFE21D016FD40C0 Time : 0.0 sec. user=mdettweiler [2017-04-18 03:50:10] 703*2^1451979-1 is not prime. Res64: 451CB4027A911AFC Time : 0.0 sec. user=mdettweiler [2017-04-18 03:50:11] 709*2^1451979-1 is not prime. Res64: F13615663527AC76 Time : 0.0 sec. user=mdettweiler [2017-04-18 03:50:12] 753*2^1451979-1 is not prime. Res64: F7140BD57341D1C2 Time : 0.0 sec. user=mdettweiler [2017-04-18 03:50:13] 795*2^1451979-1 is not prime. Res64: 97E053FF6B4D7215 Time : 0.0 sec. user=mdettweiler [2017-04-18 03:50:14] 879*2^1451979-1 is not prime. Res64: AC64677B99BDCF06 Time : 0.0 sec. user=mdettweiler [2017-04-18 03:51:12] 653*2^1451980-1 is not prime. Res64: 5592E775F0E9BA7E Time : 0.0 sec. user=mdettweiler [2017-04-18 03:51:13] 699*2^1451980-1 is not prime. Res64: 96F53AE54735B3D2 Time : 0.0 sec. user=mdettweiler [2017-04-18 03:51:15] 773*2^1451980-1 is not prime. Res64: 296626D201218B23 Time : 0.0 sec. user=mdettweiler [2017-04-18 03:51:16] 839*2^1451980-1 is not prime. Res64: B6E4E2A1D0322498 Time : 0.0 sec. user=mdettweiler [2017-04-18 03:51:17] 843*2^1451980-1 is not prime. Res64: B80651AEF7C3ACB9 Time : 0.0 sec. user=juhehe [2017-04-18 04:08:38] 905*2^1451980-1 is not prime. Res64: 719B5433A0BC80F9 Time : 0.0 sec. user=mdettweiler [2017-04-18 04:17:31] 615*2^1451981-1 is not prime. Res64: F1AB901E05637AF6 Time : 0.0 sec. user=mdettweiler [2017-04-18 04:17:32] 631*2^1451981-1 is not prime. Res64: 674BB323C96AF69D Time : 0.0 sec. user=mdettweiler [2017-04-18 04:17:32] 735*2^1451981-1 is not prime. Res64: 39825D2C3E51C480 Time : 0.0 sec. user=mdettweiler [2017-04-18 04:17:33] 745*2^1451981-1 is not prime. Res64: E8F7F3B3833FD5D4 Time : 0.0 sec. user=mdettweiler [2017-04-18 04:17:33] 829*2^1451981-1 is not prime. Res64: 18A7B3450CB8D296 Time : 0.0 sec. user=mdettweiler [2017-04-18 04:29:23] 837*2^1451981-1 is not prime. Res64: 4F791455B47A8CF2 Time : 0.0 sec. user=mdettweiler [2017-04-18 04:29:23] 859*2^1451981-1 is not prime. Res64: C0831697283AD1CB Time : 0.0 sec. user=mdettweiler [2017-04-18 04:29:23] 939*2^1451981-1 is not prime. Res64: 832FAC0E44811541 Time : 0.0 sec. user=mdettweiler [2017-04-18 04:29:24] 711*2^1451982-1 is not prime. Res64: 5C052728AD7B3D15 Time : 0.0 sec. user=mdettweiler [2017-04-18 04:29:24] 747*2^1451982-1 is not prime. Res64: 5D3EDA682DD40ABC Time : 0.0 sec. user=mdettweiler [2017-04-18 04:35:39] 821*2^1451982-1 is not prime. Res64: 3E9BBF3D1E314667 Time : 0.0 sec. user=mdettweiler [2017-04-18 04:35:39] 885*2^1451982-1 is not prime. Res64: 75E26D7AED223C1A Time : 0.0 sec. user=mdettweiler [2017-04-18 04:35:39] 921*2^1451982-1 is not prime. Res64: 6C10EF9E6C3C1ADD Time : 0.0 sec. user=mdettweiler [2017-04-18 04:35:40] 741*2^1451983-1 is not prime. Res64: 580AF6FFC21AF212 Time : 0.0 sec. user=mdettweiler [2017-04-18 04:35:40] 783*2^1451983-1 is not prime. Res64: D3BEB629F5BDA1BF Time : 0.0 sec. user=mdettweiler [2017-04-18 04:36:33] 831*2^1451983-1 is not prime. Res64: B93754A6A506822C Time : 0.0 sec. user=mdettweiler [2017-04-18 04:36:34] 853*2^1451983-1 is not prime. Res64: DE082631CD968217 Time : 0.0 sec. user=mdettweiler [2017-04-18 04:36:34] 933*2^1451983-1 is not prime. Res64: C4D4CC1BB8C4605A Time : 0.0 sec. user=mdettweiler [2017-04-18 04:36:34] 629*2^1451984-1 is not prime. Res64: DD19267C5BE97CE7 Time : 0.0 sec. user=mdettweiler [2017-04-18 04:36:35] 753*2^1451984-1 is not prime. Res64: 09069B0249AA6B0C Time : 0.0 sec. user=mdettweiler [2017-04-18 05:02:44] 843*2^1451984-1 is not prime. Res64: 877A58E7DAC9AF27 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:02:46] 609*2^1451985-1 is not prime. Res64: 969AA93A30C9DE51 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:02:47] 649*2^1451985-1 is not prime. Res64: 56DBB7D60F36B8F4 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:02:49] 895*2^1451985-1 is not prime. Res64: 5FCBB25D13D20FE8 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:02:50] 695*2^1451986-1 is not prime. Res64: 29B37FC4B0F5A3B3 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:14:36] 717*2^1451986-1 is not prime. Res64: EEEB15CE2135D8A2 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:14:36] 857*2^1451986-1 is not prime. Res64: 3A4165BEA38EB066 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:14:37] 891*2^1451986-1 is not prime. Res64: BD7A7C371D11BF31 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:14:37] 993*2^1451986-1 is not prime. Res64: 3D50D138B3DF9404 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:14:38] 601*2^1451987-1 is not prime. Res64: 1064D234305B74EF Time : 0.0 sec. user=mdettweiler [2017-04-18 05:20:57] 609*2^1451987-1 is not prime. Res64: 5EA56A1622F077F5 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:20:57] 703*2^1451987-1 is not prime. Res64: C3F2FCC82FDDE31D Time : 0.0 sec. user=mdettweiler [2017-04-18 05:20:58] 753*2^1451987-1 is not prime. Res64: F9B5A620DAECB73D Time : 0.0 sec. user=mdettweiler [2017-04-18 05:20:58] 775*2^1451987-1 is not prime. Res64: 1D7205AB2421B074 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:20:59] 825*2^1451987-1 is not prime. Res64: 303A4EC2C9D99944 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:21:47] 981*2^1451987-1 is not prime. Res64: 0E36A2413D6EB0C2 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:21:48] 635*2^1451988-1 is not prime. Res64: A3C56DE522EFB218 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:21:48] 639*2^1451988-1 is not prime. Res64: 0800392550468B43 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:21:48] 665*2^1451988-1 is not prime. Res64: F5E1D91105E63890 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:21:49] 705*2^1451988-1 is not prime. Res64: 6C5316FCFB02A7A3 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:48:27] 789*2^1451988-1 is not prime. Res64: 5037432A4AE85269 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:48:28] 797*2^1451988-1 is not prime. Res64: 5723489AB3E59FA0 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:48:28] 809*2^1451988-1 is not prime. Res64: 349E99902A19087C Time : 0.0 sec. user=mdettweiler [2017-04-18 05:48:28] 845*2^1451988-1 is not prime. Res64: 28804558D03C486A Time : 0.0 sec. user=mdettweiler [2017-04-18 05:48:29] 975*2^1451988-1 is not prime. Res64: FC2C8C3F1C464CD5 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:59:49] 993*2^1451988-1 is not prime. Res64: 4D4CD56F24A9C2EC Time : 0.0 sec. user=mdettweiler [2017-04-18 05:59:49] 999*2^1451988-1 is not prime. Res64: 3DA482E647B62411 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:59:50] 741*2^1451989-1 is not prime. Res64: E37B2D8933C00D69 Time : 0.0 sec. user=mdettweiler [2017-04-18 05:59:50] 811*2^1451989-1 is not prime. Res64: 91089EB14AA2A07F Time : 0.0 sec. user=mdettweiler [2017-04-18 05:59:50] 645*2^1451990-1 is not prime. Res64: B7F8F765ED06514A Time : 0.0 sec. user=mdettweiler [2017-04-18 06:06:09] 747*2^1451990-1 is not prime. Res64: E269F5499E562083 Time : 0.0 sec. user=mdettweiler [2017-04-18 06:06:09] 761*2^1451990-1 is not prime. Res64: E738F0BD535EDAF7 Time : 0.0 sec. user=mdettweiler [2017-04-18 06:06:10] 875*2^1451990-1 is not prime. Res64: AE4255456BA59A41 Time : 0.0 sec. user=mdettweiler [2017-04-18 06:06:10] 649*2^1451991-1 is not prime. Res64: 186C5F15831D80D9 Time : 0.0 sec. user=mdettweiler [2017-04-18 06:06:11] 651*2^1451991-1 is not prime. Res64: 724A3D183EF78C95 Time : 0.0 sec. user=mdettweiler [2017-04-18 06:07:12] 703*2^1451991-1 is not prime. Res64: DC618B9D6F84DEEF Time : 0.0 sec. user=mdettweiler [2017-04-18 06:07:13] 745*2^1451991-1 is not prime. Res64: F9F8CDB60550E29E Time : 0.0 sec. user=mdettweiler [2017-04-18 06:07:13] 951*2^1451991-1 is not prime. Res64: D17645FB05F813A9 Time : 0.0 sec. user=mdettweiler [2017-04-18 06:07:13] 961*2^1451991-1 is not prime. Res64: 271D6C621EA004F3 Time : 0.0 sec. user=mdettweiler [2017-04-18 06:07:14] 665*2^1451992-1 is not prime. Res64: 39EB28F830F3D97B Time : 0.0 sec. user=juhehe [2017-04-18 06:25:48] 687*2^1451992-1 is not prime. Res64: B91517A0067F4DB2 Time : 0.0 sec. user=mdettweiler [2017-04-18 06:33:31] 743*2^1451992-1 is not prime. Res64: 9036613B44CCFCD2 Time : 0.0 sec. user=mdettweiler [2017-04-18 06:33:31] 909*2^1451992-1 is not prime. Res64: B3521E4C742FC1EC Time : 0.0 sec. user=mdettweiler [2017-04-18 06:33:31] 669*2^1451993-1 is not prime. Res64: AEC47EAABD08D44F Time : 0.0 sec. user=mdettweiler [2017-04-18 06:33:32] 691*2^1451993-1 is not prime. Res64: A23AA587ED0FAA9B Time : 0.0 sec. user=mdettweiler [2017-04-18 06:33:32] 721*2^1451993-1 is not prime. Res64: 23BE6217B504A157 Time : 0.0 sec. user=mdettweiler [2017-04-18 06:45:41] 781*2^1451993-1 is not prime. Res64: 9C109EABFE7D7EF7 Time : 0.0 sec. user=mdettweiler [2017-04-18 06:45:41] 867*2^1451993-1 is not prime. Res64: 5ACF5687CD7BE48A Time : 0.0 sec. user=mdettweiler [2017-04-18 06:45:42] 937*2^1451993-1 is not prime. Res64: 61FD9D1E6F169174 Time : 0.0 sec. user=mdettweiler [2017-04-18 06:45:42] 987*2^1451993-1 is not prime. Res64: DB9C65B9FA7A4BC7 Time : 0.0 sec. user=mdettweiler [2017-04-18 06:45:42] 627*2^1451994-1 is not prime. Res64: FA1A231F9AEDFD55 Time : 0.0 sec. user=mdettweiler [2017-04-18 06:52:01] 641*2^1451994-1 is not prime. Res64: ABA224CB892352E7 Time : 0.0 sec. user=mdettweiler [2017-04-18 06:52:01] 651*2^1451994-1 is not prime. Res64: 54DB9B571F5D9706 Time : 0.0 sec. user=mdettweiler [2017-04-18 06:52:02] 833*2^1451994-1 is not prime. Res64: 2A8E4AC1D512827C Time : 0.0 sec. user=mdettweiler [2017-04-18 06:52:02] 601*2^1451995-1 is not prime. Res64: 8F096861B18A3F6D Time : 0.0 sec. user=mdettweiler [2017-04-18 06:52:03] 619*2^1451995-1 is not prime. Res64: 7703F082F82BED7B Time : 0.0 sec. user=mdettweiler [2017-04-18 06:52:59] 651*2^1451995-1 is not prime. Res64: 48BF40F12853EE7E Time : 0.0 sec. user=mdettweiler [2017-04-18 06:52:59] 675*2^1451995-1 is not prime. Res64: FAC078A5EE1D328B Time : 0.0 sec. user=mdettweiler [2017-04-18 06:53:00] 723*2^1451995-1 is not prime. Res64: 3F4D521A4D0E2C72 Time : 0.0 sec. user=mdettweiler [2017-04-18 06:53:00] 885*2^1451995-1 is not prime. Res64: BE6F0743DBF25551 Time : 0.0 sec. user=mdettweiler [2017-04-18 06:53:01] 909*2^1451995-1 is not prime. Res64: D354DB30D29A4A34 Time : 0.0 sec. user=mdettweiler [2017-04-18 07:19:24] 985*2^1451995-1 is not prime. Res64: B312CBD822F3932B Time : 0.0 sec. user=mdettweiler [2017-04-18 07:19:25] 609*2^1451996-1 is not prime. Res64: 81FAC65B0CDDF4D6 Time : 0.0 sec. user=mdettweiler [2017-04-18 07:19:25] 669*2^1451996-1 is not prime. Res64: 12EF5F4BC9BAF66C Time : 0.0 sec. user=mdettweiler [2017-04-18 07:19:25] 785*2^1451996-1 is not prime. Res64: 2271C45D7418C8E5 Time : 0.0 sec. user=mdettweiler [2017-04-18 07:19:26] 903*2^1451996-1 is not prime. Res64: D65A4161E568C5E9 Time : 0.0 sec. user=mdettweiler [2017-04-18 07:31:11] 945*2^1451996-1 is not prime. Res64: 142580B2B907B9D5 Time : 0.0 sec. user=mdettweiler [2017-04-18 07:31:11] 953*2^1451996-1 is not prime. Res64: 2EAF98C92B819033 Time : 0.0 sec. user=mdettweiler [2017-04-18 07:31:12] 601*2^1451997-1 is not prime. Res64: 98729C7D27C5A746 Time : 0.0 sec. user=mdettweiler [2017-04-18 07:31:12] 655*2^1451997-1 is not prime. Res64: 6C3E157BCCCD5D8C Time : 0.0 sec. user=mdettweiler [2017-04-18 07:31:12] 819*2^1451997-1 is not prime. Res64: D3153366A5741CAD Time : 0.0 sec. user=mdettweiler [2017-04-18 07:37:19] 825*2^1451997-1 is not prime. Res64: 3BB5640C2EB577E1 Time : 0.0 sec. user=mdettweiler [2017-04-18 07:37:19] 829*2^1451997-1 is not prime. Res64: B056B0B65F914FD8 Time : 0.0 sec. user=mdettweiler [2017-04-18 07:37:20] 891*2^1451997-1 is not prime. Res64: 4DB613D22CAF9EE3 Time : 0.0 sec. user=mdettweiler [2017-04-18 07:37:20] 895*2^1451997-1 is not prime. Res64: B887C883EF4050F4 Time : 0.0 sec. user=mdettweiler [2017-04-18 07:37:20] 919*2^1451997-1 is not prime. Res64: 505E8FA208C79705 Time : 0.0 sec. user=mdettweiler [2017-04-18 07:38:14] 647*2^1451998-1 is not prime. Res64: 5CDE8241E2002318 Time : 0.0 sec. user=mdettweiler [2017-04-18 07:38:14] 663*2^1451998-1 is not prime. Res64: BAD86449B72CB4EA Time : 0.0 sec. user=mdettweiler [2017-04-18 07:38:14] 861*2^1451998-1 is not prime. Res64: EB1AD162DBB43DD2 Time : 0.0 sec. user=mdettweiler [2017-04-18 07:38:15] 911*2^1451998-1 is not prime. Res64: 84F0122D1734A1F8 Time : 0.0 sec. user=mdettweiler [2017-04-18 07:38:15] 923*2^1451998-1 is not prime. Res64: E7C346A833E96C60 Time : 0.0 sec. user=mdettweiler [2017-04-18 08:04:45] 975*2^1451998-1 is not prime. Res64: D1E4844E1D6C02DB Time : 0.0 sec. user=mdettweiler [2017-04-18 08:04:46] 1001*2^1451998-1 is not prime. Res64: F9EB809941C846C3 Time : 0.0 sec. user=mdettweiler [2017-04-18 08:04:48] 633*2^1451999-1 is not prime. Res64: 132806228D7A9501 Time : 0.0 sec. user=mdettweiler [2017-04-18 08:04:49] 655*2^1451999-1 is not prime. Res64: 00D7CE630EDDAA1A Time : 0.0 sec. user=mdettweiler [2017-04-18 08:04:50] 721*2^1451999-1 is not prime. Res64: 140F40ED15753608 Time : 0.0 sec. user=mdettweiler [2017-04-18 08:16:31] 789*2^1451999-1 is not prime. Res64: A185D320BDB8B7B3 Time : 0.0 sec. user=mdettweiler [2017-04-18 08:16:31] 811*2^1451999-1 is not prime. Res64: 6E68D573EAD3361F Time : 0.0 sec. user=mdettweiler [2017-04-18 08:16:32] 855*2^1451999-1 is not prime. Res64: 4D4972B3305EFA54 Time : 0.0 sec. user=mdettweiler [2017-04-18 08:16:32] 949*2^1451999-1 is not prime. Res64: 0573FA88195B83D3 Time : 0.0 sec. user=mdettweiler [2017-04-18 08:16:33] 633*2^1452000-1 is not prime. Res64: 70F8B825E2228C48 Time : 0.0 sec. user=mdettweiler [2017-04-18 08:22:44] 665*2^1452000-1 is not prime. Res64: 9165D1F31A67166F Time : 0.0 sec. user=mdettweiler [2017-04-18 08:22:45] 717*2^1452000-1 is not prime. Res64: F732385A8054D143 Time : 0.0 sec. user=mdettweiler [2017-04-18 08:22:46] 747*2^1452000-1 is not prime. Res64: D9CA5DF494FA494F Time : 0.0 sec. user=mdettweiler [2017-04-18 08:22:46] 753*2^1452000-1 is not prime. Res64: E3D6743F96CC3924 Time : 0.0 sec. user=mdettweiler [2017-04-18 08:22:47] 845*2^1452000-1 is not prime. Res64: 7979E3F7E995E8A9 Time : 0.0 sec. user=mdettweiler [2017-04-18 08:23:34] 915*2^1452000-1 is not prime. Res64: 702280D70DC8D6F3 Time : 0.0 sec. user=mdettweiler [2017-04-18 08:23:34] 933*2^1452000-1 is not prime. Res64: 1E17E0920C944A4D Time : 0.0 sec. user=mdettweiler [2017-04-18 08:23:35] 945*2^1452000-1 is not prime. Res64: 48A2209887279E4F Time : 0.0 sec. user=mdettweiler [2017-04-18 08:23:35] 675*2^1452001-1 is not prime. Res64: DC9C1862EC5E72A2 Time : 0.0 sec. user=mdettweiler [2017-04-18 08:23:35] 751*2^1452001-1 is not prime. Res64: EB24E83E04F6BFB5 Time : 0.0 sec. user=juhehe [2017-04-18 08:41:27] 769*2^1452001-1 is not prime. Res64: 164A1969259DB8A5 Time : 0.0 sec. user=mdettweiler [2017-04-18 08:50:10] 789*2^1452001-1 is not prime. Res64: 7B903CC6C45CD62A Time : 0.0 sec. user=mdettweiler [2017-04-18 08:50:10] 805*2^1452001-1 is not prime. Res64: 5EC9D877440AFACA Time : 0.0 sec. user=mdettweiler [2017-04-18 08:50:10] 999*2^1452001-1 is not prime. Res64: E40AA5C75B76B3D9 Time : 0.0 sec. user=mdettweiler [2017-04-18 08:50:11] 617*2^1452002-1 is not prime. Res64: 367E235188E1DB2E Time : 0.0 sec. user=mdettweiler [2017-04-18 08:50:11] 633*2^1452002-1 is not prime. Res64: F300A6E5759A6F7F Time : 0.0 sec. user=mdettweiler [2017-04-18 09:01:35] 741*2^1452002-1 is not prime. Res64: 24C8F2672C063465 Time : 0.0 sec. user=mdettweiler [2017-04-18 09:01:36] 791*2^1452002-1 is not prime. Res64: 3AF40C0183B2CEAE Time : 0.0 sec. user=mdettweiler [2017-04-18 09:01:36] 885*2^1452002-1 is not prime. Res64: 98FB1EB2B10C1F78 Time : 0.0 sec. user=mdettweiler [2017-04-18 09:01:37] 887*2^1452002-1 is not prime. Res64: 42F727574945B9A6 Time : 0.0 sec. user=mdettweiler [2017-04-18 09:01:38] 911*2^1452002-1 is not prime. Res64: F3D30E70609AF286 Time : 0.0 sec. user=mdettweiler [2017-04-18 09:07:49] 953*2^1452002-1 is not prime. Res64: 9F5CAC13F5F47B38 Time : 0.0 sec. user=mdettweiler [2017-04-18 09:07:50] 679*2^1452003-1 is not prime. Res64: 33AECFBED4FAC0D6 Time : 0.0 sec. user=mdettweiler [2017-04-18 09:07:50] 703*2^1452003-1 is not prime. Res64: 36ED95C53F1B5436 Time : 0.0 sec. user=mdettweiler [2017-04-18 09:07:51] 723*2^1452003-1 is not prime. Res64: 7CCBC55161C7A29A Time : 0.0 sec. user=mdettweiler [2017-04-18 09:07:51] 751*2^1452003-1 is not prime. Res64: 85ADE6750D240BCB Time : 0.0 sec. user=mdettweiler [2017-04-18 09:08:36] 765*2^1452003-1 is not prime. Res64: 59DFF12D6114AB8B Time : 0.0 sec. user=mdettweiler [2017-04-18 09:08:36] 617*2^1452004-1 is not prime. Res64: 62139DCDC624D4B4 Time : 0.0 sec. user=mdettweiler [2017-04-18 09:08:37] 813*2^1452004-1 is not prime. Res64: 012CC376E40FD6AB Time : 0.0 sec. user=mdettweiler [2017-04-18 09:08:37] 915*2^1452004-1 is not prime. Res64: 88B85CA9C798BC53 Time : 0.0 sec. user=mdettweiler [2017-04-18 09:08:38] 947*2^1452004-1 is not prime. Res64: 28476FD4B0DE47DA Time : 0.0 sec. user=mdettweiler [2017-04-18 09:35:35] 989*2^1452004-1 is not prime. Res64: D6A64E204759B880 Time : 0.0 sec. user=mdettweiler [2017-04-18 09:35:36] 993*2^1452004-1 is not prime. Res64: E20E7C8EB2DF7532 Time : 0.0 sec. user=mdettweiler [2017-04-18 09:35:36] 729*2^1452005-1 is not prime. Res64: DCB8DDDE8869A2DA Time : 0.0 sec. user=mdettweiler [2017-04-18 09:35:36] 847*2^1452005-1 is not prime. Res64: D5BB32EFD0A3AEBD Time : 0.0 sec. user=mdettweiler [2017-04-18 09:35:37] 897*2^1452005-1 is not prime. Res64: BDFBE634D4D88BA2 Time : 0.0 sec. user=mdettweiler [2017-04-18 09:46:56] 949*2^1452005-1 is not prime. Res64: 150BF2CCF8A2BBF1 Time : 0.0 sec. user=mdettweiler [2017-04-18 09:46:57] 981*2^1452005-1 is not prime. Res64: CD7B9407C26BD5ED Time : 0.0 sec. user=mdettweiler [2017-04-18 09:46:57] 881*2^1452006-1 is not prime. Res64: 992A2D5C7ED4CF4F Time : 0.0 sec. user=mdettweiler [2017-04-18 09:46:58] 903*2^1452006-1 is not prime. Res64: 4DE9DF1D12E7E608 Time : 0.0 sec. user=mdettweiler [2017-04-18 09:46:58] 963*2^1452006-1 is not prime. Res64: 825DBF272434A4F2 Time : 0.0 sec. user=mdettweiler [2017-04-18 09:53:10] 619*2^1452007-1 is not prime. Res64: DD36C8B85AF760ED Time : 0.0 sec. user=mdettweiler [2017-04-18 09:53:11] 741*2^1452007-1 is not prime. Res64: 553AD882952C4381 Time : 0.0 sec. user=mdettweiler [2017-04-18 09:53:11] 859*2^1452007-1 is not prime. Res64: ACD01267D6387F53 Time : 0.0 sec. user=mdettweiler [2017-04-18 09:53:11] 883*2^1452007-1 is not prime. Res64: 6BB90C3F4C5D19BF Time : 0.0 sec. user=mdettweiler [2017-04-18 09:53:12] 623*2^1452008-1 is not prime. Res64: 8B2AE57EADEF0DAC Time : 0.0 sec. user=mdettweiler [2017-04-18 09:53:48] 743*2^1452008-1 is not prime. Res64: 44B6ED8AF8DEA282 Time : 0.0 sec. user=mdettweiler [2017-04-18 09:53:49] 797*2^1452008-1 is not prime. Res64: FF0E5777AEBF2DD2 Time : 0.0 sec. user=mdettweiler [2017-04-18 09:53:49] 875*2^1452008-1 is not prime. Res64: 3856EA7800875CD8 Time : 0.0 sec. user=mdettweiler [2017-04-18 09:53:49] 609*2^1452009-1 is not prime. Res64: 072DC9380EB5C013 Time : 0.0 sec. user=mdettweiler [2017-04-18 09:53:50] 727*2^1452009-1 is not prime. Res64: DC9B37F57C1B3890 Time : 0.0 sec. user=mdettweiler [2017-04-18 10:20:48] 747*2^1452009-1 is not prime. Res64: C26FA4EEDF9DC260 Time : 0.0 sec. user=mdettweiler [2017-04-18 10:20:48] 759*2^1452009-1 is not prime. Res64: FD727D77EF6989E1 Time : 0.0 sec. user=mdettweiler [2017-04-18 10:20:49] 811*2^1452009-1 is not prime. Res64: 221A803B46329A94 Time : 0.0 sec. user=mdettweiler [2017-04-18 10:20:49] 847*2^1452009-1 is not prime. Res64: 5450FD52D741CFE1 Time : 0.0 sec. user=mdettweiler [2017-04-18 10:20:50] 889*2^1452009-1 is not prime. Res64: ECC74EF5820C20F4 Time : 0.0 sec. user=mdettweiler [2017-04-18 10:33:33] 975*2^1452009-1 is not prime. Res64: 62865E5F03549DCF Time : 0.0 sec. user=mdettweiler [2017-04-18 10:33:34] 645*2^1452010-1 is not prime. Res64: 6BC5B4D3E4429A7B Time : 0.0 sec. user=mdettweiler [2017-04-18 10:33:34] 687*2^1452010-1 is not prime. Res64: 77D7E60EC3D14760 Time : 0.0 sec. user=mdettweiler [2017-04-18 10:33:35] 731*2^1452010-1 is not prime. Res64: 872C740AC5F2EB20 Time : 0.0 sec. user=mdettweiler [2017-04-18 10:33:36] 741*2^1452010-1 is not prime. Res64: B8F20CA6C6B948FC Time : 0.0 sec. user=mdettweiler [2017-04-18 10:39:08] 773*2^1452010-1 is not prime. Res64: 39250C947635D2F9 Time : 0.0 sec. user=mdettweiler [2017-04-18 10:39:08] 855*2^1452010-1 is not prime. Res64: 1283485FB0612455 Time : 0.0 sec. user=mdettweiler [2017-04-18 10:39:09] 885*2^1452010-1 is not prime. Res64: ECB1A71B450F15D0 Time : 0.0 sec. user=mdettweiler [2017-04-18 10:39:09] 887*2^1452010-1 is not prime. Res64: 4B23093F54A72DA9 Time : 0.0 sec. user=mdettweiler [2017-04-18 10:39:09] 917*2^1452010-1 is not prime. Res64: 2BCA0EAC936E3937 Time : 0.0 sec. user=mdettweiler [2017-04-18 10:39:51] 685*2^1452011-1 is not prime. Res64: CE54A52E2A252B33 Time : 0.0 sec. user=mdettweiler [2017-04-18 10:39:52] 705*2^1452011-1 is not prime. Res64: EE868F6D560D86D8 Time : 0.0 sec. user=mdettweiler [2017-04-18 10:39:52] 931*2^1452011-1 is not prime. Res64: 2D61F1F5C5C020F5 Time : 0.0 sec. user=mdettweiler [2017-04-18 10:39:53] 945*2^1452011-1 is not prime. Res64: CF5A1E6ABF2A3703 Time : 0.0 sec. user=mdettweiler [2017-04-18 10:39:53] 955*2^1452011-1 is not prime. Res64: B492760EA9CDC57A Time : 0.0 sec. user=juhehe [2017-04-18 10:58:30] 979*2^1452011-1 is not prime. Res64: 3A0416D054CB7669 Time : 0.0 sec. user=mdettweiler [2017-04-18 11:06:42] 999*2^1452011-1 is not prime. Res64: F569DC506F819977 Time : 0.0 sec. user=mdettweiler [2017-04-18 11:06:43] 609*2^1452012-1 is not prime. Res64: F4E5632BACCCCA8C Time : 0.0 sec. user=mdettweiler [2017-04-18 11:06:43] 675*2^1452012-1 is not prime. Res64: 285E6AD71B9AD0A5 Time : 0.0 sec. user=mdettweiler [2017-04-18 11:06:44] 683*2^1452012-1 is not prime. Res64: A296489EE87B236E Time : 0.0 sec. user=mdettweiler [2017-04-18 11:06:44] 749*2^1452012-1 is not prime. Res64: 8C3081780E7FF27C Time : 0.0 sec. user=mdettweiler [2017-04-18 11:19:09] 767*2^1452012-1 is not prime. Res64: F7ACE6FB6EA11367 Time : 0.0 sec. user=mdettweiler [2017-04-18 11:19:10] 887*2^1452012-1 is not prime. Res64: D5D3CF6327B36821 Time : 0.0 sec. user=mdettweiler [2017-04-18 11:19:10] 933*2^1452012-1 is not prime. Res64: BC458A241C4CEDD0 Time : 0.0 sec. user=mdettweiler [2017-04-18 11:19:11] 945*2^1452012-1 is not prime. Res64: 9705554FB7861B35 Time : 0.0 sec. user=mdettweiler [2017-04-18 11:19:11] 965*2^1452012-1 is not prime. Res64: E9F891FA351A349E Time : 0.0 sec. user=mdettweiler [2017-04-18 11:24:11] 727*2^1452013-1 is not prime. Res64: A901A0E671C93A5D Time : 0.0 sec. user=mdettweiler [2017-04-18 11:24:12] 729*2^1452013-1 is not prime. Res64: 05A042B46AA64A0F Time : 0.0 sec. user=mdettweiler [2017-04-18 11:24:12] 819*2^1452013-1 is not prime. Res64: 042D032E078324DD Time : 0.0 sec. user=mdettweiler [2017-04-18 11:24:12] 855*2^1452013-1 is not prime. Res64: 9F396962BECC73B7 Time : 0.0 sec. user=mdettweiler [2017-04-18 11:24:13] 951*2^1452013-1 is not prime. Res64: 63DAAE69E7F2985B Time : 0.0 sec. user=mdettweiler [2017-04-18 11:24:56] 961*2^1452013-1 is not prime. Res64: 787B12DA5E2928A9 Time : 0.0 sec. user=mdettweiler [2017-04-18 11:24:56] 967*2^1452013-1 is not prime. Res64: 54CB23ADB0BF8F40 Time : 0.0 sec. user=mdettweiler [2017-04-18 11:24:57] 985*2^1452013-1 is not prime. Res64: F938103B16EABCE0 Time : 0.0 sec. user=mdettweiler [2017-04-18 11:24:57] 987*2^1452013-1 is not prime. Res64: 22C34C540889CACC Time : 0.0 sec. user=mdettweiler [2017-04-18 11:24:58] 641*2^1452014-1 is not prime. Res64: 94E7EBB390118B98 Time : 0.0 sec. user=mdettweiler [2017-04-18 11:51:56] 731*2^1452014-1 is not prime. Res64: E3FF10B185EA2ACB Time : 0.0 sec. user=mdettweiler [2017-04-18 11:51:56] 669*2^1452015-1 is not prime. Res64: 8D57A5BD44A6AD5E Time : 0.0 sec. user=mdettweiler [2017-04-18 11:51:57] 763*2^1452015-1 is not prime. Res64: D34B805B95EAF730 Time : 0.0 sec. user=mdettweiler [2017-04-18 11:51:57] 805*2^1452015-1 is not prime. Res64: 15EC7878362F2950 Time : 0.0 sec. user=mdettweiler [2017-04-18 11:51:57] 871*2^1452015-1 is not prime. Res64: C7EB4312E876660C Time : 0.0 sec. user=mdettweiler [2017-04-18 12:04:16] 675*2^1452016-1 is not prime. Res64: E7C6BC3FA53AA7C8 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:04:17] 723*2^1452016-1 is not prime. Res64: 5A9EB9CEFC5C05B9 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:04:18] 765*2^1452016-1 is not prime. Res64: B488EFE7750F96AE Time : 0.0 sec. user=mdettweiler [2017-04-18 12:04:19] 855*2^1452016-1 is not prime. Res64: 9D1DAFCFFB3EB670 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:04:20] 909*2^1452016-1 is not prime. Res64: F82021A8CCFC90C7 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:09:20] 619*2^1452017-1 is not prime. Res64: 92CADAC6A8FBC23C Time : 0.0 sec. user=mdettweiler [2017-04-18 12:09:21] 735*2^1452017-1 is not prime. Res64: A6060AAB20B14663 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:09:21] 819*2^1452017-1 is not prime. Res64: 7CF3643A66AE3B9C Time : 0.0 sec. user=mdettweiler [2017-04-18 12:09:22] 867*2^1452017-1 is not prime. Res64: 3144C126D8974B02 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:09:22] 879*2^1452017-1 is not prime. Res64: D548D630CB12B100 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:10:05] 889*2^1452017-1 is not prime. Res64: DCC618B5BDD26C65 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:10:05] 949*2^1452017-1 is not prime. Res64: 6CABEE0393CCEC33 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:10:05] 981*2^1452017-1 is not prime. Res64: 71B00B039BAE07F4 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:10:06] 635*2^1452018-1 is not prime. Res64: AA940220238F78B6 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:10:06] 651*2^1452018-1 is not prime. Res64: 2426CC1A31E5D2FA Time : 0.0 sec. user=mdettweiler [2017-04-18 12:37:01] 657*2^1452018-1 is not prime. Res64: 5C5A5CB980980307 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:37:02] 725*2^1452018-1 is not prime. Res64: DD68A257F003220A Time : 0.0 sec. user=mdettweiler [2017-04-18 12:37:02] 755*2^1452018-1 is not prime. Res64: 2592D3C179504D85 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:37:02] 833*2^1452018-1 is not prime. Res64: 210BFC1E6EBFC0FB Time : 0.0 sec. user=mdettweiler [2017-04-18 12:37:03] 927*2^1452018-1 is not prime. Res64: 0B690DD41DFD4B24 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:49:36] 945*2^1452018-1 is not prime. Res64: E16C0F1B13982094 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:49:36] 601*2^1452019-1 is not prime. Res64: B19267032EA77D6F Time : 0.0 sec. user=mdettweiler [2017-04-18 12:49:36] 615*2^1452019-1 is not prime. Res64: 1EED2F6CAF429A5A Time : 0.0 sec. user=mdettweiler [2017-04-18 12:49:37] 705*2^1452019-1 is not prime. Res64: 5E664B6DEF0A22CA Time : 0.0 sec. user=mdettweiler [2017-04-18 12:49:37] 939*2^1452019-1 is not prime. Res64: A8CC50894981D12A Time : 0.0 sec. user=mdettweiler [2017-04-18 12:54:29] 973*2^1452019-1 is not prime. Res64: C47B841AB41D2E72 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:54:29] 975*2^1452019-1 is not prime. Res64: EC56512B7CFB02B7 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:54:29] 615*2^1452020-1 is not prime. Res64: 138F61F42E879468 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:54:30] 675*2^1452020-1 is not prime. Res64: A98E174419049845 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:54:30] 743*2^1452020-1 is not prime. Res64: B47C8570A7CAF49A Time : 0.0 sec. user=mdettweiler [2017-04-18 12:55:10] 875*2^1452020-1 is not prime. Res64: 6310E83803C50787 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:55:11] 879*2^1452020-1 is not prime. Res64: 4FF1E90D95A7BD98 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:55:11] 885*2^1452020-1 is not prime. Res64: 3FC8807B5EC30A06 Time : 0.0 sec. user=mdettweiler [2017-04-18 12:55:11] 953*2^1452020-1 is not prime. Res64: 7988D378677D9B3C Time : 0.0 sec. user=mdettweiler [2017-04-18 12:55:12] 977*2^1452020-1 is not prime. Res64: 1BFA31D5AF42839F Time : 0.0 sec. user=juhehe [2017-04-18 13:15:45] 627*2^1452021-1 is not prime. Res64: 8370B85511D50F11 Time : 0.0 sec. user=mdettweiler [2017-04-18 13:22:04] 789*2^1452021-1 is not prime. Res64: DBFACF68DFAD2C42 Time : 0.0 sec. user=mdettweiler [2017-04-18 13:22:04] 611*2^1452022-1 is not prime. Res64: 40C39AD3ED866FAC Time : 0.0 sec. user=mdettweiler [2017-04-18 13:22:05] 681*2^1452022-1 is not prime. Res64: 5EFEF649EB7799D0 Time : 0.0 sec. user=mdettweiler [2017-04-18 13:22:05] 695*2^1452022-1 is not prime. Res64: 8F6287E86F7DC075 Time : 0.0 sec. user=mdettweiler [2017-04-18 13:22:06] 857*2^1452022-1 is not prime. Res64: 269F5C860D2A3E83 Time : 0.0 sec. user=mdettweiler [2017-04-18 13:34:42] 945*2^1452022-1 is not prime. Res64: 6C3A81ACD873D60F Time : 0.0 sec. user=mdettweiler [2017-04-18 13:34:42] 951*2^1452022-1 is not prime. Res64: 2E9A49ABF19F90F6 Time : 0.0 sec. user=mdettweiler [2017-04-18 13:34:43] 619*2^1452023-1 is not prime. Res64: 171241A6B33709D5 Time : 0.0 sec. user=mdettweiler [2017-04-18 13:34:43] 663*2^1452023-1 is not prime. Res64: 00E286673BC546AF Time : 0.0 sec. user=mdettweiler [2017-04-18 13:34:43] 721*2^1452023-1 is not prime. Res64: 58FE2E8FD7694BF9 Time : 0.0 sec. user=mdettweiler [2017-04-18 13:39:41] 823*2^1452023-1 is not prime. Res64: CD3ED57672E87A87 Time : 0.0 sec. user=mdettweiler [2017-04-18 13:39:41] 855*2^1452023-1 is not prime. Res64: A7C2B793F8FC9630 Time : 0.0 sec. user=mdettweiler [2017-04-18 13:39:42] 861*2^1452023-1 is not prime. Res64: 83D711B27FFAA90F Time : 0.0 sec. user=mdettweiler [2017-04-18 13:39:42] 913*2^1452023-1 is not prime. Res64: 9122C173A378395B Time : 0.0 sec. user=mdettweiler [2017-04-18 13:39:42] 939*2^1452023-1 is not prime. Res64: 827C806068E644E8 Time : 0.0 sec. user=mdettweiler [2017-04-18 13:40:13] 943*2^1452023-1 is not prime. Res64: 7D8E01710F72D4F2 Time : 0.0 sec. user=mdettweiler [2017-04-18 13:40:13] 985*2^1452023-1 is not prime. Res64: D8660E0AE565C51F Time : 0.0 sec. user=mdettweiler [2017-04-18 13:40:13] 707*2^1452024-1 is not prime. Res64: 1BC62DD50A448267 Time : 0.0 sec. user=mdettweiler [2017-04-18 13:40:14] 747*2^1452024-1 is not prime. Res64: 837E41B62BD01330 Time : 0.0 sec. user=mdettweiler [2017-04-18 13:40:14] 767*2^1452024-1 is not prime. Res64: 1809CFDA43AAB680 Time : 0.0 sec. user=mdettweiler [2017-04-18 14:07:26] 915*2^1452024-1 is not prime. Res64: 4017D6B793634F4D Time : 0.0 sec. user=mdettweiler [2017-04-18 14:07:27] 619*2^1452025-1 is not prime. Res64: 878B0C7960549F87 Time : 0.0 sec. user=mdettweiler [2017-04-18 14:07:27] 649*2^1452025-1 is not prime. Res64: F9F1C9EEFCAB8E53 Time : 0.0 sec. user=mdettweiler [2017-04-18 14:07:28] 841*2^1452025-1 is not prime. Res64: D6B8116DBD63F56E Time : 0.0 sec. user=mdettweiler [2017-04-18 14:07:28] 861*2^1452025-1 is not prime. Res64: 32D05BA1DEE21DC2 Time : 0.0 sec. user=mdettweiler [2017-04-18 14:20:03] 919*2^1452025-1 is not prime. Res64: F8DD13BE8B55D793 Time : 0.0 sec. user=mdettweiler [2017-04-18 14:20:03] 937*2^1452025-1 is not prime. Res64: 68417A4FB21BA0CA Time : 0.0 sec. user=mdettweiler [2017-04-18 14:20:03] 623*2^1452026-1 is not prime. Res64: 31BD6DF279D53626 Time : 0.0 sec. user=mdettweiler [2017-04-18 14:20:04] 701*2^1452026-1 is not prime. Res64: AA34DBA4D91D8244 Time : 0.0 sec. user=mdettweiler [2017-04-18 14:20:04] 713*2^1452026-1 is not prime. Res64: 2A0FF7B0256F783C Time : 0.0 sec. user=mdettweiler [2017-04-18 14:25:07] 831*2^1452026-1 is not prime. Res64: 51DAC89A43279400 Time : 0.0 sec. user=mdettweiler [2017-04-18 14:25:08] 857*2^1452026-1 is not prime. Res64: B911C7546A4573C3 Time : 0.0 sec. user=mdettweiler [2017-04-18 14:25:08] 903*2^1452026-1 is not prime. Res64: F56D58EAF28CED73 Time : 0.0 sec. user=mdettweiler [2017-04-18 14:25:09] 625*2^1452027-1 is not prime. Res64: 31C837330FDF6CAF Time : 0.0 sec. user=mdettweiler [2017-04-18 14:25:09] 675*2^1452027-1 is not prime. Res64: 894E80436473548F Time : 0.0 sec. user=mdettweiler [2017-04-18 14:25:27] 699*2^1452027-1 is not prime. Res64: 7D1AA1C405E76680 Time : 0.0 sec. user=mdettweiler [2017-04-18 14:25:27] 751*2^1452027-1 is not prime. Res64: 582565C98CB1BF5A Time : 0.0 sec. user=mdettweiler [2017-04-18 14:25:27] 879*2^1452027-1 is not prime. Res64: 4ED54C847664A544 Time : 0.0 sec. user=mdettweiler [2017-04-18 14:25:28] 999*2^1452027-1 is not prime. Res64: 1A4E5758DE0D5357 Time : 0.0 sec. user=mdettweiler [2017-04-18 14:25:28] 623*2^1452028-1 is not prime. Res64: 83DFF676C5F8B7E4 Time : 0.0 sec. user=juhehe [2017-04-18 14:47:06] 639*2^1452028-1 is not prime. Res64: 3359D9A753E9F027 Time : 0.0 sec. user=mdettweiler [2017-04-18 14:52:38] 677*2^1452028-1 is not prime. Res64: A9A62E06157A5B4C Time : 0.0 sec. user=mdettweiler [2017-04-18 14:52:38] 875*2^1452028-1 is not prime. Res64: B37DDF6FEE7D4022 Time : 0.0 sec. user=mdettweiler [2017-04-18 14:52:39] 989*2^1452028-1 is not prime. Res64: E5DA961C514C25C5 Time : 0.0 sec. user=mdettweiler [2017-04-18 14:52:39] 999*2^1452028-1 is not prime. Res64: B0B48DA0F5160192 Time : 0.0 sec. user=mdettweiler [2017-04-18 14:52:39] 657*2^1452029-1 is not prime. Res64: EBE66B112658DDFF Time : 0.0 sec. user=mdettweiler [2017-04-18 15:05:14] 675*2^1452029-1 is not prime. Res64: 560D892FDED6C954 Time : 0.0 sec. user=mdettweiler [2017-04-18 15:05:16] 699*2^1452029-1 is not prime. Res64: 847561F1839A53E4 Time : 0.0 sec. user=mdettweiler [2017-04-18 15:05:18] 747*2^1452029-1 is not prime. Res64: 5EA32783B0DE2D3B Time : 0.0 sec. user=mdettweiler [2017-04-18 15:05:19] 825*2^1452029-1 is not prime. Res64: 097343EC4CC1BB92 Time : 0.0 sec. user=mdettweiler [2017-04-18 15:05:20] 879*2^1452029-1 is not prime. Res64: 3EFA73FB41102966 Time : 0.0 sec. user=mdettweiler [2017-04-18 15:10:15] 979*2^1452029-1 is not prime. Res64: 15FD0A962AD355EA Time : 0.0 sec. user=mdettweiler [2017-04-18 15:10:15] 647*2^1452030-1 is not prime. Res64: 736916915C7374A0 Time : 0.0 sec. user=mdettweiler [2017-04-18 15:10:16] 681*2^1452030-1 is not prime. Res64: B419E0689D8EDDA2 Time : 0.0 sec. user=mdettweiler [2017-04-18 15:10:16] 711*2^1452030-1 is not prime. Res64: 53707F646303C2E3 Time : 0.0 sec. user=mdettweiler [2017-04-18 15:10:16] 821*2^1452030-1 is not prime. Res64: D15885C5E8326A10 Time : 0.0 sec. user=mdettweiler [2017-04-18 15:10:38] 833*2^1452030-1 is not prime. Res64: 1B283C8C468E1240 Time : 0.0 sec. user=mdettweiler [2017-04-18 15:10:38] 843*2^1452030-1 is not prime. Res64: D388DB42EBA20EDA Time : 0.0 sec. user=mdettweiler [2017-04-18 15:10:38] 703*2^1452031-1 is not prime. Res64: 9C61F4B20A8D1FCB Time : 0.0 sec. user=mdettweiler [2017-04-18 15:10:39] 751*2^1452031-1 is not prime. Res64: 4116871FDD8FEC27 Time : 0.0 sec. user=mdettweiler [2017-04-18 15:10:39] 843*2^1452031-1 is not prime. Res64: 642A2A29A94020EF Time : 0.0 sec. user=mdettweiler [2017-04-18 15:37:44] 871*2^1452031-1 is not prime. Res64: 50B623F391E38294 Time : 0.0 sec. user=mdettweiler [2017-04-18 15:37:45] 933*2^1452031-1 is not prime. Res64: F5764397DED81B04 Time : 0.0 sec. user=mdettweiler [2017-04-18 15:37:45] 969*2^1452031-1 is not prime. Res64: 0ACFEB35EB39CB21 Time : 0.0 sec. user=mdettweiler [2017-04-18 15:37:45] 975*2^1452031-1 is not prime. Res64: 135CD9F3B3B479D5 Time : 0.0 sec. user=mdettweiler [2017-04-18 15:37:46] 713*2^1452032-1 is not prime. Res64: D42D66189C977621 Time : 0.0 sec. user=mdettweiler [2017-04-18 15:50:56] 743*2^1452032-1 is not prime. Res64: AF3DD7F244EDD7ED Time : 0.0 sec. user=mdettweiler [2017-04-18 15:50:56] 797*2^1452032-1 is not prime. Res64: F6F334C9422F862E Time : 0.0 sec. user=mdettweiler [2017-04-18 15:50:57] 819*2^1452032-1 is not prime. Res64: 302D3211ACB0B4BD Time : 0.0 sec. user=mdettweiler [2017-04-18 15:50:57] 843*2^1452032-1 is not prime. Res64: 82FE3DF2AC4D92EA Time : 0.0 sec. user=mdettweiler [2017-04-18 15:50:57] 977*2^1452032-1 is not prime. Res64: 89B4ADFCEABC0BBA Time : 0.0 sec. user=mdettweiler [2017-04-18 15:55:47] 983*2^1452032-1 is not prime. Res64: D72E95E06CCCB486 Time : 0.0 sec. user=mdettweiler [2017-04-18 15:55:48] 625*2^1452033-1 is not prime. Res64: 3977EEABF577B38D Time : 0.0 sec. user=mdettweiler [2017-04-18 15:55:48] 747*2^1452033-1 is not prime. Res64: 73EC988430A4CE63 Time : 0.0 sec. user=mdettweiler [2017-04-18 15:55:48] 765*2^1452033-1 is not prime. Res64: C691A012AF827A87 Time : 0.0 sec. user=mdettweiler [2017-04-18 15:55:49] 819*2^1452033-1 is not prime. Res64: F584F71DD4426307 Time : 0.0 sec. user=mdettweiler [2017-04-18 15:55:49] 861*2^1452033-1 is not prime. Res64: 540CE15653F3AF50 Time : 0.0 sec. user=mdettweiler [2017-04-18 15:55:50] 885*2^1452033-1 is not prime. Res64: 10544A90180B716D Time : 0.0 sec. user=mdettweiler [2017-04-18 15:55:50] 945*2^1452033-1 is not prime. Res64: 6FA9751792246FAF Time : 0.0 sec. user=mdettweiler [2017-04-18 15:55:50] 951*2^1452033-1 is not prime. Res64: 8D03C11A67DE57EB Time : 0.0 sec. user=mdettweiler [2017-04-18 15:55:51] 999*2^1452033-1 is not prime. Res64: 5D3182765E7603FB Time : 0.0 sec. user=mdettweiler [2017-04-18 16:22:50] 675*2^1452034-1 is not prime. Res64: 841071CFE8F007E9 Time : 0.0 sec. user=mdettweiler [2017-04-18 16:22:51] 687*2^1452034-1 is not prime. Res64: 0FC3062961ACC648 Time : 0.0 sec. user=mdettweiler [2017-04-18 16:22:51] 705*2^1452034-1 is not prime. Res64: FCD33CD6F3600C68 Time : 0.0 sec. user=mdettweiler [2017-04-18 16:22:52] 723*2^1452034-1 is not prime. Res64: DBF5E48E24ED2DA4 Time : 0.0 sec. user=mdettweiler [2017-04-18 16:22:52] 857*2^1452034-1 is not prime. Res64: 7F8BB58AAD2C4460 Time : 0.0 sec. user=mdettweiler [2017-04-18 16:37:04] 887*2^1452034-1 is not prime. Res64: DCD287766703C00E Time : 0.0 sec. user=mdettweiler [2017-04-18 16:37:04] 917*2^1452034-1 is not prime. Res64: 88F2E89295398DAD Time : 0.0 sec. user=mdettweiler [2017-04-18 16:37:05] 923*2^1452034-1 is not prime. Res64: 9A833D0C361EBB26 Time : 0.0 sec. user=mdettweiler [2017-04-18 16:37:05] 675*2^1452035-1 is not prime. Res64: 4F603E04528D96D2 Time : 0.0 sec. user=mdettweiler [2017-04-18 16:37:05] 693*2^1452035-1 is not prime. Res64: 99054811DCC68673 Time : 0.0 sec. user=mdettweiler [2017-04-18 16:42:07] 683*2^1452036-1 is not prime. Res64: 1508647C92E12148 Time : 0.0 sec. user=mdettweiler [2017-04-18 16:42:07] 705*2^1452036-1 is not prime. Res64: F580C8F92471762B Time : 0.0 sec. user=mdettweiler [2017-04-18 16:42:07] 749*2^1452036-1 is not prime. Res64: 12BE7F4E41D048FE Time : 0.0 sec. user=mdettweiler [2017-04-18 16:42:07] 759*2^1452036-1 is not prime. Res64: EB6C58B9EECF743B Time : 0.0 sec. user=mdettweiler [2017-04-18 16:42:08] 789*2^1452036-1 is not prime. Res64: 93FB21B4994E9255 Time : 0.0 sec. user=mdettweiler [2017-04-18 16:42:14] 735*2^1452035-1 is not prime. Res64: 36AB0CCCA6E486CC Time : 0.0 sec. user=mdettweiler [2017-04-18 16:42:15] 855*2^1452035-1 is not prime. Res64: 0F921E78BF44AD6D Time : 0.0 sec. user=mdettweiler [2017-04-18 16:42:15] 861*2^1452035-1 is not prime. Res64: 5FC54D8F8C3DA43F Time : 0.0 sec. user=mdettweiler [2017-04-18 16:42:15] 981*2^1452035-1 is not prime. Res64: E1EAC96048F91A05 Time : 0.0 sec. user=mdettweiler [2017-04-18 16:42:15] 669*2^1452036-1 is not prime. Res64: E587B4CBF01B1356 Time : 0.0 sec. user=juhehe [2017-04-18 17:03:53] 875*2^1452036-1 is not prime. Res64: 2ACD9A21B1E53C78 Time : 0.0 sec. user=mdettweiler [2017-04-18 17:11:35] 945*2^1452036-1 is not prime. Res64: C381534DE3186BCC Time : 0.0 sec. user=mdettweiler [2017-04-18 17:11:35] 667*2^1452037-1 is not prime. Res64: F4E42D38257B070A Time : 0.0 sec. user=mdettweiler [2017-04-18 17:11:36] 759*2^1452037-1 is not prime. Res64: 57B2D12A45BB2695 Time : 0.0 sec. user=mdettweiler [2017-04-18 17:11:36] 801*2^1452037-1 is not prime. Res64: 80D110E5C4466E47 Time : 0.0 sec. user=mdettweiler [2017-04-18 17:11:36] 889*2^1452037-1 is not prime. Res64: E9F64A5ABEACE63C Time : 0.0 sec. user=mdettweiler [2017-04-18 17:25:08] 945*2^1452037-1 is not prime. Res64: 6B2ED7E91C3EBC09 Time : 0.0 sec. user=mdettweiler [2017-04-18 17:25:09] 975*2^1452037-1 is not prime. Res64: B813AAE0E52B4423 Time : 0.0 sec. user=mdettweiler [2017-04-18 17:25:09] 617*2^1452038-1 is not prime. Res64: B5C59622C11C88C1 Time : 0.0 sec. user=mdettweiler [2017-04-18 17:25:09] 707*2^1452038-1 is not prime. Res64: 47945318AEC2A992 Time : 0.0 sec. user=mdettweiler [2017-04-18 17:25:09] 743*2^1452038-1 is not prime. Res64: D3E2CF619E6BDD08 Time : 0.0 sec. user=mdettweiler [2017-04-18 17:29:50] 831*2^1452038-1 is not prime. Res64: 63E32A319BD0DEC7 Time : 0.0 sec. user=mdettweiler [2017-04-18 17:29:50] 887*2^1452038-1 is not prime. Res64: 85C4596813836843 Time : 0.0 sec. user=mdettweiler [2017-04-18 17:29:50] 893*2^1452038-1 is not prime. Res64: 3C7A1A8B5AF48CA1 Time : 0.0 sec. user=mdettweiler [2017-04-18 17:29:51] 923*2^1452038-1 is not prime. Res64: A2D504D53F083615 Time : 0.0 sec. user=mdettweiler [2017-04-18 17:29:51] 953*2^1452038-1 is not prime. Res64: A56B4D9B6BB6C01C Time : 0.0 sec. user=mdettweiler [2017-04-18 17:30:00] 977*2^1452038-1 is not prime. Res64: 50C76C098302130B Time : 0.0 sec. user=mdettweiler [2017-04-18 17:30:00] 649*2^1452039-1 is not prime. Res64: 0E0D5D082DE67E52 Time : 0.0 sec. user=mdettweiler [2017-04-18 17:30:00] 685*2^1452039-1 is not prime. Res64: 8469187CE8E699E9 Time : 0.0 sec. user=mdettweiler [2017-04-18 17:30:00] 723*2^1452039-1 is not prime. Res64: 9F7CB83C64FBD3F9 Time : 0.0 sec. user=mdettweiler [2017-04-18 17:30:01] 735*2^1452039-1 is not prime. Res64: 26BCD53D387B4B74 Time : 0.0 sec. user=mdettweiler [2017-04-18 17:59:07] 789*2^1452039-1 is not prime. Res64: 5D23B487CE44FF51 Time : 0.0 sec. user=mdettweiler [2017-04-18 17:59:07] 891*2^1452039-1 is not prime. Res64: F00C84EF572EEB92 Time : 0.0 sec. user=mdettweiler [2017-04-18 17:59:08] 943*2^1452039-1 is not prime. Res64: E85A7A32A7C808F7 Time : 0.0 sec. user=mdettweiler [2017-04-18 17:59:08] 949*2^1452039-1 is not prime. Res64: CFAAA8A7D3B14C4E Time : 0.0 sec. user=mdettweiler [2017-04-18 17:59:08] 955*2^1452039-1 is not prime. Res64: 16057A81C065C619 Time : 0.0 sec. user=mdettweiler [2017-04-18 18:11:53] 605*2^1452040-1 is not prime. Res64: A8D03B0E337C8B26 Time : 0.0 sec. user=mdettweiler [2017-04-18 18:11:54] 665*2^1452040-1 is not prime. Res64: 226A43230E8C87B7 Time : 0.0 sec. user=mdettweiler [2017-04-18 18:11:55] 687*2^1452040-1 is not prime. Res64: CB76A48E82EFDDD5 Time : 0.0 sec. user=mdettweiler [2017-04-18 18:11:55] 689*2^1452040-1 is not prime. Res64: 62386DA0869F425E Time : 0.0 sec. user=mdettweiler [2017-04-18 18:11:56] 723*2^1452040-1 is not prime. Res64: 01A073778947BDEB Time : 0.0 sec. user=mdettweiler [2017-04-18 18:16:27] 765*2^1452040-1 is not prime. Res64: D77032DDDCBB4E16 Time : 0.0 sec. user=mdettweiler [2017-04-18 18:16:28] 915*2^1452040-1 is not prime. Res64: 7F81E9BC81497815 Time : 0.0 sec. user=mdettweiler [2017-04-18 18:16:28] 965*2^1452040-1 is not prime. Res64: 0CF37F2C85934C57 Time : 0.0 sec. user=mdettweiler [2017-04-18 18:16:29] 795*2^1452041-1 is not prime. Res64: 0790248D8C03A59B Time : 0.0 sec. user=mdettweiler [2017-04-18 18:16:29] 867*2^1452041-1 is not prime. Res64: B059B72211C33472 Time : 0.0 sec. user=mdettweiler [2017-04-18 18:16:43] 885*2^1452041-1 is not prime. Res64: E9CD0E810154EE61 Time : 0.0 sec. user=mdettweiler [2017-04-18 18:16:44] 909*2^1452041-1 is not prime. Res64: 226F2930B2C1420F Time : 0.0 sec. user=mdettweiler [2017-04-18 18:16:44] 955*2^1452041-1 is not prime. Res64: B527E827A3BD7652 Time : 0.0 sec. user=mdettweiler [2017-04-18 18:16:45] 981*2^1452041-1 is not prime. Res64: B57F6F01EFE25F41 Time : 0.0 sec. user=mdettweiler [2017-04-18 18:16:45] 991*2^1452041-1 is not prime. Res64: 4E4BBEE3E803B5D1 Time : 0.0 sec. user=mdettweiler [2017-04-18 18:44:20] 657*2^1452042-1 is not prime. Res64: 1A935CFA6F7AEA44 Time : 0.0 sec. user=mdettweiler [2017-04-18 18:44:20] 681*2^1452042-1 is not prime. Res64: E39225EF0E1DA41B Time : 0.0 sec. user=mdettweiler [2017-04-18 18:44:21] 791*2^1452042-1 is not prime. Res64: 3F90FDEA3A50EA77 Time : 0.0 sec. user=mdettweiler [2017-04-18 18:44:21] 797*2^1452042-1 is not prime. Res64: 5F8B65A06089AB07 Time : 0.0 sec. user=mdettweiler [2017-04-18 18:44:21] 801*2^1452042-1 is not prime. Res64: 4F77BFC456489826 Time : 0.0 sec. user=mdettweiler [2017-04-18 18:57:19] 807*2^1452042-1 is not prime. Res64: 38F4720183E2D2FF Time : 0.0 sec. user=mdettweiler [2017-04-18 18:57:19] 891*2^1452042-1 is not prime. Res64: 44885CACDD86B43A Time : 0.0 sec. user=mdettweiler [2017-04-18 18:57:20] 923*2^1452042-1 is not prime. Res64: 6599D3A711EA3721 Time : 0.0 sec. user=mdettweiler [2017-04-18 18:57:20] 977*2^1452042-1 is not prime. Res64: FBD4700D0CED957F Time : 0.0 sec. user=mdettweiler [2017-04-18 18:57:20] 633*2^1452043-1 is not prime. Res64: 946794EF29889D83 Time : 0.0 sec. user=mdettweiler [2017-04-18 19:01:42] 693*2^1452043-1 is not prime. Res64: C54A4925F2D06DFE Time : 0.0 sec. user=mdettweiler [2017-04-18 19:01:43] 769*2^1452043-1 is not prime. Res64: 5C9930B623552AD6 Time : 0.0 sec. user=mdettweiler [2017-04-18 19:01:44] 855*2^1452043-1 is not prime. Res64: 2F73CFE41F82DECD Time : 0.0 sec. user=mdettweiler [2017-04-18 19:01:44] 873*2^1452043-1 is not prime. Res64: F78035283E0CD69A Time : 0.0 sec. user=mdettweiler [2017-04-18 19:01:45] 885*2^1452043-1 is not prime. Res64: 27ADDADFD079D8C8 Time : 0.0 sec. user=mdettweiler [2017-04-18 19:02:06] 919*2^1452043-1 is not prime. Res64: 443DFDCBB51E0B53 Time : 0.0 sec. user=mdettweiler [2017-04-18 19:02:07] 925*2^1452043-1 is not prime. Res64: BBE38DBD11D945AF Time : 0.0 sec. user=mdettweiler [2017-04-18 19:02:07] 657*2^1452044-1 is not prime. Res64: F60B5E281ECF3D59 Time : 0.0 sec. user=mdettweiler [2017-04-18 19:02:08] 663*2^1452044-1 is not prime. Res64: 3CAFF573590C9C0F Time : 0.0 sec. user=mdettweiler [2017-04-18 19:02:08] 699*2^1452044-1 is not prime. Res64: 06359ED2174E52CA Time : 0.0 sec. user=juhehe [2017-04-18 19:16:26] 825*2^1452044-1 is not prime. Res64: B7675C6BA5792E6E Time : 0.0 sec. user=juhehe [2017-04-18 19:25:48] 995*2^1452044-1 is not prime. Res64: 12040EA9F7F08FEF Time : 0.0 sec. user=mdettweiler [2017-04-18 19:29:30] 869*2^1452044-1 is not prime. Res64: A1B44A6FAE3214EC Time : 0.0 sec. user=mdettweiler [2017-04-18 19:29:31] 903*2^1452044-1 is not prime. Res64: 004779E063314B3D Time : 0.0 sec. user=mdettweiler [2017-04-18 19:29:31] 909*2^1452044-1 is not prime. Res64: 0E00E327CBE1EC82 Time : 0.0 sec. user=mdettweiler [2017-04-18 19:29:31] 929*2^1452044-1 is not prime. Res64: F3CE6798FFF849B5 Time : 0.0 sec. user=mdettweiler [2017-04-18 19:29:32] 983*2^1452044-1 is not prime. Res64: 526A9EA6E7BEB736 Time : 0.0 sec. user=mdettweiler [2017-04-18 19:42:32] 657*2^1452045-1 is not prime. Res64: 4680A5E5DCB0A2AA Time : 0.0 sec. user=mdettweiler [2017-04-18 19:42:32] 709*2^1452045-1 is not prime. Res64: BA935BE509BA573A Time : 0.0 sec. user=mdettweiler [2017-04-18 19:42:33] 781*2^1452045-1 is not prime. Res64: 42BFA4F34AC852FD Time : 0.0 sec. user=mdettweiler [2017-04-18 19:42:33] 861*2^1452045-1 is not prime. Res64: DD4421F4078AD37D Time : 0.0 sec. user=mdettweiler [2017-04-18 19:42:33] 927*2^1452045-1 is not prime. Res64: B3EA56D2982A1B84 Time : 0.0 sec. user=mdettweiler [2017-04-18 19:47:43] 937*2^1452045-1 is not prime. Res64: 86BABDB347D6FCE0 Time : 0.0 sec. user=mdettweiler [2017-04-18 19:47:43] 951*2^1452045-1 is not prime. Res64: 28D68850D5DCEF0B Time : 0.0 sec. user=mdettweiler [2017-04-18 19:47:43] 975*2^1452045-1 is not prime. Res64: 9A47BFEE118375C8 Time : 0.0 sec. user=mdettweiler [2017-04-18 19:47:44] 991*2^1452045-1 is not prime. Res64: 4C605FF192729F30 Time : 0.0 sec. user=mdettweiler [2017-04-18 19:47:44] 653*2^1452046-1 is not prime. Res64: D997AD4F31C4AA24 Time : 0.0 sec. user=mdettweiler [2017-04-18 19:48:01] 773*2^1452046-1 is not prime. Res64: A6ED9C5075AE1BC2 Time : 0.0 sec. user=mdettweiler [2017-04-18 19:48:02] 815*2^1452046-1 is not prime. Res64: 0F1ED3D44FB91176 Time : 0.0 sec. user=mdettweiler [2017-04-18 19:48:02] 821*2^1452046-1 is not prime. Res64: AA8CC40F520DF138 Time : 0.0 sec. user=mdettweiler [2017-04-18 19:48:02] 867*2^1452046-1 is not prime. Res64: 43BC1A10371904CB Time : 0.0 sec. user=mdettweiler [2017-04-18 19:48:02] 947*2^1452046-1 is not prime. Res64: 525BDC88699AB23B Time : 0.0 sec. user=juhehe [2017-04-18 20:04:50] 603*2^1452047-1 is not prime. Res64: AD547FFFD41C46BC Time : 0.0 sec. user=mdettweiler [2017-04-18 20:20:36] 633*2^1452047-1 is not prime. Res64: DCF837894375506B Time : 0.0 sec. user=mdettweiler [2017-04-18 20:20:36] 655*2^1452047-1 is not prime. Res64: 68E3DAF0123A467D Time : 0.0 sec. user=mdettweiler [2017-04-18 20:20:36] 663*2^1452047-1 is not prime. Res64: 73C2F44EED508218 Time : 0.0 sec. user=mdettweiler [2017-04-18 20:20:37] 703*2^1452047-1 is not prime. Res64: 1E8D534561EE79FD Time : 0.0 sec. user=mdettweiler [2017-04-18 20:20:37] 753*2^1452047-1 is not prime. Res64: 8086D8D891577E12 Time : 0.0 sec. user=mdettweiler [2017-04-18 20:37:01] 825*2^1452047-1 is not prime. Res64: F6807FC68854C993 Time : 0.0 sec. user=mdettweiler [2017-04-18 20:37:02] 859*2^1452047-1 is not prime. Res64: B3AA4CFC6ECDDDCE Time : 0.0 sec. user=mdettweiler [2017-04-18 20:37:02] 999*2^1452047-1 is not prime. Res64: A5BCC8EDF52DDF58 Time : 0.0 sec. user=mdettweiler [2017-04-18 20:37:02] 765*2^1452048-1 is not prime. Res64: FB703724B1E37893 Time : 0.0 sec. user=mdettweiler [2017-04-18 20:37:02] 773*2^1452048-1 is not prime. Res64: 5E39931BD5117E11 Time : 0.0 sec. user=mdettweiler [2017-04-18 20:43:26] 839*2^1452048-1 is not prime. Res64: 0FDCE467D763747C Time : 0.0 sec. user=mdettweiler [2017-04-18 20:43:26] 993*2^1452048-1 is not prime. Res64: CE7CC2FBF1E79B8C Time : 0.0 sec. user=mdettweiler [2017-04-18 20:43:27] 649*2^1452049-1 is not prime. Res64: 6B94965E314F4F22 Time : 0.0 sec. user=mdettweiler [2017-04-18 20:43:27] 817*2^1452049-1 is not prime. Res64: C0B371FC49F84F02 Time : 0.0 sec. user=mdettweiler [2017-04-18 20:43:27] 675*2^1452050-1 is not prime. Res64: 76CDBAA954F314B2 Time : 0.0 sec. user=mdettweiler [2017-04-18 20:43:48] 711*2^1452050-1 is not prime. Res64: 2AB37E404B79D2B2 Time : 0.0 sec. user=mdettweiler [2017-04-18 20:43:48] 743*2^1452050-1 is not prime. Res64: 82094C3B065CC483 Time : 0.0 sec. user=mdettweiler [2017-04-18 20:43:49] 851*2^1452050-1 is not prime. Res64: FC00A1F535213A69 Time : 0.0 sec. user=mdettweiler [2017-04-18 20:43:49] 945*2^1452050-1 is not prime. Res64: D06848BEEE0B62A0 Time : 0.0 sec. user=mdettweiler [2017-04-18 20:43:49] 971*2^1452050-1 is not prime. Res64: 079FFB35012FFF98 Time : 0.0 sec. user=juhehe [2017-04-18 21:16:57] 685*2^1452053-1 is not prime. Res64: 551D4DA7A0305551 Time : 0.0 sec. user=mdettweiler [2017-04-18 21:18:56] 1001*2^1452050-1 is not prime. Res64: 4530161D2510933A Time : 0.0 sec. user=mdettweiler [2017-04-18 21:18:57] 601*2^1452051-1 is not prime. Res64: F340CB3AE88DF6E9 Time : 0.0 sec. user=mdettweiler [2017-04-18 21:18:57] 609*2^1452051-1 is not prime. Res64: 2774351B841D3AB0 Time : 0.0 sec. user=mdettweiler [2017-04-18 21:18:57] 823*2^1452051-1 is not prime. Res64: B49EEAF7FC624B0A Time : 0.0 sec. user=mdettweiler [2017-04-18 21:18:58] 829*2^1452051-1 is not prime. Res64: BBAEA2EA1315F451 Time : 0.0 sec. user=mdettweiler [2017-04-18 21:31:44] 779*2^1452052-1 is not prime. Res64: 84CCFBE518BD5C9B Time : 0.0 sec. user=mdettweiler [2017-04-18 21:31:44] 903*2^1452052-1 is not prime. Res64: 0E53AD658BFCF771 Time : 0.0 sec. user=mdettweiler [2017-04-18 21:31:45] 909*2^1452052-1 is not prime. Res64: EF69D594B67EF826 Time : 0.0 sec. user=mdettweiler [2017-04-18 21:31:45] 957*2^1452052-1 is not prime. Res64: 19C17588FB0EA877 Time : 0.0 sec. user=mdettweiler [2017-04-18 21:31:45] 649*2^1452053-1 is not prime. Res64: 88D8F41C565462FF Time : 0.0 sec. user=mdettweiler [2017-04-18 21:36:16] 691*2^1452053-1 is not prime. Res64: 3D989B608BF30E6C Time : 0.0 sec. user=mdettweiler [2017-04-18 21:36:17] 727*2^1452053-1 is not prime. Res64: 52337D28BE553151 Time : 0.0 sec. user=mdettweiler [2017-04-18 21:36:17] 795*2^1452053-1 is not prime. Res64: 42059788C671267F Time : 0.0 sec. user=mdettweiler [2017-04-18 21:36:17] 847*2^1452053-1 is not prime. Res64: 1C04732CC67BB1A5 Time : 0.0 sec. user=mdettweiler [2017-04-18 21:36:18] 861*2^1452053-1 is not prime. Res64: F4A71C62FA947CFF Time : 0.0 sec. user=mdettweiler [2017-04-18 21:36:49] 879*2^1452053-1 is not prime. Res64: 5AA6F6CE82219223 Time : 0.0 sec. user=mdettweiler [2017-04-18 21:36:49] 915*2^1452053-1 is not prime. Res64: 20DE579FC2221C90 Time : 0.0 sec. user=mdettweiler [2017-04-18 21:36:50] 955*2^1452053-1 is not prime. Res64: 014B34AFF916784C Time : 0.0 sec. user=mdettweiler [2017-04-18 21:36:50] 853*2^1452055-1 is not prime. Res64: F451CB2F680C990F Time : 0.0 sec. user=mdettweiler [2017-04-18 21:36:51] 943*2^1452055-1 is not prime. Res64: 045069BCB81F0173 Time : 0.0 sec. user=mdettweiler [2017-04-18 22:04:11] 635*2^1452056-1 is not prime. Res64: D5680458187B5354 Time : 0.0 sec. user=mdettweiler [2017-04-18 22:04:13] 669*2^1452056-1 is not prime. Res64: 0AB539813CA1B2F6 Time : 0.0 sec. user=mdettweiler [2017-04-18 22:04:14] 857*2^1452056-1 is not prime. Res64: F7ADB6C77736DBAE Time : 0.0 sec. user=mdettweiler [2017-04-18 22:04:15] 717*2^1452057-1 is not prime. Res64: AFADA829E634EC8E Time : 0.0 sec. user=mdettweiler [2017-04-18 22:04:16] 769*2^1452057-1 is not prime. Res64: 48B1827A05A9267C Time : 0.0 sec. user=mdettweiler [2017-04-18 22:16:45] 885*2^1452057-1 is not prime. Res64: B62A70D9EE89AACF Time : 0.0 sec. user=mdettweiler [2017-04-18 22:16:45] 919*2^1452057-1 is not prime. Res64: B93270DBFBC5A8F9 Time : 0.0 sec. user=mdettweiler [2017-04-18 22:16:45] 677*2^1452058-1 is not prime. Res64: 615E24D9D03F1C6F Time : 0.0 sec. user=mdettweiler [2017-04-18 22:16:46] 791*2^1452058-1 is not prime. Res64: 869638E201AB2D25 Time : 0.0 sec. user=mdettweiler [2017-04-18 22:16:46] 803*2^1452058-1 is not prime. Res64: EEAAA6EAA2BE5E72 Time : 0.0 sec. user=mdettweiler [2017-04-18 22:21:23] 887*2^1452058-1 is not prime. Res64: 0C6F60FD3E6237CE Time : 0.0 sec. user=mdettweiler [2017-04-18 22:21:23] 905*2^1452058-1 is not prime. Res64: BCE124EA8207489D Time : 0.0 sec. user=mdettweiler [2017-04-18 22:21:24] 911*2^1452058-1 is not prime. Res64: AA267518A0C5C1A7 Time : 0.0 sec. user=mdettweiler [2017-04-18 22:21:24] 945*2^1452058-1 is not prime. Res64: 2C65AEF0A6DD726C Time : 0.0 sec. user=mdettweiler [2017-04-18 22:21:24] 971*2^1452058-1 is not prime. Res64: 2E59ED213C15C0F5 Time : 0.0 sec. user=mdettweiler [2017-04-18 22:22:01] 975*2^1452058-1 is not prime. Res64: 0A116B976455B980 Time : 0.0 sec. user=mdettweiler [2017-04-18 22:22:02] 981*2^1452058-1 is not prime. Res64: B098873ED8BB042B Time : 0.0 sec. user=mdettweiler [2017-04-18 22:22:02] 995*2^1452058-1 is not prime. Res64: 31CC8D30B1BE2354 Time : 0.0 sec. user=mdettweiler [2017-04-18 22:22:02] 643*2^1452059-1 is not prime. Res64: A6E7E34466BA3052 Time : 0.0 sec. user=mdettweiler [2017-04-18 22:22:03] 711*2^1452059-1 is not prime. Res64: A8D707E39A9E2BBA Time : 0.0 sec. user=mdettweiler [2017-04-18 22:49:41] 775*2^1452059-1 is not prime. Res64: 18CA25B27C2278D6 Time : 0.0 sec. user=mdettweiler [2017-04-18 22:49:41] 855*2^1452059-1 is not prime. Res64: D3AE4E38A999C8B5 Time : 0.0 sec. user=mdettweiler [2017-04-18 22:49:41] 949*2^1452059-1 is not prime. Res64: 5C4B04EED441FCA9 Time : 0.0 sec. user=mdettweiler [2017-04-18 22:49:42] 991*2^1452059-1 is not prime. Res64: BA0D76F141DDAEDD Time : 0.0 sec. user=mdettweiler [2017-04-18 22:49:42] 653*2^1452060-1 is not prime. Res64: 98995FF52C20FAA5 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:01:51] 693*2^1452060-1 is not prime. Res64: 0223016F0B3976D7 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:01:52] 695*2^1452060-1 is not prime. Res64: 43075CEDB93193D4 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:01:53] 717*2^1452060-1 is not prime. Res64: 29A46BE2D2508176 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:01:53] 783*2^1452060-1 is not prime. Res64: 7FB60B386459110E Time : 0.0 sec. user=mdettweiler [2017-04-18 23:01:54] 879*2^1452060-1 is not prime. Res64: 4EF7403455A1BE56 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:06:31] 905*2^1452060-1 is not prime. Res64: 355C02421DEDFFD7 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:06:32] 965*2^1452060-1 is not prime. Res64: 79D04DD9701BE989 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:06:32] 987*2^1452060-1 is not prime. Res64: 37FBAACDA212FBE8 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:06:33] 619*2^1452061-1 is not prime. Res64: 5B9090772501E7F3 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:06:33] 651*2^1452061-1 is not prime. Res64: 58415BA327FD4D22 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:07:12] 691*2^1452061-1 is not prime. Res64: 71A947AADC631D5A Time : 0.0 sec. user=mdettweiler [2017-04-18 23:07:12] 747*2^1452061-1 is not prime. Res64: 6621D721958A3E02 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:07:12] 895*2^1452061-1 is not prime. Res64: 4DEF6FC8F2985AC1 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:07:13] 713*2^1452062-1 is not prime. Res64: 35D9A7D43771555C Time : 0.0 sec. user=mdettweiler [2017-04-18 23:07:13] 915*2^1452062-1 is not prime. Res64: 311ADBCAA5A17A46 Time : 0.0 sec. user=juhehe [2017-04-18 23:14:01] 945*2^1452062-1 is not prime. Res64: 0169E0C258A4AE0E Time : 0.0 sec. user=mdettweiler [2017-04-18 23:34:48] 981*2^1452062-1 is not prime. Res64: F551269C6FD49AB3 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:34:48] 983*2^1452062-1 is not prime. Res64: 24F1570CFF472F79 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:34:49] 751*2^1452063-1 is not prime. Res64: DC856FCBFCE089DF Time : 0.0 sec. user=mdettweiler [2017-04-18 23:34:49] 781*2^1452063-1 is not prime. Res64: F8B22168D63FD5AF Time : 0.0 sec. user=mdettweiler [2017-04-18 23:34:50] 831*2^1452063-1 is not prime. Res64: 2DB23A3907E7206B Time : 0.0 sec. user=mdettweiler [2017-04-18 23:47:28] 629*2^1452064-1 is not prime. Res64: 10326A187D11E3CF Time : 0.0 sec. user=mdettweiler [2017-04-18 23:47:28] 657*2^1452064-1 is not prime. Res64: 973E87863940A900 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:47:29] 723*2^1452064-1 is not prime. Res64: 17F455F345063DB4 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:47:29] 869*2^1452064-1 is not prime. Res64: 2E606EC676AADBF1 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:47:29] 887*2^1452064-1 is not prime. Res64: 860B0F7CF3B21CE1 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:52:04] 929*2^1452064-1 is not prime. Res64: 923C4DFB18733220 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:52:04] 627*2^1452065-1 is not prime. Res64: 2BA1E1C58A483B4E Time : 0.0 sec. user=mdettweiler [2017-04-18 23:52:05] 691*2^1452065-1 is not prime. Res64: AA462B0710385D11 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:52:05] 721*2^1452065-1 is not prime. Res64: 029D1B585E225F40 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:52:05] 837*2^1452065-1 is not prime. Res64: 497B92D5255DA3C6 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:52:25] 951*2^1452065-1 is not prime. Res64: EF9AFBB16FF34AC6 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:52:26] 647*2^1452066-1 is not prime. Res64: FE5F595F6F60FFF7 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:52:26] 725*2^1452066-1 is not prime. Res64: 5C49EE252256F056 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:52:26] 815*2^1452066-1 is not prime. Res64: 803A7ABCB8BB6232 Time : 0.0 sec. user=mdettweiler [2017-04-18 23:52:27] 893*2^1452066-1 is not prime. Res64: 5173AB20DE8599B3 Time : 0.0 sec.