user=mdettweiler [2013-05-01 00:01:59] 755*2^1245542-1 is not prime. Res64: 9831DC04B76BE33E Time : 0.0 sec. user=mdettweiler [2013-05-01 00:01:59] 825*2^1245542-1 is not prime. Res64: 0284E3FB19B889BF Time : 0.0 sec. user=mdettweiler [2013-05-01 00:11:07] 735*2^1245543-1 is not prime. Res64: 33CDB407695CFDCF Time : 0.0 sec. user=mdettweiler [2013-05-01 00:11:08] 879*2^1245543-1 is not prime. Res64: CDCBC8879B13009D Time : 0.0 sec. user=mdettweiler [2013-05-01 00:19:46] 605*2^1245544-1 is not prime. Res64: E1ACC2F7DC6CF5AC Time : 0.0 sec. user=mdettweiler [2013-05-01 00:19:47] 629*2^1245544-1 is not prime. Res64: 7A81C00A2FC92DE6 Time : 0.0 sec. user=mdettweiler [2013-05-01 00:28:58] 645*2^1245544-1 is not prime. Res64: 38F069FAADCB05E7 Time : 0.0 sec. user=mdettweiler [2013-05-01 00:28:58] 657*2^1245544-1 is not prime. Res64: 680009C76C6C91E0 Time : 0.0 sec. user=mdettweiler [2013-05-01 00:37:34] 827*2^1245544-1 is not prime. Res64: 399774639C779586 Time : 0.0 sec. user=mdettweiler [2013-05-01 00:37:35] 875*2^1245544-1 is not prime. Res64: 1C62951D2ABFAEE2 Time : 0.0 sec. user=mdettweiler [2013-05-01 00:46:46] 899*2^1245544-1 is not prime. Res64: 07F80E8E58F00D52 Time : 0.0 sec. user=mdettweiler [2013-05-01 00:46:46] 927*2^1245544-1 is not prime. Res64: 84E89412F8D511F6 Time : 0.0 sec. user=mdettweiler [2013-05-01 00:56:12] 989*2^1245544-1 is not prime. Res64: FDA9260560418AFE Time : 0.0 sec. user=mdettweiler [2013-05-01 00:56:13] 741*2^1245545-1 is not prime. Res64: 02F191A133E16B9A Time : 0.0 sec. user=mdettweiler [2013-05-01 01:04:35] 937*2^1245545-1 is not prime. Res64: FC10A52E8AF8ED5B Time : 0.0 sec. user=mdettweiler [2013-05-01 01:04:35] 957*2^1245545-1 is not prime. Res64: 35C4194D1746E344 Time : 0.0 sec. user=mdettweiler [2013-05-01 01:14:01] 641*2^1245546-1 is not prime. Res64: FD74E694DAA7A524 Time : 0.0 sec. user=mdettweiler [2013-05-01 01:14:01] 735*2^1245546-1 is not prime. Res64: EA1A1E589FEB3367 Time : 0.0 sec. user=mdettweiler [2013-05-01 01:22:29] 767*2^1245546-1 is not prime. Res64: 2255C2137EDE33EF Time : 0.0 sec. user=mdettweiler [2013-05-01 01:22:29] 843*2^1245546-1 is not prime. Res64: EB243D3B70BC53BB Time : 0.0 sec. user=mdettweiler [2013-05-01 01:31:52] 873*2^1245546-1 is not prime. Res64: 3EFF4FB3D73E5078 Time : 0.0 sec. user=mdettweiler [2013-05-01 01:31:52] 947*2^1245546-1 is not prime. Res64: 763E15AE67E6D304 Time : 0.0 sec. user=mdettweiler [2013-05-01 01:40:25] 603*2^1245547-1 is not prime. Res64: A19CAA148178AD3B Time : 0.0 sec. user=mdettweiler [2013-05-01 01:40:25] 859*2^1245547-1 is not prime. Res64: A70973B62E1E500D Time : 0.0 sec. user=mdettweiler [2013-05-01 01:49:42] 891*2^1245547-1 is not prime. Res64: F566AA7EF3DAAEBE Time : 0.0 sec. user=mdettweiler [2013-05-01 01:49:43] 985*2^1245547-1 is not prime. Res64: B664F42D39222EFD Time : 0.0 sec. user=mdettweiler [2013-05-01 01:58:15] 677*2^1245548-1 is not prime. Res64: 519F05504EEC2B70 Time : 0.0 sec. user=mdettweiler [2013-05-01 01:58:15] 725*2^1245548-1 is not prime. Res64: 2B5FD98629A4447A Time : 0.0 sec. user=mdettweiler [2013-05-01 02:07:35] 743*2^1245548-1 is not prime. Res64: 27800F12BABCA87D Time : 0.0 sec. user=mdettweiler [2013-05-01 02:07:36] 813*2^1245548-1 is not prime. Res64: CEBCD3C57DACBB27 Time : 0.0 sec. user=mdettweiler [2013-05-01 02:16:06] 869*2^1245548-1 is not prime. Res64: 5F0B5D5709508C4F Time : 0.0 sec. user=mdettweiler [2013-05-01 02:16:06] 893*2^1245548-1 is not prime. Res64: BD20FB556A697F00 Time : 0.0 sec. user=mdettweiler [2013-05-01 02:25:23] 927*2^1245548-1 is not prime. Res64: FC885877E2344942 Time : 0.0 sec. user=mdettweiler [2013-05-01 02:25:24] 987*2^1245548-1 is not prime. Res64: 005D78CC84D0A1AD Time : 0.0 sec. user=mdettweiler [2013-05-01 02:33:36] 657*2^1245549-1 is not prime. Res64: 3DD9A0BE6AF908C6 Time : 0.0 sec. user=mdettweiler [2013-05-01 02:33:37] 789*2^1245549-1 is not prime. Res64: 3CE1BD6F3F7D6E52 Time : 0.0 sec. user=mdettweiler [2013-05-01 02:43:34] 865*2^1245549-1 is not prime. Res64: B26FFB91C6B4E1FA Time : 0.0 sec. user=mdettweiler [2013-05-01 02:43:36] 651*2^1245550-1 is not prime. Res64: C07A5B2E4AC8438A Time : 0.0 sec. user=mdettweiler [2013-05-01 02:51:12] 681*2^1245550-1 is not prime. Res64: 25D50D7484935E41 Time : 0.0 sec. user=mdettweiler [2013-05-01 02:51:13] 833*2^1245550-1 is not prime. Res64: 2284BBD96653C434 Time : 0.0 sec. user=mdettweiler [2013-05-01 03:01:46] 923*2^1245550-1 is not prime. Res64: 5C75FA77273ECA02 Time : 0.0 sec. user=mdettweiler [2013-05-01 03:01:47] 957*2^1245550-1 is not prime. Res64: E0590753F45271B3 Time : 0.0 sec. user=mdettweiler [2013-05-01 03:09:30] 1001*2^1245550-1 is not prime. Res64: E476468A68CD1959 Time : 0.0 sec. user=mdettweiler [2013-05-01 03:09:31] 909*2^1245551-1 is not prime. Res64: B7D9839695A2DC16 Time : 0.0 sec. user=mdettweiler [2013-05-01 03:19:37] 939*2^1245551-1 is not prime. Res64: 781EDF0DE54D0E37 Time : 0.0 sec. user=mdettweiler [2013-05-01 03:19:38] 943*2^1245551-1 is not prime. Res64: C4CAC6278E63B998 Time : 0.0 sec. user=mdettweiler [2013-05-01 03:26:59] 955*2^1245551-1 is not prime. Res64: 0CC9F707D84B47B3 Time : 0.0 sec. user=mdettweiler [2013-05-01 03:27:00] 627*2^1245552-1 is not prime. Res64: 2538E23EF2FACCFA Time : 0.0 sec. user=mdettweiler [2013-05-01 03:37:08] 635*2^1245552-1 is not prime. Res64: 53FB5FD25D131CD2 Time : 0.0 sec. user=mdettweiler [2013-05-01 03:37:09] 879*2^1245552-1 is not prime. Res64: 05F6DFD07062207D Time : 0.0 sec. user=mdettweiler [2013-05-01 03:44:27] 983*2^1245552-1 is not prime. Res64: 5C1B148729FB60A0 Time : 0.0 sec. user=mdettweiler [2013-05-01 03:44:27] 681*2^1245553-1 is not prime. Res64: FAFE08F8A92B1ECB Time : 0.0 sec. user=mdettweiler [2013-05-01 03:54:41] 685*2^1245553-1 is not prime. Res64: EADF8D6FF41ED050 Time : 0.0 sec. user=mdettweiler [2013-05-01 03:54:41] 687*2^1245553-1 is not prime. Res64: 1471E897EAFC5126 Time : 0.0 sec. user=mdettweiler [2013-05-01 04:01:55] 915*2^1245553-1 is not prime. Res64: 6C0A5327BBC58B7E Time : 0.0 sec. user=mdettweiler [2013-05-01 04:01:56] 605*2^1245554-1 is not prime. Res64: 93CAFEB7EE2B2AD9 Time : 0.0 sec. user=mdettweiler [2013-05-01 04:12:09] 641*2^1245554-1 is not prime. Res64: 17B97E6E4D720E7B Time : 0.0 sec. user=mdettweiler [2013-05-01 04:12:10] 657*2^1245554-1 is not prime. Res64: 90870082D55179DC Time : 0.0 sec. user=mdettweiler [2013-05-01 04:19:24] 665*2^1245554-1 is not prime. Res64: 9438FE21BD027B88 Time : 0.0 sec. user=mdettweiler [2013-05-01 04:19:24] 705*2^1245554-1 is not prime. Res64: 0659D4D4FB40C334 Time : 0.0 sec. user=mdettweiler [2013-05-01 04:29:41] 743*2^1245554-1 is not prime. Res64: 85FEAA3310F87EFE Time : 0.0 sec. user=mdettweiler [2013-05-01 04:29:42] 767*2^1245554-1 is not prime. Res64: 247B847F802A11D0 Time : 0.0 sec. user=mdettweiler [2013-05-01 04:36:51] 825*2^1245554-1 is not prime. Res64: F60D0ECF13CBC20A Time : 0.0 sec. user=mdettweiler [2013-05-01 04:36:52] 833*2^1245554-1 is not prime. Res64: B38345E86A808F28 Time : 0.0 sec. user=mdettweiler [2013-05-01 04:47:09] 851*2^1245554-1 is not prime. Res64: AA47DDAA1E4C7063 Time : 0.0 sec. user=mdettweiler [2013-05-01 04:47:10] 935*2^1245554-1 is not prime. Res64: 2908BDF08B922F4C Time : 0.0 sec. user=mdettweiler [2013-05-01 04:54:19] 983*2^1245554-1 is not prime. Res64: 000B573CABC8AA55 Time : 0.0 sec. user=mdettweiler [2013-05-01 04:54:19] 619*2^1245555-1 is not prime. Res64: 34695142C3E1835B Time : 0.0 sec. user=mdettweiler [2013-05-01 05:04:43] 663*2^1245555-1 is not prime. Res64: BC0D906C896EBBCD Time : 0.0 sec. user=mdettweiler [2013-05-01 05:04:44] 669*2^1245555-1 is not prime. Res64: D9A01D039937F4A9 Time : 0.0 sec. user=mdettweiler [2013-05-01 05:11:46] 675*2^1245555-1 is not prime. Res64: 1D2450BF07373B72 Time : 0.0 sec. user=mdettweiler [2013-05-01 05:11:47] 793*2^1245555-1 is not prime. Res64: 2C3249CA4C2B1959 Time : 0.0 sec. user=mdettweiler [2013-05-01 05:22:18] 963*2^1245555-1 is not prime. Res64: 6EF863979A6DD1D9 Time : 0.0 sec. user=mdettweiler [2013-05-01 05:22:19] 783*2^1245556-1 is not prime. Res64: B5108E95D7D4BB23 Time : 0.0 sec. user=mdettweiler [2013-05-01 05:29:15] 785*2^1245556-1 is not prime. Res64: 0ABFCF54E0408FBC Time : 0.0 sec. user=mdettweiler [2013-05-01 05:29:16] 833*2^1245556-1 is not prime. Res64: D6F2F23A83C91D31 Time : 0.0 sec. user=mdettweiler [2013-05-01 05:39:48] 903*2^1245556-1 is not prime. Res64: 5A1D13303BBC8A28 Time : 0.0 sec. user=mdettweiler [2013-05-01 05:39:48] 923*2^1245556-1 is not prime. Res64: 18D4ACB4C9C8E974 Time : 0.0 sec. user=mdettweiler [2013-05-01 05:46:43] 953*2^1245556-1 is not prime. Res64: 74951F57B51D0A27 Time : 0.0 sec. user=mdettweiler [2013-05-01 05:46:44] 975*2^1245556-1 is not prime. Res64: A1C6360231730768 Time : 0.0 sec. user=mdettweiler [2013-05-01 05:57:15] 987*2^1245556-1 is not prime. Res64: E2FAF117062EDC92 Time : 0.0 sec. user=mdettweiler [2013-05-01 05:57:15] 697*2^1245557-1 is not prime. Res64: B94AF51ACEA6165C Time : 0.0 sec. user=mdettweiler [2013-05-01 06:04:11] 801*2^1245557-1 is not prime. Res64: 65F0EE28D5BBBAD2 Time : 0.0 sec. user=mdettweiler [2013-05-01 06:04:12] 879*2^1245557-1 is not prime. Res64: B64855ECCA3F2332 Time : 0.0 sec. user=mdettweiler [2013-05-01 06:14:41] 937*2^1245557-1 is not prime. Res64: CCF200C60D166139 Time : 0.0 sec. user=mdettweiler [2013-05-01 06:14:42] 949*2^1245557-1 is not prime. Res64: 5167855065ED705F Time : 0.0 sec. user=mdettweiler [2013-05-01 06:21:51] 665*2^1245558-1 is not prime. Res64: 398E7C20118B35E9 Time : 0.0 sec. user=mdettweiler [2013-05-01 06:21:51] 747*2^1245558-1 is not prime. Res64: CB300F56DA26A50F Time : 0.0 sec. user=mdettweiler [2013-05-01 06:32:13] 755*2^1245558-1 is not prime. Res64: E435A80330D3A552 Time : 0.0 sec. user=mdettweiler [2013-05-01 06:32:13] 795*2^1245558-1 is not prime. Res64: 25EE9E0618A2E647 Time : 0.0 sec. user=mdettweiler [2013-05-01 06:40:08] 863*2^1245558-1 is not prime. Res64: 1758042D34747A49 Time : 0.0 sec. user=mdettweiler [2013-05-01 06:40:08] 1001*2^1245558-1 is not prime. Res64: 1183EF74500D2BB2 Time : 0.0 sec. user=mdettweiler [2013-05-01 06:49:41] 645*2^1245559-1 is not prime. Res64: D162D5762F89A18A Time : 0.0 sec. user=mdettweiler [2013-05-01 06:49:42] 793*2^1245559-1 is not prime. Res64: 69F76488A6BC9694 Time : 0.0 sec. user=mdettweiler [2013-05-01 06:58:26] 919*2^1245559-1 is not prime. Res64: 9977F11AD6C6568E Time : 0.0 sec. user=mdettweiler [2013-05-01 06:58:26] 999*2^1245559-1 is not prime. Res64: 47586232F2DDE96A Time : 0.0 sec. user=juhehe [2013-05-01 06:59:31] 759*2^1245557-1 is not prime. Res64: 454AE96E1E7CB7F2 Time : 0.0 sec. user=mdettweiler [2013-05-01 07:07:10] 633*2^1245560-1 is not prime. Res64: 16E3D5557FE2583A Time : 0.0 sec. user=mdettweiler [2013-05-01 07:07:11] 845*2^1245560-1 is not prime. Res64: 14FBADFFD8A67517 Time : 0.0 sec. user=mdettweiler [2013-05-01 07:15:54] 899*2^1245560-1 is not prime. Res64: 6DA416DBAC092280 Time : 0.0 sec. user=mdettweiler [2013-05-01 07:15:56] 983*2^1245560-1 is not prime. Res64: 1A8EF8F195C3DC17 Time : 0.0 sec. user=mdettweiler [2013-05-01 07:24:39] 735*2^1245561-1 is not prime. Res64: 185D08AD614672C8 Time : 0.0 sec. user=mdettweiler [2013-05-01 07:24:39] 847*2^1245561-1 is not prime. Res64: 0D2A941D396ABE4F Time : 0.0 sec. user=mdettweiler [2013-05-01 07:34:16] 865*2^1245561-1 is not prime. Res64: DF6A5620103A2321 Time : 0.0 sec. user=mdettweiler [2013-05-01 07:34:17] 997*2^1245561-1 is not prime. Res64: 962E1BEEFCA0A633 Time : 0.0 sec. user=mdettweiler [2013-05-01 07:42:07] 621*2^1245562-1 is not prime. Res64: B1DB6DD8FFF4E97C Time : 0.0 sec. user=mdettweiler [2013-05-01 07:42:08] 645*2^1245562-1 is not prime. Res64: 7D8B5F71BFCB6166 Time : 0.0 sec. user=mdettweiler [2013-05-01 07:51:43] 731*2^1245562-1 is not prime. Res64: 92F3073FA218408E Time : 0.0 sec. user=mdettweiler [2013-05-01 07:51:44] 917*2^1245562-1 is not prime. Res64: 56147E2CDC9E549E Time : 0.0 sec. user=mdettweiler [2013-05-01 07:59:35] 947*2^1245562-1 is not prime. Res64: 2D2A0E68534398BF Time : 0.0 sec. user=mdettweiler [2013-05-01 07:59:36] 975*2^1245562-1 is not prime. Res64: 13304048FF778E0D Time : 0.0 sec. user=juhehe [2013-05-01 08:05:34] 639*2^1245561-1 is not prime. Res64: 0BA34172BE153194 Time : 0.0 sec. user=mdettweiler [2013-05-01 08:09:11] 621*2^1245563-1 is not prime. Res64: 3A1144839E3B07FD Time : 0.0 sec. user=mdettweiler [2013-05-01 08:09:12] 685*2^1245563-1 is not prime. Res64: 250D1B452ABA5785 Time : 0.0 sec. user=mdettweiler [2013-05-01 08:17:03] 745*2^1245563-1 is not prime. Res64: 2C169E2220198C86 Time : 0.0 sec. user=mdettweiler [2013-05-01 08:17:04] 801*2^1245563-1 is not prime. Res64: FD959D857023C3A4 Time : 0.0 sec. user=mdettweiler [2013-05-01 08:26:39] 871*2^1245563-1 is not prime. Res64: 8C199E6DAB229486 Time : 0.0 sec. user=mdettweiler [2013-05-01 08:26:39] 939*2^1245563-1 is not prime. Res64: 0BB77465D3B18156 Time : 0.0 sec. user=mdettweiler [2013-05-01 08:34:33] 693*2^1245564-1 is not prime. Res64: 93C1DDB44B650155 Time : 0.0 sec. user=mdettweiler [2013-05-01 08:34:34] 705*2^1245564-1 is not prime. Res64: 4256BE52F5CDD68D Time : 0.0 sec. user=mdettweiler [2013-05-01 08:44:05] 753*2^1245564-1 is not prime. Res64: 2F1C8FCD3BF6F0D1 Time : 0.0 sec. user=mdettweiler [2013-05-01 08:44:05] 773*2^1245564-1 is not prime. Res64: 845405EEB7AB7A47 Time : 0.0 sec. user=mdettweiler [2013-05-01 08:52:02] 795*2^1245564-1 is not prime. Res64: EEE251F56D79F661 Time : 0.0 sec. user=mdettweiler [2013-05-01 08:52:02] 825*2^1245564-1 is not prime. Res64: 139746795A24580B Time : 0.0 sec. user=mdettweiler [2013-05-01 09:01:33] 887*2^1245564-1 is not prime. Res64: B6E1C55F9938DF36 Time : 0.0 sec. user=mdettweiler [2013-05-01 09:01:34] 899*2^1245564-1 is not prime. Res64: 6559DFA496CD6FBC Time : 0.0 sec. user=mdettweiler [2013-05-01 09:09:29] 905*2^1245564-1 is not prime. Res64: B7CD20B842C82E2C Time : 0.0 sec. user=mdettweiler [2013-05-01 09:09:31] 957*2^1245564-1 is not prime. Res64: 2D8C547FFD3BC675 Time : 0.0 sec. user=mdettweiler [2013-05-01 09:19:01] 983*2^1245564-1 is not prime. Res64: B3B66976C495D1AA Time : 0.0 sec. user=mdettweiler [2013-05-01 09:19:01] 609*2^1245565-1 is not prime. Res64: E95EBA53C4B0ED9B Time : 0.0 sec. user=mdettweiler [2013-05-01 09:27:03] 937*2^1245565-1 is not prime. Res64: 965F2AAA62459A50 Time : 0.0 sec. user=mdettweiler [2013-05-01 09:27:03] 939*2^1245565-1 is not prime. Res64: 3C638FBC85111EED Time : 0.0 sec. user=mdettweiler [2013-05-01 09:38:06] 987*2^1245565-1 is not prime. Res64: A3C2366EF653C642 Time : 0.0 sec. user=mdettweiler [2013-05-01 09:38:07] 997*2^1245565-1 is not prime. Res64: 068B7A0E6161D1D4 Time : 0.0 sec. user=mdettweiler [2013-05-01 09:44:31] 827*2^1245566-1 is not prime. Res64: BF98F0A0EA81370A Time : 0.0 sec. user=mdettweiler [2013-05-01 09:44:32] 867*2^1245566-1 is not prime. Res64: 5C8C4EFF3F350DB5 Time : 0.0 sec. user=mdettweiler [2013-05-01 09:55:35] 887*2^1245566-1 is not prime. Res64: 4B68219A086E015D Time : 0.0 sec. user=mdettweiler [2013-05-01 09:55:35] 625*2^1245567-1 is not prime. Res64: 3D5FEA130C6FD277 Time : 0.0 sec. user=mdettweiler [2013-05-01 10:02:00] 735*2^1245567-1 is not prime. Res64: C9F86A11EF3DD98B Time : 0.0 sec. user=mdettweiler [2013-05-01 10:02:02] 765*2^1245567-1 is not prime. Res64: 4A93EBB723407C2F Time : 0.0 sec. user=mdettweiler [2013-05-01 10:13:03] 775*2^1245567-1 is not prime. Res64: EB2C3BA7EB6728D5 Time : 0.0 sec. user=mdettweiler [2013-05-01 10:13:04] 901*2^1245567-1 is not prime. Res64: 6C67405454601A6B Time : 0.0 sec. user=mdettweiler [2013-05-01 10:19:44] 945*2^1245567-1 is not prime. Res64: D69A597372027B6A Time : 0.0 sec. user=mdettweiler [2013-05-01 10:19:44] 951*2^1245567-1 is not prime. Res64: BF36DDE4424FC52F Time : 0.0 sec. user=mdettweiler [2013-05-01 10:30:33] 615*2^1245568-1 is not prime. Res64: 007D7E887012518C Time : 0.0 sec. user=mdettweiler [2013-05-01 10:30:34] 623*2^1245568-1 is not prime. Res64: EEE94C00E7C98849 Time : 0.0 sec. user=mdettweiler [2013-05-01 10:37:16] 635*2^1245568-1 is not prime. Res64: 515A01D4705FEC3E Time : 0.0 sec. user=mdettweiler [2013-05-01 10:37:17] 723*2^1245568-1 is not prime. Res64: 35549952605D11E9 Time : 0.0 sec. user=mdettweiler [2013-05-01 10:48:51] 995*2^1245568-1 is not prime. Res64: 13F1BA3CDA7D8BF1 Time : 0.0 sec. user=mdettweiler [2013-05-01 10:48:52] 747*2^1245569-1 is not prime. Res64: 3264BF3BB23C8091 Time : 0.0 sec. user=mdettweiler [2013-05-01 10:54:43] 909*2^1245569-1 is not prime. Res64: 7695904888A16688 Time : 0.0 sec. user=mdettweiler [2013-05-01 10:54:43] 985*2^1245569-1 is not prime. Res64: 5D2CB86C1AF11232 Time : 0.0 sec. user=mdettweiler [2013-05-01 11:06:19] 627*2^1245570-1 is not prime. Res64: DD1E1D9CE7AA54F4 Time : 0.0 sec. user=mdettweiler [2013-05-01 11:06:19] 717*2^1245570-1 is not prime. Res64: 6A6ED28E4A423B9F Time : 0.0 sec. user=mdettweiler [2013-05-01 11:12:11] 747*2^1245570-1 is not prime. Res64: 4CFC91C77980EB0C Time : 0.0 sec. user=mdettweiler [2013-05-01 11:12:12] 791*2^1245570-1 is not prime. Res64: AA46905BC74284C9 Time : 0.0 sec. user=mdettweiler [2013-05-01 11:23:51] 851*2^1245570-1 is not prime. Res64: 5B2F4CC75B718DDD Time : 0.0 sec. user=mdettweiler [2013-05-01 11:23:51] 915*2^1245570-1 is not prime. Res64: 3CA0013E7AFFBDA4 Time : 0.0 sec. user=mdettweiler [2013-05-01 11:29:40] 921*2^1245570-1 is not prime. Res64: 3AD41BE5DE119F8B Time : 0.0 sec. user=mdettweiler [2013-05-01 11:29:40] 703*2^1245571-1 is not prime. Res64: FC49826904ABD907 Time : 0.0 sec. user=mdettweiler [2013-05-01 11:42:10] 885*2^1245571-1 is not prime. Res64: E8B6C55EA7E2576F Time : 0.0 sec. user=mdettweiler [2013-05-01 11:42:11] 999*2^1245571-1 is not prime. Res64: A2FACFE3A15457B9 Time : 0.0 sec. user=mdettweiler [2013-05-01 11:47:07] 603*2^1245572-1 is not prime. Res64: 0D0620796463D43B Time : 0.0 sec. user=mdettweiler [2013-05-01 11:47:07] 635*2^1245572-1 is not prime. Res64: A52101FD3B2343D4 Time : 0.0 sec. user=mdettweiler [2013-05-01 11:59:39] 797*2^1245572-1 is not prime. Res64: 577230C761D65BED Time : 0.0 sec. user=mdettweiler [2013-05-01 11:59:39] 873*2^1245572-1 is not prime. Res64: 84A53D7CD87818E3 Time : 0.0 sec. user=mdettweiler [2013-05-01 12:04:34] 691*2^1245573-1 is not prime. Res64: 7F13199E231498B5 Time : 0.0 sec. user=mdettweiler [2013-05-01 12:04:35] 751*2^1245573-1 is not prime. Res64: 715337FA71DC7D9F Time : 0.0 sec. user=mdettweiler [2013-05-01 12:17:06] 805*2^1245573-1 is not prime. Res64: 23B8F930C0BF1BDB Time : 0.0 sec. user=mdettweiler [2013-05-01 12:17:07] 867*2^1245573-1 is not prime. Res64: 79CC66422D8C1EC7 Time : 0.0 sec. user=mdettweiler [2013-05-01 12:22:02] 885*2^1245573-1 is not prime. Res64: D88C247573B39471 Time : 0.0 sec. user=mdettweiler [2013-05-01 12:22:02] 889*2^1245573-1 is not prime. Res64: 13D3E90A44BE2C00 Time : 0.0 sec. user=mdettweiler [2013-05-01 12:34:37] 985*2^1245573-1 is not prime. Res64: 032D2AC94523F28C Time : 0.0 sec. user=mdettweiler [2013-05-01 12:34:37] 605*2^1245574-1 is not prime. Res64: 86B8B7A21154D71B Time : 0.0 sec. user=mdettweiler [2013-05-01 12:39:28] 657*2^1245574-1 is not prime. Res64: 61F7007767A6BF7A Time : 0.0 sec. user=mdettweiler [2013-05-01 12:39:29] 663*2^1245574-1 is not prime. Res64: FAAB6BAF3782C9D2 Time : 0.0 sec. user=mdettweiler [2013-05-01 12:52:05] 695*2^1245574-1 is not prime. Res64: 4495D9E32CE76814 Time : 0.0 sec. user=mdettweiler [2013-05-01 12:52:05] 915*2^1245574-1 is not prime. Res64: D5A2988D116ACDBC Time : 0.0 sec. user=mdettweiler [2013-05-01 12:56:55] 981*2^1245574-1 is not prime. Res64: 353562FDFEAE2AF6 Time : 0.0 sec. user=mdettweiler [2013-05-01 12:56:56] 643*2^1245575-1 is not prime. Res64: 00301BE42360D802 Time : 0.0 sec. user=mdettweiler [2013-05-01 13:09:32] 693*2^1245575-1 is not prime. Res64: F49BDA852E7E07C7 Time : 0.0 sec. user=mdettweiler [2013-05-01 13:09:34] 739*2^1245575-1 is not prime. Res64: E262F1CAB7EE88EB Time : 0.0 sec. user=mdettweiler [2013-05-01 13:14:23] 799*2^1245575-1 is not prime. Res64: 0FCCE28AF5746CC3 Time : 0.0 sec. user=mdettweiler [2013-05-01 13:14:23] 819*2^1245575-1 is not prime. Res64: 7623AA808A53FC4A Time : 0.0 sec. user=mdettweiler [2013-05-01 13:27:05] 885*2^1245575-1 is not prime. Res64: 3E376306F29AF1CC Time : 0.0 sec. user=mdettweiler [2013-05-01 13:27:06] 889*2^1245575-1 is not prime. Res64: EDBA2A14024897AE Time : 0.0 sec. user=mdettweiler [2013-05-01 13:33:29] 991*2^1245575-1 is not prime. Res64: 60FF72DC6E1DCB44 Time : 0.0 sec. user=mdettweiler [2013-05-01 13:33:29] 999*2^1245575-1 is not prime. Res64: 5AFE6DCBA0DD5496 Time : 0.0 sec. user=mdettweiler [2013-05-01 13:44:38] 789*2^1245576-1 is not prime. Res64: BBAE6F5FF75EEDB7 Time : 0.0 sec. user=mdettweiler [2013-05-01 13:44:38] 873*2^1245576-1 is not prime. Res64: 016E24D5EA60AA68 Time : 0.0 sec. user=mdettweiler [2013-05-01 13:50:56] 923*2^1245576-1 is not prime. Res64: A0ACF432AD2BC9E2 Time : 0.0 sec. user=mdettweiler [2013-05-01 13:50:57] 945*2^1245576-1 is not prime. Res64: C8DC4CFF92D70A23 Time : 0.0 sec. user=mdettweiler [2013-05-01 14:02:06] 769*2^1245577-1 is not prime. Res64: 44C374BDD6AC40F4 Time : 0.0 sec. user=mdettweiler [2013-05-01 14:02:07] 771*2^1245577-1 is not prime. Res64: 7C34EABC63E7AA2F Time : 0.0 sec. user=mdettweiler [2013-05-01 14:08:23] 807*2^1245577-1 is not prime. Res64: A4E81FE78B77ABD2 Time : 0.0 sec. user=mdettweiler [2013-05-01 14:08:24] 885*2^1245577-1 is not prime. Res64: D69545A91184634A Time : 0.0 sec. user=mdettweiler [2013-05-01 14:19:39] 889*2^1245577-1 is not prime. Res64: FF4E7577D9C44A7B Time : 0.0 sec. user=mdettweiler [2013-05-01 14:19:40] 909*2^1245577-1 is not prime. Res64: 12FE2C0464054F0F Time : 0.0 sec. user=mdettweiler [2013-05-01 14:26:04] 635*2^1245578-1 is not prime. Res64: 28772D04F0A4A5B4 Time : 0.0 sec. user=mdettweiler [2013-05-01 14:26:04] 705*2^1245578-1 is not prime. Res64: 73F9EDD497C750AF Time : 0.0 sec. user=mdettweiler [2013-05-01 14:37:24] 827*2^1245578-1 is not prime. Res64: 46D0B12A80564E6F Time : 0.0 sec. user=mdettweiler [2013-05-01 14:37:25] 861*2^1245578-1 is not prime. Res64: 45519609ED54789F Time : 0.0 sec. user=mdettweiler [2013-05-01 14:43:51] 971*2^1245578-1 is not prime. Res64: D7D11FD5C3432F8C Time : 0.0 sec. user=mdettweiler [2013-05-01 14:43:51] 649*2^1245579-1 is not prime. Res64: B447683CB80C4600 Time : 0.0 sec. user=mdettweiler [2013-05-01 14:55:37] 775*2^1245579-1 is not prime. Res64: 6DA08D779DF40673 Time : 0.0 sec. user=mdettweiler [2013-05-01 14:55:38] 861*2^1245579-1 is not prime. Res64: 2ABEFAFE75FEF654 Time : 0.0 sec. user=mdettweiler [2013-05-01 15:02:26] 609*2^1245580-1 is not prime. Res64: 4C7113785A6FADEC Time : 0.0 sec. user=mdettweiler [2013-05-01 15:02:27] 687*2^1245580-1 is not prime. Res64: DBF1A4B3F24BDFDF Time : 0.0 sec. user=mdettweiler [2013-05-01 15:13:30] 717*2^1245580-1 is not prime. Res64: 6450E248024FC8B4 Time : 0.0 sec. user=mdettweiler [2013-05-01 15:13:30] 797*2^1245580-1 is not prime. Res64: 47CB27A2BBB72B95 Time : 0.0 sec. user=mdettweiler [2013-05-01 15:20:14] 863*2^1245580-1 is not prime. Res64: 5263A1D46E9E0EA9 Time : 0.0 sec. user=mdettweiler [2013-05-01 15:20:14] 875*2^1245580-1 is not prime. Res64: DBC03A4421A69BEE Time : 0.0 sec. user=mdettweiler [2013-05-01 15:31:09] 927*2^1245580-1 is not prime. Res64: 42DE2DCCA67434B0 Time : 0.0 sec. user=mdettweiler [2013-05-01 15:31:09] 959*2^1245580-1 is not prime. Res64: 2A2915B794D5BFD7 Time : 0.0 sec. user=mdettweiler [2013-05-01 15:37:54] 601*2^1245581-1 is not prime. Res64: B3B1FBD325A0B9C5 Time : 0.0 sec. user=mdettweiler [2013-05-01 15:37:55] 651*2^1245581-1 is not prime. Res64: AA004E08A945F362 Time : 0.0 sec. user=mdettweiler [2013-05-01 15:48:48] 685*2^1245581-1 is not prime. Res64: 89A862FEF061BDDB Time : 0.0 sec. user=mdettweiler [2013-05-01 15:48:49] 747*2^1245581-1 is not prime. Res64: 1CD3B3CDB5EEB0A5 Time : 0.0 sec. user=mdettweiler [2013-05-01 15:55:33] 861*2^1245581-1 is not prime. Res64: B2463143B78F05EA Time : 0.0 sec. user=mdettweiler [2013-05-01 15:55:33] 907*2^1245581-1 is not prime. Res64: F2BFD438DA02498F Time : 0.0 sec. user=mdettweiler [2013-05-01 16:06:37] 967*2^1245581-1 is not prime. Res64: F766E18E89B3CF38 Time : 0.0 sec. user=mdettweiler [2013-05-01 16:06:38] 677*2^1245582-1 is not prime. Res64: DD5BA74F5C5EC563 Time : 0.0 sec. user=mdettweiler [2013-05-01 16:13:39] 705*2^1245582-1 is not prime. Res64: D85F8230B9C8579E Time : 0.0 sec. user=mdettweiler [2013-05-01 16:13:40] 873*2^1245582-1 is not prime. Res64: 9E1890CA2323839F Time : 0.0 sec. user=mdettweiler [2013-05-01 16:25:01] 663*2^1245583-1 is not prime. Res64: EE97A5892854A89B Time : 0.0 sec. user=mdettweiler [2013-05-01 16:25:01] 703*2^1245583-1 is not prime. Res64: 916906C3DAFDCCCE Time : 0.0 sec. user=mdettweiler [2013-05-01 16:32:05] 709*2^1245583-1 is not prime. Res64: BED79AC45719860D Time : 0.0 sec. user=mdettweiler [2013-05-01 16:32:05] 813*2^1245583-1 is not prime. Res64: FBEAF584AA8332B8 Time : 0.0 sec. user=mdettweiler [2013-05-01 16:43:14] 849*2^1245583-1 is not prime. Res64: F685FDA1831D47B2 Time : 0.0 sec. user=mdettweiler [2013-05-01 16:43:14] 859*2^1245583-1 is not prime. Res64: 545466B50EE5F261 Time : 0.0 sec. user=mdettweiler [2013-05-01 16:50:01] 813*2^1245584-1 is not prime. Res64: D0952B832EFEF592 Time : 0.0 sec. user=mdettweiler [2013-05-01 16:50:02] 843*2^1245584-1 is not prime. Res64: 1AF742F9994F964F Time : 0.0 sec. user=mdettweiler [2013-05-01 17:00:52] 855*2^1245584-1 is not prime. Res64: B825F49C61F7858E Time : 0.0 sec. user=mdettweiler [2013-05-01 17:00:53] 627*2^1245585-1 is not prime. Res64: EC9831F648F60293 Time : 0.0 sec. user=mdettweiler [2013-05-01 17:07:39] 705*2^1245585-1 is not prime. Res64: C5BDECA70CA4CE92 Time : 0.0 sec. user=mdettweiler [2013-05-01 17:07:40] 759*2^1245585-1 is not prime. Res64: 32410BD75F1AF0EF Time : 0.0 sec. user=mdettweiler [2013-05-01 17:18:51] 781*2^1245585-1 is not prime. Res64: CCD830B1187C09A1 Time : 0.0 sec. user=mdettweiler [2013-05-01 17:18:51] 789*2^1245585-1 is not prime. Res64: 4005E5862A78F39D Time : 0.0 sec. user=mdettweiler [2013-05-01 17:25:29] 805*2^1245585-1 is not prime. Res64: D7951436EFCA1A90 Time : 0.0 sec. user=mdettweiler [2013-05-01 17:25:29] 877*2^1245585-1 is not prime. Res64: E5F2D7EE430E77C8 Time : 0.0 sec. user=mdettweiler [2013-05-01 17:37:30] 997*2^1245585-1 is not prime. Res64: F9CBD3D9752A5AE3 Time : 0.0 sec. user=mdettweiler [2013-05-01 17:37:31] 603*2^1245586-1 is not prime. Res64: 8013A631887A9349 Time : 0.0 sec. user=mdettweiler [2013-05-01 17:43:15] 647*2^1245586-1 is not prime. Res64: 4FFD2D6203F27654 Time : 0.0 sec. user=mdettweiler [2013-05-01 17:43:16] 713*2^1245586-1 is not prime. Res64: FE6CFE7206F4DCB9 Time : 0.0 sec. user=mdettweiler [2013-05-01 17:55:16] 723*2^1245586-1 is not prime. Res64: 6677AA51E5B814EA Time : 0.0 sec. user=mdettweiler [2013-05-01 17:55:17] 783*2^1245586-1 is not prime. Res64: B0A294739AAF5A18 Time : 0.0 sec. user=mdettweiler [2013-05-01 18:01:02] 887*2^1245586-1 is not prime. Res64: 74697D5AEE696BC6 Time : 0.0 sec. user=mdettweiler [2013-05-01 18:01:04] 911*2^1245586-1 is not prime. Res64: 2EBA509381DB46A5 Time : 0.0 sec. user=mdettweiler [2013-05-01 18:13:01] 633*2^1245587-1 is not prime. Res64: FC34125B85BE9FC9 Time : 0.0 sec. user=mdettweiler [2013-05-01 18:13:01] 645*2^1245587-1 is not prime. Res64: 92367B97783E96C9 Time : 0.0 sec. user=mdettweiler [2013-05-01 18:18:55] 685*2^1245587-1 is not prime. Res64: C5AB9DF0A2769F9C Time : 0.0 sec. user=mdettweiler [2013-05-01 18:18:56] 861*2^1245587-1 is not prime. Res64: CE0BB9C053586158 Time : 0.0 sec. user=mdettweiler [2013-05-01 18:30:43] 939*2^1245587-1 is not prime. Res64: E41D9A5CED3D013B Time : 0.0 sec. user=mdettweiler [2013-05-01 18:30:43] 963*2^1245587-1 is not prime. Res64: 31BA6E9CC62AF200 Time : 0.0 sec. user=mdettweiler [2013-05-01 18:36:34] 973*2^1245587-1 is not prime. Res64: 512A4E79690CB4E2 Time : 0.0 sec. user=mdettweiler [2013-05-01 18:36:34] 735*2^1245588-1 is not prime. Res64: 5570BFF8C958D516 Time : 0.0 sec. user=mdettweiler [2013-05-01 18:48:22] 773*2^1245588-1 is not prime. Res64: 6ADD9709D844A06E Time : 0.0 sec. user=mdettweiler [2013-05-01 18:48:22] 825*2^1245588-1 is not prime. Res64: 8B9EE36013F04878 Time : 0.0 sec. user=mdettweiler [2013-05-01 18:54:10] 899*2^1245588-1 is not prime. Res64: D2E2154DF6E16EAA Time : 0.0 sec. user=mdettweiler [2013-05-01 18:54:10] 601*2^1245589-1 is not prime. Res64: 9E14E381F4866A1D Time : 0.0 sec. user=mdettweiler [2013-05-01 19:05:59] 619*2^1245589-1 is not prime. Res64: CE7A858B273CD8E3 Time : 0.0 sec. user=mdettweiler [2013-05-01 19:06:00] 625*2^1245589-1 is not prime. Res64: 5E9D96E5950282AA Time : 0.0 sec. user=mdettweiler [2013-05-01 19:11:49] 681*2^1245589-1 is not prime. Res64: A1E801E64EF03DD8 Time : 0.0 sec. user=mdettweiler [2013-05-01 19:11:50] 799*2^1245589-1 is not prime. Res64: 472FAC2AFF8D4705 Time : 0.0 sec. user=mdettweiler [2013-05-01 19:23:44] 819*2^1245589-1 is not prime. Res64: 3B50919387BB235A Time : 0.0 sec. user=mdettweiler [2013-05-01 19:23:44] 831*2^1245589-1 is not prime. Res64: 3C84A3E9E2E829B8 Time : 0.0 sec. user=mdettweiler [2013-05-01 19:29:33] 945*2^1245589-1 is not prime. Res64: F78A67160158809E Time : 0.0 sec. user=mdettweiler [2013-05-01 19:29:34] 743*2^1245590-1 is not prime. Res64: AA3D79BE6B4B1608 Time : 0.0 sec. user=mdettweiler [2013-05-01 19:41:32] 761*2^1245590-1 is not prime. Res64: 4FD93108713C09A4 Time : 0.0 sec. user=mdettweiler [2013-05-01 19:41:33] 791*2^1245590-1 is not prime. Res64: A2D45F0F5B3584E3 Time : 0.0 sec. user=mdettweiler [2013-05-01 19:47:23] 861*2^1245590-1 is not prime. Res64: 38646A4169E4EA4A Time : 0.0 sec. user=mdettweiler [2013-05-01 19:47:24] 887*2^1245590-1 is not prime. Res64: 7E96F2B2A477B959 Time : 0.0 sec. user=mdettweiler [2013-05-01 19:59:21] 945*2^1245590-1 is not prime. Res64: C660A356D097CAAA Time : 0.0 sec. user=mdettweiler [2013-05-01 19:59:21] 625*2^1245591-1 is not prime. Res64: 3AB8C1DA8F4C736A Time : 0.0 sec. user=mdettweiler [2013-05-01 20:05:12] 649*2^1245591-1 is not prime. Res64: 9925A15E6AAD0970 Time : 0.0 sec. user=mdettweiler [2013-05-01 20:05:13] 669*2^1245591-1 is not prime. Res64: CE76BE023A05A60D Time : 0.0 sec. user=mdettweiler [2013-05-01 20:17:12] 679*2^1245591-1 is not prime. Res64: 33559428A4848FC7 Time : 0.0 sec. user=mdettweiler [2013-05-01 20:17:13] 865*2^1245591-1 is not prime. Res64: CE3E1788334A5ED4 Time : 0.0 sec. user=mdettweiler [2013-05-01 20:23:05] 895*2^1245591-1 is not prime. Res64: 9DF6A7214FDA27A9 Time : 0.0 sec. user=mdettweiler [2013-05-01 20:23:06] 943*2^1245591-1 is not prime. Res64: 22A885FEECA4A354 Time : 0.0 sec. user=mdettweiler [2013-05-01 20:35:03] 961*2^1245591-1 is not prime. Res64: B783149CDC8DB04D Time : 0.0 sec. user=mdettweiler [2013-05-01 20:35:04] 629*2^1245592-1 is not prime. Res64: DEDF85F582F5811C Time : 0.0 sec. user=mdettweiler [2013-05-01 20:40:53] 645*2^1245592-1 is not prime. Res64: 3B955F31698E4090 Time : 0.0 sec. user=mdettweiler [2013-05-01 20:40:54] 675*2^1245592-1 is not prime. Res64: B1416FA4C21F44BF Time : 0.0 sec. user=mdettweiler [2013-05-01 20:52:57] 759*2^1245592-1 is not prime. Res64: 142F9BAD2432D612 Time : 0.0 sec. user=mdettweiler [2013-05-01 20:52:57] 827*2^1245592-1 is not prime. Res64: 7D425625ACCEC981 Time : 0.0 sec. user=mdettweiler [2013-05-01 20:58:44] 627*2^1245593-1 is not prime. Res64: 63B6501561E70742 Time : 0.0 sec. user=mdettweiler [2013-05-01 20:58:44] 697*2^1245593-1 is not prime. Res64: EDCAED87DEE5B31E Time : 0.0 sec. user=mdettweiler [2013-05-01 21:10:49] 715*2^1245593-1 is not prime. Res64: 28AEFFE9B11312EC Time : 0.0 sec. user=mdettweiler [2013-05-01 21:10:50] 769*2^1245593-1 is not prime. Res64: A5859B7413828402 Time : 0.0 sec. user=mdettweiler [2013-05-01 21:16:36] 771*2^1245593-1 is not prime. Res64: 811EC93D6858F4F7 Time : 0.0 sec. user=mdettweiler [2013-05-01 21:16:37] 787*2^1245593-1 is not prime. Res64: 2752162340CC3659 Time : 0.0 sec. user=mdettweiler [2013-05-01 21:28:44] 795*2^1245593-1 is not prime. Res64: 1ED7DB08ED5708BE Time : 0.0 sec. user=mdettweiler [2013-05-01 21:28:46] 811*2^1245593-1 is not prime. Res64: EFC8B69A3924D763 Time : 0.0 sec. user=mdettweiler [2013-05-01 21:34:32] 635*2^1245594-1 is not prime. Res64: 3E70B7D1C3189D07 Time : 0.0 sec. user=mdettweiler [2013-05-01 21:34:33] 683*2^1245594-1 is not prime. Res64: 960B33CD74CFD658 Time : 0.0 sec. user=mdettweiler [2013-05-01 21:46:38] 731*2^1245594-1 is not prime. Res64: D611EB6825C33F6B Time : 0.0 sec. user=mdettweiler [2013-05-01 21:46:38] 837*2^1245594-1 is not prime. Res64: 6481F1436B32DE5F Time : 0.0 sec. user=mdettweiler [2013-05-01 21:52:36] 851*2^1245594-1 is not prime. Res64: 7AEF6D3EC2BA9646 Time : 0.0 sec. user=mdettweiler [2013-05-01 21:52:37] 875*2^1245594-1 is not prime. Res64: D20C85051643F9C1 Time : 0.0 sec. user=mdettweiler [2013-05-01 22:04:39] 941*2^1245594-1 is not prime. Res64: DC9F99CE5AC3B8CA Time : 0.0 sec. user=mdettweiler [2013-05-01 22:04:40] 651*2^1245595-1 is not prime. Res64: 1D0F94CF7E4EE55C Time : 0.0 sec. user=mdettweiler [2013-05-01 22:10:34] 741*2^1245595-1 is not prime. Res64: DD5D26C2DA99E4FD Time : 0.0 sec. user=mdettweiler [2013-05-01 22:10:35] 771*2^1245595-1 is not prime. Res64: E17E2EB0B2F795FD Time : 0.0 sec. user=mdettweiler [2013-05-01 22:22:29] 783*2^1245595-1 is not prime. Res64: 30781F981B2F1072 Time : 0.0 sec. user=mdettweiler [2013-05-01 22:22:30] 895*2^1245595-1 is not prime. Res64: 33688210975F29F3 Time : 0.0 sec. user=mdettweiler [2013-05-01 22:28:21] 919*2^1245595-1 is not prime. Res64: AB316DEECE0E3C4C Time : 0.0 sec. user=mdettweiler [2013-05-01 22:28:22] 939*2^1245595-1 is not prime. Res64: 03345ED6D8D57852 Time : 0.0 sec. user=mdettweiler [2013-05-01 22:40:29] 951*2^1245595-1 is not prime. Res64: 2AC0946CDDF37AB2 Time : 0.0 sec. user=mdettweiler [2013-05-01 22:40:30] 669*2^1245596-1 is not prime. Res64: 3D568D8305348F5B Time : 0.0 sec. user=mdettweiler [2013-05-01 22:46:08] 693*2^1245596-1 is not prime. Res64: 2B6B76AE3B441CB9 Time : 0.0 sec. user=mdettweiler [2013-05-01 22:46:08] 897*2^1245596-1 is not prime. Res64: D1C4119EC65215A7 Time : 0.0 sec. user=mdettweiler [2013-05-01 22:58:11] 983*2^1245596-1 is not prime. Res64: BD79702CECCB78AE Time : 0.0 sec. user=mdettweiler [2013-05-01 22:58:11] 649*2^1245597-1 is not prime. Res64: 1A71588EF7D3F481 Time : 0.0 sec. user=mdettweiler [2013-05-01 23:03:46] 675*2^1245597-1 is not prime. Res64: 4FD56FA69519B5B0 Time : 0.0 sec. user=mdettweiler [2013-05-01 23:03:47] 699*2^1245597-1 is not prime. Res64: 2D544A771E51F1F0 Time : 0.0 sec. user=mdettweiler [2013-05-01 23:15:37] 777*2^1245597-1 is not prime. Res64: 02065BDEDCF6FA18 Time : 0.0 sec. user=mdettweiler [2013-05-01 23:15:38] 831*2^1245597-1 is not prime. Res64: 6DB01EC5629A67B6 Time : 0.0 sec. user=mdettweiler [2013-05-01 23:21:27] 895*2^1245597-1 is not prime. Res64: 8B07F32DF93D70DA Time : 0.0 sec. user=mdettweiler [2013-05-01 23:21:27] 833*2^1245598-1 is not prime. Res64: 6B50CD4C74B41353 Time : 0.0 sec. user=mdettweiler [2013-05-01 23:33:03] 863*2^1245598-1 is not prime. Res64: E09D1D93AE788921 Time : 0.0 sec. user=mdettweiler [2013-05-01 23:33:04] 891*2^1245598-1 is not prime. Res64: FFC9B1062D337473 Time : 0.0 sec. user=mdettweiler [2013-05-01 23:38:56] 951*2^1245598-1 is not prime. Res64: E8E2E9E28B0EF542 Time : 0.0 sec. user=mdettweiler [2013-05-01 23:38:57] 655*2^1245599-1 is not prime. Res64: B3914EC791DC7CF9 Time : 0.0 sec. user=mdettweiler [2013-05-01 23:50:33] 711*2^1245599-1 is not prime. Res64: 60F78797D6AAB74E Time : 0.0 sec. user=mdettweiler [2013-05-01 23:50:34] 741*2^1245599-1 is not prime. Res64: A5BA93C33474618E Time : 0.0 sec. user=mdettweiler [2013-05-01 23:56:50] 825*2^1245599-1 is not prime. Res64: 66EF791FA1548A5E Time : 0.0 sec. user=mdettweiler [2013-05-01 23:56:50] 939*2^1245599-1 is not prime. Res64: 8C53722771C6AF23 Time : 0.0 sec.