user=mdettweiler [2016-03-16 00:01:39] 953*2^1423202-1 is not prime. Res64: 0BD90C40D758ED19 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:01:39] 615*2^1423203-1 is not prime. Res64: 27C84EDB32EF9DA7 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:01:39] 663*2^1423203-1 is not prime. Res64: C26710B422E70B42 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:01:40] 819*2^1423203-1 is not prime. Res64: F0899E57C8719BE4 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:01:40] 871*2^1423203-1 is not prime. Res64: 22141FBE8E92C637 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:03:17] 895*2^1423203-1 is not prime. Res64: D8ACA59A51456EFD Time : 0.0 sec. user=mdettweiler [2016-03-16 00:03:18] 687*2^1423204-1 is not prime. Res64: 98912D8008167F76 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:03:19] 843*2^1423204-1 is not prime. Res64: 6971C3FE2F377068 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:03:20] 875*2^1423204-1 is not prime. Res64: 538F832DCE5D6F32 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:03:21] 885*2^1423204-1 is not prime. Res64: 17C8DE998D7060B1 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:06:20] 887*2^1423204-1 is not prime. Res64: DDF2C2828A635B86 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:06:22] 915*2^1423204-1 is not prime. Res64: 191A2B4E1366E5BC Time : 0.0 sec. user=mdettweiler [2016-03-16 00:06:23] 983*2^1423204-1 is not prime. Res64: 91ECBA2011EC5A47 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:06:23] 649*2^1423205-1 is not prime. Res64: 239BDDE84D6DC449 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:06:24] 691*2^1423205-1 is not prime. Res64: 92CA2640A885F79C Time : 0.0 sec. user=mdettweiler [2016-03-16 00:07:51] 729*2^1423205-1 is not prime. Res64: DBCF237D9DD57260 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:07:52] 777*2^1423205-1 is not prime. Res64: DCDF35C8B7E5A89C Time : 0.0 sec. user=mdettweiler [2016-03-16 00:07:53] 861*2^1423205-1 is not prime. Res64: 49DAFBA51EE516A0 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:07:54] 871*2^1423205-1 is not prime. Res64: 3FBA738D0D6D6EEE Time : 0.0 sec. user=mdettweiler [2016-03-16 00:07:54] 939*2^1423205-1 is not prime. Res64: 708F3686B0BA651F Time : 0.0 sec. user=mdettweiler [2016-03-16 00:48:10] 941*2^1423206-1 is not prime. Res64: D550C1576E04EAF3 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:48:11] 1001*2^1423206-1 is not prime. Res64: 98E9EF08A4BA535A Time : 0.0 sec. user=mdettweiler [2016-03-16 00:48:11] 649*2^1423207-1 is not prime. Res64: 547C8F01DB3AA7F1 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:48:12] 663*2^1423207-1 is not prime. Res64: 9D7CD14F2D7499A4 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:48:12] 805*2^1423207-1 is not prime. Res64: DCC78998CCDC3AC0 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:49:33] 843*2^1423207-1 is not prime. Res64: 0E3DDA31495E9D6B Time : 0.0 sec. user=mdettweiler [2016-03-16 00:49:34] 861*2^1423207-1 is not prime. Res64: C594F105FAEFC34A Time : 0.0 sec. user=mdettweiler [2016-03-16 00:49:34] 871*2^1423207-1 is not prime. Res64: 1094CB1D55E40B2D Time : 0.0 sec. user=mdettweiler [2016-03-16 00:49:34] 951*2^1423207-1 is not prime. Res64: 7BC53EFDDEF4586C Time : 0.0 sec. user=mdettweiler [2016-03-16 00:49:35] 993*2^1423207-1 is not prime. Res64: 1649C200781598DB Time : 0.0 sec. user=mdettweiler [2016-03-16 00:53:15] 633*2^1423208-1 is not prime. Res64: 47B584E992D3E0A7 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:53:15] 635*2^1423208-1 is not prime. Res64: 07B067D0B9D01411 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:53:16] 659*2^1423208-1 is not prime. Res64: CD301C4FDADE719E Time : 0.0 sec. user=mdettweiler [2016-03-16 00:53:16] 713*2^1423208-1 is not prime. Res64: 2458D89F12E5EC9F Time : 0.0 sec. user=mdettweiler [2016-03-16 00:53:17] 867*2^1423208-1 is not prime. Res64: 567285C8D81DAE98 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:54:48] 875*2^1423208-1 is not prime. Res64: BE4CD6500BF4A43C Time : 0.0 sec. user=mdettweiler [2016-03-16 00:54:49] 609*2^1423209-1 is not prime. Res64: 9EEB530C6699C68B Time : 0.0 sec. user=mdettweiler [2016-03-16 00:54:49] 627*2^1423209-1 is not prime. Res64: 68C171788DFBF77F Time : 0.0 sec. user=mdettweiler [2016-03-16 00:54:49] 681*2^1423209-1 is not prime. Res64: 52F803EBDDC93591 Time : 0.0 sec. user=mdettweiler [2016-03-16 00:54:50] 741*2^1423209-1 is not prime. Res64: 4A122C4FC78B2311 Time : 0.0 sec. user=mdettweiler [2016-03-16 01:33:24] 865*2^1423209-1 is not prime. Res64: D20286BA966D8C5B Time : 0.0 sec. user=mdettweiler [2016-03-16 01:33:27] 919*2^1423209-1 is not prime. Res64: A5C98DD4BA9A4B4F Time : 0.0 sec. user=mdettweiler [2016-03-16 01:33:28] 921*2^1423209-1 is not prime. Res64: B45F565BCBCA84F6 Time : 0.0 sec. user=mdettweiler [2016-03-16 01:33:30] 951*2^1423209-1 is not prime. Res64: 5CBA7CEEDCD723CB Time : 0.0 sec. user=mdettweiler [2016-03-16 01:33:32] 955*2^1423209-1 is not prime. Res64: 3B3F41AECED4DA10 Time : 0.0 sec. user=mdettweiler [2016-03-16 01:34:35] 969*2^1423209-1 is not prime. Res64: A12BE892222CA7FD Time : 0.0 sec. user=mdettweiler [2016-03-16 01:34:36] 999*2^1423209-1 is not prime. Res64: 5A3E9E57B31C9101 Time : 0.0 sec. user=mdettweiler [2016-03-16 01:34:36] 657*2^1423210-1 is not prime. Res64: BCAFDF402F858D07 Time : 0.0 sec. user=mdettweiler [2016-03-16 01:34:36] 665*2^1423210-1 is not prime. Res64: F8A529DC16DF7196 Time : 0.0 sec. user=mdettweiler [2016-03-16 01:34:37] 701*2^1423210-1 is not prime. Res64: C85F731D796FB32F Time : 0.0 sec. user=mdettweiler [2016-03-16 01:38:31] 723*2^1423210-1 is not prime. Res64: D343A00F053F3A66 Time : 0.0 sec. user=mdettweiler [2016-03-16 01:38:31] 755*2^1423210-1 is not prime. Res64: D20204CB454D1372 Time : 0.0 sec. user=mdettweiler [2016-03-16 01:38:31] 777*2^1423210-1 is not prime. Res64: 838A03E5665A2856 Time : 0.0 sec. user=mdettweiler [2016-03-16 01:38:32] 831*2^1423210-1 is not prime. Res64: 1A490B432302E4D3 Time : 0.0 sec. user=mdettweiler [2016-03-16 01:38:32] 857*2^1423210-1 is not prime. Res64: 7958C9F5D4B54581 Time : 0.0 sec. user=mdettweiler [2016-03-16 01:39:55] 609*2^1423211-1 is not prime. Res64: F5341AFC07C70D54 Time : 0.0 sec. user=mdettweiler [2016-03-16 01:39:55] 663*2^1423211-1 is not prime. Res64: FA1A5555BFD78287 Time : 0.0 sec. user=mdettweiler [2016-03-16 01:39:55] 685*2^1423211-1 is not prime. Res64: 79947FEE0621F372 Time : 0.0 sec. user=mdettweiler [2016-03-16 01:39:56] 735*2^1423211-1 is not prime. Res64: 9BF2711917F8FD13 Time : 0.0 sec. user=mdettweiler [2016-03-16 01:39:56] 883*2^1423211-1 is not prime. Res64: 3E123AADF25141F1 Time : 0.0 sec. user=mdettweiler [2016-03-16 02:19:15] 973*2^1423211-1 is not prime. Res64: 937C90CFC3D72D28 Time : 0.0 sec. user=mdettweiler [2016-03-16 02:19:16] 609*2^1423212-1 is not prime. Res64: A2A3D3A44D23A4F9 Time : 0.0 sec. user=mdettweiler [2016-03-16 02:19:17] 647*2^1423212-1 is not prime. Res64: 238FF1130DE96F3E Time : 0.0 sec. user=mdettweiler [2016-03-16 02:19:19] 725*2^1423212-1 is not prime. Res64: F99E6DC090120E10 Time : 0.0 sec. user=mdettweiler [2016-03-16 02:19:20] 887*2^1423212-1 is not prime. Res64: 90A9B199AB74E4D8 Time : 0.0 sec. user=mdettweiler [2016-03-16 02:19:47] 893*2^1423212-1 is not prime. Res64: 6356D835AF5C04BD Time : 0.0 sec. user=mdettweiler [2016-03-16 02:19:48] 909*2^1423212-1 is not prime. Res64: A01FE4599F61D288 Time : 0.0 sec. user=mdettweiler [2016-03-16 02:19:48] 977*2^1423212-1 is not prime. Res64: 784DC5F839A7C279 Time : 0.0 sec. user=mdettweiler [2016-03-16 02:19:49] 615*2^1423213-1 is not prime. Res64: 5D95538A7CAE77BE Time : 0.0 sec. user=mdettweiler [2016-03-16 02:19:50] 649*2^1423213-1 is not prime. Res64: 4C20E549E6E990B8 Time : 0.0 sec. user=mdettweiler [2016-03-16 02:23:52] 789*2^1423213-1 is not prime. Res64: F934921AAE79F32E Time : 0.0 sec. user=mdettweiler [2016-03-16 02:23:54] 847*2^1423213-1 is not prime. Res64: A2019308725272FE Time : 0.0 sec. user=mdettweiler [2016-03-16 02:23:54] 867*2^1423213-1 is not prime. Res64: B9E0EFEA9C96F7E5 Time : 0.0 sec. user=mdettweiler [2016-03-16 02:23:55] 919*2^1423213-1 is not prime. Res64: 19FFAA76511470F9 Time : 0.0 sec. user=mdettweiler [2016-03-16 02:23:56] 937*2^1423213-1 is not prime. Res64: 935FEC09D6473D62 Time : 0.0 sec. user=mdettweiler [2016-03-16 02:25:25] 987*2^1423213-1 is not prime. Res64: F05F91A47E148B9F Time : 0.0 sec. user=mdettweiler [2016-03-16 02:25:26] 615*2^1423214-1 is not prime. Res64: FA1F70E2E5012A44 Time : 0.0 sec. user=mdettweiler [2016-03-16 02:25:27] 885*2^1423214-1 is not prime. Res64: 3AF1F6DCF9473AB6 Time : 0.0 sec. user=mdettweiler [2016-03-16 02:25:28] 633*2^1423215-1 is not prime. Res64: 3F0B17B9561966EC Time : 0.0 sec. user=mdettweiler [2016-03-16 02:25:29] 735*2^1423215-1 is not prime. Res64: 1C682D6F4E1F747A Time : 0.0 sec. user=mdettweiler [2016-03-16 02:50:20] 639*2^1423219-1 is not prime. Res64: 605D8E84326F0722 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:05:19] 763*2^1423215-1 is not prime. Res64: 575449ACC70E6D02 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:05:21] 781*2^1423215-1 is not prime. Res64: 45723D38AA2A142D Time : 0.0 sec. user=mdettweiler [2016-03-16 03:05:22] 783*2^1423215-1 is not prime. Res64: CD6C860C1722E82D Time : 0.0 sec. user=mdettweiler [2016-03-16 03:05:24] 859*2^1423215-1 is not prime. Res64: DBAB555D3855924F Time : 0.0 sec. user=mdettweiler [2016-03-16 03:05:27] 885*2^1423215-1 is not prime. Res64: 9AE604472F4B12F2 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:05:54] 895*2^1423215-1 is not prime. Res64: 2E9B33242B170F5B Time : 0.0 sec. user=mdettweiler [2016-03-16 03:05:55] 765*2^1423216-1 is not prime. Res64: 78554DF7346C038C Time : 0.0 sec. user=mdettweiler [2016-03-16 03:05:57] 773*2^1423216-1 is not prime. Res64: EDA18FE3C168CF51 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:05:58] 873*2^1423216-1 is not prime. Res64: FBD564AA411136D0 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:06:00] 675*2^1423217-1 is not prime. Res64: 7BE10E4E3FFE8659 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:08:25] 645*2^1423219-1 is not prime. Res64: 7159C2E5F1116DF3 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:10:15] 691*2^1423217-1 is not prime. Res64: 27C19ADFF0349B32 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:10:16] 711*2^1423217-1 is not prime. Res64: F8350E4BA36929F8 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:10:16] 641*2^1423218-1 is not prime. Res64: 3B4B8E29246D49E8 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:10:17] 651*2^1423218-1 is not prime. Res64: 054B39C84F908A14 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:10:18] 665*2^1423218-1 is not prime. Res64: 7D58681913709976 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:11:34] 711*2^1423218-1 is not prime. Res64: 9027FDC89D4C5D01 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:11:35] 713*2^1423218-1 is not prime. Res64: E9A3F98CD66D9A63 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:11:36] 765*2^1423218-1 is not prime. Res64: B5F9D3F635895AA7 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:11:37] 821*2^1423218-1 is not prime. Res64: E9B1E210C3660A8B Time : 0.0 sec. user=mdettweiler [2016-03-16 03:11:38] 625*2^1423219-1 is not prime. Res64: 884F86734C7B76B2 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:51:03] 725*2^1423220-1 is not prime. Res64: 69066735AFABEFBC Time : 0.0 sec. user=mdettweiler [2016-03-16 03:51:05] 767*2^1423220-1 is not prime. Res64: 6B6C1E2ADCBECF33 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:51:06] 733*2^1423219-1 is not prime. Res64: 61A9DD113B6B142F Time : 0.0 sec. user=mdettweiler [2016-03-16 03:51:08] 885*2^1423219-1 is not prime. Res64: 610FCC3183BECA88 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:51:08] 773*2^1423220-1 is not prime. Res64: 33447E968C80C2B6 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:51:09] 943*2^1423219-1 is not prime. Res64: A7019EE1B763295A Time : 0.0 sec. user=mdettweiler [2016-03-16 03:51:10] 977*2^1423220-1 is not prime. Res64: 10C42ECE5FBBE42C Time : 0.0 sec. user=mdettweiler [2016-03-16 03:51:11] 961*2^1423219-1 is not prime. Res64: B23C3CDA827AD950 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:51:13] 607*2^1423221-1 is not prime. Res64: D936E6FEC70029E1 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:51:13] 615*2^1423220-1 is not prime. Res64: D3CDA4D27A086DD0 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:55:31] 685*2^1423221-1 is not prime. Res64: 4F0C65948E2126FD Time : 0.0 sec. user=mdettweiler [2016-03-16 03:55:32] 735*2^1423221-1 is not prime. Res64: 7CCABAF17AC8F702 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:55:33] 871*2^1423221-1 is not prime. Res64: EA69FEF4F437907A Time : 0.0 sec. user=mdettweiler [2016-03-16 03:55:34] 969*2^1423221-1 is not prime. Res64: 3BAD8ACC7738483F Time : 0.0 sec. user=mdettweiler [2016-03-16 03:55:35] 975*2^1423221-1 is not prime. Res64: 57DFBD78F82302A3 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:56:38] 603*2^1423222-1 is not prime. Res64: C192489FCCCDD70E Time : 0.0 sec. user=mdettweiler [2016-03-16 03:56:39] 617*2^1423222-1 is not prime. Res64: 599A264D92D3B039 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:56:40] 677*2^1423222-1 is not prime. Res64: FD3598AB68CC7158 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:56:41] 785*2^1423222-1 is not prime. Res64: 39C355CB953C1CD8 Time : 0.0 sec. user=mdettweiler [2016-03-16 03:56:42] 619*2^1423223-1 is not prime. Res64: 024CD643028DF4F8 Time : 0.0 sec. user=mdettweiler [2016-03-16 04:00:50] 983*2^1423224-1 is not prime. Res64: 08DB7C3E8A1145E4 Time : 0.0 sec. user=mdettweiler [2016-03-16 04:36:43] 649*2^1423223-1 is not prime. Res64: BCDFA4272DF6DADA Time : 0.0 sec. user=mdettweiler [2016-03-16 04:36:44] 829*2^1423223-1 is not prime. Res64: 17AA0EE33BCC004A Time : 0.0 sec. user=mdettweiler [2016-03-16 04:36:45] 831*2^1423223-1 is not prime. Res64: F90B40DFA2309555 Time : 0.0 sec. user=mdettweiler [2016-03-16 04:36:46] 955*2^1423223-1 is not prime. Res64: 0A42D6E9B38A52FA Time : 0.0 sec. user=mdettweiler [2016-03-16 04:36:47] 689*2^1423224-1 is not prime. Res64: DEF31A61B83CB00B Time : 0.0 sec. user=mdettweiler [2016-03-16 04:36:48] 993*2^1423223-1 is not prime. Res64: 4FC4CC3B338DB614 Time : 0.0 sec. user=mdettweiler [2016-03-16 04:36:48] 863*2^1423224-1 is not prime. Res64: 9A4F72759A9CFB2A Time : 0.0 sec. user=mdettweiler [2016-03-16 04:36:49] 927*2^1423224-1 is not prime. Res64: DD33A71351B5234C Time : 0.0 sec. user=mdettweiler [2016-03-16 04:36:50] 945*2^1423224-1 is not prime. Res64: FD1353D3DAEB8D1C Time : 0.0 sec. user=mdettweiler [2016-03-16 04:36:50] 957*2^1423224-1 is not prime. Res64: 85C5E0591E847F03 Time : 0.0 sec. user=mdettweiler [2016-03-16 04:40:43] 651*2^1423225-1 is not prime. Res64: 2C04BE49D46E5EF1 Time : 0.0 sec. user=mdettweiler [2016-03-16 04:40:44] 691*2^1423225-1 is not prime. Res64: C4580C458821D6BF Time : 0.0 sec. user=mdettweiler [2016-03-16 04:40:45] 729*2^1423225-1 is not prime. Res64: 48B0DD902EECE05F Time : 0.0 sec. user=mdettweiler [2016-03-16 04:40:46] 841*2^1423225-1 is not prime. Res64: 1AE4F6C8B27862CD Time : 0.0 sec. user=mdettweiler [2016-03-16 04:40:47] 867*2^1423225-1 is not prime. Res64: EB84216F6E0E61F7 Time : 0.0 sec. user=mdettweiler [2016-03-16 04:41:42] 675*2^1423226-1 is not prime. Res64: 766647F49508BDB5 Time : 0.0 sec. user=mdettweiler [2016-03-16 04:41:43] 755*2^1423226-1 is not prime. Res64: 8A4D9389835317E6 Time : 0.0 sec. user=mdettweiler [2016-03-16 04:41:44] 825*2^1423226-1 is not prime. Res64: 8014B24AAFA46CE8 Time : 0.0 sec. user=mdettweiler [2016-03-16 04:41:45] 983*2^1423226-1 is not prime. Res64: 388EDA4272097292 Time : 0.0 sec. user=mdettweiler [2016-03-16 04:41:46] 1001*2^1423226-1 is not prime. Res64: 4A1EFCAD17E88FB6 Time : 0.0 sec. user=mdettweiler [2016-03-16 05:21:53] 669*2^1423227-1 is not prime. Res64: AA6FCCBB3A8E278C Time : 0.0 sec. user=mdettweiler [2016-03-16 05:21:54] 781*2^1423227-1 is not prime. Res64: 93F81B49C009739F Time : 0.0 sec. user=mdettweiler [2016-03-16 05:21:55] 795*2^1423227-1 is not prime. Res64: 841ECB9DDE7FA97D Time : 0.0 sec. user=mdettweiler [2016-03-16 05:21:56] 895*2^1423227-1 is not prime. Res64: FE4D501E6EDB1D76 Time : 0.0 sec. user=mdettweiler [2016-03-16 05:21:57] 901*2^1423227-1 is not prime. Res64: EFD692AACDF67F87 Time : 0.0 sec. user=mdettweiler [2016-03-16 05:22:01] 903*2^1423227-1 is not prime. Res64: 694C88293FB97E94 Time : 0.0 sec. user=mdettweiler [2016-03-16 05:22:02] 955*2^1423227-1 is not prime. Res64: AA658FD45F3DB17A Time : 0.0 sec. user=mdettweiler [2016-03-16 05:22:03] 991*2^1423227-1 is not prime. Res64: 5547756E62EFE568 Time : 0.0 sec. user=mdettweiler [2016-03-16 05:22:04] 605*2^1423228-1 is not prime. Res64: 1E9AD71C056BA9C6 Time : 0.0 sec. user=mdettweiler [2016-03-16 05:22:05] 635*2^1423228-1 is not prime. Res64: D53A3F30536304C0 Time : 0.0 sec. user=mdettweiler [2016-03-16 05:25:52] 695*2^1423228-1 is not prime. Res64: C1B26C3D2374BD66 Time : 0.0 sec. user=mdettweiler [2016-03-16 05:25:53] 705*2^1423228-1 is not prime. Res64: 47D628C91F25F6D8 Time : 0.0 sec. user=mdettweiler [2016-03-16 05:25:54] 885*2^1423228-1 is not prime. Res64: FFF7C2D0DEB79C22 Time : 0.0 sec. user=mdettweiler [2016-03-16 05:25:55] 601*2^1423229-1 is not prime. Res64: F78B3A0DF491C9A7 Time : 0.0 sec. user=mdettweiler [2016-03-16 05:25:56] 691*2^1423229-1 is not prime. Res64: A3B316AFD685D3BA Time : 0.0 sec. user=mdettweiler [2016-03-16 05:26:58] 789*2^1423229-1 is not prime. Res64: D6C2CB16C4F0FA96 Time : 0.0 sec. user=mdettweiler [2016-03-16 05:26:59] 795*2^1423229-1 is not prime. Res64: 840782AABA36CA40 Time : 0.0 sec. user=mdettweiler [2016-03-16 05:27:00] 811*2^1423229-1 is not prime. Res64: 21187BF3B43CA2E2 Time : 0.0 sec. user=mdettweiler [2016-03-16 05:27:01] 837*2^1423229-1 is not prime. Res64: D86F32FC00B8F3E5 Time : 0.0 sec. user=mdettweiler [2016-03-16 05:27:02] 979*2^1423229-1 is not prime. Res64: 1D16324FACE9C493 Time : 0.0 sec. user=mdettweiler [2016-03-16 06:07:01] 709*2^1423231-1 is not prime. Res64: BCEDC9D8FFB2529D Time : 0.0 sec. user=mdettweiler [2016-03-16 06:07:04] 861*2^1423231-1 is not prime. Res64: 1B06C2D6733C023C Time : 0.0 sec. user=mdettweiler [2016-03-16 06:07:06] 635*2^1423230-1 is not prime. Res64: D093FDA8D299417E Time : 0.0 sec. user=mdettweiler [2016-03-16 06:07:06] 975*2^1423231-1 is not prime. Res64: E0D1EA6BACCEEFC5 Time : 0.0 sec. user=mdettweiler [2016-03-16 06:07:07] 845*2^1423230-1 is not prime. Res64: 168FEFBF82605E4C Time : 0.0 sec. user=mdettweiler [2016-03-16 06:07:08] 603*2^1423232-1 is not prime. Res64: 8DC3E462CECD8D7F Time : 0.0 sec. user=mdettweiler [2016-03-16 06:07:09] 851*2^1423230-1 is not prime. Res64: B2621A448C7C68DE Time : 0.0 sec. user=mdettweiler [2016-03-16 06:07:10] 693*2^1423232-1 is not prime. Res64: 9438795A58107426 Time : 0.0 sec. user=mdettweiler [2016-03-16 06:07:14] 873*2^1423230-1 is not prime. Res64: 0F7BA59DC7C27FCA Time : 0.0 sec. user=mdettweiler [2016-03-16 06:07:15] 965*2^1423230-1 is not prime. Res64: 5BC31E2D8D57A315 Time : 0.0 sec. user=mdettweiler [2016-03-16 06:11:09] 719*2^1423232-1 is not prime. Res64: 487880936575ACFA Time : 0.0 sec. user=mdettweiler [2016-03-16 06:11:10] 725*2^1423232-1 is not prime. Res64: 3042C6F1DEEB7BF8 Time : 0.0 sec. user=mdettweiler [2016-03-16 06:11:12] 875*2^1423232-1 is not prime. Res64: 48A2FDEBFD86D0BB Time : 0.0 sec. user=mdettweiler [2016-03-16 06:11:13] 903*2^1423232-1 is not prime. Res64: B03F487D8BFFE02C Time : 0.0 sec. user=mdettweiler [2016-03-16 06:11:13] 917*2^1423232-1 is not prime. Res64: 302E96BFCF564B7C Time : 0.0 sec. user=mdettweiler [2016-03-16 06:12:30] 935*2^1423232-1 is not prime. Res64: ECF18A6BB8F3C64B Time : 0.0 sec. user=mdettweiler [2016-03-16 06:12:31] 983*2^1423232-1 is not prime. Res64: E76DB97E8E78D239 Time : 0.0 sec. user=mdettweiler [2016-03-16 06:12:32] 609*2^1423233-1 is not prime. Res64: 51152077B5B98DFE Time : 0.0 sec. user=mdettweiler [2016-03-16 06:12:33] 681*2^1423233-1 is not prime. Res64: 958C7DDEF184DFEB Time : 0.0 sec. user=mdettweiler [2016-03-16 06:12:34] 867*2^1423233-1 is not prime. Res64: 0CEF098AABA563B3 Time : 0.0 sec. user=mdettweiler [2016-03-16 06:22:36] 645*2^1423237-1 is not prime. Res64: FCE1F9FFD948E055 Time : 0.0 sec. user=mdettweiler [2016-03-16 06:52:32] 983*2^1423234-1 is not prime. Res64: F8699896753843DD Time : 0.0 sec. user=mdettweiler [2016-03-16 06:52:33] 655*2^1423235-1 is not prime. Res64: F5413CD8C8536D7E Time : 0.0 sec. user=mdettweiler [2016-03-16 06:52:34] 669*2^1423235-1 is not prime. Res64: 96F2FE6613BCAD74 Time : 0.0 sec. user=mdettweiler [2016-03-16 06:52:35] 735*2^1423235-1 is not prime. Res64: 657FF4870C6A4E64 Time : 0.0 sec. user=mdettweiler [2016-03-16 06:52:36] 775*2^1423235-1 is not prime. Res64: 6C0C7133A565FFF1 Time : 0.0 sec. user=mdettweiler [2016-03-16 06:52:36] 915*2^1423233-1 is not prime. Res64: B95D1B1E01251A4B Time : 0.0 sec. user=mdettweiler [2016-03-16 06:52:37] 951*2^1423233-1 is not prime. Res64: C2F7AF66A86D1ABE Time : 0.0 sec. user=mdettweiler [2016-03-16 06:52:38] 633*2^1423234-1 is not prime. Res64: 1E97BDE1B4723F63 Time : 0.0 sec. user=mdettweiler [2016-03-16 06:52:39] 645*2^1423234-1 is not prime. Res64: 7382F883872D5F57 Time : 0.0 sec. user=mdettweiler [2016-03-16 06:52:41] 815*2^1423234-1 is not prime. Res64: 63DB38F4247A93E2 Time : 0.0 sec. user=mdettweiler [2016-03-16 06:56:29] 799*2^1423235-1 is not prime. Res64: 0333D4246352A7C1 Time : 0.0 sec. user=mdettweiler [2016-03-16 06:56:29] 859*2^1423235-1 is not prime. Res64: 39E04AC7DFA5B342 Time : 0.0 sec. user=mdettweiler [2016-03-16 06:56:30] 623*2^1423236-1 is not prime. Res64: 6C36A40E9A8A70F3 Time : 0.0 sec. user=mdettweiler [2016-03-16 06:56:31] 669*2^1423236-1 is not prime. Res64: 560A3B47564F1AD5 Time : 0.0 sec. user=mdettweiler [2016-03-16 06:56:32] 675*2^1423236-1 is not prime. Res64: 3B7A5B528530405E Time : 0.0 sec. user=mdettweiler [2016-03-16 06:57:46] 779*2^1423236-1 is not prime. Res64: 5A8F00DC0ADE4EAB Time : 0.0 sec. user=mdettweiler [2016-03-16 06:57:47] 803*2^1423236-1 is not prime. Res64: 128DE1195B2611C5 Time : 0.0 sec. user=mdettweiler [2016-03-16 06:57:48] 825*2^1423236-1 is not prime. Res64: 21F6EA04D89269FD Time : 0.0 sec. user=mdettweiler [2016-03-16 06:57:49] 873*2^1423236-1 is not prime. Res64: C9CE5BE626421CED Time : 0.0 sec. user=mdettweiler [2016-03-16 06:57:50] 893*2^1423236-1 is not prime. Res64: 5981E49258810100 Time : 0.0 sec. user=mdettweiler [2016-03-16 07:37:50] 859*2^1423237-1 is not prime. Res64: 276C1F93697584E9 Time : 0.0 sec. user=mdettweiler [2016-03-16 07:37:51] 885*2^1423237-1 is not prime. Res64: 214EC68434A89C1C Time : 0.0 sec. user=mdettweiler [2016-03-16 07:37:52] 663*2^1423238-1 is not prime. Res64: 1FC917A8561F9AC7 Time : 0.0 sec. user=mdettweiler [2016-03-16 07:37:53] 755*2^1423238-1 is not prime. Res64: 6AE633CE88FF689D Time : 0.0 sec. user=mdettweiler [2016-03-16 07:37:54] 875*2^1423238-1 is not prime. Res64: 3DF2905BDF20FC97 Time : 0.0 sec. user=mdettweiler [2016-03-16 07:38:01] 977*2^1423238-1 is not prime. Res64: 58350A5A72BE7B3D Time : 0.0 sec. user=mdettweiler [2016-03-16 07:38:02] 663*2^1423239-1 is not prime. Res64: 08A3BBDFA72B697B Time : 0.0 sec. user=mdettweiler [2016-03-16 07:38:03] 829*2^1423239-1 is not prime. Res64: 9D45792FDBD01199 Time : 0.0 sec. user=mdettweiler [2016-03-16 07:38:04] 861*2^1423239-1 is not prime. Res64: 2B36AC248350CA1C Time : 0.0 sec. user=mdettweiler [2016-03-16 07:38:05] 951*2^1423239-1 is not prime. Res64: 780B8A3AE9D46D6D Time : 0.0 sec. user=mdettweiler [2016-03-16 07:41:40] 765*2^1423240-1 is not prime. Res64: 7045F23D3D7FA81C Time : 0.0 sec. user=mdettweiler [2016-03-16 07:41:41] 855*2^1423240-1 is not prime. Res64: 1066E5257076C0F1 Time : 0.0 sec. user=mdettweiler [2016-03-16 07:41:42] 975*2^1423240-1 is not prime. Res64: 9D9C167AD289567A Time : 0.0 sec. user=mdettweiler [2016-03-16 07:41:43] 601*2^1423241-1 is not prime. Res64: 1565E56D4462B048 Time : 0.0 sec. user=mdettweiler [2016-03-16 07:41:44] 717*2^1423241-1 is not prime. Res64: 062DED8BDCAE10D1 Time : 0.0 sec. user=mdettweiler [2016-03-16 07:43:01] 789*2^1423241-1 is not prime. Res64: 4F896879C0EECD38 Time : 0.0 sec. user=mdettweiler [2016-03-16 07:43:02] 889*2^1423241-1 is not prime. Res64: 8F73EF540C3BF11C Time : 0.0 sec. user=mdettweiler [2016-03-16 07:43:03] 765*2^1423242-1 is not prime. Res64: A5F6C2462253A35D Time : 0.0 sec. user=mdettweiler [2016-03-16 07:43:04] 767*2^1423242-1 is not prime. Res64: DF656DB270209A93 Time : 0.0 sec. user=mdettweiler [2016-03-16 07:43:05] 797*2^1423242-1 is not prime. Res64: F70E99BC96411331 Time : 0.0 sec. user=mdettweiler [2016-03-16 08:23:22] 815*2^1423242-1 is not prime. Res64: D70C8B1C0BFA607F Time : 0.0 sec. user=mdettweiler [2016-03-16 08:23:23] 681*2^1423243-1 is not prime. Res64: 71E74C9AE0CF8C17 Time : 0.0 sec. user=mdettweiler [2016-03-16 08:23:24] 723*2^1423243-1 is not prime. Res64: 9C513765C8CB4ACC Time : 0.0 sec. user=mdettweiler [2016-03-16 08:23:25] 769*2^1423243-1 is not prime. Res64: DCCB249FC3A3DED4 Time : 0.0 sec. user=mdettweiler [2016-03-16 08:23:26] 771*2^1423243-1 is not prime. Res64: 8C5F0CE97FC4D00E Time : 0.0 sec. user=mdettweiler [2016-03-16 08:23:27] 873*2^1423243-1 is not prime. Res64: 8BF2D1D339175B89 Time : 0.0 sec. user=mdettweiler [2016-03-16 08:23:28] 901*2^1423243-1 is not prime. Res64: 2565BE4E3054CAB3 Time : 0.0 sec. user=mdettweiler [2016-03-16 08:23:29] 945*2^1423243-1 is not prime. Res64: 9FEF4AD1D97ABE11 Time : 0.0 sec. user=mdettweiler [2016-03-16 08:23:30] 985*2^1423243-1 is not prime. Res64: 8F537C722A5B19C2 Time : 0.0 sec. user=mdettweiler [2016-03-16 08:23:30] 605*2^1423244-1 is not prime. Res64: 7891883E248EC440 Time : 0.0 sec. user=mdettweiler [2016-03-16 08:27:18] 635*2^1423244-1 is not prime. Res64: 60D3C6660861314F Time : 0.0 sec. user=mdettweiler [2016-03-16 08:27:19] 707*2^1423244-1 is not prime. Res64: 83EEDC15F106640F Time : 0.0 sec. user=mdettweiler [2016-03-16 08:27:20] 819*2^1423244-1 is not prime. Res64: 74A4DCB8477A3334 Time : 0.0 sec. user=mdettweiler [2016-03-16 08:27:21] 843*2^1423244-1 is not prime. Res64: 7E0F0E918CC41ABF Time : 0.0 sec. user=mdettweiler [2016-03-16 08:27:22] 929*2^1423244-1 is not prime. Res64: 01BE57B56372325A Time : 0.0 sec. user=mdettweiler [2016-03-16 08:28:48] 651*2^1423245-1 is not prime. Res64: 1B19410A4E5AF974 Time : 0.0 sec. user=mdettweiler [2016-03-16 08:28:49] 759*2^1423245-1 is not prime. Res64: 470B0273F1596CFB Time : 0.0 sec. user=mdettweiler [2016-03-16 08:28:50] 847*2^1423245-1 is not prime. Res64: 4E2FB26143B0F7CC Time : 0.0 sec. user=mdettweiler [2016-03-16 08:28:51] 885*2^1423245-1 is not prime. Res64: 8BA512E2D2B7477D Time : 0.0 sec. user=mdettweiler [2016-03-16 08:28:51] 927*2^1423245-1 is not prime. Res64: 76888EFF69D0B5A0 Time : 0.0 sec. user=mdettweiler [2016-03-16 08:44:25] 745*2^1423249-1 is not prime. Res64: 72CBF34884E35826 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:08:44] 951*2^1423245-1 is not prime. Res64: 5858D7B6414F773E Time : 0.0 sec. user=mdettweiler [2016-03-16 09:08:45] 955*2^1423245-1 is not prime. Res64: 4AD3CB8EC9A859A8 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:08:46] 999*2^1423245-1 is not prime. Res64: D63B5D5980A2162A Time : 0.0 sec. user=mdettweiler [2016-03-16 09:08:47] 635*2^1423246-1 is not prime. Res64: 65CE084136F727A0 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:08:48] 657*2^1423246-1 is not prime. Res64: CE63B3D2C0E3EA06 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:08:55] 675*2^1423246-1 is not prime. Res64: B59579A23EC841A4 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:08:56] 821*2^1423246-1 is not prime. Res64: 0BEC5BF8199310A0 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:08:57] 825*2^1423246-1 is not prime. Res64: A1F5E2E494C78A1A Time : 0.0 sec. user=mdettweiler [2016-03-16 09:08:58] 917*2^1423246-1 is not prime. Res64: 429D37D5EE15B595 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:08:59] 965*2^1423246-1 is not prime. Res64: E8648C15AD50DE6E Time : 0.0 sec. user=mdettweiler [2016-03-16 09:12:30] 741*2^1423247-1 is not prime. Res64: 6DA3659C7F8C7AE1 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:12:31] 805*2^1423247-1 is not prime. Res64: D9E1F06582957BD6 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:12:32] 879*2^1423247-1 is not prime. Res64: A20E50ECC15DB649 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:12:33] 883*2^1423247-1 is not prime. Res64: C5A6E614C45E8DBA Time : 0.0 sec. user=mdettweiler [2016-03-16 09:12:34] 663*2^1423248-1 is not prime. Res64: 54FE0535BE197725 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:14:09] 669*2^1423248-1 is not prime. Res64: 4DF2AC49A8892686 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:14:10] 797*2^1423248-1 is not prime. Res64: 13FF82F2D822B8E5 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:14:11] 825*2^1423248-1 is not prime. Res64: 89A47408FD2BA7AD Time : 0.0 sec. user=mdettweiler [2016-03-16 09:14:12] 933*2^1423248-1 is not prime. Res64: E6A4ACA5628DE303 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:14:14] 721*2^1423249-1 is not prime. Res64: FEE7BCE7E170CD45 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:53:58] 799*2^1423249-1 is not prime. Res64: 77BE047DCF65578A Time : 0.0 sec. user=mdettweiler [2016-03-16 09:53:59] 897*2^1423249-1 is not prime. Res64: 0A2BCEAAC3D24564 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:54:00] 909*2^1423249-1 is not prime. Res64: 7E716E7331EE9F24 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:54:02] 945*2^1423249-1 is not prime. Res64: 3553396F87D73987 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:54:02] 893*2^1423250-1 is not prime. Res64: F4DC39E428F1710A Time : 0.0 sec. user=mdettweiler [2016-03-16 09:54:02] 999*2^1423249-1 is not prime. Res64: 29C766D9A26C9A17 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:54:03] 649*2^1423251-1 is not prime. Res64: 5371A7FCB709D72F Time : 0.0 sec. user=mdettweiler [2016-03-16 09:54:04] 741*2^1423251-1 is not prime. Res64: 416D8367AAAA54CF Time : 0.0 sec. user=mdettweiler [2016-03-16 09:54:05] 895*2^1423251-1 is not prime. Res64: 07B8EEB60749818E Time : 0.0 sec. user=mdettweiler [2016-03-16 09:54:06] 743*2^1423252-1 is not prime. Res64: 2129C08F1B00FC53 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:57:47] 749*2^1423252-1 is not prime. Res64: 0E1FD1416568F1B3 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:57:47] 855*2^1423252-1 is not prime. Res64: CBDD6B0A0D0561FB Time : 0.0 sec. user=mdettweiler [2016-03-16 09:57:48] 983*2^1423252-1 is not prime. Res64: C5004A97CA77C894 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:57:49] 649*2^1423253-1 is not prime. Res64: 39358A983CE6BEEC Time : 0.0 sec. user=mdettweiler [2016-03-16 09:57:50] 697*2^1423253-1 is not prime. Res64: 20BDE138FDECEF9A Time : 0.0 sec. user=mdettweiler [2016-03-16 09:59:30] 605*2^1423254-1 is not prime. Res64: 4A155C0114DAEA64 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:59:32] 611*2^1423254-1 is not prime. Res64: EB19A02423ADD5CC Time : 0.0 sec. user=mdettweiler [2016-03-16 09:59:33] 641*2^1423254-1 is not prime. Res64: 4A5EF54A63C44C89 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:59:34] 765*2^1423254-1 is not prime. Res64: 48E5B9E7DDC87252 Time : 0.0 sec. user=mdettweiler [2016-03-16 09:59:35] 975*2^1423254-1 is not prime. Res64: 58567AB610B83960 Time : 0.0 sec. user=mdettweiler [2016-03-16 10:13:14] 913*2^1423259-1 is not prime. Res64: 3F1D5EE9DDBB90C6 Time : 0.0 sec. user=mdettweiler [2016-03-16 10:38:58] 783*2^1423255-1 is not prime. Res64: A8535DC47DE77CC6 Time : 0.0 sec. user=mdettweiler [2016-03-16 10:38:58] 831*2^1423255-1 is not prime. Res64: 759C107E452CE6ED Time : 0.0 sec. user=mdettweiler [2016-03-16 10:38:59] 841*2^1423255-1 is not prime. Res64: B6F2E19D9AAC1075 Time : 0.0 sec. user=mdettweiler [2016-03-16 10:38:59] 861*2^1423255-1 is not prime. Res64: 264A2D86C0D3FD43 Time : 0.0 sec. user=mdettweiler [2016-03-16 10:38:59] 919*2^1423255-1 is not prime. Res64: 7EBF377998C9C73D Time : 0.0 sec. user=mdettweiler [2016-03-16 10:39:11] 659*2^1423256-1 is not prime. Res64: 8662F4C307778EEF Time : 0.0 sec. user=mdettweiler [2016-03-16 10:39:11] 675*2^1423256-1 is not prime. Res64: 8BF75E4414A20FC0 Time : 0.0 sec. user=mdettweiler [2016-03-16 10:39:12] 765*2^1423257-1 is not prime. Res64: 78BB003FE3BB2FC7 Time : 0.0 sec. user=mdettweiler [2016-03-16 10:39:12] 819*2^1423257-1 is not prime. Res64: 21206B65627C8126 Time : 0.0 sec. user=mdettweiler [2016-03-16 10:39:13] 847*2^1423257-1 is not prime. Res64: C3C15AF5DBE601B7 Time : 0.0 sec. user=mdettweiler [2016-03-16 10:42:42] 861*2^1423257-1 is not prime. Res64: 8BD660123AEFE1DB Time : 0.0 sec. user=mdettweiler [2016-03-16 10:42:42] 865*2^1423257-1 is not prime. Res64: 04D978B7F51A650B Time : 0.0 sec. user=mdettweiler [2016-03-16 10:42:43] 871*2^1423257-1 is not prime. Res64: DFE279FE76BE9342 Time : 0.0 sec. user=mdettweiler [2016-03-16 10:42:43] 603*2^1423258-1 is not prime. Res64: 6098567A5256B1D2 Time : 0.0 sec. user=mdettweiler [2016-03-16 10:42:44] 623*2^1423258-1 is not prime. Res64: 5DD01463FBCF70EF Time : 0.0 sec. user=mdettweiler [2016-03-16 10:44:26] 657*2^1423258-1 is not prime. Res64: DB9AC2BB3CBD80B2 Time : 0.0 sec. user=mdettweiler [2016-03-16 10:44:26] 861*2^1423258-1 is not prime. Res64: 478EC74C013D1ADF Time : 0.0 sec. user=mdettweiler [2016-03-16 10:44:26] 745*2^1423259-1 is not prime. Res64: C41843495C3860D8 Time : 0.0 sec. user=mdettweiler [2016-03-16 10:44:27] 753*2^1423259-1 is not prime. Res64: 94C39CB04A6D2AEB Time : 0.0 sec. user=mdettweiler [2016-03-16 10:44:27] 759*2^1423259-1 is not prime. Res64: D65FB3A3F5B604D2 Time : 0.0 sec. user=mdettweiler [2016-03-16 11:23:53] 931*2^1423259-1 is not prime. Res64: E90A9E3A452E7E47 Time : 0.0 sec. user=mdettweiler [2016-03-16 11:23:54] 943*2^1423259-1 is not prime. Res64: DCB6F4C5D38CC6EC Time : 0.0 sec. user=mdettweiler [2016-03-16 11:23:54] 627*2^1423260-1 is not prime. Res64: 92D0B792E7CB6A67 Time : 0.0 sec. user=mdettweiler [2016-03-16 11:23:54] 665*2^1423260-1 is not prime. Res64: ED0FF9F3F7B97DCA Time : 0.0 sec. user=mdettweiler [2016-03-16 11:23:55] 689*2^1423260-1 is not prime. Res64: 3BE0B2AEC6B96052 Time : 0.0 sec. user=mdettweiler [2016-03-16 11:23:55] 699*2^1423260-1 is not prime. Res64: 88B9344A8C9DF64E Time : 0.0 sec. user=mdettweiler [2016-03-16 11:23:56] 759*2^1423260-1 is not prime. Res64: 7E7E2ECDB52715E3 Time : 0.0 sec. user=mdettweiler [2016-03-16 11:23:56] 779*2^1423260-1 is not prime. Res64: 22B19B44DA3A8251 Time : 0.0 sec. user=mdettweiler [2016-03-16 11:23:57] 843*2^1423260-1 is not prime. Res64: 43FAD8717B9EA945 Time : 0.0 sec. user=mdettweiler [2016-03-16 11:23:57] 867*2^1423260-1 is not prime. Res64: 93E6706F1F46F70C Time : 0.0 sec. user=mdettweiler [2016-03-16 11:27:37] 727*2^1423261-1 is not prime. Res64: AEA314D6C0BBD7F9 Time : 0.0 sec. user=mdettweiler [2016-03-16 11:27:37] 777*2^1423261-1 is not prime. Res64: C39AD4CC98477704 Time : 0.0 sec. user=mdettweiler [2016-03-16 11:27:37] 799*2^1423261-1 is not prime. Res64: CE6549015B51C75C Time : 0.0 sec. user=mdettweiler [2016-03-16 11:27:38] 829*2^1423261-1 is not prime. Res64: F153EC4EAE202560 Time : 0.0 sec. user=mdettweiler [2016-03-16 11:27:38] 877*2^1423261-1 is not prime. Res64: 53378B82C32435F6 Time : 0.0 sec. user=mdettweiler [2016-03-16 11:29:20] 997*2^1423261-1 is not prime. Res64: 52FED2401B2A879D Time : 0.0 sec. user=mdettweiler [2016-03-16 11:29:20] 645*2^1423262-1 is not prime. Res64: 8D4403076E603BA4 Time : 0.0 sec. user=mdettweiler [2016-03-16 11:29:21] 813*2^1423262-1 is not prime. Res64: 9A24DE44605CE9EC Time : 0.0 sec. user=mdettweiler [2016-03-16 11:29:21] 815*2^1423262-1 is not prime. Res64: 49932D3DBC5E2CAF Time : 0.0 sec. user=mdettweiler [2016-03-16 11:29:22] 833*2^1423262-1 is not prime. Res64: 2B02C7F33E515434 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:08:54] 965*2^1423262-1 is not prime. Res64: 8985C1F307A8645C Time : 0.0 sec. user=mdettweiler [2016-03-16 12:08:55] 613*2^1423263-1 is not prime. Res64: C00A9BEC24CC096A Time : 0.0 sec. user=mdettweiler [2016-03-16 12:08:55] 625*2^1423263-1 is not prime. Res64: 13B528917C63D89C Time : 0.0 sec. user=mdettweiler [2016-03-16 12:08:56] 685*2^1423263-1 is not prime. Res64: 3BE04ABE3B40AB79 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:08:56] 693*2^1423263-1 is not prime. Res64: 11F7FEB5F7038598 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:09:03] 735*2^1423263-1 is not prime. Res64: 81BBC20F24D39334 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:09:03] 781*2^1423263-1 is not prime. Res64: 74FC6A61277996BD Time : 0.0 sec. user=mdettweiler [2016-03-16 12:09:04] 859*2^1423263-1 is not prime. Res64: DA59FDE8AEB01575 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:09:04] 861*2^1423263-1 is not prime. Res64: 2DB2F118B5FFFE8E Time : 0.0 sec. user=mdettweiler [2016-03-16 12:09:05] 961*2^1423263-1 is not prime. Res64: FB38959F948888A2 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:12:25] 963*2^1423263-1 is not prime. Res64: 5819F1C0A99F6944 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:12:26] 615*2^1423264-1 is not prime. Res64: E107E73899219D18 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:12:26] 657*2^1423264-1 is not prime. Res64: BB77CE3BB0C91079 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:12:26] 663*2^1423264-1 is not prime. Res64: 0E80E82CACB38D4E Time : 0.0 sec. user=mdettweiler [2016-03-16 12:12:27] 707*2^1423264-1 is not prime. Res64: 12A8F67D76211773 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:14:20] 717*2^1423264-1 is not prime. Res64: 7625CA737684C81C Time : 0.0 sec. user=mdettweiler [2016-03-16 12:14:20] 719*2^1423264-1 is not prime. Res64: 380ED3514BFF3E69 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:14:21] 755*2^1423264-1 is not prime. Res64: F7D6A90736973BDC Time : 0.0 sec. user=mdettweiler [2016-03-16 12:14:21] 813*2^1423264-1 is not prime. Res64: 4D56309DF13FF7D0 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:14:22] 875*2^1423264-1 is not prime. Res64: 6BF8C1F235A0BAF5 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:53:51] 795*2^1423265-1 is not prime. Res64: 1696ABF1DCEF8531 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:53:51] 831*2^1423265-1 is not prime. Res64: FF2C1B933C042EBC Time : 0.0 sec. user=mdettweiler [2016-03-16 12:53:51] 841*2^1423265-1 is not prime. Res64: FAB9CAA0D52FC651 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:53:52] 925*2^1423265-1 is not prime. Res64: B399164C3E5BCD46 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:53:52] 979*2^1423265-1 is not prime. Res64: 0FEA14D6160B975E Time : 0.0 sec. user=mdettweiler [2016-03-16 12:54:05] 989*2^1423264-1 is not prime. Res64: AF2DF7FA379BF985 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:54:05] 601*2^1423265-1 is not prime. Res64: 482AE9053D6B99B7 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:54:06] 679*2^1423265-1 is not prime. Res64: 29FEA19FCD2DB4E9 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:54:06] 697*2^1423265-1 is not prime. Res64: BBBCF9B402CA2EDF Time : 0.0 sec. user=mdettweiler [2016-03-16 12:54:06] 777*2^1423265-1 is not prime. Res64: 99974FBE2D28A983 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:57:23] 641*2^1423266-1 is not prime. Res64: 00C6AAEFB327C943 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:57:24] 705*2^1423266-1 is not prime. Res64: 726EB6DFB2F5FB63 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:57:24] 765*2^1423266-1 is not prime. Res64: 87D88BF3FEC66FAB Time : 0.0 sec. user=mdettweiler [2016-03-16 12:57:25] 767*2^1423266-1 is not prime. Res64: BFD7A7CFA2C8A56A Time : 0.0 sec. user=mdettweiler [2016-03-16 12:57:25] 803*2^1423266-1 is not prime. Res64: ABFA513E9E21BB36 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:59:23] 851*2^1423266-1 is not prime. Res64: 95EC21A927254943 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:59:24] 873*2^1423266-1 is not prime. Res64: 01136946BBF26261 Time : 0.0 sec. user=mdettweiler [2016-03-16 12:59:24] 615*2^1423267-1 is not prime. Res64: 8023E4775964569C Time : 0.0 sec. user=mdettweiler [2016-03-16 12:59:24] 663*2^1423267-1 is not prime. Res64: 05BDF4532FC34EFE Time : 0.0 sec. user=mdettweiler [2016-03-16 12:59:25] 681*2^1423267-1 is not prime. Res64: B65C701213C77A96 Time : 0.0 sec. user=mdettweiler [2016-03-16 13:38:45] 805*2^1423267-1 is not prime. Res64: AD161CA4B3020302 Time : 0.0 sec. user=mdettweiler [2016-03-16 13:38:46] 835*2^1423267-1 is not prime. Res64: 32EC73D72B340A81 Time : 0.0 sec. user=mdettweiler [2016-03-16 13:38:46] 961*2^1423267-1 is not prime. Res64: 270D310B049BF18A Time : 0.0 sec. user=mdettweiler [2016-03-16 13:38:47] 617*2^1423268-1 is not prime. Res64: 1E02D671263C6468 Time : 0.0 sec. user=mdettweiler [2016-03-16 13:38:47] 623*2^1423268-1 is not prime. Res64: 5BC1AC5D925F8083 Time : 0.0 sec. user=mdettweiler [2016-03-16 13:39:07] 633*2^1423268-1 is not prime. Res64: CA9E5D6A22EE09E5 Time : 0.0 sec. user=mdettweiler [2016-03-16 13:39:07] 855*2^1423268-1 is not prime. Res64: 1DEFA54F684C58F0 Time : 0.0 sec. user=mdettweiler [2016-03-16 13:39:08] 879*2^1423268-1 is not prime. Res64: 07A0C07DA6E9BE8E Time : 0.0 sec. user=mdettweiler [2016-03-16 13:39:08] 885*2^1423268-1 is not prime. Res64: E5566A145AA2DB86 Time : 0.0 sec. user=mdettweiler [2016-03-16 13:39:09] 893*2^1423268-1 is not prime. Res64: 38EE8557598AB79D Time : 0.0 sec. user=mdettweiler [2016-03-16 13:42:31] 959*2^1423268-1 is not prime. Res64: D872E5A12FA68B75 Time : 0.0 sec. user=mdettweiler [2016-03-16 13:42:31] 963*2^1423268-1 is not prime. Res64: D545F55DEF3BD276 Time : 0.0 sec. user=mdettweiler [2016-03-16 13:42:32] 995*2^1423268-1 is not prime. Res64: 2E77D5B1CC039D03 Time : 0.0 sec. user=mdettweiler [2016-03-16 13:42:32] 649*2^1423269-1 is not prime. Res64: B2122B5FB55D339F Time : 0.0 sec. user=mdettweiler [2016-03-16 13:42:33] 685*2^1423269-1 is not prime. Res64: EEB0C19EB10D671F Time : 0.0 sec. user=mdettweiler [2016-03-16 13:44:20] 889*2^1423269-1 is not prime. Res64: D97EEFF7A9DA033C Time : 0.0 sec. user=mdettweiler [2016-03-16 13:44:20] 975*2^1423269-1 is not prime. Res64: CB3FE5A378BFC953 Time : 0.0 sec. user=mdettweiler [2016-03-16 13:44:20] 635*2^1423270-1 is not prime. Res64: F4C8018FE054DACF Time : 0.0 sec. user=mdettweiler [2016-03-16 13:44:21] 645*2^1423270-1 is not prime. Res64: 88B8DB3488F59AC8 Time : 0.0 sec. user=mdettweiler [2016-03-16 13:44:21] 713*2^1423270-1 is not prime. Res64: EAD3509CF9728C92 Time : 0.0 sec. user=mdettweiler [2016-03-16 14:23:43] 717*2^1423270-1 is not prime. Res64: 3E444E2E51003483 Time : 0.0 sec. user=mdettweiler [2016-03-16 14:23:44] 783*2^1423270-1 is not prime. Res64: 6722AC1EE72CE312 Time : 0.0 sec. user=mdettweiler [2016-03-16 14:23:44] 873*2^1423270-1 is not prime. Res64: CCA6A98464E68337 Time : 0.0 sec. user=mdettweiler [2016-03-16 14:23:45] 923*2^1423270-1 is not prime. Res64: 09A8955D9B2FA58F Time : 0.0 sec. user=mdettweiler [2016-03-16 14:23:46] 615*2^1423271-1 is not prime. Res64: 39734AD2A1647AA1 Time : 0.0 sec. user=mdettweiler [2016-03-16 14:24:07] 783*2^1423271-1 is not prime. Res64: 8D4EFF8DB65E10BC Time : 0.0 sec. user=mdettweiler [2016-03-16 14:24:07] 865*2^1423271-1 is not prime. Res64: E0342C6D9363DC74 Time : 0.0 sec. user=mdettweiler [2016-03-16 14:24:08] 993*2^1423271-1 is not prime. Res64: B07992B0C2297D23 Time : 0.0 sec. user=mdettweiler [2016-03-16 14:24:08] 627*2^1423272-1 is not prime. Res64: C110A02855984BCA Time : 0.0 sec. user=mdettweiler [2016-03-16 14:24:08] 719*2^1423272-1 is not prime. Res64: E2BB46E5B1BE1B0C Time : 0.0 sec. user=mdettweiler [2016-03-16 14:27:27] 875*2^1423272-1 is not prime. Res64: 53B93842E1C58552 Time : 0.0 sec. user=mdettweiler [2016-03-16 14:27:28] 903*2^1423272-1 is not prime. Res64: 8F22AE5EFBA32B8F Time : 0.0 sec. user=mdettweiler [2016-03-16 14:27:29] 947*2^1423272-1 is not prime. Res64: BFED79C214A45EE1 Time : 0.0 sec. user=mdettweiler [2016-03-16 14:27:29] 681*2^1423273-1 is not prime. Res64: 63EB805DBD9D29D2 Time : 0.0 sec. user=mdettweiler [2016-03-16 14:27:30] 691*2^1423273-1 is not prime. Res64: 89E2BAFB63D7E6F8 Time : 0.0 sec. user=mdettweiler [2016-03-16 14:29:13] 721*2^1423273-1 is not prime. Res64: 13E471D507FC9510 Time : 0.0 sec. user=mdettweiler [2016-03-16 14:29:13] 771*2^1423273-1 is not prime. Res64: 69E77572AB899ACA Time : 0.0 sec. user=mdettweiler [2016-03-16 14:29:14] 775*2^1423273-1 is not prime. Res64: 21F8C6E534DB1872 Time : 0.0 sec. user=mdettweiler [2016-03-16 14:29:14] 801*2^1423273-1 is not prime. Res64: D9CB2D3A81026A1E Time : 0.0 sec. user=mdettweiler [2016-03-16 14:29:15] 847*2^1423273-1 is not prime. Res64: 5E9C57E8FEC2284B Time : 0.0 sec. user=mdettweiler [2016-03-16 15:08:42] 955*2^1423273-1 is not prime. Res64: 3682E9D6C81374E4 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:08:42] 705*2^1423274-1 is not prime. Res64: 07C20ABB060D2D4B Time : 0.0 sec. user=mdettweiler [2016-03-16 15:08:43] 707*2^1423274-1 is not prime. Res64: 24CA914099CFAB69 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:08:43] 753*2^1423274-1 is not prime. Res64: 6FF0838F4574EFA8 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:08:44] 813*2^1423274-1 is not prime. Res64: 4CB6F4F8DF2C632E Time : 0.0 sec. user=mdettweiler [2016-03-16 15:09:08] 851*2^1423274-1 is not prime. Res64: 4DFED8DA3FC775EE Time : 0.0 sec. user=mdettweiler [2016-03-16 15:09:08] 921*2^1423274-1 is not prime. Res64: D37A4D2E502D2422 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:09:08] 927*2^1423274-1 is not prime. Res64: A2F4600C8E1648E2 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:09:09] 945*2^1423274-1 is not prime. Res64: 4313ECF3587D1C8C Time : 0.0 sec. user=mdettweiler [2016-03-16 15:09:09] 981*2^1423274-1 is not prime. Res64: 881860D50EE54929 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:12:29] 995*2^1423274-1 is not prime. Res64: 81232A4B27E21A9A Time : 0.0 sec. user=mdettweiler [2016-03-16 15:12:29] 735*2^1423275-1 is not prime. Res64: C95AED21B99DDBC8 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:12:30] 793*2^1423275-1 is not prime. Res64: 2C08A5C5900FCF83 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:12:30] 819*2^1423275-1 is not prime. Res64: C958226B04EF264E Time : 0.0 sec. user=mdettweiler [2016-03-16 15:12:31] 861*2^1423275-1 is not prime. Res64: 2833923EBE4D72C1 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:14:28] 615*2^1423276-1 is not prime. Res64: FBB79153BAFCD4F7 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:14:29] 663*2^1423276-1 is not prime. Res64: 5007A16B44EAAC4C Time : 0.0 sec. user=mdettweiler [2016-03-16 15:14:29] 947*2^1423276-1 is not prime. Res64: 38991E7F1B33C98B Time : 0.0 sec. user=mdettweiler [2016-03-16 15:14:29] 727*2^1423277-1 is not prime. Res64: 7BB2FA76D6969056 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:14:30] 729*2^1423277-1 is not prime. Res64: 5E1564069E9A78B5 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:32:14] 699*2^1423280-1 is not prime. Res64: EA8DBB1FBB7924F4 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:53:59] 741*2^1423277-1 is not prime. Res64: 92A64A63CA36A15B Time : 0.0 sec. user=mdettweiler [2016-03-16 15:54:00] 865*2^1423277-1 is not prime. Res64: FB625F1E142ACC2D Time : 0.0 sec. user=mdettweiler [2016-03-16 15:54:00] 945*2^1423277-1 is not prime. Res64: B887F961A52B9639 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:54:01] 991*2^1423277-1 is not prime. Res64: F4BD858279475CDA Time : 0.0 sec. user=mdettweiler [2016-03-16 15:54:01] 621*2^1423278-1 is not prime. Res64: 58D68D0C6C34A5CA Time : 0.0 sec. user=mdettweiler [2016-03-16 15:54:14] 641*2^1423278-1 is not prime. Res64: B6DC30BA807F0E4C Time : 0.0 sec. user=mdettweiler [2016-03-16 15:54:14] 755*2^1423278-1 is not prime. Res64: EE44BA329C4D7173 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:54:15] 765*2^1423278-1 is not prime. Res64: 21FE153085EEAC67 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:54:15] 815*2^1423278-1 is not prime. Res64: 71C4120EB01848AE Time : 0.0 sec. user=mdettweiler [2016-03-16 15:54:15] 609*2^1423279-1 is not prime. Res64: C79772AE995DA7BE Time : 0.0 sec. user=mdettweiler [2016-03-16 15:57:27] 619*2^1423279-1 is not prime. Res64: 2B62653C125D6813 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:57:27] 685*2^1423279-1 is not prime. Res64: 996EEBAAFDE6943A Time : 0.0 sec. user=mdettweiler [2016-03-16 15:57:28] 705*2^1423279-1 is not prime. Res64: 75EFF3C0CAFFB9CC Time : 0.0 sec. user=mdettweiler [2016-03-16 15:57:28] 735*2^1423279-1 is not prime. Res64: 0AB6551330FA91C9 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:57:28] 763*2^1423279-1 is not prime. Res64: A58E8086005690B2 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:59:32] 771*2^1423279-1 is not prime. Res64: F8BB3BCE5316B1D5 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:59:33] 861*2^1423279-1 is not prime. Res64: ACB37FAC5DE58155 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:59:33] 873*2^1423279-1 is not prime. Res64: D61ECB30671781F9 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:59:33] 615*2^1423280-1 is not prime. Res64: 3C6B9174EADC6942 Time : 0.0 sec. user=mdettweiler [2016-03-16 15:59:34] 687*2^1423280-1 is not prime. Res64: DDAE9FBF0E84FB8E Time : 0.0 sec. user=mdettweiler [2016-03-16 16:07:25] 651*2^1423282-1 is not prime. Res64: 90BB8F86F2FC47AA Time : 0.0 sec. user=mdettweiler [2016-03-16 16:07:50] 737*2^1423282-1 is not prime. Res64: FF8633026AFF28C2 Time : 0.0 sec. user=mdettweiler [2016-03-16 16:40:27] 839*2^1423280-1 is not prime. Res64: F5716DE8F8DA2F1D Time : 0.0 sec. user=mdettweiler [2016-03-16 16:40:27] 963*2^1423280-1 is not prime. Res64: 7B77136EB392C7C6 Time : 0.0 sec. user=mdettweiler [2016-03-16 16:40:28] 681*2^1423281-1 is not prime. Res64: FE65084DADA2EB69 Time : 0.0 sec. user=mdettweiler [2016-03-16 16:40:28] 691*2^1423281-1 is not prime. Res64: A128A49B7874BF5D Time : 0.0 sec. user=mdettweiler [2016-03-16 16:40:28] 711*2^1423281-1 is not prime. Res64: 2DCA3C5F55B700C3 Time : 0.0 sec. user=mdettweiler [2016-03-16 16:40:35] 713*2^1423280-1 is not prime. Res64: 4045B10229E7B86A Time : 0.0 sec. user=mdettweiler [2016-03-16 16:40:36] 753*2^1423280-1 is not prime. Res64: D6D6BAE4721961FC Time : 0.0 sec. user=mdettweiler [2016-03-16 16:40:36] 773*2^1423280-1 is not prime. Res64: F71021ACED901239 Time : 0.0 sec. user=mdettweiler [2016-03-16 16:40:36] 777*2^1423280-1 is not prime. Res64: CBF5C6EA4B74BD2E Time : 0.0 sec. user=mdettweiler [2016-03-16 16:40:36] 789*2^1423280-1 is not prime. Res64: 3144B1192555A4EA Time : 0.0 sec. user=mdettweiler [2016-03-16 16:42:45] 781*2^1423283-1 is not prime. Res64: F51E78038060985F Time : 0.0 sec. user=mdettweiler [2016-03-16 16:42:55] 853*2^1423283-1 is not prime. Res64: 263CA43198E23415 Time : 0.0 sec. user=mdettweiler [2016-03-16 16:43:15] 745*2^1423283-1 is not prime. Res64: C25160344F2781F6 Time : 0.0 sec. user=mdettweiler [2016-03-16 16:43:17] 735*2^1423283-1 is not prime. Res64: 2D479235C5FBC38E Time : 0.0 sec. user=mdettweiler [2016-03-16 16:44:11] 739*2^1423281-1 is not prime. Res64: 4FBFF238EFF25135 Time : 0.0 sec. user=mdettweiler [2016-03-16 16:44:11] 747*2^1423281-1 is not prime. Res64: C6E99D2F47529FDE Time : 0.0 sec. user=mdettweiler [2016-03-16 16:44:12] 751*2^1423281-1 is not prime. Res64: F9D53FBDCFBBDE31 Time : 0.0 sec. user=mdettweiler [2016-03-16 16:44:12] 777*2^1423281-1 is not prime. Res64: 7E1C45D2821A76F5 Time : 0.0 sec. user=mdettweiler [2016-03-16 16:44:12] 951*2^1423281-1 is not prime. Res64: 339CE091CB17FDF3 Time : 0.0 sec. user=mdettweiler [2016-03-16 16:46:06] 801*2^1423282-1 is not prime. Res64: 6AD85EA0426A5131 Time : 0.0 sec. user=mdettweiler [2016-03-16 16:46:07] 821*2^1423282-1 is not prime. Res64: 1C77A4A0085AAC66 Time : 0.0 sec. user=mdettweiler [2016-03-16 16:46:07] 885*2^1423282-1 is not prime. Res64: 70F8DE2B7A2FF3F6 Time : 0.0 sec. user=mdettweiler [2016-03-16 16:46:07] 951*2^1423282-1 is not prime. Res64: F609ED5DEA3572C4 Time : 0.0 sec. user=mdettweiler [2016-03-16 16:46:08] 715*2^1423283-1 is not prime. Res64: 629152FEA29FF1FA Time : 0.0 sec. user=mdettweiler [2016-03-16 17:28:14] 871*2^1423283-1 is not prime. Res64: 52498D3BC58DD47A Time : 0.0 sec. user=mdettweiler [2016-03-16 17:28:15] 963*2^1423283-1 is not prime. Res64: 4D8A4529CE6D2B79 Time : 0.0 sec. user=mdettweiler [2016-03-16 17:28:15] 605*2^1423284-1 is not prime. Res64: C221530BD972D425 Time : 0.0 sec. user=mdettweiler [2016-03-16 17:28:15] 965*2^1423284-1 is not prime. Res64: C4A5311B2E7C58FD Time : 0.0 sec. user=mdettweiler [2016-03-16 17:28:16] 969*2^1423284-1 is not prime. Res64: 65ABFC00DE0D644B Time : 0.0 sec. user=mdettweiler [2016-03-16 17:28:35] 983*2^1423284-1 is not prime. Res64: A34B4C7F595EB39A Time : 0.0 sec. user=mdettweiler [2016-03-16 17:28:35] 645*2^1423285-1 is not prime. Res64: BB053711149B450A Time : 0.0 sec. user=mdettweiler [2016-03-16 17:28:35] 649*2^1423285-1 is not prime. Res64: 3B1A8795C494EEF2 Time : 0.0 sec. user=mdettweiler [2016-03-16 17:28:36] 667*2^1423285-1 is not prime. Res64: BEF3A1F9A6C3B738 Time : 0.0 sec. user=mdettweiler [2016-03-16 17:28:36] 721*2^1423285-1 is not prime. Res64: 07B256D94A58F089 Time : 0.0 sec. user=mdettweiler [2016-03-16 17:32:30] 759*2^1423285-1 is not prime. Res64: 0DEE0AE304B81E9F Time : 0.0 sec. user=mdettweiler [2016-03-16 17:32:30] 955*2^1423285-1 is not prime. Res64: 9766D8192D08B808 Time : 0.0 sec. user=mdettweiler [2016-03-16 17:32:30] 623*2^1423286-1 is not prime. Res64: ED770B6EFA5F8671 Time : 0.0 sec. user=mdettweiler [2016-03-16 17:32:31] 713*2^1423286-1 is not prime. Res64: AB43E509109FC866 Time : 0.0 sec. user=mdettweiler [2016-03-16 17:32:31] 935*2^1423286-1 is not prime. Res64: 2FC20018DF5B9484 Time : 0.0 sec. user=mdettweiler [2016-03-16 17:34:30] 661*2^1423287-1 is not prime. Res64: 98EECAEF5366957F Time : 0.0 sec. user=mdettweiler [2016-03-16 17:34:30] 775*2^1423287-1 is not prime. Res64: 6A03FB34B158A86E Time : 0.0 sec. user=mdettweiler [2016-03-16 17:34:30] 829*2^1423287-1 is not prime. Res64: 479C703E72C8BF81 Time : 0.0 sec. user=mdettweiler [2016-03-16 17:34:31] 973*2^1423287-1 is not prime. Res64: 8F6CA7493D2655B8 Time : 0.0 sec. user=mdettweiler [2016-03-16 17:34:31] 635*2^1423288-1 is not prime. Res64: 43CDB2FD310F5BE7 Time : 0.0 sec. user=mdettweiler [2016-03-16 18:17:08] 699*2^1423288-1 is not prime. Res64: 4083CEF9E47486C7 Time : 0.0 sec. user=mdettweiler [2016-03-16 18:17:08] 813*2^1423288-1 is not prime. Res64: BD8F9F4D13E2CAD8 Time : 0.0 sec. user=mdettweiler [2016-03-16 18:17:09] 839*2^1423288-1 is not prime. Res64: 53237F0DC7E72ABB Time : 0.0 sec. user=mdettweiler [2016-03-16 18:17:09] 933*2^1423288-1 is not prime. Res64: 082E1D564FC4A340 Time : 0.0 sec. user=mdettweiler [2016-03-16 18:17:09] 969*2^1423288-1 is not prime. Res64: 22308291CC87E1F1 Time : 0.0 sec. user=mdettweiler [2016-03-16 18:18:51] 675*2^1423289-1 is not prime. Res64: C746B8F57915D058 Time : 0.0 sec. user=mdettweiler [2016-03-16 18:18:51] 771*2^1423289-1 is not prime. Res64: 42A0ACA23393749D Time : 0.0 sec. user=mdettweiler [2016-03-16 18:18:52] 819*2^1423289-1 is not prime. Res64: FD16E6402B6C462F Time : 0.0 sec. user=mdettweiler [2016-03-16 18:18:52] 847*2^1423289-1 is not prime. Res64: DC8EF2CBF3E35DC4 Time : 0.0 sec. user=mdettweiler [2016-03-16 18:18:52] 885*2^1423289-1 is not prime. Res64: 37DF6FD881B90604 Time : 0.0 sec. user=mdettweiler [2016-03-16 18:21:25] 939*2^1423289-1 is not prime. Res64: DB1DDE0F1B11E573 Time : 0.0 sec. user=mdettweiler [2016-03-16 18:21:25] 949*2^1423289-1 is not prime. Res64: F6F35C448CCD02A0 Time : 0.0 sec. user=mdettweiler [2016-03-16 18:21:26] 987*2^1423289-1 is not prime. Res64: D3B6544F248EE3F8 Time : 0.0 sec. user=mdettweiler [2016-03-16 18:21:26] 677*2^1423290-1 is not prime. Res64: 38E556434CB3D738 Time : 0.0 sec. user=mdettweiler [2016-03-16 18:21:27] 723*2^1423290-1 is not prime. Res64: 6EE3E28B488F2D9E Time : 0.0 sec. user=mdettweiler [2016-03-16 18:23:21] 801*2^1423290-1 is not prime. Res64: 536A9A6B4D098BB1 Time : 0.0 sec. user=mdettweiler [2016-03-16 18:23:21] 861*2^1423290-1 is not prime. Res64: 46A7F326022C1129 Time : 0.0 sec. user=mdettweiler [2016-03-16 18:23:22] 873*2^1423290-1 is not prime. Res64: 3D9296E9887192E9 Time : 0.0 sec. user=mdettweiler [2016-03-16 18:23:22] 933*2^1423290-1 is not prime. Res64: 3FA153CEA946521D Time : 0.0 sec. user=mdettweiler [2016-03-16 18:23:23] 645*2^1423291-1 is not prime. Res64: C9D67970AEF15EEA Time : 0.0 sec. user=mdettweiler [2016-03-16 19:03:17] 715*2^1423291-1 is not prime. Res64: 378FD42CA3903FB8 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:03:19] 733*2^1423291-1 is not prime. Res64: 6AA8201B13B45A9E Time : 0.0 sec. user=mdettweiler [2016-03-16 19:03:20] 783*2^1423291-1 is not prime. Res64: 13370C58631C534B Time : 0.0 sec. user=mdettweiler [2016-03-16 19:03:21] 891*2^1423291-1 is not prime. Res64: D1D535C712B4E4A9 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:03:22] 615*2^1423292-1 is not prime. Res64: CDE289E1CA0F5345 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:04:51] 635*2^1423292-1 is not prime. Res64: A7845BD2B5803BB4 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:04:53] 699*2^1423292-1 is not prime. Res64: 6AC2F986180854D9 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:04:54] 803*2^1423292-1 is not prime. Res64: CBD1A83F983849C5 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:04:55] 827*2^1423292-1 is not prime. Res64: D4DE24B1CC5E4250 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:04:57] 879*2^1423292-1 is not prime. Res64: 5A288EC4D14BBCE0 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:07:20] 657*2^1423293-1 is not prime. Res64: A214E755CF2D910C Time : 0.0 sec. user=mdettweiler [2016-03-16 19:07:20] 747*2^1423293-1 is not prime. Res64: DC1B62F984EB7823 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:07:21] 795*2^1423293-1 is not prime. Res64: A6C9F6754DCE6AB1 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:07:21] 819*2^1423293-1 is not prime. Res64: 11619120FBF3BED3 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:07:22] 895*2^1423293-1 is not prime. Res64: DAA42773A4C6EEB2 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:09:16] 921*2^1423293-1 is not prime. Res64: C03A53CB4079F39D Time : 0.0 sec. user=mdettweiler [2016-03-16 19:09:17] 617*2^1423294-1 is not prime. Res64: C510680EA0BEE3C8 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:09:17] 651*2^1423294-1 is not prime. Res64: 4306B0BEAAFCC56D Time : 0.0 sec. user=mdettweiler [2016-03-16 19:09:18] 741*2^1423294-1 is not prime. Res64: BDF0386B3E9BF3DA Time : 0.0 sec. user=mdettweiler [2016-03-16 19:09:18] 827*2^1423294-1 is not prime. Res64: BCD39F153CBB1FDA Time : 0.0 sec. user=mdettweiler [2016-03-16 19:48:39] 857*2^1423294-1 is not prime. Res64: 1990E5224C517D69 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:48:39] 891*2^1423294-1 is not prime. Res64: 54D76996FB8F43E8 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:48:40] 957*2^1423294-1 is not prime. Res64: 487C02E77E4810F0 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:48:40] 649*2^1423295-1 is not prime. Res64: 4A8F2B61CDE1E3F0 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:48:41] 693*2^1423295-1 is not prime. Res64: 56424A021C3B714E Time : 0.0 sec. user=mdettweiler [2016-03-16 19:50:02] 949*2^1423295-1 is not prime. Res64: 5E167047F9BC7B87 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:50:03] 963*2^1423295-1 is not prime. Res64: A4E2E8847993DFBE Time : 0.0 sec. user=mdettweiler [2016-03-16 19:50:03] 981*2^1423295-1 is not prime. Res64: 3AF09C55B75EFE0E Time : 0.0 sec. user=mdettweiler [2016-03-16 19:50:04] 615*2^1423296-1 is not prime. Res64: 0EC67BE7935AB160 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:50:04] 629*2^1423296-1 is not prime. Res64: 2DA79B7F5EEB176A Time : 0.0 sec. user=mdettweiler [2016-03-16 19:52:27] 633*2^1423296-1 is not prime. Res64: 94E056AFBA4C96DA Time : 0.0 sec. user=mdettweiler [2016-03-16 19:52:28] 717*2^1423296-1 is not prime. Res64: 420B46C955C64E06 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:52:28] 857*2^1423296-1 is not prime. Res64: 43F2FD6AF8385A78 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:52:28] 923*2^1423296-1 is not prime. Res64: 59E9C42626800629 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:52:29] 969*2^1423296-1 is not prime. Res64: 90B2C16C3BCC4847 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:54:20] 607*2^1423297-1 is not prime. Res64: DBD969F2136644C3 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:54:21] 765*2^1423297-1 is not prime. Res64: F2ED9D8BB81C72DC Time : 0.0 sec. user=mdettweiler [2016-03-16 19:54:21] 819*2^1423297-1 is not prime. Res64: 6F50F103C4475325 Time : 0.0 sec. user=mdettweiler [2016-03-16 19:54:22] 829*2^1423297-1 is not prime. Res64: 69D09E4DE84A2E8D Time : 0.0 sec. user=mdettweiler [2016-03-16 19:54:22] 831*2^1423297-1 is not prime. Res64: E57303DBDE9FECC2 Time : 0.0 sec. user=mdettweiler [2016-03-16 20:33:43] 901*2^1423297-1 is not prime. Res64: 6C6471D5779F170B Time : 0.0 sec. user=mdettweiler [2016-03-16 20:33:44] 955*2^1423297-1 is not prime. Res64: 667629DC0E27B6C9 Time : 0.0 sec. user=mdettweiler [2016-03-16 20:33:44] 603*2^1423298-1 is not prime. Res64: 309C1010EB901493 Time : 0.0 sec. user=mdettweiler [2016-03-16 20:33:45] 677*2^1423298-1 is not prime. Res64: 4573DF1911C3DF1A Time : 0.0 sec. user=mdettweiler [2016-03-16 20:33:45] 867*2^1423298-1 is not prime. Res64: 4C0C9D44DE1441EB Time : 0.0 sec. user=mdettweiler [2016-03-16 20:35:19] 875*2^1423298-1 is not prime. Res64: 75D77C70CCE69024 Time : 0.0 sec. user=mdettweiler [2016-03-16 20:35:20] 663*2^1423299-1 is not prime. Res64: 6E33114FA25E7656 Time : 0.0 sec. user=mdettweiler [2016-03-16 20:35:20] 741*2^1423299-1 is not prime. Res64: 2683EF59EC98C3C3 Time : 0.0 sec. user=mdettweiler [2016-03-16 20:35:21] 835*2^1423299-1 is not prime. Res64: 80F3F13FBF43B779 Time : 0.0 sec. user=mdettweiler [2016-03-16 20:35:21] 891*2^1423299-1 is not prime. Res64: A7467B642790829C Time : 0.0 sec. user=mdettweiler [2016-03-16 20:38:02] 985*2^1423299-1 is not prime. Res64: 21AF2521564AB3C5 Time : 0.0 sec. user=mdettweiler [2016-03-16 20:38:03] 603*2^1423300-1 is not prime. Res64: 58C06F8432A78C2D Time : 0.0 sec. user=mdettweiler [2016-03-16 20:38:03] 813*2^1423300-1 is not prime. Res64: B6C3621C8A433056 Time : 0.0 sec. user=mdettweiler [2016-03-16 20:38:03] 825*2^1423300-1 is not prime. Res64: FE8977C75CC951FC Time : 0.0 sec. user=mdettweiler [2016-03-16 20:38:04] 989*2^1423300-1 is not prime. Res64: 8BA29841B044D595 Time : 0.0 sec. user=mdettweiler [2016-03-16 20:39:34] 627*2^1423301-1 is not prime. Res64: 39DAECC5913B89F1 Time : 0.0 sec. user=mdettweiler [2016-03-16 20:39:34] 745*2^1423301-1 is not prime. Res64: 07A11C5F48D56484 Time : 0.0 sec. user=mdettweiler [2016-03-16 20:39:34] 979*2^1423301-1 is not prime. Res64: D828ABD32A3AA5CA Time : 0.0 sec. user=mdettweiler [2016-03-16 20:39:35] 683*2^1423302-1 is not prime. Res64: 89D851D2BACFB1C2 Time : 0.0 sec. user=mdettweiler [2016-03-16 20:39:35] 755*2^1423302-1 is not prime. Res64: A36051CC312E3949 Time : 0.0 sec. user=mdettweiler [2016-03-16 21:22:15] 807*2^1423302-1 is not prime. Res64: 7F39A53500C5EFB2 Time : 0.0 sec. user=mdettweiler [2016-03-16 21:22:16] 843*2^1423302-1 is not prime. Res64: 57A8C2F88E6A40F7 Time : 0.0 sec. user=mdettweiler [2016-03-16 21:22:16] 893*2^1423302-1 is not prime. Res64: 90E725BA476109C1 Time : 0.0 sec. user=mdettweiler [2016-03-16 21:22:16] 917*2^1423302-1 is not prime. Res64: 3886A73375F5C83F Time : 0.0 sec. user=mdettweiler [2016-03-16 21:22:16] 921*2^1423302-1 is not prime. Res64: 2B2720B9C09A99AA Time : 0.0 sec. user=mdettweiler [2016-03-16 21:23:45] 609*2^1423303-1 is not prime. Res64: E78E1D104815F468 Time : 0.0 sec. user=mdettweiler [2016-03-16 21:23:45] 633*2^1423303-1 is not prime. Res64: F1F2047EE1487096 Time : 0.0 sec. user=mdettweiler [2016-03-16 21:23:45] 729*2^1423303-1 is not prime. Res64: 75450A8AA2E2D129 Time : 0.0 sec. user=mdettweiler [2016-03-16 21:23:46] 853*2^1423303-1 is not prime. Res64: 84BAE0AE3BBE041D Time : 0.0 sec. user=mdettweiler [2016-03-16 21:23:46] 915*2^1423303-1 is not prime. Res64: 55BD76E91CC6C522 Time : 0.0 sec. user=mdettweiler [2016-03-16 21:27:00] 939*2^1423303-1 is not prime. Res64: 4BFF939763103FA0 Time : 0.0 sec. user=mdettweiler [2016-03-16 21:27:00] 615*2^1423304-1 is not prime. Res64: BAB43A7CA50D0900 Time : 0.0 sec. user=mdettweiler [2016-03-16 21:27:01] 617*2^1423304-1 is not prime. Res64: B787E49226E45A3B Time : 0.0 sec. user=mdettweiler [2016-03-16 21:27:01] 683*2^1423304-1 is not prime. Res64: BBFAE6771D1D6198 Time : 0.0 sec. user=mdettweiler [2016-03-16 21:27:01] 689*2^1423304-1 is not prime. Res64: 31D21BD034D9E36A Time : 0.0 sec. user=mdettweiler [2016-03-16 21:28:22] 899*2^1423304-1 is not prime. Res64: D0BAA20054B19CE6 Time : 0.0 sec. user=mdettweiler [2016-03-16 21:28:23] 983*2^1423304-1 is not prime. Res64: DA5F074F3DF5E6BA Time : 0.0 sec. user=mdettweiler [2016-03-16 21:28:23] 625*2^1423305-1 is not prime. Res64: FF903134E411B363 Time : 0.0 sec. user=mdettweiler [2016-03-16 21:28:23] 669*2^1423305-1 is not prime. Res64: 26EBE9FD1A2AB603 Time : 0.0 sec. user=mdettweiler [2016-03-16 21:28:24] 705*2^1423305-1 is not prime. Res64: 9005E95F2155000C Time : 0.0 sec. user=mdettweiler [2016-03-16 22:01:15] 699*2^1423309-1 is not prime. Res64: 418C3DDE8F1C1A7A Time : 0.0 sec. user=mdettweiler [2016-03-16 22:12:32] 777*2^1423305-1 is not prime. Res64: 0C036B355A88F74A Time : 0.0 sec. user=mdettweiler [2016-03-16 22:12:33] 787*2^1423305-1 is not prime. Res64: A52BCC4A9C0F5F5D Time : 0.0 sec. user=mdettweiler [2016-03-16 22:12:34] 837*2^1423305-1 is not prime. Res64: 93688CF2073B1FAA Time : 0.0 sec. user=mdettweiler [2016-03-16 22:12:34] 919*2^1423305-1 is not prime. Res64: 95AD1E38448F4AA9 Time : 0.0 sec. user=mdettweiler [2016-03-16 22:12:35] 937*2^1423305-1 is not prime. Res64: A761997F7695D48A Time : 0.0 sec. user=mdettweiler [2016-03-16 22:13:48] 999*2^1423305-1 is not prime. Res64: 09DCA735870AB93E Time : 0.0 sec. user=mdettweiler [2016-03-16 22:13:49] 705*2^1423306-1 is not prime. Res64: C18DCA5D903CE2FC Time : 0.0 sec. user=mdettweiler [2016-03-16 22:13:49] 923*2^1423306-1 is not prime. Res64: 276B937C2A4B1B02 Time : 0.0 sec. user=mdettweiler [2016-03-16 22:13:49] 975*2^1423306-1 is not prime. Res64: 28E80C87B09CED64 Time : 0.0 sec. user=mdettweiler [2016-03-16 22:13:49] 609*2^1423307-1 is not prime. Res64: 0E5B884114422D8A Time : 0.0 sec. user=mdettweiler [2016-03-16 22:17:20] 693*2^1423307-1 is not prime. Res64: 3CFFF611F94F6457 Time : 0.0 sec. user=mdettweiler [2016-03-16 22:17:20] 777*2^1423308-1 is not prime. Res64: AE58AA0D36370A7A Time : 0.0 sec. user=mdettweiler [2016-03-16 22:17:20] 803*2^1423308-1 is not prime. Res64: FB2F71080B02D738 Time : 0.0 sec. user=mdettweiler [2016-03-16 22:17:21] 809*2^1423308-1 is not prime. Res64: F30E338C3B1CED48 Time : 0.0 sec. user=mdettweiler [2016-03-16 22:17:21] 845*2^1423308-1 is not prime. Res64: EE9184155CD424BB Time : 0.0 sec. user=mdettweiler [2016-03-16 22:19:07] 875*2^1423308-1 is not prime. Res64: E4F4220DF839EE22 Time : 0.0 sec. user=mdettweiler [2016-03-16 22:19:07] 609*2^1423309-1 is not prime. Res64: 9DD1832DC29B97D0 Time : 0.0 sec. user=mdettweiler [2016-03-16 22:19:08] 639*2^1423309-1 is not prime. Res64: 38E5D3EB4EDC6601 Time : 0.0 sec. user=mdettweiler [2016-03-16 22:19:08] 679*2^1423309-1 is not prime. Res64: DBA61A48FFC9EC37 Time : 0.0 sec. user=mdettweiler [2016-03-16 22:19:08] 687*2^1423309-1 is not prime. Res64: F36675FC91C828C5 Time : 0.0 sec. user=mdettweiler [2016-03-16 23:02:59] 747*2^1423309-1 is not prime. Res64: C2AD921990F94A9C Time : 0.0 sec. user=mdettweiler [2016-03-16 23:03:00] 799*2^1423309-1 is not prime. Res64: 0B67053D8F340942 Time : 0.0 sec. user=mdettweiler [2016-03-16 23:03:01] 801*2^1423309-1 is not prime. Res64: CD26141A6E6774B0 Time : 0.0 sec. user=mdettweiler [2016-03-16 23:03:02] 817*2^1423309-1 is not prime. Res64: 767E14C716B196E1 Time : 0.0 sec. user=mdettweiler [2016-03-16 23:03:03] 975*2^1423309-1 is not prime. Res64: 62A70F919BF9E91D Time : 0.0 sec. user=mdettweiler [2016-03-16 23:03:55] 641*2^1423310-1 is not prime. Res64: E68A68BBA5A8F68A Time : 0.0 sec. user=mdettweiler [2016-03-16 23:03:56] 825*2^1423310-1 is not prime. Res64: 83B967FE7B5964E1 Time : 0.0 sec. user=mdettweiler [2016-03-16 23:03:57] 875*2^1423310-1 is not prime. Res64: 79D76CEE8BE01382 Time : 0.0 sec. user=mdettweiler [2016-03-16 23:03:57] 723*2^1423311-1 is not prime. Res64: D98FF6E6C1678804 Time : 0.0 sec. user=mdettweiler [2016-03-16 23:03:58] 775*2^1423311-1 is not prime. Res64: B260B210651D0847 Time : 0.0 sec. user=mdettweiler [2016-03-16 23:07:17] 921*2^1423311-1 is not prime. Res64: 31595C25900BF151 Time : 0.0 sec. user=mdettweiler [2016-03-16 23:07:19] 931*2^1423311-1 is not prime. Res64: B4D5DA614AA9B70A Time : 0.0 sec. user=mdettweiler [2016-03-16 23:07:19] 951*2^1423311-1 is not prime. Res64: 94421E34082B3D4B Time : 0.0 sec. user=mdettweiler [2016-03-16 23:07:19] 955*2^1423311-1 is not prime. Res64: 563946196752ED80 Time : 0.0 sec. user=mdettweiler [2016-03-16 23:07:20] 961*2^1423311-1 is not prime. Res64: B42750A5C03A8143 Time : 0.0 sec. user=mdettweiler [2016-03-16 23:08:41] 979*2^1423311-1 is not prime. Res64: 41C3FE318C9C875D Time : 0.0 sec. user=mdettweiler [2016-03-16 23:08:42] 629*2^1423312-1 is not prime. Res64: 28604ECAFD5076FA Time : 0.0 sec. user=mdettweiler [2016-03-16 23:08:42] 689*2^1423312-1 is not prime. Res64: 24A95FEEF7021BEE Time : 0.0 sec. user=mdettweiler [2016-03-16 23:08:42] 747*2^1423312-1 is not prime. Res64: 3EBEC9C3BD2BF67D Time : 0.0 sec. user=mdettweiler [2016-03-16 23:08:43] 765*2^1423312-1 is not prime. Res64: BFE5C3E40B375915 Time : 0.0 sec. user=mdettweiler [2016-03-16 23:51:08] 691*2^1423313-1 is not prime. Res64: 2092D05A10A99813 Time : 0.0 sec. user=mdettweiler [2016-03-16 23:51:08] 957*2^1423313-1 is not prime. Res64: 1EBC734678B2C305 Time : 0.0 sec. user=mdettweiler [2016-03-16 23:51:08] 991*2^1423313-1 is not prime. Res64: D003D46266D64B02 Time : 0.0 sec. user=mdettweiler [2016-03-16 23:51:09] 633*2^1423314-1 is not prime. Res64: E4AD4A1D722EECC8 Time : 0.0 sec. user=mdettweiler [2016-03-16 23:51:09] 635*2^1423314-1 is not prime. Res64: DDB032039C5CEEDE Time : 0.0 sec. user=mdettweiler [2016-03-16 23:51:19] 813*2^1423312-1 is not prime. Res64: 659279689478003C Time : 0.0 sec. user=mdettweiler [2016-03-16 23:51:19] 843*2^1423312-1 is not prime. Res64: A168C97D93ED004B Time : 0.0 sec. user=mdettweiler [2016-03-16 23:51:20] 869*2^1423312-1 is not prime. Res64: 2C1AD525D726BEDB Time : 0.0 sec. user=mdettweiler [2016-03-16 23:51:20] 917*2^1423312-1 is not prime. Res64: 6710C3CD5ABAD31F Time : 0.0 sec. user=mdettweiler [2016-03-16 23:51:20] 615*2^1423313-1 is not prime. Res64: F79240B6775B6A98 Time : 0.0 sec. user=mdettweiler [2016-03-16 23:55:18] 641*2^1423314-1 is not prime. Res64: 5F4D7E425542B07F Time : 0.0 sec. user=mdettweiler [2016-03-16 23:55:18] 905*2^1423314-1 is not prime. Res64: BEC66A2156D21318 Time : 0.0 sec. user=mdettweiler [2016-03-16 23:55:18] 915*2^1423314-1 is not prime. Res64: 916D9A6E621B11B4 Time : 0.0 sec. user=mdettweiler [2016-03-16 23:55:19] 679*2^1423315-1 is not prime. Res64: 1F10D960EFE1732D Time : 0.0 sec. user=mdettweiler [2016-03-16 23:55:19] 699*2^1423315-1 is not prime. Res64: EC12239DBCA7A9DC Time : 0.0 sec. user=mdettweiler [2016-03-16 23:56:19] 723*2^1423315-1 is not prime. Res64: B26448659092D037 Time : 0.0 sec. user=mdettweiler [2016-03-16 23:56:20] 735*2^1423315-1 is not prime. Res64: CFBDA2CDDF04FE1F Time : 0.0 sec. user=mdettweiler [2016-03-16 23:56:20] 765*2^1423315-1 is not prime. Res64: F389B8640EB7B50C Time : 0.0 sec. user=mdettweiler [2016-03-16 23:56:20] 915*2^1423315-1 is not prime. Res64: 9C6F81EA0365195C Time : 0.0 sec. user=mdettweiler [2016-03-16 23:56:21] 647*2^1423316-1 is not prime. Res64: 628614394FA7F6CF Time : 0.0 sec.