user=ototero
[2017-11-22 00:08:52]
315*2^2328978-1 is not prime.  Res64: 0A78C4541D4AD4D6  Time : 0.0 sec.
user=ototero
[2017-11-22 00:11:40]
347*2^2328980-1 is not prime.  Res64: FBA153D8EFB6ABD4  Time : 0.0 sec.
user=ototero
[2017-11-22 00:11:53]
313*2^2328987-1 is not prime.  Res64: AB3CED98E277761C  Time : 0.0 sec.
user=ototero
[2017-11-22 00:14:28]
315*2^2328988-1 is not prime.  Res64: 0486F6E70F7628E7  Time : 0.0 sec.
user=ototero
[2017-11-22 00:21:10]
301*2^2328991-1 is not prime.  Res64: 6547341E6A128306  Time : 0.0 sec.
user=odicin
[2017-11-22 00:23:36]
331*2^2328993-1 is not prime.  Res64: A2EE5CF4A013FE63  Time : 0.0 sec.
user=ototero
[2017-11-22 00:25:16]
309*2^2328991-1 is not prime.  Res64: 2E36F1C65EC852B8  Time : 0.0 sec.
user=odicin
[2017-11-22 00:28:08]
333*2^2328995-1 is not prime.  Res64: 2DA755F28790A048  Time : 0.0 sec.
user=odicin
[2017-11-22 00:41:22]
341*2^2328994-1 is not prime.  Res64: AAEEF64CB6E2AF52  Time : 0.0 sec.
user=ototero
[2017-11-22 00:45:43]
349*2^2328963-1 is not prime.  Res64: A2BA73D85F6A1F8E  Time : 0.0 sec.
user=odicin
[2017-11-22 00:53:58]
325*2^2329003-1 is not prime.  Res64: 7A0FAA0069836F0C  Time : 0.0 sec.
user=odicin
[2017-11-22 00:58:28]
323*2^2329004-1 is not prime.  Res64: E5B863BAE0517EA9  Time : 0.0 sec.
user=ototero
[2017-11-22 01:11:47]
303*2^2328999-1 is not prime.  Res64: 6925CB139902A339  Time : 0.0 sec.
user=ototero
[2017-11-22 01:17:06]
309*2^2329001-1 is not prime.  Res64: 7EF47EC4E6828138  Time : 0.0 sec.
user=ototero
[2017-11-22 01:17:22]
319*2^2329001-1 is not prime.  Res64: CA8C5119B8311495  Time : 0.0 sec.
user=ototero
[2017-11-22 01:20:14]
327*2^2329002-1 is not prime.  Res64: 55BA006AD87F815C  Time : 0.0 sec.
user=odicin
[2017-11-22 01:24:28]
323*2^2329006-1 is not prime.  Res64: 65F6C7F921274FD1  Time : 0.0 sec.
user=ototero
[2017-11-22 01:27:12]
347*2^2329002-1 is not prime.  Res64: 0AC15F4A3E324F54  Time : 0.0 sec.
user=odicin
[2017-11-22 01:28:19]
339*2^2329005-1 is not prime.  Res64: 361846F0D81F0234  Time : 0.0 sec.
user=odicin
[2017-11-22 01:28:51]
309*2^2329007-1 is not prime.  Res64: 557EE0651CEB740A  Time : 0.0 sec.
user=ototero
[2017-11-22 01:30:45]
343*2^2329003-1 is not prime.  Res64: B99CF32206A6B19B  Time : 0.0 sec.
user=ototero
[2017-11-22 01:37:28]
317*2^2328976-1 is not prime.  Res64: 0F7B785E6E7A2A53  Time : 0.0 sec.
user=odicin
[2017-11-22 01:54:51]
305*2^2329014-1 is not prime.  Res64: DE358F166A2F446A  Time : 0.0 sec.
user=odicin
[2017-11-22 01:59:17]
345*2^2329017-1 is not prime.  Res64: 8B37C048D3418DC4  Time : 0.0 sec.
user=odicin
[2017-11-22 02:11:17]
301*2^2329017-1 is not prime.  Res64: B586D1300E4B2217  Time : 0.0 sec.
user=ototero
[2017-11-22 02:17:38]
327*2^2329008-1 is not prime.  Res64: 092582E96ADCC8C8  Time : 0.0 sec.
user=ototero
[2017-11-22 02:22:37]
301*2^2329013-1 is not prime.  Res64: 63CB6367DC28673C  Time : 0.0 sec.
user=ototero
[2017-11-22 02:22:37]
327*2^2329012-1 is not prime.  Res64: 2E51575835AA6A4A  Time : 0.0 sec.
user=odicin
[2017-11-22 02:22:50]
301*2^2329021-1 is not prime.  Res64: 15BFDB0247F141AB  Time : 0.0 sec.
user=ototero
[2017-11-22 02:22:52]
323*2^2329012-1 is not prime.  Res64: F00066C30BEA0CA9  Time : 0.0 sec.
user=odicin
[2017-11-22 02:29:41]
343*2^2329027-1 is not prime.  Res64: CD1D525060573D6C  Time : 0.0 sec.
user=ototero
[2017-11-22 02:33:10]
333*2^2329014-1 is not prime.  Res64: A83DBA7BF4A6DE63  Time : 0.0 sec.
user=ototero
[2017-11-22 02:34:43]
321*2^2328997-1 is not prime.  Res64: F7BD36A9E33983A6  Time : 0.0 sec.
user=ototero
[2017-11-22 02:36:00]
315*2^2329018-1 is not prime.  Res64: 069FA7AFD8E0EDE4  Time : 0.0 sec.
user=odicin
[2017-11-22 02:53:11]
319*2^2329031-1 is not prime.  Res64: 907E9CA21D2E9055  Time : 0.0 sec.
user=odicin
[2017-11-22 02:58:13]
329*2^2329028-1 is not prime.  Res64: 7A7FE7FACF04823E  Time : 0.0 sec.
user=odicin
[2017-11-22 03:00:11]
309*2^2329033-1 is not prime.  Res64: 3D56D4E2522172CF  Time : 0.0 sec.
user=ototero
[2017-11-22 03:21:33]
317*2^2329006-1 is not prime.  Res64: 4F2AE3DEB7D27A80  Time : 0.0 sec.
user=ototero
[2017-11-22 03:23:33]
327*2^2329029-1 is not prime.  Res64: AE7590354678A1A3  Time : 0.0 sec.
user=odicin
[2017-11-22 03:23:37]
339*2^2329041-1 is not prime.  Res64: B8EEFE2B3954C00B  Time : 0.0 sec.
user=ototero
[2017-11-22 03:28:24]
345*2^2329030-1 is not prime.  Res64: 315752DEFDE52465  Time : 0.0 sec.
user=ototero
[2017-11-22 03:28:40]
345*2^2329032-1 is not prime.  Res64: 784A691D5896A541  Time : 0.0 sec.
user=ototero
[2017-11-22 03:29:07]
321*2^2329030-1 is not prime.  Res64: 0322BEE088388660  Time : 0.0 sec.
user=odicin
[2017-11-22 03:30:38]
321*2^2329042-1 is not prime.  Res64: F38C536DFF315056  Time : 0.0 sec.
user=ototero
[2017-11-22 03:36:25]
301*2^2329039-1 is not prime.  Res64: 32ED7DA63502E9C2  Time : 0.0 sec.
user=ototero
[2017-11-22 03:41:50]
327*2^2329040-1 is not prime.  Res64: F0D01AA9E71571C8  Time : 0.0 sec.
user=odicin
[2017-11-22 03:45:11]
317*2^2329042-1 is not prime.  Res64: AD343BD70D675A60  Time : 0.0 sec.
user=odicin
[2017-11-22 03:53:59]
327*2^2329048-1 is not prime.  Res64: 767DADB468650D60  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:30]
339*2^2328635-1 is not prime.  Res64: FC925096831E9E8F  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:31]
329*2^2328636-1 is not prime.  Res64: CE565148AA0806DE  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:32]
347*2^2328636-1 is not prime.  Res64: 9F57460FB246DC63  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:33]
313*2^2328639-1 is not prime.  Res64: AD74BCD36004014D  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:33]
339*2^2328641-1 is not prime.  Res64: 51C01E64A4C890E5  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:34]
335*2^2328642-1 is not prime.  Res64: 10D370D5F54702F5  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:35]
345*2^2328646-1 is not prime.  Res64: 39BE9746C2E8B1BC  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:36]
333*2^2328648-1 is not prime.  Res64: DF39E3BBA254EF6E  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:37]
305*2^2328650-1 is not prime.  Res64: A63D590F58D3D302  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:38]
319*2^2328651-1 is not prime.  Res64: 1D9F5EE453EC9911  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:39]
303*2^2328652-1 is not prime.  Res64: C9595F4C8C78511B  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:39]
305*2^2328654-1 is not prime.  Res64: 3530325621359E7B  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:40]
319*2^2328657-1 is not prime.  Res64: FB7B7B13F3EF23B0  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:41]
325*2^2328657-1 is not prime.  Res64: C1B301CC92A10579  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:43]
321*2^2328658-1 is not prime.  Res64: E20A0A1DCE244B41  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:44]
315*2^2328659-1 is not prime.  Res64: A603611596BBCE9D  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:44]
319*2^2328659-1 is not prime.  Res64: 1E6B4E647842A736  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:45]
345*2^2328660-1 is not prime.  Res64: D377CE853F89754A  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:46]
339*2^2328661-1 is not prime.  Res64: 7FB4A325CFFA7895  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:47]
313*2^2328663-1 is not prime.  Res64: FCBE83711A4B61D0  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:47]
309*2^2328664-1 is not prime.  Res64: C149180569CC7B44  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:48]
301*2^2328665-1 is not prime.  Res64: 73302556DCE9E68A  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:50]
309*2^2328665-1 is not prime.  Res64: 235A96DC554055BB  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:50]
341*2^2328666-1 is not prime.  Res64: 2383C9674D1DD121  Time : 0.0 sec.
user=MyDogBuster
[2017-11-22 03:55:51]
301*2^2328667-1 is not prime.  Res64: 73E6AAEDA9AC4BF6  Time : 0.0 sec.
user=odicin
[2017-11-22 04:01:17]
325*2^2329053-1 is not prime.  Res64: 141B4C0ED60998EF  Time : 0.0 sec.
user=odicin
[2017-11-22 04:01:22]
333*2^2329056-1 is not prime.  Res64: 630E864A8E008009  Time : 0.0 sec.
user=odicin
[2017-11-22 04:01:27]
349*2^2329059-1 is not prime.  Res64: 6133192D76E743C9  Time : 0.0 sec.
user=ototero
[2017-11-22 04:12:20]
315*2^2329019-1 is not prime.  Res64: 90E31A6919A52D05  Time : 0.0 sec.
user=odicin
[2017-11-22 04:24:46]
343*2^2329063-1 is not prime.  Res64: 5097118D7754FFD9  Time : 0.0 sec.
user=odicin
[2017-11-22 04:30:21]
303*2^2329098-1 is not prime.  Res64: 74EEA096FF3197B8  Time : 0.0 sec.
user=odicin
[2017-11-22 04:32:24]
309*2^2329063-1 is not prime.  Res64: AE468C6ED4D3B062  Time : 0.0 sec.
user=odicin
[2017-11-22 04:32:38]
325*2^2329093-1 is not prime.  Res64: E1D71FC887460A9B  Time : 0.0 sec.
user=odicin
[2017-11-22 04:32:40]
339*2^2329097-1 is not prime.  Res64: 91EB75192D56EFA0  Time : 0.0 sec.
user=ototero
[2017-11-22 04:35:17]
339*2^2329045-1 is not prime.  Res64: 9221D89584C09C1A  Time : 0.0 sec.
user=ototero
[2017-11-22 04:40:41]
341*2^2329050-1 is not prime.  Res64: D43C133A12DDFBFA  Time : 0.0 sec.
user=ototero
[2017-11-22 04:41:00]
315*2^2329051-1 is not prime.  Res64: 1064AA6B18D180E3  Time : 0.0 sec.
user=ototero
[2017-11-22 04:41:47]
327*2^2329052-1 is not prime.  Res64: 2C9192E3BBAD3EA1  Time : 0.0 sec.
user=ototero
[2017-11-22 04:50:45]
345*2^2329062-1 is not prime.  Res64: C328320D5B356F1E  Time : 0.0 sec.
user=ototero
[2017-11-22 04:53:08]
303*2^2329063-1 is not prime.  Res64: 9D7787AFE3ADF4BE  Time : 0.0 sec.
user=odicin
[2017-11-22 04:55:10]
325*2^2329105-1 is not prime.  Res64: 5EEA223EA83E1A6F  Time : 0.0 sec.
user=odicin
[2017-11-22 05:03:05]
327*2^2329106-1 is not prime.  Res64: 79EEB925A0840249  Time : 0.0 sec.
user=ototero
[2017-11-22 05:09:46]
313*2^2329039-1 is not prime.  Res64: 0A22E98792FCA321  Time : 0.0 sec.
user=odicin
[2017-11-22 05:19:35]
339*2^2329105-1 is not prime.  Res64: C01B316A71B1EEB0  Time : 0.0 sec.
user=odicin
[2017-11-22 05:25:36]
313*2^2329115-1 is not prime.  Res64: 572D8C031F263A89  Time : 0.0 sec.
user=odicin
[2017-11-22 05:33:46]
315*2^2329115-1 is not prime.  Res64: 88E89CBDB38D8119  Time : 0.0 sec.
user=ototero
[2017-11-22 05:51:00]
341*2^2329106-1 is not prime.  Res64: B22F65E70E7C3165  Time : 0.0 sec.
user=ototero
[2017-11-22 05:53:24]
303*2^2329108-1 is not prime.  Res64: 50925E80406FF4A7  Time : 0.0 sec.
user=ototero
[2017-11-22 05:54:26]
301*2^2329111-1 is not prime.  Res64: 126D26600595EE77  Time : 0.0 sec.
user=odicin
[2017-11-22 05:56:00]
315*2^2329119-1 is not prime.  Res64: 7D173B1BFE2F895E  Time : 0.0 sec.
user=ototero
[2017-11-22 05:56:24]
327*2^2329044-1 is not prime.  Res64: 8F140B06CDBB0B91  Time : 0.0 sec.
user=ototero
[2017-11-22 05:56:26]
333*2^2329107-1 is not prime.  Res64: 99C23EB7F4BF8205  Time : 0.0 sec.
user=odicin
[2017-11-22 06:04:14]
319*2^2329121-1 is not prime.  Res64: CCF31E15DF931A39  Time : 0.0 sec.
user=odicin
[2017-11-22 06:06:33]
313*2^2329119-1 is not prime.  Res64: AED38481682C909F  Time : 0.0 sec.
user=ototero
[2017-11-22 06:07:25]
309*2^2329111-1 is not prime.  Res64: D1E62B0A7529886A  Time : 0.0 sec.
user=ototero
[2017-11-22 06:09:01]
327*2^2329114-1 is not prime.  Res64: 92A91D72721A606A  Time : 0.0 sec.
user=odicin
[2017-11-22 06:26:26]
327*2^2329125-1 is not prime.  Res64: 46F695AF439927AD  Time : 0.0 sec.
user=odicin
[2017-11-22 06:34:55]
325*2^2329129-1 is not prime.  Res64: 872B6558F5516FCB  Time : 0.0 sec.
user=ototero
[2017-11-22 06:47:55]
317*2^2329102-1 is not prime.  Res64: 2BE8F47F26AA5C79  Time : 0.0 sec.
user=odicin
[2017-11-22 06:53:32]
327*2^2329129-1 is not prime.  Res64: 5E8C8F6668293DC0  Time : 0.0 sec.
user=odicin
[2017-11-22 06:56:57]
325*2^2329133-1 is not prime.  Res64: 12BD317B290738C1  Time : 0.0 sec.
user=ototero
[2017-11-22 07:03:06]
339*2^2329121-1 is not prime.  Res64: 60C4A1901755EEA5  Time : 0.0 sec.
user=ototero
[2017-11-22 07:05:07]
313*2^2329123-1 is not prime.  Res64: D6B20E57D9E90C6B  Time : 0.0 sec.
user=odicin
[2017-11-22 07:05:26]
339*2^2329135-1 is not prime.  Res64: 045B7EB40A2CFC5B  Time : 0.0 sec.
user=ototero
[2017-11-22 07:06:11]
339*2^2329123-1 is not prime.  Res64: D199CF87BCEFAA77  Time : 0.0 sec.
user=ototero
[2017-11-22 07:07:37]
315*2^2329126-1 is not prime.  Res64: 946445A3178ED625  Time : 0.0 sec.
user=ototero
[2017-11-22 07:18:28]
333*2^2329130-1 is not prime.  Res64: C6F743CD32E5C34B  Time : 0.0 sec.
user=ototero
[2017-11-22 07:19:09]
315*2^2329131-1 is not prime.  Res64: 8E5ED1BA20819FE5  Time : 0.0 sec.
user=odicin
[2017-11-22 07:27:19]
319*2^2329139-1 is not prime.  Res64: B60C3F7FB7DBCC38  Time : 0.0 sec.
user=odicin
[2017-11-22 07:35:51]
317*2^2329146-1 is not prime.  Res64: EA34774D057C7B35  Time : 0.0 sec.
user=odicin
[2017-11-22 07:40:32]
311*2^2329138-1 is not prime.  Res64: 6B3D5E9336AAEB7E  Time : 0.0 sec.
user=ototero
[2017-11-22 07:44:30]
345*2^2329116-1 is not prime.  Res64: 4A9525D7ADE2585D  Time : 0.0 sec.
user=odicin
[2017-11-22 07:57:45]
309*2^2329157-1 is not prime.  Res64: DA3C3583F1CE4F27  Time : 0.0 sec.
user=odicin
[2017-11-22 08:03:55]
301*2^2329159-1 is not prime.  Res64: 22A406B8E592A3EE  Time : 0.0 sec.
user=ototero
[2017-11-22 08:13:44]
303*2^2329144-1 is not prime.  Res64: CECE39FFA3B3D1AB  Time : 0.0 sec.
user=ototero
[2017-11-22 08:15:06]
323*2^2329142-1 is not prime.  Res64: 2C8716AA76FB4164  Time : 0.0 sec.
user=ototero
[2017-11-22 08:18:24]
331*2^2329153-1 is not prime.  Res64: EEC0BBB97F1F16C4  Time : 0.0 sec.
user=ototero
[2017-11-22 08:19:41]
323*2^2329154-1 is not prime.  Res64: 6354FCE3D3056903  Time : 0.0 sec.
user=odicin
[2017-11-22 08:27:16]
345*2^2329159-1 is not prime.  Res64: E72A279AA1A9A73E  Time : 0.0 sec.
user=odicin
[2017-11-22 08:28:07]
341*2^2329162-1 is not prime.  Res64: 2D8E9F8ED14EEF64  Time : 0.0 sec.
user=ototero
[2017-11-22 08:31:02]
333*2^2329154-1 is not prime.  Res64: 30E0BEAA1B36B00C  Time : 0.0 sec.
user=ototero
[2017-11-22 08:31:12]
307*2^2329157-1 is not prime.  Res64: 3C27E7352122DBBC  Time : 0.0 sec.
user=ototero
[2017-11-22 08:32:26]
345*2^2329125-1 is not prime.  Res64: F64EA0A835821D72  Time : 0.0 sec.
user=odicin
[2017-11-22 08:34:55]
327*2^2329164-1 is not prime.  Res64: DBA28D5DB6ED2D99  Time : 0.0 sec.
user=odicin
[2017-11-22 08:58:32]
341*2^2329178-1 is not prime.  Res64: 868051CA8BF27521  Time : 0.0 sec.
user=odicin
[2017-11-22 09:02:55]
301*2^2329181-1 is not prime.  Res64: 53C117C5A50BC24F  Time : 0.0 sec.
user=odicin
[2017-11-22 09:14:13]
305*2^2329176-1 is not prime.  Res64: 7E2F5C095DA79D04  Time : 0.0 sec.
user=ototero
[2017-11-22 09:22:36]
329*2^2329164-1 is not prime.  Res64: 5B2BA657B911B9C9  Time : 0.0 sec.
user=ototero
[2017-11-22 09:22:37]
321*2^2329137-1 is not prime.  Res64: B730B810B4415310  Time : 0.0 sec.
user=ototero
[2017-11-22 09:24:02]
339*2^2329168-1 is not prime.  Res64: 89795DC59312F3FB  Time : 0.0 sec.
user=odicin
[2017-11-22 09:26:43]
301*2^2329185-1 is not prime.  Res64: 98352858F50D8727  Time : 0.0 sec.
user=ototero
[2017-11-22 09:27:04]
339*2^2329169-1 is not prime.  Res64: 897D74106B9E2DD5  Time : 0.0 sec.
user=ototero
[2017-11-22 09:28:20]
309*2^2329175-1 is not prime.  Res64: 0B06C2B63FEDC4BE  Time : 0.0 sec.
user=odicin
[2017-11-22 09:33:36]
325*2^2329185-1 is not prime.  Res64: 8A9339D8C2D0C288  Time : 0.0 sec.
user=ototero
[2017-11-22 09:39:56]
345*2^2329179-1 is not prime.  Res64: 508523D2218E727D  Time : 0.0 sec.
user=ototero
[2017-11-22 09:40:10]
333*2^2329179-1 is not prime.  Res64: AC53C3F873AC77B3  Time : 0.0 sec.
user=odicin
[2017-11-22 09:57:07]
327*2^2329196-1 is not prime.  Res64: 83A8AD0C0BF513E2  Time : 0.0 sec.
user=odicin
[2017-11-22 10:01:11]
325*2^2329189-1 is not prime.  Res64: 93E02FF82CB76E41  Time : 0.0 sec.
user=odicin
[2017-11-22 10:04:09]
345*2^2329200-1 is not prime.  Res64: 05D18FB3FB795339  Time : 0.0 sec.
user=ototero
[2017-11-22 10:18:52]
327*2^2329161-1 is not prime.  Res64: F6F6C2E1678D3D0A  Time : 0.0 sec.
user=odicin
[2017-11-22 10:27:36]
347*2^2329206-1 is not prime.  Res64: 2D49D304FE521335  Time : 0.0 sec.
user=ototero
[2017-11-22 10:33:20]
303*2^2329195-1 is not prime.  Res64: 42AD6F4113E095E7  Time : 0.0 sec.
user=odicin
[2017-11-22 10:34:36]
309*2^2329211-1 is not prime.  Res64: FB554D5467E1F2BE  Time : 0.0 sec.
user=ototero
[2017-11-22 10:34:58]
327*2^2329189-1 is not prime.  Res64: BB3FFFF6554D7126  Time : 0.0 sec.
user=ototero
[2017-11-22 10:40:08]
313*2^2329199-1 is not prime.  Res64: B0F859E8958CB65E  Time : 0.0 sec.
user=ototero
[2017-11-22 10:41:09]
327*2^2329200-1 is not prime.  Res64: 56E8C7DEAA15EF06  Time : 0.0 sec.
user=odicin
[2017-11-22 10:48:10]
339*2^2329208-1 is not prime.  Res64: 00BBA7E47A44ACAF  Time : 0.0 sec.
user=ototero
[2017-11-22 10:49:50]
301*2^2329203-1 is not prime.  Res64: 0BD121A811C69FE3  Time : 0.0 sec.
user=ototero
[2017-11-22 10:53:54]
319*2^2329205-1 is not prime.  Res64: 9B9B683E9CEE98CB  Time : 0.0 sec.
user=odicin
[2017-11-22 10:57:59]
333*2^2329211-1 is not prime.  Res64: 23194B1166D1EDB1  Time : 0.0 sec.
user=odicin
[2017-11-22 11:05:03]
317*2^2329212-1 is not prime.  Res64: AE0BF00D0815474D  Time : 0.0 sec.
user=ototero
[2017-11-22 11:09:17]
349*2^2329179-1 is not prime.  Res64: A7F7D62F347757D6  Time : 0.0 sec.
user=odicin
[2017-11-22 11:25:56]
301*2^2329219-1 is not prime.  Res64: 3058D4B9D54B1668  Time : 0.0 sec.
user=odicin
[2017-11-22 11:31:05]
301*2^2329215-1 is not prime.  Res64: BBA58793314A5AFF  Time : 0.0 sec.
user=odicin
[2017-11-22 11:35:57]
323*2^2329220-1 is not prime.  Res64: 8455615A1C1E4C43  Time : 0.0 sec.
user=ototero
[2017-11-22 11:46:02]
315*2^2329212-1 is not prime.  Res64: D9B846AF1FFBBD67  Time : 0.0 sec.
user=ototero
[2017-11-22 11:47:34]
327*2^2329212-1 is not prime.  Res64: 407141620241BF91  Time : 0.0 sec.
user=ototero
[2017-11-22 11:52:54]
321*2^2329214-1 is not prime.  Res64: 8A89A55263D3BDC9  Time : 0.0 sec.
user=ototero
[2017-11-22 11:53:20]
323*2^2329214-1 is not prime.  Res64: 947A88CD5F3615DA  Time : 0.0 sec.
user=odicin
[2017-11-22 11:53:58]
301*2^2329221-1 is not prime.  Res64: EBD3EAC247A49387  Time : 0.0 sec.
user=ototero
[2017-11-22 11:57:08]
333*2^2329191-1 is not prime.  Res64: A9C511380AA0FB07  Time : 0.0 sec.
user=ototero
[2017-11-22 12:02:26]
339*2^2329217-1 is not prime.  Res64: 4C2F59C1EFC4F509  Time : 0.0 sec.
user=odicin
[2017-11-22 12:06:22]
339*2^2329221-1 is not prime.  Res64: 333465C87AB47D46  Time : 0.0 sec.
user=ototero
[2017-11-22 12:06:57]
315*2^2329218-1 is not prime.  Res64: 1FAEFDD329FFD046  Time : 0.0 sec.
user=odicin
[2017-11-22 12:24:14]
323*2^2329226-1 is not prime.  Res64: 6B0A7C35958DA253  Time : 0.0 sec.
user=odicin
[2017-11-22 12:27:33]
327*2^2329221-1 is not prime.  Res64: 09B62CB61DFC8F83  Time : 0.0 sec.
user=odicin
[2017-11-22 12:37:00]
331*2^2329227-1 is not prime.  Res64: 78AF72FE4D87C86F  Time : 0.0 sec.
user=ototero
[2017-11-22 12:54:20]
319*2^2329211-1 is not prime.  Res64: 51D89E5D078DB26E  Time : 0.0 sec.
user=odicin
[2017-11-22 12:54:37]
307*2^2329229-1 is not prime.  Res64: D66DCC6768B6A6D3  Time : 0.0 sec.
user=ototero
[2017-11-22 12:55:11]
309*2^2329223-1 is not prime.  Res64: B545E796ABD088A2  Time : 0.0 sec.
user=ototero
[2017-11-22 12:56:36]
343*2^2329223-1 is not prime.  Res64: 4ECC4594090469BE  Time : 0.0 sec.
user=ototero
[2017-11-22 13:01:38]
349*2^2329223-1 is not prime.  Res64: B6234496EFF8634C  Time : 0.0 sec.
user=ototero
[2017-11-22 13:01:41]
311*2^2329226-1 is not prime.  Res64: 5EA10254E50F268D  Time : 0.0 sec.
user=odicin
[2017-11-22 13:07:25]
345*2^2329230-1 is not prime.  Res64: 88519FE450C7E0D6  Time : 0.0 sec.
user=ototero
[2017-11-22 13:09:52]
325*2^2329227-1 is not prime.  Res64: 613288BEBD2E5F7A  Time : 0.0 sec.
user=odicin
[2017-11-22 13:14:31]
335*2^2329230-1 is not prime.  Res64: 9487CCF7B5D77017  Time : 0.0 sec.
user=ototero
[2017-11-22 13:14:52]
345*2^2329227-1 is not prime.  Res64: FD293676E7979913  Time : 0.0 sec.
user=odicin
[2017-11-22 13:22:36]
301*2^2329241-1 is not prime.  Res64: 22FC36AF08DD953E  Time : 0.0 sec.
user=odicin
[2017-11-22 13:38:17]
319*2^2329253-1 is not prime.  Res64: 3E56E29B1891EDE1  Time : 0.0 sec.
user=ototero
[2017-11-22 13:44:24]
333*2^2329220-1 is not prime.  Res64: B8350A3A5097B4FB  Time : 0.0 sec.
user=odicin
[2017-11-22 13:53:02]
333*2^2329263-1 is not prime.  Res64: DF28E6A834A20F88  Time : 0.0 sec.
user=ototero
[2017-11-22 14:01:48]
323*2^2329244-1 is not prime.  Res64: ECDF55F550816B3C  Time : 0.0 sec.
user=ototero
[2017-11-22 14:02:59]
319*2^2329245-1 is not prime.  Res64: 8B3B2382D91B38AC  Time : 0.0 sec.
user=ototero
[2017-11-22 14:08:13]
309*2^2329253-1 is not prime.  Res64: 2782898D2B445656  Time : 0.0 sec.
user=ototero
[2017-11-22 14:08:25]
331*2^2329249-1 is not prime.  Res64: 10923BF984DF6570  Time : 0.0 sec.
user=odicin
[2017-11-22 14:08:47]
303*2^2329266-1 is not prime.  Res64: 4E26C2130E60E66D  Time : 0.0 sec.
user=ototero
[2017-11-22 14:16:15]
341*2^2329254-1 is not prime.  Res64: BA3B81FB219E78A3  Time : 0.0 sec.
user=ototero
[2017-11-22 14:21:49]
315*2^2329262-1 is not prime.  Res64: 6828A1260C5F80BE  Time : 0.0 sec.
user=odicin
[2017-11-22 14:23:24]
345*2^2329269-1 is not prime.  Res64: A02666747D4D337A  Time : 0.0 sec.
user=ototero
[2017-11-22 14:32:05]
327*2^2329226-1 is not prime.  Res64: B26B95410F824173  Time : 0.0 sec.
user=odicin
[2017-11-22 14:38:22]
301*2^2329255-1 is not prime.  Res64: 60CCEA936F867991  Time : 0.0 sec.
user=odicin
[2017-11-22 14:39:13]
339*2^2329275-1 is not prime.  Res64: 728B92C49E93D03C  Time : 0.0 sec.
user=odicin
[2017-11-22 14:53:47]
339*2^2329280-1 is not prime.  Res64: 322B5D9F47D74745  Time : 0.0 sec.
user=ototero
[2017-11-22 15:08:38]
313*2^2329271-1 is not prime.  Res64: 9D7085480E33CE8F  Time : 0.0 sec.
user=ototero
[2017-11-22 15:09:19]
339*2^2329271-1 is not prime.  Res64: 5F08A4459395A117  Time : 0.0 sec.
user=odicin
[2017-11-22 15:09:36]
321*2^2329285-1 is not prime.  Res64: A2CC8284E8A1D3C0  Time : 0.0 sec.
user=ototero
[2017-11-22 15:14:38]
327*2^2329272-1 is not prime.  Res64: 901181EA5F568D8D  Time : 0.0 sec.
user=ototero
[2017-11-22 15:15:22]
311*2^2329274-1 is not prime.  Res64: EE8AFDEBEAEEFE91  Time : 0.0 sec.
user=odicin
[2017-11-22 15:21:46]
301*2^2329289-1 is not prime.  Res64: 33E1E772255C217C  Time : 0.0 sec.
user=ototero
[2017-11-22 15:22:35]
313*2^2329279-1 is not prime.  Res64: B1C0C1FA4EB8989F  Time : 0.0 sec.
user=ototero
[2017-11-22 15:28:51]
335*2^2329280-1 is not prime.  Res64: F2813BA5429506BD  Time : 0.0 sec.
user=ototero
[2017-11-22 15:29:03]
315*2^2329231-1 is not prime.  Res64: 8B6D3D6425DC53A9  Time : 0.0 sec.
user=odicin
[2017-11-22 15:31:39]
349*2^2329283-1 is not prime.  Res64: 333EC21E80FF0077  Time : 0.0 sec.
user=odicin
[2017-11-22 15:40:05]
315*2^2329295-1 is not prime.  Res64: 8320FFC3A9DAF9A7  Time : 0.0 sec.
user=odicin
[2017-11-22 15:52:09]
311*2^2329298-1 is not prime.  Res64: 4F1C4B1A2C5F8B7E  Time : 0.0 sec.
user=odicin
[2017-11-22 16:10:30]
323*2^2329300-1 is not prime.  Res64: F183D05BE7304F11  Time : 0.0 sec.
user=ototero
[2017-11-22 16:15:43]
349*2^2329291-1 is not prime.  Res64: 776EB735234211A5  Time : 0.0 sec.
user=ototero
[2017-11-22 16:15:46]
325*2^2329293-1 is not prime.  Res64: CCD8EB32A0767246  Time : 0.0 sec.
user=ototero
[2017-11-22 16:19:39]
303*2^2329267-1 is not prime.  Res64: 33D7B11EB3F19472  Time : 0.0 sec.
user=ototero
[2017-11-22 16:20:42]
339*2^2329295-1 is not prime.  Res64: F71C9E0554179EB8  Time : 0.0 sec.
user=ototero
[2017-11-22 16:21:46]
305*2^2329298-1 is not prime.  Res64: 25753572F8A04A16  Time : 0.0 sec.
user=odicin
[2017-11-22 16:22:35]
325*2^2329305-1 is not prime.  Res64: 59DEAA71EB50EC2E  Time : 0.0 sec.
user=odicin
[2017-11-22 16:24:49]
317*2^2329300-1 is not prime.  Res64: E90ECDF87F9E8362  Time : 0.0 sec.
user=ototero
[2017-11-22 16:28:59]
315*2^2329298-1 is not prime.  Res64: 7018241BE4A294AD  Time : 0.0 sec.
user=ototero
[2017-11-22 16:35:33]
345*2^2329299-1 is not prime.  Res64: A47BBCF3FA1F11F0  Time : 0.0 sec.
user=odicin
[2017-11-22 16:41:11]
317*2^2329308-1 is not prime.  Res64: EA6B088B0FDCB586  Time : 0.0 sec.
user=odicin
[2017-11-22 16:52:57]
341*2^2329314-1 is not prime.  Res64: 2E9CB1577F945947  Time : 0.0 sec.
user=ototero
[2017-11-22 17:08:19]
327*2^2329282-1 is not prime.  Res64: 55C9A33EDC7824C2  Time : 0.0 sec.
user=odicin
[2017-11-22 17:11:35]
343*2^2329315-1 is not prime.  Res64: A398BF7E0915446C  Time : 0.0 sec.
user=odicin
[2017-11-22 17:11:41]
333*2^2329320-1 is not prime.  Res64: D046ED4691549B1C  Time : 0.0 sec.
user=ototero
[2017-11-22 17:19:42]
301*2^2329309-1 is not prime.  Res64: C15D059F4571FD7D  Time : 0.0 sec.
user=ototero
[2017-11-22 17:22:41]
321*2^2329310-1 is not prime.  Res64: 2D3D6BCE9277DEA4  Time : 0.0 sec.
user=odicin
[2017-11-22 17:23:20]
347*2^2329320-1 is not prime.  Res64: 60141228CC008BC1  Time : 0.0 sec.
user=ototero
[2017-11-22 17:27:16]
319*2^2329311-1 is not prime.  Res64: 6D5A26E56AF38643  Time : 0.0 sec.
user=ototero
[2017-11-22 17:28:30]
333*2^2329314-1 is not prime.  Res64: 0D8E47E453330C07  Time : 0.0 sec.
user=ototero
[2017-11-22 17:35:39]
317*2^2329318-1 is not prime.  Res64: B70187E31991C1AC  Time : 0.0 sec.
user=odicin
[2017-11-22 17:42:06]
349*2^2329323-1 is not prime.  Res64: 0216BFA701F3D551  Time : 0.0 sec.
user=ototero
[2017-11-22 17:42:37]
349*2^2329319-1 is not prime.  Res64: 3A2D0A70EE457647  Time : 0.0 sec.
user=odicin
[2017-11-22 17:53:43]
345*2^2329327-1 is not prime.  Res64: 04D38B68B78ED3DE  Time : 0.0 sec.
user=ototero
[2017-11-22 18:04:15]
315*2^2329300-1 is not prime.  Res64: B7E58B36314D48E7  Time : 0.0 sec.
user=odicin
[2017-11-22 18:07:07]
301*2^2329325-1 is not prime.  Res64: 8060C8525BD3C5FF  Time : 0.0 sec.
user=odicin
[2017-11-22 18:12:35]
341*2^2329330-1 is not prime.  Res64: A3C3B5DCF0D754F9  Time : 0.0 sec.
user=odicin
[2017-11-22 18:24:09]
313*2^2329335-1 is not prime.  Res64: 20A3BB622CB0F896  Time : 0.0 sec.
user=ototero
[2017-11-22 18:26:59]
319*2^2329325-1 is not prime.  Res64: 59E19EDFFBA3D01A  Time : 0.0 sec.
user=ototero
[2017-11-22 18:30:09]
339*2^2329325-1 is not prime.  Res64: 1041B65198CB6B83  Time : 0.0 sec.
user=ototero
[2017-11-22 18:33:02]
301*2^2329329-1 is not prime.  Res64: F537D093C86F1414  Time : 0.0 sec.
user=ototero
[2017-11-22 18:34:49]
329*2^2329328-1 is not prime.  Res64: 107BF7AD674AFD75  Time : 0.0 sec.
user=odicin
[2017-11-22 18:43:02]
341*2^2329338-1 is not prime.  Res64: D9CCF2DBA0A1DA22  Time : 0.0 sec.
user=ototero
[2017-11-22 18:43:49]
331*2^2329329-1 is not prime.  Res64: CFCF6557F9D368ED  Time : 0.0 sec.
user=ototero
[2017-11-22 18:51:25]
339*2^2329333-1 is not prime.  Res64: 78946AC994FFB0E1  Time : 0.0 sec.
user=odicin
[2017-11-22 18:54:03]
333*2^2329338-1 is not prime.  Res64: 7A595F016F213F88  Time : 0.0 sec.
user=ototero
[2017-11-22 18:54:29]
333*2^2329310-1 is not prime.  Res64: 7E502AB734A1D72A  Time : 0.0 sec.
user=odicin
[2017-11-22 18:54:32]
335*2^2329340-1 is not prime.  Res64: 927D5815DB52028C  Time : 0.0 sec.
user=odicin
[2017-11-22 19:13:29]
321*2^2329346-1 is not prime.  Res64: ABA7C4535AE8B2A4  Time : 0.0 sec.
user=odicin
[2017-11-22 19:25:01]
311*2^2329354-1 is not prime.  Res64: 3ABCB6D674C34306  Time : 0.0 sec.
user=ototero
[2017-11-22 19:34:21]
347*2^2329340-1 is not prime.  Res64: BE1DDFA1A8623AB5  Time : 0.0 sec.
user=odicin
[2017-11-22 19:36:00]
337*2^2329357-1 is not prime.  Res64: 6371C55ABFF0D147  Time : 0.0 sec.
user=ototero
[2017-11-22 19:37:20]
315*2^2329341-1 is not prime.  Res64: 74C5891F6F4D7183  Time : 0.0 sec.
user=ototero
[2017-11-22 19:40:19]
321*2^2329341-1 is not prime.  Res64: 644AC9F7ACB835F8  Time : 0.0 sec.
user=odicin
[2017-11-22 19:40:58]
319*2^2329349-1 is not prime.  Res64: 32A9FB6647B2CCD6  Time : 0.0 sec.
user=ototero
[2017-11-22 19:41:42]
321*2^2329342-1 is not prime.  Res64: 402938C8C7466A6A  Time : 0.0 sec.
user=ototero
[2017-11-22 19:43:21]
323*2^2329322-1 is not prime.  Res64: 17D568AA87AC857F  Time : 0.0 sec.
user=odicin
[2017-11-22 19:43:55]
339*2^2329357-1 is not prime.  Res64: 15534AF421AD2255  Time : 0.0 sec.
user=ototero
[2017-11-22 19:49:53]
315*2^2329348-1 is not prime.  Res64: EF84FAD16301D2B8  Time : 0.0 sec.
user=odicin
[2017-11-22 19:55:26]
305*2^2329358-1 is not prime.  Res64: 7C98CE56BA37CEAC  Time : 0.0 sec.
user=ototero
[2017-11-22 19:57:52]
309*2^2329349-1 is not prime.  Res64: B4F5AFCA75F0EC73  Time : 0.0 sec.
user=odicin
[2017-11-22 20:14:20]
343*2^2329367-1 is not prime.  Res64: C6CAC6E21C0C5AFD  Time : 0.0 sec.
user=odicin
[2017-11-22 20:25:51]
341*2^2329370-1 is not prime.  Res64: D30A13548763B3F8  Time : 0.0 sec.
user=odicin
[2017-11-22 20:36:28]
301*2^2329365-1 is not prime.  Res64: B3CD3FB7975F2056  Time : 0.0 sec.
user=ototero
[2017-11-22 20:39:53]
303*2^2329359-1 is not prime.  Res64: 503B7E018CCC6AF3  Time : 0.0 sec.
user=ototero
[2017-11-22 20:40:38]
307*2^2329337-1 is not prime.  Res64: DF6331221227A8FD  Time : 0.0 sec.
user=ototero
[2017-11-22 20:42:45]
341*2^2329362-1 is not prime.  Res64: F86398B8DD1B25C8  Time : 0.0 sec.
user=odicin
[2017-11-22 20:44:46]
317*2^2329378-1 is not prime.  Res64: 7EF831192EA76D46  Time : 0.0 sec.
user=ototero
[2017-11-22 20:45:44]
323*2^2329364-1 is not prime.  Res64: E360618FEC7D7B61  Time : 0.0 sec.
user=ototero
[2017-11-22 20:46:45]
321*2^2329365-1 is not prime.  Res64: 41B77E98A91A5EF9  Time : 0.0 sec.
user=ototero
[2017-11-22 20:54:52]
333*2^2329368-1 is not prime.  Res64: 8F37D741F9EECBA2  Time : 0.0 sec.
user=odicin
[2017-11-22 20:56:13]
309*2^2329379-1 is not prime.  Res64: 9525AD57DF5E8E6B  Time : 0.0 sec.
user=ototero
[2017-11-22 21:04:03]
319*2^2329373-1 is not prime.  Res64: 019A28F97913395C  Time : 0.0 sec.
user=odicin
[2017-11-22 21:15:08]
341*2^2329390-1 is not prime.  Res64: BB01BCF71006C568  Time : 0.0 sec.
user=odicin
[2017-11-22 21:26:37]
315*2^2329395-1 is not prime.  Res64: 2AB746FEBA97B750  Time : 0.0 sec.
user=odicin
[2017-11-22 21:29:41]
307*2^2329381-1 is not prime.  Res64: BD330E5F339333AD  Time : 0.0 sec.
user=ototero
[2017-11-22 21:31:08]
305*2^2329352-1 is not prime.  Res64: 6646D935D592A6B5  Time : 0.0 sec.
user=ototero
[2017-11-22 21:45:33]
319*2^2329383-1 is not prime.  Res64: B26F7529A16A406A  Time : 0.0 sec.
user=odicin
[2017-11-22 21:45:41]
321*2^2329397-1 is not prime.  Res64: 63C42C289325A6F2  Time : 0.0 sec.
user=ototero
[2017-11-22 21:48:28]
327*2^2329389-1 is not prime.  Res64: 9AD3CAABAFDAFD7F  Time : 0.0 sec.
user=ototero
[2017-11-22 21:50:58]
321*2^2329393-1 is not prime.  Res64: 331CC92E1C7A11FC  Time : 0.0 sec.
user=ototero
[2017-11-22 21:52:01]
339*2^2329393-1 is not prime.  Res64: 524F90926D98F83B  Time : 0.0 sec.
user=odicin
[2017-11-22 21:56:59]
315*2^2329398-1 is not prime.  Res64: F73D3DD394063809  Time : 0.0 sec.
user=ototero
[2017-11-22 22:00:15]
323*2^2329394-1 is not prime.  Res64: E1C5FCF2955E02B5  Time : 0.0 sec.
user=ototero
[2017-11-22 22:10:14]
307*2^2329397-1 is not prime.  Res64: DE23F26B143EF9E2  Time : 0.0 sec.
user=odicin
[2017-11-22 22:16:10]
313*2^2329407-1 is not prime.  Res64: 2F4C720C9D1F0F9A  Time : 0.0 sec.
user=ototero
[2017-11-22 22:17:48]
311*2^2329366-1 is not prime.  Res64: FB04AD04E535FACD  Time : 0.0 sec.
user=odicin
[2017-11-22 22:22:53]
335*2^2329402-1 is not prime.  Res64: 2271B7FA38A043C5  Time : 0.0 sec.
user=odicin
[2017-11-22 22:27:23]
327*2^2329413-1 is not prime.  Res64: 3BC4FA79DC15483E  Time : 0.0 sec.
user=odicin
[2017-11-22 22:46:31]
347*2^2329416-1 is not prime.  Res64: 7480691C2F6630A9  Time : 0.0 sec.
user=ototero
[2017-11-22 22:50:52]
323*2^2329406-1 is not prime.  Res64: E51AD06AD2687C20  Time : 0.0 sec.
user=ototero
[2017-11-22 22:53:55]
327*2^2329408-1 is not prime.  Res64: 4896140CEA599CAC  Time : 0.0 sec.
user=ototero
[2017-11-22 22:56:48]
309*2^2329409-1 is not prime.  Res64: 0BD73993CE79FB71  Time : 0.0 sec.
user=ototero
[2017-11-22 22:57:14]
315*2^2329410-1 is not prime.  Res64: 1EEA2BC717226E0D  Time : 0.0 sec.
user=odicin
[2017-11-22 22:57:47]
333*2^2329418-1 is not prime.  Res64: D94F20CDB7A144DC  Time : 0.0 sec.
user=ototero
[2017-11-22 23:05:37]
339*2^2329415-1 is not prime.  Res64: 519F973B7B00B33B  Time : 0.0 sec.
user=odicin
[2017-11-22 23:09:50]
307*2^2329417-1 is not prime.  Res64: F201B05A931749E6  Time : 0.0 sec.
user=ototero
[2017-11-22 23:16:13]
329*2^2329416-1 is not prime.  Res64: 64F511DFAC9A68D6  Time : 0.0 sec.
user=odicin
[2017-11-22 23:16:55]
327*2^2329420-1 is not prime.  Res64: 8AE578F72DFB30BA  Time : 0.0 sec.
user=ototero
[2017-11-22 23:16:58]
315*2^2329384-1 is not prime.  Res64: F90BF89C9C3C00A2  Time : 0.0 sec.
user=odicin
[2017-11-22 23:28:12]
313*2^2329431-1 is not prime.  Res64: 45D4A624FE9EB1ED  Time : 0.0 sec.
user=odicin
[2017-11-22 23:44:55]
303*2^2328048-1 is not prime.  Res64: EB1DD92C2C7B9D66  Time : 0.0 sec.
user=ototero
[2017-11-22 23:56:32]
345*2^2329420-1 is not prime.  Res64: 009295BBC66B4438  Time : 0.0 sec.
user=odicin
[2017-11-22 23:58:40]
321*2^2329438-1 is not prime.  Res64: A6AC8648C917D5E7  Time : 0.0 sec.
user=ototero
[2017-11-22 23:58:43]
301*2^2329405-1 is not prime.  Res64: 58E44B2323A3890D  Time : 0.0 sec.
user=ototero
[2017-11-22 23:59:44]
321*2^2329422-1 is not prime.  Res64: 223A02660790692A  Time : 0.0 sec.
user=odicin
[2017-11-23 00:00:29]
315*2^2329434-1 is not prime.  Res64: 9FA20FB3728F6F96  Time : 0.0 sec.