user=ototero
[2017-07-25 00:24:02]
339*2^2251363-1 is not prime.  Res64: 49B04AA767B98D8F  Time : 0.0 sec.
user=ototero
[2017-07-25 00:24:17]
321*2^2251366-1 is not prime.  Res64: 488F8CA8DD4B1DA6  Time : 0.0 sec.
user=ototero
[2017-07-25 00:24:22]
349*2^2251371-1 is not prime.  Res64: 02C7129143F7FDD1  Time : 0.0 sec.
user=ototero
[2017-07-25 01:13:12]
341*2^2251378-1 is not prime.  Res64: FC989AA671AC9CB0  Time : 0.0 sec.
user=ototero
[2017-07-25 01:13:39]
321*2^2251378-1 is not prime.  Res64: C7CA43A3621525B4  Time : 0.0 sec.
user=odicin
[2017-07-25 02:03:18]
301*2^2251387-1 is not prime.  Res64: 7167D267E01A2D14  Time : 0.0 sec.
user=odicin
[2017-07-25 02:03:19]
335*2^2251388-1 is not prime.  Res64: 3DEEE02EB40BC203  Time : 0.0 sec.
user=odicin
[2017-07-25 02:30:55]
345*2^2251390-1 is not prime.  Res64: 96CE1173E534DA73  Time : 0.0 sec.
user=odicin
[2017-07-25 02:30:55]
321*2^2251391-1 is not prime.  Res64: 558888A21A9D75BA  Time : 0.0 sec.
user=ototero
[2017-07-25 02:42:51]
323*2^2251382-1 is not prime.  Res64: 3328F78DECCA356A  Time : 0.0 sec.
user=ototero
[2017-07-25 02:42:57]
307*2^2251381-1 is not prime.  Res64: 897082B3AA15C456  Time : 0.0 sec.
user=ototero
[2017-07-25 02:46:11]
315*2^2251379-1 is not prime.  Res64: 29DEAA0A5F7C1312  Time : 0.0 sec.
user=ototero
[2017-07-25 02:46:14]
325*2^2251379-1 is not prime.  Res64: 33124DBC17758DB5  Time : 0.0 sec.
user=ototero
[2017-07-25 02:46:28]
345*2^2251380-1 is not prime.  Res64: 30079CF33F5E87C4  Time : 0.0 sec.
user=odicin
[2017-07-25 02:58:07]
345*2^2251392-1 is not prime.  Res64: 0F25FD7A4192AFA6  Time : 0.0 sec.
user=odicin
[2017-07-25 02:58:09]
303*2^2251392-1 is not prime.  Res64: 35CAE7644995C6FA  Time : 0.0 sec.
user=odicin
[2017-07-25 03:25:13]
303*2^2251407-1 is not prime.  Res64: FFDA8033E578795D  Time : 0.0 sec.
user=odicin
[2017-07-25 03:25:14]
315*2^2251407-1 is not prime.  Res64: 7E014184122F14B8  Time : 0.0 sec.
user=odicin
[2017-07-25 03:52:21]
309*2^2251412-1 is not prime.  Res64: 0F229A069FC1E67A  Time : 0.0 sec.
user=odicin
[2017-07-25 03:52:21]
339*2^2251411-1 is not prime.  Res64: B7E694EFEF9DBE99  Time : 0.0 sec.
user=ototero
[2017-07-25 04:12:44]
313*2^2251395-1 is not prime.  Res64: 264561B6B8B0BAF0  Time : 0.0 sec.
user=ototero
[2017-07-25 04:13:06]
307*2^2251393-1 is not prime.  Res64: C0D32B00BE457E30  Time : 0.0 sec.
user=odicin
[2017-07-25 04:19:43]
321*2^2251415-1 is not prime.  Res64: DDC731A145C6ABD8  Time : 0.0 sec.
user=odicin
[2017-07-25 04:19:44]
345*2^2251414-1 is not prime.  Res64: FCC6E17DE3BE8B46  Time : 0.0 sec.
user=odicin
[2017-07-25 04:46:46]
315*2^2251419-1 is not prime.  Res64: 5B008503F48AEEB7  Time : 0.0 sec.
user=odicin
[2017-07-25 04:46:47]
315*2^2251420-1 is not prime.  Res64: 91CD5E608053440B  Time : 0.0 sec.
user=ototero
[2017-07-25 05:08:17]
333*2^2251395-1 is not prime.  Res64: E29D25F037CD96FF  Time : 0.0 sec.
user=ototero
[2017-07-25 05:08:24]
301*2^2251397-1 is not prime.  Res64: 7D905B2A74BBBE9E  Time : 0.0 sec.
user=ototero
[2017-07-25 05:08:55]
311*2^2251406-1 is not prime.  Res64: 83324D5780269D97  Time : 0.0 sec.
user=odicin
[2017-07-25 05:13:49]
303*2^2251422-1 is not prime.  Res64: 98EA907C68BA34B5  Time : 0.0 sec.
user=odicin
[2017-07-25 05:13:49]
307*2^2251421-1 is not prime.  Res64: B0CE9DDE75C7DBE1  Time : 0.0 sec.
user=ototero
[2017-07-25 05:17:57]
329*2^2251416-1 is not prime.  Res64: DB04D807E7D0AB2B  Time : 0.0 sec.
user=ototero
[2017-07-25 05:18:02]
327*2^2251418-1 is not prime.  Res64: 7F0BCB6410BC5B2B  Time : 0.0 sec.
user=ototero
[2017-07-25 05:27:31]
319*2^2251323-1 is not prime.  Res64: E11EA760C6AEF652  Time : 0.0 sec.
user=ototero
[2017-07-25 05:28:02]
315*2^2251325-1 is not prime.  Res64: E2D612D83AEA6B0C  Time : 0.0 sec.
user=ototero
[2017-07-25 05:28:36]
315*2^2251326-1 is not prime.  Res64: 3747F0AF0E31B670  Time : 0.0 sec.
user=odicin
[2017-07-25 05:40:53]
323*2^2251430-1 is not prime.  Res64: 4089B4EEC11D18DB  Time : 0.0 sec.
user=odicin
[2017-07-25 05:40:55]
317*2^2251426-1 is not prime.  Res64: 62B71B7A4E634B81  Time : 0.0 sec.
user=ototero
[2017-07-25 06:01:27]
313*2^2251327-1 is not prime.  Res64: 154DB39BE0DAF182  Time : 0.0 sec.
user=odicin
[2017-07-25 06:07:57]
345*2^2251434-1 is not prime.  Res64: 3A22C231F750C595  Time : 0.0 sec.
user=odicin
[2017-07-25 06:07:59]
325*2^2251435-1 is not prime.  Res64: 8423BAA1CE26D7FF  Time : 0.0 sec.
user=ototero
[2017-07-25 06:28:23]
309*2^2251432-1 is not prime.  Res64: 5383BA70D732E35A  Time : 0.0 sec.
user=ototero
[2017-07-25 06:28:39]
341*2^2251430-1 is not prime.  Res64: 2CFD63535038A323  Time : 0.0 sec.
user=ototero
[2017-07-25 06:28:47]
333*2^2251431-1 is not prime.  Res64: 46871AC1F654DBD0  Time : 0.0 sec.
user=ototero
[2017-07-25 06:29:18]
341*2^2251434-1 is not prime.  Res64: C321576CAAFD5345  Time : 0.0 sec.
user=ototero
[2017-07-25 06:29:22]
333*2^2251434-1 is not prime.  Res64: DF489489E3A88880  Time : 0.0 sec.
user=odicin
[2017-07-25 06:35:04]
325*2^2251437-1 is not prime.  Res64: A576AC194AD077F0  Time : 0.0 sec.
user=odicin
[2017-07-25 06:35:05]
345*2^2251437-1 is not prime.  Res64: 106F6A04E30D86E3  Time : 0.0 sec.
user=ototero
[2017-07-25 07:01:59]
339*2^2251435-1 is not prime.  Res64: 4CC7921AF819B36A  Time : 0.0 sec.
user=odicin
[2017-07-25 07:02:09]
309*2^2251441-1 is not prime.  Res64: 8505097A5943D93C  Time : 0.0 sec.
user=odicin
[2017-07-25 07:02:11]
307*2^2251441-1 is not prime.  Res64: F81B82D63FE52DB2  Time : 0.0 sec.
user=ototero
[2017-07-25 07:25:01]
309*2^2251439-1 is not prime.  Res64: 343D71BFD19BE39E  Time : 0.0 sec.
user=ototero
[2017-07-25 07:26:04]
339*2^2251439-1 is not prime.  Res64: 9F5C63B514140124  Time : 0.0 sec.
user=ototero
[2017-07-25 07:26:04]
319*2^2251439-1 is not prime.  Res64: B5654D3385C35274  Time : 0.0 sec.
user=odicin
[2017-07-25 07:29:13]
327*2^2251444-1 is not prime.  Res64: E82E788A9FF8B92B  Time : 0.0 sec.
user=odicin
[2017-07-25 07:29:13]
301*2^2251447-1 is not prime.  Res64: 796D82CD68EB930A  Time : 0.0 sec.
user=ototero
[2017-07-25 07:30:25]
345*2^2251422-1 is not prime.  Res64: C0D346AFBB2A5698  Time : 0.0 sec.
user=ototero
[2017-07-25 07:30:38]
343*2^2251423-1 is not prime.  Res64: 3825994913777F5B  Time : 0.0 sec.
user=ototero
[2017-07-25 07:31:20]
327*2^2251425-1 is not prime.  Res64: 7D30ADA16C9CB107  Time : 0.0 sec.
user=ototero
[2017-07-25 07:32:53]
313*2^2251439-1 is not prime.  Res64: AB55DA53AE9876E9  Time : 0.0 sec.
user=ototero
[2017-07-25 07:33:06]
315*2^2251439-1 is not prime.  Res64: F86765A5DD01F7B2  Time : 0.0 sec.
user=odicin
[2017-07-25 07:56:17]
325*2^2251453-1 is not prime.  Res64: 6FD8A6416BB649FA  Time : 0.0 sec.
user=odicin
[2017-07-25 07:56:18]
303*2^2251452-1 is not prime.  Res64: 58854E6F0C502800  Time : 0.0 sec.
user=ototero
[2017-07-25 07:56:52]
305*2^2251442-1 is not prime.  Res64: 37A1347D6F0B56CF  Time : 0.0 sec.
user=ototero
[2017-07-25 08:22:29]
303*2^2251447-1 is not prime.  Res64: 4E43ACF9FCC333C6  Time : 0.0 sec.
user=ototero
[2017-07-25 08:23:02]
319*2^2251451-1 is not prime.  Res64: 277C50787D57C59F  Time : 0.0 sec.
user=odicin
[2017-07-25 08:23:21]
323*2^2251460-1 is not prime.  Res64: C0DAD19CC73812AF  Time : 0.0 sec.
user=odicin
[2017-07-25 08:23:22]
315*2^2251461-1 is not prime.  Res64: 75176AB79E323E54  Time : 0.0 sec.
user=ototero
[2017-07-25 08:23:41]
329*2^2251448-1 is not prime.  Res64: 71794237695E9A6E  Time : 0.0 sec.
user=ototero
[2017-07-25 08:33:05]
327*2^2251458-1 is not prime.  Res64: EA24711ACBEAFDE9  Time : 0.0 sec.
user=ototero
[2017-07-25 08:33:21]
347*2^2251458-1 is not prime.  Res64: 878D6527F9FD31FF  Time : 0.0 sec.
user=odicin
[2017-07-25 08:50:24]
327*2^2251466-1 is not prime.  Res64: 46578434137DFB74  Time : 0.0 sec.
user=odicin
[2017-07-25 08:50:24]
311*2^2251466-1 is not prime.  Res64: 1FBDC877EC19EBF2  Time : 0.0 sec.
user=ototero
[2017-07-25 08:53:09]
313*2^2251463-1 is not prime.  Res64: E5E868C5779C113A  Time : 0.0 sec.
user=odicin
[2017-07-25 09:17:30]
349*2^2251471-1 is not prime.  Res64: 3D08583E14262D89  Time : 0.0 sec.
user=odicin
[2017-07-25 09:17:33]
341*2^2251474-1 is not prime.  Res64: 2FC3597F9691CF4E  Time : 0.0 sec.
user=ototero
[2017-07-25 09:18:46]
327*2^2251464-1 is not prime.  Res64: F06F19898730E5E7  Time : 0.0 sec.
user=ototero
[2017-07-25 09:19:08]
325*2^2251465-1 is not prime.  Res64: BC57255B8DAFBBC1  Time : 0.0 sec.
user=ototero
[2017-07-25 09:20:07]
327*2^2251468-1 is not prime.  Res64: A6C50501A72D1CF3  Time : 0.0 sec.
user=ototero
[2017-07-25 09:39:05]
315*2^2251469-1 is not prime.  Res64: 45D7E4FD44D0ABE1  Time : 0.0 sec.
user=ototero
[2017-07-25 09:39:26]
301*2^2251471-1 is not prime.  Res64: 73DE6192D48699F6  Time : 0.0 sec.
user=odicin
[2017-07-25 09:44:34]
321*2^2251477-1 is not prime.  Res64: F13921303315BE84  Time : 0.0 sec.
user=odicin
[2017-07-25 09:44:35]
311*2^2251478-1 is not prime.  Res64: 3D6C35052007AE38  Time : 0.0 sec.
user=ototero
[2017-07-25 09:51:42]
345*2^2251476-1 is not prime.  Res64: FDAEB5D010B2394F  Time : 0.0 sec.
user=ototero
[2017-07-25 09:52:54]
339*2^2251455-1 is not prime.  Res64: 1974843198EA12F3  Time : 0.0 sec.
user=ototero
[2017-07-25 09:52:56]
309*2^2251457-1 is not prime.  Res64: 75C957EA77551832  Time : 0.0 sec.
user=ototero
[2017-07-25 09:53:44]
339*2^2251457-1 is not prime.  Res64: 2BA74CBE7349A773  Time : 0.0 sec.
user=odicin
[2017-07-25 10:11:37]
315*2^2251490-1 is not prime.  Res64: 38F63AD72CE26C15  Time : 0.0 sec.
user=odicin
[2017-07-25 10:11:38]
321*2^2251490-1 is not prime.  Res64: 72FE27226333E653  Time : 0.0 sec.
user=ototero
[2017-07-25 10:18:42]
317*2^2251480-1 is not prime.  Res64: 26C566D7F492E400  Time : 0.0 sec.
user=ototero
[2017-07-25 10:18:48]
333*2^2251479-1 is not prime.  Res64: 7C0F0C494E3CC7F9  Time : 0.0 sec.
user=ototero
[2017-07-25 10:20:41]
335*2^2251482-1 is not prime.  Res64: 597C897D57DDC1D6  Time : 0.0 sec.
user=ototero
[2017-07-25 10:26:59]
323*2^2251286-1 is not prime.  Res64: 2024297F018A1074  Time : 0.0 sec.
user=ototero
[2017-07-25 10:28:17]
321*2^2251287-1 is not prime.  Res64: 04439D326C729756  Time : 0.0 sec.
user=odicin
[2017-07-25 10:38:44]
321*2^2251497-1 is not prime.  Res64: 301EFB9251160E36  Time : 0.0 sec.
user=odicin
[2017-07-25 10:38:45]
339*2^2251495-1 is not prime.  Res64: F0FB6472F9AAC7D9  Time : 0.0 sec.
user=ototero
[2017-07-25 10:52:05]
315*2^2251491-1 is not prime.  Res64: 05573562B55C440B  Time : 0.0 sec.
user=ototero
[2017-07-25 11:04:35]
309*2^2251484-1 is not prime.  Res64: BA419E6F836E6BEA  Time : 0.0 sec.
user=ototero
[2017-07-25 11:04:52]
301*2^2251485-1 is not prime.  Res64: 3F181E60EA058B6A  Time : 0.0 sec.
user=odicin
[2017-07-25 11:05:48]
309*2^2251504-1 is not prime.  Res64: CECC45AC07D5329A  Time : 0.0 sec.
user=odicin
[2017-07-25 11:05:50]
315*2^2251504-1 is not prime.  Res64: 8E1FB34139984F6F  Time : 0.0 sec.
user=ototero
[2017-07-25 11:19:27]
315*2^2251499-1 is not prime.  Res64: 5DCDD98093CE7386  Time : 0.0 sec.
user=ototero
[2017-07-25 11:19:44]
333*2^2251500-1 is not prime.  Res64: 97189E17FFED53B4  Time : 0.0 sec.
user=ototero
[2017-07-25 11:21:39]
335*2^2251500-1 is not prime.  Res64: 9081765E048FB08E  Time : 0.0 sec.
user=ototero
[2017-07-25 11:27:44]
339*2^2251501-1 is not prime.  Res64: C0D5EB965A6A51F4  Time : 0.0 sec.
user=ototero
[2017-07-25 11:29:11]
303*2^2251504-1 is not prime.  Res64: A7E29BA731660D36  Time : 0.0 sec.
user=odicin
[2017-07-25 11:32:54]
313*2^2251511-1 is not prime.  Res64: F23C3B3637ECC5DA  Time : 0.0 sec.
user=odicin
[2017-07-25 11:32:55]
303*2^2251512-1 is not prime.  Res64: 14D45A41AA6DE9BA  Time : 0.0 sec.
user=ototero
[2017-07-25 11:52:33]
327*2^2251504-1 is not prime.  Res64: E70886BAC9EDE76C  Time : 0.0 sec.
user=odicin
[2017-07-25 11:59:58]
335*2^2251522-1 is not prime.  Res64: 4F5FA7DD14B729F1  Time : 0.0 sec.
user=odicin
[2017-07-25 12:00:00]
349*2^2251523-1 is not prime.  Res64: 670461612262D557  Time : 0.0 sec.
user=ototero
[2017-07-25 12:15:06]
307*2^2251493-1 is not prime.  Res64: EF583ECB1C7B74B9  Time : 0.0 sec.
user=ototero
[2017-07-25 12:15:09]
309*2^2251493-1 is not prime.  Res64: 2DB26D778212F5CE  Time : 0.0 sec.
user=ototero
[2017-07-25 12:16:19]
327*2^2251493-1 is not prime.  Res64: 444A3A4EC25C3CA0  Time : 0.0 sec.
user=ototero
[2017-07-25 12:19:58]
301*2^2251513-1 is not prime.  Res64: 49E1C58D0C4EB12A  Time : 0.0 sec.
user=ototero
[2017-07-25 12:20:24]
325*2^2251513-1 is not prime.  Res64: FA7D99A430D635D9  Time : 0.0 sec.
user=ototero
[2017-07-25 12:22:14]
315*2^2251515-1 is not prime.  Res64: AAA1D583AF5337E1  Time : 0.0 sec.
user=odicin
[2017-07-25 12:27:01]
345*2^2251530-1 is not prime.  Res64: 1D2EC7A33FD03805  Time : 0.0 sec.
user=odicin
[2017-07-25 12:27:03]
313*2^2251531-1 is not prime.  Res64: 85AEFCCE0D6C24A4  Time : 0.0 sec.
user=ototero
[2017-07-25 12:28:16]
301*2^2251519-1 is not prime.  Res64: 20944BB6A16C8EA3  Time : 0.0 sec.
user=ototero
[2017-07-25 12:29:16]
323*2^2251520-1 is not prime.  Res64: 7CC551FE7958AB1E  Time : 0.0 sec.
user=ototero
[2017-07-25 12:29:46]
317*2^2251506-1 is not prime.  Res64: 7DBD8BAA77B9EEB2  Time : 0.0 sec.
user=ototero
[2017-07-25 12:29:51]
327*2^2251509-1 is not prime.  Res64: 609884693734F54C  Time : 0.0 sec.
user=odicin
[2017-07-25 12:54:11]
309*2^2251543-1 is not prime.  Res64: 301F838EA3CA2E5E  Time : 0.0 sec.
user=odicin
[2017-07-25 12:54:11]
345*2^2251542-1 is not prime.  Res64: 12FF916DB60C4DDA  Time : 0.0 sec.
user=odicin
[2017-07-25 13:21:22]
345*2^2251557-1 is not prime.  Res64: 8D384BF6EC8EED6B  Time : 0.0 sec.
user=odicin
[2017-07-25 13:21:23]
329*2^2251556-1 is not prime.  Res64: 7B98A361DAB80605  Time : 0.0 sec.
user=ototero
[2017-07-25 13:42:35]
333*2^2251287-1 is not prime.  Res64: 4EFAF5CCE36B2A76  Time : 0.0 sec.
user=ototero
[2017-07-25 13:42:35]
315*2^2251538-1 is not prime.  Res64: 12C32E3F773F3A4D  Time : 0.0 sec.
user=ototero
[2017-07-25 13:42:36]
327*2^2251289-1 is not prime.  Res64: 12895C4C6B5D26A1  Time : 0.0 sec.
user=ototero
[2017-07-25 13:42:40]
327*2^2251553-1 is not prime.  Res64: 928A0BA928C48524  Time : 0.0 sec.
user=ototero
[2017-07-25 13:42:53]
309*2^2251553-1 is not prime.  Res64: 1A0EE11D2CE00AF2  Time : 0.0 sec.
user=ototero
[2017-07-25 13:42:55]
341*2^2251526-1 is not prime.  Res64: BC731DCA6DC620A7  Time : 0.0 sec.
user=ototero
[2017-07-25 13:42:56]
321*2^2251543-1 is not prime.  Res64: 67BA9548A175589E  Time : 0.0 sec.
user=ototero
[2017-07-25 13:43:02]
323*2^2251556-1 is not prime.  Res64: 75BB0D2724359202  Time : 0.0 sec.
user=odicin
[2017-07-25 13:48:27]
317*2^2251558-1 is not prime.  Res64: C20DC04660116F59  Time : 0.0 sec.
user=odicin
[2017-07-25 13:48:30]
339*2^2251559-1 is not prime.  Res64: 87A2FDF0FB85B4B9  Time : 0.0 sec.
user=ototero
[2017-07-25 13:54:55]
347*2^2251548-1 is not prime.  Res64: B0EA1B8E9E230529  Time : 0.0 sec.
user=ototero
[2017-07-25 13:54:58]
339*2^2251549-1 is not prime.  Res64: A68EB45B1D89D7A4  Time : 0.0 sec.
user=odicin
[2017-07-25 14:15:36]
345*2^2251576-1 is not prime.  Res64: FAC79F06DE5E2851  Time : 0.0 sec.
user=odicin
[2017-07-25 14:15:38]
303*2^2251578-1 is not prime.  Res64: BF69C58B98A5002B  Time : 0.0 sec.
user=ototero
[2017-07-25 14:37:18]
323*2^2251532-1 is not prime.  Res64: 8F60B776B294BAED  Time : 0.0 sec.
user=ototero
[2017-07-25 14:37:38]
317*2^2251536-1 is not prime.  Res64: 618662182D4084C0  Time : 0.0 sec.
user=ototero
[2017-07-25 14:38:32]
339*2^2251537-1 is not prime.  Res64: 0C2D464DD3C3F679  Time : 0.0 sec.
user=odicin
[2017-07-25 14:42:40]
303*2^2251584-1 is not prime.  Res64: C669582E1665BE97  Time : 0.0 sec.
user=odicin
[2017-07-25 14:42:42]
315*2^2251584-1 is not prime.  Res64: EA879C2B9189DA7A  Time : 0.0 sec.
user=ototero
[2017-07-25 14:50:24]
317*2^2251566-1 is not prime.  Res64: BA8218CBB08FD810  Time : 0.0 sec.
user=ototero
[2017-07-25 14:50:33]
327*2^2251565-1 is not prime.  Res64: A20889B0379C2684  Time : 0.0 sec.
user=ototero
[2017-07-25 14:50:40]
347*2^2251560-1 is not prime.  Res64: E0C28C54F9C38F3E  Time : 0.0 sec.
user=ototero
[2017-07-25 14:50:42]
315*2^2251560-1 is not prime.  Res64: 55A3804865303B62  Time : 0.0 sec.
user=ototero
[2017-07-25 14:50:48]
341*2^2251574-1 is not prime.  Res64: 5328BD9EDA4E418E  Time : 0.0 sec.
user=ototero
[2017-07-25 14:50:51]
345*2^2251567-1 is not prime.  Res64: 09AD78E8252642CC  Time : 0.0 sec.
user=ototero
[2017-07-25 14:51:12]
325*2^2251573-1 is not prime.  Res64: 72BB9E00D5C9911A  Time : 0.0 sec.
user=ototero
[2017-07-25 14:52:04]
323*2^2251576-1 is not prime.  Res64: BDD3C03E44BF627C  Time : 0.0 sec.
user=odicin
[2017-07-25 15:09:46]
319*2^2251589-1 is not prime.  Res64: 2C4145251D60635A  Time : 0.0 sec.
user=odicin
[2017-07-25 15:09:49]
327*2^2251596-1 is not prime.  Res64: B0FCBA00148D2FC6  Time : 0.0 sec.
user=ototero
[2017-07-25 15:20:12]
315*2^2251578-1 is not prime.  Res64: 618E7104B6D1BB30  Time : 0.0 sec.
user=ototero
[2017-07-25 15:20:17]
317*2^2251582-1 is not prime.  Res64: A111517F8365EACA  Time : 0.0 sec.
user=odicin
[2017-07-25 15:36:49]
303*2^2251608-1 is not prime.  Res64: 83A5C22FBB850A52  Time : 0.0 sec.
user=odicin
[2017-07-25 15:36:54]
317*2^2251608-1 is not prime.  Res64: FBBD584D2EB25DDF  Time : 0.0 sec.
user=ototero
[2017-07-25 15:57:14]
309*2^2251601-1 is not prime.  Res64: FAE4E050301FAF1D  Time : 0.0 sec.
user=ototero
[2017-07-25 15:57:22]
325*2^2251597-1 is not prime.  Res64: E14461B7DB0E12A2  Time : 0.0 sec.
user=ototero
[2017-07-25 15:57:23]
303*2^2251603-1 is not prime.  Res64: BDCDA54F5EB7263E  Time : 0.0 sec.
user=ototero
[2017-07-25 15:57:35]
327*2^2251602-1 is not prime.  Res64: EB8402D695B4ABBD  Time : 0.0 sec.
user=ototero
[2017-07-25 15:57:35]
301*2^2251603-1 is not prime.  Res64: 5A5703523DB15141  Time : 0.0 sec.
user=ototero
[2017-07-25 15:57:42]
323*2^2251606-1 is not prime.  Res64: A595F98D314711AC  Time : 0.0 sec.
user=ototero
[2017-07-25 15:58:01]
339*2^2251607-1 is not prime.  Res64: E5719B3791F8D7A8  Time : 0.0 sec.
user=ototero
[2017-07-25 15:59:02]
343*2^2251607-1 is not prime.  Res64: E99AA43775D978DF  Time : 0.0 sec.
user=odicin
[2017-07-25 16:03:55]
315*2^2251612-1 is not prime.  Res64: DF1E94470EB7CA62  Time : 0.0 sec.
user=odicin
[2017-07-25 16:03:56]
319*2^2251613-1 is not prime.  Res64: 827AB05115875116  Time : 0.0 sec.
user=odicin
[2017-07-25 16:31:00]
307*2^2251621-1 is not prime.  Res64: 5DA7BAC287C0EE32  Time : 0.0 sec.
user=odicin
[2017-07-25 16:31:03]
309*2^2251621-1 is not prime.  Res64: 09D2681D7797604F  Time : 0.0 sec.
user=ototero
[2017-07-25 16:45:47]
331*2^2251609-1 is not prime.  Res64: F15EB0EEC509C93F  Time : 0.0 sec.
user=ototero
[2017-07-25 16:46:27]
319*2^2251611-1 is not prime.  Res64: B0D7BF61B1CD7B74  Time : 0.0 sec.
user=odicin
[2017-07-25 16:58:05]
321*2^2251622-1 is not prime.  Res64: 0E4884662262FEDA  Time : 0.0 sec.
user=odicin
[2017-07-25 16:58:11]
327*2^2251626-1 is not prime.  Res64: 125AD597727E2543  Time : 0.0 sec.
user=ototero
[2017-07-25 16:59:53]
311*2^2251586-1 is not prime.  Res64: BDEB5441BEC9F950  Time : 0.0 sec.
user=ototero
[2017-07-25 17:00:10]
327*2^2251586-1 is not prime.  Res64: 2B2B1BD9CE0904A5  Time : 0.0 sec.
user=ototero
[2017-07-25 17:01:16]
315*2^2251588-1 is not prime.  Res64: 7A20BB250E07EFCE  Time : 0.0 sec.
user=ototero
[2017-07-25 17:03:25]
321*2^2251613-1 is not prime.  Res64: 8B1630C59040EEF8  Time : 0.0 sec.
user=ototero
[2017-07-25 17:03:37]
325*2^2251617-1 is not prime.  Res64: 871159CA717469D0  Time : 0.0 sec.
user=ototero
[2017-07-25 17:03:43]
321*2^2251615-1 is not prime.  Res64: 3938D41DF2A631E2  Time : 0.0 sec.
user=ototero
[2017-07-25 17:03:48]
315*2^2251614-1 is not prime.  Res64: B9F39DF6A9259140  Time : 0.0 sec.
user=ototero
[2017-07-25 17:03:50]
321*2^2251618-1 is not prime.  Res64: 60FD92194D1199A8  Time : 0.0 sec.
user=ototero
[2017-07-25 17:04:02]
313*2^2251619-1 is not prime.  Res64: 7B6C79C237AD5FF8  Time : 0.0 sec.
user=ototero
[2017-07-25 17:04:10]
347*2^2251620-1 is not prime.  Res64: A1963560ECF88E66  Time : 0.0 sec.
user=ototero
[2017-07-25 17:05:48]
301*2^2251621-1 is not prime.  Res64: F709A2CD009CF2B8  Time : 0.0 sec.
user=odicin
[2017-07-25 17:25:09]
321*2^2251633-1 is not prime.  Res64: 1D55BD934D8B7DC8  Time : 0.0 sec.
user=odicin
[2017-07-25 17:25:14]
301*2^2251635-1 is not prime.  Res64: 09A746F2E65F64A8  Time : 0.0 sec.
user=odicin
[2017-07-25 17:52:14]
325*2^2251649-1 is not prime.  Res64: 3E99E70C84F4C774  Time : 0.0 sec.
user=odicin
[2017-07-25 17:52:21]
339*2^2251651-1 is not prime.  Res64: 4BE2E7E65495018C  Time : 0.0 sec.
user=ototero
[2017-07-25 18:09:44]
345*2^2251641-1 is not prime.  Res64: C004A911C68F0DB0  Time : 0.0 sec.
user=ototero
[2017-07-25 18:09:53]
327*2^2251644-1 is not prime.  Res64: C5C43F87B43E9C58  Time : 0.0 sec.
user=ototero
[2017-07-25 18:09:58]
331*2^2251647-1 is not prime.  Res64: 95CF3F99B98580B3  Time : 0.0 sec.
user=ototero
[2017-07-25 18:09:58]
309*2^2251648-1 is not prime.  Res64: 58BF7C5940FC7A14  Time : 0.0 sec.
user=ototero
[2017-07-25 18:10:12]
315*2^2251648-1 is not prime.  Res64: F7F75E69ECAB48B6  Time : 0.0 sec.
user=ototero
[2017-07-25 18:10:18]
333*2^2251647-1 is not prime.  Res64: 33E9D46194AEAAFF  Time : 0.0 sec.
user=ototero
[2017-07-25 18:10:32]
317*2^2251648-1 is not prime.  Res64: 2023B18F51F4379C  Time : 0.0 sec.
user=ototero
[2017-07-25 18:10:57]
309*2^2251628-1 is not prime.  Res64: 07C52374AF7F715A  Time : 0.0 sec.
user=ototero
[2017-07-25 18:11:39]
341*2^2251630-1 is not prime.  Res64: ABA61F590B3B64B8  Time : 0.0 sec.
user=ototero
[2017-07-25 18:12:16]
307*2^2251649-1 is not prime.  Res64: A87B63ADFC1B16C5  Time : 0.0 sec.
user=odicin
[2017-07-25 18:19:19]
325*2^2251653-1 is not prime.  Res64: 1B806384DEB84A31  Time : 0.0 sec.
user=odicin
[2017-07-25 18:19:26]
345*2^2251654-1 is not prime.  Res64: F0F68D9D514E9925  Time : 0.0 sec.
user=odicin
[2017-07-25 18:46:23]
307*2^2251673-1 is not prime.  Res64: DC7935EA8447C4D9  Time : 0.0 sec.
user=odicin
[2017-07-25 18:46:30]
349*2^2251675-1 is not prime.  Res64: DC25BC316A26E0A0  Time : 0.0 sec.
user=odicin
[2017-07-25 19:13:31]
327*2^2251676-1 is not prime.  Res64: B364827DF1E30499  Time : 0.0 sec.
user=odicin
[2017-07-25 19:13:37]
345*2^2251677-1 is not prime.  Res64: BB506D9D01626B3C  Time : 0.0 sec.
user=ototero
[2017-07-25 19:15:58]
327*2^2251656-1 is not prime.  Res64: 8695D9F9A3704068  Time : 0.0 sec.
user=ototero
[2017-07-25 19:16:17]
345*2^2251665-1 is not prime.  Res64: B90AD7EEF4114CB4  Time : 0.0 sec.
user=ototero
[2017-07-25 19:16:17]
303*2^2251662-1 is not prime.  Res64: F3CC175E2F62754D  Time : 0.0 sec.
user=ototero
[2017-07-25 19:16:17]
345*2^2251656-1 is not prime.  Res64: F00265F914A2B817  Time : 0.0 sec.
user=ototero
[2017-07-25 19:16:27]
327*2^2251668-1 is not prime.  Res64: D539C4507B9FDBF8  Time : 0.0 sec.
user=ototero
[2017-07-25 19:16:49]
323*2^2251666-1 is not prime.  Res64: C93B3B09E941B0B4  Time : 0.0 sec.
user=ototero
[2017-07-25 19:16:53]
329*2^2251668-1 is not prime.  Res64: EB5852640C6EF47F  Time : 0.0 sec.
user=ototero
[2017-07-25 19:18:56]
339*2^2251671-1 is not prime.  Res64: DC7954E09B0ECA94  Time : 0.0 sec.
user=ototero
[2017-07-25 19:22:09]
301*2^2251637-1 is not prime.  Res64: 13FEC2CED7E83782  Time : 0.0 sec.
user=ototero
[2017-07-25 19:22:33]
307*2^2251637-1 is not prime.  Res64: 6AA49F38388C7DE8  Time : 0.0 sec.
user=ototero
[2017-07-25 19:23:32]
339*2^2251637-1 is not prime.  Res64: 69D686E07909D7FC  Time : 0.0 sec.
user=ototero
[2017-07-25 19:38:19]
335*2^2251668-1 is not prime.  Res64: 64A580BFEC9D17C1  Time : 0.0 sec.
user=ototero
[2017-07-25 19:39:14]
325*2^2251669-1 is not prime.  Res64: C5B516EC601DA0D8  Time : 0.0 sec.
user=odicin
[2017-07-25 19:40:38]
333*2^2251680-1 is not prime.  Res64: 1D5EE2813DE6214C  Time : 0.0 sec.
user=odicin
[2017-07-25 19:40:47]
301*2^2251681-1 is not prime.  Res64: 7E64C9F545A8065B  Time : 0.0 sec.
user=odicin
[2017-07-25 20:07:47]
339*2^2251693-1 is not prime.  Res64: EE9A50BB8D657FD6  Time : 0.0 sec.
user=odicin
[2017-07-25 20:07:56]
315*2^2251695-1 is not prime.  Res64: CE018343F92BB324  Time : 0.0 sec.
user=ototero
[2017-07-25 20:21:54]
307*2^2251681-1 is not prime.  Res64: 0575EA3C9D1B585E  Time : 0.0 sec.
user=ototero
[2017-07-25 20:21:54]
347*2^2251682-1 is not prime.  Res64: 8115B099DFF14FBD  Time : 0.0 sec.
user=ototero
[2017-07-25 20:22:08]
323*2^2251682-1 is not prime.  Res64: A0715B227F365393  Time : 0.0 sec.
user=ototero
[2017-07-25 20:22:18]
321*2^2251685-1 is not prime.  Res64: 5125686290889AEC  Time : 0.0 sec.
user=ototero
[2017-07-25 20:22:25]
333*2^2251683-1 is not prime.  Res64: 4C647E52C4D65856  Time : 0.0 sec.
user=ototero
[2017-07-25 20:22:40]
325*2^2251685-1 is not prime.  Res64: 0945E37E51A0D84E  Time : 0.0 sec.
user=ototero
[2017-07-25 20:22:45]
313*2^2251687-1 is not prime.  Res64: 1C794A3E6D44F6B4  Time : 0.0 sec.
user=ototero
[2017-07-25 20:25:04]
315*2^2251687-1 is not prime.  Res64: 3D580B7720C18E32  Time : 0.0 sec.
user=odicin
[2017-07-25 20:34:50]
349*2^2251695-1 is not prime.  Res64: 45B1A444CA3E4ACF  Time : 0.0 sec.
user=odicin
[2017-07-25 20:34:59]
347*2^2251698-1 is not prime.  Res64: 0AAED7D4304A0601  Time : 0.0 sec.
user=odicin
[2017-07-25 21:01:59]
327*2^2251713-1 is not prime.  Res64: 8148202DCF66D0A8  Time : 0.0 sec.
user=odicin
[2017-07-25 21:02:04]
315*2^2251714-1 is not prime.  Res64: 687D835466C4ABBF  Time : 0.0 sec.
user=ototero
[2017-07-25 21:06:34]
315*2^2251690-1 is not prime.  Res64: E6BE52B757C71741  Time : 0.0 sec.
user=ototero
[2017-07-25 21:07:20]
335*2^2251692-1 is not prime.  Res64: A31159D635AD77D6  Time : 0.0 sec.
user=ototero
[2017-07-25 21:28:12]
335*2^2251702-1 is not prime.  Res64: 411AC5E1E78CA995  Time : 0.0 sec.
user=ototero
[2017-07-25 21:28:14]
325*2^2251699-1 is not prime.  Res64: 47FD7213DF542AC0  Time : 0.0 sec.
user=ototero
[2017-07-25 21:28:17]
309*2^2251699-1 is not prime.  Res64: 9BD1AB6C0021422A  Time : 0.0 sec.
user=ototero
[2017-07-25 21:28:38]
327*2^2251704-1 is not prime.  Res64: AC7C7018E6BDE133  Time : 0.0 sec.
user=ototero
[2017-07-25 21:28:41]
337*2^2251709-1 is not prime.  Res64: A45DE31610823A46  Time : 0.0 sec.
user=ototero
[2017-07-25 21:28:42]
333*2^2251710-1 is not prime.  Res64: B548217C2782B77D  Time : 0.0 sec.
user=ototero
[2017-07-25 21:28:56]
345*2^2251711-1 is not prime.  Res64: DF4B210D2EB3E03A  Time : 0.0 sec.
user=odicin
[2017-07-25 21:29:06]
327*2^2251714-1 is not prime.  Res64: 583E49B6BE89D787  Time : 0.0 sec.
user=odicin
[2017-07-25 21:29:07]
333*2^2251715-1 is not prime.  Res64: 6896E55666720BE5  Time : 0.0 sec.
user=ototero
[2017-07-25 21:31:35]
323*2^2251712-1 is not prime.  Res64: DDC3BB2434D2A60B  Time : 0.0 sec.
user=ototero
[2017-07-25 21:44:20]
309*2^2251688-1 is not prime.  Res64: 65A441AB2E9DEF76  Time : 0.0 sec.
user=ototero
[2017-07-25 21:44:52]
319*2^2251689-1 is not prime.  Res64: 5821A343EF8C2127  Time : 0.0 sec.
user=ototero
[2017-07-25 21:45:41]
327*2^2251689-1 is not prime.  Res64: 6CC04C14898BF1A4  Time : 0.0 sec.
user=odicin
[2017-07-25 21:56:14]
331*2^2251729-1 is not prime.  Res64: 400BC6A8908520CE  Time : 0.0 sec.
user=odicin
[2017-07-25 21:56:16]
347*2^2251728-1 is not prime.  Res64: 7ABCD255E4F64A81  Time : 0.0 sec.
user=odicin
[2017-07-25 22:23:18]
321*2^2251735-1 is not prime.  Res64: CC44C9405BC8EB7E  Time : 0.0 sec.
user=odicin
[2017-07-25 22:23:23]
303*2^2251735-1 is not prime.  Res64: ACC1AFF29DEC2531  Time : 0.0 sec.
user=ototero
[2017-07-25 22:31:59]
347*2^2251716-1 is not prime.  Res64: 05FA1BBD7CCA067A  Time : 0.0 sec.
user=ototero
[2017-07-25 22:32:36]
325*2^2251717-1 is not prime.  Res64: 979A4F48CDE5F754  Time : 0.0 sec.
user=ototero
[2017-07-25 22:34:14]
349*2^2251719-1 is not prime.  Res64: 01FD362770881580  Time : 0.0 sec.
user=ototero
[2017-07-25 22:34:15]
345*2^2251720-1 is not prime.  Res64: FBD54BD62F8B7C3A  Time : 0.0 sec.
user=ototero
[2017-07-25 22:34:22]
311*2^2251718-1 is not prime.  Res64: C27BCEAEA8B5F3D4  Time : 0.0 sec.
user=ototero
[2017-07-25 22:34:36]
319*2^2251721-1 is not prime.  Res64: 72F089EC6C4608CC  Time : 0.0 sec.
user=ototero
[2017-07-25 22:34:39]
313*2^2251723-1 is not prime.  Res64: 47ABBCCB16AAC68C  Time : 0.0 sec.
user=ototero
[2017-07-25 22:34:51]
347*2^2251722-1 is not prime.  Res64: 118D79FEC0892418  Time : 0.0 sec.
user=ototero
[2017-07-25 22:35:11]
345*2^2251726-1 is not prime.  Res64: B1213A403F647BEA  Time : 0.0 sec.
user=ototero
[2017-07-25 22:37:35]
339*2^2251729-1 is not prime.  Res64: 5123316DD623FA70  Time : 0.0 sec.
user=odicin
[2017-07-25 22:50:29]
323*2^2251736-1 is not prime.  Res64: E6C44C8D142DF92D  Time : 0.0 sec.
user=odicin
[2017-07-25 22:50:35]
331*2^2251737-1 is not prime.  Res64: DFC3F41AF5A9F620  Time : 0.0 sec.
user=odicin
[2017-07-25 23:17:33]
315*2^2251750-1 is not prime.  Res64: 31822BD6FB2E846E  Time : 0.0 sec.
user=odicin
[2017-07-25 23:17:39]
331*2^2251755-1 is not prime.  Res64: 8BB80A79957ECB0F  Time : 0.0 sec.
user=ototero
[2017-07-25 23:39:55]
317*2^2251740-1 is not prime.  Res64: 877F02C7327B644A  Time : 0.0 sec.
user=ototero
[2017-07-25 23:40:03]
333*2^2251740-1 is not prime.  Res64: 6ABEE9798AAE3261  Time : 0.0 sec.
user=ototero
[2017-07-25 23:40:23]
327*2^2251745-1 is not prime.  Res64: BF6221CD334E6B7A  Time : 0.0 sec.
user=ototero
[2017-07-25 23:40:31]
303*2^2251743-1 is not prime.  Res64: 5960387566C9F783  Time : 0.0 sec.
user=ototero
[2017-07-25 23:40:42]
315*2^2251746-1 is not prime.  Res64: B1AFC1C507C737BC  Time : 0.0 sec.
user=ototero
[2017-07-25 23:41:09]
341*2^2251746-1 is not prime.  Res64: E067F687929DE8EE  Time : 0.0 sec.
user=ototero
[2017-07-25 23:41:17]
343*2^2251747-1 is not prime.  Res64: 9291393E2B6C6D19  Time : 0.0 sec.
user=ototero
[2017-07-25 23:43:45]
345*2^2251749-1 is not prime.  Res64: BDE8148F78978723  Time : 0.0 sec.
user=odicin
[2017-07-25 23:44:43]
315*2^2251757-1 is not prime.  Res64: CBFB9ED8E3084D18  Time : 0.0 sec.
user=odicin
[2017-07-25 23:44:48]
339*2^2251759-1 is not prime.  Res64: F0AA24491C54275D  Time : 0.0 sec.
user=ototero
[2017-07-25 23:57:03]
327*2^2251738-1 is not prime.  Res64: E892253BE983880A  Time : 0.0 sec.
user=ototero
[2017-07-25 23:57:39]
313*2^2251739-1 is not prime.  Res64: E50724DCEC260FC6  Time : 0.0 sec.