user=ototero
[2017-08-09 00:01:18]
317*2^2258110-1 is not prime.  Res64: BBBC7FAE70670226  Time : 0.0 sec.
user=ototero
[2017-08-09 00:15:39]
315*2^2258130-1 is not prime.  Res64: 5C018B3EBC868806  Time : 0.0 sec.
user=odicin
[2017-08-09 00:16:21]
305*2^2258138-1 is not prime.  Res64: C73E927F779CA7E3  Time : 0.0 sec.
user=odicin
[2017-08-09 00:16:24]
345*2^2258140-1 is not prime.  Res64: DB89ACE4249518BA  Time : 0.0 sec.
user=ototero
[2017-08-09 00:43:26]
327*2^2258136-1 is not prime.  Res64: 3D015AB5701EC05D  Time : 0.0 sec.
user=odicin
[2017-08-09 00:43:29]
301*2^2258153-1 is not prime.  Res64: 36D56FD88108CDA4  Time : 0.0 sec.
user=odicin
[2017-08-09 00:43:30]
305*2^2258150-1 is not prime.  Res64: F5AB00BE76F2CE44  Time : 0.0 sec.
user=ototero
[2017-08-09 00:43:42]
349*2^2258135-1 is not prime.  Res64: BB47D4ED901C59F0  Time : 0.0 sec.
user=ototero
[2017-08-09 00:43:52]
345*2^2258134-1 is not prime.  Res64: 0385BBDAA0760182  Time : 0.0 sec.
user=ototero
[2017-08-09 00:48:04]
307*2^2258137-1 is not prime.  Res64: CF860A23E045B979  Time : 0.0 sec.
user=ototero
[2017-08-09 00:51:43]
317*2^2258142-1 is not prime.  Res64: C804F4A2D25A6A03  Time : 0.0 sec.
user=ototero
[2017-08-09 01:04:55]
339*2^2258135-1 is not prime.  Res64: A3BC4DE6088F080F  Time : 0.0 sec.
user=ototero
[2017-08-09 01:04:59]
335*2^2258134-1 is not prime.  Res64: 76A7EBE6738F31CA  Time : 0.0 sec.
user=odicin
[2017-08-09 01:10:40]
327*2^2258162-1 is not prime.  Res64: AA184A131C7DF348  Time : 0.0 sec.
user=odicin
[2017-08-09 01:10:41]
321*2^2258158-1 is not prime.  Res64: 41129396E4E8AA27  Time : 0.0 sec.
user=ototero
[2017-08-09 01:17:21]
309*2^2258149-1 is not prime.  Res64: 92A6C13E7AB04281  Time : 0.0 sec.
user=odicin
[2017-08-09 01:37:54]
349*2^2258173-1 is not prime.  Res64: B0B6976B4E7C29D8  Time : 0.0 sec.
user=odicin
[2017-08-09 01:37:57]
329*2^2258172-1 is not prime.  Res64: 472D9DB6988FE98E  Time : 0.0 sec.
user=ototero
[2017-08-09 01:43:21]
349*2^2258163-1 is not prime.  Res64: AA5697FD9A4F8881  Time : 0.0 sec.
user=ototero
[2017-08-09 01:43:47]
303*2^2258164-1 is not prime.  Res64: B935A8CE2F6B4AEF  Time : 0.0 sec.
user=ototero
[2017-08-09 01:43:53]
347*2^2258154-1 is not prime.  Res64: 620BB995198F62F9  Time : 0.0 sec.
user=ototero
[2017-08-09 01:50:20]
321*2^2258165-1 is not prime.  Res64: 5960B99FAD8DEAFA  Time : 0.0 sec.
user=ototero
[2017-08-09 01:54:35]
321*2^2258166-1 is not prime.  Res64: CB07D1EDEDA8CBF1  Time : 0.0 sec.
user=odicin
[2017-08-09 02:05:04]
345*2^2258176-1 is not prime.  Res64: 0895E3D3AC7C3291  Time : 0.0 sec.
user=odicin
[2017-08-09 02:05:06]
315*2^2258176-1 is not prime.  Res64: 704EAED3DD187E68  Time : 0.0 sec.
user=ototero
[2017-08-09 02:18:53]
315*2^2258174-1 is not prime.  Res64: CE0EDF4A274B13B0  Time : 0.0 sec.
user=ototero
[2017-08-09 02:23:10]
319*2^2258145-1 is not prime.  Res64: EFB328DD353953C0  Time : 0.0 sec.
user=ototero
[2017-08-09 02:23:19]
315*2^2258146-1 is not prime.  Res64: 922319BC659ED367  Time : 0.0 sec.
user=ototero
[2017-08-09 02:23:51]
309*2^2258147-1 is not prime.  Res64: 52B8805E80D81170  Time : 0.0 sec.
user=ototero
[2017-08-09 02:27:02]
319*2^2258169-1 is not prime.  Res64: BD78305EDACEB388  Time : 0.0 sec.
user=ototero
[2017-08-09 02:27:19]
341*2^2258166-1 is not prime.  Res64: 7D42CEE54025B659  Time : 0.0 sec.
user=odicin
[2017-08-09 02:32:29]
345*2^2258187-1 is not prime.  Res64: 6525F1F141963DAF  Time : 0.0 sec.
user=odicin
[2017-08-09 02:32:30]
309*2^2258185-1 is not prime.  Res64: 59A2A9792A353273  Time : 0.0 sec.
user=ototero
[2017-08-09 02:43:07]
301*2^2258177-1 is not prime.  Res64: 5E4790B9F7BFD1B3  Time : 0.0 sec.
user=ototero
[2017-08-09 02:44:01]
325*2^2258179-1 is not prime.  Res64: 367211BF5BB43FA8  Time : 0.0 sec.
user=ototero
[2017-08-09 02:45:02]
327*2^2258178-1 is not prime.  Res64: 40C3E53D88DBBA54  Time : 0.0 sec.
user=ototero
[2017-08-09 02:52:00]
327*2^2258180-1 is not prime.  Res64: 45BB7EB3FA36703E  Time : 0.0 sec.
user=ototero
[2017-08-09 02:56:19]
349*2^2258183-1 is not prime.  Res64: 3CB4B09054FC9372  Time : 0.0 sec.
user=odicin
[2017-08-09 02:59:39]
323*2^2258200-1 is not prime.  Res64: 687099D3F2EB8905  Time : 0.0 sec.
user=odicin
[2017-08-09 02:59:39]
335*2^2258200-1 is not prime.  Res64: 2203471FCE8033F1  Time : 0.0 sec.
user=ototero
[2017-08-09 03:20:09]
315*2^2258190-1 is not prime.  Res64: 35E557A296B3F335  Time : 0.0 sec.
user=odicin
[2017-08-09 03:26:48]
321*2^2258206-1 is not prime.  Res64: 7360A51E3D27CECE  Time : 0.0 sec.
user=odicin
[2017-08-09 03:26:49]
331*2^2258209-1 is not prime.  Res64: 7096B1818B337E05  Time : 0.0 sec.
user=ototero
[2017-08-09 03:44:17]
303*2^2258202-1 is not prime.  Res64: FDCA988B1E3EB50E  Time : 0.0 sec.
user=ototero
[2017-08-09 03:45:02]
303*2^2258203-1 is not prime.  Res64: 2510941ABEAB4D56  Time : 0.0 sec.
user=ototero
[2017-08-09 03:45:43]
347*2^2258204-1 is not prime.  Res64: F3647F70DED13F25  Time : 0.0 sec.
user=ototero
[2017-08-09 03:49:32]
327*2^2258196-1 is not prime.  Res64: 207D207002D63015  Time : 0.0 sec.
user=ototero
[2017-08-09 03:49:35]
315*2^2258199-1 is not prime.  Res64: F7452CB8E258EC88  Time : 0.0 sec.
user=ototero
[2017-08-09 03:53:13]
319*2^2258205-1 is not prime.  Res64: ABB8A42BC976ACD1  Time : 0.0 sec.
user=odicin
[2017-08-09 03:53:59]
333*2^2258214-1 is not prime.  Res64: 8B357EA4A7D4D5AA  Time : 0.0 sec.
user=odicin
[2017-08-09 03:54:01]
303*2^2258214-1 is not prime.  Res64: BAA891D3AEFF7D0B  Time : 0.0 sec.
user=ototero
[2017-08-09 03:57:50]
321*2^2258205-1 is not prime.  Res64: 8897BFE1D5E4C55B  Time : 0.0 sec.
user=odicin
[2017-08-09 04:21:06]
347*2^2258220-1 is not prime.  Res64: BC5215CE67BF17C3  Time : 0.0 sec.
user=odicin
[2017-08-09 04:21:10]
301*2^2258223-1 is not prime.  Res64: 8B92EC0A603A516D  Time : 0.0 sec.
user=ototero
[2017-08-09 04:21:11]
325*2^2258213-1 is not prime.  Res64: 596044B2625B881D  Time : 0.0 sec.
user=ototero
[2017-08-09 04:45:16]
325*2^2258217-1 is not prime.  Res64: 529BD7305B4BDBD9  Time : 0.0 sec.
user=ototero
[2017-08-09 04:45:46]
301*2^2258191-1 is not prime.  Res64: 25D256EDA14E40C2  Time : 0.0 sec.
user=ototero
[2017-08-09 04:46:05]
311*2^2258218-1 is not prime.  Res64: EF24DE4A1CDE134E  Time : 0.0 sec.
user=ototero
[2017-08-09 04:46:15]
321*2^2258191-1 is not prime.  Res64: C6ABBC8C1E14C9F3  Time : 0.0 sec.
user=ototero
[2017-08-09 04:46:18]
349*2^2258191-1 is not prime.  Res64: F69C865F556840B5  Time : 0.0 sec.
user=ototero
[2017-08-09 04:46:18]
317*2^2258218-1 is not prime.  Res64: FFD193D0070FEED0  Time : 0.0 sec.
user=odicin
[2017-08-09 04:48:13]
301*2^2258227-1 is not prime.  Res64: FE32A319E090FA2C  Time : 0.0 sec.
user=odicin
[2017-08-09 04:48:19]
335*2^2258230-1 is not prime.  Res64: 02525F9F6DE4226E  Time : 0.0 sec.
user=ototero
[2017-08-09 04:54:31]
333*2^2258220-1 is not prime.  Res64: 9CC101B3457EFF96  Time : 0.0 sec.
user=ototero
[2017-08-09 05:00:02]
327*2^2258226-1 is not prime.  Res64: 0135C8760261ECF0  Time : 0.0 sec.
user=ototero
[2017-08-09 05:11:15]
339*2^2258219-1 is not prime.  Res64: 38FC0843B437F578  Time : 0.0 sec.
user=ototero
[2017-08-09 05:11:34]
313*2^2258219-1 is not prime.  Res64: 87B89E9FC6362FEE  Time : 0.0 sec.
user=odicin
[2017-08-09 05:15:20]
333*2^2258238-1 is not prime.  Res64: 67E487E257421315  Time : 0.0 sec.
user=odicin
[2017-08-09 05:15:27]
301*2^2258239-1 is not prime.  Res64: 5F7D61B1BD268B98  Time : 0.0 sec.
user=ototero
[2017-08-09 05:21:54]
335*2^2258228-1 is not prime.  Res64: B19B84472F4E9781  Time : 0.0 sec.
user=odicin
[2017-08-09 05:42:29]
327*2^2258245-1 is not prime.  Res64: 4A942364551201E2  Time : 0.0 sec.
user=odicin
[2017-08-09 05:42:39]
301*2^2258247-1 is not prime.  Res64: F97C69E66C4D62EC  Time : 0.0 sec.
user=ototero
[2017-08-09 05:45:56]
335*2^2258232-1 is not prime.  Res64: B90339B42749E0A0  Time : 0.0 sec.
user=ototero
[2017-08-09 05:46:47]
309*2^2258237-1 is not prime.  Res64: 5E9C88128C167BF7  Time : 0.0 sec.
user=ototero
[2017-08-09 05:48:22]
309*2^2258236-1 is not prime.  Res64: 3C291C659627085D  Time : 0.0 sec.
user=ototero
[2017-08-09 05:55:06]
301*2^2258241-1 is not prime.  Res64: 327F18161DE2B5DF  Time : 0.0 sec.
user=odicin
[2017-08-09 06:09:37]
337*2^2258249-1 is not prime.  Res64: F14AF2723B492973  Time : 0.0 sec.
user=odicin
[2017-08-09 06:09:49]
339*2^2258249-1 is not prime.  Res64: DF82FFA508CB1C1B  Time : 0.0 sec.
user=ototero
[2017-08-09 06:12:32]
335*2^2258242-1 is not prime.  Res64: 5276761602226453  Time : 0.0 sec.
user=ototero
[2017-08-09 06:22:57]
321*2^2258247-1 is not prime.  Res64: 321A0B32C03E4B5C  Time : 0.0 sec.
user=ototero
[2017-08-09 06:34:34]
313*2^2258243-1 is not prime.  Res64: 94F681114A6701DC  Time : 0.0 sec.
user=ototero
[2017-08-09 06:34:34]
329*2^2258244-1 is not prime.  Res64: 00F76C881F59DF87  Time : 0.0 sec.
user=odicin
[2017-08-09 06:36:45]
315*2^2258258-1 is not prime.  Res64: B299A9F77A9EB303  Time : 0.0 sec.
user=odicin
[2017-08-09 06:36:57]
319*2^2258261-1 is not prime.  Res64: 6065663CD40A75D1  Time : 0.0 sec.
user=ototero
[2017-08-09 06:45:57]
333*2^2258250-1 is not prime.  Res64: 341312DBB3B710EB  Time : 0.0 sec.
user=ototero
[2017-08-09 06:47:48]
349*2^2258251-1 is not prime.  Res64: 6A8A1DE846462AB1  Time : 0.0 sec.
user=ototero
[2017-08-09 06:48:45]
345*2^2258254-1 is not prime.  Res64: 17026125AE21801C  Time : 0.0 sec.
user=ototero
[2017-08-09 06:56:31]
347*2^2258256-1 is not prime.  Res64: A6B3CAFAC4607942  Time : 0.0 sec.
user=odicin
[2017-08-09 07:03:53]
325*2^2258265-1 is not prime.  Res64: D7BCC57605E349A1  Time : 0.0 sec.
user=odicin
[2017-08-09 07:04:05]
339*2^2258265-1 is not prime.  Res64: EF7E816CFEE44121  Time : 0.0 sec.
user=ototero
[2017-08-09 07:08:28]
321*2^2258233-1 is not prime.  Res64: 40EAAB89179BBDE7  Time : 0.0 sec.
user=ototero
[2017-08-09 07:08:49]
315*2^2258236-1 is not prime.  Res64: A8CD914A2141DE70  Time : 0.0 sec.
user=ototero
[2017-08-09 07:09:03]
315*2^2258237-1 is not prime.  Res64: D5C43C8AAC4999AA  Time : 0.0 sec.
user=ototero
[2017-08-09 07:14:44]
309*2^2258263-1 is not prime.  Res64: 08AB684B84D4631B  Time : 0.0 sec.
user=ototero
[2017-08-09 07:24:14]
313*2^2258263-1 is not prime.  Res64: 78081030EBD5A3DC  Time : 0.0 sec.
user=odicin
[2017-08-09 07:31:08]
315*2^2258271-1 is not prime.  Res64: AAB02866884CDF35  Time : 0.0 sec.
user=odicin
[2017-08-09 07:31:14]
303*2^2258272-1 is not prime.  Res64: 2ABE6650189FBF01  Time : 0.0 sec.
user=odicin
[2017-08-09 07:58:16]
339*2^2258283-1 is not prime.  Res64: 09111F593215DDC8  Time : 0.0 sec.
user=odicin
[2017-08-09 07:58:21]
327*2^2258285-1 is not prime.  Res64: CEFE14FB21AA8385  Time : 0.0 sec.
user=ototero
[2017-08-09 07:59:38]
301*2^2258265-1 is not prime.  Res64: 776E6D0985A4821B  Time : 0.0 sec.
user=ototero
[2017-08-09 07:59:54]
321*2^2258263-1 is not prime.  Res64: 7F81C7907F70E27C  Time : 0.0 sec.
user=ototero
[2017-08-09 08:04:04]
317*2^2258268-1 is not prime.  Res64: 55F92B138529050F  Time : 0.0 sec.
user=ototero
[2017-08-09 08:04:07]
325*2^2258269-1 is not prime.  Res64: F775F7DE8A68C290  Time : 0.0 sec.
user=ototero
[2017-08-09 08:04:09]
301*2^2258269-1 is not prime.  Res64: 80636C9E9015440F  Time : 0.0 sec.
user=ototero
[2017-08-09 08:04:24]
303*2^2258268-1 is not prime.  Res64: B3D55222879C41E1  Time : 0.0 sec.
user=ototero
[2017-08-09 08:13:37]
309*2^2258276-1 is not prime.  Res64: 7A0CD22C42EC190D  Time : 0.0 sec.
user=ototero
[2017-08-09 08:21:52]
325*2^2258277-1 is not prime.  Res64: 71FED653F09FC047  Time : 0.0 sec.
user=odicin
[2017-08-09 08:25:24]
339*2^2258285-1 is not prime.  Res64: C2B0D2D95596F414  Time : 0.0 sec.
user=odicin
[2017-08-09 08:25:30]
333*2^2258286-1 is not prime.  Res64: 358736F6CC12496A  Time : 0.0 sec.
user=odicin
[2017-08-09 08:52:33]
339*2^2258303-1 is not prime.  Res64: 356F0878710AA084  Time : 0.0 sec.
user=odicin
[2017-08-09 08:52:37]
327*2^2258304-1 is not prime.  Res64: A7D402C91F857405  Time : 0.0 sec.
user=ototero
[2017-08-09 09:05:28]
317*2^2258298-1 is not prime.  Res64: 13A594EF5B4F594D  Time : 0.0 sec.
user=ototero
[2017-08-09 09:05:51]
315*2^2258299-1 is not prime.  Res64: 33D2381881D08E60  Time : 0.0 sec.
user=ototero
[2017-08-09 09:06:02]
349*2^2258293-1 is not prime.  Res64: F9FFAAE947320CE3  Time : 0.0 sec.
user=ototero
[2017-08-09 09:06:47]
349*2^2258291-1 is not prime.  Res64: 5DAFA6BFC711B981  Time : 0.0 sec.
user=ototero
[2017-08-09 09:16:11]
321*2^2258301-1 is not prime.  Res64: 2B84491D5842EC52  Time : 0.0 sec.
user=odicin
[2017-08-09 09:19:44]
341*2^2258306-1 is not prime.  Res64: 209C4885ACB87F26  Time : 0.0 sec.
user=odicin
[2017-08-09 09:19:46]
327*2^2258305-1 is not prime.  Res64: 6834D3ED75C3B106  Time : 0.0 sec.
user=ototero
[2017-08-09 09:22:23]
329*2^2258288-1 is not prime.  Res64: 8161DD84E15C545A  Time : 0.0 sec.
user=ototero
[2017-08-09 09:22:36]
323*2^2258290-1 is not prime.  Res64: A8CE9573995476EC  Time : 0.0 sec.
user=ototero
[2017-08-09 09:24:49]
315*2^2258302-1 is not prime.  Res64: 9E377A052E90FA15  Time : 0.0 sec.
user=ototero
[2017-08-09 09:30:58]
301*2^2258273-1 is not prime.  Res64: FB01C2CB887E7DBC  Time : 0.0 sec.
user=ototero
[2017-08-09 09:31:27]
321*2^2258274-1 is not prime.  Res64: 268B5805AED05A91  Time : 0.0 sec.
user=ototero
[2017-08-09 09:31:40]
347*2^2258274-1 is not prime.  Res64: B821267898385D9B  Time : 0.0 sec.
user=odicin
[2017-08-09 09:46:54]
313*2^2258315-1 is not prime.  Res64: 7105F53DAD9B3454  Time : 0.0 sec.
user=odicin
[2017-08-09 09:46:56]
315*2^2258315-1 is not prime.  Res64: 1EA619B27B5A125C  Time : 0.0 sec.
user=ototero
[2017-08-09 10:07:04]
319*2^2258307-1 is not prime.  Res64: E90718C34DCAB1B5  Time : 0.0 sec.
user=ototero
[2017-08-09 10:07:33]
309*2^2258308-1 is not prime.  Res64: F01A595227D14499  Time : 0.0 sec.
user=ototero
[2017-08-09 10:08:01]
341*2^2258310-1 is not prime.  Res64: 61BBD794EE67317F  Time : 0.0 sec.
user=ototero
[2017-08-09 10:09:03]
313*2^2258311-1 is not prime.  Res64: DE6572FC3BDEA64C  Time : 0.0 sec.
user=odicin
[2017-08-09 10:14:01]
345*2^2258322-1 is not prime.  Res64: EDF3F48287ED7ECB  Time : 0.0 sec.
user=odicin
[2017-08-09 10:14:02]
301*2^2258323-1 is not prime.  Res64: B6D813B520ABA15A  Time : 0.0 sec.
user=ototero
[2017-08-09 10:19:13]
323*2^2258312-1 is not prime.  Res64: DAB156FD175B333F  Time : 0.0 sec.
user=ototero
[2017-08-09 10:27:22]
307*2^2258317-1 is not prime.  Res64: 905821AB9D93A7B0  Time : 0.0 sec.
user=odicin
[2017-08-09 10:41:12]
305*2^2258328-1 is not prime.  Res64: AC7A3245E921114E  Time : 0.0 sec.
user=odicin
[2017-08-09 10:41:13]
327*2^2258329-1 is not prime.  Res64: 516C3B1CC5E36E83  Time : 0.0 sec.
user=ototero
[2017-08-09 10:45:29]
347*2^2258316-1 is not prime.  Res64: 4110E004D86A4CE9  Time : 0.0 sec.
user=ototero
[2017-08-09 10:47:14]
333*2^2258315-1 is not prime.  Res64: 7491AB573ED1B743  Time : 0.0 sec.
user=odicin
[2017-08-09 11:08:19]
349*2^2258335-1 is not prime.  Res64: 7338F54DA5537CCF  Time : 0.0 sec.
user=odicin
[2017-08-09 11:08:21]
323*2^2258336-1 is not prime.  Res64: 4EA1BB271D090C68  Time : 0.0 sec.
user=ototero
[2017-08-09 11:09:44]
327*2^2258325-1 is not prime.  Res64: 8FDA132BAFD4F53F  Time : 0.0 sec.
user=ototero
[2017-08-09 11:10:01]
311*2^2258326-1 is not prime.  Res64: 9C0873C5CAB0A718  Time : 0.0 sec.
user=ototero
[2017-08-09 11:10:44]
315*2^2258326-1 is not prime.  Res64: DD9824D912F85101  Time : 0.0 sec.
user=ototero
[2017-08-09 11:12:13]
317*2^2258326-1 is not prime.  Res64: 4409F0CD5E7801CD  Time : 0.0 sec.
user=ototero
[2017-08-09 11:23:13]
321*2^2258333-1 is not prime.  Res64: FAB59874DA140E0C  Time : 0.0 sec.
user=ototero
[2017-08-09 11:31:10]
339*2^2258335-1 is not prime.  Res64: 5E90B106452F4E8A  Time : 0.0 sec.
user=odicin
[2017-08-09 11:35:29]
347*2^2258340-1 is not prime.  Res64: 322EA9714E021701  Time : 0.0 sec.
user=odicin
[2017-08-09 11:35:32]
333*2^2258340-1 is not prime.  Res64: 59F11BF60D7F61C9  Time : 0.0 sec.
user=ototero
[2017-08-09 11:53:39]
321*2^2258318-1 is not prime.  Res64: 19941423E40CBD8A  Time : 0.0 sec.
user=ototero
[2017-08-09 11:54:02]
303*2^2258319-1 is not prime.  Res64: F39726C6ECB6D6ED  Time : 0.0 sec.
user=ototero
[2017-08-09 11:54:17]
319*2^2258321-1 is not prime.  Res64: 447A39BD953885E4  Time : 0.0 sec.
user=ototero
[2017-08-09 12:12:04]
315*2^2258341-1 is not prime.  Res64: E12AD28394C219F2  Time : 0.0 sec.
user=ototero
[2017-08-09 12:12:30]
347*2^2258342-1 is not prime.  Res64: 7E571068CA9BDCDE  Time : 0.0 sec.
user=ototero
[2017-08-09 12:13:25]
313*2^2258343-1 is not prime.  Res64: 12724A6C327E8DCC  Time : 0.0 sec.
user=ototero
[2017-08-09 12:15:11]
309*2^2258344-1 is not prime.  Res64: FED51CD2BE395CCB  Time : 0.0 sec.
user=ototero
[2017-08-09 12:27:09]
327*2^2258344-1 is not prime.  Res64: 5D158110FAA54C7F  Time : 0.0 sec.
user=ototero
[2017-08-09 12:35:08]
325*2^2258345-1 is not prime.  Res64: 5A2FA4865C6AC137  Time : 0.0 sec.
user=ototero
[2017-08-09 12:59:40]
311*2^2258338-1 is not prime.  Res64: EBF2A6592B935407  Time : 0.0 sec.
user=ototero
[2017-08-09 12:59:55]
309*2^2258339-1 is not prime.  Res64: 40FFC21318407ED2  Time : 0.0 sec.
user=ototero
[2017-08-09 13:16:10]
345*2^2258356-1 is not prime.  Res64: ABD53E855B988801  Time : 0.0 sec.
user=ototero
[2017-08-09 13:16:41]
301*2^2258357-1 is not prime.  Res64: 4C9BF3CE0194BE57  Time : 0.0 sec.
user=ototero
[2017-08-09 13:17:58]
321*2^2258357-1 is not prime.  Res64: 25B8B3BA0F6452B5  Time : 0.0 sec.
user=ototero
[2017-08-09 13:20:01]
317*2^2258358-1 is not prime.  Res64: 7B8AF12537FD17E4  Time : 0.0 sec.
user=ototero
[2017-08-09 13:33:28]
333*2^2258358-1 is not prime.  Res64: A73A2E65201FED6A  Time : 0.0 sec.
user=ototero
[2017-08-09 13:42:00]
335*2^2258360-1 is not prime.  Res64: DBB287C2CC09E0A7  Time : 0.0 sec.
user=ototero
[2017-08-09 14:16:40]
321*2^2258350-1 is not prime.  Res64: 1648365F9A80E9C3  Time : 0.0 sec.
user=ototero
[2017-08-09 14:17:02]
329*2^2258352-1 is not prime.  Res64: BDEE48C0CD73930A  Time : 0.0 sec.
user=ototero
[2017-08-09 14:17:16]
339*2^2258353-1 is not prime.  Res64: AA96D577AA267635  Time : 0.0 sec.
user=ototero
[2017-08-09 14:21:42]
317*2^2258362-1 is not prime.  Res64: 5F25E26A05DFF8A5  Time : 0.0 sec.
user=ototero
[2017-08-09 14:21:44]
327*2^2258361-1 is not prime.  Res64: 4CF30E8EA4F0BB0D  Time : 0.0 sec.
user=ototero
[2017-08-09 14:21:45]
347*2^2258364-1 is not prime.  Res64: DE4BF0754FC39604  Time : 0.0 sec.
user=ototero
[2017-08-09 14:22:06]
303*2^2258368-1 is not prime.  Res64: 67FC9573968EC80D  Time : 0.0 sec.
user=ototero
[2017-08-09 14:23:33]
315*2^2258368-1 is not prime.  Res64: 20F8AFAD6B0FEDAE  Time : 0.0 sec.
user=ototero
[2017-08-09 14:26:09]
317*2^2258368-1 is not prime.  Res64: 14BE158457C870F7  Time : 0.0 sec.
user=ototero
[2017-08-09 14:39:59]
307*2^2258369-1 is not prime.  Res64: 6F9F7FF3E1EC28F5  Time : 0.0 sec.
user=ototero
[2017-08-09 14:48:49]
333*2^2258370-1 is not prime.  Res64: 5CBBE7AE36E7BCD2  Time : 0.0 sec.
user=ototero
[2017-08-09 15:27:09]
337*2^2258377-1 is not prime.  Res64: C106F975C7837465  Time : 0.0 sec.
user=ototero
[2017-08-09 15:27:18]
347*2^2258378-1 is not prime.  Res64: 66A42F13788BEE53  Time : 0.0 sec.
user=ototero
[2017-08-09 15:29:00]
317*2^2258380-1 is not prime.  Res64: E82CC2B8ADD25CB0  Time : 0.0 sec.
user=ototero
[2017-08-09 15:32:02]
301*2^2258381-1 is not prime.  Res64: 8D41F4E4224D3855  Time : 0.0 sec.
user=odicin
[2017-08-09 15:39:25]
327*2^2258345-1 is not prime.  Res64: B2BB0864D938D08E  Time : 0.0 sec.
user=ototero
[2017-08-09 15:43:09]
331*2^2258377-1 is not prime.  Res64: 9086D972128BA2D7  Time : 0.0 sec.
user=ototero
[2017-08-09 15:43:31]
329*2^2258376-1 is not prime.  Res64: 24560C8F41D26A48  Time : 0.0 sec.
user=ototero
[2017-08-09 15:46:33]
307*2^2258381-1 is not prime.  Res64: 0A74B5151712A81F  Time : 0.0 sec.
user=odicin
[2017-08-09 15:54:19]
327*2^2258348-1 is not prime.  Res64: 44B085F534B46CA0  Time : 0.0 sec.
user=ototero
[2017-08-09 15:55:19]
321*2^2258382-1 is not prime.  Res64: 7E554D2EA1613D6C  Time : 0.0 sec.
user=odicin
[2017-08-09 16:06:34]
323*2^2258390-1 is not prime.  Res64: 78D57A407F501D14  Time : 0.0 sec.
user=odicin
[2017-08-09 16:21:25]
347*2^2258394-1 is not prime.  Res64: 7CDAE727B66BD848  Time : 0.0 sec.
user=ototero
[2017-08-09 16:32:02]
321*2^2258386-1 is not prime.  Res64: B2F9C115B217B240  Time : 0.0 sec.
user=ototero
[2017-08-09 16:32:24]
327*2^2258388-1 is not prime.  Res64: FB8FB61FEA5FEBE4  Time : 0.0 sec.
user=odicin
[2017-08-09 16:33:53]
343*2^2258395-1 is not prime.  Res64: F6C66EF06C2BC710  Time : 0.0 sec.
user=ototero
[2017-08-09 16:34:27]
335*2^2258388-1 is not prime.  Res64: 3D04DC346DF0D373  Time : 0.0 sec.
user=ototero
[2017-08-09 16:37:48]
349*2^2258389-1 is not prime.  Res64: 1A5559F0BA7D6C49  Time : 0.0 sec.
user=ototero
[2017-08-09 16:39:46]
349*2^2258373-1 is not prime.  Res64: 4F7849D225897614  Time : 0.0 sec.
user=ototero
[2017-08-09 16:40:11]
309*2^2258375-1 is not prime.  Res64: 1646CC5BC744DD4D  Time : 0.0 sec.
user=ototero
[2017-08-09 16:40:15]
317*2^2258376-1 is not prime.  Res64: AC62C0563225BC3E  Time : 0.0 sec.
user=odicin
[2017-08-09 16:48:31]
345*2^2258395-1 is not prime.  Res64: 66B4DBACD4FCCF59  Time : 0.0 sec.
user=ototero
[2017-08-09 16:52:38]
333*2^2258394-1 is not prime.  Res64: B73DA8FBE213EC7F  Time : 0.0 sec.
user=ototero
[2017-08-09 17:00:32]
313*2^2258395-1 is not prime.  Res64: 7CC7128D2A7CE4A6  Time : 0.0 sec.
user=odicin
[2017-08-09 17:01:03]
305*2^2258400-1 is not prime.  Res64: 34041701CA61F30D  Time : 0.0 sec.
user=ototero
[2017-08-09 17:04:51]
331*2^2258391-1 is not prime.  Res64: 83B4F88A3E9B1070  Time : 0.0 sec.
user=ototero
[2017-08-09 17:04:56]
323*2^2258392-1 is not prime.  Res64: ED6C4E735B09811A  Time : 0.0 sec.
user=odicin
[2017-08-09 17:15:39]
313*2^2258407-1 is not prime.  Res64: 3F3EB4F35444AF39  Time : 0.0 sec.
user=odicin
[2017-08-09 17:28:17]
319*2^2258411-1 is not prime.  Res64: AFE7B848AA99C598  Time : 0.0 sec.
user=ototero
[2017-08-09 17:33:05]
309*2^2258396-1 is not prime.  Res64: 77C026F64F487EBD  Time : 0.0 sec.
user=ototero
[2017-08-09 17:33:09]
339*2^2258399-1 is not prime.  Res64: 24D17F8DB437C1A8  Time : 0.0 sec.
user=ototero
[2017-08-09 17:34:55]
327*2^2258400-1 is not prime.  Res64: DD619FCF42926E24  Time : 0.0 sec.
user=ototero
[2017-08-09 17:38:58]
307*2^2258401-1 is not prime.  Res64: 0FDE6AD6D36B5945  Time : 0.0 sec.
user=odicin
[2017-08-09 17:42:49]
339*2^2258415-1 is not prime.  Res64: A5FC022D470CE629  Time : 0.0 sec.
user=ototero
[2017-08-09 17:52:54]
315*2^2258407-1 is not prime.  Res64: AB15800DF3B1502F  Time : 0.0 sec.
user=odicin
[2017-08-09 17:55:26]
323*2^2258416-1 is not prime.  Res64: 3F94FDDAAA5B9CE7  Time : 0.0 sec.
user=ototero
[2017-08-09 18:00:42]
339*2^2258408-1 is not prime.  Res64: 806A80F542D09C65  Time : 0.0 sec.
user=odicin
[2017-08-09 18:09:58]
309*2^2258429-1 is not prime.  Res64: EB79284B706A5DC0  Time : 0.0 sec.
user=odicin
[2017-08-09 18:22:33]
315*2^2258434-1 is not prime.  Res64: C700EC9054C771CC  Time : 0.0 sec.
user=ototero
[2017-08-09 18:26:15]
323*2^2258414-1 is not prime.  Res64: BD6388BDA4619951  Time : 0.0 sec.
user=ototero
[2017-08-09 18:26:36]
335*2^2258412-1 is not prime.  Res64: BB321417943B5CEA  Time : 0.0 sec.
user=ototero
[2017-08-09 18:33:39]
327*2^2258416-1 is not prime.  Res64: 6C23B3309BF0555B  Time : 0.0 sec.
user=ototero
[2017-08-09 18:33:54]
321*2^2258421-1 is not prime.  Res64: 8EFE3C2B95464FBF  Time : 0.0 sec.
user=ototero
[2017-08-09 18:35:30]
333*2^2258424-1 is not prime.  Res64: EC6DA449E27D834A  Time : 0.0 sec.
user=odicin
[2017-08-09 18:37:17]
321*2^2258437-1 is not prime.  Res64: 491A96F24F1C6452  Time : 0.0 sec.
user=ototero
[2017-08-09 18:40:30]
331*2^2258425-1 is not prime.  Res64: 455921AADAF352D0  Time : 0.0 sec.
user=odicin
[2017-08-09 18:49:42]
325*2^2258437-1 is not prime.  Res64: D050EA8750FEDABB  Time : 0.0 sec.
user=ototero
[2017-08-09 18:55:26]
347*2^2258432-1 is not prime.  Res64: D8CA73D252185D4C  Time : 0.0 sec.
user=ototero
[2017-08-09 19:02:21]
347*2^2258402-1 is not prime.  Res64: A04A183E2C9FA92E  Time : 0.0 sec.
user=ototero
[2017-08-09 19:02:51]
339*2^2258405-1 is not prime.  Res64: 6F54334D9B2CBE7F  Time : 0.0 sec.
user=ototero
[2017-08-09 19:02:53]
333*2^2258436-1 is not prime.  Res64: 6410E1FFC2F20B3D  Time : 0.0 sec.
user=ototero
[2017-08-09 19:02:59]
303*2^2258407-1 is not prime.  Res64: 0FA6C651CF3A75D9  Time : 0.0 sec.
user=odicin
[2017-08-09 19:04:26]
327*2^2258445-1 is not prime.  Res64: 3E66F5184B0D47B8  Time : 0.0 sec.
user=odicin
[2017-08-09 19:16:50]
333*2^2258451-1 is not prime.  Res64: DDD361E1F7318CD6  Time : 0.0 sec.
user=odicin
[2017-08-09 19:31:35]
339*2^2258463-1 is not prime.  Res64: CAE4D652E86085C7  Time : 0.0 sec.
user=ototero
[2017-08-09 19:34:57]
307*2^2258441-1 is not prime.  Res64: 40147905478092A9  Time : 0.0 sec.
user=ototero
[2017-08-09 19:35:26]
315*2^2258442-1 is not prime.  Res64: FE1E1BB465FF15C2  Time : 0.0 sec.
user=ototero
[2017-08-09 19:37:14]
343*2^2258443-1 is not prime.  Res64: 68123EDDD84797EF  Time : 0.0 sec.
user=ototero
[2017-08-09 19:42:54]
339*2^2258447-1 is not prime.  Res64: D72DB679E1741EAE  Time : 0.0 sec.
user=odicin
[2017-08-09 19:44:05]
323*2^2258464-1 is not prime.  Res64: BDD8033CE43AE3A8  Time : 0.0 sec.
user=ototero
[2017-08-09 19:48:06]
339*2^2258437-1 is not prime.  Res64: 5F8D37420B138C27  Time : 0.0 sec.
user=ototero
[2017-08-09 19:48:07]
303*2^2258439-1 is not prime.  Res64: 33813E66BC327114  Time : 0.0 sec.
user=ototero
[2017-08-09 19:58:12]
323*2^2258452-1 is not prime.  Res64: B8D42C664B2CB55B  Time : 0.0 sec.
user=odicin
[2017-08-09 19:58:43]
327*2^2258464-1 is not prime.  Res64: A656E8EAE981AA6C  Time : 0.0 sec.
user=ototero
[2017-08-09 20:05:11]
333*2^2258456-1 is not prime.  Res64: 7BBC3425A31C6C36  Time : 0.0 sec.
user=odicin
[2017-08-09 20:11:14]
329*2^2258472-1 is not prime.  Res64: 8F8EEE72EEAE25EF  Time : 0.0 sec.
user=odicin
[2017-08-09 20:25:49]
349*2^2258479-1 is not prime.  Res64: CFA9927B405E6159  Time : 0.0 sec.
user=ototero
[2017-08-09 20:36:50]
345*2^2258467-1 is not prime.  Res64: C29BC59831A9AFDA  Time : 0.0 sec.
user=ototero
[2017-08-09 20:36:51]
329*2^2258468-1 is not prime.  Res64: 8AF6CCB7234BD945  Time : 0.0 sec.
user=odicin
[2017-08-09 20:38:25]
335*2^2258484-1 is not prime.  Res64: 665B7EF69D44CAB1  Time : 0.0 sec.
user=ototero
[2017-08-09 20:38:46]
343*2^2258471-1 is not prime.  Res64: 0016E153AC9B2586  Time : 0.0 sec.
user=ototero
[2017-08-09 20:45:42]
317*2^2258472-1 is not prime.  Res64: 4051CE60ACCAF2B3  Time : 0.0 sec.
user=odicin
[2017-08-09 20:53:01]
347*2^2258484-1 is not prime.  Res64: 7F70DDC7535B1E40  Time : 0.0 sec.
user=ototero
[2017-08-09 21:00:36]
309*2^2258479-1 is not prime.  Res64: CBC70F4DD3B574F5  Time : 0.0 sec.
user=odicin
[2017-08-09 21:05:33]
333*2^2258490-1 is not prime.  Res64: 00578B1C147A2397  Time : 0.0 sec.
user=ototero
[2017-08-09 21:07:45]
339*2^2258483-1 is not prime.  Res64: 9D2C43A0B7111246  Time : 0.0 sec.
user=ototero
[2017-08-09 21:09:26]
333*2^2258478-1 is not prime.  Res64: 8BA30832653B7DB0  Time : 0.0 sec.
user=ototero
[2017-08-09 21:09:45]
347*2^2258472-1 is not prime.  Res64: CA99938EC789F7B7  Time : 0.0 sec.
user=odicin
[2017-08-09 21:20:09]
315*2^2258496-1 is not prime.  Res64: 9115C425B78EE300  Time : 0.0 sec.
user=ototero
[2017-08-09 21:24:57]
335*2^2258452-1 is not prime.  Res64: AD760EBD7A31414F  Time : 0.0 sec.
user=ototero
[2017-08-09 21:25:39]
321*2^2258457-1 is not prime.  Res64: 2B1AFEB2592F0E83  Time : 0.0 sec.
user=ototero
[2017-08-09 21:25:42]
323*2^2258456-1 is not prime.  Res64: 66748AEF70911276  Time : 0.0 sec.
user=odicin
[2017-08-09 21:32:44]
327*2^2258496-1 is not prime.  Res64: 5DFE7434A9A12780  Time : 0.0 sec.
user=ototero
[2017-08-09 21:38:09]
333*2^2258487-1 is not prime.  Res64: 9EC89F4B475A8756  Time : 0.0 sec.
user=ototero
[2017-08-09 21:38:36]
331*2^2258487-1 is not prime.  Res64: FC4A82F9640AB80E  Time : 0.0 sec.
user=ototero
[2017-08-09 21:40:37]
341*2^2258490-1 is not prime.  Res64: F2F712822ACC5D9E  Time : 0.0 sec.
user=odicin
[2017-08-09 21:47:18]
303*2^2258499-1 is not prime.  Res64: 39BEA90663BB4457  Time : 0.0 sec.
user=ototero
[2017-08-09 21:48:18]
323*2^2258492-1 is not prime.  Res64: CE60306F46D58197  Time : 0.0 sec.
user=odicin
[2017-08-09 21:59:51]
301*2^2258505-1 is not prime.  Res64: 0844D677F9352690  Time : 0.0 sec.
user=ototero
[2017-08-09 22:03:31]
317*2^2258496-1 is not prime.  Res64: 16E34743EB8D45B1  Time : 0.0 sec.
user=ototero
[2017-08-09 22:10:13]
307*2^2258497-1 is not prime.  Res64: E5E930AA1F5B370A  Time : 0.0 sec.
user=odicin
[2017-08-09 22:14:27]
317*2^2258506-1 is not prime.  Res64: 8DC6847F47245812  Time : 0.0 sec.
user=odicin
[2017-08-09 22:26:58]
319*2^2258507-1 is not prime.  Res64: 6BD516A1EB933E3F  Time : 0.0 sec.
user=ototero
[2017-08-09 22:32:42]
325*2^2258497-1 is not prime.  Res64: 5ABE82F9F0A88FFE  Time : 0.0 sec.
user=ototero
[2017-08-09 22:34:12]
301*2^2258499-1 is not prime.  Res64: D512095C91708CEB  Time : 0.0 sec.
user=ototero
[2017-08-09 22:40:05]
319*2^2258505-1 is not prime.  Res64: 4770EF16E55737A9  Time : 0.0 sec.
user=ototero
[2017-08-09 22:40:19]
331*2^2258505-1 is not prime.  Res64: 80A0C47EE1CF10C1  Time : 0.0 sec.
user=odicin
[2017-08-09 22:41:35]
335*2^2258512-1 is not prime.  Res64: 15E48B8D9FFE89D1  Time : 0.0 sec.
user=ototero
[2017-08-09 22:42:26]
315*2^2258506-1 is not prime.  Res64: 9CED179811717545  Time : 0.0 sec.
user=ototero
[2017-08-09 22:50:51]
315*2^2258507-1 is not prime.  Res64: 96313AA8468367E0  Time : 0.0 sec.
user=odicin
[2017-08-09 22:54:08]
301*2^2258513-1 is not prime.  Res64: 002D93A6CDEBBD16  Time : 0.0 sec.
user=ototero
[2017-08-09 23:06:20]
305*2^2258510-1 is not prime.  Res64: AEB3949FFE7ED95D  Time : 0.0 sec.
user=odicin
[2017-08-09 23:08:45]
339*2^2258519-1 is not prime.  Res64: F79F15715460F621  Time : 0.0 sec.
user=ototero
[2017-08-09 23:12:40]
349*2^2258511-1 is not prime.  Res64: 63691FE0FA3EDC51  Time : 0.0 sec.
user=odicin
[2017-08-09 23:21:14]
313*2^2258523-1 is not prime.  Res64: CD74934928E6AF63  Time : 0.0 sec.
user=odicin
[2017-08-09 23:35:53]
327*2^2258525-1 is not prime.  Res64: C07507E2C13546D6  Time : 0.0 sec.
user=ototero
[2017-08-09 23:41:46]
325*2^2258517-1 is not prime.  Res64: 96F9A0127D57CD98  Time : 0.0 sec.
user=ototero
[2017-08-09 23:42:27]
315*2^2258519-1 is not prime.  Res64: F377614829D16404  Time : 0.0 sec.
user=ototero
[2017-08-09 23:44:24]
323*2^2258522-1 is not prime.  Res64: 36D551C9EAA46DB5  Time : 0.0 sec.
user=ototero
[2017-08-09 23:47:46]
303*2^2258503-1 is not prime.  Res64: 4CC369720E6CC6D4  Time : 0.0 sec.
user=ototero
[2017-08-09 23:48:19]
347*2^2258504-1 is not prime.  Res64: E69D20D255F92B8F  Time : 0.0 sec.
user=ototero
[2017-08-09 23:48:21]
343*2^2258503-1 is not prime.  Res64: 783C6EB1A7337164  Time : 0.0 sec.
user=odicin
[2017-08-09 23:48:21]
305*2^2258526-1 is not prime.  Res64: 4A1DAF1FECFA4196  Time : 0.0 sec.
user=ototero
[2017-08-09 23:53:19]
327*2^2258522-1 is not prime.  Res64: 18F5B415DEB10702  Time : 0.0 sec.
user=ototero
[2017-08-09 23:54:36]
303*2^2258515-1 is not prime.  Res64: F733E8D50003DB23  Time : 0.0 sec.
user=ototero
[2017-08-09 23:55:38]
301*2^2258517-1 is not prime.  Res64: 0A1685C01BAF52C6  Time : 0.0 sec.