user=mdettweiler [2018-11-08 00:13:10] 633*2^1530698-1 is not prime. Res64: BFFD087B10FA50ED Time : 0.0 sec. user=mdettweiler [2018-11-08 00:13:10] 791*2^1530698-1 is not prime. Res64: 8C9BE5CBFB1F288C Time : 0.0 sec. user=mdettweiler [2018-11-08 00:13:11] 801*2^1530698-1 is not prime. Res64: B10378C5303FEE39 Time : 0.0 sec. user=mdettweiler [2018-11-08 00:13:11] 813*2^1530698-1 is not prime. Res64: D1CEBCD839AE237A Time : 0.0 sec. user=mdettweiler [2018-11-08 00:13:11] 815*2^1530698-1 is not prime. Res64: 3399317063A796DC Time : 0.0 sec. user=mdettweiler [2018-11-08 00:35:58] 885*2^1530698-1 is not prime. Res64: 0A266D9FF37FCC74 Time : 0.0 sec. user=mdettweiler [2018-11-08 00:35:58] 893*2^1530698-1 is not prime. Res64: 64427EA340DA54EA Time : 0.0 sec. user=mdettweiler [2018-11-08 00:35:59] 911*2^1530698-1 is not prime. Res64: 481413520547C1A8 Time : 0.0 sec. user=mdettweiler [2018-11-08 00:35:59] 945*2^1530698-1 is not prime. Res64: 09DC9F542593ACDC Time : 0.0 sec. user=mdettweiler [2018-11-08 00:35:59] 995*2^1530698-1 is not prime. Res64: 752D02D166DBB246 Time : 0.0 sec. user=mdettweiler [2018-11-08 00:36:19] 601*2^1530699-1 is not prime. Res64: 7D38E7EB244576DB Time : 0.0 sec. user=mdettweiler [2018-11-08 00:36:19] 723*2^1530699-1 is not prime. Res64: D82E639A14D85F6A Time : 0.0 sec. user=mdettweiler [2018-11-08 00:36:20] 969*2^1530699-1 is not prime. Res64: D0FBCF08EBF97951 Time : 0.0 sec. user=mdettweiler [2018-11-08 00:36:20] 985*2^1530699-1 is not prime. Res64: 20B092D1A012CB75 Time : 0.0 sec. user=mdettweiler [2018-11-08 00:36:20] 609*2^1530700-1 is not prime. Res64: 4D01E2D196C88E6A Time : 0.0 sec. user=mdettweiler [2018-11-08 00:46:34] 647*2^1530700-1 is not prime. Res64: 0547C0B99317FF1A Time : 0.0 sec. user=mdettweiler [2018-11-08 00:46:35] 663*2^1530700-1 is not prime. Res64: 64C95DF1C27E0513 Time : 0.0 sec. user=mdettweiler [2018-11-08 00:46:35] 675*2^1530700-1 is not prime. Res64: 0F6942B0A50C1253 Time : 0.0 sec. user=mdettweiler [2018-11-08 00:46:35] 837*2^1530701-1 is not prime. Res64: F4FBAAE3BE8F6CC8 Time : 0.0 sec. user=mdettweiler [2018-11-08 00:46:35] 611*2^1530702-1 is not prime. Res64: C5B52E9BE7CBD8E7 Time : 0.0 sec. user=mdettweiler [2018-11-08 01:04:18] 627*2^1530702-1 is not prime. Res64: 9AF9613283960BAF Time : 0.0 sec. user=mdettweiler [2018-11-08 01:04:19] 651*2^1530702-1 is not prime. Res64: 199830C5D66052FE Time : 0.0 sec. user=mdettweiler [2018-11-08 01:04:20] 717*2^1530702-1 is not prime. Res64: B533FC5C7916EE72 Time : 0.0 sec. user=mdettweiler [2018-11-08 01:04:21] 797*2^1530702-1 is not prime. Res64: FDD33BF89757267D Time : 0.0 sec. user=mdettweiler [2018-11-08 01:04:22] 801*2^1530702-1 is not prime. Res64: A7B612FC86056CD9 Time : 0.0 sec. user=mdettweiler [2018-11-08 01:27:00] 729*2^1530703-1 is not prime. Res64: 2326F9CA309A8F4B Time : 0.0 sec. user=mdettweiler [2018-11-08 01:27:05] 853*2^1530703-1 is not prime. Res64: 07F2EF5EC27A3745 Time : 0.0 sec. user=mdettweiler [2018-11-08 01:27:07] 999*2^1530703-1 is not prime. Res64: E92150DAD2FABD22 Time : 0.0 sec. user=mdettweiler [2018-11-08 01:27:10] 665*2^1530704-1 is not prime. Res64: F4E08F6CA781E374 Time : 0.0 sec. user=mdettweiler [2018-11-08 01:27:12] 875*2^1530704-1 is not prime. Res64: 3810426F56997406 Time : 0.0 sec. user=mdettweiler [2018-11-08 01:27:13] 607*2^1530705-1 is not prime. Res64: 64465CB7262AB672 Time : 0.0 sec. user=mdettweiler [2018-11-08 01:27:14] 857*2^1530704-1 is not prime. Res64: DDCDC97C3852ED29 Time : 0.0 sec. user=mdettweiler [2018-11-08 01:27:14] 609*2^1530705-1 is not prime. Res64: 1EF0A73DC630EE2E Time : 0.0 sec. user=mdettweiler [2018-11-08 01:27:16] 651*2^1530705-1 is not prime. Res64: F62DDAB6EFBF1893 Time : 0.0 sec. user=mdettweiler [2018-11-08 01:27:17] 657*2^1530705-1 is not prime. Res64: CF0A4A8E3659A161 Time : 0.0 sec. user=mdettweiler [2018-11-08 01:37:35] 679*2^1530705-1 is not prime. Res64: F724B30B304A5FEC Time : 0.0 sec. user=mdettweiler [2018-11-08 01:37:36] 741*2^1530705-1 is not prime. Res64: 5F8F29E78179EAC6 Time : 0.0 sec. user=mdettweiler [2018-11-08 01:37:36] 895*2^1530705-1 is not prime. Res64: 1EB508F0A951CCF4 Time : 0.0 sec. user=mdettweiler [2018-11-08 01:37:36] 919*2^1530705-1 is not prime. Res64: E46AA6CC7EC8A262 Time : 0.0 sec. user=mdettweiler [2018-11-08 01:37:37] 611*2^1530706-1 is not prime. Res64: 91621A7FD5FBCEF9 Time : 0.0 sec. user=mdettweiler [2018-11-08 01:56:55] 657*2^1530706-1 is not prime. Res64: D490B88120DBC40F Time : 0.0 sec. user=mdettweiler [2018-11-08 01:56:56] 713*2^1530706-1 is not prime. Res64: FF5DE289DBBC144F Time : 0.0 sec. user=mdettweiler [2018-11-08 01:56:56] 723*2^1530706-1 is not prime. Res64: E8C1887B00EE426B Time : 0.0 sec. user=mdettweiler [2018-11-08 01:56:56] 755*2^1530706-1 is not prime. Res64: 7053E54FAD14B4D9 Time : 0.0 sec. user=mdettweiler [2018-11-08 01:56:57] 821*2^1530706-1 is not prime. Res64: 652B6A2B9CD26654 Time : 0.0 sec. user=mdettweiler [2018-11-08 02:19:53] 873*2^1530706-1 is not prime. Res64: EEFBD92E59DDD5D4 Time : 0.0 sec. user=mdettweiler [2018-11-08 02:19:54] 603*2^1530707-1 is not prime. Res64: 671605514F234450 Time : 0.0 sec. user=mdettweiler [2018-11-08 02:19:54] 619*2^1530707-1 is not prime. Res64: 5FBF105C153C7E1E Time : 0.0 sec. user=mdettweiler [2018-11-08 02:19:54] 633*2^1530707-1 is not prime. Res64: 031FB1FE4B4DCB22 Time : 0.0 sec. user=mdettweiler [2018-11-08 02:19:54] 685*2^1530707-1 is not prime. Res64: 228735640E11D49C Time : 0.0 sec. user=mdettweiler [2018-11-08 02:19:55] 933*2^1530706-1 is not prime. Res64: E890FF991A12E0AE Time : 0.0 sec. user=mdettweiler [2018-11-08 02:19:55] 987*2^1530706-1 is not prime. Res64: 526642D89DFAEA8C Time : 0.0 sec. user=mdettweiler [2018-11-08 02:19:55] 733*2^1530707-1 is not prime. Res64: 1B23283D96B55C96 Time : 0.0 sec. user=mdettweiler [2018-11-08 02:19:56] 775*2^1530707-1 is not prime. Res64: 9E13CBA9C3DBCB90 Time : 0.0 sec. user=mdettweiler [2018-11-08 02:19:56] 781*2^1530707-1 is not prime. Res64: 298C808149556785 Time : 0.0 sec. user=mdettweiler [2018-11-08 02:30:18] 843*2^1530707-1 is not prime. Res64: 1C8CB444ABB014E2 Time : 0.0 sec. user=mdettweiler [2018-11-08 02:30:18] 955*2^1530707-1 is not prime. Res64: 036F167CF7F6BD61 Time : 0.0 sec. user=mdettweiler [2018-11-08 02:30:18] 963*2^1530707-1 is not prime. Res64: 65B6A6EC5DC79FC8 Time : 0.0 sec. user=mdettweiler [2018-11-08 02:30:19] 985*2^1530707-1 is not prime. Res64: F376A061D7289F0E Time : 0.0 sec. user=mdettweiler [2018-11-08 02:30:19] 707*2^1530708-1 is not prime. Res64: 44072075497748E5 Time : 0.0 sec. user=mdettweiler [2018-11-08 02:48:57] 735*2^1530708-1 is not prime. Res64: B7E2C19D99B0D567 Time : 0.0 sec. user=mdettweiler [2018-11-08 02:48:58] 759*2^1530708-1 is not prime. Res64: 3860BB7AC0BEFB9E Time : 0.0 sec. user=mdettweiler [2018-11-08 02:48:58] 767*2^1530708-1 is not prime. Res64: 2BE967643DBEDFF7 Time : 0.0 sec. user=mdettweiler [2018-11-08 02:48:58] 845*2^1530708-1 is not prime. Res64: 9FE2C06492B5991F Time : 0.0 sec. user=mdettweiler [2018-11-08 02:48:59] 867*2^1530708-1 is not prime. Res64: 2D02B2D5964CC25F Time : 0.0 sec. user=mdettweiler [2018-11-08 03:11:20] 687*2^1530709-1 is not prime. Res64: BCD6553C905F417F Time : 0.0 sec. user=mdettweiler [2018-11-08 03:11:20] 741*2^1530709-1 is not prime. Res64: 075E33A2EAD5E2C8 Time : 0.0 sec. user=mdettweiler [2018-11-08 03:11:21] 771*2^1530709-1 is not prime. Res64: B19366D75F32EDB5 Time : 0.0 sec. user=mdettweiler [2018-11-08 03:11:21] 801*2^1530709-1 is not prime. Res64: F388DFE341332E90 Time : 0.0 sec. user=mdettweiler [2018-11-08 03:11:22] 825*2^1530709-1 is not prime. Res64: 1B743CA7DCEC9F5A Time : 0.0 sec. user=mdettweiler [2018-11-08 03:11:23] 959*2^1530708-1 is not prime. Res64: 5A20D20A27DDF4E1 Time : 0.0 sec. user=mdettweiler [2018-11-08 03:11:23] 987*2^1530708-1 is not prime. Res64: 21A492232172F40E Time : 0.0 sec. user=mdettweiler [2018-11-08 03:11:23] 993*2^1530708-1 is not prime. Res64: 621DFD2A6658797C Time : 0.0 sec. user=mdettweiler [2018-11-08 03:11:24] 609*2^1530709-1 is not prime. Res64: 541DF798413953B4 Time : 0.0 sec. user=mdettweiler [2018-11-08 03:11:24] 621*2^1530709-1 is not prime. Res64: A30E56B22DC61021 Time : 0.0 sec. user=mdettweiler [2018-11-08 03:21:28] 877*2^1530709-1 is not prime. Res64: A7DF2A9F210F946E Time : 0.0 sec. user=mdettweiler [2018-11-08 03:21:29] 925*2^1530709-1 is not prime. Res64: ADA6DA6F383D1442 Time : 0.0 sec. user=mdettweiler [2018-11-08 03:21:29] 603*2^1530710-1 is not prime. Res64: 1DB8A99006AA6AF7 Time : 0.0 sec. user=mdettweiler [2018-11-08 03:21:29] 641*2^1530710-1 is not prime. Res64: D02FB622D35081FB Time : 0.0 sec. user=mdettweiler [2018-11-08 03:21:30] 675*2^1530710-1 is not prime. Res64: 98A4EF2609F1C47B Time : 0.0 sec. user=mdettweiler [2018-11-08 03:40:17] 741*2^1530710-1 is not prime. Res64: 0BE3618DFC84B4B0 Time : 0.0 sec. user=mdettweiler [2018-11-08 03:40:19] 801*2^1530710-1 is not prime. Res64: B3A8BAC2B1FFB290 Time : 0.0 sec. user=mdettweiler [2018-11-08 03:40:20] 813*2^1530710-1 is not prime. Res64: 1F43E073C2D9A534 Time : 0.0 sec. user=mdettweiler [2018-11-08 03:40:21] 857*2^1530710-1 is not prime. Res64: C27635B1B5C229CC Time : 0.0 sec. user=mdettweiler [2018-11-08 03:40:22] 911*2^1530710-1 is not prime. Res64: 848738139EFE8287 Time : 0.0 sec. user=mdettweiler [2018-11-08 04:02:49] 973*2^1530711-1 is not prime. Res64: F24A8B8E2FEB85C9 Time : 0.0 sec. user=mdettweiler [2018-11-08 04:02:52] 999*2^1530711-1 is not prime. Res64: 2ACFDA9DF06CBF78 Time : 0.0 sec. user=mdettweiler [2018-11-08 04:02:52] 629*2^1530712-1 is not prime. Res64: 7D64B89A42E7C5A6 Time : 0.0 sec. user=mdettweiler [2018-11-08 04:02:54] 657*2^1530712-1 is not prime. Res64: 3C38D906975E3556 Time : 0.0 sec. user=mdettweiler [2018-11-08 04:02:57] 705*2^1530712-1 is not prime. Res64: FEFCCABBEECFF4EA Time : 0.0 sec. user=mdettweiler [2018-11-08 04:02:57] 965*2^1530710-1 is not prime. Res64: 2925FB50AEFB605F Time : 0.0 sec. user=mdettweiler [2018-11-08 04:03:02] 669*2^1530711-1 is not prime. Res64: 1890CE38755A6616 Time : 0.0 sec. user=mdettweiler [2018-11-08 04:03:08] 691*2^1530711-1 is not prime. Res64: 8CAD9C90AF804BB2 Time : 0.0 sec. user=mdettweiler [2018-11-08 04:03:12] 895*2^1530711-1 is not prime. Res64: 81C4FABDEABE30A9 Time : 0.0 sec. user=mdettweiler [2018-11-08 04:03:23] 933*2^1530711-1 is not prime. Res64: 73818776C1F8EA73 Time : 0.0 sec. user=mdettweiler [2018-11-08 04:12:27] 713*2^1530712-1 is not prime. Res64: 689C28E77C58CC0D Time : 0.0 sec. user=mdettweiler [2018-11-08 04:12:32] 779*2^1530712-1 is not prime. Res64: 9A94DE0FBC983BFE Time : 0.0 sec. user=mdettweiler [2018-11-08 04:12:35] 797*2^1530712-1 is not prime. Res64: 3E911F6BD8F16ABE Time : 0.0 sec. user=mdettweiler [2018-11-08 04:12:39] 803*2^1530712-1 is not prime. Res64: 23F09A35881E78CA Time : 0.0 sec. user=mdettweiler [2018-11-08 04:12:43] 827*2^1530712-1 is not prime. Res64: F2BCAD26701DF384 Time : 0.0 sec. user=mdettweiler [2018-11-08 04:32:06] 619*2^1530713-1 is not prime. Res64: 44D13A631178A8FB Time : 0.0 sec. user=mdettweiler [2018-11-08 04:32:06] 735*2^1530713-1 is not prime. Res64: 9150F227503F65F7 Time : 0.0 sec. user=mdettweiler [2018-11-08 04:32:06] 789*2^1530713-1 is not prime. Res64: 97AFAD81D4BE053E Time : 0.0 sec. user=mdettweiler [2018-11-08 04:32:07] 819*2^1530713-1 is not prime. Res64: F188DF7DA53DBED2 Time : 0.0 sec. user=mdettweiler [2018-11-08 04:32:07] 897*2^1530713-1 is not prime. Res64: FE30C17FD550491E Time : 0.0 sec. user=mdettweiler [2018-11-08 04:54:55] 939*2^1530713-1 is not prime. Res64: 6B597EE1F4A0A5AD Time : 0.0 sec. user=mdettweiler [2018-11-08 04:54:56] 791*2^1530714-1 is not prime. Res64: 0CE21F26C05934C2 Time : 0.0 sec. user=mdettweiler [2018-11-08 04:54:57] 851*2^1530714-1 is not prime. Res64: 1670DFD14FCC2AF8 Time : 0.0 sec. user=mdettweiler [2018-11-08 04:54:58] 631*2^1530715-1 is not prime. Res64: 64DAE0E49278B548 Time : 0.0 sec. user=mdettweiler [2018-11-08 04:54:58] 645*2^1530715-1 is not prime. Res64: DBEFC1812B4C545E Time : 0.0 sec. user=mdettweiler [2018-11-08 04:54:58] 789*2^1530715-1 is not prime. Res64: 4D14064FC02C1FCE Time : 0.0 sec. user=mdettweiler [2018-11-08 04:54:59] 891*2^1530714-1 is not prime. Res64: D24BFD84B241234A Time : 0.0 sec. user=mdettweiler [2018-11-08 04:54:59] 973*2^1530715-1 is not prime. Res64: 06D8D40EE1ED9CA4 Time : 0.0 sec. user=mdettweiler [2018-11-08 04:54:59] 917*2^1530714-1 is not prime. Res64: 520BF255100F162D Time : 0.0 sec. user=mdettweiler [2018-11-08 04:54:59] 603*2^1530716-1 is not prime. Res64: E8AA125B57A8258A Time : 0.0 sec. user=mdettweiler [2018-11-08 05:04:36] 657*2^1530716-1 is not prime. Res64: 0DC1520853DD1DAB Time : 0.0 sec. user=mdettweiler [2018-11-08 05:04:37] 669*2^1530716-1 is not prime. Res64: A418D6B22BED7A04 Time : 0.0 sec. user=mdettweiler [2018-11-08 05:04:39] 755*2^1530716-1 is not prime. Res64: 9E386FE0677A14E8 Time : 0.0 sec. user=mdettweiler [2018-11-08 05:04:40] 785*2^1530716-1 is not prime. Res64: 04D34F6749432C96 Time : 0.0 sec. user=mdettweiler [2018-11-08 05:04:41] 935*2^1530716-1 is not prime. Res64: 3EB0B0BE19319F31 Time : 0.0 sec. user=mdettweiler [2018-11-08 05:23:11] 969*2^1530716-1 is not prime. Res64: DE89518DE41BE2FF Time : 0.0 sec. user=mdettweiler [2018-11-08 05:23:11] 751*2^1530717-1 is not prime. Res64: EC9B074904FDFB84 Time : 0.0 sec. user=mdettweiler [2018-11-08 05:23:12] 759*2^1530717-1 is not prime. Res64: 2D829DF3B55B5B63 Time : 0.0 sec. user=mdettweiler [2018-11-08 05:23:12] 835*2^1530717-1 is not prime. Res64: 4333AF70D9B44E01 Time : 0.0 sec. user=mdettweiler [2018-11-08 05:23:12] 847*2^1530717-1 is not prime. Res64: 2231197A2BF7918B Time : 0.0 sec. user=mdettweiler [2018-11-08 05:45:56] 949*2^1530717-1 is not prime. Res64: A2210325BA966569 Time : 0.0 sec. user=mdettweiler [2018-11-08 05:45:57] 623*2^1530718-1 is not prime. Res64: F5C307E187FFBC30 Time : 0.0 sec. user=mdettweiler [2018-11-08 05:45:57] 671*2^1530718-1 is not prime. Res64: FAB7A901820DF013 Time : 0.0 sec. user=mdettweiler [2018-11-08 05:45:57] 723*2^1530718-1 is not prime. Res64: 5738674A7251850D Time : 0.0 sec. user=mdettweiler [2018-11-08 05:45:58] 791*2^1530718-1 is not prime. Res64: 89F024F131F9CF20 Time : 0.0 sec. user=mdettweiler [2018-11-08 05:46:17] 845*2^1530718-1 is not prime. Res64: 8D30DD63CCD048DA Time : 0.0 sec. user=mdettweiler [2018-11-08 05:46:17] 669*2^1530719-1 is not prime. Res64: 9243A7301621EDDA Time : 0.0 sec. user=mdettweiler [2018-11-08 05:46:18] 711*2^1530719-1 is not prime. Res64: E01CCAD945B37B96 Time : 0.0 sec. user=mdettweiler [2018-11-08 05:46:18] 763*2^1530719-1 is not prime. Res64: AA6E46A851807418 Time : 0.0 sec. user=mdettweiler [2018-11-08 05:46:18] 811*2^1530719-1 is not prime. Res64: 5DC92BC3FF4EA869 Time : 0.0 sec. user=mdettweiler [2018-11-08 05:56:22] 813*2^1530719-1 is not prime. Res64: 387BB4BB68F1F2AD Time : 0.0 sec. user=mdettweiler [2018-11-08 05:56:23] 865*2^1530719-1 is not prime. Res64: C139C47CA1913A3C Time : 0.0 sec. user=mdettweiler [2018-11-08 05:56:23] 883*2^1530719-1 is not prime. Res64: 52426AA81AFD2D3E Time : 0.0 sec. user=mdettweiler [2018-11-08 05:56:23] 921*2^1530719-1 is not prime. Res64: C2759EF399513F59 Time : 0.0 sec. user=mdettweiler [2018-11-08 05:56:24] 735*2^1530720-1 is not prime. Res64: 19A3F9A9CFD81DDB Time : 0.0 sec. user=mdettweiler [2018-11-08 06:14:11] 737*2^1530720-1 is not prime. Res64: 541B0DEE50E3B0A3 Time : 0.0 sec. user=mdettweiler [2018-11-08 06:14:12] 753*2^1530720-1 is not prime. Res64: 83FDD24F9578137C Time : 0.0 sec. user=mdettweiler [2018-11-08 06:14:12] 765*2^1530720-1 is not prime. Res64: 94CCDA53BA9EFF54 Time : 0.0 sec. user=mdettweiler [2018-11-08 06:14:13] 839*2^1530720-1 is not prime. Res64: B213C94FBC6ED6F8 Time : 0.0 sec. user=mdettweiler [2018-11-08 06:14:13] 863*2^1530720-1 is not prime. Res64: 9E359EF428B467FB Time : 0.0 sec. user=mdettweiler [2018-11-08 06:36:59] 893*2^1530720-1 is not prime. Res64: C44322C6BBE97DB7 Time : 0.0 sec. user=mdettweiler [2018-11-08 06:36:59] 601*2^1530721-1 is not prime. Res64: 6B09247140745D61 Time : 0.0 sec. user=mdettweiler [2018-11-08 06:36:59] 861*2^1530721-1 is not prime. Res64: 1C05B1618AFB264A Time : 0.0 sec. user=mdettweiler [2018-11-08 06:37:00] 889*2^1530721-1 is not prime. Res64: 86992E13132D2AC8 Time : 0.0 sec. user=mdettweiler [2018-11-08 06:37:00] 677*2^1530722-1 is not prime. Res64: 77CB99CDCC6D6A81 Time : 0.0 sec. user=mdettweiler [2018-11-08 06:37:21] 767*2^1530722-1 is not prime. Res64: BDF9D883DBCD5770 Time : 0.0 sec. user=mdettweiler [2018-11-08 06:37:21] 831*2^1530722-1 is not prime. Res64: 67CC9ABCD9FC1A52 Time : 0.0 sec. user=mdettweiler [2018-11-08 06:37:22] 885*2^1530722-1 is not prime. Res64: 55413FD7038233D9 Time : 0.0 sec. user=mdettweiler [2018-11-08 06:37:22] 893*2^1530722-1 is not prime. Res64: BD9519599CA47C2B Time : 0.0 sec. user=mdettweiler [2018-11-08 06:37:22] 945*2^1530722-1 is not prime. Res64: EA66827C014C0059 Time : 0.0 sec. user=mdettweiler [2018-11-08 06:47:39] 951*2^1530722-1 is not prime. Res64: 642C9C6C2E11B986 Time : 0.0 sec. user=mdettweiler [2018-11-08 06:47:39] 983*2^1530722-1 is not prime. Res64: 8BA867BCAC8F4E8F Time : 0.0 sec. user=mdettweiler [2018-11-08 06:47:39] 663*2^1530723-1 is not prime. Res64: 85FF88FE5B199037 Time : 0.0 sec. user=mdettweiler [2018-11-08 06:47:40] 669*2^1530723-1 is not prime. Res64: FC7A56DEC01E8350 Time : 0.0 sec. user=mdettweiler [2018-11-08 06:47:40] 703*2^1530723-1 is not prime. Res64: A4D17F3D621C482C Time : 0.0 sec. user=mdettweiler [2018-11-08 07:05:08] 805*2^1530723-1 is not prime. Res64: A52423C6574EF11B Time : 0.0 sec. user=mdettweiler [2018-11-08 07:05:10] 885*2^1530723-1 is not prime. Res64: CA4A48002A273DFB Time : 0.0 sec. user=mdettweiler [2018-11-08 07:05:11] 919*2^1530723-1 is not prime. Res64: 16D9B8ECC0CFD032 Time : 0.0 sec. user=mdettweiler [2018-11-08 07:05:12] 945*2^1530723-1 is not prime. Res64: C1E8F01CB65449C6 Time : 0.0 sec. user=mdettweiler [2018-11-08 07:05:13] 705*2^1530724-1 is not prime. Res64: F2013C31CAAF0B4E Time : 0.0 sec. user=mdettweiler [2018-11-08 07:27:55] 717*2^1530724-1 is not prime. Res64: 43C5FB63C45D5EC9 Time : 0.0 sec. user=mdettweiler [2018-11-08 07:27:55] 803*2^1530724-1 is not prime. Res64: D671383FEC896FCD Time : 0.0 sec. user=mdettweiler [2018-11-08 07:27:55] 873*2^1530724-1 is not prime. Res64: 255141237581BB02 Time : 0.0 sec. user=mdettweiler [2018-11-08 07:27:56] 909*2^1530724-1 is not prime. Res64: 71A727B54096A5E8 Time : 0.0 sec. user=mdettweiler [2018-11-08 07:27:56] 675*2^1530725-1 is not prime. Res64: 707C5C8544CD3D7D Time : 0.0 sec. user=mdettweiler [2018-11-08 07:28:20] 789*2^1530725-1 is not prime. Res64: 0C42E667D2D9A42E Time : 0.0 sec. user=mdettweiler [2018-11-08 07:28:20] 979*2^1530725-1 is not prime. Res64: C41CD93309A6BECB Time : 0.0 sec. user=mdettweiler [2018-11-08 07:28:20] 741*2^1530726-1 is not prime. Res64: A0E14EDAEC36710B Time : 0.0 sec. user=mdettweiler [2018-11-08 07:28:20] 755*2^1530726-1 is not prime. Res64: 6ABE36075EE04213 Time : 0.0 sec. user=mdettweiler [2018-11-08 07:28:21] 765*2^1530726-1 is not prime. Res64: 03BABB56870138C9 Time : 0.0 sec. user=mdettweiler [2018-11-08 07:38:49] 867*2^1530726-1 is not prime. Res64: 07C2399664BD6584 Time : 0.0 sec. user=mdettweiler [2018-11-08 07:38:50] 639*2^1530727-1 is not prime. Res64: 8476E42E4F5B5AA5 Time : 0.0 sec. user=mdettweiler [2018-11-08 07:38:50] 705*2^1530727-1 is not prime. Res64: 2B7A1BB4FCFBCE57 Time : 0.0 sec. user=mdettweiler [2018-11-08 07:38:50] 805*2^1530727-1 is not prime. Res64: D0BE56CFAD677C1F Time : 0.0 sec. user=mdettweiler [2018-11-08 07:38:50] 961*2^1530727-1 is not prime. Res64: E385942EFB991AFA Time : 0.0 sec. user=mdettweiler [2018-11-08 07:57:18] 603*2^1530728-1 is not prime. Res64: 9B4A976A7145071C Time : 0.0 sec. user=mdettweiler [2018-11-08 07:57:18] 795*2^1530728-1 is not prime. Res64: ED2EF6093760F410 Time : 0.0 sec. user=mdettweiler [2018-11-08 07:57:19] 797*2^1530728-1 is not prime. Res64: 34FBE99D7CDEA3BA Time : 0.0 sec. user=mdettweiler [2018-11-08 07:57:19] 813*2^1530728-1 is not prime. Res64: C6B41451432B831F Time : 0.0 sec. user=mdettweiler [2018-11-08 07:57:19] 879*2^1530728-1 is not prime. Res64: B446EC0606295613 Time : 0.0 sec. user=mdettweiler [2018-11-08 08:19:46] 897*2^1530728-1 is not prime. Res64: 3274156C94FBC3EB Time : 0.0 sec. user=mdettweiler [2018-11-08 08:19:46] 945*2^1530728-1 is not prime. Res64: 32CA314AEC923FB2 Time : 0.0 sec. user=mdettweiler [2018-11-08 08:19:47] 999*2^1530728-1 is not prime. Res64: 79AA5DE6815D6718 Time : 0.0 sec. user=mdettweiler [2018-11-08 08:19:47] 615*2^1530729-1 is not prime. Res64: D8A2CA7C6DC400CF Time : 0.0 sec. user=mdettweiler [2018-11-08 08:19:47] 751*2^1530729-1 is not prime. Res64: F17F1D3E2EA50BEA Time : 0.0 sec. user=mdettweiler [2018-11-08 08:20:00] 789*2^1530729-1 is not prime. Res64: 504C8031F422D053 Time : 0.0 sec. user=mdettweiler [2018-11-08 08:20:00] 945*2^1530729-1 is not prime. Res64: F257BFC6238C73C8 Time : 0.0 sec. user=mdettweiler [2018-11-08 08:20:00] 975*2^1530729-1 is not prime. Res64: BB3F635E894C5BC8 Time : 0.0 sec. user=mdettweiler [2018-11-08 08:20:00] 979*2^1530729-1 is not prime. Res64: B2B449B266E4D013 Time : 0.0 sec. user=mdettweiler [2018-11-08 08:20:01] 603*2^1530730-1 is not prime. Res64: 8BD5EC9FD88FF6EB Time : 0.0 sec. user=mdettweiler [2018-11-08 08:30:40] 623*2^1530730-1 is not prime. Res64: BE1177289CDE9C43 Time : 0.0 sec. user=mdettweiler [2018-11-08 08:30:40] 633*2^1530730-1 is not prime. Res64: AD3920750C321DAC Time : 0.0 sec. user=mdettweiler [2018-11-08 08:30:40] 695*2^1530730-1 is not prime. Res64: 11CE3EC24C0237E3 Time : 0.0 sec. user=mdettweiler [2018-11-08 08:30:40] 773*2^1530730-1 is not prime. Res64: 4ED78F2E47C47626 Time : 0.0 sec. user=mdettweiler [2018-11-08 08:30:41] 791*2^1530730-1 is not prime. Res64: 342ECC82E719B38A Time : 0.0 sec. user=mdettweiler [2018-11-08 08:49:29] 827*2^1530730-1 is not prime. Res64: 031C45E7A204895E Time : 0.0 sec. user=mdettweiler [2018-11-08 08:49:29] 867*2^1530730-1 is not prime. Res64: AE41829E81B1BA21 Time : 0.0 sec. user=mdettweiler [2018-11-08 08:49:29] 941*2^1530730-1 is not prime. Res64: F5592C95C71270B4 Time : 0.0 sec. user=mdettweiler [2018-11-08 08:49:29] 971*2^1530730-1 is not prime. Res64: 7A5010BFAF03EA24 Time : 0.0 sec. user=mdettweiler [2018-11-08 08:49:30] 621*2^1530731-1 is not prime. Res64: F1563ED33D1AA3D7 Time : 0.0 sec. user=mdettweiler [2018-11-08 09:12:06] 643*2^1530731-1 is not prime. Res64: 5DA76433C4268230 Time : 0.0 sec. user=mdettweiler [2018-11-08 09:12:07] 663*2^1530731-1 is not prime. Res64: DE1E949C4E34AA76 Time : 0.0 sec. user=mdettweiler [2018-11-08 09:12:07] 879*2^1530731-1 is not prime. Res64: 5428EE30C47556FE Time : 0.0 sec. user=mdettweiler [2018-11-08 09:12:07] 895*2^1530731-1 is not prime. Res64: C326EE3B6C53073C Time : 0.0 sec. user=mdettweiler [2018-11-08 09:12:08] 981*2^1530731-1 is not prime. Res64: 7098AAF77012466E Time : 0.0 sec. user=mdettweiler [2018-11-08 09:12:10] 993*2^1530731-1 is not prime. Res64: BFAA972E8067D556 Time : 0.0 sec. user=mdettweiler [2018-11-08 09:12:10] 629*2^1530732-1 is not prime. Res64: A72F8381FD897D5A Time : 0.0 sec. user=mdettweiler [2018-11-08 09:12:11] 719*2^1530732-1 is not prime. Res64: CA6B68C9C451D412 Time : 0.0 sec. user=mdettweiler [2018-11-08 09:12:11] 737*2^1530732-1 is not prime. Res64: 0AA598E7416A91DE Time : 0.0 sec. user=mdettweiler [2018-11-08 09:12:12] 809*2^1530732-1 is not prime. Res64: 74C46B8C461C1C86 Time : 0.0 sec. user=mdettweiler [2018-11-08 09:22:47] 887*2^1530732-1 is not prime. Res64: 19514DA9C89047B5 Time : 0.0 sec. user=mdettweiler [2018-11-08 09:22:47] 903*2^1530732-1 is not prime. Res64: E06A80AC473BB14C Time : 0.0 sec. user=mdettweiler [2018-11-08 09:22:47] 675*2^1530733-1 is not prime. Res64: 67680FAB71A512E7 Time : 0.0 sec. user=mdettweiler [2018-11-08 09:22:48] 685*2^1530733-1 is not prime. Res64: 7C8CE1B90870E8F3 Time : 0.0 sec. user=mdettweiler [2018-11-08 09:22:48] 751*2^1530733-1 is not prime. Res64: 957F5D57EC268817 Time : 0.0 sec. user=mdettweiler [2018-11-08 09:41:17] 829*2^1530733-1 is not prime. Res64: 4D84876377C8431D Time : 0.0 sec. user=mdettweiler [2018-11-08 09:41:18] 919*2^1530733-1 is not prime. Res64: E2A18D31AA9866DC Time : 0.0 sec. user=mdettweiler [2018-11-08 09:41:18] 945*2^1530733-1 is not prime. Res64: FAF97BBA0640C122 Time : 0.0 sec. user=mdettweiler [2018-11-08 09:41:18] 955*2^1530733-1 is not prime. Res64: DF81E2963EFC60AF Time : 0.0 sec. user=mdettweiler [2018-11-08 09:41:18] 987*2^1530733-1 is not prime. Res64: F0A6FAB8893BEAE2 Time : 0.0 sec. user=mdettweiler [2018-11-08 10:03:26] 915*2^1530734-1 is not prime. Res64: AD6D5F3BE4ADA3D0 Time : 0.0 sec. user=mdettweiler [2018-11-08 10:03:27] 1001*2^1530734-1 is not prime. Res64: 8CCA633FBAF3ED39 Time : 0.0 sec. user=mdettweiler [2018-11-08 10:03:28] 639*2^1530735-1 is not prime. Res64: 4F5029FBBD08AE88 Time : 0.0 sec. user=mdettweiler [2018-11-08 10:03:29] 783*2^1530735-1 is not prime. Res64: CD3E6C08FDB2DE6A Time : 0.0 sec. user=mdettweiler [2018-11-08 10:03:29] 795*2^1530735-1 is not prime. Res64: 6B5C566973B4A0B7 Time : 0.0 sec. user=mdettweiler [2018-11-08 10:03:36] 623*2^1530734-1 is not prime. Res64: AB8761A06D37DFEC Time : 0.0 sec. user=mdettweiler [2018-11-08 10:03:38] 645*2^1530734-1 is not prime. Res64: 154A3E19726BE0D0 Time : 0.0 sec. user=mdettweiler [2018-11-08 10:03:39] 651*2^1530734-1 is not prime. Res64: F683EB29807E66B7 Time : 0.0 sec. user=mdettweiler [2018-11-08 10:03:41] 671*2^1530734-1 is not prime. Res64: 7F12379DA8A9EA5A Time : 0.0 sec. user=mdettweiler [2018-11-08 10:03:42] 897*2^1530734-1 is not prime. Res64: 6EFD619D76C6B5B9 Time : 0.0 sec. user=mdettweiler [2018-11-08 10:13:58] 961*2^1530735-1 is not prime. Res64: 7166FBAB77F8B1BB Time : 0.0 sec. user=mdettweiler [2018-11-08 10:13:58] 657*2^1530736-1 is not prime. Res64: 9185B859B511C9FF Time : 0.0 sec. user=mdettweiler [2018-11-08 10:13:58] 689*2^1530736-1 is not prime. Res64: 21F971442C3C978F Time : 0.0 sec. user=mdettweiler [2018-11-08 10:13:59] 743*2^1530736-1 is not prime. Res64: 1F4A71EDA6E4EFB3 Time : 0.0 sec. user=mdettweiler [2018-11-08 10:13:59] 755*2^1530736-1 is not prime. Res64: 5EACB4BBDC70008C Time : 0.0 sec. user=mdettweiler [2018-11-08 10:32:10] 785*2^1530736-1 is not prime. Res64: EDE388639F39735A Time : 0.0 sec. user=mdettweiler [2018-11-08 10:32:11] 631*2^1530737-1 is not prime. Res64: 441CD68EF1A342D0 Time : 0.0 sec. user=mdettweiler [2018-11-08 10:32:11] 637*2^1530737-1 is not prime. Res64: 31BC75433336FF7E Time : 0.0 sec. user=mdettweiler [2018-11-08 10:32:11] 651*2^1530737-1 is not prime. Res64: 2B200F95F72AFADD Time : 0.0 sec. user=mdettweiler [2018-11-08 10:32:11] 837*2^1530737-1 is not prime. Res64: 1EE7D4A65A1C8321 Time : 0.0 sec. user=mdettweiler [2018-11-08 10:54:41] 847*2^1530737-1 is not prime. Res64: 0F06792DA785C815 Time : 0.0 sec. user=mdettweiler [2018-11-08 10:54:41] 949*2^1530737-1 is not prime. Res64: 3F518188C63AAA39 Time : 0.0 sec. user=mdettweiler [2018-11-08 10:54:41] 681*2^1530738-1 is not prime. Res64: CECB2310057327BF Time : 0.0 sec. user=mdettweiler [2018-11-08 10:54:41] 767*2^1530738-1 is not prime. Res64: 038E6A4D2BA6481E Time : 0.0 sec. user=mdettweiler [2018-11-08 10:54:42] 777*2^1530738-1 is not prime. Res64: 4AC39FC1E0727D24 Time : 0.0 sec. user=mdettweiler [2018-11-08 10:54:44] 803*2^1530738-1 is not prime. Res64: 51A36338139AB32B Time : 0.0 sec. user=mdettweiler [2018-11-08 10:54:45] 885*2^1530738-1 is not prime. Res64: 1C503FEF7521C355 Time : 0.0 sec. user=mdettweiler [2018-11-08 10:54:45] 963*2^1530738-1 is not prime. Res64: 2F746BEA65D8D9C1 Time : 0.0 sec. user=mdettweiler [2018-11-08 10:54:45] 971*2^1530738-1 is not prime. Res64: 7E2F03624125836C Time : 0.0 sec. user=mdettweiler [2018-11-08 10:54:46] 1001*2^1530738-1 is not prime. Res64: FFEAEE3BDD86BE26 Time : 0.0 sec. user=mdettweiler [2018-11-08 11:05:06] 741*2^1530739-1 is not prime. Res64: A7F448474CB8E927 Time : 0.0 sec. user=mdettweiler [2018-11-08 11:05:07] 873*2^1530739-1 is not prime. Res64: D8FDD1FC17CBC888 Time : 0.0 sec. user=mdettweiler [2018-11-08 11:05:09] 919*2^1530739-1 is not prime. Res64: B426CDF9B6F6F997 Time : 0.0 sec. user=mdettweiler [2018-11-08 11:05:12] 939*2^1530739-1 is not prime. Res64: 680AC8807AAA2B59 Time : 0.0 sec. user=mdettweiler [2018-11-08 11:05:14] 969*2^1530739-1 is not prime. Res64: F94DD73784DEDA1D Time : 0.0 sec. user=mdettweiler [2018-11-08 11:22:57] 669*2^1530740-1 is not prime. Res64: 4F9DDF0CD2DE131A Time : 0.0 sec. user=mdettweiler [2018-11-08 11:22:58] 677*2^1530740-1 is not prime. Res64: 7F7D6FF76207ECA9 Time : 0.0 sec. user=mdettweiler [2018-11-08 11:22:58] 735*2^1530740-1 is not prime. Res64: A3C1C34127501015 Time : 0.0 sec. user=mdettweiler [2018-11-08 11:22:59] 819*2^1530740-1 is not prime. Res64: D5E4DD2CA3C8F95E Time : 0.0 sec. user=mdettweiler [2018-11-08 11:22:59] 833*2^1530740-1 is not prime. Res64: 38E7483B8D793178 Time : 0.0 sec. user=mdettweiler [2018-11-08 11:45:32] 845*2^1530740-1 is not prime. Res64: 626AA31A9002C6C7 Time : 0.0 sec. user=mdettweiler [2018-11-08 11:45:33] 875*2^1530740-1 is not prime. Res64: E8B0E3F3321DA1FF Time : 0.0 sec. user=mdettweiler [2018-11-08 11:45:33] 909*2^1530740-1 is not prime. Res64: DE278568F2160FEC Time : 0.0 sec. user=mdettweiler [2018-11-08 11:45:33] 959*2^1530740-1 is not prime. Res64: 513C110745C27872 Time : 0.0 sec. user=mdettweiler [2018-11-08 11:45:34] 963*2^1530740-1 is not prime. Res64: 5163178A883E78BB Time : 0.0 sec. user=mdettweiler [2018-11-08 11:45:36] 987*2^1530740-1 is not prime. Res64: B28F9BB8ECD9C256 Time : 0.0 sec. user=mdettweiler [2018-11-08 11:45:36] 657*2^1530741-1 is not prime. Res64: 6195D6A030C2DF7B Time : 0.0 sec. user=mdettweiler [2018-11-08 11:45:37] 711*2^1530741-1 is not prime. Res64: 6D4460E1111A6C34 Time : 0.0 sec. user=mdettweiler [2018-11-08 11:45:37] 727*2^1530741-1 is not prime. Res64: 784F29F0ABAC7241 Time : 0.0 sec. user=mdettweiler [2018-11-08 11:45:37] 617*2^1530742-1 is not prime. Res64: 17B1EE05844E31BC Time : 0.0 sec. user=mdettweiler [2018-11-08 11:56:26] 821*2^1530742-1 is not prime. Res64: 63752132ADB49E53 Time : 0.0 sec. user=mdettweiler [2018-11-08 11:56:26] 915*2^1530742-1 is not prime. Res64: 32302909BE08E817 Time : 0.0 sec. user=mdettweiler [2018-11-08 11:56:27] 917*2^1530742-1 is not prime. Res64: D9EE9E55C3490BEC Time : 0.0 sec. user=mdettweiler [2018-11-08 11:56:27] 675*2^1530743-1 is not prime. Res64: A6C513EE1B07B94D Time : 0.0 sec. user=mdettweiler [2018-11-08 11:56:27] 913*2^1530743-1 is not prime. Res64: B6763F8A877840B4 Time : 0.0 sec. user=mdettweiler [2018-11-08 12:15:20] 955*2^1530743-1 is not prime. Res64: C03C3547BF51BDB2 Time : 0.0 sec. user=mdettweiler [2018-11-08 12:15:20] 693*2^1530744-1 is not prime. Res64: 75270527E0CAFF60 Time : 0.0 sec. user=mdettweiler [2018-11-08 12:15:21] 789*2^1530744-1 is not prime. Res64: 9C92ED6DF9705653 Time : 0.0 sec. user=mdettweiler [2018-11-08 12:15:21] 843*2^1530744-1 is not prime. Res64: 6611065FF03B99F2 Time : 0.0 sec. user=mdettweiler [2018-11-08 12:15:21] 945*2^1530744-1 is not prime. Res64: 85A0E59A04E5607D Time : 0.0 sec. user=mdettweiler [2018-11-08 12:36:52] 861*2^1530745-1 is not prime. Res64: 77A9601BF5F25DEC Time : 0.0 sec. user=mdettweiler [2018-11-08 12:36:52] 685*2^1530745-1 is not prime. Res64: BD7F8D51C0515948 Time : 0.0 sec. user=mdettweiler [2018-11-08 12:36:53] 885*2^1530745-1 is not prime. Res64: 66F09EE50DE1A53E Time : 0.0 sec. user=mdettweiler [2018-11-08 12:36:53] 987*2^1530745-1 is not prime. Res64: 1B8B7CE7DBBC9C49 Time : 0.0 sec. user=mdettweiler [2018-11-08 12:36:53] 705*2^1530745-1 is not prime. Res64: F5EBE3EDF1CE6975 Time : 0.0 sec. user=mdettweiler [2018-11-08 12:36:53] 999*2^1530745-1 is not prime. Res64: 868D378E69257162 Time : 0.0 sec. user=mdettweiler [2018-11-08 12:36:54] 633*2^1530746-1 is not prime. Res64: 9E9584AA27B11E60 Time : 0.0 sec. user=mdettweiler [2018-11-08 12:36:54] 721*2^1530745-1 is not prime. Res64: 56DDADA3144B7C3C Time : 0.0 sec. user=mdettweiler [2018-11-08 12:36:55] 741*2^1530745-1 is not prime. Res64: 74F5094D666F94F1 Time : 0.0 sec. user=mdettweiler [2018-11-08 12:36:55] 831*2^1530745-1 is not prime. Res64: 098AC29AC232DA27 Time : 0.0 sec. user=mdettweiler [2018-11-08 12:47:43] 743*2^1530746-1 is not prime. Res64: F5472A79F0A991AB Time : 0.0 sec. user=mdettweiler [2018-11-08 12:47:43] 801*2^1530746-1 is not prime. Res64: CE41C61C2ABBCE1F Time : 0.0 sec. user=mdettweiler [2018-11-08 12:47:43] 831*2^1530746-1 is not prime. Res64: 83992BCC65E5933D Time : 0.0 sec. user=mdettweiler [2018-11-08 12:47:43] 873*2^1530746-1 is not prime. Res64: 6D2D692B8F137718 Time : 0.0 sec. user=mdettweiler [2018-11-08 12:47:44] 921*2^1530746-1 is not prime. Res64: 502AE7D7EE8B619F Time : 0.0 sec. user=mdettweiler [2018-11-08 13:07:05] 981*2^1530746-1 is not prime. Res64: 2B2BE16FF9CBEE88 Time : 0.0 sec. user=mdettweiler [2018-11-08 13:07:06] 639*2^1530747-1 is not prime. Res64: 26CA5A9E0652F2AA Time : 0.0 sec. user=mdettweiler [2018-11-08 13:07:08] 685*2^1530747-1 is not prime. Res64: 18DD3DB8AEE26108 Time : 0.0 sec. user=mdettweiler [2018-11-08 13:07:09] 735*2^1530747-1 is not prime. Res64: D0571459005472A6 Time : 0.0 sec. user=mdettweiler [2018-11-08 13:07:11] 765*2^1530747-1 is not prime. Res64: 0FC02DCCF6F81CB7 Time : 0.0 sec. user=mdettweiler [2018-11-08 13:27:57] 895*2^1530747-1 is not prime. Res64: 8DABE144924BA592 Time : 0.0 sec. user=mdettweiler [2018-11-08 13:27:58] 707*2^1530748-1 is not prime. Res64: 262568CCC2580593 Time : 0.0 sec. user=mdettweiler [2018-11-08 13:27:58] 729*2^1530748-1 is not prime. Res64: 1F5CCF2199F79E6C Time : 0.0 sec. user=mdettweiler [2018-11-08 13:27:59] 843*2^1530748-1 is not prime. Res64: 991CBE6F873E4693 Time : 0.0 sec. user=mdettweiler [2018-11-08 13:27:59] 875*2^1530748-1 is not prime. Res64: BC764EDF416E2E6E Time : 0.0 sec. user=mdettweiler [2018-11-08 13:28:10] 969*2^1530748-1 is not prime. Res64: 4CF0E19AEAE97C59 Time : 0.0 sec. user=mdettweiler [2018-11-08 13:28:11] 601*2^1530749-1 is not prime. Res64: FDE42C24A5CC4ABB Time : 0.0 sec. user=mdettweiler [2018-11-08 13:28:11] 837*2^1530749-1 is not prime. Res64: 81236A2DEB186507 Time : 0.0 sec. user=mdettweiler [2018-11-08 13:28:11] 927*2^1530749-1 is not prime. Res64: B91A244E0637883F Time : 0.0 sec. user=mdettweiler [2018-11-08 13:28:11] 991*2^1530749-1 is not prime. Res64: 8B4E47D467067BF6 Time : 0.0 sec. user=mdettweiler [2018-11-08 13:38:58] 833*2^1530750-1 is not prime. Res64: 363A739297A71735 Time : 0.0 sec. user=mdettweiler [2018-11-08 13:38:58] 845*2^1530750-1 is not prime. Res64: 8C94B48F0C0102EE Time : 0.0 sec. user=mdettweiler [2018-11-08 13:38:58] 927*2^1530750-1 is not prime. Res64: 8FDDE541C4851422 Time : 0.0 sec. user=mdettweiler [2018-11-08 13:38:59] 945*2^1530750-1 is not prime. Res64: FB49CFBB9A4D85AE Time : 0.0 sec. user=mdettweiler [2018-11-08 13:38:59] 963*2^1530750-1 is not prime. Res64: EFD049923453E2B9 Time : 0.0 sec. user=mdettweiler [2018-11-08 13:58:22] 977*2^1530750-1 is not prime. Res64: B872F56538813C02 Time : 0.0 sec. user=mdettweiler [2018-11-08 13:58:23] 685*2^1530751-1 is not prime. Res64: 0A0E6FAE8AA7B4CE Time : 0.0 sec. user=mdettweiler [2018-11-08 13:58:23] 723*2^1530751-1 is not prime. Res64: 861F6B48C109E5A1 Time : 0.0 sec. user=mdettweiler [2018-11-08 13:58:23] 759*2^1530751-1 is not prime. Res64: 089C8F3612111085 Time : 0.0 sec. user=mdettweiler [2018-11-08 13:58:24] 775*2^1530751-1 is not prime. Res64: CAFE0E28F9120BF7 Time : 0.0 sec. user=mdettweiler [2018-11-08 14:18:55] 819*2^1530751-1 is not prime. Res64: 8AAF2786499F3452 Time : 0.0 sec. user=mdettweiler [2018-11-08 14:18:56] 843*2^1530751-1 is not prime. Res64: 91E010B6042F2540 Time : 0.0 sec. user=mdettweiler [2018-11-08 14:18:56] 961*2^1530751-1 is not prime. Res64: C2611F2BFE36FC8C Time : 0.0 sec. user=mdettweiler [2018-11-08 14:18:57] 973*2^1530751-1 is not prime. Res64: F8155FACCC9BC399 Time : 0.0 sec. user=mdettweiler [2018-11-08 14:18:57] 725*2^1530752-1 is not prime. Res64: 27BDE97A82E9B1E9 Time : 0.0 sec. user=mdettweiler [2018-11-08 14:19:09] 827*2^1530752-1 is not prime. Res64: 813BF6AEE4E74964 Time : 0.0 sec. user=mdettweiler [2018-11-08 14:19:10] 899*2^1530752-1 is not prime. Res64: E39C7BAB7388AD95 Time : 0.0 sec. user=mdettweiler [2018-11-08 14:19:10] 935*2^1530752-1 is not prime. Res64: CC3DB1A415F8658E Time : 0.0 sec. user=mdettweiler [2018-11-08 14:19:10] 959*2^1530752-1 is not prime. Res64: D5CD2D984D398B2D Time : 0.0 sec. user=mdettweiler [2018-11-08 14:19:10] 995*2^1530752-1 is not prime. Res64: 61C7B22B34401505 Time : 0.0 sec. user=mdettweiler [2018-11-08 14:30:06] 699*2^1530753-1 is not prime. Res64: 01EFC18CBFE72D86 Time : 0.0 sec. user=mdettweiler [2018-11-08 14:30:07] 735*2^1530753-1 is not prime. Res64: 712F985386D63401 Time : 0.0 sec. user=mdettweiler [2018-11-08 14:30:07] 837*2^1530753-1 is not prime. Res64: AE1719763982ACE0 Time : 0.0 sec. user=mdettweiler [2018-11-08 14:30:07] 895*2^1530753-1 is not prime. Res64: D72B5855E8EEA2F8 Time : 0.0 sec. user=mdettweiler [2018-11-08 14:30:08] 937*2^1530753-1 is not prime. Res64: 95EE05C7BB95C2FA Time : 0.0 sec. user=mdettweiler [2018-11-08 14:49:24] 645*2^1530754-1 is not prime. Res64: 0982BC97B6D9D893 Time : 0.0 sec. user=mdettweiler [2018-11-08 14:49:24] 831*2^1530754-1 is not prime. Res64: 756EDE5CCAD4BCBA Time : 0.0 sec. user=mdettweiler [2018-11-08 14:49:24] 941*2^1530754-1 is not prime. Res64: 5AB1F15F3FC251F2 Time : 0.0 sec. user=mdettweiler [2018-11-08 14:49:25] 673*2^1530755-1 is not prime. Res64: 6E30736CB5CDA3AB Time : 0.0 sec. user=mdettweiler [2018-11-08 14:49:25] 759*2^1530755-1 is not prime. Res64: 2047EB97EB54569C Time : 0.0 sec. user=mdettweiler [2018-11-08 15:10:42] 871*2^1530755-1 is not prime. Res64: 633661324C017810 Time : 0.0 sec. user=mdettweiler [2018-11-08 15:10:42] 943*2^1530755-1 is not prime. Res64: CC268BB442630575 Time : 0.0 sec. user=mdettweiler [2018-11-08 15:10:43] 979*2^1530755-1 is not prime. Res64: 9F111511BA5AFC5E Time : 0.0 sec. user=mdettweiler [2018-11-08 15:10:43] 985*2^1530755-1 is not prime. Res64: 3441D01841B8439A Time : 0.0 sec. user=mdettweiler [2018-11-08 15:10:43] 675*2^1530756-1 is not prime. Res64: 2F3CF1164094985D Time : 0.0 sec. user=mdettweiler [2018-11-08 15:10:48] 689*2^1530756-1 is not prime. Res64: CAECA9ECD58E5550 Time : 0.0 sec. user=mdettweiler [2018-11-08 15:10:49] 693*2^1530756-1 is not prime. Res64: 47012FF5EEC641EE Time : 0.0 sec. user=mdettweiler [2018-11-08 15:10:49] 725*2^1530756-1 is not prime. Res64: 85112A0B99F500A2 Time : 0.0 sec. user=mdettweiler [2018-11-08 15:10:49] 749*2^1530756-1 is not prime. Res64: 92DAB48F4B60FBF5 Time : 0.0 sec. user=mdettweiler [2018-11-08 15:10:50] 767*2^1530756-1 is not prime. Res64: 177F1DAFBE2F1C25 Time : 0.0 sec. user=mdettweiler [2018-11-08 15:22:37] 975*2^1530756-1 is not prime. Res64: C6303065FEEA9393 Time : 0.0 sec. user=mdettweiler [2018-11-08 15:22:37] 645*2^1530757-1 is not prime. Res64: 2C9432DF520B91AE Time : 0.0 sec. user=mdettweiler [2018-11-08 15:22:37] 661*2^1530757-1 is not prime. Res64: 391CB8C4B5BEDEC2 Time : 0.0 sec. user=mdettweiler [2018-11-08 15:22:38] 729*2^1530757-1 is not prime. Res64: D43807FAE851B688 Time : 0.0 sec. user=mdettweiler [2018-11-08 15:22:39] 769*2^1530757-1 is not prime. Res64: 9C247B69D84D0D65 Time : 0.0 sec. user=mdettweiler [2018-11-08 15:45:05] 775*2^1530757-1 is not prime. Res64: 9F5064FAAF7D7167 Time : 0.0 sec. user=mdettweiler [2018-11-08 15:45:05] 777*2^1530757-1 is not prime. Res64: 783569041E0ED382 Time : 0.0 sec. user=mdettweiler [2018-11-08 15:45:06] 831*2^1530757-1 is not prime. Res64: 4B6105AB3824BF28 Time : 0.0 sec. user=mdettweiler [2018-11-08 15:45:06] 871*2^1530757-1 is not prime. Res64: D661B8174A95A442 Time : 0.0 sec. user=mdettweiler [2018-11-08 15:45:07] 885*2^1530757-1 is not prime. Res64: FADB83578991C514 Time : 0.0 sec. user=mdettweiler [2018-11-08 16:09:35] 623*2^1530758-1 is not prime. Res64: 4040F11DB1C0A3EF Time : 0.0 sec. user=mdettweiler [2018-11-08 16:09:36] 693*2^1530758-1 is not prime. Res64: 8C6956E20459880A Time : 0.0 sec. user=mdettweiler [2018-11-08 16:09:36] 743*2^1530758-1 is not prime. Res64: BAD18C002041C18E Time : 0.0 sec. user=mdettweiler [2018-11-08 16:09:37] 761*2^1530758-1 is not prime. Res64: 290625CBBD90DB14 Time : 0.0 sec. user=mdettweiler [2018-11-08 16:09:37] 945*2^1530758-1 is not prime. Res64: 35AE7B1579D5644F Time : 0.0 sec. user=mdettweiler [2018-11-08 16:10:07] 663*2^1530759-1 is not prime. Res64: C7A547BC24DF5B2A Time : 0.0 sec. user=mdettweiler [2018-11-08 16:10:07] 693*2^1530759-1 is not prime. Res64: 8C78761F6FEA6181 Time : 0.0 sec. user=mdettweiler [2018-11-08 16:10:07] 741*2^1530759-1 is not prime. Res64: BDB09C4AEF889993 Time : 0.0 sec. user=mdettweiler [2018-11-08 16:10:08] 931*2^1530759-1 is not prime. Res64: 03AAEDBD0B8FB26C Time : 0.0 sec. user=mdettweiler [2018-11-08 16:10:08] 759*2^1530760-1 is not prime. Res64: 85B8A1B241187937 Time : 0.0 sec. user=mdettweiler [2018-11-08 16:20:48] 797*2^1530760-1 is not prime. Res64: 58023AB9F4871283 Time : 0.0 sec. user=mdettweiler [2018-11-08 16:20:48] 887*2^1530760-1 is not prime. Res64: 8D612823DA8EE8F6 Time : 0.0 sec. user=mdettweiler [2018-11-08 16:20:48] 957*2^1530760-1 is not prime. Res64: CBD58F312392EC64 Time : 0.0 sec. user=mdettweiler [2018-11-08 16:20:48] 619*2^1530761-1 is not prime. Res64: 7CE1BB94E3C1355A Time : 0.0 sec. user=mdettweiler [2018-11-08 16:20:49] 669*2^1530761-1 is not prime. Res64: 48EED2D577271C5E Time : 0.0 sec. user=mdettweiler [2018-11-08 16:43:53] 717*2^1530761-1 is not prime. Res64: 15A7F1CD918CD472 Time : 0.0 sec. user=mdettweiler [2018-11-08 16:43:54] 947*2^1530762-1 is not prime. Res64: 79E88135A2C2087A Time : 0.0 sec. user=mdettweiler [2018-11-08 16:43:54] 633*2^1530763-1 is not prime. Res64: 008F3BB1964063E3 Time : 0.0 sec. user=mdettweiler [2018-11-08 16:43:54] 681*2^1530763-1 is not prime. Res64: 4F90D4CE0BCCBE8A Time : 0.0 sec. user=mdettweiler [2018-11-08 16:43:55] 741*2^1530763-1 is not prime. Res64: 5F4D867B0D8D513C Time : 0.0 sec. user=mdettweiler [2018-11-08 17:08:20] 769*2^1530763-1 is not prime. Res64: 5F5AFED354CD32DB Time : 0.0 sec. user=mdettweiler [2018-11-08 17:08:22] 623*2^1530764-1 is not prime. Res64: E77F788CCA1142F6 Time : 0.0 sec. user=mdettweiler [2018-11-08 17:08:22] 789*2^1530763-1 is not prime. Res64: E593CA611DFC141F Time : 0.0 sec. user=mdettweiler [2018-11-08 17:08:23] 829*2^1530763-1 is not prime. Res64: 4CC5E29B83DD7AEB Time : 0.0 sec. user=mdettweiler [2018-11-08 17:08:24] 767*2^1530764-1 is not prime. Res64: CF2C6BEED53DB6C0 Time : 0.0 sec. user=mdettweiler [2018-11-08 17:08:25] 873*2^1530763-1 is not prime. Res64: 7B952BA4F2699621 Time : 0.0 sec. user=mdettweiler [2018-11-08 17:08:27] 913*2^1530763-1 is not prime. Res64: C5170E23D38F57B0 Time : 0.0 sec. user=mdettweiler [2018-11-08 17:08:28] 827*2^1530764-1 is not prime. Res64: B0E08B3AD884A5CF Time : 0.0 sec. user=mdettweiler [2018-11-08 17:08:31] 885*2^1530764-1 is not prime. Res64: FC44B7B3E85ABB12 Time : 0.0 sec. user=mdettweiler [2018-11-08 17:08:34] 915*2^1530764-1 is not prime. Res64: 2BF912452320598F Time : 0.0 sec. user=mdettweiler [2018-11-08 17:20:08] 953*2^1530764-1 is not prime. Res64: 31071FCACAB7E4DC Time : 0.0 sec. user=mdettweiler [2018-11-08 17:20:08] 669*2^1530765-1 is not prime. Res64: FEBB8815D6C47F06 Time : 0.0 sec. user=mdettweiler [2018-11-08 17:20:08] 831*2^1530765-1 is not prime. Res64: B064CB36A5D99723 Time : 0.0 sec. user=mdettweiler [2018-11-08 17:20:09] 871*2^1530765-1 is not prime. Res64: 1F3694A431602913 Time : 0.0 sec. user=mdettweiler [2018-11-08 17:20:09] 885*2^1530765-1 is not prime. Res64: E4BC19ED5D8BF3F2 Time : 0.0 sec. user=mdettweiler [2018-11-08 17:42:49] 891*2^1530765-1 is not prime. Res64: 0B165F809EF366FA Time : 0.0 sec. user=mdettweiler [2018-11-08 17:42:50] 919*2^1530765-1 is not prime. Res64: CD6550E41E776F2F Time : 0.0 sec. user=mdettweiler [2018-11-08 17:42:50] 951*2^1530765-1 is not prime. Res64: EA2810D09555C8B1 Time : 0.0 sec. user=mdettweiler [2018-11-08 17:42:50] 603*2^1530766-1 is not prime. Res64: 9B9256ABAD8E94FE Time : 0.0 sec. user=mdettweiler [2018-11-08 17:42:50] 623*2^1530766-1 is not prime. Res64: B467F75AA9C88825 Time : 0.0 sec. user=mdettweiler [2018-11-08 18:06:36] 785*2^1530766-1 is not prime. Res64: FB899FAA80354FF1 Time : 0.0 sec. user=mdettweiler [2018-11-08 18:06:37] 881*2^1530766-1 is not prime. Res64: 86D22494DC729BDF Time : 0.0 sec. user=mdettweiler [2018-11-08 18:06:37] 897*2^1530766-1 is not prime. Res64: 6E1C834E4B945127 Time : 0.0 sec. user=mdettweiler [2018-11-08 18:06:37] 939*2^1530767-1 is not prime. Res64: 5121961074664895 Time : 0.0 sec. user=mdettweiler [2018-11-08 18:06:38] 725*2^1530768-1 is not prime. Res64: 0580DAC7B762C53A Time : 0.0 sec. user=mdettweiler [2018-11-08 18:07:08] 957*2^1530766-1 is not prime. Res64: 5941B6851EF0F4D5 Time : 0.0 sec. user=mdettweiler [2018-11-08 18:07:09] 983*2^1530766-1 is not prime. Res64: 10FEC0F55780FC52 Time : 0.0 sec. user=mdettweiler [2018-11-08 18:07:09] 633*2^1530767-1 is not prime. Res64: 5154DDA723C880EC Time : 0.0 sec. user=mdettweiler [2018-11-08 18:07:10] 739*2^1530767-1 is not prime. Res64: 3502B5CBCA52EBBF Time : 0.0 sec. user=mdettweiler [2018-11-08 18:07:10] 781*2^1530767-1 is not prime. Res64: 82CAA86FCFF586CD Time : 0.0 sec. user=mdettweiler [2018-11-08 18:16:16] 909*2^1530768-1 is not prime. Res64: BA2ACDF4676DF60F Time : 0.0 sec. user=mdettweiler [2018-11-08 18:16:16] 929*2^1530768-1 is not prime. Res64: C0DDEA685EED2CD8 Time : 0.0 sec. user=mdettweiler [2018-11-08 18:16:17] 637*2^1530769-1 is not prime. Res64: 4C7D39FA292F3F9E Time : 0.0 sec. user=mdettweiler [2018-11-08 18:16:17] 861*2^1530769-1 is not prime. Res64: 30A56AF056273165 Time : 0.0 sec. user=mdettweiler [2018-11-08 18:16:17] 895*2^1530769-1 is not prime. Res64: 6932B279458151C5 Time : 0.0 sec. user=mdettweiler [2018-11-08 18:35:59] 975*2^1530769-1 is not prime. Res64: 08513F787162A144 Time : 0.0 sec. user=mdettweiler [2018-11-08 18:35:59] 615*2^1530770-1 is not prime. Res64: B1AE4A5B81A1F58E Time : 0.0 sec. user=mdettweiler [2018-11-08 18:36:00] 665*2^1530770-1 is not prime. Res64: 5741C7F8F18EB1F4 Time : 0.0 sec. user=mdettweiler [2018-11-08 18:36:00] 701*2^1530770-1 is not prime. Res64: E59ED2E3E07E55C0 Time : 0.0 sec. user=mdettweiler [2018-11-08 18:36:00] 801*2^1530770-1 is not prime. Res64: D84B2005B25CEC2E Time : 0.0 sec. user=mdettweiler [2018-11-08 18:57:54] 851*2^1530770-1 is not prime. Res64: 2C1FF000B6F53181 Time : 0.0 sec. user=mdettweiler [2018-11-08 18:57:54] 857*2^1530770-1 is not prime. Res64: 5D9A7C70BF8D00F8 Time : 0.0 sec. user=mdettweiler [2018-11-08 18:57:55] 917*2^1530770-1 is not prime. Res64: 8035153B849B6B75 Time : 0.0 sec. user=mdettweiler [2018-11-08 18:57:55] 935*2^1530770-1 is not prime. Res64: 6DD0778A957E6806 Time : 0.0 sec. user=mdettweiler [2018-11-08 18:57:55] 651*2^1530771-1 is not prime. Res64: 86548079D15FDD33 Time : 0.0 sec. user=mdettweiler [2018-11-08 18:58:07] 675*2^1530771-1 is not prime. Res64: F3A4C55FDD6A33FF Time : 0.0 sec. user=mdettweiler [2018-11-08 18:58:07] 735*2^1530771-1 is not prime. Res64: F5B750CDC87351D9 Time : 0.0 sec. user=mdettweiler [2018-11-08 18:58:08] 913*2^1530771-1 is not prime. Res64: FB66BCA6DA1BEC5E Time : 0.0 sec. user=mdettweiler [2018-11-08 18:58:08] 955*2^1530771-1 is not prime. Res64: 8E7F0CD237F8DF28 Time : 0.0 sec. user=mdettweiler [2018-11-08 18:58:08] 975*2^1530771-1 is not prime. Res64: 7968988588271B1F Time : 0.0 sec. user=mdettweiler [2018-11-08 19:07:20] 719*2^1530772-1 is not prime. Res64: 9532384507C1AD76 Time : 0.0 sec. user=mdettweiler [2018-11-08 19:07:22] 873*2^1530772-1 is not prime. Res64: ADEA0B4F897D7F2C Time : 0.0 sec. user=mdettweiler [2018-11-08 19:07:23] 875*2^1530772-1 is not prime. Res64: B242A11C597189E6 Time : 0.0 sec. user=mdettweiler [2018-11-08 19:07:26] 957*2^1530772-1 is not prime. Res64: D6788D1DF8325E2A Time : 0.0 sec. user=mdettweiler [2018-11-08 19:07:27] 771*2^1530773-1 is not prime. Res64: 8358F0DCCE639910 Time : 0.0 sec. user=mdettweiler [2018-11-08 19:27:00] 861*2^1530773-1 is not prime. Res64: F1F09F37F200C340 Time : 0.0 sec. user=mdettweiler [2018-11-08 19:27:00] 927*2^1530773-1 is not prime. Res64: 0B672BB3C13A31BF Time : 0.0 sec. user=mdettweiler [2018-11-08 19:27:00] 945*2^1530773-1 is not prime. Res64: 5CF7779318C13991 Time : 0.0 sec. user=mdettweiler [2018-11-08 19:27:01] 969*2^1530773-1 is not prime. Res64: 60EF3E4E20D15DE5 Time : 0.0 sec. user=mdettweiler [2018-11-08 19:27:01] 605*2^1530774-1 is not prime. Res64: 654D600982C1700F Time : 0.0 sec. user=mdettweiler [2018-11-08 19:48:41] 627*2^1530774-1 is not prime. Res64: 2D5A0CD2C145272C Time : 0.0 sec. user=mdettweiler [2018-11-08 19:48:41] 681*2^1530774-1 is not prime. Res64: 13275C8E26F68C69 Time : 0.0 sec. user=mdettweiler [2018-11-08 19:48:42] 815*2^1530774-1 is not prime. Res64: 4B4629F7DC4C3E89 Time : 0.0 sec. user=mdettweiler [2018-11-08 19:48:42] 881*2^1530774-1 is not prime. Res64: 726A63959726D9C3 Time : 0.0 sec. user=mdettweiler [2018-11-08 19:48:42] 601*2^1530775-1 is not prime. Res64: 90500A5BADAB1DD1 Time : 0.0 sec. user=mdettweiler [2018-11-08 19:48:58] 639*2^1530775-1 is not prime. Res64: 906EFF66348BD805 Time : 0.0 sec. user=mdettweiler [2018-11-08 19:48:58] 715*2^1530775-1 is not prime. Res64: 18A22D1B7905D60C Time : 0.0 sec. user=mdettweiler [2018-11-08 19:48:59] 861*2^1530775-1 is not prime. Res64: 3FB85E57604B5BDF Time : 0.0 sec. user=mdettweiler [2018-11-08 19:48:59] 895*2^1530775-1 is not prime. Res64: 4FEFD9165E6C988E Time : 0.0 sec. user=mdettweiler [2018-11-08 19:48:59] 969*2^1530775-1 is not prime. Res64: 86E6F0F65C25452F Time : 0.0 sec. user=mdettweiler [2018-11-08 19:58:37] 609*2^1530776-1 is not prime. Res64: 2396DB236E0E5A91 Time : 0.0 sec. user=mdettweiler [2018-11-08 19:58:38] 615*2^1530776-1 is not prime. Res64: 23B617BDB361CEA8 Time : 0.0 sec. user=mdettweiler [2018-11-08 19:58:38] 633*2^1530776-1 is not prime. Res64: C433735B8DB18399 Time : 0.0 sec. user=mdettweiler [2018-11-08 19:58:38] 657*2^1530776-1 is not prime. Res64: CE97026411267FC4 Time : 0.0 sec. user=mdettweiler [2018-11-08 19:58:38] 717*2^1530776-1 is not prime. Res64: C415F38161665202 Time : 0.0 sec. user=mdettweiler [2018-11-08 20:17:50] 725*2^1530776-1 is not prime. Res64: B0581026060E115B Time : 0.0 sec. user=mdettweiler [2018-11-08 20:17:50] 767*2^1530776-1 is not prime. Res64: 3FFEDD2DC4859A03 Time : 0.0 sec. user=mdettweiler [2018-11-08 20:17:51] 839*2^1530776-1 is not prime. Res64: 26C5B9D5A7A2DCFB Time : 0.0 sec. user=mdettweiler [2018-11-08 20:17:51] 867*2^1530776-1 is not prime. Res64: 1B409116BB68C3C6 Time : 0.0 sec. user=mdettweiler [2018-11-08 20:17:51] 903*2^1530776-1 is not prime. Res64: 7171582933555E53 Time : 0.0 sec. user=mdettweiler [2018-11-08 20:39:39] 945*2^1530776-1 is not prime. Res64: 50214E1E51140E3A Time : 0.0 sec. user=mdettweiler [2018-11-08 20:39:39] 717*2^1530777-1 is not prime. Res64: 25EAB2A37D0FBD0D Time : 0.0 sec. user=mdettweiler [2018-11-08 20:39:40] 735*2^1530777-1 is not prime. Res64: 4037FE47636F4CE1 Time : 0.0 sec. user=mdettweiler [2018-11-08 20:39:40] 909*2^1530777-1 is not prime. Res64: 00CF1BBB1DBC1413 Time : 0.0 sec. user=mdettweiler [2018-11-08 20:39:40] 949*2^1530777-1 is not prime. Res64: D669C85C50DB55B2 Time : 0.0 sec. user=mdettweiler [2018-11-08 20:39:53] 997*2^1530777-1 is not prime. Res64: B92912825F3EF77B Time : 0.0 sec. user=mdettweiler [2018-11-08 20:39:53] 891*2^1530778-1 is not prime. Res64: 862CB7474B140E38 Time : 0.0 sec. user=mdettweiler [2018-11-08 20:39:53] 945*2^1530778-1 is not prime. Res64: 2475A3AA90EF1274 Time : 0.0 sec. user=mdettweiler [2018-11-08 20:39:54] 993*2^1530778-1 is not prime. Res64: FF7D47B1E48E9056 Time : 0.0 sec. user=mdettweiler [2018-11-08 20:39:54] 645*2^1530779-1 is not prime. Res64: BE74642ED3145DE6 Time : 0.0 sec. user=mdettweiler [2018-11-08 20:49:26] 663*2^1530779-1 is not prime. Res64: B23686CA747A0C20 Time : 0.0 sec. user=mdettweiler [2018-11-08 20:49:26] 669*2^1530779-1 is not prime. Res64: 3BBF72E1779AC03E Time : 0.0 sec. user=mdettweiler [2018-11-08 20:49:26] 745*2^1530779-1 is not prime. Res64: 94240B7DD52B247E Time : 0.0 sec. user=mdettweiler [2018-11-08 20:49:27] 753*2^1530779-1 is not prime. Res64: DFE67C2E84FFCBB7 Time : 0.0 sec. user=mdettweiler [2018-11-08 20:49:27] 825*2^1530779-1 is not prime. Res64: F5DF1ED647509060 Time : 0.0 sec. user=mdettweiler [2018-11-08 21:09:20] 885*2^1530779-1 is not prime. Res64: B62926384B0784FE Time : 0.0 sec. user=mdettweiler [2018-11-08 21:09:21] 819*2^1530780-1 is not prime. Res64: 2FB0512A2BBCC018 Time : 0.0 sec. user=mdettweiler [2018-11-08 21:09:21] 857*2^1530780-1 is not prime. Res64: EC75912392E0F917 Time : 0.0 sec. user=mdettweiler [2018-11-08 21:09:21] 945*2^1530780-1 is not prime. Res64: 0194E9EBFE5690A2 Time : 0.0 sec. user=mdettweiler [2018-11-08 21:09:22] 615*2^1530781-1 is not prime. Res64: E147D6613990B232 Time : 0.0 sec. user=mdettweiler [2018-11-08 21:30:56] 727*2^1530781-1 is not prime. Res64: D6F07CEC1C3CB47A Time : 0.0 sec. user=mdettweiler [2018-11-08 21:30:57] 741*2^1530781-1 is not prime. Res64: 392B6A2338EF7709 Time : 0.0 sec. user=mdettweiler [2018-11-08 21:30:57] 789*2^1530781-1 is not prime. Res64: 7AC5DB0153E22A0D Time : 0.0 sec. user=mdettweiler [2018-11-08 21:30:57] 799*2^1530781-1 is not prime. Res64: C84D68BC8D652B11 Time : 0.0 sec. user=mdettweiler [2018-11-08 21:30:57] 819*2^1530781-1 is not prime. Res64: 7CBEB6B12697E8FD Time : 0.0 sec. user=mdettweiler [2018-11-08 21:31:08] 961*2^1530781-1 is not prime. Res64: 7AB2EAB2BF640B14 Time : 0.0 sec. user=mdettweiler [2018-11-08 21:31:08] 657*2^1530782-1 is not prime. Res64: F7EB086F03F0AB0A Time : 0.0 sec. user=mdettweiler [2018-11-08 21:31:09] 677*2^1530782-1 is not prime. Res64: A8E96096A3C47317 Time : 0.0 sec. user=mdettweiler [2018-11-08 21:31:09] 705*2^1530782-1 is not prime. Res64: D12ED4263B975750 Time : 0.0 sec. user=mdettweiler [2018-11-08 21:31:09] 747*2^1530782-1 is not prime. Res64: E64C4295C3BC0B92 Time : 0.0 sec. user=mdettweiler [2018-11-08 21:40:56] 753*2^1530782-1 is not prime. Res64: 5B9DA3EDE2CC5D5D Time : 0.0 sec. user=mdettweiler [2018-11-08 21:40:56] 791*2^1530782-1 is not prime. Res64: 63F5FB099436A95A Time : 0.0 sec. user=mdettweiler [2018-11-08 21:40:57] 797*2^1530782-1 is not prime. Res64: 8151CD448AE2A399 Time : 0.0 sec. user=mdettweiler [2018-11-08 21:40:57] 801*2^1530782-1 is not prime. Res64: B445095E72E431A4 Time : 0.0 sec. user=mdettweiler [2018-11-08 21:40:58] 813*2^1530782-1 is not prime. Res64: 22CD2292D968C24D Time : 0.0 sec. user=mdettweiler [2018-11-08 22:02:13] 833*2^1530782-1 is not prime. Res64: 7AE676202CFB9A33 Time : 0.0 sec. user=mdettweiler [2018-11-08 22:02:14] 981*2^1530782-1 is not prime. Res64: F72CAA6334FF0FE9 Time : 0.0 sec. user=mdettweiler [2018-11-08 22:02:15] 619*2^1530783-1 is not prime. Res64: 0B673420DFCF9346 Time : 0.0 sec. user=mdettweiler [2018-11-08 22:02:16] 625*2^1530783-1 is not prime. Res64: CA25A95C56EB2C20 Time : 0.0 sec. user=mdettweiler [2018-11-08 22:02:17] 781*2^1530783-1 is not prime. Res64: FA69A162192C95C7 Time : 0.0 sec. user=mdettweiler [2018-11-08 22:22:15] 805*2^1530783-1 is not prime. Res64: CC8FE325588001D3 Time : 0.0 sec. user=mdettweiler [2018-11-08 22:22:15] 859*2^1530783-1 is not prime. Res64: A8452E50E31C3096 Time : 0.0 sec. user=mdettweiler [2018-11-08 22:22:15] 665*2^1530784-1 is not prime. Res64: 4848B0EE31BA8557 Time : 0.0 sec. user=mdettweiler [2018-11-08 22:22:16] 707*2^1530784-1 is not prime. Res64: 93F94C02BF28CCB2 Time : 0.0 sec. user=mdettweiler [2018-11-08 22:22:16] 607*2^1530785-1 is not prime. Res64: 45901413E265ABB2 Time : 0.0 sec. user=mdettweiler [2018-11-08 22:22:39] 697*2^1530785-1 is not prime. Res64: 237035FB6BC8BB8D Time : 0.0 sec. user=mdettweiler [2018-11-08 22:22:39] 711*2^1530785-1 is not prime. Res64: B9A35395E6D1FF93 Time : 0.0 sec. user=mdettweiler [2018-11-08 22:22:40] 771*2^1530785-1 is not prime. Res64: 83D141E7DE7E7046 Time : 0.0 sec. user=mdettweiler [2018-11-08 22:22:40] 777*2^1530785-1 is not prime. Res64: C0FAE9446716C155 Time : 0.0 sec. user=mdettweiler [2018-11-08 22:22:40] 841*2^1530785-1 is not prime. Res64: 7160D243CA5D13A8 Time : 0.0 sec. user=mdettweiler [2018-11-08 22:32:13] 981*2^1530785-1 is not prime. Res64: 1571C0663D911812 Time : 0.0 sec. user=mdettweiler [2018-11-08 22:32:14] 705*2^1530786-1 is not prime. Res64: 5A1A26268F38BAFC Time : 0.0 sec. user=mdettweiler [2018-11-08 22:32:14] 741*2^1530786-1 is not prime. Res64: DD7CC470E157B2B6 Time : 0.0 sec. user=mdettweiler [2018-11-08 22:32:14] 971*2^1530786-1 is not prime. Res64: EAC6430287F8B38B Time : 0.0 sec. user=mdettweiler [2018-11-08 22:32:14] 983*2^1530786-1 is not prime. Res64: B0F3492FEF806B2D Time : 0.0 sec. user=mdettweiler [2018-11-08 22:53:33] 1001*2^1530786-1 is not prime. Res64: 9B7C2525DAB8B6B2 Time : 0.0 sec. user=mdettweiler [2018-11-08 22:53:34] 703*2^1530787-1 is not prime. Res64: 0113EE3F0EB78E0B Time : 0.0 sec. user=mdettweiler [2018-11-08 22:53:34] 979*2^1530787-1 is not prime. Res64: 531565B0D303D94B Time : 0.0 sec. user=mdettweiler [2018-11-08 22:53:34] 623*2^1530788-1 is not prime. Res64: 524C18C385C6D5A1 Time : 0.0 sec. user=mdettweiler [2018-11-08 22:53:34] 665*2^1530788-1 is not prime. Res64: 0BED8C0FFF7E3C58 Time : 0.0 sec. user=mdettweiler [2018-11-08 23:14:02] 743*2^1530788-1 is not prime. Res64: 1938C4DAEB2B8CF8 Time : 0.0 sec. user=mdettweiler [2018-11-08 23:14:03] 749*2^1530788-1 is not prime. Res64: A24C232A152CF2A8 Time : 0.0 sec. user=mdettweiler [2018-11-08 23:14:03] 777*2^1530788-1 is not prime. Res64: F924E54352744827 Time : 0.0 sec. user=mdettweiler [2018-11-08 23:14:04] 789*2^1530788-1 is not prime. Res64: 6668D5B2BBA458EB Time : 0.0 sec. user=mdettweiler [2018-11-08 23:14:04] 855*2^1530788-1 is not prime. Res64: B4457DD18954D93B Time : 0.0 sec. user=mdettweiler [2018-11-08 23:14:25] 869*2^1530788-1 is not prime. Res64: 1AFFE656D0A39075 Time : 0.0 sec. user=mdettweiler [2018-11-08 23:14:25] 915*2^1530788-1 is not prime. Res64: 941CFD5A17ED1738 Time : 0.0 sec. user=mdettweiler [2018-11-08 23:14:25] 935*2^1530788-1 is not prime. Res64: E2985BD0174737AF Time : 0.0 sec. user=mdettweiler [2018-11-08 23:14:25] 957*2^1530788-1 is not prime. Res64: C93327ED03D7DDEC Time : 0.0 sec. user=mdettweiler [2018-11-08 23:14:26] 963*2^1530788-1 is not prime. Res64: AA0DA199464E521E Time : 0.0 sec. user=mdettweiler [2018-11-08 23:24:01] 969*2^1530788-1 is not prime. Res64: 6AE1C01097A84E11 Time : 0.0 sec. user=mdettweiler [2018-11-08 23:24:02] 721*2^1530789-1 is not prime. Res64: 0BAC68648B5506F2 Time : 0.0 sec. user=mdettweiler [2018-11-08 23:24:02] 759*2^1530789-1 is not prime. Res64: 53655EFB74169E33 Time : 0.0 sec. user=mdettweiler [2018-11-08 23:24:02] 847*2^1530789-1 is not prime. Res64: C9897E461F151D2C Time : 0.0 sec. user=mdettweiler [2018-11-08 23:24:02] 891*2^1530789-1 is not prime. Res64: 294A771C43D37679 Time : 0.0 sec. user=mdettweiler [2018-11-08 23:45:39] 975*2^1530789-1 is not prime. Res64: A57B2F6D8BADEFB0 Time : 0.0 sec. user=mdettweiler [2018-11-08 23:45:39] 777*2^1530790-1 is not prime. Res64: E57FB5A81BBF83BC Time : 0.0 sec. user=mdettweiler [2018-11-08 23:45:39] 1001*2^1530790-1 is not prime. Res64: 919702BDFB031CB7 Time : 0.0 sec. user=mdettweiler [2018-11-08 23:45:39] 603*2^1530791-1 is not prime. Res64: 0FA6DFBE17AEBCBF Time : 0.0 sec. user=mdettweiler [2018-11-08 23:45:40] 759*2^1530791-1 is not prime. Res64: F0B152E1DF4DF56B Time : 0.0 sec.