user=ototero [2017-05-22 00:28:18] 309*2^2238151-1 is not prime. Res64: 811839166C885497 Time : 0.0 sec. user=ototero [2017-05-22 00:45:02] 309*2^2238157-1 is not prime. Res64: 4C27C200B18AD8E1 Time : 0.0 sec. user=ototero [2017-05-22 00:45:14] 301*2^2238157-1 is not prime. Res64: 4B966EE4E3CD542F Time : 0.0 sec. user=ototero [2017-05-22 01:11:23] 301*2^2238153-1 is not prime. Res64: 118B30C39FF97741 Time : 0.0 sec. user=ototero [2017-05-22 01:11:25] 309*2^2238155-1 is not prime. Res64: F08CC56B6A4C0AB2 Time : 0.0 sec. user=ototero [2017-05-22 02:07:42] 323*2^2238160-1 is not prime. Res64: D96FDC1E9D54CDC1 Time : 0.0 sec. user=ototero [2017-05-22 02:07:49] 339*2^2238159-1 is not prime. Res64: DD7CA260777EED42 Time : 0.0 sec. user=ototero [2017-05-22 02:51:55] 341*2^2238158-1 is not prime. Res64: DBAE7C9E4C006862 Time : 0.0 sec. user=ototero [2017-05-22 03:30:20] 317*2^2238166-1 is not prime. Res64: DD8EC4D66BEACF87 Time : 0.0 sec. user=ototero [2017-05-22 03:30:34] 347*2^2238164-1 is not prime. Res64: CE8F492AA2B7C298 Time : 0.0 sec. user=ototero [2017-05-22 03:32:52] 323*2^2238164-1 is not prime. Res64: C42A9D3CCDBEABE1 Time : 0.0 sec. user=ototero [2017-05-22 03:33:02] 327*2^2238161-1 is not prime. Res64: C37875C46E0CD621 Time : 0.0 sec. user=ototero [2017-05-22 04:53:19] 319*2^2238173-1 is not prime. Res64: 6C90A9EB6AEEE470 Time : 0.0 sec. user=ototero [2017-05-22 04:53:34] 301*2^2238173-1 is not prime. Res64: CDACFF357252E307 Time : 0.0 sec. user=ototero [2017-05-22 05:12:58] 315*2^2238171-1 is not prime. Res64: 90D99EEB7CBB9B45 Time : 0.0 sec. user=ototero [2017-05-22 05:53:53] 343*2^2238175-1 is not prime. Res64: 9154E7C0DC734D1B Time : 0.0 sec. user=ototero [2017-05-22 05:54:20] 345*2^2238175-1 is not prime. Res64: 5DD76C32D2CB9F62 Time : 0.0 sec. user=ototero [2017-05-22 06:16:13] 327*2^2238176-1 is not prime. Res64: A12691ADDF219C84 Time : 0.0 sec. user=ototero [2017-05-22 06:16:19] 349*2^2238175-1 is not prime. Res64: F7A5A040F6A85B7D Time : 0.0 sec. user=ototero [2017-05-22 07:34:43] 321*2^2238178-1 is not prime. Res64: EAD3DFF7D7B7FCB2 Time : 0.0 sec. user=ototero [2017-05-22 07:39:09] 339*2^2238183-1 is not prime. Res64: F91A30B2514657F8 Time : 0.0 sec. user=ototero [2017-05-22 07:39:29] 347*2^2238182-1 is not prime. Res64: 2573A9698268BCC7 Time : 0.0 sec. user=ototero [2017-05-22 08:15:49] 333*2^2238180-1 is not prime. Res64: DE8A5C5862E26BE4 Time : 0.0 sec. user=ototero [2017-05-22 08:15:59] 315*2^2238182-1 is not prime. Res64: 3D9FB9D717DE187F Time : 0.0 sec. user=ototero [2017-05-22 09:02:28] 303*2^2238187-1 is not prime. Res64: E17D888BFBFC831F Time : 0.0 sec. user=ototero [2017-05-22 09:02:30] 301*2^2238187-1 is not prime. Res64: 70CD11C6876B9169 Time : 0.0 sec. user=ototero [2017-05-22 09:55:55] 319*2^2238185-1 is not prime. Res64: B86525822196F87B Time : 0.0 sec. user=ototero [2017-05-22 10:26:09] 345*2^2238190-1 is not prime. Res64: 3AF2E65BA6DDB434 Time : 0.0 sec. user=ototero [2017-05-22 10:27:12] 325*2^2238193-1 is not prime. Res64: 3976ACF3454FC4C4 Time : 0.0 sec. user=ototero [2017-05-22 10:37:06] 333*2^2238188-1 is not prime. Res64: 1B9861558DE88EA7 Time : 0.0 sec. user=ototero [2017-05-22 10:37:20] 315*2^2238190-1 is not prime. Res64: E9CEB870909C3A3A Time : 0.0 sec. user=ototero [2017-05-22 11:49:16] 323*2^2238194-1 is not prime. Res64: C92CA716099971FA Time : 0.0 sec. user=ototero [2017-05-22 11:49:47] 313*2^2238195-1 is not prime. Res64: DFD95BBF86C7D731 Time : 0.0 sec. user=ototero [2017-05-22 12:17:17] 331*2^2238193-1 is not prime. Res64: 103DD81382FB9506 Time : 0.0 sec. user=ototero [2017-05-22 12:58:12] 315*2^2238195-1 is not prime. Res64: 787FFE8EE4861AAD Time : 0.0 sec. user=ototero [2017-05-22 12:58:18] 315*2^2238196-1 is not prime. Res64: 6F9BE81266C2A718 Time : 0.0 sec. user=ototero [2017-05-22 13:21:11] 317*2^2238196-1 is not prime. Res64: D156BFA878BDFE06 Time : 0.0 sec. user=ototero [2017-05-22 13:21:16] 325*2^2238197-1 is not prime. Res64: E966826ED1781886 Time : 0.0 sec. user=ototero [2017-05-22 14:38:39] 327*2^2238201-1 is not prime. Res64: 219359B070CF5498 Time : 0.0 sec. user=ototero [2017-05-22 14:55:43] 325*2^2238205-1 is not prime. Res64: 03040543466E5C47 Time : 0.0 sec. user=ototero [2017-05-22 14:57:11] 313*2^2238203-1 is not prime. Res64: E11F4525B8EDFC66 Time : 0.0 sec. user=ototero [2017-05-22 15:19:26] 345*2^2238202-1 is not prime. Res64: C344B42A7ADF51F5 Time : 0.0 sec. user=ototero [2017-05-22 15:19:39] 323*2^2238202-1 is not prime. Res64: 66F049BE4BC1E46F Time : 0.0 sec. user=ototero [2017-05-22 16:28:27] 325*2^2238213-1 is not prime. Res64: DC7BE16BF4F020FE Time : 0.0 sec. user=ototero [2017-05-22 16:29:30] 311*2^2238214-1 is not prime. Res64: 7C41F79E8FE600A2 Time : 0.0 sec. user=ototero [2017-05-22 16:59:47] 335*2^2238212-1 is not prime. Res64: 2596CAEFA14632C0 Time : 0.0 sec. user=ototero [2017-05-22 17:40:41] 315*2^2238214-1 is not prime. Res64: BCCAE2A5AA2647F6 Time : 0.0 sec. user=ototero [2017-05-22 17:40:44] 337*2^2238217-1 is not prime. Res64: 713D119B266115EB Time : 0.0 sec. user=ototero [2017-05-22 17:51:42] 311*2^2238218-1 is not prime. Res64: 77460BABB54AA5F9 Time : 0.0 sec. user=ototero [2017-05-22 17:52:16] 313*2^2238219-1 is not prime. Res64: DDE6FD9061A79546 Time : 0.0 sec. user=ototero [2017-05-22 19:15:28] 321*2^2238221-1 is not prime. Res64: 086A94A0C4F35E0F Time : 0.0 sec. user=ototero [2017-05-22 19:15:41] 327*2^2238221-1 is not prime. Res64: 73202067A846DC34 Time : 0.0 sec. user=ototero [2017-05-22 19:20:51] 349*2^2238219-1 is not prime. Res64: 1EB33F787B49FC9B Time : 0.0 sec. user=ototero [2017-05-22 20:01:42] 345*2^2238220-1 is not prime. Res64: 5BF4E831FBDEC141 Time : 0.0 sec. user=ototero [2017-05-22 20:01:58] 323*2^2238220-1 is not prime. Res64: A93DCE1A80683A28 Time : 0.0 sec. user=ototero [2017-05-22 20:38:12] 309*2^2238224-1 is not prime. Res64: BBF1CF2EF8A9BD08 Time : 0.0 sec. user=ototero [2017-05-22 20:38:14] 313*2^2238223-1 is not prime. Res64: 2F799ECDD84D33AA Time : 0.0 sec. user=ototero [2017-05-22 21:42:23] 339*2^2238225-1 is not prime. Res64: E75C20CA64671572 Time : 0.0 sec. user=ototero [2017-05-22 22:01:10] 333*2^2238234-1 is not prime. Res64: 219C4E3D6245E4F2 Time : 0.0 sec. user=ototero [2017-05-22 22:01:27] 327*2^2238234-1 is not prime. Res64: ACB18044F1BE6BB4 Time : 0.0 sec. user=ototero [2017-05-22 22:23:23] 315*2^2238230-1 is not prime. Res64: 27D29003B37608E7 Time : 0.0 sec. user=ototero [2017-05-22 22:23:35] 317*2^2238228-1 is not prime. Res64: DB3766CFB629D0BB Time : 0.0 sec. user=ototero [2017-05-22 23:23:46] 319*2^2238237-1 is not prime. Res64: 4A1B0082BCC86E63 Time : 0.0 sec. user=ototero [2017-05-22 23:24:04] 339*2^2238235-1 is not prime. Res64: BB049EDFB8011399 Time : 0.0 sec.