user=mdettweiler [2015-08-18 00:10:47] 881*2^1406718-1 is not prime. Res64: 4F691DAA41C5F1B5 Time : 0.0 sec. user=mdettweiler [2015-08-18 00:10:47] 891*2^1406718-1 is not prime. Res64: DFCE823B57A968BF Time : 0.0 sec. user=mdettweiler [2015-08-18 00:11:14] 945*2^1406718-1 is not prime. Res64: F8DFA08B15541C12 Time : 0.0 sec. user=mdettweiler [2015-08-18 00:11:15] 977*2^1406718-1 is not prime. Res64: EB1431366176A17A Time : 0.0 sec. user=mdettweiler [2015-08-18 00:17:25] 619*2^1406719-1 is not prime. Res64: A1AF01F3075F58DF Time : 0.0 sec. user=mdettweiler [2015-08-18 00:17:25] 709*2^1406719-1 is not prime. Res64: 4962456B69304D69 Time : 0.0 sec. user=mdettweiler [2015-08-18 00:17:43] 855*2^1406719-1 is not prime. Res64: 068F5E8560E2A1DE Time : 0.0 sec. user=mdettweiler [2015-08-18 00:17:43] 931*2^1406719-1 is not prime. Res64: 857FE2A227AC51CE Time : 0.0 sec. user=mdettweiler [2015-08-18 00:28:25] 933*2^1406719-1 is not prime. Res64: 6F70DD0CC4868BCE Time : 0.0 sec. user=mdettweiler [2015-08-18 00:28:26] 605*2^1406720-1 is not prime. Res64: D85D22EDE2A5B004 Time : 0.0 sec. user=mdettweiler [2015-08-18 00:28:45] 747*2^1406720-1 is not prime. Res64: 1BADFF455DD324B7 Time : 0.0 sec. user=mdettweiler [2015-08-18 00:28:45] 797*2^1406720-1 is not prime. Res64: 011D05C7DB241414 Time : 0.0 sec. user=mdettweiler [2015-08-18 00:34:53] 819*2^1406720-1 is not prime. Res64: DDC3BFAC2E0F03D8 Time : 0.0 sec. user=mdettweiler [2015-08-18 00:34:54] 923*2^1406720-1 is not prime. Res64: 93CD0CF19644D372 Time : 0.0 sec. user=mdettweiler [2015-08-18 00:35:09] 927*2^1406720-1 is not prime. Res64: C635AB655996AB11 Time : 0.0 sec. user=mdettweiler [2015-08-18 00:35:09] 963*2^1406720-1 is not prime. Res64: EA6EE185C2A3E0F5 Time : 0.0 sec. user=mdettweiler [2015-08-18 00:45:56] 607*2^1406721-1 is not prime. Res64: 4EA881B39506657F Time : 0.0 sec. user=mdettweiler [2015-08-18 00:45:56] 679*2^1406721-1 is not prime. Res64: D51CBC938C901A91 Time : 0.0 sec. user=mdettweiler [2015-08-18 00:46:20] 681*2^1406721-1 is not prime. Res64: 92CC23158A681B6E Time : 0.0 sec. user=mdettweiler [2015-08-18 00:46:21] 805*2^1406721-1 is not prime. Res64: 5CB798867FF77202 Time : 0.0 sec. user=mdettweiler [2015-08-18 00:52:27] 807*2^1406721-1 is not prime. Res64: FD8AAAF1FB16DD42 Time : 0.0 sec. user=mdettweiler [2015-08-18 00:52:28] 969*2^1406721-1 is not prime. Res64: 8566A0A1E6128622 Time : 0.0 sec. user=mdettweiler [2015-08-18 00:52:41] 647*2^1406722-1 is not prime. Res64: 4B2B2EC7C245BB03 Time : 0.0 sec. user=mdettweiler [2015-08-18 00:52:41] 801*2^1406722-1 is not prime. Res64: B4835D41798BED09 Time : 0.0 sec. user=mdettweiler [2015-08-18 01:03:28] 885*2^1406722-1 is not prime. Res64: 85A2144D06E694FD Time : 0.0 sec. user=mdettweiler [2015-08-18 01:03:29] 945*2^1406722-1 is not prime. Res64: 60A54B3904CE0CBD Time : 0.0 sec. user=mdettweiler [2015-08-18 01:03:51] 643*2^1406723-1 is not prime. Res64: E3886F512A107E30 Time : 0.0 sec. user=mdettweiler [2015-08-18 01:03:52] 675*2^1406723-1 is not prime. Res64: B826D455B2BB5AC1 Time : 0.0 sec. user=mdettweiler [2015-08-18 01:09:52] 775*2^1406723-1 is not prime. Res64: B6E14C530922A605 Time : 0.0 sec. user=mdettweiler [2015-08-18 01:09:52] 999*2^1406723-1 is not prime. Res64: 839F18F1E4B2BE94 Time : 0.0 sec. user=mdettweiler [2015-08-18 01:10:05] 609*2^1406724-1 is not prime. Res64: 5F632FE4071A5D57 Time : 0.0 sec. user=mdettweiler [2015-08-18 01:10:06] 623*2^1406724-1 is not prime. Res64: 9313DEA64D8ABE2A Time : 0.0 sec. user=mdettweiler [2015-08-18 01:21:11] 689*2^1406724-1 is not prime. Res64: FB3339F3DA6AE2E2 Time : 0.0 sec. user=mdettweiler [2015-08-18 01:21:11] 693*2^1406724-1 is not prime. Res64: 59F792B3FB2A0106 Time : 0.0 sec. user=mdettweiler [2015-08-18 01:21:29] 767*2^1406724-1 is not prime. Res64: 1D0DB36A383F8CA7 Time : 0.0 sec. user=mdettweiler [2015-08-18 01:21:29] 873*2^1406724-1 is not prime. Res64: 9437AE7A417EF467 Time : 0.0 sec. user=mdettweiler [2015-08-18 01:27:28] 947*2^1406724-1 is not prime. Res64: 64DB32AEE7C00AE3 Time : 0.0 sec. user=mdettweiler [2015-08-18 01:27:29] 649*2^1406725-1 is not prime. Res64: 9CC33758EDD498F2 Time : 0.0 sec. user=mdettweiler [2015-08-18 01:27:47] 685*2^1406725-1 is not prime. Res64: 2AEA7CDA23DB5281 Time : 0.0 sec. user=mdettweiler [2015-08-18 01:27:48] 715*2^1406725-1 is not prime. Res64: ECDE959F9DE6C23E Time : 0.0 sec. user=mdettweiler [2015-08-18 01:38:47] 897*2^1406725-1 is not prime. Res64: 1E4F8F8357EE5568 Time : 0.0 sec. user=mdettweiler [2015-08-18 01:38:47] 939*2^1406725-1 is not prime. Res64: 547BFBC93E9CB946 Time : 0.0 sec. user=mdettweiler [2015-08-18 01:39:02] 795*2^1406726-1 is not prime. Res64: 7A0680475AB44AFC Time : 0.0 sec. user=mdettweiler [2015-08-18 01:39:03] 953*2^1406726-1 is not prime. Res64: 70A4865552C5F206 Time : 0.0 sec. user=mdettweiler [2015-08-18 01:45:05] 649*2^1406727-1 is not prime. Res64: C316542A1DDF045A Time : 0.0 sec. user=mdettweiler [2015-08-18 01:45:05] 685*2^1406727-1 is not prime. Res64: 8F7CDC0CB283323A Time : 0.0 sec. user=mdettweiler [2015-08-18 01:45:30] 703*2^1406727-1 is not prime. Res64: 90004A42F10742C5 Time : 0.0 sec. user=mdettweiler [2015-08-18 01:45:30] 741*2^1406727-1 is not prime. Res64: 5C93FB4787F62F2B Time : 0.0 sec. user=mdettweiler [2015-08-18 01:56:21] 781*2^1406727-1 is not prime. Res64: 31DDDA79625D3D9D Time : 0.0 sec. user=mdettweiler [2015-08-18 01:56:21] 843*2^1406727-1 is not prime. Res64: F807FDD05754F54B Time : 0.0 sec. user=mdettweiler [2015-08-18 01:56:38] 849*2^1406727-1 is not prime. Res64: 1F57FC7D7813559B Time : 0.0 sec. user=mdettweiler [2015-08-18 01:56:39] 933*2^1406727-1 is not prime. Res64: FA5867D73F4334C3 Time : 0.0 sec. user=mdettweiler [2015-08-18 02:02:51] 961*2^1406727-1 is not prime. Res64: 411C8B5066ED83BC Time : 0.0 sec. user=mdettweiler [2015-08-18 02:02:52] 635*2^1406728-1 is not prime. Res64: 01102534FC1268F5 Time : 0.0 sec. user=mdettweiler [2015-08-18 02:03:11] 735*2^1406728-1 is not prime. Res64: B77706BE94ACF8BC Time : 0.0 sec. user=mdettweiler [2015-08-18 02:03:12] 755*2^1406728-1 is not prime. Res64: 72492DBAA9A17EF9 Time : 0.0 sec. user=mdettweiler [2015-08-18 02:13:52] 839*2^1406728-1 is not prime. Res64: BD5A9F64F5FB8F4F Time : 0.0 sec. user=mdettweiler [2015-08-18 02:13:53] 915*2^1406728-1 is not prime. Res64: 4F25FBBD10364C66 Time : 0.0 sec. user=mdettweiler [2015-08-18 02:14:10] 957*2^1406728-1 is not prime. Res64: C662816F7CB2F6A6 Time : 0.0 sec. user=mdettweiler [2015-08-18 02:14:10] 721*2^1406729-1 is not prime. Res64: FFBAA892B2A22C50 Time : 0.0 sec. user=mdettweiler [2015-08-18 02:20:28] 787*2^1406729-1 is not prime. Res64: CFEB8EA0303D8DA5 Time : 0.0 sec. user=mdettweiler [2015-08-18 02:20:28] 819*2^1406729-1 is not prime. Res64: A90154DDBBFA1DAF Time : 0.0 sec. user=mdettweiler [2015-08-18 02:20:56] 855*2^1406729-1 is not prime. Res64: F8ABB45FA8770B8F Time : 0.0 sec. user=mdettweiler [2015-08-18 02:20:56] 909*2^1406729-1 is not prime. Res64: 711CBF2D9692C27E Time : 0.0 sec. user=mdettweiler [2015-08-18 02:31:21] 951*2^1406729-1 is not prime. Res64: 80C75C2B0845E8B4 Time : 0.0 sec. user=mdettweiler [2015-08-18 02:31:22] 671*2^1406730-1 is not prime. Res64: 9E51FFCF6F8D82FF Time : 0.0 sec. user=mdettweiler [2015-08-18 02:31:40] 851*2^1406730-1 is not prime. Res64: D6B38D234952DB64 Time : 0.0 sec. user=mdettweiler [2015-08-18 02:31:41] 891*2^1406730-1 is not prime. Res64: 972B25534D1C64E1 Time : 0.0 sec. user=mdettweiler [2015-08-18 02:38:01] 917*2^1406730-1 is not prime. Res64: 5553A19D37BB806A Time : 0.0 sec. user=mdettweiler [2015-08-18 02:38:01] 971*2^1406730-1 is not prime. Res64: D43F21D94F836745 Time : 0.0 sec. user=mdettweiler [2015-08-18 02:38:36] 603*2^1406731-1 is not prime. Res64: 1AB6411C51F8B4E5 Time : 0.0 sec. user=mdettweiler [2015-08-18 02:38:36] 615*2^1406731-1 is not prime. Res64: 1B615B78E21B44F2 Time : 0.0 sec. user=mdettweiler [2015-08-18 02:49:03] 649*2^1406731-1 is not prime. Res64: 6378349862FA8123 Time : 0.0 sec. user=mdettweiler [2015-08-18 02:49:04] 691*2^1406731-1 is not prime. Res64: 13E1D628C8B2A3FD Time : 0.0 sec. user=mdettweiler [2015-08-18 02:49:22] 723*2^1406731-1 is not prime. Res64: 6D6F5F51E8B37337 Time : 0.0 sec. user=mdettweiler [2015-08-18 02:49:22] 759*2^1406731-1 is not prime. Res64: F94D87F6A1DB3299 Time : 0.0 sec. user=mdettweiler [2015-08-18 02:55:35] 861*2^1406731-1 is not prime. Res64: 043ED844A43EB5E6 Time : 0.0 sec. user=mdettweiler [2015-08-18 02:55:36] 885*2^1406731-1 is not prime. Res64: B30D304428BACDAB Time : 0.0 sec. user=mdettweiler [2015-08-18 02:56:05] 975*2^1406731-1 is not prime. Res64: E032A0834D567170 Time : 0.0 sec. user=mdettweiler [2015-08-18 02:56:06] 623*2^1406732-1 is not prime. Res64: F2FE92ECF7E5BE35 Time : 0.0 sec. user=mdettweiler [2015-08-18 03:06:41] 699*2^1406732-1 is not prime. Res64: F2CE04C414DFB924 Time : 0.0 sec. user=mdettweiler [2015-08-18 03:06:42] 725*2^1406732-1 is not prime. Res64: BFC56475F4B00777 Time : 0.0 sec. user=mdettweiler [2015-08-18 03:06:55] 749*2^1406732-1 is not prime. Res64: 38840A9302D0D597 Time : 0.0 sec. user=mdettweiler [2015-08-18 03:06:55] 957*2^1406732-1 is not prime. Res64: 6F0DD11845C63BAE Time : 0.0 sec. user=mdettweiler [2015-08-18 03:13:13] 963*2^1406732-1 is not prime. Res64: B1ACF698ABF3EFA0 Time : 0.0 sec. user=mdettweiler [2015-08-18 03:13:14] 651*2^1406733-1 is not prime. Res64: DCA0B8D2A89FCC1D Time : 0.0 sec. user=mdettweiler [2015-08-18 03:13:46] 657*2^1406733-1 is not prime. Res64: F119D0AA7DEC6004 Time : 0.0 sec. user=mdettweiler [2015-08-18 03:13:46] 829*2^1406733-1 is not prime. Res64: DC57E16DB7553950 Time : 0.0 sec. user=mdettweiler [2015-08-18 03:24:18] 837*2^1406733-1 is not prime. Res64: DF56C235C4B9904E Time : 0.0 sec. user=mdettweiler [2015-08-18 03:24:19] 867*2^1406733-1 is not prime. Res64: 07F6DA11E414305F Time : 0.0 sec. user=mdettweiler [2015-08-18 03:24:23] 741*2^1406734-1 is not prime. Res64: 7347CDD9E9357320 Time : 0.0 sec. user=mdettweiler [2015-08-18 03:24:23] 765*2^1406734-1 is not prime. Res64: B7F2A03F39713FA0 Time : 0.0 sec. user=mdettweiler [2015-08-18 03:30:42] 813*2^1406734-1 is not prime. Res64: 28E9FA7B286A9485 Time : 0.0 sec. user=mdettweiler [2015-08-18 03:30:44] 983*2^1406734-1 is not prime. Res64: C5C3A5935195FC25 Time : 0.0 sec. user=mdettweiler [2015-08-18 03:31:23] 609*2^1406735-1 is not prime. Res64: 13D3521E20CB8493 Time : 0.0 sec. user=mdettweiler [2015-08-18 03:31:24] 643*2^1406735-1 is not prime. Res64: 6B8ECA8FA2B8E263 Time : 0.0 sec. user=mdettweiler [2015-08-18 03:42:01] 861*2^1406735-1 is not prime. Res64: 5EB63E3CD853EFC8 Time : 0.0 sec. user=mdettweiler [2015-08-18 03:42:02] 655*2^1406735-1 is not prime. Res64: 480EEC6F81B866C2 Time : 0.0 sec. user=mdettweiler [2015-08-18 03:42:03] 859*2^1406735-1 is not prime. Res64: BFA0C29095FF43AC Time : 0.0 sec. user=mdettweiler [2015-08-18 03:42:04] 939*2^1406735-1 is not prime. Res64: FB4302BF43496183 Time : 0.0 sec. user=mdettweiler [2015-08-18 03:48:43] 979*2^1406735-1 is not prime. Res64: F5CED72E47C8EB44 Time : 0.0 sec. user=mdettweiler [2015-08-18 03:48:44] 669*2^1406736-1 is not prime. Res64: 3E25CAF745292DF7 Time : 0.0 sec. user=mdettweiler [2015-08-18 03:49:03] 695*2^1406736-1 is not prime. Res64: C560322F42A192EE Time : 0.0 sec. user=mdettweiler [2015-08-18 03:49:04] 705*2^1406736-1 is not prime. Res64: 6C8869F6594BB380 Time : 0.0 sec. user=mdettweiler [2015-08-18 04:00:10] 735*2^1406736-1 is not prime. Res64: 3B3AE54E2271579E Time : 0.0 sec. user=mdettweiler [2015-08-18 04:00:10] 759*2^1406736-1 is not prime. Res64: CBA656CD9AC43D08 Time : 0.0 sec. user=mdettweiler [2015-08-18 04:00:11] 767*2^1406736-1 is not prime. Res64: 1DEACBF220D18CCA Time : 0.0 sec. user=mdettweiler [2015-08-18 04:00:13] 899*2^1406736-1 is not prime. Res64: A2E03414D4FE156A Time : 0.0 sec. user=mdettweiler [2015-08-18 04:06:15] 923*2^1406736-1 is not prime. Res64: 7121E5D9CE887DF5 Time : 0.0 sec. user=mdettweiler [2015-08-18 04:06:16] 699*2^1406737-1 is not prime. Res64: 927CC586365EAFB7 Time : 0.0 sec. user=mdettweiler [2015-08-18 04:06:38] 835*2^1406737-1 is not prime. Res64: 3B51BBD850A59ECF Time : 0.0 sec. user=mdettweiler [2015-08-18 04:06:39] 895*2^1406737-1 is not prime. Res64: 1817789B47B9AE1A Time : 0.0 sec. user=mdettweiler [2015-08-18 04:17:43] 635*2^1406738-1 is not prime. Res64: F70A4E6EB7F13D7F Time : 0.0 sec. user=mdettweiler [2015-08-18 04:17:44] 735*2^1406738-1 is not prime. Res64: 8188B90B61FD5043 Time : 0.0 sec. user=mdettweiler [2015-08-18 04:17:45] 755*2^1406738-1 is not prime. Res64: C9A2EF2DAF76400A Time : 0.0 sec. user=mdettweiler [2015-08-18 04:17:46] 797*2^1406738-1 is not prime. Res64: 51A44F9E21280160 Time : 0.0 sec. user=mdettweiler [2015-08-18 04:23:43] 825*2^1406738-1 is not prime. Res64: 0C1E21CCF31FC376 Time : 0.0 sec. user=mdettweiler [2015-08-18 04:23:44] 867*2^1406738-1 is not prime. Res64: A3BA6D605B08A305 Time : 0.0 sec. user=mdettweiler [2015-08-18 04:24:20] 963*2^1406738-1 is not prime. Res64: D00EA30FC17058E5 Time : 0.0 sec. user=mdettweiler [2015-08-18 04:24:21] 621*2^1406739-1 is not prime. Res64: BB93257BCF923A03 Time : 0.0 sec. user=mdettweiler [2015-08-18 04:36:04] 649*2^1406739-1 is not prime. Res64: EBE26D88EA2C80C4 Time : 0.0 sec. user=mdettweiler [2015-08-18 04:36:05] 735*2^1406739-1 is not prime. Res64: 7AB3D3A887F5777B Time : 0.0 sec. user=mdettweiler [2015-08-18 04:36:37] 835*2^1406739-1 is not prime. Res64: C712E6759C680CF3 Time : 0.0 sec. user=mdettweiler [2015-08-18 04:36:38] 859*2^1406739-1 is not prime. Res64: D038C790C522F178 Time : 0.0 sec. user=mdettweiler [2015-08-18 04:42:36] 909*2^1406739-1 is not prime. Res64: 7182F5787862613F Time : 0.0 sec. user=mdettweiler [2015-08-18 04:42:36] 973*2^1406739-1 is not prime. Res64: 8D209F7CEF5001A1 Time : 0.0 sec. user=mdettweiler [2015-08-18 04:42:37] 677*2^1406740-1 is not prime. Res64: 1A376EDE5D5F9BF1 Time : 0.0 sec. user=mdettweiler [2015-08-18 04:42:37] 813*2^1406740-1 is not prime. Res64: 82004E8EDFD192B5 Time : 0.0 sec. user=mdettweiler [2015-08-18 04:53:31] 843*2^1406740-1 is not prime. Res64: BF426E4624F47E8D Time : 0.0 sec. user=mdettweiler [2015-08-18 04:53:31] 669*2^1406741-1 is not prime. Res64: 1AE3163F5CFF164D Time : 0.0 sec. user=mdettweiler [2015-08-18 04:54:14] 711*2^1406741-1 is not prime. Res64: F20FA3E72DDAACE7 Time : 0.0 sec. user=mdettweiler [2015-08-18 04:54:15] 829*2^1406741-1 is not prime. Res64: 810B5FEE5D96D25A Time : 0.0 sec. user=mdettweiler [2015-08-18 05:00:09] 931*2^1406741-1 is not prime. Res64: B3782A386F150A9D Time : 0.0 sec. user=mdettweiler [2015-08-18 05:00:09] 937*2^1406741-1 is not prime. Res64: 5D538FA6480167F5 Time : 0.0 sec. user=mdettweiler [2015-08-18 05:00:09] 951*2^1406741-1 is not prime. Res64: DA2A6392C1625B6B Time : 0.0 sec. user=mdettweiler [2015-08-18 05:00:10] 955*2^1406741-1 is not prime. Res64: 2A4324351519F904 Time : 0.0 sec. user=mdettweiler [2015-08-18 05:11:02] 979*2^1406741-1 is not prime. Res64: 16DFA8F7EC3F64D0 Time : 0.0 sec. user=mdettweiler [2015-08-18 05:11:03] 693*2^1406742-1 is not prime. Res64: A453A8C49D96B3E4 Time : 0.0 sec. user=mdettweiler [2015-08-18 05:11:51] 711*2^1406742-1 is not prime. Res64: DEA9F590640D9B96 Time : 0.0 sec. user=mdettweiler [2015-08-18 05:11:52] 777*2^1406742-1 is not prime. Res64: A19A8BD678859308 Time : 0.0 sec. user=mdettweiler [2015-08-18 05:17:48] 843*2^1406742-1 is not prime. Res64: 2493DCAA81E8C65D Time : 0.0 sec. user=mdettweiler [2015-08-18 05:17:48] 863*2^1406742-1 is not prime. Res64: C48C8B6EA1C5716C Time : 0.0 sec. user=mdettweiler [2015-08-18 05:17:56] 797*2^1406742-1 is not prime. Res64: E5549612E08832BB Time : 0.0 sec. user=mdettweiler [2015-08-18 05:17:57] 807*2^1406742-1 is not prime. Res64: BD5E1862F848ACD8 Time : 0.0 sec. user=mdettweiler [2015-08-18 05:28:43] 903*2^1406742-1 is not prime. Res64: C787A0AFF544C7F8 Time : 0.0 sec. user=mdettweiler [2015-08-18 05:28:44] 945*2^1406742-1 is not prime. Res64: A78D0D567EA2D33A Time : 0.0 sec. user=mdettweiler [2015-08-18 05:29:29] 975*2^1406742-1 is not prime. Res64: F44D1916279A63D4 Time : 0.0 sec. user=mdettweiler [2015-08-18 05:29:30] 625*2^1406743-1 is not prime. Res64: C9079F72F8D72AA4 Time : 0.0 sec. user=mdettweiler [2015-08-18 05:35:23] 703*2^1406743-1 is not prime. Res64: C8BC318F4871A526 Time : 0.0 sec. user=mdettweiler [2015-08-18 05:35:23] 783*2^1406743-1 is not prime. Res64: E65E6B772492139B Time : 0.0 sec. user=mdettweiler [2015-08-18 05:35:32] 793*2^1406743-1 is not prime. Res64: BAB36549187604BA Time : 0.0 sec. user=mdettweiler [2015-08-18 05:35:33] 891*2^1406743-1 is not prime. Res64: E8AC5660CBB6F80D Time : 0.0 sec. user=mdettweiler [2015-08-18 05:46:14] 961*2^1406743-1 is not prime. Res64: 833C0F90FF26DDA8 Time : 0.0 sec. user=mdettweiler [2015-08-18 05:46:15] 725*2^1406744-1 is not prime. Res64: 93F8135F141F92D6 Time : 0.0 sec. user=mdettweiler [2015-08-18 05:47:06] 875*2^1406744-1 is not prime. Res64: 1A982387FEA88EBF Time : 0.0 sec. user=mdettweiler [2015-08-18 05:47:06] 711*2^1406745-1 is not prime. Res64: 8F7D9BBAF734BC85 Time : 0.0 sec. user=mdettweiler [2015-08-18 05:53:01] 951*2^1406745-1 is not prime. Res64: 0664EFD981232E24 Time : 0.0 sec. user=mdettweiler [2015-08-18 05:53:02] 969*2^1406745-1 is not prime. Res64: D3848687AAB96886 Time : 0.0 sec. user=mdettweiler [2015-08-18 05:53:03] 741*2^1406745-1 is not prime. Res64: C8E2032897167D97 Time : 0.0 sec. user=mdettweiler [2015-08-18 05:53:03] 895*2^1406745-1 is not prime. Res64: 146EA74C6795C9F7 Time : 0.0 sec. user=mdettweiler [2015-08-18 06:03:43] 985*2^1406745-1 is not prime. Res64: 5E9BA4A711F4E1E7 Time : 0.0 sec. user=mdettweiler [2015-08-18 06:03:45] 651*2^1406746-1 is not prime. Res64: 8BE15E90BCD0FA78 Time : 0.0 sec. user=mdettweiler [2015-08-18 06:04:36] 677*2^1406746-1 is not prime. Res64: F388763AA544D181 Time : 0.0 sec. user=mdettweiler [2015-08-18 06:04:38] 705*2^1406746-1 is not prime. Res64: 823309A3929C505F Time : 0.0 sec. user=mdettweiler [2015-08-18 06:10:31] 777*2^1406746-1 is not prime. Res64: CCF08CD871796471 Time : 0.0 sec. user=mdettweiler [2015-08-18 06:10:31] 983*2^1406746-1 is not prime. Res64: 954E619AD3150F44 Time : 0.0 sec. user=mdettweiler [2015-08-18 06:10:35] 1001*2^1406746-1 is not prime. Res64: F39BB182D8F2AACB Time : 0.0 sec. user=mdettweiler [2015-08-18 06:10:36] 643*2^1406747-1 is not prime. Res64: 248E4758A81DA0DD Time : 0.0 sec. user=mdettweiler [2015-08-18 06:21:23] 655*2^1406747-1 is not prime. Res64: A3C091926CF238E1 Time : 0.0 sec. user=mdettweiler [2015-08-18 06:21:23] 813*2^1406747-1 is not prime. Res64: 124EC2A5A0F7561A Time : 0.0 sec. user=mdettweiler [2015-08-18 06:22:16] 913*2^1406747-1 is not prime. Res64: 9DE38C1A0C1C3163 Time : 0.0 sec. user=mdettweiler [2015-08-18 06:22:16] 949*2^1406747-1 is not prime. Res64: 7C28A6ED3812D83D Time : 0.0 sec. user=mdettweiler [2015-08-18 06:28:01] 979*2^1406747-1 is not prime. Res64: E7EC28F2E147CB01 Time : 0.0 sec. user=mdettweiler [2015-08-18 06:28:01] 981*2^1406747-1 is not prime. Res64: 311FF405BBAE1C79 Time : 0.0 sec. user=mdettweiler [2015-08-18 06:28:06] 633*2^1406748-1 is not prime. Res64: 76AD5381FA243973 Time : 0.0 sec. user=mdettweiler [2015-08-18 06:28:06] 735*2^1406748-1 is not prime. Res64: 581E065430442959 Time : 0.0 sec. user=mdettweiler [2015-08-18 06:38:52] 795*2^1406748-1 is not prime. Res64: 4A0282900F0F22EC Time : 0.0 sec. user=mdettweiler [2015-08-18 06:38:52] 837*2^1406748-1 is not prime. Res64: 926707B00839EEF4 Time : 0.0 sec. user=mdettweiler [2015-08-18 06:39:47] 927*2^1406748-1 is not prime. Res64: 31C9CCB47BDCA276 Time : 0.0 sec. user=mdettweiler [2015-08-18 06:39:48] 993*2^1406748-1 is not prime. Res64: F2901DB40D82E253 Time : 0.0 sec. user=mdettweiler [2015-08-18 06:45:30] 649*2^1406749-1 is not prime. Res64: 57059108196E306F Time : 0.0 sec. user=mdettweiler [2015-08-18 06:45:31] 679*2^1406749-1 is not prime. Res64: E08494E307AB3EB1 Time : 0.0 sec. user=mdettweiler [2015-08-18 06:45:34] 855*2^1406749-1 is not prime. Res64: 7430C572C2FE9F3D Time : 0.0 sec. user=mdettweiler [2015-08-18 06:45:34] 985*2^1406749-1 is not prime. Res64: 78396EC1440AEE81 Time : 0.0 sec. user=mdettweiler [2015-08-18 06:56:26] 665*2^1406750-1 is not prime. Res64: D51CA38E7B29E71D Time : 0.0 sec. user=mdettweiler [2015-08-18 06:56:26] 797*2^1406750-1 is not prime. Res64: 64D9526613F95390 Time : 0.0 sec. user=mdettweiler [2015-08-18 06:57:20] 827*2^1406750-1 is not prime. Res64: E73784417FE73273 Time : 0.0 sec. user=mdettweiler [2015-08-18 06:57:21] 857*2^1406750-1 is not prime. Res64: 973888FA53CE96C5 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:02:59] 893*2^1406750-1 is not prime. Res64: B0E471294768B362 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:03:00] 897*2^1406750-1 is not prime. Res64: F60284C4883C86D4 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:03:16] 935*2^1406750-1 is not prime. Res64: 3E04E827DDF022D7 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:03:17] 1001*2^1406750-1 is not prime. Res64: CBA1B77D6514DEE6 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:14:34] 691*2^1406751-1 is not prime. Res64: CEFE87435B0C8EC8 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:14:35] 751*2^1406751-1 is not prime. Res64: EC85F00A61204661 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:15:03] 763*2^1406751-1 is not prime. Res64: D88B12D71F163EAC Time : 0.0 sec. user=mdettweiler [2015-08-18 07:15:04] 775*2^1406751-1 is not prime. Res64: D8A3C869CE4B4E28 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:20:55] 895*2^1406751-1 is not prime. Res64: 08BA07DA230A26D7 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:20:55] 909*2^1406751-1 is not prime. Res64: EFA58518C290B42F Time : 0.0 sec. user=mdettweiler [2015-08-18 07:20:58] 677*2^1406752-1 is not prime. Res64: 18B3F6EDCBF8FBF1 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:20:59] 735*2^1406752-1 is not prime. Res64: 3B8F458F603B5D9A Time : 0.0 sec. user=mdettweiler [2015-08-18 07:32:02] 777*2^1406752-1 is not prime. Res64: 21D21992CF5A9EB5 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:32:03] 797*2^1406752-1 is not prime. Res64: C923E7679E2450D8 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:32:39] 849*2^1406752-1 is not prime. Res64: 8181694E32DB6B3D Time : 0.0 sec. user=mdettweiler [2015-08-18 07:32:40] 863*2^1406752-1 is not prime. Res64: D82725359A81D28C Time : 0.0 sec. user=mdettweiler [2015-08-18 07:38:24] 999*2^1406752-1 is not prime. Res64: E7E5D82AEF07AF53 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:38:25] 607*2^1406753-1 is not prime. Res64: A2CA59E23C8FD823 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:38:34] 691*2^1406753-1 is not prime. Res64: B04D60D1BC55F296 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:38:34] 741*2^1406753-1 is not prime. Res64: A1B58C42036C8DB4 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:49:31] 771*2^1406753-1 is not prime. Res64: 7B5607FFE6BB2551 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:49:32] 829*2^1406753-1 is not prime. Res64: C1B897961A20BCC4 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:50:13] 897*2^1406753-1 is not prime. Res64: B28BED4A93F7FC96 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:50:14] 901*2^1406753-1 is not prime. Res64: B93A384B9D129F53 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:56:05] 949*2^1406753-1 is not prime. Res64: 8B61000F67490FEA Time : 0.0 sec. user=mdettweiler [2015-08-18 07:56:06] 717*2^1406754-1 is not prime. Res64: 606240DE31805759 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:56:10] 747*2^1406754-1 is not prime. Res64: A84874C187EF53B4 Time : 0.0 sec. user=mdettweiler [2015-08-18 07:56:10] 821*2^1406754-1 is not prime. Res64: A2286529AC85866E Time : 0.0 sec. user=mdettweiler [2015-08-18 08:07:01] 873*2^1406754-1 is not prime. Res64: DBF25006B66EC2EB Time : 0.0 sec. user=mdettweiler [2015-08-18 08:07:02] 947*2^1406754-1 is not prime. Res64: 5AF758CC15441431 Time : 0.0 sec. user=mdettweiler [2015-08-18 08:07:50] 639*2^1406755-1 is not prime. Res64: E1EE7A0876A09BDE Time : 0.0 sec. user=mdettweiler [2015-08-18 08:07:51] 843*2^1406755-1 is not prime. Res64: AE676FADA9790C67 Time : 0.0 sec. user=mdettweiler [2015-08-18 08:13:34] 885*2^1406755-1 is not prime. Res64: A1D65D8B651FF346 Time : 0.0 sec. user=mdettweiler [2015-08-18 08:13:34] 909*2^1406755-1 is not prime. Res64: 1CE5523D53677E0B Time : 0.0 sec. user=mdettweiler [2015-08-18 08:13:38] 973*2^1406755-1 is not prime. Res64: DB5F62191E73DE0D Time : 0.0 sec. user=mdettweiler [2015-08-18 08:13:39] 659*2^1406756-1 is not prime. Res64: 706DB5BD8E19DDB8 Time : 0.0 sec. user=mdettweiler [2015-08-18 08:24:33] 759*2^1406756-1 is not prime. Res64: 10A710F1D3FE0EF0 Time : 0.0 sec. user=mdettweiler [2015-08-18 08:24:34] 767*2^1406756-1 is not prime. Res64: FBC72C7DA11EF3A4 Time : 0.0 sec. user=mdettweiler [2015-08-18 08:25:22] 839*2^1406756-1 is not prime. Res64: 2B5DBFC76D651E12 Time : 0.0 sec. user=mdettweiler [2015-08-18 08:25:22] 999*2^1406756-1 is not prime. Res64: 7C22A089A39ABAEE Time : 0.0 sec. user=mdettweiler [2015-08-18 08:31:06] 607*2^1406757-1 is not prime. Res64: FEEB7FA7B52F56E3 Time : 0.0 sec. user=mdettweiler [2015-08-18 08:31:06] 625*2^1406757-1 is not prime. Res64: 5FA002BFB389890E Time : 0.0 sec. user=mdettweiler [2015-08-18 08:31:09] 651*2^1406757-1 is not prime. Res64: 856C6D9C4508D085 Time : 0.0 sec. user=mdettweiler [2015-08-18 08:31:10] 681*2^1406757-1 is not prime. Res64: 7A100FA1CC831CB6 Time : 0.0 sec. user=mdettweiler [2015-08-18 08:42:08] 717*2^1406757-1 is not prime. Res64: 3B36380D2085D3F9 Time : 0.0 sec. user=mdettweiler [2015-08-18 08:42:08] 741*2^1406757-1 is not prime. Res64: B6E11DC5C10A8CEF Time : 0.0 sec. user=mdettweiler [2015-08-18 08:42:54] 859*2^1406757-1 is not prime. Res64: 92AA0BEB91259F35 Time : 0.0 sec. user=mdettweiler [2015-08-18 08:42:55] 901*2^1406757-1 is not prime. Res64: 9716A7A647582956 Time : 0.0 sec. user=mdettweiler [2015-08-18 08:48:40] 605*2^1406758-1 is not prime. Res64: 7EEB513AE4AB55F6 Time : 0.0 sec. user=mdettweiler [2015-08-18 08:48:40] 617*2^1406758-1 is not prime. Res64: C44BED3E79865D2A Time : 0.0 sec. user=mdettweiler [2015-08-18 08:48:41] 635*2^1406758-1 is not prime. Res64: 4DA7CF3E6FC7AA20 Time : 0.0 sec. user=mdettweiler [2015-08-18 08:48:41] 665*2^1406758-1 is not prime. Res64: 7AAF5E52C24C6E6F Time : 0.0 sec. user=mdettweiler [2015-08-18 08:59:36] 695*2^1406758-1 is not prime. Res64: 2F13CBBCEE3FEBBC Time : 0.0 sec. user=mdettweiler [2015-08-18 08:59:36] 737*2^1406758-1 is not prime. Res64: A91EA165E865F8CF Time : 0.0 sec. user=mdettweiler [2015-08-18 09:00:20] 761*2^1406758-1 is not prime. Res64: EE72AD8C68814A92 Time : 0.0 sec. user=mdettweiler [2015-08-18 09:00:20] 773*2^1406758-1 is not prime. Res64: 741F5A62C5345321 Time : 0.0 sec. user=mdettweiler [2015-08-18 09:06:12] 777*2^1406758-1 is not prime. Res64: 8FA6E5384F27A564 Time : 0.0 sec. user=mdettweiler [2015-08-18 09:06:12] 815*2^1406758-1 is not prime. Res64: B8466804896EC398 Time : 0.0 sec. user=mdettweiler [2015-08-18 09:06:13] 845*2^1406758-1 is not prime. Res64: 7A07A0289367BC60 Time : 0.0 sec. user=mdettweiler [2015-08-18 09:06:13] 633*2^1406759-1 is not prime. Res64: 07F143B73A248AC3 Time : 0.0 sec. user=mdettweiler [2015-08-18 09:17:01] 705*2^1406759-1 is not prime. Res64: E0B14A95A458BF15 Time : 0.0 sec. user=mdettweiler [2015-08-18 09:17:02] 885*2^1406759-1 is not prime. Res64: E8AB7A39F3E8894C Time : 0.0 sec. user=mdettweiler [2015-08-18 09:17:53] 939*2^1406759-1 is not prime. Res64: 60DDCA49D567797D Time : 0.0 sec. user=mdettweiler [2015-08-18 09:17:53] 943*2^1406759-1 is not prime. Res64: D4C14952EDD8B629 Time : 0.0 sec. user=mdettweiler [2015-08-18 09:23:38] 795*2^1406760-1 is not prime. Res64: 5B3DBDF74929135E Time : 0.0 sec. user=mdettweiler [2015-08-18 09:23:39] 857*2^1406760-1 is not prime. Res64: 6F8C89667EB65714 Time : 0.0 sec. user=mdettweiler [2015-08-18 09:23:39] 689*2^1406760-1 is not prime. Res64: ED2D8BC78DD734D2 Time : 0.0 sec. user=mdettweiler [2015-08-18 09:23:40] 725*2^1406760-1 is not prime. Res64: 0350B916B7E2C3AF Time : 0.0 sec. user=mdettweiler [2015-08-18 09:34:31] 863*2^1406760-1 is not prime. Res64: 49F77E4DD15FF93C Time : 0.0 sec. user=mdettweiler [2015-08-18 09:34:31] 687*2^1406761-1 is not prime. Res64: 53979724951625C8 Time : 0.0 sec. user=mdettweiler [2015-08-18 09:35:18] 741*2^1406761-1 is not prime. Res64: AC3F952803D613DE Time : 0.0 sec. user=mdettweiler [2015-08-18 09:35:18] 835*2^1406761-1 is not prime. Res64: B64C6AC3DD3EBE2B Time : 0.0 sec. user=mdettweiler [2015-08-18 09:41:08] 861*2^1406761-1 is not prime. Res64: 216CDB05614C77F3 Time : 0.0 sec. user=mdettweiler [2015-08-18 09:41:09] 871*2^1406761-1 is not prime. Res64: 729F5C6217BE2EA3 Time : 0.0 sec. user=mdettweiler [2015-08-18 09:41:10] 895*2^1406761-1 is not prime. Res64: A3D85FE33CC86709 Time : 0.0 sec. user=mdettweiler [2015-08-18 09:41:10] 909*2^1406761-1 is not prime. Res64: 8A747651AE94473A Time : 0.0 sec. user=mdettweiler [2015-08-18 09:52:02] 925*2^1406761-1 is not prime. Res64: 784CF1BE8AFCDB72 Time : 0.0 sec. user=mdettweiler [2015-08-18 09:52:03] 997*2^1406761-1 is not prime. Res64: C48B00497D5F8BDD Time : 0.0 sec. user=mdettweiler [2015-08-18 09:52:49] 627*2^1406762-1 is not prime. Res64: 774106FC74D8B7ED Time : 0.0 sec. user=mdettweiler [2015-08-18 09:52:50] 635*2^1406762-1 is not prime. Res64: CB066468E11CADD4 Time : 0.0 sec. user=mdettweiler [2015-08-18 09:58:35] 671*2^1406762-1 is not prime. Res64: E1EE43E45CA87504 Time : 0.0 sec. user=mdettweiler [2015-08-18 09:58:35] 963*2^1406762-1 is not prime. Res64: 8D29F7D9B9672DE1 Time : 0.0 sec. user=mdettweiler [2015-08-18 09:58:43] 651*2^1406762-1 is not prime. Res64: 051FBC029830580F Time : 0.0 sec. user=mdettweiler [2015-08-18 09:58:43] 657*2^1406762-1 is not prime. Res64: AF7DA81B3253297C Time : 0.0 sec. user=mdettweiler [2015-08-18 10:09:33] 823*2^1406763-1 is not prime. Res64: 8A4D958EE382C147 Time : 0.0 sec. user=mdettweiler [2015-08-18 10:09:33] 871*2^1406763-1 is not prime. Res64: 84B64D213EA857A9 Time : 0.0 sec. user=mdettweiler [2015-08-18 10:10:23] 945*2^1406763-1 is not prime. Res64: 8E55A83FD9E2321B Time : 0.0 sec. user=mdettweiler [2015-08-18 10:10:23] 609*2^1406764-1 is not prime. Res64: 8B43931846496106 Time : 0.0 sec. user=mdettweiler [2015-08-18 10:16:13] 783*2^1406764-1 is not prime. Res64: EDADFF55BF3DCDFE Time : 0.0 sec. user=mdettweiler [2015-08-18 10:16:14] 857*2^1406764-1 is not prime. Res64: DE89F86A7A11EA77 Time : 0.0 sec. user=mdettweiler [2015-08-18 10:16:17] 915*2^1406764-1 is not prime. Res64: 53A8E9C18535C8A5 Time : 0.0 sec. user=mdettweiler [2015-08-18 10:16:17] 607*2^1406765-1 is not prime. Res64: F7DEF022B863DEA7 Time : 0.0 sec. user=mdettweiler [2015-08-18 10:27:44] 759*2^1406765-1 is not prime. Res64: 0C4A96F8B23910CC Time : 0.0 sec. user=mdettweiler [2015-08-18 10:27:44] 771*2^1406765-1 is not prime. Res64: 19112BE1F3E2F6B8 Time : 0.0 sec. user=mdettweiler [2015-08-18 10:27:58] 861*2^1406765-1 is not prime. Res64: ED0A41B8500E1FCB Time : 0.0 sec. user=mdettweiler [2015-08-18 10:27:59] 937*2^1406765-1 is not prime. Res64: 96F706308CB8154A Time : 0.0 sec. user=mdettweiler [2015-08-18 10:33:44] 725*2^1406766-1 is not prime. Res64: 8CFF4AF9C5125BFB Time : 0.0 sec. user=mdettweiler [2015-08-18 10:33:44] 747*2^1406766-1 is not prime. Res64: A9FB23C1DBDDDC4E Time : 0.0 sec. user=mdettweiler [2015-08-18 10:33:45] 783*2^1406766-1 is not prime. Res64: 97F05C146C5583E3 Time : 0.0 sec. user=mdettweiler [2015-08-18 10:33:45] 795*2^1406766-1 is not prime. Res64: 06B241BA38C0A241 Time : 0.0 sec. user=mdettweiler [2015-08-18 10:45:36] 815*2^1406766-1 is not prime. Res64: 1CD5785F20099342 Time : 0.0 sec. user=mdettweiler [2015-08-18 10:45:36] 765*2^1406767-1 is not prime. Res64: 5DB8DBBA10A255C2 Time : 0.0 sec. user=mdettweiler [2015-08-18 10:46:00] 775*2^1406767-1 is not prime. Res64: E150185FA121F527 Time : 0.0 sec. user=mdettweiler [2015-08-18 10:46:00] 891*2^1406767-1 is not prime. Res64: 62D489D92EC173AF Time : 0.0 sec. user=mdettweiler [2015-08-18 10:51:58] 973*2^1406767-1 is not prime. Res64: 08E666A62A03447D Time : 0.0 sec. user=mdettweiler [2015-08-18 10:51:59] 617*2^1406768-1 is not prime. Res64: DB81E797374BADC9 Time : 0.0 sec. user=mdettweiler [2015-08-18 10:52:01] 755*2^1406768-1 is not prime. Res64: E8F475352C8AA866 Time : 0.0 sec. user=mdettweiler [2015-08-18 10:52:01] 827*2^1406768-1 is not prime. Res64: 69681602B71CFAC2 Time : 0.0 sec. user=mdettweiler [2015-08-18 11:03:56] 899*2^1406768-1 is not prime. Res64: B212E6FED4EA4348 Time : 0.0 sec. user=mdettweiler [2015-08-18 11:03:58] 999*2^1406768-1 is not prime. Res64: 8965735ECF87DAB9 Time : 0.0 sec. user=mdettweiler [2015-08-18 11:04:18] 681*2^1406769-1 is not prime. Res64: FD879FACF6C8EC60 Time : 0.0 sec. user=mdettweiler [2015-08-18 11:04:19] 727*2^1406769-1 is not prime. Res64: E63EE261C2A0F689 Time : 0.0 sec. user=mdettweiler [2015-08-18 11:10:22] 835*2^1406769-1 is not prime. Res64: 3C484A721E416A5D Time : 0.0 sec. user=mdettweiler [2015-08-18 11:10:22] 885*2^1406769-1 is not prime. Res64: 8D32C8171FB45BD6 Time : 0.0 sec. user=mdettweiler [2015-08-18 11:10:31] 907*2^1406769-1 is not prime. Res64: 2E61EF4F612C4933 Time : 0.0 sec. user=mdettweiler [2015-08-18 11:10:31] 951*2^1406769-1 is not prime. Res64: 5DEA0531E7F1BD27 Time : 0.0 sec. user=mdettweiler [2015-08-18 11:22:25] 777*2^1406770-1 is not prime. Res64: 89E7F8E5C4977E61 Time : 0.0 sec. user=mdettweiler [2015-08-18 11:22:25] 923*2^1406770-1 is not prime. Res64: 807285A3EF58B964 Time : 0.0 sec. user=mdettweiler [2015-08-18 11:22:44] 999*2^1406769-1 is not prime. Res64: DCE984956B4FDB3A Time : 0.0 sec. user=mdettweiler [2015-08-18 11:22:45] 735*2^1406770-1 is not prime. Res64: 292F2C2FE2A61FC0 Time : 0.0 sec. user=mdettweiler [2015-08-18 11:28:03] 941*2^1406770-1 is not prime. Res64: BD2C1E67BFEE283D Time : 0.0 sec. user=mdettweiler [2015-08-18 11:28:03] 703*2^1406771-1 is not prime. Res64: 65D434090297F6B2 Time : 0.0 sec. user=mdettweiler [2015-08-18 11:28:18] 735*2^1406771-1 is not prime. Res64: 923C6D8BFF905ADC Time : 0.0 sec. user=mdettweiler [2015-08-18 11:28:19] 813*2^1406771-1 is not prime. Res64: 0E900A4C0609647B Time : 0.0 sec. user=mdettweiler [2015-08-18 11:40:22] 841*2^1406771-1 is not prime. Res64: 7900DEA03F1220B3 Time : 0.0 sec. user=mdettweiler [2015-08-18 11:40:22] 883*2^1406771-1 is not prime. Res64: 0F324DF27117B0A7 Time : 0.0 sec. user=mdettweiler [2015-08-18 11:40:40] 939*2^1406771-1 is not prime. Res64: C5869D049F2BA35D Time : 0.0 sec. user=mdettweiler [2015-08-18 11:40:41] 981*2^1406771-1 is not prime. Res64: 2A89EE43A5963450 Time : 0.0 sec. user=mdettweiler [2015-08-18 11:46:22] 615*2^1406772-1 is not prime. Res64: 81B7BA697434A50B Time : 0.0 sec. user=mdettweiler [2015-08-18 11:46:22] 635*2^1406772-1 is not prime. Res64: 7F377A7D459935A3 Time : 0.0 sec. user=mdettweiler [2015-08-18 11:46:29] 675*2^1406772-1 is not prime. Res64: 833A4FB6DBBDBED3 Time : 0.0 sec. user=mdettweiler [2015-08-18 11:46:30] 689*2^1406772-1 is not prime. Res64: 724F4C4DE7083D6B Time : 0.0 sec. user=mdettweiler [2015-08-18 11:59:50] 737*2^1406772-1 is not prime. Res64: F87BD25D4C13134C Time : 0.0 sec. user=mdettweiler [2015-08-18 11:59:50] 759*2^1406772-1 is not prime. Res64: 21334849BDC66201 Time : 0.0 sec. user=mdettweiler [2015-08-18 12:00:59] 779*2^1406772-1 is not prime. Res64: 5745E5D183BCC9D0 Time : 0.0 sec. user=mdettweiler [2015-08-18 12:00:59] 803*2^1406772-1 is not prime. Res64: 1462DEC040B30D75 Time : 0.0 sec. user=mdettweiler [2015-08-18 12:06:48] 819*2^1406772-1 is not prime. Res64: A1F9737EC36A07BE Time : 0.0 sec. user=mdettweiler [2015-08-18 12:06:49] 863*2^1406772-1 is not prime. Res64: 1C054ADF43DF06DC Time : 0.0 sec. user=mdettweiler [2015-08-18 12:06:55] 983*2^1406772-1 is not prime. Res64: 4AE294E1863D138E Time : 0.0 sec. user=mdettweiler [2015-08-18 12:06:56] 699*2^1406773-1 is not prime. Res64: 6DB9C537632500D4 Time : 0.0 sec. user=mdettweiler [2015-08-18 12:19:17] 715*2^1406773-1 is not prime. Res64: 619E2E269D5A4CF6 Time : 0.0 sec. user=mdettweiler [2015-08-18 12:19:18] 769*2^1406773-1 is not prime. Res64: EC0CCD869A0F3785 Time : 0.0 sec. user=mdettweiler [2015-08-18 12:20:08] 817*2^1406773-1 is not prime. Res64: 571F47315FF353D8 Time : 0.0 sec. user=mdettweiler [2015-08-18 12:20:09] 835*2^1406773-1 is not prime. Res64: C36DE540EB3DCF07 Time : 0.0 sec. user=mdettweiler [2015-08-18 12:25:49] 895*2^1406773-1 is not prime. Res64: D8095DAC0FFBE7ED Time : 0.0 sec. user=mdettweiler [2015-08-18 12:25:49] 707*2^1406774-1 is not prime. Res64: 83E956C979E65FEC Time : 0.0 sec. user=mdettweiler [2015-08-18 12:26:07] 827*2^1406774-1 is not prime. Res64: 89C5E45125ADED6E Time : 0.0 sec. user=mdettweiler [2015-08-18 12:26:07] 945*2^1406774-1 is not prime. Res64: 735135F24D879C10 Time : 0.0 sec. user=mdettweiler [2015-08-18 12:37:45] 633*2^1406775-1 is not prime. Res64: 221AD05EB13AA8D7 Time : 0.0 sec. user=mdettweiler [2015-08-18 12:37:46] 651*2^1406775-1 is not prime. Res64: 1BAB912EEDEAE3D2 Time : 0.0 sec. user=mdettweiler [2015-08-18 12:38:38] 735*2^1406775-1 is not prime. Res64: 71D7584C7B129C1C Time : 0.0 sec. user=mdettweiler [2015-08-18 12:38:39] 823*2^1406775-1 is not prime. Res64: CBD5B683949707FE Time : 0.0 sec. user=mdettweiler [2015-08-18 12:43:51] 825*2^1406775-1 is not prime. Res64: 315F22FFFB1C6C3F Time : 0.0 sec. user=mdettweiler [2015-08-18 12:43:52] 861*2^1406775-1 is not prime. Res64: C46E5C8BB3660700 Time : 0.0 sec. user=mdettweiler [2015-08-18 12:44:08] 955*2^1406775-1 is not prime. Res64: 238FED33C6335E41 Time : 0.0 sec. user=mdettweiler [2015-08-18 12:44:08] 695*2^1406776-1 is not prime. Res64: 9DA95C031BC6D62B Time : 0.0 sec. user=mdettweiler [2015-08-18 12:55:59] 719*2^1406776-1 is not prime. Res64: 0E8C686B454121F5 Time : 0.0 sec. user=mdettweiler [2015-08-18 12:55:59] 743*2^1406776-1 is not prime. Res64: CA672ED84CB09F05 Time : 0.0 sec. user=mdettweiler [2015-08-18 12:57:00] 875*2^1406776-1 is not prime. Res64: AB517C830E3AF576 Time : 0.0 sec. user=mdettweiler [2015-08-18 12:57:01] 909*2^1406776-1 is not prime. Res64: 7B208284F1F260C0 Time : 0.0 sec. user=mdettweiler [2015-08-18 13:02:53] 607*2^1406777-1 is not prime. Res64: C2B2EB4D047064F9 Time : 0.0 sec. user=mdettweiler [2015-08-18 13:02:54] 669*2^1406777-1 is not prime. Res64: B9580C6DC676C7EC Time : 0.0 sec. user=mdettweiler [2015-08-18 13:03:03] 691*2^1406777-1 is not prime. Res64: AAA2471009A0B9EB Time : 0.0 sec. user=mdettweiler [2015-08-18 13:03:04] 771*2^1406777-1 is not prime. Res64: 0800940F4BF137F3 Time : 0.0 sec. user=mdettweiler [2015-08-18 13:14:42] 841*2^1406777-1 is not prime. Res64: BB96175DB6BA1079 Time : 0.0 sec. user=mdettweiler [2015-08-18 13:14:43] 847*2^1406777-1 is not prime. Res64: 14F341D4E96B58A4 Time : 0.0 sec. user=mdettweiler [2015-08-18 13:15:50] 945*2^1406777-1 is not prime. Res64: FFD58D9646A0D5CC Time : 0.0 sec. user=mdettweiler [2015-08-18 13:15:50] 957*2^1406777-1 is not prime. Res64: 0007E095784E96EA Time : 0.0 sec. user=mdettweiler [2015-08-18 13:20:56] 967*2^1406777-1 is not prime. Res64: 6F4AE31E81EDFF02 Time : 0.0 sec. user=mdettweiler [2015-08-18 13:20:56] 635*2^1406778-1 is not prime. Res64: 60CB115E237E0A12 Time : 0.0 sec. user=mdettweiler [2015-08-18 13:21:06] 755*2^1406778-1 is not prime. Res64: 19E0377D89A8F6BB Time : 0.0 sec. user=mdettweiler [2015-08-18 13:21:06] 801*2^1406778-1 is not prime. Res64: 8E1533093767F520 Time : 0.0 sec. user=mdettweiler [2015-08-18 13:32:28] 893*2^1406778-1 is not prime. Res64: FEAF1BAB0EDB7FEF Time : 0.0 sec. user=mdettweiler [2015-08-18 13:32:29] 971*2^1406778-1 is not prime. Res64: 9B8D5580DACF01C0 Time : 0.0 sec. user=mdettweiler [2015-08-18 13:33:30] 625*2^1406779-1 is not prime. Res64: 6DFF095D2A28EAAC Time : 0.0 sec. user=mdettweiler [2015-08-18 13:33:30] 769*2^1406779-1 is not prime. Res64: 8B3C5DA2E0D86324 Time : 0.0 sec. user=mdettweiler [2015-08-18 13:38:38] 885*2^1406779-1 is not prime. Res64: 8AB5CB961172AC79 Time : 0.0 sec. user=mdettweiler [2015-08-18 13:38:38] 603*2^1406780-1 is not prime. Res64: AF8F5D0A1858B957 Time : 0.0 sec. user=mdettweiler [2015-08-18 13:38:51] 647*2^1406780-1 is not prime. Res64: 7CEB98C5FA0CC998 Time : 0.0 sec. user=mdettweiler [2015-08-18 13:38:52] 719*2^1406780-1 is not prime. Res64: 35E02E41BE0B07B3 Time : 0.0 sec. user=mdettweiler [2015-08-18 13:50:04] 755*2^1406780-1 is not prime. Res64: A12700D11DB68DA9 Time : 0.0 sec. user=mdettweiler [2015-08-18 13:50:04] 767*2^1406780-1 is not prime. Res64: 94EA3572E59D4FC6 Time : 0.0 sec. user=mdettweiler [2015-08-18 13:51:05] 773*2^1406780-1 is not prime. Res64: 439851758F331902 Time : 0.0 sec. user=mdettweiler [2015-08-18 13:51:05] 839*2^1406780-1 is not prime. Res64: 8119EFB44DC01824 Time : 0.0 sec. user=mdettweiler [2015-08-18 13:56:16] 915*2^1406780-1 is not prime. Res64: 2D242472D31E861A Time : 0.0 sec. user=mdettweiler [2015-08-18 13:56:16] 609*2^1406781-1 is not prime. Res64: AFDF45E0EE58EFF3 Time : 0.0 sec. user=mdettweiler [2015-08-18 13:56:29] 657*2^1406781-1 is not prime. Res64: 26284C095C854054 Time : 0.0 sec. user=mdettweiler [2015-08-18 13:56:30] 691*2^1406781-1 is not prime. Res64: 7611C4D4B3F17441 Time : 0.0 sec. user=mdettweiler [2015-08-18 14:07:43] 885*2^1406781-1 is not prime. Res64: 63D05CC962DD51B4 Time : 0.0 sec. user=mdettweiler [2015-08-18 14:07:43] 737*2^1406782-1 is not prime. Res64: 245A708CCE688E11 Time : 0.0 sec. user=mdettweiler [2015-08-18 14:08:41] 863*2^1406782-1 is not prime. Res64: 55E01E7391FE2D3C Time : 0.0 sec. user=mdettweiler [2015-08-18 14:08:41] 633*2^1406783-1 is not prime. Res64: 1DBC1C242A222E1B Time : 0.0 sec. user=mdettweiler [2015-08-18 14:13:59] 739*2^1406783-1 is not prime. Res64: F3E99FB97FFE2478 Time : 0.0 sec. user=mdettweiler [2015-08-18 14:14:00] 805*2^1406783-1 is not prime. Res64: 781A5102F0D3CFA7 Time : 0.0 sec. user=mdettweiler [2015-08-18 14:14:03] 861*2^1406783-1 is not prime. Res64: 9078D46A206D6D46 Time : 0.0 sec. user=mdettweiler [2015-08-18 14:14:04] 913*2^1406783-1 is not prime. Res64: 8B23C3DCB3B5086A Time : 0.0 sec. user=mdettweiler [2015-08-18 14:25:20] 657*2^1406784-1 is not prime. Res64: 35DC51484C0D4320 Time : 0.0 sec. user=mdettweiler [2015-08-18 14:25:21] 765*2^1406784-1 is not prime. Res64: FF6A0961B103163E Time : 0.0 sec. user=mdettweiler [2015-08-18 14:26:15] 849*2^1406784-1 is not prime. Res64: 84BA05857FEAEFA1 Time : 0.0 sec. user=mdettweiler [2015-08-18 14:26:16] 863*2^1406784-1 is not prime. Res64: 0D7DDCE65D7E1A82 Time : 0.0 sec. user=mdettweiler [2015-08-18 14:31:36] 905*2^1406784-1 is not prime. Res64: 09087340DD7827DB Time : 0.0 sec. user=mdettweiler [2015-08-18 14:31:36] 927*2^1406784-1 is not prime. Res64: 10DC5E621A32105E Time : 0.0 sec. user=mdettweiler [2015-08-18 14:31:36] 969*2^1406784-1 is not prime. Res64: 12D5E0B699DE7AAB Time : 0.0 sec. user=mdettweiler [2015-08-18 14:31:37] 651*2^1406785-1 is not prime. Res64: 7B49FE7DD1BDB8AB Time : 0.0 sec. user=mdettweiler [2015-08-18 14:42:54] 765*2^1406785-1 is not prime. Res64: 41DE496787136EFB Time : 0.0 sec. user=mdettweiler [2015-08-18 14:42:54] 939*2^1406785-1 is not prime. Res64: 4EFB5B343B3CE320 Time : 0.0 sec. user=mdettweiler [2015-08-18 14:43:53] 755*2^1406786-1 is not prime. Res64: 6B616A2196FBAAF1 Time : 0.0 sec. user=mdettweiler [2015-08-18 14:43:53] 773*2^1406786-1 is not prime. Res64: 44CA7716B885D649 Time : 0.0 sec. user=mdettweiler [2015-08-18 14:49:19] 987*2^1406786-1 is not prime. Res64: 84A4C9F387B915FF Time : 0.0 sec. user=mdettweiler [2015-08-18 14:49:19] 709*2^1406787-1 is not prime. Res64: 650E7152FC1E6F5D Time : 0.0 sec. user=mdettweiler [2015-08-18 14:49:22] 751*2^1406787-1 is not prime. Res64: 070CAA4D198BA65B Time : 0.0 sec. user=mdettweiler [2015-08-18 14:49:22] 753*2^1406787-1 is not prime. Res64: 984A97EF2199126B Time : 0.0 sec. user=mdettweiler [2015-08-18 15:00:44] 795*2^1406787-1 is not prime. Res64: 55E4907CE4ED9570 Time : 0.0 sec. user=mdettweiler [2015-08-18 15:00:44] 885*2^1406787-1 is not prime. Res64: 42672884EA762682 Time : 0.0 sec. user=mdettweiler [2015-08-18 15:01:36] 909*2^1406787-1 is not prime. Res64: 4F35A2B5BF7133AF Time : 0.0 sec. user=mdettweiler [2015-08-18 15:01:37] 689*2^1406788-1 is not prime. Res64: 68189C8BA4A3E40D Time : 0.0 sec. user=mdettweiler [2015-08-18 15:07:05] 615*2^1406789-1 is not prime. Res64: 26349BF3705A4BD0 Time : 0.0 sec. user=mdettweiler [2015-08-18 15:07:06] 797*2^1406788-1 is not prime. Res64: D984EF73AC9272D0 Time : 0.0 sec. user=mdettweiler [2015-08-18 15:07:07] 655*2^1406789-1 is not prime. Res64: 6CB6207F001CA0DB Time : 0.0 sec. user=mdettweiler [2015-08-18 15:07:08] 959*2^1406788-1 is not prime. Res64: 5B0CF6A1D728A038 Time : 0.0 sec. user=mdettweiler [2015-08-18 15:18:22] 679*2^1406789-1 is not prime. Res64: 538450BE9179FE6A Time : 0.0 sec. user=mdettweiler [2015-08-18 15:18:23] 697*2^1406789-1 is not prime. Res64: 1D940817CAFB8F4D Time : 0.0 sec. user=mdettweiler [2015-08-18 15:19:27] 699*2^1406789-1 is not prime. Res64: B17C39D269CFA7B6 Time : 0.0 sec. user=mdettweiler [2015-08-18 15:19:28] 729*2^1406789-1 is not prime. Res64: 8E266045DA05D062 Time : 0.0 sec. user=mdettweiler [2015-08-18 15:25:09] 825*2^1406789-1 is not prime. Res64: 99C15700CC85A2E2 Time : 0.0 sec. user=mdettweiler [2015-08-18 15:25:10] 829*2^1406789-1 is not prime. Res64: 5DBDC4F5F4B30D56 Time : 0.0 sec. user=mdettweiler [2015-08-18 15:25:11] 867*2^1406789-1 is not prime. Res64: E9EFD1E1F897DEFD Time : 0.0 sec. user=mdettweiler [2015-08-18 15:25:11] 907*2^1406789-1 is not prime. Res64: 6B38E3A0C17581CA Time : 0.0 sec. user=mdettweiler [2015-08-18 15:36:00] 985*2^1406789-1 is not prime. Res64: 98BC3C58BAEB49E3 Time : 0.0 sec. user=mdettweiler [2015-08-18 15:36:00] 693*2^1406790-1 is not prime. Res64: 270B624542791BEF Time : 0.0 sec. user=mdettweiler [2015-08-18 15:37:07] 707*2^1406790-1 is not prime. Res64: 3E6A8EEE3D37E8C7 Time : 0.0 sec. user=mdettweiler [2015-08-18 15:37:08] 747*2^1406790-1 is not prime. Res64: 2021016F7FD9CBA7 Time : 0.0 sec. user=mdettweiler [2015-08-18 15:43:07] 755*2^1406790-1 is not prime. Res64: A9764436531203AB Time : 0.0 sec. user=mdettweiler [2015-08-18 15:43:08] 851*2^1406790-1 is not prime. Res64: 58286576F596FB80 Time : 0.0 sec. user=mdettweiler [2015-08-18 15:43:08] 843*2^1406790-1 is not prime. Res64: 3DB5E9776675F07B Time : 0.0 sec. user=mdettweiler [2015-08-18 15:43:08] 893*2^1406790-1 is not prime. Res64: 413EEAD7623DC3F2 Time : 0.0 sec. user=mdettweiler [2015-08-18 15:53:47] 609*2^1406791-1 is not prime. Res64: B9413FBED98C6AE2 Time : 0.0 sec. user=mdettweiler [2015-08-18 15:53:48] 861*2^1406791-1 is not prime. Res64: E9DE08654E0E4912 Time : 0.0 sec. user=mdettweiler [2015-08-18 15:54:54] 975*2^1406791-1 is not prime. Res64: B447F620543E1CDA Time : 0.0 sec. user=mdettweiler [2015-08-18 15:54:55] 999*2^1406791-1 is not prime. Res64: 4FC6AC8B05F00C73 Time : 0.0 sec. user=mdettweiler [2015-08-18 16:00:49] 669*2^1406792-1 is not prime. Res64: 1C844F9D6F5C598A Time : 0.0 sec. user=mdettweiler [2015-08-18 16:00:50] 797*2^1406792-1 is not prime. Res64: 9A88BCBAD8E2722B Time : 0.0 sec. user=mdettweiler [2015-08-18 16:00:54] 617*2^1406792-1 is not prime. Res64: 071B2F20C12A6B3C Time : 0.0 sec. user=mdettweiler [2015-08-18 16:00:55] 629*2^1406792-1 is not prime. Res64: 01C04191738CC306 Time : 0.0 sec. user=mdettweiler [2015-08-18 16:11:35] 843*2^1406792-1 is not prime. Res64: FE57B55FA2EA5AFD Time : 0.0 sec. user=mdettweiler [2015-08-18 16:11:35] 637*2^1406793-1 is not prime. Res64: A0DF867FC2F13A5F Time : 0.0 sec. user=mdettweiler [2015-08-18 16:12:43] 649*2^1406793-1 is not prime. Res64: 2E8E35C4A614B7F6 Time : 0.0 sec. user=mdettweiler [2015-08-18 16:12:44] 705*2^1406793-1 is not prime. Res64: D01D3BEBC1E4B040 Time : 0.0 sec. user=mdettweiler [2015-08-18 16:18:38] 759*2^1406793-1 is not prime. Res64: 7F0F88C183331E26 Time : 0.0 sec. user=mdettweiler [2015-08-18 16:18:38] 769*2^1406793-1 is not prime. Res64: 9C3C233EC73C05CE Time : 0.0 sec. user=mdettweiler [2015-08-18 16:18:41] 781*2^1406793-1 is not prime. Res64: C3EE848A13F91DBD Time : 0.0 sec. user=mdettweiler [2015-08-18 16:18:42] 807*2^1406793-1 is not prime. Res64: 8047D48496655751 Time : 0.0 sec. user=mdettweiler [2015-08-18 16:29:25] 901*2^1406793-1 is not prime. Res64: 449379D17A059E5C Time : 0.0 sec. user=mdettweiler [2015-08-18 16:29:26] 621*2^1406794-1 is not prime. Res64: 705EF9CB6569C22F Time : 0.0 sec. user=mdettweiler [2015-08-18 16:30:25] 623*2^1406794-1 is not prime. Res64: FDA29C954A2C0AB0 Time : 0.0 sec. user=mdettweiler [2015-08-18 16:30:25] 701*2^1406794-1 is not prime. Res64: 29F66A8100E8B2C6 Time : 0.0 sec. user=mdettweiler [2015-08-18 16:36:17] 813*2^1406794-1 is not prime. Res64: AC342AEBEDE27E8B Time : 0.0 sec. user=mdettweiler [2015-08-18 16:36:17] 857*2^1406794-1 is not prime. Res64: 1BD4E6A1B9182788 Time : 0.0 sec. user=mdettweiler [2015-08-18 16:36:22] 737*2^1406794-1 is not prime. Res64: A7DC5B4EF00AAB4A Time : 0.0 sec. user=mdettweiler [2015-08-18 16:36:22] 783*2^1406794-1 is not prime. Res64: 03EA6C8D1D269062 Time : 0.0 sec. user=mdettweiler [2015-08-18 16:47:09] 669*2^1406795-1 is not prime. Res64: 895F7D1B775A45FE Time : 0.0 sec. user=mdettweiler [2015-08-18 16:47:10] 859*2^1406795-1 is not prime. Res64: 856F3019DBE0F19E Time : 0.0 sec. user=mdettweiler [2015-08-18 16:48:16] 639*2^1406796-1 is not prime. Res64: 5FD1ACDB07090C66 Time : 0.0 sec. user=mdettweiler [2015-08-18 16:48:17] 689*2^1406796-1 is not prime. Res64: 2B7D4944B074497F Time : 0.0 sec. user=mdettweiler [2015-08-18 16:53:58] 625*2^1406797-1 is not prime. Res64: 3586D20C91ADE071 Time : 0.0 sec. user=mdettweiler [2015-08-18 16:53:59] 741*2^1406797-1 is not prime. Res64: 99D207341D904F8B Time : 0.0 sec. user=mdettweiler [2015-08-18 16:54:02] 903*2^1406796-1 is not prime. Res64: FD1C1F7FE0A2CB96 Time : 0.0 sec. user=mdettweiler [2015-08-18 16:54:02] 619*2^1406797-1 is not prime. Res64: 78D7852831728197 Time : 0.0 sec. user=mdettweiler [2015-08-18 17:04:53] 801*2^1406797-1 is not prime. Res64: EB105B8495935B31 Time : 0.0 sec. user=mdettweiler [2015-08-18 17:04:54] 835*2^1406797-1 is not prime. Res64: 4CE9D5A2860F8A1C Time : 0.0 sec. user=mdettweiler [2015-08-18 17:06:07] 967*2^1406797-1 is not prime. Res64: 5B9B6F122DC7A6A5 Time : 0.0 sec. user=mdettweiler [2015-08-18 17:06:08] 797*2^1406798-1 is not prime. Res64: 823B47E711160E7B Time : 0.0 sec. user=mdettweiler [2015-08-18 17:11:49] 827*2^1406798-1 is not prime. Res64: 5E44BFFFBE49B311 Time : 0.0 sec. user=mdettweiler [2015-08-18 17:11:50] 833*2^1406798-1 is not prime. Res64: 7F4F78F241669EA0 Time : 0.0 sec. user=mdettweiler [2015-08-18 17:11:55] 885*2^1406798-1 is not prime. Res64: 64062BDCDA5549B4 Time : 0.0 sec. user=mdettweiler [2015-08-18 17:11:56] 619*2^1406799-1 is not prime. Res64: 80D234644AE97A32 Time : 0.0 sec. user=mdettweiler [2015-08-18 17:22:54] 693*2^1406799-1 is not prime. Res64: 5D267AE075592C48 Time : 0.0 sec. user=mdettweiler [2015-08-18 17:22:54] 705*2^1406799-1 is not prime. Res64: EB9EC22E2A7971F7 Time : 0.0 sec. user=mdettweiler [2015-08-18 17:24:08] 909*2^1406799-1 is not prime. Res64: 230A0C85ED2C1D4D Time : 0.0 sec. user=mdettweiler [2015-08-18 17:24:08] 933*2^1406799-1 is not prime. Res64: 37B98690EAA68FEA Time : 0.0 sec. user=mdettweiler [2015-08-18 17:31:02] 615*2^1406800-1 is not prime. Res64: FDEEA20242B679E5 Time : 0.0 sec. user=mdettweiler [2015-08-18 17:31:02] 629*2^1406800-1 is not prime. Res64: 1B6FD61EC965E5C6 Time : 0.0 sec. user=mdettweiler [2015-08-18 17:31:06] 955*2^1406799-1 is not prime. Res64: A5ACD75D86A82A58 Time : 0.0 sec. user=mdettweiler [2015-08-18 17:31:06] 999*2^1406799-1 is not prime. Res64: 45D48157FBA2F209 Time : 0.0 sec. user=mdettweiler [2015-08-18 17:42:48] 665*2^1406800-1 is not prime. Res64: BECB967ED3A4A394 Time : 0.0 sec. user=mdettweiler [2015-08-18 17:42:49] 695*2^1406800-1 is not prime. Res64: 3023ED664A37777A Time : 0.0 sec. user=mdettweiler [2015-08-18 17:43:43] 699*2^1406800-1 is not prime. Res64: CE433B11CF83595D Time : 0.0 sec. user=mdettweiler [2015-08-18 17:43:43] 855*2^1406800-1 is not prime. Res64: 42FE292EA2FD8547 Time : 0.0 sec. user=mdettweiler [2015-08-18 17:51:02] 995*2^1406800-1 is not prime. Res64: D4FF0D501A121B54 Time : 0.0 sec. user=mdettweiler [2015-08-18 17:51:03] 999*2^1406800-1 is not prime. Res64: 322BF039CA983C1F Time : 0.0 sec. user=mdettweiler [2015-08-18 17:51:16] 873*2^1406800-1 is not prime. Res64: 2606D1EC4FC1A70E Time : 0.0 sec. user=mdettweiler [2015-08-18 17:51:17] 887*2^1406800-1 is not prime. Res64: DCE2F889C52AC9D0 Time : 0.0 sec. user=mdettweiler [2015-08-18 18:03:36] 735*2^1406801-1 is not prime. Res64: B5E3C01F7169D567 Time : 0.0 sec. user=mdettweiler [2015-08-18 18:03:38] 621*2^1406802-1 is not prime. Res64: 886D22C97D3F7C82 Time : 0.0 sec. user=mdettweiler [2015-08-18 18:04:57] 677*2^1406802-1 is not prime. Res64: 7C1DF30F56760339 Time : 0.0 sec. user=mdettweiler [2015-08-18 18:04:58] 705*2^1406802-1 is not prime. Res64: 36093E2624E8092E Time : 0.0 sec. user=mdettweiler [2015-08-18 18:11:14] 755*2^1406802-1 is not prime. Res64: 4D5DF4DB83ADDCFD Time : 0.0 sec. user=mdettweiler [2015-08-18 18:11:15] 797*2^1406802-1 is not prime. Res64: E0F180637FEFFAC0 Time : 0.0 sec. user=mdettweiler [2015-08-18 18:11:24] 951*2^1406802-1 is not prime. Res64: 82BAE70209B11897 Time : 0.0 sec. user=mdettweiler [2015-08-18 18:11:24] 963*2^1406802-1 is not prime. Res64: A1956ECC8485D4FD Time : 0.0 sec. user=mdettweiler [2015-08-18 18:22:04] 631*2^1406803-1 is not prime. Res64: A05C7A1DE70C9B8D Time : 0.0 sec. user=mdettweiler [2015-08-18 18:22:04] 679*2^1406803-1 is not prime. Res64: 99355A51200A5CA8 Time : 0.0 sec. user=mdettweiler [2015-08-18 18:23:13] 741*2^1406803-1 is not prime. Res64: 6E9F70ADB327C3E1 Time : 0.0 sec. user=mdettweiler [2015-08-18 18:23:15] 805*2^1406803-1 is not prime. Res64: 14AD510A976B891E Time : 0.0 sec. user=mdettweiler [2015-08-18 18:29:13] 861*2^1406803-1 is not prime. Res64: F4A29D0FEFE4CF41 Time : 0.0 sec. user=mdettweiler [2015-08-18 18:29:13] 617*2^1406804-1 is not prime. Res64: D6C0543C52FC279F Time : 0.0 sec. user=mdettweiler [2015-08-18 18:29:15] 683*2^1406804-1 is not prime. Res64: D3734FEE1896F4CF Time : 0.0 sec. user=mdettweiler [2015-08-18 18:29:16] 753*2^1406804-1 is not prime. Res64: 5083D0AF2E7644CF Time : 0.0 sec. user=mdettweiler [2015-08-18 18:39:51] 915*2^1406804-1 is not prime. Res64: FF3A50907CD62CDB Time : 0.0 sec. user=mdettweiler [2015-08-18 18:39:51] 983*2^1406804-1 is not prime. Res64: 64AA8F9DD4BBC8A6 Time : 0.0 sec. user=mdettweiler [2015-08-18 18:40:49] 609*2^1406805-1 is not prime. Res64: 4535D5E99C978ABA Time : 0.0 sec. user=mdettweiler [2015-08-18 18:40:49] 675*2^1406805-1 is not prime. Res64: 195AF42C67492944 Time : 0.0 sec. user=mdettweiler [2015-08-18 18:46:47] 867*2^1406805-1 is not prime. Res64: A4891AFF0D94B82F Time : 0.0 sec. user=mdettweiler [2015-08-18 18:46:47] 951*2^1406805-1 is not prime. Res64: E850E94E8159792A Time : 0.0 sec. user=mdettweiler [2015-08-18 18:46:53] 997*2^1406805-1 is not prime. Res64: 1FC1BD5A0789D5A3 Time : 0.0 sec. user=mdettweiler [2015-08-18 18:46:53] 647*2^1406806-1 is not prime. Res64: E225B0ED4F177B19 Time : 0.0 sec. user=mdettweiler [2015-08-18 18:57:28] 705*2^1406806-1 is not prime. Res64: 48DAABEF1B512E3A Time : 0.0 sec. user=mdettweiler [2015-08-18 18:57:28] 773*2^1406806-1 is not prime. Res64: 546BCC9B193432DE Time : 0.0 sec. user=mdettweiler [2015-08-18 18:58:28] 833*2^1406806-1 is not prime. Res64: 92704CB3C896F6FF Time : 0.0 sec. user=mdettweiler [2015-08-18 18:58:29] 843*2^1406806-1 is not prime. Res64: E9DB58F6C8B00689 Time : 0.0 sec. user=mdettweiler [2015-08-18 19:04:33] 867*2^1406806-1 is not prime. Res64: 703BBAD9E175784D Time : 0.0 sec. user=mdettweiler [2015-08-18 19:04:36] 891*2^1406806-1 is not prime. Res64: D75D31C9C91FF207 Time : 0.0 sec. user=mdettweiler [2015-08-18 19:04:36] 911*2^1406806-1 is not prime. Res64: 61DCCFD8144E7A4D Time : 0.0 sec. user=mdettweiler [2015-08-18 19:04:42] 965*2^1406806-1 is not prime. Res64: 639C6A4BFD56B256 Time : 0.0 sec. user=mdettweiler [2015-08-18 19:15:07] 993*2^1406806-1 is not prime. Res64: 916B826F4BB89471 Time : 0.0 sec. user=mdettweiler [2015-08-18 19:15:07] 645*2^1406807-1 is not prime. Res64: C3FEF5084CB734B3 Time : 0.0 sec. user=mdettweiler [2015-08-18 19:16:07] 669*2^1406807-1 is not prime. Res64: AD3E873C096BC5FC Time : 0.0 sec. user=mdettweiler [2015-08-18 19:16:07] 693*2^1406807-1 is not prime. Res64: CD1605499EFC548B Time : 0.0 sec. user=mdettweiler [2015-08-18 19:22:43] 753*2^1406808-1 is not prime. Res64: 14E83C945F457DCA Time : 0.0 sec. user=mdettweiler [2015-08-18 19:22:43] 999*2^1406808-1 is not prime. Res64: 9284B31EF193CD7A Time : 0.0 sec. user=mdettweiler [2015-08-18 19:22:50] 843*2^1406807-1 is not prime. Res64: DFB035B4959545AB Time : 0.0 sec. user=mdettweiler [2015-08-18 19:22:51] 931*2^1406807-1 is not prime. Res64: 8BD8DE1582868B93 Time : 0.0 sec. user=mdettweiler [2015-08-18 19:33:15] 895*2^1406809-1 is not prime. Res64: AA7628E6FC09BA8C Time : 0.0 sec. user=mdettweiler [2015-08-18 19:33:16] 945*2^1406809-1 is not prime. Res64: 5CC976A342EAB2BF Time : 0.0 sec. user=mdettweiler [2015-08-18 19:34:24] 635*2^1406810-1 is not prime. Res64: 86A0685AF1DE1324 Time : 0.0 sec. user=mdettweiler [2015-08-18 19:34:24] 707*2^1406810-1 is not prime. Res64: 2799827DDBCC0503 Time : 0.0 sec. user=mdettweiler [2015-08-18 19:40:33] 755*2^1406810-1 is not prime. Res64: 967E3CDAA73E6516 Time : 0.0 sec. user=mdettweiler [2015-08-18 19:40:33] 923*2^1406810-1 is not prime. Res64: C9D89700194911AB Time : 0.0 sec. user=mdettweiler [2015-08-18 19:40:49] 935*2^1406810-1 is not prime. Res64: 2F54A00DAEE7A1D9 Time : 0.0 sec. user=mdettweiler [2015-08-18 19:40:50] 735*2^1406811-1 is not prime. Res64: 9BE67FE4E45ECD44 Time : 0.0 sec. user=mdettweiler [2015-08-18 19:50:56] 781*2^1406811-1 is not prime. Res64: 4EF612D147BBDACE Time : 0.0 sec. user=mdettweiler [2015-08-18 19:50:56] 901*2^1406811-1 is not prime. Res64: E3E3D3EA45BCD1EC Time : 0.0 sec. user=mdettweiler [2015-08-18 19:52:00] 903*2^1406811-1 is not prime. Res64: C5F870B8B1CF5D1A Time : 0.0 sec. user=mdettweiler [2015-08-18 19:52:00] 973*2^1406811-1 is not prime. Res64: 685A1D3A4B465B29 Time : 0.0 sec. user=mdettweiler [2015-08-18 19:58:15] 605*2^1406812-1 is not prime. Res64: 4EEB27C661929EFB Time : 0.0 sec. user=mdettweiler [2015-08-18 19:58:16] 723*2^1406812-1 is not prime. Res64: 6797AE8591F00F7D Time : 0.0 sec. user=mdettweiler [2015-08-18 19:58:54] 631*2^1406813-1 is not prime. Res64: 9117C33C38D04DEB Time : 0.0 sec. user=mdettweiler [2015-08-18 19:58:54] 675*2^1406813-1 is not prime. Res64: 3CF1697E6EC58222 Time : 0.0 sec. user=mdettweiler [2015-08-18 20:08:32] 699*2^1406813-1 is not prime. Res64: B9E6FCCEA967000B Time : 0.0 sec. user=mdettweiler [2015-08-18 20:08:32] 781*2^1406813-1 is not prime. Res64: BE73BACC7BF59F26 Time : 0.0 sec. user=mdettweiler [2015-08-18 20:09:38] 805*2^1406813-1 is not prime. Res64: A64368C5E5655493 Time : 0.0 sec. user=mdettweiler [2015-08-18 20:09:38] 879*2^1406813-1 is not prime. Res64: 27F4E63F3849D061 Time : 0.0 sec. user=mdettweiler [2015-08-18 20:15:52] 889*2^1406813-1 is not prime. Res64: DC4F0B7D942AD005 Time : 0.0 sec. user=mdettweiler [2015-08-18 20:15:52] 897*2^1406813-1 is not prime. Res64: E53284C6C96BE1A7 Time : 0.0 sec. user=mdettweiler [2015-08-18 20:16:23] 957*2^1406813-1 is not prime. Res64: 8EAE23BA1CDBB619 Time : 0.0 sec. user=mdettweiler [2015-08-18 20:16:24] 969*2^1406813-1 is not prime. Res64: BFBFE98E1980EEA3 Time : 0.0 sec. user=mdettweiler [2015-08-18 20:26:07] 615*2^1406814-1 is not prime. Res64: 76A0A52B5584C42D Time : 0.0 sec. user=mdettweiler [2015-08-18 20:26:07] 621*2^1406814-1 is not prime. Res64: 12C05A3A5C710174 Time : 0.0 sec. user=mdettweiler [2015-08-18 20:27:21] 641*2^1406814-1 is not prime. Res64: 3E493D2C31C57295 Time : 0.0 sec. user=mdettweiler [2015-08-18 20:27:22] 681*2^1406814-1 is not prime. Res64: 77997DA11A5DE3D3 Time : 0.0 sec. user=mdettweiler [2015-08-18 20:33:42] 683*2^1406814-1 is not prime. Res64: 5476BACA2C8D8037 Time : 0.0 sec. user=mdettweiler [2015-08-18 20:33:42] 737*2^1406814-1 is not prime. Res64: C451ED46050E1607 Time : 0.0 sec. user=mdettweiler [2015-08-18 20:33:58] 851*2^1406814-1 is not prime. Res64: 56B07963F5B72B8F Time : 0.0 sec. user=mdettweiler [2015-08-18 20:33:59] 875*2^1406814-1 is not prime. Res64: 12D3F5C13D0B97D7 Time : 0.0 sec. user=mdettweiler [2015-08-18 20:43:51] 993*2^1406814-1 is not prime. Res64: 78D74994FEA88F25 Time : 0.0 sec. user=mdettweiler [2015-08-18 20:43:52] 663*2^1406815-1 is not prime. Res64: 0BD562E1E06260B0 Time : 0.0 sec. user=mdettweiler [2015-08-18 20:45:01] 735*2^1406815-1 is not prime. Res64: 3D47E908C010D83E Time : 0.0 sec. user=mdettweiler [2015-08-18 20:45:01] 829*2^1406815-1 is not prime. Res64: 9DB1D8900066E5F7 Time : 0.0 sec. user=mdettweiler [2015-08-18 20:51:21] 873*2^1406815-1 is not prime. Res64: CE8E8D3EA0B9F988 Time : 0.0 sec. user=mdettweiler [2015-08-18 20:51:22] 913*2^1406815-1 is not prime. Res64: 3FF9221D9BBDADEB Time : 0.0 sec. user=mdettweiler [2015-08-18 20:51:45] 699*2^1406816-1 is not prime. Res64: 971B2C8DE3F98F75 Time : 0.0 sec. user=mdettweiler [2015-08-18 20:51:45] 747*2^1406816-1 is not prime. Res64: C9A822B0405A5FEB Time : 0.0 sec. user=mdettweiler [2015-08-18 21:01:35] 875*2^1406816-1 is not prime. Res64: BDD06543AC30FF1F Time : 0.0 sec. user=mdettweiler [2015-08-18 21:01:36] 741*2^1406817-1 is not prime. Res64: B16F6FB51E42947E Time : 0.0 sec. user=mdettweiler [2015-08-18 21:02:55] 805*2^1406817-1 is not prime. Res64: 40463E3D25F853FC Time : 0.0 sec. user=mdettweiler [2015-08-18 21:02:56] 837*2^1406817-1 is not prime. Res64: E0115B60AD859891 Time : 0.0 sec. user=mdettweiler [2015-08-18 21:08:51] 871*2^1406817-1 is not prime. Res64: 1E6F88432A86FA8B Time : 0.0 sec. user=mdettweiler [2015-08-18 21:08:52] 919*2^1406817-1 is not prime. Res64: C6AD241104E5C4C1 Time : 0.0 sec. user=mdettweiler [2015-08-18 21:09:28] 985*2^1406817-1 is not prime. Res64: 0487FA294122F640 Time : 0.0 sec. user=mdettweiler [2015-08-18 21:09:29] 605*2^1406818-1 is not prime. Res64: 43088FEF9E82EEA3 Time : 0.0 sec. user=mdettweiler [2015-08-18 21:19:15] 773*2^1406818-1 is not prime. Res64: 0288B6167B2DA4C6 Time : 0.0 sec. user=mdettweiler [2015-08-18 21:19:16] 867*2^1406818-1 is not prime. Res64: 393BBD09527CA754 Time : 0.0 sec. user=mdettweiler [2015-08-18 21:20:54] 601*2^1406819-1 is not prime. Res64: E2331CF969337451 Time : 0.0 sec. user=mdettweiler [2015-08-18 21:20:55] 619*2^1406819-1 is not prime. Res64: 9BADA7E89335EB1F Time : 0.0 sec. user=mdettweiler [2015-08-18 21:26:29] 655*2^1406819-1 is not prime. Res64: 08EC9111B837DB15 Time : 0.0 sec. user=mdettweiler [2015-08-18 21:26:29] 705*2^1406819-1 is not prime. Res64: B0A31869A3A0ABD3 Time : 0.0 sec. user=mdettweiler [2015-08-18 21:27:07] 759*2^1406819-1 is not prime. Res64: AD1A42BC102E7B78 Time : 0.0 sec. user=mdettweiler [2015-08-18 21:27:07] 841*2^1406819-1 is not prime. Res64: 668C415F9159287B Time : 0.0 sec. user=mdettweiler [2015-08-18 21:36:54] 861*2^1406819-1 is not prime. Res64: D11D099C87C7150E Time : 0.0 sec. user=mdettweiler [2015-08-18 21:36:55] 921*2^1406819-1 is not prime. Res64: A6071C8EA042C655 Time : 0.0 sec. user=mdettweiler [2015-08-18 21:38:29] 797*2^1406820-1 is not prime. Res64: 678CE3B6EE4861C6 Time : 0.0 sec. user=mdettweiler [2015-08-18 21:38:30] 825*2^1406820-1 is not prime. Res64: 9246BA1B3DFDB04D Time : 0.0 sec. user=mdettweiler [2015-08-18 21:44:00] 959*2^1406820-1 is not prime. Res64: BBE293A7281F2779 Time : 0.0 sec. user=mdettweiler [2015-08-18 21:44:01] 777*2^1406821-1 is not prime. Res64: 74105789D86FC7AC Time : 0.0 sec. user=mdettweiler [2015-08-18 21:44:40] 957*2^1406821-1 is not prime. Res64: C64BE5D107385046 Time : 0.0 sec. user=mdettweiler [2015-08-18 21:44:41] 979*2^1406821-1 is not prime. Res64: 77D1260E72E78CED Time : 0.0 sec. user=mdettweiler [2015-08-18 21:54:24] 999*2^1406821-1 is not prime. Res64: 61BD66F963A8F2DD Time : 0.0 sec. user=mdettweiler [2015-08-18 21:54:25] 635*2^1406822-1 is not prime. Res64: CF52CF20169753CB Time : 0.0 sec. user=mdettweiler [2015-08-18 21:56:03] 731*2^1406822-1 is not prime. Res64: 0C9FCD87015B4048 Time : 0.0 sec. user=mdettweiler [2015-08-18 21:56:03] 791*2^1406822-1 is not prime. Res64: D9D65C5E6F3BCF69 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:01:34] 873*2^1406822-1 is not prime. Res64: 85960E215D9BD4E5 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:01:35] 953*2^1406822-1 is not prime. Res64: F8D3B1625B1FF677 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:02:20] 987*2^1406822-1 is not prime. Res64: 0B78A7B03E38A3DC Time : 0.0 sec. user=mdettweiler [2015-08-18 22:02:21] 685*2^1406823-1 is not prime. Res64: F02B82F8A08FD5A7 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:12:08] 723*2^1406823-1 is not prime. Res64: C6187BD6257AA9FA Time : 0.0 sec. user=mdettweiler [2015-08-18 22:12:08] 781*2^1406823-1 is not prime. Res64: B066A903C1E923C5 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:13:38] 879*2^1406823-1 is not prime. Res64: DD43E79023ED1C43 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:13:39] 605*2^1406824-1 is not prime. Res64: 461E0AFE973EDB56 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:19:06] 609*2^1406824-1 is not prime. Res64: 865B28FE5B7C1194 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:19:06] 765*2^1406824-1 is not prime. Res64: C0BA4B3238A7CF89 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:19:55] 855*2^1406824-1 is not prime. Res64: A0E90FDB5B402F60 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:19:56] 857*2^1406824-1 is not prime. Res64: 2A9E6788CD238C90 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:30:11] 869*2^1406824-1 is not prime. Res64: FBF719517411BD5B Time : 0.0 sec. user=mdettweiler [2015-08-18 22:30:11] 903*2^1406824-1 is not prime. Res64: CFB4F8A57812B536 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:31:47] 927*2^1406824-1 is not prime. Res64: DF474B643910082B Time : 0.0 sec. user=mdettweiler [2015-08-18 22:31:48] 959*2^1406824-1 is not prime. Res64: DCB2ABA9A8A07A24 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:37:35] 619*2^1406825-1 is not prime. Res64: 1EF7AAD334DB9B45 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:37:35] 759*2^1406825-1 is not prime. Res64: 1111D65ACAA44928 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:38:20] 885*2^1406825-1 is not prime. Res64: DCBF42B8D0708751 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:38:20] 937*2^1406825-1 is not prime. Res64: 07CEE0E0E565FBD7 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:48:33] 633*2^1406826-1 is not prime. Res64: D06F06D87922CCF6 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:48:33] 635*2^1406826-1 is not prime. Res64: 5A95A7C9252358C2 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:49:51] 717*2^1406826-1 is not prime. Res64: 9726782C112705E6 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:49:52] 741*2^1406826-1 is not prime. Res64: 24EFE5ED7FAD2AE8 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:55:53] 873*2^1406826-1 is not prime. Res64: B8E5BCBB247AF19F Time : 0.0 sec. user=mdettweiler [2015-08-18 22:55:53] 893*2^1406826-1 is not prime. Res64: D2E3044451AF0B61 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:56:40] 933*2^1406826-1 is not prime. Res64: 687E1C20B289E361 Time : 0.0 sec. user=mdettweiler [2015-08-18 22:56:40] 971*2^1406826-1 is not prime. Res64: 40FA744AE8CD3C80 Time : 0.0 sec. user=mdettweiler [2015-08-18 23:07:19] 975*2^1406826-1 is not prime. Res64: E622CE355C69930A Time : 0.0 sec. user=mdettweiler [2015-08-18 23:07:19] 993*2^1406826-1 is not prime. Res64: 35DDCB907D9DA543 Time : 0.0 sec. user=mdettweiler [2015-08-18 23:08:10] 1001*2^1406826-1 is not prime. Res64: 226A4F09C4A79B79 Time : 0.0 sec. user=mdettweiler [2015-08-18 23:08:11] 651*2^1406827-1 is not prime. Res64: 1AAF6E32EDA68997 Time : 0.0 sec. user=mdettweiler [2015-08-18 23:13:59] 715*2^1406827-1 is not prime. Res64: ECBF4EAE58E3DF2C Time : 0.0 sec. user=mdettweiler [2015-08-18 23:13:59] 735*2^1406827-1 is not prime. Res64: A81684145782631D Time : 0.0 sec. user=mdettweiler [2015-08-18 23:14:39] 759*2^1406827-1 is not prime. Res64: 8BD9192108C7B2C8 Time : 0.0 sec. user=mdettweiler [2015-08-18 23:14:39] 829*2^1406827-1 is not prime. Res64: B7691C7F9C9E4A70 Time : 0.0 sec. user=mdettweiler [2015-08-18 23:25:05] 961*2^1406827-1 is not prime. Res64: C0EC59B5039AF175 Time : 0.0 sec. user=mdettweiler [2015-08-18 23:25:06] 635*2^1406828-1 is not prime. Res64: 9CD58136424CF259 Time : 0.0 sec. user=mdettweiler [2015-08-18 23:25:48] 663*2^1406828-1 is not prime. Res64: 68EB2CE983E5084D Time : 0.0 sec. user=mdettweiler [2015-08-18 23:25:49] 669*2^1406828-1 is not prime. Res64: 0501E2C933B7686D Time : 0.0 sec. user=mdettweiler [2015-08-18 23:31:37] 875*2^1406828-1 is not prime. Res64: A50A8222C3169178 Time : 0.0 sec. user=mdettweiler [2015-08-18 23:31:38] 893*2^1406828-1 is not prime. Res64: 0D86BB8F28D1D2B8 Time : 0.0 sec. user=mdettweiler [2015-08-18 23:32:30] 935*2^1406828-1 is not prime. Res64: EC421C3D0D58B893 Time : 0.0 sec. user=mdettweiler [2015-08-18 23:32:31] 977*2^1406828-1 is not prime. Res64: A194DCCE2171F92F Time : 0.0 sec. user=mdettweiler [2015-08-18 23:42:44] 709*2^1406829-1 is not prime. Res64: 76443AEB11706F18 Time : 0.0 sec. user=mdettweiler [2015-08-18 23:42:45] 865*2^1406829-1 is not prime. Res64: 8D96D7615BC4A720 Time : 0.0 sec. user=mdettweiler [2015-08-18 23:43:21] 927*2^1406829-1 is not prime. Res64: E2656CD9D9094D1F Time : 0.0 sec. user=mdettweiler [2015-08-18 23:43:22] 979*2^1406829-1 is not prime. Res64: 6434F5144039BC80 Time : 0.0 sec. user=mdettweiler [2015-08-18 23:49:11] 611*2^1406830-1 is not prime. Res64: 728A47F1EC73C673 Time : 0.0 sec. user=mdettweiler [2015-08-18 23:49:12] 681*2^1406830-1 is not prime. Res64: ECD2E4C2DC7D9E62 Time : 0.0 sec. user=mdettweiler [2015-08-18 23:50:14] 687*2^1406830-1 is not prime. Res64: 36DB666531FFAC1B Time : 0.0 sec. user=mdettweiler [2015-08-18 23:50:14] 743*2^1406830-1 is not prime. Res64: 6BFC8D8E602FA318 Time : 0.0 sec. user=mdettweiler [2015-08-19 00:00:22] 777*2^1406830-1 is not prime. Res64: 5E63307FEA72C65A Time : 0.0 sec. user=mdettweiler [2015-08-19 00:00:22] 855*2^1406830-1 is not prime. Res64: 5ED88CD26AD05C52 Time : 0.0 sec. user=mdettweiler [2015-08-19 00:00:59] 923*2^1406830-1 is not prime. Res64: 7DA7DF56C0866195 Time : 0.0 sec. user=mdettweiler [2015-08-19 00:00:59] 933*2^1406830-1 is not prime. Res64: 068D4B539F39DCFF Time : 0.0 sec.