user=ototero [2016-12-03 00:50:18] 301*2^2223475-1 is not prime. Res64: AFD84CB870336F9B Time : 0.0 sec. user=ototero [2016-12-03 00:52:44] 303*2^2223475-1 is not prime. Res64: B4EF3D2F9A23E561 Time : 0.0 sec. user=ototero [2016-12-03 01:21:14] 317*2^2223478-1 is not prime. Res64: D726544F89ECD24A Time : 0.0 sec. user=ototero [2016-12-03 01:23:36] 313*2^2223479-1 is not prime. Res64: 00C93B1B44803537 Time : 0.0 sec. user=ototero [2016-12-03 02:35:58] 331*2^2223481-1 is not prime. Res64: F4CBF3A4A6C79C89 Time : 0.0 sec. user=ototero [2016-12-03 02:38:27] 323*2^2223482-1 is not prime. Res64: A758DDA81CE0F26A Time : 0.0 sec. user=ototero [2016-12-03 02:53:53] 347*2^2223482-1 is not prime. Res64: CBDB37440B15A5D1 Time : 0.0 sec. user=ototero [2016-12-03 02:56:15] 303*2^2223484-1 is not prime. Res64: A303436EACF5AC13 Time : 0.0 sec. user=ototero [2016-12-03 04:21:41] 335*2^2223484-1 is not prime. Res64: F144325C977835BD Time : 0.0 sec. user=ototero [2016-12-03 04:24:16] 345*2^2223484-1 is not prime. Res64: FC96EC61A293303A Time : 0.0 sec. user=ototero [2016-12-03 04:26:05] 321*2^2223486-1 is not prime. Res64: 963530479B947162 Time : 0.0 sec. user=ototero [2016-12-03 04:28:49] 315*2^2223487-1 is not prime. Res64: B4186F063BA535C2 Time : 0.0 sec. user=ototero [2016-12-03 05:58:48] 339*2^2223495-1 is not prime. Res64: 54FF2C39F5447CCE Time : 0.0 sec. user=ototero [2016-12-03 06:01:24] 317*2^2223496-1 is not prime. Res64: 6E826E7460B6D9CD Time : 0.0 sec. user=ototero [2016-12-03 06:09:09] 339*2^2223488-1 is not prime. Res64: 8727F50C2E2EF5EB Time : 0.0 sec. user=ototero [2016-12-03 06:11:39] 349*2^2223493-1 is not prime. Res64: C4367E3C7A49F246 Time : 0.0 sec. user=ototero [2016-12-03 07:31:53] 345*2^2223496-1 is not prime. Res64: 661F4E7AD8704C88 Time : 0.0 sec. user=ototero [2016-12-03 07:34:19] 325*2^2223497-1 is not prime. Res64: 0DF17E7E3208CA52 Time : 0.0 sec. user=ototero [2016-12-03 07:57:32] 317*2^2223498-1 is not prime. Res64: 80A08FFED4BDEDDF Time : 0.0 sec. user=ototero [2016-12-03 08:00:07] 327*2^2223498-1 is not prime. Res64: C3A715EF0FB91FE4 Time : 0.0 sec. user=ototero [2016-12-03 09:04:22] 315*2^2223499-1 is not prime. Res64: E0E1222CF7281ACD Time : 0.0 sec. user=ototero [2016-12-03 09:06:25] 315*2^2223502-1 is not prime. Res64: 43192D30DEAD831D Time : 0.0 sec. user=ototero [2016-12-03 09:46:41] 317*2^2223502-1 is not prime. Res64: F8A220A7AEADCC36 Time : 0.0 sec. user=ototero [2016-12-03 09:49:01] 303*2^2223504-1 is not prime. Res64: F963965DDBABAA7F Time : 0.0 sec. user=ototero [2016-12-03 10:37:10] 315*2^2223504-1 is not prime. Res64: A6A40816356CA184 Time : 0.0 sec. user=ototero [2016-12-03 10:39:17] 345*2^2223504-1 is not prime. Res64: EA95487E0FCB7A25 Time : 0.0 sec. user=ototero [2016-12-03 11:32:48] 321*2^2223505-1 is not prime. Res64: 6CE17C11D19C33FA Time : 0.0 sec. user=ototero [2016-12-03 11:35:04] 341*2^2223506-1 is not prime. Res64: FB96D0F8675BA0E0 Time : 0.0 sec. user=ototero [2016-12-03 12:09:50] 317*2^2223508-1 is not prime. Res64: 682FF1A714DEAF8C Time : 0.0 sec. user=ototero [2016-12-03 12:11:42] 319*2^2223509-1 is not prime. Res64: 288A3064937AC4DD Time : 0.0 sec. user=ototero [2016-12-03 13:18:01] 339*2^2223509-1 is not prime. Res64: 88DF148549A67BE6 Time : 0.0 sec. user=ototero [2016-12-03 13:20:23] 305*2^2223510-1 is not prime. Res64: B555AA88458C4474 Time : 0.0 sec. user=ototero [2016-12-03 13:42:45] 309*2^2223511-1 is not prime. Res64: BF4595502BAF5549 Time : 0.0 sec. user=ototero [2016-12-03 13:44:37] 319*2^2223513-1 is not prime. Res64: B5F84B2ED94FE9E0 Time : 0.0 sec. user=ototero [2016-12-03 15:03:07] 325*2^2223513-1 is not prime. Res64: A71EE10B8C36347C Time : 0.0 sec. user=ototero [2016-12-03 15:05:23] 327*2^2223514-1 is not prime. Res64: DCA30737E0EAF1D0 Time : 0.0 sec. user=ototero [2016-12-03 15:15:08] 309*2^2223515-1 is not prime. Res64: 17376C73B25907B8 Time : 0.0 sec. user=ototero [2016-12-03 15:17:08] 333*2^2223515-1 is not prime. Res64: BD38282E59779FAB Time : 0.0 sec. user=ototero [2016-12-03 16:47:59] 347*2^2223516-1 is not prime. Res64: 0FC78611B80B2A73 Time : 0.0 sec. user=ototero [2016-12-03 16:48:11] 339*2^2223515-1 is not prime. Res64: 77E491076DD532C8 Time : 0.0 sec. user=ototero [2016-12-03 16:49:30] 333*2^2223518-1 is not prime. Res64: 851BC6FCC0E54227 Time : 0.0 sec. user=ototero [2016-12-03 16:50:19] 345*2^2223516-1 is not prime. Res64: 3E5D1FE8EBE685C6 Time : 0.0 sec. user=ototero [2016-12-03 18:21:05] 347*2^2223518-1 is not prime. Res64: D9CF1C300B477DFA Time : 0.0 sec. user=ototero [2016-12-03 18:22:42] 333*2^2223519-1 is not prime. Res64: CB3B7A9F1551944D Time : 0.0 sec. user=ototero [2016-12-03 18:33:10] 303*2^2223519-1 is not prime. Res64: B2F1FC7F79B9CB76 Time : 0.0 sec. user=ototero [2016-12-03 18:35:14] 301*2^2223521-1 is not prime. Res64: 56987321FC2A0529 Time : 0.0 sec. user=ototero [2016-12-03 19:54:00] 319*2^2223521-1 is not prime. Res64: A954F827A9FB5A1B Time : 0.0 sec. user=ototero [2016-12-03 19:55:53] 315*2^2223522-1 is not prime. Res64: 1036650B3E8E48F8 Time : 0.0 sec. user=ototero [2016-12-03 20:22:12] 321*2^2223522-1 is not prime. Res64: 82E1FF35D7D3ADAE Time : 0.0 sec. user=ototero [2016-12-03 20:24:15] 341*2^2223522-1 is not prime. Res64: 399FFF87114CCA33 Time : 0.0 sec. user=ototero [2016-12-03 21:26:37] 321*2^2223527-1 is not prime. Res64: 2937952120D69F95 Time : 0.0 sec. user=ototero [2016-12-03 21:27:54] 343*2^2223527-1 is not prime. Res64: 0236D934B6F57A6D Time : 0.0 sec. user=ototero [2016-12-03 22:07:27] 333*2^2223528-1 is not prime. Res64: 6E0A30428639D070 Time : 0.0 sec. user=ototero [2016-12-03 22:09:20] 307*2^2223529-1 is not prime. Res64: 5241F710AA4DB440 Time : 0.0 sec. user=ototero [2016-12-03 22:59:53] 325*2^2223529-1 is not prime. Res64: D43E5C39D7750AB1 Time : 0.0 sec. user=ototero [2016-12-03 23:01:50] 319*2^2223531-1 is not prime. Res64: D8168C1F1798F3F4 Time : 0.0 sec. user=ototero [2016-12-03 23:52:03] 315*2^2223532-1 is not prime. Res64: 868896765C7734BC Time : 0.0 sec. user=ototero [2016-12-03 23:54:07] 321*2^2223533-1 is not prime. Res64: 560245F9EA504B67 Time : 0.0 sec.