user=juhehe [2017-04-21 00:05:20] 869*2^1452256-1 is not prime. Res64: 4E5F293448D6D7FE Time : 0.0 sec. user=mdettweiler [2017-04-21 00:05:28] 861*2^1452255-1 is not prime. Res64: 5C069CFC2068FD48 Time : 0.0 sec. user=mdettweiler [2017-04-21 00:05:30] 919*2^1452255-1 is not prime. Res64: F95F1CFFE77137EE Time : 0.0 sec. user=mdettweiler [2017-04-21 00:05:31] 657*2^1452256-1 is not prime. Res64: 696854A425897F07 Time : 0.0 sec. user=mdettweiler [2017-04-21 00:05:34] 689*2^1452256-1 is not prime. Res64: DC915277C011A19E Time : 0.0 sec. user=mdettweiler [2017-04-21 00:05:35] 735*2^1452256-1 is not prime. Res64: ED03BA0659F372AE Time : 0.0 sec. user=mdettweiler [2017-04-21 00:11:29] 873*2^1452256-1 is not prime. Res64: A4BA153A309049C2 Time : 0.0 sec. user=mdettweiler [2017-04-21 00:11:30] 905*2^1452256-1 is not prime. Res64: EF55D3E5F2C25DCF Time : 0.0 sec. user=mdettweiler [2017-04-21 00:11:30] 909*2^1452256-1 is not prime. Res64: 01B27A599C99F10F Time : 0.0 sec. user=mdettweiler [2017-04-21 00:11:31] 675*2^1452257-1 is not prime. Res64: 1BBD3BEAECD581AD Time : 0.0 sec. user=mdettweiler [2017-04-21 00:11:31] 691*2^1452257-1 is not prime. Res64: 2C51B03FE489AB5F Time : 0.0 sec. user=mdettweiler [2017-04-21 00:33:12] 711*2^1452257-1 is not prime. Res64: B8A4FCEA1CA1F016 Time : 0.0 sec. user=mdettweiler [2017-04-21 00:33:13] 715*2^1452257-1 is not prime. Res64: F9ED625A56F496A9 Time : 0.0 sec. user=mdettweiler [2017-04-21 00:33:13] 771*2^1452257-1 is not prime. Res64: FF730501F59670BE Time : 0.0 sec. user=mdettweiler [2017-04-21 00:33:14] 801*2^1452257-1 is not prime. Res64: 740CDF4D2FB61EB6 Time : 0.0 sec. user=mdettweiler [2017-04-21 00:33:14] 831*2^1452257-1 is not prime. Res64: 4C6DF80CDF99BBC2 Time : 0.0 sec. user=juhehe [2017-04-21 00:47:15] 635*2^1452258-1 is not prime. Res64: BAE2003C0FDCB231 Time : 0.0 sec. user=mdettweiler [2017-04-21 00:50:32] 871*2^1452257-1 is not prime. Res64: 18FCDC840F187688 Time : 0.0 sec. user=mdettweiler [2017-04-21 00:50:32] 901*2^1452257-1 is not prime. Res64: 6C84CE9D248C1420 Time : 0.0 sec. user=mdettweiler [2017-04-21 00:50:33] 909*2^1452257-1 is not prime. Res64: B55CFF5E759EE446 Time : 0.0 sec. user=mdettweiler [2017-04-21 00:50:33] 931*2^1452257-1 is not prime. Res64: 776D6E2707D55032 Time : 0.0 sec. user=mdettweiler [2017-04-21 00:50:34] 991*2^1452257-1 is not prime. Res64: 921082441B0D31E4 Time : 0.0 sec. user=mdettweiler [2017-04-21 00:56:03] 677*2^1452258-1 is not prime. Res64: 52B31EE9E0442BE8 Time : 0.0 sec. user=mdettweiler [2017-04-21 00:56:03] 797*2^1452258-1 is not prime. Res64: 688EDE4C5F0F9C30 Time : 0.0 sec. user=mdettweiler [2017-04-21 00:56:04] 881*2^1452258-1 is not prime. Res64: 0E1E47685B7E2F1D Time : 0.0 sec. user=mdettweiler [2017-04-21 00:56:05] 993*2^1452258-1 is not prime. Res64: ACBDE1D228A1CE0D Time : 0.0 sec. user=mdettweiler [2017-04-21 00:56:05] 615*2^1452259-1 is not prime. Res64: 789BF3344746EFEB Time : 0.0 sec. user=mdettweiler [2017-04-21 01:17:44] 649*2^1452259-1 is not prime. Res64: DF3C36AD1896DC6A Time : 0.0 sec. user=mdettweiler [2017-04-21 01:17:45] 843*2^1452259-1 is not prime. Res64: 308C2B792CB0ED98 Time : 0.0 sec. user=mdettweiler [2017-04-21 01:17:45] 889*2^1452259-1 is not prime. Res64: C2B3159DC1A08790 Time : 0.0 sec. user=mdettweiler [2017-04-21 01:17:46] 635*2^1452260-1 is not prime. Res64: 515FDE57FA2557A7 Time : 0.0 sec. user=mdettweiler [2017-04-21 01:17:46] 669*2^1452260-1 is not prime. Res64: 4118764D0FBA8216 Time : 0.0 sec. user=juhehe [2017-04-21 01:28:36] 845*2^1452260-1 is not prime. Res64: 2356D737E6C77138 Time : 0.0 sec. user=mdettweiler [2017-04-21 01:35:04] 909*2^1452260-1 is not prime. Res64: FEED1C22060A9E61 Time : 0.0 sec. user=mdettweiler [2017-04-21 01:35:04] 977*2^1452260-1 is not prime. Res64: DE218EEB71A75F4D Time : 0.0 sec. user=mdettweiler [2017-04-21 01:35:05] 627*2^1452261-1 is not prime. Res64: 4EF944441DD56009 Time : 0.0 sec. user=mdettweiler [2017-04-21 01:35:05] 817*2^1452261-1 is not prime. Res64: 6C527C8BC88BE5ED Time : 0.0 sec. user=mdettweiler [2017-04-21 01:35:06] 849*2^1452261-1 is not prime. Res64: C662B77A77FABF0B Time : 0.0 sec. user=mdettweiler [2017-04-21 01:40:36] 871*2^1452261-1 is not prime. Res64: E80CEF5CF457FAA3 Time : 0.0 sec. user=mdettweiler [2017-04-21 01:40:36] 937*2^1452261-1 is not prime. Res64: A7554616D80BB0FA Time : 0.0 sec. user=mdettweiler [2017-04-21 01:40:37] 999*2^1452261-1 is not prime. Res64: 86D49CDD7AEA6649 Time : 0.0 sec. user=mdettweiler [2017-04-21 01:40:37] 731*2^1452262-1 is not prime. Res64: 94E348428FC0F296 Time : 0.0 sec. user=mdettweiler [2017-04-21 01:40:38] 743*2^1452262-1 is not prime. Res64: 7F42D51CF0402544 Time : 0.0 sec. user=mdettweiler [2017-04-21 02:02:21] 843*2^1452262-1 is not prime. Res64: 50E9F82D194B6CD4 Time : 0.0 sec. user=mdettweiler [2017-04-21 02:02:22] 885*2^1452262-1 is not prime. Res64: 69E0C96B040964C2 Time : 0.0 sec. user=mdettweiler [2017-04-21 02:02:23] 911*2^1452262-1 is not prime. Res64: A7D8B3E0EB8ED2AB Time : 0.0 sec. user=mdettweiler [2017-04-21 02:02:24] 675*2^1452263-1 is not prime. Res64: F8C4463B447310CB Time : 0.0 sec. user=mdettweiler [2017-04-21 02:02:25] 775*2^1452263-1 is not prime. Res64: 33E39C4019058A80 Time : 0.0 sec. user=juhehe [2017-04-21 02:07:39] 861*2^1452263-1 is not prime. Res64: 05BD8872D68E8A82 Time : 0.0 sec. user=mdettweiler [2017-04-21 02:19:42] 885*2^1452263-1 is not prime. Res64: 43D0DEC1CEBD3259 Time : 0.0 sec. user=mdettweiler [2017-04-21 02:19:43] 955*2^1452263-1 is not prime. Res64: 8DE86190398C2CB6 Time : 0.0 sec. user=mdettweiler [2017-04-21 02:19:43] 969*2^1452263-1 is not prime. Res64: 323A363905307DE3 Time : 0.0 sec. user=mdettweiler [2017-04-21 02:19:44] 629*2^1452264-1 is not prime. Res64: F83A3353C0D4F5E5 Time : 0.0 sec. user=mdettweiler [2017-04-21 02:19:44] 747*2^1452264-1 is not prime. Res64: 18940A7C5EDC77ED Time : 0.0 sec. user=mdettweiler [2017-04-21 02:25:07] 857*2^1452264-1 is not prime. Res64: E3A63941B48C5B0C Time : 0.0 sec. user=mdettweiler [2017-04-21 02:25:07] 905*2^1452264-1 is not prime. Res64: 6E40690B9F0436F0 Time : 0.0 sec. user=mdettweiler [2017-04-21 02:25:08] 915*2^1452264-1 is not prime. Res64: B6C57D624CE10BDE Time : 0.0 sec. user=mdettweiler [2017-04-21 02:25:08] 983*2^1452264-1 is not prime. Res64: 0F92C909DC1FE497 Time : 0.0 sec. user=mdettweiler [2017-04-21 02:25:09] 607*2^1452265-1 is not prime. Res64: 360824CE35641E47 Time : 0.0 sec. user=juhehe [2017-04-21 02:46:56] 633*2^1452266-1 is not prime. Res64: 5633F3127A805241 Time : 0.0 sec. user=mdettweiler [2017-04-21 02:47:32] 625*2^1452265-1 is not prime. Res64: 038C060670A07CF6 Time : 0.0 sec. user=mdettweiler [2017-04-21 02:47:33] 741*2^1452265-1 is not prime. Res64: 1C365D5F7F5DA0B2 Time : 0.0 sec. user=mdettweiler [2017-04-21 02:47:33] 861*2^1452265-1 is not prime. Res64: 5775EDC69BC6779F Time : 0.0 sec. user=mdettweiler [2017-04-21 02:47:34] 871*2^1452265-1 is not prime. Res64: F4ED6DDC25C23D48 Time : 0.0 sec. user=mdettweiler [2017-04-21 02:47:34] 987*2^1452265-1 is not prime. Res64: 5069272FD0978CEB Time : 0.0 sec. user=mdettweiler [2017-04-21 03:04:44] 671*2^1452266-1 is not prime. Res64: 0E6219437EC08F11 Time : 0.0 sec. user=mdettweiler [2017-04-21 03:04:45] 675*2^1452266-1 is not prime. Res64: 753EDA924B2D194E Time : 0.0 sec. user=mdettweiler [2017-04-21 03:04:46] 773*2^1452266-1 is not prime. Res64: F3A1D9C2A187139B Time : 0.0 sec. user=mdettweiler [2017-04-21 03:04:46] 783*2^1452266-1 is not prime. Res64: CF0BFAC78B3BC2A0 Time : 0.0 sec. user=mdettweiler [2017-04-21 03:04:47] 825*2^1452266-1 is not prime. Res64: 5535393202455BBC Time : 0.0 sec. user=mdettweiler [2017-04-21 03:10:12] 833*2^1452266-1 is not prime. Res64: 27B1347A7D4568D1 Time : 0.0 sec. user=mdettweiler [2017-04-21 03:10:13] 923*2^1452266-1 is not prime. Res64: D2FC866619D3377F Time : 0.0 sec. user=mdettweiler [2017-04-21 03:10:13] 935*2^1452266-1 is not prime. Res64: 43F72A33BAE44FF9 Time : 0.0 sec. user=mdettweiler [2017-04-21 03:10:14] 619*2^1452267-1 is not prime. Res64: F603ADFF45B8BCCA Time : 0.0 sec. user=mdettweiler [2017-04-21 03:10:14] 801*2^1452267-1 is not prime. Res64: C3A739A70B432928 Time : 0.0 sec. user=juhehe [2017-04-21 03:26:12] 895*2^1452267-1 is not prime. Res64: 10676DE3F3013874 Time : 0.0 sec. user=mdettweiler [2017-04-21 03:32:05] 975*2^1452267-1 is not prime. Res64: 9C0F87B5551F69A5 Time : 0.0 sec. user=mdettweiler [2017-04-21 03:32:06] 991*2^1452267-1 is not prime. Res64: 86D25759AE1F7141 Time : 0.0 sec. user=mdettweiler [2017-04-21 03:32:06] 605*2^1452268-1 is not prime. Res64: 8F1A340FF888AEC7 Time : 0.0 sec. user=mdettweiler [2017-04-21 03:32:07] 615*2^1452268-1 is not prime. Res64: ADCE64E909CC97EF Time : 0.0 sec. user=mdettweiler [2017-04-21 03:32:07] 773*2^1452268-1 is not prime. Res64: C58FAD4C20FF8081 Time : 0.0 sec. user=mdettweiler [2017-04-21 03:49:43] 839*2^1452268-1 is not prime. Res64: F38BF6208CF50F4B Time : 0.0 sec. user=mdettweiler [2017-04-21 03:49:44] 909*2^1452268-1 is not prime. Res64: 6CD777823BE73DAB Time : 0.0 sec. user=mdettweiler [2017-04-21 03:49:45] 627*2^1452269-1 is not prime. Res64: AD4F2B3F06090903 Time : 0.0 sec. user=mdettweiler [2017-04-21 03:49:47] 649*2^1452269-1 is not prime. Res64: 82939DFB9D522EE2 Time : 0.0 sec. user=mdettweiler [2017-04-21 03:49:48] 657*2^1452269-1 is not prime. Res64: CA7B061E99C62B45 Time : 0.0 sec. user=mdettweiler [2017-04-21 03:54:46] 697*2^1452269-1 is not prime. Res64: 12A9A38FFCA981AE Time : 0.0 sec. user=mdettweiler [2017-04-21 03:54:46] 759*2^1452269-1 is not prime. Res64: 1505FB529EC9FA8C Time : 0.0 sec. user=mdettweiler [2017-04-21 03:54:47] 787*2^1452269-1 is not prime. Res64: 3F10B43A57F8D3EB Time : 0.0 sec. user=mdettweiler [2017-04-21 03:54:48] 801*2^1452269-1 is not prime. Res64: 041EC47CC2D13508 Time : 0.0 sec. user=mdettweiler [2017-04-21 03:54:48] 879*2^1452269-1 is not prime. Res64: 78A1D2DDE0428714 Time : 0.0 sec. user=juhehe [2017-04-21 04:05:46] 939*2^1452269-1 is not prime. Res64: 860E24DC5FC2AA9A Time : 0.0 sec. user=mdettweiler [2017-04-21 04:16:40] 949*2^1452269-1 is not prime. Res64: 5758FF3E9804FE61 Time : 0.0 sec. user=mdettweiler [2017-04-21 04:16:40] 955*2^1452269-1 is not prime. Res64: 136E89887F647B8B Time : 0.0 sec. user=mdettweiler [2017-04-21 04:16:40] 991*2^1452269-1 is not prime. Res64: CA3FF8C50A3B366A Time : 0.0 sec. user=mdettweiler [2017-04-21 04:16:41] 627*2^1452270-1 is not prime. Res64: 2314390A1DD7BAE3 Time : 0.0 sec. user=mdettweiler [2017-04-21 04:16:41] 657*2^1452270-1 is not prime. Res64: 15BF793C617F3484 Time : 0.0 sec. user=mdettweiler [2017-04-21 04:34:31] 723*2^1452270-1 is not prime. Res64: E570F5CC6AECF45B Time : 0.0 sec. user=mdettweiler [2017-04-21 04:34:32] 885*2^1452270-1 is not prime. Res64: 60F06432702FBAD9 Time : 0.0 sec. user=mdettweiler [2017-04-21 04:34:32] 941*2^1452270-1 is not prime. Res64: E10BD3AAE02EB7EC Time : 0.0 sec. user=mdettweiler [2017-04-21 04:34:32] 977*2^1452270-1 is not prime. Res64: C935FDDF1A8C65E3 Time : 0.0 sec. user=mdettweiler [2017-04-21 04:34:33] 651*2^1452271-1 is not prime. Res64: D232CBE2DAD87069 Time : 0.0 sec. user=mdettweiler [2017-04-21 04:39:37] 715*2^1452271-1 is not prime. Res64: 2EF452018524B1CB Time : 0.0 sec. user=mdettweiler [2017-04-21 04:39:37] 723*2^1452271-1 is not prime. Res64: 642B5BC3B64E4082 Time : 0.0 sec. user=mdettweiler [2017-04-21 04:39:37] 859*2^1452271-1 is not prime. Res64: A163F90312D6D1D2 Time : 0.0 sec. user=mdettweiler [2017-04-21 04:39:38] 699*2^1452272-1 is not prime. Res64: 7F7F530B031877CA Time : 0.0 sec. user=mdettweiler [2017-04-21 04:39:38] 713*2^1452272-1 is not prime. Res64: 0D8AD66E9D865172 Time : 0.0 sec. user=juhehe [2017-04-21 04:45:33] 959*2^1452272-1 is not prime. Res64: 627FF46F3416711F Time : 0.0 sec. user=mdettweiler [2017-04-21 05:01:19] 963*2^1452272-1 is not prime. Res64: 50E2353CDF172F7D Time : 0.0 sec. user=mdettweiler [2017-04-21 05:01:23] 999*2^1452272-1 is not prime. Res64: 020A652BB2DDE0CE Time : 0.0 sec. user=mdettweiler [2017-04-21 05:01:25] 615*2^1452273-1 is not prime. Res64: 728757598AFD1F04 Time : 0.0 sec. user=mdettweiler [2017-04-21 05:01:26] 705*2^1452273-1 is not prime. Res64: C2BDD8D31C260B44 Time : 0.0 sec. user=mdettweiler [2017-04-21 05:01:27] 741*2^1452273-1 is not prime. Res64: 9F23CB7326CBE31E Time : 0.0 sec. user=mdettweiler [2017-04-21 05:19:07] 781*2^1452273-1 is not prime. Res64: 083FA28CD556F4F1 Time : 0.0 sec. user=mdettweiler [2017-04-21 05:19:07] 837*2^1452273-1 is not prime. Res64: C38C13A5A53C2DC7 Time : 0.0 sec. user=mdettweiler [2017-04-21 05:19:08] 867*2^1452273-1 is not prime. Res64: C40ED440AC1226B5 Time : 0.0 sec. user=mdettweiler [2017-04-21 05:19:08] 621*2^1452274-1 is not prime. Res64: 056D3622F64EF7D9 Time : 0.0 sec. user=mdettweiler [2017-04-21 05:19:09] 717*2^1452274-1 is not prime. Res64: B69E497693A5371C Time : 0.0 sec. user=mdettweiler [2017-04-21 05:24:09] 861*2^1452274-1 is not prime. Res64: 57D233E0684BF191 Time : 0.0 sec. user=mdettweiler [2017-04-21 05:24:09] 887*2^1452274-1 is not prime. Res64: 640465ECCB4C9841 Time : 0.0 sec. user=mdettweiler [2017-04-21 05:24:10] 983*2^1452274-1 is not prime. Res64: 5CAE9C247F63926F Time : 0.0 sec. user=mdettweiler [2017-04-21 05:24:10] 649*2^1452275-1 is not prime. Res64: C0D3313D27EF596A Time : 0.0 sec. user=mdettweiler [2017-04-21 05:24:11] 753*2^1452275-1 is not prime. Res64: FD87D414FAD1CB0F Time : 0.0 sec. user=juhehe [2017-04-21 05:25:18] 825*2^1452275-1 is not prime. Res64: 821B563E0E899535 Time : 0.0 sec. user=mdettweiler [2017-04-21 05:46:15] 861*2^1452275-1 is not prime. Res64: D95841F7943A3B14 Time : 0.0 sec. user=mdettweiler [2017-04-21 05:46:16] 883*2^1452275-1 is not prime. Res64: 58DED0A2085956E7 Time : 0.0 sec. user=mdettweiler [2017-04-21 05:46:16] 653*2^1452276-1 is not prime. Res64: 72EFFD3BA204AFDD Time : 0.0 sec. user=mdettweiler [2017-04-21 05:46:16] 695*2^1452276-1 is not prime. Res64: 87B8727F4B5BA871 Time : 0.0 sec. user=mdettweiler [2017-04-21 05:46:17] 767*2^1452276-1 is not prime. Res64: 7A6B782B0E9E2363 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:03:42] 773*2^1452276-1 is not prime. Res64: 2F31ACFABBF7AE94 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:03:43] 893*2^1452276-1 is not prime. Res64: 5BC9892651695CB4 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:03:44] 903*2^1452276-1 is not prime. Res64: C005E8B8C4F6FEB5 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:03:45] 625*2^1452277-1 is not prime. Res64: 0C944E93C67D7034 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:03:47] 817*2^1452277-1 is not prime. Res64: D24139108A35D5F0 Time : 0.0 sec. user=juhehe [2017-04-21 06:04:17] 833*2^1452278-1 is not prime. Res64: 2F782EDBC752A1C6 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:08:39] 665*2^1452278-1 is not prime. Res64: 1C4B08C110100C41 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:08:40] 687*2^1452278-1 is not prime. Res64: A4F0673DE6996273 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:08:40] 711*2^1452278-1 is not prime. Res64: 755EA709F53C93DC Time : 0.0 sec. user=mdettweiler [2017-04-21 06:08:41] 761*2^1452278-1 is not prime. Res64: FA517F2398739274 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:08:41] 815*2^1452278-1 is not prime. Res64: BA52B477CC7FA559 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:30:43] 861*2^1452278-1 is not prime. Res64: B17211F6E7715AC0 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:30:43] 945*2^1452278-1 is not prime. Res64: 57141ABACAA85EA1 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:30:44] 995*2^1452278-1 is not prime. Res64: 6A20861A246D0AA8 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:30:44] 663*2^1452279-1 is not prime. Res64: F1DFAF9F5C351775 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:30:45] 679*2^1452279-1 is not prime. Res64: 2CCAF900844CEC4D Time : 0.0 sec. user=juhehe [2017-04-21 06:43:31] 957*2^1452280-1 is not prime. Res64: 14857AAC929A2AD6 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:48:26] 741*2^1452279-1 is not prime. Res64: 749F0E7CD5C34150 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:48:27] 891*2^1452279-1 is not prime. Res64: 7E66464A632BB23A Time : 0.0 sec. user=mdettweiler [2017-04-21 06:48:27] 819*2^1452280-1 is not prime. Res64: ECDBCCBC50C9C979 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:48:27] 825*2^1452280-1 is not prime. Res64: EA75C482D30916AF Time : 0.0 sec. user=mdettweiler [2017-04-21 06:48:28] 917*2^1452280-1 is not prime. Res64: 987A5010E7BD7353 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:53:14] 995*2^1452280-1 is not prime. Res64: 647B4C0B2560F204 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:53:14] 999*2^1452280-1 is not prime. Res64: 56866ED70BE41940 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:53:14] 675*2^1452281-1 is not prime. Res64: 2FC7B39262A82B08 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:53:15] 717*2^1452281-1 is not prime. Res64: 769EEC906FDA27B9 Time : 0.0 sec. user=mdettweiler [2017-04-21 06:53:15] 811*2^1452281-1 is not prime. Res64: 0E7DE7A325B6D875 Time : 0.0 sec. user=mdettweiler [2017-04-21 07:15:15] 829*2^1452281-1 is not prime. Res64: 12AD790929B94CC6 Time : 0.0 sec. user=mdettweiler [2017-04-21 07:15:15] 907*2^1452281-1 is not prime. Res64: B3C0A83150C55C3B Time : 0.0 sec. user=mdettweiler [2017-04-21 07:15:16] 981*2^1452281-1 is not prime. Res64: B822773BE7598BEA Time : 0.0 sec. user=mdettweiler [2017-04-21 07:15:16] 651*2^1452282-1 is not prime. Res64: AF843B26EEEB546D Time : 0.0 sec. user=mdettweiler [2017-04-21 07:15:16] 725*2^1452282-1 is not prime. Res64: CD353AD327154DEA Time : 0.0 sec. user=juhehe [2017-04-21 07:22:28] 873*2^1452282-1 is not prime. Res64: 263523AF89C35F8B Time : 0.0 sec. user=mdettweiler [2017-04-21 07:32:56] 983*2^1452282-1 is not prime. Res64: C1EF40C4F89DE9AA Time : 0.0 sec. user=mdettweiler [2017-04-21 07:32:56] 789*2^1452283-1 is not prime. Res64: AD918E2945BB285E Time : 0.0 sec. user=mdettweiler [2017-04-21 07:32:56] 805*2^1452283-1 is not prime. Res64: FD7585C6412286B9 Time : 0.0 sec. user=mdettweiler [2017-04-21 07:32:57] 819*2^1452283-1 is not prime. Res64: 0F279983FE9318CD Time : 0.0 sec. user=mdettweiler [2017-04-21 07:32:57] 853*2^1452283-1 is not prime. Res64: F883E780E50E4D73 Time : 0.0 sec. user=mdettweiler [2017-04-21 07:37:45] 609*2^1452284-1 is not prime. Res64: BECF5861EBCEF3B8 Time : 0.0 sec. user=mdettweiler [2017-04-21 07:37:45] 665*2^1452284-1 is not prime. Res64: FAA85DAA8BC12094 Time : 0.0 sec. user=mdettweiler [2017-04-21 07:37:46] 759*2^1452284-1 is not prime. Res64: C40218CB22A833FD Time : 0.0 sec. user=mdettweiler [2017-04-21 07:37:46] 899*2^1452284-1 is not prime. Res64: 3E78BACDA23EAA2E Time : 0.0 sec. user=mdettweiler [2017-04-21 07:37:46] 923*2^1452284-1 is not prime. Res64: 5CFFE566E66B9A55 Time : 0.0 sec. user=mdettweiler [2017-04-21 07:59:51] 945*2^1452284-1 is not prime. Res64: 042F52236774FB40 Time : 0.0 sec. user=mdettweiler [2017-04-21 07:59:52] 609*2^1452285-1 is not prime. Res64: CA4D30BBB2071BDC Time : 0.0 sec. user=mdettweiler [2017-04-21 07:59:52] 651*2^1452285-1 is not prime. Res64: 20633D7D44773244 Time : 0.0 sec. user=mdettweiler [2017-04-21 07:59:52] 717*2^1452285-1 is not prime. Res64: 4CC4AB0CB23FAC31 Time : 0.0 sec. user=mdettweiler [2017-04-21 07:59:53] 735*2^1452285-1 is not prime. Res64: B140B608B6865650 Time : 0.0 sec. user=juhehe [2017-04-21 08:02:17] 781*2^1452285-1 is not prime. Res64: F7D89F6D29BCF0E2 Time : 0.0 sec. user=mdettweiler [2017-04-21 08:17:27] 847*2^1452285-1 is not prime. Res64: B69A74D98B476971 Time : 0.0 sec. user=mdettweiler [2017-04-21 08:17:27] 975*2^1452285-1 is not prime. Res64: 24D924B5F423624B Time : 0.0 sec. user=mdettweiler [2017-04-21 08:17:28] 647*2^1452286-1 is not prime. Res64: FE037B2BE958EF4E Time : 0.0 sec. user=mdettweiler [2017-04-21 08:17:28] 663*2^1452286-1 is not prime. Res64: 6CDE1973DF003149 Time : 0.0 sec. user=mdettweiler [2017-04-21 08:17:29] 695*2^1452286-1 is not prime. Res64: 644AF8394C8969DB Time : 0.0 sec. user=mdettweiler [2017-04-21 08:22:18] 717*2^1452286-1 is not prime. Res64: E44B5D23CFF1F017 Time : 0.0 sec. user=mdettweiler [2017-04-21 08:22:18] 911*2^1452286-1 is not prime. Res64: 879E528B3779095B Time : 0.0 sec. user=mdettweiler [2017-04-21 08:22:19] 923*2^1452286-1 is not prime. Res64: 1B52AF1E13DCE90D Time : 0.0 sec. user=mdettweiler [2017-04-21 08:22:19] 975*2^1452286-1 is not prime. Res64: A195C51386A788FB Time : 0.0 sec. user=mdettweiler [2017-04-21 08:22:19] 655*2^1452287-1 is not prime. Res64: C439950A9EEA525B Time : 0.0 sec. user=mdettweiler [2017-04-21 08:44:23] 669*2^1452287-1 is not prime. Res64: 2206E9312A6BDB61 Time : 0.0 sec. user=mdettweiler [2017-04-21 08:44:24] 705*2^1452287-1 is not prime. Res64: 0632D49086087711 Time : 0.0 sec. user=mdettweiler [2017-04-21 08:44:24] 763*2^1452287-1 is not prime. Res64: C773DA9FD69FB123 Time : 0.0 sec. user=mdettweiler [2017-04-21 08:44:25] 939*2^1452287-1 is not prime. Res64: FE54FAE228682FE0 Time : 0.0 sec. user=mdettweiler [2017-04-21 08:44:25] 993*2^1452287-1 is not prime. Res64: AB4499D4C8305F31 Time : 0.0 sec. user=mdettweiler [2017-04-21 09:02:00] 665*2^1452288-1 is not prime. Res64: A4A46189C05C5DC6 Time : 0.0 sec. user=mdettweiler [2017-04-21 09:02:01] 695*2^1452288-1 is not prime. Res64: A714388F54147292 Time : 0.0 sec. user=mdettweiler [2017-04-21 09:02:02] 705*2^1452288-1 is not prime. Res64: 2054473046FCA6B5 Time : 0.0 sec. user=mdettweiler [2017-04-21 09:02:02] 725*2^1452288-1 is not prime. Res64: 9FA59353EB45669D Time : 0.0 sec. user=mdettweiler [2017-04-21 09:02:03] 795*2^1452288-1 is not prime. Res64: 2BFB38F1B19FD4AB Time : 0.0 sec. user=mdettweiler [2017-04-21 09:06:47] 797*2^1452288-1 is not prime. Res64: 5C8BBE7A9CD9687B Time : 0.0 sec. user=mdettweiler [2017-04-21 09:06:48] 803*2^1452288-1 is not prime. Res64: FE6954DFD46F485A Time : 0.0 sec. user=mdettweiler [2017-04-21 09:06:48] 905*2^1452288-1 is not prime. Res64: 1DD6A7886741F9BA Time : 0.0 sec. user=mdettweiler [2017-04-21 09:06:49] 909*2^1452288-1 is not prime. Res64: 72E9FFA90BE2044E Time : 0.0 sec. user=mdettweiler [2017-04-21 09:06:49] 625*2^1452289-1 is not prime. Res64: 0AFA68881D617763 Time : 0.0 sec. user=mdettweiler [2017-04-21 09:28:55] 751*2^1452289-1 is not prime. Res64: DC4B41C91A9E44BA Time : 0.0 sec. user=mdettweiler [2017-04-21 09:28:55] 765*2^1452289-1 is not prime. Res64: DE5D155B4E47A29C Time : 0.0 sec. user=mdettweiler [2017-04-21 09:28:56] 769*2^1452289-1 is not prime. Res64: 35D239F08ACB79DD Time : 0.0 sec. user=mdettweiler [2017-04-21 09:28:56] 817*2^1452289-1 is not prime. Res64: 9108AA55E57F9DF6 Time : 0.0 sec. user=mdettweiler [2017-04-21 09:28:56] 957*2^1452289-1 is not prime. Res64: 7623B8A0BD187174 Time : 0.0 sec. user=mdettweiler [2017-04-21 09:46:53] 633*2^1452290-1 is not prime. Res64: 42C8DC8193698126 Time : 0.0 sec. user=mdettweiler [2017-04-21 09:46:53] 675*2^1452290-1 is not prime. Res64: C417BCB6D4C783BC Time : 0.0 sec. user=mdettweiler [2017-04-21 09:46:54] 843*2^1452290-1 is not prime. Res64: DF8C909D1E1BA38B Time : 0.0 sec. user=mdettweiler [2017-04-21 09:46:54] 953*2^1452290-1 is not prime. Res64: B6BEA32841BB48D3 Time : 0.0 sec. user=mdettweiler [2017-04-21 09:46:55] 649*2^1452291-1 is not prime. Res64: A7C292442353A10F Time : 0.0 sec. user=mdettweiler [2017-04-21 09:51:41] 709*2^1452291-1 is not prime. Res64: 70703D83E205B713 Time : 0.0 sec. user=mdettweiler [2017-04-21 09:51:41] 805*2^1452291-1 is not prime. Res64: D2F903F90648F23F Time : 0.0 sec. user=mdettweiler [2017-04-21 09:51:42] 835*2^1452291-1 is not prime. Res64: F9366C65DEADB2D0 Time : 0.0 sec. user=mdettweiler [2017-04-21 09:51:42] 975*2^1452291-1 is not prime. Res64: 5730CC515D6B7DFB Time : 0.0 sec. user=mdettweiler [2017-04-21 09:51:42] 863*2^1452292-1 is not prime. Res64: 8EA58E88885D0C1B Time : 0.0 sec. user=mdettweiler [2017-04-21 10:13:28] 939*2^1452292-1 is not prime. Res64: 9FEC6F3E8556BD8F Time : 0.0 sec. user=mdettweiler [2017-04-21 10:13:29] 965*2^1452292-1 is not prime. Res64: A76B75E4F9D3C842 Time : 0.0 sec. user=mdettweiler [2017-04-21 10:13:29] 615*2^1452293-1 is not prime. Res64: F812A36CE17DFF79 Time : 0.0 sec. user=mdettweiler [2017-04-21 10:13:30] 657*2^1452293-1 is not prime. Res64: 0C8FCF1E05596070 Time : 0.0 sec. user=mdettweiler [2017-04-21 10:13:30] 847*2^1452293-1 is not prime. Res64: EBEBD9FA399CD869 Time : 0.0 sec. user=mdettweiler [2017-04-21 10:31:35] 889*2^1452293-1 is not prime. Res64: D453483EDC43F403 Time : 0.0 sec. user=mdettweiler [2017-04-21 10:31:35] 611*2^1452294-1 is not prime. Res64: 0F03FE69A7F310C1 Time : 0.0 sec. user=mdettweiler [2017-04-21 10:31:36] 621*2^1452294-1 is not prime. Res64: 728E82D9654581A4 Time : 0.0 sec. user=mdettweiler [2017-04-21 10:31:36] 795*2^1452294-1 is not prime. Res64: 3C389C80A7F1C171 Time : 0.0 sec. user=mdettweiler [2017-04-21 10:31:37] 815*2^1452294-1 is not prime. Res64: D20D2C7D848113BD Time : 0.0 sec. user=mdettweiler [2017-04-21 10:36:18] 851*2^1452294-1 is not prime. Res64: 0A8E56E10069901C Time : 0.0 sec. user=mdettweiler [2017-04-21 10:36:18] 885*2^1452294-1 is not prime. Res64: A985F79E0B70CF08 Time : 0.0 sec. user=mdettweiler [2017-04-21 10:36:19] 927*2^1452294-1 is not prime. Res64: C61BC8A5B5502DD9 Time : 0.0 sec. user=mdettweiler [2017-04-21 10:36:19] 735*2^1452295-1 is not prime. Res64: 34F6B19D939693AC Time : 0.0 sec. user=mdettweiler [2017-04-21 10:36:19] 895*2^1452295-1 is not prime. Res64: 798CA91503D56476 Time : 0.0 sec. user=juhehe [2017-04-21 10:37:16] 933*2^1452295-1 is not prime. Res64: 95263ACFB6887472 Time : 0.0 sec. user=mdettweiler [2017-04-21 10:58:27] 951*2^1452295-1 is not prime. Res64: 563D929E2619E4ED Time : 0.0 sec. user=mdettweiler [2017-04-21 10:58:27] 717*2^1452296-1 is not prime. Res64: E4E30CB560693881 Time : 0.0 sec. user=mdettweiler [2017-04-21 10:58:28] 725*2^1452296-1 is not prime. Res64: 1C129DF330259248 Time : 0.0 sec. user=mdettweiler [2017-04-21 10:58:28] 875*2^1452296-1 is not prime. Res64: 2E6A66A6D7058DFB Time : 0.0 sec. user=mdettweiler [2017-04-21 10:58:29] 935*2^1452296-1 is not prime. Res64: 4EC772A21895BED2 Time : 0.0 sec. user=mdettweiler [2017-04-21 11:16:18] 963*2^1452296-1 is not prime. Res64: C05151F8449F515A Time : 0.0 sec. user=mdettweiler [2017-04-21 11:16:18] 699*2^1452297-1 is not prime. Res64: 2A10D6AF1CD0A3AC Time : 0.0 sec. user=mdettweiler [2017-04-21 11:16:19] 769*2^1452297-1 is not prime. Res64: BF2A86904BECE6AC Time : 0.0 sec. user=mdettweiler [2017-04-21 11:16:19] 819*2^1452297-1 is not prime. Res64: 0889D1F7C8953B1A Time : 0.0 sec. user=mdettweiler [2017-04-21 11:16:20] 861*2^1452297-1 is not prime. Res64: 37AEBEEE0958810C Time : 0.0 sec. user=juhehe [2017-04-21 11:16:24] 651*2^1452298-1 is not prime. Res64: 657C2EFF2630566D Time : 0.0 sec. user=mdettweiler [2017-04-21 11:20:50] 865*2^1452297-1 is not prime. Res64: 7E8A93BDEAB89BC1 Time : 0.0 sec. user=mdettweiler [2017-04-21 11:20:50] 909*2^1452297-1 is not prime. Res64: 68D8CDCD64B1359A Time : 0.0 sec. user=mdettweiler [2017-04-21 11:20:50] 603*2^1452298-1 is not prime. Res64: 021153CC1236FC00 Time : 0.0 sec. user=mdettweiler [2017-04-21 11:20:51] 645*2^1452298-1 is not prime. Res64: A3714D5CACF0C193 Time : 0.0 sec. user=mdettweiler [2017-04-21 11:20:51] 647*2^1452298-1 is not prime. Res64: EAC9812101BFF42D Time : 0.0 sec. user=mdettweiler [2017-04-21 11:43:02] 773*2^1452298-1 is not prime. Res64: 3C67BB960A6E0E77 Time : 0.0 sec. user=mdettweiler [2017-04-21 11:43:02] 831*2^1452298-1 is not prime. Res64: 687C995464AF6859 Time : 0.0 sec. user=mdettweiler [2017-04-21 11:43:03] 887*2^1452298-1 is not prime. Res64: F1FBC03A036B8711 Time : 0.0 sec. user=mdettweiler [2017-04-21 11:43:03] 891*2^1452298-1 is not prime. Res64: 0B06CBA988C90112 Time : 0.0 sec. user=mdettweiler [2017-04-21 11:43:04] 693*2^1452299-1 is not prime. Res64: 46B2797BAF76CF60 Time : 0.0 sec. user=mdettweiler [2017-04-21 12:00:52] 741*2^1452299-1 is not prime. Res64: 0FBF506BC2828BDB Time : 0.0 sec. user=mdettweiler [2017-04-21 12:00:54] 759*2^1452299-1 is not prime. Res64: 68844A6B2326AB2F Time : 0.0 sec. user=mdettweiler [2017-04-21 12:00:55] 855*2^1452299-1 is not prime. Res64: 27372637BEF7B603 Time : 0.0 sec. user=mdettweiler [2017-04-21 12:00:56] 859*2^1452299-1 is not prime. Res64: 9490F24319D0CC56 Time : 0.0 sec. user=mdettweiler [2017-04-21 12:00:57] 609*2^1452300-1 is not prime. Res64: 4EFDCFBB231E4BB4 Time : 0.0 sec. user=juhehe [2017-04-21 12:02:58] 773*2^1452300-1 is not prime. Res64: 1603A97FAFDEED81 Time : 0.0 sec. user=mdettweiler [2017-04-21 12:05:20] 633*2^1452300-1 is not prime. Res64: 7CEDDBE70B104D49 Time : 0.0 sec. user=mdettweiler [2017-04-21 12:05:21] 635*2^1452300-1 is not prime. Res64: 8E12B8E13D44EBD8 Time : 0.0 sec. user=mdettweiler [2017-04-21 12:05:23] 689*2^1452300-1 is not prime. Res64: 45AFE75429954904 Time : 0.0 sec. user=mdettweiler [2017-04-21 12:05:24] 723*2^1452300-1 is not prime. Res64: F4DF81089B93ED20 Time : 0.0 sec. user=mdettweiler [2017-04-21 12:05:25] 753*2^1452300-1 is not prime. Res64: 0081879D10194ECC Time : 0.0 sec. user=mdettweiler [2017-04-21 12:27:58] 777*2^1452300-1 is not prime. Res64: 91ED62028F2C72BE Time : 0.0 sec. user=mdettweiler [2017-04-21 12:27:59] 965*2^1452300-1 is not prime. Res64: EEDCAA7AFA87034E Time : 0.0 sec. user=mdettweiler [2017-04-21 12:27:59] 983*2^1452300-1 is not prime. Res64: 2A9CF2BA31F1BB07 Time : 0.0 sec. user=mdettweiler [2017-04-21 12:27:59] 645*2^1452301-1 is not prime. Res64: 1DAA0A854DDF2A0A Time : 0.0 sec. user=mdettweiler [2017-04-21 12:28:00] 757*2^1452301-1 is not prime. Res64: 0AEDC8B84990FC04 Time : 0.0 sec. user=mdettweiler [2017-04-21 12:46:04] 771*2^1452301-1 is not prime. Res64: CF76E8203F53A64E Time : 0.0 sec. user=mdettweiler [2017-04-21 12:46:05] 801*2^1452301-1 is not prime. Res64: 29DA2CF7644C025D Time : 0.0 sec. user=mdettweiler [2017-04-21 12:46:05] 871*2^1452301-1 is not prime. Res64: 596F7BAAAC7786E4 Time : 0.0 sec. user=mdettweiler [2017-04-21 12:46:05] 937*2^1452301-1 is not prime. Res64: 259737BA92E4FAC3 Time : 0.0 sec. user=mdettweiler [2017-04-21 12:46:06] 987*2^1452301-1 is not prime. Res64: 3EEEE518A0F02276 Time : 0.0 sec. user=mdettweiler [2017-04-21 12:50:23] 615*2^1452302-1 is not prime. Res64: B9A0958FF5A1474E Time : 0.0 sec. user=mdettweiler [2017-04-21 12:50:23] 743*2^1452302-1 is not prime. Res64: 758A138256DCE041 Time : 0.0 sec. user=mdettweiler [2017-04-21 12:50:24] 761*2^1452302-1 is not prime. Res64: 9AAD9388385CA513 Time : 0.0 sec. user=mdettweiler [2017-04-21 12:50:24] 771*2^1452302-1 is not prime. Res64: C101845151607121 Time : 0.0 sec. user=mdettweiler [2017-04-21 12:50:24] 867*2^1452302-1 is not prime. Res64: 05627EFEE96EE779 Time : 0.0 sec. user=mdettweiler [2017-04-21 13:12:29] 911*2^1452302-1 is not prime. Res64: 062C654E361F608D Time : 0.0 sec. user=mdettweiler [2017-04-21 13:12:30] 941*2^1452302-1 is not prime. Res64: 1E6487A0485B2B9C Time : 0.0 sec. user=mdettweiler [2017-04-21 13:12:30] 981*2^1452302-1 is not prime. Res64: F1BD3B7CF6187F5B Time : 0.0 sec. user=mdettweiler [2017-04-21 13:12:30] 625*2^1452303-1 is not prime. Res64: D5FD2E9637C2BA70 Time : 0.0 sec. user=mdettweiler [2017-04-21 13:12:31] 639*2^1452303-1 is not prime. Res64: 07BC50FAB8612BD4 Time : 0.0 sec. user=juhehe [2017-04-21 13:15:53] 675*2^1452303-1 is not prime. Res64: D829A10A5FF5F967 Time : 0.0 sec. user=mdettweiler [2017-04-21 13:30:35] 751*2^1452303-1 is not prime. Res64: 89A6ACEDD372F172 Time : 0.0 sec. user=mdettweiler [2017-04-21 13:30:35] 763*2^1452303-1 is not prime. Res64: F27804BBC5DBD4F6 Time : 0.0 sec. user=mdettweiler [2017-04-21 13:30:36] 823*2^1452303-1 is not prime. Res64: 0E5A10381BA9CC40 Time : 0.0 sec. user=mdettweiler [2017-04-21 13:30:36] 853*2^1452303-1 is not prime. Res64: 3CBEFBB145A3C971 Time : 0.0 sec. user=mdettweiler [2017-04-21 13:30:37] 861*2^1452303-1 is not prime. Res64: 24E9F862684B4BD9 Time : 0.0 sec. user=mdettweiler [2017-04-21 13:34:58] 895*2^1452303-1 is not prime. Res64: 0077E28D1DC7785B Time : 0.0 sec. user=mdettweiler [2017-04-21 13:34:58] 921*2^1452303-1 is not prime. Res64: B08E763491033609 Time : 0.0 sec. user=mdettweiler [2017-04-21 13:34:59] 961*2^1452303-1 is not prime. Res64: 6271D70A94466A71 Time : 0.0 sec. user=mdettweiler [2017-04-21 13:34:59] 969*2^1452303-1 is not prime. Res64: CB35A42003036508 Time : 0.0 sec. user=mdettweiler [2017-04-21 13:35:00] 645*2^1452304-1 is not prime. Res64: 8A868D7E3F9D0AC1 Time : 0.0 sec. user=mdettweiler [2017-04-21 13:57:08] 657*2^1452304-1 is not prime. Res64: FEF740B5A66F8081 Time : 0.0 sec. user=mdettweiler [2017-04-21 13:57:08] 765*2^1452304-1 is not prime. Res64: 5CF3229370D357C4 Time : 0.0 sec. user=mdettweiler [2017-04-21 13:57:09] 915*2^1452304-1 is not prime. Res64: 8FA5120943F6AF4D Time : 0.0 sec. user=mdettweiler [2017-04-21 13:57:09] 983*2^1452304-1 is not prime. Res64: 10AA1AB4CD8DD188 Time : 0.0 sec. user=mdettweiler [2017-04-21 13:57:10] 993*2^1452304-1 is not prime. Res64: 670C0FF167BDEDB6 Time : 0.0 sec. user=mdettweiler [2017-04-21 14:15:26] 705*2^1452305-1 is not prime. Res64: 8A4AC66DC85B1FAD Time : 0.0 sec. user=mdettweiler [2017-04-21 14:15:26] 735*2^1452306-1 is not prime. Res64: AEC1FFDFB1766BAA Time : 0.0 sec. user=mdettweiler [2017-04-21 14:15:26] 741*2^1452306-1 is not prime. Res64: 7ADE784422E61804 Time : 0.0 sec. user=mdettweiler [2017-04-21 14:15:27] 777*2^1452306-1 is not prime. Res64: EAA18DD433793296 Time : 0.0 sec. user=mdettweiler [2017-04-21 14:15:27] 807*2^1452306-1 is not prime. Res64: B62D9CF9B2196A1F Time : 0.0 sec. user=mdettweiler [2017-04-21 14:19:51] 861*2^1452306-1 is not prime. Res64: 68FF30E3F76ADB17 Time : 0.0 sec. user=mdettweiler [2017-04-21 14:19:51] 933*2^1452306-1 is not prime. Res64: B34E689EEB595020 Time : 0.0 sec. user=mdettweiler [2017-04-21 14:19:52] 601*2^1452307-1 is not prime. Res64: D33BAEB1CD4BA8AF Time : 0.0 sec. user=mdettweiler [2017-04-21 14:19:52] 615*2^1452307-1 is not prime. Res64: 156F87DB9FD4A38F Time : 0.0 sec. user=mdettweiler [2017-04-21 14:19:53] 631*2^1452307-1 is not prime. Res64: 9FBD388B3A133C98 Time : 0.0 sec. user=mdettweiler [2017-04-21 14:42:03] 645*2^1452307-1 is not prime. Res64: F296E26D55965374 Time : 0.0 sec. user=mdettweiler [2017-04-21 14:42:03] 673*2^1452307-1 is not prime. Res64: 7C88586E1F7AB8D5 Time : 0.0 sec. user=mdettweiler [2017-04-21 14:42:04] 693*2^1452307-1 is not prime. Res64: F885B4540065557A Time : 0.0 sec. user=mdettweiler [2017-04-21 14:42:04] 703*2^1452307-1 is not prime. Res64: A246DD667737D171 Time : 0.0 sec. user=mdettweiler [2017-04-21 14:42:04] 805*2^1452307-1 is not prime. Res64: EF7AAAC97759350E Time : 0.0 sec. user=mdettweiler [2017-04-21 15:00:23] 873*2^1452307-1 is not prime. Res64: EEE2E987CF5D117E Time : 0.0 sec. user=mdettweiler [2017-04-21 15:00:24] 931*2^1452307-1 is not prime. Res64: 77AD3BD3BD3AC8DF Time : 0.0 sec. user=mdettweiler [2017-04-21 15:00:25] 961*2^1452307-1 is not prime. Res64: AAA556AC29EB1512 Time : 0.0 sec. user=mdettweiler [2017-04-21 15:00:26] 647*2^1452308-1 is not prime. Res64: D2FEA29EE6A02AD3 Time : 0.0 sec. user=mdettweiler [2017-04-21 15:00:27] 689*2^1452308-1 is not prime. Res64: 7B81CC68678CE5FD Time : 0.0 sec. user=mdettweiler [2017-04-21 15:04:50] 735*2^1452308-1 is not prime. Res64: 1EAF8E3E0D1B435C Time : 0.0 sec. user=mdettweiler [2017-04-21 15:04:51] 767*2^1452308-1 is not prime. Res64: 84FB4FFE456F89D7 Time : 0.0 sec. user=mdettweiler [2017-04-21 15:04:52] 825*2^1452308-1 is not prime. Res64: ACBB43F55070CC26 Time : 0.0 sec. user=mdettweiler [2017-04-21 15:04:53] 843*2^1452308-1 is not prime. Res64: B117B7493CD17EC2 Time : 0.0 sec. user=mdettweiler [2017-04-21 15:04:54] 879*2^1452308-1 is not prime. Res64: 2661BA57E90FACE1 Time : 0.0 sec. user=juhehe [2017-04-21 15:15:58] 915*2^1452308-1 is not prime. Res64: 921214EE4069314C Time : 0.0 sec. user=mdettweiler [2017-04-21 15:28:04] 999*2^1452308-1 is not prime. Res64: 79C6691581D912FF Time : 0.0 sec. user=mdettweiler [2017-04-21 15:28:04] 747*2^1452309-1 is not prime. Res64: 7FE3BF269552B574 Time : 0.0 sec. user=mdettweiler [2017-04-21 15:28:05] 829*2^1452309-1 is not prime. Res64: 861EB4E1E2556CA3 Time : 0.0 sec. user=mdettweiler [2017-04-21 15:28:05] 877*2^1452309-1 is not prime. Res64: CC8BCDC207A5A70E Time : 0.0 sec. user=mdettweiler [2017-04-21 15:28:05] 635*2^1452310-1 is not prime. Res64: 0BF2CB75A7EFEE04 Time : 0.0 sec. user=mdettweiler [2017-04-21 15:46:59] 653*2^1452310-1 is not prime. Res64: 088F864B0C83131B Time : 0.0 sec. user=mdettweiler [2017-04-21 15:47:00] 741*2^1452310-1 is not prime. Res64: 86E5431E51AA16CC Time : 0.0 sec. user=mdettweiler [2017-04-21 15:47:00] 885*2^1452310-1 is not prime. Res64: 193170A791373B55 Time : 0.0 sec. user=mdettweiler [2017-04-21 15:47:01] 621*2^1452311-1 is not prime. Res64: 54919948A13E8C9C Time : 0.0 sec. user=mdettweiler [2017-04-21 15:47:01] 703*2^1452311-1 is not prime. Res64: 2F93ECD1FC4C4BB5 Time : 0.0 sec. user=mdettweiler [2017-04-21 15:51:10] 823*2^1452311-1 is not prime. Res64: 1780C290A5972183 Time : 0.0 sec. user=mdettweiler [2017-04-21 15:51:11] 855*2^1452311-1 is not prime. Res64: 8F9E8CF7E315DC8E Time : 0.0 sec. user=mdettweiler [2017-04-21 15:51:11] 901*2^1452311-1 is not prime. Res64: BEA7DBF5C7F2656D Time : 0.0 sec. user=mdettweiler [2017-04-21 15:51:11] 939*2^1452311-1 is not prime. Res64: 383874BAC2553713 Time : 0.0 sec. user=mdettweiler [2017-04-21 15:51:12] 949*2^1452311-1 is not prime. Res64: 8764A0C540C27C39 Time : 0.0 sec. user=mdettweiler [2017-04-21 16:13:07] 973*2^1452311-1 is not prime. Res64: A33AE74CDA936A4E Time : 0.0 sec. user=mdettweiler [2017-04-21 16:13:08] 615*2^1452312-1 is not prime. Res64: 1F3F9909B6AC083E Time : 0.0 sec. user=mdettweiler [2017-04-21 16:13:08] 627*2^1452312-1 is not prime. Res64: 464B2082B71AC019 Time : 0.0 sec. user=mdettweiler [2017-04-21 16:13:09] 689*2^1452312-1 is not prime. Res64: 332914555612FAA6 Time : 0.0 sec. user=mdettweiler [2017-04-21 16:13:09] 693*2^1452312-1 is not prime. Res64: 2A5FE0CA37BC30DD Time : 0.0 sec. user=mdettweiler [2017-04-21 16:31:34] 797*2^1452312-1 is not prime. Res64: 9A2A5BB9176A3D8D Time : 0.0 sec. user=mdettweiler [2017-04-21 16:31:34] 819*2^1452312-1 is not prime. Res64: C80F3E2797F7BCF2 Time : 0.0 sec. user=mdettweiler [2017-04-21 16:31:34] 825*2^1452312-1 is not prime. Res64: 4B5AE858FB2D65D8 Time : 0.0 sec. user=mdettweiler [2017-04-21 16:31:35] 863*2^1452312-1 is not prime. Res64: 0DFB810C4BF27538 Time : 0.0 sec. user=mdettweiler [2017-04-21 16:31:35] 915*2^1452312-1 is not prime. Res64: C8B9FE450EDBA437 Time : 0.0 sec. user=mdettweiler [2017-04-21 16:35:48] 917*2^1452312-1 is not prime. Res64: 083DC74CE7E49FB1 Time : 0.0 sec. user=mdettweiler [2017-04-21 16:35:48] 923*2^1452312-1 is not prime. Res64: 3B445FEC489D0F45 Time : 0.0 sec. user=mdettweiler [2017-04-21 16:35:48] 607*2^1452313-1 is not prime. Res64: C680FFFC93ABE571 Time : 0.0 sec. user=mdettweiler [2017-04-21 16:35:49] 847*2^1452313-1 is not prime. Res64: D15DD8269B66E74E Time : 0.0 sec. user=mdettweiler [2017-04-21 16:35:49] 957*2^1452313-1 is not prime. Res64: 838DBD9A2EC9F4B0 Time : 0.0 sec. user=mdettweiler [2017-04-21 16:57:52] 999*2^1452313-1 is not prime. Res64: 6F27E8AA1588CA6E Time : 0.0 sec. user=mdettweiler [2017-04-21 16:57:52] 605*2^1452314-1 is not prime. Res64: A8F2BEDB8DB287BE Time : 0.0 sec. user=mdettweiler [2017-04-21 16:57:53] 815*2^1452314-1 is not prime. Res64: 98344EE0E7617FDB Time : 0.0 sec. user=mdettweiler [2017-04-21 16:57:53] 945*2^1452314-1 is not prime. Res64: BD6559361088A41C Time : 0.0 sec. user=mdettweiler [2017-04-21 16:57:53] 871*2^1452315-1 is not prime. Res64: C16E9EAA7A37DE22 Time : 0.0 sec. user=mdettweiler [2017-04-21 17:16:05] 873*2^1452315-1 is not prime. Res64: CEC04CC6F139E446 Time : 0.0 sec. user=mdettweiler [2017-04-21 17:16:05] 657*2^1452316-1 is not prime. Res64: B1A9396457DD3857 Time : 0.0 sec. user=mdettweiler [2017-04-21 17:16:06] 759*2^1452316-1 is not prime. Res64: E21099E0E1EF4995 Time : 0.0 sec. user=mdettweiler [2017-04-21 17:16:06] 833*2^1452316-1 is not prime. Res64: 57EAD52CD8082F0B Time : 0.0 sec. user=mdettweiler [2017-04-21 17:16:07] 845*2^1452316-1 is not prime. Res64: 745C295589CDC166 Time : 0.0 sec. user=juhehe [2017-04-21 17:16:17] 957*2^1452316-1 is not prime. Res64: 24FC9274B319A7A7 Time : 0.0 sec. user=mdettweiler [2017-04-21 17:20:18] 855*2^1452316-1 is not prime. Res64: 6092A8543DD2812F Time : 0.0 sec. user=mdettweiler [2017-04-21 17:20:18] 857*2^1452316-1 is not prime. Res64: BB75C3F616E124B8 Time : 0.0 sec. user=mdettweiler [2017-04-21 17:20:18] 873*2^1452316-1 is not prime. Res64: B2C26F811EF24229 Time : 0.0 sec. user=mdettweiler [2017-04-21 17:20:19] 875*2^1452316-1 is not prime. Res64: 665B232A7C38922B Time : 0.0 sec. user=mdettweiler [2017-04-21 17:20:19] 933*2^1452316-1 is not prime. Res64: AB37EE452A3F1870 Time : 0.0 sec. user=mdettweiler [2017-04-21 17:42:27] 989*2^1452316-1 is not prime. Res64: F901473E6AE3BFD4 Time : 0.0 sec. user=mdettweiler [2017-04-21 17:42:27] 601*2^1452317-1 is not prime. Res64: 5A8F0A8D726A618B Time : 0.0 sec. user=mdettweiler [2017-04-21 17:42:27] 619*2^1452317-1 is not prime. Res64: 1AE365D0A78FEDFB Time : 0.0 sec. user=mdettweiler [2017-04-21 17:42:28] 631*2^1452317-1 is not prime. Res64: C1B0463CD2141FEA Time : 0.0 sec. user=mdettweiler [2017-04-21 17:42:28] 669*2^1452317-1 is not prime. Res64: EAE9CA264E88626F Time : 0.0 sec. user=mdettweiler [2017-04-21 18:00:41] 729*2^1452317-1 is not prime. Res64: DC6720E3F6919DA4 Time : 0.0 sec. user=mdettweiler [2017-04-21 18:00:42] 831*2^1452317-1 is not prime. Res64: DAE89EB8980AA949 Time : 0.0 sec. user=mdettweiler [2017-04-21 18:00:43] 837*2^1452317-1 is not prime. Res64: 420ACEF64ED91AC8 Time : 0.0 sec. user=mdettweiler [2017-04-21 18:00:44] 945*2^1452317-1 is not prime. Res64: 82107F5B7A8AB3DD Time : 0.0 sec. user=mdettweiler [2017-04-21 18:00:45] 957*2^1452317-1 is not prime. Res64: FB453AC7ECB0F070 Time : 0.0 sec. user=mdettweiler [2017-04-21 18:04:52] 663*2^1452318-1 is not prime. Res64: AE04155F84BCDFE1 Time : 0.0 sec. user=mdettweiler [2017-04-21 18:04:55] 683*2^1452318-1 is not prime. Res64: 9A43CBB11BD3E6F8 Time : 0.0 sec. user=mdettweiler [2017-04-21 18:04:56] 693*2^1452318-1 is not prime. Res64: 9272411509A11FE0 Time : 0.0 sec. user=mdettweiler [2017-04-21 18:04:58] 737*2^1452318-1 is not prime. Res64: A5040ADE35B11902 Time : 0.0 sec. user=mdettweiler [2017-04-21 18:05:00] 797*2^1452318-1 is not prime. Res64: D51CE332278FDF17 Time : 0.0 sec. user=mdettweiler [2017-04-21 18:26:57] 843*2^1452318-1 is not prime. Res64: 5A8101A54C339D41 Time : 0.0 sec. user=mdettweiler [2017-04-21 18:26:58] 893*2^1452318-1 is not prime. Res64: 9B828777D3EB40F4 Time : 0.0 sec. user=mdettweiler [2017-04-21 18:26:58] 603*2^1452319-1 is not prime. Res64: 393CCE4D3E1212F4 Time : 0.0 sec. user=mdettweiler [2017-04-21 18:26:58] 615*2^1452319-1 is not prime. Res64: 0ADA5F73DC47249E Time : 0.0 sec. user=mdettweiler [2017-04-21 18:26:59] 685*2^1452319-1 is not prime. Res64: 8A64570DB79CB186 Time : 0.0 sec. user=juhehe [2017-04-21 18:34:59] 705*2^1452319-1 is not prime. Res64: 605CEE6CAF61EA4A Time : 0.0 sec. user=mdettweiler [2017-04-21 18:45:15] 729*2^1452319-1 is not prime. Res64: 2D3945E2DF170D3F Time : 0.0 sec. user=mdettweiler [2017-04-21 18:45:15] 789*2^1452319-1 is not prime. Res64: 8591D7CBB7EACBAE Time : 0.0 sec. user=mdettweiler [2017-04-21 18:45:15] 811*2^1452319-1 is not prime. Res64: BFB3B6FD64D73E2C Time : 0.0 sec. user=mdettweiler [2017-04-21 18:45:16] 831*2^1452319-1 is not prime. Res64: 1061F95DC701A901 Time : 0.0 sec. user=mdettweiler [2017-04-21 18:45:16] 973*2^1452319-1 is not prime. Res64: 26533AC92E7C80C6 Time : 0.0 sec. user=mdettweiler [2017-04-21 18:49:37] 615*2^1452320-1 is not prime. Res64: DF49863EFBF25D9A Time : 0.0 sec. user=mdettweiler [2017-04-21 18:49:37] 665*2^1452320-1 is not prime. Res64: CD770895BB8E1ADB Time : 0.0 sec. user=mdettweiler [2017-04-21 18:49:37] 839*2^1452320-1 is not prime. Res64: 4CDEC9CCE624C8A7 Time : 0.0 sec. user=mdettweiler [2017-04-21 18:49:38] 875*2^1452320-1 is not prime. Res64: 4A75910B55BD3606 Time : 0.0 sec. user=mdettweiler [2017-04-21 18:49:38] 977*2^1452320-1 is not prime. Res64: 99DABBCDD6FBA9E5 Time : 0.0 sec. user=mdettweiler [2017-04-21 19:11:32] 995*2^1452320-1 is not prime. Res64: 2AB3368D14639ABB Time : 0.0 sec. user=mdettweiler [2017-04-21 19:11:33] 669*2^1452321-1 is not prime. Res64: 3FC54B019FF4F02C Time : 0.0 sec. user=mdettweiler [2017-04-21 19:11:33] 717*2^1452321-1 is not prime. Res64: 1E0D098C8FAF0DD3 Time : 0.0 sec. user=mdettweiler [2017-04-21 19:11:34] 747*2^1452321-1 is not prime. Res64: 07C6C26BBC303693 Time : 0.0 sec. user=mdettweiler [2017-04-21 19:11:34] 885*2^1452321-1 is not prime. Res64: 63ED568F21880020 Time : 0.0 sec. user=mdettweiler [2017-04-21 19:29:46] 681*2^1452322-1 is not prime. Res64: 30262345FDA5C2D9 Time : 0.0 sec. user=mdettweiler [2017-04-21 19:29:47] 695*2^1452322-1 is not prime. Res64: 9F237860152A910D Time : 0.0 sec. user=mdettweiler [2017-04-21 19:29:47] 855*2^1452322-1 is not prime. Res64: 04C6BA25C2DD66AC Time : 0.0 sec. user=mdettweiler [2017-04-21 19:29:47] 873*2^1452322-1 is not prime. Res64: B58DA5A838AE10A2 Time : 0.0 sec. user=mdettweiler [2017-04-21 19:29:48] 951*2^1452322-1 is not prime. Res64: 2DFF077C689B29EE Time : 0.0 sec. user=mdettweiler [2017-04-21 19:34:13] 983*2^1452322-1 is not prime. Res64: BE5D27344981698C Time : 0.0 sec. user=mdettweiler [2017-04-21 19:34:13] 987*2^1452322-1 is not prime. Res64: 341492DB99DAB7F1 Time : 0.0 sec. user=mdettweiler [2017-04-21 19:34:14] 609*2^1452323-1 is not prime. Res64: 5B0D0BB0F7F02809 Time : 0.0 sec. user=mdettweiler [2017-04-21 19:34:14] 663*2^1452323-1 is not prime. Res64: DAFC1C3430EC8261 Time : 0.0 sec. user=mdettweiler [2017-04-21 19:34:14] 921*2^1452323-1 is not prime. Res64: EA68F003C25896D4 Time : 0.0 sec. user=mdettweiler [2017-04-21 19:56:05] 705*2^1452324-1 is not prime. Res64: B703D1984E79A242 Time : 0.0 sec. user=mdettweiler [2017-04-21 19:56:05] 837*2^1452324-1 is not prime. Res64: 2D71F7AC2C536123 Time : 0.0 sec. user=mdettweiler [2017-04-21 19:56:05] 887*2^1452324-1 is not prime. Res64: DA3B04EE628C0F2D Time : 0.0 sec. user=mdettweiler [2017-04-21 19:56:05] 993*2^1452324-1 is not prime. Res64: C6D2CD8FD71A6FA0 Time : 0.0 sec. user=mdettweiler [2017-04-21 19:56:06] 751*2^1452325-1 is not prime. Res64: 2713C82B51BD935D Time : 0.0 sec. user=mdettweiler [2017-04-21 20:14:21] 799*2^1452325-1 is not prime. Res64: 474A9DB72B63DE62 Time : 0.0 sec. user=mdettweiler [2017-04-21 20:14:21] 855*2^1452325-1 is not prime. Res64: 5138947774160A9E Time : 0.0 sec. user=mdettweiler [2017-04-21 20:14:22] 897*2^1452325-1 is not prime. Res64: FFC163AFBAA532CF Time : 0.0 sec. user=mdettweiler [2017-04-21 20:14:22] 937*2^1452325-1 is not prime. Res64: 3BC685FE616C77DF Time : 0.0 sec. user=mdettweiler [2017-04-21 20:14:23] 743*2^1452326-1 is not prime. Res64: 2681FDA4BEC72916 Time : 0.0 sec. user=mdettweiler [2017-04-21 20:18:45] 773*2^1452326-1 is not prime. Res64: 07179D8CFD4CC5C7 Time : 0.0 sec. user=mdettweiler [2017-04-21 20:18:45] 825*2^1452326-1 is not prime. Res64: 813461D13EA31DA4 Time : 0.0 sec. user=mdettweiler [2017-04-21 20:18:45] 971*2^1452326-1 is not prime. Res64: 081B0BBCA6C12A04 Time : 0.0 sec. user=mdettweiler [2017-04-21 20:18:46] 993*2^1452326-1 is not prime. Res64: 38767F9EA4731021 Time : 0.0 sec. user=mdettweiler [2017-04-21 20:18:46] 633*2^1452327-1 is not prime. Res64: CE776BB914E71F99 Time : 0.0 sec. user=juhehe [2017-04-21 20:35:02] 661*2^1452327-1 is not prime. Res64: FE05C6CFAB23485B Time : 0.0 sec. user=mdettweiler [2017-04-21 20:41:05] 765*2^1452327-1 is not prime. Res64: E8C71D8B3ED5634C Time : 0.0 sec. user=mdettweiler [2017-04-21 20:41:05] 909*2^1452327-1 is not prime. Res64: AAD9DAFB56ACE5F1 Time : 0.0 sec. user=mdettweiler [2017-04-21 20:41:06] 949*2^1452327-1 is not prime. Res64: 6923A08259D1D914 Time : 0.0 sec. user=mdettweiler [2017-04-21 20:41:06] 605*2^1452328-1 is not prime. Res64: 7B2AD79D3BE6075A Time : 0.0 sec. user=mdettweiler [2017-04-21 20:41:06] 615*2^1452328-1 is not prime. Res64: 275E13B6B43220C3 Time : 0.0 sec. user=mdettweiler [2017-04-21 20:59:15] 777*2^1452328-1 is not prime. Res64: 591A2AF6962F5100 Time : 0.0 sec. user=mdettweiler [2017-04-21 20:59:16] 869*2^1452328-1 is not prime. Res64: F6CCF818B5652224 Time : 0.0 sec. user=mdettweiler [2017-04-21 20:59:16] 957*2^1452328-1 is not prime. Res64: 253AAB68812BDC9B Time : 0.0 sec. user=mdettweiler [2017-04-21 20:59:16] 959*2^1452328-1 is not prime. Res64: 718F5DEE050F29A0 Time : 0.0 sec. user=mdettweiler [2017-04-21 20:59:17] 989*2^1452328-1 is not prime. Res64: CEE97C3D3DA0F9F7 Time : 0.0 sec. user=mdettweiler [2017-04-21 21:03:47] 699*2^1452329-1 is not prime. Res64: 5CB44315471B378E Time : 0.0 sec. user=mdettweiler [2017-04-21 21:03:48] 721*2^1452329-1 is not prime. Res64: 809579D572442E60 Time : 0.0 sec. user=mdettweiler [2017-04-21 21:03:50] 789*2^1452329-1 is not prime. Res64: 6109C11B5E4AC78C Time : 0.0 sec. user=mdettweiler [2017-04-21 21:03:51] 865*2^1452329-1 is not prime. Res64: CA5D0B05F0DA0C4D Time : 0.0 sec. user=mdettweiler [2017-04-21 21:03:52] 931*2^1452329-1 is not prime. Res64: 6660934C97BB2D2A Time : 0.0 sec. user=mdettweiler [2017-04-21 21:25:35] 987*2^1452329-1 is not prime. Res64: 0C1B45D3B7619A5E Time : 0.0 sec. user=mdettweiler [2017-04-21 21:25:35] 695*2^1452330-1 is not prime. Res64: 41C355A2F4129C31 Time : 0.0 sec. user=mdettweiler [2017-04-21 21:25:36] 765*2^1452330-1 is not prime. Res64: 6C7D3C59EC0E0775 Time : 0.0 sec. user=mdettweiler [2017-04-21 21:25:36] 825*2^1452330-1 is not prime. Res64: 7810149E1D1E5450 Time : 0.0 sec. user=mdettweiler [2017-04-21 21:25:37] 971*2^1452330-1 is not prime. Res64: A5E25DAD2474B19B Time : 0.0 sec. user=mdettweiler [2017-04-21 21:43:45] 631*2^1452331-1 is not prime. Res64: 345682E1E2C04B59 Time : 0.0 sec. user=mdettweiler [2017-04-21 21:43:45] 645*2^1452331-1 is not prime. Res64: E2EC657ADDB59CDF Time : 0.0 sec. user=mdettweiler [2017-04-21 21:43:46] 691*2^1452331-1 is not prime. Res64: E959154900E927DF Time : 0.0 sec. user=mdettweiler [2017-04-21 21:43:46] 693*2^1452331-1 is not prime. Res64: D5C8C51DF975835B Time : 0.0 sec. user=mdettweiler [2017-04-21 21:43:47] 741*2^1452331-1 is not prime. Res64: 7CC482216B226032 Time : 0.0 sec. user=mdettweiler [2017-04-21 21:48:49] 855*2^1452331-1 is not prime. Res64: 02C2687A395806E5 Time : 0.0 sec. user=mdettweiler [2017-04-21 21:48:49] 883*2^1452331-1 is not prime. Res64: 02572F2A69FBC45B Time : 0.0 sec. user=mdettweiler [2017-04-21 21:48:51] 973*2^1452331-1 is not prime. Res64: E1993AB4AE12DF4A Time : 0.0 sec. user=mdettweiler [2017-04-21 21:48:51] 657*2^1452332-1 is not prime. Res64: 4B852F4F13958079 Time : 0.0 sec. user=mdettweiler [2017-04-21 21:48:52] 665*2^1452332-1 is not prime. Res64: 45F28311584453A4 Time : 0.0 sec. user=mdettweiler [2017-04-21 22:10:13] 753*2^1452332-1 is not prime. Res64: 4654C9A767A7A567 Time : 0.0 sec. user=mdettweiler [2017-04-21 22:10:13] 837*2^1452332-1 is not prime. Res64: 95606A4A9B44CA2A Time : 0.0 sec. user=mdettweiler [2017-04-21 22:10:14] 963*2^1452332-1 is not prime. Res64: 24E319C187092EE7 Time : 0.0 sec. user=mdettweiler [2017-04-21 22:10:14] 609*2^1452333-1 is not prime. Res64: B8C06FB946EE0526 Time : 0.0 sec. user=mdettweiler [2017-04-21 22:10:15] 651*2^1452333-1 is not prime. Res64: 7EBD39A1178BCA15 Time : 0.0 sec. user=mdettweiler [2017-04-21 22:28:18] 747*2^1452333-1 is not prime. Res64: 1B5D5A23E1A7C379 Time : 0.0 sec. user=mdettweiler [2017-04-21 22:28:18] 805*2^1452333-1 is not prime. Res64: 4AB3DE41A39E1F27 Time : 0.0 sec. user=mdettweiler [2017-04-21 22:28:19] 849*2^1452333-1 is not prime. Res64: 74CFDD992ACE3094 Time : 0.0 sec. user=mdettweiler [2017-04-21 22:28:19] 871*2^1452333-1 is not prime. Res64: 4A3062975ACD1A47 Time : 0.0 sec. user=mdettweiler [2017-04-21 22:28:20] 891*2^1452333-1 is not prime. Res64: A144A6CF6CB32DD7 Time : 0.0 sec. user=mdettweiler [2017-04-21 22:33:27] 921*2^1452333-1 is not prime. Res64: 5EEA4C4835BE00B1 Time : 0.0 sec. user=mdettweiler [2017-04-21 22:33:27] 999*2^1452333-1 is not prime. Res64: FDE8476FF4ABC1A6 Time : 0.0 sec. user=mdettweiler [2017-04-21 22:33:28] 605*2^1452334-1 is not prime. Res64: 0B10F57154A0845B Time : 0.0 sec. user=mdettweiler [2017-04-21 22:33:28] 855*2^1452334-1 is not prime. Res64: 407972F47C01FBA5 Time : 0.0 sec. user=mdettweiler [2017-04-21 22:33:29] 945*2^1452334-1 is not prime. Res64: 2F72DB77C803FBA9 Time : 0.0 sec. user=juhehe [2017-04-21 22:36:17] 993*2^1452334-1 is not prime. Res64: 2B9C1ED27F30890A Time : 0.0 sec. user=mdettweiler [2017-04-21 22:54:50] 1001*2^1452334-1 is not prime. Res64: 0C583B3E46DF7674 Time : 0.0 sec. user=mdettweiler [2017-04-21 22:54:51] 645*2^1452335-1 is not prime. Res64: 3EA73AF313DF9201 Time : 0.0 sec. user=mdettweiler [2017-04-21 22:54:51] 655*2^1452335-1 is not prime. Res64: 482EB5417DD07F74 Time : 0.0 sec. user=mdettweiler [2017-04-21 22:54:51] 661*2^1452335-1 is not prime. Res64: 4523CA1150AA92C6 Time : 0.0 sec. user=mdettweiler [2017-04-21 22:54:52] 679*2^1452335-1 is not prime. Res64: 3044E0B42B8AFB1B Time : 0.0 sec. user=mdettweiler [2017-04-21 23:12:51] 739*2^1452335-1 is not prime. Res64: 0793FED5CD803F21 Time : 0.0 sec. user=mdettweiler [2017-04-21 23:12:52] 913*2^1452335-1 is not prime. Res64: DF6C53D83146F0CA Time : 0.0 sec. user=mdettweiler [2017-04-21 23:12:52] 675*2^1452336-1 is not prime. Res64: 8974438B0A861065 Time : 0.0 sec. user=mdettweiler [2017-04-21 23:12:53] 705*2^1452336-1 is not prime. Res64: 299140BB7922F476 Time : 0.0 sec. user=mdettweiler [2017-04-21 23:12:53] 747*2^1452336-1 is not prime. Res64: 1FE524CEDFFF092B Time : 0.0 sec. user=mdettweiler [2017-04-21 23:17:58] 843*2^1452336-1 is not prime. Res64: 117AD85BF19A8DEC Time : 0.0 sec. user=mdettweiler [2017-04-21 23:17:58] 927*2^1452336-1 is not prime. Res64: 05FE996F1ECE9145 Time : 0.0 sec. user=mdettweiler [2017-04-21 23:17:59] 983*2^1452336-1 is not prime. Res64: CE822B1594FF5D2C Time : 0.0 sec. user=mdettweiler [2017-04-21 23:17:59] 993*2^1452336-1 is not prime. Res64: A1B111D59596C7FC Time : 0.0 sec. user=mdettweiler [2017-04-21 23:18:00] 829*2^1452337-1 is not prime. Res64: 901F534A0F3DBF0C Time : 0.0 sec. user=mdettweiler [2017-04-21 23:39:33] 861*2^1452337-1 is not prime. Res64: 111AF8D1CAFE092C Time : 0.0 sec. user=mdettweiler [2017-04-21 23:39:33] 931*2^1452337-1 is not prime. Res64: A7A5EB231BB26B1B Time : 0.0 sec. user=mdettweiler [2017-04-21 23:39:33] 937*2^1452337-1 is not prime. Res64: F215D972502A1EF7 Time : 0.0 sec. user=mdettweiler [2017-04-21 23:39:34] 979*2^1452337-1 is not prime. Res64: 2418D7F682680C03 Time : 0.0 sec. user=mdettweiler [2017-04-21 23:39:34] 981*2^1452337-1 is not prime. Res64: 75F6EBD624E9BB59 Time : 0.0 sec. user=mdettweiler [2017-04-21 23:57:24] 791*2^1452338-1 is not prime. Res64: 78B82BFEB943CF45 Time : 0.0 sec. user=mdettweiler [2017-04-21 23:57:25] 1001*2^1452338-1 is not prime. Res64: BA4C52B743EC3CD0 Time : 0.0 sec. user=mdettweiler [2017-04-21 23:57:25] 703*2^1452339-1 is not prime. Res64: 630C682C4236792B Time : 0.0 sec. user=mdettweiler [2017-04-21 23:57:26] 769*2^1452339-1 is not prime. Res64: D11F03AE64C59D40 Time : 0.0 sec. user=mdettweiler [2017-04-21 23:57:26] 795*2^1452339-1 is not prime. Res64: B99D395DFF340696 Time : 0.0 sec.